On homogenization for piecewise locally periodic operators (Q6174392)

This paper studies the quantitative homogenization of piecewise locally periodic operators \(\mathcal{A}^\varepsilon=-\mathrm{div}\{A(x, x/\varepsilon_\#)\nabla\}\) on a bounded \(C^{1, 1}\) domain \(\Omega\subset\mathbb{R}^d\) with either Dirichlet or Neumann boundary condition. The domain is divided into finite pieces, i.e., \(\Omega=\cup_i\Omega_i\). On each \(\Omega_i\), the coefficient \(A\) is Lipschitz in the first variable and the function \(\varepsilon_\#\) is identically equal to \(\varepsilon_i(\varepsilon)\), with \(\varepsilon_i(\varepsilon)\rightarrow 0\) as \(\varepsilon\rightarrow 0\). As the structure assumption, \(A\) is periodic in the second variable. Besides, it is assumed that \(\mathcal{A}^\varepsilon\) is strongly elliptic and coercive uniformly in \(\varepsilon\) and, consequently, \(\mathcal{A}^\varepsilon\) has a common resolvent set independent of \(\varepsilon\). For \(\mu\) in the resolvent set, the paper shows that the resolvent \((\mathcal{A}^\varepsilon-\mu)^{-1}\) converges in the operator norm on \(L^2(\Omega)^n\) to the resolvent \((\mathcal{A}^0-\mu)^{-1}\) of the effective operator at the slowest rate \(\varepsilon_\vee\), where \(\varepsilon_\vee\) stands for the largest of \(\varepsilon_i(\varepsilon)\). It also obtains an approximation for the resolvent in the operator norm from \(L^2(\Omega)^n\) to \(H^1(\Omega)^n\) with error of order \(\varepsilon_\vee^{1/2}\).