$L^p$ bounds for wave operators with critical electromagnetic potentials

技術的要約：臨界電磁ポテンシャルを持つ波動演算子の$L^p$有界性

問題設定
本論文は、平面（$\mathbb{R}^2$）におけるスケーリング臨界電磁ハミルトニアンに関連するメラー（Møller）波動演算子の$L^p$有界性を調査するものである。主要な対象となるハミルトニアンは以下で与えられる：
$$L_{A,a} = \left(-i\nabla + \frac{A(\theta)}{r}\right)^2 + \frac{a(\theta)}{r^2},$$
ここで、$A(\theta) = b(\theta)e_\theta$は横方向の磁気ポテンシャル、$a(\theta)$は角度方向の電気ポテンシャルを表す。著者らは以下の2つの特定のレジームに焦点を当てている：

1. 一般の電磁ポテンシャル： 滑らかな横方向磁気および角度方向電気ポテンシャルを持ち、非負の角度演算子と磁束 $\alpha \notin \frac{1}{2}\mathbb{Z}$ を持つ場合。
2. アハラノフ＝ボーム（AB）モデル： $b(\theta) = \alpha$（定数）かつ $a(\theta) = 0$ である特定のケース。本研究では、フリードリヒス実現（原点における正則な挙動）とクライン（Krein）実現（特定の角度チャネルにおける原点での特異な挙動）を区別している。

中心となる問題は、指数 $p \in (1, \infty)$ および重み $\beta$ の正確な範囲を決定することである。ここで、波動演算子 $W_\pm(H, -\Delta)$ およびその随伴演算子が $L^p$ および重み付き $L^p(\mathbb{R}^2, |x|^\beta dx)$ 空間上で有界となる範囲を求める。

手法
著者らは、ハミルトニアンを角度モードへの分解に基づくスペクトル的アプローチを用いて用いる。主な手法的構成要素は以下の通りである：

• 角度分解とハンケル変換： ハミルトニアンは、角度モード $k \in \mathbb{Z}$ に関する径方向演算子の直和へと対角化される。波動演算子は、位相因子を伴うハンケル変換 $H_\nu H_\mu$（ここで $\nu, \mu$ は $\alpha$ とモード $k$ に依存する）の積として表現される。
• メリン変換解析： ハンケル変換の合成 $H_\nu H_\mu$ がメリン乗算子であることが特定される。著者らは、解析性と有界性の帯域を決定するために、ガンマ関数の商を含むシンボル $m_{\nu,\mu}(z)$ を分析する。
• 乗算子定理： $L^p$ 有界性を確立するために、著者らはマルチンゲール（Marcinkiewicz）乗算子定理およびド・リー（de Leeuw）の制限定理を利用する。必要な微分境界条件を検証するために、離散的な角度シンボルから連続関数 $\mathbb{R}^2$ への滑らかな拡張を構築する。
• スペクトル移植（Spectral Transplantation）： 一般のポテンシャルの場合、摂動されたハミルトニアンを自由ラプラシアンへ写像するスペクトルインタートウィナー（移植演算子）を構築する。その際、AB波動演算子の有界性を「磁気的な入力」として利用する。
• 端点解析： 原点付近（$r \to 0$）および無限遠（$r \to \infty$）におけるハンケル変換の合成の漸近挙動を分析することにより、鋭利性（sharpness）を証明する。具体的には、$p=1$ および $p=\infty$ における有界性を阻害する $|x|^{-2}$ テールや特異性を特定する。

主要な貢献と結果

1. 一般の電磁ポテンシャル（定理 1.1）
非負の角度演算子と磁束 $\alpha \notin \frac{1}{2}\mathbb{Z}$ を持つ滑らかなポテンシャルの場合、著者らは波動演算子 $W_\pm(L_{A,a}, -\Delta)$ が存在し、$L^2$ 上でユニタリであり、$1 < p < \infty$ のすべての $p$ に対して有界な演算子として拡張されることを証明する。その随伴演算子も同様の性質を持つ。

• 注：半整数磁束について： $\alpha = 1/2$ のケースは、角度基底の退化のため、一般の定理からは除外されている。しかし、ポテンシャルの対称性の仮定の下では、ユニタリなスペクトルインタートウィナー（すべての $L^p$ で有界）が存在するが、それは必ずしも波動演算子自体ではない。

2. アハラノフ＝ボーム・フリードリヒス実現（定理 1.3 および系 1.4）
磁束 $\alpha \in \mathbb{R}$ を持つABハミルトニアンのフリードリヒス実現について：

• 非重み付きの場合： 波動演算子とその随伴演算子は、すべての $1 < p < \infty$ に対して $L^p(\mathbb{R}^2)$ 上で有界である。
• 重み付きの場合： 重み $|x|^\beta$ に対して、有界性は以下の場合にのみ成立する：
  • $W_\pm$ に対して：$-2 - p\rho_\alpha < \beta < 2(p-1)$、ここで $\rho_\alpha = \text{dist}(\alpha, \mathbb{Z})$。
  • $W_\pm^*$ に対して：$-2 < \beta < 2(p-1) + p\rho_\alpha$。
  • 同時有界性には、$-2 < \beta < 2(p-1)$ が必要である。
• 端点： $\alpha \neq 0$ のとき、これらの演算子は $L^1$ および $L^\infty$ 上で非有界である。$L^1$ での失敗は $|x|^{-2}$ 減衰テールに起因し、$L^\infty$ での失敗は、磁束に応じてシンボルのジャンプまたは非可積分なテールに起因する。

3. アハラノフ＝ボーム・クライン実現（定理 1.5）
クライン実現（境界条件が臨界チャネルにおいて特異な挙動 $r^{-\alpha}$ および $r^{-(1-\alpha)}$ を選択する場合）において、許容される $p$ の範囲はフリードリヒスの場合よりも厳格に減少する。

• $\eta_\alpha = \max\{\alpha, 1-\alpha\}$ とする。
• $W_\pm^K$ とその随伴演算子の両方が非重み付き $L^p$ 上で有界となるための必要十分条件は、以下である：
  $$\frac{2}{2-\eta_\alpha} < p < \frac{2}{\eta_\alpha}$$
• この結果は、自己随伴拡張（境界条件）の選択が、スペクトル特性および許容される $L^p$ 指数の範囲を根本的に変えることを示している。

意義と主張
本論文は、スケーリング臨界電磁ポテンシャルの存在下における波動演算子の $L^p$ 有界性に関する、初の完全な特徴付け（鋭利な重み付き推定および境界条件への正確な依存関係を含む）を提供することを主張している。

• スペクトル転送： 確立された有界性は、インターツインティング恒等式 $m(H) = W m(-\Delta) W^*$ を通じて、自由スペクトルの推定値（例：ストリチャッツ推定、レゾルベント境界、分数積分）を摂動された演算子へ転送することを可能にする。
• 境界条件への感受性： クライン実現がフリードリヒス実現よりも厳格な $L^p$ 範囲を課すという新たな知見は、短距離散乱では見られない現象である。
• 鋭利性： 著者らは、導出された $p$ および $\beta$ の範囲が最適であることを、端点 $p=1, \infty$ および導出された重み区間の外側で有界性が崩れるメカニズム（漸近的テールおよびシンボルの不連続性）を特定することで、厳密に証明している。

本研究は、逆二乗ポテンシャルおよび電磁的インターツワインイングに関する先行研究を、単なるスペクトルインタートウィナー（ではなく）完全な波動演算子を扱うこと、および様々な実現を持つ特定のABモデルに対する統一的な扱いを提供することによって拡張するものである。