Boundary estimates in elliptic homogenization (Q524235): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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 / namelinks / 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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references