Fourier Multiplier Theorems Involving Type and Cotype

Jan Rozendaal; Mark Veraar

doi:10.1007/s00041-017-9532-z

Journal of Fourier Analysis and Applications

April 2018, Volume 24, Issue 2, pp 583–619 | Cite as

Fourier Multiplier Theorems Involving Type and Cotype

Authors
Authors and affiliations

Jan Rozendaal
Mark Veraar

Open Access

Article

First Online: 01 March 2017

5 Shares
795 Downloads
2 Citations

Abstract

In this paper we develop the theory of Fourier multiplier operators $T_{m}:L^{p}({\mathbb R}^{d};X)\rightarrow L^{q}({\mathbb R}^{d};Y)$, for Banach spaces X and Y, $1\le p\le q\le \infty $ and $m:{\mathbb R}^d\rightarrow \mathcal {L}(X,Y)$ an operator-valued symbol. The case $p=q$ has been studied extensively since the 1980s, but far less is known for $p<q$. In the scalar setting one can deduce results for $p<q$ from the case $p=q$. However, in the vector-valued setting this leads to restrictions both on the smoothness of the multiplier and on the class of Banach spaces. For example, one often needs that X and Y are UMD spaces and that m satisfies a smoothness condition. We show that for $p<q$ other geometric conditions on X and Y, such as the notions of type and cotype, can be used to study Fourier multipliers. Moreover, we obtain boundedness results for $T_m$ without any smoothness properties of m. Under smoothness conditions the boundedness results can be extrapolated to other values of p and q as long as $\tfrac{1}{p}-\tfrac{1}{q}$ remains constant.

Keywords

Operator-valued Fourier multipliers Type and cotype Fourier type Hörmander condition $\gamma $-boundedness

Mathematics Subject Classification

Primary: 42B15 Secondary: 42B35 46B20 46E40 47B38

1 Introduction

Fourier multiplier operators play a major role in analysis and in particular in the theory of partial differential equations. Such operators are of the form

$$\begin{aligned} T_{m}(f) = {\mathcal {F}}^{-1} (m {\mathcal {F}}f), \end{aligned}$$

where ${\mathcal {F}}$ denotes the Fourier transform and m is a function on ${\mathbb {R}^{d}}$. Usually one is interested in the boundedness of $T_m:L^{p}({\mathbb {R}^{d}})\rightarrow L^{q}({\mathbb {R}^{d}})$ with $1\le p\le q\le \infty $ (the case $p>q$ is trivial by [27, Theorem 1.1]). The class of Fourier multiplier operators coincides with the class of singular integral operators of convolution type $f\mapsto K*f$, where K is a tempered distribution.

The simplest class of examples of Fourier multipliers can be obtained by taking $p=q=2$. Then $T_m$ is bounded if and only if $m\in L^{\infty }({\mathbb {R}^{d}})$, and $\Vert T_m\Vert _{{\mathcal {L}}(L^{2}({\mathbb {R}^{d}}))} = \Vert m\Vert _{L^{\infty }({\mathbb {R}^{d}})}$. For $p=q=1$ and $p=q=\infty $ one obtains only trivial multipliers, namely Fourier transforms of bounded measures. The case where $p=q\in (1, \infty )\setminus \{2\}$ is highly nontrivial. In general only sufficient conditions on m are known that guarantee that $T_m$ is bounded, although also here it is necessary that $m\in L^{\infty }({\mathbb {R}^{d}})$.

In the classical paper [27] Hörmander studied Fourier multipliers and singular integral operators of convolution type. In particular, he showed that if $1<p\le 2\le q<\infty $, then

$$\begin{aligned} T_m:L^{p}({\mathbb {R}^{d}})\rightarrow L^{q}({\mathbb {R}^{d}}) \text { is bounded if } m\in L^{r,\infty }({\mathbb {R}^{d}})\text { with }\tfrac{1}{r} = \tfrac{1}{p}-\tfrac{1}{q}. \end{aligned}$$

(1.1)

Here $L^{r,\infty }({\mathbb {R}^{d}})$ denotes the weak $L^r$-space. In particular, every m with $|m(\xi )|\le C|\xi |^{-d/r}$ satisfies $m\in L^{r,\infty }({\mathbb {R}^{d}})$. It was also shown that the condition $p\le 2\le q$ is necessary here. More precisely, if there exists a function F such that $\{F>0\}$ has nonzero measure and for all $m:{\mathbb R}^d\rightarrow {\mathbb R}$ with $|m|\le |F|$, $T_m:L^{p}({\mathbb {R}^{d}})\rightarrow L^{q}({\mathbb {R}^{d}}) $ is bounded, then $p\le 2\le q$.

Hörmander also introduced an integral/smoothness condition on the kernel K which allows one to extrapolate the boundedness of $T_{m}$ from $L^{p_0}({\mathbb {R}^{d}})$ to $L^{q_0}({\mathbb {R}^{d}})$ for some $1<p_{0}\le q_{0}<\infty $ to boundedness of $T_{m}$ from $L^{p}({\mathbb {R}^{d}})$ to $L^{q}({\mathbb {R}^{d}})$ for all $1<p\le q<\infty $ satisfying $\tfrac{1}{p} - \tfrac{1}{q} = \tfrac{1}{p_0} - \tfrac{1}{q_0}$. This led to extensions of the theory of Calderón and Zygmund in [13]. In the case $p_0 = q_0$ it was shown that the smoothness condition on the kernel K can be translated to a smoothness condition on the multiplier m which is strong enough to deduce the classical Mihlin multiplier theorem. From here the field of harmonic analysis has quickly developed itself and this development is still ongoing. We refer to [23, 24, 35, 53] and references therein for a treatment and the history of the subject.

In the vector-valued setting it was shown in [6] that the extrapolation results of Hörmander for $p=q$ still holds. However, there is a catch:

even for $p=q=2$ one does not have $T_m\in {\mathcal {L}}(L^{2}({\mathbb {R}^{d}};X))$ for general $m\in L^{\infty }({\mathbb {R}^{d}})$ unless X is a Hilbert space.

In [12] it was shown that $T_m\in {\mathcal {L}}(L^{p}({\mathbb R}^d;X))$ for $m(\xi ) := \text {sign}(\xi )$ if X satisfies the so-called UMD condition. In [10] it was realized that this yields a characterization of the UMD property. In [11, 42, 63] versions of the Littlewood–Paley theorem and the Mihlin multiplier theorem were established in the UMD setting. These are very useful for operator theory and evolution equations (see for example [18]).

In the vector-valued setting it is rather natural to allow m to take values in the space ${\mathcal {L}}(X,Y)$ of bounded operators from X to Y. Pisier and Le Merdy showed that the natural analogues of the Mihlin multiplier theorem do not extend to this setting unless X has cotype 2 and Y has type 2 (a proof was published only later on in [4]). On the other hand there was a need for such extensions as it was realized that multiplier theorems with operator-valued symbols are useful in the stability theory and the regularity theory for evolution equations (see [2, 26, 61]). The missing ingredient for a natural analogue of the Mihlin multiplier theorem turned out to be R-boundedness, which is a strengthening of uniform boundedness (see [9, 14]). In [62] it was shown that Mihlin’s theorem holds for $m:{\mathbb R}\rightarrow {\mathcal {L}}(X)$ if the sets

$$\begin{aligned} \left\{ m(\xi )\mid \xi \in {\mathbb R}\setminus \{0\}\right\} \ \text {and} \ \left\{ \xi m'(\xi )\mid \xi \in {\mathbb R}\setminus \{0\}\right\} \end{aligned}$$

are R-bounded. Conversely, the R-boundedness of $\left\{ m(\xi )\mid \xi \in {\mathbb R}\setminus \{0\}\right\} $ is also necessary. These results were used to characterize maximal $L^{p}$-regularity, and were then used by many authors in evolution equations, partial differential equations, operator theory and harmonic analysis (see the surveys and lecture notes [2, 16, 33, 37]). A generalization to multipliers on ${\mathbb R}^d$ instead of ${\mathbb R}$ was given in [25, 54], but in some cases one additionally needs the so-called property $(\alpha )$ of the Banach space (which holds for all UMD lattices). Improvements of the multiplier theorems under additional geometric assumptions have been studied in [22, 52] assuming Fourier type and in [31] assuming type and cotype conditions.

In this article we complement the theory of operator-valued Fourier multipliers by studying the boundedness of $T_{m}$ from $L^{p}({\mathbb {R}^{d}};X)$ to $L^{q}({\mathbb {R}^{d}};Y)$ for $p<q$. One of our main results is formulated under $\gamma $-boundedness assumptions on $\{|\xi |^{\frac{d}{r}} m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\}$. We note that R-boundedness implies $\gamma $-boundedness (see Subsection 2.4). The result is as follows (see Theorem 3.18 for the proof):

Theorem 1.1

Let X be a Banach space with type $p_0\in (1,2]$ and Y a Banach space with cotype $q_0\in [2,\infty )$, and let $p\in (1, p_0)$, $q\in (q_0, \infty )$. Let $r\in [1,\infty ]$ be such that $\frac{1}{r}=\frac{1}{p}-\frac{1}{q}$. If $m:{\mathbb {R}^{d}}\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ is X-strongly measurable and

$$\begin{aligned} \{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\}\subseteq {\mathcal {L}}(X,Y) \end{aligned}$$

(1.2)

is $\gamma $-bounded, then $T_{m}:L^{p}({\mathbb {R}^{d}};X)\rightarrow L^{q}({\mathbb {R}^{d}};Y)$ is bounded. Moreover, if $p_0 = 2$ (or $q_0 = 2)$, then one can also take $p = 2$ (or $q=2$).

The condition $p\le 2\le q$ cannot be avoided in such results (see below (1.1)). Note that no smoothness on m is required. Theorem 1.1 should be compared to the sufficient condition in (1.1) due to Hörmander in the case where $X=Y={\mathbb C}$. We will give an example which shows that the $\gamma $-boundedness condition (1.2) cannot be avoided in general. Moreover, we obtain several converse results stating that type and cotype are necessary.

We note that, in case m is scalar-valued and $X = Y$, the $\gamma $-boundedness assumption in Theorem 1.1 reduces to the uniform boundedness of (1.2). Even in this setting of scalar multipliers our results appear to be new.

In Theorem 3.21 we obtain a variant of Theorem 1.1 for p-convex and q-concave Banach lattices, where one can take $p = p_0$ and $q=q_0$. In [49] we will deduce multiplier results similar to Theorem 1.1 in the Besov scale, where one can let $p = p_0$ and $q=q_0$ for Banach spaces X and Y with type p and cotype q.

A vector-valued generalization of (1.1) is presented in Theorem 3.12. We show that if X has Fourier type $p_{0}>p$ and Y has Fourier type $q_{0}'>q'$, then

$$\begin{aligned} \Vert T_{m}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le C\left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r,\infty }({\mathbb {R}^{d}})}, \end{aligned}$$

where $\frac{1}{r} = \frac{1}{p} - \frac{1}{q}$. We show that in this result the Fourier type assumption is necessary. It should be noted that for many spaces (including all $L^{r}$-spaces for $r\in [1,\infty )\setminus \{2\}$), working with Fourier type yields more restrictive results in terms of the underlying parameters than working with type and cotype (see Sect. 2.2 for a discussion of the differences between Fourier type and (co)type).

The exponents p and q in Theorem 1.1 are fixed by the geometry of the underlying Banach spaces. However, Corollary 4.2 shows that under smoothness conditions on the multiplier, one can extend the boundedness result to all pairs $(\tilde{p},\tilde{q})$ satisfying $1<\tilde{p}\le \tilde{q}<\infty $ and $\frac{1}{\tilde{p}} - \frac{1}{\tilde{q}} = \frac{1}{p} - \frac{1}{q} = \frac{1}{r}$. Here the required smoothness depends on the Fourier type of X and Y and on the number $r\in (1,\infty ]$. We note that even in the case where $X=Y={\mathbb C}$, for $p<q$ we require less smoothness for the extrapolation than in the classical results (see Remark 4.4).

We will mainly consider multiplier theorems on ${\mathbb R}^d$. There are two exceptions. In Remark 3.11 we deduce a result for more general locally compact groups. Moreover, in Proposition 3.4 we show how to transfer our results from ${\mathbb R}^d$ to the torus ${\mathbb T}^d$. This result appears to be new even in the scalar setting. As an application of the latter we show that certain irregular Schur multipliers with sufficient decay are bounded on the Schatten class ${\mathscr {C}}^p$ for $p\in (1,\infty )$.

We have pointed out that questions about operator-valued Fourier multiplier theorems were originally motivated by stability and regularity theory. We have already successfully applied our result to stability theory of $C_0$-semigroups, as will be presented in a forthcoming paper [50]. In [48] the first-named author has also applied the Fourier multiplier theorems in this article to study the $\mathcal {H}^{\infty }$-calculus for generators of $C_{0}$-groups.

Other potential applications could be given to the theory of dispersive equations. For instance the classical Strichartz estimates can be viewed as operator-valued $L^{p}$-$L^{q}$-multiplier theorems. Here the multipliers are often not smooth, as is the case in our theory. More involved applications probably require extensions of our work to oscillatory integral operators, which would be a natural next step in the research on vector-valued singular integrals from $L^{p}$ to $L^{q}$.

This article is organized as follows. In Sect. 2 we discuss some preliminaries on the geometry of Banach spaces and on function space theory. In Sect. 3 we introduce Fourier multipliers and prove our main results on $L^{p}$-$L^{q}$-multipliers in the vector-valued setting. In Sect. 4 we present an extension of the extrapolation result under Hörmander–Mihlin conditions to the case $p\le q$.

1.1 Notation and Terminology

We write ${{\mathbb N}}:=\left\{ 1,2,3,\ldots \right\} $ for the natural numbers and ${{\mathbb N}}_{0}:={{\mathbb N}}\cup \left\{ 0\right\} $.

We denote nonzero Banach spaces over the complex numbers by X and Y. The space of bounded linear operators from X to Y is ${\mathcal {L}}(X,Y)$, and ${\mathcal {L}}(X):={\mathcal {L}}(X,X)$. The identity operator on X is denoted by $\mathrm {I}_{X}$.

For $p\in [1,\infty ]$ and $(\Omega ,\mu )$ a measure space, $L^{p}(\Omega ;X)$ denotes the Bochner space of equivalence classes of strongly measurable, p-integrable, X-valued functions on $\Omega $. Moreover, $L^{p,\infty }(\Omega ;X)$ is the weak $L^{p}$-space of all $f:\Omega \rightarrow X$ for which

$$\begin{aligned} \Vert f\Vert _{L^{p,\infty }(\Omega ;X)} := \sup _{\alpha >0} \alpha \lambda _f(\alpha )^{\frac{1}{p}}<\infty , \end{aligned}$$

(1.3)

where $\lambda _f(\alpha ) := \mu (\{s\in \Omega \mid \Vert f(s)\Vert _{X}>\alpha \})$ for $\alpha >0$. In the case where $\Omega \subseteq {\mathbb {R}^{d}}$ we implicitly assume that $\mu $ is the Lebesgue measure. Often we will use the shorthand notations $\Vert \cdot \Vert _{p}$ and $\Vert \cdot \Vert _{p,\infty }$ for the $L^{p}$-norm and $L^{p,\infty }$-norm.

The Hölder conjugate of p is denoted by $p'$ and is defined by $1=\frac{1}{p}+\frac{1}{p'}$. We write $\ell ^{p}$ for the space of p-summable sequences $(x_{k})_{k\in {{\mathbb N}}_{0}}\subseteq {\mathbb C}$, and denote by $\ell ^{p}({{\mathbb Z}})$ the space of p-summable sequences $(x_{k})_{k\in {{\mathbb Z}}}\subseteq {\mathbb C}$.

We say that a function $m:\Omega \rightarrow {\mathcal {L}}(X,Y)$ is X-strongly measurable if $\omega \mapsto m(\omega )x$ is a strongly measurable Y-valued map for all $x\in X$. We often identify a scalar function $m:{\mathbb {R}^{d}}\rightarrow {\mathbb C}$ with the operator-valued function $\widetilde{m}:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X)$ given by $\widetilde{m}(\xi ):=m(\xi )\mathrm {I}_{X}$ for $\xi \in {\mathbb {R}^{d}}$.

The class of X-valued rapidly decreasing smooth functions on ${\mathbb {R}^{d}}$ (the Schwartz functions) is denoted by $\mathcal {S}({\mathbb {R}^{d}};X)$, and the space of X-valued tempered distributions by $\mathcal {S}'({\mathbb {R}^{d}};X)$. We write $\mathcal {S}({\mathbb {R}^{d}}):=\mathcal {S}({\mathbb {R}^{d}};{\mathbb C})$ and denote by $\langle \cdot ,\cdot \rangle :\mathcal {S}'({\mathbb {R}^{d}};X)\times \mathcal {S}({\mathbb {R}^{d}})\rightarrow X$ the X-valued duality between $\mathcal {S}'({\mathbb {R}^{d}};X)$ and $\mathcal {S}({\mathbb {R}^{d}})$. The Fourier transform of a $\Phi \in \mathcal {S}'({\mathbb {R}^{d}};X)$ is denoted by ${\mathcal {F}}\Phi $ or $\widehat{\Phi }$. If $f\in L^{1}({\mathbb {R}^{d}};X)$ then

$$\begin{aligned} \widehat{f}(\xi )={\mathcal {F}}f(\xi ):=\int _{{\mathbb {R}^{d}}}\mathrm {e}^{-2\pi \mathrm {i}\xi \cdot t}f(t)\,\mathrm {d}t\qquad (\xi \in {\mathbb {R}^{d}}). \end{aligned}$$

A standard complex Gaussian random variable is a random variable $\gamma :\Omega \rightarrow {\mathbb C}$ of the form $\gamma =\frac{\gamma _{r}+\mathrm {i}\gamma _{i}}{\sqrt{2}}$, where $(\Omega ,\mathbb {P})$ is a probability space and $\gamma _{r},\gamma _{i}:\Omega \rightarrow {\mathbb R}$ are independent standard real Gaussians. A Gaussian sequence is a (finite or infinite) sequence $(\gamma _{k})_{k}$ of independent standard complex Gaussian random variables on some probability space.

We will use the convention that a constant C which appears multiple times in a chain of inequalities may vary from one occurrence to the next.

2 Preliminaries

2.1 Fourier Type

We recall some background on the Fourier type of a Banach space. For these facts and for more on Fourier type see [19, 28, 45].

A Banach space X has Fourier type $p\in [1,2]$ if the Fourier transform ${\mathcal {F}}$ is bounded from $L^{p}({\mathbb {R}^{d}};X)$ to $L^{p'}({\mathbb {R}^{d}};X)$ for some (in which case it holds for all) $d\in {{\mathbb N}}$. We then write ${\mathcal {F}}_{p,X,d}:=\Vert {\mathcal {F}}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{p'}({\mathbb {R}^{d}};X))}$.

Each Banach space X has Fourier type 1 with ${\mathcal {F}}_{1,X,d}=1$ for all $d\in {{\mathbb N}}$. If X has Fourier type $p\in [1,2]$ then X has Fourier type r with ${\mathcal {F}}_{r,X,d}\le {\mathcal {F}}_{p,X,d}$ for all $r\in [1,p]$ and $d\in {{\mathbb N}}$. We say that X has nontrivial Fourier type if X has Fourier type p for some $p\in (1,2]$. In order to make our main results more transparent we will say that X has Fourier cotype $p'$ whenever X has Fourier type p.

Let X be a Banach space, $r\in [1,\infty )$ and let $\Omega $ be a measure space. If X has Fourier type $p\in [1,2]$ then $L^{r}(\Omega ;X)$ has Fourier type $\min (p,r,r')$. In particular, $L^{r}(\Omega )$ has Fourier type $\min (r,r')$.

2.2 Type and Cotype

We first recall some facts concerning the type and cotype of Banach spaces. For more on these notions and for unexplained results see [1, 17, 29] and [40, Sect. 9.2].

Let X be a Banach space, $(\gamma _{n})_{n\in {{\mathbb N}}}$ a Gaussian sequence on a probability space $(\Omega ,\mathbb {P})$ and let $p\in [1,2]$ and $q\in [2,\infty ]$. We say that X has (Gaussian) type p if there exists a constant $C\ge 0$ such that for all $m\in {{\mathbb N}}$ and all $x_{1},\ldots , x_{m}\in X$,

$$\begin{aligned} \Bigg (\mathbb {E}\Big \Vert \sum _{n=1}^{m}\gamma _{n}x_{n}\Bigg \Vert ^{2}\Big )^{1/2}\le C\Bigg (\sum _{n=1}^{m}\Vert x_{n}\Vert ^{p}\Bigg )^{1/p}. \end{aligned}$$

