Abstract
We prove a local two-weight Poincaré inequality for cubes using the sparse domination method that has been influential in harmonic analysis. The proof involves a localized version of the Fefferman–Stein inequality for the sharp maximal function. By establishing a local-to-global result in a bounded domain satisfying a Boman chain condition, we show a two-weight p-Poincaré inequality in such domains. As an application we show that certain nonnegative supersolutions of the p-Laplace equation and distance weights are p-admissible in a bounded domain, in the sense that they support versions of the p-Poincaré inequality.
Similar content being viewed by others
1 Introduction
Poincaré inequalities are useful tools in analysis, especially so in the theory of partial differential equations (PDEs). The present paper stems from the question whether it is possible to establish a weighted Poincaré inequality with respect to weights defined on a bounded domain only. This setting is natural from the viewpoint of analysis of PDEs and calls for a localized argument, which we borrow from harmonic analysis.
To begin with, we provide sufficient conditions for a general two-weight Sobolev–Poincaré inequality
to hold for every \(u\in {{\,\mathrm{Lip}\,}}(Q_0)\) with \(1<p\le q<\infty \). This result is Theorem 5.4 below, which is applied to show that (3) holds in cubes \(Q_0\) with \(4Q_0\subset \Omega \) and \(\frac{2n}{n+1}<p<\infty \), including the case \(p=2\) of the classical Laplacian. Weighted norm inequalities such as the above are relevant to the study of nonlinear PDEs and so-called p-admissible weights; for instance, see Chapter 20 in [11]. Furthermore, the proof quite naturally yields a local variant of the Fefferman–Stein inequality for the so-called sharp maximal function (Theorem 4.2).
Having established the local inequality (1), we extend it to domains satisfying a Boman chain condition. The geometry of Boman domains allows us to propagate the estimate from single Whitney cubes to the entire domain adapting an idea of Iwaniec and Nolder [14]; see also Chua [5]. As a result, in Theorem 7.1 we present the two-weight inequality
under the assumption that the weights w and \(\sigma = v^{-1/(p-1)}\) satisfy suitable local doubling and \(A_\infty \) conditions, as well as a Muckenhoupt-type compatibility condition in dilated Whitney cubes and their dyadic subcubes \(Q^*\subset \Omega \):
For the sake of demonstration, we present two applications to distance weights, as well as one for nonnegative supersolutions to the p-Laplace equation. Namely, we establish the weighted Poincaré inequality
where \(u\in {{\,\mathrm{Lip}\,}}(Q_0)\), and \(C = C(n, p, \Omega ) > 0\). This inequality is known to hold for all cubes \(Q_0\subset {\mathbb {R}}^n\) whenever \(w\in W^{1,p}_{\mathop {\hbox {loc}}\limits }({\mathbb {R}}^n)\) is a nonnegative weak supersolution to the p-Laplace equation in \({\mathbb {R}}^n\) and \(\frac{2n}{n+1}<p<\infty \); see [11, p. 74]. We show a corresponding local variant of this result. We assume that the weight \(w\in W^{1,p}_{\mathop {\hbox {loc}}\limits }(\Omega )\) is a nonnegative weak supersolution of the p-Laplace equation in a bounded domain \(\Omega \subset {\mathbb {R}}^n\), and prove (3) in cubes \(Q_0\subset \Omega \) such that \(4Q_0\subset \Omega \).
A key new feature of Theorem 5.4 is that the assumptions concerning the weights v and w are localized to the fixed cube \(Q_0\), which is indeed necessary in order to establish the local version of (3) in Theorem 7.7. This distinguishes our main result (2) (Theorem 7.1) from other two-weight inequalities in the same vein. In particular, our result provides a more strictly localized variant of a theorem due to Chua [5, Theorem 2.14]. We only assume the weight w to be doubling in \(\Omega \), which is a weaker notion than the global doubling required by Chua. The downside of our approach are the ensuing supplementary \(A_\infty \) conditions. These can be seen as an artefact of the method, which will be discussed next. Other sufficient conditions for two-weight inequalities are given by Chanillo and Wheeden [4], and Turesson [25, Theorem 2.6.1]. Maz’ya [19, Section 3.8] presents a necessary and sufficient capacitary condition for fractional Sobolev spaces. See also Dyda et al. [6], Hurri and Hurri–Syrjänen [12, 13], and Muckenhoupt–Wheeden’s early paper [20].
In order to prove (1), we proceed in two stages. Both are based on the idea of sparse domination, in which one first provides a pointwise inequality in terms of a sparse dyadic operator. Consequently, the problem is reduced to showing a uniform weighted norm inequality for a significantly simpler class of sparse dyadic operators. In the first stage, we follow the idea in [17] and show the pointwise inequality
where the collection \({\mathcal {S}}\) of dyadic cubes inside \(Q_0\) depends on f, and is sparse in the sense that there are pairwise disjoint, measurable subsets \(E_S\subset S\in {\mathcal {S}}\) incorporating a sufficiently large part of S in terms of weighted measure. Moreover, the constant C is independent of f, and therefore sharp maximal functions can be used to control the sparse dyadic operator on the right-hand side of (4). The Poincaré inequality, followed by another pointwise sparse domination argument pertaining to the fractional maximal function and due to Pérez [22], allows us to conclude the proof of (1).
To the authors’ knowledge, the application of the sparse domination method to Poincaré inequalities is new, and the present work could also be considered a demonstration of its scope of application. The method has been very influential in harmonic analysis, in which several weighted inequalities for singular integrals and potential operators have been established by using the idea of pointwise dyadic domination, including the celebrated \(A_2\) theorem. For a selection of recent examples and developments, we refer to Pereyra’s lecture notes [21]. Particularly influential works for our purposes include those of Lerner, such as [17] (with Ombrosi and Rivera-Ríos) and [16]. Compared to state-of-the-art instances of the sparse domination argument, our version is vastly simpler, yet perfectly sufficient for its purpose and with the further advantage of being localized.
2 Setup
A cube in \({\mathbb {R}}^n\) is a half-open set of the form
with \(b_1-a_1=\cdots =b_n-a_n\). For our purposes, a cube \(Q = Q(x_Q,r_Q)\) is most conveniently determined by its midpoint \(x_Q\) and side length \(2r_Q=b_1-a_1\). We denote the side length of a given cube Q by l(Q). If \(N>0\), we also adopt the shorthand notation \(NQ=Q(x_Q,Nr_Q)\).
We denote the characteristic function of a set \(E\subset X\) by \({\mathcal {X}}_{E}\), that is, \({\mathcal {X}}_{E}(x)=1\) if \(x\in E\) and \({\mathcal {X}}_{E}(x)=0\) if \(x\in X{\setminus } E\).
Any open, nontrivial, proper subset \(\Omega \subset {\mathbb {R}}^n\) admits a Whitney decomposition, which we denote by \({\mathcal {W}}={\mathcal {W}}(\Omega )\). The standard construction can be found e. g. in [10, Appendix J]. Choosing cubes to be half-open, the Whitney cubes are disjoint. Furthermore, they cover the open set \(\Omega \): \(\cup _{Q\in {\mathcal {W}}}Q = \Omega \). For a cube \(Q = Q(x,r)\in {\mathcal {W}}\), the corresponding dilated cube is denoted by \(Q^* = \frac{9}{8}Q = Q(x,\frac{9}{8}r)\). Such dilated cubes have bounded overlap, which means that \(\sum _{Q\in {\mathcal {W}}}{\mathcal {X}}_{Q^*}\le C(n)\). Moreover, since the side length of a dilated Whitney cube \(Q^*\) is comparable to its distance from the boundary of the set, there exists a constant \(C=C(n)\) such that
The family of Lipschitz continuous functions on a set \(\Omega \) is denoted \({{\,\mathrm{Lip}\,}}(\Omega )\). Local classes of functions mean that the property in question holds for every compact set \(K\subset \Omega \); these are indicated with a subscript, such as \({{\,\mathrm{Lip}\,}}_{\mathop {\hbox {loc}}\limits }(\Omega )\) for the set of locally Lipschitz continuous functions on \(\Omega \).
For a cube \(Q_0\subset {\mathbb {R}}^n\), the collection of its dyadic children, denoted \({{\,\mathrm{ch}\,}}_{\mathcal {D}}(Q_0)\), are the \(2^n\) cubes with side length l(Q)/2 obtained by bisecting each edge. Continuing this process recursively, we obtain the infinite collection \({\mathcal {D}}(Q_0)\) of dyadic subcubes that consists of \(Q_0\) and its dyadic descendants in any generation. We will be routinely making use of the fact that these cubes are nested: if \(Q, Q'\in {\mathcal {D}}(Q_0)\), then either one is contained in the other or the cubes are disjoint. Thanks to the nestedness property, each cube in \({\mathcal {D}}(Q_0){\setminus } \{Q_0\}\) has a unique dyadic parent, denoted \(\pi Q\): the cube \(Q'\in {\mathcal {D}}(Q_0)\) such that \(Q\in {{\,\mathrm{ch}\,}}_{\mathcal {D}}(Q')\).
With respect to a generic collection \({\mathcal {E}}\subset {\mathcal {D}}(Q_0)\) of cubes with \(Q_0\in {\mathcal {E}}\), the \({\mathcal {E}}\)-parent \(\pi _{\mathcal {E}}Q\) of any dyadic cube \(Q\subset Q_0\) is the minimal cube in \({\mathcal {E}}\) that contains Q. Notice that Q is not necessarily in \({\mathcal {E}}\) to begin with, and the inclusion need not be strict, so \(\pi _{\mathcal {E}}Q=Q\) whenever \(Q\in {\mathcal {E}}\). Analogously to the dyadic case, The \({\mathcal {E}}\)-children \({{\,\mathrm{ch}\,}}_{\mathcal {E}}(Q)\) of a cube \(Q\in {\mathcal {E}}\) are the maximal cubes in \({\mathcal {E}}\) strictly contained in Q.
In the following, subcubes that are constructed beginning with a fixed cube \(Q_0\) will be referred to as “dyadic cubes”. In other words, all “dyadic cubes” are \(Q_0\)-dyadic, whether or not this is spelled out. In the first part, we will be operating inside a cube \(Q_0\subset {\mathbb {R}}^n\); in the proof of the local-to-global result, \(Q_0\) will turn out to be a dilatation of a cube \(Q\subset {\mathcal {W}}(\Omega )\) of the Whitney decomposition.
We say that a locally integrable function w is a weight in an open set \(\Omega \), if \(w(x)>0\) for almost every \(x\in \Omega \). The weighted measure (or “weight”) of a measurable set \(E\subset \Omega \), in our case typically a cube, with respect to w is
The integral average of a function \(f\in L^1(E)\) over a measurable set \(E\subset \Omega \) is written \(f_E\) for short, and the corresponding average with respect to a weight w is indicated by adding another subscript:
Throughout the proof of the local result, we are dealing with Muckenhoupt \(A_\infty \) weights in the cube \(Q_0\). In fact, we only need to assume the \(A_\infty \) property in dyadic cubes, as will be detailed shortly.
Definition 2.1
A weight w in a cube \(Q_0\) belongs to the dyadic Muckenhoupt \(A_\infty \) class, denoted \(w\in A^d_\infty (Q_0)\), if there exist constants \(C_w\) and \(\delta _w\) in \(\left( 0,\infty \right) \) such that for all dyadic cubes \(Q\subset Q_0\) and all measurable subsets \(E\subset Q\) we have
We will need to make intermediate estimates in terms of certain maximal functions, which are introduced next.
Definition 2.2
For a cube \(Q_0\), \(0\le \alpha <n\) and \(f\in L^1(Q_0)\), we define the dyadic fractional maximal function
where the supremum is taken over all dyadic cubes \(Q\subset Q_0\) such that \(x\in Q\).
Definition 2.3
Let \(Q_0\) be a cube, w a weight in \(Q_0\), and \(f\in L^1(Q_0; w\mathrm{d}x)\). We define the weighted dyadic maximal function
again taking the supremum over all dyadic cubes \(Q\subset Q_0\) such that \(x\in Q\).
The following standard lemma shows that the weighted dyadic maximal function is bounded in \(L^p(Q_0; w\mathrm{d}x)\).
Lemma 2.4
Let \(Q_0\subset {\mathbb {R}}^n\) a cube, \(1<p<\infty \), and w a weight in \(Q_0\). Then there is a constant \(C = C(p) > 0\) such that for all \(f\in L^p(Q_0; w\mathrm{d}x)\)
Proof
The statement for \(1<p<\infty \) is proven by interpolation. To begin with, we immediately observe that \(\Vert M^{d,w}_{Q_0}f\Vert _{L^\infty (Q_0;w\mathrm{d}x)}\le \left\Vert f\right\Vert _{L^\infty (Q_0;w\mathrm{d}x)}\). It remains to verify that the maximal operator is of weak type (1, 1). To this end, let \(f\in L^1(Q_0; w\mathrm{d}x)\) and \(t>0\). We claim that
For brevity, denote \(E_t = \{x\in Q_0\mathbin {:}\, M^{d,w}_{Q_0}f(x) > t\}\). To see (6), fix \(t>0\) and consider the collection of all dyadic cubes \(Q\subset Q_0\) satisfying
If the collection is empty, we have \(M^{d,w}_{Q_0}f(x)\le t\) almost everywhere in \(Q_0\) and \(w(E_t) = 0\). Otherwise, we fix a collection of maximal cubes \(\left\{ Q_i\right\} \) satisfying (7). In particular, these cubes are pairwise disjoint. We have \(E_t = \bigcup _{i=1}^\infty Q_i\), and
which proves (6). Applying the Marcinkiewicz interpolation theorem [10, Theorem 1.3.2], we obtain for \(1<p<\infty \)
\(\square \)
3 Sparse domination I
The main result in this section is the sparse domination Lemma 3.2, a weighted variant of Lemma 5.1 in [17]. The auxiliary Lemma 3.1 will provide us with a sparse collection of cubes that appears in the sparse domination lemma. More specifically, the condition (9) means that the \({\mathcal {S}}\)-children of any \(S\in {\mathcal {S}}\) only occupy a controlled fraction of the w-measure of S. In Lemma 3.2, this property will be used to build a pairwise disjoint collection of sets \(E_S\subset S\), each of which has a large w-measure compared to that of \(S\in {\mathcal {S}}\), controlled by a parameter \(\eta >0\) depending on the \(A_\infty \) constants of w. This is what is meant by saying that \({\mathcal {S}}\) is a sparse collection of cubes.
In the sparse domination Lemma 3.2, sparse collections provided by the auxiliary lemma are used to define dyadic sparse operators of the form
Ultimately due to the inequality (8), these dyadic sparse operators can be used to dominate the quantity \(|f(x)-f_{Q_0}|\) pointwise. On the other hand, the dyadic sparse operators can be easily controlled by duality and maximal function arguments due to existence of the disjoint sets \(E_S\). This also reflects the general principles behind the sparse domination paradigm.
Lemma 3.1
Let \(Q_0\) be a cube in \({\mathbb {R}}^n\), and \(f\in L^1(Q_0)\). Let \(w\in A^d_\infty (Q_0)\) with \(C_w>0\) and \(\delta _w>0\). There exists a collection \({\mathcal {S}}\) of dyadic cubes such that each cube \(S\in {\mathcal {S}}\) satisfies
-
(a)
If \(Q\subset Q_0\) is dyadic cube such that \(\pi _{\mathcal {S}}Q = S\), then
(8) -
(b)
There is a constant \(\rho = \rho (C_w,\delta _w) >1\) such that
$$\begin{aligned} \sum _{S'\in {{\,\mathrm{ch}\,}}_{\mathcal {S}}(S)}w(S') \le C_w\rho ^{-\delta _w}w(S) < w(S). \end{aligned}$$(9)
Proof
We will construct the collection \({\mathcal {S}}\) by a stopping-time argument. To begin with, fix a function \(f\in L^1(Q_0)\) and a constant \(\rho = \rho (C_w,\delta _w) >1\) such that \(C_w\rho ^{-\delta _w}<1\). We may assume that ; otherwise, f is constant at the Lebesgue points of \(Q_0\) and we can take \({\mathcal {S}}=\{Q_0\}\). First, we place \(Q_0\) inside \({\mathcal {S}}\) and proceed recursively: for each \(Q_0\)-dyadic cube \(S\in {\mathcal {S}}\), we add to \({\mathcal {S}}\) the maximal dyadic cubes \(S'\subset S\) that satisfy the stopping condition
This process is iterated ad infinitum if necessary. As a result, we obtain a collection \({\mathcal {S}}\) of dyadic cubes in \(Q_0\). Claim (a) is an immediate consequence of the stopping-time construction. Namely, let \(S\in {\mathcal {S}}\). Recall that if \(Q\subset Q_0\) is a cube, \(\pi _{\mathcal {S}}Q\) is the minimal cube in \({\mathcal {S}}\) that contains Q. If \(Q\subset Q_0\) is a dyadic cube such that \(\pi _{\mathcal {S}}Q = S\), then
As for (b), fix \(S\in {\mathcal {S}}\) and recall that \({{\,\mathrm{ch}\,}}_{\mathcal {S}}(S)\) are the maximal cubes in \({\mathcal {S}}\) that are strictly contained in S. In particular, we notice that this collection is disjoint. As per the stopping condition (10), for every \(S'\in {{\,\mathrm{ch}\,}}_{\mathcal {S}}(S)\) it holds that
Since the collection \({{\,\mathrm{ch}\,}}_{\mathcal {S}}(S)\) is disjoint, the \(A_\infty ^d(Q_0)\) condition of w implies that for all \(S\in {\mathcal {S}}\)
\(\square \)
With our sparse collection of cubes at hand, we are now set to show the existence of the pairwise disjoint sets \(E_Q\) and to estimate \(|f(x)-f_{Q_0}|\) pointwise with a dyadic operator involving a sum of mean oscillations taken over the sparse collection.
Lemma 3.2
Let \(Q_0\) be a cube in \({\mathbb {R}}^n\), \(w\in A_\infty ^d(Q_0)\) with constants \(C_w>0\) and \(\delta _w>0\), and \(f\in L^1(Q_0)\). Then there is a collection \({\mathcal {S}}\) of dyadic cubes in \(Q_0\) satisfying the following conditions:
-
(a)
There is a constant \(\eta =\eta (C_w,\delta _w)>0\) and a collection \(\left\{ E_Q\mathbin {:}\, Q\in {\mathcal {S}}\right\} \) of pairwise disjoint sets such that for every \(Q\in {\mathcal {S}}\), \(E_Q\) is a measurable subset of Q with \(w(E_Q)\ge \eta w(Q)\).
-
(b)
For every Lebesgue point \(x\in Q_0\) of f, we have
(11)with \(C=C(n, C_w,\delta _w)>0\).
Remark 3.3
Condition (a) means that \({\mathcal {S}}\) is a sparse collection of cubes with respect to the weight w. In (b), recall that almost every point of \(Q_0\) is a Lebesgue point of f.
Proof
Lemma 3.1 provides us with a collection \({\mathcal {S}}\subset {\mathcal {D}}(Q_0)\). We are going to construct the family \(\{E_Q{:}\,Q\in {\mathcal {S}}\}\) by removing selected parts of the cubes \(S\in {\mathcal {S}}\), namely their \({\mathcal {S}}\)-children. For every \(S\in {\mathcal {S}}\), let
We show that \(\left\{ E_S\mathbin {:}\,S\in {\mathcal {S}}\right\} \) is the collection of pairwise disjoint sets postulated by (a). To prove disjointness, fix \(S, R\in {\mathcal {S}}\) such that \(S\ne R\). If, \(S\cap R = \varnothing \), then clearly \(E_S\cap E_R = \varnothing \). If, say, \(R\subset S\), there is a cube \(S'\in {{\,\mathrm{ch}\,}}_{\mathcal {S}}(S)\) such that \(R\subset S'\) and therefore \(E_R\cap E_S \subset S'\cap E_S = \varnothing \). Hence \(\left\{ E_S\mathbin {:}\,S\in {\mathcal {S}}\right\} \) is a collection of pairwise disjoint sets.
We still need to show that \(w(E_S)\ge \eta w(S)\) for a fixed \(S\in {\mathcal {S}}\). By (9), it holds that
Furthermore, the collection \({{\,\mathrm{ch}\,}}_{\mathcal {S}}(S)\) is pairwise disjoint, so we have
where \(\eta = 1-C_w\rho ^{-\delta _w} > 0\) (recall that \(C_w\rho ^{-\delta _w}<1\)). This completes the proof of condition (a).
To prove that condition (b) holds, we introduce the following “dyadic difference” operator:
where Q is a \(Q_0\)-dyadic cube and \({{\,\mathrm{ch}\,}}_{\mathcal {D}}(Q)\) the collection of its \(2^n\) dyadic children. To begin with, we fix a Lebesgue point \(x\in Q_0\) of f to estimate the left-hand side of (11) by telescoping in terms of these dyadic differences:
Fix now a \(S\in {\mathcal {S}}\) and split the innermost sum with respect to the set \(E_S\) defined by (12):
We estimate each sum separately; the aim is to control each in terms of . Beginning with the first one, we obtain by telescoping
Here, the first step follows by the fact that \(S{\setminus } E_S = \cup _{S'\in {{\,\mathrm{ch}\,}}_{\mathcal {S}}(S)}S'\). Depending on \(x\in S\) there is a unique “tower” of cubes, beginning from S and down to the dyadic parent of \(S'\), which is the unique \({\mathcal {S}}\)-child of S such that \(x\in S'\). As a result, the ensuing double sum is a telescope, resulting in
Fix \(S'\in {{\,\mathrm{ch}\,}}_{\mathcal {S}}(S)\) and let \(\pi S'\) denote the dyadic parent of \(S'\). Notice that \(\pi _{\mathcal {S}}(\pi S') = S\in {\mathcal {S}}\), so we may use the property (8) to estimate
As for the second sum, fix \(x\in E_S\) and let \(\left( Q_k\right) _{k\in {\mathbb {N}}}\) be a sequence of dyadic cubes such that \(x\in Q_k\subset S\) for all \(k\in {\mathbb {N}}\), and \(\left| Q_k\right| \rightarrow 0\) as \(k\rightarrow \infty \). Thus \(\left( Q_k\right) _{k\in {\mathbb {N}}}\) shrinks nicely to x. Since x is a Lebesgue point of f, we may telescope
Since \(x\in Q_k\cap E_S\) and \(Q_k\subset S\), we have \(\pi _{\mathcal {S}}(Q_k) = S\) for every \(k\in {\mathbb {N}}\). Hence, by the property (8),
Since this estimate is uniform with respect to k, we conclude that
Collecting the estimates (13)–(15), we find that
which concludes the proof. \(\square \)
4 Local Fefferman–Stein inequality
The first sparse domination lemma and a duality argument lead to a result for the dyadic sharp maximal function, which is a variant of the Fefferman–Stein inequality (see [24, Chapter III]). This result is of independent interest.
Definition 4.1
For a cube \(Q_0\) and \(f\in L^1(Q_0)\), we define the dyadic sharp maximal function by
where the supremum is taken over all dyadic cubes \(Q\subset Q_0\) such that \(x\in Q\).
The following is a localized and weighted variant of the Fefferman–Stein inequality [7]; see also Theorem III.3 in [24]. The proof relies on the fact that dyadic sparse operators can be controlled by duality and maximal function arguments due to existence of the disjoint sets \(\{E_S{:}\, S\in {\mathcal {S}}\}\) associated with the sparse collection of cubes \({\mathcal {S}}\).
Theorem 4.2
Let \(Q_0\subset {\mathbb {R}}^n\) a cube, \(1<p<\infty \), \(w\in A_\infty ^d(Q_0)\), and \(f\in L^1(Q_0)\). Then
where \(C = C(n, p, C_w, \delta _w) > 0\). Here \(C_w\) and \(\delta _w\) are the \(A_\infty ^d(Q_0)\) constants for w.
Proof
Fix a \(f\in L^1(Q_0)\) and let \({\mathcal {S}}\) be the associated collection of cubes given by the sparse domination Lemma 3.2. On \(Q_0\), define the function
By the sparse domination Lemma 3.2, we have
We estimate the pth root of the last integral by duality. Namely, it is enough to show that there is a constant \(C=C(\eta ,p)\) such that
for every bounded measurable function g in \(Q_0\) with \(\left\Vert g\right\Vert _{L^q(Q_0; w\mathrm{d}x)} = 1\) and \(1/p+1/q=1\). Fix such a function g; we have
Again thanks to the sparse domination Lemma 3.2 (a), we may estimate for each \(Q\in {\mathcal {S}}\)
Combine (16) and (17), and apply Lemma 2.4:
which, recalling that \(\left\Vert g\right\Vert _{L^q(Q_0; w\mathrm{d}x)} = 1\), is the desired result. \(\square \)
In the proof of the two-weight inequality (Theorem 5.4), we need to estimate the dyadic sharp maximal function in terms of the dyadic fractional maximal function of the gradient. To this end, we apply the following (q, p)-Poincaré inequality on cubes, which we state without proof. See [9, p. 164], for details.
Lemma 4.3
Let \(Q\subset {\mathbb {R}}^n\) be a cube and \(1\le p<\infty \). Let \(1\le q\le \frac{np}{n-p}\) for \(1\le p<n\), and \(1\le q<\infty \) for \(n\le p<\infty \). Then there is a constant \(C = C(n,p,q)\) such that for all \(u\in {{\,\mathrm{Lip}\,}}(Q)\)
\(\square \)
Lemma 4.4
Let \(Q_0\subset {\mathbb {R}}^n\) a cube and \(u\in {{\,\mathrm{Lip}\,}}(Q_0)\). Then for all \(x\in Q_0\)
Proof
Fix a \(x\in Q_0\) and a dyadic cube \(Q\subset Q_0\) containing x. By the (1, 1)-Poincaré inequality on cubes (Lemma 4.3)
The final inequality follows since the choice of Q is arbitrary. \(\square \)
5 Sparse domination II
The following lemma is the other of the two sparse domination results we need. The idea is from Pérez; see the proof of Theorem 1.1 in [22].
Lemma 5.1
Let \(0\le \alpha <n\), \(Q_0\) be a cube in \({\mathbb {R}}^n\), and \(\sigma \in A_\infty ^d(Q_0)\) with constants \(C_\sigma >0\), \(\delta _\sigma >0\). For every \(f\in L^1(Q_0,)\), there is a collection \({\mathcal {S}}\) of \(Q_0\)-dyadic cubes satisfying the following conditions:
-
(a)
There is a constant \(\eta =\eta (C_\sigma ,\delta _\sigma )>0\) and a collection \(\left\{ E_Q\mathbin {:}\, Q\in {\mathcal {S}}\right\} \) of pairwise disjoint sets such that for every \(Q\in {\mathcal {S}}\), \(E_Q\) is a measurable subset of Q with \(\sigma (E_Q)\ge \eta \sigma (Q)\).
-
(b)
For almost every \(x\in Q_0\) and every \(1\le p<\infty \), we have
$$\begin{aligned} \left( M^d_{\alpha , Q_0}f(x)\right) ^p \le C\sum _{Q\in {\mathcal {S}}}{\mathcal {X}}_Q(x)\left( \frac{1}{\left| Q\right| ^{1-\alpha /n}}\int _Q\left| f(y)\right| \mathrm{d}y\right) ^p \end{aligned}$$with \(C= C(n, p, C_\sigma ,\delta _\sigma ) >0\).
Proof
For simplicity, we take f to be nonnegative. To begin with, fix a constant \(a>2^n\) such that
Analogously with the proof of Lemma 3.2, let us denote \(\rho = a\cdot 2^{-n} > 1\). We may assume that
If this is not the case, then \(f = 0\) almost everywhere in \(Q_0\), which implies \(M_{\alpha ,Q_0}^d f = 0\) everywhere in \(Q_0\). Hence there is nothing to estimate and we may choose \({\mathcal {S}}=\left\{ Q_0\right\} \) and \(E_{Q_0}=Q_0\).
Let \(k_0\) be the smallest integer satisfying
For each \(k>k_0\), denote
Let \({\mathcal {S}}_{k_0} = \left\{ Q_0\right\} \) and, for \(k>k_0\), we let \({\mathcal {S}}_k\) denote the collection of maximal \(Q_0\)-dyadic cubes \(Q\subset Q_0\) satisfying
Since \(k>k_0\), we find that each maximal cube is strictly contained in \(Q_0\). Observe also that \(S_k = \cup _{Q\in {\mathcal {S}}_k}Q\) if \(k>k_0\). By the nestedness of the dyadic structure and the construction above, for each \(k\ge k_0\) and \(R\in {\mathcal {S}}_{k+1}\), there exists a unique \(Q\in {\mathcal {S}}_k\) such that \(R\subset Q\). For each \(k\ge k_0\) and \(Q\in {\mathcal {S}}_k\), let
To verify (a), we need to prove that the inequality
holds for all \(Q\in {\mathcal {S}}_k\) and \(k\ge k_0\). Fix \(k\ge k_0 \) and \(Q\in {\mathcal {S}}_k\). By (20), the collection \(\left\{ E_{k,Q}\mathbin {:}\,k\ge k_0, Q\in {\mathcal {S}}_k\right\} \) is pairwise disjoint. To begin with, let \(k> k_0\). Recall that \(\pi Q\) denotes the dyadic parent of Q. It follows from the stopping construction that
because the collection \({\mathcal {S}}_k\) is maximal with respect to the stopping rule (19). Using this and the fact that \(\alpha \ge 0\), we obtain
As for the case \(k=k_0\), recall that \(k_0\) was chosen as the smallest integer such that (18) holds, and \({\mathcal {S}}_{k_0} = \left\{ Q_0\right\} \). Again applying the stopping rule (19) in the first inequality below, we have
Combining the \(A_\infty ^d(Q_0)\) property of \(\sigma \) with the estimates (22) and (23), we obtain
This lets us conclude that the inequality (21) holds:
Looking back at the measure estimates (22) and (23), we notice that
In other words, each \(R\in {\mathcal {S}}_{k+1}\) that is contained in \(Q\in {\mathcal {S}}_k\) is strictly smaller than Q itself. Each \(Q\in {\mathcal {S}}\) belongs to a unique collection \({\mathcal {S}}_k\), and we may define another collection of cubes \({\mathcal {S}}=\cup _{k\ge k_0}{\mathcal {S}}_k\) without including duplicates as well as identify \(E_Q=E_{k,Q}\). Then, the condition (a) holds with \(\eta = 1-C_\sigma \rho ^{-\delta _\sigma } > 0\).
It remains to prove (b). Consider for \(k>k_0\) the sets
We note that
The first set on the right-hand side is of zero measure, since \(M^d_{\alpha ,Q_0}f(x)\le l(Q_0)^\frac{\alpha }{n} M_{Q_0}^{d,1} f(x)\) for every \(x\in Q_0\). Thus, inequality (6) in Lemma 2.4 shows that \(M^d_{\alpha ,Q_0}f(x) <\infty \) for almost every \(x\in Q_0\). Furthermore, \(k_0\) was chosen as the smallest integer such that (18) holds, which means that
Also, recall the stopping condition (19): \({\mathcal {S}}_{k_0} = \left\{ Q_0\right\} \), and for \(k>k_0\), \({\mathcal {S}}_k\) is the collection of maximal \(Q_0\)-dyadic cubes \(Q\subset Q_0\) satisfying
Now fix a \(x\in Q_0{\setminus }\{x\in Q_0\mathbin {:}\,M^d_{\alpha ,Q_0}f(x)=\infty \}\). With the preceding remarks, we have that
This concludes the proof of the lemma. \(\square \)
The following two-weight inequality for the fractional maximal function is a localized variant of a result due to Pérez [22, Theorem 1.1].
Theorem 5.2
Let \(Q_0\subset {\mathbb {R}}^n\) be a cube. Furthermore, let \(0\le \alpha <n\), \(1<p\le q<\infty \), and \(\left( v,w\right) \) a pair of weights in \(Q_0\) such that \(\sigma =v^{-1/(p-1)}\in A_\infty ^d(Q_0)\). The following conditions are equivalent:
-
(a)
There is a \(C >0\) such that, for all \(f\in L^1(Q_0)\),
$$\begin{aligned} \left( \int _{Q_0}\left( M^d_{\alpha , Q_0}f(x)\right) ^q w(x)\mathrm{d}x\right) ^\frac{1}{q} \le C\left( \int _{Q_0} \left| f(x)\right| ^pv(x)\mathrm{d}x\right) ^{\frac{1}{p}}. \end{aligned}$$ -
(b)
There exists a \(K>0\) such that, for all dyadic cubes \(Q\subset Q_0\),
$$\begin{aligned} \left( \frac{1}{\left| Q\right| ^{1-\alpha /n}}\right) ^pw(Q)^{\frac{p}{q}}\sigma (Q)^{p-1}\le K. \end{aligned}$$
In the implication from (b) to (a), the constant C is of the form \(C(n,p,C_\sigma ,\delta _\sigma ,K)\). Here \(C_\sigma \) and \(\delta _\sigma \) are the \(A_\infty ^d(Q_0)\) constants for \(\sigma \).
Proof
First we show that (a) implies (b). Fix a dyadic cube \(Q\subset Q_0\) and let \(f = v^{-1/(p-1)}{\mathcal {X}}_Q\). As per the definition of the dyadic fractional maximal function, we clearly have
Now
where the second inequality on line (24) follows from (a). From here, we conclude that
that is, \(\left| Q\right| ^{-(1-\alpha /n)p}w(Q)^{p/q} \sigma (Q)^{p-1} \le C^p\).
Next we show that (b) implies (a). For a fixed \(f\in L^1(Q_0)\) and \(\sigma \in A_\infty ^d(Q_0)\), let \({\mathcal {S}}\) be the associated collection of cubes given by the sparse domination Lemma 5.1. Then, we have
where (25) follows from Lemma 5.1. On the other hand, by (b) we have that
Recall from Lemma 5.1 (a) that for \(Q\in {\mathcal {S}}\), we have \(\sigma (E_Q)\ge \eta \sigma (Q)\). Furthermore, Lemma 5.1 states that \(\left\{ E_Q\right\} _{Q\in {\mathcal {S}}}\) is a collection of pairwise disjoint sets. Hence we may continue estimating
In (26), we applied disjointness, while (27) follows from the boundedness of \(M^{d, \sigma }_{Q_0}\) (Lemma 2.4). This concludes the proof, since \(v(x)=\sigma (x)^{-(p-1)}\) for every \(x\in Q_0\). \(\square \)
Remark 5.3
The assumption \(\sigma =v^{-\frac{1}{p-1}}\in A_\infty ^d(Q_0)\) is needed in the implication from (b) to (a) in Theorem 5.2. In [23] certain testing conditions are used in the case \(\alpha =0\) to characterize a closely related boundedness result under weaker assumptions on the weight \(\sigma \). Moreover, the special case \(\alpha =0\) of Theorem 5.2 is closely related to Theorem 1.15 in [23].
Our main local result is the following two-weight Poincaré inequality in \(Q_0\), provided that the weights involved satisfy suitable \(A_\infty \) conditions and the dyadic compatibility condition (28). The theorem echoes an earlier result by Chua [5], while being more strictly localized.
Theorem 5.4
Let \(Q_0\) be a cube in \({\mathbb {R}}^n\). Furthermore, let \(1<p\le q<\infty \), (v, w) a pair of weights in \(Q_0\) such that \(w\in A_\infty ^d(Q_0)\), and \(\sigma = v^{-1/(p-1)}\in A_\infty ^d(Q_0)\). Suppose that there exists a constant \(K>0\) such that
for all \(Q_0\)-dyadic cubes \(Q\subset Q_0\). Then, the inequality
holds for every \(u\in {{\,\mathrm{Lip}\,}}(Q_0)\) with
where \(C_w, \delta _w,\) and \(C_\sigma , \delta _\sigma \) are the \(A_\infty ^d(Q_0)\) constants for w and \(\sigma \), respectively.
Proof
Let \(u\in {{\,\mathrm{Lip}\,}}(Q_0)\) and \(\left( v,w\right) \) as assumed. We first apply Theorem 4.2 and Lemma 4.4, then Theorem 5.2:
\(\square \)
6 From local to global
We proceed to provide conditions for domains \(\Omega \) such that there is a constant \(C=C(n,p,\Omega )\) satisfying
for every \(f\in L^1_{\mathop {\hbox {loc}}\limits }(\Omega )\). Theorem 6.9 provides a weighted variant of this local-to-global inequality under the assumption that \(\Omega \) is a Boman domain. This class of domains was introduced by Boman [2]. It is known that a Euclidean domain \(\Omega \) is a Boman domain if and only if it is a John domain [3]. John domains are a more general class than Lipschitz domains, since they can have twisting cones. These classes of domains have been used extensively, for instance, in connection with Poincaré inequalities. Their relevance is covered in [3].
The inequality (29) provides a mechanism to bootstrap inequalities starting from corresponding inequalities on cubes inside the domain. The proof is based on a chaining argument, and we adapt the rather well known argument developed in [14]; see also [5]. For this purpose, we need to define chains.
Definition 6.1
Let \(\Omega \) be a bounded domain in \({\mathbb {R}}^n\) and consider Whitney cubes \(Q\in {\mathcal {W}}(\Omega )\). We say that
is a chain in \(\Omega \) joining \(Q_0\) to \(Q = Q_k\), if \(Q_i\ne Q_j\) whenever \(i\ne j\), and for each \(j\in \left\{ 1,\ldots , k\right\} \) there exists a cube \(R\subset Q_j^*\cap Q^*_{j-1}\) for which
The collection \(\left\{ {\mathcal {C}}(Q)\mathbin {:}\, Q\in {\mathcal {W}}(\Omega )\right\} \) is called a chain decomposition of \(\Omega \), with a fixed Whitney cube \(Q_0\) as the common starting point for all chains. The shadow of a Whitney cube \(R\in {\mathcal {W}}(\Omega )\) is the set \({\mathcal {S}}(R)=\left\{ Q\in {\mathcal {W}}(\Omega )\mathbin {:}\, R\in {\mathcal {C}}(Q)\right\} \). Worth noticing is the duality of the concepts of chain and shadow: \(R\in {\mathcal {C}}(Q)\) if and only if \(Q\in {\mathcal {S}}(R)\).
We will assume throughout that \(\Omega \) is a Boman domain, which means that it satisfies the following chain condition.
Definition 6.2
A domain \(\Omega \subset {\mathbb {R}}^n\) is said to satisfy the Boman chain condition with constant \(N\ge 1\) if there exists a chain decomposition of \(\Omega \) such that for all \(R=Q(x_R,r_R)\in {\mathcal {W}}(\Omega )\)
Open cubes, balls, and bounded Lipschitz domains are Boman domains in \({\mathbb {R}}^n\). More generally, so-called bounded John domains are examples of Boman domains; we refer to [3] for details.
Finally, we require the weight w to be doubling in the following sense.
Definition 6.3
A weight w in an open set \(\Omega \) is called doubling in \(\Omega \) with constant D if there exists a constant \(D = D(n,w)\) such that whenever \(Q=Q(x_Q,r_Q)\subset {\mathbb {R}}^n\) is any cube with its midpoint \(x_Q\) in \(\Omega \) we have
Next we show that doubling weights in \({\mathbb {R}}^n\) are doubling weights on Boman domains as well.
Lemma 6.4
Let w be a doubling weight in \({\mathbb {R}}^n\) with constant \(D_1\), and \(\Omega \) a Boman domain with constant \(N\ge 1\). Then, w is doubling in \(\Omega \) with constant \(D(n,N,\Omega ,Q_0,D_1)\).
Proof
Fix a cube \(Q=Q(x_Q,r_Q)\) with its midpoint \(x_Q\) in \(\Omega \). If \(l(Q)> 2{{\,\mathrm{diam}\,}}(\Omega )\), then
Hence, in the following we may assume that \(l(Q)\le 2{{\,\mathrm{diam}\,}}(\Omega )\). It suffices to prove that there is a constant \(\lambda = \lambda (n,N,Q_0,\Omega )\) and another cube \(R\subset Q\cap \Omega \) such that \(l(Q)\le \lambda l(R)\). Here \(Q_0\) is the fixed cube in the chain decomposition of \(\Omega \). Indeed, using this and the global doubling property of w, we estimate
It now suffices to prove that the cube R exists. Let \(\rho =\rho (N,n)\) be such that \(\rho (1+N)\sqrt{n}<\frac{1}{2}\). Fix a Whitney cube \(P\in {\mathcal {W}}(\Omega )\) such that \(x_Q\in P\). There are two cases to consider: either \(l(P)>\rho l(Q)\) or not. In the first case, we take \(R=Q(x_Q,\min \{r_Q,d(x_Q,\partial \Omega )/(2\sqrt{n})\})\subset Q\cap \Omega \). Observe that \(x_Q\in P\in {\mathcal {W}}(\Omega )\), and thus
Therefore \(l(R)\ge C(\rho )l(Q)\).
Next assume that \(l(P)\le \rho l(Q)\). Consider the chain \({\mathcal {C}}=(Q_0,\ldots ,Q_k)\), where \(Q_k=P\). Denote by \(i_0\) the smallest index \(i\in \{0,\ldots ,k\}\) for which \(l(Q_i)\le \rho l(Q)\) and denote \(R=Q_{i_0}\). If \(i_0=0\), then
On the other hand, if \(i_0>0\), then
Here we also used the fact that adjacent cubes in the chain have comparable side lengths. Furthermore, we claim that \(R\subset Q\cap \Omega \). Recall that \(P\in {\mathcal {S}}(R)\) and thus \(x_Q\in P\subset NR\) by the Boman chain condition (30). Fix a \(x\in R\). Then
Hence \(\left| x-x_Q\right| <l(Q)/2\) and thus \(x\in Q\). Since R is a Whitney cube, it follows that \(R\subset Q\cap \Omega \), as claimed. \(\square \)
Definition 6.5
Let \(\Omega \) be an open set and let w be a doubling weight in \(\Omega \). We define the non-centered maximal function for \(f\in L^1(\Omega ; w\mathrm{d}x)\) by
where \(x\in \Omega \) and the supremum is taken over cubes \(Q\subset {\mathbb {R}}^n\) such that \(x_Q\in \Omega \) and \(Q\ni x\).
We will make use of the fact that the maximal function \({\widetilde{M}}^w\) is bounded on \(L^p(\Omega ; w\mathrm{d}x)\). For one instance of the proof, see Theorem 3.13 in [1].
Lemma 6.6
Let \(1<p<\infty \), w a doubling weight in an open set \(\Omega \), and \(f\in L^p(\Omega ; w\mathrm{d}x)\). Then, \({\widetilde{M}}^w f\in L^p(\Omega ; w\mathrm{d}x)\) and there is a constant \(C = C(n,p,w)\) such that
To use the following lemma is an idea of Iwaniec and Nolder’s [14, Lemma 4].
Lemma 6.7
Let \(\Omega \) be a Boman domain with constant \(N\ge 1\), w a doubling weight in \(\Omega \) with a constant D, and \(1\le p<\infty \). Furthermore, let \(\left\{ a_Q\mathbin {:}\,Q\in {\mathcal {W}}(\Omega )\right\} \) be a set of nonnegative real numbers. Then, there is a constant \(C = C\left( p,D,N\right) \) for which
Proof
The case \(p=1\) follows from the fact that the weight w is doubling in \(\Omega \); we will assume that \(1<p<\infty \). By duality and the fact that bounded measurable functions are dense in \(L^{p'}(\Omega ; w\mathrm{d}x)\), where \(p'=p/(p-1)\), it is enough to show that
for every bounded measurable function \(\psi \) satisfying \(\left\Vert \psi \right\Vert _{L^{p'}(\Omega ; w\mathrm{d}x)}=1\). Let \(\psi \) be such a function and \(Q\in {\mathcal {W}}(\Omega )\). Then, for every \(x\in \Omega \cap NQ\),
Averaging this inequality over \(Q\subset \Omega \cap NQ\) with respect to the measure \(w\mathrm{d}x\) and using the fact that w is doubling in \(\Omega \), we obtain
Using the triangle inequality and the estimate (31), we obtain
Next, we rearrange (32) and apply Hölder’s inequality:
The desired result follows by the boundedness of the maximal function \({\widetilde{M}}^w\) (Lemma 6.6) and the fact that \(\left\Vert \psi \right\Vert _{L^{p'}(\Omega ; w\mathrm{d}x)}=1\). \(\square \)
Recall that \(u_{w;Q} = w(Q)^{-1}\int _{Q}u(x)w(x)\mathrm{d}x\).
Lemma 6.8
Let \(\Omega \) be a Boman domain, w a doubling weight in \(\Omega \) with a constant D, and \({\mathcal {C}}(Q)=\left( Q_0, \ldots , Q_k\right) \) a chain joining the cube \(Q_0\) to \(Q_k=Q\in {\mathcal {W}}(\Omega )\), with k depending on Q. Then, for all \(u\in L^1_{\mathop {\hbox {loc}}\limits }(\Omega ; w\mathrm{d}x)\),
Proof
Fix a \(u\in L^1_{\mathop {\hbox {loc}}\limits }(\Omega ; w\mathrm{d}x)\). Then
Let us fix \(i=1,2,\ldots ,k\). By the definition of a chain (Definition 6.1), there exists a cube \({\widetilde{Q}}\subset Q_i^*\cap Q_{i-1}^*\) such that \(w({\widetilde{Q}})>0\); likewise there is \(\lambda \), depending only on the dimension n, such that \(Q^*_{i-1}\cup Q_i^* \subset \lambda {\widetilde{Q}}\). Since the weight w is doubling in \(\Omega \), we obtain the estimate
The exact same estimate holds for \(w(Q^*_{i-1})\). We may estimate both parts of the sum (33) as follows. For the sake of demonstration, choose the first one:
In (35), we applied the doubling property of w through the estimate (34). Estimating the second part of (33) in like manner and taking all indices into account, we have
which is the desired estimate, since \(\lambda \) only depends on n. \(\square \)
Finally, the following theorem connects the global scale and the cubewise estimates.
Theorem 6.9
Let \(\Omega \) be a Boman domain with a constant \(N\ge 1\) and w a doubling weight in \(\Omega \) with a constant D. If \(u\in L^1_{\mathop {\hbox {loc}}\limits } (\Omega ; w\mathrm{d}x)\) and \(1\le p<\infty \), then
Proof
Let \(Q_0\) be the fixed central cube in the chain decomposition of \(\Omega \). By the triangle inequality for each \(x\in \Omega \), we may write
Hence, it holds that
We will estimate each integral on the right-hand side separately, beginning with the first one. Recalling that the Whitney cubes cover \(\Omega \) and are disjoint, we have
which is of the required form. The integral associated with \(g_2\) is estimated by using chains. We begin by
Applying Lemma 6.8 and Hölder’s inequality, we obtain for every \(Q\in {\mathcal {W}}(\Omega )\)
where for every \(R\in {\mathcal {C}}(Q)\)
Summing the estimates (37) and using the shadow–chain duality, we obtain
By the Boman chain condition (30), we have \(\sum _{Q\in {\mathcal {S}}(R)}{\mathcal {X}}_Q \le {\mathcal {X}}_{NR}\), and
We substitute this back into (36), and respectively apply Lemma 6.7, Hölder’s inequality for sums recalling that Whitney cubes are disjoint, and the doubling property of the weight w:
\(\square \)
7 Conclusion, applications to distance weights, and the p-Laplacian
We are now ready to combine the local and local-to-global theorems into our main result.
Theorem 7.1
Let \(\Omega \subset {\mathbb {R}}^n\) be a Boman domain with a constant \(N\ge 1\), \(1<p\le q<\infty \), and \(\left( v,w\right) \) a pair of weights in \(\Omega \), w doubling in \(\Omega \) with a constant D, and \(\sigma = v^{-1/(p-1)}\). Suppose that there exist strictly positive constants \(C_w\) and \(\delta _w\) such that for every cube \(Q\in {\mathcal {W}}(\Omega )\) it holds that
for all \(Q^*\)-dyadic cubes \(R\subset Q^*\) and all measurable sets \(E\subset R\), and that there exist similar constants \(C_\sigma \) and \(\delta _\sigma \) for the weight \(\sigma \). Furthermore, suppose that there exists a constant \(K>0\) such that for every cube \(Q\in {\mathcal {W}}(\Omega )\), we have
for all \(Q^*\)-dyadic cubes \(R\subset Q^*\). Then, for any \(u\in {{\,\mathrm{Lip}\,}}_{\mathop {\hbox {loc}}\limits }(\Omega )\)
where the constant \(C = C(n, p, q, N, D, K, C_w, C_\sigma , \delta (w), \delta (\sigma )) > 0\).
Proof
Begin by applying Theorem 6.9:
The second term can estimated using Hölder’s inequality and absorbed into the first:
Continuing from (39), we apply Theorem 5.4, the fact that \(q\ge p\), and that the \(Q^*\) have bounded overlap: \(\sum _{Q\in {\mathcal {W}}}{\mathcal {X}}_{Q^*}\le C(n)\). This yields
Taking qth roots completes the proof. \(\square \)
It remains to say something about what pairs of weights fulfill the requirements of Theorem 7.1. The following two theorems give two applications to distance weights, provided that the Aikawa (or, indeed, Assouad; see [15]) dimension of the set from which the distance is measured is “small enough”. The integral condition (40) below expresses exactly this, even if we will say no more about either Aikawa or Assouad. This being the case, it can be proven (see [6]) that the distance function raised to a suitable power is in the class \(A_\infty \), and we are able to apply the results at hand.
The following result provides a localized variant of [6, Theorem 6.1].
Theorem 7.2
Let \(1<p\le q\le \frac{np}{n-p}<\infty \), and \(E\subset {\mathbb {R}}^n\) a nonempty closed set satisfying
for every cube R with its midpoint \(x_R\) in E and \(r>0\) with a constant \(C_1=C_1(n,p,q,E)\). Let \(Q\subset {\mathbb {R}}^n\) be a cube and \(u\in {{\,\mathrm{Lip}\,}}(Q)\). Then there exists another constant \(C = C(n,p,q,C_1)\) such that
Proof
Let \(w(x) = d(x,E)^{-n+\frac{q}{p}(n-p)}\) and \(v(x)= 1 = \sigma (x)\) for \(x\in {\mathbb {R}}^n\). Because we have assumed condition (40), Corollary 3.8 in [6] tells that the weight w belongs to the global Muckenhoupt classes \(A_1({\mathbb {R}}^n)\subset A_\infty ({\mathbb {R}}^n)\), whence in particular \(w\in A^d_\infty (Q_0)\) with constants \(C_w\) and \(\delta _w\) depending on n, p, q and \(C_1\) only. It is enough to show that there is a constant \(K = K(n, p, q, C_1)\) such that (28) holds for all cubes \(Q\in {\mathcal {D}}(Q_0)\); if so, the result follows from Theorem 5.4.
To this end, fix a dyadic cube \(Q = Q(x_Q,r_Q)\in {\mathcal {D}}(Q_0)\). Assume first that \(Q(x_Q, 2r_Q)\cap E \ne \varnothing \). Then there is a \(z\in E\) such that \(Q\subset Q(z,3r_Q)\). As we have assumed that E satisfies the condition (40), we may estimate
Since \(\sigma (Q)^{p-1} = \left| Q\right| ^{p-1}\), we calculate
which proves (28) in the case \(Q(x_Q, 2r_Q)\cap E \ne \varnothing \). Assume next that \(Q(x_Q,2r_Q)\cap E = \varnothing \). In this case, we have for every \(x\in Q = Q(x_Q,r_Q)\)
Hence
By assumption \(n-p-\frac{np}{q}\le 0\) and \(d(Q,E)\ge r_Q\), and thus
which completes the proof. \(\square \)
Theorem 7.3
Let \(1<p\le q\le \frac{np}{n-p}<\infty \), \(\beta = n-\frac{q}{p}(n-p)\), and \(\Omega \subset {\mathbb {R}}^n\) a Boman domain with constant \(N\ge 1\) such that \(w(x) = d(x,\partial \Omega )^{-\beta }\) is doubling in \(\Omega \) with constant D. Then there is a constant \(C = C(n,p,q,D,N)\) such that
for every \(u\in {{\,\mathrm{Lip}\,}}_{\mathop {\hbox {loc}}\limits }(\Omega )\).
Proof
We can apply Theorem 6.9, and then pass from \(u_{w;Q^*}\) to \(u_{Q^*}\) as in the proof of Theorem 7.1:
where \(C = C(n,p,q,D,N)\). The final inequality (41) follows from (5), that is, the side length of a dilated Whitney cube \(Q^*\) is comparable to its distance from the domain boundary.
To continue, fix a cube \(Q\in {\mathcal {W}}(\Omega )\). The (q, p)-Poincaré inequality of Lemma 4.3 implies
since \(q+n-\frac{nq}{p} = \beta \). Substituting this estimate back into (41), keeping in mind that \(q\ge p\) and that the dilated Whitney cubes \(Q^*\) have a bounded overlap, we have
with \(C = C(n,p,q,D,N)\), whereby the proof is complete. \(\square \)
Remark 7.4
As an alternative to the doubling assumption on w, we could have assumed \(\Omega \) to be such that its boundary satisfies the Aikawa condition
for every cube R with its midpoint \(x_R\) on \(\partial \Omega \) and \(r>0\) with a constant \(C_1 = C_1(n,p,q,\Omega )\). In this case, as in the proof of Theorem 7.2, we conclude that \(w\in A_\infty ({\mathbb {R}}^n)\), and hence w is doubling in \({\mathbb {R}}^n\). Lemma 6.4 now implies that w is doubling in \(\Omega \) with constant \(D=D(n,p,q,Q_0,\Omega )\).
Finally, let us take a look into the p-Laplace equation
More specifically, we consider weak supersolutions of the p-Laplace equation. Recall that \(W^{1,p}_{\mathop {\hbox {loc}}\limits }(\Omega )\) is the Sobolev space of all \(f\in L^p_{\mathop {\hbox {loc}}\limits }(\Omega )\) whose distributional first derivatives belong to \(L^p_{\mathop {\hbox {loc}}\limits }(\Omega )\).
Definition 7.5
Let \(\Omega \subset {\mathbb {R}}^n\) be an open set and \(1<p<\infty \). We call \(u\in W^{1,p}_{\mathop {\hbox {loc}}\limits }(\Omega )\) a weak supersolution of the p-Laplace equation (43) in \(\Omega \) if for all nonnegative \(\eta \in C^\infty _0(\Omega )\)
For instance, the first eigenfunction of the p-Laplacian is a nonnegative weak supersolution of the original equation. For an introduction to the eigenvalue problem, see [18].
As per regularity theory, weak supersolutions could be said to satisfy half of the Harnack inequality. The following theorem is Theorem 3.59 in [11] formulated for cubes.
Theorem 7.6
Let \(1<p<\infty \), \(\Omega \subset {\mathbb {R}}^n\) be an open set, and let \(u\in W^{1,p}_{\mathop {\hbox {loc}}\limits }(\Omega )\) be a nonnegative weak supersolution of the p-Laplace equation in \(\Omega \). Then, for each \(0<\beta <\infty \) with \(\beta (n-p)<n(p-1)\) there is a constant \(C = C(n,p,\beta )\) such that
for all cubes \(Q\subset \Omega \) such that \(4Q\subset \Omega \).
This setting motivates yet another simple application. Namely, using the local result (Theorem 5.4), it is possible to obtain a single-weighted Poincaré inequality in cubes lying “well inside” \(\Omega \) when the weight is a suitable supersolution to the p-Laplace equation. Observe that we can always choose \(p=2\) below, which leads to the classical Laplace equation.
Theorem 7.7
Let \(\Omega \) be a bounded domain, and \(\frac{2n}{n+1}<p<\infty \). Furthermore, let \(w\in W^{1,p}_{\mathop {\hbox {loc}}\limits }(\Omega )\) be a weak supersolution of the p-Laplace equation in \(\Omega \) such that \(w(x)>0\) for almost every \(x\in \Omega \), and \(Q_0\subset \Omega \) a cube such that \(4Q_0\subset \Omega \). The weighted Poincaré inequality
holds for every \(u\in {{\,\mathrm{Lip}\,}}(Q_0)\) with \(C = C(n, p) > 0\).
Proof
We will check the assumptions of Theorem 5.4 for \(v=|Q_0|^{\frac{p}{n}}w\), \(p=q\), and \(Q_0\) such that \(4Q_0\subset \Omega \); such cubes will be referred to as admissible. Whenever \(Q_0\) is admissible, all dyadic subcubes \(Q\in {\mathcal {D}}(Q_0)\) are naturally so as well. We remark that v is also a weak supersolution to the p-Laplace equation in \(\Omega \) such that \(v(x)>0\) for almost every \(x\in \Omega \). Write \(\sigma = v^{-1/(p-1)}\).
Fix an admissible cube \(Q_0\) and \(Q\in {\mathcal {D}}(Q_0)\). Being a nonnegative supersolution, w satisfies the inequality (44) in Q. In particular, letting \(1\le \beta =\beta (n,p)<\infty \) with \(\beta (n-p)<n(p-1)\), we obtain a reverse Hölder inequality
Let \(E\subset Q\) be a measurable set. By using first Hölder’s inequality and then the reverse Hölder inequality (45) with \(\beta > 1\), which is possible since \(p>\frac{2n}{n+1}\), we obtain
Thus \(w\in A^d_\infty (Q_0)\) with constants \(\delta _w=\frac{\beta -1}{\beta }>0\) and \(C_w=C(n,p)\). On the other hand, by Hölder’s inequality,
Recall that \(v(x)>0\) for almost every \(x\in \Omega \). Hence, applying inequality (44) with \(u=v\) and \(\beta =1\), we obtain
Raising both sides to the negative power \(-\frac{1}{p-1}\) yields
As a consequence, we obtain for all measurable sets \(E\subset Q\) that
Thus \(\sigma \in A^d_\infty (Q_0)\) with constants \(\delta _\sigma =1\) and \(C_\sigma =C(n,p)\).
The condition (28) is verified next. Fix a cube \(Q\in {\mathcal {D}}(Q_0)\), recall that \(-\frac{1}{p-1}< 0\) and \(v=|Q_0|^{\frac{p}{n}}w\), and apply (45):
The result then follows from Theorem 5.4. \(\square \)
References
Björn, A., Björn, J.: Nonlinear Potential Theory on Metric Spaces, EMS Tracts in Mathematics, vol. 17. European Mathematical Society (EMS), Zürich (2011)
Boman, J.: \(L^p\)-Estimates for Very Strongly Elliptic Systems, Technical Report 29. Department of Mathematics, Stockholm University (1982)
Buckley, S.M., Koskela, P., Lu, G.: Boman Equals John, XVIth Rolf Nevanlinna Colloquium (Joensuu, 1995), pp. 91–99 (1996)
Chanillo, S., Wheeden, R.L.: Poincaré inequalities for a class of non-\(A_p\) weights. Indiana Univ. Math. J. 41(3), 605–623 (1992)
Chua, S.-K.: Weighted Sobolev inequalities on domains satisfying the chain condition. Proc. Am. Math. Soc. 117(2), 449–457 (1993)
Dyda, B., Ihnatsyeva, L., Lehrbäck, J., Tuominen, H., Vähäkangas, A.V.: Muckenhoupt \(A_p\)-properties of distance functions and applications to Hardy–Sobolev -type inequalities. Potential Anal. 50(1), 83–105 (2019)
Fefferman, C.L., Stein, E.M.: \(H^{p}\) spaces of several variables. Acta Math. 129(3–4), 137–193 (1972)
García-Cuerva, J., Rubio de Francia, J.L.: Weighted Norm Inequalities and Related Topics, North-Holland Mathematics Studies, vol. 116, North-Holland Publishing Co., Amsterdam, (1985). Notas de Matemática [Mathematical Notes], p. 104
Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order. In: Classics in Mathematics. Springer, Berlin, (2001). Reprint of the 1998 edition
Grafakos, L.: Classical Fourier Analysis. Graduate Texts in Mathematics, 2nd edn., vol. 249, Springer, New York (2008)
Heinonen, J., Kilpeläinen, T., Martio, O.: Nonlinear Potential Theory of Degenerate Elliptic Equations. Dover Publications, Inc., Mineola (2006). Unabridged republication of the 1993 original
Hurri, R.: The weighted Poincaré inequalities. Math. Scand. 67(1), 145–160 (1990)
Hurri-Syrjänen, R.: Unbounded Poincaré domains. Ann. Acad. Sci. Fenn. Ser. A I Math. 17(2), 409–423 (1992)
Iwaniec, T., Nolder, C.A.: Hardy–Littlewood inequality for quasiregular mappings in certain domains in \(\mathbb{R}^n\). Ann. Acad. Sci. Fenn. Ser. A I Math. 10, 267–282 (1985)
Lehrbäck, J., Tuominen, H.: A note on the dimensions of Assouad and Aikawa. J. Math. Soc. Jpn. 65(2), 343–356 (2013)
Lerner, A.K.: A pointwise estimate for the local sharp maximal function with applications to singular integrals. Bull. Lond. Math. Soc. 42(5), 843–856 (2010)
Lerner, A.K., Ombrosi, S., Rivera-Ríos, I.P.: On pointwise and weighted estimates for commutators of Calderón–Zygmund operators. Adv. Math. 319, 153–181 (2017)
Lindqvist, P.: A nonlinear eigenvalue problem. In: Topics in Mathematical Analysis, Ser. Anal. Appl. Comput., vol. 3, pp. 175–203. World Scientific Publication, Hackensack (2008)
Maz’ya, V., Shaposhnikova, T.: Sobolev Spaces, 2nd, rev. and augmented ed, Grundlehren der mathematischen Wissenschaften, Springer, Berlin, cop. (2011)
Muckenhoupt, B., Wheeden, R.: Weighted norm inequalities for fractional integrals. Trans. Am. Math. Soc. 192, 261–274 (1974)
Pereyra, M.C.: Dyadic Harmonic Analysis and Weighted Inequalities: The Sparse Revolution, arXiv e-prints (2018). arXiv:1812.00850
Pérez, C.: Two weighted norm inequalities for Riesz potentials and uniform \({L}^p\)-weighted Sobolev inequalities. Indiana Univ. Math. J. 39(1), 31–44 (1990)
Ramseyer, M., Salinas, O., Viviani, B.E.: Two-weight norm inequalities for the local maximal function. J. Geom. Anal. 27(1), 120–141 (2017)
Strömberg, J.-O., Torchinsky, A.: Weighted Hardy Spaces, Lecture Notes in Mathematics. Springer, Berlin (1989)
Turesson, B.O.: Nonlinear Potential Theory and Weighted Sobolev Spaces, Lecture Notes in Mathematics. Springer, Berlin (2000)
Acknowledgements
Open access funding provided by Aalto University. Funding was provided by Emil Aaltosen Säätiö (Grant No. 180123 N), Luonnontieteiden ja Tekniikan Tutkimuksen Toimikunta (Grant No. 13308063).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors would like to thank Lucio Boccardo and Juha Kinnunen for the research question, as well as Andrei Lerner and Ritva Hurri-Syrjänen for pointing out valuable references. Emma-Karoliina Kurki thanks the Emil Aaltonen Foundation for the young researcher’s grant that made this project possible. This research was supported by the Academy of Finland.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kurki, EK., Vähäkangas, A.V. Weighted norm inequalities in a bounded domain by the sparse domination method. Rev Mat Complut 34, 435–467 (2021). https://doi.org/10.1007/s13163-020-00358-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13163-020-00358-8