Lösung.

Setze $ \mbox{$g := \begin{pmatrix}g_1\\ g_2\end{pmatrix} \; :\; \mathbb{R}^3 \to \mathbb{R}^2$}$ . Die Funktionen $ \mbox{$f$}$ , $ \mbox{$g_1$}$ und $ \mbox{$g_2$}$ sind beliebig oft stetig differenzierbar.

Sei

$ \mbox{$\displaystyle F(x,y,z) \; := \; f(x,y,z) - \lambda g(x,y,z) \;=\; x... ...left( x^2+y^2-\frac{1}{2} \right) - \lambda_2 \left( z - y^2 - 1 \right)\; , $}$
wobei $ \mbox{$\lambda = (\lambda_1,\lambda_2)^\text{t}$}$ .

Die Ableitung von $ \mbox{$F$}$ berechnet sich zu

$ \mbox{$\displaystyle F'(x,y,z) = \left( 4 x^3 - 2 \lambda_1 x, \; 4 y^3 + 3 y^2 - 2 \lambda_1 y + 2\lambda_2 y, \; 1 - \lambda_2 \right). $}$
Aus der notwendigen Bedingung für lokale Extrema $ \mbox{$F'(x,y,z) = 0$}$ sowie aus den Nebenbedingungen erhalten wir somit folgendes Gleichungssystem.
$ \mbox{$\displaystyle \begin{array}{rcrcl} \text{(I)} & & x(2x^2 - \lambda_1... ...& = & 0\vspace{3mm}\\ \text{(V)} & & z - y^2 - 1 & = & 0 \\ \end{array}$}$
Gleichung (III) gibt $ \mbox{$\lambda_2 = 1$}$ .

Für den Fall, daß $ \mbox{$x\neq 0$}$ und $ \mbox{$y\neq 0$}$ , vereinfachen sich die Gleichungen (I) und (II) zu

$ \mbox{$\displaystyle \begin{array}{rcl} 2x^2 & = & \lambda_1 \vspace{3mm}\\ 2y^2 + \frac{3}{2} y + 1 & = & \lambda_1 \; . \\ \end{array}$}$
Gleichsetzen der linken Seiten gibt
$ \mbox{$\displaystyle 2x^2 \;=\; 2y^2 + \frac{3}{2} y + 1 \; . $}$
Mit Gleichung (IV) erhalten wir
$ \mbox{$\displaystyle y( 4y + \frac{3}{2}) = 0 \; , $}$
d.h. $ \mbox{$y = -\frac{3}{8}$}$ . Mit (IV) wird $ \mbox{$x = \pm\frac{\sqrt{23}}{8}$}$ . Es folgt aus (I), daß $ \mbox{$\lambda_1 = \frac{23}{32}$}$ , und damit sind (I - V) erfüllt. Wir haben die kritischen Punkte $ \mbox{$(\frac{\sqrt{23}}{8},-\frac{3}{8},\frac{73}{64})^\text{t}$}$ und $ \mbox{$(-\frac{\sqrt{23}}{8},-\frac{3}{8},\frac{73}{64})^\text{t}$}$ , bei welchen $ \mbox{$\lambda = (\frac{23}{32},1)^\text{t}$}$ ist.

Falls $ \mbox{$x=0$}$ , so ist wegen (IV) zunächst $ \mbox{$y = \pm\frac{\sqrt 2}{2}$}$ , und wegen (V) ist $ \mbox{$z = \frac{3}{2}$}$ . Gleichung (II) kann nun noch mit $ \mbox{$\lambda_1 = 2 \pm \frac{3}{4}\sqrt{2}$}$ erfüllt werden. Wir erhalten die kritischen Punkte $ \mbox{$(0,\frac{\sqrt 2}{2},\frac{3}{2})^\text{t}$}$ , mit $ \mbox{$\lambda = (2 + \frac{3}{4}\sqrt{2},1)^\text{t}$}$ , und $ \mbox{$(0,-\frac{\sqrt 2}{2},\frac{3}{2})^\text{t}$}$ , mit $ \mbox{$\lambda = (2 - \frac{3}{4}\sqrt{2},1)^\text{t}$}$ .

Falls $ \mbox{$y=0$}$ , so ist wegen (IV) $ \mbox{$x = \pm\frac{\sqrt 2}{2}$}$ , und wegen (V) ist $ \mbox{$z=1$}$ . Gleichung (I) kann nun noch mit $ \mbox{$\lambda_1 = 1$}$ erfüllt werden. Wir erhalten die kritischen Punkte $ \mbox{$(\frac{\sqrt 2}{2},0,1)^\text{t}$}$ und $ \mbox{$(-\frac{\sqrt 2}{2},0,1)^\text{t}$}$ , bei welchen $ \mbox{$\lambda = (1,1)^\text{t}$}$ ist.

Es ist

$ \mbox{$\displaystyle \text{Rang } g'(x,y,z) = \text{Rang}\begin{pmatrix}2x & 2y & 0\\ 0 & -2y & 1\end{pmatrix} = 2\; , $}$
sofern $ \mbox{$x$}$ und $ \mbox{$y$}$ nicht beide verschwinden. Dies ist auf ganz $ \mbox{$V(g)$}$ der Fall. Die gefundenen kritischen Punkte sind insbesondere allesamt regulär.

Untersuchen wir nun unsere kritischen Punkte auf lokale Extrema vermittels der relativen Hessematrix. Halten wir zunächst fest, daß sich für $ \mbox{$\lambda$}$ und $ \mbox{$x$}$ beliebig

$ \mbox{$\displaystyle \text{H}_F(x) \;=\; \begin{pmatrix}12x^2 - 2\lambda_1&0&0\\ 0&\;\; 12 y^2 + 6y - 2\lambda_1 + 2\lambda_2\;\;&0\\ 0&0&0\end{pmatrix}$}$
ergibt.

Im folgenden fassen wir Vorzeichen zusammen, falls sich dies anbietet.

Im kritischen Punkt $ \mbox{$(\pm\frac{\sqrt{23}}{8},-\frac{3}{8},\frac{73}{64})^\text{t}$}$ ist

$ \mbox{$\displaystyle g'\!\left(\pm\frac{\sqrt{23}}{8},-\frac{3}{8},\frac{73}{... ...ix}\pm\frac{\sqrt{23}}{8}&-\frac{3}{4}&0\\ 0&\frac{3}{4}&1\end{pmatrix}\; , $}$
und wir können
$ \mbox{$\displaystyle \text{T}_g\left(\pm\frac{\sqrt{23}}{8},-\frac{3}{8},\fra... ...\right) \;=\; \begin{pmatrix}12\\ \pm 4\sqrt{23}\\ 3\sqrt{23}\end{pmatrix}$}$
setzen. Wegen $ \mbox{$\lambda = (\frac{23}{32},1)^\text{t}$}$ wird der einzige Eintrag der relativen Hessematrix $ \mbox{$\text{H}_{f;g}(\pm\frac{\sqrt{23}}{8},-\frac{3}{8},\frac{73}{64})\in\mathbb{R}^{1\times 1}$}$ zu $ \mbox{$414\,$}$ .

Da die relative Hessematrix infolgedessen positiv definit ist, liegt für beide Wahlen des Vorzeichens ein lokales Minimum unter Nebenbedingung $ \mbox{$g = 0$}$ vor.

Im kritischen Punkt $ \mbox{$(0,\pm\frac{\sqrt 2}{2},\frac{3}{2})^\text{t}$}$ ist

$ \mbox{$\displaystyle g'\!\left(0,\pm\frac{\sqrt 2}{2},\frac{3}{2}\right) \;=\; \begin{pmatrix}0&\pm\sqrt{2}&0\\ 0&\mp\sqrt{2}&1\end{pmatrix}\; , $}$
und wir können
$ \mbox{$\displaystyle \text{T}_g\left(0,\pm\frac{\sqrt 2}{2},\frac{3}{2}\right) \;=\; \begin{pmatrix}1\\ 0\\ 0\end{pmatrix}$}$
setzen. Wegen $ \mbox{$\lambda = (2 \pm \frac{3}{4}\sqrt{2},1)^\text{t}$}$ wird der einzige Eintrag der relativen Hessematrix $ \mbox{$\text{H}_{f;g}(0,\pm\frac{\sqrt 2}{2},\frac{3}{2})\in\mathbb{R}^{1\times 1}$}$ zu
$ \mbox{$\displaystyle - 4 \mp \frac{3}{2}\sqrt{2} $}$
Da die relative Hessematrix infolgedessen bei beiden Wahlen des Vorzeichens negativ definit ist, liegt für beide Wahlen des Vorzeichens ein lokales Maximum unter Nebenbedingung $ \mbox{$g = 0$}$ vor.

Im kritischen Punkt $ \mbox{$(\pm\frac{\sqrt 2}{2},0,1)^\text{t}$}$ ist

$ \mbox{$\displaystyle g'\!\left(\pm\frac{\sqrt 2}{2},0,1\right) \;=\; \begin{pmatrix}\pm\sqrt{2}&0&0\\ 0&0&1\end{pmatrix}\; , $}$
und wir können
$ \mbox{$\displaystyle \text{T}_g\left(\pm\frac{\sqrt 2}{2},0,1\right) \;=\; \begin{pmatrix}0\\ 1\\ 0\end{pmatrix}$}$
setzen. Wegen $ \mbox{$\lambda = (1,1)^\text{t}$}$ wird der einzige Eintrag der relativen Hessematrix $ \mbox{$\text{H}_{f;g}(\pm\frac{\sqrt 2}{2},0,1)\in\mathbb{R}^{1\times 1}$}$ zu $ \mbox{$0\,$}$ , und wir können hier keine Aussage treffen.

Die Menge $ \mbox{$V(g)$}$ ist wegen der Gestalt von $ \mbox{$g_1$}$ beschränkt, wegen der Stetigkeit von $ \mbox{$g$}$ abgeschlossen, und also insgesamt kompakt. Da ferner $ \mbox{$f$}$ stetig ist, nimmt $ \mbox{$f$}$ ein globales Maximum und ein globales Minimum auf $ \mbox{$V(g)$}$ an. Unbeschadet unserer nur hinreichenden Bedingung mit der relativen Hessematrix müssen beide unter den sechs regulären kritischen Punkten auftauchen, da $ \mbox{$g'$}$ auf ganz $ \mbox{$V(g)$}$ den Rang $ \mbox{$2$}$ hat.

Durch Vergleichen der Funktionswerte bei den kritischen Punkten

$ \mbox{$\displaystyle \begin{array}{rclcl} f(\pm\frac{\sqrt{23}}{8},-\frac{3}{... ...\vspace{3mm}\\ f(\pm\frac{\sqrt 2}{2},0,1) & = & 5/4 & = & 1.25 \end{array}$}$
erkennen wir unschwer das globale Maximum und das globale Minimum.

Da die globale Minimalstelle auch als lokale Minimalstelle, und die globale Maximalstelle auch als lokale Maximalstelle erkannt wurde, jeweils unter Nebenbedingung $ \mbox{$g = 0$}$ , ist auch kein Widerspruch eingetreten.

Abschließend bemerken wir, daß wir ohne relative Hessematrix, nur unter Betrachtung der Funktionswerte bei den kritischen Punkten, den Punkt $ \mbox{$(0,-\frac{\sqrt 2}{2},\frac{3}{2})$}$ nicht als lokale Maximalstelle unter Nebenbedingung $ \mbox{$g = 0$}$ hätten erkennen können. Diese Argumentationsnot verschärft sich noch in Fällen, in denen $ \mbox{$V(g)$}$ nicht kompakt ist, man also nicht allein durch Betrachten der Werte an den kritischen Punkten die globalen Extrema erkennen kann.