Kurs:Funktionentheorie/Zerlegungssatz

Einführung

Definitionsbereich: Umgebung eines Kreisringes mit den Radien r und R

Über die Cauchysche Integralformel werden in dem Zerlegungssatz zwei holomorphe Funktionen $f_2:ℂ\setminus D_r(z_o)\to ℂ$ und $f_1:D_R(z_o)\to ℂ$ definiert, die dann für die Entwicklung in eine Laurent-Reihe verwendet.

Grundlegende Definitionen

Die folgenden grundlegende Definitionen werden für den Zerlegungssatz verwendet:

$K_r^R(z_o):=\{z\in ℂ:0\le r<|z-z_o|<R\}$

$K_r^{\mathrm{\infty }}(z_o):=\{z\in ℂ:0\le r<|z-z_o|\}$

$D_r(z_o):=\{z\in ℂ:|z-z_o|<r\}$

$\overline{D_r(z_o)}:=\{z\in ℂ:|z-z_o|\le r\}$

${\gamma }_{r,z_0}:[0,2\pi ]\to ℂ$ mit $t\mapsto {\gamma }_{r,z_0}(t)=z_o+r\cdot e^{it}$

$\underset{\partial D_r(z_o)}{\int }f(\xi )d\xi :=\underset{{\gamma }_{r,z_0}}{\int }f(\xi )d\xi$

Zerlegungssatz für Kreisringe

Es sei $G\subseteq ℂ$ eine offene Menge mit einer auf einem Kreisring $\overline{K_r^R(z_o)}=\{z\in ℂ:r\le |z-z_o|\le R\}\subset G$ holomorphen Funktion. Dann lässt sich $f:K_r^R(z_o)\to ℂ$ als $f=f_1+f_2$ in zwei holomorphen Funktion $f_1:D_R(z_o)\to ℂ$ und $f_2:K_r^{\mathrm{\infty }}(z_o)\to ℂ$ zerlegen. Die Zerlegung $f=f_1+f_2$ ist mit $\underset{z\to \mathrm{\infty }}{\lim }{f}_2(z)=0$ eindeutig.

Beweis

In dem Beweis werden Funktionen auf Kreisringen mit Mittelpunkt $z_o=0\in ℂ$ betrachtet. Durch entsprechende Verkettung mit einer Verschiebung kann man den Zerlegungssatz für beliebige $K_r^R(z_o)=\{z\in ℂ:r\le |z-z_o|\le R\}$ übertragen mit $\overline{K_r^R(z_o)}\subset G$. Wir betrachten zunächst die Beweisidee des Zerlegungssatzes.

Beweisidee

• Der Mittelpunkt $z_o=0\in ℂ$ von Kreisringen ist ein Spezialfall, mit dem man die Aussage für beliebige Kreisringe $z_o\in ℂ$ verallgemeinern kann.
• Definition eines Randzyklus über einen Kreisring mit zwei Integrationwegen über einen äußeren Rand und einen inneren Rand mit umgekehrter Orientierung.
• Anwendung des Cauchy-Integralsatzes für Zyklen
• Zerlegung des Integrals über einen Zyklus in die beiden Teilintegrationswege über den inneren und äßeren Rand.
• Ein Teilintegral wird den Hauptteil, der Laurent-Entwicklung liefern und das andere Teilintegral wird den Nebenteil des Integrals liefern.

Eindeutigkeit der Zerlegung

Die Zerlegung ist im Allgemeinen nicht eindeutig, da man die Konstante nicht eindeutig zum Hauptteil oder zum Nebenteil zugeordnet werden kann. Die Zusatzbedingung für den Limes $z\to \mathrm{\infty }$ liefert die Eindeutigkeit, da so die Konstante dem Nebenteil zugeordnet wird.

Beweis 1: Kreisringe mit Mittelpunkt 0

Wir betrachten holomorphe Funktionen auf Kreisringen um den Punkt $z_o\in ℂ$. Der Punkt $z_o\in ℂ$ wird der Entwicklungspunkt der Laurent-Reihe mit $(z-z_o{)}^n$ mit $n\in \mathbb{Z}$. Wir können uns zunächst auf Kreisringe um 0 (und damit um den Entwicklungspunkt 0) beschränken, da wir eine beliebige Funktion $f:G\to ℂ$ mit $z_o\in ℂ$ und einem Kreisring $\overline{K_r^R(z_o)}\subset G$ in eine Funktion $f_{z_o}:G_{z_o}\to ℂ$ transformieren können mit

$G_{z_o}=\{z-z_o\in ℂ:z\in G\}$ mit $0\in G_{z_o}$ da $z_o\in G$

$f_{z_o}:G_{z_o}\to ℂ$ mit $f_{z_o}(z):=f(z-z_o)$

$\overline{K_r^R(0)}\subset G_{z_o}$ da $\overline{K_r^R(z_o)}\subset G$

Beweis 2: Definition des Randzyklus für den Kreisring

Wir definieren zwei Intergrationswege über den inneren und äußeren Rand des Kreisringes. Die beiden Integrationswege besitzen einen entgegengesetzten Umlaufsinn.

