Movatterモバイル変換


[0]ホーム

URL:


Aller au contenu
Wikipédial'encyclopédie libre
Rechercher

Tenseur de Riemann

Un article de Wikipédia, l'encyclopédie libre.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article concernant la physique doit êtrerecyclé().

Une réorganisation et une clarification du contenu paraissent nécessaires.Améliorez-le,discutez des points à améliorer ou précisez les sections à recycler en utilisant{{section à recycler}}.
Motivation de la courbure de Riemann pour les variétés sphériques.

Engéométrie riemannienne, letenseur de courbure de Riemann-Christoffel[1],[2] est la façon la plus courante d'exprimer lacourbure desvariétés riemanniennes, ou plus généralement d'unevariété disposant d'uneconnexion affine, avec ou sanstorsion.

Soit deuxgéodésiques d'un espacecourbe,parallèles au voisinage d'un pointP. Le parallélisme ne sera pas nécessairement conservé en d'autres points de l'espace. Letenseur 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'éloignerrapidement.

Définition

[modifier |modifier le code]

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

Pour tous champs de vecteursu,v etw de la variété :

R(u,v)w=uvwvuw[u,v]w.{\displaystyle R(u,v)w=\nabla _{u}\nabla _{v}w-\nabla _{v}\nabla _{u}w-\nabla _{[u,v]}w.}

[ , ]{\displaystyle [\ ,\ ]} est lecrochet de Lie.

IciR(u,v){\displaystyle R(u,v)} 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é.

Siu=xi{\displaystyle u={\partial \over \partial x_{i}}} etv=xj{\displaystyle v={\partial \over \partial x_{j}}} sont deschamps de vecteurs de coordonnées, alors[u,v]=0{\displaystyle [u,v]=0} et on peut ré-écrire la formule :

R(u,v)w=uvwvuw{\displaystyle R(u,v)w=\nabla _{u}\nabla _{v}w-\nabla _{v}\nabla _{u}w}

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

La transformation linéairewR(u,v)w{\displaystyle w\mapsto R(u,v)w} est aussi appelée latransformation de courbure ouendomorphisme.

En termes de coordonnées, cette équation peut être ré-écrite en utilisant lessymboles de Christoffel :

Rσμνκ=ΓσμκxνΓσμνxκ+ΓσνλΓλμκΓσκλΓλμν{\displaystyle {R^{\sigma }}_{\mu \nu \kappa }={\partial {\Gamma ^{\sigma }}_{\mu \kappa } \over \partial x^{\nu }}-{\partial {\Gamma ^{\sigma }}_{\mu \nu } \over \partial x^{\kappa }}+{\Gamma ^{\sigma }}_{\nu \lambda }{\Gamma ^{\lambda }}_{\mu \kappa }-{\Gamma ^{\sigma }}_{\kappa \lambda }{\Gamma ^{\lambda }}_{\mu \nu }}

Symétries et identités

[modifier |modifier le code]

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

R(u,v)=R(v,u){\displaystyle R(u,v)=-R(v,u)_{}^{}}
R(u,v)w,z=R(u,v)z,w{\displaystyle \langle R(u,v)w,z\rangle =-\langle R(u,v)z,w\rangle _{}^{}}
R(u,v)w+R(v,w)u+R(w,u)v=0{\displaystyle R(u,v)w+R(v,w)u+R(w,u)v=0_{}^{}}

La dernière identité a été découverte parRicci, mais est souvent nommépremière identité de Bianchi ouidentité 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 calculsmathématiques montrent qu'un tel tenseur an2(n21)/12{\displaystyle n^{2}(n^{2}-1)/12} composants indépendants oùn{\displaystyle n} est la dimension de la surface[3],[4],[5].

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{\displaystyle \langle R(u,v)w,z\rangle =\langle R(w,z)u,v\rangle _{}^{}}

L'identité de Bianchi (souvent appeléeseconde identité de Bianchi ouidentité différentielle de Bianchi) implique les dérivées covariantes :

