Improved weighted restriction estimates in R^3

Length, area, volume, other geometric measure theory (28A75) Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type (42B10) Singular and oscillatory integrals (Calderón-Zygmund, etc.) (42B20)

Abstract: Suppose

0 < a l p h a l e q n

,

H : B b b R^{n} o [0, 1]

is a Lebesgue measurable function, and

A_{a} l p h a (H)

is the infimum of all numbers

C

for which the inequality

i n t_{B} H (x) d x l e q C R^{a} l p h a

holds for all balls

B s u b s e t B b b R^{n}

of radius

R g e q 1

. After Guth introduced polynomial partitioning to Fourier restriction theory, weighted restriction estimates of the form

| E f |_{L^{p} (B, H d x)} l e q C R^{e} p s i l o n A_{a} l p h a (H)^{1 / p} | f |_{L^{q} (s i g m a)}

have been studied and proved in several papers, leading to new results about the decay properties of spherical means of Fourier transforms of measures and, in some cases, to progress on Falconer's distance set conjecture in geometric measure theory. This paper improves on the known estimates when

E

is the extension operator associated with the unit paraboloid

m a t h c a l P s u b s e t B b b R^{3}

, reaching the full possible range of

p, q

exponents (up to the sharp line) for

p g e q 3 + (a l p h a - 2) / (a l p h a + 1)

and

2 < a l p h a l e q 3

.

Review text

In the paper under review, the author establishes \(L^p\)-weighted estimates for the Fourier extension operator for the unit paraboloid in \(\mathbb{R}^3\). More precisely, the author provides the following two \(L^p\)-estimates for this Fourier extension operator: \[ \forall\varepsilon>0,\ \ \exists C_\varepsilon\geq0\ ;\ \ \int_{B(0,R)}|Ef(x)|^p\,H(x)dx\leq C_\varepsilon\,R^\varepsilon\, A_\alpha(H)\|f\|^\gamma_{L^2(\sigma)}\,\|f\|^{p-\gamma}_{L^\infty(\sigma)}, \] for all \(f\in L^\infty(\sigma)\) and \(R\geq1\), \[ \forall\varepsilon>0,\ \ \exists C_\varepsilon\geq0\ ;\ \ \|Ef\|_{L^p(B(0,R)\,,Hdx)}\leq C_\varepsilon\,R^\varepsilon\, A_\alpha(H)^{1/p}\,\|f\|_{L^q(\sigma)}, \] for all \(f\in L^q(\sigma)\) and \(R\geq1\), where \(2<\alpha\leq3,\ \ H:\mathbb{R}^3\longrightarrow[0,1]\) is a Lebesgue mesurable function verifying \[ A_\alpha(H)=\inf\left\{C\ \ ; \ \ \int_{B(x_0,R)}H(x)dx\leq CR^\alpha\ \ \text{ for all }\ \ x_0\in\mathbb{R}^3\text{ and } \ R\geq1 \right\}<+\infty\,, \] \(\sigma\) is a measure on the unit paraboloid \[ \mathcal{P}=\left\{(\omega,|\omega|^2)\ \ ;\ \ |\omega|\leq1\right\}\subset\mathbb{R}^3, \] defined as the pushforward of the Lebesgue measure under the map \(\omega\longmapsto(\omega,|\omega|^2)\)\ \ from the unit ball in \(\mathbb{R}^2\) to \(\mathcal{P}\), \(E\) is the Fourier extension operator defined on \(L^1(\sigma)\) by \[ Ef(x)=\int_\mathcal{P}e^{-2i\pi x.\xi}f(\xi)d\sigma(\xi)=\int_{|\omega|\leq1}e^{-2i\pi x.(\omega,|\omega|^2)}f(\omega,|\omega|^2)d\omega\,,\quad x\in\mathbb{R}^3. \] The proofs of these results are built on the Guth's polynomial partitioning method.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Improved weighted restriction estimates in \(\mathbb{R}^3\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6163852)