La convergence en moyenne absolue des séries trigonométriques. (Q2586551)

Es sei \(f(\theta)\) eine mit \(2\pi\) periodische, summable Funktion. Die Teilsummen ihrer Fourierreihe \[ f(\theta) \sim \frac{a_0}2 + \sum_{n=1}^\infty (a_n \cos n\theta + b_n \sin n\theta) \] seien mit \(\underset {n} S(\theta)\) bezeichnet. Verf. betrachtet das absolute Mittel der \(m\) ersten Differenzen \(\underset {n} S(\theta) f(\theta)\) \[ J_m=\frac1m\sum_{n=0}^{m-1} |\underset {n} S(\theta)-f(\theta)|=\frac1\pi \int\limits_0^\pi \varphi(\theta,t)\frac{\lambda(t,m)}{2m\sin\dfrac t2}\,dt \] mit \[ \varphi(\theta,f) = f(\theta + t) + f(\theta-t)-2f(\theta) \] und \[ \lambda(t, m) = \sin \frac t2 + \varepsilon_1 \sin 3 \frac t2 + \varepsilon_2 \sin 5 \frac t2 + \cdots+ \varepsilon_{m-1} \sin (2m - 1) \frac t2, \] wo die \(\varepsilon_i = \varepsilon_i(\theta)\) von \(t\) unabhängig und gleich \(\pm1\) sind. Er gewinnt auf einfachem Weg bekannte Sätze über die starke Summierbarkeit der Fourierreihe von \(f(\theta)\): 1) Zunächst wird gezeigt, daß für jede Wahl der \(\varepsilon_i\) die Abschätzung \[ \int\limits_0^\pi | \lambda(t,m)|\,dt < \pi\sqrt{\frac m2} <3\sqrt m \tag{1} \] gilt. Daraus läßt sich entnehmen, daß die Frage, ob \(\lim\limits_{m\to\infty} J_m = 0\) an einer Stelle \(\theta = \theta_0\) gilt -- ob also die Fourierreihe von \(f(\theta)\) an dieser Stelle im Sinne von \textit{Hardy} und \textit{Littlewood} (C. R. Acad. Sci., Paris, 156 (1913), 1307-1309; F. d. M. 44, 302) stark summierbar zum Werte \(f(\theta_0)\) ist -- nur von den Werten der Funktion \(f(\theta)\) in einer beliebig kleinen Umgebung der Stelle \(\theta_0\) abhängt. 2) Weiter wird gezeigt, daß für jedes \(m\) und jede Wahl der \(\varepsilon_i\) die Abschätzung \[ \int\limits_0^\pi\frac{|\lambda(t,m)|}{mt}\, dt<4 \tag{2} \] gilt. Daraus ergeben sich mühelos die bekannten Tatsachen (vgl. Hardy und Littlewood, a. a. O.), daß die Fourierreihe von \(f(\theta)\) an jeder Stetigkeitsstelle \(\theta_0\) von \(f(\theta)\) und bei quadratisch summablem \(f (\theta)\) allgemeiner an jeder Stelle \(\theta_0\), für die \(\int\limits_0^t\varphi^2(\theta_0,t)\,dt\) in \(t = 0\) die Ableitung 0 besitzt, stark summierbar zum Werte \(f(\theta_0)\) ist. Weiter folgt aus (2), daß das für eine beliebige Serie von \(\theta\) unabhängiger Werte \(\alpha_1,\, \alpha_2,\,\ldots,\, \alpha_r\) mit \(0 < \alpha_1 < \alpha_2 < \cdots < \alpha_r < 1\) gebildete Integral \[ \int\limits_0^\infty\frac{|1 - 2 \cos \alpha_1 \theta +2 \cos \alpha_2 \theta \cdots + (- 1)^r 2 \cos \alpha_r \theta + (- 1)^{r+1} \cos \theta |}{\theta^2} \,d\theta \] unter einer von \(r\) und der Wahl der \(\alpha_i\) unabhängigen, festen Schranke liegt.