Sie sind auf Seite 1von 86

2 Holomorphe Funktionen

Die Untersuchung von holomorphen Funktionen, auch regulre Funktionen genannt, bildet ein
Kernstck der Funktionentheorie. Abschnitt 2.3.4 zeigt, dass eine Charakterisierung dieser Funk-
tionen auf verschiedene Weise mglich ist.
2.1 Differenzierbarkeit im Komplexen, Holomorphie
Wir benutzen die Differenzierbarkeit von komplexen Funktionen als Einstieg in die Funktionen-
theorie und insbesondere zur Denition der holomorphen Funktionen.
2.1.1 Ableitungsbegriff, Holomorphie
Der Ableitungsbegriff fr reellwertige Funktionen f wurde in Burg/Haf/Wille [12]mit Hilfe des
Differenzenquotienten
f (x) f (x
0
)
x x
0
durch Grenzbergang x x
0
erklrt. Analog hierzu gehen wir im komplexen Fall vor:
Denition 2.1:
(a) Die komplexwertige Funktion f sei auf einem Gebiet D C erklrt. Man sagt,
f ist differenzierbar im Punkt z
0
D, wenn der Grenzwert
lim
zz
0
f (z) f (z
0
)
z z
0
(2.1)
existiert. Dieser Grenzwert ist hierbei im Sinne von Denition 1.13 zu verstehen.
Man nennt diesen Grenzwert (erste) Ableitung oder Differentialquotient von f
in z
0
und benutzt die Schreibweisen
f

(z
0
) ,
d
dz
f (z
0
) oder
d f
dz
(z
0
) .
(b) f heit differenzierbar im Gebiet D, falls f in jedem Punkt von D differenzier-
bar ist.
(c) f heit stetig differenzierbar im Gebiet D, falls f in D differenzierbar und die
Ableitung f

in D stetig ist.
K. Burg, H. Haf, F. Wille, A. Meister, Funktionentheorie,
DOI 10.1007/978-3-8348-2340-3_2, Springer Fachmedien Wiesbaden 2013
34 2 Holomorphe Funktionen
Beispiel 2.1:
Die Funktion
f (z) = z
n
, n N
ist in ganz C stetig differenzierbar. (Zeigen!)
Aus der Differenzierbarkeit von f in z
0
folgt insbesondere die Stetigkeit von f in diesem
Punkt, eine Aussage, die nicht besonders berrascht.
In Abschnitt 1.2.2, Satz 1.7, haben wir gesehen, dass sich die Stetigkeit von f = u + i v im
Punkt z
0
= x
0
+i y
0
auf die Stetigkeit von Realteil u und Imaginrteil v von f im Punkt (x
0
, y
0
)
bertrgt und umgekehrt. Gilt eine entsprechende Aussage auch fr die Differenzierbarkeit? Dies
ist nicht der Fall, wie das folgende Beispiel zeigt:
Beispiel 2.2:
Wir betrachten die Funktion
f (z) = |z| , z C.
Setzen wir z = x +i y, u(x, y) =
_
x
2
+ y
2
und v(x, y) = 0, so knnen wir f in der Form
f (z) =
_
x
2
+ y
2
+i 0 = u(x, y) +i v(x, y)
darstellen. Die Funktionen u und v sind fr alle (x, y) =(0,0) differenzierbar. Jedoch ist f auch
fr z
0
= 0 nicht differenzierbar:
(i) Wir whlen zunchst eine Folge {z
n
} auf dem Kreis um den 0-Punkt mit Radius |z
0
|, d.h.
fr diese Folge gilt |z
n
| = |z
0
| und
z
n
z
0
fr n (z
n
= z
0
) .
Daher folgt f (z
n
) = f (z
0
) und somit
f (z
n
) f (z
0
)
z
n
z
0
0 fr n .
(ii) Nehmen wir nun eine Folge {z
n
}, die auf der Geraden durch die Punkte 0 und z
0
liegt, also
mit arg z
n
= arg z
0
fr die
z
n
z
0
fr n (z
n
= z
0
)
gilt. Wegen
f (z
n
) f (z
0
) = |z
n
| |z
0
| = 0
und
z
n
z
0
= (|z
n
| |z
0
|) e
i arg z
0
2.1 Differenzierbarkeit im Komplexen, Holomorphie 35
folgt dann fr n
f (z
n
) f (z
0
)
z
n
z
0
e
i arg z
0
= 0 .
Fr die beiden Folgen aus (i) und (ii) ergeben sich somit unterschiedliche Grenzwerte, f
kann also in z
0
nicht differenzierbar sein.
Die Frage, unter welchen zustzlichen Voraussetzungen an die Funktionen u und v auf die
Differenzierbarkeit von f geschlossen werden kann, wird uns in Abschnitt 2.1.3 noch beschfti-
gen.
Der folgende Holomorphiebegriff steht im Zentrum der Funktionentheorie:
Denition 2.2:
Sei D ein Gebiet in C und f : D C.
(i) Wir sagen, f ist holomorph (oder regulr, oder analytisch ) in D, falls f in D
stetig differenzierbar ist.
(ii) Wir nennen f holomorph im Punkt z
0
D, falls f in einer Umgebung von z
0
stetig differenzierbar ist.
Bemerkung: Wir beachten, dass die Holomorphie einer Funktion f in z
0
mehr verlangt, als dass
f stetig differenzierbar in z
0
ist: f muss in einer Umgebung von z
0
stetig differenzierbar sein.
2.1.2 Rechenregeln fr holomorphe Funktionen
Wie in der reellen Analysis (s. Burg/Haf/Wille [12]) beweist man die folgenden Stze:
Satz 2.1:
Die Funktionen f und g seien holomorph imGebiet D. Dann sind auch die Funktionen
f g , f g und
f
g
(falls g(z) = 0 in D)
holomorph in D, und es gelten die Ableitungsregeln
( f g)

= f

g

; (2.2)
( f g)

= f

g + f g

; (Produktregel) (2.3)
_
f
g
_

=
f

g f g

g
2
. (Quotientenregel) (2.4)
Dieser Satz ist bei vielen Holomorphienachweisen hilfreich.
36 2 Holomorphe Funktionen
Beispiel 2.3:
Das komplexe Polynom
P
n
(z) = a
n
z
n
+a
n1
z
n1
+. . . +a
1
z +a
0
; z, a
i
C , n N
ist in ganz C holomorph.
Beispiel 2.4:
Die rationale Funktion
f (z) =
a
n
z
n
+. . . +a
1
z +a
0
b
m
z
m
+. . . +b
1
z +b
0
(a
j
, b
k
C, j = 0,1, . . . , n , k = 0,1, . . . , m , n, m N)
ist in ganz C mit Ausnahme der Nullstellen des Nennerpolynoms holomorph.
Auch bei der Verkettung von komplexwertigen Funktionen lassen wir uns von der reellen
Analysis leiten (s. Burg/Haf/Wille [12]):
Seien D
1
, D
2
und D
3
Gebiete in C
g : D
1
D
2
und f : D
2
D
3
.
Dann ist die Verkettung von f und g
f g : D
1
D
3
durch
( f g)(z) = f (g(z)) , z D
1
(2.5)
erklrt. Es gilt
Satz 2.2:
(Kettenregel) Ist g : D
1
D
2
holomorph in D
1
, und ist f : D
2
D
3
holomorph in
D
2
, so ist die Verkettung f g : D
1
D
3
holomorph in D
1
und es gilt
( f g)

= ( f

g)g

. (2.6)
Auch der Beweis dieses Satzes lsst sich unmittelbar aus dem entsprechenden reellen Beweis (s.
Burg/Haf/Wille [12]) bernehmen.
2.1.3 Die Cauchy-Riemannschen Differentialgleichungen
Im Folgenden untersuchen wir die Konsequenzen der komplexen Differenzierbarkeit von
f (z) = u(x, y) +i v(x, y) im Punkt z
0
= x
0
+i y
0
2.1 Differenzierbarkeit im Komplexen, Holomorphie 37
auf die reellen Funktionen
u(x, y) und v(x, y) im Punkt (x
0
, y
0
) .
Wir leiten eine notwendige Bedingung fr die Differenzierbarkeit von f in z
0
her:
Satz 2.3:
(Cauchy-Riemannsche
1
Differentialgleichungen) Sei D ein Gebiet in C, z
0
= x
0
+
i y
0
D und die Funktion f (z) = u(x, y) + i v(x, y) differenzierbar in z
0
. Dann
besitzen die Funktionen u und v in (x
0
, y
0
) partielle Ableitungen u
x
, u
y
, v
x
, v
y
2
und
es gilt
u
x
(x
0
, y
0
) = v
y
(x
0
, y
0
) , v
x
(x
0
, y
0
) = u
y
(x
0
, y
0
) . (2.7)
Fr die Ableitung f

in z
0
gilt
f

(z
0
) = u
x
(x
0
, y
0
) +i v
x
(x
0
, y
0
) = v
y
(x
0
, y
0
) i u
y
(x
0
, y
0
) . (2.8)
Beweis:
Nach Voraussetzung existiert der Grenzwert
lim
zz
0
f (z) f (z
0
)
z z
0
= f

(z
0
) ,
wie auch immer wir mit z gegen z
0
gehen.
(i) Dies gilt insbesondere, wenn wir uns auf einer Parallelen zur x-Achse durch z
0
dem Punkt
z
0
nhern: Fr jede reelle Folge {h
n
} mit h
n
0 fr n (h
n
= 0) muss also gelten
f (z
0
+h
n
) f (z
0
)
h
n
=
_
u(x
0
+h
n
, y
0
) +i v(x
0
+h
n
, y
0
)
_

_
u(x
0
, y
0
) +i v(x
0
, y
0
)
_
h
n
=
u(x
0
+h
n
, y
0
) u(x
0
, y
0
)
h
n
+i
v(x
0
+h
n
, y
0
) v(x
0
, y
0
)
h
n
f

(z
0
) fr n .
Nach Satz 1.7, Abschnitt 1.2.2, existieren also die partiellen Ableitungen u
x
und v
x
in
(x
0
, y
0
) und es gilt
f

(z
0
) = u
x
(x
0
, y
0
) +i v
x
(x
0
, y
0
) . (2.9)
1 A.L. Cauchy (1789-1857), franzsischer Mathematiker; B. Riemann (1826-1866), deutscher Mathematiker.
2 u
x
steht fr
u
x
, u
y
fr
u
y
usw.
38 2 Holomorphe Funktionen
(ii) Nun nhern wir uns auf einer Parallelen zur y-Achse durch z
0
dem Punkt z
0
: Fr jede reelle
Folge {h
n
} mit h
n
0 fr n (h
n
= 0) muss also gelten
f (z
0
+i h
n
) f (z
0
)
i h
n
=
_
u(x
0
, y
0
+h
n
) +i v(x
0
, y
0
+h
n
)
_

_
u(x
0
, y
0
) +i v(x
0
, y
0
)
_
i h
n
=
v(x
0
, y
0
+h
n
) v(x
0
, y
0
)
h
n
i
u(x
0
, y
0
+h
n
) u(x
0
, y
0
)
h
n
f

(z
0
) fr n .
Daher existieren wieder nach Satz 1.7 die partiellen Ableitungen v
y
und u
y
in (x
0
, y
0
)
und es gilt
f

(z
0
) = v
y
(x
0
, y
0
) i u
y
(x
0
, y
0
) . (2.10)
Durch (2.9) und (2.10) ist die Beziehung (2.8) bewiesen.
Ferner ergibt sich
u
x
(x
0
, y
0
) +i v
x
(x
0
, y
0
) = v
y
(x
0
, y
0
) i u
y
(x
0
, y
0
) ,
womit auch (2.7) nachgewiesen ist.

Beispiel 2.5:
Die Funktion
f (z) = |z|
2
, z C
lsst sich mit z = x +i y, u(x, y) = x
2
+ y
2
und v(x, y) = 0 in der Form
f (z) = (x
2
+ y
2
) +i 0 = u(x, y) +i v(x, y)
schreiben. Da fr alle (x, y) R
2
u
x
(x, y) = 2x , u
y
(x, y) = 2y
v
x
(x, y) = 0 , v
y
(x, y) = 0
gilt, sind die Cauchy-Riemannschen Differentialgleichungen (2.7) in keinem Punkt (x, y) R
2
mit (x, y) = (0,0) erfllt, die Funktion f ist daher fr kein z C {0} differenzierbar, also in
keinem Punkt z
0
C holomorph. Dagegen ist f wegen
f (z) f (0)
z 0
=
|z|
2
z
= z 0 fr z 0
im Punkt z
0
= 0 differenzierbar.
2.1 Differenzierbarkeit im Komplexen, Holomorphie 39
Bemerkung: Beachten wir, dass die Funktion
f (x) = |x|
2
= x
2
, x R
in ganz R differenzierbar ist, so zeigt uns Beispiel (2.5), dass die Forderung der Differenzier-
barkeit im Komplexen wesentlich restriktiver als im Reellen ist. Die reelle Differenzierbarkeit
verlangt lediglich die Existenz des Grenzwertes
lim
n
f (x
0
+h
n
) f (x
0
)
h
n
fr jede reelle Nullfolge {h
n
} (h
n
= 0) (s. Fig. 2.1), whrend im komplexen Fall beliebige
komplexe Nullfolgen {h
n
} (h
n
= 0) zugelassen werden mssen (s. Fig 2.2).
Wir wenden uns jetzt der Frage zu, ob die in Satz 2.3 angegebenen Bedingungen auch hinrei-
chend fr komplexe Differenzierbarkeit sind. Dies ist nicht der Fall: So besitzt etwa die Funktion
f = u +i v mit
f (z) =
_

_
z
5
|z|
4
fr z = 0
0 fr z = 0
in (x
0
, y
0
) = (0,0) zwar partielle Ableitungen u
x
, u
y
, v
x
, v
y
, die den Cauchy-Riemannschen
Differentialgleichungen gengen; sie ist aber in z = 0 nicht differenzierbar (s. b. 2.2).
Fig. 2.1: Zur reellen Differenzierbarkeit Fig. 2.2: Zur komplexen Differenzierbarkeit
UmvomVerhalten der Funktionen u und v auf Differenzierbarkeitseigenschaften von f schlie-
en zu knnen, sind also zustzliche Voraussetzungen ntig. Dies zeigt der folgende
Satz 2.4:
Die Funktionen u und v seien in einem Gebiet D des R
2
erklrt. Besitzen u und v in
D stetige partielle Ableitungen erster Ordnung und gengen diese dort den Cauchy-
40 2 Holomorphe Funktionen
Riemannschen Differentialgleichungen (2.7), so ist die Funktion
f (z) = f (x +i y) = u(x, y) +i v(x, y)
in D stetig differenzierbar, wobei wir D jetzt als Gebiet in C auffassen.
Ein einfacher Beweis dieses Satzes ergibt sich mit Hilfe des Satzes von Morera (s. Abschn. 2.2.4,
Bemerkung im Anschluss an Satz 2.20), so dass wir diesen Nachweis noch zurckstellen.
Mit den obigen Resultaten gewinnen wir die folgende Charakterisierung der holomorphen
Funktionen:
Satz 2.5:
Die Funktion f ist holomorph im Gebiet D, d.h. f ist in D stetig differenzierbar,
genau dann, wenn Realteil u und Imaginrteil v von f stetige partielle Ableitungen
erster Ordnung in D (als Gebiet in R
2
aufgefasst) besitzen, die dort den Cauchy-
Riemannschen Differentialgleichungen
u
x
(x, y) = v
y
(x, y) , v
x
(x, y) = u
y
(x, y)
gengen.
Beweis:
Beachten wir, dass sich die Stetigkeit von f

in D auf Real- und Imaginrteil von f

bertrgt
(s. Satz 1.7, Abschn. 1.2.2), so folgt aus Satz 2.3, (2.8) die Stetigkeit von u
x
, u
y
, v
x
, v
y
in D und
wegen (2.7), dass auch die Cauchy-Riemannschen Differentialgleichungen erfllt sind.
Die Umkehrung ist durch Satz 2.4 gegeben.
Bemerkung: Satz 2.5 ist in zahlreichen Fllen geeignet, die Holomorphie einer vorgegebenen
Funktion zu berprfen.
Beispiel 2.6:
Wir betrachten die Exponentialfunktion e
z
, die wir mit z = x+i y wegen (1.43) (s. Abschn. 1.2.3)
in der Form
e
z
= e
x
cos y +i e
x
sin y =: u(x, y) +i v(x, y)
darstellen knnen. Offensichtlich besitzen die Funktionen u und v stetige partielle Ableitungen
erster Ordnung in ganz R
2
:
u
x
(x, y) = e
x
cos y , u
y
(x, y) = e
x
sin y , v
x
(x, y) = e
x
sin y , v
y
(x, y) = e
x
cos y .
Ferner gilt in R
2
u
x
(x, y) = v
y
(x, y) und u
y
(x, y) = v
x
(x, y) ,
2.1 Differenzierbarkeit im Komplexen, Holomorphie 41
so dass aus Satz 2.5 die Holomorphie von e
z
in ganz C folgt. Insbesondere gilt wegen Satz 2.3,
(2.8)
d
dz
e
z
= u
x
(x, y) +i v
x
(x, y) = e
x
cos y +i e
x
sin y = e
x
(cos y +i sin y) ,
also
d
dz
e
z
= e
z
fr alle z C (2.11)
Beispiel 2.7:
Fr die Sinus- bzw. Cosinus-Funktion haben wir in Abschnitt 1.2.3, II die Beziehungen
sin z =
e
i z
e
i z
2 i
bzw. cos z =
e
i z
+e
i z
2
gewonnen. Wegen Satz 2.1, Abschnitt 2.1.2, und Beispiel 2.6 folgt, dass sin z und cos z in ganz
C holomorphe Funktionen sind. Auerdem gilt wegen Satz 2.2, (2.6)
d
dz
sin z =
1
2 i
_
i e
i z
+i e
i z
_
=
e
i z
+e
i z
2
,
d
dz
cos z =
1
2
_
i e
i z
i e
i z
_
=
e
i z
e
i z
2 i
,
also fr alle z C
d
dz
sin z = cos z ;
d
dz
cos z = sin z . (2.12)
Es stellt sich die Frage nach der Umkehrung von holomorphen Funktionen, insbesondere auch
der elementaren Funktionen. Als lokales Resultat ergibt sich
Satz 2.6:
Die Funktion f sei in z
0
holomorph (d.h. in einer Umgebung von z
0
stetig differen-
zierbar), und es gelte f

(z
0
) = 0. Dann bildet f eine Umgebung von z
0
umkehrbar
eindeutig auf eine Umgebung von w
0
= f (z
0
) ab. Die Umkehrfunktion f
1
ist holo-
morph in w
0
, und es gilt
_
f
1
_

(w
0
) =
1
f

(z
0
)
. (2.13)
Beweis:
Nach Voraussetzung ist f

stetig in einer Umgebung von z
0
. Wegen f

(z
0
) = 0 gilt daher
f

(z) = 0 in einer (mglicherweise kleineren) Umgebung von z
0
. Benutzen wir noch fr
f (z) = f (x +i y) = u(x, y) +i v(x, y)
42 2 Holomorphe Funktionen
die Beziehung
f

(z) = u
x
(x, y) +i v
x
(x, y)
(s. Abschn. 2.1.3, (2.8)) und die Cauchy-Riemannschen Differentialgleichungen (2.7), so erhal-
ten wir

u
x
u
y
v
x
v
y

u
x
v
x
v
x
u
x

= u
2
x
+v
2
x
=

f

(z)

2
= 0 .
Mit Satz 6.16, Abschnitt 6.4.2, Burg/Haf/Wille [12], folgt daher, dass durch f eine gengend
kleine Umgebung von z
0
umkehrbar eindeutig auf eine Umgebung von w
0
abgebildet wird. Die
stetige Differenzierbarkeit der Umkehrabbildung f
1
in dieser Umgebung folgt dann mit w =
f (z), w

= f (z

) aus
lim
w

w
f
1
(w

) f
1
(w)
w

w
= lim
z

z
z

z
f (z

) f (z)
= lim
z

z
1
f (z

)f (z)
z

z
=
1
f

(z)
.

Bemerkung: Das Beispiel f (z) = z


2
macht deutlich:
(i) Die Forderung f

(z
0
) = 0 ist wesentlich.
(ii) Ist f

