The Inverse DFT

The key to seeing that the inverse of the DFT is itself a DFT is to see that although it is not computed as a matrix product, the result of the DFT is a matrix product.   

As we have seen, [Graphics:../Images/FFT_gr_84.gif]  If we look at any specific component [Graphics:../Images/FFT_gr_85.gif] we see

        [Graphics:../Images/FFT_gr_86.gif]

So the complete output is


        [Graphics:../Images/FFT_gr_87.gif]

where [Graphics:../Images/FFT_gr_88.gif] is the Vandermonde matrix

[Graphics:../Images/FFT_gr_89.gif]

which has [Graphics:../Images/FFT_gr_90.gif] in its [Graphics:../Images/FFT_gr_91.gif] row, [Graphics:../Images/FFT_gr_92.gif] column

Clearly, if we know an output [Graphics:../Images/FFT_gr_93.gif], we can recover the value of a from the equation
            [Graphics:../Images/FFT_gr_94.gif]

Theorem.  If ω is a primitive [Graphics:../Images/FFT_gr_95.gif]  root of unity and [Graphics:../Images/FFT_gr_96.gif]  is the corresponding Vandermonde matrix, then

            [Graphics:../Images/FFT_gr_97.gif]

Proof:  We simply compute the product [Graphics:../Images/FFT_gr_98.gif] and verify that it is equal to [Graphics:../Images/FFT_gr_99.gif]   This implies that   [Graphics:../Images/FFT_gr_100.gif]=N V[ω] [Graphics:../Images/FFT_gr_101.gif].   The factor V[ω] can be cancelled and then the conclusion of the theorem follows.  As for the product:

[Graphics:../Images/FFT_gr_102.gif]

and if [Graphics:../Images/FFT_gr_103.gif]

[Graphics:../Images/FFT_gr_104.gif]

Examples.
We saw above that the complex number [Graphics:../Images/FFT_gr_105.gif] is a primitive [Graphics:../Images/FFT_gr_106.gif] root of unity and [Graphics:../Images/FFT_gr_107.gif]

[Graphics:../Images/FFT_gr_108.gif]

In the field of integers modulo 17, 9 is a primitive 8th root of unity and 2 is its inverse.

[Graphics:../Images/FFT_gr_109.gif]

Back to inverting the DFT.   Since inverting the DFT is the same as multiplying by the a Vandermonde matrix, we can conclude that

        If [Graphics:../Images/FFT_gr_110.gif] ,  then   [Graphics:../Images/FFT_gr_111.gif]


Converted by Mathematica      May 10, 2000