Calculus I · Maxima, Minima, and the Shape of a Function

The second derivative: how a function curves

The derivative of the derivative, f″f'', is the rate of change of the slope — and that measures curving. Watch what its sign means:

  • f″>0f'' > 0: the slope is increasing (getting more positive or less negative as you move right), so the curve bends upward — like a cup, or a valley. We say ff is concave up.
  • f″<0f'' < 0: the slope is decreasing, so the curve bends downward — like a cap, or a hilltop. We say ff is concave down.

A point where the concavity switches — where f″f'' changes sign — is an inflection point, the spot where a curve stops bending one way and starts bending the other (the steepest point of an S-shaped growth curve, for instance). (Figure 8.3: a single curve colored by the sign of f″f'' — concave-up stretches as cups, concave-down as caps, with the inflection point where they meet.)

Figure 8.3
Figure 8.3

This gives a second, often faster, way to classify critical points.


The second-derivative test (and where it came from)

At a critical point aa — where f′(a)=0f'(a) = 0 — the concavity settles the question immediately:

Second-Derivative Test. Suppose f′(a)=0f'(a) = 0. - If f″(a)>0f''(a) > 0, then aa is a local minimum (the curve cups upward there). - If f″(a)<0f''(a) < 0, then aa is a local maximum (it caps downward). - If f″(a)=0f''(a) = 0, the test is inconclusive — aa could be a max, a min, or neither.

Where does this come from? Straight from Chapter 7. Near a critical point, the Taylor quadratic loses its linear term (because f′(a)=0f'(a) = 0) and becomes

f(x)≈f(a)+12f″(a)(x−a)2.f(x) \approx f(a) + \tfrac12 f''(a)\,(x-a)^2.

That is a parabola sitting at (a,f(a))(a, f(a)). If f″(a)>0f''(a) > 0 the parabola opens upward — a minimum; if f″(a)<0f''(a) < 0 it opens downward — a maximum. The second-derivative test is nothing more than reading the leading Taylor term at a critical point. And the inconclusive case is honest: when f″(a)=0f''(a) = 0, the parabola is flat and the next Taylor term takes over — for x4x^4 (a min), −x4-x^4 (a max), and x3x^3 (neither), all have f′(0)=f″(0)=0f'(0) = f''(0) = 0, and only the higher terms tell them apart. (Figure 8.4: the three functions x4x^4, −x4-x^4, x3x^3 near 00, all flat to second order, showing why f″=0f''=0 can’t decide.)

Figure 8.4
Figure 8.4

Toolkit: Classifying a critical point aa (where f′(a)=0f'(a)=0)

  1. Second-derivative test (fastest): compute f″(a)f''(a). Positive → min, negative → max, zero → fall back to step 2.
  2. First-derivative test (always works): check the sign of f′f' just left and just right of aa. +→−+\to- → max, −→+-\to+ → min, no change → neither.

All 12 chapters of Calculus I · Foundations · All courses