Littlewood-Paley-Theorie

Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion! (Artikel eintragen)

Die Littlewood-Paley-Theorie beschreibt in der harmonischen Analysis, einem Teilgebiet der Mathematik, das Erweitern von gewissen Resultaten über $L^{2}$-Funktionen auf $L^{p}$-Funktionen für $1<p<\infty$. Sie wird normalerweise als Ersatz für Orthogonalitätsargumente verwendet, die für $L^{p}$-Funktionen nur gelten, wenn $p=2$ ist. Eine Implementierung besteht darin, eine Funktion zu untersuchen, indem sie in Funktionen mit lokalisierten Frequenzen zerlegt wird, und die Littlewood-Paley-$g$-Funktion zu verwenden, um sie mit ihrem Poisson-Integral zu vergleichen. Der 1-Variablen-Fall wurde von J. E. Littlewood und R. Paley entwickelt und von den polnischen Mathematikern A. Zygmund und J. Marcinkiewicz in den 1930er Jahren unter Verwendung der Theorie komplexer Funktionen weiterentwickelt. E. M. Stein erweiterte die Theorie später auf höhere Dimensionen unter Verwendung von Techniken für reelle Variablen.

Die dyadische Zerlegung einer Funktion

Die Littlewood-Paley-Theorie verwendet eine Zerlegung einer Funktion $f$ in eine Summe von Funktionen $f_{\rho }$ mit lokalisierten Frequenzen. Es gibt mehrere Möglichkeiten, eine solche Zerlegung zu konstruieren; eine typische Methode ist die folgende.

Wenn $f$ eine Funktion auf $\mathbb {R}$ ist und $\rho$ eine messbare Menge (im Frequenzraum) mit charakteristischer Funktion $\chi _{\rho }(\xi )$ ist, dann ist $f_{\rho }$ über seine Fouriertransformation definiert:

${\hat {f}}_{\rho }:=\chi _{\rho }{\hat {f}}$

Heuristisch gesehen, ist $f_{\rho }$ der Teil von $f$, dessen Frequenzen in $\rho$ liegen.

Wenn $\Delta$ eine Sammlung von messbaren Mengen ist, die (bis auf Maß 0) disjunkt sind und eine Vereinigung auf der reellen Linie haben, dann kann eine wohlverhaltende Funktion $f$ als eine Summe von Funktionen $f_{\rho }$ für $\rho \in \Delta$ geschrieben werden.

Wenn $\Delta$ aus den Mengen der Form

$\rho =[-2^{k+1},-2^{k}]\cup [2^{k},2^{k+1}].$

für $k$ eine ganze Zahl, ergibt dies eine sogenannte „dyadische Zerlegung“ $\textstyle f=\sum _{\rho }f_{\rho }$.

Es gibt viele Variationen dieser Konstruktion; zum Beispiel kann die charakteristische Funktion einer Menge, die in der Definition von $f_{\rho }$ verwendet wird, durch eine glattere Funktion ersetzt werden.

Eine wichtige Anwendung der Littlewood-Paley-Theorie ist das Littlewood-Paley-Theorem, das die Größe der Funktionen $f_{\rho }$ in Abhängigkeit der Größe von $f$ beschränkt. Es gibt viele Versionen dieses Theorems, die den verschiedenen Möglichkeiten der Zerlegung von $f$ entsprechen. Eine typische Abschätzung ist die Begrenzung der $L^{p}$-Norm von $\textstyle (\sum _{\rho }|f_{\rho }|^{2})^{1/2}$ durch ein Vielfaches der $L^{p}$-Norm von $f$.

In höheren Dimensionen ist es möglich, diese Konstruktion zu verallgemeinern, indem man Intervalle durch Rechtecke mit zu den Koordinatenachsen parallelen Seiten ersetzt. Leider handelt es sich dabei um recht spezielle Mengen, was die Anwendungen auf höhere Dimensionen beschränkt.

Die Littlewood–Paley-g-Funktion

Die $g$-Funktion ist ein nichtlinearer Operator auf $L^{p}(\mathbb {R} ^{n})$, der zur Kontrolle der $L^{p}$-Norm einer Funktion $f$ in Form ihres Poisson-Integrals verwendet werden kann. Das Poisson-Integral $u(x,y)$ von $f$ ist für $y>0$ definiert durch

$u(x,y)=\int _{\mathbb {R} ^{n}}P_{y}(t)f(x-t)\,dt$,

wobei der Poisson-Kern in der oberen Hälfte $\{(y;x)\in \mathbf {R} ^{n+1}\mid y>0\}$ durch

$P_{y}(x)=\int _{\mathbb {R} ^{n}}e^{-2\pi it\cdot x-2\pi |t|y}\,dt={\frac {\Gamma ((n+1)/2)}{\pi ^{(n+1)/2}}}{\frac {y}{(|x|^{2}+y^{2})^{(n+1)/2}}}.$

gegeben ist. Die Littlewood–Paley-$g$-Funktion $g(f)$ ist definiert durch

$g(f)(x)=\left(\int _{0}^{\infty }|\nabla u(x,y)|^{2}y\,dy\right)^{1/2}.$

Eine grundlegende Eigenschaft von $g$ ist, dass es die Normen annähernd bewahrt. Genauer gesagt, für $1<p<\infty$ ist das Verhältnis der $L^{p}$-Normen von $f$ und $g(f)$ nach oben und unten durch feste positive Konstanten begrenzt, die von $n$ und $p$, aber nicht von $f$ abhängen.

Anwendungen

Eine frühe Anwendung der Littlewood-Paley-Theorie war der Beweis, dass die Folge $S_{n_{j}}$ fast überall konvergiert, wenn $S_{n}$ die Partialsummen der Fourier-Reihen einer periodischen $L^{p}$-Funktion ($p>1$) sind und $n_{j}$ eine Folge ist, die $n_{j+1}/n_{j}>q$ für ein festes $q>1$ erfüllt. Dies wurde später durch das Carleson-Hunt-Theorem verbessert, das zeigt, dass $S_{n}$ selbst fast überall konvergiert.

Die Littlewood-Paley-Theorie kann auch zum Beweis des Multiplikatorsatzes von Marcinkiewicz verwendet werden.

Literatur

• Coifman, R. R.; Weiss, Guido (1978), "Book Review: Littlewood-Paley and multiplier theory", Bulletin of the American Mathematical Society, 84 (2): 242–250, doi:10.1090/S0002-9904-1978-14464-4, ISSN 0002-9904, MR 1567040
• Edwards, R. E.; Gaudry, G. I. (1977), Littlewood-Paley and multiplier theory, Berlin, New York: Springer-Verlag, ISBN 978-3-540-07726-8, MR 0618663

• Frazier, Michael; Jawerth, Björn; Weiss, Guido (1991), Littlewood-Paley theory and the study of function spaces, CBMS Regional Conference Series in Mathematics, 79, Published for the Conference Board of the Mathematical Sciences, Washington, DC, doi:10.1090/cbms/079, ISBN 978-0-8218-0731-6, MR 1107300
• Stein, Elias M. (1970), Topics in harmonic analysis related to the Littlewood-Paley theory., Annals of Mathematics Studies, No. 63, Princeton University Press, MR 0252961
• Zygmund, A. (2002) [1935], Trigonometric series. Vol. I, II, Cambridge Mathematical Library (3rd ed.), Cambridge University Press, ISBN 978-0-521-89053-3, MR 1963498