Derivation of Fourier Transform of a constant signal

First, it's trivial that the Fourier transform of the Dirac $\delta$ is a constant function: $$ \mathcal{F}\{\delta(x)\} = \int_{-\infty}^{\infty} \delta(x) \, e^{-i\xi x} dx = \left. e^{-i\xi x} \right|_{x=0} = 1. $$

Then we use the Fourier inversion theorem, saying that if $\mathcal{F}\{f(x)\} = F(\xi)$ then $\mathcal{F}\{F(x)\} = 2\pi \, f(\xi)$: $$ \mathcal{F}\{1\} = 2\pi\,\delta(\xi). $$


Another approach is to consider the function $e^{-\epsilon x^2/2}.$ Obviously $e^{-\epsilon x^2/2} \to 1$ as $\epsilon \to 0.$ The Fourier transform of $e^{-\epsilon x^2/2}$ is another Gaussian, $C(\epsilon) e^{-\xi^2/(2\epsilon)},$ that tends to $2\pi \, \delta(\xi).$

(Sorry, need to go to bed, so I don't have time to show the calculations.)


The derivation is very simple, provided you know what a distribution is. Very briefly: A distribution is a continuous linear functional $$ L:C_0^\infty(\mathbb{R})\rightarrow\mathbb{C}. $$ I will not specify what it means for $L$ to be continuous (it's complicated). The Dirac delta distribution is the linear functional $$ \delta(\varphi):=\varphi(0). $$ The Fourier transform is defined on a subset of the distributions called tempered distritution. The Fourier transform $\mathcal{F}(L)$ of a (tempered) distribution $L$ is again a (tempered) distribution. It is defined as the linear functional $$ \mathcal{F}(L)(\varphi):=L(\mathcal{F}(\phi)). $$ If you want to Fourier transform the constant 1, you first have to identify the constant 1 with a distribution $L_1$. This is done canonically via $$ L_1(\varphi):=\int_{\mathbb{R}} 1\cdot \varphi(x)\,dx. $$ Now you can compute the Fourier transform $\mathcal{F}(L_1)$ of $L_1$: $$ \mathcal{F}(L_1)(\phi) = L_1(\mathcal{F}(\phi)) = \int_{\mathbb{R}} 1\cdot \hat\phi(x) dx = \int_{\mathbb{R}} e^{2\pi ix\cdot 0}\cdot \hat\phi(x) dx = \mathcal{F}^{-1}(\hat\phi)(0) = \phi(0) = \delta(\phi). $$ That is it! We see that the Fourier transform for $L_1$ coincides with the Dirac delta distribution $\delta$. So in the sense of distributions, the the Fourier transform of 1 is the Dirac delta distribution.

Tags:

Integration

Fourier Analysis

Fourier Transform

Dirac Delta

Related

Does $a(a^{-1} \bmod b) + b(b^{-1} \bmod a) < ab + 2$ hold? Is there an elegant way to take a derivative of this linear algebra problem? Why do engineers use derivatives in discontinuous functions? Is it correct? Alternative ways to evaluate $\int_0^1 x^{2n-1}\ln(1+x)dx =\frac{H_{2n}-H_n}{2n}$ If $A \times B$ is a Lie group, are both $A$ and $B$ Lie groups? finding bounds for $\int_0^X\lfloor x^2\rfloor \, dx$ Inverse of a matrix and matrix relation Proving that a Gaussian integer $a+bi$ with $a,b\neq0$ is composite in $\mathbb{Z}[i]$ if its norm $a^2+b^2$ is composite in $\mathbb{N}$? Solve $ay''+by+c=0$ using separation of variables Eliminating all removable discontinuities Does the unit generate the additive group in a unital ring with cyclic additive group? Does there exist a non-commutative algebraic structure with the following properties?

Recent Posts