# Rotationnel

L'opérateur rotationnel est un opérateur différentiel aux dérivées partielles qui, à un champ vectoriel tridimensionnel, noté $\mathbf {A}$ ou ${\vec {\mathrm {A} }}$, fait correspondre un autre champ noté au choix :
    ${\overrightarrow {\operatorname {rot} }}\ {\vec {\mathrm {A} }}$ ou bien ${\boldsymbol {\nabla }}\wedge \mathbf {A}$ ou bien ${\boldsymbol {\nabla }}\times \mathbf {A}$ ou bien ${\vec {\nabla }}\wedge {\vec {\mathrm {A} }}$ ou bien ${\vec {\nabla }}\times {\vec {\mathrm {A} }}$
selon les conventions de notations utilisées pour les vecteurs.
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. La vitesse instantanée de rotation d'un élément de volume dans un tourbillon est la moitié du rotationnel en ce point ;
* le rotationnel du champ des vitesses $\mathbf {V} (\mathbf {r} )$ d'un solide qui tourne à la vitesse angulaire ${\boldsymbol {\Omega }}$ 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\ {\boldsymbol {\Omega }}$.
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.

## Définition

Le rotationnel est un opérateur qui transforme un champ de vecteurs en un autre.
Dans un espace à trois dimensions et en coordonnées cartésiennes (donc en base orthonormée directe), on peut définir le rotationnel d'un champ F (F$_x$, F$_y$, F$_z$) par la relation
    ${\boldsymbol {\nabla }}\wedge \mathbf {F} ={\begin{pmatrix}{{\partial \mathrm {F} _{z}} \over {\partial y}}-{{\partial \mathrm {F} _{y}} \over {\partial z}}\\{{\partial \mathrm {F} _{x}} \over {\partial z}}-{{\partial \mathrm {F} _{z}} \over {\partial x}}\\{{\partial \mathrm {F} _{y}} \over {\partial x}}-{{\partial \mathrm {F} _{x}} \over {\partial y}}\end{pmatrix}}\Longleftrightarrow {\vec {\nabla }}\times {\vec {F}}={\vec {\nabla }}\wedge {F}={\bigg{\frac {\partial F_{z}}{\partial y}}-{\frac {\partial F_{y}}{\partial z}}{\bigg )}{\vec {u_{x}}}+{\bigg{\frac {\partial F_{x}}{\partial z}}-{\frac {\partial F_{z}}{\partial x}}{\bigg )}{\vec {u_{y}}}+{\bigg{\frac {\partial F_{y}}{\partial x}}-{\frac {\partial F_{x}}{\partial y}}{\bigg )}{\vec {u_{z}}}$,
où ${\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 ${\boldsymbol {\nabla }}\times$ dans la littérature anglo-saxonne, conformément à la notation de Gibbs pour le produit vectoriel).
Cela peut aussi s'écrire, par abus de notation, à l'aide d'un déterminant :
    ${\boldsymbol {\nabla }}\wedge \mathbf {F} ={\begin{vmatrix}\mathbf {i} &\mathbf {j} &\mathbf {k} \\{\frac {\partial }{\partial x}}&{\frac {\partial }{\partial y}}&{\frac {\partial }{\partial z}}\\\mathrm {F} _{x}&\mathrm {F} _{y}&\mathrm {F} _{z}\end{vmatrix}}$
