Skip to content
ISEGORIABenjamin Haire

ISEGORIA / MATH ENCYCLOPEDIA

Fourier analysis: functions made of waves

Harmonics, convolution, and the limits of sampling.

Before you begin: Trigonometry and integration

Predict, manipulate, then check your reasoning against the example and question. Graphs illustrate the mathematics; they do not replace a proof.

1. Reconstruct a square wave

Add odd harmonics to a square wave. Smooth regions converge, but the overshoot next to each jump settles near 8.95% of the jump while becoming narrower, as the zoomed panel shows. At the jump itself the series converges to the midpoint 0, and the coefficient panel shows the 1/k decay behind all of this.

Worked example. The first approximation is 4 sin(x)/π. Its amplitude exceeds one.

Watch out. More terms do not remove the limiting Gibbs overshoot relative to the jump size.

Does convergence have to be uniform?

No. Continuous partial sums cannot converge uniformly to a discontinuous function.

Reference: Stanford · The Fourier Transform and its Applications

2. Convolution as overlap

Slide a reflected copy of g across the unit pulse f by dragging either handle. The product f(τ)g(t − τ) is shaded, and its area is the convolution at t, traced below. Two unit pulses give a triangle; the ramp makes the reflection visible, and the one-sided decay shows convolution as smoothing with memory.

Worked example. At displacement t=0.25 the overlap is 0.75.

Watch out. Convolution includes a reversal before shifting. The reversal is invisible for these symmetric pulses.

Why is the output zero at displacement 1.2?

The two supports no longer overlap.

Reference: Stanford · The Fourier Transform and its Applications

3. Sampling and aliasing

Compare a continuous cosine with equally spaced samples. When f exceeds half the sampling rate, the samples also fit the dashed cosine at the folded frequency. The frequency axis below shows why: sampling copies the spectrum to every k·fₛ ± f, and only the copy inside [0, fₛ/2] is seen.

Worked example. A 7 Hz cosine sampled at 10 Hz shares its samples with a 3 Hz cosine.

Watch out. The sampling theorem assumes a band-limited signal and ideal reconstruction. Finite samples do not uniquely identify arbitrary signals.

What sampling rate avoids aliasing for a signal band-limited to 7 Hz?

Choose a rate strictly greater than 14 Hz.

Reference: Stanford · The Fourier Transform and its Applications

Continue exploring

Linear algebra: the geometry of transformationsDynamical systems: stability and chaosOptimization: the geometry of the best choiceProbability: learning from uncertaintyGroup theory: symmetry as algebraAlgebraic topology: detecting holesNumerical analysis: when computation misleadsNumber theory: patterns in the integersGraph theory: routes, trees, and networksPartial differential equations: fields in motionInformation theory: uncertainty and codesCalculus of variations: paths and principlesClassical mechanics: motion and forcesElectromagnetism: fields and inductionOptics: rays, waves, and colourThermodynamics: energy, work, and entropyQuantum mechanics: amplitudes and spinComplex analysis: maps, residues, and harmonic fieldsFluid dynamics: flow, pressure, and vorticityStatistics and inference: signals in dataSpecial relativity: space, time, and lightDifferential geometry: curvature and shapeStatistical mechanics: microstates and temperatureMeasure theory: size, approximation, and convergenceMarkov chains: transition, stationarity, and absorptionDifferential forms: circulation, curl, and pullbacksGeneral relativity: curvature, clocks, and lightFunctional analysis: norms, projections, and operatorsPlasma physics: screening, orbits, and wavesLie groups and Lie algebras: continuous symmetryHamiltonian mechanics: phase space and its geometryStochastic processes: Brownian motion and noiseSolid-state physics: waves in a crystalControl theory: feedback, poles, and stabilityLogic and computability: what can be computedHyperbolic geometry: where parallels multiplyRigid-body dynamics: spinning, tumbling, precessingElliptic curves: geometry that addsAtomic physics: orbitals and spectraQuaternions: rotation as multiplicationPush-forward and pullback: integrating through a mapKnot theory: telling tangles apartFractal geometry: dimension between the integersQuantum information: entanglement and its limitsCosmology: the expanding universeCellular automata: computation from local rulesComplex systems: order from many simple partsGalois theory: the symmetry of equationsMagnetism and the Ising model: order from alignmentOscillators and escapements: how a watch keeps timeGears and mechanisms: transmitting motion exactlyQuartz resonators: a crystal that keeps timeLoudspeakers: the moving-coil driverFilters and crossovers: splitting sound between driversRoom acoustics: the room is part of the speakerWavelets: zooming in on a signalLaser physics: light that copies itselfRepresentation theory: groups acting as matricesSemiconductor physics: bands, doping, junctions

Back to the math encyclopedia