Skip to main content

Advertisement

You are viewing the new article page. Let us know what you think. Return to old version

Research | Open | Published:

Bilinear Calderón-Zygmund operators on Sobolev, BMO and Lipschitz spaces

Abstract

In this paper, the authors establish the necessary and sufficient condition such that the bilinear Calderón-Zygmund operators are bounded from $Lip_{\alpha}(\mathbb{R}^{n})\times L^{n/\alpha} (\mathbb{R}^{n})$ to $BMO(\mathbb{R}^{n})$ space and from $Lip_{\alpha}(\mathbb{R}^{n})\times L^{p}(\mathbb{R}^{n})$ to $Lip_{\alpha-n/p}(\mathbb{R}^{n})$ space. As an application, the bilinear Riesz transform is a good example which meets the related conditions.

Furthermore, the authors also establish another necessary and sufficient condition for the bilinear Calderón-Zygmund operators to be bounded from $Lip_{\alpha}(\mathbb{R}^{n})\times BMO(\mathbb{R}^{n})$ to $Lip_{\alpha}(\mathbb{R}^{n})$ space, from $Lip_{\alpha_{1}}(\mathbb{R}^{n})\times Lip_{\alpha_{2}}(\mathbb {R}^{n})$ to $Lip_{\alpha_{1}+\alpha_{2}}(\mathbb{R}^{n})$ space, and from $Lip_{\alpha}(\mathbb{R}^{n})\times \dot{B}^{s}(\mathbb{R}^{n})$ to $\dot{B}^{s-\alpha}(\mathbb{R}^{n})$ space.

Introduction

It is well known that standard singular integral theory has been going on for a long period and plays an important role in the study of the classical harmonic analysis. Many authors have considered the boundedness of generalized singular integrals (non-convolution operators)

$$Tf(x)= \int_{\mathbb{R}^{n}}K(x,y)f(y)\,dy, $$

on several function spaces (see [16]). In recent years, multilinear singular integrals of Calderón-Zygmund type and fractional integral type have attracted a lot of attention (see [714]). Many results which parallel the linear theory of classical Calderón-Zygmund operators are obtained. The study of multilinear operators is not motivated by a mere quest to generalize the theory of linear operators but rather by their natural appearance in analysis.

Let T be a multilinear operator initially defined on the m-fold product of Schwartz spaces and taking values in the space of tempered distributions,

$$T: S \bigl(\mathbb{R}^{n} \bigr)\times\cdots\times S \bigl( \mathbb {R}^{n} \bigr)\rightarrow S' \bigl( \mathbb{R}^{n} \bigr). $$

The m-linear Calderón-Zygmund operators T is defined by

$$T(f_{1},\ldots,f_{m}) (x)= \int_{(\mathbb {R}^{n})^{m}}K(x,y_{1},\ldots,y_{m})f_{1}(y_{1}) \cdot\cdot \cdot f_{m}(y_{m})\,dy_{1}\cdots \,dy_{m}, $$

where $K(x,y_{1},\ldots,y_{m})$ is a locally integrable function defined away from the diagonal $x=y_{1}=\cdots=y_{m}$ in $(\mathbb{R}^{n})^{m+1}$, and it satisfies the following estimates:

$$\begin{aligned}& \bigl|K(x,y_{1},\ldots,y_{m})\bigr|\leq \frac{A}{(|x-y_{1}|+\cdots+|x-y_{m}|)^{mn}}, \end{aligned}$$
(1.1)
$$\begin{aligned}& \begin{aligned}[b] &\bigl|K(x,y_{1}, \ldots,y_{j},\ldots ,y_{m})-K \bigl(x',y_{1}, \ldots,y_{j},\ldots,y_{m} \bigr)\bigr|\\ &\quad\leq\frac{A|x-x'|^{\delta}}{(|x-y_{1}|+\cdots +|x-y_{m}|)^{mn+\delta}}, \end{aligned} \end{aligned}$$
(1.2)

whenever $|x-x'|\leq\frac{1}{2}\mathop{\max} _{1\leq j\leq m}|x-y_{j}|$ and also for each j

$$\begin{aligned} &\bigl|K(x,y_{1}, \ldots,y_{j},\ldots ,y_{m})-K \bigl(x,y_{1}, \ldots,y'_{j},\ldots,y_{m} \bigr)\bigr| \\ &\quad\leq\frac{A|y_{j}-y'_{j}|^{\delta}}{(|x-y_{1}|+\cdots +|x-y_{m}|)^{mn+\delta}}, \end{aligned}$$
(1.3)

whenever $|y_{j}-y'_{j}|\leq\frac{1}{2}\mathop{\max} _{1\leq j\leq m}|x-y_{j}|$. The class of all functions satisfying (1.1), (1.2), and (1.3) with parameters m and δ will be denoted by $m\mbox{-}\operatorname{CZK}(A,\delta)$. The m-linear Calder’on-Zygmund operator T with $m\mbox{-}\operatorname{CZK}(A,\delta)$ will be denoted by $m\mbox{-}\operatorname{CZO}(A,\delta)$.

In 2001, Grafakos and Torres in [10] have obtained the boundedness properties of operators T with kernels K in the class $m\mbox{-}\operatorname{CZK}(A,\delta)$ from a product of $L^{p}$ spaces into another Lebesgue space, endpoint weak type estimates, interpolation, a multilinear T1 theorem and a variety of results regarding multilinear multiplier operators. In [11], it was proved that T is bounded from $H^{p_{1}}\times\cdots\times H^{p_{m}}$ to $L^{p}$ with $\frac {1}{p}=\sum^{m}_{j=1}\frac{1}{p_{j}}$ by showing that $\|T(a_{1},\ldots,a_{m})\|_{L^{p}}\leq C$, where $a_{j}$ are $H^{p_{j}}$-atoms. However, some other classical function spaces are not still considered for these operators with $m\geq2$, although many remarkable results have been established for them in the case $m=1$; see [2, 3, 5, 6].

Next, we define a class of singular integrals which we will consider in this paper, and we establish the necessary and sufficient condition such that this operators are bounded on BMO, Lipschitz, and Sobolev spaces. As an application, the bilinear Riesz transform in the first variable is a good example which meets the related conditions.

Definitions and main results

We first give the definition of bilinear Calderón-Zygmund operators.

Definition 2.1

Let $0<\alpha<\delta\leq1$, for $f_{1}\in Lip_{\alpha}(\mathbb {R}^{n})$ and the bounded function $f_{2}$, we define

$$ \tilde{T_{\epsilon}}(f_{1},f_{2}) (x)= \int_{\mathbb{R}^{n}} \int_{\mathbb{R}^{n}} \bigl(K_{\epsilon }(x,y_{1},y_{2})-K_{1}(x_{0},y_{1},y_{2}) \bigr)f_{1}(y_{1})f_{2}(y_{2})\,dy_{1}\,dy_{2}, $$
(2.1)

where $x_{0}$ is a fixed point in $\mathbb{R}^{n}$, the singular kernels $K(x,y_{1},y_{2})$ satisfying (1.1), (1.2), (1.3),

$$ \lim_{\epsilon\rightarrow0} \int_{\epsilon< |x-y_{1}|< 1} K_{f_{2}}(x,y_{1})\,dy_{1} \mbox{ exists for almost every point } x, $$
(2.2)

