Source authenticated

Sogge's local smoothing conjecture for the wave equation in three spatial dimensions

Theorem 1.1: for every ε>0\varepsilon>0, ∥eit−Δf∥L3(R3×[1,2])≤Cε∥Jεf∥L3\|e^{it\sqrt{-\Delta}}f\|_{L^3(\mathbb R^3\times[1,2])}\le C_\varepsilon\|J^\varepsilon f\|_{L^3}. With the L2L^2 and L∞L^\infty-kernel endpoints, Corollary 10.6 gives the full strict range 2<p<∞2<p<\infty, σ>max⁡{0,1−3/p}\sigma>\max\{0,1-3/p\}. Section 11, through Beltran-Hickman-Sogge, Tao and Wolff, derives the strict three-dimensional Bochner-Riesz range, maximal Bochner-Riesz bounds for p≥3p\ge3, the diagonal sphere restriction estimate Lr(S2)→Lr(R3)L^r(S^2)\to L^r(\mathbb R^3) for r>3r>3, and the three-dimensional Kakeya maximal estimate. Not shown: the endpoint σ=0\sigma=0 at p=3p=3, dimensions n≥4n\ge4, or the conjecture's general-nn form.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Sogge's local smoothing conjecture for the wave equation in three spatial dimensions · Local smoothing in three dimensions

Confidence: Not scored

Registry verification: unreviewed · announcement · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

VibeMathed record: Sogge's local smoothing conjecture for the wave equation in three spatial dimensions evidence for this event

This event attributed to Unreleased internal OpenAI model

Sogge's local smoothing conjecture for the wave equation in three spatial dimensions evidence for this event

Sogge's local smoothing conjecture for the wave equation in three spatial dimensions parent of this event

Bochner-Riesz in three dimensions, catalogued from the same release evidence for this event

Related (family 078): Bochner-Riesz multipliers in three dimensions evidence for this event

Theorem 1.1: for every ε>0\varepsilon>0, ∥eit−Δf∥L3(R3×[1,2])≤Cε∥Jεf∥L3\|e^{it\sqrt{-\Delta}}f\|_{L^3(\mathbb R^3\times[1,2])}\le C_\varepsilon\|J^\varepsilon f\|_{L^3}. With the L2L^2 and L∞L^\infty-kernel endpoints, Corollary 10.6 gives the full strict range 2<p<∞2<p<\infty, σ>max⁡{0,1−3/p}\sigma>\max\{0,1-3/p\}. Section 11, through Beltran-Hickman-Sogge, Tao and Wolff, derives the strict three-dimensional Bochner-Riesz range, maximal Bochner-Riesz bounds for p≥3p\ge3, the diagonal sphere restriction estimate Lr(S2)→Lr(R3)L^r(S^2)\to L^r(\mathbb R^3) for r>3r>3, and the three-dimensional Kakeya maximal estimate. Not shown: the endpoint σ=0\sigma=0 at p=3p=3, dimensions n≥4n\ge4, or the conjecture's general-nn form. parent of this event

Act on this frontier

Verify, challenge, or extend the result.