Définition
Soit
un champ de vecteurs dont les composantes
sont différentiables, on définit la fonction divergence par :
Attention
Attention la divergence d'un champ de vecteurs est un scalaire.
Proposition
Si
est une fonction différentiable, si
est une constante, si
sont des champs de vecteurs différentiables, on a les relations :
Démontrer les propriétés précédentes en exercice.