Iterated commutators of multilinear Calderón–Zygmund maximal operators on some function spaces

Zengyan Si; Pu Zhang

doi:10.1186/s13660-019-2051-5

Research
Open Access
Published: 11 April 2019

Iterated commutators of multilinear Calderón–Zygmund maximal operators on some function spaces

Journal of Inequalities and Applications volume 2019, Article number: 100 (2019) Cite this article

500 Accesses
Metrics details

Abstract

Let $T^{*}$ be a multilinear Calderón–Zygmund maximal operator. In this paper, we study iterated commutators of $T^{*}$ and pointwise multiplication with functions in Lipschitz spaces. More precisely, we give some new estimates for this kind of commutators under some Dini-type conditions on Lebesgue spaces, homogenous Lipschitz spaces, and homogenous Triebel–Lizorkin spaces.

Introduction and main results

For any $a>0$, we say that $\omega \in \operatorname{Dini} (a)$ if

$$ |\omega |_{\operatorname{Dini}(a)} = \int _{0}^{1} \frac{\omega ^{a}(t)}{t}\,dt< \infty , $$

where $\omega (t):[0,\infty )\mapsto [0,\infty )$ is a nondecreasing function with $0<\omega (1)<\infty $.

We say that T is a multilinear Calderón–Zygmund operator with kernel of type $\omega (t)$, denoted by m-linear ω-CZO, if T can be extended to a bounded multilinear operator from $L^{q_{1}}( \mathbb{R}^{n})\times \cdots \times L^{q_{m}}(\mathbb{R}^{n})$ to $L^{q,\infty }(\mathbb{R}^{n})$ for some $1< q,q_{1},\ldots ,q_{m} <\infty $ with $\frac{1}{q_{1}}+\cdots +\frac{1}{q_{m}}=\frac{1}{q}$, or from $L^{q_{1}}(\mathbb{R}^{n})\times \cdots \times L^{q_{m}}( \mathbb{R}^{n})$ to $L^{1}(\mathbb{R}^{n})$ for some $1< q_{1}, \ldots ,q _{m}<\infty $ with $\frac{1}{q_{1}}+\cdots +\frac{1}{q_{m}}=1$, and if there exists a function K defined off the diagonal $x=y_{1}=\cdots =y_{m}$ in $(\mathbb{R}^{n})^{m+1}$, satisfying

$$ T\vec{f}(x)=T(f_{1},\ldots,f_{m}) (x)= \int _{(\mathbb{R}^{n})^{m}}K(x,y _{1},\ldots ,y_{m})f_{1}(y_{1}) \cdots f_{m}(y_{m})\,dy_{1}\cdots \,dy_{m} $$

(1.1)

for all $x\notin \bigcap_{j=1}^{m} \operatorname{supp} f_{j} $ and $f_{j}\in C_{c}^{\infty }(\mathbb{R}^{n})$, $j=1,\ldots ,m$, and if there exists a constant $A>0$ such that

$$ \bigl\vert K(x,y_{1},\ldots ,y_{m}) \bigr\vert \leq \frac{A}{(|x-y_{1}|+\cdots +|x-y_{m}|)^{mn}} $$

(1.2)

for all $(x,y_{1},\ldots ,y_{m})\in (\mathbb{R}^{n})^{m+1}$ with $x\neq y_{j}$ for some $j\in \{1,2,\ldots ,m\}$, and

$$ \begin{aligned}[b] & \bigl\vert K(x,y_{1}, \ldots ,y_{m})-K\bigl(x',y_{1},\ldots ,y_{m}\bigr) \bigr\vert \\ &\quad \leq \frac{A}{(|x-y_{1}|+\cdots +|x-y_{m}|)^{mn}}\omega \biggl(\frac{|x-x'|}{|x-y _{1}|+\cdots +|x-y_{m}|} \biggr) \end{aligned} $$

(1.3)

whenever $|x-x'|\leq \frac{1}{m+1}\max_{1\leq j \leq m} |x-y_{j}|$, and

$$ \begin{aligned}[b] & \bigl\vert K(x,y_{1}, \ldots ,y_{j},\ldots ,y_{m})-K\bigl(x,y_{1}, \ldots ,y'_{j}, \ldots ,y_{m}\bigr) \bigr\vert \\ &\quad \leq \frac{A}{(|x-y_{1}|+\cdots +|x-y_{m}|)^{mn}}\omega \biggl(\frac{|y _{j}-y_{j}'|}{|x-y_{1}|+\cdots +|x-y_{m}|} \biggr) \end{aligned} $$

(1.4)

whenever $|y_{j}-y_{j}'|\leq \frac{1}{m+1}\max_{1\leq j \leq m} |x-y _{j}|$.

When $\omega (x)=x^{\gamma }$ for some $\gamma >0$, the m-linear ω-CZO is exactly the multilinear Calderón–Zygmund operator studied by Grafakos and Torres in [11]. The multilinear Calderón–Zygmund operators were introduced and first studied by Coifman and Meyer [5,6,7] and later by Grafakos and Torres [11, 12]. The study of such operators has attracted the interest of many experts; see, for example, [4, 14, 24] and the reference therein. Recently, many mathematicians are concerned to remove or replace the smoothness condition on the kernels; see, for example [1, 8,9,10, 13, 15, 21]. In this paper, we mainly investigate the maximal operator and give some new estimates for its iterated commutators on some function spaces.

The maximal truncated operator $T^{*}$ is defined by

$$ T^{*}(\vec{f}) (x)=\sup_{\delta >0} \bigl\vert T_{\delta }(f_{1},\ldots ,f_{m}) (x) \bigr\vert , $$

where $T_{\delta }$ are the smooth truncations of T, that is,

$$ T_{\delta }(f_{1},\ldots ,f_{m}) (x)= \int _{|x-y_{1}|^{2}+\cdots +|x-y_{m}|^{2}>{\delta }^{2}} K(x,y_{1}, \ldots ,y_{m})f_{1}(y_{1}) \cdots f_{m}(y_{m})\,dy_{1}\cdots \,dy_{m}. $$

For the maximal truncated operator $T^{*}$ and a collection of locally integrable functions $\vec{b}=(b_{1},\ldots ,b_{m})$, we define the iterated commutator $T^{*}_{\varPi \vec{b}}$ by

$$\begin{aligned} T^{*}_{\varPi \vec{b}}(\vec{f}) (x) &=\sup_{\delta >0} \bigl\vert \bigl[b_{1},\bigl[b_{2}, \ldots \bigl[b_{m-1},[b_{m},T_{\delta }]_{m} \bigr]_{m-1}\cdots \bigr]_{2}\bigr]_{1} (\vec{f}) (x) \bigr\vert \\ &=\sup_{\delta >0} \Biggl\vert \int _{|x-y_{1}|^{2}+\cdots +|x-y_{m}|^{2}>{\delta }^{2}}{\prod_{j=1} ^{m}\bigl(b_{j}(x)-b_{j}(y_{j}) \bigr)K(x,y_{1},\ldots ,y_{m})} \prod _{i = 1}^{m}f _{i}(y_{i}) \,d \vec{y} \Biggr\vert . \end{aligned}$$

The iterated commutators of multilinear singular integral operators with BMO functions have been studied by a large number of people; see, for example, [2, 18, 19]. On the other hand, commutators of multilinear singular integral operators with Lipschitz functions have been the subject of many recent papers. In 1995, Paluszyński [17] proved that the commutator generated by Calderón–Zygmund operators with classical kernel and Lipschitz functions is bounded from the Lebesgue space to the Lebesgue space and to the homogenous Triebel–Lizorkin space. The multilinear analogues of the results in [17] were given by Wang and Xu [23] and by Mo and Lu [16]. Finally, Sun and Zhang [22] relaxed the smooth condition assumed on the kernel to Dini-type condition. It is natural to ask whether, under the Dini-type condition, the iterated commutators of multilinear Calderón–Zygmund maximal operators and pointwise multiplication with functions in Lipschitz space share similar boundedness properties? In this paper, we give a positive answer. The main result reads as follows.

Theorem 1.1

Suppose $\omega \in \operatorname{Dini}(1)$ and $b_{j}\in \operatorname{Lip}_{\beta _{j}}$ with $0 < \beta _{j} < 1$ for $j = 1, \ldots ,m$ and $\beta = \beta _{1} + \cdots + \beta _{m}$. If $1 < p_{1}, \ldots , p_{m} <\infty $, $0< q < \infty $, and $1/p_{j} > \beta _{j}/n$ with $1/q = 1/p_{1}+\cdots +1/p _{m}-\beta /n$, then

$$ \bigl\Vert T^{*}_{\varPi \vec{b}}\vec{f} \bigr\Vert _{L^{q}}\lesssim \prod_{i=1}^{m} \|b_{i}\|_{\operatorname{Lip} _{\beta _{i}}}\prod_{i=1}^{m} \|f_{i}\|_{L^{p_{i}}}. $$

Theorem 1.2

Suppose $b_{j}\in \operatorname{Lip}_{\beta _{j}}$ with $0 < \beta _{j} < 1$ for $j = 1, \ldots ,m$ and $\beta = \beta _{1} + \cdots + \beta _{m}$. If $1 < p_{1}, \ldots , p_{m} <\infty $, $0<1/p_{j}<\beta _{j}/n$, $0<\beta -n/ p<1$ with $1/p = 1/p_{1}+\cdots +1/p_{m}$, and ω satisfies

$$ \int _{0}^{1}\frac{\omega (t)}{t^{1+\beta -n/ p}}\,dt< \infty , $$

(1.5)

then

$$ \bigl\Vert T^{*}_{\varPi \vec{b}}\vec{f} \bigr\Vert _{\operatorname{Lip}_{\beta -n/ p}}\lesssim \prod_{i=1} ^{m} \|b_{i}\|_{\operatorname{Lip}_{\beta _{i}}}\prod_{i=1}^{m} \|f_{i}\|_{L^{p _{i}}}. $$

Theorem 1.3

Suppose $b_{j}\in \operatorname{Lip}_{\beta _{j}}$ with $0 < \beta _{j} < 1$ for $j = 1, \ldots ,m$ and $\beta = \beta _{1} + \cdots + \beta _{m}$. If $1 < p_{1}, \ldots , p_{m} <\infty $ with $1/p = 1/p_{1}+\cdots +1/p _{m}$ and ω satisfies

$$ \int _{0}^{1}\frac{\omega (t)}{t^{1+\beta }}\,dt< \infty , $$

(1.6)

then

$$ \bigl\Vert T^{*}_{\varPi \vec{b}}\vec{f} \bigr\Vert _{\dot{F}_{p}^{\beta ,\infty }}\lesssim \prod_{i=1}^{m} \|b_{i}\|_{\operatorname{Lip}_{\beta _{i}}}\prod_{i=1}^{m} \|f _{i}\|_{L^{p_{i}}}. $$

In the next section, we give some definitions and preliminaries. We focus on the proof of Theorem 1.1 in Sect. 3. The proof of Theorems 1.2 and 1.3 is given in Sect. 4. The notation $A \lesssim B$ stands for $A \leq C B$ for some positive constant C independent of A and B.

Preliminaries

Definition 2.1

Given a locally integrable function f, define the fractional maximal function by

$$ M_{\beta ,r}f(x)=\sup_{x\in Q} \biggl( \frac{1}{|Q|^{1-{\beta r}/{n}}} \int _{Q} \bigl\vert f(y) \bigr\vert ^{r}\,dy \biggr)^{\frac{1}{r}},\quad r\geq 1, $$

when $0\leq \beta < n/ r$. If $\beta =0$ and $r=1$, then $M_{0, 1}f=Mf$ denotes the usual Hardy–Littlewood maximal function. For $\delta >0$, we denote $M_{\delta }$ by $M_{\delta }f=M(|f|^{\delta })^{\frac{1}{ \delta }}$.

The sharp maximal function $M^{\sharp }$ is given by

$$ M^{\sharp }f(x)=\sup_{Q\ni x} \inf_{C} \frac{1}{|Q|} \int _{Q} \bigl\vert f(y)-C \bigr\vert \,dy \approx \sup _{Q\ni x} \frac{1}{|Q|} \int _{Q} \bigl\vert f(y)-f_{Q} \bigr\vert \,dy, $$

