アインシュタインの一般相対性理論 10話で完結 その8

---

（もどる）

アインシュタインの一般相対性理論　10話で完結　その7

（つづく）

アインシュタインの一般相対性理論　10話で完結　その9

---

今回は、

G₀₀ = 8πG T₀₀　・・・式１

この式の右辺にある、T₀₀ について説明してみたいと思います。

いつものように誤解を恐れず単刀直入に言うと

T₀₀ の意味するところは、ずばり総エネルギー E です。

そうです、あの特殊相対性理論でおなじみの

E = mc²

の総エネルギー E です。

「何だよ、じゃぁ最初っからそう言ってくれよー」って気持ちになるかもしれませんが、厳密には、"単位空間あたり" の総エネルギーであって、

つまり、数式的に（式１）の右辺を書き換えると

8πG T₀₀ = 8πG E/vol

となります。

（"単位空間あたり" の総エネルギー E/vol があらわしているのは、エネルギーの局所的な"密度"というか"濃さ"みたいなもので「エネルギー密度」とよばれたりします。・・・あまり深堀りしないほうがいいと思います ⇒ 参考記事：光の総エネルギー）

さて、ここで特殊相対性理論の登場です。

特殊相対性理論によると総エネルギー「E」と質量「m」は等価です。

したがって、アインシュタインの特殊相対性理論から導かれる有名な式

E = mc²

は、自然単位系では

E = m

なんです（自然単位系では c = 1 ）。

つまり（ｃ＝１とする自然単位系では）

E/vol = m/vol

となります。

単位空間当たりの質量「m/vol」とは、よくよく考えると「空間の密度」ってことですから、

早い話、「式１」の右辺は、空間の密度 ρ を使って

8πG T₀₀ = 8πG ρ

と書きかえることができます（注１）。

一方、ニュートンの万有引力といえば、高校物理で習う

F = GMm/r²

という式を覚えている人もいるでしょう。

実は、この万有引力の方程式は、微分∇と 空間の密度 ρ を使って、

∇F = 4πG ρ

という微分方程式であらわせることがわかっています（注２）。

この

∇F = 4πG ρ 

を先ほどの

8πG T₀₀ = 8πG ρ

に代入すると

8πG T₀₀ ≡ 2∇F

という式が得られます（正確には完全にイコールではないので記号を＝ではなく≡としました）。

さぁ、ゴールはもう間近です！

---

（つづく）

アインシュタインの一般相対性理論　10話で完結　その9

（もどる）

アインシュタインの一般相対性理論　10話で完結　その7

---

---

Tweet

---

おすすめ記事

---

（注１）

つまり、

T₀₀

ll

「E/vol」

ll

「m/vol」

ll

ρ

です。 ρ は、空間の密度です。

一般相対性理論では一般物理と異なり、「質量」にかわって「密度」が基本物理量になります。

質量

⇓

密度

主役交代みたいなものです。

この主役交代は、４元運動量がエネルギー運動量にかわるところと関係しています。

どういうことかというと

特殊相対性理論によって、時間（１次元）と空間（３次元）は一体化され、ミンコフスキー時空（４次元空間）となりました。

ミンコフスキー時空では、エネルギー（E/c）と運動量（p_x、p_y、p_z）も一体化され、４元運動量（E/c、p_x、p_y、p_z）となります。おもしろいですよね。特殊相対性理論によると、エネルギー（E/c）と運動量（p_x、p_y、p_z）に本質的な違いはないのです。ある質点のエネルギー（E/c）とは、時間方向へ流れている質点の４元運動量をさし、運動量（p_x、p_y、p_z）とは、空間方向（x方向、y方向、ｚ方向）に流れている質点の４元運動量をさします。

このように、特殊相対性理論はエネルギーと運動量を統一した、という点ですごいのですが、一般相対性理論はさらにすごいです。この４元運動量に観察者の速度（観察者の４元速度）を掛け合わせた１６個の値を考えます。これをエネルギー運動量といいます。これが本文中の T_μν の正体です。でも、運動量やエネルギーにはすでに速度（v）の要素が含れていますよね？そこにさらに観察者の速度（v）を掛け合わせるといったいどうなるんでしょう？最初は意味がよくわからないかもしれません。が、理屈としては、そうすることによって新たに観察者に対する質点の相対速度（v）があらわれます。つまり、静止している観察者の前を相対速度（v）で流れていく質点の４元運動量を観察していることになります。

