Zum Inhalt springen

Potenzreihen/Ableitung/Textabschnitt

Aus Wikiversity


Es sei

eine

konvergente Potenzreihe mit dem Konvergenzradius .

Dann ist auch die formal abgeleitete Potenzreihe

konvergent mit demselben Konvergenzradius. Die durch die Potenzreihe dargestellte Funktion ist in jedem Punkt differenzierbar mit

Es sei , , vorgegeben und sei  mit . Dann konvergiert gemäß der Definition von Konvergenzradius. Wegen für hinreichend groß ist

sodass die Potenzreihe in und somit in konvergiert (dafür, dass der Konvergenzradius von nicht größer als ist, siehe Aufgabe).
Die Potenzreihe

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

dass in linear approximierbar, also nach Fakt differenzierbar ist mit der Ableitung


Es sei nun . Nach dem Entwicklungssatz gibt es eine konvergente Potenzreihe mit Entwicklungspunkt ,

deren dargestellte Funktion mit der durch dargestellten Funktion in einer offenen Umgebung von übereinstimmt, und wobei gilt. Daher gilt nach dem schon Bewiesenen (angewendet auf und die formale Potenzreihenableitung )




Die Exponentialfunktion

ist differenzierbar mit

Aufgrund von Fakt ist



Die Ableitung des natürlichen Logarithmus

ist

Beweis

Siehe Aufgabe.



Es sei .

Dann ist die Funktion

differenzierbar und ihre Ableitung ist

Nach Aufgabe ist

Die Ableitung nach ist aufgrund von Fakt, Fakt und der Kettenregel gleich



Für die eulersche Zahl gilt die Gleichheit

Die äußeren Gleichheiten sind Definitionen. Aufgrund von Fakt ist . Dies bedeutet aufgrund der Definition des Differentialquotienten insbesondere

Wir schreiben die Folgenglieder der linken Seite als und wenden darauf die Exponentialfunktion an. Daraus ergibt sich unter Verwendung der Stetigkeit und der Funktionalgleichung der Exponentialfunktion die Gleichungskette



Die Sinusfunktion

ist differenzierbar mit

und die

Kosinusfunktion

ist differenzierbar mit

Beweis

Siehe Aufgabe.