Skip to main content

Some estimates for commutators of Hausdorff operators

Abstract

In this paper, we establish some new estimates for commutators of Hausdorff operators on homogeneous Herz and Morrey-Herz spaces, which extend some previous results.

1 Introduction and results

In 2000, Liflyand and Móricz gave the definition of Hausdorff operator in [1]. Suppose f is a locally integrable function on \(\mathbb{R}\), the Hausdorff operator is defined by

$$h_{\Phi}f(x)= \int_{\mathbb{R}}\frac{\Phi(\frac {x}{t})}{t}f(t)\,dt,\quad x\in\mathbb{R}, $$

where Φ belongs to \(L^{1}(\mathbb{R})\). The fractional Hausdorff operator in higher dimensional space \(\mathbb {R}^{n}\) is defined in [2] as follows:

$$H_{\Phi,\beta}f(x)= \int_{\mathbb{R}^{n}}\frac{\Phi(\frac {x}{|y|})}{|y|^{n-\beta}}f(y)\,dy, $$

where Φ is a radial function defined on \(\mathbb{R}^{n}\), \(0\leq \beta< n\). When \(\beta=0\), \(H_{\Phi,\beta}f=H_{\Phi}f\).

If we set \(\Phi(t)=t^{\beta-n}\chi_{(1,\infty)}(t)\), we get

$$H_{\Phi,\beta}f(x)=H_{\beta}f(x), $$

where \(H_{\beta}\) is the fractional Hardy operator defined by

$$H_{\beta}f(x)=\frac{1}{|x|^{n-\beta}} \int_{|y|< |x|}f(y)\,dy,\quad x\in \mathbb{R}^{n}\setminus \{0\}. $$

If we set \(\Phi(t)=\chi_{(0,1)}(t)\), we obtain

$$H_{\Phi,\beta}f(x)=H_{\beta}^{*}f(x), $$

where \(H_{\beta}^{*}\) is defined by

$$H_{\beta}^{*}f(x)= \int_{|y|\geq|x|}\frac{1}{|y|^{n-\beta}}f(y)\,dy. $$

The properties of Hausdorff operator in \(L^{p}\), \(H^{p}\), \(h^{p}\) and other spaces can be found in [1, 3–7].

Let T be a classical Calderón-Zygmund operator with its kernel satisfying the standard estimates; the commutator generated by T and a function \(b\in \mathit{BMO}(\mathbb{R}^{n})\) is defined by

$$[b,T]f(x)=b(x)T(f) (x)-T(bf) (x). $$

In 1976, Coifman et al. [8] proved that \([b,T]\) is bounded on \(L^{p}(\mathbb{R}^{n})\) for any \(1< p<\infty\). In 2012, Gao and Jia studied the boundedness of commutator \([b,H_{\Phi }]\) of Hausdorff operator with central BMO function in Lebesgue space, Morrey-Herz spaces, and Herz spaces in [9]. The theory of commutators of singular integrals has been studied extensively.

In 1981, Cohen [10] considered the following generalized commutators:

$$T_{A}f(x)= \int_{\mathbb{R}^{n}}\frac{\Omega (x-y)}{|x-y|^{n+1}}f(y) \bigl(A(x)-A(y)-\nabla A(y) (x-y)\bigr)\,dy, $$

where \(\Omega\in L^{1}(S^{n-1})\) satisfies \(\Omega(\lambda x)=\Omega (x)\), \(\lambda>0\), ∀x, \(\int_{S^{n-1}}|x|\Omega(x)\,dx=0\). And he proved when \(\Omega\in \operatorname{Lip}_{1}(S^{n-1})\), \(\nabla A\in \mathit{BMO}(\mathbb {R}^{n})\), \(T_{A}\) is bounded on \(L^{p}(\mathbb{R}^{n})\) for \(1< p<\infty\).

In 2002, Pérez and Trujillo-González [11] established the boundedness for the multilinear commutators of the classical Calderón-Zygmund operators \(T_{\vec{b}}f\), which are defined by \(T_{\vec{b}}f (x)=\int_{\mathbb{R}^{n}}\prod_{j=1}^{m}(b_{j}(x)-b_{j}(y))K(x,y)\,dy\). Later the multilinear commutators were widely studied by many authors.

In this paper, we mainly discuss the properties of generalized commutators and multilinear commutators of Hausdorff operators with central BMO functions in some function spaces.

Let us first of all recall the definition of homogeneous central BMO space.

Definition 1

[12]

Let \(1\leq q< \infty\), \(\mathit{CBMO}_{q}(\mathbb{R}^{n})\) is the space of all functions \(f\in L_{\mathrm{loc}}^{q}(\mathbb{R}^{n})\) satisfying

$$\|f\|_{\mathit{CBMO}_{q}(\mathbb{R}^{n})}=\sup_{r>0} \biggl(\frac {1}{|B(0,r)|} \int_{B(0,r)}\bigl|f(x)-f_{B(0,r)}\bigr|^{q}\,dx \biggr)^{1/q}< \infty, $$

where \(B(0,r)=\{x\in\mathbb{R}^{n}:|x|< r\}\) and \(f_{B(0,r)}\) is the mean value of f on \(B(0,r)\).

It is easy to see \(\mathit{BMO}(\mathbb{R}^{n})\subsetneqq \mathit{CBMO}_{q}(\mathbb {R}^{n})\), \(1\leq q<\infty\), and \(\mathit{CBMO}_{q}(\mathbb{R}^{n})\subsetneqq \mathit{CBMO}_{p}(\mathbb{R}^{n})\), \(1\leq p< q<\infty\).

Let us give the definitions of the generalized commutators of Hausdorff operator and the multilinear commutators of Hausdorff operators.

Let A be a function on \(\mathbb{R}^{n}\) having derivatives of order one in \(\mathit{CBMO}_{q}(\mathbb{R}^{n})\). For \(x,t\in\mathbb{R}^{n}\), set

$$R(A;x,t)=A(x)-A(t)-\nabla A(t) (x-t). $$

We define the fractional generalized commutators of Hausdorff operators as follows:

$$\begin{aligned} H_{\Phi,\beta,A}f(x) =& \int_{\mathbb{R}^{n}}\frac{\Phi(\frac {x}{|y|})}{|y|^{n-\beta}|x-y|}f(y)R(A;x,y)\,dy \\ =& \int_{|y|< |x|}\frac{\Phi(\frac{x}{|y|})}{|y|^{n-\beta }|x-y|}f(y)R(A;x,y)\,dy \\ &{}+ \int_{|y|\geq|x|}\frac{\Phi(\frac{x}{|y|})}{|y|^{n-\beta }|x-y|}f(y)R(A;x,y)\,dy \\ =&H_{\Phi,\beta,A}^{1}f(x)+H_{\Phi,\beta,A}^{2}f(x), \end{aligned}$$

where Φ is a radial function. When \(\beta=0\), write \(H_{\Phi ,\beta,A}f(x)=H_{\Phi,A}f(x)\), and \(H_{\Phi,\beta,A}^{1}f(x)=H_{\Phi,A}^{1}f(x)\), \(H_{\Phi,\beta ,A}^{2}f(x)=H_{\Phi,A}^{2}f(x)\).

Set \(\Phi(t)=t^{\beta-n}\chi_{(1,\infty)}(t)\), then

$$H_{\Phi,\beta,A}f(x)=H_{\beta,A}f(x), $$

and set \(\Phi(t)=\chi_{(0,1)}(t)\), we have

$$H_{\Phi,\beta,A}f(x)=H_{\beta,A}^{*}f(x). $$

In 2010, Lu and Zhao [13] considered the properties of generalized commutators of Hardy operators. They got the following results.

Theorem A

Let \(1< p<\infty\), \(u\geq p'\), \(s>n\), and \(\lambda\geq0\). Suppose \(\nabla A \in \mathit{CBMO}_{\max\{s,u\}}\). If \(\alpha< np/p'\), then

$$\|H_{A}f\|_{L^{p}(|x|^{\alpha}\,dx)}\leq C\|\nabla A\|_{\mathit{CBMO}_{\{s,u\}}}\|f\| _{L^{p}(|x|^{\alpha}\,dx)}. $$

Theorem B

Let \(1< p<\infty\), \(1< q<\infty\). Suppose \(u\geq q'\), \(s>n\) and \(\nabla A \in \mathit{CBMO}_{\max\{s,u\}}\). If \(\alpha< n/q'\), then

$$\|H_{A}f\|_{\dot{K}^{\alpha,p}_{q}(\mathbb{R}^{n})}\leq C\|\nabla A\| _{\mathit{CBMO}_{\{s,u\}}}\|f \|_{\dot{K}^{\alpha,p}_{q}(\mathbb{R}^{n})}. $$

Theorem C

Let \(1< p<\infty\), \(1< q<\infty\) and \(\lambda\geq0\). Suppose \(u\geq q'\), \(s>n\) and \(\nabla A \in \mathit{CBMO}_{\max\{s,u\}}\). If \(\alpha< n/q'+\lambda\), then

$$\|H_{A}f\|_{M\dot{K}^{\alpha,\lambda}_{p,q}(\mathbb{R}^{n})}\leq C\| \nabla A\|_{\mathit{CBMO}_{\{s,u\}}}\|f \|_{M\dot{K}^{\alpha,\lambda }_{p,q}(\mathbb{R}^{n})}. $$

Let \(\vec{b}=(b_{1},\ldots,b_{m})\), \(b_{j}\in \mathit{CBMO}_{q}(\mathbb{R}^{n})\), \(1\leq j\leq m\), \(1\leq q<\infty\). Similarly to [14], we consider the following the multilinear commutator \(H_{\Phi,\beta,\vec{b}}\) generalized by the n dimensional fractional Hausdorff operator \(H_{\Phi,\beta}\) and b⃗:

$$H_{\Phi,\beta,\vec{b}}f(x)= \int_{\mathbb{R}^{n}} \Biggl[\prod_{j=1}^{m} \bigl(b_{j}(x)-b_{j}(y) \bigr) \Biggr]\frac{\Phi(\frac {x}{|y|})}{|y|^{n-\beta}}f(y)\, dy, $$

where m is a nonpositive integer, Φ is a radial function.

We decompose the integral

$$\begin{aligned} H_{\Phi,\beta,\vec{b}}f(x) =& \int_{\mathbb{R}^{n}}\frac{\Phi(\frac {x}{|y|})}{|y|^{n-\beta}} \Biggl[\prod _{j=1}^{m} \bigl(b_{j}(x)-b_{j}(y) \bigr) \Biggr]f(y)\,dy \\ =& \int_{|y|< |x|}\frac{\Phi(\frac{x}{|y|})}{|y|^{n-\beta}} \Biggl[\prod _{j=1}^{m} \bigl(b_{j}(x)-b_{j}(y) \bigr) \Biggr]f(y)\,dy \\ &{}+ \int_{|y|\geq|x|}\frac{\Phi(\frac{x}{|y|})}{|y|^{n-\beta }} \Biggl[\prod _{j=1}^{m} \bigl(b_{j}(x)-b_{j}(y) \bigr) \Biggr]f(y)\,dy \\ =&H_{\Phi,\beta,\vec{b}}^{1}f(x)+H_{\Phi,\beta,\vec{b}}^{2}f(x). \end{aligned}$$

When \(m=1\), \(\beta=0\), denote

$$H_{\Phi,\beta,\vec{b}}f(x)=H_{\Phi,b}f(x)=[b,H_{\Phi}]f(x) $$

and

$$H_{\Phi,\beta,\vec{b}}^{1}f(x)=H_{\Phi,b}^{1}f(x),\qquad H_{\Phi,\beta,\vec {b}}^{2}f(x)=H_{\Phi,b}^{2}f(x). $$

Select

$$\Phi_{1}(t)=t^{\beta-n}\chi_{(1,\infty)}(t) $$

and

$$\Phi_{2}(t)=\chi_{(0,1)}(t), $$

we have

$$H_{\Phi_{1},\beta,\vec{b}}^{1}f(x)=H_{\beta,\vec{b}}f(x) $$