(z) = 0 in einem Gebiet D, so folgt nicht notwendig, dass f in ganz D umkehrbar
eindeutig ist. (Begrndung!)
Diese Problematik fhrt in die Theorie der Riemannschen Flchen. Wir kommen auf diesen
Punkt im Zusammenhang mit der Umkehrung der elementaren Funktionen in Abschnitt 2.1.4
zurck.
2.1.4 Umkehrung der elementaren Funktionen
In Abschnitt 1.2.3 haben wir uns in einem ersten Durchgang mit einigen elementaren Funktionen,
insbesondere mit der Exponentialfunktion und den trigonometrischen Funktionen, beschftigt
und einige Eigenschaften dieser Funktionen kennengelernt. Wir wollen diese Betrachtungen im
Folgenden wieder aufnehmen und erweitern, insbesondere durch Hinzunahme der Potenzfunkti-
on. Dabei steht die Frage nach der Umkehrbarkeit der elementaren Funktionen im Mittelpunkt
unserer berlegungen.
Gesttzt auf Satz 2.6, Abschnitt 2.1.3, knnen wir sagen, dass eine im Punkt z
0
holomorphe
Funktion f mit f

(z
0
) = 0 lokal umkehrbar eindeutig ist, also in einer Umgebung von z
0
eine
Umkehrfunktion besitzt. Nun fragen wir nach dem natrlichen (globalen) Denitionsbereich der
o.g. Umkehrfunktionen, sowie nach ihren geometrischen Eigenschaften. Wir lernen hierbei ein
fr die Umkehrung typisches Phnomen kennen: Die Mehrdeutigkeit dieser Umkehrfunktio-
nen.
2.1 Differenzierbarkeit im Komplexen, Holomorphie 43
I. Potenz- und Wurzelfunktionen
In Analogie zur reellen Potenzfunktion denieren wir die Potenzfunktion im Komplexen:
w = f (z) = z
n
, n N, z C. (2.14)
Diese Funktion ist in ganz C holomorph und wegen
f

(z) = nz
n1
fr alle z = 0 lokal umkehrbar eindeutig. Im Spezialfall n = 1 ist f auch in z = 0 umkehrbar
eindeutig. Es liegt dann die identische Abbildung vor, die ganz C umkehrbar eindeutig auf sich
abbildet. Wir schlieen diesen trivialen Fall im Folgenden aus und orientieren uns zunchst am
Fall n = 2:
Wir betrachten also
w = f (z) = z
2
, z C. (2.15)
Verwenden wir fr z die Darstellung
z = r e
i
so folgt aus (2.14)
w = r
2
e
i 2
,
d.h. jeder Winkel, dessen Scheitel im Nullpunkt liegt, wird verdoppelt. Insbesondere wird die
obere Halbebene ohne die negative reelle Achse und ohne den Nullpunkt
H
1
= {z = r e
i

0 < , 0 < r < }


auf G = C {0} abgebildet (s. Fig 2.3); ebenso die untere Halbebene ohne die positive reelle
Achse und ohne den Nullpunkt
H
2
= {z = r e
i

< 2 , 0 < r < }


(s. Fig. 2.4).
Wenden wir uns der Frage nach der Umkehrung von w = f (z) = z
2
zu. Nach Satz 1.1,
Abschnitt 1.1.1, erhalten wir zu jedem w = 0 genau zwei komplexe Zahlen z
1
, z
2
mit z
2
1
= z
2
2
=
w, nmlich
z
1
=
_
|w| e
i
Arg w
2
, z
2
=
_
|w| e
i
_
Arg w
2
+
_
.
3
Die Abbildung f ist daher nicht umkehrbar, eine eindeutige Beschreibung der Umkehrfunktion
3 Arg w bezeichnet das Hauptargument von w, also den w zugeordneten Winkel mit < (s. Burg/Haf/-
Wille [12]).
44 2 Holomorphe Funktionen

w somit nicht mglich. Dagegen gelangt man zu einer Beschreibung von

w als mehrdeu-
tiger Funktion auf folgende Weise: Schrnken wir den Denitionsbereich von f z.B. gem
Fig. 2.3
Fig. 2.3: Abbildung von H
1
durch w = z
2
Fig. 2.4: Abbildung von H
2
durch w = z
2
bzw. Fig. 2.4 ein, so erhalten wir umkehrbar eindeutige Abbildungen von H
1
auf G bzw. von H
2
auf G. Damit ergeben sich zwei Umkehrfunktionen,
z
1
=
_
|w| e
i
Arg w
2
bzw. z
2
=
_
|w| e
i
_
Arg w
2
+
_
, (2.16)
die man auch Zweige der Umkehrfunktion nennt; der erste dieser Zweige heit Hauptzweig. Bei-
de Zweige lassen sich durch analytische Fortsetzung (s. hierzu Abschn. 2.3.5) ineinander berfh-
ren. Wir wollen jetzt die beiden Zweige z
1
(w) und z
2
(w) durch eine entsprechende Erweiterung
des Funktionsbegriffs zu einer mehrdeutigen Funktion

w zusammenfassen. Dies geschieht da-
durch, dass wir als Denitionsbereich der Umkehrfunktion nicht wie bisher eine Teilmenge der
w-Ebene betrachten, sondern einen allgemeineren, eine sogenannte Riemannsche Flche: Wir
wissen, dass durch w = f (z) = z
2
die w-Ebene mit Ausnahme von w = 0 doppelt berdeckt
2.1 Differenzierbarkeit im Komplexen, Holomorphie 45
wird. Wir denken uns nun zwei Exemplare von punktierten w-Ebenen: G
1
= G
2
= G = C{0}
(s. Fig. 2.3/ 2.4) bereinander gelegt. Wir schneiden dann G entlang der positiven Halbachse
x > 0 auf und verheften den oberen Rand () von G
1
mit dem unteren Rand (- - -) von G
2
und den oberen Rand () von G
2
mit dem unteren Rand (- - -) von G
1
. Ferner nehmen wir den
Nullpunkt, einfach gezhlt, hinzu. Auf diese Weise entsteht eine 2-blttrige Riemannsche Flche
R = G
1
G
2
{0}.
Fig. 2.5: Riemannsche Flche R von

w
Wir benutzen das 1. Blatt von R als Argumentbereich fr z
1
(w), das 2. Blatt von R als Ar-
gumentbereich fr z
2
(w). Dadurch stellt R einen Argumentbereich dar, der es uns ermglicht,
die durch Zusammenfassung von z
1
(w) und z
2
(w) entstehende Funktion

w eindeutig zu erkl-
ren: Jedes w R ist in eindeutiger Weise einem der beiden Bltter von R zugeordnet, und wir
denieren

w durch

w := z
j
(w) fr w R. (2.17)
Dabei ist j = 1 falls w auf dem ersten Blatt G
1
liegt, und j = 2, falls w auf dem zweiten Blatt
G
2
liegt.
Insgesamt gilt:
Die Funktion w = f (z) = z
2
stellt eine umkehrbar eindeutige und in ganz C holomorphe
Abbildung der z-Ebene auf die 2-blttrige Riemannsche Flche R dar.
Bemerkung 1: blicherweise vertauscht man noch bei Beschreibung der Umkehrfunktion die
Variablen w und z (s. auch Burg/Haf/Wille [12]), und schreibt
w = f
1
(z) =

z . (2.18)
Bemerkung 2: Der Punkt w = 0 spielt eine Sonderrolle: Wird er auf einem Kreis mit beliebig
(kleinem) Radius umlaufen, so entspricht diesem Umlauf auf R ein Weg, der von einem Blatt
in das andere fhrt (s. Fig. 2.5). Man bezeichnet w = 0 daher auch als Verzweigungspunkt
der Riemannschen Flche R. Im gleichen Sinn ist auch ein Verzweigungspunkt, was sich
besonders gut an der (zweiblttrigen) Riemannschen Zahlenkugel veranschaulichen lsst.
46 2 Holomorphe Funktionen
Der allgemeine Fall w = f (z) = z
n
(n > 2) lsst sich entsprechend behandeln. Hierbei
werden anstelle der beiden Halbebenen H
1
und H
2
die n Winkelbereiche
W
n
=
_
z = r e
i

2k
n
<
2(k +1)
n
, 0 < r <
_
(2.19)
jeweils durch die n Zweige der Umkehrfunktion
z
k
(w) =
n
_
|w| e
i
_
Arg w
n
+
2(k1)
n
_
, k = 1,2, . . . , n (2.20)
umkehrbar eindeutig auf die w-Ebene (ohne Nullpunkt): G, abgebildet. Durch Verwendung einer
n-blttrigen Riemannschen Flche R, die man wie im Fall n = 2 konstruiert, ergibt sich dann,
dass w = f (z) = z
n
die z-Ebene umkehrbar eindeutig auf R abbildet. Die Denition von
n

w
erfolgt entsprechend dem Fall n = 2.
II. Exponentialfunktion und Logarithmus
Fig. 2.6: Abbildung von Periodenstreifen durch e
z
Aus Abschnitt 2.1.3, Beispiel 2.6, bzw. Abschnitt 1.2.3 ist uns bekannt, dass die Exponential-
funktion
w = f (z) = e
z
, z C (2.21)
eine in ganz C holomorphe und periodische Funktion mit der (imaginren) Periode 2 i ist.
Durch f wird jeder Periodenstreifen
S
k
= {z = x +i y

< x < , 2k < y 2k +} (k Z) (2.22)


auf G = C{0} umkehrbar eindeutig abgebildet (s. Fig. 2.6). Dass e
z
jeden von 0 verschiedenen
Wert w in jedem Periodenstreifen genau einmal annimmt, wissen wir bereits aus Abschnitt 1.2.3,
I.c). Es gibt also unendlich viele Umkehrfunktionen (=Zweige der mehrdeutigen Umkehrfunkti-
on) von e
z
. Wir gewinnen diese auf folgende Weise:
2.1 Differenzierbarkeit im Komplexen, Holomorphie 47
Mit w = |w| e
i(Arg w+2k)
, w = 0 und z = x +i y folgen aus w = e
z
bzw. aus
|w| e
i(Arg w+2k)
= e
x+i y
= e
x
e
i y
die Beziehungen
|w| = e
x
oder x = ln |w| und y = Arg w +2k .
Die gesuchten Zweige der Umkehrfunktion werden also durch
z
k
(w) = ln |w| +i(Arg w +2k) , k Z (2.23)
gegeben. Wir verwenden fr z
k
(w) die Schreibweise log
k
w. Fr k = 0 spricht man vom Haupt-
wert des Logarithmus und benutzt die Schreibweisen
Log w und log
0
w.
Fr reelle positive Argumente w stimmt Log w mit ln w berein. Wie schon bei der Potenzfunk-
tion lassen sich auch in diesem Fall die Funktionen z
k
(w) zu einer mehrdeutigen Funktion zu-
sammenfassen. Allerdings bentigen wir dazu jetzt abzhlbar unendlich viele Exemplare G von
w-Ebenen ohne Nullpunkt (s. Fig. 2.7): G
k
:= G(k Z), wobei wir wieder wie in I. verheften:
Den oberen Rand von G
k
mit dem unteren Rand von G
k+1
. Dadurch entsteht eine Riemannsche
Flche R, die aus unendlich vielen Blttern besteht.
Fig. 2.7: Riemannsche Flche der log-Funktion
Wir knnen uns R als zusammengedrckte unendliche Wendeltreppe um den Punkt w = 0
vorstellen (s. Fig. 2.7). Fr jedes k Z benutzen wir G
k
als Argumentbereich des k-ten Zweiges
z
k
(w), w = 0. Auf R lsst sich dann log w eindeutig denieren: Zu jedem w R gibt es ein
eindeutig bestimmtes k = k(w) Z mit w G
k(w)
, und wir erklren log w durch
log w := z
k
(w) fr w R. (2.24)
Wir kommen auf die Logarithmus-Funktion noch einmal im Zusammenhang mit der analyti-
schen Fortsetzung von holomorphen Funktionen in Abschnitt 2.3.5 zurck.
48 2 Holomorphe Funktionen
III. Die allgemeine Potenzfunktion
Wir beschlieen diesen Abschnitt mit einer Bemerkung ber die allgemeine Potenzfunktion: In
der reellen Analysis erklrt man die Potenz x
a
, a irrational und x > 0, durch
x
a
= e
a ln x
. (2.25)
(Fr rationale Exponenten s. Burg/Haf/Wille [12]) Wir benutzen (2.25) zur bertragung auf den
komplexen Fall. Fr a C und z C (z = 0) denieren wir z
a
durch
z
a
= e
a log z
. (2.26)
Je zwei Werte von z
a
unterscheiden sich um einen Faktor e
2k i a
(k Z), so dass fr irrationales
a C (abzhlbar) unendlich viele Werte z
a
auftreten. In diesem Fall knnen wir z z
a
somit
als Abbildung der Riemannschen Flche aus II. in die w-Ebene auffassen.
Dagegen besitzt z
a
fr a Z wegen e
2k i a
= 1 genau einen Wert. Im Fall a =
1
n
(n =
2,3, . . .) gilt e
2k i
n
= e
2

k i
n
genau dann, wenn k

k ein Vielfaches von n ist. Fr k Z erhalten
wir daher n verschiedene Werte fr e
2k i
n
:
e
2 i
n
, e
4 i
n
, . . . , e
2n i
n
= e
2 i
= 1
und fr z
1
n
die n Werte
e
1
n
log z
, e
2 i
n
e
1
n
log z
, . . . , e
2(n1) i
n
e
1
n
log z
bei festem z C (z = 0). Diese Werte sind gerade die n-ten Wurzeln von a (wir beachten, dass
_
e
2k i
n
e
1
n
log z
_
n
=
_
e
1
n
log z+
2k i
n
_
n
= z
ist!). Wie blich erklrt man 0
a
durch 0
a
= 0 fr alle a C\ {0} und durch 0
0
= 1 fr a = 0. Je
nachdem ob wir z oder a als Variable auffassen, gelangen wir zur Potenzfunktion f (z) = z
a
oder
zur Exponentialfunktion g(z) = b
z
. Wir verzichten auf eine weitergehende Diskussion dieser
Funktionen. Diese ndet sich z.B. in [20], S.123 ff.
2.1.5 Die Potentialgleichung
In Abschnitt 2.1.3 haben wir gesehen: Ist
f (z) = u(x, y) +i v(x, y) (2.27)
in einem Gebiet D C holomorph, so existieren die partiellen Ableitungen erster Ordnung von
u und v in D. Diese sind in D stetig und gengen dort den Cauchy-Riemannschen Differential-
2.1 Differenzierbarkeit im Komplexen, Holomorphie 49
gleichungen
u
x
=
v
y
,
u
y
=
v
x
. (2.28)
Nun verlangen wir zustzlich, dass smtliche partiellen Ableitungen zweiter Ordnung in D exi-
stieren und stetig sind.
4
Differenzieren wir dann die erste Gleichung in (2.28) nach x, die zweite
nach y und beachten wir, dass die Differentiationsreihenfolge vertauscht werden darf (s. Burg/-
Haf/Wille [12]), so erhalten wir

2
u
x
2
=

2
v
xy
,

2
u
y
2
=

2
v
yx
=

2
v
xy
oder

2
u
x
2
+

2
u
y
2
= 0 in D . (2.29)
Entsprechend ergibt sich fr die Funktion v:

2
v
x
2
+

2
v
y
2
= 0 in D . (2.30)
Mit dem Laplace-Operator
:=

2
x
2
+

2
y
2
(2.31)
knnen wir (2.29) bzw. (2.30) krzer schreiben; wir erhalten
Satz 2.7:
Unter den obigen Voraussetzungen gengen Realteil u und Imaginrteil v von f in D
der Potentialgleichung (oder Laplaceschen Differentialgleichung)
u = 0 und v = 0 . (2.32)
Lsungen der Potentialgleichung mit stetigen partiellen Ableitungen zweiter Ordnung heien
Potentialfunktionen oder harmonische Funktionen; u und v sind also unter den obigen Voraus-
setzungen harmonische Funktionen; v heit zu u konjugiert harmonisch , u zu v konjugiert har-
monisch. (Beachte: u und v gengen den Cauchy-Riemannschen Differentialgleichungen.)
Wir wollen jetzt der Frage nachgehen, ob es zu jeder harmonischen Funktion u eine konjugiert
harmonische Funktion v gibt. Wir beweisen
4 Wie wir spter sehen werden, ist diese Forderung bei holomorphen Funktionen ohnehin erfllt (s. Abschn. 2.2.3,
III).
50 2 Holomorphe Funktionen
Satz 2.8:
Sei u eine im einfach zusammenhngenden Gebiet D harmonische Funktion. Dann
gibt es eine in D zu u konjugiert harmonische Funktion v. Diese ist bis auf eine addi-
tive Konstante eindeutig bestimmt. Durch
f := u +i v (2.33)
ist damit eine in D holomorphe Funktion erklrt.
Beweis:
Nach Voraussetzung gilt u = 0 in D, d.h.

y
_

u
y
_
=

x
_
u
x
_
in D . (2.34)
Nun whlen wir einen festen Anfangspunkt (x
0
, y
0
) D. Wegen (2.34) ist das Integral
(x,y)
_
(x
0
,y
0
)
_

u
y
dx +
u
x
dy
_
fr (x, y) D vom Weg, der die beiden Punkte in D verbindet, unabhngig
5
und deniert daher
eine eindeutig bestimmte Funktion:
v(x, y) :=
(x,y)
_
(x
0
,y
0
)
_

u
y
dx +
u
x
dy
_
. (2.35)
Ferner gilt in D
v(x, y)
x
=
u(x, y)
y
,
v(x, y)
y
=
u(x, y)
x
. (2.36)
Daher ist die durch (2.35) erklrte Funktion v zu u konjugiert harmonisch.
6
Wir zeigen noch, dass jede weitere zu u konjugiert harmonische Funktion v sich von v nur
durch eine additive Konstante unterscheiden kann: Setzen wir
f (z) := u(x, y) +i v(x, y) ,

f (z) := u(x, y) +i v(x, y)
fr (x, y) D, dann gilt: f und

f sind in D holomorph; daher ist auch g mit
g(z) := f (z)

f (z) = i
_
v(x, y) v(x, y)
_
(d.h. Re g 0) in D holomorph. Hieraus folgt aber

x
(v(x, y) v(x, y)) =

y
(v(x, y)
5 s. Burg/Haf/Wille [13].
6 Beachte: u besitzt nach Voraussetzung stetige partielle Ableitungen 2. Ordnung und damit, wegen (2.36), auch v.
2.1 Differenzierbarkeit im Komplexen, Holomorphie 51
v(x, y)) = 0 und damit
v = v +C (C = const) .

Bemerkung: Mit Hilfe dieses Satzes lassen sich wichtige Eigenschaften von harmonischen
Funktionen aus entsprechenden Eigenschaften holomorpher Funktionen herleiten (s. z.B. Ab-
schn. 2.2.5, a)).
Zwischen konjugiert harmonischen Funktionen besteht noch ein weiterer interessanter geo-
metrischer Zusammenhang: Aus den Cauchy-Riemannschen Differentialgleichungen u
x
= v
y
,
u
y
= v
x
folgt nmlich
u v = u
x
v
x
+u
y
v
y
= u
x
v
x
+(v
x
)u
x
,
also
u v = 0 . (2.37)
Diese Beziehung besagt: Die Kurvenscharen u(x, y) = c
1
und v(x, y) = c
2
schneiden sich fr
beliebige Konstanten c
1
und c
2
rechtwinklig, denn: Aus u(x, y) = c
1
folgt mit Hilfe der Ketten-
regel u
x
+u
y
y

(u)
= 0, also y

(u)
=
u
x
u
y
und entsprechend y

(v)
=
v
x
v
y
als Tangentensteigungen
dieser Kurven. Die entsprechenden Tangentenvektoren t
(u)
= {u
y
, u
x
} und t
(v)
= {v
y
, v
x
}
erfllen dann wegen (2.37) die Beziehung
t
(u)
t
(v)
= u
x
v
x
+u
y
v
y
= 0 .
Wir knnen diesen Sachverhalt auch folgendermaen ausdrcken:
Satz 2.9:
Die Funktionen u und v seien konjugiert harmonisch. Dann sind die Kurven v(x, y) =
const Orthogonaltrajektorien der Schar u(x, y) = const.
Bemerkung: Potentialfunktionen (= harmonische Funktionen) spielen in den Anwendungen, et-
wa in der Strmungslehre und in der Elektrostatik, eine bedeutende Rolle. In zahlreichen Fllen
lassen sich rumliche Probleme nherungsweise als ebene Probleme behandeln, so dass funk-
tionentheoretische Methoden eingesetzt werden knnen. Wir kommen auf diese Thematik in
Abschnitt 3.2 zurck.
bungen
bung 2.1:
Zeige: Die Funktion f (z) = z
n
, n N, ist in ganz C stetig differenzierbar.
52 2 Holomorphe Funktionen
bung 2.2*:
Ist die Funktion
f (z) =
_

