1: \begin{proof}

2:   We present the formal part of the proof, and refer to

3:   \cite{CazCourant} for the arguments that make the proof rigorous. We

4:   first resume the computation made in the course of the proof of

5:   Corollary~\ref{cor:alternative}.

6: Differentiating \eqref{eq:evolmoment} with respect to time again, we have:

7: \begin{align*}

8:  \frac{d^2}{dt^2}\|x_j u\|_{L^2}^2 &= 

9: 2 \IM

10:     \int_{\R^d}x_j \d_t \overline 

11:     u\d_j u   + 2 \IM

12:     \int_{\R^d}x_j \overline 

13:      u\d_j \d_t u \\

14: &= -2  \IM

15:     \int_{\R^d}\(\overline 

16:     u +2 x_j \d_j \overline 

17:     u\)  \d_t u = 2\RE \int_{\R^d}\(\overline 

18:     u +2 x_j \d_j \overline 

19:     u\)  i\d_t u \\

20: &= 2\RE \int_{\R^d}\(\overline 

21:     u +2 x_j \d_j \overline 

22:     u\)  \( -\frac{1}{2}\Delta u +V(t,x) u +\l

23:     |u|^{2\si}u\) 

24: \end{align*}

25: The terms in factor of  $\overline   u$ simplify easily, and we infer:

26: \begin{align*}

27:  \frac{d^2}{dt^2}\|x_j u\|_{L^2}^2 

28: &= \|\nabla u\|_{L^2}^2 +2\int_{\R^d}V(t,x)|u(t,x)|^2dx + 2\l

29: \|u\|_{L^{2\si+2}}^{2\si+2} \\

30: &\quad -2\RE \int_{\R^d} x_j \d_j\overline u \Delta u +4 

31:  \RE \int_{\R^d} V(t,x)x_j  u\d_j \overline u \\

32: &\quad +4\l \RE

33: \int_{\R^d} x_j |u|^{2\si}u\d_j \overline u\\

34: &= \|\nabla u\|_{L^2}^2 + 2\int_{\R^d}V(t,x)|u(t,x)|^2dx+ 2\l

35: \|u\|_{L^{2\si+2}}^{2\si+2} \\

36: &\quad -\|\nabla u\|_{L^2}^2+ 2\|\d_j u\|_{L^2}^2 +2 \int_{\R^d}x_j

37: V(t,x)\d_j\(|u|^2\) \\

38: &\quad -\frac{2\l}{\si+1} \|u\|_{L^{2\si+2}}^{2\si+2}\\

39: &= 2\|\d_j u\|_{L^2}^2-2\int_{\R^d}x_j\d_j V(t,x)|u(t,x)|^2dx+2\l

40: \frac{\si}{\si+1} 

41: \|u\|_{L^{2\si+2}}^{2\si+2}. 

42: \end{align*}

43: The result then follows by summing over $j$. 

44: \end{proof}

45: