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

技術要約：非質量共鳴下における4次元質量臨界二次非線形シュレディンガー系の有限時間爆発

問題設定
本論文は、4次元空間（$d=4$）におけるフォーカシング二次非線形シュレディンガー（NLS）系のコーシー問題を調査している：
$$\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$ の場合に焦点を当てている（非質量共鳴ケース $\kappa \neq 1/2$）。

先行研究（Inui–Kishimoto–Nishimura および Dinh–Forcella）では、このような解は有限時間で爆発するか、あるいは $H^1$ ノルムが無制限に増大しながら（具体的には運動エネルギー $T(u(t), v(t))$ が時間の二次関数以上に増大する）グローバルに存在するということが確立されていた。本論文が取り組む未解決問題は、「グローバルな増大（global grow-up）」の分岐が可能であるのか、それとも負のエネルギーが厳密に有限時間の爆発を強制するのかという点である。

手法
証明には、従来の切断された二次重みとは異なる、特定の指数関数的重みを用いた局所化ヴィリアル・アルゴリズムが用いられている。

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}.$$
   この選択により、欠損関数（defect function） $\omega_R(x) = 1 - e^{-|x|^2/R^2}$ が導入される。

2. 径方向重み付き補間:
   主要な技術的革新は、径方向重み付き補間評価（Proposition 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. リッカチ型不等式:
   $O(R^{-2})$ の誤差項に対して負のエネルギーが支配的になるよう $R$ を十分に大きく固定することで、微分不等式は $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–Forcella [1] の結果に残された空白を埋めるものである。指数関数的重みとそれに付随する径方向補間評価を導入することで、著者らは「増大（grow-up）」のシナリオが、保存則およびヴィリアル構造と矛盾することを証明した。

著者らは、証明が非共鳴ケース（$\kappa \neq 1/2$）に対して提示されているものの、この議論は当該条件に依存しておらず、共鳴ケース（$\kappa = 1/2$）についても有限時間爆発を回収できることを述べている（ただし、共鳴については既に強力な結果が知られている）。

さらに、本手法は、同次的な三次相互作用ポテンシャルに関連する正の保存電荷とエネルギーを持つ場合、4次元質量臨界の設定における二次相互作用を持つより一般的な系にも適応可能であると示されている。また、本論文は Holmer–Roudenko の 3D 三次 NLS に関する弱い予想との類似性を指摘しており、このヴィリアル・欠損メカニズムの並進適応版が、3D における非径方向の増大問題に対処できる可能性があることを示唆しているが、これは依然として未解決の研究課題である。