On $m$-order logarithmic Schrödinger operator

技術要約：m次対数シュレディンガー作用素について

問題設定
本論文は、非負の可測ポテンシャル $V$ を持つ $\mathbb{R}^d$ におけるシュレディンガー作用素 $L_V = -\Delta + V$ の $m$ 次対数（$m$-order logarithm）を調査するものである。対数ラプラシアン $\log(-\Delta)$ およびその高次対応物が近年広く研究されているが（例：[5, 9]）、これらの概念をポテンシャル $V$ を伴うシュレディンガーの設定へと拡張することには、特有の解析的な課題が存在する。主な目的は、$m \in \mathbb{N}$ に対して作用素 $\log^m L_V$ を定義し、それらを用いて、次数 $s \to 0^+$ における分数べき $L_V^s$ および $L_V^{-s}$ の漸近展開（テイラー展開）を導出することである。本研究は、関連する半群が $V > 0$ の場合にマルコフ的ではないという事実に対処しつつ、$L^p(\mathbb{R}^d)$ 空間および特定の関数クラスにおける点ごとの展開に焦点を当てている。

手法
著者らは、熱核推定と組み合わせたスペクトル論的手法を採用している。

1. スペクトル定義: 作用素 $L_V$ は、閉じた双線形形式に関連付けられた $L^2(\mathbb{R}^d)$ 上の自己共役作用素として扱われる。$[0, \infty)$ 上に支持を持つスペクトル測度 $E_V$ を用いて、分数べき $L_V^s$ および対数作用素 $\log^m L_V$ は、以下のスペクトル積分によって定義される：
   $$\Phi(L_V)f = \int_0^\infty \Phi(\lambda) dE_V(\lambda)f.$$
2. 半群の拡張: 対数作用素の定義は、スペクトル積分から、$\{T_t^V\}_{t>0}$ で生成される熱半群を用いたより広いリプシッツ関数のクラスへと拡張される。著者らは、以下の積分表示を利用する：
   $$L_V^s f = \frac{1}{\Gamma(-s)} \int_0^\infty \frac{T_t^V f - f}{t^{s+1}} dt,$$
   これは $s \in (0, 1)$ および適切な $f$ に対して有効である。
3. ポテンシャルの条件: 解析は $d \ge 3$ であることを仮定し、ポテンシャル $V$ が逆ヘルダー不等式（$V \in RH_q$、ただし $q > d/2$）を満たすものとする。この条件により、臨界半径関数 $\rho(x)$ の使用と、改良された熱核推定（具体的には $\rho(x)$ とユークリッド熱核を含む境界）の使用が可能となる。
4. 漸近解析: 中核となる技術的な作業は、$s \to 0^+$ における差分商 $\frac{L_V^s f - f}{s}$ およびその高次微分に関する挙動の解析である。著者らは、積分表示を局所的部分と非局所的部分に分解することで、$t=0$ における特異性と無限遠での挙動を処理し、ガンマ関数と臨界半径関数の性質を利用している。

主要な貢献と結果

• 高次対数作用素の定義: 本論文は、スペクトル測度を通じて $m$ 次対数シュレディンガー作用素 $\log^m L_V$ を厳密に定義する。さらに、作用である $\text{Log}^k L_V$（分数べきの微分の点ごとの極限として機能する）の定義を、局所リプシッツ空間と重み付き $L^1$ 空間の共通部分に含まれる関数へと拡張する。
• $L^2$ における漸近展開: 定理 1.1 は、対数作用素のドメインに含まれる関数に対して、$L^2(\mathbb{R}^d)$ における $L_V^s f$ および $L_V^{-s} f$ のテイラー展開を確立する。具体的には、$f \in D(\log^{m+1} L_V) \cap D(L_V^{s_0})$ に対して：
  $$L_V^s f - \sum_{k=0}^m \frac{s^k}{k!} (\log^k L_V)f = o(s^m) \quad (s \to 0^+ \text{ のとき}).$$
  負のべきに対しては、符号が交互に入れ替わる同様の展開が提供される。
• $L^p$ および $L^\infty$ における収束: 定理 1.2 および定理 1.3 は、これらの結果を $L^p(\mathbb{R}^d)$ ($1 < p < \infty$) およびコンパクト集合 $K$ 上の $L^\infty$ へと拡張する。これらの結果は、$f \in C_c(\mathbb{R}^d) \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$ および $L^1 \cap L^\infty \cap \text{Lip}_{\text{loc,uni}}^\theta(\mathbb{R}^d)$ に対して成立する。展開は以下の通りである：
  $$\lim_{s \to 0^+} \frac{L_V^s f - f - \sum_{k=1}^{n-1} \frac{s^k}{k!} (\text{Log}^k L_V)f}{s^n/n!} = (\text{Log}^n L_V)f.$$
• 点ごとの表現: 本論文は、$\text{Log}^k L_V$ の明示的な点ごとの積分表示を提供し、[1] に見られる $\log L_V$ の既知の表現を一般化している。これらの表現は、熱核 $T_t^V(x, y)$ と臨界半径関数 $\rho(x)$ の積分を含んでおり、ポテンシャル $V$ による補正項が（純粋なラプラシアンの場合とは異なり）一定ではないことを強調している。これは、半群の非マルコフ的な性質に起因する。
• 分数型方程式への応用: 系 1.4 は、これらの展開が、無限遠で境界条件が消失する方程式 $L_V^s u = f$ の解 $u_{f,s} = L_V^{-s} f$ を記述するために使用できることを示している。これは、$s \to 0$ において対数作用素を用いた漸近級数を提供する。

意義と主張
著者らは、本研究が対数ラプラシアンに関する先行研究（具体的には Chen [5] および Chen-Weth [9] によるもの）を、非自明なポテンシャルを持つシュレディンガー作用素へと一般化するものであると主張している。本論文の重要な側面は、ポテンシャル $V$ から生じる非定数な補正因子の取り扱いであり、これには臨界半径関数 $\rho(x)$ と特定の逆ヘルダー条件の使用が必要となる。これらの結果は、対数微分を通じて、（すなわち次数がゼロに近づく際の）シュレディンガー作用素の分数べきの挙動を理解するための厳密な枠組みを提供する。本論文は新しい実験的応用を提案するものではなく、むしろこの特定の作用素論的文脈における漸近展開のための理論的基礎を確立するものである。