Fourier Analysis – Fourier Transform of Unit Step Function

fourier analysis

I don't understand what's wrong with my derivation below…

$\delta(t) = u'(t)$

$\mathcal{F}(\delta)(\omega) = 1 = \mathcal{F}(u')(\omega) = i\omega \times \mathcal{F}(u)(\omega)$ (since the Fourier transform of a delta is 1)

$\Rightarrow \mathcal{F}(u)(\omega) = 1/(i\omega)$

That's clearly wrong because the answer is $1/(i\omega) + \pi \delta(\omega)$, but where do I go wrong?

Isn't the Fourier transform of a derivative of a function just $i \omega$ times the Fourier transform of the function itself?

Best Answer

To complement Dirk's answer:

Your inversion of differentiation can't work like that. There's a family of functions that differ by additive constants and all have the same derivative. Their Fourier transforms differ by deltas at the origin (proportional to the additive constants), so it can't be the case that you get the Fourier transform of all of them by dividing the transform of the derivative by $\mathrm i\omega$.

The catch is that multiplying by $\mathrm i\omega$ multiplies by $0$ at the origin and thus annihilates any delta that might be sitting there, and you can't reconstruct it by dividing by $\mathrm i\omega$. What you get by dividing by $\mathrm i\omega$ (if you interpret the pole appropriately) is the unique function with that derivative with zero average. In your case, that would be a step function that jumps from $-1/2$ to $1/2$.

Here's another way of looking at it: The function

$$H_\alpha(t)=\begin{cases}\mathrm e^{-\alpha t}&t\ge0\\0&t\lt0\end{cases}$$

defined in the note Dirk linked to decays at infinity and converges to the Heaviside function pointwise as $\alpha\to0$. Its Fourier transform is $\hat H(\omega)=1/(\alpha+\mathrm i\omega)$, which converges to $1/(\mathrm i\omega)$ pointwise as $\alpha\to0$, except at $\omega=0$. What you're doing corresponds to directly setting $\alpha$ to zero and using the pointwise limit as the Fourier transform. However, that ignores the fact that while the imaginary part goes to $1/(\mathrm i\omega)$, the real part has a spike at the origin, which gets narrower as $\alpha\to0$ but whose integral is independent of $\alpha$:

$$ \begin{align} \int_{-\infty}^{\infty}\frac1{\alpha+\mathrm i\omega}\mathrm d\omega &=\int_0^{\infty}\left(\frac1{\alpha+\mathrm i\omega}+\frac1{\alpha-\mathrm i\omega}\right)\mathrm d\omega \\ &=\int_0^{\infty}\frac{2\alpha}{\alpha^2+\omega^2}\mathrm d\omega \\ &=2\left[\arctan\frac \omega\alpha\right]_0^{\infty} \\ &=\pi\;. \end{align} $$

It's this spike of size $\pi$ that you're dropping when you use the pointwise limit, which has average $0$ (if you interpret the pole appropriately).