On a determination of entire functions of exponential type on homogeneous manifolds. (Q1599412)

Let \(M\) be a two-point homogeneous space with an action of its group of isometries \(G\), and let \(B\) be the manifold of unit tangent vectors to \(M\). For \((x,\xi)\in B\) let \(\gamma(x,\xi;t)\) be the geodesic curve on \(M\) such that \(\gamma(x,\xi;0)=x, (d/dt)\gamma(x,\xi;t)|_{t=0}=\xi\), and for any function \(F(x,\xi)\in L_p(B)\) and for \(t\in\mathbb R\) let \(F^t(x,\xi)=F(\gamma(x,\xi;t),(d/dt)\gamma(x,\xi;t))\). If \(F(x,\xi)\) is a compactly supported continuous function on \(B\), then \(\int_B F(x,\xi)\,dv=\int_B F^t(x,\xi)\,dv\) for all \(t\in\mathbb R\). This proposition is used to prove that the family of operators \(U(t)\colon \, F\mapsto F^t\), \(t\in\mathbb R\), is a strongly continuous isometric group of operators in \(L_p(B)\), \(1\leq p\leq \infty\). The main topic of this paper is entire vectors of exponential type, defined as follows: A function \(F(x,\xi)\in L_p(B)\) is called an entire vector of exponential type of degree \(\nu\) if the function \(U(t)F=F^t\) can be extended to the complex \(z\)-plane (\(z=t+is\)) as an entire function with values in \(L_p(B)\) and, for any \(\varepsilon>0\), there exists a constant \(C_\varepsilon\) such that \(\| U(z)F\|_p\leq C_\varepsilon e^{(\nu+\varepsilon)|z|}\). Denote the set of such vectors by \({\mathfrak M}_{\nu p}(B)\). This forms a closed linear subspace of \(L_p(B)\) and is invariant under the representation of \(G\) on \(L_p(B)\) defined by \((\pi(g)F)(x,\xi)=F(g^{-1}x,g_\ast^{-1}\xi)\). Theorem 1: The set \({\mathfrak M}_{\nu p}(\mathbb R^n)\) is the set of entire functions on \(\mathbb R^n\) of spherical type \(\nu\) that belong to \(L_p(\mathbb R^n)\). More generally, if \(M\) is a compact Riemannian homogeneous symmetric space of rank \(1\), a function \(f(x)\in{\mathfrak M}_{\nu p}\) if and only if \(f(x)\) is a spherical polynomial of degree at most \(\nu\).