where $f_{Q}$ denotes the average of f over cube Q, and we denote $M^{\sharp }_{\delta }$ by $M^{\sharp }_{\delta }f(x)= M^{\sharp }(|f|^{ \delta })^{\frac{1}{\delta }}(x)$.

Definition 2.2

([17])

For $\beta >0$, the homogenous Lipschitz space $\operatorname{Lip}_{\beta }( \mathbb{R}^{n})$ is the space of functions f such that

$$ \|f\|_{\operatorname{Lip}_{\beta }(\mathbb{R}^{n})}=\sup_{x,h\in \mathbb{R}^{n},h \neq 0}\frac{|\Delta _{h}^{[\beta ]+1}f(x)|}{|h|^{\beta }} < \infty , $$

where $\Delta _{h}^{k}$ denotes the kth difference operator.

To prove Theorems 1.1, 1.2, and 1.3, we need the following lemmas.

Lemma 2.1

([17])

Let $b\in \operatorname{Lip}_{\beta }(\mathbb{R}^{n})$, $0<\beta <1$. For any cubes $Q^{\prime }$, Q in $\mathbb{R}^{n}$ such that $Q^{\prime }\subset Q$, we have

$$ |b_{Q^{\prime }}-b_{Q}|\lesssim \|b\|_{\operatorname{Lip}_{\beta }(\mathbb{R}^{n})}|Q|^{ \beta / n}. $$

Lemma 2.2

([17])

(1)
For $0 <\beta < 1$ and $1 \leq q <\infty $, we have
$$ \|f\|_{\operatorname{Lip}_{\beta }(\mathbb{R}^{n})}\approx \sup_{Q} \frac{1}{|Q|^{1+n/ \beta }} \int _{Q} |f-f_{Q}|\approx \sup _{Q} \frac{1}{|Q|^{n/ \beta }} \biggl( \int _{Q} |f-f_{Q}|^{q} \biggr)^{\frac{1}{q}}. $$
(2)
For $0 <\beta < 1$ and $1 \leq p<\infty $, we have
$$ \|f\|_{\dot{F}^{\beta ,\infty }_{p}}\approx \biggl\Vert \sup_{Q} \frac{1}{|Q|^{1+n/ \beta }} \int _{Q} |f-f_{Q}| \biggr\Vert _{L^{p}}. $$

Lemma 2.3

([20])

Let $\frac{1}{p}=\frac{1}{p_{1}}+\cdots +\frac{1}{p_{m}}$ and $\vec{\omega }\in A_{\vec{p}}$. Let T be an m-linear ω-CZO with $\omega \in \operatorname{Dini}(1)$.

(1)
If $1< p_{1}, \ldots , p_{m}<\infty $, then
$$ \bigl\Vert T^{*}\vec{f} \bigr\Vert _{L^{p}(\nu _{\vec{\omega }})}\lesssim \prod _{i=1}^{m}\|f_{i} \|_{L^{p_{i}}(\omega _{i})}. $$
(2)
If $1\leq p_{1}, \ldots , p_{m}<\infty $, then
$$ \bigl\Vert T^{*}\vec{f} \bigr\Vert _{L^{p,\infty }(\nu _{\vec{\omega }})}\lesssim \prod _{i=1}^{m}\|f_{i} \|_{L^{p_{i}}(\omega _{i})}. $$

Proof of Theorem 1.1

We borrow some ideas from [19]. Since the proof of Theorem 1.1 follows from similar steps in [22], we omit the proof. We just give three key lemmas.

Let $u, v\in C^{\infty }([0,\infty ))$ be such that $|u'(t)|\le Ct ^{-1}$, $|v'(t)|\le Ct^{-1}$, and

$$ \chi _{[2,\infty )}(t)\le u(t)\le \chi _{[1,\infty )}(t),\qquad \chi _{[1,2]}(t)\le v(t)\le \chi _{[1/2,3]}(t). $$

For simplicity, we denote

$$\begin{aligned}& K_{u, \eta }(x,y_{1},\ldots ,y_{m})=K(x,y_{1}, \ldots ,y_{m})u\biggl(\frac{|x-y _{1}|+\cdots +|x-y_{m}|}{\eta }\biggr), \\& K_{v, \eta }(x,y_{1},\ldots ,y_{m})=K(x,y_{1}, \ldots ,y_{m})v\biggl(\frac{|x-y _{1}|+\cdots +|x-y_{m}|}{\eta }\biggr), \end{aligned}$$

and

$$\begin{aligned}& U_{\eta }(\vec{f}) (x)= \int _{({\mathbb{R}}^{n})^{m}}K_{u, \eta }(x,y _{1},\ldots ,y_{m})\prod_{i=1}^{m}f_{i}(y_{i}) \,dy_{1}\cdots \,dy_{m}, \\& V_{\eta }(\vec{f}) (x)= \int _{({\mathbb{R}}^{n})^{m}}K_{v, \eta }(x,y _{1},\ldots ,y_{m})\prod_{i=1}^{m}f_{i}(y_{i}) \,dy_{1}\cdots \,dy_{m}. \end{aligned}$$

Then we define the maximal operators

$$ U^{*}(\vec{f}) (x)=\sup_{\eta >0} \bigl\vert U_{\eta }(\vec{f}) (x) \bigr\vert \quad \mbox{and}\quad V^{*}(\vec{f}) (x)=\sup_{\eta >0} \bigl\vert V_{\eta }(\vec{f}) (x) \bigr\vert . $$

It is easy to get $T^{*}(\vec{f})\le U^{*}(\vec{f})(x)+V^{*}(\vec{f})(x)$. Next, we show that the functions $K_{u, \eta }$ and $K_{v,\eta }$ satisfy some smoothness properties.

Lemma 3.1

For any $j=0,1,2,\ldots ,m$, we have

