Eigenfunctions of the Laplacian of exponential type (Q4336932)

The authors construct a duality bilinear form \(\langle F,G\rangle^{\lambda,r}\) on \(\text{Exp}_{\Delta + \lambda^{2}} (\tilde {E}; (r)) \times \text{Exp}_{\Delta + \lambda^{2}} (\tilde {E}; [r])\), where \[ \text{Exp} (\tilde {E}; (r)) = \{F \in O (\tilde {E}); \|F\|r'< \infty \text{ for any } r' > r\}; \] \[ \text{Exp} (\tilde {E}; [r]) = \{F \in O (\tilde {E}); \|F\|r'< \infty \text{ for some } r' < r \} \] are spaces of entire functions of exponential type with \(O (\tilde E)\) the space of the entire functions on \(\tilde {E}= C^{n+1}\), with Lie norm \(L(z)\) and \( \|F\|_r = sup\{F(z)\exp(-rL^*(z)); z\in \tilde {E}\}\), with \(L^*(z)\) the dual Lie norm. Then, for \(\lambda \) a complex number, and \(\Delta_{z}\) the complex Laplacian on \(\tilde E\), \[ O_{\Delta + \lambda^{2}}(\tilde {E}) = \{F \in O (\tilde {E}); (\Delta_{z} + \lambda^{2}) F (z)= 0\}, \] \[ \text{Exp}_{\Delta + \lambda^{2}} (\tilde {E}; (r)) = \text{Exp} (\tilde {E}; (r)) \cap O_{\Delta + \lambda^{2}} (\tilde {E}), \text{Exp}_{\Delta + \lambda^{2}} (\tilde {E}; [r]) = \text{Exp} (\tilde {E}; [r]) \cap O_{\Delta + \lambda^{2}} (\tilde {E}). \] \(\text{Exp'}_{\Delta + \lambda^{2}} (\tilde {E}; (r))\) is the dual of \( \text{Exp}_{\Delta + \lambda^{2}} (\tilde {E}; (r))\). Then the authors show that the Fourier-Borel transformation (1) and the spherical Fourier-Borel transformation (2) are inverse to each other via the bilinear forms \(\langle f,g \rangle_{\tilde {S} \lambda,r}\) and \(\langle\langle F,G \rangle\rangle^{\lambda,r}\), with the Fourier-Borel transform of \(T \in O' (S_{\lambda} (r))\) defined by \[ {\mathcal F}_{\lambda} : O'(\tilde {S}_{\lambda} (r)) \rightarrow \text{Exp} _{\Delta + \lambda^{2}} (\tilde {E}; [r]), \text{with} {\mathcal F}_{\lambda} T (z) = \langle T_\zeta, \exp(iz \cdot \zeta)\rangle, z \in {\tilde E}; \eqno (1). \] \[ {\mathcal F}_{\lambda}^{S} : \text{Exp}'_{\Delta + \lambda^{2}} (\tilde {E}; (r)) \rightarrow O (\tilde {S}_{\lambda} [r]), \text{with} {\mathcal F}_{\lambda}^{S} (\Lambda(\zeta)= <\Lambda_z,\exp(-iz.\zeta)>. \eqno (2). \] Here \(\tilde {S}_\lambda\) is the complex sphere of radius \(\lambda\). \(\tilde B(r)\) and \(\tilde B [r]\) are the open and the closed Lie balls of radius \(r > 0\). For \(r > {}\lambda{}\), \(\tilde {S} (r) = \tilde {S}_{\lambda} \cap \tilde {B} (r)\) and \(\tilde {S} [r] = \tilde {S}_{\lambda} \cap \tilde {B} [r]\). \(O(\tilde {S}_{\lambda}(r))\) is the space of holomorphic functions on \(\tilde {S}_{\lambda} (r)\) and \(O(\tilde {S}_{\lambda} [r])\) is the space of germs of holomorphic functions on \((\tilde {S}_{\lambda} [r])\). \(O'(.)\) are their respective dual spaces. For the entire collection see [Zbl 0859.00023].