Sur quelques majorantes de la théorie des fonctions univalentes. (Q2612112)

Verf. beweist den Satz: Sind \(f(z)\) und \(F(z)\) zwei in \(|z|<1\) reguläre schlichte Funktionen mit \(f(0)=F(0)=0\), \(\arg f'(0)=\arg F'(0)\), die \(|z|<1\) auf die Gebiete \(d\) bzw. \(D\) mit \(d\subset D\) abbilden, so gilt, wenn \(f(z)\not\equiv F(z)\): \[ |f(z)|<|F(z)| \tag{*} \] für \(0<|z|<r_0\), wo \(r_0\) der Gleichung genügt: \[ \log\frac{1+r_0}{1-r_0}+2\operatorname{ arc tg}r_0-\frac\pi2=0; \] es ergibt sich \(r_0=0{,}390\ldots\); der Satz gilt für keinen größeren Wert von \(r_0\). Zum Beweis wird \(d\) stetig in \(D\) übergeführt und dabei nach \textit{Julia} (Ann. Ecole norm. (3) 39 (1922), 1-28; F.~d.~M. 48, 404) die Änderung \(\delta f(z)\) von \(f(z)\) in einem festen Punkte \(z\) in Abhängigkeit von der Änderung des Randes \(c\) von \(d\) durch ein Integral über \(c\) ausgedrückt. In \(|z|<r_0\) ist dann auf Grund einer vom Ref. für \(\log\dfrac{zf'(z)}{f(z)}\) angegebenen Abschätzung (Neue Abschätzungen zur konformen Abbildung ein- und mehrfach zusammenhängender Bereiche, Schriften math. Sem. u. Inst. angew. Math. Berlin 1 (1932), 96-140, insbesondere S.~130; F.~d.~M. 58) stets \(\arg\dfrac {\delta f(z)}{f(z)}<\dfrac\pi2\), was die Behauptung ohne weiteres nach sich zieht. Andererseits liefert die Schrankenfunktion für jene Abschätzung einen Bildbereich \(D\), zu dem ein Teilgebiet \(d\) existiert, derart, daß (*) nicht mehr erfüllt ist, wenn \(|z|>r_0\). Einige weitere Sätze ähnlicher Art werden ohne Beweis mitgeteilt. (IV~4~H.)