Extrema/R^n/Erste Beispiele/Einführung/Textabschnitt

Definition

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

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

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

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

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, so dass 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.