Horizon-regular cross-focusing and inner-horizon obstructions in spherical f(R) gravity

技术摘要：球面 $f(R)$ 引力中的视界正则性、跨聚焦与内视界阻碍

问题陈述
黑洞的内部结构，特别是内视界（通常在静态延拓中被识别为柯西视界）的存在性与正则性，构成了广义相对论及其他修正引力理论中的一个基本挑战。在带电或旋转解中，内部的杀因子视界（Killing horizons）往往标志着从初始柯西曲面进行确定性演化的边界失效，这通常与质量膨胀（mass-inflation）不稳定性相关。虽然在爱因斯坦引力及其他修正理论中已经建立了多种“无内视界”判据，但针对球面度规 $f(R)$ 引力的视界正则性分析仍然缺失。纯粹的静态坐标分析对于内视界问题是不充分的，因为在外视界与内柯西视界之间，坐标的因果性质会发生交换，且静态度规函数的零点无法提供对视界本质的全局表征。本文旨在解决建立一种基于零量（null quantities）判据的需求，这些量在跨越外视界并贯穿整个中间区域时保持正则。

方法论
作者为球对称度规 $f(R)$ 引力构建了一个视界正则的双零坐标系（double-null framework）。其方法论如下：

1. 形式化： 他们采用了双零坐标 $(u, v)$ 以及由仿射参数化的入向零矢量 $n^\mu$ 和出向零矢量 $\ell^\mu$ 组成的归一化零框架。
2. 场方程： 从 $f(R)$ 场方程出发，他们分离出 Jordan 系标标量源（Jordan-frame matter–scalaron source）。标量子定义为 $F \equiv f_R = df/dR$，假设 $F > 0$ 以确保正的有效引力耦合。
3. 演化律推导： 通过将场方程与零框架矢量进行收缩，他们推导出了一个精确的跨聚焦方程（cross-focusing equation）。关键在于，他们将该方程乘以面积因子 $r^2$，从而得到一个关于出向膨胀 $\theta(\ell)$ 的面积加权演化律：
   $$\mathcal{L}_n (r^2 \theta(\ell)) = -1 + \frac{r^2 P_{\ell n}}{F}$$
   此处，$P_{\ell n}$ 是一个包含物质投影 $T_{\ell n}$、标量子导数（$\nabla_\ell \nabla_n F, \square F$）以及代数曲率势能的混合源项。
4. 分类： 他们利用在边际球面（marginal sphere, $\theta(\ell)=0$）处导数 $\mathcal{L}_n \theta(\ell)$ 的符号来对视界进行分类：未来外视界（$<0$）、未来内视界（$>0$）或退化视界（$=0$）。

主要贡献与结果
本文确立了关于从外视界向潜在内视界传播的零生成元（null generators）的三项主要理论结果：

1. 精确积分判据（命题 1）： 作者推导出了沿着连接两个边际球面的正则入向零生成线的精确积分关系。若两个端点均为边际球面，则源项减去曲率阈值的积分必须为零：
   $$\int_{\lambda_o}^{\lambda_i} \left( \frac{r^2 P_{\ell n}}{F} - 1 \right) d\lambda = 0$$
   这种形式在跨越外视界时是正则的，且不依赖于奇异的静态权重。

2. 传播阻碍（定理 1）： 本文证明了存在第二个正则边际球面的充分阻碍条件。如果一个生成元起源于一个非退化的未来外边际球面，并且在随后的整个线段上混合源满足不等式 $P_{\ell n} \leq F/r^2$，那么面积加权膨胀 $r^2 \theta(\ell)$ 将无法返回零。因此，在该生成元上不会出现第二个正则的未来边际球面（特别是不存在正则的内边际视界）。该结果并不要求中间区域是完全俘获的（$\theta(n) < 0$）。

3. 必要的源反转（命题 2）： 相反，连接到外视界的正则非退化未来内边际球面的存在，必然要求源项发生局部反转。源项 $P_{\ell n}$ 必须在内视界处超过阈值 $F/r^2$。此外，一个“源反转函数” $S(\lambda) \equiv r^2 P_{\ell n}/F - 1$ 必须从负值（在外视界处）变为正值（在内视界处），并满足精确的积分平衡 $\int S d\lambda = 0$。

验证与示例
该框架通过以下极限和解进行了测试：

• 广义相对论极限： 该判据重现了 Schwarzschild、Reissner–Nordström 及 Schwarzschild–de Sitter 时空的标准分类。在 Reissner–Nordström 情况中，麦克斯韦场提供了必要的正混合应力以满足内视界阈值，这与源反转条件一致。
• 标量子活跃解（Scalaron-Active Solution）： 作者利用一个精确的、带电的、非恒定曲率的 $f(R)$ 黑洞解（Tang, Wang, and Papantonopoulos）验证了该框架。在该解中，标量子 $F$ 在两视界区域内保持严格正值，且混合源 $P_{\ell n}$ 明确经历了所需的符号反转和积分平衡。
• 可行性检查： 对 Multamäki–Vilja 解的分析表明，如果标量子 $F$ 在感兴趣区域内消失或改变符号，则除以标量子的跨聚焦方程将变得无定义，从而阻碍定理的应用。这强调了 $F > 0$ 是该论证的一个全局可行性要求。

意义与范围
本文声称，其结果通过识别必须演化的特定局部物质与修正引力项组合（即混合源 $P_{\ell n}$），为分析修正引力中的内视界提供了系统性的基础。

作者明确说明了其研究的范围与局限性：

• 条件性： 该结果是对“特定类别”正则内边际视界的阻碍，而非无条件的全局“无柯西视界”定理。它仅适用于通过正则双零延拓到达的正则、非退化未来内边际视界。
• 与稳定性的区别： 该定理讨论的是正则内边际视界的存在性及其几何前提，而非其针对质量膨胀不稳定性（mass-inflation instabilities）的非线性稳定性，亦不涉及非边际的奇异柯西边界。
• 模型依赖性： 虽然竞争机制（$P_{\ell n}$ 与 $F/r^2$ 之间的竞争）是通用的，但所需的源不等式是否成立取决于具体的 $f(R)$ 拉格朗日量和物质含量。

总之，这项工作通过将准局部视界几何与 $f(R)$ 引力的动力学内容相结合，提供了一种视界正则的传播阻碍以及一个必要的源反转条件，该条件可以在解析解及未来的数值模拟中得到检验。