and for any $0< r< R$,

$$ \biggl| \int_{r< |x-y_{1}|< R} \int _{r< |x-y_{2}|< R}K(x,y_{1},y_{2})\,dy_{1}\,dy_{2} \biggr|\leq C, $$
(2.3)

here

$$K_{\epsilon}(x,y_{1},y_{2})=K(x,y_{1},y_{2}) \chi_{\{|x-y_{1}|>\epsilon\} }(y_{1})\chi_{\{|x-y_{2}|>\epsilon\}}(y_{2}) $$

and

$$K_{f_{2}}(x,y_{1})= \int_{\mathbb{R}^{n}}K(x,y_{1},y_{2})f_{2}(y_{2})\,dy_{2}. $$

Then we also define

$$\tilde{T}(f_{1},f_{2}) (x)=\lim_{\epsilon\rightarrow0} \tilde{T_{\epsilon }}(f_{1},f_{2}) (x). $$

Remark 2.1

(i) By [10], Lemma 2, and $f_{2}\in L^{\infty}(\mathbb{R}^{n})$, we see that $K_{f_{2}}(x,y_{1})$ is in $1\mbox{-}\operatorname{CZK} (c_{n}\|f_{2}\|_{L^{\infty }}A,\epsilon)$. Thus, condition (2.2) is also classical for singular integrals of principal value type. Condition (2.3) is a weak cancellation condition that is also present in the linear case (see [5, 15]).

(ii) It follows from the properties of $K(x,y_{1},y_{2})$ that the limit exists almost everywhere. Indeed,

$$\begin{aligned} \tilde{T_{\epsilon}}(f_{1},f_{2}) (x) =& \int_{\mathbb{R}^{n}} \int _{|x-y_{1}|< 1}K_{\epsilon }(x,y_{1},y_{2}) \bigl(f_{1}(y)-f_{1}(x) \bigr)f_{2}(y_{2})\,dy_{1}\,dy_{2}\\ &{}+ \biggl( \int_{\mathbb{R}^{n}} \int_{|x-y_{1}|< 1}K_{\epsilon }(x,y_{1},y_{2})\,dy_{1}f_{2}(y_{2})\,dy_{2} \biggr)f_{1}(x)\\ &{}+ \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{1}(x,y_{1},y_{2})-K_{1}(x_{0},y_{1},y_{2}) \bigr) \bigl(f_{1}(y_{1})-f_{1}(x) \bigr)f_{2}(y_{2})\,dy_{1}\,dy_{2}\\ &{}+ \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{1}(x,y_{1},y_{2})-K_{1}(x_{0},y_{1},y_{2}) \bigr)f_{2}(y_{2})\,dy_{1}\,dy_{2}f_{1}(x), \end{aligned}$$

where the first, third, and fourth integrals are absolutely convergent. The second integral converges by property (2.2) of kernel K.

(iii) If the functions $f_{1}$ and $f_{2}$ have compact support, then the difference between T and is the constant

$$- \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}}K_{1}(x_{0},y_{1},y_{2})f_{1}(y_{1})f_{2}(y_{2})\,dy_{1}\,dy_{2}, $$

this slight discrepancy, however, will cause no ambiguities when $T(f_{1},f_{2})$ is seen as an element of $BMO$ or $Lip_{\alpha}(\mathbb {R}^{n})$.

We recall the definitions of some classical function spaces which will be considered in this paper.

Definition 2.2

The BMO space is defined by

$$BMO \bigl(\mathbb{R}^{n} \bigr)= \biggl\{ f\in L_{\mathrm{loc}}^{1}:\|f\|_{BMO(\mathbb {R}^{n})}=\sup_{x\in\mathbb{R}^{n},r>0} \frac{1}{|B(x,r)|} \int _{B(x,r)}\bigl|f(y)-m_{B}(f)\bigr|\,dy< \infty \biggr\} , $$

where $m_{B}(f)=\frac{1}{|B|}\int_{B}f(y)\,dy$.

Definition 2.3

Let $0<\alpha<1$. The Lipschitz space is defined by

$$Lip_{\alpha} \bigl(\mathbb{R}^{n} \bigr)= \biggl\{ f:\|f \|_{Lip_{\alpha}(\mathbb {R}^{n})}=\sup_{x\neq y}\frac{|f(x)-f(y)|}{|x-y|^{\alpha}}< \infty \biggr\} . $$

Remark 2.2

Note that, for $1\leq p\leq\infty$,

$$\|f\|_{Lip_{\alpha}(\mathbb{R}^{n})}\approx\sup_{x\in\mathbb {R}^{n},r>0}\frac{1}{|B(x,r)|^{1/p+\alpha/n}} \biggl( \int _{B(x,r)}\bigl|f(y)-m_{B}(f)\bigr|^{p}\,dy \biggr)^{1/p}. $$

Thus, for $\alpha=0$, the space $Lip_{\alpha}(\mathbb{R}^{n})$ coincides with the space $BMO(\mathbb{R}^{n})$. If we identify two functions whose difference is a constant, then the BMO and the Lipschitz space will become a Banach space.

Definition 2.4

Let $0< s<1$. The homogeneous Sobolev space is defined by

$$\dot{B}^{s} \bigl(\mathbb{R}^{n} \bigr)= \biggl\{ f:\|f \|_{\dot{B}^{s}(\mathbb {R}^{n})}= \biggl( \int_{\mathbb{R}^{n}} \int_{\mathbb{R}^{n}}\frac {|f(x)-f(y)|^{2}}{|x-y|^{n+2s}}\,dx\,dy \biggr)^{1/2}< \infty \biggr\} . $$

There are two remarkable results on the Lipschitz spaces and the homogeneous Sobolev spaces boundedness of Calderón-Zygmund operators.

Proposition 2.1

([3])

Let $0<\alpha<\delta\leq1$. If T is a $\operatorname{CZO}(\delta)$ and $T1=0$, then T is bounded on $Lip_{\alpha}(\mathbb{R}^{n})$.

Proposition 2.2

([3])

Let $0< s<\delta\leq1$. If T is a $\operatorname{CZO}(\delta)$ and $T1=0$, then T is bounded on $\dot{B}^{s}(\mathbb{R}^{n})$.

Motivated by Proposition 2.1 and Proposition 2.2, we obtain the following theorems.

Theorem 2.1

