Abstract
Commutators of a large class of bilinear operators and multiplication by functions in a certain subspace of the space of functions of bounded mean oscillations are shown to be jointly compact. Under a similar commutation, fractional integral versions of the bilinear Hilbert transform yield separately compact operators.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The smoothing effect of commutators of linear operators is nowadays a well known and very useful fact. For the purposes of this paper, “smoothing” will mean the improvement of boundedness to the stronger condition of compactness. A pilar for such considerations in linear setting is the work of Uchiyama [23], where he showed that linear commutators of Calderón–Zygmund operators and pointwise multiplication with a symbol belonging to an appropriate subspace of the John-Nirenberg space \(BMO\) are compact. Thus, indeed, these commutators behave better than just being bounded, a result earlier proved by Coifman et al. [10]. Once compactness is established, one can derive a Fredholm alternative for equations with appropriate coefficients in all \(L^p\) spaces with \(1<p<\infty \), as in the work of Iwaniec and Sbordone [15]. Similarly, the theory of compensated compactness of Coifman et al. [9] or the integrability theory of Jacobians, see, for example, the work of Iwaniec [14], owe a lot to the smoothing effect of commutators.
Bilinear commutators are naturally appearing operators in harmonic analysis, which leads to the equally relevant question about their smoothing behavior. For a bilinear operator \(T\), and \(b\) an appropriately smooth function, we will consider the following bilinear commutators:
The notion of compactness in bilinear setting goes back to Calderón’s foundational article [4]. Using the terminology in the work of Bényi and Torres [1], we will be considering here the joint compactness (or simply compactness) and separate compactness of such bilinear operators.
Given three normed spaces \(X, Y, Z\), a bilinear operator \(T: X\times Y\rightarrow Z\) is said to be (jointly) compact if the set \(\{T(x, y): \Vert x\Vert , \Vert y\Vert \le 1\}\) is precompact in \(Z\). Writing \(B_{1, X}\) for the closed unit ball in \(X\), the definition of compactness specifically requires that if \(\{(x_n,y_n)\}\subseteq B_{1,X}\times B_{1,Y}\), then the sequence \(\{T(x_n,y_n)\}\) has a convergent subsequence in \(Z\). Clearly, any compact bilinear operator \(T\) is continuous.
We say that \(T:X\times Y\rightarrow Z\) is compact in the first variable if \(T_y=T(\cdot , y): X\rightarrow Z\) is compact for all \(y\in Y\). \(T\) is called compact in the second variable if \(T_x=T(x, \cdot ): Y\rightarrow Z\) is compact for all \(x\in Y\). Finally, \(T\) is called separately compact if \(T\) is compact both in the first and second variable. While, in general, it is only true that separate compactness implies separate continuity, if we further consider one of the spaces \(X\) or \(Y\) to be Banach, the boundedness of \(T\) follows from separate compactness as well. For more on these notions of compactness and their basic properties, we refer the interested reader to [1].
Throughout this paper, the relevant space for the multiplicative symbols in our commutators will be a subspace of \(BMO\), which we denote by \(CMO\).Footnote 1 Recall that \(BMO\) consists of all locally integrable functions \(b\) with \(\Vert b\Vert _{BMO}<\infty \), where \(\Vert b\Vert _{BMO}=\sup _{Q}\frac{1}{|Q|}\int _Q |b-b_Q|\,dx,\) with the supremum taken over all cubes \(Q\in {\mathbb {R}}^n\) and \(b_Q=\frac{1}{|Q|}\int _Q b\,dx\) denoting the average of \(b\) on \(Q\). We define \(CMO\) to be the closure of \(C_c^\infty ({\mathbb {R}}^n)\) in the \(BMO\) norm.
Consider for the moment \(T\) to be a bilinear Calderón–Zygmund operator as defined by Grafakos and Torres [13]. For simplicity, we further assume that the kernels \(K\) and \(\nabla K\) satisfy the appropriate decay conditions in such theory. If \(b, b_1, b_2\in BMO\), the bilinear commutators can be (formally) expressed in the form
The main result proved in [1] confirms that the smoothing effect of commutators of such operators with \(CMO\) symbols is present in the bilinear setting as well; thus also extending Uchiyama’s result mentioned before to bilinear commutators. In fact, one has the following.
Theorem A
Let \(T\) be a bilinear Calderón–Zygmund operator. If \(b\in CMO, 1/p+1/q=1/r, 1<p,q<\infty \) and \(1\le r <\infty \), then, for \(i=1, 2, [T, b]_i: L^p\times L^q\rightarrow L^r\) is compact.
The proof of Theorem A, as well as the main results proved in this work and other compactness results in the literature, make use of a known characterization of precompactness in Lebesgue spaces, known as the Fréchet–Kolmogorov–Riesz theorem; see, for example, Yosida’s book [25].
Theorem B
Let \(1\le r<\infty \). A subset \({\mathcal {K}}\subseteq L^r\) is compact if and only if the following three conditions are satisfied:
- (a):
-
\({\mathcal {K}}\) is bounded in \(L^r\);
- (b):
-
\(\lim _{A\rightarrow \infty } \int _{|x|>A}|f(x)|^r\,dx=0\) uniformly for \(f\in {\mathcal {K}}\);
- (c):
-
\(\lim _{t\rightarrow 0}\Vert f(\cdot +t)-f\Vert _{L^r}=0\) uniformly for \(f\in {\mathcal {K}}\).
The goal of this paper is two fold. First, it aims to extend Theorem A to a larger class of bilinear operators, denoted by \(\{T_{\upalpha }\}_{{\upalpha }>0}\), that has as limiting case for \({\upalpha }= 0\) the bilinear Calderón–Zygmund operators. This is obtained in Theorem 2.1 below. Second, it investigates a more singular version of these operators, whose limiting case is the bilinear Hilbert transform, and shows that the smoothing phenomenon, albeit weaker, is still present under commutation. This is achieved in Theorem 3.2.
2 Compactness for commutators of the class \(\{T_{\upalpha }\}\)
We begin by defining the larger class of bilinear operators \(\{T_{\upalpha }\}\), with \({\upalpha }\) in some appropriate open interval contained in \({\mathbb {R}}\).
Fix \(0<{\upalpha }<2n\) and let \(K_{\upalpha }(x,y,z)\) be a kernel on \({\mathbb {R}}^{3n}\) defined away from \(x=y=z\) that satisfies
and
with the analogous estimates in the \(y\) and \(z\) variables. We consider the bilinear operator \(T_{\upalpha }\)
defined a priori for, say, \(f,g\) bounded and with compact support. It is easy to see that they extend with the same integral definition (3) to bounded operators from \(L^p \times L^q \rightarrow L^r\) provided \(0<{\upalpha } < 2n, 1 < p,q < \infty ,\, {\upalpha }/n< 1/p+1/q\), and \(1/r = 1/p + 1/q- {\upalpha }/n\). Clearly, the analog kernels for \({\upalpha }=0\) correspond to a bilinear Calderón–Zygmund kernel, see again [13].
The typical example of the above operators is, of course, the bilinear Riesz potential operator \({\mathcal {I}}_{\upalpha }\), given by the kernel
The first relevant observation about the family \(\{T_{\upalpha }\}\) is that, with respect to boundedness, its commutators behave similarly as in the “end-point” case \({\upalpha }=0\).
Theorem C
Let \(0<{\upalpha }<2n, 1<p,q<\infty , r\ge 1, \frac{{\upalpha }}{n}<\frac{1}{p}+\frac{1}{q} , \frac{1}{r}=\frac{1}{p}+\frac{1}{q}-\frac{{\upalpha }}{n}\) and \(b \in BMO\). The following estimates hold:
As usual, the notation \(x\lesssim y\) indicates that \(x\le Cy\) with a positive constant \(C\) independent of \(x\) and \(y\). For a proof of the above boundedness properties, see the papers by Chen and Xue [7] and Lian and Wu [18]. In the linear case the corresponding result goes back to the work of Chanillo [5]. The results for the multilinear Calderón–Zygmund case used in Theorem A were addressed by Pérez and Torres [21], Tang [22], and Lerner, Ombrosi, Pérez, Torres and Trujillo-González [17].
Our real interest, however, lies in the possibility of improving boundedness to compactness. In the linear case, the compactness of the commutators of fractional integrals and multiplication by appropriate functions has already received some attention in several contexts. See, for example, the work of Chen et al. [8] where the compactness in the usual Lebesgue measure case is traced back to Wang [24]. See also Betancor and Fariña’s work [3] for the setting of non-doubling measures; the boundedness in this case was obtained by Chen and Sawyer [6].
We note that Theorem B intrinsically assumes that \(r\ge 1\). The boundedness result in Theorem C of the operators \([T_{\upalpha }, b]_1, [T_{\upalpha }, b]_2\) when \(r>1\), and \(1/p+1/q<1\), can be alternately obtained as follows. The kernel bound (1), implies that
As shown by Moen [19], the operator \({\mathcal {I}}_{\upalpha }\) satisfies appropriate weighted estimates. Therefore, so does \(T_{\upalpha }\), and we can use the “Cauchy integral trick”. An exposition of this “trick” can be found in the proof of Theorem 3.1, which deals with the more singular versions \(BI_{\upalpha }\) of the operators \(T_{\upalpha }\). Our first main result is an extension of Theorem A that encompasses the commutators of the family \(\{T_{\upalpha }\}_{0<{\upalpha }< 2n}\).
Theorem 2.1
Let \(0< {\upalpha }<2n, 1<p,q<\infty , 1\le r<\infty , \frac{{\upalpha }}{n}< \frac{1}{p}+\frac{1}{q}, \frac{1}{r}=\frac{1}{p}+\frac{1}{q}-\frac{{\upalpha }}{n},\) and let \(b\in CMO\). If \(T_{\upalpha }\) is the bilinear operator defined by (3) whose kernel \(K_{\upalpha }\) satisfies (1) and (2), then \([T_{\upalpha }, b]_1, [T_{\upalpha }, b]_2: L^p\times L^q\rightarrow L^r\) are compact.
Proof
We will work with \([T_{\upalpha }, b]_1\); by symmetry, the proof for \([T_{\upalpha }, b]_2\) is the same. By the form of the norm estimates in Theorem C, density, and the results about limits of compact bilinear operators in the operator norm proved in [1], we may assume that \(b\in C_c^\infty \). Denote by \(B_{1,p}\) and \(B_{1,q}\) the unit balls in \(L^p\) and \(L^q\), respectively and let \({\mathcal {K}}=[T_{\upalpha }, b]_1 (B_{1,p},B_{1,q})\). Since \([T_{\upalpha }, b]_1\) is a bounded operator, see Theorem C, it is clear that \({\mathcal {K}}\) is a bounded set in \(L^r\), thus fulfilling condition (a) in Theorem B. We now aim to show that condition (b) in Theorem B holds.
We introduce the following two indices:
Clearly, \({\upalpha }_p + {\upalpha }_q = {\upalpha }\). Since \(1/p+1/q - {\upalpha }/n >0\), there exist \(s_p>p>1 \) and \(s_q>q>1\) such that
Now, since \(p, q>1\), we see that \(n>\max ({\upalpha }_p, {\upalpha }_q)\). In particular, this yields
Pick now \(R>1\) large enough so that \(R>2\max \{|x|: x\in \text {supp}\,b\}\). Using (1) we see that, for \(|x|>R\), we have
Here, we abused a bit the notation and wrote \(I_{\upalpha }\) also for the linear Riesz potential, \(I_{\upalpha }(f)(x)=\int _{{\mathbb {R}}^n} \frac{f(x)}{|x-y|^{n-{\upalpha }}}\,dy\). Next, we observe that, since \(s_p (n- {\upalpha }_p)=np > n,\) the function \(|x|^{s_p ({\upalpha }_p-n)}\) is integrable at infinity. Therefore, for a given \({\upvarepsilon }>0\), we will be able to select an \(R=R({\upvarepsilon })\) (but independent of \(f\) and \(g\)) such that
Notice now that the indices \(s_p, s_q>1\) satisfy \(1/r =1/s_p +1/s_q\). Therefore, we can raise the previous point-wise estimate on \(|[T_{\upalpha }, b]_1 (f,g)(x)|\) to the power \(r\), integrate over \(|x|>R\), and use the Hölder inequality and the \(L^q\rightarrow L^{s_q}\) boundedness of \(I_{{\upalpha }_q}\) to get
this, in turn, proves that condition (b) in Theorem B is satisfied.
Next, we will use the smoothness of \(b\) and that of the kernel \(K_{\upalpha }\) to show that condition (c) in Theorem B holds; specifically, we want to show that
We use the following splitting from [1]:
where, for \({\updelta }>0\) to be chosen later, we have
The term \(A\) is easy to handle with the mean value theorem; we have
Consequently, we obtain
We now consider the terms \(B, C\) and \(D\).Footnote 2 We start with \(B\).
Note now that
where \(B_r(x)\) denotes the ball of radius \(r\) centered at \(x\). Therefore, we can further estimate
where
Since the operator \({\mathcal {M}}_{\upalpha }(f,g)\) is pointwise smaller than \(I_{\upalpha }(|f|,|g|)\), we get \({\mathcal {M}}_{\upalpha }:L^p\times L^q\rightarrow L^r\). In turn, this yields
Let us now estimate the \(C\) term.
From here, we get
For the last term \(D\) we have an identical estimate to the \(C\) term, except that \(x\) is now replaced by \(x+t\). We have
Thus, as above, we get
Let \(1>{\upvarepsilon }>0\) be given. For each \(0< |t| < {\upvarepsilon }^2\) we now select \({\updelta }= |t|/{\upvarepsilon }\). Estimates (4), (5), (6) and (7) then prove
that is, condition (c) in Theorem B holds. \(\square \)
Remark
Iterated commutators can be considered as well. For example, one can look at operators of the form
For bilinear Calderón–Zygmund operators, the boundedness of such operators was studied in [22], see also the work by Pérez et al. [20], while for bilinear fractional integrals they were addressed in [18]. As pointed out in [1], the compactness of the iterated commutators is actually easier to prove. The interested reader may adapt the arguments in [1] to our current situation \(\{T_{\upalpha }\}\).
3 Separate compactness for commutators of the class \(\{BI_{\upalpha }\}\)
We will now examine a more singular family of bilinear fractional integral operators,
These operators were first introduced by Grafakos in [11], and later studied by Grafakos and Kalton [12] and Kenig and Stein [16]. We can view them as fractional versions of the bilinear Hilbert transform
For \(i=1, 2\) and \(b\in BMO\), we define the commutators \([BI_{\upalpha }, b]_i\) similarly to those of the operators \(T_{\upalpha }\). First, we prove that the commutators \([BI_{\upalpha }, b]_i, i=1, 2\), are bounded. Our proof makes use of what we call the “Cauchy integral trick”.
Theorem 3.1
Let \(0<{\upalpha }<n, 1<p, q, r<\infty , \frac{1}{p}+\frac{1}{q}<1, \frac{1}{r}=\frac{1}{p}+\frac{1}{q}-\frac{{\upalpha }}{n}\), and \(b\in BMO\). Then, for \(i=1, 2\), we have
Proof
We will work with the commutator in the first variable; the proof for the second variable is identical. We define \(s>1\) by \(\frac{1}{s}=\frac{1}{p}+\frac{1}{q}\). As observed by Bernicot et al. [2], see also [19], if \(1<s<r\) satisfy \(\frac{1}{s}-\frac{1}{r}=\frac{{\upalpha }}{n}\), then \(BI_{\upalpha }\) is bounded on appropriate product weighted Lebesgue spaces; we have
where \(w_1,w_2\in A_{s, r}\), that is, for \(i=1, 2\),
Without loss of generality, we may assume \(f, g\in C_c^{\infty }({\mathbb {R}}^n)\) and \(b\) is real valued. For \(z\in \mathbb C\), consider the holomorphic function (in \(z\))
and notice that by the Cauchy integral formula, for \({\upvarepsilon }>0\),
Since \(r>1\), we can use Minkowski’s integral inequality to obtain
and
For \({\upvarepsilon }>0, {\upvarepsilon }\lesssim \Vert b\Vert _{BMO}^{-1}\), and \(|t|\le {\upvarepsilon }\), by John-Nirenberg’s inequality, we have \(e^{tb}\in A_{s, r}\). Therefore, by (8) with \(w_1=e^{p(\text {Re}\, z)b}\) and \(w_2=1\), we have
The desired result follows from here. \(\square \)
Theorem 3.2
Let \(0< {\upalpha }<n, 1<p, q, r<\infty , \frac{1}{p}+\frac{1}{q}<1, \frac{1}{r}=\frac{1}{p}+\frac{1}{q}-\frac{{\upalpha }}{n}\), and \(b\in CMO\). Then, \([ BI_{\upalpha }, b]_1, [BI_{\upalpha },b]_2: L^p\times L^q\rightarrow L^r\) are separately compact.
Proof
We will work again with the commutator in the first variable. By a change of variables, this commutator can be rewritten as
We may assume that \(b\in C_c^\infty ({\mathbb {R}}^n)\) and aim to prove that the conditions (a), (b) and (c) of Theorem B hold for the family of functions \([BI_{\upalpha }, b]_1(f,g)\), where \(g\in L^q\) is fixed and \(f\in B_{1, p}\).
By Theorem 3.1, we already know that condition (a) is satisfied. Thus, we concentrate on proving (b) and (c).
The estimates that yield (b) are reminiscent of the ones used in the proof of Theorem 2.1. Assume \(R>1\) is large enough so that \(|x|\ge R\) implies \(x\notin \) supp \(b\).
Then
Let us write \(\frac{1}{s}=\frac{1}{p}+\frac{1}{q}<1= \frac{1}{q}+\frac{1}{q'}\); so \(q'<p\). As such, we can further estimate
Now, we raise to the power \(r\) and integrate with respect to \(x\) over the set \(|x|>R\). Notice that, since \(s>1\), we have \(\frac{1}{r}=\frac{1}{s}-\frac{{\upalpha }}{n}<\frac{n-{\upalpha }}{n} \Leftrightarrow r(n-{\upalpha })>n.\) This allows us, for a given \({\upvarepsilon }>0\), to control
by taking \(R=R({\upvarepsilon })>0\) sufficiently large; which shows that, indeed, (b) is satisfied.
We are left to show the continuity condition (c), that is,
uniformly for \(\Vert f\Vert _{L^{p}}\le 1\) and \(g\in L^q\) fixed. First, we lump our fixed function \(g\) into a general kernel
where
Second, we split the commutator \([BI_{\upalpha }, b]_1\) by following the decomposition used for \([T_{\upalpha }, b]_1\). Namely, we write
where
We will now estimate each term in this decomposition. For \(A\), the estimate is immediate. We clearly have \(|A(x)|\le |t|\Vert \nabla b\Vert _\infty BI_{\upalpha }(|f|, |g|)(x).\) Since \(BI_{\upalpha }\) is \(L^p\times L^q\rightarrow L^r\) bounded, we get \(\Vert A\Vert _{L^r}\lesssim |t|\Vert f\Vert _{L^{p}}\Vert g\Vert _{L^{q}}.\)
The estimate for the \(B\) term is the most delicate. To facilitate the ease of reading, we postpone it until the end of the proof.
We estimate \(C\) as follows:
where \(BM_{\upalpha }\) is the associated bilinear fractional maximal operator,
The estimate for \(D(x)\) is similar; we now have
Again, since \(BM_{\upalpha }(f,g)\lesssim BI_{\upalpha }(|f|,|g|)\), we have \(BM_{\upalpha }:L^p\times L^q\rightarrow L^r\). Thus, similarly to \(A\), we get \(\Vert C\Vert _{L^r}\lesssim {\updelta }\Vert f\Vert _{L^{p}}\Vert g\Vert _{L^{q}}\) and \(\Vert D\Vert _{L^r}\lesssim ({\updelta }+|t|)\Vert f\Vert _{L^{p}}\Vert g\Vert _{L^{q}}.\)
Finally, we turn our attention to \(B\).
To estimate \(E\), we note that
which implies
Here, \({\uptau }_a\) is the shift operator \({\uptau }_ag(x)=g(x+a)\). It follows from the boundedness of \(BM_{\upalpha }\) that
For \(F(x)\) we have
so
Since \(g\in L^{q}\), for a given \({\upvarepsilon }>0\) we can find \({\upgamma }={\upgamma }({\upvarepsilon },g)>0\) such that \(|t|<{\upgamma }\) implies
Finally, by choosing \(|t|<{\upvarepsilon }^2\) and \({\updelta } =|t|/{\upvarepsilon }\) we get that
This shows that (c) holds, thus finishing our proof for the compactness in the first variable.
We now show that \([BI_{\upalpha },b]_1\) is compact in the second variable, that is, \([BI_{\upalpha },b]_1(f,\cdot ): L^q\rightarrow L^r\) is compact for a fixed \(f\in L^p\). Conditions (a) and (b) of Theorem B follow from similar calculations to those performed above. Thus we will check condition (c) of Theorem B. For \(f\in L^p\) fixed and \(g\in B_{1,q}\) we write
where this time we combine \(f\) with the kernel:
Before proceeding further, we make one reduction. Notice that
The first term in the sum (9) is bounded by
and the \(L^r\) norm of this quantity will go to zero uniformly for \(g\in B_{1,q}\) as \(t\rightarrow 0\). Thus it remains to estimate
where
The estimates for \(G,H,I,\) and \(J\) are handled similarly to the corresponding estimates for \(A,B,C,\) and \(D\) above, again, with \(H\) being the most complicated. For example the estimates for \(G,I,\) and \(J\) are as follows:
and
Finally, for \(H\) we have
These estimates show that \([BI_{\upalpha },b]_1(f,g)\) is compact in the second variable as well, thus showing that it is separately compact. \(\square \)
A close inspection of the proof of Theorem 3.2 shows that we barely miss proving joint compactness. Indeed, the only non-uniform estimate concerns the very last terms, which we denote by \(F\) and \(H\), where we use the fact that we can make the quantity \(\Vert {\uptau }_{2t}g-g\Vert _{L^{q}}\) (or \(\Vert {\uptau }_{2t}f-f\Vert _{L^p}\)) small by taking \(t\) sufficiently small and, crucially, dependent on \(g\) (or \(f\)). Thus, our method of proof only yields separate compactness. Compared to the nicely behaved operators \(T_{\upalpha }\), we have in effect a weaker smoothing property of the commutators of the more singular bilinear fractional integrals, \(BI_{\upalpha }\).
The remarks above motivate the following question.
Question 3.3
For \(b\in CMO\), are the commutators \([BI_{\upalpha }, b]_i, i=1,2,\) jointly compact?
The techniques used in this section can be applied to commutators of the \(BHT\), if, a priori, we know that its commutators are bounded. Specifically, if we assume that \([BHT,b]_1:L^p\times L^q\rightarrow L^r\), then \([BHT,b]_1\) is separately compact for \(b\in CMO\); a similar result holds for \([BHT,b]_2\). This leads to the following natural question about the bilinear Hilbert transform.
Question 3.4
For \(b\in BMO\), are the commutators \([BHT,b]_i, i=1,2,\) bounded from \(L^p\times L^q\rightarrow L^r\)?
References
Bényi, Á., Torres, R.H.: Compact bilinear operators and commutators. Proc. Am. Math. Soc. 141(10), 3609–3621 (2013)
Bernicot, F., Maldonado, D., Moen, K., Naibo, V.: Bilinear Sobolev–Poincaré inequalities and Leibniz-type rules. J. Geom. Anal. 24, 1144–1180 (2014)
Betancor, J.J., Fariña, J.C.: A note on compactness of commutators for fractional integrals associated with nondoubling measures. Z. Anal. Anwend. 26, 331–339 (2007)
Calderón, A.P.: Intermediate spaces and interpolation, the complex method. Studia Math. 24, 113–190 (1964)
Chanillo, S.: A note on commutators. Indiana Univ. Math. J. 31, 7–16 (1982)
Chen, W., Sawyer, E.: A note on commutators of fractional integrals with \(RBMO(\mu )\) functions. Illinois J. Math. 46, 1287–1298 (2002)
Chen, X., Xue, Q.: Weighted estimates for a class of multilinear fractional type operators. J. Math. Anal. Appl. 362, 355–373 (2010)
Chen, Y., Ding, Y., Wang, X.: Compactness of commutators of Riesz potential on Morrey spaces. Potential Anal. 30, 301–313 (2009)
Coifman, R.R., Lions, P.L., Meyer, Y., Semmes, S.: Compensated compactness and Hardy spaces. J. Math. Pures Appl. 72, 247–286 (1993)
Coifman, R., Rochberg, R., Weiss, G.: Factorization theorems for Hardy spaces in several variables. Ann. Math. 103, 611–635 (1976)
Grafakos, L.: On multilinear fractional integrals. Studia Math. 102, 49–56 (1992)
Grafakos, L., Kalton, N.: Some remarks on multilinear maps and interpolation. Math. Ann. 319, 151–180 (2001)
Grafakos, L., Torres, R.H.: Multilinear Calderón-Zygmund theory. Adv. Math. 165, 124–164 (2002)
Iwaniec, T.: Nonlinear commutators and Jacobians. J. Fourier Anal. Appl. 3, 775–796 (2007)
Iwaniec, T., Sbordone, C.: Riesz transform and elliptic PDEs with VMO coefficients. J. Anal. Math. 74, 183–212 (1998)
Kenig, C., Stein, E.: Multilinear estimates and fractional integration. Math. Res. Lett. 6, 1–15 (1999)
Lerner, A., 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, 1222–1264 (2009)
Lian, J., Wu, H.: A class of commutators for multilinear fractional integrals in nonhomogeneous spaces. J. Inequal. Appl., vol. 2008, Article ID 373050, 17 pages
Moen, K.: New weighted estimates for bilinear fractional integrals. Trans. Am. Math. Soc. 366, 627–646 (2014)
Pérez, C., Pradolini, G., Torres, R.H., Trujillo-González, R.: End-points estimates for iterated commutators of multilinear singular integrals. Bull. Lond. Math. Soc. 46(1), 26–42 (2014)
Pérez, C., Torres, R.H.: Sharp maximal function estimates for multilinear singular integrals. Contemp. Math. 320, 323–331 (2003)
Tang, L.: Weighted estimates for vector-valued commutators of multilinear operators. Proc. R. Soc. Edinburgh Sect. A 138, 897–922 (2008)
Uchiyama, A.: On the compactness of operators of Hankel type. Tôhoku Math. J. 30(1), 163–171 (1978)
Wang, S.: The compactness of the commutator of fractional integral operator (in Chinese). Chin. Ann. Math. 8(A), 475–482 (1987)
Yosida, K.: Functional Analysis. Springer, Berlin (1995)
Acknowledgments
This work was positively impacted by the interactions that occurred during Bényi’s and Torres’ stay at the Erwin Schrödinger Institute (ESI), Vienna, Austria, for the special semester on Modern Methods of Time-Frequency Analysis II. They wish to express their gratitude to the ESI and the organizers of the event for their support and warm hospitality.
Author information
Authors and Affiliations
Corresponding author
Additional information
Á. B. partially supported by a grant from the Simons Foundation (No. 246024). K. M. and R. H. T. partially supported by NSF Grants 1201504 and 1069015, respectively.
Rights and permissions
About this article
Cite this article
Bényi, Á., Damián, W., Moen, K. et al. Compactness properties of commutators of bilinear fractional integrals. Math. Z. 280, 569–582 (2015). https://doi.org/10.1007/s00209-015-1437-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-015-1437-4
Keywords
- Bilinear operators
- Compact operators
- Singular integrals
- Calderón–Zygmund theory
- Commutators
- Fractional integrals
- Weighted estimates