Tenseur de Riemann
En géométrie riemannienne, le tenseur de courbure de Riemann-Christoffel[1],[2] est la façon la plus courante d'exprimer la courbure des variétés riemanniennes, ou plus généralement d'une variété disposant d'une connexion affine, avec ou sans torsion.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Riemann_curvature_motivation_shpere.gif/220px-Riemann_curvature_motivation_shpere.gif)
Soit deux géodésiques d'un espace courbe, parallèles au voisinage d'un point P. Le parallélisme ne sera pas nécessairement conservé en d'autres points de l'espace. Le tenseur de courbure de Riemann exprime l'évolution de ces géodésiques l'une par rapport à l'autre. Plus l'espace est courbe, plus les géodésiques vont se rapprocher ou s'éloigner rapidement.
Définition
modifierLe tenseur de courbure est formulé à l'aide d'une connexion de Levi-Civita (ou plus généralement d'une connexion affine) (ou dérivée covariante) par la formule suivante :
Pour tous champs de vecteurs u, v et w de la variété :
|
où est le crochet de Lie.
Ici est une transformation linéaire selon chacun de ses arguments sur l'espace tangent de la variété.
N.B. : certains auteurs définissent le tenseur de courbure comme du signe opposé.
Si et sont des champs de vecteurs de coordonnées, alors et on peut ré-écrire la formule :
Le tenseur de courbure mesure alors la non-commutativité de la dérivée covariante.
La transformation linéaire est aussi appelée la transformation de courbure ou endomorphisme.
En termes de coordonnées, cette équation peut être ré-écrite en utilisant les symboles de Christoffel :
Symétries et identités
modifierLe tenseur de courbure de Riemann a les symétries suivantes :
La dernière identité a été découverte par Ricci, mais est souvent nommé première identité de Bianchi ou identité algébrique de Bianchi.
Ces trois identités forment une liste complète des symétries de tenseur de courbure, c'est-à-dire qu'étant donné un tenseur respectant les identités ci-dessus, on peut trouver une variété de Riemann disposant d'un tel tenseur de courbure en un point. De simples calculs mathématiques montrent qu'un tel tenseur a composants indépendants où est la dimension de la surface[3],[4],[5].
Il est possible de déduire une autre identité utile à partir de ces trois équations :
L'identité de Bianchi (souvent appelée seconde identité de Bianchi ou identité différentielle de Bianchi) implique les dérivées covariantes :
Étant donné un référentiel donné en un point d'une variété, les identités précédentes peuvent être écrites en termes des composants du tenseur de Riemann comme :
- également écrit (première identité de Bianchi)
- également écrit (seconde identité de Bianchi)
où la notation entre crochets représente ici l'antisymétrisation du tenseur selon les indices, et le point-virgule représente la dérivée covariante.
Tenseur de Riemann d'une surface
modifierGauss a trouvé une formule de la courbure K d'une surface par un calcul assez compliqué mais plus simple en coordonnées de Riemann où elle est égale au tenseur de Riemann dit « entièrement covariant » qui s'écrit alors, en deux dimensions[6],[7]
où et sont les coefficients de la métrique en coordonnées de Riemann, c'est-à-dire des coordonnées cartésiennes locales.
En coordonnées de Gauss, la formule étant compliquée, nous nous limiterons à une métrique diagonale[8] :
où, pour simplifier l'écriture, la virgule indique une dérivation partielle. et sont les coefficients de la métrique en coordonnées de Gauss u et v (le « mollusque » d'Einstein). Les u et v peuvent être remplacés par n'importe quel système de coordonnées, la formule restera valable, par exemple en coordonnées sphériques où u et v sont remplacés par et . Il peut être pratique d'utiliser la forme en déterminant de la formule précédente, dite de Brioschi :
Pour une métrique non diagonale, la courbure de Gauss est :
où , et . Les indices correspondent à des dérivations partielles, sans la virgule utilisée précédemment.
Tenseur de Riemann d'un espace à quatre dimensions
modifierUne surface est plongée dans notre espace à trois dimensions. Lorsqu'on ajoute deux dimensions, on obtient une hypersurface à quatre dimensions (u,v,w,t) plongée dans un espace à cinq dimensions. Pour obtenir le tenseur de Riemann de cet espace, on rajoute deux termes supplémentaires dans l'expression du tenseur de Riemann d'une surface qui devient[8]
Le tenseur de Riemann d'une métrique diagonale a six composantes non nulles , , ,pour l'espace à trois dimensions plus , , , pour l'extension à quatre dimensions.
Notes et références
modifier- Pierre Pernès, Éléments de calcul tensoriel : introduction à la mécanique des milieux déformables, Antony et Strasbourg, Centre national du machinisme agricole du génie rural, des eaux et des forêts et École nationale du génie de l'eau et de l'environnement de Strasbourg, , 1re éd., 1 vol., IX-441, 19,2 × 27,2 cm (ISBN 2-85362-612-1, EAN 9782853626125, OCLC 492810935, BNF 39064581, SUDOC 077663926, présentation en ligne, lire en ligne), p. 234 (lire en ligne) [consulté le 15 décembre 2017].
- André Rougé, Introduction à la relativité, Palaiseau, École polytechnique, (réimpr. et ), 2e éd. (1re éd. 2000), 1 vol., 182, 17 × 24 cm (ISBN 2-7302-0940-9 et 978-2-7302-0940-3, EAN 9782730209403, OCLC 423892061, BNF 38954812, SUDOC 070449449, présentation en ligne, lire en ligne), chap. 8 (« Relativité et gravitation »), [sect.] 8.2 (« Relativité et géométrie de l'espace-temps »), [§ ] 8.2.1 (« Le programme de la relativité générale »), p. 128 (lire en ligne) [consulté le 15 décembre 2017].
- Hakim 2001, chap. 6, p. 145.
- Hobson, Efstathiou et Lasenby 2009, chap. 7, § 7.10, p. 158.
- Penrose 2007, chap. 14, § 14.7, p. 312.
- En toute rigueur, on devrait utiliser ici u et v au lieu de x et y car il s'agit de coordonnées de Gauss.
- (en) W. Pauli, Theory of Relativity, Dover, 1981.
- (en) Kevin Brown, Reflections on Relativity, § 5.2 : « Riemannian geometry ».
Voir aussi
modifierBibliographie
modifier- [Hakim 2001] R. Hakim, Gravitation relativiste, Les Ulis et Paris, EDP Scie. et CNRS, coll. « Savoirs actuels / astrophys. », , 2e éd. (1re éd. ), 1 vol., XV-310, ill., 15,8 × 23 cm (ISBN 2-86883-370-5 et 2-271-05198-3, EAN 9782868833709, OCLC 50236119, BNF 39918721, SUDOC 060559675, présentation en ligne, lire en ligne).
- [Hobson, Efstathiou et Lasenby 2009] M. P. Hobson, G. P. Efstathiou et A. N. Lasenby (trad. de l'angl. amér. par L. Villain, rév. par R. Taillet), Relativité générale [« General relativity : an introduction for physicists »], Bruxelles, De Boeck Univ., hors coll., sér. phys., , 1re éd., 1 vol., XX-554, ill., 21,6 × 27,5 cm (ISBN 978-2-8041-0126-8, EAN 9782804101268, OCLC 690272413, BNF 42142174, SUDOC 140535705, présentation en ligne, lire en ligne).
- [Penrose 2007] R. Penrose (trad. de l'angl. par C. Laroche), À la découverte des lois de l'Univers : la prodigieuse histoire des mathématiques et de la physique [« The road to reality : a complete guide to the laws of the Universe »], Paris, O. Jacob, coll. « Scie. », , 1re éd., 1 vol., XXII-1061, ill. et fig., 15,5 × 24 cm (ISBN 978-2-7381-1840-0, EAN 9782738118400, OCLC 209307388, BNF 41131526, SUDOC 118177311, présentation en ligne, lire en ligne).