[论文解读] On the inviscid limit for 2D incompressible flow with Navier friction condition

Milton C. Lopes Filho, Helena J. Nussenzveig Lopes+1 more|ArXiv.org|Jul 22, 2003

Navier-Stokes equation solutionsMathematics参考文献 14被引用 21

一句话总结

本文将二维不可压缩Navier-Stokes方程在Navier摩擦边界条件下无粘极限分析的结果，从先前已知的有界初始涡量情形，扩展至初始涡量属于$L^p(\Omega)$（$p>2$）的情形。通过基于光滑化的逼近方法与$L^p$涡量估计，证明了粘性解强收敛于Euler方程的弱解。关键贡献在于，首次在比以往更弱的初始数据正则性条件下，严格验证了无粘极限的成立。

ABSTRACT

In [1], T. Clopeau, A. Mikelić, and R. Robert studied the inviscid limit of the 2D incompressible Navier-Stokes equations in a bounded domain subject to Navier friction-type boundary conditions. They proved that the inviscid limit satisfies the incompressible Euler equations and their result ultimately includes flows generated by bounded initial vorticities. Our purpose in this article is to adapt and, to some extent, simplify their argument in order to include $p$-th power integrable initial vorticities, with $p>2$. [1] Clopeau, T., Mikelić, A., Robert, R., {\it On the vanishing viscosity limit for the 2D incompressible Navier-Stokes equations with the friction type boundary conditions}, Nonlinearity {\bf 11} (1998) 1625--1636.

研究动机与目标

• 将二维不可压缩Navier-Stokes方程在Navier摩擦边界条件下无粘极限结果，从先前研究中考虑的有界涡量情形，推广至初始涡量属于$L^p(\Omega)$（$p>2$）的情形。
• 证明在Navier摩擦条件下，粘性解的涡量$L^p$-范数存在且一致有界。
• 在初始涡量属于$L^p(\Omega)$（$p>2$）的条件下，证明粘性解在粘性系数趋于零时强收敛于不可压缩二维Euler方程的弱解。
• 探讨在Navier摩擦边界条件下，无粘极限问题中初始数据的临界正则性阈值，挑战此前认为临界值为$p=2$的假设。

提出的方法

• 对初始速度场$u_0$进行光滑化处理，得到一列光滑、无散度且满足Navier摩擦条件的切向初始数据。
• 利用Clopeau等人关于光滑初始数据的适定性结果，构造出对应于光滑化初始数据的一列粘性解$u^\nu_n$。
• 通过能量估计与Navier摩擦下涡量方程的结构，建立粘性解涡量$\omega^n$的统一$L^p$有界性。
• 推导出与粘性系数$\nu$和光滑化参数$n$无关的$L^p$-范数的先验估计，依赖于Biot-Savart核在$L^p$空间中的有界性。
• 利用$H^1(\Omega)$中的弱收敛与$C([0,T];L^2(\Omega))$中的强收敛（通过紧致性论证），在粘性方程中取极限。
• 最终得出极限函数满足二维Euler方程的弱形式，从而在$L^p$初始涡量（$p>2$）条件下，确立了无粘极限。

实验结果

研究问题

• RQ1 能否在初始涡量属于$L^p(\Omega)$（$p>2$）的情形下，将二维不可压缩Navier-Stokes方程在Navier摩擦边界条件下的无粘极限结果，从先前研究的有界涡量情形推广？
• RQ2 在Navier摩擦条件下，为使无粘极限成立，涡量$L^p$-范数所需的必要且充分的统一先验估计是什么？
• RQ3 在Navier摩擦边界条件下，无粘极限中初始数据的临界正则性阈值是否确实为$p=2$，还是可进一步推广至$p>2$？
• RQ4 在粘性系数$\nu \to 0$的极限下，带有Navier摩擦的粘性逼近是否保持涡量的$L^p$-范数？若成立，其成立条件为何？
• RQ5 能否通过光滑化初始数据与基于$L^p$的紧致性论证，严格证明粘性系数趋于零时的极限行为？

主要发现

• 对于初始涡量属于$L^p(\Omega)$（$p>2$）的情形，粘性解的涡量$\omega^\nu$的$L^p$-范数在时间与粘性系数$\nu$上保持一致有界，且与$\nu$无关。
• 存在一列粘性解$u^{\nu_k}$，当$\nu_k \to 0$时，其在$C([0,T];L^2(\Omega))$中强收敛，且极限满足二维Euler方程的弱形式。
• 极限解$u$是不可压缩二维Euler方程的标准弱解，满足恒等式$\int_0^T \int_\Omega u\varphi_t + u(u\cdot\nabla)\varphi \, dxdt + \int_\Omega u_0 \varphi(\cdot,0) \, dx = 0$，其中测试向量场为无散且切向的。
• 证明依赖于时间导数在$L^\infty((0,T);W^{1,p}(\Omega))$与$L^2((0,T);H^{-1}(\Omega))$中的统一有界性，从而可提取出收敛子列。
• 在Navier摩擦边界条件下，无粘极限中初始数据的临界正则性阈值并非确认为$p=2$，最优的$p$值仍为开放问题。
• 本文未解决极限解是否保持涡量$L^p$-范数的问题，尤其在粘性情形下涡量可能在边界处生成，因此该问题仍待进一步研究。