Movatterモバイル変換


[0]ホーム

URL:


Ir al contenido
WikipediaLa enciclopedia libre
Buscar

Tensor de Einstein

De Wikipedia, la enciclopedia libre

Engeometría diferencial, eltensor de Einstein (llamado así porAlbert Einstein; también conocido como latraza invertida delTensor de Ricci) se utiliza para expresar lacurvatura de unavariedad pseudoriemanniana. Enrelatividad general, aparece en lasecuaciones de campo de Einstein para lagravitación que describen lacurvatura del espacio-tiempo de una manera que sea consistente con la conservación de la energía y el momento.

Definición

[editar]

El tensor de EinsteinG{\displaystyle \mathbf {G} } es untensor de orden 2, definido sobre unavariedad pseudoriemanniana. En notación indicial libre se define como

G=R12gR,{\displaystyle \mathbf {G} =\mathbf {R} -{\frac {1}{2}}\mathbf {g} R,}

dondeR{\displaystyle \mathbf {R} } es eltensor de Ricci,g{\displaystyle \mathbf {g} } es eltensor métrico yR{\displaystyle R} es lacurvatura escalar, que se calcula como la traza del tensor de RicciRμν{\displaystyle R_{\mu \nu }} porR=gμνRμν=Rμμ{\displaystyle R=g^{\mu \nu }R_{\mu \nu }=R_{\mu }^{\mu }}. En forma de componentes, la ecuación anterior se escribe como:

Gμν=Rμν12gμνR{\displaystyle G_{\mu \nu }=R_{\mu \nu }-{1 \over 2}g_{\mu \nu }R}

El tensor de Einstein es simétrico:

Gμν=Gνμ{\displaystyle G_{\mu \nu }=G_{\nu \mu }}

y, al igual que eltensor energía-impulso, y tiene cero divergencia:

μGμν=0{\displaystyle \nabla _{\mu }G^{\mu \nu }=0}

Forma explícita

[editar]

El tensor de Ricci depende solo del tensor métrico, por lo que el tensor de Einstein se puede definir directamente con solo el tensor métrico. Sin embargo, esta expresión es compleja y rara vez se cita en los libros de texto. La complejidad de esta expresión se puede mostrar usando la fórmula para el tensor de Ricci en términos desímbolos de Christoffel:

Gαβ=Rαβ12gαβR=Rαβ12gαβgγζRγζ=(δαγδβζ12gαβgγζ)Rγζ=(δαγδβζ12gαβgγζ)(Γϵγζ,ϵΓϵγϵ,ζ+ΓϵϵσΓσγζΓϵζσΓσϵγ),Gαβ=(gαγgβζ12gαβgγζ)(Γϵγζ,ϵΓϵγϵ,ζ+ΓϵϵσΓσγζΓϵζσΓσϵγ),{\displaystyle {\begin{aligned}G_{\alpha \beta }&=R_{\alpha \beta }-{\frac {1}{2}}g_{\alpha \beta }R\\&=R_{\alpha \beta }-{\frac {1}{2}}g_{\alpha \beta }g^{\gamma \zeta }R_{\gamma \zeta }\\&=\left(\delta _{\alpha }^{\gamma }\delta _{\beta }^{\zeta }-{\frac {1}{2}}g_{\alpha \beta }g^{\gamma \zeta }\right)R_{\gamma \zeta }\\&=\left(\delta _{\alpha }^{\gamma }\delta _{\beta }^{\zeta }-{\frac {1}{2}}g_{\alpha \beta }g^{\gamma \zeta }\right)\left(\Gamma ^{\epsilon }{}_{\gamma \zeta ,\epsilon }-\Gamma ^{\epsilon }{}_{\gamma \epsilon ,\zeta }+\Gamma ^{\epsilon }{}_{\epsilon \sigma }\Gamma ^{\sigma }{}_{\gamma \zeta }-\Gamma ^{\epsilon }{}_{\zeta \sigma }\Gamma ^{\sigma }{}_{\epsilon \gamma }\right),\\[2pt]G^{\alpha \beta }&=\left(g^{\alpha \gamma }g^{\beta \zeta }-{\frac {1}{2}}g^{\alpha \beta }g^{\gamma \zeta }\right)\left(\Gamma ^{\epsilon }{}_{\gamma \zeta ,\epsilon }-\Gamma ^{\epsilon }{}_{\gamma \epsilon ,\zeta }+\Gamma ^{\epsilon }{}_{\epsilon \sigma }\Gamma ^{\sigma }{}_{\gamma \zeta }-\Gamma ^{\epsilon }{}_{\zeta \sigma }\Gamma ^{\sigma }{}_{\epsilon \gamma }\right),\end{aligned}}}

