Homogenization of L\'evy-type operators: operator estimates with correctors

TL;DR

This paper improves the approximation of the resolvent of homogenized Le9vy-type operators by incorporating correctors, achieving an error of order bd in operator norm, which refines previous estimates.

Contribution

The authors develop a more precise resolvent approximation for Le9vy-type operators using correctors, extending prior work with higher-order accuracy.

Findings

Achieved an bd order error estimate for the resolvent approximation.

Constructed correctors to refine homogenization results.

Extended previous convergence results with higher-order terms.

Abstract

The goal of the paper is to study in $L_2(\R^d)$ a self-adjoint operator ${\mathbb A}_\eps$, $\eps >0$, of the form $$ ({\mathbb A}_\eps u) (\x) = \int_{\R^d} \mu(\x/\eps, \y/\eps) \frac{\left( u(\x) - u(\y) \right)}{|\x - \y|^{d+\alpha}}\,d\y $$ with $1< \alpha < 2$; here the function $\mu(\x,\y)$ is $\Z^d$-periodic in the both variables, satisfies the symmetry relation $\mu(\x,\y) = \mu(\y,\x)$ and the estimates $0< \mu_- \leqslant \mu(\x,\y) \leqslant \mu_+< \infty$. The rigorous definition of the operator ${\mathbb A}_\eps$ is given in terms of the corresponding quadratic form. In the previous work of the authors it was shown that the resolvent $({\mathbb A}_\eps + I)^{-1}$ converges, as $\eps\to0$, in the operator norm in $L_2(\mathbb R^d)$ to the resolvent of the effective operator $A^0$, and the estimate $\|({\mathbb A}_\eps + I)^{-1} - (\A^0 + I)^{-1} \| = O(\eps^{2-\alpha})$ holds. In the present work we achieve a more accurate approximation of the resolvent of ${\mathbb A}_\eps$ which takes into account the correctors. Namely, for $N\in\mathbb N$ such that $2-1/N < \alpha \le 2-1/(N+1)$, we obtain $$ \bigl\|({\mathbb A}_\eps + I)^{-1} - (\A^0 + I)^{-1} - \sum_{m=1}^N \eps^{m(2-\alpha)} \mathbb{K}_m \bigr\| = O(\eps). $$