[论文解读] 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

一句话总结

本文利用分歧理论与Liapunov-Schmidt约化方法，研究了在闭合3-流形上具有正的常数标量曲率和常数平均曲率的共形形式爱因斯坦约束方程解的非唯一性。通过分析临界能量密度处的解曲线，证明了在该临界点附近存在多个解。

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.

研究动机与目标

• 研究在远离常数平均曲率（far-from-CMC）情形下，爱因斯坦约束方程解的唯一性性质。
• 确定共形形式方程解变得非唯一的条件，特别是在平均曲率为常数或近似常数时。
• 建立临界能量密度的存在性，使得线性化系统具有一个一维核，提示可能发生分歧。
• 应用Liapunov-Schmidt约化与非线性分析工具，严格证明在CMC与非CMC情形下均存在非唯一性。

提出的方法

• 利用分歧理论与Liapunov-Schmidt约化方法，分析临界参数值附近解的结构。
• 识别出临界能量密度 $\rho_c$，使得椭圆系统的线性化具有一个一维核。
• 应用Fredholm理论与椭圆正则性，证明线性算子为指标零的Fredholm算子且其值域闭。
• 基于线性化算子的核与值域，采用Banach空间分解，将问题约化为有限维问题。
• 利用隐函数定理与值域闭性论证，在 $W^{2,p}$ 与 $C^{2,\alpha}$ 空间中推导出Liapunov-Schmidt分解。
• 通过分析特定解邻域内显式解曲线的行为，证明非唯一性。

实验结果

研究问题

• RQ1 当平均曲率为常数且标量曲率为正且为常数时，共形形式爱因斯坦约束方程是否会出现非唯一性？
• RQ2 在CMC与非CMC情形下，线性化系统在何种临界能量密度 $\rho_c$ 处发展出一维核？
• RQ3 能否应用分歧理论，结合Liapunov-Schmidt方法，证明在远离CMC情形下解的非唯一性？
• RQ4 在核维数增加的临界参数 $\rho_c$ 附近，解集的结构如何变化？
• RQ5 线性化算子的Fredholm性质与值域闭性在实现Liapunov-Schmidt分解以证明非唯一性中起何作用？

主要发现

• 存在一个临界能量密度 $\rho_c$，使得在CMC与非CMC（近似及远离）情形下，椭圆系统线性化的核均为一维。
• 当 $\rho = \rho_c$ 时，线性化算子 $D_X F((\phi_c, \mathbf{0}), 0)$ 为指标零的Fredholm算子，且具有一个一维核。
• 通过构造在 $\rho_c$ 处分岔的显式解曲线，利用Liapunov-Schmidt约化方法证明了解的非唯一性。
• 解曲线分析确认了在临界解邻域内存在多个解，从而在CMC情形下证明了非唯一性。
• 该方法可推广至非CMC情形，即使在远离CMC区域，只要满足相同的临界能量条件，仍可证明非唯一性。
• 结果在 $W^{2,p}$ 与 $C^{2,\alpha}$ 函数空间中均成立，证实了在不同正则性类中的稳健性。