レイチャウデューリ方程式

一般相対性理論において、**レイチャウデューリ方程式** （**Raychaudhuri equation**) もしくは**ランダウ・レイチャウデューリ方程式** (**Landau–Raychaudhuri equation**) は物質近傍の運動を記述する、基礎的方程式である。

この方程式はペンローズ・ホーキングの特異点定理の基礎的な補題として、およびの研究において重要であるが、重力がニュートンの重力法則のとおり万有引力であり、どんな質量・エネルギーの間にも働く引力であるという直感を単純かつ一般に示すことができるという点で独立した価値がある。

この方程式はインド人物理学者のとソビエトの物理学者レフ・ランダウが独立に発見した。

## 数学的言明
ある時間的単位ベクトル場 \vec{X} が（積分曲線を通じて交わらない世界線のとして解釈できるが、測地線とは限らないものとして）与えられたとき、レイチャウデューリ方程式は以下のように書ける。
: \dot{\theta} = - \frac{\theta^2}{3} - 2 \sigma^2 + 2 \omega^2 - {E[\vec{X}]^a}_a + _{;a}
ここで、
: \sigma^2 = \frac{1}{2} \sigma_{mn} \, \sigma^{mn}, \; \omega^2 = \frac{1}{2} \omega_{mn} \, \omega^{mn}
は、それぞれ剪断応力テンソル
: \sigma_{ab} = \theta_{ab} - \frac{1}{3} \, \theta \, h_{ab}
および渦度テンソル
: \omega_{ab} = {h^m}_a \, {h^n}_b X_{[m;n]}
の（非負の）二次不変量である。また、
: \theta_{ab} = {h^m}_a \, {h^n}_b X_{(m;n)}
は膨張テンソル、 \theta はそのトレースで膨張スカラーと呼ばれるもの、そして 
: h_{ab} = g_{ab} + X_a \, X_b
は \vec{X} に直交する超平面への射影テンソルである。また、ドットは合同内の世界線の固有時による微分を表わす。最後に、 E[\vec{X}]_{ab} のトレースは次のようにも書ける。
: {E[\vec{X}]^a}_{a} = R_{mn} \, X^m \, X^n
この量はときに「レイチャウデューリスカラー」と呼ばれることもある。

## 直感的意味
膨張スカラーは物質の小さなボールの体積が、中心と共動する観測者から測った時間についてどのような分率速度で変化するかを意味する（そして、負値も取り得る）。換言すれば、上記の方程式は時間的合同の膨張の時間発展を記述している。もしこの量の（固有時による）微分がどれかの世界線に沿って負であるならば、（重心が問題の世界線に沿って運動する）物質の小さなボールは再収縮しなければならない。そうでないならば、継続的に膨張することが可能である。

剪断応力テンソルは最小は球形だった物質のボールが楕円状に歪む傾向にどれくらいあるかを測る量である。渦度テンソルは近傍の世界線が互いに巻き付く傾向にどれくらいあるかを測る量である（もしその傾向にあるならば物体の小塊は回転し、通常液体フロー内の液体要素は非零を示す）。

レイチャウデューリ方程式の右辺は二つのタイプの項からなる。
# （再）収縮を促進する項
#* 初期値が非零の膨張スカラー
#* 非零の剪断応力
#* トレースが正の潮汐テンソル; これは「強エネルギー条件」を仮定することにより保証される正にその条件で、物理的に筋の通ったなどのほとんどの重要なタイプの解で成り立っている。
# （再）収縮に抵抗する項
#* ニュートン的には遠心力にあたる非零の渦度
#* 加速度ベクトルの正の発散（たとえば球対称な爆発やもっと身近には自己重力により結び付いている流体のボールに働く体積力による外向きの加速度）
通常、一つの項が勝ち抜く。しかし、釣り合いが成立するような状況もありうる。このつりあいは、二つの場合に分けられる。
* *安定*: 完全流体のボールの静水圧平衡（たとえば恒星内部など）の場合、膨張、剪断応力、渦度テンソルは消失し、加速度ベクトルの動径方向への発散（取り囲む流体要素の圧力から各流体要素が受ける必要な）が、完全流体の場合は E[\vec{X}]_{ab} = 4 \pi ( \mu + 3 p ) となるレイチャウデューリスカラーを打ち消す。ニュートン重力では、潮汐テンソルのトレースは 4 \pi \mu となるが、一般相対論では、圧力が重力に抗する傾向によりこの項からずれる。このずれは、状況によっては重要なものとなる。
* *不安定*: たとえば、ゲーデル解におけるちりの世界線には、剪断応力も膨張も加速度もないが、一定の渦度が非零の真空エネルギー（「宇宙定数」）に起因するレイチャウデューリスカラーとちょうど均衡する。

