Tenseur de Levi-Civita

Dans un espace euclidien orienté de dimension $N$ , le tenseur de Levi-Civita – ou tenseur dualiseur – est le tenseur dont les coordonnées dans une base orthonormale directe sont données par le symbole de Levi-Civita d'ordre N. En effet, le symbole de Levi-Civita d'ordre N $ϵ_{i_{1} \dots i_{N}}$ ou $ϵ^{i_{1} \dots i_{N}}$ (aussi appelé pseudo-tenseur unité complètement antisymétrique) n'est pas un tenseur. Par exemple, ses composantes devraient être multipliées par $2^{N}$ lorsque le système de coordonnées est réduit d'un facteur 2.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (mars 2021).

Tenseur dualiseur

Définition

Dans un espace euclidien orienté il existe une forme volume canonique, notée ici $η$ , définie comme l'unique forme volume telle que $η (B) = 1$ pour une (et donc pour toute) base orthonormale directe $B$ .

Le tenseur $η$ est aussi appelé tenseur de Levi-Civita ou encore tenseur dualiseur.

Coordonnées covariantes et contravariantes

Dans une base $B$ quelconque, on note $(g_{i j})$ la matrice du tenseur métrique et $(g^{i j})$ sa matrice inverse. Le déterminant $g = {det}_{B} (g_{i j})$ peut s'exprimer à l'aide du symbole de Levi-Civita.

g_{i_{1} j_{1}} \dots g_{i_{N} j_{N}} ϵ^{j_{1} \dots j_{N}} = g ϵ_{i_{1} \dots i_{N}}

Les coordonnées covariantes et contravariantes du tenseur de Levi-Civita vérifient les relations

η_{i_{1} \dots i_{N}} = g_{i_{1} j_{1}} \dots g_{i_{N} j_{N}} η^{j_{1} \dots j_{N}}

et

η^{i_{1} \dots i_{N}} = g^{i_{1} j_{1}} \dots g^{i_{N} j_{N}} η_{j_{1} \dots j_{N}}

On en déduit, dans une base directe quelconque, les relations

η_{i_{1} \dots i_{N}} = \sqrt{g} ϵ_{i_{1} \dots i_{N}}

et

η^{i_{1} \dots i_{N}} = \frac{1}{\sqrt{g}} ϵ^{i_{1} \dots i_{N}}

Puisque $g = 1$ dans une base orthonormale, on retrouve ce qui est dit en introduction.

Dans une base rétrograde (ou indirecte), l'expression des coordonnées à l'aide du symbole de Levi-Civita est légèrement modifiée : il faut remplacer $\sqrt{g}$ par $- \sqrt{g}$ . En introduisant le symbole $(- 1)^{B} = η (B) / | η (B) |$ égal à 1 si la base est directe et -1 si la base est indirecte on a dans le cas général

η_{i_{1} \dots i_{N}} = (- 1)^{B} \sqrt{g} ϵ_{i_{1} \dots i_{N}}

et

η^{i_{1} \dots i_{N}} = (- 1)^{B} \frac{1}{\sqrt{g}} ϵ^{i_{1} \dots i_{N}}

Cas des espaces pseudo-euclidiens

