[論文レビュー] A class of perfect-fluid cosmologies with polarised Gowdy symmetry and a Kasner-like singularity

K. Anguige|arXiv (Cornell University)|May 19, 2000

Black Holes and Theoretical Physics参考文献 1被引用数 6

ひとこと要約

この論文は、Fuchsianアルゴリズムを用いて、極化 Gowdy 対称性と Kasner に類似した特異性を有する空間的に不均一な完全流体宇宙論の新クラスを構築する。Bianchi I 解の摂動と解析的初期データを伴うFuchsian方程式系の解法により、4つの自由な解析的関数に依存する一意な解の存在を証明し、対称性制約を緩和した状況下での流体力学を含む既存の結果を拡張する。

ABSTRACT

We prove the existence of a class of perfect-fluid cosmologies with polarised Gowdy symmetry and a Kasner-like singularity. These solutions of the Einstein equations depend on four free functions of one space coordinate and are constructed by solving a system of Fuchsian equations.

研究の動機と目的

• Gowdy 対称性を有する真空中宇宙論に関する既存の結果を、$γ$-法則状態方程式を有する完全流体に拡張すること。
• 初期時刻における Kasner に類似した漸近的挙動を示す、極化 Gowdy 対称性を有する不均一な完全流体解の1パラメータ族の存在を確立すること。
• この解が、対称性クラス内で許容される最大数（4つ）の自由な解析的関数に依存することを示すこと。
• 特異初期値問題に対する Fuchsian アルゴリズムを用いて、このような解の存在と一意性を厳密に証明すること。
• アインシュタイン-流体系の制約が、発展方程式に沿って保存されることを確認し、物理的整合性を保証すること。

提案手法

• 1つの空間方向における正確な Bianchi I 解の摂動により、極化 Gowdy 対称性を有する不均一解を構築する。
• 計量を共形座標で表現し、元の時間 $ \tau $ からの積分変換により時間変数 $ t $ を定義する。
• モデル Bianchi I 解からのずれを記述するため、摂動変数 $ \tilde{A}, \tilde{R}, \tilde{W}, \phi, \tilde{\psi} $ を導入する。
• アインシュタイン-完全流体方程式を、$ u $ がすべての力学的変数を含み、$ H $ が解析的であるような一次形式 $ t\partial_t u + N(x)u = t^\delta H(t,x,u,u_x) $ に書き直す。
• 行列 $ N(x) $ の正の固有値を活用して、Fuchsian アルゴリズムを適用し、$ u(0) = 0 $ を満たす解析的解の存在と一意性を証明する。
• 制約 $ C_0 $ と $ C_1 $ が恒等的にゼロであることを確認するため、スケーリングされたバージョン $ \tilde{C}_0 $ と $ \tilde{C}_1 $ が初期データゼロで定義され、ゼロに収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 対称性クラス内で許容される最大数の自由関数に依存する、極化 Gowdy 対称性と Kasner に類似した特異性を有する完全流体宇宙論のクラスを構築できるか？
• RQ2 Fuchsian アルゴリズムは、これらの対称性および漸近的条件の下で、アインシュタイン-完全流体系に対して一意な解析的解をもたらすか？
• RQ3 提案された摂動的フレームワーク下で、アインシュタイン-流体系の制約はどのように発展し、保存されるか？
• RQ4 初期データ（例：$ p_1(x) $, $ \alpha(x) $, $ m(x) $）に課される条件は何か？ それらがこのような解の存在を保証するか？
• RQ5 摂動フレームワークを、解析的構造と特異性の挙動を維持したまま、流体力学を含むように拡張できるか？

主な発見

• 本論文は、極化 Gowdy 対称性と Kasner に類似した特異性を有するアインシュタイン-完全流体方程式に対して、4つの自由な解析的関数に依存する一意な解の存在を証明する。
• 解は Fuchsian アルゴリズムを用いて構築され、$ -\frac{1}{3} \leq p_1(x) < \gamma - 1 - k $ を満たす解析的初期データに対して、存在と一意性が保証される（$ k > 0 $ は十分に小さい）。
• $ t \to 0 $ における漸近的挙動は、Bianchi I 流体モデルと一致し、$ \rho \sim \mu $、$ v^1 \sim t^{(\gamma-1-p_1)/(1-p_1)} $、$ A $, $ W $, $ R $ については $ t $ の対数的スケーリングが成立する。
• 構築された解に対して制約 $ C_0 $ と $ C_1 $ は恒等的にゼロであり、発展系の整合性が確認される。
• 時間変数 $ t $ は $ t = \int_0^\tau B^{p_1 + \gamma - 5/3}(s) s^{-p_1} ds $ により暗黙的に定義され、正しい漸近的挙動を保証する。
• 解のフレームワークは、不均一な $ \alpha(x), m(x), c(x), p_1(x) $ を許容する。これらはすべて解析的かつ必要に応じて正の値をとる必要がある。