Kurs:Analysis (Osnabrück 2021-2023)/Teil II/Vorlesung 46/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 46.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$

Korollar Referenznummer erstellen

Es sei ${}G\subseteq {\mathbb {K} }^{n}$ offen und ${}\varphi \colon G\rightarrow {\mathbb {K} }^{m}$ eine in ${}P\in G$ differenzierbare Abbildung.

Dann ist ${}\varphi$ in ${}P$ partiell differenzierbar, und das totale Differential ist bezüglich der Standardbasis durch die Jacobi-Matrix

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

gegeben.

Beweis

Dies folgt aus Proposition 46.1, Lemma 44.3 und daraus, dass eine lineare Abbildung auf einer Basis festgelegt ist.

$\Box$

Wir wollen umgekehrt ein handliches Kriterium für die totale Differenzierbarkeit angeben. Vor dem Beweis der nächsten Aussage erinnern wir an die Mittelwertabschätzung für differenzierbare 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 46.3 ä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 46.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 46.3 und daraus, dass die partiellen Ableitungen von Polynomfunktionen wieder Polynomfunktionen und daher nach Satz 34.13 stetig sind.

$\Box$

Für einen anderen Beweis siehe Aufgabe ***** {{:Kurs:Kurs:Analysis (Osnabrück 2021-2023)/Polynomialfunktion/K/Totale Differenzierbarkeit/Nullpunkt/Explizit/Aufgabe/Aufgabereferenznummer/Polynomialfunktion/K/Totale Differenzierbarkeit/Nullpunkt/Explizit/Aufgabe/Aufgabereferenznummer}} und Aufgabe 45.6.

Extrema

In den nächsten Vorlesungen wollen wir mit der Hilfe von Ableitungen verstehen, wann eine Funktion

$G\longrightarrow \mathbb {R} ,$

${}G\subseteq \mathbb {R} ^{n}$, ein (lokales) Extremum, also ein Maximum oder ein Minimum in einem Punkt ${}P\in G$ annimmt. Hier stellen wir die relevanten Definitionen zusammen und stellen einige typische Beispiele vor.

Definition Referenznummer erstellen

Es sei ${}(M,d)$ ein metrischer Raum und

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

