No label defined (Q4450600)

Relying on a version of the Rossi-Vergne result, the authors prove the following theorem: Let \(D = (a,b) \subset (0, +\infty)\) and \(f\in L^2(\mathbb H_n, \nu(\zeta)^\alpha \,dx\,d\zeta)\), where \(\nu(\zeta) = \exp(4\pi b| \zeta| ^2)\), \(\alpha =2-a/b\), \(\mathbb H_n\) is the Heisenberg group. Consider a polynomial \(P(\xi) = \sum_{j=0}^N a_j\xi^j\) such that \(a_j\geq 0\), \(0\leq j\leq N\), and \(a_N\neq 0\). The equation \( P(1 +\frac{1}{i}\frac{\partial}{\partial x})u = f\) admits a solution \(u\in H^2(\mathbb H_n,\nu(\zeta) \,dx\,d\zeta)\) iff \(P(1+\xi)\varphi(\xi,\zeta) =\widehat f(\xi,\zeta)\) for some function \(\varphi(\xi,\zeta)\) such that \(\varphi(\xi,\cdot)\) is entire in \(\zeta\in\mathbb C^n\) for a.e. \(\xi\in D\). For the entire collection see [Zbl 1015.00009].