Dérivée partielle

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources ().

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

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 {\displaystyle n} , de la géométrie différentielle et de l'analyse vectorielle.

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

Si f {\displaystyle f} est une fonction de x 1 , , x n {\displaystyle x_{1},\cdots ,x_{n}} et d x 1 , , d x n {\displaystyle \mathrm {d} x_{1},\cdots ,\mathrm {d} x_{n}} sont les accroissements infinitésimaux de x 1 , , x n {\displaystyle x_{1},\cdots ,x_{n}} respectivement, alors l'accroissement infinitésimal correspondant de f {\displaystyle f} est :

d f = f x 1 d x 1 + + f x n d x n {\displaystyle \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 {\displaystyle f} , chaque terme dans la somme étant une « différentielle partielle » de f {\displaystyle 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 = d f d x = f x {\displaystyle f'={\frac {\mathrm {d} f}{\mathrm {d} x}}={\frac {\partial f}{\partial x}}} .

Exemple

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

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

La dérivée partielle de V {\displaystyle V} par rapport à r {\displaystyle r} est

V r = 2 r h π 3 {\displaystyle {\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 {\displaystyle h} est

V h = r 2 π 3 {\displaystyle {\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.

d V = V r d r + V h d h = 2 r h π 3 d r + r 2 π 3 d h = ( V r e r + V h e z ) ( d r e r + d h e z ) {\displaystyle \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)}
= ( 2 r h π 3 e r + r 2 π 3 e z ) ( d r e r + d h e z ) = grad V d O M {\displaystyle =\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 {\displaystyle O} est le sommet du cône et M {\displaystyle 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 , , a n ) {\displaystyle a=(a_{1},\dots ,a_{n})} un point de R n {\displaystyle \mathbb {R} ^{n}} , U {\displaystyle U} un voisinage de a {\displaystyle a} dans R n {\displaystyle \mathbb {R} ^{n}} , et f : U R {\displaystyle f:U\to \mathbb {R} } une fonction de n {\displaystyle n} variables.

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

f x j ( a ) = lim h 0 f ( a 1 , , a j 1 , a j + h , a j + 1 , , a n ) f ( a 1 , , a n ) h {\displaystyle {\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 f x 1 ( a ) , , f x n ( a ) {\displaystyle {\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[2]. On dispose toutefois d'une condition suffisante de différentiabilité — et, a fortiori, de continuité — d'une fonction en un point :

Théorème — Si toutes les dérivées partielles (d'ordre 1) de f {\displaystyle f} sont définies dans un voisinage de a {\displaystyle a} et continues au point a {\displaystyle a} , alors f {\displaystyle f} est différentiable en ce point. Il suffit même que l'une des dérivées partielles soit définie au point a {\displaystyle a} et que les autres soient définies dans un voisinage de a {\displaystyle a} et continues au point a {\displaystyle a} [3].

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

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

grad f ( a ) = ( f x 1 ( a ) , , f x n ( a ) ) {\displaystyle {\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 f ( a ) {\displaystyle {\overrightarrow {\nabla }}f(a)} (lire « nabla »).

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

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

Article détaillé : Théorème de Schwarz.

Lorsque la dérivée partielle f x i {\displaystyle {\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 {\displaystyle f}  ; la dérivée partielle d'ordre 1 de f x i {\displaystyle {\frac {\partial f}{\partial x_{i}}}} au point a {\displaystyle a} par rapport à la j {\displaystyle j} e variable est notée 2 f x j x i ( a ) {\displaystyle {\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 {\displaystyle f} est deux fois dérivable en un point alors toutes les dérivées partielles secondes de f {\displaystyle 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 :

2 f x i x j = 2 f x j x i {\displaystyle {\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 {\displaystyle f} sont définies et continues sur un ouvert U {\displaystyle U} , alors (voir supra) la différentielle seconde de f {\displaystyle f} l'est aussi. Dans ce cas, on dit que f {\displaystyle f} est de classe C 2 {\displaystyle C^{2}} sur U {\displaystyle U} .

Notation

Attention : Certaines informations présentées dans cette section ne font pas l'objet d'un consensus et doivent être utilisées avec précautions. Votre aide est la bienvenue dans l'onglet discussion.

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

Soit f {\displaystyle f} une fonction de x {\displaystyle x} , y {\displaystyle y} et z {\displaystyle z} .

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

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

et celles du second ordre :

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

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

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

et

D 2 , 1 f {\displaystyle \mathrm {D} _{2,1}f} (Chatterji p. 123), 2 f y x {\displaystyle {\frac {\partial ^{2}f}{\partial y\,\partial x}}} , f y , x {\displaystyle f_{y,x}''} ou y , x f {\displaystyle \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 {\displaystyle f} par rapport à x {\displaystyle x} , les variables y {\displaystyle y} et z {\displaystyle z} étant maintenues constantes, est souvent notée ( f x ) y , z {\displaystyle \left({\frac {\partial f}{\partial x}}\right)_{y,z}} .

Notes et références

  1. Srishti D. Chatterji, Cours d'analyse, vol. 1 : Analyse vectorielle, PPUR, (lire en ligne), p. 79.
  2. Les contre-exemples abondent. Voir celui de S. Sarfati et M. Fegyvères, Mathématiques : méthodes, savoir-faire et astuces, Bréal, (lire en ligne), p. 375-376 (repris par exemple dans F. Cottet-Emard, Analyse, vol. 2, De Boeck Supérieur, (lire en ligne), p. 31 et dans X. Oudot et M. Allano-Chevalier, Maths PCSI-PTSI 1re année, Hachette Éducation, (lire en ligne), p. 493-494) et celui de H. Muller, A. Boisseau et Weidenfeld, Mathématiques PTSI, Bréal, (lire en ligne), p. 447 ou celui, plus simple, de « Différentielles des fonctions de Rp dans Rq » sur Wikiversité.
  3. Voir (en) Tom M. Apostol, Mathematical Analysis, 2e éd., p. 357, Theorem 12.11, ou « Condition suffisante de différentiabilité d'une fonction définie sur un produit » sur Wikiversité.
  4. Chatterji 1997, p. 121.

Articles connexes

  • icône décorative Portail de l'analyse