[论文解读] Dissipative measure-valued solutions to the compressible Navier-Stokes system

Eduard Feireisl, Piotr Gwiazda+2 more|arXiv (Cornell University)|Dec 15, 2015

Navier-Stokes equation solutions参考文献 17被引用 6

一句话总结

本文为可压缩Navier-Stokes方程组引入了耗散测度值解，通过耗散缺陷项引入总能量平衡，以处理速度及其梯度中的非线性问题。主要贡献是建立了弱-强唯一性原理：若经典解存在，则其与具有相同初值的任意耗散测度值解唯一匹配，从而确保稳定性，并支持对数值格式等近似方法的收敛性证明。

ABSTRACT

We introduce a new concept of dissipative measure-valued solution to the compressible Navier-Stokes system satisfying, in addition, a relevant form of the total energy balance. Then we show that a dissipative measure-valued and a standard smooth classical solution originating from the same initial data coincide (weak-strong uniqueness principle) as long as the latter exists. Such a result facilitates considerably the proof of convergence of solutions to various approximations including certain numerical schemes that are known to generate a measure-valued solution. As a byproduct we show that any measure-valued solution with bounded density component that starts from smooth initial data is necessarily a classical one.

研究动机与目标

• 为当绝热指数 γ ≤ 3/2 时，可压缩Navier-Stokes方程组缺乏稳健解概念的问题提供解决方案，此时经典弱解的存在性尚未被证明。
• 为分析近似方法（如高阶黏性模型和数值格式）提供一个框架，这些方法会产生测度值解但可能不收敛到弱解。
• 在测度值设定下建立弱-强唯一性原理，确保经典解在更广泛的耗散测度值解类中保持稳定。
• 证明：若从光滑初值出发的测度值解具有有界密度，则其必为经典解，从而在正则区域验证该概念的有效性。

提出的方法

• 提出一种新的耗散测度值解概念，通过耗散缺陷项编码密度、速度及其梯度中的浓度与振荡效应。
• 引入Poincaré型不等式（2.23）作为测度的结构约束，确保其与合理逼近序列的极限相容。
• 通过要求总能量非增，并利用缺陷测度捕捉耗散，定义测度值框架下的能量平衡。
• 在离散与连续设定下使用相对能量不等式，借助耗散缺陷的结构建立弱-强唯一性。
• 将该框架应用于经典弱解理论无法覆盖的问题，包括具有高阶黏性的系统及特定数值格式。
• 证明：在光滑初值与正则性假设下，若测度值解中密度有界，则该解必为原子型（即经典解）。

实验结果

研究问题

• RQ1 能否在经典弱解尚未被证明存在的前提下，为可压缩Navier-Stokes方程组的测度值解建立弱-强唯一性原理？
• RQ2 在测度值设定下，如何一致地表述能量不等式，特别是当处理速度及其梯度中的非线性项时？
• RQ3 保持能量不等式的数值格式是否会产生测度值解？当经典解存在时，能否保证其收敛到经典解？
• RQ4 若初值光滑，且测度值解的密度分量有界，该解是否必为经典解？
• RQ5 所提出的框架能否处理具有高阶导数的黏性模型，如多极或高阶黏性系统？

主要发现

• 弱-强唯一性原理成立：只要经典解存在，任意耗散测度值解必与之唯一匹配，从而确保经典解在更广的测度值解类中保持稳定。
• 本文引入的耗散缺陷确保了在测度值设定下能量不等式得以保持，即使在速度及其梯度同时发生浓度时亦然。
• 对于保持能量不等式的数值格式（如Karper, 2014中的格式），其解会生成耗散测度值极限，且当经典解存在时，收敛到经典解可被保证。
• 任何具有有界密度分量且初值光滑的耗散测度值解，必为经典解，此结论基于Sun, Wang, and Zhang (2011)的正则性准则。
• 该框架适用于具有高阶黏性的系统（如多极模型）及某些边界条件，尽管在这些情形下弱解的存在性尚未被证明，但可生成测度值解。
• 该结果表明，测度值解并非仅技术性工具，而具有物理意义，因为在自然正则性条件下，其会退化为经典解。