[論文レビュー] An integral breakdown criterion for Einstein vacuum equations in the case of asymptotically flat spacetimes

David Parlongue|arXiv (Cornell University)|Apr 24, 2010

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

ひとこと要約

本稿は、非コンpaktoな葉と重み付きソボレフノルムの課題に直面するも、最大葉分割を用いて漸近的に平坦な時空におけるアインシュタイン真空方程式の積分的崩壊基準を確立する。これにより、従来の点関数的基準を改善し、ベソフノルムとパラメトリックス推定を用いて曲率フラックスを制御し、ブートストラップの議論を閉じる鋭い積分的条件を証明する。

ABSTRACT

We will give in this paper the proof of an integral breakdown criterion for Einstein vacuum equations. In a recent article of S.Klainerman and I.Rodnianski a new breakdown criterion was proved as a result of a sequence of articles involving new techniques. However, in this article, the authors mentioned that it was likely possible to prove a sharper result involving an integral condition instead of a pointwise one. This paper is concerned with giving the proof of this improvement. Moreover the proof of this breakdown criterion was written in the original article for a foliation of constant mean curvature, we will present it here for a maximal foliation which leads to some difficulties due to the non-compacity of the leaves of such a foliation and the use of weighted Sobolev norms.

研究の動機と目的

• 漸近的に平坦な時空におけるアインシュタイン真空方程式の鋭い積分的崩壊基準を確立し、従来の点関数的基準を改善すること。
• 最大葉分割における非コンパクトな葉に起因する技術的課題に対処し、重み付きソボレフノルムの使用を要請すること。
• 定平均曲率葉分割から最大葉分割への崩壊基準の拡張を図ることで、漸近的に平坦な設定においてより自然な枠組みを提供すること。
• ベソフノルムとパラメトリックス推定を用いてブートストラップの議論を閉じることで、曲率フラックスと接続係数の制御を保証すること。
• 初期データが小さく、曲率フラックスが小さい場合に全時間領域での存在が保証され、基準が基本定数にのみ依存することを証明すること。

提案手法

• 時空を時間関数 $ t $ を用いた最大葉分割で分割し、葉 $ \Sigma_t $ は非コンパクトで、重み付きソボレフノルム $ H_{n,s} $ を備える。
• キルヒホッフ＝ソボレフパラメトリックスを用いて、光錐上での輸送方程式および波動方程式の解を制御し、曲率成分における精密な推定を可能にする。
• 接続係数 $ \tilde{\mu}, \eta, \chi $ および曲率 $ R $ の時間発展を制御するため、ベソフ型ノルム $ \mathcal{B}^0 $ と $ \mathcal{N}_1 $ を用いる。
• 輸送方程式を $ \tilde{\mu} $ および $ \eta $ に対して導出し、$ \nabla_L P $, $ E $, $ \nabla tr\chi $, および $ A \cdot A \cdot C $ を含む源項を含む。これらをパラメトリックス推定とトレース推定を用いて制御する。
• 楕円型推定とホッジ系を用いて $ \eta $ および $ \tilde{\mu} $ を制御し、それらを曲率フラックスと初期データノルムに結びつける。
• ブートストラップの議論を閉じるため、$ \|M\|_{\mathcal{B}^0} \lesssim \mathcal{I} + \mathcal{R} + M_0^2 $ を示す。ここで $ \mathcal{I} $ および $ \mathcal{R} $ は初期データおよび曲率フラックスノルムである。

実験結果

リサーチクエスチョン

• RQ1 漸近的に平坦な時空におけるアインシュタイン真空方程式に対して、従来の点関数的条件を置き換える鋭い積分的崩壊基準を確立できるか？
• RQ2 非コンパクトな葉と重み付きソボレフノルムの必要性に直面しても、最大葉分割におけるブートストラップの議論をどのように閉じられるか？
• RQ3 ベソフノルムとキルヒホッフ＝ソボレフパラメトリックスは、曲率および接続係数の時間発展を制御するために果たす役割は何か？
• RQ4 $ \tilde{\mu} $, $ \eta $, および $ \chi $ の推定は初期データおよび曲率フラックスにどのように依存し、一様に有界にできるか？
• RQ5 崩壊基準を基本定数と初期データノルムにのみ依存させる程度はどの程度達成可能か？

主な発見

• 本稿は、漸近的に平坦な時空におけるアインシュタイン真空方程式の鋭い積分的崩壊基準を確立し、以前の点関数的条件を置き換える。
• 基準は最大葉分割に対して証明されており、定平均曲率葉分割よりも漸近的に平坦な設定においてより自然である。
• 初期データノルム $ \mathcal{I} $ および曲率フラックスノルム $ \mathcal{R} $ が十分に小さいという仮定の下で、ブートストラップの議論が閉じる。
• 推定 $ \|\tilde{\mu}\|_{\mathcal{B}^0} \lesssim \mathcal{I} + \mathcal{R} + M_0^2 $ が導出され、パラメトリックスおよびベソフノルム技術を用いてせん断成分が制御されることを示す。
• $ \tilde{\mu} $ の $ L^2_x L^\infty_t $ ノルムが $ \mathcal{I} + \mathcal{R} + M_0^2 $ で有界であることが確認され、時間発展における一様な制御が保証される。
• $ \eta $ および $ \nabla\eta $ のトレース推定が $ \|\eta\|_{L^\infty_x L^2_t} \lesssim \mathcal{I} + \mathcal{R} + M_0^2 $ を通じて閉じられ、正則性と減衰が保証される。