dondeδβα{\displaystyle \delta _{\beta }^{\alpha }} es eltensor de Kronecker y el símbolo de ChristoffelΓαβγ{\displaystyle \Gamma ^{\alpha }{}_{\beta \gamma }} se define como

Γαβγ=12gαϵ(gβϵ,γ+gγϵ,βgβγ,ϵ).{\displaystyle \Gamma ^{\alpha }{}_{\beta \gamma }={\frac {1}{2}}g^{\alpha \epsilon }\left(g_{\beta \epsilon ,\gamma }+g_{\gamma \epsilon ,\beta }-g_{\beta \gamma ,\epsilon }\right).}

y los términos de la formaΓβγ,μα{\displaystyle \Gamma _{\beta \gamma ,\mu }^{\alpha }} representan su derivada parcial en la dirección μ, es decir:

Γαβγ,μ=μΓαβγ=xμΓαβγ{\displaystyle \Gamma ^{\alpha }{}_{\beta \gamma ,\mu }=\partial _{\mu }\Gamma ^{\alpha }{}_{\beta \gamma }={\frac {\partial }{\partial x^{\mu }}}\Gamma ^{\alpha }{}_{\beta \gamma }}

Antes de las cancelaciones, esta fórmula da como resultado2×(6+6+9+9)=60{\displaystyle 2\times (6+6+9+9)=60} términos individuales. Las cancelaciones reducen un poco este número.

En el caso especial de unsistema de referencia inercial localmente cerca de un punto, las primeras derivadas del tensor métrico desaparecen y la forma componente del tensor de Einstein se simplifica considerablemente:

Gαβ=gγμ[gγ[β,μ]α+gα[μ,β]γ12gαβgϵσ(gϵ[μ,σ]γ+gγ[σ,μ]ϵ)]=gγμ(δαϵδβσ12gϵσgαβ)(gϵ[μ,σ]γ+gγ[σ,μ]ϵ),{\displaystyle {\begin{aligned}G_{\alpha \beta }&=g^{\gamma \mu }\left[g_{\gamma [\beta ,\mu ]\alpha }+g_{\alpha [\mu ,\beta ]\gamma }-{\frac {1}{2}}g_{\alpha \beta }g^{\epsilon \sigma }\left(g_{\epsilon [\mu ,\sigma ]\gamma }+g_{\gamma [\sigma ,\mu ]\epsilon }\right)\right]\\&=g^{\gamma \mu }\left(\delta _{\alpha }^{\epsilon }\delta _{\beta }^{\sigma }-{\frac {1}{2}}g^{\epsilon \sigma }g_{\alpha \beta }\right)\left(g_{\epsilon [\mu ,\sigma ]\gamma }+g_{\gamma [\sigma ,\mu ]\epsilon }\right),\end{aligned}}}

donde los corchetes denotan convencionalmenteantisimetrización sobre índices entre corchetes, es decir,

gα[β,γ]ϵ=12(gαβ,γϵgαγ,βϵ).{\displaystyle g_{\alpha [\beta ,\gamma ]\epsilon }\,={\frac {1}{2}}\left(g_{\alpha \beta ,\gamma \epsilon }-g_{\alpha \gamma ,\beta \epsilon }\right).}

Traza

[editar]

Latraza del tensor de Einstein se puede calcular mediantecontrayendo la ecuación en ladefinición con eltensor métricogμν{\displaystyle g^{\mu \nu }}. Enn{\displaystyle n} dimensiones (de firma arbitraria):

gμνGμν=gμνRμν12gμνgμνRG=R12(nR)=2n2R{\displaystyle {\begin{aligned}g^{\mu \nu }G_{\mu \nu }&=g^{\mu \nu }R_{\mu \nu }-{1 \over 2}g^{\mu \nu }g_{\mu \nu }R\\G&=R-{1 \over 2}(nR)={{2-n} \over 2}R\end{aligned}}}

Por lo tanto, en el caso especial de las dimensionesn = 4,G =R{\displaystyle G\ =-R}. Es decir, la traza del tensor de Einstein es el negativo de la traza deltensor de Ricci. Por lo tanto, otro nombre para el tensor de Einstein es el "tensor de Ricci invertido en traza". Esten=4{\displaystyle n=4} caso es especialmente relevante en lateoría de la relatividad general.

