Interpolation with gradient in the ball and polydisk (Q1569296)

Let \(\mathcal{D}^n\) be any of domains \(\mathbb{B}^n\), \(\mathbb{D}^n\), where \(\mathbb{B}^n\) is the unit ball in \(\mathbb{C}^n\) and \(\mathbb{D}^n\) is the unit polydisk in \(\mathbb{C}^n\). Let \(A=\{a_k\in\mathcal{D}^n\}_{k=1}^\infty\) be a fixed sequence of points in \(\mathcal{D}^n\). Denote by \(r(a,m)=(1-||a||^2+|\langle a,\bar{m}\rangle|^2)^{1/2}\). A sequence of complex numbers \(\{f_k\}_{k=1}^\infty\) and vectors \(\{b_k\in\mathbb{C}^n\}_{k=1}^\infty\) are called \(A\)-admissible for the algebra \(H^\infty(\mathcal{D}^n)\) of bounded holomorphic functions in \(\mathcal{D}^n\) if there exist constants \(M_1\), \(M_2>0\) such that 1) \(|f_k|\leq M_1\) for any \(k\in\mathbb{N}\); 2a) in the case of the polydisk: \(\bigl|b_k^s\bigr|\leq M_2/(1-|a_k^s|^2)\) for any \(1\leq s\leq n\), \(k\in\mathbb{N}\); 2b) in the case of the unit ball: \[ |\langle b_k,m\rangle|=\left|\sum\limits_{s=1}^nb_k^sm^s\right|\leq M_2\frac{r(a_k,m)}{ r(a_k,m)^2-|\langle a_k,\bar{m}\rangle|^2}, \] for any unit vector \(m\in\mathbb{C}^n\), \(|m|=1\), and any \(k\in\mathbb{N}\). A sequence \(A\) of points in \(\mathcal{D}^n\) is called an interpolation sequence for \(H^\infty(\mathcal{D}^n)\) for the problem of interpolation with gradient if for any \(A\)- admissible sequence of complex numbers \(\{f_k\}_{k=1}^\infty\) and vectors \(\{b_k\in\mathbb{C}^n\}_{k=1}^\infty\) there exists a holomorphic function \(F\in H^\infty(\mathcal{D}^n)\) such that \(F(a_k)=f_k\) and \(\partial_k F(a_k)=b_k^s\), \(1\leq s\leq n\). The author obtains sufficient conditions for the solvability of this problem. In particular, he proves Theorem. A sequence \(A\) of points in the unit polydisk \(\mathbb{D}^n\) is interpolating for the interpolation problem with gradient in the algebra \(H^\infty(\mathbb{D}^n)\) if there exists a constant \(\delta>0\) such that the inequality \[ \prod\limits_{j:j\neq k}\rho^s(a_j,a_k)\geq\delta \] is true for any \(1\leq s\leq n\) and \(k\in\mathbb{N}\). Here \(\rho\) is hyperbolic metric in \(\mathbb{C}^n\).