Interpolation and duality in spaces of pseudocontinuable functions

Abstract

Given an inner function $θ$ on the unit disk, let $K^p_θ:=H^p\capθ\bar z\bar{H^p}$ be the associated star-invariant subspace of the Hardy space $H^p$. Also, we put $K_{*θ}:=K^2_θ\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 $θ$, we further establish a non-duality relation between $K^1_θ$ and $K_{*θ}$. Namely, we prove that the latter space is properly contained in the dual of the former, unless $θ$ 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.