[论文解读] Group classification of nonlinear Schrödinger equations

A. G. Nikitin, Roman O. Popovych|ArXiv.org|Jan 9, 2003

Nonlinear Waves and Solitons参考文献 6被引用 17

一句话总结

本文提出了一种针对形如 $i\psi_t + \Delta\psi + F(\psi, \psi^*) = 0$ 的非线性薛定谔方程的群分类新方法，通过分析分类系统关于任意元素 $F$ 的相容性。该方法实现了对所有具有非平凡对称代数的方程的完整分类，得到15种不同的情形，包括已知的可积模型和新发现的模型，且系统地推导出相应的对称代数和等价变换。

ABSTRACT

The authors suggest a new powerful tool for solving group classification problems, that is applied to obtaining the complete group classification in the class of nonlinear Schrödinger equations of the form $iψ_t+Δψ+F(ψ,ψ^*)=0$.

研究动机与目标

• 开发一种新的、系统化的方法，用于求解偏微分方程中的群分类问题，特别是针对具有任意非线性项 $F(\psi, \psi^*)$ 的非线性薛定谔方程。
• 克服传统直接积分定义方程方法的局限性，该方法计算量大，且在复杂情形下往往难以求解。
• 实现对所有不等价的非线性薛定谔方程的完整且穷尽的分类，这些方程具有非平凡的李对称代数。
• 确定该类的最大对称代数的核代数以及该类的等价群，为对称约化和可积性分析提供基础。
• 识别并分类所有可能的核代数扩展，包括由 $F$ 的特定形式引发的非平凡对称代数。

提出的方法

• 提出一种基于分类系统关于任意元素 $F$ 的相容性分析的新方法，避免繁琐的逐案积分。
• 通过将无穷小不变性准则应用于方程及其共轭式，推导出李对称生成元 $Q = \xi^0 \partial_t + \xi^a \partial_a + \eta \partial_\psi + \eta^* \partial_{\psi^*}$ 的定义方程。
• 积分定义方程 (2)，将系数 $\xi^0$、$\xi^a$、$\eta$ 和 $\eta^*$ 表示为任意函数和常数的函数，揭示核代数的结构。
• 利用分类条件 (3) — $\eta F_\psi + \eta^* F_{\psi^*} + (\xi^0_t - \eta_\psi)F + i\eta_t + \eta_{aa} = 0$ — 确定 $F$ 在存在非平凡对称性时的约束。
• 通过变量分离并引入复组合 $\tilde{c}_j$、$\tilde{d}_j$、$\tilde{e}_j$，将问题简化为关于 $F$、$F_\psi$、$F_{\psi^*}$ 的线性系统求解。
• 应用扩展等价群 $G^{\rm equiv}$ 中的等价变换，包括缩放、平移和相位移动，将方程约化为标准形式，并对不等价情形进行分类。

实验结果

研究问题

• RQ1 哪些不等价的非线性薛定谔方程 $i\psi_t + \Delta\psi + F(\psi, \psi^*) = 0$ 具有非平凡的李对称代数？
• RQ2 如何在不依赖于定义方程的详尽情形分析的前提下，系统地求解群分类问题？
• RQ3 作用于任意元素 $F$ 的等价群 $G^{\rm equiv}$ 的结构是什么？它如何实现方程到标准形式的约化？
• RQ4 哪些 $F$ 的特定形式会导致核代数 $A^{\rm ker} = e(1) \oplus e(n)$ 的扩展？相应的对称代数是什么？
• RQ5 在该类中是否存在先前的标准分类方法所遗漏的新可积或物理相关的方程？

主要发现

• 该类最大对称代数的核为 $A^{\rm ker} = e(1) \oplus e(n)$，由 $\partial_t$、$\partial_a$ 和 $J_{ab} = x_a \partial_b - x_b \partial_a$ 生成，分别对应时间平移、空间平移和旋转。
• 等价群 $G^{\rm equiv}$ 由10个向量场生成，包括缩放、平移、相位移动和规范变换，其显式变换为 $\tilde{t} = \delta^2 t$、$\tilde{x} = \delta x$、$\tilde{\psi} = \alpha \psi + \beta$、$\tilde{F} = \delta^{-2} \alpha F$。
• 完整分类得到15种具有非平凡对称代数的非线性薛定谔方程的不等价情形，包括已知情形如 $F = \sigma |\psi|^2 \psi$ 和 $F = \sigma \ln|\psi| \, \psi$，以及新发现的情形。
• 最大对称代数仅在 $F$ 的特定形式下扩展核代数，例如 $F = \gamma \psi + \delta \psi^* + \varepsilon$（情形2.5）、$F = \gamma |\psi|^2 \psi$（情形2.3）和 $F = \gamma \psi \ln|\psi|$（情形2.4），具体取决于参数。
• 该分类结果确认并改进了文献[4]中的早期结果，消除了歧义，并完整列出了具有非平凡对称性的不等价方程。
• 该方法通过将问题约化为关于 $F$、$F_\psi$、$F_{\psi^*}$ 的线性系统，成功识别出分类系统的全部解，并证明：若满足三个独立方程，则 $F$ 必须是 $\psi$、$\psi^*$ 的线性函数。