[论文解读] Existence and symmetry results for a Schrödinger type problem involving the fractional Laplacian

Serena Dipierro, Giampiero Palatucci+1 more|arXiv (Cornell University)|Feb 2, 2012

Nonlinear Partial Differential Equations参考文献 23被引用 198

一句话总结

本文通过在分数阶索伯列夫空间 $H^s(\mathbb{R}^N)$ 上采用约束最小化方法，建立了分数阶薛定谔方程中涉及分数阶拉普拉斯算子 $(-\Delta)^s$ 的正解的存在性与径向对称性。关键结果是在 $p \in \left(1, \frac{N+2s}{N-2s}\right)$ 范围内存在一个基态解，其对称性与衰减性质与 $s=1$ 时的经典局部情形一致。该分析将变分方法从局部情形推广至非局部设置，确认在临界索伯列夫指数 $2^*_s = \frac{2N}{N-2s}$ 下与经典结果的一致性。证明依赖于一致有界性、弱收敛性，以及对法图引理和比较引理的精细应用，以确保能量泛函的收敛性与约束的保持。

ABSTRACT

This paper deals with the following class of nonlocal Schrödinger equations $$ \displaystyle (-Δ)^s u + u = |u|^{p-1}u \ \ ext{in} \ \mathbb{R}^N, \quad ext{for} \ s\in (0,1). $$ We prove existence and symmetry results for the solutions $u$ in the fractional Sobolev space $H^s(\mathbb{R}^N)$. Our results are in clear accordance with those for the classical local counterpart, that is when $s=1$.

研究动机与目标

• 将非线性薛定谔方程在局部情形（$s=1$）下的存在性与对称性结果推广至非局部分数阶拉普拉斯算子情形（$s \in (0,1)$）；
• 在分数阶索伯列夫空间 $H^s(\mathbb{R}^N)$ 中，为方程 $(-\Delta)^s u + u = |u|^{p-1}u$ 建立正的径向对称解的存在性；
• 证明该解为基态解，即在与 $L^{p+1}$-范数相关的约束下最小化能量泛函；
• 确认非局部问题的临界指数为 $p = \frac{N+2s}{N-2s} - 1 = 2^*_s - 1$，与经典索伯列夫临界指数一致。

提出的方法

• 将问题表述为在 $H^s(\mathbb{R}^N)$ 上对能量泛函 $\mathcal{E}(u)$ 的约束最小化问题，涉及盖里尔多半范数以及 $L^2$ 与 $L^{p+1}$ 范数；
• 构造一个非负、径向、递减的函数序列 $\{u_n\}$，使其在 $H^s(\mathbb{R}^N)$ 中满足一致有界性，且在 $L^2$ 与 $L^{2N/(N-2s)}$ 范数下一致有界；
• 应用分数阶波利亚–许伯不等式（引理 2.4），推导出点态衰减估计 $|u_n(x)| \leq C|x|^{-N/2}$，从而蕴含等积可积性与在无穷远处的一致消失性；
• 利用在 $H^s(\mathbb{R}^N)$ 中的弱收敛性与几乎处处收敛性，取极限得到弱极限 $\overline{u}$，其继承了径向对称性与单调性；
• 应用引理 2.5 控制非线性项 $G_1(u_n) = \frac{1}{p+1}|u_n|^{p+1}$ 的收敛性，依赖于次临界增长条件 $p < \frac{N+2s}{N-2s}$ 以及与 $Q(t) = t^2 + |t|^{2N/(N-2s)}$ 的比较；
• 利用法图引理与尺度变换论证，证明极限 $\overline{u}$ 满足约束 $\int_{\mathbb{R}^N} G(\overline{u}) \, dx = 1$，并实现半范数的下确界，从而证明其为极小化子，即为解。

实验结果

研究问题

• RQ1 经典局部薛定谔方程（$s=1$）的存在性与对称性结果是否可推广至非局部分数阶拉普拉斯情形（$s \in (0,1)$）？
• RQ2 在 $H^s(\mathbb{R}^N)$ 中，非平凡解存在的精确 $p$ 取值范围为何？其与临界索伯列夫指数 $2^*_s = \frac{2N}{N-2s}$ 的关系如何？
• RQ3 基于约束最小化的变分方法是否可适配于非局部情形？其是否能产生具有径向对称性与无穷远处衰减性质的解？
• RQ4 通过该方法获得的解是否为基态？其是否满足与能量泛函相关的欧拉-拉格朗日方程？
• RQ5 衰减性质与极小化序列的一致有界性如何确保极限中收敛性与约束的保持？

主要发现

• 当 $p \in \left(1, \frac{N+2s}{N-2s}\right)$ 时，分数阶薛定谔方程 $(-\Delta)^s u + u = |u|^{p-1}u$ 在 $H^s(\mathbb{R}^N)$ 中存在正的径向对称解 $u$；
• 该解为基态解，即在约束 $\int_{\mathbb{R}^N} |u|^{p+1} \, dx = 1$ 下最小化能量泛函，因此为相应变分问题的临界点；
• 上界 $p < \frac{N+2s}{N-2s}$ 恰好对应于临界索伯列夫指数 $2^*_s = \frac{2N}{N-2s}$，确保嵌入关系 $H^s(\mathbb{R}^N) \hookrightarrow L^{p+1}(\mathbb{R}^N)$ 连续，且非线性项定义良好；
• 极小化序列 $\{u_n\}$ 在 $L^2(\mathbb{R}^N)$ 与 $L^{2N/(N-2s)}(\mathbb{R}^N)$ 中一致有界，且满足 $|u_n(x)| \leq C|x|^{-N/2}$，表明其在无穷远处具有一致衰减；
• 弱收敛子列的极限 $\overline{u}$ 继承了径向对称性与单调性，并满足 $\int_{\mathbb{R}^N} G(\overline{u}) \, dx = 1$，其中 $G(t) = \frac{1}{p+1}|t|^{p+1}$；
• 通过尺度变换的反证法表明，约束在极限中必须精确保持，且解不可能为平凡解，从而确认在 $H^s(\mathbb{R}^N)$ 中存在非平凡极小化子。