Schoenberg's theorem for real and complex Hilbert spheres revisited

Schoenberg's theorem for the complex Hilbert sphere proved by Christensen and Ressel in 1982 by Choquet theory is extended to the following result: Let L denote a locally compact group and let D¯ denote the closed unit disc in the complex plane. Continuous functions f:D¯×L→C such that f(ξ⋅η,u⁻¹v) is a positive definite kernel on the product of the unit sphere in ℓ₂(C) and L are characterized as the functions with a uniformly convergent expansion f(z,u)=∑m,n=0∞φ_m,n(u)z^mz¯ⁿ,where φ_m,n is a double sequence of continuous positive definite functions on L such that ∑φ_m,n(e_L)<∞ (e_L is the neutral element of L). It is shown how the coefficient functions φ_m,n are obtained as limits from expansions for positive definite functions on finite dimensional complex spheres via a Rodrigues formula for disc polynomials. Similar results are obtained for the real Hilbert sphere.