Contacter l'auteur / Contact the author

Recherche dans ce site / Search in this site

 

La théorie de la Relativité

Concepts fondamentaux

Conventions d'écriture et indices (VII)

Parlons peu mais parlons bien serait en résumé la devise des mathématiciens. La description de la structure mathématique de la relativité fait, de part sa nature, abondance de symboles auxquels sont accolés une kyrielle d’indices supérieurs et inférieurs, signe de ponctuations, parenthèses et autres crochets. Même Einstein dut les respecter, ou presque !

Tous ces symboles à n’en pas douter ont une utilité fondamentale : raccourcir les expressions en simplifiant leur écriture[4], qui sans cette astuce seraient développées sur des pages et des pages comme l’on fait nos aïeux jusqu’au début du XXe siècle.

Même si vous n’aimez pas les mathématiques, si vous respectez la convention d’Einstein sur les indices vous ferez facilement la distinction entre un tenseur complet Rμν et un tenseur de rang deux Rμν, entre un tenseur contravariant dμ et une dérivé d’ordre μ, dxμ, entre un tenseur de la forme tαβ et son inverse tαβ ou encore entre une matrice gαβ et son symétrique gβα. Mais qu’il vous prenne l’envie de “monter” ou de “descendre” un indice et votre équation s’écroule.

En effet, par convention, dans un calcul matriciel, les indices représentent les coordonnées du vecteur dans un base définie et dans un espace vectoriel de dimension quelconque. Le premier indice est celui de la ligne et le second, celui de la colonne. Ainsi comme vous l’avez probablement compris, le calcul du déterminant d’une matrice varie en fonction de cette convention qui stipule l’ordre des lignes et des colonnes. Toute infraction à cette règle vous donnera des résultats incorrects.

Se greffe sur cette convention d’écriture des règles de calcul telle que la contraction de la quantité sur l’indice muet, l’exposant en puissance de l’expression ou la suppression du symbole de sommation S. Il n’est donc pas rare de trouver des expressions concises mêlant tous ces indices et autres puissances en lieu et place des expressions développées. L’équation concise suivante par exemple, encore très simple malgré les apparences - nous l’expliquerons un peu plus loin -, représente le mouvement d’une particule de coordonnées {xα} en relativité générale :

ds²  =  gμndxμdxν

Pour éviter une confusion totale et dénuer l’expression de son sens, la règle consiste donc à dire qu’il existe deux types d’indices en relativité générale (4 dimensions) :

- les indices latins i, j, k, etc qui prennent chacun les valeurs 1, 2 ou 3

- les indices grecs α, β, δ, etc. qui prennent les valeur 0, 1, 2 ou 3.

Les indices muets sont des indices qui sont répétés deux fois dans un membre, une fois en haut et une fois en bas, tel que Tαα. Ils peuvent prendre n’importe quelle valeur de l’expression.

La contraction des deux indices muets (α) d’un tenseur Rαμαν donne pour résultat Rμν. Les autres indices gardent leur place; ils respectent la règle du balancement des indices.

Le nombre d’indice exprimé (non muets) sur les composantes d’un tenseur définit l’ordre ou le rang du tenseur. Ainsi, un tenseur d’ordre n présente n indices. Un vecteur est un tenseur d’ordre 1, un scalaire est un tenseur d’ordre 0.

Les composantes d’un tenseur sont dites complètement covariantes lorsque tous les indices sont “en bas”. On dira qu’elles sont complètement contravariantes lorsqu’ils sont tous “en haut”. Les composantes d’un tenseur mixte présenteront des indices “haut” et “bas”. Ce concept n’intervient que si les tenseurs ηαβ et ηαβ ou gαβ et gαβ en fonction du système de coordonnées utilisé (minkowskien, riemannien) fournissent une correspondance biunivoque entre tenseurs. Cette correspondance permet par exemple de considérer Tμn comme la composante covariante du même tenseur si la position des indices a été contractée pour passer d’un type de composante à un autre de nature différente.

Les crochets sont également indicés. Si les matrices ne sont pas symétriques, ils soulignent l’antisymétrie des composantes par rapport aux indices : Rαβ[μν] = Rαβμν.

Les deux signes de ponctuation , et ; joue aussi une rôle important dans la montée ou la descente d’indices. Les opérateurs qui subissent une notation abrégée, telle que la divergence d’une fonction vectorielle Vμ par exemple, passe de la notation Vμ/xα à la forme Vμ,α. La divergence d’un champ de vecteurs Vi passe de la forme iVi à la forme Vii . Noter à chaque fois la virgule qui sépare les deux indices. Le signe ; apparaît dans une expression X lorsqu’on utilise la convention (X);μ  º μ(X). Il permet également d’écrire Rkm;k = Rkm;k.

