[论文解读] On the Cauchy problem for the Muskat equation with non-Lipschitz initial data

Thomas Alazard, Quoc‐Hung Nguyen|arXiv (Cornell University)|Sep 9, 2020

Advanced Mathematical Physics Problems参考文献 53被引用 21

一句话总结

本文建立了具有临界索博莱夫空间中初始数据的穆斯卡特方程的局部和全局适定性，该空间带有分数阶对数修正，允许非利普希茨初始自由表面。通过引入对数修正的齐次范数，作者克服了经典利普希茨正则性假设的局限性，使得能够分析具有任意大斜率的解。

ABSTRACT

This article is devoted to the study of the Cauchy problem for the Muskat equation. We consider initial data belonging to the critical Sobolev space of functions with three-half derivative in $L^2$, up to a fractional logarithmic correction. As a corollary, we obtain the first local and global well-posedness results for initial free surface which are not Lipschitz.

研究动机与目标

• 解决初始数据非利普希茨连续（即导数无界）情形下穆斯卡特方程的适定性问题，该情形在经典理论中曾被排除。
• 克服标准索博莱夫空间和利普希茨空间在处理多孔介质流中高度不规则自由表面轮廓时的局限性。
• 引入一种新颖的对数修正，用于齐次索博莱夫范数，以捕捉穆斯卡特方程的分数阶抛物型与非线性结构。
• 在几乎临界的空间中建立局部与全局适定性，扩展了柯西问题的已知正则性阈值。
• 提供一个适用于导数无界的初始数据的框架，包括具有任意大斜率的函数。

提出的方法

• 通过在齐次 $ \dot{H}^{3/2} $ 范数中引入对数修正，定义一个新的临界空间，具体为 $ \|f\|_{2,\frac{1}{3}} $，该范数考虑了方程的分数阶与非线性特征。
• 使用科多巴-甘塞多对穆斯卡特方程的有限差分形式：$ \partial_t f = \frac{1}{\pi} \operatorname{pv} \int_\mathbb{R} \frac{\partial_x \Delta_\alpha f}{1 + (\Delta_\alpha f)^2} d\alpha $，其中 $ \Delta_\alpha f = \frac{f(x) - f(x - \alpha)}{\alpha} $。
• 应用调和分析工具，包括极大函数估计与插值不等式，以控制演化方程中的非线性项。
• 通过结合加利亚尔多半范数估计与赫尔德不等式及插值不等式，推导出在对数修正范数下的能量估计。
• 在基于 $ \dot{H}^{1/2} $ 的能量空间中，建立解的先验估计，利用对数修正来控制高频分量的增长。
• 通过对称估计与插值，推导出两个解差值的微分不等式，从而得出连续依赖性与唯一性。

实验结果

研究问题

• RQ1 穆斯卡特方程在初始数据非利普希茨连续（即导数无界）时是否仍适定？
• RQ2 当初始自由表面非 $ C^1 $ 时，局部与全局适定性的最小正则性阈值是什么？
• RQ3 如何修改临界正则性空间，以包含非利普希茨初始数据，同时保持方程的抛物型与非线性结构？
• RQ4 对索博莱夫范数的对数修正是否能稳定穆斯卡特方程在初始斜率较大的情况下的能量估计？
• RQ5 对数修正在平衡方程中的分数阶扩散项与非线性项中起什么作用？

主要发现

• 作者证明了在包含非利普希茨初始数据的临界空间中，穆斯卡特方程的局部与全局适定性，具体在空间 $ \|f\|_{2,\frac{1}{3}} $ 中，该空间是 $ \dot{H}^{3/2} $ 的对数修正版本。
• 解映射在基于 $ \dot{H}^{1/2} $ 的能量空间中是连续的，且解在正时间仍保持在同一正则性类中。
• 该方法允许初始数据的导数在点态上取任意大的值，包括非 $ C^1 $ 的函数，但仍能产生短时间内的唯一光滑解。
• 范数中的对数修正对于控制非线性项 $ \partial_x \Delta_\alpha f / (1 + (\Delta_\alpha f)^2) $ 至关重要，当斜率较大时该非线性项会趋于奇异。
• 能量估计中包含一个与 $ \log(4 + \|f\|_{2,\frac{1}{3}})^{-1/3} \|g\|_{\dot{H}^1}^2 $ 成正比的阻尼项，确保了即使在缺乏利普希茨正则性的情况下仍具有稳定性。
• 该结果扩展了以往的全局适定性结果，后者要求初始斜率小于1，现推广至包含潜在无界斜率的更广泛初始数据类。