Tenseur de Ricci

Un article de Wikipédia, l'encyclopédie libre.
Cet article ou cette section ne cite pas suffisamment ses sources. (date inconnue)
Son contenu est donc sujet à caution. Wikipédia doit être fondée sur des sources fiables et indépendantes. Améliorez cet article en liant les informations à des sources, au moyen de notes de bas de page (voir les recommandations).
Articles scientifiques
sur les tenseurs
Mathématiques

Tenseur
Produit tensoriel
... de deux modules
... de deux applications linéaires
Algèbre tensorielle
Champ tensoriel
Espace tensoriel

Physique

Convention d'Einstein
Tenseur métrique
Tenseur énergie-impulsion
Tenseur de Riemann
... de Ricci
... d'Einstein
... de Weyl
... de Levi-Civita
... de Killing
... de Killing-Yano
... de Bel-Robinson
... de Cotton-York
Tenseur électromagnétique
Tenseur des contraintes
Tenseur des déformations

Articles connexes

Modules
Algèbre extérieure

Dans le cadre de la théorie de la Relativité générale, le champ de gravitation est interprété comme une déformation de l'espace-temps. Cette déformation est exprimée à l'aide du tenseur de Ricci, dont le nom a été attribué d'après son inventeur, Gregorio Ricci-Curbastro.

Le tenseur de Ricci est un tenseur 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.

Sommaire

[modifier] Construction mathématique

Le tenseur de Ricci s'obtient à partir du tenseur de courbure de Riemann R, 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[1].

Les symboles de Christoffel s'expriment par :

{\Gamma^\gamma}_{\alpha\beta} = \frac{1}{2} g^{\gamma\delta}(\partial_{\alpha}g_{\beta\delta} + \partial_{\beta}g_{\alpha\delta} - \partial_{\delta}g_{\alpha\beta})

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 :

\frac{\mathrm d^2x^\alpha}{\mathrm ds^2}+{\Gamma^\alpha}_{\beta\gamma} \frac{\mathrm dx^\beta}{\mathrm ds}\frac{\mathrm dx^\gamma}{\mathrm ds}=0

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

{R^\delta}_{\alpha\beta\gamma} = \partial_{\alpha} {\Gamma^\delta}_{\beta\gamma} - \partial_{\beta} {\Gamma^\delta}_{\alpha\gamma} + {\Gamma^\delta}_{\alpha\varepsilon} {\Gamma^\varepsilon}_{\beta\gamma} - {\Gamma^\delta}_{\beta\varepsilon} {\Gamma^\varepsilon}_{\alpha\gamma}

Nous obtenons enfin le tenseur de Ricci par réduction :

R_{\alpha\beta}={R^\gamma}_{\alpha\beta\gamma}

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

R = gαβRαβ

La divergence du tenseur d'Einstein R^{\alpha\beta} - \tfrac{1}{2} g^{\alpha\beta} R est nulle :

\left[R^{\alpha\beta} - \frac{1}{2} g^{\alpha\beta} R\right]_{\alpha\beta} = 0

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.

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

[modifier] Tenseur de Riemann

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

R_{xyxy}= -\frac12 \left(\frac{\partial^2 g_{xx}}{\partial y^2} + \frac{\partial^2 g_{yy}}{\partial x^2}\right)

où gxx et gyy sont les coefficients de la métrique en coordonnées de Riemann, c'est-à-dire des coordonnées cartésiennes locales. Pour prendre un exemple, on ne peut utiliser le même système de coordonnées en Australie qu'en France sinon les Australiens auraient la tête en bas (pour nous)! Le tenseur de Ricci est formé, en fonction de la métrique inverse gij indices supérieurs) et du tenseur de Riemann dit « entièrement covariant », (indices inférieurs), Rijkl, par la relation générale

[modifier] Tenseur de Ricci

Rik = gmmRmink = ΣgmmRmink
gxx = 1 / gxx et gyy = 1 / gyy 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 :
\left. R_{xx} = g^{xx} R_{xxxx} +g^{yy} R_{xyxy}\right.
\left. R_{yy} = g^{xx} R_{xyxy} +g^{yy} R_{yyyy}\right.

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

Rabcd = − Rbacd = − Rabdc

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

Rxxxx = − Rxxxx = − Rxxxx = 0

On a donc

Rxxxx = Ryyyy = 0

Il reste

R_{xx} = g^{yy}R_{xyxy} = \frac{1}{g_{yy}}R_{xyxy}
R_{yy} =g^{xx}R_{xyxy} = \frac{1}{g_{xx}}R_{xyxy}

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.

[modifier] Notes et références

  1. ↑ Cette convention stipule que les indices répétés seront des indices de sommation : \textstyle x_{\mu}x^{\mu}=\sum_{\mu=0}^{3}x_{\mu}x^{\mu}
  2. ↑ Bernard Schaeffer, Relativités et quanta clarifiés, Publibook, 2007
  3. ↑ 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)

[modifier] Voir aussi

Riemannian geometry