and

$$H_{\Phi_{2},\beta,\vec{b}}^{2}f(x)=H_{\beta,\vec{b}}^{*}f(x). $$

Before we formulate the main theorems, we give some remarks

$$\begin{aligned}& \mathscr{A}_{\Phi,\beta,r}^{n}=\biggl( \int_{0}^{\infty}\bigl\vert \Phi (t)\bigr\vert ^{r'}t^{-1-\beta r'+\frac{nr'}{r}}\,dt\biggr)^{\frac{1}{r'}}, \\& \mathscr{B}_{\Phi,r}^{n}=\biggl( \int_{0}^{\infty}\bigl\vert \Phi (t)\bigr\vert ^{r'}t^{-1+n}\,dt\biggr)^{\frac{1}{r'}}. \end{aligned}$$

When \(\beta=0\), denote by \(\mathscr{A}_{\Phi,\beta,r}^{n}=\mathscr {A}_{\Phi,r}^{n}\).

Our main results are the following theorems.

Theorem 1

Suppose \(1< p,q<\infty\), \(0\leq\beta< n\), \(\frac{1}{p}-\frac{1}{q}=\frac{\beta}{n}\), and \(\nabla A\in \mathit{CBMO}_{\max\{s,\frac{pr}{p-r}\}}(\mathbb{R}^{n})\) with \(s>n\), \(r<\min\{p,q'\}\).

  1. (a)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), then \(H_{\Phi,\beta,A}^{1}\) is bounded from \(L^{p}(\mathbb{R}^{n})\) to \(L^{q}(\mathbb{R}^{n})\).

  2. (b)

    If \(\mathscr{B}_{\Phi,r}^{n}<\infty\), then \(H_{\Phi ,\beta,A}^{2}\) is bounded from \(L^{p}(\mathbb{R}^{n})\) to \(L^{q}(\mathbb {R}^{n})\).

  3. (c)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), \(\mathscr {B}_{\Phi,r}^{n}<\infty\), then \(H_{\Phi,\beta,A}\) is bounded from \(L^{p}(\mathbb{R}^{n})\) to \(L^{q}(\mathbb{R}^{n})\).

Theorem 2

Suppose \(0 < p < \infty\), \(1< q_{1},q_{2}<\infty\), \(0\leq\beta< n\), \(\frac{1}{q_{1}}-\frac {1}{q_{2}}=\frac{\beta}{n}\), and \(\nabla A\in \mathit{CBMO}_{\max\{s,\frac {q_{1}r}{q_{1}-r}\}}(\mathbb{R}^{n})\) with \(1< r< q_{1}\), \(s>n\).

  1. (a)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), \(\alpha <\frac{n}{r}-\frac{n}{q_{1}}\), then \(H_{\Phi,\beta,A}^{1}\) is bounded from \(\dot{K}^{\alpha,p}_{q_{1}}(\mathbb{R}^{n})\) to \(\dot{K}^{\alpha ,p}_{q_{2}}(\mathbb{R}^{n})\).

  2. (b)

    If \(\mathscr{B}_{\Phi,r}^{n}<\infty\), \(\alpha>-(\frac {n}{q_{2}}-\frac{n}{r})\), then \(H_{\Phi,\beta,A}^{2}\) is bounded from \(\dot{K}^{\alpha,p}_{q_{1}}(\mathbb{R}^{n})\) to \(\dot{K}^{\alpha ,p}_{q_{2}}(\mathbb{R}^{n})\).

  3. (c)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), \(\mathscr {B}_{\Phi,r}^{n}<\infty\), \(-(\frac{n}{q_{2}}-\frac{n}{r})<\alpha<\frac {n}{r}-\frac{n}{q_{1}}\), then \(H_{\Phi,\beta,A}\) is bounded from \(\dot {K}^{\alpha,p}_{q_{1}}(\mathbb{R}^{n})\) to \(\dot{K}^{\alpha ,p}_{q_{2}}(\mathbb{R}^{n})\).

Theorem 3

Suppose \(0 < p < \infty\), \(1< q_{1},q_{2}<\infty\), \(0\leq\beta< n\), \(\lambda\geq0\), \(\frac {1}{q_{1}}-\frac{1}{q_{2}}=\frac{\beta}{n}\), and \(\nabla A\in \mathit{CBMO}_{\max \{s,\frac{q_{1}r}{q_{1}-r}\}}(\mathbb{R}^{n})\) with \(1< r< q_{1}\), \(s>n\).

  1. (a)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), \(\alpha <\frac{n}{r}-\frac{n}{q_{1}}+\lambda\), then \(H_{\Phi,\beta,A}^{1}\) is bounded from \(M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})\) to \(M\dot{K}^{\alpha,\lambda}_{p,q_{2}}(\mathbb{R}^{n})\).

  2. (b)

    If \(\mathscr{B}_{\Phi,r}^{n}<\infty\), \(\alpha>-(\frac {n}{q_{2}}-\frac{n}{r})+\lambda\), then \(H_{\Phi,\beta,A}^{2}\) is bounded from \(M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})\) to \(M\dot{K}^{\alpha,\lambda}_{p,q_{2}}(\mathbb{R}^{n})\).

  3. (c)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), \(\mathscr {B}_{\Phi,r}^{n}<\infty\), \(-(\frac{n}{q_{2}}-\frac{n}{r})+\lambda <\alpha<\frac{n}{r}-\frac{n}{q_{1}}+\lambda\), then \(H_{\Phi,\beta ,A}\) is bounded from \(M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb {R}^{n})\) to \(M\dot{K}^{\alpha,\lambda}_{p,q_{2}}(\mathbb{R}^{n})\).

Remark 1

Select \(\Phi(t)=t^{\beta -n}\chi_{(1,\infty)}(t)\), it is easy to get \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), and \(H_{\Phi,\beta ,A}f=H_{\Phi,\beta,A}^{1}f=H_{\beta,A}f\). We can get the boundedness of generalized commutator of fractional Hardy operator on Herz and Morrey-Herz spaces.

Remark 2

If we select \(\Phi (t)=t^{\beta-n}\chi_{(1,\infty)}(t)\), it is easy to get \(\mathscr{B}_{\Phi,r}^{n}<\infty\), and \(H_{\Phi,\beta,A}f=H_{\Phi ,\beta,A}^{2}f=H_{\beta,A}^{*}f\), by Theorems 2 and 3, we can get the boundedness of \(H_{\beta,A}^{*}\) on Herz and Morrey-Herz spaces.

Remark 3

When \(\beta=0\), by Remark 1 and the definitions of Herz and Morrey-Herz spaces, we can easily get Theorem A, B, and C.

Theorem 4

Let \(0 < p< \infty\), \(1< q_{1},q_{2}<\infty\), \(0\leq\beta< n\), \(\frac{1}{q_{1}}-\frac {1}{q_{2}}=\frac{\beta}{n}\), \(1< r< q_{1}\), \(s>n\), and \(b_{j}\in \mathit{CBMO}_{\max\{r_{j}q_{2},\frac{q_{1}r}{q_{1}-r}r_{j}\}}(\mathbb {R}^{n})\), \(r_{j}>1\) (\(1\leq j\leq m\)), \(\frac{1}{r_{1}}+\cdots+\frac {1}{r_{m}}=1\).

  1. (a)

    If \(A_{\Phi,\beta,r}^{n}<\infty\), \(\alpha<\frac {n}{r}-\frac{n}{q_{1}}\), then \(H_{\Phi,\beta,\vec{b}}^{1}\) is bounded from \(\dot{K}^{\alpha,p}_{q_{1}}(\mathbb{R}^{n})\) to \(\dot{K}^{\alpha ,p}_{q_{2}}(\mathbb{R}^{n})\).

  2. (b)

    If \(\mathscr{B}_{\Phi,r}^{n}<\infty\), \(\alpha>-(\frac {n}{q_{2}}-\frac{n}{r})\), then \(H_{\Phi,\beta,\vec{b}}^{2}\) is bounded from \(\dot{K}^{\alpha,p}_{q_{1}}(\mathbb{R}^{n})\) to \(\dot{K}^{\alpha ,p}_{q_{2}}(\mathbb{R}^{n})\).

  3. (c)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), \(\mathscr {B}_{\Phi,r}^{n}<\infty\), \(-(\frac{n}{q_{2}}-\frac{n}{r})<\alpha<\frac {n}{r}-\frac{n}{q_{1}}\), then \(H_{\Phi,\beta,\vec{b}}\) is bounded from \(\dot{K}^{\alpha,p}_{q_{1}}(\mathbb{R}^{n})\) to \(\dot{K}^{\alpha ,p}_{q_{2}}(\mathbb{R}^{n})\).

Theorem 5

Let \(\lambda\geq0\), \(0 < p< \infty\), \(1< q_{1},q_{2}<\infty\), \(0\leq\beta< n\), \(\frac{1}{q_{1}}-\frac {1}{q_{2}}=\frac{\beta}{n}\), \(1< r< q_{1}\), \(s>n\), and \(b_{j}\in \mathit{CBMO}_{\max\{r_{j}q_{2},\frac {q_{1}r}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})\), \(r_{j}>1\) (\(1\leq j\leq m\)), \(\frac {1}{r_{1}}+\cdots+\frac{1}{r_{m}}=1\).

  1. (a)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), \(\alpha <\frac{n}{r}-\frac{n}{q_{1}}+\lambda\), then \(H_{\Phi,\beta,\vec {b}}^{1}\) is bounded from \(M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb {R}^{n})\) to \(M\dot{K}^{\alpha,\lambda}_{p,q_{2}}(\mathbb{R}^{n})\).

  2. (b)

    If \(\mathscr{B}_{\Phi,r}^{n}<\infty\), \(\alpha>-(\frac {n}{q_{2}}-\frac{n}{r})+\lambda\), then \(H_{\Phi,\beta,\vec{b}}^{2}\) is bounded from \(M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})\) to \(M\dot{K}^{\alpha,\lambda}_{p,q_{2}}(\mathbb{R}^{n})\).

  3. (c)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), \(\mathscr {B}_{\Phi,r}^{n}<\infty\), \(-(\frac{n}{q_{2}}-\frac{n}{r})+\lambda <\alpha<\frac{n}{r}-\frac{n}{q_{1}}+\lambda\), then \(H_{\Phi,\beta ,\vec{b}}\) is bounded from \(M\dot{K}^{\alpha,\lambda }_{p,q_{1}}(\mathbb{R}^{n})\) to \(M\dot{K}^{\alpha,\lambda }_{p,q_{2}}(\mathbb{R}^{n})\).

Remark 4

If we select \(\Phi(t)=t^{\beta -n}\chi_{(1,\infty)}(t)\), it is obvious that \(\mathscr{A}_{\Phi ,\beta,r}^{n}<\infty\), we may obtain the boundedness of \(H_{\beta,\vec{b}}\) on Herz and Morrey-Herz spaces. If we select \(\Phi(t)=\chi_{(0,1)}(t)\), \(\mathscr{B}_{\Phi ,r}^{n}<\infty\), we may obtain the boundedness of \(H^{\ast}_{\beta ,\vec{b}}\) on Herz and Morrey-Herz spaces.

Corollary 1

Let \(1< p,q<\infty\), \(s>n\), \(0\leq\beta< n\), \(\frac{1}{p}-\frac{1}{q}=\frac{\beta}{n}\), \(r<\min\{p,q'\}\), and \(b_{j}\in \mathit{CBMO}_{\max\{r_{j}q,\frac{pr}{p-r}r_{j}\}}(\mathbb{R}^{n})\), \(r_{j}>1\) (\(1\leq j\leq m\)), \(\frac{1}{r_{1}}+\cdots+\frac{1}{r_{m}}=1\).

  1. (a)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), then \(H_{\Phi,\beta,\vec{b}}^{1}\) is bounded from \(L^{p}(\mathbb{R}^{n})\) to \(L^{q}(\mathbb{R}^{n})\).

  2. (b)

    If \(\mathscr{B}_{\Phi,r}^{n}<\infty\), then \(H_{\Phi ,\beta,\vec{b}}^{2}\) is bounded from \(L^{p}(\mathbb{R}^{n})\) to \(L^{q}(\mathbb{R}^{n})\).

  3. (c)

    If \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), \(\mathscr {B}_{\Phi,r}^{n}<\infty\), then \(H_{\Phi,\beta,\vec{b}}\) is bounded from \(L^{p}(\mathbb{R}^{n})\) to \(L^{q}(\mathbb{R}^{n})\).

