Diplomski rad Karakterizacija funkcijskih prostora preko valića (prvo izdanje) Rudolf Markulin i

Слични документи
JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 4. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 29. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. (

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivana Šore REKURZIVNOST REALNIH FUNKCIJA Diplomski rad Voditelj rada: doc.

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL završni ispit 6. srpnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1.

Microsoft Word - 15ms261

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Igor Sušić LOKALNA IZRAČUNLJIVOST Diplomski rad Voditelj rada: doc.dr.sc.

vjezbe-difrfv.dvi

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 20 bodova) MJERA I INTEGRAL Popravni ispit 7. rujna (Knjige, bilježnice, dodatni papiri i kalkulatori

Microsoft Word - predavanje8

Uvod u obične diferencijalne jednadžbe Metoda separacije varijabli Obične diferencijalne jednadžbe Franka Miriam Brückler

Skalarne funkcije više varijabli Parcijalne derivacije Skalarne funkcije više varijabli i parcijalne derivacije Franka Miriam Brückler

Numerička matematika 11. predavanje dodatak Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb NumMat 2019, 11. p

Univerzitet u Nišu Prirodno - matematički fakultet Departman za matematiku Prostori nizova c 0 i l p Master rad Mentor: Prof. dr. Dragan -Dorđević Stu

(Microsoft Word - MATB - kolovoz osnovna razina - rje\232enja zadataka)

MATEMATIČKA ANALIZA I primjeri i zadaci Ante Mimica 8. siječnja 2010.

Microsoft Word - 6ms001

ZADACI ZA VJEŽBU 1. Dokažite da vrijedi: (a) (A \ B) (B \ A) = (A B) (A C B C ), (b) A \ (B \ C) = (A C) (A \ B), (c) (A B) \ C = (A \ C) (B \ C). 2.

UAAG Osnovne algebarske strukture 5. Vektorski prostori Borka Jadrijević

Neprekidnost Jelena Sedlar Fakultet građevinarstva, arhitekture i geodezije Jelena Sedlar (FGAG) Neprekidnost 1 / 14

(Microsoft Word - Dr\236avna matura - studeni osnovna razina - rje\232enja)

Matrice. Algebarske operacije s matricama. - Predavanje I

Microsoft Word - 09_Frenetove formule

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elma Daferović HIJERARHIJA KONVEKSNIH FUNKCIJA Diplomski rad Voditelj rada

Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike Margareta Tvrdy Banachovi prostori Završni rad Osijek, 2013

Pripreme 2016 Indukcija Grgur Valentić lipanj Zadaci su skupljeni s dva predavanja na istu temu, za učenike od prvog do trećeg razreda i za MEMO

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 5. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n

Primjena neodredenog integrala u inženjerstvu Matematika 2 Erna Begović Kovač, Literatura: I. Gusić, Lekcije iz Matematike 2

ФАКУЛТЕТ ОРГАНИЗАЦИОНИХ НАУКА

(Microsoft Word - Dr\236avna matura - kolovoz ni\236a razina - rje\232enja)

Metoda konačnih elemenata; teorija i praktična implementacija math.e 1 of 15 Vol.25. math.e Hrvatski matematički elektronički časopis Metoda konačnih

Neodreeni integrali - Predavanje III

Slide 1

LINEARNA ALGEBRA 2 Popravni kolokvij srijeda, 13. velja e Zadatak 1. ( 7 + 5=12 bodova) Zadan je potprostor L = {(x 1, x 2, x 3, x 4 ) C 4 : x 1

7. predavanje Vladimir Dananić 14. studenoga Vladimir Dananić () 7. predavanje 14. studenoga / 16

07jeli.DVI

Diferenciranje i integriranje pod znakom integrala math.e Vol math.e Hrvatski matematički elektronički časopis Diferenciranje i integriranje pod

Hej hej bojiš se matematike? Ma nema potrebe! Dobra priprema je pola obavljenog posla, a da bi bio izvrsno pripremljen tu uskačemo mi iz Štreberaja. D

(Microsoft Word - Dr\236avna matura - kolovoz osnovna razina - rje\232enja)

Numeričke metode u fizici 1, Projektni zadataci 2018./ Za sustav običnih diferencijalnih jednadžbi, koje opisuju kretanje populacije dviju vrs

1 MATEMATIKA 1 (prva zadaća) Vektori i primjene 1. U trokutu ABC točke M i N dijele stranicu AB na tri jednaka dijela. O

knjiga.dvi

Matematka 1 Zadaci za vežbe Oktobar Uvod 1.1. Izračunati vrednost izraza (bez upotrebe pomoćnih sredstava): ( ) [ a) : b) 3 3

Optimizacija

Matematika 1 - izborna

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 28. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. (

(Microsoft Word - Rje\232enja zadataka)

Microsoft Word - 12ms121

1 Polinomi jedne promenljive Neka je K polje. Izraz P (x) = a 0 + a 1 x + + a n x n = n a k x k, x K, naziva se algebarski polinom po x nad poljem K.

MAT-KOL (Banja Luka) XXIV (2)(2018), DOI: /МК S ISSN (o) ISSN (o) Klasa s

Elementarna matematika 1 - Oblici matematickog mišljenja

Konacne grupe, dizajni i kodovi

3. Neprekinute funkcije U ovoj to ki deniramo neprekinute funkcije. Slikovito, graf neprekinute funkcije moºemo nacrtati a da ne diºemo olovku s papir

(Microsoft Word vje\236ba - LIMES FUNKCIJE.doc)

Newtonova metoda za rješavanje nelinearne jednadžbe f(x)=0

Grupiranje podataka: pristupi, metode i primjene, ljetni semestar 2013./ Standardizacija podataka Predavanja i vježbe 8 Ako su podaci zadani

Skripte2013

Dvostruki integrali Matematika 2 Erna Begović Kovač, Literatura: I. Gusić, Lekcije iz Matematike 2

PITANJA I ZADACI ZA II KOLOKVIJUM IZ MATEMATIKE I Pitanja o nizovima Nizovi Realni niz i njegov podniz. Tačka nagomilavanja niza i granična vrednost(l

Teorija skupova - blog.sake.ba

Microsoft Word - 24ms241

2015_k2_z12.dvi

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Aleksandar Bulj DOKAZ CARLESONOVOG TEOREMA Diplomski rad Voditelj rada: iz

ALIP1_udzb_2019.indb

Microsoft Word - Rjesenja zadataka

3. КРИВОЛИНИЈСКИ ИНТЕГРАЛ

Univerzitet u Nišu Prirodno-matematički fakultet Departman za matematiku Različite karakterizacije proizvoda projektora Master rad Mentor: Prof. dr. D

Sveučilište J.J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Ana Vilić Unitarni operatori Završni rad Osije

2.7 Taylorova formula Teorem 2.11 Neka funkcija f : D! R; D R m ; ima na nekoj "-kugli K(T 0 ; ; ") D; T 0 x 0 1; :::; x 0 m neprekidne derivacije do

ACTA MATHEMATICA SPALATENSIA Series didactica Vol.2 (2019) Malo kompleksne analize i osnovni teorem algebre Ljiljana Arambašić, Maja Horvat Saže

My_ST_FTNIspiti_Free

Sadržaj 1 Diskretan slučajan vektor Definicija slučajnog vektora Diskretan slučajan vektor

s2.dvi

(Microsoft Word - Dr\236avna matura - rujan osnovna razina - rje\232enja)

Konstrukcija linearnih višekoračnih metodi Postoje tri važne familije višekoračnih metoda: Adamsovi metodi Adams-Bashfortovi metodi kod kojih je ρ(w)

2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8x 2 A) (f (

(Microsoft Word - Dr\236avna matura - svibanj osnovna razina - rje\232enja)

Linearna algebra Mirko Primc

9. : , ( )

C2 MATEMATIKA 1 ( , 3. kolokvij) 1. Odredite a) lim x arctg(x2 ), b) y ( 1 2 ) ako je y = arctg(4x 2 ). c) y ako je y = (sin x) cos x. (15 b

Sveučilište u Zagrebu PMF Matematički odjel Filip Nikšić PROPOZICIONALNA DINAMIČKA LOGIKA Diplomski rad Zagreb, listopad 2009.

MATEMATIKA Preddiplomski studij molekularne biologije Damir Bakić

Generalizirani trag i normalne forme za logiku interpretabilnosti Vedran Čačić PMF Matematički odsjek Sveučilište u Zagrebu Dubrovnik radiona Sustavi

Algebarski izrazi (4. dio)

Seminar 13 (Tok funkcije) Obavezna priprema za seminar nalazi se na drugoj stranici ovog materijala. Ove materijale obražujemo na seminarima do kraja

Microsoft Word - ASIMPTOTE FUNKCIJE.doc

2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8x 2 A) (f (

Test iz Linearne algebre i Linearne algebre A qetvrti tok, U zavisnosti od realnog parametra λ rexiti sistem jednaqina x + y + z = λ x +

Microsoft Word - 24ms221

Sveučilište u Splitu Fakultet prirodoslovno-matematičkih znanosti i odgojnih područja Zavod za fiziku Pripremni tečaj za studente prve godine INTEGRAL

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elizabeta Borovec ALGEBARSKA PROŠIRENJA POLJA Diplomski rad Voditelj rada:

Matematički fakultet Univerzitet u Beogradu Elementarne funkcije i preslikavanja u analizi Master rad Mentor: dr Miodrag Mateljević Student: Marija Vu

Univerzitet u Nišu PRIRODNO-MATEMATIČKI FAKULTET Departman za matematiku Master rad GRUPNI INVERZ OPERATORA Mentor: Prof. dr Dijana Mosić Student: Iva

(Microsoft Word - Dr\236avna matura - lipanj osnovna razina - rje\232enja)

Natjecanje 2016.

PLAN I PROGRAM ZA DOPUNSKU (PRODUŽNU) NASTAVU IZ MATEMATIKE (za 1. razred)

Microsoft Word - Dopunski_zadaci_iz_MFII_uz_III_kolokvij.doc

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivan Posavčević IZRAČUNLJIVOST NA SKUPOVIMA Z, Q, R I C Diplomski rad Zagr

Friedrichsovi operatori kao dualni parovi

ANALITIČKA GEOMETRIJA Željka Milin Šipuš i Mea Bombardelli verzija Uvod i povijesni osvrt Analitička geometrija bavi se proučavanjem (klasične)

Microsoft Word - ASIMPTOTE FUNKCIJA.doc

Транскрипт:

Diplomski rad Karakterizacija funkcijskih prostora preko valića (prvo izdanje) Rudolf Markulin..3 i

Predgovor Ne bi ovdje htio iznositi nikakve dodatne upute oko čitanja ovog rada, jer nije takvog opsega, a povijesne činjenice sam ionako izbjegavao tokom teksta, tako da bih samo napomenuo da za razumijevanje 3 glavnog poglavlja je dovoljno da se pročitaju poglavlja. i.. Htio bih se naravno zahvaliti i svom mentoru dr.sc. Nenadu Antoniću na svesrdnoj podršci i volji za ispravljanjem pogrešaka, koje sam i ja mogao ispraviti. Pomagao mi je i kolega dipl.ing. Boris Golub, koji je davao korisne tex savjete, kako bi tekst izgledao čim normalnije. To bi bilo više manje to. Jedino se nadam da ovo neće biti zadnji predgovor u životu koji ću napisati. U Samoboru, prosinca 3. Rudolf Markulin ii

Sadržaj Uvod. L p prostori.............................. Soboljevljevi prostori....................... 3 Marcinkiewiczev teorem interpolacije i Lorentzovi prostori 5. Rieszov teorem interpolacije................... 5. Marcinkiewiczev teorem interpolacije.............. 5.3 Nerastući preslog......................... 7.4 Lorentzovi prostori........................ 9.5 Topologija Lorentzovih prostora................. 5 3 Karakterizacija funkcijskih prostora preko valića 9 3. Osnovno o valićima........................ 9 3. Višerezolucijska analiza...................... 3.3 Daubechiesin valić........................ 3 3.4 Bezuvjetne baze za L p (R), p,.............. 4 3.5 Karakterizacija funkcijskih prostora preko valića........ 3 3.6 Valići za L ([, ])......................... 37 A Maple program 4 iii

Uvod. L p prostori Definirajmo prvo L(M, M, µ) kao prostor svih kompleksnih (realnih) izmjerivih funkcija na prostoru mjere (M, M, µ). Ako je (M, M, µ) prostor mjere i g L(µ), tada funkciju λ g : R + R + definiranu sa λ g (s) = µ{x M : g(x) > s} zovemo distribucijska funkcija funkcije g. Često ćemo u tekstu izostavljat g u oznaci λ g. Za p [, ] Lebesgueov prostor L p (M) definiramo kao prostor svih (klasa skoro svuda jednakih) funkcija iz L(M, M, µ), s normom ( f L p (M) := M f p dµ ) p, p [, f L (M) := vrai sup M f := inf{s R + : λ f (s) = } manjom od. Također znamo da su L p prostori Banachovi, te da je samo prostor L Hilbertov. Izmjerive funkcije oblika n k= a kχ Ak, a k R, gdje su A k M, nazivamo jednostavnima. U ovom radu ćemo ih označavati sa ϕ(m) odnosno sa ϕ(µ). Ako za skupove A k vrijedi da su i konačne mjere tada takve funkcije zovemo elementarnima i označavamo ih sa E. Napomenimo još da je skup elementarnih (jednostavnih) funkcija gust u L p prostoru, za p [,. One će nam biti posebno važne, jer će standardni dokazi najprije pokazati tvrdnje na elementarnim (jednostavnim) funkcijama, a potom će ih preko limesa proširiti na tražene funkcije. Ako je M topološki prostor, tada također imamo prostor L p loc (M) kojeg sačinjavaju sve funkcije f sa svojstvom da se za svaki kompaktan skup K M, njihova restrikcija na K, nalazi u L p (K). Za eksponent p definiramo njegov konjugirani eksponent p preko relacije: (formalno, =, pa je = ). p + p = Lema (Hölderova nejednakost) Neka je p [, ], a p njegov konjugirani eksponent. Ako su f i g izmjerive funkcije na M, onda vrijedi fg L (M) f L p (M) g L p (M).

Teorem (Rieszov teorem o reprezentaciji) Neka je (M, M, µ) prostor σ-konačne mjere, p [, i neka su p i međusobno konjugirani eksponenti. Ako je G ograničen linearan funkcional na L p, tada postoji jedinstven g L tako da vrijedi: f L p G(f) = fgdµ. Dual E Banachovog prostora E je skup svih ograničenih linearnih funkcionala na E. E je Banachov prostor uz normu u = sup v = (u, v), gdje (u, v) nije skalarni produkt, već vrijednost funkcionala u u toči v. Iz Rieszovog teorema sljedi da je (L p ) = L. Neka su E, E dva Banachova prostora, tada je adjungirani operator A T : E E operatora A : E E definiran kao (A T l )(v ) = l (Av ), odnosno (A T l, v ) = (l, Av ). Neka je E separabilan Banachov prostor. Tada (e n ) tvori Schauderovu bazu tog prostora, ako ( v E)( (µ n ) C N ) M v = lim N N µ n e n. U Schauderovoj bazi poredak e n je važan, ako želimo da nam poredak ne igra nikakvu ulogu, tada uvodimo bezuvjetnu bazu koja se razlikuje od Schauderove dodavanjem jednog od uvjeta: n µ ne n E n µ n e n E ili ako je n µ ne n E i ɛ n = ± proizvoljno odabrani, da je tada i n µ nɛ n e n E. Nemaju svi Banachovi prostori bezuvjetne baze, npr. L (R) i L (R). U Hilbertovom prostoru bezuvjetna baza se zove Rieszova baza. Definicija Funkcija ϕ : a, b R je konveksna ako vrijedi: n= ( s, t a, b )( λ, ) ϕ(λs + ( λ)t) λϕ(s) + ( λ)ϕ(t). Lema (Jensenova nejednakost) Ako je (M, M, µ) prostor konačne mjere, g L (M, a, b ) i ϕ konveksna na a, b. Tada je ( ) ϕ gdµ (ϕ g)dµ. µ(m) µ(m) M Definicija Niz (f n ) izmjerivih funkcija je Cauchyjev u mjeri µ ako vrijedi ( ɛ > ) M lim µ( f n f m [ɛ, ]) =, m,n odnosno takav niz konvergira u mjeri µ prema funkciji f ako vrijedi: ( ɛ > ) lim n ( f n f [ɛ, ]) =.

Teorem Ako je (f n ) Cauchyjev niz u mjeri, onda postoji izmjeriva funkcija f takva da f n f u mjeri. Štoviše, postoji podniz (f nk ) koji skoro svuda konvergira toj funkciji f, koja je jedinstvena do na razliku na skupu mjere nula.. Soboljevljevi prostori Uvedimo najprije Schwartzov prostor S brzoopadajućih funkcija. Za ograničenu neprekinutu funkciju ϕ na R d je njezina norma ϕ C := sup ϕ(x). x R d U zapisu Schwartzovih oznaka definirajmo familije polunormi na sljedeći način ϕ α,β := x α β ϕ C, ϕ k := sup ϕ α,β. α+β k Schwartzov prostor S je prostor svih C funkcija ϕ za koje je ϕ k <, za svaki k N. Na njemu možemo definirati prirodnu topologiju kao najslabiju topologiju u kojoj su sve polunorme ϕ k neprekidne. Vrijedi da je Schwartzov prostor S, zajedno s prirodnom topologijom, Fréchetov prostor, odnosno potpun metrizabilan lokalno konveksan Hausdorffov topološki vektorski prostor. Metrika na S se može zadati s d(ϕ, ψ) := k= k ϕ ψ k + ϕ ψ k. Nadalje, za svaki p [, ] je S L p (R d ). Dual prostora S, S se sastoji od takozvanih temperiranih distribucija. To su linearni funkcionali na S neprekinuti u sljedećem smislu ( C R + )( N N)( ϕ S) u, ϕ C ϕ N. Za proizvoljnu funkciju u S možemo definirati Fourierovu pretvorbu Fu := û formulom: û(ξ) := e ixξ u(x)dx, (π) d R d a inverznu Fourierovu pretvorbu formulom ǔ(ξ) := e ixξ u(x)dx. (π) d R d Pretvorba û je ograničena i neprekinuta funkcija iz S. 3

Teorem 3 (Plancherel) Fourierova se pretvorba na jedinstven način proširuje sa S do unitarnog operatora s L (R d ) na samog sebe. Fourierova pretvorba se može definirati i na prostoru temperiranih distribucija na sljedeći način: ũ, ϕ = u, ϕ (u S, ϕ S) û, ϕ = ũ, ˆϕ (u S, ϕ S), gdje je ũ(x) = u( x). Poznavajući Fourierovu pretvorbu možemo definirati Soboljevljev prostor H s, s R + kao skup gdje je funkcija λ(ξ) := + ξ. H s (R d ) := {f S (R d ) : λ s ˆf L (R d )}, 4

Marcinkiewiczev teorem interpolacije i Lorentzovi prostori. Rieszov teorem interpolacije Interpolacijskim teoremima za linearne operatore smatramo teoreme sljedećeg tipa: neka je linearni operator T : A B takav da su A i B vektorski prostori. Pretpostavimo da su A i A Banachovi potprostori prostora A, a B i B Banachovi potprostori prostora B takvi da je T Ai neprekidan s A i u B i za i =,. U tom slučaju obično možemo pokazati da postoji beskonačno mnogo međuprostora (A, B) gdje su A A i B B takvi da je operator T A : A B ograničen. Definicija { 3 Rezanje izmjerive funkcije f je bilo koja funkcija g takva da je f(x), r < f(x) r g(x) = za r, inače, r. U cijelom ovom poglavlju ćemo imati operatore kojima će domena biti neki vektorski prostor D izmjerivih funkcija, takav da sadrži sve elementarne funkcije i ima svojstvo da je svako rezanje funkcije iz D ponovno u D. Definicija 4 Kažemo da je operator T : D L(ν) jakog tipa (p, ), ako postoji konstanta k neovisna o f L p (M) D, takva da je T f k f p za svaki f L p (M) D. Najmanji k za koji vrijedi nejednakost zovemo (p, ) normom operatora T. Teorem 4 (Riesz-Thorin) Neka je T linearan operator tipa (p i, i ), s (p i, i ) normom jednakom k i za i =,. Tada je za svaki t [, ] operator T tipa (p t, t ) s (p t, t ) normom k t k t k, t gdje je p t = t p + t p i t = t + t. Dokaz teorema može se naći u [].. Marcinkiewiczev teorem interpolacije Marcinkiewiczev teorem je analogon Riesz-Thorinovog teorema u smislu da slabi uvjeti na rubu još uvijek garantiraju da je operator jakog tipa za konveksnu kombinaciju rubova, i to za operatore koji ne moraju biti linearni. Definicija 5 Za operator T : L(µ) L(ν) kažemo da je subaditivan ako je T (f + f )(x) T (f )(x) + T (f )(x) (ss x N), za f, f L(µ). 5

Definicija 6 Kažemo da je operator T : D L(ν) slabog tipa (p,), ako postoji konstanta k neovisna o f L p (M) D takva da je ( ) k f p λ(s), () s gdje je λ distribucijska funkcija funkcije T (f), za p [, ] i [,. Kada je = imamo uvjet T f k f p. Najmanji k za koji vrijede ove nejednakosti zovemo slabom (p,) normom operatora T. Teorem 5 Ako je operator T tipa (p,), onda je i slabog (p,) tipa, za p [, ] i [, ]. Dokaz: Za = definicije se podudaraju. Uzmimo da je < i neka su f L p (M) D, s > i λ(s) = µ{x M : T (f)(x) > s} = µ(e s ). Tada je s λ(s) = s E s dµ E s T (f) dµ T (f) (k f p ). Nejednakost podijelimo sa s i dobit ćemo nejednakost (). Teorem 6 (Marcinkiewicz) Ako je T subaditivan operator slabog tipa (p j, j ), gdje je p j j za j =, i g, tada je T tipa (p t, t ) uz p t = t p + t p i t = t + t, za t,. Ovaj teorem je direktna posljedica teorema 9 na stranici 3. Uvjet p j j za j =, i nije tako ograničavajući, jer je većina nama zanimljivih operatora tog tipa. Definicija 7 Prostor L p = {f L(µ) : [f] p = (sup s>o s p λ f (s)) p < } zovemo Marcinkiewiczevim prostorom, odnosno slabim L p prostorom. Operator T : L p D L(ν) slabog tipa (p, ) je zapravo operator s kodomenom L p, jer zaista iz λ(s) ( k f p ) s sljedi (s λ(s)) k f p, odnosno (sup s>o s λ f (s)) k f p. Zgodno je odmah uočiti primjer neke funkcije iz novodefiniranih prostora, tako naprimjer funkcija f(x) = x Lp prostoru, ali je u L. Kako je λ(s) = µ{x R : x s} = µ{x R : x } =, odmah s s dobivamo [f] = sup s> sλ(s) = sup s> s =. s Lema 3 Za funkciju f L p (M) vrijedi jednakost f p p = s p dλ(s) = p s p λ(s)ds. 6

4 4 3 3 3 4 3 4 E 3 E E d d d 3 Slika : Preslog jednostavne funkcije. Sada ćemo dati kratku motivaciju za uvođenje Lorentzovih prostora. Uzmimo φ(s) = s(λ(s)) p, tada je [f]p < φ L <. Iz leme 3 dobivamo da je f p = ( [φ(s)]p d( λ(s)) ) p λ(s), odnosno f p < φ L p (, ) <, gdje je L p (, ) uz mjeru ν(s) = d( λ(s)). Iz svojstava funkcije λ(s) (sljedeće poglavlje) λ vidi se da je ν zapravo mjera. Gledajmo sad uvjete [f] p < i φ L p (, ) < na funkciju φ, ali za neke druge norme osim p i. Tada za proizvoljni g [, imamo uvjet ( [φ(s)] dν(s) ) <. () Funkcije iz Lorentzovih prostora L p koje ćemo definirati u sljedećim poglavljima zadovoljavat će ()..3 Nerastući preslog Definicija 8 Nerastući preslog f funkcije f L(µ) je funkcija f : R + R + definirana kao f (t) = inf{s : λ f (s) t}, za t >. U narednih nekoliko lema uvijek ćemo imati lim s λ(s) =, odnosno da je preslog realna funkcija. U njima ćemo pokazati neka osnovna svojstva nerastućeg presloga f i distribucijske funkcije funkcije f. Lema 4 i) Funkcije λ i f su nerastuće i neprekidne zdesna. ii) ( t > ) λ(f (t)) t. iii) Funkcije f i f imaju istu distribucijsku funkciju. Dokaz: Da je λ nerastuća slijedi iz monotonosti mjere, a tada iz definicije presloga odmah slijedi da je f nerastuća. Kako je s>s {x M : f(x) > s} = {x M : f(x) > s } 7

i iz neprekinutosti odozdo mjere µ slijedi da je lim s s λ(s) = λ(s ), odnosno λ je neprekidna zdesna. Za nejednakost (ii) gledamo sljedeće. Iz definicije f imamo da postoji niz s n f i λ(s n ) t. Sada iz neprekidnosti zdesna funkcije λ vidimo da je lim sn f λ(s n) t, odnosno λ(f (t)) t. Lako je vidjeti da je f neprekidna zdesna u t, ako je f (t ) =, jer je onda ( t > t ) f (t) = zbog nenegativnosti i monotonosti funkcije f. Gledamo slučaj kada je f (t ) >, uzmimo tada α, f (t ) i niz ɛ n. Iz definicije f mora vrijediti λ(f (t ) α) > t. Dakle imamo: ( n N)( n n ) λ(f (t ) α) > t + ɛ n, iz čega slijedi ( n n ) f (t ) α < f (t + ɛ n ), jer u suprotnom za neki n n : f (t ) α f (t + ɛ n ) i uz opadanje funkcije λ i tvrdnju (ii) imali bismo kontradikciju λ(f (t ) α) λ(f (t + ɛ n )) t + ɛ n. Budući da je f nerastuća imamo f (t ) α < f (t + ɛ n ) f (t ) za svaki n n. Odnosno iz proizvoljnosti α i ɛ n dobivamo neprekidnost zdesna. iii) Iz definicije presloga f imamo da je f (t) > s λ(s) > t, odnosno Es = {t > : f (t) > s} =, λ(s). Uzmemo Lebesgueovu mjeru tih skupova i dobili smo tvrdnju iii). Lema 5 Neka je (f m ) m N niz izmjerivih funkcija na prostoru mjere (M, M, µ) i f izmjeriva funkcija tako da f m f po točkama, onda vrijedi: i) ( s > ) λ m (s) λ(s) ii) ( t > ) fm(t) f (t) Dokaz: i) Očito je da E m s = {x M : f m (x) > s} E s = {x M : f(x) > s} i m= E m s = E s. Tada iz monotonosti i neprekinutosti na rastuće unije mjere µ imamo λ m (s) = µ(e m s ) µ(e s ) = λ(s) i lim λ m(s) = λ(s). m ii) Iz definicije f imamo fm(t) fm+(t) f (t) za svaki m N. Uzmimo l = lim m fm(t). Kako je fm(t) l dobivamo λ m (l) λ m (fm(t)) t. Dakle λ(l) = lim m λ m (l) t povlači f (t) l. Ali i iz fm(t) f (t) imamo l f (t). Odnosno l = f (t). 8

