3Fourier Decomposition

Fourier's radical claim, initially met with skepticism from Lagrange and Laplace, was that any periodic function can be decomposed into a sum of sines and cosines.

Let f(x) be periodic with period 2pi. Then:

f(x)=a02+n=1(ancosnx+bnsinnx)f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty}\bigl(a_n \cos nx + b_n \sin nx\bigr)

The coefficients are determined by orthogonality:

an=1πππf(x)cos(nx)dx,bn=1πππf(x)sin(nx)dxa_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos(nx)\,dx, \quad b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin(nx)\,dx

Example: the square wave f(x) = sgn(sin x) decomposes as:

f(x)=4π(sinx+sin3x3+sin5x5+sin7x7+)f(x) = \frac{4}{\pi}\left(\sin x + \frac{\sin 3x}{3} + \frac{\sin 5x}{5} + \frac{\sin 7x}{7} + \cdots\right)

Only odd harmonics appear; each successive term sharpens the approximation.

  f(x)=4πk=0sin((2k+1)x)2k+1  \boxed{\;f(x) = \frac{4}{\pi}\sum_{k=0}^{\infty} \frac{\sin\bigl((2k+1)x\bigr)}{2k+1}\;}

Fourier analysis underpins signal processing, quantum mechanics, and the solution of partial differential equations.