[论文解读] On a fractional magnetic Schrödinger equation in $\mathbb{R}$ with exponential critical growth

Vincenzo Ambrosio|arXiv (Cornell University)|Oct 9, 2018

Nonlinear Partial Differential Equations参考文献 43被引用 4

一句话总结

本论文建立了在 ℝ 上具有指数临界增长的分数阶磁 Schrödinger 方程非平凡弱解的存在性、多重性及集中性。在势能的局部条件下，结合惩罚方法与 Ljusternik-Schnirelmann 亚纯类理论，证明了解的数量至少与势阱的亚纯类数相同，且当参数 ε → 0⁺ 时，解在势能最小点附近集中。

ABSTRACT

We deal with a class of fractional magnetic Schrödinger equations in the whole line with exponential critical growth. Under a local condition on the potential, we use penalization methods and Ljusternik-Schnirelmann category theory to investigate the existence, multiplicity and concentration of nontrivial weak solutions.

研究动机与目标

• 研究一维分数阶磁 Schrödinger 方程在指数临界非线性下非平凡弱解的存在性与多重性。
• 分析当参数 ε 趋近于零时解的集中行为，特别是其在势能最小点附近的集中特性。
• 将变分方法拓展至一维分数阶磁设置，其中标准 Sobolev 嵌入不包含 L∞，因此需控制指数增长。
• 为使用分数阶磁 Laplace 算子 (−Δ)₁/₂ᴬ（s = 1/2）研究 ℝ 上的临界增长问题建立一个框架。
• 首次在 N = 1 且 s = 1/2 的情况下，对具有指数临界增长的分数阶磁 Schrödinger 方程提供贡献，填补了文献中的空白。

提出的方法

• 采用惩罚技术以克服无界区域 ℝ 上变分框架中缺乏紧致性的缺陷。
• 应用 Ljusternik-Schnirelmann 亚纯类理论，基于势阱 M 的拓扑结构建立解的多重性。
• 利用分数阶 Moser-Trudinger 不等式（Ozawa 型）控制非线性项 f 的指数增长，确保能量泛函的有界性。
• 定义与分数阶磁 Laplace 算子 (−Δ)₁/₂ᴬ 及势能 V(x) 相关的合适能量泛函，其中非线性项 f(|u|²)u 满足临界增长条件。
• 通过与满足 (−Δ)¹/²w + (V₀/2)w ≥ 0 的上解 w 比较，证明解的衰减估计，得到 O(1/|x|²) 的逐点界。
• 通过尺度变换与衰减控制，证明 |ûₙ| 的最大值点收敛至 M 中满足 V(y₀) = V₀ 的点 y₀，从而实现集中性。

实验结果

研究问题

• RQ1 在何种条件下，ℝ 上具有指数临界增长的分数阶磁 Schrödinger 方程存在非平凡弱解？
• RQ2 存在多少解？其数量能否与势阱 M 的拓扑结构相关联？
• RQ3 当参数 ε → 0⁺ 时，解的行为如何，特别是其在势能最小点附近的集中特性？
• RQ4 变分方法能否被调整以处理一维分数阶磁设置下的指数临界增长？
• RQ5 分数阶 Moser-Trudinger 不等式在控制非线性项及确保 Palais-Smale 序列有界性方面起到何种作用？

主要发现

• 当 ε > 0 足够小时，方程至少存在 cat(M) ≥ 1 个非平凡弱解，其中 cat(M) 表示势能 V 的最小点集 M 的 Ljusternik-Schnirelmann 亚纯类数。
• 当 ε → 0⁺ 时，解在势能 V 的最小点附近集中，且 |ûₙ| 的最大值点 ηₙ 满足 limₙ→∞ V(ηₙ) = V₀。
• 解满足逐点衰减估计：存在 C > 0，使得 |ûₙ|(x) ≤ Cεₙ² / (εₙ² + |x − ηₙ|²)，表明解在集中点附近具有局域化行为。
• 非线性项 f 满足临界指数增长：当 t → ∞ 时，f(t) 的增长类似于 e^{α₀t}，并依据 limₜ→∞ f(t)√t / e^{αt} = 0 或 ∞ 定义亚临界与超临界阈值。
• 在 V 的局部条件（V₁–V₂）及 f 的一组结构假设（f₁–f₆）下，解的存在性得以保证，包括山路几何结构与强 Ambrosetti-Rabinowitz 型条件。
• 证明依赖于与上解 w 的比较所导出的精细衰减估计，从而对尺度化后的解获得一致的 O(1/|x|²) 有界性。