[论文解读] The general Penrose inequality: lessons from numerical evidence

Janusz Karkowski, Edward Malec|ArXiv.org|Dec 21, 2004

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

一句话总结

本文通过真空和物质填充的初始数据集的数值模拟，研究了广义Penrose不等式，检验了不等式的多种表述形式。结果表明，只要满足主导能量条件，无论过去和未来的视界是否相交，只要它们从最外层的极小曲面分叉产生，该不等式对过去和未来的视界均成立，为物理上相关情形下该猜想提供了强有力的数值支持。

ABSTRACT

Formulation of the Penrose inequality becomes ambiguous when the past and future apparent horizons do cross. We test numerically several natural possibilities of stating the inequality in punctured and boosted single- and double- black holes, in a Dain-Friedrich class of initial data and in conformally flat spheroidal data.The Penrose inequality holds true in vacuum configurations for the outermost element amongst the set of disjoint future and past apparent horizons (as expected)and (unexpectedly) for each of the outermost past and future apparent horizons, whenever these two bifurcate from an outermost minimal surface, regardless of whether they intersect or remain disjoint. In systems with matter the conjecture breaks down only if matter does not obey the dominant energy condition.

研究动机与目标

• 检验在非球对称时空下，过去和未来视界可能相交时，广义Penrose不等式的多种表述形式。
• 确定Penrose不等式是否对单个最外层过去和未来视界成立，而不仅限于全局最外层视界。
• 研究主导能量条件在不等式有效性中的作用，特别是在物质填充时空中的情况。
• 探索数值证据是否能为小外曲率初始数据中不等式的局部解析证明提供支持。
• 澄清在通用 foliations（叶状结构）中视界交叉时，Penrose不等式表述中的模糊性。

提出的方法

• 使用共形方法构造初始数据，采用共形平坦度量和指定的无迹外曲率。
• 数值求解共形因子 $\phi$ 的Lichnerowicz-York方程，边界条件为：$\phi \to 1$ 在空间无穷远处，且在内边界处为常数。
• 为穿孔黑洞（Bowen-York 和 Dain-Friedrich 类型）及可调物质密度的椭球系统定义初始数据。
• 计算ADM质量 $m$ 和视界面积 $S_H$，以评估 $m \geq \sqrt{S_H / 16\pi}$，测试不等式的多种版本。
• 改变能量密度 $\rho$ 中的参数 $C$，以检验 $C=1$（满足主导能量条件）和 $C=0$（违反）的情况。
• 使用数值相对论技术，通过光学标量条件 $\theta_{\pm} = \nabla_i t^i \pm K_{ij}t^i t^j = 0$ 定位视界。

实验结果

研究问题

• RQ1 当过去和未来视界从同一极小曲面分叉产生时，即使它们相交，Penrose不等式是否对两者均成立？
• RQ2 在主导能量条件不满足的系统中，Penrose不等式是否可能被违反？
• RQ3 在非球对称、真空的初始数据中，不同形式的Penrose不等式（如PIS、PIM）表现如何？
• RQ4 是否存在一致的数值模式，支持在小外曲率初始数据中不等式的局部解析证明？
• RQ5 在非真空、物质填充的配置中，极小曲面在决定Penrose不等式有效性方面起什么作用？

主要发现

• 在所有测试的真空情形中，无论过去和未来视界是否相交，Penrose不等式对最外层过去和未来视界均以数值方式成立。
• 在所有从最外层极小曲面分叉出的视界测试中，不等式 $m \geq \sqrt{S_H / 16\pi}$ 对每个视界单独成立。
• 当 $C=1$ 时，能量密度满足主导能量条件，且不等式成立：例如，$\phi(r=1)=2.5$ 时，$m \approx 3.00096$，$m_H \approx 3.00067$，故 $m > m_H$。
• 当 $C=0$ 时，主导能量条件被违反，且在前两个例子中不等式失效：例如，$m \approx 2.80004$，$m_H \approx 2.80011$，故 $m < m_H$。
• 最外层极小曲面在所有测试配置中始终是过去和未来视界分叉的点。
• 数值结果表明，对于小外曲率情形，存在一条通往不等式局部解析证明的合理路径，如第5节所概述。