Sur une méthode remarquable de sommation des séries doubles de Fourier. (Q2590939)

Es sei \(f(x, \,y)\) eine bezüglich \(x\) und \(y\) mit \(2\pi\) periodische Funktion. Sie heiße zur Klasse \(L^p\) gehörig, wenn \[ \int\limits_{0}^{2\pi} \int\limits_{0}^{2\pi} |\, f(x, \,y) \,|^p \,dx \,dy<\infty \] gilt; sie heiße zur Klasse \(L^{*}\) gehörig, wenn \[ \int\limits_{0}^{2\pi} \int\limits_{0}^{2\pi} |\, f(x, \,y) \,| \,\log \, \left( 1+f^2(x, \,y) \right) \,dx \,dy<\infty \] gilt. Die Teilsummen der Fourierschen Doppelreihe von \(f(x, \,y)\) seien mit \(s_{mn}(x, \,y)\) bezeichnet. Ist \(f(x, \,y)\) stetig, so weiß man, daß, entsprechend den Verhältnissen bei Funktionen einer Veränderlichen, die arithmetischen Mittel \[ \sigma_{mn}(x, \,y)=\frac{1}{(m+1) \,(n+1)} \sum_{\mu=0}^{m} \sum_{\nu=0}^{n} s_{\mu \nu}(x, \,y) \] der Teilsummen gleichmäßig gegen \(f(x, \,y)\) konvergieren. Gehört \(f(x, \,y)\) zu einer Klasse \(L^p\) mit \(p>1\), so gilt noch fast überall \(\sigma_{mn}(x, \,y) \to f(x, \,y)\). Im Gegensatz zu den Verhältnissen bei Funktionen einer Veränderlichen gilt dagegen dies nicht mehr für \(f(x, \,y) \in L\). Es erhebt sich daher die Frage nach Summationsmethoden, die auch für \(f(x, \,y) \in L\) wirksam sind. In der vorliegenden Note zeigt Verf., daß man eine einfache derartige Methode erhält, indem man die \(C_k\)-Verfahren auf die einfach unendliche Folge der Hauptpartialsummen \(s_{nn}(x, \,y)\) anwendet. Für weitere Methoden vgl. \textit{S. Bochner} (Trans. Amer. math. Soc. 40 (1936), 175-207; F.~d.~M. 62\(_{\text{I}}\), 293), sowie die nachstehend besprochene Arbeit von \textit{J. Marcinkiewicz} und \textit{A. Zygmund}. Im einzelnen lauten die Ergebnisse der vorliegenden Note: (1) Ist \(f(x, \,y)\) stetig, so ist die Folge \(s_{nn}(x, \,y)\) gleichmäßig \(C_1\)-limitierbar zum Wert \(f(x, \,y)\). (Vgl. dazu das vorhergehende Referat.) (2) Es sei \(f(x, \,y) \in L^p\) mit \(p > 1\). Setzt man \[ H_n^2=\frac{1}{n+1} \sum_{m=0}^{n} (s_{mm}-f)^2, \quad H={\underset{n} {\text{ fin sup }}} H_n, \] so konvergiert \(H_n(x, \,y)\) fast überall gegen 0, und es gilt \[ \int\limits_{0}^{2\pi} \int\limits_{0}^{2\pi} H^p(x, \,y) \,dx \,dy \leqq A_p \int\limits_{0}^{2\pi} \int\limits_{0}^{2\pi} |\,f(x, \,y)\,|^p \,dx \,dy, \] wo \(A_p\) nur von \(p\) abhängt. (3) Es sei \(f(x, \,y) \in L^{*}\). Setzt man \[ U_n=\frac{1}{n+1} \sum_{m=0}^{n} s_{mm}, \quad U={\underset{n} {\text{ fin sup }}} |\,U_n\,|, \] so konvergiert \(U_n(x, \,y)\) fast überall gegen \(f(x, \,y)\), und es gilt \[ \left[ \int\limits_{0}^{2\pi} \int\limits_{0}^{2\pi} U \,dx \,dy \right]^{\frac{1}{\varepsilon}} \leqq A_{\varepsilon} \int\limits_{0}^{2\pi} \int\limits_{0}^{2\pi} |\,f\,| \, \log \,(1+f^2) \,dx \,dy+B_{\varepsilon}, \qquad (\varepsilon<1) \] wo \(A_{\varepsilon}\), \(B_{\varepsilon}\) Konstanten bedeuten. Vgl. eine Berichtigung in der auf S. 257 besprochenen Arbeit. (4) Ist \(f(x, \,y) \in L\), so ist die Folge \(s_{nn}(x, \,y)\) fast überall \(C_2\)-limitierbar zum Wert \(f(x, \,y)\).