A uniqueness set for the differential operator \(\Delta _ z+\lambda\) 2 (Q1100590)

Let d be a positive integer and \(d\geq 2\). Let L(z) denote the Lie norm on \({\mathbb{C}}^{d+1}\); that is, \(L(z)=L(x+iy)=\{\| x\|^ 2+\| y\|\) \(2+2(\| x\|^ 2\| y\|^ 2-(x\cdot y)^ 2)^{1/2}\}^{1/2}\). \({\mathcal O}(\tilde B(r))\) denotes the space of holomorphic functions on \~B(r), where \(\tilde B(r)=\{z\in {\mathbb{C}}^{d+1}\); \(L(z)<r\}\). Suppose \(\lambda\) is an arbitrary complex number. Put \({\mathcal O}_{\lambda}(\tilde B(r))=\{f\in {\mathcal O}(\tilde B(r))\); \(\Delta_ zf=-\lambda^ 2f\}\), where \(\Delta_ z=(\partial /\partial z_ 1)^ 2+...+(\partial /\partial z_{d+1})^ 2\), \(M=\{z\in {\mathbb{C}}^{d+1}\); \(z^ 2_ 1+z^ 2_ 2+...+z^ 2_{d+1}=0\}\) and \({\mathcal O}(\tilde B(r))|_ M=\{f|_{M\cap B(r)}\); \(f\in {\mathcal O}(\tilde B(r))\}\). The first main result is that the restriction mapping \(\alpha_{\lambda}:\) \(f\to f|_ M\) is a linear topological isomorphism of \({\mathcal O}_{\lambda}(\tilde B(r))\) onto \({\mathcal O}(\tilde B(r))|_ M\). It shows that the function \(f\in {\mathcal O}_{\lambda}(\tilde B(r))\) is completely defined by its restriction values on \(M\cap \tilde B(r)\). The Fourier-Borel transformation \(P_{\lambda}\) for a functional f' is defined as follows: \(P_{\lambda}f'(z)=<f'_{\zeta},\exp (i\lambda \zeta \cdot z)>\) \((z\in {\mathbb{C}}^{d+1})\) and it has been studied by \textit{A. Martineau} [Bull. Soc. Math. France 95, 109-154 (1967; Zbl 0167.442)], the second author [Complex analysis, Banach Cent. Publ. 11, 223-250 (1983; Zbl 0599.46061), the first author [Tôhoku Math. J. 38, 417-432 (1986)], etc. In the last section of this paper the inverse image of \({\mathcal O}_{\lambda}(\tilde B(r))\) by the transformation \(P_{\lambda}\) is determined.