${\gamma }_1:[0,2\pi ]\to ℂ$ mit $t\mapsto {\gamma }_{R,z_0}(t)=z_o+R\cdot e^{it}$

${\gamma }_2:[0,2\pi ]\to ℂ$ mit $t\mapsto {\gamma }_{r,z_0}(t)=z_o+r\cdot e^{-it}$

$\mathrm{\Gamma }:={\gamma }_1+{\gamma }_2$

Beweis 3: Nullhomologer Zyklus

Wegen $\overline{K_r^R(z_o)}=\{z\in ℂ:r\le |z-z_o|\le R\}\subset G$ ist $\mathrm{\Gamma }$ ein nullhomologer Zyklus, da nur innere Punkte des Kreisringes die Umlaufzahl 1 besitzen und alle inneren Punkte (und der Rand des Kreisringes) zu $G$ gehören.

Beweis 4: Anwendung Cauchyintegralformel für Zyklen

Für $z\in K_r^R(z_o)$ gilt:

$n(\mathrm{\Gamma },z)\cdot f(z)=\frac{1}{2\pi i}\underset{\mathrm{\Gamma }}{\int }\frac{f(\xi )}{\xi -z}d\xi =\frac{1}{2\pi i}(\underset{{\gamma }_1}{\int }\frac{f(\xi )}{\xi -z}d\xi +\underset{{\gamma }_2}{\int }\frac{f(\xi )}{\xi -z}d\xi )$

Beweis 5: Einsetzen für Integrationswege

Wegen $n(\mathrm{\Gamma },z)=1$ für $z\in K_r^R(z_o)$ gilt mit Einsetzen der Integrationswege:

$f(z)=\underset{=f_1(z)}{\underbrace{\frac{1}{2\pi i}\underset{\partial D_R(z_o)}{\int }\frac{f(\xi )}{\xi -z}d\xi }}+\left(\underset{=f_2(z)}{\underbrace{-\frac{1}{2\pi i}\underset{\partial D_r(z_o)}{\int }\frac{f(\xi )}{\xi -z}d\xi }}\right)$

Das Minuszeichen vor dem zweiten Integral entsteht durch den umgekehrten Umlaufsinn von ${\gamma }_2$.

Beweis 6: Standardabschätzung

Wir betrachten den Limes des Integral $|f_2(z)|$ für $z\to \mathrm{\infty }$ mit $C:=\max {\mathrm{\backslash limits}}_{\xi \in \partial D_r(z_o)}|f(\xi )|$

$|f_2(z)|=|-\frac{1}{2\pi i}\underset{\partial D_r(z_o)}{\int }\frac{f(\xi )}{\xi -z}d\xi |\le \underset{\partial D_r(z_o)}{\int }\left|\frac{f(\xi )}{\xi -z}\right|d\xi$

$\le \underset{\partial D_r(z_o)}{\int }\frac{C}{|\xi -z|}d\xi \le \underset{L({\gamma }_2)}{\underbrace{2\pi r}}\cdot \max {\mathrm{\backslash limits}}_{\xi \in \partial D_r(z_o)}\frac{C}{|\xi -z|}$

Da es sich um eine Abschätzung nach oben handelt und die Vorfaktoren allesamt kleiner 1 sind, können diese einfach weggelassen werden.

Beweis 7: Grenzwertprozess für Standardabschätzung

Damit erhält man:

$\underset{z\to \mathrm{\infty }}{\lim }|f_2(z)|\le \underset{z\to \mathrm{\infty }}{\lim }\underset{L({\gamma }_2)}{\underbrace{2\pi r}}\cdot \max {\mathrm{\backslash limits}}_{\xi \in \partial D_r(z_o)}\frac{C}{|\xi -z|}=0$

Beweis 8: Taylorentwicklung mit Cauchykern

Die Reihenentwicklung erfolgt mit dem Cauchy-Kern auf dem rot markierten Konvergenzbereich:

$\begin{array}{cc}{f}_1(z)& =\frac{1}{2\pi \mathrm{i}}{\oint }_{\partial D_R(z_o)}\frac{f(\zeta )}{\zeta -z}\mathrm{d}\zeta =\frac{1}{2\pi \mathrm{i}}{\oint }_{\partial D_R(z_o)}\frac{f(\zeta )}{\zeta -z_o-(z-z_o)}\mathrm{d}\zeta \\ & =\frac{1}{2\pi \mathrm{i}}{\oint }_{\partial D_R(z_o)}\frac{f(\zeta )}{\zeta -z_o}\cdot \frac{1}{1-\frac{z-z_o}{\zeta -z_o}}\mathrm{d}\zeta \\ & \stackrel{|\frac{z-z_o}{\zeta -z_o}|<1}{=}\frac{1}{2\pi \mathrm{i}}{\oint }_{\partial D_R(z_o)}\frac{f(\zeta )}{\zeta -z_o}\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{z-z_o}{\zeta -z_o}\right)}^n\mathrm{d}\zeta \\ & =\sum _{n=0}^{\mathrm{\infty }}\underset{a_n}{\underbrace{\left(\frac{1}{2\pi \mathrm{i}}{\oint }_{\partial D_R(z_o)}\frac{f(\zeta )}{(\zeta -z_o{)}^{n+1}}\mathrm{d}\zeta \right)}}(z-z_o{)}^n\end{array}$

