For a linear phase on , set . The Dirichlet approximation theorem gives with . If and , split each residue chain modulo into arithmetic progressions of lengths between and , merging the final remainder into the preceding block. Each chain has at least points, so this is possible. On each resulting arithmetic progression, the linear phase varies from its first value by at most . This converts a large Fourier coefficient of a zero-sum real function into positive mean on one block: freezing the linear phase controls the weighted block sums, and their positive and negative total masses agree.
Articles by others on the same topic
There are currently no matching articles.