05.10.2013 Aufrufe

Analysis

Analysis

Analysis

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.

1350 KAPITEL VIII. FUNKTIONENTHEORIE<br />

Ergänzende Übung 1.4.19 (Umkehrfunktion ohne reelle <strong>Analysis</strong>). Hier<br />

wird ausgeführt, wie man auch ohne den Umkehrsatz aus der reellen <strong>Analysis</strong><br />

IV.4.1.2 zeigen kann, daß gegeben eine holomorphe Abbildung f : U → C<br />

und p ∈ U mit f ′ (p) = 0 offene Umgebungen V ⊂◦ U von p und W ⊂◦ C<br />

von f(p) existieren derart, daß f eine Bijektion f : V ∼ → W mit stetiger<br />

Umkehrabbildung induziert. Dazu zeige man der Reihe nach:<br />

1. Es gibt eine offene Umgebung A ⊂◦ U von p, auf der f injektiv ist und<br />

auf der f ′ keine Nullstelle hat;<br />

2. Für jeden Punkt q ∈ A ist für einen hinreichend kleinen Kreisweg<br />

γε,q : [0, 2π] → V , t ↦→ q + ε exp(it) um q der Weg f ◦ γε,q in C\f(q)<br />

frei homotop zu einem Kreisweg um f(q);<br />

3. Ist für ε = εq wie im vorhergehenden Punkt B eine Kreisscheibe um<br />

f(q), die den Weg f ◦ γε,q nicht trifft, so gilt B ⊂ f(A);<br />

Hinweis: Für den Nachweis der letzten Aussage verwende man für b ∈ B und<br />

γ = γε,q die Formel<br />

<br />

dz<br />

f◦γ z − b =<br />

<br />

f<br />

γ<br />

′ (w) dw<br />

f(w) − b<br />

aus 1.3.18 und beachte, daß die linke Seite nach Teil 2 nicht verschwindet.<br />

Beispiel 1.4.20. Wir zeigen<br />

∞<br />

−∞<br />

r<br />

in dem Sinne, daß sowohl limr→∞<br />

sin x<br />

x<br />

0<br />

dx = π<br />

als auch limr→∞<br />

0<br />

−r<br />

existieren und ihre<br />

Summe den angegebenen Wert hat. Um das zu sehen, betrachten wir Wege<br />

einmal im Gegenuhrzeigersinn um den Rand des Rechtecks mit Ecken a, b, a+<br />

ih, b + ih für a < b in R und h > 0 und hoppeln im Fall a < 0 < b auf einem<br />

kleinen Halbkreis γε über die Polstelle beim Ursprung. Der Integrand ist<br />

nun die Einschränkung des Imaginärteils von e iz /z auf die reelle Achse, und<br />

das Wegintegral von e iz /z längs eines derartigen Weges ist Null nach dem<br />

Integralsatz. Die Integrale über die drei Kanten ρ, λ, ω für “rechts, links und<br />

oben” außerhalb der reellen Achse können wir jedoch abschätzen durch<br />

<br />

<br />

<br />

e<br />

<br />

iz<br />

z dz<br />

<br />

<br />

<br />

≤ sup h<br />

z∈ρ |1/z| e −t dt ≤ sup |1/z|<br />

z∈ρ<br />

ρ<br />

und analog auf der linken Kante, auf der oberen Kante dahingegen durch<br />

<br />

<br />

<br />

e<br />

<br />

iz<br />

z dz<br />

<br />

<br />

<br />

≤ (b − a) e−h sup |1/z|<br />

z∈ω<br />

ω<br />

0

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!