[论文解读] Ground states for fractional magnetic operators

Pietro d’Avenia, Marco Squassina|arXiv (Cornell University)|Jan 16, 2016

Nonlinear Partial Differential Equations参考文献 12被引用 21

一句话总结

本文通过非局部积分微分形式定义了一个含磁势 $ A $ 的分数阶磁算子，推广了分数阶拉普拉斯算子以包含磁效应。利用集中紧致性原理和双曲不等式，证明了在适当条件下极小化元的存在性，并刻画了其结构，表明解的相位不可能为常数，除非磁场均几乎处处为零。

ABSTRACT

We study a class of minimization problems for a nonlocal operator involving an external magnetic potential. The notions are physically justified and consistent with the case of absence of magnetic fields. Existence of solutions is obtained via concentration compactness.

研究动机与目标

• 为非局部薛定谔型方程中的分数阶磁算子建立数学上严格的框架。
• 研究含磁势 $ A $ 的非局部能量泛函极小化元的存在性，推广分数阶拉普拉斯算子。
• 刻画磁场均影响下的基态解结构，特别关注相位行为与对称性。
• 通过能量比较的非存在性结果，证明解的相位不可能为常数，除非磁场均平凡。

提出的方法

• 通过相位因子中点取值法，利用含磁势 $ A $ 的奇异积分定义分数阶磁算子 $ (-\Delta)^s_A $。
• 将能量泛函的 $ H^s $-半范数与 $ L^p $-范数约束相结合，建立极小化问题 $ \mathscr{M}_A^c $。
• 应用集中紧致性原理，证明在次临界与临界情形下极小化元的存在性。
• 利用双曲不等式比较磁能与非磁能，证明 $ [u]_{s,A}^2 \geq [|u|]_{s,0}^2 $，等号成立仅在特定条件下。
• 引入泛函 $ \Upsilon_u^A(x,y) $ 以量化磁相位引起的能量差异，从而建立非存在性判据。
• 证明：若 $ \Upsilon_u^A > 0 $ 在正测度集上成立，则 $ u $ 不可能是极小化元，从而在非平凡磁场下不存在常相位解。

实验结果

研究问题

• RQ1 分数阶磁算子 $ (-\Delta)^s_A $ 在何种条件下允许基态解存在？
• RQ2 磁势 $ A $ 的存在如何影响非局部能量泛函极小化元的存在性与结构？
• RQ3 当 $ A \not\equiv 0 $ 时，是否存在常相位解？何种条件会阻止此类解的存在？
• RQ4 双曲不等式在比较磁能与非磁能泛函中的作用是什么？
• RQ5 能量差 $ [u]_{s,A}^2 - [|u|]_{s,0}^2 $ 如何反映磁场均对解结构的影响？

主要发现

• 在 $ \mathbb{R}^3 $ 中，对 $ 2 < p < 6/(3-2s) $，分数阶磁薛定谔方程 $ (-\Delta)^s_A u + u = |u|^{p-2}u $ 的基态解存在，且在 $ A $ 的正则性假设较弱时成立。
• 能量泛函 $ \mathscr{M}_A^c $ 的下确界满足 $ \mathscr{M}_A^c \leq \mathscr{M}_0^c $，等号成立当且仅当 $ A \equiv 0 $，这是由于双曲估计中严格不等式成立，除非 $ u $ 为实值且非负。
• 在 $ \mathscr{M}_A^c $ 中的解必须具有相位因子 $ e^{i\vartheta_A(x)} $，其径向结构为 $ u(x) = d_s \left( \frac{\varepsilon}{\varepsilon^2 + |x-z|^2} \right)^{\frac{3-2s}{2}} e^{i\vartheta_A(x)} $，推广了非磁基态的轮廓。
• 证明了常相位解的非存在性：若在正测度集上 $ (x-y)\cdot A((x+y)/2) \not\equiv k\pi $，则不存在形如 $ u = e^{i\vartheta}v $ 的解，其中 $ v \in D^s_A(\mathbb{R}^3, \mathbb{R}) $ 且 $ v \geq 0 $。
• 能量差 $ [u]_{s,A}^2 - [|u|]_{s,0}^2 $ 可表示为 $ \Upsilon_u^A(x,y) $ 的积分，若磁场非平凡且相位为常数，则该积分在正测度集上几乎处处为正。
• 临界情形 $ p = 6/(3-2s) $ 通过集中紧致性处理，证明在相同结构约束下极小化元存在。