Abstract
We consider degenerate elliptic equations of second order in divergence form with a symmetric random coefficient field a. Extending the work of Bella et al. (Ann Appl Probab 28(3):1379–1422, 2018), who established the large-scale \(C^{1,\alpha }\) regularity of a-harmonic functions in a degenerate situation, we provide stretched exponential moments for the minimal radius \(r_*\) describing the minimal scale for this \(C^{1,\alpha }\) regularity. As an application to stochastic homogenization, we partially generalize results by Gloria et al. (Anal PDE 14(8):2497–2537, 2021) on the growth of the corrector, the decay of its gradient, and a quantitative two-scale expansion to the degenerate setting. On a technical level, we demand the ensemble of coefficient fields to be stationary and subject to a spectral gap inequality, and we impose moment bounds on a and \(a^{-1}\). We also introduce the ellipticity radius \(r_e\) which encodes the minimal scale where these moments are close to their positive expectation value.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
In these notes, we present some ideas to generalize results from stochastic homogenization of uniformly elliptic operators \(-\nabla \cdot a \nabla \) to the case of degenerate and unbounded random coefficient fields a. The underlying random distribution is always assumed to be stationary and ergodic. To quantify the degeneracy and unboundedness, we impose moment bounds on the norm of a(x) and its pointwise inverse \(a(x)^{-1}\), \(x \in {\mathbb {R}}^d\). A precise collection of our general assumptions is given in Definition 1.1.
For the sake of a simplified notation, we focus on scalar models where \(a: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^{d \times d}\) is a matrix field rather than a field of rank-4 tensors. But since we do not rely on results from scalar PDE theory like maximum principles, we believe that our methods also extend to systems provided that all arguments involving |a| or \(|a^{-1}|\) also apply to the respective generalizations \(\mu \) and \(\lambda ^{-1}\) as defined by the first author, Fehrman, and Otto [9]. As we shall explain in more detail below (see Remark 2.2), we currently have to restrict ourselves for technical reasons to symmetric matrix coefficient fields \(a(x) = a(x)^T\); this issue might be resolved by working only with the scalar quantities \(\mu \) and \(\lambda ^{-1}\). However, this is beyond the scope of this contribution and is left as a subject for future work. An alternative approach for non-symmetric coefficient fields a(x) is outlined in [5, Chapter 10], where a variational formulation based on a “double-variable” approach is presented.
To some extent, this paper continues the studies of the first author, Fehrman, and Otto [9], where the large-scale \(C^{1,\alpha }\) regularity and a first-order Liouville principle for a-harmonic functions were derived in the same setting. It is one of the goals of the present contribution to provide stretched exponential moments for the minimal radius \(r_*\), which determines the minimal scale for the \(C^{1,\alpha }\) regularity. Moreover, we provide quantitative estimates on the growth of the corrector and the decay of its gradient, and we derive a quantitative two-scale expansion in our degenerate setting.
The starting point of our analysis is the work of Gloria, Neukamm, and Otto [22] on the large-scale regularity of random elliptic operators. The main achievements of this publication are large-scale Schauder and large-scale Calderón–Zygmund estimates valid on scales larger than the minimal radius \(r_*\). Their approach is in turn motivated by the ideas of Avellaneda and Lin [6], who established a large-scale regularity theory for elliptic operators with periodic coefficients, hence, on the torus. This enabled the authors to apply compactness arguments which are generally not available. Previous preprints [20, 21] of [22] follow in some cases different strategies which can be equally valuable as they are sometimes better suited for an application in our situation. A key ingredient in all three versions are functional inequalities (e.g. spectral gap and logarithmic Sobolev inequalities), which allow to quantify certain aspects of the random ensemble in an advantageous manner. A comparison of various forms of functional inequalities and applications is given by Duerinckx and Gloria [16]. The basis for our results on the corrector in stochastic homogenization and the two-scale expansion is the contribution by Gloria, Neukamm, and Otto [23] on quantitative estimates in stochastic homogenization.
Definition 1.1
(Ensemble of coefficient fields) Let \(\Omega \) be the space of symmetric coefficient fields \(a: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^{d \times d}\), \(d \ge 2\), and let \(\langle \cdot \rangle \) denote an ensemble of coefficient fields a, i.e. a probability measure on \(\Omega \), which we assume to be
-
stationary, i.e. the probability distributions of a and \(a(x + \cdot )\) coincide for all \(x \in {\mathbb {R}}^d\),
-
ergodic, i.e. every translation invariant random variable is almost surely constant.
For any \(a \in \Omega \), we define the (space-dependent) quantities
We suppose \(\lambda (x), \mu (x) \in (0,\infty )\) for a.e. \(x \in {\mathbb {R}}^d\), and that \(p, q \in (1, \infty )\) exist satisfying
where (1.1) is independent of \(x \in {\mathbb {R}}^d\) due to the stationarity of the ensemble \(\langle \cdot \rangle \).
The concept of imposing stochastic moment bounds on the coefficient field a(x) instead of assuming uniform ellipticity was successfully applied in a similar context by Chiarini and Deuschel to prove an invariance principle for symmetric diffusion processes on \({\mathbb {R}}^d\) [14]. In the context of homogenization, condition (1.1) was first imposed by Andres et al. [2] for an ergodic random conductance model and later also used in a time-dependent ergodic version thereof [15]. In our situation, the purpose of (1.1) is to guarantee the sublinearity of the corrector (cf. Remark 1.5) and to allow for specific Sobolev embeddings (e.g. in Lemma 2.3). Only recently, the first author and Schäffner [11] showed that the relaxed version
guarantees local boundedness and the existence of a Harnack inequality for solutions to linear, nonuniformly elliptic equations. The same result was already proven by Trudinger [28] under the more restrictive version in (1.1). Condition (1.2) is, in addition, optimal in the sense that local boundedness is generally not available if the right-hand side is replaced by \(\tfrac{2}{d-1} + \varepsilon \) for any \(\varepsilon > 0\); we refer to the references in [11] for further details. As an application to stochastic homogenization, the authors show that the pointwise sublinearity of the corrector, which was proven by Chiarini and Deuschel [14] in a similar framework assuming (1.1), also holds under condition (1.2). Stochastic moment bounds of the type (1.1) appeared recently also in studies on the regularity properties of non-uniformly parabolic operators; see [1, 12] and the references therein.
Related to Birkhoff’s ergodic theorem (see e.g. [24]) guaranteeing that
for a.e. coefficient field a, we subsequently define the ellipticity radius \(r_e\), which determines the minimal scale on which the system behaves approximately elliptic.
Definition 1.2
For K as in (1.1), we define the ellipticity radius \(r_e \ge 1\) as the random variable
We subsequently recall standard notions in stochastic homogenization including the extended corrector \((\phi , \sigma ) = ((\phi _i)_i, (\sigma _{ijk})_{ijk})\) and the homogenized field \(a_{\textrm{hom}}\). Existence and uniqueness of the extended corrector will be discussed afterwards.
Definition 1.3
(Definition of the extended corrector \((\phi , \sigma )\)) In the situation of Definition 1.1 and for given \(\xi \in {\mathbb {R}}^d\), one calls the sublinear solution \(\phi _\xi \) of \(-\nabla \cdot a (\xi + \nabla \phi _\xi ) = 0\) on \({\mathbb {R}}^d\) the corrector associated to \(\xi \). Specifically for \(\xi \) being a canonical basis vector, one considers the corrector \(\phi _i\), \(1 \le i \le d\), being a solution to
The vector \(q_i\) is called the ith component of the flux and one introduces the flux correction \(\sigma _{ijk}\), \(1 \le i,j,k \le d\), as a vector-valued potential solving
Finally, one defines the homogenized field \(a_{\textrm{hom}}\) via \(a_{\textrm{hom}} e_i :=\langle q_i \rangle \).
Concerning the possible degeneracy and unboundedness of the coefficients a(x), we mention that it is obviously not possible to perform estimates like \(c |v|^2 \le v \cdot a v \le C |v|^2\) for \(v \in {\mathbb {R}}^d\) with uniform constants \(C \ge c > 0\). It is, therefore, advantageous to introduce a separate notation for such quadratic forms and also for matrix products \(a^\frac{1}{2} M a^\frac{1}{2}\) with some \(M \in {\mathbb {R}}^{d \times d}\).
Notation 1.4
For \(a \in {\mathbb {R}}^{d \times d}\), \(M \in {\mathbb {R}}^{d \times d}\), and \(v \in {\mathbb {R}}^d\), we set \(|v|_{a}^2 :=v \cdot a v\) and \(|M|_a :=\big |a^\frac{1}{2} M a^\frac{1}{2}\big |\) where \(|\cdot |\) denotes the spectral norm on \({\mathbb {R}}^{d \times d}\). For any measurable \(D \subset {\mathbb {R}}^d\), we further abbreviate \(L^2_a(D)^d :=\big \{ f: D \rightarrow {\mathbb {R}}^d \; \big | \; f \cdot a f \in L^1(D) \big \}\) and \(H^1_a(D) :=\big \{ u: D \rightarrow {\mathbb {R}} \; \big | \; \nabla u \cdot a \nabla u \in L^1(D) \big \}\).
A question which typically arises in this context, is concerned with the so-called Liouville principle. For example, given a subquadratic solution u of \(-\nabla \cdot a \nabla u = 0\) on \({\mathbb {R}}^d\), can one prove that \(u = c + \xi \cdot x + \phi _\xi (x)\) for some \(\xi \in {\mathbb {R}}^d\)? For the present setting, the first author, Fehrman, and Otto [9] have shown that such a Liouville property does hold (cf. Remark 1.5). The interest in such a principle also lies in its close relation to Schauder estimates, which has been highlighted by Simon [27]. Moreover, Liouville properties have been established in many situations including stationary and ergodic degenerate systems [13], higher-order Liouville principles [17], and Liouville theorems for uniformly parabolic systems in a random setting supposing stationarity and ergodicity [8].
The existence of an extended corrector \((\phi , \sigma )\) as in Definition 1.3 directly follows from [9, Lemma 1], while its uniqueness is an immediate consequence of the sublinearity of \((\phi , \sigma )\) [9, Lemma 2] and a related Liouville principle [9, Theorem 1]. For the sake of completeness, we recall these results in Remark 1.5 below. Identity (1.6) shows that the extended corrector \((\phi , \sigma )\) is sublinear w.r.t. \(\rho \). While (1.6) gives only a qualitative statement, we will prove a quantified version thereof in Corollary 2.4, which will serve as an important tool in the latter part of this paper.
Remark 1.5
(Properties of the extended corrector \((\phi , \sigma )\) [9, Lemmas 1,2, Theorem 1], [14, Proposition 4.1]) Under the hypotheses of Definition 1.1, there exist a constant \(C > 0\) and random tensor fields \(\phi _i\) and \(\sigma _{ijk}\), \(1 \le i,j,k \le d\), satisfying (1.4)–(1.5) and the skew-symmetry \(\sigma _{ijk} = -\sigma _{ikj}\), while the gradient fields are stationary, of vanishing expectation
and having bounded moments
where K is the constant from Definition 1.1. In addition, \((\phi , \sigma )\) is sublinear in the sense
and a.e. coefficient field a satisfies the following Liouville principle: Any solution \(u \in H^1_a({\mathbb {R}}^d)\) to \(-\nabla \cdot a \nabla u = 0\) in \({\mathbb {R}}^d\) subject to
for some \(\alpha \in (0, 1)\) admits the representation \(u(x) = c + \xi \cdot x + \phi _\xi (x)\) for some \(c \in {\mathbb {R}}\) and \(\xi \in {\mathbb {R}}^d\). Finally, the homogenized field \(a_{\textrm{hom}}\) is uniformly elliptic.
The following lemma is basically a consequence of the collected results in Remark 1.5 and [9, Theorem 2]. The claimed mean-value property in (1.8) is a direct consequence of (1.7) which is typically referred to as a large-scale \(C^{1,\alpha }\) regularity estimate. The first large-scale regularity result for a uniformly elliptic, scalar equation was obtained by Marahrens and Otto [25], where the ergodicity of the random ensemble was encoded by means of a logarithmic Sobolev inequality. For elliptic systems with stationary and coercive coefficients, the first author and Otto [10] derived moment bounds on the corrector gradient by employing either a logarithmic Sobolev inequality or a spectral gap estimate. We also mention the large-scale regularity theory for scalar equations in a random environment developed by Armstrong and Smart [4]. A crucial ingredient of their approach is the assumption of a finite range of dependence for the symmetric coefficient field. More recently, large-scale regularity results have also been shown for the random conductance model by Armstrong and Dario [3]. They prove that the corresponding solutions on supercritical percolation clusters are close to harmonic functions on large scales which admit stretched exponential moments. For similar models subject to long-range correlations and decoupling inequalities, Sapozhnikov [26] generalized several results, such as heat kernel bounds and parabolic Harnack inequalities, which have already been known for the Bernoulli percolation.
Lemma 1.6
(Large-scale \(C^{1,\alpha }\) regularity and a mean-value property for a-harmonic functions) For any \(\alpha \in (0, 1)\) and \(K > 0\), there exist constants \(C_0\), \(C_1\), and \(C_2\) such that for all positive radii \(r < R\) and \(p,q \in (1,\infty )\) satisfying \(\frac{1}{p} + \frac{1}{q} \le \frac{2}{d}\) the following holds: If
and
for all \(\rho \in [r,R]\), then any solution \(u \in H^1_a(B_R)\) of \(-\nabla \cdot a \nabla u = 0\) fulfills the excess-decay
where the excess \(\textrm{Exc}(\rho )\) is defined as
and \(\nabla u\) satisfies the mean-value property
We now introduce the minimal radius \(r_*\) which quantifies the minimal scale on which the (extended) corrector \((\phi , \sigma )\) grows only sublinearly. For technical reasons, we do not only demand \(r_* \ge r_e\) but even \(r_* \ge M_0 r_e\) for a specific constant \(M_0 \ge 1\) detailed below.
Definition 1.7
(Minimal radius) In the situation of Definition 1.1, we define the minimal radius as the random variable \(r_* \ge M_0 r_e\) given in the form
where \(C_0\) is the constant from Lemma 1.6, while \(M_0 \ge 1\) is defined in (2.34).
The following spectral gap estimate (1.10) is our main stochastic assumption on the underlying random environment. A very similar condition involving a coarsening partition \(\{D\}\) of \({\mathbb {R}}^d\) was used in [20]. Alternatively, one can employ multiscale functional inequalities to describe the random ensemble (see Remark 1.9). A detailed exposition of these ideas is given by Duerinckx and Gloria in [16]. We point out that the more elementary spectral gap condition (1.10) is sufficient for the present study, where we deduce stretched exponential moments for \(r_*\) with a typically small exponent \(\varepsilon \). Nevertheless, we remark that multiscale functional inequalities could provide a framework to obtain (with different techniques) stronger stretched exponential bounds on \(r_*\) in the spirit of Gloria, Neukamm, and Otto [22].
Definition 1.8
(Spectral gap inequality) Let the hypotheses of Definition 1.1 hold and assume that a partition \(\{D\}\) of \({\mathbb {R}}^d\) and an exponent \(\beta \in [0, 1)\) exist such that
where \(\textrm{inn}\,\textrm{diam}\,D :=2 \sup \big \{ r \ge 0 \ \big | \ \exists \; x \in D: B_r(x) \subset D \big \}\) denotes the inner diameter of \(D \subset {\mathbb {R}}^d\).
We say that a random field a satisfies the spectral gap (or Poincaré) inequality, if there exists a constant \(\kappa \in (0,1]\) such that
for all \(\sigma (a)\)-measurable random variables X(a), where we recall that
An upgraded version of the standard spectral gap estimate (1.10) to higher order moments will be provided in Lemma 2.1, which will serve as a useful tool in various situations subsequently in this paper.
Remark 1.9
Instead of (1.10), one can also use a multiscale spectral gap inequality
or (multiscale) logarithmic Sobolev inequalities for quantifying the ergodicity of the ensemble \(\langle \cdot \rangle \). The weight function \(\pi : [0,\infty ) \rightarrow [0,\infty )\) in (1.11) is generally assumed to be integrable. Integrable correlations \(\textrm{Cov} (a(x); a(0) )\) can be modeled with weights decaying like \(\pi (\ell ) \sim (\ell +1)^{-1-\alpha }\) for \(\alpha > d\). We refer to the work of Duerinckx and Gloria [16] for further details.
The connection between the ellipticity radius \(r_e\) and the stochastic integrability of the underlying coefficient field a satisfying the spectral gap inequality (1.10) is clarified in the following lemma. We shall basically prove that stretched exponential moment bounds on averages of \(|a|^p\) and \(|a^{-1}|^q\) carry over to \(r_e\).
Lemma 1.10
(Stretched exponential moments for \(r_e\)) Assume that an ensemble of coefficient fields \(a \in \Omega \) is given according to Definition 1.1, which satisfies the spectral gap estimate (1.10) along with \(\beta \in [0, 1)\) subject to (1.9). In case that \(\int _{B_1} \lambda ^{-q}\) and \(\int _{B_1} \mu ^p\) possess stretched exponential moments
for some constants \(\alpha > 0\) and \(C > 0\), then the ellipticity radius \(r_e\) from Definition 1.2 is subject to
with the same parameter \(\alpha > 0\) but a possibly different constant \(C > 0\).
We are now in a position to show that the minimal radius \(r_*\) introduced in Definition 1.7 possesses stretched exponential moments by adapting the line of arguments from Gloria, Neukamm, and Otto [20]. In contrast to the final version [22] of the aforementioned preprint, optimal stochastic integrability is not achieved in [20]. The main tool which allows the authors to improve the stochastic integrability of \(r_*\) is a modified extended corrector \((\phi _T, \sigma _T)\) living on the length scale \(\sqrt{T}\) and arising from a “massive approximation”. As we are currently not able to adapt this approach to our situation, we resort to the more elementary approach in the preprint [20] where a bound on \(r_*\) similar to the one in (1.14) is obtained.
In a nutshell, the problem arises from the “massive term” \(\frac{1}{T} (\phi _T, \sigma _T)\) in the following system for \((\phi _T, \sigma _T)\) (cf. [22, (37)–(39)]):
The additional massive term gives rise to an exponential localization of \((\phi _T, \sigma _T)\) at the length scale \(\sqrt{T}\). Related to that, the authors of [22] repeatedly work with convolutions of \(\nabla \phi _T\) with a Gaussian distribution \(G_T\) of variance T; see e.g. [22, Proposition 3, Lemma 2] and in particular the proofs thereof. In our situation, where we want to formulate estimates also in terms of weighted \(L^2_a\) and \(L^2_{a^{-1}}\) norms, we have to face the following structural obstacle: Given a function \(f \in L^2_a({\mathbb {R}}^d)^d\), we generally end up with \(f *G_T \notin L^2_a({\mathbb {R}}^d)^d\). In other words, the space \(L^2_a({\mathbb {R}}^d)^d\) is not invariant under such a convolution.
Theorem 1.11
(Stretched exponential moments for \(r_*\)) Suppose that the hypotheses of Definition 1.1 on the ensemble of coefficient fields \(a \in \Omega \) satisfying the spectral gap inequality (1.10) hold together with \(\beta \in [0,1)\) subject to (1.9). Moreover, assume that \(\int _{B_1} \lambda ^{-q}\) and \(\int _{B_1} \mu ^p\) allow for the stretched exponential moments in (1.12) with \(\alpha :=\frac{\varepsilon }{1 - \varepsilon }\) where \(\varepsilon \in (0,1)\) is the hole-filling exponent from Proposition 1.12.
Then, the minimal radius \(r_*\) as defined in Definition 1.7 fulfills
for a sufficiently large constant \(C > 0\).
An essential part of the proof of Theorem 1.11 is concerned with the sensitivity analysis quantifying the dependence of \(\nabla (\phi , \sigma )\) on the coefficient field a. At the end, we need to control averages of \(\nabla (\phi , \sigma )\) on balls around the origin, but we shall give a slightly more general statement below. As above, the massive \((\phi _T, \sigma _T)\)-regularization prevents us from proceeding as in [22]. However, we could prove an analogue of the statement in the intermediate version [21], but as Theorem 1.11 is already posed in the language of [20], it suffices to generalize the sensitivity result in [20] to our setting.
Proposition 1.12
(Sensitivity estimate for average integrals) Let the assumptions of Definition 1.1 on the ensemble of coefficient fields \(a \in \Omega \) be in place, and let a partition \(\{D\}\) of \({\mathbb {R}}^d\) and \(\beta \in [0,1)\) be given according to (1.9). Consider the linear functional
acting on vector fields \(\psi : {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d\), where \(g: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d\) is supported in \(B_r\) for some radius \(r \ge r_e\).
Then, there exist a hole-filling exponent \(\varepsilon = \varepsilon (d,K) \in (0,1)\) and a constant \(C = C(d,K) > 1\) such that for any g as above satisfying
the following bound on the functional derivative of F holds:
We now employ the above results on the existence of stretched exponential moments for the minimal radius \(r_*\) (cf. Theorem 1.11) and the sensitivity estimate for (extended) corrector gradients (cf. Proposition 1.12) to derive quantitative estimates on the decay of the corrector gradient \(\nabla (\phi , \sigma )\) and the growth of the corrector itself. Due to the relatively weak (\(\varepsilon \)-dependent) stretched exponential moments available for \(r_*\) (compared to [22] and its preprint [21]), the subsequent results also involve a dependence on \(\varepsilon \).
Theorem 1.13
(Decay of the corrector gradient and growth of the corrector) Assume that the ensemble of coefficient fields \(a \in \Omega \) fulfills the assumptions of Definition 1.1 and satisfies the spectral gap estimate (1.10) along with \(\beta \in [0, 1)\) subject to (1.9). Let \(\varepsilon \in (0, 1)\) denote the constant from Proposition 1.12.
Then, there exists a stationary random field \({\mathcal {C}}(x)\) with stretched exponential moments
for a sufficiently large constant \(C > 0\) such that the following assertions hold:
-
(1)
If \(m: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^d\) is bounded and supported in \(B_r\), \(r \ge 1\), , and assumption (1.12) holds true with \(\alpha :=\frac{\varepsilon }{1 - \varepsilon }\), then, for all \(x \in {\mathbb {R}}^d\),
-
(2)
If \(\varepsilon \in \big ( 0, \frac{\alpha }{\alpha + 1} - \frac{1}{\min \{p,q\}} \big ]\) and (1.12) holds for some \(\alpha > \frac{1}{\min \{p,q\} - 1}\), then the correctors \((\phi , \sigma )\) fulfill
together with
$$\begin{aligned} \pi (r) :={\left\{ \begin{array}{ll} 1, &{}0 \le \beta < 1 - \frac{2}{\varepsilon d}, \\ \log (2 + r), &{}\beta = 1 - \frac{2}{\varepsilon d}, \\ r^{\frac{\varepsilon d}{2} (\frac{2}{\varepsilon d} - 1 + \beta )}, &{}\beta > 1 - \frac{2}{\varepsilon d}. \end{array}\right. } \end{aligned}$$(1.18)
Our last result gives a quantitative estimate for a two-scale expansion. It is mainly a consequence of Theorem 1.13 on the growth of the corrector and the stochastic integrability of the random field \({\mathcal {C}}\) in (1.17). We formulate the statement in the same spirit as in [23]; in particular, we employ the same averaging procedure over small balls for reasons of generality (even though this might not be necessary in many cases). But in contrast to [23], we again encounter the small parameter \(\varepsilon \) (coming from Theorem 1.13), and we also get an additional term on the right-hand side of (1.19) (which can be (formally) absorbed in the other term on the right-hand side in the limit \(q \rightarrow \infty \)).
Corollary 1.14
(Quantitative two-scale expansion) Suppose that the ensemble of coefficient fields \(a \in \Omega \) meets the requirements of Definition 1.1 and fulfills the spectral gap estimate (1.10). Besides, let (1.9) hold with \(\beta \in [0, 1)\), suppose that assumption (1.12) with \(\alpha > \frac{1}{\min \{p,q\} - 1}\) is in place, and let the hole-filling exponent from Proposition 1.12 be restricted to \(\varepsilon \in \big (0, \frac{\alpha }{\alpha + 1} - \frac{1}{\min \{p,q\}} \big ]\). For \(R \ge r_e\) and \(\delta > 0\), let \(g \in W^{1,\frac{2q}{q-1}}({\mathbb {R}}^d)\) be supported in \(B_R\), and let \(u_\delta \) and \(u_{\textrm{hom}}\) denote the solutions to
while the error \(z_\delta \) in the two-scale expansion and the small-scale average \(u_{\textrm{hom},\delta }\) are defined by
We then have
where \(\pi (r)\) is defined in (1.18) and where the random field \({\mathcal {C}}_{\delta , g}\) satisfies
for a sufficiently large constant \(C > 0\) independent of \(\delta \), g, p, and q.
We conclude this section with a remark on the relations between the constants introduced above. In particular, we show that all conditions imposed on the constants are indeed feasible.
Remark 1.15
From the definition of the hole-filling exponent \(\varepsilon \in (0,1)\) in terms of the constant \(E = C_d C_{\textrm{Sob}}^2 C_{\textrm{Poi}}^2 K^2\) in Step 1 of the proof of Proposition 1.12 (cf. (2.13)) we see that
for an adapted constant \(C_d \ge 1\). Thus, (1.21) provides an initial lower bound for \(\varepsilon \in (0, 1)\) only in terms of the constant \(K \ge 1\) from (1.1) and domain-dependent constants \(C_{\textrm{Sob}} \ge 1\) and \(C_{\textrm{Poi}} \ge 1\).
The requirements on \(\alpha > 0\) and \(\varepsilon \in (0, 1)\) in Theorem 1.13 and Corollary 1.14 should be seen as compatibility conditions for the orders of stochastic integrability of the minimal radius \(r_*\) and the ellipticity radius \(r_e\). On the one hand, \(\alpha > \frac{1}{\min \{p,q\} - 1}\) is needed to ensure the positivity of \(\frac{\alpha }{\alpha + 1} - \frac{1}{\min \{p,q\}}\). On the other hand, \(\varepsilon \in \big ( 0, \frac{\alpha }{\alpha + 1} - \frac{1}{\min \{p,q\}} \big ]\) guarantees that certain powers of \(r_*\) and \(r_e\) are stochastically integrable with the same order at the end of the proof of Theorem 1.13. Here, we use the fact that \(\varepsilon \in (0, 1)\) can indeed be chosen sufficiently small since (2.12) remains true for smaller \(\varepsilon \). Finally, the order of stochastic integrability of the random fields \({\mathcal {C}}_{\delta , g}\) in (1.20) lies in the interval \((0, \varepsilon (1 - \beta ))\).
2 Large-scale \(C^{1,\alpha }\) regularity quantified by the minimal radius \(r_*\)
2.1 Proof of Lemma 1.6: a mean-value property for a-harmonic functions
Proof of Lemma 1.6
We divide the proof into two steps. First, we derive a non-degeneracy property for \(\xi + \nabla \phi _\xi \) with \(\xi \in {\mathbb {R}}^d\), while the desired mean-value property is proven as a consequence in the second step.
Step 1. Excess decay and non-degeneracy. Under the hypotheses of the lemma, we may apply [9, Theorem 2] to establish (1.7). Note that we subsequently use (1.7) with the choice \(\alpha :=\frac{1}{2}\). Following [22], we shall first prove a non-degeneracy condition for the correctors \(\phi _\xi \) in the sense
for all \(r \ge r_*\) and \(\xi \in {\mathbb {R}}^d\) where \(0< c < C\) are independent of r and \(\xi \). For the lower bound, we first recall the elementary bound
Together with Poincaré’s inequality, we derive
The triangle inequality, Jensen’s inequality, and the sublinear growth of the corrector now yield
taking the scaling of \(\phi _\xi \) and the notation \(\phi = (\phi _i)_i\) into account. Choosing the constant \(C_0 > 0\) sufficiently large, one arrives at the desired lower bound in (2.1). Similarly, the upper bound is a consequence of the Caccioppoli estimate (carried out e.g. in [9, Lemma 3])
By the same reasoning as above, we obtain
The claimed bound (2.1) now follows.
Step 2. Mean-value property. The ideas of [22] also apply to our situation, but we present the main steps for completeness. The lower bound in (2.1) ensures for any \(\rho \in [r_*, R]\) the existence of a unique \(\xi _\rho \in {\mathbb {R}}^d\) such that
For radii \(\rho , \rho ' \in [r_*, R]\) satisfying \(0 < \rho ' - \rho \le \rho \), we deduce by virtue of (2.1), the linearity of \(\xi \mapsto \phi _\xi \), and the triangle inequality
Due to the minimality property (2.2) of \(\xi _\rho \) and \(\rho < \rho ' \le 2\rho \), this entails
For arbitrary \(R \ge r \ge r_*\), we let \(N \in {\mathbb {N}}\) be the integer such that \(2^{-(N+1)} R < r \le 2^{-N} R\), which allows us to use (2.3) and (1.7) (with \(\alpha = \frac{1}{2}\)) to estimate
By means of (2.2), (2.1), and (2.4), we thus get
Moreover, (1.7) and the definition of the excess ensure , while
is a result of (2.1) and (2.2). This concludes the argument. \(\square \)
2.2 Proof of Lemma 1.10: stretched exponential moments for \(r_e\)
Lemma 2.1
(Pth power spectral gap estimate) Let the ensemble of coefficient fields \(a \in \Omega \) satisfy the assumptions in Definition 1.1 and the spectral gap estimate (1.10) with an arbitrary partition \(\{D\}\) of \({\mathbb {R}}^d\). Then, there exists a constant \(C > 0\) such that
for any random variable \(\zeta \) and all \(P \in {\mathbb {N}}\), \(P \ge 2\).
Proof
The arguments are basically the same as in [20] but adapted to our degenerate setting. Applying the spectral gap estimate (1.10) to \(\zeta ^P\), we first derive
Elementary calculus guarantees that
while Hölder’s inequality on the level of the probability measure \(\langle \cdot \rangle \) yields
Young’s inequality now allows to get rid of \(\langle \zeta ^{2P} \rangle \) on the right-hand side and to derive
with some constant \(C>0\). We now argue how to replace \(\langle \zeta ^P \rangle ^2\) by \(\langle \zeta ^2 \rangle ^P\) on the right-hand side. To this end, one writes \(\zeta ^P = \zeta ^{P \frac{P-2}{P-1}} \zeta ^{P \frac{1}{P-1}}\) and applies Hölder’s inequality with exponents \(2\frac{P-1}{P-2}\) and \(2\frac{P-1}{P}\) followed by Young’s inequality leading to
with another constant \(C>0\). Using again the original spectral gap inequality and noting that it suffices to prove (2.5) for the case \(\langle \zeta \rangle = 0\), we further obtain
The proof is finished taking Jensen’s inequality \(\langle ( \cdot ) \rangle ^P \le \langle ( \cdot )^P \rangle \) into account. \(\square \)
Proof of Lemma 1.10
We divide the proof into two steps.
Step 1. Exponential concentration for and . We start by recalling the upgraded spectral gap estimate from (2.5) and by applying it to for some arbitrary \(R \ge 1\). The same arguments are also applicable to . This yields
for all \(r \in {\mathbb {N}}\), \(r \ge 2\). In a similar setting, exponential concentration and stretched exponential moments were shown in [16, Proposition 1.10] for arbitrary random variables X(a) by assuming a deterministic bound of the form
(albeit employing a multiscale spectral gap inequality). Such a deterministic bound cannot be expected in our situation, instead we shall prove that
holds true where \(\lesssim \) means \(\le \) up to the prescribed parameters d, p, q, and K. To this end, we first calculate
Next, we apply the elementary mean value theorem with some \(\theta , \vartheta \in [0,1]\) to obtain
where we use the identity \(|A^2| = |A|^2\) for the spectral norm of any symmetric matrix \(A \in {\mathbb {R}}^{d \times d}\) and the uniform boundedness \(| |A|': B | \lesssim |B|\) of the derivative of the spectral norm for any \(A, B \in {\mathbb {R}}^{d \times d}\), while we assume w.l.o.g. that \(\frac{1}{t} \big ( X \big (a + t a^{\frac{1}{2}} b a^{\frac{1}{2}} \big ) - X(a) \big )\) is positive for \(t > 0\) sufficiently small. Note that we further employed the boundedness of b and the fact that b vanishes outside of D. Moreover, every instance of a and b inside an integral refers to a(x) and b(x), respectively. As a consequence,
By recalling (1.9), we notice that the number of subdomains D obeying \(D \cap B_R \ne \emptyset \) equals (up to fixed constants)
Jensen’s inequality then leads to
Likewise, any subdomain D can be covered by at most \(|D| \lesssim R^{\beta d}\) unit balls \(B_1(x_k)\) with appropriate \(x_k \in D\), hence, applying Jensen’s inequality once more results in
Pulling the expectation inside and using the stationarity of the underlying ensemble, we deduce
Owing to (1.12) and Lemma A.1, we know that \(\left\langle ( \int _{B_1} \mu ^p )^{2r} \right\rangle ^\frac{1}{2r} \lesssim r^\frac{1}{\alpha }\), which gives rise to (2.8). Together with (2.7), this results in
An elementary argument shows that \(\left\langle \left( X(a) - \langle X(a) \rangle \right) ^{\frac{\alpha }{\alpha + 1} r} \right\rangle ^\frac{1}{r} \lesssim r R^{-\frac{\alpha }{\alpha + 1} \frac{d}{2} (1-\beta )}\), which by Lemma A.1 entails
for a sufficiently large constant \(C > 0\) depending only on fixed model parameters. Therefore,
Step 2. Stretched exponential moments for \(r_e\). For any \(r_0 > 1\) we now estimate the probability of the event \(r_e > r_0\) as follows:
where \(b = b(d, p, q, K) \in (1,2)\) is a constant specified below and \(n_0, n \in {\mathbb {N}}\) satisfy \(b^{n_0-1} < r_0 \le b^{n_0}\) and \(b^{n-1} < r \le b^n\). Notice that according to the assumption in the first line and that an analogous estimate holds for \(\lambda ^{-q}\). The previous estimate is continued via
We are hence in a position to employ (2.9) after choosing \(b \in (1,2)\) sufficiently close to 1 in order to guarantee that the lower bounds inside the indicator functions subsequently stay positive. Besides, we only provide the argument for the term involving \(\mu \), while the same reasoning also applies to the other term. This yields
together with (large) constants \(\overline{C}, C_0 \ge 1\), and a (small) constant \(c_1 \in (0, 1)\). For the third inequality above, we pull out the factor \(\exp \left( -c_1 (b^{n_0})^{\frac{\alpha }{\alpha + 1} \frac{d}{2} (1-\beta )} \right) \) and estimate the remaining sum using the crude bound \((b^n)^{\frac{\alpha }{\alpha + 1} \frac{d}{2} (1-\beta )} - (b^{n_0})^{\frac{\alpha }{\alpha + 1} \frac{d}{2} (1-\beta )} > rsim \log (b) (n - n_0)\). We can now derive moment bounds of order \(k \ge 1\) via
By means of the substitution \(t = c_1 r^{\frac{\alpha }{\alpha + 1} \frac{d}{2} (1-\beta )}\), the last expression rewrites as
The stretched exponential bound (1.13) for \(r_e\) of order \(\frac{\alpha }{\alpha + 1} \frac{d}{2} (1-\beta )\) now immediately follows as
for \(C > 0\) large enough. \(\square \)
2.3 Proof of Proposition 1.12: a sensitivity estimate for average integrals
Remark 2.2
The reason for demanding symmetric coefficient fields \(a(x) = a(x)^T\) is mainly related to the subsequent proof of Proposition 1.12, which does not seem to generalize to the case of non-symmetric a. In particular, the arguments in (2.22) and (2.23) heavily rely on the symmetry of a. In (2.23), we smuggle in \(a^{-\frac{1}{2}}\) and \(a^\frac{1}{2}\) leading to \(|g|_{a^{-1}}\) and \(|\psi |_a\) after applying Hölder’s inequality. In the absence of symmetry and assuming that an appropriate notion of the square root of a matrix is chosen, the terms which we insert should still cancel and be of the order \(-\frac{1}{2}\) and \(\frac{1}{2}\) w.r.t. a. Owing to (2.22) and the fact that the matrix a should partially cancel within the norm \(|\cdot |_{a^{-1}}\), we see that the definition of \(|\cdot |_{a^{-1}}\) has to be of the form \(|g|_{a^{-1}}^2 :=g^T (a^\frac{1}{2})^{-T} (a^\frac{1}{2})^{-1} g\). Since (2.22) shall be controlled in terms of \(|\cdot |_a\) in the subsequent estimate, \(|\cdot |_a\) needs to be defined as \(|\psi |_a^2 :=\psi ^T (a^\frac{1}{2})^T a^\frac{1}{2} \psi \). But the structure of \(|\cdot |_{a^{-1}}\) and \(|\cdot |_a\) now prevents us from proceeding as in (2.23) unless a is symmetric.
Proof of Proposition 1.12
We follow a strategy similar to the one in [20], which separates the proof into several steps. Throughout the proof, we will use the notation
for compactly supported \(g = (\tilde{g}, \bar{g})\).
Step 1. Energy estimate for all \(r \ge r_e\). We claim that any a-harmonic function u on \({\mathbb {R}}^d\), i.e. any solution to
satisfies
for some \(\varepsilon > 0\) and for all \(R \ge r \ge r_e\), where generic constants here and in the subsequent proof only depend on the dimension d.
Applying the Caccioppoli estimate for solutions to (2.11) from [9, Lemma 3] entails
where we abbreviate \(A :=B_{2r_e}(x) \backslash B_{r_e}(x)\) and \(\bar{u} :=\int _{A} u\). Since the condition \(\frac{1}{p} + \frac{1}{q} \le \frac{2}{d}\) guarantees the embedding \(W^{1,\frac{2q}{q+1}}(A) \hookrightarrow L^\frac{2p}{p-1}(A)\), we infer from Sobolev’s inequality (observing the correct scaling w.r.t. \(r_e\)) that
where we employed the correctly scaled Poincaré inequality for the third estimate. Thanks to Hölder’s inequality (cf. [9, Lemma 3]), we conclude that
Rewriting this estimate in terms of an explicit constant \(E :=C_d C_{\textrm{Sob}}^2 C_{\textrm{Poi}}^2 K^2\), we get
The bound in (2.12) now follows from a so-called hole-filling trick, which amounts to adding \(E \int _{B_{r_e}(x)} |\nabla u|_a^2\) to both sides. This results in
where the second bound simply follows by iteration. Defining \(\varepsilon > 0\), \(n \in {\mathbb {N}}\), and \(N \in {\mathbb {N}}\) via
we arrive at
provided \(N-1 \ge n\). In case that \(N = n\), this inequality obviously holds true. To ensure that the expression on the right-hand side (or an upper bound thereof) is increasing for decreasing \(\varepsilon \), we simply skip \(\varepsilon \in (0,1)\) within the factor \(2^{2\varepsilon d}\).
Step 2. Energy estimates for \(r \ge r_*\). We start by noting that
for all \(R \ge r\), where the constant on the right-hand side only depends on d and K. This follows from a Caccioppoli estimate as stated in [9, Lemma 3] since \(r_* \ge r_e\) in particular ensures \(R \ge r_e\). The definition of the minimal radius \(r_*\) in Definition 1.7 then allows for a constant upper bound.
As in [20], we now claim that for all \(\gamma \in (0,d)\) and any decaying functions u and g related via
we have
with generic constants only depending on d and \(\gamma \) in this paragraph. Restricting oneself by scaling to the case \(r=1\), one is left to prove
taking the following elementary estimate into account:
As a result of the unique solvability of (2.15) in the class of decaying solutions, we may assume that g is either supported in \(B_1\) or in \(B_{2^n} \backslash B_{2^{n-1}}\) for some \(n \in {\mathbb {N}}\). In the first case, we employ the energy estimate for (2.15) to derive \(\int _{B_1} |\nabla u|_a^2 \le \int |\nabla u|_a^2 \lesssim \int _{B_1} |g|_{a^{-1}}^2\). If \(\textrm{supp}\,g \subset B_{2^n} \backslash B_{2^{n-1}}\), we additionally use the mean-value property from Lemma 1.6 to deduce \(\int _{B_1} |\nabla u|_a^2 \lesssim (2^n)^{-d} \int _{|x|< 2^n} |\nabla u|_a^2 \lesssim (2^{n})^{-d} \int _{2^{n-1}<|x|<2^n} |g|_{a^{-1}}^2\).
In order to ensure an appropriate bound on the gradient of the flux correction, \(\nabla \sigma \), we also need the subsequent result. For all \(\gamma \in (0, d)\) and decaying functions u and g satisfying
we have
where generic constants may depend on d, \(\gamma \), and K in this context. As above, it is enough to prove the result for \(r=1\) and under the additional assumption that \(\textrm{supp}\,g \subset B_2\) or \(\textrm{supp}\,g \subset B_{2^n} \backslash B_{2^{n-1}}\) for some \(n \in {\mathbb {N}}\), \(n \ge 2\). In the former case, we invoke a Calderón–Zygmund estimate (see, e.g., [18, Subsections 7.1.2–7.1.3]) to find
As \(r \ge r_*\ge r_e\), and since we work with the scaling \(r = 1\), we conclude that
In the latter case, we first recall that the mean-value property also holds true for the \(L^\frac{2p}{p+1}\) norm. This follows from Jensen’s inequality and the standard mean-value property of harmonic functions, namely \(u = \frac{1}{|B_R|} \mathbb {1}_{B_R} * u\) and, hence, for \(R > 0\): Specifying \(R :=2^{n-1} - 1\), we derive . As a consequence,
Applying now an analogue of (2.18) on \(B_{2^n}\), we infer that
By the same arguments as above, we see that (2.18) and (2.19) give rise to (2.17).
The generalization of the previous estimate (2.16) provided in [20] also holds in our situation. For any \(0< \gamma '< \gamma < d\) and functions u and g subject to (2.15), one has
where here the generic constants only depend on d, \(\gamma \), and \(\gamma '\). As above, we restrict ourselves to \(r=1\). By using (2.16) with \(r :=2\rho \) therein for some \(\rho \ge 1\), we find
Multiplying with \(\rho ^{-\gamma }\), we obtain \(\int _{\rho< |x| < 2\rho } |x|^{-\gamma } |\nabla u|_a^2 \lesssim \rho ^{\gamma '-\gamma } \int ( |x| + 1 )^{-\gamma '} |g|_{a^{-1}}^2\). Setting \(\rho :=2^n\), recalling \(\gamma ' < \gamma \), and taking the sum over \(n \in {\mathbb {N}}\), we arrive at
The case \(|x| < 1\) is treated by the previous estimate (2.16) for \(r=1\):
Step 3. Sensitivity estimate for all \(r \ge r_*\). We proceed by following [20] and recall that the defining equations for the decaying functions \(\phi \) and \(\sigma _{jk}\) (where we skip the index i for notational convenience) read
Fixing an element D of the underlying partition of \({\mathbb {R}}^d\), we shall write \(a_D\) for a coefficient field which may differ from a only inside of D. The corresponding solutions to (2.21) for a replaced by \(a_D\) are then denoted by \(\phi _D\) and \(\sigma _{jkD}\). As a result, the differences \(\phi - \phi _D\) and \(\sigma - \sigma _{jkD}\) are subject to
Taking a linear combination with scalar coefficients \(\{c_D\}_D\), we get
With the help of estimate (2.20) in Step 2, we now derive
Note that we crucially employed the inclusion \(\textrm{supp}(a - a_D) \subset D\) and the fact that the elements of the partition are disjoint when pulling the square inside the sum over all D. Moreover, all generic constants appearing in this part of the proof only depend on d, \(\gamma \), and \(\gamma '\). Next, we observe that
together with the previous estimates and \(\gamma ' \le \gamma \) leads to
Similarly, we apply (2.17) to find
Due to the definition of the functional
we have
and
Consequently, we deduce that
Thus, an elementary \(l^2\) duality argument guarantees the bound
We now specify \(a_D :=a + t a^{\frac{1}{2}} \delta a_D a^{\frac{1}{2}}\) for \(t \in {\mathbb {R}}\), \(|t| \ll 1\), and a perturbation \(\delta a_D\) being bounded and supported in D. In the limit \(t \rightarrow 0\), the previous estimate becomes
Lemma A.3 now allows for an explicit estimate of the matrix-valued derivative of F in terms of specific matrix norms. But as all matrix norms on \({\mathbb {R}}^{d \times d}\) are equivalent, Lemma A.3 also holds for the spectral norm \(|\cdot |\) up to an additional constant. Hence, we arrive at
To derive the announced sensitivity estimate for \(r \ge r_*\), we set \(\rho :=\textrm{diam}\,D\) and choose \(x \in D\) such that \(R :=\textrm{dist}\,D = |x|\). The assumption \(\rho \le (R+1)^\beta \) with \(\beta \in (0,1)\) on the coarseness of the partition as well as the hole-filling estimate (2.12) ensure that
Applying (2.12) once more in case that \(r_* > 2R+1\), we obtain
While this estimate trivially follows from the previous one in case that \(r_* \le 2R+1\), we treat the additional factor from the hole-filling estimate in case that \(r_* > 2R+1\) via \(\left( \frac{1}{R+1} \right) ^{\varepsilon d (1-\beta )} \left( \frac{2R+1}{r_*} \right) ^{\varepsilon d} \le \left( \frac{1}{R+1} \right) ^{\varepsilon d (1-\beta )} \left( \frac{2R+1}{r_*} \right) ^{\varepsilon d (1-\beta )} \lesssim \left( \frac{1}{r_*} \right) ^{\varepsilon d (1-\beta )} \lesssim \left( \frac{1}{R+r_*+1} \right) ^{\varepsilon d (1-\beta )}\). The remaining integral is controlled via the Caccioppoli estimate (2.14), which results in
recalling \(r \ge r_* \ge 1\). Going back to (2.24) and defining \(\gamma ' :=d(1-\varepsilon (1-\beta )) < d\), we conclude that
Step 4. Sensitivity estimate for all \(r \ge r_e\). The range of radii \(r \in [r_e,r_*)\) is covered by applying the result from the previous step to the functional
Since (2.23) holds true, we infer
This enables us to employ (2.25) for \(\tilde{F}\) and \(r = r_*\) therein resulting in
Combining (2.25) and (2.26) establishes the announced estimate (1.16). \(\square \)
2.4 Auxiliary results on the sublinear growth of the extended corrector \((\phi , \sigma )\)
Lemma 2.3
For \(0< L< \rho < \infty \), \(1 \le s < d\), \(s \le S < \infty \) such that \(\theta :=d(\frac{1}{s} - \frac{1}{S}) \in [0,1)\), and \(u \in W^{1,s}(B_r)\), we have
Proof
By scaling we can assume \(\rho =1\), in which case (2.27) reduces for some \(L \le 1\) to
To show this, we apply the triangle inequality to estimate the left-hand side by
where . Combining Jensen’s, Sobolev’s, and Poincaré’s inequalities (while using \(\frac{1}{S} \ge \frac{1}{s} - \frac{1}{d}\)), we get for the second term on the right-hand side
For the first term, we apply Hölder’s inequality (with exponents \(\frac{s}{s-S(1-\theta )}, \frac{s}{S(1-\theta )} \in (1,\infty )\) after splitting the integrand as \(|\cdot |^S = |\cdot |^{\theta S} |\cdot |^{(1-\theta )S}\)) and Jensen’s inequality, followed in the next step by the above Sobolev inequality and the convolution estimate:
which proves (2.28). \(\square \)
Corollary 2.4
For \(0< L < r\), \(\theta :=\frac{d}{2} \left( \frac{1}{p} + \frac{1}{q}\right) \in (0, 1)\), and
the extended corrector \((\phi , \sigma )\) from Definition 1.3 satisfies
Proof
We start with \(\sigma \). Using Lemma 2.3 with \(u=\sigma \), \(S=\frac{2q}{q-1}\), and \(s=\frac{2p}{p+1}\), we get
with \(\theta = \frac{d}{2} (\frac{1}{p} + \frac{1}{q}) < 1\). To estimate the second term on the right-hand side, we assume w.l.o.g. that and consider \(\eta \sigma \) with a smooth cut-off function \(\eta \) for \(B_{2r}\) in \(B_{4r}\), which then by \(-\Delta \sigma _{ijk} = \partial _j q_{ik} - \partial _k q_{ij} =:\nabla \cdot \tilde{q}\) with \(\tilde{q} = q_{ik}e_j - q_{ij}e_k\) satisfies
By a Calderón–Zygmund estimate for the Laplacian (see, e.g., [18, Subsections 7.1.2–7.1.3]) combined with Sobolev’s and Jensen’s inequalities, this implies
Using the definition of \(\tilde{q}\) via \(q_i=a(\nabla \phi _i + e_i)\) we see that by Hölder’s inequality
which combined with the previous inequality (after taking averages on both sides) yields
Note that the same arguments apply if we replace \(\sigma \) by . We then plug the previous estimate into (2.30) and use Jensen’s inequality to obtain
To control the last term on the right-hand side, we observe that testing with , where \(\eta \) is a cut-off function for \(B_{4r}\) in \(B_{8r}\), entails
where we used Hölder’s inequality together with \(|\nabla \eta | \lesssim \frac{1}{r}\).
Using Lemma 2.3 with \(u=\phi \), \(S=\frac{2p}{p-1}\) and \(s=\frac{2q}{q+1}\), we get that
By means of Hölder’s inequality, we see that
which we use in (2.33) to control the last integral. Finally, such modified (2.33) together with (2.32) and (2.31) yield (2.29), which completes the proof. \(\square \)
2.5 Proof of Theorem 1.11: stretched exponential moments for \(r_*\)
Proof of Theorem 1.11
Step 1. Control of the minimal radius \(r_*\). Let \(p, q \in (1,\infty )\) be the integrability exponents of a and \(a^{-1}\) from Definition 1.1. We shall follow the lines of [20] to derive an estimate for the minimal radius \(r_*\). To this end, we first assume that \(M_0 r_e < r \le r_*\) holds with some positive radius r and the positive constant \(M_0\) from Definition 1.7 which is specified in (2.34) below. We introduce
With another positive radius \(r'\) subject to \(r' < r\), we may employ Corollary 2.4 to obtain
with \(\theta = \frac{d}{2} \left( \frac{1}{p} + \frac{1}{q} \right) < 1\). From the definition of \(r_*\) and the constant \(C_0\) in Definition 1.7, we deduce that there exists some \(\rho \ge r\) such that \(X(\rho ) \ge \frac{1}{C_0}\) while \(X(\rho ') \le \frac{2}{C_0}\) for all \(\rho ' \ge \rho \). Note that we crucially employed the assumption \(M_0 r_e < r_*\), which ensures that such a \(\rho \ge r\) actually exists. We infer
for all \(\rho ' \in (\rho , 2\rho )\). The choice \(r :=\rho '\) and \(r' :=\rho '' \in (0, \rho ')\) entails
with a positive constant \(C(d, p, q, K, C_0)\) which is in particular independent of \(M_0\). One can now absorb the first term on the right-hand side by setting \(\rho '' :=\frac{\rho '}{M_0}\) with
leading to
Taking the power 2P, \(P \in {\mathbb {N}}\), applying Jensen’s inequality, and integrating over \((\rho , 2\rho )\), we find
Since the previous calculation holds for any configuration satisfying \(M_0 r_e < r \le r_*\), we arrive at
extending the range of integration, renaming variables, and using the stationarity of .
Step 2. Control of the corrector gradient \(\nabla (\phi ,\sigma )\). We keep the assumptions and the notation from the previous step and consider some \(\rho > \tfrac{r}{M_0}\). As a result of the vanishing expectation of \(\nabla (\phi ,\sigma )\), the spectral gap estimate (2.5) ensures the bound
Recalling the notation with \(g :=|B_\rho |^{-1} {\mathbb {1}}_{B_\rho }\), which in particular fulfills the condition , Proposition 1.12 guarantees
Here and in the remainder of this proof, all generic constants may depend on d, p, q, \(\beta \), \(\varepsilon \), \(\kappa \), K, and \(C_0\). Together with the estimate on the minimal radius in (2.35), we derive
An evaluation of the integral over \(\rho \) after using the triangle inequality gives rise to
Keeping track only of the dependence of the constants on P, this expression simplifies to
To derive a bound on \(\langle I(r_* \ge r) \rangle \), we first note that
by elementary arguments, where \(\langle I(M_0 r_e \ge r) \rangle ^\frac{1}{P} \lesssim \exp \left( -\frac{1}{CP} \left( \frac{r}{M_0} \right) ^{\varepsilon \frac{d}{2} (1-\beta )} \right) \) due to (1.13) with \(\alpha = \frac{\varepsilon }{1 - \varepsilon }\). As a consequence of the scalar inequality \(e^{-x} \le x^{-2}\) for any \(x > 0\), we obtain
Hence, we established the estimate
Step 3. Buckling and exponential moments of \(r_*\). We introduce \(s :=r^{\frac{\varepsilon }{2} d (1-\beta )}\), \(s_* :=r_*^{\frac{\varepsilon }{2} d (1-\beta )}\), \(Q :=\frac{1}{\varepsilon (1-\beta )} > 1\), and we replace \(P \ge 1\) by \(\tfrac{P}{2}\) (now with \(P \ge 2\)) in (2.36). The transformed estimate then reads
with some constant \(\widetilde{C} \ge 1\). The basic idea of buckling in this context is to assume that there exists a constant \(\Lambda \ge 1\) such that
holds true for all \(s \ge \Lambda \). This assumption is in general only satisfied for \(\min \{ s_*, \delta ^{-1} \}\) with \(\delta > 0\) instead of \(s_*\). Showing that (2.38) (with \(\min \{ s_*, \delta ^{-1} \}\)) entails \(\Lambda \le C\) for some constant \(C \ge 1\), which is in particular independent of \(\delta \), allows to transfer the uniform exponential decay to \(\left\langle I(s_* \ge s) \right\rangle \).
Imposing (2.38), we calculate for any \(P \ge 2\),
We thus obtain \(\langle s_*^P \rangle ^\frac{1}{P} \le e P \Lambda \) for all \(P \ge 2\) and infer from (2.37) the estimate
with another constant \(C_0 \ge 1\). By defining \(\Lambda ' :=2C_0\Lambda ^\frac{Q-1}{Q} \ge 1\), we have
provided \(s \ge P \Lambda '\). The best upper bound for \(\langle I(s_* \ge s) \rangle \le \left( \frac{P}{s} \Lambda ' \right) ^P\) can be found by optimizing the right-hand side in P leading to \(P = \tfrac{s}{e\Lambda '}\). In order to guarantee \(P \ge 2\) (due to the variable transformation at the beginning of this step), we have to demand \(s \ge 2 e \Lambda '\). Note that \(s \ge P\Lambda '\) is trivially satisfied. Consequently,
for all \(s \ge 2 e \Lambda '\). This shows that (2.38) also holds true with \(2 e \Lambda '\) instead of \(\Lambda \). Taking the best constant \(\Lambda \) in (2.38) ensures \(\Lambda \le 2 e \Lambda ' = 4 C_0 e \Lambda ^\frac{Q-1}{Q}\) and, finally, \(\Lambda \le (4 C_0 e)^Q\).
Moments of \(s_*\) of order \(k \in {\mathbb {N}}\) are now derived as above via
As an immediate consequence, we obtain stretched exponential moments of \(r_*\) in the sense that
for a sufficiently large constant \(C > 0\). \(\square \)
3 Two applications to stochastic homogenization
3.1 Proof of Theorem 1.13: decay and growth properties of the extended corrector
Proof of Theorem 1.13
We define the random variable
which is stationary and satisfying \(\langle F \rangle = 0\) thanks to the according properties of \(\nabla (\phi , \sigma )\). From the P-spectral gap inequality (2.5) and the sensitivity estimate (1.16), we thus derive
for any \(P \in {\mathbb {N}}\), \(P \ge 2\). Taking \(r \ge 1\) and \(r_* \ge 1\) into account, this simplifies to
The first part of the theorem is a consequence of establishing stretched exponential moments for
To this end, we choose \(Q \ge 1\) and let \(P \in {\mathbb {N}}\) be the integer such that \(Q \le P < Q + 1\). Estimate (3.1) then entails
Replacing Q by \(\tfrac{\gamma Q}{2}\) for some \(\gamma > 0\) and demanding \(Q \ge \tfrac{4}{\gamma }\) to guarantee \(\tfrac{\gamma Q}{2} \ge 2\), we obtain
Together with Theorem 1.11 and Lemma A.1, we derive the bound
which results in
for \(\gamma :=\varepsilon (1 - \beta )\). Applying again Lemma A.1 concludes the argument.
Concerning the growth of the correctors \((\phi , \sigma )\), we start by employing Sobolev’s inequality related to the embedding \(W^{1,\frac{2q}{q+1}} \left( B(x) \right) \hookrightarrow L^\frac{2p}{p-1} \left( B(x) \right) \) on the unit ball \(B(x) :=B_1(x)\), which holds by the condition \(\frac{1}{p} + \frac{1}{q} \le \frac{2}{d}\). We infer
Poincaré’s inequality and an elementary estimate involving the ellipticity radius \(r_e(x)\) give rise to
Hölder’s inequality followed by a hole-filling argument then yields
Owing to a Caccioppoli estimate of the last term above and the definition of the minimal radius \(r_*(x)\) from Definition 1.7, we deduce
As in [21], we proceed by calculating
for any \(t \ge 1\). This identity easily follows from the integral mean value theorem. Hence,
Moreover, we have , which allows us to employ the first part of this theorem ensuring that
and, consequently,
recalling the definition of \(\pi (r)\) from (1.18). In a similar fashion, we find that
Since , we conclude as above that
We may now apply the previous estimates to the right-hand side of the following inequality,
leading to
when choosing \(R :=|x|\). Together, we have
Observe that \(r_*(x)^\frac{d}{2}\) is stochastically integrable with stretched exponential moment \(\varepsilon (1 - \beta )\) as \(\left\langle \exp \left( \frac{1}{C} r_*^{\frac{\varepsilon }{2} d (1-\beta )} \right) \right\rangle < 2\) due to (1.14) and that \(r_e(x)^{\frac{d}{2} ( \frac{1}{\varepsilon q} + 1)}\) is also integrable with the same moment \(\varepsilon (1 - \beta )\) since \(\left( \frac{1}{\varepsilon q} + 1 \right) \varepsilon \le \frac{\alpha }{\alpha + 1}\) and \(\left\langle \exp \left( \frac{1}{C} r_e^{\frac{\alpha }{\alpha + 1} \frac{d}{2} (1-\beta )} \right) \right\rangle < 2\) due to (1.13). This closes the proof for the second part of the theorem as the same arguments also apply to \(\sigma \) by basically exchanging p and q. \(\square \)
3.2 Proof of Corollary 1.14: a quantitative two-scale expansion
Proof of Corollary 1.14
We follow the strategy presented in [21, 23] and first notice that by a scaling argument it is sufficient to prove the claim for \(\delta = 1\). Next, we derive the following equation for z where \((\cdot )_1\) denotes averaging over a ball of radius 1:
The calculation is carried out in [23] but we recall the main steps of the proof for completeness. From the representation \(z :=u - \left( u_{\textrm{hom},1} + \phi _i \partial _i u_{\textrm{hom},1} \right) \), we obtain
and
The claim is now a result of the skew-symmetry of \(\sigma _i\), more precisely of
Testing (3.2) with z entails
For the first term on the right-hand side we aim to apply Poincaré’s inequality noting that \(g-g_1 \in W^{1,\frac{2q}{q-1}}({\mathbb {R}}^d)\) is supported in \(B_{R+1}\). Up to several constants depending in particular on R, we get
For the second term, we note that \(\nabla \partial _i u_{\textrm{hom},1} = \frac{1}{|B|} {\mathbb {1}}_{B} *\nabla \partial _i u_{\textrm{hom}}\) (with \(B :=B_1(0)\)) leading together with Jensen’s inequality to
Proceeding with Hölder’s inequality, we deduce
Theorem 1.13 and , therefore, result in
where we introduced the random field
Employing the stationarity of \({\mathcal {C}}(x)\) and \(r_e(x)\) as well as a weighted \(L^2\) estimate for \(\nabla ^2 u_{\textrm{hom}}\) (recall that \(\pi (\cdot )\) as defined in (1.18) is a Muckenhoupt weight), we infer the bound
for any \(r \ge 2\). Now let \(r \ge \frac{2}{\varepsilon (1-\beta )} (1 + \frac{\alpha + 1}{\alpha } \frac{\varepsilon }{p})\) and observe that the previous estimate gives rise to
using Hölder’s inequality, the stochastic integrability of \({\mathcal {C}}\) and \(r_e\) from Theorem 1.13 and Lemma 1.10, respectively, and Lemma A.1. This ensures the announced stretched exponential moment bounds for \({\mathcal {C}}_{g,p}\). The same arguments also show that
together with the random field
allowing for the same stochastic integrability as \({\mathcal {C}}_{g,p}\) up to replacing p by q. \(\square \)
Data Availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Andres, S., Chiarini, A., Slowik, M.: Quenched local limit theorem for random walks among time-dependent ergodic degenerate weights. Probab. Theory Related Fields 179(3–4), 1145–1181 (2021)
Andres, S., Deuschel, J.-D., Slowik, M.: Invariance principle for the random conductance model in a degenerate ergodic environment. Ann. Probab. 43(4), 1866–1891 (2015)
Armstrong, S., Dario, P.: Elliptic regularity and quantitative homogenization on percolation clusters. Commun. Pure Appl. Math. 71(9), 1717–1849 (2018)
Armstrong, S.N., Smart, C.K.: Quantitative stochastic homogenization of convex integral functionals. Ann. Sci. Ec. Norm. Supér. (4) 49(2), 423–481 (2016)
Armstrong, S., Kuusi, T., Mourrat, J.-C.: Quantitative Stochastic Homogenization and Largescale Regularity, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 352, Springer, Cham (2019)
Avellaneda, M., Lin, F.-H.: Compactness methods in the theory of homogenization. Commun. Pure Appl. Math. 40(6), 803–847 (1987)
Barlow, M.T.: Random walks on supercritical percolation clusters. Ann. Probab. 32(4), 3024–3084 (2004)
Bella, P., Chiarini, A., Fehrman, B.: A Liouville theorem for stationary and ergodic ensembles of parabolic systems. Probab. Theory Related Fields 173(3–4), 759–812 (2019)
Bella, P., Fehrman, B., Otto, F.: A Liouville theorem for elliptic systems with degenerate ergodic coefficients. Ann. Appl. Probab. 28(3), 1379–1422 (2018)
Bella, P., Otto, F.: Corrector estimates for elliptic systems with random periodic coefficients. Multiscale Model. Simul. 14(4), 1434–1462 (2016)
Bella, P., Schäffner, M.: Local boundedness and Harnack inequality for solutions of linear nonuniformly elliptic equations. Commun. Pure Appl. Math. 74(3), 453–477 (2021)
Bella, P., Schäffner, M.: Non-uniformly parabolic equations and applications to the random conductance model. Probab. Theory Related Fields 182(1–2), 353–397 (2022)
Benjamini, I., Duminil-Copin, H., Kozma, G., Yadin, A.: Disorder, entropy and harmonic functions. Ann. Probab. 43(5), 2332–2373 (2015)
Chiarini, A., Deuschel, J.-D.: Invariance principle for symmetric diffusions in a degenerate and unbounded stationary and ergodic random medium. Ann. Inst. Henri Poincaré Probab. Stat. 52(4), 1535–1563 (2016)
Deuschel, J.-D., Slowik, M.: Invariance principle for the one-dimensional dynamic random conductance model under moment conditions. Stochastic analysis on large scale interacting systems, pp. 69–84 (2016)
Duerinckx, M., Gloria, A.: Multiscale functional inequalities in probability: concentration properties. ALEA Lat. Am. J. Probab. Math. Stat. 17(1), 133–157 (2020)
Fischer, J., Otto, F.: A higher-order large-scale regularity theory for random elliptic operators. Commun. Partial Differ. Equ. 41(7), 1108–1148 (2016)
Giaquinta, M., Martinazzi, L.: An Introduction to the Regularity Theory for Elliptic Systems, Harmonic Maps and Minimal Graphs. Second, Appunti. Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes. Scuola Normale Superiore di Pisa (New Series)], vol. 11, Edizioni della Normale, Pisa (2012)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Classics in Mathematics, Springer, Berlin (2001). Reprint of the 1998 edition
Gloria, A., Neukamm, S., Otto, F.: A Regularity Theory for Random Elliptic Operators (2014). arXiv:1409.2678v2
Gloria, A., Neukamm, S., Otto, F.: A regularity theory for random elliptic operators and homogenization (2015). arXiv:1409.2678v3
Gloria, A., Neukamm, S., Otto, F.: A regularity theory for random elliptic operators. Milan J. Math. 88(1), 99–170 (2020)
Gloria, A., Neukamm, S., Otto, F.: Quantitative estimates in stochastic homogenization for correlated coefficient fields. Anal. PDE 14(8), 2497–2537 (2021)
Krengel, U.: Ergodic theorems, De Gruyter Studies in Mathematics, vol. 6, Walter de Gruyter & Co., Berlin (1985). With a supplement by Antoine Brunel
Marahrens, D., Otto, F.: Annealed estimates on the Green function. Probab. Theory Related Fields 163(3–4), 527–573 (2015)
Sapozhnikov, A.: Random walks on infinite percolation clusters in models with long-range correlations. Ann. Probab. 45(3), 842–1898 (2017)
Simon, L.: Schauder estimates by scaling. Calc. Var. Partial Differ. Equ. 5(5), 391–407 (1997)
Trudinger, N.S.: On the regularity of generalized solutions of linear, non-uniformly elliptic equations. Arch. Rational Mech. Anal. 42, 50–62 (1971)
Acknowledgements
The authors thank Adolfo Arroyo-Rabasa for his contributions to the project in its very first stage.
Funding
Open Access funding enabled and organized by Projekt DEAL. The authors were partially supported by the German Science Foundation DFG in context of the first author’s Emmy Noether Junior Research Group BE 5922/1-1.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Some auxiliary tools
Appendix A: Some auxiliary tools
Lemma A.1
(see e.g. [21, Lemma 6]) The following statements on a nonnegative random variable F are equivalent.
-
(1)
There exists a constant \(C \ge 1\) such that
$$\begin{aligned} \left\langle \exp \left( \frac{1}{C} F \right) \right\rangle < 2. \end{aligned}$$ -
(2)
There exists some \(p_0 \in {\mathbb {N}}\) and a constant \(C \ge 1\) such that
$$\begin{aligned} \left\langle F^p \right\rangle ^\frac{1}{p} \le Cp \end{aligned}$$for all \(p \in {\mathbb {N}}\), \(p \ge p_0\).
Notation A.2
For a matrix \(M \in {\mathbb {R}}^{d \times d}\), we write
Lemma A.3
Let \(M: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^{d \times d}\) and suppose that
for some \(c>0\) and all bounded \(N: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^{d \times d}\). Then, we have
Proof
We first observe that
for all matrix-valued functions \(M, N \in {\mathbb {R}}^{d \times d}\) provided that \(N_{ij}(\cdot )\) is bounded for all i and j. This can be verified by elementary arguments from linear algebra. The previous identity, in particular, implies that the bound \(\sum _D \Vert |M|_{F1} \Vert _{L^1(D)}^2 \le c^2\) holds, if
for some \(c>0\) and all bounded \(N: {\mathbb {R}}^d \rightarrow {\mathbb {R}}^{d \times d}\). Replacing M by \(a^{\frac{1}{2}} M a^{\frac{1}{2}}\) and observing that \(a^{\frac{1}{2}} M a^{\frac{1}{2}}: N = M: a^{\frac{1}{2}} N a^{\frac{1}{2}}\) allows to conclude. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bella, P., Kniely, M. Regularity of random elliptic operators with degenerate coefficients and applications to stochastic homogenization. Stoch PDE: Anal Comp (2024). https://doi.org/10.1007/s40072-023-00322-9
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40072-023-00322-9
Keywords
- Degenerate elliptic equations
- Random coefficients
- Large-scale regularity
- Stochastic homogenization
- Exponential moment bounds
- Sensitivity estimates