Rand der Fläche = Linie. suggestive Notation. "Zirkulation pro gerichteter Fläche" Vorschau: Eine komplexe Funktion sei nur von der Kombination

Transkript

1 Zusammenfassung: Satz von Stokes Satz v. Stokes: Flussintegral der Rotation = Linienintegral Fläche Rand der Fläche = Linie Symbolisch: suggestive Notation Geometrische Definition der Rotation: "Zirkulation pro gerichteter Fläche" Rotation in krummlinigen Koordinaten: analog für u & v Komponenten, zyklisch permutiert Kapitel 13: Komplexe Analysis (KA) Saff & Snyder, Fundamentals of Complex Analysis", Prentice Hall, Motivation: Differenzieren und Integrieren in der komplexen Ebene Vorschau: Eine komplexe Funktion sei nur von der Kombination abhängig, Realteil Imaginärteil und "komplex differenzierbar" ( existiert) in. Dann gelten (u.a.): Cauchy - Cauchy-Riemann-Gleichungen: - Geschlossene Linienintegrale in liefern 0: - Integralsatz von Cauchy: - "Residuen-Satz": Sei (verallgmeinerte Taylor- Reihe, mit Divergenz bei ) Wichtige Anwendung der KA in der Physik: als Hilfsmittel beim Berechnen von Integralen Besonders wichtig für "konforme Feldtheorie" & Stringtheorie

2 13.1 Komplexe Differenzierbarkeit Definition: Eine komplexwertige Funktion einer komplexen Variable [ offen] (wichtig!) heißt "komplex differenzierbar" an der Stelle, folgender Limes existiert: (beachte Notation: totale Ableitung nach ) Anmerkung: Der Limes (2) muss unabhängig von der Richtung sein, entlang der nach Null strebt. Das ist gewährleistet, wenn von und nur in der Kombination abhängt. Kettenregel Definition: Jeder Punkt bei dem nicht existiert ist eine "Singularität" von Definition: heisst "analytisch" auf, in ganz komplex differenzierbar ist. Anmerkung zur Nomenklatur: Manche Autoren nennen eine Funktion "holomorph" in, sie (1) erfüllt, und "analytisch" in, ihre Taylor-Entwicklung überall in konvergiert. Man kann zeigen, dass eine komplexe Funktion genau dann holomorph ist, wenn sie analytisch ist. Deswegen verzichten wir hier auf eine Unterscheidung. Beispiele für analytische Funktionen: sind analytisch auf ist analytisch auf [das ganze, ausser ] Beispiele für nicht-analytische Funktionen: hängt nicht nur von sondern auch von ab, ist nicht eine analytische Funktion von denn Limes ist nicht eindeutig:

3 Ableitungsregeln für analytische Funktionen (wie im Reellen): (i) Linearität: (ii) Produktregel: Folgerung: [Abl. v. Polynomen wie im Reellen] (iii) Quotientenregel: (iii) Kettenregel: Komplexe Differenzierbarkeit ist viel stärkere Bedingung als reelle Differenzierbarkeit. Wir diskutieren nur einige ihrer weitreichenden Folgen für analytische Funktionen. Cauchy-Riemann-Differentialgleichungen Schreibe Also: sei komplex differenzierbar, dann gilt: Cauchy Riemann Aber aus (2) folgt: und auch: Laut (4) ist (5) = (6): Cauchy-Riemann- Differentialgleichungen: Folgerung: komplexe Differenzierbarkeit Cauchy-Riemann-Gleichungen (CRG)

4 Umkehrschluss gilt auch: Cauchy-Riemann-Gl. komplexe Differenzierbarkeit: Satz: Sei eine komplexe Abbildung, mit d.h. Falls stetig differenzierbar sind für und die Cauchy-Riemann-Gl. erfüllen, ist komplex differenzierbar an der Stelle. Begründung: (Optional) Schreibe mit Taylor für u: Taylor für v: (4+5) -(4+5) : Nutze CRG, um durch zu ersetzen: (7.6): Es geht auch anders herum: nutze CRG, um durch zu ersetzen: (7.6): Fazit: ist komplex differenzbierbar in bei!!

