Rotationnel (opérateur)

Rotationnel (opérateur)

Rotationnel

L'opérateur rotationnel est un opérateur différentiel aux dérivées partielles qui, à un champ vectoriel tridimensionnel A ou \overrightarrow A, fait correspondre un autre champ noté au choix

\boldsymbol \nabla \wedge \boldsymbol A\qquad\mbox{ou bien}\qquad\overrightarrow \nabla \wedge \overrightarrow A\qquad\mbox{ou bien}\qquad\overrightarrow\operatorname{rot}\ \overrightarrow A\qquad\mbox{ou bien}\qquad \overrightarrow \nabla \times \overrightarrow A,

selon les conventions de notations utilisées pour les vecteurs[1].

Plus difficile à se représenter aussi précisément que le gradient et la divergence, il exprime la tendance qu'ont les lignes de champ d'un champ vectoriel à tourner autour d'un point : sa circulation locale sur un petit lacet entourant ce point est non nulle quand son rotationnel ne l'est pas. Par exemple :

  • dans une tornade, le vent tourne autour de l'œil du cyclone et le champ vectoriel vitesse du vent a un rotationnel non nul autour de l'œil. Le rotationnel de ce champ de vitesse (autrement dit le champ de vorticité ou encore champ tourbillon) est d'autant plus intense que l'on est proche de l'œil.
  • le rotationnel du champ des vitesses v(r') d'un solide qui tourne à la vitesse angulaire Ω est dirigé selon l'axe de rotation et orienté de telle sorte que la rotation ait lieu, par rapport à lui, dans le sens direct et vaut simplement 2 Ω.

La notion de rotationnel de la vitesse est essentielle en mécanique des fluides. Elle décrit une rotation de la particule fluide. Si l'écoulement est irrotationnel (son rotationnel est nul en tout point), en termes mathématiques, le vecteur vitesse est alors le gradient du potentiel (on dit alors que les vitesses « dérivent d'un potentiel »). Si le fluide peut être considéré comme incompressible, la divergence de ce vecteur s'annule. Le laplacien du potentiel est donc nul : il s'agit d'un potentiel harmonique qui satisfait l'équation de Laplace.

Sommaire

Définition

Le rotationnel est un opérateur qui transforme un champ de vecteurs en un autre champ de vecteurs.

Dans un espace à 3 dimensions et en coordonnées cartésiennes (donc en base orthonormée), on peut définir le rotationnel d'un champ F (Fx,  Fy',  Fz) par la relation

\boldsymbol \nabla \wedge \boldsymbol F = \begin{pmatrix} {\partial F_z / \partial y} - {\partial F_y / \partial z} \\ {\partial F_x / \partial z} - {\partial F_z / \partial x}\\ {\partial F_y / \partial x} - {\partial F_x / \partial y} \end{pmatrix},

\boldsymbol \nabla désigne l'opérateur nabla. L'analogie formelle avec un produit vectoriel justifie la notation \boldsymbol \nabla\wedge (on trouve aussi la notation impropre \boldsymbol \nabla\times dans la littérature anglo-saxonne).

Cela peut aussi s'écrire, par abus de notation, à l'aide d'un déterminant :

\boldsymbol \nabla \wedge \boldsymbol F
 = \begin{vmatrix}
 \boldsymbol{i} & \boldsymbol{j} & \boldsymbol{k} \\
 \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\
 F_x & F_y & F_z \end{vmatrix}

i, j, k correspondent aux vecteurs de la base orthonormée considérée. Cette dernière expression est en apparence un peu plus compliquée que la précédente, mais elle se généralise facilement à d'autres systèmes de coordonnées (voir plus bas).

