[论文解读] The Einstein--null dust system in spherical symmetry with an inner mirror: structure of the maximal development and Cauchy stability

Georgios Moschidis|arXiv (Cornell University)|Apr 27, 2017

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

一句话总结

本文研究了在 r = r₀ 处存在内镜面的球对称爱因斯坦--零能量尘埃系统，以防止因尘埃在对称轴上聚集而导致时空不可延拓。该研究通过测量尺度约为 r₀ 的能量集中程度的粗糙范数，建立了光滑、渐近反 de Sitter 初始数据下最大发展解的存在性、唯一性以及柯西稳定性，为反 de Sitter 不稳定性猜想提供了基础估计。

ABSTRACT

In this paper, we study the evolution of asymptotically AdS initial data for the spherically symmetric Einstein--massless Vlasov system for $Λ<0$, with reflecting boundary conditions imposed on timelike infinity $\mathcal{I}$, in the case when the Vlasov field is supported only on radial geodesics. This system is equivalent to the spherically symmetric Einstein--null dust system, allowing for both ingoing and outgoing dust. In general, solutions to this system break down in finite time (independent of the size of the initial data); we highlight this fact by showing that, at the first point where the ingoing dust reaches the axis of symmetry, solutions become $C^{0}$ inextendible, although the spacetime metric remains regular up to that point. One way to overcome this trivial obstacle to well-posedness is to place an inner mirror on a timelike hypersurface of the form $\{r=r_{0}\}$, $r_{0}>0$, and study the evolution on the exterior domain $\{r\ge r_{0}\}$. In this setting, we prove the existence and uniqueness of maximal developments for general smooth and asymptotically AdS initial data sets, and study the basic geometric properties of these developments. Furthermore, we establish the well-posedness and Cauchy stabilty of solutions with respect to a rough initial data norm, measuring the concentration of energy at scales proportional to the mirror radius $r_{0}$. The above well-posedness and Cauchy stability estimates are used in our companion paper for the proof of the AdS instability conjecture for the Einstein--null dust system. However, the results of the present paper might also be of independent interest.

研究动机与目标

• 解决由于尘埃在对称轴上聚集导致的爱因斯坦--零能量尘埃系统中 C⁰ 不可延拓的问题。
• 在 r = r₀ 处存在类时内镜面的条件下，建立该系统的适定性与柯西稳定性。
• 定义并分析一种对能量集中于与镜面半径 r₀ 成比例尺度敏感的粗糙初始数据范数。
• 为反 de Sitter 不稳定性猜想在爱因斯坦--零能量尘埃系统背景下的研究提供基础估计。

提出的方法

• 在 r = r₀ > 0 处引入内镜面，将时空区域限制在 r ≥ r₀，以避免轴线奇点。
• 利用球对称爱因斯坦--无质量维拉索夫系统（具有径向测地线支撑）与爱因斯坦--零能量尘埃系统的等价性。
• 通过光滑、渐近反 de Sitter 初始数据集的广义未来发展概念构造最大发展解。
• 定义一种粗糙初始数据范数，用于测量尺度约为 r₀ 的能量集中程度，从而实现对小扰动下解的控制。
• 应用能量估计与几何分析，证明最大发展解的存在性与唯一性。
• 通过以粗糙初始数据范数表示解之间差值的有界性，建立柯西稳定性。

实验结果

研究问题

• RQ1 在对称轴上尘埃聚集导致 C⁰ 不可延拓的情况下，球对称爱因斯坦--零能量尘埃系统是否仍可适定？
• RQ2 在 r = r₀ 处存在内镜面如何影响最大发展解的结构？
• RQ3 何种初始数据范数可确保在镜面存在条件下解的小扰动下具有柯西稳定性？
• RQ4 对于一般光滑、渐近反 de Sitter 初始数据，在镜面边界条件下最大发展是否可唯一构造？
• RQ5 该镜面正则化系统中最大发展解的几何与分析性质如何表征？

主要发现

• 即使度量保持正则，爱因斯坦--零能量尘埃系统解在首次有向内运动的尘埃到达轴线的点即出现 C⁰ 不可延拓。
• 在 r = r₀ > 0 处引入内镜面后，可为所有光滑、渐近反 de Sitter 初始数据集唯一构造最大发展解。
• 最大发展在存在性与唯一性意义上对给定初始数据类全局适定。
• 柯西稳定性通过一种粗糙初始数据范数得以建立，该范数可捕捉与镜面半径 r₀ 成比例尺度的能量集中。
• 研究结果为反 de Sitter 不稳定性猜想在爱因斯坦--零能量尘埃系统中的证明提供了关键估计，这些估计在附录论文中被使用。
• 最大发展解的几何结构在镜面边界处保持正则且行为良好，外部区域未出现曲率奇点。