渐近平坦时空中奇点全局可见性的阻挡

考虑一个 $(N+1)$ 维渐近平坦时空，以及一条未来指向、仿射参数化的发出型脱靶边界 $\partial J^+(S_\varepsilon)$ 的生成曲线 $\gamma$，其中 $\{S_\varepsilon\}$ 为光滑紧致 2-维子流形的嵌套族，逼近过去的奇点边界集合 $S$。在无扭转情形下且满足空能条件时，$m:=N-1$ 维屏幕束上的 Raychaudhuri 方程为 $$\theta'=-\frac1m\theta^2-\|\sigma\|^2-\mathrm{Ric}(k,k),$$ 其中 $k$ 为 $\gamma$ 的切向量。该方程通过重缩放 $u:=A^{1/m}$（其中 $A := |\det D|$ 为 Jacobi 图 $m$ 体积）线性化，化为 Sturm 型 ODE $$u''+\frac1m f\,u=0,\qquad f:=\|\sigma\|^2+\mathrm{Ric}(k,k)\ge 0.$$ 我们发展两种纯粹基于生成曲线的判据迫使 $u$ 首个零点出现：(i) 结合精确 Volterra 身份与凹性，导出屏蔽加权积分不等式；(ii) Sturm 比较与 Pr"ufer 角估计表明，当 $\int_c^d \sqrt{f/m}\,d\lambda>\pi$ 时，必然出现不连续性。我们证明 $u(\lambda_\ast)=0$ 等价于焦点（共轭）点的存在，并意味着在 $\lambda_\ast$ 处 $\theta= m u'/u\to-\infty$。依据 achronal 边界的标准结构，这导致一种几何化的阻挡：若每一条可能到达 $\mathscr I^+$ 的生成曲线在规律时空区域满足上述条件之一，则 $J^+(S_\varepsilon)\cap \mathscr I^+ =\emptyset$，从而 $S$ 不可全局可见。作为应用，我们在 Christodoulou 的Einstein-无质量标量场坍缩模型中说明其中一条判据。