Defocusing nonlinear Schrödinger equation

Writing a defocusing nonlinear Schrödinger field as $\psi =\sqrt{\rho }{e}^{iS}$ turns it into a continuity equation for $\rho$ and a velocity equation for $v=S_x$, including a quantum-pressure term.

For $\psi =e^{-iEt}f(x)$ with real $f$, the defocusing equation $i{\psi }_t+{\psi }_{xx}-2|\psi {|}^2\psi =0$ has first integralA 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$.

For the normalizationa dark soliton of speed $0\le U<1/\sqrt{2}$ is