Dérivée extérieure

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 $\mathrm {d} :\Omega (M)\to \Omega (M)$, appelé dérivée extérieure, vérifiant :

• si ω est de degré k alors dω est de degré k + 1 ;
• en notant Modèle:Math le produit extérieur, si α est de degré k, on a : $\mathrm {d} \left(\alpha \wedge \beta \right)=\mathrm {d} \alpha \wedge \beta +(-1)^{k}\alpha \wedge \mathrm {d} \beta$ ;
• le carré de Modèle:Math est nul : Modèle:Math ;
• pour toute 0-forme, c'est-à-dire toute fonction lisse Modèle:Math, la 1-forme Modèle:Math est la différentielle de Modèle:Math.

Les éléments du noyau de Modèle:Math sont appelés les formes fermées, et ceux de son image les formes exactes.

Expression en coordonnées locales

Pour une k-forme $\omega =f{\rm {d}}x_{i_{1}}\wedge ...\wedge {\rm {d}}x_{i_{k}}$ sur ℝModèle:Exp, la différentielle s'écrit

${\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}}.$

Exemple

Pour une 1-forme sur ℝModèle:2,

$\omega =P{\rm {d}}x+Q{\rm {d}}y,$

on a :

${\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,$

ce qui correspond exactement à la 2-forme qui apparaît dans le théorème de Green.

Fonctorialité

La différentielle extérieure commute au pullback, c'est-à-dire que pour toute application différentiable Modèle:Math et toute forme Modèle:Math sur Modèle:Math, Modèle:Math.

Formule invariante

Étant donnée $\omega$ de degré Modèle:Math et des champs vectoriels arbitraires lisses $V_{0},V_{1},...,V_{k}$, on a

$d\omega (V_{0},V_{1},...V_{k})=\sum _{i}(-1)^{i}V_{i}\omega (V_{0},...,{\hat {V}}_{i},...,V_{k})$

$+\sum _{i<j}(-1)^{i+j}\omega ([V_{i},V_{j}],V_{0},...,{\hat {V}}_{i},...,{\hat {V}}_{j},...,V_{k})$

où $[V_{i},V_{j}]\,\!$ dénote le crochet de Lie et $\omega (V_{0},...,{\hat {V}}_{i},...,V_{k})=\omega (V_{0},...,V_{i-1},V_{i+1}...,V_{k}).$

En particulier, pour les 1-formes :

$d\omega (X,Y)=X(\omega (Y))-Y(\omega (X))-\omega ([X,Y])$

et pour les 2-formes :

$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).$

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.

Gradient

Pour une 0-forme sur ℝModèle:Exp, c'est-à-dire une fonction lisse $f\colon \mathbb {R} ^{n}\to \mathbb {R}$, on a

$df=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}\,dx_{i}.$

Alors

$df(V)=\langle \mathrm {grad} \ f,V\rangle ,$

où $\mathrm {grad} \ f$ dénote le gradient de Modèle:Math et $\langle \cdot ,\cdot \rangle$ est le produit scalaire.

Rotationnel

Pour une 1-forme $\omega =\omega _{x}dx+\omega _{y}dy+\omega _{z}dz$ sur ℝModèle:3 (que l'on peut identifier à un champ de vecteurs),

$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.$

Grâce au produit vectoriel sur ℝModèle:3, on peut identifier la 2-forme dω à un champ de vecteurs ${\overrightarrow {\text{rot}}}\;\omega$, appelé rotationnel de ω et défini comme suit (voir dualité de Hodge)

$d\omega ({\vec {a}},{\vec {b}})={\overrightarrow {\text{rot}}}\;\omega \cdot ({\vec {a}}\wedge {\vec {b}})$

où $\cdot$ est le produit scalaire et ${\vec {a}}\wedge {\vec {b}}$ est le produit vectoriel. On retrouve ainsi la définition usuelle du rotationnel

${\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}}}.$

Divergence

Pour une 2-forme $\omega =\sum _{i,j}h_{i,j}\,dx_{i}\wedge \,dx_{j},$ on a :

$d\omega =\sum _{i,j,k}{\frac {\partial h_{i,j}}{\partial x_{k}}}dx_{k}\wedge dx_{i}\wedge dx_{j}.$

En trois dimensions, avec $\omega =p\,dy\wedge dz+q\,dz\wedge dx+r\,dx\wedge dy$ on obtient : $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,$

où V est un champ vectoriel defini par $V=[p,q,r].$

Articles connexes

• Modèle:Lien
• Théorème de flux-divergence
• Théorème de Stokes