où 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 X$_0$ et du champ F, on peut construire le champ $\mathbf {X_{0}} \wedge \mathbf {F}$ dont la divergence est une forme linéaire vis-à-vis de X$_0$, et donc exprimable sous la forme d'un produit scalaire K·X$_0$, où K s'avère être l'opposé du rotationnel de F :
    ${\boldsymbol {\nabla }}\cdot (\mathbf {X_{0}} \wedge \mathbf {F} )=-({\boldsymbol {\nabla }}\wedge \mathbf {F} )\cdot \mathbf {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. Le sens précis de cette définition découle du théorème de Green qui, pour une surface $S$ de frontière $C$, implique
    $\oint _{\mathrm {C} }\mathbf {F} \cdot \mathbf {dl} =\iint _{\mathrm {S} }({\boldsymbol {\nabla }}\wedge \mathbf {F} )\cdot \mathbf {ds}$
À 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 ƒ pour former un tenseur d'ordre 2. Ses composantes s'écrivent
    $[\operatorname {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. 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 :
    $[\operatorname {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 a$^b$, on a
    $[\operatorname {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 ou champ conservatif.

## Règles de calcul
### Linéarité

Pour toute constante c réelle et pour tous champs vectoriels A et B
    ${\boldsymbol {\nabla }}\wedge (c\mathbf {A} )=c\ {\boldsymbol {\nabla }}\wedge \mathbf {A}$,
    ${\boldsymbol {\nabla }}\wedge (\mathbf {A} +\mathbf {B} )={\boldsymbol {\nabla }}\wedge \mathbf {A} +{\boldsymbol {\nabla }}\wedge \mathbf {B}$.

### Composition avec une autre quantité

Pour tout champ scalaire u,
    ${\boldsymbol {\nabla }}\wedge (u\;\mathbf {A} )=u{\boldsymbol {\nabla }}\wedge \mathbf {A} +({\boldsymbol {\nabla }}u)\wedge \mathbf {A}$,
    ${\boldsymbol {\nabla }}\wedge (\mathbf {A} \wedge \mathbf {B} )=(\mathbf {B} \cdot {\boldsymbol {\nabla }})\mathbf {A} -(\mathbf {A} \cdot {\boldsymbol {\nabla }})\mathbf {B} +\mathbf {A} ({\boldsymbol {\nabla }}\cdot \mathbf {B} )-\mathbf {B} ({\boldsymbol {\nabla }}\cdot \mathbf {A} )$,
    où la notation $(\mathbf {A} \cdot {\boldsymbol {\nabla }})$ représente un opérateur scalaire sur chaque coordonnée du vecteur auquel il s'applique : $(\mathbf {A} \cdot {\boldsymbol {\nabla }})\mathbf {B} ={\begin{pmatrix}\mathbf {A} \cdot \nabla \mathbf {B} _{x}\\\mathbf {A} \cdot \nabla \mathbf {B} _{y}\\\mathbf {A} \cdot \nabla \mathbf {B} _{z}\end{pmatrix}}$$^,$. C'est la différentielle de $\mathbf {B}$ appliquée sur $\mathbf {A}$.

### Composition avec plusieurs opérateurs

    ${\boldsymbol {\nabla }}\wedge ({\boldsymbol {\nabla }}u)={\boldsymbol {0}}\ \$, i.e. le rotationnel du gradient est toujours nul,
    ${\boldsymbol {\nabla }}{\boldsymbol {\ }}\cdot \ ({\boldsymbol {\nabla }}\wedge \mathbf {A} )={\boldsymbol {0}}\ \$, i.e. la divergence du rotationnel est toujours nulle,
    ${\boldsymbol {\nabla }}\wedge ({\boldsymbol {\nabla }}\wedge \mathbf {A} )={\boldsymbol {\nabla }}({\boldsymbol {\nabla }}\cdot \mathbf {A} )-\Delta \mathbf {A}$
(Voir rotationnel du rotationnel)
    ${\boldsymbol {\nabla }}\wedge (\mathbf {A} \cdot {\boldsymbol {\nabla }}\mathbf {A} )=\mathbf {A} \cdot {\boldsymbol {\nabla }}({\boldsymbol {\nabla }}\wedge \mathbf {A} )-({\boldsymbol {\nabla }}\wedge \mathbf {A} )\cdot {\boldsymbol {\nabla }}\mathbf {A}$

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

    ${\boldsymbol {\nabla }}\wedge \mathbf {A} =\left({\frac {1}{r}}{\frac {\partial \mathrm {A} _{z}}{\partial \theta }}-{\frac {\partial \mathrm {A} _{\theta }}{\partial z}}\right)\mathbf {u_{r}} +\left({\frac {\partial \mathrm {A} _{r}}{\partial z}}-{\frac {\partial \mathrm {A} _{z}}{\partial r}}\right)\mathbf {u_{\theta }} +{\frac {1}{r}}\left({\frac {\partial }{\partial r}}(r\mathrm {A} _{\theta })-{\frac {\partial \mathrm {A} _{r}}{\partial \theta }}\right)\mathbf {u_{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\leq \theta \leq \pi ,0\leq \varphi <2\pi$ :
    ${\boldsymbol {\nabla }}\wedge \mathbf {A} ={\frac {1}{r\sin \theta }}\left({\frac {\partial }{\partial \theta }}(\sin \theta \mathrm {A} _{\varphi })-{\frac {\partial \mathrm {A} _{\theta }}{\partial \varphi }}\right)\mathbf {u_{r}} +\left({\frac {1}{r\sin \theta }}{\frac {\partial \mathrm {A} _{r}}{\partial \varphi }}-{\frac {1}{r}}{\frac {\partial }{\partial r}}(r\mathrm {A} _{\varphi })\right)\mathbf {u_{\theta }} +{\frac {1}{r}}\left({\frac {\partial }{\partial r}}(r\mathrm {A} _{\theta })-{\frac {\partial \mathrm {A} _{r}}{\partial \theta }}\right){\boldsymbol {\mathbf {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.