Remark 5

When \(\beta=0\), \(m=1\), the boundedness of commutator \(H_{\Phi,b}\) can be obtained on Lebesgue, Herz, and Morrey-Herz spaces.

The rest of this paper is organized as follows. After recalling some preliminary notations and lemmas in Section 2, we will prove our results in Section 3. We would like to remark that the main methods employed in this paper are a combination of ideas and arguments from [8, 9] and [13].

Throughout this paper, we let \(p'\) satisfy \(1/p+1/p'=1\). The letter C, sometimes with additional parameters, will stand for positive constants, not necessarily the same at each occurrence, but C is independent of the essential variables.

2 Preliminaries and lemmas

In order to prove the theorems, we will formulate some lemmas and preliminaries. For the multi-indices \(\gamma=(\gamma_{1},\ldots,\gamma_{n})\), we will always use notations \(|\gamma|=\gamma_{1}+\cdots+\gamma_{n}\), \(\gamma_{j}\) (\(1\leq j\leq n\)) being nonnegative integers, \(x^{\gamma}=x_{1}^{\gamma_{1}}\cdots x_{n}^{\gamma_{n}}\). Let \(\nabla A=(D_{1}A,D_{2}A,\ldots,D_{n}A)\) where \(D_{j}A=\frac{\partial A}{\partial x_{j}}\), \(j=1,\ldots,n\).

For any positive integer m and j (\(1\leq j\leq m\)), we denote by \(\mathscr{C}_{j}^{m}\) the family of all finite subsets \(\sigma=\{\sigma(1),\sigma(2),\ldots,\sigma(j)\}\) of \(\{1,2,\ldots,m\}\) of j different elements. For any \(\sigma\in \mathscr{C}_{j}^{m}\), we associate the complementary sequence \(\sigma '\in\mathscr{C}_{m-j}^{j}\) given by \(\sigma'=\{1,2,\ldots,m\}\setminus\sigma\). We also denote by \(|\sigma|\) the number of elements in σ, and

$$\mathscr{C}_{j}^{m}= \bigl\{ \sigma:\sigma=\bigl\{ \sigma(1), \sigma(2),\ldots ,\sigma(j)\bigr\} \bigr\} ,\quad 1\leq j\leq m. $$

Let \(b_{j}\in \mathit{CBMO}_{qr_{j}}(\mathbb{R}^{n})\) (\(1\leq j\leq m\)), \(\vec{b}=(b_{1},b_{2},\ldots,b_{m})\), for \(1< r_{i},q<\infty\),

$$\frac{1}{r_{1}}+\cdots+\frac{1}{r_{m}}=1, $$

denote by \(\|\vec{b}\|_{\mathit{CBMO}_{qr_{i}}(\mathbb{R}^{n})}=\|b_{1}\| _{\mathit{CBMO}_{qr_{1}}(\mathbb{R}^{n})}\|b_{2}\|_{\mathit{CBMO}_{qr_{2}}(\mathbb{R}^{n})}\cdots \|b_{m}\|_{\mathit{CBMO}_{qr_{m}}(\mathbb{R}^{n})}\).

For all \(1\leq j\leq m\) and \(\sigma=\{\sigma(1),\sigma(2),\ldots,\sigma(j)\}\in\mathscr{C}_{j}^{m}\). Denote \(\vec{b}_{\sigma}=(b_{\sigma(1)},b_{\sigma(2)},\ldots,b_{\sigma(j)})\), \(\vec{b}_{\sigma'}=(b_{\sigma(j+1)},\ldots,b_{\sigma(m)})\). Denote

$$\bigl(\vec{b}(x)-\vec{b}(y) \bigr)_{\sigma}= \bigl(b_{\sigma (1)}(x)-b_{\sigma(1)}(y) \bigr)\cdots \bigl(b_{\sigma(j)}(x)-b_{\sigma (j)}(y) \bigr) $$

and

$$\bigl(\vec{b}_{B}-\vec{b}(y) \bigr)_{\sigma}= \bigl((b_{\sigma (1)})_{B}-b_{\sigma(1)}(y) \bigr)\cdots \bigl((b_{\sigma (j)})_{B}-b_{\sigma(j)}(y) \bigr), $$

where B is any ball in \(\mathbb{R}^{n}\), \((b_{\sigma(j)})_{B}\) is the average of \(b_{\sigma(j)}\) over ball B. Denote by

$$\|\vec{b}_{\sigma}\|_{\mathit{CBMO}_{qr_{\sigma}}(\mathbb{R}^{n})}=\|b_{\sigma (1)} \|_{\mathit{CBMO}_{qr_{\sigma_{1}}}(\mathbb{R}^{n})} \|b_{\sigma(2)}\|_{\mathit{CBMO}_{qr_{\sigma_{2}}}(\mathbb{R}^{n})}\cdots\| b_{\sigma(j)} \|_{\mathit{CBMO}_{qr_{\sigma_{j}}}(\mathbb{R}^{n})}, $$

where \(1< q<\infty\), \(r_{\sigma_{(j)}}\in\{r_{1},\ldots,r_{m}\}\), \(1\leq j\leq m\),

$$\frac{1}{r_{\sigma_{(1)}}}+\cdots+\frac{1}{r_{\sigma_{(j)}}}=\frac {1}{r_{\sigma}} $$

and

$$\frac{1}{r_{\sigma}}+\frac{1}{r_{\sigma'}}=1. $$

For all \(\sigma\in\mathscr{C}_{j}^{m}\), denote

$$H_{\Phi,\beta,\vec{b}_{\sigma}}f(x)= \int_{\mathbb{R}^{n}}\prod_{j=1}^{|\sigma|} \bigl(b_{\sigma (j)}(x)-b_{\sigma(j)}(y) \bigr)\frac{\Phi(\frac {x}{|y|})}{|y|^{n-\beta}}f(y)\, dy, $$

when \(\sigma=\{1,2,\ldots,m\}\), \(\sigma'=\emptyset\), write \(\vec {b}_{\sigma}=\vec{b}\), \(H_{\Phi,\beta,\vec{b}_{\sigma}}=H_{\Phi ,\beta,\vec{b}}\), \(H_{\Phi,\beta,\vec{b}_{\sigma'}}=H_{\Phi,\beta}\).

For \(k\in\mathbb{Z}\), let \(B_{k}=\{x\in\mathbb{R}^{n}:|x|\leq2^{k}\}\), \(C_{k}=B_{k}\setminus B_{k-1}\), and \(\chi_{k}\) (\(k\in\mathbb{Z}\)) denote the characteristic function of the set \(C_{k}\).

Definition 2

[15]

Let \(\alpha\in \mathbb{R}\), \(0< p\leq\infty\), \(0< q<\infty\). The homogeneous Herz space \(\dot{K}^{\alpha,p}_{q}(\mathbb{R}^{n})\) is defined by

$$\dot{K}^{\alpha,p}_{q}\bigl(\mathbb{R}^{n}\bigr)= \bigl\{ f\in L_{\mathrm{loc}}^{q}\bigl(\mathbb {R}^{n}\setminus\{0 \}\bigr),\|f\|_{\dot{K}^{\alpha,p}_{q}(\mathbb {R}^{n})}< \infty \bigr\} , $$

where

$$\|f\|_{\dot{K}^{\alpha,p}_{q}({\mathbb{R}^{n}})}= \Biggl\{ \sum_{k=-\infty }^{\infty}2^{k\alpha p} \|f\chi_{k}\|_{L^{q}(\mathbb{R}^{n})}^{p} \Biggr\} ^{1/p}, $$

with the usual modification made when \(p=\infty\).

Obviously, \(\dot{K}^{0,q}_{q}(\mathbb{R}^{n})=L^{q}(\mathbb{R}^{n})\), \(\dot {K}^{\frac{\alpha}{q},q}_{q}(\mathbb{R}^{n})=L^{q}(\mathbb {R}^{n},|x|^{\alpha})\), so the Herz space is the natural generalization of the Lebesgue spaces with power weight \(|x|^{\alpha}\).

Definition 3

[16]

Let \(\alpha\in \mathbb{R}\), \(0< p\leq\infty\), \(0< q<\infty\), and \(\lambda\geq0\). The homogeneous Morrey-Herz space \(M\dot{K}^{\alpha,\lambda }_{p,q}(\mathbb{R}^{n})\) is defined by

$$M\dot{K}^{\alpha,\lambda}_{p,q}\bigl(\mathbb{R}^{n}\bigr)= \bigl\{ f\in L_{\mathrm{loc}}^{q}\bigl(\mathbb{R}^{n} \setminus\{0\}\bigr),\|f\|_{M\dot{K}^{\alpha ,\lambda}_{p,q}(\mathbb{R}^{n})}< \infty \bigr\} , $$

where

$$\|f\|_{M\dot{K}^{\alpha,\lambda}_{p,q}(\mathbb{R}^{n})}=\sup_{k_{0}\in \mathbb{Z}}2^{-k_{0}\lambda} \Biggl(\sum _{k=-\infty}^{k_{0}}2^{k\alpha p}\| f \chi_{k}\|_{L^{q}(\mathbb{R}^{n})}^{p} \Biggr)^{1/p}, $$

with the usual modification made when \(p=\infty\).

Obviously, \(M\dot{K}^{\alpha,0}_{p,q}(\mathbb{R}^{n})=\dot{K}^{\alpha ,p}_{q}(\mathbb{R}^{n})\).

Similarly to the discussion of Lemma 3.1 in [9], it is easy to get the following results.

Lemma 1

Let \(\beta\geq0\), \(1< r\leq p<\infty\), Φ is a radial function, then

$$\begin{aligned} (\mathrm{i})&\quad \int_{C_{i}}\frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta }}\bigl|f(y)\bigr|\,dy\leq\mathscr{A}_{\Phi,\beta,r}2^{in(\frac{1}{r}-\frac {1}{p})}|x|^{\beta-\frac{n}{r}} \|f\chi_{i}\|_{L^{p}(\mathbb{R}^{n})}; \\ (\mathrm{ii})&\quad \int_{C_{i}}\frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta }}\bigl|f(y)\bigr|\,dy\leq\mathscr{B}_{\Phi,r}2^{i\beta+in(\frac{1}{r'}-\frac {1}{p})}|x|^{-\frac{1}{r'}} \|f\chi_{i}\|_{L^{p}(\mathbb{R}^{n})}. \end{aligned}$$

Lemma 2

[14]

Let A be a function on \(\mathbb{R}^{n}\) with derivatives of order one in \(L^{q}(\mathbb {R}^{n})\) for some \(q>n\). Then

$$\bigl\vert A(x)-A(y)\bigr\vert \leq C\vert x-y\vert \biggl( \frac{1}{\vert I_{x}^{y}\vert } \int_{I_{x}^{y}}\bigl\vert \nabla A(z)\bigr\vert ^{q}\, dz \biggr)^{\frac{1}{q}}, $$

where \(I_{x}^{y}\) is the cube centered at x with sides parallel to the axes and whose side length is \(2\sqrt{n}|x-y|\).

Lemma 3

[10]

Suppose that \(f\in \mathit{CBMO}_{q}(\mathbb{R}^{n})\), \(1\leq q<\infty\), and \(r_{1},r_{2}>0\). Then

$$\biggl(\frac{1}{B(0,r_{1})} \int_{B(0,r_{1})}\bigl\vert f(x)-f_{B(0,r_{2})}\bigr\vert ^{q}\,dx \biggr)^{\frac{1}{q}}\leq C \biggl(1+\biggl\vert \log \biggl(\frac{r_{1}}{r_{2}}\biggr)\biggr\vert \biggr)\|f\|_{\mathit{CBMO}_{q}}. $$

3 Proofs of main theorems

It is easily to see that Theorem 1 can be immediately deduced from Theorem 2 by letting \(\alpha=0\), \(1< p=q_{1}<\infty\), \(1< q_{2}=q<\infty\). Thus it is sufficient to prove Theorems 2 and 3.

Proof of Theorem 2

We only consider the case \(1< p<\infty\), while the case \(p=\infty\) follows after slight modifications.

For simplicity, we denote \(q=\frac{q_{1}r}{q_{1}-r}\).

(a) When \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), we get

