Sie sind auf Seite 1von 129

Komplexe Analysis

Prof. Dr. A. Bobenko Stand: 21. November 2006

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

2 107 111 117 120 124

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

hat f ur h 0 keinen eindeutigen Grenzwert

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

f (z ) f (z0 ) f (z0 + h) f (z0 ) = lim h0 z z0 h

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

Dabei wird die Winkeldarstellung z = |z |eiargz f ur komplexe Zahlen benutzt: Im y |z | = arg(z ) x Re z

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 )

3. H(U ) ist abgeschlossen gegen uber Produktbildung, d.h. f1 f2 H(U ), f1 , f2 H(U )

F ur die Ableitung eines Produktes gilt die Produktregel:


f2 + f1 f2 , (f1 f2 ) = f1

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

f H(U ), g H(V ) mit f (U ) V

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

ak z k , ak , z C sind holomorph mit P (z ) = R(z ) = P (z ) , Q(z ) P, Q Polynome

N k=1

ak kz k1 .

Rationale Funktionen

sind dort holomorph, wo Q(z ) = 0. R ist ebenfalls rational.

ZUSAMMENHANG REELLER UND KOMPLEXER DIFFERENZIERBARKEIT

Zusammenhang reeller und komplexer Dierenzierbarkeit

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 )

ZUSAMMENHANG REELLER UND KOMPLEXER DIFFERENZIERBARKEIT

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)

(ux p + uy q ) + i(vx p + vy q ) p + iq ux p + ivx p lim p0 p ux + ivx


(p+iq)0

lim

W ahlt man dagegen h = 0 + iq (Realteil p = 0), so erh alt man


h0

lim

f (z + h) f (z ) h

(2)

= =

(p=0)

(ux p + uy q ) + i(vx p + vy q ) p + iq uy q + ivy q lim q0 iq vy iuy


(p+iq)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

l asst sich dies auch kurz als g = 0 schreiben.

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.

ZUSAMMENHANG REELLER UND KOMPLEXER DIFFERENZIERBARKEIT

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

ZUSAMMENHANG REELLER UND KOMPLEXER DIFFERENZIERBARKEIT

= 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

= Wie verh alt sich


h h?

Da f ur h R : lim h = 1, h0 h aber f ur ih R : lim h = 1 h0 h


f z

existiert der Grenzwert limh0

h h

nicht. Deshalb ist f genau dann holomorph, wenn

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

ak (z z0 )k , wobei (ak ) C eine Folge

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

Potenzreihe um z0 konvergiert absolut und gleichm aig auf Kr0

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

haben den gleichen Konvergenzradius.


n n Beweis Sei R der Konvergenzradius von n=0 an z und R der Konvergenzradius von n=0 n an z , n n o.B.d.A. sei 0 , sonst ersetze an n an . F ur n 1 ist |an z | |n an z | R R. n=0

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

nan z n1 , folgt, wenn man zeigt, dass


k=1 k=0

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

n! k !(n k )! n! (k 2)!(n k )! n(n 1)(n 2)! (k 2)!(n 2 (k 2))! n2 n(n 1) k2

(3)

POTENZREIHEN

11

Damit erh alt man


n

k=2

n |z |nk |h|k2 k

(3 )

k=2

n(n 1)

= Letzte Ungleichung mit Binomischer Formel: Auerdem ist (z + h)n z n nz n1 h = =

n n k=0 k

n(n 1)(|z | + |h|)n2

n2 |z |nk |h|k2 k2 (4)

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

W ahle jetzt ein > 0 so, dass |z | + =: < r:

F ur alle h C mit |h| < gilt |R(z, h)| = =


(5)

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

|an |n(n 1)(|z | + |h|)n2


<

|an |n(n 1)n2


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

|an |n(n 1)n2

|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

z n1 z n1 zn = = = exp(z ) n! (n 1)! n=0 n! n=1

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

= =

cos z + i sin z cos z i sin z

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.

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

15

Lineare Transformationen und die Riemannsche Zahlensph are

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

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

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 : C S 2 \ {(0, 0, 1)}, Erg anzt man zu : S 2 C,

1 (x + iy ) =

1 (2x, 2y, x2 + y 2 1) x2 + y 2 + 1 , = (0, 0, 1) , = (0, 0, 1)

( ) =

( )

. 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

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

17

Denition 5.2 (Lineare Transformationen) Funktionen der Form C , f :C f (z ) = az + b , cz + d a, b, c, d C, ad bc = 0

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

