[论文解读] Well-Posedness of the Einstein-Euler System in Asymptotically Flat Spacetimes

Uwe Brauer, Lavi Karp|ArXiv.org|Oct 28, 2008

Navier-Stokes equation solutions参考文献 31被引用 3

一句话总结

该论文通过引入一种新型的分数阶加权Sobolev空间框架，建立了爱因斯坦-欧拉系统在渐近平坦时空中的局部适定性。它在物理上合理的条件下（能量密度在无穷远处趋于零或衰减，且满足多方程态方程）证明了经典解的存在性与唯一性，克服了先前研究中要求时间对称性或整数阶正则性的局限。

ABSTRACT

We prove a local in time existence and uniqueness theorem of classical solutions of the coupled Einstein--Euler system, and therefore establish the well posedness of this system. We use the condition that the energy density might vanish or tends to zero at infinity and that the pressure is a certain function of the energy density, conditions which are used to describe simplified stellar models. In order to achieve our goals we are enforced, by the complexity of the problem, to deal with these equations in a new type of weighted Sobolev spaces of fractional order. Beside their construction, we develop tools for PDEs and techniques for elliptic and hyperbolic equations in these spaces. The well posedness is obtained in these spaces. The results obtained are related to and generalize earlier works of Rendall for the Euler-Einstein system under the restriction of time symmetry and of Gamblin for the simpler Euler--Poisson system.

研究动机与目标

• 在渐近平坦时空中，建立爱因斯坦-欧拉系统经典解的局部存在性与唯一性。
• 通过去除时间对称性的限制并允许非整数阶正则性，推广Rendall与Gamblin的先前结果。
• 基于分数阶加权Sobolev空间构建一个功能性框架，以处理能量密度趋于零时流体方程的奇异性。
• 在同一函数空间中构造爱因斯坦约束方程与流体方程的初始数据，确保系统内部的一致性。
• 通过允许更广泛的方程态方程类（非整数$γ$），推广早期关于欧拉-泊松与爱因斯坦-欧拉系统的成果。

提出的方法

• 使用多方程态方程$p = K\epsilon^\gamma$（其中$1 < \gamma$）来表述爱因斯坦-欧拉系统，以建模相对论性自引力流体。
• 引入新变量$w = \epsilon^{(\gamma-1)/2}$（Makino变量）以正则化流体方程，并处理$\epsilon = 0$处的奇点。
• 定义并分析一类新型加权Sobolev空间$H_{s,\delta}^{k}$，其具有分数阶$s$、衰减率$\delta$及权重$(1+|x|)^\delta$，专为渐近平坦时空设计。
• 建立这些空间的嵌入定理与可逼近定理，包括$C_0^\infty$函数在$H_{s,\delta}$中的稠密性，以及通过 dyadic 分解控制加权范数。
• 利用 dyadic 划分单位与尺度变换技术控制点态衰减与正则性，证明在$s > \frac{3}{2}+\delta$、$\delta + \frac{3}{2} \geq \beta$条件下有$\|u\|_{C_{\beta}} \leq C\|u\|_{H_{s,\delta}}$。
• 证明演化方程在未知量$g_{\alpha\beta}, u^\alpha, w$下构成一阶对称双曲系统，其低阶项依赖于$\epsilon$，而$\epsilon$则通过$w$在范数中受控。

实验结果

研究问题

• RQ1 能否在不假设时间对称性的前提下，证明爱因斯坦-欧拉系统在渐近平坦时空中的适定性？
• RQ2 为处理能量密度在空间无穷远处趋于零时流体方程的奇异性，需要何种功能性框架？
• RQ3 选择方程态方程$p = K\epsilon^\gamma$如何限制在加权Sobolev空间中解所需的正则性？
• RQ4 Makino变量$w = \epsilon^{(\gamma-1)/2}$能否用于正则化系统，并在分数阶加权空间中实现存在性定理？
• RQ5 分数阶加权Sobolev空间必须满足何种嵌入与可逼近性质，才能支持在此背景下双曲与椭圆系统分析？

主要发现

• 作者证明了爱因斯坦-欧拉系统在分数阶加权Sobolev空间中存在唯一经典解，确立了在渐近平坦时空中的适定性。
• 该解框架允许能量密度$\epsilon$在无穷远处趋于零或衰减，与恒星模型一致，且无需紧支集假设。
• 方程态方程$p = K\epsilon^\gamma$在$1 < \gamma \leq \frac{2+k}{k}$范围内被允许，其中$k$为Sobolev空间的阶数，从而推广了先前要求$\gamma \in \mathbb{N}$的结果。
• Makino变量$w = \epsilon^{(\gamma-1)/2}$实现了流体方程的正则化，使得系统可在未知量$g_{\alpha\beta}, u^\alpha, w$下被视为对称双曲系统。
• 证明了一个新的可逼近定理：$C_0^\infty(\mathbb{R}^3)$在$H_{s,\delta}$中稠密，且对$s' > s$，$H_{s',\delta}$中的逼近可被控制在原始$H_{s,\delta}$范数范围内。
• 点态衰减估计$\sup_x (1+|x|)^\beta |u(x)| \leq C \|u\|_{H_{s,\delta}}$在$\beta \leq \delta + \frac{3}{2}$且$s > \frac{3}{2} + \delta$时成立，确保了解空间中衰减行为的控制。