3D critical Bochner–Riesz exponent

Description of constant

In harmonic analysis, for $\lambda >0$ let $T^{\lambda }$ denote the Bochner–Riesz operator on ${\mathbb{R}}^3$, initially defined for Schwartz functions $f\in \mathcal{S}({\mathbb{R}}^3)$ by $$T^{\lambda }f(x):={\int }_{{\mathbb{R}}^3}(1-|\xi {|}^2{)}_{+}^{\lambda }\hat{f}(\xi )e^{ix\cdot \xi }d\xi ,$$ where $\hat{f}$ denotes the Fourier transform of $f$ and $$\begin{gathered} (t{)}_{+}:=\max \\ t,0 \end{gathered}$$. For $1\le p\le \infty$, let $p^{\prime }$ denote the Hölder conjugate exponent, defined by $1/p+1/p^{\prime }=1$ with the usual conventions $1^{\prime }=\infty$ and ${\infty }^{\prime }=1$. The Bochner–Riesz conjecture predicts that $$\Vert T^{\lambda }f{\Vert }_{L^p({\mathbb{R}}^3)}\le C_{p,\lambda }\Vert f{\Vert }_{L^p({\mathbb{R}}^3)}$$ whenever $$\lambda >{\lambda }_{3,p}:=\max \{0,3|\frac{1}{p}-\frac{1}{2}|-\frac{1}{2}\}.$$ <a href="#Wu2023-def-operator">[Wu2023-def-operator]</a> <a href="#Wu2023-conj-formula">[Wu2023-conj-formula]</a>

We define $$C_{77}:=\inf \{\Gamma \ge 3:\text{for every }1\le p\le \infty \text{ with }\max \{p,p^{\prime }\}\ge \Gamma \text{ and every }\lambda >{\lambda }_{3,p},T^{\lambda }\text{ extends boundedly on }{L}^p({\mathbb{R}}^3)\}.$$

Thus $C_{77}$ is the least symmetric exponent $\Gamma$ for which the conjectural $L^p$ range is established throughout the region $$\begin{gathered} \max \\ p,p^{\prime } \\ \ge \Gamma \end{gathered}$$. The conjectural value is $C_{77}=3$, and the best established range is $$3\le C_{77}\le \frac{13}{4}.$$ <a href="#Wu2023-conj-formula">[Wu2023-conj-formula]</a> <a href="#Wu2023-thm-3.25">[Wu2023-thm-3.25]</a>

Known upper bounds

Known lower bounds

Additional comments and links

• Relation to Fourier restriction. Tao proved that the Bochner–Riesz conjecture implies the restriction conjecture, and recent work shows that after a pseudo-conformal transformation the modern restriction machinery applies directly to the Bochner–Riesz problem. <a href="#GOWWZ2025-restriction-link">[GOWWZ2025-restriction-link]</a>

• A second proof of the current upper bound. The 2025 paper of Guo–Oh–Wang–Wu–Zhang recovers the three-dimensional $\frac{13}{4}$ range by a different and slightly simpler approach. <a href="#GOWWZ2025-r3-recover">[GOWWZ2025-r3-recover]</a>

• Foundational references for earlier milestones. The Tomas $T{T}^{\ast }$ bound, Lee's three-dimensional improvements, and Tao's implication "Bochner–Riesz $\Rightarrow$ restriction" are standard landmarks repeatedly cited in modern surveys. <a href="#Wu2023-historical-ranges">[Wu2023-historical-ranges]</a> <a href="#GOWWZ2025-restriction-link">[GOWWZ2025-restriction-link]</a>

References

• <a id="GOWWZ2025"></a>[GOWWZ2025] Guo, Shaoming; Oh, Changkeun; Wang, Hong; Wu, Shukun; Zhang, Ruixiang. The Bochner–Riesz Problem: An Old Approach Revisited. Peking Mathematical Journal 8 (2025), 201–270. DOI: 10.1007/s42543-023-00082-4. arXiv PDF: arXiv:2104.11188. Google Scholar
• <a id="GOWWZ2025-restriction-link"></a>[GOWWZ2025-restriction-link] loc: arXiv v1 PDF p.2, Introduction, paragraph beginning “Tao [Tao99] proved...” quote: “Tao [Tao99] proved that the Bochner-Riesz conjecture implies the restriction conjecture. Moreover, he mentioned in his paper that these two conjectures ‘are widely believed to be at least heuristically equivalent’. The information we would like to convey in the current paper is that, after applying the pseudo-conformal transformation (see (2.12) below), the recently developed techniques in the Fourier restriction literature apply equally well to the Bochner-Riesz problem.”
• <a id="GOWWZ2025-r3-recover"></a>[GOWWZ2025-r3-recover] loc: arXiv v1 PDF pp.3–4, Introduction, Remark 1.4 quote: “Regarding the Bochner-Riesz problem in $n=3$, recently Wu [Wu20] proved that the Bochner-Riesz conjecture holds for $p\ge p_{\mathrm{restr}}=3.25$ when $n=3$. His proof partially relies on some ideas from Wang [Wan18]. Our Theorem 1.3 recovers the result in [Wu20] via a quite different and a slightly simpler approach.”

