Lipschitz spaces adapted to Schrödinger operators on the Heisenberg group

技術的要約：ハイゼンベルク群上のシュレディンガー作用素に適応したリプシッツ空間

問題の所在
本論文は、ハイゼンベルク群 $\mathbb{H}^n$ 上のシュレディンガー作用素 $L = -\Delta_{\mathbb{H}^n} + V$ に適応したリプシッツ（またはヘルダー・ジグムント）空間の特性評価を扱う。層化リー群上のリプシッツ空間 $\Lambda_\alpha(G)$ およびユークリッド空間 $\mathbb{R}^n$ 上のシュレディンガー作用素に適応した空間は広く研究されてきたが、非負のポテンシャル $V$ を含むハイゼンベルク群における統一的な枠組みは欠落していた。具体的には、著者らは、点別の二階差分条件と熱半群による特性付けという二つの異なるアプローチを通じて、$L$ に適応したリプシッツ空間を定義し、それらの同値性を確立することを目的としている。この研究は、ユークリッド設定における De León-Contreras と Torrea [6] の研究、および $\mathbb{H}^n$ 上のキャンプノトー型空間に関する Dai [5] の最近の発展に動機付けられているが、後者は熱半群による特性付けや $L$ の分数冪の正則性を完全には扱っていなかった。

手法と枠組み
著者らは、同次次元 $Q = 2n+2$ を持つ非可換な層化リー群であるハイゼンベルク群 $\mathbb{H}^n$ の設定で作業を行う。ポテンシャル $V$ は非負であり、ある $q > Q/2$ に対して逆ヘルダー級数 $RH_q(\mathbb{H}^n)$ に属すると仮定される。

1. 臨界半径関数： 臨界半径関数 $\rho(x)$ は、ポテンシャル $V$ の局所的な挙動に基づいて定義される中心的なツールである。この関数は、ポテンシャルが作用素の挙動に大きく影響を与えるスケールを制御する。
2. 二つのリプシッツ空間の定義：
   • 点別定義 ($\Lambda_\alpha^L(\mathbb{H}^n)$): $0 < \alpha < 2$ の場合、この空間は重み付き $L^\infty$ 項と二階差分商の上限を含むノルムを用いて定義される：
     $$\|f\|_{\Lambda_\alpha^L} \approx \|\rho(\cdot)^{-\alpha}f\|_{L^\infty} + \sup_{|y|>0} \frac{\|f(xy) + f(xy^{-1}) - 2f(x)\|_{L^\infty}}{|y|^\alpha}$$
     群の構造を考慮するため、差分項 $f(xy) + f(xy^{-1}) - 2f(x)$ は、ユークリッド的な $f(x+h) + f(x-h) - 2f(x)$ に代わるものである。
   • 熱半群定義 ($\Gamma_{\alpha/2}^L(\mathbb{H}^n)$): $0 < \alpha < \infty$ の場合、この空間は熱半群 $T_t^L = e^{-tL}$ の時間微分の減衰量によって定義される：
     $$\|f\|_{\Gamma_{\alpha/2}^L} \approx \sup_{t>0} t^{k-\alpha/2} \|\partial_t^k T_t^L f\|_{L^\infty}$$
     ここで $k = \lfloor \alpha/2 \rfloor + 1$ である。
3. 解析的ツール： 証明は以下に依拠している：
   • 異方的減衰を示し、かつ $\rho(x)$ に依存する、劣ラプラシアン $-\Delta_{\mathbb{H}^n}$ およびシュレディンガー作用素 $L$ の両方の精密な熱核推定値。
   • 左不変ベクトル場を用いた $\mathbb{H}^n$ 上の有限増分公式（テイラー展開のようなもの）。
   • 古典的な設定からシュレディンガー設定へと推定値を転送するための、熱半群 $T_t^L$ と $T_t = e^{t\Delta_{\mathbb{H}^n}}$ の比較。

主要な貢献と結果

1. 空間の同値性（主定理）：
   主要な結果（定理 1.1）は、$0 < \alpha < 2 - Q/q$ の範囲において、点別空間 $\Lambda_\alpha^L(\mathbb{H}^n)$ が熱半群空間 $\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ と一致し、同値なノルムを持つことを確立している。
   $$\Lambda_\alpha^L(\mathbb{H}^n) = \Gamma_{\alpha/2}^L(\mathbb{H}^n)$$
   この同値性は、$\mathbb{H}^n$ の非可換性と、ポテンシャル $V$ の存在により、群の差分をユークリッド的な平行移動に直接還元できないため、非自明である。

2. 技術的補題と補助的結果：

   • 著者らは、臨界半径関数を含む熱核 $K_t^L(x,y)$ の微分の具体的な推定値を導出している。
   • 関数が $\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ に属する場合、熱半群が適切に定義され、関数に収束するための必要な成長条件を満たすことを証明している。
   • $L$ と劣ラプラシアンの熱半群の差がポテンシャルの性質によって制御されていることを示すことが、古典的な設定から正則性の推定値を転送するための決定的なステップとなる。

3. 分数冪への応用：
   本論文は、新たに確立された空間 $\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ を用いて、$L$ の分数冪の正則性を研究する。具体的には、定理 4.1 および 4.2 は以下を示す：

   • ベッセルポテンシャル $(I+L)^{-\beta/2}$ および分数積分 $L^{-\beta/2}$ は、$\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ を $\Gamma_{(\alpha+\beta)/2}^L(\mathbb{H}^n)$ へ写す（平滑化効果）。
   • 分数「劣ラプラシアン」 $L^{\beta/2}$ は、$0 < \beta < \alpha$ のとき、$\Gamma_{\alpha/2}^L(\mathbb{H}^n)$ を $\Gamma_{(\alpha-\beta)/2}^L(\mathbb{H}^n)$ へ写す（正則性の喪失）。

意義と主張
本論文は、ユークリッド設定におけるシュレディンガー作用素に適応したリプシッツ理論を、ハイゼンベルク群へと拡張することを主張している。著者らは、$\mathbb{H}^n$ の非可換性と異方的な膨張構造が、特に二階差分条件の取り扱いや、非可換なベクトル場に沿った微分の制御において、多大な困難をもたらすことを強調している。

点別定義と半群定義の間の同値性を確立することで、本論文は $L$ を含む方程式の解の正則性を分析するための強固な枠組みを提供する。この研究は、$\mathbb{H}^n$ 上の先行研究（Dai [5] など）が $\alpha \le 1$ のヘルダー空間に限定されていたか、あるいは熱半群による特性付けや分数冪の正則性を調査していなかったという空白を埋めるものである。これらの結果は、従来のユークリッド的な知見（De León-Contreras および Torrea [6]）を一般化し、非ユークリッド設定におけるシュレディンガー作用素の調和解析のための基礎を提供するものである。