Potenzreihe/C/Ableitung/Korollare/Textabschnitt

Satz

Es sei

{}g=\sum _{n=0}^{\infty }a_{n}(z-a)^{n}\,

eine

konvergente Potenzreihe mit dem Konvergenzradius ${}R>0$ .

Dann ist auch die formal abgeleitete Potenzreihe

${}{\tilde {g}}=\sum _{n=1}^{\infty }na_{n}(z-a)^{n-1}\,$

konvergent mit demselben Konvergenzradius. Die durch die Potenzreihe ${}g$ dargestellte Funktion ${}f$ ist in jedem Punkt ${}z\in U{\left(a,R\right)}$ differenzierbar mit

{}f'(z)={\tilde {g}}(z)\,.

Es sei ${}s\in \mathbb {R} _{+}$ , ${}s<R$ , vorgegeben und sei ${}r$ mit ${}s<r<R$ . Dann konvergiert ${}\sum _{n=0}^{\infty }\vert {a_{n}}\vert r^{n}$ gemäß der Definition von Konvergenzradius. Wegen ${}n\leq {\left({\frac {r}{s}}\right)}^{n}$ für ${}n$ hinreichend groß ist

{}{\begin{aligned}\sum _{n=1}^{\infty }n\vert {a_{n}}\vert s^{n-1}&=\sum _{n=1}^{N}n\vert {a_{n}}\vert s^{n-1}+\sum _{n=N+1}^{\infty }n\vert {a_{n}}\vert s^{n-1}\\&\leq \sum _{n=1}^{N}n\vert {a_{n}}\vert s^{n-1}+{\frac {1}{s}}\sum _{n=N+1}^{\infty }\vert {a_{n}}\vert r^{n},\end{aligned}}

sodass die Potenzreihe ${}{\tilde {g}}$ in ${}B\left(a,s\right)$ und somit in ${}U{\left(a,R\right)}$ konvergiert (dafür, dass der Konvergenzradius von ${}{\tilde {g}}$ nicht größer als ${}R$ ist, siehe Aufgabe).
Die Potenzreihe

{}\rho (z)=\sum _{n=2}^{\infty }a_{n}(z-a)^{n-1}\,

ist ebenfalls in dieser Kreisscheibe konvergent, stellt eine nach Fakt stetige Funktion dar und besitzt in ${}a$ den Wert ${}0$ . Daher zeigt die Gleichung (von Potenzreihen und dargestellten Funktionen)

{}f(z)=f(a)+a_{1}(z-a)+\rho (z)(z-a)\,,

dass ${}f$ in ${}a$ linear approximierbar, also nach Fakt differenzierbar ist mit der Ableitung

{}f'(a)=a_{1}={\tilde {g}}(a)\,.

Es sei nun ${}b\in U{\left(a,R\right)}$ . Nach dem Entwicklungssatz gibt es eine konvergente Potenzreihe mit Entwicklungspunkt ${}b$ ,

{}h(z)=\sum _{n=0}^{\infty }b_{n}(z-b)^{n}\,,

deren dargestellte Funktion mit der durch ${}g$ dargestellten Funktion in einer offenen Umgebung von ${}b$ übereinstimmt, und wobei ${}b_{1}=\sum _{n=1}^{\infty }na_{n}(b-a)^{n-1}$ gilt. Daher gilt nach dem schon Bewiesenen (angewendet auf ${}h$ und die formale Potenzreihenableitung ${}{\tilde {h}}$ )