Finite-time blow-up for the four-dimensional mass-critical quadratic nonlinear Schrödinger system without mass resonance

技术摘要：无质量共振的四维临界质量二次型非线性薛定谔系统的有限时间爆破

问题陈述
本文研究了四维空间（$d=4$）中聚焦二次型非线性薛定谔（NLS）系统的 Cauchy 问题：
$$\begin{cases} i\partial_t u + \Delta u = -2vu, \\ i\partial_t v + \kappa \Delta v = -u^2, \end{cases} \quad (t, x) \in I \times \mathbb{R}^4,$$
其中 $\kappa > 0$。该系统是质量临界的，在标度变换 $u_\lambda(t, x) = \lambda^2 u(\lambda^2 t, \lambda x)$，$v_\lambda(t, x) = \lambda^2 v(\lambda^2 t, \lambda x)$ 下具有不变性。本研究针对具有径向初始数据 $(u_0, v_0) \in H^1_{\text{rad}}(\mathbb{R}^4) \times H^1_{\text{rad}}(\mathbb{R}^4)$ 且负能量 $E(u_0, v_0) < 0$ 的情况。

先前的研究（Inui–Kishimoto–Nishimura 以及 Dinh–Forcella）已经确定，此类解要么在有限时间内爆破，要么全局存在且其 $H^1$ 范数无限增长（具体而言，动能 $T(u(t), v(t))$ 至少随时间呈二次方增长）。本文旨在解决的一个开放性问题是：是否存在“全局增长”（global grow-up）的分支，或者负能量是否严格强制有限时间爆破。

方法论
证明采用了利用特定指数加权乘子的局部维里亚尔（virial）方法，该乘子不同于以往研究中使用的截断二次型权重。

1. 指数加权乘子：
   不同于在原点附近为二次型而在无穷远处为常数的权重，作者定义了：
   $$\phi_R(x) = R^2 \left(1 - e^{-|x|^2/R^2}\right), \quad \nabla \phi_R(x) = 2x e^{-|x|^2/R^2}.$$
   这一选择引入了一个“缺陷”函数 $\omega_R(x) = 1 - e^{-|x|^2/R^2}$。

2. 径向加权插值：
   一个关键的技术创新是径向加权插值估计（命题 2.2）。该估计通过加权动能缺陷来控制非线性误差项（在能量背景下为三次项）：
   $$\int_{\mathbb{R}^4} \omega_R |f|^3 dx \leq \varepsilon D_R(f) + O(R^{-2}),$$
   其中 $D_R(f) = \int \omega_R |\nabla f|^2 dx$。这使得非线性项可以被吸收进动能缺陷项中，其误差取决于守恒质量和 $R^{-2}$。

3. 维里亚尔-缺陷耦合：
   作者定义了局部维里亚尔量 $M_R(t)$ 和加权动能缺陷 $D_R(t)$。

   • 维里亚尔导数： 利用维里亚尔恒等式和 $\phi_R$ 的几何性质（特别是 $2I - D^2\phi_R \geq 2\omega_R I$），他们推导出了关于时间导数的不等式：
     $$M_R'(t) \leq 16E(u_0, v_0) - c D_R(t) + O(R^{-2}).$$
   • 维里亚尔界限： 至关重要的是，由于 $\nabla \phi_R$ 的有界性，他们可以将维里亚尔量本身由缺陷进行控制：
     $$|M_R(t)| \lesssim R M(u_0, v_0)^{1/2} D_R(t)^{1/2}.$$

4. Riccati 型不等式：
   通过选取足够大的 $R$ 以确保负能量占主导地位并压过 $O(R^{-2})$ 误差，导数不等式变为 $M_R'(t) \leq -c_0 - c_1 D_R(t)$。由于 $M_R(t)$ 最终会变为负值，令 $y(t) = -M_R(t)$ 可得：
   $$y'(t) \gtrsim y(t)^2.$$
   这种超线性微分不等式无法在所有时间内持续存在，从而迫使有限时间爆破。

主要结果

• 定理 1.1： 对于 $d=4$ 且 $\kappa \neq 1/2$，任何径向 $H^1 \times H^1$ 解，若具有负能量，则在时间正向（$T^+ < \infty$）和时间负向（$T^- < \infty$）均发生有限时间爆破。
• 无需有限方差假设： 与许多爆破结果不同，本定理并不要求初始数据具有有限方差（即 $x u_0, x v_0 \in L^2$）。指数权重确保了对于所有 $H^1$ 解，维里亚尔量都是良定义的。
• 排除全局增长： 该结果明确排除了对于非共振情况下的负能量径向数据，存在动能发散的全局解的可能性。

意义与主张
本文声称填补了 Dinh–Forcia [1] 留下的空白，后者证明了全局解必须增长，但并未排除其存在性。通过引入指数权重及相关的径向插值估计，作者证明了“增长”情景与系统的守恒律及维里亚尔结构是不相容的。

作者指出，虽然证明是针对非共振情况（$\kappa \neq 1/2$）给出的，但该论证并不依赖于此条件，因此也恢复了共振情况（$\kappa = 1/2$）下的有限时间爆破，尽管对于共振情况已有更强的结论。

此外，本文的方法论被认为可以推广到更一般的具有二次相互作用的四维临界质量系统，前提是这些系统拥有与齐次三次相互作用势相关的正守恒电荷和能量。本文还将研究与 Holmer–Roudenko 关于 3D 立方 NLS 的弱猜想进行了类比，暗示一种经过平移适配的维里亚尔-缺陷机制可能有助于解决该背景下的非径向增长问题，尽管这仍是一个开放性的研究课题。