On strong summability of Fourier series. (Q2586549)

Es sei \(f (t)\) eine mit \(2\pi\) periodische Funktion der Klasse \(L\) und \[ f (t)\sim \tfrac12 a_0 + \sum_1^\infty (a_\nu \cos \nu t + b_\nu \sin \nu t)\equiv \sum_0^\infty A_\nu(t) \] ihre Fourierreihe. Ferner sei \(\varPhi (x, t) = \frac12 \{f (x + t) + f (x - t) - 2s\}\). (1) Nach \textit{Hardy-Littlewood} (C. R. Acad. Sci., Paris, 156 (1913), 1307-1309; F. d. M. 44, 302 (JFM 44.0302.*)) ist die Fourierreihe von \(f(t)\) an einer Stelle \(x\) stark summierbar zur Summe \(s\) in dem Sinne, daß für ihre Teilsummen \(s_\nu\) die Beziehung \[ \lim_{n\to\infty} \frac1{n+1}\sum_0^n |s_\nu-s|^2=0 \] besteht, falls \(f (t)\) in einer Umgebung von \(x\) quadratisch integrabel ist und überdies \(\int\limits_0^t \{\varPhi(x, u)\}^2\, du = o(t)\) gilt. \textit{L. Fejér} gab kürzlich (Proc. Cambridge philos. Soc. 34 (1938), 503-509; F. d. M. \(64_{\text{I}}\), 231) unter der spezielleren Voraussetzung, daß \(\varPhi (x, t) \to 0\) für \(t \downarrow 0\) gilt, zwei neue Beweise für die starke Summierbarkeit der Fourierreihe von \(f (t)\). Verf. zeigt in der vorliegenden Note, daß sich diese Beweise vereinfachen lassen, indem man an Stelle der Teilsummen \(s_n\) die Größen \(s_n - \frac12 A_n\) betrachtet, und baut sie sodann aus zu Beweisen des Hardy-Littlewoodschen Satzes. (2) Daran anschließend wird noch ein neuer, die Methoden der komplexen Funktionentheorie vermeidender Beweis des folgenden Satzes von \textit{Hardy-Littlewood} (Fundam. Math., Warszawa, 25 (1935), 162-189; F. d. M. \(61_{\text{I}}\), 278) gegeben: Aus \(\int\limits_0^t|\varPhi(x,u)|\,du= o(t)\) für \(t\downarrow0\) folgt \(\sum\limits_0^n[s_\nu (x) - s]^2 = o(n\log n)\) für \(n\to\infty\).