Finite-mass soliton-type rigidity and four-channel reduction for the three-dimensional nonradial focusing energy-critical nonlinear Schrödinger equation

技術要約：3次元非放射状フォーカシング・エネルギー臨界NLSにおける有限質量ソリトン型剛性と4チャネル減少

問題設定
本論文は、3次元フォーカシング・エネルギー臨界非線形シュレディンガー方程式（NLS）に関する大域的なウェルポーズドネス（良好設定性）および散乱挙動を調査している：
$$i\partial_t u + \Delta u + |u|^4 u = 0, \quad (t, x) \in I \times \mathbb{R}^3.$$
研究の対象は、初期データ $u_0$ がグラウンドステートの閾値を下回るもの、具体的には $E(u_0) < E(W)$ かつ $\|\nabla u_0\|_2 < \|\nabla W\|_2$ を満たす場合である（ここで $W$ はアウビン–タレンティ・グラウンドステートである）。デフォーカシングの場合、および $d \ge 4$ のフォーカシングの場合（および $d=3$ の放射状フォーカシングの場合）は、散乱理論が確立されているが、非放射状のフォーカシング問題は、$d=3$ においては特定の集中メカニズムによって阻害されている。中心的な困難は、負のポテンシャルエネルギーの共存、有限質量の欠如（$d=3$ では $W \notin L^2(\mathbb{R}^3)$）、および対称性の制約がない場合の集中コアの任意の空間的ドリフトの可能性にある。

手法
著者らは、ケニグとメルルによって開発された集中・コンパクトネス／剛性（concentration-compactness/rigidity）の枠組みを用いている。戦略は、散乱の失敗を仮定することで「最小クリティカル要素（minimal critical element）」、すなわちスケーリングおよび平行移動の対称性に関してコンパクトな軌道を持つ、最小エネルギーの解を構成することである。

論文は以下の手法的なステップに従って進行する：

1. 4チャネル分解： 著者らは、潜在的な最小クリティカル要素を、その寿命（$T_+$）、周波数スケール（$N(t)$）、および質量特性に基づいて、互いに排他的な4つのチャネルに分類する：

   • FT (Finite-Time): $T_+ < \infty$。
   • RC (Rapid Cascade): $T_+ = \infty$ かつ $\int_0^\infty N(t)^{-1} dt < \infty$。
   • FM (Finite-Mass Bounded-Scale): $T_+ = \infty$、$N(t)$ が上下に有界であり、かつある時刻において解が有限質量（$u(t_0) \in L^2$）を持つ。
   • RQ (Residual Quasi-Soliton): 上記の補集合であり、非有界なスケールまたは無限の質量によって特徴付けられる。

2. FT および RC の排除：

   • FT チャネルは、「ノー・ウェイスト（no-waste）」デュアメル公式と周波数局在化された質量推定を組み合わせることで排除される。これにより、有限時間の爆発は解がゼロであることを意味することが示される。
   • RC チャネルは、有限のスケール積分が周波数スケールの発散（$N(t) \to \infty$）を強制することを示すことで排除される。この発散は、低周波数の質量回復推定と相まって、ゼロでない解に対する質量保存則との矛盾を導く。

3. FM チャネルの剛性（主要な貢献）：
   核心となる技術的革新は、解が有限質量を持ち、かつ空間の中心 $x(t)$ が任意にドリフトする可能性がある（劣線形ドリフトの仮定なし、ゼロ運動量なし、対称性なし）FM チャネルに対処することである。

   • 自己相互作用モラウェッツ汎関数： 空間的な中心を固定したり特定の速度を仮定したりする代わりに、著者らは差変数 $x-y$ にのみ依存する自己相互作用モラウェッツ汎関数を構築する。これにより、ドリフトする中心を追跡する必要がなくなる。
   • 対数平均化： 固定された物理的半径の欠如に対処するため、著者らはスケール $R \in [R_0, e^J R_0]$ にわたって相互作用カーネルを対数的に平均化する。これにより、境界誤差を $O(J^{-1})$ に抑える。
   • 局所ガレリアン共変性： フォーカシングの場合における決定的な障害は、負のポテンシャルエネルギーである。著者らは、各空間球内において最適な局所ガレリアン変換を導入する。局所的な運動量 $P_{R,c}$ を局所的な運動エネルギーから差し引くことで、正定値な「共変性」項を回収する。これにより、運動量の欠損が効果的に除去され、グラウンドステート閾値以下での強形式性が回復される。
   • 矛盾： （ガレリアン修正されたエネルギーから導かれる）正のメインブロックと（対数平均化によって制御された）誤差項の組み合わせにより、モラウェッツ汎関数の時間に関する線形成長が得られる。しかし、有限質量および有界スケールの仮定は、汎関数を時間に対して一様に有界にするため、解が恒等的にゼロでない限り矛盾が生じる。

主要な貢献と結果

• 定理 1.1 (有界スケール有限質量剛性)： 本論文は、スケーリングおよび平行移動に関してほとんど周期的な、かつ有界な周波数スケールとある時刻における有限質量を持つ、3次元フォーカシング・エネルギー臨界NLSのあらゆる大域的な強解は、恒等的にゼロであることを証明している。極めて重要なことに、この結果は、放射状対称性、ゼロ総運動量、微分可能性、または劣線形ドリフト（$|x(t)| = o(t)$）を仮定せずに成立する。
• 定理 1.2 (3チャネルの排除)： 閾値以下の散乱に対するいかなる最小反例も、FT、RC、または FM チャネルには属さないことが厳密に確立されている。
• 系 1.3 (残留チャネル基準)： 一般的な非放射状データに対する閾値以下の散乱の全問題は、残留準ソリトン (RQ) チャネルの非存在へと還元される。もし最小反例が存在するならば、それはRQチャネルに属さなければならず、これはすべての時刻において、あるいは無限の質量または非有界なスケールのいずれかを持つことを意味する。

意義
本論文は、有限質量の有界スケールによる障害を、均質な3次元非放射状フォーカシング方程式において分離し、排除している。先行研究（例：放射状データの Kenig-Merle、$d=4$ の Dodson、$d \ge 5$ の Killip-Visan）は、特定の対称性、対数 $L^2$ 端点、または負の正則性議論に依存していたが、これらは $d=3$ の非放射状有限質量ケースには直接適用できない。

本研究の意義は以下の点にある：

1. ドリフト仮定の除去： 集中中心が低速で移動するか、あるいはゼロ運動量を持つことを要求することなく、有限質量解の剛性問題を解決した。これは、従来の条件付き結果からの重要な進展である。
2. 新しい剛性メカニズム： 差変数を用いた自己相互作用汎関数と局所ガレリアン共変性の組み合わせは、負のポテンシャルエネルギーと任意の中心ドリフトが存在する場合に、正性を回復するための新しいメカニズムを提供する。
3. 問題の減少： 最初の3つのチャネルを閉じることにより、残された障害をRQチャネルへと絞り込んだ。これにより、3次元非放射状ケースにおける潜在的な散乱の失敗は、無限の質量または非有界なスケールを持つ解として現れることを明らかにし、潜在的な反例の性質を特徴づけた。

著者らは、自らの結果が、彼らのコンパニオン・ペーパー（固定中心または円筒対称性を扱うもの）の中にネストされたものではなく、それらと補完的なものであると明言している。本研究は、特に「純粋な」非放射状有限質量の端点を対象としており、3次元フォーカシングNLSのエネルギー臨界理論における空白を埋めるものである。