Primjer (Pozitivna jednostavna funkcija.) Uzmimo funkciju f oblika f = n j= c jχ Ej tako da E j M, µ(e j ) > i E j E k = za sve j k, te takvu da je c > c > c 3... c n > c n+ = (posložimo tako ako treba). Označimo d j = µ(e )+ +µ(e j ) za j =... n i d :=. Tada je { dj, s [c λ(s) = j+, c j, j n, c s i { f cj, t [d (t) = j, d j, j n, d n t Preslog jedne takve funkcije se vidi na slici.. Lema 6 Ako je f izmjeriva funkcija, λ njena distribucijska funkcija i p >, tada je [f] p = sup t> t p f (t). Dokaz: Ako je f jednostavna funkcija lako vidimo sup s[λ(s)] p s> = sup d p j c j = j n sup t p f (t). U slučaju da je f izmjeriva postoji (f m ) niz jednostavnih pozitivnih funkcija tako da f m f po točkama. Iz leme 5 odmah t> slijedi sup s> sup t> s[λ(s)] p sup m = sup s> sup m t p f m (t) = sup t> s[λ m (s)] p t p f (t) = sup m sup s> s[λ m (s)] p = sup m sup t> t p f m (t) = Iz prethodne leme je očito da Marcinkiewicev prostor možemo definirati kao L p = {f L(µ) : sup t> t p f (t) < }..4 Lorentzovi prostori U skladu s nejednakosti () i lemom 6 definiramo Lorentzove L p prostore na sljedeći način. Za p [, i [, je f p = ( (t p p f (t)) dt) t, dok za p [, ] i = je f p = sup t> t p f (t). Pripadni Lorentzovi prostori su L p := {f L(µ) : f p < }. Lema 7 f p = f p za svaki f L p (M) i za svaki p [, ]. Dokaz: Za p > iz leme 3, na stranici 6 imamo f p = ( p ) s p p λ f (s)ds = 9 ( p ) s p p λ f (s)ds = f p,

a za p = je f = inf{s : λ f (s) = } = inf{s : λ f (s) = } = f. Lako se vidi da je L pp = L p normiran prostor, a iz nejednakosti x + x + > (x ) + (x + ) sljedi da p općenito ne mora biti norma. U definiciji kvazinorme p smo uveli konstantu p, kako bismo dobili neovisnost izraza χ E p o konstanti, za E M i µ(e) <. Zapravo je χ E p = (µ(e)) p za svaki [, ]. To je zato što je L p u vezi sa L p prostorima. U smislu da je L p najmanji normirani prostor tako da χ E p = (µ(e)) p vrijedi, a L p je najveći takav. Teorem 7 Ako je f L p i, tada imamo: i) f p f p, ii) L p L p. Nadalje pretpostavimo da je norma koja čuva poredak ( g f za g f (ss)) definirana na ϕ(m). Tada je: iii) ( E M) χ E (µ(e)) p ( f ϕ(m)) f f p, iv) ( E M) χ E (µ(e)) p ( f ϕ(m)) f f p. Dokaz: i) U slučaju =, kako je f nerastuća slijedi ( t p f (t) = f (t) p t ) u ( p du p t [u p f (u)] du u ) f p. Tražena nejednakost slijedi uzimanjem supremuma po svim t >. Za slučaj kada je <, iz Lebesgueovog teorema o monotonoj konvergenicji i za f m jednostavne funkcije kao iz leme 5 vrijedi lim m f m p = f p. Ako dakle tvrdnja i) vrijedi za f m jednostavne onda iz teorema o sendviču i prethodne jednakosti tvrdnja vrijedi za f L p. Znači ostaje nam pokazati tvrdnju i) za f m jednostavne. Uočimo prvo da je ( f p = p [t p f (t)] dt t ) = = ( p n j= c j dj ) t p dt d j ( n (c ) j d p j c j d p j ). Definirajmo a j = c j, b p j = aj i θ =. Tražena tvrdnja je ekvivalentna sa n j= a j(b j b j ) ( n j= aθ j(b θ j b θ j )) θ, gdje su a > a >... > a n >, j=

