外区域中四维拟线性波动方程的几乎全局存在性

本文关注具有小初值的四维外区域中拟线性波动方程的几乎全局存在性。非线性项允许依赖于解的二次项及其一阶和二阶导数。对于无边界设置下的这一问题，H"{o}rmander 证明了寿命下界为 $\exp(c/\epsilon)$，其中 $\epsilon>0$ 表示 Cauchy 数据的大小。随后，Du、第二作者、Sogge 和 Zhou 表明该不等式也适用于星形障碍物。继作者在三维情形下的工作之后，我们弱化了对几何形状的假设，仅要求障碍物允许线性齐次波动方程的局部能量充分快速衰减。本文的关键创新在于结合使用第二作者和 Sogge 的边界项估计，以及 Klainerman 和 Sideris 估计的一个变体，后者将通过 Du 和 Zhou 的 Sobolev 不等式获得。