- Research
- Open access
- Published:
Bilinear Calderón-Zygmund operators on Sobolev, BMO and Lipschitz spaces
Journal of Inequalities and Applications volume 2015, Article number: 391 (2015)
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.
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.
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,
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)\).
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.
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
Then we also define
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.
(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})\).
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\).
Definition 2.3
Let \(0<\alpha<1\). The Lipschitz space is defined by
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.
Definition 2.4
Let \(0< s<1\). The homogeneous Sobolev space is defined by
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 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
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 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})\).
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
Similarly, by \(B(x,2r)\subset B(y,3r)\), we also have
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
Choosing \(0<\beta_{1}<\delta-\alpha\), we have
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})}\).
(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
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|\).
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})\),
Now we give the decomposition of the term of \(\mathrm{II}_{2}\),
For \(B(x,3r)\subset B(y,4r)\), we have
Choosing \(0<\alpha_{21},\alpha_{22}<\alpha_{2}\) with \(\alpha_{2}=\alpha _{21}+\alpha_{22}\), then
With a similar argument to \(\mathrm{II}_{22}\), we obtain
Since \(\tilde{B}:=B(y,2r)\subset B(x,3r)\subset2\tilde{B}\), condition (2.3) and [10], Lemma 2, we have
It is easy to verify that
Therefore,
that is,
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
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|)\).
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
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
With a similar argument to the estimate for \(\mathrm{III}_{1}\), we obtain
For \(\mathrm{III}_{22}\), choose \(0<\alpha_{1},\alpha_{2}<\alpha\) such that \(\alpha_{1}+\alpha_{2}=\alpha\), then
To control \(\mathrm{III}_{24}\) we use condition (2.3), that is, for any \(0< r< R\),
to obtain
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
Finally, it is easy to see that
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})}\).
Combining the estimates above, we obtain
This concludes the proof of the theorem. □
References
Coifman, R, Rochberg, R, Weiss, G: Factorization theorems for Hardy spaces in several variables. Ann. Math. 103, 611-635 (1976)
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)
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)
Meyer, Y, Cofiman, R: Wavelets: Caldrón-Zygmund and Multilinear Operators. Cambridge Studies in Advanced Mathematics, vol. 48. Cambridge University Press, Cambridge (1997)
Gatto, AE, García-Cuerva, J: Lipschitz spaces and Calderón-Zygmund operators associated to non-doubling measures. Publ. Math. 49, 285-296 (2005)
Zhou, J, Wang, DH: Lipschitz spaces and fractional integral operators associated to non-homogeneous metric measure spaces. Abstr. Appl. Anal. 2014, 174010 (2014)
Kenig, C, Stein, E: Multilinear estimates and fractional integration. Math. Res. Lett. 6, 1-15 (1999)
Coifman, RR, Meyer, Y: On commutators of singular integral and bilinear singular integrals. Trans. Am. Math. Soc. 212, 315-331 (1975)
Coifman, RR, Meyer, Y: Commutateurs d’intégrales singulières et opérateurs multilinéaires. Ann. Inst. Fourier (Grenoble) 28, 177-202 (1978)
Grafakos, L, Torres, R: Multilinear Calderón-Zygmund theory. Adv. Math. 165, 124-164 (2002)
Grafakos, L, Kalton, N: Multilinear Calderón-Zygmund operators on Hardy spaces. Collect. Math. 52, 169-179 (2001)
Grafakos, L, Torres, R: On multilinear singular integrals of Calderón-Zygmund type. Publ. Math. 46, Extra, 57-91 (2000)
Grafakos, L, Torres, R: Maximal operator and weighted norm inequalities for multilinear singular integrals. Indiana Univ. Math. J. 51, 1261-1276 (2002)
Hörmander, L: The Analysis of Linear Partial Differential Operators I, 2nd edn. Springer, Berlin (1990)
Benedek, A, Calerón, AP, Panzone, R: Convolution operators on Banach space valued functions. Proc. Natl. Acad. Sci. USA 48, 356-365 (1962)
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
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they do not have any commercial or associative interest that represents a conflict of interest in connection with the work submitted.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wang, D., Zhou, J. Bilinear Calderón-Zygmund operators on Sobolev, BMO and Lipschitz spaces. J Inequal Appl 2015, 391 (2015). https://doi.org/10.1186/s13660-015-0915-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0915-x