面白いのは、そう考えていくと、いつの間にか質点の「質量」が「空間の密度 ρ 」になってしまうことです。まるで手品のようです。

式で表してみると・・・

「質点の４元運動量」 ⊗ 「観察者の４元速度」

＝（「質点の質量 m」x 「質点の４元速度」） ⊗ 「観察者の４元速度」

＝「質点の質量 m」x  （「質点の４元速度」 ⊗ 「観察者の４元速度」）

＝「空間の密度 ρ」ｘ  （「観察者からみた質点の相対的４元速度」）

＝「エネルギー運動量」

です。

「質点の４元速度（４成分） 」⊗ 「観察者の４元速度（４成分）」が「観察者からみた質点の相対的な４元速度」（１６成分）という新しい速度に融合し、統一されます。この速度（１６成分）はテンソル形式になっていて観察者の運動（座標系）に依存しません。４元速度（４成分）が、１６成分となったことによって、観察者の運動（座標系）に依存していた４元運動量（４成分）が、観察者の運動（座標系）に依存しないエネルギー運動量 （１６成分）に変換された、ともいえます。逆にいえば、エネルギー運動量を考えることにより、観察者は静止した状態で質点の運動を観察していると宣言することができます。神の視点を手に入れたのでしょうか？いや、そうではなく、むしろ誰でも原点になれる・・・すなわち原点の廃止です。

このとき（４元運動量がエネルギー運動量にかわったとき）、同時に、質量が「空間の密度 ρ 」に変化してしまいます。つまり、４元運動量は質量から計算されますが、エネルギー運動量は空間の密度から計算されます。今まで慣れ親しんできた質量を捨て去るのは難しいかもしれませんが、一般相対性理論における"重さ"の基本概念は、質量ではなく「空間の密度 ρ 」なのです。

質量ではなく「空間の密度 ρ」を考えることによって、この世で観察されるすべての運動量やエネルギーは、"座標系に依存しない"形式で表現できるようになり、エネルギーや運動量を、座標の変化（"重力"の影響）に依存せずに表現できるのです。エネルギーや運動量を座標系（"重力"）に依存せずに表現できたとき、その座標軸の変化は"重力"の影響をあらわすことになります。エネルギー運動量の変化が"重力"を反映している・・・。結局、エネルギーも運動量も「空間の密度 ρ」に作用する力（ちから）F の結果として生じているのであって、同じものの異なる断面にすぎません。考えてみれば、運動量を時間（１次元）で微分したもの、あるいはエネルギーを空間（３次元、距離）で微分したものが力（ちから）F ですから、運動量やエネルギーの"流れ"が力（ちから）と結びつく、というのは理にかなった話です。

特殊相対性理論がエネルギーと質量の方程式であるとすると、一般相対性理論（の右辺）は、エネルギーと質量の微分方程式（場の方程式）にも思えます（エネルギーを微分したものがエネルギー運動量で、質量を微分したものが「空間の密度 ρ」みたいな・・・）。

（注２）

ポアソン方程式 ∇²φ＝4πGρ を、F = ∇φ を用いて変形すると、空間の密度 ρ と重力 F を結びつける式 ∇F = 4πGρ が得られます。密度 ρ を積分すると質量 m になります。

---

（つづく）

アインシュタインの一般相対性理論　10話で完結　その9

（もどる）

アインシュタインの一般相対性理論　10話で完結　その7

---

---

エネルギー運動量について

（興味がない方は読み飛ばしてください）

