[论文解读] Boundary layer separation and local behavior for the Steady Prandtl equation

Weiming Shen, Yue Wang+1 more|arXiv (Cornell University)|Apr 17, 2019

Advanced Mathematical Physics Problems参考文献 16被引用 9

一句话总结

本文在不利压力梯度下，针对Oleíník初始数据的一类广泛情形，建立了二维稳态Prandtl方程的边界层分离。通过加权能量估计与渐近分析，验证了Goldstein关于分离点附近局部行为的假设，表明 $\partial_y u(x,0) \sim (x^*-x)^{1/4}$，并识别出沿不同曲线的分离速率差异，解决了关于分离点附近局部结构的长期悬而未决问题。

ABSTRACT

In the case of favorable pressure gradient, Oleinik proved the global existence of classical solution for the 2-D steady Prandtl equation for a class of positive data. In the case of adverse pressure gradient, an important physical phenomena is the boundary layer separation. In this paper, we prove the boundary layer separation for a large class of Oleinik's data and confirm Goldstein's hypothesis concerning the local behavior of the solution near the separation, which gives a partial answer to open problem 5 proposed by Oleinik and Samokin in \cite{Olei}.

研究动机与目标

• 解决Oleíník与Samołkin提出的开放问题5，即关于边界层分离点附近解的局部结构。
• 证明在不利压力梯度下，对于Oleíník数据的广泛类，边界层分离在有限时间内发生。
• 确认Goldstein关于解在分离点附近局部行为的假设，特别是形式展开中的指数 $a_2 = \frac{1}{2}$。
• 建立 $\partial_y u(x,0)$ 与 $\partial_y u(x,y(x))$ 在 $x \to x^*$ 时的精确渐近行为，表明其满足 $\sim (x^*-x)^{1/4}$。

提出的方法

• 采用Von Mises变换 $w = u^2$，将Prandtl方程转化为更易处理的形式，即涉及 $w_x - \sqrt{w} \partial_\psi^2 w = -2 \frac{dp}{dx}$ 的方程。
• 利用加权能量估计与最大值原理论证，控制边界附近 $\partial_x w = f$ 及其导数的增长。
• 通过改进的引理5.2版本，建立 $\partial_y^2 u$ 的先验界，要求 $\partial_y^2 u_0 \leq \frac{dp}{dx}(0)$ 且 $\frac{d^2p}{dx^2} \geq 0$。
• 在分离点 $x^*$ 附近应用渐近分析，通过缩放 $u_\lambda(x,y) = \lambda^{-1/2} u(x^* - \lambda x, \lambda^{1/4} y)$ 提取自相似行为。
• 证明缩放族 $u_\lambda$ 在 $C^0(\mathbb{R}^+ \times \mathbb{R}^+)$ 中的紧致性，以确认极限轮廓的存在。
• 利用中值定理与逐点收敛论证，表明当 $\psi \to 0$ 时 $\sqrt{w} \partial_\psi f \to 0$，从而确保极限下边界的正则性。

实验结果

研究问题

• RQ1 在不利压力梯度下，对于Oleíník数据的广泛类，边界层分离是否在有限时间内发生？
• RQ2 当 $x \to x^*$ 时，$\partial_y u(x,0)$ 的精确局部行为是什么？是否满足Goldstein假设中指数 $a_2 = \frac{1}{2}$？
• RQ3 解沿不同趋近于分离点的曲线如何表现？是否存在不同的分离速率？
• RQ4 能否严格建立渐近展开 $\partial_y u(x,0) \sim (x^*-x)^{1/4}$？

主要发现

• 在不利压力梯度下，对于Oleíník数据的广泛类，边界层分离在有限时间内发生，确认了分离这一物理现象。
• 本文通过证明 $\partial_y u(x,0) \leq C(x^*-x)^{1/4}$ 在分离点 $x^*$ 附近成立，确认了Goldstein假设（3）。
• 存在一条曲线 $y(x)$，使得 $\int_0^{y(x)} u(x,y') dy' \leq C(x^*-x)^{3/4}$ 且 $\partial_y u(x,y(x)) \sim (x^*-x)^{1/4}$，表明沿不同路径存在不同的分离速率。
• 缩放解 $u_\lambda(x,y) = \lambda^{-1/2} u(x^* - \lambda x, \lambda^{1/4} y)$ 在 $C^0(\mathbb{R}^+ \times \mathbb{R}^+)$ 中是紧致的，意味着在 $x^*$ 附近呈现自相似行为。
• 该结果扩展了Dalibard与Masmoudi的前期工作，表明分离速率 $\sim (x^*-x)^{1/4}$ 与Goldstein的假设一致，且比此前已知结果更具普遍性。