The dual of the Zero-Padding Theorem states formally that zero padding in the frequency domain corresponds to ideal bandlimited interpolation in the time domain. However, we have not precisely defined ideal bandlimited interpolation in the time domain. Therefore, we'll let the dual of the Zero-Padding Theorem provide its definition:
Definition: For all and any integer ,
where the zero-padding is of the frequency-domain type, as described earlier and illustrated in Fig. 8.5.
It is instructive to interpret the Interpolation Theorem in terms of theStretch Theorem . To do this, it is convenient to define a ''zero-centered rectangular window'' operator:
Thus, the ''zero-phase rectangular window,'' when applied to a spectrum, sets the spectrum to zero everywhere outside a zero-centered interval of samples. Note that is the ideal lowpassfiltering operation in the frequency domain, where the lowpass ''cut-off frequency'' in radians per sample is . With this we can efficiently show the basic theorem of ideal bandlimited interpolation:
Theorem: For ,
In other words, ideal bandlimited interpolation of by the factor may be carried out by first stretching by the factor (i.e., inserting zeros between adjacent samples of ), taking the DFT, applying the ideal lowpass filter, and performing the inverse DFT.
Proof: First, recall that , that is, stretching a signal by the factor gives a new signal which has a spectral grid times the density of , and the spectrum contains copies of repeated around the unit circle. The ''baseband copy'' of can be defined as the width sequence centered about frequency zero. Therefore, if we can use an ''ideal filter'' to ''pass'' the baseband spectral copy and zero out all others, we can convert to . I.e.,
where the last step is by definition of time-domain ideal bandlimited interpolation.
Note that the definition of ideal bandlimited time-domain interpolation in this section is only really ideal for signals which are periodic in samples. To see this, consider that the rectangular windowing operation in the frequency domain corresponds to cyclic convolutionin the time domain,8.8 and cyclic convolution is only the same as acyclic convolution when one of the signals is truly periodic in samples. Since all spectra are truly periodic in samples, there is no problem with the definition of ideal spectral interpolation used in connection with the Zero-Padding Theorem. However, for a more practical definition of ideal time-domain interpolation, we should use instead the dual of the Zero-Padding Theorem for the DTFT case. Nevertheless, for signals which areexactly periodic in samples (a rare situation), the present definition is ideal.