Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 5 / 1 / 3 / b

The inverse function theorem applied to $X_t$ makes $u_0\circ X_t^{-1}$ smooth. Since $u_0(\pm A)=0$, $X_t(\pm A)=\pm A+ct$. Monotonicity of the characteristic flow map and the vanishing of $u_0$ outside $[-A,A]$ implyThus the solution is a smooth function with compact support at each such time. The fact that some interior characteristic speeds differ from $c$ causes no difficulty: they cannot cross the two exterior characteristic curves before $t^{\ast }$.