General Second Derivative Test
General Second Derivative Test
Brian D. Sittinger
February 19, 2010
1 Introduction.
Stewart’s Calculus textbook does a fine job of addressing of addressing the
differential calculus of functions of n variables f : Rn → R in the cases of
n = 2 or 3. (As such, it’s usually easy to guess how these formulas generalise
for arbitrary n.) However, it is curious that Stewart only covers the second
derivative test in the case of n = 2 variables. After reviewing the cases of n = 1
and 2, I’ll address what happens in general.
Note that the theorem is silent in the case that f 00 (c) = 0. In such a case, one
has to try a different method to determine the nature of the critical point.
1
Here is the analogous statement for two variables.
2
3 Second Derivative Test in 3 or more variables
By using the Hessian matrix, stating the second derivative test in more than 2
variables is not too difficult to do. Before stating the general theorem, we will
first state it in 3 variables (so the pattern is clear) and work an example.
Second Derivative Test, Three variable case:
Suppose that the second partial derivatives of f : R3 → R are continuous
on a ball with centre (a, b, c), where fx (a, b, c) = 0 and fy (a, b, c) = 0, and
fz (a, b, c) = 0 (that is, (a, b, c) is a critical point of f ).
fx = 2x − y = 0, fy = 2y − x − 3z = 0, and fz = 14z − 3y = 0.
This yields exactly one critical point (0, 0, 0). Next, we compute the matrix of
second partial derivatives:
2 −1 0
H = −1 2 −3 .
0 −3 14
Now, we apply the second derivative ¯ test to ¯the critical point (0, 0, 0).
¯ 2 −1 ¯
D1 (0, 0, 0) = 2 > 0, D2 (0, 0, 0) = ¯¯ ¯ = 3 > 0, and
¯ ¯ −1 2 ¯
¯ 2 −1 0 ¯
¯ ¯
D3 (0, 0, 0) = ¯¯ −1 2 −3 ¯¯ = 24 > 0.
¯ 0 −3 14 ¯
Hence, f has a local minimum at (0, 0, 0). ¥
3
Now, we can state the general version of the second derivative test. Observe
how this theorem indeed does summarise the forms of this test given in the
specific cases. For brevity, let ~x = (x1 , x2 , ..., xn ), and use the gradient of f to
concisely list the partial derivatives.
Second Derivative Test, the general n variable version:
Suppose that the second partial derivatives of f : Rn → R are continuous on a
ball with centre ~c, where ∇f (~c) = ~0 (that is, ~c is a critical point of f ).
Let H denote the Hessian matrix of second partial derivatives, and for each
k = 1, 2, ..., n, let Dk denote the determinant of the Hessian in the variables x1 ,
x2 , ..., xk . Assume that |H(~c)| 6= 0.
(a) If Dk (~c) > 0 for all k = 1, 2, ..., n, then f has a local minimum at ~c.
(b) (−1)k · Dk (~c) > 0 for all k = 1, 2, ..., n, then f has a local maximum at ~c.
(c) Otherwise, f has a saddle point at ~c. ¥
This theorem is usually proved using the quadratic approximation of the (mul-
tivariable) Taylor Series for f centred at ~x = ~c and understandably involves a
good amount of Linear Algebra. The curious student may consult an Advanced
Calculus textbook for a proof of this theorem.