[论文解读] Non linear stability of einsteinian spacetimes with U(1) isometry group

Yvonne Choquet–Bruhat, Vincent Moncrief|ArXiv.org|Feb 7, 2003

Cosmology and Gravitation Theories参考文献 1被引用 6

一句话总结

该论文建立了在形如 $\Sigma \times S^1 \times \mathbb{R}$ 的流形上具有 $U(1)$ 对称性群的膨胀爱因斯坦时空的非线性稳定性，其中 $\Sigma$ 是亏格 $G > 1$ 的紧致曲面。通过使用极化、$S^1$-不变的试探解法与修正能量的能量估计，作者证明了在小初始数据条件下，所有未来固有时 $t \in [t_0, \infty)$ 内解的全局存在性，表明解渐近趋近于具有 $\tau = -t^{-1}$ 的 Kasner 型度量。

ABSTRACT

We prove global completeness in the expanding direction of spacetimes satisfying the vacuum Einstein equations on a manifold of the form $Σ imes S^{1} imes R$ where $Σ$ is a compact surface of genus $G>1.$ The Cauchy data are supposed to be invariant with respect to the group $S^{1}$ and sufficiently small, but we do not impose a restrictive hypothesis made in gr-qc 0112049 on the lowest eigenvalue of a relevant Laplacian. The total energy decay still holds, but its rate depends of the asymptotic value of this eigenvalue.

研究动机与目标

• 在 $\Sigma \times S^1 \times \mathbb{R}$ 上建立具有 $U(1)$ 对称性群的真空爱因斯坦解的全局存在性，其中 $\Sigma$ 是亏格 $G > 1$ 的紧致曲面。
• 在无需先前工作中限制性假设的条件下，证明膨胀时空在小、$S^1$-不变初始数据下的非线性稳定性。
• 证明度量在膨胀方向上可光滑演化无限固有时，且平均曲率 $\tau = -t^{-1}$。
• 确保度量保持在固定的 Teichm\

提出的方法

• 假设时空度量为 $S^1$-不变且极化，形式为 ${}^{(4)}g = e^{-2\gamma}g + e^{2\gamma}(dx^3)^2$，将四维爱因斯坦方程约化为 $\Sigma \times \mathbb{R}$ 上的耦合系统。
• 将三维度量 $g_{ab}$ 分解为 $g_{ab} = e^{2\lambda}\sigma_{ab}$，其中 $\sigma_{ab}$ 具有常数标量曲率为 $-1$，从而保证 $\Sigma$ 的亏格 $G > 1$。
• 将平均曲率 $\tau = -t^{-1}$ 作为规范条件施加，其中 $t$ 定义为负平均曲率的倒数，确保时空在 $t \geq t_0$ 时发生膨胀。
• 引入修正能量泛函 $E_{\text{tot}}$ 以控制非线性项，利用索博列夫型不等式与衰减估计推导出其有界性。
• 将演化方程约化为 $\gamma$ 的波动方程与带标量场源的三维爱因斯坦方程系统，两者均通过能量估计进行分析。
• 推导出能量 $y(t)$ 的微分不等式，表明 $t^k y(t) \leq M_2 y_0$ 对某个 $k > 0$ 成立，暗示能量范数的多项式衰减。

实验结果

研究问题

• RQ1 真空爱因斯坦方程是否在 $U(1)$-对称时空 $\Sigma \times S^1 \times \mathbb{R}$ 上，且 $\Sigma$ 为亏格 $G > 1$ 的条件下，在膨胀方向上存在全局解？
• RQ2 是否可在无需先前工作限制性假设的条件下，证明全局存在性？
• RQ3 在曲面之间调和微分同胚的 Dirichlet 能量如何随时间演化？能否将其有界以确保度量保持在固定 Teichm\

主要发现

• 时空在所有未来固有时 $t \in [t_0, \infty)$ 内全局存在，且 lapse 函数 $N_m > 0$ 确保无奇点形成。
• 在条件 $\alpha < \frac{4}{8 + \Lambda^{-1}}$ 下，总能量 $E_{\text{tot}}(t)$ 以 $t^{-k}$ 速率衰减，其中 $k > 0$ 且 $k < \frac{1}{4}$，确保长期稳定性。
• Dirichlet 能量 $D_s(\sigma_t)$ 满足 $|D_s(\sigma_t) - D_s(\sigma_0)| \leq M_3 x_0^{1/2}$，表明在小初始数据下其保持接近初始值。
• 当 $t \to \infty$ 时，解渐近趋近于形式为 ${}^{(4)}g = -4dt^2 + 2t^2\sigma + (dx^3)^2$ 的度量，证实长期稳定性。
• Teichm\