Higher order weighted Dirichlet type spaces with poly-superharmonic weights and Dirichlet type operators of finite order

We study higher-order weighted Dirichlet integral and weighted Dirichlet type spaces $\mathscr D_{w,k}$ where the associated admissible weights arise from a class of positive poly-superharmonic functions on the open unit disc. We establish a generalized higher order version of the Local Douglas formula for computing the higher order weighted Dirichlet integral induced by Dirac measures supported on the open unit disc. Building on this formula, we analyze the properties of the multiplication operator $M_z$ acting on $\mathscr D_{w,k},$ proving that it is completely hyperexpansive of order $k$ for odd $k$ and completely hypercontractive of order $k$ for even $k$. To unify these cases, we introduce Dirichlet-type operators of finite order and construct model spaces corresponding to allowable tuples. This framework yields a model theorem for cyclic Dirichlet type operators of finite order, thereby extending well known model of cyclic completely hyperexpansive operators and the model of cyclic $m$-isometries.