La définition ne dépend pas de la base dans laquelle on écrit F. Pour expliciter cette indépendance on peut préférer une définition qui ne fait pas référence aux coordonnées de F. Ainsi, une définition intrinsèque (parmi d'autres) du rotationnel est la suivante. À partir d'un vecteur constant X0 et du champ F, on peut construire le champ \boldsymbol{X}_0 \wedge \boldsymbol{F} dont la divergence est une forme linéaire vis-à-vis de X0, et donc exprimable sous la forme d'un produit scalaire K·X0, où K s'avère être l'opposé du rotationnel de F :

\boldsymbol \nabla \cdot (\boldsymbol X_0 \wedge \boldsymbol F) = - (\boldsymbol \nabla \wedge \boldsymbol F) \cdot \boldsymbol X_0.

Une autre définition possible, plus générale mais plus difficile à formaliser, consiste à définir le rotationnel d'un champ de vecteurs en un point comme la circulation locale du champ autour de ce point[2].

À l'instar de ce qu'il se passe pour le produit vectoriel de deux vecteurs, le rotationnel d'un champ de vecteurs vrai en un point est un pseudovecteur.

Tenseur rotationnel

En réalité, le rotationnel ne peut se décrire rigoureusement que dans le cadre du formalisme des tenseurs. Dans ce contexte, le rotationnel est appliqué sur une forme linéaire f pour former un tenseur d'ordre 2. Ses composantes s'écrivent

[{\rm rot} \;f]_{ab} = \partial_a f_b - \partial_b f_a.

Cette expression ne fait intervenir que des dérivées ordinaires et non des dérivées covariantes. La différence qui intervient est la même que l'on considère des dérivées ordinaires ou des dérivées covariantes[3]. Cette expression peut être par construction vue comme une matrice antisymétrique. En dimension 3, il existe une correspondance avec les vecteurs (possédant trois composantes) et les matrices antisymétriques (possédant trois composantes indépendantes). On peut donc assimiler cette matrice à un vecteur. Techniquement, la correspondance est faite à l'aide du tenseur de Levi-Civita ε, qui permet de construire le vecteur dual d'un tenseur antisymétrique d'ordre 2. Le rotationnel d'un champ de vecteurs a tridimensionnel est défini comme le dual du tenseur rotationnel :

[{\rm rot} \;f]^c = \frac{1}{2}\varepsilon^{cab} \left(\partial_a f_b - \partial_b f_a \right).

À partir du moment où est définie une métrique g, on peut sans difficulté construire le rotationnel d'un vecteur, en utilisant la métrique pour transformer le vecteur en sa forme linéaire associée puis en utilisant la formule ci-dessus. Ainsi, pour un vecteur a de composantes ab, on a

[{\rm rot} \;a]^c = \frac{1}{2}\varepsilon^{cab} \left(\partial_a (g_{bd} a^d) - \partial_b (g_{ad} a^d) \right) = \frac{1}{2}\varepsilon^{cab} \left(\partial_a a_b - \partial_b a_a \right) = \varepsilon^{cab} \partial_a a_b.

C'est bien sûr cette expression-là qui doit être utilisée pour le calcul du rotationnel dans un système de coordonnées non cartésiennes (par exemple cylindriques ou sphériques, voir plus bas).

Vocabulaire

Un champ vectoriel dont le rotationnel est nul, est un champ irrotationnel.

Règles de calcul

Linéarité

Pour toute constante c réelle et pour tous champs vectoriels A et B

\boldsymbol \nabla \wedge (c \boldsymbol  A) = c \boldsymbol  \nabla \wedge \boldsymbol  A,
\boldsymbol \nabla (\boldsymbol A + \boldsymbol  B) = \boldsymbol \nabla \wedge \boldsymbol A + \boldsymbol \nabla \wedge \boldsymbol B.

Composition avec une autre quantité

Pour tout champ scalaire u,

\boldsymbol \nabla \wedge (u\;\boldsymbol A) = u \times( \boldsymbol \nabla \wedge \boldsymbol A) + (\boldsymbol \nabla u) \wedge \boldsymbol A,
\boldsymbol \nabla \wedge (\boldsymbol A \wedge \boldsymbol B) = (\boldsymbol B \cdot \boldsymbol \nabla) \boldsymbol A - (\boldsymbol A \cdot \boldsymbol \nabla) \boldsymbol B + \boldsymbol A \times (\boldsymbol \nabla \cdot \boldsymbol B) - \boldsymbol B \times (\boldsymbol \nabla \cdot \boldsymbol A).

Composition avec plusieurs opérateurs

\boldsymbol \nabla \wedge (\boldsymbol  \nabla u) = \boldsymbol 0,
\boldsymbol \nabla \wedge (\boldsymbol \nabla \wedge \boldsymbol A) = \boldsymbol \nabla (\boldsymbol \nabla \cdot \boldsymbol A) - \Delta \boldsymbol A

(Voir rotationnel du rotationnel)

Expression dans d'autres systèmes de coordonnées

En coordonnées cylindriques

\boldsymbol \nabla \wedge \boldsymbol A=\left(\frac{1}{r}\frac{\partial A_z}{\partial \theta}-\frac{\partial A_\theta}{\partial z}\right) \boldsymbol u_r + \left(\frac{\partial A_r}{\partial z}-\frac{\partial A_z}{\partial r}\right)\boldsymbol u_\theta + \frac{1}{r}\left(\frac{\partial}{\partial r}(rA_\theta)-\frac{\partial A_r}{\partial \theta}\right) \boldsymbol u_z.

En coordonnées sphériques

\boldsymbol \nabla \wedge \boldsymbol A
 =   \frac{1}{r\sin\theta}\left(\frac{\partial}{\partial \theta}(\sin\theta A_\varphi)-\frac{\partial A_\theta}{\partial \varphi}\right) \boldsymbol u_r
   + \left(\frac{1}{r\sin\theta}\frac{\partial A_r}{\partial \varphi}-\frac{1}{r}\frac{\partial}{\partial r}(rA_\varphi)\right) \boldsymbol u_\theta
   + \frac{1}{r}\left(\frac{\partial}{\partial r}(rA_\theta)-\frac{\partial A_r}{\partial \theta}\right)\boldsymbol u_\varphi.

Unité

Dans le cas usuel où les coordonnées de la base représentent des longueurs, l'unité du rotationnel est alors l'unité du champ considéré divisée par une unité de longueur. Par exemple, l'unité du rotationnel d'un champ de vitesse est le radian par unité de temps, comme une vitesse angulaire.

Notes et références

  1. En écriture manuscrite où les caractères gras sont difficiles à réaliser, on préfère l'une des deux dernières notations, mais dans un ouvrage on trouve le plus souvent la première notation.
  2. Sciences.ch (calcul vectoriel)
  3. Ceci n'est en toute rigueur vrai que si l'on se restreint au cas où la [[torsion (mathématiques)|]]. Mais même en présence de torsion non nulle, l'expression avec des dérivées ordinaires reste un tenseur.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
  • Portail de la physique Portail de la physique
Ce document provient de « Rotationnel ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Rotationnel en physique — Rotationnel L opérateur rotationnel est un opérateur différentiel aux dérivées partielles qui, à un champ vectoriel tridimensionnel A ou , fait correspondre un autre champ noté au choix , selon les conventions de notations utilisées pour l …   Wikipédia en Français

  • Operateur laplacien vectoriel — Opérateur laplacien vectoriel Articles d analyse vectorielle …   Wikipédia en Français

  • Opérateur Laplacien vectoriel — Articles d analyse vectorielle …   Wikipédia en Français

  • Operateur laplacien — Opérateur laplacien Articles d analyse vectorielle Objet …   Wikipédia en Français

  • Opérateur de Laplace — Opérateur laplacien Articles d analyse vectorielle Objet …   Wikipédia en Français

  • Opérateur laplacien scalaire — Opérateur laplacien Articles d analyse vectorielle Objet …   Wikipédia en Français

  • Operateur bilaplacien — Opérateur bilaplacien Articles d analyse vectorielle Ob …   Wikipédia en Français

  • Opérateur biharmonique — Opérateur bilaplacien Articles d analyse vectorielle Ob …   Wikipédia en Français

  • Rotationnel — L opérateur rotationnel est un opérateur différentiel aux dérivées partielles qui, à un champ vectoriel tridimensionnel ou , fait correspondre un autre champ noté au choix: ou bien ou bien …   Wikipédia en Français

  • Rotationnel du rotationnel — Dans le cadre de l analyse vectorielle, on peut être amené à calculer le rotationnel d un rotationnel. Sommaire 1 Formule classique en espace plan 1.1 Démonstration 1.2 Une autre démonstration …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”