Regularity for generators of invariant subspaces of the Dirichlet shift (Q2316803)

Denote by \(\mathbb{D}\) the open unit disc in \(\mathbb{C}\). Let \(D\) be the classical Dirichlet space of all analytic functions on \(\mathbb{D}\) for which the derivative is square area integrable. For a set \(E\subseteq\partial\mathbb{D}\), consider \(D_E=\left\{f\in D:\lim_{r\rightarrow1^-} f(re^{it})=0\; q.e.\right\}\), where ``q.e.'' means quasi-everywhere (notion defined in the paper). The authors prove that if \(E\) is a Carlson set, then there exists \(f\in D_E\) that is also in the disc algebra and that generates \(D_E\). The case of an extremal function in \(D\) is also considered.