Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I/Vorlesung 21

Ableitung von Potenzreihen

Viele wichtige Funktionen wie die Exponentialfunktion oder die trigonometrischen Funktionen werden durch eine Potenzreihe dargestellt. Der folgende Satz zeigt, dass diese Funktionen differenzierbar sind und ihre Ableitung durch diejenige Potenzreihe dargestellt wird, die sich durch gliedweises Ableiten ergibt.

Satz

Es sei

$g(x):=\sum _{n=0}^{\mathrm{\infty }}{a}_n{x}^n$

eine Potenzreihe, die auf dem offenen Intervall $]-r,r[$ konvergiere und dort die Funktion $f:]-r,r[\to ℝ$ darstellt.

Dann ist auch die formal abgeleitete Potenzreihe

$\tilde{g}(x):=\sum _{n=1}^{\mathrm{\infty }}n{a}_n{x}^{n-1}$

auf $]-r,r[$ konvergent. Die Funktion $f$ ist in jedem Punkt dieses Intervalls differenzierbar mit

$f^{\prime }(x)=\tilde{g}(x).$

Beweis

Der Beweis erfordert ein genaues Studium von Potenzreihen.

$◻$

Satz

Die Exponentialfunktion

$ℝ⟶ℝ,x⟼\exp x,$

ist differenzierbar mit

$\exp {}^{\prime }(x)=\exp x.$

Beweis

Aufgrund von Satz 21.1 ist

$\begin{array}{cc}\exp {}^{\prime }(x)& =\left(\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}\right)\\ & =\sum _{n=1}^{\mathrm{\infty }}\left(\frac{x^n}{n!}\right)\\ & =\sum _{n=1}^{\mathrm{\infty }}\frac{n}{n!}{x}^{n-1}\\ & =\sum _{n=1}^{\mathrm{\infty }}\frac{1}{(n-1)!}{x}^{n-1}\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}\\ & =\exp x.\end{array}$

$◻$

Korollar

Die Ableitung des natürlichen Logarithmus

$\ln :{ℝ}_{+}⟶ℝ,x⟼\ln x,$

ist

$\ln {}^{\prime }:{ℝ}_{+}⟶ℝ,x⟼\frac{1}{x}.$

Beweis

Siehe Aufgabe 21.3.

$◻$

Korollar

Es sei  $\alpha \in ℝ$. 

Dann ist die Funktion

$f:{ℝ}_{+}⟶{ℝ}_{+},x⟼x^{\alpha },$

differenzierbar und ihre Ableitung ist

$f^{\prime }(x)=\alpha x^{\alpha -1}.$

Beweis

Nach Definition 17.15 ist

$x^{\alpha }=\exp (\alpha \ln x).$

Die Ableitung nach $x$ ist aufgrund von Satz 21.2 und Korollar 21.3 unter Verwendung der Kettenregel gleich

$\left(x^{\alpha }\right)=(\exp (\alpha \ln x))=\frac{\alpha }{x}\cdot \exp (\alpha \ln x)=\frac{\alpha }{x}{x}^{\alpha }=\alpha x^{\alpha -1}.$

$◻$

Satz

Die Sinusfunktion

$ℝ⟶ℝ,x⟼\sin x,$

ist differenzierbar mit

$\sin {}^{\prime }(x)=\cos x$

und die

Kosinusfunktion

$ℝ⟶ℝ,x⟼\cos x,$

ist differenzierbar mit

$\cos {}^{\prime }(x)=-\sin x.$

Beweis

Siehe Aufgabe 21.4.

$◻$

Die Zahl $\pi$

Die Zahl $\pi$ ist der Flächeninhalt bzw. der halbe Kreisumfang eines Kreises mit Radius $1$. Um darauf eine präzise Definition dieser Zahl aufzubauen, müsste man zuerst die Maßtheorie (bzw. die Länge von „krummen Kurven“) entwickeln. Auch die trigonometrischen Funktionen haben eine intuitive Interpretation am Einheitskreis, doch auch diese setzt das Konzept der Bogenlänge voraus. Ein alternativer Zugang ist es, die Zahl $\pi$ über analytische Eigenschaften der durch ihre Potenzreihen definierten Funktionen Sinus und Kosinus zu definieren und dann erst nach und nach die Beziehung zum Kreis herzustellen (siehe Beispiel 25.10 und Beispiel 35.12).

Lemma

Die Kosinusfunktion

besitzt im reellen Intervall $[0,2]$ genau eine Nullstelle.

Beweis

Wir betrachten die Kosinusreihe

$\cos x=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{x}^{2n}}{(2n)!}.$

Für  $x=0$  ist  $\cos 0=1$.  Für  $x=2$  kann man geschickt klammern und erhält

