[論文レビュー] A FULLY PSEUDOSPECTRAL SCHEME FOR SOLVING SINGULAR HYPERBOLIC EQUATIONS ON CONFORMALLY COMPACTIFIED SPACE-TIMES

Marcus Ansorg, Max Planck|arXiv (Cornell University)|Jan 1, 2009

Cosmology and Gravitation Theories参考文献 13被引用数 1

ひとこと要約

本稿では、共形的コンパクト化された時空上で特異な双曲型方程式を解くための完全な擬スペクトルスキームを提示する。空間および時間の両方でスペクトル法を用いることで、指数的収束を達成する。ミンコフスキー時空上での球対称スカラー波動方程式を再定式化することにより、人工的な外境界を排除し、光の無限遠を正則な境界として扱うことができ、不自然な反射を伴わずに高精度な数値解を得ることが可能になる。

ABSTRACT

With the example of the spherically symmetric scalar wave equation on Minkowski space-time we demonstrate that a fully pseudospectral scheme (i.e. spectral with respect to both spatial and time directions) can be applied for solving hyperbolic equations. The calculations are carried out within the framework of conformally com- pactified space-times. In our formulation, the equation becomes singular at null infinity and yields regular boundary conditions there. In this manner it becomes possible to avoid artificial conditions at some numerical outer boundary at a finite distance. We obtain highly accurate numerical solutions possessing exponential spectral convergence, a feature known from solving elliptic PDEs with spectral methods. Our investigations are meant as a first step towards the goal of treating time evolution problems in General Relativity with spectral methods in space and time.

研究の動機と目的

• 共形的コンパクト化を用いることで、双曲型偏微分方程式における人工的な外境界を回避する数値法の開発を目的とする。
• 時間発展問題において、空間および時間の両方でスペクトル法を適用し、指数的収束を達成することを目的とする。
• 特異な双曲型方程式が光の無限遠で正則な境界値問題として取り扱えることを示すこと。
• 一般相対性理論における時間に依存する問題へのスペクトル法の拡張の基盤を築くこと。

提案手法

• 球対称なスカラー波動方程式を、共形的コンパクト化されたミンコフスキー時空上で再定式化し、無限大の領域を有限の領域に変換する。
• 光の無限遠が有限の境界に写像され、方程式はその点で特異性を示すが、これにより正則な境界条件が可能になる。
• 空間的および時間的両方向にスペクトルコロケーション法を適用し、高次精度を得るためにテイラー多項式またはルジャンドル多項式を用いる。
• 得られた系は、時間方向における有限差分近似を避ける完全な擬スペクトルアプローチによって解かれる。
• 光の無限遠における境界条件は、数値スキームの適切な定式化と安定性を保証するために導出される。
• 無限遠における正則な振る舞いを有するコンパクト化された領域に時空全体を埋め込むことで、人工的な外境界を回避する。

実験結果

リサーチクエスチョン

• RQ1 光の無限遠で特異性を示す双曲型方程式に、完全な擬スペクトルスキームを適用可能か？
• RQ2 共形的コンパクト化を用いることで、時間発展問題における人工的境界をどのように排除できるか？
• RQ3 スペクトルスキームにおける適切な定式化を維持するため、光の無限遠で必要な境界条件は何か？
• RQ4 空間および時間におけるスペクトル法の組み合わせは、双曲型問題に対して指数的収束をもたらすか？
• RQ5 このアプローチは、一般相対性理論における時間に依存する問題に一般化可能か？

主な発見

• 完全な擬スペクトルスキームは、空間および時間の両方において、スペクトル法の特徴たる指数的収束を双曲型方程式に対して達成する。
• 共形的コンパクト化された時空上での波動方程式の再定式化により、光の無限遠における特異性が正則な境界条件に変換される。
• 有限距離に位置する人工的な外境界が排除され、不自然な反射が発生せず、数値的精度が向上する。
• 光の無限遠における特異性は、適切に定義された条件を有する正則な境界点として取り扱うことで、うまく処理される。
• 数値解は高い精度と安定性を示し、相対論的系における時間発展問題へのスペクトル法の実現可能性が裏付けられる。