Su un tipo di condizioni necessarie per la convergenza dei polinomi di Fourier e di Fejér e su altre questioni concernenti le serie doppie di Fourier. (Q2604654): Difference between revisions

Die Arbeit enthält eine Reihe von Ergebnissen über verschiedene Arten der Konvergenz und Summierbarkeit der \textit{Fourier}schen Doppelreihe einer bezüglich \(x\) und \(y\) mit \(2\pi\) periodischen, integrablen Funktion \(f(x,y)\). 1) Das Hauptergebnis bezieht sich auf die folgende Frage: Die hinreichenden Bedingungen für die Konvergenz (im \textit{Pringsheim}schen Sinne) oder \((C,1,1)\)-Summierbarkeit der \textit{Fourier}schen Doppelreihe von \(f(x,y)\) an einer Stelle \((x_0,y_0)\) fordern sehr häufig unter anderem die Existenz des Grenzwerts \[ \lim_{\xi,\eta \to0,0}F(\xi,\eta), \tag{1} \] wobei \[ F(\xi,\eta) = \tfrac 14(f(x_0+\xi,y_0+\eta) + f(x_0+\xi,y_0-\eta) + f(x_0-\xi,y_0+\eta) + (f(x_0-\xi,y_0-\eta)) \] Verf. stellt daher die Frage, ob die Existenz dieses Grenzwerts unter gewissen allgemeinen Annahmen über \(f(x,y)\) auch eine notwendige Konvergenz- oder Summierbarkeitsbedingung ist, und gelangt im wesentlichen zu dem folgenden Ergebnis: Die Existenz des Grenzwerts (1) ist für die Konvergenz oder \((C,1,1)\)-Summierbarkeit der \textit{Fourier}schen Doppelreihe von \(f(x,y)\) an der Stelle \((x_0,y_0)\) notwendig, wenn \(f(x,y)\) die folgenden Eigenschaften aufweist: (a) Strebt \((x,y)\) längs eines von \((x_0,y_0)\) ausgehenden Halbstrahls, der mit der positiven \(x\)-Achse den Winkel \(\theta\) einschließe, gegen \((x_0,y_0)\), so konvergiert \(f(x,y)\) gegen einen Grenzwert \(g(\theta)\) und diese Konvergenz ist eine für alle \(\theta\) gleichmäßige, (b) Die Funktion \(g(\theta)\) ist quasistetig und samt einer Potenz \(|g(\theta)|^{2+\sigma}\) mit \(\sigma >0\) integrabel. (c) Die Funktion \(f(x,y)\) genügt der \textit{Tonelli}schen Bedingung, d. h. es gilt für fast alle \(x\) bzw. \(y\) mit einem passenden \(L>0\) \[ \int\limits_0^{2\pi}|f(x,y)|\,dy < L \quad \text{bzw.} \quad \int\limits_0^{2\pi}|f(x,y)|\,dx < L. \] Die Bedingungen (a)--(c) sind zusammen mit der Existenz des Grenzwerts (1) überdies auch hinreichend für die \((C,1,1)\)-Summierbarkeit der \textit{Fourier}schen Doppelreihe von \(f(x,y)\) an der Stelle \((x_0,y_0)\). 2) Im Zusammenhang mit diesen Untersuchungen wird Verf. dazu geführt, neben der Konvergenz (im \textit{Pringsheim}schen Sinne) und \((C,1,1)\)-Summierbarkeit verschiedene andere Arten der Konvergenz und Summierbarkeit zu betrachten, so die restringierte Konvergenz und \((C,1,1)\)-Summierbarkeit (vgl. \textit{C. N. Moore}, Math. Ann., Leipzig, 74 (1913), 555-572; F. d. M. 44, 298 (JFM 44.0298.*)), die Konvergenz und Summierbarkeit im Sinne von \textit{E. C. Titchmarsh} (Proc. R. Soc. London A 106 (1924), 299-314; F. d. M. 51, 224 (JFM 51.0224.*)) und die Konvergenz im Sinne von \textit{F. Leja} (Math. Ann., Berlin, 103 (1930), 364-368; JFM 56.0204.*). Als nützlich erweist sich weiter eine neue Verallgemeinerung der Konvergenz definition, die die Definitionen von \textit{Titchmarsh} und \textit{Leja} als Spezialfälle enthält und die darin besteht, daß für zwei verschiedene Paare \((\alpha,\beta)\) und \((\alpha',\beta')\) reeller Zahlen mit \(\alpha^2 + \beta^2 = 1\), \(\alpha'{}^2 + \beta'{}^2 = 1\) aus der Doppelreihe \(\sum\limits_{\mu,\nu=0}^\infty \alpha_{\mu\nu}\) die Summen \[ S_{\varLambda,\varLambda'}^{(\alpha,\beta;\alpha',\beta')}= \tfrac 14 \sum _{_{\substack{ -\varLambda \leqq \alpha\mu+\beta\nu \leqq \varLambda \\ -\varLambda' \leqq \alpha'\mu+\beta'\nu \leqq \varLambda' }}} a_{\mu\nu} \quad (\varLambda, \varLambda' \geqq 0) \] (wobei \(a_{\mu\nu}=a_{\mu,-\nu}=a_{-\mu,\nu}=a_{-\mu,-\nu}\) zu setzen ist) gebildet werden und die Reihe für ein endliches \(k>0\) konvergent im Sinne \(T_k(\alpha,\beta;\alpha',\beta')\) genannt wird, wenn \[ \lim_{_{\substack{ \varLambda, \varLambda' \to \infty \\ \varLambda/ \varLambda' \to k }}} S_{\varLambda,\varLambda'}^{(\alpha,\beta;\alpha',\beta')} \] existiert. In analoger Weise wird die Definition der Konvergenz nach Zeilen und Kolonnen verallgemeinert. Für diese verschiedenen Konvergenzarten werden eine Reihe von gegenseitigen Beziehungen, insbesondere hinsichtlich ihrer Anwendung auf \textit{Fourier}sche Doppelreihen bewiesen, die beim Beweis des unter 1) genannten Satzes herangezogen werden, aber auch an sich von Interesse sind. Endlich werden Kriterien für die Konvergenz einer \textit{Fourier}schen Doppelreihe nach Zeilen und Kolonnen in dem oben erwähnten verallgemeinerten Sinne, sowie für die Konvergenz im Sinne von \textit{Leja} bewiesen.