∑math20

Real and complex analysis · Result 079

Local smoothing in three dimensions

1 paper

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 L3 estimate holds with every positive Sobolev loss.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of Critical local smoothing for the three-dimensional wave equation

Critical local smoothing for the three-dimensional wave equation

OpenAI · September 24, 2026

We prove the critical L3 local smoothing estimate for the wave equation in three spatial dimensions, with every positive Sobolev loss. This resolves Sogge's Euclidean local smoothing conjecture in dimension three.

Read PDF Download Source

Cite
@misc{OAI:Critical-local-smoothing-for-the-three-dimensional-wave-equation-September-24-2026,
  author = {{OpenAI}},
  title = {{Critical local smoothing for the three-dimensional wave equation}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Critical-local-smoothing-for-the-three-dimensional-wave-equation-September-24-2026/paper.pdf}{OAI:Critical-local-smoothing-for-the-three-dimensional-wave-equation-September-24-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.