Abstract
The natural maximal and minimal functions commute pointwise with the logarithm on \(A_\infty \). We use this observation to characterize the spaces \(A_1\) and \(RH_\infty \) on metric measure spaces with a doubling measure. As the limiting cases of Muckenhoupt \(A_p\) and reverse Hölder classes, respectively, their behavior is remarkably symmetric. On general metric measure spaces, an additional geometric assumption is needed in order to pass between \(A_p\) and reverse Hölder descriptions. Finally, we apply the characterization to give simple proofs of several known properties of \(A_1\) and \(RH_\infty \), including a refined Jones factorization theorem. In addition, we show a boundedness result for the natural maximal function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The natural maximal function \(M^\natural \) is a variant of the Hardy–Littlewood maximal function dropping the absolute value signs. As shown by Ou [18, 19] in \(\mathbb {R}^n\), it commutes pointwise with the logarithm on \(A_\infty \), and so does its close relative the natural minimal function \(m^\natural \). Starting from this observation, we describe the structure of the spaces \(A_1\) and \(RH_\infty \), which may be summarised as follows.
Theorem 1.1
Let X be a metric space with a doubling measure and satisfying an annular decay property. Then
Here we have written \(w\in e^{BLO}\) whenever \(\log w\in BLO\), etc. BLO and BUO stand for functions of bounded lower and upper oscillation, respectively. By definition, \(A_1\) and \(RH_\infty \) are the limiting classes of Muckenhoupt \(A_p\) weights for \(p>1\), and of functions satisfying a reverse Hölder inequality with exponent \(s>1\), respectively. While \(A_1\) consists of those nonnegative functions \(w\in L^1_{\mathop {\textrm{loc}}\limits }(X)\) such that \(Mw\le Cw\) a.e. in X, \(RH_\infty \) may be defined by means of the minimal function as the class of those w that satisfy \(w\le Cmw\) a.e. As seen in Lemma 3.3, the maximal and minimal functions can be used to characterize the oscillation spaces BLO and BUO. Coupled with the aforementioned commutation result (Lemma 3.2), we find 1.
Theorem 1.1 generalizes Ou’s Euclidean result [19] to metric measure spaces. The characterization of \(A_1\) was first discussed by Coifman–Rochberg [4, Corollary 3], and the characterization of \(RH_\infty \) is due to Cruz-Uribe–Neugebauer [7, Corollary 4.6]. All the aforementioned authors are concerned with Euclidean spaces. The complication arising in more general metric measure spaces is that while \(A_\infty \) weights do satisfy a reverse Hölder inequality, the reverse is generally not true unless we introduce an additional assumption. To this end, we invoke the so-called annular decay property, which will be discussed in more detail in Sect. 2. The principal references to the theory of Muckenhoupt weights on metric measure spaces are [5, 9, 23], while [10] is a solid classical treatment in \(\mathbb {R}^n\). Cruz-Uribe–Neugebauer’s aforementioned article [7] is a systematic investigation of reverse Hölder classes in the Euclidean context. Some of the theory has been adapted into metric spaces by Kinnunen–Shukla in [14, 15]. Saito–Tanaka [21] consider maximal operators and reverse Hölder classes in \(\mathbb {R}^n\) with respect to a general base of open sets. Finally, we refer to [11] for a visual scheme and many more classical references.
In Sect. 3, we introduce the natural maximal and minimal functions \(M^\natural \) and \(m^\natural \) insofar as is necessary to prove Theorem 1.1. In particular, we show that they commute with the logarithm on \(A_\infty \), which allows us to pass between \(A_p\) and BMO in the proofs that follow. Section 4 is dedicated to the following boundedness result for the natural maximal function, generalizing Ou’s note [18] to metric measure spaces.
Theorem 1.2
Let X be a metric space with a doubling measure and satisfying an annular decay property. Then, \(M^\natural \mathbin {:}BMO(X) \rightarrow BLO(X)\) is bounded if and only if \(M\mathbin {:}A_\infty (X) \rightarrow A_1(X)\) is.
Section 5 contains the proof of Theorem 1.1, whose general outline was given above. In the final section, we demonstrate how a number of known properties of \(A_1\) and \(RH_\infty \) follow all but immediately from Theorem 1.1. These were already established by Ou [19] in Euclidean spaces. Provided that the space X satisfies an annular decay property (or, indeed, any sufficient assumption yet to be determined; see the discussion in Sect. 2), the metric-space proofs are the same. This is hardly surprising, because in either case the logarithmic formalism provided by Theorem 1.1 reduces arguments into arithmetic with exponents on the oscillation side. The reader may observe that the simplicity of Theorem 1.1 is somewhat deceptive, since its level of abstraction requires a degree of regularity of the underlying space.
Notably, the characterization yields a proof of Cruz-Uribe–Neugebauer’s refined Jones factorization theorem [7, Theorem 5.1], that includes information on the reverse Hölder classes.
Theorem 1.3
Let X be a metric space with a doubling measure and satisfying an annular decay property, and \(1<p,s<\infty \). The weight \(w\in A_p(X)\cap RH_s(X)\) if and only if \(w=w_1w_2\) for some \(w_1\in A_1(X)\cap RH_s(X)\), \(w_2\in A_p(X)\cap RH_\infty (X)\).
2 Notation and Preliminaries
Throughout, we consider a complete metric measure space , where the Borel measure \(\mu \) satisfies the doubling condition: there exists a constant \(C_d=C_d(\mu ) > 1\) such that
for all balls \(B\subset X\). The doubling condition implies that X is separable, and since X is complete, it is proper [2, Proposition 3.1]. An open ball with center \(x\in X\) and radius \(r>0\) is denoted \(B = B(x, r)\), where the center and radius are left out when not of interest. We occasionally use the notation \(cB = B(x, cr)\) for the ball dilated by a constant \(c>0\). Various constants are denoted by the letter C, whose dependence on parameters is indicated in parentheses when relevant.
Whenever \(E\subset X\) is a measurable subset and the function f is integrable on every compact subset of E, we say that f is locally integrable on E, denoted \(f\in L^1_{\mathop {\textrm{loc}}\limits }(E)\). If the measure \(\nu \) is absolutely continuous with respect to \(\mu \) and if there exists a nonnegative locally integrable function w such that \(d\nu =w \mathrm {\,d}\mu \), we call \(\nu \) a weighted measure with respect to \(\mu \), and w a weight, following [23, p. 1]. For any measurable subset \(F\subset E\) and weight w on E, we write \(w(F)=\int _F w \mathrm {\,d}\mu \). The integral average of a function \(f\in L^1(E)\) over a measurable set \(F\subset E\), with \(0<\mu (F)<\infty \), is abbreviated
Definition 2.1
For \(1<p<\infty \), a nonnegative function \(w\in L^1_{\mathop {\textrm{loc}}\limits }(X)\) that satisfies
is called a Muckenhoupt \(A_p(X)\) weight. When \(p=1\), we require instead that there exist a constant \(\left[ w\right] _{1}<\infty \) such that for every ball \(B\subset X\)
In both cases, the constant denoted \(\left[ w\right] _{p}\) is called the \(A_p\) constant of w.
As for the class \(A_\infty \), we choose the following definition, sometimes called the reverse Jensen inequality.
Definition 2.2
A nonnegative function \(w\in L^1_{\mathop {\textrm{loc}}\limits }(X)\) belongs to the class \(A_\infty (X)\) if
Again, the constant denoted \(\left[ w\right] _{\infty }\) is called the \(A_\infty \) constant of w.
Definition 2.3
For a \(f\in L^1_{\mathop {\textrm{loc}}\limits }(X)\) the Hardy–Littlewood maximal and Cruz-Uribe–Neugebauer minimal functions, respectively, are defined by
where the supremum (infimum) is taken over all balls \(B\subset X\) containing the point x.
As is well known, \(A_p(X)\) weights are precisely those for which the maximal function is bounded on the weighted space \(L^p(X; w \mathrm {\,d}\mu )\) [23, Theorem I.9]. The minimal function was introduced by Cruz-Uribe and Neugebauer in [7] to illuminate the structure of the reverse Hölder classes, which will be introduced shortly. It suits our purpose to express the \(A_1\) condition 3 in terms of the maximal function:
Definition 2.4
Let \(1<s<\infty \). The nonnegative function \(w\in L^1_{\mathop {\textrm{loc}}\limits }(X)\) belongs to the reverse Hölder class \(RH_s(X)\), if there exists a constant \(C<\infty \) such that for every ball \(B\subset X\)
Furthermore, w belongs to the class \(RH_\infty (X)\) if there exists a constant \(C<\infty \) such that for every ball \(B\subset X\)
or, equivalently, there exists a constant \(C<\infty \) such that for almost every \(x\in X\)
The above definitions neatly reflect the symmetrical nature of \(A_1\) and \(RH_\infty \) as the limiting classes of \(A_p\), \(1<p<\infty \), and \(RH_s\), \(1<s<\infty \), as well as the role of the extremal functions with respect to these classes. This will be the subject of Sect. 5. For now, we remark that
with a proper inclusion in each case. For discussion and examples see [12, Lemma 2.3] and [7, Sect. 4].
In Euclidean spaces it is well known that the class \(A_\infty \) can be characterized in a number of equivalent ways, of which the reverse Hölder 6 and reverse Jensen 4 inequalities are two. In other words, a weight w belongs to \(A_\infty \) if and only if it satisfies a reverse Hölder inequality for some \(s>1\). In metric measure spaces, however, this is not universally true. Kinnunen and Shukla [14, 22] give a detailed presentation of the metric-space theory, assuming the so-called \(\alpha \)-annular decay property.
Definition 2.5
A metric measure space \((X,d,\mu )\) with a doubling measure \(\mu \) is said to satisfy the \(\alpha \)-annular decay property with \(0\le \alpha \le 1\), if there exists \(C\ge 1\) such that for every \(x\in X\), \(r>0\), and \(0<\delta <1\)
The constant C is independent of the point, radius, and \(\delta \).
Whenever the exact parameter \(\alpha \) is not of interest, we say that a space satisfies an annular decay property if it satisfies the \(\alpha \)-annular decay property for some \(0\le \alpha \le 1\).
In [14, 22] the annular decay property guarantees that when the underlying measure is doubling, any weighted measure comparable to it is doubling as well. This implication, in turn, is needed in order to pass from qualitative to quantitative characterization of \(A_\infty \), and ultimately to the reverse Hölder inequality. It follows that the comparability of measures, reverse Jensen, and reverse Hölder inequalities can be taken as equivalent characterizations of the class \(A_\infty \), just as in the Euclidean case.
Early publications involving the annular decay property or a slight variant are [3, 6, 8]. It is well known to hold true for a fairly large class of spaces, including all length spaces; see e.g. [3, 20]. Strömberg and Torchinsky [23] develop the Muckenhoupt—reverse Hölder theory in metric measure spaces under the assumption that the measure of a ball depend continuously on its radius. We wish to emphasize that the annular decay property, although sufficient, might not be necessary for our purposes. For convenience, we adopt the assumption 8 wherever a reverse Hölder inequality is needed.
In [19, Propositions 4.2 and 4.4], the logarithmic characterization to be introduced in Sect. 5 is used to show the following lemma. In fact, one readily obtains a quantitative result starting from the definitions of the function spaces involved. See also [12, Lemma 2.2].
Lemma 2.6
Let X be a metric space with a doubling measure and satisfying an annular decay property.
-
(i)
If \(w, w^{-1} \in A_1(X)\), then \(w\in L^\infty _{\mathop {\textrm{loc}}\limits }(X)\);
-
(ii)
If \(w, w^{-1} \in RH_\infty (X)\), then \(w\in L^\infty _{\mathop {\textrm{loc}}\limits }(X)\).
Proof
(i) Let \(B\subset X\) be a ball. Using the definition 3 for \(w^{-1}\),
Applying Jensen’s inequality and the fact that \(w\in A_1\) as well, we conclude that
This is a Harnack inequality for w, guaranteeing that there exist constants \(c_1, c_2\) such that \(0<c_1\le w\le c_2<\infty \) almost everywhere in \(B\subset X\) and, in particular, \(w\in L^\infty _{\mathop {\textrm{loc}}\limits }(X)\).
(ii) Under the annular decay assumption it holds that \(w, w^{-1}\in A_\infty \), that is, there exist \(p,q>1\) such that \(w\in A_p\) and \(w^{-1}\in A_q\). Without loss of generality we may assume \(q=p\). Applying first the \(RH_\infty \) 7 and then the \(A_p\) 2 condition for \(w^{-1}\) we have
which is equivalent to
Combining this observation with the \(RH_\infty \) and \(A_p\) conditions for w, and Jensen’s inequality, we again obtain
\(\square \)
Finally, we define the oscillation spaces that we need.
Definition 2.7
A function \(f\in L^1_{\mathop {\textrm{loc}}\limits }(X)\) is said to be of bounded mean oscillation, denoted \(f\in BMO\), when
Functions of bounded upper and lower oscillation (BUO and BLO), respectively, are defined as those functions \(f\in L^1_{\mathop {\textrm{loc}}\limits }(X)\) for which
In spite of the notation, none of the above functionals are norms: consider \(\Vert \cdot \Vert _{BMO}\) of almost everywhere constant functions, and the fact that \(\Vert -f\Vert _{BUO} = \Vert f\Vert _{BLO}\). We also remark that BUO and BLO are subsets of BMO.
3 The Natural Extremal Functions
The natural maximal and minimal functions were studied by Ou in [18, 19]. In this section we introduce these functions and show that they commute with the logarithm on \(A_\infty \). Furthermore, we show how the natural extremal functions may be used to characterize the oscillation spaces BUO and BLO. As simple as these observations are, they will unlock an elegant formalism in Sect. 5.
Definition 3.1
For a function \(f\in L^1_{\mathop {\textrm{loc}}\limits }(X)\) its natural maximal and minimal functions, respectively, are given by
where the supremum (infimum) is taken over all balls \(B\subset X\) containing the point x.
As a matter of fact we have \(M^\natural f(x) = -m^\natural (-f)(x)\).
Lemma 3.2
([18]). Let X be a metric space with a doubling measure, and \(w\in A_\infty (X)\). We have
Proof
We show the statement for \(M^\natural \). By the fact that \(w\in A_\infty \) 4 and Jensen’s inequality,
Taking \(\sup \), \(\log \), and rearranging the terms,
The proof for \(m^\natural \) is analogous, taking the infimum of 9 instead. \(\square \)
Lemma 3.3
[1], Lemma 2]. Let X be a metric space with a doubling measure, and \(f\in L^1_{\mathop {\textrm{loc}}\limits }(X)\). Then \(f\in BLO(X)\) if and only if \(M^\natural f-f\in L^\infty (X)\), and \(f\in BUO(X)\) if and only if \(f - m^\natural f \in L^\infty (X)\), with
Proof
We show the statement for BLO; the proof for BUO is the same, making the necessary modifications. Assume first that \(f\in BLO\), let x be a Lebesgue point of f, and \(B\subset X\) a ball with \(B \ni x\). Then
Taking the supremum over all balls \(B\ni x\) we obtain
Since \(x\in X\) is an arbitrary Lebesgue point of f, the above implies
Conversely, let \(M^\natural f-f\in L^\infty \). If \(B\subset X\) is any ball, \(x\in B\), and
then we have
which means that the set of points x satisfying 10 is of measure zero. This implies
Since the ball B is arbitrary, this is equivalent to \(\Vert f\Vert _{BLO} \le \Vert M^\natural f - f\Vert _\infty \). \(\square \)
4 Boundedness of the Natural Maximal Function
We show that the natural maximal function is bounded from BMO to BLO whenever the Hardy–Littlewood maximal function from \(A_\infty \) to \(A_1\) is. This fact is not directly in our main line of investigation, but it generalizes the Euclidean result of [18]. Note that we assume an annular decay property to ensure that \(w\in A_\infty \) implies a reverse Hölder inequality for w.
The following preliminary result can be thought of as a weaker version of the Coifman–Rochberg lemma. The strategy of the proof and treatment of the integral outside 4B are in fact similar to the proof of the Coifman–Rochberg lemma; compare [16, Proposition 2.10].
Lemma 4.1
Let X be a metric space with a doubling measure, and \(w\in L^1_{\mathop {\textrm{loc}}\limits }(X)\) a nonnegative function. If \(w\in RH_s(X)\), then \(Mw\in RH_s(X)\). Furthermore, whenever X satisfies an annular decay property, this implies \(M(A_\infty (X))\subset A_\infty (X)\).
Proof
Assuming that the space X satisfies an annular decay property, \(w\in A_\infty (X)\) is equivalent to \(w\in RH_s(X)\) for some \(s>1\) [14, Theorem 3.1]. We are going to show the statement on the reverse Hölder side.
From here on, let \(q>1\) denote the reverse Hölder class of w. Let B be a ball in X, and write \(w = w\mathcal {X}_{4B} - w(1-\mathcal {X}_{4B}) = w_1 + w_2\). Owing to the subadditivity of the maximal function it holds that \(Mw \le Mw_1 + Mw_2\), and
We estimate each term separately. Using respectively the \(L^q(X)\) bound for the maximal function, the doubling property of \(\mu \), and the reverse Hölder inequality 6 for w, we obtain
Under the annular decay assumption, \(w\in A_\infty \) implies that the weighted measure \(w\mathrm {\,d}\mu \) is comparable to the underlying measure \(\mu \), and doubling whenever \(\mu \) is [14]. The doubling property for \(w\mathrm {\,d}\mu \) lets us conclude that
Next we estimate \(Mw_2\). Let \(x,y\in B=B(z,r)\subset X\) and let \(B'=B(z',r')\) be another ball in X containing y. Assume first that there exists a point \(p\in B' \setminus 4B.\) We claim that \(r \le r'.\) Indeed, otherwise we have and
implying that \(y\notin B,\) a contradiction. Using the fact that \(r \le r'\) we have for any \(q \in B\)
which shows that \(B \subset 4 B'.\) In particular \(x\in 4B'\) and we can write
If \(B' \subset 4B\) then \(\int _{B'}w_2=0,\) and the preceding estimate trivially holds. Either way the right-hand side is independent of y, and thus
for any and all points \(x,y\in B\). Raising to power q, and integrating first with respect to y and then to x, we find
\(\square \)
Lemma 4.2
Let X be a metric space with a doubling measure and satisfying an annular decay property, and w a weight. If \(w\in A_\infty (X)\), then \(Mw\in A_1(X)\), with \(\left[ Mw\right] _{1}\) only depending on the doubling constant \(C_d\).
Proof
Assuming that X satisfies an annular decay property, for a weight \(w\in A_\infty \) there exists \(s>1\) such that w satisfies the reverse Hölder inequality 6 [14, Theorem 3.1], implying
or, in terms of the maximal function,
By Lemma 4.1Mw belongs to \(RH_s\). Applying the reverse Hölder inequality for Mw, we find that \(\left( Mw\right) ^s\in A_\infty \) with \( \left[ \left( Mw\right) ^s\right] _{\infty } = C^s\left[ Mw\right] _{\infty }^s. \) Now by 11 the function \(Mw^s\) is comparable to \( \left( Mw\right) ^s\), so it also lies in \(A_\infty \) with
Here the constant C only depends on the doubling constant \(C_d\) and parameters C, s of the reverse Hölder inequality for w. The latter, in turn, are again controlled by \(C_d(\mu )\); see Theorem 2.15 and the preceding discussion in [22]. The Coifman–Rochberg lemma, whose metric-space proof can be found in [16, Proposition 2.10], implies that \(\left( Mw^s\right) ^{1/s}\), \(s>1\), belongs to \(A_1\). Precisely,
Applying 11 and the \(A_1\) condition 12 for \(\left( Mw^s\right) ^{1/s}\), we obtain
whereby the statement is proven. \(\square \)
Lemma 4.3
Let X be a metric space with a doubling measure, and w a weight. If \(w\in A_1(X)\), then \(\log w\in BLO(X)\).
Proof
Let \(B\subset X\) be a ball, apply Jensen’s inequality and the \(A_1\) condition 3 for w:
Rearranging, we obtain
for every \(B\subset X\), which is the BLO condition for \(\log w\). \(\square \)
Proposition 4.4
Let X be a metric space with a doubling measure and satisfying an annular decay property. If \(f\in BMO(X)\), then \(M^\natural f\in BLO(X)\) with
Proof
Let \(f\in BMO\). It follows from the John–Nirenberg lemma that \(f = a \log w\) for some \(a = a(C_d) > 0\) and \(w\in A_2\). For this lemma and corollary in metric spaces see [2, Sections 3.3 and 3.4] and [17, Appendix], as well as [22, Theorem 3.11]. By the commutation Lemma 3.2 we have
where \(b\in L^\infty \). As for the \(\log Mw\) term, by Lemma 4.2M maps \(A_\infty \) into \(A_1\), and by Lemma 4.3\(\log \) maps \(A_1\) into BLO, with norms and characteristic constants depending only on the underlying measure \(\mu \). \(\square \)
Corollary 4.5
Let X be a metric space with a doubling measure and satisfying an annular decay property. If \(f\in BMO(X)\), then \(M f\in BLO(X)\) with
Proof
Let \(f\in BMO\). By Proposition 4.4\(Mf = M^\natural (\left| f\right| )\in BLO\), and
\(\square \)
We note that Proposition 4.4 and Corollary 4.5 can be adapted for the natural minimal function by the algebraic fact that \(M^\natural f = -m^\natural \left( -f\right) \).
Corollary 4.6
Let X be a metric space with a doubling measure and satisfying an annular decay property. If \(f\in BMO(X)\), then
Proof
Let \(f\in BMO\) and denote \(y = -f\). Now \(y\in BMO\) as well, and
By Proposition 4.4\(M^\natural (-f)\) is in BLO, so \(-M^\natural (-f) = m^\natural f\in BUO\) with
The second statement follows immediately, since now \(mf = m^\natural (\left| f\right| )\in BUO\) and
\(\square \)
The following Proposition reproduces the final theorem of [18]. This can be read as the converse of Proposition 4.4, implying that in spaces satisfying an annular decay property, the boundedness of \(M^\natural \mathbin {:}BMO \rightarrow BLO\) is equivalent to \(M(A_\infty )\subset A_1\). In either case the John–Nirenberg lemma is instrumental in making the connection with \(A_p\) and BMO.
Proposition 4.7
Let X be a metric space with a doubling measure and satisfying an annular decay property. Assume that \(M^\natural \mathbin {:}BMO(X) \rightarrow BLO(X)\) with \(\Vert M^\natural f\Vert _{BLO}\le C(C_d)\Vert f\Vert _{BMO}\). Then, if \(w\in A_\infty (X)\), we have \(Mw\in A_1(X)\) with \(\left[ Mw\right] _{1}\) only depending on the doubling constant \(C_d\).
Proof
Let \(w\in A_\infty \). By the John–Nirenberg lemma and the assumption we have \(\log w\in BMO\) and \(M^\natural \log w \in BLO\). The commutation Lemma 3.2 gives
By Lemma 4.1Mw also lies in \(A_\infty \), and we can apply the commutation lemma to it:
Recall that by Lemma 3.3
Applying 15, 16, and 13 in this order, we obtain
By the assumption, we conclude that \(Mw\in A_1\) with
\(\square \)
5 Two Characterizations
This section takes us back to the characterization of the spaces \(A_1\) and \(RH_\infty \). Theorems 5.1 and 5.2 bring [19, Theorem 3.1 and 3.2], respectively, into the metric setting. The proofs are virtually the same as in the Euclidean case. On the reverse Hölder side (Theorem 5.2), we require the annular decay property in order to access the \(A_\infty \) condition. On the contrary, the characterization of \(A_1\) (Theorem 5.1) can be generalized as is.
Theorem 5.1
Let X be a metric space with a doubling measure, and w a weight. Then \(w\in A_1(X)\) if and only if \(w\in A_\infty (X)\) and \(\log w\in BLO(X)\). Furthermore,
Proof
Assume first that \(w\in A_1\). This direction is well known, the proof in \(\mathbb {R}^n\) being the same; see e.g. [10, Theorem II.3.3]. We denote \(\log w = \varphi \). Since \(w\in A_1\), it also belongs to \(A_\infty \). Then, by definition, for almost every \(x\in B\subset X\) we have . In other words,
Jensen’s inequality gives , so
which means that , that is, \(\log w\in BLO\) with \(\Vert \log w\Vert _{BLO} \le \log \left[ w\right] _{1}.\)
Conversely, assume that \(w\in A_\infty \) and \(\log w\in BLO\). Lemmas 3.3 and 3.2, respectively, state that almost everywhere
Combining these gives for almost every \(x\in X\) the inequality
implying that \(w\in A_1\) with \( \left[ w\right] _{1} \le \left[ w\right] _{\infty }\exp \left( \Vert \log w\Vert _{BLO}\right) .\) Moreover, the case of constant weights shows the bound to be sharp. \(\square \)
Theorem 5.2
Let X be a metric space with a doubling measure and satisfying an annular decay property, and w a weight. Then \(w\in A_\infty (X)\cap RH_\infty (X)\) if and only if \(\log w\in BUO(X)\) with
where C is the infimal constant in the \(RH_\infty \) condition 7 for w.
Remark 5.3
Assuming an annular decay property, it in fact holds that \(A_\infty \cap RH_\infty = RH_\infty \); see the proof immediately below. We keep the redundant statement in order to illustrate the significance of the extra assumption.
Proof of Theorem 5.2
Assume first that \(\log w\in BUO\). The characterization of BUO (Lemma 3.3) gives
while \(\log m^\natural w \ge m^\natural \log w \) almost everywhere by Jensen’s inequality. Hence
for almost every \(x\in X\), that is, \(w\in RH_\infty \) with constant \(C \le \exp (\Vert \log w\Vert _{BUO})\), as desired. This also implies that \(w\in A_\infty \) because
The first inclusion is [7, Theorem 4.1] (in \(\mathbb {R}^n\), but the proof in metric spaces is the same.) The final equality is valid under the annular decay assumption; see [14] and the discussion in Sect. 2.
Say, then, that \(w\in A_\infty \cap RH_\infty \). Combining the definitions 4 and 7, we obtain for almost every x in an arbitrary ball \(B\subset X\)
Taking the essential supremum over points \(x\in B\), we have
which is the BUO condition for \(\log w\) with \(\Vert \log w\Vert _{BUO}\le \log \left( C\left[ w\right] _{\infty }\right) \). \(\square \)
6 Applications to Muckenhoupt Weights
Using the results of the previous section, various properties of the spaces \(A_1\) and \(RH_\infty \) follow all but immediately. This section adapts most of [19, Sect. 4] into the metric setting, culminating in the refined Jones factorization Theorem 6.6. Propositions 4.2 and 4.4 in [19] have been omitted in favour of the direct and quantitative Lemma 2.6 above. The reader may note that the annular decay assumption appears where needed.
The following lemma (on \(\mathbb {R}\)) was shown in [12, Theorem 2.2].
Proposition 6.1
Let X be a metric space with a doubling measure, and w a weight. If \(w\in A_\infty (X)\) and there exists \(s>0\) such that \(w^s\in A_1(X)\), then \(w\in A_1(X)\).
Proof
By Theorem 5.1, \(w^s\in A_1\) implies that \(\log w^s = s\log w\in BLO\). Since BLO is closed under multiplication by positive scalars, \(\log w\in BLO\) as well.
\(\square \)
The next proposition is the metric-space version of [7, Theorem 4.2].
Proposition 6.2
Let X be a metric space with a doubling measure and satisfying an annular decay property, and w a weight. The following statements are equivalent.
-
(i)
\(w\in RH_\infty (X)\);
-
(ii)
\(w^{s_0}\in RH_\infty (X)\) for some \(s_0>0\);
-
(iii)
\(w^s\in RH_\infty (X)\) for all \(s>0\).
Proof
The implication (ii) \(\Rightarrow \) (iii) follows from the characterization in Theorem 5.2. Recall that under the annular decay assumption \(RH_\infty \subset A_\infty \), so \(w\in A_\infty \). Now \(w^{s_0}\in RH_\infty \) means that
Since BUO is closed under multiplication by positive scalars, (iii) follows. The other implications are immediate because we may choose \(s_0=1\). \(\square \)
A function \(\varphi \) such that \(\varphi w\in RH_\infty \) for all \(w\in RH_\infty \) is called a multiplier of \(RH_\infty \).
Proposition 6.3
Let X be a metric space with a doubling measure and satisfying an annular decay property. A function \(\varphi \in A_\infty (X)\) is a multiplier of \(RH_\infty (X)\) if and only if \(\varphi \in RH_\infty (X)\).
Proof
If \(\varphi \) is a multiplier of \(RH_\infty \), then \(\varphi = 1\cdot \varphi \) belongs to \(RH_\infty \) because \(w\equiv 1\) does. Assume now that \(\varphi \in A_\infty \cap RH_\infty \), and let w be a function in \(RH_\infty \). Recall that according to 17 we have \(w\in A_\infty \). Consequently, Theorem 5.2 allows us to write
where \(f, g\in BUO\). Because BUO is closed under vector addition, we have \(w\varphi = \exp (f+g)\in BUO\). \(\square \)
In [7, Theorem 4.10], Cruz-Uribe and Neugebauer characterize the set of multipliers of \(A_1\) as those nonnegative, locally integrable functions \(\varphi \) for which
The proof relies on the following result, which is their Theorem 4.4. The multipliers of \(A_1\) have previously been discussed in [12, Theorem 2.14]; see also [15].
Proposition 6.4
Let X be a metric space with a doubling measure and satisfying an annular decay property, and \(p>1\). A weight \(w\in A_1(X)\) if and only if \(w^{1-p}\in A_p(X)\cap RH_\infty (X)\).
Proof
If \(w\in A_1 \subsetneq \bigcap _{p>1}A_p\) and \(p'\) is the conjugate exponent given by
then \(w\in A_{p'}\) and \(w^{1-p}\in A_p\). Furthermore, by Theorem 5.1 we have \(\log w\in BLO\), which implies
According to the characterization Theorem 5.2, this means that \(w^{1-p}\in RH_\infty \).
Assume then that \(w^{1-p}\in A_p\cap RH_\infty \). The \(A_p\) condition implies that
In addition, since \(w^{1-p}\in RH_\infty \), Theorem 5.2 states that \(\log w^{1-p} \in BUO\), which in turn implies that
because \(1-p'<0\). Altogether we find that \(w\in A_\infty \) and \(\log w\in BLO\), which is equivalent to \(w\in A_1\) by Theorem 5.1. \(\square \)
Finally, we apply Propositions 6.4–6.5 to show a refined Jones factorization theorem [7, Theorem 5.1] that includes information on reverse Hölder classes. With the preliminary results in place, the proof is identical to [19, Theorem 4.9].
For reference, we state the following lemma from [13], where it is labelled preliminary result P6. The proof is a straightforward application of the definitions of the function spaces involved.
Proposition 6.5
Let \(1<p,s<\infty \). The weight \(w\in A_p(X)\cap RH_s(X)\) if and only if \(w^s\in A_{s(p-1)+1}(X).\)
Furthermore, we are going to need the classical Jones factorization theorem in metric spaces. For a proof see [16, Proposition 2.9] and let \(E=X\); this nonstandard version factorizes a weight w such that \(w^r\in A_p\) with \(r>1\), but letting \(r=1\) only simplifies the proof.
Theorem 6.6
Let X be a metric space with a doubling measure and satisfying an annular decay property, and \(1<p,s<\infty \). The weight \(w\in A_p(X)\cap RH_s(X)\) if and only if
for some \(w_1\in A_1(X)\cap RH_s(X)\), \(w_2\in A_p(X)\cap RH_\infty (X)\).
Remark 6.7
The cases \(p=1\) or \(s=\infty \) are immediate, the latter by Proposition 6.3.
Proof of Theorem 6.6
By Proposition 6.5, \(w\in A_1\) if and only if \(w^s\in A_{s(p-1)+1}\). By the original Jones factorization, the statement for \(w^s\) is true if and only if there exist \(v_1, v_2\in A_1\) such that \(w^s = v_1v_2^{-s(p-1)}\), that is, \(w = v_1^{1/s}v_2^{1-p}\). Proposition 6.5 for \(p=1\) states that \(v_1\in A_1\) is equivalent to
Furthermore, by Proposition 6.4, \(v_2\in A_1\) is equivalent to
Choosing \(w_1 = v_1^{1/s}\) and \(w_2 = v_2^{1-p}\), the statement is proven. \(\square \)
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Bennett, C.: Another characterization of BLO. Proc. Am. Math. Soc. 85(4), 552–556 (1982)
Björn, A., Björn, J.: Nonlinear potential theory on metric spaces, EMS Tracts in Mathematics, vol. 17, European Mathematical Society, Zürich (2011)
Buckley, S.M.: Is the maximal function of a Lipschitz function continuous? Ann. Acad. Sci. Fenn. Math. 24(2), 519–528 (1999)
Coifman, R.R., Rochberg, R.: Another characterization of BMO. Proc. Am. Math. Soc. 79(2), 249–254 (1980)
Coifman, R.R., Weiss, G.: Analyse harmonique non-commutative sur certains espaces homogènes: étude de certaines intégrales singulières, French. Lecture Notes in Mathematics, vol. 242. Springer-Verlag, Berlin-New York (1971)
Colding, T.H., Minicozzi, W.P.: Liouville theorems for harmonic sections and applications. Commun. Pure Appl. Math. 51(2), 113–138 (1998)
Cruz-Uribe, D., Neugebauer, C.J.: The structure of the reverse Hölder classes. Trans. Am. Math. Soc. 347(8), 2941–2960 (1995)
David, G., Journé, J.-L., Semmes, S.: Opérateurs de Calderón-Zygmund, fonctions para-accrétives et interpolation. Rev. Mat. Iberoam. 1(4), 1–56 (1985)
Genebashvili, I., Gogatishvili, A., Kokilashvili, V., Krbec, M.: Weight theory for integral transforms on spaces of homogeneous type. Pitman Monographs and Surveys in Pure and Applied Mathematics, vol. 92, Longman, Harlow (1998)
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)
Indratno, W., Maldonado, D., Silwal, D.: A visual formalism for weights satisfying reverse inequalities. Expo. Math. 33(1), 1–29 (2015)
Johnson, R., Neugebauer, C.J.: Homeomorphisms preserving \(A_p\). Rev. Mat. Iberoam. 3(2), 249–273 (1987)
Johnson, R., Neugebauer, C.J.: Change of variable results for \(A_p\)- and reverse Hölder \({\rm RH}_r\)-classes. Trans. Am. Math. Soc. 328(2), 639–666 (1991)
Kinnunen, J., Shukla, P.: Gehring’s lemma and reverse Hölder classes on metric measure spaces. Comput. Methods Funct. Theory 14(2–3), 295–314 (2014)
Kinnunen, J., Shukla, P.: The structure of reverse Hölder classes on metric measure spaces. Nonlinear Anal. 95(666–675), 0362-546X (2014)
Kurki, E.-K., Mudarra, C.: On the extension of Muckenhoupt weights in metric spaces. Nonlinear Anal. 215, 0362-546X (2022)
Mateu, J., Mattila, P., Nicolau, A., Orobitg, J.: BMO for nondoubling measures. Duke Math. J. 102(3), 533–565 (2000)
Ou, W.: The natural maximal operator on BMO. Proc. Am. Math. Soc. 129(10), 2919–2921 (2001)
Ou, W.: Near-symmetry in \(A_\infty \) and refined Jones factorization. Proc. Am. Math. Soc. 136(9), 3239–3245 (2008)
Routin, E.: Distribution of points and Hardy type inequalities in spaces of homogeneous type. J. Fourier Anal. Appl. 19(5), 877–909 (2013)
Saito, H., Tanaka, H.: General maximal operators and the reverse Hölder classes. Ann. Acad. Sci. Fenn. Math. 42(1), 367–391 (2017)
Shukla, P.: The structure of reverse Hölder classes on metric measure spaces, Doctoral dissertation, University of Oulu (2012)
Strömberg, J.-O., Torchinsky, A.: Weighted Hardy spaces. Lecture Notes in Mathematics, vol. 1381. Springer-Verlag, Berlin (1989)
Acknowledgements
I thank Juha Kinnunen for his help and prompts during the preparation of this article.
Funding
Open Access funding provided by Aalto University. The author was supported by the Vilho, Yrjö and Kalle Väisälä Foundation of the Finnish Academy of Science and Letters.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author has no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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. Limiting Conditions of Muckenhoupt and Reverse Hölder Classes on Metric Measure Spaces. Results Math 78, 123 (2023). https://doi.org/10.1007/s00025-023-01901-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-01901-x
Keywords
- Doubling metric space
- annular decay
- Muckenhoupt weights
- reverse Hölder inequality
- natural maximal function