The present paper concerns a space-time homogenization problem for nonlinear diffusion equations with periodically oscillating (in space and time) coefficients. Main results consist of corrector results (i.e., strong convergences of solutions with corrector terms) for gradients, diffusion fluxes and time-derivatives without assumptions for smoothness of coefficients. Proofs of the main results are based on the space-time version of the unfolding method, which is deeply concerned with the strong two-scale convergence theory.
We prove, under some assumptions, the existence of correctors for the stochastic homoge-nization of of " viscous " possibly degenerate Hamilton-Jacobi equations in stationary ergodic media. The general claim is that, assuming knowledge of homogenization in probability, correctors exist for all extreme points of the convex hull of the sublevel sets of the effective Hamiltonian. Even when homogenization is not a priori known, the arguments imply existence of correctors and, hence, homogenization in some new settings. These include positively homogeneous Hamiltonians and, hence, geometric-type eq…
We carry out a comprehensive study of quantitative homogenization of second-order elliptic systems with bounded measurable coefficients that are almost-periodic in the sense of H. Weyl. We obtain uniform local $L^2$ estimates for the approximate correctors in terms of a function that quantifies the almost-periodicity of the coefficient matrix. We give a condition that implies the existence of (true) correctors. These estimates as well as similar estimates for the dual approximate correctors yield optimal or near optimal convergence rates in $H^1$ and $L^2$.The $L^2$-based Hölder and Lipschitz …
We show that certain linear elliptic equations (and systems) in divergence form with almost periodic coefficients have bounded, almost periodic correctors. This is proved under a new condition we introduce which quantifies the almost periodic assumption and includes (but is not restricted to) the class of smooth, quasiperiodic coefficient fields which satisfy a Diophantine-type condition previously considered by Kozlov. The proof is based on a quantitative ergodic theorem for almost periodic functions combined with the new regularity theory recently introduced by the first author and Shen for …
We are concerned with the homogenization of second-order linear elliptic equations with random coefficient fields. For symmetric coefficient fields with only short-range correlations, quantified through a logarithmic Sobolev inequality for the ensemble, we prove that when measured in weak spatial norms, the solution to the homogenized equation provides a higher-order approximation of the solution to the equation with oscillating coefficients. In the case of nonsymmetric coefficient fields, we provide a higher-order approximation (in weak spatial norms) of the solution to the equation with osci…
We consider the corrector equation associated, in homogenization theory , to a linear second-order elliptic equation in divergence form --$\partial$i(aij$\partial$ju) = f , when the diffusion coefficient is a locally perturbed periodic coefficient. The question under study is the existence (and uniqueness) of the corrector, strictly sublinear at infinity, with gradient in L r if the local perturbation is itself L r , r < +$\infty$. The present work follows up on our works [7, 8, 9], providing an alternative, more general and versatile approach , based on an a priori estimate, for this well-pos…
Corrector estimates constitute a key ingredient in the derivation of optimal convergence rates via two-scale expansion techniques in homogenization theory of random uniformly elliptic equations. The present work follows up - in terms of corrector estimates - on the recent work of Fischer and Neukamm (arXiv:1908.02273) which provides a quantitative stochastic homogenization theory of nonlinear uniformly elliptic equations under a spectral gap assumption. We establish optimal-order estimates (with respect to the scaling in the ratio between the microscopic and the macroscopic scale) for higher-o…
We investigate corrector estimates for the solutions of a thermoelasticity problem posed in a highly heterogeneous two-phase medium and its corresponding two-scale thermoelasticity model which was derived in an earlier paper by two-scale convergence arguments. The medium in question consists of a connected matrix with disconnected, initially periodically distributed inclusions separated by a sharp interface undergoing a priori known phase transformations. While such estimates seem not to be obtainable in the fully coupled setting, we show that for some simplified scenarios optimal convergence …
This work concerns the analysis of wave propagation in random media. Our medium of interest is sea ice, which is a composite of a pure ice background and randomly located inclusions of brine and air. From a pulse emitted by a source above the sea ice layer, the main objective of this work is to derive a model for the backscattered signal measured at the source/detector location. The problem is difficult in that, in the practical configuration we consider, the wave impinges on the layer with a non-normal incidence. Since the sea ice is seen by the pulse as an effective (homogenized) medium, the…
In this paper, we study high order correctors in stochastic homogenization. We consider elliptic equations in divergence form on $\mathbb{Z}^d$, with the random coefficients constructed from i.i.d. random variables. We prove moment bounds on the high order correctors and their gradients under dimensional constraints. It implies the existence of stationary correctors and stationary gradients in high dimensions. As an application, we prove a two-scale expansion of the solutions to the random PDE, which identifies the first and higher order random fluctuations in a strong sense.
In this paper, we consider the homogenization of the p--Laplace equation with a periodic coefficient that is perturbed by a local defect. This setting has been introduced in [6, 7] in the linear setting p = 2. We construct the correctors and we derive convergence results to the homogenized solution in the case p > 2 under the assumption that the periodic correctors are non degenerate.
This Note aims at presenting a simple and efficient procedure to derive the structure of high-order corrector estimates for the homogenization limit applied to a semi-linear elliptic equation posed in perforated domains. Our working technique relies on monotone iterations combined with formal two-scale homogenization asymptotics. It can be adapted to handle more complex scenarios including for instance nonlinearities posed at the boundary of perforations and the vectorial case, when the model equations are coupled only through the nonlinear production terms.
We establish higher order convergence rates in periodic homogenization of fully nonlinear uniformly parabolic Cauchy problems accompanied with rapidly oscillating initial data. Such result is new even for linear problems. Here we construct higher order initial layer and interior correctors, which describe the oscillatory behavior near the initial and interior time zone of the domain. To construct higher order correctors, we develop a regularity theory in macroscopic scales, and prove an exponential decay estimate for initial layer correctors. The higher order expansion requires an iteration pr…
In this paper, we determine the convergence speed of an upscaling of a pseudo-parabolic system containing drift terms with scale separation of size $ε\ll 1$. Both the upscaling and convergence speed determination exploit a natural spatial-temporal decomposition, which splits the pseudo-parabolic system into a spatial elliptic partial differential equation and a temporal ordinary differential equation. We extend the applicability to space-time domains that are a product of spatial and temporal domains, such as a time-independent perforated spatial domain. Finally, for special cases we show conv…
In $L_2(\mathbb{R}^d;\mathbb{C}^n)$, consider a self-adjoint matrix second order elliptic differential operator $\mathcal{B}_\varepsilon$, $0<\varepsilon \leqslant 1$. The principal part of the operator is given in a factorised form, the operator contains first and zero order terms. The operator $\mathcal{B}_\varepsilon$ is positive definite, its coefficients are periodic and depend on $\mathbf{x}/\varepsilon$. We study the behaviour in the small period limit of the operator exponential $e^{-\mathcal{B}_\varepsilon t}$, $t\geqslant 0$. The approximation in the $(L_2\rightarrow L_2)$-operator n…
We follow-up on our works devoted to homogenization theory for linear second-order elliptic equations with coefficients that are perturbations of periodic coefficients. We have first considered equations in divergence form in [6, 7, 8]. We have next shown, in our recent work [9], using a slightly different strategy of proof than in our earlier works, that we may also address the equation --aij$\partial$iju = f. The present work is devoted to advection-diffusion equations: --aij$\partial$iju + bj$\partial$ju = f. We prove, under suitable assumptions on the coefficients aij, bj, 1 $\le$ i, j $\l…
We study homogenization of multiscale Maxwell wave equation that depends on $n$ separable microscopic scales in a domain $D\subset{\mathbb R}^d$ on a finite time interval $(0,T)$. Due to the non-compactness of the embedding of $H_0(\curl,D)$ in $L^2(D)^d$, homogenization of Maxwell wave equation can be significantly more complicated than that of scalar wave equations in the $H^1(D)$ setting, and requires analysis uniquely for Maxwell wave equations. We employ multiscale convergence. The homogenized Maxwell wave equation and the initial condition are deduced from the multiscale homogenized equa…
This article is concerned with uniform $C^{1,α}$ and $C^{1,1}$ estimates in periodic homogenization of fully nonlinear elliptic equations. The analysis is based on the compactness method, which involves linearization of the operator at each approximation step. Due to the nonlinearity of the equations, the linearized operators involve the Hessian of correctors, which appear in the previous step. The involvement of the Hessian of the correctors deteriorates the regularity of the linearized operator, and sometimes even changes its oscillating pattern. These issues are resolved with new approximat…
In this contribution we are interested in the quantitative homogenization properties of linear elliptic equations with homogeneous Dirichlet boundary data in polygonal domains with corners. To begin our study of this situation, we consider the setting of an angular sector in 2 dimensions : Unlike in the whole-space, on such a sector there exist non-smooth harmonic functions (these depend on the angle of the sector). Here, we construct extended homogenization correctors corresponding to these harmonic functions and prove growth estimates for these which are quasi-optimal, namely optimal up to a…
Recently, the quantification of errors in the stochastic homogenization of divergence-form operators has witnessed important progress. Our aim now is to go beyond error bounds, and give precise descriptions of the effect of the randomness, in the large-scale limit. This paper is a first step in this direction. Our main result is to identify the correlation structure of the corrector, in dimension $3$ and higher. This correlation structure is similar to, but different from that of a Gaussian free field.
We establish higher order convergence rates in the theory of periodic homogenization of both linear and fully nonlinear uniformly elliptic equations of non-divergence form. The rates are achieved by involving higher order correctors which fix the errors occurring both in the interior and on the boundary layer of our physical domain. The proof is based on a viscosity method and a new regularity theory which captures the stability of the correctors with respect to the shape of our limit profile.
We consider the corrector equation from the stochastic homogenization of uniformly elliptic finite-difference equations with random, possibly non-symmetric coefficients. Under the assumption that the coefficients are stationary and ergodic in the quantitative form of a Logarithmic Sobolev inequality (LSI), we obtain optimal bounds on the corrector and its gradient in dimensions $d \geq 2$. Similar estimates have recently been obtained in the special case of diagonal coefficients making extensive use of the maximum principle and scalar techniques. Our new method only invokes arguments that are …
In this paper, for a family of second-order elliptic equations with rapidly oscillating periodic coefficients and rapidly oscillating periodic potentials, we are interested in the $H^1$ convergence rates and the Dirichlet eigenvalues and bounds of the normal derivatives of Dirichlet eigenfunctions. The $H^1$ convergence rates rely on the Dirichlet correctors and the first-order corrector for the oscillating potentials. And the bound results rely on an $O(\varepsilon)$ estimate in $H^1$ for solutions with Dirichlet condition.
The full Landau-Lifshitz-Gilbert equation with periodic material coefficients and natural boundary condition is employed to model the magnetization dynamics in composite ferromagnets. In this work, we establish the convergence between the homogenized solution and the original solution via a Lax equivalence theorem kind of argument. There are a few technical difficulties, including: 1) it is proven the classic choice of corrector to homogenization cannot provide the convergence result in the $H^1$ norm; 2) a boundary layer is induced due to the natural boundary condition; 3) the presence of str…
We study the large scale behavior of elliptic systems with stationary random coefficient that have only slowly decaying correlations. To this aim we analyze the so-called corrector equation, a degenerate elliptic equation posed in the probability space. In this contribution, we use a parabolic approach and optimally quantify the time decay of the semigroup. For the theoretical point of view, we prove an optimal decay estimate of the gradient and flux of the corrector when spatially averaged over a scale R larger than 1. For the numerical point of view, our results provide convenient tools for …
We consider periodic homogenization of nonlinearly elastic composite materials. Under suitable assumptions on the stored energy function (frame indifference; minimality, non-degeneracy and smoothness at identity; $p\geq d$-growth from below), and on the microgeometry of the composite (covering the case of smooth, periodically distributed inclusions with touching boundaries), we prove that in an open neighbourhood of the set of rotations, the multi-cell homogenization formula of non-convex homogenization reduces to a single-cell formula that can be represented with help of a corrector. This gen…
We consider uniformly elliptic coefficient fields that are randomly distributed according to a stationary ensemble of a finite range of dependence. We show that the gradient and flux $(\nablaϕ,a(\nabla ϕ+e))$ of the corrector $ϕ$, when spatially averaged over a scale $R\gg 1$ decay like the CLT scaling $R^{-\frac{d}{2}}$. We establish this optimal rate on the level of sub-Gaussian bounds in terms of the stochastic integrability, and also establish a suboptimal rate on the level of optimal Gaussian bounds in terms of the stochastic integrability. The proof unravels and exploits the self-averagi…
In this paper, we find some error estimates for periodic homogenization of p-Laplace type equations under the same structure assumption on homogenized equations. The main idea is that by adjusting the size of the difference quotient of the correctors to make the convergence rate visible. In order to reach our goal, the corresponding flux corrector with some properties are developed. Meanwhile, the shift-arguments is in fact applied down to $\varepsilon$ scale, which leads to a new weighted type inequality for smoothing operator with the weight satisfying Harnack's inequality in small scales. A…
The present work deals with the derivation of corrector estimates for the two-scale homogenization of a thermo-diffusion model with weak thermal coupling posed in a heterogeneous medium endowed with periodically arranged high-contrast microstructures. The terminology "weak thermal coupling" refers here to the variable scaling in terms of the small homogenization parameter of the heat conduction-diffusion interaction terms, while the "high-contrast" is thought particularly in terms of the heat conduction properties of the composite material. As main target, we justify the first-order terms of t…
This paper concentrates on the quantitative homogenization of higher-order elliptic systems with almost-periodic coefficients in bounded Lipschitz domains. For coefficients which are almost-periodic in the sense of H. Weyl, we establish uniform ocal $L^2$ estimates for the approximate correctors. Under an additional assumption on the frequencies of the coefficients (see (1.10)), we derive the existence of the true correctors as well as the sharp $O(\varepsilon)$ convergence rate in $H^{m-1}$. As a byproduct, the large-scale Hölder estimate and a Liouville theorem are obtained for higher-order …
We prove homogenization for a class of nonconvex (possibly degenerate) viscous Hamilton-Jacobi equations in stationary ergodic random environments in one space dimension. The results concern Hamiltonians of the form $G(p)+V(x,ω)$, where the nonlinearity $G$ is a minimum of two or more convex functions with the same absolute minimum, and the potential $V$ is a bounded stationary process satisfying an additional scaled hill and valley condition. This condition is trivially satisfied in the inviscid case, while it is equivalent to the original hill and valley condition of A. Yilmaz and O. Zeitoun…
We derive in this note a high-order corrector estimate for the homogenization of a microscopic semi-linear elliptic system posed in perforated domains. The major challenges are the presence of nonlinear volume and surface reaction rates. This type of correctors justifies mathematically the convergence rate of formal asymptotic expansions for the two-scale homogenization settings. As main tool, we follow the standard approach by the energy-like method to investigate the error estimate between the micro and macro concentrations and micro and macro concentration gradients. This work aims at gener…
In this paper, we consider a microscopic semilinear elliptic equation posed in periodically perforated domains and associated with the Fourier-type condition on internal micro-surfaces. The first contribution of this work is the construction of a reliable linearization scheme that allows us, by a suitable choice of scaling arguments and stabilization constants, to prove the weak solvability of the microscopic model. Asymptotic behaviors of the microscopic solution with respect to the microscale parameter are thoroughly investigated in the second theme, based upon several cases of scaling. In p…
In this work, we present a new solution representation for the Helmholtz transmission problem in a bounded domain in $\mathbb{R}^2$ with a thin and periodic layer of finite length. The layer may consists of a periodic pertubation of the material coefficients or it is a wall modelled by boundary conditions with an periodic array of small perforations. We consider the periodicity in the layer as the small variable $δ$ and the thickness of the layer to be at the same order. Moreover we assume the thin layer to terminate at re-entrant corners leading to a singular behaviour in the asymptotic expan…
We consider a homogenization problem for the diffusion equation $-\operatorname{div}\left(a_{\varepsilon} \nabla u_{\varepsilon} \right) = f$ when the coefficient $a_{\varepsilon}$ is a non-local perturbation of a periodic coefficient. The perturbation does not vanish but becomes rare at infinity in a sense made precise in the text. We prove the existence of a corrector, identify the homogenized limit and study the convergence rates of $u_{\varepsilon}$ to its homogenized limit.
For a class of linear elliptic equations of general type with rapidly oscillating coefficients, we use the sigma-convergence method to prove the homogenization result and a corrector-type result. In the case of asymptotic periodic coefficients we derive the optimal convergence rates for the zero order approximation of the solution with no smoothness on the coefficients, in contrast to what has been done up to now in the literature. This follows as a result of the existence of asymptotic periodic correctors for general nonsmooth coefficients. The homogenization process is achieved through a com…
In this paper we study the quantitative homogenization of second-order parabolic systems with locally periodic (in both space and time) coefficients. The $O(\varepsilon)$ scale-invariant error estimate in $L^2(0, T; L^{\frac{2d}{d-1}}(Ω))$ is established in $C^{1, 1}$ cylinders under minimum smoothness conditions on the coefficients. This process relies on critical estimates of smoothing operators. We also develop a new construction of flux correctors in the parabolic manner and a sharp estimate for temporal boundary layers.
The paper deals with the homogenization of a linear Boltzmann equation by the means of the sigma-convergence method. Under a general deterministic assumption on the coefficients of the equation, we prove that the density of the particles converges to a solution of a drift-diffusion equation. To achieve our goal, we use the Krein-Rutman theorem for locally convex spaces together with the Fredholm alternative to solve the so-called corrector problem.
