1: \begin{proof}

2: Let $M>0$. 

3:   Proposition~\ref{prop:Sigmaloc2} shows that the only obstruction to

4:   well-posedness on  $[0,M]$ is the existence of a

5:   time $0<T<M$ such that 

6: \begin{equation*}

7:   \|x u(t)\|_{L^2}+\|\nabla u(t)\|_{L^2}

8: \mathop{\longrightarrow}\limits_{t{\mathop{\rightarrow}\limits_<}  T} 

9:  +\infty.  

10: \end{equation*}

11: So long as $u\in

12: C([0,t];\Sigma)$, we have (see e.g. \cite{CazCourant} for the

13: arguments that make the computation rigorous) 

14: \begin{equation}

15:   \label{eq:evolmoment}

16:    \frac{d}{dt}\int_{\R^d}x_j^2 \lvert u(t,x)\rvert^2dx = 2\IM

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

18:     u(t,x)\d_j u (t,x)dx.  

19: \end{equation}

20: Suppose  $u\in L^\infty ([0,T];H^1)$. Then the above formula,

21: Cauchy--Schwarz inequality and Gronwall lemma show that $x u\in L^\infty

22: ([0,T];L^2)$,

23: hence a contradiction. The corollary follows, since $M>0$ is arbitrary. 

24: \end{proof}

25: