[论文解读] Well-posedness of a porous medium flow with fractional pressure in Sobolev spaces

Xuhuan Zhou, Weiliang Xiao|arXiv (Cornell University)|Mar 6, 2016

Nonlinear Partial Differential Equations参考文献 8被引用 3

一句话总结

该论文证明了在 Sobolev 空间 $H^\alpha$ 中，对于 $α > \frac{n}{2}+1$ 且 $s \in [\frac{1}{2}, 1)$，具有非负初值的分数阶多孔介质方程解的存在性与唯一性。作者通过构建并分析线性退化扩散-输运系统，提出了一种新方法，利用正则化与高阶 Sobolev 范数下的能量估计证明了适定性，并修正了其早期在 Besov 空间结果中的一个错误。

ABSTRACT

The nonnegative solution for a linear degenerate diffusion transport eqution is proved. As a result, we show the existence and uniqueness of the solution for the fractional porous medium equation in Sobolev spaces $H^α$ with nonnegative initial data, $α>\frac d2+1$. Besides, we correct a mistake in our previous paper \cite{zhou01}.

研究动机与目标

• 在 Sobolev 空间 $H^\alpha$ 中建立具有非负初值的分数阶多孔介质方程解的存在性与唯一性。
• 基于构建线性退化扩散-输运系统，发展一种新方法以分析该方程的适定性。
• 修正先前在 Besov 空间中对该方程分析中的错误，特别是能量估计中关键项 $J_4'$ 的估计。

提出的方法

• 使用光滑化算子 $J_\epsilon$ 对方程进行正则化，构造 $C^1([0,T_\epsilon); H^\alpha)$ 中的近似解 $u^\epsilon$。
• 通过 Picard 迭代与 $H^\alpha$ 中的能量估计，证明线性化系统的局部适定性，其中 $\alpha > \frac{n}{2}+1$。
• 利用涉及分数阶拉普拉斯算子的点态不等式，如 $2f\Lambda^s f \geq \Lambda^s f^2$，以控制非线性项。
• 应用交换子估计与 Sobolev 嵌入，通过 $\|u\|_{H^\alpha}$ 与 $\|v\|_{H^\alpha}$ 有界非线性项在 $H^\alpha$ 中的大小。
• 通过估计两个解在 $L^2$-范数下的差，利用 Gronwall 不等式建立 $L^2$-稳定性。
• 通过用文献 [10] 中的点态不等式替代 $J_4'$ 的错误估计，修正先前错误，从而在 Besov 范数中获得更精细的界。

实验结果

研究问题

• RQ1 对于 $s \in [\frac{1}{2},1)$，在 $H^\alpha(\mathbb{R}^n)$ 中，当 $\alpha > \frac{n}{2}+1$ 且初值非负时，分数阶多孔介质方程是否具有唯一解？
• RQ2 该方程的适定性是否可通过基于线性退化扩散-输运系统的全新方法来建立，而非依赖弱解或近似格式？
• RQ3 先前工作 [13] 中能量估计里交换子项 $J_4'$ 的正确估计是什么？该估计如何影响 Besov 空间中适定性证明？
• RQ4 初始数据在 $H^\alpha$ 中且 $\alpha > \frac{n}{2}+1$ 的正则性如何确保在时间区间 $[0,T_0]$ 内存在唯一解？
• RQ5 用于 $H^\alpha$ 空间的该方法是否可被调整以修正早期在 Besov 空间分析中的能量估计错误？

主要发现

• 对于 $s \in [\frac{1}{2}, 1)$，$\alpha > \frac{n}{2}+1$，且非负初值 $u_0 \in H^\alpha(\mathbb{R}^n)$，分数阶多孔介质方程在 $C^1([0,T_0]; H^\alpha(\mathbb{R}^n))$ 中存在唯一解 $u$。
• 若初值非负，则解在所有 $t \in [0,T_0]$ 上保持非负，该结论通过利用分数阶拉普拉斯算子的最小值原理论证得出。
• 构建并分析线性退化扩散-输运系统的方法为在高阶 Sobolev 空间中证明适定性提供了新颖且有效的途径。
• 作者通过用有效的点态不等式替代 $J_4'$ 的错误估计，修正了其早期工作 [13] 中的错误，从而获得正确的 $L^2$-稳定性估计。
• 对 $J_4'$ 的改进估计为 $J_4' \leq 2^{-j\alpha}\|u^{(n)}\|_{B_{1,\infty}^{r+2-2s}}\|u^{(n+1)}\|_{B_{1,\infty}^\alpha}$，其中 $r = \alpha - 1$，确保了在 Besov 空间中的收敛性。
• 能量估计导出 Gronwall 型不等式 $\frac{d}{dt}\|w\|_{L^2} \leq C\|u\|_{H^\alpha}\|w\|_{L^2}$，由此通过 $w \equiv 0$ 推出唯一性。