Interpolation and duality in spaces of pseudocontinuable functions

Abstract

Given an inner function $\theta$ on the unit disk, let $K^p_\theta:=H^p\cap\theta\bar z\bar{H^p}$ be the associated star-invariant subspace of the Hardy space $H^p$. Also, we put $K_{*\theta}:=K^2_\theta\cap{\rm BMO}$. Assuming that $B=B_{\mathcal Z}$ is an interpolating Blaschke product with zeros $\mathcal Z=\{z_j\}$, we characterize, for a number of smoothness classes $X$, the sequences of values $\mathcal W=\{w_j\}$ such that the interpolation problem $f\big|_{\mathcal Z}=\mathcal W$ has a solution $f$ in $K^2_B\cap X$. Turning to the case of a general inner function $\theta$, we further establish a non-duality relation between $K^1_\theta$ and $K_{*\theta}$. Namely, we prove that the latter space is properly contained in the dual of the former, unless $\theta$ is a finite Blaschke product. From this we derive an amusing non-interpolation result for functions in $K_{*B}$, with $B=B_{\mathcal Z}$ as above.