Neue Abschätzungen zur konformen Abbildung ein- und mehrfach zusammenhängender Bereiche. (Q565893)

Es sei \(\mathfrak B\) ein schlichter, \(n\)-fach zusammenhängender Beraich der \(\zeta \)-Ebene. Sein Rand \(K\) bestehe aus \(n\) im Endlichen liegenden geschlossenen analytischen Kurven \(K_{\nu }\), deren keine durch den Nullpunkt geht. \(f(\zeta )\) sei in \(\mathfrak B\) (eindeutig) meromorph und besitze dort höchstens endlich viele Nullstellen und Pole, sei aber auf \(K\) von 0 und \(\infty \) verschieden. Ist nun \(f(\zeta ) = re^{i \varphi }\), so handelt es sich in erster Hinsicht um Abschätzungen der Größe \[ L = \frac {1}{2 \pi } \int _K \log rd \varphi \,. \] Um zunächst \(L\) nach unten abzuschätzen, geht Verf. von der folgenden einfachen Bemerkung aus: Ist \(g(\zeta )\) eine in \(\mathfrak B\) meromorphe, hinsichtlich der Nullstellen und Pole mit \(f(\zeta )\) übereinstimmende Funktion, also \[ F (\zeta ) = \frac {f (\zeta )}{g(\zeta )} = Re^{i \Phi } \] in \(\mathfrak B\) regulär und \(\neq 0\), so ist \[ \int _K \log Rd \Phi = \int _{\mathfrak B} \int \left | \frac {d}{d \zeta } \log F (\zeta ) \right |^2 d \omega \geq 0 \,, \] und das Gleichheitszeichen gilt nur für \(F(\zeta ) \equiv \text{const}\). Die Methode, welche Verf. entwickelt, besteht nun darin, daß er die Funktion \(g(\zeta )\) aus speziellen Funktionen aufbaut, die den Bereich \(\mathfrak B\) auf die längs gewisser endlicher Bögen von logarithmischen Spiralen (mit 0 als Asymptotenpunkt und gleicher Staigung) geschlitzte Ebene abbilden (vgl. \textit{Koebe}, 1918; F. d. m. 46, 545). Die Spiralen können in Strahlen durch 0 bzw. Kreise um 0 ausarten. Schließlich wird \(g(\zeta )\) so konstruiert, daß es mit \(f (\zeta )\) auch noch bezüglich der Umlaufszahlen \(\pi _{\nu }\) der Bilder von \(K_{\nu }\) (um 0) übereinstimmt. Verf. erreicht dadurch, daß der von \(g(\zeta )\) herrührende Bestandteil in \(\int _K \log Rd \Phi \) berechenbar wird, und bekommt so die gewünschte untere Abschätzung von \(L\). Im Falle \[ f (\zeta ) = a_1 \zeta + a_2 \zeta ^2 + \dots, \quad |\zeta | \leq 1, \; a_1 \neq 0 \] und \[ f(\zeta ) \neq 0 \quad \text{für} \quad 0 < | \zeta | \leq 1 \] ist diese Abschätzung elementar. Hier wird \(g(\zeta ) = \zeta \), und man erhält \[ |a_1| \leq e^L \,. \] Wesentlich einfacher ist die Bestimmung oberer Grenzen für \(L\). Bezeichnet \(a_{\omega }\) die Anzahl der \(\omega \)-Stellen von \(f(\zeta )\) in \(\mathfrak B\), und wird \[ a_0 \leq a_{\omega } \leq a_{\infty } \quad \text{oder} \quad a_{\infty } \leq a_{\omega } \leq a_0 ; \; m = a_0 - a_{\infty } \neq 0 \] für jedes \(\omega \) vorausgesetzt, so gilt \[ \frac {L}{m} \leq \frac {1}{2} \log \frac {D}{m \pi } \quad \text{mit} \quad D = \frac {1}{2} \int _K r^2 d \varphi \,. \] \(D\) ist im wesentlichen der Flächeninhalt des Bildberieches. Das Gleichheitszeichen ist leicht zu diskutieren. Der einfache und anschlauliche Beweis macht von einem an sich bemerkenswerten Zusatz zu der klassischen Ungleichung zwischen arithmetischem und geometrischem Mittel Gebrauch. Die obigen Abschätzungen von \(L\) bilden nun die Grundlage des Studiums der Abbildung von \(\mathfrak B\) und zeigen hier eine deutliche Analogie zu den \textit{Bieberbach}schen Flächensätzen (1914, 1916; F. d. M. 45, 670 (JFM 45.0670.*); 46, 552), über die sie aber teilweise erheblich hinausgehen. Wir nennen hier nur einige der interessanten Anwendungen: I. \(\mathfrak B\) enthalte \(\infty \) im Inneren, \(f(\zeta )\) sei schlicht mit \(f(\infty ) = \infty \), \(f' (\infty ) =1\). Dann gibst es zu jedem \(z\) aus \(\mathfrak B\) zwei Zahlen \(r(z) > 0\) und \(m(z)\), so daß für jedes \(f(z)\) \[ | \log f' (z) - m(z) | \leq r(z) \quad (\log f' (\infty ) = 0) \] gilt. Das Gleichheitszeichen wird bei gewissen \(\mathfrak B\) auf die längs logaritmischen Spiralbögen (mit \(f(z)\) als Asymptotenpunkt) geschlitzte Ebene abbildenden Funktionen erreicht. (Vgl. \textit{Grötzsch}, Berichte Leipzig 83 (1931), 283-297; JFM 57.0402.*.) Ist \(\mathfrak B\) das äußere des Einheitskreises, so erhält man inbesondere \[ | \log f' (z) | \leq \log \frac {|z|^2}{|z|^2 - 1} \] mit den Extremalfunktionen \[ (\zeta - z) \left ( 1 - \frac {1}{\overline {z} \zeta } \right )^{\varepsilon } + C \quad (| \varepsilon | =1 ) \,. \] (Vgl. \textit{Löuner}, 1919; F. d. M. 47, 325 (JFM 47.0325.*).) II. \(s(z)\) sei für \(| z| < 1\) regulär und schlicht. Ferner sei \(s(0) = 0\), \(s' (0) =1\). Mittels rationaler Hilfsabbildungen zweiten Grades wird dieser Fall auf die Ergebnisse in I zurückgeführt. Man findet \[ \begin{aligned} & \left | \log \frac {s(z)}{z} + \log (1 - |z|^2) \right | \leq \log \frac {1 + |z|}{1 -|z|} \,, \\ & \left | \log \frac {s'(z) \cdot z}{s(z)} \right | \leq \log \frac {1 + |z|}{1 -|z|} \,,\\ & \left | \log s'(z) + \log (1 - |z|^2) \right | \leq 2 \log \frac {1 + |z|}{1 -|z|} \,. \end{aligned} \] Die \(\log \) sollen in 0 verschwinden. Zu den Extremalfunktionen gehören die von der Form \(\frac {z}{(1 - \varepsilon z)^2}\), \(|\varepsilon | = 1\). Diese Ungleichungen verschärfen die bekannten Verzerrungssätze für die \(s(z)\).