z (cw a) = w(cz + d) = f (z ) = w und liegt somit in der selben Klasse wie f . =

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.

mit = 0 die Lineare Transformation nicht. d.h. mit =

1 adbc

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

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)

S ist invertierbar, da lin. Transformation. Es ist S 1 (z ) = dz b cz + a AS1 = d b c a SL(2, C)


1 adbc

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.

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

19

Beispiel 5.1 (Einfache Lineare Transformationen) Translation z+b 0z + 1 1 b 0 1

z z+b=

bC

b z

z+b

Abbildung 4: Translation des Punktes z um b C Drehstreckung z az = az + 0 0z + 1 a 0 0 1


det=1

a 0

0
1 a

a C \ {0}

az a + Abbildung 5: Drehstreckung des Punktes z mit a C Inversion z 1 0z + 1 = z 1z + 0 0 1 1 0


det=1

|a||z |

0 i i 0

z r
1 r 1 z

Abbildung 6: Inversion des Punktes z

Satz 5.2 Jede Lineare Transformation l asst sich aus Translationen, Drehstreckungen und Inversionen zusammensetzen.

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

20

Beweis Betrachte eine Lineare Transformation z Der Fall c = 0 ist klar: z a z + z


b d

az + b cz + d

ist eine Drehstreckung und Translation. Sei c = 0.

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

die obige Umformung der Linearen Transformation.

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 ) = =

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

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 ,

genau dann, wenn az + b cz 2 + dz = az + b cz 2 + (d a)z b = 0 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).

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

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

Lineare Transformationen mit Nun zur Eindeutigkeit. Seien S, S (zk ), S (zk ) = wk = S 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

(z1 z2 ) (z3 z4 ) = {z1 , z2 , z3 , z4 } (z2 z3 ) (z4 z1 )

z 2 z 1 z1 z2

ist.

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

23

3. Den Satz kann man auch direkt nachrechnen.

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:

azz + bz + bz + c = 0, a, c R, b C.() Auerdem gilt f ur die Konstanten a, b, c noch: r2 z0 z 0


b a c a

bb

b a

>0 >0 c > a > ac ()

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 )}

LINEARE TRANSFORMATIONEN UND DIE RIEMANNSCHE ZAHLENSPHARE

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

Abbildung 8: Das Einheitsquadrat Das Doppelverh altnis ist: (0 1)((1 + i) i) = 1. (1 (1 + i))(i 0

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]

(s) Abbildung 12: Verkn upfte Kurven Beweis


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

d (t) dt dt (s) (s) d (t) dt dt

f ( (t))
a b

=
a

f ( (t)) (t)dt

f (z )dz
d (s) ds

(*): Eigentlich Substitution mit ds =

dtds d (s)

und

= (s) konkret berechenbar.

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

Man setzt f (z )dz :=

ni
i=1 i

f (z )dz

Insbesondere ist dann anders herum orientiert als , d.h. hat die entgegengesetzte Durchlaufrichtung.

RECHTECKE DER CAUCHYSCHE INTEGRALSATZ FUR

28

Der Cauchysche Integralsatz fu r Rechtecke

Was wir in diesem Kapitel lernen: f holo hat Stammfunkt


b a

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

f (z )dz = F (z2 ) F (z1 )

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

f ( (t)) (t)dt F ( (t)) (t)dt


a

=
b

= =

d F ( (t))dt a dt F ( (b)) F ( (a))

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

RECHTECKE DER CAUCHYSCHE INTEGRALSATZ FUR

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 +

f (z0 )(z 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 =

f (z0 )(z z0 )dz = 0 (z )dz

Deshalb ist f (z )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

RECHTECKE DER CAUCHYSCHE INTEGRALSATZ FUR

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)

(z )dz | < 2n d2n l


0

f (z )dz | < 4n dl2n 2n = dl 0

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

RECHTECKE DER CAUCHYSCHE INTEGRALSATZ FUR

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

Abbildung 15: Skizzen zum Beispiel 7.1.

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

f ur alle homomorphen f : C U C, U oen.


U C 1 2

Abbildung 17: Dreieckskurve

RECHTECKE DER CAUCHYSCHE INTEGRALSATZ FUR

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

Beispiel 7.3 Seien , geschlossene Kurven. 1 2 = 0. Dann ist

f (z )dz

f (z )dz =
1

f (z )dz f (z )dz

f (z )dz = 0
2

und deshalb f (z )dz =

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

