# what to do when the multivariable second derivative test is inconclusive?

What do we do when the second derivative test fails? How do we approach it, and is there a general method to further find whether a critical point is a maximum, minimum or a saddle point?

For example, I'm asked to find all the critical points of the function $$f(x,y)=-x^{2012}-y^{2012}$$ and determine the nature of the critical points. The critical point that I have found is at $(0,0)$, but I'm unable to determine its nature as the second derivative test fails here.

• works only for smooth functions: if the first $2n-1$ derivatives are zero and the $2n$-th derivative is negative, then you have a local maximum. (i remember this theorem from first semesters but no idea what book to find it in.) – Max Mar 17 '14 at 22:36

You should think geometrically. The function $$f(x,y)=-x^{2012}-y^{2012}$$ can be written $$f(x,y)=-(x^{2012}+y^{2012})$$ But because 2012 is even, $x^{2012}\geq0$ and $y^{2012}\geq 0$. Therefore $x^{2012}+y^{2012}\geq0$ and so $f(x,y)\leq 0$ for all points $(x,y)$. Therefore your critical point $(0,0)$ is a global maximum.
Whoever assigned this problem probably wanted you to notice that your function $f$ is similar to $$g(x,y)=x^2+y^2$$which is an upward-opening elliptic paraboloid that has a global minimum at the origin. Similarly, $$h(x,y)=-x^2-y^2$$ is a downward-opening elliptic paraboloid that has a global maximum at the origin.
The only difference between these functions and your function $f$ is that $f$ rises much, much faster when $|x|>1$ and $|y|>1$ and is much, much flatter when $|x|<1$ and $|y|<1$, because the exponent is so much higher. In fact, the graph would look more like a box than a paraboloid because the walls of the surface are so steep.
To use the latter approach, consider taking the 2012th partial derivatives of your function. Both the $x$ and $y$ partial at the origin will be $-2012!$, and combining this with the multivariate Taylor expansion (and reflecting on the mixed partials) gives another way of seeing that your function is negative definite near the origin. (The reason the second derivative test fails for this function is that it is too flat near its critical point. This extreme flatness is what makes so many of the higher-order derivatives zero.)