Symmetric pairs, Gelfand pairs and pairs such that generating functions of zonal spherical functions define unitary operators -- the case of the compact type (Q852585)

Let \(G\) be a compact group, and \(K\) be a closed subgroup of \(G.\) Let \(L^2(G,K)\subset L^2(G)\) be the space of \(K\)-bi-invariant functions. Denote \(B=\{z\in\mathbb{C}:| z| <1\}.\) The function \(\Phi(z,x)\) defined on \(B^l\times G,\) \(l\in\mathbb N_0,\) is called a \textit{generating function associated with the pair \((G,K)\)} if the following conditions are satisfied: (i) \(\Phi(z,x)\) is continuous on \(B^l\times G,\) for every \(x\in G\) it is analytic on \(B^l\) as a function of \(z,\) and for every \(z\in B^l\) it is \(K\)-bi-invariant as a function of \(x;\) (ii) for each \(z\in B^l\) the function \(\Phi_z(x)=\Phi(z,x)\) satisfies \(\Phi_z*\Phi_w(x)=\Phi_{zw}(x)\) for all \(z,w\in B^l\) and all \(x\in G;\) (iii) the space \(\mathcal{F}=\{\Phi\varphi:\varphi\in L^2(G,K)\},\) where \(\Phi\varphi(z)=\int_G\Phi(z,x^{-1})\varphi(x)dx,\) \(z\in B^l,\) is a Hilbert space of the Bergmann type of order \(l\) (i.e., the space of analytic functions on \(B^l\) that belong to \(L^2(B^l)\) is a closed subspace of \(L^2(B^l)\)), and \(\Phi\) is a unitary operator from \(L^2(G,K)\) to \(\mathcal{F}(B^l).\) The author proves the following two results: (1) Let \(G\) be a compact connected Lie group, and let \(K\) be a closed subgroup of \(G.\) If the pair \((G,K)\) is a Riemannian symmetric pair such that \(G\slash K\) is simply connected, then there exists a generating function of the form \(\sum_{m\in\mathbb{N}_0^l}d_m\varphi_m(x)z^m,\) \(x\in G,\) \(z\in B^l,\) where \(\varphi_m\) is the zonal spherical function associated with a spherical representation \(\rho_m\) of \(G\) with respect to \(K,\) \(d_m=\dim\rho_m,\) such that it is a generating function associated with \((G,K).\) (2) Let \(G\) be a compact group, and let \(K\) be a closed subgroup of \(G.\) If the pair \((G,K)\) has a generating function associated with itself, then it is a Gelfand pair. The author also shows that the notion of pair which has a generating function associated with itself is equivalent neither to that of Riemannian symmetric pair nor to that of Gelfand pair.