Homogenization of the boundary value problem for the Poisson equation with rapidly oscillating nonlinear boundary conditions: Space dimension \(n \geq 3\), critical case (Q2313251)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homogenization of the boundary value problem for the Poisson equation with rapidly oscillating nonlinear boundary conditions: Space dimension \(n \geq 3\), critical case |
scientific article |
Statements
Homogenization of the boundary value problem for the Poisson equation with rapidly oscillating nonlinear boundary conditions: Space dimension \(n \geq 3\), critical case (English)
0 references
18 July 2019
0 references
The authors describe the asymptotic behavior of the solution \(u_{\varepsilon }\) to the Poisson problem: \(-\Delta u_{\varepsilon }=f\) posed in a bounded domain \(\Omega \subset \mathbb{R}^{n}\cap \{x_{1}>0\}\), \(n\geq 3\), with the boundary conditions \(\partial _{x_{1}}u_{\varepsilon }=\varepsilon ^{-\beta }\sigma (u_{\varepsilon })\) on \(\gamma _{\varepsilon }\), \(\partial _{x_{1}}u_{\varepsilon }=0\) on \(\Gamma _{1}\setminus \overline{\gamma } _{\varepsilon }\), \(u_{\varepsilon }=0\) on \(\Gamma _{2}\), the boundary \( \partial \Omega \) of \(\Omega \) being decomposed as \(\Gamma _{1}\cup \Gamma _{2}\) where \(\Gamma _{1}=\partial \Omega \cap \{x_{1}=0\}\), \(\gamma _{\varepsilon }\) being the union of \(\varepsilon \)-periodically distributed intervals of length \(a_{\varepsilon }\) with \(a_{\varepsilon }=C_{0}\varepsilon ^{\alpha }\), \(\alpha =\frac{n-1}{n-2}\). Here \(f\in L^{2}(\Omega )\) and \(\sigma \) is a continuously differentiable function such that \(\sigma (0)=0\) and \(0\leq k_{1}\leq \sigma ^{\prime }(u)\leq k_{2}\) for every \(u\in \mathbb{R}\). The authors then introduce a local test-function \(\widehat{w}\) in \(\mathbb{R}^{n}\cap \{x_{1}>0\}\) and establish estimates on this test-function. The main result proves that the weak solution to the above Poisson problem converges weakly in \(H^{1}(\Omega ,\Gamma _{2})\) and strongly in \(L^{2}(\Omega )\) to the solution \(u_{0}\) of the problem \(-\Delta u_{0}=f\) in \(\Omega \), with the boundary conditions \( \partial _{x_{1}}u_{0}-C_{0}^{n-2}H(u_{0})=0\) on \(\Gamma _{1}\) and \(u_{0}=0\) on \(\Gamma _{2}\). Here \(H(u)=-\int_{\gamma _{0}}\partial _{y_{1}}\widehat{w} (u,0,y^{\prime })dy^{\prime }\). The proof is deduced from the properties of the test-function \(\widehat{w}\) which allow to pass to the limit in the variational formulation associated to the Poisson problem.
0 references
semilinear boundary conditions
0 references
uniform estimates
0 references
local test-function
0 references
0 references
0 references