[논문 리뷰] The characteristic initial-boundary value problem for the Einstein--massless Vlasov system in spherical symmetry

Georgios Moschidis|arXiv (Cornell University)|2018. 12. 11.

Cosmology and Gravitation Theories참고 문헌 6인용 수 20

한 줄 요약

이 논문은 $\Lambda < 0$인 점근적으로 아도스(AdS) 시공간에서 반사 경계 조건을 갖는 구형 대칭 아인슈타인-무질량 볼라소프 시스템에 대한 특성 초기경계값 문제의 잘 정의됨을 확립한다. $2m/r$의 소형성 조건 하에서 매끄러운 해에 대한 존재성, 유일성 및 계속성 기준을 증명하고, 낮은 정규성과 척도 불변 노름에서의 작은 변화에 대해 아도스 시공간의 코시 안정성을 보이며, 이러한 데이터에 대해 장시간 존재를 암시한다.

ABSTRACT

In this paper, we initiate the study of the asymptotically AdS initial-boundary value problem for the Einstein-massless Vlasov system with $Λ&lt;0$ in spherical symmetry. We will establish the existence and uniqueness of a maximal future development for the characteristic initial-boundary value problem in the case when smooth initial data are prescribed on a future light cone $\mathcal{C}^{+}$ emanating from a point at $\{r=0\}$ and a reflecting boundary condition is imposed on conformal infinity $\mathcal{I}$. We will then prove a number of continuation criteria for smooth solutions of the spherically symmetric Einstein-massless Vlasov system, under the condition that the ratio $2m/r$ remains small in a neighborhood of $\{r=0\}$. Finally, we will establish a Cauchy stability statement for Anti-de Sitter spacetime as a solution of the spherically symmetric Einstein-massless Vlasov system under initial perturbations which are small only with respect to a low regularity, scale invariant norm $||\cdot||$. This result will imply, in particular, a long time of existence statement for $||\cdot||$-small initial data. This paper provides the necessary tools for addressing the AdS instability conjecture in the setting of the spherically symmetric Einstein--massless Vlasov system, a task which is carried out in our companion paper. However, the results of this paper are also of independent interest.

연구 동기 및 목표

• 점근적으로 $\Lambda < 0$인 아도스 시공간에서 구형 대칭 특성 초기경계값 문제에 대해 최대 미래 발전의 존재성과 유일성을 확립하는 것.
• 중앙부근에서 $2m/r \ll 1$이라는 조건 하에 매끄러운 해의 계속성 기준을 도출하여 정규성과 확장 가능성 보장하는 것.
• 낮은 정규성과 척도 불변 노름 $||\cdot||$로 측정된 작은 초기 변화에 대해 아도스 시공간의 코시 안정성 명제를 증명하고, 이러한 해에 대한 장시간 존재를 암시하는 것.
• 구형 대칭 아인슈타인-무질량 볼라소프 시스템의 맥락에서 아도스 불안정성 추측을 다루기 위한 기초 도구를 제공하는 것.
• 특히 반사 경계 조건 하에서 $r=0$ 근처와 공변 무한대 $\mathcal{I}$에서 해의 행동을 분석하는 것.

제안 방법

• 구형 대칭 시공간을 기술하기 위해 双광선 좌표를 사용하고, 이 게이지에서 아인슈타인-무질량 볼라소프 시스템을 설정함으로써 진화 방정식의 체계적 분석이 가능하도록 한다.
• 초기 데이터는 $r=0$에서 출발하는 미래 빛원뿔 $\mathcal{C}^+$에 매끄럽게 설정되며, 공변 경계인 $\mathcal{I}$에 반사 경계 조건이 도입된다.
• 특성 초기자료 집합에 대한 국소적 잘 정의됨 결과를 활용하고, 제약 조건 전파와 게이지 정규화를 통해 최대 미래 발전의 존재성과 유일성을 확립한다.
• 외부 영역 내 해에 대한 일반적인 연장 원리를 개발하였으며, 질량-반경 비율 $2m/r$의 유계성과 메트릭 성분의 행동에 기반한다.
• 초기 데이터를 측정하기 위해 낮은 정규성과 척도 불변 노름 $||\cdot||$을 도입하여, 아도스 시공간의 코시 안정성 증명이 가능하도록 한다.
• 지오데식 흐름과 $\partial_v r$, $\partial_u r$, 질량 함수 $m$의 행동에 대한 세밀한 추정을 수행하였으며, 특히 $\mathcal{I}$와 $r=0$ 근처에서 적분 부등식과 점근 전개를 사용한다.

실험 결과

연구 질문

• RQ1 점근적으로 $\Lambda < 0$인 아도스 시공간에서 반사 경계 조건이 $\mathcal{I}$에 존재하는 구형 대칭 아인슈타인-무질량 볼라소프 시스템의 특성 초기경계값 문제는 어떤 조건에서 최대 미래 발전이 존재하고 유일하게 정의되는가?
• RQ2 중앙부근에서 $2m/r$가 작을 경우, 매끄러운 해의 연속적인 확장 가능성을 보장하는 조건은 무엇인가?
• RQ3 낮은 정규성과 척도 불변 노름 $||\cdot||$로 측정된 초기 변화가 작을 경우, 아도스 시공간의 코시 안정성은 어떻게 증명할 수 있는가?
• RQ4 공변 무한대 $\mathcal{I}$에 존재하는 반사 경계 조건은 해의 전역 존재성과 정규성에 어떤 영향을 미치는가?
• RQ5 경계 $\mathcal{I}$ 근처에서 비율 $2m/r$의 행동은 어떠한가? 이는 해의 최대 발전에 어떤 제약을 가하는가?

주요 결과

• 반사 경계 조건이 $\mathcal{I}$에 존재하는 점근적으로 아도스 시공간에서의 구형 대칭 아인슈타인-무질량 볼라소프 시스템에 대한 특성 초기경계값 문제는 잘 정의되어 있으며, 최대 미래 발전의 존재성과 유일성을 보장한다.
• 초기 데이터가 매끄럽고 필요한 일致 조건을 만족할 경우, $r=0$ 근처에서 $2m/r \ll 1$이면 해는 $r=0$을 넘어서도 매끄럽게 연장 가능하다.
• 외부 영역 내 해에 대한 일반적인 연장 원리가 확립되었으며, 이는 $\partial_v r$의 유계성과 단조성, $m/r$의 행동에 기반한다.
• 논문은 $\mathcal{I}$에 접근하는 수열에 대해 $\lim_{n\to\infty} \frac{2m}{r}(u_n,v_n) = 1$임을 증명하였으며, 이는 경계에서 트랩프 서피스 또는 곡률 특이점의 형성을 시사한다.
• 초기 변화가 $||\cdot||$-소작일 경우 아도스 시공간의 코시 안정성이 확립되었으며, 이는 이러한 해에 대한 장시간 존재 성립을 암시한다.
• 분석을 통해 $\partial_v r < 0$임을 확인하였으며, 이는 $u = u_*$이고 $v \geq v_*$일 때 $\{u = u_*\} \cap \mathcal{I} = \emptyset$임을 의미한다. 따라서 $u_* < u_{\mathcal{I}}$이며, $2m/r < 1$이면 해는 $\mathcal{I}$까지 정규성을 유지한다.