$$\begin{aligned} \bigl\Vert \bigl(H_{\Phi,\beta,A}^{1}f\bigr)\chi_{k}\bigr\Vert _{L^{q_{2}}(\mathbb {R}^{n})}^{q_{2}} \leq& \int_{C_{k}} \biggl( \int_{B_{i}}\frac{|\Phi(\frac {x}{|y|})|}{|y|^{n-\beta}|x-y|}\bigl\vert R(A;x,y)f(y)\bigr\vert \,dy \biggr)^{q_{2}}\,dx \\ \leq& \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k-2} \int_{C_{i}}\frac {|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}|x-y|}\bigl\vert R(A;x,y)f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ &{}+ \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \int_{C_{i}}\frac{|\Phi (\frac{x}{|y|})|}{|y|^{n-\beta}|x-y|}\bigl\vert R(A;x,y)f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ :=& I+\mathit{II}. \end{aligned}$$

For fixed k, set

$$A_{k}(y)=A(y)-m_{B_{k}}(\nabla A)y^{\alpha},\quad \mbox{for all multi-indices } \alpha\mbox{ such that } |\alpha|=1, $$

where \(m_{B_{k}}(\nabla A)\) is the mean value of ∇A on \(B_{k}\). By a simple calculation, we get \(R(A;x,y)=R(A_{k};x,y)\). (More details may be found in [17].)

Since \(y\in C_{i}\) and \(x\in C_{k}\), \(i\leq k-2\), then \(|x-y|\sim|x|\sim 2^{k}\). It is easy to deduce that \(\nabla A_{k}(y)=\nabla A(y)-m_{B_{k}}(\nabla A)\). Then by Lemma 2 for \(s>n\), similarly as the discussion in [15] we have

$$\begin{aligned} \bigl\vert R(A_{k};x,y)\bigr\vert \leq&\bigl\vert A_{k}(x)-A_{k}(y)\bigr\vert +\bigl\vert \nabla A(y)-m_{B_{k}}(\nabla A)\bigr\vert \vert x-y\vert \\ \leq&C\vert x-y\vert \biggl\{ \biggl(\frac{1}{\vert I_{x}^{y}\vert } \int_{I_{x}^{y}}\bigl\vert \nabla A_{k}(z)\bigr\vert ^{s}\,dz \biggr)^{1/s}+\bigl\vert \nabla A(y)-m_{B_{k}}(\nabla A)\bigr\vert \biggr\} \\ \leq&C\vert x-y\vert \biggl\{ \biggl(\frac{1}{2^{kn}} \int_{B(0,C2^{k})}\bigl\vert \nabla A(z)-m_{B_{k}}(\nabla A) \bigr\vert ^{s}\,dz \biggr)^{1/s} \\ &{}+\bigl\vert \nabla A(y)-m_{B_{k}}(\nabla A)\bigr\vert \biggr\} \\ \leq& C\vert x-y\vert \bigl(\|\nabla A\|_{\mathit{CBMO}_{s}}+\bigl\vert \nabla A(y)-m_{B_{k}}(\nabla A)\bigr\vert \bigr). \end{aligned}$$

Then we can split I into two parts

$$\begin{aligned} I \leq& \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k-2} \int_{C_{i}}\frac {|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}|x-y|}\bigl\vert R(A;x,y)f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ \leq&C \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k-2} \int_{C_{i}}\frac {|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}\|\nabla A\| _{\mathit{CBMO}_{s}}\bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ &{}+C \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k-2} \int_{C_{i}}\frac {|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert \nabla A(y)-m_{B_{k}}(\nabla A)\bigr\vert \bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ :=&I_{1}+I_{2}. \end{aligned}$$

Now we estimate the \(I_{1}\). Using Lemma 1(i) and noting that \(\frac {1}{q_{2}}=\frac{1}{q_{1}}-\frac{\beta}{n}\), we get

$$\begin{aligned} I_{1} \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}} \|\nabla A\|_{\mathit{CBMO}_{s}}^{q_{2}} \int_{B_{k}} \Biggl(\sum_{i=-\infty }^{k-2}2^{in(\frac{1}{r}-\frac{1}{q_{1}})}2^{k\beta-\frac{kn}{r}} \| f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}\,dx \\ \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}} \|\nabla A \|_{\mathit{CBMO}_{s}}^{q_{2}}|B_{k}| \Biggl(\sum _{i=-\infty }^{k-2}2^{in(\frac{1}{r}-\frac{1}{q_{1}})}2^{k\beta-\frac{kn}{r}}\| f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}} \\ \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}} \|\nabla A \|_{\mathit{CBMO}_{s}}^{q_{2}} \Biggl(\sum_{i=-\infty }^{k-2}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}. \end{aligned}$$

For \(y\in C_{i}\), we have

$$\bigl\vert \nabla A(y)-m_{B_{k}}(\nabla A)\bigr\vert \leq C\bigl\vert \nabla A(y)-m_{B_{i+1}}(\nabla A)\bigr\vert +(k-i)\|\nabla A \|_{\mathit{CBMO}_{1}}. $$

Then we can decompose \(I_{2}\) into two parts

