We consider the dynamics of a tagged particle in an infinite particle environment moving according to a stochastic gradient dynamics. For singular interaction potentials this tagged particle dynamics was constructed first in Ref. 7, using closures of pre-Dirichlet forms which were already proposed in Refs. 13 and 24. The environment dynamics and the coupled dynamics of the tagged particle and the environment were constructed separately. Here we continue the analysis of these processes: Proving an essential m-dissipativity result for the generator of the coupled dynamics from Ref. 7, we show that this dynamics does not only contain the environment dynamics (as one component), but is, given the latter, the only possible choice for being the coupled process. Moreover, we identify the uniform motion of the environment as the reversed motion of the tagged particle. (Since the dynamics are constructed as martingale solutions on configuration space, this is not immediate.) Furthermore, we prove ergodicity of the environment dynamics, whenever the underlying reference measure is a pure phase of the system. Finally, we show that these considerations are sufficient to apply Ref. 4 for proving an invariance principle for the tagged particle process. We remark that such an invariance principle was studied before in Ref. 13 for smooth potentials, and shown by abstract Dirichlet form methods in Ref. 24 for singular potentials. Our results apply for a general class of Ruelle measures corresponding to potentials possibly having infinite range, a non-integrable singularity at 0 and a nontrivial negative part, and fulfill merely a weak differentiability condition on ℝd\{0}.
Read full abstract