[論文レビュー] Second-order hyperbolic Fuchsian systems. I. General theory

Florian Beyer, Philippe G. LeFloch|arXiv (Cornell University)|Apr 27, 2010

Black Holes and Theoretical Physics参考文献 19被引用数 4

ひとこと要約

本稿では、特異偏微分方程式のクラスである2階双曲型Fuchs型系を導入し、時空的特異面上での所望の漸近的挙動を有する解の存在を確立する。著者らは、任意の順序の漸近的解を厳密に構成可能にする新たな解析的枠組みを開発し、数値近似の基盤を提供する。この枠組みは、Gowdy対称時空におけるアインシュタインの場の方程式への直接的応用を有する。

ABSTRACT

We introduce a class of singular partial differential equations, the second-order hyperbolic Fuchsian systems, and we investigate the associated initial value problem when data are imposed on the singularity. First of all, we analyze a class of equations in which hyperbolicity is not assumed and we construct asymptotic solutions of arbitrary order. Second, for the proposed class of second-order hyperbolic Fuchsian systems, we establish the existence of solutions with prescribed asymptotic behavior on the singularity. Our proof is based on a new scheme which is also suitable to design numerical approximations. Furthermore, as shown in a follow-up paper, the second-order Fuchsian framework is appropriate to handle Einstein’s field equations for Gowdy symmetric spacetimes and allows us to recover (and slightly generalize) earlier results by Rendall and collaborators, while providing a direct approach leading to accurate numerical solutions. The proposed framework is also robust enough to encompass matter models arising in general relativity.

研究の動機と目的

• 時空的特異性をモデル化するのに適した、2階双曲型Fuchs型系の一般クラスを定式化すること。
• 標準的な双曲型理論が失敗する、特異面上に初期データを設定する場合の初期値問題に対処すること。
• 双曲型性を当初仮定しない広範な特異Fuchs型方程式に対して、任意の順序の漸近的解を構成すること。
• 特異面上での所望の漸近的挙動を有する解の存在定理を、新しい解析的枠組みを用いて確立すること。
• 一般相対性理論におけるアインシュタインの場の方程式および物質モデルへの適用が可能な堅牢な数学的基盤を提供すること。

提案手法

• 特異性が時空的超曲面としてモデル化される、特定のFuchs型構造を有する2階特異PDEのクラスを導入する。
• 最初に、双曲型ではないFuchs型系の広範なクラスを解析し、反復近似法を用いて任意の順序の漸近的解を構成する。
• 特異初期値問題に特化した重み付きソボレフ空間とエネルギー推定を用いた、新たな解析的枠組みを導入する。
• 特異性近傍での適切な構造的条件を課すことにより、この枠組みを双曲型Fuchs型系に適用する。
• 所望の漸近的挙動と一致する解の存在を示すために、慎重に選ばれた関数空間における不動点定理を用いる。
• 数値実装に適した枠組みを設計し、特異解の高精度な近似を可能にする。

実験結果

リサーチクエスチョン

• RQ1 時空的特異面上での所望の漸近的挙動を有する解が存在するような、2階特異PDEの一般クラスを定式化できるか？
• RQ2 双曲型性を当初仮定しないFuchs型系に対しても、任意の順序の漸近的解を体系的に構成できるか？
• RQ3 特異面上にデータを有する双曲型Fuchs型系の解の存在証明を可能にする解析的枠組みは何か？
• RQ4 提案された手法は、Gowdy対称時空におけるアインシュタインの場の方程式に適応可能か？
• RQ5 この枠組みは、一般相対性理論における物質モデルを組み込むのに十分に堅牢か？

主な発見

• 時空的特異性を研究するための統一的枠組みを提供する、2階双曲型Fuchs型系の新規クラスが導入された。
• 双曲型ではないものを含む広範なFuchs型系に対して、反復法を用いて任意の順序の漸近的解を構成可能である。
• 提案された解析的枠組みにより、標準的な双曲型性が欠如する状況でも、特異面上での所望の漸近的挙動を有する解の存在が保証される。
• この手法は堅牢であり、Gowdy対称時空におけるアインシュタインの場の方程式への直接的適用が可能であり、以前の結果を回復・わずかに一般化する。
• この枠組みは数値近似を支援し、特異解の高精度な計算を可能にする。
• この手法は一般性に富んでおり、一般相対性理論における物質モデルの組み込みが可能であり、より広範な物理的状況への応用可能性を拡張する。