[論文レビュー] An existence theorem for the Cauchy problem on the light-cone for the vacuum Einstein equations with near-round analytic data

Yvonne Choquet–Bruhat, Piotr T. Chruściel+1 more|arXiv (Cornell University)|Dec 3, 2010

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

ひとこと要約

本稿は、光錐上における特徴的初期データを用いた真空アインシュタイン方程式に対する存在定理を確立し、頂点付近での解析的かつほぼ球対称な初期データが、時空内で一意的な局所解を導くことを証明する。波ゲージに還元した方程式を解析し、計量成分の許容可能な漸近展開を検証することで、Minkowski型データに限らない、より一般の解析的・ほぼ球対称な初期配置に対しても、存在結果を拡張する。

ABSTRACT

We prove that analytic initial data on a light cone arising from a metric satisfying a "near-roundness" condition near the vertex lead to a solution of the vacuum Einstein equations to the future of the light-cone.

研究の動機と目的

• 光錐上における一般の特徴的初期データを用いた真空アインシュタイン方程式の解の構成という課題を解決すること。特に、光錐の頂点に幾何的特異性が生じる場合を想定する。
• 特徴的錐上における非線形波方程式の関数的要件と、頂点における錐の特異性に起因する制約との不一致を克服すること。
• コーシー問題の局所解の存在を保証する十分条件として、解析性およびほぼ球対称性を特定すること。
• 従来の存在定理（速やかに減衰するデータまたはMinkowski型データを要件としていた）を、より広いクラスの解析的初期データへと拡張すること。

提案手法

• 計量のMinkowski型の目標を用いた波ゲージにおける真空アインシュタイン方程式を定式化し、計量成分に対する擬対角的・非線形2階系に還元する。
• 光錐 $C_O$ 上に初期データを課し、誘導された退化計量 $\tilde{g}$ を用いる。これにより、波ゲージ制約の階層的常微分方程式系（ODE）を通じてトレース $\bar{g}$ が定まる。
• 頂点付近における計量成分の漸近的挙動を、$r = |y^i|$ および $y^0$ を用いた許容可能な展開の構成によって解析し、解析性と正則性を保証する。
• トレースデータが許容可能な展開を備えることを確認した後、非線形波方程式の特徴的データに対する解の存在に関するCagnac-Dossa定理を適用する。
• 錐計量 $C$ の第二基本形式およびクリストッフェル記号が解析的であり、ほぼ球対称性条件と整合的であることに着目し、解の漸近的構造を制御する。
• 波ゲージ制約が、還元された解が完全なアインシュタイン方程式を満たすために必要かつ十分であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Minkowski型または速やかに減衰する場合を除く、一般の解析的初期データを有する光錐の未来において、真空アインシュタイン方程式の解を構成できるか？
• RQ2 光錐上における初期データが、何らかの幾何的・解析的条件を満たせば、アインシュタイン方程式の局所解が存在するか？
• RQ3 波ゲージ制約は、特に頂点付近において、初期データの幾何的構造とどのように関係しているか？
• RQ4 頂点におけるほぼ球対称性条件は、計量成分の許容可能な漸近展開の構成をどの程度可能にするか？

主な発見

• 頂点において誘導計量 $C$ が解析的かつほぼ球対称であるとき、光錐上における特徴的初期データを有する真空アインシュタイン方程式に対して存在定理が確立される。
• 内部データ $\tilde{g}$ から導かれる錐上での計量トレース $\bar{g}$ は、$C$ が解析的かつほぼ球対称であれば、許容可能な漸近展開を備える。
• 関数 $r^{-2}(\nu_0 - 1)$、$r^{-1}\underline{\nu_i}$、および $r^{-2}(\underline{\bar{g}_{00}} + 1)$ はすべて許容可能な展開を有し、トレースデータが解析的解と整合的であることを保証する。
• 還元された波ゲージ方程式の解は頂点近傍 $Y_O^{T_0}$ で存在し、$C_O^{T_0}$ 上で初期錐計量 $C$ と同じ計量を誘導する。
• 同伴論文 I の結果に基づき、解は頂点近傍で幾何学的に一意的である。
• Cagnac-Dossa定理が還元系に成功裏に適用され、提示された解析的およびほぼ球対称性条件のもとで解の存在が確認された。