Kurs:Analysis/Teil II/21/Klausur mit Lösungen

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Eine beschränkte Teilmenge ${\displaystyle {}T\subseteq M}$ in einem metrischen Raum ${\displaystyle {}(M,d)}$.
2. Eine kompakte Teilmenge ${\displaystyle {}T\subseteq \mathbb {R} ^{n}}$.
3. Ein Fixpunkt einer Abbildung

   ${\displaystyle f\colon M\longrightarrow M.}$

4. Eine Lösung zu einem Anfangswertproblem

   ${\displaystyle v'=f(t,v){\text{ und }}(t_{0},w)\in I\times U}$

   zu einem Vektorfeld

   ${\displaystyle f\colon I\times U\longrightarrow \mathbb {R} ^{n}}$

   auf einer offenen Teilmenge ${\displaystyle {}U\subseteq \mathbb {R} ^{n}}$.

5. Die Faser zu einer Abbildung

   ${\displaystyle \varphi \colon L\longrightarrow M}$

   über einem Punkt ${\displaystyle {}x\in M}$.

6. Eine sternförmige Teilmenge ${\displaystyle {}T\subseteq \mathbb {R} ^{n}}$.

Formuliere die folgenden Sätze.

1. Das Vergleichskriterium für eine fallende Funktion

   ${\displaystyle [0,+\infty [\longrightarrow \mathbb {R} _{\geq 0}.}$

2. Der Satz über die Offenheit der positiven Definitheit der Hesse-Form.
3. Der Satz über die Grenzabbildung einer gleichmäßig konvergenten Abbildungsfolge.

Beweise die Funktionalgleichung der Fakultätsfunktion ${\displaystyle {}\operatorname {Fak} \,(x)}$ für ${\displaystyle {}x>0}$.

Mittels partieller Integration ergibt sich (für reelle Zahlen ${\displaystyle {}b\geq a>0}$ bei fixiertem ${\displaystyle {}x>0}$)

${\displaystyle {}{\begin{aligned}\int _{a}^{b}t^{x}e^{-t}\,dt&=-t^{x}e^{-t}|_{a}^{b}+\int _{a}^{b}xt^{x-1}e^{-t}\,dt\\&=-b^{x}e^{-b}+a^{x}e^{-a}+x\cdot \int _{a}^{b}t^{x-1}e^{-t}\,dt.\end{aligned}}}$

Für ${\displaystyle {}b\rightarrow \infty }$ geht ${\displaystyle {}b^{x}e^{-b}\rightarrow 0}$ und für ${\displaystyle {}a\rightarrow 0}$ geht ${\displaystyle {}a^{x}e^{-a}\rightarrow 0}$ (da ${\displaystyle {}x}$ positiv ist). Wendet man auf beide Seiten diese Grenzwertprozesse an, so erhält man ${\displaystyle {}\operatorname {Fak} \,(x)=x\operatorname {Fak} \,(x-1)}$.

Es sei ${\displaystyle {}(M,d)}$ ein metrischer Raum. Zeige, dass jede endliche Teilmenge ${\displaystyle {}T\subseteq M}$ abgeschlossen ist.

Die endliche Punktmenge bestehe aus ${\displaystyle {}P_{1},\ldots ,P_{n}\in M}$. Wir müssen zeigen, dass das Komplement ${\displaystyle {}U=M\setminus \{P_{1},\ldots ,P_{n}\}}$ dieser Punktmenge offen ist. D.h. wir müssen zeigen, dass es zu jedem Punkt ${\displaystyle {}Q\in M}$, ${\displaystyle {}Q\neq P_{1},\ldots ,P_{n}}$, eine offene Ballumgebung ${\displaystyle {}U{\left(Q,\epsilon \right)}}$ gibt, die ganz in ${\displaystyle {}U}$ liegt. Wegen ${\displaystyle {}Q\neq P_{i}}$ ist ${\displaystyle {}d(Q,P_{i})=\epsilon _{i}>0}$. Wir setzen ${\displaystyle {}\epsilon :=\operatorname {min} _{i=1,\ldots ,n}\{\epsilon _{i}\}}$. Dann enthält ${\displaystyle {}U{\left(Q,\epsilon \right)}=\bigcap _{i=1}^{n}U{\left(Q,\epsilon _{i}\right)}}$ keinen der Punkte.

Beweise den Banachschen Fixpunktsatz.

Es sei ${\displaystyle {}c\in \mathbb {R} }$, ${\displaystyle {}0\leq c<1}$, ein Kontraktionsfaktor, d.h. es gelte

${\displaystyle {}d{\left(f(x),f(y)\right)}\leq c\cdot d{\left(x,y\right)}\,}$

für alle ${\displaystyle {}x,y\in M}$. Wenn ${\displaystyle {}x,y\in M}$ Fixpunkte sind, so folgt aus

${\displaystyle {}d(x,y)=d(f(x),f(y))\leq c\cdot d(x,y)\,}$

sofort ${\displaystyle {}d(x,y)=0}$ und somit ${\displaystyle {}x=y}$, es kann also maximal einen Fixpunkt geben.
Es sei nun ${\displaystyle {}x\in M}$ ein beliebiger Punkt. Wir betrachten die durch

${\displaystyle x_{0}=x{\text{ und }}x_{n}:=f^{n}(x):=f(x_{n-1})}$

rekursiv definierte Folge in ${\displaystyle {}M}$. Wir setzen

${\displaystyle {}a=d{\left(f(x),x\right)}\,.}$

Dann gilt für jedes ${\displaystyle {}n\in \mathbb {N} }$ die Beziehung

${\displaystyle {}d{\left(f^{n+1}(x),f^{n}(x)\right)}\leq c\cdot d{\left(f^{n}(x),f^{n-1}(x)\right)}\leq c^{n}\cdot d{\left(f(x),x\right)}=c^{n}a\,.}$

Daher gilt aufgrund der Dreiecksungleichung und der geometrischen Reihe für ${\displaystyle {}n\geq m}$ die Beziehung

${\displaystyle {}{\begin{aligned}d{\left(f^{n}(x),f^{m}(x)\right)}&\leq d{\left(f^{n}(x),f^{n-1}(x)\right)}+d{\left(f^{n-1}(x),f^{n-2}(x)\right)}+\cdots +d{\left(f^{m+1}(x),f^{m}(x)\right)}\\&\leq a\left(c^{n-1}+c^{n-2}+\cdots +c^{m+1}+c^{m}\right)\\&=ac^{m}\left(c^{n-m-1}+c^{n-m-2}+\cdots +c^{2}+c^{1}+1\right)\\&\leq c^{m}a{\frac {1}{1-c}}.\,\end{aligned}}}$

Zu einem gegebenen ${\displaystyle {}\epsilon >0}$ wählt man ${\displaystyle {}n_{0}}$ mit

${\displaystyle {}c^{n_{0}}a{\frac {1}{1-c}}\leq \epsilon \,.}$

Dies zeigt, dass eine Cauchy-Folge vorliegt, die aufgrund der Vollständigkeit gegen ein ${\displaystyle {}y\in M}$ konvergiert.
Wir zeigen, dass dieses ${\displaystyle {}y}$ ein Fixpunkt ist. Die Bildfolge ${\displaystyle {}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }}$ konvergiert gegen ${\displaystyle {}f(y)}$, da eine kontrahierende Abbildung stetig ist. Andererseits stimmt diese Bildfolge mit der Ausgangsfolge bis auf die Indizierung überein, sodass der Grenzwert ${\displaystyle {}y}$ sein muss.

Von einer Bewegung

${\displaystyle \varphi \colon \mathbb {R} _{+}\longrightarrow \mathbb {R} ^{3}}$

sei der Geschwindigkeitsverlauf

${\displaystyle {}\varphi '(t)=\left({\frac {t^{2}-1}{t}},\,t\sin \left(t^{2}\right),\,te^{t}\right)\,}$

bekannt. Ferner sei

${\displaystyle {}\varphi (1)=(1,2,3)\,}$

bekannt. Bestimme ${\displaystyle {}\varphi (t)}$.

Wir bestimmen Stammfunktionen für die einzelnen Komponentenfunktionen. Eine Stammfunktion zu

${\displaystyle {}{\frac {t^{2}-1}{t}}=t-{\frac {1}{t}}\,}$

ist

${\displaystyle {\frac {1}{2}}t^{2}-\ln t,}$

eine Stammfunktion zu ${\displaystyle {}t\sin \left(t^{2}\right)}$ ist

${\displaystyle -{\frac {1}{2}}\cos \left(t^{2}\right)}$

und eine Stammfunktion zu ${\displaystyle {}te^{t}}$ ist

${\displaystyle te^{t}-e^{t}.}$

Deshalb besitzt ${\displaystyle {}\varphi }$ die allgemeine Gestalt

${\displaystyle {}\varphi (t)=\left({\frac {1}{2}}t^{2}-\ln t+a,\,-{\frac {1}{2}}\cos \left(t^{2}\right)+b,\,te^{t}-e^{t}+c\right)\,}$

mit Konstanten ${\displaystyle {}a,b,c\in \mathbb {R} }$. Die Bedingung

${\displaystyle {}\varphi (1)=\left(1,\,2,\,3\right)\,}$

führt auf

${\displaystyle {}\left({\frac {1}{2}}+a,\,-{\frac {1}{2}}\cos \left(1\right)+b,\,c\right)=\left(1,\,2,\,3\right)\,,}$

also ist

${\displaystyle {}a={\frac {1}{2}}\,,}$

${\displaystyle {}b=2+{\frac {1}{2}}\cos 1\,}$

und

${\displaystyle {}c=3\,.}$

Insgesamt ist also

${\displaystyle {}\varphi (t)=\left({\frac {1}{2}}t^{2}-\ln t+{\frac {1}{2}},\,-{\frac {1}{2}}\cos \left(t^{2}\right)+2+{\frac {1}{2}}\cos 1,\,te^{t}-e^{t}+3\right)\,.}$

Es sei

${\displaystyle \gamma \colon [-1,1]\longrightarrow \mathbb {R} ^{2},\,t\longmapsto \left(2t-1,t^{2}+1\right),}$

gegeben. Berechne das Wegintegral längs dieses Weges zum Vektorfeld

${\displaystyle {}F(x,y)=\left(xy^{2}-x,\,2xy-y^{2}\right)\,.}$

Die Ableitung der Kurve ist

${\displaystyle {}\gamma '(t)={\begin{pmatrix}2\\2t\end{pmatrix}}\,}$

und das Vektorfeld auf dem Weg ausgewertet ist

${\displaystyle {}{\begin{aligned}F(\gamma (t))&={\begin{pmatrix}\gamma _{1}(t)\gamma _{2}(t)^{2}-\gamma _{1}(t)\\2\gamma _{1}(t)\gamma _{2}(t)-\gamma _{2}(t)^{2}\end{pmatrix}}\\&={\begin{pmatrix}{\left(2t-1\right)}{\left(t^{2}+1\right)}^{2}-{\left(2t-1\right)}\\2{\left(2t-1\right)}{\left(t^{2}+1\right)}-{\left(t^{2}+1\right)}^{2}\end{pmatrix}}\\&={\begin{pmatrix}{\left(2t-1\right)}{\left(t^{4}+2t^{2}+1\right)}-{\left(2t-1\right)}\\2{\left(2t-1\right)}{\left(t^{2}+1\right)}-{\left(t^{4}+2t^{2}+1\right)}\end{pmatrix}}\\&={\begin{pmatrix}2t^{5}+4t^{3}+2t-t^{4}-2t^{2}-1-2t+1\\4t^{3}+4t-2t^{2}-2-t^{4}-2t^{2}-1\end{pmatrix}}\\&={\begin{pmatrix}2t^{5}-t^{4}+4t^{3}-2t^{2}\\-t^{4}+4t^{3}-4t^{2}+4t-3\end{pmatrix}}.\end{aligned}}}$

Damit ist das Wegintegral gleich

${\displaystyle {}{\begin{aligned}\int _{\gamma }F&=\int _{-1}^{1}\left\langle {\begin{pmatrix}2t^{5}-t^{4}+4t^{3}-2t^{2}\\-t^{4}+4t^{3}-4t^{2}+4t-3\end{pmatrix}},{\begin{pmatrix}2\\2t\end{pmatrix}}\right\rangle dt\\&=\int _{-1}^{1}2{\left(2t^{5}-t^{4}+4t^{3}-2t^{2}\right)}+2t{\left(-t^{4}+4t^{3}-4t^{2}+4t-3\right)}dt\\&=\int _{-1}^{1}2t^{5}+6t^{4}+4t^{2}-6tdt\\&={\left({\frac {1}{3}}t^{6}+{\frac {6}{5}}t^{5}+{\frac {4}{3}}t^{3}-3t^{2}\right)}_{-1}^{1}\\&={\frac {12}{5}}+{\frac {8}{3}}\\&={\frac {76}{15}}.\end{aligned}}}$

Bestimme ein Fundamentalsystem für das Differentialgleichungssystem

${\displaystyle {}{\begin{pmatrix}x\\y\end{pmatrix}}'={\begin{pmatrix}7&-1\\-5&3\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}\,.}$

Das charakteristische Polynom der Matrix ist

${\displaystyle {}{\begin{aligned}\det {\begin{pmatrix}\lambda -7&1\\5&\lambda -3\end{pmatrix}}&=(\lambda -7)(\lambda -3)-5\\&=\lambda ^{2}-10\lambda +16\\&=(\lambda -2)(\lambda -8).\end{aligned}}}$

Die Eigenwerte sind also ${\displaystyle {}2}$ und ${\displaystyle {}8}$. Zum Kern von ${\displaystyle {}{\begin{pmatrix}-5&1\\5&-1\end{pmatrix}}}$ gehört ${\displaystyle {}{\begin{pmatrix}1\\5\end{pmatrix}}}$, daher ist ${\displaystyle {}{\begin{pmatrix}1\\5\end{pmatrix}}}$ ein Eigenvektor zum Eigenwert ${\displaystyle {}2}$.

Zum Kern von ${\displaystyle {}{\begin{pmatrix}1&1\\5&5\end{pmatrix}}}$ gehört ${\displaystyle {}{\begin{pmatrix}1\\-1\end{pmatrix}}}$, daher ist ${\displaystyle {}{\begin{pmatrix}1\\-1\end{pmatrix}}}$ ein Eigenvektor zum Eigenwert ${\displaystyle {}8}$. Nach Lemma 42.1 (Analysis (Osnabrück 2021-2023)) bilden somit die Funktionen ${\displaystyle {}e^{2t}{\begin{pmatrix}1\\5\end{pmatrix}}}$ und ${\displaystyle {}e^{8t}{\begin{pmatrix}1\\-1\end{pmatrix}}}$ ein Fundamentalsystem.

Bestimme die partielle Ableitung nach ${\displaystyle {}w}$ der Funktion

${\displaystyle {}{\begin{aligned}f(x,y,z,u,v,w)&={\frac {-uv}{x^{2}+y^{2}+z^{2}+1}}-\cos \left(z-x\right)+2xw+4x^{5}zu^{9}+{\sqrt[{2}]{u^{2}+v^{2}+1}}.\,\end{aligned}}}$

Die partielle Ableitung nach ${\displaystyle {}w}$ ist

${\displaystyle {}{\frac {\partial f}{\partial w}}=2x\,.}$

Wir betrachten ein Ballspiel, bei dem das Tor durch die Eckpfosten ${\displaystyle {}(-1,0)}$ und ${\displaystyle {}(1,0)}$ gegeben ist. Der Ball (bzw. der ballführende Spieler) befindet sich in der variablen Position ${\displaystyle {}(x,y)}$. Die Wahrscheinlichkeit, von einer bestimmten Position aus ein Tor zu erzielen, hänge direkt vom Winkel (Torschusswinkel) ab, der das Dreieck ${\displaystyle {}(-1,0),(1,0),(x,y)}$ im Punkt ${\displaystyle {}(x,y)}$ besitzt (man denke an die Situation, wo der Spieler allein vor dem leeren Tor steht und es allein auf die Zielgenauigkeit ankommt).

1. Erstelle eine Formel für den Torschusswinkel in Abhängigkeit von der Ballposition ${\displaystyle {}(x,y)}$.
2. Skizziere die Menge der Punkte, für die der Toreinschusswinkel gleich ${\displaystyle {}90}$ Grad ist.
3. In welche Richtung muss der Ball bewegt werden, damit der Torschusswinkel möglichst schnell wächst?

1. Die Richtungsvektoren des Dreiecks im Eckpunkt ${\displaystyle {}(x,y)}$ sind ${\displaystyle {}{\begin{pmatrix}x\\y\end{pmatrix}}-{\begin{pmatrix}1\\0\end{pmatrix}}={\begin{pmatrix}x-1\\y\end{pmatrix}}}$ und ${\displaystyle {}{\begin{pmatrix}x\\y\end{pmatrix}}-{\begin{pmatrix}-1\\0\end{pmatrix}}={\begin{pmatrix}x+1\\y\end{pmatrix}}}$. Das Skalarprodukt dazwischen ist

   ${\displaystyle {}\left\langle {\begin{pmatrix}x-1\\y\end{pmatrix}},{\begin{pmatrix}x+1\\y\end{pmatrix}}\right\rangle =x^{2}+y^{2}-1\,.}$

   Nach Bemerkung 31.12 (Analysis (Osnabrück 2021-2023)) ist der Winkel gleich

   ${\displaystyle {}{\begin{aligned}\alpha (x,y)&=\arccos {\frac {\left\langle {\begin{pmatrix}x-1\\y\end{pmatrix}},{\begin{pmatrix}x+1\\y\end{pmatrix}}\right\rangle }{\Vert {\begin{pmatrix}x-1\\y\end{pmatrix}}\Vert \cdot \Vert {\begin{pmatrix}x+1\\y\end{pmatrix}}\Vert }}\\&=\arccos {\frac {x^{2}+y^{2}-1}{{\sqrt {(x-1)^{2}+y^{2}}}\cdot {\sqrt {(x+1)^{2}+y^{2}}}}}\\&=\arccos {\frac {x^{2}+y^{2}-1}{\sqrt {(x^{2}-1)^{2}+y^{4}+((x-1)^{2}+(x+1)^{2})y^{2}}}}\\&=\arccos {\frac {x^{2}+y^{2}-1}{\sqrt {x^{4}+y^{4}-2x^{2}+1+2x^{2}y^{2}+2y^{2}}}}.\end{aligned}}}$

2. Nach dem Satz des Thales (und seiner Umkehrung) ist dies der Halbkreis oberhalb des Tores.
3. Wir müssen nach Satz 47.8 (Analysis (Osnabrück 2021-2023)) den Gradienten zur Funktion ${\displaystyle {}\alpha (x,y)}$ berechnen. Nach Aufgabe 21.9 (Analysis (Osnabrück 2021-2023)) ist

   ${\displaystyle {}{\left(\arccos z\right)}'=-{\frac {1}{\sqrt {1-z^{2}}}}\,.}$

   In unserer Situation ist

   ${\displaystyle {}z(x,y)={\frac {x^{2}+y^{2}-1}{\sqrt {x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1}}}\,.}$

   Die partiellen Ableitungen von ${\displaystyle {}z}$ sind nach der Quotientenregel

   ${\displaystyle {}{\begin{aligned}&\,\,\,\,\,\,\,{\frac {\partial z}{\partial x}}(x,y)\\&={\frac {2x{\sqrt {x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1}}-{\left(x^{2}+y^{2}-1\right)}{\frac {2x^{3}+2xy^{2}-2x}{\sqrt {x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1}}}}{x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1}}\\&={\frac {2x{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}-{\left(x^{2}+y^{2}-1\right)}{\left(2x^{3}+2xy^{2}-2x\right)}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}\\&={\frac {2x{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1-{\left(x^{2}+y^{2}-1\right)}{\left(x^{2}+y^{2}-1\right)}\right)}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}\\&={\frac {2x{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1-x^{4}-y^{4}-1-2x^{2}y^{2}+2x^{2}+2y^{2}\right)}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}\\&={\frac {8xy^{2}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}\,\end{aligned}}}$

   und

   ${\displaystyle {}{\begin{aligned}{\frac {\partial z}{\partial y}}(x,y)&={\frac {2y{\sqrt {x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1}}-{\left(x^{2}+y^{2}-1\right)}{\frac {2y^{3}+2x^{2}y+2y}{\sqrt {x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1}}}}{x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1}}\\&={\frac {2y{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}-{\left(x^{2}+y^{2}-1\right)}{\left(2y^{3}+2x^{2}y+2y\right)}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}\\&={\frac {2y{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1-{\left(x^{2}+y^{2}-1\right)}{\left(x^{2}+y^{2}+1\right)}\right)}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}\\&={\frac {2y{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1-x^{4}-y^{4}-2x^{2}y^{2}+1\right)}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}\\&={\frac {2y{\left(-2x^{2}+2y^{2}+2\right)}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}\\&={\frac {-4x^{2}y+4y^{3}+4y}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}.\end{aligned}}}$

   Daher ist insgesamt

   ${\displaystyle {}{\begin{aligned}&\,\,\,\,\,\,\,{\frac {\partial \alpha (x,y)}{\partial x}}\\&=-{\frac {{\frac {\partial z}{\partial x}}(x,y)}{\sqrt {1-\left({\frac {x^{2}+y^{2}-1}{\sqrt {x^{4}+y^{4}-2x^{2}+1+2x^{2}y^{2}+2y^{2}}}}\right)^{2}}}}\\&=-{\frac {\frac {8xy^{2}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}^{3/2}}}{\sqrt {\frac {x^{4}+y^{4}-2x^{2}+1+2x^{2}y^{2}+2y^{2}-{\left(x^{2}+y^{2}-1\right)}^{2}}{x^{4}+y^{4}-2x^{2}+1+2x^{2}y^{2}+2y^{2}}}}}\\&=-{\frac {8xy^{2}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}{\left(x^{4}+y^{4}-2x^{2}+1+2x^{2}y^{2}+2y^{2}-{\left(x^{2}+y^{2}-1\right)}^{2}\right)}}}\\&=-{\frac {8xy^{2}}{{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}{\left(4y^{2}\right)}}}\\&=-{\frac {2x}{\left(x^{4}+2x^{2}y^{2}+y^{4}-2x^{2}+2y^{2}+1\right)}}.\,\end{aligned}}}$

Bestimme die lokalen und globalen Extrema der auf der abgeschlossenen Kreisscheibe ${\displaystyle {}B\left(0,1\right)={\left\{(x,y)\in \mathbb {R} ^{2}\mid x^{2}+y^{2}\leq 1\right\}}}$ definierten Funktion

${\displaystyle f\colon B\left(0,1\right)\longrightarrow \mathbb {R} ,\,(x,y)\longmapsto x^{2}+y^{3}-y^{2}-y.}$

Wir bestimmen zunächst lokale Extrema auf dem offenen Innern der Kreisscheibe, indem wir die Funktion auf kritische Punkte untersuchen. Die Jacobi-Matrix von ${\displaystyle {}f}$ ist

${\displaystyle {}J=\left(2x,\,3y^{2}-2y-1\right)\,.}$

Die kritischen Punkte liegen also bei ${\displaystyle {}x=0}$ und ${\displaystyle {}3y^{2}-2y-1=0}$ vor. Für die Gleichung ${\displaystyle {}3y^{2}-2y-1=0}$ sind ${\displaystyle {}y=1}$ und ${\displaystyle {}y=-{\frac {1}{3}}}$ die Lösungen, wobei der Punkt ${\displaystyle {}P=(0,1)}$ nicht zum Innern (aber zum Rand) gehört, der Punkt ${\displaystyle {}Q=\left(0,\,-{\frac {1}{3}}\right)}$ aber schon. Für ${\displaystyle {}Q}$ bestimmen wir die Hesse-Matrix, diese ist allgemein

${\displaystyle {\begin{pmatrix}2&0\\0&6y-2\end{pmatrix}},}$

sodass sich für ${\displaystyle {}Q}$ die Hesse-Matrix

${\displaystyle {\begin{pmatrix}2&0\\0&-4\end{pmatrix}}}$

ergibt. Diese hat den Typ ${\displaystyle {}(1,1)}$, sodass diese Matrix indefinit ist und kein lokales Extremum vorliegt. Daher liegen sämtliche lokalen und globalen Extrema auf dem Rand.

Die Funktion ${\displaystyle {}f}$ lässt sich auf ganz ${\displaystyle {}\mathbb {R} ^{2}}$ in natürlicher Weise ausdehnen (durch dieselben polynomialen Ausdrücke). Für den kritischen Punkt ${\displaystyle {}P=(0,1)}$ ist die Hesse-Matrix gleich

${\displaystyle {\begin{pmatrix}2&0\\0&4\end{pmatrix}},}$

welche positiv definit ist. Daher liegt in ${\displaystyle {}P}$ ein lokales Minimum der ausgedehnten Funktion und damit erst recht ein lokales Minimum der auf der abgeschlossenen Kreisscheibe definierten Funktion vor.

Wir untersuchen nun den Rand auf weitere Extrema. Da die Funktion auf einer abgeschlossenen und beschränkten Menge definiert und stetig ist, muss es sowohl ein globales Minimum als auch ein globales Maximum geben. Der Rand ist durch

${\displaystyle {}x^{2}+y^{2}=1\,}$

gegeben. Daher gilt dort ${\displaystyle {}x^{2}=1-y^{2}}$ und somit hängt die Funktion auf dem Rand nur von ${\displaystyle {}y}$ ab, man kann daher

${\displaystyle {}h(y)=f(x,y)=1-y^{2}+y^{3}-y^{2}-y=y^{3}-2y^{2}-y+1\,}$

ansetzen, wobei ${\displaystyle {}y}$ zwischen ${\displaystyle {}-1}$ und ${\displaystyle {}1}$ läuft. Da ein lokales Extremum auf der abgeschlossenen Kreisscheibe insbesondere ein lokales Extremum auf dem Rand sein muss, müssen wir zunächst die Nullstellen der Ableitung von ${\displaystyle {}h}$ bestimmen. Diese ist ${\displaystyle {}h'(y)=3y^{2}-4y-1}$, und die Nullstellen davon sind

${\displaystyle {}y=\pm {\frac {\sqrt {7}}{3}}+{\frac {2}{3}}\,.}$

Dabei ist

${\displaystyle {}{\frac {\sqrt {7}}{3}}+{\frac {2}{3}}>1\,}$

außerhalb des Intervalls, also nicht relevant für die Aufgabenstellung. Dagegen ist

${\displaystyle {\frac {-{\sqrt {7}}+2}{3}}}$

zwischen ${\displaystyle {}-1}$ und ${\displaystyle {}1}$. Da die zweite Ableitung in diesem Punkt negativ ist, liegt dort ein lokales Maximum auf dem Rand vor. Weiterhin sind noch die Randpunkte ${\displaystyle {}y=1}$ und ${\displaystyle {}y=-1}$ des Intervalls zu berücksichtigen, dort müssen jeweils lokale Minima für ${\displaystyle {}h(y)}$ vorliegen.

Wir müssen dies jetzt auf die ursprüngliche Funktion auf der Kreisscheibe zurückübersetzen. Wir wissen schon, dass in ${\displaystyle {}P=(0,1)}$ ein lokales Minimum vorliegt, und zwar mit dem Wert

${\displaystyle f(0,1)=-1.}$

Es sei ${\displaystyle {}S=(0,-1)}$. Der Wert an dieser Stelle ist ebenfalls ${\displaystyle {}f(0,-1)=-1}$. Da diese beiden Punkte die einzigen Kandidaten für lokale Minima sind, müssen beide Punkte globale Minima sein.

Wir berechnen die ${\displaystyle {}x}$-Koordinaten zu ${\displaystyle {}y={\frac {-{\sqrt {7}}+2}{3}}}$. Es ist

${\displaystyle {}y^{2}={\left({\frac {-{\sqrt {7}}+2}{3}}\right)}^{2}={\frac {11-4{\sqrt {7}}}{9}}\,,}$

also

${\displaystyle {}1-y^{2}={\frac {-2+4{\sqrt {7}}}{9}}\,}$

und somit

${\displaystyle {}x=\pm {\frac {\sqrt {4{\sqrt {7}}-2}}{3}}\,.}$

Die beiden Punkte ${\displaystyle {}R_{1}=\left({\frac {\sqrt {4{\sqrt {7}}-2}}{3}},\,{\frac {-{\sqrt {7}}+2}{3}}\right)}$ und ${\displaystyle {}R_{2}=\left({\frac {-{\sqrt {4{\sqrt {7}}-2}}}{3}},\,{\frac {-{\sqrt {7}}+2}{3}}\right)}$ sind die einzigen Kandidaten für lokale Maxima. Da es ein globales Maximum geben muss, und die Situation für diese beiden Punkte symmetrisch ist, muss in beiden Punkten ein globales Maximum vorliegen.

Wir betrachten die Abbildung

${\displaystyle \varphi \colon \mathbb {R} _{+}\times \mathbb {R} _{+}\longrightarrow \mathbb {R} _{+}\times \mathbb {R} _{+},\,\left(x,\,y\right)\longmapsto \left({\frac {x}{y}},\,{\frac {y}{x}}\right).}$

1. Bestimme das totale Differential zu ${\displaystyle {}\varphi }$ in einem beliebigen Punkt.
2. Bestimme die regulären Punkte von ${\displaystyle {}\varphi }$.
3. Wie kann man das Ergebnis aus (2) ohne Rechnung erklären?

1. Das totale Differential ist

   ${\displaystyle {}\left(D\varphi \right)_{P}={\begin{pmatrix}{\frac {1}{y}}&-{\frac {x}{y^{2}}}\\-{\frac {y}{x^{2}}}&{\frac {1}{x}}\end{pmatrix}}\,.}$

2. Es ist

   ${\displaystyle {}\det {\begin{pmatrix}{\frac {1}{y}}&-{\frac {x}{y^{2}}}\\-{\frac {y}{x^{2}}}&{\frac {1}{x}}\end{pmatrix}}={\frac {1}{xy}}-{\frac {xy}{x^{2}y^{2}}}=0\,,}$

   es gibt also keine regulären Punkte.

3. Man kann die Abbildung auffassen als die Hintereinanderschaltung von

   ${\displaystyle \mathbb {R} _{+}\times \mathbb {R} _{+}\longrightarrow \mathbb {R} _{+},\,\left(x,\,y\right)\longmapsto {\frac {x}{y}},}$

   und

   ${\displaystyle \mathbb {R} _{+}\longrightarrow \mathbb {R} _{+}\times \mathbb {R} _{+},\,z\longmapsto \left(z,\,{\frac {1}{z}}\right).}$

   Somit kann das totale Differential, da es über einen eindimensionalen Raum faktorisiert, nirgendwo bijektiv sein.

Es sei ${\displaystyle {}I\subseteq \mathbb {R} }$ ein offenes Intervall und sei