前述したように、エネルギー運動量とは、観察者からみた４元運動量の"流れ"をあらわしています。次元的には質点と言うより「空間の密度 ρ」に直結しており、質量や重力の本質を考えるうえで非常に重要な物理量だと言えます。イメージとしては、まず、空間（３つの次元 x、y、z）と時間（１つの次元 t）が一体化した４次元の箱をイメージします。３次元の立方体には６面（方向としては３つ）の壁がありますが、４次元立方体には８面（方向としては４つ）の壁がある、と勝手にイメージします（イメージしがたいですが・・・汗）。さらに、このような箱、しかも、そのごくごく小さな箱が４次元空間（ミンコフスキー時空）のありとあらゆるところに設置されている、と考えましょう。この４次元の箱に４方向から出入りしている４元運動量の"流れ"がエネルギー運動量です。質点が動けば４元運動量が発生します。観察者が動けば４元運動量に"流れ"が生じます。これがエネルギー運動量です。４方向（t、x、y、z）から箱に出入りしている４元運動量（E/c、p_x、p_y、p_z）をイメージしてください。たとえば、４元運動量のうち px について考えるならば、t面に垂直に出入りするpx、x面に垂直に出入りするpx、y面に垂直に出入りするpx、z面に垂直に出入りするpxという、４つの px の"流れ"を考えることができます。壁１面あたり４種類の運動量の出入りを考えてもいいと思います（t面に垂直に出入りするE/c、t面に垂直に出入りするpx、t面に垂直に出入りするpy、t面に垂直に出入りするpz、という４つの"流れ"）。壁の方向４つに対して４つの運動量の出入りがありますから、合計４ x ４ = １６通りの出入りを考えることができます。この４方向の４元運動量・・・１６通り・・・の出入りを１６個の数字 (T₀₀, T₀₁, T₀₂, _・・・, T₃₂, T₃₃）であらわしたものがエネルギー運動量です。１６個の数字全体で、空間のある１点における複数の粒子がつくりだす４元運動量の"流れ"をあらわしています。これが質量を作りだしています。

４元運動量（時間成分 x １、空間成分 x ３）

方向（時間方向 x １、空間方向 x ３）

具体的に１６個の数字をどうやってつくるのかをごくごく簡略化して説明すると、まず４元運動量の４つの成分（ベクトル）から１つの成分をとりだします。次に、観察者（または設置されている箱）の４元速度をあらわす４つの成分（ベクトル）から１つの成分をとりだします。これら２つのベクトル成分を掛け合わせるだけです（簡略化して説明しています。厳密な計算方法を知りたい方は成書をあたってください）。これを各成分ごとに繰り返します。結局、それぞれが４つの成分を持つ２つのベクトルから合計１６個の積の成分 (T₀₀, T₀₁, T₀₂, _・・・, T₃₂, T₃₃）がつくられます（２つのベクトルのすべての成分同士を総当たり戦のようにすべて掛け合わせる計算をテンソル積と言い、できあがったものはテンソルになります）。できあがった一つ一つの成分について考えてみると、どの４元運動量がどの方向にどれぐらい移動しているか（４元運動量の"流れ"）をあらわしていることがわかります。こうやってつくられた１６個の数字はテンソルという形式になっていて、１６個の数字全体で、空間の"ある１点"における４元運動量の"流れ"を座標系に依存しない形で包括的にあらわしています。

以下、４元運動量（E/c、p_x、p_y、p_z）のどの成分が、４つの方向（t、x、y、z）のどの方向を横切っているか？を意識して読んでください。

T₀₀ ・・・ 時間面を通過した、単位時間あたりの時間成分の４元運動量。積の意味は「時間面 ｘ 時間成分の４元運動量の変化」。方向成分は時間成分のみ（t）、時間面を貫いて移動した４元運動量の種類は時間成分のみ（E/c）。これによって新しく生成されるT成分は１つ。１ ｘ １ ＝ １（T₀₀）。

T₀₁ T₀₂ T₀₃ ・・・ 空間面を通過した、単位時間あたりの時間成分の４元運動量。積の意味は「空間面 ｘ 時間成分の４元運動量の変化」。方向成分は空間的に３つ（x、y、z）、空間面を貫いて移動した４元運動量の種類は時間成分のみ（E/c）。これによって新しく生成されるT成分は３つ。３ ｘ １ ＝ ３（T₀₁, T_02, T₀₃）。

T₁₀ T₂₀ T₃₀ ・・・ 時間面を通過した、単位時間あたりの空間成分の４元運動量。積の意味は「時間面 ｘ 空間成分の４元運動量の変化」。方向成分は時間成分のみ（t）、時間面を貫いて移動した４元運動量の種類は空間的に３つ（px、py、pz）。これによって新しく生成されるT成分は３つ。１ ｘ ３ ＝ ３（T_10, T_20, T₃₀）。

T₂₁ T₃₁ T₃₂ T₁₁ T₂₂ T₃₃ T₁₂ T₁₃ T₂₃ ・・・ 空間面を通過した、単位時間あたりの空間成分の４元運動量。積の意味は「空間面 ｘ 空間成分の４元運動量の変化」。方向成分は空間的に３つ（x、y、z）、空間面を貫いて移動した４元運動量の種類も空間的に３つ（px、py、pz）。これによって新しく生成されるT成分は９つ。３ ｘ ３ ＝ ９（T_21, T_31, T_32, T_11, T_22, T_33, T_12, T_13, T₂₃）。

こうやって２つのベクトル（４元運動量と４元速度）の成分同士を掛け合わせて生成された１６個の数字は、数学的な専門用語でいうと、テンソルという形式になっています。４元運動量の"流れ"をテンソルという形式に落とし込み、ありとあらゆる座標系で表現できるようにしたもの・・・それがエネルギー運動量です。観察者の動き（視点の変化）によってエネルギー運動量の成分（１６個の数字）は変化しますが、その変化は非常に規則的で、実のところ、１６個の数字全体であらわしているエネルギー運動量自体は、座標系から独立した絶対的な物理量として変化しません。ある視点からみた４元運動量の"流れ"がわかれば、座標系に依存しない状態、あるいは、あなたにとって都合よい座標系での４元運動量の"流れ"を知ることができます。

１６の数字、それぞれがもつ物理的な意味合いは以下のとおりです。

T₀₀ ・・・  ４元運動量の時間成分（エネルギー、E/c）が、時間面（t）を光速（c）で単位時間の間に横切る量です。時間方向にだけ動く量というのは、空間面を横切らない量ということですから、３次元的には、単位空間にとどまっている量ということです（わかりやすく言いかえると、単位空間あたりの量 ＝ 密度 Density です）。したがって、T₀₀ は、単位空間あたりのエネルギーになります（エネルギー E/c が、時間方向に c だけうごきますから、E/c x c = E になります）。すなわち、エネルギーの密度といえます。T₀₀ の値は、他の１５個の数字に比べて桁違いに大きな数字になるので、通常の計算では、他の数字は無視されます。古典力学で扱うエネルギーは座標軸によって変化しない値（スカラー）でしたが、相対論的なエネルギーは密度としてあらわされ、座標軸の取り方によって変化する値（テンソル）の第一成分になります。

T₀₁ T₀₂ T₀₃ ・・・ ４元運動量の時間成分（エネルギー、E/c）が、空間面（３方向 x、y、z）のそれぞれを光速（c）で単位時間の間に横切る量です。時間面を横切らないというのは、単位時間にとどまっている量と考えます（わかりやすく言いかえると、単位時間あたりの空間的な動き ＝ 流れ Flux です）。単位時間あたりのエネルギー（E/c x c = E）が空間面を横切る量、すなわち、３次元的にはエネルギーが局所に流入または流出する"速度"（速度＝単位時間あたりの量）をあらわします。T₀₁ T₀₂ T₀₃ から計算されるエネルギーの流入流出量の総和は、T₀₀（エネルギー密度）から計算されるエネルギーの増減に一致します（エネルギーが流出するとそのぶんエネルギーが減り、エネルギーが流入するとそのぶんエネルギーが増える）。

T₁₀ T₂₀ T₃₀  ・・・ ４元運動量の空間成分（運動量 px、py、pz）が、時間面（t）を単位時間の間に横切る量です。時間方向にだけ動く量というのは、空間面を横切らない量ということですから、３次元的には、単位空間にとどまっている運動量といえます（わかりやすく言いかえると、単位空間あたりの量 ＝ 密度 Density です）。結局、T₁₀ T₂₀ T₃₀ は、単位空間あたりの運動量、すなわち、その場所における運動量そのもの（空間成分）をあらわします。より正確には、単位空間あたりの運動量ですから、運動量の密度といえます。 T10 T20 T30 （運動量密度）の和は、T01 T02 T03 （エネルギー流入流出量）の和に一致することがわかっています。

T₂₁ T₃₁ T₃₂ T₁₁ T₂₂ T₃₃ T₁₂ T₁₃ T₂₃ ・・・ ４元運動量の空間成分（運動量 px、py、pz）が、空間面（3方向 x、y、z）を単位時間の間に横切る量です。時間面を横切らないというのは、単位時間にとどまっている量であると考えます（わかりやすく言いかえると、単位時間あたりの空間的な動き ＝ 流れ Flux です）。単位時間あたりに空間面を横切る量、すなわち、３次元的には運動量（空間成分）が局所に流入または流出する"速度"（速度＝単位時間あたりの量）をあらわします。T₂₁ T₃₁ T₃₂ T₁₁ T₂₂ T₃₃ T₁₂ T₁₃ T₂₃ から計算される運動量（空間成分）の流入流出量の総和は、T₁₀ T₂₀ T₃₀（運動量密度）から計算される運動量の増減に一致します（流出が増えるとそのぶん密度が減り、流入が増えるとそのぶん密度が増える）。また、これら運動量の流入または流出速度は、力（ちから）、すなわち、応力になります（力とは、運動量を時間で微分したもの、わかりやすくいうと運動量の単位時間あたりの変化量です）。運動量の空間成分が、その空間成分と同じ方向にある空間面を横切る量は"押し合い"（圧力）として、その空間成分とは異なる方向にある空間面を横切る量は"擦れ合い"（せん断応力）として観測されます。単位面積あたりの力の大きさと定義されている圧力は、実は、エネルギー密度（単位体積あたりのエネルギー）と同じ次元を持っているのです（ベルヌーイの法則）。

空間の、ありとあらゆる場所に、無数に浮かんでいるごくごく小さな箱を想像してみましょう。それぞれの箱の表面には１６個の数字が表示されています。１６個の数字はランダムなものではなく互いに関連していて、１６個の数字全体で、その局所における４元運動量の"流れ"（エネルギー運動量）をあらわしている、と考えます。すなわち、箱の中の４元運動量がある箱から違う箱へと移動すると、箱に表示されている１６個の数字もそれに応じてかわる、というイメージでいいと思います。空間に無数に浮かんでいる箱の表示によって、刻々と変化する４元運動量の"流れ"（エネルギー運動量）がみえるわけです。ここで、第二の想像です。観察者が動くとどうなるでしょう？観察者が動く、というのは、数学的には、座標軸が変化してしまうということを意味します。そうすると、エネルギー運動量をあらわす１６個の数字自体、かなり違った数字になってしまうことが想像できるでしょう。実際、４元運動量そのものに変化はなくても、座標軸がかわるだけで１６個の数字はまったく違うものに変化してしまいます。しかし、この１６個の数字は、座標変換にしたがって"規則的"に変化しているだけで、１６個の数字があらわす４元運動量の流れ、すなわち、空間のある１点におけるエネルギー運動量を、新しい座標軸のもとでも正確にあらわし続けているだけです。つまり、座標系がどのように変化しても（デカルト座標だろうと極座標だろうと、観察者の視点が動こうと、観察者の視点が加速していようとも）、１６個の数字は、１６個の数字で、空間のある１点におけるエネルギー運動量（４元運動量の"流れ"）を超然としてあらわし続けます。そういう座標系に依存しない、絶対量をあらわすことを可能にする、特別な数字のあつまりをテンソルといいます。アインシュタインにとって幸運なことに、当時の数学者たちは、このテンソルという数学体系をすでに確立していました。そこにタイミングよくアインシュタインが登場し、まんまとこのテンソルの仕組みを使って、エネルギー運動量を表現したのです。はい、わかっています。専門家にはこんな説明ではダメだと怒られるでしょう。しかし、管理人を含む一般人にとって、テンソルの理解はとてもとても難しく、その"つかみ"としてはこれぐらいが限界ではないかと思います。

---

（つづく）

アインシュタインの一般相対性理論　10話で完結　その9

（もどる）

アインシュタインの一般相対性理論　10話で完結　その7

---

・‥…━━━☆

おすすめ記事