The range of the restriction map for a multiplicity variety in Hörmander algebras of entire functions (Q2454123)

A function \(p: \mathbb{C} \rightarrow [0, \infty [\) is called a growth condition if it is continuous, radial, increases with \(|z|\) and satisfies {\parindent=16mm \begin{itemize} \item[(\(\alpha\))] \(\log(1+|z|^2)=o(p(|z|))\) as \(|z|\to \infty\), \item[(\(\beta\))] \(p(2|z|)=O(p(|z|))\) as \(|z|\to \infty\). \end{itemize}} Given a growth condition \(p\), consider the following spaces \[ A_p(\mathbb{C}):=\{f\in {\mathcal H}(\mathbb{C}): \text{ there is } A>0 \text{ so that } \sup_{z\in \mathbb{C}}|f(z)| \exp(-Ap(z))<\infty \}, \] \noindent endowed with the inductive limit topology, for which it is a (DFN)-algebra, and \[ A^0_p(\mathbb{C}):=\{f\in {\mathcal H}(\mathbb{C}): \text{ for all } \varepsilon>0 \text{ there holds }\sup_{z\in \mathbb{C}}|f(z)| \exp(-\varepsilon p(z))<\infty \}, \] \noindent endowed with the projective limit topology, for which it is a nuclear Fréchet algebra. \(V=\{(z_k,m_k): k\in \mathbb{N}\}\) is said to be a multiplicity variety if \((z_k)_k\) is a sequence of complex numbers such that \(\lim_{k\to\infty}|z_k|=\infty\) and \((m_k)_k\) is a sequence of non-negative numbers. Associate to a multiplicity variety \(V\) and a weight \(p\) the following spaces \[ A_p(V):=\left\{ (a_{k,l})\in \prod_{k\in \mathbb{N}}\mathbb{C}^{m_k}: \text{ there is } B>0 \text{ with } \sup_{k\in \mathbb{N}}\sum_{l=0}^{m_k-1}|a_{k,l}|\exp(-Bp(z_k))<\infty\right\}, \] \noindent endowed with the inductive limit topology and \[ A_p^0(V):=\left\{ (a_{k,l})\in \prod_{k\in \mathbb{N}} \mathbb{C}^{m_k}: \text{for all }\varepsilon>0,\;\sup_{k\in \mathbb{N}}\sum_{l=0}^{m_k-1}|a_{k,l}|\exp(-\varepsilon p(z_k))<\infty\right\}, \] \noindent endowed with the projective topology, for which it is a Fréchet space. The restriction map \(R_V:H(\mathbb{C})\to \prod_{k\in \mathbb{N}} \mathbb{C}^{m_k}\), \(R_V(g):=((g^{(l)}(z_k)/l!)_{0\leq l <m_k})_k\), is well known to satisfy \(R_V(A_p(\mathbb{C}))\subset A_p(V)\) and \(R_V(A^0_p(\mathbb{C}))\subset A_p^0(V)\). \(V\) is said to be interpolating for \(A_p(\mathbb{C})\) whenever \(R_V(A_p(\mathbb{C}))=A_p(V)\), and it is said to be interpolating for \(A^0_p(\mathbb{C})\) when \(R_V(A^0_p(\mathbb{C}))= A_p^0(V)\). \textit{C. A. Berenstein} and \textit{B. Q. Li} [J. Geom. Anal. 5, No. 1, 1--48 (1995; Zbl 0813.32002)] characterized the varieties which are interpolating for \(A_p(V)\). \textit{C. A. Berenstein} et al. [Can. J. Math. 47, No. 1, 28--43 (1995; Zbl 0827.30014)] obtained a characterization for interpolating varieties for \(A^0_p(\mathbb{C})\). Let \(p,q\) be two weights such that \(q(z)=o(p(z))\) as \(|z|\to \infty\). The authors show that in this situation there is a multiplicity variety \(V\) such that \(V\) is interpolating for \(A_p(\mathbb{C})\) (\(A_p^0(\mathbb{C})\)), but not for \(A_{q}(V)\) (\(A_q^0(V)\)). As a complement to the above result, the authors also show that if \(R_V(A_p(\mathbb{C}))\) contains the sequence space \(A_q(V)\) associated with the weight \(q\), then \(V\) is interpolating for \(A_p(\mathbb{C})\).