Kurs:Funktionentheorie/Satz von Liouville

Einführung

Der Satz von Liouville ist eine Aussage über beschränkte holomorphe Funktionen, deren Definitionsbereich die ganze komplexe Ebene $\mathbb {C}$ ist.

Aussage

Sei $f\colon \mathbb {C} \to \mathbb {C}$ holomorph und beschränkt. Dann ist $f$ konstant.

Beweis

Man stellt die Ableitung $f'$ der Funktion $f:\mathbb {C} \to \mathbb {C}$ über ein geschlossenes Wegintegral über den Kreisrand der Kreisscheibe mit Radius $R>0$ dar.

Definition des Integrationsweges

Der Integrationsweg ist wie folgt definiert.

{\begin{array}{rrcl}\gamma :&[0,2\pi ]&\rightarrow &\mathbb {C} \\&t&\mapsto &\gamma (t)=z+R\cdot e^{it}\end{array}}

Der Integrationsweg with im Folgenden mit $\partial B_{R}(z):=\gamma$ als positiv orientierter Weg über den Rand des Kreises mit Radius $R$ um $z\in \mathbb {C}$ bezeichnet.

Betragsmäßige Abschätzung der Ableitung

Man verwendet für jedes $R>0$ und jedes $z\in \mathbb {C}$ die Integralformel von Cauchy:

{\begin{array}{rl}|f'(z)|&=\displaystyle \left|{\frac {1}{2\pi i}}\int _{\partial B_{R}(z)}{\frac {f(w)}{(w-z)^{2}}}\,dw\right|\leq \displaystyle {\frac {1}{2\pi }}\int _{\partial B_{R}(z)}\left|{\frac {f(w)}{(w-z)^{2}}}\right|\,dw\\&=\displaystyle {\frac {1}{2\pi }}\int _{\partial B_{R}(z)}{\frac {|f(w)|}{\underbrace {|w-z|^{2}} _{=R^{2}}}}\,dw=\displaystyle {\frac {1}{2\pi }}\cdot {\frac {1}{R^{2}}}\int _{\partial B_{R}(z)}|f(w)|\,dw\\&\leq \displaystyle {\frac {1}{2\pi }}\cdot {\frac {1}{R^{2}}}\cdot \underbrace {2\pi \cdot R} _{{\mathcal {L}}(\partial B_{R}(z))}\cdot \underbrace {\sup _{w\in \partial B_{R}(z)}|f(w)|} _{=:M}\\&={\frac {M}{R}}\to 0,\qquad R\to \infty \end{array}}

also ist $f'=0$ und damit $f$ konstant.

Aufgabe - Cauchy-Ungleichung

In der obigen Beweisstruktur ist in eine spezielle Anwendung der Cauchy-Ungleichung enthalten. Identifizieren Sie die Stelle der Anwendung und formulieren Sie den Beweis kürzer durch Anwendung der Cauchy-Ungleichung.

Gegenbeispiel - reelle Analysis

Sinus ist eine Funktion, die definiert auf ganz $\mathbb {R}$ , reell differenzierbar und beschränkt ist. Die Sinus-Funktion ist aber nicht konstant.

Siehe auch

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionentheorie' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Funktionentheorie/Satz%20von%20Liouville
siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.