Fourier Methods - Key Properties

Fourier methods possess mathematical properties that make them indispensable for PDE analysis, including completeness, orthogonality, and preservation of important function spaces.

DefinitionParseval's Identity

For $f \in L^2$ , the Fourier transform preserves the $L^2$ norm: $\|f\|_{L^2}^2 = \int_{\mathbb{R}^n} |f(x)|^2\,dx = \int_{\mathbb{R}^n} |\hat{f}(\xi)|^2\,d\xi = \|\hat{f}\|_{L^2}^2$

For Fourier series on $[-\pi, \pi]$ : $\frac{1}{\pi}\int_{-\pi}^\pi |f(x)|^2\,dx = \frac{|a_0|^2}{2} + \sum_{n=1}^\infty (|a_n|^2 + |b_n|^2) = \sum_{n=-\infty}^\infty |c_n|^2$

This isometry property means Fourier transform is a unitary operator on $L^2$ , preserving inner products and norms. Energy in physical space equals energy in frequency space.

Convolution Theorem: The Fourier transform converts convolution to multiplication: $\mathcal{F}[f * g] = \hat{f} \cdot \hat{g}$

This dramatically simplifies solving integral equations and PDEs with Green's functions.

DefinitionSchwartz Space and Tempered Distributions

The Schwartz space $\mathcal{S}(\mathbb{R}^n)$ consists of smooth functions with rapid decay: $\mathcal{S} = \{f \in C^\infty : \sup_x |x^\alpha D^\beta f(x)| < \infty \text{ for all multi-indices } \alpha, \beta\}$

The Fourier transform maps $\mathcal{S}$ to itself bijectively. Its dual $\mathcal{S}'$ (tempered distributions) also admits Fourier transform.

ExampleFourier Transform of Derivatives

For $u$ sufficiently smooth and decaying: $\mathcal{F}[\nabla^2 u] = -4\pi^2|\xi|^2\hat{u}(\xi)$ $\mathcal{F}\left[\frac{\partial^k u}{\partial x_j^k}\right] = (2\pi i\xi_j)^k\hat{u}(\xi)$

This converts any linear constant-coefficient PDE to an algebraic equation in $\hat{u}$ .

Remark

Uncertainty Principle: A function cannot be simultaneously localized in both physical and frequency space. Quantitatively, if $f \in L^2$ with $\|f\|_{L^2} = 1$ : $\left(\int x^2|f(x)|^2\,dx\right)\left(\int \xi^2|\hat{f}(\xi)|^2\,d\xi\right) \geq \frac{1}{16\pi^2}$

This has implications for signal processing and quantum mechanics, and limits the effectiveness of local frequency analysis.

These properties make Fourier methods the natural tool for analyzing translation-invariant operators and homogeneous PDEs.