[论文解读] The Muskat problem with $C^1$ data

Ke Chen, Quoc‐Hung Nguyen+1 more|arXiv (Cornell University)|Mar 17, 2021

Advanced Mathematical Physics Problems参考文献 32被引用 4

一句话总结

本文在临界空间 $\dot{C}^1(\mathbb{R}^d) \cap L^2(\mathbb{R}^d)$ 中建立了穆斯卡特方程的局部适定性，证明了在稳定 regime（$\rho_2 > \rho_1$）下解的存在性、唯一性以及对初始数据的连续依赖性。分析依赖于一种新颖的拟积结构和傅里叶-贝索夫空间中的精确估计，以控制穆斯卡特方程中的非线性、非局部算子，从而将适定性结果推广至经典索伯列夫空间或赫尔德空间之外的粗糙初始数据。

ABSTRACT

In this paper we prove that the Cauchy problem of the Muskat equation is wellposed locally in time for any initial data in $\dot C^1(\mathbb{R}^d)\cap L^2(\mathbb{R}^d)$.

研究动机与目标

• 在低于经典索伯列夫或赫尔德正则性的空间 $\dot{C}^1(\mathbb{R}^d) \cap L^2(\mathbb{R}^d)$ 中建立穆斯卡特方程的局部适定性。
• 将穆斯卡特问题适定性的初始数据范围扩展，特别是针对具有无界导数的粗糙数据。
• 克服在低正则性设定下穆斯卡特方程非局部奇异积分结构带来的挑战。
• 通过拟积分解和傅里叶-贝索夫空间中的精确 $L^p$-型估计，对非线性项进行精细化分析。

提出的方法

• 作者使用拟积分解将穆斯卡特方程中的非线性项分解为低频与高频相互作用。
• 他们应用傅里叶-贝索夫空间 $\dot{F}^{\frac{1}{2}}_{p,2}$ 中的精确估计，以控制演化方程中的正则性增益。
• 关键步骤包括通过霍尔德不等式和杨不等式对奇异积分算子进行有界化，利用差商 $\Delta_\alpha f$ 的结构。
• 证明依赖于频率空间的 dyadic 分解以及插值不等式，以平衡高阶导数的增长。
• 作者引入加权测度 $d\eta(\alpha)$ 以在频率和角变量中实现分析的局部化。
• 通过控制 $\|\nabla g\|_{L^\infty}$ 和 $\|\Delta^{2d}g\|_{\dot{H}^{1/2}}$，推导出高阶导数 $\Delta^{2d}g$ 的 $L^2$-范数的先验估计。

实验结果

研究问题

• RQ1 是否可以在 $\dot{C}^1(\mathbb{R}^d) \cap L^2(\mathbb{R}^d)$ 空间中证明穆斯卡特方程对具有仅连续一阶导数的初始数据的局部适定性？
• RQ2 当初始数据缺乏更高阶索伯列夫或赫尔德正则性时，需要何种技术来控制穆斯卡特方程中非局部奇异积分算子？
• RQ3 拟积与傅里叶-贝索夫空间技术如何被调整以处理粗糙情形下穆斯卡特方程的退化抛物结构？
• RQ4 是否可能在不假设初始数据有界或单调的条件下，实现在临界空间 $\dot{C}^1$ 中的适定性？
• RQ5 梯度的 $L^\infty$-范数在解的稳定性和正则性传播中起什么作用？

主要发现

• 在稳定 regime（$\rho_2 > \rho_1$）下，穆斯卡特方程的柯西问题在空间 $\dot{C}^1(\mathbb{R}^d) \cap L^2(\mathbb{R}^d)$ 中是局部适定的。
• 解映射在时间上连续取值于 $\dot{C}^1(\mathbb{R}^d) \cap L^2(\mathbb{R}^d)$，确保了短时间内的存在性与唯一性。
• 证明依赖于一种新颖估计，涉及非线性项的 $L^{\frac{8d-1}{4d}}$-范数，该范数通过拟积与插值技术得到控制。
• 作者建立了形如 $\|\Delta^{2d}g\|_{\dot{H}^{1/2}}^2 \lesssim \|\nabla g_1\|_{L^\infty}^{1/(8d-1)} \|\Delta^{2d}g\|_{\dot{H}^{1/2}}^2 + \mathcal{F}(\|g_2\|_{H^{4d+1/2}} + \varepsilon^{-1})$ 的先验界，从而吸收了非线性项。
• 该结果将先前在索伯列夫、赫尔德和维纳空间中的适定性结果推广至更粗糙的临界正则性类。
• 分析确认 $\dot{C}^1$ 空间确实是穆斯卡特方程的临界空间，因其与方程的标度不变性一致。