Chapter 7: Fourier & the Mathematics of Heat
1807–1822
The Heat Equation
Joseph Fourier (1768–1830) wanted to understand how heat flows through solid objects. He derived the heat equation:
\( \frac{\partial u}{\partial t} = \alpha \frac{\partial^2 u}{\partial x^2} \)
To solve it, Fourier made a bold claim: any function, no matter how irregular, can be expressed as a sum of sines and cosines:
\( f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty}\left(a_n\cos\frac{n\pi x}{L} + b_n\sin\frac{n\pi x}{L}\right) \)
This was initially dismissed by Lagrange, who believed it was too good to be true. But Fourier was right — and his insight created an entirely new branch of mathematics that transformed physics, engineering, and eventually computer science.
Why Fourier Analysis Changed Everything
Fourier analysis is one of the most widely used tools in science:
Quantum Mechanics
Wave functions are superpositions; momentum is the Fourier transform of position
Signal Processing
Every audio file, image, and wireless signal uses Fourier transforms
Crystallography
X-ray diffraction patterns are Fourier transforms of crystal structure
Cosmology
CMB power spectrum is a Fourier analysis of the early universe
Differential Equations
PDEs become algebraic equations after Fourier transform
Number Theory
Riemann zeta function connects primes to Fourier analysis
Fourier's Legacy: Function Spaces
Fourier analysis forced mathematicians to ask: what is a function? Can a discontinuous function have a Fourier series? Does the series always converge? These questions led to:
- • Dirichlet's conditions for convergence (1829)
- • Riemann's integral (1854) — the first rigorous definition
- • Cantor's set theory (1874) — invented to study uniqueness of Fourier series
- • Lebesgue's integral (1902) — a better theory of integration
- • Hilbert spaces (1906) — infinite-dimensional generalizations of Euclidean space
A physical problem (heat conduction) spawned the most fertile chain of mathematical innovations in history, culminating in the function spaces that underlie quantum mechanics.