Weighted function spaces and traces onfractalsDissertationzur Erlangung des akademischen Gradesdoctor rerum naturalium (Dr. rer. nat.)vorgelegt dem Rat derFakult¨at fu¨r Mathematik und Informatikder Friedrich-Schiller-Universit¨at Jenavon Dipl.-Math. Iwona Piotrowskageboren am 06. Juni 1980 in Cz luch´owGutachter1. PD Dr. Dorothee D. Haroske2. Prof. Dr. Hans Triebel3. Prof. Dr. Miroslav KrebecTag der letzten Pru¨fung des Rigorosums: 23.10.2006Tag der o¨ffentlichen Verteidigung: 03.11.2006AcknowledgementsFirst of all I wish to express my deepest appreciation to my supervisor PD Dr.Dorothee D. Haroske. I am greatly indebted to her for many stimulating conversa-tions, suggestions and remarks. I also would like to thank Prof. Dr. Hans Triebelfor the helpful discussions and suggestions. I thank Prof. Dr. Miroslav Krbec, PDDr. Dorothee D. Haroske and Prof. Dr. Hans Triebel for kindly agreeing to serveas referee for this thesis. I also thank Mariusz Piotrowski for his permanent supportand remarks. Further, I thank the following individuals for useful discussions andcomments: Jan Schneider and Steffen Winter.Finally, I wish to thank the Junior Research Team ”Fractal Analysis” for financialsupport.Contents1 Introduction 102 Preliminaries 132.1 Notation and conventions . . . . . . . . . . . . . . . . . . . . . . . . 132.2 Classical function spaces . . . . . . . . . . . . . . . . . . . . . . . . . 152.3 Muckenhoupt weights . . . . . . . . . . . . . . . . .
Dissertation zur Erlangung des akademischen Grades doctor rerum naturalium (Dr. rer. nat.)
vorgelegt dem Rat der Fakult¨atf¨urMathematikundInformatik derFriedrich-Schiller-Universita¨tJena
von Dipl -Math. Iwona Piotrowska . geborenam06.Juni1980inCzlucho´w
on
Gutachter
1. PD Dr. Dorothee D. Haroske 2. Prof. Dr. Hans Triebel 3. Prof. Dr. Miroslav Krebec
TagderletztenPr¨ufungdesRigorosums:23.10.2006
Tag der offentlichen Verteidigung: ¨
03.11.2006
Acknowledgements
First of all I wish to express my deepest appreciation to my supervisor PD Dr. Dorothee D. Haroske. I am greatly indebted to her for many stimulating conversa-tions, suggestions and remarks. I also would like to thank Prof. Dr. Hans Triebel for the helpful discussions and suggestions. I thank Prof. Dr. Miroslav Krbec, PD Dr. Dorothee D. Haroske and Prof. Dr. Hans Triebel for kindly agreeing to serve as referee for this thesis. I also thank Mariusz Piotrowski for his permanent support and remarks. Further, I thank the following individuals for useful discussions and comments: Jan Schneider and Steffen Winter. Finally, I wish to thank the Junior Research support.
Team ”Fractal Analysis” for financial
Contents
1
2
3
4
5
6
Introduction
Preliminaries 2.1 Notation and conventions 2.2 Classical function spaces . 2.3 Muckenhoupt weights . .
DaswesentlicheThemainderallgemeinenTheoriederFunktionenr¨aumederver-gangenenJahrzehnteistdieUntersuchungderZusammenh¨angezwischenFunk-tionenra¨umen,FourieranalysisundSpektraltheorievonDifferentialoperatorenund in letzter Zeit auch zur Fraktalen Geometie. Wir benutzen in unserer Arbeit sowohl fundamentaleIdeenausderTheoriederFunktionenra¨umealsauchMethodender FraktalenGeometrie,umdieZusammenh¨angezwischenFraktalenundgewichteten n Funktionenr¨aumenvomBesov-undTriebel-Lizorkin-Typ,bezeichnetmitBspq(R, w) bzw.Fspq(Rn, w), zu studieren. In der gesamten Arbeit werden wir Gewichtsfunk-tionen betrachten, welche zu einer Muckenhoupt KlasseApmit 1< p <∞ghe.no¨er Eine positive Funktionw∈Lcol1(Rn) heißtAp-Gewicht, falls eine positive Konstante A >0 existiert, so dass |1B|ZBw(x)dx1p|1B|ZBw(x)−p′pdx1p′≤A,
wobeiBeine beliebige Kugel inRnund|B|ihr Lebesgue-Maß ist. Klasse DieApvon Gewichten wurde vonB. Muckenhoupt¨fegnie]zrE.trhudae,gteissin[Muc72a dieAp-GewichtewuaidgneigenejenchteGewioo-dltweL-tiraydderHrdie,f¨usind Maximaloperator M f(x) = sBu∋px|B1|ZB |f(y)|dy, x∈Rn
vonLp(Rn, w) nachLp(Rn, wafmuness.tsieniEr¨chktanes)bsretedaDdgrellnu Muckenhoupt-Gewichte kann man in dem Buch vonJ. Garcia-CuervaundJ. L. Rubio de Francia systematisches Studium der Besov- und[GR85] finden. Ein Triebel-Lizorkin-Ra¨umemitMuckenhoupt-GewichtenwurdeindenArbeitenvonH. Q. Bui die Beziehung zwischen Fraktaler Geometrie und der The-begonnen. Um
Zusammenfassung
oriederFunktione¨ebesserzuverstehen,fu¨hrenwirdiespezielleGewichts-nraum funktionwΓκMnßaeiieedAn¨frundzwbstaeneiischbegegmenknuPnenetnid,e x∈RnnduktrarfdelaneeMgnΓesi.t¨MoglicheKandidateu¨fnarfrlatkneMe-gen Γ sind dabeid-Mengen und ihre Verallgemeinerungen, die (d,Ψ)-Mengen. Ein Ziel unserer Arbeit ist es, die Interaktion zwischen der Struktur der Fraktale und der Glattheit der Grundfunktionen mittels geeigneter GewichtsfunktionwΓκzu un-tersuchen.EinweiteresZielist,eineatomareZerlegungf¨urgewichteteFunktio-nenr¨aumemitMuckenhoupt-Gewichtenanzugeben,diefu¨rdenallgemeinenFallbe-wiesen werden. InderTheoriederFunktionenra¨umesindvieleandereKlassenvonGewichtsfunk-tionen betrachtet worden. Eine der interessantesten Klassen bilden z.B. die soge-nannten”zula¨ssigenGewichte”(admissibleweights).Wirverweisenauf[Tri78]und [SchT87]fu¨rweitereInformationen. In Kapitel 2 wiederholen wir grundlegende Definitionen, legen die Notation fest und stellen die Konzepte vor. Insbesondere definieren wir die klassischen Besov- und Triebel-Lizorkin-R¨aumeundstelleneinigeErgebnissebereit.Abschnitt2.3dient derEinf¨uhrungunddemStudiumderMuckenhoupt-Gewichte.Außerdemfu¨hren wir die GewichtsfunktionwκΓ(x) = dist(x,Γ)κin der Umgebung von Γ ein, wobei Γ eined-Menge mit 0< d < nist und studieren ihre Eigenschaften. Das Hauptergebnis dieses Kapitels besagt, dass eine FunktionwΓκgenau dann zur Muckenhoupt-Klasse Aregnnw,tro¨he−(n−d)<κ<(n−d)(r−1) gilt. DasdritteKapitelwidmetsichdematomarenZerlegungstheoremf¨urgewichtete Besov-undTriebel-Lizorkin-R¨aume.Wirzeigen,dassjedeDistributionf∈ S′(Rn), die Element eines Besov-RaumesBpqs(Rn, wκΓ) oder eines entsprechenden Triebel-Li-zorkin-RaumesFqps(Rn, wΓκ) ist, sich als
∞ f(x) =X Xλνmaνm(x), ν=0m∈Zn
Konvergenz in
S′(Rn),
darstellenl¨asst,wobeiaνm(x) sogenannte Atome undλνm Des-Koeffizienten sind. weiteren zeigen wir, dass eine Funktionfzu einem Funktionenraum genau dann geh¨ort,wenndieFolgederkomplexenZahlen(λνm) zum entsprechenden Folgen-raumgeho¨rt.DieErgebnissedeszweitenunddrittenKapitelsbasierenaufeiner Zusammenarbeit mitD. D. HaroskenusdnidzurVer¨offentlicegnagnuhnemmon (siehe [HP]).
7
Zusammenfassung
In Kapitel 4 wenden wir das atomare Zerlegungstheorem an, um die Spur von gewichtetenBesov-undTriebel-Lizorkin-R¨aumenaufd-Mengen zu berechnen. Das Spurproblemfu¨rklassischeBesov-undTriebel-Lizorkin-Ra¨umeistinderLiteratur ausf¨uhrlichdiskutiertworden.WirverweisenbesonderesaufdieArbeitenvonH. Triebel[Tri78] undB. Jawerth Problem der Spurcharakterisierung[Jaw77]. Das auf Fraktalen ist erst in der letzten Zeit interessant geworden. Die bisher wichtigsten Ergebnisse dieser Entwicklung sind in [Tri97, Kapitel 18] zusammengefasst. Unser Hauptergebnis ist das Folgende. Sei trΓor,wie¨ublichdefiinre¨tburedpSreporutare punktweiseEinschra¨nkungglatterFunktionenaufΓundderenVervollsta¨ndigung. Danngiltfu¨rκ>−(n−d)
κ+n−d trΓBppmin(p1p)(Rn, wκΓ) =Lp(Γ),
0< p <∞,
wobei wir die Elemente vonLp(Γ) als temperierte Distributionen aufRnverstehen. Dieses Ergebnis wurde von einem Resultat vonH. Triebelru¨fthcinnedgewichteten Fall(siehe[Tri97,Kapitel18])inspiriert.WirbeweisenfolgendesResultatf¨urF-Ra¨ume(sieheTheorem4.11):
Die Ergebnisse des vierten Kapitels sind in der Arbeit [Pio] zussamengestellt und zurVer¨offentlichungangenomen.InKapitel5verallgemeinernwirdieResultatedes vorherigenKapitels,indemwirdieSpurengewichteterR¨aumeauf(d,Ψ)-Mengen berechnen.