1: \begin{proof}

2: By~\eqref{cond:Vpsi}, $\mH(\rho)$ bounds the integral $\int p^2/m^2 \, d\rho$ from above. Using the characterization of Remark~\ref{rem:alternativeCharacterization}, we formally calculate that

3: \begin{align}

4: \label{est:mH}

5: \partial_t \mH(\rho_t) &= \frac{\gamma \theta d}m - \gamma \int \frac{p^2}{m^2} \,d\rho_t

6: - \int \frac pm \cdot  h_t\, d\rho_t\\

7: &\leq \frac{\gamma \theta d}m - \gamma \int \frac{p^2}{m^2} \,d\rho_t

8:    + \gamma \int \frac{p^2}{m^2} \,d\rho_t+ \frac1{4\gamma} \int |h_t|^2 \, d\rho_t\notag\\

9: &= \frac{\gamma \theta d}m

10:   + \frac1{4\gamma} \int |h_t|^2 \, d\rho_t.

11:   \notag

12: \end{align}

13: This calculation can be made rigorous in its time-integrated form by approximating $p^2/m^2 + V(q)$ by a sequence of smooth functions $f_n\in C^\infty_c(\R^{2d})$, and using $f_n$ in the distributional form of the equation $\partial_t\rho_t=A_{\rho_t}^T\rho_t -\div_p(\rho_t h_t)$. Continuing with the proof, it follows that

14: \[

15: \sup_{t\in[0,T]} \mH(\rho_t) \leq \mH(\rho_0) + \frac{\gamma\theta d}m T + \frac1{4\gamma} \int_0^T \int |h_t|^2 \, d\rho_t = \mH(\rho_0) + \frac{\gamma \theta d}m T + \theta \,I(\rho) < \infty,

16: \]

17: and consequently $\int p^2\, d\rho_t$ is also uniformly bounded. We conclude by remarking that the right-hand side of~\eqref{est:mH}, as a function of time $t$, is an element of $L^2(0,T)$.

18: \end{proof}

19: