- Rotationnel du rotationnel
-
Dans le cadre de l'analyse vectorielle, on peut être amené à calculer le rotationnel d'un rotationnel.
Sommaire
Formule classique en espace plan
La formule classique pour un vecteur A quelconque est :
,
la seconde partie de l'expression faisant intervenir l'opérateur laplacien vectoriel.
Démonstration
La démonstration de cette formule se fait par évaluation directe de l'opérateur rotationnel appliqué deux fois. Ainsi, en coordonnées cartésiennes, les composantes du rotationnel d'un vecteur A quelconque s'écrivent :
.
En appliquant le rotationnel une seconde fois, il vient
.
En regroupant les termes, on obtient
.
Dans chacune des composantes i, les termes négatifs correspondent à deux des composantes du laplacien de Ai, auxquelles il manque la dérivée seconde de Ai par rapport à la ie composante. Ainsi, on a
.
Outre le terme en laplacien, tous les autres termes de la composante i font intervenir une dérivée seconde qui chaque fois contiennent au moins une dérivée par rapport à la ie composante. Par ailleurs, le terme dont prend la dérivée par rapport à cette ie coordonnée est toujours le même, et correspond à la divergence de A. On obtient donc comme annoncé
.
Une autre démonstration
On peut directement exprimer les composantes d'un rotationnel, de façon formelle, à l'aide du symbole de Levi-Civita ε:
,
en utilisant la convention d'Einstein, c'est-à-dire la sommation implicite sur tous les indices se répétant deux fois d'un côté de l'équation (en l'occurrence ici les indices j et k à droite). Le double rotationnel est ainsi
.
On utilise ensuite une relation connue sur le produit de deux symboles de Levi-Civita faisant intervenir le symbole de Kronecker δ, soit
- εijkεimn = δjmδkn − δjnδkm.
Avec les propriétés d'antisymétrie de ces symboles, on obtient ici
- εijkεklm = δilδjm − δimδjl,
ce qui donne
,
expression que l'on peut simplifier en
.
Le premier terme correspond comme attendu du gradient de la divergence de A et le second au laplacien scalaire de ses composante, d'où à nouveau la formule
.
Formule en espace courbe
La formule classique peut être adaptée à un espace doté d'une métrique quelconque. Dans ce cas, la forme connaît des modifications issues du fait que les dérivées partielles
doivent être remplacées par des dérivées covariantes que l'on notera ici D, et que celles-ci ne commutent pas. Dans ce cas, en reprenant la seconde démonstration ci-dessus, on obtient, pour des vecteurs[1].
.
Le second membre correspond au laplacien vectoriel, mais le premier ne correspond pas au gradient de la divergence, car l'ordre de dérivées covariantes est inversé. En utilisant la formule de commutation des dérivées covariantes en fonction du tenseur de Riemann Rijkl, on obtient
,
ce qui donne en contractant les indices i et k,
,
où Rlj représente le tenseur de Ricci. En utilisant cette formule, on obtient
.
Applications en physique
Le rotationnel du rotationnel intervient quand on étudie les solutions dans le vide des équations de Maxwell. Ces équations s'écrivent, dans le vide,
,
,
,
,
avec les notation usuelle de E pour le champ électrique, B pour le champ magnétique et c pour la vitesse de la lumière. Pour résoudre une telle équation, on peut par exemple prendre le rotationnel de la quatrième et la dérivée temporelle de la troisième. Il vient alors
,
.
La combinaison des deux donne alors immédiatement
,
En utilisant la formule du rotationnel du rotationnel, on trouve
.
Comme par ailleurs la divergence du champ magnétique B est identiquement nulle, il reste
.
Les solutions non triviales à cette équations sont les ondes électromagnétiques se propageant (ici dans le vide) à la vitesse c.
Liens
Note
- Dans ce cas de figure, il faut préciser si l'opérateur agit sur des vecteurs covariants ou contravariants, c'est-à-dire sur des vecteurs ordinaires ou des formes linéaires.
Wikimedia Foundation. 2010.