Su talune serie di funzioni olomorfe. (Q2581917)

Zugrunde gelegt sei eine Folge \(\{f_n(z)\}\) (\(n = 0, 1, 2,\ldots\)) in \(|z|<R\) analytischer Funktionen, wobei \(f_n(z)\) von der Form \[ f_n(z) = z^n\varphi_n(z)\quad \text{mit} \quad \varphi_n(0)\neq 0 \] sei. Verf. beschäftigt sich mit der Frage der Entwickelbarkeit einer in \(|z|<R\) analytischen Funktion \(f(z)\) nach den Funktionen \(f_n(z)\). Setzt man die Reihe \[ \sum_{n=0}^\infty c_nf_n(z) \tag{1} \] an, indem man die Koeffizienten \(c_n\) gemäß den Gleichungen \[ c_0=f(0),\quad \sum_{k=1}^n c_kf_k^{(n)}(0)=f^{(n)}(0)\qquad (n = 1,2,\ldots) \tag{2} \] bestimmt, so stellt sie gewiß in einer Umgebung von \(z = 0\) die Funktion \(f(z)\) dar, wenn sie daselbst gleichmäßig konvergiert. Zur Beschreibung des Bereichs der gleichmäßigen Konvergenz werde für \(0\leqq\varrho< R\) \[ H(\varrho)=\varlimsup_{n\to\infty}H_n(\varrho)\quad\text{mit}\quad H_n(\varrho)=\left[\frac1{2\pi}\int\limits_0^{2\pi} \left|\frac{\varphi_n(\varrho e^{i\theta})}{\varphi_n(0)}\right|^2d\theta \right]^{\frac12} \] gesetzt. Es ist stets \(1\leqq H(\varrho)\leqq+\infty\); ist durchweg \(H(\varrho) < +\infty\), so sei \[ r=\sup_{0\leqq\varrho<R}\frac{\varrho}{H(\varrho)}\;(\leqq R). \] Die Hauptergebnisse des Verf. besagen dann: Unter der Voraussetzung \(H(\varrho) < + \infty\) konvergiert die mit den Koeffizienten (2) gebildete Reihe (1) gleichmäßig in jedem abgeschlossenen Teilbereich des Kreises \(|z|<r\). Ist speziell \(H(\varrho)=1\), so findet die gleichmäßige Konvergenz in jedem abgeschlossenen Teilbereich des Kreises \(| z | < R\) statt; dieser Fall tritt dann und nur dann ein, wenn die Beziehung \[ \lim_{n\to\infty}\frac{n!f_n(z)}{z^n f_n^{(n)}(0)}=1 \] gleichmäßig in jedem abgeschlossenen Teilbereich von \(|z| < R\) besteht. Den vorstehenden Resultaten läßt sich z. B. die Entwickelbarkeit einer in der Umgebung von \(z = 0\) analytischen Funktion in eine nach den Besselschen Funktionen \(J_n(z)\) fortschreitende Reihe entnehmen. Weiter lassen sich die Sätze durch konforme Abbildung auf nicht kreisförmige Gebiete erweitern.