Sur l'ordre de grandeur des coefficients de la série de Fourier-Lebesgue. (Q1460312)

Es sei \(a_1, a_2, \dots \) eine reelle Folge mit \(\lim\limits_{n\to\infty} a_n = 0\); dann läßt sich stets eine andere Folge \(a_1^\prime, a_2^\prime, \dots \) mit \(|a_n^\prime| > |a_n|\) derart angeben, daß \(\dfrac{a_0}{2} + \sum\limits_{n=1}^\infty a_n^\prime \cos nx\) die Fourier-Lebesguesche Reihe einer summierbaren Funktion darstellt. Zu diesem Zwecke wird gezeigt, daß durch zweimalige Abelsche Summation, \(a_n - a_{n+1} = \varDelta_n\), \(\varDelta_n - \varDelta_{n+1} = \varDelta_n^\prime\) die Konvergenz überall, außer etwa fur \(x = 0\), gesichert erscheint, wenn \(\sum\limits_{n=1}^\infty n|\varDelta_n^\prime|\) konvergiert \((A)\); für positive \(\varDelta_n^\prime\), wie man sie durch die verlangte Variation von den \(a_\nu\) zu den \(a_\nu^\prime\) stets erreichen kann, ist jene Summe gleich \(a_0\). Unter der gleichen Bedingung \((A)\) konvergiert die betrachtete Reihe dann und nur dann im Mittel, wenn \(\lim\limits_{n\to\infty} a_n \log n = 0\) ist; z. B. konvergiert also von den beiden Reihen \(\sum\limits_{n=2}^\infty \log^{-1} n \cos nx\), \(\sum\limits_{n=2}^\infty \log^{-1 - \varepsilon} n \cos nx\) die zweite im Mittel, die erste nicht.