Complete Nevanlinna-Pick property of Dirichlet-type spaces (Q1614776)

Let a (nondegenerate, irreducible) complete Nevanlinna-Pick reproducing kernel (briefly, NP-kernel) for some Hilbert space of functions defined on a set \(X\) be given as a positive definite kernel \(k(z,\lambda)\) satisfying, for any \(\lambda,z\in X\), the identity \(k(z,\lambda)- k(z,\alpha) k(\alpha,\lambda)/ k(\alpha,\alpha)= B_\alpha(z,\lambda) k(z,\lambda)\) for some point \(\alpha\in X\) such that \(k(\alpha, \alpha)\neq 0\) and some positive semidefinite function \(B_\alpha (z,\lambda)\) such that \(| B_\alpha (z,\lambda)|< 1\). The present paper is devoted to the problem if, for a given reproducing kernel Hilbert space, its kernel is an NP-kernel. This question is answered in the positive for the case of Dirichlet-type spaces \(D(\mu)\) which may be characterized as weighted Dirichlet spaces of functions analytic in the unit disk whose derivatives are square integrable with superharmonic weights. In detail, it is proved that the reproducing kernel \(k=k_\mu\) for the space \(D(\mu)\) is an NP-kernel if \(\mu\) is a finite positive measure supported in the closed unit disk. Furthermore, for NP-kernel Hilbert spaces, a commutant lifting theorem for cyclic analytic two-symmetries is obtained.