Tensor de Riemann
Na geometria Riemanniana , o tensor de curvatura Riemann-Christoffel é a forma mais comum de expressar a curvatura das variedades Riemannianas , ou mais geralmente de uma variedade com uma conexão afim , com ou sem torção .
Ou dois geodésica espaço curva , paralela à vizinhança de um ponto P . O paralelismo não será necessariamente preservado em outros pontos do espaço. O tensor de curvatura de Riemann expressa a evolução dessas geodésicas entre si. Quanto mais o espaço é curvo, mais as geodésicas se aproximam ou se afastam rapidamente .
Definição
O tensor de curvatura é formulado usando uma conexão Levi-Civita (ou mais geralmente uma conexão afim) (ou derivada covariante ) pela seguinte fórmula:
∇{\ displaystyle \ nabla}![\ nabla](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3d0e93b78c50237f9ea83d027e4ebbdaef354b2)
Para todos os campos de vetor u , v e w da variedade:
R(você,v)C=∇você∇vC-∇v∇vocêC-∇[você,v]C.{\ displaystyle R (u, v) w = \ nabla _ {u} \ nabla _ {v} w- \ nabla _ {v} \ nabla _ {u} w- \ nabla _ {[u, v]} w .}
|
onde está o gancho Lie .
[ , ]{\ displaystyle [\, \]}![[\, \]](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7717dae012f042ad66888075df87a1ebac4392a)
Aqui está uma transformação linear de acordo com cada um de seus argumentos no espaço tangente da variedade.
R(você,v){\ displaystyle R (u, v)}![R (u, v)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f92b74c2f50273d44963a0e9b6284eff317dc634)
Nota : alguns autores definem o tensor de curvatura como sendo o sinal oposto.
Se e forem campos de vetores de coordenadas, então e podemos reescrever a fórmula:
você=∂∂xeu{\ displaystyle u = {\ parcial \ sobre \ parcial x_ {i}}}
v=∂∂xj{\ displaystyle v = {\ parcial \ sobre \ parcial x_ {j}}}
[você,v]=0{\ displaystyle [u, v] = 0}![[u, v] = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b7002d017ea13b4965beaf5320f9d2d872b0579)
R(você,v)C=∇você∇vC-∇v∇vocêC{\ displaystyle R (u, v) w = \ nabla _ {u} \ nabla _ {v} w- \ nabla _ {v} \ nabla _ {u} w}![R (u, v) w = \ nabla _ {u} \ nabla _ {v} w- \ nabla _ {v} \ nabla _ {u} w](https://wikimedia.org/api/rest_v1/media/math/render/svg/e62561fbb0cba8fd68c89c87a9da5c624138bbe1)
O tensor de curvatura então mede a não comutatividade da derivada covariante .
A transformação linear também é chamada de transformação da curvatura ou endomorfismo .
C↦R(você,v)C{\ displaystyle w \ mapsto R (u, v) w}![w \ mapsto R (u, v) w](https://wikimedia.org/api/rest_v1/media/math/render/svg/331dfb8c11c6152c4673447a58d9c1193ce6a981)
Em termos de coordenadas, esta equação pode ser reescrita usando os símbolos de Christoffel :
Rσµνκ=∂Γσµκ∂xν-∂Γσµν∂xκ+ΓσνλΓλµκ-ΓσκλΓλµν{\ displaystyle {R ^ {\ sigma}} _ {\ mu \ nu \ kappa} = {\ parcial {\ Gamma ^ {\ sigma}} _ {\ mu \ kappa} \ over \ parcial 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}}
|
Simetrias e identidades
O tensor de curvatura de Riemann tem as seguintes simetrias:
R(você,v)=-R(v,você){\ displaystyle R (u, v) = - R (v, u) _ {} ^ {}}
⟨R(você,v)C,z⟩=-⟨R(você,v)z,C⟩{\ displaystyle \ langle R (u, v) w, z \ rangle = - \ langle R (u, v) z, w \ rangle _ {} ^ {}}
R(você,v)C+R(v,C)você+R(C,você)v=0{\ displaystyle R (u, v) w + R (v, w) u + R (w, u) v = 0 _ {} ^ {}}
A última identidade foi descoberta por Ricci , mas é freqüentemente referida como a primeira identidade de Bianchi ou identidade algébrica de Bianchi .
Essas três identidades formam uma lista completa de simetrias de tensor de curvatura, ou seja, dado um tensor respeitando as identidades acima, podemos encontrar uma variedade de Riemann com tal tensor de curvatura em um ponto. Cálculos matemáticos simples mostram que tal tensor tem componentes independentes onde está a dimensão da superfície.
não2(não2-1)/12{\ displaystyle n ^ {2} (n ^ {2} -1) / 12}
não{\ displaystyle n}![não](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
É possível deduzir outra identidade útil a partir dessas três equações:
⟨R(você,v)C,z⟩=⟨R(C,z)você,v⟩{\ displaystyle \ langle R (u, v) w, z \ rangle = \ langle R (w, z) u, v \ rangle _ {} ^ {}}![\ langle R (u, v) w, z \ rangle = \ langle R (w, z) u, v \ rangle _ {{}} ^ {{}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d9aa22be40292bb4664669357735def785e21c0)
A identidade Bianchi (frequentemente chamada de segunda identidade Bianchi ou identidade diferencial Bianchi ) envolve os derivados covariantes:
∇vocêR(v,C)+∇vR(C,você)+∇CR(você,v)=0{\ displaystyle \ nabla _ {u} R (v, w) + \ nabla _ {v} R (w, u) + \ nabla _ {w} R (u, v) = 0}![\ nabla _ {u} R (v, w) + \ nabla _ {v} R (w, u) + \ nabla _ {w} R (u, v) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6792f3802499dfcc9874a655502d24043388b6a)
Dado um determinado quadro de referência em um ponto de uma variedade, as identidades anteriores podem ser escritas em termos dos componentes do tensor de Riemann como:
Rnobvsd=-Rbnovsd=-Rnobdvs{\ displaystyle R_ {abcd} ^ {} = - R_ {bacd} = - R_ {abdc}}
Rnobvsd=Rvsdnob{\ displaystyle R_ {abcd} ^ {} = R_ {cdab}}
Rnobvsd+Rnovsdb+Rnodbvs=0{\ displaystyle R_ {abcd} + R_ {acdb} + R_ {adbc} = 0}![R _ {{abcd}} + R _ {{acdb}} + R _ {{adbc}} = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/abad8a806309ab40de1e0cd032c46fa1773111c8)
também escrito (primeira identidade de Bianchi)
Rno[bvsd]=0{\ displaystyle R_ {a [bcd]} ^ {} = 0}
Rnobvsd;e+Rnobde;vs+Rnobevs;d=0{\ displaystyle R_ {abcd; e} + R_ {abde; c} + R_ {abec; d} = 0}![R _ {{abcd; e}} + R _ {{abde; c}} + R _ {{abec; d}} = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/57efd22486d32b9672a80671a39f0eb319d86dd9)
também escrito (segunda identidade de Bianchi)
Rnob[vsd;e]=0{\ displaystyle R_ {ab [cd; e]} ^ {} = 0}![R _ {{ab [cd; e]}} ^ {{}} = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebca6b151f48b950986504a2964d79875fa164db)
onde a notação entre colchetes representa aqui a anti-simetrização do tensor de acordo com os índices, e o ponto e vírgula representa a derivada covariante .
Tensor de Riemann de uma superfície
Gauss encontrou uma fórmula para a curvatura K de uma superfície por meio de um cálculo bastante complicado, mas mais simples, nas coordenadas de Riemann, onde é igual ao tensor de Riemann, chamado de "covariante total", que é então escrito em duas dimensõesRxyxy{\ displaystyle R_ {xyxy}}![R _ {{xyxy}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3edeb3a4ec3afbefe994093ca07ff97454fbf40c)
Rxyxy=-12(∂2gxx∂y2+∂2gyy∂x2)=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}![R _ {{xyxy}} = - {\ frac 12} \ left ({\ frac {\ partial ^ {2} g _ {{xx}}} {\ partial y ^ {2}}} + {\ frac { \ parcial ^ {2} g _ {{yy}}} {\ parcial x ^ {2}}} \ direita) = K](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bf792969e6839902a83323a13dcb0528b230da0)
onde e são os coeficientes da métrica em coordenadas de Riemann, ou seja, coordenadas cartesianas locais.
gxx{\ displaystyle g_ {xx}}
gyy{\ displaystyle g_ {yy}}![g _ {{yy}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6347df01ae836ff516fc16c6e429b22e5864ddd9)
Nas coordenadas de Gauss, sendo a fórmula complicada, nos limitaremos a uma métrica diagonal:
Rvocêvvocêv=-gvocêvocê,vv+gvv,vocêvocê2+gvocêvocê,v24gvocêvocê+gvv,você24gvv+gvocêvocê,vocêgvv,você4gvocêvocê+gvv,vgvocêvocê,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}}}}![{\ 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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3891275dcbb6946adac6abc64283dafe0d481d6)
onde, para simplificar a escrita, a vírgula indica uma derivação parcial . e são os coeficientes da métrica em Gaussian coordena u e v ( "molusco" de Einstein). O uev podem ser substituídos por qualquer sistema de coordenadas, a fórmula permanecerá válida, por exemplo em coordenadas esféricas onde uev são substituídos por e . Pode ser prático usar a forma determinando a partir da fórmula anterior, chamada Brioschi :
gvocêvocê{\ displaystyle g_ {uu}}
gvv{\ displaystyle g_ {vv}}
θ{\ displaystyle \ theta}
ϕ{\ displaystyle \ phi}![\ phi](https://wikimedia.org/api/rest_v1/media/math/render/svg/72b1f30316670aee6270a28334bdf4f5072cdde4)
Rvocêvvocêv=|-gvocêvocê,vv+gvv,vocêvocê2+gvocêvocê,v24gvocêvocê+gvv,você24gvvgvocêvocê,você2gvocêvocê-gvocêvocê,v2gvv-12gvv,você112gvv,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}}}![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 \ fim {vmatrix}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf409c3bc47daa6f530b09ba28aacac76ed4c29a)
Para uma métrica não diagonal, a curvatura gaussiana é:
K=1(EG-F2)2[|-12Evv+Fvocêv-12Gvocêvocê12EvocêFvocê-12EvFv-12GvocêEF12GvFG|-|012Ev12Gvocê12EvEF12GvocêFG|]{\ 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]}![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]](https://wikimedia.org/api/rest_v1/media/math/render/svg/43d5cdc656e7ab3ccc2610e2549a75c11e4dbb4a)
onde , e . Os índices correspondem a derivações parciais, sem a vírgula usada anteriormente.
E=gvocêvocê{\ displaystyle E = g_ {uu}}
G=gvv{\ displaystyle G = g_ {vv}}
F=gvocêv{\ displaystyle F = g_ {uv}}![F = g _ {{uv}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10f66bb839d822fdb45789a36f0a5c47a2def8bf)
Tensor de Riemann de um espaço quadridimensional
Uma superfície está imersa em nosso espaço tridimensional. Quando adicionamos duas dimensões, obtemos uma hipersuperfície quadridimensional (u, v, w, t) imersa em um espaço de cinco dimensões. Para obter o tensor de Riemann deste espaço, adicionamos dois termos adicionais na expressão do tensor de Riemann de uma superfície que se torna
Rvocêvvocêv=-gvocêvocê,vv+gvv,vocêvocê2+gvocêvocê,v24gvocêvocê+gvv,você24gvv+gvocêvocê,vocêgvv,você4gvocêvocê+gvv,vgvocêvocê,v4gvv-gvocêvocê,Cgvv,C4gCC-gvocêvocê,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}}}}![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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/361aa975343f01108cff8d44634b0b94a4e0a1fa)
O tensor de Riemann diagonal métrica tem seis componentes diferentes de zero , , , para o espaço de três dimensões mais , , , para a extensão de quatro dimensões.
Rvocêvvocêv{\ displaystyle R_ {uvuv}}
RvocêCvocêC{\ displaystyle R_ {uwuw}}
RvCvC{\ displaystyle R_ {vwvw}}
Rvocêtvocêt{\ displaystyle R_ {utut}}
Rvtvt{\ displaystyle R_ {vtvt}}
RCtCt{\ displaystyle R_ {wtwt}}![R _ {{wtwt}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/169b1fc0780b442f420f88dbde7b185acf8b671e)
Notas e referências
-
Pierre Pernès , Elementos de cálculo de tensores: introdução à mecânica de meios deformáveis , Antony e Estrasburgo, Centro Nacional de Máquinas Agrícolas de Engenharia Rural, Água e Florestas e Escola Nacional de Engenharia Ambiental e de Água de Estrasburgo ,janeiro de 2003, 1 r ed. , 1 vol. , IX -441 p. , 19,2 × 27,2 cm ( ISBN 2-85362-612-1 , EAN 9782853626125 , OCLC 492810935 , BnF Aviso n O FRBNF39064581 , SUDOC 077663926 , apresentação on-line , ler on-line ) , p. 234( leia online ) [consultado em 15 de dezembro de 2017].
-
André Rougé , Introdução à relatividade , Palaiseau, École polytechnique ,2002( reimprimir. 2004 e 2008) 2 e ed. ( 1 st ed. 2000), 1 vol. , 182 p. , 17 × 24 cm ( ISBN 2-7302-0940-9 e 978-2-7302-0940-3 , EAN 9782730209403 , OCLC 423892061 , aviso BNF n O FRBNF38954812 , SUDOC 070449449 , apresentação on-line , ler on-line ) , cap. 8 (“Relatividade e gravitação”), [seção] 8.2 (“Relatividade e geometria do espaço-tempo”), [ § ] 8.2.1 (“O programa da relatividade geral”), p. 128( leia online ) [consultado em 15 de dezembro de 2017].
-
Hakim 2001 , cap. 6 , pág. 145
-
Hobson, Efstathiou e Lasenby 2009 , cap. 7 , § 7.10 , p. 158.
-
Penrose 2007 , cap. 14 , § 14.7 , p. 312.
-
Estritamente falando, devemos usar u e v aqui em vez de x e y , porque eles são coordenadas Gauss.
-
(em) W. Pauli , Teoria da Relatividade , Dover, 1981.
-
(in) Kevin Brown, Reflexões sobre a relatividade , § 5.2, " geometria riemanniana " .
Veja também
Bibliografia
-
[Hakim 2001] R. Hakim , Gravitação relativística , Les Ulis e Paris, EDP Scie. e CNRS , col. “Conhecimento atual / astrofísica. ",Julho 2001, 2 nd ed. ( 1 st ed. Janeiro de 1994), 1 vol. , XV -310 p. , doente. , 15,8 × 23 cm ( ISBN 2-86883-370-5 e 2-271-05198-3 , EAN 9782868833709 , OCLC 50236119 , aviso BnF n o FRBNF39918721 , SUDOC 060559675 , apresentação on-line , ler on-line ).
-
[Hobson, Efstathiou e Lasenby 2009] MP Hobson , GP Efstathiou e AN Lasenby ( trad. Da moda americana inglesa .. Por L. Villain , rev. Por R. Taillet ,) Relatividade geral [" Relatividade geral: uma introdução para físicos » ], Bruxelas, De Boeck Univ. , exceto col. , ser. phys. ,Dez. 2009, 1 r ed. , 1 vol. , XX -554 p. , doente. , 21,6 × 27,5 cm ( ISBN 978-2-8041-0126-8 , EAN 9782804101268 , OCLC 690272413 , aviso BNF n O FRBNF42142174 , SUDOC 140535705 , apresentação on-line , ler on-line ).
-
[Penrose 2007] R. Penrose ( traduzido do inglês por C. Laroche ), Discovering the Laws of the Universe: the Astonishing History of Mathematics and Physics [" O caminho para a realidade: um guia completo para as leis do Universo "], Paris, O. Jacob , col. “ Saw. ",agosto de 2007, 1 r ed. , 1 vol. , XXII -1061 pág. , doente. e fig. , 15,5 × 24 cm ( ISBN 978-2-7381-1840-0 , EAN 9782738118400 , OCLC 209307388 , aviso BNF n O FRBNF41131526 , SUDOC 118177311 , apresentação on-line , ler on-line ).
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">