Global classical solutions to 3D irrotational compressible Euler equations of Chaplygin gases with weakly decaying initial data

技术摘要：具有弱衰减初始数据的三维 Chaplygin 生物气无旋可压缩 Euler 方程的全局经典解

1. 问题陈述
本文研究了三维 Chaplygin 生物气（Chaplygin gases）各向同性可压缩 Euler 方程全局经典解的存在性。该系统由下式给出：
$$\begin{cases} \partial_t \rho + \text{div}(\rho v) = 0, \\ \partial_t (\rho v) + \text{div}(\rho v \otimes v) + \nabla p = 0, \end{cases}$$
其中状态方程为 $p(\rho) = P_0 - D/\rho$，这里 $P_0$ 和 $D$ 为正常数。初始数据是常态 $\bar{\rho}$ 的小扰动：
$$(\rho, v)(0, x) = (\bar{\rho} + \varepsilon \rho_0(x), \varepsilon v_0(x)).$$
作者关注的是初始速度为无旋（$\text{rot } v_0 \equiv 0$）且初始数据 $(\rho_0, v_0)$ 表现出弱空间衰减的情况。具体而言，初始数据满足涉及权重 $\langle x \rangle^{1+\mu}$ 的加权 Sobolev 范数条件，其中 $0 < \mu < 1/2$：
$$\|( \rho_0, v_0 )\|_{H^N} + \sum_{|a| \le 13} \| \langle x \rangle^{1+\mu} \nabla^a (\rho_0, v_0) \|_{L^2} \le 1,$$
其中 $N \ge 15$。

该问题处于 A. Majja 关于具有全线性退化特征值的多维非线性对称双曲系统的长期猜想背景之下。该猜想认为，此类系统（如 Chaplygin 生物气方程）在初始数据较小且解不会在有限时间内发生爆破的情况下，存在全局经典解。虽然在三维情况下，对于紧支撑数据或快速衰减数据，由于零条件（null condition）的存在，全局存在性已得到证实，但在三维情况下处理弱衰减数据仍然是一个重大的开放性挑战。

2. 方法论
作者将无旋 Euler 系统重新表述为一个关于势函数 $\phi$ 的拟线性波动方程（其中 $v = \nabla \phi$）。所得方程为：
$$\Box \phi = 2\partial_t \phi \Delta \phi - 2\sum_{k=1}^3 \partial_k \phi \partial^2_{tk} \phi + |\nabla \phi|^2 \Delta \phi - \sum_{k,j=1}^3 \partial_k \phi \partial_j \phi \partial^2_{kj} \phi.$$
该非线性项满足零条件。为了处理初始数据的弱衰减，作者结合了一系列新颖的加权时空估计，采用了自举论证（bootstrap argument）。

关键方法组成部分包括：

• 良定义未知量（Good Unknown）： 受以往关于拟线性波动方程工作的启发，作者引入了一个修正后的未知量 $V = \phi - \phi \partial_t \phi$。这种变换消除了方程主部中麻烦的二次非线性项，仅留下满足零条件的三次、四次和五次项。
• 自举假设（Bootstrap Assumptions）： 对时间区间 $[0, T]$ 上的解 $\phi$ 施加了一组自举假设。这些假设包括：
  • 带有随时间缓慢增加权重 $(1+t)^\eta$ 的能量估计。
  • 涉及权重 $A = 1+t+|x|$ 和 $B = 1+|t-|x||$ 的点值估计。
  • 加权 Strichartz 型估计。
• 加权估计： 核心技术创新在于建立了针对权重 $A^\mu$ 和 $A B^\mu$ 的三维线性波动方程的新估计。与需要更强空间权重（例如 $\langle x \rangle^2$）的标准矢量场方法不同，这些估计是专门为初始数据中存在的较弱权重 $\langle x \rangle^{1+\mu}$ 量身定制的。
  • 加权 $L^\infty-L^2$ 估计： 作者利用强惠根斯原理（strong Huygens' principle）和在移动球面上的精细积分估计，证明了波动传播子的估计。这些界限通过权重 $\langle x \rangle^{1+\mu}$ 的初始数据以及权重为 $A^{1+\mu}$ 的源项来控制解。
  • 加权 Strichartz 估计： 推导出了新的 $L^2_t L^\infty_x$ 估计以处理三次及更高阶的非线性，从而提供了闭合自举循环所需的足够时间衰减。
• 零条件的利用： 估计高度依赖于非线性项的零结构，这使得“坏”导数可以通过衰减更快的“好”导数（$\bar{\partial} = \partial_t + \partial_r$ 及角向导数）得到控制。

3. 主要贡献与结果
本文确立了以下主要结果：

• 定理 1.1： 对于具有满足弱衰减条件 (1.6) 的初始数据的三维 Chaplygin 生物气无旋可压缩 Euler 方程，存在一个 $\varepsilon_0 > 0$，使得对于任何 $\varepsilon \in (0, \varepsilon_0)$，该系统存在全局经典解 $(\rho, v)$。该解满足：
  $$(\rho - \bar{\rho}, v) \in C([0, \infty); H^N(\mathbb{R}^3)) \cap C^1([0, \infty); H^{N-1}(\mathbb{R}^3)).$$
  此外，密度保持正值（$\rho > \bar{\rho}/2$），并且满足特定的衰减估计：
  $$\sup_{t \ge 0} (1+t)^{-\frac{\mu}{100}} \|(\rho - \bar{\rho}, v)(t)\|_{H^N} \le C\varepsilon,$$
  $$\sum_{|a| \le 7} \| A^{\frac{\mu}{4}} B^{\frac{\mu}{4}} \nabla^a (\rho - \bar{\rho}, v) \|_{L^\infty} \le C\varepsilon.$$

• 定理 1.2： 证明了等价的关于势函数 $\phi$ 的拟线性波动方程也具有类似的正则性和衰减性质的全局经典解。

• 技术进展： 本文为处理三维拟线性波动方程中的弱衰减初始数据提供了一个新的框架。它表明，标准的矢量场方法（需要 $\langle x \rangle^2$ 权重）和时空共振方法（依赖于特定的权重结构）并不直接适用，因此有必要开发文中第 2.2–2.4 节所提出的新型加权 $L^\infty-L^2$ 和 Strichartz 估计。

4. 意义与范围
作者声称，这项工作解决了在无旋性和弱衰减初始数据这一特定条件下，三维 Chaplygin 生物气方程的全局存在性问题，而此前该问题尚未解决。

• 数学意义： 该结果支持了 Majda 的猜想，即全线性退化系统通常具有全局解。它阐明了要求线性退化的非线性性质，并隔离了拟线性双曲系统中（或缺乏）激波形成的机制。
• 普适性： 作者指出，该论证并不局限于 Chaplygin 生物气方程，也可以推广到满足零条件的更一般的拟线性波动系统，如备注 1.5 所述。
• 局限性： 目前的结果仅限于无旋情况。论文明确指出，对于旋转情况（$\text{rot } v_0 \not\equiv 0$），即使对于小对称解，该猜想仍然完全开放，除非是特定的二维结果或轴对称扰动。此外，初始数据必须满足特定的弱衰减条件（$0 < \mu < 1/2$）；若不进行修改，该方法不能直接应用于衰减更慢或具有不同权重结构的数据。

综上所述，本文通过开发定制的加权估计和精细的自举框架，克服了弱空间衰减的技术障碍，从而为一类特定的流体动力学问题提供了严谨的全局存在性证明。