Extrema of Functions

Fundamentals of Local and Global Extrema

In mathematical analysis, the study of the behavior of functions involves identifying points where the function reaches its highest or lowest values within a specific domain or within an infinitesimal neighborhood. These points are collectively referred to as extrema. A function $f(x)$ is defined to have a local maximum at a point $x_0$ if there exists some positive number $\delta > 0$ such that for all $x$ in the open interval $(x_0 - \delta, x_0 + \delta)$ that are within the domain of the function, the condition $f(x) \le f(x_0)$ holds true. Conversely, a local minimum occurs at $x_0$ if there exists a neighborhood where $f(x) \ge f(x_0)$ for all $x$ in that neighborhood. Global extrema represent the absolute highest and lowest values that a function attains over its entire domain or a specified closed interval $[a, b]$. A crucial theoretical foundation for this is the Extreme Value Theorem, which states that if a function $f(x)$ is continuous on a closed interval $[a, b]$, then the function must attain both a global maximum and a global minimum at least once within those boundaries.

Fermat’s Theorem: The Necessary Condition for Local Extrema

Fermat's Theorem provides a necessary condition for the existence of local extrema for differentiable functions. It states that if a function $f(x)$ has a local extremum at a point $x_0$ and if the derivative $f'(x_0)$ exists at that point, then the derivative must be equal to zero: $f'(x_0) = 0$. In geometric terms, this implies that the tangent line to the graph of the function at the point $(x_0, f(x_0))$ is perfectly horizontal. However, it is imperative to note that this is a necessary but not sufficient condition. A point where the derivative is zero is called a stationary point, but not all stationary points are extrema. For example, the point $x = 0$ for the cubic function $f(x) = x^3$ is a stationary point because its derivative is zero, yet it is not an extremum but rather a point of inflection where the function continues to increase after momentarily flattening.

Critical Points and the Classification of Points

To systematically find extrema, analysts identify all "critical points." A point $x_0$ in the domain of a function $f(x)$ is considered a critical point if either the derivative at that point is zero ($f'(x_0) = 0$) or the derivative does not exist at that point ($f'(x_0)$ is undefined). Stationary points are a specifically defined subset of critical points where the derivative specifically equals zero. Examples of critical points where the derivative does not exist include points where the function has a sharp "corner" or "cusp," such as at $x = 0$ for the absolute value function $f(x) = |x|$. Although the derivative is undefined at the origin for this function because the left-hand limit and right-hand limit of the difference quotient do not match, a local minimum clearly exists there because values on both sides are greater than the value at zero.

The First Derivative Test for Local Extrema

The First Derivative Test is a robust method used to determine whether a critical point corresponds to a local maximum, a local minimum, or neither. This test examines the sign of the first derivative $f'(x)$ as it passes through the critical point $x_0$. There are three primary possible outcomes: (1) If $f'(x)$ changes from positive ($f'(x) > 0$) to negative ($f'(x) < 0$) as $x$ moves from the left side of $x_0$ to the right, then the point $x_0$ is a local maximum. (2) If $f'(x)$ changes from negative ($f'(x) < 0$) to positive ($f'(x) > 0$), then the point $x_0$ is a local minimum. (3) If the sign of $f'(x)$ does not change (staying either positive on both sides or negative on both sides), then the function does not have a local extremum at $x_0$. This test is particularly useful for functions that may not have a continuous second derivative.

The Second Derivative Test for Local Extrema

An alternative method for identifying the nature of a stationary point (where $f'(x_0) = 0$) is the Second Derivative Test, which utilizes the concavity of the function's graph. If the second derivative $f''(x_0)$ exists and is continuous in a neighborhood of $x_0$, we evaluate it at that point. If $f''(x_0) < 0$, the graph of the function is concave down at that point, which means $x_0$ is a local maximum. If $f''(x_0) > 0$, the graph is concave up, indicating that $x_0$ is a local minimum. However, if $f''(x_0) = 0$, the test is inconclusive, and the point could be a local maximum, a local minimum, or an inflection point. In such instances, the First Derivative Test must be employed to reach a definitive conclusion.

Finding Global Extrema on a Closed Interval

To find the absolute maximum and minimum of a continuous function on a closed interval $[a, b]$, one must follow a specific algorithmic procedure: First, find all critical points of the function within the open interval $(a, b)$. Second, evaluate the original function $f(x)$ at each of these critical points. Third, evaluate the function at the boundary endpoints $f(a)$ and $f(b)$. Finally, compare all calculated values; the largest value among them is the absolute maximum, and the smallest value is the absolute minimum. This process ensures that no potential peak or valley is overlooked, whether it occurs internally or at the edge of the domain.