Local smoothing in three dimensions

Resolves Sogge's local smoothing conjecture for the Euclidean wave equation in three spatial dimensions. The estimate holds throughout the full strict range $2\lt p\lt \infty$, with Sobolev regularity above $\max\{0,1-3/p\}$. In particular, the critical L³ estimate holds with every positive Sobolev loss.