相対性理論：エネルギー運動量テンソル

質点のエネルギーと運動量

ある点に質量の静止した質点が存在する時,相対論的にはそこに mc^2 のエネルギーが存在していると解釈できる.ところが,それに対して速度で運動する人がこれを見れば,同じ点に γmc^2 のエネルギーが存在していると解釈できることになる.ところがエネルギーだけではない.同時に運動量 γmv もそこにあると見るだろう.

ある人にはエネルギーにしか見えないものが,別の立場では運動量にもなるのである.

逆は言えるだろうか？自分にはある瞬間,ある点に運動量があるように見えるとする.それを自分に対して速度で運動する人から見たら,この点の運動量はどのように変化して見えるだろう？これは難しい.ただ運動量とだけ言われても,元々の質量が不明だし,質点の速度も分からないからである.さらに,質量も速度も異なる複数の質点がその時たまたま同じ位置にあって,その合計がだと言っているのかも知れない,と勘ぐる事もできる.

視点の違いによって運動量がどう変化して見えるかを求めるには,次の二つの約束がされていないと難しいということだ.一つ,速度の異なる複数の質点が同じ場所を占めているなどという計算を面倒にするような状況は起こっていないとすること.もう一つ,その質点の質量,すなわち静止時のエネルギーも知らされていること.

いや,二番目の条件は少々強過ぎる.代わりに,運動する質点の全エネルギー γmc^2 が知らされているだけでも構わない.運動量が γmv なので,二つの情報から質点の速度が割り出せるはずだからだ.

結局,ある人から見た運動量とエネルギーの情報さえあれば,その値を,別の人から見た値に変換できるということだ.冒頭では,静止エネルギーだけから別の視点でのエネルギーと運動量を両方導いたように話しているが,実は自分から見て運動量が 0 だという情報もこっそり使っていたということか.

変換式を求める

「エネルギーと運動量の値を一組にして扱えば,あらゆる慣性系での値が導き出せる」とは言ったが,その具体的な変換式の形がどうなるかを見てみないと気になるだろう.求めてみよう.

自分から見て,ある質点のエネルギーと運動量が (E,p_x, p_y, p_z ) だという情報があるとする. であるから,この物体の速度はであるということが導かれる.また,そのを使ってが計算できるから,この質点の静止質量は m=E/γc^2 であることが分かる.あとは,自分に対して速度で運動している人から見て,この質点の速度がどう見えるかさえ分かれば・・・.あー,こりゃ面倒くさい！！こんな回りくどい考え方じゃなくて,もっと簡単に計算できる方法はないものか.

それが別の方法で出来そうなのだ.

やってみよう.質量が動いている時,私にはそれが, に見えるわけだ.それは質点の 4 元速度を使えば, と表現できる.・・・ああ,そうか.ちゃんと初めからエネルギーと運動量の次元を合わせておいてやれば,次のような非常に整った形式で表せるではないか. 運動量とエネルギーの組で作ったベクトルが,4 元速度ベクトルとこのような単純な関係になっているなんて気付かなかった.前は E=mc^2 の公式にたどり着くのに夢中になっていたからな.話は予定していたよりも簡単に済みそうだ.

とにかく,自分に対して速度で運動している別の慣性系にいる人にだって同じことが言えるはずで,質点のエネルギーと運動量が同じ形式で表せると主張しているはずだ.ということは,その質点の 4 元速度がその慣性系でどう見えるかをローレンツ変換で求めてやりさえすれば,それにを掛けるだけで,その慣性系でのエネルギーや運動量を求められることになる.

4 元速度というのは反変ベクトルであって,ローレンツ変換と同じ形の変換に従う.（だからこれまでずっと添字を右上に書いてきたのだ.）ということは, ( E/c ,p_x, p_y, p_z ) というベクトルも反変ベクトルであって,ローレンツ変換と同じ変換則に従っているんだなぁ.

ちなみに,初めにチャレンジしようとした面倒な方法を使っても,長大な計算の末に同じ結果にたどり着くことは確認済みである.

密度分布へ拡張

質点の話だけではもったいない.もっと質量がふわーっと広がって存在する状況についても考えよう.質量が連続した密度分布を持つと考えるのである.質量の密度というのは,相対論的に言えば「エネルギー密度」である.また同時に,単位体積あたりに存在する運動量「運動量密度」という概念も導入する.

考える事は先ほどとほとんど変わらない.運動する「密度の連続体」のエネルギー密度は,私には γρc^2 に見えている.先ほどの議論のをに変えただけのことだ.さて,本当にそれだけでいいだろうか.ローレンツ短縮により,連続体は進行方向に対して縮んでいるように私には見える.体積が縮んだ分だけ単位体積あたりの密度は倍に増加しているように見えるはずなのだ.よってエネルギー密度は, γ^2 ρc^2 に見えているとするのが正解である.同様の理由で運動量密度も γ^2 ρv と表されることになる.これらを 4 元速度で表せば, となる.なんと,ほとんど同じ形式できれいにまとまってしまった.だけ違うのはエネルギーと運動量の次元の差だから仕方が無い.それでこれを美しくまとめて表現するために次のような行列を作ってやろう. これを「エネルギー運動量テンソル」と呼ぶ.4 元速度ベクトルは反変ベクトルであった.この行列は 2 つの 4 元速度の組み合わせで出来ているので,2 階の反変テンソルとして変換されるはずだ.4 元速度の概念に果たして使い道なんてあるのだろうか,なんて言っていたこともあったが,今や大活躍だ.

