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

Totale Differenzierbarkeit

Wir möchten Abbildungen ${}\varphi \colon V\rightarrow W$ zwischen Vektorräumen differenzieren (ohne auf eine Richtung Bezug zu nehmen), und allgemeiner Abbildungen

$\varphi \colon G\longrightarrow W,$

wobei ${}G\subseteq V$ eine gewisse offene Teilmenge ist. Wir wiederholen kurz die Situation in einer Variablen: Angenommen wir haben eine Abbildung ${}\varphi \colon \mathbb {R} \rightarrow \mathbb {R}$, dann ist die Grundidee einer differenzierbaren Abbildung und ihrer Ableitung, eine „Tangente an den Graphen“ anzulegen. Dabei kann man sagen, dass die Tangente die beste lineare Approximation von ${}\varphi$ (genauer: Der Graph einer affin-linearen Approximation) in einem gegebenen Punkt ${}x\in \mathbb {R}$ darstellt. Da die Steigung der Tangente wieder eine reelle Zahl ist, wird beim Differenzieren jedem Punkt ${}x$ wieder eine Zahl zugeordnet. Wir erhalten also eine neue Funktion, welche wir mit ${}\varphi '$ bezeichnen. Im höherdimensionalen Fall ist dies komplizierter, aber die Idee einer bestmöglichen linearen Approximation bleibt bestehen.

Die Übereinstimmung der Konzepte wird auch deutlich, wenn man den Graphen einer Abbildung anschaut. Zu einer differenzierbaren Funktion ${}f\colon \mathbb {R} \rightarrow \mathbb {R}$ schmiegt sich die Tangente im Punkt ${}(P,f(P))$ an den Graphen zu ${}f$ an. Zu einer Funktion

$f\colon \mathbb {R} ^{2}\longrightarrow \mathbb {R}$

ist der Graph eine Teilmenge von ${}\mathbb {R} ^{2}\times \mathbb {R} =\mathbb {R} ^{3}$, den man sich als ein Gebirge über der Ebene vorstellen sollte. Eine sinnvolle Fragestellung ist, ob es zu einem Punkt ${}(P,f(P))$ eine anschmiegende Tangentialebene an den Graphen zu ${}f$ gibt, die man als den Graphen einer affin-linearen Abbildung ${}\mathbb {R} ^{2}\rightarrow \mathbb {R}$ realisieren kann.

Im Folgenden nehmen wir an, dass alle Vektorräume endlichdimensional und mit einer euklidischen Norm versehen sind. Wie schon in Lemma 37.1 erwähnt wurde, hängt die Topologie, also die Konzepte offene Menge, Stetigkeit, Konvergenz, nicht von der gewählten euklidischen Struktur ab.

Definition Definition 48.1 ändern

Es seien ${}V$ und ${}W$ endlichdimensionale ${}{\mathbb {R} }$- Vektorräume, ${}G\subseteq V$ eine offene Menge und ${}\varphi \colon G\rightarrow W$ eine Abbildung. Dann heißt ${}\varphi$ differenzierbar (oder total differenzierbar) im Punkt ${}P\in G$, wenn es eine ${}{\mathbb {R} }$- lineare Abbildung ${}L\colon V\rightarrow W$ mit der Eigenschaft

${}\varphi (P+v)=\varphi (P)+L(v)+\Vert {v}\Vert r(v)\,$

gibt, wobei ${}r\colon U{\left(0,\delta \right)}\rightarrow W$ eine in ${}0$ stetige Abbildung mit ${}r(0)=0$ ist und die Gleichung für alle ${}v\in V$ mit ${}P+v\in U{\left(P,\delta \right)}\subseteq G$ gilt.

Diese lineare Abbildung ${}L$ heißt, falls sie existiert, das (totale) Differential von ${}\varphi$ an der Stelle ${}P$ und wird mit

$\left(D\varphi \right)_{P}$

bezeichnet.

Äquivalent zur totalen Differenzierbarkeit ist die Eigenschaft, dass der Ausdruck

