[论文解读] Global wellposedness for the 3D Muskat problem with medium size slope

Stephen Cameron|arXiv (Cornell University)|Feb 2, 2020

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

一句话总结

本文在初始数据具有次线性增长且斜率小于 $1/\sqrt{5}$ 的稳定情形下，建立了三维 Muskat 问题的全局适定性。通过模连续性方法与比较原理，证明了粗糙初始数据在 $t>0$ 时立即变为 $C^{1,1}$ 正则性，且曲率以 $O(t^{-1})$ 速率衰减，从而在这些条件下确保了经典解对所有时间均存在。

ABSTRACT

We prove the existence and uniqueness of global, classical solutions to the 3D Muskat problem in the stable regime whenever the initial interface has sublinear growth and slope $|| abla_x f_0||_{L^\infty}< 5^{-1/2}$. We show under these assumptions that the equation is fundamentally parabolic, satisfying a comparison principle. Applying the modulus of continuity technique, we show that rough initial data instantly becomes $C^{1,1}$ with the curvature decaying like $O(t^{-1})$.

研究动机与目标

• 在初始斜率有界但较大条件下，建立三维 Muskat 问题经典解的全局存在性与唯一性。
• 证明 Muskat 方程在稳定 regime 下本质上具有抛物性，满足比较原理。
• 表明具有次线性增长且 $||\nabla_x f_0||_{L^\infty} < 1/\sqrt{5}$ 的初始数据可立即获得正则性提升。
• 将中等大小数据解的理论推广至三维情形，改进了先前的临界空间结果。
• 证明曲率衰减速率为 $O(t^{-1})$，且解在 $t>0$ 时立即获得 $C^{1,1}$ 正则性。

提出的方法

• 应用模连续性技术以控制 Muskat 方程中非线性积分算子的性质。
• 利用比较原理以确立抛物行为并防止斜率发生爆破。
• 通过光滑化与截断函数实施正则化过程，以逼近粗糙初始数据。
• 构造一列光滑初始数据 $f_0^{(M)}$，其 $C^{1,\infty}$ 半范数一致有界，并收敛于原始数据。
• 在 $C^{1,\alpha}_{\text{loc}}$ 与 $L^\infty_{\text{loc}}((0,\infty); C^{1,1})$ 中采用先验估计，以确保解的收敛性。
• 沿子序列取极限，构造出满足原始初始条件的全局经典解。

实验结果

研究问题

• RQ1 当初始斜率小于 $1/\sqrt{5}$ 时，能否为三维 Muskat 问题建立全局经典解？
• RQ2 在该斜率条件下，Muskat 方程是否表现出本质的抛物行为，从而允许正则性提升？
• RQ3 从具有次线性增长的粗糙初始数据出发，解的曲率精确衰减速率为何？
• RQ4 能否通过保持斜率有界与正则性的方式，将解构造为光滑逼近的极限？
• RQ5 解是否在 $t>0$ 时立即获得 $C^{1,1}$ 正则性，并对所有 $t>0$ 满足比较原理？

主要发现

• 当 $||\nabla_x f_0||_{L^\infty} < 1/\sqrt{5}$ 且 $f_0$ 具有次线性增长时，三维 Muskat 问题的全局经典解存在。
• 方程满足比较原理，证实其在给定斜率界下的本质抛物性。
• 粗糙初始数据在所有 $t>0$ 时立即变为 $C^{1,1}$ 正则，且曲率以 $O(t^{-1})$ 速率衰减。
• 解唯一，且在 $C^{1,\infty}$ 拓扑下关于初始数据连续依赖。
• 光滑逼近的极限在 $C^1_{\text{loc}}((0,\infty) \times \mathbb{R}^2)$ 中收敛于一个经典解，且在 $t \to 0^+$ 时与初始数据在 $L^\infty$ 意义下匹配。
• 该结果改进了先前的界限，将已知的全局适定性区域扩展至 $||\nabla_x f_0||_{L^\infty} < 1/\sqrt{5}$，该界限比此前已知的 $1/3$ 更为严格。