Développement : Équation de Schrödinger dans S(R)

Détails/Enoncé :

Soit $f\in \mathcal{S}(\mathbb{R})$. Il existe une unique fonction $u$ vérifiant
\[\forall x,t\in\mathbb{R}, \quad \frac{\partial u}{\partial t}(x,t)=i\frac{\partial^2 u}{\partial x^2}(x,t),\]
telle que $u(.,0)=f$ et telle que pour tout $T>0$, pour tout $k,l\geq 0$,
\[\sup_{|t|< T}\sup_{x\in\mathbb{R}}\left|x^k\frac{\partial^l}{\partial x^l}u(x,t)\right|<+\infty.\]

Versions :