title: Calcul différentiel extérieur
text: # Calcul différentiel extérieur
  
  En géométrie différentielle, le calcul différentiel extérieur désigne le calcul portant sur les formes différentielles ouverts de $\mathbf {R} ^{n}$ ou plus généralement sur des variétés différentielles. Cet article regroupe un ensemble de formules, portant sur le produit intérieur, le produit extérieur, la dérivée de Lie, … Les définitions de ces opérations sont données dans les articles correspondants et sont celles les plus usitées ; mais des modifications dans les définitions, parfois faites par certains auteurs, impliquent des changements de signe dans les formules suivantes.
  
  Notations : On travaille des ouverts de $\mathbf {R} ^{n}$ ou plus généralement _sur des variétés différentielles (sans les nommer). X et Y sont des champs de vecteurs, $\alpha$ et $\beta$ sont des formes différentielles pures, le degré de $\alpha$ est noté k. $\varphi$ et $\psi$ sont des applications $C^{\infty }$, $\Phi$ et $\Psi$ des difféomorphismes et f est une fonction réelle.
  
  Rappels. Le tiré en arrière (pull-back en anglais) ou image réciproque se définit pour les champs de tenseurs covariants, en particulier pour les formes différentielles, et pour toute application lisse. Le poussé en avant, ou image directe, nécessite d'avoir affaire à un difféomophisme.
  
  ## Tiré en arrière et poussé en avant
  
  * $(\Phi \circ \Psi )_{*}X=\Phi _{*}\Psi _{*}X$
  * $(\varphi \circ \psi )^{*}\alpha =\psi ^{*}\varphi ^{*}\alpha$
  * $\varphi ^{*}(\alpha \wedge \beta )=\varphi ^{*}\alpha \wedge \varphi ^{*}\beta$
  * $\Phi _{*}[X,Y]=[\Phi _{*}X,\Phi _{*}Y]$
  * $\varphi ^{*}d\alpha =d\varphi ^{*}\alpha$
  * $\Phi ^{*}({\mathcal {L}}_{X}\alpha )={\mathcal {L}}_{\Phi _{*}^{-1}X}\Phi ^{*}\alpha$
  * $\Phi ^{*}(i_{X}\alpha )=i_{\Phi _{*}^{-1}X}\Phi ^{*}\alpha$
  
  ## Lien avec le produit extérieur
  
  * $d(\alpha \wedge \beta )=d\alpha \wedge \beta +(-1)^{k}\alpha \wedge d\beta$
  * $i_{X}(\alpha \wedge \beta )=i_{X}\alpha \wedge \beta +(-1)^{k}\alpha \wedge i_{X}\beta$
  * ${\mathcal {L}}_{X}(\alpha \wedge \beta )={\mathcal {L}}_{X}\alpha \wedge \beta +\alpha \wedge {\mathcal {L}}_{X}\beta$
  
  ## Multiplication par une fonction
  
  * $i_{fX}\alpha =fi_{X}\alpha =i_{X}f\alpha$
  * ${\mathcal {L}}_{fX}\alpha =f{\mathcal {L}}_{X}\alpha +df\wedge i_{X}\alpha$
  * $[fX,Y]=f[X,Y]-df(Y)X$
  * $[X,fY]=f[X,Y]+df(X)Y$
  
  ## Lien entre dérivée de Lie, crochets de Lie, produits intérieurs et dérivée extérieure
  
  * ${\mathcal {L}}_{[X,Y]}\alpha ={\mathcal {L}}_{X}{\mathcal {L}}_{Y}\alpha -{\mathcal {L}}_{Y}{\mathcal {L}}_{X}\alpha$
  * $i_{[X,Y]}\alpha ={\mathcal {L}}_{X}i_{Y}\alpha -i_{Y}{\mathcal {L}}_{X}\alpha$
  * ${\mathcal {L}}_{X}d\alpha =d{\mathcal {L}}_{X}\alpha$
  * ${\mathcal {L}}_{X}i_{X}\alpha =i_{X}{\mathcal {L}}_{X}\alpha$
  * ${\mathcal {L}}_{X}\alpha =di_{X}\alpha +i_{X}d\alpha$
  