Divergence (analyse vectorielle)

Pour les articles homonymes, voir Divergence.

En géométrie, la divergence d'un champ de vecteurs $X$ mesure le défaut à ce que son flot préserve une forme volume $Ω$ . La divergence de $X$ , notée $div X$ , est une fonction à valeurs réelles qui mesure la variation première de $Ω$ le long des trajectoires du champ $X$ . Des définitions plus précises sont données dans le corpus de l'article. L'opérateur divergence est un opérateur différentiel linéaire aux dérivées partielles premières, qui envoie un champ tensoriel d'ordre $k$ en un champ d'ordre $k - 1$ .

En raison de son utilisation dans les calculs de flux de champ de vecteurs, il intervient en physique pour exprimer des lois de conservation ainsi que pour la formulation locale des lois physiques faisant intervenir un champ suivant une loi en carré inverse de la distance. L'opérateur divergence est notamment utilisé dans les équations de la mécanique des fluides ou les équations de Maxwell.

Divergence d'un champ de vecteurs

Définition en dimension 3

En dimension 3 et en coordonnées cartésiennes, la divergence d'un champ de vecteurs $\vec{A}=\begin{pmatrix}A_x\\A_y\\A_z\end{pmatrix}$ a pour expression^[1]

$\operatorname{div}\vec A = \frac{\part A_x }{\part x }+\frac{\part A_y }{\part y }+\frac{\part A_z }{\part z }\qquad(0)$ .

Formellement, l'opérateur divergence appliqué à un champ vectoriel $\vec A$ est aussi le produit scalaire du vecteur nabla $\vec\nabla$ par le vecteur $\vec A$ .

$\vec\nabla \cdot \vec A = \operatorname{div}\vec A = \frac{\part{A_x}}{\part{x}}+\frac{\part{A_y}}{\part{y}}+\frac{\part{A_z}}{\part{z}}$

Cette définition a le désavantage d'être dépendante du choix d'une base orthonormée.

Définition en fonction d'une forme volume

Étant donnée une forme volume $Ω$ sur un ouvert $U$ de $\R^n$ , la divergence d'un champ de vecteurs $X$ est définie par la relation suivante^[2] :

$\mathrm d\left[\iota(X)\Omega\right]=\left(\operatorname{div} X\right)\Omega\qquad(1)$ .

Dans cette égalité, $ι(X)Ω$ désigne le produit intérieur de $Ω$ par le champ $X$ ; c'est une $n - 1$ forme différentielle. Sa dérivée extérieure $\mathrm d\left[\iota(X)\Omega\right]$ est une n-forme différentielle, et s'écrit donc sous la forme $- f Ω$ où la fonction $f$ est appelée la divergence de $X$ . Comme $Ω$ est une forme différentielle fermée, l'égalité (1) se réécrit sous la forme

$\mathcal{L}_X\Omega=\left(\operatorname{div} X\right)\Omega\qquad(2)$ ,

où $\mathcal{L}_X=\mathrm d\iota(X)+\iota(X)\mathrm\mathrm d$ est la dérivée de Lie dans la direction $X$ . L'égalité (0) fournit l'expression de $div X$ en fonction des coordonnées de $X$ , pour le volume de Lebesgue. Les définitions, ici exprimées sur des ouverts de $\R^n$ , s'étendent mot pour mot aux variétés différentielles.

Si le champ $X$ est intégrable, il définit un flot $φ t$ (la trajectoire de $x$ étant $t\mapsto \varphi_t(x)$ ). L'égalité (2) donne

${\left.\frac{\mathrm d}{\mathrm dt}\right|}_{t=0}\varphi_t^*\Omega=-\left(\operatorname{div} X\right)\Omega\qquad(3)$ .

En particulier, le flot de $X$ conserve le volume (c’est-à-dire $vol(φ t (D)) = vol(D)$ pour tout domaine $D$ de $U$ ) si et seulement si la divergence est partout nulle. Le volume augmente si la divergence est positive, diminue si elle est négative.

