Homogenization of Lévy-type operators: operator estimates with correctors

技術要約：補正項を用いたレヴィ型作用素の均質化：作用素評価

問題設定
本論文は、$\varepsilon > 0$ に対して $L^2(\mathbb{R}^d)$ 上で作用する自己共役な非有界レヴィ型作用素 $A_\varepsilon$ の周期的な均質化を研究している。この作用素は、以下の非局所的な積分形式によって形式的に定義される：
$$(A_\varepsilon u)(x) = \int_{\mathbb{R}^d} \mu(x/\varepsilon, y/\varepsilon) \frac{u(x) - u(y)}{|x - y|^{d+\alpha}} \, dy,$$
ここで $1 < \alpha < 2$ である。係数 $\mu(x, y)$ は、両変数について $\mathbb{Z}^d$-周期的な、有界かつ正定値な関数であり、対称性（$\mu(x, y) = \mu(y, x)$）を持つ。$A_\varepsilon$ の厳密な定義は、閉じた二次形式を通じて与えられる。

著者らによる先行研究では、$\varepsilon \to 0$ のとき、レゾルベント $(A_\varepsilon + I)^{-1}$ が有効作用素 $A_0$ のレゾルベントに強収束することが確立されている。さらに、作用素ノルム評価 $\|(A_\varepsilon + I)^{-1} - (A_0 + I)^{-1}\| = O(\varepsilon^{2-\alpha})$ が導出されている。有効作用素 $A_0$ は、元の作用素の構造を保持しつつ、定数係数 $\mu_0$ を持つ、実質的に分数階ラプラシアンとなっている。

本研究の主な目的は、$1 < \alpha < 2$ の範囲において、この近似の精度を向上させることである。具体的には、「補正項（correctors）」を取り入れることで、項単体による近似よりも高い精度の近似を実現することを目的としている。

手法
本論文は、スケーリング変換とフロケ・ブロッホ理論に基づくスペクトル法の一種である、作用素論的アプローチを採用している。その手法は以下のステップに従って進められる：

1. スケーリングと直積分分解： スケーリング変換により、レゾルベント $A_\varepsilon$ の推定問題を、小さなパラメータ $\varepsilon^\alpha$ によって摂動を受ける固定された作用素 $A$（ここでは $\varepsilon=1$）のレゾルベントの推定問題へと還元する。作用素 $A$ は、ガンドル変換（Gelfand transform）を通じて、周期セル $\Omega$ 上で作用するファイバー作用素 $A(\xi)$ の直積分へと分解される。ここで $\xi$ は双対セル $\tilde{\Omega}$ 内の準運動量である。
2. 閾値付近のスペクトル解析： 解析は、スペクトルの下端付近（$\xi = 0$ 付近）におけるファイバー作用素 $A(\xi)$ の振る舞いに焦点を当てる。楕円型微分作用素とは異なり、一族 $A(\xi)$ は $\xi$ に関して解析的ではなく、低レギュラリティを持つ。著者らは、リースの公式と輪郭積分を利用して、スペクトル射影 $F(\xi)$ および作用素 $A(\xi)F(\xi)$ に対する「閾値近似」を導出する。
3. 二次形式の展開： 二次形式 $a(\xi)$ と $a(0)$ の差に関する精密な展開を導出する。特異性と非局所性を扱うために、ゼロ近傍と無限遠におけるカーネルの寄与を分離する。これにより、$\xi$ に関する線形項および高次項を特定し、剰余項を推定することが可能となる。
4. 補正項の構成： スペクトル近似に基づき、レゾルベント $(A(\xi) + \varepsilon^\alpha I)^{-1}$ の級数展開を構成する。これには、有効行列 $g_0$（補助的なセル問題の解によって決定される）から導かれる一連の補正作用素 $K_m$ の定義が含まれる。
5. グローバルな評価： ファイバー作用素の局所的な評価を双対セル $\tilde{\Omega}$ 上で積分することにより、元の作用素 $A_\varepsilon$ にスケールバックされた、作用素 $A$ のレゾルベントに関するグローバルな作用素ノルム評価を得る。

主要な貢献と結果
本論文の主要な結果は、有限個の補正項を含むレゾルベント $(A_\varepsilon + I)^{-1}$ の漸近展開の導出であり、これは項単体の近似と比較して誤差評価を大幅に改善するものである。

任意の整数 $N \geq 1$ について、$2 - 1/N < \alpha < 2$ であるとき、著者らは以下の $L^2(\mathbb{R}^d)$ 作用素ノルムにおける評価を証明している：
$$\left\| (A_\varepsilon + I)^{-1} - (A_0 + I)^{-1} - \sum_{m=1}^N \varepsilon^{m(2-\alpha)} K_m \right\| \leq C \times \begin{cases} \varepsilon, & 2 - \frac{1}{N} < \alpha \leq 2 - \frac{1}{N+1}, \\ \varepsilon^{(N+1)(2-\alpha)}, & 2 - \frac{1}{N+1} < \alpha < 2. \end{cases}$$
ここで、補正項 $K_m$ は以下のように定義される：
$$K_m = (\text{div } g_0 \nabla)^m (A_0 + I)^{-m-1},$$
ただし、$g_0$ は周期係数 $\mu$ を含む補助問題の解から構成される、対称な行列（必ずしも符号定定ではない）である。

具体的には、任意の $\alpha \in (1, 2)$ に対して、$2 - 1/N < \alpha \leq 2 - 1/(N+1)$ となる整数 $N$ を選択することができる。この選択により、最初の $N$ 個の補正項を含む近似は $O(\varepsilon)$ の精度を与える。これは、従来の $O(\varepsilon^{2-\alpha})$ の評価と比較して大幅な改善であり、特に $\alpha$ が 2 に近づくにつれて従来の誤差境界が悪化する場合において顕著である。

意義
著者らは、項単体の近似のみに対する $O(\varepsilon^{2-\alpha})$ の評価は、オーダーとしてシャープであることを主張している。本研究の意義は、適切な補正項を組み込むことにより、全範囲 $1 < \alpha < 2$ においてレゾルベント近似の線形収束率 $O(\varepsilon)$ を回復できることを示した点にある。

著者らは、自身のアプローチが、微分作用素のために開発された作用器論的手法を、非局所的なレヴィ型作用素の設定に適応させたものであることを強調している。主要な技術的課題は、ファイバー作用素の族 $A(\xi)$ に解析性が欠如していることであり、これが標準的な解析的摂動論の直接的な適用を妨げている。代わりに、著者らは、カーネルのモーメント条件と輪郭積分技術から得られる有限レギュラリティの評価に依拠して、必要なスペクトル近似を確立している。

これらの結果は、長距離相互作用を持つ非局所作用素を均質化するための厳密な定量的枠組みを提供し、周期媒体におけるこれらのシステムの収束を分析するためのより精密なツールを提供する。論文内では、推定値の定数が次元 $d$、パラメータ $\alpha$、および係数 $\mu$ の有界性に依存し、$\alpha \to 1$ または $\alpha \to 2$ のときに無限大に発散することが述べられている。