gegeben. Dann ist f (z )dz

U C r z0 R Kr,R

Abbildung 19: Kreisring Kr,R

Beweis Ohne Beweis.

RECHTECKE DER CAUCHYSCHE INTEGRALSATZ FUR

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

Beweis Ohne Beweis.

DIE CAUCHYFORMEL

34

Die Cauchyformel

Was wir in diesem Kapitel lernen: die Cauchyintegralformel: f (z ) = den Mittelwertsatz: f (z ) =


1 2 1 2i f ( ) | a|=R z d

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

ist, abgesehen von z0 , holomorph. W ahle ein > 0, so dass {z C |

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

=2i nach Beispiel (6.2)

= Also folgt die Behauptung aus: 2if (z0 ) = lim

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

f (z0 + Reit )dt

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

f (z0 + Reit ) 1 Rieit dt = Reit 2


=z (t)

2 0

f (z0 + Reit )dt

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!

ck (z z0 )k ck k (z z0 )k1 ck k (k 1)(z z0 )k2

. . .
k =n

f (n) (z ) =

ck k (k 1)(k 2) . . . (k n + 1)(z z0 )kn

Betrachtet man jetzt f (n) (z0 ), so erh alt man f


(n)

(z0 ) = = =

k =n

ck k (k 1)(k 2) . . . (k n + 1)(z0 z0 )kn

cn n(n 1)(n 2) . . . (n n + 1)(z0 z0 )nn cn n !

Es folgt die Behauptung.

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

und die gesuchte Reihe lautet f (z ) = 1 = z1


k=0

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.)

1 |f (z )| | dz 2i |zz0 |=r |(z z0 )k+1 | 1 1 |f (z )| dz 2 | z z 0 | =r |z z0 |k+1


M =1/r k+1

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

holomorph auf ganz C, also ganz. Da f (z ) gegen

f ur z konvergiert, existiert eine Kreisscheibe

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!

10 DER SATZ VON MORERA

41

10

Der Satz von Morera

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

Parametrisiere als Damit kann man jetzt das Kurvenintegral f ( )d


( d dt =z z0 )

[0, 1] t (t) = (1 t)z0 + tz U

f ( )d berechnen:
1

=
0

f ((1 t)z0 + tz )
1 0

d dt dt

(z z0 )

f ((1 t)z0 + tz )dt

10 DER SATZ VON MORERA

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

0 f ((1 t)z0 + tz )dt f (z0 )

z z

(f stetig)

f |dz | = f dz =

a b

f ( (t))| (t)|dt f ( (t)) (t)dt

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

denierte Funktion holomorph.

U0 U2 Abbildung 24: Spiegelsymmetrische Menge

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.

10 DER SATZ VON MORERA

43

2. F ur jedes Dreieck D U2 \ U0 gilt. (z )dz f


D

=
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

Abbildung 25: Approximation des Dreiecks durch D1 und 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

ist stetig auf U . Also ist denn f (z )dz = 0. f


D

aufgrund des Satzes von Morera holomorph, da alle Integrale u Somit ist f ber Randkurven von Dreiecken in U verschwinden.

10 DER SATZ VON MORERA

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.

11 NULLSTELLEN HOLOMORPHER FUNKTIONEN

45

11

Nullstellen holomorpher Funktionen

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

Da f holomorph ist, gelten diese und somit ist auch g holomorph.

11 NULLSTELLEN HOLOMORPHER FUNKTIONEN

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

Beweis O.B.d.A. sei z0 = 0. Betrachte die Potenzreihenentwicklung von f : f (z ) =


n=0

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)

11 NULLSTELLEN HOLOMORPHER FUNKTIONEN

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

11 NULLSTELLEN HOLOMORPHER FUNKTIONEN

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 .

12 IDENTITATSSATZ UND MAXIMUMSPRINZIP

49

12

Identit atssatz und Maximumsprinzip

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 .

12 IDENTITATSSATZ UND MAXIMUMSPRINZIP

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.

12 IDENTITATSSATZ UND MAXIMUMSPRINZIP

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

12 IDENTITATSSATZ UND MAXIMUMSPRINZIP

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

Isolierte Singularit aten

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

Abbildung 32: Veranschaulichung isolierter Singularit aten: a) hebbar, b) Pol, c) wesentlich.

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

sin z z1 einen Pol der Ordnung 1 in z0 = 1 und ist meromorph.