= b < b <... < b n i θ, ]. Dokaz ćemo provesti indukcijom po n. Kada je n = očito je a b (a θ b θ ) θ. Pretpostavimo da nejednakost vrijedi za n = N. Definirajmo funkcije N ϕ(x) = ( a θ j(b θ j b θ j ) + x θ (b θ N+ b θ N)) θ = (A + x θ B) θ i l(x) = j= N a j (b j b j ) + x(b N+ b N ) = A + xb j= za x [, a N ]. Naša zadaća je onda pokazati da je ϕ(a N+ ) l(a N+ ) kad god je < a N+ < a N. Iz baze i pretpostavke indukcije imamo ϕ() l() i ϕ(a N ) l(a N ), gdje smo drugu nejednakost dobili iz (a) zamjenom b N s b N+. S druge strane, budući da je derivacija ϕ (x) = B(Ax θ + B) θ funkcije ϕ padajuća na R +, funkcija ϕ je konkavna. To zajedno sa činjenicom da dominira linernu funkciju l na krajnjim točkama i a N povlači da je ϕ(x) l(x) za x [, a N ]. Time smo dokazali tvrdnju i). Tvrdnja ii) je direktna posljedica tvrdnje i). Uočimo prvo da je dovoljno pokazat tvrdnju iii) za jednostavne pozitivne funkcije, jer je f f f p = f p. Sada za f = N j= c jχ Ej kao i prije, možemo definirati f k = b k χ Fk, gdje su F k = k j=e j i b k = c k c k+, za k =,..., n. Tada je očito f (t) = n k= f k (t) za t >,f = n k= f k i vrijedi f = p n f k = k= k= n t p k= n b k χ Fk f k (t) dt t = p Time smo pokazali tvrdnju iii). n n b k (µ(f k )) p = k= k= p t p f (t) dt t = f p. t p f k (t) dt t Za pokazati iv), zamijetimo da je f p = sup j n d p j c j, ako koristimo formule iz primjera Neka se supremum postiže za j = k, tada je f p = d p k. Uz g = c kχ Fk je g f i vrijedi f p = d p k c k = c k (µ(f k )) p c k χ Fk = g f, čime je teorem dokazan. Definicija 9 Subaditivan operator T : D L r L p je (r, p) restringiranog slabog tipa ako zadovoljava nejednakost T f p k f r, gdje je k >. Korolar Subaditivan operator T slabog tipa (r, p) je i restringiranog slabog tipa (r, p).

