We aim at extending the Fourier transform on the Heisenberg group , to tempered distributions. Our motivation is to provide the reader with a hands-on approach that allows for further investigating Fourier analysis and PDEs on .
As in the Euclidean setting, the strategy is to show that the Fourier transform is an isomorphism on the Schwartz space, then to define the extension by duality. To achieve it, the Fourier transform of an integrable function is viewed as a uniformly continuous mapping on the set , that may be completed to a larger set for some suitable distance. This viewpoint provides a user friendly description of the range of the Schwartz space on by the Fourier transform, which makes the extension to the whole set of tempered distributions straightforward.
To highlight the strength of our approach, we give examples of computations of Fourier transforms of tempered distributions that do not correspond to integrable or square integrable functions. The most striking one is a formula for the Fourier transform of functions on that are independent of the vertical variable, an open question, to the best of our knowledge.