Long time behavior of small solutions of NLS with non-generic potentials in one dimension

技術要約：非定型的ポテンシャルを持つ1次元NLSの小解の長時間挙動

問題設定
本論文は、実数値の外力ポテンシャル $V(x)$ を持つ1次元の3次非線形シュレディンガー方程式（NLS）：
$$i\partial_t u - \partial_{xx} u + V(x)u \pm |u|^2 u = 0, \quad u(0, x) = u_0(x)$$
における小解の長時間挙動を調査するものである。
主な焦点は、シュレディンガー演算子 $H = -\partial_{xx} + V$ がゼロエネルギー共鳴（非自明な有界解 $H\phi = 0$）を許容する**非定型的（non-generic）**なケースにある。定型的ケースや対称的な非定型的ケース（例：偶関数ポテンシャル）とは異なり、対称性の仮定がない非定型的設定は、重大な解析的課題を提示する。具体的には、標準的な歪み付きフーリエ変換（dFT）はゼロ周波数において不連続であり、非線形相互作用が低周波での改善を欠いた「危険な」主値（p.v.）項を生成する。目的は、重み付きソボレフ空間における小初期データに対して、ほぼ大域的な時間スケールにわたる定量的な減衰評価を確立することである。

手法
解析は、歪み付きフーリエ設定に適応させた時空共鳴法とブートストラップ論法に基づいている。核心となる技術的革新は以下の通りである：

1. 修正された歪み付きフーリエ変換 (dFT):
   非定型的ケースでは、標準的なdFTの核 $K(x, k)$ は $k=0$ で不連続である。著者は、標準的な基底のユニタリ変換を通じて、修正された核 $K^\sharp(x, k)$ を導入する。この修正により、ゼロ周波数における連続性が保証され、プランシュレル等式が保存され、一貫したスペクトル解析が可能となる。核は、「特異な」部分 $K^\sharp_S$（共鳴効果を捉える）と、「正則な」部分 $K^\sharp_R$（空間的に局在している）に分解される。

2. 非線形スペクトル分布 (NSD) の分解:
   歪み付き周波数空間における非線形相互作用は、NSD $\mu^\sharp(k, \ell, m, n)$ にエンコードされる。本論文では、この分布を以下の4つの成分に精緻に分解している：

   • $\mu^\sharp_0$: 平坦なケース（$V=0$）と同様の、ディラックのデルタ関数の線形結合。
   • $\mu^\sharp_L$: 係数がゼロ周波数で消失する「改善された低周波」部分であり、標準的な平滑化評価の使用を可能にする。
   • $\mu^\sharp_{p.v.}$: 「危険な」主値部分。決定的なことに、一般的な非定型的ケース（対称性がない場合）においては、この項は消失せず、先行研究（例：Chen and Pusateri [5]）で見られるような低周波での改善も欠いている。
   • $\mu^\sharp_R$: 局在化した関数および滑らかな分布からなる正則な部分。

3. 評価式とブートストラップ・スキーム:

   • 線形評価: 修正された核および特定の低周波構造に合わせた、分散減衰（$L^\infty$ における $t^{-1/2}$）、平滑化評価、および局所減衰評価を確立する。
   • 非線形 $L^2$ 評価: 特異な部分（$N_0, N_L, N_{p.v.}$）については、$\partial_k$ と三項形式との間の交換関係を用いた。$N_0$ と $N_L$ は標準的な平滑化評価を通じて扱われるが、$N_{p.v.}$ の取り扱いには新しいフーリエ制限型の不等式（補題5.5）が必要となる。この不等式 $\left(\int |\hat{F}(k^2)|^2 dk\right)^{1/2} \lesssim \|F\|_{L^{4/3}}$ は、低周波での打ち消しがない状況下で、プロファイルの微分の $L^2_k$ ノルムの増大を制御するために極めて重要である。
   • 非線形 $L^\infty$ 評価: 正則な部分は高次の剰余項のみに寄与する。特異な部分は、分布的なシンボルを持つ振動積分の定常位相補題を用いて解析される。