eine Funktion. Man sagt, dass ${}f$ in einem Punkt ${}x\in M$ ein lokales Maximum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in M$ mit ${}d(x,x')\leq \epsilon$ die Abschätzung

${}f(x)\geq f(x')\,$

gilt. Man sagt, dass ${}f$ in ${}x\in M$ ein lokales Minimum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in M$ mit ${}d(x,x')\leq \epsilon$ die Abschätzung

${}f(x)\leq f(x')\,$

gilt.

Definition Referenznummer erstellen

Es sei ${}(M,d)$ ein metrischer Raum und

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

eine Funktion. Man sagt, dass ${}f$ in einem Punkt ${}x\in M$ ein isoliertes lokales Maximum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in M$ mit ${}d(x,x')\leq \epsilon$ und ${}x'\neq x$ die Abschätzung

${}f(x)>f(x')\,$

gilt. Man sagt, dass ${}f$ in ${}x\in M$ ein isoliertes lokales Minimum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in M$ mit ${}d(x,x')\leq \epsilon$ und ${}x'\neq x$ die Abschätzung

${}f(x)<f(x')\,$

gilt.

Ein globales Maximum liegt in ${}x\in M$ vor, wenn ${}f(x)\geq f(x')$ für alle ${}x'\in M$ ist.

Beispiel Referenznummer erstellen

Die Funktion

$\mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto x^{2}+y^{2},$

hat in ${}P=(0,0)$ den Wert ${}0$ und überall sonst positive Werte, daher liegt in ${}P$ ein (isoliertes) globales Minimum vor.

Wenn die Funktion ${}f\colon M\rightarrow \mathbb {R}$ ein lokales Minimum im Punkt ${}P\in M$ besitzt, so gilt dies auch für die Einschränkung von ${}f$ auf jede Teilmenge ${}N\subseteq M$, die ${}P$ enthält. Beispielsweise muss ein (lokales) Minimum einer Funktion der Ebene auch auf jeder Geraden durch diesen Punkt ein (lokales) Minimum sein.

Dies heißt umgekehrt, dass wenn eine Funktion ${}f\colon \mathbb {R} ^{2}\rightarrow \mathbb {R}$ auf einer Geraden ${}L_{1}$ durch ${}P$ ein isoliertes lokales Maximum und auf einer anderen Geraden ${}L_{2}$ ein isoliertes lokales Minimum besitzt, dass dann kein lokales Extremum vorliegen kann. Solche Punkte nennt man Sattelpunkt oder Passpunkt, das Standardbeispiel ist das folgende.

Beispiel Referenznummer erstellen

Wir betrachten das Verhalten der Funktion

$\mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto x^{2}-y^{2}.$

in ${}P=(0,0)$. Die Einschränkung dieser Funktion auf die durch ${}y=0$ gegebene Gerade (also auf der ${}x$-Achse) ist die Funktion ${}x\mapsto x^{2}$, die in ${}P$ ein (isoliertes) globales Minimum besitzt. Die Einschränkung dieser Funktion auf die durch ${}x=0$ gegebene Gerade (also auf der ${}y$-Achse) ist die Funktion ${}y\mapsto -y^{2}$, die in ${}P$ ein (isoliertes) globales Maximum besitzt. Daher kann ${}f$ in ${}P$ kein Extremum besitzen. Auf den durch ${}y=x$ und ${}y=-x$ gegebenen Geraden ist die Funktion die Nullfunktion.

Es sei

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

eine stetige Funktion, die im Nullpunkt ${}(0,0)$ folgende Eigenschaft erfülle. Zu jeder Geraden ${}G\subseteq \mathbb {R} ^{2}$ durch den Nullpunkt besitzt die auf ${}G$ eingeschränkte Funktion ein lokales isoliertes Maximum. Jeder Wanderer, der durch das durch ${}f$ gegebene Gebirge schnurstracks in eine bestimmte Richtung durch den Punkt läuft, wird also in diesem Punkt ein Gipfelerlebnis haben. Folgt daraus, dass wirklich ein Gipfel vorliegt? Das folgende Beispiel zeigt, dass das nicht der Fall sein muss.

Beispiel Beispiel 46.9 ändern

Wir betrachten im ${}\mathbb {R} ^{2}$ die beiden Kreise ${}K_{1}$ und ${}K_{2}$, wobei ${}K_{1}$ den Mittelpunkt ${}(0,1)$ und Radius ${}1$ und ${}K_{2}$ den Mittelpunkt ${}(0,2)$ und Radius ${}2$ habe. ${}K_{1}$ liegt innerhalb von ${}K_{2}$, und die beiden Kreise berühren sich in ${}P=(0,0)$. Durch diese beiden Kreise wird die Ebene (neben den zwei Kreislinien selbst) in drei offene Gebiete aufgeteilt: Das Innere des Kreises ${}K_{1}$ (${}=A$), die große offene Kreisscheibe ohne die kleine abgeschlossene Kreisscheibe (${}=B$) und das Äußere von ${}K_{2}$ (${}=C$). Der innere Kreis ${}K_{1}$ wird als Nullstelle der Funktion

${}f_{1}(x,y)=x^{2}+(y-1)^{2}-1\,$

beschrieben. Im Innern von ${}K_{1}$ ist diese Funktion negativ, auf ${}K_{1}$ hat sie den Wert ${}0$ und außerhalb davon hat sie positive Werte. Entsprechendes gilt für ${}K_{2}$ und die Funktion ${}f_{2}(x,y)=x^{2}+(y-2)^{2}-4$. Wir setzen

${}{\begin{aligned}f(x,y)&:=f_{1}(x,y)\cdot f_{2}(x,y)\\&={\left(x^{2}+(y-1)^{2}-1\right)}\cdot {\left(x^{2}+(y-2)^{2}-4\right)}\\&={\left(x^{2}+y^{2}-2y\right)}\cdot {\left(x^{2}+y^{2}-4y\right)}\\&=x^{4}+y^{4}+2x^{2}y^{2}-6y^{3}-6x^{2}y+8y^{2}.\end{aligned}}$

Diese Funktion nimmt auf den beiden Kreisen den Wert ${}0$ an, sie ist auf ${}A$ positiv, auf ${}B$ negativ und auf ${}C$ wieder positiv.

Die Funktion ${}f$ besitzt in ${}P$ kein lokales Minimum, da sie dort den Wert ${}0$ besitzt und da jede beliebig kleine Ballumgebung ${}U{\left(P,\epsilon \right)}$ den Bereich ${}B$ trifft, wo ${}f$ negative Werte besitzt. Die Einschränkung der Funktion auf jede Gerade durch den Nullpunkt besitzt aber dort ein lokales Minimum. Es sei dazu ${}G$ eine solche Gerade. Wenn ${}G$ die ${}x$-Achse ist, so verläuft diese Gerade (bis auf ${}P$ selbst) in ${}C$, wo ${}f$ nur positive Werte annimmt, sodass in ${}P$ ein (sogar globales) Minimum vorliegt. Es sei also ${}G$ eine von der ${}x$-Achse verschiedene Gerade durch ${}P$. Die eine Hälfte der Geraden verläuft ganz in ${}C$, wo die Funktion positiv ist. Die andere Hälfte verläuft, ausgehend von ${}P$, zuerst in ${}A$, dann in ${}B$ und schließlich wieder in ${}C$. Da die Funktion auf ${}A$ positiv ist, kann man ein Teilintervall ${}[-\delta ,\delta ]$ der Geraden derart wählen, dass dieses Teilstück (abgesehen von ${}P$) nur in ${}A$ und ${}C$ verläuft. Auf diesem Teilintervall nimmt die Funktion in ${}P$ den Wert ${}0$ und sonst überall positive Werte an. Daher besitzt die eingeschränkte Funktion ein lokales Minimum. Das dabei zu wählende ${}\delta$ hängt natürlich wesentlich von der Steigung der Geraden ab, es gibt kein gemeinsames ${}\delta$ für alle Geraden.