Finding the absolute maximum and minimum values of a function is one of the most practical applications of differential calculus. Whether you are optimizing a business budget, designing an engineering component, or analyzing the trajectory of a projectile, identifying the highest and lowest points a function reaches over a specific interval is essential. This process, often referred to as global optimization, differs from finding local extrema because it requires evaluating the function's behavior across the entire domain of interest, not just near critical points.
Understanding the Difference: Absolute vs. Local Extrema
Before diving into the procedure, it is vital to distinguish between absolute (global) and local (relative) extrema. In real terms, a local maximum is the highest point in a small neighborhood around a specific $x$-value; the function increases to that point and then decreases. In real terms, an absolute maximum, however, is the single highest value the function attains across the entire specified interval. Similarly, an absolute minimum is the lowest value overall.
A function may have several local maxima and minima, but it can have only one absolute maximum value and one absolute minimum value (though these values can occur at multiple $x$-locations). Crucially, an absolute extremum on a closed interval is guaranteed to exist if the function is continuous, a fact established by the Extreme Value Theorem Easy to understand, harder to ignore. No workaround needed..
The Extreme Value Theorem: The Theoretical Foundation
Here's the thing about the Extreme Value Theorem states: If a function $f$ is continuous on a closed interval $[a, b]$, then $f$ attains both an absolute maximum and an absolute minimum on that interval.
This theorem is the green light for our search. Also, it tells us two things:
- And Existence: The absolute max and min definitely exist for continuous functions on closed intervals. 2. Location: They must occur either at critical points inside the interval $(a, b)$ or at the endpoints $a$ and $b$.
Some disagree here. Fair enough Nothing fancy..
If the interval is not closed (e.g.That said, , open $(a, b)$ or infinite $(-\infty, \infty)$) or the function has discontinuities, absolute extrema are not guaranteed. In those cases, you must analyze limits and behavior at asymptotes or boundaries to determine if a global extremum exists That alone is useful..
Step-by-Step Procedure: The Closed Interval Method
For the standard scenario—a continuous function $f(x)$ on a closed interval $[a, b]$—the Closed Interval Method (often called the Candidates Test) is the systematic approach. Follow these steps precisely:
1. Verify Continuity and Interval Type
Confirm the function is continuous on $[a, b]$. Polynomials, sine, cosine, and exponential functions are continuous everywhere. Rational functions are continuous except where the denominator is zero. If there is a discontinuity inside the interval, the theorem fails, and you must treat the sub-intervals separately.
2. Find the Derivative
Calculate the first derivative, $f'(x)$. This represents the slope of the tangent line. You will need this to locate where the slope is zero (horizontal tangents) or where the slope does not exist (cusps, corners, vertical tangents).
3. Identify Critical Numbers
A critical number $c$ is a value in the domain of $f$ where either:
- $f'(c) = 0$ (stationary points), OR
- $f'(c)$ does not exist (singular points).
Crucial Step: Solve $f'(x) = 0$ and find where $f'(x)$ is undefined. Discard any critical numbers that fall outside the interval $[a, b]$. Only critical numbers strictly inside the open interval $(a, b)$ are candidates.
4. Evaluate the Function at All Candidates
Create a table or list to evaluate the original function $f(x)$ (not the derivative) at three types of locations:
- The left endpoint: $x = a$
- The right endpoint: $x = b$
- All valid critical numbers found in Step 3.
5. Compare Values to Determine Extrema
- The largest value in your list is the absolute maximum.
- The smallest value in your list is the absolute minimum.
- Report the value (the $y$-coordinate) and the location (the $x$-coordinate).
Worked Example: Polynomial on a Closed Interval
Let’s apply the method to $f(x) = x^3 - 3x^2 + 1$ on the interval $[-0.5, 4]$.
Step 1: Continuity. $f(x)$ is a polynomial; it is continuous everywhere, including $[-0.5, 4]$.
Step 2: Derivative. $f'(x) = 3x^2 - 6x$
Step 3: Critical Numbers. Set $f'(x) = 0$: $3x^2 - 6x = 0$ $3x(x - 2) = 0$ $x = 0 \quad \text{or} \quad x = 2$ The derivative exists for all real numbers, so no singular points. Both $0$ and $2$ lie inside $[-0.5, 4]$. Both are candidates Easy to understand, harder to ignore..
Step 4: Evaluate Candidates.
| $x$-value | Type | $f(x) = x^3 - 3x^2 + 1$ |
|---|---|---|
| $-0.5$ | Left Endpoint | $(-0.5)^3 - 3(-0.5)^2 + 1 = -0.125 - 0.75 + 1 = \mathbf{0.125}$ |
| $0$ | Critical Point | $0 - 0 + 1 = \mathbf{1}$ |
| $2$ | Critical Point | $8 - 12 + 1 = \mathbf{-3}$ |
| $4$ | Right Endpoint | $64 - 48 + 1 = \mathbf{17}$ |
Step 5: Conclusion.
- Absolute Maximum: $17$ at $x = 4$.
- Absolute Minimum: $-3$ at $x = 2$.
Notice that the local maximum at $x=0$ (value 1) was not the absolute maximum. The endpoint $x=4$ yielded a much higher value. This highlights why checking endpoints is non-negotiable.
Handling Special Cases and Nuances
Functions with Non-Differentiable Points
Consider $f(x) = |x^2 - 4|$ on $[-3, 3]$. The derivative does not exist where the inside is zero: $x^2 - 4 = 0 \Rightarrow x = \pm 2$. These are critical numbers because $f'(x)$ is undefined (sharp corners). You must include $x = -2$ and $x = 2$ in your evaluation table alongside endpoints $-3, 3$ and any stationary points. Ignoring points where the derivative fails to exist is a common error that leads to missing the true absolute extremum.
Open Intervals or Infinite Domains
If the interval is open $(a, b)$ or infinite $(-\infty, \infty)$, the Extreme Value Theorem does not apply The details matter here..
- Find critical points as usual.
- Evaluate $f(x)$ at critical points.
- Analyze limits at the boundaries: $\lim_{x \to a^+} f(x)$, $\lim_{x \to b^-} f(x)$, $\lim_{x \to \pm\infty} f(x)$.
- If a limit equals $\infty$ or $-\infty$, no absolute max/min exists in that direction.
- If