[论文解读] Maximal dissipative solutions for incompressible fluid dynamics

Robert Lasarzik|arXiv (Cornell University)|Jan 1, 2019

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

一句话总结

本文提出了一类新的、适定的解概念——极大耗散解，用于不可压缩流体动力学，包括纳维-斯托克斯方程和欧拉方程。通过在耗散解类中最小化能量，该方法在任意空间维数下均确保了解的全局存在性、唯一性以及对初值和外力的连续依赖性，为缺乏唯一性的弱解提供了一种稳健的替代方案。

ABSTRACT

We introduce the new concept of maximal dissipative solutions for the Navier--Stokes and Euler equations and show that these solutions exist and the solution set is closed and convex. The concept of maximal dissipative solutions coincides with the concept of weak solutions as long as the weak solutions inherits enough regularity to be unique. A maximal dissipative solution is defined as the minimizer of a convex functional and we argue that this definition bears several advantages.

研究动机与目标

• 解决纳维-斯托克斯方程和欧拉方程弱解中缺乏唯一性的问题，特别是在高维情形下。
• 克服现有解概念（如弱解、测度值解或标准耗散解）在保证唯一性方面的局限性。
• 提出一种新的解概念，其可推广经典解，并满足哈达玛适定性准则：存在性、唯一性及连续依赖性。
• 建立适用于一般等温GENERIC系统的框架，重点聚焦于不可压缩流体动力学。
• 基于能量最小化提出变分形式，以确保结构稳定性与数值可处理性。

提出的方法

• 将极大耗散解定义为在耗散解集合上使总动能泛函取最小值的解。
• 以相对能量不等式为基础构建耗散解概念，确保稳定性并保持与能量耗散的一致性。
• 通过能量泛函的凸性以及能量不等式导出的弱序列紧性，证明存在性与唯一性。
• 应用消失粘性法构造测度值解，并证明其收敛于极大耗散解。
• 在$L^∞(0,T;L^2_\sigma)$中建立解集的闭性与凸性，从而可应用凸优化理论。
• 将该公式化方法推广至欧拉方程的测度值解，证明极大耗散变体的解存在且唯一。

实验结果

研究问题

• RQ1 能否为纳维-斯托克斯方程和欧拉方程构造一种解概念，以确保解在初始数据和外力下具有全局存在性、唯一性及连续依赖性？
• RQ2 在耗散解类中最小化能量是否能导出唯一、稳定且具有物理意义的解？
• RQ3 与弱解、测度值解或标准耗散解相比，极大耗散解在正则性与数值逼近性方面有何优势？
• RQ4 该解概念能否推广至流体动力学以外的一般等温GENERIC系统？
• RQ5 在测度值公式中，缺陷测度的作用是什么？它如何影响极大耗散框架下的最小化过程？

主要发现

• 极大耗散解在任意空间维数下对纳维-斯托克斯方程和欧拉方程均具有全局存在性。
• 解的唯一性由构造保证，因其是耗散解集合上动能泛函的唯一极小化子。
• 耗散解的解集在$L^∞(0,T;L^2_\sigma)$中为凸集且弱*闭，确保了最小化问题的适定性。
• 极大耗散解在弱*拓扑下对初始数据和外部力具有连续依赖性。
• 对于欧拉方程，极大耗散测度值解被唯一定义为在测度值解集合上使能量泛函取最小值的解。
• 该方法避免依赖分布解，转而采用基于能量的比较，使其更适用于湍流流动的近似与数值格式。