The $L^p$-continuity of wave operators for fractional order Schrödinger operators

技術要約：分数階シュレディンガー演算子に対する波動演算子の$L^p$連続性

問題設定
本論文は、空間次元 $n > 2\alpha$、$\alpha > 1$ かつ $\alpha \notin \mathbb{N}$ における分数階シュレディンガー演算子 $H = (-\Delta)^\alpha + V(x)$ に随伴する波動演算子 $W_{\pm}$ の $L^p(\mathbb{R}^n)$ 有界性を調査するものである。ポテンシャル $V$ は実数値であり、減衰するものである。波動演算子は、強収束極限 $W_{\pm} = \text{s-lim}_{t\to\pm\infty} e^{itH}e^{-itH_0}$ （ここで $H_0 = (-\Delta)^\alpha$）として定義される。主な目的は、$W_{\pm}$ がすべての $1 \leq p \leq \infty$ に対して有界な作用素へと拡張されるための $V$ に関する条件を確立することである。この有界性は、包含関係式 $f(H)P_{ac}(H) = W_{\pm}f(H_0)W_{\pm}^*$ を通じて、自由演算子の写像特性を摂動された演算子へと転送し、それによって摂動された方程式の分散およびストリチャッツ（Strichartz）評価を得るために極めて重要である。

手法
著者らは定常位相法を用い、摂動および自由演算子のレゾルベント（解像度演算子）を含む積分を用いて波動演算子を表現する：
$$W_+ u = u - \frac{1}{2\pi i} \int_0^\infty R_V^+(\lambda) V [R_0^+(\lambda) - R_0^-(\lambda)] u \, d\lambda.$$
変数変換 $\lambda \mapsto \lambda^{2\alpha}$ を行った後、分析は演算子の積分核に焦点を当てる。手法は以下の3つの主要な構成要素に分けられる：

1. ボルン級数展開（Born Series Expansion）: 摂動レゾルベント $R_V$ をレゾルベント恒等式を用いてボルン級数へと展開する。著者らは、この級数の各項 $W_J$ の $L^p$ 有界性を分析する。整数次の場合（$\alpha = m \in \mathbb{N}$）には、高次のレゾルベントを標準的な2次のレゾルベントに関連付ける「分割恒等式（splitting identity）」が存在するが、分数階の場合にはこのような明示的な代数的関係が存在しない。その結果、著者らはボルン級数の項に対応するフーリエ乗算子を直接評価する。彼らは、カーネル $h_{k,\epsilon}$ を含む演算子 $T_k^\alpha$ の表現を用い、関数 $p_\omega(\xi) = \frac{|\xi-\omega|^2 - |\xi|^2}{|\xi-\omega|^{2\alpha} - |\xi|^{2\alpha}}$ の性質を用いて、このカーネルの減衰評価を確立する。

2. 低エネルギー分析 ($0 < \lambda \ll 1$): 低エネルギー領域におけるボルン級数のテイル（裾）に対して、著者らは対称レゾルベント恒等式を用いて、摂動レゾルベントを $M^+(\lambda) = U + v R_0^+(\lambda^{2\alpha}) v$ で表される演算子を用いて表現する。ゼロエネルギーが正則である（閾値共鳴や固有値が存在しない）と仮定すると、$M^+(\lambda)$ は $\lambda=0$ 付近で可逆である。分析は、分布 $|\xi|^{-2\alpha} - (1+i0)^{-1}$ のフーリエ変換から導かれる、自由レゾルベントのカーネル $R_0^+(\lambda^{2\alpha})(x,y)$ およびその導関数の精密な点別評価に依存する。これらの評価は、整数次の場合とは特に $n - 2\alpha$ が小さい場合に異なる、分数階演算子の特有の特異構造を考慮して、命題 3.3 に詳細に記述されている。著者らは、整数次の場合に起こる完全な $\lambda$ のべき乗利得が $n - 2\alpha < 1$ の際に欠如していることを扱うため、パラメータ $\eta > 0$ を導入している。

