A necessary and sufficient condition that the double Fourier-Lebesgue series of a function belonging to \(L^{(2)}\) should be convergent. (Q2590922): Difference between revisions

\[ \begin{multlined} \sum_{m=1}^{\infty} \sum_{n=1}^{\infty} (a_{mn} \,\cos \,mx \,\cos \,ny + b_{mn} \,\sin \,mx \,\cos \,ny \\ + c_{mn} \,\cos \,mx \,\sin \,ny + d_{mn} \,\sin \,mx \,\sin \,ny) \end{multlined} \tag{1} \] sei die Fouriersche Doppelreihe einer Funktion \(f(x, \,y) \subset L^{(2)}\) im Quadrat \(Q[0, \,2\pi; \, 0, \,2\pi]\). Nach dem Fischer-Rieszschen Satz ist \[ \begin{multlined} \sum_{m=1}^{\infty} \sum_{n=1}^{\infty} (d_{mn} \,\cos \,mx \,\cos \,ny c_{mn} \,\sin \,mx \,\cos \,ny \\ - b_{mn} \,\cos \,mx \,\sin \,ny + a_{mn} \,\sin \,mx \,\sin \,ny) \end{multlined} \tag{2} \] die Fourierreihe einer Funktion \(g(x, \,y) \subset L^{(2)}\). Verf. nennt \(g(x, \,y)\) die zu \(f(x, \,y)\) konjugierte Funktion. Man setze \[ f_1(x)=\frac{1}{2\pi} \int\limits_{0}^{2\pi} f(x, \,y) \,dy, \;\; f_2(y)=\frac{1}{2\pi} \int\limits_{0}^{2\pi} f(x, \,y) \,dx, \;\; f^{*}(x, \,y)=f(x, \,y)-f_1(x)-f_2(y) \] und bezeichne mit \(g_1(x)\), \(g_2(y)\), \(g^{*}(x, \,y)\) die entsprechenden konjugierten Funktionen. Ferner setze man \[ \begin{multlined} \varDelta(g^{*}, \,x, \,y, \,\alpha, \,\beta)=g^{*}(x+\alpha, \,y+\beta)+ g^{*}(x-\alpha, \,y-\beta)\\ -g^{*}(x-\alpha, \,y+\beta)-g^{*}(x+\alpha, \,y-\beta), \end{multlined} \] \[ \begin{multlined} \varPhi_{m, \,n}(\alpha, \,\beta)=\frac{1}{\alpha}(\cos \, m \alpha-2) \, \sin \,\beta+\frac{1}{\beta}(\cos \, n \beta-2) \, \sin \,m \alpha\\ +\left( \text{tg} \frac{\alpha}{2} \text{tg} \frac{\beta}{2} \right)^{-1} \, \left( \cos \, m \alpha + \cos \, n \beta - \frac{1}{2} \cos \, m \alpha \, \cos \, n \beta \right). \end{multlined} \] Verf. zeigt den folgenden, für einfache Reihen dem \textit{Lusin}schen entsprechenden Satz: Notwendig und hinreichend dafür, daß die Doppelreihe (1) fast überall in \(Q\) konvergiert, ist \[ \lim_{m \to \infty} \int\limits_{0}^{\pi} \frac{\cos \, m \alpha}{\alpha} [g_1(x+\alpha)-g_1(x-\alpha)] \,d\alpha=0, \] \[ \lim_{n \to \infty} \int\limits_{0}^{\pi} \frac{\cos \, n \beta}{\beta} [g_2(y+\beta)-g_2(y-\beta)] \,d\beta=0, \] \(\lim\limits_{m, \,n \to \infty} \int\limits_{0}^{\pi} \int\limits_{0}^{\pi} \varDelta(g^{*}, \,x, \,y, \,\alpha, \,\beta) \, \varPhi_{mn}(\alpha, \,\beta) \,d \alpha \,d \beta=0 \; \text{ fast überall in } Q\).