Let have velocity integral one, and . On phase-space , the normalized relaxation collision operator is , where . It obeys because . It preserves mass at each spatial position. The corresponding linear Boltzmann equation combines this bounded collision operator with the free-transport semigroup.
Let have the same initial data and satisfy the characteristic integral equation. Their difference satisfies , hence for every .
Fix any and let . The factorial bound for a Volterra iterate gives
The scalar factor tends to zero, so throughout this interval. Since is arbitrary, the weak solution of the linear Boltzmann equation is unique on . The same argument gives uniqueness at whenever solutions are defined there by the integral formula.