_
z
5
|z|
4
fr z = 0
0 fr z = 0
im Punkt z = 0 holomorph?
bung 2.3*:
In welchen Bereichen der z-Ebene sind die Funktionen
a) f (z) = Re z ; b) f (z) = f (x +i y) = xy
2
+i x
2
y ;
c) f (z) =
_
1 fr |z| < 1
0 fr |z| 1
holomorph? Benutze zur Lsung die Cauchy-Riemannschen Differentialgleichungen.
bung 2.4:
Zeige:
a)
d
dz
tan z =
1
cos
2
z
= 1 +tan
2
z ; b)
d
dz
cot z =
1
sin
2
z
= (1 +cot
2
z) .
Wo sind die Funktionen tan z und cot z holomorph?
bung 2.5*:
Sei f (z) = z
3
, z C und C die Strecke, die die Punkte z
1
= 1 und z
2
= i verbindet. Beweise:
f (i) f (1)
i 1
= f

( ) fr alle C .
(Der Mittelwertsatz der Differentialrechnung gilt also fr komplexe Funktionen nicht!)
bung 2.6:
Zeige, dass die folgenden Funktionenpaare (u, v) den Cauchy-Riemannschen Differentialglei-
chungen gengen:
a) u(x, y) = x
3
3xy
2
; v(x, y) = 3x
2
y y
3
;
b) u(x, y) = sin x cosh y ; v(x, y) = cos x sinh y .
2.2 Komplexe Integration 53
bung 2.7:
a) Zeige: Die Funktion
u(x, y) = e
x
(x cos y y sin y)
gengt der Potentialgleichung. b) Bestimme zu u(x, y) die konjugiert harmonische Funktion
v(x, y) mit v(0,0) = 0 und bilde f (z) = f (x +i y) = u(x, y) +i v(x, y). Wo ist f holomorph?
bung 2.8:
Transformiere die Cauchy-Riemannschen Differentialgleichungen durch Einfhrung von Polar-
koordinaten
x = r cos , y = r sin , U = R cos , V = R sin ,
und leite die folgenden Gleichungen her:
a) rU
r
= V

, r V
r
= U

; b)
1
R
R
x
=
y
,
1
R
R
y
=
x
;
c)
r
R
R
r
=

,
1
R
R

= r
r
.
2.2 Komplexe Integration
Wir haben im Abschnitt 2.1.1 holomorphe Funktionen ber die Differenzierbarkeit im Komple-
xen deniert. Um einen tieferen Einblick in das Wesen holomorpher Funktionen zu gewinnen, ist
die komplexe Integralrechnung erforderlich. Sie stellt das wichtigste Instrumentarium der Funk-
tionentheorie dar.
2.2.1 Integralbegriff
Wir knpfen an Abschnitt 1.1.6 an, wo wir uns mit Wegen, Kurven und Gebieten in Cbeschftigt
haben und denieren Kurvenintegrale in C entsprechend den Kurvenintegralen im R
n
(s. Burg/-
Haf/Wille [13]).
Denition 2.3:
Sei D ein Gebiet in C und f : D C eine auf D stetige Funktion. Ferner sei
: [a, b] C ein stckweise glatter Weg mit Wertebereich ([a, b]) D. Unter
dem Kurvenintegral von f lngs versteht man den Ausdruck
_

f (z)dz :=
b
_
a
f
_
(t )
_


(t )dt . (2.38)
54 2 Holomorphe Funktionen
Bemerkung 1: Der Integrand auf der rechten Seite von (2.38) ist auf [a, b] stckweise stetig, da
dort stckweise stetig differenzierbar ist. Damit ist dieser Ausdruck sinnvoll. Es zeigt sich, dass
sich fr quivalente Wege dieselben Werte der Kurvenintegrale (2.38) ergeben (s. Burg/Haf/Wille
[13]).
Bemerkung 2: Wird aus dem Kontext, etwa aufgrund einer gegebenen Abbildung oder aus
einer Skizze (Kurve mit Pfeilen) klar, um welche Kurve C es sich handelt und wie diese Kurve
durchlaufen wird, so verwenden wir im Folgenden fr das Kurvenintegral (2.38) meist die in den
Anwendungen bliche Schreibweise
_
C
f (z)dz .
Anstelle der Voraussetzungen ber in Denition 2.3 verwenden wir dann die entsprechenden
Voraussetzungen ber C: sei C eine stckweise glatte, orientierte Kurve im Gebiet D. Bei
geschlossenen Kurven, die sich nicht berschneiden und positiv orientiert sind (s. Def. 1.10,
Abschn. 1.1.6), benutzen wir auch die Schreibweise
_
C
f (z)dz .
Zurckfhrung auf reelle Kurvenintegrale
Das Kurvenintegral (2.38) lsst sich auf zwei reelle Kurvenintegrale zurckfhren, die bereits in
Burg/Haf/Wille [13]behandelt wurden:
Mit
f (z) = f (x +i y) = u(x, y) +i v(x, y)
und
(t ) = x(t ) +i y(t ) , t [a, b]
folgt aus (2.38)
_

f (z)dz =
b
_
a
_
u
_
x(t ), y(t )
_
+i v
_
x(t ), y(t )
_
__
x

(t ) +i y

(t )
_
dt
=
b
_
a
_
u
_
x(t ), y(t )
_
x

(t ) v
_
x(t ), y(t )
_
y

(t )
_
dt
+i
b
_
a
_
u
_
x(t ), y(t )
_
y

(t ) +v
_
x(t ), y(t )
_
x

(t )
_
dt
=
_

_
u(x, y)dx v(x, y)dy
_
+i
_

_
u(x, y)dy +v(x, y)dx
_
2.2 Komplexe Integration 55
oder, in der Schreibweise von Bemerkung 2,
_
C
f (z)dz =
_
C
_
u dx v dy
_
+i
_
C
_
u dy +v dx
_
(2.39)
Merkregel: Man bilde formal
f (z)dz = (u +i v)(dx +i dy) = [udx vdy] +i[udy +vdx] .
Fig. 2.8: Integration ber einen positiv orientierten Kreis
Beispiel 2.8:
Sei C die positiv orientierte Kreislinie
{z| |z z
0
| = r} und f (z) = (z z
0
)
n
, n Z.
Wir verwenden fr C die Parameterdarstellung
7
z(t ) = z
0
+r e
i t
= (x
0
+r cos t ) +i(y
0
+r sin t ) , 0 t < 2 .
Es gilt dann
z

(t ) = x

(t ) +i y

(t ) = (r sin t ) +i(r cos t ) = i r(cos t +i sin t ) = i r e


i t
und
f
_
z(t )
_
=
_
z(t ) z
0
_
n
=
_
r e
i t
_
n
= r
n
e
i nt
.
7 Anstelle von = (t ) schreiben wir im Folgenden hug z = z(t ).
56 2 Holomorphe Funktionen
Damit erhalten wir wegen (2.38)
_
C
f (z)dz =
2
_
0
r
n
e
i nt
i r e
i t
dt = i r
n+1
2
_
0
e
i(n+1)t
dt
= i r
n+1
2
_
0
_
cos(n +1)t +i sin(n +1)t
_
dt ,
woraus sich die Beziehung
_
C
f (z)dz =
_
|zz
0
|=r
(z z
0
)
n
dz =
_
0 , fr n Z, n = 1
2 i , fr n = 1
ergibt.
Aufgrund der Tatsache, dass sich komplexe Integrale auf reelle Kurvenintegrale zurckfhren
lassen, bertragen sich die bekannten Integrationsregeln im Reellen auch auf den komplexen Fall.
Wir fassen einige zusammen.
Satz 2.10:
Sei D ein Gebiet in C und C eine stckweise glatte, orientierte Kurve in D. Ferner
seien f und g in D stetige Funktionen.
(i) Fr beliebige , C gilt
_
C
_
f (z) +g(z)
_
dz =
_
C
f (z)dz +
_
C
g(z)dz .
(ii) Die Kurve C sei in die beiden orientierten Teilkurven C
1
und C
2
zerlegt: C =
C
1
+C
2
. Dann gilt
_
C
f (z)dz =
_
C
1
+C
2
f (z)dz =
_
C
1
f (z)dz +
_
C
2
f (z)dz .
(iii) Sei C die in umgekehrtem Sinn durchlaufene Kurve, dann gilt
_
C
f (z)dz =
_
C
f (z)dz .
2.2 Komplexe Integration 57
Fig. 2.9: Verschiedene Integrationswege
Beispiel 2.9:
Wir berechnen
_
C
zdz, wobei wir fr C zwei verschiedene Kurven mit gleichem Anfangspunkt
z
1
= 1 und gleichem Endpunkt z
2
= 1 +i whlen:
(i) Die Strecke, die z
1
= 1 und z
2
= 1 +i verbindet;
(ii) Den Streckenzug von z
1
= 1 ber z
3
= 1 nach z
2
= 1 +i (s. Fig. 2.9)
Zu (i): Fr C
1
nehmen wir die Parameterdarstellung
z(t ) = 1 +t (1 +i +1) = (1 +2t ) +i t , 0 t 1 .
Dann gilt
z

(t ) = 2 +i
und f
_
z(t )
_
= z(t ) = (1 +2t ) i t .
Formel (2.38) liefert dann
_
C
1
zdz =
1
_
0
_
(1 +2t ) i t
_
(2 +i)dt =
1
2
i .
Zu (ii): Wir berechnen zunchst das Integral, das die Punkte z
1
= 1 und z
3
= 1 geradlinig
verbindet: C

2
: z(t ) = 1 + 2t , 0 t 1. Damit ist z

(t ) = 2, f (z(t )) = 1 + 2t , und wir


erhalten
_
C

2
zdz =
1
_
0
(1 +2t ) 2dt = 0 .
Fr die Verbindungsstrecke der Punkte z
3
und z
2
nehmen wir die Parameterdarstellung
C

2
: z(t ) = 1 +i t , 0 t 1 .
58 2 Holomorphe Funktionen
Damit ist z

(t ) = i, f (z(t )) = 1 i t , und wir erhalten


_
C

2
zdz =
1
_
0
(1 i t ) i dt =
1
2
+i .
Nach Satz 2.10 (b) folgt dann
_
C
2
zdz =
_
C

2
zdz +
_
C

2
zdz =
1
2
+i .
Wir beachten
das obige Integral ber f (z) = z ist vom Weg, der z
1
und z
2
verbindet, abhngig;
der Integrand ist in keinem Punkt z C komplex differenzierbar (warum?), also nirgends
holomorph.
Die folgende Abschtzung fr komplexe Integrale ist hug von Nutzen:
Satz 2.11:
Sei D C ein Gebiet, C eine stckweise glatte, orientierte Kurve in D und L(C) die
Lnge von C. Ist dann f eine in D stetige Funktion, so gilt

_
C
f (z)dz

L(C) max
zC
| f (z)| . (2.40)
Beweis:
Wir verwenden zum Beweis die Schwarzsche Ungleichung fr Integrale:
_
_
b
_
a
f (t )g(t )dt
_
_
2

_
_
b
_
a
f
2
(t )dt
_
_
_
_
b
_
a
g
2
(t )dt
_
_
, (2.41)
die man aus der entsprechenden Ungleichung imR
n
(s. Burg/Haf/Wille [12]) gewinnt, wenn man
die Integrale als Grenzwerte von Riemannschen Summen (s. Burg/Haf/Wille [12]) auffasst.
Fr die Darstellung von C whlen wir die Parameterdarstellung mit der Bogenlnge s als
Parameter:
z(s) = x(s) +i y(s) , 0 s L(C) .
Es gilt dann (s. Burg/Haf/Wille [13])
(x

(s))
2
+(y

(s))
2
= 1 . (2.42)
2.2 Komplexe Integration 59
Mit (2.39) und (2.41) gewinnen wir die Abschtzung

_
C
f (z)dz

2
=
_
_
_
C
(udx vdy)
_
_
2
+
_
_
_
C
(udy +vdx)
_
_
2
=
_
_
L(C)
_
0
(ux

vy

) 1ds
_
_
2
+
_
_
L(C)
_
0
(uy

+vx

) 1ds
_
_
2

L(C)
_
0
(ux

vy

)
2
ds
L(C)
_
0
1
2
ds +
L(C)
_
0
(uy

+vx

)
2
ds
L(C)
_
0
1
2
ds
= L(C)
L(C)
_
0
_
(ux

vy

)
2
+(uy

+vx

)
2
_
ds .
Wegen (2.42) folgt daher

_
C
f (z)dz

2
L(C)
L(C)
_
0
(u
2
+v
2
)ds L(C)
L(C)
_
0
| f (z(s))|
2
ds L(C) L(C)
_
max
zC
| f (z)|
_
2
und damit die Behauptung.
2.2.2 Der Cauchysche Integralsatz
Komplexe Integrale sind im Allgemeinen abhngig vom Integrationsweg. Dies hat uns Beispiel
2.9, Abschnitt 2.2.1, verdeutlicht. Es stellt sich nun die Frage, fr welche Funktionenklasse kom-
plexe Integrale wegunabhngig sind.
Die Antwort darauf gewinnen wir aus dem folgenden Satz, der im Mittelpunkt der Funktionen-
theorie steht:
Satz 2.12:
(Cauchyscher Integralsatz) Sei D Cein einfach zusammenhngendes Gebiet und f
eine in D holomorphe Funktion. Dann gilt fr jede ganz in D verlaufende stckweise
glatte, geschlossene Kurve
8
C (s. Fig. 2.10)
_
C
f (z)dz = 0 . (2.43)
8 Die Orientierung von C spielt hierbei keine Rolle.
60 2 Holomorphe Funktionen
Beweis:
Bezeichne u den Realteil und v den Imaginrteil von f . Nach (2.39) gilt dann
_
C
f (z)dz =
_
C
(udx vdy) +i
_
C
(udy +vdx) .
Nach Voraussetzung ist f holomorph in D. Daher besitzen die Funktionen u und v nach Satz 2.5,
Abschnitt 2.1.3, stetige partielle Ableitungen u
x
, u
y
, v
x
, v
y
in D, die dort den Cauchy-Riemann-
schen Differentialgleichungen
u
x
= v
y
, u
y
= v
x
gengen. Bilden wir das Vektorfeld K(x, y) := {v(x, y), u(x, y)}, so folgt nach Burg/Haf/Wille
[13]:
_
C
(vdx +udy) = 0
und entsprechend, falls wir K(x, y) := {u(x, y), v(x, y)} setzen
_
C
(udx vdy) = 0 .
Damit ergibt sich die Behauptung von Satz 2.12.
Fig. 2.10: Zum Cauchyschen Integralsatz Fig. 2.11: Wegunabhngigkeit bei Integration holo-
morpher Funktionen
2.2 Komplexe Integration 61
Folgerung 2.1:
Sei D C ein einfach zusammenhngendes Gebiet, seien z
1
und z
2
beliebige Punkte
in D und sei f eine in D holomorphe Funktion. Dann gilt fr alle ganz in D verlau-
fenden stckweise glatten Kurven C
1
, C
2
, die z
1
(Anfangspunkt) und z
2
(Endpunkt)
verbinden (s. Fig. 2.11)
_
C
1
f (z)dz =
_
C
2
f (z)dz (2.44)
d.h. das Integral ber holomorphe Funktionen ist unabhngig vom Weg, der z
1
und z
2
verbindet.
Beweis:
Aus den Stzen 2.12 und 2.10 gewinnen wir
0 =
_
C
1
+(C
2
)
f (z)dz =
_
C
1
f (z)dz +
_
C
2
f (z)dz =
_
C
1
f (z)dz
_
C
2
f (z)dz .

Bemerkung 1: Auf die Forderung in Satz 2.12 bzw. in der anschlieenden Folgerung, dass das
Gebiet D einfach zusammenhngend ist, kann nicht verzichtet werden. Dies zeigt Beispiel 2.8
in Abschnitt 2.2.1: Whlen wir fr D die punktierte komplexe Ebene C {z
0
} und fr C die
positiv orientierte Kreislinie |z z
0
| = r, so gilt
_
|zz
0
|=r
dz
z z
0
= 2 i .
Die Funktion f (z) =
1
zz
0
ist zwar in D holomorph, jedoch ist D kein einfach zusammenhn-
gendes Gebiet.
Bemerkung 2: Durch geeignete Wahl des Integrationsweges lsst sich die Berechnung von kom-
plexen Integralen aufgrund von (2.44) in vielen Fllen erheblich vereinfachen.
2.2.3 Folgerungen aus dem Cauchyschen Integralsatz
Aus dem Cauchyschen Integralsatz ergeben sich eine Reihe von Konsequenzen. Wir behandeln
einige in diesem, weitere im nachfolgenden Abschnitt.
I. Cauchyscher Integralsatz fr mehrfach zusammenhngende Gebiete
Wir betrachten zunchst ein zweifach zusammenhngendes Gebiet D. Durch C
1
und C
2
seien
geschlossene, doppelpunktfreie, stckweise glatte, positiv orientierte Kurven gegeben, die ganz
in D verlaufen; C
2
liege im Inneren von C
1
, und das Ringgebiet G zwischen C
1
und C
2
gehre
62 2 Holomorphe Funktionen
ganz zu D (s. Fig. 2.12). Wir zeigen: Ist f eine in D holomorphe Funktion, so gilt
_
C
1
f (z)dz =
_
C
2
f (z)dz (2.45)
d.h. der Wert des Integrals (2.45) ist unabhngig von der speziellen Wahl des Integrationsweges.
Nach Satz 2.12 ist (2.45) trivial, wenn das Innere von C
1
ganz zu D gehrt. (Beide Integrale
verschwinden dann.) Liege jetzt die in Figur 2.12 dargestellte Situation vor. Wir verbinden nun
C
1
und C
2
durch zwei in G verlaufende stckweise glatte, doppelpunktfreie Kurven S

und S

,
die sich nicht schneiden; wir schlitzen das Ringgebiet G gewissermaen lngs S

und S

auf. Auf
diese Weise wird G in zwei einfach zusammenhngende Gebiete G
1
und G
2
zerlegt. Orientieren
wir S

und S

so, dass die Randkurven G


1
und G
2
von G
1
und G
2
positiv orientiert sind (s.
Fig. 2.13), so lsst sich Satz 2.12 anwenden, da sich G
1
und G
2
in einfach zusammenhngende
Gebiete von D einbetten lassen:
Fig. 2.12: Zum Cauchyschen Integralsatz bei zwei-
fach zusammenhngenden Gebieten
Fig. 2.13: Zerlegung in zwei einfach zusammenhn-
gende Gebiete
_
G
1
f (z)dz =
_
G
2
f (z)dz = 0 . (2.46)
Andererseits gilt, da sich die Integrale ber die Verbindungswege S

und S

wegkrzen:
_
G
1
f (z)dz +
_
G
2
f (z)dz =
_
C
1
f (z)dz +
_
C
2
f (z)dz ,
woraus mit (2.46)
_
C
1
f (z)dz =
_
C
2
f (z)dz
folgt. Damit ist (2.45) nachgewiesen.
2.2 Komplexe Integration 63
Beispiel 2.10:
Wir berechnen das Integral
_
C
(z z
0
)
n
dz , n Z,
wobei C irgendeine geschlossene, doppelpunktfreie, stckweise glatte, positiv orientierte Kurve
ist, fr die z
0
im Inneren liegt. Daneben betrachten wir die positiv orientierte Kreislinie um z
0
mit Radius r : K
r
(z
0
), wobei wir r so whlen, dass C im Inneren von K
r
(z
0
) liegt (s. Fig. 2.14).
Wegen (2.45) gilt dann
_
C
(z z
0
)
n
dz =
_
K
r
(z
0
)
(z z
0
)
n
dz
und Beispiel 2.8, Abschnitt 2.2.1 liefert uns
_
C
(z z
0
)
n
dz =
_
0 fr n Z, n = 1
2 i fr n = 1.
Fig. 2.14: Zweckmig gewhlter Integrationsweg
K
r
(z
0
)
Fig. 2.15: Integrale ber mehrfach zusammenhn-
gende Gebiete
Wenden wir uns nun ganz allgemeinen mehrfach zusammenhngenden Gebieten zu.
9
Die
oben entwickelten Gedankengnge lassen sich dann analog bertragen und wir gelangen zu
9 In Fig. 2.15 ist ein 4-fach zusammenhngendes Gebiet dargestellt.
64 2 Holomorphe Funktionen
Satz 2.13:
Es seien C, C
1
, . . . , C
n
geschlossene doppelpunktfreie, stckweise glatte, positiv
orientierte Kurven, die ganz in einem Gebiet D verlaufen. Smtliche Kurven C
k
(k = 1, . . . , n) sollen im Inneren der Kurve C liegen und jede Kurve C
k
im ue-
ren jeder Kurve C
j
(k = j ). Ferner liege das durch C und die Kurven C
k
gebildete
Ringgebiet ganz in D (fr n = 3 s. Fig. 2.15). Ist dann f eine in D holomorphe
Funktion, so gilt
_
C
f (z)dz =
n

