[论文解读] Steady 3D viscous compressible flows with adiabatic exponent $γ\in (1,\infty)$

П. И. Плотников, W. Weigant|arXiv (Cornell University)|Dec 20, 2013

Navier-Stokes equation solutions参考文献 9被引用 5

一句话总结

本文证明了在任意绝热指数 $\gamma > 1$ 的条件下，三维稳态可压缩纳维-斯托克斯方程在无滑移边界条件下存在弱解，涵盖单原子、双原子和多原子气体。通过引入正则化压力律 $p_\epsilon(\varrho) = \varrho^\gamma + \epsilon\varrho^4$，作者证明了能量的一致有界性及正则化解向原始问题解的弱收敛性，将先前要求 $\gamma > 4/3$ 的结果扩展至 $\gamma > 1$。其主要贡献在于将经典无滑移问题中对 $\gamma > 4/3$ 的限制放宽至 $\gamma > 1$。

ABSTRACT

The Navier-Stokes equations for compressible barotropic flow in the stationary three dimensional case are considered. It is assumed that a fluid occupies a bounded domain and satisfies the no-slip boundary condition. The existence of a weak solution under the assumption that the adiabatic exponent satisfies $γ>1$ is proved. These results cover the cases of monoatomic, diatomic, and polyatomic gases.

研究动机与目标

• 证明在任意绝热指数 $\gamma > 1$ 条件下，三维稳态可压缩纳维-斯托克斯方程在无滑移边界条件下存在弱解。
• 将现有数学理论扩展至经典无滑移问题中此前已知的阈值 $\gamma > 4/3$ 之外。
• 填补可压缩黏性流体在一般 $\gamma > 1$ 条件下的存在性理论空白，包括单原子、双原子和多原子气体。
• 通过精心构造的人工压力律，证明能量的一致有界性及正则化解的收敛性。

提出的方法

• 引入正则化压力律 $p_\epsilon(\varrho) = \varrho^\gamma + \epsilon\varrho^4$ 以处理低密度下压力的奇异性。
• 利用索博列夫空间与勒贝格空间中的先验估计，证明正则化问题解的存在性。
• 独立于 $\epsilon$ 地导出速度在 $W^{1,2}_0(\Omega)$ 中、密度在 $L^{q\gamma}(\Omega)$ 中、动能在 $L^s(\Omega)$ 中的统一有界性。
• 证明当 $\epsilon \to 0$ 时，正则化解序列 $(\mathbf{u}_\epsilon, \varrho_\epsilon)$ 弱收敛至极限解 $(\mathbf{u}, \varrho)$。
• 采用紧致性论证与振荡缺陷测度概念，控制非线性项在极限过程中的收敛。
• 关键技术步骤包括利用霍尔德型不等式与边界上的几何估计，证明向量场 $\boldsymbol{\xi}$ 的梯度在一致可积性与衰减性方面的估计。

实验结果

研究问题

• RQ1 在无滑移边界条件下，是否可对任意 $\gamma > 1$ 建立三维稳态可压缩纳维-斯托克斯方程弱解的存在性？
• RQ2 何种正则化压力律可确保能量的一致有界性并使解收敛至原始问题的解？
• RQ3 当 $\gamma \in (1, 4/3)$ 时，如何对速度、密度与动能获得一致估计？
• RQ4 人工压力项 $\epsilon\varrho^4$ 在稳定解序列并实现紧致性方面起到何种作用？
• RQ5 如何利用振荡缺陷测度与边界上的几何估计来控制极限过程中非线性项的收敛？

主要发现

• 本文证明了对任意 $\gamma > 1$，存在至少一个弱解 $(\mathbf{u}, \varrho) \in W^{1,2}_0(\Omega) \times L^{\gamma}(\Omega)$ 满足三维稳态可压缩纳维-斯托克斯方程。
• 建立了统一有界性：$\|\mathbf{u}\|_{W^{1,2}_0} + \|\varrho\|_{L^{q\gamma}} + \|\varrho|\mathbf{u}|^2\|_{L^s} \leq c$，其中 $q > 1$，$s > 1$，且常数 $c$ 仅依赖于 $\Omega$，$\mathbf{f}$，$\gamma$，$M$，$\mu$ 与 $\nu$。
• 该解满足所有测试函数 $\boldsymbol{\xi} \in C^\infty_0(\Omega)$ 与 $\zeta \in C^\infty(\Omega)$ 的积分恒等式 (1.2) 与 (1.3)，确认其弱形式成立。
• 该结果将已知的存在性理论扩展至 $\gamma > 4/3$ 之外，涵盖所有物理上相关的气体，包括单原子气体（$\gamma = 5/3$）、双原子气体（$\gamma \approx 1.4$）与多原子气体（$\gamma \in (1, 4/3)$）。
• 证明依赖于对正则化压力 $p_\epsilon = \varrho^\gamma + \epsilon\varrho^4$ 的创新使用，以确保能量的一致有界性与紧致性。
• 关键技术成就是在估计中通过 $\Delta_{-}^{-2\alpha}$ 与 $\Delta_{+}^{-2\alpha}$ 对向量场 $\boldsymbol{\xi}$ 的梯度实现统一控制，且这些量在区域上被证明是一致可积的。