Sur la convergence absolue des séries trigonométriques. (Q5909703)

Die trigonometrischen Reihen konvergieren im allgemeinen nicht absolut. \textit{S. Bernstein} hat aber folgenden Zusammenhang zwischen der absoluten Konvergenz einer solchen Reihe und der dargestellten Funktion erkannt: ``Wenn \(f(x)\) einer \textit{Lipschitz}-Bedingung von einer Ordnung \(\alpha>\frac{1}{2}\) genügt, so ist ihre trigonometrische Entwicklung absolut konvergent: ist aber \(\alpha<\frac{1}{2}\), so gibt es Funktionen, die einer \textit{Lipschitz}-Bedingung der Ordnung \(\alpha\) genügen und deren trigonometrische Entwicklung nicht absolut konvergiert.'' Bei dem (nicht angegebenen Beweise) stützt er sich auf die Tatsache, daß, wenn \(|\sum_{k=1}^na_k\cos(kx- \beta_k)|\leqq 1\) ist, die Größenordnung des Maximums von \(| a_1|+\cdots+| a_n|\) gleich \(\sqrt{n}\) ist. Und um dieses Resultat zu gewinnen, hat er folgendes Problem gelöst: Es soll die am wenigstens von 0 abweichende Funktion \(f_p(x)\) der Form \[ \sum_{k=1}^{p-1}a_k \cos kx\;{\text{oder}}\;\sum_{k=1}^{p-1}a_k \sin kx \] (je nachem \(p\) eine Primzahl der Form \(4\mu+1\) oder \(4\mu+3\) ist) bestimmt werden, bei der die \(a_k\) der Bedingung \[ \sum_{k=1}^{p-1}\left( \frac{k}{p} \right) a_k=M \] genügen, in der \(M\) gegeben und \(\left( \frac{k}{p} \right) \) das \textit{Legendre}sche Symbol ist. Es zeigt sich, daß mit \(M=\frac{p-1}{\sqrt{p}}\), \[ f_p(x)=\frac{2}{\sqrt{p^3}}\sum_{k=1}^{p-1}(p-k)\left( \frac{k}{p} \right) \cos kx\;{\text{bezw.}}\;\frac{2}{\sqrt{p^3}}\sum_{k=1}^{p-1}(p-k)\left( \frac{k}{p} \right) \sin kx \] das Verlangte leisten.