3. 高エネルギー分析 ($\lambda \gtrsim 1$): 高エネルギーのテイルについては、吸収原理（limiting absorption principle）および命題 3.4 で確立されたレゾルベントの点別評価に依拠する。著者らは、反復次数 $\ell$ が十分に大きいとき、テイル項のカーネルが「許容可能な」カーネル（Schur テスト条件を満たすもの）によって点別的に支配され、その結果 $L^p$ 有界性が保証されることを示す。

主要な貢献と結果
本論文は、非局所的な分数階シュレディンガー演算子に対する波動演算子の $L^p$ 有界性に関する最初の結果を確立するものである。主要な定理は、次元 $n$ と次数 $\alpha$ に依存する、ポテンシャル $V$ に対する十分な減衰および滑らかさの条件を与える：

• 定理 1.1 (小さなポテンシャル): $n$ と $\alpha$ の関係に応じて特定の重み付き $L^2$ またはフーリエノルム条件を満たす小さなポテンシャルに対して、$L^p$ 有界性を確立する：

  • $2\alpha < n < 4\alpha - 1$ の場合：$\|\langle \cdot \rangle^{\frac{4\alpha+1-n}{2}+\delta} V\|_{L^2} < C$ が必要。
  • $n = 4\alpha - 1$ の場合：$\|\langle \cdot \rangle^{1+\delta} V\|_{H^\delta} < C$ が必要。
  • $n > 4\alpha - 1$ の場合：十分大きな $\sigma$ に対して $\|\mathcal{F}(\langle \cdot \rangle^\sigma V)\|_{L^{\frac{n-1-\delta}{n-2\alpha-\delta}}} < C$ が必要。
    これらの条件は、$H$ が正の固有値を持たず、かつゼロエネルギーが正則であるという仮定を伴う。

• 定理 1.2 (大きなポテンシャル): 小ささの仮定を取り除き、代わりに強い無限遠での減衰（$|V(x)| \lesssim \langle x \rangle^{-\beta}$、ここで $\beta > n^*$、ただし $n^*$ は $n$ が奇数の場合は $n+4$、偶数の場合は $n+3$）を要求するが、同様のスペクトル仮定は維持される。

• 系: 波動演算子の有界性の直接的な帰結として、著者らは以下を導出する：

  • 分散評価 (Dispersive Estimates): $\|e^{-itH}P_{ac}(H)\|_{L^p \to L^{p'}} \lesssim |t|^{\frac{n}{\alpha}(\frac{1}{2} - \frac{1}{p})}$ ($1 \leq p \leq 2$)。
  • ストリチャッツ評価 (Strichartz Estimates): $\|e^{-itH}P_{ac}(H)f\|_{L^q_t L^r_x} \lesssim \|f\|_{L^2}$ （許容されるペア $(q,r)$ に対して）。
  • 一般化された分散境界: $H$ の分数冪を含む作用素に関する境界であり、次元 $n > 4\alpha - 1$ への最近の研究を拡張するものである。

意義と主張
著者らは、これらの結果が、彼らの知る限り、非局所的な分数階シュレディンガー演算子に対する波動演算子の $L^p$ 有界性を研究した最初の研究であると述べている。本研究は、整数次演算子（$\alpha = m \in \mathbb{N}$）に対して既知であった先行研究を分数階の設定へと一般化するものである。論文では、レゾルベント構造を簡素化する分割恒等式が欠如しているため、分析が繊細であることを強調している。また、ポテンシャルに関する特定の条件（特に $n > 4\alpha - 1$ における滑らかさの要求）は、高エネルギーにおける自由レゾルベントカーネルの増大に基づいた、整数次の場合の自然な一般化であると述べている。著者らは、ゼロエネルギーの障害（共鳴および固有値）の分析については、整数次の場合と同様の結果が期待されるとし、将来の課題として明示的に残している。本論文は、新しい物理的応用や実験的セットアップを提案するものではなく、非線形分数階シュレディンガー方程式の研究を支えるために必要な厳密な線形分析にのみ焦点を当てている。