Hermite functions on compact Lie groups. I (Q1340838)

The formula for Hermite polynomials on \(R^d\) is well known as well as the existence of a linear isometry of \(\overline {S}\) onto \(L^2(R^d, p_1)\); \(S = S(C^d)\) denotes the vector space of symmetric tensors over \(C^d\), \(\overline{S}\) is the completion of \(S\) in a precise inner product, and \(p_1(x)\) is the standard Gaussian on \(R^d\). By L. Gross the above problem was extended to the case where \(R^d\) is replaced by a compact Lie group \(G\). The author exhibits explicitly, in a new and more convenient manner, the isometry proved by L. Gross. -- Mention must be made of the remarks 2.7, 3.2 and 3.4.