[論文レビュー] Constraint equations for vacuum Einstein equations with a S1 symmetry

Cécile Huneau|arXiv (Cornell University)|Feb 6, 2013

Geometric Analysis and Curvature Flows被引用数 1

ひとこと要約

この論文は、漸近的に平坦な場合における、空間的で並進対称性を持つキリング場を有する真空アインシュタイン方程式の制約方程式を解き、問題をR²上の非線形楕円型系に還元する。主な貢献は、非コンパクトな設定に起因する解析的困難を克服したR²上でのラプラシアンの逆演算の厳密な取り扱いである。

ABSTRACT

We solve the constraint equations for a vacuum space-time with a translational space-like Killing field satisfying the vacuum Einstein equations. Vacuum Einstein equations with a translational space-like Killing field have been studied by Choquet-Bruhat and Moncrief in the compact case, and by Ashtekar, Bicak and Schmidt in the case where an additional spherical symmetry is added. In this paper we consider the asymptotically flat case. This corresponds to solving a nonlinear elliptic system on R2. The main difficulty in that case is due to the delicate inversion of the Laplacian on R2.

研究の動機と目的

• 空間的で並進対称性を持つキリング場を有する真空アインシュタイン方程式の解析を、漸近的に平坦な場合に拡張すること。
• 制約方程式を解く際に生じる非コンパクト領域R²に起因する解析的困難に対処すること。
• S¹対称性の下で得られる制約方程式から導かれる非線形楕円型系に対する、厳密な解法フレームワークを提供すること。
• 高度な楕円型PDE技法を用いて、漸近的に平坦な境界条件の下での解の存在を確立すること。

提案手法

• 空間的で並進対称性を持つキリング場の下で真空アインシュタイン方程式を定式化し、R²上の制約付き初期値問題に還元する。
• R²上での計量成分およびその微分を含む非線形楕円型系として制約方程式を導出する。
• 空間無限遠における漸近的挙動を扱うために重み付きソボレフ空間の技法を適用する。
• R²上でのラプラシアンの逆演算を中心的な解析的道具として用い、関連する関数空間における写像性質を慎重に取り扱う。
• 適切な関数空間における固定点法を用いて、解の存在性と正則性を確立する。
• 構築された解が空間無限遠における所定の漸近的平坦性条件を満たしていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 S¹対称性を有する真空アインシュタイン方程式の制約方程式は、漸近的に平坦な場合にどのように定式化できるか？
• RQ2 このクラスの問題において、R²上でラプラシアンを逆写像する際に生じる解析的困難は何か？
• RQ3 所定の漸近的平坦性条件を満たす非線形楕円型系の解を構成することは可能か？
• RQ4 この非コンパクトな設定において、解の存在性と正則性を保証する関数空間フレームワークは何か？
• RQ5 与えられた対称性と境界条件の下で、解は空間無限遠でどのように振る舞うか？

主な発見

• S¹対称性の下では、制約方程式はR²上で適切に定義された非線形楕円型系に還元される。
• 主な解析的困難は、R²上でのラプラシアンの繊細な逆写像であり、重み付きソボレフ空間を用いることで解決される。
• 空間無限遠における漸近的平坦性を保証する適切な関数空間において、解が存在する。
• 解法フレームワークは、真空時空の物理的期待に一致する正則性および減衰性を保証する。
• 本手法は、漸近的に平坦な領域におけるS¹等長変換を有する真空時空の初期データを構成するための厳密な基盤を提供する。