Isocontour

Soit f une fonction à valeurs réelles. On appelle ligne de niveau l'ensemble

{ (x₁,...,x_n) | f(x₁,...,x_n) = c }

avec c 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

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 x₀ un point. La ligne de niveau passant par x₀ est {x | f(x) = f(x₀)}. Considérons alors une courbe x(t) de cette ligne de niveau passant par x₀, et supposons que x(0) = x₀. 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 x₀ est le gradient en x₀

Par conséquence, le gradient de f en x₀ est perpendiculaire à la tangente en 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

• Surface implicite
• Isosurface
• Gradient

• Portail des mathématiques