[论文解读] Global solutions for the Muskat problem in the scaling invariant Besov space $\dot B^1_{\infty, 1}$

Huy Q. Nguyen|arXiv (Cornell University)|Mar 26, 2021

Navier-Stokes equation solutions参考文献 29被引用 4

一句话总结

该论文在所有维度下，针对小初值属于尺度不变齐次 Besov 空间 $\dot{B}^1_{\infty,1}$ 的情形，建立了单相与双相 Muskat 问题的全局适定性，通过一种新型的 Dirichlet-Neumann 算子结构，使稳健的不动点论证成为可能。解映射在相同拓扑下被证明是 Lipschitz 连续的，将唯一已知的尺度不变全局结果推广至完整的 $\dot{B}^1_{\infty,1}$ 空间，且无需低频假设。

ABSTRACT

The one-phase and two-phase Muskat problems with arbitrary viscosity contrast are studied in all dimensions. They are quasilinear parabolic equations for the graph free boundary. We prove that small data in the scaling invariant homogeneous Besov space $\dot B^1_{\infty, 1}$ lead to unique global solutions. The proof exploits a new structure of the Dirichlet-Neumann operator which allows us to implement a robust fixed-point argument. As a consequence of this method, the initial data is only assumed to be in $\dot B^1_{\infty, 1}$ and the solution map is Lipschitz continuous in the same topology. For the general Muskat problem, the only known scaling invariant result was obtained in the Wiener algebra (plus an $L^2$ assumption) which is strictly contained in $\dot B^1_{\infty, 1}$.

研究动机与目标

• 建立所有维度下任意粘性对比的 Muskat 问题的全局解的存在性与唯一性。
• 将尺度不变的适定性理论扩展至临界 Besov 空间 $\dot{B}^1_{\infty,1}$，该空间严格包含先前使用的 Wiener 代数。
• 证明在小初值条件下，解映射在 $\dot{B}^1_{\infty,1}$ 拓扑下是 Lipschitz 连续的。
• 通过避免低频假设，克服先前结果的局限性，实现在尺度不变空间中的精确正则性。

提出的方法

• 识别出 Dirichlet-Neumann 算子的新结构，使在 $\dot{B}^1_{\infty,1}$ 空间中控制非线性项成为可能。
• 在 $\dot{B}^1_{\infty,1}$ 框架下应用不动点论证，利用问题的尺度不变性。
• 将自由边界 $\eta$ 的方程重述为涉及分数阶导数与积分算子的拟线性非局部抛物方程。
• 将压强与速度场的解归约为在 $\dot{B}^1_{\infty,1} \cap \dot{B}^{1+r}_{\infty,1}$ 中求解 $f^{-}$ 的不动点问题，通过算子范数估计获得控制。
• 利用 Besov 空间中的有界性与 Hölder 型不等式，建立对非线性项 $R^{\pm}(\eta)f^{-}$ 与 $R^{+}(\eta)\eta$ 的估计。
• 证明依赖于 Riesz 型算子 $R^{\pm}(\eta)$ 的有界性以及在 $\dot{B}^1_{\infty,1}$ 中的换位子估计，确保不动点迭代的收敛性。

实验结果

研究问题

• RQ1 能否在不依赖低频假设的前提下，于尺度不变的 Besov 空间 $\dot{B}^1_{\infty,1}$ 中建立 Muskat 问题的全局适定性？
• RQ2 在该空间中小初值条件下，解映射是否仍保持在 $\dot{B}^1_{\infty,1}$ 拓扑下的 Lipschitz 连续性？
• RQ3 能否将不动点方法适配至处理具有任意粘性对比的完整双相 Muskat 问题，并在临界 $\dot{B}^1_{\infty,1}$ 空间中实现全局解？
• RQ4 Dirichlet-Neumann 算子的结构是否可被利用以在该精确正则性框架中实现全局存在性？
• RQ5 与依赖 Wiener 代数或 $L^2$ 基空间的先前方法相比，该新方法有何优势？

主要发现

• 当初值属于 $\dot{B}^1_{\infty,1}$ 且足够小时，所有维度下 Muskat 问题存在全局唯一解。
• 解映射在 $\dot{B}^1_{\infty,1}$ 拓扑下是 Lipschitz 连续的，这是此前在该空间中尚未建立的强正则性结果。
• 该结果优于先前的尺度不变结果，后者受限于 Wiener 代数 $\mathbb{A}^1$，而 $\mathbb{A}^1$ 严格小于 $\dot{B}^1_{\infty,1}$。
• 不动点论证具有鲁棒性，依赖于对 Dirichlet-Neumann 算子的新结构洞察，使在临界 Besov 空间中控制非线性项成为可能。
• 在 $\dot{B}^1_{\infty,1} \cap \dot{B}^{1+r}_{\infty,1}$ 中导出了对不动点解 $f^{-}$ 的估计，其界线性依赖于 $\||D_x|\eta\|_{\dot{B}^r_{\infty,1}}$，从而确保稳定性。
• 该方法可统一应用于单相与双相 Muskat 问题，包括任意粘性对比的情形。