Decoupling inequality (source code)

= Decoupling inequality
{wiki=Decoupling_theorem}

A decoupling inequality controls an $L^p$ norm of a function with Fourier support near a curved set by an $\ell^2$ sum of norms of pieces supported near smaller caps.