OpenFrontiers
← Back to the index
OP-12092OpenAnalysis

3D critical Bochner–Riesz exponent (C77C_{77})

3D critical Bochner–Riesz exponent: determine C77C_{77} or improve its bounds; the repository records 3 (lower) and 134\frac{13}{4} (upper).

Editorial MSC2020 classification. Original article codes and source evidence are recorded in the literature directory.

Licensed source statementAs of Repository table at commit 2c1968c (2026-09-26); open while the recorded lower and upper bounds differSource & evidence ↓

Problem statement

In harmonic analysis, for λ>0\lambda > 0 let TλT^\lambda denote the Bochner–Riesz operator on R3\mathbb{R}^3, initially defined for Schwartz functions f∈S(R3)f \in \mathcal{S}(\mathbb{R}^3) by

Tλf(x):=∫R3(1−∣ξ∣2)+λf^(ξ)eix⋅ξ dξ,T^\lambda f(x) := \int_{\mathbb{R}^3} (1-\lvert \xi \rvert^2)_+^\lambda \widehat{f}(\xi)e^{ix\cdot \xi}\,d\xi,

where f^\widehat{f} denotes the Fourier transform of ff and (t)+:=max⁡{t,0}(t)_+ := \max\{t,0\}. For 1≤p≤∞1 \le p \le \infty, let p′p' denote the Hölder conjugate exponent, defined by 1/p+1/p′=11/p + 1/p' = 1 with the usual conventions 1′=∞1'=\infty and ∞′=1\infty'=1. The Bochner–Riesz conjecture predicts that

∥Tλf∥Lp(R3)≤Cp,λ∥f∥Lp(R3)\lVert T^\lambda f\rVert_{L^p(\mathbb{R}^3)} \le C_{p,\lambda}\lVert f\rVert_{L^p(\mathbb{R}^3)}

whenever

λ>λ3,p:=max⁡{0,3∣1p−12∣−12}.\lambda > \lambda_{3,p} := \max\Bigl\{0, 3\Bigl\lvert \frac1p - \frac12\Bigr\rvert - \frac12\Bigr\}.

[Wu2023-def-operator] [Wu2023-conj-formula]

We define

