アインシュタインテンソル

微分幾何学において、アインシュタインテンソル (Einstein tensor) は、擬リーマン多様体の曲率を表現することに使われる。アルベルト・アインシュタインの名前に因んでいて、逆トレースリッチテンソルとしても知られている。アインシュタインテンソルは一般相対論において基本的な物理量であり、その基礎方程式であるアインシュタイン方程式に現れる。これは、エネルギー・運動量の保存則と整合するように時空の曲率を用いて重力を記述するものである。

定義 
アインシュタインテンソル  は、擬リーマン多様体上に定義されたランク 2 のテンソルであり、添字のない記法では、

として定義される。ここに  はリッチテンソルであり、 は計量テンソルであり、 はスカラー曲率である。成分を持つ形で表すと、上記方程式は、

のようになる。

アインシュタインテンソルは、ストレス・エネルギーテンソルと同じ性質を持っている。つまり、

と対称テンソルであって、さらに

と共変な意味での発散がない。

明示的な形 
リッチテンソルは計量テンソルのみにより与えられるので、アインシュタインテンソルは計量テンソルから直接的に定義することができる。しかしながら、この表現は煩雑で、教科書でも具体的に与えられることは稀である。まずは、クリストッフェル記号を用いて表すと、

となる。ここで、 はクロネッカーのデルタでクリスとフェル記号  は計量を用いて、

と定義される。

キャンセレーションの前に、この公式は、 個の個別な項となる。キャンセレーションはこの数をいくらかは小さくする。

一点の近くの局所慣性座標系の特殊な場合には、計量テンソルの一階微分が 0 となり、アインシュタインテンソルの成分による表示はかなり単純化される。

 

ここに、鍵括弧は伝統的に括弧付き添字上で反対称性を表す。つまり

 
である。

トレース 
アインシュタインテンソルのトレースは、計量テンソル  をその定義の中に持つ方程式を縮約(contract)することにより計算される。（任意符号の）  次元では、

である。

物理学での 4次元（3空間次元、1時間次元）の特別な場合はアインシュタインテンソルのトレース  は、 の負の部分、リッチテンソルのトレースとして与えられる。このようにアインシュタインテンソルのもうひとつの別の名前は、逆トレースリッチテンソル(trace-reversed Ricci tensor)である。

一般相対論の中での使用 

アインシュタインテンソルは、（宇宙項のない）アインシュタイン方程式を次の正確な形に書き表すことを可能とする。

ここに幾何単位系で（つまり、c = G = 1 とする）、

である。

アインシュタインテンソルの明示的な形により、アインシュタインテンソルは、計量テンソルの非線型函数であるが、計量の 2階の偏微分では線型である。対称なランク 2 のテンソルとして、アインシュタインテンソルは 4次元空間内の10 個の独立成分を持つ。このことから、アインシュタイン場の方程式は、計量テンソルの 10 個変数の(quasilinear)の 2階の偏微分方程式である。

ビアンキ恒等式は、アインシュタインテンソルの助けで容易に次のようにも表現できる。

ビアンキ恒等式は、自動的に曲がった時空の中のストレス・エネルギーテンソルの共変に保存することを保証する。つまり、

アインシュタイテンソルの物理学的な意味は、この等式により非常に重要であることがわかる。キリングベクトル  上で縮約された密度化ストレステンソルの項では、通常の保存則は、

である。

一意性
(David Lovelock)は、4次元微分可能多様体では、アインシュタイテンソルは単にテンソル的で  の発散のない函数であり、高々、一階か二階の偏微分であることを示した。

しかしながら、
 (Newton-Poisson gravitational equation)と似ていて、一般化した方程式である。
 すべての座標系へ適用でき、
 任意の計量テンソルに対しエネルギー運動量テンソルの局所共変性が保存されることを保証する。
の 3つの条件を満たすからといって、その基礎方程式がアインシュタイン方程式であるとは限らない。(Einstein–Cartan theory)などのように、上の条件をすべて満たす別の理論が多く提案されている。

参照項目 

 一般相対論の数学
 (General relativity resources)

参考文献

一般相対性理論
テンソル
微分幾何学
数学に関する記事
数学のエポニム