[논문 리뷰] SECOND-ORDER HYPERBOLIC FUCHSIAN SYSTEMS. II. GOWDY SPACETIMES AND THE FUCHSIAN NUMERICAL ALGORITHM

Florian Beyer, Philippe G. LeFloch|arXiv (Cornell University)|2010. 06. 13.

Advanced Mathematical Physics Problems참고 문헌 18인용 수 5

한 줄 요약

이 논문은 두 번째 순서의 쌍곡형 푸크스 시스템에서 특이 초기값 문제를 해결하기 위한 푸크스 수치 알고리즘을 개발하며, 고드리 시공간에서 진공 아인슈타인 방정식에 적용한다. 이 방법은 매우 정확한 수치 근사를 제공하여, 매끄럽고 완비되지 않으며 비유한 Cauchy 수평면을 가진 고드리 시공간의 성공적인 수치적 구축을 가능하게 한다.

ABSTRACT

This is the second part of a series devoted to the singular initial value problem for second-order hyperbolic Fuchsian systems. In the rst part, we dened and investigated this general class of systems, and we established a well-posedness theory in weighted Sobolev spaces. This theory is applied here to the vacuum Einstein equations for Gowdy spacetimes admitting, by denition, two Killing elds satisfying certain geometric conditions. We recover, by more direct and simpler arguments, the well-posedness results established earlier by Rendall and collaborators. In addition, in this paper we introduce a natural approximation scheme, which we refer to as the Fuchsian numerical algorithm and is directly motivated by our general theory. This algorithm provides highly accurate, numerical approximations of the solution to the singular initial value problem. In particular, for the class of Gowdy spacetimes under consideration, various numerical experiments are presented which show the interest and eciency of the proposed method. Finally, as an application, we numerically construct Gowdy spacetimes containing a smooth, incomplete, non-compact Cauchy horizon.

연구 동기 및 목표

• 두 번째 순서의 쌍곡형 푸크스 시스템의 프레임워크를 사용하여 고드리 시공간에서 진공 아인슈타인 방정식에 대한 직접적이고 단순화된 잘 정의된 이론을 수립하기 위해.
• 이 시리즈의 첫 번째 부분의 이론적 프레임워크에 직접 기반한 새로운 수치 근사 방법—즉, 푸크스 수치 알고리즘—을 개발하기 위해.
• 고드리 시공간에서의 수치 실험을 통해 푸크스 수치 알고리즘의 효율성과 정확성을 입증하기 위해.
• 매끄럽고 완비되지 않으며 비유한 Cauchy 수평면을 포함하는 고드리 시공간을 수치적으로 구축하여, 이 방법의 물리적 관련성을 검증하기 위해.

제안 방법

• 푸크스 수치 알고리즘은 가중 치수의 소볼레프 공간에서 두 번째 순서의 쌍곡형 푸크스 시스템에 대한 일반적인 잘 정의된 이론에서 직접 유도된다.
• 이 방법은 특이한 초기 자료를 다루기 위해 정규화 기법을 사용하여 문제를 정규화된 초기값 문제의 순서로 변환한다.
• 유한 차분법 또는 스펙트럴 방법이 정규화된 시스템에 적용되며, 수렴은 가중 소볼레프 노름을 통해 제어된다.
• 알고리즘은 특이성 근처의 특정 초깃값을 가진 고드리 시공간을 시뮬레이션하기 위해 수치 실험에 구현된다.
• 이 방법은 원래 시스템의 기하학적 및 해석적 구조를 유지하여 수치적 해에서 물리적 일관성을 보장한다.

실험 결과

연구 질문

• RQ1 푸크스 수치 알고리즘은 두 번째 순서의 쌍곡형 푸크스 시스템에 대한 특이한 초깃값 문제에 대해 안정적이고 정확한 수치적 해를 제공할 수 있는가?
• RQ2 이 알고리즘은 특이한 초깃값을 가진 고드리 시공간에 대해 신뢰할 수 있는 수치 근사를 제공하는가?
• RQ3 이 방법은 매끄럽고 완비되지 않으며 비유한 Cauchy 수평면을 포함하는 시공간을 수치적으로 구축할 수 있는가?
• RQ4 기존의 고드리 시공간 접근법과 비교해 볼 때, 푸크스 수치 알고리즘은 효율성과 정확성 측면에서 어떻게 다른가?

주요 결과

• 푸크스 수치 알고리즘은 고드리 시공간에서 특이한 초깃값 문제의 해에 대해 매우 정확한 수치 근사를 성공적으로 생성한다.
• 이 방법은 이전의 고드리 시공간에 대한 잘 정의된 결과를 복원하고 단순화하여, 더 직접적인 분석적 및 수치적 프레임워크를 제공한다.
• 수치 실험은 이 알고리즘이 강한 특이성을 가진 시공간을 시뮬레이션하는 데 있어 효율성과 강건성을 확인한다.
• 이 알고리즘은 매끄럽고 완비되지 않으며 비유한 Cauchy 수평면을 포함하는 고드리 시공간의 첫 번째 수치적 구축을 가능하게 한다.