Equality case of the Heisenberg uncertainty relation

Equality in the Heisenberg uncertainty relation requires the centred vectors $x^{\prime }\psi$ and $p^{\prime }\psi$ to be imaginary scalar multiples, where $x^{\prime }=x-x_{0}I$, $p^{\prime }=p-p_{0}I$ and $x_0,p_0$ are the expectation values. Thus, for some $s>0$,In the position representation, using the momentum operator turns this into a first-order differential equation, whose normalizable solutions areHence the quantum states saturating the Heisenberg uncertainty relation are these Gaussian wave packets, with arbitrary position and momentum means and global phase. Their width is ${\sigma }^2=\hslash /(2s)$. A Gaussian wave packet with an additional quadratic quantum phase need not saturate this product bound.