Interpolating sequences and ideals in Dirichlet spaces of bounded functions (Q513398): Difference between revisions

Following \textit{A. L. Shields} and \textit{D. L. Williams} [Trans. Am. Math. Soc. 162, 287--302 (1972; Zbl 0227.46034)] a positive and radial function \(\omega\) defined in the open unit disc \(\mathbb{D}\) is said to be a normal weight on \(\mathbb{D}\) if there are two constants \(0 < a < b < 1\) such that \(\frac{\omega(r)}{(1 - r)^a} \downarrow 0\) and \(\frac{\omega(r)}{(1 - r)^b} \uparrow \infty\) as \(r \to 1\). A function \(f\) holomorphic in \(\mathbb{D}\) belongs to the Dirichlet type \(\mathbb D_{\omega}\) if \[ \|f\|^2_{\mathbb D_{\omega}} = |f(0)|^2 + \int_{\mathbb{D}}|f'(z)|^2 \omega(|z|)dA(z) < \infty\,, \] where \(dA\) represents the usual normalized Lebesgue measure on \(\mathbb{D}\). In Theorem 1.1, by the way a nice result, the authors characterize the interpolating sequences \(\{z_n\} \subset \mathbb{D}\) for the class \(H^\infty \cap \mathbb D_{\omega}\), \(\omega \) being a normal weight on \(\mathbb{D}\), as those sequences that are uniformly separated and satisfy the estimate \(\sum_{n=1}^\infty \omega(|z_n|) < \infty\). Key ingredients in the proof are the fact that \(\mathbb D_{\omega}\) is contained in the weighted Dirichlet space \(\mathbb D_b\) and ideas of the Earl's constructive proof of the well-known Carleson interpolation theorem for \(H^\infty\). Following \textit{V. P. Khavin} [Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 22, 202--205 (1971; Zbl 0271.30032)] a subspace \(Y \subset H^2\) is said to have the \(F\)-property if \(h/I \in Y\) whenever \(h \in Y\) and \(I\) is an inner function with \(h/I \in H^2\). The authors also prove that if \(X \subseteq H^\infty\) is a ring with the \(F\)-property and if the ideal \(I(f_1,f_2,\dots , f_n)\), generated by the functions \( f_1,f_2,\dots , f_n \in X\), contains a Blaschke product whose zero set is an interpolating sequence for \(X\), then \(I(f_1,f_2,\dots , f_n) \) coincides with the set \[ \bigg\{g \in X \,:\, \exists C = C(g) \text{ with } |g(z)| \leq C \sum_{i=1}^n |f_i(z)|\,,\;z \in \mathbb{D} \bigg\}. \] It is seen that if \(\omega\) satisfies certain regularity condition then \(D_{\omega} \cap H^\infty\) and its multiplier space \(M(\mathbb D_{\omega})\) both are examples of rings with the \(F\)-property. The paper is quite easy for reading. However, some indication or comment would be desirable concerning a possible relationship, if any, between the Aleman's smooth weight in the statement of Theorem C and the normal weights.