$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Divergence

Si $f$ est un champ de vecteurs, c'est-à-dire une fonction de $\mathbb R^3$ dans $\mathbb R^3$, de classe $\mathcal C^1,$ la divergence de $f$ est définie par $$\textrm{div}(f)=\frac{\partial f_1}{\partial x}+\frac{\partial f_2}{\partial y}+\frac{\partial f_3}{\partial z}$$ où on a écrit $f=(f_1,f_2,f_3)$.

La divergence d'un champ de vecteurs est une quantité intrinsèque : elle peut se calculer, via un changement de variables, dans toute base orthonormée directe (le résultat est indépendant du choix de la base). Une extension d'un résultat de Poincaré assure que si $f$ est un champ de vecteurs défini sur un ouvert étoilé $U$ de $\mathbb R^3$ et de divergence nulle, alors $f$ dérive d'un potentiel vecteur, c'est-à-dire qu'il existe un champ de vecteurs $A$ sur $U$, de classe $\mathcal C^2,$ telle que $f=\textrm{rot}(A)$. Par exemple, les équations de Maxwell impliquent que le champ magnétique dérive d'un potentiel vecteur.

Consulter aussi
Recherche alphabétique
Recherche thématique