[论文解读] Rough solutions of the Einstein Constraint Equations on Asymptotically Flat Manifolds without Near-CMC Conditions

A. Behzadan, Michael Holst|arXiv (Cornell University)|Apr 17, 2015

Geometric Analysis and Curvature Flows参考文献 54被引用 8

一句话总结

本文通过一种新颖的拓扑不动点方法，证明了在渐近平坦的3-流形上存在弱的、非常值平均曲率（非CMC）解，解决了爱因斯坦约束方程的存在性问题。通过避免近似CMC假设，并依赖于加权Sobolev空间中自由指定数据的较小性，该研究在$W^{s,p}_{\delta}$正Yamabe类度量中证明了解的存在性，其中$s \in (1+\frac{3}{p}, \infty)$，$p \in (1,\infty)$，且$-1 < \delta < 0$，从而完成了对AF流形的粗略解程序。

ABSTRACT

In this article we consider the conformal decomposition of the Einstein constraint equations introduced by Lichnerowicz, Choquet-Bruhat, and York, on asymptotically flat (AF) manifolds. Using the non-CMC fixed-point framework developed in 2009 by Holst, Nagy, and Tsogtgerel and by Maxwell, we establish existence of coupled non-CMC weak solutions for AF manifolds. As is the case for the analogous existence results for non-CMC solutions on closed manifolds and compact manifolds with boundary, our results here avoid the near-CMC assumption by assuming that the freely specifiable part of the data given by the traceless-transverse part of the rescaled extrinsic curvature and the matter fields are sufficiently small. The non-CMC rough solutions results here for AF manifolds may be viewed as extending to AF manifolds the 2009 and 2014 results on rough far-from-CMC positive Yamabe solutions for closed and compact manifolds with boundary. Similarly, our results may be viewed as extending the recent 2014 results for AF manifolds of Dilts, Isenberg, Mazzeo and Meier, and of Holst and Meier; while their results are restricted to smoother background metrics and data, the results here allow the regularity to be extended down to the minimum regularity allowed by the background metric and the matter, further completing the rough solution program initiated by Maxwell and Choquet-Bruhat in 2004.

研究动机与目标

• 将爱因斯坦约束方程的粗略解程序从近似常曲率平均曲率（近似CMC）区域扩展至渐近平坦（AF）流形。
• 在背景度量和数据的最小正则性假设下，建立AF流形上弱非CMC解的存在性。
• 通过假设重缩放外曲率的迹零横截部分及物质场的较小性，消除近似CMC条件。
• 统一并扩展先前关于闭流形及带边界的紧致流形的粗略解结果，推广至AF情形。

提出的方法

• 利用共形方法将爱因斯坦约束方程转化为一个耦合的Lichnerowicz-Choquet-Bruhat-York（LCBY）非线性椭圆PDE系统。
• 应用基于先验估计、屏障构造及Fredholm-Riesz-Schauder理论的非CMC不动点框架，处理动量约束和哈密顿约束。
• 采用耦合的拓扑不动点论证，处理标量共形因子与向量场之间的非线性耦合，避免了对近似CMC假设的依赖。
• 在加权Sobolev空间$W^{s,p}_{\delta}$中工作，其中$s \in (1+\frac{3}{p}, \infty)$，$p \in (1,\infty)$，且$-1 < \delta < 0$，以确保在无穷远处的适当衰减。
• 对自由指定数据（迹零横截外曲率和物质场）施加较小性条件，以控制非线性项，而无需要求近似常曲率平均曲率。
• 利用人工共形协变性和弱形式化处理低正则性数据，通过Bessel势空间与加权Sobolev空间中的精细嵌入与迹估计。

实验结果

研究问题

• RQ1 能否在不假设近似常曲率平均曲率的条件下，在渐近平坦流形上构造出弱的、非常值平均曲率的爱因斯坦约束方程解？
• RQ2 当背景度量和物质场属于$W^{s,p}_{\delta}$且满足$s \in (1+\frac{3}{p}, \infty)$，$-1 < \delta < 0$时，何种正则性类足以保证此类解的存在性？
• RQ3 如何调整不动点框架以避免近似CMC条件，同时在低正则性设定下保持解的存在性？
• RQ4 对自由指定数据（如迹零横截外曲率和物质场）需要施加何种较小性条件，才能确保在非CMC情形下解的存在性？
• RQ5 在多大程度上可以通过将闭流形和带边界的紧致流形结果推广至AF情形，完成AF流形的粗略解程序？

主要发现

• 通过避免近似CMC假设的拓扑不动点论证，证明了在正Yamabe类中，渐近平坦3-流形上存在弱非CMC解。
• 解存在于加权Sobolev空间$W^{s,p}_{\delta}$中，其中$s \in (1+\frac{3}{p}, \infty)$，$p \in (1,\infty)$，且$-1 < \delta < 0$，与背景度量和物质场所允许的最小正则性一致。
• 重缩放外曲率的迹零横截部分及物质场的较小性足以确保解的存在性，而无需要求近似常曲率平均曲率。
• 该结果将2009年和2014年针对闭流形及带边界的紧致流形的粗略解程序推广至渐近平坦情形。
• 分析表明，只要自由指定数据足够小，LCBY系统在最小正则性下且无需对平均曲率$\tau$施加小性假设，即可存在解。
• 该框架具有足够鲁棒性，可处理低正则性数据，通过加权空间与Bessel势空间中的嵌入与迹估计，确保弱形式化下非线性项的良定义性。