メトリックに関するリッチテンソルの変化。
一般相対論 と テンソル計算 では 、 パラティーニの 恒等式 は
δ
R
σ
ν
=
∇
ρ
δ
Γ
ν
σ
ρ
−
∇
ν
δ
Γ
ρ
σ
ρ
、
{\displaystyle \delta R_{\sigma \nu }=\nabla _{\rho }\delta \Gamma _{\nu \sigma }^{\rho }-\nabla _{\nu }\delta \Gamma _{\rho \sigma }^{\rho },}
ここで は クリストッフェル記号 の変化を表し 、 共変微分 を表す 。 [1]
δ
Γ
ν
σ
ρ
{\displaystyle \delta \Gamma _{\nu \sigma }^{\rho }}
∇
ρ
{\displaystyle \nabla _{\rho }}
リー微分 についても「同じ」恒等式が成り立つ 。実際、
ら
ξ
R
σ
ν
{\displaystyle {\mathcal {L}}_{\xi }R_{\sigma \nu }}
ら
ξ
R
σ
ν
=
∇
ρ
(
ら
ξ
Γ
ν
σ
ρ
)
−
∇
ν
(
ら
ξ
Γ
ρ
σ
ρ
)
、
{\displaystyle {\mathcal {L}}_{\xi }R_{\sigma \nu }=\nabla _{\rho }({\mathcal {L}}_{\xi }\Gamma _{\nu \シグマ }^{\rho })-\nabla _{\nu }({\mathcal {L}}_{\xi }\Gamma _{\rho \sigma }^{\rho }),}
ここで、 は 時空 多様体 上の任意の ベクトル場 を表します 。
ξ
=
ξ
ρ
∂
ρ
{\displaystyle \xi =\xi ^{\rho }\partial _{\rho }}
ま
{\displaystyle M}
証拠
リーマン 曲率テンソルは レヴィ・チヴィタ接続 によって 次のよう
に定義される。
Γ
μ
ν
λ
{\displaystyle \Gamma _{\mu \nu }^{\lambda }}
R
ρ
σ
μ
ν
=
∂
μ
Γ
ν
σ
ρ
−
∂
ν
Γ
μ
σ
ρ
+
Γ
μ
λ
ρ
Γ
ν
σ
λ
−
Γ
ν
λ
ρ
Γ
μ
σ
λ
{\displaystyle {R^{\rho }}_{\sigma \mu \nu }=\partial _{\mu }\Gamma _{\nu \sigma }^{\rho }-\partial _{\nu } \Gamma _{\mu \sigma }^{\rho }+\Gamma _{\mu \lambda }^{\rho }\Gamma _{\nu \sigma }^{\lambda }-\Gamma _{\nu \lambda }^{\rho }\Gamma _{\mu \sigma }^{\lambda }}
。
そのバリエーションは
δ
R
ρ
σ
μ
ν
=
∂
μ
δ
Γ
ν
σ
ρ
−
∂
ν
δ
Γ
μ
σ
ρ
+
δ
Γ
μ
λ
ρ
Γ
ν
σ
λ
+
Γ
μ
λ
ρ
δ
Γ
ν
σ
λ
−
δ
Γ
ν
λ
ρ
Γ
μ
σ
λ
−
Γ
ν
λ
ρ
δ
Γ
μ
σ
λ
{\displaystyle \delta {R^{\rho }}_{\sigma \mu \nu }=\partial _{\mu }\delta \Gamma _{\nu \sigma }^{\rho }-\partial _ {\nu }\delta \Gamma _{\mu \sigma }^{\rho }+\delta \Gamma _{\mu \lambda }^{\rho }\Gamma _{\nu \sigma }^{\lambda }+\Gamma _{\mu \lambda }^{\rho }\delta \Gamma _{\nu \sigma }^{ \lambda }-\delta \Gamma _{\nu \lambda }^{\rho }\Gamma _{\mu \sigma }^{\lambda }-\Gamma _{\nu \lambda }^{\rho }\delta \Gamma _{\mu \sigma }^{\lambda }}
。
接続は テンソルではないが、 2つの接続の 差 は なので 、その 共変微分を取ることができる。
Γ
ν
σ
ρ
{\displaystyle \Gamma _{\nu \sigma }^{\rho }}
δ
Γ
ν
σ
ρ
{\displaystyle \delta \Gamma _{\nu \sigma }^{\rho }}
∇
μ
δ
Γ
ν
σ
ρ
=
∂
μ
δ
Γ
ν
σ
ρ
+
Γ
μ
λ
ρ
δ
Γ
ν
σ
λ
−
Γ
μ
ν
λ
δ
Γ
λ
σ
ρ
−
Γ
μ
σ
λ
δ
Γ
ν
λ
ρ
{\displaystyle \nabla _{\mu }\delta \Gamma _{\nu \sigma }^{\rho }=\partial _{\mu }\delta \Gamma _{\nu \sigma }^{\rho } +\Gamma _{\mu \lambda }^{\rho }\delta \Gamma _{\nu \sigma }^{\lambda }-\Gamma _{\mu \nu }^{\lambda }\delta \Gamma _{\lambda \sigma }^{\rho }-\Gamma _{\mu \sigma }^{\ラムダ }\デルタ \ガンマ _{\nu \ラムダ }^{\rho }}
。
この方程式を について解き 、その結果を に代入すると 、 のような項はすべて 打ち消され、 のみが残ります。
∂
μ
δ
Γ
ν
σ
ρ
{\displaystyle \partial _{\mu }\delta \Gamma _{\nu \sigma }^{\rho }}
δ
R
ρ
σ
μ
ν
{\displaystyle \delta {R^{\rho }}_{\sigma \mu \nu }}
Γ
δ
Γ
{\displaystyle \Gamma \delta \Gamma }
δ
R
ρ
σ
μ
ν
=
∇
μ
δ
Γ
ν
σ
ρ
−
∇
ν
δ
Γ
μ
σ
ρ
{\displaystyle \delta {R^{\rho }}_{\sigma \mu \nu }=\nabla _{\mu }\delta \Gamma _{\nu \sigma }^{\rho }-\nabla _{\nu }\delta \Gamma _{\mu \sigma }^{\rho }}
。
最後に、リッチ曲率テンソル の変化は 、2つの指数を縮約することによって得られ、恒等式が証明される。
δ
R
σ
ν
=
δ
R
ρ
σ
ρ
ν
=
∇
ρ
δ
Γ
ν
σ
ρ
−
∇
ν
δ
Γ
ρ
σ
ρ
{\displaystyle \delta R_{\sigma \nu }=\delta {R^{\rho }}_{\sigma \rho \nu }=\nabla _{\rho }\delta \Gamma _{\nu \sigma }^{\rho }-\nabla _{\nu }\delta \Gamma _{\rho \sigma }^{\rho }}
。
参照
注記
^ Christoffel、EB (1869)、「Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades」、 Journal für die reine und angewandte Mathematik 、B. 70: 46–70
参考文献
Palatini、Attilio (1919)、「Deduzione invariantiva delle equazioni gravitazionali dal principio di Hamilton」[ハミルトンの原理からの重力方程式の不変演繹]、 Rendiconti del Circolo Matematico di Palermo 、1 (イタリア語)、 43 : 203–212 、 土肥 :10.1007/BF03014670、 S2CID 121043319 [ PG Bergmann および V. De Sabbashi (編) Cosmology and Gravitationの R. Hojman および C. Mukku による英語翻訳 、Plenum Press、ニューヨーク (1980)]
ツァンパリス、マイケル (1978)、「パラティーニ変分法について」、 Journal of Mathematical Physics 、 19 (3): 555–557、 Bibcode :1978JMP....19..555T、 doi :10.1063/1.523699