1 Definition

A local maximum is a point at which a function reaches a value at least as large as the values of nearby points. In ordinary graphing terms, it is a local peak: the function may still rise higher elsewhere, but in a small region around that point it does not exceed the peak value. The idea depends on closeness, so the definition is tied to a neighborhood rather than to the entire domain.

1.1 Neighborhood-based definition

For a function \(f\), a point \(x_0\) is a local maximum if there exists an interval around \(x_0\) such that \(f(x_0) \ge f(x)\) for all \(x\) in that interval. The interval may be chosen small enough to focus only on nearby inputs. This makes the concept useful for describing local shape, even when the overall function continues to change away from the point.

1.2 Local maximum versus global maximum

A global maximum is the largest value a function attains on its whole domain, while a local maximum is only the largest within a neighborhood. Every global maximum is automatically a local maximum if the point lies in the interior of the domain, but the reverse is not true. A function can have several local maxima and still have only one global maximum, or none at all.

1.3 Strict and non-strict local maxima

A strict local maximum requires the function value at the point to be greater than the values of all nearby distinct points. A non-strict local maximum allows equal values in the neighborhood. The distinction matters for functions that remain flat over a short interval, where every point in that flat region may qualify as a local maximum in the non-strict sense.

2 Examples

2.1 Polynomial functions

Polynomial graphs often display smooth hills and valleys. For example, a cubic function may rise to a local maximum, fall to a local minimum, and then rise again. Quadratic functions with downward-opening parabolas have one local maximum, which is also the global maximum. Higher-degree polynomials can have several local maxima depending on their coefficients and degree.

2.2 Trigonometric functions

Trigonometric functions provide familiar repeating examples. The sine function has local maxima at points where it reaches \(1\), repeating at regular intervals. The cosine function behaves similarly, with peaks occurring periodically. These examples are useful because they show that local maxima can appear in infinite repeating patterns rather than as isolated events.

2.3 Piecewise-defined functions

A piecewise-defined function may have a local maximum at a junction where different formulas meet. The graph can change direction sharply or may join smoothly depending on how the pieces are defined. In such cases, the maximum may occur at a point where the derivative fails to exist, making the example valuable in discussions of calculus methods.

3 Identification using calculus

Calculus provides systematic tools for locating local maxima. These methods often begin by finding critical points and then testing whether each point corresponds to a peak, a valley, or neither. Derivative-based tests are especially effective for functions that are differentiable on an interval.

3.1 Critical points

Critical points are points in the domain where the derivative is zero or where the derivative does not exist, provided the function itself is defined there. Such points are natural candidates for local maxima and minima because the graph may flatten, turn, or change behavior at those locations.

3.1.1 Points where the derivative is zero

When the first derivative equals zero, the tangent line is horizontal. This condition does not by itself guarantee a local maximum, since the point may also be a local minimum or a flat inflection point. Additional testing is needed to determine the actual behavior near the point.

3.1.2 Points where the derivative does not exist

A local maximum can also occur where the derivative fails to exist. This may happen at sharp corners, cusps, or other singular-looking features in the graph. If the function value at such a point is greater than nearby values, the point is still a local maximum even without a derivative.

3.2 First derivative test

The first derivative test examines how the derivative changes sign around a critical point. If the derivative changes from positive to negative, the function rises before the point and falls after it, indicating a local maximum. This test works well because it reflects the actual direction of the graph on either side of the point.

3.3 Second derivative test

The second derivative test uses concavity. If the first derivative is zero at a point and the second derivative is negative there, the graph bends downward, which usually signals a local maximum. This test is efficient, but it may fail when the second derivative is zero or inconclusive, requiring another method.

3.4 Higher-order derivative tests

When lower-order derivative tests do not settle the question, higher-order derivatives can help. If several derivatives vanish at a point and a later nonzero derivative has the appropriate parity and sign, the point may be classified as a local maximum or minimum. These tests are more specialized and are often used in advanced analysis.

4 Graphical interpretation

