Abstract
We give an extension of Rubio de Francia’s extrapolation theorem for functions taking values in \({{\,\mathrm{UMD}\,}}\) Banach function spaces to the multilinear limited range setting. In particular we show how boundedness of an m-(sub)linear operator
for a certain class of Muckenhoupt weights yields an extension of the operator to Bochner spaces \(L^{p}(w^p;X)\) for a wide class of Banach function spaces X, which includes certain Lebesgue, Lorentz and Orlicz spaces. We apply the extrapolation result to various operators, which yields new vector-valued bounds. Our examples include the bilinear Hilbert transform, certain Fourier multipliers and various operators satisfying sparse domination results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Scalar-valued extrapolation, using the theory of Muckenhoupt weights, has proven to be an essential tool in harmonic analysis. The classical extrapolation result (see [59] and [29, Chap. IV]) says that if a (sub)linear operator T satisfies for a fixed \(p_0\in (1,\infty )\) and all weights w in the Muckenhoupt class \(A_{p_0}\) the norm inequality
for all \(f \in L^{p_0}(w)\), then we have for all \(p\in (1,\infty )\) and all weights \(w\in A_p\)
for all \(f \in L^{p}(w)\). Numerous generalizations of this result have appeared, see for example [4, 21, 22, 32, 35]. We mention several of them.
It was shown by Grafakos and Martell [32] that extrapolation extends to the multilinear setting. Indeed, they showed that given fixed exponents \(p_1,\ldots , p_m\in (1,\infty )\), if for an m-(sub)linear operator T and all weights \(w_j^{p_j}\in A_{p_j}\) we have
where \(w= \prod _{j=1}^m w_j\) and \(\frac{1}{p}=\sum _{j=1}^m\frac{1}{p_j}\), then the same estimate holds for all \(p_j\in (1,\infty )\), weights \(w_j^{p_j}\in A_{p_j}\) and w and p as before.
Considering a different kind of generalization, it was shown by Auscher and Martell [4] that a limited range version of the extrapolation result holds: if there are exponents \(0<p_-<p_+\le \infty \) such that the estimate (1.1) is valid for a fixed \(p_0\in (p_-,p_+)\) and all weights w in the Muckenhoupt and Reverse Hölder class \(A_{p_0/p_-}\cap RH_{(p_+/p_0)^{\prime }}\), then (1.2) is valid for all \(p\in (p_-,p_+)\) and all weights \(w \in A_{p/p_-}\cap RH_{(p_+/p)^{\prime }}\).
Vector-valued extensions of the extrapolation theory have also been considered. Through an argument using Fubini’s Theorem, the initial estimate (1.1) immediately implies not only the estimate (1.2) for all \(p \in (1,\infty )\), but also for extensions of the operator T to functions taking values in the sequence spaces \(\ell ^s\) or more generally Lebesgue spaces \(L^s\) for \(s \in (1,\infty )\). Moreover, Rubio de Francia showed in [60, Theorem 5] that one can take this even further. Indeed, this result states that assuming (1.1) holds for some \(p_0\in (1,\infty )\) and for all weights \(w\in A_{p_0}\), then for each Banach function space X with the \({{\,\mathrm{UMD}\,}}\) property, T extends to an operator \(\widetilde{T}\) on the Bochner space \(L^p(X)\) which satisfies
for all \(p\in (1,\infty )\) and all \(f \in L^p(X)\). Recently, it was shown by Amenta, Veraar, and the first author in [2] that given \(p_-\in (0,\infty )\), if (1.1) holds for \(p_0\in (p_-,\infty )\) and all weights \(w\in A_{p_0/p_-}\), then for each Banach function space X such that \(X^{p_-}\) has the \({{\,\mathrm{UMD}\,}}\) property, T extends to an operator \(\widetilde{T}\) on the Bochner space \(L^p(w;X)\) and satisfies
for all \(p\in (p_-,\infty )\), all weights \(w \in A_{p/p_-}\) and all \(f \in L^p(w;X)\). Here \(X^{p_-}\) is the \(p_-\)-concavification of X, see Sect. 2 for the definition.
Vector-valued estimates in harmonic analysis have been actively developed in the past decades. Important for the mentioned vector-valued extrapolation are the equivalence of the boundedness of the vector-valued Hilbert transform on \(L^p(X)\) and the \({{\,\mathrm{UMD}\,}}\) property of X for a Banach space X (see [9, 13]) and the fact that for a Banach function space X the \({{\,\mathrm{UMD}\,}}\) property implies the boundedness of the lattice Hardy–Littlewood maximal operator on \(L^p(X)\) (see [10, 61]). For recent results in vector-valued harmonic analysis in \({{\,\mathrm{UMD}\,}}\) Banach function spaces, see for example [8, 25, 36, 38, 66].
In the recent work [21] by Cruz-Uribe and Martell both the limited range and the multilinear extrapolation result were combined, yielding a unified multilinear limited range version of the extrapolation result in the scalar-valued case. This result also covers vector-valued extensions to \(\ell ^s\) for certain \(s \in (0,\infty )\). This opened the question whether a unified multilinear limited range extrapolation theorem also holds for more general Banach function spaces. In this work, we give a positive answer to this question.
We now state our main result, in which we denote \(X \in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\) for the technical assumption that \(\bigl ((X^{p_-})^{*}\bigr )^{(p_+/p_-)^{\prime }}\) has the \({{\,\mathrm{UMD}\,}}\) property, see Sect. 3 for a thorough discussion of this assumption. A more general version of this theorem can be found in Theorem 4.3 below.
Theorem 1.1
Let \(m\in \mathbb {N}\) and fix \(0< p_j^-<p_j^+\le \infty \) for \(j\in \{1,\ldots ,m\}\). Let T be an operator defined on m-tuples of functions and suppose there exist \(p_j\in (p_j^-,p_j^+)\) such that for all weights \(w_j^{p_j} \in A_{{p_j/p_j^-}}\cap RH_{(p_j^+/p_j)^{\prime }}\) and \(f_j\in L^{p_j}(w_j^{p_j})\) we have
with \(w=\prod _{j=1}^mw_j\), \(\frac{1}{p}=\sum _{j=1}^m\frac{1}{p_j}\), and where \(C>0\) depends only on the characteristic constants of the weights. Moreover, assume that T satisfies one of the following conditions:
-
(i)
T is m-linear.
-
(ii)
T is m-sublinear and positive valued.
Let \(X_1,\ldots , X_m\) be quasi-Banach function spaces over a \(\sigma \)-finite measure space \((S,\mu )\) and define \(X=X_1\ldots X_m\). Assume that for all simple functions \(f_j:\mathbb {R}^d \rightarrow X_j\) the function \(\widetilde{T}f:\mathbb {R}^d \rightarrow X\) given by
is well-defined and strongly measurable. If \(X_j\in {{\,\mathrm{UMD}\,}}_{p_j^-,p_j^+}\), then for all \(p_j\in (p_j^-,p_j^+)\) and weights \(w_j^{p_j} \in A_{{p_j/p_j^-}}\cap RH_{(p_j^+/p_j)^{\prime }}\), \(\widetilde{T}\) extends to a bounded operator on \(L^{p_1}(w_1^{p_1};X_1)\times \cdots \times L^{p_m}(w_m^{p_m};X_m)\) with
for all \(f_j\in L^{p_j}(w_j^{p_j};X_j)\), with w and p are as before, and where \(C^{\prime }>0\) depends on the \(p_j\), \(p_j^-\), \(p_j^+\), the characteristic constants of the weights, and the spaces \(X_j\).
Remark 1.2
-
If T is a linear operator as in Theorem 1.1, we have for \(f_j \otimes \xi _j \in L^{p_j}(w_j^{p_j}) \otimes X_j\) that
$$\begin{aligned} \widetilde{T}(f_1\otimes \xi _1, \ldots , f_m \otimes \xi _m) = T(f_1,\ldots ,f_m) \otimes \xi _1\ldots \xi _m \in L^{p}(w^{p}) \otimes X. \end{aligned}$$So in this case \(\widetilde{T}\) is automatically well-defined and strongly measurable for all simple functions \(f_j:\mathbb {R}^d \rightarrow X\).
-
Although we state Theorem 1.1 for Banach function spaces, it extends to spaces isomorphic to a closed subspace of a Banach function space and by standard representation techniques also to certain Banach lattices, see [54, 57] for the details.
-
In [21] scalar-valued multilinear limited range extrapolation is proven through off-diagonal extrapolation. Relying on this result, in this paper we prove the vector-valued multilinear limited range result. Our method does not directly generalize to the off-diagonal setting, which leaves vector-valued off-diagonal extrapolation as an open problem.
-
In Theorem 1.1 one could allow for \(p_j^- = 0\). In this case one would have to interpret \(X_j \in {{\,\mathrm{UMD}\,}}_{0,p_j^+}\) as \(X_j \in {{\,\mathrm{UMD}\,}}_{p,p_j^+}\) for some \(p\in (0,p_j^+)\).
Even in the linear case \(m=1\) our result is new in the sense that it extends the main result of [2] to allow for finite \(p_j^+\), which yields many new applications. We are now able to consider, for example, Riesz transforms associated to elliptic operators through the weighted estimates obtained in [4]. Many more examples of such operators can also be considered through recent advances in the theory of sparse dominations. Indeed, for example for certain Fourier multipliers such as Bochner-Riesz multipliers as well as for spherical maximal operators, sparse bounds have been found. Sparse bounds naturally imply weighted norm estimates which, through our result, yield bounded vector-valued extensions for such operators. For a more elaborate discussion as well as for references we refer the reader to Sect. 5.
Our result is also new in the full range multilinear case, i.e., if \(p_j^-=1\), \(p_j^+=\infty \) for all \(j\in \{1,\ldots , m\}\). This can, for example, be applied to multilinear Calderón–Zygmund operators, as these satisfy the appropriate weighted bounds to apply our result. We elaborate on this in Sect. 5.
Finally, for the case \(m=2\) our result yields new results for boundedness of the vector-valued bilinear Hilbert transform \(\widetilde{{{\,\mathrm{BHT}\,}}}\), due to known scalar-valued weighted bounds as were first established by Culiuc et al. [24]. Bounds for the vector-valued bilinear Hilbert transform \(\widetilde{{{\,\mathrm{BHT}\,}}}\) have useful applications in PDEs, see [5] and references therein. The precise result we obtain can be found in Theorem 5.1.
Remark 1.3
In the recent work [53] of Li et al., and the recent work [58] of the second author, scalar-valued extrapolation results were obtained using the multilinear weight classes from [52], which were made public after this paper first appeared. Rather than considering a condition for each weight individually, these weight classes allow for an interaction between the various weights, making them more appropriately adapted to the multilinear setting. This gives rise to the problem of extending these results to the vector-valued case. To facilitate this, it seems that an appropriate multilinear \({{\,\mathrm{UMD}\,}}\) condition on tuples of Banach function spaces is required. We leave this as a basis for future research.
This article is organized as follows:
-
In Sect. 2 we summarize the preliminaries on Muckenhoupt weights, product quasi-Banach function spaces and the \({{\,\mathrm{UMD}\,}}\) property.
-
In Sect. 3 we discus the \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) property and give examples of quasi-Banach function spaces satisfying the \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) property.
-
In Sect. 4 we prove our main result in terms of \((m+1)\)-tuples of functions, proving Theorem 1.1 as a corollary.
-
In Sect. 5 we prove new vector-valued bounds for various operators.
2 Preliminaries
2.1 Muckenhoupt Weights
A locally integrable function \(w:\mathbb {R}^d\rightarrow (0,\infty )\) is called a weight. For \(p \in [1,\infty )\) and a weight w the space \(L^p(w)\) is the subspace of all measurable functions \(f: \mathbb {R}^d \rightarrow \mathbb {C}\), which we denote by \(f \in L^0(\mathbb {R}^d)\), such that
By a cube \(Q\subseteq \mathbb {R}^d\) we will mean a half-open cube whose sides are parallel to the coordinate axes and for a locally integrable function \(f\in L^0(\mathbb {R}^d)\) we will write \(\langle {f} \rangle _Q:= \frac{1}{|{Q} |}\int _Q f \mathrm {d}x\).
For \(p\in [1,\infty )\) we will say that a weight w lies in the Muckenhoupt class \(A_p\) and write \(w\in A_p\) if it satisfies
where the supremum is taken over all cubes \(Q\subseteq \mathbb {R}^d\) and the second factor is replaced by \(({{\,\mathrm{ess\,inf}\,}}_{Q} w)^{-1}\) if \(p=1\). We define \(A_\infty :=\bigcup _{p\in [1,\infty )}A_p\).
Lemma 2.1
Let \(p \in [1,\infty )\) and \(w \in A_p\).
-
(i)
\(w \in A_q\) for all \(q \in [p,\infty )\) with \([w]_{A_q} \le [w]_{A_p}\).
-
(ii)
If \(p>1\), \(w^{1-p^{\prime }} \in A_{p^{\prime }}\) with \([w]^{\frac{1}{p}}_{A_p} = [w^{1-p^{\prime }}]_{A_{p^{\prime }}}^{\frac{1}{p^{\prime }}}\).
-
(iii)
If \(p>1\), there exists an \(\varepsilon >0\) such that \(w \in A_{p-\varepsilon }\) and \([w]_{A_{p-\varepsilon }}\le C_{p} \, [w]_{A_p}\).
The first two properties of Lemma 2.1 are immediate from the definition. For the third see [31, Corollary 7.2.6]. The linear estimate of \([w]_{A_{p-\varepsilon }}\) in terms of \([w]_{A_p}\) can be found in [39, Theorem 1.2]. Note that self-improvement properties for \(A_p\) weights are classical. We opt to use this quantitative version of the result for clarity in the proof of our main theorem.
For \(s\in [1,\infty )\) we say that \(w \in A_\infty \) satisfies a reverse Hölder property and write \(w\in RH_s\) if
We will require the following properties of the reverse Hölder classes, see [42].
Lemma 2.2
Let \(r \in (1,\infty )\), \(s \in [1,\infty )\) and define \(p = s(r-1)+1\). For \(w \in A_\infty \) the following are equivalent
-
(i)
\(w \in A_r \cap RH_s\).
-
(ii)
\(w^s \in A_p\).
-
(iii)
\(w^{1-r^{\prime }} \in A_{p^{\prime }}\).
Moreover we have
For \(n\in \mathbb {N}\) we will write \(\phi _{a,b,\ldots }\) for a non-decreasing function \([1,\infty )^n \rightarrow [1,\infty )\), depending on the parameters \(a,b,\ldots \) and the dimension d. This function may change from line to line. We need non-decreasing dependence on the Muckenhoupt characteristics in our proofs. In [2, Appendix A] it is shown how to deduce non-decreasing dependence from a more general estimate in terms of the Muckenhoupt characteristics.
2.2 Banach Function Spaces
Let \((S,\mu )\) be a \(\sigma \)-finite measure space. A subspace X of \(L^0(S)\) equipped with a quasi-norm \(\Vert {\, \cdot \,}\Vert _X\) is called a quasi-Banach function space if it satisfies the following properties:
-
(i)
If \(\xi \in L^0(S)\) and \(\eta \in X\) with \(|{\xi } | \le |{\eta } |\), then \(\xi \in X\) and \(\Vert {\xi }\Vert _X \le \Vert {\eta }\Vert _X\).
-
(ii)
There is an \(\xi \in X\) with \(\xi >0\).
-
(iii)
If \(0 \le \xi _n \uparrow \xi \) with \((\xi _n)_{n=1}^\infty \) a sequence in X, \(\xi \in L^0(S)\) and \(\sup _{n \in \mathbb {N}}\Vert {\xi _n}\Vert _X < \infty \), then \(\xi \in X\) and \(\Vert {\xi }\Vert _X = \sup _{n\in \mathbb {N}}\Vert {\xi _n}\Vert _X\).
It is called a Banach function space if \(\Vert {\, \cdot \,}\Vert _X\) is a norm. A Banach function space X is called order continuous if for any sequence \(0 \le \xi _n \uparrow \xi \in X\) it holds that \(\Vert {\xi _n -\xi }\Vert _X \rightarrow 0\). Order continuity of a Banach function space X ensures that its dual \(X^{*}\) is again a Banach function space (see [54, Sect. 1.b]), and that the Bochner space \(L^p(S^{\prime };X)\) is a Banach function space over \((S \times S^{\prime },\mu \times \mu ^{\prime })\) for any \(\sigma \)-finite measure space \((S^{\prime },\mu ^{\prime })\). As an example we note that any reflexive Banach function space is order-continuous.
A quasi-Banach function space X is said to be p-convex for \(p \in (0,\infty ]\) if
for all \(\xi _1,\ldots ,\xi _n \in X\) with the usual modification when \(p = \infty \). It is said to be p-concave when the reverse inequality holds. Usually the defining inequalities for p-convexity and p-concavity include a constant depending on p and X, but as shown in [54, Theorem 1.d.8], X can be renormed equivalently such that these constants equal 1. See [54, Sect. 1.d] for a thorough introduction of p-convexity and concavity in Banach function spaces and see [43] for the quasi-Banach function space case.
We define the p-concavification of a quasi-Banach function space X for \(p \in (0,\infty )\) by
equipped with the quasi-norm \(\Vert {\xi }\Vert _{X^p} := \bigl \Vert |{\xi } |^{\frac{1}{p}}\bigr \Vert ^p_X\). Note that \(X^p\) is a Banach function space if and only if X is p-convex. In particular, X is a Banach function space if and only if it is 1-convex.
For two quasi-Banach function spaces \(X_0,X_1\) over the same measure space \((S,\mu )\) we define the vector space \(X_0 \cdot X_1\) as
and for \(\xi \in X_0 \cdot X_1\) we define
We call \(X_0 \cdot X_1\) a product quasi-Banach function space if \(\Vert {\, \cdot \,}\Vert _{X_0 \cdot X_1}\) defines a complete quasi-norm on \(X_0 \cdot X_1\). We will mostly be working with so called Calderón–Lozanovskii products. These are product quasi-Banach function spaces of the form \(X_0^{1-\theta }\cdot X_1^\theta \) for some \(\theta \in (0,1)\), see [15, 55]. Of course the definition of product quasi-Banach function spaces and Calderón–Lozanovskii products can be canonically extended to m quasi-Banach function spaces over the same measure space for any \(m \in \mathbb {N}\). We give a few examples of product Banach function spaces, see also [12].
Example 2.3
Fix \(m \in \mathbb {N}\) and let \((S,\mu )\) be an atomless or atomic \(\sigma \)-finite measure space.
-
(i)
Lebesgue spaces: \(L^p(S) = L^{p_1}(S) \ldots L^{p_m}(S)\) for \(p_j \in (0,\infty )\) and \(\frac{1}{p} = \sum _{j=1}^m\frac{1}{p_j}\).
-
(ii)
Lorentz spaces: \(L^{p,q}(S) = L^{p_1,q_1}(S) \ldots L^{p_m,q_m}(S)\) for \(p_j,q_j \in (0,\infty )\), \(\frac{1}{p} = \sum _{j=1}^m\frac{1}{p_j}\) and \(\frac{1}{q} = \sum _{j=1}^m\frac{1}{q_j}\).
-
(iii)
Orlicz spaces: \(L^{\Phi }(S) = L^{\Phi _1}(S)\ldots L^{\Phi _m}(S)\) for Young functions \(\Phi _j\) and \(\Phi ^{-1} = \Phi _1^{-1} \ldots \Phi _m^{-1}\).
We will use the following properties of product Banach function spaces:
Proposition 2.4
Let \(X,X_0,X_1\) be Banach function spaces over a \(\sigma \)-finite measure space \((S,\mu )\) and let \(\theta \in (0,1)\).
-
(i)
If \(X_0\) or \(X_1\) is reflexive, then \(X_0^{1-\theta }\cdot X_1^\theta =[X_0,X_1]_\theta \).
-
(ii)
If \(X_0\) or \(X_1\) is reflexive, then \(X_0^{1-\theta }\cdot X_1^\theta \) is reflexive.
-
(iii)
\(\bigl (X_0^{1-\theta }\cdot X_1^\theta \bigr )^{*} = \bigl (X_0^{*}\bigr )^{1-\theta }\cdot \bigl (X_1^{*}\bigr )^\theta \).
-
(iv)
\((X^{\theta })^{*} = (X^{*})^{\theta } \cdot L^{1/(1-\theta )}(S)\).
-
(v)
If \(X_0\) and \(X_1\) have the \({{\,\mathrm{UMD}\,}}\) property, then \(X_0^{1-\theta }\cdot X_1^\theta \) has the \({{\,\mathrm{UMD}\,}}\) property.
Part (i) follows from [15], it has been extended to the product quasi-Banach function space setting in [44, 45]. Part (ii) is proven in [55, Theorem 3]. It also follows from [15] through complex interpolation. Part (iii) is proven in [55, Theorem 2] and for (iv) see [62, Theorem 2.9]. Finally part (v) follows from part (i) and [41, Proposition 4.2.17], see also the next section on the \({{\,\mathrm{UMD}\,}}\) property.
2.3 The \({{\,\mathrm{UMD}\,}}\) Property
We say that a Banach space X has the \({{\,\mathrm{UMD}\,}}\) property if the martingale difference sequence of any finite martingale in \(L^p(\Omega ;X)\) is unconditional for some (equivalently all) \(p \in (1,\infty )\). The \({{\,\mathrm{UMD}\,}}\) property implies reflexivity and if X has the \({{\,\mathrm{UMD}\,}}\) property, then \(X^{*}\) has the \({{\,\mathrm{UMD}\,}}\) property as well. Standard examples of Banach spaces with the \({{\,\mathrm{UMD}\,}}\) property include reflexive \(L^p\)-spaces, Lorentz spaces, Orlicz spaces, Sobolev spaces, Besov spaces and Schatten classes. For a thorough introduction to the theory of \({{\,\mathrm{UMD}\,}}\) spaces we refer the reader to [14, 41].
Throughout this paper we will consider Banach function spaces with the \({{\,\mathrm{UMD}\,}}\) property. In this case we have a characterisation of the \({{\,\mathrm{UMD}\,}}\) property in terms of the lattice Hardy-Littlewood maximal operator, which for simple \(f:\mathbb {R}^d \rightarrow X\) is defined by
where the supremum is taken over all cubes \(Q \subseteq \mathbb {R}^d\) (see [30] for the details). The boundedness of \(\widetilde{M}\) on both \(L^p(\mathbb {R}^d;X)\) and \(L^p(\mathbb {R}^d;X^{*})\) for some (equivalently all) \(p \in (1,\infty )\) is equivalent to X having the \({{\,\mathrm{UMD}\,}}\) property by a result of Bourgain [10] and Rubio de Francia [61]. Moreover, if X has the \({{\,\mathrm{UMD}\,}}\) property we have the following weighted bound for all \(p \in (1,\infty )\), \(w \in A_p\) and \(f \in L^p(w;X)\)
see [30]. A more precise dependence on the weight characteristic can be found in [34].
The \({{\,\mathrm{UMD}\,}}\) property of a Banach function space X implies that certain q-concavifications of X also have the \({{\,\mathrm{UMD}\,}}\) property, see [61, Theorem 4].
Proposition 2.5
(Rubio de Francia) Let X be a Banach function space over a \(\sigma \)-finite measure space \((S,\mu )\) such that X has the \({{\,\mathrm{UMD}\,}}\) property. Then there exists an \(\varepsilon >0\) such that such that \(X^q\) has the \({{\,\mathrm{UMD}\,}}\) property for all \(0<q<1+\varepsilon \).
Note that the difficult part of Proposition 2.5 is the claim that \(X^q\) has the \({{\,\mathrm{UMD}\,}}\) property for \(1<q<1+\varepsilon \).
3 The \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) Property of Quasi-Banach Function Spaces
For our main result we need an extension of the \({{\,\mathrm{UMD}\,}}\) property, as we will often consider quasi-Banach function spaces of which a concavification has the \({{\,\mathrm{UMD}\,}}\) property. In particular, we will use the following notion:
Definition 3.1
Let X be a quasi-Banach function space and let \(0<p_-<p_+\le \infty \). Then we say X has the \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) property if and only if X is \(p_-\)-convex, \(p_+\)-concave and \(\bigl ((X^{p_-})^{*}\bigr )^{(p_+/p_-)^{\prime }}\) has the \({{\,\mathrm{UMD}\,}}\) property. We denote this by \(X \in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\).
Note that X is a Banach function space with the \({{\,\mathrm{UMD}\,}}\) property if and only if \(X \in {{\,\mathrm{UMD}\,}}_{1,\infty }\) and we denote this by \(X \in {{\,\mathrm{UMD}\,}}\).
Remark 3.2
-
The \(p_-\)-convexity in Definition 3.1 implies that \(X^{p_-}\) is a Banach function space, so its dual \((X^{p_-})^{*}\) is non-trivial. Moreover \((X^{p_-})^{*}\) is a Banach function space, since it has the \({{\,\mathrm{UMD}\,}}\) property by Proposition 2.5 and is therefore reflexive, which implies that \(X^{p_-}\) is order-continuous.
-
The \(p_+\)-concavity assumption in Definition 3.1 is not restrictive, as any quasi-Banach function space with the \({{\,\mathrm{UMD}\,}}\) property is actually isomorphic to a Banach function space (see [19]), which implies that \((X^{p_-})^{*}\) is \((p_+/p_-)^{\prime }\)-convex and thus that X is \(p_+\)-concave by [54, Sect. 1.d]
We first show some basic results for the \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) property.
Proposition 3.3
Fix \(0<p_-<p_+ \le \infty \) and let X be a quasi-Banach function space over a \(\sigma \)-finite measure space \((S,\mu )\) such that \(X \in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\).
-
(i)
\(X^{p_-} \in {{\,\mathrm{UMD}\,}}_{1,p_+/p_-}\).
-
(ii)
\(X^{*} \in {{\,\mathrm{UMD}\,}}_{p_+^{\prime },p_-^{\prime }}\) if \(p_- \ge 1\).
-
(iii)
\(X \in {{\,\mathrm{UMD}\,}}_{\tilde{p}_-,\tilde{p}_+}\) for all \(\tilde{p}_- \in (0,p_-]\) and \(\tilde{p}_+ \in [p_+,\infty ]\).
-
(iv)
If \(1<p_-<p_+<\infty \), then \(X = [Y,L^2(S)]_{\theta }\) for a Banach function space \(Y \in {{\,\mathrm{UMD}\,}}\) and \(\theta = 2/\max \{{p_-^{\prime },p_+}\}\).
-
(v)
\(L^p(S^{\prime };X) \in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\) for all \(p \in (p_-,p_+)\) and any \(\sigma \)-finite measure space \((S^{\prime },\mu ^{\prime })\).
Proof
Part (i) follows directly from the definition. For part (ii) the \(p_+^{\prime }\)-convexity and \(p_-^{\prime }\)-concavity follow from [54, Sect. 1.d]. If \(p_- =1\), the claim is that \(\bigl ((X^{*})^{p_+^{\prime }}\bigr )^{*} \in {{\,\mathrm{UMD}\,}}\), which is clear. Assuming \(p_->1\), we have by Proposition 2.4
with \(\theta := \frac{1}{(p^{\prime }_-/p_+^{\prime })^{\prime }}<1\), since taking a product with \(L^\infty (S)^{(1-\theta )/\theta }=L^\infty (S)\) has no effect on the space. Thus we conclude that \(X^{*} \in {{\,\mathrm{UMD}\,}}_{p_+^{\prime },p_-^{\prime }}\).
For part (iii) the \(p_+'\)-convexity and \(p_-'\)-concavity follow from [56, Theorem 4.2]. First assume that \(p_-=1\) and let \(\tilde{p}_- \in (0,1)\). By Proposition 2.4(iv) we have
with
By assumption \((X^{*})^{p_+'} \in {{\,\mathrm{UMD}\,}}\), so
by Propositions 2.4 and 2.5. Using Proposition 2.4(i), we obtain from (3.1) that \(X \in {{\,\mathrm{UMD}\,}}_{\tilde{p}_-,p_+}\). For arbitrary \(0<p_-<p_+ \le \infty \) we know that \(X \in {{\,\mathrm{UMD}\,}}_{\tilde{p}_-,p_+}\) for all \(\tilde{p}_- \in (0,p_-]\) by (i) and Proposition 2.5 yields that \(X \in {{\,\mathrm{UMD}\,}}_{\tilde{p}_-,\tilde{p}_+}\) for all \(\tilde{p}_+ \in [p_+,\infty ]\).
For part (iv) note that \(X \in {{\,\mathrm{UMD}\,}}_{p',p}\) with \(p = \max \{{p_-',p_+}\}\) by part (iii). Therefore
Then using Proposition 2.4 we have
Finally part (v) follows from [41, Proposition 4.2.15] as
\(\square \)
Next we note how product quasi-Banach function spaces work under the \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) property. In particular the following result describes some properties of the space X in our main theorem, Theorem 1.1.
Proposition 3.4
Let \(X_1,\ldots ,X_m\) be quasi-Banach function spaces. For \(j=1,\ldots ,m\) let \(0<p_j^-<p_j^+\le \infty \) and assume that \(X_j \in {{\,\mathrm{UMD}\,}}_{p_j^-,p_j^+}\). Let \(X = X_1\ldots X_m\), then \(X \in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\), where \(\frac{1}{p_-}:= \sum _{j=1}^m \frac{1}{p_j^-}\) and \(\frac{1}{p_+}:= \sum _{j=1}^m \frac{1}{p_j^+}\).
Proof
We will prove the proposition for \(m=2\). The general case can be proven by induction, cf. the proof of Lemma 4.2. First note that \(X^{p_-} = X_1^{p_1^-(p_-/p_1^-)}\cdot X_2^{p_2^-(p_-/p_2^-)}\) is a Banach function space by assumption, so X is \(p_-\)-convex. By Proposition 2.4 we have
with
Thus by Proposition 2.4(v) and Remark 3.2 we know that \(X \in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\). \(\square \)
The \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) property of a quasi-Banach function space X looks quite technical. However, as we will see in the next example, this abstract assumption is quite natural for concrete examples of Banach function spaces.
Example 3.5
Let \(0< p_- <p_+\le \infty \) and let X be a quasi-Banach function space over an atomless or atomic \(\sigma \)-finite measure space \((S,\mu )\). Then \(X \in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\) in each of the following cases:
-
(i)
The Lebesgue spaces \(X=L^p(S)\) for \(p \in (p_-,p_+)\).
-
(ii)
The Lorentz spaces \(X=L^{p,q}(S)\) with \(p,q \in (p_-,p_+)\).
-
(iii)
The Orlicz spaces \(X=L^\Phi (S)\) for which \(t \mapsto \Phi (t^{1/p})\) is a convex function and \(t\mapsto \Phi (t^{1/q})\) is a concave function with \(p,q \in (p_-,p_+)\).
Note that Theorem 1.1 for the Lebesgue spaces described in Example 3.5(i) follows directly from scalar-valued limited range extrapolation using Fubini’s theorem, see also [23].
Proof
Note that (i) is a special case of (ii). For (ii) the \(p_-\)-convexity and \(p_+\)-concavity follow from [56, Theorems 4.4 and 5.1]. Furthermore by the definition of \(L^{p,q}(S)\) and the duality of Lorentz spaces (see [37]) we have that
Since \(L^{r,s}(S) \in {{\,\mathrm{UMD}\,}}\) for \(r,s \in (1,\infty )\) (see [41]), this proves (ii).
For (iii) note that \(L^\Phi (S)\) is p-convex and q-concave by [46]. So \(Y := \bigl ((X^{p_-})^{*}\bigr )^{(p_+/p_-)'}\) is \(\frac{(p_+-p_-)p}{p_+(p-p_-)}\)-convex and \(\frac{(p_+-p_-)q}{p_+(q-p_-)}\)-concave. By [54, Theorem 1.f.1] this implies that both Y and \(Y^{*}\) are uniformly convex. Note that Y is an Orlicz space with Young function \(\Psi (t) = \varphi ^{*}(t^{(p_+-p_-)/p_-})\), where \(\varphi (t) = \Phi (t^{1/p_-})\), and \(Y^{*}\) is an Orlicz space with Young function \(\Psi ^{*}\). Therefore we know by [46, Proposition 1] that both \(\Psi \) and its conjugate function \(\Psi ^{*}\) satisfy the \(\Delta _2\)-condition. Thus it follows from [28, Theorem 6.2] that \(Y \in {{\,\mathrm{UMD}\,}}\). \(\square \)
We end our discussion of the \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) property by extending the result of Rubio de Francia for the \({{\,\mathrm{UMD}\,}}\) property of Banach function spaces in Proposition 2.5 to the \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) property of quasi-Banach function spaces.
Theorem 3.6
Let \(0<p_-<p_+ \le \infty \) and let X be a quasi-Banach function space over a \(\sigma \)-finite measure space \((S,\mu )\) such that \(X \in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\). Then there exists an \(\varepsilon >0\) such that such that \(X \in {{\,\mathrm{UMD}\,}}_{p_-q_-,p_+/q_+}\) for all \(0<q_-,q_+<1+\varepsilon \).
Proof
By Proposition 3.3(i) we may assume \(p_-=1\) without loss of generality. Note that the case \(p_+ = \infty \) was already included in Proposition 2.5, so we restrict our attention to \(p_+< \infty \).
Applying Proposition 2.5 to \((X^{*})^{p'}\) yields an \(r_1>1\) such that \((X^{*})^{p_+'r_1} \in {{\,\mathrm{UMD}\,}}\). Furthermore since \(p_+'>1\) we know that \(X^{*} \in {{\,\mathrm{UMD}\,}}\) and thus also \(X \in {{\,\mathrm{UMD}\,}}\). So by Proposition 2.5 applied to X there exists an \(r_2>1\) such that \(X^{r_2} \in {{\,\mathrm{UMD}\,}}\). Define \(r = \min \{{r_1,r_2, 1+\frac{1}{p_+'}}\}\).
Let \(\theta = \frac{r'}{p_++r'} \in (0,1)\) and define the complex interpolation space
Note that since \((X^r)^{*}, (X^{*})^{p_+'r} \in {{\,\mathrm{UMD}\,}}\), we know by Proposition 2.4(v) that \(Y \in {{\,\mathrm{UMD}\,}}\) as well. Moreover using Proposition 2.4 we have
Define
Again by Proposition 2.4 we have
Take \(q_- = \frac{r\alpha }{\alpha +\beta }\). Then we have
Moreover
and therefore
So \(Y = \bigl ((X^{q_-})^{*}\bigr )^{(p_+/q_-)'}\) and since \(Y \in {{\,\mathrm{UMD}\,}}\), this implies that \(X \in {{\,\mathrm{UMD}\,}}_{q_-,p_+}\). By applying Proposition 2.5 once more, we can find a \(q_+>1\) such that \(X \in {{\,\mathrm{UMD}\,}}_{q_-,p_+/q_+}\). By Proposition 3.3(iii), this completes the proof with \(\varepsilon = \min \{{q_--1,q_+-1}\}>0\). \(\square \)
4 Proof of the Main Result
In this section we will prove our main result, Theorem 1.1. The proof of Theorem 1.1 consists of following ingredients:
-
The extension of Rubio de Francia’s result for the \({{\,\mathrm{UMD}\,}}\) property to the setting of the \({{\,\mathrm{UMD}\,}}_{p_-,p_+}\) property, proven in Theorem 3.6.
-
A vector-valued Rubio de Francia iteration algorithm, see Lemma 4.1.
-
A result for the product of weighted Bochner spaces, proven below in Lemma 4.2.
We start with the Rubio de Francia iteration algorithm lemma. We remark that Rubio de Francia iteration algorithms also play a key role in scalar-valued extrapolation, see for example [23]. Recall that we write \(\phi _{a,b,\ldots }\) for a non-decreasing function \([1,\infty )^{2} \rightarrow [1,\infty )\), depending on the parameters \(a,b,\ldots \) and the dimension d.
Lemma 4.1
Fix \(1<r<r_+\le \infty \) and let Y be a Banach function space over a \(\sigma \)-finite measure space \((S,\mu )\) with \(Y \in {{\,\mathrm{UMD}\,}}_{r_+',\infty }\). For all \(w \in A_r \cap RH_{(r_+/r)'}\) and nonnegative \(u \in L^{r'}(w;Y)\) there is a nonnegative \(v \in L^{r'}(w;Y)\) such that \(u \le v\), \(\Vert {v}\Vert _{L^{r'}(w;Y)} \le 2\Vert {u}\Vert _{L^{r'}(w;Y)}\), and \(v(\cdot ,s)w \in A_1\cap RH_{r_+'}\) with
for \(\mu \)-a.e \(s \in S\).
Proof
Fix \(w \in A_r \cap RH_{(r_+/r)'}\) and \(u \in L^{r'}(w;Y)\). Define
Then \(u_w \in X\). By Lemma 2.2(iii) we know that for \(p:=( {*} ){{r_+/r}}'(r-1)+1\) we have \(w^{1-r'} \in A_{p'}\) with
So since
we know that \(\widetilde{M}\) is bounded on X by (2.1) with
Define
where \(\widetilde{M}^n\) is given by n iterations of \(\widetilde{M}\). As \(\widetilde{M}^n u_w\) is nonnegative we know that \(u \le v\). Furthermore \(v \in L^{r^\prime }(w;Y)\) with
Moreover, since
we know that \((v(\cdot ,s)w)^{r_+'} \in A_1\) for \(\mu \)-a.e \(s \in S\). Thus it follows from (4.1) and Lemma 2.2 that \(v(\cdot ,s)w \in A_1\cap RH_{r_+'}\) with
for \(\mu \)-a.e \(s \in S\) \(\square \)
Next we prove the result for the product of weighted Bochner spaces, which follows from the properties of product Banach function spaces in Proposition 2.4 and complex interpolation of weighted Bochner spaces.
Lemma 4.2
Fix \(m\in \mathbb {N}\) and \(r \in (1,\infty )\). Let \(Y_1,\ldots ,Y_m\) be reflexive Banach function spaces over a \(\sigma \)-finite measure space \((S,\mu )\), let \(w_1,\ldots ,w_m\) be weights and take \(\theta _1,\ldots ,\theta _m \in (0,1)\) such that \(\sum _{j=1}^m \theta _j = 1\). Define \(Y = Y_1^{\theta _1}\ldots Y_m^{\theta _m}\) and \(w = \prod _{j=1}^m w_j^{\theta _j}\). Then we have
Proof
We will prove the lemma by induction. For \(m=1\) the result is trivial. Now assume that the statement holds for \(m=k-1\) for some \(k \in \mathbb {N}\). We will show the statement for \(m=k\).
Let \(\tilde{\theta }_j = \frac{\theta _j}{1-\theta _k}\) for \(j=1,\ldots ,k-1\) and define
Using Proposition 2.4(i) twice and complex interpolation of weighted Bochner spaces (see [65, Theorem 1.18.5] and [12]) we get
which proves the lemma. \(\square \)
With these preparatory lemmata we are now ready to prove our main theorem. We first state and prove the result in terms of \((m+1)\)-tuples of functions. Afterwards, we present the main result, Theorem 1.1, as a corollary. We write \({\phi }^{j=1,\ldots ,m}_{a_j,b_j,\ldots }\) for a non-decreasing function \([1,\infty )^{2m} \rightarrow [1,\infty )\) depending on the parameters \(a_j,b_j,\ldots \) for \(j=1,\ldots ,m\) and the dimension d.
Theorem 4.3
(Multilinear limited range extrapolation for vector-valued functions) Fix \(m\in \mathbb {N}\), let \(X_1,\ldots ,X_m\) be quasi-Banach function spaces over a \(\sigma \)-finite measure space \((S,\mu )\) and define \(X=X_1\ldots X_m\). Let
For \(j=1,\ldots ,m\) fix \(0<p^-_j<p^+_j\le \infty \) and assume that \(X_j\in {{\,\mathrm{UMD}\,}}_{p_j^-,p_j^+}\). Moreover assume that for all \(p_j\in (p_j^-,p_j^+)\), weights \(w_j^{p_j}\in A_{p_j/p_j^-}\cap RH_{(p^+_j/p_j)'}\) and \((f,f_1,\ldots ,f_m)\in \mathcal {F}\), we have
for \(\mu \)-a.e. \(s \in S\), where \(\frac{1}{p}=\sum _{j=1}^m\frac{1}{p_j}\) and \(w=\prod _{j=1}^m w_j\).
Then for all \(p_j\in (p_j^-,p_j^+)\), weights \(w_j^{p_j}\in A_{p_j/p_j^-}\cap RH_{(p^+_j/p_j)'}\), and \((f,f_1,\ldots ,f_m)\in \mathcal {F}\), we have
with w and p as before.
Proof
We split the proof in two steps. In the first step we show that the conclusion of the theorem holds for specific choices of \(p_j\in (p_j^-,p_j^+)\). In the second step we conclude that the result holds for all \(p_j\in (p_j^-,p_j^+)\) through scalar-valued extrapolation.
Step 1 Let \(1< \beta < \min \limits _j \frac{p_j^+}{p_j^-}\). We will first prove the theorem for \(p_j := \beta \cdot p_j^-\). Let \((f,f_1,\ldots ,f_m) \in \mathcal {F}\) and take weights \(w_j^{p_j}\in A_{p_j/p_j^-}\cap RH_{(p^+_j/p_j)'}\) for \(j=1,\ldots ,m\). From Theorem 3.6 and Lemma 2.1(iii) it follows that there exists an \(1<\alpha < \beta \) such that
with \([w_j^{p_j}]_{A_{p_j/(\alpha p_j^-)}}\le C_{p_j,p_j^-}\,[w_j^{p_j}]_{A_{p_j/p_j^-}}\) for all \(j\in \{1,\ldots , m\}\). We define
Note that
Let \(u_j\in L^{(p_j/q_j)'}(w_j^{p_j};(X_j^{q_j})^*)\). By Proposition 3.3 and (4.4) we may apply Lemma 4.1 for \(j=1,\ldots ,m\) with
and weight \(w_j^{p_j}\) to find nonnegative \(v_j \in L^{(p_j/q_j)'}(w_j^{p_j};(X^{q_j})^*)\) such that
-
\(u_j\le v_j\).
-
\(\Vert {v_j}\Vert _{L^{(p_j/q_j)'}(w_j^{p_j};(X_j^{q_j})^*)} \le 2\).
-
\(v_j(\cdot ,s)w_j^{p_j} \in A_{q_j/p_j^-} \cap RH_{(p_j^+/q_j)'}\) with for \(\mu \)-a.e. \(s \in S\)
$$\begin{aligned}&\max \bigl \{[v_j(\cdot ,s)w_j^{p_j}]_{A_{q_j/p_j^-}},[v_j(\cdot ,s)w_j^{p_j}]_{RH_{(p_j^+/q_j)'}} \bigr \} \\&\le {\phi }_{X_j,p_j,p_j^-,p_j^+}\bigl ([w_j^{p_j}]_{A_{p_j/p_j^-}}, [w_j^{p_j}]_{RH_{(p_j^+/p_j)'}}\bigr ). \end{aligned}$$
We set \(v=\prod _{j=1}^m v_j^{1/q_j}w_j^{p_j/q_j}\) so that
Let \((f,f_1,\ldots ,f_m)\in \mathcal {F}\). By Fubini’s theorem, Hölder’s inequality, the assumption (4.2), and the properties of the \(v_j\) we have
Now by Lemma 4.2 with
and weights \(w_j^{p_j}\), Proposition 2.4(iii) and the duality of Bochner spaces (see [41, Corollary 1.3.22]), we have
Thus, picking \(u\in L^{p/q}(w^p;X^q)^{*}\) of norm 1, by taking an infimum over all decompositions \(u=\prod _{j=1}^m u_j^{p/p_j}\) with \(u_j\in L^{(p_j/q_j)'}\bigl (w_j^{p_j};(X_j^{q_j})^*\bigr )\), we may conclude from (4.5) that
Thus, the result for these specific \(p_j\)’s follows from
Step 2: We may finish the proof for general \(p_j\)’s by appealing to the scalar-valued limited range multilinear extrapolation result by Cruz-Uribe and Martell [21]. Indeed, we define a new family
Then \(\widetilde{\mathcal {F}} \subset L^0_+(\mathbb {R}^d)^{m+1}\) and by Step 1 we have
for certain \(p_j\in (p_j^-,p_j^+)\), all \((\tilde{f},\tilde{f}_1,\ldots ,\tilde{f}_m)\in \widetilde{\mathcal {F}}\), and all weights \(w_j^{p_j}\in A_{p_j/p_j^-}\cap RH_{(p_j^+/p_j)'}\). The result for general \(p_j\in (p_j^-,p_j^+)\) then follows directly from [21, Theorem 1.3 and Corollary 1.11], proving the assertion. \(\square \)
Finally, we will prove the main result from the introduction, which is a direct corollary of Theorem 4.3.
Proof of Theorem 1.1
We wish to apply Theorem 4.3 to the collection
Our assumption implies that there are \(p_j\in (p_j^-,p_j^+)\) so that for all weights \(w_j^{p_j}\in A_{p_j/p_j^-}\cap RH_{(p_j^+/p_j)'}\) the a priori estimate (4.2) in Theorem 4.3 holds. By appealing to the scalar-valued limited range multilinear extrapolation result [21] we may conclude that (4.2) in fact holds for all \(p_j\in (p_j^-,p_j^+)\) and weights \(w_j^{p_j}\in A_{p_j/p_j^-}\cap RH_{(p_j^+/p_j)'}\). Thus, Theorem 4.3 implies that
for all simple functions \(f_j:\mathbb {R}^d \rightarrow X_j\), where C depends only on the \(X_j\), \(p_j\), and the characteristic constants of the weights. If T is m-linear, then (4.6) extends directly to all \(f_j\in L^{p_j}(w_j^{p_j};X_j)\) by density. If T is m-sublinear and positive valued, then we fix simple functions \(f_j::\mathbb {R}^d \rightarrow X_j\) for \(j\in \{2,\ldots ,m\}\). For any pair of simple functions \(f_1,g_1:\mathbb {R}^d\rightarrow X_1\) we have
so that
Thus, (4.6) extends to arbitrary \(f_1 \in L^{p_1}(w_1^{p_1};X_1)\) by density. Iterating this argument for \(j=2,\ldots m\) proves the result. \(\square \)
5 Applications
In this section we apply our main result to various operators, for which we obtain new vector-valued bounds.
5.1 The Bilinear Hilbert Transform
For \(d=1\), The bilinear Hilbert transform \({{\,\mathrm{BHT}\,}}\) is defined by
After its initial introduction by Calderón, it took thirty years until \(L^p\) estimates were established by Lacey and Thiele [50]. They showed that for \(p_1,p_2\in (1,\infty ]\) with \(\frac{1}{p}=\frac{1}{p_1}+\frac{1}{p_2}<\frac{3}{2}\) one has
As for weighted bounds, the first results were obtained by Culiuc et al. [24], and through the extrapolation result of Cruz-Uribe and Martell the range of exponents was increased [21], in particular recovering the full range of exponents for the unweighted result (5.1). It was already shown in [21] that this result implies corresponding vector-valued bounds for \({{\,\mathrm{BHT}\,}}\) for certain \(\ell ^s\)-spaces. Moreover, vector-valued bounds for \({{\,\mathrm{BHT}\,}}\) have also been considered by Benea and Muscalu [5]. In particular, they consider functions taking values in iterated \(L^s\)-spaces, see [5, Theorem 8] including the case \(s=\infty \).
Through our main result we are able to obtain a new bounded vector-valued extension of the bilinear Hilbert transform. By combining the weighted estimates in [21, Theorem 1.18] with Theorem 1.1, we get:
Theorem 5.1
Let \(q_1,q_2\in (1,\infty )\) so that \(\frac{1}{q_1}+\frac{1}{q_2}<1\). For \(j\in \{1,2\}\), define
Let \(X=X_1\cdot X_2\), where \(X_1\), \(X_2\) are quasi-Banach function spaces over a \(\sigma \)-finite measure space \((S,\mu )\) satisfying \(X_j\in {{\,\mathrm{UMD}\,}}_{p_j^-,p_j^+}\). Then for all \(p_1\), \(p_2\) with \(p_j\in (p_j^-,p_j^+)\) and all weights \(w_1\), \(w_2\) satisfying \(w_j^{p_j}\in A_{p_j/p_j^-}\cap RH_{(p_j^+/p_j)'}\) we have
for all \(f\in L^{p_1}(w_1^{p_1};X_1)\), \(g\in L^{p_2}(w_2^{p_2};X_2)\), where \(\frac{1}{p}=\frac{1}{p_1}+\frac{1}{p_2}\), \(w=w_1w_2\), and where \(C'>0\) depends only on the \(X_j\), \(p_j\), \(q_j\), and the characteristic constants of the weights.
By Example 2.3 we have \(\ell ^s = \ell ^{s_1} \cdot \ell ^{s_2}\) for \(s_1, s_2\in (0,\infty )\) and \(\frac{1}{s}=\frac{1}{s_1}+\frac{1}{s_2}\). Thus, we recover [21, Theorem 1.29] by Example 3.5. It is implicit from the arguments in [24] that there are more general weighted estimates for \({{\,\mathrm{BHT}\,}}\) leading to a wider range of vector-valued extensions. For a technical discussion on this, we refer the reader to [21, Sect. 5].
Furthermore by Proposition 3.3(v) we can also handle iterated \(L^s\)-spaces as considered by Benea and Muscalu [5], but our results do not overlap as we do not obtain bounds involving \(L^\infty \)-spaces. Such spaces might be in the scope of a generalized version of our main theorem using multilinear weight classes combined with a multilinear \({{\,\mathrm{UMD}\,}}\) condition, see also Remark 1.3 and [58].
Finally, we mention the vector-valued bounds obtained by Hytönen, Lacey, and Parissis [40] for the related bilinear quartile operator (the Fourier-Walsh model of \({{\,\mathrm{BHT}\,}}\)). They consider estimates involving triples of more general \({{\,\mathrm{UMD}\,}}\) Banach spaces with so called quartile type q. It is unknown whether these estimates hold for \({{\,\mathrm{BHT}\,}}\) itself. Note that a Banach function space \(X \in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\) has quartile type \(\max \{{p_-',p_+}\}\) by Proposition 3.3(iv) and [40, Proposition 4.1].
5.2 Multilinear Calderón–Zygmund Operators
Let T be an m-linear operator, initially defined for m-tuples \(f_1,\ldots ,f_m\in C_c^\infty (\mathbb {R}^d)\), that satisfies
whenever \(x\notin \cap _{j=1}^m{{\,\mathrm{supp}\,}}f_j\), where K is a kernel defined in \((\mathbb {R}^d)^{m+1}\) outside of the diagonal \(y_0=y_1=\cdots =y_m\). If K satisfies the estimate
for all multi-indices \(\alpha _j\) so that \(\sum _{j=1}^m|\alpha _j|\le 1\) and if there exist \(p_1,\ldots , p_m\) so that T extends to a bounded operator \(L^{p_1}\times \cdots L^{p_m}\rightarrow L^p\) with \(\frac{1}{p}=\sum _{j=1}^m\frac{1}{p_j}\), then T is called an m-linear Calderón-Zygmund operator.
Multilinear Calderón-Zygmund operators first appeared in the work [20] by Coifman and Meyer. Weighted estimates for these operators have been considered for example by Grafakos and Torres in [33] and subsequently by Grafakos and Martell in [32], where it was shown that for all \(p_j\in (1,\infty )\), all weights \(w_j^{p_j}\in A_{p_j}\), and all \(f_j\in L^{p_j}(w_j^{p_j})\) we have
where \(w=\prod _{j=1}^m w_j\) and \(\frac{1}{p}=\sum _{j=1}^m\frac{1}{p_j}\), and where C depends only on the characteristic constants of the weights. Thus, by Theorem 1.1 we obtain the following result:
Theorem 5.2
Let T be an m-linear Calderón-Zygmund operator and suppose \(X_1,\ldots ,X_m\in {{\,\mathrm{UMD}\,}}\). Then for all \(p_j\in (1,\infty )\), all weights \(w_j^{p_j}\in A_{p_j}\), and all \(f_j\in L^{p_j}(w_j^{p_j};X_j)\) we have
where \(X=X_1\ldots X_m\), \(w=\prod _{j=1}^m w_j\), \(\frac{1}{p}=\sum _{j=1}^m\frac{1}{p_j}\), and where \(C'\) depends only on the \(X_j\), \(p_j\), and the characteristic constants of the weights.
This result is new, as previously only \(\ell ^s\)-valued extensions had been considered in [32].
We wish to point out that, using a more appropriate multilinear weight condition, more general weighted bounds for multilinear Calderón-Zygmund operators have been found in [52].
5.3 Limited Range Extrapolation
The remaining examples are for the linear case \(m=1\).
Example 5.3
(Fourier multipliers I) For \(a<b\), \(q\in [1,\infty )\), and a function \(m:[a,b]\rightarrow \mathbb {C}\) we define the q-variation norm
where the supremum is taken over all partitions \(a=t_0<\ldots <t_n=b\) of the interval [a, b]. Let \(\mathscr {D}:=\big \{\pm (2^k,2^{k+1}]:k\in \mathbb {Z}\big \}\) be the dyadic decomposition of \(\mathbb {R}\). Then we define a class of multipliers
For \(q>2\) and \(p_+:=2\left( \frac{q}{2}\right) '\) it was shown by Król [48, Theorem A(ii)] that for all \(p\in [2,p_+)\), \(w\in A_{p/2}\cap RH_{(p_+/p)'}\) and \(m\in V^q(\mathscr {D})\) the Fourier multiplier \(T_m\) defined by \(\mathscr {F}(T_mf)=m\mathscr {F}f\) satisfies
Therefore one may readily apply Theorem 1.1 with \(p_-=2\) to the linear operator \(T_m\). So for any Banach function space X such that \(X\in {{\,\mathrm{UMD}\,}}_{2,p_+}\) we find for all \(p\in (2,p_+)\), all \(w\in A_{p/2}\cap RH_{(p_+/p)'}\) and \(m\in V^q(\mathscr {D})\) that
Note that [48, Theorem A(i)] was already extrapolated to the vector-valued setting by Amenta, Veraar, and the first author in [2], proving that for \(m\in V^q(\mathscr {D})\) with \(q\in [1,2]\) the Fourier multiplier \(T_m\) has a bounded vector-valued extension for Banach function spaces \(X\in {{\,\mathrm{UMD}\,}}_{q,\infty }\). Furthermore extensions of [48, Theorem A] for operator-valued Fourier multipliers have been obtained in [1].
Example 5.4
(Riesz transforms associated with elliptic operators) Let \(A\in L^\infty (\mathbb {R}^d;\mathbb {C}^{d\times d})\) satisfy an ellipticity condition \({{\,\mathrm{Re}\,}}(A(x)\xi \cdot \overline{\xi })\ge \lambda |\xi |^2\) for a.e. \(x\in \mathbb {R}^d\), and all \(\xi \in \mathbb {C}^d\). Then we may consider a second order divergence form operator
defined on \(L^2\), which due to the ellipticity condition on A generates an analytic semigroup \((e^{-t L})_{t>0}\) in \(L^2\). Let \(1\le p_-<p_+\le \infty \). If both the semigroup and the gradient family \((\sqrt{t}\nabla e^{-t L})_{t>0}\) satisfy \(L^{p_-}\)–\(L^{p_+}\) off-diagonal estimates, then the Riesz transform \(R:=\nabla L^{-1/2}\) is a bounded operator in \(L^p(w)\) for all \(p\in (p_-,p_+)\) and all weights \(w\in A_{p/p_-}\cap RH_{(p_+/p)'}\), see [4, 7]. The values of \(p_-\) and \(p_+\) for which such off-diagonal estimates hold depend on the dimension d and on the matrix-valued function A and are studied in detail in [3]. The result we obtain is that if a Banach function space X satisfies \(X\in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\), then for all \(p\in (p_-,p_+)\) and all weights \(w\in A_{p/p_-}\cap RH_{(p_+/p)'}\) we have
This result is new in the sense that previously such bounds were previously only known for \(X=\ell ^s\) through the limited range extrapolation result in [4].
Next, we consider a class of operators satisfying a certain sparse domination property. A collection \(\mathcal {S}\) of cubes in \(\mathbb {R}^d\) is called sparse if there is a pairwise disjoint collection of sets \((E_Q)_{Q\in \mathcal {S}}\) so that for each \(Q\in \mathcal {S}\) we have \(E_Q\subseteq Q\) and \(|Q|\le 2|E_Q|\). We say that a (sub)linear operator T satisfies the sparse domination property with parameters \(1\le p_-<p_+\le \infty \) if there is a \(C>0\) so that for all compactly supported smooth functions \(f,g:\mathbb {R}^d\rightarrow \mathbb {C}\) we have
where the supremum runs over all sparse collections of cubes \(\mathcal {S}\). For an operator T we denote the optimal constant C appearing in (5.2) by \(\Vert T\Vert _{S(p_-,p_+)}\). Estimates in the form (5.2) were first considered in [7] where it was shown that
for \(p \in (p_-,p_+)\) and \(w\in A_{p/p_-}\cap RH_{(p_+/p)'}\) by giving a quantitative estimate in terms of the characteristic constants of the weight. Thus, we may readily apply Theorem 1.1 with \(m=1\) to any linear or positive-valued sublinear T such that \(\Vert T\Vert _{S(p_-,p_+)}<\infty \). This yields the following result:
Theorem 5.5
Let T be a linear or a positive-valued sublinear operator and let X be a Banach function space over a \(\sigma \)-finite measure space \((S,\mu )\). Assume that for all simple functions \(f:\mathbb {R}^d\rightarrow X\) the function \(\widetilde{T}f(x,s):=T(f(\cdot ,s))(x)\) is well-defined and strongly measurable.
If there are \(1\le p_-<p_+\le \infty \) such that
then for all \(p\in (p_-,p_+)\), all weights \(w\in A_{p/p_-}\cap RH_{(p_+/p)'}\), and all \(f\in L^p(w;X)\), we have
where C depends only on X, p, \(p_-\), \(p_+\), and the characteristic constants of w.
We emphasize again that if T is linear, then \(\widetilde{T}f\) is automatically well-defined and strongly measurable for any simple function \(f:\mathbb {R}^d\rightarrow X\), see also Remark 1.2. We conclude this section by giving several examples of operators satisfying sparse bounds.
Example 5.6
(Fourier multipliers II) For each \(\delta \ge 0\), the Bochner-Riesz multiplier \(B_\delta \) is defined as the Fourier multiplier \(\mathscr {F}(B_\delta f)=(1-|\xi |^2)_+^\delta \mathscr {F}f\), where \(t_+=\max (t,0)\). For \(\delta \ge (d-1)/2\), \(B_\delta \) satisfies weighted bounds \(\Vert B_\delta \Vert _{L^p(w)\rightarrow L^p(w)}<\infty \) for any \(p\in (1,\infty )\) and any \(w\in A_p\), see [11, 26, 63].
The situation is more complicated when \(0<\delta <(d-1)/2\) and weighted bounds for such \(\delta \) have, for example, been considered in [17, 18, 27]. The idea to quantify weighted bounds for \(B_\delta \) for \(0<\delta <(d-1)/2\) through sparse domination was initiated by Benea, Bernicot, and Luque [6]. It was shown by Lacey, Mena, and Reguera that for this range of \(\delta \) there are explicit subsets \(R_{\delta ,d}\) of the plane so that
for \((p_-,p_+)\in R_{\delta ,d}\), see [51]. We also refer the reader to the recent work by Kesler and Lacey [47] containing certain sparse endpoint bounds in dimension \(d=2\).
As far as we know, the only vector-valued estimates that have been shown for \(B_\delta \) have been for \(X=\ell ^s\), see [6]. For any \(p_-\), \(p_+\) and \(\delta \) for which \(\Vert B_\delta \Vert _{S(p_-,p_+)}<\infty \), we obtain by Theorem 5.5 that inequality (5.3) with \(\widetilde{T} = \widetilde{B}_\delta \) holds for any Banach function space X satisfying \(X\in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\), yielding new vector-valued estimates.
Example 5.7
(Spherical maximal operators) Let \((S^{d-1},\sigma )\) denote the unit sphere in \(\mathbb {R}^d\) equipped with its normalized Euclidean surface measure \(\sigma \). For a smooth function f on \(\mathbb {R}^d\) we denote by \(A_r f(x)\) the average of f over the sphere centered at x of radius \(r>0\), i.e.,
We respectively define the lacunary spherical maximal operator and the full spherical maximal operator by
the latter having been introduced by Stein [64] and the former having been studied by Calderón [16]. It was shown by Lacey [49] that for explicit subsets \(L_d\), \(F_d\) of the plane we have
These results recover the previous known \(L^p\)-bounds for these operators and yield weighted bounds.
To apply Theorem 5.5 to \(M_{{{\,\mathrm{lac}\,}}}\) and \(M_{{{\,\mathrm{full}\,}}}\), one needs to check that these operators have well-defined and strongly measurable extensions to X-valued simple functions with X a Banach function space over \((S,\mu )\). This can be checked as in [34, Lemma 3.1]. Therefore it follows from Theorem 5.5 that if \((p_-,p_+)\in L_d\) or \((p_-,p_+)\in F_d\), then for any Banach function space \(X\in {{\,\mathrm{UMD}\,}}_{p_-,p_+}\) we obtain the bound (5.3) for \(\widetilde{T}=\widetilde{M}_{{{\,\mathrm{lac}\,}}}\) or \(\widetilde{T}=\widetilde{M}_{{{\,\mathrm{full}\,}}}\) respectively. As far as we know, this is the first instance that vector-valued extensions have been considered for these operators.
References
Amenta, A., Lorist, E., Veraar, M.C.: Fourier multipliers in Banach function spaces with UMD concavifications. Published electronically in Trans. Am. Soc. (2018)
Amenta, A., Lorist, E., Veraar, M.C.: Rescaled extrapolation for vector-valued functions. Publ. Mat. 63(1), 155–182 (2019)
Auscher, P.: On necessary and sufficient conditions for \(L^p\)-estimates of Riesz transforms associated to elliptic operators on \(\mathbb{R}^{n}\) and related estimates. Mem. Am. Math. Soc. 186(871), xviii+75 (2007)
Auscher, P., Martell, J.M.: Weighted norm inequalities, off-diagonal estimates and elliptic operators. I. General operator theory and weights. Adv. Math. 212(1), 225–276 (2007)
Benea, C., Muscalu, C.: Multiple vector-valued inequalities via the helicoidal method. Anal. PDE 9(8), 1931–1988 (2016)
Benea, C., Bernicot, F., Luque, T.: Sparse bilinear forms for Bochner Riesz multipliers and applications. Trans. Lond. Math. Soc. 4(1), 110–128 (2017)
Bernicot, F., Frey, D., Petermichl, S.: Sharp weighted norm estimates beyond Calderón–Zygmund theory. Anal. PDE 9(5), 1079–1113 (2016)
Betancor, J.J., Fariña, J.C., Rodríguez-Mesa, L.: Hardy–Littlewood and UMD Banach lattices via Bessel convolution operators. J. Oper. Theory 67(2), 349–368 (2012)
Bourgain, J.: Some remarks on Banach spaces in which martingale difference sequences are unconditional. Ark. Mat. 21(2), 163–168 (1983)
Bourgain, J.: Extension of a result of Benedek, Calderón and Panzone. Ark. Mat. 22(1), 91–95 (1984)
Buckley, S.M.: Estimates for operator norms on weighted spaces and reverse Jensen inequalities. Trans. Am. Math. Soc. 340(1), 253–272 (1993)
Bukhvalov, A.V.: Interpolation of linear operators in spaces of vector functions and with a mixed norm. Sibirsk. Mat. Zh. 28(1), i, 37–51 (1987)
Burkholder, D.L.: A geometric condition that implies the existence of certain singular integrals of Banach-space-valued functions. In: Conference on harmonic analysis in honor of Antoni Zygmund, vols. I, II (Chicago, Ill., 1981). Wadsworth Mathematics Series, pp. 270–286. Wadsworth, Belmont, CA (1983)
Burkholder, D.L.: Martingales and singular integrals in Banach spaces. In: Handbook of the Geometry of Banach Spaces, vol. I, pp. 233–269. North-Holland, Amsterdam (2001)
Calderón, A.P.: Intermediate spaces and interpolation, the complex method. Stud. Math. 24, 113–190 (1964)
Calderón, C.P.: Lacunary spherical means. Ill. J. Math. 23(3), 476–484 (1979)
Carro, M.J., Duoandikoetxea, J., Lorente, M.: Weighted estimates in a limited range with applications to the Bochner–Riesz operators. Indiana Univ. Math. J. 61(4), 1485–1511 (2012)
Christ, M.: On almost everywhere convergence of Bochner–Riesz means in higher dimensions. Proc. Am. Math. Soc. 95(1), 16–20 (1985)
Cioica, P., Cox, S.G., Veraar, M.C.: Stochastic integration in quasi-Banach spaces (2018). arXiv:1804.08947
Coifman, R.R., Meyer, Y.: On commutators of singular integrals and bilinear singular integrals. Trans. Am. Math. Soc. 212, 315–331 (1975)
Cruz-Uribe, D., Martell, J.M.: Limited range multilinear extrapolation with applications to the bilinear Hilbert transform. Math. Ann. 371(1–2), 615–653 (2018)
Cruz-Uribe, D., Martell, J.M., Pérez, C.: Extrapolation from \(A_\infty \) weights and applications. J. Funct. Anal. 213(2), 412–439 (2004)
Cruz-Uribe, D.V., Martell, J.M., Pérez, C.: Weights, extrapolation and the theory of Rubio de Francia. In: Operator Theory: Advances and Applications, vol. 215. Birkhäuser/Springer Basel AG, Basel (2011)
Culiuc, A., Di Plinio, F., Ou, Y.: Domination of multilinear singular integrals by positive sparse forms. J. Lond. Math. Soc. (2) 98(2), 369–392 (2018)
Deleaval, L., Kriegler, C.: Dunkl spectral multipliers with values in UMD lattices. J. Funct. Anal. 272(5), 2132–2175 (2017)
Duoandikoetxea, J., Rubio de Francia, J.L.: Maximal and singular integral operators via Fourier transform estimates. Invent. Math. 84(3), 541–561 (1986)
Duoandikoetxea, J., Moyua, A., Oruetxebarria, O., Seijo, E.: Radial \(A_p\) weights with applications to the disc multiplier and the Bochner–Riesz operators. Indiana Univ. Math. J. 57(3), 1261–1281 (2008)
Fernandez, D .L., Garcia, J .B.: Interpolation of Orlicz-valued function spaces and U.M.D. property. Studia Math. 99(1), 23–40 (1991)
García-Cuerva, J., Rubio de Francia, J.L.: Weighted Norm Inequalities and Related Topics. North-Holland Mathematics Studies. vol. 116. Notas de Matemática, 104. North-Holland, Amsterdam (1985)
García-Cuerva, J., Macías, R., Torrea, J.L.: The Hardy–Littlewood property of Banach lattices. Isr. J. Math. 83(1–2), 177–201 (1993)
Grafakos, L.: Classical Fourier Analysis. Graduate Texts in Mathematics, 3rd edn, vol. 249. Springer, New York (2014)
Grafakos, L., Martell, J.M.: Extrapolation of weighted norm inequalities for multivariable operators and applications. J. Geom. Anal. 14(1), 19–46 (2004)
Grafakos, L., Torres, R.H.: Maximal operator and weighted norm inequalities for multilinear singular integrals. Indiana Univ. Math. J. 51(5), 1261–1276 (2002)
Hänninen, T.S., Lorist, E.: Sparse domination for the lattice Hardy–Littlewood maximal operator. Proc. Am. Math. Soc. 147(1), 271–284 (2019)
Harboure, E., Macías, R., Segovia, C.: Extrapolation results for classes of weights. Am. J. Math. 110(3), 383–397 (1988)
Hong, G.: Banach lattice-valued \(q\)-variation and convexity (2014). arXiv:1410.1575
Hunt, R.A.: On \(L(p,\, q)\) spaces. Enseignement Math. (2) 12, 249–276 (1966)
Hytönen, T.P., Vähäkangas, A.V.: The local non-homogeneous \(Tb\) theorem for vector-valued functions. Glasg. Math. J. 57(1), 17–82 (2015)
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., Lacey, M.T., Parissis, I.: The vector valued quartile operator. Collect. Math. 64(3), 427–454 (2013)
Hytönen, T.P., van Neerven, J.M.A.M., Veraar, M.C., Weis, L.: Analysis in Banach Spaces. Volume I: Martingales and Littlewood–Paley Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 63. Springer, Cham (2016)
Johnson, R., Neugebauer, C.J.: Change of variable results for \(A_p\)- and reverse Hölder \({\rm RH}_r\)-classes. Trans. Am. Math. Soc. 328(2), 639–666 (1991)
Kalton, N.J.: Convexity conditions for non-locally convex lattices. Glasg. Math. J. 25(2), 141–152 (1984)
Kalton, N.J., Mitrea, M.: Stability results on interpolation scales of quasi-Banach spaces and applications. Trans. Am. Math. Soc. 350(10), 3903–3922 (1998)
Kalton, N.J., Mayboroda, S., Mitrea, M.: Interpolation of Hardy-Sobolev–Besov–Triebel–Lizorkin spaces and applications to problems in partial differential equations. In: Interpolation Theory and Applications, vol. 445. Contemporary Mathematics, pp. 121–177. American Mathematical Society, Providence (2007)
Kamińska, A.: Indices, convexity and concavity in Musielak–Orlicz spaces. Funct. Approx. Comment. Math. 26, 67–84 (1998) (Dedicated to Julian Musielak)
Kesler, R., Lacey, M.T.: Sparse endpoint estimates for Bochner–Riesz multipliers on the plane. Collect. Math. 69(3), 427–435 (2018)
Król, S.: Fourier multipliers on weighted \(L^p\) spaces. Math. Res. Lett. 21(4), 807–830 (2014)
Lacey, M.T.: Sparse bounds for spherical maximal functions (2017). arXiv:1702.08594
Lacey, M.T., Thiele, C.: On Calderón’s conjecture. Ann. Math. (2) 149(2), 475–496 (1999)
Lacey, M.T., Mena, D., Reguera, M.C.: Sparse bounds for Bochner–Riesz multipliers. J. Fourier Anal. Appl. (2017). https://doi.org/10.1007/s13348-018-0214-1
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., Martell, J.M., Ombrosi, S.: Extrapolation for multilinear Muckenhoupt classes and applications to the bilinear Hilbert transform (2018). arXiv:1802.03338
Lindenstrauss, J., Tzafriri, L.: Classical Banach spaces. II. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 97. Springer, Berlin (1979)
Lozanovskii, G.Ya.: On some Banach lattices. Sib. Math. J. 10(3), 419–431 (1969)
Maligranda, L.: Type, cotype and convexity properties of quasi-Banach spaces. In: Banach and Function Spaces, pp. 83–120. Yokohama Publishers, Yokohama (2004)
Meyer-Nieberg, P.: Banach Lattices. Universitext. Springer, Berlin (1991)
Nieraeth, B.: Quantitative estimates and extrapolation for multilinear weight classes (2018). arXiv:1808.01985
Rubio de Francia, J.L.: Factorization and extrapolation of weights. Bull. Am. Math. Soc. (N.S.) 7(2), 393–395 (1982)
Rubio de Francia, J.L.: A Littlewood–Paley inequality for arbitrary intervals. Rev. Mat. Iberoam. 1(2), 1–14 (1985)
Rubio de Francia, J.L.: Martingale and integral transforms of Banach space valued functions. In: Probability and Banach Spaces (Zaragoza, 1985). Lecture Notes in Mathematics, vol. 1221, pp. 195–222. Springer, Berlin (1986)
Schep, A.: Products and factors of Banach function spaces. Positivity 14(2), 301–319 (2010)
Shi, X.L., Sun, Q.Y.: Weighted norm inequalities for Bochner–Riesz operators and singular integral operators. Proc. Am. Math. Soc. 116(3), 665–673 (1992)
Stein, E .M.: Maximal functions. I. Spherical means. Proc. Natl Acad. Sci. U.S.A. 73(7), 2174–2175 (1976)
Triebel, H.: Interpolation Theory, Function Spaces, Differential Operators, vol. 18. North-Holland Mathematical Library, North-Holland, Amsterdam (1978)
Xu, Q.: \(H^\infty \) functional calculus and maximal inequalities for semigroups of contractions on vector-valued \(L_p\)-spaces. Int. Math. Res. Not. IMRN 14, 5715–5732 (2015)
Acknowledgements
The authors thank Mark Veraar and Dorothee Frey for their helpful comments on the draft. Moreover the authors thank Alex Amenta for his suggestion to consider the multilinear setting. Finally the authors would like to thank the anonymous referees for their suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Rodolfo H. Torres.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author is supported by the VIDI subsidy 639.032.427 of the Netherlands Organisation for Scientific Research (NWO).
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
Lorist, E., Nieraeth, Z. Vector-Valued Extensions of Operators Through Multilinear Limited Range Extrapolation. J Fourier Anal Appl 25, 2608–2634 (2019). https://doi.org/10.1007/s00041-019-09675-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-019-09675-z
Keywords
- Extrapolation
- Limited range
- Multilinear
- UMD
- Muckenhoupt weights
- Banach function space
- p-convexity
- Bilinear Hilbert transform
- Fourier multipliers
- Sparse domination