[论文解读] On the Steady Prandtl Boundary Layer Expansions

Chen Gao, Liqun Zhang|arXiv (Cornell University)|Jan 29, 2020

Navier-Stokes equation solutions参考文献 19被引用 8

一句话总结

本文通过利用速度势函数形式分析零粘性极限，严格证明了在有界区域中，对于具有无滑移边界条件的稳态二维Navier-Stokes方程，Prandtl边界层展开的合理性。在区域长度较小且Euler流满足有利条件的假设下，证明了Navier-Stokes解收敛于Euler流与Prandtl边界层之和，从而在一般设定下确立了经典边界层假设的正确性。

ABSTRACT

In this paper, we consider the zero-viscosity limit of the 2D steady Navier-Stokes equations in $(0,L) imes\mathbb{R}^+$ with non-slip boundary conditions. By estimating the stream-function of the remainder, we justify the validity of the Prandtl boundary layer expansions.

研究动机与目标

• 在稳态二维Navier-Stokes方程具有无滑移边界条件的零粘性极限下，严格证明Prandtl边界层展开的合理性。
• 解决Euler流在边界处的切向速度与Navier-Stokes方程中无滑移条件之间的不匹配问题。
• 在一般条件下，建立Navier-Stokes解收敛于Euler流与Prandtl边界层之和的结果。
• 通过引入速度势函数形式和加权能量估计，扩展先前结果，以控制余项。

提出的方法

• 通过拉伸变量 $ x = X $, $ y = Y / \sqrt{\varepsilon} $，形式化推导Prandtl边界层假设，将Navier-Stokes方程转化为边界层结构显式呈现的形式。
• 为Navier-Stokes解与Prandtl解之间的余项引入速度势函数 $ \psi^\varepsilon $，以解耦速度场与压力场。
• 应用带权重 $ \rho $ 和依赖于 $ \langle y \rangle $ 的权重的加权能量估计，以控制边界层区域内的增长与衰减。
• 使用截断函数 $ \chi $ 和局部化技术处理 $ Y \geq 0 $ 上的无界区域，从而在加权Sobolev空间中实现 $ L^2 $-型估计。
• 通过测试函数 $ g_{xy} \frac{\rho^2}{\langle y \rangle^2} $ 和 $ g_y \rho $ 推导能量型不等式，实现对高阶导数的控制。
• 通过迭代能量估计并利用区域长度 $ L $ 和Euler流法向速度的大小假设，建立先验估计。

实验结果

研究问题

• RQ1 在有界区域中，对于具有无滑移边界条件的稳态二维Navier-Stokes方程，Prandtl边界层展开能否在零粘性极限下被严格证明？
• RQ2 Navier-Stokes解在零粘性极限下收敛于Euler流与Prandtl边界层之和的条件是什么？
• RQ3 如何在加权Sobolev范数下控制Navier-Stokes解与Prandtl解之间的余项，以确保收敛性？
• RQ4 区域长度 $ L $ 的小性在稳定边界层并实现收敛中起到何种作用？

主要发现

• 本文在区域长度 $ L $ 足够小的假设下，建立了稳态二维Navier-Stokes方程在零粘性极限下Prandtl边界层展开的合理性。
• 余项在加权 $ L^2 $-型范数下得到控制，估计结果表明其在边界层区域内呈现衰减趋势。
• 为余项的速度势函数导出了先验能量估计，从而实现了对 $ \| \bar{u} g_{xy} \frac{\rho}{\langle y \rangle} \|_{L^2} $ 和 $ \| \sqrt{\bar{u}} g_{xyy} \frac{\rho}{\langle y \rangle} \|_{L^2} $ 的控制，这些量对收敛性至关重要。
• 收敛速率通过 $ L^{1/3} $ 的小性得到量化，表明展开误差在适当范数下被控制在 $ O(L^{1/3}) $ 之内。
• 分析结果表明，Prandtl假设在Euler流满足一般条件（如有界性及导数衰减）时成立，即使不假设单调性亦可。
• 通过引入速度势函数形式和加权能量估计，无需依赖解析性或强单调性假设，即可实现展开的严格证明，从而扩展了先前结果。