[论文解读] Existence results for fractional p-Laplacian problems via Morse theory

Antonio Iannizzotto, Shibo Liu+2 more|arXiv (Cornell University)|Mar 21, 2014

Nonlinear Partial Differential Equations参考文献 24被引用 6

一句话总结

本文通过莫尔斯理论和变分法，建立了分数阶 p-Laplacian 问题弱解的存在性与多重性。在非线性项的不同增长条件下，证明了至少存在一个非平凡解；在强制情形下，通过临界群分析与拓扑工具，进一步证明了解的有限多重性。

ABSTRACT

We investigate a class of quasi-linear nonlocal problems, including as a particular case semi-linear problems involving the fractional Laplacian and arising in the framework of continuum mechanics, phase transition phenomena, population dynamics and game theory. Under different growth assumptions on the reaction term, we obtain various existence as well as finite multiplicity results by means of variational and topological methods and, in particular, arguments from Morse theory.

研究动机与目标

• 建立一类涉及分数阶 p-Laplacian 的拟线性非局部问题的解的存在性与多重性结果。
• 在反应项 $f(x,u)$ 的各种增长假设下分析该问题，包括 p-超线性、强制及渐近 p-线性情形。
• 应用莫尔斯理论与临界群技术，在强制设定下推导解的有限多重性。
• 通过广义的 Pohožaev 型恒等式研究有界解的非存在性，条件为星形区域。
• 将变分法与拓扑方法推广至超越经典分数阶拉普拉斯框架的非局部、非线性算子。

提出的方法

• 在空间 $X(\Omega) = W^{s,p}({\mathbb{R}}^N)$ 上变分地表述问题，要求在 $\Omega$ 外部迹为零，定义能量泛函 $\Phi(u) = \frac{1}{p}[u]_{s,p}^p - \int_{{\mathbb{R}}^N} F(u)\,dx$。
• 利用临界点理论与莫尔斯理论，通过零点与无穷远处的临界群分析子水平集的拓扑结构。
• 应用 Pohožaev 恒等式 (7.4) 推导在星形区域下正解或非零有界解的非存在性结果。
• 通过 De Giorgi 型迭代与截断技术，建立弱解的 $L^\infty$-估计。
• 在路径 $\gamma_u(\theta) = u(\theta x)$ 上使用尺度变换，推导广义的 Pohožaev 恒等式。
• 利用 $(-\Delta)_p^s$ 的特征值问题与变分特征值，分析泛函框架下的强制性与紧致性。

实验结果

研究问题

• RQ1 当 $f(x,u)$ 满足何种增长条件时，分数阶 $p$-Laplacian 问题至少存在一个非平凡弱解？
• RQ2 莫尔斯理论如何应用于强制情形下分数阶 $p$-Laplacian 问题的解的有限多重性证明？
• RQ3 Pohožaev 型恒等式在排除分数阶 $p$-Laplacian 问题非平凡有界解方面起什么作用？
• RQ4 弱解的正则性与有界性特征如何影响变分法与拓扑方法的应用？
• RQ5 通过适当的尺度变换与测试函数选择，能否使非局部算子 $(-\Delta)_p^s$ 与经典 Pohožaev 恒等式相容？

主要发现

• 对于 $p$-超线性非线性项，本文利用山路定理与莫尔斯理论证明了至少存在一个非平凡弱解。
• 在强制情形下，作者通过分析临界群与子水平集的拓扑结构，建立了有限多个弱解的存在性。
• 通过 De Giorgi 型迭代方法导出了弱解的 $L^\infty$-估计，保证了解的正则性并支持进一步分析。
• 建立了有界弱解的广义 Pohožaev 恒等式 (7.4)，其中包含依赖于到 $\partial\Omega$ 距离的边界积分项。
• 在星形区域且 $r \geq p^*_s$ 时，若 $f(t) = |t|^{r-2}t$ 且 $r > p^*_s$，则问题不存在非零有界解，证实了超临界非线性情形下的非存在性。
• 证明恒等式 (7.4) 在半线性情形（$p=2$）下退化为已知形式，验证了该方法在经典线性分数阶情形下的有效性。