Mosco convergence of Dirichlet forms in infinite dimensions with changing reference measures

Let E be an infinite-dimensional locally convex space, let {μn} be a weakly convergent sequence of probability measures on E, and let {En} be a sequence of Dirichlet forms on E such that En is defined on L2(μn). General sufficient conditions for Mosco convergence of the gradient Dirichlet forms are obtained. Applications to Gibbs states on a lattice and to the Gaussian case are given. Weak convergence of the associated processes is discussed.