Equivalence of Sobolev norms in Lebesgue spaces for Hardy operators in a half-space

この論文「EQUIVALENCE OF SOBOLEV NORMS IN LEBESGUE SPACES FOR HARDY OPERATORS IN A HALF-SPACE（半空間における Hardy 作用素に対するルベーグ空間でのソボレフノルムの同値性）」は、The Anh Bui と Konstantin Merz によって執筆された解析学（特に調和解析と偏微分方程式）の論文です。

以下に、この論文の技術的な要約を問題設定、手法、主要な貢献、結果、および意義の観点から日本語で詳細に記述します。

1. 問題設定 (Problem Statement)

半空間 $\mathbb{R}^d_+ = \mathbb{R}^{d-1} \times (0, \infty)$ において、以下の一般化されたシュレーディンガー作用素（Hardy 作用素）$L_\lambda$ を考察します。

$$L_\lambda^{(\alpha)} := (-\Delta)_{\mathbb{R}^d_+}^{\alpha/2} + \lambda x_d^{-\alpha}$$

ここで、

• $d \in \mathbb{N}$ は次元、$\alpha \in (0, 2]$ は微分の次数です。
• $(-\Delta)_{\mathbb{R}^d_+}^{\alpha/2}$ は、Bogdan, Burdzy, Chen によって導入された「地域的分数次ラプラシアン（regional fractional Laplacian）」です。$\alpha=2$ の場合はディリクレ境界条件付きのラプラシアンに帰着します。
• $x = (x', x_d) \in \mathbb{R}^d_+$ であり、$x_d$ は境界からの距離を表します。
• $\lambda x_d^{-\alpha}$ は、境界からの距離のべき乗に比例するポテンシャル（Hardy ポテンシャル）です。
• $\lambda$ は結合定数（coupling constant）であり、作用素が下有界であるための臨界値 $\lambda_*$ 以上であることが仮定されます。

主たる問い：
ポテンシャル項 $\lambda x_d^{-\alpha}$ を含む作用素 $L_\lambda$ と、ポテンシャルを含まない作用素 $L_0$（すなわち分数次ラプラシアンのみ）によって生成されるソボレフ空間（またはそのノルム）は、どの程度同値（equivalent）でしょうか？
具体的には、$s > 0$ に対して、以下のノルムが同値になる条件を $L^p$ 空間 ($1 < p < \infty$) の文脈で明らかにすることが目的です。

$$\| (L_\lambda)^{s/2} u \|_{L^p(\mathbb{R}^d_+)} \quad \text{と} \quad \| (L_0)^{s/2} u \|_{L^p(\mathbb{R}^d_+)}$$

これまでの研究（Frank と Merz によるものなど）は主に $L^2$ 空間 ($p=2$) に限定されていました。この論文は、これを任意の $p \in (1, \infty)$ へ拡張することを狙っています。

2. 手法とアプローチ (Methodology)

この問題を解決するために、著者らは以下の新しい技術的アプローチを採用しています。

A. 連続型平方関数評価 (Continuous Square Function Estimates)

従来の Littlewood-Paley 理論（バンプ関数 $\Psi$ を用いた投影）の代わりに、熱核（heat kernel）$e^{-tL_\lambda}$ を用いた連続型平方関数を使用します。
$\gamma > 0$ に対して、以下のように定義されます。

$$(S_{L_\lambda, \gamma} f)(x) := \left( \int_0^\infty |(tL_\lambda)^\gamma e^{-tL_\lambda} f|^2 \frac{dt}{t} \right)^{1/2}$$

定理 1.4において、この平方関数が $L^p$ 空間で有界であることを証明しています。
$$\| S_{L_\lambda, \gamma} f \|_{L^p} \simeq \| f \|_{L^p}$$
これにより、$(L_\lambda)^{s/2}$ のノルムを熱核を用いた積分で評価できるようになります。

B. 遅い減衰と特異重みを持つ熱核の評価

Hardy 作用素の熱核 $e^{-tL_\lambda}(x, y)$ は、通常のラプラシアンとは異なり、境界付近で特異な重み（$\sigma$ に依存する項）を持ち、減衰が遅い場合があります。

• 点評価 (Pointwise estimates): 熱核の具体的な上下界を導出・再利用します（定理 2.1）。
• 複素時間熱核: Phragm'en-Lindel"of 原理を用いて、複素時間 $z$ における熱核の推定値を拡張し、$(tL_\lambda)^k e^{-tL_\lambda}$ の核の評価に利用します（命題 2.2, 2.4）。
• 特異積分理論: Calder'on-Zygmund 理論を超えた、特異積分作用素の $L^p$ 有界性に関する新しい基準（Auscher の定理 3.1, 3.2）を適用し、平方関数の有界性を示します。

C. 逆 Hardy 不等式と一般化 Hardy 不等式

ソボレフノルムの同値性を示すために、以下の 2 つの不等式が鍵となります。

1. 逆 Hardy 不等式 (Reversed Hardy Inequality, 定理 1.6):
   作用素の差 $(L_0)^{s/2} - (L_\lambda)^{s/2}$ を評価する際に、Hardy ポテンシャル項 $x_d^{-\alpha s/2}$ を平方関数で下から抑える不等式です。これは、熱核の差 $e^{-tL_0} - e^{-tL_\lambda}$ の核の評価（命題 4.4）に基づいています。
2. 一般化 Hardy 不等式 (Generalized Hardy Inequality, 定理 1.8):
   Hardy ポテンシャル項 $x_d^{-\alpha s/2}$ を作用素 $(L_\lambda)^{-s/2}$ を通じて評価する不等式です。Riesz 核の推定値（Lemma 6.1）と重み付き Schur テストを用いて証明されます。

3. 主要な結果 (Key Results)

定理 1.1: ソボレフノルムの同値性

$p \in (1, \infty)$、$\alpha \in (0, 2]$、および適切な $\lambda$ に対して、パラメータ $\sigma$（$\lambda$ と $\alpha$ で定義される）を用いて、以下の同値性が成立する条件を特定しました。

• 条件 (a): $1/p > \frac{\alpha s}{2} - \sigma$ のとき、
  $$\| (L_0)^{s/2} u \|_{L^p} \lesssim \| (L_\lambda)^{s/2} u \|_{L^p}$$
• 条件 (b): $1/p > \frac{\alpha s}{2} - (\alpha-1)_+$ のとき、
  $$\| (L_\lambda)^{s/2} u \|_{L^p} \lesssim \| (L_0)^{s/2} u \|_{L^p}$$

これらが同時に満たされる領域（$1/p > \max\{ \frac{\alpha s}{2} - (\alpha-1)_+, \frac{\alpha s}{2} - \sigma \}$）において、両者のソボレフノルムは同値となります。

補題 1.2: リーズ変換の有界性

上記の結果から、$L_0$ と $L_\lambda$ に関連するリーズ変換の合成作用素が $L^p$ 有界であることが導かれます。

定理 1.10: 密度の結果

$(L_\lambda)^{s/2} C_c^\infty(\mathbb{R}^d_+)$ が $L^p(\mathbb{R}^d_+)$ において稠密であることを示しました。これは、作用素の定義域を扱う上で不可欠な結果です。

分数次の場合の拡張性

• 斥力ポテンシャル ($\lambda > 0$): 既知の熱核評価が利用可能であるため、結果は完全に成立します。
• 引力ポテンシャル ($\lambda < 0$): 現在、$\lambda < 0$ に対する熱核の上限評価が完全には確立されていませんが、もし既知の $\lambda \ge 0$ に対する評価が $\lambda \in [\lambda_*, 0)$ へ拡張可能であると仮定すれば、同様の結果が得られることを注記（Remark 1.3, 1.5, 1.7, 1.9）しています。特に $d=1$ の場合、Jakubowski と Maciocha によってこの評価が証明されているため、1 次元では完全な結果が得られます。

4. 意義と貢献 (Significance and Contributions)

1. $L^p$ 理論への拡張:
   これまでの研究（Frank & Merz, 2023 など）は $L^2$ 空間に限定されていましたが、本論文は任意の $p \in (1, \infty)$ に対してソボレフノルムの同値性を確立しました。これは、非線形シュレーディンガー方程式などの解析において、$L^p$ 空間での解の正則性や散乱性を議論する際に極めて重要です。

2. 新しい技術的道具立て:
   特異な重みと遅い減衰を持つ熱核を扱うための、新しい平方関数評価手法と、Schur テストを駆使した核の評価法を開発しました。これは、他の特異ポテンシャルを持つ作用素の研究にも応用可能な手法です。

3. 物理学的・応用的意義:

   • 量子力学: 臨界相互作用を持つ多粒子系（相対論的原子など）の解析において、複雑な Hardy 作用素を扱いやすい分数次ラプラシアンに置き換えることを可能にします。
   • 非線形偏微分方程式: ソボレフノルムの同値性は、非線形シュレーディンガー方程式の全球解の存在や散乱性の証明において、重要なツールとなります（Killip, Visan, Zhang らの先行研究の枠組みを Hardy 作用素へ拡張）。
   • Scott 予想: 相対論的原子における Scott 予想の証明において、この種のノルム同値性が決定的な役割を果たしました。

5. 結論

この論文は、半空間における Hardy 作用素に対して、$L^p$ 空間でのソボレフノルムの同値性を完全に特徴付けました。その核心は、熱核の精密な評価と、それを基にした新しい平方関数評価法の構築にあります。この結果は、数学物理学における多くのモデル問題（特に臨界ポテンシャルを持つ系）の解析を大幅に前進させる基盤となります。