Uniqueness of invariant product measures for elliptic infinite dimensional diffusions and particle spin systems
Consider an infinite dimensional diffusion process process on TZd, where T is the circle, defined by the action of its generator L on C2(TZd) local functions as . Assume that the coefficients, ai and bi are smooth, bounded, finite range with uniformly bounded second order partial derivatives, that ai is only a function of and that . Suppose ν is an invariant product measure. Then, if ν is the Lebesgue measure or if d=1,2, it is the unique invariant measure. Furthermore, if ν is translation...