[论文解读] Future complete Einsteinian space times with U(1) symmetry, the unpolarized case

Yvonne Choquet–Bruhat|ArXiv.org|May 15, 2003

Black Holes and Theoretical Physics参考文献 5被引用 3

一句话总结

该论文在不假设极化条件的前提下，建立了在 $M = S^1 \times \Sigma$ 上的 U(1) 对称爱因斯坦时空的全局存在性与未来因果完备性，其中 $\Sigma$ 是亏格大于一的紧致可定向曲面。通过将场方程约化为与 2+1 维引力耦合的标量波映射，并构造对 $\Sigma$ 上拉普拉斯算子最低特征值渐近行为敏感的校正能量泛函，作者证明了解在所有未来时间均存在，且表现出统一或依赖于特征值的衰减速率，时空度量在膨胀极限下渐近趋于平坦形式。

ABSTRACT

I prove the existence of vacuum $S^{1}$ symmetric Einsteinian, unpolarized, space times which are complete in the direction of the expansion, for small initial data, without supposing that the $S^{1}$ orbits are orthogonal to the 3-manifolds, as was done in previous work in collaboration with V. Moncrief.

研究动机与目标

• 通过去除极化条件，将极化 U(1) 对称时空的非线性稳定性结果推广至非极化情形。
• 在不限制基面 $\Sigma$ 的共形几何的前提下，分析约化场方程的动力学行为，现为非线性标量波映射与 2+1 维引力的耦合系统。
• 构造高阶能量泛函，以考虑 $\Sigma$ 上拉普拉斯算子时变谱隙的影响，该谱隙影响引力自由度的衰减速率。
• 在非极化情形下，从较小初始数据出发，建立解的全局存在性与未来方向的因果测地线完备性。

提出的方法

• 将 4D 真空爱因斯坦方程约化为从 $\Sigma \times \mathbb{R}$ 到庞加莱平面的标量波映射，其中度量 $^{(3)}g$ 满足由波映射源项驱动的 2+1 维爱因斯坦方程。
• 利用扭势 $\omega$ 与共形因子 $\gamma$ 参数化 Killing 向量场范数与类电磁场，构成波映射的目标空间。
• 引入依赖于 $\Sigma$ 上最低非零特征值渐近值的校正能量泛函，以控制尽管衰减速率非统一时的索伯列夫范数。
• 采用规范固定程序，将 2+1 维爱因斯坦方程约化为每个 $\Sigma_t$ 上的椭圆系统（用于 lapse、shift 与共形因子），以及一组 Teichmüller 参数的常微分方程系统。
• 利用索伯列夫嵌入与通过 Teichmüller 参数控制的共形几何，维持演化过程中索伯列夫常数的统一有界性。
• 利用 lapse 的有界性与法向轨迹的无限固有时长，证明未来类时与类光测地线的完备性。

实验结果

研究问题

• RQ1 非极化 U(1) 对称真空爱因斯坦系统是否对小初始数据存在未来完备的解？
• RQ2 引力自由度的渐近衰减速率如何依赖于基面 $\Sigma$ 上拉普拉斯算子的谱隙？
• RQ3 在不限制 $\Sigma$ 的共形几何的前提下，能否在非极化情形下建立全局存在性与因果完备性？
• RQ4 电类型场的调和部分在约化场方程中起什么作用？当其非零时，波映射形式是否仍可保持？

主要发现

• 时空是全局因果的，且未来类时与类光测地线均完备，所有法向轨迹具有无限固有时长。
• 波映射场与 Teichmüller 参数的演化使得在共形重标度下，圆形纤维收缩至零长度，而共形 2-几何保持良好行为。
• 总能量有统一有界性，$(\gamma, \omega)$ 的 $H_2$ 范数与 $(\partial_t\gamma, \partial_t\omega)$ 的 $H_1$ 范数在时间上一致有界。
• 度量渐近趋于平坦形式：${}^{(4)}g \to -4dt^2 + 2t^2\sigma_\infty + e^{2\gamma_\infty}(dx^3 + H_\infty)^2$，其中 $\sigma_\infty$ 的标量曲率为 $-1$，$H_\infty$ 是 $\Sigma$ 上的调和 1-形式。
• 若最低非零特征值避开区间 $(0, \frac{1}{8}]$，则能量衰减速率是统一的；否则，衰减速率依赖于该特征值的渐近值。
• lapse $N$ 以 $C^0$ 范数趋于 2，shift $\nu$ 趋于零，而 $\gamma$ 以分布意义收敛于常数 $\gamma_\infty$，$\omega$ 收敛于常数 $\omega_\infty$，表明在膨胀方向渐近平坦。