アインシュタイン方程式
出典: フリー百科事典『ウィキペディア（Wikipedia）』
アインシュタイン方程式（the Einstein equations）は、アルベルト・アインシュタインが1916年に一般相対性理論の中で導いた、万有引力・重力場を記述する場の方程式(en:Field equation)である。アイザック・ニュートンが導いた万有引力の法則を、強い重力場に対して適用できるように拡張した方程式であり、対象とする物理的現象は中性子星やブラックホールなどの高密度・大質量天体や、宇宙全体の幾何学などになる。英語のthe Einstein Field EquationsからEFEとも略される。概略や導出・応用などの詳しい説明は、一般相対性理論の項を参照のこと。
アインシュタインの重力場の方程式（じゅうりょくばのほうていしき、Einstein's field equations of General Relativity ）とも。
一般相対性理論によれば、大質量の物体は周囲の時空を歪ませる。すなわち、重力の正体は時空の歪みである、と説明される。その理論的な帰結・骨子となるのが、次のように表されるアインシュタイン方程式である。
左辺は、時空がどのように曲がっているのかを表す幾何学量（時空の曲率）であり、右辺は、物質場の分布を表す。左辺はまとめて
としてアインシュタイン・テンソルと呼ばれ、右辺のTμνはエネルギー・運動量テンソルである。左辺のRμνはリッチの曲率テンソル、Rはリッチの曲率スカラー であり、どちらも時空多様体の計量テンソル（metric tensor）gμνから計算される幾何学量である。πは円周率、Gは万有引力定数、cは光速度である。添え字μ,νは、それぞれ時空の座標を特定するもので、時間1次元と空間3次元の4成分を動き、gμνは10個の独立成分を持つ4×4の対称テンソルである。表記の煩雑さを減らすために、右辺の係数をアインシュタインの重力定数
としてまとめて、
と簡潔に表わされることも多い。
おおざっぱに言えば、星のような物質またはエネルギーを右辺に代入すれば、その星の周りの時空が、どういう風に曲がっているかを読みとることができる式である。曲率を表す左辺は、計量テンソルgμνの微分で書かれているので、アインシュタイン方程式は、計量テンソルについての方程式である。右辺の物質分布を定めれば、左辺の空間の曲率が決まる。空間の歪みが決まれば、その空間を運動する物質の運動方程式（測地線方程式）が決まるので、物質分布も変動することになる。具体的には、アインシュタイン方程式は、10本の偏微分方程式を与える。
10本の方程式のうち、4本はエネルギー保存則と運動量保存則に対応するものであり、Gμνの空間成分に関係する残りの6本の方程式が時空の運動方程式に相当する。これらは、時間微分2階の偏微分方程式6本（あるいは時間微分1階の偏微分方程式12本）であるが、座標の選択の自由度（ゲージの自由度）が4つ、保存則を満たしながら時間発展を行うための拘束条件が4つあると考えれば、たとえ真空中であっても1階の微分方程式4本（2階に直せば2本）の自由度が残る。この自由度は時空の歪みを周囲に波として伝搬させる「重力波」のモードが2つあることを意味している。
[編集] 宇宙項
アインシュタインは、1917年の論文で、方程式に「宇宙項」を加えて次のようにした。
アインシュタインの定数 κ を用いると、より簡潔に
となる。Λは宇宙定数を表すが、この項（宇宙項）は1916年のオリジナル論文には含まれておらず、1917年の論文で追加された。宇宙項は重力に対する反重力（万有斥力）として機能する。アインシュタインがこの項を導入した理由については諸説あるが（*1）、1929年にハッブルが宇宙の膨張を観測的に示した後，1931年にはアインシュタイン自身により「人生最大のヘマ」として消去された。しかしながら、近年の宇宙のインフレーション理論や素粒子物理学との関連の中で、宇宙項を再び導入して考えることが通常行われており、むしろ重要な意味を与えている場合がある。観測的宇宙論において，宇宙膨張を加速させている謎のエネルギーとして、ダークエネルギーという言葉が使われているが、その正体は不明なものの、方程式上は宇宙項である。
（より詳しくは一般相対性理論の項を参照のこと）
- （*1）一般に有名なのは、彼自身が信じる静止宇宙モデルを実現するためという説である。1917年論文の宇宙モデルは重力と宇宙項による反重力とが釣り合う静止宇宙だった。だがこのモデルは不安定であり、僅かな摂動で膨張又は収縮に転じるという性質を持っていた。
- 他に、境界条件の無い閉じた球面空間が解となるように方程式を変形した際、出発点としてたまたま静止解を想定したために、宇宙項が入り込んだとする説がある。つまり、考え方としては膨張・収縮解でも良かったところを、うっかり静止解を選んだがために、後に撤回する羽目に陥った。
