Fourier-Laplace transforms and related questions on certain analytic varieties in \(\mathbb C^2\) (Q1773325)

To each function \(h\in\mathcal O(\mathbb C\setminus \{0\})\) we may associate an entire holomorphic function \(\mathcal L_h(\lambda)\), which is defined by the formula \(\mathcal L_h(\lambda)=\int_{| \tau| =r}e^{\lambda\tau} h(\tau)\,d\tau\), \(\lambda\in\mathbb C\), \(r>0\). This defines the simplest case of the Fourier-Laplace transform, i.e., the map \(\mathcal L:\mathcal O(\mathbb C\setminus \{0\}) \to\mathcal O(\mathbb C)\), \(h \to\mathcal L_h\). We may generalize this transform by replacing \(\mathbb C\) by an analytic subvariety of \(\mathbb C^2\). More precisely, let us consider a holomorphic function \(\varphi(z_1, z_2)\), defined for \(z = (z_1, z_2)\in \mathbb C^2\), and let \(V_\varphi = \{(z_1,z_2)\in\mathbb C^2 : \varphi(z_1, z_2) = 0\}\) be the corresponding analytic variety. Assume that \(\varphi(0, 0) = 0\), i.e., the point \(0 = (0,0)\in V_\varphi\). Assume also that \(d\,\varphi(z_1, z_2)\neq0\) for every \((z_1,z_2)\in V_\varphi\setminus\{0\}\). Thus \(V_\varphi\setminus\{0\}\) is a one-dimensional complex manifold. To each holomorphic differential \(\omega\) on \(V_\varphi\setminus \{0\}\), we may associate an entire holomorphic function \(F_\omega(\zeta_1,\zeta_2)\), which is defined by the formula \[ F_\omega(\zeta_1,\zeta_2)=\int_{(\zeta_1,\zeta_2)\in V_\varphi\cap S_r}e^{\zeta_1z_1+\zeta_2z_2}\,\omega(\zeta_1,\zeta_2),\quad (\zeta_1,\zeta_2)\in\mathbb C^2. \] The study of this transform leads to the following question: Under what conditions on a double sequence \(\varpi_{kl}\) of complex numbers (\(k,l\) are nonnegative integers), does there exist a holomorphic differential \(\theta\) on \(V_\varphi\setminus\{0\}\), so that \(\int_{V_\varphi\cap S_r} z_1^kz_2^l\theta(z_1, z_2) =\varpi_{kl}\), for every \(k,l\)? In this note, the author makes a detailed study of this question in the case of the variety \(V_{p,q} = \{(z_1,z_2)\in\mathbb C^2: z_1^p = z_2^q\}\) and -- in the general case -- gives a partial answer by proving the following theorem. Theorem. {Assume that for some finite set \(\Gamma\) of pairs \((k,l)\), the function \(\varphi(z_1,z_2)\) satisfies the condition \[ \left.\frac{\partial^{s+t}\varphi(z_1,z_2)}{\partial z_1^s \partial z_2^t}\right| _{(z_1,z_2)=(0,0)}=0\quad \text{ for}\quad s+t\geqslant1, \quad s\leqslant k,\quad t\leqslant l,\quad (k,l)\in\Gamma. \] Then given complex numbers \(\varpi_{kl}\), \((k,l)\in\Gamma\), there exists \(\theta\in\mathcal O^1 (V_\varphi\setminus \{0\})\) so that} \[ \int_{V_\varphi\cap S_r}z_1^kz_2^l\theta(z_1, z_2)=\varpi_{kl},\quad (k, l)\in\Gamma. \]