Paley-Wiener theorems for hyperbolic spaces (Q5927507)

Let \(\mathbb{X}=\mathbb{X}_{p,q}\) be the hyperboloid \(\langle x,y \rangle=1\) in \(\mathbb{R}^{p+q}\), where \(\langle x,y\rangle=x_1 y_1+\cdots +x_py_q-x_{p+1} y_{p+1}- \cdots-x_{p+q} y_{p+q}\). It is a homogeneous space \(G/H\), where \(G=SO_0 (p,q)\) and \(H=SO_0 (p-1,q)\). Let \(\mathbb{Y}=\mathbb{Y}_{p,q}\) be the section of the cone \(\langle x,y\rangle=0\) by the cylindre \(x^2_1+ \cdots+ x^2_p=1\), so that \(\mathbb{Y}\) is the product of two spheres: \(\mathbb{Y}=S^{p-1} \times S^{q-1}\). The Fourier transform \({\mathcal F}\) assigns to any function \(f\) in \(C_c^\infty (\mathbb{X})\) the integral over \(\mathbb{X}\) with respect to a \(G\)-invariant measure \(dx\) of the product of \(f(x)\) and the Poisson kernel \(\langle x,y\rangle^{\lambda-\rho} \text{sgn}^\varepsilon \langle x,y\rangle\), here \(x\in\mathbb{X}\), \(y\in \mathbb{Y}\), \(\lambda\in \mathbb{C}\), \(\varepsilon\in\{0,1\}\), \(\rho=(p +q-2)/2\). So, \({\mathcal F}\) is a map from \(C_c^\infty (\mathbb{X})\) into a space of functions \(\psi (\varepsilon, \lambda,y)\) on \(\{0,1\} \times\mathbb{C} \times\mathbb{Y}\) meromorphic in \(\lambda\) and indefinitely differentiable in \(y\). In the paper under review the author establishes a Paley-Wiener theorem for \(\mathbb{X}\) in the case when both \(p\) and \(q\) are even. Namely, he claims that \({\mathcal F}\) is a topological linear isomorphism between the space \(C_c^\infty(\mathbb{X})\) and the space \(PW(\{0,1\} \times \mathbb{C} \times\mathbb{Y})\). The latter is the inductive limit of spaces \(PW_T=PW (\{0,1\} \times\mathbb{C} \times\mathbb{Y})_T\), \(T>0\), when \(T\to\infty\). The space \(PW_T\) consists of functions \(\psi(\varepsilon, \lambda,y)\) as above satisfying a symmetry condition with respect to the Weyl group \(W=\mathbb{Z}_2\) \((\lambda\mapsto \pm \lambda)\) and some growth condition depending on \(T\). Therefore, the author proves first that \({\mathcal F}\) is a topological linear isomorphism between the space \(C_c^\infty (\mathbb{X})_T\) and the space \(PW_T\), where \(C_c^\infty (\mathbb{X})_T\) consists of functions supported in the ``ball'' \(\mathbb{X}_T: x^2_1+ \cdots+ x_p^2 \leq \text{cosh}^2T\). The main step of the proof is the Paley-Wiener theorem for functions in \(C_c^\infty (\mathbb{X})_T\) of a given \(K\)-type. Reviewer's note: Some other papers should be mentioned in this connection, in particular, the paper: \textit{B. Blind} [Bull. Sci. Math. (2) 109, 407-429 (1985; Zbl 0599.43009)], where the Paley-Wiener theorem is proved for one sheeted hyperboloids \((q=1)\) by similar methods.