Dérivée directionnelle

En analyse mathématique, la notion de dérivée directionnelle est fondamentale ; elle permet de quantifier la variation locale d'une fonction dépendant de plusieurs variables, en un point donné et le long d'une direction donnée dans l'espace de ces variables. Dans la version la plus simple, la dérivée directionnelle généralise la notion de dérivées partielles, dans le sens où l'on retrouve ces dernières en prenant comme directions de dérivation les axes de coordonnées.

Le concept de dérivée directionnelle est parfois le point de départ pour définir la dérivée d'une fonction, qui décrit comment sa valeur est modifiée lorsque ses arguments varient de manière infinitésimale et arbitraire (et non plus le long d'une direction préfixée) : la dérivée au sens de Gateaux est définie de cette manière, mais aussi le sous-différentiel d'une fonction convexe et le sous-différentiel de Clarke d'une fonction lipschitzienne. C'est aussi un concept précieux en optimisation, pour obtenir des conditions nécessaires d'optimalité.

On comprend alors pourquoi l'on a introduit de multiples notions de dérivée directionnelle, qui sont plus ou moins bien adaptées à la régularité (c.-à-d. au caractère lisse) de la fonction étudiée, et dont l'utilité et le domaine d'application dépendent de leurs propriétés. Les développements sont très raffinés et se poursuivent ; l'étude des liens entre eux mériterait une monographie. Nous nous contenterons ici de donner les principales définitions, en commençant par les plus familières et les plus simples.

Fonction définie sur un espace vectoriel

Dérivée directionnelle suivant un vecteur

Définition

Soient E un espace vectoriel normé, U un ouvert de E, f une fonction définie sur U et à valeurs dans un espace vectoriel normé F (ou plus généralement, un espace vectoriel topologique séparé). On qualifie de points les éléments de U, et de vecteurs les éléments de E ; les raisons en seront détaillées plus loin. Soient également a un point de U et h un vecteur de E.

La dérivée directionnelle de f au point a suivant le vecteur h est, si elle existe, la dérivée en 0 de la fonction d'une seule variable réelle g(t) = f(a+th) :

$D_{h}f(a)=g\ \!'\!(0)=\lim _{t\to 0}{\frac {f(a+th)-f(a)}{t}}.$

« Intuitivement », la dérivée directionnelle de f au point a suivant le vecteur h est la vitesse verticale en parcourant la surface représentative de f, en passant par le point de composante horizontale a, avec le vecteur vitesse horizontal(e) h.

Si h est le vecteur nul, cette limite existe toujours et sa valeur est toujours zéro. Dans ce qui suit, on pourra donc supposer que h n'est pas le vecteur nul.

Si l'espace E est de dimension finie n et muni d'une base, alors la fonction f peut être vue comme une fonction de n variables réelles, et le calcul des dérivées directionnelles de f suivant les vecteurs de base correspond au calcul des dérivées partielles de f :

$D_{e_{i}}f(a)={\frac {\partial f}{\partial x_{i}}}(a).$

En multipliant le vecteur h par un scalaire 𝛼, le calcul de dérivée directionnelle suivant le vecteur 𝛼h est le même que suivant h, à la multiplication par le facteur 𝛼 près :

$D_{\alpha h}f(a)=\alpha D_{h}f(a).$

Ainsi, en un point, s'il existe une dérivée directionnelle suivant un vecteur, alors il en existe une suivant tout vecteur de même direction, mais la valeur de cette dérivée dépend du vecteur suivi. On parle de dérivée directionnelle de f au point a dans la direction du vecteur h si h est unitaire.

En revanche, il n'y a pas de raison a priori d'observer un résultat particulier en additionnant deux vecteurs h et h'.

Définition alternative

La définition ci-dessus définit la dérivée directionnelle dans la direction du vecteur h si h est unitaire.

Certains auteurs définissent^{[réf. souhaitée]} la dérivée directionnelle de f au point a dans la direction d'un vecteur quelconque $v\neq 0$ par :

$\nabla _{v}f(a):=\lim _{s\to 0}{\frac {f(a+sv)-f(a)}{s\|v\|}},$ si cette limite existe.

Le lien avec la définition précédente est donc : $\nabla _{v}f(a)=D_{h}f(a)$ pour $h={\frac {v}{\|v\|}}.$

« Intuitivement », la dérivée directionnelle de f au point a dans la direction du vecteur unitaire h est la vitesse verticale en parcourant la surface représentative de f, en passant par le point de composante horizontale a, avec le vecteur vitesse horizontal(e) h, de norme 1.

Cas d'une fonction différentiable

Si la fonction f est différentiable au point a, alors elle admet une dérivée directionnelle en a dans la direction de tout vecteur. Cette dérivée se calcule avec l'application différentielle df(a) de f en a, en appliquant la formule :

