Английская Википедия:Critical point (mathematics)

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Файл:Stationary vs inflection pts.svg

The abscissae (x-coordinates) of the red circles are stationary points; the blue squares are inflection points.

In mathematics, a critical point is the argument of a function where the function derivative is zero (or undefined, as specified below). The value of the function at a critical point is a Шаблон:Vanchor.

More specifically, when dealing with functions of a real variable, a critical point, also known as a stationary point, is a point in the domain of the function where the function derivative is equal to zero (or where the function is not differentiable). Similarly, when dealing with complex variables, a critical point is a point in the function's domain where its derivative is equal to zero (or the function is not not holomorphic). Likewise, for a function of several real variables, a critical point is a value in its domain where the gradient norm is equal to zero (or undefined).

This sort of definition extends to differentiable maps between Шаблон:Tmath and Шаблон:Tmath a critical point being, in this case, a point where the rank of the Jacobian matrix is not maximal. It extends further to differentiable maps between differentiable manifolds, as the points where the rank of the Jacobian matrix decreases. In this case, critical points are also called bifurcation points. In particular, if Шаблон:Mvar is a plane curve, defined by an implicit equation Шаблон:Math, the critical points of the projection onto the Шаблон:Mvar-axis, parallel to the Шаблон:Mvar-axis are the points where the tangent to Шаблон:Mvar are parallel to the Шаблон:Mvar-axis, that is the points where <math display="inline">\frac{\partial f}{\partial y}(x,y)=0</math>. In other words, the critical points are those where the implicit function theorem does not apply.

Critical point of a single variable function

