[论文解读] Orbital stability of standing waves of a class of fractional Schrodinger equations with a general Hartree-type integrand

Y. Cho, Mouhamed Moustapha Fall+3 more|arXiv (Cornell University)|Jul 21, 2013

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

一句话总结

本文建立了具有广义哈特ree型非线性的非线性分数阶薛定谔方程的驻波解的存在性、唯一性及轨道稳定性。通过集中紧致性方法与变分法，证明了全局适定性，并表明在非线性和势参数满足适当条件时，相关能量约束问题的极小化子具有轨道稳定性。

ABSTRACT

This article is concerned with the mathematical analysis of a class of a nonlinear fractional Schrodinger equations with a general Hartree-type integrand. We prove existence and uniqueness of global-in-time solutions to the associated Cauchy problem. Under suitable assumptions, we also prove the existence of standing waves using the method of concentration-compactness by studying the associated constrained minimization problem. Finally we show the orbital stability of standing waves which are the minimizers of the associate variational problem.

研究动机与目标

• 建立具有广义哈特ree型非线性的分数阶薛定谔方程柯西问题全局时间解的存在性与唯一性。
• 通过在能量空间 $ H^s(\mathbb{R}^N) $ 中求解约束极小化问题，研究驻波解的存在性。
• 证明作为相关变分问题极小化子的驻波解的轨道稳定性。
• 将先前关于玻色子星与无质量薛定谔方程的研究结果推广至更广泛的非线性类型与分数阶幂次。
• 分析极小化序列的正则性与紧致性性质，以确保其在扰动下的稳定性。

提出的方法

• 应用集中紧致性原理，分析与能量泛函相关的约束变分问题的极小化序列。
• 利用傅里叶变换定义分数阶拉普拉斯算子 $ (-\Delta)^s $，即 $ \mathcal{F}[(-\Delta)^s \phi](\xi) = |\xi|^{2s} \mathcal{F}[\phi](\xi) $，其中 $ 0 < s < 1 $。
• 通过 $ G(|\phi|) \star V(|x|) $ 建模非线性项，其中 $ V(|x|) = |x|^{\beta - N} $，且满足 $ \beta > 0 $，$ \beta > N - 2s $，$ G: \mathbb{R}^+ \to \mathbb{R}^+ $ 为可微函数且 $ G(0) = 0 $。
• 应用 Hardy-Littlewood-Sobolev 不等式与 Riesz 位势的正则性理论，建立解的局部 Hölder 连续性与 Hölder 可微性。
• 证明极小化序列在 $ H^s(\mathbb{R}^N) $ 中的相对紧致性，这对轨道稳定性至关重要。
• 利用柯西问题的能量与质量守恒律，支持驻波解的稳定性分析。

实验结果

研究问题

• RQ1 在何种条件下，具有哈特ree型非线性的分数阶薛定谔方程的柯西问题存在全局时间解？
• RQ2 在 $ G $ 与 $ \beta $ 的一般假设下，约束能量泛函的极小化子是否存在？它们是否具有径向对称且单调递减的性质？
• RQ3 当驻波解作为变分问题的极小化子出现时，能否建立其轨道稳定性？
• RQ4 势函数 $ V(|x|) = |x|^{\beta - N} $ 与非线性项 $ G $ 的正则性如何影响解的正则性与稳定性？
• RQ5 参数 $ s, \beta, N $ 以及 $ \mathcal{A}_0 $ 中的生长指数 $ \mu $ 的必要与充分条件是什么，以保证唯一性与稳定性？

主要发现

• 在 $ G $ 满足 $ \mathcal{A}_0 $ 条件且初始数据 $ \phi_0 \in H^s(\mathbb{R}^N) $ 时，柯西问题存在弱全局时间解 $ \phi \in L^\infty(\mathbb{R}; H^s(\mathbb{R}^N)) \cap W^{1,\infty}(\mathbb{R}; H^{-s}(\mathbb{R}^N)) $。
• 在 $ s, \beta, N $ 与 $ \mu $ 的特定条件下，解是唯一的，特别是当 $ \mu \in \left(\max\left(2, 1 + \frac{2\beta - N}{N - 2s}\right), 2 + \frac{N}{N - 2s} \cdot \frac{2s - 1 - 2N + 2\beta}{2s - 1 + N}\right) $ 时。
• 在给定的 $ G $、$ \beta $ 与 $ s $ 假设下，变分问题 $ \mathcal{I}^G_\lambda $ 的极小化子存在，且具有径向对称与单调递减性质。
• 作为在 $ L^2 $-范数约束下能量泛函极小化子的驻波解，在 $ H^s $ 范数扰动下保持在解轨道附近，因此具有轨道稳定性。
• 证明了势函数 $ V \star G(\phi) $ 局部属于 $ C^{0,\alpha}_{\text{loc}}(\mathbb{R}^N) $（当 $ \beta \leq 1 $ 时）与 $ C^{[\beta],\alpha}_{\text{loc}}(\mathbb{R}^N) $（当 $ \beta > 1 $ 时），确保非线性项具有足够正则性。
• 由非线性项的正则性传播，定态方程的解 $ u $ 局部属于 $ C^{0,\alpha}_{\text{loc}}(\mathbb{R}^N) $（当 $ \beta \leq 1 $ 时）与 $ C^{1,\alpha}_{\text{loc}}(\mathbb{R}^N) $（当 $ \beta > 1 $ 时）。