On interpolation for Hörmander's algebras (Q973763): Difference between revisions

By an interpolating variety in \(\mathbb{C}^n\) in this paper are means \(V= \{(\zeta_k,m_k)\}\), where \(\zeta_k\) is a discrete sequence of points in \(\mathbb{C}^n\) and \(m_k\in\mathbb{N}\) some naturals. The corresponding counting function is defined as \[ n(r,V)= \sum_{\substack{ |\zeta|\leq r\\ \zeta_k\leq V}} m_k. \] A plurisubharmonic function \(p:\mathbb{C}^n\to [0,\infty)\) is called a weight function if there exit constants \(K_1\) and \(K_2\) such that \(|\zeta- z|\leq 1\) implies \(p(\zeta)\leq K_1p(z)+ K_2\). A corresponding Hörmander algebra is \[ A_p(\mathbb{C}^n)= \{f\in A(\mathbb{C}^n):\exists A,B>0\text{ such that }|f(z)|\leq Ae^{Bp(z)}, z\in\mathbb{C}^n\}. \] For an interpolating variety \(V\) one defines then the space \[ A_p(V)= \{(a_k):\exists A,B> 0\text{ such that }|d_k|\leq Ae^{Bp(\eta_k)}\}, \] where \(a_k\) are complex numbers. One has the natural restriction map \(\rho: A_p(\mathbb{C}^n)\to A_p(V)\) defined as \(\rho(f)=\{f(\zeta_k)\}\). The interpolation problem addressed in this paper consists in determining when \(\rho\) is surjective. When all \(mk= 1\) the necessary condition is: \[ \log n(r,V)\leq n\log(r M(r+ 1),p)+ O(1). \] The author gives an analogous necesasry condition for the interpolation with multiplicities, i.e. when the values of derivatives of order up to \(m_k\) at \(\rho_k\) are prescribed.