Derivazione dell'equazione di campo
modifica
In una teoria della gravitazione tipo f(R), le equazioni di campo sono dedotte in funzione di una metrica quale variabile indipendente, tenendo costante (non trattando) la connessione.
L'azione segue le principali variazioni di un'azione di Einstein-Hilbert , con alcune importanti differenze.
Il determinante della variazione è al solito:
δ
−
g
=
−
1
2
−
g
g
μ
ν
δ
g
μ
ν
{\displaystyle \delta {\sqrt {-g}}=-{\frac {1}{2}}{\sqrt {-g}}g_{\mu \nu }\delta g^{\mu \nu }}
.
Lo scalare di Ricci è definito come:
R
=
g
μ
ν
R
μ
ν
.
{\displaystyle R=g^{\mu \nu }R_{\mu \nu }.}
Perciò, la sua variazione rispetto alla metrica inversa :
R
=
g
μ
ν
R
μ
ν
.
{\displaystyle R=g^{\mu \nu }R_{\mu \nu }.}
, è data da:
δ
R
=
R
μ
ν
δ
g
μ
ν
+
g
μ
ν
δ
R
μ
ν
=
R
μ
ν
δ
g
μ
ν
+
g
μ
ν
(
∇
ρ
δ
Γ
ν
μ
ρ
−
∇
ν
δ
Γ
ρ
μ
ρ
)
{\displaystyle {\begin{aligned}\delta R&=R_{\mu \nu }\delta g^{\mu \nu }+g^{\mu \nu }\delta R_{\mu \nu }\\&=R_{\mu \nu }\delta g^{\mu \nu }+g^{\mu \nu }(\nabla _{\rho }\delta \Gamma _{\nu \mu }^{\rho }-\nabla _{\nu }\delta \Gamma _{\rho \mu }^{\rho })\end{aligned}}}
Dato che
δ
Γ
μ
ν
λ
{\displaystyle \delta \Gamma _{\mu \nu }^{\lambda }}
è la differenza fra le due connessioni, questa deve essere esprimibile nella seguente forma tensoriale:
δ
Γ
μ
ν
λ
=
1
2
g
λ
a
(
∇
μ
δ
g
a
ν
+
∇
ν
δ
g
a
μ
−
∇
a
δ
g
μ
ν
)
{\displaystyle \delta \Gamma _{\mu \nu }^{\lambda }={\frac {1}{2}}g^{\lambda a}\left(\nabla _{\mu }\delta g_{a\nu }+\nabla _{\nu }\delta g_{a\mu }-\nabla _{a}\delta g_{\mu \nu }\right)}
Sostituendo nell'equazione precedente, si ha:
δ
R
=
R
μ
ν
δ
g
μ
ν
+
g
μ
ν
◻
δ
g
μ
ν
−
∇
μ
∇
ν
δ
g
μ
ν
{\displaystyle \delta R=R_{\mu \nu }\delta g^{\mu \nu }+g_{\mu \nu }\Box \delta g^{\mu \nu }-\nabla _{\mu }\nabla _{\nu }\delta g^{\mu \nu }}
,
dove
∇
μ
{\displaystyle \nabla _{\mu }}
è la derivata covariante , e
◻
=
g
μ
ν
∇
μ
∇
ν
{\displaystyle \Box =g^{\mu \nu }\nabla _{\mu }\nabla _{\nu }}
è l'operatore di d'Alembert .
Perciò, la variazione nell'azione diventa:
δ
S
[
g
]
=
∫
1
2
κ
(
δ
f
(
R
)
−
g
+
f
(
R
)
δ
−
g
)
d
4
x
=
∫
1
2
κ
(
F
(
R
)
δ
R
−
g
−
1
2
−
g
g
μ
ν
δ
g
μ
ν
f
(
R
)
)
d
4
x
=
∫
1
2
κ
−
g
(
F
(
R
)
(
R
μ
ν
δ
g
μ
ν
+
g
μ
ν
◻
δ
g
μ
ν
−
∇
μ
∇
ν
δ
g
μ
ν
)
−
1
2
g
μ
ν
δ
g
μ
ν
f
(
R
)
)
d
4
x
{\displaystyle {\begin{aligned}\delta S[g]&=\int {1 \over 2\kappa }\left(\delta f(R){\sqrt {-g}}+f(R)\delta {\sqrt {-g}}\right)\,\mathrm {d} ^{4}x\\&=\int {1 \over 2\kappa }\left(F(R)\delta R{\sqrt {-g}}-{\frac {1}{2}}{\sqrt {-g}}g_{\mu \nu }\delta g^{\mu \nu }f(R)\right)\,\mathrm {d} ^{4}x\\&=\int {1 \over 2\kappa }{\sqrt {-g}}\left(F(R)(R_{\mu \nu }\delta g^{\mu \nu }+g_{\mu \nu }\Box \delta g^{\mu \nu }-\nabla _{\mu }\nabla _{\nu }\delta g^{\mu \nu })-{\frac {1}{2}}g_{\mu \nu }\delta g^{\mu \nu }f(R)\right)\,\mathrm {d} ^{4}x\end{aligned}}}
,
dove
F
(
R
)
=
∂
f
(
R
)
∂
R
{\displaystyle F(R)={\frac {\partial f(R)}{\partial R}}}
.
Integrando per parti il secondo e terzo termine, otteniamo:
δ
S
[
g
]
=
∫
1
2
κ
−
g
δ
g
μ
ν
(
F
(
R
)
R
μ
ν
−
1
2
g
μ
ν
f
(
R
)
+
[
g
μ
ν
◻
−
∇
μ
∇
ν
]
F
(
R
)
)
d
4
x
{\displaystyle \delta S[g]=\int {1 \over 2\kappa }{\sqrt {-g}}\delta g^{\mu \nu }\left(F(R)R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }f(R)+[g_{\mu \nu }\Box -\nabla _{\mu }\nabla _{\nu }]F(R)\right)\,\mathrm {d} ^{4}x}
Imponendo che l'azione sia invariante rispetto alla metrica, vale a dire imponendo:
δ
S
[
g
]
=
0
{\displaystyle \delta S[g]=0}
,
si ottengono le equazioni di campo:
F
(
R
)
R
μ
ν
−
1
2
f
(
R
)
g
μ
ν
+
[
g
μ
ν
◻
−
∇
μ
∇
ν
]
F
(
R
)
=
κ
T
μ
ν
{\displaystyle F(R)R_{\mu \nu }-{\frac {1}{2}}f(R)g_{\mu \nu }+\left[g_{\mu \nu }\Box -\nabla _{\mu }\nabla _{\nu }\right]F(R)=\kappa T_{\mu \nu }}
,
dove
T
μ
ν
{\displaystyle T_{\mu \nu }}
è il tensore energia impulso definito come
T
μ
ν
=
−
2
−
g
δ
(
−
g
L
m
)
δ
g
μ
ν
{\displaystyle T_{\mu \nu }=-{\frac {2}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}L_{m})}{\delta g^{\mu \nu }}}}
con
L
m
{\displaystyle L_{m}}
lagrangiana della materia.