Note on differentiated Fourier series. (Q2590933)

Man kennt sowohl hinreichende als auch notwendige Bedingungen für die \(C\)-Summierbarkeit der differenzierten Fourierreihe einer \(L\)-integrablen Funktion. Einer zugleich notwendigen und hinreichenden Bedingung am nächsten kommt das folgende Resultat von \textit{A. Zygmund} (Studia math., Lwów, 3 (1931) 77-91; F.~d.~M. 57\(_{\text{I}}\), 317): Ist \(f(t)\) in \((-\pi, \,+\pi)\) \(L\)-integrabel und ist auch \(\chi(t)=\dfrac{f(x+t)-f(x-t)}{4 \text{ tg } \dfrac{t}{2}}\) \(L\)-integrabel, so ist die \(C_{\alpha}\)-Summierbarkeit \((\alpha \geqq 0)\) der Fourierreihe von \(\chi(t)\) an der Stelle \(t = 0\) zur Summe \(s\) notwendig und hinreichend für die \(C_{\alpha+1}\)-Summierbarkeit der differenzierten Fourierreihe von \(f(t)\) an der Stelle \(t = x\) zur Summe \(s\). Die hier ausgesprochene Bedingung ist jedoch insofern noch keine notwendige, als es Funktionen \(f(t)\) gibt, deren differenzierte Fourierreihe an einer Stelle \(t= x\) \(C\)-summierbar ist, ohne daß \(\chi(t)\) absolut integrabel ist. In der vorliegenden Note wird nun gezeigt, daß man die Zygmundsche Bedingung zu einer notwendigen und hinreichenden umgestalten kann, indem man für \(\chi(t)\) nur Integrabilität in etwas allgemeinerem Sinne verlangt. Genauer wird bewiesen: Es sei \(f(t)\) in \((-\pi, \,+\pi)\) \(L\)-integrabel. Ist \(\alpha \geqq 0\), so ist für die \(C_{\alpha+1}\)-Summierbarkeit der differenzierten Fourierreihe von \(f(t)\) an der Stelle \(t=x\) zur Summe \(s\) notwendig und hinreichend, daß die Funktion \(\chi^{*}(t)=\dfrac{f(x+t)-f(x-t)}{4 \, \sin \,\dfrac{t}{2}}\) in \((0, \pi)\) im Cesàro-Lebesgueschen Sinne integrabel ist, und daß ihre mittels des Cesàro-Lebesgueschen Integrals gebildete Fourierreihe \[ \chi^{*}(t) \sim \frac{1}{2} a_0+\sum_{n=1}^{\infty} a_n \,\cos \,nt \;\; \text{mit} \;\; a_n=\frac{2}{\pi} \int\limits_{\to 0 \,(C)}^{\pi} \chi^{*}(t) \,\cos \,nt \,dt \] an der Stelle \(t = 0\) zur Summe \(s\) \(C_{\alpha}\)-summierbar ist. Dabei ist für ganzes \(\lambda \geqq 0\) das Cesàro-Lebesguesche Integral \(\lambda\)-ter Ordnung einer Funktion \(\varPhi(t)\), die in jedem Intervall \((\varepsilon, \,a)\) mit \(0 < \varepsilon < a\) \(L\)-integrabel ist, über das Intervall \((0, \,a)\) definiert durch \[ \int\limits_{\to 0 \,(C, \,\lambda)}^{a} \varPhi(t) \,dt= (C, \,\lambda) \underset{\varepsilon \to +0} {\text{-lim}} \int\limits_{\varepsilon}^{a} \varPhi(t) \,dt. \] Das Ergebnis wird noch erweitert auf mehrfach differenzierte Fourierreihen.