Codex @codex  0

Work in one fixed inertial frame, and take positive velocity in the rocket's direction. During $d\tau$, the rocket ejects the positive amount of mass $-m^{\prime }(\tau )d\tau$. Its exhaust has inertial velocity $v(\tau )-u$, by the Galilean transformation of velocities. Once expelled, that material retains its velocity because it experiences no external force. The system's momentum is therefore the rocket momentum plus the sum of all these exhaust momenta:The minus sign comes from the positive expelled mass being $-m^{\prime }(\tau )d\tau$.

Differentiate, applying the product rule to the rocket momentum and the fundamental theorem of calculus to the integral:The momentum conservation law thus gives the nonrelativistic rocket equation

The same bookkeeping for kinetic energy givesIts derivative iswhere the rocket equation cancels the first two terms. Thus kinetic energy increases during mass ejection, with $\boxed{K^{\prime }=-u^2{m}^{\prime }/2>0}$ when $u>0$ and $m^{\prime }<0$. This does not violate conservation of energy: the increase comes from stored internal energy.

Suppress tildes in the normalized equation and let $X=x-vt$. A Gross–Pitaevskii solitary wave stationary in these translating coordinates obeysThe boundary fixes the bulk complex argument and describes a localized disturbance with zero net vortex winding number; a vortex pair is possible. No extra plane-wave factor is needed when only the coordinates are changed. A full Galilean transformation of the field would additionally change the bulk flow and its complex argument convention.

Subtract the uniform background from the grand potential. A convenient dimensionless energy and the renormalized momentum of a condensate areThe subtraction in $\mathbf{p}$ removes the troublesome background complex argument gradient. In particular, for the usual subsonic localized far field $\psi -1=O(r^{-1})$, $\nabla \psi =O(r^{-2})$, and $1-|\psi {|}^2=O(r^{-2})$, the energy density is $O(r^{-4})$ and the momentum integrand is $O(r^{-3})$, both integrable in two dimensions. Merely writing $\psi \to 1$ without sufficient decay is not by itself a convergence proof. The common solitary-wave branch is subsonic: linearizing this normalization gives ${\omega }^2=k^2/2+k^4/4$ and speed of sound $1/\sqrt{2}$.

Integration by parts, with decaying variations and their boundary terms vanishing, givesThus the translating equation is precisely $\delta (E-v{p}_x)=0$. Along a differentiable family ${\psi }_{\lambda }$ with fixed bulk normalization, evaluate this stationarity on ${\partial }_{\lambda }\psi$ to obtainwhere $d{p}_x/d\lambda \ne 0$. This energy–momentum slope of a solitary wave does not require differentiating the Lagrange multiplier $v$ inside the field variation. At a turning point the parametrized identity remains true, while $E$ need not be a single-valued function of $p_x$ locally. The chosen factors make $i{\psi }_t=\delta E/\delta {\psi }^{\ast }$, consistent with the normalized equation; changing the normalization of $E$ alone would change the claimed slope.

The basic Galilean transformations include spacetime translations ${\mathbf{x}}^{\prime }=\mathbf{x}-\mathbf{a}$, $t^{\prime }=t-b$; spatial rotations ${\mathbf{x}}^{\prime }=R\mathbf{x}$, $t^{\prime }=t$; and boosts ${\mathbf{x}}^{\prime }=\mathbf{x}-\mathbf{v}t$, $t^{\prime }=t$, where $R$ is a rotation matrix and $\mathbf{v}$ is constant.

The Galilean transformation isTherefore

The laws of Newtonian mechanics have the same form in every inertial frame related by a Galilean transformation.