$$\begin{aligned} & \bigl\vert K_{u, \eta }(y_{0},\ldots ,y_{j}, \ldots ,y_{m})-K_{u, \eta }\bigl(y _{0},\ldots ,y'_{j},\ldots ,y_{m}\bigr) \bigr\vert \\ &\quad \lesssim \frac{\omega (\frac{|y_{j}-y_{j}'|}{|y_{0}-y_{1}|+ \cdots +|y_{0}-y_{m}|} )}{(|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|)^{mn}} +\frac{|y_{j}-y_{j}'|}{(|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|)^{mn+1}} \end{aligned}$$

and

$$\begin{aligned} & \bigl\vert K_{v, \eta }(y_{0},\ldots ,y_{j}, \ldots ,y_{m})-K_{v, \eta }\bigl(y _{0},\ldots ,y'_{j},\ldots ,y_{m}\bigr) \bigr\vert \\ &\quad \lesssim \frac{\omega (\frac{|y_{j}-y_{j}'|}{|y_{0}-y_{1}|+ \cdots +|y_{0}-y_{m}|} )}{(|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|)^{mn}} +\frac{|y_{j}-y_{j}'|}{(|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|)^{mn+1}} \end{aligned}$$

whenever $|y_{j}-y_{j}'|\leq \frac{1}{m+1}\max_{0\leq j \leq m} |y _{0}-y_{j}|$.

Proof

We just give the estimate for $K_{u,\eta }$, since $K_{v,\eta }$ can be estimated in a similar way with slight modifications. Without loss of generality, assuming that $j=0$, we estimate

$$\begin{aligned}& \bigl\vert K_{u, \eta }(y_{0},y_{1},\ldots ,y_{m})-K_{u, \eta }\bigl(y'_{0},y _{1},\ldots ,y_{m}\bigr) \bigr\vert \\& \quad = \biggl\vert K(y_{0},y_{1},\ldots ,y_{m})u\biggl(\frac{|y_{0}-y_{1}|+\cdots +|y _{0}-y_{m}|}{\eta }\biggr) \\& \qquad {}-K\bigl(y_{0}',y_{1},\ldots ,y_{m}\bigr)u\biggl(\frac{|y'_{0}-y_{1}|+\cdots +|y'_{0}-y _{m}|}{\eta }\biggr) \biggr\vert \\& \quad = \biggl\vert \bigl[K(y_{0},y_{1},\ldots ,y_{m})-K\bigl(y'_{0},y_{1},\ldots ,y_{m}\bigr)\bigr]u\biggl(\frac{|y'_{0}-y _{1}|+\cdots +|y'_{0}-y_{m}|}{\eta }\biggr) \\& \qquad {}-K(y_{0},y_{1},\ldots ,y_{m}) \\& \qquad {}\times\biggl[u \biggl(\frac{|y'_{0}-y_{1}|+\cdots +|y'_{0}-y _{m}|}{\eta }\biggr)-u\biggl(\frac{|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|}{\eta }\biggr)\biggr] \biggr\vert \\& \quad \lesssim \bigl\vert K(y_{0},y_{1},\ldots ,y_{m})-K\bigl(y'_{0},y_{1},\ldots ,y _{m}\bigr) \bigr\vert \\& \qquad {}+ \biggl\vert K(y_{0},y_{1},\ldots ,y_{m}) \\& \qquad {}\times\biggl[u\biggl(\frac{|y'_{0}-y_{1}|+ \cdots +|y'_{0}-y_{m}|}{\eta }\biggr)-u\biggl( \frac{|y_{0}-y_{1}|+\cdots +|y_{0}-y _{m}|}{\eta }\biggr)\biggr] \biggr\vert \\& \quad \doteq I +\mathit{II}. \end{aligned}$$

Since $|y_{0}-y_{0}'|\leq \frac{1}{m+1}\max_{0\leq j \leq m} |y_{0}-y _{j}|$, by (1.3) we have

$$ I \lesssim \frac{1}{(|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|)^{mn}} \omega \biggl(\frac{|y_{0}-y_{0}'|}{|y_{0}-y_{1}|+\cdots +|y_{0}-y _{m}|} \biggr). $$

It remains to estimate II. By the mean value theorem there is $t_{0} $ between $\frac{|y'_{0}-y_{1}|+\cdots +|y'_{0}-y_{m}|}{\eta }$ and $\frac{|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|}{\eta }$ such that

$$\begin{aligned}& \biggl\vert u\biggl(\frac{|y'_{0}-y_{1}|+\cdots +|y'_{0}-y_{m}|}{\eta }\biggr)-u\biggl(\frac{|y _{0}-y_{1}|+\cdots +|y_{0}-y_{m}|}{\eta } \biggr) \biggr\vert \\& \quad = \bigl\vert u'(t_{0}) \bigr\vert \biggl\vert \frac{|y'_{0}-y_{1}|+\cdots +|y'_{0}-y_{m}|}{ \eta }- \frac{|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|}{\eta } \biggr\vert \\& \quad \leq \frac{1}{t_{0}} \frac{ || y'_{0}-y_{1}|-|y_{0}-y_{1}|| + \cdots + || y'_{0}-y_{m}|-|y_{0}-y_{m}| | }{\eta } \\& \quad \lesssim \frac{1}{t_{0}}\frac{m|y_{0}-y'_{0}|}{\eta }. \end{aligned}$$

Again, since $|y_{0}-y_{0}'|\lesssim \frac{1}{m+1}\max_{0\leq j \leq m} |y_{0}-y_{j}|$, we have

$$\begin{aligned} \bigl\vert y'_{0}-y_{1} \bigr\vert +\cdots + \bigl\vert y'_{0}-y_{m} \bigr\vert &= \bigl\vert y_{0}-y_{1}+y'_{0}-y_{0} \bigr\vert + \cdots + \bigl\vert y_{0}-y_{m}+y'_{0}-y_{0} \bigr\vert \\ &\geq \vert y_{0}-y_{1} \vert +\cdots + \vert y_{0}-y_{m} \vert -m \bigl\vert y_{0}-y'_{0} \bigr\vert \\ &\geq \vert y_{0}-y_{1} \vert +\cdots + \vert y_{0}-y_{m} \vert -\frac{m}{m+1} \max _{0\leq j \leq m} \bigl\vert y_{0}-y'_{0} \bigr\vert \\ &\geq \frac{ \vert y_{0}-y_{1} \vert +\cdots + \vert y_{0}-y_{m} \vert }{m+1}. \end{aligned}$$

From this,

$$\begin{aligned} \frac{1}{t_{0}} &\lesssim \max \biggl\{ \frac{\eta }{|y'_{0}-y_{1}|+\cdots +|y'_{0}-y _{m}|}, \frac{\eta }{|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|} \biggr\} \\ &\lesssim \frac{\eta }{|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|}, \end{aligned}$$

and therefore

$$\begin{aligned} &\biggl|u\biggl(\frac{|y'_{0}-y_{1}|+\cdots +|y'_{0}-y_{m}|}{\eta }\biggr)-u\biggl(\frac{|y _{0}-y_{1}|+\cdots +|y_{0}-y_{m}|}{\eta }\biggr)\biggr| \\ &\quad \lesssim \frac{|y_{0}-y'_{0}|}{|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|}. \end{aligned}$$

This, together with the size condition (1.2), implies that

$$ \mathit{II} \lesssim \frac{|y_{0}-y'_{0}|}{(|y_{0}-y_{1}|+\cdots +|y_{0}-y_{m}|)^{mn+1}}. $$

This ends the proof of Lemma 3.1. □

Lemma 3.2

Let $\frac{1}{p}=\frac{1}{p_{1}} +\cdots +\frac{1}{p_{2}}$ and $\vec{\omega }\in A_{\vec{p}}$. Then we have:

(1)
If $1< p_{1}, \ldots, p_{m}<\infty $, then
$$ \bigl\Vert U^{*}\vec{f} \bigr\Vert _{L^{p}(\nu _{\vec{\omega }})}\lesssim \prod _{i=1}^{m}\|f_{i} \|_{L^{p_{i}}(\omega _{i})}. $$
(2)
If $1\leq p_{1}, \ldots, p_{m}<\infty $, then
$$ \bigl\Vert U^{*}\vec{f} \bigr\Vert _{L^{p,\infty }(\nu _{\vec{\omega }})}\lesssim \prod _{i=1}^{m}\|f_{i} \|_{L^{p_{i}}(\omega _{i})}. $$

Similar estimates hold for $V^{*}$.

Proof

Lemma 3.2 is a consequence of Lemma 2.3, Lemma 3.1, and Theorem 1.3 in [3]. □

For the maximal truncated operator $T^{*}$ and a collection of locally integrable functions $\vec{b}=(b_{1},\ldots ,b_{m})$, we define the commutator $T^{*}_{\varSigma \vec{b}}$ by

$$ T^{*}_{\varSigma \vec{b}}(f_{1},\ldots ,f_{m})=\sum _{j=1}^{m}T_{\vec{b}} ^{*j}(\vec{f}), $$

where

$$ T_{\vec{b}}^{*j}(\vec{f}) (x)=\bigl[b_{j},T^{*} \bigr]_{j}(\vec{f}) (x)= \sup_{\delta >0} \bigl\vert b_{j}(x)T_{\delta }(f_{1},\ldots ,f_{m}) (x)-T_{ \delta }(f_{1},\ldots ,b_{j}f_{j}, \ldots ,f_{m}) (x) \bigr\vert . $$

Next, we give the key lemma, which plays important role in the proof of Theorem 1.1. We just consider the case $m=2$ for simplicity.

Lemma 3.3

Let T be an m-linear ω-CZO with $\omega \in \operatorname{Dini}(1)$. Then we have:

(i)
If $b_{1}\in \operatorname{Lip}_{\beta _{1}} $ and $b_{2}\in \operatorname{Lip}_{\beta _{2}} $ with $0<\beta _{1}$, $\beta _{2}<1$, $0 <\delta <\epsilon < 1/ 2$, then
$$ \begin{aligned}[b] &M^{\sharp }_{\delta }T^{*}_{\varPi \vec{b}}(f_{1},f_{2}) (x) \\ &\quad \lesssim \Biggl\{ \prod_{i=1}^{2} \|b_{i}\|_{\operatorname{Lip}_{\beta _{i}}} M_{ \epsilon ,\beta } \bigl(T^{*}(f_{1},f_{2}) \bigr) (x)+\|b_{1}\|_{\operatorname{Lip}_{\beta _{1}}} M_{\epsilon ,\beta _{1}} \bigl(T_{\vec{b}}^{*2}(f_{1},f_{2})\bigr) (x) \\ &\qquad {}+\|b_{2}\|_{\operatorname{Lip}_{\beta _{1}}} M_{\epsilon ,\beta _{2}} \bigl(T_{\vec{b}} ^{*1}(f_{1},f_{2})\bigr) (x) \\ &\qquad {}+\prod_{i=1}^{2}\|b_{i} \|_{\operatorname{Lip}_{\beta _{i}}}M _{1,\beta _{1}}(f_{1}) (x) M_{1,\beta _{2}}(f_{2}) (x) \Biggr\} . \end{aligned} $$
(3.1)
(ii)
Suppose that $b_{j}\in \operatorname{Lip}_{\beta }$, $j=1,2 $, $0<\beta <1$, and $0 <\delta <\epsilon < 1/ 2 <1<n/ \beta $. Then
$$ \begin{aligned}[b] &M^{\sharp }_{\delta }T_{\varSigma \vec{b}}^{*}(f_{1},f_{2}) (x) \\ &\quad \lesssim \|b\|_{\operatorname{Lip}_{\beta }} \bigl\{ M_{\epsilon ,\beta } \bigl(T^{*}(f _{1},f_{2})\bigr) (x)+ M_{1,\beta }(f_{1}) (x)M (f_{2}) (x) \\ &\qquad {}+ M_{1,\beta }(f _{2}) (x)M (f_{1}) (x) \bigr\} . \end{aligned} $$
(3.2)

Proof

(i) We need two auxiliary maximal operators. The key role in the proof is played by the maximal operators $U_{\varPi b}^{*}$ and $V_{\varPi b}^{*}$ defined by

$$\begin{aligned}& \begin{aligned} U_{\varPi b}^{*}(\vec{f}) (x) &=\sup _{\eta >0} \bigl\vert \bigl[b_{1},[b_{2},U_{ \eta }]_{2} \bigr]_{1} (\vec{f}) (x) \bigr\vert \\ &=\sup_{\eta >0} \Biggl\vert \int _{({\mathbb{R}}^{n})^{m}}K_{u, \eta }(x,y_{1},y_{2}) \prod_{j=1} ^{2}\bigl(b_{j}(x)-b_{j}(y_{j}) \bigr)\prod_{i=1}^{2}f_{i}(y_{i}) \,dy_{1}\,dy_{2} \Biggr\vert , \end{aligned} \\& \begin{aligned} V_{\varPi b}^{*}(\vec{f}) (x)) &= \sup _{\eta >0} \bigl\vert \bigl[b_{1},[b_{2},V_{ \eta }]_{2} \bigr]_{1} (\vec{f}) (x) \bigr\vert \\ &=\sup_{\eta >0} \Biggl\vert \int _{({\mathbb{R}}^{n})^{2}}K_{v, \eta }(x,y_{1},y_{2}) \prod_{j=1} ^{2}b_{j}(x)-b_{j}(y_{j})) \prod_{i=1}^{2}f_{i}(y_{i}) \,dy_{1}\,dy_{2} \Biggr\vert . \end{aligned} \end{aligned}$$

It is easy to get that $T^{*}_{\varPi b}(\vec{f})\le U_{\varPi b}^{*}( \vec{f})(x)+V_{\varPi b}^{*}(\vec{f})(x)$. We need to prove (3.1) for $U^{*}_{\varPi \vec{b}}$ and $V^{*}_{\varPi \vec{b}}$. We just give the proof for $U^{*}_{\varPi \vec{b}}$, since the proof for $V^{*}_{\varPi \vec{b}}$ is almost the same. Fix $x\in \mathbb{R}^{n} $ and denote by $Q=Q(x_{Q},l)$ the cube centered at $x_{Q}$ and containing x with side length l. Denote $c=\sup_{\eta >0}| c_{\eta }|$ and $\lambda _{i}={(b_{i})}_{Q^{*}}=\frac{1}{|Q^{*}|}\int _{Q^{*}}b_{i}(y)\,dy$, where $Q^{*}=8 \sqrt{n}Q$. For any $z\in \mathbb{R}^{n}$, we have

$$\begin{aligned} \bigl\vert U^{*}_{\varPi \vec{b}}(f_{1},f_{2}) (z)- c \bigr\vert &\leq \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr) \bigl(b _{2}(z)-\lambda _{2} \bigr)U^{*}(f_{1},f_{2}) (z) \bigr\vert \\ &\quad {} +\sup_{\eta } \bigl\vert \bigl(b_{1}(z)- \lambda _{1}\bigr)[b_{2},U_{\eta }]_{2}(f _{1},f_{2}) (z) \bigr\vert \\ &\quad {} +\sup_{\eta } \bigl\vert \bigl(b_{2}(z)- \lambda _{2}\bigr)[b_{1},U_{\eta }]_{1}(f _{1},f_{2}) (z) \bigr\vert \\ &\quad {} + \Bigl\vert U^{*}\bigl((b_{1}-\lambda _{1})f_{1}, (b_{2}-\lambda _{2})f_{2} \bigr) (z)- \sup_{\eta >0}| c_{\eta }| \Bigr\vert . \end{aligned}$$

Thus we have

$$\begin{aligned} & \biggl(\frac{1}{|Q|} \int _{Q} \bigl\vert \bigl\vert U^{*}_{\varPi \vec{b}}(f_{1},f_{2}) (z) \bigr\vert ^{ \delta }- \vert c \vert ^{\delta } \bigr\vert \,dz \biggr)^{\frac{1}{\delta }} \\ &\quad \leq \biggl(\frac{1}{|Q|} \int _{Q} \Bigl\vert U^{*}_{\varPi \vec{b}}(f_{1},f_{2}) (z)- \sup_{\eta >0} \vert c_{\eta } \vert \Bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{\delta }} \\ &\quad \leq \biggl(\frac{1}{|Q|} \int _{Q} \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr) \bigl(b_{2}(z)- \lambda _{2} \bigr)U^{*}(f_{1},f_{2}) (z) \bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{ \delta }} \\ &\qquad {} + \biggl(\frac{1}{|Q|} \int _{Q} \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr)\bigl[b_{2},U ^{*}\bigr]_{2}(f_{1},f_{2}) (z) \bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{\delta }} \\ &\qquad {} + \biggl(\frac{1}{|Q|} \int _{Q} \bigl\vert \bigl(b_{2}(z)-\lambda _{2}\bigr)\bigl[b_{1},U ^{*}\bigr]_{1}(f_{1},f_{2}) (z) \bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{\delta }} \\ &\qquad {} + \biggl(\frac{1}{|Q|} \int _{Q}\sup_{\eta >0} \bigl\vert U_{\eta }\bigl((b_{1}- \lambda _{1})f_{1}, (b_{2}-\lambda _{2})f_{2}\bigr) (z)- c_{\eta } \bigr\vert ^{\delta }\,dz \biggr) ^{\frac{1}{\delta }} \\ &\quad \doteq T_{1}+T_{2}+T_{3}+T_{4}. \end{aligned}$$

By Hölder’s inequality,

$$\begin{aligned} T_{1} &\lesssim \prod_{i=1}^{2} \|b_{i}\|_{\operatorname{Lip}_{\beta _{i}}} \biggl(\frac{1}{|Q|^{1-\frac{ \delta \beta }{n}}} \int _{Q} \bigl\vert U^{*}(f_{1},f_{2}) (z) \bigr\vert ^{\delta }\,dz \biggr) ^{\frac{1}{\delta }} \\ &\lesssim \prod_{i=1}^{2} \|b_{i}\|_{\operatorname{Lip}_{\beta _{i}}} M_{\epsilon , \beta } \bigl(U^{*}(f_{1},f_{2}) \bigr) (x). \end{aligned}$$

In a similar way, we can prove that

$$ T_{2}+T_{3} \lesssim \|b_{1} \|_{\operatorname{Lip}_{\beta _{1}}} M_{\epsilon ,\beta _{1}} \bigl(\bigl[b_{2},U^{*} \bigr]_{2}(f_{1},f_{2})\bigr) (x)+ \|b_{2}\|_{\operatorname{Lip}_{\beta _{2}}} M_{\epsilon ,\beta _{2}} \bigl(\bigl[b_{1},U^{*} \bigr]_{1}(f_{1},f_{2})\bigr) (x). $$