(2.1)

We say that X has (Gaussian) cotype q if there exists a constant $C\ge 0$ such that for all $m\in {{\mathbb N}}$ and all $x_{1},\ldots , x_{m}\in X$,

$$\begin{aligned} \Bigg (\sum _{n=1}^{m}\Vert x_{n}\Vert ^{q}\Bigg )^{1/q}\le C\Bigg (\mathbb {E}\Big \Vert \sum _{n=1}^{m}\gamma _{n}x_{n}\Big \Vert ^{2}\Bigg )^{1/2}, \end{aligned}$$

(2.2)

with the obvious modification for $q=\infty $.

The minimal constants C in (2.1) and (2.2) are called the (Gaussian) type p constant and the (Gaussian) cotype q constant and will be denoted by $\tau _{p,X}$ and $c_{q,X}$. We say that X has nontrivial type if X has type $p\in (1,2]$, and finite cotype if X has cotype $q\in [2,\infty )$.

Note that it is customary to replace the Gaussian sequence in (2.1) and (2.2) by a Rademacher sequence, i.e. a sequence $(r_{n})_{n\in {{\mathbb N}}}$ of independent random variables on a probability space $(\Omega ,\mathbb {P})$ that are uniformly distributed on $\{z\in {\mathbb R}\mid |z|=1\}$. This does not change the class of spaces under consideration, only the minimal constants in (2.1) and (2.2) (see [17, Chap. 12]). We choose to work with Gaussian sequences because the Gaussian constants $\tau _{p,X}$ and $c_{q,X}$ occur naturally here.

Each Banach space X has type $p=1$ and cotype $q=\infty $, with $\tau _{1,X}=c_{\infty ,X}=1$. If X has type p and cotype q then X has type r with $\tau _{r,X}\le \tau _{p,X}$ for all $r\in [1,p]$ and cotype s with $c_{s,X}\le c_{q,X}$ for all $s\in [q,\infty ]$. A Banach space X is isomorphic to a Hilbert space if and only if X has type $p=2$ and cotype $q=2$, by Kwapień’s theorem (see [1, Theorem 7.4.1]). Also, a Banach space X with nontrivial type has finite cotype by the Maurey–Pisier theorem (see [1, Theorem 11.1.14]).

Let X be a Banach space, $r\in [1,\infty )$ and let $\Omega $ be a measure space. If X has type $p\in [1,2]$ and cotype $q\in [2,\infty )$ then $L^{r}(\Omega ;X)$ has type $\min (p,r)$ and cotype $\max (q,r)$ (see [17, Theorem 11.12]).

A Banach space with Fourier type $p\in [1,2]$ has type p and cotype $p'$ (see [29]). By a result of Bourgain a Banach space has nontrivial type if and only if it has nontrivial Fourier type (see [45, 5.6.30]).

2.3 Convexity and Concavity

For the theory of Banach lattices we refer the reader to [40]. We repeat some of the definitions which will be used frequently.

Let X be a Banach lattice and $p,q\in [1,\infty ]$. We say that X is p-convex if there exists a constant $C\ge 0$ such that for all $n\in {{\mathbb N}}$ and all $x_{1},\ldots , x_{n}\in X$,

$$\begin{aligned} \Big \Vert \Big (\sum _{k=1}^{n}|x_{k}|^{p}\Big )^{1/p}\Big \Vert _{X}\le C\Big (\sum _{k=1}^{n}\Vert x_{k}\Vert _{X}^{p}\Big )^{1/p}, \end{aligned}$$

(2.3)

with the obvious modification for $p=\infty $. We say that X is q-concave if there exists a constant $C\ge 0$ such that for all $n\in {{\mathbb N}}$ and all $x_{1},\ldots , x_{n}\in X$,

$$\begin{aligned} \Big (\sum _{k=1}^{n}\Vert x_{k}\Vert _{X}^{q}\Big )^{1/q}\le C\Big \Vert \Big (\sum _{k=1}^{n}|x_{k}|^{q}\Big )^{1/q}\Big \Vert _{X}, \end{aligned}$$

(2.4)

with the obvious modification for $q=\infty $.

Every Banach lattice X is 1-convex and $\infty $-concave. If X is p-convex and q-concave then it is r-convex and s-concave for all $r\in [1,p]$ and $s\in [q,\infty ]$. By [40, Proposition 1.f.3], if X is q-concave then it has cotype $\max (q,2)$, and if X is p-convex and q-concave for some $q<\infty $ then X has type $\min (p,2)$.

If X is p-convex and $p'$-concave for $p\in [1,2]$ then X has Fourier type p, by [20, Proposition 2.2]. For $(\Omega ,\mu )$ a measure space and $r\in [1,\infty )$, $L^{r}(\Omega ,\mu )$ is an r-convex and r-concave Banach lattice. Moreover, if X is p-convex and q-concave and $r\in [1, \infty )$, then $L^{r}(\Omega ;X)$ is $\min (p,r)$-convex and $\max (q,r)$-concave.

Specific Banach lattices which we will consider are the Banach function spaces. For the definition and details of these spaces we refer to [39]. If X is a Banach function space over a measure space $(\Omega ,\mu )$ and Y is a Banach space, then X(Y) consists of all $f:\Omega \rightarrow Y$ such that $\Vert f(\cdot )\Vert _{Y}\in X$, with the norm

$$\begin{aligned} \Vert f\Vert _{X(Y)}:=\left\| \Vert f(\cdot )\Vert _{Y}\right\| _{X}\qquad (f\in X(Y)). \end{aligned}$$

If $f\in X(L^{p}({\mathbb {R}^{d}}))$ for $p\in [1,\infty )$ and $d\in {{\mathbb N}}$ then we write $(\int _{{\mathbb {R}^{d}}}|f(t)|^{p}\,\mathrm {d}t)^{1/p}$ for the element of X given by

$$\begin{aligned} \Big (\int _{{\mathbb {R}^{d}}}|f(t)|^{p}\,\mathrm {d}t\Big )^{1/p}({\omega }):=\Big (\int _{{\mathbb {R}^{d}}}|f(\omega )(t)|^{p}\,\mathrm {d}t\Big )^{1/p}\qquad (\omega \in \Omega ). \end{aligned}$$

Note that $\Vert f\Vert _{X(L^{p}({\mathbb {R}^{d}}))}=\Vert (\int _{{\mathbb {R}^{d}}}|f(t)|^{p}\,\mathrm {d}t)^{1/p}\Vert _{X}$.

Let $f=\sum _{k=1}^{n}f_{k}\otimes x_{k}\in L^{p}({\mathbb {R}^{d}})\otimes X$, for $n\in {{\mathbb N}}$, $f_{1},\ldots , f_{n}\in L^{p}({\mathbb {R}^{d}})$ and $x_{1},\ldots , x_{n}\in X$. Then f determines both an element $[t\mapsto \sum _{k=1}^{n}f_{k}(t)x_{k}]$ of $L^{p}({\mathbb {R}^{d}};X)$ and an element $[\omega \mapsto \sum _{k=1}^{n}x_{k}(\omega )f_{k}]$ of $X(L^{p}({\mathbb {R}^{d}}))$. Throughout we will identify these and consider f as an element of both $L^{p}({\mathbb {R}^{d}};X)$ and $X(L^{p}({\mathbb {R}^{d}}))$. The following lemma, proved as in [60, Theorem 3.9] by using (2.3) and (2.4) on simple X-valued functions and then approximating, relates the $L^{p}({\mathbb {R}^{d}};X)$-norm and the $X(L^{p}({\mathbb {R}^{d}}))$-norm of such an f and will be used later.

Lemma 2.1

Let X be a Banach function space, $p\in [1,\infty )$ and $f\in L^{p}({\mathbb {R}^{d}})\otimes X$.

If X is p-convex then
$$\begin{aligned} \Vert f\Vert _{X(L^{p}({\mathbb {R}^{d}}))}\le C\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)}, \end{aligned}$$
where $C\ge 0$ is as in (2.3).
If X is p-concave then
$$\begin{aligned} \Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)}\le C\Vert f\Vert _{X(L^{p}({\mathbb {R}^{d}}))}, \end{aligned}$$
where $C\ge 0$ is as in (2.4).

The proof of the following lemma is the same as in [43, Lemma 4] for simple X-valued functions, and the general case follows by approximation.

Lemma 2.2

Let X and Y be Banach function spaces, $P\in {\mathcal {L}}(X,Y)$ a positive operator, $p\in [1,\infty )$ and $f\in L^{p}({\mathbb {R}^{d}})\otimes X$. Then

$$\begin{aligned} \Big (\int _{{\mathbb {R}^{d}}}|P(f(t))|^{p}\,\mathrm {d}t\Big )^{1/p}\le P\left( \Big (\int _{{\mathbb {R}^{d}}}|f(t)|^{p}\,\mathrm {d}t\Big )^{1/p}\right) . \end{aligned}$$

2.4 $\gamma $-Boundedness

Let X and Y be Banach spaces. A collection $\mathcal {T}\subseteq {\mathcal {L}}(X,Y)$ is $\gamma $-bounded if there exists a constant $C\ge 0$ such that

$$\begin{aligned} \Bigg (\mathbb {E}\Big \Vert \sum _{k=1}^{n}\gamma _{k}T_{k}x_{k}\Big \Vert _{Y}^{2}\Bigg )^{1/2}\le C\Bigg (\mathbb {E}\Big \Vert \sum _{k=1}^{n}\gamma _{k}x_{k}\Big \Vert _{X}^{2}\Bigg )^{1/2} \end{aligned}$$

(2.5)

for all $n\in {{\mathbb N}}$, $T_{1},\ldots , T_{n}\in \mathcal {T}$, $x_{1},\ldots , x_{n}\in X$ and each Gaussian sequence $(\gamma _{k})_{k=1}^{n}$. The smallest such C is the $\gamma $-bound of $\mathcal {T}$ and is denoted by $\gamma (\mathcal {T})$. By the Kahane-Khintchine inequalities, we may replace the $L^{2}$-norm in (2.5) by an $L^{p}$-norm for each $p\in [1,\infty )$.

Every $\gamma $-bounded collection is uniformly bounded with supremum bound less than or equal to the $\gamma $-bound, and the converse holds if and only if X has cotype 2 and Y has type 2 (see [4]). By the Kahane contraction principle, for each $\gamma $-bounded collection $\mathcal {T}\subseteq {\mathcal {L}}(X,Y)$ and each $\lambda \in [0,\infty )$, the closure in the strong operator topology of the family $\{z T\mid z\in {\mathbb C}, |z|\le \lambda , T\in \mathcal {T}\}\subseteq {\mathcal {L}}(X,Y)$ is $\gamma $-bounded with

$$\begin{aligned} \gamma \Big (\overline{\{z T\mid z\in {\mathbb C}, |z|\le \lambda , T\in \mathcal {T}\}}^{\text {SOT}}\Big )\le \lambda \gamma (\mathcal {T}). \end{aligned}$$

(2.6)

By replacing the Gaussian random variables in (2.5) by Rademacher variables, one obtains the definition of an R-bounded collection $\mathcal {T}\subseteq {\mathcal {L}}(X,Y)$. Each R-bounded collection is $\gamma $-bounded. The notions of $\gamma $-boundedness and R-boundedness are equivalent if and only if X has finite cotype (see [38, Theorem 1.1]), but the minimal constant C in (2.5) may depend on whether one considers Gaussian or Rademacher variables. In this article we work with $\gamma $-boundedness instead of R-boundedness because in our results we will allow spaces which do not have finite cotype.

2.5 Bessel Spaces

For details on Bessel spaces and related spaces see e.g. [2, 8, 28, 56].

For X a Banach space, $s\in {\mathbb R}$ and $p\in [1,\infty ]$ the inhomogeneous Bessel potential space $H^{s}_{p}({\mathbb {R}^{d}};X)$ consists of all $f\in \mathcal {S}'({\mathbb {R}^{d}};X)$ such that ${\mathcal {F}}^{-1}((1+|\cdot |)^{s/2}\widehat{f}(\cdot )\,)\in L^{p}({\mathbb {R}^{d}};X)$. Then $H^{s}_{p}({\mathbb {R}^{d}};X)$ is a Banach space endowed with the norm

$$\begin{aligned} \Vert f\Vert _{H^{s}_{p}({\mathbb {R}^{d}};X)}:=\Vert {\mathcal {F}}^{-1}((1+|\cdot |^2)^{s/2}\widehat{f}(\cdot ))\Vert _{L^{p}({\mathbb {R}^{d}};X)}\quad (f\in H^{s}_{p}({\mathbb {R}^{d}};X)), \end{aligned}$$

and $\mathcal {S}({\mathbb {R}^{d}};X)\subseteq H^{s}_{p}({\mathbb {R}^{d}};X)$ lies dense if $p<\infty $.

In this article we will also deal with homogeneous Bessel spaces. To define these spaces we follow the approach of [56, Chap. 5] (see also [57]). Let X be a Banach space and define

$$\begin{aligned} \dot{\mathcal {S}}({\mathbb {R}^{d}};X):=\{f\in \mathcal {S}({\mathbb {R}^{d}};X)\mid \mathrm {D}^{\alpha }\!\widehat{f}(0)=0\text { for all } \alpha \in {{\mathbb N}}_{0}^{d}\}. \end{aligned}$$

Endow $\dot{\mathcal {S}}({\mathbb {R}^{d}};X)$ with the subspace topology induced by $\mathcal {S}({\mathbb {R}^{d}};X)$ and set $\dot{\mathcal {S}}({\mathbb {R}^{d}}):=\dot{\mathcal {S}}({\mathbb {R}^{d}};{\mathbb C})$. Let $\dot{\mathcal {S}}'({\mathbb {R}^{d}};X)$ be the space of continuous linear mappings $\dot{\mathcal {S}}({\mathbb {R}^{d}})\rightarrow X$. Then each $f\in \mathcal {S}'({\mathbb {R}^{d}};X)$ yields an ${f}{\!\upharpoonright _{\dot{\mathcal {S}}({\mathbb {R}^{d}})}}\in \dot{\mathcal {S}}'({\mathbb {R}^{d}};X)$ by restriction, and ${f}\!{\upharpoonright _{\dot{\mathcal {S}}({\mathbb {R}^{d}})}}=g{\upharpoonright _{\dot{\mathcal {S}}({\mathbb {R}^{d}})}}$ if and only if ${\mathrm {supp}}(\widehat{f}-\widehat{g})\subseteq \{0\}$. Conversely, one can check that each $f\in \dot{\mathcal {S}}'({\mathbb {R}^{d}};X)$ extends to an element of $\mathcal {S}'({\mathbb {R}^{d}};X)$ (see [49] for the tedious details in the vector-valued setting). Hence $\dot{\mathcal {S}}'({\mathbb {R}^{d}};X)=\mathcal {S}'({\mathbb R}^d;X)/{\mathcal {P}}({\mathbb {R}^{d}};X)$ for ${\mathcal {P}}({\mathbb {R}^{d}};X):=\{f\in \mathcal {S}'({\mathbb {R}^{d}};X)\mid {\mathrm {supp}}(\widehat{f})\subseteq \{0\}\}$. As in [23, Proposition 2.4.1] one can show that ${\mathcal {P}}({\mathbb {R}^{d}};X)={\mathcal {P}}({\mathbb {R}^{d}})\otimes X$, where ${\mathcal {P}}({\mathbb {R}^{d}})$ is the collection of polynomials on ${\mathbb {R}^{d}}$. If $F({\mathbb {R}^{d}};X)\subseteq \mathcal {S}'({\mathbb {R}^{d}};X)$ is a linear subspace such that $\Phi =0$ if ${\mathrm {supp}}(\widehat{\Phi }\,)\subseteq \{0\}$, then we will identify $F({\mathbb {R}^{d}};X)$ with its image in $\dot{\mathcal {S}}'({\mathbb {R}^{d}};X)$. In particular, this is the case if $F({\mathbb {R}^{d}};X)=L^{p}({\mathbb {R}^{d}};X)$ for some $p\in [1,\infty ]$.

For $s\in {\mathbb R}$ and $p\in [1,\infty ]$, the homogeneous Bessel potential space $\dot{H}^{s}_{p}({\mathbb {R}^{d}};X)$ is the space of all $f\in \dot{\mathcal {S}}'({\mathbb {R}^{d}};X)$ such that ${\mathcal {F}}^{-1}(|\cdot |^{s}\widehat{f}(\cdot ))\in L^{p}({\mathbb {R}^{d}};X)$, where

$$\begin{aligned} \langle {\mathcal {F}}^{-1}(|\cdot |^{s}\widehat{f}(\cdot )),{\varphi }\rangle :=\langle f,{\mathcal {F}}^{-1}(|\cdot |^{s}\widehat{{\varphi }}(\cdot ))\rangle \qquad ({\varphi }\in \dot{\mathcal {S}}({\mathbb {R}^{d}};X)). \end{aligned}$$

Then $\dot{H}^{s}_{p}({\mathbb {R}^{d}};X)$ is a Banach space endowed with the norm

$$\begin{aligned} \Vert f\Vert _{\dot{H}^{s}_{p}({\mathbb {R}^{d}};X)}:=\Vert {\mathcal {F}}^{-1}(|\cdot |^{s}\widehat{f}(\cdot ))\Vert _{L^{p}({\mathbb {R}^{d}};X)}\qquad (f\in \dot{H}^{s}_{p}({\mathbb {R}^{d}};X)), \end{aligned}$$

and $\dot{\mathcal {S}}({\mathbb {R}^{d}})\otimes X\subseteq \dot{H}^{s}_{p}({\mathbb {R}^{d}};X)$ lies dense if $p<\infty $.

3 Fourier Multipliers Results

In this section we introduce operator-valued Fourier multipliers acting on various vector-valued function spaces and discuss some of their properties. We start with some preliminaries and after that in Sect. 3.2 we prove a result that will allow us to transfer boundedness of multipliers on ${\mathbb {R}^{d}}$ to the torus $\mathbb {T}^{d}$. Then in Sect. 3.3 we present some first simple results under Fourier type conditions. We return to our main multiplier results for spaces with type, cotype, p-convexity and q-concavity in Sects. 3.4 and 3.5.

3.1 Definitions and Basic Properties

Fix $d\in {{\mathbb N}}$, let X and Y be Banach spaces, and let $m:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ be X-strongly measurable. We say that m is of moderate growth at infinity if there exist a constant $\alpha \in (0,\infty )$ and a $g\in L^1({\mathbb R}^d)$ such that

$$\begin{aligned} (1+|\xi |)^{-\alpha } \Vert m(\xi )\Vert _{{\mathcal {L}}(X,Y)} \le g(\xi ) \qquad (\xi \in {\mathbb {R}^{d}}). \end{aligned}$$

For such an m, let $T_{m}:\mathcal {S}({\mathbb {R}^{d}};X)\rightarrow \mathcal {S}'({\mathbb {R}^{d}};Y)$ be given by

$$\begin{aligned} T_{m}(f):={\mathcal {F}}^{-1}(m\cdot \widehat{f}\,)\qquad (f\in \mathcal {S}({\mathbb {R}^{d}};X)). \end{aligned}$$

We call $T_{m}$ the Fourier multiplier operator associated with m and we call m the symbol of $T_{m}$.

Let $p,q\in [1,\infty ]$. We say that m is a bounded $(L^p({\mathbb {R}^{d}};X), L^q({\mathbb {R}^{d}};Y))$-Fourier multiplier if there exists a constant $C\in (0,\infty )$ such that $T_{m}(f)\in L^q({\mathbb {R}^{d}};Y)$ and

$$\begin{aligned} \Vert T_{m}(f)\Vert _{L^{q}({\mathbb {R}^{d}};Y)}\le C\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)} \end{aligned}$$

for all $f\in \mathcal {S}({\mathbb {R}^{d}};X)$. In the case $1\le p<\infty $, $T_{m}$ extends uniquely to a bounded operator from $L^p({\mathbb {R}^{d}};X)$ to $L^q({\mathbb {R}^{d}};Y)$ which will be denoted by $\widetilde{T_{m}}$, and often just by $T_m$ when there is no danger of confusion. If $X=Y$ and $p=q$ then we simply say that m is an $L^p({\mathbb {R}^{d}};X)$-Fourier multiplier.

We will also consider Fourier multipliers on homogeneous function spaces. Let X and Y be Banach spaces and let $m:{\mathbb {R}^{d}}\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ be X-strongly measurable. We say that $m:{\mathbb {R}^{d}}\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ is of moderate growth at zero and infinity if there exist a constant $\alpha \in (0,\infty )$ and a $g\in L^1({\mathbb R}^d)$ such that

