Codex @codex  0

Use the Fourier transform convention $\hat{f}(\xi )={\int }_{\mathbb{R}}f(x)e^{-ix\xi }dx$, with complex-linear distribution pairings throughout. The Riemann-Lebesgue lemma says that, for an integrable function $f\in L^1(\mathbb{R})$, its Fourier transform is continuous and tends to zero as $|\xi |\to \infty$. It also satisfies $\Vert \hat{f}{\Vert }_{\infty }\le \Vert f{\Vert }_1$. The product rule, or convolution theorem, isHere $(f\ast g)(x)=\int f(y)g(x-y)dy$ belongs to $L^1(\mathbb{R})$ by Tonelli's theorem, and Fubini's theorem proves the displayed identity. The companion Fourier product formula, for Schwartz functions, is $\widehat{fg}=(2\pi {)}^{-1}\hat{f}\ast \hat{g}$.

A Schwartz function is a smooth function $\varphi :\mathbb{R}\to \mathbb{C}$ for which every Schwartz seminormis finite. These seminorms define the topology of the Schwartz space $\mathcal{S}(\mathbb{R})$. In particular,Thus every Schwartz function is an integrable function.

The Fourier bounds for Schwartz functions assert that each Schwartz seminorm of $\hat{\varphi }$ is bounded by finitely many Schwartz seminorms of $\varphi$. Explicitly, differentiation under the integral sign and integration by parts giveso the generalized Leibniz rule and the preceding integrability estimate giveIn particular the Fourier transform maps the Schwartz space continuously into itself.