Holomorphe Funktionen

Eine holomorphe Funktion ist eine Funktion, die auf einer offenen Menge komplex differenzierbar ist; diese einzelne Bedingung bewirkt, dass die Funktion analytisch, unendlich differenzierbar und lokal durch eine konvergente Potenzreihe darstellbar ist.

Definition

Eine Funktion einer komplexen Variablen ist auf einer offenen Menge holomorph, wenn sie an jedem Punkt dieser Menge eine komplexe Ableitung besitzt; äquivalent dazu ist sie dort analytisch, was bedeutet, dass sie lokal die Summe einer konvergenten Potenzreihe ist.

Scope

Dieses Thema behandelt die komplexe Differenzierbarkeit und die Cauchy-Riemann-Gleichungen, die Äquivalenz von Holomorphie und Analytizität, Potenzreihendarstellungen, die Beziehung zu harmonischen Funktionen, das Identitäts- und das Maximumprinzip, ganze Funktionen und den Satz von Liouville sowie die Klassifizierung von Nullstellen und isolierten Singularitäten.

Core questions

• Warum erzwingt die Existenz einer komplexen Ableitung die Cauchy-Riemann-Gleichungen?
• Warum ist jede holomorphe Funktion automatisch analytisch und unendlich differenzierbar?
• Wie sind die Real- und Imaginärteile einer holomorphen Funktion dazu gezwungen, harmonisch zu sein?
• Welche Arten von Singularitäten kann eine holomorphe Funktion haben und wie werden sie klassifiziert?

Key theories

Cauchy-Riemann-Gleichungen

Komplexe Differenzierbarkeit ist äquivalent dazu, dass die Real- und Imaginärteile ein gekoppeltes Paar partieller Differentialgleichungen erfüllen, was jeden Teil dazu zwingt, harmonisch zu sein und die komplexe Analysis mit der Potentialtheorie verbindet.

Maximumprinzip und Identitätssatz

Eine nicht-konstante holomorphe Funktion erreicht kein inneres Maximum ihres Betrags, und zwei holomorphe Funktionen, die auf einer Menge mit einem Häufungspunkt übereinstimmen, stimmen überall auf einem zusammenhängenden Gebiet überein, was die Starrheit holomorpher Funktionen ausdrückt.

Satz von Liouville

Eine beschränkte ganze Funktion ist konstant, eine Konsequenz der Cauchy-Abschätzungen, die einen kurzen Beweis des Fundamentalsatzes der Algebra liefert.

Clinical relevance

Da die Real- und Imaginärteile einer holomorphen Funktion harmonisch sind, modellieren holomorphe Funktionen zweidimensionale stationäre Phänomene wie elektrostatische Potentiale und ideale Flüssigkeitsströmungen, und die Starrheitseigenschaften machen sie in der Zahlentheorie, der Theorie spezieller Funktionen und der analytischen Fortsetzung von Transformationen leistungsfähig.

History

Die definierende Rolle der Cauchy-Riemann-Gleichungen wurde Mitte des 19. Jahrhunderts von Cauchy und Riemann erkannt, während Weierstrass den äquivalenten Potenzreihenstandpunkt entwickelte. Ihre gemeinsame Arbeit etablierte, dass komplexe Differenzierbarkeit und Analytizität übereinstimmen.

Key figures

• Augustin-Louis Cauchy
• Bernhard Riemann
• Karl Weierstrass

Seminal works

• ahlfors1979
• conway1978

Frequently asked questions

Sind holomorph und analytisch dasselbe?

Für Funktionen einer komplexen Variablen sind sie äquivalent: komplexe Differenzierbarkeit auf einer offenen Menge, genannt Holomorphie, ist genau die Bedingung, dass die Funktion lokal eine konvergente Potenzreihe ist, genannt Analytizität.

Warum kann eine holomorphe Funktion kein lokales Maximum ihrer Größe innerhalb eines Bereichs haben?

Das Maximumprinzip folgt aus der Mittelwerteigenschaft harmonischer Funktionen; der Betrag kann seinen größten Wert nur am Rand erreichen, es sei denn, die Funktion ist konstant.