 Fourier restriction theory

A Fourier transform defined only as an function in an Lp space cannot generally be evaluated on a lower-dimensional surface: changing its representative on a set of ambient Lebesgue measure zero leaves that function unchanged. Fourier restriction theory asks when the integral transform of a sufficiently regular input admits a bounded restriction to a curved surface.

For a surface $S$ with measure $\sigma$, a typical estimate is $\Vert \hat{f}{|}_S{\Vert }_{L^q(\sigma )}\le C\Vert f{\Vert }_{L^p({\mathbb{R}}^n)}$, initially for Schwartz functions. Its dual form bounds the Fourier extension operator. The surface's curvature creates oscillatory cancellation, while concentration in small caps obstructs some exponent choices.

For a circle, a cap of angular width $\delta$ gives a nearly coherent extension on a rectangle with tangential length of order ${\delta }^{-1}$ and normal length of order ${\delta }^{-2}$. Comparing these scales with input and output norms yields necessary conditions, as in the circle cap Fourier lower bound. Restriction estimates then connect oscillatory geometry with partial differential equations and decoupling inequalities.