I need to prove the following DFT for a periodic 𝑠𝑖𝑛𝑐 sequence or ideal lowpass filter:

$\sqrt{\frac{p}{m}}\frac{sinc(\frac{\pi np}{m})}{sinc(\frac{\pi p}{m})} \stackrel{DFT}{\longleftrightarrow} \begin{cases} \sqrt{\frac{m}{p}},\: if \: |k-\frac{m}{2}|\ge \frac{p-1}{2}\\ 0, \: otherwise \end{cases}$

But actually, I do not know how to do it. Maybe someone gives me at least a hint?


1 Answer 1



1) Definition of the unnormalized DFT:

$$ X[k] = \sum_{n=0}^{N-1} x[n] e^{-i\frac{2\pi}{N}kn} $$

2) Geometric Summation Formula:

$$ \sum_{n=0}^{N-1} r^n = \frac{1-r^N}{1-r} $$

3) Exponential form of Sine:

$$ \sin( \theta ) = \frac{ e^{i\theta} - e^{-i\theta} }{ 2i } $$

4) Definition of unnormalized sinc:

$$ \operatorname{sinc}(x) = \frac{\sin(x)}{x} $$

  • $\begingroup$ How can geometric summation formula help? I rewrite all sinc functions using formula 3 and 4 and added it to the formula 1, but I got stuck at this point, I cannot figure out how to rewrite this bug formula with exponents. $\endgroup$ May 31, 2020 at 11:24
  • $\begingroup$ @darktealeaf Do the reverse first, which is taking the DFT (or iDFT) of a rectangle function. You will find very similar math here: dsprelated.com/showarticle/1038.php $\endgroup$ May 31, 2020 at 12:00
  • $\begingroup$ So, got this: $x(n) = \frac{1}{N} \sum\limits_{k=0}^{N-1} \sqrt{\frac{m}{p}} e^{\frac{i2\pi kn}{N}} = \frac{1}{N} \sqrt{\frac{m}{p}} \frac{1 - e^{i2\pi n}}{1 - e^{\frac{i2\pi n}{N}}} = \frac{1}{N} \sqrt{\frac{m}{p}} \frac{e^{i\pi n}}{e^{\frac{i\pi n}{N}}} \frac{e^{-i\pi n} - e^{i\pi n}}{e^{\frac{-i\pi n}{N}} - e^{\frac{i\pi n}{N}}} = -\frac{1}{N} \sqrt{\frac{m}{p}} e^{i\pi n - \frac{i\pi n}{N}} \frac{sin(\pi n)}{sin(\frac{\pi n}{N})} = -\sqrt{\frac{m}{p}} e^{i\pi n - \frac{i\pi n}{N}} \frac{sinc(\pi n)}{sinc(\frac{\pi n}{N})}$ But still did not reach the correct formula. What do I do wrong? $\endgroup$ May 31, 2020 at 14:51
  • $\begingroup$ @darktealeaf Your case statement needs to be translated into summation intervals. I just noticed the inequality is the opposite of a rectangle function, so that means two intervals or you can work with the complement. $\endgroup$ May 31, 2020 at 15:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.