Dokaz: Iz leme 6 vidimo da je () ekvivalentno sa T f p k f r. Otprije znamo da je f r = f rr i iz teorema 7 je f r f r. To zajedno daje da operator T zadovoljava i nejednakost iz prethodne defnicije. Teorem 8 Neka je B normiran prostor s normom koja čuva poredak, a T : ϕ(µ) B linearan operator. Ako je T χ E C χ E r = C(µ(E)) r gdje je µ(e) < i C neovisan o E, tada postoji konstanta A tako da T f A f r za svaki f ϕ(µ). Dokaz: Kako je f ϕ(µ) tada je f = n k= f k i f = n k= f k kao u dokazu teorema 7. Nadalje je T f = n k= T f k n k= T f k n k= Cb k χ Ek r. Jednako kao i u teoremu 7 je n k= Cb k χ Ek r = C f r, odnosno T f C f r. Ako je f s kompleksnim vrijednostima, tada je T f 4C f r Napomena Iz prethodnog teorema imamo da je (sub)linearni operator T slabog tipa, ako je takav na karakterističnim funkcijama skupova konačne mjere. Lema 8 (Hardyeve nejednakosti) Ako je, r > i g : R + R + izmjeriva funkcija, tada je: i) ( [ t g(u)du] t r dt) ( r )( [ug(u)] u r du) ii) ( [ t g(u)du] t r dt) ( r )( [ug(u)] u r du) Dokaz: Pokažimo prvo da tvrdnja (i) povlači tvrdnju (ii). Uvrstimo g (u) = g( ) u prvu nejednakost, i tada je u u [ t t [ g (u)du] ] t r r dt = g(v)dv = Međutim lijeva strana jednakosti je manja od ( ) [ u ( ) ug (u)] r du = r r t [ s g(v)dv] r dt. s [ vg(v)] v r dv, to jest vrijedi nejednakost ii). Dokaz prve nejednakosti slijedit će iz Jensenove nejednakosti za ϕ(x) = x i dµ(u) = u r du. Dakle, računamo [ t ] [ t g(u)du = g(u)u r u r du ] ( ) t t r( ) [g(u)] u r + r du. r

