Beruflich Dokumente
Kultur Dokumente
INHALTSVERZEICHNIS
Inhaltsverzeichnis
1 Holomorphe Funktionen 2 Zusammenhang reeller und komplexer Dierenzierbarkeit 3 Potenzreihen 4 Elementare Funktionen 5 Lineare Transformationen und die Riemannsche Zahlensph are 6 Kurvenintegrale 7 Der Cauchysche Integralsatz f ur Rechtecke 8 Die Cauchyformel 9 Der Potenzreihenentwicklungssatz 10 Der Satz von Morera 11 Nullstellen holomorpher Funktionen 12 Identit atssatz und Maximumsprinzip 13 Isolierte Singularit aten 14 Laurentreihen 15 Analytische Fortsetzung und der komplexe Logarithmus 16 Homotopie 17 Die Umlaufzahl 18 Cauchy auf Zykeln 19 Der Residuensatz 20 Residuenkalk ul 21 Kompakte Konvergenz 22 Konvergenzs atze 23 Der Riemannsche Abbildungssatz 24 Partialbruchentwicklung 3 5 9 12 15 25 28 34 36 41 45 49 53 56 62 66 72 75 80 85 91 94 97 102
INHALTSVERZEICHNIS
25 Produktentwicklung 26 Elliptische Funktionen: Allgemeine Eigenschaften 27 Die Weierstrasche -Funktion 28 Die Weierstraschen Funktionen und 29 Darstellung Elliptischer Funktionen durch Weierstrasche Funktionen
Mitgeschrieben von Sander Wahls bis Kapitel 16, vervollst andigt und u berarbeitet von Christina Puhl und mit Bildern von Emanuel Huhnen-Venedey.
HOLOMORPHE FUNKTIONEN
Holomorphe Funktionen
In diesem Kapitel lernen wir: Def.: komplex dibar, holo, ganz Beispiele. Wichtig: f (z ) = z ist nicht holo, denn
h h
Elementare Eigenschaften von holomorphen Funktionen Polynome sind ganz, Rationale Funktionen holo an den Stellen an denen der Nenner = 0 ist Denition 1.1 (Komplexe Dierenzierbarkeit) Eine Funktion f : C U C, U oen, heit (komplex) dierenzierbar an der Stelle z0 C, genau dann, wenn f (z0 ) := lim
z z0
existiert. Dieser Grenzwert heit Ableitung von f . Ist f uberall in U dierenzierbar, so nennt man f holomorph auf U . Ist weiter U = C, so nennt man f auch eine ganze Funktion. Beispiel 1.1 Wir betrachten wieder Funktionen f : C U C, U oen. f (z ) = c C ist holomorph. f (z ) = z ist holomorph mit f (z ) = 1 f (z ) = z ist nicht holomorph, denn es ist f (z ) = lim z+hz h f (z + h) f (z ) = lim = = lim e2iargh = e2iargh h0 h0 h h h h0
Abbildung 1: Winkeldarstellung der komplexen Zahlen Wie man sieht ist die Ableitung von dem Winkel, in dem sich h dem Punkt z ann ahert, abh angig. Dieser Winkel ist aber nicht eindeutig und somit existiert kein Grenzwert f (z )! f (z ) = z z = |z |2 ist nicht holomorph. f (z ) = z + z ist nicht holomorph f (z ) = z 2 ist holomorph. Bemerkung Es scheint, als ob holomorphe Funktionen nur von z , nicht aber von z abh angen d urfen.
HOLOMORPHE FUNKTIONEN
Satz 1.1 (Elementare Eigenschaften holomorpher Funktionen) Sei f : C U C, U oen, holomorph. Dann gilt: 1. f ist stetig. 2. H(U ) := {f : U C | f holomorph } ist ein komplexer Vektorraum, d.h. (c1 f1 + c2 f2 ) H(U ), Auerdem ist auch die Ableitung linear:
, (c1 f1 + c2 f2 ) = c1 f1 + c2 f 2
c1 , c2 C, f1 , f2 H(U )
c1 , c2 C, f1 , f2 H(U )
f1 , f2 H(U )
4. Ist 0 = f (z ) H(U ) f ur alle z U , so sind 1 und f 5. Es gilt die Kettenregel: (g (f (z ))) = g (f (z ))f (z ),
1 f
f H(U ) f2
Zus atzlich ist die Verkn upfung selbst holomorph: g f H(U ). Beweis Wie im reellen Fall. Beispiel 1.2 (Wichtige holomorphe Funktionen) Polynome P (z ) =
N k=0
N k=1
ak kz k1 .
Rationale Funktionen
Was wir in diesem Kapitel lernen: Def.: reell dibar Theorem: holo reell dibar + CR-Digl. Def.: harmonisch. f = u + iv holo u, v harmonisch Holomorphe Funktionen sind durch Realteil und Imagin arteil bis auf Addition einer Konstante eindeutig bestimmt. Def.: Ableitung nach z und z . f holo f reel dibar und Merke: f (z ) = |z |2 = zz ist nicht holo. Man kann die komplexen Zahlen C mit R2 identizieren (die beiden R aume sind isomorph) und eine komplexe Funktion f : C U C, U oen, als eine Funktion f : R2 U R2 interpretieren. Ein komplexes z = x + iy C entspricht dabei der reellen Zahl (x, y ) R2 , die Funktion spaltet man analog in Realteil u und Imagin arteil v auf: f (z ) = u(z ) + iv (z ) C wird zu f (x, y ) = (u(z ), v (z )) R2 . Diese reelle Funktion kann man nun, wie aus Analysis II bekannt, dierenzieren: f heit an der Stelle (x, y ) R2 reell dierenzierbar, wenn es eine lineare Abbildung A : R2 R2 gibt, so dass o(|h|) =0 f ((x, y ) + (p, q )) = f (x, y ) + A(p, q ) + o(|h|) mit lim h0 |h| Dabei ist h = (p, q ), also |h| = p2 + q 2 . Die lineare Abbildung A heit dann Dierential von f an der Stelle (x, y ) und wird mit d(x,y) f bezeichnet. Als Matrix ist A durch die Jacobi-Matrix gegeben: A=
u x v x u y v y df dz
Schreibt man jetzt die obige Gleichung aus, so erh alt man f ((x, y ) + (p, q )) = u(x, y ) v (x, y ) +
u x v x u y v y
p q
+ o(
p2 + q 2 )
Was hat jetzt diese reelle Dierenzierbarkeit mit der komplexen zu tun? Satz 2.1 (Cauchy-Riemannsche DGL, reell) Eine Funktion f : C U C, U oen, ist genau dann holomorph, wenn sie reell dierenzierbar ist und ihr Realteil u(z ) sowie ihr Imagin arteil v (z ) die Cauchy-Riemannschen Dierentialgleichungen erf ullen: u v = , x y u v = , y x (z = x + iy )
u x
(1)
Bemerkung Nachfolgend wird die k urzere Notation ux := Beweis Die reelle Ableitung A in Richtung h = (p, q ) R2 A schreibt sich komplex als p q =
verwandt.
ux p + uy q vx p + vy q (2)
f (z ) h = (ux p + uy q ) + i(vx p + vy q )
Sei f holomorph. W ahle h = p + 0i (also ist der Imagin arteil q = 0). Dann ist
h0
lim
f (z + h) f (z ) h
(2)
= = =
(q=0)
lim
lim
f (z + h) f (z ) h
(2)
= =
(p=0)
lim
Da f holomorph ist, m ussen die beiden Grenzwerte gleich sein, d.h. zC : ux (z ) + ivx (z ) = vy (z ) iuy (z ) ux = vy , vx = uy f (z + h) f (z ) h
(2)
(= 1)
Es sei (1) erf ullt, dann gilt ux = vy und vx = uy . F ur die Ableitung gilt mit h = p + iq
h0
lim
= =
(1)
= =
(ux p + uy q ) + i(vx p + vy q ) p + iq (ux + ivx )p + (vy iuy )iq lim p + iq (p+iq)0 (ux + ivx )p + (ux + ivx )iq lim p + iq (p+iq)0 ux + ivx (= vy iuy )
(p+iq)0
lim
Also existiert der Limes und f ist holomorph. Denition 2.1 (Harmonische Funktionen & Laplace Operator) Eine Funktion g : R2 U R2 , U oen, heit harmonisch genau dann, wenn gilt: 2g 2g + 2 =0 2 x y Mit Hilfe des Laplace Operators =
2 x2
2 y 2
Laplace-Operatoren (harmonische Funktionen) werden in der Theorie der Dierentialgleichungen h aug zum L osen von Gleichungen verwendet. Genauso in der nichtlinearen Optimierung zur Bestimmung der Kuhn-Tucker-Gleichungen. Korollar 2.2 Sei f : U C, U C oen, holomorph. Dann sind u und v harmonische Funktionen (f ist aber i.A. nicht harmonisch). Beweis Durch Dierenzieren der Cauchy-Riemannschen Dierentialgleichungen ux = vy , uy = vx (u, v sind zweimal stetig partiell dierenzierbar) nach y bzw. x folgt uxy uyx = = vyy vxx
und da hier nach dem Satz von Schwarz uxy = uyx ist, folgt vyy = vxx vxx + vyy = 0 v = 0 Analog zeigt man u = 0.
Denition 2.2 (Zusammenh angende Mengen) Eine Menge X C heit zusammenh angend, wenn es keine oenen Mengen A, B gibt mit A = = B , X B = und X A = , X = A B und A B = . Bemerkung Die zusammenh angenden Teilmengen von R sind genau: , {a}, alle Intervalle und R. Im folgenden Korollar wird deutlich, dass holomorphe Funktionen sehr unexibel sind. Kennt man ihren Real- oder Imagin arteil, so kennt man schon die ganze Funktion bis auf eine Konstante. Korollar 2.3 Eine holomorphe Funktion f : G C, G C oen und zusammenh angend, ist durch ihren Realteil (bzw. Imagin arteil) bereits bis auf Addition einer Konstante eindeutig bestimmt. Beweis Seien g, h holomorphe Funktionen wie im Korollar; es sei g h := iv rein imagin ar. Dann ist die Funktion v ebenfalls holomorph und die Cauchy-Riemannschen Dierentialgleichungen vereinfachen sich zu 0 = vy , 0 = vx . Da nun U zusammenh angend ist, folgt daraus, dass v konstant ist. Die Ableitung nach z bzw. z gibt uns ein weiteres Kriterium im reellen an, ob eine Funktion holomorph ist, oder nicht. Die Ableitung nach z ist i.A. nicht gleich der holomorphen Ableitung, wie in Kapitel df df 1, sondern nur, wenn dz = 0 (n achster Satz). Die Existenz von dz besagt auch noch nicht, dass f holomorph ist.
f einer holomorphen Funktion Denition 2.3 (Ableitungen f z und z ) Als Ableitung nach z bzw. z f : C U C, U oen, mit z = x + iy f (z ) denieren wir
f 1 f f := ( i ), z 2 x y Im f (z )
f 1 f f := ( +i ) z 2 x y
Re
df schaut in Richtung der x- Achse, wie sich die Funktion Abbildung 2: Idee der Richtungsableitung: dx df andert, wenn man sich etwas in x-Richtung bewegt. dz schaut hingegen rechts herum im Kreis, wie sich die Funktion ver andert, wenn man sich etwas bewegt.
Satz 2.4 Sei f : U C, U C oen, mit z = x + iy f (z ) ist holomorph genau dann, wenn f reell dierenzierbar ist und f z 0. Beweis Sei f : U C, U C oen, reell dierenzierbar (wir benutzen trotzdem die komplexe Schreibweise). Dann ist mit h = p + iq die Taylorentwicklung gleich: f (z + h) = f (z ) + fx p + fy q + O(|h|) und somit ergibt sich: f (z + h) f (z ) = f f p+ q + o(|h|), x y lim o(|h|) =0 h
h0
= p iq , so sieht man Beachtet man, dass h p= Damit schreibt sich obige Gleichung als f (z + h) f (z ) = = Wir erhalten also f ur die Ableitung f (z h) f (z ) h0 h lim f f h o(|h|) lim + + h0 z z h h f f h + lim z z h0 h
0
h+h , 2
q=
hh 2i
1 f 1 f 1 f 1 f ( + )h + ( )h + o(|h|) 2 x i y 2 x i y f f h+ h + o(|h|) z z
= i =i
h h
0.
Bemerkung Holomorphe Funktionen sind also die Funktionen, die nicht von z abh angen. F ur die Ableitungen nach z, z gelten die gleichen Rechenregeln wie im reellen, wenn man z und z als unabh angige Variablen betrachtet. Beispiel 2.1 (Ableitungen nach z ) Sei z = x + iy C.
z z z z 1 =1 2 ( x + i y ) = 2 (1 + ii) = 0.
|z |2 z
z z z
=z
(z + z) z z z z
=1
1 z
POTENZREIHEN
Potenzreihen
Was wir in diesem Kapitel lernen: Def. Potenzreihe, glm. konvergenz, Konvergenzradius Potenzreihen sind holo; Abl. wird gliedweise gebildet. Denition 3.1 (Potenzreihen) Eine Reihe der Form ist und z, z0 C sind, heit Potenzreihe.
k=0
Bemerkung Aus der Analysis I ist bekannt, dass man f ur U C und eine Funktionenfolge (fn ) mit fn : U C sagt, (fn ) konvergiert gleichm aig gegen f : U C, falls >0 N N nN xU : |fn (x) f (x)| < oder kurz mit der Supremumsnorm, falls limn fn f = 0. Insbesondere folgt, falls die Funktionenfolge fn stetig auf D ist, dass es auch der Grenzwert f ist.
k Satz 3.1 Die Potenzreihe ur ein z1 C mit z0 = z1 . Seien r0 R+ mit k=0 ak (z z0 ) konvergiere f 0 < r0 < |z1 z0 | und Kr0 := {z C | |z z0 | r0 }. Dann konvergiert die Potenzreihe absolut und gleichm aig auf Kr0 .
r0 z0 K r0
z1 Potenzreihe um z0 konvergiert in z1
Beweis Analysis I.
Denition 3.2 (Konvergenzradius) Der Wert R := sup{|z z0 | | k heit Konvergenzradius der Potenzreihe k=0 ak (z z0 ) .
k=0
ak |z z0 |k konvergiert}
Satz 3.2 Zu jeder Potenzreihe n=0 an (z z0 )n (an C fest, z C) gibt es ein eindeutig bestimmtes R, 0 R mit folgender Eigenschaft:
n=0
an (z z0 )n
konvergiert divergiert
z : |z z0 | < R z : |z z0 | > R
Uber die Konvergenz bzw. Divergenz f ur |z z0 | = R ist keine allgemeine Aussage m oglich. n R ist der Konvergenzradius von a ( z z ) und K ( z ) heit Konvergenzkreis . Es gilt: 0 R 0 n=0 n R = sup{ 0, (an n )n0 beschr ankt}. 1. Fall: Sei z C, |z z0 | < R. Dann folgt: M : |z z0 | < < R. Deswegen gilt dann: (an n )n0 ist beschr ankt. Zusammen mit dem Abelschen Lemma folgt daraus, dass n=0 an (z z0 )n absolut konvergiert. Beweis M := { > 0, (an n )n0 beschr ankt} sei nach oben beschr ankt, R := sup M .
POTENZREIHEN
10
2. Fall: Sei z C, |z z0 | > R. (an (z z0 )n )n0 ist unbeschr ankt, denn w are die Folge beschr ankt, so geh orte |z z0 | > R zu M . n Widerspruch. a ( z z ) divergiert 0 n=0 n Bemerkung Im Folgenden sei o.B.d.A. z0 = 0, d.h. die Potenzreihe habe die Form Satz 3.3 Sei
k=0 k=0
ak z k .
ak z k eine Potenzreihe mit Konvergenzradius r > 0. Dann ist die durch f : {z C | |z | < r} C, f (z ) =
k=0
ak z k
gegebene Funktion holomorph und die Ableitung kann gliedweise gebildet werden: f (z ) =
k=1
kak z k1
Beweis Wir zeigen die Holomorphie von f mit f (z ) = k=1 kak z k1 . Wir wissen, dass f stetig auf {z | |z | < r} ist. Auerdem ist aus Analysis I bekannt, dass die formale Ableitung ebenfalls eine Potenzreihe mit dem gleichen Konvergenzradius wie f ist. Lemma 3.4 Die Potenzreihen
n=0 n=0
an z n und
n an z n
Umgekehrt: Sei |z | < R. Wir w ahlen ein w mit |z | < |w| < R. Lemma) n=1 n an z n konvergiert f ur jedes 0, |z | < R . Also gilt: R = R Die Behauptung, dass f (z ) =
an wn konvergiert. (Abelsches
n=1
R(z, h) := =
f (z + h) f (z ) h 1 ( h
kak z k1 ak z k )
k=1
k=0
ak (z + h)k
kak z k1
f ur h 0 gegen Null konvergiert. Sch atze zun achst den Binominalkoezienten k 2 ab: n k < = = = = k (k 1) k (k 1) n k
(3)
POTENZREIHEN
11
k=2
n |z |nk |h|k2 k
(3 )
k=2
n(n 1)
n n k=0 k
z nk hk = (z + h)n . n nk k z h k zn nz n1 h zn nz n1 h
1 h
n
k=0
k=0 n
n nk k1 z h k n nk k1 z h k n nk k2 z h k
=
k=2 n
= h
k=2
(5)
z 0 r z+h
1 ( an (z + h)n an z n ) nan z n1 h n=0 n=0 n=1 an ((z + h)n z n ) nan z n1 h n=0 n=1
n=0 n=0 n
han (
k=2 n
n nk k2 z h ) k n |z |nk |h|k2 ) k
Ugl.
|h||an |(
k=2
(4)
|h| |h|
n=0 n=0
Da kleiner dem Konvergenzradius der Reihe k=0 ak z k , welcher gleichzeitig der der Reihe k=0 k (k 1)ak z k ist, konvergiert diese und ihr Betrag ist beschr ankt. Sei M R eine Schranke f ur z = . Dann ist weiter |R(z, h)| |h|
n=0
|h|M 0 f ur h 0
ELEMENTARE FUNKTIONEN
12
Elementare Funktionen
Was wir in diesem Kapitel lernen: Def. Exponentialfkt, exp(z ) = exp(z ), exp(z + w) = exp(z ) exp(w) Def. Cosinus, Sinus, Hyperbolisches, Eigenschaften, Additionstheoreme Exp-Funkt. und Cosinus, Sinus sind holomorph Denition 4.1 (Exponentialfunktion) Die Funktion f : C C, heit Exponentialfunktion. Satz 4.1 Die Exponentialfunktion ist ganz und es gilt exp (z ) = exp(z ) Beweis Aus dem Quotientenkriterium z n+1 /(n + 1)! z an+1 = = 0 n an z /n! n+1 folgt, dass die Potenzreihe exp u berall absolut konvergiert, also ist ihr Konvergenzradius unendlich. Nach Satz 3.3 ist sie holomorph auf ihrem Konvergenzradius, und damit auf ganz C. Es gilt auerdem exp (z ) =
n=1
z exp(z ) = ez =
zn n! n=0
Satz 4.2 Es gilt f ur alle w, z C exp(w + z ) = exp(w) exp(z ) Beweis 1. Fall: Betrachte die Funktion: g (z ) = exp(z ) exp(z ) Dann gilt: g (z ) = 0 g ist konstant mit g (0) = 1. Daraus folgt: exp(z ) = 2. Fall: Betrachte die Funktion Sie ist konstant, denn die Ableitung betr agt g (z ) = exp(w + z ) exp(z ) 1 exp(z )
g (z ) = exp(w + z ) exp(z ) exp(w + z ) exp(z ) = 0 Weiterhin ist g (0) = exp(w) und somit f ur alle w, z C exp(w + z ) exp(z ) = exp(w) 1. Fall exp(w + z ) = exp(w) exp(z )
ELEMENTARE FUNKTIONEN
13
Denition 4.2 (Hyperbolische und Trigonometrische Funktionen) Wir denieren die folgenden Funktionen auf den komplexen Zahlen: 1. Cosinus Hyperbolicus cosh(z ) := 2. Sinus Hyperbolicus
1 z z 2n (e + ez ) = 2 (2n)! n=0
1 z 2n+1 sinh(z ) := (ez ez ) = 2 (2n + 1)! n=0 3. Cosinus z 2n 1 (1)n cos(z ) := (eiz + eiz ) = cosh(iz ) = 2 (2n)! n=0 1 iz z 2n+1 1 (e eiz ) = sinh(iz ) = (1)n 2i i (2n + 1)! n=0
4. Sinus sin(z ) :=
Satz 4.3 (Eigenschaften der hyperbolischen und trigonometrischen Funktionen) 1. Im Komplexen gibt es keinen Unterschied zwischen trigonometrischen Funktionen und hyperbolischen Funktionen, denn es ist cosh(iz ) = cos(z ), 1 i sinh(iz ) = sin(z ) 2. cosh z, sinh z, cos z, sin z sind ganze Funktionen, d.h. sie sind holomorph auf ganz C. 3. Es gilt eiz e
iz
= =
4. cosh z und cos z sind gerade Funktionen, sinh z und sin z ungerade. 5. Aus der Denition folgt cos2 z + sin2 z cosh z sinh z f ur alle z C. 6. Weiterhin gilt ei = 1 7. Die aus dem reellen bekannten Additionstheoreme f ur trigonometrische und hyperbolische Funktionen folgen einfach aus Satz 4.2 sin(x + y ) = sin x cos y + cos x sin y spezieller Fall: sin(2x) = 2 sin x cos x cos(x + y ) = cos x cos y sin x sin y spezieller Fall: cos(2x) = cos2 x sin2 x
2 2
= 1 = 1
ELEMENTARE FUNKTIONEN
14
8. Andere trigonometrische und hyperbolische Funktionen deniert man genau so wie im reellen, z.B. tan z tanh z := := sin z cos z sinh z cosh z
2
Allerdings m ussen diese Funktionen nicht mehr ganz sein, tan z und tanh z sind z.B. in z = bzw. z = i 2 nicht komplex dierenzierbar. Beweis Ohne Beweis.
15
Was wir in diesem Kapitel lernen werden: Def. und Umformung Riemannsche Zahlensph are und C Def. lineare Trafos Def. Doppelverh altniss {z1 , z2 , z3 , z4 } Es gilt:{z1 , z2 , z3 , z4 } R z1 , z2 , z3 , z4 Kreislinie und erhalten das Dopperlverh Lineare Trafos sind biholo auf C altniss Die lin. Trafos bilden Gruppe P SL(2, C) := SL(2, C)/ Jede lineare Trafo l asst sich aus Translationen, Drehstreckungen und Inversionen zusammensetzen Jede lin. Trafo = id hat genau einen oder zwei Fixpunkte . Dann gibt es genau Seien (z1 , z2 , z3 ) paarw. versch. und (w1 , w2 , w3 ) auch paarw. versch. in C eine lin. Trafo S mit S (zi ) = wi Lin Trafos f uhren Geraden/ Kreise in Geraden/ Kreise u ber Ein wichtiges Thema in der Funktionentheorie sind konforme Abbildungen. Eine Funktion w = f (z ) stellt genau dann eine konforme Abbildung des Gebietes D dar, wenn sie in diesem Gebiet 1. surjektiv ist, 2. holomorph ist und 3. injektiv. Aus 3. folgt: in jedem Punkt von D besitzt f eine von 0 verschiedene Ableitung f (z ). (wenn f (z0 ) = 0 f ur ein z0 G, dann ist f (z0 ) eine doppelte f (z0 )-Stelle, Widerspruch zu injektiv). Die zwei Haupteigenschaften von konformen Funktionen sind: 1. Jeder innitesimale Kreis geht in einen innitesimalen Kreis u ber, d.h., das Bild jeder (kleinen) Kreislinie ist bis auf eine von h oherer Ordnung als der Kreisradius gegen Null strebende Abweichung wieder eine Kreislinie. 2. Der Schnittwinkel zweier Kurven stimmt mit dem Schnittwinkel ihrer Bilder u berein (Winkeltreue). Das Grundproblem der Theorie der konformen Abbildungen besagt folgendes: Gegeben seien zwei Gebiete D und D ; gesucht ist eine konforme Abbildung des Gebietes D auf das Gebiet D . Die L osung dieser Aufgabe ist im Allgemeinen nicht einfach anzugeben. Einen Ansatz hat Riemann in seinem Abbildungssatz gemacht, indem er zeigt, dass einfach zusammenh angende Gebiete durch eine konforme Abbildung in die Einheitskreisscheibe abgebildet werden k onnen. Dies werden wir in Kapitel 23 sehen. Eine der einfachsten konformen Abbildungen sind die linearen Transfomationen der Form: f (z ) = az + b . cz + d
Eine andere konforme Abbildung ist die Wurzelfunktion von einer geschlitzten Ebene auf ihr Bild. Im folgenden Kapitel werden wir Lineare Transformationen ausf uhrlich behandeln. Bevor wir aber dazu u bergehen, erweitern wir unseren Betrachtungsraum C noch um den unendlich fernen Punkt . Bis jetzt haben wir nur die endlichen Punkte der komplexen Zahlenebene betrachtet, f ur viele Fragen der Funktionentheorie spielt jedoch dieser unendlich ferne Punkt eine wichtige Rolle. Die Einf uhrung dieses Punktes geschieht anschaulich mit Hilfe der stereographischen Projektion. Der Punkt z der komplexen Zahlenebene wird dabei vom Nordpol einer Kugel, die mit ihrem S udpol die Zahlenebene bei 1 ber uhrt, durch den Verbindungsstrahl in den Punkt Z diser Kugel projeziert. Die stereographische Projektion liefert also eine eineindeutige Abbildung der Zahlenebene auf diese Kugel, aus der der Nordpol entfernt
16
ist. Den Punkt Z nenne man das sph arische Bild der komplexen Zahl z , diese Kugel heit Riemannsche Zahlenkugel. Um bei der stereographischen Projektion auch dem Nordpol einen Punkt in der Zahlenebene zuordnen zu k onnen, f uhrt man durch Denition in der Zahlenebene den unendlich fernen Punkt (bzw. den Wert z = ) als Bild des Nordpols ein. Denition 5.1 (Riemannsche Zahlensph are) Man nennt die Erweiterung der komplexen Zahlen := C {} die Riemannsche Zahlensph C um einen Punkt zu C are. Bemerkung Die Bezeichnung Sph are ergibt sich mit der Methode der Stereographischen Projektion. Betrachtet man die Einheitssph are R3 S 2 := {(x1 , x2 , x3 ) R3 | x2 + y 2 + z 2 = 1} und eine Abbildung : S 2 \ (0, 0, 1) C = R2 , (x1 , x2 , x3 ) := 1 (x1 + ix2 ) 1 x3
so projeziert diese Punkte auf der Einheitssp are auf die xy -Ebene, die C entspricht. Die Gleichung ist leicht nachzupr ufen: Dabei bildet sie jedes p S 2 auf den Schnittpunkt der Gerade durch den Nordpol (0, 0, 1) von S 2 und durch p mit der xy -Ebene ab. Die angegebene Gleichung ist leicht zu verizieren: 0 x1 x 1 0 + t x2 = x 2 1 x3 1 0
1 x 1 = t x1 , x 2 = t x2 mit t = 1 x3 . Die Umkehrabbildung lautet dann
1 (x + iy ) =
( ) =
( )
. so erh alt man einen Isomorphismus zwischen der Sph are S 2 und C x3 1 x3 1 x 1 1 -1 -1 -1 Abbildung 3: Stereographische Projektion (x) x1 x
x2 y
17
heien (gebrochen) lineare Transformationen oder auch M obiustransformation (im Deutschen). Dabei setzt man a d f ( ) := f () := , c c Bemerkung Wir m ussen ad bc = 0 fordern, damit die Funktion biholomorph ist. Ansonsten w are sie nicht surjektiv. Dies h angt mit der Determinante der zu f assoziierten Matrix zusammen. Jetzt kann man die Motivation hinter der Erweiterung auf die Riemannsche Zahlenebene erkl aren. Betrachten wir eine lineare Transformation f wie in der Denition, zuerst aber nur als Abbildung zwischen den Komplexen Zahlen. Betrachte zwei F alle: 1. Sei c = 0. Dann hat f die Form f : C C, z a b z+ d d f 1 (z ) = d b z a a
Da c = 0 folgt aus ad bc = 0, dass a, d = 0. Also ist f biholomorph, d.h f und die Umkehrfunktion f 1 sind beide holomorph. 2. Sei c = 0. Dann ist f auf folgenden Denitions- und Wertebereich eingeschr ankt biholomorph: a d f : C \ { } C \ { } c c Die Umkehrfunktion hat n amlich folgende Form f 1 (w) = z = dw b cw + a dw + b az + b az + b cz + d
Erg anzt man nun die Komplexen Zahlen zur Riemannschen Zahlensph are und setzt man f () := a , c d f ( ) := c
so braucht man die beiden F alle nicht mehr zu unterscheiden. Man erh alt in beiden F allen, also C . sowohl f ur c = 0 als auch f ur c = 0, eine biholomorphe Funktion f : C Die Linearen Transformationen sind die einzigen biholomorphen Funktionen auf der Riemannschen Zahlenebene. Lineare Transformationen sind auch die einzigen biholomorphen Funktion auf C. Die Koezienten (a, b, c, d) liefern dieselbe Abbildung wie die Koezienten (a, b, c, d). Auerdem andern die Transformationen auf a a, b b, c c, d d kann man det AT = 1 erreichen.
1 adbc
18
Satz 5.1 Die Linearen Transformationen bilden eine Gruppe, die isomorph zur Gruppe P SL(2, C) := SL(2, C)/ ist. Dabei ist die Gruppe SL(2, C) die der komplexen 2 2-Matrizen mit Determinante Eins: SL(2, C) := {A C2,2 | det A = 1} Die Aquivalenzrelation ist gegeben durch A B A = B, A, B SL(2, C)
Beweis Um eine Gruppenisomorphie zu zeigen, zeigen wir 1. eine bijektive Zuordnung f . Ordne der Linearen Transformation S die Matrix AS zu: S (z ) := az + b cz + d AS = a b c d SL(2, C)
Da nach Denition von SL(2, C) die Determinante det AS 1 = 1 ist, folgt 1 AS 1 = A S . 2. zu zeigen f (S2 S1 ) = f (S2 ) f (S1 ): Seien ai z + b i Si (z ) := , ci z + di zwei Lineare Transformationen. Es ist S2 S1 (z ) = = = = S2 (S1 (z ))
a1 z +b1 a2 c + b2 1 z +d 1
1 z +b1 c2 a c1 z +d1 + d2
= 1 und so
i = 1, 2
a2 (a1 z + b1 ) + b2 (c1 z + d1 ) c2 (a1 z + b1 ) + d2 (c1 z + d1 ) (a2 a1 + b2 c1 )z + (a2 b1 + b2 d1 ) (c2 a1 + d2 c1 )z + (c2 b1 + d2 d1 ) a2 a1 + b2 c1 a2 b1 + b2 d1 c2 a1 + d2 c1 c2 b1 + d2 d1 a2 b 2 c2 d2 AS2 AS1 a1 c1 b1 d1
= =
Bemerkung Die Aquivalenzzuordnung ist wichtig, weil f (A) = f (A), also beide Matrizen die gleiche Lineare Transformation induzieren. Die Linearen Transformationen und SL(2, C) bilden keinen K orper, weil sie bez uglich der Addition nicht abgeschlossen sind.
19
z z+b=
bC
b z
z+b
a 0
0
1 a
a C \ {0}
|a||z |
0 i i 0
z r
1 r 1 z
Satz 5.2 Jede Lineare Transformation l asst sich aus Translationen, Drehstreckungen und Inversionen zusammensetzen.
20
az + b cz + d
b ) a(z + a bc ad az + b d a = = (z + )1 + d 2 cz + d c c c c(z + c )
Durch Verkn upfungen erh alt man (da z nur an einer Stelle auftaucht) zz
Transl.
z+
d c
Inv.
1 z+
Drehstr. d c
bc ad d (z + )1 2 c c
Transl.
bc ad d a (z + )1 + 2 c c c
Korollar 5.3 Ist eine Abbildung invariant gegen uber Translationen, Drehstreckungen und Inversionen, so ist sie bereits invariant bez uglich aller Linearen Transformationen. Denition 5.3 (Doppelverh altniss) Seien z1 , z2 , z3 , z4 C. Die Gr oe {z1 , z2 , z3 , z4 } := (z1 z2 ) (z3 z4 ) (z2 z3 ) (z4 z1 )
heit das Doppelverh altnis von z1 , z2 , z3 , z4 . Die Reihenfolge ist dabei wichtig! z4 Z ahler z3 Nenner Nenner
z1 Z ahler z2 Abbildung 7: Eine einfache Regel um sich das Doppelverh altnis zu merken.
Eine Funktion, die das Doppelverh altnis f ur jeden Punkt z zu drei festen Punkten z2 , z3 , z4 angibt, ist eine besondere Lineare Transformation. Lemma 5.4 Die Abbildung T : C C, z {z, z2, z3 , z4 } ist diejenige Lineare Transformation, die z2 , z3 , z4 auf 0, 1, abbildet. Beweis 1. Die Abbildung ist eine Lineare Transformation: (z z2 )(z3 z4 ) (z2 z3 )(z4 z ) (z3 z4 ) z z2 (z3 z4 ) . (z3 z2 ) z + (z2 z3 ) z4
T (z ) = =
21
2. T (z2 ) = 0, T (z3 ) = 1, T (z4 ) = . Betrachte z = z2 , z3 , z4 . {z2 , z2 , z3 , z4 } {z3 , z2 , z3 , z4 } {z4 , z2 , z3 , z4 } = = = = = = (z2 z2 ) (z3 z4 ) (z2 z3 ) (z4 z2 ) 0 (z3 z2 ) (z3 z4 ) (z2 z3 ) (z4 z3 ) 1 (z4 z2 ) (z3 z4 ) (z2 z3 ) (z4 z4 )
deniert man das Doppelverh Bemerkung Auf C altnis so, wie man es auch intuitiv machen w urde, man betrachtet einfach als einen normalen Punkt, der allerdings die unendlichen Eigenschaften besitzt: + a = . {, z2 , z3 , z4 } = = {z1 , , z3 , z4 } etc. = ( z2 )(z3 z4 ) (z2 z3 )(z4 ) z3 z4 z3 z2 z4 z3 z4 z1
Korrekt betrachtet man eigentlich Folgen mit Grenzwert , seien z.B. (w1 ), (w2 ) C Folgen gegen . Dann ist {, , z3 , z4 } = =
w2 w1 w2
lim lim
lim {w1 , w2 , z3 , z4 }
= 0
z3 z4 z3 w2
Lemma 5.5 Alle Linearen Transformationen auer der Identit at haben genau einen oder zwei Fixpunkte. Beweis Es gilt z =
az +b cz +d ,
z=
Im Fall c = 0 gibt es also zwei Fixpunkte (die aber zu einem zusammenfallen k onnen). Im Fall c = 0 haben wir entweder d = a und so einen endlichen Fixpunkt, ansonsten a = d f () = d.h Unendlich ist der einzige Fixpunkt. Aus dem Lemma k onnen wir folgern: Es existiert keine lineare Transfomation ohne Fixpunkt (weil f () = auch einen Fixpunkt bilden) und keine mit mehr als zwei Fixpunkten, auer es handelt sich um die Identit at. Auerdem gibt es keine lineare Abbildung die die Punkte des Einheitskreisringes wieder auf sich selber abbildet (also x = x x K1 (0)) und ansonsten eine Inversion entlang des Einheitskreises darstellt (zu viele Fixpunkte).
22
Satz 5.6 Sind (z1 , z2 , z3 ) und (w1 , w2 , w3 ) zwei Tripel untereinander paarweise verschiedener Punkte , so gibt es genau eine Lineare Transformation S mit S (zk ) = wk f in C ur k = 1, 2, 3. Beweis Zuerst zur Existenz. Betrachte z T (z ) = {z, z1, z2 , z3 }, Nach Lemma (5.4) gilt jetzt (w1 ) = 0, T (z1 ) = T (w2 ) = 1, T (z2 ) = T (w3 ) = T (z3 ) = T (w) = {w, w1 , w2 , w3 } wT
Da die Linearen Transformationen eine Gruppe bilden ist 1 T S := T eine lineare Transformation. Es gilt S (zk ) = wk , k = 1, 2, 3
1 S eine Lineare Transformation. F Dann ist auch R := S ur sie gilt R(zk ) = zk f ur k = 1, 2, 3. Sie hat die drei Fixpunkte z1 , z2 , z3 und muss somit nach Lemma (5.5) die Identit at sein. Der folgende Satz sagt aus: Das Doppelverh altnis von vier Punkten andert sich nicht, wenn man sie alle mittels der gleichen Linearen Transformation abbildet und dann wieder das Doppelverh altnis betrachtet. Satz 5.7 Lineare Transformationen erhalten das Doppelverh altnis, d.h. f ur eine beliebige Lineare Transformation S gilt {S (z1 ), S (z2 ), S (z3 ), S (z4 )} = {z1 , z2 , z3 , z4 } Beweis Diesen Satz kann man auf viele Arten beweisen: 1. Anwendung des Satzes u ber die Eindeutigkeit einer linearen Transformation wenn gilt S (zi ) = wi f ur i = 1, ..., 3, mit (z1 , z2 , z3 ) = (z1 , z2 , z3 ) und (w1 , w2 , w3 ) = (0, 1, ). Betrachte R := z {S (z ), S (z2 ), S (z3 ), S (z4 )} Das ist eine Komposition von z S (z ) und w {w, S (z2 ), S (z3 ), S (z4 )}. Also gilt nach Lemma (5.4) R(z2 ) = 0, R(z3 ) = 1, R(z4 ) = Die Lineare Transformation z T (z ) := {z, z2, z3 , z4 } hat die gleichen Eigenschaften. Aus der Eindeutigkeit in Satz (5.6) folgt R(z ) = T (z ) und mit z = z1 insbesondere die Behauptung. 2. Man kann auch u ufen, ob das Doppelverh altnis invariant gegen Translation, Drehstreckung berpr und Inversion ist, s.h. Korollar (5.3). F ur Translation ((z1 + b (z2 + b))...) und Drehstreckung az1 az2 )(az3 az4 ) 1 (( alt man (az2 az3 )(az4 az1 ) ) ist das oensichtlich. Bei der Inversion z z erh ( z1 1 wobei ( z1 1
1 z2 ) 1 1 1 z2 ) ( z3 z4 ) 1 1 (z z1 ) ( z z1 ) 2 3 4 1
z 2 z 1 z1 z2
ist.
23
Satz 5.8 (Geometrische Eigenschaften der M obiustransformationen) Lineare Transformationen f uhren Geraden und Kreislinien in Geraden oder Kreislinien u ber (also auch Kreise in Gerade und umgekehrt). Beweis Anstatt es f ur eine beliebige Transformation zu zeigen, zeigen wir die Aussage f ur Translationen, Drehstreckungen und Inversionen. F ur Translationen (verschieben des Kreises um eine Konstante) und Drehstreckungen (den Kreis drehen und dann den Radius vergr oern oder verkleinern) ist die Behauptung klar. Bleibt die Behauptung f ur die Inversion zu zeigen. Betrachten wir aber erstmal, was f ur Eigenschaften Punkte, die auf einem Kreis liegen, erf ullen m ussen: |z z0 |2 = (z z0 )(z z 0 ) = 0 = r2 r R+ der Radius des Kreises, z0 der Mittelpunkt zz zz0 zz0 + z0 z 0
zz zz0 zz0 + z0 z 0 r2
b c mit z 0 = a , und a = z0 z 0 r2 ergibt sich dann folgende Gleichung, die f ur alle Punkte auf einem Kreis mit dem Mittelpunkt z0 und dem Radius r erf ullt sein muss:
bb
b a
1 . Es ist zu pr ufen: z Kreis, die deswegen auch die Gleichungen Betrachten wir nun die Inversion z z 1 (*) und (**) erf ullen, gibt es dann auch ein a , c R, b C, so dass z die beiden Gleichungen erf ullt sind. Durch einfaches Umformen ergibt sich, dass solche Konstanten existieren:
azz + bz + bz + c a+
b z
=0 =0 =0
b z
c zz
cf (z )f (z) + bf (z ) + bf (z ) + a
mit f (z ) = 1 z . Die neuen Konstanten sind also: a = c, b = b, c = a und damit ist Gleichung (*) und auch Gleichung (**) erf ullt. Bemerkung Man kann Geraden auch als Kreislinien von Kreisen betrachten, deren Mittelpunkt in liegt. Satz 5.9 Es ist {z1 , z2 , z3 , z4 } R genau dann, wenn z1 , z2 , z3 , z4 auf einer Kreislinie liegen. Beweis Betracht zuerst die Funktion: T : z {z, z2 , z3 , z4 }, T (z ) = (z z2 )(z3 z4 ) (z2 z3 )(z4 z )
Sie ist eine lineare Transformation. Nach Satz 5.16 erhalten lineare Transformationen das Doppelverh altnis. Also gilt: {z1 , z2 , z3 , z4 } = {T (z1 ), T (z2 ), T (z3 ), T (z4 )}
24
Sei nun {z1 , z2 , z3 , z4 } R. Da T (z2 ) = 0, T (z3 ) = 1, T (z4 ) = folgt {T (z1 ), T (z2 ), T (z3 ), T (z4 )} = {T (z1), 0, 1, } R T (z1 ) R. Die Werte T (z1 ), T (z2 ), T (z3 ), T (z4 ) liegen also auf einer Geraden, der reellen Achse. Wenden wir nun die Umkehrfunktion von T , die Funktion T 1 , auf T an, so bildet sie jede Gerade oder jeden Kreis wieder auf einen Kreis oder eine Gerade ab. Da T (z1 ), T (z2 ), T (z3 ), T (z4 ) auf einer Gerade lagen, m ussen jetzt die Werte z1 , z2 , z3 , z4 auf einem Kreis oder eine Gerade liegen. Seien z1 , z2 , z3 , z4 Elemente eines Kreises. Betrachte wieder die lineare Transformatione T wie oben. Es gilt wieder T (z2 ) = 0, T (z3 ) = 1, T (z4 ) = . Da eine lineare Transformation Kreise/Geraden auf Kreise/Geraden abbildet, bildet T den Kreis um z1 , z2 , z3 , z4 auf eine Gerade ab. T (z1 ) liegt auch auf der Geraden durch 0, 1, T (z1 ) R. Behauptung. Beispiel 5.2 (Doppelverh altniss eines Quadrates) Sind z1 , z2 , z3 , z4 die Eckpunkte eines Quadrates im Gegenuhrzeigersinn, so gilt {z1 , z2 , z3 , z4 } = 1. Das Doppelverh altnis f ur alle Quadrate ist gleich, da sie aus Drehstreckungen und Translationen des Einheitsquadrates enstehen. Betrachte also das entsprechende Doppelverh altnis des Einheitsquadrates. z4 = i z3 = 1 + i
z1 = 0
z2 = 1
KURVENINTEGRALE
25
Kurvenintegrale
Was wir in diesem Kapitel lernen: Def. Integratiosweg/Kurve, wichtige Beispiele (Kreislinie, Strecke) Def L ange von , Kurvenintegral, Integral u ber komplexe Funktion Wichtiges Beispiel:
1 |z |=r z z0 dz
= 2i
Man kann Kurven auch hintereinander schalten und r uckw arts durchlaufen und lineare Kombinationen bilden. Denition 6.1 (Integrationsweg & Spur) Ein Integrationsweg oder eine Kurve in U C, U offen, ist eine st uckweise stetig dierenzierbare Abildung : R [a, b] U Die Bildmenge ([a, b]) heit Spur, man schreibt Sp( ) := ([a, b]) U. Man sagt, parametrisiert Sp( ). Spezialf alle von Integrationswegen sind: Immersionen: (t) = 0 f ur alle t [a, b]: d.h. ist streng monoton Geschlossene Kurven: (a) = (b) Einfach geschlossene Kurven: (a) = (b), |[a,b) ist injektiv (a) = (b) (a)
1 [a, b] R
U C 2 3
= (b)
geschlossen
einfach geschlossen
Abbildung 9: Integrationsweg, geschlossene Kurve, einfach geschlossene Kurve Beispiel 6.1 (Parametrisierte Kurven) Die geschlossene Kurve : [0, 2 ] C, (t) := z0 + reit , z 0 C, r R, r > 0 ist die positiv orientierte Kreislinie. d.h. sie geht gegen den Uhrzeigersinn. Wichtig: die Kurve ist nicht die Menge ihres Bildes. Zu der Kurve geh ort auch die Parametrisierung, d.h. wie Schnell die Spur durchlaufen wird und wie oft jeder Punkt des Bildes u berlagert wird. Die nicht geschlossene Kurve : [0, 1] C, (t) := (1 t)z1 + tz2 , 1 (t) = tz1 + (1 t)z2 z1 , z2 C ist die Verbindungsstrecke zwischen z1 und z2 . Der r uckw artslaufende Weg ist
KURVENINTEGRALE
26
z0
r (0) = (2 ) z1
z2
Abbildung 10: positiv orientierte Kreislinie, Verbindungsstrecke Denition 6.2 (L ange einer Kurve) Sei : [a, b] C eine Kurve. Man nennt
b
L( ) :=
a
| (t)|dt
die L ange von . Bemerkung zur physikalischen Interpretation: Weg ist Geschwindigkeit mal Zeit. Allerdings k onnen wir da vorw arts und r uckw arts gehen. Uns interessiert aber der absolute Weg, den wir zur ucklegen. Also betrachte den Betrag der Geschwindigkeit u ber einen festen Zeitraum. Allgemein entspricht dies b dem a | (t)|dt, quasi der zeitlichen Betrachtung von a nach b mit der Geschwindigkeit (t). Bemerkung Die Ableitung von (t) = 1 (t) + i2 (t) ist zu verstehen als
(t) + i2 (t) (t) = 1
Dabei sind 1 , 2 : [a, b] R stetig dierenzierbar. Der Betrag ist also | (t)| =
(t))2 + ( (t))2 (1 2
| (t)|dt (t)
(t + dt)
|2 (t)|dt
|1 (t)|dt
Abbildung 11: Ableitung einer Kurve Denition 6.3 (Kurvenintegral) Es seien : [a, b] C ein Integrationsweg und f : Sp( ) U C, U oen eine stetige Funktion. Dann nennt man
b
f (z )dz :=
a
f ( (t)) (t)dt
das Kurvenintegral u angs . ber f l Bemerkung Das Integral einer komplexen Funktion g : [a, b] C, g (t) = g1 (t) + ig2 (t) mit g1 , g2 : [a, b] R stetig berechnet sich als
b b b
g (t)dt =
a a
g1 (t)dt + i
a
g2 (t)dt
Beispiel 6.2 Sei (t) = z0 + reit die positiv orientierte Kreislinie, s. Beispiel (6.1). Dann ist dz = z z0
2 0
rieit dt = 2i reit
Interessanterweise ist der Integralwert unabh angig vom Radius des Kreises.
KURVENINTEGRALE
27
Satz 6.1 Sei f : U C, f stetig, U C oen. : [A, B ] [a, b] sei eine stetig dierenzierbare Funktion mit (A) = a und (B ) = b und : [a, b] U eine Kurve. So gilt : [A, B ] U und f (z )dz =
f (z )dz
(s)
(t)
U C
[A, B ]
[a, b]
f (z )dz
=
A B
f ( (s)) f ( ( (s)))
d (s) ds ds
=
t= (s) () A b
d ( (s)) ds ds
= =
f ( (t))
a b
f ( (t))
a b
=
a
f ( (t)) (t)dt
f (z )dz
d (s) ds
dtds d (s)
und
Bemerkung Kehrt man die Durchlaufrichtung um, d.h. (A) = b, (B ) = a, so ist f (z )dz = f (z )dz
Die Spur von zusammen mit der Durchlaufrichtung bestimmen also das Integral. Denition 6.4 (Ketten) Als Kette bezeichnen wir eine endliche formale Linearkombination von Kurven 1 , 2 , ..., N :
N
=
i=1
ni i ,
N
ni Z
ni
i=1 i
f (z )dz
Insbesondere ist dann anders herum orientiert als , d.h. hat die entgegengesetzte Durchlaufrichtung.
28
f = F (b) F (a)
f holo, Randkurve eines vollst andig im Def.bereich enthaltenen Rechecks Integral holo Fkt. u ber stetig dibares Bild eines Rechtecks ist 0 Cauchy-Satz u ber Kreisscheiben und Kreise.
f =0
Lemma 7.1 Sei f : C U C, U oen, stetig. Weiter sei : [a, b] C die Verbindungsstrecke zwischen z1 C und z2 C. Besitzt f eine Stammfunktion F , d.h. es gilt F = f , so gilt
Behauptung Es reicht, dass f stetig ist und eine st uckweise stetig dierenzierbare Funktion ist. Beweis Es reicht die Denition f ur Kurvenintegrale mit der Denition des Riemanintegrals zu bringen:
b
f (z )dz
=
a b
=
b
= =
Bemerkung Im Lemma 7.1 kennen wir die Stammfunktion schon, im folgenden Satz 7.2. nicht, und trotzdem k onnen wir Aussagen u ber das Integral machen. Allerdings integrieren wir in 7.1. wirklich nur u ber eine Verbindungsstrecke. Sp ater k onnen wir sogar sagen, dass f genau dann holomorph ist, wenn das Integral u ber bestimmte Kurven immer verschwindet, bzw. dass eine Menge G eine bestimmte Form hat (ein einfach zusammenh angendes Gebiet ist), genau dann wenn jede holomorphe Funktion auf G eine Stammfunktion besitzt. Satz 7.2 (Der Cauchysche Integralsatz f ur Rechtecke) Sei : [0, l] C die Randkurve eines Rechteckes Q U C, U oen. Weiter sei f : U C holomorph. Dann gilt f (z )dz = 0
Beweis Eigentlich ist das eine Folgerung aus dem Satz von Stokes,1 welcher besagt wann und wie man anstatt u ber eine Menge u ber deren Rand integrieren kann.
1 Satz von Stokes: Seien M eine k-dimensionale kompakte, orientierte berandete Untermannigfaltigkeit in einem Vektorraum V und k1 (M ). Der Rand M trage die induzierte Randorientierung. Dann gilt Z Z d = . M M
29
Wir zeigen das hier direkt. f ist holomorph, also gilt f (z ) = f (z0 ) + f (z0 )(z z0 ) + (z ), und somit f (z )dz =
z z0
lim
(z ) =0 |z z0 | (z )dz
f (z0 )dz +
Da f (z0 ) = const. und f (z0 )(z z0 ) als lineare Funktion Stammfunktionen besitzen, folgt mit Lemma (7.1), dass f (z0 )dz =
Die Idee ist jetzt, das Rechteck Q in vier gleich groe Rechtecke zu zerlegen. 3 4
(1) (1)
Q 1
(1)
(1)
Q1
(1) (1)
Q4 Q3
(1)
Q2
(1)
Abbildung 13: Zerlegung des Rechtecks Sind nun i , i = 1, ..., 4 entsprechende Berandungen von Q, so ist f (z )dz =
(1)
(1)
f (z )dz +
(1)
f (z )dz +
(1)
f (z )dz +
(1)
f (z )dz
Betrachte jetzt das Teilrechteck mit dem gr oten Integral i1 := max Wir erhalten die Absch atzung |
k=1,...,4
(1)
f (z )dz
f (z )dz | 4|
(1)
f (z )dz |
Zerlegen wir jetzt immer wieder das gr ote Rechteck analog wie zuvor, so erhalten wir einerseits eine absteigende Folge von Rechtecken Q Q1 Q2 ... Qn und gleichzeitig eine Absch atzung |
f (z )dz | 4|
(1) 1
f (z )dz | ... 4n |
in
(n)
f (z )dz |
(= 4n |
in
(n)
(z )dz |)
Sei jetzt {z0 } := k=1 Qk . Der Punkt z0 ist eindeutig bestimmt und in allen Qk enthalten (CauchyFolge). Sei > 0. W ahle ein > 0 so, dass |(z )| < |z z0 | z : |z z0 | < da
(z ) |z z0 |0 | z z 0 |
0.
W ahle weiter n so gross, dass Qn {z | |z z0 | < }. Dann gilt f ur alle z Qn |(z )| < 2n d
30
z0
Qn
Abbildung 14: Die Delta-Umgebung um Qn Dabei ist d der Durchmesser des urspr unglichen Rechtecks Q. Setzt man auerdem l als L ange von , so ist 2n l die L ange von (l) und man erh alt | Also gilt |
(n)
Die Idee des Beweises ist also: Die groen Teile f (z0 ), (z z0 )f (z0 ) haben Stammfunktionen und fallen deswegen weg, und den Rest k onnen wir kontrollieren. Satz 7.3 Sei f : C U C holomorph, U C oen. Weiter sei : Q U stetig dierenzierbar f ur eine Rechteck Q C mit Randkurve : [a, b] C. ist also eine stetige Deformierung von . Dann gilt U Q f (z )dz = 0. (Q)
Beweis Der Beweis geht genau so wie der zu Satz (7.2). Man muss lediglich die Jacobiabbildung von , welche auf der kompakten Menge Q beschr ankt ist, zus atzlich absch atzen. Beispiel 7.1 (Anwendungen) 1. Sei f : C U C holomorph, seien , : [a, b] U zwei stetig dierenzierbare Kurven. Betrachte : [a, b] [0, 1] C, (t, ) := (t)(1 ) + (t) Das Bild von ([a, b] [0, 1]) sei eine Teilmenge von U . nimmt dann folgende Funktionen an: =0 =1 t=a t=b (t, 0) = (t) (t, 1) = (t) (a, ) = 2 (b, ) = 1 f (z )dz
Der Rand von bildet also ein deformiertes Rechteck. Dann gilt f (z )dz +
2
f (z )dz f (z )dz =
f (z )dz = 0
1
und somit
f (z )dz
f (z )dz
f (z )dz
2
31
2. Haben und den gleichen Anfangs- und Endpunkt, so haben 1 und 2 die L ange 0 und wir erhalten f (z )dz = f (z )dz
U 1
(t, ) 2
Bemerkung Integrale von holomorphen Funktionen sind also fast vom Integrationsweg unabh angig. Ist U allerdings nicht einfach zusammenh angend, d.h. nicht jede geschlossene Kurve kann zu einem Punkt deformiert werden, so kann f (z )dz =
f (z )dz
sein, falls die Bedingung ([a, b] [0, 1]) U nicht erf ullt ist. U C
Abbildung 16: Nicht einfach zusammenh angendes Gebiet U , in dem die geschlossene Kurve ( 1 ) nicht zu einem Punkt zusammengezogen werden kann. Beispiel 7.2 (Randkurve eines Dreiecks) Sei die Randkurve eines Dreiecks. Dann ist f (z )dz = 0
32
W ahlt man n amlich Kurven , , 1 und 2 wie in Abb. 17 (1 = z0 = const), so ist f (z )dz +
2
f (z )dz f (z )dz
f (z )dz 0 0
f (z )dz +
2
f (z )dz
= =
f (z )dz
Dreieck
f (z )dz
f (z )dz =
1
f (z )dz f (z )dz
f (z )dz = 0
2
U C
Abbildung 18: Skizze zum Beispiel 7.3 Bemerkung Die Bezeichnung f (z )dz := ist so zu verstehen, dass eine positiv orientierte Kreislinie ist.
| z z 0 | =r
f (z )dz
: [0, 2 ] C,
(t) = z0 + reit
Satz 7.4 (Cauchyscher Integralsatz f ur einen Kreisring) Seien f : C U C holomorph, U C oen, sowie der Kreisring Kr,R := {z C | r |z z0 | R} U, f (z )dz =
| z z 0 | =r | z z 0 | =R
z0 U
U C r z0 R Kr,R
33
Korollar 7.5 (Cauchyscher Integralsatz f ur die Kreisscheibe) Seien f : C U C holomorph, U C oen, sowie die Kreisscheibe KR := {z C | |z z0 | R} U, gegeben. Dann ist f (z )dz = 0
| z z 0 | =R
z0 U
DIE CAUCHYFORMEL
34
Die Cauchyformel
2 0
f (z + reit )dt
Satz 8.1 (Die Cauchy-Integralformel) Sei f : C U C holomorph, U C oen. In U sei die Kreisscheibe KR (a) := {z C | |z a| R}, a U enthalten. Dann gilt f ur alle z0 KR (d.h aus dem Inneren von KR ) f (z0 ) = 1 2i f (z ) dz z z0
|z a|=R
Die Funktionswerte auf dem Rand des Kreises bestimmen also bereits die Funktion auf dem Inneren des Kreises. Beweis Die Funktion |z z0 | < } KR ist.
f (z ) z z 0
z0 U C a R
Abbildung 20: Epsilon-Umgebung um z0 Mit dem Cauchyschen Integralsatz f ur Bilder von Rechtecken (7.3) ergibt sich f (z ) dz = z z0 f (z ) dz z z0
|z a|=r
| z z 0 | =
Betrachte den Grenzwert 0. Da f holomorph ist, gilt f (z ) = f (z ) f (z0 ) z z0 = f (z0 ) + f (z0 )(z z0 ) + (z ), f (z0 ) +
C
(z ) z z0
0 f ur z z0
(z ) zz0 0 z z0
)f (z 0 ) und somit ist f (zz beschr ankt auf |z z0 | = f ur > 0 klein genug. Da der Kreisumfang f ur z 0 0 gegen Null geht, ist deshalb
lim
| z z 0 | =
f (z ) f (z0 ) dz z z0
DIE CAUCHYFORMEL
35
und somit
0
lim
| z z 0 | =
f (z ) dz z z0
lim
| z z 0 | =
f (z ) f (z0 ) dz + lim 0 z z0
=0
| z z 0 | =
f (z0 ) dz z z0
0 + lim f (z0 )
0 | z z 0 | =
1 dz z z0
2if (z0 )
| z z 0 | =
f (z ) dz = lim 0 z z0
|z a|=R
f (z ) dz = z z0
|z a|=R
f (z ) dz z z0
Korollar 8.2 (Mittelwertsatz f ur holomorphe Funktionen auf einer Kreisschreibe) Sei f : C U C holomroph, U C oen. In U sei die Kreisscheibe KR := {z C | |z z0 | R} U, R > 0 enthalten. Dann gilt f (z0 ) = 1 2
0 2
Beweis Mit der Parametrisierung der Kreislinie zu z : [0, 2 ] KR , z (t) = z0 + Reit ergibt der Cauchy-Integralsatz mit z0 C als Zentrum des Kreises f (z0 ) = 1 2i
| z z 0 | =R
f (z ) 1 dz = z z0 2i
2 0
2 0
DER POTENZREIHENENTWICKLUNGSSATZ
36
Der Potenzreihenentwicklungssatz
Was wir in diesem Kapitel lernen: Jede holomorphe Funktion kann in einer Umgebung aus z0 in eine Potenzreihe entwickelt werden. holo beliebig oft db. Satz von Goursat Satz von Liouville Fundamentalsatz der Algebra Satz 9.1 Sei f : C U C holomorph, U C oen. Dann gibt es eine Potenzreihe k=0 ck (z z0 )k mit positivem Konvergenzradius, die in einer Umgebung von z0 U die Funktion f darstellt. F ur die Koezienten gilt 1 f (z ) ck = dz 2i |zz0 |=r (z z0 )k+1 sofern {z C | |z z0 | r} in U enthalten ist.
Bemerkung Das Theorem bildet die Umkehrung des Satzes, dass Potenzreihen holomorphe Funktionen sind. Die Potenzreihe, die f auf einem Kreis mit dem Radius r darstellt, kann allerdings einen Konvergenzradius R besitzten mit r < R.
r U C z0 R
Abbildung 21: f kann auf dem Gebiet Kr (z0 ) durch die Potenzreihe dargestellt werden. Allerdings kann die Potenzreihe auch auf dem Gebiet KR (z0 ) konvergieren. Beweis O.B.d.A. sei z0 = 0. Deniere Kr := {z C | |z | r} Kr+ = {z C||z | < r + } U . F ur | | = r + und z Kr ergibt sich aus der geometrischen Reihe 1 1
z
k=0
Diese Reihe konvergiert dann absolut und gleichm aig. Mit der Cauchyformel f ur die Kreisscheibe, Satz (8.1), folgt z Kr f (z ) = = = 1 2i 1 2i 1 2i
| | =r + | | =r +
f ( ) d z
f ( ) 1 d (1 z )
| |=r + k=0
f ( )
DER POTENZREIHENENTWICKLUNGSSATZ
37
) Da f holomorph und insbesondere stetig ist, ist es auch f ( . Vor allem ist dieser Ausdruck auch auf der kompakten Menge | | = r + beschr ankt und wir erhalten weiter
f (z ) = = = mit ck =
1 2i
k=0 k=0
| |=r + k=0
f ( )
zk
1 2i
| | =r +
f ( ) d k+1
ck z k
1 2i
| | =r +
f ( ) 1 d = k+1 2i
| | =r
f ( ) d k+1
Korollar 9.2 (Satz von Goursat) Jede holomorphe Funktion f : C U C, U oen, ist beliebig oft dierenzierbar und es ist f (z ) = f ur ein z0 U . Beweis Stelle die holomorphe Funktion f : C U C, U oen, als Potenzreihe entwickelt um z0 U dar: f (z ) = k=0 ck (z z0 )k . Potenzreihen sind in ihrem Konvergenzkreis beliebig oft dierenzierbar, s. Satz (3.3). Also ist f (z ) = f (z ) = f (z ) = . . . . . .
k=0 k=1 k=2 k=0
ck (z z0 )k , mit ck =
f (k) (z0 ) k!
. . .
k =n
f (n) (z ) =
(z0 ) = = =
k =n
DER POTENZREIHENENTWICKLUNGSSATZ
38
Korollar 9.3 (Integralformel f ur Ableitungen) Sei f eine holomorphe Funktion auf einer oenen Menge U . Sei Kr (z0 ) U und KR (a) U so dass ebenfalls z0 KR (a). Dann gilt f (k) (z0 ) = Korollar 9.4 Ist f (z ) = k! 2i
Kr (z0 )
f (z ) k! dz = (z z0 )k+1 2i
|z a|=R
f (z ) dz. (z z0 )k+1
k=0 ck (z
z0 )k eine in
KR (z0 ) := {z C | |z z0 | < R} konvergente Potenzreihe, so kann f (z ) in jedem Punkt z1 KR (z0 ) in einer Potenzreihe F (z ) =
k=0
dk (z z1 )k
entwickelt werden, d.h. f (z ) = F (z ) f ur alle z Kr (z1 ) KR (z0 ). Dabei ist r der Konvergenzradius der Reihe F (z ). Er betr agt mindestens r R |z0 z1 |
r z0 KR (z0 )
z1 R
Abbildung 22: Um jedes z1 KR (z0 ), kann eine Potenzreihen entwickelt werden. Ihr Konvergenzradius geht mindestens bis an den Rand von KR (z0 ).
Beweis Beweisidee: Groer Umordnungssatz (s. Elstrodt S. 31) Beispiel 9.1 Betrachte f (z ) =
1 z 1 .
Entwickle die Potenzreihe nach Korollar (9.2) um z0 = 0. f (z ) = f (z ) = . . . . . . 1 (z 1)2 2 (z 1)3 . . . (1)k 1 2 . . . k ! k! (z 1)k+1
f (k) (z ) = f (z0 ) = f (0) = f (0) = . . . . . . f (k) (0) = Also haben die Reihenkoezienten die Form ck =
f (k) (z0 ) k ! = = 1 k! k!
DER POTENZREIHENENTWICKLUNGSSATZ
39
ck (z z0 )k =
k=0
zk
Sie hat oensichtlich Konvergenzradius 1. Satz 9.5 Sei f : C U C, U C oen, f holomorph und beschr ankt durch eine Konstante M > 0 auf dem Rand einer Kreisscheibe Kr = {z C | |z z0 | r} U, z0 C
d.h. |f (z )| < M f ur alle z Kr mit |z z0 | = r. Dann gilt f ur die Potenzreihenentwicklung f (z ) = k c ( z z ) k 0 k=0 M |ck | k r Beweis Aufgrund der Cauchyformel (8.1), ist ck |ck |
(8.1)
1 2i 1 | 2i |
| z z 0 | =r | z z 0 | =r
f (z ) dz (z z0 )k+1
=
(-Ugl.)
f (z ) dz | (z z0 )k+1
1 1 M 2 rk+1 M rk
2r
L ange d. Kurve |z z0 |=r
Satz 9.6 (Liouville) Sei f : C C eine ganze Funktion. Auerdem sei f beschr ankt durch eine Konstante M > 0, d.h. |f (z )| M f ur alle z C. Dann ist f eine konstante Funktion. (Also: beschr ankt & ganz konstant) Beweis Da die Funktion f ganz ist, l asst sie sich als Potenzreihe f (z ) = k=0 ck z k entwickeln, welche auf beliebig groen Kreisscheiben Kr (0) konvergiert. Da f nach Voraussetzung beschr ankt ist, existiert M ein M R, so dass |f (z )| < M auf dem Rand jeder solchen Kreisscheibe. Nach Satz (9.5) gilt |ck | r k. Da wir r beliebig gro w ahlen k onnen, muss |ck | = 0 f ur alle k > 0 gelten und es ist f (z ) c0 . Satz 9.7 (Fundamentalsatz der Algebra) Jedes Polynom in C vom Grad 1 hat mindestens eine Nullstelle. Beweis O.B.d.A. sei das Polynom P (z ) = z n + pn1 z n1 + ... + p0 vom Grad n 1 normiert, d.h. der f uhrende Koezient ist pn = 1. Angenommen, P (z ) h atte keine Nullstelle. Dann ist f (z ) = 1 1 1 1 1 z 1 1 = n = n 1 z n 1 = z n P (z ) z + pn1 z n1 + + p0 z 1 + pn1 1 + . . . + p 0 n z z
DER POTENZREIHENENTWICKLUNGSSATZ
1 zn
40
KR := {z C | |z | R} mit R > 0 so, dass |f (z )| < 1 f ur z / KR . Nun ist aber KR eine kompakte Menge und f (z ) holomorph und so insbesondere stetig. Also nimmt f (z ) auf KR Minimum und Maximum an. Also ist f (z ) auf und auerhalb KR beschr ankt, also ist sie auch auf ganz C beschr ankt. Da f (z ) auch ganz ist, folgt mit dem Satz von Liouville (9.6), das f (z ) c C konstant ist. Dann w are f (z ) aber ein Polynom vom Grad 0. Widerspruch!
41
10
Was wir in diesem Kapitel lernen: Satz von Morera Das Spiegelungsprinzip Satz 10.1 (Morera) Sei f : C U C, U oen, f stetig mit f (z )dz = 0
f ur jede in U enthaltene Dreiecks ache mit Randkurve . Dann ist f holomorph. Bemerkung Der Satz von Morerea stellt eine Umkehrung des Cauchyschen Integralsatzes dar und ist ein wichtiges Kriterium um die Holomorphie einer Funktion f zu zeigen. Beweis Holomorphie ist eine lokale Eigenschaft, also gen ugt es zu zeigen dass f f ur jeden Punkt a U in einer kleinen Umgebung Ua von a holomorph ist (d.h. f muss in jedem Punkt z0 Ua holomorph sein). Durch verschieben k onnen wir o.B.d.A. annehmen, dass a = 0 und U = Ua = {z C | |z | < r}. Seien nun z = z0 U beliebig. Die Punkte 0, z, z0 bilden ein Dreieck, dessen Rand wir wie in Abb. 23 parametrisieren. z0 U C z0 0 z z Abbildung 23: Parametrisierung des Dreiecks Wir zeigen, dass F : U C, holomorph in z0 ist und F (z ) = f (z ). Es gilt F (z ) F (z0 ) = z z0 f ( )d
z
F (z ) :=
z
f ( )d
f ( )d
z0
f ( )d
da das Integral u ber den Rand D U des Dreiecks Null ist, d.h. 0=
D
z z0
f ( )d
z z0 f ( )d =
z0
f ( )d =
z
f ( )d
z0
f ( )d
f ( )d
f ( )d
f ( )d berechnen:
1
=
0
f ((1 t)z0 + tz )
1 0
d dt dt
(z z0 )
42
Daher ist
Da die Denition von F unabh angig von dem beliebig gew ahlten z0 U war, ist F holomorph auf U und F = f . Da die Ableitung einer holomorphen Funktion selbst wieder holomorph ist, folgt die Behauptung. Um den Beweis des n achsten Satzes richtig zu verstehen, brauchen wir noch ein paar Hilfsmittel: Denition (Elstrodt S. 56) Besondere Kurvenintegrale:
b
F (z ) F (z0 ) = z z0
1 0
z z
(f stetig)
f |dz | = f dz =
a b
Satz (Elstrodt S. 58) Sind : [a, b] C st uckweise stetig dierenzierbar, f : [ ] C stetig so gilt: f dz =
f dz
Satz 10.2 (Schwarzsches Spiegelungsprinzip) Sei U C oen und spiegelsymmetrisch bzgl. z z . Setze U1 := U H , H := {z C | Imz 0} U2 := U H , H := {z C | Imz 0} U0 := U R Ist weiterhin f : U C stetig mit f |U0 reellwertig, sowie auf U1 \ U0 holomorph, so ist die durch f (z ) , z U1 : U C, (z ) := f f f (z ) , z U2 U1
Beweis Zeige die Holomorphie mittels des Satzes von Morera. Zu zeigen ist also (z )dz = 0 f
D
f ur alle Dreiecke D U . Unterscheide drei F alle: 1. Sei ein Dreieck D U1 \ U0 gegeben. Dann ist die Behauptung klar.
43
=
D
f (z )dz f (z )dz
D
= =
D
f (z )dz
= 0 3. Sei nun also ein Dreieck D U mit D U1 = = D U2 gegeben. Deniere D1 := D U1 , D2 := D U2 und betrachte gleich orientierte Randkurven von D, 1 von D1 und 2 von D2 . Es gilt (z )dz = f
1
(z )dz + f
2
(z )dz f
Um zu zeigen dass diese Integrale verschwinden, betrachten wir f ur > 0 die Mengen
Di := Di {z C | |Imz | } mit Randkurven i , i = 1, 2.
1 D1 D2
auf gen Da wir nach 1. & 2. bereits wissen, dass f ugend kleinen Umgebungen von D1 und D2 holomorph ist, gilt nach Cauchy, dass (z )dz = 0 f
U \U i i 0
Andererseits ist
0
lim
(z )dz = f
i
(z )dz = 0 f
i
aufgrund des Satzes von Morera holomorph, da alle Integrale u Somit ist f ber Randkurven von Dreiecken in U verschwinden.
44
Bemerkung Warum wurde im Beweis im Integral dz verwendet? g1 (z ) = f (z ) ist nicht holomorph. Z.B. ist z z nicht holomorph, aber z z . g2 (z ) = f (z ) ist nicht holomorph. Aber: g3 (z ) = f (z ) ist holomorph. Man sieht das anhand der Potenzreihenentwicklung: f (z ) =
k=0
ck z k
Sei die Abbildung z z und f sei holomorph. Dann sind f und f nicht holomorph aber f ist wieder holomorph.
45
11
Was wir in diesem Kapitel lernen: Def. Ordnung/Vielfachheit einer Nullstelle f holomorph um z0 mit f (z0 ) = 0 dann lokal biholomorph f holomorph l asst sich lokal um eine k-fache Nullstelle darstellen als (h(z ))k Nullstellen endl. Ordnung einer holo. Funkt. sind isoliert Um eine k-fache nullstelle nimmt f jeden Wert k-mal an. Denition 11.1 (Vielfachheiten von Nullstellen) Sei f : C U C, U oen, holomorph sowie z0 U mit f (z0 ) = 0. Die Nullstelle z0 heit einfach, falls f (z0 ) = 0. Allgemein nennt man die kleinste nat urliche Zahl k N mit f (k) (z0 ) = 0 die Ordnung oder Vielfachheit der Nullstelle. Existiert ein solches nat urliches k nicht, sagt man auch, die Ordnung ist unendlich. Satz 11.1 (Lokale Invertierbarkeit) Sei f : C U C, U oen, holomorph und es existiere ein z0 U mit f (z0 ) = 0. Dann ist f um z0 lokal biholomorph, d.h. es existiert eine holomorphe Inverse. Bemerkung Der Satz gilt unabh angig davon, ob f (z0 ) = 0 oder nicht. Wichtig ist nur, dass f (z0 ) = 0 ist. Beweis Betrachte f als Funktion vom R2 nach R2 . Dann l asst sich der aus Analysis II bekannte Satz 2 u ber inverse Funktionen anwenden. Also existieren U R oen mit z0 U sowie V R2 oen mit f (z0 ) = w0 V so, dass f : U V bijektiv und g = f 1 : V U dierenzierbar mit g (w0 ) = z0 ist. F ur die Jakobimatrix Jg von g gilt Jg = (Jf )1 Dies sieht man, wenn man g (f (z )) = z mit der Kettenregel dierenziert: Jg Jf = Id Setze jetzt z := x + iy, Damit ist Jf Jg = (Jf )1 = = =
u x v x u y v y
w := u + iv = f (z ) =
u v
g := g1 + ig2
u v x y g1 x g2 x
u v y x g1 y g2 y
v y v x
u y
u x
Um die Holomorphie von g zu zeigen, m ussen wir die Cauchy-Riemannschen Gleichungen (2.1) f ur g zeigen: g1 g2 g1 g2 = , = x y y x Rechnet man das aus, sieht man, dass sie aquivalent zu denen von f sind: u v = , x y u v = y x
46
Satz 11.2 (Lokale Darstellung holomorpher Funktionen) Sei f : C U C, U oen, holomorph mit einer k -fachen Nullstelle z0 U gegeben. Dann gibt es in einer oenen Umgebung U0 U von z0 eine holomorphe Funktion h : U0 C mit einer einfachen Nullstelle bei z0 so, dass f (z ) = (h(z ))k , zU0
cn z n
Da f ur die Koezienten der Potenzreihe nach dem Satz von Goursat (9.2) cl = gilt und z0 = 0 eine k -fache Nullstelle ist, folgt f (z ) = = =
n=0 n=k
f (l) (0) l!
cn z n cn z n
n=k =:g(z )
zk
cn z nk
g ist als Potenzreihe nat urlich holomorph und es gilt insbesondere g (0) = 0 (sonst w are z0 = 0 eine Nullstelle von Ordnung mindestens k + 1). Die Idee ist jetzt, das gesuchte h als h(z ) = z
k
g (z )
zu denieren. Die k -ten Wurzeln einer komplexen Zahl w = rei sind dabei deniert als k w
l=0,...,k1
2i k rei k + k l
Sei nun zw eine der k -ten Wurzeln von g (0) = 0. Die Funktion : C C, (z ) = z k ist holomorph mit (z ) = 0 f ur alle z = 0. Also ist insbesondere nach Satz (11.1) an den k -ten Wurzeln von g (0) = 0 lokal biholomorph und es existieren oene Umgebungen Uw von zw und V von g (0) so dass 1 : V Uw biholomorph ist. (z ) = z k Uw 0 zw 1 (w) Abbildung 26: Die Funktion = z k bildet die k-ten Wurzeln von g (0) auf g (0) ab. In einer kleinen Umgebung um eine beliebige Wurzel zw ist sie biholomoph. Deniere jetzt h(z ) := z 1 (g (z )) V g (0)
47
Dann ist h holomorph und hat eine einfache Nullstelle bei z = 0, denn es ist h (0) = 1 (g (0)) = w = 0. Also ist h die gesuchte Funktion: (h(z ))k =
id=(1 )k
z k (1 (g (z ))k z k g (z ) f (z )
= =
Bemerkung F ur k > 1 ist die Funktion h(z ) nicht eindeutig, da wir willk urlich ausw ahlen welche Wurzel zw wir betrachten. Korollar 11.3 Nullstellen endlicher Ordnung einer holomorphen Funktion f : C U C, U oen, sind isoliert. D.h. ist f (z0 ) = 0 f ur ein z0 U , so existiert eine oene Umgebung U von z0 so, dass f (z ) = 0 f ur alle z U \ {z0 }. Beweis Stelle f nach Satz (11.2) dar als f (z ) = (h(z ))k . Dann hat h eine einfache Nullstelle in z0 , d.h. h (z0 ) = 0. Nach Satz (11.1) existiert dann eine Umgebung U0 um z0 , so dass h(z ) biholomorph, also insbesondere injektiv ist. Also ist h(z ) = 0 z U0 \ z0 . Bemerkung Das Korollar besagt, dass holomorphe Funktionen f : U C mit Nullstellen endlicher Ordnung nicht auf ganz U verschwinden. Im n achsten Kapitel werden wir sehen, dass auf zusammenh angenden Mengen auch die Umkehrung gilt: Sei f : U C eine holomorphe Funktion auf einer oenen und zusammenh angenden Menge U , und habe eine unendliche Nullstelle, dann ist die Funktion f 0. Oder allgemeiner: unendliche Nullstellen liegen nicht isoliert. Korollar 11.4 (Bl atterzahl einer Nullstelle) Sei z0 U eine k -fache Nullstelle einer holomorphen Funktion f : C U C, U C oen. Dann gibt es Umgebungen U0 von z0 und V0 von 0, so dass f jeden Wert aus V0 \ 0 genau k -mal in U0 annimmt. D.h. f ur alle Werte w V0 \ 0 existieren genau k Stellen z1 , ..., zk U0 mit f (zl ) = w, l = 1, ..., k . U zk h
1
f (z ) = (h(z ))k V0 w 0 f (U ) 1 0 0 U k zk
U0 z0
z1
0 biholomorph ist. U 0 Abbildung 27: Auf U0 l asst sich f (z ) als (h(z ))k darstellen, wobei h : U0 U k wiederum wird von z auf V0 abgebildet, so dass alle w V0 \ 0 genau k Urbilder 1 . . . k in U0 besitzen. Demnach bildet f die paarweise verschiedenen Stellen z1 . . . zk alle auf w ab. Beweis Schreibe f (z ) nach Satz (11.2) lokal um z0 als f (z ) = (h(z ))k , 0 h : U0 U h(z0 ) = 0, h (z0 ) = 0
48
h(z ) hat dann in z0 eine einfache Nullstelle, und wenn wir U0 klein genug w ahlen ist h nach Satz (11.1) biholomorph. Weiterhin wissen wir von der Abbildung z z k , dass jedes w V0 \ 0 genau k Urbilder 0 hat (die k -ten Wurzeln von w). Deniere 1 , ..., k in U zl := h1 (l ), l = 1, ..., k
Man erh alt also k paarweise verschiedene Punkte mit f (zl ) = w, l = 1, ..., k .
49
12
Was wir in diesem Kapitel lernen: Zwei holo. Funktionen f, g stimmen auf T G mit H aufungspunkt u berein f g auf ganz G Satz u ber Gebietstreue Maximumprinzip Schwarzsches Lemma f : G C stetig, auf G \ M , M diskret, holo f auf G holo. Denition 12.1 (Gebiet) Eine Menge G C heit Gebiet, falls sie oen und zusammenh angend ist. Satz 12.1 (Identit atssatz) Sei G C ein Gebiet sowie T G eine Teilmenge von G mit einem H aufungspunkt in G. Gilt f ur zwei holomorphe Funktionen f, g : G C f |T = g |T so folgt bereits f g auf G. Beweis Sei z0 G ein H aufungspunkt von T . Die Funktion h := f g ist holomorph in z0 . Die Funktion h hat nach Konstruktion in z0 eine Nullstelle unendlicher Ordnung, denn angenommen diese Nullstelle h atte nur endliche Ordnung, dann w are sie nach Korollar (11.3) isoliert. Nach Voraussetzung ist jedoch z0 ein H aufungspunkt von Nullstellen. Also ist die Menge M der Nullstellen unendlicher Ordnung von h nicht leer. Es gilt M ist oen: Wir k onnen h in jedem Punkt y M in eine Potenzreihe entwickeln (die Dierenz der Potenzreihen von f und g ). Diese Potenzreihe ist identisch Null, da y eine Nullstelle unendlicher Ordnung ist, und sie konvergiert auf einer oenen Menge K U gegen h. Demnach ist h|K 0, d.h. K M . Also ist M oen. M ist abgeschlossen G \ M ist oen: Sei y G \ M mit h(y ) = 0. Dann gibt es eine oene Umgebung Uy um y , so dass h(z ) = 0 z Uy , da h stetig ist. Sei nun h(y ) = 0. Dann ist die Nullstelle endlich, weil sonst y M w are. Nach Satz (11.2) gibt es eine oene Umgebung Uy von k y , auf der sich h als h darstellen l asst und in der keine weitere Nullstelle von h liegt. Demnach ist G \ M oen und M somit auch abgeschlossen. Da also M = gleichzeitig oen und abgeschlossen ist, folgt M = G da G zusammenh angend ist. Also ist h 0 auf ganz G und es folgt die Behauptung. Korollar 12.2 Seien f, g holomorphe Funktionen auf einem Gebiet G mit f (m) (z0 ) = g (m) (z0 ) m 0. Dann gilt f g auf ganz G. Insbesondere gilt f ur eine auf einem Gebiet denierte holomorphe Funktion h mit einer unendlichen Nullstelle h 0. Beweis Im Beweis von Satz (12.1) haben wir bereits verwendet, dass eine holomorphe Funktion h mit einer unendlichen Nullstelle in z0 in einer Umgebung U von z0 verschwindet, h|U 0. Nach dem Identit atssatz ist dann h 0. h = f g hat an der Stelle z0 eine unendliche Nullstelle. Also h 0 auf ganz G und f g .
50
Beispiel 12.1 (Teilmengen mit und ohne H aufungspunkte) Teilmengen eines Gebiets G mit H aufungspunkt in G sind z.B. eine Kurve oder eine Folge in G. Keinen H aufungspunkt in G besitzt dagegen z.B. eine Folge in G, welche nur einen H aufungspunkt auf dem Rand von G besitzt.
HP auf dem Rand von G Satz l asst sich nicht anwenden! Abbildung 28: Zum Identit atssatz Satz 12.3 (Gebietstreue) Sei f : G C, G ist ein Gebiet, holomorph und nicht konstant. Dann ist auch f (G) ein Gebiet. Beweis 1. zu zeigen: Zusammenhang von f (G): f ist holomorph, also insbesondere stetig. Also erh alt f Zusammenhang, d.h. f (G) ist schon mal zusammenh angend. 2. zu zeigen: f (G) ist oen: Sei z0 G, setze w0 := f (z0 ). Dann hat f (z ) w0 eine Nullstelle endlicher Ordnung (denn f = const) in z0 . Mit Korollar (11.3) folgt die Behauptung. ( > 0, |w w0 | < z U, f (z ) = w. d.h. um jeden Punkt w0 f (G) gibt es eine oene Umgebung f (G)). Satz 12.4 (Maximumsprinzip) Sei G ein Gebiet und f : G C, f = const, holomorph. Dann hat f in G kein Betragsmaximum, d.h. es existiert kein z0 G so, dass |f (z0 )| |f (z )| zG
Beweis Angenommen, es existiert z0 G so, dass |f (z0 )| |f (z )| f ur alle z G. Dann ist f (G) KR:=|f (z0 )| := {w C | |w| R} C Nach Satz (12.3) ist f (G) ein Gebiet, also oen. Aber f ur alle > 0 gilt K (f (z0 )) = {w C | |w f (z0 )| < } d.h. f (G) ist nicht oen. Widerspruch! f (z0 ) R KR 0 K (f (z0 )) KR K (f (z0 )) f (G)
Abbildung 29: Das Betragsmaximum liegt auf dem Rand und wird nicht angenommen.
Bemerkung Das Maximumsprinzip ist auch eine lokale Eigenschaft, denn h atte f ein Betragsmaximum auf U G oen, w ahlt man einfach U als Gebiet und erh alt einen Widerspruch.
51
Korollar 12.5 Sei f : G C, G Gebiet, f sei stetig und nicht konstant auf G. Weiter sei f holomorph auf G. Dann existiert ein z0 G so, dass |f (z0 )| > |f (z )| zG Beweis Da G kompakt und f stetig ist, existiert ein z0 G so, dass |f | dort ein Maximum annimmt. Da aufgrund des Maximumsprinzips (12.4) z0 / G folgt z0 G. Bemerkung Interessiert man sich f ur die Minima von |f |, so kann man, falls |f | keine Nullstellen hat, 1 einfach die Maxima von | f | betrachten. Also liegen auch die Betragsminima, falls |f | keine Nullstellen hat, auf dem Rand. Uber den Fall, dass f eine Nullstelle besitzt, haben wir schon mehrere Aussagen getroen.
f (z0 ) K (f (z0 )) 0 Abbildung 30: Wenn f keine Nullstelle besitzt, wird auch das Betragsminimum nicht angenommen. Satz 12.6 (Schwarzsches Lemma) Es sei f : E E eine holomorphe Funktion mit f (0) = 0, wobei E = {z C | |z | < 1} den oenen Einheitskreis bezeichne. Dann gilt Ist dar uber hinaus |f (0)| = 1 oder |f (z0 )| = |z0 | f ur ein z0 = 0, so ist f (z ) = z ei , [0, 2 ]. Beweis Es ist f (0) = 0, auerdem ist f (z ) holomorph. Entwickelt man f (z ) als Potenzreihe um 0, so sieht man wegen f (z ) =
f (G)
|f (0)| 1,
|f (z )| |z |
z E.
ck z k
(f (0)=0)
ck z k = z
ck z k 1
k=0
k=1
k=1
1 r Mit dem Satz u ber die Maximumsannahme auf dem Rand erhalten wir 1 zE :|z|r : |g (z )| < r |f (z )| = |zg (z )| = r|g (z )| < 1 |g (z )| <
dass man f (z ) darstellen kann als f (z ) = zg (z ) mit g (z ) holomorph. F ur alle z E ist r = |z | < 1. Es gilt aufgrund der Voraussetzung |f (z )| < 1
Da r < 1 beliebig gew ahlt werden kann folgt |g (z )| 1 f ur alle z E . Mit der Produktregel sieht man f (0) = g (0) und aufgrund der Denition von g erhalten wir wie behauptet |f (z )| |z |, |f (0)| 1
Jetzt zum Fall, dass Gleichheit an einer Stelle z0 E, z0 = 0 auftritt. Dann ist |g (z )| maximal in z0 . Dann folgt mit dem Maximumsprinzip (12.4) g const und somit f (z ) = a z |a| = 1 f (z ) = ei z,
C
52
Denition 12.2 (Diskrete Menge) Eine Teilmenge D M heit diskret in M, falls es f ur alle a M eine Umgebung U von a gibt, so dass U h ochstens einen Punkt aus D enth alt. D.h. |U D| 1. Satz 12.7 Sei G C ein Gebiet und f : G C stetig. Ist M G eine diskrete Menge und f : G \ M C holomorph, so ist auch f : G C holomorph. Beweis (Vergleiche mit dem Beweis des allgemeinen Cauchy-Satzes) Zu zeigen ist, dass f in jedem Punkt z0 M holomorph ist. Wir benutzen den Satz von Morera.
Sei also z0 M . Wir w ahlen > 0, so dass K (z0 ) G und K (z0 ) M = {z0 }. f |K (z0 )\z0 ist holomorph, ausserdem ist f in z0 stetig. z.z. F ur jedes abgeschlossene Dreieck K (z0 ) gilt: f dz = 0. z0 G klar benutze f -stetig verschieben, 0 zerschneiden z0 z0
Abbildung 31: Skizze zur Beweisidee 1. Fall: z0 / K (z0 ). Dann ist das Integral gleich 0, weil die Funktion dort holomorph ist. 2. Fall: Sei z0 K (z0 ). Betrachte Dreiecke , lim0 = mit Randkurven und z0 . Es gilt: f dz = 0
f stetig
f dz = lim
f dz = 0
3. Fall: z0 KR (z0 ). Teile das Dreieck in zwei Teildreiecke auf, so dass z0 1 und z0 2 2. Fall. Nach dem Satz von Morera ist f |K (z0 ) holomorph.
13 ISOLIERTE SINGULARITATEN
53
13
Was wir in diesem Kapitel lernen werden: Def.: isolierte Singularit at, hebbar, Pol, wesentlich Def. meromorph, Charakterisierung de. isolierten Singularit aten Menge der meromorphen Funktionen auf Gebiet G bilden einen K orper Denition 13.1 (Singularit at: isoliert, hebbar, wesentlich; Pol) Sei U C oen, z0 U und D := U \ {z0 }. Ist f : D C holomorph, so heit z0 Singularit at von f . Existiert eine oene Umgebung B U von z0 so, dass f keine weitere Singularit at in B hat, spricht man von einer isolierten Singularit at. Eine isolierte Singularit at z0 nennt man hebbar, wenn es eine holomorphe Funktion : D {z0 } C f gibt einen Pol, wenn z0 nicht hebbar ist und ein m N so existiert, dass (z z0 )m f (z ) eine hebbare Singularit at in z0 hat. Das kleinste solche m heit Ordnung des Pols. wesentlich, wenn z0 weder hebbar noch ein Pol ist. Beispiel 13.1 (Singularit aten) Ist f : C U C, U oen, holomorph, so hat f : U \ {z0} C mit z0 U beliebig eine hebbare Singularit at in z0 . Die Funktionen z z, z sin z sind ganze Funktionen, also ist f : C \ { 0 } C, holomorph. Die Funktion : C C, f f (z ) =
sin z z
mit
|D = f |D f
f (z ) =
sin z z
,z = 0 ,z = 0
ist nach Satz (12.7) holomorph, da sie auf C \ {0} holomorph und auf ganz C stetig ist. Sie erf ullt |C\{0} f |C\{0} = f Also hat f eine hebbare Singularit at in z0 = 0. Sei g : C U C, U oen, holomorph. Weiter sei z0 U, g (z0 ) = 0 und m N. Dann hat f : U \ { z 0 } C, in z0 einen Pol der Ordnung m. f (z ) = g (z ) (z z0 )m
13 ISOLIERTE SINGULARITATEN Betrachte f : C \ {0} C, f (z ) = e z . f hat eine isolierte Singularit at in z0 = 0. Da |z m e z | ist z0 kein Pol. Weiter ist |e z | = |e |z|2 |
1 z 1 1
54
z 0
(z :=x+iy )
|e
xiy |z |2
| = e |z|2 = e x2 +y2
und damit der limz0 nicht eindeutig. Also ist z0 nicht hebbar. Also ist z0 eine wesentliche Singularit at. Bemerkung Um isolierte Singularit aten komplexer Funktionen zu veranschaulichen, kann man sie auf Geraden einschr anken und wie reelle Funktionen betrachten.
f (z ) R
2 1.5 1 0.5 0 1
a)
14 12 10
b)
15 10 5
c)
q
2
z (z 1) z 1
3 4
8 6 4 2 0 1 2
1 |z 2|
0 5 10 15
0.2
0.4
0.6
0.8
1 z
sin
`1
z
zR
Denition 13.2 (Meromorphe Funktionen) Sei f : C U \ {z0, z1 , ...} C, U oen, holomorph. Sind die isolierten Singularit aten z0 , z1 , ... alle hebbar oder Pole (also nicht wesentlich), so nennt man f meromorph. Bemerkung Holomorphe Funktionen sind meromorph. Beispiel 13.2 (Meromorphe Funktionen) Sei g : C C holomorph. Dann ist f (z ) = meromorph. Z.B. hat g (z ) , z z0 z0 C
als Quotient holomorpher Funktionen g, h : C U C, U oen. Dabei habe g nur Nullstellen endlicher Ordnung. Lemma 13.1 Seien h, g : C U C, U oen, holomorph mit einer Nullstelle z0 U der Ordnung m bzw. n. Dann ist h f = :U C g eine meromorphe Funktion mit einer isolierten Singularit at in z0 . Diese Singularit at ist
13 ISOLIERTE SINGULARITATEN
55
ein Pol der Ordnung n m falls n > m eine hebbare Singularit at falls n m. Insbesondere ist im Falle n < m z0 eine Nullstelle der Fortsetzung mit Ordnung k = m n. Beweis Betrachtet man Potenzreihenentwicklungen von h, g und die Denition von Nullstellen m-ter Ordnung, so sieht man, dass man h, g als (z ), g (z ) = (z z0 )n g (z0 ), g h(z ) = (z z0 )m h (z ) mit h, g holomorph und h (z0 ) = 0 darstellen kann. Dann ist f (z ) = (z z0 )mn Jetzt sieht man leicht die Behauptungen. h(z ) g (z )
=0,=
Denition 13.3 Sei G C ein Gebiet. Dann bezeichnet M(G) die Menge der meromorphen Funktionen auf G. Lemma 13.2 Sei G C ein Gebiet weiter seien f, g M(G). Dann ist f + g M(G), f g M(G) Beweis Hier nur die Idee: Schwierig sind nur die Punkte, in denen sowohl f als auch g einen Pol haben. Sei z0 G ein solcher Punkt mit m als Ordnung des Pols von f und n als Ordnung des Pols von g in z0 . Dann ist auch z0 auch Polstelle von f + g mit Ordnung max{m, n} und von f g mit Ordnung m + n.
Satz 13.3 Sei G C ein Gebiet. Dann ist M(G) ein K orper bzgl. +/. Beweis Ohne Beweis. Bemerkung Wir m ussen fordern, dass G ein Gebiet, bzw. zusammenh angend ist. Sonst w aren in M(G) meromorphe Funktionen enthalten, welche auf manchen Zusammenhangskomponenten verschwinden aber auf anderen nicht. Diese Funktionen w aren in dem K orper nicht das neutrale Elementt der Addition, aber sie bes aen auch keine meromorphe Inverse.
14 LAURENTREIHEN
56
14
Laurentreihen
Was wir in diesem Kapitel lernen: Denition: Laurentreihe, Hauptteil, Nebenteil. f meromorph hat Stammfunktion c1 = 0 Laurentreihe kann gliedweise abgeleitet und integriert werden konvergiert eine Laurentreihe gegen eine Funktion, so gilt cn = Falls f beschr ankt auf z : |z z0 | = , so gilt |cn |
M n 1 2i f ( ) | z0 |= ( z0 )n+1 d
Ist f : Kr,R (z0 ) C holomorph, dann ist sie dort in Laurentreihe entwickelbar Riemannscher Hebbarkeitssatz: f auf K0,R (z0 ) holomorph und beschr ankt z0 ist hebbare Singularit at Casorati-Weierstra: Sei f holomorph auf U \ {z0 }, z0 wesentliche Singularit at. Dann ist das Bild jeder punktierten -Scheibe um z0 unter f dicht in C Denition 14.1 (Laurentreihe) Eine Laurentreihe um z0 C ist eine Reihe der Form
n=
cn (z z0 )n
oder genauer gesagt die Summe zweier Reihen, dem Hauptteil und dem Nebenteil
n=
cn (z z0 )n =
n=1
cn (z z0 )n +
Hauptteil
n=0
cn (z z0 )n
Nebenteil
Die Laurentreihe konvergiert genau dann, wenn beide Reihen, also Haupt- und Nebenteil konvergieren (analoges gilt nat urlich f ur absolute Konvergenz, etc). Bemerkung Zur Schreibweise des Hauptteils:
n=1
cn (z z0 )n =
1 n=
cn (z z0 )n
Haupt- und Nebenteil tragen ihre Namen aufgrund ihrer Gr oe in der N ahe von z0 . Der Nebenteil ist eine Potenzreihe in z z0 , der Hauptteil eine in
1 z z 0 .
Aus den Konvergenzradien des Haupt- und Nebenteils k onnen wir direkt den Bereich ableiten in dem eine Laurentreihe konvergiert: Satz 14.1 Sei
1 r
cn (z z0 )n
Hauptteil)
14 LAURENTREIHEN
57
cn (z z0 )n
n=
Nebenteil)
cn (z z0 )n
f ur alle z Kr,R (z0 ) = {z C | r < |z z0 | < R} und stellt dort eine holomorphe Funktion dar.
r R
r R
(a)
(b)
(c)
Abbildung 33: (a) Der Hauptteil konvergiert auerhalb der abgeschlossenen Kreisscheibe mit Radius 1 r. (b) Der Nebenteil konvergiert innerhalb der oenen Kreisscheibe mit Radius R. (c) Die Laurentreihe konvergiert folglich auf dem Kreisring Kr,R .
n Beweis n=1 cn (z z0 ) konvergiert z : |z z0 | < n=1 cn (z z0 )n konvergiert z : |z z0 | > r. 1 r
konvergiert z :
1 | z z 0 |
>r
Bemerkung Im Falle r > R konvergiert die Laurentreihe nirgendwo. Korollar 14.2 1. Laurentreihen kann man in ihrem Konvergenzring Kr,R (z0 ) gliedweise dierenzieren. 2. Ist c1 = 0 so hat die Laurentreihe f (z ) = die Stammfunktion F (z ) =
n= n=,n=1
cn (z z0 )n
cn (z z0 )n+1 n+1
d.h. F (z ) ist holomorph auf Kr,R (z0 ) und es gilt F (z ) = f (z ). Beweis O.B.d.A. sei z0 = 0. 1. Ist klar, da man sowohl Haupt- als auch Nebenteil als Potenzreihen gliedweise dierenzieren kann, Satz (3.3). 2. Sei (r, R). Ist n = 1, so ist
| z | = n
z n dz = 0
Im Fall n 0 in ist n amlich z holomorph f ur |z | < R und man kann den Cauchyschen Integralsatz (7.3) anwenden. Im Falle n 2 ist (z )n holomorph auf |z | > r. Man benutzt dann den
14 LAURENTREIHEN
1 Cauchyschen Integralsatz f ur die Funktion mit w = z . Man kann aber auch einfach nachrechnen. Mit z = eit ist
58
z n dz
| z | =
=
0
n eint ieit dt
2 0
e(n+1)it dt , n = 1 , n = 1
(n+1)it
und es kann im Falle c1 = 0 keine Stammfunktion geben, da dann das Integral u ber die geschlossene Kurve |z | = Null ergeben m usste ( :=|z|= f (z )dz = F ( (2 )) F ( (0))). Ist dagegen c1 = 0 so ist cn n+1 z F (z ) = n +1 n= eine Stammfunktion von f , denn nach 1. kann ja gliedweise dierenziert werden.
|z |= n=
cn z n dz = 2ic1
Lemma 14.3 (Cauchyformel f ur die Koezienten der Laurentreihe) Konvergiert die Laurenn treihe c ( z z ) in einem Kreisring um z0 , also f ur r < |z z0 | < R, und stellt dort die 0 n= n Funktion f dar, so gilt cn = 1 2i
| z 0 | =
f ( ) d, ( z0 )n+1
nN,(r,R) c | | = n
n
Beweis O.B.d.A. sei z0 = 0. Wie im Beweis zu Korollar (14.2) sieht man, dass n = 1. Also ist
| | =
d = 0 f ur
f ( ) d n+1
= = = 2icn
| | =
ck k(n+1) d
| |= k=
cn n(n+1) d
Hauptteil f ur z0 =0
Nebenteil f ur z0 =0
1 z1
Sie hat Pole in z = 0 und z = 1. Stelle f als Laurentreihe um z0 = 0 dar. F ur alle z C mit |z | < 1 ist 1 1 = = z n f (z ) = z1 1z n=0 Analog kann man
1 z
1 z
Hauptteil f ur z0 =0
zn
n=0 Nebenteil f ur z0 =0
14 LAURENTREIHEN
59
Die Laurentreihenentwicklung
Satz 14.4 Sei f : Kr,R (z0 ) C eine holomorphe Funktion. Dabei ist Kr,R (z0 ) = {z C | r < |z z0 | < R}. Dann gilt f ur jedes z Kr,R (z0 ) f (z ) = mit cn =
n=
cn (z z0 )n
1 2i
| z 0 | =
f ( ) d ( z0 )n+1
(r,R)
Beweis O.B.d.A. sei z0 = 0. Sei z Kr,R (0). Dann existiert f ur ein > 0 eine -Umgebung im Konvergenzring K (z ) Kr,R (0). Dort gilt aufgrund der Cauchyformel (8.1) f (z ) = 1 2i
| z | =
f ( ) d z
f (z ) = = = = Da 1 1 1 = z 1 z
||<1
1 2i 1 2i 1 ( 2i 1 ( 2i 1 =
| z | =
f ( ) d z
f ( ) d z
f ( ) d + z
| |=R
f ( ) d + z
f ( ) d ) z
| | =r +
f ( ) )d z 1 1 = z
k=0
k=0
z ( )k ,
1 1 = z z
1 z
||<1
( )k z
z k k1 f ( )d
z 1k k f ( )d.
(a)
(b)
(c)
Abbildung 34: (a) Zuerst f (z ) als Integral mittels Cauchyformel darstellen, dann den Integrationsweg des Integrals in zwei Schritten (b) und (c) mittels des Cauchyschen Integralsatzes ver andern.
14 LAURENTREIHEN
60
Korollar 14.5 Sei f : Kr,R (z0 ) C eine holomorphe Funktion, Kr,R (z0 ) = {z C | r < |z z0| < R}, mit Laurentreihenentwicklung f (z ) =
n=
cn (z z0 )n
Existieren eine Konstante M < und ein (r, R) so, dass |f (z )| M so gilt |cn | zC:|zz0 |= M n
Beweis Ohne Beweis, wie bei Potenzreihenentwicklung. Beispiel 14.2 (Anwendung auf isolierte Singularit aten) Betrachte die punktierte Kreisscheibe K0,R (z0 ) = {z C | 0 < |z z0 | < R},
n=1 n=0
z0 C
Sei f : K0,R (z0 ) C holomorph. Dann hat f ein isolierte Singularit at in z0 . Sei f (z ) = cn (z z0 )n +
Hauptteil
cn (z z0 )n
Nebenteil
die Laurententwicklung von f . Dann ist z0 eine hebbare Singularit at genau dann, wenn f ur n > 0 c n = 0 also wenn der Hauptteil identisch Null ist. ein Pol, genau dann wenn N1 , N2 N N2 N1 existieren, so dass n > N 1 c n = 0 , also wenn wir einen endlichen Hauptteil haben. eine wesentliche Singularit at, falls zu jedem N N ein n > N so existiert, dass c n = 0 also wenn wir einen unendlichen Hauptteil haben. n = N 2 c n = 0
Satz 14.6 (Riemannscher Hebbarkeitssatz) Sei f : K0,R (z0 ) = {z C | 0 < |z z0 | < R} C, z0 C, holomorph und beschr ankt. Dann hat f in z0 eine hebbare Singularit at. Beweis Nach Korollar (14.5) gilt |cn | Betrachte dann 0, woraus sich M n
cn = 0
f ur alle n < 0 ergibt. Nach dem vorherigen Beispiel haben wir dann eine hebbare Singularit at.
14 LAURENTREIHEN
61
Satz 14.7 (Casorati-Weierstrass) Sei z0 U , U C oen, eine wesentliche Singularit at einer holomorphen Funktion f : U C. Dann ist das Bild jeder beliebig kleinen punktierten -Kreisscheibe K0, (z0 ) = {z C | 0 < |z z0 | < } unter f dicht in C. Beweis Angenommen es g abe eine oene Kreisscheibe von einem Radius > 0 um ein w0 C, die keinen Punkt dieses Bildes enth alt. Dann ist nach dem Riemannsche Hebbarkeitssatz z0 eine hebbare Singularit at der auf der punktierten Kreisscheibe {z | 0 < |z z0| < } denierten holomorphen Funktion h(z ) = 1 f (z ) w0
da h in einer Umgebung um die isolierte Singularit at z0 beschr ankt ist. Auf der Kreisscheibe gilt dann jedoch auch 1 + w0 f (z ) = h(z ) und somit w are z0 eine hebbare Singularit at von f oder ein Pol von f . Widerspruch.
z0
w0
1 w w 0
0
1
h Abbildung 35: Die Abbildung w (w w0 )1 , die wir f nachschalten, um h zu bilden, wirft das Komplement des kleinen Kreises um w0 in das Innere eines Kreises, also ist h beschr ankt.
62
15
Was wir in diesem Kapitel lernen werden: Motivation zur analytischen Fortsetzung Fundamentalbeispiel: log z analytische Fortsetzung ist nicht eindeutig.
Sei f0 : K0 C eine holomorphe Funktion. Daraus folgt, dass wir sie als Potenzreihe schreiben k onnen. W ahle nun a0 K0 und entwickle f0 in eine Potenzreihe bzgl. (z a1 ), also f0 = k=0 ck (z a1 )k . Sei K1 = {z C | |z a1 | < r1 } die Konvergenzkreisscheibe der neuen Reihe und es gelte K1 K0 . Nehme a2 K1 \ K0 K2 und fahre so fort a3 , K3 , .., an , Kn . Wir bekommen holomorphe Funktionen fi : Ki C so dass fi |Ki Kj = fj |Ki Kj (Eindeutigkeitssatz f ur holomorphe Funktionen).
K2 K0 a0 a1 a2
K1 Denition 15.1 (Analytische Fortsetzung) Die Funktion fi : Ki C wie oben beschreiben heit dann analytische Fortsetzung von f0 l angs der Kreiskette K0 , K1 , ..., Kn . Bemerkung Ideen und Fragen zur Verwendung der analytischen Fortsetzung: Sei f : G C holomorph. G einfach zusamenh angend. Nehmen wir an, wir kennen nur f : K0 C. Die restlichen Informationen sind verloren gegangen. Dann kann man f von K0 aus auf ganz G analytisch fortsetzen. G f C
K0 Wenn man wei, dass f : K0 C holomorph ist, dann ist nicht klar, wie weit bzw. ob man diese Funktion entlang jeder Kreiskette analytisch auerhalb von K0 fortsetzen kann. (Siehe Bsp. 15.1) Wie h angt die analytische Fortsetzung von der Kreiskette (dem Weg) ab? M ussen Funktionen, die entlang unterschiedlicher Kreisketten fortgesetzt worden sind, in ihrer Schnittmenge gleich sein? fm K0 fn = fm
?
fn
63
1 Beispiel 15.1 (Analytische Fortsetzung von z 1 ) Will man diese Funktion ausgehend von a0 = 0 entlang der reellen Achse in postiver Richtung analytisch fortsetzen, so konvergiert die Folge der Kreismittelpunkte an 1 und die Kreisradien rn 0. Deswegen kann man in dieser Richtung keine neuen Punkte hinzugewinnen.
a0
a1 a2
K1 z0 0 Kn K0
G0 = Gn
Abbildung 36: Die analytische Fortsetzung des Logarithmus ist nicht eindeutig! Wenn wir eine lokale Stammfunktion G0 : K0 C wie auf dem Bild analytisch fortsetzen, so erhalten wir eine fortgesetzte Stammfunktion Gn : Kn C welche auf K0 Kn nicht mit G0 u bereinstimmt. Betrachten wir nun die Umkehrfunktion von ez : Sei exp : U C , U C. Wir wollen nun eine Menge U0 nden die m oglichst gro ist, so dass exp : U0 Bild(exp) biholomorph ist. Daf ur bietet sich die oene Menge: {z = x + iy | x R, y
64
]k, 2 + k [, k R} an, also ein 2 breiter Streifen in C. Dieser Streifen wird mit der Exponentialfunktion auf eine geschlitzte Ebene abgebildet. Im i i r i Abbildung 37: Der oene 2 breite Streifen wird auf die geschlitzte Ebene C \ R0 abgebildet. Strecken parallel zur imagin aren Achse werden dabei auf Kreise (ohne einen Punkt) abgebildet und zur reellen Achse parallele Geraden werden auf Strahlen abgebildet. Im Folgenden zeigen wir, dass exp nicht mehr biholomorph w are, wenn wir einen Rand mit hinzunehmen w urden: Sei f (z0 ) = w R0 Schlitz von C und f 1 die Umkehrfunktion. Betrachte eine Folge wn w von oben und eine Folge wn w von unten, d.h. Im wn > 0 und Im wn < 0 n N. Da die 1 1 Umkehrabbildung stetig ist, m usste gelten: f (wn ) z0 und f (wn ) z0 , aber f 1 (wn ) z0 + 2 . Widerspruch. Nun kommen wir zu dem Zusammenhang zwischen der Umkehrfunktion von exp und der Stammfunktion von g (z ) = 1 z: Die Umkehrfunktion von exp sei log w. F ur die Funktion log w gilt: elog w = w elog w (log w) = 1 (log w) =
Im exp(z )
Re
er
Re
1 w
Also ist log w eine lokale Stammfunktion von g . Der kanonische Denitionsbereich der Logarithmusfunktion log z ist C \ R0 , wie im obigen Bild eingezeichnet. Was ist mit den anderen Argumenten von z von ez ? Kann man ez global invertieren? f (Si ) k onnen und sollen in eine Riemannsche Fl ache R zusammengeklebt werden. log z : R C holomorph. R ist die Riemannsche Fl ache des komplexen Logarithmus, der nat urliche Denitionsbereich nach analytischem Fortsetzen des reellen Logarithmus. (Vorstellen kann man sich die Riemansche Fl ache als eine Wendeltreppe von CEbenen, die an ihren Schlitzen zusammengeklebt werden) Im i S1 i exp(z ) 3i i 3i exp(z ) Re i i exp(S1 )
S2
exp(S2 )
65
wenn Fn die analytische Fortsetzung l angs von einer Stammfunktion F0 : K0 C von f ist. zn F0 z0 Abbildung 39: Eine holomorphe Funktion f l angs eines stetigen, aber nicht dierenzierbaren Weges fortzusetzen ist kein Problem. Deswegen kann auch die Lokale Stammfunktion F0 von f l angs zu Fn fortgesetzt werden, und das Integral ist dann Fn (zn ) F0 (z0 ). Fn
16 HOMOTOPIE
66
16
Homotopie
Was wir in diesem Kapitel lernen: Def.: Weg, homotop, Fundamentalgruppe, nullhomotop, einfach zusammenh angend Monodromiesatz: Analytische Fortsetzung l angs homotoper Wege ist eindeutig G einf. zh, f0 : K G C holo, l angs jeden Weg in G analytisch fortsetzbar f0 Einschr ankung genau einer in G holo Funktion f : G C holo, und homotop in G
f=
Bemerkung Zur Erinnerung: Als Weg bezeichnen wir eine stetige Abbildung : [0, 1] U C. Denition 16.1 (Zusammensetzung von Wegen, Inverse & geschlossene Wege) Seien , : [0, 1] U C Wege mit (1) = (0). Den Weg (t) : [0, 1] U, (t) := bezeichnet man als Zusammensetzung von und . Der Inverse Weg zu ist gegeben durch 1 : [0, 1] U, 1 (t) := (1 t)
1 (2t) , t [0, 2 ) 1 (2t 1) , t [ 2 , 1]
Der Weg heit geschlossen, falls (0) = (1) ist. G Abbildung 40: Zusammengesetzer, geschlossener Weg = . Denition 16.2 (Homotopie von Wegen) Zwei Wege , : [0, 1] U C mit gleichem Anfangspunkt z0 := (0) = (0) und gleichem Endpunkt z1 := (1) = (1) heien homotop, wenn es eine stetige Abbildung h : [0, 1] [0, 1] U, (t, ) h(t, ) =: h (t) gibt, so dass h(t, 0) = (t) h(t, 1) = (t) f ur alle [0, 1] die Abbildung h () : [0, 1] U
ein Weg mit dem Anfangspunkt z0 und dem Endpunkt z1 ist. Die Abbildung h nennt man Homotopie.
16 HOMOTOPIE
67
Abbildung 42: Nicht homotope Wege und . Beispiel 16.1 (Nicht homotope Wege) Seien G := {z C | |z | [ 1 4 , 1]} C ein Kreisring sowie , : [0, 1] G Kurven mit 1 1 (t) := eit , (t) = eit 2 2
1 Dann sind zwar 1 2 = (0) = (0) sowie 2 = (1) = (1) aber die Kurven lassen sich nicht stetig in einander u uhren. berf
Bemerkung Wie man leicht sieht, deniert Homotopie eine Aquivalenzrelation auf der Menge der Kurven mit gleichen Anfangs- und Endpunkten. Beweis: Reexivit at: Oensichtlich ist jeder Weg zu sich selber homotop (h = ). Symetrie: Betrachte h(t, 1 ). Transitivit at: 1
1 2
k t t h t
16 HOMOTOPIE
68
Wohldeniertheit: Man kann Homotopieklassen genau wie Wege zusammensetzen: hat man Wege , : [0, 1] G C mit (1) = (0) so ist [ ] =: [][ ] wohldeniert, da dies unabh angig von der Wahl der Repr asentanten ist.
Abbildung 44: Skizze zur Wohldeniertheit von [][ ] Betrachtet man nur geschlossene Wege mit Anfangs- und Endpunkt z0 , so bilden deren Homotopieklassen eine Gruppe: e = [z0 ] [1 ] = []1 , d.h. [1 ][] = e = [z0 ] [ ] = [ ][ ] = [][ ] Denition 16.3 (Homotopieklassen & Fundamentalgruppe) Die durch Homotopie denierten Aquivalenzklassen von Kurven nennt man Homotopieklassen. Die Fundamentalgruppe 1 (G, z0 ) eines topologischen Raumes G mit Basispunkt z0 G ist die Menge aller Homotopieklassen geschlossener Wege durch z0 in G, mit der Zusammensetzung als Gruppenoperation. Bemerkung Die Homotopieklasse [z0 ], also der konstante Weg, ist das neutrale Element in 1 (G, z0 ). Jede geschlossene Kurve durch z0 , die kein Loch von G uml auft, ist zu z0 homotop. In wegzusammenh angenden topologischen R aumen h angt die Fundamentalgruppe nicht von dem Basispunkt z0 ab. F ur jeden beliebigen anderen Basispunkt z1 erh alt man einen Gruppenisomorphismus zwischen 1 (G, z0 ) und 1 (G, z1 ) wie folgt: Nehme einen beliebigen Weg mit (0) = z0 , (1) = z1 . Dann gilt 1 (G, z0 ) [ ] [1 ] 1 (G, z1 ). Man spricht deswegen oft nur von 1 (G). G z0
z1
Abbildung 45: Meist ist die Fundamentalgruppe unabh angig vom Basispunkt.
16 HOMOTOPIE
69
Denition 16.4 (Nullhomotope Wege & einfach zusammenh angende Mengen) Ein geschlossener Weg : [0, 1] G C heit nullhomotop, wenn [] = e, d.h. falls auf einen Punkt deformiert werden kann. G heit einfach zusammenh angend, falls alle geschlossenen Wege in G nullhomotop sind. Beispiel 16.2 (Fundamentalgruppen) 1. G einfach zusammenh angend: Nach Denition ist jeder geschlossene Weg homotop zu dem konstanten Weg z0 . Also besteht die Fundamtalgruppe nur aus dem neutralen Element. z0 G
Abbildung 46: G einfach zusammenh angend 1 (G) = e. 2. G nicht einfach zusammenh angend: G besitzt L ocher. Geschlossene Wege geh oren dann in die selbe Homotopieklasse, wenn sie um jedes Loch gleich oft herumlaufen. Generatoren der Fundamentalgruppe sind beliebige Kurven, welche um genau ein Loch genau einmal herumlaufen.
z0 G
3. Betrachte einen Torus T R3 : Nicht nullhomotope Kurven k onnen entweder um das Loch in der Mitte, oder um den Schlauch herumlaufen. Sie werden also entsprechend der jeweiligen Umlaufzahlen in Homotopieklassen eingeteilt.
Abbildung 48: In der planaren Darstellung des Torus sieht man gut, dass und nicht homotop sind. Jede geschlossene Kurve auf T ist homotop zu m n , m, n Z, also 1 (T ) Z2 .
Satz 16.1 (Monodromiesatz) Die analytische Forsetzung entlang homotoper Wege ist eindeutig. D.h. sei U C oen und h (t) : [0, 1] [0, 1] U eine Homotopie zwischen Wegen , : [0, 1] G, (0) = (0) =: z0 , (1) = (1) =: z1
16 HOMOTOPIE
70
mit gleichem Anfangspunkt z0 und Endpunkt z1 , sowie K0 eine oene Kreisscheibe um z0 . Weiter sei f0 : K0 C eine auf K0 holomorphe Funktion, die f ur alle [0, 1] l angs h (t) analytisch fortsetzbar ist. Dann gilt: entstehen f10 und f11 durch analytische Fortsetzung von f0 l angs = h0 bzw. = h1 , so ist f10 = f11 . K1 h K0 z0 f0 Abbildung 49: Analytische Fortsetzung l angs h f uhrt zu f1 . Unter den Voraussetzungen des Satzes gilt f1 = f1 , also insbesondere f = f (Monodromie). 10 11 Beweis Nur die Idee. Es entstehe f1 aus f0 durch analytische Fortsetzung l angs h , bzw. einer entsprechenden Kreiskette {Ki ( )} l angs h . F ur gen ugend kleine liegt h + so nahe bei h , dass man nur die Radien der Kreise etwas zu verkleinern braucht, um eine Kreiskette l angs h + zu erhalten, deren Kreisscheiben Ki ( + ) jeweils in Ki ( ) enthalten sind. Damit sind die analytischen Fortsetzungen l angs h und h + identisch. Dementsprechend erh alt man von = 0 ausgehend dass f10 = f11 . h h + z1 f1
Ki ( ) Ki ( + )
Korollar 16.2 Sei G C ein einfach zusammenh angendes Gebiet, K G eine Kreisscheibe sowie f0 : K C eine holomorphe Funktion, die sich l angs jedes Weges (bzw. jeder Kreiskette l angs jedes Weges) in G analytisch fortsetzen l asst. Dann existiert eine eindeutige holomorphe Funktion f : G C, so dass f |K f0 . Beweis Alles ist homotop. . . Bemerkung Die Vorraussetzung in Korollar (16.2), dass f0 entlang jedes Weges analytisch fortsetzbar ist, impliziert dass f weder Polstellen noch wesentliche Singulari ataten in G besitzt. Lemma (Elstrodt S. 107) Jede holomorphe Funktion f : G C in einem einfach zusammenh angenden Gebiet G C hat eine Stammfunktion. Korollar 16.3 Sei f : C G C, G ist ein Gebiet, f holomorph und seien und homotope Wege in G. Dann ist f (z )dz = f (z )dz
16 HOMOTOPIE
71
Beweis und sind homotop betrachte nur das Gebiet, das von und aufgespannt wird. Dieses Gebiet ist einfach zusammenh angend und f ist darauf holomorph f besitzt in dem aufgespannten Gebiet eine Stammfunktion.
17 DIE UMLAUFZAHL
72
17
Die Umlaufzahl
Was wir in dem Kapitel lernen: Def. Umlaufzahl inkl. Anschauung und Formel Die Umlaufzahl ist ganzzahlig Die Umlaufzahl n (a) Z gibt an, wie oft eine geschlossene Kurve in C \ {a} den Punkt a im mathematisch positiven Sinn uml auft.
a n (a) = 1 a a n (a) = 0
a n (a) = 2
n (a) = 1
Abbildung 51: Beispiele von Umlaufzahlen Wie berechnet man n (a)? (k+1 ) dk a dk1 (k ) (k1 )
Abbildung 52: Aufteilung in die Winkel dk Sei : [t0 , t1 ] C, (t0 ) = (t1 ) eine Kurve. Man w ahlt eine Unterteilung t0 = 0 < ... < n = t1 fein genug, so dass dk (, ). dk gibt den Winkel zwischen (k ) und (k+1 ) an. Es gilt eidk = (k+1 ) | ( k )| | (k+1 )| (k ) , was man an der folgenden Skizze gut sehen kann: (k+1 )
(k+1 ) | (k+1)|
dk 1
(k )
( k ) | ( k )|
Abbildung 53: Zusammenhang zwischen dk , (k ) und (k+1 ). Der Winkel einer Kurve um a ist: := d := von [t0 , t1 ].
n k=1
Denition 17.1 (Umlaufzahl) Sei eine geschlossene Kurve in C \ {a}. Die Zahl n (a) := heit Umlaufzahl der Kurve um a. 2
17 DIE UMLAUFZAHL
73
Bemerkung Die Umlaufzahl ist f ur die Punkte der Spur nicht deniert. Lemma 17.1 Die Umlaufzahl einer geschlossenen Kurve : [t0 , t1 ] G um einen Punkt a G \ Sp( ) ist ganzzahlig: n = Z = 2 n (a) 2 Beweis O.B.d.A. a = 0. F ur i := (i ist also i1 ) ei(1 +...+n ) und weil geschlossen ist, folgt daraus = (t0 ) (t1 ) = , | (t0 )| | (t1 )| i = 2k f ur ein k Z, weil (t0 ) = (t1 ). t [0, 2 ], m Z
( )
n (a)
= =
1 2i = m
2 0
rimeitm dt reitm
r a m<0 m>0 Abbildung 54: Umlaufzahl eines Kreises um den Punkt a in Abh angigkeit von m. Das folgende Lemma kann auch als Denition f ur die Umlaufzahl angesehen werden: Lemma 17.2 F ur geschlossene Kurven : [t0 , t1 ] C \ {a} gilt: n (a) = 1 2i
1 dz. za
1 z
dz Beweis OBdA a = 0, z.z. n (0) = 21 i z . Das Integral betrachten wir als analytische Fortsetzung der Stammfunktion von f ur den Logarithmus: log(r expi ) = log r + i
wobei log r den reelllen Logarithmus bezeichnet und i durch die analytische Fortsetzung deniert wurde und bis auf 2 Z eindeutig ist. (k+1 ) dz = log | (k+1 )| log | (k )| + i dk z 0
|[k ,k+1 ]
dk (k )
17 DIE UMLAUFZAHL
74
Dabei muss die Winkelunterteilung fein genug gew ahlt sein, so dass der Logarithmus zur Winkelbemessung geeignet ist. (k+1 ) und (k ) m ussen also auf der gleichen Ebene des komplexen Logarithmus liegen und somit ist dk kleiner als 2 . dz = z dz z
|[k ,k+1 ]
=i
k
dk = 2i n (a).
Die vorletzte Ungleichung gilt, weil die Auswertung des Integrals eine Teleskopsumme bildet und eine geschlossene Kurve ist, also (0 ) = (n ). Nun erweitern wir die Theorie, indem wir nicht mehr nur geschlossene Kurven betrachten, sondern Linearkombinationen aus ihnen, sogenannte Zykel : Denition 17.2 (Zykel) Ein Zykel ist eine Linearkombination geschlossener Wege i in einem Gebiet G. n =
i=1
i i ,
i Z.
Wir denieren die Umlaufzahl des Zykels um einen Punkt a G \ Sp( ) als n (a) := 1 n1 (a) + ... + n nn (a). Bemerkung Die Umlaufzahl ist lokal konstant. G
11111 00000 00000 11111 00000 11111 2 00000 11111 00000 11111 00000 11111 1 00000 11111 1 00000 11111
11111 00000 00000 11111 00000 11111 2 00000 11111 00000 11111 2 1 00000 11111 0 00000 11111 00000 11111 00000 11111 00000 11111
Abbildung 55: G wird durch den Zykel 1 + 2 in Gebiete unterteilt, auf denen die Umlaufzahl konstant ist. Beispiel 17.2 (Zykel) bestehe nur aus einer einzigen geschlossene Kurve parametrisiert die selbe Menge wie , ist jedoch anders herum orientiert. 2 ist 2-mal durchlaufen Integration einer integrierbaren Funktion f u ber einen Zykel = f (z )dz :=
i i
i i
i
i
f (z )dz.
75
18
Was wir in diesem Kapitel lernen werden: Def. von nullhomolog Beispiel zu homotop, homolog allgemeiner Cauchyscher-Integralsatz und homolog, dann ist
f=
Bisher haben wir schon bewiesen (Korollar (16.3) aus dem Monodromiesatz): Sei G ein Gebiet, zwei homotope Kurven in G, f : G C eine holomorphe Funktion. Dann gilt: f (z )dz =
f (z )dz
Anders interpretieren k onnen wir dies als: f : G C holomorph, G Gebiet, -nullhomotop in G, dann folgt: f (z )dz = 0
= 1
Damit erhalten wir eine Verallgemeinerung des Cauchy-Integralsatzes. Wir k onnen ausserdem die Bedingung nullhomotop abschw achen, indem wir das Ganze auf Zykel ausweiten. Denition 18.1 (Homologie von Zykeln & nullhomologe Zykel) Ein Zykel G, wobei G ein Gebiet ist, heit nullhomolog in G, wenn z C \ G die Umlaufzahl n (z ) = 0 hat. Zwei Zykel heien homolog, wenn ihre Dierenz nullhomolog ist. Bemerkung 1 und 2 sind homolog 1 2 ist nullhomolog 2 1 ist nullhomolog. Beispiel 18.1 (Homologie von Zykeln) 1. Betrachte die einfachen Zykel 1 und 2 aus Abb. 56, welche nur aus jeweils einer geschlossenen Kurve bestehen. 1 ist nullhomolog, da keine Punkte ausserhalb von G umlaufen werden.
2 ist nicht nullhomolog, weil das Loch in G umlaufen wird. Somit ist die Umlaufzahl f ur die Elemente in diesem Loch = 0.
Abbildung 56: 1 ist nullhomolog, 2 ist es nicht. Insbesondere sind dann 1 und 2 nicht homolog.
76
Zwei Kreiskurven 1 = r1 eit und 2 = r2 eit (r1 , r2 > 0) sind homolog, weil f ur = 1 2 die Umlaufzahl n (0) = 0 ist. 1 = r1 eit und 2 = r2 eit (r1 , r2 > 0) sind hingegen nicht homolog. Bemerkung Zwei homotope Kurven sind immer auch homolog. Aber: Aus nullhomolog folgt nicht nullhomotop!
0 1
Abbildung 57: G = C \ {0, 1}. ist nullhomolog, da n (0) = n (1) = 0, aber nicht nullhomotop, da man nicht zu einem Punkt zusammenziehen kann. Satz 18.1 (Allgemeine Cauchysche Integralformel & Integralsatz) Es sei ein nullhomologer Zykel im Gebiet G C und f : G C holomorph. Dann gilt: 1. z G \ Sp( ): n (z )f (z ) = 2.
1 2i
f ( ) d z
f (z )dz = 0
weil n (z ) =
1 2i
d . z
f ur , z G, z = f ur = z G
Behauptung : Die Funktion g (, z ) ist stetig. Beweis : Sei (0 , z0 ) G G: Ist z0 = 0 , so ist g trivialerweise stetig in (z0 , 0 ). Sei z0 = 0 . F ur z, KR (z0 ), z = mit KR (z0 ) G gilt: g (, z ) = f ( ) f (z ) z =
Cauchy-Formel
1 2i( z )
KR (z0 )
f () f () d ( ) ( z )
g (, z ) =
1 2i
KR (z0 )
f () d. ( )( z )
f () f () )d ( )( z ) ( z0 )2
77
f ur (, z ) (0 , z0 ) = (z0 , z0 ) geht das Integral gegen 0. g ist stetig in (z0 , z0 ). Also g ist stetig. h0 : G C, h0 (z ) := g (, z )d.
Da g (, z ) stetig auf G G ist, ist auch h0 (z ) : G C stetig. Behauptung : Die Funktion h0 (z ) ist holomorph. Beweis : Um zu zeigen, dass die Funktion holomorph ist, benutzen wir den Satz von Morera. Es reicht also zu zeigen:
h0 (z )dz = 0, G.
Es gilt: h0 (z )dz
g (, z )d )dz g (, z )dz )d
das Umdrehen der Integrale geht, weil g : G G C stetig ist. Nach Denition von g ist f ur jedes festes 0 , die Funktion g (0 , z ) stetig und z = 0 holomorph. Da {0 } eine diskrete Menge ist, gilt nach Satz (12.7), dass g (0 , z ) auch in z = 0 holomorph ist. Mit dem Cauchyschen Integralsatz f ur Dreiecke gilt dann g (0 , z )dz = 0. Da 0 beliebig war gilt also h0 (z ) = 0. h0 ist holomorph. Schritt 3: Wir konstruieren uns eine ganze Funktion h(z ) : C C. Deniere zun achst die (oene) Menge G0 := {z C | n (z ) = 0}. G0 G G0 G \ G0 1 G G0 2
Abbildung 58: Wir betrachten den Zykel = 1 + 2 . Die Menge G0 enth alt alle Punkte a mit n (a) = 0. Die Menge G \ G0 enth alt sowohl alle Punkte a mit n (a) = 0, als auch die Spur von f ur deren Punkte die Umlaufzahl nicht deniert ist. Da G oen ist, und Sp( ) G abgeschlossen, schneiden sich G und G0 in einer oenen Menge. Da G oen und der Rand des Zykels abgeschlossen ist, m ussen sich G und G0 in einer oenen Menge schneiden. Da nullhomolog ist, gilt: C\G G0 G G0 = C. Wir denieren z G0 : h1 (z ) =
f ( ) d. z
f ( ) z d
Das Integral ist u / Sp( ). berall deniert, weil z G0 gilt, z )f (z ) ur alle z G0 G ist h1 = h0 , weil h0 (z ) = f ( F d = z
f (z ) z d
= h1 (z ).
78
Die Gleichung gilt weil das zweite Integral bis auf die multiplikative Konstante f (z ) 21 i gleich der Umlaufzahl von um den Punkt z und somit = 0 ist. Nun denieren wir auf ganz C die Funktion h(z ) := h0 (z ) z G , h1 (z ) z G0
Aus dem Identit atssatz folgt, dass h : C C holomorph ist, weil G und G0 sich auf einem Streifen schneiden. Demnach ist h ganz. Schritt 4: Wir zeigen nun h 0. Beweis : Sei R > 0 so gro, dass der von eingeschlossene Bereich ganz in KR (0) liegt. Sei |z | > R. z G0 . Deswegen gilt: |h(z )| = |
f ( ) 1 d | max |f ( )| L( ) z |z | R
| z | > |z | R, weil innerhalb des Kreises liegt. F ur |z | geht |h(z )| gegen 0. Damit ist h(z ), da es innerhalb einer kompakten Menge (KR (0)) beschr ankt ist, auch auf ganz C beschr ankt. Da h(z ) auch holomorph auf ganz C ist, ist h(z ) nach dem Satz von Liouville konstant. Da limz |h(z )| = 0 muss h(z ) = 0 sein. Ergebnis: z G \ Sp( ) gilt:
= h(z ) =
g (, z )d f ( ) f (z ) d z
zu 2. Sei a G \ Sp( ). Deniere F (z ) := (z a)f (z ). F ist holomorph auf G mit F (a) = 0. Mit dem was wir schon bewiesen haben gilt: 0 = n (a)F (a) = Also
1.
1 2i
F (z ) 1 dz = za 2i
f (z )dz
f (z )dz = 0.
Korollar 18.2 Sei f : G C holomorph und seien , homologe Zykel in G. Dann gilt f (z )dz =
f (z )dz
f (z )dz = 0 Behauptung.
Korollar 18.3 (Integration u ber nullhomologe Zykel) Es sei G C ein Gebiet und ein Zykel in G. Dann sind folgende Aussagen aquivalent: 1. ist nullhomolog 2. f : G C holomorph gilt: n (z )f (z ) = 1 2i
f ( ) d z
z Sp( )
79
f (z )dz = 0
Beweis Die Folgerungen (1.2.) und (2.3.) kann man direkt aus Satz (18.1) u bernehmen. zu 3.1.: F ur jedes z0 C \ G ist f : G C, z 0=
1 z z 0
f (z )dz =
Bemerkung und sind homotop und sind stetig in einander deformierbar. und sind homolog F ur jedes holomorphe f gilt z C \ G gilt:
f=
f.
f d =
f d
f holomorph homolog n (z ) = 0 z C \ G n (z ) = n (z ) z C \ G d d = . z z
19 DER RESIDUENSATZ
80
19
Der Residuensatz
Was wir in diesem Kapitel lernen werden: Def. Residuum + Formel f ur die Berechnung Residuensatz Def. logarithmische Ableitung und Anwendung Satz von Rouch e Hauptsatz der Algebra Denition 19.1 (Residuum) Sei z0 eine isolierte Singularit at von f : U C gegeben durch f (z ) = k k= ck (z z0 ) . Dann heit c1 =: resz0 f das Residuum von f an der Stelle z0 . 1 2i
Nach der Cauchyformel f ur die Koezienten der Laurentreihe (Lemma 14.3) ist resz0 f = f ( )d
| z 0 | =
f ur > 0 klein genug, d.h. K (z0 ) U enth alt keine weiteren Singularit aten. Satz 19.1 (Residuensatz) Es sei f eine bis auf isolierte Singularit aten holomorphe Funktion auf einem Gebiet G und S G die Menge der Singularit aten. Sei ein nullhomologer Zykel in G, der S nicht trit. Dann uml auft nur endliche viele Punkte aus S und es gilt die Residuenformel: 1 2i f (z )dz =
aS
n (a) resa f
a1 a2 a3
Abbildung 59: Der Zykel umschliet die Polstellen a1 , a2 , a3 . Bemerkung f muss nicht meromorph sein, d.h. die isolierten Singularit aten k onnen auch wesentlich 1 sein. z.B. hat die Funktion e z an der Stelle 0 eine wesentliche Singularit at und das Residuum an dieser Stelle ist 1. Beweis 1. zu zeigen: uml auft endlich viele Singularit aten. Die Spur von und der Bereich, der von umschlossen wird, ist eine kompakte Menge. Auerdem ist sie eine Teilmenge von G. S ist eine diskrete Menge es liegt kein H aufungspunkt von S in dem Bereich, den uml auft. 2. zu zeigen: Die Residuenformel stimmt. Betrachte alle Punkte ak , die uml auft. k (t) := ak + eit , t [0, 2 ].
19 DER RESIDUENSATZ
81
F ur > 0 klein genug liegen diese Kurven k (t) in G. Deniere nun: = k n (ak )k . ist ein Zykel und uml auft in G keine Singularit at und keinen Punkt aus C \ G. ist nach Konstruktion nullhomolog in G \ S . Cauchysatz f ur anwenden: 0=
f (z )dz =
f (z )dz
n (ak )
k k
f (z )dz
f (z )dz 2i
n (ak )resak f
k
( ) genau eine isolierte Singularit at vor, und zwar in z . Diese ist ein Pol 1. Ordnung mit resz f z = f (z ). Setzt man dieses nun in die Residuenformel ein, so erh alt man die allgemeine Cauchysche Integralformel: 1 f ( ) d = n (z )f (z ) 2i z
Allerdings ist der Cauchysche Integralsatz nicht etwa u ussig, da wir ihn im Beweis des Residuen ber satzes benutzen. Denition 19.2 (Logarithmische Ableitung) Sei f : G C eine meromorphe Funktion. Die Funktion
f (z ) f (z )
Als erstes z ahlen wir mit Hilfe des Residuensatzes, angewendet auf die logarithmische Ableitung einer meromorphen Funktion f , deren Null- und Polstellen: Die Polstellen von f und deren Ableitung f sind gleich (Laurententwicklung). Sei z G keine Nullstelbilden die Polstellen von . Sei z0 eine Nullstelle/Polstelle von f . Dann gilt f (z ) = (z z0 )k g (z ), k Z, wobei g eine holomorphe Funktion auf einem Gebiet um z0 ist mit g (z0 ) = 0. Falls k > 0, liegt bei z0 eine Nullstelle vor, f ur k < 0 ist z0 eine Polstelle. Es gilt holomorph in z0 ist. Also ist
f f
f f
f (z ) f (z )
k z z 0
g (z ) g (z ) ,
g (z ) g (z )
in z0 . F ur das Residuum an dieser Stelle gilt dann: resz0 f f = k. Denition 19.3 (Rand) Sei ein Zykel. Man sagt berandet das Gebiet A, wenn n (z ) = 0 z /A und n (z ) = 1 z A. Man nennt auch den Rand von A. G A 2 1 3
19 DER RESIDUENSATZ
82
Satz 19.2 Sei f meromorph in einem Gebiet G und G ein Zykel, der keine Null- oder Polstelle von f trit und auerdem ein Gebiet A C berandet. Dann gilt 1 2i f (z ) dz = NA PA f (z )
wobei NA die Anzahl der Nullstellen und PA die Anzahl der Polstellen von f in A sind (jeweils mit Vielfachheit gez ahlt). Beweis Seien ai , i = 1, ..., r die Pol- und Nullstellen der Funktion f und |ki | die entsprechenden Vielfachheiten auf dem Gebiet A. Dabei gibt es nur endlich viele Pol- und Nullstellen in A, weil A abgeschlossen und Pol- und Nullstellen isoliert liegen. Dann ist f in der Form f (z ) = (z a1 )k1 (z a2 )k2 ... (z ar )kr g (z ) auf A darstellbar, wobei g (z ) eine holomorphe Funktion ohne Null- und Polstellen ist. Die Ableitung von f ist: f (z ) = + + +
k1 k2 kr g (z ) + + ... + + (z a1 ) (z a2 ) (z ar ) g (z )
ist eine holomorphe Funktion, da g (z ) keine Nullstellen mehr besitzt. F ur die Residuen der Funkf f
tion
ai S A
f n (ai ) resai = NA PA f
Kurvenintegrale u ber die logarithmische Ableitung haben aber auch noch eine andere, mehr geometrische Bedeutung. Immer wenn eine geschlossene Kurve im Denitionsbereich G einer meromorphen Funktion f keine der Null- und Polstellen trit, gilt f (z ) dz = f (z )
dz . z
(6)
dz f z
Satz 19.3 Berandet der Zykel in G eine Teilmenge A G und trit keine der Null- und Polstellen einer in G meromorphen Funktion f , so ist die Dierenz NA PA der Null- und Polstellenzahl (mit Vielfachheiten) in A gleich der Umlaufzahl nf (0). Beweis Nur die Idee: Teile die Formel (6) durch 21 i . Dann steht auf der rechten Seite die Def. von Umlaufzahl und auf der linken Seite das Integral aus dem Satz davor =NA PA .
19 DER RESIDUENSATZ
83
f 0
Abbildung 61: Hat f z. B. drei einfache Nullstellen in dem von berandeten Gebiet, so uml auft die Bildkurve f dreimal den Punkt 0. Damit kann man leicht folgendes beweisen: Satz 19.4 (Anzahl der a-Stellen einer rationalen Funktion) Ist f (z ) : C C eine nicht-konstante rationale Funktion, so h angt die Anzahl (mit Vielfachheiten) der a-Stellen (d.h. f (z ) = a) von f in C = C {} nicht von a C ab. Beweis Es gen ugt zu zeigen: f hat in C {} gleich viele a und Polstellen. Sei o.B.d.A. a = 0 (betrachte ansonsten die Funktion f a). Weiterhin k onnen wir annehmen, dass f in keine Poloder Nullstelle hat. Falls doch, so betrachten wir f (z0 + 1 z ), wobei f an der Stelle z0 keine Null- oder Polstelle liegt. Der geschlossene Weg r (t) = reit , t [0, 2 ] berandet die Kreisscheibe Kr (0) vom Radius r um den Nullpunkt. F ur groes r liegen dann alle Null- und Polstellen in Kr (0), und nf r (0) ist somit die Dierenz der Null- und Polstellenzahl von f insgesamt. F ur r konvergiert f r gegen den konstanten Weg t f () C \ {0, }, uml auft also die Null f ur groe r nicht mehr. NA PA = 0. Also gibt es genauso viele Null- (bzw. a-) wie Polstellen. Satz 19.5 (Rouch e) Sei ein Zykel auf einem Gebiet G, der eine Teilmenge A G berandet. Seien f, g : G C holomorph mit |g (z )| < |f (z )| z Sp( ). Dann haben f und f + g gleich viele Nullstellen in A. Beweis Sei A = Ak , wobei Ak die Zusammenhangskomponenten von A bezeichne. Jede dieser Komponenten wird berandet von einem Zykel k und somit = k . Deniere h (z ) := f (z ) + g (z ), [0, 1]. h bildet f stetig nach f + g ab. Es gilt h0 (z ) = f, h1 (z ) = f + g. Betrachte nun eine Zusammenhangskomponente Ak mit Rand k . f hat keine Nullstelle auf k , da |g (z )| < |f (z )| z . Es gilt: 1 2i
k
h (z ) 1 dz = h (z ) 2i
f (z ) + g (z ) dz f (z ) + g (z )
Die linke Seite ist gleich NAk (h ) PAk (h ) = NAk (h ), denn da mit f und g auch h holomorph ist besitzt h keine Polstellen in Ak PAk = 0. Der rechte Term ist stetig weil |f (z )| > |g (z )| und damit 1 f (z ) g(z ) = . Behauptung: Das Integral ist unabh angig von . Beweis: h ist stetig in h ist stetig in . Ausserdem ist das Integral weil es die Umlaufzahl von h k um 0 bestimmt. Deswegen gilt: 1 2i
k 1 2i k f (z )+ g (z ) f (z )+ g(z ) dz
ganzzahlig,
h 1 1 dz = h 1 2i
h 2 dz, h 2
1 , 2 [0, 1] Ak ,
NAk (h ) = NAk (h0 ) = NAk (h1 ) und damit NAk (f ) = NAk (f + g ). Dies gilt f ur alle k . Da A = besitzt f auf dem Gesamtgebiet genauso viele Nullstellen, wie f + g .
19 DER RESIDUENSATZ
84
G 1 2 A2
A1
Abbildung 62: Der Zykel 1 + 2 berandet das Gebiet A = A1 A2 . f und f + g haben in jedem Ai gleich viele Nullstellen sie haben gleich viele Nullstellen in A. Korollar 19.6 (Fundamentalsatz der Algebra) Polynome auf C mit grad = n 1 haben n Nullstellen (mit Vielfachheiten gez ahlt). Beweis O.B.d.A. sei p ein normiertes Polynom vom Grad n, d.h. der f uhrende Koezient sei 1. Weiter sei f (z ) = z n und demnach p = f + g f ur ein Polynom g vom Grad < n. Auf einem Kreis mit Radius gro genug gilt demnach |f (z )| > |g (z )| und alle Nullstellen von p werden umlaufen. Ausserdem besitzt f eine n-fache Nullstelle (bei 0), nach dem Satz von Rouch e hat also f + g = p ebenfalls n Nullstellen (mit Vielfachheiten gez ahlt).
20 RESIDUENKALKUL
85
20
Residuenkalku l
Was wir in diesem Kapitel lernen: Weitere Formeln zur Residuenbestimmung Berechnung von uneigentlichen reellen Integralen Unter dem Residuenkalk ul im engeren Sinn vesteht man die Anwendung des Residuensatzes zur Berechnung gewisser reeller Integrale. Bei den Voraussetzungen wird mehrmals vom Verhalten einer Funktion f (z ) im Unendlichen oder am 1 Punkt die Rede sein. Damit ist dann das Verhalten von f ( z ) bei 0 gemeint. Eine holomorphe Funktion f (z ) hat also z.B. bei eine isolierte Singularit at oder einen Pol oder eine k-fache Nullstelle, wenn f(1 at bzw. einen Pol bzw. eine k-fache Nullstelle hat. z ) am Nullpunkt eine isolierte Singularit Bevor wir zur Berechnung von Integralen u ur Residuen: bergehen, noch ein paar Berechnungsregeln f Lemma 20.1 Sei f (z ) eine meromorphe Funktion mit einer Polstelle bei z0 , h ochstens von der Ordnung k. Dann gilt: 1 d(k1) resz0 f (z ) = (z z0 )k f (z ) (k 1)! dz (k1) z=z0 Beweis Sei g (z ) := (z z0 )k f (z ) = ck + ck+1 (z z0 ) + ... + c1 (z z0 )k1 + c0 (z z0 )k ... Die d(k1) Funktion g (z ) ist holomorph. dz (k1) g (z )|z =z0 = (k 1)(k 2)(k 3) ... 1c1 = (k 1)!c1 . Daraus folgt f ur das Residuum: resz0 f (z ) = c1 =
d(k1) 1 (k1)! dz (k1) (z
z0 )k f (z )|z=z0 .
Lemma 20.2 (Residuenbestimmung bei einfachen Nennernullstellen) Die Funktionen g, h : G C seien holomorph und h habe eine einfache Nullstelle in z0 G. Dann gilt: resz0 g (z ) g (z0 ) = . h(z ) h (z0 )
Beweis Allgemein gilt: resa f (z ) = limza (z a)f (z ) f ur einfache Polstellen a einer meromorphen Funktion f . Dies folgt direkt aus der Laurententwicklung. Damit gilt f ur das Residuum von f = h g an der Stelle z0 : g (z ) resz0 f (z ) = lim (z z0 ) . z z0 h(z ) Ausserdem gilt limzz0
z z0 L Hospital = h (z )
limzz0
1 h (z )
1 . h (z 0 )
Der Prototyp f ur die Anwendung des Residuenkalk uls auf reelle Integrale ist folgender: Lemma 20.3 Sei R(z ) eine rationale Funktion, die bei mindestens eine doppelte Nullstelle und keinen Pol auf der reellen Achse hat. Dann gilt:
R(x)dx = 2i
Im a>0
resa R(z )
wobei a die Polstellen von R(z ) angeben. Beweis Die rationale Funktion R : C C ist insbesondere meromorph mit endlich vielen Polstellen. W ahle r gro genug, so dass alle Polstellen a von R mit Im a > 0 in der Halbkreisscheibe mit Radius r liegen.
20 RESIDUENKALKUL
86
2i
Im a>0
resa R(z ) =
r
R(x)dx +
r I
R(z )dz
II
F ur II gilt: r R(z )dz = 0 R(reit ) ireit dt. Des Weiteren hat R(z ) hat im Unendlichen eine doppelte Nullstelle, r konvergiert jedoch nur einfach gegen . R(reiz ) ireiz r 0, und damit verschwindet auch das Integral. Also gilt Behauptung. Beispiel 20.1 (Berechnung des Integrals
R(x)dx
x2 1+x4 dx)
x2 g g dx = 2i(resei + resiei ). 4 4 1 + x4 h h
g h
g(in ei 4 ) h (in ei 4 )
und somit
x2 dx 1 + x4
= 2i = 2i = = =
i i (e 4 ei 4 ) 2 i 2i( sin( )) 2 4 . 2
ei 4
ei 4
ei 4
ei 4
Im Folgenden werden wir die Bedingung der doppelten Nullstelle im Unendlichen aus Lemma (20.3) etwas abschw achen: Es stellt sich heraus, dass der Faktor eiz das Konvergenzverhalten eines Integrals u ber den Hilfsbogen r = r eiz , z [0, ] verbessert. In diesem Fall reicht es aus, dass die Nullstelle des Restes bei mindestens einfach ist. Daf ur verliert man allerdings die absolute Konvergenz:
20 RESIDUENKALKUL
87
Lemma 20.4 Sei R(z ) eine rationale Funktion mit einer Nullstelle in . R habe keinen Pol auf der reellen Achse. Dann gilt:
R(x)eix dx = 2i
Im a>0
R(x) cos(x)dx+i
R(x) sin(x)dx.
Beweis Sei r so gro, dass alle Pole a von R(z ) mit Im a > 0 im Rechteck (r, r + ir, r + ir, r) enthalten sind. iR r + ir r + ir
Abbildung 64: Integrationsweg aus Lemma 20.4 Dann gilt nach dem Residuensatz: 2i
Im a>0
r r
R(x)eix dx +
r
r +ir
R(z )eiz dz +
r r +ir
R(z )eiz dz +
r +ir r +ir
Es ist |
R(z )eiz dz |
r 0
et dt, da
1. |eiz | = |et+ir | = et mit z = r + it und 2. > 0 r R |z | > r : |R(z )| < (Nullstelle in ). Also gilt |
r +ir r
R(z )eiz dz 0,
r r +ir
R(z )eiz dz 0.
F ur das Integral
r +ir r +ir
r +ir r +ir
R(z )eiz dz
R(z )eiz dz +
r +ir ir
R(z )eiz dz 2
r 0
et dt.
Die letzte Ungleichung folgt durch Substitution (im ersten Integral mit z = r + ir t, im Zweiten mit z = ir t), und die Absch atzung |eiz | = |eitr+(ir) | = er . r Wie zuvor geht f ur r das Integral 0 et dt gegen 1 und da 0 f ur r , folgt die Behauptung.
cos(x) Beispiel 20.2 (Berechnung des Integrals a Es ist 2 +x2 dx) 2 2 mit a + x > 0 f ur a R \ {0}, wir k onnen also Lemma 20.4 anwenden: cos(x) a2 +x2 dx
= Re(
eix dx a2 +x2 )
Berechnung der Singularit aten: z 2 + a2 = (z + ia)(z ia), der Nenner besitzt also zwei einfache NullLemma 20.2 ea cos(x) eix dx eix stellen ia und ia. a = a . 2 +x2 dx = Re( a2 +x2 ) = Re(2i resia a2 +x2 )
20 RESIDUENKALKUL
88
Dabei ist zu beachten, dass wir den Fall a > 0 betrachtet haben. Denn obwohl im urspr unglichen Integral a2 vorkommt, also das Vorzeichen von a keinen Einuss auf den Wert des Integrals hat, muss man folgendes ber ucksichtigen: Wir berechnen das Integral n amlich mit Hilfe aller Residuen in der oberen Halbebene der auf C erweiterten Funktion, und die Polstelle ia die wir betrachtet haben liegt nur in der oberen Halbebene f ur a a > 0! Das dies wichtig ist sieht man daran, dass der von uns berechnete Wert des Integrals e a f ur a < 0 divergiert, f ur a > 0 jedoch nicht. Ein weiteres Beispiel zeigt, dass man den Satz so ahnlich auch auf Funktionen anwenden kann, die bei 0 eine hebbare Singularit at haben. Beispiel 20.3 (Berechnung des Integrals R(x)eit dx:
sin x x dx)
1 R(x) = x hat einen echten Pol in x = 0. Da x = 0 jedoch eine hebbare Singularit at der Funktion ist, ist diese Funktion stetig fortsetzbar und somit integrierbar. eix x ix Es ist sin = cos x + i sin x. x dx = Im x dx, e
iR r + ir r + ir
r 1 r
1 r
0=
1 r r
r +ir
+
1 r
+
r 0
r +ir r +ir 0
r r +ir 0
eiz dz . z
eiz dz + z
1 r r
eiz dz = z
eiz dz, z
1 it e , t [0, ]. r
Da
eiw w dw, r
gilt:
1 r
1 r
eiz dz + z
r r
eiz dz = z
r
1 r
r
1 r
2i sin z dz. z
1 r
sin z dz = z
f ur r
und somit 2i
0
sin x dx = lim r x
eiz dz z
z =eit
lim
0 0
it
eie dt = i.
it
Also:
sin x dx = 2 x
20 RESIDUENKALKUL
89
Abschlieend betrachten wir Integrale von 0 bis : Manche von ihnen lassen sich aus Symmetriegr unden auf die schon behandelten F alle zur uckf uhren, so dx 1 dx z.B. 0 1+ = . Wenn das jedoch nicht geht, sind wir in einer ganz anderen Situation, weil x4 2 1+x4 wir den Integrationsweg nicht einfach im Unendlichen schlieen k onnen. Das folgende Lemma zielt darauf ab, f ur bestimmte Integrale trotzdem eine Berechnungsweise zu nden. Daf ur denieren wir den Komplexen Logarithmus als log(rei ) = log r + i, (0, 2 ). Dieser Logarithmus ist auf C \ [0, ] deniert, log : C \ [0, ] C. Im log z = 0 R 0 Im log z = 2 Abbildung 66: Komplexer Logarithmus Lemma 20.5 Sei 0 < < 1 und R(z ) rational ohne Pole auf der reellen Achse mit einer mindestens doppelten Nullstelle in . Weiter sei R(z ) bei Null holomorph, oder habe dort einen Pol erster Ordnung. Dann gilt: 2i x R(x)dx = resa (z R(z )) 1 e2i 0
a=0
Beweis Sei r wieder gro genug. Dann gilt nach dem Residuensatz: 2i
a=0
resa (z R(z )) =
i r+ r i r
R(z )z dz +
r
i r i r r
+
r
i r
r+ r
i r
r
i r i r
R 0
r Abbildung 67: Integrationsweg aus Lemma 20.5 Dann gilt: 1. 0, weil R(z ) in eine doppelte Nullstelle hat, und das ist mehr als eine Polstelle der Ordnung < 1 von z . Daraus folgt R(z )z hat eine 2 > 1 fache Nullstelle im Unendlichen. f ur r geht das Integral gegen 0 (Rechnung wie im Beweis von Lemma 20.3, II. Integral).
r r r r
2.
3 2 2
20 RESIDUENKALKUL
90
+1 it F ur r geht (1 + )-fach ( 1 0 . R( 1 ) R(0), wobei R(0) h ochstens eine einfach r) re Polstelle ist. Also geht das Integral gegen 0.
resa (z R(z )) =
r 0
x R(x)dx
x R(x)e2i dx = (1 e2i )
x R(x)dx.
Im log z =0
21 KOMPAKTE KONVERGENZ
91
21
Kompakte Konvergenz
Was wir in diesem Kapitel lernen: Def. kompakt konvergent und lokal gleichm aig konvergent sowie die Aquivalenz dieser Begrie Satz von Weierstra und Satz von Hurwitz Ubertragung von a-Stellen von fn auf f Denition 21.1 (Kompakte & lokal gleichm aige Konvergenz von Funktionenfolgen) Sei U C oen und nicht leer, und (fn : U C)nN eine Folge holomorpher Funktionen. 1. (fn ) heit kompakt konvergent, falls (fn ) auf allen kompakten Mengen K U gleichm aig gegen f : U C konvergiert: > 0 n0 : n > n0 z K : |fn (z ) f (z )| < . 2. (fn ) heit lokal gleichm aig konvergent, falls jeder Punkt aus U eine Umgebung besitzt, in der (fn ) gleichm aig gegen f : U C konvergiert: z0 U r > 0 : > 0 n0 C : |fn (z ) f (z )| < z Dr (z0 ) n n0 . kompakt konvergent lokal glm. konvergent : Sei z0 U . Lege einen kompakten Kreis um z0 . So ein Kreis existiert immer, weil U oen und somit ein oener Kreis mit dem Radius um z0 gelegt werden kann. Dann ist aber auch der kompakte Kreis mit dem Radius 2 Teilmenge von U. Da K kompakt ist, konvergiert (fn ) auf dem Gebiet gleichm aig. Wenn wir nun den Rand des Kreises wegnehmen, haben wir einen oenen Kreis, auf dem die Reihe gleichm aig konvergiert. lokal glm. konvergent kompakt konvergent : Sei K U eine kompakte Menge. Betrachte alle Punkte z K . Dann gibt es um jeden Punkt eine oene Umgebung, auf der (fn ) gleichm aig konvergiert. Diese oenen Umgebungen bilden eine oene Uberdeckung von unserem Kompaktum K . Also gibt es eine endliche Teil uberdeckung {Ui }i=1,...,k . Auf jedem Ui konvergiert (fn ) gleichm aig. Also konvergiert (i) (fn ) auch auf ganz K lokal gleichm aig, indem man n0 = maxi=1,...,k n0 w ahlt. Satz 21.1 (Satz von Weierstra) Sei U C oen und nicht leer, und (fn : U C)nN eine Folge holomorpher Funktionen die kompakt gegen f : U C konvergiert. (k ) Dann ist f holomorph und f ur alle k N konvergiert auch (fn ) kompakt gegen f (k) . Beweis 1. f ist holomorph : Seien fn : U C die Funktionen der Folge und f die Grenzfunktion. Nach dem Satz von Morera gen ugt es zu zeigen, dass f (z )dz = 0 f ur die Randkurve einer jeden samt Rand in U gelegenen Dreiecks ache gilt. Aber wegen der kompakten Konvergenz ist
n
lim fn (z )dz =
f (z )dz = lim
fn (z )dz = 0.
2. (fn ) konvergiert kompakt gegen f : Wir zeigen fn f lokal gleichm aig. ur ein r > 0 geeignet und z Dr (z0 ). Dann gilt Sei z0 U , D2r (z0 )={|z z0 | 2r} U f fn (z ) f (z ) Korollar 9.3
1 2i
D2r (z0 )
|fn (z ) f (z )|
fn ( ) f ( ) d ( z )2
21 KOMPAKTE KONVERGENZ
92
Da D2r (z0 ) kompakt ist, gilt nach der Voraussetzung der kompakten Konvergenz
D2r (z0 ) fn f lokal gleichm aig.
max
|fn ( ) f ( )| n 0
(k )
Satz 21.2 (Satz von Hurwitz) Sei G C ein Gebiet und (fn : G C)nN eine Folge holomorpher Funktionen die kompakt gegen f : G C konvergiert. Sei a C und jede Funktion fn habe h ochstens m a-Stellen (mit Vielfachheit gez ahlt). Dann besitzt auch f h ochstens m a-Stellen, oder ist konstant mit f (z ) = a z G. Beweis oBdA a = 0 und m < . Annahme : f ist nicht konstant und hat mindestens m + 1 Nullstellen (mit Vielfachheiten). Betrachte also eine Menge M von m + 1 Nullstellen der Funktion f . Seien z1 , z2 , . . . , zr die paarwiese verschiedenen Punkte aus dieser Menge (d.h. ohne Vielfachheiten). Da f const, sind alle Nullstellen von f endlicher Ordnung, also ist M diskret. W ahle > 0 so, dass D (zi ) D (zj ) = f ur i = j . Setze K := D (z1 ) D (z2 ) ... D (zr ). K ist kompakt. Nach Wahl von gilt min |f (z )| > > 0,
z K
Abbildung 68: S amtliche Nullstellen der Grenzfunktion werden in kleine Kreisscheiben eingesperrt. F ur jede Kreisscheibe wird dann der Satz von Rouch e auf f und fn (f ur groe n) angewandt. Da fn kompakt gegen f konvergiert existiert ein N N, so dass n N |fn (z ) f (z )| < z K |fn (z ) f (z )| < |f (z )| z K , n > N0 . fn = f + (fn f ) hat genauso viele Nullstellen wie f (Satz von Rouch e). Widerpruch zur Annahme, dass fn nur m Nullstellen hat. Das folgende Korollar wird f ur den Beweis des Riemannschen Abildungssatzes gebraucht. Korollar 21.3 Sei G ein Gebiet und (fn : G C)nN eine Folge injektiver, holomorpher Funktionen. D.h. die Ableitungen verschwinden nirgends und a C besitzt jedes fn h ochstens eine a-Stelle. Falls fn f kompakt konvergiert, so ist f holomorph und ebenfalls injektiv, oder konstant. Bemerkung 1. Sei f holomorph mit nicht verschwindender Ableitung in z0 : f (z0 ) = 0. Dann ist f winkelerhaltend in z0 . Seien , zwei Geraden und = arg der Winkel zwischen den beiden Geraden. Bilden wir nun und mit f auf C ab, dann gilt an dem Schnittpunkt der beiden Funktionen f und f , dass der Winkel zwischen den Tangenten am Punkt f (z0 ) gleich dem Winkel zwischen und bleibt:
21 KOMPAKTE KONVERGENZ
93
Die Tangente in Richtung f am Punkt f (z0 ) hat die Form: T (t) = f (z0 ) + t f ((z0 )) (z0 ). Die Tangente an f ist T (t) = f (z0 ) + t f ( (z0 )) (z0 ). Also gilt = arg T = .
Gilt dies f ur alle Punkte des Denitionsbereiches, so ist f insgesamt winkelerhaltend und man nennt f konform. f f z0 Abbildung 69: Konforme Abbildung f 2. Die analoge reelle Situation ist komplizierter: Seien (fn ), f : R R dierenzierbare Funktionen und fn f . Besitzen alle fn eine Nullstelle, so hat auch f eine Nullstelle. Aber: Auch falls kein fn eine Nullstelle hat, so kann f trotzdem eine Nullstelle besitzen. fn f fn f f (z0 ) f
Abbildung 70: F ur Funktionen (fn ), f : R R, fn f gilt unser Ergebniss nicht. Beispiel 21.1 (Kompakte Konvergenz injektiver Funktionen gegen eine konstante Funktion) z n fn (z ) = f 0. n
22 KONVERGENZSATZE
94
22
Konvergenzs atze
Was wir in diesem Kapitel lernen: Def. lokal beschr ankt lokal beschr ankt + punktweise konvergent kompakt konvergent Satz von Montel, Satz von Vitali Ableitungskriterium Def. lokal beschr ankte Familie & normale Familie Denition 22.1 (Lokal beschr ankte Funktionenfolgen) Sei U C oen und nicht leer, und (fn : U C)nN eine Folge holomorpher Funktionen. (fn ) heit lokal beschr ankt, falls zu jedem z0 U ein = (z0 ) > 0 und ein M = M (z0 ) > 0 existieren mit |fn (z )| M z D (z0 ) und n N. Lemma 22.1 Sei U C oen und nicht leer, und (fn : U C)nN eine lokal beschr ankte Folge holomorpher Funktionen. Falls (fn ) auf einer dichten Teilmenge von U punktweise konvergiert, so konvergiert (fn ) kompakt. (Lokal beschr ankt + punktweise konvergent kompakt konvergent). Beweis Wir zeigen: fn f lokal gleichm aig z0 U r > 0 : > 0 n0 N so dass |fn (z ) fm (z )| < f ur z Dr (z0 ) und n, m n0 .
n,m
Idee: |fn (z ) fm (z )| < |fn (z ) fn (a)| + |fn (a) fm (a)| + |fm (a) fm (z )| wobei a ein Punkt aus der Konvergenzmenge ist. Es gilt |fn (a) fm (a)| 0, da die Folge in a punktweise konvergiert. Wir betrachten |fn (z ) fn (a)|:
Sei z0 U und 2r > 0, so dass |fn (z )| M n N und z D2r (z0 ) U . Das ist m oglich, da die Folge lokal beschr ankt ist. Seien weiterz, z Dr (z0 ). Dann gilt mit der Cauchy Integralformel f ur Ableitungen (Korollar 9.3): |fn (z ) fn (z )| = = 1 (z z ) 2 1 2i fn () fn () d z z
D2r (z0 )
D2r (z0 )
fn () |z z | M 2M d 2 2r = |z z | ( z )( z ) 2 r 2 r
Dies ist unabh angig von n (im Allgemeinen heit das gleichgradig stetig).
r Sei > 0. Setze = 3 2M . W ahle nun endlich viele Konvergenzpunkte a1 , a2 , . . . , ar Dr (z0 ), so dass jedes z Dr (z0 ) h ochstens von einem der ai entfernt ist. Das ist m oglich, da die Konvergenzmenge dicht ist und Dr (z0 ) kompakt. W ahle nun n0 N : |fn (ai ) fm (ai )| 3 , n, m n0 i = 1, . . . , r. Das ist m oglich, weil fn in ai gegen f konvergiert. Dann gilt f ur z Dr (z0 ) und n, m n0 :
|fn (z ) fm (z )| < |fn (z ) fn (ai )| + |fn (ai ) fm (ai )| + |fm (ai ) fm (z )| mit ai geeignet. 2M 2M |z ai | + + | z ai | r 3 r
Satz 22.2 (Satz von Montel) Jede lokal beschr ankte Folge von holomorphen Funktionen besitzt eine kompakt konvergente Teilfolge.
22 KONVERGENZSATZE
95
Idee: Diagonalverfahren
Beweis Sei (fn : U C)nN also eine beliebige lokal beschr ankte Folge holomorpher Funktionen. Nach Lemma (22.1) ist nur zu zeigen, dass eine Teilfolge existiert, die punktweise auf einer dichten Menge konvergiert. W ahle eine abz ahlbare dichte Menge {a1 , a2 , a3 , . . .} U . 1. Die Punktfolge (fn (a1 ))nN ist beschr ankt eine konvergente Teilpunktfolge (fni (a1 ))iN . W ahle nun die entsprechenden Funktionen und nenne sie f1,1 ; f1,2 ; f1,3 ; . . . (f1,n )nN . 2. (f1,n (a2 ))nN ist beschr ankt eine in a2 konvergente Teilfolge von Funktionen f2,1 ; f2,2 ; f2,3 ; . . . (f2,n )nN .
Dann konvergiert die Diagonalfolge (fn,n )nN auf der dichten Teilmenge {a1 , a2 , ...}, und nach dem Lemma also kompakt auf ganz G.
Satz 22.3 (Satz von Vitali) Sei G C ein Gebiet und (fn : G C)nN eine lokal beschr ankte Folge holomorpher Funktionen. Sei weiter z0 G, und (zk )kN G eine Folge in G mit zk = z0 , zk z0 . Es existiere limn fn (zk ) =: f (zk ) k N. Dann konvergiert (fn ) kompakt. Beweis Nach Lemma (22.1) gen ugt es zu zeigen, dass limn fn (z ) z G existiert (punktweise Konvergenz u berall), da G dicht in G liegt. Da die Funktionenfolge lokal beschr ankt ist, existiert nach dem Satz von Montel eine kompakt konvergente Teilfolge (fni )iN , d.h. f (z ) := limi fni (z ) z G existiert. Da die Zahlenfolge (fn (a))nN beschr ankt ist, existiert eine konvergente Teilfolge (fnl (a))lN mit liml fnl (a) = w = f (a). Die lokal beschr ankte Folge der entsprechenden Funktionen (fnl )lN besitzt wiederum nach dem Satz von Montel eine kompakt konvergente Teilfolge (fnlm )mN , also existiert g (z ) := limm fnlm (z ) z G. Nach Voraussetzung konvergiert (fn (zk )) zk G. Also gilt
i
Also f (zk ) = g (zk ) entlang der Folge zk z0 mit einem H aufungspunkt z0 G. Mit dem Identit atssatz folgt f (z ) = g (z ) z G, also insbesondere f (a) = g (a). Das ist ein Widerspruch, da g (a) = f (a) nach Konstruktion, also folgt die Behauptung.
Satz 22.4 (Ableitungskriterium) Sei G C ein Gebiet, und (fn : G C)nN eine lokal be(k ) schr ankte Folge holomorpher Funktionen. Sei weiter z0 G so, dass (fn (z0 ))nN k N konvergiert. Dann konvergiert (fn ) kompakt. Beweis Wie beim Satz von Vitali. Annahme: z1 G : f (z1 ) = g (z1 ). f, g sind holomorph, und nach Voraussetzung gilt
(m) (m) (m) f (m) (z0 ) = lim fn (z0 ) = lim fn (z0 ) = lim fn (z0 ) = g (m) (z0 ) m = 0, 1, 2, . . . k l k n l
(f g )(m) (z0 ) = 0 m = 0, 1, 2, . . . z0 ist eine unendliche Nullstelle von (f g ) (f g )(z ) = 0 in einer oenen Umgebung U0 um z0 (Potenzreihenentwicklung). Mit dem Identit atssatz folgt f g 0. Widerspruch. Behauptung folgt.
22 KONVERGENZSATZE
96
Denition 22.2 (Normale & lokal beschr ankte Familien von Funktionen) Sei U C nicht leer und oen, und sei F eine Familie holomorpher Funktionen auf U . 1. F heit lokal beschr ankt, falls zu jedem z0 U ein r > 0 und ein M > 0 existieren mit |f (z )| M z Dr (z0 ), f F . 2. F heit (endlich) normal, falls man aus jeder Folge (fn )nN mit fn F eine kompakt konvergente Teilfolge ausw ahlen kann. Satz 22.5 (Version des Satzes von Montel) Eine Familie F ist genau dann normal, wenn sie lokal beschr ankt ist. Beweis Satz von Montel. Sei F endlich normal. Angenommen F sei nicht lokal beschr ankt, d.h. z0 so dass f ur alle festen r > 0 man eine Folge (fn ) von Funktionen aus F w ahlen kann, f ur die gilt: n N zn Dr (z0 ) : |fn (zn )| > n. Nach Voraussetzung existiert eine kompakt konvergente Teilfolge (fnk )kN von (fn ). Diese konvergiert also gleichm aig auf Dr (z0 ) gegen eine Funktion f . Nach dem Satz von Weierstra (21.1) ist f als Grenzwert einer kompakt konvergenten Folge holomorpher Funktionen ebenfalls holomorph. Ausserdem ist (znk )kN eine beschr ankte Folge, da zn, Dr (z0 )n N konvergente Teilfolaig gegen f auf ge (znkl )lN , znkl z Dr (z0 ). Es konvergiert insbesondere auch fnkl gleichm Dr (z0 ). fnkl (znkl ) |f ( z )| < . Dies ist ein Widerspruch zu |fnkl (znkl )| > nkl , also folgt die Behauptung.
l
97
23
Das Grundproblem der Theorie der konformen Abbildungen lautet: Gegeben seien zwei Gebiete D und D ; gesucht ist eine konforme Abbildung des Gebietes D auf das Gebiet D . Dann spricht man auch davon, dass die beiden Gebiete konform aquivalent sind. F ur die L osung dieser Aufgaben gibt es keinen befriedigend einfachen Algorithmus. Zu wissen, ob zwei gegebene Gebiete konform aquivalent sind, ist wichtig, weil sie dann gewissermaen dieselbe Funktionentheorie haben. Der Riemannsche Abbildungssatz gibt genau an, welche Gebiete zur Einheitskreisscheibe D konform aquivalent sind. Nat urlich kommen u angende Gebiete in Frage, weil berhaupt nur einfach zusammenh n amlich D selbst einfach zusammenh angend ist. Zur Erinnerung: Ein Gebiet G C heit einfach zusammenh angend, wenn jeder geschlossene Weg in G nullhomotop ist, d.h. sich stetig zu einem Punkt zusammenziehen l asst. Bemerkung Im Folgenden soll konform mit biholomorph gleichgesetzt werden, vergleiche mit der Bemerkung zu Korollar (21.3). Satz 23.1 (Riemannscher Abbildungssatz) Sei G C ein einfach zusammenh angendes Gebiet. Weiter sei z0 G und [0, 2 ]. Dann existiert eine eindeutige konforme Abbildung f : G D = {z C | |z | < 1} mit f (z0 ) = 0 und arg f (z0 ) = . Bemerkung Es gibt keine konforme Abbildung f : C D denn sonst w are, da D beschr ankt ist, nach dem Satz von Liouvillle f const. . Die zwei zus atzlichen Forderungen in unserer Version des Riemannschen Abbildungssatzes sagen Folgendes aus: Erstens k onnen wir unser f so w ahlen, dass der Punkt z0 G auf 0 abgebildet wird. Zweitens k onnen wir sicherstellen, dass der Winkel zwischen der Gerade y = t f (z0 ) und der reellen Achse = ist, wodurch die Funktion eindeutig wird. Beweis Betrachte die Familie B := {g : G D holomorph und injektiv, g (z0 ) = 0} holomorpher Funktionen, d.h. 0 = g (z0 ) g (G) D g B . Ziel: Finde f B mit f (G) = D und arg f (z0 ) = . 1. B = (a) Ziel: Finde eine holomorphe und injektive Funktion von G C, deren Bildgebiet zu irgendeiner Kreisscheibe disjunkt ist. L osung: holomorphe Quadratwurzelfunktion. 1 Betrachte die holomorphe Funktion z z 2 = z . Wenn wir diese Funktion auf eines ihrer Bl atter einschr anken ist sie injektiv, und es gilt: z0 = w0 C w0 C z0 = 0. F ur 0 = z0 G k onnen daher niemals z0 = w0 und w0 zugleich im Bildgebiet G =: G liegen. F ur jede Kreisscheibe K G die 0 nicht enth alt ist also die am Nullpunkt gespiegelte Kreisscheibe K disjunkt zu G . Insbesondere k onnen wir einen Kreis um w0 mit einem Radius von w ahlen, welcher vollst andig in dem Komplement von G liegt.
K 0 G
K w0 0 G
w0 = z0
98
Wir betrachten zun achst eine Funktion h1 , die das Gebiet G auf D abbildet, k ummern uns aber noch nicht darum, ob h1 (z0 ) = 0 ist. Wir denieren: h1 (z ) := wobei w0 = 1 , 2 z (w0 )
bildet f ur |z0 | < 1 die Einheitskreisscheibe biholomorph auf sich selber ab. Die Ableitung hat die Form: w (z ) =
(1 z 0 z ) + z 0 (z z0 ) 1 z 0 z0 1 |z0 |2 = = (1 z 0 z )2 (1 z 0 z )2 (1 z 0 z )2
Beweis : Zu pr ufen ist, ob |z z0 | < |1 z0 z |. Es gilt: |z z0 |2 = (z z0 ) (z z0 ) = zz z0 z zz0 + z0 z0 und |1 z0 z |2 = (1 z 0 z ) (1 zz0 ) = 1 zz0 z0 z + z0 z0 zz Also ist |z z0 |2 < |1 z0 z |2 (1 zz ) (1 z0 z0 ) = (1 |z |2 ) (1 |z0 |2 ) > 0 F ur |z0 | < 1 ist der zweite Term > 0 und f ur z D ist der erste Term > 0. Da lineare Transformationen biholomorph sind, gilt die Behauptung. Als n achstes denieren wir eine Funktion h2 , als Verkn upfung der linearen Transformation T (z ) = zh1 (z0 ) mit h1 :
1h1 (z0 )z
h2 := T h1 : G D, z
1 h1 (z0 ) h1 (z )
h1 (z ) h1 (z0 )
h2 Abbildung 72: Die Funktion h1 bildet G in die Einheitskreisscheibe D ab. h2 = T h1 sorgt dann daf ur, dass z0 auf 0 abgebildet wird.
23 DER RIEMANNSCHE ABBILDUNGSSATZ 2. Wir konstruieren eine Funktion f B mit f (G) = D. Sei M := supgB |g (z0 )| > 0. Dann existiert f B mit |f (z0 )| = M , denn: (a) M existiert. Als erstes m ussen wir zeigen, dass {|g (z0 )|}gB u ankt ist. berhaupt beschr Dieses folgt aus der Cauchyformel f ur die Ableitungen: Ist {z | |z z0 | } G, so gilt: g (z0 ) =
99
1 2i
| z z 0 | =
g (z ) dz (z z0 )2
f ur jede holomorphe Funktion g : G D. Wegen |g (z )| < 1 gilt also |g (z0 )| Damit exisiert jedenfalls das Supremum M . (b) Es existiert ein f B mit |f (z0 )| = M : Sei (gn )nN B eine Folge mit limn |gn (z0 )| = M. Es gilt |gn (z )| < 1 n N, z G (gn )nN ist (lokal) beschr ankt. Nach dem Satz von Montel konvergiert eine Teilfolge (gnk )kN kompakt gegen ein f f ur welches gilt: f ist holomorph nach dem Satz von Weierstra (21.1) f (z0 ) = limk gnk (z0 ) = 0
=0
2 1 1 = 2 2
kompakt
f .
Also |f (z0 )| = limk |gnk (z0 )| = M (0, ) f = const, sonst w are f (z0 ) = 0, und nach dem Satz von Hurwitz (21.2) ist f injektiv, da alle gnk injektiv sind. Ausserdem ist |f (z )| = limk |gnk (z )| 1. Da f holomorph ist, ist nach dem Satz u ber die Gebietstreue f (G) oen, folglich gilt wie gefordert |f (z )| < 1, z G. (c) f (G) = D f ur f aus Schritt (b). Annahme : Es existiert b D mit b / f (G) (d.h. f (G) = D) B existiert mit |f (z0 )| > M Widerspruch zur Denition Ziel : Wir zeigen, dass dann f von M . : G D konstruieren, die eine gr Wir wollen nun die Funktion f oere Ableitung bei z0 hat als f .
(z )b Deniere f1 : G D, z 1f mit Hilfe des bs aus der Annahme. bf (z ) Die Funktion f1 ist holomorph und injektiv und bildet G nach D ab, weil sie eine lineare Transformation ist mit |b| < 1 und |f (z )| D z G. (siehe Bemerkung oben). 0 / f1 (G), weil f1 (z ) = 0 z G mit f (z ) = b, aber b / f (G). f1 (G) ist einfach zusammenh angend, da f biholomorph ist und somit G wieder auf ein einfach zusammenh angendes Gebiet abbildet. Deniere f2 (z ) := f1 (z ) mittels der schon zuvor benutzten eingeschr ankten Wurzelfunktion. f2 : G D ist holomorph und injektiv. (z ) := f2 (z)f2 (z0 ) . Aus den selben Gr Deniere schlielich f unden wie im Falle von
100
=M
=0 2
1 2 |f1 (z0 )|
|b|
|f1 (z0 )| =
1 2 |b|
(1 |b|2 )M
))2
|f2 (z0 )|
= =
>
Widerspruch zu M = supg(z0 )B g (z0 ). Wir haben also f : G D konform mit f (z0 ) = 0 und f (G) = D gefunden. 3. Als letztes drehen wir unsere bisher erhaltene Funktion f so, dass die Winkelbedingung f ur die Ableitung zutrit und zeigen die Eindeutigkeit: Es ist klar, dass f : G D, z f (z ) eii arg f (z0 ) eine konforme Abbildung ist f ur die gilt f (G) = D, f (z0 ) = 0 und arg(f ) (z0 ) = . Zu zeigen bleibt die Eindeutigkeit: = g (f )1 : Sei g : G D konform, g (z0 ) = 0, arg g (z0 ) = . Betrachte h = f g 1 : D D, h 1 D D. h(0) = f (g (0)) = 0, h(0) = 0. Nach dem Lemma von Schwarz (12.6) gilt:
=z 0
|h(w)| (w)| |h
=z =g ( z )
|w| |w|
()
()
101
Korollar 23.2 Seien G, H C einfach zusammenh angende Gebiete, z0 G, w0 H, (0, 2 ). Dann gibt es genau eine konforme Abbildung f : G H mit f (z0 ) = w0 und arg f (z0 ) = . f = (h1 g ) ei G z0 g 0 D h
H w0
Abbildung 73: G und H k onnen konform aufeinander abgebildet werden. Die Winkelbedingung arg f (z0 ) = macht das Ganze eindeutig. Man erh alt f wenn man konforme Abbildungen g und h wie im Bild hintereinander ausf uhrt und noch entsprechend mit ei multipliziert. (g (z0 ) = h(w0 ) = 0).
24 PARTIALBRUCHENTWICKLUNG
102
24
Partialbruchentwicklung
Was wir in dem Kapitel lernen: Def. Hauptteil, Hauptteilverteilung Satz von Mittag-Leer Denition 24.1 (Hauptteil, Partialbruch) Der Hauptteil einer meromorphen Funktion f mit Entwicklungspunkt a C, a Polstelle von f , ist eine rationale Funktion ha (z ) = c n cn+1 c 1 + + ... + . n n 1 (z a) (z a) za
Die Koezienten ck entsprechenen denen der Laurententwicklung um die Polstelle a. Die Menge aller Hauptteile einer meromorphen Funktionf f bezeichnet man mit H (f ) = {ha | a Polstelle von f }. Funktionen der Form ha (z ) werden auch Teilbr uche oder Partialbr uche genannt. Ist ebenfalls ein k Pol, so ist h(z ) = m k=1 ck z der entsprechedne Hauptteil und wird auch ganzer Teil von f genannt. Zum Aufsuchen von Stammfunktionen rationaler Funktionen benutzt man in der Integralrechung einer reellen Variablen die sogenannte Partialbruchzerlegung. Funktionentheoretisch gesehen ist das weiter nichts als die Darstellung einer rationalen Funktion R(z ) durch die Summe R(z ) = h1 (z ) + ... + hr (z ) + P (z ) aus den Hauptteilen h1 , ..., hr ihrer Pole und einem zus atzlichen Summanden P (z ), wobei P (z ) ein Polynom ist. Analog ist eine beliebige meromorphe Funktion, sofern sie nur endliche viele Pole hat, die Summe ihrer Hauptteile und einem zus atzlichen holomorphen Summanden. Im Allgemeinen hat eine meromorphe Funktion aber abz ahlbar unendlich viele Pole, und die Summe der Hauptteile muss nicht konvergieren. Es bleibt jedoch wahr, dass eine meromorphe Funktion f auf G durch ihre Hauptteile bis auf einen holomorphen Summanden bestimmt ist. Man kann das Problem auch andersherum betrachten: Sei U C oen und A U diskret. Gibt es eine meromorphe Funktion f : U C die genau auf A Pole hat, d.h. a A a ist Pol von f ? Einfach ist n 1 ullt das Geforderte. das f ur endliche Mengen A = {a1 , ..., an }: f (z ) = k=1 z ak ist meromorph und erf Bei unendlichen Mengen ist es allerdings nicht so einfach. Denition 24.2 (Hauptteilverteilung) Eine Hauptteilverteilung H auf der oenen Menge U C ist eine Menge H = {ha | a A} von Partialbr uchen mit Entwicklungspunkten a A U , wobei A keinen H aufungspunkt in U haben darf. Bemerkung zur Hauptteilverteilung H : 1. A muss eine diskrete Menge sein. Sonst sei g eine meromorphe Funktion mit Polstellen in A und 1 sei a ein H aufungspunkt in A. Betrachte die Funktion g . Ihre Nullstellen sind die Polstellen von 1 g . Also hat die Menge der Nullstellen von g einen H aufungspunkt an der Stelle a. Nach dem 1 Identit atssatz ist dann: g 0. 2. F ur meromorphe bzw. holomorphe Funktionen k onnen wir folgendes beobachten: f : U C meromorph liefert eine Hauptteilverteilung H (f ). f : U C holomorph H (f ) = .
Denition 24.3 (L osbare Hauptverteilungen) Eine Hauptteilverteilung heit l osbar, wenn es eine meromorphe Funktion f mit H (f ) = H gibt. Die Funktion f heit dann L osung von H . Satz 24.1 Die L osung einer Hauptteilverteilung ist bis auf Addition einer holomorphen Funktion eindeutig.
24 PARTIALBRUCHENTWICKLUNG
103
Beweis Seien f, g zwei L osungen der Hauptteilverteilung H = H (f ) = H (g ). Also ist H (f g ) = f g ist holomorph. Satz 24.2 (Mittag-Leer) Jede Hauptteilverteilung in der komplexen Ebene ist l osbar. D.h. Sei A C diskret, H = {ha | a A} f meromorph mit H (f ) = H . Alternative Formulierung: Sei (an )nN eine Folge paarweise verschiedener Punkte in C ohne H aufungspunkt. Seien Pan gegebene Polynome vom Grad > n ohne konstante Terme. Dann gibt es eine auf C meromorphe Funktion, die genau an den Stellen an Pole hat und deren Hauptteil an jedem an 1 gerade han (z ) = Pan ( z an ) ist.
Beweis Idee : Betrachte die Summe aA ha (z ). Falls sie nicht konvergiert f uge holomorphe die Konvergenz verbessernde Summanden ein welche man u ber die Taylorentwicklung der Hauptteile erh alt.
Setze hn (z ) := han (z ). Da uhren wir nun die Konvergenz verbessernden n=0 hn (z ) evtl. divergiert, f Summanden ein: Statt hn (z ) betrachte hn (z ) Tn (z ), wobei Tn (z ) ein Taylorpolyonom von hn (z ) in z = 0 ist (Taylorpolynom = Taylorentwicklung bis zu einem gewissen Grad k N). Man kann den Grad von Tn so gro w ahlen, dass |hn (z ) Tn (z )| < 2n Setze Kn := z | |z |
|an | 2
Sei A = {a0 , a1 , a2 , ...} C die Menge der Singularit aten. F ur |A| < haben wir schon gesehen dass die Behauptung stimmt. Sei also A abz ahlbar unendlich. Ordne die Elemente von A so an, dass gilt: 0 |a1 | |a2 | ... Dann ist limn |an | = (sonst w are A beschr ankt es g abe einen H aufungspunkt A w are nicht diskret, Widerspruch).
z : |z |
|an | . 2
()
an
|an | 2
Kn 0
F ur alle r > 0 gibt es ein n0 N, so dass f ur alle n > n0 gilt: |an | > 2r. Daraus folgt, dass m h ( z ) T ( z ) gleichm a ig auf K (0) konvergiert. n n r n>n0 m N Dies ist der Fall, da | konvergiert. Also ist auf Kr (0).
m n hn (z ) Tn (z )| , wobei die rechte Seite unabh angig von z n>n0 2 m n>n0 hn (z ) Tn (z ) = limm n>n0 hn (z ) Tn (z ) eine holomorphe Funktion m n>n0 ( )
Sei Ar := {an A | |an | r}. n=1 hn Tn konvergiert gleichm aig auf jeder kompakten Teilmenge 0 von Kr (0) \ Ar . Dies ist so, da der erste Teil n n=1 hn Tn auf jedem Kompaktum, welches die Polstellen a1 , ..., ak nicht enth alt, beschr ankt ist und der zweite Teil n=n0 +1 hn Tn gleichm aig konvergiert. F ur r ist der Teil k=n hk Tk holomorph auf C, wobei n = min{n N | |an | > 2r}. Damit ist also
n=1
Bemerkung In Beispielen w ahlt man den Grad von Tn so, dass auf Kn gilt: |hn Tn | < cn und cn < .
24 PARTIALBRUCHENTWICKLUNG
104
Beispiel 24.1 (Zum Satz von Mittag Leer) 1. Gesucht sei eine meromorphe Funktion mit einfachen Polen in a0 = 0, a1 , a2 , .. und Residuen cn c0 , c1 , c2 , ... Die Hauptteile haben also die Form: z an = hn (z ). Die Taylorentwicklung um z0 dermaen aus:
f (n) (z0 ) (z n=0 n!
z0 )n sieht f ur f (z ) = z an
k
1 z an
und z0 = 0 folgen-
k=0
(n > 0, d.h. an = 0)
z an
<
2 n cn
z : |z |
kn k=0
|an | . 2
k
c0 + cn z n=1
1 1 + z an an
z an
2. Gesucht sei eine meromorphe Funktion mit einfachen Polen in Z und allen Residuen gleich 1. D.h. an = n, cn = 1, n Z. Man kann dann f ur alle n Z kn = 0 w ahlen: 1 |z | 1 + = zn n |z n||n| Da
1 n=1 n2
<
f ur |z | < R
R |z n||n|
f ur |n| > 2R
2R . n2
1 1 + zn n
f (z ) =
g (z ) , h(z )
g (z0 ) . h (z0 )
Die Funktion aus Beispiel 2. und cot(z ) besitzen die gleiche Hauptteilerverteilung, also sind sie bis auf Addition einer holomorphen Funktion f0 gleich (Satz 24.1). D.h. cot(z ) = f0 (z ) + Dierenzieren der beiden Funktionen ergibt: sin(z )
2
1 + z
nZ\{0}
1 1 + zn n
= f0 (z )
nZ
1 . (z n)2
g(z ):=
24 PARTIALBRUCHENTWICKLUNG Die Funktion g (z ) ist periodisch mit Periode 1 und besitzt Pole zweiter Ordnung in n Z. Sei S := {z = x + iy | x (0, 1], |y | 1} C. Es gilt 1 max |z n|2 1 1 , 2 n (n 1)2
105
zn
|z
S
z y=1
n|
n (n 1)
n y = 1
S
x=0 x=1
Abbildung 74: Denition von S und die Absch atzung |z n| max{|n|, |n 1|} f ur z S . Demzufolge konvergiert die Summe
1 nZ (z n)2
1 Also existiert f ur alle > 0 ein n0 N, so dass g (z ) n0 =n0 (z n)2 < 2 z S . Andererseits existiert f ur alle > 0 ein R > 0, so dass f ur alle z S mit |Im z | > R gilt:
|n|n0
1 < . 2 |z n| 2
> 0 R > 0 so dass z S mit |Im z | > R gilt: |g (z )| < . 2 f0 (z ) = g (z ) sin ist z periodisch mit Periode 1 (da sin(z + ) = sin(z ) und g periodisch mit Periode 1)
2 Im z beschr ankt auf S (|g (z ) ( sin 0). z ) |
ganz
Die Funktion f0 ist holomorph, da f0 holomorph ist. Also ist f0 insbesondere auf dem Quadrat mit den Eckpunkten {0, 1, i + 1, i} beschr ankt. Da sie aber auch auf ganz S , und damit auf einem eins breiten Streifen beschr ankt ist, ist sie durch ihre Periodizit at auf ganz C beschr ankt. Nach dem Satz von Liouville folgt also f0 (z ) = const = 0, da |f0 (z )| Im z 0. Proposition 24.3 F ur die Partialbruchzerlegung von sin(z )
2 2 sin2 (z )
gilt
=
nZ
1 . (z n)2
24 PARTIALBRUCHENTWICKLUNG
106
Korollar 24.4 F ur die Funktion cot(z ) ergibt sich folgende Zerlegung: cot(z ) =
1 + z
(
nZ
1 1 + ) zn n ist.
1 +n ).
wobei
nZ
nZ,n=0
Beweis Aus dem Beispiel folgt: cot(z ) = c + 1 z + Da der Kotangens ungerade ist, muss c = 0 gelten.
1 nZ ( z n
25 PRODUKTENTWICKLUNG
107
25
Produktentwicklung
In diesem Kapitel lernen wir: Def. (absolute) Konvergenz von unendlichen Produkten Konvergenzkriterien f ur unendliche Produkte Weierstrascher Produktsatz Nach dem Satz von Liouville ist jede beschr ankte ganze Funktion konstant. Besitzt nun eine ganze Funktion f (z ) im Unendlichen einen Pol n-ter Ordung, so ist sie ein Polynom vom Grad n. Wenn n amlich g (z ) = c1 z + c2 z 2 + ... + cn z n den Hauptteil der Entwicklung von f (z ) im Unendlichen darstellt, so ist auf Grund des Satzes von Liouville die Funktion f (z ) g (z ) konstant: f (z ) g (z ) = c0 . Nach dem Fundemtalsatz der Algebra besitzt jedes Polynom n-ten Grades genau n Nullstellen, und l asst sich als Produkt der zu diesen Nullstellen geh origen Linearfaktoren darstellen: f (z ) = A (z a1 )(z a2 )...(z an ) = A
ak =0
k=1
(1
z ). ak
Dabei sind die ak die Nullstellen des Polynoms f (z ) und A und A gewisse Konstanten. Eine transzendente Funktion braucht u berhaupt keine Nullstellen zu beitzen (z.B. ez ), sie kann anderseits aber auch unendlich viele Nullstellen haben (z.B. sin z ). Besitzt also eine ganze Funktion f (z ) endlich viele Nullstellen a1 , ..., an , so ist der Quotient aus f (z ) und dem Produkt (z a1 ) ... (z an ) eine ganze Funktion, welche keine Nullstellen besitzt. Daher kann der Quotient in der Form eg(z) dargestellt werden, und wir erhalten f (z ) = e
g (z )
(z a1 ) ... (z an ) = Ae
ak =0
n g (z ) k=1
(1
z ). ak
F ur ganze Funktionen die unendlich viele Nullstellen haben kann eine analoge Zerlegung angegeben werden, in der an die Stelle des endlichen Produkts ein unendliches Produkt tritt, das auf Konvergenz zu untersuchen ist. Genauso kann man zu einer vorgegebenen Menge A eine holomorphe Funktion mit Nullstellen in a A bilden. Im endlichen Fall ist dies oensichtlich kein Problem mit f (z ) = aA (z a). F ur Mengen unendlicher Kardinalit at stellt sich hingegen wieder die Frage der Konvergenz das unendlichen Produktes. Das wesentliche Ergebnis liefert der Weierstrasche Produktsatz (25.3).
Denition 25.1 (Konvergenz unendlicher Produkte) Ist (wn )n1 eine beliebige Zahlenfolge in N C, so heit das unendliche Produkt n=1 wn konvergent, wenn fast alle wn = 0 und limN n=1,wn =0 wn existiert und nicht Null ist. Ist mindestens ein wn = 0, so setzt man n=1 wn := 0. Beispiel 25.1 (Unendliche Produkte) 1.
1 n=1 n
2. Sei
n=1
wn wn =
Pn n Pn1
1)
Als n achstes werden wir nun das Logarithmuskriterium f ur die Konvergenz unendlicher Produkte herleiten. Bemerkung Im Folgenden schreiben wir R f ur die Menge {z R | z 0} und xieren den Logarithmus log : C \ R C als log(rei ) = log r + i mit (, ). log ist dann holomorph auf KR (1) = {z | |z 1| < R} f ur R 1.
25 PRODUKTENTWICKLUNG
108
Im log z = R 0 Im log z =
Lemma 25.1 (Logarithmuskriterium f ur die Konvergenz unendlicher Produkte) Sei n=1 wn ein unendliches Produkt ohne negative oder Nullfaktoren. Dann ist die Konvergenz des Produktes aquivalent zur Konvergenz der Reihe n=1 log wn . Bemerkung Nicht negative wn , d.h. wn / R , ist f ur konvergente Produkte keine Einschr ankung: Wie wir zuvor gesehen haben muss n amlich gelten limn wn = 1, d.h. f ur n gro genug ist wn / R . Beweis : Es ist exp
n=1 N N N
log wn
=
n=1
exp(log wn ) =
n=1
wn .
n=1
Da die Exponentialfunktion stetig ist, folgt aus der Konvergenz von N von n=1 wn .
: Sei nun umgekehrt das Produkt als konvergent vorausgestzt. Allgemein gilt log wn = log wn + 2in, nZ
wir k onnen also leider nicht genau analog argumentieren. Dies liegt daran, dass die Exponentialfunktion nicht injektiv ist, und dieses Problem tritt auf wenn durch die Multiplikation uber die negative reelle Achse gegangen wird. 3 3 3 2 3 4 i 4 i = Betrachte z.B.: z = e 4 i . Dann ist log z = log 1+ i( 3 4 ) = i( 4 ) und log z = log e 1 3 3 1 2 i = log e 4 i + log e 4 i = 3 2 i aber auch log e 2 i. i = e 2 i = e 2 i
1 3
1 e 4 i Wir brauchen jedoch nur die Konvergenz von ur irgendein n0 zu zeigen, da endlich n=n0 log wn f viele Faktoren bzw. Summanden keinen Einuss auf die Konvergenz als solche haben. Wie bereits mehrfach zuvor erw ahnt, folgt aus der Konvergenz des Produktes dass limn wn = 1, also auch limn0 n=n0 wn = 1. Daher k onnen wir n0 N nden, so dass f ur alle N > n0 N 1 (1) liegt. F das Produkt n=n0 wn innerhalb der Kreisscheibe K 2 ur jedes dieser Produkte gilt dann jedoch
N N
3
log
n=n0
wn
=
n=n0
log wn
25 PRODUKTENTWICKLUNG
109
Denition 25.2 (Absolute Konvergenz unendlicher Produkte) Ein konvergentes Produkt heit absolut konvergent, wenn f ur ein n0 die Reihe n=n0 log wn absolut konvergiert, d.h. n=n0 | log wn | konvergiert. Lemma 25.2 (Kriterium f ur die absolute Konvergenz unendlicher Produkte) Ein unendliches Produkt n=1 (1 + an ) konvergiert genau dann absolut, wenn n=1 |an | konvergiert.
z) Beweis Klar ist, dass in beiden F allen (an ) eine Nullfolge sein muss. Betrachte (z ) := log(1+ mit z (0) := 1. Die Funktion : KR C ist holomorph f ur R < 1. Weiter gibt es eine Umgebung U von 0, so dass z U gilt:
Da (an ) eine Nullfolge ist existiert ein n0 , so dass an U f ur n n0 . Also gilt m 1 3 |an | | log(1 + an )| |an |. 2 n=n 2 n=n n=n
0 0 0
Wir kommen nun zu unserer urspr unglichen Fragestellung zur uck und betrachten allgemein durch f (z ) = k=1 (1 az ) gegebene Funktionen mit | a | . Um die Konvergenz zu gew ahrleisten f ugen n n wir diesmal die Konvergenz verbessernde Faktoren ein, wobei die Idee ist die Faktoren (1 az ) nahe n zu 1 zu bringen. Dies geschieht durch Multiplikation mit einer ganzen Funktion egn (z) welche keine Nullstellen besitzt. Ansatz : 1 z an e log(1 an ) = 1.
z
), dessen Grad von der gew unschten Deshalb w ahlen wir f ur gn (z ) ein Taylorpolynom von log(1 az n Genauigkeit abh angt. Die Taylorapproximation erhalten wir wie folgt: F ur alle |z | < 1 gilt
zk z k
= =
Integration
k=0 k k=1
1 1z log(1 z ).
Satz 25.3 (Weierstrascher Produktsatz) Sei (an ) eine Folge von Null verschiedener komplexer Zahlen mit limn |an | = . Dann konvergiert f ur geeignete Wahl ganzer Zahlen kn > 0 das unendliche Produkt f (z ) :=
n=1
z an
e an + 2 ( an )
+...+ k1 ( az )kn n n
n=1
z an
Pkn
1 z k k=1 k ( an )
Die Funktion f stellt eine auf C holomorphe Funktion dar, die genau an den Stellen an verschwindet, und zwar entsprechend der Vielfachheit mit der an in der Folge vorkommt.
25 PRODUKTENTWICKLUNG
110
Beweis Ordne die an gem a ihrem Betrag an: |a1 | |a2 | .... Dann ist limn |an | = . Betrachte nun die Funktion log(1 z ) auf K 1 = {z | |z | < 1 ahle kn N so, dass 2 } und w 2 log(1 z ) + z + wobei cn < , z.B. cn =
N n=n0 1 2n
z2 z3 z kn + + ... + < cn 2 3 kn
1 z K2
F ur alle r > 0 existiert n0 N, so dass |an | > 2r n n0 . Dann konvergiert log 1 z an + z 1 + ... + an kn z an
kn N
( kn f ur n ).
g0 (z )
z an
N n=n0
(1
z 1 z kn z ) e an +...+ kn ( an ) an
eg0 (z) .
Wir k onnen also den hinteren Teil des Produktes durch eg0 (z) ersetzen und erhalten f (z ) :=
n0 1 n=1
z an
e an +...+ kn ( an )
kn
eg0 (z) .
Die Nullstellen dieser Funktion in Kr sind genau {a1 , a2 , ..., an0 1 }. Da r beliebig gro gew ahlt werden kann folgt die Behauptung.
Korollar 25.4 Jede auf C meromorphe Funktion ist der Quotient zweier ganzer Funktionen. Beweis Sei f eine meromorphe Funktion. Konstruiere eine ganze Funktion g , deren Nullstellen gerade an den Polstellen von f liegen, so dass die Vielfachheiten u bereinstimmen. Dann ist h := f g eine ganze Funktion da die Singularit aten weggehoben werden. Also ist f = h g.
111
26
Was wir in diesem Kapitel lernen: Def. periodisch, Periodengitter , Parallelogramm der Perioden meromorphe Funktionen = const. haben keine innitesimale Periode Einteilung meromorpher Funktionen in drei Klassen bzgl. Periodizit at Elliptisch + holo const. Die Summe u ber alle Residuen einer elliptischen Funktion verschwindet Def. Ordnung Anzahl c-Stellen = Ordnung Summer des NS = Summer der PS (mod ) Elliptische Fuktionen treten bei vielen Problemen auf, z.B. in der Dynamik der starren K orper, der Aerodynamik, der Elektrotechnik und der Elastizit atstheorie. Wir betrachten im Weiteren nur meromorphe Funktionen von C C. Denition 26.1 (Periodische Funktionen) Eine Funktion f : C D C heit periodisch, wenn es eine Zahl = 0 gibt, so dass f ur jedes z aus dem Denitionsbereich von f auch z 2 zum Denitionsbereich geh ort und f (z ) f ur alle Punkte z des Denitionsbereiches der Funktionalgleichung f (z + 2 ) = f (z ) gen ugt. 2 heit dann eine Periode von f und heit Halbperiode. Mit bezeichnet man die Menge aller Perioden von f . Bemerkung Leicht zu verizierende Aussagen: Die Menge von Perioden ist eine Gruppe bzgl der Addition, d.h. sind 21 , ..., 2n Perioden n i=1 ni 2i , ni Z ist eine Periode. Seien f, g periodisch mit Periode 2 . Dann sind die Funktionen f (z + C ), f (z ) + g (z ), f (z ) g (z ), f (z ) g(z ) und f (z ) periodisch mit Periode 2 (falls sie existieren). Beispiel 26.1 (Periodische Funktion) f (z ) = ei ist 2 -periodisch, = {2n | n Z}. Lemma 26.1 Sei f const eine meromorphe Funktion innitesimale Periode, d.h. > 0 : Perioden 2 von f gilt |2 | > . Beweis 2 Beweise durch Widerspruch: 1. Beweis : Sei n eine Nullfolge von Halbperioden. Sei z0 ein regul arer Punkt von f . Betrachte die Punktfolge: z0 + 2n . Die Folge konvergiert gegen z0 und es gilt: f (z0 + 2n ) = f (z0 ). Nach dem Identit atssatz ist dann f konstant. Widerspruch. 2. Beweis : Sei n eine Folge von Perioden, die gegen 0 konvergieren. Dann gilt z C, f (z ) = : f (z + 2n ) f (z ) n f (z ). 2 n Auerdem sind die 2n Perioden, also f (z + 2n ) f (z ) = 0. f (z ) = 0 f const. Widerspruch.
z
112
Korollar 26.2 Die Menge der Perioden einer meromorphen Funktion f (z ) const enth alt keine Folge die gegen einen endlichen Punkt konvergiert. Beweis Angenommen es existiert eine Teilfolge (n ) , n (n m ) Widerspruch zum vorherigen Lemma. Nun untersuchen wir die Form von : Satz 26.3 (Abel) Eine meromorphe Funktion f (z ) kann h ochstens zwei bezgl. N linear unabh angige Perioden besitzen. Mit anderen Worten: Es existieren zwei Perioden 21 und 22 derart, dass jede Periode T der Funktion f (z ) die Form T = 2 n1 1 + 2 n2 2 mit ganzzahligen n1 und n2 besitzt. Beweis Der Beweis wird in zwei Teile aufgeteilt. 1. Fall: Gerade. Nach Lemma 26.1 existiert eine kleinste Periode 2 . Behauptung : = {2n | n Z}
n,m
0.
Beweis : Angenommen 20 / {2n | n Z} aber 20 . Dann existiert N Z so dass |20 2N | < |2 |. 20 2N 1 w are dann auch eine Periode, dies ist jedoch ein Widerspruch zu 2 ist kleinste Periode. |2 | 2(N 1) |20 2N | 2N 20 2(N + 1)
2. Fall: Wir nehmen an, dass f (z ) auer den Perioden 2n1 (21 sei die kleinste Periode von f ) noch weitere Perioden beitzt, welche nicht auf der Geraden L = t 1 liegen. Dann existiert ein Kreis um 0 mit mindestens einer von 21 verschiedenen Periode auf dem Rand, welcher keine Periode (ausser vielleicht 21 ) im Inneren enth alt. Auf dem Kreisrand k onnen nur endlich viele Perioden liegen, weil wir sonst einen H aufungspunkt von Perioden h atten ( innitesimale Periode). Die erste Periode welche wir vom Schnittpunkt der Kreislinie mit dem positiven Strahl von L ausgehend erreichen wenn wir die Kreislinie in positiver Richtung entlanglaufen, bezeichnen wir mit 22 .
1 2 22
21 + 22
0 2 2
21
21 22
113
Wir zeigen nun, dass jede Periode von f (z ) die Form T = 2n1 1 + 2n2 2 besitzt: Angenommen, es existiert eine Periode von f (z ), die die Form T = 2(n1 + 1 )1 + 2(n2 + 2 )2 hat 1 = 21 1 + 22 2 und 2 2 = 2 1 2 2 + ((n1 , n2 ) = (0, 0), 1 , 2 [0, 1)). Dann w aren auch 2 1 Perioden von f (z ). Mindestens eine dieser Perioden w 2 urde jedoch im Inneren des Kreises liegen. Wiederspruch!
Nach dem Satz von Abel lassen sich meromorphe Funktionen in drei Klassen einteilen: 1. Nichtperiodische Funktionen : Sie haben keine Periode. 2. Einfach-periodische Funktionen : Bei ihnen liegen alle Perioden auf einer Geraden. Beispiele solcher Funktionen sind die elementaren Funtkionen ez mit einer Periode von 2i, cos z , sin z usw. 3. Doppel-periodische Funktionen : Sie besitzen zwei reell linear unabh angige Perioden 21 und 22 , so dass = {2n1 1 + 2n2 2 | (n1 , n2 ) Z2 \ {(0, 0)}}. 21 und 22 heien Hauptperioden. Ein Beispiel einer doppelperiodischen Funktion ist: Sei f eine meromorphe Funktion, dann ist g (z ) = n1 ,n2 Z f (z + 2n1 1 + 2n2 2 ) eine doppelperiodische Funktion. Die Konvergenz kann im Allgemeinen aber nicht gew ahrleistet werden. Bemerkung Die Hauptperioden sind nicht eindeutig. Denition 26.2 (Elliptische Funktionen) Meromorphe doppelperiodische Funktionen heien elliptische Funktionen. Seien 21 , 22 Hauptperioden, dann heit := {2t1 1 + 2t2 2 | t1 , t2 [0, 1)} Parallelogramm der Perioden. Bemerkung Allgemeine Aussagen Ist f elliptisch auf bekannt, so ist f u berall bekannt.
Seien z, z C, z z z z (mod). d.h. n1 , n2 Z : z z = 2n1 1 + 2n2 2 . Diese Relation ist eine Aquivalenzrelation. Die Menge der entsprechenden Aquivalenzklassen [z ] kann mit Punkten aus identiziert werden. d.h. z C z : z z . Satz 26.4 Sei f eine elliptische, holomorphe Funktion. Dann ist f const. Beweis f ist holomorph. f ist beschr ankt auf . ( ist nicht kompakt, aber der Funktionswert auf den fehlenden R andern ist der gleiche wie der auf den gegebenen R andern). = {2t1 1 + 2t2 2 |t1 , t2
Liouville
f const.
Beweis Zum Beweis gen ugt es zu zeigen, dass das Integral u ang jeder geschlossenen Kurve ber f (z ) l C verschwindet, die alle Pole des Periodenparallelogramms und keine weiteren Pole umschliet (Residuensatz). Wenn auf dem Rand des Periodenparallelogramms keine Pole liegen, k onnen wir diesen als Kurve C nehmen, sonst verschieben wir ihn einfach ein wenig.
114
Abbildung 75: Verschiebung der Kurve, so dass keine Polstelle auf dem Rand liegt, aber alle Polstellen des Periodenparallelogramms von ihr eingeschlossen werden. Dann gilt: resz f (z )
z Residuenformel
= = =
1 2i 1 2i 1 ( 2i +
J2
f (z )dz
Abb.76
+
J1 J3
+
J2
+
J4
f (z )dz
J1
(f (z ) f (z + 21 ))dz )
(f (z ) f (z + 22 ))dz ) 0dz +
J1 J2
elliptisch
1 ( 2i 0
0dz )
J2
J3
J1
2 1
Korollar 26.6 Es gibt keine elliptische Funktion mit einer einzigen einfachen Polstelle. Beweis Die Summe der Residuen w are nicht 0, Widerspruch zum vorherigen Satz. Im Periodenparallelogramm muss mindestens ein Pol der Funktion liegen. Auf Grund der Meromorphie von f (z ) k onnen im Periodenparallelogramm nur endlich viele Pole liegen. Wir nennen die Anzahl dieser Pole (jeder Pol gem a seiner Vielfachheit gez ahlt) die Ordnung der elliptischen Funktion. Beispiel 26.2 (Einfachste M oglichkeiten f ur Polstellen elliptischer Funktionen) eine Polstelle 2. Ordnung z0 mit resz0 f = 0. zwei Polstellen 1. Ordnung in z1, z2 mit resz1 f = resz2 f .
115
Satz 26.7 Sei f const elliptisch und N die Ordnung der Funktion f . Dann ist c C die Anzahl der c-Stellen f ur von f gleich N . Beweis Sei g (z ) = f (z )c. Dann sind die Nullstellen von g gleich den c-Stellen von f , und die Polstellen von g gleich den Polstellen von f . Betrachte nun die Logarithmische Ableitung von g : h(z ) :=
f (z ) f (z )c .
g (z ) g (z )
Die Funktion h ist eine elliptische Funktion, da sie durch Multiplikation und Addition von elliptischen Funktionen gebildet wurde. Nach Satz 19.2 gilt f ur die Dierenz der Null- und Polstellen von g in 1 Residuensatz N P = h(z )dz = res h(z ) = 0, 2i
Polstellen von h
wobei wir o.B.d.A. wieder annehmen, dass keine Pol oder c-Stelle auf dem Rand von liegt. Behauptung
Korollar 26.8 Bei elliptischen nicht konstanten Funktionen ist insbesondere die Anzahl der Nullstellen gleich der Anzahl der Polstellen (alle mit Vielfachheiten gez ahlt). Satz 26.9 Sei f elliptisch mit Nullstellen a1 , ..., aN und Polstellen b1 , ..., bN (mit Vielfachheiten aufgeschrieben). Dann gilt: a1 + ... + aN = b1 + ... + bN (mod)
Beweis Seien o.B.d.A. die Nullstellen und Polstellen / , also auch f (0) = 0.
f (z ) dz f (z )
Abb.76
J1
f dz + f
J2
f dz + f
J3 21 +22
J3
f dz + f
J4
f f
= =
0
J1 21
f (z z 22 )dz + f f 22 dz + f
21
f (z (z 21 )dz f
21 22 0
f (z ) 2 1 dz f (z ) f (z + 21 ) dz f (z + 21 )
= = = =
2 2
f dz + 21 f
2i
22 (log f (21 ) log f (0)) + 21 (log f (22 ) log f (0)) 22 2in2 + 21 2in1 , n1 , n2 Z
1 22 log f (z )|2 0
2 + 21 log f (z )|2 0
dz =
f (z ) f (z )
2i(
ai
resai z
f + f
bi
resbi z
f ) f
k z z 0
Aus der allgemeinen Formel folgt: Sei f eine meromorphe Funktion mit einem einfachen Pol in z0 und g sei holomorph in z0 . resz0 g (z )f (z ) = g (z0 )resz0 f (z ). (resz0 g (z )f (z ) = limzz0 (z z0 )g (z )f (z ) = g (z0 ) resz0 f (z )) Also: 2i(2n1 1 + 2n2 2 ) = 2i(k1a a1 + ... + kN a aN (|k1b |b1 + ... + |kN b |bN ))
116
Daraus folgt die Behauptung, weil in der Folge (ai ) und (bi ) die Werte jedes Folgengliedes mit ihrer Vielfachheit vorkommen.
Korollar 26.10 Sei f eine elliptische Funktion. c1 , ..., cn seien die c-Stellen der Funktion f (d.h.: f (ci ) = c) mit Vielfachheiten. Seien auerdem b1 , ..., bn die Polstellen von f auf . Dann gilt: b1 + ... + bN = c1 + ... + cN = f c den vorherigen Satz benutzen. Beweis Mit f (mod)
117
27
Was wir in diesem Kapitel lernen: Die Q-Funktion Def. der Weierstraschen -Funktion Eigenschaften der -Funktion Weierstra betrachtete elliptische Funktionen zweiter Ordnung, die im Periodenparallelogramm einen zweifachen Pol bei 0 besitzen. Ihre Perioden 21 und 22 k onnen beliebig vorgegeben werden, wobei 1 und 2 nicht auf einer Geraden liegen d urfen. (z ) z12 + holo. Sie sind bis auf eine Konstante eindeutig bestimmt. Hier noch zwei Vorbemerkungen:
1 Lemma 27.1 Die Summe n1 ,n2 Z |2n1 1 +2 n2 2 |k konvergiert k > 2 . Dabei bedeutet zu (n1 , n2 ) = (0, 0) geh orige Summand ausgelassen wird.
dass der
n1 ,n2 Z
wobei
S1 =
n1 ,n2 [1,1]Z und (|n1 |=1 oder |n2 |=1)
1 |2n1 1 +2n2 2 |k
r R 0
bzw.
k Sk =
n1 ,n2 [k,k]Z und (|n1 |=k oder |n2 |=k) 1 |2n1 1 +2n2 2 |k
F ur S1 gilt: Alle Gitterpunkte mit |n1 | 1, |n2 | 1, (n1 , n2 ) = (0, 0) liegen in der Kreisscheibe KR = {z | |z | R} und auerhalb von Kr {z | |z | r} mit r min{21 , 22 } und R (21 )2 + (22 )2 . 8 Rk 8p (pR)k S1 SP 8 rk 8p (pr)k
118
1 pk1
p=1
Sp
8 rk
1 p=1 pk1 .
konvergiert f ur k > 2 .
1 1 Korollar 27.2 Die Funktion Q(z ) := (z +)3 = n1 ,n2 Z (z +2n1 1 +2n2 2 )3 ist eine ungerade elliptische Funktion, die in 0 (und dann wegen der Periodizit at auch in 21 , 22 , 2(1 + 2 )) einen Pol der Ordnung 3 besitzt.
Beweis Die Reihe konvergiert kompakt gleichm aig auf C \ . sie ist holomorph auf C \ . (Absch atzen von z+2n1 1 durch n a chsten Gitterpunkt). 1 +2n2 2 Sie ist ungerade, denn ( (z+2n1 11+2n2 2 )3 + (z2n1 112n2 2 )3 ) ist eine ungerade Funktion und Q(z ) setzt sich aus diesen Summanden zusammen. Auerdem ist sie elliptisch mit den Perioden 21 , 22 . An der Stelle z gilt: Q(z ) = z13 + n1 ,n2 Z (z+2n1 11+2n2 2 )3 . Die Summe konvergiert z und limz0 z13 = . Aus Q(z ) l at sich durch Integration eine gerade elliptische Funktion zweiter Ordnung erhalten: die Weierstrasche -Funktion. Denition 27.1 (Weierstrasche -Funktion) Die Funktion 1 (z ) := 2 + z
2Q( ) +
2 d 3
Satz 27.3 Die -Funktion ist eine gerade, elliptische Funktion mit der einzigen Singularit at in z = 0: (z ) =z0 z12 + holo. Beweis 1. z.z. ist gerade. Da die Summe aus einem Integral einer ungeraden Funktion, n amlich Q(z ) ist, und einer geraden Funktion z12 ist, ist gerade. 2. z.z. ist elliptisch. Gleichm aig konvergente Reihen kann man gliedweise integrieren: (z ) := auf C \ . Dann gilt: (z ) = 1 + z2 1 + z2
z 0
1 + z2
z 0
(2Q( ) +
2 )d 3
(2
n1 ,n2 Z
1 d ( 2n1 1 2n2 2 )3
n1 ,n2
1 1 2 ( z 2 n + 2 n ) (2 n + 2n2 2 )2 1 1 2 2 1 1 Z
R ausgewertet an z
ausgewertet an 0
Daraus folgt: (z ) = z23 2Q(z ) + z23 = 2Q(z ) bzw. (z + ) = 2(Q(z + ) = 2Q(z )), da Q eine elliptische Funktion ist. (z ) ist elliptisch. Da (z ) = (z + 21 ) (z + 21 ) (z ) = C. Setze z = 1 ein: (1 ) (1 ) = . = 0 da gerade. Genauso: (z + 22 ) = (z ) (z ) ist doppelperiodisch.
119
Proposition 27.4 Die Weierstrasche -Funktion nimmt jeden Wert c aus C genau zwei mal an und es gilt: (z ) = (w) z w. Beweis hat die Ordnung 2 hat zwei c-Stellen in . Sei also w mit (w) = c. Da gerade ist, folgt (w) = c. Korollar 27.5 Die doppelten c-Stellen der Weierstraschen -Funktion liegen genau bei den ganzzahligen Linearkombinationen der Halbperioden 1 und 2 . Beweis z ist doppelte c-Stelle z z z = n1 1 + n2 2 , n1 , n2 Z. Korollar 27.6 Folgendes gilt f ur die Weierstrasche -Funktion: 1. (z ) = 0 z = 1 , 2 , 1 + 2 2. Die Konstanten e1 := (1 ), e2 := (2 ), e3 := (1 + 2 ) sind paarweise verschieden Beweis 1. : Da z doppelte c-Stelle ist verschwindet die Ableitung. : Alle von 1 , 2 und 1 + 2 verschiedenen Stellen sind einfach, und somit (z ) = 0. 2. 1 ,2 und 1 + 2 sind doppelte c- Stellen. Da jeder Wert aber nur zwei mal angenommen wird, m ussen e1 , e2 und e3 paarweise verschieden sein.
mod
mod
= =
1 1 mit g2 = 60 (2n1 1 +2n2 2 )4 und g3 = 140 (2n1 1 +2n2 2 )6 . Die Konstanten g2 , g3 sind allgemeine Standardkonstanten in der Theorie der elliptischen Funktionen.
1 g2 g3 + z 2 + z 4 + O(z 6 ) 2 z 20 28
g2 g3 3 2 5 2 (folgt aus Nachrechnen). Also gilt (z ) = z 3 + 10 z + 7 z + O (z ) . Betrachte (z ) := ( (z )) 3 4 (z ) + g2 (z ) + g3 . Dann ist (z ) elliptisch, holomorph (Laurententwicklung einsetzen und z 0 betrachten. 0 ist einzige m ogliche Singularit at), und (0) = 0. Daraus folgt: 0.
120
28
Was wir in diesem Kapitel lernen: Denition und Eigenschaften der Funktion Denition und Eigenschaften der Funktion
1 Die Weierstrasche Funktion stellt das Analogon der einfach-peridodischen Funktion sin 2 z dar, die in 1 ihren Periodenpunkten n ebefalls zweifache Pole mit den Hauptteilen (zn)2 besitzt. Weiter f uhrte Weierstra analog zur Funktion
cot z =
1 z
(
0
((u)
1 )du mit (z ) = (z ) 2 u
1 z
+ O(1), z 0.
Denition 28.1 (Weierstrasche -Funktion) Die Weierstrasche Zetafunktion wird deniert als: (z ) := = 1 z 1 + z
z 0
((u) (
1 )du u2
1 1 z + + ) z 2 n1 1 2 n2 2 2 n1 1 + 2 n2 2 (2n1 1 + 2n2 2 )2
Satz 28.1 (Eigenschaften der -Funktion) 1. (z ) = (z ) 2. Die -Funktion ist ungerade: (z ) = (z ). 3. (z + 21 ) = (z ) + 21 und (z + 22 ) = (z ) + 22 . Dabei ist 1 = (1 ) und 2 = (2 ), ist also nicht elliptisch. Man nennt solche Funktionen elliptische Integrale.
61 41 21
2 1
4 1
6 1
Abbildung 77: Beispiel einer Funktion, f ur die gilt: f (z + 21 ) = f (z ) + 21 4. Die einzige Singularit at von (z ) in liegt bei z = 0 (auf ganz C also in den Gitterpunkten ) 3 und ist von der Form (z ) = 1 z O (z ).
28 DIE WEIERSTRASSSCHEN FUNKTIONEN UND Beweis zu 1. Nach Denition. zu 2. (z ) ist das Integral einer geraden Funktion (von 0 ausgehend).
121
g2 3 60 z
g3 5 140 z
+ ...
Korollar 28.2 (Additionstheorem der -Funktion) (z + 2n1 1 + 2n2 2 ) = (z ) + 2n1 1 + 2n2 2 . Proposition 28.3 (Legendre Identit at) Zwischen 1 , 1 , 2 , 2 gilt folgende Beziehung: 1 2 2 1 = (die Perioden lassen sich immer so w ahlen). Beweis Nachrechnen mit Hilfe des Residuensatzes: Sei C die Randkurve des Parallelogramms 1 2 , 1 2 , 1 + 2 , 1 + 2 , die ein Periodenparallelgoramm umrandet (siehe Abb. 78). 0 liegt nicht auf der Kurve C , also liegt keine Polstelle auf C . Deswegen kann der Residuensatz angewendet werden: 2i = 2iresz=0 (z ) = = (z )dz
C 1 2 1 2
i 2
( (z ) (z + 22 ))dz +
1 + 2 1 2
( (z ) + (z + 21 )dz
= 22 21 + 21 22 1 2 2 1 =
i 2 .
2 1 C 2 1
Abbildung 78: Die Randkurve C umschliet ein Periodenparallelogramm und die Polstelle 0 liegt nicht auf ihr.
122
Rz
0
1 (cot z z )dz
wird die Sigmafunktion (z ) nach Weierstrass deniert, welche folgende Eigenschaften besitzt: = (log (z )) = (z ).
1 z
(z )
z ( (u) 0
1 u )du
1 ( z
z 2 ),
:= 2n1 1 + 2n2 2 .
z
(log(z
) log +
z2 22
(log(1
z )
z2 22 )
z) =: log ( z
Denition 28.2 (Weierstrasche -Funktion) Die Weierstrasche Sigmafunktion ist deniert als
(1
z z2 z )e + 22 .
konvergiert.
Satz 28.4 (Eigenschaften der -Funktion) 1. (z ) ist eine ganze Funktion. Die Nullstellen sind einfach und liegen in den Gitterpunkten 2n1 1 + 2 n2 2 . 2. (z + 21 ) = e21 (z+1 ) (z ) (z + 22 ) = e22 (z+2 ) (z ) 3. (z ) = (z ) , die - Funktion ist also ungerade. 4.
(z ) (z )
= (z )
Beweis (1) und (4) folgen direkt aus der Denition. (3) ist ungerade: (z ) = z (2)
(z +21 ) (z +21 )
(1
z z + z 2 )e
(z ) (z )
= z
(1
z z z + 2 )e
= (z )
= (z + 21 ) (z ) = 21 (log (z + 21 )) (log (z )) = 21
(z + 21 ) = e21 (z+1 ) (z )
123
(z b) Beispiel 28.1 (Quotient aus -Funktionen) Betrachte die Funktion: := (z a) ; a, b C. Dann gilt: (z b + 2i ) (z b) (z + 2i ) = = e2i (zb+i z+ai ) = e2i (ab) (z ), (z a + 2i ) (z a)
der multiplikative Faktor ist also von z unabh angig. Die Polstellen von ab liegen bei a+2n1 1 +2n2 2 und die Nullstellen bei b+2n1 1 +2n2 2 , (n1 , n2 ) Z.
b 0
29
Ubersicht u ber die Weierstraschen Funktionen: Funktion -Funktion: (z ) z12 + holo. -Funktion: (z ) 1 z + holo. -Funktion: (z ) z + holo. Verhalten bei 0 Doppelte Polstelle Einfache Polstelle Einfache Nullstelle f (z + 2i ) (z + 2i ) = (z ) (z + 2i ) = (z ) + 2i (z + 2i ) = e2i (z+i ) (z )
Satz 29.1 (Eindeutige Darstellung elliptischer Funktionen) Sei f eine elliptische Funktion mit den Nullstellen b1 , ..., bn und Polstellen a1 , ..., an (mit Vielfachheit gez ahlt). Dann gilt: f (z ) = C (z b1 ) ... (z bn1 ) (z bn ) ,C C (z a1 ) ... (z an )
Beweis Wir zeigen zun achst, dass die Formel eine elliptische Funktion angibt: ab (z ) = Wir wissen: (z b) , (z a) ab (z + 2i ) = e2i (ab) ab (z )
a1 + a2 + ... + an (b1 + ... + bn ) also gibt es bn bn so dass a1 + ... + an = b1 + ... + bn . Daraus folgt: f (z + 2i ) = e2i (a1 +...+an b1 ...bn ) f (z ) = f (z ) Also gibt uns die Formel eine elliptische Funktion mit den gew unschten Null- und Polstellen an. Die Eindeutigkeit dieser Darstellung bis auf eine multiplikative Konstante bleibt zu zeigen: Seien f und g zwei elliptische Funktionen mit denselben Null- und Polstellen (mit Vielfachheit gez ahlt). f (z ) Dann ist h(z ) := g(z) elliptisch und holomorph (Pol- und Nullstellen k urzen sich) h(z ) const . Also gilt die Behauptung. Beispiel 29.1 Betrachte f (z ) := (z ) (w), wobei 0 = w / keine Periode ist. Die Polstellen von f sind a1 = a2 = 0, die Nullstellen von f sind b1 = b2 = w. w ) ( z +w ) (z ) (w) = C (z . Wir wollen nun die Konstante C bestimmen: 2 (z ) z 0,
1 z2 ) (w ) w) (w) = C (w = C z(2 C = 2 1 z2 (w )
2
mod
(z ) (w) =
(z w) (z + w) . 2 (z ) 2 (w)
Korollar 29.2 F ur die logarithmische Ableitung der Funktion (z ) c mit c = (w) gilt: (z ) = 2 (z ) + (z w) + (z + w). (z ) (w)
f f
= (log f )
= (log f1 f2 ) f1 f + 2. f1 f2
= (log f1 + log f2 ) =
1 g2 :
= =
g 2 g 3 1 g2
g . g
w ) ( z +w ) 1 f2 = fg mit f1 = (z w), f2 = (z + w) und F ur unsere Funktion ((z ) (w)) = ((z 2 (z )(w ))2 g = (z ) (w) folgt somit f ur die logarithmische Ableitung:
(z ) (w)
( fg1 )
f1 g
2 (f g )
f2 g
f1 f g + 2 2 f1 f2 g
Es ist
g g
(z ) (z )
((z )(w )) (z ) (w )
= (z )
f1 f1
: =
((z w )) (z w )
i (f g )
fi g
gfi g fi g2 fi g
fi g . fi g
f2 f2
= (z w) und
((z +w )) ( z +w )
(z w) + (z + w) 2 (z ).
Satz 29.3 Eine elliptische Funktion f (z ) habe nur einfache Polstellen a1 , ..., an mit Residuen A1 , ..., An . Dann ist: n f (z ) = A +
j =1
Aj (z aj ),
A C.
29 DARSTELLUNG ELLIPTISCHER FUNKTIONEN DURCH WEIERSTRASSSCHE FUNKTIONEN126 Beweis Die Funktion f in der angegebenen Darstellung hat die gew unschten Polstellen aj und Residuen Aj , denn es ist resz=0 (z ) = 1. Die Formel liefert eine elliptische Funktion:
n
f (z + 2i ) = f (z ) +
j =1
Aj 2i = f (z )
*: (z + 2i ) = (z ) + 2i **: Es gilt A1 + ... + An = 0 folgt aus 27.10, da f elliptisch. Zur Eindeutigkeit: Seien f1 , f2 elliptische Funktionen mit den Eigenschaften wie im Satz. Beide Funktionen haben die gleichen Residuen und nur einfache Polstellen bei ai , also k onnen sie in einer Umgebung Ai Ai von ai als f1 (z ) = (z + holo. und f ( z ) = + holo. dargestellt werden. Dadurch heben sich bei 2 ai ) (z ai ) einer Subtraktion die Hauptteile der beiden Funktionen weg. Die Dierenz f1 f2 ist also holomorph und sowieso elliptisch Behauptung. Beispiel 29.2 Betrachte f (z ) =
(z ) (z )(w ) .
1. a1 = w mit resw f (z ) =
(w ) (z )| z = w
(w ) (w )|w
2 z3 1 z2
= 2
= 2 (z ) + (z w) + (z + w) + A. (z ) ist ungerade, (z ) (w) ist gerade, also ist der Quotient wieder ungerade. ist eine ungerade Funktion A ist ungerade A 0. Korollar 29.4 (Additionstheorem f ur die -Funktion) F ur die -Funktion gilt folgende Additionsregel: 1 (z ) (w) (z + w) (z ) (w) = . 2 (z ) (w) Beweis Mit Hilfe des Beispiels:
(w ) + (w )(z ) = (2 (z ) + (z w) + (z + w)) + (2 (w) + (w z ) + (z + w)) = 2 (z ) 2 (w) + 2 (z + w). (z ) (z )(w )
Korollar 29.5 (Additionstheorem f ur die -Funktion) F ur die -Funktion gilt die Additionsregel: 1 (z ) (w) 2 (z + w) + (z ) + (w) = ( ) . 4 (z ) (w) Beweis ( (z )) = (z ). Dierenziere die Additionsformel f ur nach z und w. (z + w) (z + w) 2(z + w) = = = (z ) (w) 1 ((z ) (w)) (z ) ( (z ) (w)) (z ) (Ableitung nach z) 2 ((z ) (w))2
29 DARSTELLUNG ELLIPTISCHER FUNKTIONEN DURCH WEIERSTRASSSCHE FUNKTIONEN127 Mit Hilfe der Dierentialgleichung f ur (Satz 27.7) erh alt man: ( (z ))2
ableiten
= = = = =
2 (z ) (w)
43 (z ) g2 (z ) g3 122 g2
Beispiel 29.3 Abschlieend betrachten wir nicht einfache Polstellen: Sei f (z ) eine elliptische Funktion mit f (z ) =
z ak
f besitzt eine Polstelle der Ordnung lk in ak . Die Ak,j sind frei w ahlbar, solange gilt:
n
Ak,1 = 0. Dann
f (z ) = A + (z ) =
1 z2
k=1
LITERATUR
128
Literatur
[1] K. J ahnich, Einf uhrung in die Funktionentheorie, Springer. [2] W. Fischer & I. Lieb, Funktionentheorie, Vieweg. [3] J. Elstrodt, Ma- und Integrationstheorie, Springer.