[论文解读] The strong inviscid limit of the isentropic compressible Navier-Stokes equations with Navier boundary conditions

Matthew Paddick|arXiv (Cornell University)|Oct 10, 2014

Navier-Stokes equation solutions参考文献 48被引用 37

一句话总结

该论文证明了在半空间上，对于具有Navier边界条件的三维可压缩等熵Navier-Stokes方程，强解的存在性，证明了在粘性系数趋于零时，解的存在时间在粘性系数上具有一致性，并且在 $L^2$ 范数下全局强收敛于可压缩Euler方程的解。分析依赖于共形Sobolev空间和能量估计，以控制边界层并确保在粘性参数较小时仍保持一致的正则性。

ABSTRACT

We obtain existence and conormal Sobolev regularity of strong solutions to the 3D compressible isentropic Navier-Stokes system on the half-space with a Navier boundary condition, over a time that is uniform with respect to the viscosity parameters when these are small. These solutions then converge globally and strongly in $L^2$ towards the solution of the compressible isentropic Euler system when the viscosity parameters go to zero.

研究动机与目标

• 在半空间上，针对具有Navier边界条件的三维可压缩等熵Navier-Stokes系统，建立局部时间强解的存在性。
• 确保解的存在时间与小粘性参数 $\varepsilon$ 无关。
• 证明强无粘极限：当 $\varepsilon \to 0$ 时，Navier-Stokes方程的解在 $L^2$ 范围内全局强收敛于Euler方程的解。
• 分析解在边界附近的性质，特别是Navier滑移条件在控制边界层中的作用。
• 在共形Sobolev空间中提供与 $\varepsilon$ 无关的一致正则性估计。

提出的方法

• 利用共形Sobolev空间处理无粘极限下边界附近的奇异行为。
• 在依赖于粘性参数 $\varepsilon$ 的加权 $L^2$-型范数中使用能量估计。
• 应用先验估计以控制密度的下界以及边界附近的速度梯度。
• 利用Navier边界条件 $[\mu \partial_z u_\tau]_{z=0} = 2a u_\tau|_{z=0}$ 建模滑移，避免无滑移约束。
• 结合Sobolev嵌入与温和估计实施一种Bootstrap论证，以闭合能量不等式。
• 推导出 $\|\partial_z u_3\|_{\infty}$ 和 $\|\rho\|_{L^\infty}$ 的一致有界性，以确保先验估计在 $\varepsilon$ 上一致成立。

实验结果

研究问题

• RQ1 能否构造出具有与粘性参数 $\varepsilon$ 无关的存在时间的三维可压缩等熵Navier-Stokes方程的强解（在Navier边界条件下）？
• RQ2 当 $\varepsilon \to 0$ 时，Navier-Stokes系统解是否在 $L^2$ 范围内强收敛于Euler系统解？
• RQ3 与Dirichlet条件或无滑移条件相比，Navier边界条件如何影响边界附近的正则性与收敛行为？
• RQ4 在可压缩性与边界层存在的情况下，能否在小 $\varepsilon$ 条件下保持一致的共形Sobolev正则性？
• RQ5 密度的下界 $\rho$ 在确保一致存在性与收敛性方面起什么作用？

主要发现

• 强解的存在时间在粘性参数 $\varepsilon$ 上具有一致性，与 $\varepsilon \to 0$ 无关。
• 密度始终保持一致有下界：对所有 $t \leq T^*$，有 $\rho(t,x) \geq c_0' > 0$，其中 $c_0'$ 与 $\varepsilon$ 无关。
• 垂直速度梯度 $\partial_z u_3$ 在时间 $T^*$ 之前在 $L^\infty$ 范数下一致有界，确保了边界附近 $u_3$ 的一致小量。
• 当 $\varepsilon \to 0$ 时，解在 $L^2$ 范围内全局强收敛于可压缩Euler方程的解，且收敛时间 $T^*$ 与 $\varepsilon$ 无关。
• 由于关键项中 $\varepsilon$ 的小量以及共形Sobolev范数的使用，能量估计在 $\varepsilon$ 上一致闭合。
• Navier边界条件使得边界层得以一致控制，避免了无粘极限下与无滑移条件相关的奇异性。