Satz von Young (Fourier-Koeffizienten)

Der Satz von Young über Fourier-Koeffizienten ist ein klassischer Lehrsatz des mathematischen Teilgebiets der Harmonischen Analyse. Er geht auf den englischen Mathematiker William Henry Young zurück und behandelt die Frage, welche Nullfolgen als Folgen von Fourier-Koeffizienten Lebesgue-integrierbarer reeller Funktionen auftreten. Wie der Mathematiker Jürgen Elstrodt in seinem Lehrbuch Maß- und Integrationstheorie anmerkt, gilt diese Frage als ein schwieriges Problem in der Theorie der Fourier-Reihen. Der erwähnte Satz sei einer der schönsten Sätze von Young.

Formulierung des Satzes

Der Satz lässt sich folgendermaßen formulieren :

Ist $\left(a_{n}\right)_{n=1,2,3,\ldots }$ eine Folge positiver reeller Zahlen, welche sowohl eine Nullfolge als auch eine konvexe Folge ist,

so ist die daraus gebildete Reihe $\sum _{n=1}^{\infty }{\bigl (}a_{n}\cos {nt}{\bigr )}$ eine Fourierreihe.

Im Einzelnen gilt:

Es gibt eine Lebesgue-integrierbare gerade Funktion $f\colon [-\pi ,\pi ]\to \mathbb {R}$ derart, dass für $n=1,2,3,\ldots$ stets der Gleichung $a_{n}={\frac {1}{\pi }}\int _{-\pi }^{\pi }{\bigl (}f(t)\cos {nt}{\bigr )}\mathrm {d} t$ erfüllt ist.

Erläuterungen

• In der Folgenlehre benutzt man einen Delta-Operator, welcher so wirkt, dass durch ihn einer Folge $\left(z_{n}\right)_{n=1,2,3,\ldots }$ von reellen Zahlen (bzw. einer Folge von komplexen Zahlen oder allgemeiner einer Folge in einer abelschen Gruppe) die Folge der sukzessiven Differenzen zugeordnet wird. Dabei geht $\left(z_{n}\right)_{n=1,2,3,\ldots }$ in die neue Folge $\left(\Delta {z_{n}}\right)_{n=1,2,3,\ldots }=\left(z_{n}-z_{n+1}\right)_{n=1,2,3,\ldots }$ über.
• Die zweifache Anwendung des Delta-Operators auf die Folge $\left(z_{n}\right)_{n=1,2,3,\ldots }$ ergibt die weitere Folge $\left({\Delta }^{2}{z_{n}}\right)_{n=1,2,3,\ldots }=\left(z_{n}-2z_{n+1}+z_{n+2}\right)_{n=1,2,3,\ldots }$.
• Man nennt eine Folge reeller Zahlen eine konvexe Folge, wenn für $n=1,2,3,\ldots$ stets die Ungleichung ${\Delta }^{2}{z_{n}}\geq 0$ erfüllt ist.
• Die genannte Konvexitätsbedingung bedeutet, dass für $n=1,2,3,\ldots$ stets die Ungleichung $z_{n+1}\leq {\frac {z_{n}+z_{n+2}}{2}}$ besteht.

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie (= Springer-Lehrbuch - Grundwissen Mathematik). 7., korrigierte und aktualisierte Auflage. Springer-Verlag, Heidelberg (u.   a.) 2011, ISBN 978-3-642-17904-4. 
• Živorad Tomovski: Convergence and integrability for some classes of trigonometric series. In: Dissertationes Mathematicae (Rozprawy Matematyczne). Band 420, 2003 (MR2030824). 
• Antoni Zygmund: Trigonometric Series. Volumes I and II. Reprinting of the 1968 Version of the Second Edition. 2. Auflage. Cambridge University Press, Cambridge, London, New York, Melbourne 1977, ISBN 0-521-07477-0 (MR0617944).