Schoenberg's theorem for real and complex Hilbert spheres revisited (Q1704133)

\textit{I. J. Schoenberg} [Duke Math. J. 9, 96--108 (1942; Zbl 0063.06808)] introduced and characterized positive definite functions on spheres. Extending Schoenberg's theorem for the complex Hilbert sphere proved by \textit{J. P. R. Christensen} and \textit{P. Ressel} [Math. Z. 180, 193--201 (1982; Zbl 0572.43004)], the authors of the present paper give a characterization of positive definite functions on the product of the unit sphere in the complex Hilbert space \(\ell_2(\mathbb{C})\) with a locally compact group via a power series expansion.