Paley–Wiener theorem

Paley–Wiener theorem
Name	Paley–Wiener theorem
Field	Harmonic analysis; Complex analysis
Introduced by	Raymond Paley; Norbert Wiener
Introduced in	1934
Related	Fourier transform; Hardy space; Schwartz function; Laplace transform

Paley–Wiener theorem The Paley–Wiener theorem gives precise characterizations of the Fourier transform of compactly supported functions and distributions, linking analytic continuation, growth estimates, and support properties. It plays a central role in harmonic analysis, complex analysis, and partial differential equations, and connects work of Raymond Paley, Norbert Wiener, Salomon Bochner, Lars Hörmander, and Atle Selberg. The theorem unites techniques from Émile Borel's work on entire functions, Godement's harmonic analysis on Jean Leray's influence, and the spectral theory developed by John von Neumann and Israel Gelfand.

Statement

In its classical form the theorem characterizes the image under the Fourier transform of compactly supported square-integrable functions on Euclidean space. For f in L^2(R^n) with support in the closed ball of radius R, the Fourier transform F extends to an entire function on C^n satisfying exponential type bounds controlled by R; conversely, any entire function on C^n with suitable L^2 growth and exponential type R arises as the Fourier transform of such an f. This statement links concepts from Bernhard Riemann's theory of entire functions, Karl Weierstrass' factorization, Serge Lang's work on growth conditions, and analytical continuation techniques associated with Hermann Weyl and Élie Cartan.

Historical background

The theorem emerged from interactions between the British analytic tradition exemplified by Raymond Paley and the American pragmatic analysis of Norbert Wiener during the interwar period. Early antecedents trace to results of Augustin-Louis Cauchy on analytic continuation and to investigations by Frederick Carlson on exponential type. Subsequent development involved extensions by Salomon Bochner, distributional formulations influenced by Laurent Schwartz, and microlocal refinements pursued by Lars Hörmander in the context of partial differential operators. The Paley–Wiener framework influenced the spectral analysis of automorphic forms studied by Atle Selberg and the representation-theoretic formulations advanced by Harish-Chandra.

Variants and generalizations

Numerous variants adapt the classical compact-support characterization to other contexts. Distributional versions due to Laurent Schwartz characterize Fourier transforms of compactly supported distributions; Euclidean generalizations to R^n use harmonic-polynomial refinements linked to Issai Schur-type decompositions. Noncommutative and representation-theoretic Paley–Wiener theorems appear in the work of Harish-Chandra and Roger Howe for reductive Lie groups and symmetric spaces studied by Sigurdur Helgason and Eugene Dynkin. p-adic analogues were developed in the contexts of John Tate and I. M. Gelfand's influence on local fields, while semiclassical and microlocal versions connect to the propagator analyses of Mark Kac and the pseudodifferential calculus of Kiyoshi Oka and Bernard Malgrange.

Proofs and methods

Proofs combine complex-analytic techniques, Fourier analysis, and functional-analytic arguments. Classical proofs use contour integration and Paley–Wiener type estimates informed by Cauchy's integral formula and Phragmén–Lindelöf principle ideas traceable to Rolf Nevanlinna. Hilbert-space arguments invoke orthogonality and Plancherel theorems connected to David Hilbert and Stefan Banach's work, while distributional proofs leverage structural theorems from Laurent Schwartz and the nuclear space theory of Alexander Grothendieck. Representation-theoretic proofs employ the representation theory of Harish-Chandra and the spherical transform techniques found in Sigurdur Helgason's harmonic analysis on symmetric spaces.

Applications

The Paley–Wiener theorem has broad applications. In partial differential equations it underpins support theorems and uniqueness results influential for the Cauchy problem studied by Jean Leray and Lars Hörmander; in signal processing it provides rigorous foundations for bandlimited interpolation as used in the sampling theorems associated with Claude Shannon and Norbert Wiener. In representation theory and automorphic forms it informs the spectral side of trace formulas developed by Atle Selberg and James Arthur, and in analytic number theory it contributes to the analysis of L-functions related to Bernhard Riemann and Godfrey Hardy. Applications also appear in inverse problems and tomography linked to the Radon transform studied by Johannes Radon and the integral geometry of Semyon Alesker.

Examples and counterexamples

Standard examples include Fourier transforms of compactly supported smooth functions on R, whose transforms are entire functions of exponential type; explicit constructions use compactly supported bump functions related to approximations of identity studied by Norbert Wiener and Salomon Bochner. Counterexamples show that without growth control entire functions need not correspond to compactly supported distributions; classical constructions exploit Hadamard factorization results of Jacques Hadamard and growth conditions analyzed by Émile Borel. In non-Euclidean settings, naive analogues fail on certain noncompact symmetric spaces without additional hypotheses, as demonstrated in work contrasting Euclidean results with phenomena observed by Harish-Chandra and Sigurdur Helgason.

Category:Theorems in harmonic analysis