[論文レビュー] Non-CMC Solutions of the Einstein Constraint Equations on Compact Manifolds with Apparent Horizon Boundaries

Michael Holst, Caleb Meier+1 more|arXiv (Cornell University)|Oct 8, 2013

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

ひとこと要約

本稿は、境界を伴うコンパクトなリーマン多様体上におけるアインシュタイン制約方程式の非定常平均曲率（非CMC）解の存在を確立する。特に、表面的視界（ロビン型）境界条件を用いてブラックホール内部をモデル化する。シュードラー型の不動点枠組みとグローバルバリア構成を用い、近CMCおよび遠CMCの場合の両方で存在を証明し、従来のCMC結果を拡張し、数値相対性理論への応用のための基礎的解法理論を提供する。

ABSTRACT

In this article we continue our effort to do a systematic development of the solution theory for conformal formulations of the Einstein constraint equations on compact manifolds with boundary. By building in a natural way on our recent work in Holst and Tsogtgerel (2013), and Holst, Nagy, and Tsogtgerel (2008, 2009), and also on the work of Maxwell (2004, 2005, 2009) and Dain (2004), under reasonable assumptions on the data we prove existence of both near- and far-from-constant mean curvature solutions for a class of Robin boundary conditions commonly used in the literature for modeling black holes, with a third existence result for constant mean curvature (CMC) appearing as a special case. Dain and Maxwell addressed initial data engineering for space-times that evolve to contain black holes, determining solutions to the conformal formulation on an asymptotically Euclidean manifold in the CMC setting, with interior boundary conditions representing excised interior black hole regions. Holst and Tsogtgerel compiled the interior boundary results covered by Dain and Maxwell, and then developed general interior conditions to model the apparent horizon boundary conditions of Dain and Maxwell for compact manifolds with boundary, and subsequently proved existence of solutions to the Lichnerowicz equation on compact manifolds with such boundary conditions. This paper picks up where Holst and Tsogtgerel left off, addressing the general non-CMC case for compact manifolds with boundary. As in our previous articles, our focus here is again on low regularity data and on the interaction between different types of boundary conditions. While our work here serves primarily to extend the solution theory for the compact with boundary case, we also develop several technical tools that have potential for use with the asymptotically Euclidean case.

研究の動機と目的

• コンパクト多様体に境界を伴う場合のアインシュタイン制約方程式の conformal 形式の解法理論を、定常平均曲率（CMC）の枠組みを越えて非CMC設定へと拡張すること。
• 内部境界における表面的視界境界条件をロビン型境界条件として組み込むことにより、数値相対性理論におけるブラックホール内部のモデル化を実現すること。
• 非線形結合の強度を制限する近CMC仮定を避ける低正則性仮定下での弱解に対する厳密な存在枠組みを構築すること。
• 閉多様体の結果と漸近的にユークリッドな設定の間のギャップを埋めるために、コンパクトおよび漸近的に平坦な両ケースに適用可能なツールを確立すること。

提案手法

• 制約写像の位相的性質と関数空間の不変性に基づく、トポロジー的性質を活用したシュードラー型不動点議論を採用する。
• ピカード反復写像の不変集合を保証するため、ハミルトニアン制約方程式においてグローバル下界および上界解を構成する。
• 計量の共形変換におけるハミルトニアン制約の共形不変性枠組みを適用し、係数の変換則により境界条件を保存する。
• 任意の平均曲率およびデータを扱えるように、非定常バリアを用いた修正されたバリア構成を導入する。
• トレースおよびソボレフ型空間（例：$W^{s,p}$）を用い、$s > n/p$ とすることで、低正則性データ下でも適切に定式化されることを保証する。
• 共形スケーリング下でのロビン境界条件系の共形不変性を確立し、物理的整合性を維持する上で重要である。

実験結果

リサーチクエスチョン

• RQ1 コンパクト多様体に表面的視界境界条件を伴うアインシュタイン制約方程式に対して、非CMC解の存在を証明できるか？
• RQ2 近CMC仮定に依存せずに、グローバルバリアをどのように構成できるか？（これは非線形結合の強度を制限する要因である。）
• RQ3 計量の再スケーリング下で、ハミルトニアン制約および境界条件の構造を保存する共形不変性の役割は何か？
• RQ4 低正則性データは、混合境界条件を伴う制約方程式の可解性にどのように影響するか？
• RQ5 コンパクト多様体に対して開発された解法枠組みを、漸近的にユークリッドな設定に適応できるか？

主な発見

• 本稿は、表面的視界境界を伴うコンパクト多様体上における、近CMCおよび遠CMCの平均曲率データに対して、弱解が存在することを証明する。
• ピカード写像の不変性を保証するため、グローバル下界および上界解が構成され、シュードラー不動点定理の適用が可能になる。
• ロビン型境界条件を伴うハミルトニアン制約に対して、共形不変性の結果が確立され、計量の共形スケーリング下でも系が一貫して変換されることを示す。
• 非線形結合の制約をグローバルバリア構成に特化させることで、近CMC仮定を回避し、より広範な適用可能性を実現する。
• 平均曲率がその勾配によって有界でない場合でも解が存在することを分析により確認し、従来のCMC限定の結果を拡張する。
• トレースおよび埋め込み結果（Sobolev空間の多様体上）といった技術的ツールが、漸近的にユークリッドな設定へも適用可能であることが示された。