Positive-definite function on a group
is a positive-definite function.
Essentially, these are the only examples. Indeed, there is a bijection between positive-definite functions on $G$ and isomorphism classes of triples $(\pi,H,u)$ consisting of a unitary representation $\pi$ of $G$ on $H$ and a unit vector $u$ that topologically generates $H$ under $\pi(G)$ (a cyclic vector). This is the (generalized) Bochner–Herglotz theorem.
See also Fourier–Stieltjes transform (when $G=\mathbf R$).
|[a1]||S. Lang, "$\SL_2(\mathbf R)$" , Addison-Wesley (1975) pp. Chap. IV, §5|
|[a2]||G.W. Mackey, "Unitary group representations in physics, probability and number theory" , Benjamin (1978) pp. 147ff|
Positive-definite function on a group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Positive-definite_function_on_a_group&oldid=43501