k=1
_
C
k
f (z)dz . (2.47)
Wir berlassen den Nachweis dem Leser.
Bemerkung: Kurven C
k
, deren Inneres ganz in D enthalten ist, liefern nach dem Cauchyschen
Integralsatz in (2.47) keinen Beitrag. Der Wert des Integrals auf der linken Seite von (2.47) wird
also nur von solchen Kurven C
k
beeinusst, die Bereiche umschlieen, die nicht zu D gehren.
II. Stammfunktionen im Komplexen
Wir betrachten das komplexe Integral
F(z) :=
z
_
z
0
f ( )d . (2.48)
Sind die Voraussetzungen des Cauchyschen Integralsatzes erfllt, so ist dieses Integral unabhn-
gig von der Kurve C, die die Punkte z
0
und z in D verbindet. Wir weisen nach, dass die durch
(2.48) erklrte Funktion F in D differenzierbar ist und dort F

= f erfllt. Wie im Reellen


nennen wir eine solche Funktion eine Stammfunktion von f in D.
Zum Nachweis, dass F eine Stammfunktion ist, gehen wir wie folgt vor: D ist ein Gebiet in
C und somit eine offene Punktmenge in C. Zu jedem Punkt z D gibt es daher ein > 0, so
dass das Kreisgebiet K

(z) = {

|z | } in D liegt. Sei nun h C beliebig mit |h| < und


sei C(h) die geradlinige Verbindung der Punkte z und z + h (s. Fig. 2.16). Wir beachten, dass
wir die Verbindungskurve in (2.48) wegen Satz 2.12, Folgerung, frei whlen knnen!
Parameterdarstellung von C(h):
= (t ) = z +t h , 0 t 1 .
Wegen
F(z +h) =
z+h
_
z
0
f ( )d =
z
_
z
0
f ( )d +
_
C(h)
f ( )d = F(z) +
_
C(h)
f ( )d
2.2 Komplexe Integration 65
Fig. 2.16: Wahl des Integrationsweges
gilt
F(z +h) F(z)
h
=
1
h
_
C(h)
f ( )d ,
woraus sich mit der obigen Parameterdarstellung fr C(h)
F(z +h) F(z)
h
=
1
h
1
_
0
f (z +t h)

(t )dt =
1
_
0
f (z +t h)dt
ergibt. Nun fhren wir die Zerlegung
1
_
0
f (z +t h)dt =
1
_
0
_
f (z +t h) f (z) + f (z)
_
dt = f (z) +
1
_
0
_
f (z +t h) f (z)
_
dt
durch und beachten, dass der Integrand des letzten Integrals fr h 0 gleichmig gegen 0 strebt
(warum?). Damit erhalten wir
F(z +h) F(z)
h
f (z) fr h 0 ,
also: F

(z) = f (z) in D. Durch (2.48) ist also eine Stammfunktion von f gegeben.
Gibt es noch andere Stammfunktionen von f ? Zur Beantwortung dieser Frage nehmen wir
an, G sei eine weitere Stammfunktion von f , d.h. es gelte G

= f in D. Mit
u(x, y) := Re(F G) , v(x, y) := Im(F G)
ergibt sich dann aus Satz 2.3, Abschnitt 2.1.3
u
x
(x, y) = u
y
(x, y) = 0 , v
x
(x, y) = v
y
(x, y) = 0
in D, so dass u und v in D konstant sind. Dies bedeutet aber, dass sich G nur durch eine
Konstante von F unterscheiden kann. Damit ist gezeigt:
66 2 Holomorphe Funktionen
Satz 2.14:
Sei D ein einfach zusammenhngendes Gebiet, und f sei eine in D holomorphe Funk-
tion. Dann ist fr festes z
0
D durch
F(z) =
z
_
z
0
f ( )d (2.49)
eine Stammfunktion von f in D gegeben, wobei der Integrationsweg irgendeine ganz
in D verlaufende stckweise glatte Kurve ist, die z
0
mit z verbindet. Ist G eine weitere
Stammfunktion von f in D, so gilt
G(z) = F(z) +c (2.50)
mit einer geeigneten Konstanten c.
In der Reellen Analysis haben wir gesehen, dass sich Stammfunktionen zur Berechnung von
bestimmten Integralen benutzen lassen. Dies ist auch im Komplexen mglich, wie der folgende
Satz zeigt:
Satz 2.15:
Unter den Voraussetzungen von Satz 2.14 gilt fr beliebige z
1
, z
2
D
z
2
_
z
1
f ( )d = F(z
2
) F(z
1
) , (2.51)
falls F eine Stammfunktion von f in D ist.
Beweis:
Nach Satz 2.14 gilt
F(z) =
z
_
z
1
f ( )d +c (c = const) .
Setzen wir z = z
1
, so folgt hieraus
F(z
1
) = c
und, wenn wir nun z = z
2
setzen, die Behauptung.
Beispiel 2.11:
Wir berechnen
_
C
e
z
dz lngs der Strecke 1 nach i. Diese Strecke lsst sich in ein einfach zu-
sammenhngendes Gebiet D einbetten (s. Fig. 2.17), in dem f (z) = e
z
holomorph ist. (Nach
2.2 Komplexe Integration 67
Beisp. 2.6, Abschn. 2.1.3, ist f in ganz C holomorph.) Nach Satz 2.15 gilt daher mit F(z) = e
z
_
C
e
z
dz = F(i) F(1) = e
i
e = (cos 1 e) +i sin 1 .
Beispiel 2.12:
Es soll
_
C
dz
z
2
lngs des Streckenzuges C von 1 ber 1 +i und 1 +i nach 1 berechnet werden.
Da f (z) =
1
z
2
in z = 0 nicht differenzierbar ist, whlen wir ein einfach zusammenhngendes
Gebiet D so, dass z = 0 / D, aber C ganz in D enthalten ist (s. Fig. 2.18). Mit F(z) =
1
z
und
Satz 2.15 folgt dann
_
C
dz
z
2
= F(1) F(1) = 1 (1) = 2 .
Fig. 2.17: Integration lngs der Strecke C Fig. 2.18: Integration lngs des Streckenzuges C
III. Die Cauchysche Integralformel
Der Cauchysche Integralsatz liefert uns die Mglichkeit, eine Integraldarstellung fr die Funkti-
onswerte holomorpher Funktionen herzuleiten. Wir zeigen
Satz 2.16:
(Cauchysche Integralformel) Sei f eine in einem einfach zusammenhngenden Ge-
biet D holomorphe Funktion. Ferner sei C eine ganz in D verlaufende geschlossene,
doppelpunktfreie, stckweise glatte und positiv orientierte Kurve. Dann gilt fr jedes
z aus dem Inneren von C
f (z) =
1
2 i
_
C
f ( )
z
d , (2.52)
d.h. f ist im Inneren von C bereits durch die Funktionswerte auf dem Rand C eindeu-
tig bestimmt.
68 2 Holomorphe Funktionen
Fig. 2.19: Zur Cauchyschen Integralformel Fig. 2.20: Zum Beweis von Satz 2.16
Beweis:
Fr z In(C) ist
f ( )
z
in D {z} holomorph. Wir whlen nun ein
0
> 0, so dass der Kreis
| z|
0
in In(C) liegt (s. Fig. 2.20). Nach I, Formel (2.45) gilt dann fr alle mit 0 < <
0
_
C
f ( )
z
d =
_
K

(z)
f ( )
z
d ,
wobei K

die positiv orientierte Kreislinie K

(z) = { | | z| = } ist. Mit


f ( ) = f (z) +
_
f ( ) f (z)
_
und
_
K

(z)
1
z
d = 2 i (s. Beisp. 2.8, Abschn. 2.2.1)
folgt daher
_
C
f ( )
z
d = f (z)
_
K

(z)
1
z
d +
_
K

(z)
f ( ) f (z)
z
d = 2 i f (z)+
_
K

(z)
f ( ) f (z)
z
d .
(2.53)
Da f holomorph (d.h. stetig differenzierbar) in D ist, ist der Integrand des letzten Integrals in
einer Umgebung von z beschrnkt, etwa durch die Konstante k, und wir erhalten mit Satz 2.11,
Abschnitt 2.2.1, die Abschtzung

_
K

(z)
f ( ) f (z)
z
d

k L
_
K

(z)
_
= k 2 0 fr 0.
2.2 Komplexe Integration 69
Damit folgt aus (2.53) fr 0
_
C
f ( )
z
d = 2 i f (z) ,
wodurch unser Satz bewiesen ist.
Bemerkung 1: Die Cauchysche Integralformel zeigt, dass die Eigenschaft stetige Differenzier-
barkeit in D (= Holomorphie in D) im Komplexen bedeutend restriktiver ist, als dies im Reellen
der Fall ist: Dort sind die Funktionswerte etwa im Inneren eines Intervalls keineswegs durch die
Funktionswerte an den Intervallenden festgelegt.
Bemerkung 2: Die Cauchysche Integralformel bleibt auch fr mehrfach zusammenhngende
Gebiete gltig, wenn C ganz in einem einfach zusammenhngenden Teilgebiet von D liegt.
Aus Satz 2.16 gewinnen wir sehr einfach die sogenannte Mittelwertformel fr holomorphe
Funktionen:
Satz 2.17:
Sei f holomorph im Gebiet D, z D und K
r
(z) ein positiv orientierter Kreis um z
mit Radius r, der zusammen mit seinem Inneren ganz in D liegt. Dann gilt
f (z) =
1
2
2
_
0
f (z +r e
i t
)dt . (2.54)
(Der Funktionswert im Mittelpunkt des Kreises K
r
(z) ist gleich dem arithmetischen
Mittel der Funktionswerte auf K
r
(z).)
Beweis:
Mit der Parameterdarstellung
= (t ) = z +r e
i t
, 0 t 2
fr K
r
(z) folgt aus (2.52)
f (z) =
1
2 i
_
K
r
(z)
f ( )
z
d =
1
2 i
2
_
0
f (z +r e
i t
)
r e
i t
r i e
i t
dt =
1
2
2
_
0
f (z +r e
i t
)dt .

Die Cauchysche Integralformel besitzt eine interessante Erweiterung:


70 2 Holomorphe Funktionen
Satz 2.18:
(Cauchysche Integralformel fr die n-te Ableitung) Seien die Voraussetzungen von
Satz 2.16 erfllt. Dann gilt fr alle z In(C) und fr alle n N
f
(n)
(z) =
n!
2 i
_
C
f ( )
( z)
n+1
d . (2.55)
Bemerkung 1: Dieser Satz besagt, dass die stetige Differenzierbarkeit (= Holomorphie) einer
Funktion f im Gebiet D bereits nach sich zieht, dass f in D sogar beliebig oft differenzierbar
ist. Auch dieses berraschende Resultat macht deutlich: Differenzierbarkeit im Komplexen ist
wesentlich folgenschwerer als im Reellen.
Bemerkung 2: In Verschrfung der Aussage des Satzes 2.16 gilt: Nicht nur die holomorphe
Funktion f selbst, sondern auch jede ihrer Ableitungen, ist im Inneren von C bereits durch die
Funktionswerte von f auf dem Rand C eindeutig bestimmt.
Beweis:
Wir fhren diesen zunchst fr n = 1: Sei z
0
In(C) beliebig, fest. Nun whlen wir h C so,
dass z
0
+h In(C) ist. Setzen wir
F
1
(z
0
) :=
1
2 i
_
C
f ( )
( z
0
)
2
d ,
so folgt mit Satz 2.16
f (z
0
+h) f (z
0
)
h
F
1
(z
0
) =
1
2 i
_
C
_
1
h
_
1
z
0
h

1
z
0
_

1
( z
0
)
2
_
f ( )d
=
h
2 i
_
C
f ( )
( z
0
h)( z
0
)
2
d .
Fig. 2.21: Zum Beweis von Satz 2.18
Sei nun G

:= {z In (C)| |z | fr alle C}, wobei wir > 0 so whlen, dass z


0
2.2 Komplexe Integration 71
aus G

ist, also | z
0
| gilt. Whlen wir h C mit |h| < /2, so folgt | z
0
h| /2.
Setzen wir noch M := max
zC
| f (z)|, so ergibt sich aus Satz 2.11, Abschnitt 2.2.1

f (z
0
+h) f (z
0
)
h
F
1
(z
0
)

L(C)
|h|
2
2M

2
0
fr h 0 gleichmig in G

. Damit erhalten wir


f

(z
0
) = F
1
(z
0
) fr z
0
In(C) beliebig,
so dass Satz 2.18 fr den Fall n = 1 bewiesen ist.
Fr n > 1 fhren wir den Beweis mittels vollstndiger Induktion: Wir setzen
F
n
(z
0
) :=
n!
2 i
_
C
f ( )
( z
0
)
n+1
d (2.56)
und haben zu zeigen, dass fr alle n N und z
0
In(C)
f
(n)
(z
0
+h) f
(n)
(z
0
)
h
F
n+1
(z
0
)
h0
0 (2.57)
gilt. Wie wir bereits gezeigt haben, ist dies fr n = 0 richtig. Wir nehmen nun an, (2.57) gelte
fr n = k 1 (k N fest), d.h. es sei
f
(k)
(z
0
) = F
k
(z
0
) fr z
0
In(C) beliebig
erfllt. Dann folgt mit
f
(k)
(z
0
+h) f
(k)
(z
0
)
h
F
k+1
(z
0
)
=
k!
2 i
_
C
1
h
_
1
( z
0
h)
k+1

1
( z
0
)
k+1
_
f ( )d
(k +1)!
2 i
_
C
f ( )
( z
0
)
k+2
d
=
k!
2 i
_
C
_
1
h
_
1
( z
0
h)
k+1

1
( z
0
)
k+1
_

(k +1)
( z
0
)
k+2
_
f ( )d .
Nun benutzen wir fr { . . . } die Beziehung
b
n
a
n
b a
+na
n1
= (b a)
_
a
2
b
n
+2a
3
b
n+1
+. . . +na
n1
b
1
_
die fr alle n N, a, b C (a = b) gilt. (Mittels vollstndiger Induktion zeigen!) Dazu setzen
wir
a := z
0
, b := z
0
h und n := k +1
72 2 Holomorphe Funktionen
und erhalten
F
k+1
(z
0
) +
f
(k)
(z
0
+h) f
(k)
(z
0
)
h
=
k!
2 i
_
C
h
_
1 ( z
0
)
2
( z
0
h)
k1
+2 ( z
0
)
3
( z
0
h)
k
+ . . .
+(k +1) ( z
0
)
k2
( z
0
h)
1
_
f ( )d .
Seien G

und M wie oben erklrt. Wegen | z


0
| , | z
0
h|

2
(s.o.) und
1 +2 +. . . +(k +1) =
(k +1)(k +2)
2
erhalten wir unter Beachtung von Satz 2.11, Abschnitt 2.2.1

f
(k)
(z
0
+h) f
(k)
(z
0
)
h
F
k+1
(z
0
)

L(C)
k!|h|
2
2
k+1

3+k
(k +1)(k +2)
2
M 0
fr h 0 gleichmig in G

. Damit ist gezeigt:


f
(k+1)
(z
0
) = F
k+1
(z
0
) fr z
0
In(C) beliebig,
so dass nach dem Induktionsprinzip die Aussage von Satz 2.18 folgt.
Bemerkung: Da eine im Gebiet D holomorphe Funktion f dort beliebig oft differenzierbar
ist, zeigt sich im Rckblick auf Abschnitt 2.1.5 (s. 1. Funote), dass sowohl Realteil, als auch
Imaginrteil von f in D der Potentialgleichung gengen.
Aus Satz 2.18 gewinnen wir sehr einfach eine Abschtzung fr die Ableitungen von f , falls
eine Abschtzung fr f bekannt ist:
Satz 2.19:
(Cauchy-Ungleichung) Sei f holomorph in einem Gebiet D, z ein beliebiger Punkt
in D und die Kreislinie K
r
(z) sowie ihr Inneres ganz in D enthalten. Gilt dann
| f ( )| M fr alle K
r
(z)
mit einer Konstanten M > 0, so gilt fr alle n N
0

f
(n)
(z)


n!M
r
n
. (2.58)
2.2 Komplexe Integration 73
Beweis:
Nach Satz 2.18 und Satz 2.11, Abschnitt 2.2.1, gilt

f
(n)
(z)

n!
2 i
_
K
r
(z)
f ( )
( z)
n+1
d

n!
2
2r
M
r
n+1
=
n!M
r
n
.

2.2.4 Umkehrung des Cauchyschen Integralsatzes


Wir erinnern daran, dass wir mit Hilfe des Cauchyschen Integralsatzes aus der Holomorphie von
f in D die Beziehung
_
C
f (z)dz = 0
fr jede in D verlaufende stckweise glatte, geschlossene Kurve C erhalten (s. Abschn. 2.2.2). Es
stellt sich nun die Frage nach der Umkehrung dieses Sachverhaltes. Der folgende Satz ermglicht
uns eine weitere Charakterisierung holomorpher Funktionen:
Satz 2.20:
(Morera
10
) Es sei D ein einfach zusammenhngendes Gebiet und f eine in D stetige
Funktion. Ferner gelte
_
C
f (z)dz = 0 (2.59)
fr jede in D verlaufende stckweise glatte, geschlossene Kurve C. Dann ist f in D
holomorph.
Beweis:
Wegen (2.59) ist das durch
z
_
z
0
f ( )d =: F(z)
erklrte Integral unabhngig vom Weg, der z
0
und z verbindet. Der Beweis von Satz 2.14, Ab-
schnitt 2.2.3, zeigt uns, dass dann F eine Stammfunktion von f ist:
F

(z) = f (z) .
10 G. Morera (1856-1909), italienischer Mathematiker.
74 2 Holomorphe Funktionen
(Wir beachten, dass der Beweis an dieser Stelle nur die Stetigkeit von f verlangt.) F ist also in D
stetig differenzierbar und damit holomorph in D. Nach Satz 2.18, Abschnitt 2.2.3, ist F folglich
beliebig oft differenzierbar in D und wegen F

= f auch f . Damit ist die Holomorphie von f


in D nachgewiesen.
Bemerkung: Der Satz von Morera ermglicht uns einen besonders einfachen Beweis von Satz
2.4, Abschnitt 2.1.3: Nach Voraussetzung besitzen u und v in D stetige partielle Ableitungen
erster Ordnung, die den Cauchy-Riemannschen DGln (s. (2.7)) gengen. Wie im Beweis von
Satz 2.12 (Cauchyscher Integralsatz) ergibt sich daraus:
_
C
f (z)dz = 0 ,
fr alle geschlossenen, stckweise glatten Kurven C, die in einem einfach zusammenhngenden
Teilgebiet G von D verlaufen. Nach dem Satz von Morera ist damit f in jedem einfach zusam-
menhngenden Teilgebiet von D und somit in D selbst holomorph.
2.2.5 Anwendungen der komplexen Integralrechnung
Die Cauchyschen Stze, die wir in den vorhergehenden Abschnitten kennengelernt haben, be-
sitzen zahlreiche Anwendungen. Wir behandeln im Folgenden:
(a) das Maximumprinzip, das z.B. bei Eindeutigkeitsnachweisen fr die Lsung von Randwert-
problemen der Potentialtheorie eine Rolle spielt;
(b) eine Dirichletsche Randwertaufgabe der Potentialtheorie;
(c) den Fundamentalsatz der Algebra, der sich mit den o.g. Hilfsmitteln einfach und elegant
beweisen lsst.
(a) Das Maximumprinzip
Wir betrachten die im Gebiet D holomorphe Funktion
f (z) = f (x +i y) = u(x, y) +i v(x, y) .
Die Holomorphie von f in D zieht die Stetigkeit von f und | f | in D nach sich. Dabei ist
| f (z)| =
_
u
2
(x, y) +v
2
(x, y) .
Wir zeigen zunchst
Satz 2.21:
Die Funktion f sei im Gebiet D holomorph und nicht konstant. Dann besitzt die (re-
ellwertige) Funktion | f | in D kein Maximum.
2.2 Komplexe Integration 75
Beweis:
Wir fhren den Beweis indirekt und nehmen hierzu an, es existiere ein z
0
D mit

