Potenzreihen/C/Funktionenfolge/Konvergenz/Funktionentheorie/Textabschnitt

Es seien ${}c_{n}$, ${}n\in \mathbb {N}$, komplexe Zahlen, ${}a\in {\mathbb {C} }$ und ${}\sum _{k=0}^{\infty }c_{k}(z-a)^{k}$ die zugehörige Potenzreihe im Entwicklungspunkt ${}a$. Wir betrachten die Funktionenfolge ${}f_{n}$ mit

$f_{n}\colon {\mathbb {C} }\longrightarrow {\mathbb {C} },\,z\longmapsto \sum _{k=0}^{n}c_{k}(z-a)^{k}.$

Im Allgemeinen konvergiert diese Funktionenreihe weder punktweise auf ganz ${}{\mathbb {C} }$ noch gleichmäßig. Wir werden aber sehen, dass häufig auf geeigneten Teilmengen ${}T\subseteq {\mathbb {C} }$ gleichmäßige Konvergenz vorliegt.

Lemma

Es sei ${}{\left(c_{n}\right)}_{n\in \mathbb {N} }$ eine Folge komplexer Zahlen und ${}a\in {\mathbb {C} }$. Die Potenzreihe

${}f(z)=\sum _{n=0}^{\infty }c_{n}(z-a)^{n}\,$

sei für eine komplexe Zahl ${}z=b$, ${}b\neq a$, konvergent.

Dann ist für jeden reellen Radius ${}r$ mit ${}0<r<\vert {b-a}\vert$ die Potenzreihe ${}f(z)$ auf der abgeschlossenen Kreisscheibe ${}B\left(a,r\right)$ punktweise absolut und gleichmäßig konvergent.

Beweis

Wir werden Fakt auf ${}T=B\left(a,r\right)$ anwenden. Wegen der Konvergenz für ${}z=b$ sind die Summanden ${}c_{n}(b-a)^{n}$ nach Fakt eine Nullfolge, d.h. es gibt insbesondere ein ${}M>0$ mit

${}\vert {c_{n}(b-a)^{n}}\vert \leq M\,$

für alle ${}n\in \mathbb {N}$. Daher gelten für jedes ${}z\in B\left(a,r\right)$ die Abschätzungen

${}\vert {c_{n}(z-a)^{n}}\vert =\vert {c_{n}(b-a)^{n}}\vert \cdot \vert {\frac {z-a}{b-a}}\vert ^{n}\leq M\cdot \vert {\frac {z-a}{b-a}}\vert ^{n}\leq M{\left({\frac {r}{\vert {b-a}\vert }}\right)}^{n}\,.$

Dabei ist nach Voraussetzung

${}{\frac {r}{\vert {b-a}\vert }}<1\,.$

Daher liegen rechts (bis auf den Vorfaktor ${}M$) die Summanden einer nach Fakt konvergenten geometrische Reihe vor. Deren Grenzwert liefert eine obere Schranke für die Reihe der Supremumsnormen.

$\Box$

Definition

Für eine Potenzreihe

$\sum _{n=0}^{\infty }c_{n}(z-a)^{n}$

heißt

${\operatorname {sup} \,(\vert {b-a}\vert ,b\in {\mathbb {C} },\,\sum _{n=0}^{\infty }c_{n}(b-a)^{n}{\text{ konvergiert}})}$

der Konvergenzradius der Potenzreihe. Das ist eine nichtnegative reelle Zahl oder ${}=\infty$.

Jede Potenzreihe hat also grundsätzlich das gleiche Konvergenzverhalten: Es gibt eine Kreisscheibe (die eben durch den Konvergenzradius bestimmt ist, wobei die Extremfälle ${}r=0$ und ${}r=\infty$ erlaubt sind) um den Entwicklungspunkt, in deren Innerem die Potenzreihe konvergiert und so, dass sie außerhalb davon in keinem Punkt konvergiert. Nur auf dem Rand der Kreisscheibe kann alles mögliche passieren. Der Fall ${}r=0$ ist nicht sehr interessant. Bei positivem Konvergenzradius (einschließlich dem Fall ${}r=\infty$) sagt man auch, dass die Potenzreihe konvergiert.

Korollar

Es sei

${}f(z)=\sum _{n=0}^{\infty }c_{n}(z-a)^{n}\,$

eine Potenzreihe mit einem positiven Konvergenzradius ${}r$.

Dann stellt die Potenzreihe ${}f(z)$ auf der offenen Kreisscheibe ${}U{\left(a,r\right)}$ eine stetige Funktion dar.

Beweis

Jeder Punkt ${}z\in U{\left(a,r\right)}$ liegt im Innern einer abgeschlossenen Kreisscheibe ${}B\left(a,s\right)\subseteq U{\left(a,r\right)}$ mit ${}s<r$. Auf dieser abgeschlossenen Kreisscheibe ist die Potenzreihe nach Fakt gleichmäßig konvergent, daher ist nach Fakt die Grenzfunktion stetig.

$\Box$

Korollar

Die Exponentialreihe und die trigonometrischen Reihen Sinus und Kosinus

besitzen einen unendlichen Konvergenzradius, und die komplexe Exponentialfunktion, die komplexe Sinusfunktion und die komplexe Kosinusfunktion sind stetig.

Beweis

Dies folgt aus Fakt und Fakt.

$\Box$

Lemma

Es seien ${}f=\sum _{n=0}^{\infty }a_{n}z^{n}$ und ${}g=\sum _{n=0}^{\infty }b_{n}z^{n}$ Potenzreihen mit positiven Konvergenzradien, deren Minimum ${}r$ sei. Dann gelten folgende Aussagen.

1. Die Potenzreihe ${}\sum _{n=0}^{\infty }c_{n}z^{n}$ mit ${}c_{n}=a_{n}+b_{n}$ ist konvergent auf ${}U{\left(0,r\right)}$ und stellt dort die Summenfunktion ${}f+g$ dar.
2. Die Potenzreihe ${}\sum _{n=0}^{\infty }d_{n}z^{n}$ mit ${}d_{n}=\sum _{i=0}^{n}a_{i}b_{n-i}$ ist konvergent auf ${}U{\left(0,r\right)}$ und stellt dort die Produktfunktion ${}fg$ dar.

Beweis

Siehe Aufgabe.

$\Box$