Several Variables
In this section, functions are assumed to be smooth. For a smooth function of several real variables, the condition of being a critical point is equivalent to all of its partial derivatives being zero; for a function on a manifold, it is equivalent to its differential being zero.
If the Hessian matrix at a critical point is nonsingular then the critical point is called nondegenerate, and the signs of the eigenvalues of the Hessian determine the local behavior of the function. In the case of a real function of a real variable, the Hessian is simply the second derivative, and nonsingularity is equivalent to being nonzero. A nondegenerate critical point of a single-variable real function is a maximum if the second derivative is negative, and a minimum if it is positive. For a function of n variables, the number of negative eigenvalues of a critical point is called its index, and a maximum occurs when all eigenvalues are negative (index n, the Hessian is negative definite) and a minimum occurs when all eigenvalues are positive (index zero, the Hessian is positive definite); in all other cases, the critical point can be a maximum, a minimum or a saddle point (index strictly between 0 and n, the Hessian is indefinite). Morse theory applies these ideas to determination of topology of manifolds, both of finite and of infinite dimension.
Read more about this topic: Critical Point (mathematics)
Famous quotes containing the word variables:
“Science is feasible when the variables are few and can be enumerated; when their combinations are distinct and clear. We are tending toward the condition of science and aspiring to do it. The artist works out his own formulas; the interest of science lies in the art of making science.”
—Paul Valéry (1871–1945)
“The variables of quantification, ‘something,’ ‘nothing,’ ‘everything,’ range over our whole ontology, whatever it may be; and we are convicted of a particular ontological presupposition if, and only if, the alleged presuppositum has to be reckoned among the entities over which our variables range in order to render one of our affirmations true.”
—Willard Van Orman Quine (b. 1908)