Homogenization in a thin domain with an oscillatory boundary (Q549981)

The authors describe the asymptotic behaviour of the solution \(w^\varepsilon\) of the elliptic equation \(-\Delta w^\varepsilon+w^\varepsilon= f^\varepsilon\) posed in the thin 2D domain \(R^\varepsilon=\{x\in (0,1)\), \(y\in (0,\varepsilon G(x,x/\varepsilon))\}\), where \(G\) is a piecewise \(C^1\)-function with respect to its first variable and a \(L\)-periodic function with respect to the second variable and which satisfies \(0<G_0\leq G_\varepsilon(x)\leq G_1\). Here \(f^\varepsilon\in L^2(R^\varepsilon)\). Homogeneous Neumann boundary conditions are imposed on \(\partial R^\varepsilon\). In order to work in the more fixed domain \(\Omega^\varepsilon=\{x_1\in (0,1)\), \(x_2\in (0,G(x_1,x_1/\varepsilon))\}\), the authors perform the change of variables \(x_1=x\), \(x_2=y/\varepsilon\). They get the problem \[ -\frac{\partial^2u^\varepsilon}{\partial x_1^2}-\frac{1}{\varepsilon^2}\frac{\partial^2u^\varepsilon}{\partial x_2^2}+u^\varepsilon= f^\varepsilon. \] The main result of the paper proves that \((P_\varepsilon u^\varepsilon)_\varepsilon\) converges in the weak topology of \(H^1(\widehat{\Omega} )\) to the unique solution \(\widehat{u}=\widehat{u}(x_1)\) of some Neumann problem. Here \(\widehat{\Omega}\) is deduced from \(\Omega =(0,1)\times (0,G_1)\) when removing the lines \(\{\xi _i\}\times (G_0,G_1)\) the \(\xi_i\) being the points where \(G\) is not smooth, and \(P_\varepsilon\) is a linear extension operator from \(\Omega^\varepsilon\) to \(\widehat{\Omega}\). For the proof of this convergence result, the authors use the solution of an auxiliary problem and the properties of the extension operator \(P_\varepsilon\). They study some special cases corresponding to special structures of the function \(G\). They also study the dependence of the solution on the function \(G\).