2025-11-10T03:08:08.537072

Global stability for compressible isentropic Navier-Stokes equations in 3D bounded domains with Navier-slip boundary conditions

Liu, Wu, Zhong
We investigate the global stability of large solutions to the compressible isentropic Navier-Stokes equations in a three-dimensional (3D) bounded domain with Navier-slip boundary conditions. It is shown that the strong solutions converge to an equilibrium state exponentially in the $L^2$-norm provided the density is essentially uniform-in-time bounded from above. Moreover, we obtain that the density converges to its equilibrium state exponentially in the $L^\infty$-norm if additionally the initial density is bounded away from zero. Furthermore, we derive that the vacuum states will not vanish for any time provided vacuum appears (even at a point) initially. This is the first result concerning the global stability for large strong solutions of compressible Navier-Stokes equations with vacuum in 3D general bounded domains.
academic

Global stability for compressible isentropic Navier-Stokes equations in 3D bounded domains with Navier-slip boundary conditions

基本信息

  • 论文ID: 2504.17136
  • 标题: Global stability for compressible isentropic Navier-Stokes equations in 3D bounded domains with Navier-slip boundary conditions
  • 作者: Yang Liu¹, Guochun Wu², Xin Zhong³
    • ¹长春师范大学数学学院
    • ²厦门理工学院数学与统计学院
    • ³西南大学数学与统计学院
  • 分类: math.AP (数学分析-偏微分方程)
  • 提交时间: 2025年4月
  • 论文链接: https://arxiv.org/abs/2504.17136v4

摘要

本文研究三维有界区域上带有Navier滑移边界条件的可压缩等熵Navier-Stokes方程大解的全局稳定性。证明了在密度本质一致有界的条件下，强解在L2L^2范数意义下指数收敛到平衡态。进一步，当初始密度有正下界时，密度在L∞L^∞范数下也指数收敛到平衡态。此外，还证明了若初始时刻存在真空(即使仅在一点)，则真空状态在任意时刻都不会消失。这是关于三维一般有界区域中带真空的可压缩Navier-Stokes方程大强解全局稳定性的首个结果。

研究背景与动机

问题的重要性

可压缩Navier-Stokes方程描述粘性可压缩流体的运动，是流体力学中的基本方程组。研究其解的长时间行为和稳定性对理解流体运动规律具有重要意义。

现有研究的局限性

  1. 边界条件限制: 以往研究主要集中在全空间R3\mathbb{R}^3或环面T3T^3上，对有界区域的研究较少
  2. 边界条件类型: 大多数研究考虑无滑移边界条件，而Navier滑移边界条件的研究相对缺乏
  3. 解的大小限制: 许多结果要求初始数据较小，对大解的稳定性研究不够充分
  4. 真空状态: 带真空的情形增加了数学分析的复杂性

研究动机

  1. Navier滑移边界条件在物理上更符合某些实际情况，如粗糙边界、多孔边界等
  2. 三维有界区域的几何复杂性需要新的数学技巧
  3. 大解的全局稳定性分析具有重要的理论价值

核心贡献

  1. 首次结果: 这是首个关于三维一般有界区域中带真空的可压缩Navier-Stokes方程大强解全局稳定性的结果
  2. 指数收敛性: 证明了在适当条件下解的指数收敛性，给出了具体的衰减率
  3. 真空持续性: 证明了真空状态的持续性——一旦出现真空就不会消失
  4. 技术创新: 发展了处理Navier滑移边界条件的新技术方法

方法详解

任务定义

考虑三维有界区域Ω⊂R3\Omega \subset \mathbb{R}^3上的可压缩等熵Navier-Stokes方程组：