## 収束定理
ある時空領域で強いが成り立つとし、\vec{X} を渦度の無い測地単位ベクトル場であり hypersurface orthogonal とする。例えば、この状況は宇宙論的モデルにおけるアインシュタイン方程式の厳密解のひとつ、ちり解でちりの世界線を研究する際に現われる（ただし、渦度をゼロとするため世界線が互いに巻き付くことはないものとする）。

この場合、レイチャウデューリ方程式は以下のようになる。
: \dot{\theta} = - \frac{\theta^2}{3} - 2 \sigma^2 - {E[\vec{X}]^a}_a
ここで、右辺は必ず負であるから、膨張テンソルが初期値は正であったとしても（最初はちりのボールが体積を増していたとしても）、やがては負にならなければならない（ちりのボールは潰れなければならない）。

実際、この状況では次の不等式が成り立つ。
: \dot{\theta} \leq - \frac{\theta^2}{3}
これを固有時 \tauについて積分すると、以下を得る。
: \frac{1}{\theta} \geq \frac{1}{\theta_0} + \frac{\tau}{3}
もし、膨張スカラーの初期値 \theta_0 が負ならば、遅くとも固有時 -3/\theta_0 の後に膨張スカラーは負の無限大に発散し、測地線はに収束する。これは必ずしも曲率特異点が生じることを意味するわけではないが、ちりの運動の数学的説明が破綻することは意味する。

## 光学方程式
ヌル測地合同を記述する、光学的（もしくはヌル）版レイチャウデューリ方程式もある。
: \dot{\widehat{\theta}} = - \frac{1}{2}\widehat{\theta}^2 - 2 \widehat{\sigma}^2 + 2 \widehat{\omega}^2 - T_{\mu\nu} U^\mu U^\nu.
ここで、ハットは横方向のみの膨張、剪断応力、渦度であることを示す。渦度がゼロの場合、を仮定するとコースティックはアフィンパラメータが 2/\widehat{\theta}_0 にに到達する前に生じる。

### 応用
事象の地平面はヌル無限遠のの境界線として定義される。このような境界はヌル測地線により生成される。アフィンパラメータはヌル無限遠に到達すると無限大に発散し、コースティックはそれまで生成しない。よって、事象の地平面の膨張は非負でなければならない。膨張は面積密度の対数変化率を与えるので、これは、少なくとも古典的には、ヌルエネルギー条件を仮定すると事象の地平面の面積は決して減らないことを意味する。

## 関連項目
* : *kinematical decomposition* とレイチャウデューリ方程式の導出に関わる。
* 重力の特異点
* ペンローズ・ホーキングの特異点定理: 収束定理への応用に関わる。

## Notes

## References
*  See *chapter 2* for an excellent discussion of Raychaudhuri's equation for both timelike and null *geodesics*, as well as the focusing theorem.
*  See *appendix F*.
*  See *chapter 6* for a very detailed introduction to geodesic congruences, including the general form of Raychaudhuri's equation.
*   See *section 4.1* for a discussion of the general form of Raychaudhuri's equation.
*   Raychaudhuri's paper introducing his equation.
*  See *section IV * for derivation of the general form of Raychaudhuri equations for three kinematical quantities (namely expansion scalar, shear and rotation).
*  See for a review on Raychaudhuri equations.

## 外部リンク
* The Meaning of Einstein's Field Equation by John C. Baez and Emory F. Bunn.  Raychaudhuri's equation takes center stage in this well known (and highly recommended) semi-technical exposition of what Einstein's equation says.