Kurs:Analysis (Osnabrück 2014-2016)/Teil II/Vorlesung 49/kontrolle

Die Taylor-Formel - Vorbereitungen

Ein Polynom in ${}n$ Variablen,

$f(x_{1},\ldots ,x_{n})=\sum _{(r_{1},\ldots ,r_{n})\in \mathbb {N} ^{n}}a_{(r_{1},\ldots ,r_{n})}x_{1}^{r_{1}}x_{2}^{r_{2}}\cdots x_{n}^{r_{n}}\,$

(wobei die Summe endlich ist) lässt sich entlang des Grades des Exponententupels, also

${}\vert {\,r\,}\vert =\vert {\,(r_{1},\ldots ,r_{n})\,}\vert =\sum _{j=1}^{n}r_{j}\,$

anordnen, also

$f(x_{1},\ldots ,x_{n})=\sum _{d=0}^{e}\left(\sum _{(r_{1},\ldots ,r_{n})\in \mathbb {N} ^{n},\,\vert {\,r\,}\vert =d}a_{(r_{1},\ldots ,r_{n})}x_{1}^{r_{1}}x_{2}^{r_{2}}\cdots x_{n}^{r_{n}}\right)\,.$

Für jedes ${}k\in \mathbb {N}$ kann man dies auch schreiben als

${}f(x_{1},\ldots ,x_{n})=T_{k}(x_{1},\ldots ,x_{n})+R_{k}(x_{1},\ldots ,x_{n})\,$

mit ($x=(x_{1},\ldots ,x_{n})$)

$T_{k}(x)=\sum _{d=0}^{k}\left(\sum _{(r_{1},\ldots ,r_{n})\in \mathbb {N} ^{n},\,\vert {\,r\,}\vert =d}a_{(r_{1},\ldots ,r_{n})}x_{1}^{r_{1}}x_{2}^{r_{2}}\cdots x_{n}^{r_{n}}\right)\,\,{\text{ und }}\,\,R_{k}(x)=\sum _{d=k+1}^{e}\left(\sum _{(r_{1},\ldots ,r_{n})\in \mathbb {N} ^{n},\,\vert {\,r\,}\vert =d}a_{(r_{1},\ldots ,r_{n})}x_{1}^{r_{1}}x_{2}^{r_{2}}\cdots x_{n}^{r_{n}}\right).$

Für ${}R_{k}$ gilt dabei

${}\operatorname {lim} _{x\rightarrow 0}\,{\frac {\Vert {R_{k}(x)}\Vert }{\Vert {x}\Vert ^{k}}}=0\,.$

Bei ${}k=1$ ist

${}T_{1}(x)=a_{(0,\ldots ,0)}+a_{(1,0,\ldots ,0)}x_{1}+\cdots +a_{(0,\ldots ,0,1)}x_{n}\,$

die lineare Approximation von ${}f$ im Punkt ${}0=(0,\ldots ,0)$, und dabei gilt für die Abweichung in der linearen Approximation die Beziehung

${}r(x)={\frac {R_{1}(x)}{\Vert {x}\Vert }}\,.$

Im Allgemeinen liefern die Polynome ${}T_{k}(x)$ bessere Approximationen im Nullpunkt als die lineare Approxmation, und mit ${}R_{k}(x)$ kann man die Abweichung kontrollieren. Entscheidend für uns ist, dass man nicht nur für Polynomfunktionen, sondern generell für hinreichend oft differenzierbare Funktionen ${}f$ approximierende Polynome finden und die Abweichung gut kontrollieren kann. Dies ist der Inhalt der Taylor-Formel für Funktionen in mehreren Variablen.

Zu einem Vektor ${}x=(x_{1},\ldots ,x_{n})\in \mathbb {R} ^{n}$ und einem Tupel ${}r=(r_{1},\ldots ,r_{n})$ aus natürlichen Zahlen setzt man abkürzend

