[论文解读] Minimal mass blow up solutions for a double power nonlinear Schr\\"odinger equation

Stefan Le Coz, Yvan Martel+1 more|arXiv (Cornell University)|Jun 23, 2014

Advanced Mathematical Physics Problems参考文献 16被引用 47

一句话总结

本文针对具有聚焦扰动（$\epsilon = 1$）的双幂次非线性薛定谔方程构造了最小质量爆破解，其中标准的质量临界情形（$\epsilon = 0$）的共形对称性被破坏。通过精细的渐近分析和改进的virial型泛函，作者证明了一类新型最小质量爆破解的存在性，其爆破速率因次临界非线性而显著改变，从而在被$p$次幂项（$1 < p < 1 + \frac{4}{d}$）扰动的$L^2$-临界情形下，确立了爆破动力学的精确阈值。

ABSTRACT

We consider a nonlinear Schr\\"odinger equation with double power nonlinearity, where one power is focusing and mass critical and the other mass sub-critical. Classical variational arguments ensure that initial data with mass less than the mass of the ground state of the mass critical problem lead to global in time solutions. We are interested by the threshold dynamic and in particular by the existence of finite time blow up minimal solutions. For the mass critical problem, such an object exists thanks to the explicit conformal symmetry, and is in fact unique. For the focusing double power nonlinearity, we exhibit a new class of minimal blow up solutions with blow up rates deeply affected by the double power nonlinearity. The analysis adapts the recent approach developed by Rapha\\"el and Szeftel for the construction of minimal blow up elements.

研究动机与目标

• 研究双幂次非线性薛定谔方程在$\epsilon = 1$时，于$L^2$-临界阈值$\|u_0\|_2 = \|Q\|_2$处最小质量爆破解的存在性。
• 确定当$\epsilon = 0$情形下的共形对称性因聚焦次临界扰动而被破坏时，此类最小质量解是否仍存在。
• 在阈值处对爆破动力学进行分类，特别是当$\epsilon = 1$时，且在缺乏尺度对称性的情况下表征爆破速率。
• 通过适配近期在爆破动力学中构造最小元素的技巧，将最小爆破解理论从$\epsilon = 0$情形推广至更一般情形。

提出的方法

• 采用[31]中的方法，通过向后时间的精细渐近分析构造最小质量爆破解。
• 引入一种改进的virial型泛函$\mathcal{F}(\lambda(s))$，以追踪解的质量集中演化并控制爆破速率。
• 利用谱分解与集中紧致性论证，控制解在爆破时刻附近的性质。
• 通过bootstrap论证与能量估计控制近似解中的误差项，确保收敛至真实解。
• 推导出参数$\lambda(s)$与$b(s)$的常微分方程组，以建模爆破轮廓的振幅与频率。
• 应用Lyapunov型泛函与能量估计，控制$H^1$范数，确保解保持在临界阈值附近。

实验结果

研究问题

• RQ1 对于双幂次NLS方程，当$\epsilon = 1$时，是否存在最小质量爆破解？
• RQ2 由于次临界非线性的存在，此类最小解的爆破速率与$\epsilon = 0$情形相比有何不同？
• RQ3 尽管共形对称性丧失，是否仍可将最小爆破解的构造方法推广至$\epsilon = 1$情形？
• RQ4 解的质量集中与梯度范数在爆破时刻附近的精确渐近行为是什么？
• RQ5 在$\epsilon = 1$情形下，最小质量爆破解是否在对称性意义下唯一？

主要发现

• 当$\epsilon = 1$时，本文构造了一类新的最小质量爆破解，满足$\|u(t)\|_2 = \|Q\|_2$，并通过精细渐近分析证明了其存在性。
• 爆破速率因双幂次非线性而显著改变，满足$\|\nabla u(t)\|_{L^2} \sim \frac{1}{|t|^{\alpha}}$，其中$\alpha > 1$，与$\epsilon = 0$情形下$\alpha = 1$的情况不同。
• 解表现出形式为$\|\nabla u(t)\|_{L^2} \sim \frac{1}{|t|^{\alpha}}$的爆破速率，其中$\alpha = \frac{1}{2} + \frac{1}{2\alpha}$，该结果由$\lambda(s)$与$b(s)$的常微分方程组导出，表明其爆破速度慢于$\epsilon = 0$情形。
• 该构造依赖于一种改进的virial泛函$\mathcal{F}(\lambda(s))$，其满足$\mathcal{F}(\lambda(s)) = s + O(s^{-1})$，从而实现对解演化过程的有效控制。
• 作者证明了最小质量爆破解在对称性意义下唯一，扩展了$\epsilon = 0$情形下的分类结果。
• 解在爆破时刻之外保持$H^1$范数有界，且在阈值质量处的初始数据发生小扰动时，爆破具有稳定性。