20.1 First & Second Derivative Tests, Extrema, Concavity & Optimization
Key Takeaways
- A critical number $c$ is an interior domain value where $f'(c) = 0$ or $f'(c)$ does not exist; local extrema can occur exclusively at critical numbers, but not all critical numbers yield extrema.
- The Extreme Value Theorem guarantees that every continuous function on a closed interval $[a, b]$ attains an absolute maximum and minimum; the Candidates Test locates them by comparing function values at all interior critical numbers and boundary endpoints.
- The First Derivative Test establishes monotonicity ($f'(x) > 0$ for increasing, $f'(x) < 0$ for decreasing) and classifies local extrema by tracking derivative sign changes: positive to negative indicates a local maximum, and negative to positive indicates a local minimum.
- Concavity is governed by the second derivative ($f''(x) > 0$ for concave up, $f''(x) < 0$ for concave down); a point of inflection requires an actual change in concavity sign across a point where the curve possesses a continuous tangent line.
- Applied optimization translates verbal problems into a single-variable objective function via geometric or physical constraint equations, requiring explicit domain verification and confirmation of global optimality via derivative tests.
20.1 First & Second Derivative Tests, Extrema, Concavity & Optimization
Critical Numbers & The Extreme Value Theorem
Differential calculus provides the analytical framework for uncovering the qualitative and quantitative geometry of functions. At the core of curve analysis is Fermat's Theorem on local extrema: if a function $f$ attains a local extremum (maximum or minimum) at an interior point $c$, and if $f'(c)$ exists, then $f'(c) = 0$. This motivates the formal definition of a critical number: a number $c$ in the domain of $f$ such that either $f'(c) = 0$ or $f'(c)$ does not exist (is undefined).
Crucially, an $x$-value where $f'$ is undefined is a critical number only if $x$ belongs to the domain of $f$. For instance, for $f(x) = x^{2/3}$, $f'(x) = \frac{2}{3x^{1/3}}$ is undefined at $x = 0$; because $0$ is in the domain of $f$, $x = 0$ is a critical number (corresponding to a vertical cusp). Conversely, for $g(x) = \frac{1}{x}$, $g'(x) = -\frac{1}{x^2}$ is undefined at $x = 0$, but $x = 0$ is not in the domain of $g$, so $x = 0$ is a vertical asymptote rather than a critical number.
The Extreme Value Theorem (EVT) states that if a real-valued function $f$ is continuous on a closed, bounded interval $[a, b]$, then $f$ must attain both an absolute (global) maximum and an absolute (global) minimum at least once on $[a, b]$. These absolute extrema must occur either at an interior critical number $c \in (a, b)$ or at one of the boundary endpoints $x = a$ or $x = b$.
The Candidates Test (or Closed Interval Method) operationalizes the EVT:
- Confirm $f$ is continuous on $[a, b]$.
- Calculate $f'(x)$ and find all critical numbers $c_1, c_2, \dots$ lying strictly inside the open interval $(a, b)$.
- Evaluate the original function $f$ at each interior critical number: $f(c_1), f(c_2), \dots$
- Evaluate $f$ at the boundary endpoints: $f(a)$ and $f(b)$.
- Identify the largest evaluated value as the absolute maximum and the smallest evaluated value as the absolute minimum on $[a, b]$.
Monotonicity & The First Derivative Test
The sign of the first derivative characterizes the direction of a function's graph over an interval:
- If $f'(x) > 0$ for all $x \in (a, b)$, then $f$ is strictly increasing on $[a, b]$.
- If $f'(x) < 0$ for all $x \in (a, b)$, then $f$ is strictly decreasing on $[a, b]$.
- If $f'(x) = 0$ for all $x \in (a, b)$, then $f$ is constant on $[a, b]$.
The First Derivative Test classifies local extrema at a continuous critical number $c$:
- Local Maximum: If $f'(x)$ changes sign from positive to negative as $x$ increases through $c$ (i.e., $f$ transitions from increasing to decreasing), then $f(c)$ is a local maximum.
- Local Minimum: If $f'(x)$ changes sign from negative to positive as $x$ increases through $c$ (i.e., $f$ transitions from decreasing to increasing), then $f(c)$ is a local minimum.
- No Local Extremum: If $f'(x)$ maintains the same sign on both sides of $c$ (positive to positive, or negative to negative), then $f(c)$ is neither a local maximum nor a local minimum. For example, $f(x) = x^3$ has $f'(0) = 0$, but $f'(x) = 3x^2 > 0$ for all $x \neq 0$, producing a stationary point of inflection rather than an extremum.
Concavity & Points of Inflection
While the first derivative dictates the slope of the tangent line, the second derivative dictates the rate of change of that slope, which defines the concavity of the curve:
- A differentiable function $f$ is concave upward on an open interval $I$ if $f'$ is strictly increasing on $I$. If $f''(x) > 0$ on $I$, the graph is concave upward, curving like an open cup $\cup$. Tangent lines lie strictly below the curve.
- A differentiable function $f$ is concave downward on an open interval $I$ if $f'$ is strictly decreasing on $I$. If $f''(x) < 0$ on $I$, the graph is concave downward, curving like an inverted cup $\cap$. Tangent lines lie strictly above the curve.
A point of inflection is a point $(c, f(c))$ on the curve where the concavity strictly changes sign (from upward to downward, or downward to upward) and where the function is continuous with a well-defined tangent line.
- A necessary condition for an inflection point on a twice-differentiable function is $f''(c) = 0$ or $f''(c)$ does not exist.
- However, $f''(c) = 0$ alone is not sufficient. For $f(x) = x^4$, $f''(x) = 12x^2$, so $f''(0) = 0$. Yet $f''(x) > 0$ for all $x \neq 0$; because the concavity does not change sign across $x = 0$, $(0, 0)$ is a local minimum, not a point of inflection.
The Second Derivative Test for Local Extrema
The Second Derivative Test uses curvature at a stationary critical point where $f'(c) = 0$:
- If $f'(c) = 0$ and $f''(c) < 0$, then $f$ is concave downward at $c$, meaning the horizontal tangent sits atop the curve. Thus, $f(c)$ is a local maximum.
- If $f'(c) = 0$ and $f''(c) > 0$, then $f$ is concave upward at $c$, meaning the horizontal tangent sits below the curve. Thus, $f(c)$ is a local minimum.
- If $f'(c) = 0$ and $f''(c) = 0$ (or $f''(c)$ does not exist), the test is inconclusive. The point may be a local maximum ($f(x) = -x^4$ at $0$), a local minimum ($f(x) = x^4$ at $0$), or an inflection point ($f(x) = x^3$ at $0$). When this occurs, one must revert to the First Derivative Test.
Curve Sketching & Derivative Behavior Summary
| Derivative Condition | Geometric Curve Behavior | Classification / Feature |
|---|---|---|
| $f'(x) > 0$ | Slopes upward from left to right | Function is strictly increasing |
| $f'(x) < 0$ | Slopes downward from left to right | Function is strictly decreasing |
| $f'(c) = 0$ or undefined; $f'$ changes $+$ to $-$ | Peaks smoothly or sharply | Local (relative) maximum at $x = c$ |
| $f'(c) = 0$ or undefined; $f'$ changes $-$ to $+$ | Valleys smoothly or sharply | Local (relative) minimum at $x = c$ |
| $f''(x) > 0$ | Tangents lie below curve; slopes increasing | Concave upward ($\cup$) |
| $f''(x) < 0$ | Tangents lie above curve; slopes decreasing | Concave downward ($\cap$) |
| $f''(c) = 0$ or undefined; $f''$ changes sign | Curve transitions between $\cup$ and $\cap$ | Point of inflection at $(c, f(c))$ |
| $f'(c) = 0$ and $f''(c) < 0$ | Horizontal tangent with downward bowl | Local maximum confirmed |
| $f'(c) = 0$ and $f''(c) > 0$ | Horizontal tangent with upward bowl | Local minimum confirmed |
| $f'(c) = 0$ and $f''(c) = 0$ | Flat curvature at stationary point | Inconclusive; use First Derivative Test |
Applied Optimization: Systematic Analytical Methodology
Applied optimization problems require finding the absolute maximum or absolute minimum of a quantity modeled by a mathematical function subject to physical or economic constraints.
- Formulate Variables and Objective Function: Identify the target quantity to optimize (e.g., area, volume, cost, material surface area) and write an algebraic expression for it.
- Identify Constraint Equations: State the equations relating the auxiliary variables based on geometric, physical, or monetary conditions.
- Reduce to a Single Variable: Substitute the constraint into the objective function so that it depends on exactly one independent variable.
- Establish the Feasible Domain: Determine the physically and mathematically valid interval for the independent variable, taking note of whether the domain is closed $[a, b]$ or open $(a, b)$.
- Differentiate & Locate Critical Numbers: Compute the first derivative of the single-variable objective function, set it equal to zero, and solve for critical values within the feasible domain.
- Verify Optimality: If the domain is closed, apply the Candidates Test. If the domain is an open interval with exactly one critical number, apply the Second Derivative Test or First Derivative Test to prove the critical value yields a global extremum.
Worked Exemplar: Optimization of a Cylindrical Container
Problem: A manufacturing engineer must design a closed right circular cylindrical container with a fixed volume of $54\pi\text{ cm}^3$. Determine the radius $r$ and height $h$ that minimize the total surface area of the container, and compute this minimum surface area.
Step 1: Define the Objective Function and Constraint. Let $r$ denote the base radius and $h$ denote the height in centimeters.
- Volume constraint: $V = \pi r^2 h = 54\pi\text{ cm}^3$.
- Objective: Minimize the total surface area $A$ consisting of the top, bottom, and lateral surface:
Step 2: Express the Objective Function in a Single Variable. Solve the volume constraint for the secondary variable $h$: Substitute $h$ into the surface area equation: Because $r$ represents a physical length, the feasible domain is the open interval $r \in (0, \infty)$.
Step 3: Differentiate and Solve for Critical Numbers. Compute the first derivative with respect to $r$: Set $A'(r) = 0$ to locate stationary critical numbers: Multiply through by $r^2$ and divide by $4\pi$:
Step 4: Verify the Global Minimum via the Second Derivative Test. Differentiate $A'(r)$ to compute the second derivative: Evaluate at the critical radius $r = 3$: Because $A''(r) > 0$ for all $r > 0$, the function $A(r)$ is strictly concave upward across its entire domain. Therefore, $r = 3\text{ cm}$ is the unique absolute minimum.
Step 5: Determine Dimensions and Minimum Surface Area. Calculate the optimal container height: Notice that $h = 2r$, confirming the classic geometric result that a cylinder minimizing surface area for a fixed volume has a height equal to its diameter. Calculate the minimum surface area:
What are the absolute maximum and absolute minimum values of the polynomial function f(x) = 2x^3 - 9x^2 + 12x + 1 on the closed interval [0, 3]?
On which open interval is the function g(x) = 3x^5 - 5x^4 both strictly decreasing and concave downward?
An open-top rectangular storage container is fabricated from a square sheet of metal measuring 24 inches on each side by cutting equal square corners of side length x inches and folding up the flaps. What cut length x maximizes the volume of the container, and what is the resulting maximum volume?
Suppose a function f is twice-differentiable on the real numbers, with f'(2) = 0 and f''(2) = 0. Which statement must be true regarding the point at x = 2?