Über die Ränderzuordnung bei konformen Abbildungen (Q1565458)

Die Arbeit behandelt vor allem das Randverhalten der Ableitungen einer im Einheitskreise (E.K.) \(| z| < 1\) regulären Funktion \(w = f(z)\), welche diesen auf gewisse einfach zusammenhängende Gebiete \(G\) abbildet. Im 1. Kapitel wird zunächst der bekannte Satz von Fatou über die Existenz von Randwerten einer im E.K. beschränkten analytischen Funktion auf dem von \textit{C. Carathéodory} [Math. Ann. 73, 305--320 (1913; JFM 44.0757.01)] angegebenen Wege bewiesen. Daran werden einige (z. T. bekannte) Folgerungen geknüpft: Die in \(| z| < 1\) reguläre Funktion \(f(z)\) hat fast überall auf \(| z|=1\) bei nichttangentieller Annäherung Randwerte \(f(e^{i\theta})\), wenn a) \(\text{Re}\, f(z)\geq 0\) in \(| z| < 1\) oder b) \(\int_0^{2\pi} | f(re^{i\theta})|\,d\theta < k\) für alle \(r\) mit \(0<r<1\) gilt, wo \(k\) von \(r\) frei ist ([\textit{A. Plessner}, Zur Theorie der konjugierten trigonometrischen Reihen. Inaug. Diss. Gießen 1923, Mitt. Math. Sem. Gießen, Heft 10, 36 S. (1923; JFM 49.0204.02)]; s. auch die zitierte Arbeit von \textit{F. Riesz}), oder c) \(f(z)\) in \(| z| < 1\) schlicht ist. Im Falle b) ist \(f(e^{i\theta})\) integrabel. Im 2. Kapitel, in dem die eigentlichen Untersuchungen beginnen, wird zunächst die Abbildung von Gebieten \(G\) mit rektifizierbarer Randkurve \(C\) systematisch behandelt und hierbei vor allem das Resultat gewonnen (von dem Teile bereits von anderen Autoren [\textit{F. Riesz} und \textit{M. Riesz}, C. R. du quatrième Congr. des Math. Scand., Stockholm 1916, 27--44 (1916; JFM 47.0295.03); \textit{F. Riesz}, Math. Z. 18, 87--95 (1923; JFM 49.0225.01), siehe insbesondere S. 94, 95; \textit{L. Bieberbach}, Berl. Ber. 1924, 181--188 (1924; JFM 50.0640.01)] her bekannt sind): \(f(z)\) sei in \(| z| < 1\) regulär und schlicht. Dann ist notwendig und hinreichend dafür, daß der Rand des Bildgebietes von \(f(z)\) eine stetige, rektifizierbare Kurve ist, daß \(\int_0^{2\pi} | f(re^{i\theta})| r\,d\theta < l\), \(l> 0\), für alle \(r < 1\) gilt. Wenn die Länge der Kurve \(=l\) ist, so sind die Längen \(l_r\), sämtlicher ,,Niveaukurven'' [d.h. der Kurven \(w = f(re^{i\theta})\), \(0\leq\theta\leq 2\pi\), \(0 < r < 1\), \(r\) fest] \(< 1\). Dann ist ferner \(f(z)\) in \(| z|\leq 1\) stetig, auf \(| z|= 1\) von beschränkter Variation, und die Totalvariation von \(f(z)\) auf \(| z|= 1\) ist \(=l\). Ferner gilt \(\lim_{r\to 1}l_r=l\). Schließlich hat \(f(z)\) auf \(| z|= 1\) fast überall Randwerte \(f'(e^{i\theta})\) bei nichttangentieller Annäherung, und \(| f'(e^{i\theta})|\), ist \(L\)-integrabel für \(0\leq\theta\leq 2\pi\). Ferner wird der Begriff eines ,,Gebietes von beschränktem Umfang'' definiert, und es wird gezeigt, daß die Klasse dieser Gebiete identisch ist mit der Gesamtheit der von einer geschlossenen rektifizierbaren Kurve berandeten Gebiete. Weiterhin werden Abbildungen untersucht, bei denen \(G\) a) sternförmig in bezug auf einen Punkt, z. B. den Nullpunkt, und b) konvex ist. Es wird nach \textit{T. Radó} [Math. Ann. 102, 428--429 (1929; JFM 55.0208.02); vgl. auch \textit{S. Takahashi}, Jap. J. Math. 7, 161--162 (1930; JFM 56.0986.01)] bewiesen, daß bei der Abbildung die ,,Niveaukurven'' sternförmig in bezug auf den Nullpunkt (hier ist \(f(0) = 0\)) bzw. konvex sind, wenn \(G\) diese Eigenschaft hat. Ferner existiert im Falle a) \(\lim f'(z)\) und im Falle b) \(\lim f'(z)\) und \(\lim f''(z)\) fast überall auf \(| z|= 1\) bei nichttangentieller Annäherung. Im Falle b) gibt es eine Konstante \(c < 0\), so daß für die so bestimmte Randfunktion \(\lim f'(z) = \psi(\theta)\) überall, wo sie existiert, \(|\psi(\theta)| \geq c\) gilt. Ferner ist \(|\psi(\theta)|\) integrabel, wenn \(G\) beschränkt ist. Den Untersuchungen des 3. Kapitels liegen Gebiete \(G\) zugrunde, welche berandet sind von geschlossenen rektifizierbaren Jordan Kurven \(C\) mit ,,beschränkter Krümmung'', d. h. \(C\) besitzt stetige Tangente, die mit der positiven reellen Achse den Winkel \(\varphi(s)\), \(s\) Bogenlänge längs \(C\), einschließt, und es gilt \(|\varphi(s+h)-\varphi(s)|\leq k\cdot| h|\), \(k\) Konstante. Bildet \(w = f(z)\), \(| z| < 1\) auf ein solches Gebiet ab, so ist \(f'(z)\) in \(| z| \leq 1\) stetig [vgl. hierzu auch \textit{O. D. Kellogg}, Trans. Am. Math. Soc. 13, 109--132 (1912; JFM 43.0889.01), s. insbesondere S. 122], auf \(| z| = 1\) total stetig. Ferner hat \(f''(z)\) auf \(| z|=1\) fast überall Randwerte \(f''(e^{i\theta})\) bei nichttangentieller Annäherung und \(| f''(e^{i\theta})|\,p\) ist für alle \(p > 0\) \(L\)-integrabel. Zum Beweise wird zuerst gezeigt, daß \(\lim f'(z) = \psi(\theta)\) bei nichttangentieller Annäherung durchweg auf \(| z| =1\) existiert und absolut zwischen 2 positiven Schranken liegt. Dieser Teil des Beweises stützt sich auf den folgenden Satz von \textit{C. Carathéodory} [Sitzungsber. Akad. Berlin 1929, 39--54 (1929; JFM 55.0209.02)]. (Der Satz gilt für Gebiete allgemeineren Charakters als hier angegeben, aber nur der angegebene Satz wird in der Arbeit benutzt.): Ist \(G\) ein von einer geschlossenen Jordan-Kurve \(C\) begrenztes Gebiet, und gibt es in einem Punkt \(P\) von \(C\) einen \(C\) von innen und einen von außen ,,berührenden'' Kreis, so hat die Abbildungsfunktion \(f(z)\) von \(| z| < 1\) auf \(G\) in dem \(P\) entsprechenden Originalpunkt \(z_0\) auf \(| z|=1\) eine ,,Winkelderivierte'' [d. h. \(\lim_{z\to z_0} f'(z)\) existiert bei nicht tangentieller Annäherung von \(z\) an \(z_0\)]. Die geometrische Voraussetzung der ,,beschränkten Krümmung'' wird dabei in der Weise ausgenutzt, daß man unter dieser Annahme einen Kreis mit festem Radius längs \(C\) von ,,innen'' und ,,außen'' ,,abrollen'' lassen und so die Konfiguration des Carathéodoryschen Satzes für jeden Punkt von \(C\) mit 2 festen Kreisen herstellen kann. Die eigentlichen Behauptungen des Satzes ergeben sich dann unter Zuhilfenahme des folgenden auch an sich interessanten Hilfssatzes über zueinander konjugierte trigonometrische Reihen: Es sei \(\sum_{n=1}^\infty (a_n \cos n\theta + b_n \sin n\theta)\) die Fouriersche Reihe der totalstetigen periodischen Funktion \(\chi(\theta)\) mit der Periode \(2\pi\) und einer von der Potenz \(p > 1\) integrablen Ableitung. Dann ist die konjugierte trigonometrische Reihe \(\sum_{n=1}^\infty (-b_n \cos n\theta + a_n \sin n\theta)\) die Fourier-Reihe einer totalstetigen Funktion \(\chi(\theta)\), die eine in der Potenz \(p\) integrable Ableitung hat. (Der Beweis dieses Hilfssatzes verwendet einen wichtigen Satz von \textit{M. Riesz} [Math. Z. 27, 218--244 (1927; JFM 53.0259.02)] über konjugierte Potentialfunktionen.) Im 4. Kapitel wird folgender Satz über die höheren Ableitungen von \(f(z)\) bewiesen: Die Randkurve \(C\) von \(G\) habe die Eigenschaft, daß \(\varphi(s),\varphi'(s), \ldots,\varphi^{n-2}(s)\), \(n\geq 3\), totalstetig und \(\varphi^{n-1}(s)\) von der \(p\) ten Potenz, \(p > 1\), \(L\)-integrabel ist. Dann ist \(f^{(n-1)}(z)\) in \(| z| \leq 1\) stetig, auf \(| z| = 1\) totalstetig und \(f^{(n)}(z)\) hat fast überall Randwerte \(f^{(n)}(e^{i\theta})\) auf \(| z| = 1\) bei nichttangentieller Annäherung. Ferner ist \(| f^{(n)}(e^{i\theta})|\) von der \(p\)-ten Potenz \(L\)-integrabel. Das 5. Kapitel bringt eine Reihe von interessanten Beispielen für das Verhalten von \(f'(z)\) bei der Abbildung konvexer und sternförmiger Gebiete am Rande des \(E.K.\) Sie zeigen, wie die Ausnahmemengen vom Maße \(0\) in den oben angegebenen Sätzen beschaffen sein können.