Kurs:Mathematik (Osnabrück 2009-2011)/Teil II/Vorlesung 45/kontrolle

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 45.1 ändern

Es seien ${}V$ und ${}W$ endlichdimensionale ${}{\mathbb {K} }$ - 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 {K} }$

{}\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

Vor dem Beweis der nächsten Aussage erinnern wir an den Mittelwertsatz für Kurven: Sei ${}h\colon [a,b]\rightarrow {\mathbb {K} }^{n}$ differenzierbar. Dann existiert ein ${}c\in [a,b]$ mit

\Vert {h(b)-h(a)}\Vert \leq (b-a)\Vert {h'(c)}\Vert .

Satz Satz 45.2 ändern

Es sei ${}G\subseteq {\mathbb {K} }^{n}$ offen und ${}\varphi \colon G\rightarrow {\mathbb {K} }^{m}$ eine Abbildung. Es seien ${}x_{i}$ , ${}i=1,\ldots ,n$ , die Koordinaten von ${}{\mathbb {K} }^{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 {K} }^{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

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 {K} }^{m}

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

{\mathbb {K} }^{n}\longrightarrow {\mathbb {K} }^{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

Korollar Referenznummer erstellen

Polynomfunktionen

sind total differenzierbar.

Beweis

Dies folgt aus Satz 45.2 und daraus, dass die partiellen Ableitungen von Polynomfunktionen wieder Polynomfunktionen und daher nach Fakt ***** stetig sind.

\Box

Zu einer reellwertigen Funktion

f\colon G\longrightarrow \mathbb {R}

interessieren wir uns wie schon bei einem eindimensionalen Definitionsbereich für die Extrema, also Maxima und Minima, der Funktion, und inwiefern man dies anhand der Ableitungen (falls diese existieren) erkennen kann. Wenn eine solche Funktion total differenzierbar ist, so ist das totale Differential in einem Punkt eine lineare Abbildung von ${}V$ nach ${}{\mathbb {K} }$ . Für solche linearen Abbildungen gibt es einen eigenen Namen.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und sei ${}V$ ein ${}K$ - Vektorraum. Eine lineare Abbildung

V\longrightarrow K

heißt eine Linearform auf ${}V$ .

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$ - Vektorraum. Dann heißt der Homomorphismenraum

{}{V}^{*}=\operatorname {Hom} _{K}{\left(V,K\right)}\,

der Dualraum zu ${}V$ .

Wenn ${}G\subseteq {\mathbb {K} }^{n}$ ist, so bilden die partiellen Ableitungen in einem Punkt ${}P\in G$ eine Matrix mit einer einzigen Zeile, die bei stetigen partiellen Ableitungen das totale Differential repräsentiert. Eine solche Matrix kann man aber ebenso auch als ein ${}n$ -Tupel in ${}{\mathbb {K} }$ und damit als einen Vektor in ${}{\mathbb {K} }^{n}$ auffassen. Dieser Zusammenhang zwischen Vektoren und Linearformen beruht auf dem Standardskalarprodukt des ${}{\mathbb {K} }^{n}$ , und lässt sich konzeptioneller mit Hilfe von Bilinearformen erfassen. Bilinearformen haben wir in Zusammenhang mit multilinearen Abbildungen und Skalarprodukten kennengelernt, sie sind spezielle multilineare Abbildungen.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$ - Vektorraum. Eine Abbildung

V\times V\longrightarrow K,\,(v,w)\longmapsto \left\langle v,w\right\rangle ,

heißt Bilinearform, wenn für alle ${}v\in V$ die induzierten Abbildungen

V\longrightarrow K,\,w\longmapsto \left\langle v,w\right\rangle ,

und für alle ${}w\in V$ die induzierten Abbildungen

V\longrightarrow K,\,v\longmapsto \left\langle v,w\right\rangle ,

${}K$ - linear sind.

Eine wichtige Eigenschaft von Bilinearformen, die Skalarprodukte erfüllen, wird in der nächsten Definition formuliert.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$ - Vektorraum. Eine Bilinearform

V\times V\longrightarrow K,\,(v,w)\longmapsto \left\langle v,w\right\rangle ,

heißt nicht ausgeartet, wenn für alle ${}v\in V,\,v\neq 0$ , die induzierten Abbildungen

V\longrightarrow K,\,w\longmapsto \left\langle v,w\right\rangle ,

und für alle ${}w\in V,\,w\neq 0$ , die induzierten Abbildungen

V\longrightarrow K,\,v\longmapsto \left\langle v,w\right\rangle ,

nicht die Nullabbildung sind.

In der nächsten Vorlesung werden wir für Vektorräume, auf denen eine nicht-ausgeartete Bilinearform gegeben ist, eine bijektive Beziehung zwischen Vektoren und Linearformen beweisen und damit einen Zusammenhang zwischen dem totalen Differential zu einer Funktion in einem Punkt und einem Vektor, dem sogenannten Gradienten der Funktion in diesem Punkt, herstellen.