(siehe auch Abelsches Lemma).

Beweis 9: Erweiterung des Defintionsbereichs auf das Kreiringinnere

Die Definitionsbereiche der beiden Funktionen ist bisher nur auf den Kreisring beschränkt.

Wir erweitern zunächst die Funktion $f_1$ schrittweise auf das Innere des Kreisrings.

Beweis 10: Entwicklungspunkt wandert auf inneren Kreis

Taylorententwicklung wandert auf einer Kreisbahn in $K_r^R(z_o)$. Mit der Cauchy-Intergralformel und der lokalen entwickelbarkeit in Potenzreihen/Taylorreihen.

Dadurch kann man die Funktion mit dem Indentitätsatz auf ein Gebiet als Vereinigung von dem (grün markierten) Kreisring und der (rot markierten) offenen Kreisscheibe erweitern. Gleichzeitig geht das Holomorphiekriterium mit ein, dass eine Funktion genau dann holomorph ist, wenn diese sich lokal in Potenzreihen auf einem Gebiet entwickeln lässt.

Beweis 11: Wandernde Kreisschreiben als Konvergenbereich von Potenzreihen

Beweis 11: Holomorphe Erweiterung - Kreisscheibe, Kreisring

Mit dem Identitätssatzes stimmen zwei holomorphe Funktionen über, wenn sie auf einer nicht-diskreten Menge übereinstimmen. Diese ist in diesem Fall der Kreisring $G=K_{r_o}^{R_o}$.

Der rote Kreisring ist die Erweiterung mit allen Kreisscheiben und Entwicklungspunkten auf der Spur.

Beweis 12: Konvergenzbereich der Potenzreihe

Auf den Integranden $f_1$ kann man wieder mit dem Cauchy-Kern und der Vertauschbarkeit von Grenzwertprozessen eine Taylorreihe entwickeln. Diese Entwicklungen besitzen eine Kreisscheibe als Konvergenzbereich, wobei die für alle $z$ im Inneren der Kreisscheibe die Reihe konvergiert (siehe Abelsches Lemma). Die folgende Abbildung zeigt die Erweiterung des Definitionsbereiche nach der Anwendung des Identitätssatzes auf die Kreisscheiben als Konvergenzbereich der Taylorentwicklung un dem Schnitt mit dem Kreisring $K_r^R(z_o)$. Die Schnittmenge ist jeweils eine nicht-diskreten Menge und die holomorphe Erweiterung auf die Vereinigung ist nach dem Identitätssatz eindeutig bestimmt.

Beweise 13: Konvergenzbereich iterativ erweitern

Erweiterter Definitionsberich bis zur Überdeckung des gesamten Inneren des Kreisringes weiterführen. Wiederholte Anwendung des Identitätsatzes für die holomorphe Erweiterung von $f_1$.

Die Entwicklungspunkte der Taylorentwicklungen liegen nun auf ein kreisförmigen Integrations mit kleinerem Radius.

Beweis 14a: Transformation des Definitionsbereichs für den Hauptteil

Für den Hauptteil ersetzen wir die Funktione $f_2$ durch $h$ mit $T(z):=z_o+\frac{1}{z}$:

$h(z):=(f_2\circ T)(z)=f_2(T(z))=f_2(z_o+\frac{1}{z})$

Mit der Transformation gilt:

$|z|<\frac{1}{r}⟹|T(z)-z_o|>r$

Damit kann man ein analoges Vorgehen für $f_1$ auch auf die Erweiterung von $h$ anwenden. Für $h$ wird der Kreisring $K_{R_1}^{r_1}(0)$ mit $0<R_1:=\frac{1}{R}<\frac{1}{r}=:r_1$ betrachtet. Die Funktion $h$ kann man auch für $0\in ℂ$ holomorph fortsetzen. Allerdings wäre $0\in ℂ$ durch die Transformation $T$ nicht definiert in $ℂ$. Insgesamt kann man also $f_2$ holomorph auf $K_r^{\mathrm{\infty }}(z_o)$ erweitern.

Beweis 14b: Analoges Vorgehen für Hauptteil

Analog zur Erweiterung des Kreisringes von außen auf das Innere. Kann man die Kreisring auch auf das Äußere erweitern, indem man die Taylorentwicklung für das Intergral $f_2$ wie bei der Cauchy-Integralformel vornimmt mit dem Cauchy-Kern. Hierbei muss man anmerken, dass der Entwicklungspunkt der Taylorentwicklung über die Spur von ${\gamma }_R$ läuft und der Konvergenzbereich der Taylorentwicklung überdeckt die Spur ${\gamma }_r$ des inneren Integrationsweges nicht, da sonst das Integral von $f_2$ nicht definiert wäre.

Siehe auch

• Abelsches Lemma

Seiteninformation

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/Zerlegungssatz
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.