Hauptbeispiele f ur meromorphe Funktionen sind Funktionen der Form f (z ) = h(z ) g (z )

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

der Konvergenzradius der Potenzreihe


n=1

cn (z z0 )n

Hauptteil)

14 LAURENTREIHEN

57

und R der Konvergenzradius der Potenzreihe


n=0

cn (z z0 )n
n=

Nebenteil)

Dann konvergiert die Laurentreihe

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

= in+1 = Also ist

e(n+1)it dt , n = 1 , n = 1

in+1 ei(n+1) |2 0 = 0 i0 t|2 0 = 2i

(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

Beispiel 14.1 Betrachte die Funktion f : C \ {0, 1} C f (z ) = 1 = z (z 1) 1 z +

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

als Potenzreihe um z 1 entwickeln und f um z = 1 darstellen.

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

f ur | | = R bzw. | | = r + gilt, erhalten wir als Nebenteil 1 2i und f ur den Hauptteil 1 2i


k=0 k=0

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.

15 ANALYTISCHE FORTSETZUNG UND DER KOMPLEXE LOGARITHMUS

62

15

Analytische Fortsetzung und der komplexe Logarithmus

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

15 ANALYTISCHE FORTSETZUNG UND DER KOMPLEXE LOGARITHMUS

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

Der Komplexe Logarithmus


Als erstes stellen wir einige Betrachtungen u ber die Stammfunktion von z 1 z an. 1 Sei g (z ) := z , g : C \ {0} C. g ist holomorph, allerdings gibt es keine globale (d.h. auf ganz C \ {0}) denierte Stammfunktion von g (z ). Zur Erinnerung: Eine meromorphe Funktion besitzt genau dann eine Stammfunktion, wenn der Koezient c1 der Laurentreihe verschwindet, c1 = 0. Betrachten wir noch mal genauer, was das bedeutet: 1 1 g (z ) = z = k= ck (z z0 )k . Nach Lemma (14.3) gilt 2i c1 = 2i = |z|=r z dz . Anngenommen g 1 h atte eine Stammfunktion F , dann w urde gelten: |z|=r z dz = F (2 ) F (0) = 0 = 2i. Widerspruch. Wir k onnen aber lokale Stammfunktionen um jedes z0 = 0 bekommen, weil g in einer Umgebung von z0 holomorph ist.

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

15 ANALYTISCHE FORTSETZUNG UND DER KOMPLEXE LOGARITHMUS

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 )

Abbildung 38: Die unterschiedlichen Logarithmusebenen

15 ANALYTISCHE FORTSETZUNG UND DER KOMPLEXE LOGARITHMUS

65

Analytische Fortsetzung l angs Wegen


Sei : [t0 , t1 ] C ein stetiger Weg. Wir sagen, eine Kreiskette (K0 , K1 , ..., Kn ) verlaufe l angs , wenn es eine Unterteilung t0 = 0 ... n = t1 des Parameterintervalls gibt, so dass jeweils (i ) der Mittelpunkt von Ki ist und der Wegabschnitt |[i1 ,i ] ganz in Ki1 verl auft. Die analytische Fortsetzung l angs Kreisketten l angs Wegen h angt dann nur vom Weg und nicht von der Kreiskette ab. Dies berechtigt uns dann von analytischer Fortsetzung l angs des Weges zu sprechen, n amlich zu sagen, die holomorphe Funktion g bzw. deren Potenzreihe um (t1 ) entstehe aus f durch analytische Fortsetzung l angs . Betrachten wir nun eine holomorphe Funktion f , die eine Stammfunktion F : G C hat und ist : [t0 , t1 ] st uckweise C 1 , so ist das Kurvenintegral durch f (z )dz = F ( (t1 )) F ( (t0 )) gegeben. Zwar hat nicht jede holomorphe Funktion f auf G eine Stammfunktion, aber wir k onnen stets eine Stammfunktion von f |K0 w ahlen und l angs analytisch fortsetzen und so das Integral bestimmen. Bemerkung Die analytische Fortsetzung macht keinen Gebrauch von der st uckweisen Dierenzierbarkeit von und bietet uns daher eine M oglichkeit, das Kurvenintegral holomorpher Integranden auf den Fall stetiger Kurven auszuweiten. Denition 15.2 (Wegintegral f ur analytische Fortsetzungen) Sei f holomorph. f : G C. Sei : [t0 , t1 ] G C ein Weg, also stetig. Dann setzt man

f (z )dz := Fn ( (t1 )) F0 ( (t0 ))

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

