Zweimal stetig differenzierbare Funktion/Definitheit der Hesse-Form/Extrema/Fakt/Beweis

Beweis

(1). Aufgrund von Fakt gibt es ein ${}\delta >0$ derart, dass die Hesse-Form ${}\operatorname {Hess} _{Q}\,f$ für alle ${}Q\in U{\left(P,\delta \right)}$ negativ definit ist. Für alle Vektoren ${}v\in V$, ${}v\in U{\left(0,\delta \right)}$, gibt es nach Fakt ein ${}c=c(v)\in [0,1]$ mit

${}f(P+v)=f(P)+\sum _{\vert {\,r\,}\vert =2}{\frac {1}{r!}}D^{r}f(P+cv)\cdot v^{r}=f(P)+{\frac {1}{2}}\operatorname {Hess} _{P+cv}\,f(v,v)\,,$

wobei die erste Formulierung sich auf eine fixierte Basis bezieht und wobei die zweite Identität auf Aufgabe beruht. Da die Hesse-Form negativ definit ist, steht rechts für ${}v\neq 0$ eine Zahl, die echt kleiner als ${}f(P)$ ist. Daher liegt ein isoliertes lokales Maximum vor.
(2) wird wie (1) bewiesen oder durch Betrachten von ${}-f$ darauf zurückgeführt.
(3). Es sei ${}\operatorname {Hess} _{P}\,f$ indefinit. Dann gibt es Vektoren ${}v$ und ${}w$ mit

$\operatorname {Hess} _{P}\,f(v,v)>0\,\,{\text{ und }}\,\,\operatorname {Hess} _{P}\,f(w,w)<0.$

Wegen der stetigen Abhängigkeit der Hesse-Form gelten diese Abschätzungen auch für ${}\operatorname {Hess} _{Q}\,f$ für ${}Q$ aus einer offenen Umgebung von ${}P$ (mit den gleichen Vektoren ${}v$ und ${}w$). Wir können durch Skalierung von ${}v$ und ${}w$ annehmen, dass ${}P+v$ und ${}P+w$ zu dieser Umgebung gehören. Wie im Beweis zu Teil (1) gilt daher (${}v$ und ${}w$ sind nicht ${}0$)

${}f(P+v)=f(P)+{\frac {1}{2}}\operatorname {Hess} _{P+cv}\,f(v,v)>f(P)\,$

und

${}f(P+w)=f(P)+{\frac {1}{2}}\operatorname {Hess} _{P+dw}\,f(w,w)<f(P)\,$

mit ${}c,d\in [0,1]$. Also kann in ${}P$ kein lokales Extremum vorliegen.

Zur bewiesenen Aussage