No rapidly decaying standing wave for the defocusing cubic nonlinear Schrodinger equation (source code)

= No rapidly decaying standing wave for the defocusing cubic nonlinear Schrodinger equation
{c}

For $\psi=e^{-iEt}f(x)$ with real $f$, the defocusing equation $i\psi_t+\psi_{xx}-2|\psi|^2\psi=0$ has first integral
$$
(f')^2=f^4-Ef^2.
$$
A nonzero smooth function tending to zero at both infinities cannot satisfy this identity: a nonzero extremum requires $f^2=E>0$, but then the right side is negative for sufficiently small nonzero $f$.