A graph illustrating local min/max and global min/max points
In mathematics, a point x* is a local maximum of a function f if there exists some ε > 0 such that f(x*) ≥ f(x) for all x with |x-x*| < ε. Stated less formally, a local maximum is a point where the function takes on its largest value among all points in the immediate vicinity. On a graph of a function, its local maxima will look like the tops of hills.
A local minimum is a point x* for which f(x*) ≤ f(x) for all x with |x-x*| < ε. On a graph of a function, its local minima will look like the bottoms of valleys.
A global maximum is a point x* for which f(x*) ≥ f(x) for all x. Similarly, a global minimum is a point x* for which f(x*) ≤ f(x) for all x. Any global maximum (minimum) is also a local maximum (minimum); however, a local maximum or minimum need not also be a global maximum or minimum.
The concepts of maxima and minima are not restricted to functions whose domain is the real numbers. One can talk about global maxima and global minima for real-valued functions whose domain is any set. In order to be able to define local maxima and local minima, the function needs to take real values, and the concept of neighborhood must be defined on the domain of the function. A neighborhood then plays the role of the set of x such that |x - x*| < ε.
One refers to a local maximum/minimum as to a local extremum (or local optimum), and to a global maximum/minimum as to a global extremum (or global optimum).
Finding maxima and minima
Finding global maxima and minima is the goal of optimization. For twice-differentiable functions in one variable, a simple technique for finding local maxima and minima is to look for stationary points, which are points where the first derivative is zero. If the second derivative at a stationary point is positive, the point is a local minimum; if it is negative, the point is a local maximum; if it is zero, further investigation is required.
If the function is defined over a bounded segment, one also need to check the end points of the segment.
- The function x2 has a unique global minimum at x = 0.
- The function x3 has no global or local minima or maxima. Although the first derivative (3x2) is 0 at x = 0, the second derivative (6x) is also 0.
- The function x3/ 3 - x has first derivative x2 - 1 and second derivative 2x. Setting the first derivative to 0 and solving for x gives stationary points at -1 and +1. From the sign of the second derivative we can see that -1 is a local maximum and +1 is a local minimum. Note that this function has no global maxima or minima.
- The function |x| has a global minimum at x = 0 that cannot be found by taking derivatives, because the derivative does not exist at x = 0.
- The function cos(x) has infinitely many global maxima at 0, ±2π, ±π, ..., and infinitely many global minima at ±π, ±3π, ... .
- The function 2cos(x) - x has infinitely many local maxima and minima, but no global maxima or minima.
- The function x3 + 3x2 - 2x + 1 defined over the closed interval (segment) [-4,2] (see graph) has two extrema: one local maximum in , one local minimum in , a global maximum on x=2 and a global minimum on x=-4.
Functions of more variables
For functions of more variables similar concepts apply, but there is also the saddle point.