En mathématiques, la dérivée extérieure, opérateur de la topologie différentielle et de la géométrie différentielle, étend le concept de la différentielle d'une fonction aux formes différentielles de degré quelconque.
Elle permet de définir les formes différentielles fermées et exactes. Elle est importante dans la théorie de l'intégration sur les variétés, et elle est la différentielle employée pour définir la cohomologie de De Rham et celle d'Alexander-Spanier. Sa forme actuelle fut inventée par Élie Cartan.
Définition
Pour toute variété différentielle M, Ω(M) désigne l'algèbre graduée anti-commutative des formes différentielles sur M. Il existe un unique opérateur linéaire
, appelé dérivée extérieure, vérifiant :
- si ω est de degré k alors dω est de degré k + 1 ;
- en notant ∧ le produit extérieur, si α est de degré k, on a :
; - le carré de d est nul : d(dω) = 0 ;
- pour toute 0-forme, c'est-à-dire toute fonction lisse f, la 1-forme df est la différentielle de f.
Les éléments du noyau de d sont appelés les formes fermées, et ceux de son image les formes exactes.
Expression en coordonnées locales
Pour une k-forme
sur ℝn, la différentielle s'écrit
![{\displaystyle {\rm {d}}{\omega }={\rm {d}}f\wedge {\rm {d}}x_{i_{1}}\wedge ...\wedge {\rm {d}}x_{i_{k}}=\sum _{j=1}^{n}{\frac {\partial f}{\partial x_{j}}}{\rm {d}}x_{j}\wedge {\rm {d}}x_{i_{1}}\wedge ...\wedge {\rm {d}}x_{i_{k}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1457543247198f80b35bb2424f6f852104ea73d0)
En particulier, pour une 0-forme (i.e. une fonction)
, on retrouve l'expression de la différentielle:
![{\displaystyle {\rm {d}}{f}=\sum _{j=1}^{n}{\frac {\partial f}{\partial x_{j}}}{\rm {d}}x_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62729d74769f6bfdfa8ab15c2d4e54f82f817d8a)
Exemple
Pour une 1-forme sur ℝ2,
![{\displaystyle \omega =P{\rm {d}}x+Q{\rm {d}}y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6fa6645f390c0c18338ae0fc79bf5e1ab217729)
on a :
![{\displaystyle {\rm {d}}\omega ={\rm {d}}P\land {\rm {d}}x+{\rm {d}}Q\land {\rm {d}}y=\left({\frac {\partial P}{\partial x}}{\rm {d}}x+{\frac {\partial P}{\partial y}}{\rm {d}}y\right)\land {\rm {d}}x+\left({\frac {\partial Q}{\partial x}}{\rm {d}}x+{\frac {\partial Q}{\partial y}}{\rm {d}}y\right)\land {\rm {d}}y=\left({\frac {\partial Q}{\partial x}}-{\frac {\partial P}{\partial y}}\right){\rm {d}}x\wedge {\rm {d}}y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e59261272c3d733a4735b32cf1483e5338d8b96e)
ce qui correspond exactement à la 2-forme qui apparaît dans le théorème de Green.
La différentielle extérieure commute au pullback, c'est-à-dire que pour toute application différentiable f : M → N et toute forme ω sur N, f*(dω) = d(f*ω).
Étant donné
de degré k et des champs vectoriels arbitraires lisses
, on a
![{\displaystyle d\omega (V_{0},V_{1},...V_{k})=\sum _{i}(-1)^{i}V_{i}\omega (V_{0},...,{\hat {V}}_{i},...,V_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f121d2250ce8da64200db83f0d9359cc9988bf2d)
![{\displaystyle +\sum _{i<j}(-1)^{i+j}\omega ([V_{i},V_{j}],V_{0},...,{\hat {V}}_{i},...,{\hat {V}}_{j},...,V_{k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/926c3d5d4fbc6e3edd147045365241e1342ac947)
où
dénote le crochet de Lie et
En particulier, pour les 1-formes :
![{\displaystyle d\omega (X,Y)=X(\omega (Y))-Y(\omega (X))-\omega ([X,Y])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38c3a22915a42e9a1a708716b6aa3ff84d40a7f2)
et pour les 2-formes :
![{\displaystyle d\omega (X,Y,Z)=X(\omega (Y,Z))-Y(\omega (X,Z))+Z(\omega (X,Y))-\omega ([X,Y],Z)+\omega ([X,Z],Y)-\omega ([Y,Z],X).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27b1069c33b35231a4440af5a819f2fe54663e75)
Lien avec le calcul vectoriel
La correspondance suivante révèle environ une douzaine de formules du calcul vectoriel qui apparaissent comme des cas spéciaux des trois règles de différentiation extérieure ci-dessus.
Pour une 0-forme sur ℝn, c'est-à-dire une fonction lisse
, on a
![{\displaystyle df=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}\,dx_{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7bd182ee50b8783a295a8c19112895b448f085d)
Alors
![{\displaystyle df(V)=\langle \mathrm {grad} \ f,V\rangle ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42a3da86b06406d9843112b9af507f8d250dd81b)
où
dénote le gradient de f et
est le produit scalaire.
Pour une 1-forme
sur ℝ3 (que l'on peut identifier à un champ de vecteurs),
![{\displaystyle d\omega =\left({\frac {\partial \omega _{y}}{\partial x}}-{\frac {\partial \omega _{x}}{\partial y}}\right)dx\wedge dy+\left({\frac {\partial \omega _{z}}{\partial y}}-{\frac {\partial \omega _{y}}{\partial z}}\right)dy\wedge dz+\left({\frac {\partial \omega _{x}}{\partial z}}-{\frac {\partial \omega _{z}}{\partial x}}\right)dz\wedge dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17aff7989c6f882c9bf32fff2f6d331b8aae7156)
Grâce au produit vectoriel sur ℝ3, on peut identifier la 2-forme dω à un champ de vecteurs
, appelé rotationnel de ω et défini comme suit (voir dualité de Hodge)
![{\displaystyle d\omega ({\vec {a}},{\vec {b}})={\displaystyle \langle {\overrightarrow {\text{rot}}}\;\omega ,{\vec {a}}\wedge {\vec {b}}\rangle }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06d403c36de29b74206ee63ab02a42bad069adcb)
où
est le produit scalaire et
est le produit vectoriel. On retrouve ainsi la définition usuelle du rotationnel
![{\displaystyle {\overrightarrow {\text{rot}}}\;\omega =\left({\frac {\partial \omega _{y}}{\partial x}}-{\frac {\partial \omega _{x}}{\partial y}}\right){\vec {e_{z}}}+\left({\frac {\partial \omega _{z}}{\partial y}}-{\frac {\partial \omega _{y}}{\partial z}}\right){\vec {e_{x}}}+\left({\frac {\partial \omega _{x}}{\partial z}}-{\frac {\partial \omega _{z}}{\partial x}}\right){\vec {e_{y}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55b4d8be3b9202049b4629f5c02b73da3741f4d5)
Le fait que le rotationnel ainsi défini (comme le dual de Hodge de la dérivée extérieure du champ de vecteurs identifié à une 1-forme) s'identifie à un vecteur est propre à la dimension 3. De façon générale, ce n'est pas le cas, en particulier en dimension 4, le "rotationnel" ainsi défini est un objet (une 2-forme) de dimension 6, que l'on ne peut donc pas identifier à un vecteur (de dimension 4). Il n'y a pas de généralisation du rotationnel en dimension autre que 3.
Divergence
Pour une 2-forme
on a :
![{\displaystyle d\omega =\sum _{i,j,k}{\frac {\partial h_{i,j}}{\partial x_{k}}}dx_{k}\wedge dx_{i}\wedge dx_{j}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07d195b1ad70b6ace004a5c3dad972876a2ff52f)
En trois dimensions, avec
on obtient :
![{\displaystyle d\omega =\left({\frac {\partial p}{\partial x}}+{\frac {\partial q}{\partial y}}+{\frac {\partial r}{\partial z}}\right)dx\wedge dy\wedge dz={\mbox{div}}Vdx\wedge dy\wedge dz,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a39763888f0c6dfae0e88af8ca84a461aa59510)
où V est un champ vectoriel defini par
De façon générale (en dimension n quelconque), on peut définir un analogue de la divergence d'un champ de vecteurs
en identifiant ce champ à une (n-1)-forme
dont on prend le dual de Hodge de la dérivée extérieure. On a alors:
![{\displaystyle \mathrm {d} \omega =\mathrm {div} {\vec {V}}\ \mathrm {vol} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/65e964471e5c3f6956cd1dd1bf360e4de842a385)
soit encore
, où
désigne la forme volume canonique.
À l'aide des redéfinitions ci-dessus, les formules suivantes sont une simple conséquence de
dans
:
![{\displaystyle {\overrightarrow {\mathrm {rot} }}({\overrightarrow {\mathrm {grad} }})={\vec {0}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/631e3ee46a83359b6adc09327c36d76c0e773cb1)
![{\displaystyle \mathrm {div} ({\overrightarrow {\mathrm {rot} }})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e47ffa9b8d065ff773c23907ca769291d986450f)
En notant
l'espace des k-formes sur
, on peut se représenter la chaîne:
![{\displaystyle \Omega _{0}(\mathbb {R} ^{3}){\overset {\mathrm {d} }{\longrightarrow }}\Omega _{1}(\mathbb {R} ^{3}){\overset {\mathrm {d} }{\longrightarrow }}\Omega _{2}(\mathbb {R} ^{3}){\overset {\mathrm {d} }{\longrightarrow }}\Omega _{3}(\mathbb {R} ^{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cff8a46b34f1a7716fb42794e6346f1ab6618aeb)
La première flèche correspond au gradient, la seconde au rotationnel, la troisième à la divergence:
![{\displaystyle \Omega _{0}(\mathbb {R} ^{3}){\overset {\mathrm {grad} }{\longrightarrow }}\Omega _{1}(\mathbb {R} ^{3}){\overset {\mathrm {rot} }{\longrightarrow }}\Omega _{2}(\mathbb {R} ^{3}){\overset {\mathrm {div} }{\longrightarrow }}\Omega _{3}(\mathbb {R} ^{3})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de4eb559e5fe38a4c3178df10d348153b0e4adbb)
Référence
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé
« Exterior derivative » (voir la liste des auteurs).
- (fr) Henri Cartan, Formes différentielles, Hermann, 1967 plusieurs rééditions, la dernière en 2007
Articles connexes
Portail des mathématiques