[论文解读] Small data blow-up of L^{2}-solution for the nonlinear Schrödinger equation without gauge invariance

Masahiro Ikeda, Yuta Wakasugi|arXiv (Cornell University)|Nov 1, 2011

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

一句话总结

该论文证明了对于非规范不变型幂次非线性项 $ iackslashpartial_t u + \Delta u = \lambda |u|^p $ 的非线性薛定谔方程在 $ \mathbb{R}^n $ 上，当 $ 1 < p \leq 1 + \frac{2}{n} $ 时，若初始数据在 $ L^2 $ 中且满足关于初始数据实部或虚部与 $ \lambda $ 的虚部或实部的符号条件，则其 $ L^2 $-范数可能在有限时间内爆破。该结果在不施加数据大小限制下成立，与规范不变情形下的全局存在性形成对比。

ABSTRACT

We study the initial value problem for the nonlinear Schrödinger equation. We will prove that the blow-up of the L^{2}-norm of solutions with suitable initial data. We impose a condition related to the sign of the data but put no restriction on their size.

研究动机与目标

• 研究非规范不变非线性项 $ \lambda |u|^p $ 的非线性薛定谔方程的 $ L^2 $-解是否存在有限时间爆破。
• 确定 $ L^2 $ 中的小初始数据是否会导致 $ L^2 $-范数爆破，尽管存在局部适定性。
• 阐明非规范不变与规范不变非线性项在临界与次临界情形下的动力学差异。
• 对一种预期作出否定回答：即非规范不变非线性项的行为是否如规范不变情形中所见的长程效应一般。

提出的方法

• 作者通过自由传播算子 $ U(t) = e^{it\Delta} $ 定义与 NLS 相关积分方程的弱解。
• 利用 Strichartz 估计与精心选择指数的 Hölder 不等式，控制 $ L^r_t L^\rho_x $ 空间中的非线性项。
• 关键步骤包括引入时间依赖的逼近序列 $ \{u_{2,k}\} $ 以处理解的非齐次部分，并证明其在 $ L^\infty_t L^2_x $ 中的收敛性。
• 证明依赖于分部积分法，以及近似解在 $ L^\infty_t L^2_x $ 和 $ L^r_t L^\rho_x $ 中收敛于真实解。
• 通过反证法证明爆破：假设全局存在将与初始数据和 $ \lambda $ 的符号条件矛盾。
• 论证使用了指数 $ \alpha = \frac{n}{4}\left(1 + \frac{4}{n} - p\right) > 0 $ 的时间加权估计，这对收敛性和爆破估计至关重要。

实验结果

研究问题

• RQ1 对于 $ p \leq 1 + \frac{2}{n} $ 的非规范不变 NLS，小的 $ L^2 $-初始数据是否会导致 $ L^2 $-范数在有限时间内爆破？
• RQ2 非规范不变非线性项 $ \lambda |u|^p $ 与规范不变情形 $ \lambda_0 |u|^{p-1}u $ 相比，如何影响 $ L^2 $-范数的演化？
• RQ3 非规范不变情形下 $ L^2 $-范数的行为是否与规范不变情形中所见的长程效应一致？
• RQ4 初始数据与 $ \lambda $ 的何种符号条件可确保爆破？该条件是否依赖于数据的大小？

主要发现

• 当 $ 1 < p \leq 1 + \frac{2}{n} $ 时，若初始数据 $ f \in L^2 $ 满足符号条件 $ f_1 \in L^1(\mathbb{R}^n), \lambda_2 \int_{\mathbb{R}^n} f_1(x) dx > 0 $ 或 $ f_2 \in L^1(\mathbb{R}^n), \lambda_1 \int_{\mathbb{R}^n} f_2(x) dx < 0 $，则解的 $ L^2 $-范数将在有限时间内爆破。
• 最大存在时间 $ T_m $ 有限，且 $ \lim_{t \to T_m^-} \|u(t)\|_{L^2} = +\infty $，即使 $ \|f\|_{L^2} $ 极小亦然。
• 该结果在不施加初始数据大小限制下成立，与已知需大初始数据才能爆破的结果形成鲜明对比。
• 爆破机制由非规范不变非线性项驱动，其导致 $ L^2 $-范数非守恒，而规范不变情形中 $ L^2 $-范数是守恒的。
• 证明依赖于 $ \alpha > 0 $ 的时间加权 Strichartz 估计，这对近似序列的收敛性与爆破估计至关重要。
• 结果表明，非规范不变非线性项并不表现出长程效应，与基于规范不变情形的预期相反。