Stability and instability of the quasilinear Gross--Pitaevskii dark solitons

技术摘要：拟线性 Gross–Pitaevskii 暗孤子的稳定性与不稳定性

问题陈述
本研究考察了一维拟线性薛定谔方程在无穷远处非零边界条件下行波解（暗孤子）的轨道稳定性。所考虑的方程为：
$$i\partial_t\Psi + \partial_{xx}\Psi + \Psi(1 -|\Psi|^2) + \kappa\Psi\partial_{xx}(1 -|\Psi|^2) = 0,$$
其中 $\kappa \in \mathbb{R}$ 是控制拟线性项强度的参数。当 $\kappa = 0$ 时，该方程退化为标准的 Gross–Pitaevskii (GP) 方程，这是非线性光学和量子流体动力学中广泛使用的模型。先前的研究已建立了以传播速度 $c \in (0, \sqrt{2})$ 为索引的暗孤子解连续分支。虽然这些孤子在半线性情形（$\kappa=0$）下的稳定性已通过 Vakhitov–Kolokolov (VK) 判据得到充分理解，但拟线性项（$\kappa \neq 0$）对稳定性的影响仍有待严格分析。具体而言，本文探讨了将稳定性与动量关于波速的单调性相关联的 VK 稳定性判据，是否可推广至该拟线性情形。

方法论
分析过程利用 Madelung 变换 $\Psi = \sqrt{1-\eta}e^{i\theta}$ 将复值薛定谔方程转化为流体动力学系统，其中 $\eta$ 代表密度偏差，$v = \partial_x \theta$ 代表速度。这导出了一个形式上等价于 Euler–Korteweg 系统的方程组。

核心方法论依赖于 Grillakis、Shatah 和 Strauss (GSS) 发展的抽象哈密顿框架，以及 Z. Lin 针对非零边界条件方程对该框架的后续推广。该方法涉及：

1. 哈密顿表述：将流体动力学系统表述为 $\partial_t(\eta, v) = J E'(\eta, v)$，其中 $E$ 是能量泛函，$P$ 是动量。行波解被识别为作用量泛函 $E - cP$ 的临界点。
2. 谱分析：对围绕暗孤子解线性化的 Hessian 算子 $H_c = E'' - cP''$ 进行详细的谱分析。作者验证了 GSS 稳定性定理所要求的三个关键假设：
   • 初始值问题在适当的 Sobolev 空间（$H^s \times H^{s-1}$，其中 $s > 2.5$）中的局部适定性。
   • 束缚态（暗孤子）分支的存在性与光滑性。
   • Hessian 的谱分解，特别是确定负特征值的数量及核的结构。
3. Lin 论证的适配：由于该流体动力学设定中的辛算子 $J$ 不是满射（这是阻碍直接在原 GSS 框架中应用不稳定性逆定理的技术障碍），作者适配了 Lin 用于构造能量递减方向的方案。这使得在违反 VK 判据时能够严格证明不稳定性。
4. 度量等价性：本文建立了孤子邻域内“流体动力学距离”（$d_{hy}$）与“自然能量距离”（$d_X$）之间的等价性，确保在流体动力学变量中导出的稳定性结果可转化回原始能量空间。

主要贡献与结果
主要贡献是对拟线性 Gross–Pitaevskii 方程的 VK 稳定性判据进行了严格论证。主要结果如下：

• VK 判据的推广：本文证明了暗孤子 $u_{c,\kappa}$ 的轨道稳定性由动量 $P$ 关于速度 $c$ 的导数符号决定。具体而言：
  • 若 $\frac{dP}{dc} < 0$，则孤子是轨道稳定的。
  • 若 $\frac{dP}{dc} > 0$（并假设不发生有限时间爆破），则孤子是轨道不稳定的。
• 基于 $\kappa$ 的稳定性机制：通过分析动量对 $c$ 和 $\kappa$ 的显式依赖，作者推导出了两种截然不同的稳定性机制：
  1. 弱拟线性相互作用（$\kappa \geq \kappa_0$）：对于 $\kappa$ 在 $[\kappa_0, 1/2)$ 范围内（其中 $\kappa_0 \approx -3.636$），整个暗孤子分支（$c \in (0, \sqrt{2})$）是轨道稳定的。这恢复了标准 Gross–Pitaevskii 方程（$\kappa=0$）的稳定性行为。
  2. 强拟线性相互作用（$\kappa < \kappa_0$）：对于足够负的 $\kappa$，动量 - 速度曲线会出现尖点。在此机制下，存在一个临界速度 $\tilde{c}_\kappa$，使得：
     • 慢波（$c < \tilde{c}_\kappa$）是轨道不稳定的。
     • 快波（$c > \tilde{c}_\kappa$）是轨道稳定的。
• 谱性质：该工作提供了线性化算子 $L_c$ 的详细谱分析，确认了恰好存在一个负特征值，并刻画了连续谱，这是应用抽象稳定性定理所必需的。

意义与主张
本文声称将孤子稳定性的理论理解从半线性色散方程推广到了具有非零边界条件的拟线性色散方程。通过推广 Lin 的论证，作者证明了即使存在拟线性项，只要相互作用强度不过大，VK 判据仍然是稳定性的稳健预测器。

其意义在于识别了由参数 $\kappa$ 驱动的稳定性行为转变。强拟线性相互作用下能量 - 动量图中“尖点”的存在意味着，虽然快波保持稳定，但引入强非局域效应会使慢速运动的暗孤子失稳。这与整个分支均稳定的半线性情形形成对比。作者指出，其不稳定性证明基于全局存在性（无爆破）的假设，这一条件与该类方程已有的局部适定性结果一致。该工作并未提出新的实验应用，而是为理解这些特定流体动力学模型的稳定性性质提供了严格的数学基础。