Dérivée partielle

En mathématiques, la dérivée partielle d'une fonction de plusieurs variables est sa dérivée par rapport à l'une de ses variables, les autres étant gardées constantes. C'est une notion de base de l'analyse en dimension $n$, de la géométrie différentielle et de l'analyse vectorielle.

La dérivée partielle de la fonction f par rapport à la variable x est souvent notée ${\frac {\partial f}{\partial x}}$.

Si f est une fonction de x₁, …, x_n et dx₁, …, dx_n sont les accroissements infinitésimaux de x₁, …, x_n respectivement, alors l'accroissement infinitésimal correspondant de f est :

$\mathrm {d} f={\frac {\partial f}{\partial x_{1}}}\,\mathrm {d} x_{1}+\cdots +{\frac {\partial f}{\partial x_{n}}}\,\mathrm {d} x_{n}$.

Cette expression est la « différentielle totale » de f, chaque terme dans la somme étant une « différentielle partielle » de f.

Dans le cas où la fonction ne dépend que d'une seule variable, la dérivée et la dérivée partielle sont identiques : $f'={\frac {\mathrm {d} f}{\mathrm {d} x}}={\frac {\partial f}{\partial x}}$.

Exemple

Considérons le volume d'un cône V ; il dépend de la hauteur h et du rayon r de la base suivant la formule

$V={\frac {r^{2}h\pi }{3}}$.

La dérivée partielle de V par rapport à r est

${\frac {\partial V}{\partial r}}={\frac {2rh\pi }{3}}$.

Elle décrit la façon dont le volume d'un cône varie si son rayon est changé en maintenant sa hauteur constante.

La dérivée partielle par rapport à h est

${\frac {\partial V}{\partial h}}={\frac {r^{2}\pi }{3}}$

et représente la façon dont varie le volume si c'est la hauteur du cône qui est changée tout en maintenant le rayon constant.

On peut alors exprimer la façon dont varie le volume si à la fois le rayon et la hauteur du cône sont changés.

$\mathrm {d} V={\frac {\partial V}{\partial r}}\mathrm {d} r+{\frac {\partial V}{\partial h}}\mathrm {d} h={\frac {2rh\pi }{3}}\mathrm {d} r+{\frac {r^{2}\pi }{3}}\mathrm {d} h=\left({\frac {\partial V}{\partial r}}{\vec {e}}_{r}+{\frac {\partial V}{\partial h}}{\vec {e}}_{z}\right)\cdot \left(\mathrm {d} r{\vec {e}}_{r}+\mathrm {d} h{\vec {e}}_{z}\right)$

$=\left({\frac {2rh\pi }{3}}{\vec {e}}_{r}+{\frac {r^{2}\pi }{3}}{\vec {e}}_{z}\right)\cdot \left(\mathrm {d} r{\vec {e}}_{r}+\mathrm {d} h{\vec {e}}_{z}\right)={\overrightarrow {\operatorname {grad} }}\,V\cdot {\overrightarrow {\mathrm {d} OM}}$

Le point O est le sommet du cône et M est un point du rayon de la base.

Les équations différentielles faisant intervenir des dérivées partielles, appelées équations aux dérivées partielles, se rencontrent dans de multiples contextes en sciences.

Définition formelle et propriétés

Les dérivées partielles sont définies à partir de limites. Leur définition est analogue à celle des dérivées « ordinaires », qu'elles généralisent.

Définition —  Soient $a=(a_{1},\dots ,a_{n})$ un point de $\mathbb {R} ^{n}$, U un voisinage de a dans $\mathbb {R} ^{n}$, et $f:U\to \mathbb {R}$ une fonction de n variables.

