(8)频域卷积
借助前面所引入的圆卷积的概念,两序列乘积对应的DFT与各自的DFT有如下的关系:
即两序列时域相乘,对应频域作圆卷积。证明的方法与时域圆卷积类似,这里就不再给出了。
帕斯瓦尔定理在很多变换中都成立,对DFT也不例外。下面给出了一种证明过程。
证明:由IDFT的定义
将上式代入到定理公式的左边,得