On model spaces and density of functions smooth on the boundary
We characterize the model spaces K in which functions with smooth boundary extensions are dense. It is shown that such approximations are possible if and only if the singular measure associated to the singular inner factor of is concentrated on a countable union of Beurling Carleson sets. In fact, we use a duality argument to show that if there exists a restriction of the associated singular measu
