[论文解读] Stability and instability of Navier boundary layers

Matthew Paddick|arXiv (Cornell University)|Mar 25, 2011

Navier-Stokes equation solutions被引用 11

一句话总结

本文研究了在半平面上具有Navier边界条件的不可压缩Navier-Stokes方程的无粘极限问题。在证明L^2范数下Leray解收敛于Euler解的同时，也展示了在某些WKB型边界层展开中，存在更强范数（L^\infty和H^s，s>1）下的非线性不稳定性。在周期性设置下，这两种现象共存，表明结果之间并不矛盾。

ABSTRACT

We study the inviscid limit problem for the incompressible Navier-Stokes equation on a half-plane with a Navier boundary condition depending on the viscosity. On one hand, we prove the $L^2$ convergence of Leray solutions to the solution of the Euler equation. On the other hand, we show the nonlinear instability of WKB expansions in the stronger $L^{\infty}$ and $\dot{H}^s$ (s>1) norms.

研究动机与目标

• 分析在半平面上具有Navier边界条件的不可压缩Navier-Stokes方程的无粘极限。
• 解决L^2收敛性与更强范数下非线性不稳定性之间的表观矛盾。
• 构造显式例子，证明在周期性设置下，L^2收敛性与不稳定性可同时发生。
• 确立WKB型边界层展开在不同函数空间中的有效性与局限性。

提出的方法

• 分析依赖于粘性系数$\varepsilon$的Navier-Stokes方程，其Navier边界条件包含一个与切向滑移相关的系数$a^\varepsilon$。
• 采用WKB型假设进行边界层展开：$u^N = u^i + \sqrt{\varepsilon} u^b(t,x,\varepsilon^{-1/2}y)$，其中$u^i$满足Euler方程。
• 通过二次型分析$Q_\delta^\nu(u) = \int_0^\infty |u'|^2 - K_\delta^\nu |u|^2\,dy$检测负特征值，以指示不稳定性。
• 构造一族$C^\infty$、非增函数$\xi^\nu$，使得$u_\delta^\nu(y) = (\tanh(y-\delta) + \zeta)\xi(\nu y)$具有两个拐点，并生成正的$K_\delta^\nu$。
• 利用渐近分析与泰勒展开，控制$\xi^\nu$在$K_\delta^\nu$分母可能为零的临界点附近的性质。
• 应用定理4.2，得出算子$-\partial_y^2 - K_\delta^\nu$存在负特征值，从而证明在$H^s$与$L^\infty$范数下的不稳定性。

实验结果

研究问题

• RQ1 在粘性依赖的滑移系数下，是否可以证明具有Navier边界条件的Navier-Stokes解在$L^2$范数下收敛于Euler解？
• RQ2 为何在相同设置下，$L^\infty$与$\dot{H}^s$（$s>1$）范数下的非线性不稳定性与$L^2$收敛性共存？
• RQ3 是否可以构造一族初始数据，使得在周期性情形下，$L^2$收敛性与不稳定性同时发生？
• RQ4 边界层剖面的结构——特别是其拐点与衰减特性——在决定稳定性方面起什么作用？
• RQ5 系数$a^\varepsilon$的选择如何影响WKB型展开的有效性以及边界层的稳定性？

主要发现

• 在$\varepsilon \to 0$时，具有Navier边界条件的Navier-Stokes方程的Leray解在$L^2$范数下收敛于Euler解，确认了该框架下的无粘极限。
• 对于某些WKB型边界层展开，证明了在$L^\infty$与$\dot{H}^s$范数（$s>1$）下存在非线性不稳定性，表明这些展开并非一致稳定。
• 不稳定性源于所构造的边界层剖面$u_\delta^\nu$中存在两个拐点，导致相关二次型中出现负特征值。
• 显式构造了一族$C^\infty$、非增函数$\xi^\nu$，使得$u_\delta^\nu(y) = (\tanh(y-\delta) + \zeta)\xi(\nu y)$具备诱导不稳定性所需的性质。
• 在周期性设置$\Omega' = \mathbb{T} \times \mathbb{R}^+$下，对于同一族初始数据，$L^2$收敛性与不稳定性共存，从而消除了表观矛盾。
• 由于$K_\delta^\nu$的正性与连续性，算子$-\partial_y^2 - K_\delta^\nu$存在负特征值，而该性质通过$\xi^\nu$的精心构造及其导数的控制得以保证。