Définition en géométrie Riemannienne

Pour le volume de Lebesgue, la divergence de $X$ s'exprime explicitement

$\operatorname{div} X= \operatorname{Tr}(\mathrm DX)\qquad(4)$ .

Ici, le champ $X$ est considéré comme une application de $U$ dans $\R^n$ , et $D X$ désigne sa différentielle – la matrice jacobienne –, dont on prend la trace. (Il est rappelé que la définition de la trace ne dépend pas du choix de la base.) Explicitement en coordonnées,

$\operatorname{div} X= \sum_{i=1}^n \frac{\partial X_i}{\partial x_i}\qquad(5)$ .

Le commentaire qui suit nécessite de connaitre la définition des connexions de Koszul et quelques notions de base en géométrie Riemannienne. Si $g$ est une métrique riemannienne, alors, pour le volume Riemannien, la divergence de $X$ est encore donnée^[3] par l'égalité (4), où $D$ s'interprète comme la connexion de Levi-Civita associée à $g$ .

Définition en termes de flux

La divergence peut être définie en termes de flux d'un champ de vecteur. Si $D$ est un domaine régulier relativement compact de $U$ , de bord $S$ , le flux de $X$ à travers $S$ est égal à l'intégrale sur $D$ de la divergence, d'après le théorème de Stokes. Explicitement,

$\int_D \operatorname{div} X \Omega=\int_{\partial D} \iota(X)\Omega=\int_{S} g(X,\nu) \Omega_S$

Dans la dernière intégrale, $ν$ est le vecteur unitaire normal sortant de $S$ , et $Ω S$ est la forme volume sur l'hypersurface $S$ . Cette égalité est valable en toute dimension pour des variétés riemanniennes orientées^[4]. Cette égalité est connue sous le nom de « théorème de Green-Ostrogradski » ou « théorème de flux-divergence »^{[réf. nécessaire]}.

Une interprétation voisine est la suivante. Soit $ϕ t$ le flot du champ $\vec A$ (c’est-à-dire la valeur au temps $t$ de la solution du système différentiel $\tfrac{\mathrm d\vec{u}}{\mathrm dt}=\vec A\bigl(u(t)\bigr)$ qui vaut $x$ en $0$ ) on a

$L_A(\mathrm dx\wedge\mathrm dy\wedge\mathrm dz)= \operatorname{div}\vec A(\mathrm dx\wedge\mathrm dy\wedge\mathrm dz)$

(on a désigné par $L A$ l'opérateur dérivée de Lie ; pour les détails et un énoncé plus général, voir opérateur de Laplace-Beltrami).

Propriétés

$\operatorname{div}\bigl(\overrightarrow{\operatorname{rot}}\vec A\bigr) = 0$

Cette formule est particulière à la dimension 3. Elle signifie qu'un champ rotationnel est à divergence nulle. Inversement, si un champ de vecteurs $\vec B$ sur un ouvert étoilé de $\R^3$ est à divergence nulle, il existe un champ $\vec A$ tel que

$\vec B=\overrightarrow{\operatorname{rot}}\vec A$

(on dit alors que $\vec A$ est un potentiel vecteur). Cette propriété, une fois convenablement interprétée en termes de formes différentielles, est une application directe du lemme de Poincaré).

Attention. Le champ newtonien $\tfrac{\vec r}{r^3}$ est à divergence nulle, mais il n'existe pas de champ de vecteurs $\vec A$ tel que $\overrightarrow{\operatorname{rot}}\vec A=\tfrac{\vec r}{r^3}$ . En effet, si tel était le cas, son flux à travers toute surface fermée serait nul, alors que son flux à travers les sphères centrées à l'origine vaut $4π$ . En fait, ce champ n'est défini que sur l'espace privé de l'origine, qui n'est pas un ouvert étoilé : le lemme de Poincaré ne s'applique pas.

$\operatorname{div}(f\vec A)=f\operatorname{div}(\vec A)+\nabla f\cdot \vec A$

D'après le théorème de Stokes, l'intégrale sur $\R^n$ de la divergence d'un champ de vecteurs nul en dehors d'une partie bornée est nulle. Par conséquent, si $f$ est une fonction lisse et $\vec A$ un champ de vecteurs, tous deux nuls en dehors d'une partie bornée (cette condition assurant que les intégrales ont un sens),

$\int_{\R^n}f\operatorname{div} \vec A\;\mathrm dx_1\ldots \mathrm dx_n= - \int_{\R^n}\nabla f\cdot \vec A\;\mathrm dx_1\ldots \mathrm dx_n$ .

Cette propriété s'interprète de la façon suivante. Soient $C^\infty(\R^n)$ et $\operatorname{Vect}(\R^n)$ respectivement les espaces vectoriels des fonctions lisses et des champs de vecteurs sur $\R^n$ . On les munit des produits scalaires

$\langle f,g\rangle \doteqdot \int_{\R^n}fg A\; \mathrm dx_1\ldots \mathrm dx_n$ et $\langle \vec A,\vec B \rangle \doteqdot \int_{\R^n}\vec A\cdot\vec B\; \mathrm dx_1\ldots \mathrm dx_n$

Alors $\langle \nabla f,\vec A\rangle = -\langle f,\operatorname{div}\vec A\rangle$ , ce qui permet de voir l'opérateur divergence comme le transposé (au signe près) de l'opérateur gradient.

Cette interprétation de la divergence présente l'avantage de se généraliser aussi bien aux variétés riemanniennes qu'aux tenseurs.

$\operatorname{div}(\vec A\wedge\vec B)=\vec B\cdot\operatorname{rot}\vec A - \vec A\cdot\operatorname{rot}\vec B$

Une application typique de cette formule est le théorème de Poynting en électromagnétisme.

$\overrightarrow{\operatorname{rot}}\Bigl(\overrightarrow{\operatorname{rot}}\bigl(\vec A\bigr)\Bigr) = \overrightarrow{\operatorname{grad}}\Bigl(\operatorname{div}\bigl(\vec A\bigr)\Bigr)-\Delta \bigl(\vec{A} \bigr)$

Ces relations, très utilisées en analyse vectorielle, se comprennent mieux dans le cadre des formes différentielles.

Utilisation en physique

Lois de conservation

Illustration représentant un volume

V

intérieur à la surface fermée

(S)

dont la normale extérieure en tout point est $\vec n$ .

D'une manière générale, la divergence est reliée en physique à l'expression locale de la propriété de conservation d'une grandeur. En considérant une surface fermée quelconque $(S)$ , la variation d'une grandeur conservative dans le volume fermé par cette surface est, par définition d'une grandeur conservative, due aux échanges avec l'extérieur (il n'existe pas de sources de création ou d'annihilation d'une grandeur conservative). Le bilan de cette grandeur entre deux instants s'écrit donc uniquement comme la somme du flux de cette grandeur à travers la surface fermée $(S)$ et de la variation temporelle de la grandeur à l'intérieur de la surface $(S)$ . Si la grandeur est conservative, ce bilan est nul.

Par exemple, en électromagnétisme, si $\vec J$ est le vecteur densité volumique courant, $ρ$ la densité volumique de charge électrique et $V$ le volume intérieur à la surface $(S)$ , la conservation de la charge s'écrit de façon intégrale :

$\iint_{(S)} \vec{J}\cdot\vec{n}\,\mathrm dS + \frac{\mathrm d}{\mathrm dt} \iiint_{V} \rho\,\mathrm dV = 0$

ou encore, pour une surface $(S)$ fixe :

$\iint_{(S)} \vec{J}\cdot\vec{n}\,\mathrm dS + \iiint_{V} \frac{\partial \rho}{\partial t}\,\mathrm dV = 0$

avec $\vec{n}$ est un vecteur unitaire normal en tout point à $(S)$ .

La formule d'Ostrogradsky permet de réécrire l'équation précédente en termes de divergence :

$\iiint_{V} \operatorname{div}(\vec J)\,\mathrm dV + \iiint_{V} \frac{\partial \rho}{\partial t}\,\mathrm dV = 0$

Ce qui mène immédiatement à la relation locale de conservation :

$\operatorname{div}(\vec J) + \frac{\partial \rho}{\partial t} = 0$

Il est ainsi également possible d'exprimer localement, par exemple dans le cadre de la mécanique des fluides, si $ρ$ est la masse volumique en un point et $\vec V$ le champ des vecteurs vitesse :

$\operatorname{div}(\rho\,\vec V)+\frac{\partial \rho}{\partial t}=0$ (équation de continuité).

D'autres lois de conservation font intervenir la divergence de tenseurs d'ordre 2, comme la conservation de la quantité de mouvement en mécanique des fluides. En relativité générale, on montre aussi la nullité de la divergence du tenseur énergie-impulsion.

Champs radiaux en carré inverse de la distance

Lorsqu'une loi d'interaction radiale, due à des sources ponctuelles, varie comme le carré inverse de la distance il est possible d'établir que le flux du champ d'interaction à travers une surface fermée est toujours proportionnel à la quantité de sources présentes à l'intérieur de la surface fermée. Ce type de relation porte généralement en physique le nom de théorème de Gauss. Par exemple, dans le cas du champ électrostatique $\vec E$ , dû aux charges électriques $Q int$ présentes à l'intérieur de la surface fermée $(S)$ on a la forme intégrale du théorème de Gauss suivante :

$\iint_{(S)} \vec E \cdot \vec n \,\mathrm dS = \frac{Q_\text{int}}{\varepsilon_0}$

Grâce au théorème de flux-divergence il est possible d'exprimer une forme locale du théorème de Gauss. L'équation précédente se réécrit :

$\iiint_V \operatorname{div} \vec E = \frac{Q_\text{int}}{\varepsilon_0} = \iiint_V \frac{\rho}{\varepsilon_0}\,\mathrm dV$

si $V$ est le volume délimité par $(S)$ et $ρ$ la densité volumique de charge. On obtient alors immédiatement :

$\operatorname{div} \vec E = \frac{\rho}{\varepsilon_0}$

qui est la forme locale du théorème de Gauss. Ce type de relation est également possible pour le champ de gravitation :

$\operatorname{div} \vec G = - 4\pi\,G\,\rho$

où $G$ est la constante fondamentale de la gravitation, $\vec G$ le champ de gravitation et $ρ$ la masse volumique.

Flux du champ magnétique

En électromagnétisme il est possible de montrer, à partir de la loi de Biot et Savart, que la divergence du champ magnétique $\vec B$ est nulle :

$\operatorname{div}\vec B = 0$

Cette propriété intrinsèque du champ magnétique permet d'établir que le flux du champ magnétique à travers une surface fermée est toujours nul ; on dit que le champ magnétique est à flux conservatif. En effet, si on appelle $(S)$ la surface fermée considérée et $V$ le volume intérieur à cette surface, on a :

$\iint_{(S)} \vec B \cdot \vec n \,\mathrm dS = \iiint_V \operatorname{div}(\vec B)\,\mathrm dV = 0$

Divergence d'un tenseur

Article détaillé : divergence d'un tenseur.

Cas des espaces euclidiens

Un tenseur de type $(p, q)$ ( $p$ -contravariant et $q$ - covariant) est donné par ses coordonnées $T_{i_1i_2\cdots i_q}^{j_1j_2\cdots j_p}$ . Sa dérivée covariante est alors par définition le tenseur de type $(p, q + 1)$ donné par $\partial_i T_{i_1i_2\cdots i_q}^{j_1j_2\cdots j_p}$ (on a désigné par $\partial_i$ l'opérateur de dérivation par rapport à la $i$ -ième variable). La divergence est le tenseur de type $(p - 1, q)$ défini par

$S_{i_1i_2\cdots i_q}^{j_2\cdots j_p}=\sum_{i=1}^n \partial_i T_{i_1i_2\cdots i_q}^{ij_2\cdots j_p}$

Exemple :

La divergence du tenseur

$T=\sum_{i,j}T^{ij}\frac{\partial}{\partial x_i}\otimes\frac{\partial}{\partial x_j}$

(qui est de type $(2,0)$ ) est le champ de vecteurs

$S=\sum_{i=1}^n S^i\frac{\partial}{\partial x_i}$ avec $S^i=\sum_{j=1}^n\partial_j T^{ji}$

Cas général

Cette définition s'étend pratiquement mot pour mot aux tenseurs sur une variété munie d'une connexion. Dans les formules précédentes, on remplace la différentiation $\partial_i$ par l'opérateur de différentiation covariante $\nabla_i$ , qui à partir d'un tenseur de type $(p, q)$ donne un tenseur de type $(p, q + 1)$ , puis on pose

$\big(\operatorname{div}\,T\big)_{i_1i_2\cdots i_q}^{j_2\cdots j_p}=\sum_{i=1}^n \nabla_i T_{i_1i_2\cdots i_q}^{ij_2\cdots j_p},$

ce qui donne un tenseur de type $(p - 1, q)$

Le cas le plus important est celui des variétés riemanniennes ou pseudo-riemanniennes, munies de leur connexion de Levi-Civita. La métrique permet d'identifier entre eux les tenseurs de même ordre total $p + q$ . La divergence d'un tenseur d'ordre $k$ sera un tenseur d'ordre $k - 1$ .

Les cas les plus utilisés (avec celui des champs de vecteurs vu plus haut) sont ceux des tenseurs symétriques d'ordre 2 et des formes différentielles.

Expression d’un champ de vecteur en dimension 3 dans d'autres systèmes de coordonnées

En coordonnées cylindriques

$\boldsymbol \nabla \cdot \boldsymbol A = \frac{1}{r}\frac{\partial (r A_r)}{\partial r} + \frac{1}{r}\frac{\partial A_\theta}{\partial \theta} + \frac{\partial A_z}{\partial z}$

En coordonnées sphériques

En choisissant pour convention les notations physiques (conformément au standard ISO 31-11), soit $(x,y,z) \longrightarrow (r \cos \varphi \sin \theta, r \sin \varphi \sin \theta, r \cos \theta), 0<\theta<\pi, 0<\varphi<2\pi$ :

$\boldsymbol \nabla \cdot \boldsymbol A = \frac{1}{r^2}\frac{\partial (r^2 A_r)}{\partial r} + \frac{1}{r\sin\theta} \frac{\partial}{\partial \theta}(\sin\theta A_\theta ) + \frac{1}{r\sin\theta} \frac{\partial A_\varphi}{\partial \varphi}$

Notes et références

Notes

↑ J.-P. Pérez et al., Électromagnétisme. Fondements et applications, 3^e édition, Masson, Paris, 1997, pages 612-617.
↑ GallotHulinLafontaine, p. 210
↑ GallotHulinLafontaine, p. 209
↑ GallotHulinLafontaine, p. 211

Référence

(en) Sylvestre Gallot, Dominique Hulin et Jacques Lafontaine, Riemannian Geometry [détail des éditions]

Voir aussi

Sur les autres projets Wikimedia :

« Divergence », sur Wikiversity (communauté pédagogique libre)

Bibliographie

(en) Yvonne Choquet-Bruhat et Cécile DeWitt-Morette, Analysis, Manifolds & Physics - Part I: Basics, North-Holland/Elsevier (2^e édition révisée - 1982) (ISBN 0-444-86017-7).
Richard Feynman, Cours de Physique. Electromagnétisme I, ch. 2 et 3, InterEditions (ISBN 2-72960028-0).
Jacques Lafontaine, Introduction aux variétés différentielles [détail des éditions].
François Rouvière, Petit guide de calcul différentiel à l'usage de la licence et de l'agrégation, Cassini, 1999 (ISBN 2-84225-008-7)

v · Analyse vectorielle
Objets d'étude	Champ de vecteurs • Champ scalaire • Équation aux dérivées partielles (de Laplace et de Poisson)
Opérateurs	Nabla • Gradient • Rotationnel • Divergence • Laplacien scalaire • Bilaplacien • Laplacien vectoriel • D'alembertien
Théorèmes	de Green • de Stokes • de Helmholtz • de flux-divergence • du gradient • du rotationnel

Catégorie :

Analyse vectorielle

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Divergence (analyse vectorielle) de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Analyse vectorielle — L analyse vectorielle est une branche des mathématiques qui étudie les champs de scalaires et de vecteurs suffisamment réguliers des espaces euclidiens, c est à dire les applications différentiables d un ouvert d un espace euclidien E à valeurs… … Wikipédia en Français
Analyse Vectorielle — Articles d analyse vectorielle … Wikipédia en Français
Divergence (Mathématiques) — Pour les articles homonymes, voir Divergence. Articles d analyse vectorielle … Wikipédia en Français
Divergence (mathematiques) — Divergence (mathématiques) Pour les articles homonymes, voir Divergence. Articles d analyse vectorielle … Wikipédia en Français
Divergence (mathématiques) — Pour les articles homonymes, voir Divergence. Articles d analyse vectorielle … Wikipédia en Français
Divergence (opérateur) — Divergence (mathématiques) Pour les articles homonymes, voir Divergence. Articles d analyse vectorielle … Wikipédia en Français
Divergence (physique) — Divergence (mathématiques) Pour les articles homonymes, voir Divergence. Articles d analyse vectorielle … Wikipédia en Français
Divergence (physique)(mathématiques) — Divergence (mathématiques) Pour les articles homonymes, voir Divergence. Articles d analyse vectorielle … Wikipédia en Français
Divergence en physique — Divergence (mathématiques) Pour les articles homonymes, voir Divergence. Articles d analyse vectorielle … Wikipédia en Français
Analyse à plusieurs variables — Fonction de plusieurs variables Articles d analyse vectorielle … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Divergence (analyse vectorielle)

Sommaire

Divergence d'un champ de vecteurs

Définition en dimension 3

Définition en fonction d'une forme volume

Définition en géométrie Riemannienne

Définition en termes de flux

Propriétés

Utilisation en physique

Lois de conservation

Champs radiaux en carré inverse de la distance

Flux du champ magnétique

Divergence d'un tenseur

Cas des espaces euclidiens

Cas général

Expression d’un champ de vecteur en dimension 3 dans d'autres systèmes de coordonnées

En coordonnées cylindriques

En coordonnées sphériques

Notes et références

Notes

Référence

Voir aussi

Articles connexes

Bibliographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Divergence (analyse vectorielle)

Sommaire

Divergence d'un champ de vecteurs

Définition en dimension 3

Définition en fonction d'une forme volume

Définition en géométrie Riemannienne

Définition en termes de flux

Propriétés

Utilisation en physique

Lois de conservation

Champs radiaux en carré inverse de la distance

Flux du champ magnétique

Divergence d'un tenseur

Cas des espaces euclidiens

Cas général

Expression d’un champ de vecteur en dimension 3 dans d'autres systèmes de coordonnées

En coordonnées cylindriques

En coordonnées sphériques

Notes et références

Notes

Référence

Voir aussi

Articles connexes

Bibliographie

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link