[论文解读] A critical fractional equation with concave-convex power nonlinearities

Begoña Barrios, Eduardo Colorado+2 more|arXiv (Cornell University)|Jun 13, 2013

Nonlinear Partial Differential Equations参考文献 53被引用 14

一句话总结

本文研究了在有界区域 $\Omega \subset \mathbb{R}^n$ 中涉及分数阶拉普拉斯算子 $(-\Delta)^s$ 的分数阶临界方程，其非线性项具有凹-凸形式。通过变分方法和山路定理，根据参数 $\lambda$ 的不同，建立了正解的存在性与多重性，其中在 $0 < q < 1$（凹情形）和 $1 < q < 2^*_s - 1$（凸情形）下表现出不同的行为，证明了当 $\lambda$ 较小时至少存在两个解，而当 $\lambda$ 较大时存在一个解，且在特定维数条件下成立。

ABSTRACT

In this work we study the following fractional critical problem $$ (P_λ)=\left\{\begin{array}{ll} (-Δ)^s u=λu^{q} + u^{2^*_{s}-1}, \quad u{&gt;}0 &amp; \mbox{in} Ω\\ u=0 &amp; \mbox{in} \RR^n\setminus Ω\,, \end{array} ight. $$ where $Ω\subset \mathbb{R}^n$ is a regular bounded domain, $λ&gt;0$, $02s$. Here $(-Δ)^s$ denotes the fractional Laplace operator defined, up to a normalization factor, by $$ -(-Δ)^s u(x)={ m P. V.} \int_{\RR^n}\frac{u(x+y)+u(x-y)-2u(x)}{|y|^{n+2s}}\,dy, \quad x\in \RR^n. $$ Our main results show the existence and multiplicity of solutions to problem $(P_λ)$ for different values of $λ$. The dependency on this parameter changes according to whether we consider the concave power case ($0

研究动机与目标

• 分析由分数阶拉普拉斯算子 $(-\Delta)^s$ 驱动的非局部临界问题的正弱解的存在性与多重性。
• 研究参数 $\lambda > 0$ 在凹非线性和凸非线性项竞争存在时对解结构的影响。
• 将经典局部拉普拉斯情形下的结果推广至非局部分数阶情形，特别是针对临界指数的情形。
• 建立一个阈值 $\Lambda$，使得当 $\lambda > \Lambda$ 时问题 $(P_\lambda)$ 无解，当 $\lambda < \Lambda$ 时存在极小解，且在 $\lambda = \Lambda$ 时至少存在一个解。

提出的方法

• 在分数阶索伯列夫空间 $X_0^s(\Omega)$ 中变分地表述问题，利用与 $(-\Delta)^s$ 及临界非线性项 $u^{2^*_s - 1}$ 相关的能量泛函。
• 对 $1 < q < 2^*_s - 1$ 的情形应用山路定理，证明能量泛函 $\mathcal{J}_{s,\lambda}$ 存在一个非平凡临界点。
• 在凹情形与凸情形下均证明能量泛函满足帕莱斯-斯梅尔条件，以确保帕莱斯-斯梅尔序列的收敛性。
• 使用形如 $t \eta_\varepsilon$ 的测试函数，其中 $\eta_\varepsilon$ 是在某点附近集中的一族截断函数，以估计能量泛函并验证山路定理的几何条件。
• 分析测试路径中最大化器 $t_{\varepsilon,\lambda}$ 在 $\lambda \to \infty$ 时的渐近行为，以证明山路水平保持为正且远离零。
• 利用分数阶拉普拉斯算子的波霍扎耶夫型恒等式，排除当 $\lambda = 0$ 且 $\Omega$ 为星形区域时的解，从而说明扰动项 $\lambda u^q$ 的必要性。

实验结果

研究问题

• RQ1 当 $0 < q < 1$ 时，是否存在一个阈值 $\Lambda > 0$，使得当 $\lambda > \Lambda$ 时问题 $(P_\lambda)$ 无解，且当 $\lambda < \Lambda$ 时至少存在两个解？
• RQ2 当 $1 < q < 2^*_s - 1$ 时，在什么维度 $n$ 和参数 $\lambda$ 条件下，问题 $(P_\lambda)$ 至少存在一个正解？
• RQ3 在非局部分数阶设定下，凹项 $\lambda u^q$ 与临界凸项 $u^{2^*_s - 1}$ 之间的相互作用如何影响解的存在性与多重性？
• RQ4 山路定理能否应用于凸情形下的能量泛函 $\mathcal{J}_{s,\lambda}$？在何种条件下可保证帕莱斯-斯梅尔条件成立？

主要发现

• 当 $0 < q < 1$ 时，存在一个有限的阈值 $\Lambda > 0$，使得当 $\lambda > \Lambda$ 时问题 $(P_\lambda)$ 无解，当 $\lambda < \Lambda$ 时存在极小解，且在 $\lambda = \Lambda$ 时至少存在一个解，且当 $0 < \lambda < \Lambda$ 时至少存在两个解。
• 当 $1 < q < 2^*_s - 1$ 时，若 $n > \frac{2s(q+3)}{q+1}$ 且 $\lambda > 0$，或若 $n \leq \frac{2s(q+3)}{q+1}$ 且 $\lambda$ 足够大，则问题至少存在一个正解。
• 能量泛函 $\mathcal{J}_{s,\lambda}$ 在凹情形与凸情形下均满足帕莱斯-斯梅尔条件，确保帕莱斯-斯梅尔序列收敛至一个临界点。
• 山路水平 $c_\varepsilon$ 被一个正的常数 $\beta > 0$ 从下方控制，这保证了泛函存在一个非平凡临界点。
• 对测试路径 $t_{\varepsilon,\lambda}$ 的渐近分析表明，当 $\lambda \to \infty$ 时有 $t_{\varepsilon,\lambda} \to 0$，这有助于维持山路水平为正，从而确保大 $\lambda$ 时解的存在性。
• 结果将布雷兹与尼伦伯格的经典局部结果推广至非局部分数阶设定，其中分数阶临界指数 $2^*_s = \frac{2n}{n-2s}$ 起到核心作用。