4. ブートストラップ論法:
   証明は、歪み付き周波数空間におけるプロファイル $f(t, x) = e^{-itH}u(t, x)$ に対するブートストラップ仮説（$\|f^\sharp\|_{L^\infty_k} + \langle t \rangle^{-1/4} \|\partial_k f^\sharp\|_{L^2_k} \leq 2C_0 \varepsilon$ という形の境界）を利用する。解析により、$\partial_k f^\sharp$ の $L^2_k$ ノルムの増大が最大でも $O(\varepsilon^3 \langle t \rangle^{1/4})$ であることが示され、これはほぼ大域的な時間間隔においてブートストラップ論法を成立させるのに十分である。

主要な結果
主要定理（定理1.1）は、特定の減衰およびスペクトル条件（固有値なし、$V \in L^1(\langle x \rangle^\gamma dx)$、ただし $\gamma > 5/2$）を満たす非定型的ポテンシャル $V$ に対して、初期データ $u_0$ が $\|u_0\|_{H^1} + \|xu_0\|_{L^2} \leq \varepsilon \leq \varepsilon_0$ を満たすとき、以下を確立する：

• 方程式は一意な大域解 $u \in C(\mathbb{R}, H^1(\mathbb{R}))$ を持つ。
• 解は鋭い線形減衰率 $\|u(t)\|_{L^\infty_x} \lesssim \varepsilon \langle t \rangle^{-1/2}$ を満たす。
• これらの境界は、すべての $t \in [-T_\varepsilon, T_\varepsilon]$（ここで $T_\varepsilon = \exp(1/c\varepsilon^2)$）において成立する（ほぼ大域的存在）。
• プロファイル $f^\sharp$ は、上記の重み付きノルムにおいて一様境界を満たす。

意義と主張
本論文の主な新規性は、ゼロエネルギー共鳴を扱うために以前必要であった、ポテンシャル $V$ に対する追加の対称性の仮定を取り除いたことにある。

• 対称性の除去: 以前の結果（例：Chen and Pusateri [5]）は、ゼロエネルギー共鳴が奇または偶であるか、あるいは $\pm \infty$ における極限が一致または反対であるという仮定の下でのみ、修正散乱または大域的境界を確立していた。本研究は、そのような対称性は、定量的なほぼ大域的境界を得るために必要ではないことを証明している。
• 「危険な」p.v. 項の処理: 本論文は、対称性がない場合に、非線形スペクトル分布の中に「危険な」主値項（$\mu^\sharp_{p.v.}$）が現れることを特定している。この項は、低周波での打ち消しに依存する標準的な平滑化評価の使用を妨げる。著者は、新しいフーリエ制限不等式を導入することで、低周波での改善が欠如しているにもかかわらず、プロファイル微分の $L^2$ ノルムを制御できることを示した。
• 増大の最適性: 解析により、$\|\partial_k f^\sharp\|_{L^2_k}$ の増大が $t^{1/4}$ のオーダーであることが明らかになった。著者は、この増大率は非対称な非定型的ポテンシャルに対して最適である可能性が高いと論じている。非対称な共鳴によって駆動される $x=0$ における解の特定の漸近挙動のため、より遅い増大率（例：$t^\alpha$、$\alpha < 1/4$）で大域的な結果を得るためのブートストラップ・スキームを閉じることは困難であると議論している。したがって、結果は、対称性の欠如による制限を反映して、「大域的」ではなく「ほぼ大域的」として提示されている。

要約すれば、本論文は、非定型的ポテンシャルを持つNLSの長時間ダイナミクスに関する理解を拡張し、対称性がなくても修正散乱が成立しない可能性がある一方で、洗練されたスペクトルおよび調和解析の手法を用いることで、指数関数的に長い時間に対して鋭い減衰および定量的な境界を確立できることを示している。