[论文解读] The stability of simple plane-symmetric shock formation for 3D compressible Euler flow with vorticity and entropy

Jonathan Luk, Jared Speck|arXiv (Cornell University)|Jul 7, 2021

Navier-Stokes equation solutions参考文献 48被引用 4

一句话总结

本文在小幅度、紧支集扰动下，证明了三维可压缩欧拉流中激波形成的非线性稳定性，这些扰动破坏了平面平面对称性，并引入了涡度和熵。通过基于声学eikonal函数的几何向量场方法，作者证明了激波奇异性——其特征为在逆叶状密度零水平集上精确发生笛卡尔导数爆破——在扰动下依然存在，且完整的爆破结构得以保持。关键成果是首次严格证明了在具有涡度和熵的三维可压缩欧拉流中激波形成的稳定性，解决了非线性双曲型偏微分方程领域长期悬而未决的问题。

ABSTRACT

Consider a $1$D simple small-amplitude solution $( ho_{(bkg)}, v^1_{(bkg)})$ to the isentropic compressible Euler equations which has smooth initial data, coincides with a constant state outside a compact set, and forms a shock in finite time. Viewing $( ho_{(bkg)}, v^1_{(bkg)})$ as a plane-symmetric solution to the full compressible Euler equations in $3$D, we prove that the shock-formation mechanism for the solution $( ho_{(bkg)}, v^1_{(bkg)})$ is stable against all sufficiently small and compactly supported perturbations. In particular, these perturbations are allowed to break the symmetry and have non-trivial vorticity and variable entropy. Our approach reveals the full structure of the set of blowup-points at the first singular time: within the constant-time hypersurface of first blowup, the solution's first-order Cartesian coordinate partial derivatives blow up precisely on the zero level set of a function that measures the inverse foliation density of a family of characteristic hypersurfaces. Moreover, relative to a set of geometric coordinates constructed out of an acoustic eikonal function, the fluid solution and the inverse foliation density function remain smooth up to the shock; the blowup of the solution's Cartesian coordinate partial derivatives is caused by a degeneracy between the geometric and Cartesian coordinates, signified by the vanishing of the inverse foliation density (i.e., the intersection of the characteristics).

研究动机与目标

• 在小幅度、紧支集扰动下，建立三维可压缩欧拉流中一维简单平面平面对称激波形成的非线性稳定性。
• 分析当通过扰动引入对称性破坏、涡度和熵时，激波形成机制的鲁棒性。
• 精确刻画首次奇点时刻的爆破集的几何结构，将其识别为逆叶状密度的零水平集。
• 证明流体解与几何量在激波时刻之前保持光滑，爆破源于坐标系退化。
• 完成前期工作中启动的程序，证明在包含涡度和熵的完整三维欧拉系统中激波形成的稳定性。

提出的方法

• 基于声学eikonal函数，采用几何向量场方法重述可压缩欧拉方程，以构造几何坐标系。
• 引入一族由eikonal函数叶状的特征超曲面，其中逆叶状密度用于度量其汇聚程度。
• 采用带权范数的高阶能量估计框架，结合逆叶状密度与向量场，以控制非线性相互作用。
• 通过先验估计的bootstrap方法控制流体变量、涡度、熵梯度与几何量，依赖于有限传播速度与局部化。
• 利用方程的零结构——通过eikonal函数与向量场对易子揭示——借助Gr"{o}nwall不等式与Young不等式控制非线性项。
• 对能量不等式进行约化论证，通过由大参数选择导出的常数的小性条件吸收非线性项。

实验结果

研究问题

• RQ1 在一维简单平面平面对称可压缩欧拉流中，激波形成机制在破坏对称性并引入涡度与熵的小幅度三维扰动下是否稳定？
• RQ2 在扰动后的三维流中，首次奇点时刻的爆破集具有何种精确几何结构？
• RQ3 流体变量的笛卡尔偏导数如何爆破？何种几何量控制这一爆破过程？
• RQ4 尽管笛卡尔导数发生爆破，流体解与几何量是否仍能在激波时刻前保持光滑？
• RQ5 方程的零结构在扰动下对激波形成机制的稳定性起到何种作用？

主要发现

• 一维简单平面平面对称解的激波形成机制，在所有足够小的、紧支集扰动下保持稳定，这些扰动破坏了对称性并引入了涡度与熵。
• 一阶笛卡尔偏导数的爆破精确发生于逆叶状密度函数的零水平集上，该函数度量了特征超曲面的汇聚程度。
• 流体解与逆叶状密度函数在激波时刻前保持光滑，爆破源于几何坐标与笛卡尔坐标之间的退化。
• 扰动解的爆破时间由 $ T^{\text{Sing}} = (\delta^*_{\text{bkg}})^{-1} $ 给出，与背景解的爆破时间一致，确认了奇点时间的稳定性。
• 通过利用由大参数导出的常数的小性条件的约化论证，高阶能量估计得以闭合，确保了非线性项的控制。
• 通过Young不等式与Gr"{o}nwall不等式吸收关键项，建立了低阶能量估计，对时间积分范数与衰减权重实施了精细控制。