Nadalje je [ t t g(u)du] r dt = = ( r ) t r [ t ] [g(u)] u r + r dt ( ) ( [g(u)u] u r + r t r dt )du r ( ) [g(u)u] u r du, r u i time je pokazana Hardyeva nejednakost (i). Teorem 9 (Marcinkiewicz) Ako je T : D L(ν) subaditivan operator restringiranog slabog tipa (r j, p j ), j =,, uz r < r i p p, tada postoji konstanta B = B θ tako da: ( f D L r ) T f p B f r, za [, ], p = θ p + θ p, r = θ r + θ r i θ,. Dokaz: Za f D L r definiramo f t (x) = f(x)χ f f (t γ ), ] i f t (x) = f(x) f t (x), gdje je γ = p p nejednakosti: i r r = p p. r r Tada imamo dvije (f t ) (s) f (s)χ,t γ (3) { f ft (s) (t γ ), < s < t γ f (s), t γ s Lako se uvjeriti da formule vrijede kada je f jednostavna funkcija, iz formula sličnih kao u primjeru, ostali slučajevi se dobivaju preko limesa. Budući da je operator T subaditivan imamo formulu [T f](y) = [T (f t + f t )(y)] [T f t ](y) + [T f t ](y) (ss y N), a imamo i sljedeću inkluziju {y N : [T f](y) > (T f t ) (s) + (T f t ) (s)} {y N : [T f t ](y) > (T f t ) (s)} {y N : [T f t ](y) > (T f t ) (s)}. Ako su λ, λ t i λ t distribucijske funkcije funkcija T f, T f t i T f t redom, tada iz prethodne inkluzije i leme 4 (ii) vrijedi formula: λ((t f t ) (s) + (T f t ) (s)) λ t ((T f t ) (s)) + λ t ((T f t ) (s)) s + s = s. 3 (4)

Iz definicije (T f) je dakle (s > )(T f t ) (s) + (T f t ) (s) (T f) (s) (5) Uzmimo da su r < i <. Tada iz (5) uz zamjenu varijabli i nejednakost Minkowskog znamo da je: T f p = ( p) [ [t p (T f) (t)] dt t ( [( p) p ] = [t p (T f t ) (t)] dt t ( [ p) p ) [t p (T f) (t)] dt t ( + [t p (T ft ) (t)] dt ) ]. t ] Kako je operator T restringiranog slabog tipa (r, p ) i (r, p ), to imamo t p (T f t ) (t) k f t r i t p (T f t ) (t) k f t r za t >. Dakle suma unutar velikih uglatih zagrada nije veća od ( k [t p p f t r ] dt t ) ( + k [t p p f t r ] dt t Iz nejednakosti (3), zamjene varijabli i prve Hardyeve nejednakosti imamo: ). ( [t p p f t r ] dt t ) ( [t p p ( r t γ = γ ( ( [u r u r r = f (s)s r ds γ ( r [u r f (u)] u r r ( r r r γ ) f r. f (s)s r ds r du u ) )] dt ) t )] du u ) Na sličan način, ali pomoću nejednakosti (4) i druge Hardyeve nejednakosti dobivamo: ( [t p p f t r ] dt t ) ( [t p p ( r t γ f (t γ )s r ds + ) + )] f (s)s r dt ds r t t ( γ [t p p f (t γ )t γ r ] dt ) + t + ( [t p p f (s)s r t γ 4 r ds ] dt t )

[( = γ [u r f (u)] du u + ( [u r r r = ( r γ ( r γ ) u ) f (s)s r ds f r + γ ( r r ) ( r ) f r r r. ] du u ) ] [f (u)u r ] u r Pokazali smo nejednakost T f p B f r, gdje je B = ( r ) γ p r k r r ). p ( rk r r + Kada imamo r < i =, ocjenjujemo t p (T f) (t) za t > pomoću nejednakosti (3),(4) i (5) kao u prethodnom slučaju. Računom dobivamo pozitivne konstante c, c i c 3 (koje ovise samo o p,,r, r i r ) takve da je: t p (T f )(t) c t p p t γ +c t p p t γ f (s)s r ds f (t γ )s r ds + c 3 t p p f (s)s r ds. t γ Koristeći činjenicu da je f (s)s r f r, dobivamo sljedeće ( t p (T f c )(t) r + c + c ) 3 f r = B f r r r, r r odnosno T f p B f r. U slučaju kad je r = i = dokaz ide slično kao i prije, ali uz upotrebu ocjene f t f (t γ )..5 Topologija Lorentzovih prostora Definicija Ako je (M, M, µ) prostor mjere, tada za skup A M kažemo da je atom ako je µ(a) > i ako za svaki izmjeriv skup B A vrijedi µ(b) = ili µ(a \ B) =. Teorem (Darbouxovo svojstvo) Neka je (M, M, µ) prostor mjere. Ako µ nema atoma, onda je {µ(a) : A M} = [, µ(m)]. Za skicu dokaza vidi [4]. r du u ) 5

Lema 9 Neka je E M i F s = {x M : f(x) > s }, gdje je (M, M, µ) prostor mjere bez atoma, tada je: i) f dµ µ(e) f (t)dt E ii) F s f dµ = λ(s) f (t)dt iii) Ako je µ(m) t > tada postoji E t M takav da je µ(e t ) = t i E t f dµ = t f (u)du. Dokaz: i) Jasno je da je f f za f f. Dakle za f = fχ E imamo µ(e) f (t)dt µ(e) f (t)dt. (6) Kako je λ f je ograničena s µ(e), vrijedi da je f (t) = za svaki t > µ(e). Lema 7 uz p= daje E f dµ = M f dµ = f (t)dt = µ(e) f (t)dt, a to zajedno s (6) povlači nejednakost i). ii) Definirajmo funkciju g = f χ <,λ(s)>. Želimo pokazati da g i h = fχ Fs imaju istu distribucijsku { funkciju. Kada je f jednostavna funkcija, tada je cj t [d d z = λ(s) i g(t) = j, d j, j =,..., z, odnosno po lemi 4 h i d z t h = g imaju istu distribucijsku funkciju. Kada f nije jednostavna postoji niz (f m ) jednostavnih funkcija tako da f m f, i nizovi (h m ) i (g m ) definirani kao h m = f m χ Fs i g m = fmχ <,λf m (s)>. Očito h m h, dok iz f m f sljedi fm f i g m g. Dakle po lemi 5 je λ m h λ h i λ m g λ g, to jest λ h = λ g. Na kraju uz pomoć leme 7 dobivamo traženu tvrdnju f dµ = F s M h dµ = g(u)du = λ(s) iii) Uzmimo t, µ(m)] i definirajmo skupove G i H s f (u)du. G = {x M : f(x) > f (t)}, H = {x M : f(x) f (t)}. Tada je µ(g) t µ(h). Prva nejednakost sljedi iz λ(f (t)) t i µ(g) = λ(f (t)). Za izmjerivu funkciju f uzmimo (f m ) niz jednostavnih funkcija tako da f m f i definirajmo niz skupova (H m ) kao i H za pripadne f m. Tada je m N H m = H i H m H m+ za m N. Iz neprekidnosti na rastuće unije vrijedi µ(h) = lim m µ(h m ) t, zato jer je µ(h m ) > t za svaki m N. Nadalje iz Darbouxova svojstva znamo da postoji skup E t 6

tako da G E t H i µ(e t ) = t. Sada za h = fχ Et je h = f na (, t) i h (u) = za svaki u t. Tvrdnja dakle sljedi iz E t f dµ = h dµ = M h (u)du = t f (u)du Neposredna posljedica tvrdnji i) i iii) prethodne leme je formula t f dµ = f (u)du. (7) sup E M,µ(E) t E Iz te tvrdnje imamo da je preslikavanje f t f (u)du norma na L p (M) za t svaki p [, ] i t >. Da je norma konačne vrijednosti sljedi iz Hölderove nejednakosti, to jest iz f dµ = χ E M E f f p χ E p t p f p gdje su p i p konjugirani. Nesimetrična maksimalna funkcija m f funkcije f L (R) se definira kao m = m f = sup h+k> h + k x+k x h Lema Neka je f L(µ), tada vrijedi m f (t) = t Dokaz: Očito je da m f (t) = sup t h,h+k> h + k f nerastuća,odmah slijedi tvrdnja, jer je h+k f(u) du. t+k t h t f (u)du. f (u)du. Budući da je t f (u)du t+k t h f (u)du t Za funkciju f L(µ) definirajmo f p = ( p [, i f p = sup t> t p m(t) za p [, ]. [t p m(t)] dt t ) za, p Iz sljedećih nejednakosti se odmah vidi da je p norma. f + g p = ( (t p mf+g (t)) dt) = ( ) p t p t p mf+g ( ) p t p (mf + m g )... f p + g p. Teorem Ako je f L p za p, ], tada je f p f p p p f p. Dokaz: Zato što je f nerastuća vrijedi m(t) f (t) za t >, odnosno f p f p. Za [, drugu nejednakost dobivamo iz prve Hardyeve nejednakosti na sljedeći način: ( t f p = [f (u)du] t ) p dt p p p ( p [uf (u)] u ( p ) du 7 ) = p p f p.

Za preostali slučaj p, ] i = imamo t p m(t) = t p t f p t p f (u)du = t p t u p du = t u p u p f (u)du p p t p+ f p t p p = p f p. Napomenimo još da je važno upotrebljavati i p i p. Prednost p je to što je norma, no nedostatak je da nemožemo dobiti zadovoljavajuće proširenje za L. To se vidi iz sljedećeg računa: f = sup t> tm(t) = sup t> t f (s)ds = f(s)ds = f = f. Teorem Lorentzov prostor L p za p, ] i [, ] i sa normom p je Banachov. Dokaz: Trebamo pokazati samo potpunost prostora L p. U slučaju p = odmah vidimo da je L = L Banachov prostor, dok za p, uzmimo (f n ) C-niz u normi p. Kako je, iz teorema 7 i teorema sljedi da je (f n ) C-niz i u normi p. Iz leme 6 to je ekvivalentno sa sup µ({x M : f n (x) f m (x) > s}) kad n, m, s> a to je upravo definicija da je (f n ) C-niz u mjeri. Nadalje iz teorema u poglavlju. znamo da postoji podniz (f nk ) i funkcija f tako da f nk (x) f(x) (ss). Tada za dani δ > postoji j = j (δ) tako da f n f j p < δ za svaki j, n j. Uz g k = f nk f i g = f f j, iz Fatouove leme sljedi g dµ lim inf E k gk dµ za bilo koji E M, a iz (7) i još jedne upotrebe Fatouove leme imamo f f j p = g p δ za svaki j j. Napomena Lorentzov prostor L, za, ] nije normabilan. Rješenje: Pokazat ćemo samo slučaj kada je =. Uzmimo niz funkcija f k = x+k. To je niz u L, jer je λ k (s) = µ({x R : x + k > s}) = µ({x R : x + k < }) = s, s odnosno x+k = sup s> s =. Uzmimo funkciju f = n s k= f k. Ako je norma ekvivalentna sa odnosno ( d ), tada f n k= f k n f k nd f k = nc. Kako je f(x) C log n za x [, n], znamo da f C log nλ(c log n) C n log n, a to je u kontradikciji sa prethodnom ocjenom. 8

