Gradient blowup of smooth vacuum solutions to 1D compressible Euler equations

以下是 Juhi Jang、Jiaqi Liu 和 Nader Masmoudi 的论文《一维可压缩欧拉方程光滑真空解的梯度爆破》的详细技术总结。

1. 问题陈述

本文研究半直线区域 $\Omega = \{x > 0\}$ 中多方气体（$p = \rho^\gamma$）的一维等熵可压缩欧拉方程。流体在 $x=0$ 处与静止真空边界接触。

• 控制方程：系统用密度 $\rho$、速度 $u$ 和声速 $c$ 表示：
  $$\rho_t + (\rho u)_x = 0, \quad (\rho u)_t + (\rho u^2 + p)_x = 0$$
  在非真空区域，这等价于关于速度 $u$ 和声速 $c$ 的方程组。
• 边界条件：真空边界是静止的（$x=0$），满足 $c(t,0)=0$ 和 $u(t,0)=0$。
• 现象：作者研究了在有限时间内发生在真空边界的梯度爆破（正则性丧失）。具体而言，他们构造了初始光滑（具体为 $C^{\lfloor \beta \rfloor, \beta-\lfloor \beta \rfloor}$）且平方可积的解，但这些解演化至爆破时刻 $t=0$ 时，在边界附近仅变为$C^{1-\mu}$ Hölder 连续，此时速度和声速的一阶导数发散。
• 正则性参数：正则性由 $\mu \in [1/2, 1)$ 和 $\beta = \frac{1}{1-\mu} \geq 2$ 刻画。$\mu = 1/2$ 的情况对应最稳定的剖面（与 Burgers 方程中的 $C^{1/3}$ 尖点奇点相关）。

2. 方法论

证明依赖于对先前工作 [27] 中构造的自相似解的稳定性分析。方法论涉及几个复杂的步骤：

A. 自相似重构

作者利用欧拉方程的缩放对称性引入自相似变量 $(\tau, y)$：
$$\tau = -\log(\mu(-t)), \quad y = \frac{x}{(-t)^\delta}$$
其中 $\delta = 1/\mu$。系统将变换为关于 Riemann 不变量 $(\hat{z}, \hat{w})$ 的方程组。[27] 中构造的自相似解在这些变量中表现为稳态 $(\bar{z}, 0)$。

B. 局部化与剖面构造

由于自相似解在远场是无界的，作者利用时变截断函数 $\chi$ 构造了一个局部化剖面 $\mathring{z} = \chi \bar{z}$。该截断函数由背景流的特征速度输运，以确保误差项适当衰减。

C. 扰动分解

解被分解为三部分：

1. 剖面：局部化自相似解 $\mathring{z}$。
2. 调制项：关于 $y$ 的多项式的有限和，系数为时变系数 $(z_i(\tau), w_i(\tau))$。这些系数对应于解在原点的泰勒展开。
3. 余项：高频分量 $(Z, W)$，在边界处直至高阶（$n_\mu - 1$）消失。

分解形式为：
$$\hat{z} = \mathring{z} + \sum_{i=2}^{n_\mu-1} \phi(y) \frac{z_i(\tau)}{i!} y^i + Z, \quad \hat{w} = \sum_{i=2}^{n_\mu-1} \phi(y) \frac{w_i(\tau)}{i!} y^i + W$$

D. 调制分析（ODE 系统）

系数 $(z_i, w_i)$ 满足一个由施加在边界处高阶导数消失条件导出的 ODE 系统。

• 稳定性：作者识别出这些 ODE 的一个有限维稳定流形。为了防止由反阻尼项驱动的指数增长（不稳定性），初始数据必须满足特定的代数约束（$z_i$ 和 $w_i$ 之间的多项式关系）。
• 对称性：约束 $z_1 = w_1 = 0$ 消除了时间和空间平移对称性，将爆破时间固定为 $t=0$。

