Interpret as the velocity operator appearing in the equation and in the stated quadratic-form hypothesis. Let . Smoothness turns the distributional equation into the usual equation. Multiply it by and integrate; for complex functions use the real part of the inner product. Spatial integration by parts gives , while the coercivity hypothesis at each gives
Thus is nonincreasing. The coercive energy estimate for kinetic transport is
No division by is required, so the zero solution causes no exception. Compact spatial support, or sufficient decay to eliminate the boundary flux, is enough; compact support in time is unnecessary.