${}r(v)={\frac {\varphi (P+v)-\varphi (P)-L(v)}{\Vert {v}\Vert }}\,$

für ${}v\rightarrow 0$ gegen ${}0$ konvergiert. Ebenfalls äquivalent ist die Eigenschaft, dass der Limes (von Funktionen)

$\operatorname {lim} _{v\rightarrow 0,v\neq 0}\,{\frac {\Vert {\varphi (P+v)-\varphi (P)-L(v)}\Vert }{\Vert {v}\Vert }}$

existiert und gleich ${}0$ ist (siehe Aufgabe 37.7).

Das Konzept der totalen Differenzierbarkeit ist eher theoretisch und weniger konkreten Berechnungen zugänglich. Wir werden in Satz 48.11 dieses Konzept mit dem Konzept der partiellen Ableitungen in Verbindung bringen, welches eher für Berechnungen geeignet ist, jedoch von Koordinaten, d.h. von der Auswahl einer Basis, abhängt (siehe auch Beispiel 49.7 in der nächsten Vorlesung).

Lemma Referenznummer erstellen

Es seien ${}V$ und ${}W$ endlichdimensionale ${}{\mathbb {R} }$- Vektorräume und sei die Abbildung ${}\varphi \colon G\rightarrow W$ auf einer offenen Teilmenge ${}G\subseteq V$ definiert. Sei ${}P\in G$ ein Punkt.

Dann existiert höchstens eine lineare Abbildung mit den Eigenschaften aus Definition 48.1.

Ist ${}\varphi$ im Punkt ${}P$ differenzierbar, so ist das totale Differential ${}\left(D\varphi \right)_{P}$ eindeutig bestimmt.

Beweis

Angenommen, es gelte

${}\varphi (P+v)=\varphi (P)+L_{1}(v)+\Vert {v}\Vert \cdot r_{1}(v)\,$

und

${}\varphi (P+v)=\varphi (P)+L_{2}(v)+\Vert {v}\Vert \cdot r_{2}(v)\,$

mit linearen Abbildungen ${}L_{1}$ und ${}L_{2}$ und mit im Punkt ${}0$ stetigen Funktionen ${}r_{1},r_{2}\colon U{\left(0,\delta \right)}\rightarrow W$ mit ${}r_{1}(0)=r_{2}(0)=0$. Wir müssen ${}L_{1}=L_{2}$ zeigen. Dazu ziehen wir die beiden Gleichungen voneinander ab (da es sich hier um Gleichungen von Funktionswerten im Vektorraum ${}W$ handelt, ist hier werteweises Abziehen gemeint) und erhalten die Gleichung

${}0=(L_{1}-L_{2})(v)+\Vert {v}\Vert \cdot (r_{1}(v)-r_{2}(v))\,.$

Daher müssen wir zeigen, dass die (konstante) Nullabbildung die Eigenschaft besitzt, dass die lineare Abbildung ${}0$ ihre einzige lineare Approximation ist.  Wir nehmen daher an, dass

${}0=L(v)+\Vert {v}\Vert \cdot r(v)\,$

gilt, wobei ${}L$ linear und ${}r$ eine in ${}0$ stetige Funktion mit ${}r(0)=0$ ist. Wenn ${}L$ nicht die Nullabbildung ist, so gibt es einen Vektor ${}v\in V$ mit ${}L(v)=w\neq 0$. Dann gilt für ${}s\in {\mathbb {R} }$

${}0=L(sv)+\Vert {sv}\Vert r(sv)=sw+\vert {s}\vert \cdot \Vert {v}\Vert \cdot r(sv)\,.$

Dies impliziert, dass ${}r(sv)=-{\frac {sw}{\vert {s}\vert \cdot \Vert {v}\Vert }}$ für ${}s\neq 0$ gilt. Die Norm von ${}r(sv)$ ist daher konstant gleich ${}{\frac {\Vert {w}\Vert }{\Vert {v}\Vert }}\neq 0$. Also gilt ${}\operatorname {lim} _{s\rightarrow 0}\,\Vert {r(sv)}\Vert \neq 0$, ein Widerspruch.

