Beurling-Hörmander theorem on noncompact real symmetric spaces (Q1014133)

A famous theorem by A. Beurling states that if \(f\) is a Lebesgue-integrable function on \(\mathbb{R}\) such that \[ \int_\mathbb{R}\int_\mathbb{R}|f(x)| |\widehat f(y)|e^{|xy|}\,dx\,dy<\infty, \] then \(f=0\) a.e., where \(\widehat f\) denotes the Fourier transform of \(f\). An extension to \(\mathbb{R}^n\) was studied by Bagchi and Ray in 1999. In 2003, the theorem was further generalized by \textit{A. Bonami, B. Demange} and \textit{P. Jaming} [Rev. Mat. Iberoam. 19, 23--55 (2003; Zbl 1037.42010)]. They show that if \(f\in L^2(\mathbb{R}^n)\) satisfies the condition \[ \int^{\mathbb{R}^n} \int_{\mathbb{R}^n}\frac{|f(x)||\widehat f(y)|e^{|x||y|}}{(1+|x|+ |y|)^N}\, dx\,dy<\infty, \] then \(f\) is of the form \[ f(x)=P(x)e^{-\beta|x|^2}, \] where \(\beta>0\) and \(P\) is a polynomial of degree less than \(\frac{N-n} {2}\). In this article, the author considers a noncompact semicompact Lie group \(G\) of real rank \(\ell\) with finite center and \(K\) a maximal compact subgroup of \(G\). An analogue for the above Bonami-Demange-Jaming theorem for the spherical Fourier transform on \(G\) is established. The author also deduces analogues of the Hardy, Cowling-Price and Morgan theorems for this transform.