• <a id="Wu2023"></a>[Wu2023] Wu, Shukun. On the Bochner–Riesz operator in ${\mathbb{R}}^3$. Journal d'Analyse Mathématique 149 (2023), no. 2, 677–718. DOI: 10.1007/s11854-022-0263-y. arXiv PDF: arXiv:2008.13043. Google Scholar
• <a id="Wu2023-def-operator"></a>[Wu2023-def-operator] loc: arXiv v2 PDF p.1, Introduction, equation (1.1) quote: “Recall that for $\lambda >0$, the Bochner-Riesz multiplier of order $\lambda$ in ${\mathbb{R}}^n$ is defined by $T^{\lambda }f(x)={\int }_{{\mathbb{R}}^n}(1-|\xi {|}^2{)}_{+}^{\lambda }\hat{f}(\xi )e^{ix\cdot \xi }d\xi$.”
• <a id="Wu2023-conj-formula"></a>[Wu2023-conj-formula] loc: arXiv v2 PDF p.1, Introduction, Conjecture 1.1 and equation (1.3) quote: “Conjecture 1.1. (Bochner-Riesz) Assume $f\in L^p({\mathbb{R}}^n)$ and $1\le p\le \infty$. Then $\Vert T^{\lambda }f{\Vert }_p\le C_{p,\lambda }\Vert f{\Vert }_p$ for $\lambda >{\lambda }_{n,p}$, where the factor ${\lambda }_{n,p}$ is defined to be \lambda_{n,p} = \max\Bigl\\{0, n\Bigl\lvert \frac1p - \frac12\Bigr\rvert - \frac12\Bigr\\}.”
• <a id="Wu2023-historical-ranges"></a>[Wu2023-historical-ranges] loc: arXiv v2 PDF p.1, Introduction, paragraph beginning “In higher dimensions, Tomas [17] proved...” quote: “In higher dimensions, Tomas [17] proved that the Bochner-Riesz conjecture is true when $$\begin{gathered} \max \\ p,p/(p-1) \\ \ge 2(n+2)/(n-1) \end{gathered}$$, via a $T{T}^{\ast }$ method. This result was improved by Bourgain [1] later in 1991, using new estimates for the Nikodym maximal function. After that, improvements have been made by several authors. See for instance, [20], [12], [2]. To the author’s knowledge, in ${\mathbb{R}}^3$, the best result so far is due to Lee [12] and [13], who proved that the Bochner-Riesz conjecture is true when $$\begin{gathered} \max \\ p,p/(p-1) \\ \ge 10/3 \end{gathered}$$; In ${\mathbb{R}}^n$, $n\ge 4$, the best results are given by Guth, Hickman and Iliopoulou [9].”
• <a id="Wu2023-thm-3.25"></a>[Wu2023-thm-3.25] loc: arXiv v2 PDF p.2, Introduction, Theorem 1.2 quote: “Theorem 1.2. Let $T^{\lambda }$ be the Bochner-Riesz operator defined in (1.1). Then the Bochner-Riesz conjecture (1.2) holds when $n=3$, $$\begin{gathered} \max \\ p,p/(p-1) \\ \ge 3.25 \end{gathered}$$.”

• <a id="Tomas1975"></a>[Tomas1975] Tomas, Peter A. A restriction theorem for the Fourier transform. Bulletin of the American Mathematical Society 81 (1975), no. 4, 477–478. Publisher page: Project Euclid. Google Scholar

• <a id="Lee2004"></a>[Lee2004] Lee, Sanghyuk. Improved bounds for Bochner-Riesz and maximal Bochner-Riesz operators. Duke Mathematical Journal 122 (2004), no. 1, 205–232. DOI: 10.1215/S0012-7094-04-12217-1. Google Scholar

• <a id="Lee2006"></a>[Lee2006] Lee, Sanghyuk. Linear and bilinear estimates for oscillatory integral operators related to restriction to hypersurfaces. Journal of Functional Analysis 241 (2006), no. 1, 56–98. DOI: 10.1016/j.jfa.2006.05.011. Google Scholar

• <a id="Tao1999"></a>[Tao1999] Tao, Terence. The Bochner-Riesz conjecture implies the restriction conjecture. Duke Mathematical Journal 96 (1999), no. 2, 363–375. DOI: 10.1215/S0012-7094-99-09610-2. Google Scholar

What counts as progress

• A better upper or lower bound, with a proof or a construction whose value is re-computed by published code (reproducible), ideally with a certificate a deterministic checker can validate.
• A formal proof (Lean) of a known bound, or a precise error in a claimed one.
• New references for the tables above (literature claims).

Source and licence

Imported from the crowdsourced repository of optimization constants (Terence Tao and contributors), commit 2c1968cd520b, Apache License 2.0; reformatted for this page. New records should also be reported there.