\rho_t + \text{div}(\rho u) = 0 \\ (\rho u)_t + \text{div}(\rho u \otimes u) + \nabla P = \mu \Delta u + (\mu + \lambda)\nabla \text{div} u \end{cases}$$ 其中$P = \rho^\gamma$（$\gamma > 1$），配以Navier滑移边界条件： $$u \cdot n = 0, \quad \text{curl} u \times n = 0 \quad \text{在} \partial\Omega \text{上}$$ ### 强解定义 对$T > 0$和某个$q \in (3,6]$，$(ρ,u)$称为强解如果满足： - $0 \leq \rho \in C([0,T]; W^{1,q})$, $\rho_t \in C([0,T]; L^q)$ - $u \in C([0,T]; H^2) \cap L^2(0,T; W^{2,q})$ - $\sqrt{\rho}u_t \in L^∞(0,T; L^2)$, $u_t \in L^2(0,T; H^1)$ ### 主要技术方法 #### 1. 能量-耗散不等式 构造Lyapunov泛函： $$M_1(t) = D_1 \int \left(\frac{1}{2}\rho|u|^2 + G(\rho)\right)dx - \int \rho u \cdot B[\rho - \bar{\rho}_0]dx$$ 其中$G(\rho)$是相对熵，$B$是Bogovskii算子。 #### 2. 有效粘性通量分析 定义有效粘性通量： $$F = (2\mu + \lambda)\text{div} u - (P - \bar{P})$$ 利用其满足的椭圆方程： $$\begin{cases} \Delta F = \text{div}(\rho \dot{u}) & \text{在} \Omega \text{中} \\ \frac{\partial F}{\partial n} = \rho \dot{u} \cdot n & \text{在} \partial\Omega \text{上} \end{cases}$$ #### 3. 涡度估计 对涡度$\omega = \nabla \times u$，利用边界条件$(\omega \times n)|_{\partial\Omega} = 0$和div-curl系统理论得到： $$\|\nabla u\|_{L^q} \leq C(\|\text{div} u\|_{L^q} + \|\omega\|_{L^q})$$ ### 技术创新点 1. **边界积分处理**: 通过恒等式$u \cdot \nabla u \cdot n = -u \cdot \nabla n \cdot u$处理边界上的非线性项 2. **分层能量估计**: 采用三层能量估计策略： - 第一层：$\|(\rho - \bar{\rho}_0, \sqrt{\rho}u)\|_{L^2}$的指数衰减 - 第二层：$\|\nabla u\|_{L^2}$的指数衰减 - 第三层：$\|\sqrt{\rho}\dot{u}\|_{L^2}$的指数衰减 3. **粒子轨道方法**: 利用特征线方法分析密度的下界 ## 主要结果 ### 定理1.1 (全局稳定性) 假设初始数据满足$K = \|\rho_0 - \bar{\rho}_0\|_{L^2} + \|\sqrt{\rho_0}u_0\|_{L^2} + \|\nabla u_0\|_{H^1} < \infty$，且存在全局强解满足$\sup_{t \geq 0}\|\rho(\cdot,t)\|_{L^∞} \leq \hat{\rho}$。则存在正常数$C_1, \eta_1$使得： $$\|(\rho - \bar{\rho}_0, \sqrt{\rho}u, \nabla u, \sqrt{\rho}\dot{u})(\cdot,t)\|_{L^2} \leq C_1 e^{-\eta_1 t}$$ 若另外$\inf_{x \in \Omega}\rho_0(x) \geq \rho_* > 0$，则存在正常数$C_2, \eta_2$使得： $$\|\rho - \bar{\rho}_0\|_{L^∞} \leq C_2 e^{-\eta_2 t}$$ ### 定理1.2 (真空持续性) 在定理1.1的条件下，若$\inf_{x \in \Omega}\rho_0(x) = 0$，则对任意$t \geq 0$有： $$\inf_{x \in \Omega}\rho(x,t) = 0$$ ## 证明思路 ### 第一步：基本能量估计 通过乘子法和Bogovskii算子，建立能量-耗散不等式： $$\frac{d}{dt}M_1(t) + \frac{M_1(t)}{D_1} + \frac{\|\text{div} u\|_{L^2}^2 + \|\text{curl} u\|_{L^2}^2}{D_1} \leq 0$$ ### 第二步：梯度估计 利用动量方程和有效粘性通量的性质，得到： $$\frac{d}{dt}\Psi(t) + \frac{1}{2}\|\sqrt{\rho}\dot{u}\|_{L^2}^2 \leq C(\|\nabla u\|_{L^2}^2 + \|\nabla u\|_{L^2}^6 + \|\rho - \bar{\rho}_0\|_{L^2}^2)$$ ### 第三步：高阶估计 通过改进的能量估计，控制$\|\sqrt{\rho}\dot{u}\|_{L^2}$的时间衰减。 ### 第四步：$L^∞$估计 利用特征线方法和密度的下界估计，证明$L^∞$范数的指数衰减。 ## 技术难点与创新 ### 主要技术难点 1. **边界项处理**: Navier滑移边界条件导致速度在边界上不为零，需要特殊处理边界积分 2. **非线性估计**: 处理$\int_{\partial\Omega} F_t(u \cdot \nabla n \cdot u)dS$等边界非线性项 3. **真空区域**: 密度可能为零增加了分析的复杂性 ### 技术创新 1. **恒等式应用**: 巧妙利用$(u \cdot n)|_{\partial\Omega} = 0$导出的恒等式 2. **分层Lyapunov方法**: 构造多层能量泛函实现递进式估计 3. **粒子轨道分析**: 结合Lagrange观点分析密度演化 ## 相关工作 ### 历史发展 1. **Matsumura-Nishida (1980s)**: 小扰动情形的经典结果 2. **Lions (1998)**: 大初值弱解的存在性 3. **Huang-Li-Xin (2012)**: Cauchy问题的大解存在性 4. **He-Huang-Wang (2019)**: 全空间大解的稳定性 5. **Cai-Li (2023)**: 有界区域小能量解的存在性 ### 本文贡献 相比现有工作，本文首次在三维有界区域的Navier滑移边界条件下建立了大解的全局稳定性理论。 ## 结论与讨论 ### 主要结论 1. 证明了三维有界区域Navier滑移边界条件下可压缩Navier-Stokes方程大强解的指数稳定性 2. 建立了密度在$L^2$和$L^∞$范数下的衰减率 3. 揭示了真空状态的持续性机制 ### 理论意义 1. **数学理论**: 丰富了可压缩流体方程的稳定性理论 2. **方法论**: 发展了处理滑移边界条件的新技术 3. **几何效应**: 揭示了有界区域几何对解行为的影响 ### 局限性 1. **密度上界假设**: 需要假设密度一致有界，这在实际中可能难以验证 2. **强解假设**: 结果基于强解的存在性，而强解存在性本身是困难问题 3. **特殊边界条件**: 仅考虑了特定形式的Navier滑移条件 ### 未来方向 1. **弱化假设**: 研究如何减弱密度上界等技术假设 2. **一般边界**: 考虑更一般的滑移边界条件 3. **数值验证**: 发展相应的数值方法验证理论结果 ## 深度评价 ### 优点 1. **原创性强**: 首次解决该设定下的全局稳定性问题 2. **技术深度**: 发展了处理边界条件的新技术方法 3. **结果完整**: 不仅证明收敛性，还给出了具体衰减率 4. **物理意义**: 真空持续性结果具有重要物理含义 ### 技术评价 1. **方法创新**: Lyapunov泛函构造和边界项处理技巧具有创新性 2. **估计精细**: 多层能量估计策略设计合理 3. **论证严谨**: 数学论证逻辑清晰，技术细节处理得当 ### 不足之处 1. **假设较强**: 密度一致上界的假设在物理上较为限制性 2. **适用范围**: 结果局限于特定的边界条件和区域类型 3. **数值验证缺失**: 缺乏数值实验支持理论结果 ### 影响力评估 1. **理论贡献**: 为可压缩流体稳定性理论做出重要贡献 2. **方法价值**: 所发展的技术方法可能适用于相关问题 3. **后续研究**: 为进一步研究奠定了理论基础 ### 适用场景 1. **理论研究**: 偏微分方程理论和流体力学数学理论 2. **数值分析**: 为数值方法的长时间行为分析提供理论支撑 3. **工程应用**: 为涉及滑移边界的流体问题提供理论指导 ## 参考文献 论文引用了44篇相关文献，涵盖了可压缩Navier-Stokes方程理论的主要发展历程，从经典的Matsumura-Nishida工作到近期的相关研究，文献调研较为全面。 --- **总体评价**: 这是一篇高质量的理论数学论文，在可压缩流体方程稳定性理论方面取得了重要进展。虽然技术假设较强，但所解决的问题具有重要理论意义，所发展的方法具有创新性和推广价值。