Exercise involving DFT The fourier matrix is a transformation matrix where each component is define

groupweird40

groupweird40

Answered question

2022-05-23

Exercise involving DFT
The fourier matrix is a transformation matrix where each component is defined as F a b = ω a b where ω = e 2 π i / n . The indices of the matrix range from 0 to n 1 (i.e. a , b { 0 , . . . , n 1 })
As such we can write the Fourier transform of a complex vector v as v ^ = F v, which means that
v ^ f = a { 0 , . . . , n 1 } ω a f v a
Assume that n is a power of 2. I need to prove that for all odd c { 0 , . . . , n 1 }, every d { 0 , . . . , n 1 } and every complex vectors v, if w b = v c b + d , then for all f { 0 , . . . , n 1 } it is the case that:
w ^ c f = ω f d a v ^ f
I was able to prove it for n = 2 and n = 4, so I tried an inductive approach. This doesn't seem to be the best way to go and I am stuck at the inductive step and I don't think I can go any further which indicates that this isn't the right approach.
Note that I am not looking for a full solution, just looking for a hint.

Answer & Explanation

Crevani9a

Crevani9a

Beginner2022-05-24Added 8 answers

Step 1
You need to use the fact that n is a power of 2 . I believe a key observation is that because c is odd, it is a unit in the ring of integers mod   n = 2 r   (for some positive integer r ), and so, as k ranges from 0 to   2 r 1   in the sum
ω ^ c f = k = 0 2 r 1 e 2 π i k c f 2 r v c k + d ( mod 2 r )   ,
the residues of ck mod   2 r   will range over the same set of values, but in a different order. For each   k { 0 , 1 , , there is a (unique) integer   u k   with   0 such that   c k = u k + z k 2 r   for some integer   z k  , and u will be a permutation on the set of integers   { 0 , 1 , , 2 r 1 }  .
Step 2
We then have
k = 0 2 r 1 e 2 π i k c f 2 r v c k + d ( mod 2 r ) = k = 0 2 r 1 e 2 π i ( u k + z k 2 r ) f 2 r v u k + z k 2 r + d ( mod 2 r )   , = k = 0 2 r 1 e 2 π i u k f 2 r v u k + d ( mod 2 r )   , = t = 0 2 r 1 e 2 π i t f 2 r v t + d ( mod 2 r )   , the last expression being obtained by rearranging the order of summation.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?