Bochner–Riesz multiplier conjecture for curved hypersurfaces

About 4 years old · traced to

Let ψ:Rn−1→R\psi:\mathbb R^{n-1}\to\mathbb R be smooth with nonvanishing Hessian determinant, let mδ(ξ)=(ξn−ψ(ξ′))+δχ(ξ′)m^\delta(\xi)=(\xi_n-\psi(\xi'))_+^\delta\chi(\xi') for δ≥0\delta\geq0, and let mδ(D)m^\delta(D) denote the corresponding Fourier multiplier. Define

δ(p)=max⁡{n∣12−1p∣−12,0}.\delta(p)=\max\left\{n\left|\frac12-\frac1p\right|-\frac12,0\right\}.

Multiplier conjecture. For 1≤p≤∞1\leq p\leq\infty, the estimate

∥mδ(D)f∥Lp(Rn)≲δ∥f∥Lp(Rn)\|m^\delta(D)f\|_{L^p(\mathbb R^n)}\lesssim_\delta\|f\|_{L^p(\mathbb R^n)}

holds whenever δ>δ(p)\delta>\delta(p). This is the conjectured sharp multiplier range for hypersurfaces with nonvanishing Gaussian curvature; the source does not state a resolution status.

References

Primary source

Chuanwei Gao, Jingyue Li and Liang Wang, “A type of oscillatory integral operator and its applications”, arXiv:2201.01021 (2022).

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.See full solutionHide full solution

Claimed by OpenAI.

The manuscript claims boundedness of the spherical Bochner–Riesz multiplier (1-|xi|^2)_+^delta on L^3(R^3) for every delta>0, and the full strict-order spherical L^p range in dimension three by interpolation and duality. This is related progress on the Bochner–Riesz problem; it does not claim this page's general smooth curved-hypersurface formulation or arbitrary dimensions.

Repository: https://github.com/openai/math

Manuscript: https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Bochner-Riesz-Multipliers-in-Three-Dimensions-September-24-2026/Bochner-Riesz-Multipliers-in-Three-Dimensions-September-24-2026.pdf

  • OpenAI-078-01-Bochner-Riesz-multipliers-in-three-dimensions.pdf1,044,335 bytesOpen