C77:=inf⁡{Γ≥3:for every 1≤p≤∞ with max⁡{p,p′}≥Γ and every λ>λ3,p, Tλ extends boundedly on Lp(R3)}.C_{77} := \inf\Bigl\{\Gamma \ge 3 : \text{for every }1 \le p \le \infty\text{ with }\max\{p,p'\}\ge \Gamma\text{ and every }\lambda > \lambda_{3,p},\ T^\lambda \text{ extends boundedly on }L^p(\mathbb{R}^3)\Bigr\}.

Thus C77C_{77} is the least symmetric exponent Γ\Gamma for which the conjectural LpL^p range is established throughout the region max⁡{p,p′}≥Γ\max\{p,p'\}\ge \Gamma. The conjectural value is C77=3C_{77}=3, and the best established range is

3≤C77≤134.3 \le C_{77} \le \frac{13}{4}.

[Wu2023-conj-formula] [Wu2023-thm-3.25]

Lean 4

Not yet attached

No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.

Background

  • 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. [GOWWZ2025-restriction-link]

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

  • Foundational references for earlier milestones. The Tomas TT∗TT^* bound, Lee's three-dimensional improvements, and Tao's implication "Bochner–Riesz ⇒\Rightarrow restriction" are standard landmarks repeatedly cited in modern surveys. [Wu2023-historical-ranges] [GOWWZ2025-restriction-link]

References (from the repository page)

  • [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

  • [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.”

  • [GOWWZ2025-r3-recover] loc: arXiv v1 PDF pp.3–4, Introduction, Remark 1.4 quote: “Regarding the Bochner-Riesz problem in n=3n = 3, recently Wu [Wu20] proved that the Bochner-Riesz conjecture holds for p≥prestr=3.25p \ge p_{\mathrm{restr}} = 3.25 when n=3n = 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.”

  • [Wu2023] Wu, Shukun. On the Bochner–Riesz operator in R3\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

  • [Wu2023-def-operator] loc: arXiv v2 PDF p.1, Introduction, equation (1.1) quote: “Recall that for λ>0\lambda > 0, the Bochner-Riesz multiplier of order λ\lambda in Rn\mathbb{R}^n is defined by Tλf(x)=∫Rn(1−∣ξ∣2)+λf^(ξ)eix⋅ξ dξT^\lambda f(x) = \int_{\mathbb{R}^n} (1-\lvert \xi \rvert^2)_+^\lambda \widehat{f}(\xi)e^{ix\cdot \xi}\,d\xi.”

  • [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∈Lp(Rn)f \in L^p(\mathbb{R}^n) and 1≤p≤∞1 \le p \le \infty. Then ∥Tλf∥p≤Cp,λ∥f∥p\lVert T^\lambda f\rVert_p \le C_{p,\lambda}\lVert f\rVert_p for λ>λn,p\lambda > \lambda_{n,p}, where the factor λn,p\lambda_{n,p} is defined to be λn,p=max⁡{0,n∣1p−12∣−12}\lambda_{n,p} = \max\Bigl\{0, n\Bigl\lvert \frac1p - \frac12\Bigr\rvert - \frac12\Bigr\}.”

  • [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 max⁡{p,p/(p−1)}≥2(n+2)/(n−1)\max\{p, p/(p - 1)\} \ge 2(n + 2)/(n - 1), via a TT∗TT^* 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 R3\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 max⁡{p,p/(p−1)}≥10/3\max\{p, p/(p - 1)\} \ge 10/3; In Rn\mathbb{R}^n, n≥4n \ge 4, the best results are given by Guth, Hickman and Iliopoulou [9].”

  • [Wu2023-thm-3.25] loc: arXiv v2 PDF p.2, Introduction, Theorem 1.2 quote: “Theorem 1.2. Let TλT^\lambda be the Bochner-Riesz operator defined in (1.1). Then the Bochner-Riesz conjecture (1.2) holds when n=3n = 3, max⁡{p,p/(p−1)}≥3.25\max\{p, p/(p - 1)\} \ge 3.25.”

  • [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

  • [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

  • [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

  • [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

Progress & source assessment

Repository table (commit 2c1968c, 26 September 2026): best known lower bound 3; best known upper bound 134\frac{13}{4}. Values marked with an asterisk have minimal verification.

Known upper bounds

Bound Reference Comments
55 [Tomas1975], [Wu2023] Classical TT∗TT^* range, with attribution discussed in Wu's historical survey paragraph. [Wu2023-historical-ranges]
103\frac{10}{3} [Lee2004], [Lee2006], [Wu2023] Previous best range in R3\mathbb{R}^3, with attribution discussed in Wu's historical survey paragraph. [Wu2023-historical-ranges]
134=3.25\frac{13}{4}=3.25 [Wu2023], [GOWWZ2025] Wu proved this range, and Guo–Oh–Wang–Wu–Zhang later recovered it by a different argument. [Wu2023-thm-3.25] [GOWWZ2025-r3-recover]

Known lower bounds

Bound Reference Comments
33 [Wu2023] Immediate from the definition of C77C_{77}; conjectured to be sharp. [Wu2023-conj-formula]
References
  1. [1]Davis, Damek; Ivanisvili, Paata; Tao, Terence (maintainers). Optimization Constants in Mathematics, github.com/teorth/optimizationproblems (commit 2c1968c, 26 September 2026). — 3D critical Bochner–Riesz exponent ($C_{77}$) linkApache-2.0 (repository license); constant pages reproduced with attribution; repository references retained.

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.

No machine attempts recorded.

Sign in to run an attempt. New accounts start with enough credits for ten.

Discussion

0 notes

Notes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.

No notes yet.

Sign in to add a note.