Let $0<\alpha<\delta\leq1$ and can be extended to a bounded operator from $L^{p_{1}}\times L^{n/\alpha}$ into $L^{p}$, where $1< p,p_{1}<\infty$ with $1/p=1/p_{1}+\alpha/n$. The following two statements are equivalent:

  1. (i)

    For $f_{1}\in Lip_{\alpha}(\mathbb{R}^{n})$ and $f_{2}\in L^{n/\alpha}(\mathbb{R}^{n})$, we have

    $$\bigl\| \tilde{T}(f_{1},f_{2})\bigr\| _{BMO(\mathbb{R}^{n})}\lesssim \|f_{1}\| _{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\|_{L^{n/\alpha}(\mathbb{R}^{n})}. $$
  2. (ii)

    $\tilde{T}(1,f_{2})(x)\equiv0$.

Theorem 2.2

Let $0<\alpha<\delta\leq1$, $n/\alpha< p\leq\infty$. The following two statements are equivalent:

  1. (i)

    For $f_{1}\in Lip_{\alpha}(\mathbb{R}^{n})$ and $f_{2}\in L^{p}(\mathbb{R}^{n})$, we have

    $$\bigl\| \tilde{T}(f_{1},f_{2})\bigr\| _{Lip_{\alpha-n/p}(\mathbb{R}^{n})}\lesssim\| f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\|_{L^{p}(\mathbb{R}^{n})}. $$
  2. (ii)

    $\tilde{T}(1,f_{2})(x)\equiv0$.

Example

Let $R_{1}$ be the bilinear Riesz transform in the first variable

$$R_{1}(f_{1},f_{2}) (x)=p.v. \int_{\mathbb{R}} \int_{\mathbb{R}}\frac {x-y_{1}}{|(x-y_{1},x-y_{2})|^{3}}f_{1}(y_{1})f_{2}(y_{2})\,dy_{1}\,dy_{2}. $$

It is easy to see that $\tilde{R}_{1}(1,f_{2})(x)=0$ and $K(x,y_{1},y_{2})= \frac{x-y_{1}}{|(x-y_{1},x-y_{2})|^{3}}$ satisfying (1.1), (1.2), (1.3), (2.2), and (2.3), then we have the following results.

Corollary 2.1

Let $0<\alpha<1$. Then $\tilde{R}_{1}$ is a bounded operator from $Lip_{\alpha}(\mathbb{R}^{n})\times L^{n/\alpha}(\mathbb{R}^{n})$ to $BMO(\mathbb{R}^{n})$.

Corollary 2.2

Let $0<\alpha<1$ and $n/\alpha< p\leq\infty$. Then $\tilde{R}_{1}$ is a bounded operator from $Lip_{\alpha}(\mathbb{R}^{n})\times L^{p}(\mathbb {R}^{n})$ to $Lip_{\alpha-n/p}(\mathbb{R}^{n})$.

Theorem 2.3

Let $0<\alpha<\delta\leq1$ and can be extended to a bounded operator from $L^{p_{1}}\times L^{p_{2}}$ into $L^{p}$, where $1< p,p_{1},p_{2}<\infty$ with $1/p=1/p_{1}+1/p_{2}$. The following two statements are equivalent:

  1. (i)

    For $f_{1}\in Lip_{\alpha}(\mathbb{R}^{n})$ and $f_{2}\in BMO(\mathbb{R}^{n})$, we have

    $$\bigl\| \tilde{T}(f_{1},f_{2})\bigr\| _{Lip_{\alpha}(\mathbb{R}^{n})}\lesssim\| f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\|_{BMO(\mathbb{R}^{n})}. $$
  2. (ii)

    If there exists some $j\in\{1,2\}$ such that $f_{j}(x)\equiv1$, then $\tilde{T}(f_{1},f_{2})(x)\equiv0$.

Theorem 2.4

Let $0<\alpha_{1},\alpha_{2}<\delta\leq1$ with $\alpha_{1}+\alpha _{2}<\delta$. The following two statements are equivalent:

  1. (i)

    For $f_{1}\in Lip_{\alpha_{1}}(\mathbb{R}^{n})$ and $f_{2}\in Lip_{\alpha_{2}}(\mathbb{R}^{n})$, we have

    $$\bigl\| \tilde{T}(f_{1},f_{2})\bigr\| _{Lip_{\alpha_{1}+\alpha_{2}}(\mathbb {R}^{n})}\lesssim \|f_{1}\|_{Lip_{\alpha_{1}}(\mathbb{R}^{n})}\|f_{2}\| _{Lip_{\alpha_{2}}(\mathbb{R}^{n})}. $$
  2. (ii)

    If there exists some $j\in\{1,2\}$ such that $f_{j}(x)\equiv1$, then $\tilde{T}(f_{1},f_{2})(x)\equiv0$.

Theorem 2.5

Let $0<\alpha<s<\delta\leq1$. The following two statements are equivalent:

  1. (i)

    For $f_{1}\in Lip_{\alpha}(\mathbb{R}^{n})$ and $f_{2}\in\dot {B}^{s}(\mathbb{R}^{n})$, we have

    $$\bigl\| T(f_{1},f_{2})\bigr\| _{\dot{B}^{s-\alpha}(\mathbb{R}^{n})}\lesssim\| f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\|_{\dot{B}^{s}(\mathbb{R}^{n})}. $$
  2. (ii)

    If there exists some $j\in\{1,2\}$ such that $f_{j}(x)\equiv1$, then $T(f_{1},f_{2})(x)\equiv0$.

Proofs of Theorems 2.1-2.5

For simplicity, we only give the proof of Theorem 2.1, Theorem 2.4, and Theorem 2.5. For the proof of Theorem 2.2 and Theorem 2.3 similar arguments are applied with necessary modifications.

Proof of Theorem 2.1

(ii) (i). For any $x,y\in Q$, we have

$$\begin{aligned} \tilde{T}(f_{1},f_{2}) (x)-\tilde{T}(f_{1},f_{2})(y) &=\lim_{\epsilon\rightarrow0} \bigl(\tilde{T_{\epsilon }}(f_{1},f_{2}) (x)-\tilde{T_{\epsilon}}(f_{1},f_{2}) (y) \bigr)\\ &=\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{\epsilon}(x,y_{1},y_{2})-K_{\epsilon }(y,y_{1},y_{2}) \bigr)f_{1}(y_{1})f_{2}(y_{2})\,dy_{1}\,dy_{2}. \end{aligned}$$

Then condition (ii) implies that

$$\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{\epsilon}(x,y_{1},y_{2})-K_{\epsilon }(y,y_{1},y_{2}) \bigr)f_{2}(y_{2})\,dy_{1}\,dy_{2}=0. $$

Therefore,

$$\begin{aligned} &\tilde{T}(f_{1},f_{2}) (x)-\tilde{T}(f_{1},f_{2})(y)\\ &\quad=\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{\epsilon}(x,y_{1},y_{2})-K_{\epsilon }(y,y_{1},y_{2}) \bigr) \bigl(f_{1}(y_{1})-\lambda \bigr)f_{2}(y_{2})\,dy_{1}\,dy_{2} \\ &\quad=\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}}K_{\epsilon}(x,y_{1},y_{2}) \bigl(f_{1}(y_{1})-\lambda \bigr)f_{2}(y_{2}) \chi_{2B}(y_{1})\,dy_{1}\,dy_{2} \\ &\qquad{}-\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}}K_{\epsilon}(y,y_{1},y_{2}) \bigl(f_{1}(y_{1})-\lambda \bigr)f_{2}(y_{2}) \chi_{2B}(y_{1})\,dy_{1}\,dy_{2} \\ &\qquad{}+\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{\epsilon}(x,y_{1},y_{2})-K_{\epsilon}(y,y_{1},y_{2}) \bigr) \bigl(f_{1}(y_{1})-\lambda \bigr)f_{2}(y_{2}) \chi_{(2B)^{c}}(y_{1})\chi _{2B}(y_{2})\,dy_{1}\,dy_{2} \\ &\qquad{}+\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{\epsilon}(x,y_{1},y_{2})-K_{\epsilon}(y,y_{1},y_{2}) \bigr) \bigl(f_{1}(y_{1})-\lambda \bigr)\\ &\qquad{}\times f_{2}(y_{2}) \chi_{(2B)^{c}}(y_{1})\chi _{(2B)^{c}}(y_{2})\,dy_{1}\,dy_{2} \\ &\quad:=\mathrm{I}_{1}+\mathrm{I}_{2}+\mathrm{I}_{3}+\mathrm{I}_{4}, \end{aligned}$$

