Abstract
This paper is divided into two parts: In the main deterministic part, we prove that for an open domain \(D \subset \mathbb {R}^d\) with \(d \ge 2\), for every (measurable) uniformly elliptic tensor field a and for almost every point \(y \in D\), there exists a unique Green’s function centred in y associated to the vectorial operator \(-\nabla \cdot a\nabla \) in D. This result implies the existence of the fundamental solution for elliptic systems when \(d>2\), i.e. the Green function for \(-\nabla \cdot a\nabla \) in \(\mathbb {R}^d\). In the second part, we introduce a shift-invariant ensemble \(\langle \cdot \rangle \) over the set of uniformly elliptic tensor fields, and infer for the fundamental solution G some pointwise bounds for \(\langle |G(\cdot ; x,y)|\rangle \), \(\langle |\nabla _x G(\cdot ; x,y)|\rangle \) and \(\langle |\nabla _x\nabla _y G(\cdot ; x,y)|\rangle \). These estimates scale optimally in space and provide a generalisation to systems of the bounds obtained by Delmotte and Deuschel for the scalar case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this work we shall be concerned with the study of the Green function for the second order vectorial operator in divergence form \(-\nabla \cdot a \nabla \), on a general open domain \(D \subset \mathbb {R}^d\) with \(d \ge 2\). More precisely, let \(G_D(a;\cdot ,y), \ y \in D\) denote the Green function centred in y and corresponding to \(-\nabla \cdot a\nabla \) in D. We assume that a is any measurable uniformly elliptic tensor field on \(\mathbb {R}^d\): Our notion of ellipticity is slightly weaker than the more standard strong ellipticity, and this allows us to include the setting of linearised elasticity. We also need to impose an extra condition on the domain D in the case \(d=2\), namely that it has at least one bounded direction.
The paper is structured in two parts. In the first deterministic part we provide an existence and uniqueness result for Green functions. That is we prove for every a and almost every \(y \in D\) the function \(G_D(a; \cdot , y)\) exists (in fact, in the case of systems it is a tensor field). In the case \(d>2\) this implies the existence of the full-space Green function, i.e. of \(G(a;\cdot ,y)=G_{\mathbb {R}^d}(a;\cdot ,y)\). In the second stochastic part we introduce a shift-invariant probability measure on the coefficient fields a (or, equivalently, an ensemble \(\langle \cdot \rangle \)), and consider when \(d > 2\) the random field given by \(G(a; \cdot , y)\). In this random setting we establish for G optimal pointwise moment bounds: If \(\langle \cdot \rangle \) denotes expectation with respect to the ensemble and \(\lambda \) is the ellipticity ratio of a, we prove that
with similar estimates for \(\nabla _x G\), and \(\nabla _x\nabla _yG\).
In the scalar case it is a well-known result (see e.g. Grüter and Widman [20], Littman et al. [23]) that for any measurable and strongly uniformly elliptic a, the Green function exists and has optimal pointwise decay, e.g. as the Green function associated to the Laplacian (c.f. also the r.h.s. in (1)). This bound on the decay is a consequence of the De Giorgi-Nash-Moser theory, which does not hold in the case of systems. Moreover, when working with systems the existence of a Green’s function is itself not ensured for this class of (possibly very rough) coefficient fields: A famous example of De Giorgi [10], disproving both the Liouville property and the \(C^{\alpha }\)-regularity theory for a-harmonic functions, also implies that there are strongly elliptic tensor fields and points \(y \in \mathbb {R}^d\) for which a Green’s function centred in y does not exist.
Under additional regularity assumptions on the coefficient fields and/or on the domain D, the existence of the Green function has been proved also for systems: For any bounded and \(C^1\) domain D, Fuchs [15] establishes existence of the Green function for strongly elliptic continuous coefficient fields a, and optimal pointwise bounds under the stronger assumption of Hölder continuity of a. Subsequently, Dolzmann and Müller [12] improve the previous result by obtaining for continuous a not only the existence of the Green function, but also optimal decay properties. In a series of works, Hoffman and Kim [21] and Kim and collaborators (see e.g. [22] and [7]) considerably weaken the assumptions on the domain D and on the regularity of a ( both in the elliptic and in the corresponding parabolic setting): In [21], they establish the existence of the Green function for an arbitrary open domain \(D \subset \mathbb {R}^d\) with \(d > 2\), provided that the coefficient field is such that a-harmonic functions satisfy an interior Hölder continuity estimate (e.g. if a is VMO). In [22], Kang and Kim (see also Cho et al. [7] for the case \(d=2\)) further develop the previous theory and in addition provide a necessary and sufficient condition on a in order to have for the Green function an optimal pointwise bound. We also mention that a result similar to [22] has been proved by Auscher and Tchamitchian [2] in the parabolic case via the introduction of a criterion [the Dirichlet Property (D)] for the parabolic Green function to have Gaussian bounds.
In this paper we adopt a different approach: Instead of restricting the class of coefficient fields a by further regularity assumptions, we show that the “bad” cases as the one of De Giorgi’s example are exceptional for any coefficient field a. The main idea consists of extending our definition of the Green function to a two-variable object \(G_D(a; \cdot , \cdot )\) which solves the equation almost surely in y: With this understanding, we may establish \(L^2\) a-priori bounds in (x, y) on the gradients \(\nabla _x G\), \(\nabla _y G\) and the mixed derivatives \(\nabla _x\nabla _yG\). By an approximation procedure, we then obtain the existence statement.
The optimal stochastic estimates (c.f. (1)), obtained in the second part of this work, extend the inequalities established by Delmotte and Deuschel [11] for scalar equations to elliptic systems: Their methodology relies on the theory of De Giorgi, Nash and Moser for uniformly elliptic and parabolic PDEs in divergence form and therefore does not generalise to elliptic systems. Stochastic estimates on the (whole space) Green function have been largely used in the context of stochastic homogenization for elliptic PDE’s in divergence form, in particular to quantify the decay of the homogenisation error, i.e. the difference between the solution of the heterogeneous equation and the solution of the homogenised equation. Inspired by the work of Naddaf and Spencer [26] on Gradient Gibbs Measures, the third author and Gloria and the third author, Gloria and Neukamm (see e.g. [17, 19]) provide optimal estimates for the fluctuations (variance) of the corrector by controlling the decay of the moments of the gradients and mixed derivatives Green function, i.e. \(\langle |\nabla _x G(\cdot ; x, y)|^{2p} \rangle ^{\frac{1}{p}}\) and \(\langle |\nabla _x\nabla _y G(\cdot ; x, y)|^{2p} \rangle ^{\frac{1}{p}}\) for \(p \ge 1\). There, an important role is played by the assumption on the ensemble of coefficient fields to satisfy a quantification of ergodicity in the form of a Spectral Gap. In [24], Marahrens and the third author rely on Logarithmic Sobolev’s inequalities to upgrade the bounds obtained by Delmotte and Deuschel for any moment of G, \(\nabla _x G\) and \(\nabla _x\nabla _y G\) and infer optimal estimates on the fluctuation of the homogenisation error. The result of this paper should therefore allow to obtain the optimal quantitative results cited above also in the case of stochastic homogenisation of elliptic systems. We also mention that in [4], Bella and the second author upgraded as well (1) to a bound for any moment in probability of G, its gradient and its mixed derivatives.
Estimates (1) immediately imply optimal decay bounds for the averaged Green function \(\langle G( a; \cdot , \cdot ) \rangle \). It is an interesting exercise to compare the methodology used in the present paper with the methodology used by the first author and Naddaf [8] to prove in the scalar case pointwise estimates on the averaged Green function. and their derivatives. While in this work we infer the stochastic bounds on the Green function directly from the deterministic existence result for \(G(a; \cdot , \cdot )\), in [8] a major part is played by the Fourier representation of the averaged Green function, which is a generalisation of the Fourier representation of the Green function for an elliptic PDE with constant coefficients. Naddaf and the first author then obtain Fourier space estimates strong enough to imply the pointwise estimates on averaged Green functions. We remark that the method in [8] does not make use of the scalar structure and therefore may be applied also to obtain a-priori estimates in the vectorial case. In the last section of this paper we indeed summarise how our main estimate in the proof of (1) can be obtained using this Fourier method.
We conclude this introduction by remarking that the issue of the regularity of averaged Green functions for PDEs with random coefficients plays an important role in statistical mechanics (in fact, [11] belongs itself to this context). In particular, it appears to have first come up in the study of the equilibrium statistical mechanics of the Coulomb dipole gas. Correlation inequalities for the dipole gas on the integer lattice were first obtained by Gawedzki and Kupiainen [16] by means of a complicated multi-scale induction argument known as the renormalisation group method [6]. A major drawback to the implementation of the renormalisation group method is that it always requires smallness in some parameters. In the case of the dipole gas this implies that the density of the gas must be extremely small, and with no reasonable estimate on how large the density is allowed to be. In [25] Naddaf and Spencer pioneered an alternative approach to estimating correlation functions for the dipole gas which was based on convexity theory. Their starting point was the observation that a correlation function closely related to the charge-charge correlation function for the dipole gas is equal to the integral over time of an averaged Green function for a parabolic PDE in divergence form with random coefficients. One of the main results of [16] follows immediately from this identity by application of a discrete version of the Aronson bounds [1] for Green functions of parabolic PDE. In addition, the argument applies for gases with density of order 1. The Aronson bounds make use of the main ingredient of Nash’s argument for the De Giorgi–Nash–Moser theory, and are thus restricted to the scalar setting.
An important intuition in the study of the Coulomb gas is the notion of screening. That is the interaction between two particles of the gas is decreased by the presence of the other particles. In the case of two dipoles centred at \(x,y\in \mathbb {R}^d\) the interaction behaves like \(1/|x-y|^d\) at large distances. Hence one expects that for a dilute Coulomb gas of dipoles the charge-charge correlation between two dipoles at x, y also behaves like \(1/|x-y|^d\) at large distances. In the Naddaf-Spencer representation the charge-charge correlation function is approximately given by the averaged second derivative \(\nabla _x\nabla _yG\) of the Green function evaluated at (x, y). Hence one is motivated to expect pointwise bounds on averages of second derivatives of Green functions for certain parabolic PDE in divergence form with random coefficients, a conjecture formulated by Spencer [29] and proven in [11].
2 Notation and setting
In this section we introduce the elliptic systems’ setting we are interested in and the notion of associated Green’s function for a general open domain \(D\subset \mathbb {R}^d\), \(d\ge 2\). In particular, we want to justify the scalar notation which is used throughout the paper. In order to do so, we first introduce our problem in a more general setting: In the rest of this section we consider a Hilbert space Y with dim\(Y:=m<\infty \). We denote by zy and \(z\cdot y\) respectively the inner product in Y and the natural one induced over \(Y^d\). In the same spirit, we write \(|z|= (z z)^{\frac{1}{2}}\) and \(|y|=(y\cdot y)^{\frac{1}{2}}\) for \(z\in Y\) and \(y\in Y^d\).
Coefficient field A coefficient field a is a map
Let \(\Omega \) be the set of all symmetric and elliptic coefficient fields, i.e. all maps a such that
We stress that (4) is a weaker condition than the uniform ellipticity assumption
and it includes a larger class of elliptic systems to which belongs also the case of linearised elasticity. In this paper we mainly consider coefficient fields \(a \in \Omega \), thus elliptic in the more general sense (4).
Generalised Green’s function For an open domain \(D\subset \mathbb {R}^d\) with \( d \ge 2\) and a given \(a\in \Omega \), we refer to the map \(G_D(a;\cdot ,\cdot ) :\mathbb {R}^d\times \mathbb {R}^d \rightarrow \mathcal {L}(Y,Y)\) as a Green’s function, if there exists an \(\alpha \in (0, d)\) Footnote 1 and \(R>0\) such that for every \(z\in \mathbb {Z}^d\)
and for almost every \(y\in \mathbb {R}^d\) the application \(G(a, \cdot , y)\) satisfies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ8_HTML.gif)
in the sense that \(G_D(a; \cdot , y) = 0\) almost everywhere outside D or vanishes at infinity for \(D=\mathbb {R}^d\), and that for any \(\xi \in Y\), \(|\xi |=1\) it holds for every \(\zeta \in C^\infty _0(D; Y)\)
We note that if we obtain estimates over \(G(a;\cdot ,y)\xi \), independent of \(\xi \), then we automatically deduce the same bounds for \(G(a; \cdot , y)\) itself. Therefore, as long as we estimate uniformly in \(\xi \), instead of (9) we can adopt the formal notation
Given \(G(a; \cdot , \cdot )\) as defined before, we may also consider \(\nabla _y G_{D}(a; \cdot , y)\) which, for almost every \(y\in \mathbb {R}^d\), is formally a solution (with the same understanding of (8)) of
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ11_HTML.gif)
where the distribution \(\nabla _y\delta (\cdot -y)\) acts on any \(\zeta \in C^\infty _0 (D)\) as
Throughout the rest of the paper we fix \(Y=\mathbb {R}^m\) with the canonical inner product and use the previous scalar-like notation. When no ambiguity occurs, we write \(\nabla G_D\), \(\nabla \nabla G_D\) for the gradient \(\nabla _xG(a;x,y)\) and the mixed derivatives \(\nabla _x\nabla _yG_D(a;x,y)\). In the case \(D=\mathbb {R}^d\), we also use the notation \(G(a; \cdot , \cdot )=G_{\mathbb {R}^d}(a; \cdot , \cdot )\). In the estimates carried out in this paper, \(\lesssim \) stands for \(\le C\) with a constant depending exclusively on the dimension d and the ellipticity ratio \(\lambda \) and thus in particular independent of the choice of the domain D; similarly, \(\lesssim _D \) stands for \(\le C\) with C depending on d, \(\lambda \) and also on the domain D: Unless stated otherwise, the dependence of C on the domain is merely through the size of the smallest bounded direction of D.
We remark that our definition of Green’s function guarantees that for every coefficient field \(a\in \Omega \) and for every open domain \(D \subset \mathbb {R}^d\) with \(d \ge 2\), \(G_D(a; \cdot ,\cdot )\) is unique. More precisely, we have the following
Lemma 1
Let \(a \in \Omega \) and let D be an open domain in \(\mathbb {R}^d\), with \(d \ge 2\). Then, \(G_D(a, \cdot , \cdot )\) is unique (in the sense of \(L^1_{loc}(\mathbb {R}^d \times \mathbb {R}^d))\).
The proof of this result in the appendix is very similar to [18], Section A.3, Step 4.
Random coefficient fields We restrict our definition of \(\Omega \) as
where the measurability is considered with respect to the coarsest \(\sigma \)-algebra \(\mathcal {F}\) such that \(\forall \xi \in Y^d\), \(|\xi |=1\), the evaluation
is measurable for every \(\chi \in C^\infty _0(\mathbb {R}^d)\) ( where \(\mathbb {R}\) is equipped with the usual Borel \(\sigma \)-algebra). We define a random coefficient field by endowing the couple \((\Omega , \mathcal {F})\) with a probability measure \(\mathbb {P}\), or equivalently by considering an ensemble \(\langle \cdot \rangle \) over symmetric, uniformly elliptic coefficient fields a. We assume the ensemble \(\langle \cdot \rangle \) to be stationary, namely that \(\forall z\in \mathbb {R}^d\) the coefficient fields \(\{\mathbb {R}^d\ni x\rightarrow a(x)\}\) and \(\{\mathbb {R}^d\ni x\rightarrow a(x+z)\}\) have the same distribution, and to be stochastically continuous, in the sense that for every \(x\in \mathbb {R}^d\) and \(\delta >0\)
This last condition ensures that the map \(\Omega \times \mathbb {R}^d\ni (a,z)\ \rightarrow \ a(\cdot + z) \in \Omega \) is measurable with respect to the product topology of \(\Omega \times \mathbb {R}^d\). With this additional structure, we can consider the random map \(G: \Omega \ni a \rightarrow G(a; \cdot , \cdot )\) . We also remark that, by definition (12), \(\mathcal {F}\) is countably generated and therefore for every \(p \in [1; +\infty )\), the space
is separable.
3 Main result and remarks
Throughout the paper, as a basic assumption, we consider the domain \(D \subset \mathbb {R}^d\) to be open and such that
This condition basically ensures that if a function u is zero almost everywhere outside D, and admits weak derivatives up to order k, then the derivatives are as well almost surely zero outside the domain: This will prove to be useful when defining the approximate problem for (8), cf.(32), which calls for a higher order operator and thus Dirichlet boundary conditions also for the derivatives.
In this paper we mainly provide two existence results for the Green function in a domain \(D \subset \mathbb {R}^d\) with \(d \ge 2\). As introduced in Sect. 2, for a given \(a\in \Omega \), we treat the Green function for a domain D as an object \(G_D(a; \cdot , \cdot )\) in two space variables \((x, y) \in \mathbb {R}^d \times \mathbb {R}^d\), which satisfies for almost every singularity point \(y\in \mathbb {R}^d\) the equation (8). It is with this generalised definition of Green function that we manage to prove its existence and uniqueness (cf. Lemma 1) and also to obtain optimal estimates for the \(L^2\)-norm in both the space variables of \(G_D(a; \cdot , \cdot )\), its gradient and its mixed derivatives.
In the first theorem, we show that if the domain D is open, and if \(d=2\) also bounded in at least one direction, then for every coefficient field \(a\in \Omega \) the Green function \(G_D(a; \cdot , \cdot )\) exists; In particular, this result also includes the existence of the fundamental solution, i.e. the Green function for \(D= \mathbb {R}^d\), with \(d>2\). In the case of open domains bounded in at least one direction and strongly elliptic (cf. (5) coefficient fields \(a\in \Omega \), we also provide in Corollary 1 an improvement of the estimates obtained in Theorem 1, namely that the off-diagonal \(L^2\)-norms of \(G_D(a; \cdot , \cdot )\), \(G_D(a; \cdot , \cdot )\) and \(\nabla \nabla G_D(a; \cdot , \cdot )\) decay exponentially in the unbounded directions.
Corollary 2 deals with the introduction of a stationary ensemble on the space of coefficient fields \(\Omega \) and provides in the case of systems a generalisation, at the level of the first moments in probability, of the stochastic bounds obtained by Delmotte and Deuschel in [11] for the scalar case.
More precisely, we prove the following statements
Theorem 1
Let \(d\ge 2\) and \(D\subset \mathbb {R}^d\) be a general open domain satisfying (13). Then
-
(a)
If \(d > 2\), for every \(a\in \Omega \) there exists the Green function \(G_D(a;\cdot ,\cdot )\) and it satisfies for every \(z \in \mathbb {R}^d\), \(R>0\), \(\alpha > d-2\),
$$\begin{aligned} \int _{|y-z|< R}&\int _{|x-z|< R} |x-y|^{\alpha }\left( |\nabla G_D(a; x, y)|^2 \right. \nonumber \\&\quad + \left. |\nabla _y G_D(a; x, y)|^2\right) \lesssim R^{2+\alpha }, \end{aligned}$$(14)$$\begin{aligned} \int _{|y-z|< R}&\int _{|x-z| > 8R}|\nabla G_D(a; x, y)|^2 \lesssim R^{2}, \end{aligned}$$(15)and for every \(z \in \mathbb {R}^d\), \(R>0\) and \(1 \le p < \frac{d}{d-2}\) and \(1 \le q < \frac{d}{d-1}\)
$$\begin{aligned} \int _{|y-z|< R}&\int _{|x-z|< R} |G_D(a; x, y)|^p \lesssim R^{(2-p)d + 2p}, \end{aligned}$$(16)$$\begin{aligned} \int _{|y-z|< R}&\int _{|x-z|< R} |\nabla G_D(a; x, y)|^q + |\nabla _yG_D(a; x, y)|^q \lesssim R^{(2-q)d + q}, \end{aligned}$$(17)$$\begin{aligned} \int _{|y-z|< R}&\int _{|x-z|> 2R} |\nabla \nabla G_D(a; x, y)|^2 \lesssim 1. \end{aligned}$$(18) -
(b)
If \(d=2\) and D is bounded in at least one direction, then for every \(a\in \Omega \) the Green function \(G_D(a; \cdot , \cdot )\) exists as well and satisfies the bounds (14)–(15), (18) and (16)–(17). All the constants, with the exception of (18), depend also on the size of the smallest bounded direction of D and the bound (15) holds for radii \(R \gtrsim _D 1\).
Corollary 1
Let \(D \subset \mathbb {R}^d\) with \(d \ge 2\) be an open domain satisfying (13) and bounded in at least one direction. Then for every \(a\in \Omega \) satisfying also (5), there exists a constant \(C_1 \lesssim _D 1\) such that for every \(z\in \mathbb {R}^d\) and \(R \gtrsim _D 1\) it holds
Corollary 2
Let \(d > 2\) and let \(\langle \cdot \rangle \) be a stationary ensemble on \(\Omega \). Then, the Green function \(G(a; \cdot , \cdot )\) for the whole space \(\mathbb {R}^d\) satisfies for almost every \( x,y \in \mathbb {R}^d\) the annealed pointwise bounds
We recall that in all the previous inequalities \(\lesssim \) and \(\lesssim _D\) stand for \(\le C\) with the constant C respectively depending on d and \(\lambda \) or on d,\(\lambda \) and the size of the smallest bounded component of D.
In the following remark we argue that the bounds (22) and (23) require the expectation \(\langle \cdot \rangle \):
Remark 1
-
(i)
For \(d > 2\), a coefficient field \(a \in \Omega \) and an associated Green’s function \(G(a; \cdot ,y)\) on \(\mathbb {R}^d\), the bound
(24)implies that any finite energy a-harmonic application u is (locally) bounded. More precisely, the local boundedness of a-harmonic applications is also implied if assuming instead of (24) the weaker \(L^2\)- bound
$$\begin{aligned} \int _{|x-y|> R}|\nabla G(a; x, y)|^{2} \lesssim R^{2-d} \ \ \text {for every }R>0 \quad \text { and} \quad \text {a.e. }y\in \mathbb {R}^d. \end{aligned}$$(25)While in the scalar case the bound (25) holds ([17], Lemma 2.9), we cannot expect it to be true for every coefficient field \(a\in \Omega \) in the case of systems. The following example of De Giorgi [10] shows indeed that in \(d>2\), the unbounded function \(u:\mathbb {R}^d\rightarrow Y\), with \(Y=\mathbb {R}^d\), given by
(26)is locally of finite energy and a-harmonic for the symmetric and elliptic coefficient field
(27) -
(ii)
Assuming that both (25) and
$$\begin{aligned} \int _{|x-y|> R}|\nabla \nabla G(a; x, y)|^{2} \lesssim R^{-d} \ \text { for every }R>0 \text { and a.e. } y\in \mathbb {R}^d \end{aligned}$$(28)hold, implies that any a-harmonic application u is also locally Lipschitz. Hence, also in the scalar case both conditions (25) and (28) cannot be true for every coefficient field \(a\in \Omega \) ([28], Example 3).
-
(iii)
For \(\alpha \in (0,1)\), even a suboptimal assumption on the decay of (28) as
$$\begin{aligned} \int _{|x-y| > R}|\nabla \nabla G(a; x, y)|^{2} \lesssim R^{-d +\alpha }, \end{aligned}$$(29)cannot hold for every coefficient field \(a\in \Omega \) both in the scalar and in the systems’ case. Indeed, (29) implies a Liouville property for a-harmonic functions, namely that for \(\beta \in (\frac{\alpha }{2}, 1)\) for any a-harmonic u on \(\mathbb {R}^d\)
(30)where
It can be shown that in the scalar case (30) doesn’t even hold for uniformly elliptic and smooth coefficient fields ([14], Proposition 21): For every \(\varepsilon >0\), there exists indeed a smooth \(a\in \Omega \) and an a-harmonic function u such that
. Moreover, in the case of systems, De Giorgi’s example (26) shows that a-harmonic functions can also (non trivially) vanish at infinity.
We postpone the proofs of (i), (ii) and (iii) to the Appendix.
This paper is organised as follows: In Sect. 4 we give the argument for Theorem 1, part (a) and (b). The core of the proof for part (a), i.e. when \(d>2\), is an \(L^2\)-off-diagonal bound for \(\nabla \nabla G_D\) and \(\nabla G_D\), in both space variables x and y and depending only on the dimension and the ellipticity ratio. It is mainly obtained through a duality argument à la Avellaneda-Lin ([3], Theorem 13) on standard energy estimates for solutions of \(-\nabla \cdot a\nabla u = \nabla \cdot g\), combined with an inner-regularity estimate for a-harmonic functions in the spirit of Lemma 4 of [5]. We stress here that this result is inspired by Lemma 2 of [5] and provides the new and pivotal ingredient for the first fundamental estimate for \(G_D\). This may be considered as the key ingredient for the whole argument of Theorem 1. Sobolev’s inequality allows to extend the previous estimates also for \(\nabla _y G_D\) and \(G_D\). Finally, with the aid of rescaling and dyadic decomposition arguments, from the off-diagonal estimate on \(\nabla \nabla G_D\) we also infer bounds for \(\nabla G_D\) and \(G_D\) close to the singularity \(x=y\).
In dimension \(d=2\), it is well known that the fundamental solution, i.e. the Green function for \(D= \mathbb {R}^d\), does not exist. We indeed restrict our attention to domains D which have at least one bounded direction: By substituting the scale-invariant Sobolev’s inequality, which holds only for \(d> 2\), with Poincaré-type inequalities, we may extend the arguments of part (a) to the two-dimensional case. We point out that the appeal to Poincaré-type inequalities introduces in the estimates for \(G_D\) and its derivatives a dependence also on the minimal bounded direction of D.
We stress that our assumptions on \(\Omega \) include in this set also very rough coefficient fields for which the existence of \(G_D\) is not a priori guaranteed. Therefore, we need to first approximate the problem (8), carry out and adapt to the approximate solution the aforementioned a priori bounds on \(G_D\), and then argue by standard weak-compactness of \(W^{1,q}_{loc}\)- spaces. We approximate (8) through an \(\varepsilon \)-perturbation of the operator \(-\nabla \cdot a \nabla \) with the hyper-elliptic termFootnote 2
and thus consider for \(\varepsilon > 0\), \(a\in \Omega \) and \(y\in \mathbb {R}^d\) the problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ32_HTML.gif)
The assumption (13) on the domain D and our understanding of the boundary conditions, i.e. that \(G_{\varepsilon , D}\) vanishes almost surely outside D or vanishes at infinity for \(D=\mathbb {R}^d\), imply that the same boundary conditions hold also for the higher-order derivatives up to index \(n-1\). For \(D=\mathbb {R}^d\), the Dirichlet conditions on the boundary turn into the requirement for every \(\partial ^{\alpha }u\) with \(0\le |\alpha | \le n-1\), to vanish at infinity. For \(n > \frac{d}{2}\), Riesz’s representation theorem ensures the existence of a unique weak solution \(G_{\varepsilon ,D}\) for every \(\varepsilon >0\), \(a\in \Omega \) and singularity point \(y\in \mathbb {R}^d\). Moreover, assuming \(n > \frac{d}{2} +1\) also implies that there exists a unique \(\nabla _yG_{\varepsilon , D}(a; \cdot , y)\) which solves the approximate problem for (11)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ33_HTML.gif)
In Sect. 5 we provide the proof of Corollary 1 and Corollary 2; In the first corollary we show that in the case of domains with at least one bounded direction and strongly elliptic coefficient fields we improve the estimates of Theorem 1 again by a duality argument which this time relies on a refinement of the standard energy estimate for solutions of \(-\nabla \cdot a\nabla u = \nabla \cdot g\) in domains which have a bounded direction. While the arguments of Theorem 1 and Corollary 1 are purely deterministic, in Corollary 2 we introduce a stationary ensemble \(\langle \cdot \rangle \) on \(\Omega \) and focus our attention on the fundamental solution G in \(d>2\) seen as a random map. The stationarity assumption on \(\langle \cdot \rangle \) provides an improvement of the estimates on G by upgrading the bounds of Theorem 1 from space-averaged in both variables x and y to annealed in a but pointwise in y. An a priori estimate for locally a-harmonic functions allows us to conclude the argument and obtain estimates averaged in a, but pointwise in x and y.
In the last section we present an alternative partial proof for Corollary 2 which makes use of the Fourier techniques developed in [8] and relies on a representation formula for the Fourier transform of the Green function. Finally, in the Appendix we give a self-contained proof of all the auxiliary results which are used in the arguments.
4 Proof of Theorem 1
Let \(a\in \Omega \) and \(D \subset \mathbb {R}^d\) be a generic open domain satisfying (13), with \(d \ge 2\). For a fixed \(y\in \mathbb {R}^d\) and \(\varepsilon >0\), we consider the approximate problem for (8) introduced in (32), i.e.
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ324_HTML.gif)
where \(\mathcal {L}_n\) is as in definition (31) and with n a fixed odd integer such that \(n > \frac{d}{2} +1\).
Definition 1
Let \(R>0\), and \(g \in [ L^{2}(\{ |x| < R \}) ]^d\). We say that \(u \in L^1_{loc}(\mathbb {R}^d)\) is a weak solution of
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ325_HTML.gif)
if
-
(i)
for all \(i=1,\ldots , d\), there exist weak \(\partial _i u, \partial _i^n u \in L^2(|x| < R)\);
-
(ii)
\(u = 0\) almost everywhere in \(\{|x| < R\}{\setminus }D\);
-
(iii)
for all v satisfying (i) and compactly supported in \(\{|x| < R\}\), it holds
$$\begin{aligned} \int \nabla v\cdot a \nabla u + \varepsilon \sum _{i=1}^d \int \partial _i^nv \ \partial _i^n u = -\int \nabla v \cdot g. \end{aligned}$$
Analogously we may consider solutions on outer domains by substituting in Definition 1 the domain \(\{|x| < R \}\) with \(\{|x| > R\}\).
We start with two variants of Lemma 4 of [5]; while this last one is a statement for ensembles of locally a-harmonic functions, the following Lemma 2 takes into account the new perturbation term \(\mathcal {L}_n\) and the more general domain D. If \(d >2\), then Lemma 3 is a further generalisation to the case of functions solving \(-\nabla \cdot a \nabla u + \varepsilon \mathcal {L}_n u=0\) on outer domains. We postpone the proofs of Lemma 2 and Lemma 3 to the Appendix.
Lemma 2
For a radius \(R > 0\) and \(a\in \Omega \), we consider a \(\sigma \)-finite measure \(\mu \) on functions u satisfying in the sense of Definition 1
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ34_HTML.gif)
with \(\varepsilon \ge 0\). Then we have
where the supremum runs over all linear functionals F bounded in the sense of
with v satisfying (i) and (ii) of Definition 1.
Lemma 3
Let \(d>2\). For a radius \(R > 0\) and \(a\in \Omega \), we consider a \(\sigma \)-finite measure \(\mu \) on functions u with finite Dirichlet energy in \(\{|x| >R\}\) and satisfying in the sense of Definition 1
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ37_HTML.gif)
with \(\varepsilon \ge 0\). Then we have
where the supremum runs over all linear functionals F bounded in the sense of
with v satisfying (i) and (ii) in the sense Definition 1 where the set \(\{|x| < R\}\) is substituted by \(\{|x| > R \}\).
Analogously to Theorem 1, \(\lesssim \) means \(\le C\) with a generic \(C=C(d,\lambda )\).
We remark that the inequalities
hold trivially by conditions (36) and (39) and duality (in \(L^2\)). Roughly speaking, Lemma 2 and Lemma 3 state that the previous inequalities remain true also if we exchange in the r.h.s. the order of the integration in \(\mu \) and the supremum over the functionals F.
We may refer to the result of Lemma 4 of [5], which corresponds to Lemma 2 with \(D= \mathbb {R}^d\) and \(\varepsilon =0\), as a compactness statement for ensembles of locally a-harmonic functions. Indeed, as we show in the appendix, inequality (35) actually follows by an inner regularity estimate which allows to control the energy of an a-harmonic function u in an interior domain by the \(L^2\)-norm on \(\{|x| < 2R\}\) of \((-\Delta _N)^{-\frac{l}{2}} u\) for any even \(l\in \mathbb {N}\). Here, \(-\Delta _N\) denotes the Laplacian with Neumann boundary conditions. This last estimate basically implies that in the space of locally a-harmonic functions, the local \(W^{1,2}\)-norm (the strongest norm which is meaningful to consider for weak solutions of a variable-coefficient and uniformly elliptic second-order operator) is actually equivalent to much weaker norms, provided we consider a slightly bigger domain. Therefore, in this sense we may say that the space of locally a-harmonic functions is “close” to being finite-dimensional, in which case all the norms are equivalent. The previous lemmas state similar compactness results in the case of the approximate operator \(-\nabla \cdot a \nabla + \varepsilon \mathcal {L}_n\).
Proof of Theorem 1
Throughout the whole proof we assume \(D \subset \mathbb {R}^d\) to be a generic open domain satisfying (13) which is also bounded in at least one direction if \(d=2\).
Step 1: Construction of the approximate family \(\{ G_{\varepsilon , D}(a; \cdot ,y)\}_{\varepsilon \downarrow 0}\). We start by showing that for every \(a \in \Omega \), \(D \subset \mathbb {R}^d\), \(\varepsilon >0\) and \(y\in \mathbb {R}^d\) there exist \(G_{\varepsilon ,D}(a, \cdot , y)\) and \(\nabla _yG_{\varepsilon }(a; \cdot , y)\), unique weak solutionsFootnote 3 respectively for the problem (32) and (33).
Given the Hilbert spaces
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ326_HTML.gif)
for \(d > 2\) and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ327_HTML.gif)
for \(d=2\), the bilinear form \(B: \mathcal {X} \times \mathcal {X} \rightarrow \mathbb {R}\)
is bounded thanks to (3) and coercive in the sense of
thanks to (4).
Let us first consider the case \(d>2\): Sobolev’s embedding implies that
i.e. B is non-degenerate. We now argue that B satisfies for every \(u \in \mathcal {X}\)
Thanks to the coercivity condition (40), inequality (42) is implied by
which can be restated by passing to dual (i.e. Fourier) variables k as
By Cauchy–Schwarz’s inequality, it holds
As the conditions \(n> \frac{d}{2} + 1 > \frac{d}{2}\) and \(d > 2\) imply that
from (44) we obtain (43) and thus (42). Inequality (42) in particular yields that for the linear functional \(F v := v(y)\), we have for every \(u \in \mathcal {X}\)
which implies by Riesz’s representation theorem that there exists a unique \(G_{D,\varepsilon }(a; \cdot , y) \in \mathcal {X}\) weakly solving (32). As we have shown that for every \(a\in \Omega \), the map \(D \ni y \rightarrow G_{\varepsilon , D}(a, \cdot ,y)\) is well defined, we now also show that for every \(a \in \Omega \) and \(y\in D\) there exists \(\nabla _y G_{\varepsilon , D}(a; \cdot , y)\), unique (weak) solutionFootnote 4 of (33). We appeal again to Riesz’s representation theorem: In this case, the linear functional that we need to bound with B is given by \(\tilde{F}(v) := \nabla v(y)\). Once again, thanks to the coercivity condition (40) we conclude the argument if we show that
or equivalently, by passing in Fourier variables, that
Similarly to (44), we estimate
and this time we appeal to \( n - 1 > \frac{d}{2}\) to ensure that
\(\square \)
Let us now assume that \(d=2\): Also in this case, by (3) and (4), B is respectively bounded and coercive in the sense of (40). Our assumption on D and the Dirichlet boundary conditions allow us to appeal to Poincaré’s inequality
and infer that B is non degenerate in the sense of (41). We note that once we prove that also in this case B satisfies inequalities (42) and (45), we may argue analogously to the case \(d>2\) and conclude that there exist unique \(G_{\varepsilon }(a, \cdot , y)\) and \(\nabla _yG_{\varepsilon }(a, \cdot , y)\) solving in D respectively (32) and (33) . The argument used above for (45) is still valid; to show (42), we observe that by Poincaré’s inequality and (40) it is enough to prove that
We rewrite the previous inequality in Fourier variables as
and estimate
Relying on our assumption \(n> \frac{d}{2} +1 > \frac{d}{2} \), we have that
and thus we infer (42).
In addition, we note that uniqueness and the symmetry of the operator \(- \nabla \cdot a \nabla + \varepsilon \mathcal {L}_n\), cf. (2), yield for all \(a\in \Omega \), \(z\in \mathbb {R}^d\), \(R> 0\), \(y \in \mathbb {R}^d\) and almost every \(x \in \mathbb {R}^d\) that
Moreover, we claim that for every compactly supported \(f \in L^2(\mathbb {R}^d)\) and every \(g \in L^{2}( \mathbb {R}^d)^d\), if \(u \in \mathcal {X}\) solves
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ50_HTML.gif)
in the sense of Definition 1, then we have the representation formula
By Hölder’s inequality it is immediate to show that for the linear functional \(F : \mathcal {X}\ni v \mapsto \int \nabla v \cdot g\) we have \(|F v|^2 \lesssim ||g||_{L^2}^2 B(v, v)\). Sobolev’s inequality for \(d> 2\) and Poincaré’s inequality for \(d=2\) imply that also \(F: \mathcal {X} \ni v \mapsto \int v f \) satisfies \(|F v|^2 \lesssim ||f||_{L^2}^2 B(u, u)\). Therefore, by Riesz’s representation thoerem, there exists a unique solution in \(\mathcal {X}\) of (50). It thus remains to show that the r.h.s. of (51) solves the equation: An application of Hölder’s inequality, together with the assumptions on f, g and the fact that \(G_{\varepsilon , D}(a; \cdot , y) \in \mathcal {X}\), implies that u in (51) is well-defined and belongs to \(\mathcal {X}\). By (32) and (33), u satisfies the boundary conditions and for every \(v \in \mathcal {X}\) we have
We thus established (51).
Step 2: Uniform bounds for \(\{G_{\varepsilon ,D}\}_{\varepsilon >0}\) if \(d>2\). We presently argue that the family \(\{G_{\varepsilon , D}(a, \cdot , \cdot )\}\) constructed in the previous step satisfies (14)–(15), and (16)–(17)–(18). By the properties (48)–(49), without loss of generality it is sufficient to fix \(z=0\) and \(R=1\), i.e. to prove that for all \(\alpha > d-2\),
and that for every \(1 \le p < \frac{d}{d-2}\) and \(1 \le q < \frac{d}{d-1}\)
For a given \(L^2\)-vector field g with support in \(\{|x| > 2 \}\cap D\), the solutionFootnote 5 of
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ328_HTML.gif)
satisfies by (4) the energy estimate \(\lambda \int |\nabla u|^2 \le \int |g|^2\). In addition, since by Hölder’s inequality
and the scale-invariant Sobolev Inequality
we have that
and thus infer
Thus, the previous estimate and the energy estimate respectively yield, thanks to the representation formula (51), that
We now apply Lemma 3 to the families \(\{ G_{\varepsilon , D}(a; \cdot , y)\}_{|y|< 1}\) and \(\{\nabla _yG_{\varepsilon , D}(a; \cdot , y) \}_{|y|< 1}\), with functionals given by \(\int \cdot g\) and measure \(\mu ( dy)= dy_{| \{ |y|< 1 \}}\). We specify that we are allowed to use Lemma 3 on both families since, by the previous step, they respectively solve the problems (32) and (33) and thus are a-harmonic in \(\{|x|> 2\}\cap D\) for (\(\mu \)-)almost every y such that \(|y|<1\). Therefore, from (57) and (58) we get
which implies the bounds (52) and (56).
We now turn to inequality (53): By the shift invariant property (48) and the invariance under scaling of the previous argument, it follows from (59) that for all \(w \in \mathbb {R}^d\) and \(r > 0\) it holds
We appeal to the scale-invariant Sobolev Inequality in the exterior domainFootnote 6 \(\{|x-w| > 8r \}\) to obtain from (61) that
Thus, Hölder’s inequality in the x-variable yields
We now cover the ball \(\{ |y|<1 \}\) with the union of smaller balls of radius \(0< r < 1\), each of them centred in \(n \sim r^{-d}\) points \(\{w_i\}_{i=1}^n\) of the lattice \(\frac{r}{\sqrt{d}} \mathbb {Z}^d\). Then, estimates (63) and (60) yield
It follows from this that for any \(\alpha > d-2\) and \(0< r < 1\)
Since \(\alpha -(d-2)>0\), summing over dyadic annuli in the x-variable we infer
and thus (53).
We now claim that from (53) we obtain (55): If we smuggle in (55) the weight \(|x-y|^{\frac{\alpha }{2} q}\) and apply Hölder’s inequality first in x and then in y, we get
and thus (55), as our assumption \(1 \le q < \frac{d}{d-1}\) ensures that there exists an \(\alpha > d-2\) such that
It only remains to establish (54): We first observe that if we prove an analogy of (63) for \(G_{\varepsilon , D}\), namely that for \(r > 0\)
then by a scaling and covering argument similar to the one in (64) and (65) for \(\nabla G_{\varepsilon ,D}\) and \(\nabla _y G_{\varepsilon ,D}\), we infer
and thus, for any \(\alpha > d-4\),
From the previous inequality, we argue as for (55) and obtain that for \(1 \le p < \frac{d}{d-1}\)
We thus established inequality (54) with \(1 \le q < \frac{d}{d-1}\). To extend the range of the admissible exponents, we apply Poincaré–Sobolev’s inequality
and thus estimate
Appealing to inequalities (67) and (55) we get for every \(1 \le p < \frac{d}{d-1}\)
and therefore the bound (54) also for \(\frac{d}{d-1} \le q < \frac{d}{d-2}\).
We thus only need to prove (66): By the scaling property (48) we may fix \(r=1\). We apply Sobolev’s inequality in the outer domain \(\{ |x| > 8\}\) to get from (59)
and then combine this with Hölder’s inequality in the x-variable to conclude
Step 3: Uniform bounds for \(\{G_{\varepsilon ,D}\}_{\varepsilon >0}\) if \(d=2\). As in the case \( d > 2\), we prove for the approximate family \(\{G_{\varepsilon ,D}\}_{\varepsilon >0}\) the bounds (14)–(15) and (18)–(16)–(17). It suffices, by property (48), to fix \(z=0\). To show (18), we may use the same argument of Step 2: For a given \(L^2\)-vector field g with support in \(\{|x|<2\}\cap D\), the solutionFootnote 7 of
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ329_HTML.gif)
satisfies by (4) the energy estimate \(\lambda \int _D |\nabla u|^2 \le \int |g|^2\) and yields, thanks to the representation formula (51),
We now apply Lemma 2 to the family \(\{\nabla G_{\varepsilon , D}(a; x, \cdot ) \}_{\{|x|> 4\}\cap D}\), with functionals given by \(\int \cdot g\) and measure \(\mu ( dx)= dx_{\{|x|> 4\}\cap D}\). We observe that we are allowed to use Lemma 2 on this family since, by (47), we can identify
with \(\nabla _xG_{\varepsilon , D}(a; \cdot , x)\) constructed in Step 1 (with exchanged roles of the x and y variable). It follows from (33) that for \(x\in \mathbb {R}^d\) with \(|x|> 4\), \(\nabla _xG_{\varepsilon , D}(a; \cdot , x)\) is solution of (37) in the domain \(\{|y|< 2\} \cap D\). Therefore, from (68) we get by Lemma 2 the desired bound (18). We remark that since the scale invariant Sobolev’s inequality is no more available for \(d=2\) we cannot infer also (62). Appealing to our assumption on D to have at least one bounded direction, we may use as a replacement for Sobolev’s inequality the following version of Poincarè–Sobolev’s estimate:Footnote 8 Let \(D\subset \mathbb {R}^2\) be open and having at least one bounded direction. Then, for every \(2 \le p < +\infty \), \(z\in \mathbb {R}^2\) and \(R>0\), it holds
for every \(u \in W^{1,1}_{loc}(\mathbb {R}^2)\) and such that \(u =0\) almost everywhere outside D. Here, the constant depends on the size of the smallest bounded component of D.
With the same reasoning used in Step 2, once that we show that for every \(\delta > 0\), \(z\in \mathbb {R}^2\) and \(r>0\) we have
it follows by a covering argument, that
and thus that for every \(\alpha > d-2 = 0\)
and for every \(\alpha > d-4 = -2\)
We may analogously argue for a general radius R and establish (72)–(73), and thus bound (14) for any \(R> 0\). As shown in Step 2, these estimates also yield (16)–(17) by the standard Poincaré–Sobolev Inequality.
We now give the argument for (70) and (71): Inequality (69) on \(\nabla _yG_{\varepsilon , D}(a, \cdot , y)\) yields for every \(2 \le p < +\infty \)
and thus by Hölder’s inequality in \(\{4R< |x-z|< 8R \}\) also
Since the exponent p can be chosen arbitrarily large, we obtain (70) for \(\nabla _yG_{\varepsilon , D}\).
We now observe that
for every w and z such that \(\{5R< |z-w| < 7R\}\). Indeed, this is implied by (74) and the inclusion
For a fixed \(w \in \mathbb {R}^d\), we choose \(n \lesssim 1\) balls of radius R which cover the annulus \(\{ 5R< |y-w| < 7R\}\) and whose centres \(\{ z_i\}_{i=1}^n\) are contained in \(\{5R \le |z-w| \le 7R \}\). Thus, from the previous inequality we infer
By switching the labels x and y and using the symmetry property (47), this may be rewritten as
i.e. inequality (70) thanks to the arbitrariness of \( 2\le p < +\infty \).
It thus remains to prove (71): By Poincaré’s inequality in the x-variable we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ76_HTML.gif)
Therefore, thanks to (70), we conclude (71) once that we show that the second term on the r.h.s. of (76) satisfies for \(\delta >0\)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ77_HTML.gif)
To do so, let us fix p and consider any function \( g \in L^{2}( \mathbb {R}^d)\) with supp\((g) \subset \{ |x| < R\}\cap D\). Let u be the solution of
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ330_HTML.gif)
The energy estimate
together with Hölder’s inequality for \( 2 \le p < +\infty \)
and the standard Poincaré–Sobolev’s inequality
yields
Applying again Hölder’s inequality in \(\{|x| < R \}\) and the Poincaré–Sobolev’s inequality stated above, the previous estimate also implies that
By the representation formula (51), estimate (78) can be rewritten as
so that Jensen’s inequality implies
The arbitrariness of g allows to argue by duality that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ79_HTML.gif)
i.e. the desired bound (77) thanks to the arbitrariness of \(2 \le p < +\infty \).
At last, we prove that the bound (18) implies (15): Modulo a change of coordinates, we may assume \(D \subset I \times \mathbb {R}\), with I a bounded interval. Moreover, since by construction for almost every \(y \notin D\), \(G_{\varepsilon , D}(a; \cdot , y)=0\) almost surely in \(\mathbb {R}^2\), we reduce ourselves to those \(z\in \mathbb {R}^2\) and \(R>0\) such that \(\{|y-z| < R\}\cap D \ne \emptyset \) and, without loss of generality we fix \(z=0\). Therefore, for every \(R \gtrsim _D 1\) the rectangle \(I \times (-2R, 2R)\) is such that
and thus
Since by (47) and (33) the application \(\nabla G_{\varepsilon , D}(a ; x, y)\) vanishes outside D we may apply Poincaré’s inequality in \(I \times (-2R, 2R)\) and get from the previous inequality
and thus also
Step 4: Existence of \(G_D(a, \cdot ,\cdot )\). In this final step we do not distinguish between the cases \(d>2\) and \(d=2\). The uniform bounds (in \(\varepsilon \)) (18)–(14) and (16)–(17) for the family \(\{G_{\varepsilon , D}(a ; \cdot , \cdot ) \}_{\varepsilon \downarrow 0}\) allow us to argue by weak-compactness that, modulo a subsequence, for \(1 \le q < \frac{d}{d-1}\)
Since \(G_{D}(a; \cdot , \cdot ) \in \ W^{1,q}_{\mathrm{loc}}(\mathbb {R}^{d} \times \mathbb {R}^{d})\) with \(G_{D}(a; \cdot , \cdot ) \equiv 0\) outside \(D \times D\), it follows respectively that for almost every \(y\in \mathbb {R}^{d}\)
We now show that for almost every \(y\in \mathbb {R}^{d}\), the application \(G_{D}(a, \cdot , y)\) solves (8): By construction of \(G_{\varepsilon , D}\), it holds indeed that for almost every \(y\in \mathbb {R}^{d}\) and every \(\zeta \in C^{\infty }_0(D)\)
For every \(\rho \in C^\infty _0(\mathbb {R}^{d})\), the previous identity yields
so that for \(\varepsilon \rightarrow 0\), by weak convergence (80), we get
The arbitrariness of the test function \(\rho \in C^{\infty }_0(\mathbb {R}^{d})\) implies that for almost every \(y\in \mathbb {R}^{d}\)
We now appeal to the separability of \(C^\infty _0(D)\) with respect to the \(C^1\) topology to conclude that for almost every \(y\in \mathbb {R}^{d}\) and for every \(\zeta \in C^\infty _0(D)\)
i.e. for almost every \(y\in \mathbb {R}^{d}\) a solution \(G_{D}(a; \cdot , y)\) of (8) exists. Reasoning in the same way, from (33) and weak convergence (82) we also obtain that for every \(R >0\), \( z\in \mathbb {R}^{d}\) and almost every \(y \in \{|y- z|> 2R\}\), the function \(\nabla _yG_{D}(a; \cdot , y)\) solves
Furthermore, appealing to (80), (81) and (82) and the lower semiconinuity of the bounds (14)–(15), (18) and (16)–(17), we get that they hold also for \(G_{D}(a; \cdot , \cdot )\); in particular, inequalities (14)–(15) imply that \(G_{D}(a; \cdot , \cdot )\) satisfies bound (6) for any \(\alpha \in (d-2, d)\) as well as bound (7) for any \(R>0\) if \(d> 2\) and for any \(R \gtrsim _D 1\) if \(d=2\). Thus, \(G_D(a; \cdot ,\cdot )\) is the Green function for the domain D. By uniqueness (cf. Lemma 1) and symmetry of the operator \(-\nabla \cdot a\nabla \), cf. (2), we also have that for all \(a\in \Omega \), \(z\in \mathbb {R}^d\), \(R> 0\) and almost every \(x,y \in \mathbb {R}^d\) it holds
Remark 2
We observe that also for \(G_D\) holds a representation formula for weak solutions of
with \(f \in L^q(D)\), \(q>d\) and compactly supported. This may easily follow by uniqueness of the solution u (via Riesz’s representation theorem) and the fact that the function
is well defined and such that \(\nabla \hat{u} \in L^2( D)\), thanks to the bounds (15), (16) and (17). Note that \(\hat{u}\) weakly solves (90): This may be shown as for (51) first for smooth test functions and then extended by standard approximation.
We also have that for any \(f \in L^2(D)\) and \(g \in [L^2( D)]^d\) with compact support, the weak solution of
admits the representation
whenever x is outside the support of both g and f. We first consider the family \(\{ u_\varepsilon \}_{\varepsilon > 0}\) of solutions to the approximate problems (50) with the same r.h.s. : By standard weak-compactness arguments, (up to a subsequence) \(\{ u_\varepsilon \}_{\varepsilon > 0}\) weakly converge in \(W^{1,2}_{loc}(D)\) to the solution u of (91). We thus conclude the identity above by using (51), together with (81)–(82), and the uniqueness of the (weak) limit.
5 Proof of Corollary 1 and 2
Proof of Corollary 1
Let \(D\subset \mathbb {R}^d\) with \(d \ge 2\) be as in the statement of Corollary 1. Modulo a change of coordinates, we can assume that there exists a bounded interval \(I \subset \mathbb {R}\) such that \(D \subset I \times \mathbb {R}^{d-1}\). In addition, without loss of generality we may suppose that \(|I|=1\): It will become clear along the proof that the estimates obtained depend on the size of I. For \(I \times \mathbb {R}^{d-1}\) as above, we write \(\bar{x}= (x_1, x^{\prime }) \in I \times \mathbb {R}^{d-1}\). \(\square \)
The main ingredient for the argument of Corollary 1 is the following elliptic regularity result ([27], Lemma 2.2), adapted to elliptic systems with Dirichlet boundary conditions. We postpone its proof to the Appendix.
Lemma 4
Let D be as introduced above, and \(a\in \Omega \) such that it satisfies (5). For \(g\in L^2(D)^{d}\), let u solve (in the sense of Definition 1 with \(\varepsilon =0\) and \(R= +\infty \))
Then, there exists a constant \(C_0\) depending on d, \(\lambda \) (and the size of I) such that for any \(x^{\prime }_0 \in \mathbb {R}^{d-1}\), it holds
We start by claiming that the previous lemma, together with an application of Lemma 2, yields (19). More precisely, we have for every \(z\in \mathbb {R}^d\) and \(R > 0\) that
with \(C_0\) as in Lemma 4. Indeed, for a vector field \(g\in L^2(D)^{d}\) with supp\((g) \subset \{|{x}- z| < 2R \}\cap D\), we apply Lemma 4 with \(x_0^{\prime } =z^{\prime } \) to the solution of
and obtain, by using the formulas of Remark 2 in (92), that
We now apply to (94) Lemma 2, this time in the case \(\varepsilon = 0\), with functionals given by \(\int g\), measure \(\mu (dy)= \exp {\left( \frac{|y^{\prime }-z^{\prime }|}{C_0}\right) } dy|_{\{| y- z|> 4R\}}\) and to the family of functions \(\{\nabla G_{D}( a; y, \cdot )\}_{\{| y- z|> 4R\}}\), a-harmonic in \(\{ | x- z| < 2R \} \cap D\) by (87) and (86). From (94) we thus infer
which implies inequality (93) since for \(R \gtrsim _D 1\) it holds the inclusion
To obtain also (20) we argue similarly to Step 3. of Theorem 1; we first tackle the bound for the gradient of \(G_D\): Without loss of generality we may reduce ourselves to consider the case \(\{|x-z| <R\}\cap D \ne \emptyset \) and fix \(z=0\). For every \(R \gtrsim _D 1\) the rectangle \(I \times (-2R, 2R)^{d-1}\) is such that
and thus
Since by (87) and (32) the application \(\nabla G_{\varepsilon , D}(a; x, y)\) vanishes outside D, we may apply Poincaré’s inequality in \(I \times (-2R, 2R)^{d-1}\) and get from the previous inequality that
and thus that
This trivially yields (20) for \(\nabla G_D\).
The bound (20) for \(G_D\) follows from (96) by an application of Poincaré’s inequality, this time in the domain \(\{|x-z|> R\}\cap D\).Footnote 9
Proof of Corollary 2
Throughout this proof we assume \(d > 2\) and recall that, for \(a \in \Omega \),we adopt the notation \(G(a, \cdot ,\cdot )\) for the Green function for the whole space \(\mathbb {R}^d\).
Step 1: \(\langle \cdot \rangle \)-almost sure solutions of (8) and (11). We show that with the additional structure \(\langle \cdot \rangle \) on \(\Omega \), it holds that
and for every \(R>0\), \(z\in \mathbb {R}^d\), almost every \(x,y \in \mathbb {R}^d\) and \(\langle \cdot \rangle \)-almost every \(a\in \Omega \),
In other words, we prove that the ensemble on \(\Omega \), chosen to be such that the \(L^1(\Omega )\) space is separable (cf. Sect. 2), allows to exchange in (8) and (11) as well as (87), (88) and (89) the order of the quantors a and x, y. This will be useful in the next steps, when we treat \(G(\cdot ; \cdot , y)\) and \(\nabla _yG(\cdot ; \cdot , y)\) as almost sure solutions of respectively (8) and (11).
From Theorem 1, we have that for every \(\phi \in L^1(\Omega )\) and \(\zeta ,\rho \in C^\infty _0(\mathbb {R}^d)\) it holds
or equivalently by Fubini’s theorem,
As the test function \(\rho \in C^{\infty }_0(\mathbb {R}^d)\) is arbitrary, we infer that for almost every \(y\in \mathbb {R}^d\)
Since the space \(L^1(\Omega )\) is separable, it also follows that for almost every \(y\in \mathbb {R}^d\) and \(\langle \cdot \rangle \)-almost every \(a\in \Omega \)
We now appeal to the separability of \(C^\infty _0(\mathbb {R}^d)\) with respect to the \(C^1\) topology, to conclude that for almost every \(y\in \mathbb {R}^d\), \(\langle \cdot \rangle \)-almost every \(a\in \Omega \) and for every \(\zeta \in C^\infty _0(\mathbb {R}^d)\),
i.e. claim (97). With an analogous argument, from (86) we also prove (98). \(\square \)
In a similar way we obtain identities (99), (100) and (101): We show the argument only for (101) since the arguments for the other two are analogous. Identity (89) with a fixed \(R>0\) yields for any triple \(\phi \in L^1(\Omega )\), \(\zeta ,\rho \in C^\infty _0(\mathbb {R}^d)\)
with \(\hat{\ }: \Omega \rightarrow \Omega \) such that \(\hat{a} (\cdot ):= a(R \,\cdot )\). By Fubini’s theorem we may exchange the order of integration in the previous identity and obtain that
Therefore, separability of \(L^1(\Omega )\) yields that for almost every \(x, y \in \mathbb {R}^d\) and \(\langle \cdot \rangle \)-almost every \(a\in \Omega \), identity (101) holds.
Step 2: Spacially averaged annealed bounds. We argue that for almost every \(y\in \mathbb {R}^d\) and \(R>0\)
We claim that it is sufficient to prove (103),(104) and (105) for \(R =1\): Let us assume for instance that (103) holds for a \(R = 1\), namely that
Since for almost every \(x,y \in \mathbb {R}^d\), \(\langle \cdot \rangle \)-almost every \(a\in \Omega \) and every countable set of radii \(\mathcal {R}\) identity (101) holds, we may infer from (106) that for almost every \(y\in \mathbb {R}^d\), bound (103) is true for every \(R \in \mathcal {R}\). We now show that with an appropriate choice of \(\mathcal {R}\), we extend (103) to any \(R>0\): Picking
for every \(R>0\) there exist \(R_1, R_2 \in \mathcal {R}\) such that \(R_1 \le R \le R_2\) with \(\frac{R}{R_1}, \frac{R_2}{R} \le 2 \). Thus
The same reasoning holds for (104) and (105). Moreover, since the previous argument may be adapted to any fixed \(R \simeq 1\), for convenience in the next estimates, we prove (103),(104) and (105) with \(R=3\).
We start with inequality (105): We claim that it is enough to prove that for almost every \(y\in \mathbb {R}^d\) and \(\delta<<1\),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ107_HTML.gif)
Indeed, using (18) we may send \(\delta \rightarrow 0\) and conclude by Lebesgue Differentiation Theorem.
We thus prove (107): We take the average \(\langle \cdot \rangle \) into inequality (18) with \(z=y\), \(R= 2\) and, after integrating in the x and \(y^{\prime }\)-variables, we obtain
and also
We now consider \(n \sim \delta ^{-d}\) disjoint balls of radius \(\delta<< 1\) centred in \(\{w_i\}_{i=1}^{n}\) points and contained in the unitary ball centred at the origin: The previous inequality yields
Moreover, thanks to (100) and stationarity, we rewrite the l.h.s. of the previous inequality as
and, by the change of coordinates \(x= x-w_i\) and \(y^{\prime }= y^{\prime }- w_i\), as
Inserting this into the l.h.s. of (110) allows to conclude (107) and thus establish (105).
The bound (104) for \(\nabla G\) follows analogously from inequality (15). To show (104) also for \(\nabla _y G\) we use Sobolev’s inequality in \(\{|z-y|> 2 \}\)
together with Hölder’s inequality
and get
Since as we argue above we may assume that (101) holds for almost every \(x, y \in \mathbb {R}^d\), \(\langle \cdot \rangle \)-almost every \(a\in \Omega \) and on a countable set of radii, we infer that from the above inequality we have also for every \(n \in \mathbb {N}\) that
so that summing over \(n\in \mathbb {N}\) we conclude (104) also for \(\nabla _y G\). Inequality (103) follows from (104) for \(\nabla G\), again by Sobolev’s and Hölder’s inequality.
Step 3: Spatially pointwise estimates. We now post-process (103), (104) and (105) to obtain (21), (22) and (23). Reasoning as in Step 2, without loss of generality it suffices to prove (21), (22) and (23) for almost every \(x,y \in \mathbb {R}^d\) with \(10< |x-y| < 12\). Let \(w \in \mathbb {R}^d\) be fixed; We claim that if \(u(a;\cdot )\) is a-harmonic in \(\{|y-w| \le 8 \}\) for \(\langle \cdot \rangle \)-almost every \(a\in \Omega \), then for almost every \(y \in \mathbb {R}^d\) with \(|y-w|<1\), it holds
Before proving (112), we show how to conclude the argument for (21), (22) and (23). We start with (21): By symmetry (99) and (97), for almost every \(x \in \mathbb {R}^d\) and \(\langle \cdot \rangle \)-almost every \(a\in \Omega \) the application \(u(a;\cdot )=G(a;x,\cdot )\) is a-harmonic in \( |x-y| > 2\). Moreover, since we may select in this domain \(N \lesssim 1\) balls of radius 8, centred in \(\{ w_i\}_{i=1}^N\) points such that their union covers the annulus \(10< |x-y| < 12\), estimate (112) yields that for almost every y such that \(\{10< |x-y| < 12\}\)
In addition, by the inclusion
we conclude from the previous inequality that
i.e. bound (21).
In order to have also (22)–(23), we consider \(u(a;y)={\nabla }G(a;x,y)\) which, thanks to symmetry (99) and (98), for almost every \(x\in \mathbb {R}^d\) and \(\langle \cdot \rangle \)-almost every \(a\in \Omega \) is a-harmonic in \(\{|y-x| > 2\}\). Therefore, reasoning as for bound (21), we may apply estimate (112) to this choice of u and get that for almost every y such that \(\{10< |x-y| < 12\}\)
We now argue that (112) is implied by the following deterministic result: Let \(w \in \mathbb {R}^d\) and a family of applications \(\{u(a; \cdot )\}_{a\in \Omega }\) a-harmonic in \(\{|y-w| < 8\}\)- Then for any fixed \(a\in \Omega \) we have for almost every \(\{|y-w|<1\}\)
and
Indeed, arguing again by separability of \(L^1(\Omega )\), we also infer that the previous bounds hold for almost every \(y\in \mathbb {R}^d\) such that \(|y-w| <1\) and for \(\langle \cdot \rangle \)-almost every \(a\in \Omega \). Therefore, we may take in (113) and (114) the expected value, use Cauchy–Schwarz’s inequality in \(\langle \cdot \rangle \) and estimate
Inequality (112) follows by (103), (104) and (105).
It thus only remains to tackle (113) and (114): Without loss of generality, let us fix \(w=0\). For a cut-off function \(\eta \) of \(\{|y|\le 3\}\) in \(\{|y|\le 5\}\) we may defineFootnote 10
and have, by our assumption that \(u(a; \cdot )\) is a-harmonic in \(\{|y| < 8 \}\), that
Hence, the representation formula (see Remark 2) yields for almost every y with \(|y|<1\) that
By definition of \(\eta \), v, f, and g together with conditions (4)–(3), Hölder’s inequality implies that
6 Fourier approach
Here we summarise how the Fourier method developed in [8] can be used to prove Corollary 2 provided the system is uniformly elliptic, so we shall assume that both (3) and (5) hold. The method is based on a representation of the Fourier transform of G in terms of a function \(\Phi :\Omega \times \mathbb {R}^d\rightarrow \mathcal {L}(Y^d,Y)\), which satisfies an elliptic PDE on \(\Omega \).
To define the PDE for \(\Phi \) we introduce some notation. First observe that \(\xi \in \mathbb {R}^d\) can be regarded as being in the space \(\mathcal {L}(Y,Y^d)\). In that case we denote its adjoint by \(\xi ^*\in \mathcal {L}(Y^d,Y)\). Similarly the gradient operator D acts on functions \(F:\Omega \rightarrow Y\) to yield a function \(DF: \Omega \rightarrow Y^d\) with \((DF)_i:= D_iF\) for \(i=1,\ldots ,d\) defined as
with \(e_i\) denoting the standard ith-versor in \(\mathbb {R}^d\). We denote by \(D^*\) the corresponding divergence operator, which takes a function \(F:\Omega \rightarrow Y^d\) to a function \(D^*F: \Omega \rightarrow Y\). Using this notation, the function \(\Phi \) is the solution to the equation
where \(\mathcal {P}\) is the projection operator on \(L^2(\Omega )\) orthogonal to the constant. We can see using (5) that the function \(a\rightarrow (D-i\xi )\Phi (a,\xi )\in \mathcal {L}(Y^d,Y^d)\) is in \(L^2(\Omega ,\mathcal {L}(Y^d,Y^d))\). To do this we apply the adjoint \(\Phi (a,\xi )^*\in \mathcal {L}(Y,Y^d)\) to (115) and take the expectation. This yields the inequality
Next we define a function \(q:\mathbb {R}^d\rightarrow \mathcal {L}(Y^d,Y^d)\) by
Then from (4), (5) it follows that \(q(\xi )\) is Hermitian for \(\xi \in \mathbb {R}^d\) and
From (118) we conclude that \(\xi ^* q(\xi )\xi \in \mathcal {L}(Y,Y)\) is invertible provided \(\xi \ne 0\).
Generalising the representation of [8] (see equation (2.4) of [8] or equation (8.1) of [9]) to the case of systems, we see that \(\nabla _x G(a;x,y)\) is given by the Fourier inversion formula
Let \(\mathcal {H}\) be a Hilbert space with norm \(\Vert \cdot \Vert \) and consider functions \(f:\mathbb {R}^d\rightarrow \mathcal {H}\). For \(1\le p<\infty \) we define the weak spaces \(L_w^p(\mathbb {R}^d,\mathcal {H})\) in the usual way. That is \(f\in L_w^p(\mathbb {R}^d,\mathcal {H})\) if
The norm of f, which we denote by \(\Vert f\Vert _{w,p}\), is the smallest constant C for which (120) holds. The following lemma can be proved in the the same way as Lemma 3.5 of [8].
Lemma 5
Let \(\mathcal {H}=L^2(\Omega ,\mathcal {L}(Y^d,Y^d))\) and \(f:\mathbb {R}^d\rightarrow \mathcal {H}\) be the function
where \(n=(n_1,\cdots ,n_d)\) satisfies \(0<|n|<d/2\). Then \(f\in L_w^p(\mathbb {R}^d,\mathcal {H})\) with \(p=d/|n|\) and \(\Vert f\Vert _{w,p}\le C_d(\lambda )\), where the constant \(C_d(\lambda )\) depends only on \(\lambda \) and d.
Comments on Lemma 5.
We give below the main ideas to prove Lemma 5 as in [8] (Lemma 3.5). We use a scalar notation, but all the arguments and techniques hold also for systems. The proof mainly relies on the representation formula for \(\Phi \) [see Lemma 3.2 in [8]]
where
if \(\rho \) is a random variable \(\rho : \Omega \rightarrow \mathbb {R}^d\) and \(b= I-a\). This can be obtained from (115) by a standard perturbation argument applied to the operator \((D^*+i\xi ^*)a(D-i\xi )\). Being \(||T_{b,\xi }||\le ||b||_{L^\infty (\Omega )}<1\), (122) is well defined and its Neumann series converges. Moreover, derivatives with respect to \(\xi \) of (123) can be explicitly written as
Note that in a rigorous formulation, to assure the convergence of the integrals in (123), one should first work with the massive Green function \(G_T\) associated to the operator \(T^{-1} - \nabla \cdot a \nabla \) ([18], Definition 2.4) and then pass to the limit \(T \rightarrow +\infty \) and obtain G. To keep notation lean, we neglect this issue. For the same reason, we restrict our attention to the case \(d=3\).
Due to (122) and (124), \(f(\xi )\) in (121) is equal to a sum of terms containing derivatives as in (124). Hence, for \(d=3\) we get (\(|n|=1<\frac{3}{2}\))
More precisely, each term on the r.h.s. of (125) may be rewritten an operator acting on \(\partial _{\xi _i}\left[ \hat{G}(I;\xi ,0)\xi _j\xi _k\right] \in L^3_w(\mathbb {R}^3)\), i.e.
Lemma 5 follows once it is proved that \(\mathcal {S}^1\) and \(\mathcal {S}^2\) are bounded from \(L^p_w(\mathbb {R}^3)\) to \(L^p_w(\mathbb {R}^3, L^2(\Omega ))\) for every \(p\in (2,+\infty )\). The most challenging operator is \(\mathcal {S}^2\): The one associated to the second term on the r.h.s. of (125), where the derivative falls on \((1-\mathcal {P}T_{b,\xi })^{-1}\). To deal with it, it is convenient to first prove its boundedness from \(L^p(\mathbb {R}^3)\) to \(L^p(\mathbb {R}^3, L^2(\Omega ))\) for \(p\in \{2,+\infty \}\) and then use Hunt’s interpolation theorem. The case \(p=+\infty \) follows by an application of Bochner’s theorem (cf. [8], formula (3.14)), while for \(p=2\) the main idea relies on the fact that \((1-\mathcal {P}T_{b,\xi })^{-1}\) can be written in Neumann series and every term can be explicitly expressed. Once explicit, one can recognise that each term acts on a function by essentially taking multiple convolutions of its Fourier transform with the Hessian of the standard Green function G(I; x, y). Such a convolution kernel does not increase the (Frobenius) norm of the function.
A generalisation to higher dimensions is in the same spirit but has to deal with more involved operators \(\mathcal {S}^{1}, \mathcal {S}^2,\ldots \mathcal {S}^N\) (for \(N=N(d)\)). The upper bound for the number of derivatives |n| is related to the strict condition \(p>2\) which ensures the boundedness of the operators between the \(L^p\)-weak spaces (see Lemma 3.7 and Lemma 3.9 in [8]).
The following lemma implies (104) of Corollary 2 provided d is odd. In order to prove (104) when d is even we would need to extend Lemma 5 to include fractional derivatives, something that is also required in [8].
Lemma 6
Let \(d\ge 3\) and \(n=(n_1\ldots ,n_d)\) be a non-negative integer tuple such that \(d/2-1<|n|<d/2\). Then for any \(R>0\) there exists a constant \(C_d(\lambda )\) depending only on \(\lambda ,d\) such that
Proof
We have from (119) on integration by parts that
Taking \(\mathcal {H}=L^2(\Omega ,\mathcal {L}(Y,Y^d))\), it follows from (117), (118) and Lemma 5 that \(f:\mathbb {R}^d\rightarrow \mathcal {H}\) is in \( L_w^p(\mathbb {R}^d,\mathcal {H})\) with \(p=d/|n|\), and \(\Vert f\Vert _{w,p}\le C_d(\lambda )\) for some constant \(C_d(\lambda )\) depending only on \(\lambda ,d\). Let \(\phi \) be a cut-off function for \(\{|x|<1\}\) in \(\{|x|<2\}\). Then from (129) we have that
It follows from (130) that
where \(g:\mathbb {R}^d\rightarrow \mathbb {R}^+\) is in \(L_w^p(\mathbb {R}^d)\) with \(p=d/|n|\).
We can estimate the RHS of (131) by using the inequality
where the constant \(C_q\) diverges as \(q\rightarrow p\). We consider for any \(A>0\) the integral
Taking \(q=1\) in (132), we see that the first term on the RHS of (133) is bounded by
where C is a constant depending only on d and \(\Vert g\Vert _{p,w}\). Taking \(p=d/|n|\), we see that the sum in (134) converges provided \(|n|<d-1\). If this is the case then the first term on the RHS of (133) is bounded by \(CA^{2(d-1-|n|)}R^{2(|n|+1)-d}\), where C depends only on \(\lambda ,d\). To estimate the second term in (133) we take \(q=2\) in (132). Thus it is bounded by
where C is a constant depending only on d and \(\Vert g\Vert _{p,w}\). Taking \(p=d/|n|\) as before, we see that the sum in (135) converges provided \(|n|>d/2-1\). We have therefore shown that if \(d/2-1<|n|<d/2\) then the LHS of (133) is bounded by \(CR^{2(|n|+1)-d}A^{2(d-1-|n|)}\), where C is a constant depending only on \(\lambda ,d\). Now using the fact that for any \(k=1,2,\ldots ,\) there is a constant \(C_k\) such that \(|\hat{\phi }(\zeta )|\le C_k/[1+|\zeta |^k]\), we conclude from (131) that (128) holds. \(\square \)
7 Appendix
Proof of Lemma 1
Let \(a\in \Omega \) and the domain D be fixed, and let us assume that \(G^{(1)}_D(a;\cdot ,\cdot )\) and \(G^{(2)}_{D}(a; \cdot , \cdot )\) are two Green’s functions. For the sake of simplicity, we skip the argument a in \(G_D^{(1)}\) and \(G_D^{(2)}\). We argue similarly to [18], Sect. A.3. : Let \(\rho \in C^{\infty }_0(\{|y| < 1\})\). For \(u := G^{(1)}_D- G^{(2)}_D\), we define for \(x,y \in \mathbb {R}^d\)
We first argue that for every \(y\in \mathbb {R}^d\),
By definition of u, it indeed holds that for almost every \(y^{\prime }\in \mathbb {R}^d\) and every \(\zeta \in C^\infty _0(D)\)
Multiplying this with \(\rho (y^{\prime } - y)\) and integrating in \(y^{\prime }\), we thus have for every \(\zeta \in C^\infty _0(D)\) that
i.e. for every \(y\in \mathbb {R}^d\), \(\hat{u}(\cdot , y)\) solves the Eq. (136). The boundary conditions are trivially satisfied since by definition of \(G^{(1)}\) and \(G^{(2)}\) we have
We now claim that for every \(y\in \mathbb {R}^d\) fixed it holds
We start by noting that since
after smuggling into the r.h.s. the weight \( \left( |x-y^{\prime }|^{\alpha } \wedge 1 \right) ^{\frac{1}{2}}\) and using Hölder’s inequality in the \(y^{\prime }\)-variable combined with \(\rho \in C^\infty _0(\{|y| < 1\})\), this may be estimated by
For \(i\in \{1,2 \}\), let \(\alpha _i < d\) be the exponent in the inequality (6) for \(G^{(i)}\). Without loss of generality, we assume that \(\alpha _1< \alpha _2 < d\) so that for every \(z\in \mathbb {Z}^d\) we have
Since \(\alpha = \alpha _2 <d\) we estimate for every \(x\in \mathbb {R}^d\)
we may reduce (138), with this choice of \(\alpha =\alpha _2\), to
and, by choosing \(z\in \mathbb {Z}^d\) such that \(\{|y^{\prime }-y|<1 \} \subset \{|y^{\prime } -z|<2\}\), to
We now appeal to (6) and (7) to conclude (137).
Thanks to (137), we may test the Eq. (136) with \(\hat{u}(\cdot , y)\) itself, and obtain by (4) and (8), that \(\hat{u}(\cdot , y)=0\) almost everywhere in \(\mathbb {R}^d\). It thus follows by definition of \(\hat{u}\) that for every \(y\in \mathbb {R}^d\) and \(\zeta \in C^\infty _0(\mathbb {R}^d)\) we have
Therefore, by the arbitrariness of \(y\in \mathbb {R}^d\) and of both \(\zeta \in C^\infty _0(\mathbb {R}^d)\) and \(\rho \in C^\infty _0(\{|y| < 1\})\) we conclude that \(G^{(1)}_D= G^{(2)}_D\) for almost every \(x,y \in \mathbb {R}^d\). \(\square \)
Proof of Remark 1
We start by showing that (25) implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ140_HTML.gif)
if \(-\nabla \cdot a\nabla u=0\) in \(\{ |x|< 8R \}\). And that (28), together with (25), yields in addition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ141_HTML.gif)
From this, it immediately follows that u and \(\nabla u\) are bounded in \(\{|z|< R\}\), provided u has finite energy in \(\{|z| < 8R\}\).
To show (140) and (141), we use an argument similar to the one of Corollary 2, Step 3. Moreover, with a standard approximation argument we can assume that u and a are smooth. By scaling, without loss of generality we can reduce ourselves to consider the case \(R=1\). For a cut-off function \(\eta \) of \(\{|x|<2\}\) in \(\{|x|<4\}\), we haveFootnote 11
Therefore, since u is assumed a-harmonic, \(v:=\eta u\) satisfies in \(\{|x|<8\}\) the equation
By the representation formula and the choice of the cut-off \(\eta \), we get for almost every \(\{|x| < 1\}\)
and since
it also follows
for any constant \(c \in \mathbb {R}\). We now apply Hölder’s inequality in the integrals on the r.h.s. of the previous inequalities and obtain by (4) and the choice of the test-function \(\eta \)
and
Hölder’s inequality in \(\{2<|z|<4\}\) and Sobolev’s inequality in \(\{|z|>2\}\) imply
and analogously
where in the last identity we use the symmetry of G, cf. (87). By plugging the two previous inequalities in (144) and (145) respectively, we reduce to
By the assumptions \( |x| < 1\) and \(d>2\), we can appeal to (25) and (28) to respectively get
By choosing in the last estimate and applying Poincaré inequality in \(\{|z|< 4\}\), we conclude (141). To obtain (140) from the second to last inequality, we use that u is a-harmonic in \(\{|z|<8\}\) and apply the Caccioppoli’s estimate
This last one is proven by testing the equation \(-\nabla \cdot a\nabla u=0\) with \(\bar{\eta }^2 u\) where \(\bar{\eta }\) cuts \(\{|z| < 4\}\) in \(\{|z|<8 \}\) and usingFootnote 12
together with properties (4) and (3).
It remains to prove that (29) implies the Liouville property (30): Let us consider \(a\in \Omega \) smooth and let u solve \(-\nabla \cdot a\nabla u=0\) in \(\mathbb {R}^d\). Arguing analogously as for (141) (cf. also (145)), (29) yields for every \(r \le R\)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ331_HTML.gif)
and thus
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ332_HTML.gif)
for every \(R \ge 1\) and \(\beta \in [\frac{\alpha }{2} , 1)\). We now apply the rescaled Caccioppoli’s Inequality (146), namely
and get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ333_HTML.gif)
Therefore, the Liouville property (L) is obtained by sending \(R\rightarrow +\infty \) in this last inequality and by the arbitrariness of r. \(\square \)
Proof of Lemma 2
Using translation and scaling invariance, up to a relabelling of the domain D, an elementary covering argument shows that it is enough to establish (38) with radius R replaced by \(\frac{R}{\sqrt{d}}\). Therefore, it suffices to show the result with the inner ball \(\{|x|<\frac{R}{\sqrt{d}}\}\cap D\) replaced by the cube \((- R, R)^d\cap D\) and the outer ball \(\{|x|<2R\}\cap D\) in (39) by the cube \((-2R,2R)^d\cap D\). By scale invariance, again up to a relabelling of D, we may reduce to \((-\frac{\pi }{4},\frac{\pi }{4})^d \cap D\) and \((-\frac{\pi }{2},\frac{\pi }{2})^d \cap D\), respectively. Thus the proof boils down to showing that
where the supremum is taken over all linear functionals F satisfying
with v satisfying (i) and (ii) of Definition 1 in \((-\frac{\pi }{2},\frac{\pi }{2})^d\cap \partial D\). \(\square \)
We consider the Fourier cosine series coefficients
We observe that if we show that for any even \(l\in \mathbb {N}\) we have
then we conclude (150). Indeed, for every \(k\in \mathbb {Z}^d - \{0\}\), the linear functional \(\mathcal {F}u (k)\) has the boundedness property (151): since \(k\ne 0\), it holds for any \(c\in \mathbb {R}^d\)
Choosing , we may apply Poincaré’s inequality in \((-\frac{\pi }{2},\frac{\pi }{2})^d\) and thus get
and also (151) by renormalising the definition of the linear functionals given by (152). Hence, after integrating in \(\mu \), we may reformulate (153) as
Now picking \(l\in \mathbb {N}\) with \(l>\frac{d}{2}\) so that \(\sum _{k\in \mathbb {Z}^d-\{0\}}\frac{1}{|k|^{2l}}\lesssim 1\), we obtain (150).
We now turn to the argument for (153) and introduce the abbreviation \(\Vert \cdot \Vert \) for the \(L^2((-\frac{\pi }{2},\frac{\pi }{2})^d)\)-norm. Let \(\eta \) be a cut-off function for \((-\frac{\pi }{4},\frac{\pi }{4})^d\) in \((-\frac{\pi }{2},\frac{\pi }{2})^d\) with
The two ingredients for (153) are the interpolation inequality for any function v of zero spatial average and even \(l\in \mathbb {N}\)
and the Caccioppoli estimate
for \(m \ge 2n\).
Before proving (155) and (156) we show how to obtain (153) from them: We insert the Caccioppoli estimate (156) with \(m=n^2\) in the interpolation inequality (155) with , \(\eta \) replaced by \(\eta ^n\) and \(l=n-1\). Appealing to Young’s inequality we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ334_HTML.gif)
and thus inequality (153) by another application of the Caccioppoli estimate (156) and the choice of the support of \(\eta \).
To obtain the interpolation estimate (155), we rewrite it without Fourier transform, appealing to the representation of the Laplacian \(-\triangle _N\) with Neumann boundary conditions through the Fourier cosine series by \({\mathcal F}(-\triangle _N)w(k)=|k|^2{\mathcal F}w(k)\):
For (155) it thus suffices to show that for an arbitrary function w
It is easily seen that this family of interpolation estimates indexed by even l follows from the following two-tier family of interpolation inequalities indexed by \(m\in \mathbb {N}\)
and
Indeed, plugging (159) in (158) yields
and after an application of Young’s inequality
We apply once more Young’s inequality to the first to last term on the r.h.s and get
By iterating the previous estimates we conclude (157) from (158) and (159).
Obviously, the two-tier family (158)–(159) reduces to the two estimates
which by Young’s inequality follow from
Thanks to (154) and the choice of the support of \(\eta \), these two last estimates immediately follow from integration by parts, the Cauchy–Schwarz and the triangle inequalities.
In proving (156) we also introduce the notation \((\cdot , \cdot )\) for the usual \(L^2\)-inner product in \((-\frac{\pi }{2},\frac{\pi }{2})^d\). We first observe that by identity (147) in the proof of Remark 1 and properties (4) and (3), it holds for any test function \(\bar{\eta }\) in \((-\frac{\pi }{2},\frac{\pi }{2})^d\)
We now test (37) with \(\eta ^{2m}(u-c)\); by the invariance of the equation under translations, we may fix without loss of generality \(c=0\). Thanks to the cut-off function \(\eta \), we obtain
and by (160)
This last inequality implies (156) provided that we have that for every \(i= 1,\ldots , d\) it holds
To simplify the notation, we drop the index i. We claim that to obtain (162) it is sufficient to show that
Indeed, the l.h.s of (162) can be estimated from below by
and after an application of Cauchy–Schwarz’s inequality followed by Young’s inequality, by
We now may plug (163) with \(\alpha = l= i\) and \(k= n-i\) in the terms of the sum in (164) and apply Young’s inequality to conclude (162).
Inequality (163) is implied by the interpolation estimate
for all \(l \ge 1\), combined with an iterated application of Young’s inequality, similar to the one used to infer (157) from (158)–(159). We prove (165) by induction on l: For \(l=1\), we estimate
and use Cauchy–Schwarz’s inequality to get
Young’s inequality yields
i.e. (165) with \(l=1\). Let us now assume that (165) holds for every \(i \le l\) and \(l > 1\): First using (165) with \(i=1\), we have
then, another application of (165) with \(i=l\) on \(||\eta ^{(\alpha +1)}\partial ^2 u||\) yields
By Young’s inequality we can absorb the term \(||\eta ^{\alpha }\partial u|| \) on the r.h.s and thus obtain (165) with \(l+1\) .
Proof of Lemma 3
Using translation and scaling invariance, up to a relabelling of the domain D, we may reduce ourselves to \(R \simeq 1\). As in the proof of Lemma 2 it is convenient to work with boxes instead of balls and thus argue that for a function u satisfying (37) in the domain \(\mathbb {R}^d \setminus [-\frac{\pi }{8},\frac{\pi }{8}]^d \cap D\) we have
where the supremum runs over all linear functionals F bounded in the sense of
with v satisfying (i) and (ii) in the sense Definition 1 in \(\mathbb {R}^d \setminus [-\frac{\pi }{8},\frac{\pi }{8}]^d\). \(\square \)
We observe that Lemma 2 also implies by Poincaré’s inequality in \((-\frac{\pi }{4},\frac{\pi }{4})^d\) that for all w satisfying (34) in \((-\frac{\pi }{2},\frac{\pi }{2})^d\)
where the linear functionals \(\mathcal {F}\) satisfy (36) in \((-\frac{\pi }{2},\frac{\pi }{2})^d\). We want to argue that a similar estimate holds also for u solving (37) in the domain \(\mathbb {R}^d \setminus [-\frac{\pi }{8},\frac{\pi }{8}]^d \cap D\), namely that
for all linear functionals satisfying (167).
Before tackling (168) we show how to conclude the proof: Thanks to (168), if we define , it holds by the triangle inequality
We now observe that since \(d>2\), we may apply first Hölder’s inequality in \((-\frac{\pi }{4},\frac{\pi }{4})^d \setminus (-\frac{\pi }{6},\frac{\pi }{6})^d\) and then Sobolev’s inequality in the outer domain \(\{|x| > \frac{\pi }{6}\}\) to infer that
i.e. \(\mathcal {F}_0\) satisfies (167). Therefore, it follows from (169) that
We obtain (166) by plugging in the previous estimate the Caccioppoli’s inequality
where \(\hat{\eta }\) is any cut-off function for the set \(\mathbb {R}^d\setminus (-\frac{\pi }{5},\frac{\pi }{5})^d\) in \(\mathbb {R}^d\setminus (-\frac{\pi }{6},\frac{\pi }{6})^d\) satisfying (154) and \(m \in \mathcal {N}\), \(m > n\). We remark that this last inequality is obtained in a similar way to (156), this time testing the Eq. (37) with \(\hat{\eta }^{2m} u\) which is an admissible test function since u solves (37). This time, with a more careful look, we rewrite (161) as
and the second term on the l.h.s of (172) as
We now choose another function \(\bar{\eta }\), satisfying (154) and such that it cuts off the set supp\((\nabla \hat{\eta })\) in \((-\frac{\pi }{4},\frac{\pi }{4})^d\setminus (-\frac{\pi }{8},\frac{\pi }{8})^d\). We thus have for any \(\alpha >0\)
Therefore, we may bound
We now may apply the interpolation inequality (163) with \(\eta = \hat{\eta }\bar{\eta }\) to the second and third term on the r.h.s. and appeal to (173) to estimate and conclude that
so that the Caccioppoli’s inequality (171) follows by the previous inequality and (172).
It thus remains only to prove inequality (168): We fix a \(\tilde{\eta }\) to be a cut-off function of \(\mathbb {R}^d \setminus (-\frac{\pi }{6},\frac{\pi }{6})^d\) in \(\mathbb {R}^d \setminus (-\frac{\pi }{8},\frac{\pi }{8})^d\) and set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ335_HTML.gif)
In the same spirit of Lemma 2, we define for \(k\in \mathbb {Z}^d-\{0\}\)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ174_HTML.gif)
with \(\mathcal {F}(\tilde{u})(k)\) the k-th coefficient of the cosine Fourier series of the function \(\tilde{u}\) defined in (152). We first note that the functional \(\tilde{\mathcal {F}}(u)(k)\) satisfies (167) for all \(k \in \mathbb {Z}^d \setminus \{0 \}\): Indeed, similarly to the proof of Lemma 2 we may write
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ336_HTML.gif)
so that first Cauchy–Schwarz’s inequality, then Poincaré’s inequality and the definition of \(\tilde{u}\) yield
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs00526-017-1255-0/MediaObjects/526_2017_1255_Equ337_HTML.gif)
Another application of Poincaré’s inequality on the second term of the r.h.s implies (167). Therefore, analogously to Lemma 2, if we show that for any even \(l\in \mathbb {N}\) we have
we may conclude (168) by integrating in \(d \mu \) and taking \(l > \frac{d}{2}\).
To show (175), we first apply the interpolation inequality (155) to the function and observe that, if we choose as cut-off \(\eta \) in (155) any smooth function cutting \( (-\frac{\pi }{4},\frac{\pi }{4})^d \setminus (-\frac{\pi }{5},\frac{\pi }{5})^d\) in \( (-\frac{\pi }{2},\frac{\pi }{2})^d \setminus (-\frac{\pi }{6},\frac{\pi }{6})^d\), then it holds by our choice of \(\tilde{u}\) that
Since our choice of \(\eta \) implies that the Caccioppoli inequality (156) holds also for u, we may buckle up the previous estimate and get (175).
Poincaré–Sobolev’s inequality (69). Without loss of generality, we assume that \(R=1\) and \(z=0\). We start by observing that (69) immediately follows if we combine the estimate
for every \(2 \le p < +\infty \) and \(v\in W^{1,2}(\mathbb {R}^2)\), with the Poincaré’s inequality
for \(w \in W^{1,2}(\mathbb {R}^2)\) which vanishes outside D.
By standard approximation, we may assume in both inequalities that w and v are \(C^1(\mathbb {R}^2)\). We first show (176): Thanks to Young’s inequality and by interpolation it is enough to prove that for every integer \(p \ge 1\)
This, in turn, is implied by the same inequality on the whole space \(\mathbb {R}^2\)
Indeed, arguing as for the Sobolev’s inequality on outer domains, if v is defined in \(\{|x| >1 \}\), we may extend it to the whole space by the radial reflection \(x \rightarrow \frac{x}{|x|^2}\), apply (179) and controlling
thanks to our choice of extension.
Inequality (179) for \(p=1\) is trivial; We thus show it for every \(p \ge 2\) by induction. For \(p=2\), the Isoperimetric Inequality ([13], Section 5.6.1. Theorem 1) applied to \(v^2\) and the chain rule yield
so that after an application of Hölder’s inequality this turns into
i.e. estimate (179) for \(p=2\). Let us now assume that (179) holds for \(p \ge 2\). Appealing to the Isoperimetric Inequality applied this time to \(v^{p+1}\), we obtain by the chain rule and Hölder’s inequality that
Plugging (179) with p in the previous inequality it follows
This establishes (179) for \(p+1\) and thus concludes the proof of (178).
We now turn to Poincaré’s inequality (177): Without loss of generality, we prove (177) on the cylindrical domain \((-1, 1) \times \mathbb {R}\). In the following estimates we write \(x =(x_1, x_2) \in (-1, 1) \times \mathbb {R}\). Thanks to the geometry of the domain and our assumption on w, for every \((x_1, x_2) \in (-1, 1) \times \mathbb {R} \setminus \{|x| <1\}\), there exists a \(x_1^{\prime } \in (-1, 1)\) such that \(w(x_1^{\prime }, x_2) =0\). We may thus bound
where in the last inequality we applied Hölder’s inequality in z and the fact that \(x_1, x_1^{\prime } \in (-1, 1)\). Therefore, estimate (177) follows once we integrate the previous inequality in \(\{|x| >1\}\) and appeal again to the Dirichlet boundary conditions.
Proof of Lemma 4
Throughout this proof, we use the same notation of Corollary 1. We recall that \(\lesssim _D\) stands for \(\le C\) with a constant depending on d, \(\lambda \) and the smallest bounded direction of D. Moreover, without loss of generality, we may reduce ourselves to work in a cylindrical domain \(D = I \times \mathbb {R}^{d-1}\) with \(I \subset \mathbb {R}\) bounded. Therefore since in this setting the implicit multiplicity constant in (92) depends on D through the size of I, we may substitute the notation \(\lesssim _D\) with \(\lesssim _I\). We start by observing that it is sufficient to prove that there exists a constant \(C_0\) such that for every \(i=1,\ldots ,d-1\)
where \(x^{\prime }=( x^{\prime }_1,\ldots , x_{d-1}^{\prime })\) and \(x^{\prime }_0=( x^{\prime }_{0,1},\ldots , x_{0,d-1}^{\prime })\). Indeed, from (180)–(181) it follows that
and thus also (92) thanks to the convexity of the function \(\exp ( \frac{|s|}{C_0})\) and the equivalence of the norms in \(\mathbb {R}^{d-1}\). \(\square \)
Without loss of generality, we fix \(x_0^{\prime }=0\) in (180)–(181). We start with the argument for (180) for a fixed i, say \(i=1\). As D is unbounded, we are not allowed a priori to test the equation before (92) with \(\exp {\left( \pm \frac{x^{\prime }_1}{C_0} \right) } u\). We first need to consider the following approximate problem: For every \(M \in \mathbb {N}\), let \( D_M:= I \times (-M ; +\infty )^{d-1}\) and \(u_M\) be the solution of
where \(g_M(x_1, x^{\prime }) = \mathcal {X}_{(-(M-1), +\infty )^{d-1}}(x^{\prime })g(x_1, x^{\prime })\). We start by showing that if we prove (180) for every \(u_M\), namely
then we can conclude (180). Indeed, thanks to the geometry of the domain and the Dirichlet boundary conditions in \(\partial I \times (-M; +\infty )^{d-1}\) for every \(x^{\prime } \in (-M; +\infty )^{d-1}\) it holds by Poincarè’s inequality in I that
Therefore, by integrating over \(x^{\prime }\in \mathbb {R}\), it follows
and by the energy estimate and the definition of \(g_M\),
Thus, \(\{ u_M \}_{M \in \mathbb {N}}\) is uniformly bounded in \(W^{1,2}(\mathbb {R}^d)\) and, up to subsequences, weakly converges to u, the solution of the equation before (92). In addition, since by construction \(D_1 \subset \dots \subset D_N \subset D_{N+1} \subset \dots \subset D\), from (183) it holds that for every \(N, M \in \mathbb {N}\) with \(N \le M\)
If we send \(M \rightarrow +\infty \) we obtain by weak lower semi-continuity
Taking also the limit \(N\rightarrow +\infty \), we conclude (180).
We turn now to the argument for (183): In the rest of the proof, we write u, g respectively for \(u_M\) and \(g_M\). By multiplying the inequality (184) with \(\rho (x^{\prime }_1):= \exp {\left( -\frac{x^{\prime }_1}{C_0}\right) }\), \(C_0 > 0\), and then integrating over \(x^{\prime }\in \mathbb {R}^{d-1}\), we obtain
which implies, being \(\nabla u \in L^2(D)\) and \(\rho \in L^\infty (D_M)\), that also u and \(\rho u \in L^2(D_M)\). Therefore, we can test the Eq. (182) with \(\rho u\) and use assumption (5) on \(a\in \Omega \) to bound
By our choice of \(\rho \), we thus obtain
so that Hölder’s inequality in every term of the r.h.s yields
Appealing to (184), (188) turns into
Therefore, after an application of Young’s inequality in the last two terms on the r.h.s., we may choose \(C_0 > C(\lambda ,|I|)\), absorb the term \(\int \rho |\nabla u|^2\) and thus establish (183).
Inequality (181) follows similarly by considering an approximate problem in \(D\times (-\infty ; M)^{d-1}\) and \(\rho = \exp {\left( \frac{x^{\prime }}{C_0} \right) }\).
Notes
In fact, we show that such \(\alpha \) can be chosen to be any \(\alpha \in (d-2 ,d)\) and thus be optimal in the sense that it corresponds to the constant coefficients case.
This choice of \(\mathcal {L}_n\) instead of the more standard \((-\Delta )^{n}\) will prove to be more convenient when testing the equation and integrating by parts, as it avoids mixed derivatives and thus simplifies the calculations.
We give the precise definition along the proof of this step.
The fact that the solution of (33) is actually the y-gradient of \(G_D(a; \cdot , \cdot )\) is rigorously proven by first showing that, on the one hand, by symmetry (47), the difference quotients \(\frac{1}{h} \left( G_{D,\varepsilon }(a; \cdot , \cdot +he_i)- G_{D,\varepsilon }(a; \cdot , \cdot +he_i)\right) \) are uniformly bounded in \(\mathcal {X}\) for \(h<<1\), and thus weakly converge up to subsequences. On the other hand, letting \( h \rightarrow 0^+\) in the equation solved by \(\frac{1}{h} \left( G_{D,\varepsilon }(a; \cdot , y+he_i)- G_{D,\varepsilon }(a; \cdot , y+he_i)\right) \), we recover (33) and conclude the argument by uniqueness of the solution.
Also in this case, we consider u to be the weak solution in the sense of Definition 1, this time with \(R=+\infty \).
To show Sobolev’s inequality in the outer domain \(\{|x|> R\}\) we argue as follows: By scale invariance, we may reduce ourselves to the domain \(\{|x|>1\}\); moreover, by standard approximation, we may assume u to be smooth and zero outside a ball big enough. We now extend u inside \(\{|x|<1\}\) using the radial reflection \(x \rightarrow \frac{x}{|x|^2}\), apply Sobolev’s inequality on the whole space and conclude by observing that, due to our choice of extension, the Dirichlet integral in \(\{|x|< 1\}\) can be controlled by the Dirichlet integral in \(\{|x|>1 \}\).
Also in this case, we consider u to be the weak solution in the sense of Definition 1, this time with \(R=+\infty \).
We postpone the proof to the Appendix.
Since we are working in the systems’ setting, to be notationally rigorous we should write \(u\otimes \nabla \eta \) instead of \(u\nabla \eta \).
Similarly to Corollary 2 the correct notation would be \(u\otimes \nabla \eta \) instead of \(u\nabla \eta \).
Also here, we should write \(u\otimes \nabla \bar{\eta }\) and \(u\otimes u\) instead of \(u\nabla \eta \) and \(u\times u\).
References
Aronson, D.: Bounds for the fundamental solution of a parabolic equation. Bull. Am. Math. Soc. 73, 890–896 (1967)
Auscher, P., Tchamitchian, Ph.: Gaussian estimates for second order elliptic divergence operators on Lipschitz and \(C^1\) domains. In: Evolution Equations and Their Applications in Physical and Life Sciences (Bad Herrenalb, 1998), 1532, Lecture Notes in Pure and Appl. Math., 215, Dekker, New York (2001)
Avellaneda, M., Lin, F.-H.: Compactness methods in the theory of homogenization. Commun. Pure Appl. Math. 40(6), 803847 (1987). MR 910954 (88i:35019)
Bella, P., Giunti, A.: Green’s function for elliptic systems: moment bounds. Netw. Heterogen. Media (to appear). arXiv:1512.01029
Bella, P., Giunti, A., Otto, F.: Quantitative stochastic homogenization: local control of homogenization error through corrector, arXiv:1504.02487, to appear in IAS/ Park City Mathematics Series
Brydges, D.: Lectures on the renormalisation group, statistical mechanics, pp. 7–93, IAS/Park City Math. Ser., 16, American Mathematical Society, Providence (2009)
Cho, S., Dong, H., Kim, S.: Global estimates for Greens matrix of second order parabolic systems with application to elliptic systems in two dimensional domains. Potential Anal. 36(2), 339–372 (2012)
Conlon, J., Naddaf, A.: Greens functions for elliptic and parabolic equations with random coefficients. New York J. Math. 6, 153–225 (2000)
Conlon, J., Spencer, T.: Strong convergence to the homogenized limit of elliptic equations with random coefficients. Trans. Am. Math. Soc. 366, 1257–1288 (2014)
De Giorgi, E.: Un esempio di estremali discontinue per un problema variazionale di tipo ellittico. Boll. UMI 4, 135–137 (1968)
Delmotte, T., Deuschel, J.: On estimating the derivatives of symmetric diffusions in stationary random environment, with applications to \(\nabla \phi \) interface model. Probab. Theory Relat. Fields 133, 358–390 (2005)
Dolzmann, G., Müller, S.: Estimates for Greens matrices of elliptic systems by \(L^p\)-theory. Manuscripta Math 88(2), 261273 (1995)
Evans, L.C., Gariepy, R.F.: Measure theory and fine properties of functions. CRC Press, Boca Raton (1992)
Fischer, J., Otto, F.: A higher-order large-scale regularity theory for random elliptic operators, arXiv:1503.07578
Fuchs, M.: The Green matrix for strongly elliptic systems of second order with continuous coefficients. Z. Anal. Anwendungen 5(6), 507531 (1986)
Gawedzki, K., Kupiainen, A.: Lattice dipole gas and \((\nabla \phi )^4\) models at long distances: decay of correlations and scaling limit. Commun. Math. Phys. 92, 531–553 (1984)
Gloria, A., Otto, F.: An optimal variance estimate in stochastic homogenization of discrete elliptic equations. Ann. Probab. 39, 779–856 (2011)
Gloria, A., Otto, F.: Quantitative results on the corrector equation in Stochastic Homogenization, arXiv:1409.0801
Gloria, A., Neukamm, S., Otto, F.: An optimal quantitative two-scale expansion in stochastic homogenization of discrete elliptic equations. ESAIM Math. Model. Numer. Anal. 48(2), 325–346 (2014)
Grüter, M., Widman, K.O.: The Green function for uniformly elliptic equations. Manuscr. Math. 37, 303–342 (1982)
Hofmann, S., Kim, S.: The green function estimates for strongly elliptic systems of second order. Manuscripta Math. 124(2), 139–172 (2007)
Kang, K., Kim, S.: Global pointwise estimates for Green’s matrix of second order elliptic systems. J. Differ. Equ. 249(11), 2643–2662 (2010)
Littman, W., Stampacchia, G., Weinberger, H.F.: Regular points for elliptic equations with discontinuous coefficients. Ann. Scuola Norm. Sup. Pisa (III) 17, 43–77 (1963)
Marahrens, D., Otto, F.: Annealed estimates on the Green’s function. Probab. Theory Relat. Fields 163(3), 527–573 (2014)
Naddaf, A., Spencer, T.: On homogenization and scaling limit of some gradient perturbations of a massless free field. Commun. Math. Phys. 183, 55–84 (1997)
Naddaf, A., Spencer, T.: Estimates on the variance of some homogenization problems. Preprint (1998)
Otto, F.: Evolution of microstructure: an example. In: Fiedler, B. (ed.) Ergodic theory, analysis, and efficient simulation of dynamical systems, pp. 501–522. Springer, Berlin (2001)
Piccinini, L.C., Spagnolo, S.: On the Hölder continuity of solutions of second order elliptic equations in two variables. Ann. Scuola Norm. Sup. Pisa (3) 26, 391402 (1972)
Spencer, T.: Scaling, the free field and statistical mechanics. In: The Legacy of Norbert Wiener: A Centennial Symposium (Cambridge, MA, 1994). Proceedings of Symposium Pure Mathematical Vol. 60 (Amer. Math. Soc., Providence, 1997)
Acknowledgements
Open access funding provided by Max Planck Society.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Ball.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Conlon, J.G., Giunti, A. & Otto, F. Green’s function for elliptic systems: existence and Delmotte–Deuschel bounds. Calc. Var. 56, 163 (2017). https://doi.org/10.1007/s00526-017-1255-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-017-1255-0