[论文解读] Orbital stability of solitary waves for derivative nonlinear Schrödinger equation

Soonsik Kwon, Yifei Wu|arXiv (Cornell University)|Mar 11, 2016

Advanced Mathematical Physics Problems参考文献 17被引用 12

一句话总结

本文在零质量情形（$c^2 = 4\omega$）下建立了导数非线性薛定谔方程孤波的轨道稳定性，此时孤子具有临界质量 $4\pi$。通过将先前工作的变分方法扩展至包含 $L^2$ 缩放不变性，作者证明了在缩放、相位和空间平移对称性下的条件轨道稳定性，并进一步推导出质量为临界值的解的自相似爆破准则。

ABSTRACT

In this paper, we show the orbital stability of solitons arising in the cubic derivative nonlinear Schrodinger equations. We consider the zero mass case that is not covered by earlier works [8, 3]. As this case enjoys L^2 scaling invariance, we expect the orbital stability in the sense up to scaling symmetry, in addition to spatial and phase translations. For the proof, we are based on the variational argument and extend a similar argument in [21]. Moreover, we also show a self-similar type blow up criteria of solutions with the critical mass 4π.

研究动机与目标

• 在先前工作未覆盖的零质量情形（$c^2 = 4\\omega$）下，建立导数非线性薛定谔方程孤波解的轨道稳定性。
• 将变分框架扩展以包含 $L^2$ 缩放不变性，该性质存在于零质量情形但此前的稳定性结果中缺失。
• 证明初始数据接近临界孤子 $R(t,x)$ 的解，在其生命周期内始终与一个一维参数族的缩放、平移和相位偏移孤子保持接近。
• 为质量恰好为 $4\\pi$ 的解推导出自相似爆破准则，表明在适当缩放下，爆破解会集中于临界孤子。

提出的方法

• 基于在质量与动量约束下最小化能量泛函的变分论证，扩展至包含缩放对称性。
• 定义泛函 $S(w) = \|w_x\|_{L^2}^2 + \frac{1}{2}\|w\|_{L^4}^4 - \nonefrac{1}{16}\|w\|_{L^6}^6$ 和 $K(w) = 6\|w\|_{L^4}^4 - \|w\|_{L^6}^6$，其中对基态 $W$ 有 $K(W) = 0$。
• 利用缩放变换 $v_\lambda(t,x) = \lambda^{1/2}v(\lambda^2 t, \lambda x)$ 将 $L^6$ 范数归一化为基态 $W$ 的范数。
• 应用质量、能量和动量的守恒律，控制缩放后解的行为，并在 $H^1$ 中导出一致估计。
• 引入变换函数 $w(t,x;\lambda) = e^{-it + ix} v_\lambda(t, x - 2t)$，使动力学与孤波形 $R(t,x)$ 对齐。
• 利用刚性结果（命题 1）：当 $\delta \to 0$ 时，有 $\inf_{\theta,y} \|w - e^{i\theta}W(\cdot - y)\|_{H^1} \to 0$，从而得出在对称性下的稳定性结论。

实验结果

研究问题

• RQ1 质量为 $4\pi$ 的孤波解在导数 NLS 的完整对称群（包括 $L^2$ 缩放）下是否具有轨道稳定性？
• RQ2 零质量情形下 $L^2$ 缩放不变性的存在如何影响稳定性结构，相较于非零质量情形？
• RQ3 能否为质量恰好为 $4\pi$ 的解表征自相似爆破形式？在适当缩放下，其是否收敛于临界孤子？
• RQ4 何种变分表征可确保接近临界孤子的解在对称性下始终与其轨道保持接近？

主要发现

• 作者证明了质量为 $4\\pi$ 的孤波 $R(t,x)$ 在 $H^1$ 范数下的条件轨道稳定性，该稳定性在相位、空间平移和 $L^2$ 缩放对称性下成立。
• 对任意 $\varepsilon > 0$，存在 $\delta > 0$，使得若 $\|u_0 - R(0)\|_{H^1} \leq \delta$，则解在其整个生命周期内始终与某个缩放、平移和相位偏移的 $R$ 保持 $\varepsilon$ 以内。
• 定理 2 中的爆破准则表明，若质量为 $4\\pi$ 的解在有限时间内爆破，则在缩放 $u_\lambda(t,x) = \lambda^{1/2}u(\lambda^2 t, \lambda x)$ 下，当 $t \to T^*$ 时，解在 $H^1$ 中强收敛于 $R(t,x)$。
• 缩放参数定义为 $\lambda(t) = \|\partial_x W\|_{L^2} / \|\partial_x v(t)\|_{L^2}$，以确保归一化至基态轮廓。
• 证明依赖于如下事实：当初始数据趋近临界质量时，有 $K(w) = 6\|w\|_{L^4}^4 - \|w\|_{L^6}^6 \to 0$ 且 $S(w) \to S(W) = 4\pi$。
• 刚性结果（命题 1）表明，任何满足 $K(w) = O(\delta)$ 且 $S(w) = S(W) + O(\delta)$ 的 $H^1$ 函数，必与基态 $W$ 的 $H^1$-扰动接近。