Geometric conditions for multiple sampling and interpolation in the Fock space (Q329531)

The authors study multiple interpolation and sampling for the classical Fock spaces \(F^p_\alpha=F^p_\alpha(\mathbb{C})\) in the case of unbounded multiplicities. The conditions on a divisor \(X=\{(\lambda,m_\lambda)\}_{\lambda\in\Lambda}\) to be a sampling, an interpolating or a zero divisor are given in terms of geometric properties of Euclidean disks \(D(\lambda,r_\lambda)\) with radius \(r_\lambda\) related to the multiplicity \(m_\lambda\). The main results concerning sampling and interpolation for \(F^2_\alpha\) are the following. Theorem 1. (a) If \(X\) is a sampling divisor for \(F^2_\alpha\), then \(X\) satisfies the finite overlap condition, that is, \[ \sup_{z\in\mathbb{C}}\sum_{\lambda\in\Lambda}\chi_{D(\lambda,\sqrt{m_\lambda/\alpha})}(z)<\infty, \] and there exists \(C>0\) such that \(\bigcup_{\lambda\in\Lambda}D(\lambda,\sqrt{m_\lambda/\alpha}+C)=\mathbb{C}\). (b) Conversely, let the divisor \(X\) satisfy the finite overlap condition. There exists \(C>0\) such that, if for some compact \(K\subset \mathbb{C}\) we have \(\bigcup_{\lambda\in\Lambda}D(\lambda,\sqrt{m_\lambda/\alpha}-C)=\mathbb{C}\setminus K\), then \(X\) is a sampling divisor for \(F^2_\alpha\). Theorem 2. (a) If \(X\) is an interpolating divisor for \(F^2_\alpha\), then there exists \(C>0\) such that the disks \( \{D(\lambda,\sqrt{m_\lambda/\alpha}-C)\}_{\lambda\in\Lambda,m_\lambda>\alpha C^2} \) are pairwise disjoint. (b) Conversely, if for some \(C>0\) the disks \( \{D(\lambda,\sqrt{m_\lambda/\alpha}+C)\}_{\lambda\in\Lambda} \) are pairwise disjoint, then \(X\) is an interpolating divisor for \(F^2_\alpha\). These results show that if the multiplicities tend to infinity, then no divisor can be simultaneously sampling and interpolating. In addition, the authors prove similar results for sampling and interpolation for \(F^{p}_\alpha\), \(2<p\leq\infty\). Another interesting result establishes the following necessary condition for zero divisors. Theorem 3. If there is a compact \(K\subset\mathbb{C}\) such that \(\bigcup_{\lambda\in\Lambda}D(\lambda,\sqrt{m_\lambda/\alpha})=\mathbb{C}\setminus K\), then \(X\) is not a zero divisor for \(F^\infty_\alpha\).