where $B=B(x,r)$ with $r=|x-y|$ taking $\epsilon< r$ and $\lambda= m_{B}(f_{1})$.

Note that T is a bounded operator from $L^{p_{1}}(\mathbb {R}^{n})\times L^{n/\alpha}(\mathbb{R}^{n})$ to $L^{p}(\mathbb{R}^{n})$ with $1/p=1/p_{1}+\alpha/n$, then

$$\begin{aligned} \frac{1}{|Q|} \int_{Q}|\mathrm{I}_{1}|\,dx \lesssim& \frac{1}{|Q|} \int _{Q}\bigl|T \bigl((f_{1}-\lambda) \chi_{2B},f_{2} \bigr) (x)\bigr|\,dx \\ \lesssim& \biggl\{ \frac{1}{|Q|} \int_{Q}\bigl|T \bigl((f_{1}-\lambda)\chi _{2B},f_{2} \bigr) (x)\bigr|^{p}\,dx \biggr\} ^{1/p} \\ \lesssim&\frac{1}{|Q|^{1/p}}\bigl\| (f_{1}-\lambda)\chi_{2B}\bigr\| _{L^{p_{1}}(\mathbb{R}^{n})}\|f_{2}\|_{L^{n/\alpha}(\mathbb{R}^{n})} \\ \lesssim&\frac{|2B|^{1/p}}{|Q|^{1/p}}\|f_{1}\|_{Lip_{\alpha}(\mathbb {R}^{n})} \|f_{2}\|_{L^{n/\alpha}(\mathbb{R}^{n})} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2} \|_{L^{n/\alpha }(\mathbb{R}^{n})}. \end{aligned}$$

Similarly, by $B(x,2r)\subset B(y,3r)$, we also have

$$\frac{1}{|Q|} \int_{Q}|\mathrm{I}_{2}|\,dy\lesssim \|f_{1}\|_{Lip_{\alpha }(\mathbb{R}^{n})}\|f_{2}\|_{L^{n/\alpha}(\mathbb{R}^{n})}. $$

For $\mathrm{I}_{3}$, it follows from $y_{1}\in(2B)^{c}$ that $|x-y|\leq1/2|x-y_{1}|$, and choosing β such that $0<\alpha<\beta $, then

$$\begin{aligned} |\mathrm{I}_{3}| \lesssim& \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}}\frac{|x-y|^{\delta}}{(|x-y_{1}|+|x-y_{2}|)^{2n+\delta }}\bigl| \bigl(f_{1}(y_{1})- \lambda \bigr)\chi_{(2B)^{c}}(y_{1})\bigr|\bigl|f_{2}(y_{2}) \chi _{2B}(y_{2})\bigr|\,dy_{1}\,dy_{2} \\ \lesssim&|x-y|^{\delta} \int_{(2B)^{c}}\frac{|f_{1}(y_{1})-\lambda |}{|x-y_{1}|^{n+\beta+\delta}}\,dy_{1} \int_{2B}\frac {|f_{2}(y_{2})|}{|x-y_{2}|^{n-\beta}}\,dy_{2} \\ \lesssim&|x-y|^{\delta+\beta-\alpha}\|f_{2}\|_{L^{n/\alpha}(\mathbb {R}^{n})}\sum _{k=1}^{\infty} \int_{2^{k+1}B\backslash2^{k}B}\frac {|f_{1}(y_{1})-\lambda|}{|x-y_{1}|^{n+\beta+\delta}}\,dy_{1} \\ \lesssim&|x-y|^{\delta+\beta-\alpha}\|f_{2}\|_{L^{n/\alpha}(\mathbb {R}^{n})}\sum _{k=1}^{\infty}(k+1) \bigl(2^{k}|x-y| \bigr)^{\alpha-\beta-\delta}\| f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})} \\ \lesssim& \|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\| _{L^{n/\alpha}(\mathbb{R}^{n})}. \end{aligned}$$

Choosing $0<\beta_{1}<\delta-\alpha$, we have

$$\begin{aligned} |\mathrm{I}_{4}| \lesssim& \int_{(2B)^{c}} \int_{(2B)^{c}}\frac {|x-y|^{\delta}}{(|x-y_{1}|+|x-y_{2}|)^{2n+\delta }}\bigl| \bigl(f_{1}(y_{1})- \lambda \bigr)\bigr|\bigl|f_{2}(y_{2})\bigr|\,dy_{1}\,dy_{2} \\ \lesssim&|x-y|^{\delta} \int_{(2B)^{c}}\frac{|f_{1}(y_{1})-\lambda |}{|x-y|^{n-\beta_{1}+\delta}}\,dy_{1} \int_{(2B)^{c}}\frac{|f_{2}(y_{2})|}{|x-y_{2}|^{n+\beta_{1}}}\,dy_{2} \\ \lesssim&|x-y|^{\delta-\beta_{1}-\alpha}\|f_{2}\|_{L^{n/\alpha}(\mathbb {R}^{n})}\sum _{k=1}^{\infty} \int_{2^{k+1}B\backslash2^{k}B}\frac {|f_{1}(y_{1})-\lambda|}{|x-y|^{n-\beta_{1}+\delta}}\,dy_{1} \\ \lesssim&|x-y|^{\delta-\beta_{1}-\alpha}\|f_{2}\|_{L^{n/\alpha}(\mathbb {R}^{n})} \sum _{k=1}^{\infty}(k+1) \bigl(2^{k}|x-y| \bigr)^{\alpha+\beta_{1}-\delta}\|f_{1}\| _{Lip_{\alpha}(\mathbb{R}^{n})} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2} \|_{L^{n/\alpha }(\mathbb{R}^{n})}. \end{aligned}$$

The estimates above yield, for any ball Q,

$$\begin{aligned} &\frac{1}{|Q|} \int_{Q} \bigl|\tilde{T}(f_{1},f_{2}) (x)-m_{Q} \bigl[\tilde {T}(f_{1},f_{2}) \bigr] \bigr|\,dx \\ &\quad=\frac{1}{|Q|} \int_{Q} \biggl|\frac{1}{|Q|} \int_{Q}\tilde {T}(f_{1},f_{2}) (x)- \tilde{T}(f_{1},f_{2}) (y)\,dy \biggr|\,dx \\ &\quad\lesssim\frac{1}{|Q|^{2}}\sum_{i=1}^{4} \int_{Q} \int_{Q}|\mathrm{I}_{\mathrm{i}}|\,dx\,dy \\ &\quad\lesssim\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2} \|_{L^{n/\alpha }(\mathbb{R}^{n})}, \end{aligned}$$

that is, $\|\tilde{T}(f_{1},f_{2})\|_{BMO(\mathbb{R}^{n})}\lesssim\| f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\|_{L^{n/\alpha}(\mathbb{R}^{n})}$.