It remains to estimate the last term $T_{4}$. Take now $c_{\eta }= U _{\eta }((b_{1}-\lambda _{1})f_{1}^{\infty },(b_{2}-\lambda _{2})f_{2} ^{\infty })(x)$. Then $T_{4}\leq T_{41}+T_{42}+T_{43}+T_{44}$, where

$$\begin{aligned}& T_{41}= \biggl(\frac{1}{|Q|} \int _{Q} \bigl\vert U^{*}\bigl((b_{1}- \lambda _{1})f_{1} ^{0}, (b_{2}-\lambda _{2})f_{2}^{0}\bigr) (z) \bigr\vert ^{\delta }\,dx \biggr)^{\frac{1}{ \delta }}; \\& T_{42}= \biggl(\frac{1}{|Q|} \int _{Q}\sup_{\eta } \bigl\vert U_{\eta }\bigl((b_{1}- \lambda _{1})f_{1}^{0}, (b_{2}-\lambda _{2})f_{2}^{\infty }\bigr) (z) \bigr\vert ^{ \delta }\,dz \biggr)^{\frac{1}{\delta }}; \\& T_{43}= \biggl(\frac{1}{|Q|} \int _{Q} \sup_{\eta } \bigl\vert U_{\eta }\bigl((b_{1}- \lambda _{1})f_{1}^{\infty }, (b_{2}-\lambda _{2})f_{2}^{0}\bigr) (z) \bigr\vert ^{ \delta }\,dz \biggr)^{\frac{1}{\delta }}; \\& T_{44}= \biggl(\frac{1}{|Q|} \int _{Q} \sup_{\eta } \bigl\vert U_{\eta }\bigl((b_{1}- \lambda _{1})f_{1}^{\infty }, (b_{2}-\lambda _{2})f_{2}^{\infty }\bigr) (z) \\& \hphantom{T_{44}= {}}{}- U _{\eta }\bigl((b_{1}-\lambda _{1})f_{1}^{\infty }, (b_{2}-\lambda _{2})f_{2} ^{\infty }\bigr) (x) \bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{\delta }}. \end{aligned}$$

By the Kolmogorov inequality and by Lemma 3.2,

$$\begin{aligned} T_{41} & \lesssim \bigl\Vert U^{*} \bigl((b_{1}-\lambda _{1})f_{1}^{0}, (b_{2}-\lambda _{2})f_{2}^{0}\bigr) \bigr\Vert _{L^{1/2,\infty }(Q, \frac{dx}{|Q|})} \\ &\lesssim \frac{1}{|Q|} \int _{Q} \bigl\vert (b_{1}-\lambda _{1})f_{1}^{0}(z) \bigr\vert \,dz \frac{1}{|Q|} \int _{Q} \bigl\vert (b_{2}-\lambda _{2})f_{2}^{0}(z) \bigr\vert \,dz \\ &\lesssim \prod_{i=1}^{2} \|b_{i}\|_{\operatorname{Lip}_{\beta _{i}}}M_{1,\beta _{i}}(f _{i}) (x). \end{aligned}$$

Next, by Hölder’s inequality and by the size condition (1.2),

$$\begin{aligned} T_{42} &\leq \frac{1}{|Q|} \int _{Q}\sup_{\eta } \bigl\vert U_{\eta }\bigl((b_{1}-\lambda _{1})f_{1}^{0}, (b_{2}-\lambda _{2})f_{2}^{\infty }\bigr) (z) \bigr\vert \,dz \\ &\lesssim \frac{1}{|Q|} \int _{Q} \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}}\frac{|(b_{1}(y_{1})-\lambda _{1})f _{1}^{0}(y_{1})||(b_{2}(y_{2})-\lambda _{2})f_{2}^{\infty }(y_{2}) |\,dy _{1}\,dy_{2}}{(|z-y_{1}|+|z-y_{2}|)^{2n}}\,dz \\ &\lesssim \|b_{1}\|_{\operatorname{Lip}_{\beta _{1}}}M_{1,\beta _{1}}(f_{1}) (x)|Q| \sum_{k=1}^{\infty } \int _{2^{k+3 }\sqrt{n}Q\setminus 2^{k+2} \sqrt{n}Q}\frac{|f_{2}(y_{2})(b_{2}(y_{2})-\lambda _{2})|\,dy_{2}}{|y _{2}-x_{Q}|^{2n}} \\ &\lesssim \|b_{1}\|_{\operatorname{Lip}_{\beta _{1}}}M_{1,\beta _{1}}(f_{1}) (x) \|b _{2}\|_{\operatorname{Lip}_{\beta _{2}}}M_{1,\beta _{2}}(f_{2}) (x). \end{aligned}$$

The operator $T_{43}$ can be estimated in the same way. Finally, we estimate $T_{44}$. By Lemma 3.1 we have

