\usepackagecancel

一般相対論的時空の表し方

重力の理論である一般相対性理論では,重力は個々の物体に働く「力」というよりも,入れ物としての時空そのものの曲がり具合として記述される。

時空の曲がり具合を記述するのが微分幾何学であり,そこには曲率テンソルをはじめとした多くの数学的道具立てが現れる。曰く,平行移動共変微分,そこで使われる接続係数(3つも添字を持ちながらテンソルではない)や,はたまた計量テンソルリーマンの曲率テンソルリッチテンソルアインシュタインテンソル等々.

ここでは,曲率テンソルの物理的イメージを感じていただけるように,力学の運動方程式に相当する測地線方程式の話からはじめて,平行移動と共変微分は使わずに,それでいて式の説明は割愛せず,曲率テンソルの導入まで説明してみる。

表記について

  • 4元ベクトルは太字で u,k などと書く。
  • 4元ベクトルの成分uμ=(u0,u1,u2,u3) などのように書く。
  • ギリシャ文字の添字  λ,μ,ν,0 から 3 までの値をとる。
  • アインシュタインの規約により,上添字と下添字に同じギリシア文字があったら,たとえ がなくても自動的に 0 から 3 までの和を取る。
  • 4元ベクトル u  はその成分 uμ と4次元時空の基本ベクトル eμ を使って以下のように書く。(最後のところでアインシュタインの規約を使っている。)
    u=μ=03uμeμuμeμ
  • 2つの4元ベクトルの内積 記号であらわす。特に基本ベクトル同士の内積は計量テンソルの成分 gμν (特殊相対論の場合は ημν )を与える。
    eμeν=gμν
    uk=(uμeμ)(kνeν)=eμeνuμkν=gμνuμkν=kμuμ
    添字の上げ下げには計量テンソルを使う。たとえば,kμ=gμνkν など。
  • 計量テンソルの signature は (,+,+,+)
  • しばしば偏微分を以下のような省略記法で書く。(一般には基本ベクトル eμ も微分する必要があるんですよ。)
    xνeμ=eμxν=νeμ=eμ,ν
  • しばしば光速 c について c=1 とする。

このセクションは「数理科学 2015年7月号」の記事原稿をもとに大幅に加筆したものです。

このセクションの構成

3次元ベクトルの微分

アインシュタインの規約とベクトルの内積

4次元時空のベクトル・線素・計量テンソル

測地線と接続係数・クリストッフェル記号

平行線の公理の破れとリーマンテンソル

アインシュタイン方程式と人生最大の過ち?

共変微分の定義とリッチの恒等式

一般相対論におけるニュートン近似

一般相対論において

  • 重力場は静的である(定常かつ時間反転に対して対称)
  • 重力場は弱い
  • 重力を受けて運動する粒子の速さは光速に比べて小さい
  • という状況がなりたつ場合,メトリックはニュートンの重力ポテンシャル ϕ を使って

    ds2(1+2c2ϕ)c2dt2+(δij+O(c2))dxidxj

    と書けることを示す。このような近似をニュートン近似と呼んでいる。

    EinsteinPy や ctensor でアインシュタイン方程式を計算する

    Python の EinsteinPy や Maxima の ctensor などのコンピュータ代数システムを使って,アインシュタイン方程式の解を求める例。