$\Box$

Beispiel Referenznummer erstellen

Ist ${}\varphi \colon V\rightarrow W$ konstant mit ${}\varphi (v)=w\in W$ für alle ${}v\in V$, so ist ${}\varphi$ differenzierbar mit totalem Differential ${}0$ (siehe Aufgabe 48.6).

Proposition Proposition 48.4 ändern

Es sei ${}L\colon V\rightarrow W$ eine ${}{\mathbb {R} }$- lineare Abbildung zwischen den endlichdimensionalen ${}{\mathbb {R} }$- Vektorräumen ${}V$ und ${}W$.

Dann ist ${}L$ in jedem Punkt ${}P\in V$ differenzierbar und stimmt in jedem Punkt mit ihrem totalen Differential überein.

Beweis

Aufgrund der Linearität gilt

${}L(P+v)=L(P)+L(v)\,.$

Also können wir ${}r=0$ wählen.

$\Box$

Diese Aussage gilt auch für affin-lineare Abbildungen, also Abbildungen der Form

$\varphi \colon V\longrightarrow W,\,v\longmapsto L(v)+w,$

mit einer linearen Abbildung ${}L$ und einem festen Vektor ${}w\in W$. In diesem Fall ist das totale Differential gleich ${}L$.

Beispiel Referenznummer erstellen

Wir zeigen direkt, dass die Funktion

${}f(x,y)=x^{2}+y^{2}\,$

im Nullpunkt ${}(0,0)$ total differenzierbar ist, und zwar mit der Nullabbildung als totales Differential. Dazu muss man nur zeigen, dass in der Gleichung

${}f((0,0)+(x,y))=f(x,y)=x^{2}+y^{2}=f(0,0)+0\cdot (x,y)+\Vert {(x,y)}\Vert r(x,y)=\Vert {(x,y)}\Vert r(x,y)\,$

die Funktion ${}r(x,y)$ die verlangten Eigenschaften besitzt. Wegen ${}\Vert {(x,y)}\Vert ={\sqrt {x^{2}+y^{2}}}$ ist aber ${}r(x,y)={\frac {x^{2}+y^{2}}{\sqrt {x^{2}+y^{2}}}}={\sqrt {x^{2}+y^{2}}}$ und diese Funktion ist stetig im Nullpunkt mit dem Wert ${}0$.

Lemma Lemma 48.6 ändern

Es sei ${}I$ ein reelles Intervall, ${}W$ ein euklidischer Vektorraum und

$\gamma \colon I\longrightarrow W$

eine Abbildung.

Dann ist ${}\gamma$ genau dann in ${}t\in I$ als Kurve differenzierbar, wenn ${}\gamma$ in ${}t$ total differenzierbar ist.

In diesem Fall besteht die Beziehung

${}\gamma '(t)=\left(D\gamma \right)_{t}(1)\,.$

Beweis

Die Kurvendifferenzierbarkeit im Punkt ${}t$ bedeutet nach Definition 37.3 die Existenz des Limes

$\operatorname {lim} _{h\rightarrow 0}\,{\frac {\gamma (t+h)-\gamma (t)}{h}}.$

Diese Existenz ist (entsprechend Satz 14.5) dazu äquivalent, dass man

${}\gamma (t+h)=\gamma (t)+hw+h\cdot r(h)\,$

