[論文レビュー] Non-uniqueness of Solutions to the Conformal Formulation

Michael Holst, Caleb Meier|arXiv (Cornell University)|Oct 8, 2012

Advanced Mathematical Modeling in Engineering参考文献 17被引用数 15

ひとこと要約

本稿では、正の定数スカラー曲率と定数平均曲率をもつ閉じた3次元多様体におけるアインシュタイン制約方程式の共形形式に対する解の非一意性を、分岐理論とリャプノフ＝シュミット還元を用いて示している。線形化系が1次元核を有する臨界エネルギー密度において、明示的な解曲線解析によりその近傍に複数の解が存在することを証明している。

ABSTRACT

It is well-known that solutions to the conformal formulation of the Einstein constraint equations are unique in the cases of constant mean curvature (CMC) and near constant mean curvature (near-CMC). However, the new far-from-constant mean curvature (far-from-CMC) existence results due to Holst, Nagy, and Tsogtgerel in 2008, to Maxwell in 2009, and to Dahl, Gicquaud and Humbert in 2010, are based on degree theory rather than on the (uniqueness-providing) contraction arguments that had been used for all non-CMC existence results prior to 2008. In fact, Maxwell demonstrated in 2011 that solutions are non-unique in the far-from-CMC case for certain types of low-regularity mean curvature. In this article, we investigate uniqueness properties of solutions to the Einstein constraint equations on closed manifolds using tools from bifurcation theory. For positive, constant scalar curvature and constant mean curvature, we first demonstrate existence of a critical energy density for the Hamiltonian constraint with unscaled matter sources. We then show that for this choice of energy density, the linearization of the elliptic system develops a one-dimensional kernel in both the CMC and non-CMC (near and far) cases. Using Liapunov-Schmidt reduction and standard tools from nonlinear analysis, we demonstrate that solutions to the conformal formulation with unscaled data are non-unique by determining an explicit solution curve, and by analyzing its behavior in the neighborhood of a particular solution.

研究の動機と目的

• アインシュタイン制約方程式の解の一意性に関する性質を、定数平均曲率（CMC）から大きく離れた状況（far-from-CMC）において調査すること。
• 共形形式における解が非一意となる条件を同定すること、特に平均曲率が定数またはほぼ定数である場合に注目すること。
• 線形化系が1次元核を有する臨界エネルギー密度の存在を確立すること。これは分岐の可能性を示唆する。
• リャプノフ＝シュミット還元および非線形解析の道具を用いて、CMCおよび非CMCの場合の両方で非一意性を厳密に証明すること。

提案手法

• 臨界パラメータ値の近傍における解の構造を解析するため、分岐理論とリャプノフ＝シュミット還元を用いる。
• 楕円型系の線形化が1次元核を有する臨界エネルギー密度 $\rho_c$ を同定する。
• フレドホルム理論と楕円型正則性を用いて、線形作用素が指数が0で閉じた範囲をもつフレドホルム作用素であることを確立する。
• 線形化作用素の核と値域に基づくバナッハ空間の分解を用いて、問題を有限次元の問題に還元する。
• 陰関数定理と閉じた範囲の議論を用いて、$W^{2,p}$および$C^{2,\alpha}$空間におけるリャプノフ＝シュミット分解を導出する。
• 特定の解の近傍における明示的な解曲線の振る舞いを解析することで、非一意性を示す。

実験結果

リサーチクエスチョン

• RQ1 平均曲率が定数であり、スカラー曲率が正で定数である場合、アインシュタイン制約方程式の共形形式において非一意性が生じるか？
• RQ2 線形化系がCMCおよび非CMCの両状況で1次元核を有する臨界エネルギー密度 $\rho_c$ は何か？
• RQ3 分岐理論を用いて、リャプノフ＝シュミット法を用いて、非CMC領域における解の非一意性を証明できるか？
• RQ4 核の次元が増加する臨界パrameter $\rho_c$ の近傍で、解集合の構造はどのように変化するか？
• RQ5 線形化作用素のフレドホルム性および閉じた範囲の性質が、非一意性の証明に向けたリャプノフ＝シュミット還元を可能にする役割は何か？

主な発見

• 線形化楕円型系がCMCおよび非CMC（近接および遠隔）の両状況で1次元核を有する臨界エネルギー密度 $\rho_c$ が存在する。
• $\rho = \rho_c$ のとき、線形化作用素 $D_X F((\phi_c, \mathbf{0}), 0)$ は指数が0のフレドホルム作用素であり、1次元核を有する。
• リャプノフ＝シュミット還元を用いて、明示的な解曲線を構成することで、解の非一意性が確立される。この解曲線は $\rho_c$ で分岐する。
• 解曲線の解析により、臨界解の近傍に複数の解が存在することが確認され、CMCの場合の非一意性が証明される。
• この手法は非CMCの場合へも拡張可能であり、同じ臨界エネルギー条件の下で、非CMC領域（遠隔）においても非一意性が示される。
• 結果は $W^{2,p}$ および $C^{2,\alpha}$ の関数空間の両方で成り立つため、異なる正則性クラスにおいても一貫性が保証される。