$D_{h}f(a)=({\rm {d}}f(a))(h).$

Ainsi, cette fois, le résultat est linéaire en h. Notamment,

$D_{h+h'}f(a)=D_{h}f(a)+D_{h'}f(a).$

Enfin, si E est un espace vectoriel de dimension finie n muni d'une base, alors on peut exprimer toutes les dérivées directionnelles en termes de dérivées partielles :

$D_{h}f(a)=\sum _{i=1}^{n}h_{i}{\frac {\partial f}{\partial x_{i}}}(a).$

En général, la réciproque est fausse : le fait qu'une application présente des dérivées directionnelles en a dans toutes les directions n'assure pas sa différentiabilité, ni même sa continuité, en a. Cependant, la réciproque est vraie si la fonction est définie sur un espace vectoriel de dimension finie n, est à valeurs réelles, et est convexe : il suffit alors qu'elle ait des dérivées directionnelles suivant n vecteurs linéairement indépendants pour qu'elle soit différentiable (au sens de Fréchet).

Si E est un espace vectoriel euclidien, f une application différentiable en a et à valeurs réelles, alors il est possible d'utiliser le gradient de f en a pour exprimer les dérivées directionnelles de f en a :

$D_{h}f(a)=\langle \nabla f(a)|h\rangle .$

Si f présente un extremum local en un point a d'un ouvert, alors son gradient en a est le vecteur nul, et toutes ses dérivées directionnelles en a sont nulles (pour une étude plus détaillée, voir point critique).

Interprétation géométrique

La dérivée directionnelle de la fonction f au point a dans la direction du vecteur h se calcule comme la dérivée en 0 de la fonction d'une seule variable réelle g(t) = f(a+th). Cette fonction s'interprète comme la restriction de f à la droite affine passant par A et dirigée par h.

L'angle 𝛼 entre la tangente en A' et l'horizontale est maximal si le plan de coupe contient la direction du gradient en A.

En associant à la fonction $f:U\subset \mathbb {R} ^{2}\to \mathbb {R}$ la surface (S) d'équation cartésienne réduite z = f(x,y), la notion de dérivée directionnelle dans la direction d'un vecteur unitaire $h=(h_{1},h_{2})$ en un point $A=(a_{1},a_{2})$ de U peut être interprétée ainsi : le plan vertical contenant la droite passant par A et dirigée par h coupe la surface (S) selon la courbe paramétrée (C) :

$t\mapsto M(t)={\begin{cases}a_{1}+th_{1}\\a_{2}+th_{2}\\f(a_{1}+th_{1},a_{2}+th_{2}).\end{cases}}$

La fonction M est dérivable en 0 si et seulement si f admet en A une dérivée directionnelle dans la direction de h. Dans ce cas : il existe une tangente (T) à la courbe (C) au point A' = M(0) — qui est le point de (S) à la verticale de A —, et $D_{h}f(A)$ est la composante verticale du vecteur directeur de composante horizontale h, unitaire, de (T) ; ainsi, $D_{h}f(A)$ est la pente de (T).

Si f est différentiable en A et h est unitaire, alors l'inégalité de Cauchy-Schwarz permet d'écrire :

$-\|\nabla f(A)\|\leqslant D_{h}f(A)=\langle \nabla f(A)|h\rangle \leqslant \|\nabla f(A)\|,$

avec égalité si et seulement si h est colinéaire au gradient de f en A.

La pente de la tangente est donc maximale en choisissant la direction du gradient, ce qui est à la base des méthodes de descente dans les problèmes de minimisation.

Dérivée directionnelle au sens de Dini

Définition

Soient E un espace vectoriel, F un espace vectoriel normé et $f:E\to F$ une fonction. On dit que f est directionnellement dérivable au sens de Dini en $x\in E$ dans la direction $d\in E$ si la limite dans la définition de $f'_{_{D}}(x;d)$ ci-dessous existe dans F :

$f'_{D}(x;d):=\lim _{t\to 0,t>0}\,{\frac {f(x+td)-f(x)}{t}}.$

Gateaux-différentiabilité

Soient E et F deux espaces vectoriels normés. Une fonction $f:E\to F$ est dite Gateaux-différentiable en $x\in E$ si

1. la dérivée directionnelle $f'_{D}(x;d)$ existe quel que soit $d\in E$,
2. l'application $D_{G}f(x):d\in E\mapsto f'_{_{D}}(x;d)\in F$ est linéaire continue.

On dit que f est continûment Gateaux-différentiable en $x\in E$ si f est Gateaux-différentiable dans un voisinage V de x et $D_{G}f:V\to {\mathcal {L}}(E,F)$ est continue en x ; on a noté ${\mathcal {L}}(E,F)$ l'ensemble des opérateurs linéaires continus de E dans F, muni de sa norme canonique.

