Abstract
We study the so-called John–Nirenberg space that is a generalization of functions of bounded mean oscillation in the setting of metric measure spaces with a doubling measure. Our main results are local and global John–Nirenberg inequalities, which give weak-type estimates for the oscillation of a function. We consider medians instead of integral averages throughout, and thus functions are not a priori assumed to be locally integrable. Our arguments are based on a Calderón–Zygmund decomposition and a good-\(\lambda \) inequality for medians. A John–Nirenberg inequality up to the boundary is proven by using chaining arguments. As a consequence, the integral-type and the median-type John–Nirenberg spaces coincide under a Boman-type chaining assumption.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The space of functions of bounded mean oscillation (BMO) was introduced by John and Nirenberg in [27]. In that article, they also discussed a larger BMO-type space called the John–Nirenberg space, denoted by \(JN_p\) with \(1<p<\infty \). The John–Nirenberg space contains BMO, and BMO is obtained as the limit of \(JN_p\) as \(p \rightarrow \infty \). The John–Nirenberg lemma in [27] states that a logarithmic blowup is the worst possible for a BMO function. Moreover, another version of the John–Nirenberg lemma in [27] implies that \(JN_{p}\) is a subset of weak \(L^{p}\). This inclusion is strict, as shown by a one-dimensional example in [1]. It is also known that \(L^p\) is a proper subset of \(JN_p\); see [8].
In [26], John discussed BMO using medians instead of integral averages. He also proved the analogous John–Nirenberg inequality for the median-type BMO in a Euclidean space. Later, Strömberg proved the inequality for a larger class of medians and also gave a proof in a metric measure space with a doubling measure [35, 36]. In particular, this implies that the ordinary BMO and the median-type BMO are equivalent. While BMO has been studied extensively, the John–Nirenberg space is not equally well understood. However, some results related to John–Nirenberg inequalities and interpolation of operators can be found in [6, 12,13,14, 34].
Our main results are John–Nirenberg inequalities for the median-type John–Nirenberg space. We carry out the analysis in a metric measure space with a doubling measure, but the main results are new even in the Euclidean setting. The main novelty is that we consider medians instead of integral averages throughout. One of the advantages of using medians is that we do not need to assume that the function is locally integrable. Thus, the definition via medians applies to any measurable function. There exist different definitions of John–Nirenberg spaces in metric measure spaces; see [1, 2, 32]. The difference is whether the balls in the definition are required to be pairwise disjoint or allowed to overlap. Definitions with disjoint balls can be found in [2, 32] and with overlap in [1]. We adopt the definition in [2, 32] which leads to a more general theory.
The proof of the local John–Nirenberg inequality with medians (Theorem 4.4) in Sect. 4 is based on a Calderón–Zygmund decomposition (Lemma 4.2) and a good-\(\lambda \) inequality (Lemma 4.3) for medians. This is inspired by [1, 2], where the authors examine integral-type John–Nirenberg spaces in metric measure spaces with a doubling measure. A challenge in proving results for the median-type John–Nirenberg space is that medians lack subadditive properties and monotonicity on sets compared to integral averages. Our Theorem 4.4 implies a related John–Nirenberg inequality in [30, Theorem 1.3] where a discrete summability condition is considered; see also [2, 10, 31]. A simple one-dimensional example shows that our result is more general than [30, Theorem 1.3]. In particular, our approach does not depend on the discrete summability condition and rearrangements.
In Sect. 5, we prove a John–Nirenberg inequality with medians up to the boundary (Theorem 5.3) in Boman sets by applying the local John–Nirenberg inequality together with chaining arguments. Boman sets are closely related to the Boman chain condition, introduced in the unpublished paper [4]. The connection is discussed in [32]. In particular, the two are equivalent in a geodesic space with a doubling measure. The Boman chain condition characterizes John domains in many metric measure spaces, including Euclidean spaces; see [5]. The corresponding results for the integral-type John–Nirenberg space can be found in [23, 32]. We apply the arguments in [7, 23, 32] for medians. As a corollary of the global John–Nirenberg inequality, we show that the integral- and median-type John–Nirenberg spaces coincide in every open set under the assumption that balls are Boman sets with uniform parameters (Corollary 5.4). This means that the median-type John–Nirenberg condition is possibly the weakest for a function to be in \(JN_p\). The uniform Boman condition on balls holds, for example, in geodesic spaces [16].
2 Preliminaries
Let \((X,d,\mu )\) be a metric measure space with a metric d and a doubling measure \(\mu \). A Borel regular measure is said to be doubling if
for every ball \(B = B(x,r) = \{ y\in X: d(x,y) < r \}\), where \(c_\mu >1\) is the doubling constant. We use the notation \(\lambda B = B(x,\lambda r)\), \(\lambda >0\), for the \(\lambda \)-dilate of B. From the doubling property of the measure, it can be deduced that if \(y \in B(x,R) \subset X\) and \(0<r\le R <\infty \), then
where \(D = \log _2 c_\mu \) is the doubling dimension of the space \((X,d,\mu )\). The proof can be found in [3, p. 6]. We denote the integral average of a function \(f \in L^1(A)\) in a set \(A \subset X\) by
A basic tool in metric measure spaces is the 5-covering theorem. It is also sometimes referred to as the basic covering theorem or Vitali’s covering theorem. Although, one must be careful since there is another covering theorem named after Vitali [22, pp. 3–4]. One can check [22, pp. 2–3] for a proof.
Lemma 2.1
Let \(\mathcal {F}\) be a collection of balls of uniformly bounded radii in X. Then there exists a countable disjointed subcollection \(\mathcal {G}\) such that
The Lebesgue differentiation theorem states that the integral average of a function f over a ball B(x, r) approaches f(x) when the radius r tends to zero. Two different proofs can be found in [22, pp. 4–6, 12–13].
Lemma 2.2
If \(f \in L_{\text { loc}}^1(X)\), then it holds that
for \(\mu \)-almost every \(x \in X\).
We follow the definition in [2, 32] for the integral-type John–Nirenberg space \(JN_{p,q}\) in metric measure spaces.
Definition 2.3
Let \(\Omega \subset X\) be an open set, \(1<p<\infty \) and \(0<q<p\). We say that a function \(f \in L_{\text {loc}}^q(\Omega )\) belongs to the John–Nirenberg space \(JN_{p,q}(\Omega )\) if
where the supremum is taken over countable collections of pairwise disjoint balls \(B_i \subset \Omega \).
If \(q=1\), we write \(JN_p\) instead of \(JN_{p,1}\). We omit \(\Omega \) from the norms if the considered set is clear from the context.
Next, we present medians and discuss their properties. Medians have been studied and used in different problems of analysis; see for example [9, 11, 15, 17,18,19,20,21, 24,25,26, 28,29,30, 33, 35,36,37].
Definition 2.4
Let \(A \subset X\) be a set of finite and positive measure, \(0<s\le 1\) and \(f:X \rightarrow [-\infty , \infty ]\) be a measurable function. If a value \(M_f^s(A)\) satisfies
and
then we call \(M_f^s(A)\) an s-median of the function f over a set A.
Note that a \(\tfrac{1}{2}\)-median is a standard median value of f over A. An s-median of a function is not always unique. For example, consider \(f = \chi _{[1/2, 1]}\) on the interval [0, 1]. Then any value between 0 and 1 is a \(\tfrac{1}{2}\)-median of f. Thus, we define the maximal s-median \(m_f^s(A)\) which is unique [33].
Definition 2.5
Let \(0<s \le 1\) and \(A \subset X\) be such that \(0<\mu (A)<\infty \). The maximal s-median of a measurable function \(f:X \rightarrow [-\infty , \infty ]\) over a set A is defined as
It can be shown that the maximal s-median of a function is indeed an s-median [33]. In the next lemma, we list the basic properties of the maximal s-median. Most of these properties are listed without proofs in [20, 21]. The proofs of properties (i), (ii), (v), (vii), (viii) and (ix) can be found in [33, Proposition 1.1] in the Euclidean setting. The proofs of these properties are practically same in metric measure spaces, and thus are omitted here. We give proofs for the remaining properties.
Lemma 2.6
Let \(A \subset X\) such that \(0< \mu (A) < \infty \), \(f,g:X \rightarrow [-\infty , \infty ]\) be measurable functions and \(0<s\le 1\). Then the maximal s-median has the following properties:
-
(i)
If \(s \le s'\), then \(m_f^{s'}(A) \le m_f^s(A)\).
-
(ii)
\(m_f^s(A) \le m_g^s(A)\) whenever \(f\le g\) \(\mu \)-almost everywhere in A.
-
(iii)
If \(A \subset A'\) and \(\mu (A') \le c\mu (A)\) with some \(c \ge 1\), then \(m_f^s(A) \le m_f^{s/c}(A')\).
-
(iv)
\(m_{\varphi \circ f}^s(A) = \varphi (m_f^s(A))\) for an increasing continuous function \(\varphi : f[A] \rightarrow [-\infty , \infty ]\).
-
(v)
\(m_f^s(A) + c = m_{f+c}^s(A)\) for \(c \in \mathbb {R}\).
-
(vi)
\(m_{cf}^s(A) = c \, m_f^s(A)\) for \(c > 0\).
-
(vii)
\(|m_{f}^s(A)| \le m_{|f|}^{\min \{s,1-s\}}(A)\).
-
(viii)
\(m_{f+g}^s(A) \le m_f^{t_1}(A) + m_g^{t_2}(A)\) whenever \(t_1 + t_2 \le s\).
-
(ix)
For \(f \in L^p(A)\) and \(p>0\),
-
(x)
If \(A_i\) are pairwise disjoint for every \(i \in \mathbb {N}\), then
$$\begin{aligned} \inf _{i} m_f^s(A_i) \le m_f^s\big (\bigcup _{i=1}^\infty A_i\big ) \le \sup _{i} m_f^s(A_i) . \end{aligned}$$
Proof
(iii) If \(a > m_f^{s/c}(A')\), then we have
from which the claim follows.
(iv) It holds that
(vi) Apply property (iv) for \(\varphi (x) = cx\).
(x) For \(a > \sup _i m_f^s(A_i)\), we have
It follows that \(m_f^{s}\big (\bigcup _{i=1}^\infty A_i\big ) \le a\). Since this holds for every \(a > \sup _i m_f^s(A_i)\), we have
To prove the other inequality, assume that \(a< \inf _i m_f^s(A_i)\). We then get
This implies that \(a \le m_f^{s}\big (\bigcup _{i=1}^\infty A_i\big )\) for every \(a< \inf _i m_f^s(A_i)\). Hence, we obtain
\(\square \)
Remark
Assume that \(0<s\le 1/2\). Then property (vii) assumes a slightly simpler form
since
for \(0<s\le 1/2\).
Suppose that \(f \in L_{\text {loc}}^1(X)\) and \(0<s\le 1/2\). Using the Lebesgue differentiation theorem (Lemma 2.2) together with properties (v), (vii) and (ix) of the maximal s-medians, we obtain the following version of the Lebesgue differentiation theorem:
as \(r \rightarrow 0\). However, there is a more general version of the Lebesgue differentiation theorem for medians [33], where we need to assume only that f is a measurable function.
The proof of Lemma 2.7 can be found in [33, Theorem 2.1] where the lemma is proven in the Euclidean setting. The proof is almost identical in metric measure spaces with a doubling measure, and thus is omitted here.
Lemma 2.7
Let \(f:X \rightarrow [-\infty , \infty ]\) be a measurable function which is finite almost everywhere in X and \(0<s\le 1\). Then it holds that
for \(\mu \)-almost every \(x \in X\).
We give a definition for the median-type BMO which coincides with the classical BMO [26, 35, 36].
Definition 2.8
We say that a measurable function f belongs to BMO\(_{0,s}(X)\) if
3 Definition and Properties of \(JN_{p,0,s}\)
In this section, we give a definition of the median-type John–Nirenberg space in metric measure spaces. Moreover, we examine the basic properties of the space.
Definition 3.1
Let \(\Omega \subset X\) be an open set, \(1<p<\infty \) and \(0<s \le 1/2\). We say that a measurable function f belongs to the median-type John–Nirenberg space \(JN_{p,0,s}(\Omega )\) if
where the supremum is taken over all countable collections of pairwise disjoint balls \(B_i \subset \Omega \).
The zero in the notation \(JN_{p,0,s}\) means that we do not need to assume any local integrability but only measurability. The range \(0<s \le 1/2\) is necessary since \(\Vert f\Vert _{JN_{p,0,s}} = 0\) for \(s>1/2\) and a two-valued function f.
The next lemma shows that the constants \(c_i\) in the definition of \(JN_{p,0,s}\) can be replaced by the maximal t-medians where \(s\le t \le \tfrac{1}{2}\).
Lemma 3.2
Let f be a measurable function. It holds that
whenever \(0<s\le t \le 1/2\).
Proof
It is clear that the first inequality holds. The other inequality follows from
By taking the infimum over the constants \(c_i\), we observe that
Therefore, the second inequality is attained as well. \(\square \)
Next, we list some basic properties of \(JN_{p,0,s}\) spaces.
Lemma 3.3
Let f and g be measurable functions. Then the following properties hold true:
-
(i)
\(\Vert f+g\Vert _{JN_{p,0,s}} \le \ \Vert f\Vert _{JN_{p,0,t_1}} + \Vert g\Vert _{JN_{p,0,t_2}}\) whenever \(t_1 + t_2 \le s\).
-
(ii)
\(\Vert |f|\Vert _{JN_{p,0,s}} \le \Vert f\Vert _{JN_{p,0,s}}\).
-
(iii)
If \(2t_1 + 2t_2 \le s\), then
$$\begin{aligned} \Vert \max \{f,g\}\Vert _{JN_{p,0,s}}&\le \Vert f\Vert _{JN_{p,0,t_1}} + \Vert g\Vert _{JN_{p,0,t_2}} , \\ \Vert \min \{f,g\}\Vert _{JN_{p,0,s}}&\le \Vert f\Vert _{JN_{p,0,t_1}} + \Vert g\Vert _{JN_{p,0,t_2}} . \end{aligned}$$
Proof
(i) Using property (viii) of Lemma 2.6 and Minkowski’s inequality, we estimate
for any \(c_i^f, c_i^g \in \mathbb {R}\). Thus, we can take the infimum over the constants \(c_i^f\) and \(c_i^g\) to get
where \(t_1 + t_2 \le s\).
(ii) The triangle inequality together with Lemma 2.6 (ii) implies
Therefore, we obtain the claim
(iii) Note that \(\max \{f,g\} = \tfrac{1}{2}(f+g+|f-g|)\) and \(\min \{f,g\} = \tfrac{1}{2}(f+g-|f-g|)\). Then using (i) and (ii), we get
where \(2t_1 + 2t_2 \le s\). The claim for \(\min \{f,g\}\) follows similarly. \(\square \)
The next proposition tells that the space \(L^p\) is contained in \(JN_{p,q}\) which in turn is a subset of \(JN_{p,0,s}\). The first inclusion is strict in the Euclidean setting, that is, there exists a function in \(JN_p \setminus L^p\) [8]. The second one holds in the other direction in many situations; see Corollary 5.4.
Proposition 3.4
Let \(1< p< \infty \), \(0< q < p\) and \(0 < s \le 1/2\). It holds that \(L^p(\Omega ) \subset JN_{p,q}(\Omega ) \subset JN_{p,0,s}(\Omega )\), particularly
Proof
The first inequality follows straightforwardly from property (ix) of Lemma 2.6. The second one is obtained by a simple use of Hölder’s inequality:
By taking the supremum over all collections of pairwise disjoint balls \(B_i \subset \Omega \), we get
\(\square \)
Remark
If \(f \in \text {BMO}_{0,s}(\Omega )\) with \(\mu (\Omega ) < \infty \), then it holds that \(f \in JN_{p,0,s}(\Omega )\). More precisely, we have
The previous inequality follows from the estimates
The median-type John–Nirenberg space \(JN_{p,0,s}\) is a generalization of BMO in the sense that a function is in BMO if and only if the \(JN_{p,0,s}\) norm of the function is uniformly bounded as p tends to infinity.
Proposition 3.5
If \(\Omega \subset X\) has finite measure, then it holds that
Proof
Let \(\{ B_i \}_i\) be a collection of pairwise disjoint balls contained in \(\Omega \). Remind that if \(\mu (A) < \infty \), then \(\Vert g\Vert _{L^p(A)} \rightarrow \Vert g\Vert _{L^\infty (A)}\) as \(p \rightarrow \infty \). By using this, it follows that
as \(p \rightarrow \infty \). Hence, we have
We can interchange the order of taking the supremum and the limit since
is an increasing function of p which can be seen by Hölder’s inequality. Thus, we conclude that
\(\square \)
4 John–Nirenberg Lemma for \(JN_{p,0,s}\)
We need two lemmas to prove the John–Nirenberg inequality for \(JN_{p,0,s}\) which implies that \(JN_{p,0,s}\) is contained in \(L^{p,\infty }\), that is, weak \(L^p\). The first lemma is a Calderón–Zygmund decomposition and the second one is a good-\(\lambda \) inequality.
Throughout the argument let \(\eta > 0\) and \(B_0 = B(x_{B_0},r_{B_0}) \subset X\) be fixed. We denote \(\widehat{B}_0 = (1+\eta ) B_0\),
and
where \(c_\mu \) is the doubling constant and \(D = \log _2 c_\mu \) is the doubling dimension. We define a maximal function
with the understanding that \(M_\mathcal {B} f(x) = 0\) if there is no ball \(B \in \mathcal {B}\) such that \(x \in B\). In particular, \(M_\mathcal {B} f(x) = 0\) for every \(x \in X \setminus \widehat{B}_0\). By the Lebesgue differentiation theorem for medians (Lemma 2.7), we have \(|f(x)| \le M_{\mathcal {B}}f(x)\) for \(\mu \)-almost every \(x \in B_0\). Moreover, denote
Lemma 4.1
If \(B \in \mathcal {B}\) such that \(m_{f}^{t}(B) > m_{f}^{t/\alpha }(\widehat{B}_0)\), then it holds that \( r_B \le \frac{\eta }{5} r_{B_0}\).
Proof
By the assumption, we have
Therefore, it holds that
which implies \( r_B \le \frac{\eta }{5} r_{B_0} \) by recalling (4.1).
The following lemma is a Calderón–Zygmund decomposition for medians in metric measure spaces with a doubling measure.
Lemma 4.2
Let \(f\ge 0\) be a measurable function defined on \(\widehat{B}_0\). Assume that \(E_\lambda \ne \emptyset \) and
holds for some \(0<t\le 1\), where \(\alpha \) is given in (4.1). Then there exist countably many pairwise disjoint balls \(B_i \in \mathcal {B} \) such that
-
(i)
\( \bigcup _i B_i \subset E_\lambda \subset \bigcup _i 5B_i \),
-
(ii)
\(r_{B_i} \le \frac{\eta }{5} r_{B_0}\),
-
(iii)
\( m_{f}^{t}(B_i) > \lambda \),
-
(iv)
\(m_{f}^{t}(\sigma B_i) \le \lambda \) whenever \( \sigma \ge 2\) and \(\sigma B_i \in \mathcal {B}\).
The collection of balls \(\{B_i\}_i\) is called the Calderón–Zygmund balls \(B_{i,\lambda }\) at level \(\lambda \). Furthermore, if \(m_{f}^{t/\alpha }(\widehat{B}_0) \le \lambda ' \le \lambda \), then it is possible to choose Calderón–Zygmund balls \( B_{j,\lambda '} \) at level \(\lambda '\) in a manner that for each \(B_{i,\lambda }\) we can find \(B_{j, \lambda '}\) such that \( B_{i,\lambda } \subset 5 B_{j,\lambda '} . \)
Proof
For every \(x \in E_\lambda \), denote
By the assumption, the set over which the supremum is taken is non-empty. Moreover, Lemma 4.1 implies that \(r_x(\lambda ) \le \frac{\eta }{5} r_{B_0}\). For every \(x \in E_\lambda \), we can find a ball \(B_{x, \lambda } \in \mathcal {B}\) with \(x \in B_{x, \lambda }\) such that
We then have \(m_{f}^{t}(\sigma B_{x, \lambda }) \le \lambda \) whenever \( \sigma \ge 2\) and \(\sigma B_{x, \lambda } \in \mathcal {B}\). By applying the 5-covering theorem, we obtain a countable collection of pairwise disjoint balls \(\{B_i\}_i\) such that
Hence, the obtained balls \(B_i\) are the Calderón–Zygmund balls at level \(\lambda \) and we denote them by \(B_{i,\lambda }\).
We have constructed the Calderón–Zygmund decomposition at level \(\lambda \) and now focus on \(\lambda '\). Note that \(E_{\lambda } \subset E_{\lambda '}\) and \(r_x(\lambda ) \le r_x(\lambda ')\) for every \(x \in E_{\lambda }\). Thus, for every \(x \in E_{\lambda }\), we can choose a ball \(B_{x, \lambda '} \in \mathcal {B}\) with \(x \in B_{x, \lambda '}\) such that \(B_{x, \lambda } \subset B_{x, \lambda '}\),
Whereas, for every \(x \in E_{\lambda '} \setminus E_{\lambda }\), we choose the ball \(B_{x, \lambda '}\) in the similar way expect we do not have \(B_{x, \lambda } \subset B_{x, \lambda '}\).
We then apply the 5-covering theorem to the balls \(B_{x, \lambda '}\) to obtain the Calderón–Zygmund balls \(B_{j,\lambda '}\) at level \(\lambda '\). Moreover, the 5-covering theorem states that for every ball \(B_{x, \lambda '}\) there is an enlarged ball \(5 B_{j,\lambda '}\) such that \( B_{x, \lambda '} \subset 5 B_{j,\lambda '} . \) Since \(B_{x, \lambda } \subset B_{x, \lambda '}\) for every \(x \in E_{\lambda }\), it holds that for each \(B_{i, \lambda }\) there is \(B_{j, \lambda '}\) such that \( B_{i, \lambda } \subset 5 B_{j,\lambda '} . \) \(\square \)
We move on to a good-\(\lambda \) inequality which is crucial for the proof of the John–Nirenberg inequality. In the proof of the good-\(\lambda \) type inequality for the integral-type \(JN_p\) in [1], all Calderón–Zygmund balls can be treated in the same way. However, in the case of medians, we need to divide Calderón–Zygmund balls into two collections which must be considered separately. This is due to the fact that medians lack the monotonicity on sets that integrals have.
Lemma 4.3
Let \(0< t \le 1/2\), \(K > 1\) and \(f \in JN_{p,0,s}(\widehat{B}_0)\) for some \(0<s \le \frac{t}{2K^p c_\mu ^3}\). Assume that \(E_{K\lambda } \ne \emptyset \) and
where \(\alpha \) is given in (4.1). Consider collections of Calderón–Zygmund balls \(\{B_{i,\lambda }\}_i\) and \(\{B_{j,K\lambda }\}_j\) for the function |f| such that each \(B_{j,K\lambda }\) is contained in some \(5B_{i,\lambda }\). Then it follows that
Proof
Denote
for every \(i \in \mathbb {N}\), and
Particularly, the set \(J_i\) contains those indexes \(j \notin \bigcup _{k=1}^{i-1} J_k\) for which \(B_{j,K\lambda }\) is contained in \(5B_{i,\lambda }\). Since every \(B_{j,K\lambda }\) is contained in some \(5B_{i,\lambda }\), we get the partition
Using properties (ii), (v), (vii) of Lemma 2.6 and (iii), (iv) of Lemma 4.2 in this order, we obtain
Since \(B_{j,K\lambda }\) are pairwise disjoint, property (x) of Lemma 2.6 implies that
for every \(i \in \mathbb {N}\). For \(i \in I\), it holds that
Hence, by property (iii) of Lemma 2.6, we have
for every \(i \in I\), where \(\beta = 2 K^p c_\mu ^3\).
Denote
Then for \(i \in I\), we have \(M_\mathcal {B}^\# f(x) \ge m_{|f-m_{f}^{t}(5B_{i,\lambda })| }^{t/\beta }(5B_{i,\lambda }) > (K-1)\lambda \) for every \(x \in 5B_{i,\lambda }\). Thus, we get
For every \(x \in \{ x \in \widehat{B}_0 : M_\mathcal {B}^\# f(x) > (K-1)\lambda \}\), there exists \(B_x \in \mathcal {B}\) such that \(x \in B_x\) and \(m_{|f-m_{f}^{t}(B_x)| }^{t/\beta }(B_x) > (K-1)\lambda \). Applying the 5-covering theorem, we get a countable collection of pairwise disjoint balls \(B_k\) such that
We then have
whenever \(s \le \frac{t}{\beta } = \frac{t}{2K^p c_\mu ^3}\).
On the other hand, for \(i \notin I\) we have
and thus summing over \(i \notin I\) we get
By combining the cases \(i\in I\) and \(i \notin I\), we conclude that
\(\square \)
We now state our main result which is the John–Nirenberg inequality for \(JN_{p,0,s}\). It implies that \(JN_{p,0,s}(\widehat{B})\) is contained in \(L^{p,\infty }(B)\) for all balls \(B \subset X\).
Theorem 4.4
Let \(0 < s \le s_0 = \min \{\tfrac{1}{2\alpha }, \tfrac{1}{8 c_\mu ^3}\} \) and \(s \le r \le \frac{1}{2}\), where \(\alpha \) is given in (4.1). If \(f \in JN_{p,0,s}(\widehat{B}_0)\), then for every \(\lambda > 0\) it holds that
where the constant c depends on p and the doubling constant \(c_\mu \), that is,
Proof
Let \(t = \frac{1}{2}\). We can assume that \(E_\lambda = E_\lambda ^{|f-m_f^{r}(B_0)|} \ne \emptyset \), since otherwise the claim is clear. In addition, we can assume that \(\lambda > \lambda _0 = m_{|f-m_f^{r}(B_0)|}^{t/\alpha }(\widehat{B}_0)\), since otherwise if \(0 < \lambda \le \lambda _0\), then by the trivial estimate and Lemma 3.2 we have
whenever \(s \le \frac{t}{\alpha } = \frac{1}{2\alpha }\) and \(s \le r \le \frac{1}{2}\). Thus, the conditions in Lemma 4.2 and Lemma 4.3 hold for the function \(|f-m_f^{r}(B_0)|\).
Let \(K = 2^{1/p}\) and \(N \in \mathbb {N}\) such that
Consider \(N+1\) families of Calderón–Zygmund balls at levels \(\lambda _0, K \lambda _0, \dots , K^N \lambda _0\). Note that for every \(n=0,1,\dots ,N-1,\) each \(B_{i,K^{n+1}\lambda }\) is contained in some \(5B_{j,K^n\lambda }\). It follows that
We claim that
for every \(n=0,1,\dots ,N\), where
We prove the claim by induction. First, note that the claim holds for \(n=0\) since
Assume then that the claim holds for \(k \in \{0,1,\dots ,N-1\}\), that is,
We show that this implies the claim for \(k+1\). By using Lemma 4.3 for \(K^k \lambda _0\), we observe that
Therefore, the claim holds for \(k+1\).
Hence, we conclude that
where
since \(K = 2^{1/p}\). \(\square \)
5 Global John–Nirenberg Inequality for \(JN_{p,0,s}\) in Boman Sets
We give a proof for the global John–Nirenberg inequality for \(JN_{p,0,s}\) in Boman sets. For more detailed discussion about Boman sets, see [32] and references therein.
Definition 5.1
A set \(\Delta \subset X\) is called Boman if there are constants \(C_2> C_1 > 1\), \(C_3 > 1\), \(\rho >1\) and \(M \in \mathbb {N}\) and a collection of pairwise disjoint balls \(\mathcal {F}\) such that
-
(i)
\(\Delta = \bigcup _{B \in \mathcal {F}} C_1 B = \bigcup _{B \in \mathcal {F}} C_2 B\).
-
(ii)
If \(B \in \mathcal {F}\), there are at most M balls \(V \in \mathcal {F}\) with \(C_2 V \cap C_2 B \ne \emptyset \).
-
(iii)
There is a central ball \(B_*\in \mathcal {F}\) such that for each \(B \in \mathcal {F}\) there exists a finite collection of balls \(\mathcal {C}(B) = \{B_i\}_{i=1}^{k_B} \subset \mathcal {F}\) with \(B_1 = B_*\) and \(B_{k_B} = B\).
-
(iv)
In \(\mathcal {C}(B)\), for each pair of balls \(B_i\) and \(B_{i-1}\) corresponding to consecutive indices there exists a ball \(D_i \subset C_1 B_i \cap C_1 B_{i-1}\) such that \(\mu (D_i) \ge C_3 (\mu (B_i) + \mu (B_{i-1}) )\).
-
(v)
If \(V \in \mathcal {C}(B)\), then \(B \subset \rho V\).
Parameters \(C_1,C_2,C_3,\rho \) and M in the results below are the same as in Definition 5.1. The proof of the following lemma can be found in [32] for integral averages. The proof is identical for medians, and thus is omitted here.
Lemma 5.2
Let \(\Delta \subset X\) be a Boman set, \(1< p < \infty \) and \(0 < s \le 1/2\). Then
where the constant \(C_0\) depends on p, the doubling constant \(c_\mu \), \(C_1,C_2,C_3,\rho \) and M.
For the next theorem, the global John–Nirenberg lemma, we fix the parameter \(\eta \) from Sect. 4 such that \(1 + \eta = \frac{C_2}{C_1}\). The proof follows that of [32].
Theorem 5.3
Let \(\Delta \subset X\) be a Boman set and \(0 < s \le s_0\), where \(s_0\) is given in Theorem 4.4. If \(f \in JN_{p,0,s}(\Delta )\), then there exists \(a \in \mathbb {R}\) such that for every \(\lambda > 0\) it holds that
where C depends on p, the doubling constant \(c_\mu \), \(C_1,C_2,C_3,\rho \) and M.
Proof
Let \(s \le r \le \frac{1}{2}\), \(\mathcal {F}\) be the collection of balls in the definition of the Boman set \(\Delta \) and \(B_*\) be the central ball. We have
By applying Theorem 4.4, we get
To estimate the second term, we use the definition of weak \(L^p\) norm, Lemma 5.2 and Theorem 4.4 to obtain
Therefore, it holds that
where \(\widetilde{C} = 2^p c (C_0 + 1)\). By property (ii) of Lemma 5.1, the collection \(\{C_2 B\}_{B \in \mathcal {F}}\) consists of balls that intersect at most M balls of the same collection. Thus, it can be decomposed into at most M collections of pairwise disjoint balls \(\mathcal {D}_i, i=1,\dots , M\) such that \(\{C_2 B\}_{B \in \mathcal {F}} = \bigcup _{i=1}^M \mathcal {D}_i\). This implies that
where \(C = \widetilde{C} M\). This concludes the proof. \(\square \)
If all balls are Boman sets with uniform parameters, then the median-type John–Nirenberg space coincides with the integral-type John–Nirenberg space in every open set. For example, geodesic spaces satisfy the uniform Boman condition on balls [16].
Corollary 5.4
Let \(1<p<\infty \), \(0< q < p\) and \(0 < s \le s_0\), where \(s_0\) is given in Theorem 4.4. Assume that all balls in X are Boman sets with uniform parameters \(C_1,C_2,C_3,\rho \) and M. Then for every open set \(\Omega \subset X\) it holds that
where C is the constant from Theorem 5.3.
Proof
Let \(\{B_i\}_i\) be a countable collection of pairwise disjoint balls contained in \(\Omega \). The first inequality is stated and proven in Proposition 3.4. For the second inequality, since by the assumption the balls \(B_i\) are Boman sets, we may apply Theorem 5.3 on \(B_i\). This together with Cavalieri’s principle implies
where C is the constant from Theorem 5.3. We then estimate
Thus, we conclude that
References
Aalto, D., Berkovits, L., Kansanen, O.E., Yue, H.: John-Nirenberg lemmas for a doubling measure. Stud. Math. 204(1), 21–37 (2011)
Berkovits, L., Kinnunen, J., Martell, J.M.: Oscillation estimates, self-improving results and good-\(\lambda \) inequalities. J. Funct. Anal 270(9), 3559–3590 (2016)
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, Report no. 29, Department of Mathematics, University of Stockholm, Sweden (1982)
Buckley, S., Koskela, P., Guozhen, L.: Boman Equals John, XVIth Rolf Nevanlinna Colloquium (Joensuu, 1995), pp. 91–99. de Gruyter, Berlin (1996)
Campanato, S.: Su un teorema di interpolazione di G. Stampacchia. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 20, 649–652 (1966)
Chua, S.-K.: Weighted Sobolev inequalities on domains satisfying the chain condition. Proc. Am. Math. Soc. 117(2), 449–457 (1993)
Dafni, G., Hytönen, T., Korte, R., Yue, H.: The space \(JN_p\): nontriviality and duality. J. Funct. Anal. 275(3), 577–603 (2018)
Federer, H., Ziemer, W.P.: The Lebesgue set of a function whose distribution derivatives are p-th power summable. Indiana Univ. Math. J. 22(73), 139–158 (1972)
Franchi, B., Pérez, C., Wheeden, R.L.: Self-improving properties of John-Nirenberg and Poincaré inequalities on spaces of homogeneous type. J. Funct. Anal. 153(1), 108–146 (1998)
Fujii, N.: A condition for a two-weight norm inequality for singular integral operators. Stud. Math. 98(3), 175–190 (1991)
Giaquinta, M.: Introduction to Regularity Theory for Nonlinear Elliptic Systems. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel (1993)
Giaquinta, M., Martinazzi, L.: An Introduction to the Regularity Theory for Elliptic Systems, Harmonic Maps and Minimal Graphs, second ed., Appunti. Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes. Scuola Normale Superiore di Pisa (New Series)], vol. 11, Edizioni della Normale, Pisa (2012)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific Publishing Co. Inc., River Edge, NJ (2003)
Gogatishvili, A., Koskela, P., Zhou, Y.: Characterizations of Besov and Triebel-Lizorkin spaces on metric measure spaces. Forum Math. 25(4), 787–819 (2013)
Hajłasz, P., Koskela, P.: Sobolev met Poincaré, Mem. Am. Math. Soc. 145 (2000), no. 688, x+101
Heikkinen, T.: Generalized Lebesgue points for Hajłasz functions. J. Funct. Spaces (2018). Art. ID 5637042, 12 pp
Heikkinen, T., Ihnatsyeva, L., Tuominen, H.: Measure density and extension of Besov and Triebel-Lizorkin functions. J. Fourier Anal. Appl. 22(2), 334–382 (2016)
Heikkinen, T., Kinnunen, J.: A median approach to differentiation bases. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 30(1), 41–66 (2019)
Heikkinen, T., Koskela, P., Tuominen, H.: Approximation and quasicontinuity of Besov and Triebel-Lizorkin functions. Trans. Am. Math. Soc. 369(5), 3547–3573 (2017)
Heikkinen, T., Tuominen, H.: Approximation by Hölder functions in Besov and Triebel-Lizorkin spaces. Constr. Approx. 44(3), 455–482 (2016)
Heinonen, J.: Lectures on Analysis on Metric Spaces. Universitext, Springer, New York (2001)
Hurri-Syrjänen, R., Marola, N., Vähäkangas, A.V.: Aspects of local-to-global results. Bull. Lond. Math. Soc. 46(5), 1032–1042 (2014)
Jawerth, B., Pérez, C., Welland, G.: The positive cone in Triebel-Lizorkin spaces and the relation among potential and maximal operators. In: Milman, M., Schonbek, T. (eds.) Harmonic Analysis and Partial Differential Equations (Boca Raton, FL, 1998). Contemporary Mathematics, vol. 107, pp. 71–91. American Mathematical Society, Providence, RI (1990)
Jawerth, B., Torchinsky, A.: Local sharp maximal functions. J. Approx. Theory 43(3), 231–270 (1985)
John, F.: Quasi-isometric mappings, Seminari 1962/63 Anal. Alg. Geom. e Topol., vol. 2, pp. 462–473, Ist. Naz. Alta Mat, Ediz. Cremonese, Rome (1965)
John, F., Nirenberg, L.: On functions of bounded mean oscillation. Commun. Pure Appl. Math. 14, 415–426 (1961)
Karak, N.: Triebel-Lizorkin capacity and Hausdorff measure in metric spaces. Math. Slovaca 70(3), 617–624 (2020)
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., Pérez, C.: Self-improving properties of generalized Poincaré type inequalities through rearrangements. Math. Scand. 97(2), 217–234 (2005)
MacManus, P., Pérez, C.: Generalized Poincaré inequalities: sharp self-improving properties. Int. Math. Res. Not. 2, 101–116 (1998)
Marola, N., Saari, O.: Local to global results for spaces of BMO type. Math. Z. 282(1–2), 473–484 (2016)
Poelhuis, J., Torchinsky, A.: Medians, continuity, and vanishing oscillation. Stud. Math. 213(3), 227–242 (2012)
Stampacchia, G.: The spaces \({\cal{L}}^{(p,\lambda )}\), \(N^{(p,\lambda )}\) and interpolation. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 3, 443–462 (1965)
Strömberg, J.-O.: Bounded mean oscillation with Orlicz norms and duality of Hardy spaces. Indiana Univ. Math. J. 28(3), 511–544 (1979)
Strömberg, J.-O., Torchinsky, A.: Weighted Hardy Spaces. Lecture Notes in Mathematics, vol. 1381. Springer, Berlin (1989)
Zhou, Y.: Fractional Sobolev extension and imbedding. Trans. Am. Math. Soc. 367(2), 959–979 (2015)
Acknowledgements
The author would like to thank Juha Kinnunen and Riikka Korte for valuable discussions. The author would also like to thank the anonymous referee for carefully reading the paper and for constructive comments. The research was supported by the Academy of Finland.
Funding
Open Access funding provided by Aalto University.
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.
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
Myyryläinen, K. Median-Type John–Nirenberg Space in Metric Measure Spaces. J Geom Anal 32, 131 (2022). https://doi.org/10.1007/s12220-022-00872-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-00872-9