Reconstruction of Paley-Wiener functions on the Heisenberg group (Q4400752)

The Paley-Wiener class of functions is generalized to functions belonging to \(L^2(H_m)\), where \(H_m\) is the \((2m+2)\)-dimensional Heisenberg group. The author shows as in the classical case that a function belongs to this class if and only if it satisfies Bernstein's inequality \(\| D^k f\|\leq \omega^k \| f\|\) for every natural \(k\), where \(D=- X_1^2 \dots -X^2_{2m}\) and \((T,X_1, \dots, X_{2m})\) is a basis for the left-invariant vector fields on \(H_m\), and the Fourier transform \(F(f)\) is supported on the interval \([0,\omega]\). The author shows that any function in the Paley-Wiener class is determined by its values on certain discrete subgroups of \(H_m\). This generalizes the classical Shannon sampling theorem. Furthermore, a formula is provided which recovers a function's values from its values on the discrete subgroups using Lagrangian splines. For the entire collection see [Zbl 0997.00561].