Uniform resolvent convergence for strip with fast oscillating boundary (Q2436397)

The authors describe the asymptotic behaviour of an elliptic operator considered in an infinite 2D strip with a fast oscillating boundary. They consider the domains \(\Omega _{0}=\{x\mid 0<x_{2}<d\}\) and \(\Omega _{\varepsilon }=\{x:\eta (\varepsilon )b(x_{1}\varepsilon ^{-1})<x_{2}<d\}\), where \(d\) is a positive constant and \(b\) is a nonnegative and 1-periodic function in \(C^{2}(\mathbb{R})\). The operator under consideration is \[ -\sum_{i,j}\frac{\partial }{\partial x_{j}}A_{ij}\frac{\partial }{\partial x_{i}}+-\sum_{j}A_{j}\frac{\partial }{\partial x_{j}}+-\sum_{j}\frac{ \partial }{\partial x_{j}}\overline{A}_{j}+A_{0} \] acting in \(L_{2}(\Omega _{\varepsilon })\). Here \(A_{ij}\in W_{\infty }^{2}(\Omega _{0})\), \(A_{j}\in W_{\infty }^{1}(\Omega _{0})\), \(A_{0}\in L_{\infty }(\Omega _{0})\), \(A_{ij}\) and \(A_{j}\) possibly complex-valued with \(A_{ij}=\overline{A}_{ji}\) and \( A_{0}\) real valued, \(A_{ij}\) satisfying a uniform coercivity condition. The authors add homogeneous Dirichlet boundary conditions on \(\Gamma =\{x_{2}=d\} \) and either homogeneous Dirichlet (\(u=0\)) or Robin (\((\frac{\partial }{ \partial \nu ^{\varepsilon }}+a)u=0\), for some \(a\in W_{\infty }^{1}(\{x:0<x_{2}<d\}\)) boundary conditions on \(\Gamma _{\varepsilon }=\{x:=x_{2}\eta (\varepsilon )b(x_{1}\varepsilon ^{-1})\}\). This leads to the operators \(\mathcal{H}_{\varepsilon ,\eta }^{D}\) or \(\mathcal{H} _{\varepsilon ,\eta }^{R}\) which can be associated to sesquilinear forms with respective domains \(W_{2,0}^{1}(\Omega _{\varepsilon },\partial \Omega _{\varepsilon })\) or \(W_{2,0}^{1}(\Omega _{\varepsilon },\Gamma )\). The two first results of the paper indicate the behaviour of \((\mathcal{H} _{\varepsilon ,\eta }^{D}-i)^{-1}\) or \((\mathcal{H}_{\varepsilon ,\eta }^{R}-i)^{-1}\) as \[ \left\| (\mathcal{H}_{\varepsilon ,\eta }^{D}-i)^{-1}f-(\mathcal{H}_{0}^{D}-i)^{-1}f\right\| _{W_{2}^{1}(\Omega _{\varepsilon })}\leq C\eta ^{1/2}\left\| f\right\| _{L_{2}(\Omega _{0})} \] and a similar inequality in the Neumann case. Here the limit operators \(\mathcal{H}_{0}^{D}\) and \(\mathcal{H}_{0}^{N}\) are deduced from the corresponding sesquilinear forms but working in the domain \(\Omega _{0}\). The authors first prove trace theorems in the present context. The proof of these two results is essentially based on the construction of test-functions. In the Robin case, the authors prove two quite similar results but imposing either \(\varepsilon ^{-1}\eta (\varepsilon )\rightarrow \alpha \geq 0\) or \(\varepsilon ^{-1}\eta (\varepsilon )\rightarrow \infty \).