[论文解读] Incompressible limit of strong solutions to 3-D Navier-Stokes equations with Navier's slip boundary condition for all time

Yaobin Ou, Dandan Ren|arXiv (Cornell University)|Aug 20, 2013

Navier-Stokes equation solutions参考文献 28被引用 3

一句话总结

该论文通过使用具有衰减特性的微分不等式，推导出马赫数 $\epsilon \in (0, \epsilon_0] $ 和时间 $ t \in [0, \infty) $ 上的统一估计，建立了三维可压缩纳维-斯托克斯方程在所有时间范围内、带有纳维滑移边界条件的全局强解的不可压缩极限。关键结果是能量估计的统一有界性，以及在初始时间导数有界条件下的不可压缩纳维-斯托克斯解的收敛性。

ABSTRACT

This paper studies the incompressible limit of global strong solutions to the three-dimensional compressible Navier-Stokes equations associated with Navier's slip boundary condition, provided that the time derivatives, up to first order, of solutions are bounded initially. The main idea is to derive a differential inequality with decay, so that the estimates are bounded uniformly both in the Mach number 00 and the time t>=0.

研究动机与目标

• 为了严格证明三维可压缩纳维-斯托克斯方程在所有时间范围内、带有纳维滑移边界条件的全局强解的不可压缩极限。
• 为了解决在全局解中同时获得马赫数 $\epsilon$ 和时间 $t$ 上统一估计的挑战。
• 在相同的边界和初始数据条件下，将先前的二维结果推广到三维空间。
• 通过具有衰减特性的微分不等式，建立在 $\epsilon$ 和 $t$ 上具有统一控制的收敛性，从而确立向不可压缩纳维-斯托克斯方程的收敛。

提出的方法

• 推导具有衰减结构的微分不等式，以控制高阶能量泛函 $\Phi(t)$ 及其耗散 $\Psi(t)$ 的演化。
• 构造修正的能量泛函 $\Phi(t) = C_{23}\Phi_0(t) + C_{24}\Phi_1(t) + \Phi_2(t)$ 和耗散 $\Psi(t) = C_{23}\Psi_0(t) + C_{24}\Psi_1(t) + \Psi_2(t)$，以吸收非线性和奇异性项。
• 利用涉及 $\|\nabla \text{div} u\|_{L^2}$、$\|\text{curl} u_t\|_{L^2}$ 和 $\|\epsilon \sigma_{tt}\|_{L^2}$ 的加权能量估计，控制压缩性影响。
• 通过引理 2.1 和 2.4 应用索博列夫嵌入与插值不等式，以控制高阶导数。
• 选择足够小的常数 $C_{23}, C_{24}, K, \epsilon$，以闭合能量估计并确保衰减。
• 在初始小性条件 $\Phi(0) \leq \beta / \Theta$ 下，通过格朗沃尔型论证建立 $\Phi(t)$ 的统一有界性。

实验结果

研究问题

• RQ1 能否在所有时间范围内，对带有纳维滑移边界条件的三维可压缩纳维-斯托克斯方程的全局强解，严格证明其不可压缩极限？
• RQ2 对于此类解，是否可能同时在马赫数 $\epsilon$ 和时间 $t$ 上获得统一估计？
• RQ3 在能量估计中，如何控制由 $\epsilon^{-2}$ 压力梯度项引起的奇异摄动？
• RQ4 何种初始条件可确保能量泛函在整个时间范围内保持统一有界？
• RQ5 当仅假设初始时间导数有界时，能否建立向不可压缩纳维-斯托克斯解的收敛性？

主要发现

• 为带有纳维滑移边界条件的三维可压缩纳维-斯托克斯方程的全局强解，建立了在所有 $t \in [0, \infty)$ 和 $\epsilon \in (0, \epsilon_3]$ 范围内有效的统一能量估计。
• 在初始条件 $\Phi(0) \leq \beta / \Theta$ 且 $\beta \in (0, 1/2]$ 下，能量泛函 $\Phi(t)$ 在 $\epsilon$ 和 $t$ 上保持统一有界。
• 微分不等式 $\frac{d}{dt}\Phi(t) \leq -\frac{1}{2}\Psi(t)(1 - C\Psi(t)(\Phi(t) + \Phi(t)^2))$ 确保了衰减与统一控制。
• 当 $\epsilon \to 0^+$ 时，解收敛于不可压缩纳维-斯托克斯解，且收敛在时间上是统一的。
• 通过构造能捕捉滑移边界条件完整结构和可压缩效应的高阶能量泛函，该方法将先前的二维结果推广至三维。
• 在初始数据的时间导数有界这一假设下，该结果成立，从而保证了全局存在性与统一估计。