Density conditions for interpolation in \(A^{-\infty}\). (Q5943736)

Let \(A^{-\infty}\) be the space of holomorphic functions in \(\mathbb{D}=\{z\in\mathbb{C}:| z| <1\}\) satisfying the growth conditions \[ \log| f(z)| \leq C_f\log\left(\frac e{1-| z| }\right),\quad C_f>0\,. \] Let \(\Gamma:=\{a_k\}_k\subset\mathbb{D}\) be a discrete sequence in \(\mathbb{D}\) and let \(m\) be a natural number (corresponding to the multiplicity of the points \(a_k\)). The pair \(X=(\Gamma,m)\) is called an interpolating variety for the space \(A^{-\infty}\) if for every sequence of values \(\bigl\{v_k^l\bigr\}_{k,l}\), \(k\in\mathbb{N}\), \(l=0,\dots,m-1\), such that \[ \sup_{k\in\mathbb{N}}\left(\sum_{l=0}^{m-1}\left| v_k^l\right| \right)(1-| a_k| )^p<\infty \] for some \(p>0\), there exists \(f\in A^{-\infty}\) with \[ \frac{f^{(l)}(a_k)}{l!}=v_k^l,\quad k\in\mathbb{N};\quad l=0,\dots,m-1\,. \] Let \(\varphi_z(\zeta)\) denote the automorphism of the disk exchanging \(z\) and 0. The main result of the paper is the following. Theorem. Let \(X=(\Gamma,m)\) be a discrete variety in \(\mathbb{D}\). Then \(X\) is \(A^{-\infty}\)-interpolating if and only if there exists a constant \(C=C(\Gamma,m)>0\) such that \[ \sum_{k:0<| \varphi_{a_j}(a_k)| \leq 1/2}\log\frac 1{| \varphi_{a_j}(a_k)| }\leq C\log\left(\frac e{1-| a_j| }\right),\quad j\in\mathbb{N}\,, \] \[ \sum_{k:1/2<| \varphi_z(a_k)| \leq | z| }\log\frac 1{| \varphi_z(a_k)| }\leq C\log\left(\frac e{1-| z| }\right),\quad | z| >1/2\,. \]