[论文解读] The Formation of Black Holes in General Relativity

Demetrios Christodoulou|ArXiv.org|May 26, 2008

Cosmology and Gravitation Theories参考文献 5被引用 14

一句话总结

本文通过特征初值问题方法，在广义相对论中严格建立了球对称引力坍缩中束缚面与黑洞的形成。通过分析过去 null 无穷远处的渐近行为，并推导连接系数和外尔曲率的尖锐 L∞、L4 和 L2 估计，作者证明：若每个方向上的单位立体角入射辐射能量超过临界阈值，束缚面将动态形成，从而导致具有事件视界的黑洞出现。

ABSTRACT

The subject of this work is the formation of black holes in pure general relativity, by the focusing of incoming gravitational waves. The theorems established in this monograph constitute the first foray into the long time dynamics of general relativity in the large, that is, when the initial data are no longer confined to a suitably small neighborhood of Minkowskian data. The theorems are general, no symmetry conditions on the initial data being imposed.

研究动机与目标

• 在广义相对论中，建立球对称引力坍缩中束缚面形成的必要与充分条件。
• 使用特征初值问题公式，严格分析爱因斯坦真空方程的动力学。
• 推导连接系数和曲率分量的尖锐点态与 $L^p$ 估计，以控制时空几何的演化。
• 证明单位立体角的入射辐射能量存在一个阈值，触发束缚面的形成，最终导致黑洞的出现。
• 通过能量通量与乘子估计完成连续性论证，构造包含完整未来事件视界的极大发展。

提出的方法

• 在 null 超曲面 $\mathcal{C}_u$ 和 $\mathcal{C}'_u$ 上使用特征初值数据，从过去 null 无穷远处演化。
• 应用光学结构方程与比安基恒等式，将连接系数 ($\chi, \eta, \omega$) 与曲率分量关联。
• 通过初始数据与参数 $\delta$ 的小量假设，推导连接系数及其导数的 $L^\infty$ 估计。
• 利用 2-球面上的 Sobolev 不等式与椭圆理论，对连接系数的一、二、三阶导数建立 $L^4(S)$ 与 $L^2$ 估计。
• 引入乘子与对易向量场（包括旋转场 $O_i$）以控制能量通量估计中的误差项。
• 利用 Bel-Robinson 张量与散度定理定义时空能量与通量，从而通过 bootstrap 论证完成连续性论证。

实验结果

研究问题

• RQ1 在球对称时空的过去 null 无穷远处，初始数据满足何种条件时会形成束缚面？
• RQ2 单位立体角的入射辐射能量如何影响束缚面与黑洞的形成？
• RQ3 连接系数与曲率分量的 $L^p$ 估计在控制解的全局存在性与正则性方面起什么作用？
• RQ4 能否从渐近平坦的特征初值数据构造出包含未来事件视界的完整未来发展？
• RQ5 极大发展如何通过精确的几何与动力学机制，导致未来完全 null 测地线不完备？

主要发现

• 若单位立体角的入射辐射能量满足 $\int_0^\delta e_\infty(u, \vartheta)\,du \geq k$ 对所有 $\vartheta \in S^2$ 成立，则形成束缚面，其面积半径满足 $|r - 1| \leq O(\delta)$。
• 极限能量通量 $e_\infty(u, \vartheta)$ 定义为 $\frac{1}{8\delta} \left| \partial_s \psi_0(u/\delta, \vartheta) \right|^2$，表示单位立体角的入射辐射功率的 8π 倍。
• 由过去 null 无穷远处数据 $(\psi_0, \psi_0')$ 构造的解是唯一的，且满足 $\phi(u,u,\vartheta) \to 1$ 以及 $|u|^{-1} \hat{\chi}_{AB} \to \frac{w^2(\vartheta)}{2\delta^{1/2}} \partial_s \psi_0(u/\delta, \vartheta)$ 当 $u \to -\infty$ 时。
• 极大发展包含所有 $u \leq c < 0$ 的完整光锥 $\mathcal{C}_u$ 以及未来 null 无穷近邻域，表明形成了完整的黑洞时空。
• 若条件 $\int_0^\delta e_\infty(u, \vartheta)\,du \geq k$ 对所有 $\vartheta$ 成立，则束缚球的面积半径满足 $|r - 1| \leq O(\delta)$，在 $k \to 1$、$\delta \to 0$ 的极限下，恢复球对称不等式 $2E/r \geq 1$。
• 若在某些方向上条件不成立，则 $\mathcal{C}_{-1-\delta}$ 的某些生成线满足 $\operatorname{tr} \chi' < 0$，导致共轭点或测地线不完备，表明可能存在奇点形成。