Definition

A function fL2(Rd)f\in L^2(\mathbb R^d) has bounded Fourier support if its L2L^2 Fourier transform vanishes outside some KRdK\subset\mathbb R^d:

suppf^K.\operatorname{supp}\widehat f\subseteq K.

When K=BσK=B_\sigma, the number σ\sigma is a frequency or spectral radius.

Meaning for an L2L^2 function

The Fourier transform is defined through the , so its support is the essential support of an L2L^2-equivalence class. Altering f^\widehat f on a does not change the condition.

Analytic characterization

The identifies ball-supported Fourier transforms with restrictions of of controlled exponential type. Bounded Fourier support is therefore a strong analyticity constraint, not merely a decay condition.

References
  1. Lars Hörmander, The Analysis of Linear Partial Differential Operators I, Springer, 2003. DOI record. Relevant: §7.3.