[논문 리뷰] Weakly regular T2 symmetric spacetimes. The global geometry of future developments

Philippe G. LeFloch, Jacques Smulevici|arXiv (Cornell University)|2010. 12. 29.

Black Holes and Theoretical Physics참고 문헌 7인용 수 3

한 줄 요약

이 논문은 $T^2$-대칭 시공간에서 약한 정규성 조건 하에 진공 아인슈타인 방정식의 전역 적합성(global well-posedness)을 확립하며, 향후 발전의 존재성, 유일성 및 안정성을 보장하는 기하학적 프레임워크를 도입한다. 이는 영역 함수 $R$가 무한대로 증가하고, $R =$ 상수 초면들로의 전역 분할(foliation)을 갖는다는 것을 증명한다. 비록 최소한의 미분 가능성 조건이 요구되지만, 메트릭 계수는 최적의 $L^p$ 및 소볼레프 유형 정규성 경계를 만족한다.

ABSTRACT

Under weak regularity assumptions, only, we develop a fully geometric theory of vacuum Einstein spacetimes with T2 symmetry, establish the global well-posedness of the initial value problem for Einstein's field equations, and investigate the global causal structure of the constructed spacetimes. Our weak regularity assumptions are the minimal ones allowing to give a meaning to the Einstein equations under the assumed symmetry and to solve the initial value problem. First of all, we introduce a frame adapted to the symmetry in which each Christoffel symbol can be checked to belong to some Lp space. We identify certain cancellation properties taking place in the expression of the Riemann and Ricci curvatures, and this leads us to a reformulation of the initial value problem for the Einstein field equations when the initial data set has weak regularity. Second, we investigate the future development of a weakly regular initial data set. We check that the area R of the orbits of symmetry must grow to infinity in the future timelike directions, and we establish the existence of a global foliation by the level sets of R. Our weak regularity assumptions only require that R is Lipschitz continuous while the metric coefficients describing the initial geometry of the orbits of symmetry are in the Sobolev space H1 and the remaining coefficients have even weaker regularity. We develop here the compactness arguments required to cover the natural level of regularity associated with the energy of the system of partial differential equations determined from Einstein's field equations.

연구 동기 및 목표

• 약한 정규성 조건 하에서 $T^2$-대칭 진공 아인슈타인 시공간에 대한 완전히 기하학적이고 적합한 이론을 개발한다.
• 아인슈타인 방정식이 의미 있고 해를 갖기 위해 필요한 최소 정규성 조건을 규명한다.
• 약한 정규성 초기 데이터 세트의 향후 발전의 전역 인과적 및 기하학적 구조를 확립한다.
• 영역 함수 $R$의 등고선으로 이루어진 전역 분할이 존재함을 증명한다. 이는 향후 시간적 방향으로 무한대로 증가한다.
• 약한 정규성 조건 하에서 안정성과 유일성을 보장하는 컴 pact성 및 사전 추정을 도출한다.

제안 방법

• 대칭군에 적합한 프레임을 사용하여 $T^2$-대칭 하에서 아인슈타인 방정식의 기하학적이고 좌표에 의존하지 않는 표현을 채택한다.
• 리만 및 리치 곡률 내에서의 상쇄 구조를 규명하여 약한 정규성 조건 하에서 초기값 문제를 재구성한다.
• 영역 좌표를 사용하여 시공간을 매개변수화하고, $R$을 시간 변수로 삼아 메트릭 성분 $U, A, \nu, a, G, H$에 대한 진화 방정식을 유도한다.
• 에너지 추정과 부분 적분을 통해 모든 메트릭 성분, 특히 $a$와 그 도함수에 대한 $L^p$ 및 소볼레프 유형 경계를 확립한다.
• 영역 함수 $R$이 리프시츠 연속이며 향후 시간적 방향으로 무한대로 증가함을 증명하여 전역 분할이 가능함을 보장한다.
• 초기 데이터의 낮은 정규성 조건을 다루기 위해 약한 수렴과 균일한 $L^1$ 추정에 기반한 새로운 컴 pact성 추론 기법을 개발한다.

실험 결과

연구 질문

• RQ1 대칭성에 따라 아인슈타인 방정식을 의미 있게 기술하기 위해 필요한 최소 정규성 조건은 무엇인가?
• RQ2 약한 정규성 조건을 갖는 $T^2$-대칭 초기 데이터 세트의 향후 발전은 영역 함수 $R$의 등고선으로 이루어진 전역 분할을 갖는가?
• RQ3 초기 메트릭 계수에 $H^1$-정규성 조건만을 요구할 때, 아인슈타인 방정식의 전역 존재성, 유일성 및 안정성을 확립할 수 있는가?
• RQ4 영역 함수 $R$은 향후로 어떻게 渐近적으로 행동하며, 무한대로 증가하는가?
• RQ5 약한 정규성 조건 하에서 메트릭 성분과 그 도함수에 대한 최적의 $L^p$ 및 소볼레프 유형 추정은 무엇인가?

주요 결과

• 영역 함수 $R$은 리프시츠 연속이며, 모든 향후 시간적 곡선을 따라 무한대로 증가하여 전역 쌍곡성(global hyperbolicity)을 보장한다.
• 전체 향후 발전 영역에서 영역 함수 $R = \text{const}$ 초면들로 이루어진 전역 분할이 존재한다.
• 메트릭 계수 $U, A$는 $C^0_R(H^1_\theta(S^1)) \cap C^1_R(L^2_\theta(S^1))$에 속하며, $\eta$는 $C^0_R(W^{1,1}_\theta(S^1)) \cap C^1_R(L^1_\theta(S^1))$에 속하여 최적의 정규성을 나타낸다.
• 계수 $a$와 그 역수는 $a, a^{-1} \in C^0_R(W^{2,1}_\theta(S^1)) \cap C^1_R(W^{1,1}_\theta(S^1))$를 만족하며, 두 번째 도함수에 대해 균일한 $L^1$ 경계를 갖는다.
• 혼합 도함수 $a_{R\theta}$는 에너지 밀도 $E$에 의해 점별로 제어되며, $|a_\theta| \leq C^*$가 균일하게 성립한다.
• 고차 도함수, 특히 $a_{RR}, a_{R\theta}, a_{\theta\theta}$는 $L^1$ 노름에서 균일하게 유계이며, 해 구조의 강건성을 확인한다.