Enfin, le symbole de sommation Σ disparaît également lorsqu’un indice apparaît deux fois et l’expression s’écrit simplement Tαβακ.   

L’expression A B représente le produit scalaire des espaces vectoriels A et B. Ce produit influence la position des indices. En géométrie riemannienne par exemple, lorsqu’on effectue une correspondance entre tenseurs, il est possible de faire “monter” ou “descendre” un indice à partir des composantes de l’un d’entre eux par contraction avec respectivement gαβ ou gαβ :  Tαβ... =  gβδTαδ ... Ainsi par contraction du tenseur de courbure de Riemann, on construit le tenseur de Ricci qui mesure la déformation : Rβμ = Rαβμα

On définira la trace Tr d’une matrice comme la somme de ses éléments diagonaux : pour une matrice T de la forme Tαβ, Tr[T] = Tαα. Einstein la note simplement T. La trace du produit de matrices est un invariant après une rotation cyclique, ou autrement dit Tr[ABC] = Tr[CAB]. De même, si une matrice A contient un nombre paire de matrices g non redondantes, en appliquant les règles de rotation cyclique et d’anticommutativité il s’ensuit que [A] = 0.

Pour l’anecdote et en revenir à Einstein, ainsi qu’en témoignent les annotations de son article écrit en collaboration avec Grossmann en 1913, il ne fera pas la distinction entre les tenseurs covariants et contravariants qui, ainsi que vous le savez à présent, sont respectivement indicés en bas et en haut : gμν n’est pas gμν. Ayant lu les travaux de Ricci et Levi-Civita il n’y renoncera qu’en 1914[5]. Mais il ne les respectera toujours pas pour indiquer les différentielles dxμ. A sa décharge signalons toutefois qu’il ne conservera le symbole de sommation pour les indices répétés que jusqu’en 1916, disant alors à un ami : “j’ai fait une grande découverte mathématique; j’ai supprimé le symbole de sommation à chaque fois que celle-ci devait s’effectuer sur un indice apparaissant deux fois[6]. Pour notre part, si vous le voulez bien nous respecterons la notation moderne que je viens de vous présenter.

Fin du cours préparatoire !

M’avez-vous quelque peu suivi ? Comme dans le jeu de l’oie, dans l’infirmative revenez quelques pages en arrière, sinon poursuivez votre lecture.

Ce corpus théorique a repris les notions essentielles du béaba d’un langage symbolique qui ne se veut pas exhaustif. Des ouvrages entiers ont été écrits sur le sujet dans lesquels chaque auteur peut encore poser ses propres conventions de signes (suppression des indices, des carrés, des négatifs, etc.).

L'essentiel est que les mots champ, tenseur, cône de lumière, covariance et autre dérivée ne vous soient pas inconnus. Du reste, il est difficile sur un tel site de revenir sur d’autres notions fondamentales qui touchent à l’énergie d’un système, telles que l’intégrale d’action, le Lagrangien, la densité de matière, etc. J’essayerai d’en toucher un mot dans d'autres chapitres tout en gardant à l’esprit que ce dossier n’a pas la prétention de vous diplômer en physique relativiste !

En sus, ces quelques règles simples vous permettent de comprendre pourquoi les équations de la relativité disent vraiment si peu de choses à ceux qui ne sont pas du métier. Les abréviations et autres disparition de signes n’aident en rien la compréhension... Heureusement, les exemples concrets rendent la théorie accessible au plus grand nombre.

Pour plus d'informations

Cours de Relativité Générale, IAP

Le calcul tensoriel, Sciences.ch

Cours sur le Calcul tensoriel

Retour à la Relativité

Page 1 - 2 - 3 - 4 - 5 - 6 - 7 -


[4] Précisons à toute bonne fin que tous les vecteurs affichent une flèche au-dessus de leur symbole puisqu’ils sont orientés : par exemple représente le vecteur vitesse. Par clarté je ne les utiliserai pas dans les exemples impliquant la vitesse, l’accélération, etc (V, U, G, dOE, grad, etc) mais j'ajouterai le terme “vecteur” ou “...vectoriel” dans le texte. Leurs composantes en base naturelle et bien entendu les tenseurs ne disposent plus de ce symbole. Exemple : Vα , gμν, etc.

[5] A.Einstein/ M.Grossmann, Zeitschrift für Physik, 1913, 62, p225 - A.Einstein, Sietzungsberichte, 1914, p1030.

[6] L.Kollros, Helvetica Physica Acta Supplement, 4, 1956, p271.  


Back to:

HOME

Copyright & FAQ