Fourier extension operator ($E_{\sigma }f(x)=\int e^{-ix\cdot \omega }f(\omega )d\sigma (\omega )$)

A Fourier extension operator forms an oscillatory integral from a density on a frequency surface with measure $\sigma$. The opposite sign in the phase merely reflects the output variable, so it gives identical Lp norms. In the usual dual formulation it is the adjoint of restricting the Fourier transform to that surface.

Let $\mu$ be a finite positive surface measure and $|f|\le 1$. Expand $|\widehat{f\mu }(x){|}^{2k}$ and integrate against $e^{-\pi |x{|}^2/R^2}$. The Fourier transform of a Gaussian turns the oscillatory kernel into $R^d{e}^{-\pi R^2|{\sum }_{j\le k}{\omega }_j-{\sum }_{j>k}{\omega }_j{|}^2}$, which is nonnegative. Taking absolute values of the bounded amplitudes gives an upper bound by the same moment with $f=1$. This weighted positivity is valid even when $f$ is merely measurable; it transfers a scalar surface-decay estimate to a local bounded-density moment estimate.

For normalized circle measure and a nonnegative cutoff near $(1,0)$, equal to one on $|\theta |\le \delta /C$ and supported on $|\theta |\le 2\delta /C$, remove the constant phase $e^{-i{\xi }_1}$. On $|{\xi }_1|\le {\delta }^{-2}$, $|{\xi }_2|\le {\delta }^{-1}$, the remaining phase has magnitude at most $2/C^2+2/C$. Taking $C$ sufficiently large keeps its real part positive and comparable to one, so the Fourier transform has magnitude at least a constant times the cap mass, which is at least $\delta /(\pi C)$. No upper bound on the cutoff is required for this lower bound.

An extension estimate is a norm bound for the Fourier extension operator, uniform over its input. The exponents encode the curvature and scale of the frequency surface. For normalized circle measure, a cap of angular width $\delta$ produces size comparable to $\delta$ on a rectangle of dimensions ${\delta }^{-2}\times {\delta }^{-1}$. This single-cap example forces $p\ge 4$ for a finite diagonal estimate with the same exponent $p$ on both sides.

On the unit circle, the arclength-measure transform satisfies $|\hat{\sigma }(x)|\lesssim (1+|x|{)}^{-1/2}$. This follows by removing angular neighborhoods of width $|x{|}^{-1/2}$ around the two stationary points and integrating by parts on the remainder. Gaussian positivity for even extension moments bounds the weighted fourth moment for any bounded $f$ by that for $f=1$. Radial integration of $(1+r{)}^{-2}{e}^{-\pi r^2/R^2}$ with area element $rdr$ costs only $\log R$, proving the displayed local estimate. Modulated disjoint caps and random signs convert it into the planar Kakeya neighborhood lower bound.