[論文レビュー] Global existence of solutions for the Einstein-Boltzmann system with cosmological constant in the Robertson-Walker space-time for arbitrarily large initial data

Étienne Takou, Norbert Noutchegueme|ArXiv.org|Jan 3, 2006

Cosmology and Gravitation Theories参考文献 15被引用数 9

ひとこと要約

この論文は、空間的に均一なロバートソン・ウォーカー時空における正の宇宙定数を伴うアインシュタイン＝ボルツマン系の解のグローバル存在を確立し、初期データが任意に大きくても解が存在することを証明している。証明は、時空の対称性を活用して、結合された偏微分方程式系を解ける常微分方程式・偏微分方程式系に簡略化した、注意深く構築された関数空間における固定点議論に依拠している。

ABSTRACT

We prove a global in time existence theorem for the initial value problem for the Einstein-Boltzmann system, with positive cosmological constant and arbitrarily large initial data, in the spatially homogeneous case, in a Robertson-Walker space-time.

研究の動機と目的

• 正の宇宙定数を伴う宇宙論的設定下でのアインシュタイン＝ボルツマン系の解のグローバル存在を確立すること。
• 例えばアインシュタイン＝ヴラソフ系における非衝突系のグローバル存在結果を、ボルツマン方程式に従う衝突的系へと拡張すること。
• 初期データの大きさに関する制限を除去し、初期スケール因子 $ a_0 $ や分布関数 $ f_0 $ が任意に大きくても解の存在を証明すること。
• 従来の研究におけるギャップを解消し、制約方程式にのみ注目するのでなく、進化方程式を適切に取り扱うこと。
• 宇宙論における衝突的相対論的物質の長期的ダイナミクスを研究するための厳密な基礎を提供すること。

提案手法

• 空間的に均一なロバートソン・ウォーカー時空におけるアインシュタイン＝ボルツマン系を、常微分方程式と運動論的偏微分方程式の結合系に簡略化する。
• 宇宙定数 $ \Lambda > 0 $ を、系の安定化とグローバル存在の保証に鍵とするパラメータとして用いる。
• 関数空間 $ C[[t_0, t_0 + \delta]; X_r] \times E_{t_0}^\delta \times F_{t_0}^\delta $ 内での固定点議論を適用する。ここで $ X_r $ は分布関数の重み付き $ L^2 $-型関数空間である。
• エネルギー推定と衝突演算子 $ Q $ のバインドを用い、二体・弾性衝突を伴う相対論的ボルツマン方程式を採用する。
• 分布関数 $ f $、スケール因子に関連する $ e $、ハッブルパラメータに関連する $ \theta $ に対する積分方程式を導出し、完備な距離空間における収縮性を証明する。
• 時間経過に伴う $ \|f\| $、$ \|e\| $、$ \|\theta\| $ に対する一様なバインドを確立し、解がグローバルに良好に定義されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 正の宇宙定数 $ \Lambda > 0 $ を伴うロバートソン・ウォーカー時空におけるアインシュタイン＝ボルツマン系に対して、初期データが任意に大きくてもグローバル解が存在しうるか？
• RQ2 非衝突系に比べてグローバル結果が不足している衝突的系において、進化方程式をどのように厳密に取り扱えるか？
• RQ3 宇宙定数 $ \Lambda > 0 $ は、解のグローバル存在を保証するために果たす役割は何か？
• RQ4 固定点法を、均一な設定下における結合アインシュタイン＝ボルツマン系に成功裏に適用できるか？
• RQ5 初期データのサイズに制限を課す必要があるのか、それとも初期スケール因子や分布関数が任意に大きくても理論が対応可能なのか？

主な発見

• 正の宇宙定数 $ \Lambda > 0 $ を伴うアインシュタイン＝ボルツマン系の初期値問題は、初期データの大きさにかかわらず、$ [0, +\infty) $ 上にグローバル解 $ (a, f) $ を持つ。
• 任意の初期スケール因子 $ a_0 > 0 $ および初期分布関数 $ f_0 \in L^1_2(\mathbb{R}^3) $、$ f_0 \geq 0 $ almost everywhere に対して解が存在する。
• 証明は $ a_0 $ や $ f_0 $ の小ささに関する仮定を必要とせず、初期データが任意に大きくてもグローバル存在が確認される。
• 固定点議論は、十分に小さな時間間隔 $ \delta $ に対して収縮的であり、$ \delta $ は $ a_0 $、$ \Lambda $、$ r $、$ T $ のみに依存するため、反復的収束が保証される。
• 制約方程式にのみ依存するのではなく、進化方程式を適切に取り扱うことで、従来の研究における欠陥を是正した。
• 与えられた仮定のもとで結果は頑健であり、著者らは今後、$ \Lambda = 0 $ の場合への拡張が可能であると予想している。