[논문 리뷰] Spacelike spherically symmetric CMC hypersurfaces in Schwarzschild spacetimes (I): Construction

Kuo-Wei Lee, Yng-Ing Lee|arXiv (Cornell University)|2011. 11. 11.

Geometric Analysis and Curvature Flows참고 문헌 8인용 수 5

한 줄 요약

이 논문은 슈바르츠실 블랙홀 시공간과 그 크루스칼 좌표로의 해석적 연장에서, 시공간적으로 구형 대칭인 일정 평균 곡률(SS-CMC) 초표면을 구성하고, 이들이 사건의 지평선 $ r = 2M $ 를 넘어서 부드럽게 이어질 수 있음을 보인다. $ C^2 $ 정칙성과 PDE 이론을 통해 $ C^∞ $ 스무스성에 도달함을 증명하며, 크루스칼 연장에서의 모든 완전한 SS-CMC 초표면을, 무한대, 특이점 또는 실린드릭 표면에 끝을 갖는 특정 해의 해를 통해 분류한다.

ABSTRACT

We solve spacelike spherically symmetric constant mean curvature (SS-CMC) hypersurfaces in Schwarzschild spacetimes and analyze their asymptotic behavior near the coordinate singularity r = 2M. Furthermore, we join SS-CMC hypersurfaces in the Kruskal extension to obtain complete ones and discuss the smooth properties.

연구 동기 및 목표

• 슈바르츠실 시공간의 외부 및 내부에서 시공간적으로 구형 대칭인 일정 평균 곡률(SS-CMC) 초표면을 구성하기.
• 좌표 특이점 $ r = 2M $ 근처에서의 초표면의 점 渐진적 행동 분석하기.
• 크루스칼 연장의 영역 I, II(또는 I', II')에서 유래한 SS-CMC 초표면을 조합하여 $ r=2M $ 를 넘어서 완전하고 스무스한 초표면을 형성하기.
• 일반 상대성 이론에서 비대칭 CMC 문제의 장벽 함수로 사용될 수 있는 명시적 기하학적 해 제공하기.

제안 방법

• Kruskal 좌표를 사용하여 슈바르츠실 계량을 매개변수화하고, $ r $ 을 $ (r - 2M)e^{r/2M} = X^2 - T^2 $ 를 통해 암묵적으로 정의한다.
• Kruskal 좌표에서 SS-CMC 조건을 유도하여 $ V(U) $ 에 대한 이阶 미분방정식을 도출하고, 시공간적 조건 $ 1 - (F')^2 > 0 $ 를 만족시킨다.
• 영역 I 및 I' 에서 $ f_1(r), f_3(r) $ 의 해를 구성하고, $ r = 2M $ 에서 도함수를 일치시켜 $ d^2V/dU^2 $ 의 극한 분석을 통해 $ C^2 $ 정칙성을 확보한다.
• $ F_1(2M) = -F_3(2M) $ 라는 사실을 이용해 $ r = 2M $ 를 넘어서의 스무스한 접합을 보장하고, 표준 PDE 이론을 적용하여 $ C^2 $ 를 $ C^∞ $ 스무스성으로 향상시킨다.
• 영역 I, II, I', II' 에서의 해를 분석하여, 공간 무한대, $ r = 0 $, 또는 $ r = r_H $ 에서 끝을 갖는 다양한 경계 행동을 가진 해를 기반으로 모든 완전한 SS-CMC 초표면을 분류한다.

실험 결과

연구 질문

• RQ1 슈바르츠실 시공간과 그 크루스칼 연장에서 시공간적으로 구형 대칭인 일정 평균 곡률(SS-CMC) 초표면은 어떻게 구성할 수 있는가?
• RQ2 사건의 지평선 $ r = 2M $ 근처에서 SS-CMC 초표면의 점 渐진적 행동은 어떠하며, 이는 스무스성에 어떤 영향을 미치는가?
• RQ3 외부 및 내부 영역에서 유래한 SS-CMC 초표면은 어떻게 조합되어 $ r = 2M $ 를 넘어서 완전하고 스무스한 초표면을 형성할 수 있는가?
• RQ4 완전한 크루스칼 연장에서의 SS-CMC 초표면은 무엇이며, 어떻게 분류되는가?

주요 결과

• 영역 I 및 I' 의 SS-CMC 초표면은 $ r = 2M $ 를 넘어서 $ C^2 $ 정칙성을 갖는다. 이는 $ F_1(2M) $ 와 $ F_3(2M) $ 에 의존하는 두 번째 도함수의 극한에 따라 결정되며, 조건 $ F_1(2M) = -F_3(2M) $ 가 성립할 경우 스무스한 접합이 보장된다.
• 표준 PDE 이론에 따라 $ C^2 $ 해는 Kruskal 좌표에서 SS-CMC 방정식의 해로서 무한 차수의 미분 가능성을 갖기 때문에, 결과 초표면는 $ C^∞ $ 스무스하다.
• 크루스칼 연장에서의 모든 완전한 SS-CMC 초표면은 영역 I, II, I', II' 에서의 해를 통해 유도되며, 이는 공간 무한대, 특이점 $ r = 0 $, 또는 실린드릭 표면 $ r = r_H $ 에서 끝을 갖는다.
• 모든 $ H > 0 $ 인 경우, 하나의 끝이 공간 무한대에, 다른 끝이 $ r = 0 $ 또는 $ r = r_H $ 에 위치한 완전한 SS-CMC 초표면이 존재하며, 이는 매개변수에 따라 달라진다.
• 모든 $ H < 0 $ 인 경우, 유사한 완전한 초표면이 존재하며, $ f_2(r) $ 또는 $ f_4(r) $ 가 $ (0, r_H) $ 또는 $ (0, R_H) $ 에 정의될 경우 추가적인 해가 나타나며, 이는 영역 II 또는 II' 에서 이중 끝을 갖는 초표면을 형성한다.
• 완전한 SS-CMC 초표면의 집합은 정리 1, 3, 5, 참고 10 및 정리 6에서 언급된 실린드릭 초표면을 포함하며, 이는 모든 경우를 포함한다.