[論文レビュー] Geometric uniqueness for non-vacuum Einstein equations and applications

David Parlongue|arXiv (Cornell University)|Sep 3, 2011

Geometric Analysis and Curvature Flows参考文献 7被引用数 5

ひとこと要約

本稿は、波動座標における解が最適正則性を保つことを証明することで、一般の物質モデルを伴う非真空アインシュタイン方程式に対して幾何学的一意性を確立する。プラナンソン＝ロドニアンスキーの真空系の結果を拡張し、曲率やリッチテンソルの幾何的境界のもとで、ローレンツ計量がde Donderゲージにおいて最適正則性に達することを示す。これは、双曲型エネルギー推定を用いて、リーマン幾何におけるCheeger-Gromov理論に類似した時空列の前コンパクト性を可能にする。

ABSTRACT

We prove in this note that local geometric uniqueness holds true without loss of regularity for Einstein equations coupled with a large class of matter models. We thus extend the Planchon-Rodnianski uniqueness theorem for vacuum spacetimes. In a second part of this note, we investigate the question of local regularity of spacetimes under geometric bounds.

研究の動機と目的

• プラナンソンとロドニアンスキーの真空系における幾何学的一意性結果を、一般の物質モデルを伴う非真空アインシュタイン方程式へ拡張すること。
• 幾何的境界（曲率、リッチ）のもとで、de Donderゲージにおける時空計量が、ゲージ依存の仮定ではなく、最適正則性を達成することを確立すること。
• CMCSHゲージで用いられる楕円的メソッドとは補完的である、正則性を扱うための双曲型PDEフレームワークを構築すること。
• リーマン幾何におけるCheeger-Gromov理論に類似した、幾何的境界のもとで時空列の前コンパクト性を確立すること。
• 存在定理と幾何学的一意性のギャップを埋めるために、アインシュタイン方程式を用いる際、波動座標における正則性の損失が発生しないことを示すこと。

提案手法

• 波動座標とde Donderゲージにおける計量の正則性を制御するため、幾何的線形波動方程式に対する双曲型エネルギー推定を用いる。
• アインシュタイン-物質系にde Donder（または調和）ゲージ条件を適用し、波動座標が $\square_{\bf g}x^\alpha = 0$ を満たすように保証する。
• 時空スライス $\Sigma_t$ 上のソボレフノルム $X^s_T$ と $H^s$ 空間を用いて、初期データおよび解の正則性を定量化する。
• 計量および初期データの微小摂動の下で、物質方程式 $F(\Psi, {\bf g}) = 0$ の安定性と一意性に依存する。
• 初期データを $\Sigma_p$ 上で $H^{s+1}$ とし、座標の波動方程式に対するエネルギー推定を用いて、局所的波動座標を構成する。
• 曲率およびリッチテンソルの境界を用いて、時空の球体の幾何を制御し、波動座標における一様推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 幾何学的一意性が、真空時空に限らず一般の物質モデルを含むアインシュタイン方程式へ拡張可能か？
• RQ2 曲率やリッチの幾何的境界のみを仮定した場合、de Donderゲージにおける計量が最適正則性を保つのか？（追加のゲージ仮定は不要か？）
• RQ3 リーマン幾何におけるCheeger-Gromov理論に類似した、幾何的境界のもとで時空列の前コンパクト性を確立できるか？
• RQ4 単に計量の進化ではなく、完全なアインシュタイン方程式を用いる場合、波動座標における正則性の損失は回避可能か？
• RQ5 双曲型推定は、リーマン計量の正則性を示すために、楕円的メソッドに代わる方法としてどの程度有効に機能するか？

主な発見

• 物質モデルが一般であっても、追加の正則性仮定なしに、非真空アインシュタイン方程式に対して幾何学的一意性が成立し、プラナンソン＝ロドニアンスキーの結果が一般物質モデルへ拡張される。
• 計量が物理的正則性仮定を満たすとき、線形波動方程式 $\square_{\bf g}\phi = 0$ は $1 \leq r \leq s+1$ に対して適切に定義され、de Donderゲージにおける最適正則性を示唆する。
• 幾何的境界のもとで、時空球体 $B(p, r')$ は $\|{\bf g}\|_{X_w^s} \lesssim D(\alpha)$ を満たす波動座標を有し、新たなゲージにおける局所的正則性を証明する。
• 与えられた幾何的仮定のもとで、計量 $\bf g$ が任意のゲージで $X^s_T$ に属するならば、de Donderゲージでも $X^s_T$ に属する。
• 前コンパクト性の結果が成立する：幾何的ノルムが有界な時空の族 $\mathcal{X}(r,s,\alpha;\mathcal{F})$ は、$1+\beta < s - 3/2$ のとき、点付き $C^{1,\beta}$ 位相において前コンパクトである。
• 双曲型推定を用いるアプローチにより、CMCSHゲージにおける楕円的メソッドとは補完的なフレームワークが得られ、波動座標の進化に基づく正則性の新たな道筋が提示される。