www.wikidata.de-de.nina.az
Die Nevanlinna Theorie benannt nach ihrem Begrunder Rolf Nevanlinna gehort in das mathematische Teilgebiet der Funktionentheorie Sie trifft Aussagen uber die Werteverteilung meromorpher Funktionen Inhaltsverzeichnis 1 Uberblick 2 Die Nevanlinna Charakteristik 3 Die Nevanlinnaschen Hauptsatze 4 Die Defektrelation 5 Weitere Resultate zu Defekten 6 Anwendungen 7 Verallgemeinerungen 8 Literatur 9 EinzelnachweiseUberblick BearbeitenGrundgedanke der Nevanlinna Theorie 1 oder Werteverteilungstheorie ist es eine quantitative Fassung des Satzes von Picard zu gewinnen Dieser Satz besagt dass es fur verschiedene Werte a 1 a 2 a 3 displaystyle displaystyle a 1 a 2 a 3 nbsp aus der Riemannschen Zahlenkugel C displaystyle displaystyle overline mathbb C nbsp keine nicht konstante meromorphe Funktion f C C a 1 a 2 a 3 displaystyle displaystyle f mathbb C to overline mathbb C setminus a 1 a 2 a 3 nbsp gibt Um eine quantitative Fassung dieses Satzes zu gewinnen betrachtet man fur r gt 0 displaystyle displaystyle r gt 0 nbsp und a C displaystyle displaystyle a in overline mathbb C nbsp die Anzahl n r a f displaystyle displaystyle n r a f nbsp der a displaystyle displaystyle a nbsp Stellen einer nicht konstanten meromorphen Funktion f displaystyle displaystyle f nbsp im abgeschlossenen Kreis um 0 mit Radius r displaystyle displaystyle r nbsp Dabei werden die a displaystyle displaystyle a nbsp Stellen gemass Vielfachheit gezahlt Es stellt sich als geeigneter heraus statt der Funktion n r a f displaystyle displaystyle n r a f nbsp die integrierte Anzahlfunktion N r a f 0 r n t a f t d t displaystyle displaystyle N r a f int 0 r frac n t a f t dt nbsp zu betrachten Fur a f 0 displaystyle displaystyle a f 0 nbsp muss dies geringfugig modifiziert werden siehe unten Nevanlinna definierte nun eine charakteristische Funktion T r f displaystyle displaystyle T r f nbsp die mit r displaystyle displaystyle r nbsp gegen unendlich strebt und zeigte dass fur die meisten Werte von a displaystyle displaystyle a nbsp die Funktionen T r f displaystyle displaystyle T r f nbsp und N r a f displaystyle displaystyle N r a f nbsp von der gleichen Grossenordnung sind Genauer besagen seine beiden Hauptsatze dass N r a f T r f O 1 displaystyle displaystyle N r a f leq T r f O 1 nbsp fur alle a C displaystyle displaystyle a in overline mathbb C nbsp und j 1 q N r a j f q 2 T r f S r f displaystyle sum j 1 q N r a j f geq q 2 T r f S r f nbsp fur verschiedene a 1 a 2 a q C displaystyle displaystyle a 1 a 2 dots a q in overline mathbb C nbsp mit einem im Vergleich zu T r f displaystyle displaystyle T r f nbsp sehr kleinen Fehlerterm S r f displaystyle displaystyle S r f nbsp Der Picardsche Satz folgt hieraus unmittelbar Die Nevanlinna Charakteristik BearbeitenDamit das die Funktion N r a f displaystyle displaystyle N r a f nbsp definierende Integral auch fur a f 0 displaystyle displaystyle a f 0 nbsp existiert definiert man die Anzahlfunktion genauer als oben angegeben durch N r a f 0 r n t a f n 0 a f t d t n 0 a f log r displaystyle N r a f int 0 r frac n t a f n 0 a f t dt n 0 a f log r nbsp Offensichtlich gilt n r a f n r 1 f a displaystyle displaystyle n r a f n r infty 1 f a nbsp und N r a f N r 1 f a displaystyle displaystyle N r a f N r infty 1 f a nbsp fur a C displaystyle displaystyle a in mathbb C nbsp Kurz schreibt man auch N r f N r f displaystyle displaystyle N r f N r infty f nbsp womit N r 1 f a N r a f displaystyle displaystyle N r 1 f a N r a f nbsp fur a C displaystyle displaystyle a in mathbb C nbsp Des Weiteren definiert man die Schmiegungsfunktion durch m r f m r f 1 2 p 0 2 p log f r e i 8 d 8 displaystyle m r f m r infty f frac 1 2 pi int 0 2 pi log f re i theta d theta nbsp wobei log x max 0 log x displaystyle displaystyle log x max 0 log x nbsp Fur a C displaystyle displaystyle a in mathbb C nbsp setzt man entsprechend m r a f m r 1 f a displaystyle displaystyle m r a f m r infty 1 f a nbsp Die Nevanlinna Charakteristik T r f displaystyle displaystyle T r f nbsp ist dann definiert durch T r f N r f m r f displaystyle displaystyle T r f N r f m r f nbsp Es gilt T r f displaystyle displaystyle T r f to infty nbsp fur r displaystyle displaystyle r to infty nbsp wenn f displaystyle displaystyle f nbsp nicht konstant ist Ist f displaystyle displaystyle f nbsp transzendent gilt sogar lim r T r f log r displaystyle lim r to infty frac T r f log r infty nbsp Fur ganze Funktionen ist der Maximalbetrag M r f max z r f z displaystyle M r f max z leq r f z nbsp ein Mass fur das Wachstum der Funktion Fur 1 lt r lt R displaystyle displaystyle 1 lt r lt R nbsp gilt T r f log M r f R r R r T R f displaystyle T r f leq log M r f leq dfrac R r R r T R f nbsp Die Ordnung r f displaystyle displaystyle rho f nbsp einer meromorphen Funktion f displaystyle displaystyle f nbsp ist definiert durch r f lim sup r log T r f log r displaystyle rho f limsup r rightarrow infty dfrac log T r f log r nbsp Fur ganze Funktionen kann man aufgrund der obigen Beziehung zwischen Nevanlinna Charakteristik und Maximalbetrag hier T r f displaystyle displaystyle T r f nbsp durch log M r f displaystyle displaystyle log M r f nbsp ersetzen Funktionen endlicher Ordnung bilden eine wichtige und ausfuhrlich untersuchte Klasse meromorpher Funktionen Alternativ zur Nevanlinna Charakteristik kann man auch eine von Lars Valerian Ahlfors und Shimizu Tatsujirō eingefuhrte Variante verwenden Die Ahlfors Shimizu Charakteristik unterscheidet sich von der Nevanlinna Charakteristik nur um einen beschrankten Term Die Nevanlinnaschen Hauptsatze BearbeitenDer Erste Hauptsatz besagt dass fur alle a C displaystyle a in overline mathbb C nbsp T r f N r a f m r a f O 1 displaystyle displaystyle T r f N r a f m r a f O 1 nbsp gilt Insbesondere gilt also N r a f T r f O 1 displaystyle displaystyle N r a f leq T r f O 1 nbsp Der erste Hauptsatz ist eine einfache Folgerung aus der Jensenschen Formel Wesentlich tiefer liegt der Zweite Hauptsatz Dieser besagt dass fur verschiedene a 1 a 2 a q C displaystyle displaystyle a 1 a 2 dots a q in overline mathbb C nbsp die Ungleichung j 1 q m r a j f 2 T r f N 1 r f S r f displaystyle sum j 1 q m r a j f leq 2T r f N 1 r f S r f nbsp gilt wobei N 1 r f 2 N r f N r f N r 1 f 0 displaystyle displaystyle N 1 r f 2N r f N r f N left r dfrac 1 f right geq 0 nbsp und S r f displaystyle displaystyle S r f nbsp ein im Vergleich zu T r f displaystyle displaystyle T r f nbsp kleiner Fehlerterm ist Genauer gilt dass eine Menge E 1 displaystyle displaystyle E subset 1 infty nbsp von endlichem Mass existiert so dass S r f O log T r f O log r displaystyle displaystyle S r f O log T r f O log r nbsp fur r displaystyle displaystyle r to infty nbsp r E displaystyle displaystyle r notin E nbsp Mit Hilfe des ersten Hauptsatzes erkennt man dass die Ungleichung q 2 T r f j 1 q N r a j f N 1 r f S r f displaystyle q 2 T r f leq sum j 1 q N r a j f N 1 r f S r f nbsp eine aquivalente Formulierung des zweiten Hauptsatzes ist Der Term N 1 r f displaystyle displaystyle N 1 r f nbsp zahlt die mehrfachen Stellen der Funktion Bezeichnet man mit n r a f displaystyle displaystyle overline n r a f nbsp und N r a f displaystyle displaystyle overline N r a f nbsp die n r a f displaystyle displaystyle n r a f nbsp und N r a f displaystyle displaystyle N r a f nbsp entsprechenden Funktionen wobei aber auch mehrfache a displaystyle displaystyle a nbsp Stellen nur einfach gezahlt werden so erhalt man q 2 T r f j 1 q N r a j f S r f displaystyle q 2 T r f leq sum j 1 q overline N r a j f S r f nbsp Die Defektrelation BearbeitenEine der wesentlichen Folgerungen aus dem zweiten Hauptsatz ist die Defektrelation Fur a C displaystyle displaystyle a in overline mathbb C nbsp nennt man d a f lim inf r m r a f T r f 1 lim sup r N r a f T r f displaystyle delta a f liminf r rightarrow infty frac m r a f T r f 1 limsup r rightarrow infty dfrac N r a f T r f nbsp Nevanlinnadefekt von a displaystyle displaystyle a nbsp Das zweite Gleichheitszeichen gilt dabei nach dem ersten Hauptsatz da T r f displaystyle displaystyle T r f to infty nbsp fur r displaystyle displaystyle r to infty nbsp Es sei immer vorausgesetzt dass f displaystyle displaystyle f nbsp nicht konstant ist Aus dem ersten Hauptsatz folgt dass 0 d a f 1 displaystyle displaystyle 0 leq delta a f leq 1 nbsp fur alle a C displaystyle a in overline mathbb C nbsp Man nennt a displaystyle displaystyle a nbsp defekten Wert oder Nevanlinnaschen Ausnahmewert wenn d a f gt 0 displaystyle displaystyle delta a f gt 0 nbsp gilt Nach dem zweiten Hauptsatz ist die Menge der defekten Wert abzahlbar und es gilt die Defektrelation a d a f 2 displaystyle sum a delta a f leq 2 nbsp wobei die Summe uber alle defekten Werte gebildet wird Die Defektrelation ist eine weitreichende Verallgemeinerung des Satzes von Picard denn ist f displaystyle displaystyle f nbsp transzendent und nimmt f displaystyle displaystyle f nbsp den Wert a displaystyle displaystyle a nbsp nur endlich oft an so gilt d a f 1 displaystyle displaystyle delta a f 1 nbsp Auch eine von Borel gegebene Verscharfung des Satzes von Picard folgt leicht aus dem zweiten Hauptsatz Weitere Resultate zu Defekten BearbeitenEin zentrales Problem der Nevanlinnatheorie war lange ob die Defektrelation und die Ungleichung 0 d a f 1 displaystyle displaystyle 0 leq delta a f leq 1 nbsp die einzigen Einschrankungen fur die Nevanlinnadefekte einer meromorphen Funktion sind Dieses sogenannte Umkehrproblem der Nevanlinnatheorie wurde 1976 von David Drasin gelost 2 Fur ganze Funktionen war es vorher durch Wolfgang Fuchs und Walter Hayman gelost worden Fur Funktionen endlicher Ordnung gibt es jedoch verschiedene weitere Einschrankungen Gilt zum Beispiel Gleichheit in der Defektrelation so folgt r f n 2 displaystyle displaystyle rho f n 2 nbsp mit einer naturlichen Zahl n 2 displaystyle n geq 2 nbsp Dies war von Rolf Nevanlinnas Bruder Frithiof vermutet worden und wurde 1987 von Drasin bewiesen 3 Als weiteres Ergebnis uber Nevanlinnadefekte meromorpher Funktionen endlicher Ordnung sei exemplarisch ein Ergebnis von Allen Weitsman 4 genannt der 1972 zeigte dass fur solche Funktionen a d a f 1 3 lt displaystyle sum a delta a f 1 3 lt infty nbsp gilt Viele weitere Resultate zu Nevanlinnadefekten finden sich in den unten angegebenen Buchern wobei das Buch von Goldberg und Ostrovskii einen Anhang von A Eremenko und J K Langley enthalt in dem auch neuere Entwicklungen dargestellt sind Anwendungen BearbeitenDie Nevanlinnatheorie hat Anwendungen in verschiedenen Gebieten gefunden So hat sie sich als wesentliches Hilfsmittel bei der Untersuchung von Differentialgleichungen und Funktionalgleichungen im Komplexen erwiesen siehe etwa die Bucher von Jank Volkmann und Laine Nevanlinna bewies als eine der ersten Anwendungen seiner Theorie folgenden Eindeutigkeitssatz 5 Stimmen die a displaystyle displaystyle a nbsp Stellen zweier meromorpher Funktionen f displaystyle f nbsp und g displaystyle g nbsp fur 5 Werte a C displaystyle a in overline mathbb C nbsp uberein so gilt f g displaystyle f g nbsp Dieser Satz war Ausgangspunkt fur viele andere Satze dieses Typs In neuerer Zeit stiessen von Paul Vojta gefundene Analogien zwischen Nevanlinnatheorie und Diophantischer Approximation auf grosses Interesse vgl das Buch von Ru Verallgemeinerungen BearbeitenDieser Artikel beschrankt sich auf die klassische Theorie in einer komplexen Veranderlichen Es gibt diverse Verallgemeinerungen etwa auf algebroide Funktionen holomorphe Kurven 6 Funktionen mehrerer komplexer Veranderlicher und quasiregulare Abbildungen 7 Literatur BearbeitenA A Goldberg I V Ostrovskii Distribution of values of meromorphic functions American Mathematical Society 2008 Ubersetzung russisches Original 1970 W K Hayman Meromorphic functions Oxford University Press 1964 G Jank L Volkmann Einfuhrung in die Theorie der ganzen und meromorphen Funktionen mit Anwendungen auf Differentialgleichungen Birkhauser Basel Boston Stuttgart 1985 Kunihiko Kodaira Nevanlinna Theory SpringerBriefs in Mathematics ISSN 2191 8198 Springer Singapore 2017 ISBN 978 981 10 6786 0 I Laine Nevanlinna theory and complex differential equations Walter de Gruyter New York 1993 R Nevanlinna Le theoreme de Picard Borel et la theorie des fonctions meromorphes Gauthier Villars Paris 1929 R Nevanlinna Eindeutige analytische Funktionen Springer Berlin 1953 Min Ru Nevanlinna theory and its relation to Diophantine approximation World Scientific River Edge NJ 2001 Einzelnachweise Bearbeiten R Nevanlinna Zur Theorie der meromorphen Funktionen In Acta Mathematica Band 46 1925 S 1 99 D Drasin The inverse problem in Nevanlinna theory In Acta Mathematica Band 138 1976 S 83 151 Aktualisiert in D Drasin On Nevanlinnas inverse problem In Complex Variables Theory Application Band 37 1998 S 123 143 D Drasin Proof of a conjecture of F Nevanlinna concerning functions which have deficiency sum two In Acta Mathematica Band 158 1987 S 1 94 A Weitsman A theorem on Nevanlinna deficiencies In Acta Mathematica Band 128 1972 S 41 52 R Nevanlinna Einige Eindeutigkeitssatze in der Theorie der meromorphen Funktionen In Acta Mathematica Band 48 1926 S 367 391 H Weyl Meromorphic functions and analytic curves Princeton University Press 1943 S Rickman Quasiregular mappings Springer Verlag Berlin 1993 Abgerufen von https de wikipedia org w index php title Nevanlinna Theorie amp oldid 236929764