[论文解读] Necessary conditions and sufficient conditions for global existence in the nonlinear Schrödinger equation

Pascal Bégout|arXiv (Cornell University)|Jul 9, 2012

Advanced Mathematical Physics Problems参考文献 20被引用 22

一句话总结

本文建立了非线性薛定谔方程在吸引情形（$\lambda > 0$）下，具有超临界非线性项（$α > 4/N$）时全局解存在的显式必要且充分条件。通过引入两个阈值函数 $γ_*$ 和 $r_*$，满足 $γ_* < r_*$，证明了当 $ \|\varphi\|_{L^2} \leq \gamma_*(\|\nabla\varphi\|_{L^2})$ 时解全局有界，而当 $ \|\nabla\varphi\|_{L^2} > r_*(\|\varphi\|_{L^2})$ 时解在有限时间内爆破，从而在临界情形 $α = 4/N$ 时恢复了Weinstein的精确条件。结果改进了已知的爆破准则，并将全局存在性准则扩展至小初值以外的范围。

ABSTRACT

In this paper, we consider the nonlinear Schrödinger equation with the super critical power of nonlinearity in the attractive case. We give a sufficient condition and a necessary condition to obtain global or blowing up solutions. These conditions coincide in the critical case, thereby extending the results of Weinstein. Furthermore, we improve a blow-up condition.

研究动机与目标

• 将Weinstein（针对 $\alpha = 4/N$）的精确全局存在性条件推广至超临界情形（$\alpha > 4/N$），此前仅知小初值全局存在性。
• 基于 $L^2$ 和 $H^1$ 范数，推导出显式、可计算的全局存在或有限时间爆破条件。
• 通过证明任意非零能量解（即使能量为零）在非正能量下均在有限时间内爆破，改进了现有的爆破准则。
• 表明尽管非线性项为超临界，全局解对应的初值集合在 $H^1$ 中仍保持无界。

提出的方法

• 利用变分法和最佳常数 $C_*$ 的Gagliardo-Nirenberg型不等式，推导出全局存在的充分条件。
• 引入两个由Gagliardo-Nirenberg不等式最佳常数及关联椭圆方程的基态解导出的阈值函数 $\gamma_*$ 和 $r_*$。
• 利用质量与能量守恒，通过涉及 $\|\nabla u(t)\|_{L^2}$ 的泛函不等式，将解的 $H^1$ 范数有界化。
• 通过尺度变换并利用投影算子 $\mathcal{P}$ 构造一族初值 $\varphi_{a,b}$，证明当 $b > r_*(a)$ 时解发生爆破。
• 基于函数 $f(x) = a - x + b x^p$ 的正性，采用反证法证明 $\|\nabla u(t)\|_{L^2}$ 保持有界，从而推出 $T^* = \infty$。
• 依赖于椭圆方程 $-\Delta R + \omega R = \lambda |R|^\alpha R$ 的基态解 $R$ 的存在性与性质，构造爆破初值。

实验结果

研究问题

• RQ1 能否为超临界非线性薛定谔方程（$\alpha > 4/N$）建立类似于Weinstein在临界情形（$\alpha = 4/N$）所得结果的精确全局存在性条件？
• RQ2 在 $\|\varphi\|_{L^2}$ 和 $\|\nabla\varphi\|_{L^2}$ 的表达下，对初值 $\varphi$ 的哪些显式、可计算条件可保证全局存在或有限时间爆破？
• RQ3 当能量非正（甚至为零）时，基于能量的爆破准则是否可推广至超临界情形？
• RQ4 初值空间（$H^1 \cap L^2(|x|^2 dx)$）的几何结构如何影响超临界情形下解的全局行为？

主要发现

• 若 $\|\varphi\|_{L^2} \leq \gamma_*(\|\nabla\varphi\|_{L^2})$，其中 $\gamma_*$ 由Gagliardo-Nirenberg不等式最佳常数显式定义，则解在时间上全局有界。
• 若 $\|\nabla\varphi\|_{L^2} > r_*(\|\varphi\|_{L^2})$，则解在 $t>0$ 和 $t<0$ 时均在有限时间内爆破，且 $r_*$ 同样显式定义。
• 集合 $\mathcal{A} = \{\varphi \in H^1(\mathbb{R}^N) \mid \|\varphi\|_{L^2} \leq \gamma_*(\|\nabla\varphi\|_{L^2})\}$ 在 $H^1$ 中无界，表明即使初值较大，全局解依然存在。
• 爆破条件得到改进：在超临界假设下，任意非零解若能量非正（$E(\varphi) \leq 0$），即使 $E(\varphi) = 0$，也将在有限时间内爆破。
• 当 $\alpha \searrow 4/N$ 时，结果恢复了Weinstein在临界情形 $\alpha = 4/N$ 的精确条件，表明 $\gamma_*$ 与 $r_*$ 收敛至同一阈值。
• 对任意 $(a,b) \in (0,\infty)\times(0,\infty)$ 满足 $a > \rho_*(b)$，存在初值 $\varphi_{a,b}$，使得 $\|\varphi_{a,b}\|_{L^2} = a$，$\|\nabla\varphi_{a,b}\|_{L^2} = b$，且对应解在有限时间内爆破。