Dans un espace pseudo-euclidien le déterminant du tenseur métrique n'est pas nécessairement positif. Par exemple dans le cas de l'espace de Minkowski (l'espace-temps quadridimensionnel de la relativité restreinte), le déterminant du tenseur métrique est négatif.

Les relations précédentes peuvent s'écrire, dans une base quelconque, sous une forme valable quel que soit le signe de $g$

η_{i_{1} \dots i_{N}} = (- 1)^{B} \sqrt{| g |} ϵ_{i_{1} \dots i_{N}}

et

η^{i_{1} \dots i_{N}} = (- 1)^{B} \frac{\sqrt{| g |}}{g} ϵ^{i_{1} \dots i_{N}}

Par la suite on utilisera le symbole $*$ à la place de la lettre grecque $η$ .

Propriétés du tenseur dualiseur

Produit de tenseurs dualiseurs

Les formules suivantes découlent directement des formules obtenues avec le symbole de Levi-Civita d'ordre N. Le symbole $δ_{j}^{i}$ est le symbole de Kronecker, représentant le tenseur unité. On se place dans le cas euclidien.

Résultat d'ordre 2

*^{k i_{2} \dots i_{N}} *_{l i_{2} \dots i_{N}} = (N - 1)! \times δ_{l}^{k}

En effet, si k est différent de l il existe au moins deux indices égaux, soit dans le coefficient du premier tenseur, soit dans celui du second. Le coefficient correspondant est nul, ainsi que le produit. Si k est égal à l, les facteurs respectifs $(- 1)^{B} \sqrt{g}$ et $(- 1)^{B} \frac{1}{\sqrt{g}}$ apparaissant dans chacun des deux tenseurs se simplifient. Les symboles de Levi-Civita $ϵ^{k i_{2} \dots i_{N}}$ et $ϵ_{l i_{2} \dots i_{N}}$ prennent la même valeur 1 ou -1 dans les deux coefficients et leur produit vaut 1. Enfin, pour chaque valeur commune de k = l, il y a $(N - 1)!$ choix possibles des indices $i_{2}, \dots, i_{N}$ .

Résultat d'ordre 4

*^{k m i_{3} \dots i_{N}} *_{l n i_{3} \dots i_{N}} = (N - 2)! \times (δ_{l}^{k} δ_{n}^{m} - δ_{n}^{k} δ_{l}^{m})

La démonstration est comparable au cas précédent, les seuls cas où l'on obtient un résultat non nul étant celui où k = l et m= n, pour lequel les symboles de Levi-Civita apparaissant dans les deux tenseurs sont de même signe, et le cas où k = n et l = m, pour lequel les symboles sont de signes contraires, d'où le signe - devant $δ_{n}^{k} δ_{l}^{m}$ . Pour une paire {k, l} d'éléments distincts donnés, il existe $(N - 2)!$ choix possibles des indices $i_{3}, \dots, i_{N}$ .

Nullité de la dérivée covariante du tenseur dualiseur

La dérivée covariante du tenseur dualiseur est nulle :

D_{j} (*^{i_{1} i_{2} \dots i_{N}}) = 0

.

Démonstration

L'expression de la dérivée covariante à partir de la dérivée simple et des symboles de Christoffel donne

D_{j} (*^{i_{1} i_{2} \dots i_{N}}) = \partial_{j} (*^{i_{1} i_{2} \dots i_{N}}) + Γ_{k j}^{i_{1}} *^{k i_{2} \dots i_{N}} + Γ_{k j}^{i_{2}} *^{i_{1} k \dots i_{N}} + \dots + Γ_{k j}^{i_{N}} *^{i_{1} i_{2} \dots k}

Réécrivons premier terme sous la forme

\partial_{j} (\frac{ϵ^{i_{1} i_{2} \dots i_{N}}}{\sqrt{det g}})

.

Le symbole de Levi-Civita d'ordre N étant constant, ce terme devient

ϵ^{i_{1} i_{2} \dots i_{N}} \partial_{j} (\frac{1}{\sqrt{det g}})

.

Dans la liste des termes suivants, le premier se réduit à sa valeur pour laquelle $k = i_{1}$ , le deuxième à sa valeur pour laquelle $k = i_{2}$ , etc. La somme des N termes vaut donc $Γ_{k j}^{k} *^{i_{1} i_{2} \dots i_{N}}$ . Étant donné l'expression de la contraction du symbole de Christoffel

Γ_{k j}^{k} = - \partial_{j} (\frac{1}{\sqrt{det g}})

,

on trouve

D_{j} (*^{i_{1} i_{2} \dots i_{N}}) = 0

.

∎

Définition de tenseurs duaux au sens de Hodge

Article détaillé : Dualité de Hodge.

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 au sens de Hodge.

{[* a]}^{i_{1} i_{2} \dots i_{N - M}} = \frac{1}{M!} *^{i_{1} i_{2} \dots i_{N}} a_{i_{N - M + 1} \dots i_{N}}

Le produit met ici arbitrairement en jeu les $M$ derniers indices du tenseur dualiseur. On aurait aussi bien pu prendre les $M$ premiers indices. Les deux conventions différent d'un signe - dans certains cas.

Exemple, tenseurs duaux en dimension 3 :

Un vecteur $b^{k}$ possède un tenseur antisymétrique dual :

{[* b]}_{i j} = *_{i j k} b^{k}

.

Réciproquement, le dual d'un tenseur antisymétrique $a_{i j}$ est un vecteur :

{[* a]}^{i} = \frac{1}{2} \times *^{i j k} a_{j k} .

Le dual du dual est le vecteur ou le tenseur antisymétrique lui-même. En effet, on a pour un vecteur :

{[* * b]}^{i} = \frac{1}{2} *^{i j k} {[* b]}_{j k} = \frac{1}{2} *^{i j k} *_{j k l} b^{l} = δ_{l}^{i} b^{l} = b^{i}

.

et pour un tenseur antisymétrique :

{[* * a]}_{i j} = *_{i j k} {[* a]}^{k} = \frac{1}{2} *_{i j k} *^{k l m} a_{l m} = \frac{1}{2} (δ_{i j}^{l m} - δ_{i j}^{m l}) a_{l m} = a_{i j}

.

Voir aussi

Portail des mathématiques