Fourier coefficients of bounded functions. (Q2580141)

1) Verf. beweist zunächst Ungleichungen zwischen den Fourierkoeffizienten beschränkter Funktionen, die insofern besonders bemerkenswert sind, als sie jeweils bestmögliche Abschätzungen für die betreffenden Koeffizienten darstellen: Ist für die mit \(2\pi\) periodische, summierbare Funktion \(f(x)\) durchweg \(|f(x)|\leqq 1\), und ist \[ f(x)\sim\dfrac{a_0}{2} + \sum\limits_{n=1}^\infty (a_n\,\cos\, nx + b_n\,\sin\,nx) \] ihre Fourierreihe, so gilt stets \[ a_n^2 + b_n^2\leqq\left(\dfrac{4}{\pi}\right)^2, \] ferner z. B. \[ \dfrac{\pi}{4}|b_2|\leqq 1 - \left(\dfrac{\pi}{4}b_1\right)^2 \] sowie die bereits wesentlich kompliziertere Beziehung \[ \left(\dfrac{\pi}{4}b_1+1\right)^3 - 3\left(\dfrac{\pi}{4}b_1 + 1\right) - 1 \leqq 3\left(\dfrac{\pi}{4}b_3\right)\leqq \left(\dfrac{\pi}{4}b_1 - 1\right)^3 - 3\left(\dfrac{\pi}{4}b_1 - 1\right) + 1. \] (Vgl. dazu \textit{A. Ghizzetti}, Ann. Scuola norm. sup. Pisa, Sci. fis. mat. (2) 9 (1940), 215-223; F. d. M. 66, 282 (JFM 66.0282.*).) 2) Daran anschließend wird der folgende Approximationssatz bewiesen: Zu einer Funktion \(f(x)\) der unter 1) genannten Art gibt es für jedes \(N\) eine Treppenfunktion \(g_N(x)\), die nur die Werte \(+1\) und \(-1\) annimmt, und deren Fourierkoeffizienten bis zur Ordnung \(N\) mit denen von \(f(x)\) übereinstimmen.