Fonction ayant des valeurs infinies

En analyse convexe ou non lisse, on utilise une notion de dérivée directionnelle, qui est essentiellement celle de Dini, mais qui accepte que les fonctions prennent leurs valeurs dans la droite réelle achevée ${\overline {\mathbb {R} }}:=\mathbb {R} \cup \{-\infty ,+\infty \}$. Les dérivées directionnelles peuvent elles-mêmes prendre leurs valeurs dans ${\overline {\mathbb {R} }}$. Voici cette définition.

Soient E un espace vectoriel et $f:E\to {\overline {\mathbb {R} }}$ une fonction. On dit que $f$ est directionnellement dérivable en $x\in E$ dans la direction $d\in E$ si la limite dans la définition de $f'(x;d)$ ci-dessous existe dans ${\overline {\mathbb {R} }}$ :

$f'(x;d):=\lim _{t\to 0,t>0}\,{\frac {f(x+td)-f(x)}{t}}.$

Cette définition est motivée par le résultat suivant qui assure la dérivabilité directionnelle des fonctions convexes, dans toutes les directions. On y a noté

• $\operatorname {dom} \,f:=\{x\in E\mid f(x)<+\infty \}$ le domaine effectif de $f$ ;
• $\operatorname {aff} {(C)}$ l'enveloppe affine d'une partie $C\subset E$ ;
• $\operatorname {ir} {(C)}$ l'intérieur relatif d'un convexe $C\subset E$.

Dérivée directionnelle d'une fonction convexe — Soient E un espace vectoriel, $f:E\to {\overline {\mathbb {R} }}$ une fonction convexe, $x\in E$ un point tel que $f(x)$ est fini et $d\in E$. Alors

1. la fonction$t\in \mathbb {R} _{+}^{*}\mapsto {\frac {f(x+td)-f(x)}{t}}\in {\overline {\mathbb {R} }}$est croissante ;
2. $f'(x;d)$ existe dans ${\overline {\mathbb {R} }}$ (elle vaut éventuellement $-\infty$ ou $+\infty$) ;
3. $f'(x;d)$ vaut $+\infty$ si et seulement si $x+td\not \in \operatorname {dom} \,f$ pour tout $t>0$ ;
4. $f'(x;d)\geqslant -f'(x;-d)$ ; en particulier, si l'une des deux dérivées directionnelles $f'(x;d)$ ou $f'(x;-d)$ vaut $-\infty$ l'autre vaut $+\infty$ ;
5. la fonction $\delta _{x}:d\in E\mapsto f'(x;d)\in {\overline {\mathbb {R} }}$ est sous-linéaire (en particulier convexe) ;
6. si $x\in \operatorname {ir} \,(\operatorname {dom} \,f)$, alors
   • le domaine de $\delta _{x}$ est le sous-espace vectoriel $E_{0}$ de E parallèle à $\operatorname {aff} (\operatorname {dom} \,f)$,
   • si, de plus, E est un espace vectoriel normé, la fonction $\delta _{x}$ est lipschitzienne sur $E_{0}$.

Ce résultat est utilisé pour définir le sous-différentiel d'une fonction convexe.

Dérivée directionnelle au sens de Hadamard

Soient E un espace vectoriel, F un espace vectoriel normé et $f:E\to F$ une fonction. On dit que f est directionnellement dérivable au sens de Hadamard en $x\in E$ dans la direction $d\in E$ si la limite dans la définition de $f'_{H}(x;d)$ ci-dessous existe dans F :

