Reproducing kernels and extremal functions in Dirichlet type spaces

A number of identities is established for reproducing kernels and extremal functions in Dirichlet type spaces. In certain cases these identities are characteristic. A new proof of Aleman's theorem on extremal functions as contractive multipliers is obtained. As distinct from the original one, it can be extended to vector-valued spaces.