[论文解读] Ellipticity of Bartnik boundary data for stationary vacuum spacetimes

Zhongshan An|arXiv (Cornell University)|Jul 1, 2018

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

一句话总结

本文通过证明带有Bartnik边界条件的静止真空时空的静止真空方程构成一个弗雷德霍姆系统，确立了静止真空时空的Bartnik边界数据构成一个椭圆边值问题。关键结果是：对平坦边界数据的小扰动，存在唯一的（在微分同胚意义下）局部静止真空延拓，从而证实了Bartnik拟局部质量构造的椭圆性。

ABSTRACT

We establish a moduli space $\mathbb E$ of stationary vacuum metrics in a spacetime, and set up a well-defined boundary map $Π$ in $\mathbb E$, assigning a metric class with its Bartnik boundary data. Furthermore, we prove the boundary map $Π$ is Fredholm by showing that the stationary vacuum equations (combined with proper gauge terms) and the Bartnik boundary conditions form an elliptic boundary value problem. As an application, we show that the Bartnik boundary data near the standard flat boundary data admits a unique (up to diffeomorphism) stationary vacuum extension locally.

研究动机与目标

• 解决Bartnik关于静止真空时空的Bartnik边界数据是否为椭圆的问题。
• 定义从静止真空度量模空间到Bartnik边界数据的适定边界映射Π。
• 证明静止真空方程与Bartnik边界条件组合构成一个弗雷德霍姆椭圆边值问题。
• 确立在平坦数据附近的边界数据下，静止真空延拓的局部唯一性（在微分同胚意义下）。

提出的方法

• 构建一个在具有柯西面M的时空上静止真空度量的模空间𝔼。
• 定义边界映射Π: 𝔼 → 𝔹(∂M)，将每个度量映射为其Bartnik边界数据(g_Σ, H_Σ, tr_ΣK, ω_n_Σ)。
• 表明静止真空方程(Ric_{g^{(4)}} = 0)与Bartnik边界条件组合构成一个边值问题。
• 通过验证相关符号条件，并利用线性化系统是形式自伴且具有紧预解算子的事实，确立椭圆性。
• 应用解析扰动理论，研究一族自伴算子的特征值分支，以排除平坦数据邻域内存在非平凡解的可能性。
• 利用闵可夫斯基时空中的Bianchi算子推导线性化约束条件，并验证规范条件。

实验结果

研究问题

• RQ1 由静止真空方程与Bartnik边界条件构成的边值问题是否为椭圆的？
• RQ2 边界映射Π: 𝔼 → 𝔹(∂M)是否定义了一个弗雷德霍姆算子？
• RQ3 能否为接近平坦数据的Bartnik边界数据构造唯一的静止真空延拓？
• RQ4 Bartnik拟局部质量构造在椭圆正则性意义下是否适定？
• RQ5 带有Bartnik边界数据的约束方程是否具有定义良好的解空间，其核为有限维且像为闭？

主要发现

• 边界映射Π是弗雷德霍姆的，证实了静止真空方程与Bartnik边界条件组合构成一个椭圆边值问题。
• 在平坦度量处的线性化系统是椭圆的，且形式自伴，具有紧预解算子。
• 在平坦度量的邻域内，线性化系统无非平凡解，意味着延拓的局部唯一性。
• 边值问题的解空间为有限维，且对平坦数据的小扰动，其核为平凡。
• 对于足够接近平坦数据的边界数据，系统存在唯一的（在微分同胚意义下）静止真空延拓。
• 闵可夫斯基时空中的Bianchi算子证实了线性化约束条件与规范条件的一致性。