Fourier Transform

1 Sept 2022

Last updated

thinkingmath

Table of Contents

  1. Intro
  2. From 3b1b’s video:
    1. ee’s rotation
    2. Scaling of the value
    3. Final integration/sumation

Intro

Mathematical transformation that decomposes functions depending on space or time into functions depending on spatial frequency or temporal frequency.

f^(ξ)=f(x)ei2πξxdx,ξR\hat{f}(ξ) = \int_{- \infty}^{\infty} f(x) e^{-i2 \pi ξ x} dx, \forall ξ \in \mathcal{R}

The transform of function f(x)f(x) at frequency ξ is given by the complex number f^(ξ)\hat{f}(ξ). Evaluating this equation for all values of ξ produces the frequency-domain function. The Fourier transform is denoted here by adding a circumflex to the symbol of the function.

When the independent variable represents time (often denoted by tt instead of xx), the transform variable represents frequency (often denoted by ff instead of ξ). E.g. if time is measured in seconds, then frequency is in hertz (1/s).

From 3b1b’s video:

Essentially, we are winding up our function and plotting the values of the function in a 2D-complex plane. We wind up our function around the origin at some frequency. These frequencies correspond to ξ. Whenever the frequency ξ matches somehow with the frequencies that our signal may be composed of, this will return high values in this integral.

What we are measuring, step by step is:

ee’s rotation

eθie^{\theta i}

This piece of the equation allows us to rotate around the origin on the complex plane. θ\theta is the angle measured in radians. When applied, this will just output a complex number pointing at that angle in the unit circle.

Adding 2π to this, means giving it a full spin: e2πie^{2\pi i}

and adding the frequencies that we want to analyze over time: e2πift=e2πiξxe^{2\pi i f t} = e^{2\pi i ξ x} where ff and ξ are used interchangeably, as well as xx and tt.

This rotates our function clockwise, and the convention states the opposite, so we throw a minus sign in there: e2πifte^{-2\pi i f t}

Scaling of the value

Now, this allows us to rotate at our specific frequency that we want to analyze, but the magnitude is still invariant. Every complex number lies on the unit circle. To scale the vector, we just multiply all that by our function at that point in time! f(t)e2πiftf(t) \cdot e^{2\pi i f t}

And this will give us a single complex number for a given tt.

Final integration/sumation

We are now going to evaluate this function for every ff (or ξ) in the real number plane R\mathbb{R}.

Computationally, this would mean to sample our function at regular intervals, evaluating those samples and taking the average. f^(ξ)=1Nk=1Nf(tk)e2πiftk\hat{f}(ξ) = \frac{1}{N} \sum^{N}_{k=1} f(t_k) e^{2\pi i f t_k}

where tkt_k just means the moment in time we are sampling at, and f(tk)f(t_k) is the value of our function at that time.

Mathematically, this means taking the integral of as much as we can, that means from -\infty to \infty! Sample infinitely many points! In this case we don’t divide by the number of points sampled since it… well… is infinite!

f^(ξ)=f(x)ei2πξxdx,ξR\hat{f}(ξ) = \int_{- \infty}^{\infty} f(x) e^{-i2 \pi ξ x} dx, \forall ξ \in \mathcal{R}

With all this setup, f^(x)\hat{f}(x) outputs a complex number, that corresponds to the strength of a given frequency in the original signal, and we evaluate that for all possible frequencies. (or, at least, those that we are interested in :P)

The domain now is frequency, not time.

That brings us to the balance between knowing when a particular frequency appears in our signals rather than knowing what frequencies our signal is composed of, ruled by Heisenberg’s uncertainty principle.

2024