# Second partial derivative test

In mathematics, the **second partial derivative test** is a method in multivariable calculus used to determine if a critical point of a function is a local minimum, maximum or saddle point.

## The test

### Functions of two variables

Suppose that *f*(*x*, *y*) is a differentiable real function of two variables whose second partial derivatives exist. The Hessian matrix *H* of *f* is the 2 × 2 matrix of partial derivatives of *f*:

- .

Define *D*(*x*, *y*) to be the determinant

- ,

of *H*. Finally, suppose that (*a*, *b*) is a critical point of *f* (that is, *f*_{x}(*a*, *b*) = *f*_{y}(*a*, *b*) = 0). Then the second partial derivative test asserts the following:[1]

- If and then is a local minimum of
*f*. - If and then is a local maximum of
*f*. - If then is a saddle point of
*f*. - If then the second derivative test is inconclusive, and the point (
*a*,*b*) could be any of a minimum, maximum or saddle point.

Note that other equivalent versions of the test are possible. For example, some texts may use the trace *f*_{xx} + *f*_{yy} in place of the value *f*_{xx} in the first two cases above. Such variations in the procedure applied do not alter the outcome of the test.

### Functions of many variables

For a function *f* of two or more variables, there is a generalization of the rule above. In this context, instead of examining the determinant of the Hessian matrix, one must look at the eigenvalues of the Hessian matrix at the critical point. The following test can be applied at any critical point *a* for which the Hessian matrix is invertible:

- If the Hessian is positive definite (equivalently, has all eigenvalues positive) at
*a*, then*f*attains a local minimum at*a*. - If the Hessian is negative definite (equivalently, has all eigenvalues negative) at
*a*, then*f*attains a local maximum at*a*. - If the Hessian has both positive and negative eigenvalues then
*a*is a saddle point for*f*(and in fact this is true even if*a*is degenerate).

In those cases not listed above, the test is inconclusive.[2]

For functions of two or more variables, the *determinant* of the Hessian does not provide enough information to classify the critical point, because the number of jointly sufficient second-order conditions is equal to the number of variables, and the sign condition on the determinant of the Hessian is only one of the conditions. Note that in the one-variable case, the Hessian condition simply gives the usual second derivative test.

In the two variable case, and are the principal minors of the Hessian. The first two conditions listed above on the signs of these minors are the conditions for the positive or negative definiteness of the Hessian. For the general case of an arbitrary number *n* of variables, there are *n* sign conditions on the *n* principal minors of the Hessian matrix that together are equivalent to positive or negative definiteness of the Hessian (Sylvester's criterion): for a local minimum, all the principal minors need to be positive, while for a local maximum, the minors with an odd number of rows and columns need to be negative and the minors with an even number of rows and columns need to be positive. See Hessian matrix#Bordered Hessian for a discussion that generalizes these rules to the case of equality-constrained optimization.

## Examples

To find and classify the critical points of the function

- ,

we first set the partial derivatives

- and

equal to zero and solve the resulting equations simultaneously to find the four critical points

- and .

In order to classify the critical points, we examine the value of the determinant *D*(*x*, *y*) of the Hessian of *f* at each of the four critical points. We have

Now we plug in all the different critical values we found to label them; we have

Thus, the second partial derivative test indicates that *f*(*x*, *y*) has saddle points at (0, −1) and (1, −1) and has a local maximum at since . At the remaining critical point (0, 0) the second derivative test is insufficient, and one must use higher order tests or other tools to determine the behavior of the function at this point. (In fact, one can show that *f* takes both positive and negative values in small neighborhoods around (0, 0) and so this point is a saddle point of *f*.)

## Notes

- Stewart 2004, p. 803.
- Kurt Endl/Wolfgang Luh:
*Analysis II*. Aula-Verlag 1972, 7th edition 1989, ISBN 3-89104-455-0, pp. 248-258 (German)

## References

- James Stewart (2005).
*Multivariable Calculus: Concepts & Contexts*. Brooks/Cole. ISBN 0-534-41004-9.

## External links

*Relative Minimums and Maximums*- Paul's Online Math Notes - Calc III Notes (Lamar University)- Weisstein, Eric W. "Second Derivative Test".
*MathWorld*.