Table of Contents
Fetching ...

Boundary Layer Estimates in Stochastic Homogenization

Peter Bella, Julian Fischer, Marc Josien, Claudia Raithel

Abstract

We prove quantitative decay estimates for the boundary layer corrector in stochastic homogenization in the case of a half-space boundary. Our estimates are of optimal order and show that the gradient of the boundary layer corrector features nearly fluctuation-order decay; its expected value decays even one order faster. As a corollary, we deduce estimates on the accuracy of the representative volume element method for the computation of effective coefficients: our understanding of the decay of boundary layers enables us to improve the order of convergence of the RVE method for $d\geq 3$.

Boundary Layer Estimates in Stochastic Homogenization

Abstract

We prove quantitative decay estimates for the boundary layer corrector in stochastic homogenization in the case of a half-space boundary. Our estimates are of optimal order and show that the gradient of the boundary layer corrector features nearly fluctuation-order decay; its expected value decays even one order faster. As a corollary, we deduce estimates on the accuracy of the representative volume element method for the computation of effective coefficients: our understanding of the decay of boundary layers enables us to improve the order of convergence of the RVE method for .
Paper Structure (32 sections, 31 theorems, 269 equations)

This paper contains 32 sections, 31 theorems, 269 equations.

Key Result

Theorem 1

Let $d\geq 3$ and $\langle\cdot\rangle$ be an ensemble of coefficient fields on $\mathbb{R}^d$ that satisfies the assumptions (A1)-(A4). Denote by $\theta_i \in H^1_{\rm{loc}}(\mathbb{H}^d_+ ; \mathbb{R}^d)$ the half-space corrector, that is, the uniqueUniqueness follows from the Liouville principle Then there exists a random field $\mathcal{C}(a,x)$, defined on $\Omega \times \mathbb{H}^d_+$, tha

Theorems & Definitions (55)

  • Theorem 1
  • Theorem 2
  • Proposition 1
  • Proposition 2
  • Corollary 3
  • Lemma 4
  • proof
  • Proposition 5
  • Proposition 6
  • proof : Proof of Proposition \ref{['iterative_lemma']}
  • ...and 45 more