Extreme Value Theorem

Core Definition

If a real-valued function $f(x)$ is continuous on a closed interval $[a, b]$ , then $f(x)$ is guaranteed to attain both an absolute maximum value and an absolute minimum value at least once within $[a, b]$ :

\exists \, c, d \in [a, b] \quad \text{such that} \quad f(c) \le f(x) \le f(d) \quad \forall \, x \in [a, b]

Here,

f(c)

is the absolute minimum value and

f(d)

is the absolute maximum value.

Concept Explanation

1. The Two Pillars of the Hypothesis

The Extreme Value Theorem (EVT) is an existence theorem that guarantees optimal physical solutions exist before executing algebraic computations.

To apply the EVT, two preconditions must be met simultaneously:

Hypothesis 1: Continuity: The function $f(x)$ must be continuous at every point in the interval $[a, b]$ (no vertical asymptotes, holes, or finite jump discontinuities).
Hypothesis 2: Closed Interval: The domain must explicitly include both boundary endpoints, represented with square brackets $[a, b]$ (or $a \le x \le b$ ).

2. Diagnostic Hypothesis Testing: When the Hypotheses Fail

If either condition fails, the EVT is neutralized. This does not prove that extrema cannot exist; it means their existence is no longer guaranteed.

Open Boundary Violation: Consider $f(x) = x$ on the half-open interval $(0, 1]$ .
- The function is continuous, but the boundary $x = 0$ is excluded.
- As $x \to 0^+$ , $f(x) \to 0$ , but $0$ is never achieved because $x = 0 \notin (0, 1]$ .
- The function attains an absolute maximum of $1$ at $x = 1$ , but has no absolute minimum.
Discontinuity Violation: Consider $f(x) = \frac{1}{x - 2}$ on $[1, 3]$ .
- The interval $[1, 3]$ is closed, but $f(x)$ has an infinite discontinuity (vertical asymptote) at $x = 2 \in [1, 3]$ .
- As $x \to 2^+$ , $f(x) \to +\infty$ ; as $x \to 2^-$ , $f(x) \to -\infty$ .
- The function is unbounded, so neither an absolute maximum nor an absolute minimum exists.

Engineering Applications

Civil Structural Design Safety Audits: Before designing reinforced concrete pillars or steel bridge spans, structural engineering codes mandate proving that load-displacement functions are continuous over the closed span $[0, L]$ . The EVT guarantees that peak tensile stress occurs at some physical cross-section within the span, ensuring the safety factor calculation is mathematically robust.
Aerospace Thermal Heat Shield Sizing: During planetary atmospheric entry, spacecraft heat shield surface temperature $T(t)$ evolves over a closed mission window $[0, t_{\text{splashdown}}]$ . Continuity of thermodynamic heat transfer ensures that a true peak surface temperature exists, enabling material scientists to select appropriate ablative carbon tile thickness.
Power Grid Voltage Regulation: High-voltage transmission lines experience line impedance variations over daily load cycles $[0, 24\text{ hours}]$ . Continuous load profiles guarantee peak power dissipation instants, allowing grid operators to size step-up substation transformers without risk of unmodeled thermal overload.

Example Problems

Example 1: Testing the Continuity Hypothesis

Determine if the Extreme Value Theorem applies to $f(x) = \frac{x + 2}{x - 3}$ on the interval $[1, 5]$ . If not, state the violated hypothesis.

Solution

Check Interval Type: The interval $[1, 5]$ includes its endpoints, so it satisfies the closed interval hypothesis.
Check Continuity: The rational function $f(x)$ is undefined where the denominator equals zero: $x - 3 = 0 \implies x = 3$ Since $x = 3$ is a zero of the denominator (and not of the numerator), $f(x)$ has an infinite discontinuity (vertical asymptote) at $x = 3$ .
Interval Intersection: Because $3 \in [1, 5]$ , the function fails the continuity hypothesis on the interval.
Conclusion: The Extreme Value Theorem does not apply because $f(x)$ is not continuous on $[1, 5]$ (violation at $x = 3$ ).

Example 2: Testing the Boundary Hypothesis

Determine if the Extreme Value Theorem applies to $g(x) = 4x^3 - 12x$ on the interval $(0, 3]$ . If not, state the violated hypothesis.