Über analytische Funktionen, die in Teilgebieten des Einheitskreises beschränkt sind. (Q1829904): Difference between revisions

\(\mathfrak G\) sei ein beliebiger einfach zusammenhängender Teilbereich des Einheitskreises Ist \(f(z)\) in \(\mathfrak G\) regulär und \(|f(z)| < 1\), ist ferner bei Annäherung an jeden in \(|z| < 1\) gelegenen Randpunkt von \(\mathfrak G\) \[ \limsup |f(z)| \leqq \delta, \] so ist \[ |f(z)| \leqq \delta^{\tfrac{2}{\pi} \arcsin\tfrac{1}{\sqrt{2}} e^{-\{z\}}} \] Dabei ist \(\{z\}\) der Abstand von \(z\) und dem Rand von \(\mathfrak G\) im Sinn der kreisgeometrischen Maßbestimmung. Beim Beweis spielt der folgende Satz eine Rolle: \(\varphi(x) = q(x + \cdots)\), \(q > 0\), bilde den Einheitskreis auf einen Bereich ab, der aus diesem durch Weglassen eines \textit{Jordan}schen Kurvenbogens entsteht, der \(\varphi = 0\) nicht trifft. Der Jordanbogen gehe aus einem Kreisbogen der Länge \(\alpha\) hervor: Dann ist \[ \alpha \geqq 2 \arccos q \geqq 4 \arcsin \frac{1}{\sqrt{2}} e^{-\varDelta}, \] wo \(\varDelta\) der kreisgeometrische Abstand von \(\varphi = 0\) und der \textit{Jordan}kurve ist.