3 Karakterizacija funkcijskih prostora preko valića 3. Osnovno o valićima Priču o valićima ćemo započeti komentiranjem njenih prednosti u analizi signala. Signal je na primjer funkcija koja opisuje zvuk. Jedno od pitanja koje se proučava je frekvencijska analiza signala u nekom trenutku. Odnosno što je čovjek odsvirao na klaviru u datom trenutku. Fourierovom transformacijom se može dobiti frekvencijska analiza signala. Međutim, kod nje je problem to što nam je teško dobiti tu analizu za dati trenutak, to jest imamo samo jedan parametar ω kojim određujemo koje frekvencije ćemo analizirati u tom signalu: ˆf(ω) = e iωt f(t)dt. π Ono što želimo dobiti kod valić-transformacije jest dobra analiza frekvencija u danom trenutku. Zato kod nje imamo dva parametra kojim je reguliramo, jedan za odabir frekvencija (a), a drugi za odabir trenutka (b). Zapišimo je sada kao (T wav f)(a, b) = a ( t b ) f(t)ψ. a Velikim vrijednostima parametra a tada odgovaraju niske frekvencije, odnosno malim vrijednostima visoke frekvencije. Nama će u ovom poglavlju biti najvažnije ortonormirane baze valića za L p (R), po kojima ćemo raditi razvoj funkcija. I neće nas zanimati frekvencijska analiza, već analiza singulariteta u funkcijama. Međutim, za baze nam trebaju prebrojive familije valića, i zato trebamo dobro odabrati familije parametara a i b tako da pokrivaju cijeli vremensko-frekvencijski opseg, odnosno Tm,n wav (f) = a m f(t)ψ(a m t nb ), za m, n Z. Haarova baza je prvi primjer ortonormirane baze valića za L (R). Definirana je s odabirom parametara a =, b = i funkcije x [, ψ(x) = x [,, inače odnosno ψ m,n (x) = m ψ( m x n). 9

3. Višerezolucijska analiza Višerezolucijska analiza se sastoji od niza aproksimirajućih prostora V j, takvih da zadovoljavaju i... V V V V V... (8) j Z V j = L (R), (9) j Z V j = {}. () Ako je P j ortogonalni projektor na prostor V j, tada (9) osigurava da je lim j P j f = f za svaki f L (R). Međutim, postoje mnogi primjeri niza prostora koji zadovoljavaju uvjete (8) do (), a koji nemaju nikakve veze s višerezolucijskom analizom. Kako bismo dobili višerezolucijsku analizu morat ćemo dodati još neke zahtjeve. Prvi od njih je f V j f( j ) V. () S tim zahtjevom imamo da su svi prostori V j zapravo skalirane verzije prostora V. Sada ćemo dati primjere prostora koji zadovoljavaju uvjete (8) do (): V j = {f L (R) : f [ j k, j (k+)] = konst., za svaki k Z}, () kojeg ćemo zvati Haarova višerezolucijska analiza, a ona je povezana s Haarovom bazom iz poglavlja 3.. Slika nam pokazuje kako izgledaju projekcije neke funkcije na prostore V i V. Ovaj primjer nam jasno izlaže još jedno svojstvo koje tražimo od višerezolucijske analize, a to je invarijantnost na translaciju za neki prirodni broj, Zbog uvjeta () i (3) znamo da vrijedi f V f( n) V, n Z. (3) f V j f( j n) V j, n Z. Zadnji uvjet koji tražimo je da postoji funkcija φ V tako da je {φ,n : n Z} ortonormirana baza za V, (4) gdje je za svaki j, n Z, φ j,n (x) = j φ( j x n). Uvjeti (4) i () nam daju da je {φ j,n : n Z} ortonormirana baza za V j i to za svaki j Z. U

.8.6.4. -..5 5 7.5.5 5 7.5 -.4.8.8.6.6.4.4.. -..5 5 7.5.5 5 7.5 -..5 5 7.5.5 5 7.5 Slika : Funkcija f i njene projekcije na V i V. Haarovom primjeru jedan od mogućih izbora za funkciju φ je χ [,]. Funkciju φ ćemo zvati skalirajuća funkcija ili tata-valić. Glavno načelo višerezolucijske analize je da kad god familija zatvorenih potprostora zadovoljava uvjete (8) do (4), da tada postoji ortonormirana baza {ψ j,k : j, k Z} prostora L (R), gdje su ψ j,k (x) = j ψ( j x k), tako da za svaki f L (R) je P j f = P j f + k Z(f, ψ j,k )ψ j,k. (5) Valić ψ se može eksplicitno konstruirati, a dio te konstrukcije ćemo pokazati u nastavku teksta. Funkcija ψ se još naziva i mama-valić. Za svaki j Z definirajmo W j kao ortogonalni komplement potprostora V j u V j. Zapišimo to kao Vrijedi i V j = V j W j. (6) W j W j ako j j, (7) jer ako je j > j tada W j V j W j. Nadalje vrijedi, za svaki j < J V j = V J J j k= W J k, (8)

gdje su svi ti potprostori ortogonalni. To zajedno s uvjetima (9) i () povlači L (R) = j Z W j, (9) dekompoziciju prostora L (R) u međusobno ortogonalne potprostore. Uz to prostori W j nasljeđuju svojstvo () prostora V j : f W j f( j ) W. () Formula (5) je ekvivalentna tome da za neki j, {ψ j,k : k Z} tvori ortonormalnu bazu za W j. Zbog uvjeta (9),(9) i (), to povlači da {ψ j,k : j, k Z} tvori ortonormalnu bazu za L (R). S druge strane svojstvo () osigurava da ako je {ψ,k : k Z} ortonormirana baza za L (R), da su tada i {ψ j,k : k Z} ortonormirane baze za W j i to za svaki j Z. Stoga se naš zadatak sveo na pronalaženje funkcije ψ W takve da je {ψ( k) : k Z} ortonormirana baza za W. Nećemo dalje opisivati konstrukciju funkcije ψ, već ćemo samo navesti nekoliko svojstava koja su nam potrebna kako bismo mogli eksplicitno zapisati funkciju, odnosno izreći teorem. Kako je φ V V i φ,n je ortonormirana baza u V, znamo da je φ = n h n φ,n, gdje je h n = (φ, φ,n ), n Z h n =. () Teorem 3 Ako familija zatvorenih potprostora (V j ) j Z u L (R), zadovoljava uvjete (8)-(4), tada postoji njima pridružena ortonormirana baza valića {ψ j,k : j, k Z} za L (R) tako da vrijedi (5). Jedna od mogućih konstrukcija za ψ je ψ = n ( )n h n φ,n, gdje red konvergira u L smislu. Zapišimo funkciju φ kao φ = n c nφ(x n), a to možemo jer valići φ,n čine bazu za V. Tada imamo sljedeću lemu: Lema Ako je φ(x) C( + x ) ɛ i φ je neprekidna, tada vrijedi c n = = c n+ φ(x l) = const. n n l

3.3 Daubechiesin valić Prvi netrivijalni primjer valića kojeg ćemo navesti je konstruirala Ingrid Daubechies. Naime, pokazano je da je moguće konstruirati familiju valića za koju skalirajuća funkcija φ ima sljedeća svojstva: ) supp φ = [, 3], ) Usrednjenje: 3 φ(t)dt =, 3) Ortogonalnost: φ(t m ) i φ(t m ) su ortogonalni za m, n Z, 4) Regularnost: Konstantne i linearne funkcije mogu biti zapisane kao suma funkcije φ i njezinih translacija...8.6.4.. 3 4 t Slika 3: Graf funkcije D 4. Međutim, i njena praktična konstrukcija se provodi preko tih svojstava, odnosno iz rekurzije, koja koristi svojstvo da skalirajuća funkcija zadovoljava jednadžbu rastezanja: φ(t) = c k φ(t k). Koeficijenti c k tada iznose c = + 3 4, c = 3 + 3 4, c = 3 3 4, c 3 = 3. 4 Budući da su samo 4 koeficijenta različita od, skalirajuća funkcija se označava sa D 4. Na slici 3 se vidi njen graf. 3

3.4 Bezuvjetne baze za L p (R), p, Teorem 4 (Calderón-Zygmund) Neka je f pozitivna funkcija iz L (R) i α >. Tada postoji dekompozicija skupa R na skupove G i B, to jest R = G B, G B = i to takve da vrijedi: i) f(x) α za skoro svaki x G ii) B = k N Q k, gdje su Q k intervali s međusobno disjunktnim unutrašnjostima, takvi da je α Q k Q k f(x)dx α, k N. () Dokaz: Odaberimo L = l tako da je l f(x)dx α. R L (k+)l f(x)dx α za k Z. kl Iz toga imamo Uzmimo interval Q = [kl, (k +)L] i podijelimo ga na dva jednaka dijela, [kl, (k + )L] i [(k + )L, (k + )L]. Također odaberimo bilo koji od ta dva intervala i nazovimo ga Q, te neka je I Q = Q f(x)dx. Ako je sada Q I Q > α, stavimo Q u familiju intervala koji će sačinjavati skup B, jer je uistinu α < I Q Q f(x)dx = Q f(x)dx α. Q U suprotnom, ako je I Q < α, ponavljam dijeljenje, ako treba do ad infinitum. Učinimo to isto i za drugu polovicu intervala Q i za sve druge intervale [kl, (k + )L]. Na kraju ćemo imati prebrojivu familiju intervala koji zadovoljavaju jednadžbu (). Označimo njihovu uniju s B, a komplement s G. Iz konstrukcije skupa B znamo da za x / B postoji opadajući niz intervala Q, Q, Q 3,... takvih da je x Q n za svaki n i Q n Q n f(y)dy α. Zapravo, Q j = Q j i Q j Q j za svaki j >. Kako je funkcija f L, vrijedi da je skoro svuda ekivalentna s nekom neprekidnom funkcijom g, pa imamo da skoro svuda vrijedi sljedeće: f(y)dy f(x) f(y)dy f(x) dy Q n Q n Q n Q n Q n Q n f(y) f(x)dy Q n Q n f(y) f(x) dy Q n Q n f(y) f(x) dy Q n Q n Q 4

