[论文解读] Solitary waves with intensity-dependent dispersion: variational characterization

Dmitry E. Pelinovsky, Ryan M. Ross+1 more|arXiv (Cornell University)|Jun 9, 2021

Advanced Mathematical Physics Problems参考文献 20被引用 6

一句话总结

本文针对具有强度依赖色散（IDD）的非线性薛定谔方程中的奇异孤立波，提出了变分表征，表明在保持波头长度不变的扰动下，这些波是稳定的。通过在固定能量和固定波头长度 $ L $ 下最小化质量，作者证明了对应于孤立波族缩放版本的基态的存在性，利用约束最小化方法建立了李雅普诺夫稳定性，并通过数值验证予以确认。

ABSTRACT

A continuous family of singular solitary waves exists in a prototypical system with intensity-dependent dispersion. The family has a cusped soliton as the limiting lowest energy state and is formed by the solitary waves with bell-shaped heads of different lengths. We show that this family can be obtained variationally by minimization of mass at fixed energy and fixed length of the bell-shaped head. We develop a weak formulation for the singular solitary waves and prove that they are stable under perturbations which do not change the length of the bell-shaped head. Numerical simulations confirm the stability of the singular solitary waves.

研究动机与目标

• 为具有强度依赖色散（IDD）的非线性薛定谔方程中的奇异孤立波建立变分框架，这些孤立波缺乏标准光滑性。
• 解决在 $|u| = 1$ 处具有奇点的孤立波的李雅普诺夫稳定性问题，这些波不适用于经典变分方法。
• 提出一种弱形式，将钟形波头的固定长度 $ L $ 作为约束，从而实现在保持该长度的扰动下进行稳定性分析。
• 证明在固定能量和固定波头长度 $ L $ 下，质量最小化的孤立波解是全局最小值，从而确立其稳定性。
• 通过保持奇点位置不变的扰动下的时间演化直接数值模拟，验证理论稳定性结果。

提出的方法

• 引入孤立波解的新弱形式（定义2），在空间 $ X_L $ 中定义解，其中波头长度 $ L $ 固定，满足当 $ |x| < L $ 时 $ u(x) > 1 $。
• 制定约束变分问题：在空间 $ X_L $ 内，于固定能量 $ E(u) = \mu $ 和固定波头长度 $ L $ 的条件下，最小化质量 $ Q(u) $。
• 使用泛函 $ \Lambda_\omega(u) = Q(u) + \omega^{-1}E(u) $，其临界点对应于平稳方程（4）的解，并证明最小值点为基态。
• 利用 $ C \mapsto \ell_C $ 和 $ C \mapsto E(u_C) $ 的单调性、尺度变换方法以及二阶变分的凸性，证明最小值点的存在性与唯一性。
• 采用伪谱方法结合四阶龙格-库塔时间积分进行直接数值模拟，研究受扰动孤立波的时间演化行为。
• 追踪波头（内区）与尾部（外区）之间的能量交换，并监测峰值振幅以评估弛豫与稳定性行为。

实验结果

研究问题

• RQ1 尽管缺乏经典光滑性，是否仍可对IDD-NLS方程中的奇异孤立波进行变分表征？
• RQ2 在不改变钟形波头长度的扰动下，这些奇异孤立波的李雅普诺夫稳定性是否得以保持？
• RQ3 在固定能量和固定波头长度 $ L $ 下最小化质量，是否能唯一地得到一个对应于物理孤立波解的基态？
• RQ4 数值模拟如何反映理论稳定性预测，特别是能量再分配与振幅弛豫方面？
• RQ5 受扰动孤立波的长期行为如何——它们是否弛豫至同一族中的新孤立波？

主要发现

• 对每个 $ \omega > 0 $，存在一个连续的奇异孤立波族，其中尖点孤立波（$ C \to -\infty $）为最低能量态。
• 孤立波解被表征为在固定能量 $ E(u) = \mu $ 和固定波头长度 $ L $ 下质量 $ Q(u) $ 的最小化解，证明了在 $ X_L $ 中基态的存在性。
• 约束变分问题（16）的最小值点与定理1中孤立波 $ u_C $ 的某个 $ C = C_{\mu,L} $ 的缩放版本完全一致。
• 数值模拟证实了李雅普诺夫稳定性：保持波头长度 $ L $ 的扰动导致孤立波缓慢弛豫至同一族中的新孤立波，且波头与尾部间能量交换极小。
• 峰值振幅表现出缓慢的幂律式衰减，向新平衡态弛豫，且内区与外区之间的能量交换微弱，与稳定性一致。
• 由于对 $ \psi_{xx} $ 的数值近似，奇点位置 $ x = \pm L $ 在模拟中得以保持，此时当 $ |\psi| = 1 $ 时，项 $ (1 - |\psi|^2)\psi_{xx} $ 被设为零。