K

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 3

Ejercicio 21: Acci«on EinŊtein-Hilbert CarloŊ Amador Aroca

δS
R
Derivada funcional: δS = δφ(x)
δφ(x) dn x.

δS[φ] 1    ∂  
= lim S φ + λδ y − S[φ] = S φ + λδ y
δφ(y) λ→0 λ ∂λ λ=0

donde δ x = δ(x0 − x) eŊ la delta de Dirac.

Acci«on EinŊtein-Hilbert:

Z  
4 0 1
S[gαβ ] = d x (R − Λ) + LM −g

con R = g µν Rµν eŊcalar de curvatura de Ricci; g = det(gµν ) determinante de la m«etrica; LM lagrangiano de
materia; κ, Λ conŊtanteŊ.

δS [gαβ ]
EcuacioneŊ de movimiento: δgαβ (x)
= 0 , x ∈ R4 .

Para nueŊtra acci«on queda:


 √
δLM √
  
δ −g
Z Z
δS[gαβ ] 4 0 1 δR 4 0 1
= dx + −g + d x (R − Λ) + LM = 0. (1)
δgαβ (x) 2κ δgαβ δgαβ 2κ δgαβ

DerivadaŊ funcionaleŊ importanteŊ para obtener ecuacioneŊ de movimiento:


( )

δgµν gµν
= 0, {µ, ν} 6
= {α, β}
i) = ∂λ ∂
λ=0  = δµα δνβ δ(x0 − x)
δgαβ (x) ∂λ
g αβ + λδ x λ=0
= δ x , {µ, ν} = {α, β}

δgµν
=⇒ = δµα δνβ δ x . (2)
δgαβ (x)

δg µν
ii) ; g µν gνλ = δλµ .
δgαβ (x)

δδλµ δg µν gνλ δg µν δgνλ δδλµ


= = gνλ + g µν = 0 ⇐⇒ =0
δgαβ δgαβ δgαβ δgαβ δgαβ
δg µν δgνλ δg µν σ δgνλ λσ
=⇒ gνλ = −g µν =⇒ δν = −g µν g
δgαβ δgαβ δgαβ δgαβ

δg µν
=⇒ = −g µα g βν δ x . (3)
δgαβ (x)

1

δ −g −1 δg
iii) = √ .
δgαβ (x) 2 −g δgαβ

M«etodo de Jacobi:
δg = δ det(gµν ) = det(gµν + δgµν ) − det(gµν ) = det(gµγ ) det(δνγ + g γη δgην )
− det(gµν ).
Teniendo en cuenta que det(I + δM ) = 1 + Tr(M ) + O(δM 2 )
=⇒ δg = g g µν δgµν .

Aplicando ahora la derivada funcional tenemoŊ :


δg δgµν
= g g µν + O(λ) = g g αβ δ x
δgαβ δgαβ

δ −g 1√
=⇒ = −g g αβ δ x . (4)
δgαβ (x) 2

Cambio de coordenadaŊ a m«etrica diagonal:


√ √
δ −g δ −g
LaŊ variacioneŊ Ŋon Ŋolo posibleŊ en la diagonal: δgαβ
→ δgαα
.
El determinante eŊ el producto de la diagonal: g = 3α=0 gαα .
Q

δg Y gαα Y
= δx gββ = δ x gββ = g g αα δ x .
δgαα β6=α
g αα
β6=α

Y al tratarŊe de una ecuaci«on tenŊorial eŊ v«alida en toda baŊe por lo que:



δ −g 1√
=⇒ = −g g αβ δ x . 
δgαβ (x) 2

δR
iv) ; R = g µν Rµν
δgαβ (x)
σ
δRµν δRµσν δ
∂σ Γσνµ − ∂ν Γσσµ + Γσσλ Γλµν + Γσνλ Γλσµ .

= =
δgαβ δgαβ δgαβ

Al conmutar laŊ derivadaŊ parcialeŊ y Ŋer δΓσµν un tenŊor de rango (2, 1) Ŋe puede expreŊar la derivada
parcial de la variaci«on de la conexi«on en t«erminoŊ de derivadaŊ covarianteŊ y conexioneŊ m«etricaŊ, lo que
Ŋimplifica el reŊultado. AŊ«“:

δRµν δΓσνµ δΓσσµ


= ∇σ − ∇ν . (5)
δgαβ δgαβ δgαβ

2
De eŊta manera obtenemoŊ la derivada funcional del eŊcalar de curvatura:

δg µν δΓσνµ δΓσσµ
 
δR µν δRµν µα βν µν
= Rµν + g = −g g Rµν δ x + g ∇σ − ∇ν
δgαβ (x) δgαβ δgαβ δgαβ δgαβ

y ya que la derivada covariante de la m«etrica eŊ nula por el principio de equivalencia llegamoŊ a:

δΓσνµ δΓσσµ
 
δR αβ µν µσ
=⇒ = −R δ x + ∇σ g −g = −Rαβ δ x
δgαβ (x) δgαβ δgαβ

δR
=⇒ = −Rαβ δ x . (6)
δgαβ (x)

EcuacioneŊ de campo:

Con eŊtaŊ derivadaŊ eŊtamoŊ liŊtoŊ para obtener la din«amica del campo:

δLM √ 1√
Z   Z  
δS[gαβ ] 1 αβ
4 0 4 0 1
= d x − R δx + −g + d x (R − Λ) + LM −g g αβ δ x
δgαβ (x) 2κ δgαβ (x) 2κ 2
1 αβ √ 1√ δLM √
  Z
1
=− R −g + (R − Λ) + LM −g g + d4 x0
αβ
−g = 0
2κ 2κ 2 δgαβ (x)

√ 1 √ 1 √ √ √
 Z 
αβ αβ αβ αβ 4 0 δLM
=⇒ R −g − R −g g + Λ −g g = κ LM −g g + 2 d x −g .
2 2 δgαβ (x)


√2 d4 x0 −g δgδL
R
Definiendo el tenŊor de energ«“a-momento como T αβ ≡ LM g αβ + −g
M
αβ (x)
, aŊ«“ como
redefiniendo la conŊtante 21 Λ → Λ noŊ queda finalmente:

1
Rαβ − R g αβ + Λ g αβ = κ T αβ (7)
2

También podría gustarte