Fourier series
A Fourier series represents a periodic function as an infinite sum of sines and cosines, built from the fact that these functions are mutually orthogonal over one period — the same orthogonality that gives each coefficient a closed-form integral, independent of every other term.
Practise this conceptA Fourier series rests on one structural fact: sines and cosines of integer multiples of a base frequency are mutually orthogonal over one period, in exactly the sense that lets you pick out "how much" of each one is present in a target function the same way a dot product picks out a vector's component along an axis. Multiplying the function by (\cos(n\omega t)) or (\sin(n\omega t)) and integrating over one period isolates that one coefficient, because every other term in the sum integrates to zero against it.
This only works, and the resulting series only converges, when the function satisfies the Dirichlet conditions: finitely many discontinuities and finitely many maxima/minima per period, and an absolutely integrable function. Most functions an engineer or physicist actually writes down satisfy this comfortably, but "any periodic function at all" does not.
Convergence itself has a subtlety worth remembering: at a genuine jump discontinuity, the series does not converge to either side's value — it converges to the average of the left- and right-hand limits, overshooting slightly near the jump (the Gibbs phenomenon). And a symmetry shortcut is worth knowing before grinding through integrals: an even function's series contains only cosines, an odd function's only sines, because the orthogonality integral for the "wrong" symmetry vanishes identically.
Key ideas
Requires: Infinite series
Common misconceptions
- Believes a Fourier series can represent any function at all, without the Dirichlet conditions (finitely many discontinuities and extrema per period, and absolute integrability) that guarantee convergence.
- Believes a Fourier series always converges exactly to the original function at every point, including at a jump discontinuity, rather than to the average of the left- and right-hand limits there.
- Assumes an odd function's Fourier series must contain cosine terms too, not recognising that the orthogonality argument forces every cosine coefficient to vanish for an odd function.
Resources
Articles
Part of these UT courses
This concept is mapped as covering part of the following course(s) in the University of Tartu curriculum.
- Higher mathematics IIMTMM.00.341