Rotationnel du rotationnel

Dans le cadre de l'analyse vectorielle, on peut tre amen Outre le terme en laplacien, tous les autres termes de
calculer le rotationnel d'un rotationnel.
la composante i font intervenir une drive seconde qui
chaque fois contient au moins une drive par rapport
la ie composante. Par ailleurs, le terme dont on prend la
e
1 Formule classique en espace plan drive par rapport cette i coordonne est toujours le
mme, et correspond la divergence de A. On obtient
donc comme annonc
La formule classique pour un vecteur A quelconque est :
( A) = ( A) A.

( A) = ( A) A,

la seconde partie de l'expression faisant intervenir 1.2 Une autre dmonstration

l'oprateur laplacien vectoriel.
On peut directement exprimer les composantes d'un rotationnel, de faon formelle, l'aide du symbole de Levi1.1 Dmonstration
Civita :
La dmonstration de cette formule se fait par valuation
directe de l'oprateur rotationnel appliqu deux fois. Ain- ( A)i = Ak
ijk j
si, en coordonnes cartsiennes, les composantes du rotationnel d'un vecteur A quelconque scrivent :
en utilisant la convention d'Einstein, c'est--dire la sommation implicite sur tous les indices se rptant deux fois
d'un ct de l'quation (en l'occurrence ici les indices j et

k droite). Le double rotationnel est ainsi

y A z z A y
A = z Ax x Az
x Ay y Ax
( ( A))i = ijk j (klm l Am )
En appliquant le rotationnel une seconde fois, il vient
On utilise ensuite une relation connue sur le produit
de deux symboles de Levi-Civita faisant intervenir le

de Kronecker , soit
y (x Ay y Ax ) z (z Ax x Azsymbole
)
(A) = z (y Az z Ay ) x (x Ay y Ax )
x (z Ax x Az ) y (y Az z Ay )
ijk imn = jm kn jn km
En regroupant les termes, on obtient
Avec les proprits d'antisymtrie de ces symboles, on
obtient ici

x
x
y
z
yy A zz A + xy A + xz A
(A) = xx Ay zz Ay + yz Az + yx Ax
xx Az yy Az + zx Ax + zy Ay ijk klm = il jm im jl
Dans chacune des composantes i, les termes ngatifs cor- ce qui donne
respondent deux des composantes du laplacien de Ai ,
auxquelles il manque la drive seconde de Ai par rapport la ie composante. Ainsi, on a
( ( A))i = (il jm im jl )jl Am
expression que l'on peut simplier en

Ax + xx Ax + xy Ay + xz Az
(A) = Ay + yy Ay + yz Az + yx Ax
i
m
i
Az + zz Az + zx Ax + zy Ay ( ( A)) = mi A jj A

NOTE

Le premier terme correspond comme attendu du gradient avec les notations usuelles E pour le champ lectrique,
de la divergence de A et le second au laplacien scalaire de B pour le champ magntique et c pour la vitesse de la
ses composantes, d'o nouveau la formule
lumire. Pour rsoudre une telle quation, on peut par
exemple prendre le rotationnel de la quatrime et la drive temporelle de la troisime. Il vient alors
( A) = ( A) A.

Formule en espace courbe

E
2B
= 2
t
t

1
E
( B) = 2
La formule classique peut tre adapte un espace dot
c
t
d'une mtrique quelconque. Dans ce cas, la forme connat La combinaison des deux donne alors immdiatement
des modications issues du fait que les drives partielles
doivent tre remplaces par des drives covariantes
que l'on notera ici D, et que celles-ci ne commutent pas.
1 2B
Dans ce cas, en reprenant la seconde dmonstration ci- ( B) = c2 t2
dessus, on obtient, pour des vecteurs[1] :
En utilisant la formule du rotationnel du rotationnel, on
trouve
( ( A))i = Dmi Am Dj Dj Ai .
1 2B
Le second terme du membre de droite correspond au la( B) B = 2
placien vectoriel, mais le premier ne correspond pas au
c t2
gradient de la divergence, car l'ordre des drives covaComme par ailleurs la divergence du champ magntique
riantes est invers. En utilisant la formule de commutaB est identiquement nulle, il reste
tion des drives covariantes en fonction du tenseur de
Riemann Ri jkl, on obtient
(
)
1 2
B =0
c2 t2
(Di Dj Dj Di )Ak = Rklij Al
Les solutions non triviales ces quations sont les ondes
ce qui donne en contractant les indices i et k,
lectromagntiques se propageant (ici dans le vide) la
vitesse c.
k
(Dk Dj Dj Dk )Ak = Rlkj
Al = Rlj Al

o Rlj reprsente le tenseur de Ricci. En utilisant cette

formule, on obtient

( ( A))i = Dim Am Dj Dj Ai + Rik Ak .

Applications en physique

Le rotationnel du rotationnel intervient quand on tudie

les solutions dans le vide des quations de Maxwell. Ces
quations scrivent, dans le vide,

E =0
B =0
B
t
1 E
B = 2
c t
E =

4 Liens
Identits vectorielles

5 Note
[1] Dans ce cas de gure, il faut prciser si l'oprateur agit sur
des vecteurs covariants ou contravariants, c'est--dire sur
des vecteurs ordinaires ou des formes linaires

Portail de lanalyse

Sources, contributeurs et licences du texte et de limage

6.1

Texte

Rotationnel du rotationnel Source : https://fr.wikipedia.org/wiki/Rotationnel_du_rotationnel?oldid=116047625 Contributeurs : Phe-bot,

Bibi Saint-Pol, Zetud, Alain r, Jerome66, Flo, Chaps the idol, PetaRZ, Ambigraphe, Kelam, ZetudBot, Anne Bauval, ThibautLienart,
Vincemaths, Arbautjc, Boulou 33 et Anonyme : 6

6.2

Images

Fichier:Nuvola_apps_kmplot.svg Source : https://upload.wikimedia.org/wikipedia/commons/e/e8/Nuvola_apps_kmplot.svg Licence :

LGPL Contributeurs : ? Artiste dorigine : ?
Fichier:Vector_sphere.svg Source : https://upload.wikimedia.org/wikipedia/commons/6/6e/Vector_sphere.svg Licence : CC-BY-SA-3.0
Contributeurs : Travail personnel Artiste dorigine : Cronholm144

6.3

Licence du contenu

Creative Commons Attribution-Share Alike 3.0