[论文解读] Localized initial data for Einstein equations

Yuchen Mao, Zhongkai Tao|arXiv (Cornell University)|Oct 17, 2022

Advanced Mathematical Physics Problems被引用 4

一句话总结

本文提出了一种新颖的解算子方法，用于构建真空爱因斯坦方程的渐近平坦初值数据集，实现了更优的局域化与衰减性质。该方法实现了最优的 $\mathcal{O}(|x|^{2-d})$ 衰减，并在非退化区域 $\{|x'| \leq x_d^\alpha\}$ 中构造出非平凡解，其中 $\frac{3}{d+1} < \alpha < 1$，从而解决了关于衰减率与局域化范围的开放问题。

ABSTRACT

We apply a new method with explicit solution operators to construct asymptotically flat initial data sets of the vacuum Einstein equation with new localization properties. Applications include an improvement of the decay rate in Carlotto--Schoen [arXiv:1407.4766] to $\mathcal{O}(|x|^{-(d-2)})$ and a construction of nontrivial asymptotically flat initial data supported in a degenerate sector $\{(x',x_d)\in\mathbb{R}^d:|x'|\leq x_d^α\}$ for $\frac{3}{d+1}&lt;α&lt;1$.

研究动机与目标

• 构建真空爱因斯坦约束方程的渐近平坦初值数据，实现更优的衰减与局域化。
• 解决 Carlotto 的开放问题 3.18，即在初值数据中实现最优的 $\mathcal{O}(|x|^{2-d})$ 衰减。
• 将局域化范围从圆锥区域扩展至非退化区域 $\{|x'| \leq x_d^\alpha\}$，其中 $\alpha \in (\frac{3}{d+1}, 1)$。
• 建立光滑、非平凡解的存在性，其支撑在这些各向异性区域中，并给出精确的衰减估计。
• 开发并应用一种新的解算子框架，利用显式基本解与加权索伯列夫空间。

提出的方法

• 作者提出一种基于在非退化区域中曲线支撑的基本解的平均构造的新解算子 $\tilde{L}$。
• 他们定义了各向异性的加权索伯列夫空间 $H^{s,\delta}_\alpha$，以捕捉在区域 $\{|x'| \leq x_d^\alpha\}$ 中的各向异性衰减行为。
• 该方法通过具有幂律参数化的曲线 $\gamma^{(1)}_{y,\omega}$ 与 $\gamma^{(2)}_{y,\omega}$，利用解算子的显式积分表示。
• 在空间 $H^{s,\delta}_\alpha \times H^{s-1,\delta+\alpha}_\alpha$ 中对非线性爱因斯坦约束方程应用不动点论证。
• 构造了解算子 $\tilde{S}$ 与 $\tilde{L}$，使其映射至正确的加权索伯列夫空间，从而保证适定性。
• 该构造依赖于双线性估计与巴拿赫不动点定理，证明了具有所需正则性与衰减性质的唯一解的存在性。

实验结果

研究问题

• RQ1 能否构造出具有最优 $\mathcal{O}(|x|^{2-d})$ 衰减的真空爱因斯坦方程的渐近平坦初值数据？
• RQ2 能否在满足 $\alpha < 1$ 的非退化区域 $\{|x'| \leq x_d^\alpha\}$ 中构造出非平凡解？
• RQ3 在满足正质量定理与约束方程的前提下，局域化的最大范围是什么？
• RQ4 能否开发并应用一种新的解算子框架，以同时实现最优衰减与改进的空间局域化？
• RQ5 需要何种加权函数空间，才能准确捕捉此类非退化区域中的各向异性衰减？

主要发现

• 本文为 Carlotto 的开放问题 3.18 提供了简洁证明，实现了度量的最优 $\mathcal{O}(|x|^{2-d-l})$ 衰减与外曲率的 $\mathcal{O}(|x|^{1-d-l})$ 衰减。
• 构造出在非退化区域 $\{|x'| \leq x_d^\alpha\}$ 中紧支撑的非平凡渐近平坦初值数据集，其中 $\frac{3}{d+1} < \alpha < 1$。
• 解表现出各向异性衰减：$\partial^{\beta}(g^{ij}-\delta^{ij}) = \mathcal{O}(\langle x\rangle^{1-\alpha(d-1)-|\beta'|\alpha-\beta_d})$ 与 $\partial^{\beta}k^{ij} = \mathcal{O}(\langle x\rangle^{1-\alpha d-|\beta'|\alpha-\beta_d})$。
• 解空间在加权索伯列夫空间 $H^{s,\delta}_\alpha$ 中零点附近形成光滑子流形。
• 该方法确保了构造解的 $C^\infty$ 正则性与最优衰减，其衰减速率与正质量定理下可能达到的最佳值一致。
• 该构造在 $s > \frac{d}{2}+2$，$\frac{3-(d+3)\alpha}{2} < \delta < \frac{\alpha(d-1)-3}{2}$，且 $\frac{3}{d+1} < \alpha < 1$ 条件下成立，其中 $\alpha$ 的取值范围受双线性估计的约束。