Les théorèmes de Paley-Wiener sont des théorèmes permettant de démontrer que, lorsqu'on contrôle le support d'une fonction de $L^2(\mathbb R)$, alors sa transformée de Fourier peut être définie comme une fonction d'une variable complexe sur un plan ou sur un demi-plan et on peut contrôler sa croissance.

Théorème : Soit $P=\{z\in\mathbb C;\ \mathrm{Im}z>0\}$ le demi-plan de Poincaré et soit $f:P\to\mathbb C$. Alors il existe $F\in L^2([0,+\infty[)$ tel que, pour tout $z\in P$, $$f(z)=\int_0^{+\infty}F(t)e^{itz}dt$$ si et seulement si $f$ est holomorphe et vérifie $$\sup_{0<y<+\infty}\frac 1{2\pi}\int_{-\infty}^{+\infty}|f(x+iy)|^2dx<+\infty.$$

Autrement dit, la transformée de Fourier est une bijection de $L^2([0,+\infty[)$ sur l'espace de Hardy du demi-plan de Poincaré.

Théorème : Soit $A>0$ et soit $f:\mathbb C\to\mathbb C$. Alors $f$ est une fonction entière dont la restriction à $\mathbb R$ appartient à $L^2$ et telle que $$\exists C>0,\ \forall z\in \mathbb C, |f(z)|\leq Ce^{A|z|}$$ si et seulement s'il existe $F\in L^2([-A,A])$ tel que, pour tout $z\in \mathbb C$, $$f(z)=\int_{-A}^{A}F(t)e^{itz}dt.$$

Ce théorème (en fait, on a besoin d'une toute petite partie de ce théorème) est très utile pour démontrer que la transformée de Fourier d'une fonction à support compact ne peut pas être à support compact, sauf s'il s'agit de la fonction nulle.