f (z
0
)

f (z)

fr alle z D. (2.60)
Sei K
r
(z
0
) ein (positiv orientierter) Kreis, der zusammen mit seinem Inneren ganz in D liege.
Nach der Mittelwertformel (s. Satz 2.17, Abschn. 2.2.3) gilt dann
f (z
0
) =
1
2
2
_
0
f (z
0
+r e
i t
)dt , (2.61)
woraus die Abschtzung

f (z
0
)


1
2
2
_
0

f (z
0
+r e
i t
)

dt
folgt. Hieraus erhalten wir mit der Identitt

f (z
0
)

=
1
2
2
_
0

f (z
0
)

dt
die Beziehung
1
2
2
_
0
_

f (z
0
)

f (z
0
+r e
i t
)

_
dt 0 .
Andererseits gilt wegen (2.60): | f (z
0
)| | f (z
0
+r e
i t
)|, so dass | f (z
0
)| = | f (z
0
+r e
i t
)| und
damit
f (z
0
+r e
i t
) = e
i
f (z
0
) , 0 < 2 (2.62)
folgt. Hierbei hngt von t ab. Setzen wir (2.62) in (2.61) ein, so ergibt sich
f (z
0
) =
1
2
2
_
0
e
i (t )
f (z
0
)dt = f (z
0
)
1
2
2
_
0
e
i (t )
dt
oder
1 =
1
2
2
_
0
_
cos (t ) +i sin (t )
_
dt .
76 2 Holomorphe Funktionen
Da die linke Seite dieser Gleichung reell ist, muss notwendig
1 =
1
2
2
_
0
cos (t ) dt
gelten. Dies ist aber nur fr cos (t ) 1, also fr (t ) 0 mglich. Aus (2.62) folgt dann
f (z
0
+r e
i t
) = f (z
0
) bzw. f (z
0
+ e
i t
) = f (z
0
) fr alle mit 0 r und damit
f (z) = f (z
0
) fr alle z K
r
(z
0
) In(K
r
(z
0
)),
so dass f in einer Umgebung von z
0
konstant ist.
Fig. 2.22: Zum Kreiskettenverfahren
Sei nun z ein beliebiger Punkt aus D. Da D zusammenhngend ist (D ist ein Gebiet!), gibt
es einen in D verlaufenden Polygonzug K, der z
0
mit z verbindet. Da K D kompakt ist, gibt
es nach Hilfssatz 1.1, Abschnitt 1.1.4, ein d > 0 mit |z | d fr alle z K und D.
Nun zerlegen wir K durch endlich viele Teilpunkte z
0
, z
1
, . . . , z
n
= z in n Teile mit einer Lnge
jeweils kleiner als d. Die Kreisgebiete
U
d
(z
i
) = {z| |z z
i
| < d , i = 0,1, . . . , n} D
bilden eine Kreiskette in D (man spricht daher auch von einem Kreiskettenverfahren): jedes
Kreisgebiet U
d
(z
i
) enthlt den Mittelpunkt des nachfolgenden Kreisgebietes
z
i
U
d
(z
i 1
) , i = 1, . . . , n
(s. Fig. 2.22). Nach unseren obigen berlegungen gilt f (z) = f (z
0
) fr z U
d
(z
0
) und nach
dem Identittssatz
11
auch fr z U
d
(z
1
). Durch (n 2)-fache Wiederholung folgt dies auch fr
11 s. Abschn 2.3.5, Satz 2.39.
2.2 Komplexe Integration 77
z U
d
(z
n1
). Insbesondere gilt also f ( z) = f (z
0
). Da z D beliebig ist, ergibt sich f = const
in D, im Widerspruch zu den Voraussetzungen des Satzes.
Aus diesem Satz ergibt sich nunmehr sofort
Satz 2.22:
(Maximumprinzip) Sei D ein beschrnktes Gebiet mit dem Rand D. Die Funktion
f sei holomorph in D und stetig in

D = D D. Dann nimmt die Funktion | f | ihr
Maximum auf dem Rand D von D an, d.h. es gibt ein z
0
D mit

f (z
0
)

= max
z

D

f (z)

. (2.63)
Beweis:
Mit f ist auch | f | stetig auf

D. Da

D kompakt ist, nimmt die reellwertige Funktion | f | in

D ihr
Maximum an
12
. Nach Satz 2.21 liegt die Maximumstelle auf dem Rand D oder es ist f const
in

D.
Bemerkung: Unter der Voraussetzung, dass f in D keine Nullstelle hat, lsst sich entsprechend
ein Minimumprinzip beweisen (s. b. 2.14).
Fr die Anwendungen ist es ntzlich, ein Maximum- bzw. Minimumprinzip fr harmoni-
sche Funktionen zu besitzen. Wir erinnern daran, dass harmonische Funktionen u Lsungen
der Potentialgleichung u = 0 sind, mit stetigen partiellen Ableitungen zweiter Ordnung (s.
Abschn. 2.1.5). Wir zeigen
Satz 2.23:
(Maximumprinzip fr harmonische Funktionen) Sei D ein beschrnktes Gebiet in R
2
mit Rand D. Ferner sei u eine in D harmonische und in

D = D D stetige Funktion.
Dann nimmt die Funktion u ihr Maximum auf dem Rand D von D an. Entsprechen-
des gilt fr das Minimum.
Beweis:
Zu u gibt es nach Satz 2.8, Abschnitt 2.1.5, eine konjugiert harmonische Funktion v, so dass
f (z) = f (x + i y) = u(x, y) + i v(x, y) in D (jetzt als Gebiet in C aufgefasst) holomorph ist.
Ist dann K
r
(z
0
) ein positiv orientierter Kreis, der zusammen mit seinem Inneren ganz in D liegt,
so gilt nach der Mittelwertformel (s. Satz 2.17, Abschn. 2.2.3)
f (z
0
) =
1
2
2
_
0
f (z
0
+r e
i t
)dt .
12 Satz 1.25, Abschn. 1.6.5, Bd. I gilt entsprechend auch im R
2
.
78 2 Holomorphe Funktionen
Durch Realteilbildung folgt hieraus die Mittelwertformel
u(x
0
, y
0
) =
1
2
2
_
0
u(x
0
+r cos t, y
0
+r sin t )dt (2.64)
fr die harmonische Funktion u. Der weitere Beweis verluft wie der von Satz 2.21 bzw. Satz 2.22.
Im Falle des Minimumprinzips entfllt die Forderung u = 0 in D (s.o. Bemerkung). Die beiden
auf (2.61) folgenden Ungleichungen fr | f | gehen in Gleichungen fr u ber.
Wir zeigen nun, wie wir mit Hilfe des Maximum- bzw. Minimumprinzips die Eindeutigkeits-
frage fr Lsungen von Randwertaufgaben der Potentialtheorie behandeln knnen: Hierzu sei
D ein beschrnktes Gebiet mit dem Rand D. Ferner sei g eine vorgegebene auf D stetige
Funktion. Die Dirichletsche
13
Randwertaufgabe der Potentialtheorie besteht darin, eine in D
harmonische und in

D = D D stetige Funktion zu nden, die auf D mit g bereinstimmt,
fr die also gilt:
u = 0 in D; u = g auf D . (2.65)
Fig. 2.23: Dirichletsche Randwertaufgabe
Probleme dieser Art treten z.B. in der Elektrostatik auf: Man gibt auf D ein elektrostatisches
Potential vor und fragt nach der Potentialverteilung im Innern (bzw. im ueren) von D (s.
auch Abschn. 4.2).
Falls berhaupt eine Lsung von Problem (2.65) existiert, gilt
Satz 2.24:
Die Lsung der Dirichletschen Randwertaufgabe (2.65) ist eindeutig bestimmt.
13 P.G.L. Dirichlet (1805-1859), deutscher Mathematiker.
2.2 Komplexe Integration 79
Beweis:
Wir nehmen an, es seien zwei Lsungen u
1
und u
2
von (2.65) vorhanden und setzen u := u
1
u
2
.
Dann gengt u dem homogenen Randwertproblem mit
u = 0 in D;
u = 0 auf D.
_
(2.66)
Nach dem Maximumprinzip fr harmonische Funktionen gilt: u(x, y) 0 fr (x, y) D bzw.
nach dem Minimumprinzip u(x, y) 0 fr (x, y) D. Hieraus folgt aber u(x, y) = 0 bzw.
u
1
(x, y) = u
2
(x, y) fr alle (x, y) D.
Bemerkung: Ist der Rand D von D gutartig, so lsst sich zeigen, dass die Dirichletsche
Randwertaufgabe (2.65) stets eine Lsung besitzt (s. Abschn. 4.2.1).
Im nachfolgenden Abschnitt behandeln wir den Spezialfall eines Kreisgebiets.
(b) Eine Dirichletsche Randwertaufgabe
Wir benutzen die Cauchysche Integralformel (Satz 2.16) zur Lsung der folgenden Dirichlet-
schen Randwertaufgabe der Potentialtheorie: Sei G das Kreisgebiet
G =
_
(x, y)

x
2
+ y
2
< R
2
, R > 0
_
und G der Rand von G (also der Kreis x
2
+ y
2
= R
2
). Gesucht ist eine in G harmonische
Funktion u, die bei Annherung an den Rand in die vorgegebene stetige Funktion g bergeht, die
also die Dirichletsche Randwertaufgabe mit
u =0 in G;
u =g auf G
_
(2.67)
lst. Wir zeigen zunchst
Satz 2.25:
(Poissonsche Integralformel) Sei u eine im Gebiet D harmonische Funktion. Das Ge-
biet

G = {(x, y)

x
2
+ y
2
R
2
, R > 0} liege ganz in D. Dann gilt fr r < R und
0 < 2
u(r cos , r sin )
=
1
2
2
_
0
u(R cos , R sin )
R
2
r
2
R
2
2Rr cos( ) +r
2
d
(2.68)
80 2 Holomorphe Funktionen
Beweis:
Wir fassen

G als Gebiet in C auf:

G = {z

|z| = |x +i y| R}. Nach Satz 2.8, Abschnitt 2.1.5,


gibt es eine zu u konjugiert harmonische Funktion v, so dass
f (z) = u(x, y) +i v(x, y)
in

G holomorph ist. Nun benutzen wir die Cauchysche Integralformel (Satz 2.16, Abschn. 2.2.3)
und erhalten (G orientieren wir positiv!)
f (z) =
1
2 i
_
G
f ( )
z
d , z G . (2.69)
Wir stellen z bzw. in der Form
z = r e
i
bzw. = R e
i
dar und spiegeln z am Kreis G (s. Abschn. 4.1.3), d.h. wir erhalten den Spiegelpunkt
z =
R
2
z
=
R
2
r
e
i
.
Fr z gilt | z| > R, so dass
f ( )
z
in G holomorph ist. Daher folgt mit dem Cauchyschen Integral-
satz (Satz 2.12, Abschn. 2.2.2)
_
G
f ( )
z
d = 0 . (2.70)
Nach (2.69) und (2.70) gilt
f (z) =
1
2 i
_
G
f ( )
_
1
z

1
z
_
d .
Benutzen wir fr z, , z Polarkoordinaten, so ergibt sich
f (z) =
1
2 i
2
_
0
f (R e
i
)
_
1
R e
i
r e
i

1
R e
i

R
2
r
e
i
_
i R e
i
d
oder, nach einfacher Umformung
f (z) =
1
2
2
_
0
f (R e
i
)
R
2
r
2
R
2
2Rr cos( ) +r
2
d . (2.71)
Mit f (z) = u(x, y) +i v(x, y) folgt dann durch Realteilbildung die Behauptung.
2.2 Komplexe Integration 81
Bemerkung: Mit diesem Ergebnis ist noch nicht die Existenz einer Lsung des Dirichletschen
Problems fr das Kreisgebiet gezeigt. Man erhlt lediglich eine Darstellung unter der Annahme,
dass es eine Lsung u(x, y) gibt. Satz 2.25 liefert uns dann die Mglichkeit, die harmonische
Funktion u im Inneren eines Kreises durch ihre Randwerte zu beschreiben.
Wir wenden uns jetzt der Frage zu: Gibt es zu beliebig vorgegebenen stetigen Randwerten
immer eine im Kreisgebiet harmonische Funktion, die diese Randwerte besitzt? Dass dies zutrifft
zeigt
Satz 2.26:
Die Funktion g() := g(R cos , R sin ) sei im Intervall [0,2] stetig. Dann besitzt
das Dirichletsche Randwertproblem (2.67) genau eine Lsung. Diese ist durch
u(r cos , r sin ) =
1
2
2
_
0
g()
R
2
r
2
R
2
2Rr cos( ) +r
2
d (2.72)
gegeben.
Beweis:
Wegen
+ z
z
=
R
2
r
2
+2 i Rr sin( )
R
2
2Rr cos( ) +r
2
(2.73)
lsst sich (2.72) auch in der Form
u(r cos , r sin ) =
1
2
Re
_
_
2
_
0
g()
+ z
z
d
_
_
(2.74)
schreiben. Damit ist u (als Realteil einer in G holomorphen Funktion) in G harmonisch.
Wir weisen jetzt nach, dass u auch das gewnschte Randverhalten besitzt. Hierzu zeigen wir
u(r cos , r sin ) g(
0
) fr (r, ) (R,
0
). (2.75)
Wir benutzen die Beziehung
1
2
2
_
0
R
2
r
2
R
2
+r
2
2Rr cos( )
d = 1 , r < R , (2.76)
die aus der Poissonschen Integralformel (2.68) folgt, wenn man fr u die konstante (harmoni-
sche) Funktion u 1 setzt. Wir beachten, dass der Integrand in (2.76) positiv ist.
Aus der Stetigkeit von g folgt: Zu jedem > 0 existiert ein > 0 mit

g() g(
0
)

< fr |
0
| < .
82 2 Holomorphe Funktionen
Mit (2.72), (2.76) und A := max
[0,2]
| g() g(
0
)| ergibt sich

u(r cos , r sin ) g(


0
)

=
1
2

2
_
0
(R
2
r
2
)| g() g(
0
)|
R
2
+r
2
2Rr cos( )
d

1
2

_
|
0
|<
. . .

+
1
2

_
|
0
|
. . .

+
A
2
_
|
0
|
R
2
r
2
R
2
+r
2
2Rr cos( )
d .
(2.77)
Nun benutzen wir die Abschtzung
R
2
r
2
R
2
+r
2
2Rr cos( )

R
2
r
2
4Rr sin
2
4

R r
R sin
2
4
,
die fr |
0
| /2 und r R/2 gilt. Fr das letzte Integral in (2.77) ergibt sich dann
A
2
_
|
0
|
. . .
A
R
R r
sin
2
4
, r < R .
Whlen wir noch r 0 so, dass R r
_
R
A
sin
2
4
_
ist, so erhalten wir

u(r cos , r sin ) g(


0
)

+ = 2 ,
woraus (2.75) folgt.
Die Eindeutigkeit der Lsung ergibt sich aus Satz 2.24.
Bemerkung: Mit Hilfe von Satz 2.26 und dem Riemannschen Abbildungssatz (s. Abschn. 4.1.2)
lsst sich das Dirichletsche Randwertproblem fr beliebige einfach zusammenhngende Gebiete
mit gutartiger Berandung lsen. Wir zeigen dies in Abschnitt 4.2.1.
(c) Der Fundamentalsatz der Algebra
Die Frage nach den Nullstellen von Polynomen wurde bereits in Burg/Haf/Wille [12]untersucht.
Die Bedeutung dieser Frage wird z.B. bei der Konstruktion von Fundamentallsungen linearer
Differentialgleichungen mit konstanten Koefzienten deutlich (s. Burg/Haf/Wille [10]). Auch bei
der Operatorenmethode zur Lsung inhomogener Differentialgleichungsprobleme erweist sich
der Fundamentalsatz der Algebra als sehr ntzlich (s. Burg/Haf/Wille [10]). Sein Beweis beruht
auf dem folgenden
2.2 Komplexe Integration 83
Satz 2.27:
(Satz von Liouville
14
) Sei f in ganz C holomorph und beschrnkt. Dann ist f kon-
stant.
Beweis:
Sei M > 0 eine Schranke fr | f | in C:

f (z)

< M fr alle z C.
Nach der Cauchy-Ungleichung (s. Abschn. 2.2.3, Satz 2.19) gilt dann fr jedes r > 0 und jedes
z C

f

(z)


M
r
.
Hieraus folgt durch Grenzbergang r
f

(z) = 0 fr alle z C.
Daraus ergibt sich (s. Beweis von Satz 2.14, Abschn. 2.2.3), dass f const in C ist.
Bemerkung: Man nennt Funktionen, die in der ganzen komplexen Zahlenebene holomorph sind,
ganze Funktionen. Beispiele fr ganze Funktionen sind: Polynome, e
z
, sin z und cos z. Der Satz
von Liouville besagt dann, dass die Konstanten die einzigen ganzen Funktionen sind, die in ganz
C beschrnkt sind.
Nun zeigen wir:
Satz 2.28:
(Fundamentalsatz der Algebra) Jedes Polynom vom Grad n in z
P
n
(z) = z
n
+a
n1
z
n1
+. . . +a
0
mit komplexen Koefzienten a
i
(i = 0,1, . . . , n 1) und n 1 besitzt mindestens
eine Nullstelle in C.
Beweis:
(indirekt) Wir nehmen an:
P
n
(z) = 0 fr alle z C.
Dann ist durch
f (z) :=
1
P
n
(z)
14 J. Liouville (1809-1882), franzsischer Mathematiker.
84 2 Holomorphe Funktionen
eine in ganz C holomorphe Funktion f erklrt. Wegen

P
n
(z)

z
n

1 +a
n1
1
z
+. . . +a
0
1
z
n

und

a
n1
1
z
+. . . +a
0
1
z
n

<
1
2
fr hinreichend groes |z| folgt

P
n
(z)

|z|
n
_
1
1
2
_
=
|z|
n
2
fr |z| .
Hieraus ergibt sich

f (z)

0 fr |z| ,
f ist also in ganz C beschrnkt. Nach Satz 2.27 folgt daher: f und damit P
n
sind konstante
Funktionen. Dies ist ein Widerspruch, so dass Satz 2.28 bewiesen ist.
Folgerung:
Jedes Polynom P
n
(z) vom Grad n 1 lsst sich in der Form
P
n
(z) = (z z
1
)(z z
2
) . . . (z z
n
) (2.78)
darstellen, besitzt also genau n Nullstellen. Diese knnen in (2.78) auch mehrfach
auftreten.
Beweis:
Fr n = 1 gilt P
n
(z) = z (a
0
), so dass (2.78) trivialerweise erfllt ist. Fr n > 1 besitzt
P
n
(z) nach Satz 2.28 mindestens eine Nullstelle z
n
, so dass sich P
n
in der Form
P
n
(z) = (z z
n
)P
n1
(z)
mit einem Polynom P
n1
vom Grad n 1 darstellen lsst. Dies folgt wie in Burg/Haf/Wille [12].
Nun wendet man auf P
n1
Satz 2.28 an usw.
Wir schlieen diesen Abschnitt ab mit der folgenden
Bemerkung: Sowohl der Cauchysche Integralsatz als auch die Cauchyschen Integralformeln
stellen ein wertvolles Hilfsmittel bei der Berechnung von reellen uneigentlichen Integralen dar.
Wir behandeln solche Anwendungen in Abschnitt 3.2.3, (a).
2.2 Komplexe Integration 85
bungen
bung 2.9:
Bestimme den Wert des Integrals
1+i
_
0
zdz bzw.
1+i
_
0
zdz
a) lngs einer Geraden; b) lngs der Parabel Imz = (Re z)
2
. Sind die Integrale unabhngig vom
Weg ?
bung 2.10:
Berechne
1+2 i
_
12 i
dz
z
2
a) mittels Stammfunktion; b) durch Integration lngs der positiv orien-
tierten Kreislinie um den Nullpunkt, die die Punkte z
1
= 1 2 i und z
2
= 1 +2 i verbindet.
bung 2.11*:
Das Integral
_
C
z
2
1
z
dz ist lngs der folgenden geschlossenen, positiv orientierten Kurven zu
berechnen: a) |z 2| = 1; b) |z| = 1 fr Imz 0, 2 Imz = (Re z)
2
1 fr Imz 0.
bung 2.12*:
Bestimme durch Verwendung der Cauchyschen Integralformeln den Wert der Integrale
a)
_
|z2 i |=2
dz
(z i)(z +i)
2
, b)
_
|z|=
1
2
sin z
z
3
(1 z)
dz ,
wenn die entsprechenden Kurven positiv orientiert sind.
bung 2.13:
Beweise: Ist die Funktion f holomorph im Gebiet D, so ist f genau dann konstant, wenn
f

