Circle cap Fourier lower bound
ID: circle-cap-fourier-lower-bound
For normalized circle measure and a nonnegative cutoff near , equal to one on and supported on , remove the constant phase . On , , the remaining phase has magnitude at most . Taking 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 . No upper bound on the cutoff is required for this lower bound.
New to topics? Read the docs here!