(i) (ii). It follows from $\|\tilde{T}(1,f_{2})\| _{BMO(\mathbb{R}^{n})}\lesssim\|1\|_{Lip_{\alpha}(\mathbb{R}^{n})}\| f_{2}\|_{L^{n/\alpha}(\mathbb{R}^{n})}=0$ that

$$\tilde{T}(1,f_{2}) (x)=\tilde{T}(1,f_{2}) (x_{0})=0. $$

Thus the proof of Theorem 2.1 is completed. □

Proof of Theorem 2.4

We only need to show that (ii) is sufficient. For simplicity, we may assume that $\|f_{1}\|_{Lip_{\alpha _{1}}(\mathbb{R}^{n})}=\|f_{2}\|_{Lip_{\alpha_{2}}(\mathbb{R}^{n})}=1$.

For any $x,y\in\mathbb{R}^{n}$, we have

$$\tilde{T}(f_{1},f_{2}) (x)-\tilde{T}(f_{1},f_{2}) (y):=\mathrm{II}_{1}+\mathrm{II}_{2}+\mathrm{II}_{3} +\mathrm{II}_{4}+\mathrm{II}_{5}, $$

where

$$\begin{aligned}& \mathrm{II}_{1}=\lim_{\epsilon\rightarrow0} \int_{\epsilon < |x-y_{2}|< 3r} \int_{\epsilon < |x-y_{1}|< 3r}K(x,y_{1},y_{2}) \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr)\,dy_{1}\,dy_{2}, \\& \mathrm{II}_{2}=-\lim_{\epsilon\rightarrow0} \int_{\epsilon < |x-y_{2}|< 3r} \int_{\epsilon < |x-y_{1}|< 3r}K(y,y_{1},y_{2}) \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr)\,dy_{1}\,dy_{2}, \\& \begin{aligned}[b] \mathrm{II}_{3}={}&\lim_{\epsilon\rightarrow0} \int_{\epsilon < |x-y_{1}|< 3r} \int_{3r\leq |x-y_{2}|} \bigl(K(x,y_{1},y_{2})-K(y,y_{1},y_{2}) \bigr)\\ &{}\times \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr)\,dy_{1}\,dy_{2}, \end{aligned}\\& \begin{aligned}[b] \mathrm{II}_{4}={}&\lim_{\epsilon\rightarrow0} \int_{3r\leq |x-y_{1}|} \int_{\epsilon< |x-y_{2}|< 3r} \bigl(K(x,y_{1},y_{2})-K(y,y_{1},y_{2}) \bigr) \\ & {}\times \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr)\,dy_{1}\,dy_{2}, \end{aligned}\\& \mathrm{II}_{5}= \int_{3r\leq|x-y_{1}|} \int_{ 3r\leq |x-y_{2}|} \bigl(K(x,y_{1},y_{2})-K(y,y_{1},y_{2}) \bigr) \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr)\,dy_{1}\,dy_{2}, \end{aligned}$$

here $r=|x-y|$.

First we give the estimate for $\mathrm{II}_{1}$. For $f_{1}\in Lip_{\alpha_{1}}(\mathbb{R}^{n})$ and $f_{2}\in Lip_{\alpha_{2}}(\mathbb {R}^{n})$,

$$\begin{aligned} |\mathrm{II}_{1}| \lesssim& \int_{3B} \int_{3B}\frac{|x-y_{1}|^{\alpha_{1}}|x-y_{2}|^{\alpha _{2}}}{(|x-y_{1}|+|x-y_{2}|^{2n})}\,dy_{1}\,dy_{2} \\ \lesssim& \int_{3B}\frac{1}{|x-y_{1}|^{n-\alpha_{1}}}\,dy_{1} \int_{3B}\frac {1}{|x-y_{2}|^{n-\alpha_{2}}}\,dy_{2} \\ \lesssim&|x-y|^{\alpha_{1}+\alpha_{2}}. \end{aligned}$$

Now we give the decomposition of the term of $\mathrm{II}_{2}$,

$$\begin{aligned} -\mathrm{II}_{2} =&\lim_{\epsilon\rightarrow0} \int_{\epsilon < |x-y_{2}|< 3r} \int_{\epsilon < |x-y_{1}|< 3r}K(y,y_{1},y_{2}) \bigl(f_{1}(y_{1})-f_{1}(y) \bigr) \bigl(f_{2}(y_{2})-f_{2}(y) \bigr)\,dy_{1}\,dy_{2} \\ &{}+\lim_{\epsilon\rightarrow0} \int_{\epsilon< |x-y_{2}|< 3r} \int _{\epsilon < |x-y_{1}|< 3r}K(y,y_{1},y_{2}) \bigl(f_{1}(y)-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(y) \bigr)\,dy_{1}\,dy_{2} \\ &{}+\lim_{\epsilon\rightarrow0} \int_{\epsilon< |x-y_{2}|< 3r} \int _{\epsilon < |x-y_{1}|< 3r}K(y,y_{1},y_{2}) \bigl(f_{1}(y_{1})-f_{1}(y) \bigr) \bigl(f_{2}(y)-f_{2}(x) \bigr)\,dy_{1}\,dy_{2} \\ &{}+\lim_{\epsilon\rightarrow0} \int_{\epsilon< |x-y_{2}|< 3r} \int _{\epsilon < |x-y_{1}|< 3r}K(y,y_{1},y_{2}) \bigl(f_{1}(y)-f_{1}(x) \bigr) \bigl(f_{2}(y)-f_{2}(x) \bigr)\,dy_{1}\,dy_{2} \\ :=&\mathrm{II}_{21}+\mathrm{II}_{22}+\mathrm{II}_{23}+\mathrm{II}_{24}. \end{aligned}$$

For $B(x,3r)\subset B(y,4r)$, we have

$$|\mathrm{II}_{21}|\lesssim|x-y|^{\alpha_{1}+\alpha_{2}}. $$

Choosing $0<\alpha_{21},\alpha_{22}<\alpha_{2}$ with $\alpha_{2}=\alpha _{21}+\alpha_{22}$, then

$$\begin{aligned} |\mathrm{II}_{22}| \lesssim& |x-y|^{\alpha_{1}} \int_{B(y,4r)}\frac{1}{|y-y_{1}|^{n-\alpha _{21}}}\,dy_{1} \int_{B(y,4r)}\frac{1}{|y-y_{2}|^{n-\alpha_{22}}}\,dy_{2} \\ \lesssim&|x-y|^{\alpha_{1}+\alpha_{2}}. \end{aligned}$$

With a similar argument to $\mathrm{II}_{22}$, we obtain

$$|\mathrm{II}_{23}|\lesssim|x-y|^{\alpha_{1}+\alpha_{2}}. $$

Since $\tilde{B}:=B(y,2r)\subset B(x,3r)\subset2\tilde{B}$, condition (2.3) and [10], Lemma 2, we have

