[论文解读] Global Well-posedness and Regularity of Weak Solutions to the Prandtl's System

Zhouping Xin, Liqun Zhang+1 more|arXiv (Cornell University)|Mar 16, 2022

Advanced Mathematical Physics Problems被引用 6

一句话总结

该论文在有利压力条件下，建立了二维非定常普朗特系统弱解的全局适定性、唯一性与光滑性。通过柯罗科变换与变分总变差（BV）估计，作者证明了解对初值与边界数据的连续依赖性及霍尔德连续性，进而借助莫泽迭代法与超抛物方程理论，获得全局经典解。

ABSTRACT

We continue our study on the global solution to the two-dimensional Prandtl's system for unsteady boundary layers in the class considered by Oleinik provided that the pressure is favorable. First, by using a different method from [13], we gave a direct proof of existence of a global weak solution by a direct BV estimate. Then we prove the uniqueness and continuous dependence on data of such a weak solution to the initial-boundary value problem. Finally, we show the smoothness of the weak solutions and then the global existence of smooth solutions.

研究动机与目标

• 在奥列尼克单调类中，于有利压力条件下，建立二维非定常普朗特系统全局弱解的存在性。
• 证明此类弱解的唯一性及其对初始与边界数据的连续依赖性。
• 证明弱解实际上在区域内部具有光滑性（即经典解）。
• 通过莫泽迭代法与迹理论，将变换后超抛物方程的正则性理论进行推广。

提出的方法

• 应用柯罗科变换，将普朗特系统转化为 $(\tau, \xi, \eta)$ 变量下的非线性超抛物方程。
• 通过直接的变分总变差（BV）估计，证明在定义1.1意义下存在全局弱解，且满足对 $ w $ 与 $ \partial_\eta w $ 的有界性控制。
• 通过在 $ \tau=0 $、$ \xi=0 $ 与 $ \xi=L $ 处消失的测试函数进行分部积分，建立迹条件与弱形式。
• 基于振幅衰减估计，采用改进的莫泽迭代法证明解的霍尔德连续性，针对 $ (w - I_0)^+ $ 的正部。
• 推导振幅估计 $ \text{Osc}_{B^{-}_{\bar{\theta}r}} u \leq \bar{\beta} \, \text{Osc}_{B^{-}_r} u $，其中 $ \bar{\beta} < 1 $，由此推出霍尔德连续性。
• 利用超抛物方程的标准正则性理论，得出解在区域内部为 $ C^\infty $ 光滑。

实验结果

研究问题

• RQ1 是否能直接通过BV估计构造全局弱解，而无需依赖分裂方法？
• RQ2 在有利压力条件下，弱解是否唯一且对初始与边界数据连续依赖？
• RQ3 弱解在内部是否具有更高正则性，如霍尔德连续性或光滑性？
• RQ4 解的振幅是否能在更小的球内均匀衰减，从而蕴含霍尔德正则性？
• RQ5 在通过莫泽型迭代建立霍尔德连续性之后，解的正则性类为何？

主要发现

• 在有利压力与单调性假设下，变换后的普朗特系统存在全局弱解 $ w \in BV(Q_T) \cap L^\infty(Q_T) $。
• 弱解唯一，且对初始与边界数据连续依赖，该结论由能量估计与迹估计建立。
• 解满足 $ (1 - \eta)^{1/2} \partial_\eta w \in L^2(Q_T) $ 与 $ \int_{Q_T} (1 - \eta)^2 d|w_{\eta\eta}| < \infty $，确保了二阶导数的可积性。
• 振幅衰减估计 $ \text{Osc}_{B^{-}_{\bar{\theta}r}} u \leq \bar{\beta} \, \text{Osc}_{B^{-}_r} u $ 成立，其中 $ \bar{0} < \bar{\beta} < 1 $，证明了解在原点邻域内具有霍尔德连续性。
• 根据超抛物方程的正则性理论，解在 $ Q_T $ 内部为 $ C^\infty $ 光滑。
• 结果可推广至原始普朗特系统，从而在相同条件下建立了经典解的全局存在性。