Tenseur de Ricci — Wikipédia

Dans le cadre de la relativité générale[1], le champ de gravitation est interprété comme une déformation de l'espace-temps. Celle-ci est exprimée à l'aide du tenseur de Ricci.

Le tenseur de Ricci est un champ tensoriel d'ordre 2, obtenu comme la trace du tenseur de courbure complet. On peut le considérer comme le laplacien du tenseur métrique riemannien dans le cas des variétés riemaniennes.

Le tenseur de Ricci occupe une place importante notamment dans l'équation d'Einstein, équation principale de la relativité générale. C'est aussi un objet fondamental en géométrie différentielle.

Histoire[modifier | modifier le code]

L'éponyme du tenseur de Ricci[2],[3],[4],[5],[6] est le mathématicien italien Gregorio Ricci-Curbastro (-)[7] qui l'a introduit dans des articles qu'il a coécrits avec son étudiant Tullio Levi-Civita (-)[6]. Le tenseur apparaît, pour la première fois, dans un article de Ricci-Curbastro paru en [8],[9].

Le tenseur est aussi connu comme le tenseur de courbure de Ricci[10],[11] car sa trace est la courbure (scalaire) de Ricci[6],[12].

Présentation[modifier | modifier le code]

Définition, notation et expression[modifier | modifier le code]

Le tenseur de Ricci est défini comme une contraction du tenseur de courbure de Riemann[6] :

.

Propriétés[modifier | modifier le code]

Le tenseur de Ricci est un tenseur de rang 2[6].

Il est symétrique[6],[13],[5] :

.

Application en relativité générale[modifier | modifier le code]

En relativité générale, le vide est une région de l'espace-temps où le tenseur énergie-impulsion s'annule[14] :

.

Dans le vide[14] et en l'absence de constante cosmologique[15], l'équation d'Einstein devient :

,

soit[16],[15] :

.

Un espace dont le tenseur de Ricci s'annule est parfois dit Ricci-plat[17].

Construction mathématique[modifier | modifier le code]

Le tenseur de Ricci s'obtient à partir du tenseur de courbure de Riemann , qui exprime la courbure de la variété (dans le cas de la relativité générale, de l'espace-temps), à l'aide d'une réduction d'indices du tenseur.

Il peut s'exprimer notamment à partir des symboles de Christoffel, qui représentent l'évolution des vecteurs de base d'un point à l'autre de l'espace-temps, due à la courbure de ce dernier. Ces coefficients dépendent alors directement de la métrique de l'espace (de la variété), qui est un outil mathématique permettant de définir les distances au sein de l'espace.

D'un point de vue mathématique, on parvient aux résultats suivant, en utilisant la convention de sommation d'Einstein[18].

Les symboles de Christoffel s'expriment par :

Ces coefficients sont notamment utilisés pour écrire l'équation d'une géodésique, c'est-à-dire le chemin le plus court entre deux points de l'espace courbe – qui n'est pas toujours une ligne droite :

Le tenseur de courbure s'exprime à partir de ces mêmes coefficients de Christoffel:

Nous obtenons enfin le tenseur de Ricci par réduction (attention à l'ordre des indices) :

Par la suite, la courbure scalaire se déduit à l'aide d'une nouvelle réduction :

La divergence du tenseur d'Einstein est nulle :

Cette équation fondamentale se démontre en mettant en jeu la nullité de la dérivée covariante du tenseur métrique.

C'est en identifiant le tenseur d'Einstein et le tenseur d'énergie-impulsion que l'on obtient l'équation d'Einstein qui fonde la relativité générale.

Tenseurs d'une surface en coordonnées de Riemann[modifier | modifier le code]

Tenseur de Riemann[modifier | modifier le code]

Gauss 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 qui s'écrit alors, en deux dimensions[19].

et sont les coefficients de la métrique en coordonnées de Riemann, c'est-à-dire des coordonnées cartésiennes locales. Le tenseur de Ricci est formé, en fonction de la métrique inverse indices supérieurs) et du tenseur de Riemann dit « entièrement covariant », (indices inférieurs), , par la relation générale

Tenseur de Ricci[modifier | modifier le code]

et sont les éléments de la métrique inverse de la métrique directe, également diagonale. La convention d’Einstein consiste à supprimer le signe Σ, avec quelques restrictions. En deux dimensions ces relations s’explicitent en :

L'identité de Bianchi du tenseur de Riemann s'écrit :

Elle devient, lorsque a = b = c = d = x (ou y) :

On a donc

En deux dimensions, il reste

Le tenseur de Ricci d’une surface de métrique diagonale a donc deux composantes différentes bien que celui de Riemann n’en ait qu’une seule, non nulle et au signe près.

Notes et références[modifier | modifier le code]

  1. (fr) « La théorie de la relativité », sur www.astrosurf.com (consulté le ).
  2. Barrau et Grain 2016, chap. 5, § 5.3, p. 84.
  3. Heyvaerts 2012, chap. 8, sect. 8.7, § 8.7.3, p. 173.
  4. Hobson, Efstathiou et Lasenby 2009, chap. 7, § 7.11, p. 159-160.
  5. a et b Penrose 2007, chap. 19, § 19.6, p. 446.
  6. a b c d e et f Taillet, Villain et Febvre 2018, s.v.tenseur de Ricci, p. 722, col. 2.
  7. Auffray 1999, p. 227.
  8. Fré 2018, chap. 7, sect. 7.3, § 7.3.4, p. 180.
  9. Fré 2018, réf., p. 318, s.v.151.
  10. Luminet 2000, p. 41, col. 1.
  11. Luminet 2011, p. 157.
  12. Taillet, Villain et Febvre 2018, s.v.courbure de Ricci, p. 173, col. 2.
  13. Hobson, Efstathiou et Lasenby 2009, chap. 7, § 7.1, p. 159.
  14. a et b Hobson, Efstathiou et Lasenby 2009, chap. 8, § 8.5, p. 181.
  15. a et b Taillet, Villain et Febvre 2018, s.v.Einstein (équations d'), p. 250, col. 1.
  16. Hobson, Efstathiou et Lasenby 2009, chap. 8, § 8.5, p. 181 (8.16).
  17. Penrose 2007, chap. 19, § 19.6, p. 448.
  18. Cette convention stipule que les indices répétés seront des indices de sommation : .
  19. 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 (voir Tenseur de Riemann).

Voir aussi[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

Dictionnaires et encyclopédies[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]