1: \begin{abstract}

2: First weak solutions of generalized stochastic Hamiltonian systems (gsHs) are constructed via essential m-dissipativity of their generators on a suitable core. For a scaled gsHs we prove convergence of the corresponding semigroups and tightness of the weak solutions. This yields convergence in law of the scaled gsHs to a distorted Brownian motion. In particular, the results confirm the convergence of the Langevin dynamics in the overdamped regime to the overdamped Langevin equation.

3: The proofs work for a large class of (singular) interaction potentials including, e.g., potentials of Lennard--Jones type.

4: 

5: \noindent\textit{Mathematics Subject Classification 2010}: 47D07, 60B12, 82C31

6: 

7: \noindent\textit{Key words}: Markov semigroups, Langevin equations, overdamped limit, distorted Brownian motion, semigroup convergence on varying spaces.

8: %, stochastic Hamiltonian system, essential m-dissipativity, Langevin equation, overdamped limit.

9: \end{abstract}