G Abbildung 41: Zwei homotope Wege und .

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

Abbildung 43: h ist Homotopie zwischen und , k zwischen und .

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

cher Abbildung 47: G nicht einfach zusammenh angend 1 (G) Z#Lo .

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 ( + )

Abbildung 50: Zum Beweis des Monodromiesates

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

dk und ist unabh angig von der Unterteilung

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
( )

Beispiel 17.1 (Umlaufzahl eines Kreises) (t) = a + reimt , 1 2i dz za

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

entlang . Dann gilt

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.

18 CAUCHY AUF ZYKELN

75

18

Cauchy auf Zykeln

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.

= 1 2 ist ebenfalls nicht nullhomolog, also sind 1 und 2 nicht homolog. G 1 2

Abbildung 56: 1 ist nullhomolog, 2 ist es nicht. Insbesondere sind dann 1 und 2 nicht homolog.

18 CAUCHY AUF ZYKELN 2. Betrachte Zykel in G = C \ {0}:

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!

(t) = r eit , t [0, 2 ] ist nicht nullhomolog.

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

Beweis zu 1. Die Behauptung ist aquivalent zu f ( ) f (z ) d = 0, z G \ Sp( ) z

weil n (z ) =

1 2i

1. Schritt: Wir betrachten die Funktion g : G G C, g (, z ) = f (z )


f ( )f (z ) z

d . z

Wir werden diese Aussage beweisen.

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 )

Die letzte Formel gilt auch f ur = z . Daraus folgt: g (, z ) g (0 , z0 ) = 1 2i (


KR (z0 )

f () d. ( )( z )

f () f () )d ( )( z ) ( z0 )2

18 CAUCHY AUF ZYKELN

77

2. Schritt: Betrachte die Funktion

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 ).

18 CAUCHY AUF ZYKELN

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

Beweis = ist nullhomolog.

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( )

18 CAUCHY AUF ZYKELN 3. f : G C holomorph gilt:

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

holomorph. Also gilt nach Voraussetzung 1 dz = 2i n (z0 ). z z0

f (z )dz =

Demnach ist n (z0 ) = 0 z0 C \ G ist nullhomolog bezgl. G.

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

Daraus folgt die Behauptung. Bemerkung Aus S = folgt

f (z )dz = 0. Der Residuensatz enth alt also den Cauchyschen Integralf ( ) z

satz als Spezialfall. Ersetzt man dann noch f durch

( ) 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

(f holomorph auf G \ Sp( ), S = ), so liegt

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 )

heit logarithmische Ableitung von f .

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

le/Polstelle von f die logarithmische Ableitung


f f

f f

ist holomorph in z . Die Pol- und Nullstellen von f

f (z ) f (z )

k z z 0

g (z ) g (z ) ,

wobei der Teil

g (z ) g (z )

in jedem Fall eine meromorphe Funktion mit einer einfachen Polstelle

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

Abbildung 60: = 1 + 2 + 3 berandet das Gebiet A.

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 (z a1 )k1 1 ... (z ar )kr g (z ) ... (z a1 )k1 ... (z ar )kr g (z )

(z a1 )k1 k2 (z a2 )k2 1 ... (z ar )kr g (z )

Die logarithmische Ableitung sieht dann folgendermaen aus: f (z ) f (z )


g (z ) g (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

an der Stelle ai gilt nun: resai f = ki f


Mit der Residuenformel folgt: 1 2i f dz = f

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)

(Es gilt: (f ) (t) = f ( (t)) (t)) F ur geschlossene Wege ist aber 21 i

dz f z

die Umlaufzahl von f um 0. Daraus folgt dann sofort:

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 )

Daraus folgt die Behauptung.

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

Abbildung 63: Integrationsweg aus Lemma 20.3. Anwendung des Residuensatzes:


r

2i
Im a>0

resa R(z ) =
r

R(x)dx +
r I

R(z )dz
II

wobei r = r eit , t [0, ]. Betrachtung von I: F ur r gilt:


r r

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

R(x)dx, also das gesuchte Integral.

(1 + x4 ) = 0 x = in ei 4 , n = 0, 1, 2, 3. Wir betrachten nun den Quotienten aus g (z ) = z 2 und h(z ) = 1 + z 4 mit h (z ) = 4z 3 :


g (z ) h (z )

x2 1+x4 dx)

ist rational und hat eine dopelte Nullstelle in . Also


x2 g g dx = 2i(resei + resiei ). 4 4 1 + x4 h h
g h

