[论文解读] Existence of CMC and constant areal time foliations in T^2 symmetric spacetimes with Vlasov matter

Håkan Andréasson, Alan D. Rendall+1 more|arXiv (Cornell University)|Nov 18, 2002

Cosmology and Gravitation Theories参考文献 10被引用 11

一句话总结

本文建立了在T²对称时空与Vlasov物质耦合情形下全局常平均曲率（CMC）和常面积时间叶状结构的存在性。通过利用共形坐标和面积坐标下约化爱因斯坦-Vlasov系统长时间存在定理，证明了具有非平坦初值数据的时空存在完整、全局定义的CMC和面积时间叶状结构，确保在最大柯西发展过程中几何时间演化始终良好。

ABSTRACT

The global structure of solutions of the Einstein equations coupled to the Vlasov equation is investigated in the presence of a two-dimensional symmetry group. It is shown that there exist global CMC and areal time foliations. The proof is based on long-time existence theorems for the partial differential equations resulting from the Einstein-Vlasov system when conformal or areal coordinates are introduced.

研究动机与目标

• 在与Vlasov物质耦合的T²对称时空中，建立全局几何时间坐标——特别是CMC和常面积时间叶状结构存在的证明。
• 扩展对爱因斯坦-Vlasov系统在对称性约化下全局动力学的理解，特别是在具有紧致空间拓扑的宇宙学设定中。
• 证明非平坦初值数据导致完全、全局双曲时空，其由具有常平均曲率或常面积函数的类空超曲面叶状覆盖。
• 通过证明在面积坐标和共形坐标参数化下解的长时间存在性和正则性，为对称解中的时间演化提供严格基础。

提出的方法

• 分析基于从T²对称下爱因斯坦-Vlasov系统导出的约化偏微分方程的长时间存在定理。
• 在初始超曲面附近引入共形坐标，以将解向过去方向延拓，确保存在常面积时间的柯西超曲面。
• 通过将空间坐标变换为与面积函数R的等值面正交，全局构造面积坐标，其中R在T²等距变换下保持不变。
• 证明依赖于延拓准则：只要面积函数R保持正值，解即可持续存在，从而避免爆破或奇异性行为。
• 通过能量估计和输运方程推导出粒子分布函数f的高阶导数有界性，确保C∞正则性。
• 论证结合了Vlasov-Poisson和Vlasov-Maxwell系统的技术，并针对T²对称下爱因斯坦-Vlasov情形的新适应性方法。

实验结果

研究问题

• RQ1 在具有Vlasov物质的T²对称时空中，能否构造出全局常平均曲率（CMC）时间叶状结构？
• RQ2 面积函数R在过去和未来是否保持远离零，从而支持全局面积时间叶状结构？
• RQ3 在何种条件下，最大柯西发展允许由具有常平均曲率的类空超曲面构成的完整叶状结构？
• RQ4 爱因斯坦-Vlasov系统在T²对称下的几何与PDE结构如何支持解的长时间存在性和正则性？
• RQ5 在非平坦T²对称时空中，初始奇点是否为压碎奇点，从而允许在初始奇点邻域内构造CMC叶状结构？

主要发现

• 在具有Vlasov物质的非平坦T²对称初值的最大柯西发展中，全局CMC时间叶状结构存在，覆盖整个时空。
• 面积时间坐标R在整个时空中全局定义，且满足R ∈ (R₀, ∞)，确保由常面积超曲面构成的完整叶状结构。
• 面积时间超曲面的平均曲率满足不等式trk = −e^{−η+U}α^{−1/2}(η_t − U_t + t^{−1}) ≥ tU_t^2 − U_t + t^{−1} ≥ 3/4 tU_t^2 + t(1/2 U_t − t^{−1})^2，表明平均曲率为负。
• 初始奇点为压碎奇点，允许在其邻域内构造CMC叶状结构，且该叶状结构可全局延拓。
• 证明通过能量估计和输运方程建立了粒子分布函数f所有高阶导数的统一有界性。
• 时空是全局双曲的，且解在整个最大柯西发展中C∞光滑，不存在有限时间奇点或爆破现象。