K
K
K
δS
R
Derivada funcional: δS = δφ(x)
δφ(x) dn x.
δS[φ] 1 ∂
= lim S φ + λδ y − S[φ] = S φ + λδ y
δφ(y) λ→0 λ ∂λ λ=0
Acci«on EinŊtein-Hilbert:
√
Z
4 0 1
S[gαβ ] = d x (R − Λ) + LM −g
2κ
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 .
δgµν
=⇒ = δµα δνβ δ x . (2)
δgαβ (x)
δg µν
ii) ; g µν gνλ = δλµ .
δgαβ (x)
δ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µν .
δg Y gαα Y
= δx gββ = δ x gββ = g g αα δ x .
δgαα β6=α
g αα
β6=α
δ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Ŋ«“:
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αβ
δΓσνµ δΓσσµ
δ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