[論文レビュー] The seed-to-solution method for the Einstein constraints and the asymptotic localization problem

Philippe G. LeFloch, The-Cang Nguyen|arXiv (Cornell University)|Mar 1, 2019

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

ひとこと要約

本稿は、無限遠における任意に指定された漸近的挙動を持つ、アインシュタイン制約方程式の漸近的にユークリッドな解を構成するための新規なシード・トゥ・ソリューション法を提案する。重み付きレベーグ・ハーディング空間枠組み内で線形化アインシュタイン作用素とその双対を反復することにより、解の存在と正確な減衰推定を確立し、特に調和的減衰を示す質量運動量補正項の発見を通じて、真空中でない場合の漸近的局在化問題を解消する。

ABSTRACT

We establish the existence of a class of asymptotically Euclidean solutions to Einstein's constraint equations, whose asymptotic behavior at infinity is arbitrarily prescribed. The proposed seed-to-solution method relies on iterations based on the linearized Einstein operator and its dual. It generates a Riemannian manifold (with finitely many asymptotically Euclidean ends) from any seed data set consisting of (1): a Riemannian metric and a symmetric two-tensor and (2): a (density) field and a (momentum) vector field representing the matter content. We distinguish between tame and strongly tame seed data sets, depending whether the data provides a rough or an accurate asymptotic Ansatz at infinity. We encompass classes of metrics and matter fields with low decay (with infinite ADM mass) or strong decay (with Schwarzschild behavior). Our analysis is motivated by Carlotto and Schoen's pioneering work on the localization problem for Einstein's vacuum equations. Dealing with metrics with very low decay and establishing estimates beyond harmonic decay require significantly new arguments. We analyze the nonlinear coupling between the Hamiltonian and momentum constraints. By establishing elliptic estimates for the linearized Einstein operator, we uncover the notion of mass-momentum correctors which is related to the ADM mass of the manifold. We derive precise estimates for the difference between the seed data and the actual solution, a result that should be of interest for future numerical investigation. Furthermore, we introduce here and study the asymptotic localization problem in which we replace Carlotto-Schoen's exact localization requirement by an asymptotic condition at a super-harmonic rate. With a suitably constructed, parametrized family of seed data, we solve this problem by exhibiting mass-momentum correctors with harmonic decay.

研究の動機と目的

• 無限遠における任意の漸近的挙動を有するアインシュタイン制約方程式の漸近的にユークリッドな解を生成する一般的手法の開発。
• カルロットとシューケンの局在化結果を真空中でない設定および低減衰を示す計量、特に無限大のADM質量を有する場合に拡張すること。
• 重み付き関数空間枠組み内でのハミルトニアンと運動量制約の非線形結合の解析。
• 超調和的減衰条件の下で漸近的局在化問題を導入し、それに対する解決。
• シードデータと得られたアインシュタイン解との差に対する正確な推定を導出し、将来的な数値的応用を可能にすること。

提案手法

• シード・トゥ・ソリューション法は、初期シードデータ：リーマン計量 $g_1$、対称テンソル $h_1$、物質場 $H^*$、$M^*$ の反復的精錬を通じて解を構成する。
• この手法は、シードデータの減衰特性に適合した重み付きレベーグ・ハーディング空間に適応された線形化アインシュタイン作用素とその双対の解析に依存する。
• 線形化作用素とその双対に対する楕円型正則性推定が導出され、解の漸近的構造の制御が可能になる。
• 質量運動量補正項という概念が導入され、特にADM質量と運動量において、シードデータと実際の解との乖離を定量化する。
• 漸近的局在化問題を解くために、減衰率を調整したパラメータ族のシードデータが構成される。
• この手法は真空中および物質結合付きの両ケースを含み、無限大のADM質量を有する計量や、シュバルツシルトに類似した強い減衰（スカラーモデル）を示す計量に対しても適用可能である。

実験結果

リサーチクエスチョン

• RQ1 無限遠における任意に指定された漸近的挙動を有する、アインシュタイン制約方程式の広範なクラスの漸近的にユークリッドな解を構成可能か？
• RQ2 低減衰を示す重み付き関数空間におけるハミルトニアンと運動量制約の非線形結合をどのように制御できるか？
• RQ3 質量運動量補正項は、シードデータと最終的なアインシュタイン解との関係において、果たす役割と構造は何か？
• RQ4 正確な局在化ではなく、超調和的減衰条件の下で漸近的局在化問題を解くことは可能か？
• RQ5 低減衰または無限質量計量を伴う状況において、シードデータと解との差に対する正確な減衰推定はどのように導出可能か？

主な発見

• 本稿では、無限大における任意の漸近的挙動を有するアインシュタイン制約方程式の解の存在が確立され、無限大のADM質量を有する計量を含む。
• 真空中で $p_M < 1$ の場合、解は $g = g_1 + O(r^{-p_M})$、$h = h_1 + O(r^{-p_M-1})$ のように減衰し、シードデータの減衰と一致する。
• $p_M = 1$ で制約が可積分である場合、解は調和的減衰を示す：$g = g_1 + e_m r^{-2} \operatorname{Hess}_{g_{\text{Eucl}}}(r^{-1}) + o(r^{-1})$ で、$e_m$ はデータによって定まる定数。
• 質量運動量補正項 $e_m(s,t)$ は明示的に推定され、$e_m(s,t) = \frac{5}{16\pi} \left( t \int_{S^2} \Psi \, d\omega + s \int_{S^2} \Phi \, d\omega \right) + O(\epsilon) $ と表され、角度依存性を示す。
• 漸近的局在化問題は、パラメータ族のシードデータを構成することで解決され、解は領域 $C_a \cup C_{a+\epsilon}^c$ 内でシュバルツシルト計量に漸近的に一致し、$C^{2,\alpha}_\theta$（$\theta \in (1,2)$）で誤差が抑えられる。
• この手法により、解がシードデータからどれほど逸脱するかを正確に制御でき、計量と外在的曲率に関して、それぞれ $C^{2,\alpha}_\theta$ および $C^{2,\alpha}_{\theta+1}$ で差が有界であることが示された。