Geometric characterization of interpolation in the space of Fourier-Laplace transforms of ultradistributions of Roumieu type (Q545667)

The author characterizes interpolation varieties of ultradistributions of Romieu type; what follows is a brief description of the main ingredients of the result. Let \(X\) stand for a multiplicity variety \(\{(\lambda,m_\lambda)\}_{\lambda\in \Lambda}\), where \(\Lambda\) is a discrete subset of \(\mathbb C\) and \(m_\lambda\in \mathbb Z\). Let \(\omega\) stand for a continuous increasing weight function on \([0,\infty)\) such that \(\int_0^\infty w(t)(1+t^2)^{-1}=\infty\), extended to \(\mathbb C\) via \(\omega(z)=\omega|z|\). Consider the space of ultradistributions of Roumieu type given by \[ A_{\{\omega\}}=\{f\in H(\mathbb C)|\, \exists\,M>0\quad \forall m>0 : \sup_{z\in\mathbb C} |f(z)|e^{-M|Im\, z|-\frac1m \omega(z)}<\infty\}. \] The variety \(X\) is interpolating for \(A_{\{\omega\}}\) if for every sequence of values \(\{v_{\lambda,l}|\lambda\in\Lambda,0\leq l< m_{\lambda}\}\) satisfying \[ \exists\,M\in\mathbb N\quad \forall m\in\mathbb N : \sup_{\lambda\in\Lambda}\sum_{l=0}^{m_{\lambda}-1}|v_{\lambda,l}| e^{-M|Im\, \lambda|-\frac1m \omega(\lambda)}<\infty \] there exists \(f\in A_{\{\omega\}}\) such that \(f^{(l)}(\lambda)/l!=v_{\lambda,l}\), \(\lambda\in\Lambda\), \(0\leq l<m_{\lambda}\). The main theorem of the paper states that \(X\) is interpolating for \(A_{\{\omega\}}\) if and only if there exists a weight \(\sigma=o(\omega)\) such that \(X\) is interpolating for \(A_{\{\sigma\}}\), if and only if certain precise conditions regarding the distribution of the lattice \(\Lambda\) and its values \(m_\lambda\) are fulfilled. As a corollary, the author shows that the property of being an interpolation variety is monotone with respect to the weight.