${}x^{r}:=x_{1}^{r_{1}}\cdots x_{n}^{r_{n}}\,.$

Entsprechend schreibt man für eine Polynomfunktion abkürzend

${}f(x_{1},\ldots ,x_{n})=\sum _{(r_{1},\ldots ,r_{n})\in \mathbb {N} ^{n}}a_{(r_{1},\ldots ,r_{n})}x_{1}^{r_{1}}x_{2}^{r_{2}}\cdots x_{n}^{r_{n}}=\sum _{r\in \mathbb {N} ^{n}}a_{r}x^{r}\,.$

Die gleiche Abkürzungsphilosophie übernimmt man für Richtungsableitungen. Wenn ${}V$ ein ${}\mathbb {R}$-Vektorraum mit einer Basis ${}w_{1},\ldots ,w_{n}$ ist, so setzt man ${}D_{i}:=D_{w_{i}}$, und für ${}r=(r_{1},\ldots ,r_{n})$ setzt man

${}D^{r}:=D_{1}^{r_{1}}\circ D_{2}^{r_{2}}\circ \cdots \circ D_{n}^{r_{n}}\,.$

Diese Bezeichnung verwendet man insbesondere im ${}\mathbb {R} ^{n}$, versehen mit der Standardbasis und den partiellen Ableitungen. Man beachte, dass man aufgrund des Satzes von Schwarz unter gewissen Differenzierbarkeitsvoraussetzungen sämtliche Reihenfolgen von Richtungsableitungen in dieser Weise ausdrücken kann. Des weiteren definieren wir für ein Tupel ${}r=(r_{1},\ldots ,r_{n})$ die Fakultät durch

${}r!:=r_{1}!\cdots r_{n}!\,$

und bei ${}\sum _{j=1}^{n}r_{j}=k$ die Multinomialkoeffizienten (oder Polynomialkoeffizienten) durch

${}{\binom {k}{r}}:={\frac {k!}{r!}}={\frac {{k}!}{r_{1}!r_{2}!\cdots r_{n}!}}\,.$

Bevor wir die Taylor-Formel beweisen, die das lokale Verhalten einer Funktion in einer „kleinen“ offenen Ballumgebung eines Punktes beschreibt, wenden wir uns dem lokalen Verhalten in dem Punkt längs einer fixierten Richtung zu, wofür wir die Taylor-Formel in einer Variablen zur Verfügung haben. Zu einer Funktion ($G\subseteq V$, ${}V$ endlichdimensionaler reeller Vektorraum)

$f\colon G\longrightarrow \mathbb {R}$

ist die Differenzierbarkeit im Punkt ${}P\in G$ in Richtung ${}v\in V$ äquivalent zur Differenzierbarkeit der Funktion

$h\colon I\longrightarrow \mathbb {R} ,\,t\longmapsto h(t)=f(P+tv),$

für ${}t=0$, wobei ${}I$ ein geeignetes reelles Intervall ist. Wir werden zunächst zeigen, dass eine entsprechende Beziehung auch für höhere Ableitungen gilt.

Satz Satz 49.1 ändern

Es sei ${}G\subseteq \mathbb {R} ^{n}$ offen,

$f\colon G\longrightarrow \mathbb {R}$

eine ${}k$-mal

stetig differenzierbare Funktion, ${}P\in G$ ein Punkt und ${}v=(v_{1},\ldots ,v_{n})\in \mathbb {R} ^{n}$ eine fixierte Richtung. Es sei

$h\colon I\longrightarrow \mathbb {R} ,\,t\longmapsto h(t)=f(P+tv),$

wobei ${}I$ ein offenes Intervall um ${}0$ sei mit ${}P+tv\in G$ für alle ${}t\in I$.

Dann ist ${}h$ ebenfalls ${}k$-mal stetig differenzierbar, und es gilt

${}h^{(k)}(t)=\sum _{\vert {\,r\,}\vert =k}{\frac {k!}{r!}}D^{r}f(P+tv)\cdot v^{r}\,$

