[论文解读] Existence and symmetric result for Liouville-Weyl fractional nonlinear Schrödinger equation

César E. Torres Ledesma|arXiv (Cornell University)|Dec 4, 2014

Advanced Mathematical Physics Problems参考文献 22被引用 3

一句话总结

本文通过变分法和对称递减重排技术，证明了一维分数阶非线性薛定谔方程在混合 Liouville-Weyl 分数阶导数下正解的存在性。关键贡献在于，在比以往要求更弱的势能假设下，证明了基态解是径向对称且正定的，从而将存在性结果扩展至非强制势能的情形。

ABSTRACT

We study the existence of positive solution for the one dimensional Schrödinger equation with mixed Lioville-Weyl fractional derivatives \begin{eqnarray*}\label{Eq00} _{t}D_{\infty}^α({_{-\infty}}D_{t}^αu(t)) + V(t) u(t) = & f(u(t)),\;\;t\in \mathbb{R}\\ u\in H^α(\mathbb{R}). onumber \end{eqnarray*} Furthermore, we analyse radial symmetry property of these solutions. The proof is carried out by using variational methods jointly with comparison and rearrangement argument.

研究动机与目标

• 建立涉及左右分数阶导数混合项的一维薛定谔方程正解的存在性。
• 利用重排技术分析这些解的径向对称性质。
• 弱化以往分数阶边值问题研究中通常所需的势能 $ V(t) $ 的强制性假设。
• 在分数阶 Sobolev 空间框架下，将临界点理论应用于具有非局部算子的方程。
• 通过构造合适的能量泛函并验证紧性条件，将变分法推广至具有混合导数的分数阶方程。

提出的方法

• 在分数阶 Sobolev 空间 $ H^\tau(\mathbb{R}) $ 中建立问题的变分框架，其中 $ \alpha \in (1/2,1) $。
• 通过涉及分数阶导数内积与势能项的变分公式定义弱解。
• 通过验证能量泛函 $ I(u) $ 的几何条件，应用山路定理，确保存在临界水平 $ c > 0 $。
• 利用函数 $ u $ 的对称递减重排 $ u^* $ 比较能量水平，并证明极小化子的对称性。
• 应用分数阶 Pólya-Szegö 不等式，证明 $ I(u^*) \leq I(u) $，即重排后能量保持不变或降低。
• 结合 $ H^\alpha(\mathbb{R}) $ 上重排映射的连续性与集中紧致性原理，提取出对称的临界点。

实验结果

研究问题

• RQ1 在何种条件下，具有混合 Liouville-Weyl 分数阶导数的分数阶薛定谔方程在 $ H^\alpha(\mathbb{R}) $ 中存在正解？
• RQ2 能否在不假设势能 $ V(t) $ 强制性的情况下，建立基态解的存在性？
• RQ3 在 $ f $ 和 $ V $ 满足适当假设时，基态解是否关于原点径向对称且递减？
• RQ4 对称递减重排在分数阶薛定谔方程的背景下如何影响能量泛函？
• RQ5 何种变分框架使得临界点理论可应用于具有非局部混合导数的方程？

主要发现

• 能量泛函 $ I(u) $ 满足山路几何条件，确保存在临界水平 $ c > 0 $，对应非平凡解。
• 在假设 $ (f_0) $--$ (f_3) $、$ (V_1) $ 和 $ (V_3) $ 下，函数序列 $ u_n $ 在 $ H^\alpha(\mathbb{R}) $ 中强收敛于解 $ u $，满足 $ I(u) = c $ 且 $ I'(u) = 0 $。
• 任意解的对称递减重排 $ u^* $ 满足 $ I(u^*) \leq I(u) $，且等式成立当且仅当 $ u $ 本身已对称。
• 基态解 $ u $ 是径向对称且递减的，即 $ u(x) = u^*(x) $，且 $ u^* $ 是在相同 $ L^2 $-范数下使 $ I $ 最小化的函数。
• 证明依赖于 Theorem 5.1 所建立的 $ H^\alpha(\mathbb{R}) $ 上重排映射的连续性，确保重排路径的收敛性。
• 本结果在 $ V(t) $ 的假设条件上弱于以往工作（如文献 [22]）所采用的强制性条件，从而扩大了变分法在分数阶薛定谔方程中的适用范围。