Abstract
In this paper we consider bilinear sparse forms intimately related to iterated commutators of a rather general class of operators. We establish Bloom weighted estimates for these forms in the full range of exponents, both in the diagonal and off-diagonal cases. As an application, we obtain new Bloom bounds for commutators of (maximal) rough homogeneous singular integrals and the Bochner–Riesz operator at the critical index. We also raise the question about the sharpness of our estimates. In particular we obtain the surprising fact that even in the case of Calderón–Zygmund operators, the previously known quantitative Bloom bounds are not sharp for the second and higher order commutators.
Similar content being viewed by others
1 Introduction
Let \({{\mathcal {S}}}\) be a sparse family of dyadic cubes, let \(b\in L^1_{\text {loc}}({{\mathbb {R}}}^n)\), \(m\in {{\mathbb {N}}}\) and \(1\le r<s\le \infty \). The key object of study in this paper is the bilinear sparse form defined by
This object appears naturally when one studies iterated commutators of various operators T and pointwise multiplication by b.
Let \(r<p,q<s\) and let \(\mu , \lambda \) be weights. Our goal is to obtain quantitative weighted \(L^p(\mu )\times L^{q'}(\lambda ^{1-q'})\)-bounds for \({{\mathcal {B}}}_{{{\mathcal {S}}},b,r,s}^m\) in the Bloom setting [2] both in the diagonal and off-diagonal cases. By the Bloom setting one means that an assumption on b is imposed in terms of the Bloom weight \(\nu \) depending on \(\mu \) and \(\lambda \) in a suitable way.
In the following cases the Bloom bounds for \({{\mathcal {B}}}_{{\mathcal S},b,r,s}^m\) have been considered before:
-
\(r>1\), \(s=\infty \), \(m\ge 1\) and \(p=q\) [24].
Our results below are quantitative and cover all possible combinations of \(1\le r<p,q<s\le \infty \) and \(m\ge 1\). In particular, the bounds we obtain are new in the following settings:
-
Limited range: \(r>1\) or \(s<\infty \).
-
Iterated and off-diagonal: \(m>1\) and \(p\not =q\).
In the Bloom setting, prior works have been primarily focused on estimates for commutators of Calderón–Zygmund operators, which by [20, 21] boil down to estimates for \({\mathcal B}_{{{\mathcal {S}}},b,1,\infty }^m\). The study of the boundedness in the case \(m=1\) for these operators in the full range \(p,q \in (1,\infty )\) has recently been completed by Hänninen–Sinko and the second author [10]. For a comprehensive overview of the development of both unweighted and (Bloom) weighted estimates for these commutators, as well a discussion on the necessity of the conditions on b, we direct the reader to the introductions of, e.g. [10, 11, 14].
Our key application is a quantitative Bloom weighted estimate for iterated commutators of a rather general class of operators. This class includes, for example, Calderón–Zygmund operators, (maximal) rough homogeneous singular integral operators and Bochner–Riesz operators at the critical index. We refer to [22, Remark 4.4] for a further list of operators that fall within the scope of our theory. Note that for various operators on this list, no Bloom weighted (or even unweighted) commutator estimates were known previously.
Our approach will build upon a sparse domination procedure for commutators developed by Rivera-Ríos, the first and third authors [20], with subsequent generalizations by various authors. We will proceed in 3 steps:
-
(1)
In Sect. 3, we will prove that iterated commutators of certain sublinear operators T can be dominated by two sparse forms: \({{\mathcal {B}}}_{{{\mathcal {S}}},b,r,s}^m(f,g)\) and the dual form \({{\mathcal {B}}}_{{{\mathcal {S}}},b,s',r'}^m(g,f)\). Our key novel point here is in Lemma 3.4, which allows one to reduce \(m+1\) sparse forms to only 2 sparse forms.
-
(2)
We prove Bloom weighted estimates for \({{\mathcal {B}}}_{{{\mathcal {S}}},b,r,s}^m(f,g)\). To do so, we first extend a result of Li [23] and Fackler–Hytönen [8] to certain fractional sparse forms in Sect. 4. Afterwards, in Sect. 5 we combine the proof strategy of Hänninen, Sinko and the second author [10] with the change of measure formula of Cascante–Ortega–Verbitsky [4] to estimate \({{\mathcal {B}}}_{{{\mathcal {S}}},b,r,s}^m(f,g)\) in the Bloom setting. Furthermore, in the case \(q\le p\) and \(m \ge 2\), we provide a second Bloom weighted estimate for \({{\mathcal {B}}}_{{\mathcal S},b,r,s}^m(f,g)\) using a proof strategy suggested by Li [24]. In particular, Theorem 5.1 presents two incomparable quantitative bounds based on the approaches from [21] and [24].
-
(3)
Combining the first two steps, in Sect. 6, we obtain quantitative Bloom weighted estimates for iterated commutators. We apply this result to Calderón–Zygmund operators, (maximal) rough homogeneous singular integral operators and Bochner–Riesz operators at the critical index.
Since our estimates are quantitative, it is natural to ask about their sharpness. Here we encounter an interesting phenomenon, which is even new for Calderón–Zygmund operators. To be more precise, in [21], the first and the third authors jointly with Rivera–Ríos showed for a Calderón–Zygmund operator T and for \(m\ge 1\) (extending their previous work [20] for \(m=1\)) that
where \({{\,\textrm{BMO}\,}}_{\nu }\) stands for the weighed \({{\,\textrm{BMO}\,}}\) space with weight \(\nu :=(\mu /\lambda )^{1/pm}\), and \(T_b^m\) is the m-th order commutator of T with a locally integrable function b.
Intuitively, one could conjecture that (1.1) is sharp, since in the case of equal weights \(\lambda =\mu =w\) one obtains the sharp one-weight estimate proved in [6] by Chung, Pereyra and Pérez. However, following this intuition, any bound by \([\lambda ]_{A_p}^{\alpha _p}[\mu ]_{A_p}^{\beta _p}\) with \(\alpha _p\) and \(\beta _p\) satisfying
would be sharp.
Observe that the notion of sharpness in the Bloom setting (or in the two-weight setting, in general) has not been defined before. It is easy to see that a bound by \([\lambda ]_{A_p}^{\alpha _p}[\mu ]_{A_p}^{\beta _p}\) is stronger than a bound by \([\lambda ]_{A_p}^{\alpha '_p}[\mu ]_{A_p}^{\beta '_p}\) if and only if \(\alpha _p\le \alpha '_p\) and \(\beta _p\le \beta '_p\) and at least one of these inequalities is strict. In the case if, for example, \(\alpha _p<\alpha '_p\) and \(\beta _p>\beta '_p\), the bounds will be incomparable. This leads us to the following definition.
Definition 1.1
Let \(p\in (1,\infty )\), \(\mu ,\lambda \in A_p\) and let T be an operator. We say that the estimate
is sharp if neither of the exponents \(\alpha _p\) and \(\beta _p\) can be decreased.
Having this definition at hand, we are ready to present our result about the sharpness of (1.1). This result comes as a surprise to us because it says that the estimate (1.1) is sharp for all \(1<p<\infty \) only if \(m=1\). To be more precise, we have the following.
Theorem 1.2
Let T be a Dini-continuous Calderón–Zygmund operator.
-
(i)
If \(m=1\), then the estimate (1.1) is sharp for all \(p \in (1,\infty )\).
-
(ii)
If \(m\ge 2\), the estimate (1.1) is not sharp for all \(p\not \in [\frac{1+3m}{2m},\frac{1+3m}{m+1}]\).
In other words, if \(m\ge 2\) and \(p\not \in [\frac{1+3\,m}{2\,m},\frac{1+3\,m}{m+1}]\), the second Bloom weighted estimate obtained in Sect. 5 is incomparable with (1.1), and therefore, combined with the result from [6], a sharp bound for \(T_b^m\) in the sense of Definition 1.1 does not exist. Observe that Theorem 1.2 leaves open an interesting question about the sharpness of (1.1) when \(m\ge 2\) and \(p\in [\frac{1+3\,m}{2\,m},\frac{1+3\,m}{m+1}]\).
We shall see in Sect. 6 that a similar phenomenon with two incomparable bounds holds for a large class of operators.
1.1 Notation
We will make extensive use of the notation “\(\lesssim \)” to indicate inequalities up to an implicit multiplicative constant. These implicit constants may depend on p, q, n, m, but not on any of the functions under consideration. If these implicit constants depend on the weights \(\mu , \lambda \), this will be denoted by “\(\lesssim _{\mu ,\lambda }\)”.
2 Preliminaries
2.1 Dyadic lattices
Denote by \({{\mathcal {Q}}}\) the set of all cubes \(Q\subseteq {{\mathbb {R}}}^n\) with sides parallel to the axes. For a cube \(Q \in \mathcal {Q}\) with side length \(\ell (Q)\) and \(\alpha >0\) we denote the cube with the same center as Q and side length \(\alpha \ell (Q)\) by \(\alpha Q\).
Given a cube \(Q\in {{\mathcal {Q}}}\), denote by \({{\mathcal {D}}}(Q)\) the set of all dyadic cubes with respect to Q, that is, the cubes obtained by repeated subdivision of Q and each of its descendants into \(2^n\) congruent subcubes. Following [18, Definition 2.1], a dyadic lattice \({{\mathscr {D}}}\) in \({{\mathbb {R}}}^n\) is any collection of cubes such that
-
(i)
Any child of \(Q\in {{\mathscr {D}}}\) is in \({{\mathscr {D}}}\) as well, i.e. \(\mathcal {D}(Q) \subseteq \mathscr {D}\).
-
(ii)
Any \(Q',Q''\in {{\mathscr {D}}}\) have a common ancestor, i.e. there exists a \(Q\in {{\mathscr {D}}}\) such that \(Q',Q''\in {{\mathcal {D}}}(Q)\).
-
(iii)
For every compact set \(K\subseteq {{\mathbb {R}}}^n\), there exists a cube \(Q\in {{\mathscr {D}}}\) containing K.
Throughout the paper, \(\mathscr {D}\) will always denote a dyadic lattice.
Definition 2.1
Let \(\eta \in (0,1)\) and let \({{\mathcal {S}}}\subseteq \mathcal {Q}\) be a family of cubes. We say that \({{\mathcal {S}}}\) is \(\eta \)-sparse if, for every cube \(Q\in {{\mathcal {S}}}\), there exists a subset \(E_Q\subseteq Q\) such that \(|E_Q|\ge \eta |Q|\) and the sets \(\{E_Q\}_{Q\in {{\mathcal {S}}}}\) are pairwise disjoint. We will omit the sparseness number \(\eta \) when its value is non-essential.
For a cube \(Q \in \mathcal {Q}\) and \(f \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\) we define \(\langle f\rangle _Q:= \frac{1}{|Q|} \int _Q f\) and for \(r>0\) and a positive function \(f \in L^r_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\) we set
We define the maximal operator by
and set
2.2 Weights
By a weight w we mean a non-negative \(w \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\). For \(1<p<\infty \) we say that w belongs to the Muckenhoupt \(A_p\)-class and write \(w \in A_p\) if
For \(1 \le r<\infty \) we say that w belongs to reverse Hölder class and write \(w \in {\textrm{RH}_r}\) if
Furthermore, we say that w belongs to the Muckenhoupt \(A_\infty \)-class and write \(w \in A_{\infty }\) if
We will frequently use that by the definition of the \(A_p\)-constant, we have
Moreover, we have
by [12, Proposition 2.2].
The following quantitative self-improvement lemma from [13] will play a key role in our applications.
Proposition 2.2
([13, Theorem 1.1 and 1.2]) There exists a constant \(c_n>0\) such that for \(w \in A_p\) with \(1<p<\infty \) we have
with \(\varepsilon = \frac{p-1}{1+c_n[w]^{\frac{1}{p-1}}_{A_{p}}}\).
3 A sparse domination principle for commutators
In this section we will prove a general sparse domination principle for iterated commutators, following the line of research started in [20] by Rivera-Ríos and the first and the third authors. In order to state our result, let us introduce some notation.
Given a linear operator T and \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\), define the first order commutator \(T_b^1\) by
Next, for \(m\in {{\mathbb {N}}}, m\ge 2\), define higher order commutators \(T_b^m\) inductively by
It is easy to see that
Now assume that T is a general, not necessarily linear, operator. In this case we use formula (3.1) as the definition of \(T_b^m\).
For \(1\le s\le \infty \) we define the sharp grand maximal truncation operator
where
and the supremum is taken over all \(Q \in \mathcal {Q}\) containing x.
We will use the following boundedness property of T and \(\mathcal {M}_{T,s}^{\#}\).
Definition 3.1
Given an operator T and \(r \in [1,\infty )\), we say that T is locally weak \(L^r\)-bounded if there exists a non-increasing function \(\varphi _{T,r}:(0,1) \rightarrow [0,\infty )\) such that for any cube \(Q\in \mathcal {Q}\) and \(f \in L^r(Q)\) one has
This definition was given in [19] and was called the \(W_r\) property of T. Note that the usual weak \(L^r\)-boundedness of T implies the local weak \(L^r\)-boundedness of T with
Moreover, if T is locally weak \(L^{r_0}\)-bounded for some \(r_0 \in [1,\infty )\), it is locally weak \(L^r\)-bounded for all \(r>r_0\) by Hölder’s inequality with \(\varphi _{T,r}(\lambda )=\varphi _{T,r_0}(\lambda )\).
The main result of this section is the following abstract sparse domination principle for iterated commutators.
Theorem 3.2
Let \(1\le r<s\le \infty , m\in {{\mathbb {N}}}\) and let T be a sublinear operator. Assume that T and \({{\mathcal {M}}}^{\#}_{T,s}\) are locally weak \(L^r\)-bounded. Then there exist \(C_{m,n}>1\) and \(\lambda _{m,n}<1\) so that, for any \(f,g\in L^{\infty }_c({{\mathbb {R}}}^n)\) and \(b\in L^1_{\text {loc}}({{\mathbb {R}}}^n)\), there is a \(\frac{1}{2\cdot 3^n}\)-sparse collection of cubes \({{\mathcal {S}}}\) such that
where
We refer to [22, Remark 4.4] for a list of operators satisfying the assumptions of Theorem 3.2. Theorem 3.2 is an immediate corollary of the following two statements.
Theorem 3.3
Under the assumptions of Theorem 3.2 we have
where C is given by (3.2)
Lemma 3.4
Let \(1\le r,t<\infty \) and \(m\in {{\mathbb {N}}}\). Let \(f,g\in L^{\infty }_c({{\mathbb {R}}}^n)\) and \(b\in L^1_{\text {loc}}({{\mathbb {R}}}^n)\). Fix a cube \(Q \in \mathcal {Q}\) and for \(0\le k\le m\) define
Then we have \(c_k\le c_0+c_m.\)
Indeed, note that Lemma 3.4 allows us to reduce the summation over \(k=0,\dots ,m\) in Theorem 3.3 to the two extreme terms \(k=0\) and \(k=m\), yielding the formulation of Theorem 3.2.
Before turning to the proofs, let us mention a brief history of the above results.
-
In the case where T is a Dini-continuous Calderón-Zygmund operator, \(m=1\), \(r=1\) and \(s=\infty \), Theorem 3.2 goes back to Rivera-Ríos and the first and the third authors [20].
-
In the case where \(m\ge 1\) and T is a generalized Hörmander singular integral operator, the corresponding version of Theorem 3.3 was obtained by Ibañez-Firnkorn and Rivera-Ríos [15].
-
The closest precursors of Theorem 3.2 were obtained by
-
Rivera–Ríos [28, Theorem 3.1] in the case \(m=1\). We note that in this work the bilinear maximal operator \({{\mathcal {M}}}_T(f,g)\), introduced in [17], was used instead of \({{\mathcal {M}}}^{\#}_{T,s}\).
-
Ibañez–Firnkorn and Rivera–Ríos [16, Theorem 4.4] in the case \(m\ge 1\) and with \({{\mathcal {M}}}^{\#}_{T,\infty }\).
-
-
For a general account of similar sparse domination results we refer to our recent work [22].
Comparing to [28, Theorem 3.1] and [16, Theorem 4.4], our novel points are the following.
-
Instead of \({{\mathcal {M}}}_T(f,g)\) or \({{\mathcal {M}}}^{\#}_{T,\infty }\), we deal with a more flexible operator \({{\mathcal {M}}}^{\#}_{T,s}\). Here we continue the line of research originated in [19, 22, 26], where various variants of \({\mathcal M}^{\#}_{T,s}\) were considered.
-
We use a local weak \(L^r\)-boundedness assumption, originating from [19], rather than the usual weak \(L^r\)-boundedness assumption on T and \(M^{\#}_{T,s}\).
-
Our most important novel point in this section is in Lemma 3.4, which seems to be new. This lemma allows us to significantly simplify the main applications of Theorem 3.2 to quantitative weighted norm inequalities.
The proof of Lemma 3.4 is quite elementary and we therefore present it first.
Proof of Lemma 3.4
For \(x,y \in {\mathbb {R}}^n\) denote
Then \(c_k\) for \(0\le k\le m\) can be written in the form
From this, we obtain the conclusion by using the estimate
along with Minkowski’s inequality. \(\square \)
Next we turn to the proof of Theorem 3.3. Its proof is based on the well-known ideas developed in the previous works (e.g., [17, 19, 22, 26]).
Proof of Theorem 3.3
Let \(Q \in \mathcal {Q}\) be a cube that contains the supports of f and g. We will show that there exists a \(\frac{1}{2}\)-sparse family \({{\mathcal {F}}}\subset \mathcal {D}(Q)\) such that
where C is given by (3.2). Taking \(\mathcal {S} = \{3P:P \in \mathcal {F}\}\) afterwards yields the result.
We construct the family \({{\mathcal {F}}}\subset \mathcal {D}(Q)\) inductively. Set \({{\mathcal {F}}}_0=\{Q\}\). Next, given a collection of pairwise disjoint cubes \({{\mathcal {F}}}_j\), let us describe how to construct \({{\mathcal {F}}}_{j+1}\).
Fix a cube \(P\in {{\mathcal {F}}}_j\). For \(k=0,\dots ,m\) denote
and consider the sets
and
Then
and the same bound holds for \(|{{\mathcal {M}}}_k(P)|\). Since the maximal operator \(M_r\) is weak \(L^r\)-bounded with constant independent of r, there exists a \(c_{n,m}>0\) such that
also satisfies
Therefore, setting
we have \(|\Omega (P)|\le \frac{1}{2^{n+2}}|P|\).
We apply the local Calderón–Zygmund decomposition to \(\chi _{\Omega (P)}\) at height \(\frac{1}{2^{n+1}}\). We obtain a family of pairwise disjoint cubes \(\mathcal {S}_P\subseteq \mathcal {D}(P)\) such that \(|\Omega (P)\setminus \bigcup _{P' \in \mathcal {S}_P}P'|=0\) and for every \(P'\in \mathcal {S}_P\),
In particular, it follows that
We define \({{\mathcal {F}}}_{j+1}=\cup _{P\in {{\mathcal {F}}}_j}\mathcal {S}_P\). Setting \({{\mathcal {F}}}=\cup _{j=0}^{\infty }{{\mathcal {F}}}_j\), we note by (3.5) that \({{\mathcal {F}}}\) is \(\frac{1}{2}\)-sparse.
Now, by iteration, to prove (3.3) it suffices to show for \(j \in {\mathbb {N}}\) and \(P \in \mathcal {F}_j\) that
where C is given by (3.2). Set \(F_j:=\cup _{P\in {{\mathcal {F}}}_j}P\). Noting that
it thus suffices to show that
We first consider the first term on the left-hand side of (3.6). Since \(T_b^mf=T_{b-c}^mf\) for any \(c\in {\mathbb {C}}\), we have by definition of \(\Omega _k(P)\),
where \(C_1:=2^m3^n\varphi _{T,r}(\tfrac{1}{(m+1)6^{n+2}})\).
Now consider the second term in (3.6). Fix \(P' \in \mathcal {F}_{j+1}\) such that \(P'\subseteq P\) and denote
Then, for \(y\in P'\) to be specified later we have
Denote
and consider the sets
Set \({\widetilde{\Omega }}(P'):=\cup _{k=0}^m{\widetilde{\Omega }}_k(P')\), for which we have \(|{\widetilde{\Omega }}(P')|\le \frac{1}{4}|P'|\). Now, define the good part of the cube \(P'\) as
Then, by (3.4), we have
and for all \(y\in G_{P'}\) we have
Further, by the definition of \(M_k(P)\),
Hence, for all \(y\in G_{P'}\), we have
From this, integrating (3.8) over \(y\in G_{P'}\), using Hölder’s inequality and the definition of the set \({\mathcal M}(P)\), we obtain
where
By Hölder’s inequality, for any \(q \in [1,\infty )\),
Therefore,
which, along with (3.7), proves (3.6). This completes the proof. \(\square \)
Remark 3.5
Under the assumptions of Theorem 3.2 and by the “three lattice theorem" (see, e.g., [18]), there exist \(3^n\) dyadic lattices \({{\mathscr {D}}}_j\) so that for any \(f,g\in L^{\infty }_c({{\mathbb {R}}}^n)\) and \(b\in L^1_{\text {loc}}({\mathbb R}^n)\), there exist sparse families \({{\mathcal {S}}}_j\subseteq {{\mathscr {D}}}_j\) such that
where C is given by (3.2).
4 Weighted estimates for fractional sparse forms
In the next section, we will prove quantitative Bloom weighted estimates for the sparse forms in the conclusion of Theorem 3.2. As a preparation, we establish a weighted estimate for fractional sparse forms in this section.
Theorem 4.1
Let \(1\le r<p\le q<s\le \infty \), set \(\alpha = \frac{r}{p}-\frac{r}{q}\) and let \(w \in A_{q/r} \cap \textrm{RH}_{(s/q)'}\). For any sparse family of cubes \({{\mathcal {S}}}\subseteq {{\mathscr {D}}}\), \(f \in L^p(w^{p/q})\) and \(g \in L^{q'}(w^{1-q'})\) we have
with
For \(\alpha =0\), this theorem was proved by Bernicot–Frey–Petermichl [1, Proposition 6.4]. The general case \(\alpha \ge 0\) is a combination of generalizations by Li [23] and Fackler–Hytönen [8].
Remark 4.2
Following the notation of Nieraeth [27], for \(0<r<p<s\le \infty \) and a weight w, define
Upon inspection of the proof, it is clear that the conclusion of Theorem 4.1 can be more symmetrically phrased as
for all weights w such that \([w]_{{q,(r,s)}}<\infty \).
As a direct corollary of Theorem 4.1, in the case \(r=1\) and \(s= \infty \), we recover [10, Lemma 3.2], which is a special case of [8, Theorem 1.1]:
Corollary 4.3
Let \(1<p \le q <\infty , \) set \(\alpha = \frac{1}{p}-\frac{1}{q}\) and let \(w \in A_{q}\). For any sparse family of cubes \({{\mathcal {S}}}\subseteq {{\mathscr {D}}}\) and \(f \in L^p(w^{p/q})\) we have
In particular, we recover the well-known bound
The proof of Theorem 4.1 is based on three main ingredients, the first of which is a very slight generalization of a result of Li [23].
Theorem 4.4
( [23, Theorem 1.2]) Let \(1<p\le q<s\le \infty \) and \(r \in (0,p)\). Let w and \(\sigma \) be weights and \(\lambda _Q\ge 0\) for any \(Q \in \mathscr {D}\). Let \(\mathcal {S}\subseteq \mathscr {D}\) be a sparse family of cubes and suppose that \({{\mathcal {N}}}\) is the best constant such that
Denote \(u:=w^{\frac{r}{r-p}}\), \(v:=\sigma ^{\frac{s'}{s'-q'}}\), set
and for \(R \in \mathscr {D}\) define
Then
Proof
In the case \(r \ge 1\), the theorem is exactly [23, Theorem 1.2]. The case \(r<1\) is proven analogously. Indeed, only the proof of the equivalence [23, (2.1)] \(\Leftrightarrow \) [23, (2.2)] needs to be adapted. To handle the average of f in the implication \(\Leftarrow \), one replaces the maximal operator argument by Hölder’s inequality. Conversely, for the implication \(\Rightarrow \), one replaces Hölder’s inequality by a maximal operator argument, using the boundedness of \( M_{1,u}^{\mathcal {S}}\) on \(L^p(u)\). \(\square \)
In order to estimate the two terms in (4.2), we will use the following norm equivalence from Cascante–Ortega–Verbitsky [4].
Lemma 4.5
([4]) Let \(p \in [1,\infty )\), let w be a weight and let \(\lambda _Q \ge 0\) for all \(Q\in \mathscr {D}\). Then
The final ingredient in the proof of Theorem 4.1 is the following result from Fackler–Hytönen [8].
Lemma 4.6
( [8, Lemma 4.2]) Let w and \(\sigma \) be weights and \(\alpha ,\beta ,\gamma \ge 0\) with \(\alpha >0\) and \(\alpha +\beta +\gamma \ge 1\). Then we have for any sparse family \({\mathcal S}\subseteq {{\mathscr {D}}}\) and \(R \in \mathscr {D}\)
Combining these three ingredients with the proof strategy from [8], we can now prove Theorem 4.1.
Proof of Theorem 4.1
A direct computation shows that, in the notation of Theorem 4.4, we have \(u=w^{-\frac{r}{q-r}}\), \(v=w^{\frac{s}{s-q}}\) and
Let us first consider first the testing condition in (4.2). We will show that
By Lemma 4.5, we have
where
For \(\delta >0\) we have
Our goal now is to use Lemma 4.6. Its assumptions imply the following restrictions on \(\delta \):
Moreover, the assumption \(\alpha +\beta +\gamma \ge 1\) of Lemma 4.6 holds trivially because \(\alpha +\beta +\gamma =1+\frac{\alpha }{r}\). We conclude that \(\delta \in \big (\frac{1}{q}-\frac{1}{s},1-\frac{1}{s}\big ]\) and the set of \(\delta \) satisfying all restrictions will be non-empty if
It is easily seen that this estimate is true for all \(r<q<s\) and \(\alpha \ge 0\).
Taking \(\delta >0\) satisfying the above restrictions and applying Lemma 4.6, we obtain
Therefore,
Further,
which, along with the previous estimate, proves (4.3).
Now consider the second testing condition in (4.2). Let us show that
Again by Lemma 4.5, we have
where \(\Psi (Q)\) is as in (4.4). By the above estimate for \(\Psi (Q)\),
from which (4.5) follows.
Combining the two estimates for the testing conditions, inequalities (4.3) and (4.5), we obtain
where \(\mathcal {N}\) is as in Theorem 4.4. From this, since
we obtain the conclusion with
\(\square \)
5 Bloom weighted bounds for sparse forms associated to commutators
In this section we consider one of the sparse forms in the conclusion of Theorem 3.2, namely, \({{\mathcal {B}}}_{{\mathcal S},b,r,s}^m(f,g)\) as defined in the introduction.
Let us start with some definitions. Given \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\), a weight \(\nu \) and \(\alpha \ge 0\), define the weighted, fractional \({{\,\textrm{BMO}\,}}\)-seminorm as
We omit \(\alpha \) from our notation if \(\alpha =0\). Furthermore, given a cube \(Q \in \mathcal {Q}\), define the oscillation
and the weighted sharp maximal function
Note that \( \Vert b\Vert _{{{\,\textrm{BMO}\,}}_\nu } = \Vert M^{\#}_\nu (b)\Vert _{L^\infty ({\mathbb {R}}^n)}. \)
Theorem 5.1
Let \(1\le r<p, q<s\le \infty \), \(m \in {\mathbb {N}}\) and \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\). Assume that \(\mu \in A_{p/r}\) and \(\lambda \in A_{q/r}\cap {\textrm{RH}}_{(s/q)'}\). Set
\(\alpha _+:= \max \{\alpha ,0\}\) and define the Bloom weight
For any sparse family \({{\mathcal {S}}}\subseteq \mathscr {D}\), \(f \in L^p(\mu )\) and \(g \in L^{q'}(\lambda ^{1-q'})\) we have
where
with
Remark 5.2
Observe that the sense of (5.2) is that in the case \(q\le p\) and \(m\ge 2\) it provides an additional bound for \(C(\mu ,\lambda )\), which is incomparable with (5.1), in general. See Sect. 6 for a further discussion of this phenomenon.
Before turning to the proof, let us discuss some particular cases of Theorem 5.1.
Remark 5.3
Suppose that \(s=\infty \) and thus \([\lambda ]_{\textrm{RH}_{(s/q)'}}=1\). In the diagonal case \(p=q\), we have \(\alpha =0\). So, in this case,
If we additionally assume that \(rm\in {{\mathbb {N}}}\), we get
In particular, for \(r=1\), we have
Therefore, if \(r=1\), \(s=\infty \) and \(p=q\), we have
the first of which was obtained in [21]. Note that the second estimate is, in general, incomparable to the first.
Remark 5.4
In the spirit of Remark 4.2, we note that the conclusion of Theorem 5.1 can be replaced by
for all weights \(\mu \) such that \( [\mu ]_{p, (r,\infty )}<\infty \) and weights \(\lambda \) such that \([\lambda ]_{q,(r,s)}<\infty \).
Several statements below will be needed to prove Theorem 5.1, starting with the following lemma from Rivera-Ríos and the first and third authors [20].
Lemma 5.5
([20, Lemma 5.1]) Let \(b\in L^1_{\text {loc}}({{\mathbb {R}}}^n)\) and let \({\mathcal S}\subseteq {{\mathscr {D}}}\) be a sparse family. There exists a sparse family \({{\mathcal {S}}}'\subseteq {{\mathscr {D}}}\) such that \({\mathcal S}\subseteq {{\mathcal {S}}}'\) and for every cube \(Q\in {{\mathcal {S}}}'\),
We also need the following additional result from Cascante–Ortega–Verbitsky [4].
Lemma 5.6
([4, (2.4)]) Let \(p \in [1,\infty )\) and \(\lambda _Q \ge 0\) for all \(Q \in \mathscr {D}\). Then we have
We are now ready to prove Theorem 5.1 in the case \(p \le q\).
Proof of (5.1)in Theorem 5.1in the case \(p\le q\) By Lemma 5.5, there exists a sparse collection of cubes \(\mathcal {S}\subseteq \mathcal {S}'\subseteq {{\mathscr {D}}}\) such that for any \(Q \in \mathcal {S}\),
Let \(k:=\lfloor rm\rfloor \) and \(\gamma :=rm-(k-1) \in [1,2)\). Applying subsequently Lemma 5.6\((k-1)\) times yields
where we omitted the assumption \(P_1,\ldots ,P_k \in \mathcal {S}'\) from our notation for brevity.
For \(\delta \ge 0\) we denote
in which we omit \(\delta \) if \(\delta = 0\). Using Lemma 4.5 with the weight \(w = |f|^r\) and Minkowski’s inequality, we have
Let us further write
and let \(\mathcal {A}_{\mathcal {S}',\alpha ,\nu }^j\) be the j-th iteration of \(\mathcal {A}_{\mathcal {S}',\alpha ,\nu }\). Using Minkowski’s inequality \((k-1)\) times more, we find
which, along with the previous estimates, implies
From this, we conclude
Now, for \(j=1,\ldots ,k-1\), define
By Theorem 4.1, we have
where
Next, we apply Corollary 4.3\((k-1)\) times to obtain
Now note that, for \(\frac{1}{v}:= \frac{1}{p} -\frac{\alpha }{r}\), we have
So, defining
we have by Hölder’s inequality,
For the first term on the right-hand side, by (4.1), we have
For the second term, by applying Corollary 4.3 and (4.1), we have
Collecting our estimates, we have shown
with
By Hölder’s inequality, since \(\frac{1}{v}=(1-\frac{1}{rm})\frac{1}{p}+\frac{1}{rm}\frac{1}{q}\), we have
Similarly, we have
From this and from the above expression for \(C(\mu ,\lambda )\), the values of \(\beta _{\mu _1}\), and \(\beta _{\lambda _1}\) follow by direct computation. \(\square \)
We now turn to the case \(q \le p\). We start with the estimate in (5.1), which works for any \(m\ge 1\).
Proof of (5.1) in Theorem 5.1 in the case \(q\le p\)
By Lemma 5.5, there exists a sparse collection of cubes \(\mathcal {S}\subseteq \mathcal {S}'\subseteq {{\mathscr {D}}}\) such that for any \(Q \in \mathcal {S}\),
Let \(k:=\lfloor rm\rfloor \) and \(\gamma :=rm-(k-1) \in [1,2)\). Applying subsequently Lemma 5.6\((k-1)\) times yields
where we omitted the assumption \(P_1,\ldots ,P_k \in \mathcal {S}'\) from our notation for brevity.
Define
and let \(\mathcal {A}_{\mathcal {S}',\nu ,b}^j\) be the j-th iteration of \(\mathcal {A}_{\mathcal {S}',\nu ,b}\). By Lemma 4.5 and Hölder’s inequality, we can estimate
Next, we can iteratively estimate
Combined with the previous estimates, this implies
From this, using Theorem 4.1, we obtain
Define for \(j=1,\ldots ,k-1\)
Applying Hölder’s inequality along with (4.1) \((k-1)\) times, we estimate
Now define \(\frac{1}{v} = \frac{1}{p}+\frac{1}{rt}\) and
Noting that \(1-\frac{k-1}{rm}=\frac{\gamma }{rm}\) and thus
we can estimate by Hölder’s inequality,
For the second term on the right-hand side we have, by (4.1),
and for the third term we have
Collecting our estimates, we have shown
with
By Hölder’s inequality,
and
From this and from the above expression for \(C(\mu ,\lambda )\), the values of \(\beta _{\mu _1}\) and \(\beta _{\lambda _1}\) follow by direct computation. \(\square \)
For the estimate (5.2) in Theorem 5.1 in the case \(q \le p\), we need a Fefferman–Stein-type lemma (see, e.g., [25]).
Lemma 5.7
Let \(p \in (1,\infty )\), \(0<\delta <1\) and let w be a weight. For any sparse family \(\mathcal {S} \subseteq \mathscr {D}\) and \(f \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\) we have
Using this lemma, we can now prove the estimate (5.2) in Theorem 5.1 in the case \(q \le p\). This approach was suggested qualitatively in the case \(p=q\) by Li [24].
Proof of (5.2) in Theorem 5.1
By Lemma 5.5, there exists a sparse collection of cubes \(\mathcal {S}\subseteq \mathcal {S}'\subseteq {{\mathscr {D}}}\) such that for any \(Q \in \mathcal {S}\),
Since \(m\ge 2\), we have by Lemma 5.7,
Therefore, by Theorem 4.1, Buckley’s estimate [3] and Hölder’s inequality, we have for \(0<\delta <1\),
Let \(c_n>0\) be the constant from Proposition 2.2 and set
(5.2) now follows from Proposition 2.2. \(\square \)
Remark 5.8
The proof of (5.2) in Theorem 5.1 also works in the case \(m=1\) and \(r>1\) with a constant depending on r, as can be seen from the proof. However, in applications to concrete operators, this will yield worse dependence on the weight characteristics of \(\mu \) and \(\lambda \) than (5.1).
The method of proof of (5.2) is likely also applicable to the case \(p<q\), again yielding an incomparable bound to (5.1). This would require one to develop a fractional version of Lemma 5.7. Since our interest in quantitative estimates is mainly in the case \(p=q\), we leave this extension to the interested reader.
6 Weighted bounds for commutators
In this final section we will apply the results from the previous sections to concrete operators. Let us first formulate a general result, in a qualitative form, which is an immediate corollary of Theorems 3.2 and 5.1 and duality.
Theorem 6.1
Let \(1\le r<p,q< s\le \infty \) and \(m\in {{\mathbb {N}}}\). Let T be a sublinear operator and \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\). Assume the following conditions:
-
Suppose T and \({{\mathcal {M}}}^{\#}_{T,s}\) are locally weak \(L^r\)-bounded.
-
Let \(\mu \in A_{p/r}\cap {\textrm{RH}}_{(s/p)'}\), \(\lambda \in A_{q/r}\cap {\textrm{RH}}_{(s/q)'}\) and define the Bloom weight
$$\begin{aligned} \nu ^{1+\frac{1}{pm}-\frac{1}{qm}}:= \mu ^{\frac{1}{pm}}\lambda ^{-\frac{1}{qm}}. \end{aligned}$$
Then:
-
(i)
If \(p\le q\) and \(\alpha := \frac{1}{pm}-\frac{1}{qm}\), we have
$$\begin{aligned} \Vert T_b^m\Vert _{L^p(\mu ) \rightarrow L^q(\lambda )}\lesssim _{\mu ,\lambda } \Vert b\Vert _{{{\,\textrm{BMO}\,}}_{\nu }^{\alpha n}}^m. \end{aligned}$$ -
(ii)
If \(q\le p\) and \(\frac{1}{t}:=\frac{1}{qm}-\frac{1}{pm}\) we have
$$\begin{aligned} \Vert T_b^m\Vert _{L^p(\mu )\rightarrow L^q(\lambda )}\lesssim _{\mu ,\lambda } \Vert M^{\#}_\nu b\Vert _{L^t(\nu )}^m. \end{aligned}$$
Proof
Fix \(f,g \in L^\infty _c({\mathbb {R}}^n)\). By Remark 3.5, there exist \(3^n\) dyadic lattices \({{\mathscr {D}}}_j\) and sparse families \({{\mathcal {S}}}_j\subseteq {{\mathscr {D}}}_j\) such that
Therefore, the claims follow from applying Theorem 5.1 twice, directly and dually. We observe that in order to apply Theorem 5.1 to the dual terms \({{\mathcal {B}}}_{{\mathcal S}_j,b,s',r'}^m(g,f)\) in the dual spaces, we need the conditions
-
\(\lambda ^{1-q'}\in A_{q'/s'}\)
-
\(\mu ^{1-p'}\in A_{p'/s'}\cap {\textrm{RH}}_{(r'/p')'}\)
which follow directly from our assumptions on \(\mu \) and \(\lambda \). \(\square \)
We refer to [22, Remark 4.4] for a list of operators satisfying the assumptions, and thus the conclusion, of Theorem 6.1. Note that even unweighted bounds for commutators with some of the operators on that list were previously unknown.
Next, we examine a quantitative form of Theorem 6.1 in an important particular case of interest.
Theorem 6.2
Let \(1<p<\infty \) and \(m\in {{\mathbb {N}}}\). Let T be a sublinear operator and \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\). Assume the following conditions:
-
Suppose that for all \(1<r<2<s<\infty \), both T and \({{\mathcal {M}}}^{\#}_{T,s}\) are locally weak \(L^r\)-bounded, and
$$\begin{aligned} \varphi _{T,r}(\lambda _{m,n})+\varphi _{\mathcal {M}^{\#}_{T,s},r}(\lambda _{m,n})\le \psi (r',s), \end{aligned}$$where \(\lambda _{m,n}>0\) is the constant provided by Theorem 3.2 and \(\psi :[1,\infty )^2 \rightarrow [1,\infty )\) is non-decreasing in both variables.
-
Let \(\mu ,\lambda \in A_{p}\) and define the Bloom weight \(\nu := (\frac{\mu }{\lambda })^{\frac{1}{pm}}.\)
Then
where
Proof
Fix \(f,g \in L^\infty _c({\mathbb {R}}^n)\). By Remark 3.5, for any \(1<r<2<s<\infty \) there exist \(3^n\) dyadic lattices \({{\mathscr {D}}}_j\) and sparse families \({{\mathcal {S}}}_j\subseteq {{\mathscr {D}}}_j\) such that
Suppose that \(1<r<\min (\frac{m+1}{m},p)\) and \(\max (p,m+1)<s<\infty \). Then \(\lfloor rm\rfloor =m\) and \(\lfloor s'm\rfloor =m\), and hence, by Theorem 5.1,
where either
or, if \(m\ge 2\), alternatively
Moreover, Theorem 5.1 also yields
Now, let \(c_n>0\) be the constant in Proposition 2.2 and define
Then we have for all \(1<r\le {\bar{r}}\) and \({\bar{s}}\le s<\infty \) that
and, using (2.1), also
Therefore, if \(r =\frac{1}{2}(\min (\frac{m+1}{m},p,{\bar{r}})+1)\) and \(s = 2\max (p,m+1,{\bar{s}})\), combining the above estimates with (6.1) completes the proof. \(\square \)
If T and \(\mathcal {M}^{\#}_{T,s}\) are both locally weak \(L^1\)-bounded, we can take \(\psi \) in Theorem 6.2 constant in the first coordinate, which we record as the following corollary.
Corollary 6.3
Let \(1<p<\infty \) and \(m\in {{\mathbb {N}}}\). Let T be a sublinear operator and \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\). Assume the following conditions:
-
Suppose that for all \(2<s<\infty \), both T and \({{\mathcal {M}}}^{\#}_{T,s}\) are locally weak \(L^1\)-bounded, and
$$\begin{aligned} \varphi _{\mathcal {M}^{\#}_{T,s},1}(\lambda _{m,n})\le \psi (s), \end{aligned}$$where \(\lambda _{m,n}\) is a constant provided by Theorem 3.2 and \(\psi :[1,\infty ) \rightarrow [1,\infty )\) is non-decreasing.
-
Let \(\mu ,\lambda \in A_{p}\) and define the Bloom weight \(\nu := (\frac{\mu }{\lambda })^{\frac{1}{pm}}.\)
Then
where \(K_p(\mu ,\lambda )\) is as in Theorem 6.2 and
Proof
Since T and \({{\mathcal {M}}}^{\#}_{T,s}\) are locally weak \(L^1\)-bounded, they are locally weak \(L^r\) bounded for all \(r>1\), and
Applying Theorem 6.2 with
finishes the proof. \(\square \)
6.1 Calderón–Zygmund operators
As discussed in the introduction, Bloom weighted estimates for commutators have been widely studied for Calderón–Zygmund operators. As a first application of our results, we will compare the weighted estimates that we obtained in the diagonal \(p=q\) case for Calderón–Zygmmund operators and discuss their sharpness in the sense of Definition 1.1. In particular, let us prove Theorem 1.2.
Recall that a linear operator T is called Dini-continuous Calderón–Zygmund operator if it is \(L^2\)-bounded and for \(f \in L^\infty _c({\mathbb {R}}^n)\) has a representation
where
whenever \(|x-y|>2|x-x'|\), with the modulus of continuity \(\omega :[0,1]\rightarrow [0,\infty )\) satisfying \(\int _0^1\omega (t)\frac{dt}{t}<\infty .\)
Proof of Theorem 1.2
It is well-known that T and \({{\mathcal {M}}}^{\#}_{T,\infty }\) are of weak \(L^1\)-bounded (see, e.g., [9, 19]). Next, \({\mathcal M}^{\#}_{T,s}\le {{\mathcal {M}}}^{\#}_{T,\infty }\) for every \(s\ge 1\). Therefore, after normalizing such that \(\Vert b\Vert _{{{{\,\textrm{BMO}\,}}}_{\nu }}=1\), by Corollary 6.3 we have
and, if \(m\ge 2\), also
First let us take \(m\ge 2\). Then (6.3) implies for \(p\ge 2\) that
If \(p>\frac{1+3m}{m+1}\), then \(\max (1,\frac{m}{p-1})<\frac{m+1}{2}\), and therefore we obtain that (6.2) is not sharp in the sense of Definition 1.1. Moreover, for \(1<p\le 2\) (6.3) implies
If \(p<\frac{1+3m}{2m}\), then \(\max (m,\frac{1}{p-1})<\frac{m+1}{2}\frac{1}{p-1}\). Therefore, we again obtain that (6.2) is not sharp.
Suppose now that \(m=1\). Let us show that in this case (6.2) is sharp for all \(p \in (1,\infty )\). By duality, the sharpness of the exponent \(\max (1,\frac{1}{p-1})\) of \([\lambda ]_{A_p}\) is equivalent to the sharpness of the exponent \(\max (1,\frac{1}{p'-1})\) of \([\mu ]_{A_{p'}}\). Therefore, it suffices to establish the sharpness of the exponent \(\frac{1}{p-1}\) of \([\lambda ]_{A_p}\) and \([\mu ]_{A_p}\) for \(1<p\le 2\).
Let \(1<p\le 2\). We will provide examples in dimension \(n=1\) for the Hilbert transform H. Let us prove first that the exponent \(\frac{1}{p-1}\) of \([\lambda ]_{A_p}\) cannot be decreased. Let \(0<\delta <1\) and define \(\mu :=1\) and \(\lambda (x):=|x|^{(p-1)(1-\delta )}\). It is well known that \([\lambda ]_{A_p}\eqsim \delta ^{1-p}\). Observe that \(\nu =\lambda ^{-1/p}=|x|^{\frac{(\delta -1)}{p'}}\). Define \(b:=\nu \). It is easy to see that \(\Vert b\Vert _{{{\,\textrm{BMO}\,}}_{\nu }}\le 2\). Define \(f(x):=|x|^{\frac{(\delta -1)}{p}} \chi _{(0,1)}(x)\). Then
Therefore, the sharpness of the exponent \(\frac{1}{p-1}\) would follow if we show that
Observe that for \(x \in {\mathbb {R}}\)
By the unweighted \(L^p\) boundedness of H,
On the other hand, \(\frac{1}{\delta } |x|^{\delta -1}\lesssim |h_2(x)|\) for all \(x\in (0,1)\), and therefore
which proves (6.4).
Let us show now that the exponent \(\frac{1}{p-1}\) of \([\mu ]_{A_p}\) cannot be decreased. The example is very similar. Define \(\lambda :=1\) and \(\mu (x):=|x|^{(p-1)(1-\delta )}\). Then \([\mu ]_{A_p}\eqsim \delta ^{1-p}\). Observe that \(\nu =\mu ^{1/p}=|x|^{\frac{(1-\delta )}{p'}}\). Define \(b:=\nu \), for which we have \(\Vert b\Vert _{{{\,\textrm{BMO}\,}}_{\nu }}\eqsim 1\). Define \(f(x):=|x|^{\delta -1} \chi _{(0,1)}(x)\). Then
Therefore, the sharpness of the exponent \(\frac{1}{p-1}\) would follow if we show that
Observe that
Exactly as above, \(\Vert h_2\Vert _{L^p}\lesssim \tfrac{1}{\delta ^{1/p}}\). On the other hand, \(\frac{1}{\delta }|x|^{\frac{\delta -1}{p}}\lesssim h_1(x)\) for all \(x\in (0,1)\), and therefore,
which proves (6.5). This completes the proof. \(\square \)
As we mentioned in the introduction, Theorem 1.2 leaves open a question about the sharpness of (1.1) when \(m\ge 2\) and \(p\in [\frac{1+3m}{2m},\frac{1+3m}{m+1}]\). Indeed, our example is based on the obvious fact that \(\nu \in {{\,\textrm{BMO}\,}}_{\nu }\). In the case \(m=1\) the choice \(b=\nu \) shows the sharpness of (1.1) for all \(1<p<\infty \). However, it is easy to check that in the case \(m\ge 2\) the same choice is not enough in order to show the sharpness of (1.1).
6.2 Further applications
We conclude this paper by applying our results to several other concrete examples of operators, for which (quantitative) Bloom weighted bounds of their commutators have not been known before.
Given an operator T and \(s\ge 1\), define the (non-sharp) grand maximal truncation operator \({{\mathcal {M}}}_{T,s}\) by
Observe that
Example 6.4
Consider a class of rough homogeneous singular integrals defined by
for \(\Omega \in L^{\infty }(S^{n-1})\) with zero average over the sphere. Fix \(p \in (1,\infty )\), let \(m\in {\mathbb {N}}\) and \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\).
It is a well-known result of Seeger [29] that \(T_{\Omega }\) is of weak type (1, 1). Moreover, it was shown by the first author [17] that for \(s>2\), the grand maximal truncation operator \({{\mathcal {M}}}_{T_{\Omega },s}\) is weak \(L^1\)-bounded with
Therefore, by (6.6), \({{\mathcal {M}}}_{T_{\Omega },s}^{\#}\) satisfies the same bound. From this, by Corollary 6.3, we obtain for \(\mu ,\lambda \in A_p\) and \(\nu := (\frac{\mu }{\lambda })^{\frac{1}{pm}}\)
where
with \(K_p(\mu ,\lambda )\) as in Theorem 6.2.
Furthermore, since \(T_{\Omega }\) is essentially self-adjoint, we have
Using (2.1), this yields
where
Therefore, we finally obtain that
Example 6.5
Consider now a class of maximal rough homogeneous singular integrals defined by
for \(\Omega \in L^{\infty }(S^{n-1})\) with zero average over the sphere. Fix \(p \in (1,\infty )\), let \(m\in {\mathbb {N}}\) and \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\).
It was shown by Di Plinio–Hytönen–Li [7] that for \(1<r<2\),
Let us deduce from the recent work of Tao–Hu [32] that
Denote \(\Phi (t):=t\log \log (\textrm{e}^2+t)\). In [32] the authors established that for \(s >2\) and \(\alpha >0\),
From this, using the estimate
for \(1<r<2\), we obtain
Hence, for \(\lambda \in (0,1)\), we have
Along with (6.6), this implies (6.8).
Using (6.7) and (6.8), we are in position to apply Theorem 6.2 with \(\psi (r',s):=r'+(\log r')s\), from which it follows that for \(\mu ,\lambda \in A_p\) and \(\nu := (\frac{\mu }{\lambda })^{\frac{1}{pm}}\)
with \(K_p(\mu ,\lambda )\) as in Theorem 6.2 and \(t = \max \bigl ([\mu ]_{A_p},[\lambda ]_{A_p}\bigr )\)
Example 6.6
Consider the Bochner-Riesz operator at the critical index \(B_{(n-1)/2}\), which is defined by
It is a well-known result of Christ [5] that \(B_{(n-1)/2}\) is of weak \(L^1\)-bounded. Furthermore, it is implicit in the work of Shrivastava–Shuin [30, 31] that for \(s \in [1,\infty )\)
Therefore, arguing as in Example 6.4, we have for \(p \in (1,\infty )\), \(m\in {\mathbb {N}}\) and \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\) that for all \(\mu ,\lambda \in A_p\) and \(\nu := (\frac{\mu }{\lambda })^{\frac{1}{pm}}\)
with \(C_p(\mu ,\lambda )\) as in Theorem 6.2.
We add some details about (6.9). It is well-known (see, e.g., [9, Section 5.2.1]) that the kernel of \(B_{(n-1)/2}\) is given by \(K_{(n-1)/2}:=K+\Phi \), where
and \(|\Phi (x)|\lesssim \frac{1}{1+|x|^{n+1}}\). Next, let \(\phi \) be a radial smooth function supported in B(0, 2) such that \(\phi =1\) on B(0, 1) and set
Then we obtain that
where
Using that \(|T_if|\lesssim Mf\) for \(i=1,2\), we obtain
Therefore, it suffices to prove (6.9) for \({\mathcal M}_{T,s}\). In order to do that, we fix an integer N and further decompose \(T=S_1+S_2\), where
Let \(\varepsilon :=2^{-N}\). It was shown in [31] that \(S_1\) is a Dini-continuous Calderón-Zygmund operator with Dini-constant bounded by \(\log \frac{1}{\varepsilon }\), and that \(\Vert S_2\Vert _{L^2\rightarrow L^2}\lesssim \varepsilon ^{\alpha }\) for some \(\alpha \in (0,1]\). Moreover, the kernels \(\psi _jK\) have radial smoothness (as was observed in [25]), which makes it possible to apply Seeger’s machinery from [29]. Using all these ingredients, the proof goes through as in [17] by the first author.
Remark 6.7
Let \(p,q \in (1,\infty )\), \(m\in {\mathbb {N}}\) and \(b \in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\). By a similar argument as employed in Sect. 6.1 and Examples 6.4, 6.5 and 6.6, now using Theorem 6.1, we also get for all \(\mu \in A_p\) and \(\lambda \in A_q\) and
that we have
with \(\alpha := \frac{1}{pm}-\frac{1}{qm}\), \(\frac{1}{t}:= \frac{1}{qm}-\frac{1}{pm}\) and T is either Calderón–Zygmund operator or \(T \in \{ T_\Omega , T_\Omega ^*, B_{(n-1)/2}\}\). We leave the exact dependence on \([\mu ]_{A_p}\) and \([\lambda ]_{A_q}\) in these cases to the interested reader.
References
Bernicot, F., Frey, D., Petermichl, S.: Sharp weighted norm estimates beyond Calderón–Zygmund theory. Anal. PDE 9(5), 1079–1113 (2016)
Bloom, S.: A commutator theorem and weighted BMO. Trans. Am. Math. Soc. 292(1), 103–122 (1985)
Buckley, S.: Estimates for operator norms on weighted spaces and reverse Jensen inequalities. Trans. Am. Math. Soc. 340(1), 253–272 (1993)
Cascante, C., Ortega, J.M., Verbitsky, I.E.: Nonlinear potentials and two weight trace inequalities for general dyadic and radial kernels. Indiana Univ. Math. J. 53(3), 845–882 (2004)
Christ, M.: Weak type \((1,1)\) bounds for rough operators. (2). Ann. Math. 128(1), 19–42 (1988)
Chung, D., Pereyra, M.C., Pérez, C.: Sharp bounds for general commutators on weighted Lebesgue spaces. Trans. Am. Math. Soc. 364(3), 1163–1177 (2012)
Di Plinio, F., Hytönen, T.P., Li, K.: Sparse bounds for maximal rough singular integrals via the Fourier transform. Ann. Inst. Fourier (Grenoble) 70(5), 1871–1902 (2020)
Fackler, S., Hytönen, T.P.: Off-diagonal sharp two-weight estimates for sparse operators. N. Y. J. Math. 24, 21–42 (2018)
Grafakos, L.: Modern Fourier analysis. In: Graduate Texts in Mathematics, vol. 250, 3rd edn. Springer, New York (2014)
Hänninen, T.S., Lorist, E., Sinko, J.: Weighted \(L^p\rightarrow L^q\)-boundedness of commutators and paraproducts in the bloom setting. arXiv:2303.14855 (2023)
Hytönen, T.P.: The \(L^p\)-to-\(L^q\) boundedness of commutators with applications to the Jacobian operator. J. Math. Pures Appl. 9(156), 351–391 (2021)
Hytönen, T.P., Pérez, C.: Sharp weighted bounds involving \(A_\infty \). Anal. PDE 6(4), 777–818 (2013)
Hytönen, T.P., Pérez, C., Rela, E.: Sharp reverse Hölder property for \(A_\infty \) weights on spaces of homogeneous type. J. Funct. Anal. 263(12), 3883–3899 (2012)
Hytönen, T.P., Oikari, T., Sinko, J.: Fractional bloom boundedness and compactness of commutators. Forum Math. (2023) (online first)
Ibañez Firnkorn, G.H., Rivera-Ríos, I.P.: Sparse and weighted estimates for generalized Hörmander operators and commutators. Monatsh. Math. 191(1), 125–173 (2020)
Ibañez Firnkorn, G., Rivera-Ríos, I.P.: Mixed weak type inequalities in Euclidean spaces and in spaces of homogeneous type. Math. Nachr., Online first (2023)
Lerner, A.K.: A weak type estimate for rough singular integrals. Rev. Mat. Iberoam. 35(5), 1583–1602 (2019)
Lerner, A.K., Nazarov, F.: Intuitive dyadic calculus: the basics. Expo. Math. 37(3), 225–265 (2019)
Lerner, A.K., Ombrosi, S.: Some remarks on the pointwise sparse domination. J. Geom. Anal. 30(1), 1011–1027 (2020)
Lerner, A.K., Ombrosi, S., Rivera-Ríos, I.P.: On pointwise and weighted estimates for commutators of Calderón–Zygmund operators. Adv. Math. 319, 153–181 (2017)
Lerner, A.K., Ombrosi, S., Rivera-Ríos, I.P.: Commutators of singular integrals revisited. Bull. Lond. Math. Soc. 51(1), 107–119 (2019)
Lerner, A.K., Lorist, E., Ombrosi, S.: Operator-free sparse domination. Forum Math. Sigma 10(paper no. e15), 28 (2022)
Li, K.: Two weight inequalities for bilinear forms. Collect. Math. 68(1), 129–144 (2017)
Li, K.: Multilinear commutators in the two-weight setting. Bull. Lond. Math. Soc. 54(2), 568–589 (2022)
Li, K., Pérez, C., Rivera-Ríos, I.P., Roncal, L.: Weighted norm inequalities for rough singular integral operators. J. Geom. Anal. 29(3), 2526–2564 (2019)
Lorist, E.: On pointwise \(\ell ^r\)-sparse domination in a space of homogeneous type. J. Geom. Anal. 31(9), 9366–9405 (2021)
Nieraeth, Z.: Quantitative estimates and extrapolation for multilinear weight classes. Math. Ann. 375(1–2), 453–507 (2019)
Rivera-Ríos, I.P.: Improved \(A_1\)-\(A_\infty \) and related estimates for commutators of rough singular integrals. Proc. Edinb. Math. Soc. (2) 61(4), 1069–1086 (2018)
Seeger, A.: Singular integral operators with rough convolution kernels. J. Am. Math. Soc. 9(1), 95–105 (1996)
Shrivastava, S., Shuin, K.: On composition of maximal operator and Bochner–Riesz operator at the critical index. Proc. Am. Math. Soc. 148(4), 1545–1554 (2020)
Shrivastava, S., Shuin, K.: Corrigenda to “On composition of maximal operator and Bochner–Riesz operator at the critical index’’. Proc. Am. Math. Soc. 149(7), 3139–3141 (2021)
Tao, X., Hu, G.: A bilinear sparse domination for the maximal singular integral operators with rough kernels. arXiv:2305.07832 (2023)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Andrei K. Lerner was supported by ISF grant no. 1035/21. Sheldy Ombrosi was supported by FONCyT PICT 2018-02501 & by Spanish Government Ministry of Science grant PID2020-113048GB-I00.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lerner, A.K., Lorist, E. & Ombrosi, S. Bloom weighted bounds for sparse forms associated to commutators. Math. Z. 306, 73 (2024). https://doi.org/10.1007/s00209-024-03471-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-024-03471-2