$$\begin{aligned} T_{44} \lesssim& \frac{1}{|Q|} \int _{Q}\sup_{\eta } \bigl\vert U_{\eta }\bigl((b_{1}- \lambda _{1})f_{1}^{\infty }, (b_{2}-\lambda _{2})f_{2}^{\infty }\bigr) (z) \\ &{}- U _{\eta }\bigl((b_{1}-\lambda _{1})f_{1}^{\infty }, (b_{2}-\lambda _{2})f_{2} ^{\infty }\bigr) (x) \bigr\vert \,dz \\ \lesssim& \frac{1}{|Q|} \int _{Q} \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\sup_{\eta } \bigl\vert K_{\mu ,\eta }(z, \vec{y})-K_{\mu ,\eta }(x_{Q},\vec{y}) \bigr\vert \prod_{i=1}^{2} \bigl\vert \bigl(b_{i}(y_{i})- \lambda _{i} \bigr)f_{i}^{\infty }(y_{i}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \frac{1}{|Q|} \int _{Q} \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\frac{1}{(|x_{Q}-y_{1}|+|x _{Q}-y_{2}|)^{2n}}\omega \biggl( \frac{|z-x_{Q}|}{|x_{Q}-y_{1}|+|x_{Q}-y_{2}|} \biggr) \\ &{} \times \prod_{i=1}^{2} \bigl\vert \bigl(b_{i}(y_{i})-\lambda _{i} \bigr)f_{i}^{ \infty }(y_{i}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ &{} + \frac{1}{|Q|} \int _{Q} \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\frac{|z-x _{Q}|}{(|x_{Q}-y_{1}|+|x_{Q}-y_{2}|)^{2n+1}} \prod _{i=1}^{2} \bigl\vert \bigl(b_{i}(y _{i})-\lambda _{i}\bigr)f_{i}^{\infty }(y_{i}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \frac{1}{|Q|} \int _{Q}\sum_{k=1}^{\infty } \int _{(2^{k+3 }\sqrt{n}Q\setminus 2^{k+2}\sqrt{n}Q)^{2}}\frac{1}{(|2^{k+3 } \sqrt{n}Q|)^{2}}\omega \bigl(2^{-k} \bigr) \\ &{}\times\prod_{i=1}^{2} \bigl\vert \bigl(b_{i}(y_{i})-\lambda _{i} \bigr)f_{i}^{\infty }(y_{i}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ &{} + \frac{1}{|Q|} \int _{Q} \int _{\mathbb{R}^{n}\setminus Q^{*}}\frac{|z-x _{Q}|^{1/ 2}}{|x_{Q}-y_{1}|^{n+1/ 2}} \bigl\vert \bigl(b_{1}(y_{1})-\lambda _{1}\bigr)f _{1}^{\infty }(y_{1}) \bigr\vert \,dy_{1} \\ &{} \times \int _{\mathbb{R}^{n}\setminus Q^{*}}\frac{|z-x_{Q}|^{1/ 2}}{|x_{Q}-y_{2}|^{n+1/ 2}} \bigl\vert \bigl(b_{2}(y_{2})-\lambda _{2} \bigr)f_{2}^{\infty }(y_{2}) \bigr\vert \,dy_{2}\,dz \\ \lesssim& \sum_{k=1}^{\infty } \frac{1}{(|2^{k+3 }\sqrt{n}Q|)^{2}} \int _{(2^{k+3 }\sqrt{n}Q\setminus 2^{k+2}\sqrt{n}Q)^{2}}\omega \bigl(2^{-k}\bigr) \prod _{i=1}^{2} \bigl\vert \bigl(b_{i}(y_{i})- \lambda _{i}\bigr)f_{i}^{\infty }(y_{i}) \bigr\vert \, d \vec{y} \\ &{} + \sum_{k=1}^{\infty }2^{-\frac{k}{2}} \frac{1}{|2^{k+3 } \sqrt{n}Q| } \int _{2^{k+3 }\sqrt{n}Q\setminus 2^{k+2}\sqrt{n}Q} \bigl\vert \bigl(b _{1}(y_{1})- \lambda _{1}\bigr)f_{1}^{\infty }(y_{1}) \bigr\vert \,dy_{1} \\ &{} \times \sum_{k=1}^{\infty }2^{-\frac{k}{2}} \frac{1}{|2^{k+3 } \sqrt{n}Q| } \int _{2^{k+3 }\sqrt{n}Q\setminus 2^{k+2}\sqrt{n}Q} \bigl\vert \bigl(b _{2}(y_{2})- \lambda _{2}\bigr)f_{2}^{\infty }(y_{2}) \bigr\vert \,dy_{2} \\ \lesssim& \|b_{1}\|_{\operatorname{Lip}_{\beta _{1}}}M_{1,\beta _{1}}(f_{1}) (x) \|b _{2}\|_{\operatorname{Lip}_{\beta _{2}}}M_{1,\beta _{2}}(f_{2}) (x). \end{aligned}$$

Combining the obtained estimates proves (3.1).

(ii) It is sufficient to prove (3.2) for the operator with only one symbol. Set

$$\begin{aligned} U^{*1}_{\vec{b}}(\vec{f}) (x) &=\sup_{\eta >0} \bigl\vert b(x)U_{\eta }(f_{1},f _{2}) (x)-U_{\eta }(bf_{1},f_{2}) (x) \bigr\vert \\ &=\sup_{\eta >0} \bigl\vert \bigl(b(x)-\lambda \bigr)U_{\eta }(f_{1},f_{2}) (x)-U_{\eta } \bigl((b- \lambda )f_{1},f_{2}\bigr) (x) \bigr\vert , \end{aligned}$$

where $\lambda =b_{Q^{*}}=\frac{1}{|Q^{*}|}\int _{Q^{*}}b(y)\,dy$. Let $c=\sup_{\eta >0}|c_{\eta }|$. Then

$$\begin{aligned} & \biggl(\frac{1}{|Q|} \int _{Q} \bigl\vert \bigl\vert U^{*1}_{\vec{b}}(f_{1},f_{2}) (z) \bigr\vert ^{ \delta }-| c|^{\delta } \bigr\vert \,dz \biggr)^{\frac{1}{\delta }} \\ &\quad \lesssim \biggl(\frac{1}{|Q|} \int _{Q} \Bigl\vert U^{*1}_{\vec{b}}(f_{1},f_{2}) (z)-\sup_{\eta >0}| c_{\eta }| \Bigr\vert ^{ \delta }\,dz \biggr)^{\frac{1}{\delta }} \\ &\quad \lesssim \biggl(\frac{1}{|Q|} \int _{Q} \bigl\vert \bigl(b(z)-\lambda \bigr)U^{*}(f_{1},f _{2}) (z) \bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{\delta }} \\ &\qquad {}+ \biggl(\frac{1}{|Q|} \int _{Q}\sup_{\eta >0} \bigl\vert U_{\eta }\bigl((b-\lambda )f_{1}, f_{2}\bigr) (z)- c_{ \eta } \bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{\delta }} \\ &\quad =: (P_{1}+P_{2}). \end{aligned}$$

By Hölder’s inequality,

$$\begin{aligned} P_{1} &\lesssim \|b\|_{\operatorname{Lip}_{\beta }} \biggl( \frac{1}{|Q|^{1-\frac{ \delta \beta }{n}}} \int _{Q} \bigl\vert U^{*}(f_{1},f_{2}) (z) \bigr\vert ^{\delta }\,dz \biggr) ^{\frac{1}{\delta }} \\ &\lesssim \|b\|_{\operatorname{Lip}_{\beta }} M_{\epsilon ,\beta } \bigl(U^{*}(f_{1},f _{2})\bigr) (x). \end{aligned}$$

Set $c_{\eta }= U_{\eta }((b-\lambda )f_{1}^{\infty },f_{2}^{\infty })(x)$. Then $P_{2}\leq P_{21}+P_{22}+P_{23}+P_{24}$, where

$$\begin{aligned}& P_{21}= \biggl(\frac{1}{|Q|} \int _{Q} \bigl\vert U^{*}\bigl((b-\lambda )f_{1}^{0}, f _{2}^{0}\bigr) (z) \bigr\vert ^{\delta }\,dx \biggr)^{\frac{1}{\delta }}; \\& P_{22}= \biggl(\frac{1}{|Q|} \int _{Q} \sup_{\eta } \bigl\vert U_{\eta }\bigl((b-\lambda )f_{1}^{0}, f_{2}^{\infty }\bigr) (z) \bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{\delta }}; \\& P_{23}= \biggl(\frac{1}{|Q|} \int _{Q} \sup_{\eta } \bigl\vert U_{\eta }\bigl((b-\lambda )f_{1}^{\infty }, f_{2}^{0}\bigr) (z) \bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{\delta }}; \\& P_{24}= \biggl(\frac{1}{|Q|} \int _{Q} \sup_{\eta } \bigl\vert U_{\eta }\bigl((b-\lambda )f_{1}^{\infty }, f_{2}^{\infty }\bigr) (z)- U_{\eta }\bigl((b-\lambda )f_{1} ^{\infty }, f_{2}^{\infty }\bigr) (x) \bigr\vert ^{\delta }\,dz \biggr)^{\frac{1}{\delta }}. \end{aligned}$$

By the Kolmogorov inequality and by Lemma 3.2,

$$\begin{aligned} P_{21} & \lesssim \bigl\Vert U^{*}\bigl((b- \lambda )f_{1}^{0}, f_{2}^{0}\bigr) \bigr\Vert _{L^{1/2, \infty }(Q, \frac{dx}{|Q|})} \\ &\lesssim \frac{1}{|Q|} \int _{Q} \bigl\vert (b-\lambda )f_{1}^{0}(z) \bigr\vert \,dz \frac{1}{|Q|} \int _{Q} \bigl\vert f_{2}^{0}(z) \bigr\vert \,dz \\ &\lesssim \|b\|_{\operatorname{Lip}_{\beta }} \bigl\vert Q^{*} \bigr\vert ^{\beta / n}\frac{1}{|Q|} \int _{Q} \bigl\vert f_{1}^{0}(z) \bigr\vert \,dz \frac{1}{|Q|} \int _{Q} \bigl\vert f_{2}^{0}(z) \bigr\vert \,dz \\ &\lesssim \|b\|_{\operatorname{Lip}_{\beta }}M_{1,\beta }(f_{1}) (x)M (f_{2}) (x). \end{aligned}$$

Next, by the size condition (1.2),

$$\begin{aligned} P_{22} &\lesssim \frac{1}{|Q|} \int _{Q}\sup_{\eta } \bigl\vert U_{\eta }\bigl((b-\lambda )f_{1}^{0}, f_{2}^{\infty }\bigr) (z) \bigr\vert \,dz \\ &\lesssim \frac{1}{|Q|} \int _{Q} \int _{Q^{*}} \int _{(Q^{*})^{c}}\frac{1}{(|z-y _{1}|+|z-y_{2}|)^{2n}} \bigl\vert \bigl(b(y_{1})-\lambda \bigr)f_{1}(y_{1}) \bigr\vert \bigl\vert f_{2}(y_{2}) \bigr\vert \,dy _{2} \,dy_{1} \,dz \\ &\lesssim \int _{Q^{*}} \bigl\vert \bigl(b(y_{1})-\lambda \bigr)f_{1}(y_{1}) \bigr\vert \,dy_{1} \int _{\mathbb{R}^{n}\setminus Q^{*}}\frac{|f_{2}(y_{2})|\,dy_{2}}{|x _{Q}-y_{2}|^{2n}} \\ &\lesssim \|b\|_{\operatorname{Lip}_{\beta }} |Q|^{\frac{\beta }{n}} \int _{Q^{*}}f _{1}(y_{1})\,dy_{1} \sum_{k=1}^{\infty }\frac{1}{|2^{k+1}Q|^{2}} \int _{2^{k+1}Q^{*}\setminus 2^{k}Q^{*}} \bigl\vert f_{2}(y_{2}) \bigr\vert \,dy_{2} \\ &\lesssim \|b\|_{\operatorname{Lip}_{\beta }}M_{1,\beta }(f_{1}) (x) M(f_{2}) (x) . \end{aligned}$$

Similarly,

$$ P_{23} \lesssim \|b\|_{\operatorname{Lip}_{\beta }}M_{1,\beta }(f_{1}) (x) M(f_{2}) (x). $$

By Lemma 3.1 we obtain

$$\begin{aligned} P_{24} \lesssim& \frac{1}{|Q|} \int _{Q}\sup_{\eta } \bigl\vert U_{\eta }\bigl((b- \lambda )f_{1}^{\infty }, f_{2}^{\infty }\bigr) (z)- U_{\eta }\bigl((b-\lambda )f _{1}^{\infty }, f_{2}^{\infty }\bigr) (x) \bigr\vert \,dz \\ \lesssim& \frac{1}{|Q|} \int _{Q} \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\sup_{\eta } \bigl\vert K_{\mu , \eta }(z,\vec{y})-K_{\mu ,\eta }(x_{Q},\vec{y}) \bigr\vert \bigl\vert \bigl(b(y_{1})-\lambda \bigr) \bigr\vert \prod _{i=1}^{2} \bigl\vert f_{i}^{\infty }(y_{i}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \frac{1}{|Q|} \int _{Q} \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\frac{\omega (\frac{|z-x _{Q}|}{|z-y_{1}|+|z-y_{2}|})}{(|z-y_{1}|+|z-y_{2}|)^{2n}} \bigl\vert \bigl(b(y_{1})- \lambda \bigr) \bigr\vert \prod _{i=1}^{2} \bigl\vert f_{i}^{\infty }(y_{i}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ &{} +\frac{1}{|Q|} \int _{Q} \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\frac{|z-x _{Q}|}{(|z-y_{1}|+|z-y_{2}|)^{2n+1}} \bigl\vert \bigl(b(y_{1})-\lambda \bigr) \bigr\vert \prod _{i=1} ^{2} \bigl\vert f_{i}^{\infty }(y_{i}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \frac{1}{|Q|} \int _{Q}\sum_{k=1}^{\infty } \int _{(2^{k+3 }\sqrt{n}Q\setminus 2^{k+2}\sqrt{n}Q)^{2}}\frac{1}{(|2^{k+3 } \sqrt{n}Q|)^{2}}\omega \bigl(2^{-k} \bigr) \bigl\vert \bigl(b(y_{1})-\lambda \bigr) \bigr\vert \\ &{} \times\prod _{i=1}^{2} \bigl\vert f _{i}^{\infty }(y_{i}) \bigr\vert \,dy_{1}\,dy_{2}\,dz+ \frac{1}{|Q|} \int _{Q} \int _{\mathbb{R}^{n}\setminus Q^{*}}\frac{|z-x _{Q}|^{1/ 2}}{|x_{Q}-y_{1}|^{n+1/ 2}} \bigl\vert \bigl(b(y_{1})-\lambda \bigr)f_{1}^{ \infty }(y_{1}) \bigr\vert \,dy_{1} \\ &{} \times \int _{\mathbb{R}^{n}\setminus Q^{*}}\frac{|z-x_{Q}|^{1/ 2}}{|x_{Q}-y_{2}|^{n+1/ 2}} \bigl\vert f_{2}^{\infty }(y_{2}) \bigr\vert \,dy_{2}\,dz \\ \lesssim& \|b\|_{\operatorname{Lip}_{\beta }} \sum_{k=1}^{\infty } \frac{\omega (2^{-k})}{(|2^{k+3 }\sqrt{n}Q|)^{1- \beta / n}} \int _{2^{k+3 }\sqrt{n}Q} \bigl\vert f_{1}^{\infty }(y_{1}) \bigr\vert \,dy_{1}\frac{1}{|2^{k}Q ^{*}|} \int _{2^{k+3 }\sqrt{n}Q} \bigl\vert f_{2}^{\infty }(y_{2}) \bigr\vert \,dy_{2} \\ &{} + \sum_{k=1}^{\infty }2^{-\frac{k}{2}} \frac{1}{|2^{k+3 } \sqrt{n}Q|^{1-\beta / n }} \int _{2^{k+3 }\sqrt{n}Q\setminus 2^{k+2}\sqrt{n}Q} \bigl\vert f_{1}^{\infty }(y_{1}) \bigr\vert \,dy_{1} \\ &{} \times \sum_{k=1}^{\infty }2^{-\frac{k}{2}} \frac{1}{|2^{k+3 } \sqrt{n}Q| } \int _{2^{k+3 }\sqrt{n}Q\setminus 2^{k+2}\sqrt{n}Q} \bigl\vert f _{2}^{\infty }(y_{2}) \bigr\vert \,dy_{2} \\ \lesssim& \|b\|_{\operatorname{Lip}_{\beta }}M_{1,\beta }(f_{1}) (x) M(f_{2}) (x). \end{aligned}$$

Thus we finish the proof of (3.2). Then Lemma 3.3 is proved. □

Proofs of Theorems 1.2 and 1.3

The main ideas in this section are from [17] and [19]. We should also mention that the proof of this part is similar to that of Theorem 1.2 and Theorem 1.3 in [22]; we just give the different part of the proof.

We begin with the proof of Theorem 1.2.

Proof

For any cube Q centered at $x_{Q}$, the theorem will be proved if we can show that

$$ \sup_{Q}\frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \bigl\vert U^{*}_{\varPi \vec{b}}( \vec{f}) (z)-\bigl(U^{*}_{\varPi \vec{b}}(\vec{f})\bigr)_{Q} \bigr\vert \,dz \lesssim \|b_{1}\|_{ \dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{\dot{\wedge }_{\beta _{2}}}\|f _{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}}. $$

(4.1)

Set $c=c_{1}+c_{2}+c_{3}$, which will be determined later. We estimate

$$\begin{aligned} &\frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \bigl\vert U^{*}_{\varPi \vec{b}}( \vec{f}) (z)-\bigl(U^{*}_{\varPi \vec{b}}(\vec{f})\bigr)_{Q} \bigr\vert \,dz \\ &\quad \lesssim \frac{1}{|Q|^{1+ \beta / n-1/ p}} \int _{Q} \bigl\vert U^{*}_{\varPi \vec{b}}(f_{1},f_{2}) (z)-c \bigr\vert \,dz \\ &\quad \lesssim \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \bigl\vert U^{*}_{\varPi \vec{b}} \bigl(f_{1}^{0},f_{2}^{0}\bigr) (z) \bigr\vert \,dz \\ &\qquad {}+ \frac{ 1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \bigl\vert U^{*}_{\varPi \vec{b}} \bigl(f_{1} ^{0},f_{2}^{\infty }\bigr) (z)-c_{1} \bigr\vert \,dz \\ &\qquad {}+ \frac{ 1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \bigl\vert U^{*}_{\varPi \vec{b}}\bigl(f _{1}^{\infty },f_{2}^{0}\bigr) (z)-c_{2} \bigr\vert \,dz \\ &\qquad {}+ \frac{ 1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \bigl\vert U^{*}_{\varPi \vec{b}} \bigl(f_{1}^{\infty },f_{2}^{\infty }\bigr) (z)-c _{3} \bigr\vert \,dz \\ &\quad \doteq M_{1}+M_{2}+M_{3}+M_{4}. \end{aligned}$$

We estimate these terms separately. For the first term, we can choose $1< q, q_{j}<\infty $, $q_{j}< n/\beta _{j} < p_{j}$, $j=1,2$, with $1/q=1/q_{1}+1/q_{2}-(\beta _{1}+\beta _{2})/n$. By Hölder’s inequality and by Theorem 1.1 we have

$$\begin{aligned} M_{1} &\lesssim \frac{1}{|Q|^{1+\beta / n-1/ p}} \biggl( \int _{Q} \bigl\vert U^{*} _{\varPi \vec{b}} \bigl(f_{1}^{0},f_{2}^{0}\bigr) (z) \bigr\vert ^{q}\,dz \biggr)^{1/ q}|Q|^{1-1/ q} \\ &\lesssim \frac{1}{|Q|^{1+\beta / n-1/ p}}|Q|^{1-1/ q} \bigl\Vert f_{1}^{0} \bigr\Vert _{L ^{q_{1}}} \bigl\Vert f_{2}^{0} \bigr\Vert _{L^{q_{2}}} \\ &\lesssim \|f_{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}}. \end{aligned}$$

To get $M_{2}$, we take $c_{1}=T((b_{1}-\lambda _{1})f_{1}^{0},f_{2} ^{\infty })(x_{Q})$. Then

$$\begin{aligned} M_{2} \lesssim& \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \biggl\vert \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}}\bigl(b_{1}(z)- \lambda _{1} \bigr) \bigl(b_{2}(z)-\lambda _{2}\bigr) \\ &{} \times K_{\mu ,\eta }(z,y_{1},y_{2})f_{1}(y_{1})f_{2}(y_{2}) \,dy_{1}\,dy _{2} \biggr\vert \,dz \\ &{} + \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \biggl\vert \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}}\bigl(b_{1}(z)-\lambda _{1} \bigr) \bigl(b_{2}(y_{2})-\lambda _{2}\bigr) \\ &{} \times K_{\mu ,\eta }(z,y_{1},y_{2})f_{1}(y_{1})f_{2}(y_{2}) \,dy_{1}\,dy _{2} \biggr\vert \,dz \\ &{} + \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \biggl\vert \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}}\bigl(b_{1}(y_{1})-\lambda _{1}\bigr) \bigl(b_{2}(z)-\lambda _{2}\bigr) \\ &{} \times K_{\mu ,\eta }(z,y_{1},y_{2})f_{1}(y_{1})f_{2}(y_{2}) \,dy_{1}\,dy _{2} \biggr\vert \,dz \\ &{} + \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \biggl\vert \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}}\bigl(b_{1}(y_{1})-\lambda _{1}\bigr) \bigl(b_{2}(y_{2})-\lambda _{2}\bigr) \\ &{} \times \bigl[K_{\mu ,\eta }(z,y_{1},y_{2})-K_{\mu ,\eta }(x_{Q},y_{1},y _{2})\bigr]f_{1}(y_{1})f_{2}(y_{2}) \,dy_{1}\,dy_{2} \biggr\vert \,dz \\ \doteq& M_{21}+M_{22}+M_{23}+M_{24}. \end{aligned}$$

Using the size condition (1.2) and the estimate in [22, p. 5013], we have

$$\begin{aligned} M_{21} \lesssim& \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}} \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr) \bigl(b_{2}(z)- \lambda _{2}\bigr) \bigr\vert \\ &{} \times \frac{1}{(|z-y_{1}|+|z-y_{2}|)^{2n}} \bigl\vert f_{1}(y_{1})f_{2}(y_{2}) \bigr\vert \,dy _{1}\,dy_{2}\,dz \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}}. \end{aligned}$$

