Calcul tensoriel/Notions élémentaires/Tenseur dualiseur

Un livre de Wikilivres.

Introduction[modifier | modifier le wikicode]

É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 | modifier le wikicode]

Tenseur dualiseur en coordonnées contravariantes[modifier | modifier le wikicode]

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 | modifier le wikicode]

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 | modifier le wikicode]

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 | modifier le wikicode]

Produit de tenseurs dualiseurs[modifier | modifier le wikicode]

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 | modifier le wikicode]
résultat d'ordre 4[modifier | modifier le wikicode]

Définition du tenseur dual[modifier | modifier le wikicode]

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 | modifier le wikicode]

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 | modifier le wikicode]

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 | modifier le wikicode]

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.