[论文解读] Solitary waves for Maxwell-Schrodinger equations

Giuseppe Maria Coclite, Vladimir Georgiev|arXiv (Cornell University)|Mar 12, 2003

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

一句话总结

该论文证明了在三维空间中，对于具有固定 $L^2$ 范数的麦克斯韦-薛定谔系统，径向孤立波解的存在性，证明了这些解是光滑的、在无穷远处快速衰减的，并且具有负特征值。第一个特征值是孤立的，且在邻域内解是唯一的，从而在中性条件 $N = z$ 下确认了类似孤立子的行为。分析基于变分方法和在约束泛函框架下应用隐函数定理。

ABSTRACT

In this paper we study the solitary waves for the coupled Schrödinger - Maxwell equations in three-dimensional space. We prove the existence of a sequence of radial solitary waves for these equations with a fixed $L^2$ norm. We study the asymptotic behavior and the smoothness of these solutions. We show also the fact that the eigenvalues are negative and the first one is isolated.

研究动机与目标

• 在 $\mathbb{R}^3$ 中建立具有固定 $L^2$ 范数的麦克斯韦-薛定谔系统径向孤立波解的存在性。
• 证明与这些解相关的特征值 $\omega$ 为负值，且第一个特征值是孤立的。
• 分析解的正则性与衰减性质，表明当 $N = z$ 时，解是光滑的且快速递减。
• 在第一个特征值的邻域内确认基态解的唯一性（隔离性）。
• 提供一个变分框架，通过约束最小化将强不定泛函转化为有下界的泛函。

提出的方法

• 在静电规范和洛伦兹规范下表述麦克斯韦-薛定谔系统，将其简化为一组耦合的椭圆型偏微分方程。
• 引入一个具有固定 $L^2$ 范数 $N$ 的约束变分问题，使用拉格朗日乘子 $\omega$ 来强制约束条件。
• 定义一个有下界的泛函 $J(u)$，其临界点对应于原系统的解。
• 应用帕莱斯-斯莫尔条件，以确保 $H^1(\mathbb{R}^3)$ 中极小化序列的收敛性。
• 利用隐函数定理与谱分析，证明第一个特征值 $\omega_0$ 的孤立性。
• 采用径向对称性与球谐函数技术分析正则性与衰减性，包括牛顿势表示法的应用。

实验结果

研究问题

• RQ1 在无外部势的情况下，麦克斯韦-薛定谔系统是否允许非平凡的孤立波解？
• RQ2 对于具有库仑型势 $V(|x|) = z/|x|$ 且固定 $L^2$ 范数 $N \leq z$ 的麦克斯韦-薛定谔系统，能否构造出径向孤立波解？
• RQ3 与这些孤立波相关的特征值 $\omega$ 的符号及其谱结构是什么？
• RQ4 解的正则性如何，其衰减速率如何，特别是在 $N = z$ 时？
• RQ5 基态解（第一个特征值）在径向解空间中是否是孤立的？

主要发现

• 在无外部势（$V \equiv 0$）的情况下，麦克斯韦-薛定谔系统仅允许平凡解 $u \equiv \phi \equiv 0$，从而排除了在无束缚势条件下存在孤立波的可能性。
• 存在一列径向孤立波解 $ (u_k, \phi_k, \omega_k) $，满足 $\omega_k \to 0^-$，其中 $u_k \in H^1(\mathbb{R}^3)$ 且 $\|u_k\|_{L^2}^2 = N \leq z$。
• 所有与非平凡径向解相关的特征值 $\omega$ 均严格为负，即 $\omega < 0$。
• 解 $u$ 和 $\phi$ 在 $[0,1]$ 上是光滑的，且当 $N = z$ 时，$u$ 在无穷远处快速衰减，属于施瓦茨类 $S(|x| > 1)$。
• 第一个特征值 $\omega_0$ 是孤立的：在 $H^1(\mathbb{R}^3) \times L^2(\mathbb{R}^3) \times \mathbb{R}$ 中存在一个邻域，其中不存在其他具有相同 $L^2$ 范数和径向对称性的解。
• 对应于最小值的约束泛函 $J|_{B'}$ 的临界点是孤立的，这意味着在邻域内基态解是唯一的。