$$\begin{aligned} \begin{aligned} I_{2}\leq{}&C \int_{C_{k}} \Biggl(\sum_{i=\infty}^{k-2} \int_{C_{i}}\frac {|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert \nabla A(y)-m_{B_{i+1}}(\nabla A)\bigr\vert \bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ &{}+C \int_{C_{k}} \Biggl(\sum_{i=\infty}^{k-2} \int_{C_{i}}\frac {|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}(k-i)\|\nabla A\| _{\mathit{CBMO}_{1}} \bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ :={}&I_{2}'+I_{2}''. \end{aligned} \end{aligned}$$

For \(I_{2}'\), by Lemma 1(i) for \(r< q_{1}\) and Hölder’s inequality, we have

$$\begin{aligned} I_{2}' \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}} \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k-2}|x|^{\beta-\frac{n}{r}} \int_{C_{i}}\bigl\vert \nabla A(y)-m_{B_{i+1}}(\nabla A) \bigr\vert ^{r}\bigl\vert f(y)\bigr\vert ^{r}\,dy \Biggr)^{q_{2}}\,dx \\ \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}} \int_{C_{k}} \Biggl\{ \sum_{i=-\infty}^{k-2}|x|^{\beta-\frac{n}{r}} \biggl( \int_{C_{i}}\bigl\vert \nabla A(y)-m_{B_{i+1}}(\nabla A) \bigr\vert ^{\frac {rq_{1}}{q_{1}-r}} \biggr)^{\frac{q_{1}-r}{q_{1}r}} \\ &\Biggl.\Biggl.{}\times\biggl( \int _{C_{i}}\bigl\vert f(y)\bigr\vert ^{q_{1}}\,dy \biggr)^{q_{1}} \Biggr\} \Biggr.^{q_{2}}\,dx \\ \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}} \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k-2}2^{k\beta-\frac{kn}{r}} \|\nabla A\| _{\mathit{CBMO}_{q}}|B_{i}|^{\frac{q_{1}-r}{q_{1}r}} \|f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}} \\ \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}}\|\nabla A\| _{\mathit{CBMO}_{q}}^{q_{2}} \Biggl(\sum_{i=-\infty}^{k-2}2^{(i-k)n(\frac {1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}. \end{aligned}$$

For \(I_{2}''\), using Lemma 1(i) and \(\frac{1}{q_{2}}=\frac{1}{q_{1}}-\frac {\beta}{n}\), we get

$$\begin{aligned} I_{2}'' \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}} \|\nabla A\| _{\mathit{CBMO}_{1}}^{q_{2}} \int_{C_{k}} \Biggl(\sum_{i=-\infty }^{k-2}(k-i)2^{in(\frac{1}{r}-\frac{1}{q_{1}})}|x|^{\beta-\frac {n}{r}} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}\,dx \\ \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}}\|\nabla A\| _{\mathit{CBMO}_{1}}^{q_{2}}2^{kn} \Biggl(\sum _{i=-\infty}^{k-2}(k-i)2^{in(\frac {1}{r}-\frac{1}{q_{1}})}2^{k\beta-\frac{kn}{r}}\|f \chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}} \\ \leq&C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}}\|\nabla A\| _{\mathit{CBMO}_{1}}^{q_{2}} \Biggl(\sum_{i=-\infty}^{k-2}(k-i)2^{(i-k)n(\frac {1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}. \end{aligned}$$

To estimate II, take a \(\phi\in C_{0}^{\infty}\), such that \(\operatorname{supp}\phi \subset B(0,2)\) and \(\phi=1\) in \(B(0,1)\). Set \(M=\max\{\|\phi\|_{\infty},\|\nabla\phi\|_{\infty}\}\). Take \(y_{0}\in C_{k+4}\), and let

$$A_{k}^{\phi}(x)=\bigl(A_{k}(x)-A_{k}(y_{0}) \bigr)\phi\bigl(2^{-k}x\bigr). $$

For \(x\in C_{k}\), \(y\in C_{i}\), \(k-1\leq i\leq k\), and \(\phi=1\) in \(B(0,1)\), we may have \(\phi(2^{-k}x)=1\), \(\phi(2^{-k}y)=1\). Since

$$R\bigl(A_{k}^{\phi};x,y\bigr)=A_{k}^{\phi}(x)-A_{k}^{\phi}(y)- \nabla A_{k}^{\phi}(y) (x-y), $$

we have

$$\begin{aligned} R\bigl(A_{k}^{\phi};x,y\bigr) =&\bigl(A_{k}(x)-A_{k}(y_{0}) \bigr)\phi \bigl(2^{-k}x\bigr)-\bigl(A_{k}(y)-A_{k}(y_{0}) \bigr)\phi\bigl(2^{-k}y\bigr)-\nabla A_{k}^{\phi}(y) (x-y) \\ =&A_{k}(x)-A_{k}(y)-\nabla\bigl(A_{k}(y)-A_{k}(y_{0}) \bigr) (x-y) \\ =&A_{k}(x)-A_{k}(y)-\nabla A_{k}(y) (x-y) \\ =&R(A_{k},x,y) \\ =&R(A,x,y). \end{aligned}$$

Then we have

$$\begin{aligned} \mathit{II} \leq&C \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \int_{C_{i}}\frac{|\Phi (\frac{x}{|y|})|}{|y|^{n-\beta}|x-y|}\bigl\vert f(y)\bigr\vert \bigl\vert R\bigl(A_{k}^{\phi };x,y\bigr)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ \leq&C \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \int_{C_{i}}\frac{|\Phi (\frac{x}{|y|})|}{|y|^{n-\beta}|x-y|}\bigl\vert f(y)\bigr\vert \bigl\vert A_{k}^{\phi}(x)-A_{k}^{\phi }(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ &{} +C \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \int_{C_{i}}\frac{|\Phi(\frac {x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \bigl\vert \nabla A_{k}^{\phi}(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ :=&\mathit{II}_{1}+\mathit{II}_{2}. \end{aligned}$$

Now we consider \(\mathit{II}_{1}\). Since \(k-1\leq i\leq k\), \(y\in C_{i}\), \(y_{0}\in C_{k+4}\), \(|y-y_{0}|\sim2^{k}\), by Lemma 2, we get

$$\begin{aligned} \bigl\vert \nabla A_{k}^{\phi}(y)\bigr\vert =&\bigl\vert \nabla\bigl(\bigl(A_{k}(y)-A_{k}(y_{0}) \bigr)\phi\bigl(2^{-k}y\bigr)\bigr)\bigr\vert \\ \leq&\bigl\vert \nabla A_{k}(y)\phi\bigl(2^{-k}y\bigr) \bigr\vert \\ &{}+2^{-k}\bigl\vert A_{k}(y)-A_{k}(y_{0}) \bigr\vert \bigl\vert \nabla \phi\bigl(2^{-k}y\bigr)\bigr\vert \\ \leq&M\bigl(\bigl\vert \nabla A_{k}(y)\bigr\vert +2^{-k}\bigl\vert A_{k}(y)-A_{k}(y_{0}) \bigr\vert \bigr) \\ \leq&CM \biggl(\bigl\vert \nabla A_{k}(y)\bigr\vert +2^{-k}\vert y-y_{0}\vert \biggl(\frac {1}{\vert I_{y}^{y_{0}}\vert } \int_{I_{y}^{y_{0}}}\bigl\vert \nabla A_{k}(z)\bigr\vert ^{s}\,dz\biggr)^{1/s} \biggr) \\ \leq& CM\bigl(\bigl\vert \nabla A_{k}(y)\bigr\vert +\|\nabla A \|_{\mathit{CBMO}_{s}}\bigr). \end{aligned}$$

Then we see

$$\begin{aligned} \mathit{II}_{2} \leq&C \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \int_{C_{i}}\frac{|\Phi (\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \bigl\vert \nabla A_{k}(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ &{}+C \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \int_{C_{i}}\frac{|\Phi (\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \| \nabla A\|_{\mathit{CBMO}_{s}}\,dy \Biggr)^{q_{2}}\,dx \\ :=&\mathit{II}_{2}'+\mathit{II}_{2}''. \end{aligned}$$

Since \(\nabla A_{k}(y)=\nabla A(y)-m_{B_{k}}(\nabla A)\), we get

$$ \mathit{II}_{2}'\leq C \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \int_{C_{i}}\frac {|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \bigl\vert \nabla A(y)-m_{B_{k}}(\nabla A)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx. $$

Employing the same idea for estimating \(I_{2}\), we have

$$\mathit{II}_{2}'\leq C{\mathscr{A}^{n}_{\Phi,\beta,r}}^{q_{2}} \|\nabla A\| _{\mathit{CBMO}_{q}}^{q_{2}} \Biggl(\sum _{i=k-1}^{k}\|f\chi_{i}\|_{L^{q_{1}}(\mathbb {R}^{n})} \Biggr)^{q_{2}}. $$

We now estimate \(\mathit{II}_{2}''\). Applying Lemma 1(i), we get

$$\begin{aligned} \begin{aligned} \mathit{II}_{2}''&\leq C\|\nabla A \|_{\mathit{CBMO}_{s}}^{q_{2}}{\mathscr{A}^{n}_{\Phi,\beta ,r}}^{q_{2}} \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k}2^{in(\frac{1}{r}-\frac{1}{q_{1}})} |x|^{\beta-\frac{n}{r}}\|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}} \,dx \\ &\leq C\|\nabla A\|_{\mathit{CBMO}_{s}}^{q_{2}}{\mathscr{A}^{n}_{\Phi,\beta ,r}}^{q_{2}}2^{kn} \Biggl(\sum_{i=k-1}^{k}2^{in(\frac{1}{r}-\frac{1}{q_{1}})} |x|^{\beta-\frac{n}{r}}\|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}} \\ &\leq C\|\nabla A\|_{\mathit{CBMO}_{s}}^{q_{2}}{\mathscr{A}^{n}_{\Phi,\beta ,r}}^{q_{2}} \Biggl(\sum_{i=k-1}^{k}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}. \end{aligned} \end{aligned}$$

Next we turn to estimate \(\mathit{II}_{1}\). By Lemma 1(i), we get the following estimate:

$$\begin{aligned} \mathit{II}_{1} \leq& C\|\nabla A\|_{\mathit{CBMO}_{s}}^{q_{2}} \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \int_{2^{i-1}< |y|< 2^{i}}\frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta }|x-y|} \\ &\Biggl.\Biggl.{}\times\bigl\vert A_{k}^{\phi}(x)-A_{k}^{\phi}(y) \bigr\vert \bigl\vert f(y)\bigr\vert \,dy \Biggr)\Biggr.^{q_{2}}\,dx \\ =&C\|\nabla A\|_{\mathit{CBMO}_{s}}^{q_{2}} \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \sum_{j=-\infty}^{i} \int_{2^{i-1}< |y|< 2^{i},2^{j}< |x-y|< 2^{j+1}}\frac{|\Phi(\frac {x}{|y|})|}{|y|^{n-\beta}|x-y|} \\ &\Biggl.\Biggl.{}\times\bigl\vert A_{k}^{\phi}(x)-A_{k}^{\phi}(y) \bigr\vert \bigl\vert f(y)\bigr\vert \,dy \Biggr)\Biggr.^{q_{2}}\,dx. \end{aligned}$$

Now we estimate \(|A_{k}^{\phi}(x)-A_{k}^{\phi}(y)|\). By Lemma 2 and Lemma 3, we obtain

$$\begin{aligned} \bigl\vert A_{k}^{\phi}(x)-A_{k}^{\phi}(y) \bigr\vert \leq&C|x-y| \biggl(\frac{1}{|I_{x}^{y}|} \int_{I_{x}^{y}}\bigl\vert \nabla A_{k}^{\phi }(z) \bigr\vert ^{s}\,dz \biggr)^{1/s} \\ \leq&C|x-y| \biggl(\frac{1}{2^{jn}} \int_{B(0,C2^{j})}\bigl\vert \nabla A_{k}(z)+\| \nabla A \|_{\mathit{CBMO}_{s}}\bigr\vert ^{s}\,dz \biggr)^{1/s} \\ \leq&CM|x-y| \biggl( \biggl(\frac{1}{2^{jn}} \int_{B(0,C2^{j})}\bigl\vert \nabla A_{k}(z)\bigr\vert ^{s}\,dz \biggr)^{1/s}+\|\nabla A\|_{\mathit{CBMO}_{s}} \biggr) \\ \leq& M|x-y|\bigl(\vert k-j\vert +C\bigr)\|\nabla A\|_{\mathit{CBMO}_{s}}. \end{aligned}$$

Then by \(\frac{1}{q_{2}}=\frac{1}{q_{1}}-\frac{\beta}{n}\), we get

$$\begin{aligned} \mathit{II}_{1} \leq&C\|\nabla A\|_{\mathit{CBMO}_{s}}^{q_{2}} \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \sum_{j=-\infty}^{i} \int _{2^{i-1}< |y|< 2^{i},2^{j}< |x-y|< 2^{j+1}}\frac{|\Phi(\frac {x}{|y|})|}{|y|^{n-\beta}} \\ &\Biggl.\Biggl.{}\times M\bigl[(k-j)+C\bigr]\bigl\vert f(y)\bigr\vert \,dy \Biggr)\Biggr.^{q_{2}}\,dx \\ \leq&C{\mathscr{A}_{\Phi,\beta,r}^{n}}^{q_{2}}\|\nabla A\| _{\mathit{CBMO}_{s}}^{q_{2}} \int_{C_{k}} \Biggl(\sum_{i=k-1}^{k} \sum_{j=-\infty }^{i}(k-j)2^{jn(\frac{1}{r}-\frac{1}{q_{1}})}|x|^{\beta-\frac{n}{r}} \| f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}\,dx \\ \leq&C{\mathscr{A}_{\Phi,\beta,r}^{n}}^{q_{2}}\|\nabla A\| _{\mathit{CBMO}_{s}}^{q_{2}}2^{kn} \Biggl(\sum _{i=k-1}^{k}\sum_{j=-\infty }^{i}(k-j)2^{jn(\frac{1}{r}-\frac{1}{q_{1}})}2^{k\beta-\frac{kn}{r}} \| f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}} \\ \leq&C{\mathscr{A}_{\Phi,\beta,r}^{n}}^{q_{2}}\|\nabla A\| _{\mathit{CBMO}_{s}}^{q_{2}} \Biggl(\sum_{i=k-1}^{k} \sum_{j=-\infty }^{i}(k-j)2^{(j-k)n(\frac{1}{r}-\frac{1}{q_{1}})}\|f \chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}} \\ \leq&C{\mathscr{A}_{\Phi,\beta,r}^{n}}^{q_{2}}\|\nabla A\| _{\mathit{CBMO}_{s}}^{q_{2}} \Biggl(\sum_{i=k-1}^{k} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb {R}^{n})} \Biggr)^{q_{2}}. \end{aligned}$$

Then we have

$$\begin{aligned}& \bigl\Vert H_{\Phi,\beta,A}^{1}f\bigr\Vert _{\dot{K}_{q_{2}}^{\alpha,p}} \\& \quad \leq C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}} \Biggl\{ \sum_{k=-\infty}^{\infty }2^{k\alpha p} \Biggl(\sum_{i=-\infty}^{k-2}(k-i)2^{(i-k)n(\frac {1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac {1}{p}} \\& \qquad {}+C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}} \Biggl\{ \sum_{k=-\infty }^{\infty}2^{k\alpha p} \Biggl(\sum_{i=k-1}^{k}(k-i)2^{(i-k)n(\frac {1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac {1}{p}} \\& \qquad {}+C\|\nabla A\|_{\mathit{CBMO}_{s}} \Biggl\{ \sum_{k=-\infty}^{\infty }2^{k\alpha p} \Biggl(\sum_{i=k-1}^{k} \|f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac {1}{p}} := L+J+K. \end{aligned}$$

Case 1. \(0< p\leq1\). By the well-known inequality

$$\Biggl(\sum_{i=1}^{\infty}|a_{i}| \Biggr)^{p}\leq\sum_{i=1}^{\infty}|a_{i}|^{p}, $$

we have the following:

$$\begin{aligned} L \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}} \Biggl\{ \sum_{k=-\infty }^{\infty}2^{k\alpha p} \sum_{i=-\infty }^{k-2}(k-i)^{p}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})p} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggr\} ^{\frac{1}{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}} \Biggl\{ \sum_{i=-\infty }^{\infty}2^{i\alpha p} \sum_{k=i+2}^{\infty}(k-i)^{p}2^{(i-k)(\frac {n}{r}-\frac{n}{q_{1}}-\alpha)p} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggr\} ^{\frac{1}{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}} \Biggl\{ \sum_{i=-\infty }^{\infty}2^{i\alpha p} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p}\sum _{k=i+2}^{\infty}(k-i)^{p}2^{(k-i)(\frac{n}{q_{1}}+\alpha-\frac{n}{r})p} \Biggr\} ^{\frac{1}{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}}\|f\|_{\dot{K}_{q_{1}}^{\alpha ,p}(\mathbb{R}^{n})}. \end{aligned}$$

Similarly to the estimate of L, we obtain

$$J\leq C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}}\|f\|_{\dot{K}_{q_{1}}^{\alpha ,p}(\mathbb{R}^{n})}. $$

For K, we have

