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 hasIndeed, 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!