Local maxima are often easiest to understand visually. On a graph, they appear as peaks or high spots relative to nearby values. The shape around the point often reveals whether the function has turned downward, flattened briefly, or formed a sharp corner.

4.1 Peaks and turning points

A common local maximum is a turning point where the graph changes from increasing to decreasing. Such points look like mountain tops on a curve. In many elementary examples, the turning point is the clearest sign that a local maximum is present.

4.2 Flat local maxima

Some local maxima are not pointed peaks but flat regions. In these cases, the function may stay constant over a short stretch before decreasing. The top of the plateau still counts as a local maximum if nearby points are no greater, although the visual impression differs from a sharp summit.

4.3 End behavior and local features

Local maxima are distinct from long-range behavior. A function may rise without bound overall while still having temporary peaks along the way. Likewise, a graph may descend toward one end and still contain local maxima in the middle. The local nature of the concept makes it independent of the function’s behavior far away from the point.

Several other ideas are closely related to local maxima. Some describe the opposite behavior, while others concern points where the graph changes shape without necessarily reaching a peak or valley.

5.1 Local minimum

A local minimum is the opposite of a local maximum. At such a point, the function value is less than or equal to nearby values. Local maxima and minima often occur together as a function moves up and down across an interval.

5.2 Saddle point

A saddle point is a critical point that is neither a local maximum nor a local minimum. In one-variable calculus, this often refers to a stationary point where the graph flattens but does not peak or valley. The function may pass through the point while maintaining the same tangent behavior locally.

5.3 Inflection point

An inflection point is where the concavity changes sign. It is not defined by extremum behavior, but it can occur near a local maximum or minimum. In some cases, a stationary inflection point has a horizontal tangent yet still fails to be a local extremum.

5.4 Absolute extrema

Absolute extrema are the largest or smallest values on an entire domain. They are broader than local extrema and may occur at interior points or at endpoints. A function can have many local maxima but only one absolute maximum, depending on its overall range.

6 Applications

Local maxima are important because many practical problems ask for the best or highest outcome under a given condition. In mathematics and applied fields, the goal is often to identify a peak value, improve a design, or understand where a model achieves its most favorable state.

6.1 Optimization problems

In optimization, a local maximum may represent the best available result under nearby variations. This is useful when solving problems about cost, profit, area, volume, or efficiency. Calculus helps locate candidate points, after which the model or constraints determine whether the maximum is relevant.

6.2 Physics and engineering models

Physical systems often involve quantities that rise to a peak and then decline. Examples include height profiles, signal strengths, and response curves. Engineers use local maxima to study stress limits, performance peaks, and operating conditions where a system performs especially well.

6.3 Economics and resource allocation

In economics, local maxima can represent peak profit, output efficiency, or utility under changing conditions. Resource allocation problems also use maximum-seeking methods to divide limited inputs effectively. The local viewpoint is useful when the best outcome depends on small adjustments around a current setting.

7 Extensions

The notion of a local maximum extends naturally beyond single-variable functions. In more advanced settings, the same core idea applies: a point is maximal if nearby points do not exceed it. The surrounding theory becomes richer because neighborhoods can live in higher-dimensional spaces or in discrete structures.

7.1 Functions of several variables

For a function of several variables, a local maximum occurs at a point where all nearby points in the domain have values no greater than the function value there. Instead of intervals, one uses neighborhoods such as disks or balls. Derivative tests often involve gradients and the Hessian matrix rather than a single derivative.

7.2 Constrained optimization

When a function is optimized subject to a restriction, the local maximum must be found within the allowed set. The constraint may be an equation, inequality, or geometric boundary. Methods such as Lagrange multipliers are commonly used to identify candidate points under these restrictions.

7.3 Local maxima in discrete settings

Local maxima also appear in discrete mathematics and computer science. In a sequence, a term may be larger than neighboring terms, forming a discrete peak. Similar ideas occur in graphs, search algorithms, and landscape-like models where values are sampled rather than continuously varying.