[论文解读] On the life span of the Schrödinger equation with sub-critical power nonlinearity

Hironobu Sasaki|ArXiv.org|Jul 3, 2009

Advanced Mathematical Physics Problems参考文献 11被引用 5

一句话总结

该论文为一维非线性薛定谔方程在次临界幂次非线性项 $ \lambda|u|^{p-1}u $（$ 2 \leq p < 3 $）下，对小初值 $ \varepsilon\varphi $ 的解的生命期 $ T(\varepsilon) $ 建立了精确的下界。通过在特定函数空间中进行渐近分析与能量估计，证明了 $ \liminf_{\varepsilon \to 0} \varepsilon^{2(p-1)/(3-p)} T(\varepsilon) $ 有正的下界，该下界依赖于 $ p $、$ \mathrm{Im}\lambda $ 和初值 $ \varphi $，从而改进了先前的估计结果。

ABSTRACT

We discuss the life span of the Cauchy problem for the one-dimensional Schrödinger equation with a single power nonlinearity $λ|u|^{p-1}u$ ($λ\in\mathbb{C}$, $2\le p&lt;3$) prescribed an initial data of the form $\varepsilonφ$. Here, $\varepsilon$ stands for the size of the data. It is not difficult to see that the life span $T(\varepsilon)$ is estimated by $C_0 \varepsilon^{-2(p-1)/(3-p)}$ from below, provided $\varepsilon$ is sufficiently small. In this paper, we consider a more precise estimate for $T(\varepsilon)$ and we prove that $\liminf_{\varepsilon o 0}\varepsilon^{2(p-1)/(3-p)}T(\varepsilon)$ is larger than some positive constant expressed only by $p$, $\mathrm{Im}λ$ and $φ$.

研究动机与目标

• 改进已知的一维非线性薛定谔方程在次临界幂次非线性项下的解的生命期 $ T(\varepsilon) $ 的下界估计。
• 在 $ \varepsilon \to 0 $ 时，为 $ T(\varepsilon) $ 建立精确的渐近估计，特别针对 $ 2 \leq p < 3 $ 且 $ \mathrm{Im}\lambda > 0 $ 的情形。
• 证明解的爆破时间不会快于 $ \varepsilon^{-2(p-1)/(3-p)} $ 的速度收缩，且前因子有正的下界。
• 通过渐近近似 $ u_a(t,x) $ 分析解的行为，并在专门构造的函数空间 $ X $ 中控制误差 $ v = u_a - u $。

提出的方法

• 构造近似解 $ u_a(t,x) = \varepsilon t^{-1/2} \exp(ix^2/2t) V(s_p(t), x/t) $，其中 $ V $ 是满足初值 $ e^{-i\pi/4}\phi_+ $ 的非线性常微分方程的解。
• 引入一个函数空间 $ X $，通过加权 $ L^2 $ 范数定义，以控制解的正则性与衰减性。
• 利用能量估计与算子 $ \mathcal{L} = i\partial_t + \frac{1}{2}\partial_x^2 $ 推导误差 $ v = u_a - u $ 的先验界。
• 对 $ \|v(t)\|_X $ 的积分方程应用 Gronwall 不等式，结合 $ u_a $ 的衰减估计与余项 $ R $ 的性质。
• 施加条件 $ \sup_{0 \leq t \leq T} \|u_a(t) - u(t)\|_X \leq \varepsilon $，并证明其在迭代中收缩至 $ \varepsilon/2 $，从而保证解在 $ T_B(\varepsilon) $ 之后依然存在。
• 依赖于假设 $ (1+x^2)\varphi \in \Sigma $ 与 $ \mathrm{Im}\lambda > 0 $，这确保了非线性项在模型中驱动有限时间内的爆破。

实验结果

研究问题

• RQ1 标准的下界估计 $ T(\varepsilon) \gtrsim \varepsilon^{-2(p-1)/(3-p)} $ 是否可改进为前因子有正下界的精确估计？
• RQ2 对于 $ 2 \leq p < 3 $ 且 $ \mathrm{Im}\lambda > 0 $，生命期 $ T(\varepsilon) $ 是否满足 $ \liminf_{\varepsilon \to 0} \varepsilon^{2(p-1)/(3-p)} T(\varepsilon) > 0 $？
• RQ3 由 $ u_a(t,x) $ 所建模的解的渐近行为如何影响真实解的存在时间？
• RQ4 能否通过在定制函数空间中使用能量方法，实现对真实解与渐近近似之间误差的 $ \varepsilon $-一致控制？

主要发现

• 生命期 $ T(\varepsilon) $ 满足 $ \varepsilon^{2(p-1)/(3-p)} T(\varepsilon) \geq \left(\frac{(3-p)B}{2}\right)^{2/(3-p)} $，其中任意 $ B \in (0,A) $，且 $ A = \mathrm{Im}\lambda \cdot \sup_{\xi \in \mathbb{R}} |\widehat{\varphi}(\xi)|^{p-1} $。
• 当 $ B \to A $ 时，论文得出 $ \liminf_{\varepsilon \to 0} \varepsilon^{2(p-1)/(3-p)} T(\varepsilon) \geq \left(\frac{(3-p)A}{2}\right)^{2/(3-p)} > 0 $，这是一个依赖于 $ p $、$ \mathrm{Im}\lambda $ 和 $ \varphi $ 的正的常数。
• 证明表明 $ T(\varepsilon) \geq T_B(\varepsilon) = \left(\frac{(3-p)B}{2\varepsilon^{p-1}}\right)^{2/(3-p)} $，即近似解 $ u_a $ 变得奇异的时间点。
• 通过 Gronwall 不等式在 $ X $-范数下控制误差 $ v = u_a - u $，证明在假设 $ \|v\|_X \leq \varepsilon $ 下有 $ \|v(t)\|_X \leq \varepsilon/2 $，从而确保解在 $ T_B(\varepsilon) $ 之后仍存在。
• 该结果在 $ 2 \leq p < 3 $、$ \mathrm{Im}\lambda > 0 $ 以及 $ (1+x^2)\varphi \in \Sigma $ 的假设下成立，这些条件保证了初值的足够衰减与正则性。