In mathematics, any integrable function s ( t ) {\displaystyle s(t)} can be made into a periodic function s P ( t ) {\displaystyle s_{P}(t)} with period P by summing the translations of the function s ( t ) {\displaystyle s(t)} by integer multiples of P. This is called periodic summation:
s P ( t ) = ∑ n = − ∞ ∞ s ( t + n P ) {\displaystyle s_{P}(t)=\sum _{n=-\infty }^{\infty }s(t+nP)}
The resulting periodic function may not be defined everywhere. When s P ( t ) {\displaystyle s_{P}(t)} is represented as a Fourier series, the Fourier coefficients are equal to the values of the continuous Fourier transform, S ( f ) ≜ F { s ( t ) } , {\displaystyle S(f)\triangleq {\mathcal {F}}\{s(t)\},} at intervals of 1 P {\displaystyle {\tfrac {1}{P}}} . This follows easily from recognizing that the formula for finding the nth coefficient of the Fourier series for the periodic summation is identical to the formula for the value of the Fourier transform of the original function at n / P . {\displaystyle n/P.} The identity is also a form of the Poisson summation formula. This implies that the periodic summation of any band-limited function, such as the sinc function, is a sum of a finite number of sine waves, or even just a single sine wave or zero if the period is less than or equal to half the inverse of the upper frequency limit. A periodic summation of a function can be identically zero if the Fourier transform of the function is zero at all multiples of some frequency, but if all periodic summations (that is, with all periods) are zero then the function must be identically zero. Similarly, a Fourier series whose coefficients are samples of s ( t ) {\displaystyle s(t)} at constant intervals (T) is equivalent to a periodic summation of S ( f ) , {\displaystyle S(f),} which is known as a discrete-time Fourier transform. The periodic summation of a Dirac delta function is the Dirac comb. Likewise, the periodic summation of an integrable function is its convolution with the Dirac comb.
Quotient space as domain If a periodic function is instead represented using the quotient space domain
R / ( P Z ) {\displaystyle \mathbb {R} /(P\mathbb {Z} )} then one can write:
φ P : R / ( P Z ) → R {\displaystyle \varphi _{P}:\mathbb {R} /(P\mathbb {Z} )\to \mathbb {R} }
φ P ( x ) = ∑ τ ∈ x s ( τ ) . {\displaystyle \varphi _{P}(x)=\sum _{\tau \in x}s(\tau )~.}
The arguments of φ P {\displaystyle \varphi _{P}} are equivalence classes of real numbers that share the same fractional part when divided by P {\displaystyle P} .
Citations
See also Dirac comb Circular convolution Discrete-time Fourier transform