エネルギー密度と運動量密度とは, という形でこの行列に取り込まれていることになる.右下の 9 成分は,物理的には応力テンソルを表しているのだが,なぜそう言えるのかについては,連続体の力学を学んで各自で考えてもらいたい.ちょっと詳しめの力学の教科書を手に取れば載っているだろう.私はこの部分について詳しく語るだけのネタを持ち合わせていない.（そのあたりの話をこの次の記事として追加しました.必要な方はそちらを参考にして下さい.）

エネルギー保存則

このテンソルを使えばエネルギー保存則や運動量保存則がさっぱりした形式で表されてしまう.

例えば, $T^{01}$ を見よう. $T^{01}$ には運動量密度が入っているのだが,見方を変えれば, となり,方向の速度とエネルギー密度を掛けてで割ったものとして解釈できる.つまり,1 × 1 × v_x という大きさの箱の中に含まれるエネルギー量をで割ったものである.これは面積が 1 × 1 の平面を通って,1 秒間に方向へ通り過ぎてゆくエネルギー量（をで割ったもの）に等しい.エネルギーの流量を表していると言えるわけだ.

下手な誤解が生じないようにちゃんと微小量を使って議論しよう.もし $T^{01}$ に dy dz を掛ければ, dy dz の大きさの平面を通って 1 秒間に方向へ通り過ぎてゆくエネルギー量（をで割ったもの）に等しいということは納得してもらえるだろう. これをで微分してを掛ければ,微小距離だけ離れた 2 点で,エネルギーの流量にどれだけの差があるかが求められることになる. 流れの上流と下流の 2 点間に差があれば,エネルギーはその範囲内に徐々に蓄積されているか,あるいは元々その範囲内にあったものが余分に流出しているかのいずれかである.そうでなければエネルギーの総量は保存していないことになる.いや,方向や方向からの流入や流出も考えないといけないだろう.というわけで,次のようにすれば文句はあるまい. これが微小体積 dV= dx dy dz の領域から単位時間あたりに流出しているエネルギーの総量（をで割ったもの）である.もし値が負ならば微小領域への流入を表している.

ところで,微小領域のエネルギー（をで割ったもの）は 1/c ε dV と表せるが,テンソルの成分を使って表現すれば, $1/c T^{00} dV$ である.つまり,次の式が成り立つ事になる. 領域内のエネルギーが減少したときに流出量が増えるのだから,右辺に負がついているのである.式を整理すれば, となり,これをアインシュタインの記法で表せば, となる.もっと略して, と書いてもいい.

運動量保存則

同じようにすれば運動量保存則も表せそうだ.例えば $T^{11}$ を考える. であり,1 秒間あたりに面を通って方向へ流れる運動量の成分を表している.後はエネルギー保存と同様の議論をするだけであるから,少々すっ飛ばしても分かるだろう.これに dy dz を掛けて,で微分してを掛ければ流量の差が求められて,方向や方向についても考慮すれば,次のようになる. これが微小体積 dV= dx dy dz の領域から単位時間あたりに流出している運動量の成分の総量である.

ここで $π_x =T^{10}/c$ であることを使って, となる.後は整理すれば, である.成分や成分についても同じである.

どうしてこうなのか

エネルギー保存と運動量保存の 4 つの式は,一まとめに, と書き表せるというのが今回の重要な結論である.エネルギー保存と運動量保存が同じ土俵の上に並べられた事について,神秘を感じているだろうか.それとも単にたまたま形式的にまとめるのに成功しただけだと考えているだろうか.もう少し掘り下げて見ておこう.

上に出てきた $∂_ν T^{μν}$ という量は 1 階の反変テンソル,すなわち反変ベクトルである.次のように定義し直せば分かりやすいだろうか. このベクトルの意味は直観的には説明しがたいが, $A^{0}=0$ はエネルギー保存を表している.あらゆる慣性系で $A^{0}=0$ が成り立つならば,他の 3 つの A^μ も常に 0 でなければならない. がローレンツ変換と同じ変換則に従う以上,どれか一つの成分だけが常に 0 ということは有り得ないのである.

つまり,エネルギー保存があらゆる慣性系で成り立つならば,必ず運動量保存も成り立っていなければならないことになるし,逆も言える.つまり,２種類の独立した法則がたまたま同じ形式の上に乗っかったわけではない.解析力学を学んでいるならば,エネルギー保存が時間変化の不変性に,運動量保存が空間的移動の不変性に関わっていることを知っているだろう.相対論は時間と空間に同じ資格を持たせているのだから,こうなって当然なのである.

ではこのような表現を可能にしたエネルギー運動量テンソルとは何者であろうか.これは物質の存在状態を表す何か根源的な量なのであろうか？物質は「テンソル」として 4 次元の宇宙に存在しているのだが,それが人間にとっては見る立場によって様々な姿に見えてしまう・・・.いや,そんな大それた量ではないだろう.私は単なるメモ帳くらいの存在に思っている.成分が多い割には中の情報はすかすか.冗長性が高い.それでも大変便利な表現形式のメモ帳だ.