[论文解读] On asymptotic stability of standing waves of discrete Schrödinger equation in $\Bbb Z$

Scipio Cuccagna, Mirko Tarulli|ArXiv.org|Aug 14, 2008

Advanced Mathematical Physics Problems参考文献 25被引用 24

一句话总结

本文在势函数 $q$ 和离散薛定谔算子 $H$ 的谱性质满足一定假设的条件下，建立了整数格点 $\mathbb{Z}$ 上具有六次非线性项 $|u|^6u$ 的离散非线性薛定谔方程的驻波解的渐近稳定性。通过色散估计与凯托型平滑性估计，证明了在一般谱条件及 $q$ 的衰减假设下，驻波的小扰动在 $t\to\infty$ 时演化为一个新的驻波加上一个在 $\ell^2$ 范数下趋于零的辐射项。该结果将连续空间中的稳定性理论推广至离散情形，且色散速率减缓至 $t^{-1/3}$。

ABSTRACT

We prove an analogue of a classical asymptotic stability result of standing waves of the Schrödinger equation originating in work by Soffer and Weinstein. Specifically, our result is a transposition on the lattice Z of a result by Mizumachi and it involves a discrete Schrödinger operator H. The decay rates on the potential are less stringent than in Mizumachi, since we require for the potential $q\in \ell ^{1,1}$. We also prove $|e^{itH}(n,m)|\le C < t > ^{-1/3}$ for a fixed $C$ requiring, in analogy to Goldberg and Schlag only $q\in \ell ^{1,1}$ if $H$ has no resonances and $q\in \ell ^{1,2}$ if it has resonances. In this way we ease the hypotheses on H contained in Pelinovsky and Stefanov, which have a similar dispersion estimate.

研究动机与目标

• 建立整数格点 $\mathbb{Z}$ 上具有 $|u|^6u$ 非线性的离散非线性薛定谔方程的驻波解的渐近稳定性。
• 将连续情形下的结果推广至离散格点设置，考虑离散拉普拉斯算子的谱区间 $[0,4]$ 及更慢的 $t^{-1/3}$ 色散速率。
• 在一般谱条件与衰减假设下，证明扰动解在 $t\to\infty$ 时弱收敛于一个新的驻波加上 $\ell^2$ 中的色散辐射项。
• 发展一种基于 Strichartz 型估计与凯托平滑性的离散系统稳定性分析框架，尽管在一维情形下端点 Strichartz 估计不成立。
• 表明在此设置下，由于谱结构与衰减特性的特定性，无需假设费米黄金律条件即可实现稳定性。

提出的方法

• 通过分岔论证在 $\omega$ 接近本征值 $-E_0$ 时，利用加权 $\ell^{2,\sigma}$ 空间中的隐函数定理，将驻波解 $\phi_\omega$ 构造为 $\omega$ 的解析族。
• 证明依赖于自由演化 $e^{it\Delta}$ 在 $\mathbb{Z}$ 上的凯托型平滑估计与色散界，其衰减速率为 $\langle t\rangle^{-1/3}$。
• 关键步骤包括证明威耳函数及其相关谱数据属于 $\ell^{1,1}$，从而保证谱投影与预解式估计所需的正则性。
• 作者利用 Jost 函数技巧与 Birman-Solomjak 空间估计，重新证明并改编了 [PS] 中关于低能区色散结果。
• 通过在 $a^6 = \omega - E_0$ 处的摄动展开建立非线性估计，将问题约化为加权空间中的不动点方程。
• 通过非线性项的利普希茨连续性与 $\ell^2$-范数的守恒性，确立整体适定性，从而保证解全局存在。

实验结果

研究问题

• RQ1 在何种条件下，$\mathbb{Z}$ 上离散 NLS 方程的驻波解在小的 $\ell^2$-扰动下保持稳定？
• RQ2 在 $\mathbb{Z}$ 中 $t^{-1/3}$ 的更慢色散速率如何影响离散孤子的渐近稳定性，相较于连续情形？
• RQ3 是否可在不假设费米黄金律的条件下证明渐近稳定性，特别是在谱为紧致的情况下？
• RQ4 $q$ 的 $\ell^{1,1}$ 衰减在确保驻波族 $\phi_\omega$ 的存在性与正则性方面起什么作用？
• RQ5 连续情形下渐近稳定性理论在具有有限谱的离散格点中可多大程度上被适配？

主要发现

• 对任意 $\omega_0 \in (E_0, E_0 + \eta)$，驻波 $\phi_{\omega_0}$ 的小 $\ell^2$-扰动在演化后变为一个新的驻波 $\phi_{\omega_+}$，其中 $\omega_+ \in (E_0, E_0 + \eta_0)$，外加一个色散辐射项。
• 解满足 $\lim_{t\to\infty}\|u(t) - e^{i\Theta(t)}\phi_{\omega_+} - e^{it\Delta}u_+\|_{\ell^2} = 0$，从而在 $\ell^2$ 意义下证明了渐近稳定性。
• 驻波族 $\phi_\omega$ 为实值且指数局部化：存在 $a>0$，$C>0$，使得对所有 $\omega$ 一致有 $|\phi_\omega(n)| \leq C e^{-a|n|}$。
• 当 $\omega \to E_0^+$ 时，展开式 $\phi_\omega = (\omega - E_0)^{1/6}\|\varphi_0\|_{\ell^8}^{-4/3}(\varphi_0 + O(\omega - E_0))$ 成立，表明在阈值附近存在临界标度。
• 该结果适用于非线性项 $|u|^6u$，因其满足所需的 $C^2$-光滑性且在零点处导数为零，从而可应用基于 $C^2$ 的非线性估计。
• 证明避免了对驻波族的 $C^\omega$ 光滑性要求，转而依赖于 $C^2$-光滑性，并使用经典凯托平滑估计，而非端点 Strichartz 估计。