Skip to main content
Mathematics LibreTexts

4.7: Convergence of Fourier series

  • Page ID
    8351
  • \( \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}}\)

    The final subject we shall consider is the convergence of Fourier series. I shall show two examples, closely linked, but with radically different behaviour.

    sq-tri.png
    Figure \(\PageIndex{1}\): The square and triangular waves on their fundamental domain.
    1. A square wave,

      \(f(x)= 1\) for \(-\pi < x < 0\); \(f(x)= -1\) for \(0 < x < \pi\).
    2. a triangular wave,

      \(g(x)= \pi/2+x\) for \(-\pi < x < 0\); \(g(x)= \pi/2-x\) for \(0 < x < \pi\).

    Note that \(f\) is the derivative of \(g\).

    Gibbs1.png

    Gibbs2.png

    Figure \(\PageIndex{2}\): A three-dimensional representation of the Gibbs phenomenon for the square wave. The axis orthogonal to the paper labels the number of Fourier components.

    It is not very hard to find the relevant Fourier series, \[\begin{aligned} f(x) & = & -\frac{4}{\pi} \sum_{m=0}^\infty \frac{1}{2m+1} \sin (2m+1) x,\\ g(x) & = & \frac{4}{\pi} \sum_{m=0}^\infty \frac{1}{(2m+1)^2} \cos (2m+1) x.\end{aligned} \nonumber \] Let us compare the partial sums, where we let the sum in the Fourier series run from \(m=0\) to \(m=M\) instead of \(m=0\ldots\infty\). We note a marked difference between the two cases. The convergence of the Fourier series of \(g\) is uneventful, and after a few steps it is hard to see a difference between the partial sums, as well as between the partial sums and \(g\). For \(f\), the square wave, we see a surprising result: Even though the approximation gets better and better in the (flat) middle, there is a finite (and constant!) overshoot near the jump. The area of this overshoot becomes smaller and smaller as we increase \(M\). This is called the Gibbs phenomenon (after its discoverer). It can be shown that for any function with a discontinuity such an effect is present, and that the size of the overshoot only depends on the size of the discontinuity! A final, slightly more interesting version of this picture, is shown in Fig. \(\PageIndex{3}\).

    Gibbs.png
    Figure \(\PageIndex{3}\): A three-dimensional representation of the Gibbs phenomenon for the square wave. The axis orthogonal to the paper labels the number of Fourier components.

    This page titled 4.7: Convergence of Fourier series is shared under a CC BY-NC-SA 2.0 license and was authored, remixed, and/or curated by Niels Walet via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.