Second derivative test for a function of multiple variables
Statement
Suppose is a function of a vector variable with coordinates , and suppose is a point in the domain of with coordinates . Suppose all the first-order partial derivatives of at equal zero.
Suppose that all the second-order partial derivatives of at (pure and mixed) exist and are continuous at and around . Note that Clairaut's theorem on equality of mixed partials thus applies and we get that .
The second derivative test helps us determine whether has a local maximum at , local minimum at , or a saddle point at .
The test is as follows. We begin by computing the Hessian matrix of at . This is a square matrix of real numbers. Further, due to Clairaut's theorem on equality of mixed partials, it is a symmetric matrix.
We can now state the test explicitly:
Condition on Hessian matrix | How would we check this condition? | Conclusion for at |
---|---|---|
The matrix is a positive definite matrix, i.e., the bilinear form induced by the matrix is positive definite. | Since the matrix is a symmetric matrix, it suffices to check that all the principal minors have positive determinant. | strict local minimum |
The matrix is a negative definite matrix, i.e., the bilinear form induced by the matrix is negative definite. | Check that the negative of the matrix is positive definite. Equivalently, the determinant of any principal minor is where is the order of matrices. | strict local maximum |
The matrix is a positive semidefinite matrix but not a positive definite matrix. | Since the matrix is a symmetric matrix, it suffices to check that all the principal minors have nonnegative determinant, but at least one of the determinants is zero. | Indeterminate. |
The matrix is a negative semidefinite matrix but not a negative definite matrix. | Check that the negative of the matrix is positive semidefinite but not positive definite. | Indeterminate. |
The matrix is neither positive semidefinite nor negative semidefinite. | Check that it satisfies none of the cases above. | saddle point |