In this paper we study the $L^p$ boundary value problems for $\mathcal{L}(u)=0$ in $\mathbb{R}^{d+1}_+$, where $\mathcal{L}=-\text{div}(A\nabla)$ is a second order elliptic operator with real and symmetric coefficients. Assume that $A$ is {\it periodic} in $x_{d+1}$ and satisfies some minimal smoothness condition in the $x_{d+1}$ variable, we show that the $L^p$ Neumann and regularity problems are uniquely solvable for $1<p<2+δ$. We also present a new proof of Dahlberg's theorem on the $L^p$ Dirichlet problem for $2-δ<p< \infty$ (Dahlberg's original unpublished proof is given in the Appendix). As the periodic and smoothness conditions are imposed only on the $x_{d+1}$ variable, these results extend directly from $\mathbb{R}^{d+1}_+$ to regions above Lipschitz graphs. Consequently, by localization techniques, we obtain uniform $L^p$ estimates for the Dirichlet, Neumann and regularity problems on bounded Lipschitz domains for a family of second order elliptic operators arising in the theory of homogenization. The results on the Neumann and regularity problems are new even for smooth domains.
This paper is concerned with boundary regularity estimates in the homogenization of elliptic equations with rapidly oscillating and high-contrast coefficients. We establish uniform nontangential-maximal-function estimates for the Dirichlet, regularity, and Neumann problems with $L^2$ boundary data in a periodically perforated Lipschitz domain.
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…
We establish interior Lipschitz estimates at the macroscopic scale for solutions to systems of linear elasticity with rapidly oscillating periodic coefficients and mixed boundary conditions in domains periodically perforated at a microscopic scale $\varepsilon$ by establishing $H^1$-convergence rates for such solutions. The interior estimates are derived directly without the use of compactness via an argument presented in [3] that was adapted for elliptic equations in [2] and [11]. As a consequence, we derive a Liouville type estimate for solutions to the systems of linear elasticity in unboun…
The paper extends the results obtained by C. Kenig, F. Lin and Z. Shen in \cite{SZW2} to more general elliptic homogenization problems in two perspectives: lower order terms in the operator and no smoothness on the coefficients. We do not repeat their arguments. Instead we find the new weighted-type estimates for the smoothing operator at scale $\varepsilon$, and combining some techniques developed by Z. Shen in \cite{SZW12} leads to our main results. In addition, we also obtain sharp $O(\varepsilon)$ convergence rates in $L^{p}$ with $p=2d/(d-1)$, which were originally established by Z. Shen …
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.
In a Lipschitz cylinder, this paper is devoted to establish an almost sharp error estimate $O(\varepsilon\log_2(1/\varepsilon))$ in $L^2$-norm for parabolic systems of elasticity with initial-Dirichlet conditions, arising in the homogenization theory. To achieve the goal, with the parabolic distance function being a weight, we first developed some new weighted-type inequalities for the smoothing operator at scale $\varepsilon$ in terms of t-anisotropic Sobolev spaces, and then all the problems may be reduced to three kinds of estimate for the homogenized system, in which a weighted-type Caccio…
We establish uniform Lipschitz estimates for second-order elliptic systems in divergence form with rapidly oscillating, almost-periodic coefficients. We give interior estimates as well as estimates up to the boundary in bounded $C^{1,α}$ domains with either Dirichlet or Neumann data. The main results extend those in the periodic setting due to Avellaneda and Lin for interior and Dirichlet boundary estimates and later Kenig, Lin, and Shen for the Neumann boundary conditions. In contrast to these papers, our arguments are constructive (and thus the constants are in principle computable) and the …
In the present paper, we generalize the theory of quantitative homogenization for second-order elliptic systems with rapidly oscillating coefficients in $APW^2(\mathbb{R}^d)$, which is the space of almost-periodic functions in the sense of H. Weyl. We obtain the large scale uniform boundary Lipschitz estimate, for both Dirichlet and Neumann problems in $C^{1,α}$ domains. We also obtain large scale uniform boundary Hölder estimates in $C^{1,α}$ domains and $L^2$ Rellich estimates in Lipschitz domains.
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 apply new results on free boundary regularity of one-phase almost minimizers in periodic media to obtain a quantitative convergence rate for the shape optimizers of the first Dirichlet eigenvalue in periodic homogenization. We obtain a linear (with logarithmic factors) convergence rate for the optimizing eigenvalue. Large scale Lipschitz free boundary regularity of almost minimizers is used to apply the optimal $L^2$ homogenization theory in Lipschitz domains of Kenig, Lin and Shen. A key idea, to deal with the hard constraint on the volume, is a combination of a large scale almost dilation…
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 investigate quantitative estimates in periodic homogenization of second-order elliptic systems of elasticity with singular fourth-order perturbations. The convergence rates, which depend on the scale $κ$ that represents the strength of the singular perturbation and on the length scale $ε$ of the heterogeneities, are established. We also obtain the large-scale Lipschitz estimate, down to the scale $ε$ and independent of $κ$. This large-scale estimate, when combined with small-scale estimates, yields the classical Lipschitz estimate that is uniform in both $ε$ and $κ$.
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 terms of layer potential methods, this paper is devoted to study the $L^2$ boundary value problems for nonhomogeneous elliptic operators with rapidly oscillating coefficients in a periodic setting. Under a low regularity assumption on the coefficients, we establish the solvability for Dirichlet, regular and Neumann problems in a bounded Lipschitz domain, as well as, the uniform nontangential maximal function estimates and square function estimates. The main difficulty is reflected in two aspects: (i) we can not treat the lower order terms as a compact perturbation to the leading term due to…
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$.
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) …
Concerned with the Stokes systems with rapidly oscillating periodic coefficients, we mainly extend the recent works in \cite{SGZWS,G} to those in term of Lipschitz domains. The arguments employed here are quite different from theirs, and the basic idea comes from \cite{QX2}, originally motivated by \cite{SZW2,SZW12,TS}. We obtain an almost-sharp $O(\varepsilon\ln(r_0/\varepsilon))$ convergence rate in $L^2$ space, and a sharp $O(\varepsilon)$ error estimate in $L^{\frac{2d}{d-1}}$ space by a little stronger assumption. Under the dimensional condition $d=2$, we also establish the optimal $O(\va…
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…
For a family of systems of linear elasticity with rapidly oscillating periodic coefficients, we establish sharp boundary estimates with either Dirichlet or Neumann conditions, uniform down to the microscopic scale, without smoothness assumptions on the coefficients. Under additional smoothness conditions, these estimates, combined with the corresponding local estimates, lead to the full Rellich type estimates in Lipschitz domains and Lipschitz estimates in $C^{1, α}$ domains. The $C^α$, $W^{1,p}$, and $L^p$ estimates in $C^1$ domains for systems with VMO coefficients are also studied. The appr…
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…
This paper investigates quantitative estimates in the homogenization of second-order elliptic systems with periodic coefficients that oscillate on multiple separated scales. We establish large-scale interior and boundary Lipschitz estimates down to the finest microscopic scale via iteration and rescaling arguments. We also obtain a convergence rate in the $L^2$ space by the reiterated homogenization method.
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 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 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…
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…
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…
