Quantitative estimates in reiterated homogenization (Q2204349)

In the paper under review, the authors investigate quantitative estimates in the homogenization of second-order elliptic systems with periodic coefficients which oscillate on multiple separated scales. More precisely, they consider the \(m\times m\) elliptic system in divergence form \[ \mathcal{L}_\varepsilon(u_\varepsilon)=F\, , \] in a bounded domain \(\Omega \subseteq \mathbb{R}^d\) with \(d\geq 2\), where \[ \mathcal{L}_\varepsilon=\mathrm{div}(A^\varepsilon(x)\nabla)=-\mathrm{div}(A(x,x/\varepsilon_1,x/\varepsilon_2,\dots,x/\varepsilon_n)\nabla)\, , \] and \(\{0<\varepsilon_n<\varepsilon_{n-1}<\dots<\varepsilon_1<1\}\) represents a set of \(n\) ordered length-scales depending on the parameter \(\varepsilon\). They assume that the coefficient tensor \(A=A(x,y_1,y_2,\dots,y_n)\) is real, bounded, measurable, and satisfies the ellipticity condition \[ \|A\|_{L^\infty(\mathbb{R}^{d\times (n+1)})}\leq \frac{1}{\mu}\, , \qquad \mu|\xi|^2 \leq \langle A\xi,\xi \rangle\quad \forall \xi \in \mathbb{R}^{m\times d}\, , \] where \(\mu>0\), the periodicity condition \[ A(x,y_1+z_1,\dots,y_n+z_n)=A(x,y_1,\dots,y_n) \qquad \forall (z_1,\dots,z_n)\in \mathbb{Z}^{d\times n}\, , \] and an Hölder continuity condition. Via iteration and rescaling arguments, they obtain large-scale interior and boundary Lipschitz estimates down to the finest scale and, by the reiterated homogenization method, also convergence rate in the \(L^2\) space.