In a similar way, we get $M_{23}+M_{22}\lesssim \|b_{1}\|_{ \dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}} \|f _{1}\|_{L^{p_{1}}}\|f_{2}\|_{L^{p_{2}}}$.

By Minkowski’s inequality and by Lemma 3.1,

$$\begin{aligned} M_{24} \lesssim& \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}} \bigl\vert \bigl(b_{1}(y_{1})- \lambda _{1}\bigr) \bigl(b_{2}(y_{2})-\lambda _{2}\bigr) \bigr\vert \\ &{} \times \bigl\vert K_{\mu ,\eta }(z,y_{1},y_{2})-K_{\mu ,\eta }(x _{Q},y_{1},y_{2}) \bigr\vert \bigl\vert f_{1}(y_{1})f_{2}(y_{2}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}}\frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}} \bigl\vert \bigl(b_{1}(y_{1})- \lambda _{1}\bigr) \bigl(b_{2}(y_{2})-\lambda _{2}\bigr) \bigr\vert \\ &{} \times \biggl(\frac{\omega (\frac{|z-x_{Q}|}{|z-y_{1}|+|z-y _{2}|})}{(|z-y_{1}|+|z-y_{2}|)^{2n}}+\frac{|z-x_{Q}|}{(|x-y_{1}|+|x-y _{2}|)^{2n+1}} \biggr) \bigl\vert f_{1}(y_{1})f_{2}(y_{2}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}}\frac{1}{|Q|^{1+\beta _{2}/ n-1/ p}} \\ &{} \times \int _{Q} \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}} \biggl(\frac{\omega (\frac{|z-x_{Q}|}{ |x_{Q}-y_{2}|})}{(|z-y _{1}|+|z-y_{2}|)^{2n-\beta _{2}}}+ \frac{2^{-k}}{(|z-y_{1}|+|z-y_{2}|)^{2n- \beta _{2}}} \biggr) \\ &{}\times\bigl\vert f_{1}(y_{1})f_{2}(y_{2}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}}\frac{1}{|Q|^{1+\beta _{2}/ n-1/ p}} \\ &{} \times \int _{Q} \int _{Q^{*}} \int _{\mathbb{R}^{n}\setminus Q^{*}}\frac{\omega (2^{-k})+2^{-k}}{(|z-y_{1}|+|z-y_{2}|)^{2n- \beta _{2}}} \bigl\vert f_{1}(y_{1})f_{2}(y_{2}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|^{\beta _{2}/n-1/ p}} \int _{Q^{*}} \bigl\vert f _{1}(y_{1}) \bigr\vert \,dy_{1}\sum_{k=1}^{\infty } \frac{\omega (2^{-k})+2^{-k}}{|2^{k+3} \sqrt{n}Q |^{2-\beta _{2} /n}} \\ &{}\times \int _{2^{k+3}\sqrt{n}Q \setminus 2^{k+2}\sqrt{n}Q } \bigl\vert f_{2}(y_{2}) \bigr\vert \,dy _{2} \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}} \sum_{k=1}^{\infty } \bigl( \omega \bigl(2^{-k}\bigr)+2^{-k} \bigr)2^{-kn(1- \beta _{2}/n+1/p_{2})} \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}}, \end{aligned}$$

where we have used assumption (1.5) and the inequality $1-\beta _{2}/n +1/p_{2}>0$.

Thus $M_{2}\lesssim \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2}\|_{L^{p_{2}}}$. Similarly, $M_{3}\lesssim \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b _{2}\|_{\dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2}\|_{L ^{p_{2}}}$.

We deal with $M_{4}$ as follows:

$$\begin{aligned} M_{4} \lesssim& \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\bigl(b_{1}(z)-\lambda _{1} \bigr) \bigl(b_{2}(z)-\lambda _{2}\bigr) \\ &{} \times K_{\mu ,\eta }(z,y_{1},y_{2})f_{1}(y_{1})f_{2}(y_{2}) \,dy_{1}\,dy _{2} \biggr\vert \,dz \\ &{} + \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\bigl(b_{1}(z)-\lambda _{1} \bigr) \bigl(b_{2}(y_{2})-\lambda _{2}\bigr) \\ &{} \times \bigl[K_{\mu ,\eta }(z,y_{1},y_{2})-K_{\mu ,\eta }(x_{Q},y_{1},y _{2})\bigr]f_{1}(y_{1})f_{2}(y_{2}) \,dy_{1}\,dy_{2} \biggr\vert \,dz \\ &{} + \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\bigl(b_{1}(y_{1})- \lambda _{1}\bigr) \bigl(b_{2}(z)-\lambda _{2}\bigr) \\ &{} \times \bigl[K_{\mu ,\eta }(z,y_{1},y_{2})-K_{\mu ,\eta }(x_{Q},y_{1},y _{2})\bigr]f_{1}(y_{1})f_{2}(y_{2}) \,dy_{1}\,dy_{2} \biggr\vert \,dz \\ &{} + \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}}\bigl(b_{1}(y_{1})- \lambda _{1}\bigr) \bigl(b_{2}(y_{2})-\lambda _{2}\bigr) \\ &{} \times \bigl[K_{\mu ,\eta }(z,y_{1},y_{2})-K_{\mu ,\eta }(x_{Q},y_{1},y _{2})\bigr]f_{1}(y_{1})f_{2}(y_{2}) \,dy_{1}\,dy_{2} \biggr\vert \,dz \\ \doteq& M_{41}+M_{42}+M_{43}+M_{44}. \end{aligned}$$

By Minkowski’s inequality and by the size condition (1.2),

$$\begin{aligned} M_{41} \lesssim& \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}} \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr) \bigl(b _{2}(z)-\lambda _{2}\bigr) \bigr\vert \\ &{} \times \bigl\vert K_{\mu ,\eta }(z,y_{1},y_{2}) \bigr\vert \bigl\vert f_{1}(y _{1})f_{2}(y_{2}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}} \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr) \bigl(b _{2}(z)-\lambda _{2}\bigr) \bigr\vert \\ &{} \times \frac{1}{(|z-y_{1}|+|z-y_{2}|)^{2n}} \bigl\vert f_{1}(y_{1})f _{2}(y_{2}) \bigr\vert \,dy_{1} \,dy_{2}\,dz \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}}. \end{aligned}$$

Using Minkowski’s inequality along with Lemma 3.1, we obtain

$$\begin{aligned} M_{42} \lesssim& \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}} \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr) \bigl(b _{2}(y_{2})-\lambda _{2}\bigr) \bigr\vert \\ &{} \times \bigl\vert K_{\mu ,\eta }(z,y_{1},y_{2})-K_{\mu ,\eta }(x _{Q},y_{1},y_{2}) \bigr\vert \bigl\vert f_{1}(y_{1})f_{2}(y_{2}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|^{\beta _{2}/ n-1/ p}} \sum_{k=1}^{ \infty } \int _{2^{k+3}\sqrt{n}Q \setminus 2^{k+2}\sqrt{n}Q } \frac{|f _{1}(y_{1})|}{|y_{1}-x_{Q}|^{n}}\,dy_{1} \\ &{} \times \sum_{k=1}^{\infty } \int _{2^{k+3}\sqrt{n}Q \setminus 2^{k+2}\sqrt{n}Q } \frac{|f_{2}(y _{2})| (\omega (2^{-k})+\frac{|z-x_{Q}|}{|x_{Q}-y_{1}|+|x_{Q}-y _{2}|} )}{|y_{2}-x_{Q}|^{n-\beta _{2}}}\,dy_{2} \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|^{\beta _{2}/ n-1/ p}} \sum_{k=1}^{ \infty } \frac{1}{|2^{k+3}\sqrt{n}Q|} \int _{2^{k+3}\sqrt{n}Q}f _{1}(y_{1})\,dy_{1} \\ &{} \times \sum_{k=1}^{\infty } \bigl(\omega \bigl(2^{-k}\bigr)+2^{-k} \bigr) \frac{1}{|2^{k+3}\sqrt{n}Q|^{1-\beta _{2}/n}} \int _{2^{k+3}\sqrt{n}Q}f _{2}(y_{2}) \,dy_{2} \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}} \sum_{k=1}^{\infty } \bigl( \omega \bigl(2^{-k}\bigr)+2^{-k} \bigr)2^{kn(\beta _{2}/ n-1/ p)} \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}}, \end{aligned}$$

where we have used assumption (1.5) and the inequality $0<\beta -n/ p<1$.

Similarly, $M_{43}\lesssim \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b _{2}\|_{\dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2}\|_{L ^{p_{2}}}$.

Now we estimate $M_{44}$:

$$\begin{aligned} M_{44} \lesssim& \frac{1}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sup_{\eta } \int _{(\mathbb{R}^{n}\setminus Q^{*})^{2}} \bigl\vert \bigl(b_{1}(y_{1})- \lambda _{1}\bigr) \bigl(b _{2}(y_{2})-\lambda _{2}\bigr) \bigr\vert \\ &{} \times \bigl\vert K_{\mu ,\eta }(z,y_{1},y_{2})-K_{\mu ,\eta }(x _{Q},y_{1},y_{2}) \bigr\vert \bigl\vert f_{1}(y_{1})f_{2}(y_{2}) \bigr\vert \,dy_{1}\,dy_{2}\,dz \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|^{1+\beta / n-1/ p}} \int _{Q} \sum_{k=1} ^{\infty } \int _{(2^{k+3}\sqrt{n}Q)^{2} \setminus (2^{k+2}\sqrt{n}Q)^{2} } \frac{|f_{1}(y_{1})|}{|y_{2}-x _{Q}|^{2n-\beta _{1}-\beta _{2}}} \\ &{} \times \biggl(\omega \biggl(\frac{|z-x_{Q}|}{|y_{2}-x_{Q}|}\biggr)+\frac{|z-x _{Q}|}{|x_{Q}-y_{1}|+|x_{Q}-y_{2}|} \biggr)\,dy_{1}\,dy_{2}\,dz \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}} \sum_{k=1}^{\infty } \bigl( \omega \bigl(2^{-k}\bigr)+2^{-k} \bigr)2^{kn(\beta / n-1/ p)} \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \|f_{1}\|_{L^{p_{1}}}\|f_{2} \|_{L^{p_{2}}}. \end{aligned}$$

