Über einige Konvergenzsätze aus der Theorie der konformen Abbildung. (Q1829993): Difference between revisions

Der Verf. beweist zunächst folgenden Satz: \(C\) sei eine geschlossene rektifizierbare Jordankurve in der \(w\)-Ebene, die für ein \(\varepsilon\), \(0 < \varepsilon < 1\), ganz dem Kreisring \(1-\varepsilon\leqq |\,w\,|\leqq 1+\varepsilon\) angehört, und für deren Länge \(L\) die Ungleichung \[ 2\pi (1-\varepsilon)\leqq L\leqq 2\pi (1+\varepsilon) \] gilt. Bildet \(w=f(z)\) mit \(f(0) = 0\), \(f'(0)\) reell \(>0\) den Kreis \(|\, z\, | < 1\) konform auf das Innere von \(C\) ab, so gilt gleichmäßig für alle \(r\) mit \(0\leqq r\leqq 1\): \[ \multlinegap{0pt}\begin{multlined} \textstyle \int\limits_{0}^{2\pi } \displaystyle |\,f'\,(re^{i\vartheta})-1\,|\,d\vartheta\leqq \varPhi\,(\varepsilon)= 2\pi \sqrt{2\varepsilon}\cdot(\sqrt{1+\varepsilon}+1)\; \sqrt{1+\dfrac{\varepsilon}{2(1+\sqrt{1-\varepsilon})^2}}\\ \leqq 2\pi \;\sqrt{2\varepsilon}\biggl( 1+\frac{\varepsilon}{4}\biggr)\biggl(2+\frac{\varepsilon}{2}\biggr). \end{multlined} \] Heraus wird eine von \textit{Bieberbach} (1924; F. d. M. 50, 640 (JFM 50.0640.*)) gewonnene Abschätzung (mit einer unwesentlich besseren Schranke) gefolgert: Es gilt \[ |\,f(z)-z\,|\leqq \tfrac{1}{2}\varPhi(\varepsilon) \] gleichmäßig in \(|\,z\,|\leqq 1\). Verf. beweist dann folgende Verallgemeinerung des obigen Satzes : Die geschlossenen rektifizierbaren \textit{Jordan}kurven \(C_n\) (\(n = 1\), 2, \dots ) in der \(w\)-Ebene mögen gegen die geschlossene rektifizierbare \textit{Jordan}kurve \(C\) konvergieren. Ferner gelte für die Längen \(L_n\) und \(L\) von \(C_n\) bzw. \(C\): \(\lim L_n= L\). Die Funktionen \(w=f_n(z)\) (\(n = 1\), 2, \dots ) bzw. \(w=f(z)\) mögen \(|\, z\, | < 1\) so auf das Innere von \(C_n\) bzw. \(C\) abbilden, daß \(f_n(0)=f(0)=w_0\) ist, wo \(w_0\) dem Inneren aller \(C_n\) und dem von \(C\) angehört, und daß \(f_n^\prime\) und \(f'(0)\) positiv reell ist. Dann gilt gleichmäßig für alle \(r\) mit \(0\leqq r<1\): \[ \lim_{n\to\infty }\textstyle \int\limits_{0}^{2\pi } \displaystyle |\,f_n^\prime(re^{i\vartheta})-f'\,(re^{i\vartheta})\,| \,d\vartheta=0 \] Hieraus wird gefolgert: \(f_n(z)\to f(z)\) gleichmäßig in \(|\,z\,|\leqq 1\). Verf. setzt dann mehr über \(C_n\) und \(C\) voraus, nämlich, daß \(C_n\) und \(C\) durchweg stetige Tangenten besitzen, und daß bei der Konvergenz von \(C_n\) gegen \(C\) die Tangenten von \(C_n\) gegen entsprechende Tangenten von \(C\) konvergieren, und erhält folgendes Resultat: Für jedes feste \(p>0\) gilt \[ \lim_{n\to\infty }\textstyle \int\limits_{0}^{2\pi } \displaystyle |\,f_n^\prime(re^{i\vartheta})-f'(re^{i\vartheta})\,|^p\,d\vartheta=0 \] gleichmäßig für alle \(r\) mit \(0\leqq r < 1\).