Da in ei 4 eine einfach Nullstelle von h(z ) ist, gilt resin ei 4

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

g (ei 4 ) g (iei 4 ) + h (ei 4 ) h (iei 4 ) i i + i 4ie 4 4(i)iei 4

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

resa R(z )eiz .


Bemerkung Das Integral

R(x)eix dx kann man darstellen als

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

resa R(z )eiz =


r +ir r

r r

R(x)eix dx +
r

r +ir

R(z )eiz dz +

r r +ir

R(z )eiz dz +

r +ir r +ir

R(z )diz dz.

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 | (1 er ) < , und somit


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(z )eiz dz gilt:


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)

Im Prinzip l ost man dieses Integral wie


sin x x

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

Abbildung 65: Integrationsweg aus Beispiel 20.3


Residuensatz

0=

1 r r

r +ir

+
1 r

+
r 0

r +ir r +ir 0

r r +ir 0

eiz dz . z

Somit gilt (im Grenzfall)


r
1 r iz 1 w = z r e = z dz r 1 r

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

eiz eiz dz = z eiz dz z

r
1 r

2i sin z dz. z

Wir haben also 2i

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

eie ieit dt = lim i 0 eit sin x dx = . x

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

3 it it wobei r (t) = 1 , t ( re 2 , 2 ) und r (t) = re , t (0, 2 ).

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.

0, denn x R(z )dz =


r
2 3 2

1 1 1 ( eit ) R( eit ) ieit dt = r r r

3 2 2

1 1 ( )1+ R( eit )ieit(1+) dt r r

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.

Insgesamt folgt also: 2i


a=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

Im log z =2, z =|z | e2i

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

Bemerkung kompakt konvergent lokal gleichm aig konvergent

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 )|

maxD2r (z0 ) |fn ( ) f ( )| 1 2 2r 2 minD2r (z0 ) ( z )2 2r max |fn ( ) f ( )| r2 D2r (z0 )

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

3. fn f (k) folgt direkt durch Induktion.

(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

da die Nullstellen alle im Innerern der Scheiben liegen.

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

Angenommen a G, so dass (fn (a))nN nicht gegen f (a) konvergiert:

lim fni (zk ) = f (zk ) = lim fnlm (zk ) = g (zk ) k N.


m

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

23 DER RIEMANNSCHE ABBILDUNGSSATZ

97

23

Der Riemannsche Abbildungssatz

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

Abbildung 71: F ur jede Kreisscheibe K G gilt K C \ G .

23 DER RIEMANNSCHE ABBILDUNGSSATZ (b) Spiegele G in die Kreisscheibe D, so dass z0 0.

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 )

z0 , und wie in (a). h1 (z ) ist injektiv und holomorph.

