Über die \textit{Lebesgue}schen Konstanten bei den \textit{Fourier}schen Reihen. (Q1480122)

Über die Bedeutung der \textit{Lebesgue}schen Konstanten \(\varrho_n\) und die bisher (von \textit{Fejér}) erzielten Resultate vgl. F. d. M. 41, 288 (JFM 41.0288.*), 1910. In der dort besprochenen Arbeit spricht \textit{Fejér} die Vermutung aus, daß die \(\varrho_n\) von \(n = 1\) an monoton wachsen. Diese Vermutung wird in der vorliegenden Arbeit bewiesen, indem das von \textit{Lebesgue} für \(\varrho_n\) angegebene Integral \[ \varrho_n = \frac{2}{\pi} \int_0^{\tfrac{\pi}{2}} \frac{|\sin\,(2n+1)t|}{\sin\, t} \, dt \] ganz elementar umgeformt wird. Diese Umformung liefert dann weiter zunächst eine neue Abschätzung des Hauptgliedes in der (von \textit{Fejér} herrührenden) asymptotischen Darstellung von \(\varrho_n\): \[ \varrho_n = \frac{4}{\pi^2} \log n + h_n, \quad h_n = c_0 + o(1) \quad \left( \text{ es ist } \frac{4}{\pi^2} + \frac 94 > h_n > \frac{4C}{\pi^2}\right), \] sodann eine neue genaue asymptotische Formel für \(\varrho_n\): \[ \varrho_n = \frac{4}{\pi^2} \log (2n + 1) + A_0 + \left( 1 - \frac{6}{\pi^2}\right) \frac{1}{2n+1} + \sum_{\nu=1}^p \frac{A_\nu}{(2n+1)^{2\nu}} + R_{p+1}, \] in der die \(A_\nu\) durch einfache unendliche Reihen bestimmte Konstanten sind und für \(R_{p+1}\) eine Abschätzung angegeben wird. Die Gleichheit der Konstante \(c_0\) und \(A_0 + \dfrac{4}{\pi^2}\log 2\) wird direkt nachgewiesen. Im Schlußparagraphen werden die von \textit{Fejér} eingeführten Konstanten \[ \sigma_n = \frac 2{\pi} \int_0^{\tfrac{\pi}{2}}\frac{\sin^2\, (2n+1)t}{\sin\, t} \, dt \] analog untersucht, was aber (im Gegensatz zu den vorhergehenden Paragraphen) in allerelementarster Weise möglich ist.