Der Satz von Wiener (englisch Wiener’s ${\displaystyle 1/f}$ theorem oder Wiener’s theorem) ist ein klassischer mathematischer Lehrsatz, der im Übergangsfeld zwischen den Gebieten der Harmonischen Analyse und der Funktionalanalysis angesiedelt ist. Er geht auf eine Arbeit des US-amerikanischen Mathematikers Norbert Wiener aus dem Jahre 1932 zurück und behandelt die Frage der Reihenentwicklungsfähigkeit von Kehrwerten gewisser Fourier-Reihen.

Formulierung des Satzes

Gemäß der Darstellung des US-amerikanischen Mathematikers Sterling K. Berberian lässt sich der Satz von Wiener folgendermaßen formulieren:

Der Kehrwert einer nichtverschwindenden, absolut konvergenten trigonometrischen Reihe ist stets selbst eine absolut konvergente trigonometrische Reihe.

Es gilt also mit anderen Worten:

Ist ${\displaystyle \left(a_{n}\right)_{n\in \mathbb {Z} }}$ eine Folge von komplexen Zahlen mit

${\displaystyle \sum _{n=-\infty }^{\infty }|a_{n}|<\infty }$

und besitzt die durch

${\displaystyle f(t)=\sum _{n=-\infty }^{\infty }a_{n}e^{int}\;(t\in \mathbb {R} )}$

definierte komplexwertige Funktion ${\displaystyle f\colon \mathbb {R} \to \mathbb {C} }$ keine Nullstelle, so existiert eine Folge ${\displaystyle \left(b_{n}\right)_{n\in \mathbb {Z} }}$ komplexer Zahlen, so dass

${\displaystyle \sum _{n=-\infty }^{\infty }|b_{n}|<\infty }$

gilt und zugleich die mittels Kehrwertbildung entstehende Funktion ${\displaystyle g\colon \mathbb {R} \to \mathbb {C} \;,\;t\mapsto g(t)={\frac {1}{f(t)}}\;(t\in \mathbb {R} )}$ in der Form

${\displaystyle g(t)=\sum _{n=-\infty }^{\infty }b_{n}e^{int}\;(t\in \mathbb {R} )}$

darstellbar ist.

Zu Hintergrund und Beweis

Sterling K. Berberian vollzieht in seinem Lehrbuch Lectures in Functional Analysis and Operator Theory den Beweis von I. M. Gel'fand aus dem Jahre 1941 nach und hebt in diesem Zusammenhang hervor, dass dieser Beweis Gel'fands einen frühen Triumph der funktionalanalytischen Betrachtungsweise („early triumph of the functional-analytic point of view“) darstelle. Daneben gibt es zahlreiche weitere Beweise, darunter auch einen elementaren Beweis von Donald Joseph Newman (1930–2007). Der Wienersche Satz ergibt sich ebenfalls als Korollar aus weiterreichenden Sätzen der Theorie der kommutativen Banachalgebren.

Literatur

• Sterling K. Berberian: Lectures in Functional Analysis and Operator Theory (= Graduate Texts in Mathematics. Band 15). Springer Verlag, New York / Heidelberg / Berlin 1974, ISBN 0-387-90080-2 (MR0417727). 
• I. M. Gel'fand: Über absolut konvergente trigonometrische Reihen und Integrale. In: Matematitscheskii sbornik (N.S.). Band 9 (51), 1941, S. 51–66 (MR0004727). 
• M. A. Neumark: Normierte Algebren. Verlag Harri Deutsch, Thun / Frankfurt/Main 1990, ISBN 3-8171-1001-4 (MR1038909). 
• D. J. Newman: A simple proof of Wiener’s 1/f theorem. In: Proceedings of the American Mathematical Society. Band 48, 1975, S. 264–265 (MR0365002). 
• Norbert Wiener: Tauberian Theorems. In: Annals of Mathematics. Band 33 (2), 1932, S. 1–100 (MR1503035). 
• Kōsaku Yosida: Functional Analysis (= Grundlehren der mathematischen Wissenschaften. Band 123). 6. Auflage. Springer Verlag, New York / Heidelberg / Berlin 1980, ISBN 3-540-10210-8. 

Einzelnachweise

1. ↑ Norbert Wiener: Tauberian theorems. In: Ann. of Math., 33 (2), S. 1–100
2. ↑ Sterling K. Berberian: Lectures in Functional Analysis and Operator Theory. 1974, S. 1 ff, S. 267 ff
3. 1 2 M. A. Neumark: Normierte Algebren. 1990, S. 221
4. 1 2 Kōsaku Yosida: Functional Analysis. 1980, S. 301
5. ↑ Berberian, op. cit., S. 1
6. ↑ Berberian, op. cit., S. 1–10
7. ↑ D. J. Newman: A simple proof of Wiener’s 1/f theorem. In: Proc. Amer. Math. Soc., 48, S. 264–265
8. ↑ Berberian, op. cit., S. 267–269
9. ↑ russisch Математический сборник