The Lp→LpL^p\to L^p local smoothing conjecture for spherical averages

About 1 year old · traced to

Let AtA_t denote the spherical averaging operator, let ∂tγ\partial_t^\gamma be the fractional time derivative, and let Lsp(Rd)L^p_s(\mathbb{R}^d) denote the inhomogeneous Sobolev space. The spherical-average local smoothing conjecture. For d≥2d\geq2, γ≥0\gamma\geq0, and all p≥2dd−1p\geq\frac{2d}{d-1},

(∫12∫Rd∣∂tγAt(f)(x)∣p dx dt)1/p≲ε∥f∥Lγ−dp+εp(Rd).\left(\int_1^2\int_{\mathbb{R}^d}|\partial_t^\gamma A_t(f)(x)|^p\,dx\,dt\right)^{1/p}\lesssim_{\varepsilon}\|f\|_{L^p_{\gamma-\frac{d}{p}+\varepsilon}(\mathbb{R}^d)}.

The estimate is motivated by the wave-equation local smoothing conjecture and would yield scale-localized spherical-average bounds; its status is not resolved in the supplied text.

References

Primary source

Tainara Borges, Benjamin Foster, Yumeng Ou and Eyvindur Palsson, “Nonempty interior of pinned distance and tree sets”, arXiv:2503.15709 (2026).

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.