5
$\begingroup$

For $m \in L^\infty$, we can define the multiplier operator $T_m \in L(L^2,L^2)$ implicitly by

$\mathcal F (T_m f)(\xi) = m(\xi) \cdot (\mathcal F T_m)(\xi)$

where $\mathcal F$ is the Fourier transform. It is obvious from the defintion that $T_m$ commutes with translations.

How can you show the converse, i.e. every translation invariant $T \in L(L^2,L^2)$ is induced by a multiplier $m_T$? I have no idea how this might work.

2 Answers 2

3

This is Theorem 3.16 in Introduction to Fourier Analysis on Euclidean Spaces, by E.M. Stein and G. Weiss.

  • 0
    perfect, th$a$nk you very mu$c$h.2011-03-29
8

Here's a sketch proof, which I think gets to the core reason why this is true. Remember that the fourier transform takes translations to multiplication by characters. So if $T$ commutes with translation, $\hat T = \mathcal{F} T \mathcal{F}^{-1}$ will commute with multiplication by characters. So $\hat T$ commutes with all operators which are in the closure of the linear span of the operators given by multiplication by characters. That is, $\hat T$ commutes with multiplication by any continuous function. It's not so hard to then show that $\hat T$ must itself by multiplication by some $m\in L^\infty$; under your definition, this means precisely that $T = T_m$.

  • 0
    @Matthew Dows Good point! Thank you very much for the idea!2017-02-23