Skip to main content
\(\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}}\)
Mathematics LibreTexts

4.5: When is it a Fourier Series?

  • Page ID
    8353
  • [ "article:topic", "Fourier Series", "authorname:nwalet", "license:ccbyncsa" ]

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    The series discussed before are only useful is we can associate a function with them. How can we do that?

    Lets us assume that the periodic function \(f(x)\) has a Fourier series representation (exchange the summation and integration, and use orthogonality),

    \[f(x) = \frac{a_0}{2} + \sum_{n=1}\bigg[a_n\cos\bigg(\frac{n\pi x}{L}\bigg) + b_n\sin\bigg(\frac{n\pi x}{L}\bigg)\bigg]\]

     We can now use the orthogonality of the trigonometric functions to find that

    \[\frac{1}{L}\int_{-L}^Lf(x)\cdot 1 dx = a_0\]

    \[\frac{1}{L}\int_{-L}^Lf(x)\cdot \cos \bigg(\frac{n\pi x}{L}\bigg) dx = a_n\]

    \[\frac{1}{L}\int_{-L}^Lf(x)\cdot \sin \bigg(\frac{n\pi x}{L}\bigg) dx = a_n\]

    This defines the Fourier coefficients for a given \(f(x)\). If these coefficients all exist we have defined a Fourier series, about whose convergence we shall talk in a later lecture.

    An important property of Fourier series is given in Parseval’s lemma:

    \[ \int_{-L}^L (f(x))^2dx = \frac{La_0^2}{2}+L\sum_{n=1}^\infty(a_n^2+b_n^2).\]

    This looks like a triviality, until one realises what we have done: we have once again interchanged an infinite summation and an integration. There are many cases where such an interchange fails, and actually it make a strong statement about the orthogonal set when it holds. This property is usually referred to as completeness. We shall only discuss complete sets in these lectures.

    Now let us study an example. We consider a square wave (this example will return a few times)

    \[ f(x) = \bigg\{\begin{array}{ll}-3 & \mbox{if }-5+10n<x<10n\\ 3 & \mbox{if }10n < x < 5+10n \end{array},\]

    where \(n\) is an integer, as sketched in \(Fig. 4.1\)