Analogues of theorems of Chernoff and Ingham on the Heisenberg group (Q6161893)

The following theorem proved by \textit{P. R. Chernoff} [Bull. Am. Math. Soc. 81, 637--646 (1975; Zbl 0304.47032)] is a higher dimensional analogue of the Denjoy-Carleman theorem on \(\mathbb{R}^n\) which characterizes quasi-analytic functions: Let \(f\) be a smooth function on \(\mathbb{R}^n\). Assume that \(\Delta^m f \in L^2(\mathbb{R}^n)\) for all \(m \in\mathbb{N}\) and \(\sum_{m=1}^{\infty}\|\Delta^m f\|_{2}^{-\frac{1}{2m}} =\infty\). If \(f\) and all its partial derivatives vanish at a point \(a \in \mathbb{R}^n\), then \(f\) is identically zero. The authors prove an analogue of Chernoff's theorem for the Laplacian \(\Delta_H\) on the Heisenberg group \(H_n\). Also they apply this theorem to prove Ingham type theorems for the group Fourier transform on \(H_n\) and also for the spectral projections associated to the sublaplacian.