Sogge's local smoothing conjecture for the wave equation

About 9 years old · traced to

Let uu solve the wave equation Cauchy problem

(∂t2−Δ)u(x,t)=0,(\partial_t^2-\Delta)u(x,t)=0,

with u(x,0)=f(x)u(x,0)=f(x) and ∂tu(x,0)=0\partial_tu(x,0)=0 on Rd×R\mathbb{R}^d\times\mathbb{R}. For sp=d−12−d−1ps_p=\frac{d-1}{2}-\frac{d-1}{p}, Sogge's conjecture. For all p≥2dd−1p\geq\frac{2d}{d-1},

∥u∥Lp(Rd×[1,2])≲ε∥f∥Lsp−1/p+εp(Rd).\|u\|_{L^p(\mathbb{R}^d\times[1,2])}\lesssim_{\varepsilon}\|f\|_{L^p_{s_p-1/p+\varepsilon}(\mathbb{R}^d)}.

This conjecture predicts a gain of 1/p1/p derivative from local time averaging. The source presents it as a conjecture, although the supplied parser marks it resolved; the precise resolution and scope should be checked.

References

Primary source

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

Additional references

7 papers in this index state this conjecture (2017–2025). The statement above is taken from the most recent of them; the others are arXiv:2502.05973, arXiv:2207.00652, arXiv:2110.01969, arXiv:2108.06870, arXiv:1812.11616, arXiv:1706.09851.

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 1

RemarkAI-assistedClaimed by OpenAI. The manuscript claims critical L3 local smoothing for the wave equation in three Euclidean spatial dimensions with every positive Sobolev loss, and the range 2 < p < infinity at Sobolev order alpha > max(0,1-3/p). For this target, it gives the dimension-three range p >= 3 with order 1-3/p+epsilon. It does not assert all dimensions or a lossless critical endpoint.See full solutionHide full solution

Claimed by OpenAI. The manuscript claims critical L3 local smoothing for the wave equation in three Euclidean spatial dimensions with every positive Sobolev loss, and the range 2 < p < infinity at Sobolev order alpha > max(0,1-3/p). For this target, it gives the dimension-three range p >= 3 with order 1-3/p+epsilon. It does not assert all dimensions or a lossless critical endpoint.

GitHub repository: https://github.com/openai/math

Manuscript: https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Critical-local-smoothing-for-the-three-dimensional-wave-equation-September-24-2026/paper.pdf

  • OpenAI-079-01-Critical-local-smoothing-for-the-three-dimensional-wave-equation.pdf1,295,110 bytesOpen