Van der Corput sum-integral lemma
ID: van-der-corput-sum-integral-lemma
For a real phase with continuous monotone derivative and , the sum-integral discrepancy has the displayed uniform bound. Periodization and the Dirichlet-Jordan convergence theorem express it as symmetric nonzero Fourier modes. Integration by parts gives endpoint terms and reciprocal-derivative variations. Monotonicity bounds their total variation by . Pairing the leading endpoint terms reduces them to the uniformly bounded sine series. The exclusion of integer nonzero frequencies is essential.
New to topics? Read the docs here!