[论文解读] On Blow-up criterion for the Nonlinear Schrödinger Equation

Dapeng Du, Yifei Wu+1 more|arXiv (Cornell University)|Sep 26, 2013

Advanced Mathematical Physics Problems参考文献 10被引用 3

一句话总结

该论文为能量临界与超临界非线性薛定谔方程（奇数 $ p \geq 1 + \frac{4}{N-2} $）建立了爆破准则，证明了初始能量 $ E(u_0) < 0 $ 的解必然在有限或无限时间内爆破。证明利用了改进的virial型恒等式与精确的加加尔多-尼伦伯格不等式，表明解的 $ H^1 $-范数无界，从而将先前仅在能量亚临界情形成立的结果推广至更奇异的能量临界与超临界情形。

ABSTRACT

The blowup is studied for the nonlinear Schrödinger equation $iu_{t}+Δu+ |u|^{p-1}u=0$ with $p$ is odd and $p\ge 1+\frac 4{N-2}$ (the energy-critical or energy-supercritical case). It is shown that the solution with negative energy $E(u_0)&lt;0$ blows up in finite or infinite time. A new proof is also presented for the previous result in \cite{HoRo2}, in which a similar result but more general in a case of energy-subcritical was shown.

研究动机与目标

• 建立聚焦非线性薛定谔方程在能量临界与超临界情形下 $ p \geq 1 + \frac{4}{N-2} $ 的爆破准则。
• 将此前仅在能量亚临界情形下已知的负能量爆破结果，推广至更具奇异性能量临界与超临界情形。
• 提出一种新证明策略，避免依赖有限方差或径向对称性假设，通过改进的virial型泛函与精确的加加尔多-尼伦伯格不等式，实现对 $ H^1 $-范数爆破的控制。
• 证明负能量解的 $ H^1 $-范数无界，从而表明其在有限或无限时间内爆破。

提出的方法

• 引入一个改进的virial型泛函 $ Q(u(t)) $，其能以对临界正则性 $ s_c = \frac{N}{2} - \frac{2}{p-1} $ 敏感的方式捕捉能量与梯度范数。
• 利用精确的加加尔多-尼伦伯格不等式，建立 $ L^{p+1} $、$ L^2 $ 与 $ H^1 $ 范数之间的关系，其中基态 $ Q $ 为精确常数。
• 通过反证法假设 $ Q(u(t)) \geq -\delta_0 \|\nabla u(t)\|_{L^2}^2 $ 对任意小的 $ \delta_0 $ 成立，导致与初始能量条件矛盾。
• 证明 $ Q(u(t)) < -\delta_0 \|\nabla u(t)\|_{L^2}^2 $ 在时间上一致成立，从而表明解无法在 $ H^1 $ 中有界。
• 利用质量与能量守恒，推导出梯度范数 $ \|\nabla u(t)\|_{L^2} > \epsilon_0 $ 的统一下界，确保非紧性。
• 应用已知的爆破定理（定理 2.1），在满足此类virial型条件时排除全局 $ H^1 $-解的存在性。

实验结果

研究问题

• RQ1 能否将能量亚临界NLS中负初始能量的爆破准则推广至能量临界与超临界情形？
• RQ2 在缺乏有限方差或径向对称性假设的条件下，负能量是否仍能导致爆破？
• RQ3 能否构造一种新的virial型泛函，以控制能量临界/超临界情形下 $ H^1 $-范数的爆破？
• RQ4 精确的加加尔多-尼伦伯格不等式是否足以在负能量条件下导出梯度范数的统一下界？
• RQ5 临界正则性 $ s_c $ 在决定NLS方程爆破行为中起何种作用？

主要发现

• 对于满足 $ p \geq 1 + \frac{4}{N-2} $ 且初始能量 $ E(u_0) < 0 $ 的非线性薛定谔方程解，其必然在有限或无限时间内爆破。
• 爆破特征为 $ H^1 $-范数无界：$ \sup_{t \in (-T_-, T_+)} \|u(t)\|_{H^1} = +\infty $。
• 在最大存在区间内，对所有 $ t $ 均有统一下界 $ \|\nabla u(t)\|_{L^2} > \epsilon_0 > 0 $，从而阻止全局 $ H^1 $-正则性。
• virial型泛函 $ Q(u(t)) $ 满足 $ Q(u(t)) < -\delta_0 \|\nabla u(t)\|_{L^2}^2 $，其中 $ \delta_0 > 0 $，且在时间上一致成立。
• 该证明避免了对有限方差或径向对称性的依赖，将先前 [9] 和 [5] 的结果推广至能量临界与超临界情形。
• 通过反证法结合精确的加加尔多-尼伦伯格不等式与守恒律，证明了能量条件 $ M(u_0)^{1-s_c} E(u_0)^{s_c} < M(Q)^{1-s_c} E(Q)^{s_c} $ 暗示爆破。