Ligne de niveau

Un article de Wikipédia, l'encyclopédie libre.

Soit f une fonction à valeurs réelles, une ligne de niveau est un ensemble

{ (x1,...,xn) | f(x1,...,xn) = c } ; c étant une constante. C'est en fait le sous-ensemble de l'ensemble de définition sur lequel f prend une valeur donnée.

Lien avec le gradient[modifier | modifier le code]

Considérons une fonction f dont le graphe ressemble à une montagne. Les courbes bleues représentent alors les courbes de niveau. Les courbes rouges suivent la direction du gradient.

Théorème : le gradient de f est perpendiculaire en tout point à la ligne de niveau de f en ce point.

Il s'agit d'un résultat important. Pour mieux le comprendre, imaginons que deux randonneurs sont à la même position sur une montagne. Le premier est téméraire et décide de prendre la direction de la plus forte pente pour accéder au sommet. Le second étant plus prudent, et ne désirant pas dégringoler, il décide de suivre le chemin qui lui permettra de garder la même altitude pour observer le panorama. Avec cette analogie, le théorème ci-dessus nous informe qu'au départ, les deux randonneurs suivront des chemins perpendiculaires.

Preuve : soit x0 un point. La ligne de niveau passant par x0 est {x | f(x) = f(x0)}. Considérons alors une courbe x(t) de cette ligne de niveau passant par x0, et supposons que x(0) = x0. Nous avons alors:

Si nous dérivons maintenant cette relation en t = 0 en utilisant le théorème de dérivation des fonctions composées, nous trouvons

De manière équivalente, le Jacobien de f en x0 est le gradient en x0

Par conséquent, le gradient de f en x0 est perpendiculaire à la tangente x′(0) à la courbe (et à la ligne de niveau) en ce point. Comme la courbe x(t) est choisie arbitrairement, il vient que le gradient est perpendiculaire à la ligne de niveau.

Une conséquence de ce théorème est que si une ligne de niveau se recoupe (de manière plus précise, n'est pas une variété ou une hypersurface différentiable), alors le gradient doit s'annuler en tous les points d'intersection. Ainsi, tous les points d'intersection seront des points critiques de f.

Voir aussi[modifier | modifier le code]