Skip to main content
Engineering LibreTexts

5.1: Introduction to Fourier Analysis

  • Page ID
    22865
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Fourier's Daring Leap

    Fourier postulated around 1807 that any periodic signal (equivalently finite length signal) can be built up as an infinite linear combination of harmonic sinusoidal waves.

    i.e. Given the collection

    \[B=\left\{e^{j \frac{2 \pi}{T} n t}\right\}_{n=-\infty}^{\infty} \nonumber \]

    any

    \[f(t) \in L^{2}[0, T) \nonumber \]

    can be approximated arbitrarily closely by

    \[f(t)=\sum_{n=-\infty}^{\infty} C_{n} e^{j \frac{2 \pi}{T} n t}. \nonumber \]

    Now, The issue of exact convergence did bring Fourier much criticism from the French Academy of Science (Laplace, Lagrange, Monge and LaCroix comprised the review committee) for several years after its presentation on 1807. It was not resolved for also a century, and its resolution is interesting and important to understand from a practical viewpoint. See more in the section on Gibbs Phenomena.

    Fourier analysis is fundamental to understanding the behavior of signals and systems. This is a result of the fact that sinusoids are Eigenfunctions (Section 14.5) of linear, time-invariant (LTI) (Section 2.2) systems. This is to say that if we pass any particular sinusoid through a LTI system, we get a scaled version of that same sinusoid on the output. Then, since Fourier analysis allows us to redefine the signals in terms of sinusoids, all we need to do is determine how any given system effects all possible sinusoids (its transfer function) and we have a complete understanding of the system. Furthermore, since we are able to define the passage of sinusoids through a system as multiplication of that sinusoid by the transfer function at the same frequency, we can convert the passage of any signal through a system from convolution (Section 3.4) (in time) to multiplication (in frequency). These ideas are what give Fourier analysis its power.

    Now, after hopefully having sold you on the value of this method of analysis, we must examine exactly what we mean by Fourier analysis. The four Fourier transforms that comprise this analysis are the Fourier Series, Continuous-Time Fourier Transform (Section 8.2), Discrete-Time Fourier Transform (Section 9.2), and Discrete Fourier Transform. For this document, we will view the Laplace Transform (Section 11.1) and Z-Transform as simply extensions of the CTFT and DTFT respectively. All of these transforms act essentially the same way, by converting a signal in time to an equivalent signal in frequency (sinusoids). However, depending on the nature of a specific signal i.e. whether it is finite- or infinite-length and whether it is discrete- or continuous-time) there is an appropriate transform to convert the signal into the frequency domain. Below is a table of the four Fourier transforms and when each is appropriate. It also includes the relevant convolution for the specified space.

    Table \(\PageIndex{1}\): Table of Fourier Representations
    Transform Time Domain Frequency Domain Convolution
    Continuous-Time Fourier Series \(L^2([0,T))\) \(l^{2}(\mathbb{Z})\) Continuous-Time Circular
    Continuous-Time Fourier Transform \(L^2(\mathbb{R})\) \(L^{2}(\mathbb{R})\) Continuous-Time Linear
    Discrete-Time Fourier Transform \(l^{2}(\mathbb{Z})\) \(L^{2}([0,2 \pi))\) Discrete-Time Linear
    Discrete Fourier Transform \(l^{2}([0, N-1])\) \(l^{2}([0, N-1])\) Discrete-Time Circular

    This page titled 5.1: Introduction to Fourier Analysis is shared under a CC BY license and was authored, remixed, and/or curated by Richard Baraniuk et al..

    • Was this article helpful?