On operator estimates in homogenization of non-local operators of convolution type

preprint2022arXivOpen access

Abstract

The paper studies a bounded symmetric operator Aε{\mathbf{A}}_\varepsilon in L2(Rd)L_2(\mathbf{R}^d) with (Aεu)(x)=ε−d−2∫Rda((x−y)/ε)μ(x/ε,y/ε)(u(x)−u(y)) dy; ({\mathbf{A}}_\varepsilon u) (x) = \varepsilon^{-d-2} \int_{\mathbf{R}^d} a((x-y)/\varepsilon) μ(x/\varepsilon, y/\varepsilon) \left( u(x) - u(y) \right)\,dy; here ε\varepsilon is a small positive parameter. It is assumed that a(x)a(x) is a non-negative L1(Rd)L_1(\mathbf{R}^d) function such that a(−x)=a(x)a(-x)=a(x) and the moments Mk=∫Rd∣x∣ka(x) dxM_k =\int_{\mathbf{R}^d} |x|^k a(x)\,dx, k=1,2,3k=1,2,3, are finite. It is also assumed that μ(x,y)μ(x,y) is Zd\mathbf{Z}^d-periodic both in xx and yy function such that μ(x,y)=μ(y,x)μ(x,y) = μ(y,x) and 0<μ−≤μ(x,y)≤μ+<∞0< μ_- \leq μ(x,y) \leq μ_+< \infty. Our goal is to study the limit behaviour of the resolvent (Aε+I)−1({\mathbf{A}}_\varepsilon + I)^{-1}, as ε→0\varepsilon\to0. We show that, as ε→0\varepsilon \to 0, the operator (Aε+I)−1({\mathbf{A}}_\varepsilon + I)^{-1} converges in the operator norm in L2(Rd)L_2(\mathbf{R}^d) to the resolvent (A0+I)−1({\mathbf{A}}^0 + I)^{-1} of the effective operator A0{\mathbf{A}}^0 being a second order elliptic differential operator with constant coefficients of the form A0=−div⁡g0∇{\mathbf{A}}^0= - \operatorname{div} g^0 \nabla. We then obtain sharp in order estimates of the rate of convergence.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.