{"entities":{"Q565893":{"pageid":567660,"ns":120,"title":"Item:Q565893","lastrevid":62792007,"modified":"2026-04-11T08:28:40Z","type":"item","id":"Q565893","labels":{"en":{"language":"en","value":"Neue Absch\u00e4tzungen zur konformen Abbildung ein- und mehrfach zusammenh\u00e4ngender Bereiche."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2550085"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q565893$C9EFD2BB-3D74-482A-B1AE-42D17380A380","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78d7690d84d6b047b142aefb656ea1048d9d1638","datavalue":{"value":{"text":"Neue Absch\u00e4tzungen zur konformen Abbildung ein- und mehrfach zusammenh\u00e4ngender Bereiche.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q565893$DB9CA122-7B51-47D7-A17A-D2AB20F602C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2b514fb65c7d16fa65002cf24adcb90e91c29ad","datavalue":{"value":"58.0361.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q565893$A5D61FA9-AE5C-4AEA-8E0A-BA71E758C55A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q565893$3D5A818F-9A3D-4E81-A7B0-79B6539A2025","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fb0ced314cbfc33e3a29b8b48f7056dd6b8062d","datavalue":{"value":"https://eudml.org/doc/204228","type":"string"},"datatype":"url"},"type":"statement","id":"Q565893$69801226-2536-46F1-9172-68BAE1C8DFF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"739df17aa9a17a4780fb5a4462e7780769e705f3","datavalue":{"value":"Es sei \\(\\mathfrak B\\) ein schlichter, \\(n\\)-fach zusammenh\u00e4ngender 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\u00f6chstens 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\u00e4tzungen der Gr\u00f6\u00dfe  \\[ L = \\frac {1}{2 \\pi } \\int _K \\log rd \\varphi \\,. \\]  Um zun\u00e4chst \\(L\\) nach unten abzusch\u00e4tzen, geht Verf. von der folgenden einfachen Bemerkung aus: Ist \\(g(\\zeta )\\) eine in \\(\\mathfrak B\\) meromorphe, hinsichtlich der Nullstellen und Pole mit \\(f(\\zeta )\\) \u00fcbereinstimmende Funktion, also  \\[ F (\\zeta ) = \\frac {f (\\zeta )}{g(\\zeta )} = Re^{i \\Phi } \\]  in \\(\\mathfrak B\\) regul\u00e4r 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\u00fcr \\(F(\\zeta ) \\equiv \\text{const}\\). Die Methode, welche Verf. entwickelt, besteht nun darin, da\u00df er die Funktion \\(g(\\zeta )\\) aus speziellen Funktionen aufbaut, die den Bereich \\(\\mathfrak B\\) auf die l\u00e4ngs gewisser endlicher B\u00f6gen 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\u00f6nnen in Strahlen durch 0 bzw. Kreise um 0 ausarten. Schlie\u00dflich wird \\(g(\\zeta )\\) so konstruiert, da\u00df es mit \\(f (\\zeta )\\) auch noch bez\u00fcglich der Umlaufszahlen \\(\\pi _{\\nu }\\) der Bilder von \\(K_{\\nu }\\) (um 0) \u00fcbereinstimmt. Verf. erreicht dadurch, da\u00df der von \\(g(\\zeta )\\) herr\u00fchrende Bestandteil in \\(\\int _K \\log Rd \\Phi \\) berechenbar wird, und bekommt so die gew\u00fcnschte untere Absch\u00e4tzung 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\u00fcr} \\quad 0 < | \\zeta | \\leq 1 \\]  ist diese Absch\u00e4tzung elementar. Hier wird \\(g(\\zeta ) = \\zeta \\), und man erh\u00e4lt  \\[ |a_1| \\leq e^L \\,. \\]   Wesentlich einfacher ist die Bestimmung oberer Grenzen f\u00fcr \\(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\u00fcr 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\u00e4cheninhalt 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\u00e4tzungen 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\u00e4chens\u00e4tzen (1914, 1916; F. d. M. 45, 670 (JFM 45.0670.*); 46, 552), \u00fcber 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\u00df f\u00fcr 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\u00e4ngs logaritmischen Spiralb\u00f6gen (mit \\(f(z)\\) als Asymptotenpunkt) geschlitzte Ebene abbildenden Funktionen erreicht. (Vgl. \\textit{Gr\u00f6tzsch}, Berichte Leipzig 83 (1931), 283-297; JFM 57.0402.*.)  Ist \\(\\mathfrak B\\) das \u00e4u\u00dfere des Einheitskreises, so erh\u00e4lt 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\u00f6uner}, 1919; F. d. M. 47, 325 (JFM 47.0325.*).)  II. \\(s(z)\\) sei f\u00fcr \\(| z| < 1\\) regul\u00e4r und schlicht. Ferner sei \\(s(0) = 0\\), \\(s' (0) =1\\).  Mittels rationaler Hilfsabbildungen zweiten Grades wird dieser Fall auf die Ergebnisse in I zur\u00fcckgef\u00fchrt. 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\u00f6ren die von der Form \\(\\frac {z}{(1 - \\varepsilon z)^2}\\), \\(|\\varepsilon | = 1\\). Diese Ungleichungen versch\u00e4rfen die bekannten Verzerrungss\u00e4tze f\u00fcr die \\(s(z)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q565893$42B63F14-2E1A-41C5-9D82-5606280F3134","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1882ab4116ada8b6691caefe4f92f2df4828b1b0","datavalue":{"value":"2550085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q565893$F8C8D090-9A76-49B3-8774-50A41F057A40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"def744f88580f8eae869ba47dbbbef08e7c15463","datavalue":{"value":{"entity-type":"item","numeric-id":768416,"id":"Q768416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q565893$FFF112DF-0C80-4471-A4EF-E313BE722779","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q565893$DE3F152E-E026-496D-B82B-59FD0D92E972","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Neue Absch\u00e4tzungen zur konformen Abbildung ein- und mehrfach zusammenh\u00e4ngender Bereiche.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Neue_Absch%C3%A4tzungen_zur_konformen_Abbildung_ein-_und_mehrfach_zusammenh%C3%A4ngender_Bereiche."}}}}}