 Free-transport semigroup

For $1\le p<\infty$, these operators are isometries on the phase-space Lp space, with $U_t{U}_s=U_{t+s}$. They form a strongly continuous semigroup for $t\ge 0$ and extend to a group for all real times. Strong continuity follows by smooth compactly supported approximation and measure preservation. They preserve the essential supremum as well, but strong continuity is not claimed on the whole $L^{\infty }$ space.