Lösung.

Setze $ \mbox{$g: \mathbb{R}^n\to\mathbb{R}$}$ , $ \mbox{$x\mapsto g(x):=\Vert x\Vert^2-1=x^\text{t} x - 1$}$ . Es sind $ \mbox{$q$}$ und $ \mbox{$g$}$ beliebig oft stetig differenzierbar.

Gemäß der Multiplikatorenregel von Lagrange betrachten wir die Funktion

$ \mbox{$\displaystyle F(x)\; :=\; q(x) - \lambda g(x) \;=\; x^\text{t} A x - \lambda (x^\text{t} x - 1) \; . $}$
Die Bedingung
$ \mbox{$\displaystyle F'(x) \;=\; 2x^\text{t} A - 2\lambda x^\text{t} \;=\; 0 $}$
liefert mittels der Symmetrie der Matrix $ \mbox{$A$}$ die Gleichung $ \mbox{$Ax = \lambda x$}$ .

Da $ \mbox{$g'(x) = 2 x^\text{t}$}$ , ist für $ \mbox{$\Vert x\Vert = 1$}$ der Rang von $ \mbox{$g'(x)$}$ ungleich $ \mbox{$0$}$ , und also gleich $ \mbox{$1$}$ .

Die regulären kritischen Punkte von $ \mbox{$q$}$ unter der Nebenbedingung $ \mbox{$g = 0$}$ sind also gerade die normierten Eigenvektoren von $ \mbox{$g$}$ .

Untersuchen wir nun die hinreichende Bedingung. Zunächst ergibt sich für ein beliebiges $ \mbox{$\lambda$}$ und ein beliebiges $ \mbox{$x\in\mathbb{R}^n$}$ mit $ \mbox{$F := q - \lambda g$}$

$ \mbox{$\displaystyle \text{H}_F(x) \;=\; 2(A - \lambda \text{E})\; . $}$
Es seien $ \mbox{$\lambda_1, \ldots, \lambda_n$}$ die der Größe nach aufsteigenden Eigenwerte der Matrix $ \mbox{$A$}$ mit zugehörigen normierten Eigenvektoren $ \mbox{$x_1, \ldots, x_n$}$ resp. Dann bilden $ \mbox{$(x_1, \ldots, x_n)$}$ eine Orthonormalbasis des $ \mbox{$\mathbb{R}^n$}$ .

Sei $ \mbox{$\text{T}_g(x_i)$}$ durch das Spaltentupel $ \mbox{$(x_1,\ldots,x_{i-1},x_{i+1},\ldots,x_n)$}$ gegeben. Die relative Hessematrix in $ \mbox{$x_i$}$ berechnet sich zu

$ \mbox{$\displaystyle \text{H}_{q;g}(x_i) \;=\; \text{T}_g(x_i)^\text{t}\, \te... ...a_{i-1}-\lambda_i,\lambda_{i+1}-\lambda_{i}, \ldots, \lambda_n - \lambda_i). $}$

Es liegt also für den maximalen Eigenwert eine negativ definite relative Hessematrix vor, und daher bei den beiden zugehörigen normierten Eigenvektoren ein lokales Maximum.

Ferner liegt für den minimalen Eigenwert eine positiv definite relative Hessematrix vor, und daher bei den beiden zugehörigen normierten Eigenvektoren ein lokales Minimum.

Da $ \mbox{$V(g)$}$ kompakt ist (da abgeschlossen und beschränkt), existieren ein globales Maximum und ein globales Minimum von $ \mbox{$q\vert _{V(g)}$}$ . Da $ \mbox{$g'$}$ auf ganz $ \mbox{$V(g)$}$ den Rang $ \mbox{$1$}$ hat, sind beide unter den regulären kritischen Punkten zu suchen. Es folgt, daß $ \mbox{$\max\limits_{\Vert x\Vert = 1} q(x)$}$ gleich dem maximalen, und $ \mbox{$\min\limits_{\Vert x\Vert = 1} q(x)$}$ gleich dem minimalen Eigenwert von $ \mbox{$A$}$ sind.