Abstract
Armed with new methods we revisit a result of Figiel concerning the \({\text {UMD}}\)-extensions of linear Calderón–Zygmund operators with mild kernel regularity and then extend our new proof to the multilinear setting improving recent \({\text {UMD}}\)-valued estimates of multilinear singular integrals.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The \({\text {UMD}}\)—unconditional martingale differences—property of a Banach space X is a well-known necessary and sufficient condition for the boundedness of various singular integral operators (SIOs)
on \(L^p({\mathbb {R}}^d;X) = L^p(X)\). A Banach space X has the \({\text {UMD}}\) property if X-valued martingale difference sequences converge unconditionally in \(L^p\) for some \(p\in (1,\infty )\).
By Burkholder [2] and Bourgain [1] we have that X is a \({\text {UMD}}\) space if and only if a particular singular integral operator—the Hilbert transform \(Hf(x) = {\text {p.v.}} \int _{{\mathbb {R}}} \frac{f(y) dy}{x-y}\)—admits an \(L^p(X)\)-bounded extension. This theory quickly advanced up to the vector-valued T1 theorem of Figiel [12]. It is important to understand that the fundamental result that all scalar-valued \(L^2\) bounded SIOs can be extended to act boundedly on \(L^p(X)\), \(p \in (1,\infty )\), goes through this key theorem.
The deep work of Figiel also contains estimates for the required kernel regularity in terms of some key characteristics of the \({\text {UMD}}\) space X. This concerns the required regularity of the continuity-moduli \(\omega \) appearing in the various kernel estimates, such as,
Recently, Grau de la Herrán and Hytönen [16] proved that the modifed Dini condition
with \(\alpha = \frac{1}{2}\) is sufficient to prove a scalar-valued T1 theorem even with an underlying measure \(\mu \) that can be non-doubling. This matches the best known [6, 12] sufficient condition for the classical homogeneous T1 theorem [5]. The exponent \(\alpha = \frac{1}{2}\) has a fundamental feeling in all of the existing arguments—it seems very difficult to achieve a T1 theorem with a weaker assumption.
It turns out that for completely general \({\text {UMD}}\) spaces the threshold \(\alpha = 1/2\) needs to be replaced by a more complicated expression, while in the simpler function lattice case \(\alpha = 1/2\) suffices by a much more elementary argument. We revisit these fundamental linear results of Figiel using new optimized dyadic methods and obtain a modern proof of the following theorem. In our terminology, a Calderón–Zygmund operator (CZO) is an SIO that satisfies the T1 assumptions (equivalenty, \(T :L^2 \rightarrow L^2\) boundedly).
Theorem 1.1
Let T be a linear \(\omega \)-CZO and X be a \({\text {UMD}}\) space with type \(r \in (1,2]\) and cotype \(q \in [2, \infty )\). If \(\omega \in {\text {Dini}}_{1 / \min (r, q')}\), we have
See the main text for the exact definitions. If X is a Hilbert space, then \(r = q = 2\) and we get the usual \(\alpha = 1/2\). Again, this theory is relevant for \({\text {UMD}}\) spaces that go beyond the function lattices, such as, non-commutative \(L^p\) spaces.
A major part of our arguments has to do with the extension of this result to the multilinear setting. A basic model of an n-linear SIO T in \({\mathbb {R}}^d\) is obtained by setting
where U is a linear singular integral operator in \({\mathbb {R}}\)nd. See e.g. Grafakos–Torres [15] for the basic theory. Multilinear SIOs appear in applications ranging from partial differential equations to complex function theory and ergodic theory. For example, \(L^p\) estimates for the homogeneous fractional derivative \(D^{\alpha } f={\mathcal {F}}^{-1}(|\xi |^{\alpha } {{\widehat{f}}}(\xi ))\) of a product of two or more functions—the fractional Leibniz rules—are used in the area of dispersive equations. Such estimates descend from the multilinear Hörmander–Mihlin multiplier theorem of Coifman and Meyer [3]—See e.g. Kato and Ponce [23] and Grafakos and Oh [14].
The multilinear analogue of Theorem 1.1 extending the recent work [9] goes as follows.
Theorem 1.2
Let \(\{X_1,\ldots , X_{n+1}\}\) be a \({\text {UMD}}\) Hölder tuple as in Definition 3.21, and denote the cotype of \(X_j\) by \(s_j\). Suppose that T is an n-linear \(\omega \)-CZO with \(\omega \in {\text {Dini}}_{\alpha }\), where
Then for all exponents \(1 < p_1, \ldots , p_n \le \infty \) and \(1 / r = \sum _{j=1}^n 1/p_j > 0\) we have
Until recently, vector-valued extensions of multilinear SIOs had mostly been studied in the framework of \(\ell ^p\) spaces and function lattices, rather than general UMD spaces—see e.g. [4, 13, 24, 25, 28]. Taking the work [7] much further, the paper [9] finally established \(L^p\) bounds for the extensions of n-linear SIOs with the usual Hölder modulus of continuity to tuples of \({\text {UMD}}\) spaces tied by a natural product structure, such as, the composition of operators in the Schatten–von Neumann subclass of the algebra of bounded operators on a Hilbert space. In [10] the bilinear case of [9] was applied to prove \({\text {UMD}}\)-extensions for modulation invariant singular integrals, such as, the bilinear Hilbert transform. See also [8] for the related operator-valued theory. With new and refined methods, we are able to prove the above Figiel type result, Theorem 1.2, in the multilinear setting. The proofs of T1 theorems display a fundamental structural decomposition of SIOs into their cancellative parts and so-called paraproducts. It is this structure that is extremely important for obtaining further estimates beyond the initial scalar-valued \(L^p\) boundedness. The original dyadic representation theorem of Hytönen [18, 19] (extending an earlier special case of Petermichl [29]) provides a decomposition of the cancellative part of an SIO into so-called dyadic shifts. In [16] a new type of representation theorem appears, where the key difference to the original representation theorems [18, 19] is that the decomposition of the cancellative part is in terms of different operators that package multiple dyadic shifts into one and offer more efficient bounds when it comes to kernel regularity. Aiming to prove Theorem 1.2 we develop these tools in the multilinear setting and present a useful, explicit and clear exposition of the appearing new dyadic model operators.
1.1 Notation
Throughout this paper \(A\lesssim B\) means that \(A\le CB\) with some constant C that we deem unimportant to track at that point. We write \(A\sim B\) if \(A\lesssim B\lesssim A\).
Given a dyadic grid \({{\mathcal {D}}}\), \(I \in {{\mathcal {D}}}\) and \(k \in {\mathbb {Z}}\), \(k \ge 0\), we use the following notation:
-
(1)
\(\ell (I)\) is the side length of I.
-
(2)
\(I^{(k)} \in {{\mathcal {D}}}\) is the kth parent of I, i.e., \(I \subset I^{(k)}\) and \(\ell (I^{(k)}) = 2^k \ell (I)\).
-
(3)
\({\text {ch}}(I)\) is the collection of the children of I, i.e., \({\text {ch}}(I) = \{J \in {{\mathcal {D}}} :J^{(1)} = I\}\).
-
(4)
\(E_I f=\langle f \rangle _I 1_I\) is the averaging operator, where \(\langle f \rangle _I = \int \!\!--_{I} f = \frac{1}{|I|} \int _I f\).
-
(5)
\(E_{I, k}f\) is defined via
$$\begin{aligned} E_{I,k}f = \sum _{\begin{array}{c} J \in {{\mathcal {D}}} \\ J^{(k)}=I \end{array}}E_J f. \end{aligned}$$ -
(6)
\(\Delta _If\) is the martingale difference \(\Delta _I f= \sum _{J \in {\text {ch}}(I)} E_{J} f - E_{I} f\).
-
(7)
\(\Delta _{I,k} f\) is the martingale difference block
$$\begin{aligned} \Delta _{I,k} f=\sum _{\begin{array}{c} J \in {{\mathcal {D}}} \\ J^{(k)}=I \end{array}} \Delta _{J} f. \end{aligned}$$ -
(8)
\(P_{I,k}f\) is the following sum of martingale difference blocks
$$\begin{aligned} P_{I,k}f = \sum _{j=0}^{k} \Delta _{I,j} f =\sum _{\begin{array}{c} J \in {{\mathcal {D}}} \\ J \subset I \\ \ell (J) \ge 2^{-k}\ell (I) \end{array}} \Delta _{J} f. \end{aligned}$$
For an interval \(J \subset {\mathbb {R}}\) we denote by \(J_{l}\) and \(J_{r}\) the left and right halves of J, respectively. We define \(h_{J}^0 = |J|^{-1/2}1_{J}\) and \(h_{J}^1 = |J|^{-1/2}(1_{J_{l}} - 1_{J_{r}})\). Let now \(I = I_1 \times \cdots \times I_d \subset {\mathbb {R}}^d\) be a cube, and define the Haar function \(h_I^{\eta }\), \(\eta = (\eta _1, \ldots , \eta _d) \in \{0,1\}^d\), by setting
If \(\eta \ne 0\) the Haar function is cancellative: \(\int h_I^{\eta } = 0\). We exploit notation by suppressing the presence of \(\eta \), and write \(h_I\) for some \(h_I^{\eta }\), \(\eta \ne 0\). Notice that for \(I \in {{\mathcal {D}}}\) we have \(\Delta _I f = \langle f, h_I \rangle h_I\) (where the finite \(\eta \) summation is suppressed), \(\langle f, h_I\rangle := \int fh_I\).
2 Singular Integrals
Let \(\omega \) be a modulus of continuity: an increasing and subadditive function with \(\omega (0) = 0\). A relevant quantity is the modified Dini condition
In practice, the quantity (2.1) arises as follows:
For many standard arguments \(\alpha = 0\) is enough. For the T1 type arguments we will—at the minimum—always need \(\alpha = 1/2\). When we do \({\text {UMD}}\)-extensions beyond function lattices, we will need a bit higher \(\alpha \) depending on the so-called type and cotype constants of the underlying \({\text {UMD}}\) space X.
2.1 Multilinear singular integrals
A function
is called an n-linear \(\omega \)-Calderón–Zygmund kernel if it holds that
and for all \(j \in \{1, \dots , n+1\}\) it holds that
whenever \(x=(x_1, \dots , x_{n+1}) \in {\mathbb {R}}^{(n+1)d} \setminus \Delta \) and \(x'=(x_1, \dots , x_{j-1},x_j',x_{j+1},\dots x_{n+1}) \in {\mathbb {R}}^{(n+1)d}\) satisfy
Definition 2.3
An n-linear operator T defined on a suitable class of functions—e.g. on the linear combinations of cubes—is an n-linear \(\omega \)-SIO with an associated kernel K, if we have
whenever \({\text {spt}}f_i \cap {\text {spt}}f_j = \emptyset \) for some \(i \not = j\).
Definition 2.4
We say that T is an n-linear \(\omega \)-CZO if the following conditions hold:
-
T is an n-linear \(\omega \)-SIO.
-
We have that
$$\begin{aligned} \Vert T^{m*}(1, \ldots , 1) \Vert _{{\text {BMO}}} := \sup _{{{\mathcal {D}}}} \sup _{I \in {{\mathcal {D}}}} \left( \frac{1}{|I|} \sum _{\begin{array}{c} J \in {{\mathcal {D}}} \\ J \subset I \end{array}} |\langle T^{m*}(1, \ldots , 1), h_J\rangle |^2 \right) ^{1/2} < \infty \end{aligned}$$for all \(m \in \{0, \ldots , n\}\). Here \(T^{0*} := T\), \(T^{m*}\) denotes the mth, \(m \in \{1,\ldots ,n\}\), adjoint
$$\begin{aligned} \langle T(f_1, \dots , f_n), f_{n+1} \rangle = \left\langle T^{m*}(f_1, \dots , f_{m-1}, f_{n+1}, f_{m+1}, \dots , f_n), f_m \right\rangle \end{aligned}$$of T, and the pairings \(\langle T^{m*}(1, \ldots , 1), h_J\rangle \) have a standard T1 type definition with the aid of the kernel K.
-
We have that
$$\begin{aligned} \Vert T\Vert _{{\text {WBP}}} := \sup _{{{\mathcal {D}}}} \sup _{I \in {{\mathcal {D}}}} |I|^{-1} |\langle T(1_I, \ldots , 1_I), 1_I\rangle | < \infty . \end{aligned}$$
2.2 Model Operators
Let \(i=(i_1, \dots , i_{n+1})\), \(i_j \in \{0,1,\ldots \}\), and let \({{\mathcal {D}}}\) be a dyadic lattice in \({\mathbb {R}}^d\). An operator \(S_i\) is called an n-linear dyadic shift if it has the form
where
Here \(a_{K,(I_j)} = a_{K, I_1, \ldots ,I_{n+1}}\) is a scalar satisfying the normalization
and there exist two indices \(j_0,j_1 \in \{1, \ldots , n+1\}\), \(j_0 \not =j_1\), so that \({\widetilde{h}}_{I_{j_0}}=h_{I_{j_0}}\), \({\widetilde{h}}_{I_{j_1}}=h_{I_{j_1}}\) and for the remaining indices \(j \not \in \{j_0, j_1\}\) we have \({\widetilde{h}}_{I_j} \in \{h_{I_j}^0, h_{I_j}\}\).
A modified n-linear shift \(Q_k\), \(k \in \{1, 2, \ldots \}\), has the form
where
or \(B_K\) has one of the other symmetric forms, where the role of \(f_{n+1}\) is replaced by some other \(f_j\). The coefficients satisfy the same (but now \(|I_1| = \ldots = |I_{n+1}|\)) normalization
An n-linear dyadic paraproduct \(\pi = \pi _{{{\mathcal {D}}}}\) also has \(n+1\) possible forms, but there is no complexity associated to them. One of the forms is
where the coefficients satisfy the usual BMO condition
In the remaining n alternative forms the cancellative Haar function \(h_I\) is in a different position.
When we represent a CZO we will have modified dyadic shifts \(Q_k\), standard dyadic shifts of the very special form \(S_{k, \ldots , k}\) and paraproducts \(\pi \). Dyadic shifts \(S_{k, \ldots , k}\) are simply easier versions of the operators \(Q_k\). Paraproducts do not involve a complexity parameter and are thus inherently not even relevant for the kernel regularity considerations (we just need their boundedness).
Remark 2.8
At least in the linear situation, we can easily unify the study of shifts \(S_{k, \ldots , k}\) and modified shifts \(Q_k\). This viewpoint could work in the multilinear generality also (with some tensor product formalism), but we did not pursue it. We can understand a modified linear shift to have the more general form \(Q_k\), \(k = 0, 1, \ldots \), where
or
the constants \(a_{IJK}\) satisfy the usual normalization and and the functions \(H_{I,J}\) satisfy
-
(1)
\(H_{I,J}\) is supported on \(I \cup J\) and constant on the children of I and J, i.e., we have
$$\begin{aligned} H_{I,J} = \sum _{L \in {\text {ch}}(I) \cup {\text {ch}}(J)} b_L 1_L,\,\, b_L \in {\mathbb {R}}, \end{aligned}$$ -
(2)
\(|H_{I,J}| \le |I|^{-1/2}\) and
-
(3)
\(\int H_{I,J} = 0\).
2.3 The Threshold \(\alpha =1/2\)
We quickly explain the role of the regularity threshold \(\alpha = 1/2\), which appears naturally in the fundamental scalar-valued theory.
Lemma 2.11
Let \(p \in (1, \infty )\). There holds that
Proof
If \(f_i \in L^p\) then a basic vector-valued square function estimate says that
Let \(K \in {{\mathcal {D}}}\). We have that
Thus, (2.12) gives that
\(\square \)
Proposition 2.13
Suppose that \(Q_k\) is an n-linear modified shift. Let \(1< p_j < \infty \) with \(\sum _{j=1}^{n+1} 1/p_j = 1\). Then we have
Proof
We may assume that \(Q_k\) has the form (2.6). Notice that if \(I^{(k)} = K\) then we have
Using this we have for \(I_1^{(k)} = \cdots = I_{n+1}^{(k)} =K\) that
and
We see that the last terms of these expansions cancel out in the difference \(\prod _{j=1}^n \langle f_j, h_{I_j}^0 \rangle - \prod _{j=1}^n \langle f_j, h_{I_{n+1}}^0 \rangle \). It remains to estimate the others terms one by one. We pick the concrete (but completely representative) term \(\langle E_K f_1, h_{I_1}^0 \rangle \langle P_{K, k-1} f_2, h_{I_2}^0 \rangle \prod _{j=3}^n \langle f_j, h_{I_j}^0 \rangle \) from the expansion of \(\prod _{j=1}^n \langle f_j, h_{I_j}^0 \rangle \) and look at
It remains to use Hölder’s inequality, maximal function and square function estimates and Lemma 2.11. We remark that the estimate for \(f_{n+1}\) is, indeed, just the usual square function estimate, since
We now pick the corresponding term \(\langle E_K f_1, h_{I_{n+1}}^0 \rangle \langle P_{K, k-1} f_2, h_{I_{n+1}}^0 \rangle \prod _{j=3}^n \langle f_j, h_{I_{n+1}}^0 \rangle \) from the expansion of \(\prod _{j=1}^n \langle f_j, h_{I_{n+1}}^0 \rangle \) and look at
Notice that
We are thus left with
This is the same upper bound as in the first case, and thus handled with in the same way. \(\square \)
Remark 2.17
Proposition 2.13 considers only the Banach range boundedness of \(Q_k\). We can, in any case, upgrade the boundedness to the full range with standard methods when we consider CZOs.
Our representation of T will involve \(\sum _{k=0}^{\infty } \omega (2^{-k}) Q_k(f_1, \ldots , f_n)\), and thus by (2.2) and Proposition 2.13 we will always need \({\text {Dini}}_{1/2}\). The above proof readily generalises to so-called \({\text {UMD}}\) function lattices. In Sect. 3 we tackle the much deeper case of general \({\text {UMD}}\) spaces.
2.4 Modified Shifts are Sums of Standard Shifts
The standard linear shifts satisfy the complexity free bound
Similar estimates hold in the multilinear generality—for example, the following complexity free bilinear estimate is true
We need roughly nk shifts to represent an n-linear modified shift \(Q_k\) as a sum of standard shifts, see Lemma 2.18 below. Therefore, these estimates lose to estimates like (2.14), and would lead to \({\text {Dini}}_{1}\).
The following Lemma 2.18 is of philosophical importance. It should not be resorted to when more efficient estimates can be obtained by the direct study of the operators \(Q_k\). If one can accept some loss of regularity, then it can be practical. We present it for completeness and for the big picture.
Lemma 2.18
Let \(Q_k\), \(k \in \{1,2, \ldots \}\), be a modified n-linear shift of the form (2.6). Then for some \(C\lesssim 1\) we have
where in the first sum there are \(m-1\) zeroes and in the second sum m zeroes in the complexity of the shift.
Remark 2.19
In the proof below we decompose various martingale differences using Haar functions, which strictly speaking leads to the fact that there is an implicit dimensional summation in the above decomposition.
Proof of Lemma 2.18
The underlying decomposition is, in part, more sophisticated than the one in the beginning of the proof of Proposition 2.13. See the multilinear collapse (2.22) and (2.24). This feels necessary for this result—moreover, we will later use this decomposition strategy when we do general \({\text {UMD}}\)-valued estimates.
Write \(b_{K, (I_j)} = |I_1|^{n/2} a_{K, (I_j)}\) so that
We then write
We start working with the first term. Notice that
Using this we can write
Consider now, for \(m \in \{ 1, \ldots , n\}\), the following part of the modified shift
Next, write
We can write \(\langle A_m(f_1, \ldots , f_n), f_{n+1}\rangle \) in the form
Notice the normalization estimate
We also have two cancellative Haar functions, so for every \(i \in \{0, \ldots , k-1\}\), the inner sum in \(A_m\) is a standard n-linear shift of complexity \((0, \ldots , 0, i, k, \ldots , k)\), where the i is in the mth slot:
We now turn to the part of the modified shift associated with
Further, we write
Consider now, for \(m \in \{ 1, \ldots , n\}\), the following part of the modified shift
We can write \(\langle U_m(f_1, \ldots , f_n), f_{n+1}\rangle \) in the form
Notice the normalization estimate
Therefore, for some constant \(C \lesssim 1\) we get that
where there are m zeroes in \(S_{0, \ldots , 0, 1, \ldots , 1, i}\). \(\square \)
2.5 The Optimized Representation Theorem
Let \(\sigma = (\sigma ^i)_{i \in {\mathbb {Z}}}\), where \(\sigma ^i \in \{0,1\}^d\). Let \({\mathcal {D}}_0\) be the standard dyadic grid on \({\mathbb {R}}^d\),
We define the new dyadic grid
where we simply have defined
It is straightforward that \({{\mathcal {D}}}_{\sigma }\) inherits the key nestedness property of \({{\mathcal {D}}}_0\): if \(I,J \in {{\mathcal {D}}}_{\sigma }\), then \(I \cap J \in \{I,J,\emptyset \}\). Moreover, there is a natural product probability measure \({\mathbb {P}}_{\sigma } = {\mathbb {P}}\) on \((\{0,1\}^d)^{{\mathbb {Z}}}\) – this gives us the notion of random dyadic grids \(\sigma \mapsto {\mathcal {D}}_{\sigma }\) over which we take the expectation \({\mathbb {E}}_{\sigma }\) below.
Remark 2.25
The assumption \(\omega \in {\text {Dini}}_{1/2}\) in the theorem below is only needed to have a converging series. The regularity is not explicitly used in the proof of the representation. It is required due to the estimates of the model operators briefly discussed above.
Theorem 2.26
Suppose that T is an n-linear \(\omega \)-CZO, where \(\omega \in {\text {Dini}}_{1/2}\). Then we have
where \(V_{k,u, \sigma }\) is always either a standard n-linear shift \(S_{k, \ldots , k}\), a modified n-linear shift \(Q_{k}\) or an n-linear paraproduct (this requires \(k= 0\)) in the grid \({{\mathcal {D}}}_{\sigma }\). Moreover, we have
Proof
We begin with the decomposition
where \(I_1, \ldots , I_{n+1} \in {{\mathcal {D}}}_\sigma \) for some \(\sigma \in (\{0,1\}^d)^{{\mathbb {Z}}}\). We deal with the remainder term \(R_{\sigma }\) later, and now focus on dealing with one of the main terms
where \(j \in \{1, \ldots , n+1\}\).
The main terms are symmetric, and we choose to handle \(\Sigma _{\sigma } := \Sigma _{n+1,\sigma }\). After collapsing the sums
we have
Further, we write
We define the abbreviation
If we now sum over \(I_1, \ldots , I_{n+1}\) we may express \(\Sigma _{\sigma }\) in the form
where we recognize that the second term \(\Sigma _{\sigma }^2\) is a paraproduct. Thus, we only need to continue working with \(\Sigma _{\sigma }^1\).
Since \(\varphi _{I, \ldots , I}=0\), we have that
As in [16] we say that I is k-good for \(k \ge 2\) – and denote this by \(I \in {{\mathcal {D}}}_{\sigma , {\text {good}}}(k)\) – if \(I \in {{\mathcal {D}}}_{\sigma }\) satisfies
Notice that for all \(I \in {{\mathcal {D}}}_0\) we have
Thus, by the independence of the position of I and the k-goodness of I we have
where
and C is large enough.
Next, the key implication of the k-goodness is that
if \(|m| \le 2^{k-2}\) and \(I \in {{\mathcal {D}}}_{\sigma , {\text {good}}}(k)\). Indeed, notice that e.g. \(c_I + m\ell (I) \in [I + m\ell (I)] \cap K\) (so that \( [I + m\ell (I)] \cap K \ne \emptyset \) which is enough) as
Therefore, to conclude that \(Q_k\) is a modified n-linear shift it only remains to prove the normalization
Suppose first that \(k \sim 1\). Recall that \((m_1, \ldots , m_n) \not =(0,0)\) and assume for example that \(m_1 \not =0\). We have using the size estimate of the kernel that
where in the second step we repeatedly used estimates of the form
Notice that this is the right upper bound (2.31) in the case \(k \sim 1 \).
Suppose then that k is large enough so that we can use the continuity assumption of the kernel. In this case we have that if \(x_{n+1} \in I\) and \(x_1 \in I+m_1 \ell (I), \ldots , x_n \in I+m_n \ell (I)\), then \(\sum _{m=1}^{n} |x_{n+1}-x_m| \sim 2^k\ell (I)=\ell (K)\). Thus, there holds that
We have proved (2.31). This ends our treatment of \({\mathbb {E}}_{\sigma } \Sigma _{\sigma }\).
We now only need to deal with the remainder term \({\mathbb {E}}_{\sigma } R_{\sigma }\). Write
where each \((I_1, \ldots , I_{n+1}) \in {{\mathcal {I}}}_{\sigma }\) satisfies that if \(j \in \{1, \ldots , n+1\}\) is such that \(\ell (I_j) \le \ell (I_i)\) for all \(i \in \{1, \ldots , n+1\}\), then \(\ell (I_j) = \ell (I_{i_0})\) for at least one \(i_0 \in \{1, \ldots , n+1\} \setminus \{j\}\). The point why the remainder is simpler than the main terms is that we can split this summation so that there are always at least two sums which we do not need to collapse—that means we will readily have two cancellative Haar functions. To give the idea, it makes sense to explain the bilinear case \(n=2\). In this case we can, in a natural way, decompose
which – after collapsing the relevant sums – gives that
These are all handled similarly (the point is that there are at least two martingale differences remaining in all of them) so we look for example at
We can represent these terms as sums of standard bilinear shifts of the form \(S_{k,k,k}\). The first term is handled exactly like \(\Sigma _{\sigma }^1\) above.
The second term is readily a zero complexity shift. To prove the estimate for the coefficient we write \(\langle T(h_I, h^0_I), h_I \rangle \) as the sum of
and
There are \(\lesssim 1\) terms in both sums. In (2.35) we use the size of the kernel of T and in (2.36) the weak boundedness property
The general n-linear remainder term \(R_{\sigma }\) is analogous and only yields standard n-linear shifts \(S_{k, \ldots , k}\). We are done. \(\square \)
3 \({\text {UMD}}\)-Valued Extensions of Singular Integrals
3.1 Preliminaries of Banach Space Theory
An extensive treatment of Banach space theory is given in the books [20, 21] by Hytönen, van Neerven, Veraar and Weis.
We say that \(\{\varepsilon _i\}_i\) is a collection of independent random signs, where i runs over some index set, if there exists a probability space \(({{\mathcal {M}}}, \mu )\) so that \(\varepsilon _i :{{\mathcal {M}}} \rightarrow \{-1,1\}\), \(\{\varepsilon _i\}_i\) is independent and \(\mu (\{\varepsilon _i=1\})=\mu (\{\varepsilon _i=-1\})=1/2\). Below, \(\{\varepsilon _i\}_i\) will always denote a collection of independent random signs.
Suppose X is a Banach space. We denote the underlying norm by \(| \cdot |_X\). The Kahane-Khintchine inequality says that for all \(x_1,\dots , x_N \in X\) and \(p,q \in (0,\infty )\) there holds that
Definitions related to Banach spaces often involve such random sums and the definition may involve some fixed choice of the exponent—but the choice is irrelevant by the Kahane–Khintchine inequality.
The Kahane contraction principle says that if \((a_i)_{i=1}^N\) is a sequence of scalars, \(x_1,\ldots , x_N \in X\) and \(p \in (0, \infty ]\), then
Definition 3.2
Let X be a Banach space, let \(r \in [1,2]\) and \(q \in [2,\infty ]\).
-
1.
The space X has type r if there exists a finite constant \(\tau \ge 0\) such that for all finite sequences \(x_1,\ldots ,x_N \in X\) we have
$$\begin{aligned} \left( {\mathbb {E}}\left| \sum _{i=1}^N \varepsilon _i x_i \right| _X^r \right) ^{1/r} \le \tau \left( \sum _{i=1}^N |x_i|_X^r \right) ^{1/r}. \end{aligned}$$ -
2.
The space X has cotype q if there exists a finite constant \(c \ge 0\) such that for all finite sequences \(x_1,\ldots ,x_N \in X\) we have
$$\begin{aligned} \left( \sum _{i=1}^N |x_i|_X^q \right) ^{1/q} \le c \left( {\mathbb {E}}\left| \sum _{i=1}^N \varepsilon _i x_i \right| _X^q \right) ^{1/q}. \end{aligned}$$For \(q = \infty \) the usual modification is used.
The least admissible constants are denoted by \(\tau _{r,X}\) and \(c_{q, X}\)—they are the type r constant and cotype q constant of X.
In [21, Sect. 7] the reader can find the basic theory of types and cotypes. We only need a few basic facts, however.
If X has type r (cotype q), then it also has type u for all \(u \in [1,r]\) (cotype v for all \(v \in [q, \infty ]\)), and we have \( \tau _{u, X} \le \tau _{p, X} \qquad (c_{v,X} \le c_{q,X}). \) It is also trivial that always \(\tau _{1, X} = c_{\infty , X} = 1\). We say that X has non-trivial type if X has type r for some \(r \in (1, 2]\) and finite cotype if it has cotype q for some \(q \in [2, \infty )\).
For the types and cotypes of \(L^p\) spaces we have the following: if X has type r, then \(L^p(X)\) has type \(\min (r,p)\), and if X has cotype q, then \(L^p(X)\) has cotype \(\max (q,p)\).
The \({\text {UMD}}\) property is a necessary and sufficient condition for the boundedness of various singular integral operators on \(L^p({\mathbb {R}}^d;X) = L^p(X)\), see [20, Sect. 5.2.c and the Notes to Sect. 5.2].
Definition 3.3
A Banach space X is said to be a \({\text {UMD}}\) space, where \({\text {UMD}}\) stands for unconditional martingale differences, if for all \(p \in (1,\infty )\), all X-valued \(L^p\)-martingale difference sequences \((d_i)_{i=1}^N\) and all choices of fixed signs \(\epsilon _i \in \{-1,1\}\) we have
The \(L^p(X)\)-norm is with respect to the measure space where the martingale differences are defined.
A standard property of \({\text {UMD}}\) spaces is that if (3.4) holds for one \(p_0\in (1,\infty )\) it holds for all \(p \in (1, \infty )\) [20, Theorem 4.2.7]. Moreover, if X is \({\text {UMD}}\) then so is the dual space \(X^*\) [20, Proposition 4.2.17]. Importantly, \({\text {UMD}}\) spaces have non-trivial type and a finite cotype.
Stein’s inequality says that for a \({\text {UMD}}\) space X we have
This \({\text {UMD}}\)-valued version of Stein’s inequality is by Bourgain, for a proof see e.g. Theorem 4.2.23 in the book [20].
We now introduce some definitions related to the so called decoupling estimate. For \(K \in {{\mathcal {D}}}\) denote by \(Y_{K}\) the measure space \((K, \text {Leb}(K), \nu _{K})\). Here \(\text {Leb}(K)\) is the collection of Lebesgue measurable subsets of K and \( \nu _K=\,\mathrm {d}x \lfloor K/|K|\), where \(\,\mathrm {d}x \lfloor K\) is the d-dimensional Lebesgue measure restricted to K. We then define the product probability space
If \(y \in Y\) and \(K \in {{\mathcal {D}}}\), we denote by \(y_K\) the coordinate related to \(Y_K\).
In our upcoming estimates, it will be important to separate scales using the following subgrids. For \(k \in \{0,1,\dots \}\) and \(l \in \{0, \dots , k\}\) define
The following proposition concerning decoupling is a special case of Theorem 3.1 in [17]. It is a result that can be stated in the generality of suitable filtrations, but we prefer to only state the following dyadic version.
Proposition 3.6
Let X be a \({\text {UMD}}\) space, \(p \in (1, \infty )\), \(k \in \{0,1,\dots \}\) and \(l \in \{0, \dots , k\}\). Suppose \(f_K\), \(K \in {{\mathcal {D}}}_{k,l}\), are functions such that
-
(1)
\(f_K = 1_K f_K\),
-
(2)
\(\int f_K = 0\) and
-
(3)
\(f_K\) is constant on those \(K' \in {{\mathcal {D}}}_{k,l}\) for which \(K' \subsetneq K\).
Then we have
where the implicit constant is independent of k, l.
Hilbert spaces are the only Banach spaces with both type 2 and cotype 2. Below we will prove estimates for modified shifts like
where the \({\text {UMD}}\) space X has type r and cotype q. Therefore, in the Hilbert space case—and thus in the scalar-valued case—these estimates recover the best possible regularity \(\alpha =1/2\). The presented estimates are efficient in completely general \({\text {UMD}}\) spaces—however, in \({\text {UMD}}\) function lattices it is more efficient to mimic the scalar-valued theory (Proposition 2.13) and use square function estimates instead.
3.2 The Linear Case
We feel that it is too difficult to jump directly into the multilinear estimates, as they are quite involved. Thus, we first study the linear case. We show that the framework of modified dyadic shifts gives a modern and convenient proof of the results of Figiel [11, 12] concerning \({\text {UMD}}\)-extensions of CZOs with mild kernel regularity.
Before moving to the main X-valued estimate for \(Q_k\), we state the following result for paraproducts. We have
whenever \(p \in (1,\infty )\) and X is \({\text {UMD}}\). We understand that this is usually attributed to Bourgain – in any case, a simple proof can now be found in [17].
Remark 3.9
The estimate in Proposition 3.10 below is best used for \(p=2\), since then e.g. \(\min (r,p) = r\), if \(r \in (1, 2]\) is an exponent such that X has type r. Indeed, it is efficient to only move the \(p=2\) estimate for the CZO T, and then interpolate to get the \(L^p\) boundedness under a modified Dini type assuption that is independent of p. On the \(Q_k\) level improving an \(L^2\) estimate into an \(L^p\) estimate with good dependency on the complexity does not seem so simple. Interpolation would introduce some additional complexity dependency, since the weak (1, 1) inequality of \(Q_k\) is not complexity free.
Proposition 3.10
Let \(p \in (1,\infty )\) and X be a \({\text {UMD}}\) space. If \(Q_k\) is a modified shift of the form (2.10), then
where \(r \in (1, 2]\) is an exponent such that X has type r. If \(Q_k\) is a modified shift of the form (2.9), we have
where \(q \in [2, \infty )\) is an exponent such that X has cotype q.
Proof
We assume that \(Q_k\) has the form (2.10)—the other result follows by duality. This uses that if the \({\text {UMD}}\) space X has cotype q, then the dual space \(X^*\) has type \(q'\)—see [21, Proposition 7.4.10].
If \(K \in {{\mathcal {D}}}\) we define
Recall the lattices \({{\mathcal {D}}}_{k,l}\) from (3.5) and write \(Q_k f = \sum _{l=0}^k \sum _{K \in {{\mathcal {D}}}_{k,l}} B_K f\). By using the \({\text {UMD}}\) property of X and the Kahane–Khintchine inequality we have for all \(s \in (0,\infty )\) that
We use this with the choice \(s := \min (r,p)\), since \(L^p(X)\) has type s. Using this we have
To end the proof, it remains to show that
uniformly on l.
We have that \(\langle f, H_{I,J} \rangle = \langle P_{K,k} f, H_{I,J} \rangle \) and so
Accordingly, this splits the estimate of (3.11) into two parts.
We consider first the part related to \(\langle P_{K,k}f, 1_I H_{I,J} \rangle \). By the \({\text {UMD}}\) property and the Kahane–Khintchine inequality we have
Notice then that for
we have
Using this we have by Hölder’s inequality (recalling that \(\nu \) is a probability measure) that
Notice now that \(|a_K(x,y)| \le 1_K(x)\). Thus, the Kahane contraction principle implies that for fixed x and y there holds that
Using this we are left with
where we used the decoupling estimate (3.7) and noticed that \(\sum _{K \in {{\mathcal {D}}}_{k,l}} P_{K,k}f = f\).
We turn to the part related to the terms \(\langle P_{K,k}f, 1_J H_{I,J} \rangle \). We begin with
where we used the \({\text {UMD}}\) property to introduce the random signs and then the fact that we can clearly replace \(h_J\) by \(|h_J| = 1_J / |J|^{1/2}\) due to the random signs (the relevant random variables are identically distributed). We write the inner sum as
Notice also that
We continue from (3.13). Applying Stein’s inequality we get that the last term in (3.13) is dominated by
where we used the Kahane contraction principle. From here the estimate is easily concluded by
Here we first changed the indexing of the random signs (using that for a fixed x for every K there is at most one J as in the sum for which \(1_J(x) \ne 0\)) and then applied the \({\text {UMD}}\) property. This finishes the proof. \(\square \)
Theorem 3.14
Let T be a linear \(\omega \)-CZO and X be a \({\text {UMD}}\) space with type \(r \in (1,2]\) and cotype \(q \in [2, \infty )\). If \(\omega \in {\text {Dini}}_{1 / \min (r, q')}\), we have
for all \(p \in (1,\infty )\).
Proof
Apply Theorem 2.26 to simple vector-valued functions. By Proposition 3.10 and the X-valued boundedness of the paraproducts (3.8) we conclude that
As the weak type (1, 1) follows from this even with just the assumption \(\omega \in {\text {Dini}}_{0}\), we can conclude the proof by the standard interpolation and duality method. \(\square \)
3.3 The Multilinear Case
Let \((X_1, \ldots , X_{n+1})\) be \({\text {UMD}}\) spaces and \(Y_{n+1}^* = X_{n+1}\). Assume that there is an n-linear mapping \(X_1 \times \cdots \times X_n \rightarrow Y_{n+1}\), which we denote with the product notation \((x_1, \ldots , x_n) \mapsto \prod _{j=1}^n x_j\), so that
With just this setup it makes sense to extend an n-linear SIO (or some other suitable n-linear operator) T using the formula
In the bilinear case \(n=2\) the existence of such a product is the only assumption that we will need. The bilinear case is somewhat harder than the linear case, but the \(n \ge 3\) case is by far the most subtle. Indeed, for \(n \ge 3\) we will need a more complicated setting for the tuple of spaces \((X_1, \ldots , X_{n+1})\)—the idea is to model the Hölder type structure typical of concrete examples of Banach n-tuples, such as that of non-commutative \(L^p\) spaces with the exponents p satisfying the natural Hölder relation. We will borrow this setting from [9]. In [9] it is shown in detail how natural tuples of non-commutative \(L^p\) spaces fit to this abstract framework. While we borrow the setting, the proof is significantly different. First, we have to deal with the more complicated modified shifts. Second, even in the standard shift case the proof in [9] is—by its very design—extremely costly on its complexity dependency. To circumvent this we need a new strategy.
For \(m \in {\mathbb {N}}\) we write \({{\mathcal {J}}}_m:= \{1, \dots , m\}\) and denote the set of permutations of \({\mathcal {J}}\subset {\mathcal {J}}_m\) by \(\Sigma ({\mathcal {J}})\). We write \(\Sigma (m) = \Sigma ({{\mathcal {J}}}_m)\).
Next, we fix an associative algebra \({\mathcal {A}}\) over \({\mathbb {C}}\), and denote the associative operation \({\mathcal {A}} \times {\mathcal {A}} \rightarrow {\mathcal {A}}\) by \( (e,f)\mapsto ef\). We assume that there exists a subspace \({\mathcal {L}}^1 \) of \({\mathcal {A}}\) and a linear functional \(\tau :{\mathcal {L}}^1\rightarrow {\mathbb {C}}\), which we refer to as trace. Given an m-tuple \((X_1,\ldots , X_m)\) of Banach subspaces \(X_j \subset {\mathcal {A}}\), we construct the seminorm
on the subspace
For a Banach subspace \(X \subset {\mathcal {A}}\) and \(y \in Y(X)\) we can define the mapping \(\Lambda _y \in X^*\) by the formula \(\Lambda _y(x) := \tau (yx)\), since by the definition \(yx \in {\mathcal {L}}^1\) and \(|\tau (yx)| \le |y|_{Y(X)} |x|_X\). We say that a Banach subspace X of \({\mathcal {A}} \) is admissible if the following holds.
-
1.
Y(X) is a Banach space with respect to \(| \cdot |_{Y(X)}\).
-
2.
The mapping \(y \mapsto \Lambda _y\) from Y(X) to \(X^*\) is surjective.
-
3.
For each \(x \in X, \ y\in Y(X)\), we also have \(xy\in {\mathcal {L}}^1\) and
$$\begin{aligned} \tau (xy)=\tau (yx). \end{aligned}$$(3.18)
If X is admissible, then the map \(y \mapsto \Lambda _y\) is an isometric bijection from Y(X) onto \(X^*\), and we identify Y(X) with \(X^*\). The following is [9, Lemma 3.10].
Lemma 3.19
Let X be admissible and reflexive (for instance, X is admissible and \({\text {UMD}}\)). If Y(X) is also admissible, then \(Y(Y(X))=X\) as sets and \(|x|_{Y(Y(X))}= |x |_X\) for all \(x \in X\).
If \(X, X_1, \dots , X_m\) are Banach spaces we write \(X=Y(X_1, \dots , X_m)\) to mean that X and \(Y(X_1, \dots , X_m)\) coincide as sets, \(Y(X_1, \dots , X_m)\) is a Banach space with the norm \(| \cdot |_{Y(X_1, \dots , X_m)}\), and that the norms are equivalent, that is, \(|x|_X \sim |x|_{Y(X_1, \dots , X_m)}\) for all \(x \in X\).
Definition 3.20
Let \(X_1\), \(X_2\) be admissible spaces. We say that \(\{X_1,X_2\}\) is a \({\text {UMD}}\) Hölder pair if \(X_1\) is a \({\text {UMD}}\) space and \(X_2={Y(}X_1)\).
Definition 3.21
Let \(X_1,\ldots , X_m\) be admissible spaces. We say that \(\{X_1,\ldots , X_{m}\}\) is a \({\text {UMD}}\) Hölder m-tuple if the following properties hold.
P1. For all \(j_0\in {\mathcal {J}}_m\) there holds
P2. If \(1\le k \le m-2\) and \(\mathcal J=\{j_1<j_2<\cdots <j_k\}\subset {\mathcal {J}}_m\), then \(Y(X_{j_1}, \dots , X_{j_k})\) is an admissible Banach space with the norm (3.16) and
is a \({\text {UMD}}\) Hölder \((k+1)\)-tuple.
The following is a key consequence of the definition. Let \(m \ge 3\) and \(\{X_1,\ldots , X_{m}\}\) be a \({\text {UMD}}\) Hölder m-tuple. Then according to P2 the pair \(\{X_{j_0},{Y(}X_{j_0})\}\) is a \({\text {UMD}}\) Hölder pair, which by Definition 3.20 implies that \(X_{j_0}\) and \(Y(X_{j_0})\) are \({\text {UMD}}\) spaces. The inductive nature of the definition then ensures that each \(Y(X_{j_1}, \dots , X_{j_k})\) appearing in (3.22) is a \({\text {UMD}}\) space.
Notice also the following. Let \(m \ge 2\) and \(\{X_1, \dots , X_m\}\) be a \({\text {UMD}}\) m-Hölder tuple. Let \(e_j \in X_j\) for \(j \in {{\mathcal {J}}}_{m}\). For each \(\sigma \in \Sigma (m)\), as \(X_{\sigma (1)}=Y(X_{\sigma (2)}, \dots , X_{\sigma (m)})\), we necessarily have \(\prod _{j=1}^{m} e_{\sigma (j)} \in {{\mathcal {L}}}^1\) and
Moreover, by (3.18) we have
We have the following Hölder type inequality.
Lemma 3.24
Let \(\{X_1,\ldots , X_{m}\}\) be a \({\text {UMD}}\) Hölder tuple. Then we have
Proof
To estimate \(|ev|_{Y(X_{m})}\) we need to estimate
with an arbitrary \(e_m\) with \(|e_m|_{X_m} = 1\). First, we bound this with
To estimate \( |ve_m |_{Y(X_1, \ldots , X_k)}\) we need to estimate
with arbitrary \(|u_j|_{X_j} = 1\) and \(\sigma _1 \in \Sigma (k)\). We estimate this with
To estimate \(| e_m u_{\sigma _1(1)} \cdots u_{\sigma _1(k)})|_{Y(X_{k+1}, \ldots , X_{m-1})}\) we need to estimate
with an arbitrary permutation \(\sigma _2\) of \(\{k+1, \ldots , m-1\}\) and \(|u_j|_{X_j} = 1\). Finally, we estimate this with
\(\square \)
In all of the statements below an arbitrary \({\text {UMD}}\) Hölder tuple \(\{X_1,\ldots , X_{n+1}\}\) is given.
Proposition 3.25
Suppose that \(Q_k\) is an n-linear modified shift and \(f_j :{\mathbb {R}}^d \rightarrow X_j\). Let \(1< p_j < \infty \) with \(\sum _{j=1}^{n+1} 1/p_j = 1\). Then we have
where
and \(X_j\) has cotype \(s_j\).
Proof
We will assume that \(Q_k\) is of the form (2.6)—the other cases follow by duality using the property (3.23). We follow the ideas of the decomposition from the proof of Lemma 2.18: we will estimate the terms \(A_m\) and \(U_m\), \(m \in \{1, \ldots , n\}\), from there separately.
First, we estimate the part \(A_m\) defined in (2.21). We have that
where
and
Here we have the normalization
Recall the grids \({{\mathcal {D}}}_{k,l}\), \(l \in \{0,1, \dots , k\}\), from (3.5). Let
Recalling that \(X_{n+1}^*\) is identified with \(Y(X_{n+1})\), we have that \(L^{p_{n+1}'}(Z_{1, \ldots , n})\) has type \(s:=\min (p_{n+1}', s_{n+1}')\). Thus, there holds that
In the first step we used the \({\text {UMD}}\) property of \(Z_{1, \ldots , n}\) and the Kahane–Khintchine inequality. We see that to prove the claim it suffices to show the uniform bound
We turn to prove (3.28). To avoid confusion with the various Y spaces, we denote the decoupling space by \((W, \nu )\) in this proof. The decoupling estimate (3.7) gives that the left hand side of (3.28) is comparable to
Suppose that \(m>1\); if \(m=1\) one can start directly from (3.31) below. Now, with a fixed \(w \in W\) can use Stein’s inequality with respect to the function \(f_1\) to have that the previous term is dominated by
To move forward, notice that by Lemma 3.24 we have
where \(Z_{2, \ldots , n} = Y(Y(X_2, \ldots , X_n))\). Having established (3.30) we can now dominate (3.29) with
where \(q_{2, \ldots n}\) is defined by \(1/q_{2, \ldots , n}= \sum _{j=2}^{n} 1/p_j\). We can continue this process. In the next step we argue as above but using the Hölder tuple \((X_2, \ldots , X_n, Y(X_2, \ldots , X_n))\). Below we write \(Z_{k_1, \ldots , k_2} = Y(Y(X_{k_1}, \ldots , X_{k_2}))\) and \(1/q_{k_1, \ldots , k_2} = \sum _{j=k_1}^{k_2} 1/p_j\). Iterating this we arrive at \(\prod _{j=1}^{m-1} \Vert f_j\Vert _{L^{p_j}(X_j)}\) multiplied by
We assume that \(m<n\); if \(m=n\) one is already at (3.35) below. Let \(K \in {{\mathcal {D}}}_{k,l}\). We define the kernel
so that
Using this representation in (3.31) we can use Stein’s inequality with respect to the function \(f_n\) to have that the term in (3.31) is dominated by
which is (again by Lemma 3.24) dominated by \(\Vert f_n \Vert _{L^{p_n}(X_n)}\) multiplied with
Next, we fix the point \(w \in W\) and consider the term
To finish the estimate of (3.31) it is enough to dominate (3.33) by \(\prod _{j=m}^{n-1} \Vert f_j \Vert _{L^{p_j}(X_j)}^{q_{m, \ldots , n-1}}\) uniformly in \(w \in W\). Recalling (3.32) we can write (3.33) as
which is further comparable to
In the last step we were able to replace \(1_{I_n} / |I_n|^{1/2}\) with \(h_{I_n}\) because of the random signs, after which we removed the signs using \({\text {UMD}}\). Recalling the size of the coefficients \(b_{m,K, (I_j)}\) from (3.26) we see that
since there is only one \(I_{n+1}\) such that \(h_{I_{n+1}}(w_K) \not =0\). It is seen that after applying decoupling (3.34) is like (3.31) but the degree of linearity is one less. Therefore, iterating this we see that (3.33) satisfies the desired bound if we can estimate
where
by \(\Vert f_m\Vert _{L^{p_m}(X_m)}^{p_m}\). This is a linear estimate and bounded exactly like the right hand side of (3.12). Therefore, we get the desired bound \(\Vert f_m\Vert _{L^{p_m}(X_m)}^{p_m}\). This finally finishes our estimate for the term \(A_m\).
We turn to estimate the parts \(U_m\) from (2.24). Recall that \(U_m(f_1,\dots , f_n)\) is by definition
Similarly as with the operators \(A_m\), we use the fact that \(L^{p_{n+1}'}(Z_{1, \ldots , n})\) has type \(s =\min (p_{n+1}', s_{n+1}')\) to reduce to controlling the term
uniformly on l. For every \(I_{n+1}\) such that \(I_{n+1}^{(k)}=K\) there holds that
Therefore, using the \({\text {UMD}}\) property and the Kahane contraction principle the \(L^{p_{n+1}'}(Z_{1, \ldots , n})\)-norm of (3.36) is dominated by
If all the averages were on the “level \(i+1\)” we could estimate this directly. Since there are the averages on the “level i” we need to further split this. There holds that
Then, both of these are expanded in the same way related to \(f_{m+2}\) and so on. This gives that
Here the summation is over functions \(\varphi :\{m+1, \dots , n\} \rightarrow \{0,1\}\) and for a cube \(I \in {{\mathcal {D}}}\) we defined \(D_I^0=E_I\) and \(D^1_I=\Delta _I\). We also used the fact that \(\langle \Delta _{I^{(i+1)}} f_j \rangle _{I^{(i)}}1_{I}= \Delta _{I^{(i+1)}} f_j 1_{I}\).
Finally, we take one \(\varphi \) and estimate the related term. It can be written as
If \(\varphi (j)=0\) for all \(j=m+1, \dots , n\), then this can be estimated by a repeated use of Stein’s inequality (similarly as above) related to the functions \(f_j\), \(j \not =m\).
Suppose that \(\varphi (j) \not =0\) for some j. Notice that
Therefore, by Lemma 3.24 the term in (3.37) is dominated by
multiplied by
The term in (3.38) can be estimated by a repeated use of Stein’s inequality. The term in (3.39) is like the term in (3.37). If there is only one martingale difference, then we can again estimate directly with Stein’s inequality. If there is at least two martingale differences, then one can split into two as we did when we arrived at (3.38) and (3.39). This process is continued until one ends up with terms that contain only one martingale difference, and such terms we can estimate.
The proof of Proposition 3.25 is finished. \(\square \)
With the essentially same proof as for the terms \(A_m\) above we also have the following result.
Proposition 3.40
Suppose that \(S_{k, \ldots , k}\) is an n-linear shift of complexity \((k, \ldots , k)\) and \(f_j :{\mathbb {R}}^d \rightarrow X_j\). Let \(1< p_j < \infty \) with \(\sum _{j=1}^{n+1} 1/p_j = 1\). Then we have
where
and \(X_j\) has cotype \(s_j\).
Remark 3.41
Ordinary shifts obey a complexity free bound in the scalar-valued setting. However, we do not know how to achieve this with general \({\text {UMD}}\) spaces. It seems that a somewhat better dependency could be obtained, but it would not have any practical use.
The following is [9, Theorem 5.3]. This is a significantly simpler argument than the shift proof and consists of repeated use of Stein’s inequality until one is reduced to the linear case (3.8).
Proposition 3.42
Suppose that \(\pi \) is an n-linear paraproduct and \(f_j :{\mathbb {R}}^d \rightarrow X_j\). Let \(1< p_j < \infty \) with \(\sum _{j=1}^{n+1} 1/p_j = 1\). Then we have
Finally, we are ready to state our main result concerning the \({\text {UMD}}\) extensions of n-linear \(\omega \)-CZOs.
Theorem 3.43
Suppose that T is an n-linear \(\omega \)-CZO. Suppose \(\omega \in {\text {Dini}}_{\alpha }\), where
and \(X_j\) has cotype \(s_j\). Then for all exponents \(1 < p_1, \ldots , p_n \le \infty \) and \(1 / q_{n+1} = \sum _{j=1}^n 1/p_j > 0\) we have
Proof
The important part is to establish the boundedness with a single tuple of exponents. We may e.g. conclude from the boundedness of the model operators and Theorem 2.26 that
if we choose \(\alpha \) as in the statement of the theorem. It is completely standard how to improve this to cover the full range: we can e.g. prove the end point estimate \(T:L^1(X_1) \times \cdots \times L^1(X_n) \rightarrow L^{1/n, \infty }(X_{n+1}^*)\), see [26], and then use interpolation or good-\(\lambda \) methods. See e.g. [15, 27]. For such arguments the spaces \(X_j\) no longer play any role (the scalar-valued proofs can readily be mimicked). \(\square \)
Remark 3.44
The exponent \((n+1)/n\) in the definition of \(\alpha \) is slightly annoying, since now the exponent \(\alpha = 1/2\) valid in the scalar-valued case \(X_1 = \cdots = X_{n+1} = {\mathbb {C}}\) does not follow from this result, even though then \(s_{1}' = \cdots = s_{n+1}' = 2\). Of course, it is way more simple to prove scalar-valued estimates directly with other methods anyway (see Sect. 2.1).
Notice that it is also clear that \({\text {Dini}}_{1/2}\) suffices in suitable tuples \((X_1, \ldots , X_{n+1})\) of \({\text {UMD}}\) function lattices. See e.g. [22, Sects. 2.10–2.12] for an account of the well-known square function and maximal function estimates valid in lattices. In lattices the simple approach of Sect. 2.1 is much better, as then in addition to the factor \((n+1)/n\) we often have \(s_j' < 2\).
In interesting and non-trivial situations the presence of \((n+1)/n\) is not an additional restriction. Suppose each space \(X_j\) is a non-commutative \(L^p\) space \(L^{p_j}(M)\) and \(\sum _{j=1}^{n+1} 1/p_j = 1\), \(1< p_j < \infty \). Then the cotype of \(X_j\) is \(s_j = \max (2, p_j) \ge p_j\) so that
and so there has to be an index j so that \(s_j' \le (n+1)/n\) anyway – thus \(\min ( (n+1)/n, s_{1}', \ldots , s_{n+1}') = \min (s_{1}', \ldots , s_{n+1}')\).
References
Bourgain, J.: Some remarks on Banach spaces in which martingale difference sequences are unconditional. Ark. Mat. 21, 163–168 (1983)
Burkholder, D.L.: A geometric condition that implies the existence of certain singular integrals of Banach-space-valued functions, 1983, Conference on harmonic analysis in honor of Antoni Zygmund, Vol. I, II (Chicago, Ill., 1981), Wadsworth Math. Ser., Wadsworth, Belmont, CA, 270–286
Coifman, R.R., Meyer, Y.: Au delà des opérateurs pseudo-différentiels Astérisque. Société Mathématique de France, Paris (1978)
Culiuc, A., Di Plinio, F., Ou, Y.: Domination of multilinear singular integrals by positive sparse forms. J. Lond. Math. Soc. 98(2), 369–392 (2018). https://doi.org/10.1112/jlms.12139
David, G., Journé, J.-L.: A boundedness criterion for generalized Calderón–Zygmund operators. Ann. Math. (2) 120, 371–397 (1984). https://doi.org/10.2307/2006946
Deng, D., Yan, L., Yang, Q.: Blocking analysis and \(T(1)\) theorem: ISSN1006-9283. Sci. China Ser. A 41(8), 801–808 (1998). https://doi.org/10.1007/BF02871663
Di Plinio, F., Ou, Y.: Banach-valued multilinear singular integrals. Indiana Univ. Math. J. 67(5), 1711–1763 (2018). https://doi.org/10.1512/iumj.2018.67.7466
Di Plinio, F., Li, K., Martikainen, H., Vuorinen, E.: Multilinear operator-valued Calderón–Zygmund theory. J. Funct. Anal. 279(8), 108666 (2020). https://doi.org/10.1016/j.jfa.2020.108666
Di Plinio, F., Li, K., Martikainen, H., Vuorinen, E.: Multilinear singular integrals on non-commutative \({L}^p\) spaces. Math. Ann. 378(3–4), 1371–1414 (2020). https://doi.org/10.1007/s00208-020-02068-4
Di Plinio, F., Li, K., Martikainen, H., Vuorinen, E.: Banach-valued multilinear singular integrals with modulation invariance. Int. Math. Res. Not. IMRN 7, 5256–5319 (2022). https://doi.org/10.1093/imrn/rnaa234
Figiel, T.: On equivalence of some bases to the Haar system in spaces of vector-valued functions. Bull. Polish Acad. Sci. Math. 36(3–4), 119–131 (1988)
Figiel, T.: Singular Integral Operators: A Martingale Approach. Geometry of Banach Spaces (Strobl, 1989). Lecture Note Ser, vol. 158, pp. 95–110. Cambridge Univ. Press, Cambridge pp (1990)
Grafakos, L., Martell, J.M.: Extrapolation of weighted norm inequalities for multivariable operators and applications. J. Geom. Anal. 14(1), 19–46 (2004). https://doi.org/10.1007/BF02921864
Grafakos, L., Oh, S.: Kato-Ponce, the inequality. Commun. Partial Differ. Equ. 39(6), 1128–1157 (2014). https://doi.org/10.1080/03605302.2013.822885
Grafakos, L., Torres, R.H.: Calderón–Zygmund, multilinear, theory. Adv. Math. 165(1), 124–164 (2002)
Grau de la Herrán, A., Hytönen, T.: Dyadic representation and boundedness of nonhomogeneous Calderón–Zygmund operators with mild kernel regularity. Michigan Math. J. 67(4), 757–786 (2018). https://doi.org/10.1307/mmj/1531447374
Hänninen, T.S., Hytönen, T.P.: Operator-valued dyadic shifts and the \(T(1)\) theorem. Monatsh. Math. 180(2), 213–253 (2016). https://doi.org/10.1007/s00605-016-0891-3
Hytönen, T.: Representation of singular integrals by dyadic operators, and the \(A_2\) theorem. Expo. Math. 35, 166–205 (2011)
Hytönen, T.P.: The sharp weighted bound for general Calderón–Zygmund operators. Ann. Math. (2) 175(5), 1473–1506 (2012)
Hytönen, T., van Neerven, J., Veraar, M., Weis, L.: Analysis in Banach spaces, vol. I. Springer-Verlag, Martingales and Littlewood-Paley theory (2016)
Hytönen, T., van Neerven, J., Veraar, M., Weis, L.: Analysis in Banach spaces, vol. II. Springer-Verlag, Probabilistic methods and operator theory (2017) https://doi.org/10.1007/978-3-319-69808-3
Hytönen, T., Martikainen, H., Vuorinen, E.: Multi-parameter estimates via operator-valued shifts. Proc. Lond. Math. Soc. 119(6), 1560–1597 (2019)
Kato, T., Ponce, G.: Commutator estimates and the Euler and Navier–Stokes equations. Commun. Pure Appl. Math. 41(7), 891–907 (1988). https://doi.org/10.1002/cpa.3160410704
Li, K., Martell, J.M., Ombrosi, S.: Extrapolation for multilinear Muckenhoupt classes and applications. Adv. Math. 373, 107286 (2020). https://doi.org/10.1016/j.aim.2020.107286
Li, K., Martell, J.M., Martikainen, H., Ombrosi, S., Vuorinen, E.: End-point estimates, extrapolation for multilinear Muckenhoupt classes, and applications. Trans. Am. Math. Soc. 374(1), 97–135 (2021). https://doi.org/10.1090/tran/8172
Lu, G., Zhang, P.: Calderón–Zygmund, multilinear, operators with kernels of Dini’s type and applications. Nonlinear Anal. 107, 92–117 (2014). https://doi.org/10.1016/j.na.2014.05.005
Martikainen, H., Vuorinen, E.: Dyadic-probabilistic methods in bilinear analysis. Mem. Am. Math. Soc. 274, 1344 (2021)
Nieraeth, Z.: Quantitative estimates and extrapolation for multilinear weight classes. Math. Ann. 375(1–2), 453–507 (2019). https://doi.org/10.1007/s00208-019-01816-5
Petermichl, S.: The sharp bound for the Hilbert transform on weighted Lebesgue spaces in terms of the classical \({A}_p\) characteristic. Am. J. Math. 129(5), 1355–1375 (2007)
Acknowledgements
We thank Tuomas Hytönen and Kangwei Li for useful discussions.
Funding
Open Access funding provided by University of Helsinki including Helsinki University Central Hospital.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Arpad Benyi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
H.M. was supported by the Academy of Finland through the Grant Nos. 294840 and 327271, and by the 3-year research Grant 75160010 of the University of Helsinki. E.A. and E.V. were supported by the Academy of Finland through the Grant 327271. All are members of the Finnish Centre of Excellence in Analysis and Dynamics Research supported by the Academy of Finland (Project No. 307333)
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
Airta, E., Martikainen, H. & Vuorinen, E. \({\text {UMD}}\)-Extensions of Calderón–Zygmund Operators with Mild Kernel Regularity. J Fourier Anal Appl 28, 64 (2022). https://doi.org/10.1007/s00041-022-09960-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-022-09960-4