[논문 리뷰] On analyticity of static vacuum metrics at non-degenerate horizons

Piotr T. Chruściel|ArXiv.org|2004. 02. 20.

Cosmology and Gravitation Theories참고 문헌 10인용 수 3

한 줄 요약

이 논문은 일반 상대성 이론에서 정적 진공 계량항의 비퇴화된 카일링 호라이즌에서 해석적임을 입증한다. 초면 수직성 조건을 가정하지 않더라도 성립한다. 대칭성 성질과 옥스굿의 보조정리(lemma)를 활용하여, 반경 방향 및 각도 좌표를 사용해 호라이즌 근처에 해석적 좌표 아틀라스를 구성함으로써, 모든 계량항 성분이 호라이즌을 넘어선 해석적 연장이 가능함을 증명한다. 이 과정에서 접속 1-form θ도 주어진 조건 하에서 해석적이고 매끄럽게 유지됨을 보였다.

ABSTRACT

We show that static metrics solving vacuum Einstein equations (possibly with a cosmological constant) are one-sided analytic at non-degenerate Killing horizons. We further prove analyticity in a two-sided neighborhood of "bifurcate horizons". It is a pleasure to dedicate this work to Prof. Staruszkiewicz, on the occasion of his 65th birthday.

연구 동기 및 목표

• 일반 상대성 이론에서 정적 진공 해가 비퇴화된 카일링 호라이즌에서 해석적임을 입증하는 것.
• 초면 수직성을 가정하지 않더라도 계량항과 관련 기하학적 구조가 여전히 해석적임을 조사하는 것.
• 계량항 함수가 경계까지 해석적인 한쪽 이웃 영역에서의 좌표 아틀라스를 구성하는 것.
• 접속 1-form θ의 행동과 그 자전축 근처로의 연장 분석.
• 계량항이 특이성을 제거하는 새로운 좌표계에서 해석적이게 되는 형태로 재기록할 수 있는지 보여주는 것.

제안 방법

• 호라이즌을 기준으로 반사 대칭성에 기반한 계량항 성질을 활용: g(i)_AB(−x¹,−x²,xᵃ) = g(i)_AB(x¹,x²,xᵃ) 및 g(i)_Aa(−x¹,−x²,xᵃ) = −g(i)_Aa(x¹,x²,xᵃ).
• 옥스굿의 보조정리를 적용하여 대칭성과 초기 해석성 가정에서 계량항 성분의 해석성을 도출한다.
• 반경 좌표 ρ² = (x¹)² + (x²)² 를 도입하고, 계량항 성분을 ρ² 와 xᵃ 에 대한 해석 함수로 표현한다.
• Lorentz 계량식 (3.14)의 특이성을 제거하기 위해 u = t + ½ ln(y¹) 을 사용한 명시적 좌표 변환을 구성한다.
• θ_j dy^j = α(1+ρ²ψ)⁻² d(ρ²) + (1+ρ²ψ)⁻² γ_a dx^a 를 정의하여, ρ² 와 xᵃ 에 대해 해석적임을 보인다.
• 계량항을 g = −y¹(1+y¹ψ)² dt² + (dy¹)²/(4y¹) + h_jk dy^j dy^k 의 형태로 유도하고, u 를 사용해 특이성을 제거하는 방식으로 재기록한다.

실험 결과

연구 질문

• RQ1 초면 수직성을 가정하지 않더라도 정적 진공 계량항이 비퇴화된 카일링 호라이즌에서 해석적임을 입증할 수 있는가?
• RQ2 접속 1-form θ 는 자전축 근처와 호라이즌 근처에서 어떻게 행동하는가?
• RQ3 어떤 좌표 변환을 통해 계량항 성분이 호라이즌 경계까지 해석적이게 되는가?
• RQ4 계량항의 특이항 (dy¹)²/(4y¹) 을 좌표 재정의로 제거하면서 해석성을 유지할 수 있는가?
• RQ5 계량항이 호라이즌의 한쪽 이웃 영역으로 해석적 연장이 가능해지는 조건은 무엇인가?

주요 결과

• 계량항 성분 gab 의 홀수계 도함수는 (x¹,x²) → (−x¹,−x²) 에 대한 대칭성에 의해 호라이즌 {xA=0} 에서 0이 된다.
• 계량항 성분 g(i)_ab, g(i)_Ab, g(i)_AB 는 ρ² 와 xᵃ 에 대한 해석 함수이며, u = ρ(1 + ρ²ψ(ρ²,xᵃ)) 와 ρ² = (x¹)² + (x²)² 이다.
• 1-form θ_j dy^j 는 ρ² 와 xᵃ 에 대해 해석적이며, 자전축 {Y=0} 으로의 연장도 매끄럽게 이루어지며, 계량항의 해석성과 함께 해석성이 유지된다.
• Lorentz 계량식 (3.14) 는 u = t + ½ ln(y¹) 을 사용해 재기록되어 특이항 (dy¹)²/(4y¹) 이 제거되고, 새로운 좌표계에서 해석적 표현을 얻는다.
• 계량항 h_jk dy^j dy^k 는 ρ² 와 xᵃ 에 대해 해석적이나, (2ρ)⁻²(d(ρ²))² 의 특이항이 존재하며, 이는 좌표 변환을 통해 분리되고 처리된다.
• 좌표 (u, y¹, xᵃ) 에서의 최종 계량항 형태는 카일링 벡터 X 가 시간적 또는 광선적인 영역의 경계까지 해석적이며, 매끄러운 해석적 아틀라스의 존재를 확인한다.