Point critique (mathématiques)
En analyse à plusieurs variables, un point critique d'une fonction de plusieurs variables, à valeurs numériques, est un point d'annulation de son gradient, c'est-à -dire un point a tel que ∇ f (a) = 0.
La valeur prise par la fonction en un point critique s'appelle alors une valeur critique. Les valeurs qui ne sont pas critiques sont appelées valeurs régulières.
Les points critiques servent d'intermédiaire pour la recherche des extremums d'une telle fonction.
Plus généralement, on peut définir la notion de point critique d'une application différentiable entre deux variétés différentielles ; il s'agit des points où la différentielle n'est pas de rang maximal.
Points critiques et points d'extremums d'une fonction numérique
Soit f une fonction de n variables x1, ... , xn, à valeurs réelles, différentiable sur un ouvert U. On dit qu'elle admet un point critique en un point u de U quand son gradient est nul en ce point.
Notamment, si u est un point d'extremum local de f alors c'est un point critique. La réciproque est fausse : une fois qu'on a déterminé les points critiques d'une fonction, il faut examiner leur nature, par exemple en effectuant le calcul de la matrice hessienne de f.
Soit la fonction représentée à droite,
L'expression de son gradient est :
Il s'annule donc uniquement en (0 ; 0), qui est le seul point critique. Pour déterminer la nature de ce dernier, on peut calculer la matrice hessienne de la fonction :
Elle a pour valeurs propres 2 et –2. Elle n'est donc ni positive, ni négative : il s'agit d'un point-selle.
On pouvait également constater que pour tout on a ce qui assure qu'il n'y a ni maximum ni minimum en (0 ; 0)
Points et valeurs critiques pour une application entre variétés
Soit f une application différentiable entre deux variétés M et N. On dit que f présente un point critique au point m de M si l'application linéaire tangente à f en m est non surjective (c'est-à -dire f n'est pas une submersion).
On appelle valeurs critiques les images des points critiques par f. Le théorème de Sard assure que pour une fonction indéfiniment différentiable, l'ensemble des valeurs critiques est de mesure nulle.