Critical fractional Hardy inequalities

技術要約：臨界分数ハーディ不等式

問題提起
本論文は、ディリクレ形式およびソボレフ–ブレグマン形式に関する、特に一次元の場合の臨界分数ハーディ不等式の研究を扱っている。中心となる問題は、対称カーネル $k(x,y)$（$-\alpha-1$ 次の同次性を持ち、標準的な分数カーネル $\nu_\alpha(x,y) = |x-y|^{-\alpha-1}$ によって抑えられるもの）に関連する二次および非二次形式のグラウンド状態表現を確立することである。

分数ラプラシアンの $L^2$（二次形式のケース）および特定の領域については、鋭い（sharp）ハーディ不等式とグラウンド状態表現が既知であるが、本研究は以下のことを目的としている：

1. 一般的な対称カーネル $k \in \mathcal{K}_\alpha$ および $L^p$ 設定（$p \in (1, \infty)$、ソボレフ–ブレグマン形式経由）へのグラウンド状態表現の拡張。
2. 得られるハーディ重みの**臨界性（criticality）**の決定。すなわち、これらの重みが正のルベーグ測度を持つ任意の集合上で増加させることができないことを証明すること。
3. セルヴァデイ–ヴァルディノシ（Servadei–Valdinoci）形式（$x>0$ または $y>0$ での積分）や、正の半直線と負の半直線における重みの均衡化を含む、関心の高い特定のケースの解決。

手法
著者らは、代数的な恒等式、積分解析、および関数解析的手法を組み合わせて用いている：

• グラウンド状態表現: コアとなる手法は、一般化された「ドゥーブ条件付け（Doob conditioning）」（または $h$ 変換）に依拠している。関数 $u$ に対して、著者らは $u = v \cdot h$ と置換する（ここで $h$ は特定のグラウンド状態の候補である）。彼らは、ソボレフ–ブレグマン形式 $E_{k,p}[u]$ を、重み付き $L^p$ 項と非負の剰余項へと分解するために、ブレグマン・ダイバージェンス $F_p$ に関する代数的恒等式（式32）を利用する。
• カーネル解析: カーネル $k$ は、対称であり、$-\alpha-1$ 次の同次性を持ち、$\nu_\alpha$ によって抑えられると仮定される。著者らは、べき関数に対するカーネルの積分から導出される特定の定数（$\gamma_\pm, C_\pm, D_\pm$）を定義し、これによってハーディ重みを特徴付ける。
• 臨界性の証明: 重みが臨界的であることを証明するために、著者らは関数列 $v_n$（コンパクト集合上での定数関数 1 を近似するもの）を構成し、形式と重み付き積分の比がゼロに収束することを示す。これには、特定のヒルベルト空間 $H_{\alpha,p}$ におけるこれらの列の有界性を確立すること、および、いかなる重みの改善も不等式を破ることになることを示すための弱収束の議論（バナッハ–アラオグルの定理およびマズールの補題）を用いることが含まれる。
• 均衡化と最適化: 論文では、非対称パラメータ $s$ と指数 $\beta$ を導入し、正の半直線と負の半直線におけるハーディ重みを均衡化する。$s$ について最適化を行うことで、著者らは関数 $u$ の非対称性を定量化する追加の非負項を含む「改良された」臨界ハーディ不等式を導出する。

主要な貢献と結果

1. 一般のグラウンド状態表現 (定理 3.1):
   本論文は、$p \in (1, \infty)$ および一般的なカーネル $k \in \mathcal{K}_\alpha$ に対するソボレフ–ブレグマン形式 $E_{k,p}[u]$ の厳密な恒等式を確立している。この表現は、形式を、重み付き $L^p$ ノルムと、グラウンド状態 $h_{\beta,s}$ を含む非負の剰余項の和として表すものである。これは、分数ラプラシアンまたは特定の $p=2$ のケースにおいてのみ既知であった従来の知見を一般化するものである。

2. ハーディ重みの臨界性 (定理 3.3):
   著者らは、グラウンド状態表現から導かれる重み $W_{k,p,s}$ が臨界的であることを証明している。具体的には、任意の $s \in (0, \infty)$ に対して、この重みは正の測量を持つ任意の集合上で増やすことができず、さもなくば不等式に違反することになる。これにより、広範なクラスのカーネルにおける $L^p$ 設定での臨界性の問題を解決している。

3. 均衡化と非対称性 (定理 3.5 および系 3.8):
   この研究は、既約なカーネルに対して、$s$ を調整することで、正の半直線 ($x>0$) と負の半直線 ($x<0$) におけるハーディ重みを均衡化できることを明らかにしている。

   • $D_+ = D_-$ となる特定の $s_0$ が存在し、そのとき重みは $D|x|^{-\alpha}$ の形をとる。
   • 論文は、右辺に非負項 $G_{k,p}(u)$ を加えた「改良された」臨界ハーディ不等式（系 3.8）を提供している。この項は $u$ が対称であれば消滅するが、$u$ が非対称であれば厳密に正となり、臨界的なケースにおいても、より鋭い境界を与える。

4. セルヴァデイ–ヴァルディノシ形式の解決 (セクション 5.2):
   本論文は、$x>0$ または $y>0$ の領域で積分を行うセルヴァデイ–ヴァルディノシ形式にこの一般理論を適用している。著者らは、以前に予想された定数の鋭さを検証し、対称な臨界ハーディ重みを明示的に構成することで、先行文献（例：Bogdanら [8]）で見られた定数の最適性に関する問題を解決している。

5. 参照測度の役割 (セクション 5.3):
   著者らは、参照空間として重み付き測度 $|x|^{-\alpha}dx$ を使用する必要性を明確にしている。彼らは、結果を非重み付きの $L^2(dx)$ 空間に転送できる一方で、それは制限 $\alpha < 1$ を課すことを示している。重み付き空間を用いることで、全範囲の $\alpha \in (0, 2)$ において結果が成立することを可能にしている。

意義と主張
本論文は、臨界分数ハーディ不等の研究のための「ロードマップ」を提供することに位置づけられている。その主な意義は以下の通りである：

• 一般性: グラウンド状態表現および臨界性の結果を、特定の分数ラプラシアン ($p=2$) のケースから、一般的な対称カーネルおよび全範囲の $p \in (1, \infty)$ （ソボレフ–ブレグマン形式）へと拡張していること。
• 厳密性: $p \neq 2$ の場合のグラウンド状態表現が不等式であった従来の多くの研究とは異なり、本論文はすべての $p \in (1, \infty)$ に対して厳密な恒等式を提供している。
• 臨界性: これらの一般化された形式に対する臨界性の厳密な証明を提供している。これは、近年の文献における進展事項として注目されているテーマである。
• 統一: 二次形式のケース ($p=2$) と一般的な $p$ のケースの扱いを統一し、後者が単に前者の帰結ではなく、独自の代数的な取り扱い（ブレグマン・ダイバージェンスを介した扱い）を必要とすることを示している。

著者らは、検討されたカーネルのクラスに対して結果は決定的であるが、高次元または他のカーネルクラスへの拡張は、提示されたロードマップに従って今後取り組むべき未解決の問題であると明言している。