Sur la convergence en moyenne des séries de Fourier. (Q2590919)

Es seien \(f(x)\) eine summierbare, mit \(2\pi \) periodische Funktion, \(s_n(x)\) die \(n\)-ten Teilsummen ihrer Fourierreihe. Setzt man \[ \theta _n(x)=\frac{1}{2}\biggl[s_n\biggl(x+\frac{\pi }{2n}\biggr)+s_n\biggl(x-\frac{\pi }{2n}\biggr)\biggr], \] so liefern bekannte Tatsachen für \(0<p<1\) ohne weiteres die Ungleichungen \[ \int\limits_{0}^{2\pi }|\,s_n(x)-\theta _n(x)\,|^p\,dx<\frac{A}{1-p}\left[\int\limits_{0}^{2\pi }\kern-2pt\biggl|\,f(x)-\frac{1}{2}f\biggl(x+\frac{\pi }{2n}\biggr)-\frac{1}{2}f\biggl(x-\frac{\pi }{2n}\biggr)\,\biggr|\,dx\right]^p, \] wo \(A\) eine absolute Konstante bedeutet. Ihnen lassen sich in einfacher Weise die folgenden Sätze entnehmen: 1) Ist \(\omega (\delta )\) der durch \[ \omega (\delta )=\kern-2pt\underset{0<h\leqq \delta}{\text{Max}}\textstyle \int\limits_{0}^{2\pi }\kern-2pt|\,f(x+h)-f(x)\,|\,dx \] definierte Stetigkeitsmodul von \(f(x)\), so folgt aus der Konvergenz der Reihe \[ \sum\frac{1}{n}\omega \biggl(\frac{1}{n}\biggr)\,\biggl|\,\log\,\omega \biggl(\frac{1}{n}\biggr)\,\biggr| \] und der Beschränktheit von \(\omega \biggl(\dfrac{1}{n}\biggr)\,\log\,n\), daß für fast alle \(x\) \[ \lim_{n\to\infty }\frac{|\,f-s_1\,|+|\,f-s_2\,|+\dots +|\,f-s_n\,|}{n}=0 \] gilt. 2) Ist \(n_k\) eine Folge natürlicher Zahlen, für die \(\displaystyle \sum\omega \biggl(\frac{1}{n_k}\biggr)\,\biggl|\,\log\,\omega \biggl(\frac{1}{n_k}\biggr)\,\biggr|\) konvergiert, so gilt fast überall \(s_{n_{ k}}(x)\to f(x)\). 3) Genügt \(\omega \biggl(\dfrac{1}{n}\biggr)\) den unter 1) genannten Voraussetzungen, so läßt sich für fast alle \(x\) die Folge der natürlichen Zahlen in zwei (von \(x\) abhängige) Teilfolgen \((m_k)\) und \((n_k)\) zerlegen, so daß \(s_{m_{ k}}(x)\to f(x)\) strebt, während \(\sum\dfrac{1}{n_k}\) konvergiert.