5 Anmerkung: sind beide Abbildungen Folgerung aus den Cauchy-Riemann-Gleichungen: Die Höhenlinien dieser Abbildungen (1) sind orthogonal zu einander: Begründung: Höhenlinien von (siehe Seite F15) sind (entlang denen konstant): Höhenlinien von sind (entlang denen konstant): = konstant = konstant Weitere Folgerung: eine analytische Funktion definiert [via (1)] eine "konforme" ("winkeltreue") Abbildung zwischen den Koordinatensystemen und 13.3 Integration im Komplexen Hauptsatz der Analysis für komplexe Funktionen einer reellen Variable: Sei eine komplexwertige, stetige Funktion einer reellen Variable, mit Stammfunktion, d.h., dann [genau wie im Reellen] Triviales Beispiel: Integration einer Funktion einer komplexen Variable,, entspricht einem Linienintegral in der komplexen Ebene. Dafür benötigen wir folgende Begriffe: Definition: Eine Menge (oder auch ) heißt "Gebiet" (nicht leer) und "zusammenhängend" ist (d.h. je zwei Punkte können durch eine stetige Kurve verbunden werden). Definition: ein Gebiet ist "einfach zusammenhängend", sich jeder geschlossene Weg zu einem Punkt zusammenziehen lässt.

6 Definition: Komplexes Wegintegral (oder "Kontur-Integral") Sei eine glatte, gerichtete Kurve in einem zusammenhängenden Gebiet parametrisiert durch die reelle Variable : Ferner sei eine stetige Funktion auf dem Gebiet. Das "komplexe Wegintegral von entlang " ist wie folgt definiert: Substitutionsregel für [vergleiche (Int4.4-6)] Kann gezeigt werden: Wegintegral ist unabhängig von der Parametrisierung (d.h. eine andere Parametrisierung des selben Weges liefert dasselbe Ergebnis). Einfaches Beispiel 1: Einfaches Beispiel 2: kein Zufall, siehe Seite 13!

7 Wichtiges Beispiel: Kreisintegral v. um den Ursprung herum sei Kreis in, mit Radius, Mittelpunkt bei : Substitution: In diesem Beispiel hat das komplexe Wegelement folgende Form: Beachten: sind i.a. alle Funktionen des Kurvenparameters (hier ), d.h. sie ändern sich entlang der Kurve! Wegunabhängigkeit: Satz: in, d.h. sei stetig und dessen Stammfunktion existiere überall Dann gilt für jede glatte Kontur mit Anfangspunkt und Endpunkt : Ergebnis hängt nur von den Anfangs- und Endpunkten ab, nicht vom Weg dazwischen! [Beispiel: (11.4) = (11.8)] Begründung: Parametrisiere Weg mit Dann Kettenregel (4) ermöglicht Interpretation für Wegintegral als Summe:

8 Definition: Eine "zusammengesetzte Kontur" bestehe aus glatten, gerichteten Teilstücken. Das Wegintegral einer auf stetigen Funktion ist definiert durch: Satz (13.2) gilt für jedes Zeilstück, also auch für zusammengesetzte Kontur: Korollar [mit denselben Voraussetzungen wie (13.2)]: Für einen geschlossenen Weg ist Anfangspunkt = Endpunkt: Beispiel: (12.4b) für [Für, (12.4a), sind Voraussetzungen v. (13.2) nicht erfüllt, da die Stammfunktion v. nämlich, nicht überall auf einem geschlossenem Weg um 0 herum existiert.] Falls analytisch ist, läßt sich (13.6) zeigen auch ohne Verweis auf die Stammfunktion, und zwar mittels Satz. von Cauchy: Satz v. Chauchy: Sei ein einfach zusammenhängendes Gebiet, eine analytische Funktion, und eine stetige, geschlossene Kurve in. Dann gilt: Begründung: Schreibe Realteil: Imaginärteil: Interpretiere als reelles Wegintegral in x-y-ebene von, Wegelement

9 Schreibe diese Wegintegrale (13.5) mittels Stokes als Flussintegrale, über die von eingeschlossene Fläche (nenne sie ) in der x-y-ebene, mit : Wir durften Cauchy-Riemann-Gleichungen (5.8-9) nutzen, da analytisch ist! Beispiel: denn der Integrand ist überall analytisch ausser bei, d.h. überall analytisch in einem Gebiet, das enthält, also gilt der Satz v. Cauchy, (15.1). Faustregel: geschlossenes Wegintegral verschwindet, analytisch ist "innerhalb des Wegs" (= "im vom Weg eingeschlossenen Gebiet")! Korollar aus Satz v. Cauchy (mit denselben Voraussetzungen): Verschiedene Wegintegrale mit demselben Start- und Endpunkt sind gleich: Begründung: bildet geschlossenen Weg, also: