Champ solénoïdal

En analyse vectorielle, un champ solénoïdal ou champ incompressible désigne un champ vectoriel dont la divergence est nulle, ou de manière équivalente dont le flot préserve le volume euclidien.

Terminologie

Incompréssible fait référence à la conservation du volume. Si le champ considéré représente un courant de matière $\mu {\mathbf {v} }$ (μ étant la masse volumique et v le champ de vitesse), alors l'équation de conservation de la matière, qui en toute généralité s'écrit:

${\frac {\partial \mu }{\partial t}}+\nabla \cdot (\mu {\mathbf {v} })=0$,

devient, si la masse volumique est constante (condition d'incompressibilité),

$\nabla \cdot {\mathbf {v} }=0$.

Solénoïdal fait référence au fait que si l'on prend un contour arbitraire fermé, on peut définir la surface formée par les lignes de champ sappuyant sur ce contour, et que la topologie de cette surface est nécessairement celle d'un tube, du fait de la divergence nulle du champ.

En général, le terme de champ solénoïdal se réfère à des situations où la dimension de l'espace est de 3, bien que le concept de divergence soit généralisable à un nombre arbitraire de dimensions, et puisse être étendu dans le langage de la géométrie riemannienne.

Il existe d'autres dénominations pour des champs possédant des propriétés autres. Par exemple, un champ irrotationnel est un champ dont le rotationnel est nul. Ces propriétés sont indépendantes l'une de l'autre : un champ peut être irrotationnel, solénoïdal, les deux en même temps ou ni l'un ni l'autre. Le champ électrique, par exemple, est solénoïdal dans les régions où il n'y a pas de charge électrique, et irrotationnel en électrostatique.

Décomposition d'un champ solénoïdal

Dans l'espace vectoriel euclidien à trois dimensions, comme la divergence du rotationnel est nulle, le rotationnel d'un champ de vecteur est un champ solénoïdal. La réciproque est vraie : tout champ sans divergence B peut être être écrit localement comme le rotationnel d'un champ de vecteurs A. L'écriture est globale si le champ est défini sur un ouvert convexe, ou plus généralement sur un domaine de groupe fondamental fini.

Moyennant la définition des formes différentielles, la preuve est élémentaire. Au champ B est associé la 2-forme différentielle fermée $\omega =B_{x}{\rm {d}}y\wedge dz+B_{y}{\rm {d}}z\wedge {\rm {d}}x+B_{z}{\rm {d}}x\wedge {\rm {d}}y$ où (x,y,z) désigne les coordonnées dans un repère orthonormé. La différentielle de $\omega$ est ${\rm {d}}\omega ={\rm {div}}(B)\;{\rm {d}}x\wedge {\rm {d}}y\wedge {\rm {d}}z$. Demander à ce que B soit sans divergence équivaut à ce que $\omega$ soit fermée. Si le premier groupe de cohomologie de de Rham du domaine est nul (condition topologique), alors cela éuivaut à ce que $\omega$ soit exacte, ie, qu'il existe une forme différentielle $\eta$ telle que ${\rm {d}}\eta =\omega$. Si $\eta =A_{x}{\rm {d}}x+A_{y}{\rm {d}}y+A_{z}{\rm {d}}z$, alors un calcul direct montre que $B$ est le rotationnel de A.

En électromagnétisme, en l'absence d'un champ électrique, le champ magnétique est un champ solénoïdal ; la propriété précédente permet de définir le potentiel vecteur dans cette situation. En présence d'un champ électrique, la variation dans le temps du potentiel scalaire (défini par le champ électrique) permet de compenser la non-nullité de la divergence. La définition des potentiels scalaire et vecteur peuvent de même s'obtenir à partir d'un simple calcul sur des formes différentielles comme ci-dessus.

Un champ solénoïdal à trois dimensions ne possède que deux composantes indépendantes. Il est possible, et commode, de décomposer le champ à l'aide de deux quantités scalaires. Le champ est dit posséder une composante toroïdale et une composante poloïdale.

Voir aussi

• Champ toroïdal
• Champ poloïdal
• Champ irrotationel

Références

• (en) Visualization of Fields and the Divergence and Curl, cours Electromagnetic Fiels and Energy du Massachusetts Institute of Technology.
• (en) Solenoidal field, sur le site mathworld.com