La dérivée partielle (d'ordre 1, ou première) de f au point a par rapport à la j-ème variable x_j est, si elle existe, la dérivée directionnelle de f au point a_j dans la direction du j-ème vecteur de la base canonique, ou encore, la dérivée au point a_j de la fonction réelle d'une variable réelle $x\mapsto f(a_{1},\dots ,a_{j-1},x,a_{j+1},\dots ,a_{n})$ :

${\frac {\partial f}{\partial x_{j}}}(a)=\lim _{h\to 0}{f(a_{1},\dots ,a_{j-1},a_{j}+h,a_{j+1},\dots ,a_{n})-f(a_{1},\dots ,a_{n}) \over h}$.

Même si toutes les dérivées partielles ${\frac {\partial f}{\partial x_{1}}}(a),\,\dots ,\,{\frac {\partial f}{\partial x_{n}}}(a)$ existent en un point donné, la fonction peut ne pas être continue en ce point. On dispose toutefois d'une condition suffisante de différentiabilité — et, a fortiori, de continuité — d'une fonction en un point :

Théorème^{[réf. souhaitée]} — Si toutes les dérivées partielles (d'ordre 1) de $f$ sont définies dans un voisinage de $a$ et continues au point $a$, alors $f$ est différentiable en ce point.

Par conséquent, si les dérivées partielles sont définies et continues sur un ouvert U alors la différentielle l'est aussi. Dans ce cas, on dit que f est de classe C¹ sur U.

Le vecteur dont les composantes sont les dérivées partielles premières de f en un point donné a est appelé gradient de f au point a :

${\overrightarrow {\operatorname {grad} }}f(a)=\left({\frac {\partial f}{\partial x_{1}}}(a),\dots ,{\frac {\partial f}{\partial x_{n}}}(a)\right)$ ; on le note aussi ${\overrightarrow {\nabla }}f(a)$ (lire « nabla »).

Si f est de classe C¹, alors le gradient de f au point a, quand il est non nul, a une interprétation géométrique : il indique la direction selon laquelle f varie le plus vite, la ligne de plus grande pente.

Dérivées partielles d'ordre supérieur

Lorsque la dérivée partielle ${\frac {\partial f}{\partial x_{i}}}$ est définie au voisinage d'un point, il se peut qu'elle admette elle-même des dérivées partielles d'ordre 1 en ce point : elles sont appelées dérivées partielles d'ordre 2, ou secondes, de f ; la dérivée partielle d'ordre 1 de ${\frac {\partial f}{\partial x_{i}}}$ au point a par rapport à la j-ème variable est notée ${\frac {\partial ^{2}f}{\partial x_{j}\,\partial x_{i}}}(a)$. On définit de manière analogue des dérivées partielles d'ordre supérieur.

Si f est deux fois dérivable en un point alors toutes les dérivées partielles secondes de f en ce point existent et l'ordre de dérivation peut être changé sans que cela modifie le résultat, d'après le théorème de Schwarz :

${\frac {\partial ^{2}f}{\partial x_{i}\,\partial x_{j}}}={\frac {\partial ^{2}f}{\partial x_{j}\,\partial x_{i}}}$.

Si toutes les dérivées partielles secondes de f sont définies et continues sur un ouvert U, alors (voir supra) la différentielle seconde de f l'est aussi. Dans ce cas, on dit que f est de classe C² sur U.

Notation

Le caractère ∂, symbole de la dérivation partielle, est appelé d rond, ou parfois d ronde (à ne pas confondre avec $\delta$, le delta minuscule de l'alphabet grec).

Soit f une fonction de x, y et z.

La dérivée partielle par rapport à la première variable est notée :

$\mathrm {D} _{1}f$^{(Chatterji p. 79)}, ${\frac {\partial f}{\partial x}}$, $f_{x}'$ ou $\partial _{x}f$

et celles du second ordre :

$\mathrm {D} _{1,1}f$^{(Chatterji p. 123)}, ${\frac {\partial ^{2}f}{\partial x^{2}}}$, $f_{x,x}''$, $\partial _{x,x}f$ ou $\partial _{x}^{2}f$.

Celles du second ordre impliquant deux variables — appelées dérivées mixtes du second ordre — s'écrivent :

$\mathrm {D} _{1,2}f$^{(Chatterji p. 123)}, ${\frac {\partial ^{2}f}{\partial x\,\partial y}}$, $f_{x,y}''$ ou $\partial _{x,y}f$.

et

$\mathrm {D} _{2,1}f$^{(Chatterji p. 123)}, ${\frac {\partial ^{2}f}{\partial y\,\partial x}}$, $f_{y,x}''$ ou $\partial _{y,x}f$.

Quand on a affaire à des fonctions de plusieurs variables, certaines peuvent être reliées les unes aux autres et il peut être nécessaire de spécifier celles qui sont maintenues constantes.

Dans des domaines comme la thermodynamique ou la mécanique statistique, la dérivée partielle de f par rapport à x, les variables y et z étant maintenues constantes, est souvent notée $\left({\frac {\partial f}{\partial x}}\right)_{y,z}$.

Articles connexes

• Divergence (analyse vectorielle)
• Matrice jacobienne
• Rotationnel