[论文解读] Non-local to local transition for ground states of fractional Schr\"{o}dinger equations on bounded domains

Bartosz Bieganowski, Simone Secchi|arXiv (Cornell University)|Jul 26, 2019

Advanced Mathematical Modeling in Engineering参考文献 15被引用 7

一句话总结

该论文证明了当分数阶参数 $s \to 1^-$ 时，带有非局部算子 $(-\Delta)^s$ 的分数阶薛定谔方程的基态解在 $L^2(\Omega)$ 中收敛于经典局部薛定谔方程的基态解。分析基于变分法、Nehari流形技巧以及分数阶索伯列夫范数的渐近分析，在非线性和势函数满足标准结构假设的条件下，证明了沿子序列的收敛性。

ABSTRACT

We show that ground state solutions to the nonlinear, fractional problem { (−∆)su + V (x)u = f(x, u) in Ω, u = 0 in RN \ Ω, on a bounded domain Ω ⊂ RN, converge (along a subsequence) in L2(Ω), under suitable conditions on f and V, to a solution of the local problem as s → 1−.

研究动机与目标

• 分析分数阶非局部薛定谔方程基态解在分数阶参数 $s$ 趋近于 1 时的渐近行为。
• 在有界区域上，严格建立从非局部行为到局部行为的过渡。
• 通过变分法与 Nehari 流形技巧，将先前关于线性泊松问题的结果推广至半线性、非局部情形。

提出的方法

• 利用分数阶索伯列夫空间 $H^s_0(\Omega)$ 及其对应的能量泛函 $J_s$（$s \in (1/2, 1)$）形式化问题。
• 采用 Nehari 流形方法，将基态表征为能量受约束下 $J_s$ 的临界点。
• 利用光滑函数的极限恒等式 $\lim_{s \to 1^-} (-\Delta)^s u = -\Delta u$ 指导渐近分析。
• 应用紧嵌入与插值不等式，控制在 $L^\nu(\Omega)$ 中的收敛性，其中 $\nu < 2N/(N-1)$。
• 通过反证法与一致可积性，证明序列 $\{u_s\}$ 在 $H^1_0(\Omega)$-范数下有界。
• 利用分数阶拉普拉斯算子的收敛性与 Vitali 收敛定理，在弱形式中通过极限传递，建立弱收敛性。

实验结果

研究问题

• RQ1 当 $s \to 1^-$ 时，非局部分数阶薛定谔方程的基态解是否收敛于局部薛定谔方程的解？
• RQ2 收敛性是否在 $L^2(\Omega)$ 中成立？其成立条件对非线性和势函数有何要求？
• RQ3 极限解是否为局部问题的基态？能量水平在极限下是否保持不变？

主要发现

• 非局部问题的基态解 $u_s$ 沿子序列在 $L^2(\Omega)$ 中收敛于局部问题的基态解 $u_0$，当 $s \to 1^-$ 时。
• 极限解 $u_0$ 是局部方程 $-\Delta u + V(x)u = f(x,u)$ 在 $\Omega$ 中的弱解，且在 $\partial\Omega$ 上满足 $u_0 = 0$。
• 在所有 $\nu \in [2, 2N/(N-1))$ 中，收敛性在 $L^\nu(\Omega)$ 中成立，且 $L^\nu$-范数具有一致有界性。
• 能量水平 $c_s = \inf_{N_s} J_s$ 收敛于 $c = \inf_N J$，确认了基态能量在极限下被保持。
• 极限解 $u_0$ 非零，且属于局部问题的 Nehari 流形，确认其为基态。
• 由于局部问题的解可能不唯一，收敛性在 $s$ 上不一定是一致的。