Let $\mathcal{O} \subset \mathbb{R}^d$ be a bounded domain of class $C^2$. In the Hilbert space $L_2(\mathcal{O};\mathbb{C}^n)$, we consider a matrix elliptic second order differential operator $\mathcal{A}_{D,\varepsilon}$ with the Dirichlet boundary condition. Here $\varepsilon>0$ is the small parameter. The coefficients of the operator are periodic and depend on $\mathbf{x}/\varepsilon$. We find approximation of the operator $\mathcal{A}_{D,\varepsilon}^{-1}$ in the norm of operators acting from $L_2(\mathcal{O};\mathbb{C}^n)$ to the Sobolev space $H^1(\mathcal{O};\mathbb{C}^n)$ with an error term $O(\sqrt{\varepsilon})$. This approximation is given by the sum of the operator $(\mathcal{A}^0_D)^{-1}$ and the first order corrector, where $\mathcal{A}^0_D$ is the effective operator with constant coefficients and with the Dirichlet boundary condition.
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 two types of asymptotic problems whose common feature - and difficulty- is to exhibit oscillating Dirichlet boundary conditions : the main contribution of this article is to show how to recover the Dirichlet boundary condition for the limiting equation. These two types of problems are (i) periodic homogenization problems for fully nonlinear, second-order elliptic partial differential equations set in a half-space and (ii) parabolic problems with an oscillating in time Dirichlet boundary condition. In order to obtain the Dirichlet boundary condition for the limiting problem, the key st…
In this paper we prove convergence results for the homogenization of the Dirichlet problem with rapidly oscillating boundary data in convex polygonal domains. Our analysis is based on integral representation of solutions. Under a certain Diophantine condition on the boundary of the domain and smooth coefficients we prove pointwise, as well as $L^p$ convergence results. For larger exponents $p$ we prove that the $L^p$ convergence rate is close to optimal. We shall also suggest several directions of possible generalization of the result in this paper.
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.
This note is a summary of the recent paper [9]. Here, we study the homogenization of elliptic systems with Dirichlet boundary condition, when both the coefficients and the boundary datum are oscillating. In particular, in the paper [9], we showed that, the solutions converge in L2 with a power rate, and we identified the homogenized limit system and the homogenized boundary data. Due to a boundary layer phenomenon, this homogenized system depends in a non trivial way on the boundary. The analysis in [9] answers a longstanding open problem, raised for instance in [4]
We prove the homogenization of fully nonlinear parabolic equations with periodic oscillating Dirichlet boundary conditions on certain general prescribed space-time domains. It was proved in [9,10] that for elliptic equations, the homogenized boundary data exists at boundary points with irrational normal directions, and it is generically discontinuous elsewhere. However for parabolic problems, on a flat moving part of the boundary, we prove the existence of continuous homogenized boundary data $\bar{g}$. We also show that, unlike the elliptic case, $\bar{g}$ can be discontinuous even if the ope…
We prove the homogenization of the Dirichlet problem for fully nonlinear elliptic operators with periodic oscillation in the operator and of the boundary condition for a general class of smooth bounded domains. This extends the previous results of Barles and Mironescu in half spaces. We show that homogenization holds despite a possible lack of continuity in the homogenized boundary data. The proof is based on a comparison principle with partial Dirichlet boundary data which is of independent interest.
For a family of elliptic operators with rapidly oscillating periodic coefficients, we study the convergence rates for Dirichlet eigenvalues and bounds of the normal derivatives of Dirichlet eigenfunctions. The results rely on an $O(ε)$ estimate in $H^1$ for solutions with Dirichlet condition.
In this paper we prove convergence results for homogenization problem for solutions of partial differential system with rapidly oscillating Dirichlet data. Our method is based on analysis of oscillatory integrals. In the uniformly convex and smooth domain, and smooth operator and boundary data, we prove pointwise convergence results, namely $$|u_{\e}(x)-u_0 (x)| \leq C_κ \e^{(d-1)/2}\frac{1}{d(x)^κ}, \ \forall x\in D, \ \forall \ κ>d-1,$$ where $u_{\e}$ and $u_0$ are solutions of respectively oscillating and homogenized Dirichlet problems, and $d(x)$ is the distance of $x$ from the boundary of…
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.
Let $\mathcal{O} \subset \mathbb{R}^d$ be a bounded domain of class $C^2$. In the Hilbert space $L_2(\mathcal{O};\mathbb{C}^n)$, we consider a matrix elliptic second order differential operator $\mathcal{A}_{D,\varepsilon}$ with the Dirichlet boundary condition. Here $\varepsilon>0$ is the small parameter. The coefficients of the operator are periodic and depend on $\mathbf{x}/\varepsilon$. A sharp order operator error estimate $\|\mathcal{A}_{D,\varepsilon}^{-1} - (\mathcal{A}_D^0)^{-1} \|_{L_2 \to L_2} \leq C \varepsilon$ is obtained. Here $\mathcal{A}^0_D$ is the effective operator with con…
For a family of second-order elliptic operators with rapidly oscillating periodic coefficients, we study the asymptotic behavior of the Green and Neumann functions, using Dirichlet and Neumann correctors. As a result we obtain asymptotic expansions of Poisson kernels and the Dirichlet-to-Neumann maps as well as near optimal convergence rates in $W^{1,p}$ for solutions with Dirichlet or Neumann boundary conditions.
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 revisit the periodic homogenization of Dirichlet problems for the Laplace operator in perforated domains, and establish a unified proof that works for different regimes of hole-cell ratios, that is the ratio between the scaling factor of the holes and that of the periodic cells. The approach is then made quantitative and it yields correctors and error estimates for vanishing hole-cell ratios. For positive volume fraction of holes, the approach is just the standard oscillating test function method; for vanishing volume fraction of holes, we study asymptotic behaviors of a properly rescaled c…
This paper is concerned with the homogenization of Dirichlet problem of elliptic systems in a bounded, smooth domain of finite type. Both the coefficients of the elliptic operator and the Dirichlet boundary data are assumed to be periodic and rapidly oscillating. We prove the theorem of homogenization and obtain an algebraic rate of convergence that depends explicitly on dimension and the type of the domain.
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.
This paper studies homogenization of symmetric non-local Dirichlet forms with $α$-stable-like jumping kernels in one-parameter stationary ergodic environment. Under suitable conditions, we establish homogenization results and identify the limiting effective Dirichlet forms explicitly. The coefficients of the jumping kernels of Dirichlet forms and symmetrizing measures are allowed to be degenerate and unbounded; and the coefficients in the effective Dirichlet forms can be degenerate.
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 paper, we give a mathematically rigorous proof of the averaging behavior of oscillatory surface integrals. Based on ergodic theory, we find a sharp geometric condition which we call irrational direction dense condition, abbreviated as IDDC, under which the averaging takes place. It should be stressed that IDDC does not imply any control on the curvature of the given surface. As an application, we prove homogenization for elliptic systems with Dirichlet boundary data, in $C^1$-domains.
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$.
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) …
We use a characterization of the fractional Laplacian as a Dirichlet to Neumann operator for an appropriate differential equation to study its obstacle problem in perforated domains.
We study the convergence of the Method of Reflections for the Dirichlet problem of the Poisson and the Stokes equations in perforated domains which consist in the exterior of balls. We prove that the method converges if the balls are contained in a bounded region and the density of the electrostatic capacity of the balls is sufficiently small. If the capacity density is too large or the balls extend to the whole space, the method diverges, but we provide a suitable modification of the method that converges to the solution of the Dirichlet problem also in this case. We give new proofs of classi…
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 work we study the homogenization for eigenvalues of the fractional $p-$Laplace in a bounded domain both with Dirichlet and Neumann conditions. We obtain the convergence of eigenvalues and the explicit order of the convergence rates.
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…
