Dérivée partielle
Modèle:À sourcer 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 <math>n</math>, de la géométrie différentielle et de l'analyse vectorielle.
La dérivée partielle de la fonction <math>f</math> par rapport à la variable <math>x</math> est souvent notée <math>\frac{\partial f}{\partial x}</math>.
Si <math>f</math> est une fonction de <math>x_1,\cdots,x_{n}</math>et <math>\mathrm{d}x_1,\cdots,\mathrm{d}x_n</math> sont les accroissements infinitésimaux de <math>x_1,\cdots,x_{n}</math> respectivement, alors l'accroissement infinitésimal correspondant de <math>f</math> est :
- <math>\mathrm df=\frac{\partial f}{\partial x_1}\,\mathrm dx_1+\cdots+\frac{\partial f}{\partial x_n}\,\mathrm dx_n</math>.
Cette expression est la « différentielle totale » de <math>f</math>, chaque terme dans la somme étant une « différentielle partielle » de <math>f</math>.
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 : <math>f'=\frac{\mathrm df}{\mathrm dx}=\frac{\partial f}{\partial x}</math>.
Exemple
Considérons le volume d'un cône <math>V</math> ; il dépend de la hauteur <math>h</math> et du rayon <math>r</math> de la base suivant la formule
- <math>V=\frac{r^2h\pi}3</math>.
La dérivée partielle de <math>V</math> par rapport à <math>r</math> est
- <math>\frac{\partial V}{\partial r}=\frac{2rh\pi}3</math>.
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 à <math>h</math> est
- <math>\frac{\partial V}{\partial h}=\frac{r^2\pi}3</math>
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.
- <math>\mathrm dV=\frac{\partial V}{\partial r}\mathrm dr+\frac{\partial V}{\partial h}\mathrm dh=\frac{2rh\pi}3\mathrm dr+\frac{r^2\pi}3\mathrm dh=\left(\frac{ \partial V}{\partial r}\vec e_r+\frac{\partial V}{\partial h}\vec e_z\right)\cdot\left(\mathrm dr\vec e_r+\mathrm dh\vec e_z\right)
</math>
- <math>=\left(\frac{2rh\pi}3\vec e_r+\frac{r^2\pi}3\vec e_z\right)\cdot\left(\mathrm dr\vec e_r+\mathrm dh\vec e_z\right)=\overrightarrow{\operatorname{grad}}\, V\cdot \overrightarrow{\mathrm dOM}</math>
- Le point <math>O</math> est le sommet du cône et <math>M</math> 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.
Même si toutes les dérivées partielles <math>\frac{ \partial f}{\partial x_1}(a),\, \dots,\, \frac{ \partial f}{\partial x_n }(a) </math> existent en un point donné, la fonction peut ne pas être continue en ce point<ref>Les contre-exemples abondent. Voir celui de Modèle:Ouvrage (repris par exemple dans Modèle:Ouvrage et dans Modèle:Ouvrage) et celui de Modèle:Ouvrage ou celui, plus simple, de Modèle:Note autre projet</ref>. On dispose toutefois d'une condition suffisante de différentiabilité — et, a fortiori, de continuité — d'une fonction en un point :
Par conséquent, si les dérivées partielles sont définies et continues sur un ouvert <math>U</math> alors la différentielle l'est aussi. Dans ce cas, on dit que <math>f</math> est de classe <math>C^1</math> sur <math>U</math>.
Le vecteur dont les composantes sont les dérivées partielles premières de <math>f</math> en un point donné <math>a</math> est appelé gradient de <math>f</math> au point <math>a</math> :
- <math>\overrightarrow{\operatorname{grad}}f(a) = \left( \frac{\partial f}{\partial x_1}(a), \dots , \frac{\partial f}{\partial x_n}(a) \right)</math> ; on le note aussi <math>\overrightarrow{\nabla} f(a) </math> (lire « nabla »).
Si <math>f</math> est de classe <math>C^1</math>, alors le gradient de <math>f</math> au point <math>a</math>, quand il est non nul, a une interprétation géométrique : il indique la direction selon laquelle <math>f</math> varie le plus vite, la ligne de plus grande pente.
Dérivées partielles d'ordre supérieur
Lorsque la dérivée partielle <math>\frac{\partial f}{\partial x_i}</math> 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 <math>f</math> ; la dérivée partielle d'ordre 1 de <math>\frac{\partial f}{\partial x_i}</math> au point <math>a</math> par rapport à la <math>j</math>e variable est notée <math>\frac{\partial^2f}{\partial x_j\, \partial x_i}(a)</math>. On définit de manière analogue des dérivées partielles d'ordre supérieur.
Si <math>f</math> est deux fois dérivable en un point alors toutes les dérivées partielles secondes de <math>f</math> 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 :
- <math>\frac{\partial^2f}{\partial x_i\, \partial x_j} = \frac{\partial^2f} {\partial x_j\, \partial x_i}</math>.
Si toutes les dérivées partielles secondes de <math>f</math> sont définies et continues sur un ouvert <math>U</math>, alors Modèle:Supra la différentielle seconde de <math>f</math> l'est aussi. Dans ce cas, on dit que <math>f</math> est de classe <math>C^2</math> sur <math>U</math>.
Notation
{{Méta bandeau {{#if:|{{#if:|| d'avertissement}}| de section}}
|forme = discussion
|niveau = modéré
|icône = OOjs UI icon alert-destructive.svg
|titre = {{#if:||{{#if: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.|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.|Attention :}}}}
|texte = {{#if:|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.
|{{#if:||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.}}}}
|date = Modèle:Date
}}
Le caractère ∂, symbole de la dérivation partielle, est appelé d rond, ou parfois d ronde (à ne pas confondre avec <math>\delta</math>, le delta minuscule de l'alphabet grec).
Soit <math>f</math> une fonction de <math>x</math>, <math>y</math> et <math>z</math>.
La dérivée partielle par rapport à la première variable est notée :
- <math>\mathrm D_1f</math>Modèle:Harv, <math>\frac{\partial f}{\partial x}</math>, <math>f_x'</math> ou <math>\partial_x f</math>
et celles du second ordre :
- <math>\mathrm D_{1,1}f</math>Modèle:Harv, <math>\frac{ \partial^2 f}{ \partial x^2}</math>, <math>f_{x,x}</math>, <math>\partial_{x,x} f</math> ou <math>\partial^2_x f</math>.
Celles du second ordre impliquant deux variables — appelées dérivées mixtes du second ordre<ref name=Chatterji121>Modèle:Harvsp.</ref> — s'écrivent :
- <math>\mathrm D_{1,2}f</math>Modèle:Harv, <math>\frac{ \partial^2 f}{\partial x\,\partial y}</math>, <math>f_{x,y}</math> ou <math>\partial_{x,y} f</math>.
et
- <math>\mathrm D_{2,1}f</math>Modèle:Harv, <math>\frac{ \partial^2 f}{\partial y\,\partial x}</math>, <math>f_{y,x}</math> ou <math>\partial_{y,x} f</math>.
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 <math>f</math> par rapport à <math>x</math>, les variables <math>y</math> et <math>z</math> étant maintenues constantes, est souvent notée <math>\left( \frac{\partial f}{\partial x} \right)_{y,z}</math>.
