[论文解读] On smoothness and uniqueness of multi-solitons of the non-linear Schr{\\"o}dinger equations

Raphaël Côte, Xavier Friederich|arXiv (Cornell University)|Jun 19, 2020

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

一句话总结

该论文在 $ℝ^d$ 上针对一般 $H^1$-次临界非线性项，建立了非线性薛定谔方程多孤子解的光滑性与唯一性。通过谱分析与集中紧致性方法，证明了当非线性项光滑时，多孤子解是光滑的，并在特定类中具有唯一性——特别是当所有本征求解均为轨道稳定时，或在质量临界情形下。

ABSTRACT

In this paper, we study some properties of multi-solitons for the non-linear Schr{\\"o}dinger equations in R^d with general non-linearities. Multi-solitons have already been constructed in H^1, successively by Merle, by Martel and Merle, and by C{\\^o}te, Martel and Merle. We show here that multi-solitons are smooth, depending on the regularity of the non-linearity. We obtain also a result of uniqueness in some class, either when the ground states are all stable, or in the mass-critical case.

研究动机与目标

• 在一般 $H^1$-次临界非线性项下，建立 $ℝ^d$ 上非线性薛定谔方程多孤子解的光滑性。
• 研究在所有本征求解均为轨道稳定或处于质量临界区时，多孤子解的唯一性。
• 通过非线性项的正则性，将 $H^1$ 解的正则性结果推广至更高阶光滑性。
• 分析孤立波附近线性化算子的谱结构，以排除非平凡的 $L^2$-正交方向。
• 证明线性化能量的极小化序列中任意极限型式必趋于零，从而在临界情形下推出唯一性。

提出的方法

• 运用集中紧致性原理，分析与线性化算子 $L_{+,\omega}$ 相关二次型的极小化序列。
• 利用本征求解 $Q_\omega$ 的指数衰减估计与插值不等式，控制导数的 $L^2$-范数。
• 应用庞加莱恒等式与标度假设，推导涉及 $x \cdot \nabla Q_\omega$ 与 $Q_\omega$ 的恒等式。
• 为极小化序列的弱极限 $v^*$ 建立拉格朗日乘子条件，从而导出正交性约束系统。
• 利用线性化算子 $L_{+,\omega}$ 的非退化性及核结构，证明任何非平凡解均导致矛盾。
• 在正交性约束下证明二次型 $\langle L_{+,\omega}v, v\rangle$ 的严格正定性，从而排除非平凡极小化子。

实验结果

研究问题

• RQ1 在何种条件下，非线性薛定谔方程的多孤子解在空间与时间上是光滑的？
• RQ2 当 $t \to \infty$ 时，多孤子解在何种条件下由其渐近行为唯一确定？
• RQ3 线性化算子 $L_{+,\omega}$ 的哪些谱与变分性质可确保多孤子解的唯一性？
• RQ4 与次临界情形相比，质量临界非线性项如何影响多孤子解的唯一性与正则性？
• RQ5 能否利用对本征求解对称性无非平凡 $L^2$-正交方向的假设来证明唯一性？

主要发现

• 若非线性项 $f$ 足够光滑，即 $f$ 属于 $\mathscr{C}^s$ 且 $s$ 足够大以保证 $Q_\omega \in \mathscr{C}^{s+2}$，则非线性薛定谔方程的多孤子解在 $\mathbb{R}^d$ 上是光滑的。
• 在质量临界情形（$p = 1 + \frac{4}{d}$）下，多孤子解在渐近行为为解耦孤子和的解类中是唯一的。
• 当所有本征求解均为轨道稳定时，多孤子解在具有指定渐近速度与相位的解类中是唯一的。
• 在与 $Q_\omega$、$\partial_{x_i}Q_\omega$ 及 $x \cdot \nabla Q_\omega$ 正交的 $L^2$-函数空间上，二次型 $\langle L_{+,\omega}v, v\rangle$ 严格正定，这表明非退化性与唯一性。
• 假设 $v^* \neq 0$ 且 $\beta = 0$ 会导致矛盾，表明唯一可能的极小化子为平凡解，从而证明下确界为正。
• 量 $\int_{\mathbb{R}^d} (x \cdot \nabla Q_\omega)^2 dx - \frac{d^2}{4} \int_{\mathbb{R}^d} Q_\omega^2 dx > 0$ 严格为正，这对排除拉格朗日乘子系统中的非平凡解至关重要。