[论文解读] Hölder Continuous Solutions to the Three-dimensional Prandtl System

Tianwen Luo, Zhouping Xin|arXiv (Cornell University)|Apr 12, 2018

Advanced Mathematical Modeling in Engineering参考文献 22被引用 6

一句话总结

本文通过改编近期研究中的凸积分技巧，构造了三维普朗特系统 Hölder 连续弱解。即使存在次级流，该研究也建立了时间方向 Hölder 正则性为 $\frac{1}{21}-\epsilon$、空间方向为 $\frac{1}{10}-\epsilon$ 的解，解决了三维边界层理论中的一个关键挑战。

ABSTRACT

Adapting the convex integration technique introduced by De Lellis and Sz{é}kelyhidi, we construct Hölder continuous weak solutions to the three dimensional Prandtl system and some other models with vertical viscosity.

研究动机与目标

• 建立三维普朗特系统弱解的存在性，其切向速度相对于外流方向具有横向分量，表明次级流的形成。
• 克服三维边界层中次级流带来的分析挑战，这些挑战在二维中不存在，且会复杂化适定性问题。
• 将此前用于二维及关联模型的凸积分技巧扩展至具有垂直粘性的三维普朗特系统。
• 构造时间方向 Hölder 正则性为 $\frac{1}{21}-\epsilon$、空间方向为 $\frac{1}{10}-\epsilon$ 的解，即使一般情况下不存在经典解。
• 为在经典解周围存在紧支集扰动的情况下提供弱解框架，确保解满足无散度和边界相容结构。

提出的方法

• 将 [11, 22, 23] 中的凸积分技巧改编，用于构造具有垂直粘性的三维普朗特系统的弱解。
• 以经典解 $ (u_C, v_C) $ 作为基准，引入一个光滑且紧支集的扰动 $ (\underline{u} - u_C, \underline{v} - v_C) $，满足不可压缩性与零均值条件。
• 通过向量场 $ \overline{\overline{D}}/Dt = \partial_t + \bar{U} \cdot \nabla_{x,y} $ 的流构造截断函数 $ \zeta(t,x,y) $，利用输运机制确保其支集传播。
• 将余项算子 $ R^{kl}[H] $ 定义为三项之和 $ R_0^{kl}[H] + R_1^{kl}[H] + R_2^{kl}[H] $，使其满足散度方程且与输运算子可交换。
• 通过估计 $ \zeta $ 及其导数的性质，结合流的结构与尺度关系，建立构造解的 Hölder 半范数的统一有界性。
• 应用对易关系 $ \overline{\overline{D}}/Dt \circ R^{kl}[H] = R^{kl}[\overline{\overline{D}}/Dt H] $，以在输运过程中保持一致性。

实验结果

研究问题

• RQ1 当存在次级流时，能否为三维普朗特系统构造 Hölder 连续的弱解？
• RQ2 尽管缺乏单调性且存在横向流动，能否将凸积分技巧扩展至具有垂直粘性的三维普朗特系统？
• RQ3 在此框架下，时间与空间方向可实现的最优 Hölder 正则性为何？
• RQ4 如何利用紧支集扰动生成满足边界条件与不可压缩性条件的解？
• RQ5 能否在保持弱解结构的前提下，构造出具有受控 Hölder 范数 $[u_k - \underline{u}, v_k - \underline{v}]_{\frac{1}{21}-\epsilon, \frac{1}{10}-\epsilon} < C_k$ 的解？

主要发现

• 本文构造了一个 Hölder 连续弱解序列 $ \{(u_k, v_k)\}_{k=1}^\infty $，其在时间方向具有 $\frac{1}{21}-\epsilon$ 的 Hölder 正则性，在空间方向具有 $\frac{1}{10}-\epsilon$ 的正则性。
• 解在分布意义下满足系统方程，并在 $ y=0 $ 和 $ y\to\infty $ 处满足无滑移与渐近边界条件。
• 该构造允许相对于外流 $ U $ 的横向切向速度，从而捕捉次级流的产生。
• 扰动 $ (\underline{u} - u_C, \underline{v} - v_C) $ 具有光滑性、紧支集性，且满足 $ \nabla_x \cdot \underline{u} + \partial_y \underline{v} = 0 $ 与 $ \int_{\mathbb{T}^2} (\underline{u} - u_C) dx = 0 $。
• 弱解与基准扰动之间差值的 Hölder 半范数被常数 $ C_k $ 统一有界，确保了正则性控制。
• 该方法依赖于一个改进的余项算子 $ R^{kl}[H] $，其满足散度方程且与输运算子可交换，从而支持迭代构造。