The planar L3/2L^{3/2} maximal-operator conjecture

For t[1,2]t\in[1,2] and R1R\geq1, let St,RS_{t,R} be the Fourier multiplier operator on R2\mathbb R^2 defined by

St,Rf^(ξ)=a(R(tξ))f^(ξ),\widehat{S_{t,R}f}(\xi)=a(R(t-|\xi|))\widehat f(\xi),

where aa is a standard bump function supported on [1,1][-1,1], and define

SRf(x):=supt[1,2]St,Rf(x).S_R^*f(x):=\sup_{t\in[1,2]}|S_{t,R}f(x)|.

The planar L3/2L^{3/2} conjecture. The estimate

SRfLp(R2)CεRεfLp(R2)\big\|S_R^*f\big\|_{L^p(\mathbb R^2)}\leq C_\varepsilon R^\varepsilon\|f\|_{L^p(\mathbb R^2)}

holds for p=3/2p=3/2, every ε>0\varepsilon>0, every Schwartz function ff, and every R1R\geq1. This is identified as the conjectural estimate that would settle Tao's conjecture in the planar case; the supplied text does not state whether it is resolved.

Sources & referencesView supporting material

Primary source

Xiaochun Li and Shukun Wu, “On almost everywhere convergence of planar Bochner-Riesz means”, arXiv:2407.20887 (2026).

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 0

No solutions have been posted yet.