# 260｜时空 Penrose 不等式：黑洞面积需要多少质量

> 官方问题族 260；本版含 13 篇稿件。以下为稿件结论的解释，未完成独立证明认证。来源版本：`adc7f1241b42`，核对日期：2026-10-07。

## A. 问题与历史背景

如果初始空间中已经有一个被困住的区域，远处测得的总质量能否小到不足以容纳这个黑洞？Penrose 在 1970 年代把引力坍缩、宇宙监督和黑洞面积增加联系起来，提出质量与视界面积之间的不等式。最熟悉的三维空间、无电荷形式是

```math
m\ge \sqrt{A/(16\pi)}.
```

这里采用 $G=c=1$；$m$ 是几何单位的质量，$A$ 是适当定义的面积。Schwarzschild 黑洞满足 $A=16\pi m^2$，正好取等号。物理图像是：若最终趋向静态黑洞，辐射带走能量而视界面积不能减少，那么初态质量应足以支撑该面积。但这种物理推理本身依赖演化和宇宙监督假设；从初始数据直接证明不等式，是另一项任务。

时间对称初始数据的外曲率 $K$ 为零，问题可转化为非负标量曲率下的黎曼几何。Huisken–Ilmanen、Bray 等工作解决了重要的三维时间对称情形。一般 $K\ne0$ 时，约束方程包含动量，表观视界也不是简单的极小曲面，困难显著增加。历史脉络可参阅 [Bray–Chruściel 的综述](https://arxiv.org/abs/gr-qc/0312047)及 [Mars 的综述](https://arxiv.org/abs/0906.5566)。

## B. 稿件结论及成立范围

这一族有 13 篇稿件，包含基础不等式、等号刚性、带电和旋转推广、反例以及不同无穷远条件，不能视作一个无条件的单一定理。

中性主结果针对空间维数 $n\ge3$ 的光滑、单个渐近平坦端初始数据外部区域。在主导能量条件、弱未来被困边界、规定的微分衰减和正包围面积等假设下，声称

```math
m_{\rm ADM}=\sqrt{E_{\rm ADM}^2-|P_{\rm ADM}|^2}
\ge \frac12\left(\frac{A_{\min}}{\omega_{n-1}}\right)^{(n-2)/(n-1)}.
```

$E_{\rm ADM},P_{\rm ADM}$ 是无穷远测得的能量、动量；$\omega_{n-1}$ 是单位球面的面积；$A_{\min}$ 是原始度量中完整包围边界的截面面积下确界，**不一定等于输入边界本身的面积**。主导能量条件要求物质能量密度不小于动量密度的模。高维定理具有较强衰减条件；三、四维配套版本放宽部分条件。增加外最层、外面积极小等视界假设后，等号声称刻画 Schwarzschild–Tangherlini 外部时空的空间切片。

三维无源电磁场版本令 $Q=\sqrt{Q_E^2+Q_B^2}$、$r_A=\sqrt{A_{\min}/(4\pi)}$，得到

```math
m\ge Q,\qquad r_A\le m+\sqrt{m^2-Q^2}.
```

常见改写 $m\ge(r_A+Q^2/r_A)/2$ 仅在稿件规定的 $r_A>Q$ 分支使用。高维带电版本仅处理规定归一化的纯电场，并以配套中性定理为输入。

轴对称 Kerr–Newman 版本声称

```math
m^2\ge\frac{A}{16\pi}+\frac{Q^2}{2}
       +\frac{\pi(Q^4+4J^2)}{A}.
```

这里 $J$ 必须是包含电磁贡献的守恒总角动量；还要求规定的电真空外部拓扑、零 ADM 动量、Coulomb 型渐近、连通的外最层且外面积极小的未来边际被困边界，以及 $A\ge4\pi\sqrt{Q^4+4J^2}$。配套反例说明：若只取“裸”的引力 ADM 角动量，同时允许角向变化的较弱电磁尾部，以上公式可以失败。

其余稿件分别处理具有球形共形无穷远的渐近反 de Sitter 数据、最大切片、局部共形扰动，以及特定 Cha–Khuri–Sakovich 双曲端类别的 Bondi 质量。它们的面积、质量和衰减定义应分别使用，不能把不同版本的宽松条件拼接成一个更强命题。

## C. 为什么证明困难，方法能带来什么

核心障碍是在把一般初始数据变形为较易处理的几何对象时，同时保护包围面积、控制无穷远质量并维持合适的曲率符号。稿件采用图形变形、共形变形和共形流等路线；刚性稿件进一步追踪每一步损失消失时的条件，恢复原始数据而不仅是一个辅助度量。

**潜在积极影响：**这些结论若经核验成立，会给数值相对论的初始数据提供严格的质量—面积一致性检查，也会强化黑洞热力学几何界限的基础。带电、旋转反例尤其有用，因为它们精确指出应测量和控制哪一种角动量及无穷远场。

**边界：**它们并不直接证明一般引力坍缩的宇宙监督，也不计算引力波波形。渐近 AdS 结果对全息研究可能提供约束，但从几何不等式到具体边界量子理论还需要额外的全息字典。

## 原稿及配套材料

- **O260-01** [The spacetime Penrose inequality with charge and original-data rigidity](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/The-spacetime-Penrose-inequality-with-charge-and-original-data-rigidity-October-5-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:The-spacetime-Penrose-inequality-with-charge-and-original-data-rigidity-October-5-2026`。
- **O260-02** [A Charged Reduction of the Spacetime Penrose Inequality in Spatial Dimensions at Least Four](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/A-Charged-Reduction-of-the-Spacetime-Penrose-Inequality-in-Spatial-Dimensions-at-Least-Four-October-5-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:A-Charged-Reduction-of-the-Spacetime-Penrose-Inequality-in-Spatial-Dimensions-at-Least-Four-October-5-2026`。
- **O260-03** [Spacetime Penrose inequalities: enclosing area, charge, and rigidity](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Spacetime-Penrose-inequalities-enclosing-area-charge-and-rigidity-October-5-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Spacetime-Penrose-inequalities-enclosing-area-charge-and-rigidity-October-5-2026`。
- **O260-04** [The Kerr–Newman Penrose Inequality for Axisymmetric Electrovacuum Exteriors](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/The-Kerr-Newman-Penrose-Inequality-for-Axisymmetric-Electrovacuum-Exteriors-October-5-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:The-Kerr-Newman-Penrose-Inequality-for-Axisymmetric-Electrovacuum-Exteriors-October-5-2026`。
- **O260-05** [Electromagnetic tails and the Kerr–Newman Penrose inequality](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Electromagnetic-tails-and-the-Kerr-Newman-Penrose-inequality-October-5-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Electromagnetic-tails-and-the-Kerr-Newman-Penrose-inequality-October-5-2026`。
- **O260-06** [The nonmaximal anti-de Sitter Penrose Inequality and original-data rigidity](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/The-nonmaximal-anti-de-Sitter-Penrose-Inequality-and-original-data-rigidity-October-5-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:The-nonmaximal-anti-de-Sitter-Penrose-Inequality-and-original-data-rigidity-October-5-2026`。
- **O260-07** [The Penrose inequality for maximal asymptotically hyperbolic initial data](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/The-Penrose-inequality-for-maximal-asymptotically-hyperbolic-initial-data-October-5-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:The-Penrose-inequality-for-maximal-asymptotically-hyperbolic-initial-data-October-5-2026`。
- **O260-08** [A local Penrose inequality for conformal perturbations of Schwarzschild–anti-de Sitter data](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/A-local-Penrose-inequality-for-conformal-perturbations-of-Schwarzschild-anti-de-Sitter-data-October-5-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:A-local-Penrose-inequality-for-conformal-perturbations-of-Schwarzschild-anti-de-Sitter-data-October-5-2026`。
- **O260-09** [The spacetime Penrose inequality and enclosing area](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/The-spacetime-Penrose-inequality-and-enclosing-area-September-27-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:The-spacetime-Penrose-inequality-and-enclosing-area-September-27-2026`。
- **O260-10** [Conformal flow and the Riemannian Penrose inequality with minimizing frontiers](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Conformal-flow-and-the-Riemannian-Penrose-inequality-with-minimizing-frontiers-September-27-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Conformal-flow-and-the-Riemannian-Penrose-inequality-with-minimizing-frontiers-September-27-2026`。
- **O260-11** [Equality and rigidity in the spacetime Penrose inequality](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Equality-and-rigidity-in-the-spacetime-Penrose-inequality-September-27-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Equality-and-rigidity-in-the-spacetime-Penrose-inequality-September-27-2026`。
- **O260-12** [Boundary graph deformations for the spacetime Penrose inequality](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Boundary-graph-deformations-for-the-spacetime-Penrose-inequality-September-27-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Boundary-graph-deformations-for-the-spacetime-Penrose-inequality-September-27-2026`。
- **O260-13** [Area-controlled end replacement and the Bondi–Penrose inequality in the CKS class](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Area-controlled-end-replacement-and-the-Bondi-Penrose-inequality-in-the-CKS-class-September-27-2026/paper.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Area-controlled-end-replacement-and-the-Bondi-Penrose-inequality-in-the-CKS-class-September-27-2026`。

[返回总览](../README.md) · [来源与核验记录](../sources.md)