Boundary estimates in elliptic homogenization (Q524235): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Sumit K. Garg / rank | |||
Normal rank | |||
Property / review text | |||
The author proves sharp boundary estimates which are uniform down to the microscopic scale for the solution of systems of linear elasticity with rapidly oscillating periodic coefficients and with Dirichlet or Neumann boundary conditions, without assuming smoothness hypotheses on the coefficients. He considers the operator \[ \mathcal{L}_{\varepsilon }=-\mathrm{div} (A(x/\varepsilon )\nabla ), \] where \(A\) is a second-order tensor which satisfies the classical uniform continuity, coercivity and symmetry properties occurring in linear elasticity. Moreover \(A(y)\) is supposed to be 1-periodic. The first main result of the paper proves that if \(\Omega \) is a bounded Lipschitz domain in \(\mathbb{R}^{d}\) and if \(u_{\varepsilon }\in H^{1}(\Omega ;\mathbb{R}^{d})\) is the weak solution to the Dirichlet problem \(\mathcal{L}_{\varepsilon }u_{\varepsilon }=F\) in \(\Omega \), \(u_{\varepsilon }=f\) on \(\partial \Omega \), with \(F\in L^{p}(\Omega ;\mathbb{R}^{d})\) with \( p<2d/(d+1)\) and \(f\in H^{1}(\partial \Omega ;\mathbb{R}^{d})\), then for every \(\varepsilon <r<\operatorname{diam}(\Omega )\) the estimate \[ \left( \frac{1}{r} \int_{\Omega _{r}}\left| \nabla u_{\varepsilon }\right| ^{2}dx\right) ^{1/2}\leq C(\left\| F\right\| _{L^{p}(\Omega )}+\left\| f\right\| _{H^{1}(\partial \Omega )}) \] holds true for some positive constant \(C\), where \(\Omega _{r}=\{x\in \Omega :d(x,\partial \Omega )<r\}\).\ A similar estimate also occurs in the case of a Neumann boundary condition \(\frac{\partial u_{\varepsilon }}{\partial \nu }=g\) on \(\partial \Omega \), with \(g\in L^{2}(\partial \Omega ;\mathbb{R}^{d})\) and assuming that \(u_{\varepsilon }\perp R\), where \(R\) is the space of rigid displacements on \(\mathbb{R}^{d}\). The author first recalls the results already available and connected to the problems under consideration. The main difference with such previous results is that the coefficients \(A\) of the elasticity operator are here only supposed to be measurable. For the proof of its two main results, the author essentially uses convergence rates in \(H^{1}\) between the solutions of the original elasticity problem and of its homogenized version. He indeed proves an estimate \[ \left \| u_{\varepsilon }-u_{0}-\varepsilon \chi _{j}^{\beta }(x/\varepsilon )K_{\varepsilon }^{2}(\frac{\partial u_{0}^{\beta }}{\partial x_{j}}\eta _{\varepsilon })\right\| _{H_{0}^{1}(\Omega )}\leq C\varepsilon ^{1/2}\{\left\| f\right\| _{H^{1}(\partial \Omega )}+\left\| F\right\| _{L^{p}(\Omega )}\}, \] where \((\chi _{j}^{\beta }(y))\) is the matrix of correctors in \(H_{loc}^{1}( \mathbb{R}^{d};\mathbb{R}^{d})\), \(K_{\varepsilon }\) is the convolution product between \(f\) and a smooth and nonnegative function \(\varphi _{\varepsilon }\in C_{0}^{\infty }(B(0,1/4))\) with integral equal to 1, and \( \eta _{\varepsilon }\in C_{0}^{\infty }(\Omega )\) is a smooth truncation function with support in \(\{x\in \Omega :d(x,\partial \Omega )\geq 3\varepsilon \}\) and equal to 1 in \(\{x\in \Omega :d(x,\partial \Omega )\geq 4\varepsilon \}\). Here \(F\in L^{p}(\Omega ;\mathbb{R}^{d})\) with \(p=2d/(d+1)\) and \(f\in H^{1}(\partial \Omega ;\mathbb{R}^{d})\). This estimate is valid for both the Dirichlet and the Neumann problems, with a restriction in the latter case associated to the rigid displacements. The proofs of the main theorems are obtained as straightforward consequences of \(L^{2}\) estimates concerning the convolution operator \(K_{\varepsilon }\) and its gradient. From these estimates, the author derives \(L^{q}\) error estimates with \( q=2d/(d-1)\) between the solutions of the original elasticity problem and of the associated homogenized problem. In the last parts of the paper, the author presents quite similar estimates in the case of smooth domains and/or assuming \(A\in VMO(\mathbb{R}^{d})\). | |||
Property / review text: The author proves sharp boundary estimates which are uniform down to the microscopic scale for the solution of systems of linear elasticity with rapidly oscillating periodic coefficients and with Dirichlet or Neumann boundary conditions, without assuming smoothness hypotheses on the coefficients. He considers the operator \[ \mathcal{L}_{\varepsilon }=-\mathrm{div} (A(x/\varepsilon )\nabla ), \] where \(A\) is a second-order tensor which satisfies the classical uniform continuity, coercivity and symmetry properties occurring in linear elasticity. Moreover \(A(y)\) is supposed to be 1-periodic. The first main result of the paper proves that if \(\Omega \) is a bounded Lipschitz domain in \(\mathbb{R}^{d}\) and if \(u_{\varepsilon }\in H^{1}(\Omega ;\mathbb{R}^{d})\) is the weak solution to the Dirichlet problem \(\mathcal{L}_{\varepsilon }u_{\varepsilon }=F\) in \(\Omega \), \(u_{\varepsilon }=f\) on \(\partial \Omega \), with \(F\in L^{p}(\Omega ;\mathbb{R}^{d})\) with \( p<2d/(d+1)\) and \(f\in H^{1}(\partial \Omega ;\mathbb{R}^{d})\), then for every \(\varepsilon <r<\operatorname{diam}(\Omega )\) the estimate \[ \left( \frac{1}{r} \int_{\Omega _{r}}\left| \nabla u_{\varepsilon }\right| ^{2}dx\right) ^{1/2}\leq C(\left\| F\right\| _{L^{p}(\Omega )}+\left\| f\right\| _{H^{1}(\partial \Omega )}) \] holds true for some positive constant \(C\), where \(\Omega _{r}=\{x\in \Omega :d(x,\partial \Omega )<r\}\).\ A similar estimate also occurs in the case of a Neumann boundary condition \(\frac{\partial u_{\varepsilon }}{\partial \nu }=g\) on \(\partial \Omega \), with \(g\in L^{2}(\partial \Omega ;\mathbb{R}^{d})\) and assuming that \(u_{\varepsilon }\perp R\), where \(R\) is the space of rigid displacements on \(\mathbb{R}^{d}\). The author first recalls the results already available and connected to the problems under consideration. The main difference with such previous results is that the coefficients \(A\) of the elasticity operator are here only supposed to be measurable. For the proof of its two main results, the author essentially uses convergence rates in \(H^{1}\) between the solutions of the original elasticity problem and of its homogenized version. He indeed proves an estimate \[ \left \| u_{\varepsilon }-u_{0}-\varepsilon \chi _{j}^{\beta }(x/\varepsilon )K_{\varepsilon }^{2}(\frac{\partial u_{0}^{\beta }}{\partial x_{j}}\eta _{\varepsilon })\right\| _{H_{0}^{1}(\Omega )}\leq C\varepsilon ^{1/2}\{\left\| f\right\| _{H^{1}(\partial \Omega )}+\left\| F\right\| _{L^{p}(\Omega )}\}, \] where \((\chi _{j}^{\beta }(y))\) is the matrix of correctors in \(H_{loc}^{1}( \mathbb{R}^{d};\mathbb{R}^{d})\), \(K_{\varepsilon }\) is the convolution product between \(f\) and a smooth and nonnegative function \(\varphi _{\varepsilon }\in C_{0}^{\infty }(B(0,1/4))\) with integral equal to 1, and \( \eta _{\varepsilon }\in C_{0}^{\infty }(\Omega )\) is a smooth truncation function with support in \(\{x\in \Omega :d(x,\partial \Omega )\geq 3\varepsilon \}\) and equal to 1 in \(\{x\in \Omega :d(x,\partial \Omega )\geq 4\varepsilon \}\). Here \(F\in L^{p}(\Omega ;\mathbb{R}^{d})\) with \(p=2d/(d+1)\) and \(f\in H^{1}(\partial \Omega ;\mathbb{R}^{d})\). This estimate is valid for both the Dirichlet and the Neumann problems, with a restriction in the latter case associated to the rigid displacements. The proofs of the main theorems are obtained as straightforward consequences of \(L^{2}\) estimates concerning the convolution operator \(K_{\varepsilon }\) and its gradient. From these estimates, the author derives \(L^{q}\) error estimates with \( q=2d/(d-1)\) between the solutions of the original elasticity problem and of the associated homogenized problem. In the last parts of the paper, the author presents quite similar estimates in the case of smooth domains and/or assuming \(A\in VMO(\mathbb{R}^{d})\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alain Brillard / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 35B27 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 35J57 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 74B05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6710208 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sharp boundary estimates | |||
Property / zbMATH Keywords: sharp boundary estimates / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Rellich estimates | |||
Property / zbMATH Keywords: Rellich estimates / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lipschitz estimates | |||
Property / zbMATH Keywords: Lipschitz estimates / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
convergence rates | |||
Property / zbMATH Keywords: convergence rates / rank | |||
Normal rank |
Revision as of 06:11, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Boundary estimates in elliptic homogenization |
scientific article |
Statements
Boundary estimates in elliptic homogenization (English)
0 references
2 May 2017
0 references
The author proves sharp boundary estimates which are uniform down to the microscopic scale for the solution of systems of linear elasticity with rapidly oscillating periodic coefficients and with Dirichlet or Neumann boundary conditions, without assuming smoothness hypotheses on the coefficients. He considers the operator \[ \mathcal{L}_{\varepsilon }=-\mathrm{div} (A(x/\varepsilon )\nabla ), \] where \(A\) is a second-order tensor which satisfies the classical uniform continuity, coercivity and symmetry properties occurring in linear elasticity. Moreover \(A(y)\) is supposed to be 1-periodic. The first main result of the paper proves that if \(\Omega \) is a bounded Lipschitz domain in \(\mathbb{R}^{d}\) and if \(u_{\varepsilon }\in H^{1}(\Omega ;\mathbb{R}^{d})\) is the weak solution to the Dirichlet problem \(\mathcal{L}_{\varepsilon }u_{\varepsilon }=F\) in \(\Omega \), \(u_{\varepsilon }=f\) on \(\partial \Omega \), with \(F\in L^{p}(\Omega ;\mathbb{R}^{d})\) with \( p<2d/(d+1)\) and \(f\in H^{1}(\partial \Omega ;\mathbb{R}^{d})\), then for every \(\varepsilon <r<\operatorname{diam}(\Omega )\) the estimate \[ \left( \frac{1}{r} \int_{\Omega _{r}}\left| \nabla u_{\varepsilon }\right| ^{2}dx\right) ^{1/2}\leq C(\left\| F\right\| _{L^{p}(\Omega )}+\left\| f\right\| _{H^{1}(\partial \Omega )}) \] holds true for some positive constant \(C\), where \(\Omega _{r}=\{x\in \Omega :d(x,\partial \Omega )<r\}\).\ A similar estimate also occurs in the case of a Neumann boundary condition \(\frac{\partial u_{\varepsilon }}{\partial \nu }=g\) on \(\partial \Omega \), with \(g\in L^{2}(\partial \Omega ;\mathbb{R}^{d})\) and assuming that \(u_{\varepsilon }\perp R\), where \(R\) is the space of rigid displacements on \(\mathbb{R}^{d}\). The author first recalls the results already available and connected to the problems under consideration. The main difference with such previous results is that the coefficients \(A\) of the elasticity operator are here only supposed to be measurable. For the proof of its two main results, the author essentially uses convergence rates in \(H^{1}\) between the solutions of the original elasticity problem and of its homogenized version. He indeed proves an estimate \[ \left \| u_{\varepsilon }-u_{0}-\varepsilon \chi _{j}^{\beta }(x/\varepsilon )K_{\varepsilon }^{2}(\frac{\partial u_{0}^{\beta }}{\partial x_{j}}\eta _{\varepsilon })\right\| _{H_{0}^{1}(\Omega )}\leq C\varepsilon ^{1/2}\{\left\| f\right\| _{H^{1}(\partial \Omega )}+\left\| F\right\| _{L^{p}(\Omega )}\}, \] where \((\chi _{j}^{\beta }(y))\) is the matrix of correctors in \(H_{loc}^{1}( \mathbb{R}^{d};\mathbb{R}^{d})\), \(K_{\varepsilon }\) is the convolution product between \(f\) and a smooth and nonnegative function \(\varphi _{\varepsilon }\in C_{0}^{\infty }(B(0,1/4))\) with integral equal to 1, and \( \eta _{\varepsilon }\in C_{0}^{\infty }(\Omega )\) is a smooth truncation function with support in \(\{x\in \Omega :d(x,\partial \Omega )\geq 3\varepsilon \}\) and equal to 1 in \(\{x\in \Omega :d(x,\partial \Omega )\geq 4\varepsilon \}\). Here \(F\in L^{p}(\Omega ;\mathbb{R}^{d})\) with \(p=2d/(d+1)\) and \(f\in H^{1}(\partial \Omega ;\mathbb{R}^{d})\). This estimate is valid for both the Dirichlet and the Neumann problems, with a restriction in the latter case associated to the rigid displacements. The proofs of the main theorems are obtained as straightforward consequences of \(L^{2}\) estimates concerning the convolution operator \(K_{\varepsilon }\) and its gradient. From these estimates, the author derives \(L^{q}\) error estimates with \( q=2d/(d-1)\) between the solutions of the original elasticity problem and of the associated homogenized problem. In the last parts of the paper, the author presents quite similar estimates in the case of smooth domains and/or assuming \(A\in VMO(\mathbb{R}^{d})\).
0 references
sharp boundary estimates
0 references
Rellich estimates
0 references
Lipschitz estimates
0 references
convergence rates
0 references