$$\begin{aligned} \begin{aligned} K&\leq C\|\nabla A\|_{\mathit{CBMO}_{s}} \Biggl\{ \sum_{k=-\infty}^{\infty }2^{k\alpha p} \sum_{i=k-1}^{k} \|f\chi_{i} \|_{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggr\} ^{\frac{1}{p}} \\ &\leq C\|\nabla A\|_{\mathit{CBMO}_{s}} \Biggl\{ \sum_{i=-\infty}^{\infty }2^{i\alpha p} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggr\} ^{\frac{1}{p}} \leq C\|\nabla A\|_{\mathit{CBMO}_{s}}\|f\|_{\dot{K}_{q_{1}}^{\alpha ,p}(\mathbb{R}^{n})}. \end{aligned} \end{aligned}$$

Case 2. \(1< p<\infty\). Using Hölder’s inequality, we get

$$\begin{aligned} L \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}} \Biggl\{ \sum_{k=-\infty }^{\infty} \Biggl(\sum_{i=-\infty}^{k-2}(k-i)2^{(k-i)(\frac {n}{q_{1}}+\alpha-\frac{n}{r})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac {1}{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}} \Biggl\{ \sum_{k=-\infty }^{\infty} \Biggl(\sum_{i=-\infty}^{k-2}2^{i\alpha p}(k-i)^{p}2^{(k-i)(\frac{n}{q_{1}}+\alpha-\frac{n}{r})\frac{p}{2}} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggr) \\ &\Biggl.\Biggl.{}\times \Biggl(\sum_{i=-\infty}^{k-2}2^{(k-i)(\frac {n}{q_{1}}+\alpha-\frac{n}{r})\frac{p'}{2}} \Biggr)^{\frac {p}{p'}} \Biggr\} \Biggr.^{\frac{1}{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}} \Biggl\{ \sum_{i=-\infty }^{\infty}2^{i\alpha p} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggl(\sum _{k=i+2}^{\infty}2^{(k-i)(\alpha+\frac{n}{q_{1}}-\frac {n}{r})\frac{p'}{2}} \Biggr) \Biggr\} ^{1/{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}}\|f\|_{\dot{K}_{q_{1}}^{\alpha ,p}(\mathbb{R}^{n})}. \end{aligned}$$

Similarly to the estimate of L, we obtain

$$J\leq C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,q\}}}\|f\|_{\dot{K}_{q_{1}}^{\alpha ,p}(\mathbb{R}^{n})}. $$

For K, we have

$$\begin{aligned} K \leq&C\|\nabla A\|_{\mathit{CBMO}_{s}} \Biggl\{ \sum_{k=-\infty}^{\infty } \Biggl(\sum_{i=k-1}^{k} 2^{i\alpha}2^{(k-i)\alpha} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac{1}{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{s}} \Biggl\{ \sum_{k=-\infty}^{\infty }2^{i\alpha p} \Biggl(\sum_{i=k-1}^{k} 2^{(k-i)\alpha\frac{p}{2}}\|f \chi_{i}\|_{L^{q_{1}}}^{p}\bigl(\mathbb {R}^{n}\bigr) \Biggr) \\ &\Biggl.\Biggl.{}\times \Biggl(\sum_{i=k-1}^{k} 2^{(k-i)\alpha\frac{p'}{2}} \Biggr)^{\frac{p}{p'}} \Biggr\} \Biggr.^{\frac {1}{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{s}} \Biggl(\sum_{i=-\infty}^{\infty }2^{i\alpha p} \|f\chi_{i}\|_{L^{q_{1}}}^{p}\bigl(\mathbb{R}^{n} \bigr) \Biggr)^{\frac {1}{p}} \\ =&C\|\nabla A\|_{\mathit{CBMO}_{s}}\|f\|_{\dot{K}_{q_{1}}^{\alpha,p}(\mathbb{R}^{n})}. \end{aligned}$$

This completes the proofs of (a). The proofs of (b) are similar to that for (a), thus we omit the details. By combining the estimate (a) and (b), we get (c). □

Proof of Theorem 3

(a) We only give the proof when \(\lambda>0\). By a similar method to the proof of I, II in Theorem 2, we have

$$\begin{aligned}& \bigl\Vert H_{\Phi,\beta,A}^{1}f\bigr\Vert _{M\dot{K}^{\alpha,\lambda }_{p,q_{2}}} \\& \quad = \sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \Biggl(\sum _{k=-\infty }^{k_{0}}2^{k\alpha p}\bigl\Vert (H_{\Phi,\beta,A}f)\chi_{k}\bigr\Vert _{L^{q_{2}}(\mathbb {R}^{n})}^{p} \Biggr)^{1/p} \\& \quad \leq C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{k\alpha p} \Biggl(\sum_{i=-\infty }^{k-2}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})}\|f \chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/p} \\& \qquad {}+C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\& \qquad {}\times \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{k\alpha p} \Biggl(\sum_{i=k-1}^{k} (k-i)2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/p} \\& \qquad {}+C\|\nabla A\|_{\mathit{CBMO}_{s}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{k\alpha p} \Biggl(\sum_{i=k-1}^{k} \|f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/p} \\& \quad = C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\sup_{k_{0}\in \mathbb{Z}}2^{-k_{0}\lambda} \\& \qquad {}\times \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{k\alpha p}2^{-kn(\frac{1}{r}-\frac {1}{q_{1}})} \Biggl(\sum_{i=-\infty}^{k-2}2^{in(\frac {1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/p} \\& \qquad {}+C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\& \qquad {}\times \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{k\alpha p}2^{-kn(\frac{1}{r}-\frac {1}{q_{1}})} \Biggl(\sum_{i=k-1}^{k} (k-i)2^{in(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/p} \\& \qquad {}+C\|\nabla A\|_{\mathit{CBMO}_{s}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{k\alpha p} \Biggl(\sum_{i=k-1}^{k} \|f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/p} \\& \quad := E_{1}+E_{2}+E_{3}. \end{aligned}$$

For \(E_{1}\), noting that \(\alpha<\frac{n}{r}-\frac{n}{q_{1}}+\lambda\), we have

$$\begin{aligned} E_{1} \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\ &{}\times \Biggl\{ \sum_{k=-\infty}^{k_{0}} \Biggl(\sum _{i=-\infty }^{k-2}2^{k\alpha}2^{-kn(\frac{1}{r}-\frac{1}{q_{1}})}2^{in(\frac {1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\ &{}\times \Biggl\{ \sum_{k=-\infty}^{k_{0}} \Biggl(\sum _{i=-\infty }^{k-2}2^{k\alpha}2^{-kn(\frac{1}{r}-\frac{1}{q_{1}})}2^{in(\frac {1}{r}-\frac{1}{q_{1}})}2^{-i\alpha} \\ &\Biggl.\Biggl.\Biggl.{}\times 2^{i\lambda}2^{-i\lambda}\Biggl(\sum _{l=-\infty }^{i}2^{l\alpha p}\|f\chi_{l}\| _{L^{q_{1}}(\mathbb{R}^{n})}^{p}\Biggr)^{1/{p}} \Biggr)^{p} \Biggr\} \Biggr.^{1/{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\ &{}\times\Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{pk\lambda} \Biggl(\sum_{i=-\infty }^{k-2}2^{(i-k)(-\alpha+\frac{n}{r}-\frac{n}{q_{1}}+\lambda)} \|f \| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/{p}} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \Biggl(\sum_{k=-\infty}^{k_{0}}2^{pk\lambda} \Biggr)^{1/{p}}\|f\| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} 2^{pk_{0}\lambda}\|f\| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})} \\ =&C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\|f\| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})}. \end{aligned}$$

Similarly to the proof of \(E_{1}\), we have

$$E_{2}\leq C\|\nabla A\|_{\mathit{CBMO}_{\max\{s,\frac{q_{1}r}{q_{1}-r}\}}}\|f\| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})}. $$

For \(E_{3}\), we have the following estimate:

$$\begin{aligned} E_{3} =&C\|\nabla A\|_{\mathit{CBMO}_{s}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\ &{}\times \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{k\alpha p} \Biggl(\sum_{i=k-1}^{k} 2^{-k\lambda}2^{k\alpha}2^{-i\alpha}2^{i\lambda}2^{-i\lambda}\Biggl(\sum_{l=-\infty}^{i}2^{l\alpha p} \|f\chi_{l}\| _{L^{q_{1}}(\mathbb{R}^{n})}^{p}\Biggr)^{1/{p}} \Biggr)^{p} \Biggr\} ^{1/p} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{s}}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \Biggl(\sum_{k=-\infty}^{k_{0}}2^{k\alpha p} \Biggr)^{1/{p}} \\ &{}\times\sum_{i=k-1}^{k}2^{(i-k)(-\alpha+\lambda)} \|f\| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})} \\ \leq&C\|\nabla A\|_{\mathit{CBMO}_{s}} \|f\| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})}. \end{aligned}$$

This finishes the proof of (a). The proof of Theorem 3(b) is similar to that for (a). We omit the details. By combining the estimates of (a) and (b), we can easily get (c). □

Proof of Theorem 4

We prove (a) first. When \(\mathscr{A}_{\Phi,\beta,r}^{n}<\infty\), we get

$$\begin{aligned}& \bigl\Vert \bigl(H^{1}_{\Phi,\beta,\vec{b}}f\bigr)\chi_{k}\bigr\Vert _{L^{q_{2}}(\mathbb {R}^{n})}^{q_{2}} \\& \quad \leq \int_{C_{k}} \Biggl( \int_{B_{i}}\Biggl\vert \prod_{j=1}^{m} \bigl(b_{\sigma (j)}(x)-b_{\sigma(j)}(y) \bigr)\Biggr\vert \frac{|\Phi(\frac {x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\& \quad \leq \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k} \int_{C_{i}}\Biggl\vert \prod_{j=0}^{m} \bigl(b_{\sigma(j)}(x)-b_{\sigma (j)}(y) \bigr)\Biggr\vert \frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta }}\bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\& \quad = \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k} \int_{C_{i}}\Biggl\vert \sum_{j=0}^{m} \sum_{\sigma\in\mathscr{C}_{j}^{m}}\bigl(\vec{b}(x)-\vec {b}_{B_{k}} \bigr)_{\sigma}\bigl(\vec{b}_{B_{k}}-\vec{b}(y) \bigr)_{\sigma'}\Biggr\vert \frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\& \quad \leq \int_{C_{k}}\Biggl\vert \prod_{j=1}^{m} \bigl(b_{j}(x)-(b_{j})_{B_{k}}\bigr)\Biggr\vert ^{q_{2}} \Biggl(\sum_{i=-\infty}^{k} \int_{C_{i}}\frac{|\Phi(\frac {x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\& \qquad {}+ \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k} \sum_{j=1}^{m-1}\sum _{\sigma\in\mathscr{C}_{j}^{m}} \int_{C_{i}} \frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}} \\& \qquad\Biggl.\Biggl. {}\times\bigl\vert \bigl(\vec{b}(x)-\vec {b}_{B_{k}}\bigr)_{\sigma}\bigl(\vec{b}_{B_{k}}-\vec{b}(y) \bigr)_{\sigma '}\bigr\vert \bigl\vert f(y)\bigr\vert \,dy \Biggr)\Biggr.^{q_{2}}\,dx \\& \qquad {}+ \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k} \int_{C_{i}}\Biggl\vert \prod_{j=1}^{m} \bigl(b_{j}(y)-(b_{j})_{B_{k}} \bigr)\Biggr\vert \frac{|\Phi (\frac{x}{|y|})|}{|y|^{n-\beta}}f(y)\,dy \Biggr)^{q_{2}}\,dx \\& \quad := I+\mathit{II}+\mathit{III}. \end{aligned}$$

To estimate I, by Lemma 1(i) and \(\frac{1}{q_{2}}=\frac{1}{q_{1}}-\frac{\beta}{n}\), \(\frac{1}{r_{1}}+\cdots+\frac{1}{r_{m}}=1\), \(1< r_{j}<\infty\), for \(1< r< q_{1}\), we get

$$\begin{aligned} \begin{aligned} I&= C \int_{C_{k}}\Biggl\vert \prod_{j=1}^{m} \bigl(b_{j}(x)-(b_{j})_{B_{k}}\bigr)\Biggr\vert ^{q_{2}} \Biggl(\sum_{i=\infty}^{k} \int_{C_{i}}\frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta }}\bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ &\leq C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{q_{2}r_{j}}}^{q_{2}}|B_{k}| \Biggl(\sum _{i=-\infty}^{k}2^{in(\frac{1}{r}-\frac{1}{q_{1}})}2^{k\beta-\frac {kn}{r}}\|f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}} \\ &\leq C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{q_{2}r_{j}}}^{q_{2}} \Biggl(\sum_{i=-\infty }^{k}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}. \end{aligned} \end{aligned}$$

For II, we have