uR(v,w)+vR(w,u)+wR(u,v)=0{\displaystyle \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 :

Rabcd=Rbacd=Rabdc{\displaystyle R_{abcd}^{}=-R_{bacd}=-R_{abdc}}
Rabcd=Rcdab{\displaystyle R_{abcd}^{}=R_{cdab}}
Rabcd+Racdb+Radbc=0{\displaystyle R_{abcd}+R_{acdb}+R_{adbc}=0} également écritRa[bcd]=0{\displaystyle R_{a[bcd]}^{}=0} (première identité de Bianchi)
Rabcd;e+Rabde;c+Rabec;d=0{\displaystyle R_{abcd;e}+R_{abde;c}+R_{abec;d}=0} également écritRab[cd;e]=0{\displaystyle R_{ab[cd;e]}^{}=0} (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 ladérivée covariante.

Tenseur de Riemann d'une surface

[modifier |modifier le code]

Gauss a trouvé une formule de la courbureK 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 »Rxyxy{\displaystyle R_{xyxy}} qui s'écrit alors, en deux dimensions[6],[7]

Rxyxy=12(2gxxy2+2gyyx2)=K{\displaystyle R_{xyxy}=-{\frac {1}{2}}\left({\frac {\partial ^{2}g_{xx}}{\partial y^{2}}}+{\frac {\partial ^{2}g_{yy}}{\partial x^{2}}}\right)=K}

gxx{\displaystyle g_{xx}} etgyy{\displaystyle g_{yy}} sont les coefficients de la métrique en coordonnées de Riemann, c'est-à-dire descoordonnées cartésiennes locales.

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

Ruvuv=guu,vv+gvv,uu2+guu,v24guu+gvv,u24gvv+guu,ugvv,u4guu+gvv,vguu,v4gvv{\displaystyle R_{uvuv}=-{\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}g_{vv,u}}{4g_{uu}}}+{\frac {g_{vv,v}g_{uu,v}}{4g_{vv}}}}

où, pour simplifier l'écriture, la virgule indique unedérivation partielle.guu{\displaystyle g_{uu}} etgvv{\displaystyle g_{vv}} sont les coefficients de la métrique en coordonnées de Gaussu etv (le « mollusque » d'Einstein). Les u et v peuvent être remplacés par n'importe quelsystème de coordonnées, la formule restera valable, par exemple encoordonnées sphériques où u et v sont remplacés parθ{\displaystyle \theta } etϕ{\displaystyle \phi }. Il peut être pratique d'utiliser la forme en déterminant de la formule précédente, dite deBrioschi :

Ruvuv=|guu,vv+gvv,uu2+guu,v24guu+gvv,u24gvvguu,u2guuguu,v2gvv12gvv,u112gvv,v1|{\displaystyle 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, lacourbure de Gauss est :

K=1(EGF2)2[|12Evv+Fuv12Guu12EuFu12EvFv12GuEF12GvFG||012Ev12Gu12EvEF12GuFG|]{\displaystyle 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]}

E=guu{\displaystyle E=g_{uu}},G=gvv{\displaystyle G=g_{vv}} etF=guv{\displaystyle F=g_{uv}}. Les indices correspondent à des dérivations partielles, sans la virgule utilisée précédemment.

Tenseur de Riemann d'un espace à quatre dimensions

[modifier |modifier le code]

Une surface est plongée dans notre espace à trois dimensions. Lorsqu'on ajoute deux dimensions, on obtient unehypersurface à 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]

Ruvuv=guu,vv+gvv,uu2+guu,v24guu+gvv,u24gvv+guu,ugvv,u4guu+gvv,vguu,v4gvvguu,wgvv,w4gwwguu,tgvv,t4gtt{\displaystyle R_{uvuv}=-{\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}g_{vv,u}}{4g_{uu}}}+{\frac {g_{vv,v}g_{uu,v}}{4g_{vv}}}-{\frac {g_{uu,w}g_{vv,w}}{4g_{ww}}}-{\frac {g_{uu,t}g_{vv,t}}{4g_{tt}}}}

Le tenseur de Riemann d'une métrique diagonale a six composantes non nullesRuvuv{\displaystyle R_{uvuv}},Ruwuw{\displaystyle R_{uwuw}},Rvwvw{\displaystyle R_{vwvw}},pour l'espace à trois dimensions plusRutut{\displaystyle R_{utut}},Rvtvt{\displaystyle R_{vtvt}},Rwtwt{\displaystyle R_{wtwt}}, pour l'extension à quatre dimensions.

Notes et références

[modifier |modifier le code]
  1. PierrePernè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é le15 décembre 2017].
  2. 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 et978-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é le15 décembre 2017].
  3. Hakim 2001,chap. 6,p. 145.
  4. Hobson, Efstathiou et Lasenby 2009,chap. 7,§ 7.10,p. 158.
  5. Penrose 2007,chap. 14,§ 14.7,p. 312.
  6. En toute rigueur, on devrait utiliser iciu etv au lieu dex ety car il s'agit de coordonnées de Gauss.
  7. (en)W. Pauli,Theory of Relativity, Dover, 1981.
  8. a etb(en) Kevin Brown,Reflections on Relativity,§ 5.2 : « Riemannian geometry ».

Voir aussi

[modifier |modifier le code]

Sur les autres projets Wikimedia :

Bibliographie

[modifier |modifier le code]
v ·m
Mathématiques
Physique
v ·m
Outils mathématiques
Théorèmes mathématiques
Fonction zêta
Autres
v ·m
Géométrie différentielle descourbes
Géométrie différentielle des surfaces
Géométrie riemannienne
Connexion
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Tenseur_de_Riemann&oldid=210845134 ».
Catégories :
Catégories cachées :

[8]ページ先頭

©2009-2025 Movatter.jp