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 , and denote the free-transport semigroup by . For fixed , the spatial translation has unit Jacobian determinant, so the Tonelli theorem gives
Thus the given free term is an isometry on . The operators form a strongly continuous semigroup: continuity first holds for smooth compactly supported functions by dominated convergence, and density plus the isometry extends it to every function.