$$\begin{aligned} |\xi |^{\alpha }(1+|\xi |)^{-2\alpha } \Vert m(\xi )\Vert _{{\mathcal {L}}(X,Y)} \le g(\xi ) \qquad (\xi \in {\mathbb {R}^{d}}). \end{aligned}$$

For such an m, let $\dot{T}_{m}:\dot{\mathcal {S}}({\mathbb {R}^{d}};X)\rightarrow \mathcal {S}'({\mathbb {R}^{d}};Y)$ be given by

$$\begin{aligned} \dot{T}_{m}(f):={\mathcal {F}}^{-1}(m\cdot \widehat{f}\,)\qquad (f\in \dot{\mathcal {S}}({\mathbb {R}^{d}};X)), \end{aligned}$$

where $\dot{T}_{m}(f)\in \mathcal {S}'({\mathbb {R}^{d}};Y)$ is well-defined by definition of $\dot{\mathcal {S}}({\mathbb {R}^{d}};X)$. We use similar terminology as before to discuss the boundedness of $\dot{T}_{m}$. Often we will simply write $T_{m}=\dot{T}_{m}$, to simplify notation.

In later sections we will use the following lemma about approximation of multipliers, which can be proved as in [23, Proposition 2.5.13].

Lemma 3.1

Let X and Y be Banach spaces and $q\in [1,\infty ]$. For each $n\in {{\mathbb N}}$ let $m_{n}:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ be X-strongly measurable, and let $m:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ be such that $m(\xi )x=\lim _{n\rightarrow \infty }m_{n}(\xi )x$ for all $x\in X$ and almost all $\xi \in {\mathbb {R}^{d}}$. Suppose that there exist $\alpha >0$ and $g\in L^1({\mathbb R}^d)$ such that

$$\begin{aligned} (1+|\xi |)^{\alpha } \Vert m_{n}(\xi )\Vert _{{\mathcal {L}}(X,Y)} \le g(\xi ) \end{aligned}$$

for all $n\in {{\mathbb N}}$ and $\xi \in {\mathbb {R}^{d}}$. If $f\in \mathcal {S}({\mathbb {R}^{d}};X)$ is such that $T_{m_{n}}(f)\in L^{q}({\mathbb {R}^{d}};Y)$ for all $n\in {{\mathbb N}}$, and if $\displaystyle \liminf _{n\rightarrow \infty }\Vert T_{m_{n}}(f)\Vert _{L^{q}({\mathbb {R}^{d}};Y)}<\infty $, then $T_{m}(f)\in L^{q}({\mathbb {R}^{d}};Y)$ with

$$\begin{aligned} \Vert T_{m}(f)\Vert _{L^{q}({\mathbb {R}^{d}};Y)}\le \liminf _{n\rightarrow \infty }\Vert T_{m_{n}}(f)\Vert _{L^{q}({\mathbb {R}^{d}};Y)}. \end{aligned}$$

The same result holds for $f\in \dot{\mathcal {S}}({\mathbb {R}^{d}};X)$ if instead we assume that there exist an $\alpha >0$ and $g\in L^{1}({\mathbb {R}^{d}})$ such that, for all $n\in {{\mathbb N}}$ and $\xi \in {\mathbb {R}^{d}}$,

$$\begin{aligned} |\xi |^{-\alpha } (1+|\xi |)^{2\alpha } \Vert m_{n}(\xi )\Vert _{{\mathcal {L}}(X,Y)} \le g(\xi ). \end{aligned}$$

The case of positive scalar-valued kernels plays a special role. An immediate consequence of [23, Proposition 4.5.10] is:

Proposition 3.2

(Positive kernels) Let $m:{\mathbb {R}^{d}}\setminus \{0\}\rightarrow {\mathbb C}$ have moderate growth at zero and infinity. Suppose that $\dot{T}_m:L^{p}({\mathbb {R}^{d}})\rightarrow L^{q}({\mathbb {R}^{d}})$ is bounded for some $p,q\in [1,\infty ]$ and that ${\mathcal {F}}^{-1} m\in \dot{\mathcal {S}}'({\mathbb {R}^{d}})$ is positive. Then, for any Banach space X, the operator $T_m\otimes I_X:L^p({\mathbb R}^d;X)\rightarrow L^q({\mathbb R}^d;X)$ is bounded of norm

$$\begin{aligned} \Vert T_m\otimes I_{X}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le \Vert T_m\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}}),L^{q}({\mathbb {R}^{d}}))}. \end{aligned}$$

The Hardy–Littlewood–Sobolev inequality on fractional integration is a typical example where Proposition 3.2 can be applied.

Example 3.3

Let X be a Banach space and $1<p\le q<\infty $. Let $m(\xi ) := |\xi |^{-s}$ for $s\in [0,d)$ and $\xi \in {\mathbb {R}^{d}}$. Then $T_m:L^p({\mathbb R}^d;X)\rightarrow L^q({\mathbb R}^d;X)$ is bounded if and only if $\frac{1}{p} - \frac{1}{q} = \frac{s}{d}$. In this case ${\mathcal {F}}^{-1} m(\cdot ) = C_s |\cdot |^{-d+s}$ is positive and therefore the result follows from the scalar case (see [24, Theorem 6.1.3]) and Proposition 3.2. The same holds for the multiplier $m(\cdot ) := (1+|\cdot |^{2})^{-s/2}$ under the less restrictive condition $\frac{1}{p} - \frac{1}{q} \le \frac{s}{d}$.

3.2 Transference from ${\mathbb R}^d$ to ${\mathbb T}^d$

We will mainly consider Fourier multipliers on ${\mathbb R}^d$. However, we want to present at least one transference result to obtain Fourier multiplier results for the torus ${\mathbb T}^d := [0,1]^d$. The transference technique differs slightly from the standard setting of de Leeuw’s theorem where $p=q$ (see [15, Theorem 4.5] and [28, Chap. 5]), due to the fact that $\Vert T_{m_a}\Vert _{{\mathcal {L}}(L^p({\mathbb R}^d),L^q({\mathbb R}^d))} = a^{-d/r} \Vert T_m\Vert _{{\mathcal {L}}(L^{p}({\mathbb R}^d), L^{q}({\mathbb R}^d))}$, where $\frac{1}{r} = \frac{1}{p} - \frac{1}{q}$ and $m_a(\xi ) := m(a\xi )$ for $a>0$.

Let $e_k:{\mathbb T}^d\rightarrow {\mathbb C}$ be given by $e_k(t) := e^{2\pi i k \cdot t}$ for $k\in {{\mathbb Z}}$ and $t\in {\mathbb T}^{d}$.

Proposition 3.4

(Transference) Let $p,q,r\in (1,\infty )$ be such that $\frac{1}{r} = \frac{1}{p} - \frac{1}{q}$. Let $m:{\mathbb R}^d\rightarrow {\mathcal {L}}(X,Y)$ be such that $m(\cdot )x\in L^1_\mathrm{loc}({\mathbb R}^d;Y)$ for all $x\in X$. Fix $a>0$ and let $m_k x := a^{-d}\int _{[0,a]^d} m(t+ka)x \,\mathrm {d}t$ for $k\in {{\mathbb Z}}^{d}$. If $T_m:L^p({\mathbb R}^d;X)\rightarrow L^q({\mathbb R}^d;Y)$ is bounded, then for all $n\in {{\mathbb N}}$ and $(x_k)_{|k|\le n}$ in X,

