[论文解读] Instability of degenerate solitons for nonlinear Schr\"odinger equations with derivative

Noriyoshi Fukaya, Masayuki Hayashi|arXiv (Cornell University)|Feb 25, 2021

Advanced Mathematical Physics Problems参考文献 44被引用 3

一句话总结

本文通过基于扰动与标度生成元的 $L^2$-内积的李雅普诺夫型泛函，证明了在具有导数项和五次非线性项的非线性薛定谔方程中，退化孤立子的不稳定性。关键结果为：当 $b > 0$ 时，大量靠近退化孤立子的初始数据会导致有限时间内爆破，从而将广义 KdV 方程的不稳定性理论扩展至该非可积、$L^2$-临界薛定谔模型。

ABSTRACT

We consider the following nonlinear Schr\"{o}dinger equation with derivative: \begin{equation} iu_t =-u_{xx} -i |u|^{2}u_x -b|u|^4u , \quad (t,x) \in \mathbb{R} imes\mathbb{R}, \ b \in\mathbb{R}. \end{equation} If $b=0$, this equation is a gauge equivalent form of the well-known derivative nonlinear Schr\"{o}dinger (DNLS) equation. The soliton profile of DNLS satisfies a certain double power elliptic equation with cubic-quintic nonlinearities. The quintic nonlinearity in our equation only affects the coefficient in front of the quintic term in the elliptic equation, so in this sense the additional nonlinearity is natural as a perturbation preserving soliton profiles of DNLS. When $b\ge 0$, the equation has degenerate solitons whose momentum and energy are zero, and if $b=0$, they are algebraic solitons. Inspired from the works on instability theory of the $L^2$-critical generalized KdV equation, we study the instability of degenerate solitons in a qualitative way, and when $b>0$, we obtain a large set of initial data yielding the instability. The arguments except one step in our proof work for the case $b=0$ in exactly the same way, which is a small step towards understanding the dynamics around algebraic solitons of the DNLS equation.

研究动机与目标

• . 本文旨在理解具有导数项和五次非线性项的 $L^2$-临界非线性薛定谔方程中，退化孤立子附近的动力学行为。
• . 本文解决导数 NLS（DNLS）方程中代数孤立子的稳定性/不稳定性这一开放问题。
• . 本文目标是通过受广义 KdV 方程不稳定性理论启发的定性方法，证明当 $b \geq 0$ 时（特别是 $b > 0$ 时）该方程中退化孤立子的不稳定性。
• . 本文旨在识别出导致不稳定性和有限时间爆破的一类大范围初始数据。
• . 本文通过分析受扰动的 DNLS 模型，阐明了可积与不可积 $L^2$-临界动力学之间的差异。

提出的方法

• . 作者使用基于 $L^2$-内积 $ (\varepsilon(s), i\Lambda\varphi)_{L^2} $ 的李雅普诺夫泛函，其中 $ \varepsilon $ 为相对于孤立子的扰动，$ \Lambda $ 生成标度变换。
• . 通过在移动参考系中分析扰动的时间演化，结合方程的守恒量和线性化算子的结构，推导出该泛函的微分不等式。
• . 证明依赖于反证法：假设全局存在且扰动足够小，将导致矛盾，因为李雅普诺夫泛函无界增长，而其值却一致有界。
• . 该方法借鉴了 $L^2$-临界广义 KdV 方程不稳定性理论中的技术，特别是将泛函 $ J(s) = \int \varepsilon(s) \int_{-\infty}^y \Lambda Q \, dy $ 推广至薛定谔方程设定。
• . 关键步骤在于：在初始数据足够小的假设下，证明李雅普诺夫泛函的时间导数下界为初始 $L^2$-质量的正倍数。
• . 分析中通过时间变量 $ s $ 的重标度来简化动力学，并控制扰动参数 $ \lambda(s) $ 和 $ x(s) $ 的演化。

实验结果

研究问题

• RQ1 . 在添加了五次非线性项 ($b > 0$) 的导数 NLS 方程中，退化孤立子在 $H^1$ 范数下小扰动下是否表现出不稳定性？
• RQ2 . 在具有导数项和五次非线性项的 $L^2$-临界非线性薛定谔方程中，大量初始数据靠近退化孤立子是否会导致有限时间爆破？
• RQ3 . 该不可积、$L^2$-临界薛定谔方程的不稳定性机制与广为人知的 $L^2$-临界广义 KdV 方程的不稳定性机制相比如何？
• RQ4 . 泛函 $ (\varepsilon, i\Lambda\varphi)_{L^2} $ 在证明不稳定性中的作用是什么？它如何作为李雅普诺夫泛函发挥作用？
• RQ5 . 尽管在 $b = 0$ 时（即 DNLS 的代数孤立子）不存在爆破的质量阈值，该方法是否仍能证明其不稳定性？

主要发现

• . 本文证明了方程 $ iu_t = -u_{xx} - i|u|^2 u_x - b|u|^4 u $ 的退化孤立子在 $ b \geq 0 $ 时不稳定，且存在一大类初始数据会导致有限时间爆破。
• . 不稳定性通过反证法借助李雅普诺夫泛函 $ (\varepsilon(s), i\Lambda\varphi)_{L^2} $ 建立，该泛函在全局存在假设下随时间无界增长。
• . 在初始数据足够小且与核空间正交的条件下，该李雅普诺夫泛函的时间导数下界为初始 $L^2$-质量 $ (\varepsilon_0, \varphi)_{L^2} $ 的正倍数。
• . 该证明方法具有鲁棒性，可同样适用于 $ b = 0 $ 的情形（即原始 DNLS），为证明可积情形下代数孤立子的不稳定性提供了小步进展。
• . 泛函 $ (\varepsilon, i\Lambda\varphi)_{L^2} $ 的作用与 $L^2$-临界广义 KdV 方程不稳定性证明中使用的泛函类似，凸显了 $L^2$-临界动力学中的一种共性机制。
• . 该结果表明，双参数孤立子族的存在与 $L^2$-临界结构共同允许稳定与不稳定孤立子并存，这是标准 NLS 或广义 KdV 等其他 $L^2$-临界方程中所未见的特征。