g(y) g(x) dy Q n Q n ɛ, gdje je zbog neprekidnosti funkcije g i zbog toga što se Q n steže do x, n takav da g(x) g(y) ɛ. Time smo pokazali da vrijedi Q n Q n f(y)dy f(x)(ss). Kako je lijeva strana manja od α to slijedi da je f(x) α(ss x G). Uočimo da nam izbor L = l daje da su svi intervali iz dokaza dijadski, odnosno oblika [k j, (k + ) j ] za k, j Z. Definicija Integralni operator (T f)(x) = K(x, y)f(y)dy je Calderón- Zygmundov ako integralna jezgra zadovoljava K(x, y) C i K(x, y) + x y x K(x, y) C, te definira ograničeni operator na L (R). y x y U dokazu sljedećeg teorema ćemo koristiti malo izmijenjenu definiciju distribucijske funkcije λ, to jest λ f (s) = µ{x M : f(x) s}. Teorem 5 Calderón-Zygmundov operator je ograničen s L (R) u L (R). Dokaz: Želimo ocijeniti λ T f (α). Napravimo prvo Calderón-Zygmund dekompoziciju za funkciju f i α, i definirajmo funkcije g i b { f(x), x G g(x) = Q k Q k f(y)dy, x Int(Q k ) b(x) = {, x G f(x) Q k Q k f(y)dy, x Int(Q k ). Stoga vrijedi f(x) = g(x) + b(x)(ss) odnosno T f = T g + T b. Slijedi dakle da je T f(x) α moguće samo ako je T g(x) α ili T b(x) α. Tada je ( α ) ( α ) λ T f (α) λ T g + λ T b. (3) Tvrdnja će dakle biti pokazana ako su oba člana s desne strane jednadžbe (3) ograničena s C f α L. Iz činjenice da je T ograničen operator na L znamo da je ( α ) λ T g ( α {x R: T ) T g(x) dx T g(x) = T g g(x) α } L C g L. 5 R (4)

Vrijedi i slijedeća nejednakost, gdje je u drugom retku korištena formula () g L = g(x) dx + g(x) dx G B α f(x) dx + Q k f(y)dy G Q k k Q k α f(x) dx + α f(y) dy G k Q k α f(x) dx = α f L, koja zajedno s nejednakosti (4) daje R λ T g ( α ) 8 α C f L. (5) Za svaki k N definirajmo intervale Q k tako da imaju isto središte kao i Q k i dvostruko veću duljinu, to jest Q k = [y k R k, y k + R k ] i Q k = [y k R k, y k + R k ]. Definirajmo nadalje i skupove B = k Q k i G = R \ B, tako da imamo B Q k = Q k f(x) dx α k k k Q k α f L, odnosno da vrijedi {x B : T b(x) α } B α f L. (6) Preostaje nam ocijeniti član {x G : T b(x) α} : α {x G : T b(x) α } T b(x) dx T b(x) dx. {x G : T b(x) α } G (7) Kako bismo ocijenili zadnji integral, moramo razdvojiti različite doprinose funkciji b. Definirajmo b k sa {, x / Qk b k (x) = f(x) Q k f(y)dy, x Int(Q k ). 6

Tada je b(x) = k b k(x)(ss), zato što se Q k ne preklapaju. Odmah slijedi T b = k T b k i T b(x) dx T b k (x) dx T b k (x) dx G k G k R\Q k = K(x, y)b k (y)dy dx k R\Q k Q k = [K(x, y) K(x, y k )]b k (y)dy dx k R\Q k Q k K(x, y) K(x, y k ) b k (y) dydx, Q k k R\Q k (8) gdje smo u predzadnjem retku slobodno mogli dodati član K(x, y k ), jer je y k Q k i Q k b k (y)dy =. Razliku K(x, y) K(x, y k ) možemo ocijeniti koristeći ogradu na parcijalnu derivaciju K funkcije K s obzirom na drugu varijablu i zamjenu varijabli x = y k + R k u, y = y k + R k v, u >, v u trećem retku računa: K(x, y) K(x, y k ) dx R\Q k R\Q k x y k R k = Rk v u > K(x, y k + t(y y k )) y y k dtdx C y y k (x y k ) t(y y k ) dtdx C R k u tv dtdu C. Dobivena konstanta C je neovisna o k, pa dobivena ocjena zajedno s nejednakosti (8) daje sljedeću nejednakost: T b(x) dx C b k (y) dy G k Q k C [ f(y) + ] f(x) dx dy k Q k Q k Q k C f(y) dy C f L, k Q k koja zajedno s nejednakostima (5), (6) i (7) dokazuje teorem. 7

Teorem 6 Calderón-Zygmundov operator je ograničen s L p (R) u L p (R), za p,. Dokaz: U prethodnom teoremu smo pokazali da je T ograničen s L u L,, a preko Marcinkiewiczevog teorema T se proširuje do ograničenog operatora s L p u L p, za < p. Želimo pokazati tvrdnju teorema i za p <, pa u tu svrhu koristimo adjungirani operator T operatora T definiran sa ( T f)(x)g(x)dx = f(x)(t g)(x)dx. Adjungiranom operatoru je pridružena integralna jezgra K(x, y) = K(y, x), koja također zadovoljava uvjete definicije Calderón-Zygmundovog operatora. Na L (R), T je adjungiran u L smislu, pa slijedi da je ograničen, odnosno T je Calderón-Zygmundov operator. Iz prethodnog teorema sada imamo da je T ograničen s L u L,, a onda iz Marcinkiewiczevog teorema slijedi da je ograničen s L p u L p, za < p. Budući, da je za + =, operator p T : L p L p adjungiran operatoru T : L L, vrijedi da je T ograničen za <. Teorem 7 Ako je ψ klase C, ψ(x), ψ (x) C( + x ) ɛ (9) i ψ j,k (x) = j ψ( j x k) je ortonormirana baza za L (R), tada je {ψ j,k : j, k Z} i bezuvjetna baza za svaki L p prostor, p,. Dokaz: Trebamo pokazati da ako je f = j,k c j,kψ j,k L p, da je onda i j,k ω j,kc j,k ψ j,k L p za svaki izbor ω j,k = ±. Iz svojstava (9) funkcije ψ lako slijedi da je ψ L p za p, i f = j,k c j,kψ j,k povlači da je c j,k = f(x)ψ j,k (x)dx zbog ortonormalnosti familije (ψ j,k ). Moramo dakle pokazati da je za svaki izbor ω j,k = ± operator T ω definiran s T ω f = j,k ω j,k (f, ψ j,k )ψ j,k ograničen operator s L p u L p. Nije teško vidjeti da je T ω ograničen s L u L, jer je T ω f L = j,k ω j,k (f, ψ j,k ) = j,k (f, ψ j,k ) = f. Sada će L p ograničenost slijediti iz teorema 6, ako uspijemo pokazati da je T ω Calderón-Zygmundov operator, a to slijedi iz slijedeće leme. 8

Lema Odaberimo ω j,k = ± i definirajmo K(x, y) = j,k ω j,kψ j,k (x)ψ j,k (y). Tada postoji C < tako da K(x, y) C x y i Dokaz: Najprije iz (9) vrijedi K(x, y) j,k x K(x, y) + y K(x, y) ψ j,k (x) ψ j,k (y) C x y. C j,k j ( + j x k ) ɛ ( + j y k ) ɛ. Odaberimo j Z tako da je j x y j+ i podijelimo sumu na dva dijela: j < j i j j. Možemo uočiti da je k (+ a k ) ɛ (+ b k ) ɛ uniformno ograničeno za sve a, b, jer je ( + a k ) ɛ ( + b k ) ɛ ( + a k ) ɛ k k sup ( + a k ) ɛ a k ( + l) ɛ <, i onda to iskoristimo da ocijenimo gornji dio sume: j ( + j x k ) ɛ ( + j y k ) ɛ C j=j k Za donji dio sume vrijedi sljedeće: j j j= k = j= j + j k 4 ɛ l= [( + j x k )( + j y k )] ɛ j= j + j k [( + j x k )( + j y k )] ɛ j=j j C j + 4C x y. [( + j x k )( + j y k )] ɛ. (3) 9

Odaberimo k Z tako da k j x+y k + i neka je l = k k. Tada je + j x k = + j x y ( l + j x + y ) k + j x y l, i na sličan način + j y k + j y x l. Zadnje dvije nejednakosti nam uz a = j x y, gdje je bez smanjenja općenitosti a i za m N, m a m+ daju: [( + j x k )( + j y k )] ɛ k l m [( + a + l )( + a l )] ɛ [( + (m + l ))( + ( l m ))] ɛ l= + + + m [( + (m l))( + (m + l))] ɛ l= m l=m+ [( + (l m ))( + (l + m))] ɛ m [ + (m l)] ɛ ( + m) ɛ l= l=m+ C( + a ) ɛ. [ + (l m )] ɛ ( + m) ɛ Dobivena nejednakost uz x y j + daje da je desna strana nejednakosti (3) manja ili jednaka: C j= j + j ( + j x y ) ɛ C čime je dokazano K(x, y) C x y. j = C j j j ( + j j j ) ɛ j ( + j ) ɛ j = C j C x y, 3

Koristeći istu tehniku iz x K(x, y) j,k j ψ ( j x k) ψ( j y k) C j,k j [( + j x k )( + j y k )] ɛ lako dobivamo x K(x, y) C x y, i na sličan način y K(x, y) C x y. Kada zbrojimo te dvije nejednakosti imamo traženu tvrdnju. 3.5 Karakterizacija funkcijskih prostora preko valića Budući da ψ j,k tvori bezuvjetnu bazu za L p (R) to postoji karakterizacija za funkcije f L p (R) koja koristi samo apsolutne vrijednosti koeficijenata iz rastava funkcije u našoj bazi. Točnije, za < p < imamo f L p (R) [ j,k [ j,k (f, ψ j,k ) ψ j,k (x) ] L p (R) ] (f, ψ j,k ) j χ [ j k, j (k+)](x) L p (R). Za dokaz tih ekvivalencija vidi Meyer []. Na sličan način možemo dobiti karakterizacije i za druge funkcijske prostore. Soboljevljevi prostori H s (R) su primjer gdje imamo potpunu karakterizaciju: Njihova karakterizacija je tada H s (R) = {f S (R) : λ s ˆf L (R)}. f H s (R) j,k (f, ψ j,k ) ( + js ) <. Drugi primjer koji ćemo ovdje obraditi su Hölderovi prostori C s (R), a definirat ćemo ih na sljedeći način. Za s, neka je C s (R) = { f L f(x + h) f(x) (R) : sup x,h h s a za s = n + s, s,, n N neka je C s (R) = { f L (R) C n (R) : 3 } <, d n dx n f Cs }.

U slučaju da je s prirodan broj nećemo imati klasične C n prostore funkcija koje su n puta neprekidno diferencijabilne, niti Lipshitzove prostore, već malo veće prostore. Umjesto prostora C imamo prostor Λ kojeg ćemo zvati Zygmundova klasa, a definiran je kao Λ = { f L (R) C f(x + h) + f(x h) f(x) (R) : sup x,h h dok umjesto prostora C n imamo prostore Λ n = {f L (R) C n (R) : d n dx n f Λ }. } <, Za Hölderove prostore imamo sljedeću karakterizaciju: Funkcija f L loc (R) je u prostoru C s (R)(za s / N) ili u prostoru Λ n (za s = n N) ako i samo ako postoji C < tako da (f, φ,k ) C, k Z (f, ψ j,k ) C j(s+ ), j, k Z. (3) Ovdje smo implicitno pretpostavili da je ψ C r, gdje je r > s, dok su uvjeti (3) karakterizirali globalnu regularnost. Za karakterizaciju lokalne regularnosti ćemo se poslužiti teoremom iz Jafard [3]. Radi jednostavnosti mi ćemo iskazati teorem za slučaj kada ψ ima kompaktan nosač i kada je klase C. Teorem 8 Ako je funkcija f Hölder neprekinuta u x s eksponentom α,, odnosno f(x) f(x ) C x x α, (3) tada je max k [ (f, ψ j,k) d(x, supp (ψ j,k )) α ] = O( ( +α)j ) (33) za j. Obratno, ako znamo da je f C ɛ za neki ɛ > i da vrijedi uvjet (33), tada je f(x) f(x ) C x x α log x x. (34) U teoremu nemamo ekvivalenciju uvjeta (33) i (3). Ocjena (34) je optimalna kao i uvjet f C ɛ. Ako je funkcija f samo neprekidna ili ako je izostavljen član sa logaritmom u (34) tada postoje kontraprimjeri, koji se mogu naći Ako a ( ili ), tada sa O(a) označavamo vrijednost koja je ograničena sa Ca, gdje je C konstanta. 3

u [3]. Uzrok neekvivalencije uvjeta (3) i (33) može biti postojanje manje regularne točke blizu točke x ili jake oscilacije funkcije f blizu točke x. Za primjere vidi []. Ako malo promijenimo uvjet (33) tada možemo zaobići navedene probleme, sa sljedećim teoremom u kojem ćemo opet imat funkciju ψ C s kompaktnim nosačem. Teorem 9 Definirajmo za ɛ > S(x, j; ɛ) = {k Z : supp (ψ j,k ) [x ɛ, x + ɛ] }. Ako je za neki ɛ > i α, max (f, ψ j,k) = O( j( +α) ), (35) k S(x, j;ɛ) tada je funkcija f Hölder neprekinuta u x s eksponentom α. Dokaz: Odaberimo bilo koji x [x ɛ, x +ɛ]. Budući da bilo koji od uvjeta ψ j,k (x) i ψ j,k (x ) povlači da je k S(x, j; ɛ), imamo sljedeće f(x) f(x ) = j,k = j Iz pretpostavke (35) slijedi da je f(x) f(x ) j (f, ψ j,k )[ψ j,k (x) ψ j,k (x )] k S(x,j;ɛ) C j( +α) (f, ψ j,k )[ψ j,k (x) ψ j,k (x )]. k S(x,j;ɛ) ψ j,k (x) ψ j,k (x ). Kako ψ ima kompaktan nosač znamo da broj k-ova za koje je ψ j,k (x) ili ψ j,k (x ), uniformno ograničen po j sa supp ψ +. Ta tvrdnja ima za posljedicu da je ψ j,k (x) ψ j,k (x ) C max ψ j,k (x) ψ j,k (x ) k k S(x,j;ɛ) Iz toga što je ψ ograničena i klase C imamo C j max ψ( j x k) ψ( j x k). k ψ( j x k) ψ( j x k) C 3 min(, j x x ). 33

Odaberimo sada j tako da je j x x j +. Tada je f(x) f(x ) C C C 3 [ j j= αj + j=j + αj j x x ] C 4 [ αj + (α )j x x ] C 5 x x α, čime je pokazan teorem. Napomenimo još da postoje slični teoremi i za prostore C α, gdje je α >. Nadalje, ako je α = (ili općenitije α N) tada zadnji korak prethodnog teorema propada, jer drugi red ne konvergira. Možemo izbjeći divergenciju ako upotrijebimo ocjenu (f, ψ j,k ) C za j. Kraj računa će izgledati ovako: f(x) f(x ) C C C 3 [ j j= α j + C 4 [ αj + j x x + 3 C 5 x x ln x x. j=j αj j x x + 3 x x ] j= ] 3j x x To je razlog zašto moramo biti pažljiviji kad imamo α N i zbog čega uvodimo Zygmundovu klasu. U ostatku ovog poglavlja ćemo ilustrirati teorem na primjeru, gdje ćemo vidjeti da katkad trebamo testirati za velike j kako bismo dobili zadovoljavajući rezultat. Funkcija koju ćemo proučavati je sljedeća: e x a x a f(x) = e x a a x a + e (x a) [(x a ) + ] x a +. Graf funkcije f je prikazan na slici 4, uz koeficijent a =. Funkcija f ima Hölderove eksponente,, u točkama x = a, a, a + tim redosljedom, dok je na ostatku domene klase C. Program kojim ćemo implementirati naše rješenje će računati A j malo drugačije definirane, to jest A j = max{ (f, ψ j,k ) : x supp (ψ j,k )}. Također će crtati točke (j, log A j ) za j = 3,...,. Tako dobivene točke bi log trebale ležati na istom pravcu, pa ćemo taj pravac aproksimirati metodom najmanjih kvadrata. Iz tako dobivenog nagiba pravca, možemo izračunati Hölderov eksponent α u točki x. Ako je a = tada dobivene točke leže na istom pravcu s prilično velikom točnosti. Koeficijenti nagiba tih pravaca će biti približno, 3, 5, ovisno o točki u kojoj se računa. Razvoj u ortonormiranoj 34

.8.6.4. -3 - - 3 Slika 4: Funkcija je klase C osim u točkama x =,,, gdje funkcije f, f, f tim redosljedom imaju prekide. bazi valića nije invarijantan na translacije, pa dijadski razlomci, a pogotovo, igraju važnu ulogu u odnosu na dijadsku mrežu { j k : j, k Z} centara naših valića. Ilustrirat ćemo to odabirom različitih vrijednosti parametra a. Za a = imamo drugačije vrijednosti A 8 j, ali su još uvijek dobro poredani na pravcu i s dobrom aproksimacijom eksponenta α. Odabirom koeficijenta a tako da je iracionalan broj, dobivamo najlošije rezultate. Sve je to pokazano na slici 5, za točke x = a, a, a + i koeficijente a =,,. Za 8 8 a = je pogreška aproksimacije koeficijenta α + u sve tri točke manja od, 98%. Za a = prve 4 točke, ne leže baš najbolje na pravcu. Metodu 8 najmanjih kvadrata smo stoga radili samo kroz zadnje 4 točke, i tako dobivene aproksimacije su unutar, 3%, dok bi inače bile puno veće. Za odabir a = ne može se vidjeti poravnanje točaka u točki prekida 8 a. U njoj bismo trebali računati za drugi raspon j-ova. Uz isti a, ali za točku a, metoda najmanjih kvadarata za zadnje 4 točke daje aprosimaciju unutar 8, 64%. Moguća je i još bolja aprokismacija, ali tada bismo izbacili i točku j =. U x = a +, gdje je funkcija f Lipshitzova aproksimacija je unutar, 8%. Sve to ilustrira činjenicu da je za određivanje lokalne regularnosti funkcije puno korisnije koristiti preobilne familije valića, jer je tu neinvarijantnost na translacije puno manje izražena, ili je uopće nema kao na primjer kod neprebrojivih familija (vidi [9] i []). Program kojim sam računao tražene koeficijente je napisan u Maple 7.. Samu konstrukciju Daubechiesovog valića nisam izvodio, već sam se poslužio gotovim paketom koji se može naći na web stranici http://www.mapleapps. com/categories/engineering/engmathematics/worksheets/. Kod programa se nalazi u dodatku A. 35

8.5 5.5 6 6.5 (α + ) =.4977 a = 7 7.5 8 3 4 5 6 7 8 9 8 (α + ) =.4868 a = 4 6 3 4 5 6 7 8 9 4 6 8 (α + ) =.4539 a = 4 6 8 3 4 5 6 7 8 9 5 5.5 6 6.5 (α + ) =.49875 a = 8 6 a =.375 7 7 7.5 8 8 8.5 3 4 5 6 7 8 9 9 3 4 5 6 7 8 9 8 8 (α + ) =.498 a = 8 (α + ) =.3736 a =.375 4 4 6 6 3 4 5 6 7 8 9 3 4 5 6 7 8 9 4 6 8 (α + ) =.4494 a = 8 4 6 8 (α + ) =.4547 a =.375 4 4 6 6 8 3 4 5 6 7 8 9 8 3 4 5 6 7 8 9 Slika 5: Grafovi ocjena Hölderovih koeficijenata funkcije sa slike 4 u točkama a (gornji), a(srednji), a + (donji). Za različite vrijednosti koeficijenta a. 36

3.6 Valići za L ([, ]) Budući da L prostori nemaju bezuvjetne baze, niti valići je ne mogu tvoriti. Međutim, u ovom poglavlju ćemo ipak konstruirati bazu koja će u nekim elementima biti bolja od Fourierove. Prvo ćemo uvesti periodizirane valiće. Uz zadanu višerezolucijsku analizu zajedno sa skalirajućom funkcijom φ i valićem ψ koji imaju dobar pad (recimo φ(x), ψ(x) C( + x ) ɛ ) možemo definirati periodizirane valiće s φ per j,k (x) = φ j,k (x + l), l Z ψ per j,k (x) = ψ j,k (x + l), l Z i pripadne prostore s V per j = Span{φ per j,k : k Z}, W per j = Span{ψ per j,k : k Z}. Kako φ( k) čini ortonormiranu bazu vrijedi c n = = c n+, (36) n n i φ(x)dx =, dok iz leme vidimo da je l Z φ(x + l) = C, a to nam dalje daje = = φ(x)dx = l φ(x + l)dx = l+ l l φ(x)dx = l Cdx = C, φ(x + l)dx odnosno l Z φ(x + l) =. Nadalje, slijedi da za j je φper j,k (x) = j l Z φ( j x k+ j l) = j, odnosno prostori V per j su identični jednodimenzionalni prostori koji sadrže samo konstantne funkcije. Također, pokažimo sljedeće uz zamjenu varijabli k = l n, m = n + i upotrebu identiteta hm = h m+ (kojeg imamo iz uvjeta (36) i toga što je h n = c n ): ψ(x + l ) = l l ( ) n h n+ φ(x + l n) n = k,m( ) m+ h m φ(x + k) =. Stoga imamo W per j = {} za j. Očito je i da je V per j je naslijeđeno iz neperiodiziranih prostora. Štoviše, W per j 37, W per j V per j, što je ortogonalan na