Higher order logarithms of Bessel operators and an extension problem

技術要約：ベッセル演算子の高次対数およびその拡張問題

問題提起
本論文は、$\lambda > -1$ において $(0, \infty)$ 上で定義されるベッセル演算子 $B_\lambda = -\frac{d^2}{dx^2} + \frac{\lambda^2 - 1/4}{x^2}$ を調査するものである。分数冪 $B_\lambda^s$ および対数 $\log B_\lambda$ は既知の研究（特に Fu, Li, および Zhang [15]）によって研究されているが、本研究の目的は以下の通りである：

1. 高次対数演算子 $\log^m B_\lambda$ ($m \in \mathbb{N}$) の定義と解析。
2. これらの演算子、および分数冪 $B_\lambda^s$ ($s \in (-1, 1), s \neq 0$) に対する点逐次積分表示の導出。
3. $s \to 0^+$ における $B_\lambda^s$ および $B_\lambda^{-s}$ の、対数演算子 $\log^m B_\lambda$ を用いた漸近的テイラー展開の確立。
4. カファレッリ・シルヴェストリの拡張（分数ラプラシアンに関するもの）に類似した、特定の拡張問題の解としての $\log B_\lambda$ の特徴付け。

手法
著者らは、ユークリッド空間におけるフーリエ変換に相当するスペクトルツールとして、ハンケル変換 $h_\lambda$ を用いる。演算子 $B_\lambda$ は、スペクトルを通じて $h_\lambda(B_\lambda f)(x) = x^2 h_\lambda(f)(x)$ と定義される。

主要な手法的な道具立ては以下の通りである：

• 半群アプローチ： $-B_\lambda$ によって生成されるベッセル熱半群 $\{W^\lambda_t\}_{t>0}$ を利用する。核 $W^\lambda_t(x, y)$ は、第1種変形ベッセル関数 $I_\lambda$ を含む。
• 関数解析（ファンクショナル・カルキュラス）： 演算子はスペクトル乗数を用いて定義される。関数 $\Phi$ に対して、$\Phi(B_\lambda)f = h_\lambda(\Phi(x^2)h_\lambda f)$ である。
• 積分表示： 分数冪 $B_\lambda^s$ は、半群の差 $W^\lambda_t f - f$ （$s>0$ の場合）または半群自体（$s<0$ の場合）を用いたボホナー積分を用いて表現される。これらの積分は、特異性を分離し、絶対収束を保証するために分解される。
• 拡張問題： 熱核と半群を用いた劣加法公式（subordination formula）を用いて、上半平面 $(0, \infty) \times (0, \infty)$ 上の関数 $u^\lambda_f(x, t)$ を構成する。この拡張の $t \to 0^+$ における挙動を分析することで、対数演算子を回収する。
• 漸近解析： パラメータ $s$ に関する分数冪演算子の $s=0$ での微分を利用し、ルベーグの収束定理とガンマ関数の性質を用いて、漸近的テイラー展開を導出する。

主要な貢献と結果

1. 点逐次表示 (Theorem 1.1):
   著者らは、$s \in (0, 1)$ および $s \in (-1, 0)$ に対する $B_\lambda^s f(x)$ の明示的な点逐次公式を確立する。これらの公式は、熱核 $W^\lambda_t(x, y)$ と関数 $f$ およびその局所平均との積の積分を含む。決定的な点として、この表示には、ベッセル半群の非マルコフ的性質（すなわち $W^\lambda_t(1) \neq 1$）によって必要とされる、ベッセル熱核とユークリッド熱核 $W_t(x-y)$ の差を含む「補正項」が含まれている。

2. 高次対数 (Theorem 1.2):
   本論文は、高次対数演算子 $\log^m B_\lambda$ ($m \in \mathbb{N}$) を定義する。これは、$\log t$ の累乗によって重み付けされた積分を含む $(\log^m B_\lambda)f(x)$ の点逐次表示を提供する。著者らは、自らの証明が [15] における第1次の場合の既存の証明よりも簡潔であることを指摘しており、定義域を $L^1((0, \infty), \frac{dy}{1+y}) \cap \text{Lip}^{\theta}_{\text{loc}, x}(0, \infty)$ へと拡張している。

3. 漸近展開 (Theorem 1.3):
   本研究は、$s \to 0^+$ における分数冪の漸近的テイラー展開を導出する。具体的には、以下を証明する：
   $$\lim_{s \to 0^+} \frac{(m+1)!}{s^{m+1}} \left( B_\lambda^s f - \left( f + \sum_{j=1}^m \frac{s^j}{j!} (\log^j B_\lambda)f \right) \right) = (\log^{m+1} B_\lambda)f$$
   これは $1 < p \leq \infty$ の $L^p(0, \infty)$ において成立する。$B_\lambda^{-s}$ についても同様の展開が提供される。これは、ユークリッド・ラプラシアンに対する Chen [8] の結果をベッセル設定へと一般化したものである。

4. 拡張問題による特徴付け (Theorem 1.4):
   著者らは拡張 $u^\lambda_f(x, t)$ を定義し、それが退化楕円方程式 $(\partial_t^2 + \frac{1}{t}\partial_t)u^\lambda_f = B_{\lambda, x} u^\lambda_f$ を満たすことを証明する。主な結果は、この拡張の境界極限としてベッセル演算子の対数を特徴付けることである：
   $$(\log B_\lambda)f(x) = -\lim_{t \to 0^+} (u^\lambda_f(x, t) + f(x)\log t) + f(x)K(x)$$
   ここで、$K(x)$ はオイラー定数 $\gamma$、対数項、および熱核の積分を含む特定の関数である。この結果は、Chen, Hauer, および Weth [9] によって確立された $\log(-\Delta)$ の拡張定理と並行している。

意義と主張
本論文は、ベッセル的な文脈における高次対数演算子の包括的な枠組みを提供することを主張している。著者らは、自らのアプローチが既知の結果（特に $\log B_\lambda$ の表示）に対してより短い証明をもたらし、かつこれらを高次およびより広い関数空間へと拡張することを強調している。

その意義は以下の点にある：

• 一般化： 対数演算子の理論を、ユークリッド・ラプラシアンから、半直線上の調和解析において基礎的なベッセル演算器へと拡張したこと。
• 統一： ハンケル変換を用いることで、分数冪、対数演算、および拡張問題を単一のスペクトル枠組みの中で結びつけたこと。
• 技術的な精密さ： ベッセル熱半群の非マルコフ的性質（ユークリッドの場合とは異なる）を考慮した、厳密な点逐次表示を提供したこと。

著者らは新しい応用や実験的セットアップを提案するのではなく、ベッセル演算に関連する作用素論および調和解析の理論的発展に焦点を当てている。本研究は、Fu, Li, および Zhang [15] ならびに Chen [8, 9] の先行研究の上に構築され、それらを洗練させるものである。