Putting the estimates for $M_{1}$, $M_{2}$, $M_{3}$, $M_{4}$ together, we get (4.1). Thus the proof of Theorem 1.2 is completed. □

Proof of Theorem 1.3.

Proof

We use the same notations as in previous sections. Then we have

$$\begin{aligned} &\frac{1}{ \vert Q \vert ^{1+\beta / n}} \int _{Q} \bigl\vert U^{*}_{\varPi \vec{b}}( \vec{f}) (z)-\bigl(U ^{*}_{\varPi \vec{b}}(\vec{f})\bigr)_{Q} \bigr\vert \,dz \\ &\quad \lesssim \frac{1}{ \vert Q \vert ^{1+\beta / n}} \int _{Q} \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr) \bigl(b_{2}(z)-\lambda _{2} \bigr)U^{*}(f_{1},f_{2}) (z) \bigr\vert \,dz \\ &\qquad {} + \frac{ 1}{ \vert Q \vert ^{1+\beta / n}} \int _{Q} \bigl\vert \bigl(b_{2}(z)-\lambda _{2}\bigr)U ^{*,1}_{\vec{b}}(f_{1},f_{2}) (z)-c_{1} \bigr\vert \,dz \\ &\qquad {} + \frac{ 1}{ \vert Q \vert ^{1+\beta / n}} \int _{Q} \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr)U ^{*,2}_{\vec{b}}(f_{1},f_{2}) (z)-c_{2} \bigr\vert \,dz \\ &\qquad {} + \frac{ 1}{ \vert Q \vert ^{1+\beta / n}} \int _{Q} \bigl\vert U^{*}\bigl((b_{1}- \lambda _{1})f _{1},(b_{2}-\lambda _{2})f_{2}\bigr) (z)-c_{3} \bigr\vert \,dz \\ &\quad \doteq N_{1}+N_{2}+N_{3}+N_{4}. \end{aligned}$$

For $1< r< p$, by the Hölder inequality, we have

$$ N_{1}\lesssim \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}}M_{r}\bigl(U^{*}(f_{1},f_{2}) \bigr) (x). $$

In what follows, we just give an estimate for $N_{2}$, since $N_{3}$ and $N_{4}$ can be estimated in a similar way. Let

$$\begin{aligned} c_{1}' =&\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}|Q|^{\beta _{2}/ n} \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n})^{2}}\bigl(b_{1}(y_{1})-\lambda _{1}\bigr)K_{\mu ,\eta }(x_{Q},y_{1},y_{2}) f_{1}^{\infty }(y_{1})f_{2} ^{0}(y_{2})\,dy_{1}\,dy_{2} \biggr\vert \\ &{}+\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}|Q|^{\beta _{2}/ n} \sup _{ \eta } \biggl\vert \int _{(\mathbb{R}^{n})^{2}}\bigl(b_{1}(y_{1})-\lambda _{1}\bigr)K_{ \mu ,\eta }(x_{Q},y_{1},y_{2}) f_{1}^{0}(y_{1})f_{2}^{\infty }(y_{2}) \,dy _{1}\,dy_{2} \biggr\vert \\ &{}+\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}|Q|^{\beta _{2}/ n} \sup _{ \eta } \biggl\vert \int _{(\mathbb{R}^{n})^{2}}\bigl(b_{1}(y_{1})-\lambda _{1}\bigr)K_{ \mu ,\eta }(x_{Q},y_{1},y_{2}) f^{\infty }_{1}(y_{1})f^{\infty }_{2}(y _{2})\,dy_{1}\,dy_{2} \biggr\vert . \end{aligned}$$

Observe that

$$\begin{aligned} U^{*,1}_{\vec{b}}(f_{1},f_{2}) (z) < & \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr) \bigr\vert U^{*}(f _{1},f_{2}) (z)+U^{*} \bigl((b_{1}-\lambda _{1})f_{1}^{0},f_{2}^{0} \bigr) (z) \\ &{} + \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n})^{2}}\bigl(b_{1}(y_{1})- \lambda _{1}\bigr)K_{\mu ,\eta }(x,y_{1},y_{2}) f_{1}^{\infty }(y_{1})f_{2} ^{0}(y_{2})\,dy_{1}\,dy_{2} \biggr\vert \\ &{} + \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n})^{2}}\bigl(b_{1}(y_{1})- \lambda _{1}\bigr)K_{\mu ,\eta }(x,y_{1},y_{2}) f_{1}^{0}(y_{1})f_{2}^{ \infty }(y_{2}) \,dy_{1}\,dy_{2} \biggr\vert \\ &{} + \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n})^{2}}\bigl(b_{1}(y_{1})- \lambda _{1}\bigr)K_{\mu ,\eta }(x,y_{1},y_{2}) f^{\infty }_{1}(y_{1})f^{ \infty }_{2}(y_{2}) \,dy_{1}\,dy_{2} \biggr\vert . \end{aligned}$$

From this we have

$$\begin{aligned} N_{2} \lesssim& \frac{1}{|Q|^{1+\beta / n}} \int _{Q} \bigl\vert \|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}}|Q|^{\beta _{2}/ n} U^{*,1}_{\vec{b}}(f_{1},f _{2}) (z)-c_{1}' \bigr\vert \,dz \\ \lesssim& \frac{\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}}{|Q|^{1+\beta _{1}/ n}} \int _{Q} \bigl\vert \bigl(b_{1}(z)-\lambda _{1}\bigr) \bigr\vert U^{*}(f_{1},f_{2}) (z)\,dz + \frac{\|b _{2}\|_{\dot{\wedge }_{\beta _{2}}}}{|Q|^{1+\beta _{1}/ n}} \int _{Q} U ^{*}\bigl((b_{1}-\lambda _{1})f_{1}^{0},f_{2}^{0} \bigr) (z)\,dz \\ &{} + \frac{\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}}{|Q|^{1+\beta _{1}/ n}} \int _{Q} \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n})^{2}}\bigl(b_{1}(y _{1})-\lambda _{1}\bigr) \\ &{} \times \bigl[K_{\mu ,\eta }(z,y_{1},y_{2})- K_{\mu ,\eta }(x_{Q},y_{1},y _{2})\bigr] f_{1}^{0}(y_{1})f_{2}^{\infty }(y_{2}) \,dy_{1}\,dy_{2} \biggr\vert \,dz \\ &{} + \frac{\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}}{|Q|^{1+\beta _{1}/ n}} \int _{Q} \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n})^{2}}\bigl(b_{1}(y _{1})-\lambda _{1}\bigr) \\ &{} \times \bigl[K_{\mu ,\eta }(z,y_{1},y_{2})- K_{\mu ,\eta }(x_{Q},y_{1},y _{2})\bigr] f_{1}^{\infty }(y_{1})f_{2}^{0}(y_{2}) \,dy_{1}\,dy_{2} \biggr\vert \,dz \\ &{} + \frac{\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}}{|Q|^{1+\beta _{1}/ n}} \int _{Q} \sup_{\eta } \biggl\vert \int _{(\mathbb{R}^{n})^{2}}\bigl(b_{1}(y _{1})-\lambda _{1}\bigr) \\ &{} \times \bigl[K_{\mu ,\eta }(z,y_{1},y_{2})- K_{\mu ,\eta }(x_{Q},y_{1},y _{2})\bigr] f_{1}^{\infty }(y_{1})f_{2}^{\infty }(y_{2}) \,dy_{1}\,dy_{2} \biggr\vert \,dz \\ \doteq& N_{21}+N_{22}+N_{23}+N_{24}+N_{25}. \end{aligned}$$

By the Hölder inequality,

$$\begin{aligned} N_{21} &\lesssim \|b_{2}\|_{\dot{\wedge }_{\beta _{2}}} \biggl( \frac{1}{|Q|^{r' \beta _{1}/ n+1}} \int _{Q} \bigl\vert b_{1}(z)-\lambda _{1} \bigr\vert ^{r'}\,dz \biggr)^{1/ r'} \biggl( \frac{1}{|Q|} \int _{Q} \bigl\vert U^{*} (f_{1},f_{2}) (z) \bigr\vert ^{r}\,dz \biggr) ^{1/ r} \\ &\lesssim \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}}M_{r}\bigl( U^{*} (f_{1},f_{2}) \bigr) (x). \end{aligned}$$

Take $1< q_{1}< p_{1}$, $1< q_{2}< p_{2}$, and $1< q<\infty $ such that $1/q=1/q_{1}+1/q_{2}$. Then by the Hölder inequality and by Lemma 3.2,

$$\begin{aligned} N_{22} &\lesssim \frac{\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}}{|Q|^{ \beta _{1}/ n+1/ q}} \biggl( \int _{Q} \bigl\vert U^{*} \bigl((b_{1}- \lambda _{1})f_{1} ^{0},f_{2}^{0} \bigr) (z) \bigr\vert ^{q}\,dz \biggr)^{1/ q} \\ &\lesssim \frac{\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}}{|Q|^{\beta _{1}/ n+1/ q}} \bigl\Vert (b_{1}-\lambda _{1})f_{1}^{0} \bigr\Vert _{L^{q_{1}}} \bigl\Vert f_{2}^{0} \bigr\Vert _{L ^{q_{2}}} \\ &\lesssim \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} M_{q_{1}}(f_{1}) (x)M_{q_{2}}(f_{2}) (x). \end{aligned}$$

For any $y_{2}\in (Q^{*})^{c}$, we have $|y_{2}-x_{Q}|\sim |y_{2}-z|$ and $|z-x_{Q}|\leq \frac{|y_{2}-z|}{2}\leq \frac{1}{2} \max \{|z-y _{1}|, |z-y_{2}|\}$. Then by Minkowski’s inequality and by Lemma 3.1,

$$\begin{aligned} N_{23} \lesssim& \frac{\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}}{|Q|^{1+ \beta _{1}/ n}} \int _{Q} \sup_{\eta } \int _{(\mathbb{R}^{n})^{2}} \bigl\vert \bigl(b_{1}(y _{1})-\lambda _{1}\bigr) \bigr\vert \\ &{} \times \bigl\vert K_{\mu ,\eta }(z,y_{1},y_{2})- K_{\mu ,\eta }(x _{Q},y_{1},y_{2}) \bigr\vert \bigl\vert f_{1}^{0}(y_{1})f_{2}^{\infty }(y_{2}) \bigr\vert \,dy_{1}\,dy _{2} \,dz \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|} \int _{Q} \int _{(\mathbb{R}^{n})^{2}}\frac{|f _{1}^{0}(y_{1})f_{2}^{\infty }(y_{2})|}{(|z-y_{1}|+|z-y_{2}|)^{2n}} \\ &{} \times \biggl(\omega \biggl(\frac{|z-x_{Q}|}{ |z-y_{1}|+|z-y_{2}|}\biggr)+\frac{|z-x _{Q}|}{|z-y_{1}|+|z-y_{2}|} \biggr)\,dy_{1}\,dy_{2} \,dz \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|} \int _{Q} \int _{Q^{*}} \bigl|f_{1}(y_{1})\bigr| \int _{(Q^{*})^{c} }\frac{|f_{2}(y_{2})|}{|z-y_{2}|^{2n}} \\ &{} \times \biggl(\omega \biggl(\frac{|z-x_{Q}|}{ |z-y_{2}|}\biggr)+\frac{|z-x _{Q}|}{|z-y_{1}|+|z-y_{2}|} \biggr)\,dy_{2} \,dy_{1}\,dz \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|} \int _{Q} \int _{Q^{*}} \bigl\vert f_{1}(y_{1}) \bigr\vert \\ &{}\times\sum_{k=1}^{\infty } \int _{2^{k+3}\sqrt{n} Q\setminus 2^{k+2} \sqrt{n} Q}\frac{ (\omega (2^{-k})+2^{-k} )|f_{2}(y_{2})|}{|2^{k} \sqrt{n}Q|^{2}} \,dy_{2} \,dy_{1}\,dz \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \frac{1}{|Q|} \int _{Q^{*}} \bigl\vert f_{1}(y_{1}) \bigr\vert \,dy _{1} \\ &{} \times \sum_{k=1}^{\infty } \frac{|Q|}{|2^{k+3}\sqrt{n} Q|} \bigl(\omega \bigl(2^{-k}\bigr)+2^{-k} \bigr)\frac{1}{|2^{k+3}\sqrt{n} Q|} \int _{2^{k+3}\sqrt{n} Q\setminus 2^{k+2}\sqrt{n} Q} \bigl\vert f_{2}(y_{2}) \bigr\vert \,dy_{2} \\ \lesssim& C\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} M(f_{1}) (x) M(f_{2}) (x). \end{aligned}$$