$f'_{H}(x;d):=\lim _{\scriptstyle t\to 0,t>0 \atop \scriptstyle d'\to d}\,{\frac {f(x+td')-f(x)}{t}}.$

Dérivée directionnelle au sens de Clarke

La présentation ci-dessous se fonde sur l'ouvrage de Clarke (1983).

Définition

Soient E un espace de Banach et $f:E\to \mathbb {R}$ une fonction. La dérivée directionnelle de Clarke de f en x dans la direction $d\in E$ est notée $f^{\circ }(x;d)$ et définie par

$f^{\circ }(x;d):=\limsup _{\scriptstyle x'\to x \atop \scriptstyle t\to 0,t>0}\,{\frac {f(x'+td)-f(x')}{t}}.$

Cette dérivée ne présuppose pas l'existence d'une limite ; elle existe toujours, mais elle peut cependant prendre une valeur infinie. L'utilité de cette dérivée directionnelle repose sur les propriétés suivantes.

Propriétés élémentaires — Si $f$ est lipschitzienne de module $L$ dans un voisinage de $x$, alors

1. la fonction $d\in E\mapsto f^{\circ }(x;d)$ prend des valeurs finies, est positivement homogène, sous-additive, lipschitzienne de module $L$ et on a$\forall \,d\in E:\quad |f^{\circ }(x;d)|\leqslant L\|d\|;$
2. la fonction $(x,d)\in E^{2}\mapsto f^{\circ }(x;d)$ est semi-continue supérieurement ;
3. pour tout $d\in E$, on a $f^{\circ }(x;-d)=(-f)^{\circ }(x;d)$.

La dérivée directionnelle de Clarke est utilisée pour définir le sous-différentiel de Clarke d'une fonction localement lipschitzienne.

Différentiabilité stricte

Le concept de différentiabilité naturellement relié à la dérivée directionnelle de Clarke est celui de différentiabilité stricte, que l'on trouve chez Bourbaki. La fonction considérée peut ici être à valeurs dans un espace vectoriel, pas seulement dans $\mathbb {R}$ ; nous avons marqué ce fait en la désignant par F, plutôt que f.

Soient $\mathbb {E}$ et $\mathbb {F}$ deux espaces de Banach. Une fonction $F:\mathbb {E} \to \mathbb {F}$ est dite strictement différentiable en $x\in \mathbb {E}$ si l'application

$D_{s}F(x):d\in \mathbb {E} \mapsto \lim _{\scriptstyle x'\to x \atop \scriptstyle t\to 0,t>0}\,{\frac {F(x'+td)-F(x')}{t}}\in \mathbb {F}$

est linéaire continue et la limite est uniforme pour d dans un compact arbitraire.

Le résultat suivant apporte deux informations : d'une part, une fonction strictement différentiable en un point est nécessairement lipschitzienne dans un voisinage de ce point et, d'autre part, pour une fonction lipschitzienne, la différentiabilité stricte en un point est assurée sans que l'on ait besoin de vérifier la condition d'uniforme convergence pour des directions dans un compact.

Différentiabilité stricte et lipschitzianité — Soit $F:\mathbb {E} \to \mathbb {F}$ une fonction définie dans le voisinage d'un point $x\in \mathbb {E}$ et $\delta$ un opérateur linéaire continu de $\mathbb {E}$ dans $\mathbb {F}$. Alors les deux propriétés suivantes sont équivalentes :

1. $F$ est strictement différentiable en $x$ et $D_{s}F(x)=\delta$ ;
2. $F$ est lipschitzienne dans un voisinage de $x$ et

$\forall \,d\in \mathbb {E} :\quad \lim _{\scriptstyle x'\to x \atop \scriptstyle t\to 0,t>0}\,{\frac {F(x'+td)-F(x')}{t}}=\delta (d).$

Une fonction continûment Gateaux-différentiable est strictement différentiable.

Gateaux et stricte différentiabilité — Une fonction F continûment Gateaux-différentiable en x est strictement différentiable en x (donc lipschitzienne dans un voisinage de x) et $D_{G}F(x)=D_{s}F(x)$.

Fonction définie sur une variété

Définition

Soit f une fonction numérique sur une variété différentielle M. Avec une définition analogue à la précédente, il est loisible d'introduire la dérivée de f en un point m de M et dans la direction d'un vecteur tangent h en m à la variété. Comme la notion de droite dirigée par h n'a plus de sens, il faut la remplacer par une courbe passant par m et de vecteur tangent h en ce point.

Soit γ une courbe tracée sur M, continûment dérivable, vérifiant γ(0) = m et γ'(0) = h. Si la dérivée en 0 de f∘γ existe, elle est appelée dérivée de f au point m dans la direction de h. On montre en effet que cette définition ne dépend pas de la courbe γ convenable choisie.

Extension : dérivée de Lie

Si X est un champ de vecteurs ${\mathcal {C}}^{\infty }$ sur la variété M et si f est une fonction numérique ${\mathcal {C}}^{\infty }$ sur M, il est possible de calculer les dérivées partielles de f en chaque point p selon le vecteur X(p). La fonction obtenue en considérant toutes ces dérivées est notée $X\cdot f={\mathcal {L}}_{X}f$ et est appelée dérivée de Lie de f par X.

Pour calculer la dérivée de Lie de f, il est notamment possible de prendre pour courbes tangentes aux vecteurs X(p) les courbes intégrales du champ de vecteurs. La généralisation de ce point de vue à la dérivation des champs de vecteurs, formes différentielles et tenseurs est décrite à l'article « Dérivée de Lie ».

Voir aussi

Michel Delfour, Introduction à l'optimisation et au calcul semi-différentiel, Dunod, 2012 (lire en ligne), p. 88-92 : Exemples et contre-exemples