Periodic distribution

ID: periodic-distribution

A distribution has period if the displayed equality holds for every test function . This agrees with almost everywhere for a regular distribution. If is a tempered distribution, density of test functions in the Schwartz space extends the identity to all Schwartz functions.
For a test function with , one has
Indeed, expand in the Schwartz space and move each translation to by periodicity. All Schwartz seminorms of the localized terms decay faster than any power of , justifying the sum of pairings. This localization permits rigorous Fourier coefficients without multiplying a distribution by a discontinuous window.

New to topics? Read the docs here!