- Research
- Open access
- Published:
The boundedness of Marcinkiewicz integrals commutators on non-homogeneous metric measure spaces
Journal of Inequalities and Applications volume 2015, Article number: 259 (2015)
Abstract
Let \((\mathcal{X},d,\mu)\) be a metric measure space satisfying the upper doubling condition and geometrically doubling condition in the sense of Hytönen. In this paper, the authors establish the boundedness of the commutator generated by the \(\operatorname {RBMO}(\mu)\) function and the Marcinkiewicz integral with kernel satisfying a Hörmander-type condition, respectively, from \(L^{p}(\mu)\) with \(1< p<\infty\) to itself.
1 Introduction
In 1938, Marcinkiewicz [1] introduced the integral on one-dimensional Euclidean space \(\mathbb{R}\), which is today called the Marcinkiewicz integral, and conjectured that it is bounded on \(L^{p}([0,2\pi])\), \(1< p<\infty\). Zygmund in [2] proved the Marcinkiewicz conjecture. In 1958, Stein [3] generalized the above Marcinkiewicz integral to the higher-dimensional case. Let Ω be homogeneous of degree zero in \(\mathbb{R}^{n}\), \(n\geq2\), integrable and have mean value zero on the unit sphere \(\mathcal{S}^{n-1}\). The higher-dimensional Marcinkiewicz integral is then defined by
Stein [3] proved that if \(\Omega\in \operatorname {Lip}_{\alpha}(\mathcal {S}^{n-1})\) for some \(\alpha\in(0,1]\), then \(\mathcal{M}_{\Omega}\) is bounded on \(L^{p}(\mathbb{R}^{n})\) for \(p\in(1,2]\) and also bounded from \(L^{1}(\mathbb{R}^{n})\) to \(L^{1,\infty}(\mathbb{R}^{n})\). Since then, many papers focused on the boundedness of this operator on various function spaces. We refer the reader to [4–12] for its developments and applications.
The main purpose of this paper is to establish the bound of the commutator generated by the Marcinkiewicz integral and the \(\operatorname {RBMO}(\mu)\) function on the non-homogeneous metric measure spaces.
During the past 10 to 15 years, considerable attention has been paid to the study of the classical theory of harmonic analysis on Euclidean spaces with non-doubling measures only satisfying the polynomial growth condition (see [13–21]). To be precise, let μ be a positive Radon measure on \(\mathbb{R}^{d}\) with satisfies the polynomial growth condition that, for all \(x\in\mathbb{R}^{d}\) and \(r>0\),
where \(c_{0}\) is a positive constants and \(0< n\leq d\), and \(B(x,r)\) is the open ball centered at x and having radius r. The analysis associated with such non-doubling measure μ has proved to play a striking role in solving the long-standing open Painlevé’s problem and Vitushkin’s conjecture by Tolsa [19]. The non-doubling measure μ may not satisfy the well-known doubling condition, which is a key assumption in harmonic analysis on spaces of homogeneous type in the sense of Coifman and Weiss [22, 23]. To unify both spaces of homogeneous type and the metric spaces endowed with measures satisfying the polynomial growth condition, Hytönen [24] introduced a new class of metric measure spaces satisfying both the so-called geometrically doubling and the upper doubling condition, which are called non-homogeneous metric measure spaces (see Definition 1.3 below). Many classical results have been proved still valid if the underlying spaces are non-homogeneous metric measure spaces (see [25–32]). From now on, we always assume that \((\mathcal{X},d,\mu)\) is a non-homogeneous metric measure spaces in the sense of Hytönen [24]. In this setting, Hytönen [24] introduced the space \(\operatorname {RBMO}(\mu)\), and Hytönen and Martikainen [27] established a version of the Tb theorem. About Marcinkiewicz integral, Lin and Yang [31] have proved that the \(L^{p}(\mu)\)-boundedness with \(p\in (1,\infty)\) is equivalent to either of its boundedness from \(L^{1}(\mu)\) into \(L^{1,\infty}(\mu)\) or from the atomic Hardy space \(H^{1}(\mu)\) (see [28]) to \(L^{1}(\mu)\). They also showed that if the Marcinkiewicz integral is bounded from \(H^{1}(\mu)\) to \(L^{1}(\mu)\), then it is bounded from \(L^{\infty}(\mu)\) to RBLO(μ) (see [33]), which is a proper subset of \(\operatorname {RBMO}(\mu)\). These results essentially improve the existing results in [34].
Now we recall some necessary notions and notation.
The following notion of the geometrically doubling is well known in analysis on metric spaces, which was originally introduced by Coifman and Weiss in [22, 23] and is also known as metrically doubling.
Definition 1.1
A metric space \((\mathcal{X},d)\) is said to be geometrically doubling if there exists some \(N_{0}\in\mathbb{N}\) such that, for all balls \(B(x,r)\subset\mathcal{X}\), there exists a finite ball covering \(\{B(x_{i},\frac{r}{2})\}_{i}\) of \(B(x,r)\) such that the cardinality of this covering is at most \(N_{0}\).
Remark 1.2
Let \((\mathcal{X},d)\) be a metric space. In [24], Hytönen showed that the following statements are mutually equivalent:
-
(1)
\((\mathcal{X},d)\) is geometrically doubling.
-
(2)
For any \(\varepsilon\in(0,1)\) and any ball \(B(x,r)\subset \mathcal{X}\), there exists a finite ball covering \(\{B(x_{i},\varepsilon r)\}_{i}\) of \(B(x,r)\) such that the cardinality of this covering is at most \(N_{0}\varepsilon^{-n}\), where \(n=\log_{2}{N_{0}}\).
-
(3)
For any \(\varepsilon\in(0,1)\) and any ball \(B(x,r)\subset \mathcal{X}\) contains at most \(N_{0}\varepsilon^{-n}\) centers of disjoint balls \(\{B(x_{i},\varepsilon r)\}_{i}\).
-
(4)
There exists \(M\in\mathbb{N}\) such that any ball \(B(x,r)\subset \mathcal{X}\) contains at most M centers \(\{x_{i}\}_{i}\) of disjoint balls \(\{B(x_{i},r/4)\}_{i=1}^{M}\).
Definition 1.3
A metric measure space \((\mathcal{X},d,\mu)\) is said to be upper doubling if μ is a Borel measure on \(\mathcal{X}\) and there exist a dominating function \(\lambda: \mathcal{X}\times(0,\infty) \rightarrow(0,\infty) \) and a positive constant \(c_{\lambda}\) such that, for each \(x\in\mathcal{X}\), \(r\rightarrow\lambda(x,r)\) is non-decreasing and
It was proved in [28] that there exists a dominating function λ̃ related to λ satisfying the property that there exists a positive constant \(c_{\tilde{\lambda}}\) such that \(\tilde{\lambda}\leq\lambda\), \(c_{\tilde{\lambda}}\leq c_{\lambda}\) and, for all \(x,y\in\mathcal{X}\), \(r>0\) with \(d(x,y)\leq r\), \(\tilde{\lambda}(x,r)\leq c_{\tilde{\lambda}}\tilde{\lambda}(y,r)\). Based on this, in this paper, we always assume that the dominating function λ also satisfies it.
The following coefficients \(\delta(B,S)\) for all ball B and S were introduced in [24] as analogs of Tolsa’s number \(K_{B,S}\) in [18].
Definition 1.4
For all balls \(B\subset S\), let
where above and in that follows, for a ball \(B=B(c_{B},r_{B})\) and \(\rho>0\), \(\rho B=B(c_{B},\rho r_{B})\).
Remark 1.5
The following discrete version \(K_{B,S}\) of \(\delta (B,S)\) was first introduced by Bui and Duong [25] in non-homogeneous metric measure spaces, which is more close to the quantity \(K_{B,S}\) introduced by Tolsa [18] in the setting of non-doubling measures. For all balls \(B\subset S\), let \(K_{B,S}\) be defined by
where \(N_{B,S}\) denote the smallest integer satisfying \(6^{N_{B,S}}r_{B}\geq r_{s}\). Obviously \(\delta(B,S)\lesssim K_{B,S}\). As was pointed out by Bui and Duong [25], it is not true that \(\delta(B,S)\thicksim K_{B,S}\).
Definition 1.6
Let \(\alpha,\beta\in(0,\infty)\). A ball \(B\subset\mathcal{X}\) is called \((\alpha,\beta)\)-doubling if \(\mu(\alpha B)\leq\beta\mu(B)\).
It was proved in [24] that if a metric measure space \((\mathcal{X},d,\mu)\) is upper doubling and \(\alpha,\beta\in(0,\infty)\) satisfying \(\beta>c_{\lambda}^{\log_{2}{\alpha}}=\alpha^{v}\), then, for any ball B, there exists some \(j\in\mathbb{N}\cup\{0\}\) such that \(\alpha^{j}B\) is \((\alpha,\beta)\)-doubling. Moreover, let \((\mathcal{X},d,\mu)\) be geometrically doubling, \(\beta>\alpha^{n}\) with \(n=\log_{2}N_{0}\) and μ a Borel measure on \(\mathcal{X}\) which is finite on bounded sets. Hytönen [24] also showed that for μ-almost every \(x\in\mathcal{X}\), there exist arbitrary small \((\alpha,\beta)\)-doubling balls centered at x. Furthermore, the radii of these balls may be chosen to be of the form \(\alpha^{-j}B\) for \(j\in\mathbb{N}\) and any preassigned number \(r>0\). Throughout this paper, for any \(\alpha\in(1,\infty)\) and ball B, the smallest \((\alpha,\beta_{\alpha})\)-doubling ball of the form \(\alpha^{j}B\) with \(j\in\mathbb{N}\) is denoted by \(\tilde{B}^{\alpha}\), where
In what follows, by a doubling ball we mean a \((6,\beta_{6})\)-doubling ball and \(\tilde{B}^{6}\) is simply denoted by B̃.
Now we recall the definition of \(\operatorname {RBMO}(\mu)\) from [24].
Definition 1.7
Let \(\rho\in(1,\infty)\). A function \(f\in L^{1}_{\mathrm{loc}}(\mu)\) is said to be in the space \(\operatorname {RBMO}(\mu)\) if there exist a positive constant c and, for any ball \(B\subset\mathcal{X}\), a number \(f_{B}\) such that
and, for any two balls \(B\subset S\),
The infimum of the positive constant c is defined to be the \(\operatorname {RBMO}(\mu )\) norm of f and denote by \(\Vert f\Vert _{\mathrm{RBM}(\mu)}\).
In [24], it follows that the definition of \(\operatorname {RBMO}(\mu)\) is independent of the choice of \(\rho\in(1,\infty)\).
The following equivalent characterization of \(\operatorname {RBMO}(\mu)\) was established in [28].
Lemma 1.8
Let \(\rho\in(1,\infty)\) and \(f\in L^{1}_{\mathrm{loc}}(\mu)\). Then the following statements are equivalent:
-
(1)
\(f\in \operatorname {RBMO}(\mu)\);
-
(2)
there exist a positive constant c and, for any ball \(B\subset\mathcal{X}\), such that
$$\frac{1}{\mu(\rho B)}\int_{B}\bigl\vert f(x)-m_{\tilde{B}}f \bigr\vert \,d\mu(x)\leq c $$and, for any doubling balls \(B\subset S\),
$$\vert m_{B}-m_{S}\vert \leq c\delta_{B,S}. $$
Moreover, let \(\Vert f\Vert _{*}\) be the infimum of the positive constant c in (2). Then there exists a constant c̃ such that \(\frac{\Vert f\Vert _{*}}{\tilde{c}}\leq \Vert f\Vert _{\operatorname {RBMO}(\mu)}\leq\tilde{c} \Vert f\Vert _{*}\).
Now we give the definition of Marcinkiewicz integral (see [31]).
Definition 1.9
Let K be a locally integrable function on \((\mathcal{X}\times\mathcal{X})\setminus\{(x,x):x\in\mathcal{X}\}\). Assume that there exists a positive constant c such that, for all \(x,y\in\mathcal{X}\) with \(x\neq y\),
and, for all \(y, y'\in\mathcal{X}\),
The Marcinkiewicz integral \(\mathcal{M}f\) associated to the above kernel K is defined by setting, for all \(x\in\mathcal{X}\),
We show that the commutator \(\mathcal{M}_{b}\), associating with \(b\in \operatorname {RBMO}(\mu)\) and \(\mathcal{M}\), which is defined by
In [31], the authors have proven that the Marcinkiewicz integral \(\mathcal{M}\) is bounded from \(L^{p}(\mu)\) to \(L^{p}(\mu)\), \(1< p<\infty\). Our main result is as follows.
Theorem 1.10
Let K satisfy (1.5) and the following Hörmander-type condition:
If \(\mathcal{M}\) is bounded on \(L^{2}(\mu)\), then, for any \(b\in \operatorname {RBMO}(\mu)\), the commutator \(\mathcal{M}_{b}\) is bounded on \(L^{p}(\mu)\) with the bound no more than \(c_{p}\Vert b\Vert _{\operatorname {RBMO}(\mu)}\), where \(1< p<\infty\).
Remark 1.11
The Hörmander-type condition (1.9) is slightly stronger than (1.6).
The organization of this paper is as follows. In Section 2, we introduce the sharp maximal operator \(M^{\#}\), associated with \(K_{B,S}\) and prove Lemma 2.6. This technical lemma is of independent interest. Section 3 is devoted to the proof of Theorem 1.10.
Throughout this paper, we denote c a positive constant which is independent of the main parameters involved, but may vary from line to line. For any ball \(B\subset\mathcal{X}\), we denote its center and radius by \(c_{B}\) and \(r_{B}\). \(m_{B}f\) means that \(\frac{1}{\mu(B)}\int_{B}f(y)\,d\mu(y)\).
2 The sharp maximal function
For a locally integrable function f, let \(M^{\#}f\) be the sharp maximal function of f, namely, for \(x\in\mathcal{X}\),
where \(\Delta_{x}=\{(B,S):x\in B\subset S \mbox{ and } B, S \mbox{ are doubling balls}\}\).
For \(0< r<\infty\), let \(M_{r}^{\#}f(x)=[M^{\#}(\vert f\vert ^{r})(x)]^{\frac{1}{r}}\) for \(x\in\mathcal{X}\). A simple computation proves that if \(0< r<1\),
where \(c_{r}>0\) is independent of f and x.
We recall some results in [32].
Lemma 2.1
-
(1)
Let \(p\in(1,\infty)\), \(r\in(1,p)\) and \(\rho\in [5,\infty)\). The following maximal operators defined, respectively, by setting, for all \(f\in L^{1}_{\mathrm{loc}}(\mu)\) and \(x\in\mathcal{X}\):
$$\begin{aligned}& M_{r,\rho}f(x)=\sup_{x\in B}\biggl\{ \frac{1}{\mu(\rho B)}\int _{B}\bigl\vert f(y)\bigr\vert ^{r}\,d\mu (y) \biggr\} ^{\frac{1}{r}}, \\& Nf(x)=\sup_{x\in B: \textrm{doubling}}\frac{1}{\mu(B)}\int_{B} \bigl\vert f(y)\bigr\vert \,d\mu(y), \end{aligned}$$and
$$M_{\rho}f(x)=\sup_{x\in B}\frac{1}{\mu(\rho B)}\int _{B}\bigl\vert f(y)\bigr\vert \,d\mu(y) $$are bounded on \(L^{p}(\mu)\) and also bounded from \(L^{1}(\mu)\) to \(L^{1,\infty}(\mu)\).
-
(2)
For all \(f\in L^{1}_{\mathrm{loc}}(\mu)\) it holds true that \(\vert f(x)\vert \leq Nf(x)\) for μ-almost every \(x\in\mathcal{X}\).
In Lemma 2.1, if \(0< r<1\), using the Hölder inequality, we have \(M_{r,\rho}f(x)< M_{\rho} f(x)\). So Lemma 2.1 is right when \(0< r<1\).
We also need the following Calderón-Zygmund decomposition theorem obtained by Bui and Duong [25]. Let γ be a fixed positive constant satisfying that \(\gamma>\max\{c_{\lambda}^{3\log _{2}6},6^{3n}\}\) where \(c_{\lambda}\) is as in Definition 1.3 and n as in Remark 1.2.
Lemma 2.2
Let \(p\in[1,\infty)\), \(f\in L^{p}(\mu)\) and \(t\in (0,\infty)\) (\(t>\frac{\gamma^{\frac{1}{p}}\Vert f\Vert _{L^{p}(\mu)}}{[\mu(\mathcal {X})]^{1/p}} \) when \(\mu(\mathcal{X)}<\infty\)). Then
-
(1)
there exists a family of finite overlapping balls \(\{B_{j}\}_{j}\), pairwise disjoint,
$$\begin{aligned}& \frac{1}{\mu(6^{2}B_{j})}\int_{B_{j}}\bigl\vert f(x)\bigr\vert ^{p}\,d\mu(x)>\frac{t^{p}}{\gamma}\quad \textit{for all } j, \\& \frac{1}{\mu(6^{2}\eta B_{j})}\int_{\eta B_{j}}\bigl\vert f(x)\bigr\vert ^{p}\,d\mu(x)\leq\frac {t^{p}}{\gamma} \quad\textit{ for all } j \textit{ and all } \eta \in(2,\infty), \end{aligned}$$and
$$\bigl\vert f(x)\bigr\vert \leq t \quad \textit{for } \mu\textit{-almost every } x\in \mathcal {X}\setminus\biggl(\bigcup_{j}6B_{j}\biggr); $$ -
(2)
for each j, let \(S_{j}\) be a \((3\times6^{2}, c_{\lambda}^{\log _{2}{3\times6^{2}}+1})\)-doubling ball of the family \(\{(3\times6^{2})^{k}B_{j}\} _{k\in\mathbb{N}}\), and \(\omega_{j}=\frac{\chi_{6B_{j}}}{\sum_{k}\chi _{6B_{k}}}\). Then there exists a family \(\{\varphi_{j}\}_{j}\) of functions such that, for each j, supp \((\varphi_{j})\subset S_{j}\), \(\varphi_{j}\) has a constant sign on \(S_{j}\),
$$\begin{aligned}& \int_{\mathcal{X}}\varphi_{j}(x)\,d\mu(x)=\int _{6B_{j}}f(x)\omega_{j}(x)\,d\mu(x), \\& \sum_{j}\bigl\vert \varphi_{j}(x)\bigr\vert \leq\gamma_{0} t \quad \textit{for } \mu\textit{-almost every } x\in \mathcal{X}, \end{aligned}$$where \(\gamma_{0}\) is some positive constant depending only on \((\mathcal {X},\mu)\), and there exists a positive constant c, independent of f, t and j such that, when \(p=1\), it holds true that
$$\Vert \varphi_{j}\Vert _{L^{\infty}(\mu)}\mu(S_{j})\leq c \int_{\mathcal {X}}\bigl\vert f(x)\omega_{j}(x)\bigr\vert \,d\mu(x) $$and, if \(p\in(1,\infty)\), it holds true that
$$\biggl\{ \int_{S_{j}}\bigl\vert \varphi_{j}(x)\bigr\vert ^{p}\,d\mu(x)\biggr\} ^{1/p}\bigl[\mu(S_{j}) \bigr]^{1/p'}\leq\frac {c}{t^{p-1}}\int_{\mathcal{X}}\bigl\vert f(x)\omega_{j}(x)\bigr\vert ^{p}\,d\mu(x). $$
The following John-Nirenberg inequality was established by Hytönen in [24].
Lemma 2.3
let \((\mathcal{X}, d,\mu)\) be geometrically doubling and upper doubling. For every \(\rho>1\), there is a constant c so that, for every \(f\in \operatorname {RBMO}(\mu)\) and every ball B,
where \(f_{B}\) can be seen in definition of \(\operatorname {RBMO}(\mu)\).
From Lemma 2.3, it is easy to prove that there are two positive \(c_{1}\), \(c_{2}\) such that, for any ball B and \(b\in \operatorname {RBMO}(\mu)\),
Lemma 2.4
There is a constant c such that, for any \(a>0\) and \(t_{1}, t_{2}>0\),
This lemma had been established in [34].
We also need some useful properties of \(K_{B,S}\), which were proved in [25, 32].
Lemma 2.5
-
(1)
For all balls \(B\subset R\subset S\), \(K_{B,R}\leq 2K_{B,S}\).
-
(2)
For any \(\rho\in[1,\infty)\), there exists a positive constant \(c_{\rho}\), depending only on ρ, such that, for all balls \(B\subset S\) with \(r_{S}\leq\rho r_{B}\), \(K_{B,S}\leq c_{\rho}\).
-
(3)
There exists a positive constant c, such that, for all balls B, \(K_{B,\tilde{B}}\leq c\).
-
(4)
There exists a positive constant c, depending on \(c_{\lambda}\), such that, for all balls \(B\subset R\subset S\), \(K_{B,S}\leq K_{B,R}+cK_{R,S}\).
-
(5)
There exists a positive constant c, depending on \(c_{\lambda}\), such that, for all balls \(B\subset R\subset S\), \(K_{R,S}\leq cK_{B,S}\).
Now we give and prove the main result about the sharp maximal function \(M^{\#}\).
Lemma 2.6
Let K satisfy (1.5) and the Hörmander-type condition (1.9). We have \(s\in(1,\infty)\), \(p_{0}\in(1,\infty)\) and \(b\in L^{\infty}(\mu)\). If \(\mathcal{M}\) is bounded on \(L^{2}(\mu)\), then there is a positive constant c such that, for all \(f\in L^{\infty}(\mu)\cap L^{p_{0}}(\mu)\) and for all \(x\in\mathcal{X}\),
Proof
Without loss of generality, we may assume \(\Vert b\Vert _{\operatorname {RBMO}(\mu )}=1\). To prove Lemma 2.6, it suffices to prove that
for all \(x\in B\) and
for all balls \(B\subset S\) with \(x\in B\), where B is an arbitrary ball and S is a doubling ball,
and
To prove (2.4), for a fixed ball B, \(x\in B\) and \(f\in L^{\infty}(\mu )\), we write
and
So we can write
By the Hölder inequality and Corollary 2.3 in [32], we see that
To estimate \(A_{2}\), from the Hölder inequality, the \(L^{2}(\mu )\)-boundedness of \(\mathcal{M}\) and Corollary 2.3 in [32], it follows that
where we use the fact that \(\vert m_{\widetilde{\frac{6}{5}B}}(b)-m_{\tilde {B}}(b)\vert \leq c(K_{B,\widetilde{B}}+K_{\frac{6}{5}B,\widetilde{\frac {6}{5}B}}+K_{B,\frac{6}{5}B})\leq c\).
To obtain (2.4), we still need to estimate \(A_{3}\). Set
and
For any \(x,y\in\mathcal{X}\), we have (see also [31], p.134)
Applying the Minkowski inequality and (1.9) we conclude that, for all \(x, y\in B\),
where we use the doubling condition of λ, \(\vert m_{\widetilde {6^{i}5B}}(b)-m_{\widetilde{B}}(b)\vert \leq ci\) and \(\lambda(c_{B},d(x,c_{B}))\backsim\lambda(x,d(x,c_{B}))\backsim\lambda (x,d(x,y)) \) for \(y\in B\) and \(x\in\mathcal{X}\setminus kB\) (\(k>1\)).
Similarly, \(M_{2}(x,y)\leq c\Vert f\Vert _{L^{\infty}(\mu)}\). Now for all \(x,y\in B\), by the Minkowski inequality we have
In Lemma 2.4, we write \(a=6^{i}\mu(6^{i+1}5B)\), \(t_{1}=\frac {\vert K(y,z)-K(x,z)\vert }{d(y,z)}\), and \(t_{2}=\frac{\vert b(z)-m_{\widetilde {6^{i}5B}}\vert }{c_{2}}\). From this we have
where we use (2.3). For \(M_{32}\) we estimate
Combining these estimates above, we get
So the estimate (2.4) is proved.
Now we prove (2.5). Consider two balls \(B\subset S\) with \(x\in B\) and let \(N=N_{B,S}+1\), where S is a doubling ball. Write \(\vert h_{B}-h_{S}\vert \) as
As in the estimate for the \(A_{3}\), we have \(B_{1}\leq c\Vert f\Vert _{L^{\infty }(\mu)}\). To estimate \(B_{2}\), for \(y\in\mathcal{X}\), we get
For \(y\in R\), we have
where we have used \(\vert m_{S}(b)-m_{\widetilde{6S}}(b)\vert \leq c(K_{S,6S}+K_{6S,\widetilde{6S}})\leq c\).
In order to estimate \(B_{3}\), for \(y\in B\), we get
That is to say, \(B_{3}\leq cK^{2}_{B,S}\Vert f\Vert _{L^{\infty}(\mu)}\).
Combining the estimates through \(B_{1}\) to \(B_{4}\) establishes (2.5), which completes the proof of Lemma 2.6. □
3 Proof of Theorem 1.10
In this section, we prove Theorem 1.10. Let \(0< r<1\), we prove that, for any \(p\in(1, \infty)\), \(b\in L^{\infty}(\mu)\), and all bounded functions f with compact support,
Once (3.1) is established, it follows from the Marcinkiewicz interpolation theorem that
This via Theorem 4.2 in [25] states that, for any \(p\in(1, \infty)\), \(b\in L^{\infty}(\mu)\), and all bounded functions f with compact support and integral zero,
In [25], Theorem 6.4, the authors show the density in \(L^{p}(\mu)\) of bounded functions with compact support and integral zero. Similar to [18], Lemma 3.3, using the truncation argument, a routine argument leads to (3.3) for all \(b\in \operatorname {RBMO}(\mu)\) and \(f\in L^{p}(\mu)\).
Now we prove (3.1). Without loss of generality, we assume that \(\rho=6\) in Lemma 2.1 and \(\Vert b\Vert _{\operatorname {RBMO}(\mu)}=1\). For each fixed \(t>0\) and bounded function f with compact support, applying the Calderón-Zygmund decomposition to \(\vert f\vert ^{p}\) at level \(t^{p}\) as Lemma 2.2, we decompose \(f(x)= g(x)+h(x)\), where
It is obvious that \(\Vert g\Vert _{L^{\infty}(\mu)}\leq ct\). Using Lemma 2.1(2) we have
That is to say, \(\Vert g\Vert _{L^{p}(\mu)}\leq c\Vert f\Vert _{L^{p}(\mu)}\). Using (3.2) and Lemma 2.6 we have
where \(1< s< p\).
Similar to [25], Section 4.1, we have, for any f,
From this we write
According to the weak type 1-1 estimate for \(M_{\rho}\), we have, for any \(\lambda>0\),
Taking \(1< p_{1}< p\), it follows that
For \(D_{11}\), it follows that
where we use Lemma 2.2(1). To estimate \(D_{12}\), by the fact \(\sum_{i}\varphi_{i}\leq ct\), we have
In order to estimate \(D_{2}\), we write
For each i, we have
Using
we get
By the vanishing moment of \(h_{i}\), it follows that
But
so \(D_{21}\leq ct^{-1}t^{1-p}\Vert f\Vert ^{p}_{L^{p}(\mu)}\leq ct^{-p}\Vert f\Vert ^{p}_{L^{p}(\mu)}\).
For \(D_{22}\), it follows from the \(L^{p}(\mu)\) boundedness of \(\mathcal {M}\) that
Similar to \(D_{22}\), we have
Next we estimate \(D_{24}\). If \(\operatorname {supp}f\subset B\) for some ball then, for any \(\rho>1\) and \(x\in\mathcal{X}\setminus\rho B\), we have
For any i we write \(S_{i}=(3\times6^{2})^{k_{i}}B_{i}\). It follows that
Combining these estimates for the term \(D_{21}\), \(D_{22}\), \(D_{23}\), and \(D_{24}\) yields the desired estimate for \(D_{2}\). So we complete the proof of Theorem 1.10.
References
Marcinkiewicz, J: Sur quelques intégrales du type de Dini. Ann. Soc. Pol. Math. 17, 42-50 (1938)
Zygmund, A: Trigonometric Series, 3rd edn. Cambridge University Press, Cambridge (2002)
Stein, EM: On the functions of Littlewood-Paley, Lusin, and Marcinkiewicz. Trans. Am. Math. Soc. 88, 430-466 (1958)
Ding, Y, Lu, S, Xue, Q: Marcinkiewicz integral on Hardy spaces. Integral Equ. Oper. Theory 42, 174-182 (2002)
Ding, Y, Lu, S, Zhang, P: Weighted weak type estimates for commutators of the Marcinkiewicz integrals. Sci. China Ser. A 47, 83-95 (2004)
Ding, Y, Xue, Q, Yabuta, K: A remark to the \(L^{2}\) boundedness of parametric Marcinkiewicz integral. J. Math. Anal. Appl. 387, 691-697 (2012)
Hu, G, Lu, S, Yang, D: \(L^{p}(R^{m} \times R^{n})\) boundedness for the Marcinkiewicz integral on product spaces. Sci. China Ser. A 46, 75-82 (2003)
Hu, G, Meng, Y, Yang, D: Estimates for Marcinkiewicz integrals in BMO and Campanato spaces. Glasg. Math. J. 49, 167-187 (2007)
Lu, S: Marcinkiewicz integral with rough kernels. Front. Math. China 3, 1-14 (2008)
Torchinsky, A, Wang, S: A note on the Marcinkiewicz integral. Colloq. Math. 60/61, 235-243 (1990)
Wu, H: On Marcinkiewicz integral operators with rough kernels. Integral Equ. Oper. Theory 52, 285-298 (2005)
Yang, D, Yang, D, Hu, G: The Hardy Space H 1 with Non-doubling Measures and Their Applications. Lecture Notes in Mathematics, vol. 2084. Springer, Berlin (2013)
Chen, W, Meng, Y, Yang, D: Calderón-Zygmund operators on Hardy spaces without the doubling condition. Proc. Am. Math. Soc. 133, 2671-2680 (2005)
Chen, W, Sawyer, E: A note on commutators of fractional integrals with \(\operatorname {RBMO}({\mu })\) functions. Ill. J. Math. 46, 1287-1298 (2002)
Tolsa, X: Littlewood-Paley theory and the T(1) theorem with non-doubling measures. Adv. Math. 164, 57-116 (2001)
Jiang, Y: Spaces of type BLO for non-doubling measures. Proc. Am. Math. Soc. 133, 2101-2107 (2005)
Nazarov, F, Treil, S, Volberg, A: The Tb-theorem on non-homogeneous spaces. Acta Math. 190, 151-239 (2003)
Tolsa, X: BMO, \(H^{1}\) and Calderón-Zygmund operators for non doubling measures. Math. Ann. 319, 89-149 (2001)
Tolsa, X: Painlevé’s problem and the semiadditivity of analytic capacity. Acta Math. 190, 105-149 (2003)
Yang, D, Zhou, Y: Boundedness of Marcinkiewicz integrals and their commutators in \(H^{1} (R^{n} \times R^{m})\). Sci. China Ser. A 49, 770-790 (2006)
Cao, Y, Zhou, J: Morrey spaces for nonhomogeneous metric measure spaces. Abstr. Appl. Anal. 2013, Article ID 196459 (2013). doi:10.1155/2013/196459
Coifman, RR, Weiss, G: Extensions of Hardy spaces and their use in analysis. Bull. Am. Math. Soc. 83, 569-645 (1977)
Coifman, RR, Weiss, G: Analyse Harmonique Non-commutative sur Certains Espaces Homogènes. Lecture Notes in Mathematics, vol. 242. Springer, Berlin (1971)
Hytönen, T: A framework for non-homogeneous analysis on metric spaces and the RBMO space of Tolsa. Publ. Mat. 54, 485-504 (2010)
Bui, TA, Duong, XT: Hardy spaces, regularized BMO and the boundedness of Calderón-Zygmund operators on non-homogeneous spaces. J. Geom. Anal. 23, 895-932 (2013)
Hytönen, T, Liu, S, Yang, D, Yang, D: Boundedness of Calderón-Zygmund operators on non-homogeneous metric measure spaces. Can. J. Math. 64, 892-923 (2012)
Hytönen, T, Martikainen, H: Non-homogeneous Tb theorem and random dyadic cubes on metric measure spaces. J. Geom. Anal. 22, 1071-1107 (2012)
Hytönen, T, Yang, D, Yang, D: The Hardy space \(H^{1}\) on non-homogeneous metric spaces. Math. Proc. Camb. Philos. Soc. 153, 9-31 (2012)
Liu, S, Yang, D, Yang, D: Boundedness of Calderón-Zygmund operators on non-homogeneous metric measure spaces equivalent characterizations. J. Math. Anal. Appl. 386, 258-272 (2012)
Fu, X, Yang, D, Yuan, W: Boundedness on Orlicz spaces for multilinear commutators of Calderón-Zygmund operators on non-homogeneous spaces. Taiwan. J. Math. 16, 2203-2238 (2012)
Lin, H, Yang, D: Equivalent boundedness of Marcinkiewicz integrals on non-homogeneous metric measure spaces. Sci. China Math. 57(1), 123-144 (2014)
Xing, F, Dachun, Y, Wen, Y: Generalized fractional integrals and their commutators over non-homogeneous metric measure spaces. Taiwan. J. Math. 18(2), 509-557 (2014)
Lin, H, Yang, D: Spaces of type BLO on non-homogeneous metric measure spaces. Front. Math. China 6, 271-292 (2011)
Hu, G, Lin, H, Yang, D: Marcinkiewicz integrals with non-doubling measures. Integral Equ. Oper. Theory 58, 205-238 (2007)
Acknowledgements
Project (Grant No. 11261055, 11161044) supported by NSFC. The authors cordially thank the referees for their careful reading and helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they do not have any commercial or associative interest that represents a conflict of interest in connection with the work submitted.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Yonghui, C., Jiang, Z. The boundedness of Marcinkiewicz integrals commutators on non-homogeneous metric measure spaces. J Inequal Appl 2015, 259 (2015). https://doi.org/10.1186/s13660-015-0783-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0783-4