$$\begin{aligned} a^{d/r} \Big \Vert \sum _{|k|\le n} e_k m_k x_k\Big \Vert _{L^{q}({\mathbb T}^d;Y)} \le C_{d,p,q'} \Vert T_m\Vert \, \Big \Vert \sum _{|k|\le n} e_k x_k \Big \Vert _{L^{p}({\mathbb T}^d;X)} \end{aligned}$$

for some $C_{d,p,q'}\ge 0$. In particular, the Fourier multiplier operator with symbol $(m_{k})_{k\in {{\mathbb Z}}^{d}}$ is bounded from $L^{p}({\mathbb T}^{d};X)$ to $L^{q}({\mathbb T}^{d};Y)$.

This result seems to be new even in the scalar case $X=Y={\mathbb C}$.

Proof

Let $P = \sum _{|k|\le n} e_k x_k$. Since $L^{q'}({\mathbb T}^d;Y^*)$ is norming for $L^{q}({\mathbb T}^d;Y)$ and since the $Y^{*}$-valued trigonometric polynomials are dense in $L^{q'}({\mathbb T}^d;Y^*)$, it suffices to show that

$$\begin{aligned} a^{d/r} \Big |\Big <\sum _{|k|\le n} e_k m_k x_k, Q\Big >\Big | \le C_{d,p,q'} \Vert T_m\Vert \, \Vert P\Vert _{L^{p}({\mathbb T}^{d};X)} \Vert Q\Vert _{L^{q'}({\mathbb T}^{d};Y^*)} \end{aligned}$$

(3.1)

for $Q:{\mathbb T}^d\rightarrow Y^*$ an arbitrary $Y^{*}$-valued trigonometric polynomial. Moreover, adding zero vectors $x_k$ or $y_k^*$ and enlarging n if necessary, we can assume that $Q = \sum _{|k|\le n} e_{-k} y_k^*$.

To prove (3.1) observe that for $E:=L^{\min (p,q')}({\mathbb {R}^{d}})$ and $f\in E\otimes X$, $g\in E\otimes Y^{*}$, the boundedness of $T_m$ is equivalent to

$$\begin{aligned} \Big |\int _{{\mathbb R}^d} \langle m(\xi ) \widehat{f}(\xi ), \widehat{g}(\xi )\rangle \, \mathrm {d}\xi \Big |\le \Vert T_m\Vert \, \Vert f\Vert _{L^p({\mathbb R}^d;X)} \Vert g\Vert _{L^{q'}({\mathbb R}^d;Y^*)}, \end{aligned}$$

(3.2)

where we have used that $\langle m \widehat{f}, \widehat{g}\rangle = \langle T_m f, g\rangle $. Let $h(t) := {\mathcal {F}}^{-1}({\mathbf{1}}_{[0,1]^d})(t) = e^{i\pi (t_1+\ldots +t_d)} \prod _{j=1}^d \frac{\sin (\pi t_j)}{\pi t_j}$ for $t=(t_{1},\ldots , t_{n})\in {\mathbb {R}^{d}}$, and

$$\begin{aligned} f(t): = a^{d/p} h(at) P(at),\quad g(t) := a^{d/q} h(at) Q(-at). \end{aligned}$$

Then $f\in E\otimes X$, $g\in E\otimes Y^{*}$, and

$$\begin{aligned} \widehat{f}(\xi ) = a^{-d/p'} \sum _{|k|\le n} {\mathbf{1}}_{[0,a]^d + ak}(\xi ) x_k,\quad \widehat{g}(\xi ) = a^{-d/q} \sum _{|k|\le n} {\mathbf{1}}_{[0,a]^d +ak}(\xi ) y_k^* \end{aligned}$$

for $\xi \in {\mathbb {R}^{d}}$. By substitution we find

$$\begin{aligned} \Vert f\Vert _{L^{p}({\mathbb R}^d;X)} \!&= \!\Big (\int _{{\mathbb R}^d} |h(t)|^p \Vert P(t)\Vert ^p_X \,\mathrm {d}t\Big )^{1/p} \!=\! \Big (\sum _{j\in {{\mathbb Z}}^d}\int _{[0,1]^d+j} |h(t)|^p \Vert P(t)\Vert ^p_X \,\mathrm {d}t\!\Big )^{1/p} \\&= \Big (\int _{[0,1]^d} |H(t)|^p \Vert P(t)\Vert ^p_X \,\mathrm {d}t\Big )^{1/p} \le C_{d,p} \Vert P\Vert _{L^p({\mathbb T}^d;X)}, \end{aligned}$$

where we used the standard fact that $H(t) = \sum _{j\in {{\mathbb Z}}^d}|h(t+j)|^p\le C_{d,p}$ for $t\in {\mathbb {R}^{d}}$, $p\in (1, \infty )$ and some $C_{d,p}\ge 0$. Similarly, one checks that

$$\begin{aligned} \Vert g\Vert _{L^{q'}({\mathbb R}^d;Y^*)} \le C_{d,q'} \Vert Q\Vert _{L^{q'}({\mathbb T}^d;Y^*)}. \end{aligned}$$

Since the left-hand side of (3.2) equals the left-hand side of (3.1), the first statement follows from these estimates.

The second statement follows from the first since the X-valued trigonometric polynomials are dense in $L^{p}({\mathbb T}^{d};X)$. $\square $

Remark 3.5

Any Fourier multiplier from $L^{p}({\mathbb T}^d;X)$ to $L^{q}({\mathbb T}^d;Y)$ with $1\le p\le q\le \infty $ trivially yields a multiplier from $L^u({\mathbb T}^d;X)$ into $L^v({\mathbb T}^d;Y)$ for all $p\le u\le v\le q$. Indeed, this follows from the embedding $L^a({\mathbb T}^d;X)\hookrightarrow L^b({\mathbb T}^d;X)$ for $a\ge b$. In particular, any boundedness result from $L^p({\mathbb T}^d;X)$ to $L^q({\mathbb T}^d;Y)$ implies boundedness from $L^u({\mathbb T}^d;X)$ into $L^u({\mathbb T}^d;Y)$.

As an application of Proposition 3.4 and Theorem 1.1 we obtain the following:

Corollary 3.6

Let X be a Banach space with type $p_0\in (1,2]$ and Y a Banach space with cotype $q_0\in [2,\infty )$, and let $p\in (1, p_0)$, $q\in (q_0, \infty )$. Let $r\in (1,\infty ]$ be such that $\frac{1}{r}=\frac{1}{p}-\frac{1}{q}$. If $(m_k)_{k\in {{\mathbb Z}}^d}$ is a family of operators in ${\mathcal {L}}(X,Y)$ and

$$\begin{aligned} \{(|k|^{d/r}+1)m_k\mid k\in {{\mathbb Z}}^{d}\}\subseteq {\mathcal {L}}(X,Y) \end{aligned}$$

is $\gamma $-bounded, then the Fourier multiplier operator with symbol $(m_{k})_{k\in {{\mathbb Z}}}$ is bounded from $L^{p}({\mathbb T}^{d};X)$ to $L^{q}({\mathbb T}^{d};Y)$. Moreover, if $p_0 = 2$ (or $q_0 = 2)$, then one can also take $p = 2$ (or $q=2$).

Proof

Let $m(\xi ) := \sum _{k\in {{\mathbb Z}}^d} {\mathbf{1}}_{[0,1]^d}(\xi -k) m_k$ for $\xi \in {\mathbb R}^d$. Then for $k\in {{\mathbb Z}}^{d}$ and $\xi \in [0,1]^d+k$, we have $m(\xi ) = m_k$ and $|\xi |^{d/r} \le (|k|+\sqrt{d})^{d/r}\le C_{d,r}(|k|^{d/r}+1)$. Therefore, Kahane’s contraction principle yields

$$\begin{aligned} \gamma (\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\}) \le C_{d,r}\gamma (\{(|k|+1)^{\frac{d}{r}}m_k\mid k\in {{\mathbb Z}}^d\}), \end{aligned}$$

which is assumed to be finite. By Theorem 1.1, $T_m:L^p({\mathbb R}^d;X)\rightarrow L^q({\mathbb R}^d;Y)$ is bounded. Since $m_k = \int _{[0,1]^d} m(t+k) \,\mathrm {d}t$ for $k\in {{\mathbb Z}}^{d}$, Proposition 3.4 yields the required result. $\square $

As an application we show how Corollary 3.6 can be used in the study of Schur multipliers. For $p\in [1, \infty )$ let ${\mathscr {C}}^p$ denote the Schatten p-class over a Hilbert space H. For a detailed discussion on these spaces we refer to [17, 28]. Let $(e_{j})_{j\in {{\mathbb Z}}}$ be a countable spectral resolution of H. That is,

(1)

for all $j\in {{\mathbb Z}}$, $e_{j}$ is an orthogonal projection in H;
(2)

for all $j,k\in {{\mathbb Z}}$, $e_{j} e_{k} = 0$ if $j\ne k$;
(3)

for all $h\in H$, $\sum _{j\in {{\mathbb Z}}} e_j h = h$.

Using the technique of [47, Theorem 4] we deduce the following result from Corollary 3.6. A similar result holds for more general noncommutative $L^p$-spaces with a similar proof.

Corollary 3.7

Let $a\in (1, \infty )\setminus \{2\}$ and let $r\in [1,\infty )$ be such that $\frac{1}{r} < |\frac{1}{a} - \frac{1}{2}|$. Let $m:{{\mathbb Z}}\rightarrow {\mathbb C}$ be such that $C_m:=\sup _{j\in {{\mathbb Z}}} (1+|j|^{1/r}) |m_j|<\infty $, let $f:{{\mathbb Z}}\rightarrow {{\mathbb Z}}$ and write $m_{j,k}^f := m_{f(j)-f(k)}$. Then the Schur multiplier operator $M_{m,f}^e$ on ${\mathscr {C}}^a$, given by

$$\begin{aligned} M_{m,f}^e v := \sum _{j,k\in {{\mathbb Z}}} m_{j,k}^f e_j v e_k = \lim _{n\rightarrow \infty } \sum _{|j|,|k|\le n} m_{j,k}^f e_j v e_k \end{aligned}$$

(3.3)

for $v\in {\mathscr {C}}^{a}$, is well-defined and satisfies

$$\begin{aligned} \Vert M_{m,f}^e\Vert _{{\mathcal {L}}({\mathscr {C}}^a)}\le C_{a,r} C_m \end{aligned}$$

(3.4)

for some $C_{a,r}\ge 0$ independent of m.

Proof

By duality it suffices to consider $a\in (1, 2)$, and by an approximation argument it suffices to consider finite rank operators $v\in {\mathscr {C}}^a$. Let $p\in (1, a)$ be such that $\frac{1}{p} - \frac{1}{2} = \frac{1}{r}$. Since ${\mathscr {C}}^a$ has type a and cotype 2 (see [29]) it follows from Theorem 3.6 that the Fourier multiplier $T_m$ associated with $(m_n)_{n\in {{\mathbb Z}}}$ is bounded from $L^a({\mathbb T};{\mathscr {C}}^a)$ to $L^2({\mathbb T};{\mathscr {C}}^a)$ with

$$\begin{aligned} \Vert T_m\Vert _{{\mathcal {L}}(L^a({\mathbb T};{\mathscr {C}}^a), L^2({\mathbb T};{\mathscr {C}}^a))}\le C_{p,a} C_m. \end{aligned}$$

(3.5)

As in the proof of [47, Theorem 4] one sees that

$$\begin{aligned} \Vert M_{m,f}^e v\Vert _{{\mathscr {C}}^a}&= \Big \Vert \sum _{n\in {{\mathbb Z}}} m_n e^{2\pi i nt} v_n\Big \Vert _{{\mathscr {C}}^a} = \Vert T_m ((v_n)_{n\in {{\mathbb Z}}})(t)\Vert _{{\mathscr {C}}^a}, \end{aligned}$$

where $v_n := \sum _{j,k\in {{\mathbb Z}}, f(j)-f(k) = n} e_j v e_k$ for $n\in {{\mathbb Z}}$. Similarly,

$$\begin{aligned} \Vert v\Vert _{{\mathscr {C}}^a} = \Big \Vert \sum _{n\in {{\mathbb Z}}} e^{2\pi i nt} v_n\Big \Vert _{{\mathscr {C}}^a}.\end{aligned}$$

Taking $L^q$ and $L^p$ norms over $t\in [0,1]$ in the above identities yields

$$\begin{aligned} \Vert M_{m,f}^e v\Vert _{{\mathscr {C}}^a}&= \Vert T_{m} (v_n)_{n\in {{\mathbb Z}}}\Vert _{L^{q}([0,1];\mathscr {C}^{a})} \\&\le \Vert T_m\Vert _{{\mathcal {L}}(L^p({\mathbb T};{\mathscr {C}}^a),L^q({\mathbb T};{\mathscr {C}}^a))} \Big \Vert \sum _{n\in {{\mathbb Z}}} e^{2\pi i nt} v_n\Big \Vert _{L^{p}([0,1];\mathscr {C}^{a})} = C_{p,a} C_m \Vert v\Vert _{{\mathscr {C}}^a}, \end{aligned}$$

where we applied (3.5) in the final step. $\square $

Problem 3.8

Can we take $\frac{1}{r} = \big |\frac{1}{a} - \frac{1}{2}\big |$ in Corollary 3.7?

If the answer to Problem 3.8 is negative, then the limitations of Theorem 1.1 and Corollary 3.6 are natural. Moreover, from the proof of the latter (see Theorem 3.18 below) it would then follow that the embedding $H^{\frac{1}{a}-\frac{1}{2}}_a({\mathbb R};{\mathscr {C}}^a)\rightarrow \gamma ({\mathbb R};{\mathscr {C}}^a)$ does not hold for $a\in (1,2)$. Here $\gamma ({\mathbb R};{\mathscr {C}}^{a})$ is the ${\mathscr {C}}^{a}$-valued $\gamma $-space used in the proof of Theorem 3.18.

3.3 Fourier Type Assumptions

Before turning to more advanced multiplier theorems, we start with the case where we use the Fourier type of the Banach spaces to derive an analogue of the basic estimate $\Vert T_m\Vert _{{\mathcal {L}}(L^2({\mathbb R}^d))}\le \Vert m\Vert _{\infty }$.

Proposition 3.9

Let X be a Banach space with Fourier type $p\in [1,2]$ and Y a Banach space with Fourier cotype $q \in [2,\infty ]$, and let $r\in [1,\infty ]$ be such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. Let $m:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ be an X-strongly measurable map such that $\left\| m(\cdot )\right\| _{{\mathcal {L}}(X,Y)}\in L^{r}({\mathbb {R}^{d}})$. Then $T_{m}$ extends uniquely to a bounded map from $L^{p}({\mathbb {R}^{d}};X)$ into $L^{q}({\mathbb {R}^{d}};Y)$ with

$$\begin{aligned} \Vert T_{m}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le {\mathcal {F}}_{p,X,d}\,{\mathcal {F}}_{q',Y,d}\left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r}({\mathbb {R}^{d}})}. \end{aligned}$$

In Proposition 3.15 we show that this multiplier result characterizes the Fourier type p of X for specific choices of Y, and the Fourier cotype q of Y for specific choices of X.

Proof

Let $f\in \mathcal {S}({\mathbb {R}^{d}};X)$. By Hölder’s inequality,

$$\begin{aligned} \Vert m\widehat{f}\Vert _{L^{q'}({\mathbb {R}^{d}};Y)}&\le \left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r}({\mathbb {R}^{d}})}\Vert \widehat{f}\Vert _{L^{p'}({\mathbb {R}^{d}};X)}\\&\le {\mathcal {F}}_{p,X,d}\left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r}({\mathbb {R}^{d}})}\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)}. \end{aligned}$$

Since $\Vert {\mathcal {F}}^{-1}(g)\Vert _{L^{q}({\mathbb {R}^{d}};Y)}=\Vert {\mathcal {F}}(g)\Vert _{L^{q}({\mathbb {R}^{d}};Y)}$ for $g\in L^{q'}({\mathbb {R}^{d}};Y)$, it follows that

$$\begin{aligned} \Vert T_{m}(f)\Vert _{L^{q}({\mathbb {R}^{d}};Y)}&\le {\mathcal {F}}_{q',Y,d}\Vert m\widehat{f}\Vert _{L^{q'}({\mathbb {R}^{d}};Y)}\\&\le {\mathcal {F}}_{p,X,d}\,{\mathcal {F}}_{q',Y,d}\left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r}({\mathbb {R}^{d}})}\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)}, \end{aligned}$$

which concludes the proof. $\square $

Remark 3.10

It follows from Young’s inequality (see [23, Exercise 4.5.4] or [3, Proposition 1.3.5]) that $T_{m}:L^{p}({\mathbb {R}^{d}};X)\rightarrow L^{q}({\mathbb {R}^{d}};Y)$ is bounded with

$$\begin{aligned} \Vert T_{m}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le \Vert {\mathcal {F}}^{-1}m\Vert _{L^{r'}({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))} \end{aligned}$$

(3.6)

for all X and Y, $1\le p\le q\le \infty $ and $r\in [1,\infty ]$ such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$, and all X-measurable $m:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ of moderate growth at infinity for which ${\mathcal {F}}^{-1}m\in L^{r'}({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))$. In certain cases (3.6) is stronger than the result in Proposition 3.9. For instance, if $r\in [1,2]$ and ${\mathcal {L}}(X,Y)$ has Fourier type r (for $r>1$ this implies that either X or Y is finite-dimensional), then

$$\begin{aligned} \Vert T_{m}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le \Vert {\mathcal {F}}^{-1}m\Vert _{L^{r'}({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))}\le C\Vert m\Vert _{L^{r}({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))} \end{aligned}$$

for some constant $C\ge 0$. Therefore we recover the conclusion of Proposition 3.9 from Young’s inequality in a very special case.

Remark 3.11

Proposition 3.9 (and Theorem 3.12 below) can also be formulated for general abelian locally compact groups G, not just for ${\mathbb {R}^{d}}$. In that case one should assume that the Fourier transform is bounded from $L^{p}(G;X)$ to $L^{p'}(\widehat{G};X)$ for $p\in [1,2]$ and that the inverse Fourier transform is bounded from $L^{q'}(\widehat{G};Y)$ to $L^{q}(G;Y)$ for $q\in [2,\infty ]$. Here $\widehat{G}$ is the dual group of G. Then one works with symbols $m:\widehat{G}\rightarrow {\mathcal {L}}(X,Y)$ which are X-strongly measurable and such that $[\xi \mapsto \left\| m(\xi )\right\| _{{\mathcal {L}}(X,Y)}]\in L^{r}(\widehat{G})$, where $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. In the same way as in Proposition 3.9, one then obtains a constant $C\ge 0$ independent of m such that

$$\begin{aligned} \Vert T_{m}\Vert \le C\left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r}(\widehat{G})}. \end{aligned}$$

For $G = {\mathbb T}^d$ such results can also be deduced from the ${\mathbb R}^d$-case by applying the transference of Proposition 3.4.

In the scalar setting we noted in (1.1) that the conclusion of Proposition 3.9 holds under the weaker condition $m\in L^{r,\infty }({\mathbb R}^d)$. In certain cases we can prove such a result in the vector-valued setting.

Theorem 3.12

Let X be a Banach space with Fourier type $p_0\in (1,2]$ and Y a Banach space with Fourier cotype $q_0\in [2,\infty )$, and let $p\in (1,p_0)$ and $q\in (q_0, \infty )$. Let $r\in [1,\infty ]$ be such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. Let $m:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ be an X-strongly measurable map such that $[\xi \mapsto \left\| m(\xi )\right\| _{{\mathcal {L}}(X,Y)}]\in L^{r,\infty }({\mathbb {R}^{d}})$. Then $T_{m}$ extends uniquely to a bounded map from $L^{p}({\mathbb {R}^{d}};X)$ into $L^{q}({\mathbb {R}^{d}};Y)$ with

$$\begin{aligned} \Vert T_{m}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le C\left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r,\infty }({\mathbb {R}^{d}})}, \end{aligned}$$

where $C\ge 0$ is independent of m.

Proof

Observe that by real interpolation (see [55, 1.18.6] and [36, (2.33)]) we obtain ${\mathcal {F}}:L^{v', \infty }({\mathbb R}^d;Y)\rightarrow L^{v, \infty }({\mathbb R}^d;Y)$ for all $v\in (q_0,\infty )$.

Let $p_1, p_2, q_1, q_2\in (1, \infty )$ be such that

$$\begin{aligned} \frac{1}{p_1} = \frac{1}{p}+\varepsilon , \ \frac{1}{p_2} = \frac{1}{p} - \varepsilon , \ \frac{1}{q_1} = \frac{1}{q}+\varepsilon , \ \frac{1}{q_2} = \frac{1}{q} - \varepsilon \end{aligned}$$

for $\varepsilon >0$ so small that $p_2<p_0$ and $q_1>q_0$. Note that

$$\begin{aligned} \frac{1}{p_j} - \frac{1}{q_j} = \frac{1}{p} - \frac{1}{q} = \frac{1}{r}. \end{aligned}$$

Let $f\in \mathcal {S}({\mathbb {R}^{d}};X)$. By Hölder’s inequality (see [23, Exercise 1.4.19] or [44, Theorem 3.5]), for $j=1,2$,

$$\begin{aligned} \Vert m\widehat{f}\Vert _{L^{q_j',\infty }({\mathbb {R}^{d}};Y)}&\le C \left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r,\infty }({\mathbb {R}^{d}})}\Vert \widehat{f}\Vert _{L^{p_j'}({\mathbb {R}^{d}};X)}\\&\le C\left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r,\infty }({\mathbb {R}^{d}})}\Vert f\Vert _{L^{p_j}({\mathbb {R}^{d}};X)} \end{aligned}$$

for $C\ge 0$ independent of m and f, where we used the Fourier type $p_j$ of X and $\Vert \cdot \Vert _{p_j',\infty }\le \Vert \cdot \Vert _{p_j'}$. It follows from the first observation and the estimate above that

$$\begin{aligned} \Vert T_{m}(f)\Vert _{L^{q_j, \infty }({\mathbb {R}^{d}};Y)}&\le C\Vert m\widehat{f}\Vert _{L^{q_j',\infty }({\mathbb {R}^{d}};Y)}\\&\le C\left\| \Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\right\| _{L^{r,\infty }({\mathbb {R}^{d}})}\Vert f\Vert _{L^{p_j}({\mathbb {R}^{d}};X)}. \end{aligned}$$

Hence $T_m:L^{p_j}({\mathbb {R}^{d}};X)\rightarrow L^{q_j, \infty }({\mathbb {R}^{d}};Y)$ is bounded for $j\in \{1,2\}$. By real interpolation (see [55, Theorem 1.18.6.2]) we find that $T_m:L^{p}({\mathbb R}^d;X)\rightarrow L^{q,p}({\mathbb R}^d;Y)$, and the required result follows from $L^{q,p}({\mathbb R}^d;Y)\hookrightarrow L^{q}({\mathbb R}^d;Y)$ (see [23, Proposition 1.4.10]). $\square $

The above result provides an analogue of [27, Theorem 1.12]. In general, we do not know the “right” geometric conditions under which such a result holds. We formulate the latter as an open problem.

Problem 3.13

Let $1<p\le 2\le q<\infty $ and let $r\in [1,\infty ]$ be such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. Classify those Banach spaces X and Y for which $T_{m}\in {\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ for all X-strongly measurable maps $m:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ such that $\Vert m(\cdot )\Vert _{{\mathcal {L}}(X,Y)}\in L^{r,\infty }({\mathbb R}^d)$.

A similar question can be asked for the case where $X = Y$ and m is scalar-valued.

We will now show that the Fourier multiplier result in Proposition 3.9 characterizes the Fourier type of the underlying Banach spaces. To this end we need the following lemma.

Lemma 3.14

Let X and Y be Banach spaces. Let $p\in [1,2]$, $q\in [2,\infty ]$ and $r\in [1, \infty ]$ be such that $\tfrac{1}{r} = \tfrac{1}{p} - \tfrac{1}{q}$. Assume that for all $m\in L^{r}({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))$ the operator $T_m:L^{p}({\mathbb {R}^{d}};X)\rightarrow L^{q}({\mathbb {R}^{d}};Y)$ is bounded. Then there is a constant $C\ge 0$ such that for all $f\in \mathcal {S}({\mathbb {R}^{d}};X)$ and $g\in \mathcal {S}({\mathbb R}^d;Y^*)$

$$\begin{aligned} \big \Vert \Vert \widehat{f}(\cdot )\Vert _X \Vert \widehat{g}(\cdot )\Vert _{Y^*} \big \Vert _{L^{r'}({\mathbb {R}^{d}})} \le C\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)} \Vert g\Vert _{L^{q'}({\mathbb {R}^{d}};Y^*)}. \end{aligned}$$

(3.7)

Proof

By the closed graph theorem there exists a constant $C\ge 0$ such that

$$\begin{aligned} |\langle T_m f, g\rangle | \le C \Vert m\Vert _{L^{r}({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))} \Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)} \Vert g\Vert _{L^{q'}({\mathbb {R}^{d}};Y^*)} \end{aligned}$$

for all $f\in L^{p}({\mathbb {R}^{d}};X)$, $g\in L^{q'}({\mathbb {R}^{d}};Y^{*})$ and $m\in L^r({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))$. It follows that, for all $f\in \mathcal {S}({\mathbb {R}^{d}};X)$ with $\Vert f\Vert _{p}\le 1$ and $g\in \mathcal {S}({\mathbb {R}^{d}};Y^*)$ with $\Vert g\Vert _{q'}\le 1$,

$$\begin{aligned} |\langle m \widehat{f}, \widehat{g}\rangle | = |\langle T_m f, g\rangle | \le C \Vert m\Vert _{L^{r}({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))}. \end{aligned}$$

(3.8)

It suffices to show (3.7) for fixed $f\in \mathcal {S}({\mathbb {R}^{d}};X)$ with $\Vert f\Vert _{p}=1$ and $g\in \mathcal {S}({\mathbb {R}^{d}};Y^*)$ with $\Vert g\Vert _{q'}=1$. Let $\varepsilon \in (0,1)$ and choose simple functions $\zeta :{\mathbb R}^d\rightarrow X$ and $\eta :{\mathbb R}^d\rightarrow Y^*$ such that $\Vert \zeta -\widehat{f}\Vert _{p'}\le \min (\varepsilon ^{\frac{1}{2}},\varepsilon \Vert \widehat{g}\Vert _{q}^{-1})$ and $\Vert \eta -\widehat{g}\Vert _{q}\le \min (\varepsilon ^{\frac{1}{2}},\varepsilon \Vert \widehat{f}\Vert _{p'}^{-1})$. Then, by Hölder’s inequality with $\frac{1}{r} + \frac{1}{p'} + \frac{1}{q}=1$ and by (3.8), it follows that

$$\begin{aligned} \nonumber |\langle m \zeta , \eta \rangle |&\le |\langle m (\zeta -\widehat{f}), \eta - \widehat{g}\rangle | +|\langle m (\zeta -\widehat{f}),\widehat{g}\rangle |+|\langle m\widehat{f}, \eta - \widehat{g}\rangle |+ |\langle m \widehat{f}, \widehat{g}\rangle | \\&\le \Vert m\Vert _r \Big (\Vert \zeta -\widehat{f}\Vert _{p'} \Vert \eta -\widehat{g}\Vert _{q} + \Vert \zeta -\widehat{f}\Vert _{p'}\Vert \widehat{g}\Vert _{q}+\Vert \widehat{f}\Vert _{p'}\Vert \eta -\widehat{g}\Vert _{q}+ C\Big ) \nonumber \\&\le \Vert m\Vert _r (3\varepsilon + C) \end{aligned}$$

(3.9)

for all $m\in L^{r}({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))$. By considering a common refinement, we may suppose that $\zeta = \sum _{k=1}^n {\mathbf{1}}_{A_k} x_k$ and $\eta = \sum _{k=1}^n {\mathbf{1}}_{A_k} y_k^*$ for $n\in {{\mathbb N}}$, $x_{1}, \ldots , x_{n}\in X$, $y_{1}^{*},\ldots , y_{n}^{*}\in Y^{*}$ and $A_{1},\ldots , A_{n}\subseteq {\mathbb {R}^{d}}$ disjoint and of finite measure $|A_{k}|$. For $1\le k\le n$ let $x_k^*\in X^*$ and $y_k\in Y$ of norm one be such that $\langle x_k,x_k^*\rangle = \Vert x_k\Vert $ and $\langle y_k, y_k^*\rangle \ge (1-\varepsilon ) \Vert y_k^*\Vert $. Let $m:{\mathbb R}^d\rightarrow {\mathcal {L}}(X,Y)$ be given by

$$\begin{aligned} m(\xi ) x :=\sum _{k=1}^n c_k {\mathbf{1}}_{A_k}(\xi ) \langle x, x_k^*\rangle y_k\qquad (\xi \in {\mathbb {R}^{d}}, x\in X), \end{aligned}$$

where $c_1, \ldots , c_n\in {\mathbb R}$. Then (3.9) implies

$$\begin{aligned} (1-\varepsilon ) \sum _{k=1}^n c_{k}|A_k| \Vert x_k\Vert \, \Vert y^{*}_k\Vert \le (C + 3\varepsilon ) \Bigg (\sum _{k=1}^n |c_k|^r |A_k|\Bigg )^{\frac{1}{r}}, \end{aligned}$$

with the obvious modification for $r=\infty $. By taking the supremum over all $c_k$’s with $\sum _{k=1}^n |c_k|^r |A_k|\le 1$ we find

$$\begin{aligned} (1-\varepsilon )\big \Vert \Vert \zeta (\cdot )\Vert _X \Vert \eta (\cdot )\Vert _{Y^*} \big \Vert _{L^{r'}({\mathbb {R}^{d}})}=(1-\varepsilon ) \Bigg (\sum _{k=1}^n |A_k| \Vert x_k\Vert ^{r'} \Vert y^{*}_k\Vert ^{r'}\Bigg )^{\frac{1}{r'}} \le (C +3\varepsilon ). \end{aligned}$$

Therefore, using this estimate, the reverse triangle inequality and Hölder’s inequality (with $\tfrac{1}{r'}=\tfrac{1}{p'}+\tfrac{1}{q}$), we obtain

$$\begin{aligned} \big \Vert&\Vert \widehat{f}(\cdot )\Vert _X \Vert \widehat{g}(\cdot )\Vert _{Y^*} \big \Vert _{L^{r'}({\mathbb {R}^{d}})} \\&\le \big \Vert \Vert \widehat{f}(\cdot )\Vert _X \Vert \widehat{g}(\cdot )\Vert _{Y^*}-\Vert \zeta (\cdot )\Vert _{X}\Vert \widehat{g}(\cdot )\Vert _{Y^{*}} \big \Vert _{L^{r'}({\mathbb {R}^{d}})}\\&\quad +\big \Vert \Vert \zeta (\cdot )\Vert _{X}\Vert \widehat{g}(\cdot )\Vert _{Y^{*}}-\Vert \zeta (\cdot )\Vert _X \Vert \eta (\cdot )\Vert _{Y^*} \big \Vert _{L^{r'}({\mathbb {R}^{d}})} +\big \Vert \Vert \zeta (\cdot )\Vert _X \Vert \eta (\cdot )\Vert _{Y^*} \big \Vert _{L^{r'}({\mathbb {R}^{d}})} \\&\le \big \Vert \Vert \widehat{f}(\cdot )-\zeta (\cdot )\Vert _X \Vert \widehat{g}(\cdot )\Vert _{Y^*}\big \Vert _{L^{r'}({\mathbb {R}^{d}})} + \big \Vert \Vert \zeta (\cdot )\Vert _X \Vert \eta (\cdot )-\widehat{g}(\cdot )\Vert _{Y^*}\big \Vert _{L^{r'}({\mathbb {R}^{d}})} +\frac{C +3\varepsilon }{1-\varepsilon } \\&\le \Vert \widehat{f}-\zeta \Vert _{p'}\Vert \widehat{g}\Vert _{q} + \Vert \zeta \Vert _{p'}\Vert \eta -\widehat{g}\Vert _{q} + \frac{C +3\varepsilon }{1-\varepsilon } \\&\le \varepsilon + (\Vert \widehat{f}-\zeta \Vert _{p'}+\Vert \widehat{f}\Vert _{p'})\Vert \eta -\widehat{g}\Vert _{q} +\frac{C +3\varepsilon }{1-\varepsilon } \le 3\varepsilon + \frac{C +3\varepsilon }{1-\varepsilon }. \end{aligned}$$

Letting $\varepsilon $ tend to zero yields (3.7) for $\Vert f\Vert _{p}=1=\Vert g\Vert _{q'}$, as was to be shown. $\square $

Now we are ready to show that, by letting Y vary, the Fourier multiplier result in Proposition 3.9 characterizes the Fourier type of X, and vice versa.

Proposition 3.15

Let X and Y be Banach spaces. Let $\frac{1}{r} = \frac{1}{p} - \frac{1}{q}$ with $p\in [1, 2]$, $q\in [2,\infty ]$ and $r\in [1,\infty ]$. Assume that for all $m\in L^{r}({\mathbb {R}^{d}};{\mathcal {L}}(X,Y))$ the operator $T_m:L^p({\mathbb {R}^{d}};X)\rightarrow L^q({\mathbb {R}^{d}};Y)$ is bounded.

(1)

If $Y={\mathbb C}$ and $q=2$, then X has Fourier type p.
(2)

If $X = {\mathbb C}$ and $p=2$, then Y has Fourier type $q'$.
(3)

If $Y = X^*$ and $q = p'$, then X has Fourier type p.

Proof

By Lemma 3.14, (3.7) holds for some $C\ge 0$. Therefore in case (1) we obtain, for fixed $f\in \mathcal {S}({\mathbb {R}^{d}};X)$ and for all $\varphi \in \mathcal {S}({\mathbb {R}^{d}})$,

$$\begin{aligned} \big \Vert \Vert \widehat{f}(\cdot )\Vert _X |\varphi (\cdot )| \big \Vert _{L^{r'}({\mathbb {R}^{d}})} \le C \Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)} \Vert \varphi \Vert _{L^{2}({\mathbb {R}^{d}})}, \end{aligned}$$

where we used the fact that ${\mathcal {F}}:L^{2}({\mathbb {R}^{d}})\rightarrow L^{2}({\mathbb {R}^{d}})$ is an isometry. Taking the supremum over all $\Vert \varphi \Vert _{L^{2}({\mathbb {R}^{d}})}\le 1$ we see that

$$\begin{aligned} \Vert \widehat{f}\Vert _{L^{p'}({\mathbb {R}^{d}};X)}\le C\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)}, \end{aligned}$$

and hence X has Fourier type p. In case (2) we deduce in the same way that $Y^*$ has Fourier type $q'$ and thus also that Y has Fourier type $q'$, by duality.

Finally, for (3) note that $\frac{1}{r'} = \frac{2}{p'}$. Thus, taking $f = g\in \mathcal {S}({\mathbb {R}^{d}};X)$ in (3.7) yields

$$\begin{aligned}\Vert \widehat{f}\Vert _{L^{p'}({\mathbb R}^d;X)}^2 \le C\Vert f\Vert _{L^p({\mathbb R}^d;X)}^2,\end{aligned}$$

and the result follows. $\square $

Remark 3.16

An alternative proof of Proposition 3.15 can be given using the transference of Proposition 3.4. However, this yields worse bounds and it seems that the analogue in the type-cotype setting requires the same technique as in Proposition 3.15. The estimate which can be proved under the assumption of Lemma 3.14 is as follows. There is a constant $C\ge 0$ such that for all $(x_k)_{|k|\le n}$ in X and $(y_k^*)_{|k|\le n}$ in $Y^*$,

$$\begin{aligned} \Bigg (\sum _{|k|\le n} \Vert x_k\Vert _X^{r'} \Vert y_k^*\Vert _Y^{r'}\Bigg )^{\frac{1}{r'}} \le C\Big \Vert \sum _{|k|\le n} e_k x_k\Big \Vert _{L^p({\mathbb T}^d;X)} \Big \Vert \sum _{|k|\le n} e_k y_k^*\Big \Vert _{L^{q'}({\mathbb T}^d;Y^*)}. \end{aligned}$$

We end this section with a simple example which shows that the geometric limitation in Theorem 3.9 is also natural in the case $X = Y = \ell ^u$. We will come back to this in Example 3.30, where type and cotype will be used to derive different results.

Example 3.17

Let $p\in (1, 2]$, and for $q\in [2, \infty )$ let $r\in (1,\infty ]$ be such that $\frac{1}{r} = \frac{1}{p} - \frac{1}{q}$. Let $u\in [1, \infty )$ and let $X:=\ell ^{u}$. Let $(e_j)_{j\in {{\mathbb N}}_{0}}\subseteq X$ be the standard basis of X, and for $k\in {{\mathbb N}}$ let $S_{k}\in {\mathcal {L}}(X)$ be such that $S_{k}(e_{j}):= e_{j+k}$ for $j\in {{\mathbb N}}_{0}$. Let $m:{\mathbb R}\rightarrow {\mathcal {L}}(\ell ^{u})$ be given by $m(\xi ):=\sum _{k=1}^{\infty } c_k {\mathbf {1}}_{(k-1,k]}(\xi )S_{k}$ for $\xi \in {\mathbb R}$, where $c_k = k^{-\frac{1}{r}} \log (k+1)^{-2}$ for $k\in {{\mathbb N}}$. Observe that

$$\begin{aligned} \int _{{\mathbb R}} \Vert m(\xi )\Vert _{{\mathcal {L}}(X)}^r \,\mathrm {d}\xi = \sum _{k=1}^{\infty } c_k^r <\infty , \end{aligned}$$

with the obvious modification for $r=\infty $. If $u \in [p,p']$, then X has Fourier type p and Fourier cotype $q=p'$. Thus by Proposition 3.9, in this case $T_m:L^{p}({\mathbb R};X)\rightarrow L^{q}({\mathbb R};X)$ is bounded.

We show that this result is sharp in the sense that for $u\notin [p,p']$ the conclusion is false. This shows that Proposition 3.9 is optimal in the exponent of the Fourier type of the space for $X=Y=\ell ^{u}$.

Let $q\in [2, \infty )$ and assume that $T_m\in {\mathcal {L}}(L^{p}({\mathbb R};X),L^{q}({\mathbb R};X))$. Let, for $k\in {{\mathbb N}}$, ${\varphi }_{k}:{\mathbb R}\rightarrow {\mathbb C}$ be such that $\widehat{{\varphi }_{k}}={\mathbf{1}}_{(k-1,k]}$ and let, for $n\in {{\mathbb N}}$, $f := \sum _{k=n+1}^{2n} {\varphi }_{k} e_0$. Then

$$\begin{aligned} \Vert T_{m}(f)(t)\Vert _{X} = \Big \Vert \sum _{k=n+1}^{2n} c_k \varphi _{k}(t) e_{k}\Big \Vert _{\ell ^u} = \Bigg (\sum _{k=n+1}^{2n} |c_k|^u |\varphi _{k}(t)|^u\Bigg )^{\frac{1}{u}} \end{aligned}$$

for each $t\in {\mathbb R}$. Since $|\varphi _{k}(t)| = \big |\frac{\sin (\pi t)}{\pi t}\big |$ for all $t\in {\mathbb R}$ and $k\in {{\mathbb N}}_{0}$,

$$\begin{aligned} \Vert T_{m}(f)\Vert _{L^q({\mathbb R};X)} \ge n^{\frac{1}{u}} |c_{2n}| \Vert \varphi _1\Vert _{L^q({\mathbb R})} \ge C_1 n^{\frac{1}{u} - \frac{1}{r}} \log (n)^{-2} \end{aligned}$$

for some $C_1\in (0,\infty )$. On the other hand, $\Vert f\Vert _{L^p({\mathbb R};X)} = \big \Vert \sum _{k=n+1}^{2n} \varphi _k\big \Vert _{L^p({\mathbb R})}$. Now, $\big |\sum _{k=n+1}^{2n} \varphi _{k}(t)\big | = \big |\frac{\sin (\pi nt)}{\pi t}\big |$ for all $t\in {\mathbb R}$, since $\sum _{k=n+1}^{2n} \widehat{\varphi }_{k} = {\mathbf {1}}_{(n,2n]}$. Therefore there exists a constant $C_{2}\in (0,\infty )$ such that $\Vert f\Vert _{L^p({\mathbb R};\ell ^u)} = C_{2} n^{1-\frac{1}{p}}$. It follows that

$$\begin{aligned} C_1 n^{\frac{1}{u} - \frac{1}{r}} \log (n)^{-2} \le \Vert T_m\Vert _{{\mathcal {L}}(L^{p}({\mathbb R};X),L^{q}({\mathbb R};X))} C_{2} n^{1-\frac{1}{p}}. \end{aligned}$$

Letting $n\rightarrow \infty $ we deduce that $\frac{1}{u}\le 1-\frac{1}{p} + \frac{1}{r} = \frac{1}{q'}$. Thus, in the special case $q = p'$, we obtain $u\ge p$. By a duality argument one sees that also $u\le p'$.

3.4 Type and Cotype Assumptions

In Proposition 3.9 and Theorem 3.12 we obtained Fourier multiplier results under Fourier type assumptions on the spaces X and Y. In this section we will present multiplier results under the less restrictive geometric assumptions of type p and cotype q on the underlying spaces X and Y.

First we prove Theorem 1.1 from the Introduction.

Theorem 3.18

Let X be a Banach space with type $p_0\in (1,2]$ and Y a Banach space with cotype $q_0\in [2,\infty )$, and let $p\in (1, p_0)$ and $q\in (q_0, \infty )$, $r\in (1,\infty )$ be such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. Let $m:{\mathbb {R}^{d}}\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ be an X-strongly measurable map such that $\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\}\subseteq {\mathcal {L}}(X,Y)$ is $\gamma $-bounded. Then $T_{m}$ extends uniquely to a bounded map $\widetilde{T_{m}}\in {\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ with

$$\begin{aligned} \Vert \widetilde{T_{m}}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le C\gamma (\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\}), \end{aligned}$$

where $C\ge 0$ is independent of m. Moreover, if $p_0 = 2$ (or $q_0 = 2)$, then one can also take $p = 2$ (resp. $q=2$).

It is unknown whether Theorem 3.18 holds with $p = p_0$ and $q = q_0$ (see Problem 3.19 below).

Proof

We will prove the result under the condition:

$$\begin{aligned} \dot{H}^{\frac{d}{p} - \frac{d}{2}}_{p}({\mathbb R}^d;X) \hookrightarrow \gamma ({\mathbb R}^d;X) \ \ \text {and} \ \ \gamma ({\mathbb R}^d;Y) \hookrightarrow \dot{H}^{\frac{d}{q} - \frac{d}{2}}_{q}({\mathbb R}^d;Y). \end{aligned}$$

(3.10)

Here $\gamma ({\mathbb {R}^{d}};X)$ is the X-valued $\gamma $-space (for more on these spaces see [59]). Note that the assumptions imply (3.10). Indeed, this follows from the homogeneous versions of [60, Proposition 3.5] and of [32, Theorem 1.1] (proved in exactly the same way, here we use the assumption that X has type $p_{0}$ and $p<p_0$). Moreover, if $p_0=2$, then $\dot{H}^{0}_2({\mathbb R}^d;X) = L^2({\mathbb R}^d;X)\hookrightarrow \gamma ({\mathbb R}^d;X)$ (see [59, Theorem 11.6]), hence in this case one can in fact take $p=2$. The embedding for Y follows in a similar way.

Let $m_1(\xi ) := |\xi |^{\frac{d}{2} - \frac{d}{p}}$ and $m_2(\xi ) := |\xi |^{\frac{d}{r}} m(\xi ) m_1(\xi )$ for $\xi \in {\mathbb {R}^{d}}$. Let $f\in \mathcal {S}({\mathbb {R}^{d}};X)$. It follows from (3.10) that

$$\begin{aligned} \Vert T_{m}(f)\Vert _{L^q({\mathbb {R}^{d}};Y)}&= \Vert T_{m_2} (f)\Vert _{\dot{H}^{\frac{d}{q} - \frac{d}{2}}_q({\mathbb {R}^{d}};Y)} \\&\le C\Vert T_{m_2}(f)\Vert _{\gamma ({\mathbb {R}^{d}};Y)}\le C_{1}\Vert m_2\widehat{f}\Vert _{\gamma ({\mathbb {R}^{d}};Y)}\\&\le C\gamma (\{|\xi |^{\frac{d}{r}} m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\})\Vert m_1 \widehat{f}\Vert _{\gamma ({\mathbb {R}^{d}};X)}\\&\le C\gamma (\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\})\Vert T_{m_1} f\Vert _{\gamma ({\mathbb {R}^{d}};X)}\\&\le C\gamma (\{|\xi |^{\frac{d}{r}} m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\})\Vert T_{m_1} f\Vert _{\dot{H}^{\frac{d}{p} - \frac{d}{2}}_p({\mathbb {R}^{d}};X)}\\&= C\gamma (\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\})\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)}, \end{aligned}$$

where we have used $\Vert f\Vert _{\gamma ({\mathbb {R}^{d}};X)}=\Vert \widehat{f}\Vert _{\gamma ({\mathbb {R}^{d}};X)}$ (see [29]), the $\gamma $-multiplier Theorem (see [34, Proposition 4.11] and [59, Theorem 5.2]) and the fact that $\gamma ({\mathbb {R}^{d}};X)=\gamma _{\infty }({\mathbb {R}^{d}};Y)$ because Y does not contain a copy of $\text {c}_{0}$ (see [59, Theorem 4.3]). Since $\mathcal {S}({\mathbb {R}^{d}};X)\subseteq L^{p}({\mathbb {R}^{d}};X)$ is dense, this concludes the proof. $\square $

In Theorem 3.21 we provide conditions under which one can take $p = p_0$ and $q = q_0$. The general case we state as an open problem:

Problem 3.19

Let $1\le p\le 2\le q\le \infty $ and $r\in (1,\infty ]$ be such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. Classify those Banach spaces X and Y for which $T_{m}\in {\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ for all X-strongly measurable maps $m:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ such that $\{|\xi |^{d/r} m(\xi ):\xi \in {\mathbb R}^d\setminus \{0\}\}$ is $\gamma $-bounded.

The same problem can be formulated in case m is scalar-valued, in which case the $\gamma $-boundedness reduces to uniform boundedness.

Remark 3.20

Assume X and Y have property $(\alpha )$ as introduced in [46]. (This implies that X has finite cotype, and if X and Y are Banach lattices then property $(\alpha )$ is in fact equivalent to finite cotype.) In the multiplier theorems in this paper where $\gamma $-boundedness is an assumption, one can deduce a certain $\gamma $-boundedness result for the Fourier multiplier operators as well. Indeed, assume for example the conditions of Theorem 3.18. Let $\{m_j:{\mathbb R}^d\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)\mid j\in \mathcal {J}\}$ be a set of X-strongly measurable mappings for which there exists a constant $C\ge 0$ such that for each $j\in \mathcal {J}$, $\{|\xi |^{\frac{d}{r}}m_j(\xi )\mid \xi \in {\mathbb {R}^{d}}\}\subseteq {\mathcal {L}}(X,Y)$ is $\gamma $-bounded by C. Note that, since X and Y have finite cotype, $\gamma $-boundedness and R-boundedness are equivalent. Now we claim that $\{\widetilde{T_{m_j}}\mid j\in \mathcal {J}\}\subseteq {\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ is $\gamma $-bounded as well. To prove this claim one can use the method of [21, Theorem 3.2]. Indeed, using their notation, it follows from the Kahane-Khintchine inequalities that ${\mathrm {Rad}}(X)$ has the same type as X and ${\mathrm {Rad}}(Y)$ has the same cotype as Y. Therefore, given $j_1, \ldots , j_n\in \mathcal {J}$ and the corresponding $m_{j_1}, \ldots , m_{j_n}$, one can apply Theorem 3.18 to the multiplier $M:{\mathbb R}^d\setminus \{0\}\rightarrow {\mathcal {L}}({\mathrm {Rad}}(X),{\mathrm {Rad}}(Y))$ given as the diagonal operator with diagonal $(m_{j_1}, \ldots , m_{j_n})$. In order to check the $\gamma $-boundedness one now applies property $(\alpha )$ as in [21, Estimate (3.2)].

3.5 Convexity, Concavity and $L^{p}$-$L^{q}$ Results in Lattices

In this section we will prove certain sharp results in p-convex and q-concave Banach lattices.

First of all, from the proof of Theorem 3.18 we obtain the following result with the sharp exponents p and q.

Theorem 3.21

Let $p\in [1,2]$, $q\in [2,\infty )$, and let $r\in [1,\infty ]$ be such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. Let X be a complemented subspace of a p-convex Banach lattice with finite cotype and Y a Banach space that is continuously embedded in a q-concave Banach lattice. Let $m:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ be an X-strongly measurable map such that $\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\}\subseteq {\mathcal {L}}(X,Y)$ is $\gamma $-bounded. Then $T_{m}$ extends uniquely to a bounded map $\widetilde{T_{m}}\in {\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ with

$$\begin{aligned} \Vert \widetilde{T_{m}}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le C \gamma (\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\}), \end{aligned}$$

(3.11)

where C is a constant depending on X, Y, p, q and d.

Proof

In the case where X is a p-convex and Y is a q-concave Banach lattice, the embeddings in (3.10) can be proved in the same way as in [60, Theorem 3.9], where the inhomogeneous case was considered. Therefore, the result in this case follows from the proof of Theorem 3.18.

Now let $X_{0}$ be a p-convex Banach lattice with finite cotype such that $X\subseteq X_{0}$, let $P\in {\mathcal {L}}(X_{0})$ be a projection with range X and let $Y_{0}$ be a q-concave Banach lattice with a continuous embedding $\iota :Y\hookrightarrow Y_{0}$. Let $m_{0}:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X_{0},Y_{0})$ be given by $m_{0}(\xi ):=\iota \circ m(\xi )\circ P\in {\mathcal {L}}(X_{0},Y_{0})$ for $\xi \in {\mathbb {R}^{d}}$. It is easily checked that $\{m_{0}(\xi )\mid \xi \in {\mathbb {R}^{d}}\}\subseteq {\mathcal {L}}(X_{0},Y_{0})$ is $\gamma $-bounded, with

$$\begin{aligned} \gamma (\{m_{0}(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\})\le \Vert \iota \Vert _{{\mathcal {L}}(Y,Y_{0})}\Vert P\Vert _{{\mathcal {L}}(X_{0})} \gamma (\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\}). \end{aligned}$$

(3.12)

As we have shown above, there exists a constant $C\in (0,\infty )$ that depends only on $X_{0}$, $Y_{0}$, p, q and d such that $T_{m_{0}}$ extends uniquely to a bounded operator $\widetilde{T_{m_{0}}}\in {\mathcal {L}}(L^p({\mathbb {R}^{d}};X_{0}),L({\mathbb {R}^{d}};Y_{0}))$ with

$$\begin{aligned} \left\| T_{m_0}\right\| _{{\mathcal {L}}(L^p({\mathbb {R}^{d}};X_{0}),L^q({\mathbb {R}^{d}};Y_{0}))}\le C \gamma (\{m_{0}(\xi )\mid \xi \in {\mathbb {R}^{d}}\}). \end{aligned}$$

(3.13)

Since $T_{m}=\widetilde{T_{m_{0}}}\!\upharpoonright _{\mathcal {S}({\mathbb R};X)}$, the result follows from (3.12) and (3.13). $\square $

Remark 3.22

Note from (3.12) and (3.13) that the constant C in (3.11) depends on X and Y as $C=\left\| P\right\| _{{\mathcal {L}}(X_{0})}\left\| \iota \right\| _{{\mathcal {L}}(Y,Y_{0})}C_{1}$, where $P\in {\mathcal {L}}(X_{0})$ is a projection with range X on a p-convex Banach lattice $X_{0}$ with finite cotype, $\iota \in {\mathcal {L}}(Y,Y_{0})$ is a continuous embedding of Y in a q-concave Banach lattice $Y_{0}$ and $C_{1}$ is a constant that depends only on $X_{0}$, $Y_{0}$, p, q and d.

Remark 3.23

By using Theorems 3.18 and 3.21 and by multiplying in the Fourier domain by appropriate powers of $|\xi |$, versions of these theorems for multipliers from $\dot{H}^{\alpha }_p({\mathbb R}^d;X)$ to $\dot{H}^{\beta }_q({\mathbb R}^d;Y)$ can be derived. Similar results can be derived for the inhomogeneous spaces as well.

So far, in all our results about $(L^{p},L^{q})$-multipliers the indices p and q have been restricted to the range $p\le 2\le q$, which is necessary when considering general multipliers (see (1.1)). However, we have also seen in Example 3.3 that for the scalar multiplier $m(\xi )=|\xi |^{-s}$ such a restriction is not necessary, as follows from Proposition 3.2 since the kernel associated with m is positive. We now show that also for operator-valued multipliers with positive kernels on p-convex and q-concave Banach lattices, the restriction $p\le 2\le q$ is not necessary and moreover $\gamma $-boundedness can be avoided. First we state the result for multipliers between Bessel spaces.

Theorem 3.24

Let $p,q\in [1,\infty )$ with $p\le q$, and let $r\in (1,\infty ]$ be such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. Let X be a p-convex Banach lattice with finite cotype, and let Y be a q-concave Banach lattice. Suppose that $K:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ is such that $K(\cdot )x\in L^{1}({\mathbb {R}^{d}};Y)$ for all $x\in X$, K(s) is a positive operator for all $s\in {\mathbb {R}^{d}}$, and $m:{\mathbb R}^d\rightarrow {\mathcal {L}}(X,Y)$ is such that ${\mathcal {F}}(Kx)=mx$ for all $x\in X$. Then $T_{m}\in {\mathcal {L}}(\dot{H}_{p}^{d/r}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ and

$$\begin{aligned} \Vert T_{m}\Vert _{{\mathcal {L}}(\dot{H}_{p}^{d/r}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le C \Vert m(0)\Vert _{{\mathcal {L}}(X,Y)}\le C\sup _{\xi \in {\mathbb {R}^{d}}\setminus \{0\}} \Vert m(\xi )\Vert _{{\mathcal {L}}(X,Y)} \end{aligned}$$

(3.14)

for some $C\ge 0$ independent of K.

By further approximation arguments one can often avoid the assumptions that $K(\cdot )x\in L^{1}({\mathbb {R}^{d}};Y)$ for all $x\in X$. It follows from [50] that the bound in Theorem 3.24 is optimal in a certain sense.

Proof

The second estimate in (3.14) follows from the continuity of $mx = {\mathcal {F}}(Kx)$. Since $\dot{\mathcal {S}}({\mathbb {R}^{d}})\otimes X$ is dense in $\dot{H}^{d/r}({\mathbb {R}^{d}};X)$, for the first estimate in (3.14) it suffices to fix an $f\in \dot{\mathcal {S}}({\mathbb {R}^{d}})\otimes X$ and to show that $T_{m}(f)\in L^{q}({\mathbb {R}^{d}};X)$ with

$$\begin{aligned} \Vert T_{m}(f)\Vert _{L^{q}({\mathbb {R}^{d}};Y)}\le C\Vert m(0)\Vert \, \Vert f\Vert _{\dot{H}^{d/r}_{p}({\mathbb {R}^{d}};X)}. \end{aligned}$$

(3.15)

Since X has finite cotype, it does not contain a copy of $\mathrm {c}_{0}$. Hence, by [40, Theorem 1.a.5 and Proposition 1.a.7], X is order continuous. Moreover, the range of f is contained in a separable subspace $X_{0}$ of X. By [40, Proposition 1.a.9], $X_{0}$ has a weak order unit. Now [40, Theorem 1.b.14] implies that $X_{0}$ is order isometric to a Banach function space. Similarly, Y is order continuous, and the range of $T_{m}(f)$ is contained in a separable subspace $Y_{0}$ which is order isometric to a Banach function space. So henceforth we may assume without loss of generality that X and Y are Banach function spaces.

It follows by approximation from Lemma 2.1 that

$$\begin{aligned} \Vert K*f\Vert _{L^{q}({\mathbb {R}^{d}};Y)}&\le C_{1}\Vert K*f\Vert _{Y(L^{q}({\mathbb {R}^{d}}))}=C\Big \Vert \Big (\int _{{\mathbb {R}^{d}}}|K*f(t)|^{q}\,\mathrm {d}t\Big )^{1/q}\Big \Vert _{Y}\\&=C\Big \Vert \Big (\int _{{\mathbb {R}^{d}}}\Big |\int _{{\mathbb {R}^{d}}}K(s)f(t-s)\,\mathrm {d}s\Big |^{q}\,\mathrm {d}t\Big )^{1/q}\Big \Vert _{Y}\\&\le C\Big \Vert \int _{{\mathbb {R}^{d}}}\Big (\int _{{\mathbb {R}^{d}}}|K(s)f(t-s)|^{q}\,\mathrm {d}t\Big )^{1/q}\,\mathrm {d}s\Big \Vert _{Y} \end{aligned}$$

for some constant $C\ge 0$, where we used Minkowski’s integral inequality in the final step. Lemma 2.2, applied to the positive operator $K(s)\in {\mathcal {L}}(X,Y)$ and the function $f(\cdot -s)\in L^{p}({\mathbb {R}^{d}})\otimes X$ for each $s\in {\mathbb {R}^{d}}$, yields

$$\begin{aligned} \int _{{\mathbb {R}^{d}}}\Big (\int _{{\mathbb {R}^{d}}}|K(s)f(t-s)|^{q}\,\mathrm {d}t\Big )^{1/q}\,\mathrm {d}s&\le \int _{{\mathbb {R}^{d}}}K(s)\Big (\int _{{\mathbb {R}^{d}}}|f(t-s)|^{q}\,\mathrm {d}t\Big )^{1/q}\,\mathrm {d}s\\&=\int _{{\mathbb {R}^{d}}}K(s)\Big (\int _{{\mathbb {R}^{d}}}|f(t)|^{q}\,\mathrm {d}t\Big )^{1/q}\,\mathrm {d}s=m(0)x_{0}, \end{aligned}$$

where $x_{0}:=\Big (\int _{{\mathbb {R}^{d}}}|f(t)|^{q}\,\mathrm {d}t\Big )^{1/q}\in X$. Therefore,

$$\begin{aligned} \Big \Vert \int _{{\mathbb {R}^{d}}}\Big (\int _{{\mathbb {R}^{d}}}|K(s)f(t-s)|^{q}\,\mathrm {d}t\Big )^{1/q}\,\mathrm {d}s\Big \Vert _{Y}&\le \Vert m(0)\Vert \, \Big \Vert \Big (\int _{{\mathbb {R}^{d}}}|f(t)|^{q}\,\mathrm {d}t\Big )^{1/q}\Big \Vert _{X}. \end{aligned}$$

The Sobolev embedding $\dot{H}^{d/r}_{p}({\mathbb {R}^{d}})\hookrightarrow L^{q}({\mathbb {R}^{d}})$ yields

$$\begin{aligned} \Big \Vert \Big (\int _{{\mathbb {R}^{d}}}|f(t)|^{q}\,\mathrm {d}t\Big )^{1/q}\Big \Vert _{X}=\Vert \Vert f(\cdot )\Vert _{L^{q}({\mathbb {R}^{d}})}\Vert _{X}\le C\Vert \Vert f(\cdot )\Vert _{\dot{H}^{d/r}_{p}({\mathbb {R}^{d}})}\Vert _{X}. \end{aligned}$$

Finally, Lemma 2.1 yields that, for $n(\xi ):=|\xi |^{d/r}{\mathrm {I}}_{X}\in {\mathcal {L}}(X)$,

$$\begin{aligned} \Vert \Vert f(\cdot )\Vert _{\dot{H}^{d/r}_{p}({\mathbb {R}^{d}})}\Vert _{X}&=\Vert \Vert T_{n}(f)(\cdot )\Vert _{L^{p}({\mathbb {R}^{d}})}\Vert _{X}\le C\Vert T_{n}(f)\Vert _{L^{p}({\mathbb {R}^{d}};X)}\\&=C\Vert f\Vert _{\dot{H}^{d/r}_{p}({\mathbb {R}^{d}};X)}. \end{aligned}$$

Combining all these estimates yields (3.15) and concludes the proof. $\square $

In terms of $L^{p}$-$L^{q}$-multipliers we obtain the following result. Note that below we require that the kernel associated with the multiplicative perturbation $|\xi |^{d/r}m(\xi )$ of m is positive, unlike in Proposition 3.2 where this positivity was required of the kernel associated with m.

Corollary 3.25

Let $p,q\in [1,\infty )$ with $p\le q$, and let $r\in (1,\infty ]$ be such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. Let X be a p-convex Banach lattice with finite cotype, and let Y be a q-concave Banach lattice. Suppose that $K:{\mathbb {R}^{d}}\rightarrow {\mathcal {L}}(X,Y)$ is such that $K(\cdot )x\in L^{1}({\mathbb {R}^{d}};Y)$ for all $x\in X$, K(s) is a positive operator for all $s\in {\mathbb {R}^{d}}$, and $m:{\mathbb R}^d\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ is such that ${\mathcal {F}}(Kx)(\cdot )=|\cdot |^{d/r}m(\cdot )x$ for all $x\in X$. Then $T_{m}$ extends uniquely to a bounded map $\widetilde{T}_{m}\in {\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ with

$$\begin{aligned} \Vert \widetilde{T}_{m}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))}\le C\sup _{\xi \in {\mathbb {R}^{d}}\setminus \{0\}}|\xi |^{d/r}\Vert m(\xi )\Vert _{{\mathcal {L}}(X,Y)} \end{aligned}$$

for some $C\ge 0$ independent of m.

Proof

First note that m is of moderate growth at infinity, where we use that $r>1$. Hence $T_{m}:\mathcal {S}({\mathbb {R}^{d}})\otimes X\rightarrow \mathcal {S}'({\mathbb {R}^{d}};Y)$ is well-defined. Now the result follows by applying Theorem 3.24 to the symbol $\xi \mapsto |\xi |^{d/r}m(\xi )\in {\mathcal {L}}(X,Y)$, since $f\mapsto T_{|\xi |^{-d/r}}(f)$ is an isometric isomorphism $L^{p}({\mathbb {R}^{d}};X)\rightarrow \dot{H}^{d/r}_{p}({\mathbb {R}^{d}};X)$ and $T_{m}(f)=T_{|\xi |^{d/r}m(\xi )}(T_{|\xi |^{-d/r}}(f))$ for $f\in \dot{\mathcal {S}}({\mathbb {R}^{d}};X)$.

3.6 Converse Results and Comparison

In the next result we show that in certain situations the type p of X (or cotype q of Y) is necessary in Theorems 1.1, 3.18 and 3.21. The technique is a variation of the argument of Proposition 3.15 and in particular Lemma 3.14.

Lemma 3.26

Let X be a Banach space with cotype 2 and let Y be a Banach space with type 2. Let $p\in (1, 2]$, $q\in [2, \infty )$ and $r\in (1,\infty ]$ be such that $\frac{1}{r} = \frac{1}{p} - \frac{1}{q}$. Assume that for all strongly measurable $m:{\mathbb R}^d\rightarrow {\mathcal {L}}(X,Y)$ for which $\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\}$ is $\gamma $-bounded, the operator $T_{m}:L^{p}({\mathbb {R}^{d}};X)\rightarrow L^{q}({\mathbb {R}^{d}};Y)$ is bounded. Then

$$\begin{aligned} \int _{{\mathbb R}^d} |\xi |^{-\frac{d}{r}} \Vert \widehat{f}(\xi )\Vert _X \Vert \widehat{g}(\xi )\Vert _{Y^*} \,\mathrm {d}\xi \le C\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)} \Vert g\Vert _{L^{q'}({\mathbb {R}^{d}};Y^*)} \end{aligned}$$

(3.16)

for some $C\ge 0$ and all $f\in \mathcal {S}({\mathbb {R}^{d}};X)$ and $g\in \mathcal {S}({\mathbb {R}^{d}};Y^{*})$.

At first glance it might seem surprising that we use that X has cotype 2 and Y has type 2. This is to be able to handle the $\gamma $-bound of $\{|\xi |^{\frac{d}{r}} m(\xi )\mid \xi \in {\mathbb R}^d\}$ in a simple way.

Proof

Since X has cotype 2 and Y has type 2, the $\gamma $-boundedness and uniform boundedness of $\{|\xi |^{\frac{d}{r}} m(\xi )\mid \xi \in {\mathbb R}^d\}$ are equivalent. Therefore, by the closed graph theorem there is a constant C such that for all $f\in L^{p}({\mathbb {R}^{d}};X)$ and $g\in L^{q'}({\mathbb {R}^{d}};Y^*)$

$$\begin{aligned} |\langle T_m f, g\rangle | \le C \sup \{|\xi |^{\frac{d}{r}} \Vert m(\xi )\Vert _{{\mathcal {L}}(X,Y)}\mid \xi \in {\mathbb R}^d\} \Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)} \Vert g\Vert _{L^{q'}({\mathbb {R}^{d}};Y^*)}. \end{aligned}$$

Hence, letting $M(\xi ) := |\xi |^{\frac{d}{r}} m(\xi )$, we see that for all $f\in \mathcal {S}({\mathbb R}^d;X)$ and $g\in \mathcal {S}({\mathbb R}^d;Y^*)$,

$$\begin{aligned}&\Big |\int _{{\mathbb R}^d} \langle M(\xi ) |\xi |^{-\frac{d}{r}} \widehat{f}(\xi ),\widehat{g}(\xi )\rangle \,\mathrm {d}\xi \Big | \\&\quad \le C \sup \{\Vert M(\xi )\Vert \mid \xi \in {\mathbb R}^d\} \Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)} \Vert g\Vert _{L^{q'}({\mathbb {R}^{d}};Y^*)}. \end{aligned}$$

Taking the supremum over all strongly measurable M which are uniformly bounded by 1, a similar approximation argument as in Lemma 3.14 yields the desired result. $\square $

Proposition 3.27

Let X and Y be Banach spaces. Let $p\in (1, 2]$, $q\in [2, \infty )$ and $r\in (1, \infty ]$ be such that $\frac{1}{r} = \frac{1}{p} - \frac{1}{q}$. Assume that for all X-strongly measurable $m:{\mathbb R}^d\rightarrow {\mathcal {L}}(X,Y)$ such that $\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\}$ is $\gamma $-bounded, the operator $T_{m}:L^{p}({\mathbb {R}^{d}};X)\rightarrow L^{q}({\mathbb {R}^{d}};Y)$ is bounded. Then the following assertions hold:

(1)

If X has cotype 2, $Y = {\mathbb C}$, and $q=2$, then X has type p.
(2)

If Y has type 2, $X = {\mathbb C}$, and $p=2$, then Y has cotype q.
(3)

If $Y = X^*$ has type 2, and $q = p'$, then X has type p.

Proof

First consider (1). From (3.16) we find that for all $f\in \mathcal {S}({\mathbb R}^d;X)$ and $g\in \mathcal {S}({\mathbb R}^d)$,

$$\begin{aligned} \int _{{\mathbb R}^d} |\xi |^{-\frac{d}{r}} \Vert \widehat{f}(\xi )\Vert _X |\widehat{g}(\xi )| \,\mathrm {d}\xi \le C\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)} \Vert \widehat{g}\Vert _{L^{2}({\mathbb {R}^{d}})}.\end{aligned}$$

Taking the supremum over all g with $\Vert g\Vert _{L^2({\mathbb R}^d)} = \Vert \widehat{g}\Vert _{L^2({\mathbb R}^d)} = 1$, we obtain

$$\begin{aligned} \Vert \xi \mapsto |\xi |^{-\frac{d}{r}} \widehat{f}(\xi )\Vert _{L^2({\mathbb R}^d;X)} \le C\Vert f\Vert _{L^{p}({\mathbb {R}^{d}};X)}. \end{aligned}$$

(3.17)

By an approximation argument this estimate extends to all $f\in L^{p}({\mathbb {R}^{d}};X)$. In particular, let $f(t) := \sum _{|k|\le n} {\mathbf{1}}_{[-\frac{1}{2},\frac{1}{2})^d}(t+k) x_k$ for $n\in {{\mathbb N}}$, $x_{1},\ldots , x_{n}\in X$ and $t\in {\mathbb {R}^{d}}$. Then

$$\begin{aligned} \Vert \widehat{f}(\xi )\Vert = \zeta (\xi ) \Big \Vert \sum _{|k|\le n} e_{k}(\xi )x_k\Big \Vert , \end{aligned}$$

where $\zeta (\xi ) := \prod _{j=1}^d \frac{|\sin (\pi \xi _j)|}{\pi |\xi _j|}$ and $e_k(\xi ) := e^{2\pi i k\cdot \xi }$ for $\xi \in {\mathbb {R}^{d}}$. Since $\zeta (\xi ) |\xi |^{-d/r}\ge c_d$ for some $c_{d}>0$ and all $\xi \in [-\frac{1}{2},\frac{1}{2}]^{d}$, it follows from (3.17) that

$$\begin{aligned} \Big \Vert \sum _{|k|\le n} e_k x_k\Big \Vert _{L^{2}([-\frac{1}{2},\frac{1}{2}]^d;X)} \le C c_d^{-1} \Bigg (\sum _{|k|\le n} \Vert x_k\Vert ^p\Bigg )^{\frac{1}{p}}. \end{aligned}$$

Let $(\gamma _k)_{|k|\le n}$ be a Gaussian sequence. Replacing $x_k$ by $\gamma _k x_k$, and taking $L^{2}(\Omega )$-norms, we find that

$$\begin{aligned} \Big \Vert \sum _{|k|\le n} \gamma _k x_k\Big \Vert _{L^{2}(\Omega ;X)} \le C c_d^{-1} \Bigg (\sum _{|k|\le n} \Vert x_k\Vert ^p\Bigg )^{\frac{1}{p}}. \end{aligned}$$

Here we used the fact that for each $t\in [-\frac{1}{2},\frac{1}{2}]^d$, $(\gamma _k e_k(t))_{|k|\le n}$ is identically distributed as $(\gamma _k)_{|k|\le n}$. This implies that X has type p.

Case (2) can be proved in a similar way by reversing the roles of f and g. Indeed, this gives that $Y^*$ has type $q'$ and hence Y has cotype q.

In case (3) we let $f = g\in \mathcal {S}({\mathbb R}^d;X)$ in (3.16) and argue as below (3.17). Here we use that $X\subseteq X^{**}$ has cotype 2 (see [17, Proposition 11.10]).

If $X = {\mathbb C}$, then (3.17) is a special case of Pitt’s inequality (see [5] and [7]):

$$\begin{aligned} \Vert \xi \mapsto |\xi |^{-\alpha } \widehat{f}(\xi )\Vert _{L^q({\mathbb R}^d;X)} \le C\Vert s\mapsto |s|^{\beta } f(s)\Vert _{L^{p}({\mathbb {R}^{d}};X)}, \end{aligned}$$

(3.18)

where $1<p\le q<\infty $, $0\le \alpha <\frac{d}{q}$, $0\le \beta <\frac{d}{p'}$ and $\frac{d}{p} + \frac{d}{q} +\beta -\alpha = d$.

Note that Theorem 3.18 and the proof of Proposition 3.27 show that (3.18) holds if X has type $p_{0}>p$ and cotype 2. Moreover, by the proof above one sees that Pitt’s inequality with $\beta = 0$ and $q=2$ implies that X has type p and $X^*$ has type p. Moreover, in the case $\alpha = \beta = 0$ and $q = p'$, Pitt’s inequality is equivalent to X having Fourier type p. It seems that a vector-valued analogue of Pitt’s inequality has never been studied in detail. This leads to the following natural open problem:

Problem 3.28

Characterize those Banach spaces X for which Pitt’s inequality (3.18) holds.

For p-convex and q-concave Banach lattices, (3.18) can be proved by reducing to the scalar case using the technique of [20, Proposition 2.2].

Next we show that a $\gamma $-boundedness assumption cannot be avoided in general. In the case where $p=q$ such a result is due Clément and Prüss (see [28, Chap. 5]). In Proposition 3.9 and Theorem 3.12 we have seen that $\gamma $-boundedness is not needed for certain $L^p$-$L^q$-multiplier theorems. In the following result we derive the necessity of the $\gamma $-boundedness of $\{m(\xi )\mid \xi \in {\mathbb R}^d\}$ under special conditions on m.

Proposition 3.29

Assume $1<p\le q<\infty $ and let $\frac{1}{r} = \frac{1}{p} - \frac{1}{q}$. Assume $m:{\mathbb R}^d\rightarrow {\mathcal {L}}(X,Y)$ is such that there is a constant $a>0$ such that m takes the constant value $m_{k}$ on each of the cubes $Q_{a,k} = a([0,1]^d +k)$ with $k\in {{\mathbb Z}}^d$. If $T_m:L^p({\mathbb R}^d;X)\rightarrow L^q({\mathbb R}^d;X)$ is bounded, then

$$\begin{aligned} \gamma (\{m_k\mid k\in {{\mathbb Z}}\})\le R(\{m_k\mid k\in {{\mathbb Z}}\})\le C_{d,p,q'} a^{-d/r} \Vert T_m\Vert \end{aligned}$$

for some $C_{d,p,q'}\ge 0$.

In Example 3.30 we will provide an example where even the $\gamma $-boundedness of $\{|\xi |^{d/r} m(\xi )\mid \xi \in {\mathbb R}^d\}$ is necessary. However, in general such a result does not hold (see Remark 3.31).

Proof

From Proposition 3.4 and Remark 3.5 we obtain that

$$\begin{aligned} \Big \Vert \sum _{|k|\le n} e_k m_k x_k\Big \Vert _{L^{p}({\mathbb T}^d;Y)} \le a^{-d/r} C_{d,p,q'} \Vert T_m\Vert \, \Big \Vert \sum _{|k|\le n} e_k x_k \Big \Vert _{L^p({\mathbb T}^d;X)}. \end{aligned}$$

(3.19)

Now the R-boundedness follows from [4]. For convenience we include a short argument below. Let $(\varepsilon _k)_{|k|\le n}$ be a sequence of independent random variables which are uniformly distributed on $\Omega :=[0,1]^d$. Replacing $x_k$ by $\varepsilon _k x_k$ in (3.19) and integrating over $\Omega $ yields that

$$\begin{aligned} \Big \Vert \sum _{|k|\le n} \varepsilon _k m_k x_k\Big \Vert _{L^p(\Omega ;Y)}&= \Big \Vert \sum _{|k|\le n} \varepsilon _k e_k m_k x_k\Big \Vert _{L^p(\Omega \times {\mathbb T}^d;Y)} \\&\le a^{-d/r} C_{d,p,q'} \Vert T_m\Vert \, \Big \Vert \sum _{|k|\le n} \varepsilon _k e_k x_k \Big \Vert _{L^p(\Omega \times {\mathbb T}^d;X)} \\&\le a^{-d/r} C_{d,p,q'} \Vert T_m\Vert \, \Big \Vert \sum _{|k|\le n} \varepsilon _k x_k \Big \Vert _{L^p(\Omega ;X)}. \end{aligned}$$

Here we used the fact that for each $t\in {\mathbb T}^d$, $(\varepsilon _k e_k(t))_{|k|\le n}$ and $(\varepsilon _k)_{|k|\le n}$ are identically distributed.

Finally, the estimate for the $\gamma $-bound is well-known and follows from a randomization argument. $\square $

The following example, which is similar to Example 3.17, shows that Theorem 3.21 is sharp in a certain sense. In particular, it shows that the $\gamma $-boundedness condition is necessary in certain cases.

Example 3.30

Let $p\in [1,2]$, and for $q\in [2,\infty )$ let $r\in (1,\infty ]$ be such that $\tfrac{1}{r}=\tfrac{1}{p}-\tfrac{1}{q}$. Let $X:=\ell ^{u}$ for $u\in [1,\infty )$. Let $(e_j)_{j\in {{\mathbb N}}_{0}}\subseteq X$ be the standard basis of X, and for $k\in {{\mathbb N}}_{0}$ let $S_{k}\in {\mathcal {L}}(X)$ be such that $S_{k}(e_{j}):= e_{j+k}$ for $j\in {{\mathbb N}}_{0}$. Let $m:{\mathbb R}\rightarrow {\mathcal {L}}(\ell ^{u})$ be given by $m(\xi ):=\sum _{k=1}^{\infty } c_k {\mathbf {1}}_{(k-1,k]}(\xi )S_{k}$ for $\xi \in {\mathbb R}$, with $c_k := k^{-\alpha } \log (k+1)^{-2}$ for $\alpha \ge 0$ arbitrary but fixed for the moment.

Let $v\in [2,\infty ]$ be such that $\tfrac{1}{v} = \big |\tfrac{1}{u} - \tfrac{1}{2}\big |$. By (2.6) and [58, Theorem 3.1] we find a constant $C\ge 0$ such that

$$\begin{aligned} \gamma (\{|\xi |^{\frac{1}{r}} m(\xi )\mid \xi \in {\mathbb R}\})&\le \gamma (\{k^{\frac{1}{r} - \alpha } \log (k+1)^{-2} S_{k}\mid k\in {{\mathbb N}}\}) \\&\le C \Vert (k^{\frac{1}{r} - \alpha } \log (k+1)^{-2} \Vert S_k\Vert _{{\mathcal {L}}(X)})_{k=1}^\infty \Vert _{\ell ^v} \\&\le C\Bigg (\sum _{k=1}^{\infty } k^{(\frac{1}{r} - \alpha )v} \log (k+1)^{-2v} \Bigg )^{\frac{1}{v}} \end{aligned}$$

(with the obvious modification for $v=\infty $), and the latter expression is finite if and only if $\frac{1}{r} - \alpha \le -\frac{1}{v}$, i.e. if and only if $\alpha \ge \tfrac{1}{p}-\tfrac{1}{q}+\tfrac{1}{v}$.

If $u\in [p, 2]$ then X is a p-convex and q-concave Banach lattice for all $q\ge p$, hence by Theorem 3.21 we find that with $\alpha =\tfrac{1}{p}-\tfrac{1}{q}+\tfrac{1}{u} - \tfrac{1}{2}$, $T_m:L^{p}({\mathbb R};X)\rightarrow L^{q}({\mathbb R};X)$ is bounded for all $q\ge 2$. Note that for $q=2$ and $u>p$, m is more singular than in Example 3.17, where we used Proposition 3.9 to obtain the boundedness of $T_{m}:L^{p}({\mathbb R};X)\rightarrow L^{p'}({\mathbb R};X)$ for $\alpha =\tfrac{1}{p}-\tfrac{1}{p'}> \tfrac{1}{p}+\tfrac{1}{u}-1$. In the special case where $u=p$, both results can be combined using complex interpolation to obtain that $T_m:L^p({\mathbb R};X)\rightarrow L^q({\mathbb R};X)$ is bounded for all $q\in [2, p']$ if $\alpha = \tfrac{2}{p}-1$.

Note also that the difference between Proposition 3.9 and Theorem 3.21 is most pronounced when $p=u=1$. In this case $X=\ell ^{1}$ has trivial type and trivial Fourier type, but cotype $q=2$. Hence Proposition 3.9 only yields the boundedness of $T_{m}:L^{1}({\mathbb R};X)\rightarrow L^{\infty }({\mathbb R};X)$ for $\alpha \ge 1$, which can also be obtained trivially since in this case m is integrable. On the other hand, Theorem 3.21 yields the nontrivial statement that $T_{m}:L^{1}({\mathbb R};X)\rightarrow L^{2}({\mathbb R};X)$ is bounded for $\alpha \ge 1$.

Now fix $q\in [2,\infty )$ and let $u\in [2, q]$. Then, similarly, with $\alpha = 1 - \frac{1}{q} - \frac{1}{u}$ the operator $T_m:L^{2}({\mathbb R};X)\rightarrow L^{q}({\mathbb R};X)$ is bounded. In the special case that $u = q$, combined with Example 3.17 we find that $T_m:L^{p}({\mathbb R};X)\rightarrow L^{q}({\mathbb R};X)$ is bounded for all $p\in [q',2]$ with $\alpha = \tfrac{2}{q'}-1$.

We now show that in certain cases the condition $\alpha \ge \frac{1}{p} - \frac{1}{q} + \Big |\frac{1}{u} - \frac{1}{2}\Big |$ for the $\gamma $-boundedness of $\{|\xi |^{1/r}m(\xi )\mid \xi \in {\mathbb R}\}$ from above is sharp in order for $T_m:L^{p}({\mathbb R};X)\rightarrow L^{q}({\mathbb R};X)$ to be bounded. First suppose that $u\in [1, 2]$. For $k\in {{\mathbb N}}$ let ${\varphi }_{k}:{\mathbb R}\rightarrow {\mathbb C}$ be such that $\widehat{{\varphi }_{k}}={\mathbf{1}}_{(k-1,k]}$, and for $n\in {{\mathbb N}}$ let $f := \sum _{k=n+1}^{2n} {\varphi }_{k} e_0$. Then, as in Example 3.17, we find that

$$\begin{aligned} \Vert T_{m}(f)\Vert _{L^{q}({\mathbb R};X)} \ge n^{\frac{1}{u}} |c_{2n}| \Vert \varphi _1\Vert _{L^{q}({\mathbb R})} = C n^{\frac{1}{u}} n^{-\alpha } \log (n)^{-2} \end{aligned}$$

and $\Vert f\Vert _{L^{p}({\mathbb R};X)} \le C_{2} n^{1-\frac{1}{p}}$ for $p>1$. Therefore, $\alpha \ge \frac{1}{u} + \frac{1}{p}-1$. This shows that for $q=2$ and $u\in [1, 2]$, the condition on $\alpha $ which guarantees $\gamma $-boundedness is necessary. In the case $u\in [2, \infty )$, a duality argument shows that $\alpha \ge \frac{1}{u'} + \frac{1}{q'}-1 = 1-\frac{1}{u} - \frac{1}{q}$, which shows that the $\gamma $-boundedness condition is also necessary if $p=2$ and $u\in [2, \infty )$.

Recall from the last part of Example 3.17 that if $u\in [1, \infty )$ and $\alpha = \frac{2}{p}-1$ and $T_m:L^p({\mathbb R};X)\rightarrow L^2({\mathbb R};X)$ is bounded, then $\frac{1}{u}\le 1-\frac{1}{p} + \alpha = \frac{1}{p}$ and thus $u\ge p$. Similarly, if $T_m:L^2({\mathbb R};X)\rightarrow L^q({\mathbb R};X)$ is bounded with $\alpha = 1-\frac{2}{q}$, then $\frac{1}{u'}\le 1-\frac{1}{q'} + \alpha = \frac{1}{q'}$, and thus $u\le q$.

By considering $m_n(\xi ) := \sum _{k=1}^{n} {\mathbf {1}}_{(k-1,k]}(\xi )S_{k}$ a similar argument yields that for $X = \ell ^p$ with $p\in [1, 2]$ and $\frac{1}{r} = \frac{1}{p} - \frac{1}{2}$, one has

$$\begin{aligned}\Vert T_{m_n}\Vert _{{\mathcal {L}}(L^p({\mathbb R};X), L^2({\mathbb R};X))} \eqsim _p \gamma (\{|\xi |^{\frac{1}{r}} m_n(\xi )\mid \xi \in {\mathbb R}\}).\end{aligned}$$

In particular this shows that the $\gamma $-bound provides the right factor in certain cases.

In the following remark we show that one cannot prove the $\gamma $-boundedness, or even the uniform boundedness, of $\{|\xi |^{d/r} m(\xi )\mid \xi \in {\mathbb R}^d\}$ in general.

Remark 3.31

Let $m:{\mathbb R}^d\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ be X-strongly measurable. If $r<\infty $, then one cannot prove

$$\begin{aligned} \sup \{|\xi |^{\sigma } \Vert m(\xi )\Vert \mid \xi \in {\mathbb R}^d\setminus \{0\}\}\le C \Vert T_m\Vert \end{aligned}$$

for any $\sigma \in {\mathbb R}$. Indeed, $\sigma \le 0$ is not possible for the multiplier $m(\xi ) := |\xi |^{-d/r}$ which is unbounded near zero. For $\sigma >0$, one can use the same multiplier and a translation argument to deduce a contradiction. Moreover, for any nonzero multiplier m one can consider $m_h = m(\cdot -h)$ for $h\in {\mathbb R}^d$. Then $\Vert T_m\Vert = \Vert T_{m_h}\Vert $ and it follows that

$$\begin{aligned} |\xi _0+h|^{\sigma } \Vert m(\xi _0)\Vert = \sup \{|\xi |^{\sigma } \Vert m(\xi -h)\Vert \mid \xi \in {\mathbb R}^d\setminus \{0\}\}\ \le C \Vert T_{m_h}\Vert = C \Vert T_{m}\Vert \end{aligned}$$

for all $\xi _0\in {\mathbb R}^d$. Letting $|h|\rightarrow \infty $ yields a contradiction whenever $m(\xi _0)\ne 0$.

In the next remark we compare the results obtained in this section with the ones obtained by Fourier type methods.

Remark 3.32

(i)

Consider the case of scalar-valued multipliers m. If $X = Y$ has Fourier type $p_0>p$, then Theorem 3.12 states that $T_m\in {\mathcal {L}}(L^p({\mathbb R}^d;X),L^{p'}({\mathbb R}^d);X))$ for all $m\in L^{r,\infty }({\mathbb R}^d)$, where $\frac{1}{r} = \frac{1}{p} - \frac{1}{p'}$. This class of multipliers is larger than the one obtained in Theorem 3.18 since
$$\begin{aligned} \sup \{ |\xi |^{\frac{d}{r}} m(\xi )\mid \xi \in {\mathbb R}^d\} \le C_d \Vert m\Vert _{L^{r,\infty }({\mathbb R}^d)}. \end{aligned}$$
On the other hand, the geometric conditions in Theorem 3.18 are less restrictive. Indeed, Fourier type $p_0$ implies that X has type $p_0$ and cotype $p_0'$, but the converse is false.
(ii)

An important difference between Proposition 3.9 and Theorem 3.12 and the results obtained in Subsections 3.4 and 3.5 is that the former do not require any $\gamma $-boundedness condition. Of course the assumptions on type and cotype are less restrictive, and furthermore by [30] the $\gamma $-boundedness can be avoided if X has cotype u and Y has type v and $|\cdot |^{\frac{d}{r}} m(\cdot )\in B^{\frac{d}{w}}_{w,1}({\mathbb R}^d;{\mathcal {L}}(X,Y))$ for $\frac{1}{w} = \frac{1}{u}-\frac{1}{v}$. In this case
$$\begin{aligned} \gamma (\{ |\xi |^{\frac{d}{r}} m(\xi )\mid \xi \in {\mathbb R}^d\}) \le \Vert |\cdot |^{\frac{d}{r}} m(\cdot )\Vert _{{B}^{\frac{d}{w}}_{w,1}({\mathbb R}^d;{\mathcal {L}}(X,Y))}. \end{aligned}$$

4 Extrapolation

In this section we briefly discuss an extension of the extrapolation results of Hörmander in [27].

Let $m:{\mathbb {R}^{d}}\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ be a strongly measurable map of moderate growth at zero and infinity. For $r\in [1, \infty )$, $\varrho \in [1, \infty )$ and $n\in {{\mathbb N}}$, consider the following variants of the Mihlin–Hörmander condition:

$(M1)_{r,\varrho ,n}$ There exists a constant $M_1\ge 0$ such that for all multi-indices $|\alpha |\le n$,
$$\begin{aligned} R^{|\alpha | + \frac{d}{r} - \frac{d}{\varrho }} \Big (\int _{R\le |\xi |<2R} \Vert \partial ^{\alpha } m(\xi )x\Vert ^{\varrho } \, d\xi \Big )^{1/\varrho }\le M_1\Vert x\Vert \qquad (x\in X, R>0). \end{aligned}$$
$(M2)_{r,\varrho ,n}$ There exists a constant $M_2\ge 0$ such that for all multi-indices $|\alpha |\le n$
$$\begin{aligned} R^{|\alpha | + \frac{d}{r} - \frac{d}{\varrho }} \Big (\int _{R\le |\xi |<2R} \Vert \partial ^{\alpha } m(\xi )^*y^*\Vert ^{\varrho } \, d\xi \Big )^{1/\varrho }\le M_2\Vert y^*\Vert \qquad (y^*\in Y^*, R>0). \end{aligned}$$

In the case $\varrho = 2$, $r=1$, $X = Y = {\mathbb R}$, condition (M1)$_{r,\varrho ,n}$ reduces to the classical Hörmander condition in [27, Theorem 2.5] (see also [23, Theorem 5.2.7]).

Now we can formulate the main result of this section. It extends [27, Theorem 2.5] to the vector-valued setting and to general exponents $p,q\in (1, \infty )$.

Theorem 4.1

Let $p_0,q_0,r\in [1, \infty ]$ with $r\ne 1$ be such that $\frac{1}{p_0} - \frac{1}{q_0} = \frac{1}{r}$. Let $m:{\mathbb {R}^{d}}\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ be a strongly measurable map of moderate growth at zero and infinity. Suppose that $T_m:L^{p_0}({\mathbb R}^d;X) \rightarrow L^{q_0}({\mathbb R}^d;Y)$ is bounded of norm B.

(1)

Suppose that $p_0\in (1, \infty ]$, Y has Fourier type $\varrho \in [1, 2]$ with $\varrho \le r$, and (M1)$_{r, \varrho , n}$ holds for $n := \lfloor \frac{d}{\varrho } - \frac{d}{r} \rfloor +1$. Then $T_{m}\in {\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ and
$$\begin{aligned} \Vert T_{m}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))} \le C_{p_{0},q_{0},p,d} (M_1 + B) \end{aligned}$$

(4.1)
for all (p, q) such that $p\in (1, p_0]$ and $\tfrac{1}{p}-\tfrac{1}{q}=\tfrac{1}{r}$, where $C_{p_0, q_0, p, d}\sim (p-1)^{-1}$ as $p\downarrow 1$.
(2)

Suppose that $q_0\in (1, \infty )$, X has Fourier type $\varrho \in [1, 2]$ with $\varrho \le r$, and (M2)$_{r, \varrho , n}$ holds for $n := \lfloor \frac{d}{\varrho } - \frac{d}{r} \rfloor +1$. Then $T_{m}\in {\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ and
$$\begin{aligned} \Vert T_m\Vert _{{\mathcal {L}}(L^{p}({\mathbb R}^d;X),L^{q}({\mathbb R}^d;Y))} \le C_{p_{0},q_{0},q,d} (M_2 + B), \end{aligned}$$

(4.2)
for all (p, q) satisfying $q\in [q_0,\infty )$ and $\tfrac{1}{p}-\tfrac{1}{q}=\tfrac{1}{r}$, where $C_{p_0, q_0, q, d}\sim q$ as $q\uparrow \infty $.

The proof will be presented in [49]. It is based on the classical argument in the case $p=q$ (see [23, Theorem 5.2.7]). One of the other ingredients is an operator-valued analogue of [27, Theorem 2.2].

As a consequence we obtain the following extrapolation result:

Corollary 4.2

Let $p_0,q_0,r\in [1, \infty ]$ with $q_0\ne 1 $ and $r\ne 1$ be such that $\frac{1}{p_0} - \frac{1}{q_0} = \frac{1}{r}$. Let X and Y both have Fourier type $\varrho \in [1,2]$ for $\varrho \le r$ and let $n := \lfloor \frac{d}{\varrho } - \frac{d}{r} \rfloor +1$. Let $m:{\mathbb {R}^{d}}\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ be such that, for all multi-indices $|\alpha |\le n$,

$$\begin{aligned} \Vert \partial ^{\alpha } m(\xi )\Vert \le C|\xi |^{-|\alpha | - \frac{d}{r}} \quad (\xi \in {\mathbb {R}^{d}}\setminus \{0\}). \end{aligned}$$

(4.3)

Suppose that $T_m:L^{p_0}({\mathbb {R}^{d}};X) \rightarrow L^{q_0}({\mathbb {R}^{d}};Y)$ is bounded of norm B. Then, for all exponents p and q satisfying $1<p\le q<\infty $ and $\frac{1}{p}-\frac{1}{q}=\frac{1}{q}$, $T_m:L^{p}({\mathbb R}^d;X) \rightarrow L^{q}({\mathbb R}^d;Y)$ is bounded and

$$\begin{aligned} \Vert T_m\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))} \le C_{p,q,d} (B+C) \end{aligned}$$

for some constant $C_{p,q,d}\ge 0$.

In particular, one can always take $\varrho = 1$ and $n= \lfloor \frac{d}{r'}\rfloor +1$ in the above results.

Proof

Note that, for $\xi \in {\mathbb {R}^{d}}$, $x\in X$ and $y^{*}\in Y^{*}$, $\Vert m(\xi )x\Vert _{Y}\le \Vert m(\xi )\Vert _{{\mathcal {L}}(X,Y)}\, \Vert x\Vert _{X}$ and $\Vert m^* y^*\Vert _{X^{*}}\le \Vert m(\xi )\Vert _{{\mathcal {L}}(X,Y)} \, \Vert y^*\Vert _{Y^{*}}$, and similarly for the derivatives of m. Therefore, the result follows from Theorem 4.1(1) and (2). Indeed,

(i)

$p_0, q_0\in (1, \infty )$: apply (1) and (2).
(ii)

$p_0\in (1, \infty ]$, $q_0 = \infty $: apply (1).
(iii)

$p_0=1$, $q_0\in (1, \infty )$: apply (2).
(iv)

$p_0=1$, $q_0 =\infty $ is not possible, since $r\ne 1$.
(v)

$p_0=1$, $q_0 = 1$ is not possible, since $q_0\ne 1$.$\square $

If $p_0 = q_0=1$, then Theorem 4.1 and Corollary 4.2 are true with $\varrho =1$ (see [49]).

Next we consider several applications of these extrapolation results.

In [41] an $L^{p}$-$L^{q}$-Fourier multiplier result was proved assuming differentiability up to order d. Moreover, in [51] an extension is discussed in the case $d=1$. We prove a similar result in the Hilbert space case in arbitrary dimensions assuming less differentiability.

Example 4.3

Let X and Y be Hilbert spaces. First consider $r\in (2, \infty ]$ and let $n:=\lfloor d(\tfrac{1}{2}-\tfrac{1}{r}) \rfloor +1$ and assume that $m:{\mathbb R}^d\setminus \{0\}\rightarrow {\mathbb C}$ is such that for all $|\alpha |\le n$

$$\begin{aligned} |\partial ^{\alpha } m(\xi )|\le C|\xi |^{-|\alpha | - \frac{d}{r}}\qquad ( \xi \in {\mathbb R}^d\setminus \{0\}). \end{aligned}$$

(4.4)

Then $T_m:L^p({\mathbb R}^d;X)\rightarrow L^q({\mathbb R}^d;X)$ is bounded for all $1<p\le q<\infty $ such that $\tfrac{1}{p}-\tfrac{1}{q}=\tfrac{1}{r}$. Indeed, we first prove the boundedness of $T_m$ in special cases. If $r= \infty $, then one can take $p_0 = q_0 = 2$ and the boundedness of $T_m$ from $L^2({\mathbb R}^d;X)$ into $L^2({\mathbb R}^d;Y)$ follows from Plancherel’s isometry and the uniform boundedness of m. If $r<\infty $, then we can find $p_{0}\in (1,2)$ and $q_{0}\in (2,\infty )$ such that $\tfrac{1}{p_{0}}-\tfrac{1}{q_{0}}=\tfrac{1}{r}$. Since X and Y have Fourier type 2 the boundedness of $T_m$ from $L^{p_0}({\mathbb R}^d;X)$ into $L^{q_0}({\mathbb R}^d;Y)$ follows from Theorem 3.12. Now Corollary 4.2 can be applied to extrapolate the boundedness to the remaining cases.

Next let $r\in (1,2]$. Then all $p,q\in (1,\infty )$ satisfying $\tfrac{1}{p}-\tfrac{1}{q}=\tfrac{1}{r}$ are such that $p\in (1,2)$ and $q\in (2,\infty )$. Hence each m satisfying (4.4) for $\alpha =0$ yields a bounded operator $T_{m}:L^{p}({\mathbb {R}^{d}};X)\rightarrow L^{q}({\mathbb {R}^{d}};Y)$ for all such p, q by Theorem 3.12.

Remark 4.4

Even in the case where $X = Y = {\mathbb C}$ (or X and Y are Hilbert spaces) the result in Corollary 4.2 with $\rho =2$ was only known for $r=\infty $. The point is that we only need derivatives up to order $\lfloor d(\tfrac{1}{2} - \tfrac{1}{r})\rfloor +1$ if $r>2$, whereas the classical condition requires derivatives up to $\lfloor d/2 \rfloor +1$. However, if m would have derivatives up to order $n:=\lfloor d/2\rfloor +1$ for which (4.3) holds, then the multiplier $M(\xi ) := |\xi |^{d/r} m(\xi )$ would satisfy the classical Mihlin condition: for all $|\alpha |\le n$

$$\begin{aligned} \Vert \partial ^{\alpha } M(\xi )\Vert \le C|\xi |^{-|\alpha |} \qquad (\xi \in {\mathbb {R}^{d}}\setminus \{0\}). \end{aligned}$$

Therefore, $T_{M}\in {\mathcal {L}}(L^{p}({\mathbb {R}^{d}}),L^{p}({\mathbb {R}^{d}}))$ for all $p\in (1, \infty )$. Consequently we find that, for any $1<p\le q<\infty $ with $\frac{1}{p}-\frac{1}{q} = \frac{1}{r}$,

$$\begin{aligned} \Vert T_m\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}}),L^{q}({\mathbb {R}^{d}}))}\le \Vert T_M\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}}),L^{p}({\mathbb {R}^{d}}))} \Vert T_{|\xi |^{-d/r}}\Vert _{{\mathcal {L}}(L^{p}({\mathbb {R}^{d}}),L^{q}({\mathbb {R}^{d}}))} <\infty , \end{aligned}$$

where we used the Hardy-Littlewood-Sobolev inequality (see Example 3.3). For $r\le 2$ we have already observed in Example 4.3 that in the Hilbertian setting no derivatives are required.

Thus in the scalar or Hilbertian setting we emphasize that the only new point is that less derivatives are required of the multiplier for $p<q$.

In the case where X and Y are general Banach spaces, the assertion about $T_{|\xi |^{-d/r}}$ remains true. However, the boundedness of $T_M$ is not as simple to obtain and in general requires geometric conditions on X (even if m is scalar-valued) and an R-boundedness version of the Mihlin condition (see [37]).

Another application of Corollary 4.2 is that we can extrapolate the result of Theorem 3.18 to other values of p and q. A similar result holds for Theorem 3.21.

Corollary 4.5

Let X be a Banach space with type $p_0\in (1,2]$ and Y a Banach space with cotype $q_0\in [2,\infty )$, and let $p_1\in (1, p_0)$ and $q_1\in (q_0, \infty )$, $r\in [1,\infty ]$ be such that $\tfrac{1}{r}=\tfrac{1}{p_1}-\tfrac{1}{q_1}$. Let $m:{\mathbb {R}^{d}}\setminus \{0\}\rightarrow {\mathcal {L}}(X,Y)$ be such that $\{|\xi |^{\frac{d}{r}}m(\xi )\mid \xi \in {\mathbb {R}^{d}}\setminus \{0\}\}\subseteq {\mathcal {L}}(X,Y)$ is $\gamma $-bounded.

Assume that X and Y both have Fourier type $\varrho \in [1, 2]$ with $\varrho \le r$ and let $ n:= \lfloor d(\tfrac{1}{\varrho }-\tfrac{1}{r})\rfloor +1$. Assume for all multi-indices $|\alpha |\le n$

$$\begin{aligned} \Vert \partial ^{\alpha } m(\xi )\Vert \le C|\xi |^{-|\alpha | - \frac{d}{r}}\qquad (\xi \in {\mathbb {R}^{d}}\setminus \{0\}). \end{aligned}$$

(4.5)

Then $T_{m}$ extends uniquely to a bounded map $\widetilde{T_{m}}\in {\mathcal {L}}(L^{p}({\mathbb {R}^{d}};X),L^{q}({\mathbb {R}^{d}};Y))$ for all $1<p\le q<\infty $ satisfying $\frac{1}{p}-\frac{1}{q}=\frac{1}{r}$.

Proof

The case where $p=p_1$ and $q=q_1$ follows from Theorem 3.18. The result for the remaining values of p and q follows from Corollary 4.2.$\square $

Notes

Acknowledgements

Mark Veraar is supported by the VIDI Subsidy 639.032.427 of the Netherlands Organisation for Scientific Research (NWO).

References

1.
Albiac, F., Kalton, N.J.: Topics in Banach Space Theory. Graduate Texts in Mathematics, vol. 233. Springer, New York (2006)Google Scholar
2.
Amann, H.: Operator-valued Fourier multipliers, vector-valued Besov spaces, and applications. Math. Nachr. 186, 5–56 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
3.
Arendt, W., Batty, C.J.K., Hieber, M., Neubrander, F.: Vector-Valued Laplace Transforms and Cauchy Problems, 2nd edn. Monographs in Mathematics, vol. 96. Birkhäuser/Springer Basel AG, Basel (2011)Google Scholar
4.
Arendt, W., Bu, S.: The operator-valued Marcinkiewicz multiplier theorem and maximal regularity. Math. Z. 240(2), 311–343 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
5.
Beckner, W.: Pitt’s inequality with sharp convolution estimates. Proc. Am. Math. Soc. 136(5), 1871–1885 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
6.
Benedek, A., Calderón, A.-P., Panzone, R.: Convolution operators on Banach space valued functions. Proc. Nat. Acad. Sci. USA 48, 356–365 (1962)MathSciNetCrossRefzbMATHGoogle Scholar
7.
Benedetto, J.J., Heinig, H.P.: Weighted Fourier inequalities: new proofs and generalizations. J. Fourier Anal. Appl. 9(1), 1–37 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
8.
Bergh, J., Löfström, J.: Interpolation Spaces. An Introduction. Springer-Verlag, Berlin (1976). Grundlehren der Mathematischen Wissenschaften, No. 223Google Scholar
9.
Berkson, E., Gillespie, T.A.: Spectral decompositions and harmonic analysis on UMD spaces. Studia Math. 112(1), 13–49 (1994)MathSciNetzbMATHGoogle Scholar
10.
Bourgain, J.: Some remarks on Banach spaces in which martingale difference sequences are unconditional. Ark. Mat. 21(2), 163–168 (1983)MathSciNetCrossRefzbMATHGoogle Scholar
11.
Bourgain, J.: Vector-valued singular integrals and the $H^1$-BMO duality. Probability theory and harmonic analysis, Pap. Mini-Conf., Cleveland/Ohio 1983, Pure Appl. Math., Marcel Dekker 98, 1–19 (1986)Google Scholar
12.
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, Vol. I, II (Chicago, Ill., 1981), Wadsworth Mathematics Series, pp. 270–286. Wadsworth, Belmont (1983)Google Scholar
13.
Calderon, A.P., Zygmund, A.: On the existence of certain singular integrals. Acta Math. 88, 85–139 (1952)MathSciNetCrossRefzbMATHGoogle Scholar
14.
Clément, P., de Pagter, B., Sukochev, F.A., Witvliet, H.: Schauder decompositions and multiplier theorems. Studia Math. 138(2), 135–163 (2000)MathSciNetzbMATHGoogle Scholar
15.
de Leeuw, K.: On $L_{p}$ multipliers. Ann. Math. 2(81), 364–379 (1965)CrossRefzbMATHGoogle Scholar
16.
Denk, R., Hieber, M., Prüss, J.: $\cal{R}$-boundedness, Fourier multipliers and problems of elliptic and parabolic type. Mem. Am. Math. Soc. 166(788), viii+114 (2003)MathSciNetzbMATHGoogle Scholar
17.
Diestel, J., Jarchow, H., Tonge, A.: Absolutely Summing Operators. Cambridge Studies in Advanced Mathematics, vol. 43. Cambridge University Press, Cambridge (1995)Google Scholar
18.
Dore, G., Venni, A.: On the closedness of the sum of two closed operators. Math. Z. 196, 189–201 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
19.
García-Cuerva, J., Kazaryan, K.S., Kolyada, V.I., Torrea, J.I.: The Hausdorff-Young inequality with vector-valued coefficients and applications. Uspekhi Mat. Nauk 53(3(321)), 3–84 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
20.
García-Cuerva, J., Torrea, J.L., Kazarian, K.S.: On the Fourier type of Banach lattices. In: Interaction Between Functional Analysis, Harmonic Analysis, and Probability (Columbia, MO, 1994). Lecture Notes in Pure and Applied Mathematics, vol. 175, pp. 169–179. Dekker, New York (1996)Google Scholar
21.
Girardi, M., Weis, L.: Criteria for R-boundedness of operator families. In: Evolution Equations. Lecture Notes in Pure and Applied Mathematics, vol. 234 , pp. 203–221. Dekker, New York (2003)Google Scholar
22.
Girardi, M., Weis, L.: Operator-valued Fourier multiplier theorems on $L_p(X)$ and geometry of Banach spaces. J. Funct. Anal. 204(2), 320–354 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
23.
Grafakos, L.: Classical Fourier Analysis, 2nd edn. Graduate Texts in Mathematics, vol. 249. Springer, New York (2008)Google Scholar
24.
Grafakos, L.: Modern Fourier Analysis, 2nd edn. Graduate Texts in Mathematics, vol. 250. Springer, New York (2009)Google Scholar
25.
Haller, R., Heck, H., Noll, A.: Mikhlin’s theorem for operator-valued Fourier multipliers in $n$ variables. Math. Nachr. 244, 110–130 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
26.
Hieber, M.: Operator valued Fourier multipliers. In: Topics in Nonlinear Analysis. Progress in Nonlinear Differential Equations and Their Applications, vol. 35, pp. 363–380. Birkhäuser, Basel (1999)Google Scholar
27.
Hörmander, L.: Estimates for translation invariant operators in $L^{p}$ spaces. Acta Math. 104, 93–140 (1960)MathSciNetCrossRefzbMATHGoogle Scholar
28.
Hytönen, T., van Neerven, J., Veraar, M., Weis, L.: Analysis in Banach Spaces. Volume I: Martingales and Littlewood-Paley Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 63. Springer, New York (2016)Google Scholar
29.
Hytönen, T., van Neerven, J., Veraar, M., Weis, L.: Analysis in Banach Spaces. Volume II. Probabilistic Methods and Operator Theory (2016). Preliminary version at http://fa.its.tudelft.nl/~neerven/
30.
Hytönen, T., Veraar, M.: $R$-boundedness of smooth operator-valued functions. Integr. Equ. Oper. Theory 63(3), 373–402 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
31.
Hytönen, T.P.: New thoughts on the vector-valued Mihlin-Hörmander multiplier theorem. Proc. Am. Math. Soc. 138(7), 2553–2560 (2010)CrossRefzbMATHGoogle Scholar
32.
Kalton, N., van Neerven, J., Veraar, M., Weis, L.: Embedding vector-valued Besov spaces into spaces of $\gamma $-radonifying operators. Math. Nachr. 281(2), 238–252 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
33.
Kalton, N.J., Weis, L.: The $H^\infty $-calculus and sums of closed operators. Math. Ann. 321(2), 319–345 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
34.
Kalton, N.J., Weis, L.W.: The $H^{\infty }$-calculus and square function estimates. In: Nigel J. Kalton Selecta, Vol. 1, pp. 715–764. Springer, New York (2016)Google Scholar
35.
Katznelson, Y.: An Introduction to Harmonic Analysis, 3rd edn. Cambridge Mathematical Library. Cambridge University Press, Cambridge (2004)CrossRefzbMATHGoogle Scholar
36.
Kreĭn, S.G., Petunīn, Yu.$\bar{I}$., Semënov, E.M.: Interpolation of Linear Operators. Translations of Mathematical Monographs, vol. 54. American Mathematical Society, Providence (1982). Translated from the Russian by J. SzűcsGoogle Scholar
37.
Kunstmann, P.C., Weis, L.: Maximal $L_p$-regularity for parabolic equations, fourier multiplier theorems and $H^\infty $-functional Calculus. In: Functional Analytic Methods for Evolution Equations (Levico Terme 2001). Lecture Notes in Mathematics, vol. 1855, pp. 65–312. Springer, Berlin (2004)Google Scholar
38.
Kwapień, S., Veraar, M., Weis, L.: $R$-boundedness versus $\gamma $-boundedness. Ark. Mat. 54(1), 125–145 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
39.
Lin, P.-K.: Köthe–Bochner Function Spaces. Birkhäuser Boston Inc, Boston (2004)CrossRefzbMATHGoogle Scholar
40.
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces. II. Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. 97. Springer-Verlag, Berlin (1979). Function spacesGoogle Scholar
41.
Lizorkin, P.I.: Multipliers of Fourier integrals in the spaces $L_{p,\,\theta }$. Trudy Mat. Inst. Steklov 89, 231–248 (1967)MathSciNetGoogle Scholar
42.
McConnell, T.R.: On Fourier multiplier transformations of Banach-valued functions. Trans. Am. Math. Soc. 285(2), 739–757 (1984)MathSciNetCrossRefzbMATHGoogle Scholar
43.
Montgomery-Smith, S.: Stability and dichotomy of positive semigroups on $L_p$. Proc. Am. Math. Soc. 124(8), 2433–2437 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
44.
O’Neil, R.: Convolution operators and $L(p,\, q)$ spaces. Duke Math. J. 30, 129–142 (1963)MathSciNetCrossRefzbMATHGoogle Scholar
45.
Pietsch, A., Wenzel, J.: Orthonormal systems and Banach space geometry. Encyclopedia of Mathematics and its Applications, vol. 70. Cambridge University Press, Cambridge (1998)Google Scholar
46.
Pisier, G.: Some results on Banach spaces without local unconditional structure. Compositio Math. 37(1), 3–19 (1978)MathSciNetzbMATHGoogle Scholar
47.
Potapov, D., Sukochev, F.: Operator-Lipschitz functions in Schatten-von Neumann classes. Acta Math. 207(2), 375–389 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
48.
Rozendaal, J.: Functional calculus for ${C}_{0}$-groups using (co)type (2015). arXiv:1508.02036
49.
Rozendaal, J., Veraar, M.: Fourier multiplier theorems on Besov spaces under type and cotype conditions. Banach J. Math. Anal. (2016). arXiv:1606.03272
50.
Rozendaal, J., Veraar, M.: Stability theory for semigroups using $({L}^{p},{L}^{q})$ Fourier multipliers. In preparation (2017)Google Scholar
51.
Sarybekova, L.O., Tararykova, T.V., Tleukhanova, N.T.: On a generalization of the Lizorkin theorem on Fourier multipliers. Math. Inequal. Appl. 13(3), 613–624 (2010)MathSciNetzbMATHGoogle Scholar
52.
Shahmurov, R.: On integral operators with operator-valued kernels. J. Inequal. Appl. 2010, 12 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
53.
Stein, E.M.: Harmonic Analysis: Real-variable Methods, Orthogonality, and Oscillatory Integrals. Princeton Mathematical Series, vol. 43. Princeton University Press, Princeton (1993). With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, IIIGoogle Scholar
54.
Štrkalj, Ž., Weis, L.: On operator-valued Fourier multiplier theorems. Trans. Am. Math. Soc., 359(8):3529–3547 (electronic) (2007)Google Scholar
55.
Triebel, H.: Interpolation Theory, Function Spaces, Differential Operators, 2nd edn. Johann Ambrosius Barth, Heidelberg (1995)zbMATHGoogle Scholar
56.
Triebel, H.: Theory of Function Spaces. Modern Birkhäuser Classics. Birkhäuser/Springer Basel AG, Basel (2010). Reprint of 1983 editionGoogle Scholar
57.
Triebel, H.: Tempered Homogeneous Function Spaces. European Mathematical Society (EMS), Zürich (2015)CrossRefzbMATHGoogle Scholar
58.
van Gaans, O.: On $R$-boundedness of Unions of Sets of Operators. In: Partial Differential Equations and Functional Analysis. Operator Theory: Advances and Applications, vol. 168, pp. 97–111. Birkhäuser, Basel (2006)Google Scholar
59.
van Neerven, J. $\gamma $-radonifying operators—a survey. In: The AMSI-ANU Workshop on Spectral Theory and Harmonic Analysis. Proceedings of the Centre for Mathematics and Its Applications, Australian National University, vol. 44 , pp. 1–61. Australian National University, Canberra (2010)Google Scholar
60.
Veraar, M.: Embedding results for $\gamma $-spaces. In: Recent Trends in Analysis. Proceedings of the conference in honor of Nikolai Nikolski on the occasion of his 70th birthday, Bordeaux, France, August 31–September 2, 2011, pp. 209–219. The Theta Foundation, Bucharest (2013)Google Scholar
61.
Weis, L.: Stability theorems for semi-groups via multiplier theorems. In: Differential Equations, Asymptotic Analysis, and Mathematical Physics (Potsdam, 1996).Mathematical Research, vol. 100, pp. 407–411. Akademie Verlag, Berlin (1997)Google Scholar
62.
Weis, L.: Operator-valued Fourier multiplier theorems and maximal $L_p$-regularity. Math. Ann. 319(4), 735–758 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
63.
Zimmermann, F.: On vector-valued Fourier multiplier theorems. Studia Math. 93(3), 201–222 (1989)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

Jan Rozendaal
- 1
View author's OrcID profile
Mark Veraar
- 2
Email author

1.Institute of Mathematics Polish Academy of SciencesWarsawPoland
2.Delft Institute of Applied MathematicsDelft University of TechnologyDelftThe Netherlands

Fourier Multiplier Theorems Involving Type and Cotype

Abstract

Keywords

Mathematics Subject Classification

1 Introduction

Theorem 1.1

1.1 Notation and Terminology

2 Preliminaries

2.1 Fourier Type

2.2 Type and Cotype

2.3 Convexity and Concavity

Lemma 2.1

Lemma 2.2

2.4 \(\gamma \)-Boundedness

2.5 Bessel Spaces

3 Fourier Multipliers Results

3.1 Definitions and Basic Properties

Lemma 3.1

Proposition 3.2

Example 3.3

3.2 Transference from \({\mathbb R}^d\) to \({\mathbb T}^d\)

Proposition 3.4

Proof

Remark 3.5

Corollary 3.6

Proof

Corollary 3.7

Proof

Problem 3.8

3.3 Fourier Type Assumptions

Proposition 3.9

Proof

Remark 3.10

Remark 3.11

Theorem 3.12

Proof

Problem 3.13

Lemma 3.14

Proof

Proposition 3.15

Proof

Remark 3.16

Example 3.17

3.4 Type and Cotype Assumptions

Theorem 3.18

Proof

Problem 3.19

Remark 3.20

3.5 Convexity, Concavity and \(L^{p}\)-\(L^{q}\) Results in Lattices

Theorem 3.21

Proof

Remark 3.22

Remark 3.23

Theorem 3.24

Proof

Corollary 3.25

Proof

3.6 Converse Results and Comparison

Lemma 3.26

Proof

Proposition 3.27

Proof

Problem 3.28

Proposition 3.29

Proof

Example 3.30

Remark 3.31

Remark 3.32

4 Extrapolation

Theorem 4.1

Corollary 4.2

Proof

Example 4.3

Remark 4.4

Corollary 4.5

Proof

Notes

Acknowledgements

References

Copyright information