[論文レビュー] Rough Solutions of the Einstein Constraint Equations

David Maxwell|ArXiv.org|May 17, 2004

Geometric Analysis and Curvature Flows参考文献 19被引用数 6

ひとこと要約

本論文は、$s > 3/2$ に対して $H^s_{\text{loc}}$ メトリックを有する3次元多様体上でのアインシュタイン制約方程式の低正則性解の存在を、共形法と陰関数定理の技法を用いて確立する。すべてのこうした粗い最大時空的で漸近的にオイラー的解が、滑らかな解によって近似可能であることを証明し、アインシュタイン進化方程式の粗い初期データ理論における重要なギャップを埋める。

ABSTRACT

We construct low regularity solutions of the vacuum Einstein constraint equations. In particular, on 3-manifolds we obtain solutions with metrics in $H^s\loc$ with $s>{3\over 2}$. The theory of maximal asymptotically Euclidean solutions of the constraint equations descends completely the low regularity setting. Moreover, every rough, maximal, asymptotically Euclidean solution can be approximated in an appropriate topology by smooth solutions. These results have application in an existence theorem for rough solutions of the Einstein evolution equations.

研究の動機と目的

• 真空中のアインシュタイン制約方程式の低正則性解の存在を確立すること、特に $s > 3/2$ に対して $H^s_{\text{loc}} \times H^{s-1}_{\text{loc}}$ のソボレフ空間内での解。
• 古典的 $H^{5/2}$ の閾値未満の解を構成することで、アインシュタイン方程式の粗い初期データ計画における重要なギャップを解消すること。
• すべての粗い最大時空的で漸近的にオイラー的な解が、$H^s_{\delta} \times H^{s-1}_{\delta-1}$ 内で滑らかな解の列によって近似可能であることを証明すること。
• 低正則性における制約方程式理論を完成させることで、$s > 3/2$ まで下がるアインシュタイン進化方程式の局所的well-posednessの基礎を築くこと。

提案手法

• 最大条件 $\text{tr} K = 0$ の下で、共形法を用いて制約方程式を、共形因子 $\phi$ に関するリヒネルト型方程式とテンソル $\sigma$ に関する横方向トレースレス方程式に分離する。
• 初期データの正則化により $H^s_{\text{loc}} \times H^{s-1}_{\text{loc}}$ 内の近似解を構成し、重み付きソボレフ空間 $H^s_\delta \times H^{s-1}_{\delta-1}$ 内で共形方程式を解く。
• 非線形方程式 $\mathcal{F}(g,\sigma,v) = 0$ を補正関数 $v$ について解くことで、計量と外在的曲率を補正し、望ましい位相での収束を保証する。
• ブートストラップ法を用いて正則性を向上させ、$s > 3/2$ に対して $H^s_\delta$ 内の解がすべての $t \geq s$ に対して $H^t_\delta$ 内にあることを示し、最終解の高正則性を保証する。
• 非線形作用素 $\mathcal{F}$ のフレシェ微分を用いて、極限点における線形化作用素の可逆性を検証し、陰関数定理の適用を可能にする。
• 非線形項（例：$|\sigma|^2 \phi^{-2\kappa-3}$）の振る舞いを制御するため、重み付きソボレフ空間推移と非線形写像性質（例：$H^s$ 内の乗法）を用いる。

実験結果

リサーチクエスチョン

• RQ1 $s > 3/2$ に対して、ソボレフ空間 $H^s_{\text{loc}} \times H^{s-1}_{\text{loc}}$ 内で、古典的 $H^{5/2}$ 閾値未満のアインシュタイン制約方程式の解を構成することは可能か？
• RQ2 $s > 3/2$ に対して、$H^s_{\text{loc}} \times H^{s-1}_{\text{loc}}$ 内のすべての粗い最大時空的で漸近的にオイラー的な解が、同じ位相内での滑らかな解の列によって近似可能か？
• RQ3 $s > 3/2$ に対して、リヒネルト方程式と横方向トレースレス方程式が $H^s$ 内で解けるという共形法が、低正則性設定にまで拡張可能か？
• RQ4 重み付きソボレフ空間 $H^s_\delta$ 内の低正則性において、陰関数定理を用いて近似解を正確な解に補正することが可能か？
• RQ5 曲率が分布的のままであるが、well-posed 制約問題を許容できる最小正則性は何か？

主な発見

• 本論文は、すべての $s > 3/2$ に対して、$H^s_{\text{loc}} \times H^{s-1}_{\text{loc}}$ 内で最大時空的で漸近的にオイラー的なアインシュタイン制約方程式の解を構成し、アインシュタイン方程式のスケーリング極限における存在性を確立する。
• $s > 3/2$ に対して、$H^s_{\delta} \times H^{s-1}_{\delta-1}$ 内のすべてのこうした粗い解は、同じ位相内での古典的滑らかな解の列によって近似可能である。
• $3/2 < s < 2$ のとき、計量 $g$ の曲率が分布的であることが示され、解空間が可積分でない曲率を有する計量を含むことが示された。
• 非線形作用素 $\mathcal{F}(g,\sigma,v)$ がフレシェ微分可能であり、極限解の近傍でその微分が同型写像であることを証明することで、共形法が低正則性にまで拡張された。
• 重み付きソボレフ空間 $H^s_\delta$ 内で陰関数定理が成功裏に適用され、近似解が正確な解に補正され、必要なノルム内での列の収束が保証された。
• 解空間が高正則性に関して閉じていることが示された： $H^s_\delta$ 内にある解は、すべての $t \geq s$ に対して $H^t_\delta$ 内にある。これはブートストラップ法によって得られた。