Boundary estimates in elliptic homogenization (Q524235): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963619617 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1505.00694 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lipschitz Estimates in Almost-Periodic Homogenization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantitative / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5699232 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactness methods in the theory of homogenization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactness methods in the theory of homogenization II: Equations in non-divergence form / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <i>L</i><sup><i>p</i></sup> bounds on singular integrals in homogenization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elliptic equations with BMO coefficients in Reifenberg domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Conormal Derivative Problem for Elliptic Equations with BMO Coefficients on Reifenberg flat domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boundary value problems for the systems of elastostatics in Lipschitz domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elliptic equations in divergence form with partially BMO coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Potential techniques for boundary value problems on \(C^1\)-domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Dirichlet problem for the Stokes system on Lipschitz domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(W^{1,p}\) estimates for elliptic problems with Neumann boundary conditions in Lipschitz domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform \(W^{1,p}\) estimates for systems of linear elasticity in a periodic medium / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boundary Korn inequality and Neumann problems in homogenization of systems of elasticity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An optimal variance estimate in stochastic homogenization of discrete elliptic equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An optimal error estimate in stochastic homogenization of discrete elliptic equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantification of ergodicity in stochastic homogenization: optimal bounds via spectral gap on Glauber dynamics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Error estimate and unfolding for periodic homogenization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homogenization of Stokes Systems and Uniform Regularity Estimates / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symbol calculus for operators of layer potential type on Lipschitz surfaces with VMO normals, and related pseudodifferential operator calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform Lipschitz estimates in bumpy half-spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homogenization of elliptic boundary value problems in Lipschitz domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Layer potential methods for elliptic homogenization problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convergence rates in \(L ^{2}\) for elliptic homogenization problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homogenization of elliptic systems with Neumann boundary conditions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Periodic Homogenization of Green and Neumann Functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parabolic and Elliptic Equations with VMO Coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singular Integral Operators on C 1 Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4004193 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounds of Riesz transforms on \(L^p\) spaces for second order elliptic operators. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(L^{p}\) boundary value problems on Lipschitz domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: W$^{1,p}$ estimates for elliptic homogenization problems in nonsmooth domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5607484 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: HOMOGENIZATION OF THE DIRICHLET PROBLEM FOR ELLIPTIC SYSTEMS: ‐OPERATOR ERROR ESTIMATES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homogenization of the Neumann Problem for Elliptic Systems with Periodic Coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3760455 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A geometric approach to the Calderón-Zygmund estimates / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:43, 13 July 2024
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
0 references
0 references
0 references
0 references
0 references
0 references
0 references