Tenseur de Riemann

Restez toujours informé : suivez-nous sur Google (☆)

Introduction

Articles scientifiques
sur les tenseurs

Généralités

Tenseur (mathématiques)
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

Définition

Le tenseur de courbure est formulé à l'aide d'une connexion de Levi-Civita (ou plus généralement d'une connexion affine) $\nabla$ (ou dérivée covariante) par la formule suivante :

Pour tout vecteur u, v et w de la variété :

où $[,]$ est le crochet de Lie.

Ici R(u,v) est une transformation linéaire selon chacun de ses arguments sur l'espace tangent de la variété.

NB : certains auteurs définissent le tenseur de courbure comme du signe opposé.

Si $u = \frac{\partial}{\partial x _{i}}$ et $v = \frac{\partial}{\partial x _{j}}$ sont des champs de vecteur de coordonnées, alors [u,v] = 0 et on peut ré-écrire la formule :

R (u, v) w = \nabla_{u} \nabla_{v} w - \nabla_{v} \nabla_{u} w

Le tenseur de courbure mesure alors la non-commutativité de la dérivée covariante.

La transformation linéaire $w \mapsto R (u, v) w$ 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

Le tenseur de courbure de Riemann a les symétries suivantes :

R (u, v) = - R (v, u)

⟨ R (u, v) w, z ⟩ = - ⟨ R (u, v) z, w ⟩

R (u, v) w + R (v, w) u + R (w, u) v = 0

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 n(n − 1) / 12 composants indépendants.

Il est possible de déduire une autre identité utile à partir de ces trois équations :

⟨ R (u, v) w, z ⟩ = ⟨ R (w, z) u, v ⟩

L'identité de Bianchi (souvent appelée seconde identité de Bianchi ou identité différentielle de Bianchi) implique les dérivées covariantes :

\nabla_{u} R (v, w) + \nabla_{v} R (w, u) + \nabla_{w} R (u, v) = 0

É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 :

R_{ab c d} = - R_{ba c d} = - R_{ab d c}

R_{ab c d} = R_{c d ab}

$6 R_{a [b c d]} = 0$ (première identité de Bianchi)

$6 R_{ab [c d; e]} = 0$ (seconde identité de Bianchi)

où les crochets correspondent au crochet de Lie, qualifiant les symétrisations selon les indices, et le point-virgule représente la dérivée covariante.

Tenseur de Riemann d'une surface

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 dit « entièrement covariant » R_xyx**y qui s'écrit alors, en deux dimensions.

R_{x y x y} = - \frac{1}{2} (\frac{\partial ^{2} g _{xx}}{\partial y ^{2}} + \frac{\partial ^{2} g _{y y}}{\partial x ^{2}}) = K

où g_x**x et g_y**y 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)!

En coordonnées de Gauss, la formule étant compliquée, nous nous limiterons à une métrique diagonale :

R_{uv uv} = - \frac{g _{uu, v v} + g _{v v, uu}}{2} + \frac{g _{uu, v}^{2}}{4 g _{uu}} + \frac{g _{v v, u}^{2}}{4 g _{v v}} + \frac{g _{uu, u}^{2} g _{v v, u}}{4 g _{uu}} + \frac{g _{v v, v}^{2} g _{uu, v}}{4 g _{v v}}

où, pour simplifier l'écriture, la virgule indique une dérivation partielle. g_u**u et g_v**v 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 :

R_{uvuv} = \begin{vmatrix} -\frac{g_{uu,vv}+g_{vv,uu}}{2} +\frac{g_{uu,v}^2}{4g_{uu}}+\frac{g_{vv,u}^2}{4g_{vv}} & \frac{g_{uu,u}}{2g_{uu}} & -\frac{g_{uu,v}}{2g_{vv}} \-\frac{1}{2}g_{vv,u} & 1 & \frac{1}{2}g_{vv,v} & & 1 \end{vmatrix}

Pour une métrique non diagonale, la courbure de Gauss est :

K = \frac{1} {(EG-F^2)^2}\left[ \begin{vmatrix} -\frac{1}{2}E_{vv} + F_{uv} - \frac{1}{2}G_{uu} & \frac{1}{2}E_u & F_u-\frac{1}{2}E_v\F_v-\frac{1}{2}G_u & E & F\frac{1}{2}G_v & F & G \end{vmatrix}-\begin{vmatrix} 0 & \frac{1}{2}E_v & \frac{1}{2}G_u\frac{1}{2}E_v & E & F\frac{1}{2}G_u & F & G \end{vmatrix}\right]

où E = g_u**u, G = g_v**v et F = g_u**v. Les indices correspondent à des dérivations partielles, sans la virgule utilisée précédemment.

Tenseur de Riemann d'un espace à quatre dimensions

Une 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

R_{uv uv} = - \frac{g _{uu, v v} + g _{v v, uu}}{2} + \frac{g _{uu, v}^{2}}{4 g _{uu}} + \frac{g _{v v, u}^{2}}{4 g _{v v}} + \frac{g _{uu, u} g _{v v, u}}{4 g _{uu}} + \frac{g _{v v, v} g _{uu, v}}{4 g _{v v}} - \frac{g _{uu, w} g _{v v, w}}{4 g _{w w}} - \frac{g _{uu, t} g _{v v, t}}{4 g _{tt}}

Le tenseur de Riemann d'une métrique diagonale a six composantes non nulles R_uvu**v, R_uwu**w, R_vwv**w,pour l'espace à trois dimensions plus R_utu**t, R_vtv**t, R_wtw**t, pour l'extension à quatre dimensions.