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

一句话总结

本文建立了真空爱因斯坦方程在光锥上具有特征初值时的存在性定理，证明了在顶点附近解析且接近球对称的初值将导致时空中唯一的局部解。通过分析波规范约化方程并验证度量分量的可接受渐近展开，作者将存在性结果从闵可夫斯基型数据推广至更一般的解析、近球对称初值配置。

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.

研究动机与目标

• 为解决在光锥上构造真空爱因斯坦方程一般特征初值解的挑战，特别是当光锥顶点引入几何奇点时。
• 克服拟线性波动方程在特征锥上对函数类的要求与锥顶点奇点所引发约束之间的不匹配。
• 建立一个充分条件——解析性与近球对称性——以保证光锥上柯西问题存在局部解。
• 将先前要求快速衰减或闵可夫斯基型数据的存在性定理，推广至更广泛的解析初值类。

提出的方法

• 以闵可夫斯基为目标，在波规范下表述真空爱因斯坦方程，将其约化为度量分量的拟对角拟线性二阶系统。
• 通过诱导退化度量 $\tilde{g}$ 在光锥 $C_O$ 上施加初值，该度量通过一整套层次化的常微分方程（波规范约束）确定迹 $\bar{g}$。
• 通过以 $r = |y^i|$ 和 $y^0$ 表示的可接受展开构造，分析顶点附近的度量分量渐近行为，确保解析性与正则性。
• 在验证迹初值具有可接受展开后，应用 Cagnac-Dossa 定理于具有特征初值的拟线性波动方程解的存在性。
• 利用锥度量 $C$ 的第二基本形式与克里斯托费尔符号在顶点处为解析且与近球对称性条件相容的事实，控制解的渐近结构。
• 证明波规范约束对于约化解满足完整爱因斯坦方程而言是必要且充分的。

实验结果

研究问题

• RQ1 能否在光锥未来区域上，对一般解析初值（超越闵可夫斯基或快速衰减情形）构造真空爱因斯坦方程的解？
• RQ2 光锥上初值的何种几何与解析条件可保证爱因斯坦方程存在局部解？
• RQ3 波规范约束如何与光锥上初值的几何结构（特别是顶点附近）相关联？
• RQ4 顶点处的近球对称性条件在多大程度上允许构造度量分量的可接受渐近展开？

主要发现

• 当诱导度量 $C$ 在顶点处为解析且近球对称时，建立了真空爱因斯坦方程在光锥上具有特征初值的存在性定理。
• 若 $C$ 在顶点处为解析且近球对称，则由内在数据 $\tilde{g}$ 导出的锥上度量迹 $\bar{g}$ 具有可接受的渐近展开。
• 函数 $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 定理于约化系统，证实了在所述解析性与近球对称性条件下解的存在性。