Regularity of homogenized boundary data in periodic homogenization of elliptic systems (Q2216726)

The paper under review deals with the regularity of the homogenized boundary data in periodic homogenization of elliptic systems. More precisely, the authors consider the uniformly elliptic operator with periodically oscillating coefficients \[ \mathcal{L}_\varepsilon \equiv \mathrm{div}\Big(A(x/\varepsilon)\nabla\Big)=-\frac{\partial}{\partial x_i}\bigg[a_{ij}^{\alpha \beta}(x/\varepsilon)\frac{\partial}{\partial x_j}\bigg]\, , \] where \(1\leq i,j\leq d\), \(1\leq \alpha, \beta \leq m\), \(0<\varepsilon \leq 1\) and the coefficient matrix \(A\) satisfies ellipticity, periodicity, and smoothness assumptions. Then, for example, they introduce the Dirichlet problem with oscillating boundary data \[ \left\{ \begin{array}{ll} \mathcal{L}_\varepsilon(u_\varepsilon)=0 & \mathrm{in}\ \Omega\, ,\\ u_\varepsilon(x)=f(x,x/\varepsilon) & \mathrm{on}\ \partial \Omega\, , \end{array} \right. \] where \(f\) is \(1\)-periodic in \(y\). Under suitable assumptions, the solution is well-known to converge to the solution \(u_0\) of the homogenized problem \[ \left\{ \begin{array}{ll} \mathcal{L}_0(u_0)=0 & \mathrm{in}\ \Omega\, ,\\ u_0=\overline{f} & \mathrm{on}\ \partial \Omega\, , \end{array} \right. \] where \(\mathcal{L}_0\) is the usual homogenized operator and \(\overline{f}\) is a function whose value at \(x \in \partial \Omega\) depends only on \(A\), \(f(x,\cdot)\) and the outward normal \(n\) to \(\partial \Omega\) at \(x\). The authors prove regularity results for the homogenized datum \(\overline{f}\), namely that it belongs to \(W^{1,p}\) for any \(1<p<+\infty\). Similar results are obtained also for the homogenized datum of the Neumann problem.