$\begin{array}{cc}\cos 2& =1-\frac{2^2}{2!}+\frac{2^4}{4!}-\frac{2^6}{6!}+\frac{2^8}{8!}-\dots \\ & =1-\frac{2^2}{2!}(1-\frac{4}{3\cdot 4})-\frac{2^6}{6!}(1-\frac{4}{7\cdot 8})-\dots \\ & =1-2(2/3)-\dots \\ & \le -1/3.\end{array}$

Nach dem Zwischenwertsatz gibt es also mindestens eine Nullstelle im angegebenen Intervall.
Zum Beweis der Eindeutigkeit betrachten wir die Ableitung des Kosinus, diese ist nach Satz 21.5

${\cos }^{\prime }x=-\sin x.$

Es genügt zu zeigen, dass der Sinus im Intervall $]0,2[$ positiv ist, denn dann ist das Negative davon stets negativ und der Kosinus ist dann nach Satz 20.7 im angegebenen Intervall streng fallend, sodass es nur eine Nullstelle gibt. Für  $x\in ]0,2]$  gilt

$\begin{array}{cc}\sin x& =x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\dots \\ & =x(1-\frac{x^2}{3!})+\frac{x^5}{5!}(1-\frac{x^2}{6\cdot 7})+\dots \\ & \ge x(1-\frac{4}{3!})+\frac{x^5}{5!}(1-\frac{4}{6\cdot 7})+\dots \\ & \ge x/3\\ & >0.\end{array}$

$◻$

Eine rationale Approximation der Zahl $\pi$ auf einem $\pi$-Pie.

Definition

Es sei $s$ die eindeutig bestimmte reelle Nullstelle der Kosinusfunktion aus dem Intervall $[0,2]$. Die Kreiszahl $\pi$ ist durch

$\pi :=2s$

definiert.

Satz

Die Sinusfunktion und die Kosinusfunktion erfüllen in $ℝ$ folgende Periodizitätseigenschaften.

1. Es ist  $\cos (x+2\pi )=\cos x$  und  $\sin (x+2\pi )=\sin x$  für alle  $x\in ℝ$. 
2. Es ist  $\cos (x+\pi )=-\cos x$  und  $\sin (x+\pi )=-\sin x$  für alle  $x\in ℝ$. 
3. Es ist  $\cos (x+\pi /2)=-\sin x$  und  $\sin (x+\pi /2)=\cos x$  für alle  $x\in ℝ$. 
4. Es ist  $\cos 0=1$,   $\cos \pi /2=0$,   $\cos \pi =-1$,   $\cos 3\pi /2=0$  und  $\cos 2\pi =1$. 
5. Es ist  $\sin 0=0$,   $\sin \pi /2=1$,   $\sin \pi =0$,   $\sin 3\pi /2=-1$  und  $\sin 2\pi =0$. 

Beweis

Aufgrund der Kreisgleichung

$(\cos x{)}^2+(\sin x{)}^2=1$

ist  ${(\sin \frac{\pi }{2})}^2=1$,  also ist  $\sin \frac{\pi }{2}=1$  wegen der Überlegung im Beweis zu Lemma 21.6. Daraus folgen mit den Additionstheoremen die in (3) angegebenen Beziehungen zwischen Sinus und Kosinus, beispielsweise ist

$\cos (z+\frac{\pi }{2})=\cos \left(z\right)\cos \left(\frac{\pi }{2}\right)-\sin \left(z\right)\sin \left(\frac{\pi }{2}\right)=-\sin \left(z\right).$

Es genügt daher, die Aussagen für den Kosinus zu beweisen. Alle Aussagen folgen dann aus der Definition von $\pi$ und aus (3).

$◻$

Die inversen trigonometrischen Funktionen

Korollar

Die reelle Sinusfunktion

induziert eine bijektive, streng wachsende Funktion

$[-\pi /2,\pi /2]⟶[-1,1],$

und die reelle Kosinusfunktion induziert eine bijektive streng fallende Funktion

$[0,\pi ]⟶[-1,1].$

Beweis

Siehe Aufgabe 21.10.

$◻$

Aufgrund der Bijektivität von Sinus und Kosinus auf geeigneten Intervallen gibt es die folgenden Umkehrfunktionen.

Definition

Die Umkehrfunktion der reellen Sinusfunktion ist

$[-1,1]⟶[-\frac{\pi }{2},\frac{\pi }{2}],x⟼\arcsin x,$

und heißt Arkussinus.

Definition

Die Umkehrfunktion der reellen Kosinusfunktion ist

$[-1,1]⟶[0,\pi ],x⟼\arccos x,$

und heißt Arkuskosinus.

Die Taylor-Formel

Brook Taylor (1685-1731)

Zu einer konvergenten Potenzreihe

$f(x):=\sum _{k=0}^{\mathrm{\infty }}{c}_k(x-a{)}^k$

