Critical point (mathematics)

In the study of mathematics, a critical point marks a location where a function undergoes a significant change in behavior. For a single variable function, a critical point is an argument in the function's domain where the derivative is either zero or undefined. When the derivative is zero, the point is often called a stationary point because the rate of change is momentarily null. If the derivative is undefined, the function might have a sharp corner or a vertical tangent. The specific output value produced by the function at this point is known as the critical value.

Understanding these points requires looking at how functions behave across different dimensions. For a function of a single real variable, the derivative measures the slope of the tangent line. If the derivative is zero, the graph has a horizontal tangent. For functions involving complex variables, a critical point occurs where the derivative is zero or where the function is not holomorphic. When working with several real variables, a critical point is defined as a value where the gradient norm is zero or undefined. The gradient is a vector that points in the direction of the steepest increase.

In more advanced settings, mathematicians look at differentiable maps between spaces. For a map between two spaces, a critical point is a location where the rank of the Jacobian matrix is not maximal. The Jacobian matrix is a way to represent all the first-order partial derivatives of a multivariable function. If the map is between differentiable manifolds, critical points are where the rank of the Jacobian matrix decreases. In these specific cases, critical points are also referred to as bifurcation points. This term describes how the structure of a system can change or split at certain values.

Critical points can be categorized by their local shape and behavior. In multivariable calculus, a differentiable critical point might be a local maximum, a local minimum, or a saddle point. A local maximum is the highest point in a specific area, while a local minimum is the lowest. A saddle point is a unique feature that acts as a maximum in one direction but a minimum in another. To distinguish these, mathematicians use the Hessian matrix, which consists of second-order partial derivatives. If the Hessian matrix is nonsingular, the critical point is called nondegenerate.

The classification of these points often depends on the eigenvalues of the Hessian matrix. For a local minimum, the Hessian must be positive definite, meaning all its eigenvalues are positive. For a local maximum, the Hessian must be negative definite, meaning all its eigenvalues are negative. The number of negative eigenvalues is referred to as the index of the critical point. If the index is between zero and the total number of variables, the point is a saddle point. This mathematical framework allows researchers to describe the topology of complex surfaces with great precision.

History and theory provide deep insights into where these points are located. The Gauss–Lucas theorem states that all critical points of a polynomial function in the complex plane lie within the convex hull of its roots. This means they are contained within the smallest convex shape that connects all the roots. Another significant idea is Sendov's conjecture. This conjecture asserts that if all the roots of a function lie within the unit disk in the complex plane, then there is at least one critical point within a unit distance of any given root.

Critical points are essential for the field of optimization, which seeks to find the best possible solutions to problems. Fermat's theorem states that all local maxima and minima of a continuous function must occur at critical points. This principle is used to find the most efficient ways to design systems or manage resources. While finding these points can be difficult for complex equations, modern numerical algorithms are very efficient. For multivariate polynomials, modern algorithms can solve systems of equations to find the global minimum.

Finally, critical points are vital when studying plane curves defined by implicit equations. An implicit equation, such as the one for a unit circle, defines a curve without solving for one variable explicitly. For a projection of such a curve onto an axis, a critical point occurs where the tangent to the curve is parallel to that axis. At these points, the implicit function theorem does not apply. These points are crucial for sketching curves and determining their overall topology.