(8)频域卷积

  借助前面所引入的圆卷积的概念,两序列乘积对应的DFT与各自的DFT有如下的关系:

  即两序列时域相乘,对应频域作圆卷积。证明的方法与时域圆卷积类似,这里就不再给出了。

  (9)帕斯瓦尔定理

  帕斯瓦尔定理在很多变换中都成立,对DFT也不例外。下面给出了一种证明过程。

  证明:由IDFT的定义

  将上式代入到定理公式的左边,得