A new Tauberian theorem with application to the summability of Fourier series and integrals. (Q1439375)

\textit{Hardy} und \textit{Littlewood} (Proceedings L. M. S. (2) 28 (1928), 301-311; F. d. M. 54, 302 (JFM 54.0302.*)) haben gezeigt: Wenn \(f(u)\) integrierbar ist, und wenn für \[ \begin{aligned} &\varphi (u)=\tfrac{1}{2}\,\{f(x+u)+f(x-u)-2s\}\\ &\textstyle \int\limits_{0}^{t} \displaystyle |\,d(u\varphi (u))\,|=O(t)\quad(0\leqq t\leqq \pi ) \end{aligned} \] gilt, so ist die \textit{Fourierreihe} von \(f(u)\) für \(u = x\) dann und nur dann \((C, k)\)-summierbar für jedes \(k>-1\), wenn \[ \textstyle \int\limits_{0}^{t} \displaystyle \varphi (u)\,du=o(t)\;\text{für}\;t\to 0. \] Verf. behauptet, im Anschluß an eine allgemeine Methode von \textit{N. Wiener} (Journ. of Math. Massachusetts 7 (1928), 161-184; F. d. M. 54, 241 (JFM 54.0241.*)-242), denselben Satz für die Rieszschen arithmetischen Mittel \(k\)-ter Ordnung -- (\(R\), \(n\), \(k\))-Summierbarkeit -- zu beweisen. (In seiner Formulierung des Satzes (p. 228) ist der Ausdruck \(o(t)\) als \(O(t)\) gedruckt; das ist indessen offenbar ein Druckfehler.) Obwohl die Beweisführung für alle \(k>-1\) gelten soll, beruht sie auf Formeln, die dem Werk von \textit{Hobson} (Theory of functions of a real variable, vol. II (1926; F. d. M. 52), p. 567) und einer Arbeit von \textit{M. Jacob} (M. Z. 29 (1928), 20-33, Gleichung (32) auf S. 31; vgl. F. d. M. 54, 304 (JFM 54.0304.*)-305) entnommen sind, und deren Beweise auf der Annahme \(k > 0\) beruhen. Daher kann der Satz für die Rieszschen, arithmetischen Mittel durch die vorliegende Beweisführung nur für positive Werte von \(k\) als bewiesen gelten; und die Summabilität derselben \textit{positiven} Ordnung im \textit{Riesz}schen und im \textit{Cesàro}schen Sinne sind bekanntlich miteinander äquivalent (siehe z. B. \textit{Hobson}, l.c., p. 90-98), Auch ist es in der Tat bekannt, daß aus \[ \textstyle \int\limits_{0}^{t} \displaystyle \varphi (u)\,du=o(t)\;\text{und}\;\; \textstyle \int\limits_{0}^{t} \displaystyle |\,d(u\varphi (u))\,|=O(t) \] für kleine \(t\) (d. h. nicht notwendig, wie hier angenommen wird, für \(0\leqq t\leqq \pi \)) für \(u = x\) die Konvergenz der \textit{Fourierreihe} zur Summe \(s\) folgt (vgl. \textit{Hardy} und \textit{Littlewood}, l. c., p. 302). Der Beweis der von \textit{Hobson} und \textit{Jacob} übernommenen Gleichung erfordert (wie beide Autoren hervorheben) eine über ein unendliches Intervall erstreckte Integration des Produktes der \textit{Fourier}reihe von \(f(u)\) mit einer Funktion \(g_k(u)\), die für \(k > 0\), aber nicht für \(0 > k > - 1\), absolut integrierbar und von beschränkter Variation ist. (IV 3 D.)