(z) = 0 fr alle z D
gilt.
bung 2.14*:
Beweise das folgende Minimumprinzip: Sei D ein beschrnktes Gebiet mit dem Rand D. Die
Funktion f sei holomorph in D, stetig in

D = D D und es gelte f (z) = 0 in D. Dann
86 2 Holomorphe Funktionen
nimmt die Funktion | f | ihr Minimum auf dem Rand D an, d.h. es gibt ein z
0
D mit

f (z
0
)

= min
z

D

f (z)

.
bung 2.15*:
Bestimme das Maximum von | f | im Kreisgebiet |z| 1, wenn f (z) = z
2
1 ist.
bung 2.16:
Weise anhand der Funktion f (z) = sin z nach, dass das Maximumprinzip im Falle unbeschrnk-
ter Gebiete nicht gilt.
bung 2.17:
Sei f (z) = f (x +i y) = u(x, y) +i v(x, y) im Gebiet D holomorph. Zeige, es gilt

_
| f |
2
_
= 4| f

|
2
_
:=

2
x
2
+

2
y
2
_
.
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse
Wir wollen aufzeigen, dass sich jede holomorphe Funktion durch eine (komplexe) Potenzrei-
he darstellen lsst. Auf diese Weise gewinnen wir eine weitere Charakterisierung holomorpher
Funktionen mit interessanten Konsequenzen.
2.3.1 Folgen von Funktionen
In diesem Abschnitt beschftigt uns insbesondere die Frage, unter welchen Bedingungen eine
Folge von holomorphen Funktionen eine holomorphe Grenzfunktion besitzt. Auerdem sind wir
an einer Klrung der Fragen interessiert, unter welchen Voraussetzungen eine Vertauschung von
Grenzbergang und Integration bzw. Differentiation erlaubt ist. Wir bentigen hierzu
Denition 2.4:
(a) Die komplexwertigen Funktionen f
n
(n N) seien auf einer Menge D C
erklrt. Die Folge { f
n
} heit konvergent im Punkt z
0
D, falls die (komplexe)
Punktfolge { f
n
(z
0
)} konvergent ist. Wir sagen, { f
n
} ist punktweise konvergent in
D, falls { f
n
} fr jedes z D konvergiert. Man nennt dann die durch
f (z) = lim
n
f
n
(z) , z D (2.79)
erklrte Funktion f Grenzfunktion der Folge { f
n
}
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 87
(b) { f
n
} heit gleichmig konvergent in D mit Grenzfunktion f , wenn es zu jedem
> 0 eine natrliche Zahl n
0
= n
0
() gibt, so dass

f
n
(z) f (z)

< fr alle n n
0
und fr alle z D (2.80)
gilt.
Diese Denition entspricht vllig dem reellen Fall (s. Burg/Haf/Wille [12]). Wie im Reellen
ergibt sich auch
Satz 2.29:
(Cauchy-Konvergenzkriterium) Die Funktionenfolge { f
n
} konvergiert gleichmig auf
D gegen eine Funktion f genau dann, wenn es zu jedem > 0 eine natrliche Zahl
n
0
= n
0
() gibt, so dass

f
n
(z) f
m
(z)

< fr alle n, m n
0
und fr alle z D (2.81)
gilt.
Der Begriff der gleichmigen Konvergenz spielt im Zusammenhang mit den oben angesproche-
nen Vertauschungsfragen dieselbe Rolle, wie uns das schon aus dem Reellen (s. Burg/Haf/Wille
[12]) bekannt ist. Wir zeigen:
Satz 2.30:
Sei { f
n
} eine Folge auf einem Gebiet D holomorpher Funktionen. Ferner sei { f
n
} auf
jeder kompakten Teilmenge G von D gleichmig konvergent gegen f . Dann gilt
(i) Die Grenzfunktion f ist holomorph in D.
(ii) Fr jede stckweise glatte, orientierte Kurve C in D gilt
_
C
f (z)dz =
_
C
lim
n
f
n
(z)dz = lim
n
_
C
f
n
(z)dz . (2.82)
Beweis:
Wir zeigen zunchst (ii): Seien z
0
D und > 0 beliebig. Da D ein Gebiet ist, gibt es ein r > 0,
so dass
K
r
(z
0
) :=
_
z D| |z z
0
| r
_
D .
Aus der gleichmigen Konvergenz von { f
n
} gegen f folgt: Es existiert eine natrliche Zahl
n
0
= n
0
(), so dass

f
n
(z) f (z)

< fr alle n n
0
und fr alle z K
r
(z
0
) (2.83)
88 2 Holomorphe Funktionen
gilt. Aus der Holomorphie der Funktionen f
n
in D ergibt sich insbesondere ihre Stetigkeit in D.
Zu dem oben gewhlten > 0 gibt es daher ein (0, r) mit

f
n
(z) f
n
(z
0
)

< fr alle z K

(z
0
) und fr jedes feste n. (2.84)
Mit Hilfe der Dreiecksungleichung und den Abschtzungen (2.83) und (2.84) folgt dann

f (z) f (z
0
)

f (z) f
n
(z)

f
n
(z) f
n
(z
0
)

f
n
(z
0
) f (z
0
)

< 3 fr alle n n
0
und fr alle z K

(z
0
).
Daraus erhalten wir, da z
0
D beliebig ist, die Stetigkeit von f in D. Damit existiert
_
c
f (z)dz
und mit Satz 2.11, Abschnitt 2.2.1, folgt

_
C
f (z)dz
_
C
f
n
(z)dz

_
C
_
f (z) f
n
(z)
_
dz

L(C) max
zC

f (z) f
n
(z)

. (2.85)
Da C eine kompakte Teilmenge von D ist (warum?) und { f
n
} nach Voraussetzung in jeder kom-
pakten Teilmenge von D gleichmig gegen f konvergiert, gibt es zu > 0 eine natrliche Zahl
N
0
= N
0
(), so dass fr alle n N
0
und fr alle z C

f (z) f
n
(z)

<

L(C)
bzw.
max
zC

f (z) f
n
(z)



L(C)
gilt. Aus (2.85) ergibt sich dann (ii).
Zum Nachweis von (i) sei z
0
D beliebig und K
r
(z
0
) D wie oben. Wegen (ii) gilt dann
fr jede geschlossene, stckweise glatte, orientierte Kurve C in K
r
(z
0
)
_
C
f (z)dz = lim
n
_
C
f
n
(z)dz .
Da f
n
holomorph ist fr alle n N, verschwindet das letzte Integral fr jedes n, und der Satz
von Morera ergibt, dass f holomorph in K
r
(z
0
) ist. Da wir z
0
D beliebig gewhlt haben, folgt
(i), so dass Satz 2.30 bewiesen ist.
Die gliedweise Differentiation von Funktionenfolgen regelt
Satz 2.31:
Sei { f
n
} eine Folge auf einem Gebiet D holomorpher Funktionen. Ferner sei { f
n
} auf
jeder kompakten Teilmenge G von D gleichmig konvergent gegen f . Dann gilt fr
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 89
jede natrliche Zahl k
f
(k)
(z) = lim
n
f
(k)
n
(z) (2.86)
gleichmig auf jeder kompakten Teilmenge G von D.
Fig. 2.24: berdeckung von G
Beweis:
Sei G irgendeine kompakte Teilmenge von D. Da D offen ist, gilt G D = ( D: Rand von
D; : leere Menge). Nach Hilfssatz 1.1, Abschnitt 1.1.4, gibt es ein d > 0, so dass
|z w| d fr alle z G und alle w D
gilt. Die Mengen
Ud
2
(z) =
_
D| |z | <
d
2
, z G
_
bilden eine offene berdeckung von G. Da G kompakt ist, gibt es eine endliche Teilberdeckung
von G, d.h. es gibt endlich viele Punkte z
1
, . . . , z
m
G, so dass
G
m
_
j =1
Ud
2
(z
j
) . (2.87)
Nun setzen wir K
j
=
_
z D

|z z
j
| =
3
4
d
_
, j = 1, . . . , m. K
j
und In (K
j
) liegen im Holo-
morphiebereich D der Funktionen f
n
und damit nach Satz 2.30 auch im Holomorphiebereich von
f . Nun benutzen wir die Cauchysche Integralformel fr die k-te Ableitung von f (s. Satz 2.18,
90 2 Holomorphe Funktionen
Abschn. 2.2.3), wobei wir K
j
positiv orientieren:

f
(k)
(z) f
(k)
n
(z)

k!
2 i
_
K
j
f ( ) f
n
( )
( z)
k+1
d

, z Ud
2
(z
j
) .
Das letzte Integral schtzen wir mit Hilfe von Satz 2.11 ab und erhalten fr festes j :

f
(k)
(z) f
(k)
n
(z)


k!
2
L(K
j
) max
K
j
| f ( ) f
n
( )|
_
d
4
_
k1
3k!
_
d
4
_
k
max
K
j
| f ( ) f
n
( )| .
Da { f
n
} in jeder kompakten Teilmenge von D gleichmig gegen f konvergiert, K
j
eine kom-
pakte Teilmenge von D ist, gibt es zu jedem > 0 ein n
j
= n
j
() N, so dass fr alle n > n
j
und alle K
j
| f ( ) f
n
( )| <
_
3k!
_
d
4
_
k
_
1

gilt. Damit folgt fr alle n > n


j

f
(k)
(z) f
(k)
n
(z)

< fr alle z Ud
2
(z
j
) ( j = 1, . . . , m).
Setzen wir noch n
0
= max
j =1,...,m
n
j
, so erhalten wir

f
(k)
(z) f
(k)
n
(z)

<
fr alle n n
0
und alle z G (wir beachten (2.87)).
2.3.2 Reihen von Funktionen
Die Untersuchung einer Funktionenreihe
_

k=1
f
k
(z)
_
(2.88)
im Komplexen, kann wie im Reellen durch Betrachtung der Teilsummen von (2.88):
s
n
(z) :=
n

k=1
f
k
(z) (2.89)
auf Abschnitt 2.3.1 zurckgefhrt werden. Wir sagen, die Reihe (2.88) konvergiert punktweise
(bzw. gleichmig) auf einer Menge D C, falls die Folge {s
n
} der Teilsummen von (2.88)
auf D punktweise (bzw. gleichmig) konvergiert.
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 91
Das Cauchy-Konvergenzkriterium (s. Satz 2.29) gilt entsprechend auch fr Reihen von Funk-
tionen. Aus der reellen Analysis (s. Burg/Haf/Wille [12]) kann der Beweis des folgenden wich-
tigen Kriteriums zum Nachweis der gleichmigen Konvergenz einer Funktionenreihe direkt
bernommen werden:
Satz 2.32:
(Weierstrasssches Majorantenkriterium) Die Funktionen f
k
(k = 1,2, . . .) seien auf
einer Menge D C erklrt. Es gelte
(a) | f
k
(z)| M
k
fr alle k N und alle z D;
(b)
_

k=1
M
k
_
sei konvergent.
Dann folgt: Die Funktionenreihe
_

k=1
f
k
(z)
_
konvergiert gleichmig auf D.
Wir wenden uns nun der Betrachtung von Reihen von Funktionen zu, bei denen die Summanden
holomorphe Funktionen sind. Die bertragung der Vertauschungsstze aus Abschnitt 2.3.1 fhrt
zu
Satz 2.33:
Die Funktionen f
k
(k N) seien auf einem Gebiet D holomorph. Ferner sei die
Funktionenreihe
_

k=1
f
k
_
auf jeder kompakten Teilmenge G von D gleichmig
konvergent gegen f . Dann gilt:
(i) Die Funktion f ist holomorph in D.
(ii) Fr jede stckweise glatte, orientierte Kurve C in D gilt
_
C
f (z)dz =

k=1
_
C
f
k
(z)dz . (2.90)
(iii) Fr jede natrliche Zahl l gilt
f
(l)
(z) =

k=1
f
(l)
k
(z) , (2.91)
gleichmig auf jeder kompakten Teilmenge G von D.
2.3.3 Potenzreihen
Zwischen holomorphen Funktionen und Potenzreihen bestehen sehr enge Zusammenhnge, die
wir im Folgenden herausarbeiten wollen.
Wie im Reellen (s. Burg/Haf/Wille [12]) versteht man unter einer Potenzreihe eine spezielle
Funktionenreihe der Gestalt
_

k=0
a
k
(z z
0
)
k
_
. (2.92)
92 2 Holomorphe Funktionen
Die komplexen Zahlen a
k
(k = 0,1, . . .) sind die Koefzienten, z
0
Cist der Entwicklungspunkt
der Potenzreihe (2.92).
Die Resultate ber reelle Potenzreihen, die wir in Burg/Haf/Wille [12]gewonnen haben, lassen
sich unmittelbar auf den komplexen Fall bertragen; ebenso die entsprechenden Beweise. Es
ergibt sich
Fig. 2.25: Konvergenz- bzw. Divergenzbereich einer
Potenzreihe
Fig. 2.26: Bereich der gleichmigen Konvergenz
Satz 2.34:
Zu jeder Potenzreihe (2.92) gibt es ein mit 0 , den sogenannten Konver-
genzradius, so dass diese Potenzreihe
(i) absolut konvergiert im Kreisgebiet {z| |z z
0
| < };
(ii) gleichmig konvergiert auf {z| |z z
0
| r < fr alle r mit 0 < r < };
(iii) divergiert auf {z| |z z
0
| > }.
(s. Fig. 2.25 und 2.26). Der Konvergenzradius lsst sich aus den Koefzienten der
Potenzreihe mit der Formel
=
1
lim
k
k

|a
k
|
(2.93)
bzw., falls der folgende Grenzwert existiert, aus
=
1
lim
k

a
k+1
a
k

(2.94)
berechnen.
Bemerkung: Ist = 0, so konvergiert die Potenzreihe (2.92) nur im Punkt z
0
; ist = so
konvergiert (2.92) in ganz C.
Welcher Zusammenhang besteht nun eigentlich zu holomorphen Funktionen? Wir zeigen zu-
nchst
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 93
Satz 2.35:
Besitzt die Potenzreihe
_

k=0
a
k
(z z
0
)
k
_
einen von Null verschiedenen Konvergenzradius , so wird durch sie eine auf dem
Kreisgebiet {z

|z z
0
| < } holomorphe Funktion erklrt.
Beweis:
Nach Satz 2.34 (ii) ist
_

k=0
a
k
(z z
0
)
k
_
gleichmig konvergent auf {z| |z z
0
| r < } fr
alle r mit 0 < r < , also nach Satz 2.33 (i) dort holomorph. Da r beliebig ist mit 0 < r < ,
ergibt sich die Holomorphie auch in {z| |z z
0
| < }.
Hilfssatz 2.1:
Sei f die durch

k=0
a
k
(z z
0
)
k
denierte Funktion und sei > 0. Dann gilt in
{z| |z z
0
| < }
f
(n)
(z) =

k=n
a
k
k!
(k n)!
(z z
0
)
kn
.
Beweis:
Wegen Satz 2.33 (iii) drfen wir die Potenzreihe gliedweise differenzieren. Wir erhalten
f
(n)
(z) =

k=n
a
k
k(k 1) . . . (k n +1)(z z
0
)
kn
und mit
k(k 1) . . . (k n +1) =
k!
(k n)!
die Behauptung.
Wir zeigen nun, dass auch die Umkehrung von Satz 2.35 gilt:
Satz 2.36:
Jede in U

(z
0
) = {z| |z z
0
| < , 0 < } holomorphe Funktion f lsst sich
dort durch eine Potenzreihe darstellen:
f (z) =

k=0
a
k
(z z
0
)
k
(2.95)
94 2 Holomorphe Funktionen
Beweis:
Sei |z z
0
| r < r
0
< und K
r
0
(z
0
) = {z| |z z
0
| = r
0
}. Nach Satz 2.16, Abschnitt 2.2.3,
gilt bei positiver Orientierung von K
r
0
(z
0
)
f (z) =
1
2 i
_
K
r
0
(z
0
)
f ( )
z
d . (2.96)
Nun entwickeln wir den Integranden nach Potenzen von z z
0
: Fr | z
0
| = r
0
gilt
1
z
=
1
z
0
_
1
1
zz
0
z
0
_
=
1
z
0

k=0
_
z z
0
z
0
_
k
. (2.97)
Wegen

_
z z
0
z
0
_
k


_
r
r
0
_
k
< 1
konvergiert die geometrische Reihe
_

k=0
_
zz
0
z
0
_
k
_
nach Satz 2.32 gleichmig bezglich
auf dem Kreis | z
0
| = r
0
(und gleichmig bezglich z in |z z
0
| r). Nach Voraussetzung
ist f holomorph in U

(z
0
), also insbesondere stetig auf K
r
0
(z
0
). Daher ist f auf K
r
0
(z
0
) auch
beschrnkt. Dies ergibt zusammen mit unseren obigen berlegungen:
f ( )
z
=

k=0
f ( )
z
0
_
z z
0
z
0
_
k
=

k=0
f ( )
(z z
0
)
k
( z
0
)
k+1
,
wobei diese Reihe gleichmig bezglich fr | z
0
| = r
0
konvergiert. Nach Satz 2.33 (ii)
drfen wir in
f (z) =
1
2 i
_
K
r
0
(z
0
)
_

k=0
f ( )
(z z
0
)
k
( z
0
)
k+1
_
d
die Integration mit der Summation vertauschen, und wir erhalten
f (z) =

k=0
_

_
1
2 i
_
K
r
0
(z
0
)
f ( )
( z
0
)
k+1
d
_

_
(z z
0
)
k
,
also mit
a
k
=
1
2 i
_
K
r
0
(z
0
)
f ( )
( z
0
)
k+1
d (2.98)
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 95
die gewnschte Potenzreihenentwicklung
f (z) =

k=0
a
k
(z z
0
)
k
.
Die Koefzienten a
k
sind unabhngig davon, wie wir r
0
whlen (warum?). Ferner konvergiert
die Potenzreihe fr alle z mit |z z
0
| < , woraus sich die Behauptung von Satz 2.36 ergibt.
Bemerkung 1: Dieser Beweis unterstreicht erneut die Bedeutung der Cauchyschen Integralfor-
mel.
Bemerkung 2: Formel (2.98) im Beweis von Satz 2.36 ermglicht es uns, die Koefzienten a
k
der Potenzreihenentwicklung von f aus der Funktion f zu berechnen. Nehmen wir auerdem
noch Satz 2.18, Abschnitt 2.2.3, hinzu, so ergibt sich
a
k
=
f
(k)
(z
0
)
k!
, k = 0,1, . . . , (2.99)
d.h. die a
k
sind die Koefzienten der Taylorentwicklung von f um z
0
.
Wir lsen uns nun von dem speziellen Kreisgebiet U

(z
0
) in Satz 2.36 und beweisen
Satz 2.37:
Sei f eine im Gebiet D holomorphe Funktion. Dann lsst sich f um jeden Punkt
z
0
D in eine Taylorreihe
f (z) =

k=0
f
(k)
(z
0
)
k!
(z z
0
)
k
(2.100)
entwickeln, die in jedem Kreisgebiet um z
0
, das ganz in D liegt, konvergiert. Die
Darstellung (2.100) ist eindeutig.
Fig. 2.27: Zum Beweis von Satz 2.37
Beweis:
Sei der Abstand des Punktes z
0
vom Rand D von D. Dann ist U

(z
0
) = {z C| |z z
0
| < }
ganz in D enthalten (s. Fig. 2.27). Nach Satz 2.37 und Bemerkung 2 gilt daher (2.100) in U

(z
0
).
96 2 Holomorphe Funktionen
Wir haben noch die Eindeutigkeit dieser Darstellung zu zeigen: Hierzu nehmen wir an, f besitzt
eine weitere Darstellung durch eine Potenzreihe:
f (z) =

k=0
b
k
(z z
0
)
k
,
in einer Umgebung von z
0
. Nach Hilfssatz 2.1 gilt dann
f
(n)
(z) =

