Revisiting Hardy's theorem for the Heisenberg group (Q1433438)

The aim of this paper is to establish an analogue of Hardy's theorem for the Fourier transform \({\widehat f}(\lambda)\), \(\lambda \in {\mathbb R}\), \(\lambda \neq 0\) of a function \(f\) on the Heisenberg group \({\mathbb H}^{n}\). Let \(p_{t}\) be the heat kernel associated to the sublaplacian on \({\mathbb H}^{n}\). The Fourier transform of \(p_{t}\) is given by \({\widehat p}_{t}(\lambda)=e^{-tH(\lambda)}\) where \(H(\lambda)= -\Delta + \lambda^{2}|x|^{2}\) is the Hermite operator on \({\mathbb R}^{n}\). Theorem. Let \(f\) be a measurable function on \({\mathbb H}^{n}\) which satisfies the estimate \(|f(z,s)| \leq c (1+|z|^{2})^{m}p_{a}(z,s)\) for some \(a > 0\), \(m \geq 0\). Further assume that \({\widehat f}(\lambda)^{*}{\widehat f}(\lambda) \leq c H(\lambda)^{m} {\widehat p}_{2b}(\lambda)\) for some \(b >0\) and for all \(\lambda \neq 0\). Then \(f=0\) whenever \(a <b\). The author also proves when \(a \geq b\) replacing the condition on \(f\) by \(|f^{\lambda}(z)| \leq c p_{a}^{\lambda}(z)\) where \(f^{\lambda}(z)\) is the Fourier transform of \(f\) in the \(t\)-variable, and under suitable assumptions on the spherical harmonic coefficients of \({\widehat f}(\lambda)\) that (i) \(f^{\lambda}(z)=c(\lambda)p^{\lambda}_{a}(z)\) when \(a=b\), (ii) when \(a > b\) there are infinitely many linearly independent functions \(f\) satisfying both conditions on \(f^{\lambda}\) and \({\widehat f}(\lambda)\).