The Fourier restriction conjecture for Frostman measures on the parabola

Let P\mathbb{P} denote the parabola, and let B(R)B(R) be the ball of radius RR in frequency space. For 0s10\leq s\leq 1, let μ\mu be a Borel measure on P\mathbb{P} satisfying the ss-Frostman condition

μ(B(x,r))rsfor all xR2 and r>0.\mu(B(x,r))\leq r^s\qquad\text{for all }x\in\mathbb{R}^2\text{ and }r>0.

Fourier restriction conjecture for Frostman measures on the parabola. For every 0s10\leq s\leq 1 and ϵ>0\epsilon>0, there exists p=p(ϵ,s)1p=p(\epsilon,s)\geq 1 such that

μ^Lp(B(R))Cϵ,sR[2min{3s,1+s}]/p+ϵ,R1.\|\widehat{\mu}\|_{L^p(B(R))}\leq C_{\epsilon,s}R^{[2-\min\{3s,1+s\}]/p+\epsilon},\qquad R\geq 1.

This conjecture asks for the optimal power of RR, up to an arbitrarily small loss, in Fourier LpL^p estimates for measures supported on the parabola. The source states that the precise value of ϵ\epsilon is not known for every pair (p,s)(p,s) with s[0,1]s\in[0,1] and p>4p>4, so the proposed assertion remains open.

Sources & referencesView supporting material

Primary source

Tuomas Orponen, “Additive properties of fractal sets on the parabola”, arXiv:2205.02770 (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 0

No solutions have been posted yet.