[논문 리뷰] Constraint Preserving Boundary Conditions for Hyperbolic Formulations of Einstein's Equations

Tarfulea, Nicolae|ArXiv.org|2005. 08. 02.

Black Holes and Theoretical Physics참고 문헌 40인용 수 6

한 줄 요약

이 논문은 유한 도메인 내에서 아인슈타인 방정식의 일阶 대칭 쌍곡형 형태에 대해 잘 정의되고 제약 조건을 유지하는 경계 조건을 개발한다. 제약 조건이 있는 시스템을 등가의 제약 조건이 없는 '확장 시스템'으로 변환하고, 최대 비음성 경계 조건을 유도함으로써, 저자들은 민트스키 시공간 주위로 선형화된 쌍곡형 형태에서 장기적인 수치적 안정성과 제약 조건 유지 보장을 확보한다.

ABSTRACT

Einstein's system of equations in the ADM decomposition involves two subsystems of equations: evolution equations and constraint equations. For numerical relativity, one typically solves the constraint equations only on the initial time slice, and then uses the evolution equations to advance the solution in time. Our interest is in the case when the spatial domain is bounded and appropriate boundary conditions are imposed. A key difficulty, which we address in this thesis, is what boundary conditions to place at the artificial boundary that lead to long time stable numerical solutions. We develop an effective technique for finding well-posed constraint preserving boundary conditions for constrained first order symmetric hyperbolic systems. By using this technique, we study the preservation of constraints by some first order symmetric hyperbolic formulations of Einstein's equations derived from the ADM decomposition linearized around Minkowski spacetime with arbitrary lapse and shift perturbations, and the closely related question of their equivalence with the linearized ADM system. Our main result is the finding of well-posed maximal nonnegative constraint preserving boundary conditions for each of the first order symmetric hyperbolic formulations under investigation, for which the unique solution of the corresponding initial boundary value problem provides a solution to the linearized ADM system on polyhedral domains.

연구 동기 및 목표

• 인공 경계를 가진 유한한 공간 도메인 내에서 아인슈타인 방정식의 안정적이고 장기적인 수치적 해를 구현하는 데 도전하는 것.
• 경계 조건이 시스템의 제약 조건을 유지하여 수치 정확도를 떨어뜨리는 제약 위반을 방지하는 것.
• 제약 조건이 있는 일阶 대칭 쌍곡형 시스템을 등가의 제약 조건이 없는 시스템(확장 시스템)으로 체계적으로 변환하는 방법을 수립하는 것.
• 원래의 제약 조건이 있는 시스템과 그 확장된 대응 시스템 간의 등가성을 코시 문제 및 초기 경계값 문제 설정 모두에서 증명하는 것.
• 선형화된 아인슈타인 방정식의 특정 쌍곡형 형태(EC, AA, A)에 대해 명시적이고 잘 정의되며 최대 비음성인 제약 조건을 유지하는 경계 조건을 도출하는 것.

제안 방법

• 선형화된 아인슈타인 방정식을 제약 조건이 있는 일阶 대칭 쌍곡형 시스템으로 공식화한다.
• 일반적인 기법을 적용하여 제약 조건을 진화 방정식에 통합함으로써 등가의 제약 조건이 없는 '확장 시스템'을 구성한다.
• 대칭 쌍곡형 시스템 이론을 활용하여 제약 조건을 유지하는 최대 비음성 경계 조건을 유도한다.
• 순수한 코시 문제 및 초기 경계값 문제 설정 모두에서 확장 시스템이 원래의 제약 조건이 있는 시스템과 수학적으로 등가임을 검증한다.
• EC, AA, A 형태의 특정 형태에 이 프레임워크를 적용하여 각각의 경계 조건을 유도한다.
• 비균일한 경계 조건을 분석하고, 확장 시스템 프레임워크 내에서 제약 조건과의 일致성을 유지하는 조건을 도출한다.

실험 결과

연구 질문

• RQ1 유한 도메인 내에서 아인슈타인 방정식의 일阶 대칭 쌍곡형 형태에 대해 어떤 경계 조건이 제약 조건을 유지하고 잘 정의된 문제를 보장하는가?
• RQ2 제약 조건이 있는 쌍곡형 시스템을 체계적으로 등가의 제약 조건이 없는 시스템(확장 시스템)으로 변환하면서 수학적 등가성을 유지할 수 있는가?
• RQ3 초기 조건 문제 및 초기 경계값 문제 설정 모두에서 확장 시스템은 원래의 제약 조건이 있는 시스템과 등가인가?
• RQ4 EC, AA, A 형태에 대해 제약 조건을 유지하고 장기적인 수치적 안정성을 보장하는 최대 비음성 경계 조건을 구성할 수 있는가?
• RQ5 예를 들어, 조화 게이지와 같은 게이지 선택은 확장 시스템과 원래의 선형화된 ADM 시스템 간의 일치성을 확보하는 데 어떤 역할을 하는가?

주요 결과

• 선형화된 아인슈타인 방정식의 에이인슈타인-크리스토펠(AC), 알렉세엔코-아르놀드(AA), 아르놀드(A) 형태에 대해 잘 정의되고 최대 비음성이며 제약 조건을 유지하는 경계 조건가 성공적으로 도출되었다.
• 제약 조건을 진화 방정식에 통합하여 구성한 확장 시스템은 코시 문제 및 初기 경계값 문제 설정 모두에서 원래의 제약 조건이 있는 시스템과 수학적으로 등가임이 증명되었다.
• 유도된 경계 조건을 갖는 확장 시스템에 대한 초기 경계값 문제의 유일한 해는 다각형 도메인에서 선형화된 ADM 시스템의 해를 제공한다.
• 이 방법은 제약 위반이 시간이 지남에 따라 증가하지 않음을 보장하여 장기적인 안정적인 수치 시뮬레이션을 가능하게 한다.
• 이 프레임워크는 일반적이며 제약 조건이 있는 일阶 대칭 쌍곡형 시스템에 대해 적용 가능하므로 수치相对론에 강력한 도구를 제공한다.
• 비균일한 경계 조건 또한 다루어졌으며, 확장 시스템 공식화 내에서 제약 조건과의 일치성을 유지하는 조건이 도출되었다.