Abstract
The Hardy-Littlewood maximal operator M satisfies the classical Sawyer-type estimate
where \(u\in A_1\) and \(uv\in A_{\infty }\). We prove a novel extension of this result to the general restricted weak type case. That is, for \(p>1\), \(u\in A_p^{{\mathcal {R}}}\), and \(uv^p \in A_\infty \),
From these estimates, we deduce new weighted restricted weak type bounds and Sawyer-type inequalities for the m-fold product of Hardy-Littlewood maximal operators. We also present an innovative technique that allows us to transfer such estimates to a large class of multi-variable operators, including m-linear Calderón-Zygmund operators, avoiding the \(A_\infty \) extrapolation theorem and producing many estimates that have not appeared in the literature before. In particular, we obtain a new characterization of \(A_p^{{\mathcal {R}}}\). Furthermore, we introduce the class of weights that characterizes the restricted weak type bounds for the multi(sub)linear maximal operator \({\mathcal {M}}\), denoted by \(A_{\mathbf {P}}^{{\mathcal {R}}}\), establish analogous bounds for sparse operators and m-linear Calderón-Zygmund operators, and study the corresponding multi-variable Sawyer-type inequalities for such operators and weights. Our results combine mixed restricted weak type norm inequalities, \(A_p^{{\mathcal {R}}}\) and \(A_{\mathbf {P}}^{{\mathcal {R}}}\) weights, and Lorentz spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
“Sawyer-type inequalities” is a terminology coined in the paper [19], where the authors prove that if \(u\in A_1\), and \(v\in A_1\) or \(uv\in A_\infty \), then
where T is either the Hardy-Littlewood maximal operator or a linear Calderón-Zygmund operator. This result extends some questions previously considered by B. Muckenhoupt and R. Wheeden in [48], and solves in the affirmative a conjecture formulated by E. Sawyer in [54] concerning the Hilbert transform. These problems were advertised by B. Muckenhoupt in [47], where the terminology “mixed type norm inequalities” was introduced and was also used since then in other papers like [2] or [44]. In general, this terminology refers to certain weighted estimates for some classical operators T, where a weight v is included in their level sets; that is,
The structure of such sets makes it impossible, or very difficult, to use classical tools to measure them, such as Vitali’s covering lemma or interpolation theorems.
In this paper, we consider mixed restricted weak type norm inequalities, or Sawyer-type inequalities for Lorentz spaces; that is, we study estimates of the form
where \(p\ge 1\), T is a classical operator, and u, v, w are weights. We also consider extensions of such inequalities to the multi-variable setting. Our goal is to prove estimates like (1.3) for sub-linear and multi-sub-linear maximal operators, and multi-linear Calderón-Zygmund operators. Observe that in the classical situation, namely when \(u=w\), \(v\approx 1\), and T is either the Hardy-Littlewood maximal operator or a linear Calderón-Zygmund operator, the inequality (1.3) holds if \(w\in A_p^{{\mathcal {R}}}\) (some authors use the notation \(A_{p,1}\) for this class of weights, as in [16]). The case when \(v\not \approx 1\) is much more difficult, and in what follows, we will study it in great detail.
The starting point of this paper and our primary motivation to consider Sawyer-type inequalities for Lorentz spaces comes from the study of the m-fold product of Hardy-Littlewood maximal operators,
M. J. Carro and E. R. P. proved in [14] that for \(1\le p_1,\dots ,p_m<\infty \) and \(\frac{1}{p}=\frac{1}{p_1}+\dots +\frac{1}{p_m}\), and weights \(w_1,\dots ,w_m \in A_\infty \) and \(\nu _{\mathbf {w}}:=w_1^{p/p_1} \dots w_m^{p/p_m}\), a necessary condition to have
is that \(w_i \in A_{p_i}^{{\mathcal {R}}}\), for \(i=1,\dots ,m\). They left as an open question to prove that this last condition is also sufficient for (1.4) to hold. It is reasonable to think that this may indeed be true since the endpoint case was proved in [36]. That is, for weights \(w_1,\dots ,w_m \in A_1\), we have that
To prove this result, one has to control the following quantity for \(t>0\), which is related to the level sets (1.2):
where \(\nu _{\mathbf {w}}=w_1^{1/m} \dots w_m^{1/m}\). This is achieved by applying the classical Sawyer-type inequality (1.1) for the Hardy-Littlewood maximal operator M in combination with the observation that for locally integrable functions \(h_1,\dots ,h_k\), \(\prod _{j=1}^k (Mh_j)^{-1}\in RH_\infty \), with constant depending only on k and the dimension n.
As we will show in Theorem 3, it turns out that the bound (1.4) holds if \(w_i \in A_{p_i}^{{\mathcal {R}}}\), for \(i=1,\dots ,m\), solving in the affirmative the open question in [14] and completing the characterization of the restricted weak type bounds of \(M^\otimes \) for \(A_\infty \) weights. The strategy that we follow is similar to the one in [36] for the endpoint case (1.5), but we have to replace the classical Sawyer-type inequality (1.1) by the estimate obtained in Theorem 2, which is a new restricted weak Sawyer-type inequality involving the class of weights \(A_p^{{\mathcal {R}}}\). That is,
for \(p>1\), \(u\in A_p^{{\mathcal {R}}}\), and \(uv^p\in A_\infty \). The \(A_p^{{\mathcal {R}}}\) condition on the weight u is a natural assumption since it is necessary when \(v \approx 1\). In Lemma 3 we also manage to track the dependence of the constant \(C_{u,v}\) on the weights u and \(uv^p\), even in the endpoint case \(p=1\), refining the bound (1.1) in [19].
There is no reason to restrict ourselves to the study of one-variable Sawyer-type inequalities. Quite recently, the bound (1.1) has been extended to the multi-variable setting in [40]. More precisely, for weights \(w_1,\dots ,w_m\in A_1\), and \(v\in A_\infty \),
Inspired by this result, we follow a similar approach to extend our Sawyer-type inequality (1.6) to the multi-variable setting, obtaining a generalization of (1.7) in Theorem 4. That is, for weights \(w_1,\dots ,w_m\) and v such that for \(i=1,\dots ,m\), \(w_i\in A_{p_i}^{{\mathcal {R}}}\) and \(w_iv^{p_i} \in A_\infty \),
Observe that this result is an extension of (1.4). To our knowledge, this multi-variable mixed restricted weak type inequalities for maximal operators involving the \(A_p^{{\mathcal {R}}}\) condition on the weights have not been previously studied, and we found no record of them being conjectured in the literature.
Motivated by the conjecture of E. Sawyer in [54], we can ask ourselves if it is possible to obtain bounds like (1.8) for multi-linear Calderón-Zygmund operators T. Once again, the endpoint case \(p_1=\dots =p_m=1\) has already been considered and extensively investigated in [40]. There, it was shown that for weights \(w_1,\dots ,w_m\in A_1\), and \(\nu _{\mathbf {w}} v^{1/m} \in A_\infty \),
as a corollary of (1.7), combined with a result in [49], that allows replacing \({\mathcal {M}}\) by T using an extrapolation type argument based on the \(A_\infty \) extrapolation theorem obtained in [18, 22]. We succeed in our goal and manage to get an extension of (1.9) to the general restricted weak setting. In Theorem 6 we prove, among other things, that for weights \(w_1,\dots ,w_m\) and v such that for \(i=1,\dots ,m\), \(w_i\in A_{p_i}^{{\mathcal {R}}}\) and \(w_iv^{p_i} \in A_\infty \), and some other technical hypotheses on the weights,
To achieve this, we build upon (1.8), but unlike in [40], we manage to avoid the use of extrapolation arguments like the ones in [49]. Instead, we present in Theorem 5 a novel technique that allows us to replace \({\mathcal {M}}\) by T exploiting the fine structure of the Lorentz space \(L^{p,\infty }\), the \(A_p^{{\mathcal {R}}}\) condition, and the recent advances in sparse domination.
One can even go further and consider inequalities like (1.10) assuming multi-variable conditions on the weights involved, as it was done in [40] with the endpoint case \(p_1=\dots =p_m = 1\) and weights in \(A_{\mathbf {1}}\). In Sect. 5, we discuss our findings on this matter. There, we introduce the class of weights that characterizes the restricted weak type bounds of \({\mathcal {M}}\), denoted by \(A_{\mathbf {P}}^{{\mathcal {R}}}\), study some of its properties, deduce the corresponding restricted weak type bounds for sparse operators and multi-linear Calderón-Zygmund operators, and conjecture the main results on Sawyer-type inequalities with weights in \(A_{\mathbf {P}}^{{\mathcal {R}}}\). It is worth mentioning that we couldn’t find in the literature any trace of results like (1.10) involving \({\mathcal {M}}\) or multi-linear Calderón-Zygmund operators, \(A_p^{{\mathcal {R}}}\) or \(A_{\mathbf {P}}^{{\mathcal {R}}}\) weights, and mixed restricted weak type inequalities.
Curiously, we didn’t find much about Sawyer-type inequalities for Lorentz spaces apart from the endpoint results studied in [2, 19, 24, 39, 40, 44, 47,48,49, 54], and some endpoint estimates for multi-variable fractional operators (see [52]), multi-linear pseudo-differential operators (see [12]), and the Hardy averaging operator (see [41, 43]). As we have seen before, these inequalities are fundamental to understand the behavior of the operator \(M^\otimes \), but they appear naturally in the study of other classical operators, even in the one-variable case. Consider, for example, the case of the Hilbert transform H. Indeed, if \(p>1\) and \(w\in A_p^{{\mathcal {R}}}\), it is well-known that \(H:L^{p,1}(w)\longrightarrow L^{p,\infty }(w)\). Hence, duality, linearity, and self-adjointness of H yield
This is an example of an estimate like (1.3) involving the \(A_p^{{\mathcal {R}}}\) condition on the weights and obtained almost without effort. The same inequality holds for the Hardy-Littlewood maximal operator M, but we cannot use the same argument, as shown in [15]. In Theorem 7 we will generalize such a result for M, obtaining as a particular case, a new characterization of \(A_p^{{\mathcal {R}}}\) and an alternative proof of the result in [15]. In [29, 35], one can find similar endpoint estimates for Calderón-Zygmund operators, with \(p'=1\) and \(w \in A_1\) (see also [11, 50, 51, 55, 56]).
Sawyer-type inequalities also arise in the broadly studied topic involving commutators of linear operators T with a BMO function b, although we will not deal with them in this paper. The crucial initial observation is that we can write [b, T] as a complex integral operator using Cauchy’s integral theorem, obtaining that for \(\varepsilon >0\),
where
This approach was introduced in the celebrated paper [17] and was further developed in [1]. In the context of Lorentz spaces, for \(p>1\) and a weight w, and in virtue of Minkowski’s inequality, we get that for any \(\varepsilon >0\),
Since \(b\in BMO\), as a consequence of the John-Nirenberg inequality, there is a constant \(s_0>0\) such that for \(|z|\le s_0\), \(v^{-1}:=|e^{zb}|=e^{\mathfrak {R}(z) b} \in A_p\), and hence, it is possible to deduce weighted inequalities for commutators from estimates of the form
for a norm or a quasi-norm \(\Vert \cdot \Vert _{X}\), and \(v^{-1}\in A_p\). Further results for commutators involving Sawyer-type inequalities can be found in [6, 7] (see also [8, 9]).
Recently, E. R. P. has shown in [53] that Sawyer-type inequalities for Lorentz spaces play a fundamental role in the extension to the multi-variable setting of the restricted weak type Rubio de Francia’s extrapolation presented in [13, 15]. His approach suggests that Conjecture 1 will be crucial for proving multi-variable extrapolation theorems involving weights in \(A_{\mathbf {P}}^{{\mathcal {R}}}\).
2 Preliminaries
2.1 Lorentz spaces and classical weights
Let us recall the definition of the Lebesgue and Lorentz spaces (see [4]). For \(p>0\) and an arbitrary measure space \((X,\nu )\), \(L^{p,1}(\nu )\) is the Lorentz space of \(\nu \)-measurable functions such that
\(L^{p}(\nu )\) is the Lebesgue space of \(\nu \)-measurable functions such that
and \(L^{p,\infty }(\nu )\) is the Lorentz space of \(\nu \)-measurable functions such that
where \(f_\nu ^*\) is the decreasing rearrangement of f with respect to \(\nu \), defined by
If \(p\ge 1\), then \(L^{p,1}(\nu ) \hookrightarrow L^{p}(\nu ) \hookrightarrow L^{p,\infty }(\nu )\). Given a \(\sigma \)-finite measure space \((X,\nu )\), and parameters \(0<r<p<\infty \), the quantity
satisfies that
This result is classical (see [27, Exercise 1.1.12]), and throughout this paper, we will refer to these inequalities as Kolmogorov’s inequalities.
Given \(f\in L^1_{loc}({\mathbb {R}}^n)\), the Hardy-Littlewood maximal operator M is defined by
where the supremum is taken over all cubes \(Q\subseteq {\mathbb {R}}^n\) containing x. Muckenhoupt studied the boundedness of M on Lebesgue spaces \(L^p(w)\) (see [45]). Given a positive and locally integrable function w, called weight, and \(1<p<\infty \),
if, and only if \(w\in A_p\); that is, if
where we use the notation \(\fint _Q w =\frac{1}{|Q|}\int _Q w(x)dx\). Moreover, if \(1\le p<\infty \),
if, and only if \(w\in A_p\), where a weight \(w\in A_1\) if
Buckley proved in [10] that for \(1\le p <\infty \),
and if \(p>1\), then
The restricted weak type bounds of M were studied in [16, 31]. For \(1\le p < \infty \),
if, and only if \(w\in A_p^{{\mathcal {R}}}\), where a weight w is in \(A_p^{{\mathcal {R}}}\) (also denoted by \(A_{p,1}\)) if
or equivalently, if
Given a measurable set E, we write \(w(E)=\int _{E}w(x) dx\). If \(w= 1\), we simply write |E|. We have that \([w]_{A_p^{{\mathcal {R}}}} \le \Vert w \Vert _{A_p^{{\mathcal {R}}}} \le p [w]_{A_p^{{\mathcal {R}}}}\). Moreover,
As usual, we write \(A \lesssim B\) if there exists a positive constant \(C>0\), independent of A and B, such that \(A\le C B\). If the implicit constant C depends on some parameter \(\alpha \), we may write \(\lesssim _\alpha \) at our discretion. If \(A\lesssim B\) and \(B\lesssim A\), then we write \(A\approx B\).
We now give the definitions of some other classes of weights that will appear later. For more information about them, see [19, 21, 23, 26]. Define the class of weights
A weight \(w\in A_{\infty }\) if, and only if
This quantity is usually referred to as the Fujii-Wilson \(A_\infty \) constant (see [25]). More generally, given a weight u, and \(p> 1\), we say that \(w\in A_p(u)\) if
and \(w\in A_1(u)\) if
and as before, we define
If u is a doubling weight for cubes in \({\mathbb {R}}^n\), and \(w\in A_{\infty }(u)\), then
where
is the weighted Hardy-Littlewood maximal operator. If \(p>1\), then \(M_u\) is bounded on \(L^p(wu)\) if, and only if \(w\in A_p(u)\), provided that u is doubling. Given \(s>1\), we say that a weight \(w\in RH_s\) if
and \(w\in RH_{\infty }\) if
We have that
In [36], the following multi-variable extension of the Hardy-Littlewood maximal operator was introduced in connection with the theory of multi-linear Calderón-Zygmund operators:
for \(\mathbf {f}=(f_1,\dots ,f_m)\), with \(f_i\in L^1_{loc}({\mathbb {R}} ^n)\), \(i=1,\dots ,m\). Commonly, this operator is referred to as the curly operator. For exponents \(1 \le p_1,\dots , p_m <\infty \), \(\mathbf {P}= (p_1,\dots ,p_m)\), \(\frac{1}{p}=\frac{1}{p_1}+ \dots + \frac{1}{p_m}\), and weights \(w_1, \dots ,w_m\), with \(\mathbf {w}= (w_1,\dots ,w_m)\), and \(\nu _{\mathbf {w}}:=w_1^{p/p_1} \dots w_m ^{p/p_m}\),
if, and only if \(\mathbf {w} \in A_{\mathbf {P}}\); that is, if
where \(\left( \fint _Q w_i ^{1-p_i'}\right) ^{1/p_i'}\) is replaced by \((\mathop {\hbox {ess inf}}_{x\in Q} w_i (x))^{-1}\) if \(p_i = 1\). Moreover, if \(1< p_1,\dots , p_m <\infty \), then
if, and only if \(\mathbf {w} \in A_{\mathbf {P}}\).
We are using throughout the paper the standard notation \( T : X_1 \times \dots \times X_m \longrightarrow X_0 \) to denote that T is a bounded operator from \( X_1 \times \dots \times X_m\) to \( X_0\), where \(X_i\) is an appropriate function space.
2.2 Dyadic grids and sparse collections of cubes
A general dyadic grid \({\mathscr {D}}\) is a collection of cubes in \({\mathbb {R}}^n\) with the following properties:
- (a):
-
For any \(Q \in {\mathscr {D}}\), its side length \(l_Q\) is of the form \(2^k\), for some \(k\in {\mathbb {Z}}\).
- (b):
-
For all \(Q,R \in {\mathscr {D}}\), \(Q\cap R \in \{\emptyset , Q, R\}\).
- (c):
-
The cubes of a fixed side length \(2^k\) form a partition of \({\mathbb {R}}^n\).
The standard dyadic grid in \({\mathbb {R}}^n\) consists of the cubes \(2^{-k}([0,1)^n+j)\), with \(k\in {\mathbb {Z}}\) and \(j\in {\mathbb {Z}}^n\). It is well-known (see [29]) that if one considers the perturbed dyadic grids
with \(\alpha \in \{0,\frac{1}{3}\}^n\), then for any cube \(Q\subseteq {\mathbb {R}}^n\), there exist \(\alpha \) and a cube \(Q_\alpha \in \mathscr {D}_ \alpha \) such that \(Q\subseteq Q_\alpha \) and \(l_{Q_\alpha }\le 6 l_Q\).
A collection of cubes \({\mathcal {S}}\) is said to be \(\eta \)-sparse if there exists \(0<\eta <1\) such that for every cube \(Q \in \mathcal S\), there exists a set \(E_Q \subseteq Q\) with \(\eta |Q| \le |E_Q|\), and for every \(Q\ne R \in {\mathcal {S}}\), \(E_R \cap E_Q = \emptyset \).
For more information about these topics, see [34].
2.3 Calderón-Zygmund operators
We say that a function \(\omega :[0,\infty ) \rightarrow [0,\infty )\) is a modulus of continuity if it is continuous, increasing, sub-additive and such that \(\omega (0)=0\). We say that \(\omega \) satisfies the Dini condition if
We give the definition of the multi-linear \(\omega \)-Calderón-Zygmund operators. We denote by \(\mathscr {S}({\mathbb {R}}^n)\) the space of all Schwartz functions on \({\mathbb {R}}^n\) and by \({\mathscr {S}}'({\mathbb {R}}^n)\) its dual space, the set of all tempered distributions on \({\mathbb {R}}^n\).
Definition 1
An m-linear \(\omega \)-Calderón-Zygmund operator is an m-linear and continuous operator \(T:{\mathscr {S}} ({\mathbb {R}}^n)\times \dots \times {\mathscr {S}} ({\mathbb {R}}^n)\longrightarrow {\mathscr {S}}'(\mathbb R^n)\) for which there exists a locally integrable function \(K(y_0,y_1,\dots ,y_m)\), defined away from the diagonal \(y_0=y_1=\dots =y_m\) in \(({\mathbb {R}}^n)^{m+1}\), satisfying, for some constant \(C_K>0\), the size estimate
for all \((y_0,y_1,\dots ,y_m) \in ({\mathbb {R}}^n)^{m+1}\) with \(y_0\ne y_j\) for some \(j\in \{1,\dots ,m\}\), and the smoothness estimate
for \(i=0,\dots ,m\) and whenever \(|y_i-y_i'|\le \frac{1}{2}\max _{0\le j \le m} |y_i-y_j|\), and such that
whenever \(f_1,\dots ,f_m \in {\mathscr {C}}^\infty _c ({\mathbb {R}}^n)\) and \(x\not \in \bigcap _{j=1}^m \text {supp } f_j\), and for some exponents \(1\le q_1,\dots ,q_m <\infty \), T extends to a bounded m-linear operator from \(L^{q_1}({\mathbb {R}}^n)\times \dots \times L^{q_m}({\mathbb {R}}^n)\) to \(L^q({\mathbb {R}}^n)\), with \(\frac{1}{q}=\frac{1}{q_1} + \dots + \frac{1}{q_m}\).
If we take \(\omega (t)=t^{\varepsilon }\) for some \(\varepsilon >0\), we recover the classical multi-linear Calderón-Zygmund operators. In general, an m-linear \(\omega \)-Calderón-Zygmund operator with \(\omega \) satisfying the Dini condition can be extended to a bounded operator from \(L^1({\mathbb {R}}^n) \times \dots \times L^1(\mathbb R^n)\) to \(L^{1/m,\infty }({\mathbb {R}}^n)\). The multi-linear Calderón-Zygmund theory has been investigated by many authors. For more information on this matter, see [28, 36, 42] and the publications cited there.
3 Sawyer-type inequalities for maximal operators
We devote this section to the study of a novel restricted weak type inequality that extends the classical Sawyer-type inequality (1.1) for the Hardy-Littlewood maximal operator. To this end, we will need some previous results.
The following lemma contains well-known results on weights (see [19, 21, 26, 40]), but we will give most of their proofs since we need to keep track of the constants of the weights involved.
Lemma 1
Let u and w be weights.
- (a):
-
If \(u\in A_1\), then \(u^{-1}\in RH_{\infty }\), and \([u^{-1}]_{RH_{\infty }}\le [u]_{A_1}\).
- (b):
-
If \(u \in RH_{\infty }\), and \(q>0\), then \(u^{q}\in RH_{\infty }\). If \(q\ge 1\), then \([u^{q}]_{RH_{\infty }}\le [u]_{RH_\infty }^q\).
- (c):
-
If \(u\in RH_{\infty }\), and \([u]_{RH_{\infty }} \le \beta \), then there exists \(r>1\), depending only on \(n,\beta \), such that \(u\in A_r\) and \([u]_{A_r}\le c_{n,\beta }\). In particular, \(RH_{\infty } \subseteq A_{\infty }\).
- (d):
-
If \(u\in A_{\infty }\), and \(w\in RH_{\infty }\), then \(uw\in A_\infty \).
- (e):
-
If \(u\in A_{1} \cap RH_{\infty }\), then \(u\approx 1\).
Fix \(p\ge 1\), and \(f_1,\dots ,f_m\in L^1_{loc}({\mathbb {R}}^n)\), and let \(v=\prod _{i=1}^m (Mf_i)^{-1}\).
- (f):
-
\(v^p \in RH_{\infty }\), and \(1\le [v^p]_{RH_{\infty }} \le c_{m,n,p}\).
- (g):
-
If \(u\in A_{\infty }\), then \(uv^p \in A_{\infty }\), with constant independent of \(\mathbf {f}=(f_1,\dots ,f_m)\).
Proof
To prove (a), fix a cube \(Q\subseteq {\mathbb {R}}^n\). By Hölder’s inequality, we have that
and hence,
and the desired result follows taking the supremum over all cubes Q.
The property (b) follows from [21, Theorem 4.2]. Let \(q\ge 1\), and fix a cube \(Q\subseteq {\mathbb {R}}^n\). Then,
from which the desired result follows, as before.
To prove (c), fix a cube \(Q\subseteq {\mathbb {R}}^n\), and a measurable set \(E\subseteq Q\). Then,
In particular, for every \(\varepsilon >0\), and \(\delta := \frac{\varepsilon }{\beta }\), if \(|E|<\delta |Q|\), then \(u(E)<\varepsilon u(Q)\), and the desired result follows from this fact applying the last theorem in [46].
To prove (d), take \(q,r>1\) such that \(u\in A_q\) and \(w\in A_r\). We will show that \(uw\in A_s\), for \(s:=q+r-1\). Fix a cube \(Q\subseteq {\mathbb {R}}^n\). Then,
and in virtue of Hölder’s inequality with exponent \(\alpha :=1+\frac{r-1}{q-1}\),
so \([uw]_{A_s} \le [w]_{RH_{\infty }}[u]_{A_q}[w]_{A_r}<\infty \).
The property (e) follows immediately from Corollary 4.6 in [21].
To prove (f), observe that in virtue of [27, Theorem 7.2.7], we have that for \(0< \delta <1\), \((Mf_i)^{\delta }\in A_1\), and \([(Mf_i)^{\delta }]_{A_1}\le \frac{c_n}{1-\delta }\), \(i=1,\dots ,m\). In particular, \(w:=\prod _{i=1}^m (Mf_i)^{\delta /m}\in A_1\), and \([w]_{A_1}\le \prod _{i=1}^m [(Mf_i)^{\delta }]_{A_1}^{1/m}\le \frac{c_n}{1-\delta }\). Since \(v^p=w^{-mp/\delta }\), it follows from (a) and (b) that
so
To prove (g), we already know by (f) that \(v^p\in RH_{\infty }\), with constant bounded by \(c_{m,n,p}\), so by (c), there exists \(r>1\), depending only on m, n, p, such that \([v^p]_{A_r}\le C_{m,n,p}\). By (d), for \(q>1\) such that \(u\in A_q\), and \(s=s(m,n,p,q)=q+r-1\), \([uv^p]_{A_s}\le {\widetilde{C}}_{m,n,p}[u]_{A_q}<\infty \). \(\square \)
The next lemma gives a result on weights that will be handy later on.
Lemma 2
Let u and v be weights, and suppose that \(u\in A_{\infty }\). Then, \(uv\in A_{\infty }\) if, and only if \(v\in A_{\infty }(u)\).
Proof
Let us first assume that \(uv\in A_{\infty }\). Since \(u\in A_{\infty }\), there exists \(s>1\) such that \(u\in RH_s\), and since \(uv\in A_{\infty }\), there exists \(r>1\) such that \(uv\in A_r\). Take \(q:=\frac{rs}{s-1}>1\). We will show that \(v\in A_q(u)\). Fix a cube Q. Then,
Take \(\alpha :=\frac{q-1}{r-1}=1+\frac{r}{(r-1)(s-1)}>1\) and observe that \((1-q')\alpha = 1-r'\), \(\frac{q-1}{\alpha }=r-1\), \(q' \alpha ' = s\), and \(\frac{q-1}{\alpha '}=\frac{q}{s}\). Using Hölder’s inequality with exponent \(\alpha \), we get that
Hence,
and \([v]_{A_q(u)}=\sup _Q I_Q \le [u]_{RH_s}^q [uv]_{A_r} < \infty \).
For the converse, let us assume that \(v\in A_{\infty }(u)\). It follows from Theorem 3.1 in [23] that there exist \(\delta , C>0\) such that for every cube \(Q\subseteq {\mathbb {R}}^n\) and every measurable set \(E\subseteq Q\),
Similarly, since \(u\in A_\infty \), there exist \(\varepsilon ,c >0\) such that for every cube \(Q\subseteq {\mathbb {R}}^n\) and every measurable set \(E\subseteq Q\),
so for every cube \(Q\subseteq {\mathbb {R}}^n\) and every measurable set \(E\subseteq Q\),
and hence, \(uv\in A_\infty \). \(\square \)
Remark 1
This result is an extension of Lemma 2.1 in [19], where it is shown that if \(u\in A_1\) and \(v\in A_{\infty }(u)\), then \(uv\in A_{\infty }\).
We introduce a weighted version of the dyadic Hardy-Littlewood maximal operator.
Definition 2
Let \({\mathscr {D}}\) be a general dyadic grid in \({\mathbb {R}}^n\), and let u be a weight. For a measurable function f, we consider the function
where the supremum is taken over all cubes \(Q\in {\mathscr {D}}\) that contain x. If \(u = 1\), we simply write \(M^{{\mathscr {D}}} f\).
The following bound for the operator \(M_u^{{\mathscr {D}}}\) is essential.
Theorem 1
Let \({\mathscr {D}}\) be a general dyadic grid in \({\mathbb {R}}^n\), and let u and v be weights. If \(u\in A_\infty \) and \(uv\in A_\infty \), then there exists a constant \(C_{u,v}\), independent of \({\mathscr {D}}\), such that for every measurable function f,
Proof
In virtue of Lemma 2, \(v\in A_{\infty }(u)\) and hence, this theorem follows from the proof of Theorem 1.4 in [19]. \(\square \)
Remark 2
If we examine the proof of Theorem 1.4 in [19], and we combine it with Appendix A in [20], we can take
where \(r,q > 1\) are such that \(uv\in A_r^{{\mathcal {R}}}\) and \(v\in A_{q'}(u)\).
Remark 3
The bound of Theorem 1 also holds for the weighted Hardy-Littlewood maximal operator \(M_u\), with constant
where \(p\ge 1\) is such that \(u\in A_p^{{\mathcal {R}}}\).
We can now state and prove the main result of this section.
Theorem 2
Fix \(p\ge 1\), and let u and v be weights such that \(u\in A_{p}^{{\mathcal {R}}}\) and \(uv^p\in A_{\infty }\). Then, there exists a constant \(C>0\) such that for every measurable function f,
Proof
It is known (see [29, 32]) that there exists a collection \(\{{\mathscr {D}} _ \alpha \}_{\alpha }\) of \(2^n\) general dyadic grids in \({\mathbb {R}}^n\) such that
Hence,
and it suffices to establish the result for the operator \(M^{{\mathscr {D}}}\), with \({\mathscr {D}}\) a general dyadic grid in \({\mathbb {R}}^n\).
We first discuss the case \(p=1\), which was proved in [19]. We reproduce the proof here keeping track of the constants. By the definition of the \(A_1\) condition,
for every cube \(Q\in {\mathscr {D}}\), so we get that \(M^{{\mathscr {D}}} f \le [u]_{A_1} M^{{\mathscr {D}}}_u f\). This estimate combined with Theorem 1 gives that
and hence, the desired result follows, with \(C=24^n [u]_{A_1} C_{u,v}\).
Now, we discuss the case \(p>1\). Let us take \(f=\chi _E\), with E a measurable set in \({\mathbb {R}}^n\), and fix a cube \(Q\in {\mathscr {D}}\). As before, by the definition of the \(A_p ^{{\mathcal {R}}}\) condition,
so we get that \(M^{{\mathscr {D}}} (\chi _E) \le p[u]_{A_p^{{\mathcal {R}}}} (M^{{\mathscr {D}}}_u (\chi _E))^{1/p}\). In particular,
We can now apply Theorem 1 to conclude that
Combining all the previous estimates, we have that
Since \(p>1\), \(L^{p,\infty }(uv^p)\) is a Banach space, and by standard arguments (see [27, Exercise 1.4.7]), we can extend the previous estimate to arbitrary measurable functions f, gaining a factor of \(4p'\) in the constant. Hence, the desired result follows, with \(C=4\cdot 24^n p' [u]_{A_p^{{\mathcal {R}}}} C_{u,v^p}^{1/p}\). \(\square \)
Remark 4
For \(p=1\) and \(u\in A_1\), a more general version of Theorem 2 was established in [39], replacing the hypothesis that \(uv\in A_\infty \) by the weaker assumption that \(v\in A_ \infty \). It is unknown to us whether the hypothesis that \(uv^p\in A_\infty \) can be replaced by \(v\in A_\infty \) when \(p>1\).
In virtue of Lemma 1, if \(u\in A_\infty \) and \(v \in RH_\infty \), then for every \(p\ge 1\), \(uv^p\in A_\infty \), and we have a whole class of non-trivial examples of weights that satisfy the hypotheses of Theorem 2.
Observe that the conclusion of Theorem 2 is completely elementary if \(p>1\) and \(u\in A_p\), since
However, this argument doesn’t work in the general case, because the inequality
may fail for some measurable functions h on \({\mathbb {R}}^n\), and arbitrary weights u and v, as can be seen by choosing \(h(x)= |x|^{-\frac{n}{p}}\chi _{\{y\in {\mathbb {R}}^n \, : \, |y|\ge 1\}}(x)\), \(u=1\), and \(v(x) = h(x)+\chi _{\{y\in {\mathbb {R}}^n \, : \, |y| < 1\}}(x)\), with \(0<p<\infty \).
To provide applications of Theorem 2 we need to give a more precise estimate of the constant C that appears there in terms of the corresponding constants of the weights involved. We achieve this in the following lemma.
Lemma 3
In Theorem 2, if \(r\ge 1\) is such that \(uv^p \in A_r^{{\mathcal {R}}}\), then one can take
where \({\mathscr {E}}_{r,p}^n:[1,\infty )^2 \longrightarrow \mathbb (0,\infty )\) is a function that increases in each variable, and it depends only on r, p, and the dimension n.
Proof
We first discuss the case when \(r>1\). We already know that we can take
and in virtue of Remark 2,
where \(r,q > 1\) are such that \(uv^p\in A_r^{{\mathcal {R}}}\) and \(v^p\in A_{q'}(u)\). For convenience, we write \(V:=v^p\). Let us first bound the factor \(\left\| M_u \right\| _{L^q(uV^{1-q})}^q\). For the space of homogeneous type \(({\mathbb {R}}^n,d_\infty ,u(x)dx)\), it follows from the proof of Theorem 1.3 in [30] that
where \(D_u:=p \log _2 (2^n p [u]_{A_p^{{\mathcal {R}}}})\). Now, given a cube \(Q\subseteq {\mathbb {R}}^n\), and applying Hölder’s inequality with exponent q, we have that
and taking the supremum over all cubes Q, we get that
Combining the previous estimates, we obtain that
Now, we will bound the factor \([V]^{q}_{A_{q'}(u)}\). In virtue of [29, Proposition 2.2], and using the definitions of \([u]_{A_{2p}}\) and \([u]_{A_{p}^{{\mathcal {R}}}}\), and Kolmogorov’s inequalities, we can deduce that
and applying Theorem 2.3 in [30], \(u\in RH_s\) for \(s=1+\frac{1}{2^{n+1}c_{p,n}[u]_{A_p^{{\mathcal {R}}}}^{2p}-1}\), and \([u]_{RH_s}\le 2\). Since \(uV\in A_{2r}\), Lemma 2 tells us that if we choose \(q'=2rs'\), then
Finally, observe that \(q'=2^{n+2}r c_{p,n}[u]_{A_p^{\mathcal R}}^{2p}\), and \(1<q\le 2\), so
and the desired result follows, with
The case when \(r=1\) follows, for example, from the case when \(r=2\) and the fact that if \(uv^p \in A_1\), then \([uv^p]_{A_2^{\mathcal R}}\le [uv^p]_{A_2}^{1/2}\le [uv^p]_{A_1}^{1/2}\). \(\square \)
Remark 5
It would be interesting to obtain the sharp dependence of C on the constants of the weights involved; our results are most certainly far from optimal.
4 Applications
In this section, we will provide several applications of the Sawyer-type inequality established in Theorem 2, obtaining mixed restricted weak type estimates for multi-variable maximal operators, sparse operators and Calderón-Zygmund operators.
The first result that we present is the converse of Theorem 3.3 in [14], that was left as an open question. Combining both theorems, we obtain the complete characterization of the restricted weak type bounds of the operator \(M^\otimes \) for \(A_\infty \) weights.
Theorem 3
Let \(1\le p_1,\dots , p_m <\infty \), and let \(\frac{1}{p}=\frac{1}{p_1}+ \dots + \frac{1}{p_m}\). Let \(w_1, \dots ,w_m\) be weights, with \(w_i \in A_{p_i}^{{\mathcal {R}}}\), \(i=1,\dots ,m\) . Then, there exists a constant \(C>0\) such that the inequality
holds for every vector of measurable functions \(\mathbf {f}=(f_1,\dots ,f_m)\).
Proof
The case when \(p_1=\dots =p_m=1\) was proved in [36], and we build upon that proof to demonstrate the remaining cases.
We can assume, without loss of generality, that \(f_i \in L^{\infty }_c({\mathbb {R}}^n)\), \(i=1,\dots ,m\). Fix \(t >0\) and define
For \(i=1,\dots ,m\), and taking \({{\tilde{v}}}_i:=\prod _{j\ne i} (Mf_j)^{-1}\), we have that
Using the fact that \({{\tilde{v}}}_i\in RH_{\infty }\), with constant independent of \(\mathbf {f}\) (see Lemma 1), Hölder’s inequality, and Theorem 2, we obtain that
Iterating this result, we get that for each \(t>0\) and every natural number N,
and letting N tend to infinity, the last term vanishes, and we conclude that
Observe that in virtue of Lemma 1, for \(i=1,\dots ,m\), we have that \(w_i{{\tilde{v}}}_i ^{p_i}\in A_{s_i}\), where \(s_i>1\) depends only on \(m,n,p_i\), and
so by Lemma 3, we have that \(C_i \le {\mathscr {E}} ^n_{s_i,p_i}([w_i]_{A_{p_i}^{{\mathcal {R}}}},C_{m,n,p_i}[w_i]_{A_{p_i}^{{\mathcal {R}}}} ^{2p_i/s_i})\), and hence, the desired result follows, with
which depends on the constants of the weights \(w_1, \dots , w_m\) in an increasing way. \(\square \)
The next application that we provide is an extension of Theorem 2 to the multi-variable setting, which in turn, extends Theorem 3. The proof is based on the previous one, and is similar to that of Theorem 1.4 in [40].
Theorem 4
Let \(1\le p_1,\dots , p_m <\infty \), and let \(\frac{1}{p}=\frac{1}{p_1}+ \dots + \frac{1}{p_m}\). Let \(w_1, \dots ,w_m\) be weights, with \(w_i \in A_{p_i}^{{\mathcal {R}}}\), \(i=1,\dots ,m\) . Let v be a weight such that \(\nu _{\mathbf {w}}v^p\) is a weight, and \(w_iv^{p_i}\in A_\infty \), \(i=1,\dots ,m\). Then, there exists a constant \(C>0\) such that the inequalities
hold for every vector of measurable functions \(\mathbf {f}=(f_1,\dots ,f_m)\).
Proof
The first inequality follows from the fact that \({\mathcal {M}}(\mathbf {f}) \le M^\otimes (\mathbf {f})\). For the second one, we can assume, without loss of generality, that \(f_i \in L^{\infty }_c({\mathbb {R}}^n)\), \(i=1,\dots ,m\). Fix \(y,R >0\) and define
For \(i=1,\dots ,m\), and taking \({{\tilde{v}}}_i:=\prod _{j\ne i} (Mf_j)^{-1}\), and \(v_i:={{\tilde{v}}}_i v\), we have that
Since \({{\tilde{v}}}_i\in RH_{\infty }\), and \(w_i v^{p_i} \in A_{\infty }\), we have that \(w_i v_i ^{p_i} \in A_{\infty }\), with constant independent of \(\mathbf {f}\) (see Lemma 1). In virtue of Hölder’s inequality and Theorem 2, we get that
Iterating this result, we deduce that for each \(y>0\) and every natural number N,
and letting first N tend to infinity, and then R, the last term vanishes, and we conclude that
For \(i=1,\dots ,m\), if we take \(q_i>1\) such that \(w_i v^{p_i}\in A_{q_i}^{{\mathcal {R}}}\), in virtue of Lemma 1, we have that \(w_i v_i ^{p_i}\in A_{s_i}\), where \(s_i>1\) depends only on \(m,n,p_i,q_i\), and \([w_i v_i ^{p_i}]_{A_{s_i}^{\mathcal R}}^{s_i}\lesssim _{m,n,p_i,q_i} [w_iv^{p_i}]_{A_{q_i}^{\mathcal R}}^{2q_i}\), so by Lemma 3, we have that \(C_i \le {\mathscr {E}} ^n _ {s_i,p_i}([w_i]_{A_{p_i}^{\mathcal R}},C_{m,n,p_i,q_i}[w_iv^{p_i}]_{A_{q_i}^{{\mathcal {R}}}} ^{2q_i/s_i})\), and hence, the desired result follows, with
\(\square \)
Remark 6
In the case when \(p_1=\dots =p_m=1\), the previous result is a corollary of Theorem 1.4 in [40].
Observe that if we take weights \(w_i\in A_{p_i}^{{\mathcal {R}}}\), \(i=1,\dots ,m\), and \(v\in RH_{\infty }\), then the hypotheses of Theorem 4 are satisfied.
The next result will be crucial to work with Calderón-Zygmund operators in the mixed restricted weak setting.
Theorem 5
Let \(0<p<\infty \), let \({\mathcal {S}}\) be an \(\eta \)-sparse collection of cubes, and let v, w be weights. Suppose that there exists \(0<\varepsilon \le 1\) such that \(\varepsilon < p\), \(wv^{-\varepsilon } \in A_\infty \), and
Then, there exists a constant \(C>0\), independent of \({\mathcal {S}}\), such that the inequality
holds for every vector of measurable functions \(\mathbf {f}=(f_1,\dots ,f_m)\).
Proof
In virtue of Kolmogorov’s inequalities, we obtain that
where the supremum is taken over all measurable sets F with \(0<w(F)<\infty \). For one of such sets F, and \(W:=wv^{-\varepsilon }\), we have that
Since \(W\in A_{\infty }\), there exists \(r\ge 1\) such that \(W\in A_r^{{\mathcal {R}}}\). Hence,
By hypothesis, \({\mathcal {S}}\) is \(\eta \)-sparse, so for each \(Q\in {\mathcal {S}}\),
Using this, we get that
The sides of an n-dimensional cube have Lebesgue measure 0 in \({\mathbb {R}}^n\), so we can assume that the cubes in \({\mathcal {S}}\) are open. For \(Q\in {\mathcal {S}}\) and \(z\in E_Q\), we define \(Q^z:=Q(z,l_Q)\), the open cube of center z and side length twice the side length of Q. We have that \(E_Q \subseteq Q \subseteq Q^z \subseteq 3Q\), so
and
Since the sets \(\{E_Q\}_{Q\in {\mathcal {S}}}\) are pairwise disjoint, and using Hölder’s inequality with exponent \(\frac{p}{\varepsilon }>1\),
Observe that for every measurable function g, \(\Vert M_W ^c (g)\Vert _{L^\infty (w)} \le \Vert g \Vert _{L^\infty (w)}\), and by standard arguments (see [27, Theorem 7.1.9]), it is easy to show that
In particular, and applying Marcinkiewicz’s interpolation theorem (see [4, Theorem 4.13]), we conclude that
Combining the previous estimates, we obtain that
and the desired result follows, with
\(\square \)
Remark 7
For \(0<p\le 1\), if we take v such that \(v^\delta \in A_\infty \) for some \(\delta >0\), and \(w=uv^p\), with \(u\in A_1\), then the previous result can be established via an extrapolation argument (see [49, Theorem 1.1]).
Under the conditions that \(0<p\le 1\), and \(w=uv^p\), we can find weights u and v that satisfy the hypotheses of Theorem 1.1 in [49] but not the ones of Theorem 5, and vice versa. If we take a non-constant weight \(u\in A_1\), and \(v=u^{-1/p}\), then \(v\in RH_\infty \subseteq A_{\infty }\), and \(uv^p=1\), but for every \(0<\varepsilon \le 1\) such that \(\varepsilon <p\), we have that \(v^{-\varepsilon } = u^{\varepsilon /p}\in A_1\), and since u is non-constant, \(v^{-\varepsilon } \not \in RH_{\infty }\). Similarly, if we take a non-constant weight \(v\in A_1\), and \(u=v^{-p}\), then \(uv^p=1\), and for every \(\varepsilon >0\), \(uv^{p-\varepsilon }=v^{-\varepsilon } \in RH_{\infty }\subseteq A_{\infty }\), but \(u\in RH_{\infty }\) and is non-constant, so \(u\not \in A_1\) (see Lemma 1).
The previous examples show that, sometimes, some of the hypotheses of Theorem 5 may be redundant. Let us be more precise on this fact. If \(w\in A_{\infty }\), and \(wv^{-\varepsilon }\) is a weight, then \([v^{-\varepsilon }]_{RH_\infty (w)}<\infty \) implies that \(wv^{-\varepsilon }\in A_\infty \). Indeed, given a cube \(Q\subseteq {\mathbb {R}}^n\), and a measurable set \(E\subseteq Q\), we have that
and since \(w\in A_\infty \), there exist \(\delta , C>0\) such that
so
and hence, \(wv^{-\varepsilon }\in A_\infty \) (see [23]).
The next application of Theorem 2 follows from the combination of Theorems 4 and 5, and gives us mixed restricted weak type bounds for multi-variable sparse operators that can also be deduced for other operators, such as multi-linear Calderón-Zygmund operators, using sparse domination techniques (see [37]).
Theorem 6
Let \(1\le p_1,\dots , p_m <\infty \), and let \(\frac{1}{p}=\frac{1}{p_1}+ \dots + \frac{1}{p_m}\). Also, let \(w_1, \dots ,w_m\) be weights, with \(w_i \in A_{p_i}^{{\mathcal {R}}}\), \(i=1,\dots ,m\), and write \(\nu _{\mathbf {w}}=w_1^{p/p_1}\dots w_m ^{p/p_m}\). Let v be a weight such that \(\nu _{\mathbf {w}}v^p\) is a weight, and \(w_iv^{p_i}\in A_\infty \), \(i=1,\dots ,m\). Moreover, suppose that there exists \(0<\varepsilon \le 1\) such that \(\varepsilon < p\), \(\nu _{\mathbf {w}}v^{p-\varepsilon } \in A_\infty \), and \([v^{-\varepsilon }]_{RH_\infty (\nu _{\mathbf {w}}v^p)}<\infty \). Then, there exists a constant \(C>0\) such that the inequality
holds for every vector of measurable functions \(\mathbf {f}=(f_1,\dots ,f_m)\), where T is either a sparse operator of the form
where \({\mathcal {S}}\) is an \(\eta \)-sparse collection of dyadic cubes, or any operator that can be conveniently dominated by such sparse operators, like m-linear \(\omega \)-Calderón-Zygmund operators with \(\omega \) satisfying the Dini condition.
Remark 8
In the case when \(p_1=\dots =p_m=1\), and T is a multi-linear Calderón-Zygmund operator, the previous result follows from Theorem 1.9 in [40].
In general, there are examples of weights that satisfy the hypotheses of Theorem 6 apart from the constant weights. For instance, if \(1\le p_1,\dots ,p_m \le m'\), we can take \(w_i=(Mh_i)^{(1-p_i)/m}\), with \(h_i \in L^1_{loc}({\mathbb {R}}^n)\), \(i=1,\dots ,m\), and \(v=\nu _{\mathbf {w}}^{-1/p}\). Indeed, in virtue of Theorem 2.7 in [13], we have that \(w_i \in A_{p_i}^{\mathcal R}\), \(i=1,\dots ,m\), and \(w_i v^{p_i}=\left( \prod _{j\ne i} (Mh_j)^{1/p_j '}\right) ^{p_i/m}\in A_1\). Observe that \(\nu _{\mathbf {w}}v^p=1\), and \(v=\left( \prod _{i=1}^m (Mh_i)^{1/p_i '}\right) ^{1/m} \in A_1\), so for every \(\varepsilon >0\), \(\nu _{\mathbf {w}}v^{p-\varepsilon }=v^{-\varepsilon } \in RH_{\infty } \subseteq A_{\infty }\).
The last application that we provide of Theorem 2 can be interpreted as a dual version of it, and generalizes [15, Proposition 2.10].
Theorem 7
Fix \(p > 1\), and let u and v be weights such that \(u\in A_{p}^{{\mathcal {R}}}\), \(uv^p\in A_{\infty }\), and for some \(0<\varepsilon \le 1\), \(uv^{p-\varepsilon }\) is a weight and \([v^{-\varepsilon }]_{RH_{\infty }(uv^p)}<\infty \). Then, there exists a constant \(C>0\) such that for every measurable function f,
Proof
It is known (see [32]) that there exist a collection \(\{{\mathscr {D}}_{\alpha }\}_{\alpha }\) of \(2^n\) general dyadic grids in \({\mathbb {R}}^n\), and a collection \(\{{\mathcal {S}}_ {\alpha } \}_{\alpha }\) of \(\frac{1}{2}\)-sparse families of cubes, with \({\mathcal {S}}_ {\alpha } \subseteq {\mathscr {D}}_{\alpha }\), such that for every measurable function F,
Hence,
By duality, and self-adjointness of \({\mathcal {A}}_{\mathcal S_{\alpha }}\), and in virtue of Hölder’s inequality, we have that
and the desired result follows from Theorem 5 and Theorem 2. \(\square \)
Remark 9
It is clear from the previous proof that Theorem 7 is also true for operators that can be conveniently dominated by sparse operators \(A_{{\mathcal {S}}_{\alpha }}\). Even more, for a self-adjoint operator T, and by duality, an inequality like (4.2) follows immediately from an inequality like (1.6), with T in place of M.
Note that for \(p>1\), if \(u\in A_p\), and v is a weight, then for every measurable function f,
Hence, we obtain the conclusion of Theorem 7 without assuming that for some \(0<\varepsilon \le 1\), \([v^{-\varepsilon }]_{RH_{\infty }(uv^p)}<\infty \). We would like to prove Theorem 7 without this technical hypothesis, but unfortunately, at the time of writing, we don’t know how to do it.
Observe that if \(v=1\), then in Theorem 7 we can take \(\varepsilon = 1\), and \( C= C_{n,p} [u]_{A_p^{{\mathcal {R}}}}^{p+1}, \) and the dependence on u of the constant C is explicit, although the exponent \(p+1\) may not be sharp. Also, by testing on characteristic functions and using Kolmogorov’s inequalities, we see that the condition that \(u\in A_p^{{\mathcal {R}}}\) is necessary. This argument yields a new characterization of \(A_p^{{\mathcal {R}}}\) weights and refines [15, Proposition 2.10].
Theorem 8
Fix \(p > 1\), and let u be a weight. If \(u\in A_p^{{\mathcal {R}}}\), then for every measurable function f,
Moreover, if such an inequality holds for some constant \(C>0\), then \(u\in A_p^{{\mathcal {R}}}\), and \([u]_{A_p^{{\mathcal {R}}}}\le p' C\).
5 Sawyer-type inequalities and multi-variable conditions on weights
In [40, Theorem 1.5], Li, Ombrosi, and Picardi obtained an endpoint Sawyer-type inequality for the operator \({\mathcal {M}}\) involving \(A_{\mathbf {1}}\) weights. It is natural to ask if something similar can be done in the general restricted weak setting, establishing a result for \({\mathcal {M}}\) like the one in Theorem 4, but assuming a multi-variable condition on the tuple of weights involved instead of imposing an individual condition on each weight. In this section we study this question.
In view of Theorem 4 for \(v=1\), it is reasonable to begin with the characterization of the weights for which the operator \({\mathcal {M}}\) and its centered version \({\mathcal {M}}^c\) are bounded in the restricted weak setting. This will give us the appropriate multi-variable condition on the weights. We use ideas from [16, Section 3] and [27, Theorem 7.1.9].
Theorem 9
Let \(1\le p_1,\dots , p_m <\infty \), and \(\frac{1}{p}=\frac{1}{p_1} + \dots + \frac{1}{p_m}\). Let \(w_1, \dots ,w_m\), and \(\nu \) be weights. The inequality
holds for every vector of measurable functions \(\mathbf {f}\) if, and only if
Proof
First, recall that by [27, Theorem 1.4.16.(v)] (see also [3, Theorem 4.4]), we have that
Now, fix a cube Q, and \(\gamma > 1\), and for \(i=1,\dots ,m\), choose a non-negative function \(f_i\) such that \(\left\| f_i \right\| _{L^{p_i,1}(w_i)} \le 1\) and
Since
the hypothesis (5.1) and (5.3) imply that
and hence, \([\mathbf {w}, \nu ]_{A_{\mathbf {P}}^{{\mathcal {R}}}} \le p_1 \dots p_m C<\infty \).
For the converse, suppose that the quantity \([\mathbf {w}, \nu ]_{A_{\mathbf {P}}^{{\mathcal {R}}}} < \infty \). Observe that
so it suffices to establish the result for the operator \({\mathcal {M}}^c\).
If for some \(i=1,\dots ,m\), \(\left\| f_i \right\| _{L^{p_i,1}(w_i)}=\infty \), then there is nothing to prove, so we may assume that \(\left\| f_i \right\| _{L^{p_i,1}(w_i)}<\infty \) for every \(i=1,\dots ,m\). Fix \(\lambda >0\), and let \(E_{\lambda } := \{x\in {\mathbb {R}}^n : {\mathcal {M}}^c (\mathbf {f})(x) > \lambda \}\). We first show that this set is open. If for some \(i=1,\dots ,m\), \(f_i\not \in L^1_{loc}({\mathbb {R}}^n)\), then \(E_{\lambda } = \mathbb R^n\). Otherwise, observe that for any \(r>0\), and \(x\in {\mathbb {R}}^n\), the function
is continuous. Indeed, if \(x_n \rightarrow x_0\), then \(|Q(x_n,r)| \rightarrow |Q(x_0,r)|\), and also \(\int _{Q(x_n,r)}|f_i| \rightarrow \int _{Q(x_0,r)}|f_i|\) by Lebesgue’s dominated convergence theorem. Since \( |Q(x_0,r)| \ne 0\), the result follows. This implies that \({\mathcal {M}}^c (\mathbf {f})\) is the supremum of continuous functions and hence, it is lower semi-continuous, and the set \(E_{\lambda }\) is open.
Given a compact subset K of \(E_{\lambda }\), for any \(x \in K\), select an open cube \(Q_x\) centered at x such that
In virtue of [27, Lemma 7.1.10] , we find a subset \(\{Q_j\}_{j=1}^N\) of \(\{Q_x:x\in K\}\) such that \(K \subseteq \bigcup _{j=1}^N Q_j\), and \(\sum _{j=1}^N \chi _{Q_j}\le 72^n\). Then, by Hölder’s inequality for Lorentz spaces, (5.2), discrete Hölder’s inequality with exponents \(\frac{p_i}{p}\), and [16, Lemma 2.5],
Taking the supremum over all compact subsets K of \(E_{\lambda }\) and using the inner regularity of \(\nu (x)dx\), we obtain (5.1) with constant
\(\square \)
Remark 10
In fact, we have proved that
and
Remark 11
Observe that if \({\mathcal {M}}\) is bounded as in (5.1), then for every cube Q, if we choose \(f_1=\dots =f_m = \chi _Q\), we get that
and Lebesgue’s differentiation theorem implies that \(\nu \lesssim \prod _{i=1}^m w_i^{p/p_i}\).
In virtue of Theorem 9, we define the following class of weights.
Definition 3
Let \(1\le p_1,\dots , p_m <\infty \), and \(\frac{1}{p}=\frac{1}{p_1} + \dots + \frac{1}{p_m}\). Let \(w_1, \dots ,w_m\), and \(\nu \) be weights. We say that \((w_1,\dots ,w_m,\nu )\) belongs to the class \(A_{\mathbf {P}}^{{\mathcal {R}}}\) if \([\mathbf {w}, \nu ]_{A_{\mathbf {P}}^{\mathcal R}} < \infty \).
The condition that defines the class of \(A_{\mathbf {P}}^{{\mathcal {R}}}\) weights depends on their behavior on cubes, and has been obtained following the ideas of Chung, Hunt, and Kurtz (see [16]). One can ask if it is possible to obtain a different condition, resembling the one obtained by Kerman and Torchinsky (see [31]). Our next theorem gives a positive answer to this question, recovering their results in the case when \(m=1\) and \(w_1=\nu \).
Theorem 10
Let \(1\le p_1,\dots , p_m <\infty \), and \(\frac{1}{p}=\frac{1}{p_1} + \dots + \frac{1}{p_m}\). Let \(w_1, \dots ,\) \(w_m,\) and \(\nu \) be weights. The following statements are equivalent:
- (a):
-
\(\Vert {\mathcal {M}} (\mathbf {f}) \Vert _{L^{p,\infty }(\nu )} \le C \prod _{i=1}^m \left\| f_i \right\| _{L^{p_i,1}(w_i)}\), for every \(\mathbf {f}\).
- (b):
-
\(\left\| {\mathcal {M}} (\mathbf {\chi }) \right\| _{L^{p,\infty }(\nu )} \le c \prod _{i=1}^m w_i(E_i)^{1/p_i}\), for every \(\mathbf {\chi }= (\chi _{E_1},\dots ,\chi _{E_m})\).
- (c):
-
$$\begin{aligned} \Vert \mathbf {w}, \nu \Vert _{A_{\mathbf {P}}^{{\mathcal {R}}}} := \sup _Q \nu (Q)^{1/p} \prod _{i=1}^m \sup _{0<w_i(E_i)<\infty } \frac{|E_i\cap Q|}{|Q|}w_i(E_i)^{-1/p_i}<\infty . \end{aligned}$$
- (d):
-
\((w_1,\dots ,w_m,\nu )\in A_{\mathbf {P}}^{{\mathcal {R}}}\).
Moreover, if \((w_1,\dots ,w_m,\nu )\in A_{\mathbf {P}}^{{\mathcal {R}}}\), and \(\nu \in A_\infty \), then
where T is either a sparse operator as in (4.1), or any operator that can be conveniently dominated by such sparse operators, like m-linear \(\omega \)-Calderón-Zygmund operators with \(\omega \) satisfying the Dini condition.
Proof
It is clear that (a) implies (b), and we have already proved in Theorem 9 that (a) and (d) are equivalent. Let us show that (b) implies (c). Fix a cube Q and measurable sets \(E_i\), for \(i=1,\dots , m\), with \(0<w_i(E_i)<\infty \). Since
we apply (b) to conclude that
and hence, \(\Vert \mathbf {w}, \nu \Vert _{A_{\mathbf {P}}^{{\mathcal {R}}}} \le c < \infty \).
We now prove that (c) is equivalent to (d). First, observe that for every \(i=1,\dots ,m\),
where the first supremum is taken over all measurable sets \(E_i\) such that \(0<w_i(E_i)<\infty \), and the second one is taken over all non-empty measurable sets \(E_i\subseteq Q\). Now, in virtue of [16, Lemma 2.8] and Kolmogorov’s inequalities, we have that
and hence, \([ \mathbf {w}, \nu ]_{A_{\mathbf {P}}^{{\mathcal {R}}}} \le \Vert \mathbf {w}, \nu \Vert _{A_{\mathbf {P}}^{{\mathcal {R}}}} \le p_1 \dots p_m [ \mathbf {w}, \nu ]_{A_{\mathbf {P}}^{{\mathcal {R}}}}\).
Note that a similar argument to the one in the proof of Theorem 5 shows that for \(0< \varepsilon \le 1\) such that \(\varepsilon <p\), and \(r\ge 1\) such that \(\nu \in A_r^{\mathcal R}\),
where
and since \({\mathcal {S}}\) is a countable collection of dyadic cubes, the proof of Theorem 9 can be rewritten to show that
if, and only if
which is true, since \([\mathbf {w},\nu ]_{A_{\mathbf {P}, {\mathcal {S}}}^{\mathcal R}} \le [\mathbf {w},\nu ]_{A_{\mathbf {P}}^{{\mathcal {R}}}}<\infty \). Moreover,
so (5.5) implies that
Finally, in virtue of Theorem 1.2 and Proposition 3.1 in [37] (see also [33, Theorem 3.1]), if T is an m-linear \(\omega \)-Calderón-Zygmund operator with \(\omega \) satisfying the Dini condition, then there exists a dimensional constant \(0<\eta <1\) such that given compactly supported functions \(f_i \in L^1(\mathbb R^n)\), \(i=1,\dots ,m\), there exists an \(\eta \)-sparse collection of dyadic cubes \({\mathcal {S}}\) such that
Hence, (5.4) follows from (5.6) and the standard density argument in [27, Exercise 1.4.17]. Moreover,
\(\square \)
Remark 12
Given weights \(w_1,\dots ,w_m\), and \(\nu =\prod _{i=1}^m w_i^{p/p_i}\), the equivalence between (b) and (c) in Theorem 10 can be found in [5]. Moreover, if \(p_1=\dots =p_m=1\), then the equivalence between (a) and (d) can be found in [36]. Observe that if \(\mathbf {w} \in A_{\mathbf {P}}\), then \((w_1,\dots ,w_m,\nu _{\mathbf {w}})\in A_{\mathbf {P}}^{{\mathcal {R}}}\). In [36], strong and weak type bounds for m-linear Calderón-Zygmund operators were established for the first time for tuples of weights in \(A_{\mathbf {P}}\). In [42], these results were extended to m-linear \(\omega \)-Calderón-Zygmund operators with \(\Vert \omega \Vert _{\text {Dini}}<\infty \).
We can now state our main conjecture on Sawyer-type inequalities with \(A_{\mathbf {P}}^{{\mathcal {R}}}\) weights, a complete multi-variable version of Theorem 2 for \({\mathcal {M}}\).
Conjecture 1
Let \(1\le p_1,\dots , p_m <\infty \), and let \(\frac{1}{p}=\frac{1}{p_1}+ \dots + \frac{1}{p_m}\). Let \(w_1, \dots ,w_m\), and \(\nu \) be weights, and suppose that \((w_1,\dots ,w_m,\nu )\in A_{\mathbf {P}}^{{\mathcal {R}}}\). Let v be a weight such that \(\nu v^p\in A_{\infty }\). Then, there exists a constant \(C>0\) such that the inequality
holds for every vector of measurable functions \(\mathbf {f}=(f_1,\dots ,f_m)\).
Remark 13
This conjecture is true in the case when \(p_1=\dots =p_m=1\) and \(\nu = \nu _{\mathbf {w}}\), as shown in [40, Theorem 1.5]. We don’t know if the hypothesis that \(\nu v^p\in A_{\infty }\) can be replaced by \(v^\delta \in A_\infty \) for some \(\delta >0\).
In virtue of Hölder’s inequality, if \(\mathbf {w} \in \prod _{i=1}^m A_{p_i}^{{\mathcal {R}}}\), then \((w_1,\dots ,w_m,\nu _{\mathbf {w}})\in A_{\mathbf {P}}^{{\mathcal {R}}}\), so this conjecture extends the result for \({\mathcal {M}}\) presented in Theorem 4. Also, combining such conjecture with Theorem 5, we would get a generalization of Theorem 6 in the line of [40, Theorem 1.9].
As it happens in the one-dimensional case, the conclusion of Conjecture 1 is completely elementary if \(1<p_1,\dots ,p_m<\infty \), \(\mathbf {w} \in A_{\mathbf {P}}\), and \(\nu =\nu _{\mathbf {w}}\), since
where we have used the sharp estimates for \({\mathcal {M}}\) proved in [38, Theorem 1.2].
In the general case, observe that for every \(\theta >0\),
and
with \(V:=v^{\theta }\). We suspect that a wise choice of \(\theta \) (maybe \(\theta = p\) or \(\theta = mp\)) and the argument in the proof of Theorem 1.5 in [40] could lead to some advances towards our conjecture. This idea requires further investigation.
References
Álvarez, J., Bagby, R.J., Kurtz, D.S., Pérez, C.: Weighted estimates for commutators of linear operators. Studia Math. 104(2), 195–209 (1993)
Andersen, K.F., Muckenhoupt, B.: Weighted weak type Hardy inequalities with applications to Hilbert transforms and maximal functions. Studia Math. 72(1), 9–26 (1982)
Barza, S., Kolyada, V., Soria, J.: Sharp constants related to the triangle inequality in Lorentz spaces. Trans. Am. Math. Soc. 361(10), 5555–5574 (2009)
Bennett, C., Sharpley, R.: Interpolation of operators. Pure and Applied Mathematics, 129, Academic Press, Inc., Boston, MA (1988)
Bernardis, A.L., Crescimbeni, R., Martín-Reyes, F.J.: Multilinear Cesàro maximal operators. J. Math. Anal. Appl. 397(1), 191–204 (2013)
Berra, F.: Mixed weak estimates of Sawyer type for generalized maximal operators. Proc. Am. Math. Soc. 147(10), 4259–4273 (2019)
Berra, F., Carena, M., Pradolini, G.: Mixed weak estimates of Sawyer type for commutators of generalized singular integrals and related operators. Michigan Math. J. 68(3), 527–564 (2019)
Berra, F., Carena, M., Pradolini, G.: Mixed weak estimates of Sawyer type for fractional integrals and some related operators. J. Math. Anal. Appl. 479(2), 1490–1505 (2019)
Berra, F., Carena, M., Pradolini, G.: Improvements on Sawyer type estimates for generalized maximal functions. Math. Nachr. 293(10), 1911–1930 (2020)
Buckley, S.: Estimates for operator norms on weighted spaces and reverse Jensen inequalities. Trans. Am. Math. Soc. 340(1), 253–272 (1993)
Caldarelli, M., Rivera-Ríos, I.P.: A sparse approach to mixed weak type inequalities. Math. Z. 296(1–2), 787–812 (2020)
Cao, M., Xue, Q., Yabuta, K.: Weak and strong type estimates for the multilinear pseudo-differential operators. J. Funct. Anal. 278, no. 10, 108454, 46 pp (2020)
Carro, M.J., Grafakos, L., Soria, J.: Weighted weak-type \((1,1)\) estimates via Rubio de Francia extrapolation. J. Funct. Anal. 269, 1203–1233 (2015)
Carro, M.J., Roure-Perdices, E.: Weighted boundedness of the 2-fold product of Hardy-Littlewood maximal operators. Math. Nachr. 291(8–9), 1208–1215 (2018)
Carro, M.J., Soria, J.: Restricted weak-type Rubio de Francia extrapolation for \(p>p_0\) with applications to exponential integrability estimates. Adv. Math. 290, 888–918 (2016)
Chung, H.H., Hunt, R., Kurtz, D.S.: The Hardy-Littlewood maximal function on \(L(p, q)\) spaces with weights. Indiana Univ. Math. J. 31, 109–120 (1982)
Coifman, R. R., Rochberg, R., Weiss, G.: Factorization theorems for Hardy spaces in several variables. Ann. Math. (2) 103, no. 3, 611–635 (1976)
Cruz-Uribe, D., Pérez, C.: Two weight extrapolation via the maximal operator. J. Funct. Anal. 174(1), 1–17 (2000)
Cruz-Uribe, D., Martell, J.M., Pérez, C.: Weighted weak-type inequalities and a conjecture of Sawyer. Int. Math. Res. Not., no. 30, 1849–1871 (2005)
Cruz-Uribe, D., Martell, J.M., Pérez, C.: Weights, extrapolation and the theory of Rubio de Francia. Operator Theory: Advances and Applications, 215, Birkhäuser/Springer Basel AG, Basel (2011)
Cruz-Uribe, D., Neugebauer, C.J.: The structure of the reverse Hölder classes. Trans. Am. Math. Soc. 347(8), 2941–2960 (1995)
Curbera, G.P., García-Cuerva, J., Martell, J.M., Pérez, C.: Extrapolation with weights, rearrangement-invariant function spaces, modular inequalities and applications to singular integrals. Adv. Math. 203(1), 256–318 (2006)
Duoandikoetxea, J., Martín-Reyes, F.J., Ombrosi, S.: On the \(A_\infty \) conditions for general bases. Math. Z. 282(3–4), 955–972 (2016)
Edmunds, D.E., Kokilashvili, V., Meskhi, A.: Bounded and compact integral operators. Mathematics and its Applications, 543, Kluwer Academic Publishers, Dordrecht (2002)
Fujii, N.: Weighted bounded mean oscillation and singular integrals. Math. Jpn. 22 (1977/78), no. 5, 529–534
García-Cuerva, J., Rubio de Francia, J.L.: Weighted norm inequalities and related topics. North-Holland Mathematics Studies, 116, North-Holland Publishing Co., Amsterdam (1985)
Grafakos, L.: Classical Fourier analysis. Third edition. Graduate Texts in Mathematics, 249, Springer, New York (2014)
Grafakos, L., Torres, R.H.: Multilinear Calderón-Zygmund theory. Adv. Math. 165(1), 124–164 (2002)
Hytönen, T., Pérez, C.: Sharp weighted bounds involving \(A_\infty \). Anal. PDE 6(4), 777–818 (2013)
Hytönen, T., 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)
Kerman, R.A., Torchinsky, A.: Integral inequalities with weights for the Hardy maximal function. Studia Math. 71(3), 277–284 (1982)
Lerner, A. K.: A simple proof of the \(A_2\) conjecture. Int. Math. Res. Not., no. 14, 3159–3170 (2013)
Lerner, A.K.: On pointwise estimates involving sparse operators. New York J. Math. 22, 341–349 (2016)
Lerner, A.K., Nazarov, F.: Intuitive dyadic calculus: the basics. Expo. Math. 37(3), 225–265 (2019)
Lerner, A.K., Ombrosi, S., Pérez, C.: Weak type estimates for singular integrals related to a dual problem of Muckenhoupt-Wheeden. J. Fourier Anal. Appl. 15(3), 394–403 (2009)
Lerner, A.K., 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(4), 1222–1264 (2009)
Li, K.: Sparse Domination Theorem for Multilinear Singular Integral Operators with \(L^r\)-Hörmander Condition. Michigan Math. J. 67(2), 253–265 (2018)
Li, K., Moen, K., Sun, W.: The sharp weighted bound for multilinear maximal functions and Calderón-Zygmund operators. J. Fourier Anal. Appl. 20(4), 751–765 (2014)
Li, K., Ombrosi, S., Pérez, C.: Proof of an extension of E. Sawyer’s conjecture about weighted mixed weak-type estimates. Math. Ann. 374, no. 1-2, 907–929 (2019)
Li, K., Ombrosi, S., Picardi, B.: Weighted mixed weak-type inequalities for multilinear operators. Studia Math. 244(2), 203–215 (2019)
Lorente, M., Martín-Reyes, F.J.: Some mixed weak type inequalities. J. Math. Inequal. 15(2), 811–826 (2021)
Lu, G., Zhang, P.: Multilinear Calderón-Zygmund operators with kernels of Dini’s type and applications. Nonlinear Anal. 107, 92–117 (2014)
Martín-Reyes, F.J., Ombrosi, S.: Mixed weak type inequalities for one-sided operators. Q. J. Math. 60(1), 63–73 (2009)
Martín-Reyes, F.J., Ortega Salvador, P., Sarrión Gavilán, M.D.: Boundedness of operators of Hardy type in \(\Lambda ^{p, q}\) spaces and weighted mixed inequalities for singular integral operators. Proc. R. Soc. Edinburgh Sect. A 127(1), 157–170 (1997)
Muckenhoupt, B.: Weighted norm inequalities for the Hardy maximal function. Trans. Am. Math. Soc. 165, 207–226 (1972)
Muckenhoupt, B.: The equivalence of two conditions for weight functions. Studia Math. 49 (1973/74), 101–106
Muckenhoupt, B.: Weighted norm inequalities for classical operators. Harmonic analysis in Euclidean spaces (Proc. Symp. Pure Math. Am. Math. Soc., Williamstown, Mass., 1978, Part I), pp. 69–83, Providence, R. I., (1979)
Muckenhoupt, B., Wheeden, R.: Some weighted weak-type inequalities for the Hardy-Littlewood maximal function and the Hilbert transform. Indiana Univ. Math. J. 26, 801–816 (1977)
Ombrosi, S., Pérez, C.: Mixed weak type estimates: examples and counterexamples related to a problem of E. Sawyer. Colloq. Math. 145(2), 259–272 (2016)
Ombrosi, S., Pérez, C., Recchi, J.: Quantitative weighted mixed weak-type inequalities for classical operators. Indiana Univ. Math. J. 65(2), 615–640 (2016)
Osȩkowski, A., Rapicki, M.: A weighted maximal weak-type inequality. Mathematika 67(1), 145–157 (2021)
Picardi B.: Weighted mixed weak-type inequalities for multilinear fractional operators. Oct. 15, 2018. arXiv:1810.06680[math.CA]
Roure-Perdices, E.: Restricted Weak Type Extrapolation of Multi-Variable Operators and Related Topics. PhD Dissertation, University of Barcelona, 2019. Available at http://hdl.handle.net/2445/148841, and http://hdl.handle.net/10803/668407
Sawyer, E.T.: A weighted weak type inequality for the maximal function. Proc. Am. Math. Soc. 93, 610–614 (1985)
Stockdale, C. B.: A different approach to endpoint weak-type estimates for Calderón-Zygmund operators. J. Math. Anal. Appl. 487 (2020), no. 2, 124016, 13 pp
Wen, Y., Wu, H., Zhang, J.: Weighted variation inequalities for singular integrals and commutators. J. Math. Anal. Appl. 485, no. 2, 123825, 16 pp (2020)
Acknowledgements
E. R. P. wants to express his sincere gratitude to David V. Cruz-Uribe for his help and efforts when we were trying to weaken the hypotheses of Theorem 2. The authors thank M. J. Carro for her suggestions to improve this document. They also thank the reviewer for the feedback, which led to the release of Sect. 5.
Funding
Funding: This work was supported by the Spanish Ministry of Economy and Competitiveness [MTM2017-82160-C2-2-P and SEV-2017-0718 to C. P.]; and the Spanish Ministry of Education, Culture and Sports [FPU14/04463 to E. R. P.].
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Loukas Grafakos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Pérez, C., Roure-Perdices, E. Sawyer-type inequalities for Lorentz spaces. Math. Ann. 383, 493–528 (2022). https://doi.org/10.1007/s00208-021-02240-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-021-02240-4
Keywords
- Lorentz spaces
- Sawyer-type inequalities
- \(A_p^{{\mathcal {R}}}\) and \(A_{\mathbf {P}}^{{\mathcal {R}}}\) weights