エネルギー・運動量テンソル

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: "エネルギー・運動量テンソル" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年5月)

エネルギー・運動量テンソル（エネルギー・うんどうりょうテンソル、英語: energy-momentum tensor、stress-energy tensor、stress-energy-momentum tensor）とは、質量密度、エネルギー密度、エネルギー流、運動量密度、応力を相対性理論に基づいた形式で記述した物理量である。

一般相対性理論において、アインシュタイン方程式の物質分布を示す項として登場し、重力を生じさせる源（source term）としての意味を持つ。

エネルギー・運動量テンソルは二階のテンソルであり、記号は ${\displaystyle T^{\mu \nu ))$ で表されることが多い。アインシュタイン方程式で、真空の状況を考える時は、 $T^{\mu \nu }=0$ とすればよい。

エネルギー・運動量テンソル ${\displaystyle T^{\mu \nu ))$ は、定義から明らかに対称テンソルである。

以下では、時間座標を0成分とし、空間座標を1,2,3成分とする添字を使い、計量(metric)の符号は $(-,+,+,+)\,$ とする。また、アインシュタインの縮約記法を用いる。

共変微分をもちいて

T^{\mu \nu }{}_{;\mu }=0\,

とすれば、これは、共変形式のエネルギー・運動量保存則を表すことになる。

定義

エネルギー・運動量テンソルはネーターの定理により、時空の並進対称性のネーター・カレントとして定められる。

作用積分が

S[\phi ]=\int \mathrm {d} ^{4}x\,{\mathcal {L))(\phi ,\partial \phi )

と書かれているとき、時空の微小な併進 x → x' = x + ξ に対して、φ'(x')=φ(x) が成り立つ。

従って、場は

\delta _{\xi }\phi (x)=\phi '(x)-\phi (x)=\phi (x-\xi )-\phi (x)=-\xi ^{\mu }\partial _{\mu }\phi (x)

と変換される。

エネルギー・運動量テンソルは

$T_{\mu }^{\nu }:={\frac {\partial {\mathcal {L))}{\partial (\partial _{\nu }\phi )))\partial _{\mu }\phi -\delta _{\mu }^{\nu }{\mathcal {L))$

となる。この定義には任意性があり、 ${\displaystyle h_{\mu }{}^{\nu \rho }=-h_{\mu }{}^{\rho \nu ))$ により

${\displaystyle T_{\mu }^{\nu }\to T_{\mu }^{\nu }+\partial _{\rho }h_{\mu }{}^{\nu \rho ))$

で置き換えることができる。この任意性によりエネルギー・運動量テンソルは対称テンソルとして定義される。

別の定義の仕方として、時空の計量による汎関数微分として定義する方法がある。この方法では対称であることが定義により明確となる。一般相対性理論においては時空の計量 $g$ が力学変数となる。作用汎関数が

$S[g,\phi ]={\frac {1}{c))\int {\mathcal {L))(g,\phi ,\partial \phi ){\sqrt {-g))\,\mathrm {d} ^{4}x$

で書かれているとき、計量 $g$ による作用の汎関数微分は

${\begin{aligned}{\frac {\delta S[g,\phi ]}{\delta g_{\mu \nu }(x)))&={\frac {1}{c)){\frac {\partial {\mathcal {L))}{\partial g_{\mu \nu ))}{\sqrt {-g))+{\frac {1}{c)){\mathcal {L))\,{\frac {\partial {\sqrt {-g))}{\partial g_{\mu \nu ))}\\&={\frac {1}{c))\left[{\frac {\partial {\mathcal {L))}{\partial g_{\mu \nu ))}+{\frac {1}{2))g^{\mu \nu }{\mathcal {L))\right]{\sqrt {-g))\\&={\frac {1}{2c))T^{\mu \nu }(x){\sqrt {-g))\\\end{aligned))$

である。従って、エネルギー運動量テンソルは

$T^{\mu \nu }(x)=2{\frac {\partial {\mathcal {L))}{\partial g_{\mu \nu ))}+g^{\mu \nu }{\mathcal {L))$

で与えられる。

各成分の意味

時間-時間成分、即ち $T^{00}\,$ は、エネルギー密度である。
時間-空間成分、即ち $T^{0j}\,$ は、 $x^{j}\,$ の方向へのエネルギーの流れである。
空間-時間成分、即ち $T^{i0}\,$ は、i-成分の運動量密度である。
空間成分、即ち $T^{ij}\,$ は、 $x^{j}\,$ の方向への i-成分の運動量の流れである。

相対論的粒子

相対論的粒子の系を記述する作用汎関数は

${\begin{aligned}S[g,X,\gamma ]&={\frac {1}{2))\int \sum _{i}\left({\frac {1}((\gamma _{i))^{2))}g_{\mu \nu }(X_{i})\,{\dot {X))_{i}^{\mu }{\dot {X))_{i}^{\nu }-m_{i}^{2}c^{2}\right)\gamma _{i}(\lambda )\,\mathrm {d} \lambda \\&={\frac {1}{2))\int \mathrm {d} ^{4}x\int \sum _{i}\left({\frac {1}((\gamma _{i))^{2))}g_{\mu \nu }(x)\,{\dot {X))_{i}^{\mu }{\dot {X))_{i}^{\nu }-m_{i}^{2}c^{2}\right)\delta ^{4}(X_{i}-x)\,\gamma _{i}(\lambda )\,\mathrm {d} \lambda \\\end{aligned))$

であり、ここからエネルギー・運動量テンソルが

$T^{\mu \nu }(x)={\frac {2c}{\sqrt {-g))}{\frac {\delta S[g,X,\gamma ]}{\delta g_{\mu \nu }(x)))={\frac {c}{\sqrt {-g))}\int \sum _{i}{\frac {1}{\gamma _{i))}{\dot {X))_{i}^{\mu }{\dot {X))_{i}^{\nu }\delta ^{4}(X_{i}-x)\,\mathrm {d} \lambda$

と導かれる。補助変数 $γ i$ から導かれる拘束条件 $\gamma ={\frac {1}{m_{i))}{\frac {\mathrm {d} \tau _{i)){\mathrm {d} \lambda ))$ を用いれば

${\displaystyle T^{\mu \nu }(x)={\frac {1}{\sqrt {-g))}\sum _{i}m_{i}c\int u_{i}^{\mu }u_{i}^{\nu }\delta ^{4}(X_{i}-x)\,\mathrm {d} \tau _{i))$

となる。

完全流体近似のエネルギー・運動量テンソル

物質の平均自由行程が全体のスケールに比べて短いとき、流体近似が可能である。さらに、流体の静止系に乗ったときに、圧力が等方的であり（応力テンソルが対角的であり）、粘性のない場合、完全流体として考えることができる。このとき、一般に次のように仮定することができる。

T^{\mu \nu }=(\rho +p)u^{\mu }u^{\nu }+g^{\mu \nu }p\,

$\rho ,p\,$ は、静止系で観測したときの質量エネルギー密度と圧力であり、 $g^{\mu \nu },u^{\mu }\,$ は、計量テンソル・流体の4元速度ベクトル（共動座標系ならば、 $u^{\mu }=(1,0,0,0)\,$ 、流体速度を $v^{i}\,$ と観測する場合には $u^{\mu }=(1,v^{i})\,$ ）である。この仮定は、宇宙モデルを論じるときに通常用いられる。