Minicozzi–Sogge local smoothing conjecture for compact manifolds

Let (M,g)(M,g) be a compact Riemannian manifold of dimension n2n\geq 2, let sˉp=n121p\bar{s}_p=n\lvert\frac12-\frac1p\rvert, and let Lsp(M)L^p_s(M) denote the corresponding Sobolev space. Write eitΔge^{it\sqrt{-\Delta_g}} for the half-wave propagator associated to the Laplace–Beltrami operator. Define

pˉn,+={2(3n+1)3n3,n odd,2(3n+2)3n2,n even.\bar{p}_{n,+}=\begin{cases}\frac{2(3n+1)}{3n-3},&n\text{ odd},\\[2pt]\frac{2(3n+2)}{3n-2},&n\text{ even}. \end{cases}

Local smoothing conjecture for compact manifolds. The inequality

(12eitΔgfLsˉp+σp(M)pdt)1/pfLp(M)\Big(\int_1^2\|e^{it\sqrt{-\Delta_g}}f\|^p_{L^p_{-\bar{s}_p+\sigma}(M)}\,dt\Big)^{1/p}\lesssim\|f\|_{L^p(M)}

holds for all σ<1/p\sigma<1/p whenever pˉn,+p<\bar{p}_{n,+}\leq p<\infty. Minicozzi and Sogge constructed compact manifolds where the full 1/p1/p gain fails below pˉn,+\bar{p}_{n,+}, so this conjecture formulates the expected sharp range for arbitrary compact manifolds; its resolution is not established by the supplied text.

Sources & referencesView supporting material

Primary source

David Beltran, Jonathan Hickman and Christopher D. Sogge, “Sharp local smoothing estimates for Fourier integral operators”, arXiv:1812.11616 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.