Über Fourier-Koeffizienten. (Q2596090)

Es wird unter anderem gezeigt: Für ein beliebiges trigonometrisches Polynom \[ T(x)=\sum_{k=0}^{n} (a_k \, \cos \, kx + b_k \, \sin \, kx) \] gelten die Beziehungen \[ \sum_{k=1}^{n} \frac{|\, a_{n-k} \,|}{k} < C_1 \int\limits_{0}^{2 \pi} |\, T(x) \,| \,dx, \quad \sum_{l=1}^{L} a_{n-n_l}^2 < C_2(q) \left( \int\limits_{0}^{2 \pi} |\, T(x) \,| \,dx \right)^2, \] wo \(n_{l+1}/n_l >q>1\), \(q\) fest, \(n_L<n<n_{L+1}\), \(C_1\) eine absolute Konstante ist und \(C_2(q)\) nur von \(q\) abhängt. (Für nichtnegative trigonometrische Polynome stimmt der Satz mit einem unveröffentlichten Resultat von \textit{P. Erdös} überein.) Durch Kombination mit einem Satze von \textit{P. Csillag} (Math. fiz. Lapok 27 (1918), 301-308; F.~d.~M. 46, 453) folgt hieraus: Gilt für die Abschnitte \(s_n(x)\) der Fourierreihe einer Funktion \(f(x)\) \[ \int\limits_{0}^{2 \pi} |\, s_n^{\prime}(x) \,| \, dx<K \quad (K \text{ von } n \text{ unabhängig}), \] so ist \(f(x)\) in \(0 \leqq x \leqq 2 \pi\) stetig. (Für den Fall \(s_n(x) > 0\) vgl. \textit{S. Sidon}, Acta Litt. Sci. Univ. Szeged, Sect. Sci. math. 2 (1924), 43-46; F.~d.~M. 50, 199.)