Interpolation and duality in spaces of pseudocontinuable functions (Q2081424)

For \(1\le p\le\infty\) and an inner function \(\theta\), we denote by \(K_\theta^p\) the star-invariant subspace of the Hardy space \(H^p\) associated with \(\theta\), that is, \[ K_\theta^p=\{f\in H^p\,:\,\overline{z}\overline{f}\theta\in H^p\}. \] This paper is an important contribution to the problem of interpolation of complex sequences by functions in \(K_B^2\cap X\), where \(B\) is an interpolating Blaschke product and \(X\), a smoothness class (a Blaschke product \(B\) with zeros \(\{z_j\}\) is said interpolating if \(\inf_j|B'(z_j)|(1-|z_j|)>0\)). For \(p>0\), \(\gamma\in\mathbb{R}\) and a sequence \(\mathcal{Z}=\{z_j\}\) in the disk, let \(\ell^p_\gamma(\mathcal{Z})\) be the set of complex sequences \(\{w_j\}\) satisfying \(\sum_j|w_j|^p(1-|z_j|)^\gamma<\infty\). Once the \(H^\infty\)-interpolating sequence \(\mathcal{Z}\) is fixed, we associate with each sequence \(\mathcal{W}=\{w_j\}\) from \(\ell_1^1(\mathcal{Z})\) the conjugate sequence \(\widetilde{\mathcal{W}}=\{\widetilde{w}_k\}\) defined by \[ \widetilde{w}_k:=\sum_j\frac{w_j}{B'(z_j)\cdot(1-z_j\overline{z}_k)}\quad(k=1,2,\dots). \] The author proves the following result: Let \(\alpha>0\), \(1<p<\infty\), \(s>0\), and let \(X\) be one of the following spaces: the Lipschitz-Zygmund class \(\Lambda^\alpha\), the space BMO of functions of bounded mean oscillation on \(\mathbb{T}\), the Gevrey class \(G_\alpha\) or the Sobolev space \(\mathcal{L}^p_s\). Given an interpolating Blaschke product \(B\) with zeros \(\mathcal{Z}=\{z_k\}\) and a sequence \(\mathcal{W}=\{w_k\}\) in \(\ell_1^2(\mathcal{Z})\), there is \(f\in K^2_B\cap X\) such that \(f(z_k)=w_k\) for all \(k\) if and only if: \(|\widetilde{w}_k|=O((1-|z_k|)^\alpha)\), when \(X=\Lambda_\alpha\); \(\widetilde{\mathcal{W}}\in \ell^\infty\), when \(X=\) BMO; there is a constant \(c>0\) such that \(|\widetilde{w}_k|=O(\exp(-c\,(1-|z_k|)^{-\alpha}))\), when \(X=G_\alpha\); \(\widetilde{\mathcal{W}}\in \ell^p_{1-sp}(\mathcal{Z})\), when \(X=\mathcal{L}^p_s\). The author also proves that \(K_\theta^2\cap\mathrm{BMO}\) is properly contained in the dual of \(K_\theta^1\), unless \(\theta\) is a finite Blaschke product, and from this, he deduces a striking non-interpolation result of sequences \(\{w_k\}\) in \(\ell^\infty_{\log}(\mathcal{Z})\) (those that \(|w_k|=O(\log\frac{2}{1-|z_k|})\)): if \(B\) is any infinite Blaschke product with simple zeros, then \(\{f\big|_{\mathcal{Z}}\,:\,f\in K^2_B\cap\mathrm{BMO}\}\) is properly contained in \(l^\infty_{\log}(\mathcal{Z})\).