Calcul tensoriel/Notions élémentaires/Tenseur dualiseur

Introduction

modifier

Étant donné un espace de dimension N, le symbole de Levi-Civita d'ordre N  , aussi appelé pseudo-tenseur unité complètement antisymétrique n'est pas un tenseur. Par exemple, ses composantes devraient être multipliées par   lorsque le système de coordonnées est réduit d'un facteur 2.

Définition du tenseur dualiseur

modifier
Tenseur dualiseur en coordonnées contravariantes
modifier

La formule

 

  est le déterminant du tenseur métrique, définit bien un tenseur à partir du symbole de Levi-Civita d'ordre N. Ce tenseur, aussi appelé tenseur de Levi-Civita et noté   est ici appelé tenseur dualiseur. Il est intéressant de noter que pour qu'un scalaire soit un tenseur (d'ordre 0), il faut qu'il soit indépendant du choix du système de coordonnées. Le déterminant du tenseur métrique n'est donc pas un tenseur mais son produit avec le symbole   est bien un tenseur, indépendant du système de coordonnées.

Tenseur dualiseur en coordonnées covariantes
modifier

On passe aux coordonnées covariantes en mettant en jeu N fois le tenseur métrique. Le produit de ces N termes avec le symbole de Levi-Civita d'ordre N est égal au déterminant du tenseur métrique et l'on obtient

 
Détermination du signe
modifier

Le tenseur dualiseur garde néanmoins un caractère particulier. C'est le choix de la détermination de la racine carrée qui définit l'orientation du système de coordonnées. Retourner une coordonnée doit s'accompagner du changement de signe des composantes du tenseur.

Dans le cas de l'espace-temps quadridimensionnel, le déterminant du tenseur métrique est négatif. Deux possibilités s'offrent alors, considérer que le tenseur dualiseur est imaginaire pur, ou remplacer g par -g. Cette seconde possibilité facilite les calculs mais n'est pas satisfaisante d'un point de vue théorique [connecter avec la mesure de la distance spatiale ou temporelle comme racine carrée de l'intervalle d'espace-temps, dont le signe donne la nature, temps ou espace]

Propriétés du tenseur dualiseur

modifier
Produit de tenseurs dualiseurs
modifier

La formule suivante découle directement de la formule obtenue avec le symbole de Levi-Civita d'ordre N. Le symbole   est le symbole de Kronecker, représentant la matrice unité.

 
résultat d'ordre 2
modifier
 
résultat d'ordre 4
modifier
 

Définition du tenseur dual

modifier

Le produit du tenseur dualiseur avec un tenseur d'ordre M dans un espace de dimension N définit un tenseur d'ordre N-M, son dual.  

Le choix de faire la contraction sur les M derniers indices du tenseur dualiseur est tout à fait arbitraire. La contraction sur une autre famille d'indices fournit la même expression de  , avec un signe éventuellement opposé. Il est aussi à noter que si l'on change l'orientation de l'espace en échangeant deux coordonnées, le tenseur dual change de signe.

Tenseurs duaux complètement antisymétriques

modifier

Si dans un espace à   dimensions,   est un tenseur à   indices, avec  , alors le dual   est un tenseur à   indices, lui-aussi complètement antisymétrique, et l'on a

 

On va le démontrer en dimension 3. La généralisation est facile.

dimension 3
modifier

Le dual d'un vecteur   est un tenseur antisymétrique à deux indices  . Réciproquement, le dual d'un tenseur antisymétrique   est un vecteur  . Tous deux ont 3 composantes indépendantes.

Le dual d'un scalaire   est un tenseur complètement antisymétrique à trois indices  . Réciproquement, le dual d'un tenseur complètement antisymétrique à trois indices   est un scalaire  . Le tenseur complètement antisymétrique à trois indices dans un espace de dimension 3 n'a qu'une composante indépendante. On l'appelle aussi pseudo-scalaire.

Le dual du dual d'un tenseur complètement antisymétrique à 0, 1, 2 ou 3 indices est le tenseur lui-même. Autrement dit, le dual du dual est l'opérateur identité pour les scalaires, les vecteurs  , les tenseurs antisymétriques à deux indices   et les tenseurs complètements antisymétriques à trois indices  .

En effet, pour un scalaire on a  ; pour un vecteur on a   ; pour un tenseur antisymétrique à deux indices on a   ; pour un tenseur complètement antisymétrique à trois indices on a  

dimension 4
modifier

Le dual d'un scalaire   est le tenseur complètement antisymétrique pseudo-scalaire  

Le dual d'un vecteur   est le tenseur complètement antisymétrique  . Tous deux ont 4 composantes indépendantes.

Le dual d'un tenseur antisymétrique   est le tenseur antisymétrique  . Tous deux ont 6 composantes indépendantes.

Le dual d'un tenseur complètement antisymétrique   est le vecteur  

Le dual d'un tenseur complètement antisymétrique pseudo-scalaire   est le scalaire  

De la même manière qu'en dimension 3, il est facile de démontrer que l'opérateur dual du dual est l'opérateur unité pour les scalaires, les vecteurs, les tenseurs antisymétriques à deux indices et les tenseurs complètement antisymétriques à trois ou quatre indices.