Fri Apr 25
Verschiedene aequivalente Definitionen von komplexer Diffbarkeit.
Ableitungsregeln fuer Summen, Produkte, Quotienten
Polynome sind diffbar.
Komplexe Konjugation ist keine komplex diffb. Abbildung.
C-diffbar impliziert R-diffbar (via C=R^2 )
Cauchy-Riemann-Differentialgleichungen hergeleitet.
Beispiele dazu: erneut Konjugation und z^2.
Fri May 2
Erinnerung: abs. Konvergenz von Reihen, Potenzreihen,
Konvergenzradius r definiert als
sup{|x|: a_kx^k ist beschraenkt }
Satz:
Fuer |x|<s<r konvergiert absolut und gleichmaessig,
Divergenz fuer |x|>r.
Fuer |x|=r kann man nichts sagen, Beispiel: \sum x^k/k divergiert
fuer x=1 und konvergiert fuer x=-1.
Exponentialfunktion definiert, Funktionalgleichung, komplex
diffbar, sin, cos, elementare Eigenschaften.
Im komplexen sind sin,cos nicht beschraenkt.
Satz:
e^z=1 genau dann wenn z ein ganzzahliges Vielfache von 2pi i.
Etwas zu Polarkoordinaten.
Fri May 9
Formel von Cauchy-Hadamard beweisen.
Integrale von komplex-wertigen Funktionen ueber Intervalle in R
eingefuehrt, elementare Eigenschaften: C-linear, vertraeglich
mit gleichmaessiger Konvergenz, |\int f(t) dt | \le \int | f(t)| dt.
Stueckweise stetig differenzierbare Wege definiert.
Definition des Integrals einer komplex-wertigen stetigen Funktion
ueber einen stueckweise stetig differenzierbaren Weg.
Beispiele.
Fri May 16
Def. Stammfunktion.
Satz:
Wenn F Stammfunktion fuer f , dann \int_x^y f(z)dz = F(y)-F(x).
Begriff der Wegunabhaengigkeit, geschlossene Wege, konvexe Mengen.
Satz:
Wenn Integrale wegunabh., dann wird durch F(z)=\int_p^z f(w)dw eine
komplex diffbare Funktion mit F'=f definiert.
Satz:
Fuer konvexe Mengen genuegt zur Wegunabhaengigkeit des Integrals,
dass jedes Integral ueber ein Dreieck verschwindet.
Fri May 23
Lemma von Goursat ueber Dreiecksintegrale formuliert
und bewiesen,
Anwendung: Stammfunktion auf konvexen Gebieten,
Logarithmus als Stammfunktion von 1/z (Hauptzweig).
Variante des Lemma fuer stetige Funktionen die mit Ausnahme eines
Punktes ueberall komplex diffbar.
Beispiel dazu g(z)=(f(z)-f(w))/(z-w.
Fri May 30
Cauchy Integralformel bewiesen.
ebenso fuer die Ableitungen.
Folgerungen:
f einmal komplex diffb => f unendl. oft komplex diffb.
Satz von Morera: f genau dann holo, wenn jedes Dreiecksintegral
verschwindet.
Maximum-Prinzip.
Fundamentalsatz der Algebra.
Falls lim f_n=f lokal glchm, f_n holo, dann auch f holo und
lim f_n'=f'.
Fri Jun 13
Satz:
f holo ausser in einem Punkt, ueberall stetig => f ueberall holo.
Satz
f holo, f(p)=0. Dann existiert g holo mit f(z)=(z-p)g(z).
Riemannscher Hebbarkeitssatz:
f beschraenkt nahe 0, holo ausserhalb von 0 => holo in 0
Satz von Liouville
f beschraenkt, holo auf ganz C => konstant.
Satz ueber Potenzreihenentwicklung.
Satz:
Konvergenzradius=maximaler Radius, auf den sich die Funktion
ausdehnen laesst.
Konvergenzradius der Taylorreihe von 1/(1+x^2) erklaert.
Fri Jun 20
Potenzreihen formal ableitbar
Identitaetssatz: Nullstellen holo. Fktn sind diskret.
Satz:
Reell-analytische Fktn sind holomorph auf eine offene Umgebung
fortsetzbar.
Satz von der Gebietstreue (Nicht konstante holo. Fktn. sind offene
Abbildungen)
Fri Jun 27
f(C) dicht in C.
Fri Jul 11
f nicht konstante ganze Fkt => Re(f) ist surjektiv
isolierte Singularitaeten: hebbar, Pol, wesentlich
Definition & Charakterisierung
f pol in p <=> lim |f|=\infty
f wesentlich <=> fuer jede kleine Umgebung W von p
gilt f(W) ist dicht in C
f nicht wesentlich <=> es gibt ein n in Z sodass lim (z-p)^nf(z)=0