mit einem Vektor ${}w\in W$ und einer in ${}0$ stetigen Abbildung ${}r$ mir ${}r(0)=0$ schreiben kann (wobei ${}w=\gamma '(t)$ sein muss). Dabei kann man hinten ${}h$ durch ${}\vert {h}\vert$ ersetzen (wobei man auch ${}r(h)$ abwandeln muss). Diese lineare Approximierbarkeit ist aber die Definition der totalen Differenzierbarkeit, und zwar ist die lineare Abbildung durch

$\mathbb {R} \longrightarrow W,\,h\longmapsto hw,$

gegeben. Somit ist

${}\gamma '(t)=w=\left(D\gamma \right)_{t}(1)\,.$

$\Box$

Proposition Referenznummer erstellen

Es seien ${}V$ und ${}W$ endlichdimensionale ${}{\mathbb {R} }$- Vektorräume und es sei ${}G\subseteq V$ eine offene Teilmenge. Es seien ${}\varphi _{1},\varphi _{2}\colon G\rightarrow W$ im Punkt ${}P\in G$ differenzierbare Abbildungen mit den totalen Differentialen ${}\left(D\varphi _{1}\right)_{P}$ und ${}\left(D\varphi _{2}\right)_{P}$.

Dann ist auch ${}\varphi =\varphi _{1}+\varphi _{2}$ in ${}P$ differenzierbar und es gilt

${}\left(D(\varphi _{1}+\varphi _{2})\right)_{P}=\left(D\varphi _{1}\right)_{P}+\left(D\varphi _{2}\right)_{P}\,.$

Ebenso gilt ${}\left(D(a\varphi _{1})\right)_{P}=a\left(D\varphi _{1}\right)_{P}$ für alle ${}a\in {\mathbb {R} }$.

Beweis

Sei ${}\varphi _{1}(P+v)=\varphi _{1}(P)+L_{1}(v)+\Vert {v}\Vert \cdot r_{1}(v)$ und ${}\varphi _{2}(P+v)=\varphi _{2}(P)+L_{2}(v)+\Vert {v}\Vert \cdot r_{2}(v)$. Dann gilt

${}{\begin{aligned}(\varphi _{1}+\varphi _{2})(P+v)&=\varphi _{1}(P+v)+\varphi _{2}(P+v)\\&=\varphi _{1}(P)+L_{1}(v)+\Vert {v}\Vert \cdot r_{1}(v)+\varphi _{2}(P)+L_{2}(v)+\Vert {v}\Vert \cdot r_{2}(v)\\&=(\varphi _{1}+\varphi _{2})(P)+(L_{1}+L_{2})(v)+\Vert {v}\Vert (r_{1}(v)+r_{2}(v)).\end{aligned}}$

Wir erhalten also die gewünschte Gestalt, da auch ${}r_{1}+r_{2}$ in ${}0$ stetig mit ${}(r_{1}+r_{2})(0)=0$ ist. Der Beweis der zweiten Aussage ist ähnlich.

$\Box$

Proposition Referenznummer erstellen

Es seien ${}V$ und ${}W$ endlichdimensionale ${}{\mathbb {R} }$- Vektorräume und ${}G\subseteq V$ eine offene Teilmenge. Es sei ${}\varphi \colon G\rightarrow W$ eine in ${}P\in G$ differenzierbare Abbildung.

Dann ist ${}\varphi$ auch stetig im Punkt ${}P$.

Beweis

Nach Definition gilt ${}\varphi (P+v)=\varphi (P)+L(v)+\Vert {v}\Vert \cdot r(v)$ Die rechte Seite ist stetig (nach Definition 46.1 und Satz 36.10) in ${}v=0$. Damit ist ${}\varphi$ stetig in ${}P$.

$\Box$

Totale Differenzierbarkeit und partielle Ableitungen

Im Folgenden wollen wir den Zusammenhang zwischen Richtungsableitungen, partiellen Ableitungen und dem totalen Differential verstehen. Totale Differenzierbarkeit impliziert richtungsweise Differenzierbarkeit.

Proposition Proposition 48.9 ändern

Es seien ${}V$ und ${}W$ endlichdimensionale ${}{\mathbb {R} }$- Vektorräume, es sei ${}G\subseteq V$ eine offene Teilmenge und ${}\varphi \colon G\rightarrow W$ eine im Punkt ${}P\in G$ differenzierbare Abbildung.

Dann ist ${}\varphi$ in ${}P$ in jede Richtung ${}v$ differenzierbar, und es gilt

${}{\left(D_{v}\varphi \right)}{\left(P\right)}={\left(D\varphi \right)}_{P}{\left(v\right)}\,.$

Beweis

Da ${}\left(D\varphi \right)_{P}$ eine lineare Abbildung von ${}V$ nach ${}W$ ist, liefert die Anwendung dieser Abbildung auf einen Vektor ${}v\in V$ einen Vektor in ${}{\left(D\varphi \right)}_{P}{\left(v\right)}\in W$. Nach Voraussetzung haben wir

${}\varphi (P+v)=\varphi (P)+{\left(D\varphi \right)}_{P}{\left(v\right)}+\Vert {v}\Vert \cdot r(v)\,$

(mit den üblichen Bedingungen an ${}r$). Insbesondere gilt für (hinreichend kleines) ${}s\in {\mathbb {R} }$

${}\varphi (P+sv)=\varphi (P)+s{\left(D\varphi \right)}_{P}{\left(v\right)}+\vert {s}\vert \cdot \Vert {v}\Vert \cdot r(sv)\,.$

Also gilt

${}{\begin{aligned}\operatorname {lim} _{s\rightarrow 0,s\neq 0}\,{\frac {\varphi (P+sv)-\varphi (P)}{s}}&=\operatorname {lim} _{s\rightarrow 0,s\neq 0}\,{\frac {s{\left(D\varphi \right)}_{P}{\left(v\right)}+\vert {s}\vert \cdot \Vert {v}\Vert \cdot r(sv)}{s}}\\&=\operatorname {lim} _{s\rightarrow 0,s\neq 0}\,\left({\left(D\varphi \right)}_{P}{\left(v\right)}+{\frac {\vert {s}\vert }{s}}\Vert {v}\Vert \cdot r(sv)\right)\\&={\left(D\varphi \right)}_{P}{\left(v\right)},\end{aligned}}$

da ${}\operatorname {lim} _{s\rightarrow 0}\,r(sv)=0$ und der Ausdruck ${}{\frac {\vert {s}\vert }{s}}\Vert {v}\Vert$ beschränkt ist.

$\Box$

Bemerkung   Bemerkung 48.10 ändern

Es sei ${}G\subseteq \mathbb {R} ^{n}$ offen und ${}f\colon G\rightarrow \mathbb {R} ^{m}$ eine in ${}P\in G$ total differenzierbare Abbildung. Dann existieren nach Proposition 48.9 und nach Lemma 47.3 die partiellen Ableitungen

${\frac {\partial f_{j}}{\partial x_{i}}}$

im Punkt ${}P$. Daher existiert die Jacobi-Matrix

${\begin{pmatrix}{\frac {\partial f_{1}}{\partial x_{1}}}(P)&\ldots &{\frac {\partial f_{1}}{\partial x_{n}}}(P)\\\vdots &\ddots &\vdots \\{\frac {\partial f_{m}}{\partial x_{1}}}(P)&\ldots &{\frac {\partial f_{m}}{\partial x_{n}}}(P)\end{pmatrix}}.$

Diese Matrix beschreibt das totale Differential bezüglich der Standardbasen im ${}\mathbb {R} ^{n}$ und ${}\mathbb {R} ^{m}$. Es ist ja nach Proposition 48.9 und Lemma 47.3

${}{\left(Df\right)}_{P}{\left(e_{i}\right)}={\left(D_{e_{i}}f\right)}{\left(P\right)}={\begin{pmatrix}{\frac {\partial f_{1}}{\partial x_{i}}}(P)\\\vdots \\{\frac {\partial f_{m}}{\partial x_{i}}}(P)\end{pmatrix}}\,$

und dies ist die ${}i$-te Spalte der Jacobimatrix. Durch diese Eigenschaft ist aber die beschreibende Matrix zu einer linearen Abbildung bezüglich einer Basis festgelegt.

Satz Satz 48.11 ändern

Es sei ${}G\subseteq {\mathbb {R} }^{n}$ offen und ${}\varphi \colon G\rightarrow {\mathbb {R} }^{m}$ eine Abbildung. Es seien ${}x_{i}$, ${}i=1,\ldots ,n$, die Koordinaten von ${}{\mathbb {R} }^{n}$ und ${}P\in G$ ein Punkt. Es sei angenommen, dass alle partiellen Ableitungen von ${}\varphi$ in einer offenen Umgebung von ${}P$ existieren und in ${}P$ stetig sind.

Dann ist ${}\varphi$ in ${}P$ (total) differenzierbar.

Ist die Abbildung ${}\varphi$ bezüglich der Standardbasis des ${}{\mathbb {R} }^{m}$ durch die Koordinatenfunktionen ${}f_{1},\ldots ,f_{m}$ gegeben, so wird unter diesen Bedingungen das totale Differential in ${}P$ durch die Jacobi-Matrix

${\left({\frac {\partial f_{j}}{\partial x_{i}}}(P)\right)}_{1\leq i\leq n,1\leq j\leq m}$

beschrieben.

Beweis

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

Indem wir ${}G$ durch eine eventuell kleinere offene Umgebung von ${}P$ ersetzen, können wir annehmen, dass auf ${}G$ die Richtungsableitungen

$Q\longmapsto (D_{i}\varphi )(Q):={\left(D_{e_{i}}\varphi \right)}{\left(Q\right)}={\begin{pmatrix}{\frac {\partial f_{1}}{\partial x_{i}}}(Q)\\\vdots \\{\frac {\partial f_{m}}{\partial x_{i}}}(Q)\end{pmatrix}}\in {\mathbb {R} }^{m}$

existieren und in ${}P$ stetig sind. Daher ist nach Proposition 48.9 die lineare Abbildung

${\mathbb {R} }^{n}\longrightarrow {\mathbb {R} }^{m},\,v=(v_{1},\ldots ,v_{n})\longmapsto \sum _{i=1}^{n}v_{i}(D_{i}\varphi )(P),$

der einzige Kandidat für das totale Differential. Daher müssen wir zeigen, dass diese lineare Abbildung die definierende Eigenschaft des totalen Differentials besitzt. Setze ${}P_{i}:=P+v_{1}e_{1}+\cdots +v_{i}e_{i}$ (abhängig von ${}v$). Dann gelten mit dem Ansatz

${}r(v):={\frac {\varphi (P+v)-\varphi (P)-\sum _{i=1}^{n}v_{i}(D_{i}(\varphi ))(P)}{\Vert {v}\Vert }}\,$

(für ${}v$ hinreichend klein) die Abschätzungen

${}{\begin{aligned}\Vert {r(v)}\Vert &={\frac {\Vert {\varphi (P+v)-\varphi (P)-\sum _{i=1}^{n}v_{i}(D_{i}(\varphi ))(P)}\Vert }{\Vert {v}\Vert }}\\&={\frac {\Vert {\sum _{i=1}^{n}(\varphi (P_{i})-\varphi (P_{i-1})-v_{i}(D_{i}(\varphi ))(P))}\Vert }{\Vert {v}\Vert }}\\&\leq \sum _{i=1}^{n}{\frac {\Vert {\varphi (P_{i})-\varphi (P_{i-1})-v_{i}(D_{i}(\varphi ))(P)}\Vert }{\Vert {v}\Vert }}\\&=\sum _{i=1}^{n}{\frac {\Vert {\varphi (P_{i-1}+v_{i}e_{i})-\varphi (P_{i-1})-v_{i}(D_{i}(\varphi ))(P)}\Vert }{\Vert {v}\Vert }}.\end{aligned}}$

Wir betrachten jeden Summanden einzeln. Für fixiertes ${}i$ ist die Abbildung (die auf dem Einheitsintervall definiert ist)

$h_{i}:s\longmapsto \varphi (P_{i-1}+sv_{i}e_{i})-sv_{i}(D_{i}(\varphi ))(P)$

differenzierbar (aufgrund der Existenz der partiellen Ableitungen auf ${}G$) mit der Ableitung

$s\longmapsto v_{i}(D_{i}(\varphi ))(P_{i-1}+sv_{i}e_{i})-v_{i}(D_{i}(\varphi ))(P).$

Nach der Mittelwertabschätzung existiert eine reelle Zahl

${}0\leq c_{i}=1\,,$

sodass (dies ist die Norm von $h_{i}(1)-h_{i}(0)$)

${}{\begin{aligned}\Vert {\varphi (P_{i-1}+v_{i}e_{i})-\varphi (P_{i-1})-v_{i}(D_{i}(\varphi ))(P)}\Vert &\leq \Vert {v_{i}(D_{i}(\varphi ))(P_{i-1}+c_{i}v_{i}e_{i})-v_{i}(D_{i}(\varphi ))(P)}\Vert \\&=\vert {v_{i}}\vert \cdot \Vert {(D_{i}(\varphi ))(P_{i-1}+c_{i}v_{i}e_{i})-(D_{i}(\varphi ))(P)}\Vert \\&\leq \Vert {v}\Vert \cdot \Vert {(D_{i}(\varphi ))(P_{i-1}+c_{i}v_{i}e_{i})-(D_{i}(\varphi ))(P)}\Vert \,\end{aligned}}$

gilt. Aufsummieren liefert also, dass unser Ausdruck ${}\Vert {r(v)}\Vert$ nach oben beschränkt ist durch

${}{\begin{aligned}\sum _{i=1}^{n}{\frac {\Vert {v}\Vert \cdot \Vert {(D_{i}(\varphi ))(P_{i-1}+c_{i}v_{i}e_{i})-(D_{i}(\varphi ))(P)}\Vert }{\Vert {v}\Vert }}&\leq \sum _{i=1}^{n}\Vert {(D_{i}(\varphi ))(P_{i-1}+c_{i}v_{i}e_{i})-(D_{i}(\varphi ))(P)}\Vert \\\,\end{aligned}}$

Da die partiellen Ableitungen ${}D_{i}(\varphi )$ stetig in ${}P$ sind, wird die Summe rechts mit ${}v$ beliebig klein, da dann ${}P_{i-1}+c_{i}v_{i}e_{i}$ gegen ${}P$ konvergiert. Also ist der Grenzwert für ${}v\rightarrow 0$ gleich ${}0$.

$\Box$

 

Bemerkung   Bemerkung 48.12 ändern

Bei ${}G\subseteq \mathbb {R} ^{n}$ offen und einer total differenzierbaren Abbildung

$\varphi \colon G\longrightarrow \mathbb {R} ^{m}$

wird die affin-lineare Approximation in einem Punkt ${}P=(a_{1},\ldots ,a_{n})\in G$ in Koordinaten folgendermaßen geschrieben. Es sei ${}L$ das totale Differential, sodass die lineare Approximation für ${}\varphi (P+v)$ die Gestalt

$\varphi (P)+L(v)$

besitzt. Wenn man dies in den Koordinaten ${}x_{1},\ldots ,x_{n}$ schreiben möchte, so ist ${}v_{i}=x_{i}-a_{i}$ und daher ist die lineare Approximation für ${}\varphi (x_{1},\ldots ,x_{n})$ gleich

${}\varphi (a_{1},\ldots ,a_{n})+L{\begin{pmatrix}x_{1}-a_{1}\\\vdots \\x_{n}-a_{n}\end{pmatrix}}=L{\begin{pmatrix}x_{1}\\\vdots \\x_{n}\end{pmatrix}}+\varphi (a_{1},\ldots ,a_{n})-L{\begin{pmatrix}a_{1}\\\vdots \\a_{n}\end{pmatrix}}\,.$

Korollar Korollar 48.13 ändern

Polynomfunktionen

sind total differenzierbar.

Beweis

Dies folgt aus Satz 48.11 und daraus, dass die partiellen Ableitungen von Polynomfunktionen wieder Polynomfunktionen sind, die nach Satz 36.13 stetig sind.

$\Box$

Fußnoten