[论文解读] Concentrating standing waves for the fractional nonlinear Schrödinger equation

Juan Dávila, Manuel del Pino+1 more|arXiv (Cornell University)|Jul 8, 2013

Advanced Mathematical Physics Problems参考文献 17被引用 5

一句话总结

该论文通过Lyapunov-Schmidt约化方法，证明了在 $ \varepsilon \to 0 $ 时，具有势 $ V(x) $ 的分数阶非线性Schrödinger方程存在多尖峰驻波解，且解在 $ V $ 的临界点处集中。关键结果将经典的Floer-Weinstein和Oh结果推广至分数阶情形 $ 0 < s < 1 $，证明了在 $ V $ 的非退化临界点附近存在 $ k $-峰解。

ABSTRACT

We consider the semilinear equation $$ ε^{2s} (-Δ)^s u + V(x)u - u^p = 0, \quad u&gt;0, \quad u\in H^{2s}(\R^N) $$ where $0 0$, and $ε&gt;0$ is a small number. Letting $w_λ$ be the radial ground state of $(-Δ)^s w_λ+ λw_λ- w_λ^p=0$ in $H^{2s}(\R^N)$, we build solutions of the form $$ u_ε(x) \sim \sum_{i=1}^k w_{λ_i} ((x-ξ_i^ε)/ε),$$ where $λ_i = V(ξ_i^ε)$ and the $ξ_i^ε$ approach suitable critical points of $V$. Via a Lyapunov Schmidt variational reduction, we recover various existence results already known for the case $s=1$. In particular such a solution exists around $k$ nondegenerate critical points of $V$. For $s=1$ this corresponds to the classical results by Floer-Weinstein and Oh.

研究动机与目标

• 将非线性Schrödinger方程驻波解集中现象的经典结果推广至分数阶拉普拉斯算子情形（$ 0 < s < 1 $）。
• 在 $ \varepsilon \to 0 $ 时，建立光滑势 $ V(x) $ 的临界点处集中之多峰解的存在性。
• 利用变分约化方法，将 $ s = 1 $ 时Floer-Weinstein和Oh的结果推广至非局部分数阶情形。
• 分析 $ H^{2s}(\mathbb{R}^N) $ 中解的渐近行为，并刻画其集中特性。
• 证明在 $ V $ 的 $ k $ 个非退化临界点附近存在 $ k $-尖峰解，且对尖峰位置与衰减速率有精确控制。

提出的方法

• 将近似解构造为缩放径向基态 $ w_{\lambda}(x) = \lambda^{1/(p-1)} w(\lambda^{1/(2s)} x) $ 的叠加，其中 $ \lambda = V(\xi) $，中心位于点 $ \xi_i^\varepsilon $。
• 应用Lyapunov-Schmidt变分约化方法，将无限维问题约化为关于参数 $ \xi_i^\varepsilon $ 的有限维问题。
• 利用径向基态 $ w $ 的非退化性，控制每个尖峰处线性化算子的核。
• 通过能量泛函 $ J_\varepsilon $ 的渐近展开及加权范数下误差项的估计，控制尖峰之间的相互作用。
• 在配置空间 $ \Lambda $ 中施加条件 $ |\xi_i^\varepsilon - \xi_j^\varepsilon| > \varepsilon^{1 - s/4} $，以防止爆炸并确保相互作用项的衰减。
• 依赖度理论与连续性论证，证明约化泛函的临界点存在，从而对应真实解的存在性。

实验结果

研究问题

• RQ1 分数阶非线性Schrödinger方程在 $ 0 < s < 1 $ 时是否存在多尖峰解？
• RQ2 当 $ \varepsilon \to 0 $ 时，这些解是否在势 $ V(x) $ 的临界点处集中？
• RQ3 经典 $ s = 1 $ 情形的结果在多大程度上可推广至分数阶情形？
• RQ4 尖峰相互作用与非局部效应如何影响多峰解的存在性与位置？
• RQ5 在何种 $ V(x) $、$ p $ 与 $ s $ 条件下，可保证分数阶情形下 $ k $-峰解的存在性？

主要发现

• 对任意 $ k \geq 1 $，若 $ V \in C^{1,\alpha} \cap L^\infty $ 且 $ \inf V > 0 $，且 $ \Lambda_i \subset \mathbb{R}^N $ 为互不相交的有界开集，满足 $ \deg(\nabla V, \Lambda_i, 0) \neq 0 $，则当 $ \varepsilon $ 足够小时存在 $ k $-尖峰解。
• 若 $ V \in C^2 $ 且具有 $ k $ 个非退化临界点 $ \xi_i^0 $，则存在 $ k $-尖峰解 $ u_\varepsilon $，使得当 $ \varepsilon \to 0 $ 时 $ \xi_i^\varepsilon \to \xi_i^0 $。
• 近似式 $ u_\varepsilon \sim \sum_{i=1}^k w_{V(\xi_i^\varepsilon)}((x - \xi_i^\varepsilon)/\varepsilon) $ 的误差在 $ \varepsilon \to 0 $ 时于 $ H^{2s}(\mathbb{R}^N) $ 中收敛于零。
• 尖峰间相互作用能以 $ O(\varepsilon^{2s}) $ 衰减，主导能量由势值 $ V(\xi_i^\varepsilon) $ 决定。
• 控制尖峰位置的约化泛函 $ I(q) $ 满足：对小的 $ \varepsilon $，有 $ \nabla I(q^\varepsilon) = 0 $，从而通过度理论保证解的存在性。
• 该方法对势的 $ C^1 $-扰动具有鲁棒性，保持临界点存在性，从而保证解的存在性。