1 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) on several function spaces (see [1‐6]). In recent years, multilinear singular integrals of Calderón-Zygmund type and fractional integral type have attracted a lot of attention (see [7‐14]). 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.
$$Tf(x)= \int_{\mathbb{R}^{n}}K(x,y)f(y)\,dy, $$
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). $$
Anzeige
The m-linear Calderón-Zygmund operators T is defined by 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:
whenever \(|x-x'|\leq\frac{1}{2}\mathop{\max} _{1\leq j\leq m}|x-y_{j}|\) and also for each j
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)\).
$$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}, $$
$$\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)
$$\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)
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.
2 Definitions and main results
We first give the definition of bilinear Calderón-Zygmund operators.
Anzeige
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 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), and for any \(0< r< R\), here and
$$ \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)
$$ \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)
$$ \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)
$$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}) $$
$$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, where the first, third, and fourth integrals are absolutely convergent. The second integral converges by property (2.2) of kernel K.
$$\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}$$
(iii) If the functions \(f_{1}\) and \(f_{2}\) have compact support, then the difference between T and T̃ is the constant 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})\).
$$- \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}, $$
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 where \(m_{B}(f)=\frac{1}{|B|}\int_{B}f(y)\,dy\).
$$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\} , $$
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\), 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.
$$\|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}. $$
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})\).
Theorem 2.1
Let
\(0<\alpha<\delta\leq1\)
and
T̃
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:
(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})}. $$
(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:
(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})}. $$
(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}. $$
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
T̃
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:
(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})}. $$
(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:
(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})}. $$
(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:
(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})}. $$
(ii)
If there exists some
\(j\in\{1,2\}\)
such that
\(f_{j}(x)\equiv1\), then
\(T(f_{1},f_{2})(x)\equiv0\).
3 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 Then condition (ii) implies that Therefore, where \(B=B(x,r)\) with \(r=|x-y|\) taking \(\epsilon< r\) and \(\lambda= m_{B}(f_{1})\).
$$\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}$$
$$\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. $$
$$\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}$$
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, 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})}\).
$$\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}$$
(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 where here \(r=|x-y|\).
$$\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}, $$
$$\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}$$
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, that is, this completes the proof of Theorem 2.4. □
$$\bigl|\tilde{T}(f_{1},f_{2}) (x)-\tilde{T}(f_{1},f_{2}) (y) \bigr|\lesssim |x-y|^{\alpha_{1}+\alpha_{2}}, $$
$$\bigl\| \tilde{T}(f_{1},f_{2})\bigr\| _{Lip_{\alpha_{1}+\alpha_{2}}(\mathbb {R}^{n})}\lesssim1, $$
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}\), where \(B=B(x,|x-y|)\).
$$\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}$$
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 then
$$\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}$$
$$\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\), to obtain
$$\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, $$
$$\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}}\), 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})}\).
$$\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}$$
Combining the estimates above, we obtain This concludes the proof of the theorem. □
$$\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})}. $$
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).
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.
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.