$$\begin{aligned} \mathit{II} =&C \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k} \sum_{j=1}^{m-1}\sum _{\sigma\in\mathscr{C}_{j}^{m}} \int_{C_{i}} \frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert \bigl(\vec{b}(x)-\vec {b}_{B_{k}}\bigr)_{\sigma}\bigl(\vec{b}_{B_{k}}-\vec{b}(y) \bigr)_{\sigma '}\bigr\vert \bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ \leq&C\sum_{j=1}^{m-1}\sum _{\sigma\in\mathscr{C}_{j}^{m}} \int _{C_{k}}\bigl\vert \bigl(\vec{b}(x)-\vec{b}_{B_{k}} \bigr)_{\sigma}\bigr\vert ^{q_{2}} \Biggl(\sum _{i=-\infty}^{k} \int_{C_{i}} \frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert \bigl( \vec{b}_{B_{k}}-\vec {b}(y)\bigr)_{\sigma'}\bigr\vert \bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx. \end{aligned}$$

By Lemma 1(i), we have

$$\begin{aligned} \mathit{II} \leq& C\sum_{j=1}^{m-1}\sum _{\sigma\in\mathscr{C}_{j}^{m}} \int _{C_{k}}\bigl\vert \bigl(\vec{b}(x)-\vec{b}_{B_{k}} \bigr)_{\sigma}\bigr\vert ^{q_{2}} \\ &{}\times\Biggl(\sum _{i=-\infty}^{k} |x|^{\beta-\frac{n}{r}}\biggl( \int_{C_{i}}\bigl\vert \bigl(\vec{b}_{B_{i}}-\vec {b}(y)\bigr)_{\sigma'}\bigr\vert ^{r}\bigl\vert f(y)\bigr\vert ^{r}\,dy\biggr)^{1/r} \Biggr)^{q_{2}}\,dx. \end{aligned}$$

And by Hölder’s inequality for \(\frac{1}{r_{\sigma(1)}}+\frac {1}{r_{\sigma(2)}}+\cdots+\frac{1}{r_{\sigma(j)}}+\frac {1}{r_{\sigma'}}=1\), and noting that \(\frac{1}{q_{2}}=\frac{1}{q_{1}}-\frac{\beta}{n}\), we get

$$\begin{aligned} \mathit{II} \leq&\sum_{j=1}^{m-1}\sum _{\sigma\in\mathscr{C}_{j}^{m}}\biggl( \int _{C_{k}}\bigl\vert b_{\sigma(1)}(x)-(b_{\sigma(1)})_{B_{k}} \bigr\vert ^{q_{2}r_{\sigma (1)}}\,dx\biggr)^{\frac{1}{r_{\sigma(1)}}}\times\cdots \\ &{}\times\biggl( \int_{C_{k}}\bigl\vert b_{\sigma(j)}(x)-(b_{\sigma(j)})_{B_{k}} \bigr\vert ^{q_{2}r_{\sigma (j)}}\,dx\biggr)^{\frac{1}{r_{\sigma(j)}}} \\ &{}\times \Biggl( \int_{C_{k}} \Biggl(\sum_{i=-\infty}^{k}2^{k\beta-\frac {kn}{r}} \biggl( \int_{C_{i}}\bigl\vert \bigl(\vec{b}_{B_{k}}-\vec{b}(y) \bigr)_{\sigma '}\bigr\vert ^{r}\bigl\vert f(y)\bigr\vert ^{r}\,dy\biggr)^{1/r} \Biggr)^{q_{2}r_{\sigma'}}\,dx \Biggr)^{1/{r_{\sigma '}}} \\ \leq&C\sum_{j=1}^{m-1}\sum _{\sigma\in\mathscr{C}_{j}^{m}}\|\vec {b}_{\sigma}\|_{\mathit{CBMO}_{{q_{2}r_{\sigma}}}(\mathbb{R}^{n})}^{q_{2}}|B_{k}| \\ &{}\times \Biggl(\Biggl(\sum_{i=-\infty}^{k}2^{k\beta-\frac{kn}{r}} \int _{C_{i}}\bigl\vert \bigl(\vec{b}_{B_{k}}- \vec{b}(y)\bigr)_{\sigma'}\bigr\vert ^{r}\bigl\vert f(y)\bigr\vert ^{r}\,dy\Biggr)^{1/r} \Biggr)^{q_{2}} \\ \leq&C\sum_{j=1}^{m-1}\sum _{\sigma\in\mathscr{C}_{j}^{m}}\|\vec {b}_{\sigma}\|_{\mathit{CBMO}_{{q_{2}r_{\sigma}}}(\mathbb{R}^{n})}^{q_{2}}|B_{k}| \\ &{}\times\Biggl(\sum_{i=-\infty}^{k}2^{k\beta-\frac{kn}{r}} \biggl( \int _{C_{i}}\bigl\vert \bigl(\vec{b}_{B_{k}}- \vec{b}(y)\bigr)_{\sigma'}\bigr\vert ^{\frac {rq_{1}}{q_{1}-r}}\,dy \biggr)^{\frac{q_{1}-r}{q_{1}r}} \biggl( \int_{C_{i}}\bigl\vert f(y)\bigr\vert ^{q_{1}}\,dy \biggr)^{1/{q_{1}}} \Biggr)^{q_{2}}. \end{aligned}$$

By Lemma 3, we have

$$\begin{aligned} \mathit{II} \leq&C\sum_{j=1}^{m-1}\sum _{\sigma\in\mathscr{C}_{j}^{m}}\|\vec {b}_{\sigma}\|_{\mathit{CBMO}_{{q_{2}r_{\sigma}}}(\mathbb {R}^{n})}^{q_{2}}(k-i)^{|\sigma'|} \|\vec{b}_{\sigma'}\|_{\mathit{CBMO}_{\frac{rq_{1}}{q_{1}-r}r_{\sigma'}}(\mathbb {R}^{n})}^{q_{2}} \\ &{}\times \Biggl(\sum_{i=-\infty}^{k}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}} \\ \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})}^{q_{2}} \Biggl(\sum_{i=-\infty}^{k}(k-i)^{|\sigma'|}2^{(i-k)n(\frac {1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}. \end{aligned}$$

Now we estimate III. Since

$$\prod_{j=1}^{m} \bigl(b_{j}(y)-(b_{j})_{B_{k}} \bigr)= \sum_{j=0}^{m}\sum _{\sigma\in\mathscr{C}_{j}^{m}}\bigl[\bigl(\vec{b}(y)-\vec {b}_{B_{i}} \bigr)_{\sigma}(\vec{b}_{B_{i}}-\vec{b}_{B_{k}})_{\sigma'} \bigr], $$

and by Lemma 3 and Minkowski’s inequality, we get

$$\begin{aligned} \mathit{III} \leq&\sum_{i=-\infty}^{k} \int_{C_{k}} \Biggl( \int_{C_{i}}\Biggl\vert \prod_{j=1}^{m} \bigl(b_{j}(y)-(b_{j})_{B_{i}}\bigr) +\sum_{j=1}^{m-1}\sum _{\sigma\in\mathscr{C}_{j}^{m}}\bigl(\vec {b}(y)-\vec{b}_{B_{i}} \bigr)_{\sigma}(\vec{b}_{B_{i}}-\vec{b}_{B_{k}})_{\sigma '} \\ &\Biggl.\Biggl.{}+ \prod_{j=1}^{m}\bigl((b_{j})_{B_{i}}-(b_{j})_{B_{k}} \bigr)\Biggr\vert \frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \,dy \Biggr)\Biggr.^{q_{2}}\,dx \\ \leq&C\sum_{i=-\infty}^{k} \int_{C_{k}} \Biggl( \int_{C_{i}}\Biggl\vert \prod_{j=1}^{m} \bigl(b_{j}(y)-(b_{j})_{B_{i}}\bigr)\Biggr\vert \frac{|\Phi(\frac {x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ &{}+C\sum_{i=-\infty}^{k} \int_{C_{k}} \Biggl( \int_{C_{i}}\Biggl\vert \sum_{j=1}^{m-1} \sum_{\sigma\in\mathscr{C}_{j}^{m}}\bigl(\vec {b}(y)-\vec{b}_{B_{i}} \bigr)_{\sigma}(\vec{b}_{B_{i}}-\vec{b}_{B_{k}})_{\sigma '} \Biggr\vert \frac{|\Phi(\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ &{}+C\sum_{i=-\infty}^{k} \int_{C_{k}} \Biggl( \int_{C_{i}}\Biggl\vert \prod_{j=1}^{m} \bigl((b_{j})_{B_{i}}-(b_{j})_{B_{k}}\bigr) \Biggr\vert \frac{|\Phi (\frac{x}{|y|})|}{|y|^{n-\beta}}\bigl\vert f(y)\bigr\vert \,dy \Biggr)^{q_{2}}\,dx \\ =&\mathit{III}_{1}+\mathit{III}_{2}+\mathit{III}_{3}. \end{aligned}$$

Then by Hölder’s inequality, Lemma 1, and Lemma 3, we have

$$\begin{aligned}& \mathit{III}_{1}\leq C\sum_{i=-\infty}^{k} \int_{C_{k}} \Biggl(|x|^{\beta-\frac{n}{r}} \int_{C_{i}}\Biggl\vert \prod_{j=1}^{m} \bigl(b_{j}(y)-(b_{j})_{B_{i}}\bigr)\Biggr\vert ^{r} \bigl\vert f(y)\bigr\vert ^{r}\,dy \Biggr)^{q_{2}}\,dx \\& \hphantom{\mathit{III}_{1}}\leq C\sum_{i=-\infty}^{k} \int_{C_{k}} \Biggl(2^{k\beta-\frac{kn}{r}} \Biggl( \int_{C_{i}}\Biggl\vert \prod_{j=1}^{m} \bigl(b_{j}(y)-(b_{j})_{B_{i}}\bigr)\Biggr\vert ^{\frac {rq_{1}}{q_{1}-r}}\,dy\Biggr)^{\frac{q_{1}-r}{r q_{1}}} \\& \hphantom{\mathit{III}_{1}\leq{}}\Biggl.\Biggl.{}\times \biggl( \int_{C_{i}}\bigl\vert f(y)\bigr\vert ^{q_{1}}\,dy \biggr)^{1/{q_{1}}} \Biggr)\Biggr.^{q_{2}}\,dx \\& \hphantom{\mathit{III}_{1}}\leq C\prod_{j=1}^{m} \|b_{j}\|_{\mathit{CBMO}_{\frac{rq_{1}}{q_{1}-r}r_{j}}(\mathbb {R}^{n})}^{q_{2}} \Biggl(\sum _{i=-\infty}^{k} 2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})}\|f\chi_{i} \|_{L^{q_{1}}(\mathbb {R}^{n})} \Biggr)^{q_{2}}, \\& \mathit{III}_{2}\leq C\prod_{j=1}^{m} \|b_{j}\|_{\mathit{CBMO}_{\frac {rq_{1}}{q_{1}-r}r_{j}}(\mathbb{R}^{n})}^{q_{2}} \Biggl(\sum _{i=-\infty }^{k}\sum_{j=1}^{m-1} \sum_{\sigma\in\mathscr{C}_{j}^{m}}(k-i)^{|\sigma '|}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}. \end{aligned}$$

Also

$$\mathit{III}_{3}\leq C\prod_{j=1}^{m} \|b_{j}\|_{\mathit{CBMO}_{\frac {rq_{1}}{q_{1}-r}r_{j}}(\mathbb{R}^{n})}^{q_{2}} \Biggl(\sum _{i=-\infty }^{k}(k-i)^{m}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{q_{2}}. $$

Then

$$\begin{aligned}& \bigl\Vert H_{\Phi,\beta,\vec{b}}^{1}f\bigr\Vert _{\dot{K}_{q_{2}}^{\alpha,p}} \\& \quad \leq C\prod_{j=1}^{m} \|b_{j}\|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})} \Biggl\{ \sum_{k=-\infty}^{\infty }2^{k\alpha p} \Biggl(\sum_{i=-\infty}^{k}2^{(i-k)n(\frac {1}{r}-\frac{1}{q_{1}})} \|f \chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac {1}{p}} \\& \qquad {}+\prod_{j=1}^{m} \|b_{j}\|_{\mathit{CBMO}_{q_{2}r_{j}}(\mathbb{R}^{n})} \Biggl\{ \sum_{k=-\infty}^{\infty}2^{k\alpha p} \Biggl(\sum_{i=-\infty }^{k}(k-i)^{m}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac {1}{p}} \\& \qquad {}+\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\frac{rq_{1}}{q_{1}-r}r_{j}}(\mathbb {R}^{n})} \Biggl\{ \sum_{k=-\infty}^{\infty}2^{k\alpha p} \Biggl(\sum_{i=-\infty}^{k} (k-i)^{m}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac {1}{p}} \\& \quad \leq C\prod_{j=1}^{m} \|b_{j}\|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})} \\& \qquad {}\times \Biggl\{ \sum_{k=-\infty}^{\infty }2^{k\alpha p}\Biggl(\sum_{i=-\infty}^{k}(k-i)^{m}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac{1}{p}} \\& \quad := L. \end{aligned}$$

For \(0< p\leq1\), by the well-known inequality

$$\Biggl(\sum_{i=1}^{\infty}|a_{i}| \Biggr)^{p}\leq\sum_{i=1}^{\infty}|a_{i}|^{p}. $$

We have the following:

$$\begin{aligned} L \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})} \\ &{}\times\Biggl\{ \sum_{k=-\infty}^{\infty}2^{k\alpha p} \sum_{i=-\infty }^{k}(k-i)^{mp}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})p} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggr\} ^{\frac{1}{p}} \\ \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})} \\ &{}\times\Biggl\{ \sum_{i=-\infty}^{\infty}2^{i\alpha p} \sum_{k=i}^{\infty }(k-i)^{mp}2^{(i-k)(\frac{n}{r}-\frac{n}{q_{1}}-\alpha)p} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggr\} ^{\frac{1}{p}} \\ \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})} \\ &{}\times \Biggl\{ \sum_{i=-\infty}^{\infty }2^{i\alpha p} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p}\sum _{k=i+2}^{\infty}(k-i)^{mp}2^{(k-i)(\frac{n}{q_{1}}+\alpha-\frac{n}{r})p} \Biggr\} ^{\frac{1}{p}} \\ \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})}\|f\chi_{i}\|_{\dot {K}_{q_{1}}^{\alpha,p}(\mathbb{R}^{n})}. \end{aligned}$$

