Dirichlet spaces with superharmonic weights and de Branges-Rovnyak spaces (Q5963715)

For superharmonic weights \(\omega\), the authors consider the weighted Dirichlet space \(D_\omega\) of all holomorphic functions \(f\) on the unit disk \(\mathbb D\) such that \[ D_\omega(f):=\int_{\mathbb D} |f '(z)|^2 \omega(z) d A(z)<\infty. \] Conditions on \(\omega\) are given so that \(D_\omega\) can be identified with a de Branges-Rovnyak space. It is also shown that \(D_\omega(f_r)\leq \frac{2r}{1+r} D_\omega(f)\).