[論文レビュー] SECOND-ORDER HYPERBOLIC FUCHSIAN SYSTEMS. II. GOWDY SPACETIMES AND THE FUCHSIAN NUMERICAL ALGORITHM

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

Advanced Mathematical Physics Problems参考文献 18被引用数 5

ひとこと要約

本稿では、Gowdy時空における真空アインシュタイン方程式に適用する、2階双曲型Fuchsian系における特異初期値問題を解くFuchsian数値アルゴリズムを開発する。この手法により、非常に高精度な数値近似が得られ、滑らかで不完全かつ非コンパクトな因果ホライズンを有するGowdy時空の数値的構築に成功する。

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.

研究の動機と目的

• 第二階双曲型Fuchsian系の枠組みを用いて、Gowdy時空における真空アインシュタイン方程式の直接的かつ簡素化された適切性理論を確立すること。
• 本シリーズの第1部の理論的枠組みに直接根ざした、新規の数値近似スキーム（Fuchsian数値アルゴリズムと呼ぶ）を考案すること。
• Gowdy時空における数値実験を通じて、Fuchsian数値アルゴリズムの有効性と精度を示すこと。
• 滑らかで不完全かつ非コンパクトな因果ホライズンを有するGowdy時空の数値的構築を行い、手法の物理的関連性を検証すること。

提案手法

• Fuchsian数値アルゴリズムは、重み付きソボレフ空間における第二階双曲型Fuchsian系の一般的適切性理論に直接的に導出される。
• この手法は、特異初期データを扱うために正則化技術を用い、問題を逐次的正則初期値問題の系列に変換する。
• 有限差分法またはスペクトル法を正則化された系に適用し、重み付きソボレフノルムを用いて収束を制御する。
• アルゴリズムは数値実験において、特異性付近の指定された初期データを有するGowdy時空のシミュレーションに実装される。
• スキームは元の系の幾何学的・解析的構造を保ち、数値解における物理的一致性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Fuchsian数値アルゴリズムは、第二階双曲型Fuchsian系の特異初期値問題に対して安定的かつ高精度な数値解を提供できるか？
• RQ2 このアルゴリズムは、特異初期データを有するGowdy時空に対して信頼性の高い数値近似をもたらすか？
• RQ3 この手法は、滑らかで不完全かつ非コンパクトな因果ホライズンを有する時空を数値的に構築できるか？
• RQ4 Fuchsian数値アルゴリズムは、Gowdy時空に対する既存の手法と比較して、効率性と精度の面で優れているか？

主な発見

• Fuchsian数値アルゴリズムは、Gowdy時空における特異初期値問題の解の非常に高精度な数値近似を成功裏に得た。
• この手法は、従来のGowdy時空の適切性結果を回復・簡素化し、より直接的な解析的・数値的枠組みを提供する。
• 数値実験により、強力な特異性を有する時空のシミュレーションにおいて、アルゴリズムの有効性と頑健性が確認された。
• このアルゴリズムにより、滑らかで不完全かつ非コンパクトな因果ホライズンを有するGowdy時空の初の数値的構築が可能になった。