Elementary theory of double infinite series. (Q1519484)

\S\ 1. Die Zahlen \(a_\mu^{(\nu)}\) besitzen für unabhängig von einander ins Unendliche wachsende \(\mu\) und \(\nu\) einen bestimmten Grenzwert \(a\) \(\lim\limits_{\mu=\infty,\nu=\infty} a_\mu^{(\nu)}=a\), wenn eine bestimmte Zahl \(a\) existirt von der Art, dass \(|a- a_\mu^{(\nu)}|\leqq\varepsilon\) für \(\mu\geqq m\), \(\nu\geqq n\). Hierzu ist notwendig und hinreichend, dass \(|a_{\mu+\varrho}^{(\nu+\sigma)}- \alpha_\mu^{(\nu)}|\leqq\varepsilon'\) für \(\mu\geqq m'\), \(\nu\geqq n'\), \(\varrho=0,1,2,\dots\) ist. \[ \begin{aligned}\text{Ist }\lim_{\mu=\infty}\inf a_\mu^{(\nu)} &=l_\nu,\,\lim_{\mu=\infty}\sup a_\mu^{(\nu)}=L_\nu\;(\nu=0,1,2,\dots),\\ \lim_{\nu=\infty}\inf a_\mu^{(\nu)} &=l_\mu',\,\lim_{\nu=\infty}\sup a_\mu^{(\nu)}=L_\mu'\;(\mu=0,1,2,\dots),\end{aligned} \] so ist stets \(\lim\limits_{\nu=\infty}l_\nu=\lim\limits_{\nu=\infty}L_\nu = \lim\limits_{\mu=\infty}l_\mu'=\lim\limits_{\mu=\infty}L_\mu'= \lim\limits_{\mu=\infty,\nu=\infty}a_\mu^{(\nu)}\), falls ein endlicher oder bestimmt unendlicher Wert \(\lim\limits_{\mu=\infty,\nu=\infty}a_\mu^{(\nu)}\) existirt. Verhalten sich die Grössen \(a_\mu^{(\nu)}\) monoton; d. h. ist für jedes \(\mu\), \(\nu\) und für \((\varrho,\sigma= 0,1,2,\dots)\) \(|a_{\mu+\varrho}^{(\nu+\sigma)}- a_\mu^{(\nu)}|\leqq0\), bez. \(\geqq0\), und bleiben die \(|a_\mu^{(\nu)}|\) stets unter einer endlichen Zahl \(g\), so stellen die Ausdrücke \[ \lim_{\mu=\infty} a_\mu^{(\nu)}\,(\nu=0,1,2,\dots),\, \lim_{\nu=\infty} a_\mu^{(\nu)}\,(\mu=0,1,2,\dots),\, \lim_{\mu=\infty,\nu=\infty}a_\mu^{(\nu)} \] durchweg bestimmte Zahlen dar, und es ist \[ \lim_{\mu=\infty,\nu=\infty}a_\mu^{(\nu)} = \lim_{\nu=\infty}(\lim_{\mu=\infty} a_\mu^{(\nu)}) = \lim_{\mu=\infty}(\lim_{\nu=\infty} a_\mu^{(\nu)}). \] Ist die Folge \( a_\mu^{(\nu)}\) monoton, so zieht jede der drei Gleichungen \[ \lim_{\mu=\infty,\nu=\infty}a_\mu^{(\nu)} = A,\,\lim_{\nu=\infty}(\lim_{\mu=\infty} a_\mu^{(\nu)}) = A,\,\lim_{\mu=\infty}(\lim_{\nu=\infty} a_\mu^{(\nu)}) = A \] die beiden andern nach sich. Dieser Satz bleibt auch gültig, wenn \(A\) gleich \(+\infty\) oder \(-\infty\) wird. \S\ 2. Setzt man \[ \left.\begin{aligned} &\quad u_0^{(0)} + u_1^{(0)} + \cdots + u_\mu^{(0)}\\ &+ u_0^{(1)} + u_1^{(1)} + \cdots + u_\mu^{(1)}\\ &+ \cdots\\ &+ \cdots\\ &+ u_0^{(\nu)} + u_1^{(\nu)} + \cdots + u_\mu^{(\nu)}\end{aligned}\right\} = S_\mu^{(\nu)}, \] so heisst \[ \begin{aligned} &\quad u_0^{(0)} + u_1^{(0)} + \cdots + u_\mu^{(0)} + \cdots\\ &+ u_0^{(1)} + u_1^{(1)} + \cdots + u_\mu^{(1)} + \cdots\\ &+ \cdots\\ &+ \cdots\\ &+ u_0^{(\nu)} + u_1^{(\nu)} + \cdots + u_\mu^{(\nu)} + \cdots\end{aligned} \] convergent, wenn \(\lim\limits_{\mu=\infty,\nu=\infty} S_\mu^{(\nu)}\) einen bestimmten Wert \(S\) besitzt: \(\sum u_\mu^{(\nu)}=S\) für \(\mu,\,\nu=0,\dots,\infty\). --- In jedem anderen Falle heisst die Doppelreihe divergent, wenn \(\lim S_\mu^{(\nu)}\) für \(\mu=\infty\), \(\nu=\infty\) gleich \(+\infty\) oder \(-\infty\) wird, uneigentlich divergent oder oscillirend (unbestimmt), wenn \(\lim S_\mu^{(\nu)}\) keinen endlichen oder bestimmt unendlichen Wert hat. I. Eine Doppelreihe kann convergiren, ohne dass eine einzige Zeile oder Colonne eine convergente Reihe bildet. Es kann dann aber nur eine endliche Anzahl von Zeilen oder Colonnen eigentlich divergiren oder ein unendliches Unbestimmtheits-Intervall besitzen, und es muss das Unbestimmtheits-Intervall aller Zeilen und Colonnen von einer bestimmten an beliebig klein werden. II. Ist ausser der Doppelreihe \(\sum\limits_0^{\infty}{}^{\mu\nu}u_\mu^{(\nu)}=S\) jede einzelne Zeile \(\sum\limits_0^{\infty}{}^{\mu}u_\mu^{(\nu)}\, (\nu=0,1,2,\dots)\) oder jede einzelne Colonne \(\sum\limits_0^{\infty}{}^{\nu}u_\mu^{(\nu)}\) convergent, so convergirt auch die Reihe der Zeilen - Summen, bez. der Colonnen-Summen gegen die Summe \(S\). III. Ist die Doppelreihe der \(u_\mu^{(\nu)}\) mit convergenten Zeilen, bez. Colonnen eigentlich divergent, so gilt dasselbe von der Reihe der Zeilen-Summen, bez. der Colonnen-Summen. IV. Auch wenn alle Zeilen und Colonnen convergente Reihen bilden, und wenn sowohl die Reihe der Zeilen - Summen, als auch diejenige der Colonnen - Summen gegen dieselbe Summe \(S\) convergirt, so kann die betreffende Doppelreihe doch divergiren und zwar allemal uneigentlich. Dies muss der Fall sein, wenn die Reihe der Zeilen-Summen und diejenige der Colonnen-Summen gegen verschiedene Werte convergiren. V. Ist \(u_\mu^{(\nu)}\geqq0\) und bleibt \(S_\mu^{(\nu)}\) unter einer endlichen Zahl \(g\), so convergirt die Doppelreihe der \(u_\mu^{(\nu)}\) gegen eine bestimmte Summe \(S\). Zugleich convergirt jede Zeile und jede Colonne, und die Reihe der Zeilen- (Colonnen-) Summen convergirt gleichfalls gegen die Summe \(S\). \S\ 3. Vl. Ist \(u_\mu^{(\nu)}\geqq0\), so zieht jede der vier Gleichungen \[ \sum_{\mu,\nu=0}^\infty u_\mu^{(\nu)}=S,\, \sum_{\nu=0}^\infty\sum_{\mu=0}^\infty u_\mu^{(\nu)}=S,\, \sum_{\mu=0}^\infty\sum_{\nu=0}^\infty u_\mu^{(\nu)}=S,\,\sum_{\nu=0}^\infty w_\nu=S, \] wo \(w_\nu = u_0^{(\nu)} + u_1^{(\nu-1)} + \cdots + u_{\nu-1}^{(1)} + u_\nu^{(0)}\) ist, die drei anderen nach sich, gleichgültig, ob \(S\) endlich oder unendlich gross ist. VII. Besitzt die convergente Doppelreihe \(\sum\limits_{\mu,\nu=0}^\infty u_\mu^{(\nu)}=S\) die Eigenschaft, dass die einzelnen Zeilen und Colonnen convergiren oder innerhalb endlicher Grenzen oscilliren, so kann die Reihe \(\sum w_\nu\,(\nu=0,\dots,\infty)\) nur convergiren oder oscilliren. Im ersteren Fall ist dann auch \(\sum w_\nu=S\). \S\ 4. Die Doppelreihe \(\sum u_\mu^{(\nu)}\,(\mu,\nu=0,1,\dots,\infty)\) heisst absolut convergent, wenn die Doppelreihe \(|u_\mu^{(\nu)}|\) convergirt. VIII. Von den vier Gleichungen des Satzes VI zieht jede einzelne die drei anderen nach sich, wenn die in der Voraussetzung auftretende Reihe bei der Vertauschung der \( u_\mu^{(\nu)}\) mit ihren absoluten Beträgen convergent bleibt. IX. Jede absolut convergente Doppelreihe ist unbedingt convergent und umgekehrt. X. Eine convergente Doppelreihe, welche nicht absolut convergirt, lässt sich stets durch Umordnung divergent machen. Sie kann also keinesfalls unbedingt convergiren. XI. Ist die Doppelreihe der \( u_\mu^{(\nu)}\) unbedingt convergent, so convergirt auch jede Zeile (Colonne), desgleichen die aus den Zeilensummen (Colonnensummen) gebildete Reihe, und die Summe der letzteren ist gleich der Summe der Doppelreihe. \S\ 5. Erfüllt die Doppelreihe \(\sum a_\mu^{(\nu)}\,(\mu,\nu=0,1,\dots,\infty)\) mit nicht negativen Termen die notwendige Convergenzbedingung, dass jede einzelne Zeile und Colonne convergirt, so ist für deren Convergenz hinreichend, dass für \(\mu=\infty\), \(\nu=\infty\) \(\lim C_\mu C_\nu a_\mu^{(\nu)}<\infty\) ist. --- Die Doppelreihe \(\sum a_\mu^{(\nu)}\) divergirt sicher, wenn \[ a_\mu^{(\nu)}\leqq g\frac{d_{\mu+\nu}}{\mu+\nu}\text{ für }\mu\leqq m,\,\nu\leqq n\text{ ist.} \] Dabei ist \(C_\mu=c_\mu^{-1}\), \(D_\mu=d_\mu^{-1}\), während \(c_\mu\) das allgemeine Glied einer convergenten, \(d_\mu\) dasjenige einer divergenten einfach unendlichen Reihe mit positiven Gliedern bedeutet.