[論文レビュー] Boundary conditions for the Einstein-Christoffel formulation of Einstein's equations

Douglas N. Arnold, Nicolae Tarfulea|ArXiv.org|Nov 2, 2006

Black Holes and Theoretical Physics参考文献 42被引用数 7

ひとこと要約

本稿は、多面体領域における境界付き領域の線形化されたエインシュタイン＝クリスティオフェル（EC）形式のアインシュタイン方程式に対して、対称双曲型系と最大非負境界条件を用いて制約を保存する境界条件を提案する。制約を保存するための拡張された系を導入し、運動量制約を進化変数として組み込むことで、長期間にわたる制約保存と適切な定式化を実現する。数値相対論シミュレーションにおける体積内制約違反の制御のための枠組みを提供する。

ABSTRACT

Specifying boundary conditions continues to be a challenge in numerical relativity in order to obtain a long time convergent numerical simulation of Einstein's equations in domains with artificial boundaries. In this paper, we address this problem for the Einstein--Christoffel (EC) symmetric hyperbolic formulation of Einstein's equations linearized around flat spacetime. First, we prescribe simple boundary conditions that make the problem well posed and preserve the constraints. Next, we indicate boundary conditions for a system that extends the linearized EC system by including the momentum constraints and whose solution solves Einstein's equations in a bounded domain.

研究の動機と目的

• 人工境界を有する数値相対論シミュレーションにおいて、適切に定式化され、制約を保存する境界条件を構築するという、長年の課題に対処すること。
• 運動量制約を進化変数として含めることで、線形化EC形式を拡張し、時間経過に伴う制約違反の能動的制御を可能にすること。
• エネルギー法と法線微分の交換技術を用いた体系的な境界条件導出法を確立し、多面体的領域およびおそらく曲がった領域にも適用可能であること。
• 計算領域への制約違反モードの流入を防ぐ理論的基盤を提供すること。
• 解析的適切性と数値的安定性のギャップを埋めるために、対称双曲型系と整合する境界条件を構築すること。

提案手法

• ラプラス＝フーリエ変換法を用いて境界条件を導出し、境界で流入する制約モードをゼロとすることで制約を保存する。
• エネルギー法を用いて、初期データが制約を満たしている場合に境界条件が適切に設定されていれば、制約が時間とともにゼロのまま維持されることを証明する。
• 法線微分を時間微分および接線微分に交換する技術を適用し、境界条件を進化変数とその時間微分のみで表現可能にする。
• 運動量制約を主変数として進化させる拡張された対称双曲型系を構築し、制約違反の制御を強化する。
• 多面体領域における線形化EC系の適切な定式化と安定性を保証するため、最大非負境界条件の概念を適用する。
• 境界の法線方向へのアインシュタインテンソルの射影に依存して、一貫性があり物理的に妥当な境界条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 境界付き領域における線形化されたアインシュタイン＝クリスティオフェル形式において、境界条件をどのように設計すれば制約を保存できるか？
• RQ2 数値的時間発展中に、制約違反モードが計算領域に流入しないようにするための条件は何か？
• RQ3 運動量制約を進化変数として組み込むことで、体積内制約違反を制御できるか？
• RQ4 エネルギー法と法線微分の交換技術を体系的に適用して、適切に定式化された境界条件を導出できるか？
• RQ5 拡張されたEC系と線形化されたADM形式との間で、境界条件および制約保存の観点から、どのような関係があるか？

主な発見

• 本稿は、多面体領域における線形化EC系に対して、最大非負境界条件を構築し、エネルギー空間内に一意の解が存在することを保証する適切な定式化を実現した。
• ラプラス＝フーリエ変換法を用いて導出された境界条件は、流入する制約モードを排除することで、制約の保存に成功した。
• 運動量制約を進化変数として含む拡張された対称双曲型系は、すべての時間にわたり制約が制御下に保たれることを保証し、体積内制約違反を緩和する。
• 法線微分を時間微分および接線微分に交換する手法により、境界条件が進化変数とその時間微分のみで表現可能となり、実装が簡素化された。
• 構築された境界条件は線形化されたADM形式と整合しており、従来の結果を立方体でない多面体領域へ一般化した。
• 本手法は、一部の数値シミュレーションで用いられるヒューリスティック手法とは対照的に、制約を保存する境界条件の厳密な数学的基盤を提供する。