[論文レビュー] Global characteristic problem for the Einstein vacuum equations with small initial data, (II): The existence proof

Giulio Caciotta, Nicolò, Francesco|ArXiv.org|Aug 8, 2006

Advanced Mathematical Physics Problems参考文献 17被引用数 4

ひとこと要約

本稿は、クリストウドゥロウとクライナークマンのグローバル安定性結果にインspiredされたダブルノルムフォリエーションフレームワークを用いて、2つのノルム切断円錐の合併上に与えられた小規模な初期データに対する真空アインシュタイン時空のグローバル存在を確立する。主な貢献は、初期データノルムと局所的曲率バウンドの小さな条件下での将来のグローバル存在と一意性の厳密な証明であり、有限時間を超えた最大コーシー発展への特徴的初期値問題の拡張を実現する。

ABSTRACT

This is the second part of our result on a class of global characteristic problems for the Einstein vacuum equations with small initial data. In the previous work denoted by (I), our attention was focused on prescribing the initial data satisfying the costraints imposed by the characteristic problem. Here we show how the global existence result can be achieved. This part is heavily based on the global results of D.Christodoulou, S.Klainerman and S.Klainerman, F.Nicolo`.

研究の動機と目的

• 2つのノルム円錐からなる特徴的超曲面上に与えられた初期データに対するアインシュタイン真空方程式の解のグローバル存在を確立すること。
• 特徴的初期値問題を、将来の最大コーシー発展にまで拡張し、解がすべての将来時間にわたり存在することを保証すること。
• 初期データと曲率成分の小さな条件下での時空解の一意性と正則性を証明すること。
• クリストウドゥロウとクライナークマンのミンコフスキー安定性に関する手法を、ノルムデータを用いた特徴的初期値設定に適応すること。
• ダブルノルム正準フォリエーションを定義し、それを利用することで時空の幾何と進化を制御すること。

提案手法

• 2つのノルム切断円錐 $C_0 \cup \underline{C}_0$ 上に初期データを定式化し、誘導計量 $\overline{\gamma}_{ab}$、正規化因子 $\overline{\Omega}, \overline{\underline{\Omega}}$、接続係数 $\overline{\zeta}_a, \overline{\underline{\chi}}_{ab}$、および曲率成分を含む幾何的量を指定する。
• 7次以上の微分を含む重み付き $L^p$-ノルム $J^{(q)}_{C_0}$ と $J^{(q)}_{\underline{C}_0}$ を定義し、$r$ の径方向パラメータと小さな $\delta > 0$ に依存する重みを用いて初期データの小さな性質を定量化する。
• 初期の2次元球面 $S_0 = C_0 \cap \underline{C}_0$ 上に局所的曲率バウンドを課し、Weyl成分 $\beta, \rho, \sigma, \underline{\beta}$ の重み付き $L^p$-ノルムを、$r_0^{(7/2 + \delta - 2/p)}$ などの減衰率とともに評価する。
• 時空 $\mathcal{M}$ 上にダブルノルムフォリエーション $\{C(\lambda)\}, \{\underline{C}(\nu)\}$ を構成し、$\lambda \in [\lambda_1, \lambda_0]$、$\nu \in [\nu_0, \infty)$ とする。これは、$C(\lambda_1)$ と $\underline{C}(\nu_0)$ 上の初期データを用いたeikonal方程式の解に基づく。
• クライナークマンとニコロの $L^p$-ベースの重み付きノルムの枠組みを特徴的設定に適応し、幾何的量およびその微分の進化を制御する。
• 初期データの小さな性質とノルムの減衰構造に基づく連続性論法を用いて、解を時間的にグローバルに拡張し、$\mathcal{M} = \lim_{\nu_1 \to \infty} \mathcal{M}(\nu_1)$ 上での存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 2つのノルム円錐からなる特徴的超曲面上に与えられた小規模な初期データから、アインシュタイン真空方程式のグローバル解を構成できるか？
• RQ2 初期データノルムと曲率成分にどのような小さな条件を課すと、真空時空のグローバル存在が保証されるか？
• RQ3 ダブルノルムフォリエーションフレームワークを特徴的初期値問題にどのように適応し、グローバル存在を達成できるか？
• RQ4 クリストウドゥロウとクライナークマンのミンコフスキー安定性証明の手法は、ノルムデータを用いた特徴的設定にどの程度まで拡張可能か？
• RQ5 重み付き $L^p$-ノルム（$p \in [2,4]$）と減衰パラメータ $\delta > 0$ は、解の長時間的挙動を制御するために果たす役割は何か？

主な発見

• 初期データが $C_0 \cup \underline{C}_0$ 上で小さいとき、一意な真空アインシュタイン時空 $({\cal M}, {\bf g})$ が将来にわたりグローバルに存在し、$\mathcal{M}$ は $C(\lambda_1) \cup \underline{C}(\nu_0)$ の最大コーシー発展である。
• $\mathcal{M}$ は $\lambda \in [\lambda_1, \lambda_0]$、$\nu \in [\nu_0, \infty)$ に対して、ダブルノルム正準フォリエーション $\{C(\lambda)\}, \{\underline{C}(\nu)\}$ を持つ。これにより、明確な幾何的構造が保証される。
• 初期データノルム $J^{(q)}_{C_0 \cup \underline{C}_0} \leq \varepsilon$（$q \geq 7$）と $\varepsilon > 0$ が十分に小さいという小さな条件と、$S_0$ 上の局所的曲率バウンドの下でグローバル存在が達成される。
• $J^{(q)}_{C_0}$ と $J^{(q)}_{\underline{C}_0}$ の初期データノルムは、幾何的量の微分の重み付き $L^p$-ノルムを用いて定義され、$r^{(\cdot)}$ と $|\lambda|^{(\cdot)}$ の重みが無限遠での減衰を捉える。
• $S_0$ 上の局所的曲率バウンドは、$|r_0^{(7/2 + \delta - 2/p)} \beta|_{p,S_0} \leq c\varepsilon$、$|r_0^{(3 + \delta - 2/p)} (\rho - \overline{\rho}, \sigma)|_{p,S_0} \leq c\varepsilon$ などとして定量され、グローバル制御に十分な減衰が保証される。
• 解が $\mathcal{M} = \lim_{\nu_1 \to \infty} J^+(S(\lambda_1, \nu_0)) \cap J^-(S(\lambda_0, \nu_1))$ 上に存在することが示され、最大発展が将来のノルム無限遠まで延長されることを確認する。