Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil II/Vorlesung 50/kontrolle

Doch dann hat sie das Beste draus gemacht. Vermutlich hängt ihre Zugänglichkeit und Menschenbezogenheit auch mit ihren frühen Erfahrungen zusammen.

Wir betrachten die Polynomfunktion

$f\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto 2x^{3}-5x^{2}y-3y^{3}-4x^{2}+6xy+7x+8y-1.$

Offenbar ist ${}f(0,0)=-1$, d.h. der Wert der Funktion ist unmittelbar am konstanten Koeffizienten des Polynoms ablesbar. Ähnliches gilt für die Ableitungen an der Stelle ${}(0,0)$: Um beispielsweise ${}{\frac {\partial f}{\partial x}}(0,0)$ auszurechnen, muss man lediglich den Term ${}7x$ anschauen. Alle anderen Summanden ergeben unter der partiellen Ableitung nach ${}x$ direkt ${}0$ (wenn ${}x$ gar nicht vorkommt) oder einen Ausdruck der Form ${}iax^{i-1}y^{j}$. Da man darin ${}x=0$ und ${}y=0$ einsetzt, ergibt sich immer ${}0$, mit der Ausnahme ${}i=1$ und ${}j=0$. Somit ist ${}{\frac {\partial f}{\partial x}}(0,0)=7$.

Die höheren Ableitungen sind ebenfalls „direkt“ aus den Koeffizienten ablesbar. Beispielsweise ist

${}{\frac {\partial }{\partial x}}{\frac {\partial }{\partial x}}f(0,0)=2\cdot (-4)=-8\,,$

${}{\frac {\partial }{\partial x}}{\frac {\partial }{\partial y}}f(0,0)=6\,,$

${}{\frac {\partial }{\partial x}}{\frac {\partial }{\partial x}}{\frac {\partial }{\partial x}}f(0,0)=3\cdot 2\cdot 2=12\,,$

${}{\frac {\partial }{\partial x}}{\frac {\partial }{\partial x}}{\frac {\partial }{\partial y}}f(0,0)=2\cdot (-5)=-10\,.$

Die Taylor-Formel - Vorbereitungen

Die Taylor-Entwicklung bzw. Taylor-Formel in einer Variablen, die wir im ersten Semester kennengelernt haben (siehe insbesondere Satz 17.2 und Korollar 17.3), liefert zu einem Punkt und einer gewünschten Ordnung eine optimale Approximation in diesem Punkt einer (hinreichend oft differenzierbaren) Funktion durch ein Polynom, das Taylor-Polynom. Eine entsprechende Aussage gilt auch in mehreren Variablen. Wir beginnen mit einigen Vorbereitungen.

Zu einem Monom ${}x_{1}^{r_{1}}\cdot x_{2}^{r_{2}}\cdots x_{n}^{r_{n}}$ nennt man die Summe

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

den Grad des Monoms. 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 der beteiligten Monome 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 als

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

schreiben 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\,,$

siehe Aufgabe 50.12. 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 affin-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 Approximation, 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$ euklidischer 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. D.h. die höheren Ableitungen von ${}h$ können als eine Kombination der höheren partiellen Ableitungen auf der durch ${}P+\mathbb {R} v$ gegebenen Geraden ausgerechnet werden.

Satz Satz 50.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

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

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. Der Punkt ${}P$ heißt Entwicklungspunkt. Wenn ${}P$ der Nullpunkt ist, so schreibt man in der Regel ${}x_{1},\ldots ,x_{n}$ (oder große ${}X_{i}$) statt ${}v_{1},\ldots ,v_{n}$. Dies ist im Normalfall unproblematisch, da man ja in die partiellen Ableitungen schon die Koordinaten eingesetzt hat. 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   ändern

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 50.2.

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 50.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

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

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 50.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 50.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 50.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