Kurs:Analysis (Osnabrück 2014-2016)/Teil II/Vorlesung 45/latex
\setcounter{section}{45}
\zwischenueberschrift{Totale Differenzierbarkeit}
Wir möchten Abbildungen
\maabb {\varphi} {V} {W
} {}
zwischen endlichdimensionalen
${\mathbb K}$-\definitionsverweis {Vektorräumen}{}{}
differenzieren, und allgemeiner Abbildungen
\maabbdisp {\varphi} {G} {W
} {,}
wobei
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine gewisse offene Teilmenge ist. Wir wiederholen kurz die Situation in einer Variablen: Angenommen wir haben eine Abbildung
\maabb {\varphi} {\R} {\R
} {,}
dann ist die Grundidee einer differenzierbaren Abbildung und ihrer Ableitung, eine \anfuehrung{Tangente an den Graphen}{} anzulegen. Dabei kann man sagen, dass die Tangente die beste \stichwort {lineare Approximation} {} von $\varphi$
\zusatzklammer {genauer: der Graph einer affin-linearen Approximation} {} {}
in einem gegebenen Punkt
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{ \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
\maabb {f} {\R} {\R
} {}
schmiegt sich die Tangente im Punkt
\mathl{(P,f(P))}{} an den Graphen zu $f$ an. Zu einer Funktion
\maabbdisp {f} { \R^2 } {\R
} {}
ist der Graph eine Teilmenge von
\mavergleichskette
{\vergleichskette
{ \R^2 \times \R
}
{ = }{ \R^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
den man sich als ein Gebirge über der Ebene vorstellen sollte. Eine sinnvolle Fragestellung ist, ob es zu einem Punkt
\mathl{(P,f(P))}{} eine anschmiegende Tangentialebene an den Graphen zu $f$ gibt, die man als den Graphen einer affin-linearen Abbildung
\maabb {} { \R^2 } { \R
} {}
realisieren kann.
Im Folgenden nehmen wir an, dass alle Vektorräume endlichdimensional und mit einer euklidischen Norm versehen sind. Wie in der 37. Vorlesung gezeigt wurde, hängt die Topologie, also die Konzepte offene Menge, Stetigkeit, Konvergenz, nicht von der gewählten euklidischen Struktur ab. Bei
\mavergleichskette
{\vergleichskette
{ {\mathbb K}
}
{ = }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
statten wir den zugrunde liegenden reellen Vektorraum mit einer euklidischen Struktur aus.
\inputdefinition
{}
{
Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {endlichdimensionale}{}{}
${\mathbb K}$-\definitionsverweis {Vektorräume}{}{,}
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {offene Menge}{}{}
und
\maabb {\varphi} {G} {W
} {}
eine Abbildung. Dann heißt $\varphi$ \definitionswort {differenzierbar}{}
\zusatzklammer {oder \definitionswort {total differenzierbar}{}} {} {}
im Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wenn es eine
${\mathbb K}$-\definitionsverweis {lineare Abbildung}{}{}
\maabb {L} {V} {W
} {}
mit der Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ \varphi( P+v)
}
{ =} { \varphi(P)+ L(v) + \Vert {v} \Vert r(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt, wobei
\maabb {r} { U { \left( 0,\delta \right) } } {W
} {}
eine in $0$
\definitionsverweis {stetige Abbildung}{}{}
mit
\mavergleichskette
{\vergleichskette
{r(0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und die Gleichung für alle
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ P+v
}
{ \in }{ U { \left( P,\delta \right) }
}
{ \subseteq }{ G
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
Diese lineare Abbildung $L$ heißt, falls sie existiert, das \definitionswort {(totale) Differential}{} von $\varphi$ an der Stelle $P$ und wird mit
\mathdisp {\left(D\varphi\right)_{P}} { }
bezeichnet.
}
Äquivalent zur totalen Differenzierbarkeit ist die Eigenschaft, dass der Ausdruck
\mavergleichskettedisp
{\vergleichskette
{ r(v)
}
{ =} { { \frac{ \varphi(P+v) - \varphi(P) - L(v) }{ \Vert {v} \Vert } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mathl{v \rightarrow 0}{} gegen $0$ konvergiert. Ebenfalls äquivalent ist die Eigenschaft, dass der Limes
\zusatzklammer {von Funktionen} {} {}
\mathdisp {\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.
Das Konzept der totalen Differenzierbarkeit ist eher theoretisch und für konkrete Berechnungen nicht optimal. Wir werden später 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 \zusatzklammer {siehe auch Beispiel 45.11 weiter unten} {} {.}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Surface integral1.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Surface integral1.svg } {} {Cronholm144} {Commons} {CC-by-sa 3.0} {}
Der geometrische Gehalt tritt besonders im Fall
\mavergleichskette
{\vergleichskette
{ W
}
{ = }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
deutlich hervor. Dann ist der Graph der affin-linearen Abbildung
\mathl{\varphi (P) + \left(D\varphi\right)_{P} (x-P)}{} eine lineare Approximation des Graphen der Funktion $\varphi(x)$ im Punkt $P$.
\inputbeispiel{
}
{
Ist
\maabb {\varphi} {V} {W
} {}
konstant mit
\mavergleichskette
{\vergleichskette
{\varphi (v)
}
{ = }{ w
}
{ \in }{ W
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so ist $\varphi$ differenzierbar mit totalem Differential $0$
\zusatzklammer {siehe
Aufgabe 45.3} {} {.}
}
\inputfaktbeweis
{Differenzierbarkeit/K/Lineare Abbildungen sind differenzierbar/Fakt}
{Proposition}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei
\maabb {L} {V} {W
} {}
eine
${\mathbb K}$-\definitionsverweis {lineare Abbildung}{}{}
zwischen den
\definitionsverweis {endlichdimensionalen}{}{}
${\mathbb K}$-\definitionsverweis {Vektorräumen}{}{}
\mathkor {} {V} {und} {W} {.}}
\faktfolgerung {Dann ist $L$ in jedem Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {differenzierbar}{}{}
und stimmt in jedem Punkt mit ihrem totalen Differential überein.}
\faktzusatz {}
\faktzusatz {}
}
{
Aufgrund der Linearität gilt
\mavergleichskettedisp
{\vergleichskette
{ L(P+v)
}
{ =} { L(P)+L(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Also können wir
\mavergleichskette
{\vergleichskette
{r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wählen.
\inputbeispiel{}
{
Wir betrachten die Funktion
\maabbeledisp {\varphi} {{ \left\{ (x,y) \mid x^2 + y^2 < 1 \right\} } } {\R
} {(x,y)} { 1 - \sqrt{1 - x ^2 - y^2}
} {,}
deren
\definitionsverweis {Graph}{}{}
die untere Hälfte der Kugel mit Radius $1$ und Mittelpunkt
\mathl{\begin{pmatrix} 0 \\0\\ 1 \end{pmatrix}}{} ist. Wir interessieren uns, ob $\varphi$ im Nullpunkt
\mathl{(0,0)}{}
\definitionsverweis {total differenzierbar}{}{}
ist. Aus Symmetriegründen kommt als totales Differential nur die Nullabbildung in Frage. Es geht somit darum, ob für
\mavergleichskette
{\vergleichskette
{v
}
{ = }{ \begin{pmatrix} x \\y \end{pmatrix}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegen $0$ der Ausdruck
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ \varphi(v) }{ \Vert {v} \Vert } }
}
{ =} { { \frac{ \varphi(x,y) }{ {\sqrt{ x^2+y^2 } } } }
}
{ =} { { \frac{ 1 - \sqrt{1 - x^2 - y^2} }{ {\sqrt{ x^2+y^2 } } } }
}
{ } {
}
{ } {
}
}
{}{}{}
gegen $0$ konvergiert. Mit
\mavergleichskettedisp
{\vergleichskette
{r
}
{ =} { \sqrt{ x^2+y^2 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist dies
\mathdisp {{ \frac{ 1- \sqrt{1 - r^2} }{ r } }} { . }
Wir wenden darauf
die Regel von l'Hospital
an. Der abgeleitete Nenner ist $1$ und der abgeleitete Zähler ist
\mathdisp {{ \frac{ r }{ \sqrt{1 - r^2} } }} { }
und konvergiert gegen $0$, sodass Konvergenz gegen $0$ vorliegt. Die Nullabbildung ist also in der Tat das totale Differential.
}
\inputfaktbeweis
{Differenzierbarkeit/K/Eindeutige Approximation/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {endlichdimensionale}{}{}
${\mathbb K}$-\definitionsverweis {Vektorräume}{}{}
und sei die Abbildung
\maabb {\varphi} {G} {W
} {}
auf einer
\definitionsverweis {offenen Teilmenge}{}{}
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert. Sei
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt.}
\faktfolgerung {Dann existiert höchstens eine lineare Abbildung mit den Eigenschaften aus
Definition 45.1.}
\faktzusatz {Ist $\varphi$ im Punkt $P$ differenzierbar, so ist das
\definitionsverweis {totale Differential}{}{}
\mathl{\left(D\varphi\right)_{P}}{} eindeutig bestimmt.}
\faktzusatz {}
}
{
Angenommen, es gelte
\mavergleichskettedisp
{\vergleichskette
{ \varphi(P+v)
}
{ =} { \varphi(P) + L_1(v) + \Vert {v} \Vert \cdot r_1(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \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
\maabb {r_1,r_2} { U { \left( 0,\delta \right) } } { W
} {}
mit
\mavergleichskette
{\vergleichskette
{ r_1(0)
}
{ = }{ r_2(0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir müssen
\mavergleichskette
{\vergleichskette
{ L_1
}
{ = }{ L_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zeigen. Dazu ziehen wir die beiden Gleichungen voneinander ab
\zusatzklammer {da es sich hier um Gleichungen von Funktionswerten im Vektorraum $W$ handelt, ist hier werteweises Abziehen gemeint} {} {}
und erhalten die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} { (L_1-L_2)(v)+ \Vert {v} \Vert \cdot (r_1(v)-r_2(v))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher müssen wir zeigen, dass die
\zusatzklammer {konstante} {} {}
Nullabbildung die Eigenschaft besitzt, dass die lineare Abbildung $0$ ihre einzige lineare Approximation ist.
Wir nehmen daher an, dass
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { L(v)+ \Vert {v} \Vert \cdot r(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt, wobei $L$ linear und $r$ eine in $0$ stetige Funktion mit
\mavergleichskette
{\vergleichskette
{ r(0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Wenn $L$ nicht die Nullabbildung ist, so gibt es einen Vektor
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ L(v)
}
{ = }{ w
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt für
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ {\mathbb K}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { L(sv)+ \Vert {sv} \Vert r(sv)
}
{ =} { sw + \betrag { s } \cdot \Vert {v} \Vert \cdot r(sv)
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies impliziert, dass
\mavergleichskette
{\vergleichskette
{ r(sv)
}
{ = }{ - { \frac{ sw }{ \betrag { s } \cdot \Vert {v} \Vert } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{s
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Die Norm von
\mathl{r(sv)}{} ist daher konstant gleich
\mavergleichskette
{\vergleichskette
{ { \frac{ \Vert {w} \Vert }{ \Vert {v} \Vert } }
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Also gilt
\mavergleichskette
{\vergleichskette
{ \operatorname{lim}_{ s \rightarrow 0 } \, \Vert {r(sv) } \Vert
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,} ein Widerspruch.
\inputfaktbeweis
{Differenzierbarkeit/K/Summe differenzierbarer Abbildungen ist differenzierbar/Fakt}
{Proposition}
{}
{
\faktsituation {Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {endlichdimensionale}{}{}
${\mathbb K}$-\definitionsverweis {Vektorräume}{}{}
und es sei
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {offene Teilmenge}{}{.}}
\faktvoraussetzung {Es seien
\maabb {\varphi_1,\varphi_2} {G} {W
} {}
im Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
differenzierbare Abbildungen mit den
\definitionsverweis {totalen Differentialen}{}{}
\mathl{\left(D\varphi_1\right)_{P}}{} und
\mathl{\left(D\varphi_2\right)_{P}}{.}}
\faktfolgerung {Dann ist auch
\mavergleichskette
{\vergleichskette
{ \varphi
}
{ = }{ \varphi_1 + \varphi_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $P$ differenzierbar und es gilt
\mavergleichskettedisp
{\vergleichskette
{ \left(D(\varphi_1 + \varphi_2)\right)_{P}
}
{ =} { \left(D\varphi_1\right)_{P} + \left(D\varphi_2\right)_{P}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {Ebenso gilt
\mavergleichskette
{\vergleichskette
{ \left(D(a \varphi_1)\right)_{P}
}
{ = }{ a \left(D\varphi_1\right)_{P}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ {\mathbb K}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
}
{
Sei
\mavergleichskette
{\vergleichskette
{ \varphi_1(P+v)
}
{ = }{ \varphi_1(P)+L_1(v)+ \Vert {v} \Vert \cdot r_1(v)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \varphi_2(P+v)
}
{ = }{ \varphi_2(P) + L_2(v) + \Vert {v} \Vert \cdot r_2(v)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{(\varphi_1+\varphi_2) (P+v) \latexdruckdreikurz
}
{ =} { \latexdruckdreikurz \varphi_1(P+v) + \varphi_2(P+v)
}
{ =} { \latexdruckdreikurz \varphi_1(P) + \latexdruckeinskurz L_1(v) + \latexdruckeinskurz \Vert {v} \Vert \cdot r_1(v) + \latexdruckeinskurz \varphi_2(P) + \latexdruckeinskurz L_2(v) + \latexdruckeinskurz \Vert {v} \Vert \cdot r_2(v)
}
{ =} { \latexdruckdreikurz (\varphi_1 + \varphi_2)(P) + (L_1 +L_2)(v)+ \Vert {v} \Vert (r_1(v) +r_2(v))
}
{ } {
}
}
{}
{}{.}
Wir erhalten also die gewünschte Gestalt, da auch
\mathl{r_1 + r_2}{} in $0$ stetig mit
\mavergleichskette
{\vergleichskette
{ (r_1+r_2)(0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Der Beweis der zweiten Aussage ist ähnlich.
\inputfaktbeweis
{Differenzierbarkeit/K/Differenzierbar impliziert stetig/Fakt}
{Proposition}
{}
{
\faktsituation {Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {endlichdimensionale}{}{}
${\mathbb K}$-\definitionsverweis {Vektorräume}{}{}
und
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {offene Teilmenge}{}{.}}
\faktvoraussetzung {Es sei
\maabb {\varphi} {G} {W
} {}
eine in
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {differenzierbare Abbildung}{}{.}}
\faktfolgerung {Dann ist $\varphi$ auch
\definitionsverweis {stetig}{}{}
im Punkt $P$.}
\faktzusatz {}
\faktzusatz {}
}
{
Nach Definition gilt
\mavergleichskette
{\vergleichskette
{ \varphi(P+v)
}
{ = }{ \varphi(P)+L(v)+ \Vert {v} \Vert \cdot r(v)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Die rechte Seite ist stetig
\zusatzklammer {nach
Definition 45.1
und
Satz 34.10} {} {}
in
\mavergleichskette
{\vergleichskette
{v
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Damit ist $\varphi$ stetig in $P$.
\zwischenueberschrift{Die Kettenregel}
Die Eleganz des totalen Differentials wird in der folgenden allgemeinen Version der Kettenregel deutlich.
\inputfaktbeweis
{Totale Differenzierbarkeit/K/Kettenregel/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
$V,\, W$ und $U$
\definitionsverweis {endlichdimensionale}{}{}
${\mathbb K}$-\definitionsverweis {Vektorräume}{}{,}
\mavergleichskette
{\vergleichskette
{ G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{D
}
{ \subseteq }{W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offene Mengen}{}{,}
und
\maabb {\varphi} {G} {W
} {}
und
\maabb {\psi} {D} {U
} {}
\definitionsverweis {Abbildungen}{}{}}
\faktvoraussetzung {derart, dass
\mavergleichskette
{\vergleichskette
{ \varphi(G)
}
{ \subseteq }{ D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Es sei weiter angenommen, dass $\varphi$ in
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $\psi$ in
\mavergleichskette
{\vergleichskette
{ \varphi(P)
}
{ \in }{ D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {total differenzierbar}{}{}
ist.}
\faktfolgerung {Dann ist
\maabb {\psi \circ \varphi} {G} {U
} {}
in $P$ differenzierbar mit dem
\definitionsverweis {totalen Differential}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \left(D(\psi \circ \varphi)\right)_{P}
}
{ =} { \left(D\psi\right)_{\varphi(P)} \circ \left(D\varphi\right)_{P}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir haben nach Voraussetzung
\zusatzklammer {wobei wir
\mavergleichskettek
{\vergleichskettek
{ Q }
{ \defeq }{ \varphi(P)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
setzen} {} {}
\mavergleichskettedisp
{\vergleichskette
{ \varphi(P+v)
}
{ =} {\varphi(P)+L(v)+ \Vert {v} \Vert r(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \psi(Q+w)
}
{ =} { \psi(Q)+M(w)+ \Vert {w} \Vert s(w)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit linearen Abbildungen
\maabb {L} {V} {W
} {}
und
\maabb {M} {W} {U
} {,}
und mit in $0$ stetigen Funktionen
\maabb {r} { U { \left( 0,\delta \right) }} {W
} {}
und
\maabb {s} {U { \left( 0,\delta' \right) }} {U
} {,}
die beide in $0$ den Wert $0$ annehmen. Damit gilt
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ (\psi \circ \varphi)(P+v)
}
{ =} { \zeilemitteil { \psi(\varphi(P+v))
} {} }
{ =} { \zeilemitteil { \psi { \left( \varphi(P)+L(v)+ \Vert {v} \Vert r(v) \right) }
} {} }
{ =} { \zeilemitteil { \psi(\varphi(P))+M(L(v)+ \Vert {v} \Vert r(v)) } {+ \Vert {L(v)+ \Vert {v} \Vert r(v)} \Vert s(L(v)+ \Vert {v} \Vert r(v))} }
{ =} { \zeilemitteil { \psi(\varphi(P))+M(L(v))+ M(\Vert {v} \Vert r(v)) } {+ \Vert {L(v)+ \Vert {v} \Vert r(v)} \Vert s(L(v)+ \Vert {v} \Vert r(v))} }
}
{
\vergleichskettefortsetzungalign
{ =} { \zeilemitteil { \psi(\varphi(P))+(M \circ L)(v)+ \Vert {v} \Vert M(r(v)) } {+ \Vert {\Vert {v} \Vert L { \left( \frac{v} { \Vert {v} \Vert } \right) } + \Vert {v} \Vert r(v)} \Vert s(L(v)+ \Vert {v} \Vert r(v))} }
{ =} { \zeilemitteil { \psi(\varphi(P))+(M \circ L)(v) } {+ \Vert {v} \Vert { \left( M(r(v))+ \Vert {L { \left( \frac{v} { \Vert {v} \Vert } \right) } + r(v)} \Vert s(L(v)+ \Vert {v} \Vert r(v)) \right) }} }
{ } { \zeilemitteil {} {} }
{ } { \zeilemitteil {} {} }
}{}{.}
Dabei haben wir in der dritten Gleichung die lineare Approximation für
\mavergleichskettedisp
{\vergleichskette
{ w
}
{ =} { L(v)+ \Vert {v} \Vert r(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eingesetzt. Die beiden letzten Gleichungen gelten nur für
\mavergleichskette
{\vergleichskette
{v
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Ausdruck
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ t(v)
}
{ \defeq} { M(r(v)) + \Vert {L { \left( \frac{v} { \Vert {v} \Vert } \right) } + r(v)} \Vert s(L(v)+ \Vert {v} \Vert r(v))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist unser Kandidat für die Abweichungsfunktion. Der erste Summand
\mathl{M(r(v))}{} ist in
\mavergleichskette
{\vergleichskette
{v
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stetig und hat dort auch den Wert $0$. Es genügt also den zweiten Summanden zu betrachten. Der $\Vert {-} \Vert$-Ausdruck ist in einer Umgebung der Null beschränkt, da $L$ auf der
\definitionsverweis {kompakten}{}{}
\definitionsverweis {Einheitssphäre}{}{}
nach Satz 36.11
beschränkt ist und da $r$ in $0$ stetig ist. Daher hängt die Stetigkeit nur von dem rechten Faktor ab. Aber
\mathl{L(v) + \Vert {v} \Vert r(v)}{} hat für
\mathl{v \rightarrow 0}{} den Grenzwert $0$. Damit ist auch
\mathl{s(L(v)+ \Vert {v} \Vert r(v))}{} in $0$ stetig und hat dort den Grenzwert $0$.
Im folgenden Beispiel verwenden wir, dass man das totale Differential unter recht schwachen Bedingungen mit der Jacobi-Matrix beschreiben kann, was wir in der nächsten Vorlesung begründen werden.
\inputbeispiel{}
{
Wir betrachten die Funktion
\maabbeledisp {\varphi} {{ \left\{ (x,y) \mid x^2 + y^2 < 1 \right\} } } {\R
} {(x,y)} { 1 - \sqrt{1 - x ^2 - y^2}
} {,}
aus
Beispiel 45.4
in einem beliebigen Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ (x,y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir schreiben die Abbildung als Hintereinanderschaltung von
\mathdisp {(x,y) \longmapsto 1 - x^2 - y^2 \text{ und } u \longmapsto 1 - \sqrt{u}} { . }
Die erste Funktion ist überall
\definitionsverweis {total differenzierbar}{}{}
mit der
\definitionsverweis {Jacobi-Matrix}{}{}
\mathdisp {\left( -2x , \, -2y \right)} { }
und die zweite Funktion ist für
\mavergleichskette
{\vergleichskette
{ u
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
differenzierbar mit der Ableitung
\mathl{{ \frac{ -1 }{ 2 \sqrt{u} } }}{.} Die Gesamtabbildung ist somit
nach der Kettenregel
ebenfalls total differenzierbar mit dem totalen Differential
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ { \frac{ -1 }{ 2 \sqrt{ 1-x^2-y^2 } } } \left( -2x , \, -2y \right)
}
{ =} { \left( { \frac{ x }{ \sqrt{ 1-x^2-y^2 } } } , \, { \frac{ y }{ \sqrt{ 1-x^2-y^2 } } } \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{Totale Differenzierbarkeit/K/Produktregel/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
\mathkor {} {V} {und} {W} {}
\definitionsverweis {endlichdimensionale}{}{}
${\mathbb K}$-\definitionsverweis {Vektorräume}{}{,}
\mavergleichskette
{\vergleichskette
{G
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {offene Menge}{}{,}
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt,
\maabb {\varphi} {G} {W
} {}
und
\maabb {f} {G} { {\mathbb K}
} {}
in $P$
\definitionsverweis {differenzierbare Abbildungen}{}{.}}
\faktfolgerung {Dann ist die Produktabbildung
\maabbdisp {f \cdot \varphi} {G} {W
} {}
in $P$ differenzierbar mit
\mavergleichskettedisp
{\vergleichskette
{ \left(D(f \cdot \varphi)\right)_{P}
}
{ =} { f(P) \cdot \left(D \varphi\right)_{P} + \left(Df\right)_{P} \cdot \varphi (P)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 45.17. }
Das folgende Beispiel illustriert, dass das totale Differential unabhängig von der Wahl einer Basis ist, die partiellen Ableitungen aber nicht.
\inputbeispiel{}
{
Wir betrachten die Abbildung
\maabb {f} { {\mathbb K}^3} { {\mathbb K}
} {,}
die durch
\mathdisp {(x,y,z) \longmapsto 2xy^2 + x^2z^3+ z^2} { }
gegeben sei. Es ist leicht die partiellen Ableitungen in jedem Punkt zu berechnen, nämlich:
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \left( { \frac{ \partial f }{ \partial x } } , \, { \frac{ \partial f }{ \partial y } } , \, { \frac{ \partial f }{ \partial z } } \right)_{(x,y,z)}
}
{ =} { \left( 2y^2 + 2xz^3 , \, 4xy , \, 3x^2z^2+ 2z \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir werden in der nächsten Vorlesung sehen, dass diese Abbildung in jedem Punkt total differenzierbar ist, und dass die Jacobi-Matrix das totale Differential beschreibt.
Nehmen wir nun an, dass wir nur an der Restriktion dieser Funktion auf die Ebene
\mathdisp {E \subset {\mathbb K}^3, \, E = { \left\{ (x,y,z) \mid 3x+2y-5z = 0 \right\} }} { }
interessiert sind. $E$ ist also der Kern der linearen Abbildung
\maabbeledisp {L} {{\mathbb K}^3} {{\mathbb K}
} {(x,y,z)} {3x+2y-5z
} {.}
Als Kern ist $E$ selbst ein
\zusatzklammer {zweidimensionaler} {} {}
Vektorraum. Die Einschränkung von $f$ auf die Ebene ergibt also die Abbildung
\maabbdisp {\tilde{f} = f{{|}}_E} {E} {{\mathbb K}
} {.}
Diese Abbildung kann man als die Komposition
\maabb {} {E \subset {\mathbb K}^3} {{\mathbb K}
} {}
auffassen und diese ist nach
der Kettenregel
differenzierbar. Wenn wir die Inklusion von $E$ in ${\mathbb K}^3$ mit $N$ bezeichnen, so ist das totale Differential der Komposition in einem Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gemäß der Kettenregel gerade die Abbildung
\maabbdisp {\left(D\tilde{f}\right)_{P} = \left(Df\right)_{P} \circ N} {E} {{\mathbb K}
} {.}
Daher ergibt es hier Sinn vom totalen Differential zu sprechen.
Es ergibt allerdings keinen Sinn von partiellen Ableitungen der Abbildung \maabb {f {{|}}_E} {E} {{\mathbb K} } {} zu sprechen, da es keine natürliche Basis auf $E$ gibt und daher auch keine natürlichen Koordinaten. Es ist leicht eine Basis von $E$ zu finden und damit Koordinaten, es gibt aber keine \anfuehrung{beste Wahl}{,} und die partiellen Ableitungen sehen in jeder Basis verschieden aus.
Eine Basis von $E$ ist beispielsweise durch \mathkor {} {v_1=(0,5,2)} {und} {v_2=(5,0,3)} {} gegeben, und eine weitere durch \mathkor {} {w_1=(1,1,1)} {und} {w_2=(2,-3,0)} {.} Mit solchen Basen erhalten wir Identifikationen \maabb {} {{\mathbb K}^2} {E } {} und somit numerische Beschreibungen der Abbildung \maabb {} {{\mathbb K}^2 \cong E} {{\mathbb K} } {,} womit wir die partiellen Ableitungen bezüglich der gewählten Basen berechnen können.
In der ersten Basis ist die Identifikation gegeben durch die Abbildung
\mathdisp {(s,t) \longmapsto s v_1 + t v_2 = s(0,5,2) + t (5,0,3)=(5t,5s,2s + 3t)} { }
und dieser Ausdruck wird durch $f$ abgebildet auf
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ 2(5t)(5s)^2+(5t)^2(2s+3t)^3+(2s+3t)^2
}
{ =} { \zeilemitteil { 250ts^2+25 t^2(8s^3+36s^2t+ 54 st^2+ 27t^3) } {+ 4 s^2+ 9t^2 + 12st} }
{ =} { \zeilemitteil { 250ts^2 + 200s^3t^2 +900s^2t^3+1350st^4 } {+ 675 t^5+ 4s^2+9 t^2+ 12st} }
{ } { \zeilemitteil {
} {} }
{ } { \zeilemitteil {
} {} }
}
{}{}{.}
Die partiellen Ableitungen dieser Komposition
\zusatzklammer {nennen wir sie $g$} {} {}
bezüglich dieser Basis sind gegeben durch
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \partial g / \partial s
}
{ =} {500ts+ 600s^2 t^2+1800st^3 + 1350 t^4 + 8s + 12 t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \partial g / \partial t
}
{ =} {250s^2+ 400s^3t + 2700s^2 t^2+ 5400 s t^3+ 3375 t^4 + 18 t + 12s
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In der zweiten Basis
\mathl{w_1=(1,1,1)}{} und
\mathl{w_2=(2,-3,0)}{} ist die Identifikation gegeben durch
\mathdisp {(r,u) \longmapsto r w_1 + u w_2 = r(1,1,1)+u(2,-3,0)=(r+2u,r-3u,r)} { }
und dieser Ausdruck wird unter $f$ abgebildet auf
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{2(r+2u)(r-3u)^2+(r+2u)^2 r^3+ r^2
}
{ =} { \zeilemitteil {2 r^3 + 4 r^2u - 12 r^2u - 24 ru^2 } {} }
{ =} { \zeilemitteil {2r^3-8r^2u-6ru^2+36u^3+r^5+4r^4u } {} }
{ } { \zeilemitteil {} {} }
{ } { \zeilemitteil {} {} }
}
{}{}{.}
Die partiellen Ableitungen der Komposition
\zusatzklammer {nennen wir sie $h$} {} {}
bezüglich dieser Basis sind
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \partial h / \partial r
}
{ =} { 6r^2 - 16 ru -6u^2 + 5 r^4 +16 r^3u + 12 r^2u^2 + 2r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \partial h / \partial u
}
{ =} { -8 r^2 - 12 ru + 108 u^2 + 4 r^4 + 8 r^3 u
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Fazit: Koordinaten sind manchmal gut für Berechnungen, manchmal verdunklen sie aber auch den eigentlichen mathematischen Sachverhalt.
}