[论文解读] Boundary Layer Expansions for the Stationary Navier-Stokes Equations

Sameer Iyer, Nader Masmoudi|arXiv (Cornell University)|Mar 11, 2021

Navier-Stokes equation solutions参考文献 57被引用 6

一句话总结

本文通过欧拉-普朗特边界层假设，为二维定常纳维-斯托克斯方程构建了一个高阶渐近展开，建立了精确的衰减估计，并在不使用经典冯-米塞变换的前提下，证明了普朗特系统的全局正则性。关键贡献在于严格构造了一个具有可控误差界近似解，从而为后续论文中普朗特边界层在 $x$ 方向全局稳定性的证明提供了基础。

ABSTRACT

This is the first part of a two paper sequence in which we prove the global-in-x stability of the classical Prandtl boundary layer for the 2D, stationary Navier-Stokes equations. In this part, we provide a construction of an approximate Navier-Stokes solution, obtained by a classical Euler- Prandtl asymptotic expansion. We develop here sharp decay estimates on these quantities. Of independent interest, we establish extit{without} using the classical von-Mise change of coordinates, proofs of global in x regularity of the Prandtl system. The results of this paper are used in the second part of this sequence, [IM20] (arXiv:2008.12347), to prove the asymptotic stability of the boundary layer as $\eps ightarrow 0$ and $x ightarrow \infty$.

研究动机与目标

• 为二维定常纳维-斯托克斯方程在边界层附近严格构造一个高阶渐近展开。
• 为普朗特边界层轮廓及其修正项建立精确的衰减估计。
• 在不依赖经典冯-米塞变量变换的前提下，证明普朗特系统的全局 $x$-正则性。
• 为后续论文中证明当 $\varepsilon \to 0$ 且 $x \to \infty$ 时边界层渐近稳定性的分析提供基础。
• 定义并施加高阶抛物相容性条件，以确保展开式的正则性。

提出的方法

• 采用经典的欧拉-普朗特渐近展开，并通过缩放 $y = Y / \sqrt{\varepsilon}$ 分离外流与边界层动力学。
• 为每个阶次 $\varepsilon^{i/2}$ 推导线性化普朗特方程的层级结构，递归求解速度与压力修正项。
• 在角点 $(x=0, y=0)$ 处施加零阶与一阶抛物相容性条件，以确保展开式的光滑性与一致性。
• 为普朗特轮廓在 $y \to \infty$ 时建立精确的衰减估计，确保解与欧拉背景流匹配。
• 应用改进的能量方法以控制 $x$ 方向导数的增长，证明 $x$ 方向的全局正则性。
• 使用缩放后的拉普拉斯算子 $\Delta_\varepsilon = \partial_y^2 + \varepsilon \partial_x^2$ 以保持渐近展开的一致性。

实验结果

研究问题

• RQ1 能否为具有普朗特边界层的二维定常纳维-斯托克斯方程严格构造高阶渐近展开？
• RQ2 普朗特轮廓及其修正项在 $y \to \infty$ 时表现出何种衰减性质？
• RQ3 在不使用冯-米塞变换的前提下，是否可实现普朗特系统的全局 $x$-正则性？
• RQ4 为确保展开式在高阶下光滑，角点 $(x=0, y=0)$ 处需要满足何种相容性条件？
• RQ5 如何控制展开式中的余项，以实现 $\varepsilon \to 0$ 极限下的稳定性分析？

主要发现

• 在给定边界条件下，普朗特系统存在全局 $x$-解，且证明过程未使用冯-米塞变换。
• 为普朗特轮廓 $u^i_p$ 与 $v^i_p$ 建立了精确的衰减估计，当 $y \to \infty$ 时，确保与欧拉背景流匹配。
• 零阶抛物相容性条件 $U^i_p(0) = -u^i_E(0,0)$ 在角点处为一致性所必需。
• 推导出一阶抛物相容性条件，涉及 $U^i_p(y)$ 在 $y=0$ 处的至二阶导数，确保解在原点处 $x$-导数的正则性。
• 余项在 $\varepsilon^{N_2/2}$ 阶次内得到控制，其中 $N_2$ 的选取足够大，以支持后续论文中的稳定性分析。
• 该构造为纳维-斯托克斯方程提供了一个有效的近似解，其误差在适当范数下有界于 $O(\varepsilon^{N_2/2})$。