Fourier coefficients of bounded functions. (Q2580141): Difference between revisions

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.