The fractional $p$-Laplacian on hyperbolic spaces

技術要約：双曲空間における分数型 $p$-ラプラシアン

問題設定
本論文は、双曲空間 $\mathbb{H}^n$（$n \in \mathbb{N}$, $0 < s < 1$, $p > 1$）における分数型 $p$-ラプラシアン、記号 $(-\Delta_{\mathbb{H}^n})^s_p$ の定義と解析を扱う。分数型演算子は、ユークリッド空間 $\mathbb{R}^n$ やその他の様々な幾何学的設定（リーマン多様体、計量測度空間など）では十分に研究されているが、非線形設定におけるフーリエ変換の欠如や、双曲空間特有の幾何学的構造により、標準的な定義を直接適用することができない。具体的には、著者らは、非線形演算子に対してはフーリエ変換に基づく定義が利用できないこと、また、すべての分数型ラプラシアンの定義（例えば、リージョナルなものとスペクトル的なもの）が一般的なリーマン多様体において同値であるとは限らないことを指摘している。主要な課題は、標準的な $p$-ラプラシアンへの点収束 $s \to 1^-$ を研究することを可能にする明示的な正規化定数を用いて、$\mathbb{H}^n$ 上の非線形分数型 $p$-ラプラシアンの厳密かつ同値な一連の定義を確立することである。

手法
著者らは、双曲幾何学、熱核解析、および特殊関数の漸近的性質を組み合わせた多角的なアプローチを採用している。

1. 幾何学的枠組み: 本研究では、ローレンツ計量を備えたハイパーボロイドモデルの $\mathbb{H}^n$ を利用する。距離関数 $d(x, \xi)$ および体積要素 $\sinh^{n-1} r \, dr \, d\omega$ が中心的な役割を果たす。
2. 熱セミグループ表現: 著者らは、分数型演算子を $\mathbb{H}^n$ 上のラプラシアンによって生成される熱セミグループ $\{e^{t\Delta_{\mathbb{H}^n}}\}_{t \geq 0}$ に関連付ける。彼らは、奇数次元と偶数次元を区別し、距離 $\rho$ に関する熱核の微分を含む、双曲空間上の熱核 $h(t, \rho)$ の明示的な公式を利用する。
3. 修正ベッセル関数: 分数型演算子の核は、第2種修正ベッセル関数 $K_\nu$ を用いて表現される。著者らは、特異な核を解析するために、$K_\nu$ の積分表示と漸近挙動（$\rho \to 0^+$ および $\rho \to \infty$）を活用する。
4. Caffarelli–Silvestre 拡張: 著者らは、$\mathbb{H}^n \times (0, \infty)$ 上の拡張問題について調査し、分数型演算子をディリクレ・トゥ・ノイマン写像に関連付ける。これには、ポアソン核 $P(\rho, y)$ および拡張作用素 $E_{s,p}$ の構成が含まれる。
5. 収束のための漸近解析: $(-\Delta_{\mathbb{H}^n})^s_p$ が $s \to 1^-$ において $p$-ラプラシアンに点収束することを証明するために、著者らは正規化定数 $c_{n,s,p}$ と核 $K_{n,s,p}$ を含む積分の詳細な漸近解析を行う。彼らは、ユークリッド的な $\rho^{n-1}$ とは異なる体積要素 $\sinh^{n-1} \rho$ を慎重に扱いながら、テイラー展開とルベーグの収束定理を用いる。

主要な貢献および結果

1. 3つの同値な定義: 本論文は、$\mathbb{H}^n$ 上の分数型 $p$-ラプラシアンの3つの同値な定義を確立し、それぞれに明示的な正規化定数を提供している：

   • 特異積分定義 (Definition 1.1): 特異核 $K_{n,s,p}(\rho)$ を含む点積分表現。この核は、修正ベッセル関数と距離に関する微分を用いて明示的に定義されており、奇数次元と偶数次元で異なる公式を持つ。
   • 熱セミグループ定義 (Theorem 1.3): 演算子は、非線形関数 $\Phi_p(u(x) - u(\cdot))$ に適用された熱セミグループの、時間に関する積分の形で表される。定数 $C_2$ は明示的に導出されている。
   • 拡張問題定義 (Theorem 1.4): 演算子は、上半空間 $\mathbb{H}^n \times (0, \infty)$ における退化楕円拡張問題の解の、重み付き法線微分の極限として実現される。定数 $C_3$ も明示的に提供されている。

2. 明示的な正規化定数: 重要な貢献は、ガンマ関数、および 2 と $\pi$ の冪を含む精密な正規化定数 ($c_{n,s,p}, C_1, C_2, C_3, C_4$) の導出である。これらの定数は、$s \to 1^-$ における正しい極限挙動を保証するように特別に選ばれている。

3. 核の漸近挙動 (Proposition 1.2 & Theorem 1.2): 著者らは、核 $K_{n,s,p}(\rho)$ の挙動を特徴付けている。原点付近 ($\rho \to 0^+$) では、核はユークリッド的な特異核 $\rho^{-n-sp}$ のように振る舞い、無限遠 ($\rho \to \infty$) では、双曲幾何学による指数減衰 ($\sim \rho^{-1-sp/2} e^{-(n-1)\rho}$) を示す。これは、有界な $C^2$ 関数に対する演算子のウェルディファインド性（定義可能性）を裏付けている。

4. 点収束 (Theorem 1.5): 主要な収束結果は、$u \in C^2_b(\mathbb{H}^n)$ かつ $\nabla u(x) \neq 0$ である $x \in \mathbb{H}^n$ に対して次のように述べている：
   $$\lim_{s \to 1^-} (-\Delta_{\mathbb{H}^n})^s_p u(x) = (-\Delta_{\mathbb{H}^n})_p u(x)$$
   ここで $(-\Delta_{\mathbb{H}^n})_p$ は双曲空間上の標準的な $p$-ラプラシアンである。この証明は、明示的な定数と、核の体積要素に対する積分の漸近解析に基づいており、非ユークリッド的な体積因子が局所演算子への収束を妨げないことを示している。

意義
本論文の意義は、主に、先行研究（例：[2]）で確立された線形の場合 ($p=2$) の分数型演算子の表現公式を、双曲空間における非線形領域 ($p > 1$) へと拡張した点にある。明示的な正規化定数を提供することで、著者らは $s \to 1^-$ の極限を厳密に研究することを可能にしており、この性質は分数型モデルと幾何学的解析における局所モデルを結びつけるために不可欠である。本研究は、フーリエベースの手法がこの非線形設定では失敗する一方で、双曲空間の豊かな構造（具体的には熱核およびポアソン核の表現）によって、分数型 $p$-ラプラシアンの堅牢な定義が可能になることを強調している。明示的な定数は、正則性理論への応用において極めて重要であると述べられている。著者らは、これらの定義とその収束特性の数学的確立を超えて、新たな実験的応用や将来の方向性を提案してはいない。