Zwischenbemerkung : Eine lineare Transformation der Gestalt w(z ) = z z0 , 1 z0 z

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 ist holomorph und injektiv und es gilt h2 (z0 ) = 0 h2 B = . D G z0 h1 h1 (z0 ) 0 D T 0 = h2 (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

Ebenfalls gilt nach Weierstra: gnk


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

: G D holomorph und injektiv. f1 gilt: f (z0 ) = 0 f B. Ausserdem ist f

1f2 (z0 )f2 (z )

23 DER RIEMANNSCHE ABBILDUNGSSATZ (z0 )| > M Behauptung: |f


100

Berechnung von |f1 (z0 )|: |f1 (z0 )|

1 |b|2 |f (z0 )| 2 (1 b f (z0 ))

=M

= (1 |b| )M Berechnung von |f2 (z0 )|: |f2 (z0 )| =


=0 2

1 2 |f1 (z0 )|
|b|

|f1 (z0 )| =

1 2 |b|

(1 |b|2 )M

(z0 )|: Absch atzung von |f (z0 )| = |f

(1 f2 (z0 )f2 (z0


|f2 (z0 )|2

1 |f2 (z0 )|2

))2

|f2 (z0 )|

= =

(1 |b|) 1 |b|2 M (1 |b|)2 2 |b| 1 + |b| M 2 |b|


>1

>

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|

()

()

() |f (g 1 (w))| | w | |f (z )| |g (z )| () |g (z )| |f (z )| f (z ) = cg (z ) mit |c| = 1. arg(f ) (z0 ) = arg g (z0 ) f (z ) = g (z ).

23 DER RIEMANNSCHE ABBILDUNGSSATZ

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

()

. Dann ist n Kn = C, da limn |an | = .

an
|an | 2

Kn 0

Wir betrachten nun

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 ( )

hn (z ) Tn (z ) und zeigen dass die Summe gleichm aig konvergiert:

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

hn Tn meromorph auf C und besitzt die Hauptverteilung H = {ha | a A}.

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-

1 1 = z an an W ahle kn N so, dass 1 1 + z an an Dann ist f (z ) :=


kn k=0

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

eine meromorphe Funktion mit der Hauptteilverteilung

cn { cz0 , ..., z an }nN .

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

konvegiert, erf ullt f (z ) := 1 + z


n=,n=0

1 1 + zn n

das Gew unschte.


z ) 3. Betrachte die Funktion f (z ) = cot(z ) = cos( sin(z ) . Oensichtlich ist die Menge der Pole von f gerade die Menge Z der ganzen Zahlen und f ur die cos(n) Residuen gilt resn f (z ) = cos(n) = 1. Die Aussage u alt man, da die Nullstellen von Kosinus und Sinus einfach sind, ber die Residuen erh aus folgender Formel:

f (z ) =

g (z ) , h(z )

f (z0 ), g (z0 ) einfache Nullstellen resz0 f (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

z S falls n {0, 1}.

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

auf S gleichm aig gegen g (z ).


n

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

eine abk urzende Schreibweise f ur

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

= 0 ist kein konvergentes Produkt. wn konvergent, dann ist limn wn = 1. (PN :=


N n=1

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 =

KR (1) 1 log ist holomorph

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 .

log wn die Konvergenz

: 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

und mit N folgt das Gew unschte.

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:

1 log(1 + z ) 3 < < 2 z 2

z 3z < |log(1 + z )| < . 2 2

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 ).

Die Reihendarstellung lautet ausgeschrieben also log(1 z ) = z + z2 z3 zn + + ... + + ... |z | < 1. 2 3 n

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 )

gleichm aig auf Kr , da Daraus folgt

z an

1 . Somit ist g0 (z ) eine holomorphe Funktion auf Kr . K2

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.

26 ELLIPTISCHE FUNKTIONEN: ALLGEMEINE EIGENSCHAFTEN

111

26

Elliptische Funktionen: Allgemeine Eigenschaften

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

26 ELLIPTISCHE FUNKTIONEN: ALLGEMEINE EIGENSCHAFTEN

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

26 ELLIPTISCHE FUNKTIONEN: ALLGEMEINE EIGENSCHAFTEN

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

[0, 1]} f ist beschr ankt auf C

f const.

Satz 26.5 Sei f eine elliptische Funktion. Dann gilt: resz f (z ) = 0.


z

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.

26 ELLIPTISCHE FUNKTIONEN: ALLGEMEINE EIGENSCHAFTEN

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 )

Dabei ist der Rand des Periodenparallelogramms wie folgt parametrisiert: 2 2 J4 2 1 + 2 2

J2

J3

J1

2 1

Abbildung 76: Integrationsweg J1 + J4 + J3 + J2 .

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 .

26 ELLIPTISCHE FUNKTIONEN: ALLGEMEINE EIGENSCHAFTEN

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

Andererseits folgt aus dem Residuensatz: z f f

dz =
f (z ) f (z )

2i(
ai

resai z

f + f

bi

resbi z

f ) f

(z ) Es gilt: resz0 (z f f (z ) ) = z0 k , da -Ordnung des Pols.

k z z 0

+ holo., k Z. k > 0 Ordnung der Nullstelle; k < 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 ))

26 ELLIPTISCHE FUNKTIONEN: ALLGEMEINE EIGENSCHAFTEN

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)

27 DIE WEIERSTRASSSCHE -FUNKTION

117

27

Die Weierstrasche -Funktion

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

Beweis Betrachte anstatt der gesamten Summe bestimmte Teilsummen:

n1 ,n2 Z

1 = S1 + S2 + S3 + ... |2n1 1 + 2n2 2 |k

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

27 DIE WEIERSTRASSSCHE -FUNKTION


8 Rk 1 p=1 pk1

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

1 1 ) (z 2n1 1 2n2 2 )2 (2n1 1 + 2n2 2 )2 1 + z2


z 0

= heit die Weierstrasche -Funktion.

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.

27 DIE WEIERSTRASSSCHE -FUNKTION

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

Satz 27.7 Die -Funktion erf ullt folgende Dierentialgleichungen: ( (z ))2

