On wave operators for Hardy operators with and without perturbations

技術要約：Hardy作用素（摂動ありおよびなし）に関する波動演算子

問題設定
本論文は、$L^2(\mathbb{R}^d)$ 上の作用素 $L_\kappa = (-\Delta)^{\alpha/2} - \kappa|x|^{-\alpha}$ （ここで $\alpha \in (0, 2] \cap (0, d)$ かつ $\kappa \le \kappa_c$）における時間依存散乱理論を調査している。ここで $\kappa_c$ はHardyの不等式におけるシャープな定数である。主な目的は、自由なダイナミクス（分数型ラプラシアン $L_0$ または一般的なフーリエ乗算子 $C_0$）と、摂動されたダイナミクス（Hardy作用素 $L_\kappa$ および短距離ポテンシャル $V^S$ または長距離ポテンシャル $V^L$ によるさらなる摂動）をインターツワインする波動演算子 $W(H, H_0)$ の漸近完備性を確立することである。

中心的な課題は、スケーリング臨界なHardyポテンシャル $|x|^{-\alpha}$ が存在する状況下でのこれらの作用素の振る舞いであり、特に臨界結合定数 $\kappa = \kappa_c$ および非局所的な領域 $\alpha < 2$ における挙動である。また、長距離摂動が存在する場合の波動演算子の存在および非存在に関するシャープな閾値を決定することも目的としている。

手法
著者らは、$\alpha$ のパラメータ領域およびポテンシャルの性質に応じてツールを適応させながら、漸近完備性と非存在の結果を証明するために、3つの異なるフレームワークを用いている。

1. 抽象セミグループ・フレームワーク（$\alpha > 1$ の場合）:
   $\alpha > 1$ の場合、著者らは先行研究（[DS99a], [DGS01], [Gie04] など）で確立されたセミグループ・アプローチを利用する。この手法は、熱核の差 $e^{-tH} - e^{-tH_0}$ がコンパクトであり、特定の重み付き有界性を満たすことを検証することに基づいている。主要な技術的成果は、$L_\kappa$ に関するシャープな熱核境界（[BGJP19], [JW20], [CKSV20] より）の使用である。これらは自由な熱核と基底状態 $|x|^{^{-\sigma}}$ へと因子分解される。この因子分解により、標準的なMourre理論がゼロエネルギーにおける共鳴のために破綻してしまう領域である臨界結合 $\kappa = \kappa_c$ の取り扱いが可能となる。

2. Katoのスムースネス理論（$\alpha \le 1$ の場合）:
   非局所的なケース $\alpha \le 1$ において、著者らは [MY21] の結果を拡張し、Katoのスムースネス法を適用する。これには、短距離ポテンシャルがハミルトニアンに対してスムースであることを証明することが含まれる。大きな技術的障壁は、低運動量における群速度 $\alpha|D|^{\alpha-1}$ の特異性である。これを克服するため、著者らは自由作用素 $L_0$ のべき乗をHardy作用素 $L_\kappa$ のべき乗に置き換え、これらの作用素によって生成される斉次ソボレフノルムの同値性（Proposition 4.2）を利用する。このアプローチには、正の交換子評価を効果的に利用するために、結合が劣臨界（$\kappa < \kappa_c$）である必要がある。

3. 伝播評価とCook–Kuroda法:
   本論文では、Hardy作用素に関する新しい伝播評価を開発しており、これは（Cook–Kuroda法を介した）漸近完備性の証明と、非存在の結果の確立の両方において極めて重要である。

   • 最小脱出速度: 膨張生成子 $A$ によって測定される「脱出速度」が低い状態が、急速に減衰することを示す評価。
   • 外向き位相空間への伝播: 状態とポテンシャルの重なりが、外向きの位相空間領域において急速に減衰することを示す評価。
   • 重み付き伝播: 空間モーメントの成長が弾道的スケールを超えないことを示す、成長に関する境界。
     これらの評価は、交換子展開、非減衰関数に対するHelffer–Sj"ostrandの計算、および膨張の生成子 $A$ に依拠している。

