One idea, 4 fields

Fourier Transform

The unifying principle

Any well-behaved function f(t)f(t) can be written as a superposition of complex exponentials eiωte^{i\omega t} (pure rotations at frequency ω\omega):

f^(ω)=f(t)eiωtdtf(t)=12πf^(ω)eiωtdω\hat f(\omega) = \int_{-\infty}^{\infty} f(t)\, e^{-i\omega t}\, dt \qquad f(t) = \frac{1}{2\pi}\int_{-\infty}^{\infty} \hat f(\omega)\, e^{i\omega t}\, d\omega

The reason this works everywhere: the functions eiωte^{i\omega t} form an orthogonal basis, and — crucially — they are the eigenfunctions of the derivative operator:

ddteiωt=iωeiωt.\frac{d}{dt}e^{i\omega t} = i\omega\, e^{i\omega t}.

So any linear, time/shift-invariant operation (differentiation, convolution, wave propagation) becomes multiplication in frequency space. The master identity is the convolution theorem:

(fg)^(ω)=f^(ω)g^(ω).\widehat{(f * g)}(\omega) = \hat f(\omega)\,\hat g(\omega).

Tangled interactions in the original domain → simple products in the frequency domain. That single fact is why every field below reaches for the same tool.

How it shows up in each field

Maths — orthogonal basis & operator diagonalization

Here the transform is pure structure: L2L^2 is a Hilbert space, {eiωt}\{e^{i\omega t}\} is an orthonormal-in-the-distributional-sense basis, and Fourier is a unitary change of basis (Plancherel: f2=12πf^2\|f\|^2 = \frac{1}{2\pi}\|\hat f\|^2, energy is conserved).

  • Notation: F{f}=f^\mathcal{F}\{f\} = \hat f, with F{f}=iωf^\mathcal{F}\{f'\} = i\omega\,\hat f.
  • Why same idea: diagonalizing the derivative = decomposing into frequencies.
  • Example: the heat equation ut=uxxu_t = u_{xx} becomes u^t=ω2u^\hat u_t = -\omega^2 \hat u, giving u^(ω,t)=u^(ω,0)eω2t\hat u(\omega,t)=\hat u(\omega,0)e^{-\omega^2 t} — a PDE turned into trivial ODEs, one per frequency.

Physics — quantum states & wave–particle duality

Position and momentum representations of a quantum state are Fourier transforms of each other:

ψ(x)=12πψ~(p)eipx/dp.\psi(x) = \frac{1}{\sqrt{2\pi\hbar}}\int \tilde\psi(p)\, e^{ipx/\hbar}\, dp.

  • Why same idea: momentum eigenstates are the pure waves eipx/e^{ipx/\hbar}; "how much of each momentum" is the frequency decomposition.
  • Consequence: the Heisenberg uncertainty principle ΔxΔp/2\Delta x\,\Delta p \ge \hbar/2 is exactly the Fourier fact that a narrow spike in one domain must be broad in the other.
  • Example: a Gaussian wave packet has a Gaussian momentum spectrum; localize it tighter in xx and its spread in pp grows.

Coding / CS — the FFT and digital signal processing

Discrete data x0,,xN1x_0,\dots,x_{N-1} gets the Discrete Fourier Transform:

Xk=n=0N1xne2πikn/N.X_k = \sum_{n=0}^{N-1} x_n\, e^{-2\pi i kn/N}.

The Fast Fourier Transform computes this in O(NlogN)O(N\log N) instead of O(N2)O(N^2) by recursively splitting even/odd samples (divide-and-conquer).

  • Why same idea: same basis, sampled and finite.
  • Examples: JPEG uses the cousin DCT to drop high-frequency image detail your eye ignores; MP3 discards inaudible frequency bands; polynomial multiplication is done via FFT (convolution theorem) so big-integer multiplication runs fast.

Hardware — circuits, filters, and spectrum

Real electronics lives in frequency space. With impedances ZR=RZ_R=R, ZC=1iωCZ_C=\frac{1}{i\omega C}, ZL=iωLZ_L=i\omega L, a differential circuit equation becomes ordinary Ohm's law at each ω\omega.

  • Notation: the transfer function H(ω)=Vout/VinH(\omega)=V_{out}/V_{in} is literally the ratio of Fourier components.
  • Why same idea: capacitors/inductors differentiate & integrate → in frequency space that's just multiplying by iωi\omega or 1/iω1/i\omega.
  • Example: an RC low-pass filter has H(ω)=11+iωRCH(\omega)=\frac{1}{1+i\omega RC}, passing low frequencies and attenuating high ones — exactly frequency selection. Spectrum analyzers, radio tuning, and antenna design all read the world in f^\hat f.

Why this bridge matters

  • The convolution ⇄ multiplication swap transfers everywhere. Learn it once (blurring an image, a filter's response, an FFT-based multiply) and you own it in all four fields.
  • Uncertainty is universal. The physicist's ΔxΔp\Delta x\,\Delta p, the audio engineer's time–frequency tradeoff (you can't know exact pitch at an exact instant — the STFT window dilemma), and the mathematician's support-vs-bandwidth bound are the same theorem.
  • Intuition flows both ways. A CS student's mental picture of the FFT ("sort signal into frequency bins") demystifies the momentum-space wavefunction. A hardware engineer's feel for filters (iωi\omega = differentiate) makes the heat-equation solution obvious. And the math notion of a unitary basis change explains why energy (Plancherel), information, and probability are all preserved when you switch views.
  • The eigenfunction insight is the punchline: whenever your system doesn't care when or where something happens (time/shift invariance), the pure waves are its natural coordinates — so decompose into frequencies and every hard operator turns into simple scalar multiplication.

Connections

#bridge

unitary basis change

momentum eigenstates e^{ipx/ħ}

O(N log N) DFT

H(ω) = Vout/Vin

convolution theorem

Δx·Δp ↔ time–freq tradeoff

i·ω differentiation

Fourier Transform
decompose into frequencies

Maths
orthogonal basis, diagonalize d/dt

Physics
position ⇄ momentum, uncertainty

Coding/CS
FFT, DSP, compression

Hardware
impedance, filters, spectrum

Connected notes