On interpolating sequences for Bloch type spaces (Q2669373)

Denote by \(H(\mathbb{D})\) the space of holomorphic functions on \(\mathbb{D}\) and by \(H^\infty\) the subspace of bounded functions. The classical Bloch space \(\mathcal{B}\) is the space of functions \(f\in H(\mathbb{D})\) such that \(\sup_{z\in\mathbb{D} }\left(1-|z|^{2}\right) |f'(z)|<\infty\). \(\mathcal{B}\) is a Banach space with the norm defined by \(\|f\|_{\mathcal{B}}=|f(0)|+\sup _{z\in\mathbb{D}}(1-|z|^{2})|f'(z)|\). Isolating the obvious relevant properties of the function \(1-|z|^2\) on \(\mathbb{D}\), the authors call a weight function \(v\) on \(\mathbb{D}\) \textit{typical} iff it is radial, i.e., \(v(z)=v(|z|)\) for any \(z\in\mathbb{D}\), it is non-increasing and \(\lim_{|z|\to1}v(z)=0\). Replacing \(1-|z|^2\) by a \textit{typical} weight function \(v\), the authors introduce two Bloch-type spaces: the first, \(\mathcal{B}_v^\infty\), the space of the functions \(f\in H(\mathbb{D})\) such that \(\|f\|_{\mathcal{B}_v^\infty}:=|f(0)|+\sup_{z\in\mathbb{D}} v(z)\,|f'(z)|<+\infty\); and the second, \(\mathcal{B}_v^0\), the space of the functions \(f\in\mathcal{B}_v^\infty\) such that \(\lim_{|z|\to1^-} v(z)\,|f'(z)|=0\). A sequence \(\{z_n\}\) in \(\mathbb{D}\) is classically said to be \textit{interpolating} for \(H^\infty\) if for any \(\{a_n\}\in\ell_\infty\) there exists \(f\in H^\infty\) such that \(f(z_n)=a_n\) for any \(n\in\mathbb{N}\). Carleson's theorem [\textit{L. Carleson}, Am. J. Math. 80, 921-930 (1958; Zbl 0085.06504)] (see also [\textit{J. B. Garnett}, Bounded analytic functions. New York etc.: Academic Press (1981; Zbl 0469.30024), p. 275]) is arguably one of the most important results about interpolating sequences for \(H^\infty\). His theorem essentially states that \(\{z_n\}\in\mathbb{D}\) is interpolating for \(H^\infty\) if and only if \(\{z_n\}\) is uniformly separated, that is, if and only if there exists \(\delta>0\) such that \(\inf_{k\in\mathbb{N}}\prod_{n\in\mathbb{N},\,n\neq k}\rho(z_n,z_k)\geq\delta\), where \(\rho\) is the pseudo hyperbolic distance in \(\mathbb{D}\), i.e., \(\rho(z,w) = \big| (z-w)/(1-\overline{z}w) \big|\) for \(z,w\in\mathbb{D}\). The authors extend the notion of interpolating sequences to their Bloch-type spaces, namely: a sequence \(\{z_n\}\) in \(\mathbb{D}\) is said to be \textit{interpolating for the Bloch-type space} \(\mathcal{B}_v^\infty\) if for any \(\{a_n\}\in\ell_\infty\) there exists \(f\in\mathcal{B}_v^\infty\) such that \(v(z_n)f'(z_n)=a_n\) for any \(n\in\mathbb{N}\). Considering sequences \(\{a_n\}\) in \(c_0\) the authors also study \(c_0\)-interpolating sequences for \(H^\infty\), \(\mathcal{B}_v^\infty\) and \(\mathcal{B}_v^0\). The case of \(c_0\)-interpolating sequences has been studied for uniform algebras by \textit{P. Galindo} et al. [Topology 48, No. 2--4, 111--118 (2009; Zbl 1211.46058)]; they proved that \(c_0\)-interpolating sequences for \(H^\infty\) are interpolating for \(H^\infty\) as well. In the paper under review the authors prove that this result remains true when dealing with \(\mathcal{B}_v^\infty\). Theorem 2.1. Let \(v\) be a typical weight on \(\mathbb{D}\). If \(\{z_n\}\) in \(\mathbb{D}\) is a sequence of distinct points, then the following statements are equivalent: (a) The sequence \(\{z_n\}\) is interpolating for \(\mathcal{B}_v^\infty\). (b) There exists a constant \(C>0\) such that: \(\|\{\xi_n\}\|_1\leq C\left\|\sum_{n=1}^\infty \xi_n v(z_n)\,\delta_{z_n}'\right\|\) for any \(\{\xi_n\}\in\ell_1\). (c) The sequence \(\{z_n\}\) is \(c_0\)-interpolating for \(\mathcal{B}_v^0\). Inspired by results of Galindo et al. [loc. cit] and [\textit{O. Blasco} et al., Rev. Mat. Complut. cit., No. 1, 115--139 (2019; Zbl 1417.30025)] the authors prove: Theorem 2.3. Let \(v\) be a typical weight and \(\{z_n\}\) a sequence in \(D\). Suppose that for any sequence \(\{a_n\}\in c_0\) there exists \(f\in\mathcal{B}_v^\infty\) such that \(v(z_n)f'(z_n)=a_n\) for any \(n\in\mathbb{N}\). Then \(\{z_n\}\) is interpolating for \(\mathcal{B}_v^\infty\). Then the authors state their main result: Theorem 2.4. Let \(v\) be a typical weight and \(\{z_n\}\) a sequence of distinct points in \(\mathbb{D}\). Then the following assertions are equivalent: (a) \(\{z_n\}\) is interpolating for \(\mathcal{B}_v^\infty\). (b) \(\{z_n\}\) is \(c_0\)-interpolating for \(\mathcal{B}_v^0\). (c) \(\{z_n\}\) is \(c_0\)-interpolating for \(\mathcal{B}_v^\infty\). (d) \(\{z_n\}\) is interpolating for \(\mathcal{B}_v^\infty\) when only considering idempotents \({a_n}\in\ell_\infty\) (i.e., sequences with \(a_n=0\) or \(a_n=1\)). The paper concludes with some examples of interpolating sequences for \(\mathcal{B}_v^\infty\).