26.10.2013 Aufrufe

Analysis IV (Funktionentheorie) Inhaltsv erzeichnis

Analysis IV (Funktionentheorie) Inhaltsv erzeichnis

Analysis IV (Funktionentheorie) Inhaltsv erzeichnis

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

6. Potenzreihenentwicklung holomorpher Funktionen 30<br />

29 6. Potenzreihenentwicklung holomorpher Funktionen<br />

b) g(z) := f(z)<br />

1<br />

− 1. Wende nun a) an mit ε =<br />

anzn 2 . Dann existiert ein r′ ≥ 1, so daß aus |z| ≥ r ′<br />

folgt: |g(z)| < 1<br />

2 . Es folgt:<br />

6.8. Satz (Satz von Liouville)<br />

|f(z)| = |anz n (1 + g(z))|<br />

= |an| · |z| n · |1 + g(z)|<br />

Sei f ∈ O(C) und f beschränkt. Dann gilt: f ist konstant.<br />

∞<br />

Beweis: Sei f(z) = aνz ν . Zu zeigen: aν = 0 für alle ν ≥ 1.<br />

Wähle M, so daß für alle z ∈ C gilt: |f(z)| ≤ M. Sei 0 < r < ∞. Dann folgt:<br />

aν = 1<br />

<br />

f(ξ)<br />

dξ.<br />

2πi ∂Ur(0) ξν+1 ν=0<br />

|g(z)|< 1<br />

2<br />

> |an| · |z| n · 1<br />

2<br />

|z|≥1<br />

≥ |an| · |z| · 1<br />

2<br />

n≥1<br />

≥ m<br />

Hieraus folgt:<br />

für |z| hinreichend groß.<br />

Bemerkung<br />

Hilfssatz 6.10. ist falsch für f : C → C holomorph, aber kein Polynom. Zum Beispiel für f = exp, denn:<br />

exp |iR ist beschränkt, da |eix | = 1 für alle x ∈ R.<br />

<br />

<br />

|f(ξ)|<br />

|ξ| ν+1<br />

sup<br />

|ξ|=r<br />

|aν| ≤ 1<br />

2π L(∂Ur(0))<br />

M<br />

2πr<br />

rν+1 ≤ 1<br />

2π<br />

= M<br />

.<br />

rν 6.11. Folgerung<br />

Sei f ∈ C[z] mit grad f = n ≥ 1. Dann existieren c, z1, . . . , zn ∈ C, so daß gilt:<br />

Für r ≫ 0 folgt: aν = 0 für alle ν ≥ 1.<br />

f(z) = c(z − z1) · . . . · (z − zn).<br />

6.9. Satz (Fundamentalsatz der Algebra)<br />

z1, . . . , zn sind genau die Nullstellen von f.<br />

Sei f ∈ C[z] und f nicht konstant. Dann gilt: f hat eine Nullstelle.<br />

Beweis: Angenommen, für alle z ∈ C gilt: f(z) = 0. Daraus folgt: g : C → C, g(z) = 1<br />

f(z) ist<br />

holomorph.<br />

Beh.: g ist beschränkt.<br />

Bew.: Wähle r > 0 mit |z| ≥ r. Dann folgt nach dem Hilfssatz 6.10.: |f(z)| ≥ 1. Also: |g(z)| ≤ 1.<br />

Weil g stetig ist, existiert ein M > 0, so daß aus |z| ≤ r folgt: |g(z)| ≤ M. Also ist g beschränkt.<br />

Mit dem Satz von Liouville folgt: g ist konstant, und damit ist auch f konstant.<br />

6.10. Hilfssatz<br />

Sei f ∈ C[z] und f nicht konstant. Dann folgt: Für alle m ∈ N existiert ein r > 0, so daß aus |z| ≥ r<br />

folgt: |f(z)| > m. Oder: lim |f(z)| = ∞.<br />

|z|→∞<br />

n<br />

aνz ν mit an = 0 und n ≥ 1.<br />

Beweis: f(z) =<br />

<br />

<br />

<br />

<br />

ν=0<br />

f(z)<br />

− 1<br />

anzn < ε.<br />

<br />

. Sei |z| ≥ r. Dann folgt:<br />

<br />

<br />

<br />

a) Beh.: Für alle ε > 0 existiert ein r > 0, so daß aus |z| ≥ r folgt:<br />

<br />

<br />

<br />

und r := max 1, N<br />

ε<br />

<br />

<br />

<br />

<br />

n−1 <br />

aν<br />

Bew.: Sei ε > 0. Definiere N :=<br />

an<br />

<br />

a0 <br />

+ . . . + − 1<br />

anzn anzn <br />

|a0| 1<br />

+ . . . +<br />

|an| |z| n<br />

1<br />

r<br />

ν=0<br />

anzn anz<br />

<br />

<br />

<br />

<br />

<br />

<br />

− 1<br />

n =<br />

f(z)<br />

anz<br />

<br />

<br />

<br />

<br />

n + an−1z n−1<br />

1<br />

|z|<br />

≤ |an−1|<br />

|an|<br />

|a0|<br />

+ . . . +<br />

|an|<br />

1<br />

r<br />

r≥1<br />

≤ |an−1|<br />

|an|<br />

= N<br />

r<br />

< ε.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!