[論文レビュー] Constraint Preserving Boundary Conditions for Hyperbolic Formulations of Einstein's Equations

Tarfulea, Nicolae|ArXiv.org|Aug 2, 2005

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系との整合性を保つ上で果たす役割は何か？

主な発見

• 線形化アインシュタイン方程式のアインシュタイン＝クリスティオフェル（EC）、アレクセエンコ＝アルノルド（AA）、アルノルド（A）形式に対して、適切に定義され、最大非負で制約を保つ境界条件が成功裏に導出された。
• 制約を進化方程式に埋め込むことで構築された拡張系は、初期値問題および初期境界値問題の両設定において、元の制約付き系と数学的に等価であることが証明された。
• 導出された境界条件を用いた拡張系の初期境界値問題の唯一の解は、多面体領域における線形化ADM系の解を与える。
• 本手法により、制約違反が時間とともに増大しないことが保証され、長時間にわたる安定な数値的シミュレーションが可能になる。
• 本フレームワークは一般性を持ち、任意の制約付き第一階形式対称双曲型系に適用可能であり、数値相対論における強固なツールを提供する。
• 非一様境界条件に対しても対応され、拡張系定式化における制約との整合性を保つ条件が導出された。