Uniqueness of a trigonometric series outside a finite set

ID: uniqueness-of-a-trigonometric-series-outside-a-finite-set

If the symmetric partial sums of tend to zero at every point outside a finite set, then all coefficients vanish. Almost-everywhere convergence first gives . The twice-integrated series is continuous. Riemann summation of a convergent trigonometric series makes its symmetric second derivative zero away from the exceptional points, so it is affine on each intervening interval. Sinc-squared summation of a sequence tending to zero makes its symmetric first-order quotient zero everywhere, removing all possible affine corners. The globally affine function differs from a periodic function by , forcing ; periodicity then makes it constant, and integration against each nonzero frequency gives .

New to topics? Read the docs here!