Interpolating sequences and ideals in Dirichlet spaces of bounded functions

Moment problems and interpolation problems in the complex plane (30E05) Spaces of bounded analytic functions of one complex variable (30H05) Algebras of analytic functions of one complex variable (30H50) Hilbert spaces of continuous, differentiable or analytic functions (46E20)

Review text

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.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Interpolating sequences and ideals in Dirichlet spaces of bounded functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q513398)