Notes on Fourier series. XI. Inequality theorem in the strong summability. (Q2586550)

Es sei \(f (x)\) eine mit \(2\pi\) periodische, integrable Funktion und \[ f(x)\sim \frac{a_0}2 + \sum_{n=1}^\infty (a_n \cos nx + b_n \sin nx) \tag{1} \] ihre Fourierreihe. Mit \(s_n (x)\) sei die \(n\)-te Teilsumme, mit \(\sigma_n (x)\) das \(n\)-te arithmetische Mittel der Teilsummen dieser Reihe bezeichnet. Ist \(f (x) \in L^p\) mit \(p>1\), so ist (1) fast überall stark summierbar zur Summe \(f (x)\), d. h. es gilt fast überall \[ \lim_{N\to\infty} \frac1{N+1} \sum_{n=0}^N |s_n(x)-f(x)|^k = 0,\quad k>0, \] bzw. die damit äquivalente Beziehung \[ \lim_{N\to\infty} \frac1{N+1} \sum_{n=0}^N |s_n(x)-\sigma_n(x)|^k = 0,\quad k>0. \] Es ist unbekannt, ob diese Aussage auch noch unter der Voraussetzung \(f (x) \in L\) gilt. Verf. zeigen dazu in der vorliegenden Note, daß für \(f (x) \in L\) die Folge \(\dfrac1{N+1}\displaystyle\sum\limits_{n=1}^N |s_n(x) - \sigma_n(x) |\) im allgemeinen keine integrable Majorante besitzt. Es folgt dies aus der für die Teilsummen \(s_n(x)\) einer Kosinusreihe \[ \sum_{n=0}^\infty a_n \cos nx\quad \text{mit}\quad a_n \geqq 0 \tag{2} \] und ihre arithmetischen Mittel \(\sigma_n(x)\) geltenden Abschätzung \[ \int\limits_0^{2\pi}\left\{\frac1{N+1}\sum_{n=1}^N |s_n(x)-\sigma_n (x)| \right\}\,dx\geqq \frac c{(N+1)^2} \sum_{\nu=1}^N \nu\log \nu a_\nu, \] wo \(c\) eine absolute Konstante bedeutet. Ebenso wird gezeigt, daß für \(f (x) \in L\) die Folge \(\displaystyle\sum\limits_{n=1}^N \dfrac{|s_n(x)-\sigma_n(x)|}n\) im allgemeinen keine integrable Majorante besitzt. Es gilt nämlich für eine Kosinusreihe (2) die Abschätzung \[ \int\limits_0^{2\pi}\left(\sum_{n=1}^\infty \frac{|s_n(x)-\sigma_n(x)|}n\right)\,dx\geqq c'\sum_{n=1}^\infty \frac{a_n}n\,. \] Ferner gilt für die Fouriersche Kosinusreihe einer nichtnegativen, geraden Funktion \(f (x) \in L\) die Abschätzung \[ \int\limits_0^{2\pi}\left(\sum_{n=1}^N \frac{|s_n(x)-\sigma_n(x)|}n\right)\,dx\geqq c'' \frac{\log N}N \int\limits_{\frac1N}^\pi \frac{f(x)}x\,dx. \] Dabei bedeuten \(c'\), \(c''\) wieder absolute Konstanten. (Teil X, Tôhoku math. J. 46 (1939), 154-158; F. d. M. 65.)