k=n
b
k
k!
(k n)!
(z z
0
)
kn
,
woraus fr z = z
0
und fr beliebige n N
0
f
(n)
(z
0
) = b
n
n!
folgt. Die b
n
sind also notwendig die Taylorkoefzienten von f .
Bemerkung: Jede holomorphe Funktion besitzt also nur eine Potenzreihenentwicklung: Die Tay-
lorentwicklung.
2.3.4 Charakterisierung holomorpher Funktionen
Aus den in den Abschnitten 2.1 bis 2.3 gewonnenen Resultaten ergeben sich vier verschiedene
Mglichkeiten, die Holomorphie einer Funktion zu erklren. Es gilt nmlich
Satz 2.38:
Sei D ein beliebiges Gebiet in C. Dann sind die folgenden Aussagen quivalent:
(a) f ist holomorph in D, d.h. f ist in D stetig differenzierbar;
(b) ist f (z) = f (x + i y) = u(x, y) + i v(x, y), so sind die Funktionen u und v in
D (als Gebiet im R
2
aufgefasst) stetig differenzierbar und gengen den Cauchy-
Riemannschen Differentialgleichungen
u
x
(x, y) = v
y
(x, y) , u
y
(x, y) = v
x
(x, y)
(c) ist G ein einfach zusammenhngendes Teilgebiet von D und C eine beliebige
geschlossene ganz in G verlaufende stckweise glatte Kurve, so gilt der Cauchy-
sche Integralsatz
_
C
f (z)dz = 0 ,
(d) f besitzt um jeden Punkt z
0
von D eine (eindeutig bestimmte) Potenzreihenent-
wicklung, deren Konvergenzradius positiv ist.
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 97
Der Beweis ergibt sich durch Kombination der Stze aus den vorausgehenden Abschnitten.
2.3.5 Analytische Fortsetzung
Ziel dieses Abschnittes ist es, die Grundideen der analytischen Fortsetzung von holomorphen
Funktionen, also der Erweiterung dieser Funktionen auf grere Holomorphiegebiete, zu ver-
deutlichen. Zunchst zeigen wir
Satz 2.39:
(Identittssatz fr holomorphe Funktionen) Die beiden Funktionen f und g seien im
Gebiet D holomorph. Ferner sei {z
n
} eine Folge von verschiedenen komplexen Zahlen
in D mit mindestens einem Hufungspunkt z
0
in D. Gilt auerdem
f (z
n
) = g(z
n
) fr alle n N,
so folgt
f (z) = g(z) fr alle z D.
Bemerkung: Dieser Satz hat eine interessante Konsequenz: Holomorphe Funktionen sind bereits
durch ihre Funktionswerte an unendlich vielen verschiedenen Punkten, die sich an mindestens
einem Punkt im Holomorphiegebiet hufen, eindeutig bestimmt. Diese Aussage ist weitergehend
als die in Abschnitt 2.2.3, III, gewonnene, wo wir gezeigt haben, dass holomorphe Funktionen
durch ihre Randwerte bestimmt sind. Insbesondere ist also eine in D holomorphe Funktion in
D eindeutig festgelegt, wenn sie in beliebig kleinen Umgebungen eines Punktes z D bekannt
ist.
Beweis:
Wir nehmen ohne Beschrnkung der Allgemeinheit an, dass die Folge {z
n
} gegen z
0
konvergiert
(sonst Verwendung einer gegen z
0
konvergenten Teilfolge). Setzen wir: h = f g, so folgt: Die
Funktion h ist holomorph in D, und es gilt h(z
n
) = 0 fr alle n N. Nach Satz 2.36 gibt es dann
ein > 0, so dass U

(z
0
) D ist und h sich in U

(z
0
) durch eine Potenzreihe darstellen lsst
h(z) =

k=0
a
k
(z z
0
)
k
.
Aus der Stetigkeit von h in z
0
folgt, da h(z
n
) = 0 fr alle n N ist,
a
0
= h(z
0
) = lim
n
h(z
n
) = 0
d.h.
h(z) =

k=1
a
k
(z z
0
)
k
.
98 2 Holomorphe Funktionen
Durch gliedweise Differentiation dieser Reihe (nach Satz 2.33 (iii), Abschn. 2.3.2, erlaubt!) ge-
winnen wir
h

(z) = a
1
+2a
2
(z z
0
) +. . .
und hieraus, da h(z
0
) = 0, h(z
n
) = 0 fr alle n N und h

stetig in z
0
ist,
h

(z
0
) = a
1
= lim
n
h(z
n
) h(z
0
)
z
n
z
0
= 0 .
Mittels vollstndiger Induktion erhalten wir so a
k
= 0 fr alle k N und damit
h(z) = 0 in U

(z
0
) bzw. f (z) = g(z) in U

(z
0
).
Fig. 2.28: Kreiskettenverfahren
Sei nun z D beliebig. Wir zeigen: f (z) = g(z). Hierzu benutzen wir das Kreiskettenver-
fahren aus dem Beweis von Satz 2.21, Abschnitt 2.2.5: Demnach gibt es endlich viele Punkte

0
=z
0
,
1
, . . . ,
m
= z und Kreisgebiete U
d
(
0
), U
d
(
1
), . . . , U
d
(
m
) mit
U
d
(
i
) D (i = 0,1, . . . , m) ,
i
U
d
(
i 1
) (i = 1, . . . , m) .
Da
1
innerer Punkt von U
d
(
0
) ist, gilt insbesondere f (z) = g(z) in einer Umgebung von
1
.
Nun knnen wir den obigen ersten Beweisschritt erneut anwenden und erhalten f (z) = g(z) in
U
d
(
1
) und nach m-facher Wiederholung f (z) = g(z) in U
d
(
m
), woraus sich insbesondere
f (
m
) = g(
m
) ergibt. Wegen
m
= z ist dies die Behauptung.
Bemerkung: Ist der Punkt z
0
in Satz 2.39 ein Randpunkt von D, so gilt die Aussage dieses
Satzes im Allgemeinen nicht. Nehmen wir z.B. fr D das Gebiet C {0} und whlen wir
f (z) = sin
1
z
, g(z) = 0 .
Mit z
0
= 0 D erhalten wir dann fr die Folge {z
n
} mit z
n
=
1
n
: z
n
z
0
= 0 fr n
und f (z
n
) = g(z
n
). Dennoch ist f g in D.
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 99
Eine andere Fassung des Identittssatzes, die nur die Funktionen und smtliche Ableitungen
dieser Funktionen an einer Stelle heranzieht, ist gegeben durch
Satz 2.40:
Die Funktionen f und g seien im Gebiet D holomorph. Ferner gelte in einem Punkt
z
0
D
f
(k)
(z
0
) = g
(k)
(z
0
) fr k = 0,1, . . . . (2.101)
Dann gilt
f (z) = g(z) fr alle z D . (2.102)
Beweis:
Da z
0
innerer Punkt von D ist, gibt es nach Satz 2.37, Abschnitt 2.3.3, eine Umgebung von z
0
,
in der sich f und g durch Taylorentwicklungen darstellen lassen:
f (z) =

k=0
f
(k)
(z
0
)
k!
(z z
0
)
k
bzw.
g(z) =

k=0
g
(k)
(z
0
)
k!
(z z
0
)
k
.
Wegen (2.101) stimmen diese Reihen dort und daher nach Satz 2.39 in ganz D berein. Damit
sind die Funktionen f und g in D identisch.
Der Identittssatz liefert uns die Mglichkeit, das Nullstellenverhalten von holomorphen
Funktionen besser zu verstehen. Wir wenden uns nun diesem Anliegen zu:
Denition 2.5:
Die Funktion f sei holomorph im Punkt z
0
(d.h. stetig differenzierbar in einer Umge-
bung von z
0
!). Der Punkt z
0
heit Nullstelle der Ordnung m der Funktion f , falls es
eine in z
0
holomorphe Funktion g gibt, mit g(z
0
) = 0 und
f (z) = (z z
0
)
m
g(z) . (2.103)
Es gilt dann
Satz 2.41:
Die Funktion f sei im Punkt z
0
holomorph. Der Punkt z
0
ist eine Nullstelle der Ord-
nung m von f genau dann, falls
f (z
0
) = f

(z
0
) = . . . = f
(m1)
(z
0
) = 0 und f
(m)
(z
0
) = 0
erfllt ist.
100 2 Holomorphe Funktionen
Beweis:
Die eine Richtung ist trivial (Produktregel), die andere folgt aus der Potenzreihenentwicklung
von f .
Satz 2.42:
(Isoliertheit der Nullstellen und ihre Ordnung) Die Funktion f sei holomorph im
Kreisgebiet K

(z
0
) = {z| |z z
0
| < }, nicht identisch Null und erflle f (z
0
) = 0.
Dann gilt
(a) Es gibt eine natrliche Zahl m mit
f (z
0
) = f

(z
0
) = . . . = f
(m1)
(z
0
) = 0 und f
(m)
(z
0
) = 0
(d.h. z
0
ist eine Nullstelle der Ordnung m von f ).
(b) Es gibt ein r
0
(0, ] mit
f (z) = 0 in 0 < |z z
0
| < r
0
(d.h. die Nullstelle z
0
von f ist isoliert.)
Fig. 2.29: Isoliertheit der Nullstellen
Beweis:
(1) Aus der Holomorphie von f in K

(z
0
) folgt mit Satz 2.37, Abschnitt 2.3.3,
f (z) =

k=0
a
k
(z z
0
)
k
in K

(z
0
),
mit a
k
=
f
(k)
(z
0
)
k!
. Wegen a
0
= f (z
0
) = 0 gibt es, da f nicht identisch verschwindet, eine
kleinste natrliche Zahl m, so dass a
m
= 0, also f
(m)
(z
0
) = 0 ist.
(2) Nach dem Identittssatz (Satz 2.39) kann z
0
nicht Hufungspunkt von Nullstellen von f
sein. Es gibt daher ein r
0
(0, ] mit
f (z) = 0 fr alle z mit 0 < |z z
0
| < r
0
.

2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 101


Der Identittssatz erschliet uns noch eine weitere wichtige Thematik: Die Frage nach der
Fortsetzbarkeit
(i) von reellen Funktionen ins Komplexe;
(ii) von komplexen Funktionen auf grere Gebiete.
Zu (i): Wir erinnern an Abschnitt 1.2.3, wo wir einige elementare Funktionen (e
z
, sin z usw.)
ausgehend von ihren reellen Reihendarstellungen mit Hilfe der entsprechenden komplexen Reihe
eingefhrt haben.
Dabei blieb die Frage offen, ob diese Erweiterungen eindeutig sind. Wir wollen unser Anlie-
gen przisieren. Hierzu fhren wir die folgende Begriffsbildung ein (s. auch Fig. 2.30):
Denition 2.6:
Die reellwertige Funktion f sei auf dem offenen Intervall I R erklrt. Ferner sei F
eine auf einem Gebiet D C holomorphe Funktion. Gilt dann I D und
F(x) = f (x) , fr alle x I , (2.104)
so heit F holomorphe Ergnzung von f auf D.
Fig. 2.30: Holomorphe Ergnzung auf D
Aus Satz 2.39 (Identittssatz) ergibt sich unmittelbar
Satz 2.43:
Es gibt hchstens eine holomorphe Ergnzung F von f auf D I .
Damit ist unsere Vorgehensweise bei der Einfhrung der elementaren Funktionen e
z
, sin z, cos z
(s. Abschn. 1.2.3) voll legitimiert: Fr
f (x) = e
x
=

k=0
x
k
k!
, x R ist F(z) =

k=0
z
k
k!
, z C
102 2 Holomorphe Funktionen
die (eindeutig bestimmte) holomorphe Ergnzung von f auf D = C; entsprechend fr
f (x) = sin x =

k=0
(1)
k
(2k +1)!
x
2k+1
, x R
die Funktion
F(z) = sin z =

k=0
(1)
k
(2k +1)!
z
2k+1
, z C
und fr
f (x) = cos x =

k=0
(1)
k
(2k)!
x
2k
, x R
die Funktion
F(z) = cos z =

k=0
(1)
k
(2k)!
z
2k
, z C.
Zu (ii): Wir lassen jetzt anstelle des offenen Intervalls I R allgemein ein Gebiet D C zu
und behandeln die Frage, ob sich eine in D holomorphe Funktion f zu einer in einem greren
Gebiet

D D holomorphen Funktion fortsetzen lsst.
Denition 2.7:
Es seien D
1
und D
2
zwei Gebiete mit D
1
D
2
= (D
1
D
2
oder D
2
D
1
ist
zugelassen). Die Funktion f
1
sei holomorph auf D
1
, die Funktion f
2
holomorph auf
D
2
. Gilt dann
f
1
(z) = f
2
(z) auf D
1
D
2
,
so heit f
1
analytische Fortsetzung von f
2
auf D
1
(bzw. f
2
analytische Fortsetzung
von f
1
auf D
2
).
Fig. 2.31: Analytische Fortsetzung auf D
1
bzw. D
2
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 103
Insbesondere ist die holomorphe Ergnzung einer Funktion (im Sinne von Def. 2.6) auch analy-
tische Fortsetzung dieser Funktion (D
1
= I R).
Beispiel 2.13:
Es seien
f
1
(z) =
1
1 z
und D
1
= C {1} ;
f
2
(z) =

k=0
z
k
und D
2
= {z| |z| < 1} .
Dann gilt auf D
1
D
2
: f
1
= f
2
. Daher ist f
1
eine analytische Fortsetzung von f
2
auf D
1
. Wir
zeigen jetzt
Satz 2.44:
Seien D
1
und D
2
Gebiete mit D
1
D
2
= und sei f eine auf D
1
holomorphe
Funktion. Ist dann F eine analytische Fortsetzung von f auf D
2
, so ist sie eindeutig
bestimmt.
Beweis:
Seien F
1
und F
2
zwei analytische Fortsetzungen von f auf D
2
. Wir setzen dann

F := F
1
F
2
.
Die Funktion

F ist holomorph auf D
2
, und es gilt

F(z) = F
1
(z) F
2
(z) = f (z) f (z) = 0
fr alle z D
1
D
2
. Nach Satz 2.39 (Identittssatz) gilt daher

F = 0 auf D
2
, d.h. F
1
= F
2
auf
D
2
.
Analytische Fortsetzung der Logarithmus-Funktion
Um einige mit Fortsetzungsfragen zusammenhngende Probleme aufzuzeigen, greifen wir eine
konkrete Situation auf: Wir wenden uns erneut der Logarithmus-Funktion zu, die wir schon in
Abschnitt 2.1.4 kennengelernt haben. Wir wollen die Fortsetzbarkeit der Funktion ln x, x > 0,
untersuchen. Der naheliegendste Weg der Erweiterung besteht in der Verwendung der Potenzrei-
henentwicklung dieser Funktion. Wegen
ln x = ln
_
x
0
_
1 +
x x
0
x
0
__
= ln x
0
+ln
_
1 +
x x
0
x
0
_
gewinnen wir die Potenzreihendarstellung von ln x um einen Punkt x
0
(x
0
> 0), indem wir
ln
_
1 +
xx
0
x
0
_
in eine Potenzreihe entwickeln (s. hierzu Burg/Haf/Wille [12]). Dadurch ergibt
104 2 Holomorphe Funktionen
sich
ln x = ln x
0
+

k=1
(1)
k+1
k
_
x x
0
x
0
_
k
= ln x
0
+

k=1
(1)
k+1
kx
k
0
(x x
0
)
k
. (2.105)
Die Reihe in (2.105) besitzt den Konvergenzradius x
0
(Konvergenz liegt ja fr

xx
0
x
0

< 1, also
fr |x x
0
| < x
0
vor!). Die holomorphe Ergnzung von ln x auf das Kreisgebiet {z| |zx
0
| < x
0
}
ist durch
F(z) = ln x
0
+

k=1
(1)
k+1
kx
k
0
(z x
0
)
k
, |z x
0
| < x
0
(2.106)
gegeben. Dieses Resultat ist noch unbefriedigend. Bei der stetigen Fortsetzung von Funktionen
mchte man zu mglichst groen Gebieten D gelangen. Zur Realisierung dieses Anliegens fr
die Logarithmus-Funktion gehen wir jetzt von der Integraldarstellung
ln x =
x
_
1
dt
t
(2.107)
aus. Fr D whlen wir die lngs der negativen reellen Achse aufgeschnittene z-Ebene:

D =
C {x R

x 0} (vgl. Abschn. 2.1.4, Fig. 2.6). Nun setzen wir

F(z) =
z
_
1
d

, z

D . (2.108)
Ist der Integrationsweg C in (2.108) ganz in

D enthalten, so hngt der Wert des Integrals nur von
z, nicht aber von C, ab. Ferner gilt:

F ist holomorph in

D (der Nullpunkt gehrt nicht zu

D!) und
erfllt

F

(z) = 1/z. Ist I R


+
ein beliebiges, offenes Intervall, so folgt wegen

F(x) = ln x fr
x I , dass

F die holomorphe Ergnzung von ln x auf

D ist. Da die Funktionen F (s. (2.106))
und

F fr x > 0 bereinstimmen, stimmen sie nach dem Identittssatz auch im Kreisgebiet
{z| |z x
0
| < x
0
} berein, d.h.

F ist die analytische Fortsetzung von F auf

D.
Wir wollen das Integral in (2.108) berechnen. Hierzu whlen wir den in Figur 2.32 skizzierten
(bequemen) Integrationsweg. Mit der Parameterdarstellung fr C

:
= |z| e
i t
, 0 t
ergibt sich

F(z) =
_
C

+
_
C

=
|z|
_
1
dt
t
+i

_
0
dt = ln |z| +i = ln |z| +i Arg z , z

D .
Bei berquerung der negativen reellen Achse springt

F um 2 i (warum?).

F kann also nicht
2.3 Erzeugung holomorpher Funktionen durch Grenzprozesse 105
Fig. 2.32: Integrationsweg fr
_
z
1
d

stetig und damit auch nicht analytisch auf die punktierte Ebene C \ {0} fortgesetzt werden.
Wir haben bei unseren bisherigen berlegungen das Gebiet

D ziemlich willkrlich gewhlt.
Ebenso htten wir auch das Gebiet D

= C{i y|y 0}, also die lngs der negativen imaginren


Achse aufgeschnittene z-Ebene, verwenden knnen. Falls z in der oberen Halbebene oder im 4.
Quadranten liegt, lsst sich derselbe Integrationsweg fr die Gebiete

D und D

benutzen, und
wir erhalten entsprechend die analytische Fortsetzung F

von ln x auf das Gebiet D

. Liegt z
jedoch im 3. Quadranten {z| Re z < 0, Imz < 0}, so mssen wir zur Berechnung von

F(z) und
F

(z) unterschiedliche Integrationswege benutzen.


Fig. 2.33: Zur Berechnung von

F(z) bzw. F

(z)
Um ein berqueren der herausgenommenen Halbgeraden zu vermeiden, orientieren wir die
Integrationswege fr

F und F

in diesem Fall gem Figur 2.33, also unterschiedlich. Beach-


ten wir noch, dass in der Polarkoordinatendarstellung von z das Argument von z nur bis auf
106 2 Holomorphe Funktionen
ganzzahlige Vielfache von 2 bestimmt ist:
z = |z| e
i arg
k
z
mit 2k < arg
k
z 2k + ,
(k Z; arg
0
z = Arg z : Hauptargument)
so ergibt sich fr die Fortsetzung F

von ln x
F

(z) =
_

_
ln |z| +i Arg z , falls

2
< Arg z
ln |z| +i arg
1
z , falls < Arg z <

2
.
Insgesamt erhalten wir
F

(z)

F(z) = 2 i , (2.109)
wenn < Arg z < /2 ist. Fr alle z, die im 3. Quadranten liegen, fhrt die analyti-
sche Fortsetzung der Logarithmus-Funktion ln x auf die Gebiete

D und D

zu unterschiedlichen
Werten

F(z) und F

(z). Zusammen mit unseren berlegungen aus Abschnitt 2.1.4, (Teil (ii))
erhalten wir: Die dort betrachteten Zweige log
k
z lassen sich durch analytische Fortsetzung inein-
ander berfhren: log
k
z entsteht aus log
0
z bei |k|-fachem Umlauf um den Nullpunkt (positive
Orientierung fr k > 0, negative fr k < 0), und zu einer einzigen mehrdeutigen Funktion log z
auf der Riemannschen Flche R zusammenfassen; log z ist die analytische Fortsetzung von ln x,
x > 0, auf R.
Weitere Beispiele fr die analytische Fortsetzung von Funktionen lernen wir im Zusammen-
hang mit der Eulerschen Gammafunktion (s. Abschn. 3.2.3, (b)) und mit der Besselschen Diffe-
rentialgleichung (s. Abschn. 5) kennen.
bungen
bung 2.18*:
Zeige, dass die Funktion
f (z) :=

