Universality in the Low Mach number limit via a convex integration framework

技术摘要：通过凸积分框架研究低马赫数极限下的普适性

问题陈述
本文研究了可压缩 Euler 方程在低马赫数极限下的情形，这是一个马赫数 $\delta$ 趋于零的奇异极限。在物理上，这一机制描述了流速远小于声速的流体流动，导致密度变化可以忽略不计，呈现出不可压缩行为。在数学上，目标是证明从可压缩 Euler 系统 (1.1) 到不可压缩 Euler 系统 (1.2) 的过渡具有合理性。

虽然以往的工作（如 Ebin；Klainerman–Majda）已为平滑且准备充分的初始数据建立了这一极限，随后的扩展也通过紧性方法或相对熵方法处理了准备不充分的数据及弱解问题，但这些方法通常会过滤掉高度振荡或湍流的行为。一个核心问题仍然存在：不可压缩系统是否是弱解语境下的一个“普适吸引子”？具体而言，是否每一个不可压缩弱解都可以通过一系列可压缩弱解的强极限来实现，即使这些可压缩解表现出凸积分所允许的非唯一性和湍流特性？

方法论
作者采用了一种改进的凸积分框架，该框架建立在其先前关于不可压缩和可压缩等熵 Euler 系统非唯一性研究 [5] 的基础之上。其策略分为三个概念阶段：

1. 次解构造（Subsolution Construction）： 从任意给定的不可压缩 Euler 方程的弱解 $u$ 出发，作者构造了一个关于松弛系统的光滑不可压缩次解 $(u_\varepsilon, \pi_\varepsilon, R_\varepsilon)$，其中 $R_\varepsilon$ 是一个正定雷诺应力张量。随后，将该次解提升为对应缩放后的可压缩方程 (1.3) 的可压缩次解 $(\rho_\delta, V_\delta, R_\delta)$。这种提升确保了密度 $\rho_\delta$ 保持接近 1，且雷诺应力保持正定。

2. 精细凸积分（Refined Convex Integration）： 核心创新在于修改了标准的凸积分方案。作者引入了一种新的针对可容许扰动集合的 $L^2$ 型约束。具体而言，扰动 $\tilde{V}$ 必须满足：
   $$\left| \int V_\delta \cdot \tilde{V} \, \frac{dx dt}{\rho_\delta} \right| \leq \frac{1}{8} \int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt$$
   这一约束在以往依赖 Baire 纲定理的 $L^\infty$ 凸积分理论中是不存在的，但在 $C^\alpha$ 理论中是自然契合的。

3. 一致估计与收敛（Uniform Estimates and Convergence）： 通过施加这一约束，作者推导出了一个一致能量估计（命题 3.1），表明扰动的动能受控于雷诺应力张量的迹：
   $$\int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt \leq C \int \text{tr}(R_\delta) \, dx dt$$
   由于次解的构造确保了 $\text{tr}(R_\delta) = O(\delta)$，该估计在随马赫数 $\delta$ 变化的过程中控制了湍流振荡。这种控制对于证明当 $\delta \to 0$ 时的强收敛至关重要。

主要贡献

• 普适吸引子结果： 本文证明了在凸积分框架内，不可压缩系统是可压缩系统的普适吸引子。对于给定的任何 $L^2$ 不可压缩 Euler 方程的弱解，都存在一组可压缩系统的初始数据，使得生成的弱解在马赫数消失时强收敛于给定的不可压缩解。
• 为 $L^\infty$ 理论引入新约束： 将 $L^2$ 型约束 (1.4) 引入非构造性的 $L^\infty$ 凸积分方案中是一项重要的技术进步。它弥合了控制湍流扰动与雷诺张量之间的差距（这在 $C^\alpha$ 背景下已有体现）与用于 $L^\infty$ 解的 Baire 纲方法之间的鸿沟。
• 绝热指数的普适性： 不同于以往要求对绝热指数 $\gamma$ 有约束（例如 $1 < \gamma \leq 1 + 2/n$）以满足能量不等式的可压缩流凸积分结果，本研究在整个 $\gamma > 1$ 的范围内均成立，因为能量不等式并未被作为一种容许性准则来施加。

主要结果
主定理（定理 1.1）指出，对于维度 $n=2$ 或 $3$且对于任何$\gamma > 1$，给定任何具有初始数据$u_0 \in L^2$ 的不可压缩 Euler 方程的弱解 $u$，都存在一族缩放后的可压缩 Euler 方程的初始数据 $(\rho_\delta^0, m_\delta^0)$。对于任何足够小的马赫数 $\delta$，存在由该数据产生的无穷多个可压缩系统的弱解。当 $\delta \to 0$ 时：

• 密度 $\rho_\delta$ 在 $C^0$ 中收敛于 1。
• 动量 $\rho_\delta v_\delta$ 在 $L^2(0, T; L^2)$ 中强收敛于 $u$。
• 初始动量 $m_\delta^0$ 在 $L^2$ 中弱收敛于 $u_0$。

意义
本文声称为不可压缩近似的鲁棒性提供了严谨的数学证明。它表明，任何大尺度的、无散流场都可以作为低马赫数机制下可压缩流体的有效平均描述，无论其微观尺度上的非唯一振荡动力学如何（正如凸积分所模拟的那样）。这确立了一种新的奇异极限形式的普适性，将分析范式从研究“是否存在特定的可压缩解族收敛”转向了构造性地证明“任何不可压缩弱解都可以被目标化并由可压缩弱解进行逼近”。