[论文解读] Blowup for the Damped $L^{2}$-Critical Nonlinear Schrödinger Equation

Mohamad Darwich|arXiv (Cornell University)|Jan 14, 2011

Advanced Mathematical Physics Problems被引用 9

一句话总结

该论文证明了在维度 $d=1,2,3,4$ 下，对于小阻尼 $a>0$ 的阻尼 $L^2$-临界非线性薛定谔方程，存在有限时间爆破解，并证明其稳定性。当质量略高于阈值 $ \|Q\|_{L^2}$ 时，解在有限时间内爆破，且爆破速率为对数对数形式 $ \| abla u(t) \|_{L^2} \sim \left( \frac{\log|\log(T-t)|}{T-t} \right)^{1/2}$。该结果将无阻尼情形下的对数对数爆破动力学扩展到了阻尼情形。

ABSTRACT

We consider the Cauchy problem for the $L^{2}$-critical damped nonlinear Schrödinger equation. We prove existence and stability of finite time blowup dynamics with the log-log blow-up speed for $\| abla u(t)\|_{L^2}$.

研究动机与目标

• 建立小阻尼 $a>0$ 条件下阻尼 $L^2$-临界非线性薛定谔方程有限时间爆破解的存在性。
• 将此前仅在无阻尼情形下已知的对数对数爆破动力学扩展至阻尼情形，证明其在 $H^1$-扰动下的稳定性。
• 证明 $L^2$-范数略高于 $\|Q\|_{L^2}$ 的解在有限时间内爆破，而 $\|u_0\|_{L^2} \leq \|Q\|_{L^2}$ 的解则全局有界。
• 分析爆破解的渐近行为，包括在爆破点处识别出一个极限 $L^2$-型态。

提出的方法

• 将无阻尼情形下的集中紧致性方法与 $L^2$-集中现象推广至非径向、阻尼情形。
• 采用梅尔与拉斐尔在无阻尼 $L^2$-临界 NLS 工作中提出的对数对数区域假设，假设爆破动力学形式为 $\lambda(t) \sim (T-t)^{1/2} / \sqrt{\log|\log(T-t)|}$。
• 基于解映射在 $H^1$ 中对初值与阻尼参数 $a$ 的连续性，采用摄动论证，将无阻尼情形下的爆破行为转移至阻尼情形。
• 在小时间区间内应用 Strichartz 估计与不动点论证，控制阻尼与无阻尼解之间的差异，证明在小阻尼下爆破行为的稳定性。
• 通过推导尺度参数 $\lambda(t)$ 与调制参数 $b(t)$ 的微分不等式，并结合能量与虚位移型估计，建立爆破速率，从而导出对数对数律。
• 证明存在一个 $L^2$-型态 $u^*$，使得当 $t \to T$ 时，有 $u(t,x) - \lambda(t)^{-d/2} Q_{b(t)}(\cdot) e^{i\gamma(t)} \to u^*$ 在 $L^2$ 中收敛。

实验结果

研究问题

• RQ1 在 $L^2$-临界阻尼非线性薛定谔方程中，对于质量略高于阈值 $\|Q\|_{L^2}$ 的初值，是否可能发生有限时间爆破？
• RQ2 此前仅在无阻尼情形下已知的对数对数爆破速率，在小阻尼 $a>0$ 条件下是否依然成立？
• RQ3 在存在阻尼的情况下，爆破动力学是否对 $H^1$-扰动稳定？
• RQ4 解在爆破时刻附近的渐近行为如何？是否存在一个极限 $L^2$-型态？

主要发现

• 对于任意 $a>0$ 及足够小的 $\delta>0$，存在初值 $u_0 \in H^1(\mathbb{R}^d)$ 满足 $\|u_0\|_{L^2} = \|Q\|_{L^2} + \delta$，使得阻尼 $L^2$-临界 NLS 的解在有限时间内爆破。
• 爆破速率满足 $\|\nabla u(t)\|_{L^2} \sim \left( \frac{\log|\log(T-t)|}{T-t} \right)^{1/2}$，与无阻尼情形下的对数对数律一致。
• 满足 $\|u_0\|_{L^2} \leq \|Q\|_{L^2}$ 的解全局存在且在 $H^1$ 中有界。
• 在小阻尼与 $H^1$-扰动下，爆破动力学保持稳定，且解映射 $(a, u_0) \mapsto u(\cdot, a, u_0)$ 在 $C([0,T]; H^1)$ 中连续。
• 存在一个极限 $L^2$-型态 $u^* \in L^2(\mathbb{R}^d)$，使得当 $t \to T$ 时，有 $u(t, \cdot) - \lambda(t)^{-d/2} Q_{b(t)}(\cdot) e^{i\gamma(t)} \to u^*$ 在 $L^2$ 中收敛。