[论文解读] Existence, Uniqueness and Asymptotic behaviour for fractional porous medium equations on bounded domains

Matteo Bonforte, Yannick Sire+1 more|arXiv (Cornell University)|Apr 24, 2014

Nonlinear Partial Differential Equations参考文献 47被引用 167

一句话总结

本文通过双空间中的最大单调算子理论，建立了有界区域上分数阶多孔介质方程的存在性、唯一性以及长时间渐近行为。证明了解向分离变量的‘友好巨人’解收敛，且收敛速率明确，作为副产品，还获得了具有分数阶拉普拉斯算子的次线性非局部椭圆方程的存在性与唯一性结果。

ABSTRACT

We consider nonlinear diffusive evolution equations posed on bounded space domains, governed by fractional Laplace-type operators, and involving porous medium type nonlinearities. We establish existence and uniqueness results in a suitable class of solutions using the theory of maximal monotone operators on dual spaces. Then we describe the long-time asymptotics in terms of separate-variables solutions of the friendly giant type. As a by-product, we obtain an existence and uniqueness result for semilinear elliptic non local equations with sub-linear nonlinearities. The Appendix contains a review of the theory of fractional Sobolev spaces and of the interpolation theory that are used in the rest of the paper.

研究动机与目标

• 在有界区域上，针对具有分数阶拉普拉斯算子的分数阶多孔介质方程，建立解的存在性与唯一性。
• 分析解的长时间渐近行为，特别是向自相似‘友好巨人’轮廓的收敛性。
• 通过分数阶索博列夫空间与插值空间，为谱型与受限狄利克雷分数阶拉普拉斯算子提供统一的函数框架。
• 作为演化分析的副产品，推导出次线性非局部椭圆方程的存在性与唯一性结果。
• 通过熵耗散与霍尔德连续性估计，在渐近区域内量化收敛速率。

提出的方法

• 利用双空间中最大单调算子理论，在适当的函数类中证明解的存在性与唯一性。
• 应用插值理论与分数阶索博列夫空间（H^s(Ω)，H^s_0(Ω)）处理有界区域上的非局部算子。
• 通过本征函数展开与半群表示，采用谱定义处理分数阶拉普拉斯算子。
• 将‘友好巨人’解构造为描述大时间行为的分离变量解。
• 利用熵耗散与相对误差估计，在L∞范数与霍尔德范数中推导出定量收敛速率。
• 应用勒让德变换与对偶技术，推导函数不等式并控制插值范数。

实验结果

研究问题

• RQ1 在有界区域上，分数阶拉普拉斯算子的分数阶多孔介质方程在何种条件下存在唯一解？
• RQ2 当时间趋于无穷时，解的渐近行为如何？是否可由自相似轮廓描述？
• RQ3 解向平衡解的收敛速率如何？能否通过熵或霍尔德估计进行量化？
• RQ4 演化问题的存在性与唯一性理论能否推广至相关半线性椭圆非局部方程？
• RQ5 H^s(Ω)空间及其对偶空间与解框架有何关联，特别是针对不同边界条件时？

主要发现

• 通过最大单调算子理论，分数阶多孔介质方程的解在H*-s解类中全局存在且唯一。
• 当t → ∞时，解收敛至分离变量的‘友好巨人’解，且在L∞范数与霍尔德范数中给出了收敛速率。
• 收敛速率通过熵耗散量化，得到形如‖u(t) − U(t)‖_L∞ ≤ C t^{−θ}（θ > 0）的估计。
• 该方法作为副产品，给出了次线性非局部椭圆方程ℒv = v^p（0 < p < 1）的存在性与唯一性结果。
• 该理论可统一适用于谱型与受限狄利克雷分数阶拉普拉斯算子，仅需适当调整函数设定。
• 通过插值理论与G-方法获得定量估计，显式依赖于谱隙与对数项。