Uso en relatividad general

[editar]

El tensor de Einstein permite que lasecuaciones de campo de Einstein se escriban en forma concisa:

Gμν+Λgμν=κTμν,{\displaystyle G_{\mu \nu }+\Lambda g_{\mu \nu }=\kappa T_{\mu \nu },}

dondeΛ{\displaystyle \Lambda } es laconstante cosmológica yκ{\displaystyle \kappa } es laconstante gravitacional de Einstein.

Puede verse que el tensor de Einstein depende de manerano lineal del tensor métrico, pero depende linealmente de la segundaderivada parcial de la métrica. Como tensor simétrico de segundo orden, el tensor de Einstein tiene 10 componentes independientes en un espacio-tiempo de 4 dimensiones. Se deduce que las ecuaciones de campo de Einstein son un conjunto de diez ecuaciones diferenciales cuasilineales en derivadas parciales de segundo orden para el tensor métrico.

Lasidentidades de Bianchi contraídas también se pueden expresar fácilmente con la ayuda del tensor de Einstein:

μGμν=0{\displaystyle \nabla _{\mu }G^{\mu \nu }=0}

Las identidades de Bianchi (contraídas) aseguran automáticamente la conservación covariante deltensor energía-impulso en espacios-tiempo curvos:

μTμν=0.{\displaystyle \nabla _{\mu }T^{\mu \nu }=0.}

El significado físico del tensor de Einstein se destaca por esta identidad. En términos del tensor energía-impuslo contraído con unvector de Killingξμ{\displaystyle \xi ^{\mu }}, lo cual da lugar a unaley de conservación ordinaria de la forma:

μ(gTμνξν)=0.{\displaystyle \partial _{\mu }\left({\sqrt {-g}}T^{\mu }{}_{\nu }\xi ^{\nu }\right)=0.}

Singularidad

[editar]
Véase también: Teorema de Lovelock

David Lovelock ha demostrado que, en unavariedad diferenciable de cuatro dimensiones, el tensor de Einstein es la única funcióntensorial y cuyadivergencia sea nulo, formado a partir del tensor métricogμν{\displaystyle g_{\mu \nu }} y a lo sumo sus derivadas parciales primera y segunda.[1][2][3][4][5]

Sin embargo, laecuación de campo de Einstein no es la única ecuación que satisface las tres condiciones:[6]

  1. Parecerse pero generalizarEcuación gravitacional de Newton-Poisson
  2. Aplicar a todos los sistemas de coordenadas, y
  3. Garantizar la conservación covariante local de la energía-momento para cualquier tensor métrico.

Se han propuesto muchas teorías alternativas, como lateoría de Einstein-Cartan, que también satisfacen las condiciones anteriores.

Véase también

[editar]

Referencias

[editar]
  1. Lovelock, D. (1971).«The Einstein Tensor and Its Generalizations».Journal of Mathematical Physics12 (3): 498-502.Bibcode:1971JMP....12..498L.doi:10.1063/1.1665613. Archivado desdeel original el 24 de febrero de 2013. 
  2. Lovelock, D. (1972).«The Four‐Dimensionality of Space and the Einstein Tensor».Journal of Mathematical Physics13 (6): 874-876.Bibcode:1972JMP....13..874L.doi:10.1063/1.1666069. 
  3. Lovelock, D. (1969). «The uniqueness of the Einstein field equations in a four-dimensional space».Archive for Rational Mechanics and Analysis33 (1): 54-70.Bibcode:1969ArRMA..33...54L.doi:10.1007/BF00248156. 
  4. Farhoudi, M. (2009). «Lovelock Tensor as Generalized Einstein Tensor».General Relativity and Gravitation41 (1): 17-29.Bibcode:2009GReGr..41..117F.arXiv:gr-qc/9510060.doi:10.1007/s10714-008-0658-9. 
  5. Rindler, Wolfgang (2001).Relativity: Special, General, and Cosmological.Oxford University Press. p. 299.ISBN 978-0-19-850836-6. 
  6. Schutz, Bernard (31 de mayo de 2009).A First Course in General Relativity (2 edición).Cambridge University Press. p. 185.ISBN 978-0-521-88705-2.(requiere registro). 

Bibliografía

[editar]
Control de autoridades
Obtenido de «https://es.wikipedia.org/w/index.php?title=Tensor_de_Einstein&oldid=158795297»
Categorías:
Categoría oculta:

[8]ページ先頭

©2009-2026 Movatter.jp