Théories spectrales, II, p. 269
a) Soit n∈N et soit f∈S(Rn). La fonction de R×Rn dans C définie par
u(t,x)=∫Rnf(y) exp(2πix⋅y−4π2t∥y∥2)dy
pour (t,x)∈R×Rn vérifie
{u(0,x)=f(0,x)
(1)
∂tu=iΔ2u
(« équation de Schrödinger »)où
Δ2u=i=1∑n∂xi2u
b) La fonction u est l’unique solution de (1) telle que t↦(x↦u(t,x)) appartienne à C∞(R,S(Rn)).
Rien.
Rien.