Fourier Analysis¶
Job: decompose functions and distributions into frequencies; exploit Plancherel, convolution theorems, and multiplier methods across analysis, PDE, and number theory.
Core¶
Fourier analysis is the spectral dictionary for translation-invariant operators: differentiation \(\leftrightarrow\) multiplication by polynomials in \(\xi\), convolution \(\leftrightarrow\) pointwise product, and \(L^2\) unitarity (Plancherel) underpins energy methods. Hypotheses on \(L^p\), Schwartz, or \(\mathcal{S}'\) are not optional bookkeeping.
| Layer | Content |
|---|---|
| Fourier series | \(L^2(\mathbb{T})\) basis; Carleson; Gibbs |
| Fourier transform | \(L^1\to C_0\); \(L^2\) unitary extension |
| Convolution / multipliers | \(\widehat{f*g}=\hat f\hat g\); Mihlin/Hörmander (pointer) |
| Distributions | \(\mathcal{S}'\); PDE constant-coeff as multipliers |
| Restriction / decay | Hausdorff–Young; uncertainty; Poisson summation |
| Applied | spectral PDE, signal processing, ANT |
Reading map¶
| Page | Focus |
|---|---|
| Foundations | series/transform, Plancherel, convolution, \(\mathcal{S}/\mathcal{S}'\), Poisson, heat equation |
| Restriction & Strichartz | Tomas–Stein, Knapp, Keel–Tao, Kakeya, bilinear |
| Oscillatory & Carleson | stationary phase, Carleson a.e., Lacey–Thiele, FIO |
| Hardy & BMO | real-variable \(H^p\), atomic, \(H^1\)–BMO duality, BMOA, wavelet |
| Abstract Harmonic & Pontryagin | LCA, Haar, Pontryagin duality, adeles, Tate thesis |
Dependency order¶
- Measure / \(L^p\) — measure theory
- Banach/Hilbert basics — functional analysis
- Foundations
- PDE, microlocal analysis, analytic number theory
Where it appears¶
- PDE: fundamental solutions, energy via Plancherel
- Microlocal analysis: wavefront sets, FIOs
- Numerical analysis: FFT, spectral methods
- Analytic number theory: Poisson, Mellin cousins
- Probability: characteristic functions \(\varphi_X(t)=\mathbb{E}e^{itX}\)
Signature results¶
| Theorem | Content |
|---|---|
| Plancherel | \(\mathcal{F}:L^2\to L^2\) unitary (normalization fixed) |
| Convolution | \(\widehat{f*g}=\hat f\hat g\) on \(L^1\) (and extensions) |
| Riemann–Lebesgue | \(f\in L^1\Rightarrow\hat f\in C_0\) |
| Inversion | \(f,\hat f\in L^1\) (or \(L^2\) / \(\mathcal{S}\) settings) |
| Poisson summation | \(\sum f(k)=\sum\hat f(\xi)\) on \(\mathcal{S}\) |
See it¶
Heat equation on \(\mathbb{R}^n\). \(u_t=\Delta u\) \(\Rightarrow\) \(\partial_t\hat u=-4\pi^2|\xi|^2\hat u\) (with \(2\pi\)-unitary FT), so \(\hat u(\xi,t)=e^{-4\pi^2 t|\xi|^2}\hat u_0\). Inversion is convolution against a Gaussian — the prototype of Fourier multiplier = constant-coefficient linear PDE.
Check¶
Why must one always state the FT normalization when quoting \(\|\hat f\|_2=\|f\|_2\)?
Conventions differ by \((2\pi)\) factors and \(e^{\pm i}\) signs. Plancherel is unitary only for a matching measure on frequency space; signal processing, probability, and pure HA use incompatible defaults.
Is every \(g\in C_0(\mathbb{R}^n)\) equal to \(\hat f\) for some \(f\in L^1\)?
No. Riemann–Lebesgue gives \(\hat L^1\subset C_0\), but the inclusion is proper (algebra structure of \(L^1\) under convolution constrains the image).
Pitfalls¶
- Pointwise convergence of Fourier series is subtle (Carleson vs Kolmogorov \(L^1\) divergence examples).
- Aliasing for discrete/FFT methods is Poisson dual, not a continuous-theory bug alone.
- Distributional FT needs tempered growth; not every distribution is tempered.
- Gibbs at jumps: partial sums overshoot fixed height independent of \(N\).
Refs¶
Stein–Shakarchi IV; Folland; Katznelson; Grafakos I–II; Hörmander ALPDO I; Duoandikoetxea.
Next¶
Foundations · PDE · Functional analysis · Measure theory · Numerical analysis · Microlocal analysis · Restriction & Strichartz · Oscillatory & Carleson · Hardy & BMO · Abstract Harmonic & Pontryagin