[论文解读] Multi-vortex traveling waves for the Gross-Pitaevskii equation and the Adler-Moser polynomials

Yong Liu, Juncheng Wei|arXiv (Cornell University)|Apr 26, 2018

Nonlinear Waves and Solitons参考文献 21被引用 10

一句话总结

该论文通过拼接 N(N+1)/2 对 ±1 度数的涡旋，构造了小速度 ε 下 Gross-Pitaevskii 方程的多涡旋行波解，其位置由 Adler-Moser 多项式的根确定。该构造在 N ≤ 34 时成立（数值验证基于根的单重性），并在假设 Adler-Moser 多项式无重根的前提下可推广至 N > 34，该假设被推测对所有 N 成立。

ABSTRACT

For $N\leq34,$ we construct traveling waves with small speed for the Gross-Pitaevskii equation, by gluing $N(N+1)/2$ pairs of degree $\pm1$ vortices of the Ginzburg-Landau equation. The location of these vortices is symmetric in the plane and determined by the Adler-Moser polynomials, which has its origin in the study of Calogero-Moser system and rational solutions of the KdV equation. The construction still works for $N>34$, under the additional assumption that the corresponding Adler-Moser polynomial has no repeated root. It is expected that this assumption holds for any $N\in\mathbb{N}$.

研究动机与目标

• 为小速度 ε 的 Gross-Pitaevskii 方程构造多涡旋行波解。
• 通过拼接 N(N+1)/2 对 ±1 度数涡旋，建立此类解的存在性。
• 证明涡旋位置由 Adler-Moser 多项式的根决定，这些根源自 Calogero-Moser 系统和有理 KdV 解。
• 在 Adler-Moser 多项式无重根的假设下，将构造推广至 N > 34。
• 利用 Darboux 变换和对称结构证明涡旋构型的非退化性。

提出的方法

• 使用有限维 Lyapunov-Schmidt 降维方法，将存在性问题转化为对对称涡旋构型非退化性的验证。
• 采用 Adler-Moser 多项式 An 确定涡旋的位置 pk 和 qk = −p̄k。
• 应用带加权范数 ∥⋅∥∗ 和 ∥⋅∥∗∗ 的线性理论，以控制无穷远处的误差和解的衰减。
• 对扰动 η 施加对称性和正交性条件，以消除来自 ∂xu 和 ∂yu 的核方向。
• 利用压缩映射原理求解涡旋位置的非线性系统，依赖于利普希茨连续性和小误差项。
• 依赖于 Adler-Moser 多项式根的非退化性以及 Darboux 变换方法，以确保可解性。

实验结果

研究问题

• RQ1 能否通过涡旋拼接方法，为小速度 ε > 0 的 Gross-Pitaevskii 方程构造多涡旋行波解？
• RQ2 Adler-Moser 多项式的根是否能提供一种对称的环状构型，以支持 GP 方程中稳定涡旋排列的存在？
• RQ3 该构造是否可推广至 N > 34？其推广需要哪些假设？
• RQ4 涡旋构型的非退化性与 Adler-Moser 多项式的代数性质有何关联？
• RQ5 Lyapunov-Schmidt 降维方法能否被调整以处理小 ε 下具有非紧性和奇点特性的涡旋问题？

主要发现

• 对每个 N ≤ 34，存在 ε₀ > 0，使得对所有 ε ∈ (0, ε₀)，行波方程存在解 Uε，其包含 N(N+1)/2 对 ±1 度数涡旋。
• 涡旋位置 pk 是 Adler-Moser 多项式 An（其中 n = N(N+1)/2）的根，且 qk = −p̄k，形成对称的环状结构。
• 只要 Adler-Moser 多项式 An 无重根，该构造在 N > 34 时依然有效，该条件被推测对所有 N ∈ ℕ 成立。
• 近似解的误差被控制在 O(ε¹⁻σ) 阶，解通过投影出核模后使用压缩映射得到。
• 涡旋构型的非退化性由 Adler-Moser 多项式的代数结构及 Darboux 变换方法保证。
• 解满足 ∥η∥∗ ≤ C|ln ε|∥h∥∗∗，确认了在加权范数框架下投影线性问题的可解性。