Homogenization in perforated domains and interior Lipschitz estimates (Q2358274)

The article under review discusses \(H^1\)-error estimates in periodic homogenization. Introducing the operator \(\mathcal{L}_{\varepsilon} := -\text{div}A^\varepsilon \nabla\) with suitable \(A^\varepsilon(x)=A(x/\varepsilon)\in L(\mathbb{C}^{d\times d})\) being bounded, periodic and strictly coercive, the author discusses solutions \(u_\varepsilon\) of the mixed boundary value problem \(\mathcal{L}_\varepsilon(u_\varepsilon)=0\) on \(\Omega_\varepsilon := \Omega\cap \varepsilon \omega\) subject to homogeneous Neumann boundary conditions on \(\partial\Omega_\varepsilon \cap \Omega\) and inhomogeneous Dirichlet boundary conditions on \(\partial\Omega_\varepsilon \cap \partial\Omega\). Here \(\omega\subseteq \mathbb{R}^d\) is a connected Lipschitz domain with \([0,1)^d\)-periodic characteristic function and \(\Omega=B(x_0,R)\) for some \(x_0\in\mathbb{R}^d\), \(R>0\). Under additional conditions on the topology of \(\mathbb{R}^d\setminus \omega\), the main result of the article is: For all \(r\in [\varepsilon, R/3)\), \(d\in\mathbb{N}\), \(\omega\) there exists \(C>0\) such that \[ \frac{1}{|B(x_0,r)\cap \varepsilon\omega|}\int_{B(x_0,r)\cap \varepsilon\omega} |\nabla u_\varepsilon|^2\leq \frac{C}{|B(x_0,R)\cap \varepsilon\omega|}\int_{B(x_0,R)\cap \varepsilon\omega} |\nabla u_\varepsilon|^2. \] Under the assumptions that \(\omega\) is a \(C^{1,\alpha}\)-domain and \(A\) is Hölder continuous, using this estimate, the author deduces Lipschitz continuity estimates for \(u_\varepsilon\) and a Liouville-type theorem for \(\varepsilon=1\). Finally, the author obtains an \(\varepsilon^{1/2}\)-convergence rate estimate in \(H^1\) for the homogenization problem associated with \(\mathcal{L}_\varepsilon\).