Funktionentheorie
Peter Schlicht2 , Frank Werner3
Literatur
Literatur
Vorwort
Vorwort
Das Grundgerst dieses Skriptums ist whrend der Vorlesung Funktionentheorie von Professor H.-W. Buru
a
mann im Sommersemester 2006 an der Georg-August-Universitt Gttingen als Gemeinschaftsprojekt von Pea
o
ter Schlicht und mir entstanden. Die letzten beiden Kapitel wurden im Sommersemester 2007 in Anlehnung
an [RUR] und die gleichzeitige Funktionentheorie Vorlesung von Prof. Witt an der Georg-August-Universitt
a
Gttingen hinzugefgt.
o
u
Es handelt sich hierbei ausdrcklich nur um eine studentische Mitschrift, nicht um ein oziell vom Dozenu
ten herausgegebenes Skript. Trotz groer Anstrengungen sind sicherlich einige Fehler mathematischer wie auch
sprachlicher Natur im Skript verblieben, was hoentlich nicht allzu groe Schwierigkeiten fr das Verstndnis
u
a
aufwerfen wird.
Es handelt sich um einen Standardkurs in moderner Funktionentheorie, wobei aber durchaus an manchen Stellen
auch auf die klassischen Aspekte eingegangen wird. Das die Funktionentheorie durchaus ein Interessantes Gebiet der Mathematik ist, was auch in vielen Anwendungen zum Einsatz kommt, sollte klar sein. Viele Integrale
lassen sich erst mittels des Residuensatzes berechnen, einige interessante Distributionen knnen auf holomorphe
o
Funktionen zurckgefhrt werden, und auch die Theorie der partiellen Dierentialgleichungen kme ohne die
u
u
a
reine Funktionentheorie wohl nicht aus.
Insbesondere sollte das Verstndnis auch ohne groe Vorkentnisse auerhalb der gewhnlichen reellen Analysis
a
o
mglich sein.
o
Wer eine Fortsetzung dieses Themas auerhalb der komplexen Analysis in hheren Dimensionen sucht, der sei
o
auf die Riemannschen Flchen [SWR] verwiesen. Einige Mglichkeiten der Fortsetzung des Themas in hheren
a
o
o
komplexen Dimensionen werden in [WEF] ideenhaft dargestellt. Eine ausfhrliche Anwendung der Theorie der
u
Zetafunktion (und somit der analytischen Zahlentheorie) stellt [WEZ] dar.
Frank Werner
Inhaltsverzeichnis
Inhaltsverzeichnis
Literatur
Vorwort
Inhaltsverzeichnis
2 Holomorphe Funktionen
10
12
5 Potenzreihen
15
18
22
23
9 Kurvenintegrale
26
10 Stammfunktionen
32
11 Umlaufzahl
34
36
38
14 Taylorentwicklung
44
47
49
17 Parameterintegrale
56
63
68
20 Residuensatz
74
82
85
89
94
25 Die Gammafunktion
98
26 Konforme Abbildungen
111
120
Stichwortverzeichnis
125
Eigentlich sollten die komplexen Zahlen bereits aus den Anfngervorlesungen bekannt sein, deshalb hier nur ein
a
kurzer Abriss.
1.1
Der Korper C
C 1 := (1, 0) R2
+:CC
:CC
Man prft leicht nach, dass C mit diesen Axiomen ein Krper ist:
u
o
Ist z = (a, b) C, so ist das additiv Inverse durch (a, b) gegeben
Ist z = (a, b) C, so ist das multiplikativ Inverse durch
1
a2 +b2
(a, b) gegeben.
Bemerkung 1.1:
In Zukunft wird ein Element (x, 0) C nur noch mit x bezeichnet.
i := (0, 1) C wird die imaginre Einheit genannt. Es gilt i2 = (1, 0).
a
Damit knnen wir berechtigter Weise C z = (x, y) =: x + i y schreiben. Dabei wird x =: (z) R der
o
Realteil und y =: (z) R der Imaginrteil von z genannt.
a
1.2
/ C durch z = x i y.
Bemerkung 1.2:
Es gilt fr z, w C:
u
z+w =z+w
zw =zw
(z) =
1
2
(z) =
1
2i
(z + z)
(z z)
|z| := z z = x2 + y 2 R
Damit gilt:
|z| = 0 z = 0
|z w| = |z| |w| z, w C
|z + w| |z| + |w|
|z w| ||z| |w||
max (|x| , |y|) |z| |x| + |y|
|z| entspricht dem euklidischen Abstand zwischen z R2 und 0 R2 . Allgemeiner entspricht |z w| dem
euklidischen Abstand zwischen z R2 und w R2 .
|a z| < r
1.3
Polarkoordinaten
x
r
1.4
1
z
1
r
Weitere Eigenschaften
S 2 :=
(x, y, z) R3 | x2 + y 2 + z
1
2
1
4
/ S 2 \ {N } durch
z = x + iy
x
y
|z|2
,
,
1 + |z|2 1 + |z|2 1 + |z|2
welche die stereographische Projektion genannt wird. Dabei wird ein Punkt z C auf den Schnitt der Sphre
a
mit der Geraden, welche durch N und s verluft, abgebildet:
a
z
N
z
x
Bemerkung 1.4:
Wird wie oben unter dieser Projektion C z P S 2 \ {N } , C w Q S 2 \ {N } abgebildet, so gilt fr
u
den euklidischen Abstand d im R3 :
|zw|
d (P, Q) =
(1+|z|2 )(1+|w|2 )
1
1+|z|2
d (P, N ) =
2 Holomorphe Funktionen
Holomorphe Funktionen
2.1
Funktionen
2. f (z) = z
3. f (z) =
1
z
Im Bild kann man den Grund dafr sehen, dass diese Funktion auch Spiegelung am Mittelpunkt genannt
u
wird.
4. f (z) =
1
z
2 Holomorphe Funktionen
2.1 Lemma:
Gilt lim f (z) = a und lim g (z) = b, so gilt auch
zz0
zz0
f (z)
zz0 g(z)
lim
a
b
lim f (z) = a
zz0
Der Beweis kann aus der reellen Analysis abgeschrieben werden, er ndet sich auerdem in [FOA].
2.2
Vorarbeiten
erfllt ist:
u
> 0 > 0 s.d. z D mit |z z0 | < gilt: |f (z) a| <
Zu jeder oenen Umgebung U von a gibt es eine Umgebung V von z0 , s.d
z0 = z V D f (z) U
2.4 Denition (Gebiet):
Eine Teilmenge D C heit Gebiet, falls
1. D =
2. D ist oen
3. D ist zusammenhngend (also D = U V, U, V oen, U V = U = oder V = )
a
2.3
Holomorphie
/ C eine Funktion.
zz0
f (z0 + h) f (z0 )
f (z) f (z0 )
= lim
h0
z z0
h
existiert. In diesem Fall wird besagter Grenzwert die Ableitung von f an z0 genannt und mit f (z0 ) oder
bezeichnet.
2.6 Denition (holomorphe Funktion):
f heit holomorph in D, falls f an jedem Punkt z0 D komplex dierenzierbar ist.
Korollar 2.1:
Ist f an z0 D komplex dierenzierbar, so ist f an z0 stetig.
f
z
(z0 )
2 Holomorphe Funktionen
2.4
2.2 Lemma:
Seien f, g : D
f
g
holomorph in D mit
f
g
f gf g
g2
Korollar 2.2:
Unter obigen Voraussetzungen und f = 0, g = 0 gilt zustzlich
a
1. (f n ) = n f n1 f
2.
(f g)
f g
3.
(f )
g
f
g
f
f
=
=
f
f
g
g
g
g
Beispiel 2.2:
1. f (z) = c C f (z) = 0
2. f (z) = z C f (z) = 1
3. f (z) = z n C f (z) = n z n1
4. f (z) = an z n + an1 z n1 + ... + a1 z + a0 C f (z) = n an z n1 + (n 1) an1 z n2 + ... + a1
5. Sind P (z) und Q (z) Polynome wie in 4), so ist f (z) =
P (z)
Q(z)
1
f (z)
Bemerkung 2.1:
Ist f eine auf Df holomorphe Funktion, Df C ein Gebiet und f (z) = 0 z Df . Dann gilt
|f (z) f (z0 ) |
|z z0 |
zz0
/ |f (z0 )|
fr z0 Df . Die Ableitung gibt also an, wie stark sich die Funktion verndert, insbesondere hngt die Stauchung
u
a
a
/ Streckung der abgebildeten Menge nicht von der Richtung ab, aus der man sich an z0 annhert.
a
10
Folglich bleibt die Richtung, aus der man sich an z0 annhert beim Ableiten also erhalten.
a
holomorphe Funktionen f erhalten also Winkel, falls f = 0
Solche Abbildungen werden auch konform oder winkeltreu genannt. Vergleiche dazu auch Abschnitt 26.2.
Beispiel 2.4 (f r nicht-holomorphe Funktionen:):
u
1. f (x + i y) = x
2. f (z) = z
3. f (z) = |z|2 = zz
Sei f : D
schreiben, wobei u, v : R2
welche durch
/ R2
u (x + h, y) u (x, y)
v (x + h, y) v (x, y)
+i
h
h
u (x, y + h) u (x, y) v (x, y + h) v (x, y)
= i
+
h
h
u
v
(x, y) + i
(x, y)
x
x
u
v
(x, y) i
(x, y)
y
y
was uns durch Vergleich von Real- und Imaginrteil die Cauchy-Riemannschen Dierentialgleichungen
a
liefert:
u
x
3.1
v
u
y und y
v
= x
3.1 Denition:
/ R heit total dierenzierbar in dem Gebiet D R2 , wenn es zu jedem
Eine reellwertige Funktion u : R2
(x, y) D reelle Zahlen a, b und fr hinreichend kleines (0, 0) = (s, t) R2 eine reellwertige Funktion (s, t)
u
gibt, s.d.
u (x + s, y + t) = u (x, y) + a s + b t + st + t2 (s, t)
mit (s, t)
(s,t)
/0
/ 0.
3.1 Satz:
Die komplexwertige Funktion f := u + i v ist genau dann holomorph in dem Gebiet D, wenn u und v total
dierenzierbar in U sind und die Cauchy-Riemannschen Dierentialgleichungen erfllt sind.
u
Beweis:
11
Das fr eine holomorphe Funktion die Dierentialgleichungen gelten wurde bereits gezeigt. Da f holomorph
u
ist, gilt
/0
h
/0
f (z + h) = f (z) + f (z) h + h r (h) mit r (h)
Sei h = s + i t und r = p + i q (als Funktion). Aus den Dierentialgleichungen folgt, dass f =
womit
u
u
(x, y) + t
(x, y) +
y
y
/0
s p (s, t) t q (s, t) (s,t)
/0
s2 + t2
u (x, y) + s
u (x + s, y + t)
mit (s, t)
:=
/ 0 fr h
u
u
x
+ i u ,
y
s2 + t2 (s, t)
/ 0.
Seien u und v total dierenzierbar in D, also
u
u
(x, y) + t
(x, y) +
x
y
v
v
v (x + s, y + t) = v (x, y) + s
(x, y) + t
(x, y) +
x
y
u (x + s, y + t) = u (x, y) + s
/ 0 und (s, t)
mit (s, t)
/ 0 fr (s, t)
u
s2 + t2 (s, t)
s2 + t2 (s, t)
/ 0.
u
v
(x, y) + i
(x, y) + t
x
x
v
u
(x, y) + i
(x, y) +h r (h)
y
y
:=g(x,y)
mit r (h) :=
|h|
h
DGLs
/0
/ 0. Weiter ist
u
v
t
x
x
u
v
+i
x
x
+i s
v
u
+t
x
x
Korollar 3.1:
Sind die reellwertigen Funktionen u, v stetig partiell dierenzierbar in D und erfllen die Cauchy-Riemannschen
u
Dierentialgleichungen, so ist
f := u + i v
holomorph in D.
Beispiel 3.1:
Sei fr z = x + i y
u
f (z) = exp (x) (cos (y) + i sin (y))
Dann gilt fr u (x, y) := exp (x) cos (y) und v (x, y) := exp (x) sin (y):
u
v
u
v
u
= exp (x) cos (y) =
und
= exp (x) sin (y) =
x
y
y
x
d.h. f ist holomorph.
3.2 Satz:
Ist f holomorph in dem Gebiet D C und f (z) = 0 z D, so ist f konstant auf D.
12
3.3 Satz:
Ist f = u + i v holomorph in dem Gebiet D C und sind u und v zweimal stetig partiell dierenzierbar, so
erfllen u und v die Laplace-Dierentialgleichung:
u
u =
2u
(x)
2u
(y)
2v
= 0 und v =
(x)
2v
2
(y)
=0
Beweis:
Es gilt
2u
2
(x)
u
x
DGLs
v
y
v
x
DGLs
u
y
2u
2
(y)
3.2 Denition:
(Reell- wie komplexwertige) Funktionen f mit (f ) = 0 heien harmonisch.
Beispiel 3.2:
Sei f (z) =
1
z
x
y
i 2
x2 + y 2
x + y2
u
x
u
y
v
x
v
y
u
y
u
x
u
y
v
y
1
a2 +b2
a b
b a
4.1
Folgen
4.1 Denition:
Eine komplexe Folge (an )nN , an C heit konvergent genau dann, wenn es ein a C und zu jedem > 0 ein
n0 N gibt, s.d.
|an a| < n n0
Man schreibt dann lim an = a oder an
4.1.1
/ a.
Tatsachen
13
lim (an + bn ) = a + b
an
a
=
bn
b
Bemerkung 4.1:
Ist (an )nN C beschrnkt, so gibt es eine konvergente Teilfolge (ank )kN C mit
a
/
ank
/aC
Beweis:
Schreibe an = bn + icn fr n N. Da es nach Voraussetzung ein R > 0 gibt, s.d. b2 + c2 = |an |2 R n N
u
n
n
sind insbesondere auch die reellen Folgen (bn )nN R und (cn )nN R durch R beschrnkt. Aus der reellen
a
Analysis wissen wir aber schon, das jede beschrnkte Folge eine konvergente Teilfolge besitzt (vergleiche etwa
a
[FOA], Seite 47, Satz 6)! Finde also zunchst eine konvergente Teilfolge b1(n) nN von (bn )nN mit
a
b1(n)
/bR
nN
c2(n)
nN
mit
/cR
nN
gegen b + ic C.
Cauchykriterium
Es gilt
an ist konvergent an ist Cauchyfolge
4.2
Reihen
4.3 Denition:
4.4 Denition:
an
n=1
mN
ist konvergent.
an
n=1
mN
4.2.1
Tatsachen
Fr Reihen gelten die gleichen Rechenregeln wie fr Folgen, ist z.B. an = pn + i qn , so gilt
u
u
n=1
an konvergent
n=1
pn und
n=1
qn konvergent
14
4.2.2
Cauchykriterium
Es gilt
n=1
Folgerung 4.1:
Eine notwendige Bedingung fr die Konvergenz von
u
n=k
an | < m k n0
an ist lim an = 0.
n
n=1
4.5 Denition:
n=1
n=1
n=1
|an | konvergiert
an konvergiert,
n=1
n=1
4.1 Lemma:
Aus absoluter Konvergenz folgt Konvergenz.
Der Beweis folgt direkt aus der Dreiecksungleichung.
4.2 Lemma:
Sei
an eine absolut konvergente Reihe und b : N
n=1
n=1
an =
ab(n) absolut
ab(n)
n=1
n=1
Ist
n=1
an |an | n
n=1
n=1
n=1
n=1
an |an | n
an , so schreiben wir
n=1
an <<
n=1
n=1
an und
Sind
n=1
n=1
n=1
an
bn
n=1
n=0
k=0
ak bnk
5 Potenzreihen
15
Potenzreihen
5.1
5.1 Denition:
Eine Potenzreihe in z ist eine von z C abhngige Reihe
a
a0 C das konstante Glied.
n=0
Beispiel 5.1:
1.
n=0
2.
n=0
3.
zn
n!
n=0
5.2
a
n
a
n
a(a1)...(an+1)
12...n
:=
bzw.
a
0
5.1 Satz:
Sei z0 C.
Konvergiert
n=0
Divergiert
n=0
n
an z0 , so konvergiert
n
an z0 , so divergiert
n=0
n=0
Beweis:
Ohne Einschrnkung knnen wir z0 = 0 annehmen, denn sonst wre die Aussage oensichtlich. Sei |z| < |z0 |.
a
o
a
n
Oenbar C > 0 mit |an z0 | < C n N. Dann ist
n
|an z n | = |an z0 |
z
z0
z
z0
d.h.
an z n <<
n=0
n=0
z
z0
|z|
z
und diese Majorante konvergiert, da | z0 | = |z0 | < 1.
Ist umgekehrt |z| > |z0 | und nehmen wir an, dass z0 ein Divergenzpunkt ist, so wre die Aussage, dass z ein
a
Konvergenzpunkt wre, direkt widersprchlich zum oben gezeigten.
a
u
5.2 Satz:
Zu der Potenzreihe
n=0
divergiert.
an z n gibt es ein 0 , s.d. die Reihe fr |z| < absolut konvergiert und fr |z| >
u
u
Beweis: Sei
:= sup |z0 | z0 ist Konvergenzpunkt, also
n=0
n
an z0 <
Ist nun |z| < , so existiert ein z0 mit |z| < |z0 |, s.d. z0 ein Konvergenzpunkt ist, also muss auch z ein
Konvergenzpunkt sein.
Ist |z| > , so existiert ein z0 mit |z| > |z0 |, s.d. z0 ein Divergenzpunkt ist, also muss auch z ein Divergenzpunkt
sein.
Bemerkung 5.1:
Dieses heit Konvergenzradius der Reihe.
Beispiel 5.2:
Fr
u
n=0
1
|z|
gilt |z n nn | > 1.
16
5 Potenzreihen
Fr
u
zn
n!
n=0
z
| (n+1)! |
n
|z |
n!
|z|
1
< n n0
n+1
2
Damit folgt die absolute Konvergenz aus dem Quotientenkriterium (vergleiche [FOA]).
Fr
u
z n ist = 1.
n=0
Bemerkung 5.2:
Ist die Folge n 0 beschrnkt, so deniert man
a
[0, ) := lim sup n = Supremum der Menge aller Hufungspunkte von n
a
n
Oenbar gibt es zu jedem > 0 unendlich viele n N mit |n | < , aber nur endlich viele n N mit
|n | | + |.
Ist n dagegen unbeschrnkt, so ist lim sup n = .
a
n
n=0
1
lim sup
|an |
(Hierbei ist
1
0
= und
Beweis:
Sei = lim sup
= 0.)
|an |.
0<<
Sei 0 < |z| <
n
|an |
und so, dass 0 < |z| < < 1 gilt. Dann ist <
|z|
n0 N s.d n n0 gilt
folglich gilt
an z n <<
|an | <
|an z n | < n
|z|
n=0
n=0
|z|
1
,
|an | >
1
|an z n | > 1
|z|
|an |
1
n0 N s.d. n n0 gilt
2|z|
|an | <
1
|an z n | <
2|z|
|an | >
1
|an z n | > 1
|z|
1
2
n n0
5 Potenzreihen
17
1
=
5.4 Satz:
f (z) :=
an z n
n=0
holomorph in dem Gebiet D := {z C | |z| < } und die Ableitung berechnet sich gliedweise:
f (z) =
nan z n1
(5.1)
n=1
n
linear steigend
r
R
n=0
/0
exponentiell fallend
1
n |an | rn
|z|
r n
1
|an Rn |
n
|z|
R
r n
1
n
C
|z|
R
<
=
<
Da weiter
(n + 1)
n
r n+1
R
r n
R
n+1 r
n
R
gilt, folgt die Konvergenz der Reihe (5.1) fr |z| < r mit r < beliebig aus dem Quotientenkriterium und dem
u
Majorantenkriterium, also fr alle |z| < .
u
Sei nun |z| < r und |h| < . Es gilt:
f (z + h)
a0 + a1 (z + h) +
n=2
absolute Konvergenz
f (z) +
h an z n1
n=1
mit r (h) = h
n
Da |
k=2
an
n=2
an
k=2
n nk k2
z
h
|
k
=
=
|r (h) | |h|
und folglich r (h)
/0
/ 0.
n=2
|an |
z n + n z n1 h +
k=2
h + h r (h)
n nk k2
z
h
k
1
2
n nk k
r
k=0
(r + )
2
n
R
2
|h|
C
Rn
2
|an Rn | = 2 |h|
2
n=0
n
z nk hk
k
18
5.2 Denition:
Ist f eine holomorphe Funktion und ist f wieder holomorph, so deniert man (f ) als die zweite Ableitung von
f und bezeichnet diese mit f (2) .
Analog: Ist f (k1) eine holomorphe Funktion, so ist die k-te Ableitung von f deniert durch
f (k) := f (k1)
5.5 Satz:
Ist > 0 der Konvergenzradius von
n=0
f (z) =
an z n
n=0
(k)
(z) =
n=k
n (n 1) ... (n k + 1) an z nk
5.6 Satz:
Sei r > 0 und
an z n ,
n=0
n=0
an z n =
bn z n
n=0
n=0
n
an (z z0 ) anstelle von
Betrachtet man
n=0
n=0
Durch Substitution t := z z0 sieht man, dass alle Aussagen analog um z0 C an Stelle von 0 C gelten.
6.1 Denition:
Fr z C sind deniert:
u
Exponentialfunktion : exp (z) :=
6.1
zn
z2
z3
=1+z+
+
+ ...
n!
2
6
n=0
(1)
z3
z5
z 2n+1 = z
+
...
(2n + 1)!
6
120
n=0
(1) 2n
z2
z4
z =1
+
...
(2n)!
2
24
n=0
Eigenschaften
Man sieht direkt ein, dass der Konvergenzradius aller drei Potenzreihen = ist (z.B. durch den Satz von
Hadamard, da lim n n! = ). Folglich sind exp (z) , sin (z) , cos (z) holomorph auf ganz C.
n
6.1.1
19
Ableitungen
Man errechnet:
(exp (z))
(sin (z))
(cos (z))
zn
n!
n=0
n=0
n=1
(1) 2n
z
(2n)!
n=0
n+1
z n1
z n1
zn
=
=
= exp (z)
n!
(n 1)! n=0 n!
n=1
(1)
z 2n+1
(2n + 1)!
n=0
(1) 2n
z
(2n)!
n=0
zn
n!
(1)
z 2n+1
(2n + 1)!
n=0
=
=
(1) 2n
z = cos (z)
(2n)!
n=0
n
(1)
z 2n1
(2n 1)!
n=1
(1)
(1)
z 2n+1 =
z 2n+1
(2n + 1)!
(2n + 1)!
n=0
n=0
= sin (z)
6.1 Lemma (Eulersche Formel):
Es gilt
exp (i z) = cos (z) + i sin (z)
Beweis:
Einsetzen und Nachrechnen! Man verwendet
2n
(i z)
2n+1
(i z)
= (1) z 2n
n
= i (1) z 2n+1
Folgerung 6.1:
Fr R gilt also exp (i ) = cos () + i sin ()
u
Es gilt exp
i
2
exp (i )
1
1
i
Es gilt
exp (i ) + 1 = 0
Diese Gleichung wurde einst zur schnsten Formel der Mathematik gewhlt. Sie verknpft alle wesentlichen
o
a
u
mathematischen Konstanten 0, 1, e, , i.
6.1.2
Einheitswurzeln
rk exp (i k) = 1
(r = 1) ( = 2k, k Z)
2 i
l
k
| 0l k1
20
6.1.3
zn
n!
n=0
abs.Konv.
n=0
wl
l!
l=0
n
l
l=0
1
n!
n=0
z wnl
l!(n l)!
n
l=0
n!
z l wnl
l!(n l)!
(z + w)n
n!
n=0
exp (z + w)
Binom.Lehrsatz
exp (z) = 0 z C
weil: gbe es ein z mit dieser Eigenschaft, so wrde exp (z + w) = exp (w) 0 = 0 w C folgen!
a
u
= exp (z) z C
Sei nun C z = x + i y, dann exp (z) = exp (x) exp (i y). Wegen | exp (i ) | = 1 R folgt
| exp (z) | = exp (x) , arg (exp (z)) = y
Betrachtet man das Bild von Geraden zu den Koordinatenachsen unter exp, so sieht man leicht ein, dass
Geraden parallel zur reellen Achse mit Abstand y0 auf Strahlen aus dem Ursprung mit Winkel y0 abgebildet
werden.
Geraden parallel zur imaginren Achse mit Abstand x0 auf Kreise mit Radius x0 um den Koordinatenura
sprung abgebildet werden.
Ein halboener Streifen parallel zur reellen Achse mit Breite 2 wird gerade auf die gesamte komplexe Ebene
ohne 0 injektiv abgebildet.
An diesem Zusammenhang erkennt man:
exp (z) = exp (y) z = y + 2 i n, n Z
Weiter sieht man leicht ein, dass
1.
sin(z) = sin(z)
2.
cos(z) = cos(z)
und kann ebenso leicht daraus folgern, dass
1.
sin(z) =
exp (i z) exp ( i z)
2i
cos(z) =
exp (i z) + exp ( i z)
2
2.
21
gelten.
Weiter gelten folgende Zusammenhnge:
a
Additionstheoreme:
sin(z + w) = sin(z) cos(x) + cos(z) sin(w)
cos(z + w) = cos(z) cos(w) sin(z) sin(w)
Beweis:
exp (z) exp (w)
exp (z + w)
cos(z + w) + i sin(z + w)
cos(z + w) + i sin(z + w)
4
exp (2 i z) 2 + exp (2 i z) exp (2 i z) + 2 + exp (2 i z)
+
= =1
4
4
4
4.
| exp (z) | exp |z|
5.
denn
n=1
zn
n!
|z|
n=1
6.
| sin(z)|
2
2
exp |y| , | cos(z)| exp |y|
5
5
denn
| sin(z)|
=
=
1
||exp (i z)| |exp ( i z)||
2
1
|exp (y) exp (y)|
2
1
exp (y) |1 exp (2y)|
2
1
exp (y) |1 exp (2)|
2
1
exp (y) 1 2.52
2
2
exp (y)
5
22
6.1.4
Man deniert
tan (z) =
sin (z)
cos (z)
, cot (z) =
cos (z)
sin (z)
7.1
7.1.1
Logarithmus
Einleitung, Denition (Logarithmusfunktion)
= exp (u)
= v + 2n, n Z
7.1 Denition:
Also deniert man den Logarithmus fr z = r exp (i ) durch
u
log(z) = lnR (r) + i
wobei { + 2n|n Z}. Dabei bezeichnet lnR den reellen, auf (0, ) eindeutigen Logarithmus.
7.1.2
Es gilt
n
exp (log(z)) = exp (ln(r) + i ) = exp (ln(r)) exp (i ) = r (exp (2 i )) exp (i ) = r exp (i ) = z
analog gilt
log (exp (w)) = w + 2 i n, n Z
Daher trit man folgende Vereinbarung:
arg(z0 ) = arg(z) ( , + ) z C \ {r exp (i( + ))}
Dann wird die komplexe Ebene ohne den Strahl {r exp (i( + ))} durch den Logarithmus injektiv auf den
Streifen
{z = x + i y Z | < y < + } abgebildet.
Es gilt fr z = exp (w)
u
(log(z)) =
1
1
1
=
=
exp (w)
z
(exp (w))
7.2 Denition:
Man deniert den Streifen
{z C | < arg(z) } C
als den Hauptzweig des komplexen Logarithmus.
Analog deniert man den Streifen
{z C | + 2n < arg(z) + 2n n Z } C
als den nten Nebenzweig des Logarithmus.
Man vereinbart weiter, dass der Logarithmus beim Durchlaufen der negativen reellen Achse den nchsten Zweig
a
(also beim Durchlaufen im Uhrzeigersinn den (n 1)ten und beim Durchlaufen entgegen dem Uhrzeigersinn
den (n + 1)-ten) erreicht. Auf diese Weise entsteht die sogenannte logarithmische Spirale, eine Riemannsche
Flche. Vergleiche dazu [SWR].
a
7.3 Denition:
Fr 0 = z C, a C deniert man
u
z a = exp (a log z)
23
an Z
exp (2 i an) = 1 n Z
aZ
Kettenregel
1
a exp (a log z) = az a1
z
exp (2n) , n Z
2
k
z
gilt.
8
8.1
n=0
n=1
n=1
zn
zn
n
=1
zn
n2
Divergenz
Konvergenz
falls z = 1
falls |z| = 1, z = 1
24
Sei nun
n=0
n=0
an z n fr alle Konvergenzpunkte z C.
u
8.1 Satz:
Ist z0 absoluter Konvergenzpunkt mit |z0 | = , so sind alle z mit |z| absolute Konvergenzpunkte und f (z)
stetig auf |z|
Beweis:
Zuerst gilt |z| :
n=0
an z n
n=0
|an z n |
|an |n
n=0
n=0
n
|an z0 |
(8.1)
n=0
(8.1)
an z n
n
an z1
n=0
n=0
an z n
an z n +
n=0
n=0
an z n
n=N +1
|an z n | +
n=0
n
|an ||z n z1 | +
n=0
n=0
n=N +1
n
|an z1 |
n=N +1
|an |n + |z z1 |
n|an |n1
n=0
Mit
> 0 N N s.d
n=0
an z n
8.2
n
an z1 +
n
an z1 +
2
+ =
3
3
n
i=0
m
n=0
an bn = sm bm
sn (bn+1 bn )
n=0
Beweis:
Es gilt oensichtlich sn sn1 = an n = 0, .., m, wenn wir s1 = 0 denieren. Dann gilt:
m
an bn
=
n=0
m
n=0
=
n=0
sn bn
sn1 bn
n=0
m
m1
m bm
+
n=0
s1 =0
sn bn
sn1 bn
n=0
m1
m1
sm bm +
n=0
sn bn
sn bn+1
n=0
m1
sm bm
n=0
sn (bn+1 bn )
n=0
n
an z1
25
r1
r1
an (rz0 )n =
n
an z0
n=0
n=0
an z n fr alle Konvergenzpunkte z
u
n=0
r1
Beweis:
Wir zeigen zuerst, dass wir den Beweis auf den Fall = 1 = z0 zurckfhren knnen:
u u
o
Man deniert
f0 (z) = f (z0 z) =
n
(an z0 )z n
n=0
dann gilt
=
f0 (r)
f0 (1)
f (rz0 )
f (z0 )
Beschrnken wir uns nun auf den Fall = z0 = 1, also bleibt zu zeigen
a
m
Sei dafr sm =
u
Betrachte nun
lim
(0,1)rr n=0
an rn = s =
an rn .
n=0
an rn
Hilfssatz
n=0
m1
sm rm
n=0
sn (rm+1 rm )
m1
=
Wir betrachten 0 < r < 1 im Fall m
an rn
sm rm + (1 r)
/ folgt also sm rm
=
0+
n=0
(1 r)
sn rn
n=0
1
sn rn
(1 r)s + (1 r)
1r
n=0
s + (1 r) s
n=0
c 0 = 0 und damit
geom.Reihe
sn rn
s + (1 r) s
s + (1 r)
n=0
1
sn rn
+
1 r n=0
rn +
n=0
(sn s)rn
n=0
sn rn
n=0
an .
26
9 Kurvenintegrale
Weil sn gegen s konvergiert, folgt > 0 N N : n > N |sn s| < . Bezeichne c von nun an
dann folgt
n=0
an rn s
(1 r)
N 1
n=0
|sn s|rn +
N 1
n=0
|sn s|rn ,
rn
n=N
= C(1 r) + rN
C(1 r) +
0<1r <
Fr
u
n=0
an rn s
<
folgt:
c
Bemerkung 8.1:
Der Satz sagt also aus, dass sich die Funktion auf einem Strahl vom Nullpunkt stetig auf den Konvergenzkreis
fortsetzt, sobald der entprechende Punkt des Konvergenzkreises ein Konvergenzpunkt ist.
Man kann die Aussage sogar insoweit verstrken, dass sich die Funktion aus Sicht von beliebigen Geraden im
a
Konvergenzbereich stetig fortsetzt. Es gibt aber Gegenbeispiele fr beliebige Approximationsrichtungen. Nhert
u
a
man sich dem Konvergenzpunkt z0 auf dem Konvergenzkreis zum Beispiel so, dass man ihn in tangentieller
Richtung trit, ist die Stetigkeit nicht zwangslug gegeben.
a
Kurvenintegrale
Motivation
Wenn man im reellen ein Integral einer stetigen Funktion f auf einem kompakten Intervall I = [a, b] berechnet,
so geschieht dies zumeist durch die Riemann-Summe:
b
n1
f (t) dt = lim
k=0
f (xk ) (xk+1 xk )
Fr eine komplexwertige Funktion mchte man hnlich vorgehen und etwas der Form
u
o
a
n
F (zn ) :=
k=0
f (zk ) (zk+1 zk )
berechnen. Doch stellt sich hier zunchst die Frage, wie die Punkte zk zu whlen sind. Zwischen zwei Punkten
a
a
a, b C gibt es unendlich viele Verbindungen. Zumeist wird daher ein Streckenzug entlang einer Kurve gewhlt:
a
9 Kurvenintegrale
9.1
27
Vorbereitungen
9.1 Denition:
Ist I = [, ] fr < und F eine stetige, komplexwertige Funktion auf I, d.h. F (t) = U (t) + i V (t), so kann
u
man durch
F (t) dt :=
U (t) dt + i
V (t) dt
ein lineares Integral denieren, welches auf das reellwertige Integral zurckgreift.
u
9.1 Lemma (Eigenschaften):
Fr dieses Integral gilt die Abschtzungsregel
u
a
F (t) dt
|F (t) | dt
F (t) dt =
I
I1
Beweis:
r=
= exp ( i )
F (t) dt
F (t) dt
(exp ( i ) F (t)) dt
(exp ( i ) F (t)) dt
| (exp ( i ) F (t))| dt
|exp ( i ) F (t)| dt
|F (t)| dt
Hier folgt der Beweis direkt durch Aufspaltung in Real- und Imaginrteil aus der Substitutionsregel fr
a
u
reellwertige Integrale.
4 Dieser
Beweis sollte sich durch das Weglassen von durchaus vereinfachen lassen. Schlielich:
F (t) dt R
28
9 Kurvenintegrale
9.2
Ixt
z (x) z (t)
xt
f (z) dz =
f (z (t)) z (t) dt
Bemerkung 9.2:
Ist
= t0 < t1 < ... < tn1 < tn =
mit lim (tn+1 tn ) = 0, so erhlt man damit
a
n
f (z) dz
lim
k=0
zk :=z(tk )
lim
f (z (tk ))
k=0
n
lim
k=0
z (tk+1 ) z (tk )
(tk+1 tk )
tk+1 tk
f (zk ) (zk+1 zk )
9 Kurvenintegrale
29
fr eine Parametertransformation p = I1
u
f (z) dz =
Substitution
I1
z1 (s)
z1 (s)
I1
f (z) dz
1
Wir sehen also, dass zwei glatte Wege, die sich nur durch eine Parametertransformation unterscheiden, auf das
Integral keinerlei Einuss haben.
9.5 Denition:
Man deniert fr zwei glatte Wege 1 und , welche durch t z (t) , t I und t z1 (t) , t I1 gegeben sind
u
durch
/ I mit z (s) = z1 (p (s))
1 Parametertransformation p : I1
eine Aquivalenzrelation :
Reexivitt durch p = id
a
/ I1 gegeben, so erhalten wir mit p = p1 die Relation 1 . p1
muss existieren, da p (t) > 0 und p somit streng monoton wachsend, ergo injektiv ist.
Transitivitt Ist 1 2 und 2 3 durch p1 und p2 entsprechend gegeben, so liefert p2 p1 die Relation
a
1 3 :
z1 (s) = z2 (p1 (s)) und z2 (t) = z3 (p2 (t)) z1 (s) = z3 (p2 (p1 (s)))
Bemerkung 9.4:
Bezeichnungen:
Von jetzt ab bezeichnen wir mit einer glatten Kurve C eine ganze Aquivalenzklasse von glatten Wegen. Mit
einer Parametrisierung meinen wir einen Reprsentanten einer Aquivalenzklasse. In diesem Zusammenhang
a
kann auch weiterhin von einem glatten Weg gesprochen werden.
Spur:
Oenbar ist die Spur aller Parametrisierungen einer glatten Kurve gleich. Daher ist es gerechtfertigt, wenn
wir mit
spur (C) := spur ()
die Spur von C fr eine beliebige Parametrisierung von C bezeichnen.
u
9.6 Denition (Integral entlang einer glatten Kurve):
Sei f eine stetige Funktion auf dem Gebiet D C und C eine glatte Kurve in D. Dann deniert man durch
f (z) dz :=
C
f (z) dt
30
9 Kurvenintegrale
9.3
f (z) dz + g (z) dz
C
Abschtzungsregel:
a
Ist eine Parametrisierung von C, welche durch t z (t) fr t I gegeben ist, so gilt:
u
|f (z (t))| |z (t)| dt
f (z) dz
I
L (C) :=
I
sup
zspur(C)
|f (z)|
f (z) dz M L (C)
C
Auch diese ist wieder unabhngig von der ausgewhlten Parametrisierung (d.h. L (1 ) = L (2 ) falls 1
a
a
2 ):
z (t) dt
Substitution
|z (p (s))| p (s) ds =
I1
z1 (s) ds
I1
Ein strenger Beweis fr diese (eigentlich oensichtlichen) Aussagen ndet sich in [RSF].
u
Bemerkung 9.5:
Die Bezeichnung L ist nicht zufllig: Es handelt sich dabei um die Lnge der Kurve!
a
a
L (C) =
z (t) dt
lim
k=0
n
lim
k=0
n
lim
k=0
|z (tk ) | (tk+1 tk )
z (tk+1 ) z (tk )
(tk+1 tk )
tk+1 tk
z (tk+1 ) z (tk )
9.7 Denition:
Sei C eine glatte Kurve auf dem Gebiet D C mit der Parametrisierung , welche durch t z (t) fr t I =
u
[, ] gegeben ist. Dann deniert die Vorschrift
t z (t) , t [, ]
einen glatten Weg, welcher mit bezeichnet wird. Dieser ist eine Parametrisierung von C. Anschaulich
bedeutet dies genau, den Weg in der anderen Richtung entlangzulaufen.
Ist z1 (s) = z (p (s)), so ist auch z1 (s) = z (p (s)) und es gilt p (s) = ( (p (s))) = p (s) > 0.
p(s)
9 Kurvenintegrale
31
f (z) dz
C
Beweis:
f (z) dz
f (z (t)) z (t) dt
Substitution
f (z (t)) z (t) dt
f (z (t)) (z (t)) dt
f (z) dz
f (z) dz =
C
f (h((t)))
(h((t)))
dt =
t
Beweis:
Es gilt
f (z(t))z (t) dt =
f (z) dz =
C
f (h())h () d
K
9.4
Bemerkung 9.6:
Von jetzt an reden wir nur noch von Kurven anstelle von stckweise stetigen Kurven.
u
9.9 Denition (Parametrisierung st ckweiser stetiger Kurven):
u
Seien zk (t), t [k , k+1 ] fr = 1 < .. < n+1 = Parametrisierungen der Kurven Ck aus obiger Denition,
u
dann deniert:
z1 (t) t [1 , 2 ]
z2 (t) t [2 , 3 ]
z(t) =
zn (t) t [n , n+1 ]
eine Parametrisierung auf C.
32
10 Stammfunktionen
f (z) dz =
k=1
Ck
f (zk ) dzk
Bemerkung 9.7:
Auerdem gelten folgende Zusammenhnge:
a
1.
spur (Ck )
spur (C) =
k=1
2.
C = (Cn ) + (Cn1 ) + .. + (C1 )
Beispiel 9.2:
Sei C : t z(t) = exp (i t) , t [0, 2n], n N, dann folgt
1
dz =
z
i exp (i t)
dt = i
exp (i t)
10
2n
2n
1 dt = 2 i n
0
Stammfunktionen
Beweis:
Sei z(t), t [, ] eine Parametrisierung von C, dann:
f (z) dz
f (z (t)) z (t) dt
F (z (t)) z (t) dt
(F (z (t))) dt
t
= F (z(t))|
= F (b) F (a)
10 Stammfunktionen
33
Bemerkung 10.1:
Man kann auf die Voraussetzung, dass C glatt ist, verzichten. Es gengt, wenn C stckweise glatt ist.
u
u
n
Ck und es folgt
f (z) dz =
k=1
k=1
Beispiel 10.1:
sin z dz =
C
z n dz =
1
(bn+1 an+1 )
n+1
1
dz = 2 i
z
|z|=1
Bemerkung 10.2:
1
Daraus folgt, dass z keine Stammfunktion haben kann, sonst msste das Integral als Dierenz von Anfangspunkt
u
und Endpunkt angewandt auf die Stammfunktion 0 sein (|z| = 1 ist eine geschlossene Kurve).
10.3 Satz (partielle Integration):
Seien f, g holomorph auf D, f (z), g (z) stetig in D und C eine Kurve in D. Dann gilt:
f (z)g (z) dz = f (z)g(z)|C
C
f (z)g(z) dz
C
Beweis:
Man fhrt das Problem auf die Produktregel der Dierentiation zurck:
u
u
(f g) = f g + f g
Integriert man beide Seiten und stellt die entstehende Gleichung um so erhlt man die Behauptung.
a
Beispiel 10.2:
sin2 z dz
cos2 z dz
(1 sin2 z) dz
sin2 z dz
sin2 z dz
sin2 z dz
34
11 Umlaufzahl
10.4 Satz:
Ist F (z) eine Stammfunktion von f (z) in D und h() holomorph in G. Sei weiter h(G) D, so ist F (h())
eine Stammfunktion von f (h())h ()
Beweis:
(F (h())) = F (h())h () = f (h())h ()
10.5 Satz:
Sei f (z) =
n=0
an n+1
z
, |z| <
n+1
n=0
F (z) =
11
11.1
an n+1
z
n+1
n=0
an
z n+1
n+1
n=0
an n+1
n+1 z
an z n = f (z)
n=0
Umlaufzahl
Einleitung und Denition
Sei C : z(t), t [, ], z() = z(), z(t) = 0 t [, ] eine geschlossene Kurve. Sei weiter arg(z(t)) eine
stetige Abbildung in [, ], dann gilt, weil C geschlossen ist,
arg(z()) arg(z()) = 2n fr ein n Z
u
Die Umlaufzahl der Kurve soll die Netto-Anzahl der Umlufe um 0 sein und ist deniert als
a
11.1 Denition (Umlaufzahl):
n(C, 0) :=
1
(arg(z()) arg(z())) heit Umlaufzahl von C
2
Beispiel 11.1:
Betrachten wir nun die geschlitzte komplexe Ebene {z C| < arg(z) < + }. Dann ist
(log z) =
1
z
(11.1)
k=1
[k , k+1 ] mit
= 1 < .. < n+1 =
eine Zerteilung der Kurve C derart, dass arg(zk (t)) (k , k + ) fr k = arg(zk (k )), k = 1, ..., n. Dann
u
11 Umlaufzahl
35
=
k=1 C
k
n
=
k=1
=
z1 =zn+1
=
=
n(C, 0)
dz
z
i(arg(z()) arg(z()))
2 i n(C, 0)
1
2 i
dz
z
C
Also ist die Umlaufzahl auch genau das, was wir von ihr erwartet haben!
11.2
11.2 Denition:
Sei z C, C eine geschlossene Kurve parametrisiert durch z(t), t [, ] und z0 spur(C), dann ist mit
/
n(C, z0 ) =
1
(arg(z() z0 ) arg(z() z0 ))
2
die Umlaufzahl von C um z0 gegeben. Es ergibt sich analog zum vorigen Fall
n(C, z0 ) =
1
2 i
C
dz
z z0
Also ist die Umlaufzahl einer Kurve C um einen Punkt z0 in der komplexen Ebene das gleiche wie die Umlaufzahl
der um z0 verschobenen Kuve C0 = C z0 um 0 C
n(C, z0 ) = n(C0 , 0)
11.1 Lemma:
Ist C eine geschlossene Kurve, so ist n(C, z) auf jeder Zusammenhangskomponente D C \ spur(C) konstant.
Beweis:
Zuerst stellen wir fest, dass die Spur einer geschlossenen Kurve eine kompakte Menge darstellt und daher
C \ spur(C) tatschlich in (bezglich der Topologie von C oene) Zusammenhangskomponenten zerfllt.
a
u
a
Seien nun z1 , z2 D beliebig, dann gilt
n(C, z1 ) n(C, z2 ) =
1
2 i
C
1
1
z z1
z z2
dz =
z1 z2
2 i
C
dz
(z z1 )(z z2 )
Wegen der Kompaktheit von spur(C) ist C \ spur(C) und damit auch all seine Zusammenhangskomponenten D
oen. Folglich gibt es nun eine kompakte Kreisscheibe K D um ein beliebiges z1 D, welche komplett in D
2
liegt. Sei der Radius der Kreisscheibe und z2 K s.d. |z1 z2 | L(C) . Dann gilt:
|n(C, z1 ) n(C, z2 )|
Std.absch.
1
1
|z1 z2 | 2 L(C)
2
L(C)
1
2
n(C, z1 )
n(C, z2 ) z1 , z2 K
Da wir um jeden Punkt z C mit n(C, z) = n(C, z1 ) eine solche Umgebung legen knnen, in der die Umlaufzahl
o
konstant ist, ist
U = {z D | n (C, z) = n (C, z1 )}
36
oen und wegen z1 U auch nicht leer. Aus selbigem Grund (whle andere Umlaufzahl) ist
a
V = {z D | n (C, z) = n (C, z1 )} =
n(C,z1 )=jN
{z D | n (C, z) = j}
12
Beweis:
Skizze: die Pfeile zeigen die Integrationsrichtung beim Durchlaufen des Randes der Dreiecke an.
c
c
ccc
cc
cc
cc
cc
cc
cc
cc
c
cc
cc
cc
cc
4
cc
cc
cc
cc
cc
cc
cc
cc
cc
c
c
ccc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
cc
3
cc
cc
c
c
cc
cc
cc
cc
2
1
cc
cc
cc
cc
cc
cc
f (z) dz =
f (z) dz
j=1
j
und
L(j ) =
L()
2
Sei dazu bemerkt, dass eine solche Aufteilung mit halbierender Seitenlnge auch fr ungleichseitige Dreiecke
a
u
mglich ist, wenn man als Eckpunkte des mittleren Dreiecks gerade die Mittelpunkte der Seiten des groen
o
Dreiecks whlt. Auf diese Weise lsst sich stets leicht durch Parallelverschiebung einsehen, dass der Umfang
a
a
eines jeden der 4 kleinen Dreiecke gerade die Hlfte des Umfangs des groen Dreiecks ist.
a
Whlen wir nun das k {1, 2, 3, 4} derart, dass
a
f (z) dz
f (z) dz = max
i=1,..,4
i
L0
2
und
f (z) dz 4
f (z) dz .
(1)
37
Man wiederholt dieses Verfahren iterativ und erhlt eine Folge (n) von Dreiecken derart, dass gelten:
a
(1)
(2)
Ln = L((n) ) =
(3)
f (z) dz 4n
L0
2n
f (z) dz
(n)
/0
/0
Also > 0 > 0 s.d B (a) D und (0 |h| < ) |r (h)| < .
Wir whlen nun ein m N derart, dass Lm < . Dann folgt wegen der Eigenschaft 1 unserer Folge, dass
a
a (m) . Sei nun z (m) |z a| < Lm < und h = z a, d.h.
f (a + h) = f (z) = f (a) + (z a)f (a) + (z a)r(z a)
und folglich
(f (a) + f (a)(z a)) dz +
f (z) dz =
(m)
(m)
(z a)r(z a) dz
(z a)r(z a) dz =
(m)
(m)
linear in z Stammfunktion =0
f (z) dz <
Std.Absch.
L2
m
(m)
(m)
f (z) dz
f (z) dz
(m)
< 4m L2
m
2
m L0
= 4 m
4
= L2
0
fr beliebig kleines
u
f (z) dz = 0
Beweis:
Wir fhren eine Fallunterscheidung durch:
u
z0
/
Dieser Fall ist trivial
38
5
55
55
55
55
55
55
55
55
55
55
55
55
1
55
55
GG 2
55
G
55
G
0 G
55
GG
z0
Wir teilen das Dreieck so ein, dass drei Dreiecke entstehen, von denen das Dreieck 0 , das z0 enthlt
a
beliebig klein wird. Dann gilt:
2
f (z) dz =
f (z) dz +
0
f (z) dz
i=1
Dieser Ausdruck wird beliebig klein, was bedeutet, dass das Integral uber den Rand des groen Dreiecks
die Summe der Integrale uber die beiden anderen Dreiecksrnder ist. Fr diese gilt die Behauptung.
a
u
sonst
man kann in diesem Fall das Dreieck derart zerlegen, dass z0 Eckpunkt einer Menge von kleineren Dreiecken
wird und das Integral analog zu oben zerfllt. Dann benutzt man den zweiten Fall.
a
13
13.1 Denition:
Ein Gebiet D heit sternfrmig mit Zentrum c D, wenn folgende Eigenschaft erfllt ist:
o
u
{tc + (1 t)g | t [0, 1]} D g D
13.1 Satz:
Ist f im sternfrmigen Gebiet D mit Zentrum c holomorph und gilt fr jedes Dreieck D
o
u
f (z) dz = 0
so ist
F (z) :=
c
f () d, z D
eine Stammfunktion von f auf D, wobei die Integration entlang der Strecke von c nach z erfolgt.
39
Beweis:
Seien z, z + h D derart dicht beieinander, dass auch die Verbindunsstrecke komplett in D enthalten ist, dann
folgt nach Voraussetzung
f () d =
f () d +
f () d +
c
z+h
z+h
f (z) dz = 0
f () d
F (z + h) = F (z) +
z
z+h
= F (z) +
z+h
(f () f (z)) d
f (z) d +
z
1
= F (z) + hf (z) + hr(h) mit r (h) =
h
z+h
(f () f (z)) d
Wegen der Stetigkeit von f gilt nun > 0 > 0 s.d. |t z| < |f (t) f (z)| <
1
Damit folgt dann fr |h| < dass r(h) < h h = , was gleichbedeutend ist mit
u
r(h)
/0
/0
f (z) dz =
C2
C1
Beweis:
Dies ist eine direkte Folgerung aus dem Integrallemma von Coursat und Satz 1: Da f holomorph ist, gibt es
eine Stammfunktion F , d.h.
f (z) dz = F |C
C
f (z) dz = F |a =
C1
f (z) dz
C2
40
1
2 i
f ()
d
z
Beweis:
Wir denieren die Funktion f1 auf D durch
f ()f (z)
z
f1 () :=
f (z)
falls z = D
falls = z
Dann ist f1 in D \ {z} eine holomorphe Funktion und auerdem stetig in z. Damit knnen wir den Integralsatz
o
von Cauchy verwenden (siehe Zusatz), d.h.
(1)
(2)
0 =
f1 () d =
C
f () f (z)
d
z
wobei (1) deshalb gilt, weil C geschlossen ist (Integralsatz von Cauchy) und (2) einfach nach Denition von f1
folgt, da z spur (C), d.h. = z. Jetzt zerlegen wir dieses Integral, also
/
0=
C
Da aber
C
1
z
f ()
d
z
f (z)
d
z
1
2 i
C
f ()
d
z
Folgerung 13.1 (Der Cauchysche Integralsatz von Kreisscheiben und die Mittelwertformel):
1. Sei f holomorph in dem Gebiet D C und die Menge A := {z C | |z a| < r} fr festes a liege mit
u
Rand A gnzlich in D. Dann gilt
a
f (z) =
1
2 i
|a|=r
f ()
d
z
f (a) =
1
2
f (a + r exp (i )) d
Beweis:
1. Oenbar ist das Gebiet A sternfrmig. Also kann der Integralsatz fr die Kurve angewendet werden,
o
u
welche den Rand parametrisiert.
2. Dies folgt direkt aus Folgerung 1), indem man die Parametrisierung
() := a + r exp (i ) , [0, 2]
verwendet, denn dann ist () = i r exp (i ) und durch Krzen folgt so direkt die Behauptung.
u
41
13.1 Hilfssatz:
Fr z C mit |z| < 1 und fr alle n N gilt:
u
u
1
n
(1 z)
1+
k=1
k=2
n (n + 1) ... (n + k 1) k
z
1 2 ... k
1 + n z + z 2 qn (z)
=
mit qn (z) :=
n(n+1)...(n+k1) k2
z
.
12...k
|qn (z) |
1
n
2 (1 )
Beweis:
Induktion uber n.
Induktionsanfang: Fr n = 1 ist die Aussage genau die Summenformel der geometrischen Reihe.
u
Induktionsvoraussetzung: Gelte die Behauptung fr alle m n, d.h. wir nehmen an, dass die Reihe fr
u
u
alle m n konvergiert und die Aussagen erfllt.
u
Induktionsanfang: Wir dierenzieren die Aussage fr n, welche nach I.V. gilt:
u
n
n+1
(1 z)
1
k=1
n+1
(1 z)
k=1
Indexverschiebung
n+1
(1 z)
1+
n (n + 1) ... (n + k 1)
k z k1
1 2 ... k
(n + 1) ... (n + k 1) k1
z
1 2 ... (k 1)
k=1
(n + 1) ... ((n + 1) + k 1) k
z
1 ... k
k=2
1
2
n (n + 1) ... (n + k 1) k2
1 2 ... k
1+
k=1
n (n + 1) ... (n + k 1) k
1 2 ... k
eben gezeigt
1
(1)n
1
n
(1 )
13.2 Hilfssatz:
Sei g eine stetige Funktion in dem Gebiet G C, C eine Kurve in G und D ein Gebiert, welches C nicht
schneidet, also D C \ spur (C).
Dann ist die Funktion
g ()
d fr z D
u
f (z) :=
z
C
f (n) (z) = n!
n+1
( z)
d fr z D, n N0
u
Beweis:
Sei z D. Wir whlen ein > 0 s.d. B (z) D gilt. Sei weiter 0 < < 1 und spur (C). Whle ein h C
a
a
s.d. |h| . Dann gilt zunchst
a
h
42
g ()
u
n d f r z D
( z)
fn (z) :=
C
Hilfssatz 13.1
h
z
1
n
( z)
h
+
z
1+n
h
z
h
z
qn
g ()
n d =
( (z + h))
g ()
n d + n h
( z)
g ()
n+1
g () qn
( z)
d + h
h
z
n+2
( z)
h
z
n+2
( z)
h
1
Wie oben gesehen ist z , also nach Hilfssatz 13.1 auch qn (z) 2 (1)n . Weiter ist ( z) > nach
Voraussetzung und somit gilt mit der Bezeichnung M := sup |g () | < die Relation
spur(C)
M L ()
n
2 (1 ) n+2
/0
/0
u
Also ist fn holomorph in D und es gilt fn (z) = n fn+1 (z) fr alle n N. Da aber f (z) = f1 (z) folgt damit
die Behauptung.
Bemerkung 13.1:
Unter den Voraussetzungen von Satz 3 gilt also:
f (z) =
1
2 i
f (z) =
1
2 i
|a|=r
Hauptsatz 2
f ()
2
|a|=r
f (n) (z) =
f ()
d falls |z a| < r
z
( z)
f ()
n!
2 i
n+1
|a|=r
( z)
Nach Hilfssatz 2 ist diese Funktion sowie alle ihre Ableitungen aber holomorph.
43
n!
2 i
f ()
n+1
|a|=r
( z)
Beweis:
Sei z D gegeben. Wir knnen eine Kreisscheibe C um z legen, s.d. C D. Dann ist C sternfrmig
o
o
und somit existiert nach Satz 1 und der Voraussetzung eine Stammfunktion F auf C. Dann ist f auf C
aber Ableitung einer holomorphen Funktion und somit selbst wieder holomorph. Da dies fr jeden Punkt
u
z D gilt, muss f also auf ganz D holomorph sein.
13.6 Satz:
Sei D C ein Gebiet, z0 D. Ist f auf D \ {z0 } eine holomorphe Funktion, welche an z0 stetig ist, so ist f
holomorph in ganz D.
Beweis:
Dies folgt direkt aus dem Integrallema von Coursat in Verbindung mit Satz 5.
Sei f = u + i v eine in dem Gebiet D C holomorphe Funktion mit stetiger Ableitung. Schreibe z = x + i y.
Sei weiter C die Kurve, welche den Rand einer Kreisscheibe B beschreibt (im mathematisch positiven Sinne),
s.d. B D. Dann gilt:
f (z) dz
(u + i v) ( dx + i dy)
C
(u dx + v dy) + i
C
Gauscher Integralsatz
v
u
+
x y
Cauchy-Riemann-DGLs
(v dx + u dy)
C
u v
x y
dx dy + i
dx dy
Unter einigen zustzlichen Voraussetzungen an das Gebiet, die Kurve und die Funktion kann man also den
a
Integralsatz von Cauchy auch uber den allgemeineren Satz von Gau beweisen.
44
14
14 Taylorentwicklung
Taylorentwicklung
14.1 Satz:
Sei f holomorph in D Br (z0 ), dann gilt fr |z z0 | < r und N N die Taylorsche Formel:
u
N
f (z) =
mit
TN (z) =
f (n) (z0 )
(z z0 )n + TN (z)
n!
n=0
1
2 i
|z0 |=r
f () (z z0 )N +1
d
( z)( z0 )N +1
Beweis:
Sei 1 = z C und N N: Dann gilt
1
z N +1
= 1 + z + z 2 + .. + z n +
1z
1z
(14.1)
1
( z0 ) (z z0 )
( z0 ) 1
zz0
z0
N +1
(z z0 )
1
z z0
(z z0 )
+
+
2 + .. +
N +1
N +1
z0
( z0 )
( z0 )
( z) ( z0 )
(14.1)
(14.2)
Integralformel
1
2 i
|z0 |=r
(14.2)
f ()
d
z
1
2 i
n=0
+
f ()
|z0 |=r
1
2 i
|z0 |=r
Integralformel
1
d(z z0 )n
( z0 )n+1
f ()
d(z z0 )N +1
( z)( z0 )N +1
f (n) (z0 )
1
n
(z z0 ) +
n!
2 i
n=0
|z0 |=r
f ()
d(z z0 )N +1
( z)( z0 )N +1
f (n) (z0 )
f (z) =
(z z0 )n .
n!
n=0
Beweis:
Sei |z z0 | < r in D, M :=
folgt:
Und dann:
sup
|z0 |=r
z z0
1
(z z0 )N +1
=
N +1
( z)( z0 )
( z)
z0
|TN (z)|
N +1
1
( z0 ) (z z0 )
M N +1
1 M N +1
2r =
2 r(1 )
1
r
r
/0
N +1
N +1
r(1 )
14 Taylorentwicklung
45
Beispiel 14.1:
1.
exp (z) =
2.
1
1z
(n)
1
1z
exp (z0 )
(z z0 )n
n!
n=0
n!
(1z)n+1 .
z C : |z z0 | < |z0 1| :
(z z0 )n
1
=
1 z n=0 (1 z0 )n+1
1
(1)n1 (n 1)!
log(n) (z) =
z
zn
(1)n+1
(z z0 )n
nz n
n=1
|z z0 | < |z0 |
|z z0 | < |z0 (z0 )|
(z0 ) 0
(z0 ) < 0
(1)n+1
(z 1)n |z 1| < 1
nz n
n=1
4. Wie betrachten |z| < 1, a C, f (z) = (1 + z)a = exp (a log (1 + z)) auf dem Hauptzweig. Dann ergibt
sich
a(a 1) .. (a n + 1)
1
(n)
((1 + z)a ) =
(1 + z)an
n!
n!
und damit beim Entwickeln von f um 0
a
(1 + z) =
n=0
14.3 Satz:
Sei z0 C, R > 0 und f (z) =
Dann gilt:
n=0
an =
1
f (n) (z0 )
=
n!
2 i
|z0 |=r
a n
z
n
|an |
f ()
d, 0 < r < R
( z0 )n+1
M (r)
, M (r) = sup |f ()|
rn
|z0 |}r
Beweis:
Oensichtlich gilt:
f
(k)
(z0 ) =
n=k
1 (k)
f (z0 )
k!
Weiter gilt
|ak |
M (r)
1 M (r)
2r =
2 rn+1
rn
Bemerkung 14.1:
Die letzte Aussage des Satzes wird auch Koezientenabschtzung von Cauchy genannt.
a
14.1 Denition (ganze Funktion):
Ist f eine auf ganz C holomorphe Funktion, so nennen wir f eine ganze Funktion.
46
14 Taylorentwicklung
n=0
M
rn
M
, r > 0, n N
rn
an = 0 n > 0
/0
Bemerkung 14.2:
Dieser Satz heit zwar Satz von Liouville, welcher ihn 1847 auch tatschlich bewies, jedoch hatte Cauchy diesen
a
Satz bereits drei Jahre frher gezeigt.
u
14.5 Satz (Fundamentalsatz der Algebra):
Ein nicht-konstantes Polynom besitzt mindestens eine Nullstelle in C
Beweis:
Sei p(z) = a0 + a1 z + .. + an z n ein Polynom mit an = 0.
1
Angenommen p(z) = 0 z C, dann folgt f (z) = p(z) ist eine ganze Funktion und wegen der Nullstellenfreiheit
von f beschrnkt. Damit ist f mit dem Satz von Liouville aber konstant, was bedeutet, dass p konstant war.
a
Bemerkung 14.3:
Aus dem Satz folgt fr ein allgemeines Polynom p:
u
k
n=1
n
an (z n z1 ) = (z z1 )(z)
p
Oensichtlich ist der Grad von p gerade um 1 kleiner als der von p und wir knnen so oft Nullstellen von p
o
abspalten, bis ein konstanter Teil ubrig bleibt (gerade an ) und es gilt am Ende:
14.1
Nullstellenordnung
14.6 Satz:
Sei f (z) 0 holomorph in D, dann:
z C nz N : 0 = f (z) = f (z) = .. = f (nz 1) (z), f (nz ) (z) = 0
nz heit dann Nullstellenordnung von f an z
Beweis: Wir denieren
U
:=
:=
z0 D | f (n) (z0 ) = 0 n N
Da f insbesondere stetig ist, muss U oen sein. V ebenfalls oen, da f an solchen Stellen z0 V konstant ist.
Damit ist aber
D = U V, U V =
also D = V oder D = U , da D als Gebiet zusammenhngend ist. Da aber f 0 muss U = sein, da insbesondere
a
ein z0 D mit f (0) (z0 ) = f (z0 ) = 0 existiert. Also ist V = und fr jedes z D existiert ein nz wie in der
u
Behauptung.
47
14.7 Satz:
Sei f 0 eine holomorphe Funktion, z0 D und m N, dann sind quivalent:
a
1. m ist Nullstellenordnung von f an z0
2. f (z) =
n=m
Die Aquivalenz der ersten beiden Aussagen folgt direkt aus Satz 14.3. Und die Aquivalenz der letzten beiden
Aussagen erhlt man durch Ausklammern bzw. den Satz 14.3.
a
m(f, z0 ) m(g, z0 ) m
f
, z0
g
= m(f, z0 ) m(g, zo )
Beweis:
In der Tat :f (z) = (z z0 )m(f,z0 ) h(z), h(z) = 0 und g(z) = (z z0 )m(g,z0 ) h (z0 ), h (z) = 0 und damit
15
15.1 Satz:
f 0 sei holomorph in D, dann gilt fr alle z0 D
u
r > 0 : f (z) = 0 0 < |z z0 | < r
Mit anderen Worten: die Menge der Nullstellen hat keinen Hufungspunkt5 in D.
a
Beweis:
Wir schreiben
f (z) = (z z0 )m(f,z0 ) h(z)
(15.1)
mit h(z0 ) = 0 fr eine holomorphe Funktion h. Da h insbesondere auch stetig ist Umgebung U von z0 s.d.
u
h(u) = 0 u U . Nach (15.1) ist dann aber auch f (u) = 0 u U mit u = z0 .
5 Dies ist nicht zu verwechseln mit dem Hufungspunkt einer Folge. Ein Punkt a heit Hufungspunkt einer Teilmenge A C,
a
a
falls > 0 die Menge B (a) A unendlich ist! Vergleiche auch [FOA].
48
Bemerkung 15.1:
Das gilt nicht in R, Gegenbeispiele sind
f (x) =
1
exp x2
0
f (x) =
1
1
exp x2 sin x
0
x>0
x0
x=0
x=0
g1 (x)
g2 (x)
Beispiel 15.1:
1.
f (z) =
2.
f (z) =
3.
f (z) =
n=0
f (x)
0
=
f (x)
z n , |z| < 1
zn
, |z| < 1
n
n=1
f (x) x > 0
0
x0
g(x) =
x>0
x=0
x<0
1
, z=1
1z
zn
, |z| < 1 - der sogenannte Bilogarithmus
n2
n=1
x > 0
n=1
49
z n1
n
log(1z)
z
|z| < 1.
z
g(z) =
log(1 )
d
0
log(1z)
.
z
f (z) =
n=0
z n! , |z| < 1
u
u
Angenommen G wre ein Gebiet, B1 (0) G, dann ist exp 2 i p G fr natrliche p und q und es gibt
a
q
ein M N derart, dass f r exp 2 i p
q
f
p
q
r exp 2 i
rn! exp 2 i
=
n=0
pn!
q
rn!
n=q
rn! <
rn! < M + q
n=q
n=q
Mit N = M + 2q folgt
M +2q
n=q
an z kn , an = 0,
n=0
kn
n
Die durch obige Reihe denierte Funktion lsst sich sich nicht fortsetzen in einem Gebiet, dass B1 (0) echt
a
enthlt.
a
15.0.1
Seien f (z) =
dann gilt
n=0
f (n) (z1 )
=
n!
k=n
n=0
k!
1
ak (z1 z0 )kn =
(k n)!
n!
k=n
k
ak (z1 z0 )kn
n
und man erhlt f (z) auf Br0 (z0 ) Br1 (z1 ) durch Taylorentwicklung um z1
a
16
/n
punktweise
f in A fn (z)
/ f (z) z A
50
fn + gn
/ f + g
2.
M : |fn (z)| M |gn (z)| M n N, z fn gn
/ fg
Auch hier kann man den Beweis wrtlich aus der reellen Analysis abschreiben.
o
16.2 Satz ( ber die gleichmige Konvergenz):
u
a
Seien fn , n N auf A C denierte stetige Funktionen und konvergiere
/f
fn
gleichmig auf A. Dann ist f stetig in A.
a
Auch dieser Beweis stimmt wrtlich mit dem aus der reellen Analysis uberein.
o
16.3 Denition:
Seien fn , n N in dem Gebiet D C erklrte Funktionen. Die Folge (fn )nN heit lokal gleichmig
a
a
konvergent in D, wenn es zu jedem Punkte z D eine Umgebung U gibt, in welcher die Funktionenfolge
gleichmig konvergiert.
a
a
Sie heit kompakt konvergent in D, wenn sie in jedem Kompaktum K D gleichmig konvergiert.
16.2 Lemma:
Es gilt die folgende Beziehung:
Lokal gleichmige Konvergenz kompakte Konvergenz
a
Beweis:
a
Sei K D kompakt, z0 D und Uz0 eine Umgebung von z0 s.d. die Folge (fn )nN auf Uz0 gleichmig
konvergent ist. Oenbar ist
K
Uz0
Da aber K kompakt z1 , ..., zn K s.d.
z0 K
n
Uzj
j=1
Sei nun > 0 vorgegeben. Dann whlen wir ein nj N s.d. n nj gilt:
a
|fn (z) f (z)| <
Setzen wir jetzt n0 := max nj , so gilt n nj , z K:
j=1,...,n
Zu jedem z D nden wir eine abgeschlossene Kreisscheibe B D, die oenbar kompakt ist. Da die
a
a
Funktionenfolge aber auf B gleichmig konvergiert, muss sie auch auf B gleichmig konvergieren, folglich
liegt auch lokal gleichmige Konvergenz vor.
a
16.1
51
fn (z)
n=1
m
fn (z)
n=1
16.5 Denition:
Man sagt, die Reihe
.
mN
n=1
|fn (z)|
n=1
gleichmig in A konvergiert.
a
Bemerkung 16.1:
Konvergiert die Reihe
n=1
Aussage folgt direkt aus dem Satz uber absolute und normale Konvergenz.
n=1
n < , so ist
fn (z) <<
n=1
n=1
n=1
Beispiel 16.1:
1. Die Funktionsfolge (z n )nN konvergiert fr |z| < 1 lokal gleichmig:
u
a
zn
2. Eine Potenzreihe
n=0
an (z z0 )
/0
gleichmig konvergent:
a
n
Sei 0 < r < . Dann ist |an (z z0 ) | < |an |rn fr |z z0 | < r, folglich ist
u
n=0
3.
n=1
zn
n2
an (z z0 )
<<
n=1
|an |rn
ist sogar (global!) gleichmig konvergent in {z C | |z| < 1}. Dies sieht man durch die Majorante
a
zn
n2
n=1
<<
1
n2
n=1
z
n
/ exp (z)
52
Zunchst zeigen wir fr den Hauptzweig des Logarithmus und |z| < 1 die Ungleichung
a
u
| log (1 + z) z|
In der Tat, bekanntlich ist log (1 + z) =
k=1
(z)k
k
log (1 + z) z
1 |z|2
2 1 |z|
k=2
(z)
k
1 z
+ ...
2 3
1 |z|
+
+ ...
|log (1 + z) z| |z|2
2
3
|z|2
z
n
Sei nun R > 0, |z| < R und n > 2R. Dann ist
1
2
z
|z|2
z
2
n
n
n
log 1 +
Allgemein gilt aber
1+
z
n
= exp n log 1 +
z
n
z
z
n
n
genauso wie |exp (z)| exp |z| und |exp (z) 1| |z| exp |z|. Damit gilt dann aber:
1+
z
n
exp (z)
|z|2
n
3
1
R R2
2
n
exp |z|
exp
z
z
n
n
|z|2
exp
n
16.3 Satz:
Die Funktionen fn , n N seien in dem Gebiet D C stetige Funktionen und sei die Funktionenfolge (fn )nN
bzw die Reihe
n=1
n
C
bzw.
fn (z) dz
fn (z) dz
lim
fn (z) dz
n=1 C
C n=1
Beweis:
Wir zeigen nur den Fall der Folge, der der Funktionsreihe ist analog zu beweisen.
Sei > 0 vorgegeben. Oenbar ist spur (C) kompakt in D. Wir whlen nun ein n0 N s.d.
a
|fn (z) f (z)| <
fr n n0 und z spur (C). Dies ist wegen der lokal gleichmigen und somit wegen der kompakten Konvergenz
u
a
mglich. Damit gilt:
o
f (z) dz
C
fn (z) dz
C
(f (z) fn (z)) dz
=
Standardabschtzung
a
L (C)
53
16.4 Satz:
Sind fn , n N holomorphe Funktionen in dem Gebiet D C und konvergiert die Funktionenfolge (fn )nN bzw.
die Reihe
n=1
fn (z)
n=1
fn (z)
n=1
n=1
Beweis:
Auch hier zeigen wir nur den Fall der Folge f (z) = lim fn (z), der Fall der Funktionsreihe ist auch hier absolut
n
analog zu beweisen.
Sei D ein Dreieck. Nach dem Kriterium von Morera gilt:
f (z) dz
Satz 1
lim
fn (z) dz = 0
f (z) fn (z) =
f () fn ()
1
2 i
|z0 |=r
( z)
r
r
Ist allerdings |z z0 | 2 , so gilt fr | z0 | = r auch | z| 2 .
u
|f (z)
fn
sup |f () fn ()|
1 |z0 |=r
2
(z)| =
r 2
2
2
Geben wir uns nun ein > 0 vor, so whlen wir ein n0 N s.d. n n0 und | z0 | < r gilt:
a
|f () fn ()| <
Dies ist mglich, da {z C | | z0 | = r} kompakt in D und die Folge (fn )nN auf Grund ihrer lokal gleicho
migen Konvergenz auch kompakt konvergent in D ist. Damit folgt dann:
a
r
und n n0
2
Folgerung 16.1:
1. Unter den Voraussetzungen von Satz 2 gilt fr alle k N0 :
u
f (k) (z) =
bzw. f (k) (z) =
(k)
lim fn (z)
(k)
fn (z)
n=1
(k)
lim fn
nN
(k)
fn
n=1
gent in D.
k=0
ak (z z0 )
und fn (z) =
k=0
an (z z0 )
k
54
dass
ak
bzw. ak
n=1
Beweis:
(k)
lim fn
nN
bzw.
(k)
fn
an.
n=1
2. Wir setzen die Formel fr die Koezienten ein, welche uns der Satz von Taylor liefert:
u
(k)
lim fn (z0 )
f (k) (z0 )
ak =
= n
= lim an
k
n
k!
k!
Der Beweis fr die Darstellung der Koezienten der Reihe verluft analog.
u
a
Bemerkung 16.2:
fn (z) gilt:
Fr die Reihe
u
n=1
n=1 k=0
an (z z0 ) =
k
fn (z) = f (z) =
n=1
k=0
ak (z z0 ) =
k=0 n=1
an (z z0 )
k
n=1
1
z+n
1
n
n=1
1
(z + n)
k+1
Beweis:
Wir weisen die lokal gleichmige Konvergenz auf C \ {1, 2, ...} nach.
a
Sei R > 0, 0 < r < 1 , |z| R und |z + n| r. Durch geeignete R > 0 und r > 0 knnen wir somit jedes
o
2
z C \ {1, 2, ...} erreichen. Jetzt gilt:
|z|
1
1
=
z+n n
|z + n| n
Da aber jetzt fr n 2R und C :=
u
4R3
r
R
r
|z|
|z|
n2 (1 n )
2R
n2
falls n 2R
falls n > 2R
die Relation
R
C
C
2 n2
r
(2R)
n=1
1
1
z+n n
<<
C
n2
n=1
1
ns
n=1
fr s C, s = + i t mit > 1. Diese Reihe konvergiert dort lokal gleichmig (und ist somit holomorph).
u
a
Beweis:
55
1
ns
n=1
1
n1+
n=1
<<
und diese Majorante konvergiert6 . Also ist (s) in {s C | s = + i t mit > 1} lokal gleichmig kona
vergent.
n1
(1)
ns
n=1
fr s {z C | z = + i t, > 0}. Diese Funktionsreihe ist in diesem Gebiet zwar lokal gleichmig, aber
u
a
nicht absolut konvergent.
Beweis:
Wie in der Behauptung bereits erwhnt hilft uns hier die Abschtzung durch die Betrge nicht, wir
a
a
a
verwenden daher die partielle Summation 7 :
N
n=1
an bn = sN bN +
Da aber
d
dt
1
ts
s
ts+1
n1
(1)
ns
n=1
N 1
n=1
n1
sn (bn bn+1 ) fr sn =
u
1
ns
und bn =
1 (1)
2N s
ak , s0 := 0
k=1
N 1
n=1
1 (1)
2
1
1
s
s
n
(n + 1)
1
1
s
s
n
(n + 1)
= s
n
n+1
1
1
s
s
n
(n + 1)
|s|
dt
ts+1
dt
|s|
n+1
ts+1
n
s +1
s
n
n
(n + 1)
Da
n=1
1
n1+
konvergiert und
1 (1)
2N s
/0
wegen > 0, haben wir eine konvergente Majorante gefunden und somit muss auch
n1
(1)
ns
n=1
lokal gleichmig konvergieren.
a
6 Vergleiche
7 Vergleiche
das Di I Skript
Hilfssatz 8.1
1(1)n
.
2
56
17 Parameterintegrale
1
(2n + 1)
n=0
absolute Konvergenz
n = 1
(2n)
1
1
2
n
(2n)
n=1
n=1
1
n
n=1
1 21
1 21 ()
Folglich stimmen also 1 21 () und a () auf (1, ) uberein. Damit folgt nach dem Iden
tittssatz
a
a (s) = 1 21s (s) s = + i t C mit > 1
Oder anders geschrieben sehen wir
(s) =
1
a (s)
1 21s
2 i
log(2)
k, k Z8 .
Also haben wir durch die alternierende Zeta-Funktion eine Fortsetzung von gefunden!
17
Parameterintegrale
17.1
Einfuhrung
Seien D C und G C zwei Gebiete und sei f eine Funktion in den Variablen z D und w G, d.h.
f :DG
/ C, (z, w) f (z, w) .
17.1 Denition:
Wir sagen, f ist stetig , falls (z0 , w0 ) D G gilt:
> 0 > 0 s.d. (z, w) D G mit |z z0 | < , |w w0 | < gilt |f (z, w) f (z0 , w0 ) | <
Beispiel 17.1:
Sei f (z, w) = wz1 exp (w) fr z C, w C\(, 0], wobei die Potenz uber den Hauptzweig des Logarithmus
u
berechnet werden mge. Dann ist f stetig, doch wir werden dies nicht uber die Denition einsehen. Stattdessen
o
Bedingung (A)
In Folge werden wir immer sagen, f erfllt die Bedingung (A), falls die folgenden beiden Relationen erfllt
u
u
sind:
f ist holomorph bezglich z D bei festem w G.
u
f ist stetig als Funktion von (z, w) D G.
17.1 Satz:
Erfllt f die Bedingung (A), so erfllt auch
u
u
f
z
diese Bedingung.
Beweis:
8 Bedenke:
17 Parameterintegrale
57
f
z
f (z, w) =
n=0
an (w) (z z0 )
1 nf
1
n (z0 , w) =
n! (z)
2 i
f (, w)
n+1
( z0 )
|z0 |=r
f
n1
n an (w) (z z0 )
(z, w) =
z
n=1
Damit gilt dann
f
f
n1
(z, w)
(z0 , w0 ) = a1 (w) a1 (w0 ) +
n an (w) (z z0 )
z
z
n=2
(2)
(1)
Wir mssen jetzt also die Terme (1) und (2) abschtzen um die Stetigkeit von f in (z0 , w0 ) zu zeigen.
u
a
zu (1) Sei M :=
sup |f (z, w) | < . Dann gilt mit der Koezientenabschtzung von Cauchy:
a
(z,w)K
|an (w) |
Fr z D mit |z z0 |
u
n=2
r
2
M
n N0 , w G mit |w w0 | r
rn
gilt also:
nan (w) (z z0 )
n1
n=2
4M
r2
M
|z z0 |n2
rn
n
2n
n=2
|z z0 |
|z z0 |
:=C
f (, w) f (, w0 )
1
2 i
|z0 |=r
( z0 )
Ist nun |z z0 | < , |w0 w| < mit dem aus (17.1), so gilt durch die Standardabschtzung:
a
|a1 (w) a1 (w0 ) |
1
1
2r sup |f (, w) f (, w0 ) | 2 <
2
r
r
|z0 |=r
=L(C)
<
58
17 Parameterintegrale
(z, w)
(z0 , w0 ) < + C|z z0 |
z
z
r
Setzen wir nun 1 := min (, ) und verlangen |z z0 | < , so ist sogar
f
f
(z, w)
(z0 , w0 ) <
z
z
1
+C
r
Folgerung 17.1:
Erfllt f die Bedingung (A), so tun es auch alle Ableitungen nach z:
u
kf
k N0
(z)
17.2 Satz:
Erflle die Funktion f die Bedingung (A) und sei C eine Kurve in G Dann stellt das Parameterintegral
u
(z) :=
f (z, w) dw
C
(z) =
C
Beweis:
Sei z0 D vorgegeben, w G beliebig und K wie oben deniert:
K := {(z, w) C C | |z z0 | r, |w w0 | r}
mit r > 0 s.d. K D G gilt. Sei weiter M :=
sup |f (z, w) |.
(z,w)K
Betrachten wir |h| < r so knnen wir ( ) wegen der Holomorphie von f in der Variablen z und ( ) nach dem
o
Satz von Taylor schreiben:
f (z0 + h, w)
( )
( )
f (z0 , w) + h
f
(z0 , w) + h r (h, w)
z
(17.2)
an (w) hn
n=0
f (z0 , w) + h
Also muss
r (h, w) =
f
an (w) hn1
(z0 , w) + h
z
n=2
an (w) hn1
n=2
r
2
gilt also unter Verwendung der Koezientenabschtzung von Cauchy wie oben:
a
|r (h, w) | |h|
M
rn
n=2
r
2
n2
4M
r2
1
2n
n=2
|h|
:=C
Integrieren wir jetzt (17.2) uber die Variable w entlang der gegebenen Kurve C, so erhalten wir
f
(z0 , w) dw + h R (h)
z
(z0 + h) = (z0 ) + h
C
17 Parameterintegrale
mit R (h) =
C
59
r
2
/0
womit komplex dierenzierbar an der Stelle h D ist und die Ableitung wie in der Behauptung angegeben
hat. Da z aber beliebig war, ist somit in ganz D holomorph.
Folgerung 17.2:
Mit Satz 1 gilt jetzt unter den Voraussetzungen von Satz 2:
kf
k (z) =
(z)
f (z, w) dw
Beispiel 17.2:
Wir betrachten wieder f (z, w) = wz1 exp (w). Sei C eine Kurve mit spur (C) C \ (, 0]. Dann ist
wz1 exp (w) dw
(z) =
C
(z) =
Eigentlich wrden wir jetzt gerne als Kurve die Strecke (0, ) betrachten. Doch damit wir das knnen, bentigen
u
o
o
wir erst den Begri des uneigentlichen Integrals.
17.2
Uneigentliche Integrale
f (t) dt
f (t) dt := lim
falls dieser Limes existiert. Analog denieren wir im Falle der unteren Grenze t (, ].
Beispiel 17.3:
Bekanntlich gilt
d
dt
ts
s
s1
ts1 dt = lim
dt = lim
ts1 dt =
0
1 s
s
s
1
im Falle (s) > 0
s
ts1 dt = lim
1
s
s
s
1
s
17.3 Denition:
Sei f eine in dem Gebiet D C stetige Funktion, C eine Kurve, welche bis auf dem Endpunkt in D liegt. Sei
weiter z (t) , t [, ] eine Parametrisierung von C.
60
17 Parameterintegrale
f (z (t)) z (t) dt
f (z) dz :=
wieder unter dem Vorbehalt, dass die rechte Seite Sinn macht.
Analog denieren wir ein uneigentliches Integral im Falle, dass der Anfangspunkt der Kurve nicht in D liegt.
Wir wollen nun unseren Begri der Kurve etwas erweitern.
17.4 Denition:
/ C der Form t a + t exp (i ) fr ein a C und einen Winkel
Ein Strahl S ist eine Abbildung S : [0, )
u
[0, 2).
Analog deniert man Strahlen mit t (, 0].
17.5 Denition:
Wir erweitern unseren Begri der Kurve jetzt dadurch, dass wir fr Strahlen S und S , sowie fr eine Kurve C
u
u
jetzt folgende Gebilde als Kurven in C bezeichnen:
C, C + S, S + C, S + C + S, S, S , S + S
Dabei mssen wir den Abschluss von C verwenden, da die Kurven im unendlichen beginnen und / oder enden
u
knnen.
o
Bemerkung 17.1:
Dabei greifen wir fr die Addition auf die Denition der Addition zweier Kurven zurck. Stimmt der Endpunkt
u
u
der Kurve C1 mit dem Anfangspunkt der Kurve C2 uberein, so ist C1 + C2 deniert. Daher ist oben jeweils von
f (z) dz =
f (z) dz := exp (i )
a
f (a + t exp (i )) dt
Dabei setzen wir voraus, dass das reelle uneigentliche Integral - welches rechts steht - konvergiert.
Analog deniert man das Integral fr einen Strahl mit t (, 0].
u
Bemerkung 17.2:
Damit knnen wir jetzt wieder uber alle Kurven integrieren.
o
Wir haben jetzt zwei Mglichkeiten, wie ein uneigentliches Integral zu Stande kommen kann:
o
Der Integrand ist an Anfangs- oder Endpunkt der Kurve nicht deniert.
Anfangs- und / oder Endpunkt der Integration ist .
Beispiel 17.4:
Die -Funktion:
1
w1
B (z, w) :=
0
17.7 Denition:
Sei f : A [, )
uneigentliche Integral
tz1 (1 t)
dt
f (z, t) dt
u
u
heit gleichmig konvergent in A C, falls es fr jedes > 0 ein 0 (, ) gibt, s.d. fr jedes (0 , )
a
gilt:
f (z, t) dt =
f (z, t) dt
f (z, t) dt < z A
17 Parameterintegrale
61
Bemerkung 17.3:
Diese Eigenschaft prft man zumeist nicht durch die Denition, sondern durch die Angabe einer Majorante fr
u
u
/ R eine Majorante, falls
das Integral: Fr eine Funktion f wie oben ist eine stetige, reelle Funktion g : [, )
u
|f (z, t) | g (t) t [, ) z A
und falls
g (t) dt konvergiert. Der Beweis dafr, dass eine Majorante hinreichend ist, folgt direkt aus der
u
1.
0
t1 dt
0
t
2
exp
t
2
C exp
t
2
f (z, w) dw =
C
lokal gleichmig konvergent in D, falls es zu jedem Punkt z0 D eine Umgebung U gibt, s.d. das Integral
a
in dieser Umgebung gleichmig konvergiert.
a
Das Integral heit kompakt konvergent, falls es in jedem Kompaktum von D gleichmig konvergiert.
a
Analog deniert man kompakte und lokal gleichmige Konvergenz fr den Fall, dass der Anfangspunkt von C
a
u
nicht in G liegt.
17.2.1
17.1 Hilfssatz:
Sei g eine in dem Gebiet D C holomorphe Funktion und seien auch die Funktionen g fr beliebiges (, )
u
holomorphe Funktionen. Fr jede Folge n (, ) mit lim n = sei die Konvergenz
u
n
gn
/g
Aufgabe! Ublicherweise wird dieser etwas fummelig zu beweisende Hilfssatz durch Widerspruch gezeigt.
62
17 Parameterintegrale
17.3 Satz:
/ C die obige Bedingung (A). Sei weiter C eine Kurve in C,
Seien D C, G C Gebiete und erflle f : DG
u
welche bis auf den Endpunkt (ganz analog fr den Anfangspunkt) in G verluft. Konvergiert das uneigentliche
u
a
Integral
f (z, w) dw, z D
(z) :=
C
(z) =
C
Beweis:
Sei t w (t) , t [, ) eine Parametrisierung von C ohne Endpunkt und (, ). Wir denieren C als die
Kurve, welche durch t w (t) , t [, ] parametrisiert wird. Sei weiter
(z) :=
f (z, w) dw
C
Wegen der lokal gleichmigen Konvergenz des Integrals ist auch die Konvergenz n
a
gleichmig (vergleiche Denition 17.7):
a
> 0 0 s.d. (0 , ) | (z) (z)| =
f (z, w) dw
C
/ lokal
f (z, w) dw <
C
Nach Satz 16.4 ist also als Grenzfunktion holomorpher Funktionen wieder holomorph.
Fr die Ableitung gilt jetzt:
u
(z) = lim
n
Cn
f
(z, w) dw
z
Nach dem Hilfssatz 17.1 ist diese Konvergenz gleichmig, und somit folgt
a
f
(z, w) dw
z
(z) =
C
f (z) :=
(z) :=
fr (z) > 0 und unter der Vereinbarung, dass wir zum Berechnen der Potenz tz1 immer den Hauptzweig des
u
Logarithmus verwenden wollen.
63
Bemerkung 17.4:
Wie in den Beispielen gesehen, ist auf (z) > 0 als Summe zweier dort holomorpher Funktionen wieder
holomorph.
17.10 Denition (Beta-Funktion):
Man deniert
1
w1
tz1 (1 t)
B (z, w) :=
0
dt
fr (z) > 0, (w) > 0 und wieder unter der Vereinbarung, zur Berechnung der Potenzen den Hauptzweig des
u
Logarithmus zu verwenden.
Bemerkung 17.5:
Analog zur -Funktion rechnet man auch hier nach, dass diese Funktion in ihrem Denitionsbereich unter
Festhalten der jeweils anderen Variable holomorph ist.
Bemerkung 17.6:
Unter gewissen Bedingungen an f ist
F (z) :=
f (w) wz1 dw
eine holomorphe Funktion fr z D, wobei D C ein geeignetes Gebiet ist. Die Funktion F wird auch die
u
Mellin-Transformierte von f genannt. Des Weiteren knnen wir f aus F durch
o
1
f (w) =
2 i
c+i
F (z) wz dz
ci
F (z) :=
1
f (w) =
2 i
c+i
ci
gilt.
18
Zunchst wollen wir auch hier unseren Begri der Kurve etwas ausdehnen.
a
18.1
Denitionen
18.1 Denition:
Sei C eine geschlossene Kurve in C. Wir denieren das Innere I (C) und das Auere A (C) der Kurve C durch
I (C) := {z spur (C) | n (C, z) = 0}
/
A (C) := {z spur (C) | n (C, z) = 0}
/
64
Nach Lemma 11.1 ist die Umlaufzahl einer geschlossenen Kurve lokal konstant, folglich sind I (C) und A (C)
oen.
Bemerkung 18.1:
Wir erhalten so eine disjunkte Zerlegung
C = I (C) A (C) spur (C)
Des Weiteren ist
I (C) spur (C)
kompakt, da beschrnkt und abgeschlossen.
a
18.2 Denition:
Eine Kette K ist ein Gebilde
K := (C1 , ..., Cn )
spur (K) :=
spur (Cj )
j=1
L (K) :=
L (Cj )
j=1
n (Cj , z)
n (K, z) :=
j=1
Ahnlich deniert man auch das Innere I (K) und das Auere A (K) der Kette:
:= {z spur (K) | n (K, z) = 0}
/
I (K)
A (K)
18.3 Denition:
Sei f eine stetige Funktion und K eine Kette mit den Bezeichnungen wie in der obigen Denition. Dann
denieren wir
n
f (z) dz
f (z) dz :=
j=1 C
j
18.2
Integralformel
1
2 i
K
f ()
d fr z D \ spur (K)
u
z
Beweis:
Zunchst denieren wir fr z, w D die Funktion
a
u
g (z, w) =
f (z)f (w)
zw
f (z)
falls z = w
falls z = w
1. Halten wir w D fest, so ist g holomorph fr z = w und oenbar stetig fr z = w, folglich ist g also
u
u
holomorph als Funktion von z.
u
Damit ist dann auch g (z, w) fr festes w D als Funktion von z holomorph.
z
65
1
1
z w 2 i
g (z, w)
1
2 i
|z0 |=r
f ()
f ()
z
w
f ()
d
( z) ( w)
|z0 |=r
(18.1)
Im Falle z = w ist g (z, w) = f (z) nach Denition, was aber nach Cauchy mit (18.1) ubereinstimmt, also
gilt allgemein:
g (z, w) =
1
2 i
|z0 |=r
f ()
d (z, w) D D mit |z z0 | < r und |w w0 | < r
( z) ( w)
(18.2)
z w
=
(18.2)
1
1
( z0 ) (z z0 ) ( z0 ) (w z0 )
1
1
z z0
w z0
+
+
z0
( z0 ) ( z)
z0
( z0 ) ( w)
1
z z0
w z0
(z z0 ) (w w0 )
+
+
2 +
2
2
2
( z0 )
( z0 ) ( z) ( z0 ) ( w) ( z0 ) ( z) ( w)
Mit diesem Ergebnis zerlegen wir jetzt (18.1) und integrieren einzeln:
g (z, w)
f (z0 ) +
1
(w z0 )
2 i
( z0 ) ( z)
f ()
2
|z0 |=r
|z0 |=r
=g(z0 ,w0 )
f ()
1
(z z0 )
2 i
( z0 ) ( w)
1
(z z0 ) (w w0 )
2 i
|z0 |=r
r
2,
|w w0 |
r
2
d
f ()
( z0 ) ( z) ( w)
an und denieren M :=
sup
|z0 |=r
Standardabschtzung:
a
|g (z, w) g (z0 , w0 )|
2M
2M
4M
|z z0 | + 2 |w z0 | + 3 |z z0 ||w w0 |
r2
r
r
1
2 i
g (z, w) dw fr z D
u
K
66
was als Summe (siehe Denition 18.3) von Parameterintegralen mit Satz 17.2 auch eine holomorphe
Funktion in D darstellt. Damit gilt dann:
G (z) =
=
1
2 i
g (z, w) dw fr z D
u
K
f (z) f ()
d fr z spur (K)
u
/
z
K
1 f (z)
f ()
d +
d
2 i
z
z
1
2 i
f ()
d
z
1
= n (K, z) f (z) +
2 i
1
2 i
K
f ()
d
z
(18.3)
da dann n (K, z) = 0 ist. Allerdings stellt die rechte Seite von Gleichung (18.3) als Funktion von z in
jedem Gebiet G mit G spur (K) = holomorph.
Also denieren wir durch
falls z D
G (z)
f ()
H (z) :=
1
2 i z d falls z A (K)
K
eine ganze Funktion (d.h. H ist auf ganz C holomorph), da spur (K) I (K) D. Diese Denition ist auf
D A (K) konsistent, da die angegeben Funktionen dort laut (18.3) ubereinstimmen.
Wir whlen nun ein R > 0 s.d. spur (K) {z C | |z| R}. Ist M1 :=
a
|H (z)|
1 M1 L (K)
2 |z| R
sup
spur(K)
/0
Gleichzeitig ist H auf der kompakten Menge {z C | |z| R} als stetige Funktion durch ihr Maximum
beschrnkt, folglich ist H auf ganz C durch eine Konstante beschrnkt, also ist K nach dem Satz von
a
a
Liouville konstant. Da aber
/
z
/0
H (z)
muss H 0 gelten.
Damit ist dann insbesondere nach Denition von H auch G 0 und somit gilt fr alle z D \ spur (K):
u
0 = n (K, z) f (z) +
1
2 i
K
f ()
d
z
n (K, z) f (z) =
1
2 i
K
f ()
d
z
Folgerung 18.1:
Unter den Voraussetzungen von Satz 18.1 gilt somit fr alle k N0 , z D \ spur (K):
u
n (K, z) f (k) (z) =
k!
2 i
f ()
k+1
( z)
Beweis:
Man leitet die in Satz 18.1 gezeigte Formel m-mal ab:
Da die Umlaufzahl lokal konstant ist, ndert sie sich durch das Ableiten nicht, und dort steht dann
a
n (K, z) f (k) (z).
Links drfen wir laut Hilfssatz 13.2 die Dierentiation und das Integral vertauschen, d.h. dort steht dann
u
f ()
k!
2 i
k+1
( z)
67
Bemerkung 18.2:
1
Haben wir nun ein Gebiet mit Loch in der Mitte, d.h. zum Beispiel {z C | z = 0} wie im Falle von f (z) = z ,
so knnen wir die Integralformel jetzt doch anwenden, indem wir die Kette K = (C1 , C2 ) verwenden, wobei C1 ein
o
im mathematisch negativen Sinne umlaufener Kreis mit kleinem Radius und C ein im mathematisch positiven
Sinne umlaufener grerer Kreis ist. Fr alle Punkte zwischen diesen beiden Kreisen knnen wir jetzt die
o
u
o
Integralformel von Cauchy anwenden.
18.3
Integralsatz
Beweis:
Sei z0 D \ spur (K) beliebig. Wir denieren durch
h (z) = (z z0 ) f (z)
eine holomorphe Funktion mit h (z0 ) = 0. Nach der Cauchyschen Integralformal gilt:
n (K, z0 ) h (z0 ) =
1
2 i
K
h ()
d
z0
1
2 i
K
1
(z z0 ) f (z)
dz =
z z0
2 i
f (z) dz
K
18.4 Denition:
u
Ein Gebiet D C heit einfach zusammenhngend, wenn fr jede geschlossene Kurve C in D gilt:
a
I (C) D
Bemerkung 18.3:
Einfach zusammenhngend bedeutet grob gesagt, dass das Gebiet kein Loch hat.
a
f (z) dz =
C1
C2
18.1 Lemma:
Ein Gebiet D C ist einfach zusammenhngend, wenn sich jedes a D mit jedem anderen b D durch einen
a
/
/
/ C \ D s.d.
stetigen Weg verbinden lsst, d.h. zu a D, b D gibt es eine stetige Funktion z : [, ]
a
/
/
z () = a, z () = b.
68
Beweis:
Sei C eine geschlossene Kurve in D und a D. Wir whlen ein R > 0 s.d. C innerhalb von {z C | |z| R}
/
a
liegt. Da die Umlaufzahl lokal konstant und z stetig ist, muss
n (C, z (t)) konst
sein. Da aber sicherlich n (C, b) = n (C, a) = 0 ist, muss, da a C \ D beliebig war, somit
I (C) D
gelten.
19
19.1
19.1 Denition:
Ist f holomorph in einer Umgebung von z0 auer (eventuell) an z0 , so nennt man z0 eine isolierte Singularitt
a
von f . Man unterscheidet 3 Flle:
a
1. Man spricht genau dann von einer hebbaren Singularitt, falls
a
lim f (z) = c C
zz0
zz0
3. Man spricht genau dann von einer wesentlichen Singularitt, falls der Grenzwert
a
lim f (z)
zz0
nicht existiert.
Bemerkung 19.1:
1. Im Fall einer hebbaren Singularitt mit lim f (z) = c C, so deniert man f (z0 ) := c, wodurch f in der
a
zz0
ganzen Umgebung von z0 , insbesondere auch an z0 holomorph wird (Hier folgt die Holomorphie an z0 aus
der Stetigkeit, vergleiche Satz 13.6).
2. Wir sagen genau dann an z0 liegt hchstens ein Pol vor, wenn f an z0 eine hebbare Singularitt oder
o
a
sin(z)
z
2. f (z) =
z
exp(z)1
1
3. Wir betrachten f (z) = (z4 +1)2 . Der Nenner hat Nullstellen bei z = exp
f (z) hat an diesen Stellen Pole!
1
z
i
4
und z = i exp
i
4
. Da
exp
und exp
1
x
1
x
/
fr x 0
u
/
0 fr x 0
u
kann er Grenzwert lim f (z) nicht existieren, folglich hat f an z = 0 eine wesentliche Singularitt.
a
z0
1
z
1
x
fr R x
u
/0
, d.h.
19.2
69
|z0 |=r0
f ()
M
r0
d
z
|z z0 | r0
r0
/0
/0
1
2 i
|z0 |=R0
f ()
d z mit 0 < |z z0 | < R0
z
(19.1)
/ 0. Die rechte Seite der Gleichung (19.1) ist holomorph in ganz {z C | |z z0 | < R}, insbesondere
wegen r0
auch im Punkte z0 . Daher muss auch die linke Seite, d.h. f an z0 holomorph fortsetzbar sein, z0 ist also eine
hebbare Singularitt.
a
19.2 Satz (Casorati / Weierstra):
Hat f eine wesentliche Singularitt an z0 , so kommen in jeder Umgebung von z0 die Werte von f jedem Punkt
a
aus C beliebig nahe.
D.h. die Menge der Werte von f in jeder noch so kleinen Umgebung um z0 ist dicht in C: > 0 gilt
f (B (z0 )) = C.
Beweis:
Wir zeigen den Umkehrschluss: Sei f holomorph in {z C | 0 < |z z0 | < r} und es existiere ein c C und
ein > 0 s.d.
|f (z) c| t {z C | 0 < |z z0 | < r}
(19.2)
1
f (z) c
ein in {z C | 0 < |z z0 | < r} holomorphe Funktion. Des weiteren ist g nach (19.2) beschrnkt durch
a
g (z) :=
Nach dem Riemannschen Hebbarkeitssatz hat g also ein hebbare Singularitt an z0 . Stellen wir die Gleichung
a
um, so erhalten wir
1
+c
f (z) =
g (z)
Das bedeutet aber
1
falls g (z0 ) = 0
+c=
lim f (z) = lim
d C falls g (z0 ) = 0
zz0
zz0 g (z)
g (z)
Damit existiert dieser Grenzwert in C, folglich kann f an z0 hchstens einen Pol haben.
o
Wir haben damit B A gezeigt, damit folgt die Behauptung A B.
70
1. exp z nimmt wie auf einem der Ubungszettel gezeigt in jeder Umgebung von z0 = 0 jeden Wert auer
0 C an.
1
z
1
z
exp
i
z
i
exp z
2i
19.4 Satz:
Eine in {z C | 0 < |z z0 | < R} holomorphe Funktion f lsst sich in der Form
a
f (z) =
n=0
an (z z0 ) +
n=1
an (z z0 )
mit Koezienten an C fr n Z darstellen. Dabei konvergiert die erste Reihe in |z z0 | < R und die zweite
u
Reihe konvergiert fr alle z0 = z Z.
u
Besitzt f diese Darstellung, so knnen die Koezienten an berechnet werden durch
o
an =
1
2 i
f (z)
dz
n+1
|zz0 |=r
(z z0 )
1
2i
|z0 |=R0
1
f ()
d +
z
2 i
|z0 |=r0
=:g(z)
f ()
d
z
=:h(z)
Betrachten wir nun die Abbildung g. Diese ist als Abbildung von z holomorph in {z C | |z z0 | < R0 } und
lsst sich folglich dort durch eine Taylorreihe darstellen:
a
g (z) =
n=0
sup
|z0 |=r0
an (z z0 )
M
r0
|z z0 | r0
/0
1
1
z = z0 +
z z0
w
1
w
1
r0
und h1 (0) := 0
1
r0
71
= h1 (0) +
n=1
an wn
n=1
an wn
an (z z0 )
n=1
|z z0 | > r0
n=0
n=1
n=0
an (z z0 ) +
n=0
an (z z0 )
n
|an |R0 . Auerdem konvergiert h auch fr
u
n
an r0 . Folglich sind alle Reihen lokal gleichmig konvergent
a
und Summation kann mit Integration vertauscht werden. Dann ergibt sich:
1
2 i
f (z)
|zz0 |=r
(z z0 )
k+1
dz
an
n=0
1
= ak
2 i
= ak
(z z0 )
1
2 i
k+1
|zz0 |=r
|zz0 |=r
(z z0 )
dz +
n=1
an
1
dz
z z0
Den vorletzten Schritt haben wir dabei daraus gefolgert, dass die Funktion
Stammfunktion hat.
19.3
f (z) =
nZ
an (z z0 )
n=0
n=1
an (z z0 )
an (z z0 )
|zz0 |=r
(zz0 )n
(zz0 )k+1
(z z0 )
(z z0 )
k+1
dz
fr alle n = k eine
u
72
Beispiel 19.3:
1.
1
sin (z)
z3
6
+
1
z5
120
z3 1
z2
6
..
..
3
1
z2
7 4
1+
+
z + ..
3
z
6
360
z2
17 4
1
1+
+
z + ..
3
z
6
120
17 4
1
11
+
+
z + ..
3
z
2 z 120
( )
=
=
Hauptteil
Nebenteil
Der einzig unklare Schritt ( ) erklrt sich so: Das Reziproke berechnet man, indem man
a
(a0 + a1 z + .. + an z n + ..)(b0 + b1 z + .. + bn z n + ..) = 1 + 0 + 0 + ..
setzt. Damit ergibt sich:
a0 b0
a0 b1 + a1 b0 = 0
... = 0
Damit rechnet man dann die reziproke Reihe rekursiv aus.
2.
exp
1
z
1 n
z + 1
n!
n=1
NT
HT
19.5 Satz:
n
an (z z0 )
der Hauptteil der Laurententwicklung von f um z0 , dann gilt:
Ist
n=1
z0 hebbare Singularitt an = 0 n N
a
z0 Polstelle |{an = 0}| <
z0 wesentliche Singularitt
a
|{an = 0}| =
Beweis: Wir zeigen lediglich die ersten beiden Aquivalenzen, die dritte ergibt sich als Restfall.
erste Aquivalenz
Oensichtlich.
zweite Aquivalenz
1
2 i
1
2 i
an
f (z)
n+1
|zz0 |=r
(z z0 )
f (z) (z z0 )
|zz0 |=r
holomorph
dz
n1
dz
f (z)
=
n=1
an (z z0 )
(z z0 )
=
=:
73
(z z0 )
n=0
an (z z0 )
mit ap = 0
n+p
n=p
an (z z0 )
h (z) womit h holomorph in einer Umgebung von z0 ist und h(z0 ) = 0 gilt.
f (z)
/ z0
1
f (z)
/ z0
/0
1
1
f (z)
= (z z0 )
p
n=1
1
n
p
n
an (z z0 )
=: (z z0 )
bn (z z0 ) :=
g (z)
n=p
n=0
n=p
3. f (z) = (z z0 )
Der Beweis ist leicht und ein Analogon zu Satz 14.7 uber die Nullstellenordnung .
Nullstellenordnung von f an z0
Polordnung von f an z0
f
, z0
g
= m (f, z0 ) m (g, z0 )
74
20 Residuensatz
Beispiel 19.4:
z2 + 2
, z0
z4 1
1
, z0
sin (z 2 )
z0 = i 2
z0 { i, 1}
sonst
1
=
1
1
=
z0 = 0
z0 k, i k k N
sonst
f
g
meromorph in D.
20
20.1
Residuensatz
Voraussetzungen, Vorbemerkungen
Sei f eine holomorphe Funktion in D bis auf isolierte Singularitten. Sei weiter S D die Menge der nicht
a
hebbaren Singularitten in D und K eine Kette in D mit den Eigenschaften
a
I (K) D
|S I(K)| <
spur (K) S =
Dann ist I (K) spur (K) als beschrnkte und abgeschlossene Menge sicher kompakt und oensichtlich ist D \ S
a
ein Gebiet.
20.1 Denition (Residuum):
Habe f an z0 eine isolierte Singularitt. Dann deniert man das Residuum von f an z0 durch:
a
Res f (z) :=
z=z0
1
2 i
20.1.1
f (z)dz = 2 i
K
z=zj
20 Residuensatz
75
Beweis:
Sei Bj = {z C | |z zj | < r} mit derart kleinem r deniert, dass
1. Bj I (K) D 1 j n
2. j = k Bj Bk = 1 j, k n
gelten.
Sei weiter Bj gerade der Weg, der den Rand von Bj genau n(K, zj ) mal durchluft (mit der selben Orientierung,
a
mit der K zj umluft).Ist die Kette K gegeben als K = (C1 , ..., Cm ), so denieren wir eine neue Kette L durch
a
L = (C1 , .., Cm , B1 , .., Bn )
Sei nun z spur(L). Dann folgt nach Denition
/
n
0
Bj
falls z
n
j=1
n (Bj , z) =
n (L, z) = n (K, z)+
n (K, z) falls z n B
/
j=1
j=1
Also:
I (L) = I (K) \
j=1
Bj D \ S
f (z) dz
L
f (z) dz
=
K
K
Def.
n (K, zj )
j=1
f (z) dz
|zz0 |=r
f (z) dz 2 i
f (z) dz
f (z) dz
j=1 B
j=1
(R1)
z=z0
Dies ist oensichtlich, da f auf z0 und damit auch in einer (hinreichend kleinen) Umgebung holomorph
ist, also das Integral uber einer geschlossenen Kurve verschwindet.
2. Fr , C gilt
u
z=z0
z=z0
(R2)
z=z0
(R3)
z=z0
(R4)
76
20 Residuensatz
Beweis:
Sei f (z) =
nZ
f (z) =
nZ
nbn (z z0 )
=:
nZ
an (z z0 )
(R5)
z=z0
z=z0
Beweis:
Produktregel
z=z0
z=z0
R2
z=z0
R4
z=z0
z=z0
z=z0
(R6)
zz0
Beweis:
holomorph
Res =
z=z0
1
2 i
|zz0 |=r
(z z0 ) f (z)
dz
z z0
Integralsatz
(z z0 ) f (z)|z=z0
z=z0
f (z0 )
f (z)
=
g (z)
g (z0 )
(R7)
Beweis:
Res
z=z0
g(z0 )=0
f (z)
g(z)g(z0 )
zz0
z=z0
z=z0
f (z0 )
g (z0 )
z=z0
p1
1
p
(z z0 ) f (z)
(p 1)! (z)p1
(R8)
z=z0
Beweis:
holomorph
Res f (z) =
z=z0
(z z0 ) f (z)
1
2 i
|zz0 |=r
(z z0 )
p1+1
dz
Integralformel
p1
1
p
(z z0 ) f (z)
(p 1)! (z)p1
1
= Res
z=0
exp (z) 1
1 exp (z) 1 z
z
z (exp (z) 1)
(R3)
= Res
z=0
1
z
=1
20 Residuensatz
77
z=z0
1
sin (z)
cot (z)
cos (z)
= Res
= Res
z=z0
z=z0 sin2 (z)
sin (z)
Res
(R4)
1
exp (z) 1
(R5)
Res
z=0
sin (z)
=0
exp (z) 1
cos (z)
sin (z)
z
cos (z)
sin (z)
(R6)
=1
z=0
cos (z)
cos (z)
(R7)
Res
=1
z=n
exp (z)
sin (z)
(R7)
exp (z)
cos (z)
=
z=n
cos (z)
z sin (z)
(R8)
1 d z cos (z)
1! dz sin (z)
=
z=0
z sin (z) cos (z) z sin2 (z) z sin (z) cos (z)
sin2 (z)
z=0
= z|z=0 = 0
(R8)
d
dz z + exp
i
4
(z 2
+ i)
=
z=exp( i )
4
3
(1 + i)
10 2
f (exp (i )) d
f (z)
dz
iz
|z|=1
n
Res
=
j=1
f (z)
iz
z=zj
f (z)
iz
ist.
cosn () d
exp (i ) + exp ( i )
2
1
2n
z+
|z|=1
1
z+z
2
Res
2n z=0
z
2
Res
2n z=0
1
z
n
n nk
z
k
k=0
2 n
falls
2n n/2
dz
iz
n 2N
sonst
1
z
k+1
78
20 Residuensatz
1
da der Summand z nur fr gerade n stehen bleibt und wir das Residuum als a1 in der Laurententwicklung
u
von f berechnen knnen. Damit folgt:
o
2
cos2n () d =
2 2n
22n n
x2
dx
x4 + 1
Wir wollen dieses Integral lsen, indem wir die (bis auf zwei isolierte Singularitten) holomorphe Funktion
o
a
z2
u
f (z) = z4 +1 entlang der reellen Achse von R nach R und zurck uber den entsprechenden Halbkreis
durch die obere Halbebene (bezeichnet als CR ) integrieren.
Fr R > 1 umluft CR die beiden Polstellen exp i4 und i exp i4 . Damit ergibt sich:
u
a
R
x2
dx +
x4 + 1
2 i
z2
z2
Res
+
Res
4
4
z=exp( i4 ) z + 1
z=i exp( i4 ) z + 1
2 i
exp i4
exp i4
i
4
4
z2
dz
z4 + 1
CR
Weiter gilt
CR
z2
R2
dz 4
2R
z4 + 1
R 1
/0
und damit folgt wegen der Symmetrie der Funktion in f (z) = f (z), dass
R
x2
dx = 2
x4 + 1
x2
dx
x4 + 1
/
2
x2
dx =
x4 + 1
2 2
P (z)
P (x)
Res
dx = 2 i
z=zj Q (z)
Q (x)
j=1
wobei z1 , .., zn die Nullstellen von Q in der oberen komplexen Halbebene sind.
4. Behauptung:
log2 (x)
3
dx =
und
1 + x2
8
log (x)
dx = 0
1 + x2
Beweis:
Wir betrachten den Logarithmus auf der in der negativen imaginren Achse geschlitzten Ebene, also
a
3
< arg(z) <
2
2
und die bis auf isolierte Singularitten in dieser geschlitzten Ebene holomorphe Funktion
a
f (z) =
log2 z
1 + z2
20 Residuensatz
79
(a) entlang der reellen Achse von r nach R, wobei 0 < r < 1 < R R
(b) mittels Halbkreis (Radius R) in der oberen Halbebene um die Polstelle i von R nach R (genannt
CR )
(c) entlang der reellen Achse von R nach r
(d) mittels Halbkreis mit Radius r durch die obere Halbebene von r nach r (genannt Cr ).
Dann ergibt sich aus dem Residuensatz:
r
CR
f (z) dz = 2 i Res
f (z) dz+
f (z) dz+
f (z) dz+
z=i
log2 (z)
1 + z2
(R7)
= 2 i Res
z=i
3
log2 (z)
=
(20.1)
2z
4
Cr
log2 (z)
dz =
1 + z2
(log |x| + i)
dx =
1 + x2
log2 |x|
dx + 2 i
1 + x2
log |x|
dx 2
1 + x2
R
r
dx
1 + x2
/
/ 3
/0 2
log R2
R
R2 1
/0
/0
und
f (z) dz
Cr
log r2
r
1 r2
/0
Beide Resultate kann man leicht mit dem Satz von lHospital9 nachrechnen.
Zusammenfassend aus (20.1) ergibt sich also durch Bilden der Grenzwerte:
3
=
4
3
2
f (z) dz = 2
f (z) dz +
Addition von
log2 (x)
dx + 2 i
1 + x2
log (x)
3
dx
1 + x2
2
und Vergleichen von Real- und Imaginrteilen liefert nun die Behauptung
a
c+i
exp (z)
dz =
z
1 falls > 0
0 falls < 0
ci
Beweis:
Zunchst halten wir fest, dass fr z = x + i y gilt:
a
u
|exp (z)| = exp (x)
Sei nun > 0. Wir whlen Zahlen a < 0, S = 0, T = 0, S < T und denieren unseren Integrationsweg
a
durch
die Strecke von a + i S nach c + i S
9 Vergleiche
80
20 Residuensatz
exp (z)
dz
z
a+i T
1
|T |
1
exp (c)
|T |
exp (x) dx
a
(20.2)
1
exp (z)
dz
exp (c)
z
|S|
(20.3)
a+i S
exp (z)
dz =
z
a+i S
exp (a)
exp (a) exp (i y)
i dy
(T S)
a + iy
|a|
exp (z)
dz +
z
c+i T
c+i S
a+i T
exp (z)
dz +
z
a+i S
exp (z)
dz +
z
a+i T
Res 2 i exp(z) = 2 i
z
exp (z)
dz
z
a+i S
c+i S
sonst
z=0
exp (z)
dz
z
c+i S
0<S<T
exp (c)
/
/
1
1
+
T
S
Damit sehen wir nun die Existenz des Integrals aus der Behauptung ein.
Alles in Allem knnen wir damit fr S < 0 < T mit dem Residuensatz wie folgt vorgehen:
o
u
c+i T
exp (z)
dz
z
c+i S
2 i
c+i T
exp (z)
dz +
z
a+i S
c+i S
exp (z)
dz
z
a+i T
Verwende (14)
a+i S
Verwende (13)
exp (z)
dz
z
a+i T
exp (c) 1
1
+
T
|S|
1
exp (c) 1
+
T
|S|
exp (c) 1
|S|
/
/
/
/
/
/
exp (a)
(T + |S|)
|a|
20 Residuensatz
81
exp (z)
dz
z
= 2 i
ci
Der Fall < 0 folgt hnlich und bleibt als Aufgabe uberlassen.
a
6. Behauptung: Es gilt
Beweis:
Zunchst denieren wir
a
a :=
exp x2 dx =
exp
i
4
(1 + i)
2
a
2
2 a z = i +2 i n, n Z
(2n + 1) gelst. Denieren wir nun
o
f (z) :=
exp z 2
exp (2az) + 1
a
2
exp a
4
(R7)
Res f (z) =
z=
2
2a exp (a2 )
i
=
2
(20.4)
=
a2 einsetzen
exp z 2 + 2az + a2
exp (2az 2a2 ) + 1
exp z 2 + 2az
exp (2az) + 1
=
=
f (z) exp z 2
(20.5)
Als Integrationsweg whlen wir nun das Parallelogramm mit den Seiten
a
a
2
Strecke
Strecke
Strecke
Strecke
von
von
von
von
T nach T
T nach a + T
a + T nach a T
a T nach T .
ist die einzige Singularitt von f innerhalb dieses Parallelogramms, daher liefert der Residuensatz :nun
a
aT
a+T
(20.4)
f (z) dz =
f (z) dz +
f (z) dz +
f (z) dz +
aT
a+T
f (z) dz +
T
T +a
f (z + a) dz
f (z) dz +
=
T
T +a
(f (z) f (z + a)) dz
=
T
(20.5)
exp z 2 dz
82
2 (x y)
erhalten wir so
|f (z)|
exp z 2 + 2az
|exp (2az) + 1|
exp x2 + y 2 + 2 (x y)
exp 2 (x y) 1
und |x y| 1 zu
exp exp x2 + 2x
2
|f (z)|
exp 2 1
f (z) dz C exp
T2
2
/0
aT
f (z) dz +
T
a+T
f (z) dz +
a+T
21
21.1
exp z 2 dz +
=
/
f (z) dz +
f (z) dz
aT
a+T
f (z) dz
f (z) dz +
aT
exp z 2 dz + 0
exp x2 dx
21.1 Satz:
Sei f 0 meromorph in dem Gebiet D C, g holomorph in D. Sei weiter K eine Kette in D, auf der keine
Null- oder Polstellen von f liegen, mit I (K) D. Sind nun a1 , ..., ak die Nullstellen von f und b1 , ..., bl die
Polstellen von f , welche in I (K) liegen, so gilt:
f (z)
g (z) dz =
f (z)
1
2 i
K
Beweis:
Sei z0 C. Wir schreiben
j=1
f (z) = (z z0 ) h (z)
mit einer in einer Umgebung von z0 holomorphen Funktion h, welche h (z0 ) = 0 erfllt. Als logarithmische
u
Ableitung erhalten wir so
f (z)
m
h (z)
=
+
f (z)
z z0
h (z)
Folglich gilt also fr das Residuum von f an z0 :
u
Res
z=z0
f (z)
g (z) = Res
z=z0
f (z)
m g (z) h (z)
+
g (z)
z z0
h (z)
holomorph
= m g (z0 )
83
21.2 Satz:
Sei f 0 meromorph in dem Gebiet D C, K eine Kette in D, welche folgende Eigenschaften erflle:
u
I (K) D.
n (K, z) = 1 z I (K).
f hat keine Null- oder Polstellen auf K.
Ist nun N die Anzahl der Nullstellen, P die Anzahl der Polstellen (mit Vielfachheiten) von f in I (K), so gilt:
N P =
f (z)
dz
f (z)
1
2 i
K
f (z)
dz
f (z)
1
2 i
K
f (z)
dz
f (z)
1
2 i
K
Beweis:
Nach Voraussetzung ist n (K, z) = 1 z I (K). Wenden wir also Satz 21.1 auf f und g 1 an, so folgt die
Behauptung.
Folgerung 21.1 (Fundamentalsatz der Algebra):
Auch hier kann man wieder den Fundamentalsatz der Algebra folgern:
Ein Polynom vom Grad n > 1 besitzt genau n Nullstellen in C
Beweis:
Sei P ein Polynom vom Grad n > 0, P (0) = 0. Das knnen wir in der Tat annehmen, denn falls P (0) = 0, so
o
schreiben wir P (z) = z k Q (z) mit Q (0) = 0, grad (Q) = grad (P ) k und mssen die Aussage dasher nur fr
u
u
Q zeigen.
/
z
/ nden wir ein R0 > 0 s.d.
Wegen P (z)
|z| R0 P (z) = 0
Jetzt denieren wir durch
P (z)
zn
eine Funktion, welche bei 0 C eine n-fache Polstelle und sonst genauso viele Nullstellen N wie P besitzt.
Damit gilt nach Satz 21.2:
f (z) :=
N n
f (z)
dz
f (z)
1
2 i
|z|=R
1
2 i
1
2 i
1
2 i
P (z)z n P (z)nz n1
z 2n
P (z)
zn
|z|=R
1
2 i
|z|=R
|z|=R
|z|=R
dz
P (z) z n P (z) nz n1 z n
dz
z 2n P (z)
P (z) n
P (z)
z
dz
z P (z) n P (z)
dz
z P (z)
84
fr ein beliebiges R > R0 . Da im Falle P (z) = az n + bz n+1 + ... dann zP (z) = naz n + (n 1) bz n1 + ... und
u
nP (z) = naz n + nbz n1 + ... gilt, ist der Grad des Nenners zwangslug mindestens um 2 grer als der Grad
a
o
des Zhlers. Damit existiert das Integral!
a
Auerdem gilt deswegen:
z P (z) n P (z)
C
2 fr |z| R1 R0
u
z P (z)
|z|
Damit folgt dann
f rac12 i
|z|=R
c
c
z P (z) n P (z)
dz 2 R =
z P (z)
R
R
/0
Beweis:
Oenbar ist |f (z)| |g (z)| stetig auf spur (K) und dort nach Voraussetzung auch positiv. Aber spur (K) ist
kompakt! Also:
> 0 s.d. |f (z)| |g (z)| z spur (K)
Wir whlen jetzt ein M > 0 s.d.
a
Damit gilt fr 0 1 +
u
2M
|g (z)|
2M
2
> 0
Jetzt wollen wir die Nullstellenanzahl N () der Funktion h = f + g betrachten. Da die Funktion nach
Voraussetzung keine Polstellen hat, gilt fr diese nach Satz 21.1:
u
N () =
Das bedeutet fr 0 , 0 1 +
u
2M ,
f (z) + g (z)
dz
f (z) + g (z)
1
2 i
K
dass
N () N (0 ) =
0
2 i
K
Dies impliziert die Stetigkeit der Funktion N in . Da N aber gleichzeitig ganzzahlig ist, muss N demnach
konstant sein, d.h. insbesondere
N (0) = N (1)
was der Behauptung entspricht.
Folgerung 21.1 (Fundamentalsatz der Algebra):
Auch hier folgt wieder ein schner Beweis fr den Fundamentalsatz der Algebra:
o
u
Ein Polynom vom Grad n > 1 besitzt genau n Nullstellen in C
Beweis:
Sei P (z) = an z n + ... + a0 mit an = 0, n > 0. Wir denieren jetzt
f (z) := an z n und g (z) := an1 z n1 + ... + a0
Oenbar hat die Funktion f genau n Nullstellen. Oensichtlich nden wir ein R0 > 0 s.d.
|z| = R > R0 |f (z)| > |g (z)|
Damit knnen wir Satz 21.3 anwenden und sehen so, dass auch P = f + g genau n Nullstellen haben muss.
o
21.2
85
Beispiele
Beispiel 21.1:
1. Wir betrachten P (z) = z 7 5z 3 + 12. Aus dem Fundamentalsatz der Algebra folgt unmittelbar, dass P
insgesamt sieben Nullstellen besitzt.
Behauptung:
Alle sieben Nullstellen von P liegen in 1 < |z| < 2.
Beweis:
Wir denieren zunchst f1 (z) := 12 und g1 (z) := z 7 5z 3 . Weiter betrachten wir den Kreis |z| = 1. Auf
a
diesem gilt
|g1 (z)| 6 < 12 = |f1 (z)|
(21.1)
Damit gilt nach Satz 21.3, dass die Funktion P = f1 + g2 in |z| < 1 ebenso wie f keine Nullstellen hat.
Die Betragsabschtzung (21.1) zeigt auch direkt, dass P (z) = 0 z mit |z| = 1, da fr |z| = 1 gilt:
a
u
| (g1 (z))| |g1 (z)| < 12 = (f ) (P (z)) = 0
Jetzt denieren wir f2 (z) := z 7 , g2 (z) := 5z 3 + 12 und betrachten den Kreis |z| = 2. Oenbar hat f2
innerhalb dieses Kreises (nmlich an 0 C) sieben Nullstellen. Mit der Abschtzung
a
a
|g2 (z)| 52 < 128 = |f2 (z)|
erhalten wir also aus dem Satz von Rouch (Satz 21.3), dass die Funktion P = f2 + g2 innerhalb von
e
|z| < 2 genau sieben Nullstellen haben muss. Dies zeigt die Behauptung.
exp (z) = z a
(21.2)
Beweis:
Wir denieren f (z) := z a und g (z) := exp (z). Dann ist
f (z) + g (z) = z a exp (z) =: h (z)
Weiter betrachten wir den Kreis |z a| = 1, welcher sich durch z = a + exp (i ) parametrisieren lsst. In
a
diesem Fall gilt:
|g (z)| = exp ( (a) + 1) < 1 = |f (z)|
Da f in |z a| < 1 genau die eine Nullstelle a hat, besitzt also auch h dort genau eine Nullstelle und
damit die Gleichung (21.2) genau eine Lsung in |z a| < 1.
o
22
22.1
22.1 Denition:
Sei f eine nicht-konstante, in dem Gebiet D C eine holomorphe Funktion, z0 D und f (z0 ) = c. Dann heit
z0 c-Stelle von f von der Ordnung
m = m ((f c) , z0 )
Lokal bedeutet das immer
f (z) = c + (z z0 ) h (z)
86
22.1 Satz:
Sei f eine nicht-konstante, in dem Gebiet D C holomorphe Funktion, z0 D und w = f (z0 ). Sei z0 eine
m-fache w0 -Stelle von f .
Dann gibt es oene Umgebungen U D von z0 und V von w0 , s.d.
1. f bildet U auf V ab, d.h. f (U ) = V
2. Zu jedem w V \ {w0 } gibt es genau m verschiedene w-Stellen von f in U
3. Jede dieser w-Stellen, w V \ {w0 }, ist einfach.
Beweis:
Wir nden ein r > 0 s.d. f (z) = w0 und f (z) = 0 z mit 0 < |z z0 | r, da die Nullstellen von f und
f w0 sich nicht in z0 hufen. Wir denieren jetzt eine geschlossene glatte Kurve C durch
a
C : f (z0 + r exp (i )) , [0, 2]
Nach Denition der Zahl r ist w0 spur (C). Allgemein gilt fr ein w spur (C) damit:
/
u
/
n (C, w)
1
2 i
C
1
2 i
d
w
f (z0 + r exp (i ))
r i exp (i ) d
f (z0 + r exp (i )) w
1
2 i
|zz0 |=r
1
2 i
|zz0 |=r
Satz 21.1
f (z)
dz
f (z) w
(f (z) w)
dz
f (z) w
Ebenso liefert uns Satz 21.1 mit der Voraussetzung, dass n (C, w0 ) = m. Wir whlen also ein r > 0 mit
a
{w C | |w w0 | r } spur (C) =
(22.1)
Da die Umlaufzahl lokal konstant ist, gilt also fr solche w C mit |w w0 | < r , dass
u
n (C, w) = n (C, w0 ) = m
Wir denieren jetzt V := Br (w0 ). Damit ist V oen und wie eben gesehen gibt es zu jedem w V genau m
w-Stellen von f . Weiter setzen wir
U := {z Br (z0 ) | f (z) V } = f 1 (V ) Br (z0 )
Da f stetig ist, ist U als Schnitt oener Mengen auch wieder oen und es gilt:
(22.1)
87
22.3 Satz:
Ist f holomorph in dem Gebiet D C, z0 D, w0 := f (z0 ), so sind folgende Aussagen quivalent:
a
1. f (z0 ) = 0
2. Es gibt oene Umgebungen U von z0 und V von w0 , s.d. f U bijektiv auf V abbildet.
Beweis:
1) 2)
Da f (z0 ) = 0 ist
(f (z) w0 )|z=z = 0
(22.2)
d.h. z0 ist eine einfache w0 -Stelle (m = 1). Damit gibt es nach Satz 22.1 Umgebungen U und V von z0 ,
w0 entsprechend, s.d. jedes w V ein eindeutiges Urbild hat.
2) 1)
Wir zeigen 1) 2). Da so f (z0 ) = 0 ist wegen (22.2) z0 eine mehrfache w0 -Stelle (m > 1), womit
es nach Satz 22.1 Umgebungen U und V von z0 und w0 entsprechend gibt, s.d. es zu jedem Punkt w V
mehrere Urbilder gibt. Also kann es keine Umgebungen wie in der Behauptung geben.
22.4 Satz:
Sei f holomorph und injektiv in dem Gebiet D C. Dann gilt:
1. Die Umkehrfunktion f 1 ist holomorph in f (D).
2. Ist B eine oene Kreischeibe, deren Abschluss in D liegt, so gilt fr w f (B):
u
f 1 (w) =
1
2 i
B
f (z)
z dz
f (z) w
1 dn1
n! (dz)n1
n=1
z z0
f (z) f (z0 )
n
n
|z=z0
(w w0 )
f () w
(22.3)
holomorph in allen Punkten auer = z, dort hat sie eine isolierte Singularitt. Der Residuensatz liefert also
a
fr w f (B) , z B:
u
1
2 i
B
f ()
f ()
(R7)
d = Res
=
=z f () w
f () w
f ()
f ()
= z = f 1 (w)
|=z
Dies zeigt die zweite Aussage des Satzes. Wie bereits festgestellt, ist die Funktion (22.3) holomorph bis auf
= z und folglich ist das Integral aus der eben bewiesenen Darstellung holomorph fr w B . Damit folgt
u
dann die Holomorphie von f 1 in f (D).
Um die dritte Aussage zu zeigen, berechnen wir unter Verwendung von Satz 17.2 und der eben bewiesenen
88
Darstellung fr f 1 :
u
1 dn f 1
(w0 )
n! (dw)n
f (z)
1
2 i
1
2 i
Satz 17.2
d
dz
B
partielle Integration
1
2 i n
B
Residuensatz
(R8)
dz
1
1
n (f (z) w)n
dz
dz
n
(f (z) w)
1
1
Res
n z=z0 (f (z) w0 )n
1
dn1
z z0
1
n (n 1)! (dz)n1 f (z) f (z0 )
n1
n+1 z
(f (z) w0 )
1 d
n! (dz)n1
z z0
f (z) f (z0 )
n
|z=z0
|z=z0
Bemerkung 22.2:
Sei K D eine kompakte Teilmenge des Gebiets D C. Dann nimmt fr jede in D holomorphe Funktion f
u
die reellwertige Funktion
|f (z)|
zwangslug wegen der Stetigkeit ein Maximum in K. Mit Satz 22.5 folgt also: Das Maximum von |f (z)| in K
a
liegt auf dem Rand von K!
Beispiel 22.2:
1
Sei f (z) = z2 +z+1 .
Behauptung:
2
(z) > 0 |f (z)|
3
Beweis:
Oenbar ist f bis auf die Punkte 1 i 23 holomorph in ganz C. Wir betrachten den (kompakten Halbkreis)
2
mit Radius R und Mittelpunkt 0 C in (z) 0. Wir suchen das Supremum von f auf diesem Halbkreis.
Nach der obigen Bemerkung mssen wir dieses auf dem Rand suchen. Nur auf der imaginren Achse ist |z| < R,
u
a
folglich mssen wir nur dort nach dem Supremum suchen.
u
Dort gilt:
89
|f (i y)| =
(1 y 2 ) + y 2
1
Dieser Ausdruck nimmt sein Maximum bei y = 2 . Da diese Aussage fr ein beliebiges R > 0 gezeigt wurde,
u
folgt damit:
2
1
1
=
22.6 Satz:
Ist f eine nicht-konstante, holomorphe Funkion in dem Gebiet D C ohne Nullstelle, so hat |f (z)| kein lokales
Minimum in D.
Beweis:
Wir wenden das Maximumsprinzip auf die Funktion
1
f (z)
an.
23
|z|
pk
Hk (z) =
ak,n
n
(z zk )
n=1
der Hauptteil der Laurententwicklung von R um zk , k = 1, ..., m, so gibt es ein Polynom P0 , s.d.
m
Hk (z) + P0 (z)
R (z) =
k=1
Im Falle grad (Q) > grad (P ) gilt P0 0 und ist N := grad (P ) grad (Q) 0, so ist grad (P0 ) N .
Beweis:
Betrachten wir
f (z) := R (z)
Hk (z)
k=1
so muss es sich um eine ganze Funktion handeln, da sich alle Singularitten wegheben. Im Falle grad (Q) >
a
grad (P ) gilt jetzt
/
z
/0
f (z)
90
bj z j
f (z) =
j=0
1
z 2 +1
2.
z4
(z 2 +1)2
23.1
i
= 2
1
zi
1
z+i
a
b
A
B
= zi + (zi)2 + z+i + (z+i)2 + c
Direkt klar ist hierbei, dass c = 1 gilt.
ak,n
u
n f r k = 1, ..., m
(z zk )
n=1
Hk (z) =
uberall auer in z = zk konvergieren (Es handelt sich also dabei um Hauptteile von Laurententwicklungen).
ak,n
n
(z zk )
n=1
gegeben und konvergiere fr z = zk fr k = 1, 2, .... Dann gibt es eine in C \ {z1 , z2 , ...} holomorphe Funktion H
u
u
s.d. Hk jeweils der Hauptteil der Laurententwicklung von H um z = zk ist.
Beweis:
Ist z1 = 0, so betrachten wir die Folge z2 , z3 , ... und zeigen die Aussage hierfr. Sei H0 die Funktion aus der
u
Behauptung fr die Folge z2 , z3 , .... Dann erfllt die Funktion
u
u
H (z) := H0 (z) + H1 (z)
die Aussage des Satzes fr die Folge z1 , z2 , ....
u
Sei also zk = 0 k N.
Der Satz von Taylor liefert uns nun
Hk (z) =
m=0
k=1
m=mk +1
|ck,m |
zk
2
< k
mk
cm,k z m
Tk (z) :=
m=0
91
k
fr |z| z2 abschtzen.
u
a
Sei jetzt R > 0 und k0 N s.d. k k0 |zk | 2R. Fr |z| R betrachten wir jetzt
u
k=k0
Da R
|zk |
2
k k0 ist
(23.1)
k eine konvergente Majorante! Daher muss es sich bei der Reihe (23.1) also um
k=k0
H (z) :=
k=1
und erhalten somit eine holomorphe Funktion in |z| < R bis auf die Punkte z = zk welche |zk | < R erfllen.
u
Auerdem ist oenbar
ak,n
n
H (z) =
bk,n (z zk )
n +
(z zk )
n=1
n=1
die Laurententwicklung von H um zk . Da fr beliebiges R > 0 die Funktion H wegen
u
/
zk
immer nur endlich viele nicht holomorphe Stellen in |z| < R besitzt, ist die Aussage damit fr ganz C gezeigt.
u
Bemerkung 23.1:
Die Tk s werden konvergenzerzeugende Summanden genannt.
23.3 Satz:
Es gilt
2
1
=
2
sin (z) n= (z n)2
Beweis:
Oenbar hat die linke Funktion Pole zweiter Ordnung an z Z. Daher hat die Laurententwicklung um 0 die
Form
a
b
2
= 2 + + a0 + a1 z + a2 z 2 + ...
2
z
z
sin (z)
Da es sich um eine Gerade Funktion handelt (sin2 ), ist direkt klar, dass b = a2n1 = 0 n N. Wir berechnen
das Residuum an 0 durch
2
/0
z
z
/1
sin (z)
und wissen daher a = 1.
n
Wegen sin ( (z n)) = (1) sin (z) knnen wir dieses Argument auf die Laurententwicklungen um die andeo
ren Pole ausdehnen:
2
1
2
2
=
=
u
2
2 + a0 + a2 (z n) f r 0 < |z n| < 1
sin (z)
sin ( (z n))
(z n)
2
Jetzt betrachten wir die Summe der Hauptteile aller Laurententwicklungen von f :
n=
(z n)
z
n
|n|>2R
1
2
1
n2
(z n)
(23.2)
z
n
|n|>2R
4
<
n2
92
Also haben wir eine Majorante und somit lokal gleichmige Konvergenz der Reihe (23.2). Durch Hinzufgen
a
u
der fehlenden Glieder |n| < 2R geht lediglich die Holomorphie an {n Z | |n| 2R} verloren. Nach dem Satz
von Mittag-Leer erhalten wir also
2
1
=
+ g (z)
2
sin (z) n= (z n)2
mit einer ganzen Funktion g. Wir haben also noch g 0 zu zeigen!
Zuerst folgern wir dazu aus der Substitution z z + 1, dass
g (z) = g (z + 1)
Wenn wir nun zeigen knnen, dass g in 0 (z) 1 beschrnkt ist, so folgt aus dem Satz von Liouville, dass
o
a
g konst. Wir betrachten dazu
2
sin2 (z)
fr (z) 1:
u
2
=
sin (z)
exp ( i z) (exp (2 i z) 1)
z=x+i y
y1
2
4
/0
|z n| = (x n) + y 2 = n2 1
x
n
n
2
+ y2
+ y2
Wir geben uns ein > 0 vor und erhalten aus der obigen Gleichung:
n= (z n)
3
+2
y2
n=2
2n0
4
+2
y2
n2
n=n
0
<
=
2
sin2 (z)
und
n=
1
(zn)2
+ y2
1
n 2
2
+
2 2
also g konst.
Nun betrachten wir die gltigen Gleichungen
u
z
2
z+1
2
=
=
sin
z
2
2
z
2
cos2
n=
(z 2n)
4
2
n=
(z (2n 1))
sin
1
cos2
z
+g
2
z+1
2
|4g (z)|
2 sin
cos
4
sin ()
2
4 2
4
= 4g (z)
2
sin (z) n= (z n)2
z
2
2,
z+1
2
z
+g
2
M +M
93
g0
2
1
=
2
n
6
n=1
Beweis:
Wir betrachten die Funktion
2
1
sin (z) z 2
2
(z)
6
1
z2
+ ... ...
1
z2
1
3
(z)
1
+ ... ...
6
=:a
=:b
2
1
z2
Binomische Formel
1+
3
z + ... 1
3
=(1b)2
2
+ ...
3
=
und schieen daraus
2
1
sin (z) z 2
/0
2
/
3
1
=
n2
n=1
n=
n=0
1
(z n)
2
1
2
2
sin (z) z
2
z=0
=
z=0
1
+
z
n=
n=0
1
1
+
zn n
Beweis:
Oenbar hat die Funktion auf der linken Seite Pole bei z Z. Wegen (R8) gilt
Res cot (z) = Res
z=0
z=0
cos (z)
= =1
sin (z)
1
+ a1 z + a3 z 3 + ...
z
2
3
94
Die Terme a2k , k N0 fallen dabei wieder weg, da cot eine ungerade Funktion ist.
Wegen cot (z + ) = cot (z) knnen wir direkt die Laurententwicklungen der Funktion um z = n ablesen:
o
cot (z) =
Jetzt nutzen wir
1
3
+ a1 (z n) + a3 (z n) + ...
zn
1
1
z
+ =
= 2
zn n
(z n) n
n
z
z
n
aus und knnen so die Konvergenz genau wie in Satz 23.3 folgern.
o
Wir erhalten so
1
1
1
cot (z) = +
+
z
zn n
n=
+ g (z)
n=0
und mssen nur noch zeigen, dass g 0. Dazu dierenzieren wir die Gleichung (23.3) und erhalten so
u
2
1
1
= 2
2 + g (z)
2
z
sin (z)
(z n)
n=0
Nach Satz 23.3 sagt uns das g 0, also g konst. Jetzt betrachten wir noch
cot (z)
1
z
=0
z=0
n=
n=0
1
1
+
zn n
=0
z=0
dass g 0.
24
24.1 Denition:
Sei 0 = an C n N gegeben. Falls
N
lim
n=1
an = a C \ {0}
an konvergiert.
n=1
Beispiel 24.1:
1. Es gilt
n=2
1
n2
1
2
wegen
N
n=2
1
n2
13 24
(N 1) (N + 1)
...
22 33
N N
=
=
N
2.
n=1
3.
n=2
1
n
ist divergent.
1
n
/
/
1
2
1
2
N +1
N
(23.3)
95
24.1 Lemma:
Eine notwendige Bedingung fr Konvergenz ist
u
Beweis:
Oenbar gilt
an
/1
ak
an =
/a =1
a
k=1
n1
ak
k=1
N 1
n=1
zn
|z|N
n
Beweis:
Der Satz von Taylor liefert uns fr jedes |z| < 1:
u
log (1 z) =
zn
n
n=1
n=1
|z|n
|z|
1
2
2|z|
n=0
N 1
n=1
zn
n
n=N
zn
n
1 N
|z|
N
n=0
1
2
1 N
|z| 2
2
= |z|N
n=1
|1 an | <
an konvergiert
n=1
Auerdem ist dann die Reihenfolge beliebig vertauschbar, ohne dass sich der Wert oder die Konvergenz ndert.
a
Beweis:
Da die Reihe
n=1
|1 an | absolut konvergiert, kann sie beliebig umgeordnet werden. Daher folgt die Beliebigkeit
96
Jetzt whlen wir ein n0 N s.d. n n0 |1 an | 1 . Das ist wegen der Konvergenz der Reihe mglich.
a
o
2
Nach dem Hilfssatz haben wir dann
|log (an )| = |log (1 (1 an ))| 2 |1 an | n n0
Jetzt gilt fr das Produkt fr jedes N N:
u
u
N
an
=
n=1
n=1
exp
log (an )
n=1
n=1
n0 1
an exp
log (an ) +
n=n0
n=0
2 |1 an |
z
z1
z
zn
... 1
zn
n=1
kn
z
zn
exp
k=0
z
zn
1
k
fr jedes z C konvergiert und eine holomorphe Funktion mit Nullstellen genau an z1 , z2 , ... darstellt, wobei die
u
Nullstellenordnung an zn gleich der Anzahl der j N mit zj = zn ist.
Beweis:
Wir whlen kn N0 , s.d. fr jedes R > 0 gilt:
a
u
n=1
R
|zn |
kn +1
<
(24.1)
z
zn
kn
+
k=1
1
k
z
zk
z
zn
kn +1
R
|zn |
kn +1
z
zn
kn
exp
k=1
1
k
z
zn
exp
n=n0
N
exp
n=n0
log 1
R
|zn |
z
z0
kn +1
kn
+
k=1
1
k
z
zn
97
24.2 Satz:
Eine ganze Funktion f ohne Nullstellen lsst sich darstellen als
a
f (z) = exp (g (z))
mit einer ganzen Funktion g.
Beweis:
Da f ganz und ohne Nullstellen ist, ist die logarithmische Ableitung
f
f
auch ganz. Daher denieren wir durch
z
g (z) :=
f ()
d + log (f (0))
f ()
exp(g(z))
f (z)
exp (g (z))
f (z)
g (z)
f (z)
f (z)
n=1
z
zn
kn
exp
k=1
1
k
z
zn
gilt.
Beweis:
Wir whlen die Folge k1 , k2 , ... in N0 so, dass das Weierstraprodukt W (z) zu den Nullstellen z1 , z2 , ... konvera
giert. Jetzt betrachtet man
f (z)
m W (z)
z
Nach Denition ist das eine ganze Funktion ohne Nullstellen, und damit gibt es laut Satz 24.2 eine ganze
Funktion g mit
f (z)
= exp (g (z))
m W (z)
z
sin (z) = z
n=
n=0
Beweis:
Oenbar ist
n=
n=0
R
|n|
z2
z
z
1 2
exp
= z
n
n
n
n=1
1+1
<R>0
98
25 Die Gammafunktion
Daher knnen wir kn = 1 n N whlen und das Weierstraprodukt zu den Nullstellen z Z \ {0} der
o
a
Funktion sin (z) konvergiert. Damit haben wir nach Satz 24.3
sin (z) = exp (g (z)) ...
mit einer ganzen Funktion g.
Betrachten wir jetzt die logarithmische Ableitung, so liefert uns das
cot (z) = g (z) +
= g (z) +
1
+
z
1
n
1
z +
1 n
n
n=
n=0
1
+
z
1
1
+
zn n
n=
n=0
und damit wissen wir g konst. Auswertung beider Terme an z = 0 liefert uns nun g 0 bzw. exp (g) 1 und
damit die Behauptung.
25
Die Gammafunktion
(z) =
welche laut Beispiel 17.5 und Denition 17.9 fr (z) > 0 holomorph ist. Fr sie knnen wir
u
u
o
(z) =
0
1
ganz
schreiben. Folgendes Lemma liefert eine alternative Darstellung fr das erste Integral:
u
25.1 Lemma:
Es gilt
1
(1)
1
n! z + n
n=0
(25.1)
fr z C \ {0, 1, 2, ...}.
u
Beweis:
Allgemein gilt fr jedes z C:
u
tz1 exp (t) = tz1
(1) z+n1
(t)
=
t
n!
n!
n=0
n=0
Diese Reihe konvergiert fr jedes feste z C gleichmig bezglich t [0, 1]. Insbesondere darf daher die
u
a
u
Integration gleichmig mit der Summenbildung vertauscht werden (vergleiche zum Beispiel [FOA], 21, Satz
a
25 Die Gammafunktion
99
z1
exp (t) dt
(1)
n!
n=0
tz+n1 dt
0
(1)
1 z+n
t
n! z + n
n=0
t=1
t=0
1
(1)
n! z + n
n=0
z=n
(1)
n!
gilt.
25.1 Hilfssatz (Euler-McLaurinsche Summenformel):
Sei f eine stetig dierenzierbare, komplexwertige Funktion auf dem abgeschlossenen Intervall [a, b] R.
Dann gilt:
b
f (n) =
nN
a<nb
10
(x x) f (x) dx
Beweis:
Sei
an<< <n+1<b
Ist x Z, so gilt
/
Daher ist dann
d
(x x) f (x) = f (x) + (x x) f (x)
dx
(25.2)
n+1
n+1
n+1
( n) f () ( n) f () +
Da die Funktion (f (x) + (x x)) f (x) dx auf x n + 1 beschrnkt ist folgt so mit n + 1:
a
n+1
(25.3)
n
10 Mit
stetig dierenzierbar auf einem abgeschlossenen Intervall ist gemeint, dass es ein oenes Intervall I mit [a, b] I R
100
25 Die Gammafunktion
=
a
b1
n+1
n=a+1 n
+
b
Analog zu (1.3)
f (a + 1) (a a) f (a)
b1
n=a+1
b1
n=a
f (n + 1) + (b b) f (b) 0
f (n + 1) (a a) f (a) + (b b) f (b)
d
(xz exp (x)) = zxz1 exp (x) xz exp (x)
dx
folgt direkt
b
b
z
x exp (x)
b
a
z1
=z
a
/ 0 und b
exp (x) dx
xz exp (x) dx
a
exp (t) dt = 1
(1) =
0
25 Die Gammafunktion
101
1
(1)
+
(z) =
n! z + n
n=0
in C \ {0, 1, 2, ...}.
Im Weiteren sei stets s C mit s = +it fr , t R.
u
Wir werden s dann stets als das Argument der Gamma-Funktion benutzen.
Wir wollen nun einige ntzliche Gleichungen der Gamma-Funktion beweisen. Dazu brauchen wir aber zunchst
u
a
die folgende Wachstumsabschtzung:
a
25.2 Satz:
Sei 1 < 2 . Dann gilt
(s) = O (1)
fr 1 2 und |t| 1. Die selbe Aussage gilt auch fr 0 < 1 2 und t R.
u
u
Beweis:
Sei 1 > 0. Dann gilt:
| (s)|
x1 exp (x) dx = ()
sup
1 2
() <
(s + n)
s (s + 1) ... (s + n 1)
so knnen wir den ersten Teil auf den Zhler anwenden. Da in diesem Fall |t| 1 vorausgesetzt wurde, knnen
o
a
o
wir den Nenner abschtzen:
a
| (s)|
| (s + n)|
C
n C
|s| |(s + 1)| ... |(s + n 1)|
|t|
sin (s)
102
25 Die Gammafunktion
Beweis:
Die Funktion
f (s) := (s) (1 s)
ist holomorph in C \Z. Auerdem gilt
f (s + 1) = s (s) (s) +
sin (s)
sin (s)
sin (s)
sin (s)
= f (s)
Damit haben wir die Gleichung
f (s + n) = (1) f (s)
(25.4)
(1 + s) (1 s)
s
sin(s)
(1)
s
sin (s)
s=0
=0
und daher handelt es sich um eine hebbare Polstelle. Zusammen mit Gleichung (25.4) sagt uns das, dass f eine
ganze Funktion ist.
Wir haben auerdem die Abschtzung
a
=
1
(exp (is) exp (is))
2i
exp (is)
(exp (2is) 1)
2i
|sin (s)|
1
|exp (is)| |1 exp (2is)|
2
|ab||a||b|
1
exp (t) (1 exp (2t))
2
1 f r t1
2 u
1
exp (t)
4
|sin (s)|
1
exp (t)
4
fr t 1.
u
Nach Satz 25.2 knnen wir die -Funktion ebenfalls durch eine Konstante in dem Bereich |t| 1 und [0, 1]
o
abschtzen. Nach obigen Rechnungen muss also auch f in dem Bereich |t| 1 und [0, 1] beschrnkt sein.
a
a
Weiter ist f in der kompakten Menge [0, 1] , t [1, 1] holomorph, also stetig, also beschrnkt und daher
a
folgt
f (s) = O (1)
in ganz 0 1. Wegen Gleichung (25.4) folgt damit aber die Beschrnktheit in ganz C und nach dem Satz
a
von Liouville ist F konstant, also f c C. Wendet man darauf wieder Gleichung (25.4) an, so sieht man
c = f (s + 1) = f (s) = c
und daher gilt c = 0, was die Behauptung zeigt.
Folgerung 25.3:
Es gilt
1
2
25 Die Gammafunktion
103
Beweis:
Wir betrachten die Ergnzungsformel fr s = 1 . Dann folgt
a
u
2
2
1
2
sin
2
=0
sin (s)
fr jedes s C. Also ist nach der Ergnzungsformel auch
u
a
(s) (1 s) = 0 s C
und daher (s) = 0 s C.
Folgerung 25.5:
Die Funktion
1
(s)
ist ganz und hat einfache Nullstellen an den Punkten s = 0, 1, 2, ....
f (s + n + 1)
fr > n 1
u
s (s + 1) ... (s + n)
s=n
(1)
n!
s=n
s=n
(und weil es sich bei beiden um einfache Pole handelt), muss g eine ganze Funktion sein. Ganz zwangslug
a
erfllt dann auch g die Funktionalgleichung 2..
u
Sei jetzt
h (s) := g (s) g (1 s)
Dann ist h ebenfalls eine ganze Funktion und es gilt
h (s + 1)
= sg (s) g (s)
= (g (s) (s) g (s))
= g (s) g (1 s)
= h (s)
104
25 Die Gammafunktion
h (s + n) = (1) h (s) fr n Z
u
(25.5)
Aus der Voraussetzung 3. folgern wir jetzt wie bei in Satz 25.2 mit der Formel
f (s + n)
= f (s)
s (s + 1) ... (s + n 1)
dass sogar f (s) = O (1) fr beliebige 1 2 und |t| 1 sowie fr 0 < 1 2 und t R. Also erfllt
u
u
u
auch g diese Eigenschaft. Allgemein gilt aber
(s) [1, 2] (1 s) [1, 0]
und daher muss wegen der Holomorphie wie oben schon (stetig auf Kompaktum, also beschrnkt) auch
a
h (s) = O (1)
fr 1 2 gelten. Mit Gleichung (25.5) folgt daraus aber die Beschrnktheit von h in der ganzen Ebene und
u
a
nach Liouville ist h (s) c C. Mit Gleichung (25.5) folgt aber wieder
c = h (1) = h (0) = c
und daher c = 0, also ist
h (s) = g (s) g (1 s) 0
Nach dem Identittssatz muss daher aber g = 0 gelten, also ist die Behauptung gezeigt.
a
Jetzt knnen wir auch die sogenannte Verdopplungsformel von Legendre zeigen:
o
25.5 Satz (Verdoppelungsformel von Legendre):
Es gilt
22s1
1
(2s) = (s) s +
2
fr alle s C.
u
Beweis:
Oensichtlich ist die Funktion
2s1
s
f (s) :=
2
s+1
2
20
1
2
(1)
2s
s+1
2
f (s + 1)
2s
s+1
2
s
s
2
2
s
+1
2
= s f (s)
Sei nun 1 2. Dann ist aber
+1
3
1
1 und 1
2
2
2
2
und daher folgt direkt aus den schon gezeigten Eigenschaften der -Funktion (vergleiche Satz 25.2), dass
f (s) = O (1)
in diesem Bereich. Mit Satz 25.4 gilt dann aber
f (s) = (s)
und das Ersetzen von s durch 2s in dieser Gleichung liefert genau die Behauptung.
25 Die Gammafunktion
105
m
1
ms1
(m s) =
(s) s +
m1 m
m
(2) 2
... s +
m1
m
fr alle s C.
u
Beweis:
Setze
f (s) :=
(2)
m1
2
s+m1
m
s
...
m
ms1
1
m
A :=
2
m
... (1)
A = (1) 1
... 1
m1
m
Ergnzungsformel
a
sin
1
m
1
m
2
m
1
m
sin
1
m
...
2
m
m1
m
...
... 1
m1
m
m1
m
(m1)
m
sin
m1
sin
=
k=1
m1
=
k=1
k
m
exp i m k exp i m k
2i
(1 + 2 + ... + m 1)
m
m1
i
i m (m 1)
(m 1)
2
m
2
m1
m1
=
(i)m1 =exp( i (m1))
2
(i)
2m1
1
2m1
1
2m1
exp i
exp
exp i (m 1)
exp (i (m 1))
2m1
(1)
m1
1
2m1
1 1
2 2
m1
exp
k=1
m1
exp
k=1
2ik
m
2ik
m
exp
exp
2ik
m
2ik
m
k=1
exp
k=1
m1
k=1
2ik
m
106
25 Die Gammafunktion
z m 1 = (z 1) z exp
... z exp
2i (m 1)
m
zm 1
=
z1
2i
m
z exp
... z exp
2i (m 1)
m
1 exp
m=
k=1
2i
k
m
m1
2m1
1
2m1
k=1
1 exp
2ik
m
Wir knnen diese Gleichung nach A umstellen, und da fr > 0 eine positive Funktion darstellt, folgt
o
u
so
m1
(2) 2
A=
m
Jetzt brauchen wir nur noch einzusetzen und erhalten direkt
f (1) = 1
2. Diese Aussage ist ganz leicht, das folgt direkt durch Einsetzen der Funktionalgleichung:
m
s+1
s+m
s
...
f (s + 1) =
m1 m
m
m
2
(2)
s
s
s+1
m
s
...
=
m1 m
m
m
m
(2) 2
m
s+1
s
s1
= s
...
m1 m
m
m
(2) 2
= sf (s)
3. Diese Aussage folgt direkt aus Satz 25.2, d.h. aus der Beschrnktheit der -Funktion.
a
Mit Satz 25.4 folgt daraus sofort
(s) = f (s)
und Ersetzen von s durch s m in dieser Formel liefert die Behauptung.
Zuletzt wollen wir noch einige alternative Darstellungen der Gamma-Funktion beweisen:
25.7 Satz (Limesdarstellung von Gau):
Die -Funktion besitzt die Darstellung
n!ns
n s (s + 1) ... (s + n)
(s) = lim
in ganz C.
Beweis:
Sei
n!ns
n s (s + 1) ... (s + n)
f (s) := lim
25 Die Gammafunktion
107
Sei weiter R > 0, m N s.d. m 2R. In |s| < R und fr n > m gilt dann fr den Hauptzweig des Logarithmus:
u
u
n!ns
s (s + 1) ... (s + n)
(m + 1) ... n ns
m!
s (s + 1) ... (s + m) (s + m + 1) ... (s + n)
m!
s (s + 1) ... (s + m) 1 +
ns
s
m+1
1+
m!
exp s log n
s (s + 1) ... (s + m)
s
m+2
... 1 +
log 1 +
k=m+1
s
n
s
k
(25.6)
Da wir
s
1
s
<
k
m
2
fr alle k = m + 1, ..., n haben, gilt nach der Taylorreihenentwicklung der Funktion log
u
log 1 +
s
k
(1)
j
j=1
j1
s
k
k
k
j=2
s
k
s 2
k
s
k
R2
k2
<
log 1 +
k=1
j1
|s|2 k
k 2 (k |s|)
s
k
j=2
(1)
j
s
s
k
k
(25.7)
in diesem Gebiet gleichmig konvergiert und veranlasst uns, die Gleichung (25.6) wie folgt weiterzuschreiben:
a
n!ns
s (s + 1) ... (s + n)
=
m!
exp s
s (s + 1) ... (s + m)
k=1
1
k
exp s log n
k=1
1
k
log 1 +
k=m+1
k=1
1
=1+
k
1
dx
x
x x
dx
x2
=log n
k=1
lim
k=1
1
log n = 1
k
x x
dx
x2
/ , so erhalten wir
1
log n
k
=1
x x
dx =: 0, 57721...
x2
existiert!
s
s
k
k
108
25 Die Gammafunktion
k=1
1
k
exp s
log 1 +
k=m+1
s
s
k
k
Die vorkommende Reihe (25.7) ist wie oben schon gesehen gleichmig konvergent und daher ebenfalls holoa
morph in dem Gebiet |s| < R. Daher muss auch f in |s| < R bis auf die Punkte
s {n | n N} {s C | |s| < R}
holomorph sein. Insbesondere ist f also holomorph in > 0, da R > 0 beliebig war.
Weiter gilt
=
n!ns+1
n (s + 1) ... (s + n + 1)
f (s + 1)
a lim
lim
n!nns
n a (s + 1) ... (s + n + 1)
Konvergenz
n!ns
lim nn + s + 1
n s (s + 1) ... (s + n) n
s lim
=1
s f (s)
=
Trivialerweise ist auch
f (1) = lim
Zuletzt gilt fr 1 2:
u
n!n
n
= lim
=1
1 ... (n + 1) n n + 1
ns n!
n!n
s ... (s + n)
( +1) ... ( +n)
und daher
1
exp s
s
log 1 +
k=1
fr s = 0, 1, 2, ....
u
Beweis:
Fr den Hauptzweig des Logarithmus gilt
u
1
1+
s
k
= exp log 1 +
s
k
s
s
k
k
25 Die Gammafunktion
109
m!
exp s
s (s + 1) ... (s + m)
1
exp
s
1
exp
s
log 1 +
k=1
s
k
log 1 +
k=1
1
exp s
s
s
m
k=1
exp s
exp s
m
exp s
s
s
k
k
log 1 +
k=1
1
k
1
1
s
s (1 + s) 1 + 2 ... 1 +
m
k=1
k=1
1
k
1
k
log 1 +
k=m+1
exp s
exp s
exp s
s
s
k
k
log 1 +
k=m+1
log 1 +
k=m+1
log 1 +
k=m+1
s
s
k
k
s
s
k
k
s
s
k
k
s
s
k
k
exp
1
(s) = exp (s)
s
1+
k=1
1+
k=1
s
k
s
k
s
s
exp
k
k
Jetzt interessieren wir uns fr die logarithmische Ableitung der -Funktion. Allgemein sieht man durch die
u
Leibniz-Regel schnell, dass
(f g)
f g f g
f
g
=
+
=
+
f g
f g
f g
f
g
d.h. die logarithmische Ableitung eines Produktes ist die Summe der logarithmischen Ableitungen. Da wie oben
schon bemerkt auerdem
(exp (f ))
= f
exp (f )
gilt, folgt aus der Darstellung in Folgerung 25.6 direkt, dass
(s) :=
(s)
(s)
1
+
s
1
+
s
1
+
s
1
+
s
exp
exp
k=1
k=1
k=1
k=1
k=1
s
k
s
k
k
1 (k+s)2
+
k
k
k+s
1 k (k + s)
+
2
k
(k + s) k
1
1
k k+s
1
1
s+k k
k
k+s
k
k+s
110
25 Die Gammafunktion
gilt.
Folgerung 25.9:
Es gilt
log ( (s)) = s log s
log 1 +
k=1
s
s
k
k
fr s C \ (, 0].
u
Beweis:
Das folgt auch direkt wieder aus der Darstellung in Folgerung 25.6, wenn man beachtet, dass C \ (, 0] einfach
zusammenhngend ist und daher
a
f (s) = 0 f (s) = exp (log (f (s)))
gilt.
25.2 Lemma (ohne Beweis):
Das Wachstum der Gamma-Funktion lsst sich im Grenzwert beschreiben durch
a
1
z z 2
(z) 2
exp (z)
wobei im spitzen Winkel entlang der reellen Achse gegen gegangen wird.
Zum Beweis vergleiche etwa [WEZ], Abschnitt 8.1.
26 Konforme Abbildungen
26
26.1
111
Konforme Abbildungen
Das Lemma von Schwarz
(2) Gibt es ein z D \ {0} s.d. |f (z) | = |z| oder gilt |f (0) | = 1, so ist
f (z) = exp (i) z
fr ein [0, 2).
u
Beweis:
(1) Da f (0) = 0 ist, hat die Funktion
f (z)
, zD
z
in z = 0 eine hebbare Singularitt. Es gibt also eine in D holomorphe Funktion g s.d.
a
z
f (z) = zg (z) z D
Fr z D und |z| < r < 1 gilt dann entsprechend mit dem Maximumsprinzip (Satz 22.5)
u
|g (z) | max
[0,2)
|f (r exp (i)) |
1
r
r
/ 1 folgt so |g (z) | 1 z D und daher sofort |f (z) | |z| z D. Auerdem ist f (0) =
Mit r
/ C durch
B (z) :=
z
1 z
26.2 Lemma:
Sei D fest. Dann ist B eine bijektive Abbildung D
gegeben durch B . Auerdem gilt
B (z) =
1 z + z + ||2
Beweis:
1
Oenbar ist B in C \ holomorph. Da aber
Einsetzen liefert fr jedes z D:
u
(1 z)
1 + ||2
(1 z)
B (B (z)) = B
z
1 z
z
1z
z
1 + 1z
=z
Daher ist B injektiv und B ist die zugehrige inverse Abbildung. Fr reelles t gilt
o
u
|exp (it) |
exp (it)
|exp (it) |
=1
=
=
1 exp (it)
|exp (it) |
exp (it)
und daher bildet B den Rand der Einheitskreisscheibe D wieder in D ab, ebenso B . Nach dem Maximumsprinzip ist dann
|B (z) | max B (w) = 1 z D
w D
112
26.2
26 Konforme Abbildungen
Konformitt
a
26.2 Denition:
Seien 1 , 2 zwei C 1 -Kurven, die sich in z0 C schneiden. Wir bezeichnen dann mit z0 (1 , 2 ) den Winkel
(gemessen in mathematisch positiver Richtung) von der orientierten Tangente an 1 in z0 zur orientierten
Tangente von 2 in z0 .
26.3 Denition:
Sei U C oen, z0 U und f C 1 (U ). f heit konform in z0 , falls jeder Winkel an z0 erhalten bleibt, d.h.
fr alle C 1 -Kurven 1 , 2 , die sich in z0 schneiden, gilt
u
z0 (1 , 2 ) = f (z0 ) (f 1 , f 2 )
Ist U ein Gebiet, so heit f konform in U , falls f in jedem Punkt z0 U konform ist.
Beispiel 26.1:
f (z) = z 2 ist nicht konform in z0 = 0. Aber in allen anderen Punkten z0 C ist f konform, d.h. winkeltreu.
26.4 Denition:
Sei G C ein Gebiet und f C 1 (G), sowie z0 G.
(1) f heit lokal 1-1 oder lokal injektiv in z0 , falls es ein > 0 gibt, s.d.
z1 , z2 {z C | |z z0 | < } , z1 = z2 f (z1 ) = f (z2 )
(2) f heit lokal 1-1 in G, falls f in jedem Punkt z0 G lokal 1-1 ist.
(3) f heit 1-1 oder schlicht in G, falls fr alle z1 , z2 G gilt:
u
z1 = z2 f (z1 ) = f (z2 )
26.1 Satz:
Sei f holomorph in einer Umgebung des Punktes z0 C mit f (z0 ) = 0. Dann ist f konform und lokal 1-1 in
z0 .
Beweis:
Wir zeigen zunchst die Konformitt. Sei eine C 1 -Kurve durch z0 , parametrisiert durch z (t) = x (t) + iy (t)
a
a
mit z (0) = z0 . Der Winkel der Tangente an an der Stelle z0 zur positiv reellen Achse ist arg (z (0)). Der
Winkel der Tangente an f an der Stelle f (z0 ) zur positiv reellen Achse ist
arg
d
f (z (t))
dt
t=0
f (z0 )=0
Fr jede Kurve ndert sich der Winkel also genau um arg (f (z0 )). Das bedeutet aber insbesondere, das der
u
a
Winkel zwischen zwei Kurven erhalten bleibt.
Jetzt zeigen wir die lokale Schlichtheit von f . Sei dazu f (z0 ) = . Da sich die Nullstellen von f nicht hufen
a
nden wir ein > 0 s.d. z f (z) keine weiteren Nullstellen auer z0 in {w C | |w z0 | < } besitzt.
Wegen f (z0 ) = 0 muss es sich auch um eine einfache -Stelle handeln. Insbesondere gilt mit der lokalen
Konstantheit der Windungszahl:
1 =
1
2i
|zz0 |=
f (z)
dz
f (z)
1
2i
f {zC | |z0 |= }
1
2i
f {zC | |z0 |= }
1
d
1
d {z C | |z0 | < } mit einem > 0
26 Konforme Abbildungen
113
gilt. Damit gilt dann fr alle z1 , z2 C mit |z1 z0 | < > |z0 z2 |:
u
1=
1
2i
|z0 z|=
1
f (z)
dz =
z zj
2i
1
d fr j = 1, 2
u
f (zj )
/ D aus Denition 26.1. Diese Funktion ist global injektiv, auerdem gilt
B (z) =
1 + ||2
(1 z)
=0zD
Beweis:
Ohne Einschrnkung knnen wir f (z0 ) = 0 annehmen, denn andernfalls betrachten wir einfach die Funktion
a
o
z f (z) f (z0 ). Die Potenzreihenentwicklung von f an z0 hat dann die Form
f (z) =
n=k
an (z z0 ) = (z z0 )
n=0
an+k (z z0 )
n=0
an+k (z z0 )
eine in einer Umgebung von z0 holomorphe Funktion, und per Denition gilt
k
f (z) = (z z0 ) g (z)
in einer kleinen Umgebung von z0 . Insbesondere gilt auch g (z0 ) = ak = 0 und daher existiert fr hinreichend
u
/ C mit
kleines r > 0 eine holomorphe Funktion l : {z C | |z z0 | < r}
(l (z))
= g (z) z {w C | |w z0 | < r}
114
26 Konforme Abbildungen
26.3 Satz:
Sei G C ein Gebiet und f eine in G holomorphe und schlichte Funktion. Dann gelten die folgenden beiden
Aussagen:
(1) f 1 existiert und ist holomorph in dem Gebiet f (G)
(2) Sowohl f als auch f 1 sind konform in G beziehungsweise f (G).
Beweis:
Teil (1) wurde schon in Satz 22.4 gezeigt, da f als schlichte Funktion injektiv in G ist. Insbesondere gilt laut
Satz 2.3 auch die Regel
1
f 1 (w) = 1
f (f (w))
Daher muss f = 0 in G sein und die Konformitt folgt aus Satz 26.1.
a
26.6 Denition:
(1) Eine holomorphe 1-1 Abbildung f heit konforme Abbildung.
(2) Zwei Gebiete G1 und G2 heien konform quivalent, falls es eine konforme Abbildung f : G1
a
gibt.
/ G2
Bemerkung 26.2:
26.3
26.3.1
26 Konforme Abbildungen
26.3.2
115
az + b
cz + d
z
y
Der Punkt N entspricht unter unserer Identikation genau dem unendlich fernen Punkt fr C.
u
In diesem Zusammenhang setzen wir fr c = 0 direkt T d := und T () := a .
u
c
c
Bemerkung 26.3:
Mit dieser Denition bilden die Mdiustransformationen die Automorphismengruppe Aut () von . Auf diese
o
Aussage wird beispielsweise in [SWR] und den zugehrigen Ubungsaufgaben nher eingegangen.
o
a
26.3 Lemma:
/ C \ a ist eine konforme Abbildung, falls c = 0. Der Falls c = 0 wurde bereits oben mit den
T : C \ d
c
c
linearen Transformationen z az + b abgedeckt.
Beweis:
Oenbar ist die Abbildung T wie in der Behauptung angegeben holomorph. Auerdem ist T bijektiv, da die
Gleichung
az + b
w=
cz + d
die eindeutige Lsung
o
dw b
z=
cw + a
besitzt (und diese hngt oenbar holomorph von w C \
a
a
c
ab).
26.4 Satz:
Die Transformation
az + b
mit a, b, c, d C und ad bc = 0
cz + d
bildet Kreise und Geraden in Kreise oder Geraden ab.
z
Beweis:
1
Wir zeigen die Aussage zunchst fr den Spezialfall z z . Sei dazu S = {z C | |z | = r} ein Kreis in C.
a
u
Wir interessieren uns dann fr
u
1
S
T := w C |
w
Die denierende Gleichung von S ist
(z ) (z ) = r2
116
26 Konforme Abbildungen
was genau
entspricht. Fr z =
u
1
w
zz z z = r2 ||2
also insbesondere
= r2 ||2
ww w w
1
2
||2 r 2
||2 r2
||2 r2
w=
1
||2 r2
r2
2
(||2 r2 )
|w |2 =
r
||2 r2
z
mit
1
a ad dc
und 3 (z) =
z
z
c
c
Man rechnet leicht nach, das diese einzelnen Transformationen zusammengesetzt wieder die ursprngliche Transu
formation ergeben. 3 und 1 sind an lineare Transformationen, erhalten also Kreise und Geraden, und 2
erfllt nach obiger Rechnung ebenfalls die Behauptung. Daher muss es auch die Komposition tun.
u
1 (z) = cz + d, 2 (z) =
26.8 Denition:
/ G heit Automorphismus von G.
Sei G C ein Gebiet. Eine konforme Selbstabbildung f : G
Mit Aut (G) bezeichnen wir die Gruppe der Automorphismen des Gebiets G.
Bemerkung 26.4:
Seien G1 , G2 C zwei Gebiete und sei f : G1
(2) Dann besitzt jeder Automorphismus h Aut (G1 ) von G1 die Darstellung
h = f 1 g f
wobei g Aut (G2 ) in Automorphismus von G2 ist.
Beweis:
/ G1 . Oenbar handelt es sich dabei um einen Automorphismus
(1) Betrachte die Abbildung f 1 h : G1
des Gebiets G1 , d.h. f 1 h = g Aut (G1 ). Das bedeutet aber genau
h=gf
wie in der Behauptung.
(2) Ist h Aut (G1 ), so ist f h : G1
mit
26 Konforme Abbildungen
117
26.4 Lemma:
Sei T ein Automorphismus von D mit der Eigenschaft T (0) = 0. Dann hat T die Form
T (z) = exp (i) z
mit einem [0, 2).
Beweis:
Wir wollen das Lemma von Schwarz (Lemma 26.1) nutzen. Da alle Voraussetzungen fr den ersten Teil erfllt
u
u
sind, erhalten wir sofort |T (z) | |z| z D. Wir knnen den ersten Teil aber auch auf die Umkehrfunktion
o
T 1 anwenden und erhalten so
|z| = |T 1 (T (z)) | |T (z) |
Insbesondere gilt also |T (z) = |z| z D. Damit ist Teil (2) des Lemmas anwendbar und wir erhalten
T (z) = exp (i) z z D
mit einem festen [0, 2).
26.5 Satz:
Die Automorphismen T der Einheitskreisscheibe D sind alle von der Form
T (z) = exp (i)
z
1 z
z
1 z
aus Denition 26.1 fr ein festes D. Wir haben in Lemma 26.2 und Bemerkung 26.1 schon gesehen,
u
dass B eine konforme Abbildung der Einheitskreisscheibe auf sich selbst ist. Damit folgt sofort, dass jede der
Abbildungen
z exp (i) B (z)
B (z) =
mit D und [0, 2) ein Automorphismus der Einheitskreisscheibe D ist. Es bleibt zu zeigen, dass jeder
der Automorphismen T aus der Behauptung eine solche Darstellung besitzt. Sei T 1 (0) = D. Betrachte
dann die Abbildung
1
T B
Dabei handelt es sich dann im einen Automorphismus von D, welcher die 0 D xiert. Nach obigem Lemma
26.4 gilt
1
T B (z) = exp (i) z z D
mit einem festen [0, 2). Das zeigt die Behauptung.
26.6 Satz:
Die Automorphismen der oberen Halbebene sind von der Form
z
az + b
cz + d
zi
z+i
Oenbar handelt es sich dabei um eine Abbildung der oberen Halbebene auf die Einheitskreisscheibe D, denn
schlielich bildet S die reelle Achse R auf die Einheitskreisslinie ab (fr z R gilt natrlich |z i| = |z + i|)
u
u
und es gilt S (i) = 0 (deshalb landen wir im Inneren des Kreises).
Ergo sind alle Automorphismen der oberen Halbebene laut obiger Bemerkung 26.4 von der Form
S:z
z
fr ein D, [0, 2)
u
1 z
118
26 Konforme Abbildungen
Berechnung dieses Ausdrucks liefert genau eine Abbildung mit der Form wie in der Behauptung. Bleibt zu
zeigen, dass jede der angegebenen Abbildungen ein Automorphismus der oberen Halbebene ist.
Da es sich um den Spezialfall einer Mbiustransformation handelt, haben wir Injektivitt und Holomorphie
o
a
schon gesehen. Wegen a, b, c, d R gilt
az + b
zR
R
cz + d
und auerdem gilt
ad bc
ai + b
= 2
>0
ci + d
c + d2
Daher ist das Bild jeder so gegebenen Abbildung wieder in der oberen Halbebene enthalten. Die Surjektivitt
a
folgt daraus, dass die im Beweis von Lemma 26.3 angegebene Umkehrung der Transformation wieder eine
Mbiustransformation mit a, b, c, d R und ad bc > 0 ist.
o
26.9 Denition:
Sei G C ein Gebiet, f : G
gilt.
26.5 Lemma:
Eine gebrochen-lineare Transformation T verschieden der Identitt hat hchstens zwei Fixpunkte in .
a
o
Beweis:
Sei
T (z) =
az + b
mit a, b, c, d C und ad bc = 0
cz + d
a
c
hat genau eine komplexe Lsung. Auerdem ist z = ein weiterer Fixpunkt.
o
Ist c = 0 und a = 1, so besitzt
d
b
T (z) = z +
d
z = als einzigen Fixpunkt.
26.7 Satz:
Seien z1 , z2 , z3 paarweise verschiedene Zahlen aus C. Die eindeutig bestimmte gebrochen-lineare Transformation,
welche z1 , z2 , z3 in dieser Reihenfolge auf die Punkte , 0, 1 abbildet, ist
T (z) =
z z 2 z3 z1
z z 1 z3 z2
Beweis:
Oenbar hat T die gewnschten Eigenschaften:
u
T (z1 )
T (z2 )
T (z3 )
z z 2 z3 z1
=
z z 1 z3 z2
z2 z2 z3 z1
=0
z2 z1 z3 z2
z3 z2 z3 z1
=1
z3 z1 z3 z2
lim
zz1
26 Konforme Abbildungen
119
az + b
cz + d
fr a = z3 z1 , b = z3 z3 z1 , c = 1 und d = z1 .
u
z3 z2
z3 z2
Bleibt die Eindeutigkeit zu zeigen. Sei S eine weitere Transformation mit den Eigenschaften aus der Behauptung.
Dann Ist T S 1 eine gebrochen-lineare Transformation mit den Fixpunkten , 0, 1 und nach obigem
Lemma 26.5 gilt T S 1 = id, was die Behauptung zeigt.
Bemerkung 26.5:
Mit den folgenden Transformationen bleibt der Satz richtig, falls zj = fr ein j = 1, 2, 3:
u
Im Fall z1 = setze
T (z) =
T (z) =
Im Fall z3 = setze
Beachte, dass dabei
z3 z 1
z z1
T (z) =
Im Fall z2 = setze
z z2
z3 z 2
z z2
z z1
= 1 gesetzt wird.
26.10 Denition:
Seien z1 , z2 , z3 , z4 C vier paarweise verschiedene Zahlen. Das Doppelverhltnis
a
(z1 , z2 , z3 , z4 ) :=
z4 z2 z3 z1
z4 z1 z3 z2
von z1 , z2 , z3 , z4 ist das Bild von z4 unter der oben angegebenen gebrochen-linearen Transformation fr z1 , z2 , z3 .
u
Bemerkung 26.6:
Fallen zwei der vier Punkte zusammen, so kann man das Doppelverhltnis als Grenzbergang denieren, etwa
a
u
(z1 , z1 , z3 , z4 ) := lim (z1 , z1 + h, z3 , z4 )
h0
26.8 Satz:
Das Doppelverhltnis ist invariant unter gebrochen-linearen Transformationen T , d.h. fr vier paarweise vera
u
schiedene komplexe Zahlen z1 , z2 , z3 , z4 gilt
(T z1 , T z2 , T z3 , T z4 ) = (z1 , z2 , z3 , z4 )
Beweis:
Sei S die laut Satz 26.7 eindeutige gebrochen-lineare Transformation mit S : (z1 , z2 , z3 ) (, 0, 1). Dann gilt
S T 1 : (T z1 , T z2 , T z3 ) (, 0, 1)
D.h. S T 1 ist die laut Satz 26.7 eindeutig bestimmte gebrochen-lineare Transformation mit diesen Eigenschaften. Per Denition ist dann
(T z1 , T z2 , T z3 , T z4 ) = S T 1 (T z4 ) = S (z4 ) = (z1 , z2 , z3 , z4 )
Das zeigt die Behauptung.
Wir erhalten durch Komposition sofort die folgende
Folgerung 26.1:
Seien z1 , z2 , z3 und w1 , w2 , w3 jeweils drei paarweise verschiedene komplexe Zahlen. Die eindeutig bestimmte
gebrochen-lineare Transformation T mit z1 w1 , z2 w2 und z3 w3 fr T (z) =: w ist gegeben durch
u
w w2 w3 w1
z z 2 z3 z 1
=
z z 1 z3 z 2
w w1 w3 w2
120
Beispiel 26.3:
Wir betrachten
z1 = 1, z2
2, z3 = 7
w1 = 1, w2
2, w3 = 3
Dann besitzt die Transformation aus Folgerung 26.1 aufgelst die Darstellung
o
w = T (z) =
27
7z 4
2z + 1
Sei in diesem Abschnitt wieder stets D := {z C | |z| < 1} die Einheitskreisscheibe. In diesem Abschnitt wollen
wir den folgenden Satz beweisen:
27.1 Satz (Riemannscher Abbildungssatz):
Alle einfach zusammenhngenden Gebiete G C, welche verschieden von C sind, sind konform quivalent.
a
a
Wir werden dazu die folgende, noch strkere Aussage beweisen:
a
27.2 Satz (Riemannscher Abbildungssatz - strkere Version):
a
Sei G C ein einfach zusammenhngendes Gebiet, G = C und z0 G. Dann gibt es genau eine konforme
a
/ D mit f (z0 ) = 0 und f (z0 ) > 0. 11
Abbildung f : G
Das Satz 27.2 direkt Satz 27.1 impliziert, ist oensichtlich, da es sich bei konformer Aquivalenz um eine
Aquivalenzrelation handelt.
27.1 Lemma (Hurwitz):
Sei G C ein Gebiet und sei (fn )nN eine Folge holomorpher, in G nicht verschwindender Funktionen, die
lokal gleichmig gegen f konvergieren. Dann ist f 0 oder f (z) = 0 z G.
a
Beweis:
Wir nehmen an, es gbe ein z0 G s.d. f (z0 ) = 0, aber f 0 in G. Sei weiter r > 0 s.d.
a
B := {w C | |z0 w| < r} G
und f (z) = 0 z B. Das ist mglich, da sich die Nullstellen holomorpher Funktionen nicht hufen. Laut
o
a
Satz 16.4 ist f holomorph, daher gilt mit Satz 16.3, Folgerung 16.1 und Satz 21.2 insbesondere
0=
fm (z)
dz
fm (z)
1
2i
f (z)
dz
f (z)
1
2i
/
|zz0 |=r
|zz0 |=r
wegen f (z0 ) = 0 und z0 B. Das ist ein Widerspruch, daher gilt die Behauptung.
27.1 Hilfssatz:
Sei G C ein Gebiet und (fn )nN eine lokal gleichmig konvergente Folge holomorpher, injektiver Funktionen
a
auf G,
/
n
/f
fn
lokal gleichmig
a
lokal gleichmig
a
/f a
121
gF
mit h (z0 ) = 1 (vergleiche dazu etwa [RUR], Seite 328, Satz 13.11). Oenbar ist h injektiv. Wir zeigen nun
zunchst:
a
> 0 s.d. |h (z) + 1| > z G
(27.1)
Wrde (27.1) nicht gelten, so gbe es eine Folge (zn )nN G s.d.
u
a
h (zn )
zm 0
2
= (h (zm ))
z0 0
/ 1
/
/1
/
lim zn
h (z0 )
mit = arg
h (z) + 1
(h (z0 ) + 1)
Da h injektiv ist, muss auch g injektiv sein. Auerdem gilt wegen Gleichung (27.1) g : G
Denition von auch g (z0 ) > 0 wegen h(z)+1 = 0. Also ist g F und F = .
/ D und per
zu (2) Da G C oen ist und z0 G liegt, nden wir ein > 0 s.d. {z C | |z z0 | } G gilt. Dann gilt
zunchst fr jedes g F:
a
u
|g (z0 )|
1
2i
g ()
|z0 |=
|g(z)|1
( z0 )
1
1
2 2
2
dz
122
Wir zeigen nun, dass es auch angenommen wird. Sei (gm )mN F eine approximierende Folge fr das
u
Supremum M , d.h.
/
m
/M
gm (z0 )
Wir whlen nun eine abzhlbare, dichte Teilmenge (l )lN in G (z.b. Q2 G fr C R2 ). Wegen |gm (z) |
a
a
u
=
1 m N z G ist dann insbesondere
(gm (1 ))mN C
eine beschrnkte Folge, und wir wissen mit Bemerkung 4.1, dass sie daher eine konvergente Teilfolge
a
g1(m) (1 ) mN mit Grenzwert f (1 ) besitzt. Nun ist aber auch
g1(m) (2 )
mN
eine beschrnkte Folge, und wir nden eine konvergente Teilfolge g2(m) (2 )
a
Wir erhalten so induktiv immer weitere Verfeinerungen der Folge
gk(m)
mN
F s.d. gk(m) (l )
mN
mit Grenzwert f (2 ).
/ f (l ) l k
fm (l )
/ f (l )
d.h. es liegt punktweise Konvergenz auf einer dichten Teilmenge vor. Wir wollen nun zeigen, dass sogar
lokal gleichmige Konvergenz der holomorphen Funktionsfolge (fm )mN gegen die Funktion f vorliegt.
a
Sei dazu > 0, K G kompakt und dist (K, C \ G) =: 2d > 0. Fr z K gilt dann:
u
|fm (z)|
fm ()
1
2i
|z|=d|
( z)
1
1
1
2d 2 =
2
d
d
fm F
(27.2)
Weiterhin knnen wir K ohne Einschrnkung als Kreisscheibe annehmen, da wir jede kompakte Menge
o
a
durch endlich viele Kreisscheiben uberdecken knnen. Damit ist K konvex und es gilt fr alle z, z K,
o
u
m N:
z
|fm (z) fm (z )| =
fm () d
(27.2)
|z z |
d
(27.3)
Also ist die Funktionsfolge (fm )mN mit := d gleichgradig gleichmig stetig auf K. Jetzt
a
uberdecken wir K mit endlich vielen Kreisscheiben der Form z C | |z l | < d , d.h.
3
r
j=1
z C | |z lj | <
d
3
Fr jedes z K existiert damit ein j mit |z lj | < d und wegen der bereits gezeigten punktweisen
u
3
l
l
Konvergenz auf der dichten Teilmenge gibt es auch ein mj s.d. m, m mj :
|fm (l ) fm (l )| <
und fr alle
u
(27.4)
j=1,...,r
m, m m
a
u
mj . Dieses m hngt dann nicht mehr von z K ab und es gilt fr alle z K
mit geeignetem 1 j r:
+ fm lj fm lj
+ fm lj fm (z)
lokal gleichmig
a
/ f|
<
123
Daher ist die Folge (fm )mN F lokal gleichmig konvergent und nach Satz 16.4 ist f ebenfalls holoa
morph in G. Auerdem sagt uns Folgerung 16.1 uber die Ableitung, dass
Laut Satz 22.1 ist f als holomorphe, nicht konstante Funktion oen und wegen
|f (z)| = lim |fm (z)| 1 z G
m
muss also f (G) D gelten. Mit Hilfssatz 27.1 ist f auerdem injektiv, d.h f F.
zu (3)
Angenommen, es wre f (z0 ) = mit einem 0 < || < 1. Betrachte dann die Funktion
a
f (z)
1 f (z)
g (z) := B f (z) =
f (z0 )
> f (z0 ) > 0
1 ||2
Damit folgt zum einen g F und zum anderen stellt dies einen Widerspruch zur Maximalitt der
a
Ableitung von f an der Stelle z0 dar.
Wir nehmen an, es gbe ein w0 D \f (G). Zwangslug ist w0 = 0, da f (z0 ) = 0. Wir stellen w0
a
a
dann eindeutig in der Form
w0 = t2 exp (i)
mit einem 0 < t < 1 und einem [0, 2) dar. Sei nun
g2 (z) t
fr z G
u
1 tg2 (z)
g2 (z0 ) =
g1 (z0 )
2 g1 (z0 )
g0 (z0 ) 1 t4
2t
g (z0 ) 1 + t2
g2 (z0 )
= 0
1 t2
2t
|g0 (z0 )| 1 + t2
>0
(27.5)
2t
Betrachte also g4 (z) := exp (i arg (g3 (z0 ))) g3 (z) und erhalte so eine Funktion g4 F. Wegen
2
1 + t > 2t t (0, 1) sagt uns (27.5) aber genau
|g3 (z0 )| =
124
Damit ist jetzt schon klar, dass f die Behauptungen des Satzes erfllt.
u
zu (4) Wir nehmen an, es gbe zwei konforme Abbildungen f, g : G
a
f (z0 ) > 0 < g (z0 ). Betrachte dann die Funktion
h := f g 1 : D
/D
Als Komposition konformer Funktionen ist h dann ebenfalls konform und es gilt h (0) = 0. Mit dem
Lemma (25.5) uber die Automorphismen der Einheitskreisscheibe folgt sofort
1
g (0)
idD = h = f g 1
d.h. f = g als Funktionen.
Stichwortverzeichnis
125
Stichwortverzeichnis
Abbildung
1-1, 112
konform, 112, 114
Abel
Grenzwertsatz, 25
additiv Inverses, 5
Additonstheoreme, 6
Binomischer Lehrsatz, 20
Cauchy
Cauchyfolge, 13, 37
Cauchykriterium, 13, 14
Funktionsfolgenkonvergenz, 50
Chauchy-Riemannsche DGL, 1011
Integralformel, 40, 42, 53, 64, 69
Integralsatz, 39, 67, 70, 76
fr Kreisscheiben, 40
u
Koezientenabschtzung, 45, 57, 58
a
Coursat
Integrallemma von, 36, 39, 43
Doppelverhltnis, 119
a
Einheitskreisscheibe
Automorphismen, 117
Euler
Eulersche Formel, 19
Eulersche Konstante, 108
Summenformel, 99, 107
Fabry
Lckenreihe, 49
u
Fixpunkt, 118
gebrochen-linearer Transformationen, 118
Folge, 12
Cauchyfolge, 13, 37
Cauchykriterium, 13
Grenzwert, 8
Hufungspunkt, 8, 16
a
konvergent, 12
Rechenregeln, 12
Funktion, 7, 8
1-1, 112
Ableitung, 8
hherer Ordnung, 18
o
Allgemeine Potenzfunktion, 22
Eigenschaften, 22, 23
Beta-, 63
Cosinus, 18
Additionstheoreme, 6, 21
Eigenschaften, 2022
Cotangens, 22
Denitionsbereich, 7
dierenzierbar, 8, 10
total, 10
Exponentialfunktion, 18
Eigenschaften, 20
Fixpunkt, 118
Funktionsfolge, siehe Funktionsfolge
126
stetig dierenzierbare, 29
stetige, 26, 28
Tangens, 22
Umkehrfunktion
Ableitung, 9
winkeltreu, 10
Zeta-, 54
alternierend, 55
Fortsetzung, 56
Funktionsfolge
gleichmige Konvergenz, 50
a
gleichmige Konvergenz und Dierentiation, 52
a
gleichmige Konvergenz und Holomorphie, 53
a
kompakte Konvergenz, 50
lokal gleichmige Konvergenz, 50
a
punktweise Konvergenz, 49
Funktionsreihe
absolut gleichmige Konvergenz, 51
a
gleichmige Konvergenz, 51
a
gleichmige Konvergenz und Dierentiation, 52
a
gleichmige Konvergenz und Holomorphie, 53
a
kompakte Konvergenz, 51
lokal gleichmige Konvergenz, 51
a
punktweise Konvergenz, 51
Gau
Integralsatz von, 43
Limesdarstellung der Gamma-Funktion, 106
Multiplikationsformel der Gamma-Funktion, 105
Gebiet, 811, 17, 28
Automorphismus, 116
einfach zusammenhngend, 67
a
Stichwortverzeichnis
Umkehrungsregel, 31
uneigentliches, 59, 60
entlang einer Kurve, 59
gleichmige Konvergenz, 60
a
kompakte Konvergenz, 61
lokal gleichmige Konvergenz, 61
a
lokal gleichmige Konvergenz und Holomorphie,
a
62
Majorante, 61
Integralsatz
von Cauchy, 39
Intervall
abgeschlossenes, 29
kompaktes, 26
Kette, 64
Aueres, 64
Inneres, 64
Lnge, 64
a
Spur, 64
Umlaufzahl, 64
Kettenregel, 9
Koezientenabschtzung
a
von Cauchy, 45, 57, 58
Komplexe Zahlen, 5
absoluter Betrag, 5
Einheitswurzeln, 19
Krper der, 5
o
komplexe Konjugation, 5
Polarkoordinaten, 6
Aquivalenz, 29
Aueres, 63
Anfangspunkt, 28, 60, 62
Endpunkt, 28, 59, 62
geschlossen, 28, 34, 35, 75
glatte, 28, 29, 32
Inneres, 63
Kette, siehe Kette
Orientierung, 75
Parametrisierung, 29, 32, 34
Spur einer, 28
stckweise glatt, 31
u
Parametrisierung, 31
Strahl, 60
Umlaufzahl, 75
Lagrang
Lagrangsche Reihe, 87
Laplace-Dierentialgleichung, 12
LaPlace-Transformation, 63
Laurententwicklung, 71, 72, 74, 76, 91
Hauptteil, 7173, 90, 91
Nebenteil, 71, 72
Satz von Mittag-Leer, 90
Laurententwicklungen, 94
Legendre
Multiplikationsformel der Gamma-Funktion, 105
Verdoppelungsformel der Gamma-Funktion, 104
Lemma
von Schwarz, 111
Stichwortverzeichnis
Liouville
Satz von, 46
Mbiustransformation, 115
o
McLaurin
Summenformel, 99, 107
Mellin-Transformation, 63
Menge
oen, 8
zusammenhngend, 8
a
Moivre, de, Satz von, 6, 19
Morera
Satz von, 43
multiplikativ Inverses, 5
Nullstellenordnung, 26
obere Halbebene
Automorphismen, 117
Ordnung
Nullstellenordnung, 73, 76, 96
Eigenschaften, 47
Polordnung, 73
Parametertransformation, 29
Partialbruchzerlegung, 89
Satz von Mittag-Leer, 90
Partialsumme, 13
partielle Summation, 24
Polarkoordinaten, 6
Produkt, 94
allgemeine Fakultt, 101
a
Konvergenz, 94, 95
Weierstrascher Produktsatz, 97
Weierstraprodukt, 9698
Produktregel, 76
Realteil, 5
Reihe, 13
absolute Konvergenz, 1417
Binomialreihe, 15
Divergenz, 15, 16
Exponentialreihe, 15
geometrische Reihe, 15
Grenzwert, 13
konvergent, 13
Konvergenz, 1416
Cauchykriterium, 14
Majorantenkriterium, 14
Quotientenkriterium, 16, 17
Konvergenzradius, 1518, 23
Lckenreihe, 49
u
Lagrangsche Reihe, 87
Majorante, 14, 16
Minorante, 14
Potenzreihe, 15, 16, 23
Divergenzpunkt, 15
Identittssatz, 18
a
Koezienten, 15
konstantes Glied, 15
Konvergenzpunkt, 15
Rechenregel, 13
Residuum, 74, 76
127
Rechenregeln, 75
Riemann
Abbildungssatz, 120
Chauchy-Riemannsche DGL, 1011
Riemannsche Flche, 22
a
Zahlenkugel, 115
Riemann-Summe, 26
Untersumme, 26
Satz
von LHospital, 79
Doppelreihensatz von Weierstra, 54
Fundamentalsatz der Algebra, 46, 8385, 89
Identittssatz, 48
a
Maximumsprinzip, 88
Minimumsprinzip, 89
Residuensatz, 74, 77, 8082
Riemannscher Abbildungssatz, 120
Riemannscher Hebbarkeitssatz, 69
von Casorati-Weierstra, 69
von der Gebietstreue, 86
von Gau, 43
von Liouville, 46, 92
von Mittag-Leer, 90
von Morera, 43
von Rouch, 84
e
Weierstrascher Produktsatz, 97
Schwarz
Lemma von, 111
Singularitt, 73, 74, 81
a
hebbare, 68, 72, 74, 75
Hebbarkeitssatz, 69
isolierte, 68, 74, 77
Residuum, siehe Residuum
Pol, 68, 72, 74, 78, 79, 83
einfach, 76
mehrfach, 76
Satz von Casorati-Weierstra, 69
wesentliche, 68, 72
Sphre, 6
a
Stammfunktion, 32, 34
stereographische Projektion, 6
Strahl, siehe Kurve
Streckenzug, 26
Summenformel
Euler-McLaurin, 99, 107
Supremum, 16
Taylor, 88
Entwicklung, 44, 49, 87, 95
Formel, 44
Taylorreihe, 70
Umgebung, 58
Umlaufzahl, 34, 35
Unendlich, 6
Umgebung, 6
Wielandt
Eindeutigkeitssatz fr die Gamma-Funktion, 103
u
Winkel, 9
konforme Abbildung, 112
zwischen zwei sich schneidenden Kurven, 112
128
Zusammenhangskomponente, 35
Stichwortverzeichnis