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\).NEWLINENEWLINEThe main results concerning sampling and interpolation for \(F^2_\alpha\) are the following.NEWLINENEWLINENEWLINENEWLINE Theorem 1. (a) If \(X\) is a sampling divisor for \(F^2_\alpha\), then \(X\) satisfies the finite overlap condition, that is, NEWLINE\[NEWLINE \sup_{z\in\mathbb{C}}\sum_{\lambda\in\Lambda}\chi_{D(\lambda,\sqrt{m_\lambda/\alpha})}(z)<\infty, NEWLINE\]NEWLINE and there exists \(C>0\) such that \(\bigcup_{\lambda\in\Lambda}D(\lambda,\sqrt{m_\lambda/\alpha}+C)=\mathbb{C}\). NEWLINENEWLINENEWLINENEWLINE (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\). NEWLINENEWLINENEWLINENEWLINE 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.NEWLINENEWLINE(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\).NEWLINENEWLINEThese results show that if the multiplicities tend to infinity, then no divisor can be simultaneously sampling and interpolating.NEWLINENEWLINEIn addition, the authors prove similar results for sampling and interpolation for \(F^{p}_\alpha\), \(2<p\leq\infty\). NEWLINENEWLINENEWLINENEWLINE Another interesting result establishes the following necessary condition for zero divisors. NEWLINENEWLINENEWLINENEWLINE 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\).