The Fourier restriction conjecture for Frostman measures on the parabola

About 4 years old · traced to

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

μ(B(x,r))≤rsfor all x∈R2 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 0≤s≤10\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[2−min⁡{3s,1+s}]/p+ϵ,R≥1.\|\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.

References

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.