$f (x_1,x_2)=x_1^2+x_2^3 $ Finding if a local minimum exist

468 Views Asked by At

Why is $(0,0)$ not a local minimizer for $f (x_1,x_2)=x_1^2+x_2^3 $? Because $(0,0)$ is a critical point and Hessian matrix at $(0,0)$ is positive semi definite. Therefore isn't it a local minimum for $f(x)$? But I have to show it isn't a local minimum.

A theorem in the book stays if $x_*$ is a critical point then it is a local minimizer for $f(x)$ if $Hf(x_*)$ is positive semi definite.

2

There are 2 best solutions below

2
On BEST ANSWER

The theorem in the book says I believe that the critical point $x_*$ is a local minimizer if $Hf(x_*)$ is positive definite. Positive semidefinite Hessian is a necessary condition for minimum (if local minimum then positive semidefinite), but not sufficient.

Compare with one dimensional case where the derivative should be strictly positive at the critical point. For example, the (critical) point $x=0$ is not a local minimizer of $f(x)=x^3$. The second derivative is zero at zero, but it is too weak to give a local minimum. In fact, the function is strictly increasing.

$(0,0)$ is not a local minimizer by the same reason because along the second variable $x_2$ the function is cubic as in the example above.

0
On

Hint: Show that if $x_2 < 0$ then $f(0,x_2) < f(0,0)$. Conclude that $(0,0)$ is not a local minimum of $f$ (using the definition of a local min).

Edit: The Hessian matrix $Hf$ at $(0,0)$ is given by

$$ Hf(0,0) = \begin{pmatrix} 2 & 0 \\ 0 & 0\end{pmatrix}, $$

which is positive semidefinite but not positive definite. As @A.G. points out in his answer, this is not enough to ensure that $(0,0)$ is a local min.