= =

4((z ) e1 )((z ) e2 )((z ) e3 ) 43 (z ) g2 (z ) g3

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.

Beweis F ur z 0 hat die Laurententwicklung f ur (z ) die Form: (z ) =

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.

28 DIE WEIERSTRASSSCHEN FUNKTIONEN UND

120

28

Die Weierstraschen Funktionen und

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

1 1 1 2 )dz mit (cot z ) = 2 2 z sin z sin z

die Zetafunktion (z ) durch die Beziehung (z ) = 1 z


z 0

((u)

1 )du mit (z ) = (z ) 2 u

ein. Die - Funktion hat folgende Eigenschaft: (z ) = (z ), und (z ) =

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

zu 3. (z + 21 ) = (z ) (z + 21 ) (z ) = c1 , c1 ist eine Konstante. Sei z = 1 c1 = (1 ) (1 ) = 2 (1 ) = 21 . F ur 2 analog. zu 4. Entwicklung in eine Laurentreihe: (z ) =z0


1 z

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.

28 DIE WEIERSTRASSSCHEN FUNKTIONEN UND Analog zur Funktion sin z = z e


(z ) (z )

122

Rz
0

1 (cot z z )dz

mit (log sin z ) = cot z

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

(z ) := z Die Produktformel konvergiert, weil

(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

mit Integration: log (z + 21 ) log (z ) = 21 z + c + 2iN, N N (z + 21 ) = e21 z c. (z )

Um c zu bestimmen, nehme z = 1 (1 ) = e21 1 c c = e21 1 (1 )


= 1

(z + 21 ) = e21 (z+1 ) (z )

28 DIE WEIERSTRASSSCHEN FUNKTIONEN UND

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

Abbildung 79: Periodengitter mit Polstellen bei x a und Nullstellen bei b.

29 DARSTELLUNG ELLIPTISCHER FUNKTIONEN DURCH WEIERSTRASSSCHE FUNKTIONEN124

29

Darstellung Elliptischer Funktionen durch Weierstrasche Funktionen

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)

29 DARSTELLUNG ELLIPTISCHER FUNKTIONEN DURCH WEIERSTRASSSCHE FUNKTIONEN125


z w ) ( z +w ) Beweis Die Ableitung von (z )(w) ist (z ), aber gleichzeitig muss gelten: (z ) = ( ( ). 2 (z ) 2 (w ) Allgemein gilt f ur die logarithmische Ableitung einer Funktion f = f1 f2 :

f f

= (log f )

= (log f1 f2 ) f1 f + 2. f1 f2

= (log f1 + log f2 ) =

Weiter gilt f ur die logarithmische Ableitung einer Funktion f = f f

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)

= (log (z ) (w)) f1 f2 ) g2 f1 f2 = (log + log ) g g = (log = =

( 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). Ausserdem ist

= (z ), da (w) = const. Also ergibt sich: (z ) (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 ) .

Die Funktion hat die Singularit aten:

1. a1 = w mit resw f (z ) =

(w ) (z )| z = w

= 1 ((z ) (w) = (w)(z w) + ... ) =1

2. a2 = w mit resw f (z ) = 3. a3 = 0 mit res0 f (z ) = res0


(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

1 ((z ) (w)( (z ) (w)) ( (z ) (w))2 (z ) + (w) 2 ((z ) (w))2

1 ((z ) (w))( (w)) ( (z ) (w))( (w)) (Ableitung nach w) 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

6((z ) (w))((z ) + (w)).


122 g2 6(2 (z ) 2 (w))

Also: 2(z + w) = (z ) + (w)

1 1 (z ) (w) 2 (6((z ) + (w)) + ( ) 2 2 (z ) (w)


1 (z ) (w) 2 2(z + w) = 2(z ) 2(w) + ( ) . 2 (z ) (w)

Beispiel 29.3 Abschlieend betrachten wir nicht einfache Polstellen: Sei f (z ) eine elliptische Funktion mit f (z ) =
z ak

Ak,1 Ak,2 Ak,lk (lk 1)! + ... + (1)lk 1 + holo. z ak (z ak )2 (z ak )lk


n k=1

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

(Ak,1 (z ak ) + Ak,2 (z ak ) + ... + Ak,lk (lk 2) (z ak ))

+ holo. (z ) = 2 z13 + holo., (lk 2) (z ) = (lk 1)!(1)(lk 1) z1 lk + holo.

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.

Das könnte Ihnen auch gefallen