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.^[1]^[2]

Formulierung des Satzes

Der Satz lässt sich folgendermaßen formulieren:^[1]

Ist ${(a_{n})}_{n = 1, 2, 3, \dots}$ eine konvexe Nullfolge positiver reeller Zahlen,

so ist die daraus gebildete Reihe $\sum_{n = 1}^{\infty} (a_{n} \cos n t)$ die Fourierreihe einer Lebesgue-integrierbaren geraden Funktion,

d.h., es gibt eine Lebesgue-integrierbare gerade Funktion $f : [- π, π] \to ℝ$ derart,

dass für $n = 1, 2, 3, \dots$ stets die Gleichung $a_{n} = \frac{1}{π} \int_{- π}^{π} (f (t) \cos n t) d t$ erfüllt ist.

In der Folgenlehre benutzt man einen Delta-Operator, welcher so wirkt, dass durch ihn einer Folge ${(z_{n})}_{n = 1, 2, 3, \dots}$ 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 ${(z_{n})}_{n = 1, 2, 3, \dots}$ in die neue Folge ${(Δ z_{n})}_{n = 1, 2, 3, \dots} = {(z_{n} - z_{n + 1})}_{n = 1, 2, 3, \dots}$ über.
Die zweifache Anwendung des Delta-Operators auf die Folge ${(z_{n})}_{n = 1, 2, 3, \dots}$ ergibt die weitere Folge ${(Δ^{2} z_{n})}_{n = 1, 2, 3, \dots} = {(z_{n} - 2 z_{n + 1} + z_{n + 2})}_{n = 1, 2, 3, \dots}$ .
Man nennt eine Folge reeller Zahlen eine konvexe Folge, wenn für $n = 1, 2, 3, \dots$ stets die Ungleichung $Δ^{2} z_{n} \geq 0$ erfüllt ist.^[3]
Die genannte Konvexitätsbedingung bedeutet, dass für $n = 1, 2, 3, \dots$ stets die Ungleichung $z_{n + 1} \leq \frac{z_{n} + z_{n + 2}}{2}$ besteht.

↑ ^1,0 ^1,1 Jürgen Elstrodt: Maß- und Integrationstheorie. 2011, S. 138
↑ Živorad Tomovski: Convergence and integrability for some classes of trigonometric series., Dissertationes Mathematicae 420, S. 1 ff, S. 6
↑ Antoni Zygmund: Trigonometric Series. Vol. I. 1977, S. 93 ff