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 approximation techniques, which yield a precise decomposition of the regular part and the irregular part of the homogenization process, along with a uniform control of the Hessian of the correctors in an intermediate level. The approximation techniques are even new in the context of linear equations. Our argument can be applied not only to concave operators, but also to certain class of non-concave operators.
Operator-type estimates of homogenization are obtained for elliptic operators of arbitrary even order equal or greater than two. Operators under consideration are non-selfadjoint with lower-order terms.
We study the homogenization of elliptic systems of equations in divergence form where the coefficients are compositions of periodic functions with a random diffeomorphism with stationary gradient. This is done in the spirit of scalar stochastic homogenization by Blanc, Le Bris and P.-L. Lions. An application of the abstract result is given for Maxwell's equations in random dissipative bianisotropic media.
We study the averaging behavior of nonlinear uniformly elliptic partial differential equations with random Dirichlet or Neumann boundary data oscillating on a small scale. Under conditions on the operator, the data and the random media leading to concentration of measure, we prove an almost sure and local uniform homogenization result with a rate of convergence in probability.
We consider an homogenization problem for the second order elliptic equation $- Δu^{\varepsilon} + \dfrac{1}{\varepsilon} V(./\varepsilon) u^{\varepsilon} + νu^{\varepsilon} =f$ when the highly oscillatory potential $V$ belongs to a particular class of non-periodic potentials. We show the existence of an adapted corrector and prove the convergence of $u^{\varepsilon}$ to its homogenized limit.
This paper is concerned with periodic homogenization of second-order elliptic systems in divergence form with oscillating Dirichlet data or Neumann data of first order. We prove that the homogenized boundary data belong to $W^{1, p}$ for any $1<p<\infty$. In particular, this implies that the boundary layer tails are Hölder continuous of order $α$ for any $α\in (0,1)$.
It is shown by means of reiterated two-scale convergence in the Sobolev-Orlicz setting, that the sequence of solutions of a class of highly oscillatory problems involving nonlinear elliptic operators with nonstandard growth, converges to a solution of a suitable homogeneous nonlinear elliptic equation associated to an operator with nonstandard growth.
The main purpose of this work is to study uniform regularity estimates for a family of elliptic operators $\{\mathcal{L}_\varepsilon, \varepsilon>0\}$, arising in the theory of homogenization, with rapidly oscillating periodic coefficients. We establish sharp $W^{1,p}$ estimates, Lipschitz estimates, and nontangential maximal function estimates, which are uniform in the parameter $\varepsilon$, on solutions with Neumann boundary conditions in $C^{1,α}$ domains.
The paper is mainly concerned with an approximate three-ball inequality for solutions in elliptic periodic homogenization. We consider a family of second order operators $\mathcal{L}_ε$ in divergence form with rapidly oscillating and periodic coefficients. It is the first time such an approximate three-ball inequality for homogenization theory is obtained. It implies an approximate quantitative propagation of smallness. The proof relies on a representation of the solution by the Poisson kernel and the Lagrange interpolation technique. Another full propagation of smallness result is also shown.
We give a simplified presentation of the obstacle problem approach to stochastic homogenization for elliptic equations in nondivergence form. Our argument also applies to equations which depend on the gradient of the unknown function. In the latter case, we overcome difficulties caused by a lack of estimates for the first derivatives of approximate correctors by modifying the perturbed test function argument to take advantage of the spreading of the contact set.
We introduce a new constructive method for establishing lower bounds on convergence rates of periodic homogenization problems associated with divergence type elliptic operators. The construction is applied in two settings. First, we show that solutions to boundary layer problems for divergence type elliptic equations set in halfspaces and with infinitely smooth data, may converge to their corresponding boundary layer tails as slow as one wish depending on the position of the hyperplane. Second, we construct a Dirichlet problem for divergence type elliptic operators set in a bounded domain, and…
In the whole space $R^d$, $d\ge 2$, we study homogenization of a divergence form elliptic operator $A_\varepsilon$ of order $2m\ge 4$ with measurable $\varepsilon$-periodic coefficients, where $\varepsilon$ is a small parameter. For the resolvent $(A_\varepsilon+1)^{-1}$, we construct an approximation with the remainder term of order $\varepsilon^2$ in the operator $(L^2{\to}H^m)$-norm, using the resolvent of the homogenized operator, solutions of several auxiliary periodic problems on the unit cube, and smoothing operators. The homogenized operator here differs from the one commonly employed …
In the whole space $R^d$ ($d\ge 2$), we study homogenization of a divergence-form matrix elliptic operator $L_\varepsilon$ of an arbitrary even order larger than 2 with measurable $\varepsilon$-periodic coefficients, where $\varepsilon$ is a small parameter. We constuct an approximation for the resolvent of $L_\varepsilon$ with the remainder term of order $\varepsilon^2$ in the operator $L^2$-norm. We impose no regularity conditions on the operator beyond ellipticity and boundedness of coefficients. We use two scale expansions with correctors regularized by the Steklov smoothing.
This paper is concerned with uniform measure estimates for nodal sets of solutions in elliptic homogenization. We consider a family of second-order elliptic operators $\{ \mathcal{L}_\e\}$ in divergence form with rapidly oscillating and periodic coefficients. We show that the $(d-1)$-dimensional Hausdorff measures of the nodal sets of solutions to $\mathcal{L}_\e (u_\e)=0$ in a ball in $\R^d$ are bounded uniformly in $\e>0$. The proof relies on a uniform doubling condition and approximation of $u_\e$ by solutions of the homogenized equation.
We approximate the homogenization of fully nonlinear, convex, uniformly elliptic Partial Differential Equations in the periodic setting, using a variational formula for the optimal invariant measure, which may be derived via Legendre-Fenchel duality. The variational formula expresses $\bar H$ as an average of the operator against the optimal invariant measure, generalizing the linear case. Several nontrivial analytic formulas for $\bar H$ are obtained. These formulas are compared to numerical simulations, using both PDE and variational methods. We also perform a numerical study of convergence …
We consider a strongly nonlinear elliptic problem with the homogeneous Dirichlet boundary condition. The growth and the coercivity of the elliptic operator is assumed to be indicated by an inhomogeneous anisotropic $\mathcal{N}$-function. First, an existence result is shown under the assumption that the $\mathcal{N}$-function or its convex conjugate satisfies $Δ_2$-condition. The second result concerns the homogenization process for families of strongly nonlinear elliptic problems with the homogeneous Dirichlet boundary condition under above stated conditions on the elliptic operator, which is…
In this paper, for a family of second-order elliptic equations with rapidly oscillating periodic coefficients, we are interested in a Carleman-type inequality for these solutions satisfying an additional growth condition in elliptic periodic homogenization, which implies a three-ball inequality without an error term at a macroscopic scale. Moreover, if we replace the additional growth condition by the doubling condition at a macroscopic scale, then the three-ball inequality without an error term holds at any scale. The proof relies on the convergence of $H^1$-norm for the solution and the comp…
For a family of second-order elliptic systems of Maxwell's type with rapidly oscillating periodic coefficients in a $C^{1, α}$ domain $Ω$, we establish uniform estimates of solutions $u_\varep$ and $\nabla \times u_\varep$ in $L^p(Ω)$ for $1<p\le \infty$. The proof relies on the uniform $W^{1,p}$ and Lipschitz estimates for solutions of scalar elliptic equations with periodic coefficients.
In this paper we use the method of layer potentials to study $L^2$ boundary value problems in a bounded Lipschitz domain $Ω$ for a family of second order elliptic systems with rapidly oscillating periodic coefficients, arising in the theory of homogenization. Let $\mathcal{L}_\varepsilon=-\text{div}\big(A(\varepsilon^{-1}X)\nabla \big)$. Under the assumption that $A(X)$ is elliptic, symmetric, periodic and Hölder continuous, we establish the solvability of the $L^2$ Dirichlet, regularity, and Neumann problems for $\mathcal{L}_\varepsilon (u_\varepsilon)=0$ in $Ω$ with optimal estimates uniform…
In this work we study the homogenization problem for (nonlinear) eigenvalues of quasilinear elliptic operators. We prove convergence of the first and second eigenvalues and, in the case where the operator is independent of $\varepsilon$, convergence of the full (variational) spectrum together whit an explicit in $k$ and in $\varepsilon$ order of convergence.
We consider an elliptic equation with purely imaginary, highly heterogeneous, and large random potential with a sufficiently rapidly decaying correlation function. We show that its solution is well approximated by the solution to a homogeneous equation with a real-valued homogenized potential as the correlation length of the random medium $\varepsilon\rightarrow 0$ and estimate the size of the random fluctuations in the setting $d\geq3$.
Since the seminal contribution of Geymonat, Müller, and Triantafyllidis, it is known that strong ellipticity is not necessarily conserved through periodic homogenization in linear elasticity. This phenomenon is related to microscopic buckling of composite materials. Consider a mixture of two isotropic phases which leads to loss of strong ellipticity when arranged in a laminate manner, as considered by Gutiérrez and by Briane and Francfort. In this contribution we prove that the laminate structure is essentially the only microstructure which leads to such a loss of strong ellipticity. We perfor…
This paper deals with the homogenization of fully nonlinear second order equation with an oscillating Dirichlet boundary data when the operator and boundary data are $\e$-periodic. We will show that the solution $u_\e$ converges to some function $\bar u(x)$ uniformly on every compact subset $K$ of the domain $D$. Moreover, $\bar u$ is a solution to some boundary value problem. For this result, we assume that the boundary of the domain has no (rational) flat spots and the ratio of elliptic constants $Λ/ λ$ is sufficiently large.
We study the homogenization process for families of strongly nonlinear elliptic systems with the homogeneous Dirichlet boundary conditions. The growth and the coercivity of the elliptic operator is assumed to be indicated by a general inhomogeneous anisotropic $N-$function, which may be possibly also dependent on the spatial variable, i.e., the homogenization process will change the characteristic function spaces at each step. Such a problem is well known and there exists many positive results for the function satisfying $Δ_2$ and $\nabla_2$ conditions an being in addition Hölder continuous wi…
For a family of second-order elliptic systems in divergence form with rapidly oscillating almost-periodic coefficients, we obtain estimates for approximate correctors in terms of a function that quantifies the almost periodicity of the coefficients. The results are used to investigate the problem of convergence rates. We also establish uniform Hölder estimates for the Dirichlet problem in a bounded $C^{1, α}$ domain.
In this paper we investigate homogenization results for the principal eigenvalue problem associated to $1$-homogeneous, uniformly elliptic, second-order operators. Under rather general assumptions, we prove that the principal eigenpair associated to an oscillatory operator converges to the eigenpair associated to the effective one. This includes the case of fully nonlinear operators. Rates of convergence for the eigenvalues are provided for linear and nonlinear problems, under extra regularity/convexity assumptions. Finally, a linear rate of convergence (in terms of the oscillation parameter) …
This paper is concerned with homogenization of systems of linear elasticity with rapidly oscillating periodic coefficients. We establish sharp convergence rates in $L^2$ for the mixed boundary value problems with bounded measurable coefficients.
Periodic operators over a component domain and homogenization of some class of quasi-linear elliptic problems in two-component domain with interfacial resistance
In this paper we establish periodic homogenization for Hamilton-Jacobi-Bellman (HJB) equations, associated to nonlocal operators of integro-differential type. We consider the case when the fractional diffusion has the same order as the drift term, and is weakly elliptic. The outcome of the paper is twofold. One one hand, we provide Lipschitz regularity results for weakly elliptic non-local HJB, extending the results previously obtained in [8]. On the other hand, we establish a convergence result, based on half relaxed limits and a comparison principle for the effective problem. The latter stro…
This paper investigates quantitative estimates in elliptic homogenization of non-divergence form with unbounded drift and an interface, which continues the study of the previous work by Hairer and Manson [Ann. Probab. 39(2011) 648-682], where they investigated the limiting long time/large scale behavior of such a process under diffusive rescaling. We determine the effective equation and obtain the size estimates of the gradient of Green functions as well as the optimal (in general) convergence rates. The proof relies on transferring the non-divergence form into the divergence-form with the coe…
Homogenization of a scalar elliptic equation in a bounded domain with Neuman boundary condition is studied. Coefficients of the operator are oscillating over two different groups of variables with different small periods $\varepsilon$ and $δ=δ(\varepsilon)$. We assume that $δ/{\varepsilon}$ tends to zero as $\varepsilon$ tends to zero. It is known that the limit problem is obtained through reiterated homogenization procedure and corresponds to an elliptic equation with constant coefficients. The difference for resolvents of the initial and the limit problems is estimated in operator $(L^2\to L…
This paper is concerned with the quantitative homogenization of $2m$-order elliptic systems with bounded measurable, rapidly oscillating periodic coefficients. We establish the sharp $O(\varepsilon)$ convergence rate in $W^{m-1, p_0}$ with $p_0=\frac{2d}{d-1}$ in a bounded Lipschitz domain in $\mathbb{R}^d$ as well as the uniform large-scale interior $C^{m-1, 1}$ estimate. With additional smoothness assumptions, the uniform interior $C^{m-1, 1}$, $W^{m,p}$ and $C^{m-1, α}$ estimates are also obtained. As applications of the regularity estimates, we establish asymptotic expansions for fundament…
In this paper, we extend the nontangential maximal function estimate obtained by C. Kenig, F. Lin and Z. Shen in \cite{KFS1} to the nonhomogeneous elliptic operators with rapidly oscillating periodic coefficients. The result relies on the previous work \cite{X2}, and optimal boundary estimates which is based upon certain estimates on convergence rates. Compared to the homogeneous case, the additional bootstrap process seems inevitable, and the Neumann boundary corrector caused by the lower order term are still useful here.
In this note we study periodic homogenization of Dirichlet problem for divergence type elliptic systems when both the coefficients and the boundary data are oscillating. One of the key difficulties here is the determination of the fixed boundary data corresponding to the limiting (homogenized) problem. This issue has been addressed in recent papers by D. Gérard-Varet and N. Masmoudi, and by C. Prange, however, not much is known about the regularity of this fixed data. The main objective of this note is to initiate a study of this problem, and to prove several regularity results in this connect…
In this paper, we are interested in the reiterated homogenization of linear elliptic equations of the form $-\frac{\partial}{\partial x_{i}} \left(a_{i j} \left(\frac{x}{\varepsilon}, \frac{x}{\varepsilon^{2}}\right) \frac{\partial u_\varepsilon}{\partial x_{j}}\right)=f$ in $Ω$ with Dirichlet boundary conditions. We obtain error estimates $O(\varepsilon)$ for a bounded $C^{1,1}$ domain for this equation as well as the interior Lipschitz estimates at (very) large scale. Compared to the general homogenization problems, the difficulty in the reiterated homogenization is that we need to handle di…
We study homogenization for a class of stationnary Hamilton-Jacobi equations in which the Hamiltonian is obtained by perturbing near the origin an otherwise periodic Hamiltonian. We prove that the limiting problem consists of a Hamilton-Jacobi equation outside the origin, with the same effective Hamiltonian as in periodic homogenization, supplemented at the origin with an effective Dirichlet condition that keeps track of the perturbation. Various comments and extensions are discussed.
We study and characterize the optimal rates of convergence in periodic homogenization of linear elliptic equations in non-divergence form. We obtain that the optimal rate of convergence is either $O(\varepsilon)$ or $O(\varepsilon^2)$ depending on the diffusion matrix $A$, source term $f$, and boundary data $g$. Moreover, we show that the set of diffusion matrices $A$ that give optimal rate $O(\varepsilon)$ is open and dense in the set of $C^{2,α}$ periodic, symmetric, and positive definite matrices, which means that generically, the optimal rate is $O(\varepsilon)$.
We prove homogenization for reaction-advection-diffusion equations with KPP reactions, in the time-periodic spatially stationary ergodic setting, and find an explicit formula for the homogenized dynamic. We also extend this result to models with non-local diffusion and KPP reactions.
We study the homogenization problem for matrix strongly elliptic operators on $L_2(\mathbb R^d)^n$ of the form $\mathcal A^\varepsilon=-\operatorname{div}A(x,x/\varepsilon)\nabla$. The function $A$ is Lipschitz in the first variable and periodic in the second. We do not require that $A^*=A$, so $\mathcal A^\varepsilon$ need not be self-adjoint. In this paper, we provide, for small $\varepsilon$, two terms in the uniform approximation for $(\mathcal A^\varepsilon-μ)^{-1}$ and a first term in the uniform approximation for $\nabla(\mathcal A^\varepsilon-μ)^{-1}$. Primary attention is paid to prov…
This paper is devoted to the homogenization of Shrödinger type equations with periodically oscillating coefficients of the diffusion term, and a rapidly oscillating periodic time-dependent potential. One convergence theorem is proved and we derive the macroscopic homogenized model. Our approach is the well known two-scale convergence method.
We develop a new real-variable method for weighted $L^p$ estimates. The method is applied to the study of weighted $W^{1, 2}$ estimates in Lipschitz domains for weak solutions of second-order elliptic systems in divergence form with bounded measurable coefficients. It produces a necessary and sufficient condition, which depends on the weight function, for the weighted $W^{1,2}$ estimate to hold in a fixed Lipschitz domain with a given weight. Using this condition, for elliptic systems in Lipschitz domains with rapidly oscillating, periodic and VMO coefficients, we reduce the problem of weighte…
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.
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…
The quasi-periodic homogenization for some classes of first-order Hamilton-Jaconi-Bellman equation is studied in this paper. The cell problem of the quasi-periodic homogenization satisfies the non-resonance condition, under which the corresponding deterministic system is ergodic. The almost periodic homogenization for the same classes of equations is also solved, as a limit of a sequence of quasi-periodic homogenizations. Here, the almost periodicity is in the sense of H. Bohr. This result has been cited by some authors, for example: by H. Ishii, "Almost periodic homogenization of Hamilton-Jac…
We prove that the effective nonlinearities (ergodic constants) obtained in the stochastic homogenization of Hamilton-Jacobi, "viscous" Hamilton-Jacobi and nonlinear uniformly elliptic pde are approximated by the analogous quantities of appropriate "periodizations" of the equations. We also obtain an error estimate, when there is a rate of convergence for the stochastic homogenization.
We prove explicit doubling inequalities and obtain uniform upper bounds (under $(d-1)$-dimensional Hausdorff measure) of nodal sets of weak solutions for a family of linear elliptic equations with rapidly oscillating periodic coefficients. The doubling inequalities, explicitly depending on the doubling index, are proved at different scales by a combination of convergence rates, a three-ball inequality from certain "analyticity", and a monotonicity formula of a frequency function. The upper bounds of nodal sets are shown by using the doubling inequalities, approximations by harmonic functions a…
In this study, we prove results on the weak solvability and homogenization of a microscopic semi-linear elliptic system posed in perforated media. The model presented here explores the interplay between stationary diffusion and both surface and volume chemical reactions in porous media. Our interest lies in deriving homogenization limits (upscaling) for alike systems and particularly in justifying rigorously the obtained averaged descriptions. Essentially, we prove the well-posedness of the microscopic problem ensuring also the positivity and boundedness of the involved concentrations and then…
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.
For a family of second-order parabolic systems with bounded measurable, rapidly oscillating and time-dependent periodic coefficients, we investigate the sharp convergence rates of weak solutions in $L^2$. Both initial-Dirichlet and initial-Neumann problems are studied.
