When does the norm of a Fourier multiplier dominate its $L^\infty$ norm?

TL;DR

This paper investigates conditions under which the Fourier multiplier norm dominates the $L^ abla$ norm, especially in Banach function spaces and weighted Lebesgue spaces, extending known inequalities and exploring sharpness of these conditions.

Contribution

It establishes sufficient conditions for Fourier multiplier spaces to embed into $L^ abla$, including for weighted spaces with weak doubling properties, extending previous results and analyzing sharpness.

Findings

If a Banach space satisfies a weak doubling property, its Fourier multipliers embed into $L^ abla$ with constant 1.

For weighted Lebesgue spaces with weights weaker than Muckenhoupt, the Fourier multiplier norm controls the $L^ abla$ norm.

The weak doubling property is nearly necessary and allows for subexponential weight growth.

Abstract

One can define Fourier multipliers on a Banach function space by using the direct and inverse Fourier transforms on $L^2(\mathbb{R}^n)$ or by using the direct Fourier transform on $S(\mathbb{R}^n)$ and the inverse one on $S'(\mathbb{R}^n)$. In the former case, one assumes that the Fourier multipliers belong to $L^\infty(\mathbb{R}^n)$, while in the latter one this requirement may or may not be included in the definition. We provide sufficient conditions for those definitions to coincide as well as examples when they differ. In particular, we prove that if a Banach function space $X(\mathbb{R}^n)$ satisfies a certain weak doubling property, then the space of all Fourier multipliers $\mathcal{M}_{X(\mathbb{R}^n)}$ is continuously embedded into $L^\infty(\mathbb{R}^n)$ with the best possible embedding constant one. For weighted Lebesgue spaces $L^p(\mathbb{R}^n,w)$, the weak doubling property is much weaker than the requirement that $w$ is a Muckenhoupt weight, and our result implies that $\|a\|_{L^\infty(\mathbb{R}^n)}\le\|a\|_{\mathcal{M}_{L^p(\mathbb{R}^n,w)}}$ for such weights. This inequality extends the inequality for $n=1$ from \cite[Theorem~2.3]{BG98}, where it is attributed to J.~Bourgain. We show that although the weak doubling property is not necessary, it is quite sharp. It allows the weight $w$ in $L^p(\mathbb{R}^n,w)$ to grow at any subexponential rate. On the other hand, the space $L^p(\mathbb{R},e^x)$ has plenty of unbounded Fourier multipliers.