[论文解读] Transverse instability for nonlinear Schr\\"odinger equation with a linear potential

Yohei Yamazaki|arXiv (Cornell University)|May 3, 2015

Advanced Mathematical Physics Problems被引用 5

一句话总结

本论文通过基于李雅普诺夫泛函和谱分析的摄动方法，建立了在 $ℝ \times \mathbb{T}_L$ 上带线性势的非线性薛定谔方程中线状驻波的横向不稳定性。证明了对所有 $L > 0$，线状驻波 $e^{i\omega t}\tilde{\varphi}_\omega$ 在 $H^1$ 中轨道不稳定，将先前针对 KP 型方程的结果推广至具有局域势的 NLS 设置。

ABSTRACT

In this paper we consider the transverse instability for a nonlinear Schr\\"odinger equation with a linear potential on $\\mathbb{R} \ imes \\mathbb{T}_L$, where $2\\pi L$ is the period of the torus $\\mathbb{T}_L$. Rose and Weinstein showed the existence of a stable standing wave for a nonlinear Schr\\"odinger equation with a linear potential. We regard the standing wave of nonlinear Schr\\"odinger equation on $\\mathbb{R}$ as a line standing wave of nonlinear Schr\\"odinger equation on $\\mathbb{R} \ imes \\mathbb{T}_L$. We show the stability of line standing waves for all $L>0$.

研究动机与目标

• 研究在周期性横向方向 $\mathbb{T}_L$ 上带线性势的非线性薛定谔方程中线状驻波的横向不稳定性。
• 将横向不稳定的框架从 KP 型方程推广至具有局域势的 NLS 方程。
• 对所有 $L > 0$ 建立线状驻波 $e^{i\omega t}\tilde{\varphi}_\omega$ 的轨道不稳定性，尽管其对应的 1D 驻波是稳定的。
• 将近似解方法与李雅普诺夫泛函适应至带线性势的 NLS 设置，利用线性化算子的谱性质。

提出的方法

• 将 1D 驻波 $\varphi_\omega$ 从 $\mathbb{R}$ 延拓至 $\mathbb{R} \times \mathbb{T}_L$，构造线状驻波 $\tilde{\varphi}_\omega(x,y) = \varphi_\omega(x)$。
• 通过作用泛函 $S_\omega$ 及其在驻波附近的摄动，应用李雅普诺夫泛函方法。
• 采用 Rousset-Tzvetkov 和 Grenier 的论证，构造高阶近似解，其中包含横向方向的不稳定特征模。
• 对驻波附近线性化算子进行谱分析，表明对所有 $L > 0$ 均存在不稳定模。
• 实施调制分析，将解分解为相位、振幅和横向位移分量，追踪不稳定性的发展。
• 以 Rose-Weinstein 的 1D 驻波稳定性为基础，通过能量估计和反证法推导出横向方向的不稳定性。

实验结果

研究问题

• RQ1 对所有 $L > 0$，线状驻波 $e^{i\omega t}\tilde{\varphi}_\omega$ 在 $H^1(\mathbb{R} \times \mathbb{T}_L)$ 中是否轨道不稳定？
• RQ2 指数衰减的线性势 $V(x)$ 是否影响线状驻波的横向不稳定性？
• RQ3 近似解方法与李雅普诺夫泛函能否被适配至带线性势的 NLS 方程，以类似其在 KP 方程中的应用方式证明不稳定性？
• RQ4 横向频率 $L$ 在决定线状驻波稳定性中的作用是什么？
• RQ5 是否存在一个临界周期 $L$，超过该值后不稳定性才出现，还是对所有 $L > 0$ 不稳定性均成立？

主要发现

• 尽管 1D 驻波是稳定的，线状驻波 $e^{i\omega t}\tilde{\varphi}_\omega$ 对所有 $L > 0$ 在 $H^1(\mathbb{R} \times \mathbb{T}_L)$ 中均轨道不稳定。
• 不稳定性源于横向方向 $\mathbb{T}_L$，扰动的增长由线性化算子中的不稳定模驱动。
• 作用泛函 $S_\omega$ 沿从驻波附近出发的解流减少，与稳定性矛盾，从而暗示不稳定性。
• 对于初始数据靠近驻波的解，李雅普诺夫泛函 $P(u)$ 随时间线性增长，与假设的有界性矛盾。
• 临界参数 $R_{p,\omega_0} < 0$ 确保了横向模中存在破坏稳定性的方向，导致对所有 $L > 0$ 均出现不稳定性。
• 结果对所有 $L > 0$ 一致成立，表明不存在临界周期阈值——与 KP-I 方程不同——这是由于局域势对谱的影响。