[論文レビュー] Cauchy problem with data on a characteristic cone for the Einstein-Vlasov equations

Yvonne Choquet–Bruhat, Piotr T. Chruściel|arXiv (Cornell University)|Jun 2, 2012

Cosmology and Gravitation Theories参考文献 7被引用数 4

ひとこと要約

本稿は、特徴的な円錐上に指定された初期データを用いたアインシュタイン＝ヴラソフ系の解の存在および一意性を確立し、物理的に妥当な初期データ（僅かに時間的粒子のみを支持）が階層的ODE制約系を介して構成可能であることを示すことにより、タキオン問題を解決する。主な結果は、幾何的初期データを用いて特徴的超曲面上でのヴラソフ物質の進化を厳密に扱うフレームワークを提供することであり、ゲージの寄与なしに物理的一致性を保つ。

ABSTRACT

We show how to solve the Cauchy problem for the Einstein-Vlasov equations with geometric initial data on a light-cone.

研究の動機と目的

• アインシュタイン方程式の波ゲージ形式を、特徴的円錐上にヴラソフ物質を含めるように拡張すること。
• 初期データにおける計量情報の不完全性に起因するタキオン問題を解消するため、粒子質量が正のまま保たれることを保証すること。
• 連続的質量分布を有するヴラソフ粒子の物理的に意味のある初期データが、特徴的円錐上に構成可能であることを示すこと。
• 初期データにゲージ依存成分を含めないことで、幾何的一意性を保つこと。
• 円錐の生成線に沿う階層的制約系を用いて、アインシュタイン＝ヴラソフ系の整合的進化スキームを確立すること。

提案手法

• 波ゲージ分解を用いてアインシュタイン＝ヴラソフ系を定式化し、リッチテンソルを双曲型系と一階微分作用素に分解する。
• 完全な計量成分ではなく、特徴的円錐 $C_O$ 上の退化的誘導計量 $\tilde{g}$ を幾何的初期データとして指定する。
• 波マップゲージ制約に従い、円錐の生成線に沿って欠落している計量成分を決定する階層的常微分方程式（ODE）系を導出する。
• ヴラソフ分布関数 $f$ が時間的未来円錐内でのみ台を持つように、計量の連続性および初期正値条件を課す。
• 座標不変な幾何的量（例：$\underline{p}^0 = p^0 + p^1$ および $\nu_0 = 1 + u$）を用いて、既知のデータに基づくタキオンなし条件を分析する。
• 連続性論法を用いて、タキオンなし条件を初期近傍から円錐のより大きな領域へと拡張し、物理的一致性を保証する。

実験結果

リサーチクエスチョン

• RQ1 特徴的円錐上に初期データを有するアインシュタイン＝ヴラソフ系が、ヴラソフ物質の物理的一致性を保ったまま解けるか？
• RQ2 初期段階で計量情報が不完全な場合に生じるタキオン問題は、どのように解消できるか？
• RQ3 連続的質量分布を有するヴラソフ粒子の物理的に妥当な初期データが、特徴的円錐上に構成可能か？
• RQ4 初期データとして幾何的データのみが与えられた場合に、波ゲージ形式のアインシュタイン方程式がヴラソフ物質と整合するか？
• RQ5 初期幾何的データと解の連続性のみを用いて、事後にタキオンなし条件を保証することは可能か？

主な発見

• 初期データ $\tilde{g}$ および $\bar{f}$ が幾何的に整合的かつタキオンなし条件を満たす場合、特徴的円錐 $C_O$ の頂点 $O$ の近傍で、アインシュタイン＝ヴラソフ系の滑らかな解が存在する。
• 計量の成分 $\bar{g}_{00}$ は線形ODE制約によって決定され、頂点の近傍で滑らかで負の解を有する。
• もし $\bar{f}$ の台が $r \leq r_0$ においてミンコフスキー時間的未来円錐内にあるならば、$r_0 \leq r < R$ の近傍で台が構成された計量の未来円錐内に留まり続け、タキオンが生じない。
• 計量成分および初期データの連続性によりタキオンなし条件が保たれ、関連する二次形式の評価に小パラメータ $\alpha$、$u$、および $\tilde{\nu}$ を用いることで示される。
• 解は幾何的に一意的であり、初期データにゲージ依存成分を含めないため、物理的意味が保たれる。
• 連続性およびODE制約の伝播を用いて存在結果が確立され、適切な級数法を用いて頂点への拡張が可能である。