Cyclic inner functions in growth classes and applications to approximation problems

Abstract: It is well-known that for any inner function $\theta$ defined in the unit disk $D$ the following two conditons: $(i)$ there exists a sequence of polynomials ${p_n}n$ such that $\lim{n \to \infty} \theta(z) p_n(z) = 1$ for all $z \in D$, and $(ii)$ $\sup_n | \theta p_n |\infty < \infty$, are incompatible, i.e., cannot be satisfied simultaneously. In this note we discuss and apply a consequence of a result by Thomas Ransford, which shows that if we relax the second condition to allow for arbitrarily slow growth of the sequence ${ \theta(z) p_n(z)}_n$ as $|z| \to 1$, then condition $(i)$ can be met. In other words, every growth class of analytic functions contains cyclic singular inner functions. We apply this observation to properties of decay of Taylor coefficients and moduli of continuity of functions in model spaces $K\theta$. In particular, we establish a variant of a result of Khavinson and Dyakonov on non-existence of functions with certain smoothness properties in $K_\theta$, and we show that the classical Aleksandrov theorem on density of continuous functions in $K_\theta$, and its generalization to de Branges-Rovnyak spaces $\mathcal{H}(b)$, is essentially sharp.