$$\begin{aligned} |\mathrm{II}_{24}| \lesssim& \bigl|f_{1}(y)-f_{1}(x)\bigr|\bigl|f_{2}(y)-f_{2}(x)\bigr| \biggl|\lim_{\epsilon\rightarrow0} \int_{\epsilon< |y-y_{2}|< 2r} \int_{\epsilon < |y-y_{1}|< 2r}K(y,y_{1},y_{2})\,dy_{1}\,dy_{2} \biggr| \\ &{}+\bigl|f_{1}(y)-f_{1}(x)\bigr|\bigl|f_{2}(y)-f_{2}(x)\bigr| \biggl|\lim_{\epsilon \rightarrow0} \int_{\epsilon< |y-y_{2}|< 2r} \int_{3B\setminus\tilde {B}}K(y,y_{1},y_{2})\,dy_{1}\,dy_{2}\biggr| \\ &{}+\bigl|f_{1}(y)-f_{1}(x)\bigr|\bigl|f_{2}(y)-f_{2}(x)\bigr| \biggl|\lim_{\epsilon \rightarrow0} \int_{3B\setminus\tilde{B}} \int_{\epsilon < |y-y_{1}|< 2r}K(y,y_{1},y_{2})\,dy_{1}\,dy_{2}\biggr| \\ &{}+\bigl|f_{1}(y)-f_{1}(x)\bigr|\bigl|f_{2}(y)-f_{2}(x)\bigr| \biggl| \int_{3B\setminus\tilde {B}} \int_{3B\setminus\tilde{B}}K(y,y_{1},y_{2})\,dy_{1}\,dy_{2} \biggr| \\ \lesssim&|x-y|^{\alpha_{1}+\alpha_{2}} \biggl|\lim_{\epsilon \rightarrow0} \int_{\epsilon< |y-y_{2}|< 2r} \int_{\epsilon < |y-y_{1}|< 2r}K(y,y_{1},y_{2})\,dy_{1}\,dy_{2}\biggr| \\ &{}+|x-y|^{\alpha_{1}+\alpha_{2}} \biggl| \int_{B(x,3r)\setminus B(y,2r)}K_{\chi_{\tilde{B}}}(y,y_{1})\,dy_{1} \biggr| \\ &{}+|x-y|^{\alpha_{1}+\alpha_{2}} \biggl| \int_{B(x,3r)\setminus B(y,2r)}K_{\chi_{\tilde{B}}}(y,y_{2})\,dy_{2} \biggr| \\ &{}+|x-y|^{\alpha_{1}+\alpha_{2}} \int_{2\tilde{B}\setminus\tilde{B}} \int _{2\tilde{B}\setminus\tilde{B}}\frac {1}{(|y-y_{1}|+|y-y_{2}|)^{2n}}\,dy_{1}\,dy_{2} \\ \lesssim&|x-y|^{\alpha_{1}+\alpha_{2}}. \end{aligned}$$

It is easy to verify that

$$|\mathrm{II}_{\mathrm{i}}|\lesssim|x-y|^{\alpha_{1}+\alpha_{2}},\quad i=3,4,5. $$

Therefore,

$$\bigl|\tilde{T}(f_{1},f_{2}) (x)-\tilde{T}(f_{1},f_{2}) (y) \bigr|\lesssim |x-y|^{\alpha_{1}+\alpha_{2}}, $$

that is,

$$\bigl\| \tilde{T}(f_{1},f_{2})\bigr\| _{Lip_{\alpha_{1}+\alpha_{2}}(\mathbb {R}^{n})}\lesssim1, $$

this completes the proof of Theorem 2.4. □

Proof of Theorem 2.5

By $\|1\|_{Lip_{\alpha}(\mathbb {R}^{n})}=\|1\|_{\dot{B}^{s}(\mathbb{R}^{n})}=0$, it is clear that (i) (ii). Therefore, it suffices to prove that if $\tilde {T}(1,f_{2})(x)=\tilde{T}(f_{1},1)(x)=\tilde{T}(1,1)(x)\equiv0$, then

$$\bigl\| \tilde{T}(f_{1},f_{2})\bigr\| _{\dot{B}^{s-\alpha}(\mathbb{R}^{n})}\lesssim \|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\|_{\dot{B}^{s}(\mathbb{R}^{n})}. $$

It follows from $\tilde{T}(1,f_{2})(x)=\tilde{T}(f_{1},1)(x)=\tilde {T}(1,1)(x)\equiv0$ that, for any $x,y\in\mathbb{R}^{n}$,

$$\begin{aligned} &\tilde{T}(f_{1},f_{2}) (x)-\tilde{T}(f_{1},f_{2}) (y) \\ &\quad=\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{\epsilon}(x,y_{1},y_{2})-K_{\epsilon }(y,y_{1},y_{2}) \bigr) \\ &\qquad{} \times \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr) \chi_{3B}(y_{1})\chi _{3B}(y_{2})\,dy_{1}\,dy_{2} \\ &\quad=\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}}K_{\epsilon}(x,y_{1},y_{2}) \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr) \chi_{3B}(y_{1})\chi_{3B}(y_{2})\,dy_{1}\,dy_{2} \\ &\qquad{}-\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}}K_{\epsilon}(y,y_{1},y_{2}) \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr) \chi_{3B}(y_{1})\chi_{3B}(y_{2})\,dy_{1}\,dy_{2} \\ &\qquad{}+\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{\epsilon}(x,y_{1},y_{2})-K_{\epsilon}(y,y_{1},y_{2}) \bigr) \\ &\qquad{} \times \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr) \chi_{(3B)^{c}}(y_{1})\chi _{3B}(y_{2})\,dy_{1}\,dy_{2} \\ &\qquad{}+\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{\epsilon}(x,y_{1},y_{2})-K_{\epsilon}(y,y_{1},y_{2}) \bigr) \\ &\qquad{} \times \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr) \chi_{3B}(y_{1})\chi _{(3B)^{c}}(y_{2})\,dy_{1}\,dy_{2} \\ &\qquad{}+\lim_{\epsilon\rightarrow0} \int_{\mathbb{R}^{n}} \int_{\mathbb {R}^{n}} \bigl(K_{\epsilon}(x,y_{1},y_{2})-K_{\epsilon}(y,y_{1},y_{2}) \bigr) \\ &\qquad{} \times \bigl(f_{1}(y_{1})-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(x) \bigr) \chi_{(3B)^{c}}(y_{1})\chi _{(3B)^{c}}(y_{2})\,dy_{1}\,dy_{2} \\ &\quad:=\mathrm{III}_{1}+\mathrm{III}_{2}+\mathrm{III}_{3}+\mathrm{III}_{4} +\mathrm{III}_{5}, \end{aligned}$$

where $B=B(x,|x-y|)$.

For $\mathrm{III}_{1}$, we choose γ such that $0<\gamma<s-\alpha $, by $|x-y_{2}|^{-n}=|x-y_{2}|^{-n/2-\gamma}|x-y_{2}|^{-n/2+\gamma}$ and the Hölder inequality, we have

$$\begin{aligned} |\mathrm{III}_{1}| \lesssim& \|f_{1}\|_{Lip_{\alpha}(\mathbb {R}^{n})} \int_{3B} \int_{3B}\frac {|f_{2}(y_{2})-f_{2}(x)||x-y_{1}|^{\alpha }}{(|x-y_{1}|+|x-y_{2}|)^{2n}}\,dy_{1}\,dy_{2} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})} \int_{3B}\frac {1}{|x-y_{1}|^{n-\alpha}}\,dy_{1} \int_{3B}\frac{|f_{2}(y_{2})-f_{2}(x)|}{|x-y_{2}|^{n}}\,dy_{2} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}|x-y|^{\alpha} \biggl( \int_{3B}\frac{|f_{2}(y_{2})-f_{2}(x)|^{2}}{|x-y_{2}|^{n+2\gamma }}\,dy_{2} \biggr)^{1/2} \biggl( \int_{3B}\frac{1}{|x-y_{2}|^{n-2\gamma}}\,dy_{2} \biggr)^{1/2} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}|x-y|^{\gamma+\alpha } \biggl( \int_{3B}\frac{|f_{2}(y_{2})-f_{2}(x)|^{2}}{|x-y_{2}|^{n+2\gamma }}\,dy_{2} \biggr)^{1/2}, \end{aligned}$$