bilden die Teilpolynome $\sum _{k=0}^n{c}_k(x-a{)}^k$ polynomiale Approximationen für die Funktion $f$ im Punkt $a$. Ferner ist $f$ in $a$ beliebig oft differenzierbar und die Ableitungen lassen sich aus der Potenzreihe ablesen. Wir fragen uns nun umgekehrt, inwiefern man aus den höheren Ableitungen einer hinreichend oft differenzierbaren Funktion approximierende Polynome (oder eine Potenzreihe) erhalten kann. Dies ist der Inhalt der Taylor-Entwicklung.

Definition

Es sei  $I\subseteq ℝ$  ein Intervall,

$f:I⟶ℝ$

eine $n$-mal differenzierbare Funktion und  $a\in I$.  Dann heißt

$T_{a,n}(f)(x):=\sum _{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a{)}^k$

das Taylor-Polynom vom Grad $n$ zu $f$ im Entwicklungspunkt $a$.

Das Taylor-Polynom zum Grad $n$ ist dasjenige (eindeutig bestimmte) Polynom vom Grad $\le n$, das mit $f$ an der Stelle $a$ bis zur $n$-ten Ableitung übereinstimmt.

Satz

Es sei $I$ ein reelles Intervall,

$f:I⟶ℝ$

eine $(n+1)$-mal differenzierbare Funktion und  $a\in I$  ein innerer Punkt des Intervalls.

Dann gibt es zu jedem Punkt  $x\in I$  ein  $c\in I$  mit

$f(x)=\sum _{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a{)}^k+\frac{f^{(n+1)}(c)}{(n+1)!}(x-a{)}^{n+1}.$

Dabei kann $c$ zwischen $a$ und $x$ gewählt werden.

Beweis

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

Es sei  $x\ne a$  fixiert. In Anlehnung an die zu beweisende Aussage betrachten wir zu  $r\in ℝ$  den Ausdruck

$g_r(u):=f(x)-f(u)-f^{\prime }(u)\cdot (x-u)-\frac{f^{(2)}(u)}{2!}(x-u{)}^2-\dots -\frac{f^{(n)}(u)}{n!}(x-u{)}^n-\frac{r}{(n+1)!}(x-u{)}^{n+1},$

den wir als Funktion in  $u\in I$  auffassen. Es ist  $g_r(x)=0$  und wir wählen $r$ derart, dass  $g_r(a)=0$  ist, was möglich ist. Die Funktion

$g(u):=g_r(u)$

ist auf dem Teilintervall  $]a,x[\subseteq I$  (bzw. $]x,a[$, falls $x<a$ ist.) differenzierbar (nach $u$) und besitzt an den beiden Intervallgrenzen den Wert $0$. Nach dem Satz von Rolle gibt es ein  $c\in ]a,x[$  mit  $g^{\prime }(c)=0$. 

Aufgrund der Produktregel und der Kettenregel ist (Ableitung nach $u$)

$(\frac{f^{(k)}(u)}{k!}(x-u{)}^k)=\frac{f^{(k+1)}(u)}{k!}(x-u{)}^k-\frac{f^{(k)}(u)}{(k-1)!}(x-u{)}^{k-1}.$

Daher heben sich in der Ableitung von $g$ die meisten Terme weg und es ergibt sich

$g^{\prime }(u)=-\frac{f^{(n+1)}(u)}{n!}(x-u{)}^n+\frac{r}{n!}(x-u{)}^n.$

Aus der Gleichung

$0=g^{\prime }(c)=-\frac{f^{(n+1)}(c)}{n!}(x-c{)}^n+\frac{r}{n!}(x-c{)}^n$

folgt  $r=f^{(n+1)}(c)$.  Wenn wir dies und  $u=a$  in die Anfangsgleichung einsetzen und  $g_r(a)=0$  ausnutzen, so ergibt sich die Behauptung.

$◻$

 

Korollar

Es sei $I$ ein beschränktes abgeschlossenes Intervall,

$f:I⟶ℝ$

eine $(n+1)$-mal stetig differenzierbare Funktion,  $a\in I$  ein innerer Punkt und  $B:=max(|f^{(n+1)}(c)|,c\in I)$. 

Dann gilt zwischen $f(x)$ und dem $n$-ten Taylor-Polynom die Fehlerabschätzung

$|f(x)-\sum _{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a{)}^k|\le \frac{B}{(n+1)!}|x-a{|}^{n+1}.$

Beweis

Die Zahl $B$ existiert aufgrund von Satz 16.10, da nach Voraussetzung die $(n+1)$-te Ableitung $f^{(n+1)}$ stetig auf dem kompakten Intervall $I$ ist. Die Aussage folgt somit direkt aus Satz 21.13.

$◻$

Fußnoten

<< | Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF) (PDF englisch)