[논문 리뷰] The seed-to-solution method for the Einstein constraints and the asymptotic localization problem

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

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}$ 공간에서 유계임을 보여준다.