We consider the transition semigroup Rt =e tsA associated to an Ornstein—Uhlenbeck process in a Hilbert space H. We characterize, under suitable assumptions, the domain of A as a subspace W²,²(H, μ), where μ is the invariant ...