For \(1< p<\infty\), using Hölder’s inequality, we get

$$\begin{aligned} L \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})} \\ &{}\times \Biggl\{ \sum_{k=-\infty}^{\infty }\Biggl(\sum_{i=-\infty}^{k-2}(k-i)^{m}2^{(k-i)(\frac{n}{q_{1}}+\alpha -\frac{n}{r})} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{\frac {1}{p}} \\ \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})} \\ &{}\times\Biggl\{ \sum_{k=-\infty}^{\infty} \Biggl(\sum_{i=-\infty}^{k-2}2^{i\alpha p}(k-i)^{mp}2^{(k-i)(\frac {n}{q_{1}}+\alpha-\frac{n}{r})\frac{p}{2}} \|f\chi_{i}\|_{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggr) \\ &\Biggl.\Biggl.{}\times \Biggl(\sum_{i=-\infty}^{k}2^{(k-i)(\frac {n}{q_{1}}+\alpha-\frac{n}{r})\frac{p'}{2}} \Biggr)^{\frac {p}{p'}} \Biggr\} \Biggr.^{\frac{1}{p}} \\ \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})} \Biggl\{ \sum_{i=-\infty}^{\infty}2^{i\alpha p} \|f\chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})}^{p} \Biggl(\sum _{k=i}^{\infty}2^{(k-i)(\alpha+\frac{n}{q_{1}}-\frac {n}{r})\frac{p'}{2}} \Biggr) \Biggr\} ^{1/{p}} \\ \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})}\|f\chi_{i}\|_{\dot {K}_{q_{1}}^{\alpha,p}(\mathbb{R}^{n})}. \end{aligned}$$

This finishes the proof of (a). The proof of Theorem 4(b) is similar to that for (a). We omit the details. By combining the estimates of (a) and (b), we can easily get (c). □

Proof of Theorem 5

We only give the proof when \(\lambda>0\). By the definition of Morrey-Herz spaces and the estimates for I, II, III in the proof of Theorem 4, we have

$$\begin{aligned}& \bigl\Vert H_{\Phi,\beta,\vec{b}}^{1}f\bigr\Vert _{M\dot{K}^{\alpha,\lambda }_{p,q_{2}}} \\& \quad = \sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \Biggl(\sum _{k=-\infty }^{k_{0}}2^{k\alpha p}\bigl\| \bigl(H_{\Phi,\beta,\vec{b}}^{1}f \bigr)\chi_{k}\bigr\| _{L^{q_{2}}(\mathbb{R}^{n})}^{p} \Biggr)^{1/p} \\& \quad \leq C\prod_{j=1}^{m} \|b_{j}\|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\& \qquad {}\times \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{k\alpha p} \Biggl(\sum_{i=-\infty }^{k}(k-i)^{m}2^{(i-k)n(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/p} \\& \quad = C\prod_{j=1}^{m} \|b_{j}\|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\& \qquad {}\times \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{k\alpha p}2^{-kn(\frac{1}{r}-\frac {1}{q_{1}})} \Biggl(\sum_{i=-\infty}^{k} (k-i)^{m}2^{in(\frac{1}{r}-\frac{1}{q_{1}})} \|f\chi_{i}\| _{L^{q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/p} \\& \quad = K. \end{aligned}$$

For K, noting that \(\alpha<\frac{n}{r}-\frac{n}{q_{1}}+\lambda\), we have

$$\begin{aligned} K \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\ &{}\times\Biggl\{ \sum _{k=-\infty}^{k_{0}} \Biggl(\sum _{i=-\infty}^{k}(k-i)^{m} 2^{k\alpha}2^{-kn(\frac{1}{r}-\frac{1}{q_{1}})}2^{in(\frac {1}{r}-\frac{1}{q_{1}})}2^{-i\alpha} \\ &{}\times2^{i\lambda}2^{-i\lambda}\Biggl(\sum _{l=-\infty }^{i}2^{l\alpha p}\|f\chi_{l}\| _{L^{q_{1}}(\mathbb{R}^{n})}^{p}\Biggr)^{1/{p}} \Biggr)^{p} \Biggr\} ^{1/{p}} \\ \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \\ &{}\times \Biggl\{ \sum_{k=-\infty}^{k_{0}}2^{pk\lambda} \Biggl(\sum_{i=-\infty }^{k-2}(k-i)^{m}2^{(i-k)(-\alpha+\frac{n}{r}-\frac{n}{q_{1}}+\lambda)} \|f\| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})} \Biggr)^{p} \Biggr\} ^{1/{p}} \\ \leq&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})}\sup_{k_{0}\in\mathbb{Z}}2^{-k_{0}\lambda} \Biggl(\sum _{k=-\infty}^{k_{0}}2^{pk\lambda} \Biggr)^{1/{p}}\|f\| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})} \\ =&C\prod_{j=1}^{m}\|b_{j} \|_{\mathit{CBMO}_{\max\{q_{2}r_{j},\frac {rq_{1}}{q_{1}-r}r_{j}\}}(\mathbb{R}^{n})}\|f\| _{M\dot{K}^{\alpha,\lambda}_{p,q_{1}}(\mathbb{R}^{n})}. \end{aligned}$$

This finishes the proof of (a). The proof of Theorem 5(b) is similar to that for (a). We omit the details. By combining the estimates of (a) and (b), we can easily get (c). □

4 Conclusions

This paper proves the boundedness of the generalized commutators of Hausdorff operators \(H_{\Phi,\beta,A}\) and the multilinear commutators of Hausdorff operators \(H_{\Phi,\beta ,\vec{b}}\) with central BMO function, not only in Herz spaces, but also in Morrey-Herz spaces, which promotes some results of Hardy operators or the multilinear commutators of Hausdorff operators \(H_{\Phi,\beta,b}^{m}\).

References

  1. Liflyand, E, Móricz, F: The Hausdorff operator is bounded on the real Hardy space \(H^{1}(\mathbb{R})\). Proc. Am. Math. Soc. 128, 1391-1396 (2000)

    Article  MATH  Google Scholar 

  2. Lin, Y-X, Sun, L-J: Some estimates on Hausdorff operator. Acta Sci. Math. (Szeged) 78, 669-681 (2012)

    MathSciNet  MATH  Google Scholar 

  3. Brown, G, Móricz, F: Multivariate Hausdorff operators on the spaces \(L^{p}(\mathbb{R}^{n})\). J. Math. Anal. Appl. 271, 443-454 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  4. Liflyand, E: Boundedness of multidimensional Hausdorff operators on \(H^{1}(\mathbb{R}^{n})\). Acta Sci. Math. (Szeged) 74, 1391-1396 (2008)

    MathSciNet  Google Scholar 

  5. Liflyand, E, Móricz, F: Commuting relations for Hausdorff operators and Hilbert transforms on real Hardy spaces. Acta Math. Hung. 97(1), 133-143 (2002)

    Article  MATH  Google Scholar 

  6. Liflyand, E, Móricz, F: The Hausdorff operator is bounded on the real Hardy spaces. J. Aust. Math. Soc. 83, 79-86 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  7. Móricz, F: Multivariate Hausdorff operators on the spaces \(H^{1}(\mathbb{ R}^{n})\) and \(\mathit{BMO}(\mathbb{R}^{n})\). Anal. Math. 31(1), 31-41 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  8. Coifman, R, Rochberg, R, Weiss, G: Factorization theorems for Hardy spaces in several variables. Ann. Math. 103, 611-635 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  9. Gao, G-G, Jia, H-Y: Boundedness of commutators of high-dimensional Hausdorff operators. J. Funct. Spaces Appl. 2012, Article ID 541205 (2012)

    Article  MathSciNet  Google Scholar 

  10. Cohen, J: A sharp estimate for a multilinear singular integral on \(\mathbb{R}^{n}\). Indiana Univ. Math. J. 30, 693-702 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  11. Pérez, C, Trujillo-González, R: Sharp weighted estimates for multilinear commutators. J. Lond. Math. Soc. 65(2), 672-692 (2002)

    Article  MATH  Google Scholar 

  12. Lu, S-Z, Yang, D-C: The central BMO spaces and Littlewood-Paley operators. Approx. Theory Appl. 11(3), 72-94 (1995)

    MathSciNet  MATH  Google Scholar 

  13. Lu, S-Z, Zhao, F-Y: CBMO estimates for multilinear Hardy operator. Acta Math. Sin. 26(7), 1145-1254 (2010)

    Article  MathSciNet  Google Scholar 

  14. Lu, S-Z, Wu, Q: CBMO estimate for commutators and multilinear singular integrals. Math. Nachr. 176, 75-88 (2004)

    Article  MathSciNet  Google Scholar 

  15. Lu, S-Z, Yang, D-C: The continuity of commutators on Herz-type spaces. Mich. Math. J. 44, 255-281 (1977)

    MathSciNet  Google Scholar 

  16. Lu, S-Z, Xu, L-F: Boundedness of rough singular integral operators on the homogeneous Morrey-Herz spaces. Hokkaido Math. J. 34(2), 299-314 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  17. Tao, X-X, Wu, Y-X: Boundedness for the multi-commutators of Calderón-Zygmund operators. J. Math. Inequal. 6(4), 655-672 (2012)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

We would like to appreciate the reviewers for reading the paper and make helpful comments that improved the original paper. This work was supported by National Natural Science Foundation of China (Grant Nos. 11071065, 11171306, and 11571160). This work was also supported by the Foundation of Mudanjiang Normal University (Grant No. sy201325).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jie Sun.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors worked jointly in drafting and approving 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sun, J., Shi, X. Some estimates for commutators of Hausdorff operators. J Inequal Appl 2015, 409 (2015). https://doi.org/10.1186/s13660-015-0933-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0933-8

MSC

Keywords