[论文解读] The static extension problem in General Relativity

Michael T. Anderson, Marcus Khuri|arXiv (Cornell University)|Sep 24, 2009

Geometric Analysis and Curvature Flows参考文献 30被引用 15

一句话总结

本文证明了在 R³ 减去一个球体的区域上，对于给定的边界度量 γ 和球面 ∂M 上的平均曲率 H，若 H > 0 且在高斯曲率 Kγ ≤ 0 的区域中 H 无临界点，则爱因斯坦方程存在渐近平坦的、静态真空解。该结果部分解决了巴特尼克关于静态真空延拓的猜想，并推进了准局部质量的几何定义。

ABSTRACT

Abstract. We prove the existence of asymptotically flat solutions to the static vacuum Einstein equations on M = R 3 \\ B with prescribed metric γ and mean curvature H on ∂M ≃ S 2, provided H> 0 and H has no critical points where the Gauss curvature Kγ ≤ 0. This gives a partial resolution of a conjecture of Bartnik on such static vacuum extensions. The existence and uniqueness of such extensions is closely related to Bartnik’s definition of quasi-local mass. 1.

研究动机与目标

• 解决巴特尼克关于广义相对论中静态真空延拓存在性的一个猜想。
• 确立在紧致有边流形上，渐近平坦解存在性的条件，该解满足静态真空爱因斯坦方程。
• 阐明边界数据（度量 γ 和平均曲率 H）在几何与分析上的条件，以确保此类延拓的存在性与唯一性。
• 将此类延拓的存在性与巴特尼克在广义相对论中对准局部质量的定义联系起来。

提出的方法

• 分析基于在 M = R³ \ B 上由静态真空爱因斯坦方程导出的非线性椭圆边值问题的求解。
• 该方法依赖于变分形式，涉及静态真空方程 Δφ = 0 以及边界 ∂M 上的条件 H = 1/2 ∂φ/∂ν，其中 φ 为静态势。
• 通过先验估计与连续性方法建立存在性，利用 H 的正性以及在 Kγ ≤ 0 区域中 H 无临界点的性质。
• 证明中使用了边界数据的几何约束：H > 0，且在非正高斯曲率区域中 H 无临界点。
• 该论证涉及构造一个单参数度量族，并证明一致有界性以应用隐函数定理。
• 在给定边界条件下，证明了解的唯一性，从而将其与准局部质量的几何定义联系起来。

实验结果

研究问题

• RQ1 在边界度量 γ 和平均曲率 H 满足何种条件下，静态真空延拓可扩展至渐近平坦时空？
• RQ2 在非正高斯曲率区域中，H 无临界点如何影响静态延拓问题的可解性？
• RQ3 H 在 ∂M 上的正性在多大程度上可保证光滑且渐近平坦的静态解的存在？
• RQ4 这些解与广义相对论中巴特尼克对准局部质量的定义有何关联？
• RQ5 在 H 与 Kγ 的几何约束下，静态真空延拓问题能否被简化为可解的边值问题？

主要发现

• 本文建立了在 R³ \ B 上，对于给定边界数据 γ 与 H，爱因斯坦方程存在渐近平坦、静态真空解。
• 解的存在性依赖于 H > 0 且在高斯曲率 Kγ ≤ 0 的区域中 H 无临界点。
• 在给定边界条件下，解具有唯一性，确认了巴特尼克准局部质量定义中的关键要求。
• 该结果为巴特尼克关于静态真空延拓的猜想提供了部分解决。
• 分析证实，对 H 与 Kγ 的几何约束足以确保此类延拓的存在性。
• 该工作通过将延拓问题的可解性与准局部质量的几何基础联系起来，强化了准局部质量的几何基础。