Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-7/3/a/solution

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.

New to topics? Read the docs here!