1: \begin{proof}

2: The first part of this lemma was proved in \cite{FGJS-I}. 

3: To prove the second part we use the equation

4: \begin{equation}

5: \partial_t(x_k|\psi|^2) = \iu \nabla \cdot (x_k

6: \bar{\psi}\nabla \psi - x_k \psi\nabla \bar{\psi}) -

7: \iu(\bar{\psi}\partial_k \psi - \psi \partial_k \bar{\psi}),

8: \end{equation}

9: understood in a weak sense, which follows from the nonlinear

10: Schr\"odinger equation \eqref{eq:NLS}. Formally, integrating this

11: equation and using that the divergence term vanishes gives the second

12: equation in \eqref{eq:Ehr}. To do this rigorously, let $\chi$ be a

13: $\C{1}$ function such that $|\nabla \chi(x)|\leq C$ and

14: \begin{equation}

15: \chi(x):=\left\{\begin{array}{ll} 1 & |x|\leq 1, \\ 0 & |x|>2,

16: \end{array}\right.

17: \end{equation}

18: and let $\chi_R(x):=\chi(\frac{x}{R})$.

19: Abbreviate $j_k:=(x_k \bar{\psi}\nabla \psi - x_k \psi\nabla

20: \bar{\psi})$ and let $R>1$. We multiply the divergence term by

21: $\chi_R$. Integration by parts gives

22: \begin{equation}

23: \left|\int (\nabla\cdot j_k) \chi_R\diff^d x\right|=\left|\int j_k\cdot \nabla

24: \chi_R(x) \diff^d x\right| \leq \frac{C}{R} \int |j_k| \diff^d x.

25: \end{equation}

26: We note that $j_k\in \Lp{1}$ for all $k$, and is independent of $R$, thus as

27: $R\rightarrow \infty$, this term vanishes. The remaining terms give in

28: the limit $R\rightarrow \infty$ the second equation in \eqref{eq:Ehr}.

29: \end{proof}

30: