关于带宇宙学常数的 Einstein-Maxwell-标量场系统的全局唯一性。第一部分：适定性与破裂判据

本文是致力于解决以下问题的三部曲中的第一部：给定带宇宙学常数 $\Lambda$ 的 Einstein-Maxwell-标量场系统的球对称特征初值数据，其中出射初始零超曲面上的数据由次极端 Reissner-Nordstrom 黑洞事件视界给出，研究相应最大全局双曲发展 (MGHD) 作为“适当正则”的 Lorentz 流形的未来可扩展性。在第一部分中，我们建立了满足导致经典解的最小正则性条件的特征数据的 Einstein 方程的适定性。我们还确定了最大解的适当概念，由此可构建相应的 MGHD，并确定了破裂判据。这是分析中不可避免的起点；我们的主要结果将依赖于对这些基本问题的深入理解。在本系列的第二部分中，我们将研究 Cauchy 视界处半径函数的稳定性。在第三篇也是最后一篇论文中，我们将表明，取决于初值的衰减速率，质量暴涨可能发生也可能不发生；事实上，甚至可能存在时空跨越 Cauchy 视界作为 Einstein 方程经典解的（非等距）延拓。