主要な貢献と結果

• $\alpha > 1$ における漸近完備性:
  本論文は、波動演算子 $W(L_\kappa, L_0)$, $W(L_\kappa - V^S, L_0)$, および $W(L_\kappa - V^S, L_\kappa)$ が、臨界ケースを含むすべての $\kappa \le \kappa_c$ に対して漸近的に完備であることを証明している。これは、$\kappa < \kappa_c$ に限定されていた、あるいは摂動的な仮定を必要としていた従来の結果を拡張するものである。これらの結果は、同様の大きな運動量挙動を持つ一般的なフーリエ乗算子 $C_0$ に対しても成立する（Corollary 1.7）。

• $\alpha \le 1$ における漸近完備性:
  短距離ポテンシャルの減衰率 $\rho_S$ と結合 $\kappa$ に関する特定の条件（具体的には $\kappa < \kappa_c$）の下で、波動演算子 $W(L_\kappa - V^S, L_\kappa)$ は漸近的に完備であることが示される。結果は、$1/2 < \alpha \le 1$ の範囲をカバーしており（および $\alpha = 1/2, d \ge 2$ の場合も拡張している）、ポテンシャルがKatoのスムースネス理論と互換性のあるスムースネスおよび減衰の仮定を満たしていることを前提としている。

• 波動演算子の非存在:
  本論文は、長距離摂動に関するシャープな非存在の結果を確立している：

  • $\alpha \le 1$ かつ $\kappa \neq 0$ のとき、波動演算子 $W(L_\kappa, L_0)$ は存在しない。
  • 摂動 $V^L$ が長距離（$0 < \rho_L \le 1$ で減衰）である場合、摂動された系と非摂動系をインターツワインする波動演算子は一般に存在しない。
  • 具体的には、$0 < \rho_L \le \alpha \le 1$ （および $\alpha = 1/2, d \ge 2$）の場合、$W(L_\kappa - V^L, L_\kappa)$ は存在しない。
    これらの結果は、[IW20] に着想を得た抽象的な非存在基準、および最小脱出速度と重み付き伝播評価を用いた直接的な評価から導かれている。

• 他の作用素への一般化:
  結果は、特定の臨界点に関するスペクトル条件を満たすクラスのフーリエ乗算子 $C_0 \in \mathcal{K}_\alpha$ （擬相対論的運動エネルギー $(1-\Delta)^{\alpha/2}-1$ を含む）へと拡張される。

意義と主張
著者らは、自らの研究がスケーリング臨界なポテンシャルを持つ分数型シュレディンガー作用素の散乱理論を進展させるものであると主張している。主な意義は以下の通りである：

1. 臨界結合の取り扱い: 交換子評価（ゼロエネルギーで破綻するもの）に頼ることなく、熱核の構造を利用することで、$\alpha > 1$ における臨界ケース $\kappa = \kappa_c$ を成功裏に扱うこと。
2. 新しい伝播評価: Hardy作用素に対して、スケーリング臨界なポテンシャルを組み込んだ新しい伝播評価を開発したこと。これらの評価は、以前の文献では分数型作用素に対して組み込まれていなかったものである。これらは独立した関心事としてのツールとして提示されており、$N$粒子散乱問題にも適用可能である。
3. シャープな閾値: 摂動の減衰率とHardyポテンシャルの同次性の役割を明確にすることで、波動演算子の存在と非存在に関する包括的な全体像を提供すること。

本論文は、$\alpha \le 1$ の領域で見られる技術的な制限（$\alpha > 1/2$ や $\sigma$ に関する特定の境界など）は、根本的な物理的障害ではなく、現在の証明手法（具体的にはソボレフノルムの比較およびKatoのスムースネスの利用）によるアーティファクト（人工的な制約）である可能性が高いことを明記している。著者らは、将来の研究においてこれらの閾値を下げることが可能であるという楽観的な見解を示している。