then

$$\begin{aligned} \int_{\mathbb{R}^{n}} \int_{\mathbb{R}^{n}}\frac{|\mathrm {III}_{1}|^{2}}{|x-y|^{n+2s}}\,dx\,dy &\lesssim\|f_{1}\|^{2}_{Lip_{\alpha}(\mathbb{R}^{n})} \int_{\mathbb {R}^{n}} \int_{\mathbb{R}^{n}}\frac {|f_{2}(y_{2})-f_{2}(x)|^{2}}{|x-y_{2}|^{n+2s-2\alpha}}\,dx\,dy_{2} \\ &\lesssim\|f_{1}\|^{2}_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\| ^{2}_{\dot{B}^{s-\alpha}(\mathbb{R}^{n})}. \end{aligned}$$

Next, we give the estimate for $\mathrm{III}_{2}$. Observe that $\tilde {B}:= B(y,2|x-y|)\subset B(x,3|x-y|)\subset2\tilde{B}$ and

$$\begin{aligned} |\mathrm{III}_{2}| \lesssim& \biggl| \int_{3B} \int _{3B}K(y,y_{1},y_{2}) \bigl(f_{1}(y_{1})-f_{1}(y) \bigr) \bigl(f_{2}(y_{2})-f_{2}(y) \bigr)\,dy_{1}\,dy_{2} \biggr| \\ &{}+ \biggl| \int_{3B} \int _{3B}K(y,y_{1},y_{2}) \bigl(f_{1}(y_{1})-f_{1}(y) \bigr) \bigl(f_{2}(y)-f_{2}(x) \bigr)\,dy_{1}\,dy_{2} \biggr| \\ &{}+ \biggl| \int_{3B} \int _{3B}K(y,y_{1},y_{2}) \bigl(f_{1}(y)-f_{1}(x) \bigr) \bigl(f_{2}(y_{2})-f_{2}(y) \bigr)\,dy_{1}\,dy_{2} \biggr| \\ &{}+\lim_{\epsilon\rightarrow0} \biggl| \int_{\tilde{B}} \int_{\tilde {B}}K_{\epsilon }(y,y_{1},y_{2}) \bigl(f_{1}(y)-f_{1}(x) \bigr) \bigl(f_{2}(y)-f_{2}(x) \bigr)\,dy_{1}\,dy_{2} \biggr| \\ &{}+\lim_{\epsilon\rightarrow0} \biggl| \int_{\tilde{B}} \int_{3B\setminus \tilde{B}}K_{\epsilon }(y,y_{1},y_{2}) \bigl(f_{1}(y)-f_{1}(x) \bigr) \bigl(f_{2}(y)-f_{2}(x) \bigr)\,dy_{1}\,dy_{2} \biggr| \\ &{}+\lim_{\epsilon\rightarrow0} \biggl| \int_{3B\setminus\tilde{B} } \int _{\tilde{B}}K_{\epsilon }(y,y_{1},y_{2}) \bigl(f_{1}(y)-f_{1}(x) \bigr) \bigl(f_{2}(y)-f_{2}(x) \bigr)\,dy_{1}\,dy_{2} \biggr| \\ &{}+\lim_{\epsilon\rightarrow0} \biggl| \int_{3B\setminus\tilde{B}} \int _{3B\setminus\tilde{B}}K_{\epsilon }(y,y_{1},y_{2}) \bigl(f_{1}(y)-f_{1}(x) \bigr) \bigl(f_{2}(y)-f_{2}(x) \bigr)\,dy_{1}\,dy_{2} \biggr| \\ :=&\mathrm{III}_{21}+\mathrm{III}_{22}+ \mathrm{III}_{23}+\mathrm{III}_{24} +\mathrm{III}_{25}+\mathrm{III}_{26}+\mathrm{III}_{27}. \end{aligned}$$

With a similar argument to the estimate for $\mathrm{III}_{1}$, we obtain

$$\int_{\mathbb{R}^{n}} \int_{\mathbb{R}^{n}}\frac{|\mathrm {III}_{2\mathrm{j}}|^{2}}{|x-y|^{n+2s}}\,dx\,dy \lesssim\|f_{1} \|^{2}_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\|^{2}_{\dot {B}^{s-\alpha}(\mathbb{R}^{n})},\quad j=1,3. $$

For $\mathrm{III}_{22}$, choose $0<\alpha_{1},\alpha_{2}<\alpha$ such that $\alpha_{1}+\alpha_{2}=\alpha$, then

$$\begin{aligned} |\mathrm{III}_{22}| \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb {R}^{n})}\bigl|f_{2}(y)-f_{2}(x)\bigr| \int_{\tilde{B}} \int_{\tilde{B}}\frac {|y-{y_{1}}|^{\alpha}}{(|y-y_{1}|+|y-y_{2}|)^{2n}}\,dy_{1}\,dy_{2} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb {R}^{n})}\bigl|f_{2}(y)-f_{2}(x)\bigr| \int_{\tilde{B}}\frac{1}{|y-y_{1}|^{n-\alpha _{1}}}\,dy_{1} \int_{\tilde{B}}\frac{1}{|y-y_{2}|^{n-\alpha_{2}}}\,dy_{2} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}|x-y|^{\alpha }\bigl|f_{2}(y)-f_{2}(x)\bigr|. \end{aligned}$$

To control $\mathrm{III}_{24}$ we use condition (2.3), that is, for any $0< r< R$,

$$\biggl| \int_{r< |x-y_{1}|< R} \int _{r< |x-y_{2}|< R}K(x,y_{1},y_{2})\,dy_{1}\,dy_{2} \biggr|\leq C, $$

to obtain

$$\int_{\mathbb{R}^{n}} \int_{\mathbb{R}^{n}}\frac{|\mathrm{III}_{24}|^{2}}{|x-y|^{n+2s}}\,dx\,dy \lesssim\|f_{1} \|^{2}_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\|^{2}_{\dot {B}^{s-\alpha}(\mathbb{R}^{n})} $$

The argument for $\mathrm{III}_{25}$ and $\mathrm{III}_{26}$ is similar, we only give the estimate for $\mathrm{III}_{25}$. By Remark 2.1 and $3B\subset2\tilde{B}$, we obtain

