The Fourier transform in Lebesgue spaces
Erik Talvila
TL;DR
This work develops a robust distributional framework for the Fourier transform on all $L^p(\mathbb{R})$ spaces with $1\le p<\infty$ by representing the transform as the distributional derivative of a continuous primitive $\Psi_f$, and proving a sharp Hölder estimate $|\Psi_f(s)|\le C_q\|f\|_p|s|^{1/p}$. It defines Banach spaces $\mathcal{B}_p$ and $\mathcal{A}_p$ that are isometrically isomorphic to $L^p$, and realizes the Fourier transform as an isometric map $\mathcal{F}: L^p \to \mathcal{A}_p$ via $\hat{f}=\Psi_f'$, thereby enabling a norm-based inversion and exchange theory. The paper establishes an exchange formula and norm-inversion using canonical summability kernels, and develops an integration theory and convolution results within the $\mathcal{A}_p$ framework. This approach extends Fourier-analytic tools beyond the traditional $L^1$–$L^\infty$ and Hausdorff–Young regimes, providing precise growth, regularity, and inversion properties for $L^p$ functions in a distributional setting.
Abstract
For each $f\in L^p({\mathbb R)}$ ($1\leq p<\infty$) it is shown that the Fourier transform is the distributional derivative of a Hölder continuous function. For each $p$ a norm is defined so that the space Fourier transforms is isometrically isomorphic to $L^p({\mathbb R)}$. There is an exchange theorem and inversion in norm.
