Well-Posedness and Asymptotic Decay of Solutions to the Three-Dimensional Euler Equations with Damping

技术摘要：带阻尼三维 Euler 方程解的全局适定性与渐近衰减

问题陈述
本文解决了带阻尼的多维可压缩 Euler 方程中长期存在的全局适定性开放问题。虽然在等熵情形（$\gamma > 1$）下，先前的工作（如 [29, 31]）已部分建立了小初值的全局存在性，但在三维空间中允许部分大初值的情况仍然具有挑战性。具体而言，作者研究了三维带阻尼 Euler 方程在等熵情形（$\gamma > 1$）和等温情形（$\gamma = 1$）下的 Cauchy 问题。主要的困难在于，如果没有阻尼，无论初值多么光滑，解通常都会在有限时间内产生奇异性（激波）。虽然阻尼能改善小数据的正则性，但它通常无法防止大数据的奇异性形成。本研究旨在建立全局存在性和最优衰减率，其条件是只要三阶 Sobolev 范数足够小，即可允许 $L^2$ 范数较大。

方法论
作者结合使用了能量方法、格林函数分析和紧致性论证。

1. 转化为对称双曲系统： 对于等熵情形（$\gamma > 1$），作者引入了一个新变量 $\phi = \frac{2}{\gamma-1}(\sigma(\rho) - \sigma(\rho^*))$，其中 $\sigma(\rho) = \sqrt{P'(\rho)}$ 是声速。这使得原系统转化为一个带有部分阻尼的对称双曲系统。这种重新表述对于导出先验估计至关重要。
2. 正则性判据： 关键步骤是建立一个正则性判据（定理 3.1）。作者证明，如果 $\phi$ 和 $u$ 的梯度在时间上的 $L^\infty$ 范数的积分保持足够小，则局部解可以全局延拓。
3. 格林函数与衰减分析： 通过其格林函数 $G$ 对线性化系统进行分析。通过将解分解为低频部分（$G^\ell$）和高频部分（$G^h$），作者推导出了精确的衰减率。
   • 低频部分被证明满足类似于热方程的最优代数衰减率，该率由线性化算子的特征值决定。
   • 高频部分通过能量估计和阻尼结构进行控制，这提供了指数衰减。
4. 处理大初值： 该框架允许具有大 $L^2$ 初值（$\|( \rho_0 - \rho^*, u_0) \|_{L^2} \le M_0$）的情况，前提是假设高阶范数较小（$\|D^3(\rho_0 - \rho^*, u_0)\|_{L^2} \le \delta_0$）。证明依赖于 $\delta_0$ 的小性来闭合先验估计，利用插值不等式（Gagliardo-Nirenberg）通过小的高阶范数来控制梯度 $L^\infty$ 范数，从而限制可能较大的低阶范数。
5. 等温极限： 为了处理 $\phi$ 变得奇异的 $\gamma = 1$ 的情况，作者使用了紧致性论证。他们首先建立了解关于 $\gamma \in (1, 3]$ 的一致估计。然后，利用 Aubin-Lions 引理，证明了解序列在 $\gamma \to 1$ 时的强收敛性，从而严格证明了等温极限。

主要贡献与结果

• 具有部分大数据的全局适定性： 本文建立了三维带阻尼 Euler 方程在等熵（$\gamma > 1$）和等温（$\gamma = 1$）情形下唯一全局经典解的存在性。初值可以具有较大的 $L^2$ 范数，只要其三阶 Sobolev 范数较小。这扩展了以往通常要求全 Sobolev 范数均小的研究结果。
• 最优代数衰减率： 作者推导出了全局解的最优衰减率。具体而言，对于 $k=0, 1, 2, 3$：
  • $\|D^k(\rho - \rho^*)(t)\|_{L^2} \le C(1+t)^{-k/2}$
  • $\|D^k u(t)\|_{L^2} \le C(1+t)^{-(k-1)/2}$
    这些速率与相应的线性化系统相匹配，证实了它们的最优性。
• 等温极限： 本文严格证明了当 $\gamma \to 1$ 时，等熵带阻尼 Euler 系统的解强收敛于等温带阻尼 Euler 系统的解。这一结果同时建立了等温情形（$\gamma = 1$）的全局适定性和渐近衰减。
• 新的分析框架： 对于等熵情形，开发了一个新的框架，其中所有必需的先验估计都是在 $\int_0^T (\|\nabla \rho\|_{L^\infty} + \|\nabla u\|_{L^\infty}) dt$ 保持较小的条件下导出的。该条件通过推导出的最优衰减率得到了验证。

意义
本文声称解决了可压缩流体力学理论中的一个重要空白，即处理三维空间中的“部分大”初值。通过将 $L^2$ 范数的大小与高阶正则性要求解耦，作者证明了即使当密度和速度的初始扰动在 $L^2$ 意义上很大时，只要高频分量较小，全局光滑解依然存在。此外，对等温极限的统一处理为存在阻尼的情况下等熵模型与等温模型之间的过渡提供了严格的数学基础，而由于标准变量变换在 $\gamma = 1$ 处的奇异性，这种过渡此前难以证明。这些结果是作为所开发的分析技术的直接结果呈现的，并未引用实验建议或未经证实的未来应用。