Sur la convergence uniforme des séries de fonctions analytiques. (Q565643)

Verf. betrachtet eine Reihe \(\sum \limits _{n=0}^{\infty } f_n (z)\), wobei die \(f_n (z)\) bei \(z=0\) reguläre analytische Funktionen sind: \[ f_n (z) = \sum _{m=0}^{\infty } a_n^{(m)} z^m. \] Er stellt sich die Aufgabe, den die Stelle \(z = 0\) enthaltenden Bereich der gleichmäßigen Konvergenz der Reihe \(\sum \limits _{n=0}^{\infty } f_n (z)\) zu bestimmen. Es wird zunächst folgendest Theorem gewonnen: Für gleichmäßige Konvergenz der Reihe \(\sum \limits _{n=0}^{\infty } f_n (z)\) im Einheitskreise ist notwendig und hinreichend, daß alle Reihen \(\sum \limits _{n=0}^{\infty } a_n^{(m)}\) \((m = 0,1,2, \dots )\) konvergieren, und daß zu jedem \(\Theta \) \((0 < \Theta < 1)\) ein \(C(\Theta )\) derart existiert, daß bei beliebigem \(m\) und \(n\) die Ungleichung \(\Theta ^m |S_n^{(m)}| < C (\Theta )\) erfüllt ist, wobei \(S_n^{(m)} = \sum \limits _{k=0}^{n} a_k^{(m)}\). Zum Beweise dieses Theorems stellt Verf. die folgenden Sätze auf: 1. Wenn alle Reihen \(\sum \limits _{n=0}^{\infty } a_n^{(m)}\) \((m=0,1,2, \dots )\) konvergieren, und wenn ein \(C\) existiert, welches bei allen \(n\), \(m\) der Ungleichung \(|S_n^{(m)}| < C\) genügt, so konvergiert die Reihe \(\sum \limits _{n=0}^{\infty } f_n (z)\) gleichmäßig im Einheitskreis. 2. Alle Reihen \(\sum \limits _{n=0}^{\infty } a_n^{(m)}\) \((m=0,1,2, \dots )\) mögen konvergieren und es möge bei festem \(r\) \(C\) so existieren, daß für alle \(m,n\) \(r^m |S_n^{(m)}| <C\); die Reihe \(\sum \limits _{n=0}^{\infty } f_n (z)\) konvergiert dann gleichmäßig im Kreise vom Radius \(r\) um den Nullpunkt. Als Folgerung dieser Sätze gewinnt Verf. das Resultat: Für gleichmäßige Konvergenz der Reihe \(\sum \limits _{n=0}^{\infty } f_n (z)\) im Kreise \(|z| < r\) ist notwendig und hinreichend, daß alle Reihen \(\sum \limits _{n=0}^{\infty } a_n^{(m)}\) \((m=0,1,2, \dots )\) konvergieren, und daß zu jedem \(\Theta \) \((0< \Theta < 1)\) ein C existiert, so daß für alle \(m,n\) die Ungleichung \(r^m \Theta ^m |S_n^{(m)}| < C(\Theta )\) erfüllt ist. Verf. betrachtet sodann die Menge \(\mathfrak M\) aller Häufungspunkte der Zahlen \(A_n^{(m)} = \root m \of {|S_n^{(m)}|}\), in deren Nähe unendlich viele dieser Zahlen mit verschiedenem \(m\) liegen. Diese Menge ist nicht leer; sie ist abgeschlossen. Verf. macht Eigenschaften der oberen Grenze \(M\) dieser Menge \(\mathfrak M\) namhaft und berechnet \(M\). Es ergibt sich als eine zu der oben genannten Bedingung \(r^m \Theta ^m |S_n^{(m)}| < C (\Theta )\) äquivalente Forderung die folgende: \(r^m \Theta ^m |S_{n(m)}^m| \to 0\) mit \(m \to 0\) bei beliebigem \(n(m)\) und bei jedem \(\Theta \) \((0 < \Theta < 1)\). Verf. stellt nunmehr forlgenden Satz auf: Der Radius des größten Kreises mit dem Nullpunkt als Mittelpunkt, in welchem die Reihe \(\sum \limits _{n=0}^{\infty } f_n (z)\) gleichmäßig konvergiert, ergibt sich nach der Formel: \[ \frac {1}{r} = M = \lim _{m \to \infty } \root m \of { \overline {\text{fin}_n} |S_n^{(m)}|} \,. \] wobei \(\overline {\text{fin}_n}K_n\) die obere Grenze aller \(K_n\) bedeutet. Diese Formel gestattet nach einem der Methode der analytischen Fortsetzung analog gebildeten Verfahren, den vollständigen, den Punkt \(z=0\) enthaltenden Konvergenzbereich für die Reihe \(\sum \limits _{n=0}^{\infty } f_n (z)\) zu bestimmen. Nach Bemerkungen über Aufsummierung nach Zeilen: \(\sum \limits _{n=0}^{\infty } \left ( \sum \limits _{m=0}^{\infty } A_n^{(m)} \right )\) und nach Spalten: \(\sum \limits _{m=0}^{\infty } \left ( \sum \limits _{n=0}^{\infty } A_n^{(m)} \right )\) und nach Angabe eines Theorems betreffend den analytischen Charakter der Summe der Reihe \(\sum \limits _{n=0}^{\infty } f_n (z)\), zeigt Verf. eine Anwendung der erhaltenen Resultate auf die Theorie der linearen Gleichungen mit unendlich vieln Unbekannten. (IV 7.)