No label defined (Q4338538)

Der Autor untersucht Abbildungen durch eine in einer einer Kreisscheibe analytische Funktion, wobei die Abbildungen auf dem Rand der Kreisscheibe bezüglich der hyperbolischen bzw. sphärischen Metrik noch längentreu sind. Dies führt mit einem konstanten \(\alpha>0\) auf die nichtlineare Randwertaufgabe \[ | f'(z)|= 1\mp \alpha| f(z)|^2\quad\text{für }| z|= 1\tag{\(*\)} \] (``\(-\)'' im hyperbolischen, ``\(+\)'' im sphärischen Fall). Betrachtet werden insbesondere nichtschlichte und in \(\{| z|\leq 1\}\) noch analytische Lösungen \(f= f(z)\) von \((*)\) mit \(f(0)= 0\), da die schlichten Lösungen leicht aus Kongruenzabbildungen gewonnen werden können, wie zuerst bewiesen wird. Mit Hilfe einer Folge \(\{f_n(z)\}\) von in \(\{| z|\leq 1\}\) analytischen Funktionen, die im wesentlichen mittels \(f_0(z)\equiv 0\) und \[ \log\Biggl|{f_{n+ 1}'(z)\over z- z_0}\Biggr|= \log {1\mp\alpha| f_n(z)|^2\over| z- z_0|}\quad\text{für }| z|= 1 \] für alle \(n= 0,1,2,\dots\) definiert wird, konstruiert der Autor eine Lösung \(f= f(z): \lim_{n\to\infty} f_n(z)\) von \((*)\) mit \(f'(z_0)= 0\), wobei die Stelle \(z_0\) mit \(0<| z_0|< 1\) nur eine bestimmte (technische) Voraussetzung erfüllen muß. Wegen \(f'(z_0)= 0\) für ein \(z_0\neq 0\) kann \(f\) dann nicht die Form \(\text{const}\cdot z^n\) haben. Diese Lösung \(f\) ist -- wie auch alle Funktionen \(f_n\) -- sogar in einer festen Kreisscheibe \(\{z| z|< 1+\alpha_0\}\) mit \(\delta_0>0\) analytisch. Sie scheint sich allerdings nicht durch elementare Funktionen in einfacher Weise geschlossen darstellen zu lassen.