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 $\nabla$ la connexion de Levi-Civita. Pour un champ vectoriel $𝐕$ , la dérivée covariante $\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 :

div 𝐕 = trace (\nabla_{\cdot} V) = v^{i}_{; i} = v^{i}_{, i} + Γ_{i j}^{i} v^{j}

Mettant à profit la formule de contraction

Γ_{i j}^{i} = \frac{1}{\sqrt{\det g}} \partial_{j} \sqrt{\det g}

,

on a

\nabla 𝐯 = \frac{1}{\sqrt{\det g}} \partial_{j} (\sqrt{\det g} v^{j})

.

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 $r^{2} \sin θ$ et la divergence d'un champ de vecteurs s'écrit

(\nabla \cdot 𝐯)^{i} = \frac{1}{r^{2} \sin θ} \partial_{i} (r^{2} \sin θ v^{i})

.

Dans la base naturelle, on a

\begin{matrix} 𝐯 & = & v^{r} 𝐞_{r} & + & v^{θ} 𝐞_{θ} & + & v^{ϕ} 𝐞_{ϕ} \\ \nabla \cdot 𝐯 & = & (\frac{2}{r} + \frac{\partial}{\partial r}) v^{r} & + & (\frac{1}{\tan θ} + \frac{\partial}{\partial θ}) v^{θ} & + & \frac{\partial}{\partial ϕ} v^{ϕ} \end{matrix}

et donc dans la base orthonormée $(𝐞_{r}, \frac{𝐞_{θ}}{r}, \frac{𝐞_{ϕ}}{r \sin θ})$ :

\begin{matrix} 𝐯 & = & v^{r} 𝐞_{r} & + & {r v^{θ}} {\frac{𝐞_{θ}}{r}} & + & {r \sin θ v^{ϕ}} {\frac{𝐞_{ϕ}}{r \sin θ}} \\ \nabla \cdot 𝐯 & = & (\frac{2}{r} + \frac{\partial}{\partial r}) v^{r} & + & (\frac{1}{r \tan θ} + \frac{1}{r} \frac{\partial}{\partial θ}) {r v^{θ}} & + & \frac{1}{r \sin θ} \frac{\partial}{\partial ϕ} {r \sin θ v^{ϕ}} \end{matrix}

En coordonnées cylindriques

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

(\nabla \cdot 𝐯)^{i} = \frac{1}{r} \partial_{i} (r v^{i})

.

Dans la base naturelle, on a

\begin{matrix} 𝐯 & = & v^{r} 𝐞_{r} & + & v^{ϕ} 𝐞_{ϕ} & + & v^{z} 𝐞_{z} \\ \nabla \cdot 𝐯 & = & (\frac{1}{r} + \frac{\partial}{\partial r}) v^{r} & + & \frac{\partial}{\partial ϕ} v^{ϕ} & + & \frac{\partial}{\partial z} v^{z} \end{matrix}

et donc dans la base orthonormée $(𝐞_{r}, \frac{𝐞_{ϕ}}{r}, 𝐞_{z})$ :

\begin{matrix} 𝐯 & = & v^{r} 𝐞_{r} & + & {r v^{ϕ}} {\frac{𝐞_{ϕ}}{r}} & + & v^{z} 𝐞_{z} \\ \nabla \cdot 𝐯 & = & (\frac{1}{r} + \frac{\partial}{\partial r}) v^{r} & + & \frac{1}{r} \frac{\partial}{\partial ϕ} {r v^{ϕ}} & + & \frac{\partial}{\partial z} v^{z} \end{matrix}