[论文解读] Lower bound of density for Lipschitz continuous solutions in the isentropic gas dynamics

Geng Chen, Ronghua Pan+1 more|arXiv (Cornell University)|Oct 13, 2014

Navier-Stokes equation solutions参考文献 19被引用 7

一句话总结

该论文在 $1 < \gamma < 3$ 的条件下，为一维等熵欧拉方程（p-系统）的利普希茨连续解建立了尖锐的 $O(1+t)^{-1}$ 密度下界。通过多边形格式逼近和黎曼不变量分析，作者证明即使在压缩区域，密度的衰减速率也不会快于 $O(1+t)^{-1}$，从而改进了先前的估计，并确认了已知例子的最优性。

ABSTRACT

For the Euler equations of isentropic gas dynamics in one space dimension, also knowns as p-system in Lagrangian coordinate, it is known that the density can be arbitrarily close to zero as time goes to infinity, even when initial density is uniformly away from zero. In this paper, for uniform positive initial density, we prove the density in any Lipschitz continuous solutions for Cauchy problem has a sharp positive lower bound in the order of O(1/(1+t)), which is identified by explicit examples in [9](Courant and Friedrichs, Supersonic Flow and Shock Waves, 1948.).

研究动机与目标

• 解决等熵欧拉方程利普希茨连续解中密度下界的时间衰减速率的最优性问题。
• 应对大初值解中真空形成与严格双曲性丧失的挑战。
• 在先前的 $O((1+t)^{-4/(3-\nu)})$ 下界基础上，建立最优的 $O((1+t)^{-1})$ 衰减速率。
• 确认经典膨胀波例子中观测到的 $O(1+t)^{-1}$ 衰减的尖锐性。

提出的方法

• 应用受达弗莫斯和迪普纳启发的多边形格式逼近方法，对 p-系统进行建模，以模拟波的相互作用。
• 利用黎曼不变量 $s$ 和 $r$ 及其空间导数，对局部解行为进行稀疏波与压缩波的分类。
• 在 $(x,t)$-平面上分析波在区块间的传播，沿特征路径追踪比容 $v$ 的变化。
• 利用黎曼不变量演化方程 $s_t + c s_x = 0$，$r_t - c r_x = 0$ 推导 $v$ 变化的估计。
• 通过时间步长上的归纳法推导先验估计 $v(x,t) \leq \max v(x,0) + L t$，确保一致控制。
• 利用弱-强唯一性，将多边形格式的极限与真实的利普希茨解联系起来。

实验结果

研究问题

• RQ1 在 $1 < \gamma < 3$ 条件下，等熵欧拉方程利普希茨连续解中密度下界的时间最优衰减速率是什么？
• RQ2 该 $O((1+t)^{-1})$ 下界能否在包含压缩区域的解中严格证明，而不仅限于稀疏波？
• RQ3 多边形格式逼近如何保持波相互作用的结构，并实现对 $v$ 的一致有界性？
• RQ4 $O((1+t)^{-1})$ 衰减速率是否为尖锐的，且是否与库朗著作中的显式例子一致？
• RQ5 该下界能否用于改进具有初始压缩的古典解的生存时间估计？

主要发现

• 在任意利普希茨连续解中，当 $1 < \gamma < 3$ 时，密度 $v(x,t)$ 满足对所有 $x$ 一致的 $v(x,t) \geq c_0 (1+t)^{-1}$，其中 $c_0 > 0$。
• 该 $O((1+t)^{-1})$ 下界是尖锐的，由库朗工作中针对 $\gamma = \frac{2N+1}{2N-1}$ 的显式例子所证实。
• 该下界通过保持波分类结构并实现时间上一致控制的多边形格式逼近方法得以建立。
• 该结果改进了先前对光滑解有效的 $O((1+t)^{-4/(3-\gamma)})$ 下界，现适用于所有利普希茨解。
• 具有初始压缩的古典解的生存时间上界由初始最小值 $y = \sqrt{c} s_x$ 和 $q = \sqrt{c} r_x$ 决定，奇异性形成时间不晚于 $t = \frac{1}{L}\left\{\left(-\frac{4K_0}{\gamma+1} \frac{1}{G_0} + H_0^{\frac{\gamma+1}{4}}\right)^{\frac{4}{\gamma+1}} - H_0\right\}$。
• 该证明确认，在压缩区域中密度也不会比 $O((1+t)^{-1})$ 衰减得更快，从而解决了大初值理论中的一个关键问题。