für alle ${}t\in I$.

Beweis

Wir zeigen durch Induktion über ${}k$, dass

$h^{(k)}(t)=\sum _{(i_{1},\ldots ,i_{k})\in {\{1,\ldots ,n\}}^{k}}D_{i_{k}}\cdots D_{i_{1}}f(P+tv)\cdot v_{i_{1}}\cdots v_{i_{k}}\,$

gilt. Hier wird also über jede Richtungsreihenfolge der Länge ${}k$ aufsummiert, später werden wir unter Verwendung des Satzes von Schwarz gleiche Summanden zusammenfassen. Für ${}k=1$ ist

${}{\begin{aligned}h'(t)&={\left(D_{v}f\right)}{\left(P+tv\right)}\\&={\left(Df\right)}_{P+tv}{\left(v\right)}\\&={\left(Df\right)}_{P+tv}{\left(\sum _{j=1}^{n}v_{j}e_{j}\right)}\\&=\sum _{j=1}^{n}v_{j}\cdot {\left(Df\right)}_{P+tv}{\left(e_{j}\right)}\\&=\sum _{j=1}^{n}v_{j}\cdot D_{j}f(P+tv).\end{aligned}}$  

Der Induktionsschluss ergibt sich aus

${}{\begin{aligned}h^{(k+1)}(t)&=(h^{(k)}(t))'\\&={\left(\sum _{(i_{1},\ldots ,i_{k})\in {\{1,\ldots ,n\}}^{k}}D_{i_{k}}\cdots D_{i_{1}}f(P+tv)\cdot v_{i_{1}}\cdots v_{i_{k}}\right)}'\\&=\sum _{j=1}^{n}D_{j}{\left(\sum _{(i_{1},\ldots ,i_{k})\in {\{1,\ldots ,n\}}^{k}}D_{i_{k}}\cdots D_{i_{1}}f(P+tv)\cdot v_{i_{1}}\cdots v_{i_{k}}\right)}v_{j}\\&=\sum _{j=1}^{n}{\left(\sum _{(i_{1},\ldots ,i_{k})\in {\{1,\ldots ,n\}}^{k}}D_{j}D_{i_{k}}\cdots D_{i_{1}}f(P+tv)\cdot v_{i_{1}}\cdots v_{i_{k}}v_{j}\right)}\\&=\sum _{(i_{1},\ldots ,i_{k},j)\in {\{1,\ldots ,n\}}^{k+1}}D_{j}D_{i_{k}}\cdots D_{i_{1}}f(P+tv)\cdot v_{i_{1}}\cdots v_{i_{k}}v_{j}.\end{aligned}}$ 

Aufgrund des Satzes von Schwarz kommt es nicht auf die Reihenfolge der Richtungableitungen an, d.h. zwei Summanden in der obigen Summe stimmen überein, wenn darin die jeweiligen Richtungsableitungen gleichhäufig vorkommen. Die Anzahl der Tupel ${}(i_{1},\ldots ,i_{k})$ in ${}{\{1,\ldots ,n\}}^{k}$, bei denen die Zahl ${}i$ genau ${}r_{i}$-mal vorkommt, wird durch die Polynomialkoeffizienten

${}{\binom {k}{r}}={\frac {k!}{r!}}={\frac {k!}{r_{1}!\cdots r_{n}!}}\,$

beschrieben. Daraus ergibt sich die Behauptung.

$\Box$

Definition Referenznummer erstellen

Es sei ${}G\subseteq \mathbb {R} ^{n}$ eine offene Teilmenge,

$f\colon G\longrightarrow \mathbb {R}$

eine ${}k$-mal stetig-differenzierbare Funktion und ${}P\in G$. Dann heißt

$\sum _{r={\left(r_{1},\ldots ,r_{n}\right)},\,\vert {\,r\,}\vert \leq k}{\frac {1}{r!}}D^{r}f(P)\cdot v^{r}$

das Taylor-Polynom vom Grad ${}\leq k$ zu ${}f$ in ${}P$.

Es liegt also ein Polynom in den (verschobenen) Variablen ${}v_{1},\ldots ,v_{n}$ vor. Wenn ${}P=(a_{1},\ldots ,a_{n})$ ist, so schreibt man meistens ${}x_{i}-a_{i}$ statt ${}v_{i}$, wobei die ${}x_{i}$ die Standardkoordinaten des ${}\mathbb {R} ^{n}$ bezeichnen. Man spricht auch vom Taylor-Polynom der Ordnung ${}k$ oder einfach vom ${}k$-ten Taylor-Polynom.

Das ${}0$-teTaylor-Polynom ist das konstante Polynom, das durch den Funktionswert ${}f(P)$ gegeben ist, das ${}1$-teTaylor-Polynom ist die lineare Approximation von ${}f$ in ${}P$ und das ${}2$-teTaylor-Polynom ist die quadratische Approximation von ${}f$ in ${}P$.

Bemerkung   Referenznummer erstellen

Ein Polynom ${}f$ vom Grad ${}d$ stimmt mit seinem Taylor-Polynom vom Grad ${}k\geq d$ im Nullpunkt ${}0=(0,\ldots ,0)$ überein. Wegen der Additivität der Richtungsableitungen muss man dies nur für ${}f=ax_{1}^{r_{1}}\cdots x_{n}^{r_{n}}$ überprüfen. Es ist aber

${}D^{r}f(0)=D_{1}^{r_{1}}\cdots D_{n}^{r_{n}}f(0)={\left(r_{1}!\right)}\cdots {\left(r_{n}!\right)}a=r!a\,$

und

${}D^{s}f(0)=0\,$

für jedes ${}n$-Tupel ${}s=(s_{1},\ldots ,s_{n})\neq r$, siehe Aufgabe *****. {{:Kurs:Kurs:Analysis (Osnabrück 2014-2016)/Monom/R/Höhere partielle Ableitung/Nullpunkt/Aufgabe/Aufgabereferenznummer/Monom/R/Höhere partielle Ableitung/Nullpunkt/Aufgabe/Aufgabereferenznummer}}

Wenn man zu einem Polynom ${}f$ die Taylor-Polynome in einem Punkt

${}P=(a_{1},\ldots ,a_{n})\,$

berechnen möchte, so kann man (neben der Berechnung der Ableitungen) auch folgendermaßen vorgehen: Man schreibt das Polynom ${}f$ in den Variablen ${}y_{i}=x_{i}-a_{i}$. Dazu ersetzt man in ${}f$ die Variablen ${}x_{i}$ durch

${}x_{i}=x_{i}-a_{i}+a_{i}=y_{i}+a_{i}\,$

und rechnet dies aus, bis ein Polynom in ${}y_{i}$ dasteht. Aus diesem Polynom sind die Taylor-Polynome im Entwicklungspunkt ${}P$ direkt ablesbar.

Beispiel Referenznummer erstellen

Wir betrachten die Funktion

$f\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto e^{y}\sin x-3xy,$

und wollen die Taylor-Polynome bis zur Ordnung ${}3$ dazu im Nullpunkt berechnen. Das Taylor-Polynom der Ordnung ${}0$ ist das konstante Nullpolynom, da ${}f(0,0)=0$ ist. Für das Taylor-Polynom der Ordnung ${}1$ müssen wir die beiden partiellen Ableitungen ausrechnen. Diese sind

${\frac {\partial f}{\partial x}}=e^{y}\cos x-3y\,\,{\text{ und }}\,\,{\frac {\partial f}{\partial y}}=e^{y}\sin x-3x$

mit den Werten ${}1$ und ${}0$. Daher ist ${}x$ die lineare Approximation zu ${}f$, also das Taylor-Polynom der Ordnung ${}1$. Für das Taylor-Polynom der Ordnung ${}2$ berechnen wir die zweiten Ableitungen, diese sind

${}{\frac {\partial }{\partial x}}{\frac {\partial f}{\partial x}}=-e^{y}\sin x\,,$

${}{\frac {\partial }{\partial y}}{\frac {\partial f}{\partial x}}=e^{y}\cos x-3\,$

und

${}{\frac {\partial }{\partial y}}{\frac {\partial f}{\partial y}}=e^{y}\sin x\,.$

Die Werte dieser zweiten partiellen Ableitungen im Nullpunkt sind der Reihe nach ${}0,-2,0$, sodass das zweite Taylor-Polynom (also die quadratische Approximation) gleich

$x-2xy$

ist. Für das Taylor-Polynom der Ordnung ${}3$ berechnen wir die dritten Ableitungen, diese sind

${}{\frac {\partial }{\partial x}}{\frac {\partial }{\partial x}}{\frac {\partial f}{\partial x}}=-e^{y}\cos x\,,$

${}{\frac {\partial }{\partial y}}{\frac {\partial }{\partial x}}{\frac {\partial f}{\partial x}}=-e^{y}\sin x\,,$

${}{\frac {\partial }{\partial y}}{\frac {\partial }{\partial y}}{\frac {\partial f}{\partial x}}=e^{y}\cos x\,,$

und

${}{\frac {\partial }{\partial y}}{\frac {\partial }{\partial y}}{\frac {\partial f}{\partial y}}=e^{y}\sin x\,.$

Die Werte dieser dritten partiellen Ableitungen im Nullpunkt sind ${}-1,0,1,0$, sodass (wegen $(3,0)!=6$ und $(1,2)!=2$) das dritte Taylor-Polynom gleich

$x-2xy-{\frac {1}{6}}x^{3}+{\frac {1}{2}}xy^{2}$

ist.

Satz Satz 49.5 ändern

Es sei ${}G\subseteq \mathbb {R} ^{n}$ offen,

$f\colon G\longrightarrow \mathbb {R}$

eine ${}(k+1)$-mal

stetig differenzierbare Funktion, ${}P\in G$ ein Punkt und ${}v\in \mathbb {R} ^{n}$ derart, dass die Strecke von ${}P$ nach ${}P+v$ ganz in ${}G$ liegt. Dann gibt es ein ${}c\in [0,1]$ mit

$f(P+v)=\sum _{\vert {\,r\,}\vert \leq k}{\frac {1}{r!}}D^{r}f(P)\cdot v^{r}+\sum _{\vert {\,r\,}\vert =k+1}{\frac {1}{r!}}D^{r}f(P+cv)\cdot v^{r}\,.$

Beweis

Die Funktion

$h\colon {]{-\delta },1+\delta [}\longrightarrow \mathbb {R} ,\,t\longmapsto h(t)=f(P+tv),$

(mit einem geeigneten ${}\delta >0$) ist nach Satz 49.1 ${}(k+1)$-mal differenzierbar. Aufgrund der Taylor-Formel für eine Variable gibt es ein ${}c\in [0,1]$ mit

${}h(1)=\sum _{j=0}^{k}{\frac {h^{(j)}(0)}{j!}}+{\frac {h^{(k+1)}(c)}{(k+1)!}}\,.$

Wir drücken die einzelnen Summanden mit Hilfe von Satz 49.1 aus und erhalten

${}{\begin{aligned}f(P+v)&=h(1)\\&=\sum _{j=0}^{k}{\frac {h^{(j)}(0)}{j!}}+{\frac {h^{(k+1)}(c)}{(k+1)!}}\\&=\sum _{\vert {\,r\,}\vert \leq k}{\frac {1}{r!}}D^{r}f(P)\cdot v^{r}+\sum _{\vert {\,r\,}\vert =k+1}{\frac {1}{r!}}D^{r}f(P+cv)\cdot v^{r}.\end{aligned}}$

$\Box$

Die Taylor-Formel

Satz Referenznummer erstellen

Es sei ${}G\subseteq \mathbb {R} ^{n}$ offen,

$f\colon G\longrightarrow \mathbb {R}$

eine ${}k$-mal

stetig differenzierbare Funktion, ${}P\in G$ ein Punkt und ${}\epsilon >0$ derart, dass ${}U{\left(P,\epsilon \right)}\subseteq G$ ist.

Dann gilt für alle ${}v$ mit ${}P+v\in U{\left(P,\epsilon \right)}$ die Beziehung

${}f(P+v)=\sum _{\vert {\,r\,}\vert \leq k}{\frac {1}{r!}}D^{r}f(P)\cdot v^{r}+R_{k}(v)\,,$

wobei

${}\operatorname {lim} _{v\rightarrow 0}\,{\frac {\Vert {R_{k}(v)}\Vert }{\Vert {v}\Vert ^{k}}}=0\,$

ist.

Beweis

Nach Satz 49.5 gibt es zu jedem ${}v\in U{\left(0,\epsilon \right)}$ ein (von ${}v$ abhängiges) ${}c\in [0,1]$ mit

${}{\begin{aligned}f(P+v)&=\sum _{\vert {\,r\,}\vert \leq k-1}{\frac {1}{r!}}D^{r}f(P)\cdot v^{r}+\sum _{\vert {\,r\,}\vert =k}{\frac {1}{r!}}D^{r}f(P+cv)\cdot v^{r}\\&=\sum _{\vert {\,r\,}\vert \leq k}{\frac {1}{r!}}D^{r}f(P)\cdot v^{r}+\sum _{\vert {\,r\,}\vert =k}{\frac {1}{r!}}{\left(D^{r}f(P+cv)-D^{r}f(P)\right)}v^{r}.\end{aligned}}$

Die rechte Summe ist also die Abweichungsfunktion ${}R_{k}$, die wir abschätzen müssen. Wegen

${}{\begin{aligned}\Vert {R_{k}(v)}\Vert &\leq \sum _{\vert {\,r\,}\vert =k}{\frac {1}{r!}}\Vert {D^{r}f(P+cv)-D^{r}f(P)}\Vert \cdot \Vert {v^{r}}\Vert \\&=\sum _{\vert {\,r\,}\vert =k}{\frac {1}{r!}}\Vert {D^{r}f(P+cv)-D^{r}f(P)}\Vert \cdot \vert {v_{1}^{r_{1}}}\vert \cdots \vert {v_{n}^{r_{n}}}\vert \\&\leq \sum _{\vert {\,r\,}\vert =k}{\frac {1}{r!}}\Vert {D^{r}f(P+cv)-D^{r}f(P)}\Vert \cdot \Vert {v}\Vert ^{r_{1}}\cdots \Vert {v}\Vert ^{r_{n}}\\&=\sum _{\vert {\,r\,}\vert =k}{\frac {1}{r!}}\Vert {D^{r}f(P+cv)-D^{r}f(P)}\Vert \cdot \Vert {v}\Vert ^{k}\end{aligned}}$

ist

${}{\frac {\Vert {R_{k}(v)}\Vert }{\Vert {v}\Vert ^{k}}}\leq \sum _{\vert {\,r\,}\vert =k}{\frac {1}{r!}}\Vert {D^{r}f(P+cv)-D^{r}f(P)}\Vert \,.$

Da nach Voraussetzung die ${}k$-ten Richtungsableitungen stetig sind, existiert für jede einzelne Funktion ${}D^{r}f(P+cv)-D^{r}f(P)$ der Limes für ${}v\rightarrow 0$ und ist gleich ${}0$. Daher gilt dies auch für die Summe rechts und damit auch für den Ausdruck links.

$\Box$

Fußnoten