Zur Differentation von Potenzreihen. Komplexe Differenzierbarkeit.

2.11.5. Zur Differentation von Potenzreihen. Komplexe Differenzierbarkeit.

Bei der Untersuchung der Differenzierbarkeit von Funktionenreihen haben wir uns der Einfachheit halber in Kapitel 2.6 auf reelle Differenzierbarkeit beschränkt und in den Beweisen auch Methoden der reellen Ableitungen eingesetzt5. Andererseits lassen sich die oben gesammelten Beobachtung zur reellen Differenzierbarkeit von Potenzreihen auch auf komplexe Differenzierbarkeit ausweiten:

SATZ 2.11.8. Die Potenzreihe $S (z) = \sum_{k = 0}^{\infty} a_{k} z^{k}$ besitze einen Konvergenzradius $R > 0$ . Dann ist die Funktion $S (z)$ in allen Punkten $z \in U_{R}$ beliebig oft als Funktion einer komplexen Variablen differenzierbar und es gilt

\frac{d^{n} S (z)}{d z^{n}} = \sum_{k = n}^{\infty} a_{k} k (k - 1) (k - n + 1) z^{k - n}, z \in U_{R}, n \in ℕ .

(2.11.5.1)

$▸$ Es sei $z \neq z_{0}$ , $z \in U_{R_{1}}$ , $z_{0} \in U_{R_{1}}$ sowie $R_{1} \in] | z_{0} |, R [$ . Dann gilt

\frac{z^{k} - z_{0}^{k}}{z - z_{0}} = \sum_{l = 0}^{k - 1} z^{l} z_{0}^{k - 1 - l}, z \neq z_{0},

und damit

|\frac{z^{k} - z_{0}^{k}}{z - z_{0}}| \leq \sum_{l = 0}^{k - 1} R_{1}^{k - 1} = k R_{1}^{k - 1}, z \neq z_{0}, | z | \leq R_{1}, | z_{0} | \leq R_{1} .

(2.11.5.2)

Da nach Lemma 2.11.7 die Potenzreihe $\sum_{k = 1}^{\infty} k a_{k} u^{k - 1}$ auch den Konvergenzradius $R$ besitzt, so ist nach Korollar 2.11.4 die Reihe $\sum_{k = 1}^{\infty} k | a_{k} | R_{1}^{k - 1}$ konvergent. Daraus folgt zusammen mit (2.11.5.2) nach dem Majorantenkriterium von Weierstrass, daß die Reihe

\sum_{k = 0}^{\infty} a_{k} \frac{z^{k} - z_{0}^{k}}{z - z_{0}}

gleichmäßig bezüglich $| z | \leq R_{1} < R$ konvergiert. Nach Satz 2.3.3 folgt für $| z | \leq R_{1}$ dann

\begin{array}{rcl} {\frac{d}{d z} \sum_{k = 0}^{\infty} a_{k} z^{k}|}_{z = z_{0}} & = & lim_{z \to z_{0}} \sum_{k = 0}^{\infty} a_{k} \frac{z^{k} - z_{0}^{k}}{z - z_{0}} = \sum_{k = 0}^{\infty} a_{k} lim_{z \to z_{0}} \frac{z^{k} - z_{0}^{k}}{z - z_{0}} \\ = \sum_{k = 1}^{\infty} k a_{k} z_{0}^{k - 1} . \end{array}

$◂$

5Wo wurden für reelle Ableitung spezifische Aussagen benützt?

[next] [prev] [prev-tail] [front] [up]