Interpolation of analytic functions of moderate growth in the unit disc and zeros of solutions of a linear differential equation (Q2338747): Difference between revisions

Consider a sequence \(\{z_n\}_n\) in the unit disk \(\mathbb D=\{z\in\mathbb C: |z|<1\}\). Going back to \textit{L. Carleson} [Am. J. Math. 80, 921--930 (1958; Zbl 0085.06504)], the sequence is \textit{interpolating} if for each \(b=(b_n)_n\in \ell^{\infty}\) there exists \(f\in H^{\infty}\) (bounded and analytic on the unit disk) such that \(f(z_n)=b_n\) for all \(n\in\mathbb N\). We denote \(M(r,f)=\max\{|f (z)|: |z| = r\}\) for \(0\leq r<1\), and for nondecreasing \(\psi:[1,+\infty)\to \mathbb R_{\geq 0}\) we denote \(\tilde{\psi}(x)=\int_1^x \psi(t)/t \, dt\). For \(\zeta\in \mathbb C\) and \(t\geq 0\) let \(n_{\zeta}(t)\) be the number of elements of the sequence \(\{z_n\}_n\) in the closed disk of radius \(t\) around \(\zeta\), and for \(0\leq r<1\) let \(N_{\zeta}(r)=\int_0^r (\eta_{\zeta}(t)-1)^+/t\, dt\). Here is the main result of this paper: Let \(\psi: [1, +\infty) \to\mathbb R_{\geq 0}\) be non-decreasing and unbounded with \(\psi(2x)=O(\psi(x))\) (\(x\to +\infty\)) and assume \[ \exists\, C>0 :\, \forall n\in \mathbb N \quad N_{z_n}\left(\frac12(1-|z_n|)\right)\leq \psi\left((1-|z_n|)^{-1}\right). \] Then for any sequence \(b=(b_n)_n\) satisfying \[ \exists\, C > 0:\, \ln|b_n|\leq C \tilde{\psi}\left((1-|z_n|)^{-1}\right)\quad\text{for all} \quad n\in \mathbb N, \] there exists an analytic function \(f\) in \(\mathbb D\) with \(f(z_n)=b_n\) and \[ \exists\, C>0:\, \ln M(r,f)\leq C \tilde{\psi}\left((1-r)^{-1}\right). \] This result is applied to show that, under the same hypothesis on the interpolating sequence and the map \(\psi\), there exists an analytic function \(a\) in \(\mathbb D\) such that \[ \exists\, C>0:\, \ln M(r,a)\leq C \tilde{\psi}\left((1-r)^{-1}\right) \] and the differential equation \(g''+ag=0\) has a solution \(g\) with zeros precisely at the points \(z_n\), \(n\in \mathbb N\). See also the related paper [Ill. J. Math. 46, No. 3, 929--945 (2002; Zbl 1040.30018)] by \textit{A. Hartmann} and \textit{X. Massaneda}.