[论文解读] The Inviscid Limit of the Navier-Stokes Equations with Kinematic and Navier Boundary Conditions

Gui‐Qiang Chen, Siran Li+1 more|arXiv (Cornell University)|Dec 17, 2018

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

一句话总结

该论文在 Sobolev 空间 $H^r$ 中建立了三维不可压缩 Navier-Stokes 方程在 $r > 5/2$ 条件下具有运动学与 Navier 边界条件的强粘性极限，证明了在最高阶范数下无边界层形成时，解一致收敛于 Euler 解。该研究提供了几何证明，表明非 Navier 滑移型边界条件会因涡度沿边界方向的 Lie 导数不趋于零而导致强收敛性失效。

ABSTRACT

We are concerned with the inviscid limit of the Navier-Stokes equations on bounded regular domains in $\mathbb{R}^3$ with the kinematic and Navier boundary conditions. We first establish the existence and uniqueness of strong solutions in the class $C([0,T_\star); H^r(Ω; \mathbb{R}^3)) \cap C^1([0,T_\star); H^{r-2}(Ω;\mathbb{R}^3))$ with some $T_\star>0$ for the initial-boundary value problem with the kinematic and Navier boundary conditions on $\partial Ω$ and divergence-free initial data in the Sobolev space $H^r(Ω; \mathbb{R}^3)$ for $r\geq 2$. Then, for the strong solution with $H^{r+1}$--regularity in the spatial variables, we establish the inviscid limit in $H^r(Ω; \mathbb{R}^3)$ uniformly on $[0,T_\star)$ for $r > \frac{5}{2}$. This shows that the boundary layers do not develop up to the highest order Sobolev norm in $H^{r}(Ω;\mathbb{R}^3)$ in the inviscid limit. Furthermore, we present an intrinsic geometric proof for the failure of the strong inviscid limit under a non-Navier slip-type boundary condition.

研究动机与目标

• 分析有界区域上具有运动学与 Navier 边界条件的三维不可压缩 Navier-Stokes 方程的粘性极限。
• 确定当粘性系数趋于零时，在高阶 Sobolev 范数 ($H^r$) 下是否形成边界层。
• 在散度为零的初始数据条件下，建立 $H^r$ 中强解的存在性与唯一性，$r \geq 2$。
• 证明当 $r > 5/2$ 时，Navier-Stokes 解在时间 $T_\star$ 内于 $H^r$ 中一致收敛于 Euler 解。
• 对非 Navier 滑移型边界条件下强粘性极限失效提供几何表征。

提出的方法

• 通过能量估计与 Sobolev 嵌入，建立 $C([0,T_\star);H^r(\Omega;\mathbb{R}^3)) \cap C^1([0,T_\star);H^{r-2}(\Omega;\mathbb{R}^3))$ 中强解的存在性与唯一性，$r \geq 2$。
• 通过高阶能量估计与涉及涡度和边界几何的换位子估计，分析 $r > 5/2$ 时在 $H^r$-范数下的粘性极限。
• 利用涉及 Lie 导数与形状算子的边界条件几何表述，表征涡度在边界处的行为。
• 通过速度场积分曲线的向量场拉回定义 Lie 导数 $\mathcal{L}_{u_0}\omega_0$。
• 通过证明在非零曲率且涡度非零的点处 $\mathcal{L}_{u_0}\omega_0 \times \mathbf{n} \neq 0$，推导出强粘性极限失效的必要条件。
• 应用 Hodge 星算子与局部坐标表示，将 Navier 边界条件用切向分量与曲率表示。

实验结果

研究问题

• RQ1 当 $r > 5/2$ 时，具有运动学与 Navier 边界条件的 Navier-Stokes 方程在 $H^r$-范数下是否成立强粘性极限？
• RQ2 在这些边界条件下，当粘性系数 $\nu \to 0$ 时，边界层是否会在最高阶 Sobolev 范数 $H^r$ 中形成？
• RQ3 沿边界方向的涡度 Lie 导数在决定强粘性极限失效中的作用是什么？
• RQ4 区域的曲率如何影响涡度行为以及解在粘性极限下的收敛性？
• RQ5 在何种几何与动力学条件下，非 Navier 滑移型边界条件会导致强粘性极限失效？

主要发现

• 当初始数据属于 $H^r(\Omega;\mathbb{R}^3)$ 且满足 $\nabla \cdot u_0 = 0$ 时，强解在 $C([0,T_\star);H^r(\Omega;\mathbb{R}^3)) \cap C^1([0,T_\star);H^{r-2}(\Omega;\mathbb{R}^3))$ 中存在且唯一，$r \geq 2$。
• 当 $r > 5/2$ 时，粘性极限在 $H^r(\Omega;\mathbb{R}^3)$ 中一致成立，且在最高阶范数下无边界层形成。
• 在非 Navier 滑移型边界条件下，强粘性极限的失效可通过在非零曲率且非零涡度的点处 Lie 导数 $\mathcal{L}_{u_0}\omega_0 \times \mathbf{n}$ 不趋于零来几何表征。
• 条件 $\mathcal{L}_{u_0}\omega_0 \times \mathbf{n} \neq 0$ 与由初始涡度与速度边界相容性导出的强收敛必要条件相矛盾。
• 通过形状算子 $\mathcal{S}$ 与旋转算子 $\mathcal{R}$ 对 Navier 边界条件的几何表述，使对边界处切向速度与涡度耦合的精确分析成为可能。
• 该内在几何证明依赖于在曲边界上沿速度场积分曲线的涡度非平行传输，导致非零 Lie 导数并违反强极限条件。