k=1
z
k
1 + z
2k
im Inneren und im ueren des Einheitskreises holomorph ist.
bung 2.19*:
Gegeben sei die Funktion
(z) :=

k=1
k
z
, z D := {z C| Re z > 1} (Riemannsche Zeta-Funktion) .
a) Zeige: ist holomorph in D.
b) Leite eine Reihendarstellung fr die p-te Ableitung von (z) in D her.
2.4 Asymptotische Abschtzungen 107
bung 2.20:
Entwickle die Funktionen
f (z) =
1
z
, g(z) =
1
(z )
2
, h(z) =
1
(z )
3
in Potenzreihen um z
0
mit z
0
= . Welche Ausdrcke ergeben sich bei hheren Potenzen von
1
z
? (Hinweis: Beachte f

(z) = g(z) usw., sowie Hilfssatz 2.1, Abschnitt 2.3.3).


bung 2.21*:
Entwickle die folgenden Funktionen in Potenzreihen um die angegebenen Punkte z
0
:
a) f (z) =
1
(z 1)
2
(z 2)
, z
0
= 0 ; b) f (z) =
e
z
1 z
, z
0
= 0 ;
c) f (z) = e
z
, z
0
= i ; d) f (z) = e
z
sin z , z
0
= 0 ;
e) f (z) =
2 i +3z
1 + z
, z
0
= i .
bung 2.22*:
Bestimme die maximalen analytischen Fortsetzungen der Funktionen
a) f
1
(z) :=

k=0
(1)
k
z
2k
, |z| < 1 ; b) f
2
(z) :=

_
0
e
zt
dt , Re z > 0 .
2.4 Asymptotische Abschtzungen
In zahlreichen Anwendungssituationen ist man am Verhalten von Funktionen f (z) bei groen
(bzw. kleinen) Argumenten z interessiert, also an Informationen ber das asymptotische Verhal-
ten dieser Funktionen. Solche Probleme treten z.B. im Zusammenhang mit stationren Systemen
auf (s. [35], Kap. VI, Nr. 86 - 87). Auch ist es von Interesse, fr die Lsungen gewisser Diffe-
rentialgleichungen (z.B. der Besselschen Differentialgleichung) asymptotische Darstellungen zu
besitzen (etwa fr die Hankel- und Besselfunktionen, s. Abschn. 5.2.3). Aktuelle Anwendungen
hierfr ergeben sich bei der Untersuchung von Resonanzphnomenen in akustischen und elektro-
magnetischen Wellenleitern. Wir verweisen auf Arbeiten von P. Werner [49], [50].
Wir wollen im Folgenden zeigen, wie sich funktionentheoretische Methoden zur Gewinnung
von asymptotischen Formeln bei groen Argumenten heranziehen lassen.
2.4.1 Asymptotische Entwicklungen
Die Grundidee bei asymptotischen Untersuchungen besteht darin, die entsprechenden Funktio-
nen durch solche von einfacherer Bauart zu ersetzen. Dabei sollen die wesentlichen Eigen-
schaften der ursprnglichen Funktion nicht verloren gehen, wenn die Argumente dieser Funktion
gro sind.
108 2 Holomorphe Funktionen
Wir przisieren dies und fhren hierzu den Begriff der asymptotischen Entwicklung einer
Funktion ein. Dazu betrachten wir eine Reihendarstellung der Form
s(z) = a
0
+
a
1
z
+
a
2
z
2
+. . . . (2.110)
Die Summe der ersten (n +1) Glieder der Reihe (2.110) bezeichnen wir mit s
n
(z):
s
n
(z) = a
0
+
a
1
z
+. . . +
a
n
z
n
. (2.111)
Fig. 2.34: Winkelbereich W
,
Denition 2.8:
Sei f eine vorgegebene Funktion, n N
0
beliebig und z aus dem Winkelbereich
W
,
:= {z| arg z [, ]} (s. Fig 2.34).
Gilt dann

z
n
_
f (z) s
n
(z)
_

0 fr z , z W
,
, (2.112)
so nennt man die Reihe in (2.110) asymptotische Entwicklung von f nach Potenzen
von 1/z im Winkelbereich W
,
und schreibt: f (z) s(z).
Bemerkung: Mit dem Landau-Symbol
15
o lsst sich (2.112) auch in der Form
f (z) s
n
(z) = o
_
1
z
n
_
fr z in W
,
(2.113)
schreiben.
15 Die Landau-Symbole o und O sind wie folgt erklrt: f (z) = o(g(z)) fr z bedeutet:
f (z)
g(z)
0 fr z ;
f (z) = O(g(z)) fr z bedeutet:
f (z)
g(z)
K = 0 fr z .
2.4 Asymptotische Abschtzungen 109
Falls es eine asymptotische Entwicklung von f in W
,
gibt, so ist diese eindeutig bestimmt:
Aus (2.112) folgt nmlich fr n = 0: f (z) a
0
0 fr z und daher
a
0
= lim
z
f (z) .
n = 1: z
_
f (z) a
0

a
1
z
_
0 fr z und daher
a
1
= lim
z
z
_
f (z) a
0
_
und allgemein fr beliebige n N
0
:
a
n
= lim
z
z
n
_
f (z) s
n1
(z)
_
(vollstndige Induktion!).
Fr die Summe f + g und das Produkt f g von asymptotischen Entwicklungen
f (z)

n=0
a
n
z
n
, g(z)

n=0
b
n
z
n
bestehen die Beziehungen
f (z) + g(z)

n=0
a
n
+b
n
z
n
bzw.
f (z) g(z)

n=0
a
0
b
n
+a
1
b
n1
+. . . +a
n
b
0
z
n
(s. b. 2.23).
Beispiel 2.14:
Das Gausche Fehlerintegral ist durch
2

z
_
0
e

2
d =: erf z (2.114)
(erf: Abkrzung fr error function) deniert. Diese Funktion stellt eine in ganz C holomorphe
Funktion dar, fr die
erf z =
2

n=0
(1)
n
n!
z
2n+1
2n +1
, z C
110 2 Holomorphe Funktionen
gilt (s. b. 2.24). Wir wollen eine asymptotische Darstellung fr erf z fr den Fall z = x > 0
herleiten. Hierzu betrachten wir die durch
f (x) :=

_
x
e
x
2
t
2
dt
erklrte Funktion f . Diese lsst sich auch in der Form
f (x) =
1
2

_
x
1
t
d
_
e
x
2
t
2
_
dt
dt
darstellen. Mittels partieller Integration (wir beachten das Konvergenzverhalten dieses uneigent-
lichen Integrals!) erhalten wir
f (x) =
1
2x

1
2

_
x
1
t
2
e
x
2
t
2
dt
und durch entsprechende Wiederholungen
f (x) =
1
2x

1
2
2
x
3
+
1 3
2
3
x
5
. . . (1)
n1
1 3 . . . (2n 3)
2
n
x
2n1
+(1)
n
1 3 . . . (2n 1)
2
n

_
x
1
t
2n
e
x
2
t
2
dt .
Das letzte Integral lsst sich wie folgt abschtzen: Aus
0 <

_
x
1
t
2n
e
x
2
t
2
dt =
1
2

_
x
1
t
2n+1
d
_
e
x
2
t
2
_
dt
dt =
1
2x
2n+1

2n +1
2

_
x
1
t
2n+2
e
x
2
t
2
dt
ergibt sich

_
x
1
t
2n
e
x
2
t
2
dt <
1
2x
2n+1
.
Mit
s
2n1
(x) =
1
2x

1
2
2
x
3
. . . (1)
n1
1 3 5 . . . (2n 3)
2
n
x
2n1
gewinnen wir daher die Abschtzung
2.4 Asymptotische Abschtzungen 111

x
2n1
_
f (x) s
2n1
(x)
_

x
2n1
1 3 . . . (2n 1)
2
n

_
x
1
t
2n
e
x
2
t
2
dt

x
2n1
1 3 . . . (2n 1)
2
n+1
x
2n+1
=
1 3 . . . (2n 1)
2
n+1
1
x
2
0 fr x .
Damit ist mit Denition 2.8

_
x
e
x
2
t
2
dt
1
2x

1
2
2
x
3
+
1 3
2
3
x
5
. . . .
Wegen

_
0
e
t
2
dt =

2
(s. Burg/Haf/Wille [12]) folgt

_
0
e
x
2
t
2
dt = e
x
2

2
,
und wir erhalten
x
_
0
e
x
2
t
2
dt = e
x
2

_
x
e
x
2
t
2
dt e
x
2

2

1
2x
+
1
2
2
x
3

1 3
2
3
x
5
. . . .
Insgesamt ergibt sich die asymptotische Entwicklung
erf x =
2

x
_
0
e
t
2
dt 1
2 e
x
2

_
1
2x

1
2
2
x
3
. . .
_
oder
erf x = 1
e
x
2

x
_
1 +O
_
1
x
2
__
fr x (2.115)
Bemerkung: Wir weisen darauf hin, dass
s(z) = a
0
+
a
1
z
+
a
2
z
2
+. . .
112 2 Holomorphe Funktionen
durchaus eine asymptotische Entwicklung von verschiedenen Funktionen f, g sein kann:
f s und g s ( f g) .
Das folgende Beispiel verdeutlicht dies: Sei f (x) 0 und g(x) = e
x
, x > 0. Fr alle n N
0
ist dann s(x) 0 die asymptotische Entwicklung von f und g (wir beachten x
n
e
x
0 fr
x ).
2.4.2 Die Sattelpunktmethode
Hug ist die zu entwickelnde Funktion f von der Form
f (z) =
_
C
e
zg( )
d , (2.116)
Fig. 2.35: Integrationsweg bei der Sattelpunktmethode
wobei der Integrationsweg C etwa die orientierte Verbindungskurve von zwei Punkten z
1
und
z
2
aus

C ist (s. Fig. 2.35). In diesem Fall bietet sich die sogenannte Sattelpunktmethode (oder
Methode des steilsten Abstiegs) zur asymptotischen Auswertung von f an. Fr den Fall, dass z
auf der positiven reellen Achse gegen strebt, liegt dem Verfahren die folgende Idee zugrunde:
Ist g so beschaffen, dass Re g( ) gegen strebt, wenn sich den beiden Enden z
1
, z
2
der
Kurve C nhert, so wird fr groe positive z der Einuss der Kurvenendstcke gering. Man be-
mht sich daher nun, den Integrationsweg C unter Verwendung des Cauchyschen Integralsatzes
(Wegunabhngigkeit des Integrals bei holomorphen Funktionen!) so zu verformen (s. Fig. 2.35),
dass nur ein kleines Teilstck des neuen Integrationsweges

C fr den Wert des Integrals (2.116)
von Bedeutung ist. Dabei wird

C zweckmig so gewhlt, dass Re g( ) mglichst schnell abfllt,
wenn man sich von einemWert
0
entfernt, fr den Re g( )maximal wird.
16
Wir nehmen an, dass
es solch ein
0
gibt. Um zu erkennen wie

C verlaufen soll, stellen wir Re g( ), = u + i v, als
Flche F ber der u, v-Ebene dar.
16 Wir beachten: | e
zg( )
| = e
x Re g( )
fr z = x > 0.
2.4 Asymptotische Abschtzungen 113
Die Kurven mit steilstem Abfall sind die Orthogonaltrajektorien der Hhenlinien
Re g( ) = const
(warum?), also nach Satz 2.9, Abschnitt 2.1.5, durch die Kurven
Img( ) = const
gegeben (Holomorphie von g vorausgesetzt). Ist nun insbesondere
0
ein Sattelpunkt
17
von F, so
whlen wir den neuen Integrationsweg

C so, dass dieser in einer Umgebung von
0
die durch
0
verlaufende Kurve Img( ) = const enthlt (s. Fig. 2.35). Bei mehreren Sattelpunkten versucht
man entsprechend,

C aus mehreren solchen Teilstcken zusammenzusetzen, um auf diese Weise
das gewnschte Ziel zu erreichen.
Wie gelangen wir zu Sattelpunkten von Re g( )? Bilden wir in einem Sattelpunkt die Ablei-
tung der Funktionen Re g( ) und Img( ) lngs der Kurve
Img( ) = const ,
so besitzen diese den Wert Null. Daher verschwindet dort auch g

( ) (s. Satz 2.3, Abschn. 2.1.3),


d.h.:
Die Sattelpunkte sind in der Menge der Nullstellen der Funktion g

enthalten.
Diese Nullstellen gilt es also zu bestimmen. Wir verdeutlichen die Vorgehensweise anhand von
Beispiel 2.15:
Wir betrachten die durch

_
C
1
e
i z sin +i
d =: H
1

(z)

_
C
2
e
i z sin +i
d =: H
2

(z)
(2.117)
erklrten Funktionen
18
H
1

(z), H
2

(z), und z aus C, mit den durch Figur 2.36 dargestellten


Integrationswegen C
1
und C
2
.
Unser Ziel ist es, asymptotische Formeln fr H
1

(z) und H
2

(z) bei groen Argumenten z =


x > 0 zu gewinnen. Wir nehmen dabei an, dass x > ist und betrachten das erste Integral in
(2.117). Mit der Substitution /x =: cos , 0 < < /2 geht dieses in das Integral
_
C
1
e
x(i sin +i cos )
d (2.118)
17 zu Sattelchen s. auch Burg/Haf/Wille [12].
18 Man nennt sie Hankelsche Funktionen (s. Abschn. 5.1.2).
114 2 Holomorphe Funktionen
Fig. 2.36: Integrationswege fr die Funktionen H
1

und H
2

ber, ist also von der oben diskutierten Form


_
C
1
e
xg( )
d ,
wenn wir g( ) := i sin +i cos setzen. Durch Zerlegung von g in Real- und Imaginrteil
folgt mit = u +i v und (1.48), Abschnitt 1.2.3,
g( ) = (cos u sinh v v cos ) +i(sin u cosh v +u cos ) . (2.119)
Die bentigten Sattelpunkte gewinnen wir aus der Beziehung
g

( ) = i cos +i cos = 0 ,
also aus der Gleichung cos = cos zu
= , 0 < <

2
. (2.120)
Die Begrndung dafr, dass diese beiden Punkte tatschlich Sattelpunkte sind, berlassen wir
dem Leser. Nach unseren obigen berlegungen bentigen wir jetzt die durch
Img( ) = sin u cosh v +u cos = const (2.121)
gegebenen Kurven. Insbesondere gengen die Kurven, die durch die Sattelpunkte = u +i v =
fhren, den Gleichungen
sin u cosh v +u cos = sin() cosh 0 cos
2.4 Asymptotische Abschtzungen 115
also
cosh v = cos
u
sin u

sin cos
sin u
. (2.122)
Fig. 2.37: Kurven mit Img( ) = const durch die Sattelpunkte
Es ergeben sich die in Figur 2.37 dargestellten Kurven, die jeweils aus zwei Zweigen durch
die Sattelpunkte bestehen. Im nchsten Schritt denken wir uns den Integrationsweg C
1
unseres
ursprnglichen Integrals (2.117) (s. Fig. 2.36) in die Form

C
1
gem Figur 2.37 deformiert;

C
1
wird durch
cosh v = cos
u
sin u

sin cos
sin u
(2.123)
beschrieben. Nach dem Cauchyschen Integralsatz ndert sich der Wert dieses Integrals dabei
nicht. (Wir beachten die Holomorphie von g in ganz C. Die Deformation von C
1
in einer beliebig
kleinen Umgebung von Re = bzw. von Re = 0 liefert nur einen beliebig kleinen Beitrag
fr das Integral!) Es gilt also
_
C
1
e
x(i sin +i cos )
d =
_

C
1
e
x(i sin +i cos )
d . (2.124)
Bei Annherung von = u +i v an den Anfangs- bzw. Endpunkt von

C
1
strebt
Re g( ) = cos u sinh v v cos
gegen , da aus (2.123) fr den gewhlten Zweig

C
1
folgt: v + fr u +() bzw.
v fr u 0. Das (einzige) Maximum von Re g( ) auf

C
1
wird an der Stelle =
angenommen (warum?). Der Winkel, den die Tangente an diesen Zweig durch = mit der
116 2 Holomorphe Funktionen
positiven v-Achse einschliet, ist = 3/4. In der Umgebung von = erwarten wir nun
den entscheidenden Anteil des Integrationsweges.
Fig. 2.38: Vereinfachung des Integrationsweges
Zur Abschtzung unseres ber

C
1
gebildeten Integrals ersetzen wir in einer Umgebung des
Sattelpunktes = das Kurvenstck von

C
1
durch das Tangentenstck

C
t
durch den Sattel-
punkt und durch die beiden Verbindungsstcke gem Figur 2.38. Der Wert des Integrals ndert
sich dabei nach dem Cauchyschen Integralsatz nicht. Nun untersuchen wir den Beitrag des Tan-
gentenstckes

C
t
: Mit
g() = i sin i cos , g

() = 0 , g

() = i sin
liefert die Taylorentwicklung von g um = fr

C
t
und 0:
g( ) = g() + g

()( ()) +
g

()
2!
( ())
2
+O(
3
)
19
= i sin i cos
i
2
sin ( +)
2
+O(
3
) .
Verwenden wir noch die Beziehungen
e
y
= 1 +O(y) fr y 0
und
e
xO(
3
)
= 1 +O(x
3
) fr 0,
so folgt
_

C
t
e
xg( )
d = e
i x(sin cos )
+ e
i 3/4
_
e
i 3/4
e

i x
2
sin ( +)
2
d (1 +O(x
3
)) . (2.125)
19 O bezeichnet das in Abschnitt 2.4.1 erklrte Landau-Symbol.
2.4 Asymptotische Abschtzungen 117
Mit der Substitution
:=
_
x sin
2
e
i
3
4
( +) (2.126)
bzw. mit

2
=
x sin
2
e
i
3
2
( +)
2
=
i x
2
sin ( +)
2
und
d =
_
x sin
2
e
i
3
4
d
ergibt sich fr das Integral auf der rechten Seite von (2.125) der Ausdruck
e
i
3
4
_
2
x sin
+
_
x sin
2
_

_
x sin
2
e

2
d . (2.127)
Setzen wir schlielich := x
2/5
, so geht das Integral in (2.127) fr x + in

ber
20
,
und der O-Anteil in (2.125) strebt gegen Null. Mit e
i 3/4
= e
i /4
erhalten wir also
_

C
t
e
xg( )
d = e
i /4
_
2
x sin

e
i x(sin cos )
+O
_
1
x
7/10
_
=
_
2
x sin
e
i x(sin cos )i /4
+O
_
1
x
7/10
_
fr x .
(2.128)
Fr die restlichen Anteile des Integrationsweges lassen sich entsprechende Abschtzungen
gewinnen. Dabei zeigt es sich, dass diese Anteile fr x schneller gegen Null streben, als
der durch (2.128) gegebene Ausdruck. Wegen (2.117) ergibt sich damit fr H
1

(x) und analog


fr H
2

(x) die asymptotische Formel


H
1

(x)
_
2
x sin
e
i x(sin cos )i

4
bzw. (2.129)
H
2

(x)
_
2
x sin
e
i x(sin cos )+i

4
(2.130)
mit

x
= cos , 0 < <

2
.
20 Nach Burg/Haf/Wille [12] gilt
_

2
d =

.
118 2 Holomorphe Funktionen
Bemerkung: Die hier an einem konkreten Beispiel aufgezeigte Sattelpunktmethode lsst sich zu
allgemeineren Theorien ausbauen bzw. modizieren, etwa zur Methode der stationren Phasen.
Eine ausfhrliche Behandlung ndet sich z.B. in [37], pp. 340-388, oder in [35], Kapitel V, 3.
bungen
bung 2.23:
Zeige: Fr die Summe f + g bzw. fr das Produkt f g der asymptotischen Entwicklungen
f (z)

n=0
a
n
z
n
, g(z)

n=0
b
n
z
n
gelten die Beziehungen
f (z) + g(z)

n=0
a
n
+b
n
z
n
bzw.
f (z) g(z)

n=0
a
0
b
n
+a
1
b
n1
+. . . +a
n
b
0
z
n
.
bung 2.24*:
Sei g durch
g(z) =
2

z
_
0
e

2
d , z C
erklrt. Zeige, dass g in ganz C holomorph ist und sich in der Form
g(z) =
2

n=0
(1)
n
n!
z
2n+1
2n +1
, z C
darstellen lsst.