$$\begin{aligned} |\mathrm{III}_{25}| \lesssim&|x-y|^{\alpha}\bigl|f_{2}(y)-f_{2}(x)\bigr| \biggl| \int _{3B\setminus\tilde{B}} \int_{\mathbb{R}^{n}}K(y,y_{1},y_{2})\chi _{\tilde{B}}(y_{2})\,dy_{1}\,dy_{2} \biggr| \\ \lesssim&|x-y|^{\alpha}\bigl|f_{2}(y)-f_{2}(x)\bigr| \biggl| \int_{3B\setminus \tilde{B}}K_{\chi_{\tilde{B}}}(y,y_{1})\,dy_{1} \biggr| \\ \lesssim& |x-y|^{\alpha}\bigl|f_{2}(y)-f_{2}(x)\bigr| \int_{2\tilde{B}\setminus \tilde{B}}\frac{1}{|y-y_{1}|^{n}}\,dy_{1} \\ \lesssim& |x-y|^{\alpha}\bigl|f_{2}(y)-f_{2}(x)\bigr|. \end{aligned}$$

Finally, it is easy to see that

$$\begin{aligned} |\mathrm{III}_{27}| \lesssim&|x-y|^{\alpha}\bigl|f_{2}(y)-f_{2}(x)\bigr| \int _{2\tilde{B}\setminus\tilde{B}} \int_{2\tilde{B}\setminus\tilde {B}}\frac{1}{(|y-y_{1}|+|y-y_{2}|)^{2n}}\,dy_{1}\,dy_{2} \\ \lesssim& |x-y|^{\alpha}\bigl|f_{2}(y)-f_{2}(x)\bigr|. \end{aligned}$$

We only give the estimate for $\mathrm{III}_{3}$. For the estimate for $\mathrm{III}_{4}$ and $\mathrm{III}_{5}$ similar arguments are applied with necessary modifications. For $\mathrm{III}_{3}$, since $|K(x,y_{1},y_{2})-K(y,y_{1},y_{2})|\lesssim\frac{|x-y|^{\delta }}{(|x-y_{1}|+|x-y_{2}|)^{2n+\delta}}$,

$$\begin{aligned} |\mathrm{III}_{3}| \lesssim& \|f_{1}\|_{Lip_{\alpha}(\mathbb {R}^{n})} \int_{2B} \int_{\mathbb{R}^{n}\setminus2B}\frac{|x-y|^{\delta }|f_{1}(y_{1})-f_{1}(x)||x-y_{2}|^{\alpha }}{(|x-y_{1}|+|x-y_{2}|)^{2n+\delta}}\,dy_{1}\,dy_{2} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}|x-y|^{\delta} \int _{2B}\frac{|f_{1}(y_{1})-f_{1}(x)|}{|x-y_{1}|^{n}}\,dy_{1} \int_{\mathbb {R}^{n}\setminus2B}|x-y_{2}|^{-n-\delta+\alpha}\,dy_{2} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}|x-y|^{\alpha} \int _{2B}\frac{|f_{1}(y_{1})-f_{1}(x)|}{|x-y_{1}|^{n}}\,dy_{1} \\ \lesssim&\|f_{1}\|_{Lip_{\alpha}(\mathbb{R}^{n})}|x-y|^{\alpha+\gamma } \biggl( \int_{|y-x|\leq2|x-y_{1}|}\frac {|f_{1}(y_{1})-f_{1}(x)|^{2}}{|x-y_{1}|^{n+2\gamma}}\,dy_{1} \biggr)^{1/2}. \end{aligned}$$

Thus, $\int_{\mathbb{R}^{n}}\int_{\mathbb{R}^{n}}\frac{|\mathrm{III}_{3} |^{2}}{|x-y|^{n+2s}}\,dx\,dy \lesssim\|f_{1}\|^{2}_{Lip_{\alpha }(\mathbb{R}^{n})}\|f_{2}\|^{2}_{\dot{B}^{s-\alpha}(\mathbb{R}^{n})}$.

Combining the estimates above, we obtain

$$\int_{\mathbb{R}^{n}} \int_{\mathbb{R}^{n}}\frac{|\tilde {T}(f_{1},f_{2})(x)-\tilde{T}(f_{1},f_{2})(y)|^{2}}{|x-y|^{n+2s}}\,dx\,dy \lesssim\|f_{1} \|^{2}_{Lip_{\alpha}(\mathbb{R}^{n})}\|f_{2}\|^{2}_{\dot {B}^{s-\alpha}(\mathbb{R}^{n})}. $$

This concludes the proof of the theorem. □

References

  1. 1.

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

  2. 2.

    Lemarié, PG: Continuité sur les espaces de Besov des opérateurs définis par des intégrales singulières. Ann. Inst. Fourier (Grenoble) 35, 175-187 (1985)

  3. 3.

    Meyer, Y: Continuité sur les espaces de Holder et de Sobolev des opérateurs définis par des intégrales singulières. In: Peral, I, Rubio de Francia, J-L (eds.) Recent Progress in Fourier Analysis, pp. 145-172 (1985)

  4. 4.

    Meyer, Y, Cofiman, R: Wavelets: Caldrón-Zygmund and Multilinear Operators. Cambridge Studies in Advanced Mathematics, vol. 48. Cambridge University Press, Cambridge (1997)

  5. 5.

    Gatto, AE, García-Cuerva, J: Lipschitz spaces and Calderón-Zygmund operators associated to non-doubling measures. Publ. Math. 49, 285-296 (2005)

  6. 6.

    Zhou, J, Wang, DH: Lipschitz spaces and fractional integral operators associated to non-homogeneous metric measure spaces. Abstr. Appl. Anal. 2014, 174010 (2014)

  7. 7.

    Kenig, C, Stein, E: Multilinear estimates and fractional integration. Math. Res. Lett. 6, 1-15 (1999)

  8. 8.

    Coifman, RR, Meyer, Y: On commutators of singular integral and bilinear singular integrals. Trans. Am. Math. Soc. 212, 315-331 (1975)

  9. 9.

    Coifman, RR, Meyer, Y: Commutateurs d’intégrales singulières et opérateurs multilinéaires. Ann. Inst. Fourier (Grenoble) 28, 177-202 (1978)

  10. 10.

    Grafakos, L, Torres, R: Multilinear Calderón-Zygmund theory. Adv. Math. 165, 124-164 (2002)

  11. 11.

    Grafakos, L, Kalton, N: Multilinear Calderón-Zygmund operators on Hardy spaces. Collect. Math. 52, 169-179 (2001)

  12. 12.

    Grafakos, L, Torres, R: On multilinear singular integrals of Calderón-Zygmund type. Publ. Math. 46, Extra, 57-91 (2000)

  13. 13.

    Grafakos, L, Torres, R: Maximal operator and weighted norm inequalities for multilinear singular integrals. Indiana Univ. Math. J. 51, 1261-1276 (2002)

  14. 14.

    Hörmander, L: The Analysis of Linear Partial Differential Operators I, 2nd edn. Springer, Berlin (1990)

  15. 15.

    Benedek, A, Calerón, AP, Panzone, R: Convolution operators on Banach space valued functions. Proc. Natl. Acad. Sci. USA 48, 356-365 (1962)

Download references

Acknowledgements

The research was supported by Xinjiang Graduate Research and Innovation Project (Grant No. 2014011) and National Natural Science Foundation of China (Grant No. 11261055).

Author information

Correspondence to Jiang Zhou.

Additional information

Competing interests

The authors declare that they do not have any commercial or associative interest that represents a conflict of interest in connection with the work submitted.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

MSC

  • 42B20
  • 42B35
  • 47B38

Keywords

  • BMO space
  • commutator
  • Lipschitz space
  • Morrey space