E. 余项的能量估计

对于余项 $(Z, W)$，作者使用Bootstrap 论证和能量估计进行了严格的非线性稳定性分析：

• 奇异权重：他们采用带有奇异权重 $y^{-n_\mu}$ 的加权 $L^2$ 空间来处理真空边界处的退化。
• 高阶估计：他们推导了 $\dot{H}^{n_\mu}$（Sobolev 空间）中的估计以控制正则性。
• 耗散：由于输运速度和正则性指数 $n_\mu$ 的特定选择，围绕剖面的线性化算子对高频表现出严格的耗散性。
• 处理非整数 $\beta$：当 $\beta$ 不是整数（即 $\mu \notin S$）时，剖面的光滑性有限，需特别处理。在 $\beta$ 为半整数的情况下，施加额外约束 $w_2 = 0$ 以避免相互作用项中出现不可积的奇点。

3. 主要贡献与结果

主要定理（定理 1.1 和 2.7）

作者证明了一大类光滑、平方可积、非自相似的初始数据的存在性，这些数据演化为在静止真空边界处表现出梯度爆破的解。

• 正则性转变：解从 $C^{\lfloor \beta \rfloor, \beta-\lfloor \beta \rfloor}$ 开始，在 $t=0$ 时转变为 $C^{1-\mu}$。
• 爆破速率：在爆破点 $(0,0)$ 附近，速度和声速渐近表现为：
  $$u(t, x) \sim -\tilde{a} x^{1-\mu}, \quad c(t, x) \sim \tilde{b} x^{1-\mu}$$
  导致无界梯度 $\partial_x u, \partial_x c \to \infty$。
• 有限余维性：导致这种特定爆破情形的初始数据集合构成了 Sobolev 空间 $H^{n_\mu}$ 的一个有限余维子集。
  • 对于一般的 $\mu$，余维数为 $\lfloor \beta + 1 \rfloor$。
  • 对于 $\mu = 1/2$，余维数为 3，对应于三个对称性（时间平移、伽利略提升、缩放）。
  • 对于 $\mu \in H$（半整数 $\beta$），需要额外约束 $w_2=0$，从而增加了余维数。

技术革新

1. 自相似解的稳定性：这是首次严格证明带有静止真空边界的可压缩欧拉方程的自相似“等待时间”解的稳定性，扩展了关于 Burgers 方程的先前结果。
2. 处理静止边界：与真空移动的免费边界问题不同，这项工作处理了边界固定（$x=0$ 处 $u=0$）但梯度爆破的情况，需要仔细分析边界条件与自相似剖面之间的相互作用。
3. 带奇异权重的调制：开发了带有奇异权重 $y^{-n_\mu}$ 的能量估计，并结合调制理论来控制奇点附近的低频模式。

4. 意义

• 数学物理：本文解决了关于真空欧拉流中梯度爆破普遍性的长期问题。它证明了梯度爆破不仅仅是特殊自相似解的特征，而且在一大类光滑初始数据的扰动下是稳定的。
• 与 Burgers 方程的联系：结果为 Burgers 方程中尖点奇点的形成与更复杂的可压缩欧拉系统之间建立了严格的联系，验证了将 Burgers 剖面作为气体动力学中奇点形成的基础模型的有效性。
• 真空边界动力学：它阐明了“等待时间”现象的行为，表明即使具有静止边界条件，如果失去正则性，系统也可能自然演化至物理真空状态（此时边界将开始移动），或者在保持静止状态的同时具有无限梯度。
• 未来方向：这项工作为研究这些解在爆破时间之后的延续奠定了基础，可能导致自由边界或弱间断的形成，这是一个留给未来研究的问题。

总之，本文提供了一个严格的数学框架，用于理解气体动力学中光滑且物理相关的初始数据如何在真空边界处演化为具有无限梯度的奇异状态，并确立了这些奇点对扰动的稳定性。