Sharp and Endpoint Two-Weight Fractional Integral Estimates for Schr"odinger Operators with Inverse-Square Potentials

技術的要約：逆二乗ポテンシャルを持つシュレディンガー作用素に対する鋭い、および端点における二重重み分数積分評価

問題設定
本論文は、$\mathbb{R}^d$ ($d \ge 3$) 上の $L^2(\mathbb{R}^d)$ におけるシュレディンガー作用素 $H_a = -\Delta + a|x|^{-2}$ に関連する分数積分作用素 $H_a^{-s/2}$ の写像特性を扱う。ここで、ポテンシャルのパラメータ $a$ は、引き込み型のハーディ範囲 $-(d-2)^2/4 \le a < 0$ にある。著者らは、以下の二重重み不等式が成立するための指数 $p, q$ の完全かつ鋭い範囲を決定することを目的としている：
$$\||x|^{-\beta} H_a^{-s/2} f\|_{L^q} \lesssim \||x|^{\alpha} f\|_{L^p}$$
ここで $1 < p, q < \infty$ である。この作用還は、原点における特異性を持ち、逆二乗ポテンシャルのためにガウス型ではない減衰構造（non-Gaussian decay structure）を持つため、古典的なリースのポテンシャルとは区別される。

手法
解析は、Killipらによって確立された、$H_a^{-s/2}$ の核に関する既知の正の両側比較に基づいている。これは、当該作用素を、近対角リースの特異性、出力側の原点特異性、および入力側の原点特異性の3つの異なるメカニズムを含むモデル核 $K_{s,\sigma}$ に関連付けるものである。パラメータ $\sigma$ は、$\sigma = d - 2 - \frac{\sqrt{(d-2)^2 + 4a}}{2}$ として定義される。

鋭い写像範囲を確立するために、著者らは以下の手法を用いている：

1. 核の分解 (Kernel Decomposition): モデル核を、$x$ と $y$ の原点からの相対距離および互いの距離に基づいた3つの互いに素な領域 ($\Omega_0, \Omega_x, \Omega_y$) に分解する。これにより、作用素を3つの古典的なStein–Weiss型の作用素の和によって抑えることが可能となる。
2. 必要性の検証 (Necessity Testing): 特定のテスト関数を用いて必要条件を導出する：
   • スケーリング (Scaling): 斉次性の議論。
   • 原点への集中 (Origin Concentration): 原点付近に集中した関数を用いることで、重み $\alpha$ および $\beta$ に対する厳密な上界を導出する。
   • 平行移動 (Translation): 平行移動したテスト関数（球を無限遠へ移動させる）を用いることで、径方向のみの解析では見落とされる条件である $\alpha + \beta \ge 0$ を導出する。
   • 指数の順序 (Exponent Ordering): マルチブロック構成を用いて $p \le q$ を証明する。
3. 十分性 (Sufficiency): 十分性の証明は、分解された核の3つのパーツに対して古典的なStein–Weissの定理を適用することに帰着し、導出された条件が各パーツの要件を満たすことを検証する。
4. 端点解析 (Endpoint Analysis): 強な $L^p \to L^q$ 推定が破綻する臨界境界において、著者らはローレンツ空間の手法（具体的には $L^{p,1} \to L^{q,\infty}$）とペアリングの議論を用いて、正しい弱型推定を確立する。

主要な貢献および結果
本論文は、強な推定 $\||x|^{^{-\beta}} H_a^{-s/2} f\|_{L^q} \lesssim \||x|^{\alpha} f\|_{L^p}$ が $1 < p, q < \infty$ で成立するための以下の精密な条件を確立している：

1. 順序: $p \le q$。
2. スケーリング: $\frac{1}{q} = \frac{1}{p} + \frac{\alpha + \beta - s}{d}$。
3. 和の条件: $\alpha + \beta \ge 0$。
4. 原点の条件 (厳密): $\alpha + \sigma < \frac{d}{p'}$ および $\beta + \sigma < \frac{d}{q}$。

著者らは、いずれかの厳密な原点条件が等号となった場合、強な推定は成立しないことを証明している。しかし、これらの境界においては、ローレンツ空間の設定において推定は成立する：
$$\||x|^{-\beta} H_a^{-s/2} f\|_{L^{q,\infty}} \lesssim \||x|^{\alpha} f\|_{L^{p,1}}$$
逆に、入力空間が $L^{p,1}$（ではなく $L^p$）に制限されるか、あるいは出力が $L^{q,\infty}$（ではなく $L^q$）に制限される場合、推定は成立しない。

また、本論文は、二重重みソボレフ推定や、同一指数の重み付きHardy–Sobolevファミリーを含む、重み付きソボレフの結果も導出している。ハーディ臨界（$a = -(d-2)^2/4$）の場合については別途解析が行われており、核の比較は依然として有効であるが、標準的な重みなしのエネルギー埋め込みが除外された境界上に位置する可能性があることが指摘されている。

意義および主張
著者らは、本研究を、既に文献で知られている核に対して、冪重み（power-weight）の写像範囲の明示的かつ完全な分類を提供する「ノート（note）」として位置づけている。

• 径方向の結果との比較: 本研究は、ハンケル型ポテンシャルに関するNowakおよびStempakの鋭い径方向の結果を改善するものである。個々の原点条件は一致しているものの、全空間での解析により、非径方向の平行移動テスト関数によって必要とされるより強い和の条件 ($\alpha + \beta \ge 0$) が明らかになっている。
• 一般論との比較: 抽象的な二重重みテスト定理（例：Sawyer, Kairema）とは異なり、本論文は特定の逆二乗作用素に対して明示的な閉形式の条件を提供している。
• 主張の謙虚さ: 著者らは、熱核、スペクトルマルチプライヤー、バーンスタインの不等式、またはリトルウッド–パレーの理論に関する新しい結果を主張するものではないことを明示している。また、$p=1, q=\infty$、最良定数、極大値、またはその他の自己共役拡張についても扱わない。主な貢献は、既知の核構造を用いた、特定の二重重み問題の解決である。