Similarly, $N_{24}\lesssim \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b _{2}\|_{\dot{\wedge }_{\beta _{2}}} M(f_{1})(x) M(f_{2})(x)$.

For any $y_{1},y_{2}\in (Q^{*})^{c}$, we have $|y_{1}-x_{Q}|\sim |y _{1}-z|$ and $|y_{2}-x_{Q}|\sim |y_{2}-z|$. Then by Minkowski’s inequality and by Lemma 3.1,

$$\begin{aligned} N_{25} \lesssim& \frac{\|b_{2}\|_{\dot{\wedge }_{\beta _{2}}}}{|Q|^{1+ \beta _{1}/ n}} \int _{Q} \sup_{\eta } \int _{(\mathbb{R}^{n})^{2}} \bigl\vert \bigl(b_{1}(y _{1})-\lambda _{1}\bigr) \bigr\vert \\ &{} \times \bigl\vert K_{\mu ,\eta }(z,y_{1},y_{2})- K_{\mu ,\eta }(x _{Q},y_{1},y_{2}) \bigr\vert \bigl\vert f_{1}^{\infty }(y_{1})f_{2}^{\infty }(y_{2}) \bigr\vert \,dy _{1}\,dy_{2} \,dz \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|^{1+\beta _{1}/ n}} \int _{Q} \int _{(\mathbb{R}^{n})^{2}}\frac{|y_{1}-x_{Q}|^{\beta _{1}}|f_{1}^{0}(y _{1})f_{2}^{\infty }(y_{2})|}{(|z-y_{1}|+|z-y_{2}|)^{2n}} \\ &{} \times \biggl(\omega \biggl(\frac{|z-x_{Q}|}{ |z-y_{1}|+|z-y_{2}|}\biggr)+\frac{|z-x _{Q}|}{|z-y_{1}|+|z-y_{2}|} \biggr)\,dy_{1}\,dy_{2} \,dz \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|^{1+\beta _{1}/ n}} \int _{Q} \int _{((Q^{*})^{c})^{2} }\frac{ |f_{1}(y_{1})||f_{2}(y_{2})|}{|y_{1}-x _{Q}|^{2n-\beta _{1}}} \\ &{}\times\biggl(\omega \biggl( \frac{|z-x_{Q}|}{ |z-y_{1}|}\biggr)+\frac{|z-x _{Q}|}{|z-y_{1}|+|z-y_{2}|} \biggr)\,dy_{1} \,dy_{2}\,dz \\ \lesssim& \frac{\|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2}\|_{ \dot{\wedge }_{\beta _{2}}}}{|Q|^{1+\beta _{1}/ n}} \int _{Q} \sum_{k=1} ^{\infty } \int _{2^{k+3}\sqrt{n} Q\setminus 2^{k+2}\sqrt{n} Q}\frac{|f _{1}(y_{1})||f_{2}(y_{2})|}{|y_{1}-x_{Q}|^{2n-\beta _{1}}} \\ &{} \times \biggl(\omega \biggl(\frac{|z-x_{Q}|}{|z-y_{1}|}\biggr)+\frac{|z-x _{Q}|}{|z-y_{1}|+|z-y_{2}|} \biggr)\,dy_{1}\,dy_{2}\,dz \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} \sum_{k=1}^{\infty } \frac{2^{k\beta _{1}} (\omega (2^{-k})+2^{-k} )}{|2^{k+3}\sqrt{n} Q|^{2}} \int _{2^{k+3}\sqrt{n} Q\setminus 2^{k+2}\sqrt{n} Q} \bigl\vert f_{1}(y_{1}) \bigr\vert \,dy_{1} \\ &{} \times \int _{2^{k+3}\sqrt{n} Q\setminus 2^{k+2}\sqrt{n} Q} \bigl\vert f _{2}(y_{2}) \bigr\vert \,dy_{2} \\ \lesssim& \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}} M(f_{1}) (x) M(f_{2}) (x), \end{aligned}$$

where assumption (1.6) was used.

Combining the estimates for $N_{21}$, $N_{22}$, $N_{23}$, $N_{24}$, $N_{25}$, we get

$$ N_{2} \lesssim \|b_{1}\|_{\dot{\wedge }_{\beta _{1}}}\|b_{2} \|_{ \dot{\wedge }_{\beta _{2}}}\bigl\{ M_{r}\bigl(U^{*}(f_{1},f_{2}) \bigr) (x)+M_{q_{1}}(f _{1}) (x)M_{q_{2}}(f_{2}) (x)+ M(f_{1}) (x) M(f_{2}) (x)\bigr\} . $$

The rest of the proof is the same as in [22], and hence we proved Theorem 1.3. □

References

1.
Anh, B.T., Duong, X.T.: On commutators of vector BMO functions and multilinear singular integrals with non-smooth kernels. J. Math. Anal. Appl. 371, 80–84 (2010)
MathSciNet Article Google Scholar
2.
Chen, S., Wu, H.: Multiple weighted estimates for commutators of multilinear singular integrals with non-smooth kernels. J. Math. Anal. Appl. 396, 888–903 (2012)
MathSciNet Article Google Scholar
3.
Chen, X.: Weighted estimates for maximal operator of multilinear singular integral. Bull. Pol. Acad. Sci., Math. 58(2), 129–135 (2010)
MathSciNet Article Google Scholar
4.
Chen, X., Xue, Q.: Weighted estimates for a class of multilinear fractional type operators. J. Math. Anal. Appl. 362(2), 355–373 (2010)
MathSciNet Article Google Scholar
5.
Coifman, R.R., Meyer, Y.: On commutators of singular integrals and bilinear singular integrals. Trans. Am. Math. Soc. 212, 315–331 (1975)
MathSciNet Article Google Scholar
6.
Coifman, R.R., Meyer, Y.: Commutateurs d’intégrales singulières et opérateurs multilinéaires. Ann. Inst. Fourier (Grenoble) 28, 177–202 (1978)
MathSciNet Article Google Scholar
7.
Coifman, R.R., Meyer, Y.: Au-delà des opérateurs pseudo-différentiels. Asterisque, vol. 57 (1978)
Google Scholar
8.
Duong, X.T., McIntosh, A.: Singular integral operators with non-smooth kernels on irregular domains. Rev. Mat. Iberoam. 15, 233–265 (1999)
MathSciNet Article Google Scholar
9.
Grafakos, L., He, D., Honzík, P.: Rough bilinear singular integrals. Adv. Math. 326, 54–78 (2018)
MathSciNet Article Google Scholar
10.
Grafakos, L., Liu, L., Yang, D.: Multiple weighted norm inequalities for maximal multilinear singular integrals with non-smooth kernels. Proc. R. Soc. Edinb., Sect. A 141, 755–775 (2011)
Article Google Scholar
11.
Grafakos, L., Torres, R.H.: Multilinear Calderón–Zygmund theory. Adv. Math. 165, 124–164 (2002)
MathSciNet Article Google Scholar
12.
Grafakos, L., Torres, R.H.: Maximal operator and weighted norm inequalities for multilinear singular integrals. Indiana Univ. Math. J. 51(5), 1261–1276 (2002)
MathSciNet Article Google Scholar
13.
Hormozi, M., Si, Z., Xue, Q.: On general multilinear square function with non-smooth kernels. Bull. Sci. Math. 149, 1–22 (2018)
MathSciNet Article Google Scholar
14.
Lerner, A.K., Ombrosi, S., Pérez, C., Torres, R.H., Trujillo-González, R.: New maximal functions and multiple weights for the multilinear Calderón–Zygmund theory. Adv. Math. 220(4), 1222–1264 (2009)
MathSciNet Article Google Scholar
15.
Lu, G., Zhang, P.: Multilinear Calderón–Zygmund operators with kernels of Dini’s type and applications. Nonlinear Anal. 107, 92–117 (2014)
MathSciNet Article Google Scholar
16.
Mo, H., Lu, S.: Commutators generated by multilinear Calderón–Zygmund type singular integral and Lipschitz functions. Acta Math. Sci. Ser. B Engl. Ed. 40(3), 903–912 (2014)
MATH Google Scholar
17.
Paluszyński, M.: Characterization of the Besov spaces via the commutator operator of Coifman, Rochberg and Weiss. Indiana Univ. Math. J. 44, 1–18 (1995)
MathSciNet Article Google Scholar
18.
Pérez, C., Pradolini, G., Torres, R.H., Trujillo-González, R.: End-point estimates for iterated commutators of multilinear singular integrals. Bull. Lond. Math. Soc. 46(1), 26–42 (2014)
MathSciNet Article Google Scholar
19.
Si, Z., Xue, Q.: Weighted estimates for commutators of vector-valued maximal multilinear operators. Nonlinear Anal. 96, 96–108 (2014)
MathSciNet Article Google Scholar
20.
Si, Z., Xue, Q.: A note on vector-valued maximal multilinear operators and their commutators. Math. Inequal. Appl. 19(1), 249–262 (2016)
MathSciNet MATH Google Scholar
21.
Si, Z., Xue, Q., Yabuta, K.: On the bilinear square Fourier multiplier operators and related square functions. Sci. China Math. 60(8), 1477–1502 (2017)
MathSciNet Article Google Scholar
22.
Sun, J., Zhang, P.: Commutators of multilinear Calderón–Zygmund operators with Dini type kernels on some function spaces. J. Nonlinear Sci. Appl. 10(9), 5002–5019 (2017)
MathSciNet Article Google Scholar
23.
Wang, W., Xu, J.: Commutators of multilinear singular integrals with Lipschitz functions. Commun. Math. Res. 25(4), 318–328 (2009)
MathSciNet MATH Google Scholar
24.
Xue, Q.: Weighted estimates for the iterated commutators of multilinear maximal and fractional type operators. Stud. Math. 217(2), 97–122 (2013)
MathSciNet Article Google Scholar

Download references

Acknowledgements

Not applicable.

Availability of data and materials

Not applicable.

Funding

This work was supported partly by the Key Research Project for Higher Education in Henan Province (No. 19A110017) and the National Natural Science Foundation of China (Grant Nos. 11401175, 11571160, and 11471176).

Author information

Affiliations

School of Mathematics and Information Science, Henan Polytechnic University, Jiaozuo, People’s Republic of China
Zengyan Si
Department of Mathematics, Mudanjiang Normal University, Mudanjiang, People’s Republic of China
Pu Zhang

Authors

Zengyan Si
View author publications
You can also search for this author in PubMed Google Scholar
Pu Zhang
View author publications
You can also search for this author in PubMed Google Scholar

Contributions

Both authors contributed equally to the manuscript and read and approved the final manuscript.

Corresponding author

Correspondence to Zengyan Si.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is 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

Cite this article

Si, Z., Zhang, P. Iterated commutators of multilinear Calderón–Zygmund maximal operators on some function spaces. J Inequal Appl 2019, 100 (2019). https://doi.org/10.1186/s13660-019-2051-5

Download citation

Received: 13 February 2019
Accepted: 02 April 2019
Published: 11 April 2019
DOI: https://doi.org/10.1186/s13660-019-2051-5

MSC

42B25
47G10

Keywords

Maximal multilinear operators
Calderón–Zygmund operator
Commutators