On the problem of smooth approximations in de Branges-Rovnyak spaces and connections to subnormal operators

TL;DR

This paper investigates smooth approximation problems in de Branges-Rovnyak spaces, linking them to subnormal operator theory, and provides explicit conditions on the symbol for the density of smooth boundary functions.

Contribution

It establishes a connection between smooth approximation in de Branges-Rovnyak spaces and subnormal operator properties, offering computable criteria for approximation feasibility.

Findings

Derived necessary conditions on $b$ for smooth approximation.

Connected approximation problems to invariant subspaces of subnormal operators.

Provided explicit criteria for density of differentiable boundary functions.

Abstract

For the class of de Branges-Rovnyak spaces $\mathcal{H}(b)$ of the unit disk $\mathbb{D}$ defined by extreme points $b$ of the unit ball of $H^\infty$, we study the problem of approximation of a general function in $\mathcal{H}(b)$ by a function with an extension to the unit circle $\mathbb{T}$ of some degree of smoothness, for instance satisfying H\"older estimates or being differentiable. We will exhibit connections between this question and the theory of subnormal operators and, in particular, we will tie the possibility of smooth approximations to properties of invariant subspaces of a certain subnormal operator. This leads us to several computable conditions on $b$ which are necessary for such approximations to be possible. For a large class of extreme points $b$ we use our result to obtain explicit necessary and sufficient conditions on the symbol $b$ which guarantee the density of functions with differentiable boundary values in the space $\mathcal{H}(b)$. These conditions include an interplay between the modulus of $b$ on $\mathbb{T}$ and the spectrum of its inner factor.