A critical point of a function of a single real variable, Шаблон:Math, is a value Шаблон:Math in the domain of Шаблон:Mvar where Шаблон:Mvar is not differentiable or its derivative is 0 (i.e. Шаблон:Nowrap A critical value is the image under Шаблон:Mvar of a critical point. These concepts may be visualized through the graph of Шаблон:Mvar: at a critical point, the graph has a horizontal tangent if you can assign one at all.

Notice how, for a differentiable function, critical point is the same as stationary point.

Although it is easily visualized on the graph (which is a curve), the notion of critical point of a function must not be confused with the notion of critical point, in some direction, of a curve (see below for a detailed definition). If Шаблон:Math is a differentiable function of two variables, then Шаблон:Math is the implicit equation of a curve. A critical point of such a curve, for the projection parallel to the Шаблон:Mvar-axis (the map Шаблон:Math), is a point of the curve where <math>\tfrac {\partial g}{\partial y}(x,y)=0.</math> This means that the tangent of the curve is parallel to the Шаблон:Mvar-axis, and that, at this point, g does not define an implicit function from Шаблон:Mvar to Шаблон:Mvar (see implicit function theorem). If Шаблон:Math is such a critical point, then Шаблон:Math is the corresponding critical value. Such a critical point is also called a bifurcation point, as, generally, when Шаблон:Mvar varies, there are two branches of the curve on a side of Шаблон:Math and zero on the other side.

It follows from these definitions that a differentiable function Шаблон:Math has a critical point Шаблон:Math with critical value Шаблон:Math, if and only if Шаблон:Math is a critical point of its graph for the projection parallel to the Шаблон:Mvar-axis, with the same critical value yШаблон:Sub. If Шаблон:Mvar is not differentiable at Шаблон:Math due to the tangent becoming parallel to the Шаблон:Mvar-axis, then Шаблон:Math is again a critical point of Шаблон:Mvar, but now Шаблон:Math is a critical point of its graph for the projection parallel to Шаблон:Mvar-axis.

For example, the critical points of the unit circle of equation <math>x^2 + y^2 - 1 = 0</math> are (0, 1) and (0, -1) for the projection parallel to the Шаблон:Mvar-axis, and (1, 0) and (-1, 0) for the direction parallel to the Шаблон:Mvar-axis. If one considers the upper half circle as the graph of the function <math>f(x)= \sqrt{1-x^2},</math> then Шаблон:Math is a critical point with critical value 1 due to the derivative being equal to 0, and Шаблон:Math are critical points with critical value 0 due to the derivative being undefined.

Examples

• The function <math>f(x) = x^2 + 2x + 3</math> is differentiable everywhere, with the derivative <math>f'(x)=2x+2.</math> This function has a unique critical point −1, because it is the unique number Шаблон:Math for which <math>2x+2=0.</math> This point is a global minimum of Шаблон:Mvar. The corresponding critical value is <math>f(-1) = 2.</math> The graph of Шаблон:Mvar is a concave up parabola, the critical point is the abscissa of the vertex, where the tangent line is horizontal, and the critical value is the ordinate of the vertex and may be represented by the intersection of this tangent line and the Шаблон:Mvar-axis.
• The function <math>f(x) = x^{2/3}</math> is defined for all Шаблон:Mvar and differentiable for Шаблон:Math, with the derivative <math>f'(x) = \tfrac{2x^{-1/3}}{3}.</math> Since Шаблон:Mvar is not differentiable at Шаблон:Math and <math>f'(x)\neq 0</math> otherwise, it is the unique critical point. The graph of the function Шаблон:Mvar has a cusp at this point with vertical tangent. The corresponding critical value is <math>f(0)=0.</math>
• The absolute value function <math>f(x) = |x|</math> is differentiable everywhere except at critical point Шаблон:Math, where it has a global minimum point, with critical value 0.
• The function <math>f(x) = \tfrac{1}{x}</math> has no critical points. The point Шаблон:Math is not a critical point because it is not included in the function's domain.

Location of critical points

By the Gauss–Lucas theorem, all of a polynomial function's critical points in the complex plane are within the convex hull of the roots of the function. Thus for a polynomial function with only real roots, all critical points are real and are between the greatest and smallest roots.

Sendov's conjecture asserts that, if all of a function's roots lie in the unit disk in the complex plane, then there is at least one critical point within unit distance of any given root.

Critical points of an implicit curve

Шаблон:See also Critical points play an important role in the study of plane curves defined by implicit equations, in particular for sketching them and determining their topology. The notion of critical point that is used in this section, may seem different from that of previous section. In fact it is the specialization to a simple case of the general notion of critical point given below.

Thus, we consider a curve Шаблон:Math defined by an implicit equation <math>f(x,y)=0</math>, where Шаблон:Math is a differentiable function of two variables, commonly a bivariate polynomial. The points of the curve are the points of the Euclidean plane whose Cartesian coordinates satisfy the equation. There are two standard projections <math>\pi_y</math> and <math>\pi_x</math>, defined by <math>\pi_y ((x,y))=x</math> and <math>\pi_x ((x,y))=y,</math> that map the curve onto the coordinate axes. They are called the projection parallel to the y-axis and the projection parallel to the x-axis, respectively.

A point of Шаблон:Math is critical for <math>\pi_y</math>, if the tangent to Шаблон:Math exists and is parallel to the y-axis. In that case, the images by <math>\pi_y</math> of the critical point and of the tangent are the same point of the x-axis, called the critical value. Thus a point of Шаблон:Math is critical for <math>\pi_y</math> if its coordinates are a solution of the system of equations:

<math>f(x,y)=\frac{\partial f}{\partial y}(x,y)=0</math>

This implies that this definition is a special case of the general definition of a critical point, which is given below.

The definition of a critical point for <math>\pi_x</math> is similar. If Шаблон:Math is the graph of a function <math>y=g(x)</math>, then Шаблон:Math is critical for <math>\pi_x</math> if and only if Шаблон:Math is a critical point of Шаблон:Math, and that the critical values are the same.

Some authors define the critical points of Шаблон:Math as the points that are critical for either <math>\pi_x</math> or <math>\pi_y</math>, although they depend not only on Шаблон:Math, but also on the choice of the coordinate axes. It depends also on the authors if the singular points are considered as critical points. In fact the singular points are the points that satisfy

<math>f(x,y)=\frac{\partial f}{\partial x}(x,y)=\frac{\partial f}{\partial y}(x,y)=0</math>,

and are thus solutions of either system of equations characterizing the critical points. With this more general definition, the critical points for <math>\pi_y</math> are exactly the points where the implicit function theorem does not apply.

Use of the discriminant

When the curve Шаблон:Math is algebraic, that is when it is defined by a bivariate polynomial Шаблон:Math, then the discriminant is a useful tool to compute the critical points.

Here we consider only the projection <math>\pi_y</math>; Similar results apply to <math>\pi_x</math> by exchanging Шаблон:Math and Шаблон:Math.

Let <math>\operatorname{Disc}_y(f)</math> be the discriminant of Шаблон:Math viewed as a polynomial in Шаблон:Math with coefficients that are polynomials in Шаблон:Math. This discriminant is thus a polynomial in Шаблон:Math which has the critical values of <math>\pi_y</math> among its roots.

More precisely, a simple root of <math>\operatorname{Disc}_y(f)</math> is either a critical value of <math>\pi_y</math> such the corresponding critical point is a point which is not singular nor an inflection point, or the Шаблон:Math-coordinate of an asymptote which is parallel to the Шаблон:Math-axis and is tangent "at infinity" to an inflection point (inflexion asymptote).

A multiple root of the discriminant correspond either to several critical points or inflection asymptotes sharing the same critical value, or to a critical point which is also an inflection point, or to a singular point.

Several variables

For a function of several real variables, a point Шаблон:Mvar (that is a set of values for the input variables, which is viewed as a point in Шаблон:Nowrap is critical if it is a point where the gradient is zero or undefined. The critical values are the values of the function at the critical points.

A critical point (where the function is differentiable) may be either a local maximum, a local minimum or a saddle point. If the function is at least twice continuously differentiable the different cases may be distinguished by considering the eigenvalues of the Hessian matrix of second derivatives.

A critical point at which the Hessian matrix is nonsingular is said to be nondegenerate, and the signs of the eigenvalues of the Hessian determine the local behavior of the function. In the case of a function of a single variable, the Hessian is simply the second derivative, viewed as a 1×1-matrix, which is nonsingular if and only if it is not zero. In this case, a non-degenerate critical point is a local maximum or a local minimum, depending on the sign of the second derivative, which is positive for a local minimum and negative for a local maximum. If the second derivative is null, the critical point is generally an inflection point, but may also be an undulation point, which may be a local minimum or a local maximum.

For a function of Шаблон:Mvar variables, the number of negative eigenvalues of the Hessian matrix at a critical point is called the index of the critical point. A non-degenerate critical point is a local maximum if and only if the index is Шаблон:Mvar, or, equivalently, if the Hessian matrix is negative definite; it is a local minimum if the index is zero, or, equivalently, if the Hessian matrix is positive definite. For the other values of the index, a non-degenerate critical point is a saddle point, that is a point which is a maximum in some directions and a minimum in others.

Application to optimization

By Fermat's theorem, all local maxima and minima of a continuous function occur at critical points. Therefore, to find the local maxima and minima of a differentiable function, it suffices, theoretically, to compute the zeros of the gradient and the eigenvalues of the Hessian matrix at these zeros. This requires the solution of a system of equations, which can be a difficult task. The usual numerical algorithms are much more efficient for finding local extrema, but cannot certify that all extrema have been found. In particular, in global optimization, these methods cannot certify that the output is really the global optimum.

When the function to minimize is a multivariate polynomial, the critical points and the critical values are solutions of a system of polynomial equations, and modern algorithms for solving such systems provide competitive certified methods for finding the global minimum.

Critical point of a differentiable map

Given a differentiable map Шаблон:Tmath the critical points of Шаблон:Mvar are the points of Шаблон:Tmath where the rank of the Jacobian matrix of Шаблон:Mvar is not maximal. The image of a critical point under Шаблон:Mvar is a called a critical value. A point in the complement of the set of critical values is called a regular value. Sard's theorem states that the set of critical values of a smooth map has measure zero.

Some authors give a slightly different definition: a critical point of Шаблон:Mvar is a point of Шаблон:Tmath where the rank of the Jacobian matrix of Шаблон:Mvar is less than Шаблон:Mvar. With this convention, all points are critical when Шаблон:Math.

These definitions extend to differential maps between differentiable manifolds in the following way. Let <math>f:V \to W</math> be a differential map between two manifolds Шаблон:Mvar and Шаблон:Mvar of respective dimensions Шаблон:Mvar and Шаблон:Mvar. In the neighborhood of a point Шаблон:Mvar of Шаблон:Math and of Шаблон:Math, charts are diffeomorphisms <math>\varphi : V \to \R^m</math> and <math>\psi : W \to \R^n.</math> The point Шаблон:Mvar is critical for Шаблон:Mvar if <math>\varphi(p)</math> is critical for <math>\psi \circ f \circ \varphi^{-1}.</math> This definition does not depend on the choice of the charts because the transitions maps being diffeomorphisms, their Jacobian matrices are invertible and multiplying by them does not modify the rank of the Jacobian matrix of <math>\psi \circ f \circ \varphi^{-1}.</math> If Шаблон:Mvar is a Hilbert manifold (not necessarily finite dimensional) and Шаблон:Mvar is a real-valued function then we say that Шаблон:Mvar is a critical point of Шаблон:Mvar if Шаблон:Mvar is not a submersion at Шаблон:Mvar.

Application to topology

Critical points are fundamental for studying the topology of manifolds and real algebraic varieties. In particular, they are the basic tool for Morse theory and catastrophe theory.

The link between critical points and topology already appears at a lower level of abstraction. For example, let <math>V</math> be a sub-manifold of <math>\mathbb R^n,</math> and Шаблон:Math be a point outside <math>V.</math> The square of the distance to Шаблон:Math of a point of <math>V</math> is a differential map such that each connected component of <math>V</math> contains at least a critical point, where the distance is minimal. It follows that the number of connected components of <math>V</math> is bounded above by the number of critical points.

In the case of real algebraic varieties, this observation associated with Bézout's theorem allows us to bound the number of connected components by a function of the degrees of the polynomials that define the variety.

See also

• Singular point of a curve
• Singularity theory
• Gauss–Lucas theorem