[论文解读] An example of stable excited state on nonlinear Schrödinger equation with nonlocal nonlinearity

Masaya Maeda, Satoshi Masaki|arXiv (Cornell University)|Sep 13, 2011

Advanced Mathematical Physics Problems被引用 4

一句话总结

该论文在比以往结果更广的函数空间（$Σ^{1/2}$）中建立了具有非局部非线性的非线性薛定谔方程的全局适定性，并展示了存在具有任意高Morse指标的稳定激发态——这挑战了传统观点，即高Morse指标意味着不稳定。其关键贡献在于通过作用泛函Hessian的谱分析，显式构造了此类稳定激发态的实例。

ABSTRACT

In this article, we consider nonlinear Schrödinger equation with nonlocal nonlinearity which is a generalized model of the Schrödinger-Poisson system (Schrödinger-Newton equations) in low dimensions. We first prove the global well-posedness in wider space than in previous result and show the stability of standing waves including excites states. It turns out that an example of stable excite states with high Morse index is contained. Several examples of traveling-wave-type solutions are also given.

研究动机与目标

• 将具有非局部非线性的非线性薛定谔方程的全局适定性扩展到比以往已知更广的函数空间（$\Sigma^{1/2}$）。
• 在非局部非线性的背景下，研究驻波解（特别是激发态）的稳定性。
• 显式构造具有高Morse指标的稳定激发态，挑战此类态通常被认为不稳定的传统观念。
• 分析作用泛函Hessian的谱性质，以确定超越标准Grillakis-Shatah-Strauss框架的稳定性条件。

提出的方法

• 作者引入了一个修改后的非线性薛定谔方程（H'），其非局部非线性结构通过移除非线性展开中的无界第三项，使得解存在于$\Sigma^{1/2}$中，该空间弱于$\Sigma$。
• 他们利用守恒律来控制非线性中无界项的时间演化，从而在$\Sigma^{1/2}$中实现适定性。
• 驻波的稳定性通过Grillakis-Shatah-Strauss理论分析，重点关注Morse指标$n(S_{\omega}^{\prime\prime}(\phi_{\omega}))$以及频率-质量映射$d^{\prime\prime}(\omega)$的二阶导数。
• 在一维情形下，利用Hermite函数显式构造了驻波解，并通过分析Hessian $S_{\omega}^{\prime\prime}(\phi_{\omega})$ 在有限维子空间中的谱性质来确定其稳定性。
• 谱分析被简化为在$\{\Omega_{n-2}, \Omega_n, \Omega_{n+2}\}$张成空间上的$3 \times 3$矩阵问题，其中$\Omega_n$为Hermite函数。
• 推导并分析了Hessian块的特征多项式，以确定负特征值的数量，从而确定Morse指标与稳定性。

实验结果

研究问题

• RQ1 能否在弱于$\Sigma$的函数空间中为具有非局部非线性的非线性薛定谔方程建立全局适定性？
• RQ2 在该非局部模型中，是否存在Morse指标大于一的稳定激发态，与经典预期相反？
• RQ3 当非局部非线性在无穷远处表现如线性势时，它如何影响驻波的稳定性？
• RQ4 能否显式构造并解析验证此类具有高指标的稳定激发态？
• RQ5 当Morse指标较高时，频率-质量映射的二阶导数$d^{\prime\prime}(\omega)$在稳定性判断中起什么作用？

主要发现

• 通过移除非线性展开中的无界第三项，方程（H'）在空间$\Sigma^{1/2}$中实现全局适定性，该空间严格大于$\Sigma$。
• 论文通过Hermite函数$\Omega_n$在一维情形下显式构造了驻波解。
• 对于情形（II）的解，Hessian $S_{\omega}^{\prime\prime}(\Omega_n)$具有两个负特征值和一个正特征值，意味着Morse指标为二。
• 频率-质量映射满足在$M=1$处有$d^{\prime\prime}(\omega) > 0$，且由于Morse指标为二，且条件$n(S_{\omega}^{\prime\prime}) - \max(d^{\prime\prime}/|d^{\prime\prime}|, 0)$为偶数，因此驻波是稳定的。
• 论文证明了存在具有任意高Morse指标的稳定激发态，这与普遍认为高Morse指标意味着不稳定的观念相矛盾。
• 通过Hessian的谱分析确认了激发态的稳定性，表明负特征值数量以及$d^{\prime\prime}(\omega)$的行为满足稳定性判据，即使Morse指标较高。