Sulla convergenza delle serie doppie. (Q2580098)

Der \textit{Stolz-Pringsheim}sche (St.-P.) Konvergenzbegriff für Doppelreihen \(\sum a_{\mu\nu}\) ist bekanntlich für sehr viele konkrete Untersuchungen zu weit. Ein großer Teil der grundlegenden Sätze für einfache Reihen läßt sich nicht ohne weiteres auf die nach St.-P. konvergenten Doppelreihen übertragen. Man sieht sich daher gezwungen, entweder zusätzliche Einschränkungen (z. B. Beschränktheit der Teilsummen) zu machen oder einen andern Konvergenzbegriff zugrunde zu legen. Solche Konvergenzbegriffe sind neuerdings vielfach eingeführt worden ; vgl. etwa \textit{H. J. Hamilton} (Bull. Amer. math. Soc. 42 (1936), 275-283; Duke math. J. 2 (1936), 29-60; JFM 62.0213.*, 214), wo 7 bzw. 16 Konvergenzarten unterschieden werden. Verf. schlägt hier, ohne auf solche Unterscheidungen einzugehen, den folgenden Konvergenzbegriff vor: Es sei \(T\) ein monotoner Treppenweg, der (bei der üblichen Anordnung der Glieder \(a_{\mu\nu}\)) das Glied \(a_{m0}\) mit \(a_{0n}\) verbindet (und seine Ecken natürlich nur in Gliedern \(a_{\mu\nu}\) hat), und es sei \(s_T\) die Summe aller \(a_{\mu\nu}\) die auf oder über \(T\) liegen. Dann soll \(\sum a_{\mu\nu}\) \textit{streng konvergent} zum Werte \(s\) heißen, falls nach Wahl von \(\varepsilon\) sich \(r\) so angeben läßt, daß für alle \(s_T\), die den Summanden \(a_{rr}\) enthalten, \(|s_T - s| < \varepsilon\) ist. Dieser Konvergenzbegriff wird für allgemeine Untersuchungen wenig nützen, da er sehr eng ist (denn es folgt aus ihm sofort, daß bei einer streng konvergenten Reihe alle Zeilen- und Spaltenreihen konvergieren und daß \(\sum\limits_\mu (\sum\limits_\nu a_{\mu\nu}) = \sum\limits_\nu (\sum\limits_\mu a_{\mu\nu}) = s\) ist). Es ist daher nicht verwunderlich, daß für ihn sich viele Sätze von einfachen auf Doppelreihen übertragen lassen, bei denen dies für den St.-P. Begriff nicht möglich war (wohl aber vielfach für andere Konvergenzbegriffe, die zwischen beiden stehen). An solchen Sätzen seien die folgenden genannt, bei denen die benutzte Reihe \(\sum a_{\mu\nu}\) als streng konvergent zum Werte \(s\) vorausgesetzt ist: (1) lim \(a_{mn} = 0\) für \((m + n)\to +\infty\). (2) Ist noch \(\sum b_{\mu\nu}\) absolut konvergent zum Werte \(t\), so ist \(\sum c_{\mu\nu}\) streng konvergent zum Werte \(st\), wenn \(c_{mn} = \sum\limits_{\mu=0}^m\sum\limits_{\nu=0}^n a_{\mu\nu}b_{m-\mu,n-\nu}\) gesetzt wird. (3) \(\sum a_{\mu\nu}x^\mu y^\nu\) ist absolut und gleichmäßig konvergent für \(|x| < r\), \(|y| < r\), \((r < 1)\). (Bei St.-P.-Konvergenz von \(\sum a_{\mu\nu}\) braucht \(\sum a_{\mu\nu}x^\mu y^\nu\) bekanntlich für kein \((x, y)\neq (0,0)\) und \(\neq (1,1)\) im gleichen Sinne zu konvergieren.) (4) \(\sum a_{\mu\nu}x^\mu y^\nu\) ist streng und gleichmäßig konvergent, wenn \(x\) und \(y\) in dem bekannten Winkelraum bei \(+1\) liegen. Zum Schluß wird ein Analogon zu (4) für den St.-P.-Konvergenzbegriff (für den (4), auch unter Voraussetzung beschränkter Teilsummen \(s_{\mu\nu}\) nicht allgemein richtig ist) bewiesen: Ist die Reihe \(\sum a_{\mu\nu}\) St.-P.-konvergent, \textit{und sind ihre Teilsummen} \(s_{\mu\nu}\) \textit{beschränkt}, so ist \(\sum a_{\mu\nu}x^\mu y^\nu\) gleichmäßig konvergent für alle \((x, y)\), die in den bei (4) genannten Winkelräumen liegen, \textit{und für die überdies} \(|1 - x|\geqq f(|1-y|)\) sowie \(|1 - y|\geqq f(|1-x|)\) ist. Dabei darf \(f(t)\) irgend eine für \(t > 0\) positive monotone Funktion bedeuten, für die \(f(t)\leqq t\) und \(f(+0) = 0\) ist.