The representation of a periodic function as a (possibly infinite) sum of sines and cosines or complex exponentials whose coefficients are determined by inner products with the orthogonal exponential basis on the circle.

Principle

Orthogonality of exponentials on a period interval yields coefficients via integrals; completeness in L2 of the circle ensures any square-integrable periodic function has a convergent Fourier series in the L2 sense, with stronger hypotheses giving pointwise or uniform convergence.

Demonstration

A 2π-periodic sawtooth function expands into a Fourier series whose partial sums approximate the function but exhibit the Gibbs phenomenon near jump discontinuities; for smooth functions coefficients decay rapidly.

Misapplication

Interchanging termwise operations (differentiation, integration, multiplication) without verifying uniform convergence or summability conditions, or assuming pointwise convergence everywhere from mere L2 data.

Consequence

Provides spectral coefficients encoding frequency content of periodic signals, enables solution of PDEs with periodic boundary conditions, and gives practical tools for approximation, filtering, and signal representation.

Reversal

Inverting the concept gives nonperiodic signals represented by Fourier transforms rather than discrete spectra; alternatively, restricting to a finite number of modes yields low-pass approximations losing high-frequency detail.

Boundary

Applies to periodic functions or functions on the circle; different convergence modes (pointwise, uniform, L2, distributional) matter and the series may fail to converge pointwise at discontinuities; nonperiodic functions require transform techniques.

Semantic Tension

Tension between convergence notions (uniform vs L2 vs pointwise) and between finite truncation (approximation) and exact infinite-series representation; also between Fourier series and discrete Fourier transforms in numerical practice.

Synthesis

Fourier series decompose periodic functions into orthogonal exponential modes whose coefficients reflect smoothness and energy distribution, providing a bridge between time-domain periodic behavior and frequency-domain analysis for theory and computation.