Past exam of the mathematics course of the University of Oxford / 2017 / Prelims / Mathematics III / 3

Write $h=x-x_0$, $k=y-y_0$, and let $a=f_{xx}$, $b=f_{xy}$ and $c=f_{yy}$ be evaluated at the critical point. Assuming $f$ is twice continuously differentiable nearby, the Taylor expansion isThe linear terms vanish because the gradient is zero. For $a>0$, completing the square givesConsequently the requested constant is the Hessian determinantThe displayed identity in the question is an identity for the quadratic part; for a general $f$, its right-hand side needs the remainder $o(h^2+k^2)$.

If $D>0$, the quadratic form is positive for every nonzero $(h,k)$. On the unit circle it has a positive minimum, so it dominates the remainder sufficiently near the critical point. Hence the point is a strict local minimum.

If $D<0$, along $k=0$ the quadratic term is $a{h}^2/2>0$, whereas along $h=-bk/a$ it is $D{k}^2/(2a)<0$. Along each line the remainder is of smaller order. Thus values both above and below $f(x_0,y_0)$ occur arbitrarily nearby, giving a saddle point.

The critical points satisfySubstitute $x=-y/2$ to obtain $y(3y-1/2)=0$. Thus the only critical points are $(0,0)$ and $(-1/12,1/6)$.

The Hessian matrix and Hessian determinant areAt $(0,0)$, $D=-1$, so this is a saddle point. At $(-1/12,1/6)$, $D=1$ and $f_{xx}=2>0$, so this is a strict local minimum. ThereforeThe value at the local minimum is $-1/432$; there is no local maximum.

Let $F=x+y+z^2$ and $g=x^2+y^2+z^2$. The unit sphere is compact, so the continuous function $F$ has a global maximum and global minimum. Since $\nabla g\ne 0$ on the unit sphere, all such points satisfy the Lagrange multiplier equationsThus $x=y$ and either $z=0$ or $\lambda =1$.

If $z=0$, then $x=y=\pm 1/\sqrt{2}$, giving $F=\pm \sqrt{2}$. If $\lambda =1$, then $x=y=1/2$ and $z=\pm 1/\sqrt{2}$, giving $F=3/2$. These exhaust the candidates, so