Fourier Theorems for the DFT
Fourier Theorems
Zero Padding Theorem (Spectral Interpolation)Search Mathematics of the DFT
Would you like to be notified by email when Julius Orion Smith III publishes a new entry into his blog?
A fundamental tool in practical spectrum analysis is zero padding. This theorem shows that zero padding in the time domain corresponds to ideal interpolation in the frequency domain (for time-limited signals):
Theorem: For any
Proof: Let
with
. Then
Thus, this theorem follows directly from the definition of the ideal
interpolation operator
. See §8.1.3 for an
example of zero-padding in spectrum analysis.
