Divergence d'un tenseur

La divergence d'un tenseur est le tenseur obtenu en contractant un des indices de la dérivée covariante avec l'indice de dérivation. Pour une présentation plus générale de l'opérateur de divergence, on se réfèrera à l'article divergence (analyse vectorielle).

Divergence d'un champ de vecteurs

On se place dans une variété pseudo-riemannienne M et on note ${\displaystyle \nabla }$ la connexion de Levi-Civita. Pour un champ vectoriel ${\displaystyle \mathbf {V} }$, la dérivée covariante ${\displaystyle \nabla _{\cdot }V}$ définit un champ d'applications linéaires ; on appelle divergence de V la trace de ce champ, c'est un champ scalaire. Dans une carte quelconque, la valeur de ce champ est :

${\displaystyle {\text{div }}\mathbf {V} ={\text{trace}}(\nabla _{\cdot }V)=v^{i}{}_{;i}=v^{i}{}_{,i}+\Gamma _{ij}^{i}v^{j}}$

Mettant à profit la formule de contraction

${\displaystyle \Gamma _{ij}^{i}={\frac {1}{\sqrt {\det g}}}\partial _{j}{\sqrt {\det g}}}$,

on a

${\displaystyle \nabla \mathbf {v} ={\frac {1}{\sqrt {\det g}}}\partial _{j}\left({\sqrt {\det g}}\;v^{j}\right)}$.

Cette formule permet, une fois établi le tenseur métrique, de calculer facilement la divergence dans un système de coordonnées quelconque.

En coordonnées sphériques

En coordonnées sphériques, la racine carrée du déterminant du tenseur métrique vaut ${\displaystyle r^{2}\sin \theta }$ et la divergence d'un champ de vecteurs s'écrit

${\displaystyle (\nabla \cdot \mathbf {v} )^{i}={\frac {1}{r^{2}\sin \theta }}\partial _{i}\left(r^{2}\sin \theta \;v^{i}\right)}$.

Dans la base naturelle, on a

${\displaystyle {\begin{matrix}\mathbf {v} &=&v^{r}\mathbf {e} _{r}&+&v^{\theta }\mathbf {e} _{\theta }&+&v^{\phi }\mathbf {e} _{\phi }\\\nabla \cdot \mathbf {v} &=&\left({\frac {2}{r}}+{\frac {\partial }{\partial r}}\right)v^{r}&+&\left({\frac {1}{\tan \theta }}+{\frac {\partial }{\partial \theta }}\right)v^{\theta }&+&{\frac {\partial }{\partial \phi }}v^{\phi }\end{matrix}}}$

et donc dans la base orthonormée ${\displaystyle \left(\mathbf {e} _{r},{\frac {\mathbf {e} _{\theta }}{r}},{\frac {\mathbf {e} _{\phi }}{r\sin \theta }}\right)}$ :

${\displaystyle {\begin{matrix}\mathbf {v} &=&v^{r}\mathbf {e} _{r}&+&\left\{rv^{\theta }\right\}\left\{{\frac {\mathbf {e} _{\theta }}{r}}\right\}&+&\left\{r\sin \theta \;v^{\phi }\right\}\left\{{\frac {\mathbf {e} _{\phi }}{r\sin \theta }}\right\}\\\nabla \cdot \mathbf {v} &=&\left({\frac {2}{r}}+{\frac {\partial }{\partial r}}\right)v^{r}&+&\left({\frac {1}{r\tan \theta }}+{\frac {1}{r}}{\frac {\partial }{\partial \theta }}\right)\left\{rv^{\theta }\right\}&+&{\frac {1}{r\sin \theta }}{\frac {\partial }{\partial \phi }}\left\{{r\sin \theta \;v^{\phi }}\right\}\end{matrix}}}$

En coordonnées cylindriques

En coordonnées cylindriques, la racine carrée du déterminant du tenseur métrique vaut ${\displaystyle r}$ et la divergence d'un champ de vecteurs s'écrit

${\displaystyle (\nabla \cdot \mathbf {v} )^{i}={\frac {1}{r}}\partial _{i}\left(rv^{i}\right)}$.

Dans la base naturelle, on a

${\displaystyle {\begin{matrix}\mathbf {v} &=&v^{r}\mathbf {e} _{r}&+&v^{\phi }\mathbf {e} _{\phi }&+&v^{z}\mathbf {e} _{z}\\\nabla \cdot \mathbf {v} &=&\left({\frac {1}{r}}+{\frac {\partial }{\partial r}}\right)v^{r}&+&{\frac {\partial }{\partial \phi }}v^{\phi }&+&{\frac {\partial }{\partial z}}v^{z}\end{matrix}}}$

et donc dans la base orthonormée ${\displaystyle \left(\mathbf {e} _{r},{\tfrac {\mathbf {e} _{\phi }}{r}},\mathbf {e} _{z}\right)}$ :

${\displaystyle {\begin{matrix}\mathbf {v} &=&v^{r}\mathbf {e} _{r}&+&\left\{rv^{\phi }\right\}\left\{{\frac {\mathbf {e} _{\phi }}{r}}\right\}&+&v^{z}\mathbf {e} _{z}\\\nabla \cdot \mathbf {v} &=&\left({\frac {1}{r}}+{\frac {\partial }{\partial r}}\right)v^{r}&+&{\frac {1}{r}}{\frac {\partial }{\partial \phi }}\left\{rv^{\phi }\right\}&+&{\frac {\partial }{\partial z}}v^{z}\end{matrix}}}$

Divergence d'un tenseur d'ordre 2

Suivant le même chemin que pour la divergence d'un champ de vecteurs, on écrit

${\displaystyle a^{ij}{}_{;j}=a^{ij}{}_{,j}+\Gamma _{lm}^{i}a^{lm}+\Gamma _{lm}^{l}a^{im}={\frac {1}{\sqrt {\det g}}}\partial _{k}\left({\sqrt {\det g}}\;a^{ik}\right)+\Gamma _{lm}^{i}a^{lm}}$

Divergence d'un tenseur antisymétrique d'ordre 2

Dans le cas d'un tenseur antisymétrique, on a

${\displaystyle a^{ij}{}_{;j}=-a^{ji}{}_{;j}={\frac {1}{\sqrt {\det g}}}\partial _{k}\left({\sqrt {\det g}}\;a^{ik}\right)}$

En effet, le terme ${\displaystyle \Gamma _{lm}^{i}a^{lm}}$ est nul puisque

${\displaystyle \Gamma _{lm}^{i}a^{lm}=-\Gamma _{lm}^{i}a^{ml}=-\Gamma _{ml}^{i}a^{ml}=-\Gamma _{lm}^{i}a^{lm}}$.

Remarques

En écriture quadridimensionnelle, les équations de Maxwell mettent en jeu la divergence du tenseur de champ électromagnétique et de son dual, qui sont des tenseurs antisymétriques d'ordre 2.

Voir aussi

• Divergence (analyse vectorielle)
• Tenseur
• Tenseur métrique

• Portail des mathématiques