离散时间傅里叶变换（DTFT）（由离散时间周期信号的傅里叶级数推得）（详细推导）

mytomorrow

$ O- h: ^/ g! {; A2 y5 o
+ l4 c% T- x4 A/ b0 a序言
" P& _2 q& M( {. V
: ]7 G2 t" [. b这里讲的离散时间傅里叶变换（DTFT）是针对离散非周期信号的DTFT，事实上，DTFT本身也就是为了表示非周期信号而出现的。

推导的过程采用与连续时间傅里叶变换完全并行的思路，连续时间傅里叶变换的推导参看博文：连续时间信号的傅里叶变换
! Z( q6 O, [6 W7 K1 C
0 k+ [9 E3 o5 Y# q! c/ r6 ?对连续时间傅里叶变换的一点回顾：

在连续时间傅里叶变换这篇博文中，我们看到，一个连续时间周期方波的傅里叶级数可以看成一个包络函数的采样值，并且随着这个方波周期的增大，这些样本越来越密。这一性质就让人想到一个非周期信号 可以这样来表示，即首先产生一个周期信号 ，使 在一个周期内等于 ，然后随着这个周期无限大， 就会在一个越来越大的时间间隔上等于 ，这样对 的傅里叶级数表示也就收敛于 的傅里叶变换表示。
$ B4 a8 O5 Z$ F
采用与连续时间傅里叶变换完全并行的思路推理

0 z$ t# m0 y& `5 f


6 b$ u3 h5 B% R/ }# O
$ {2 v5 o" J3 Q/ v
5 R/ j8 A/ O# h
2 \5 B6 B' O2 B5 @, h
* m2 k5 O/ g* `5 T; v
综合公式：


" n$ K4 q3 [; {0 c4 X
, h2 B4 H) _& \分析公式：


" d% M* V  H- I* W0 _" f: Z
在推导这些公式的过程中，可以看出一个非周期序列是怎样被看成复指数信号的线性组合的。事实上，综合公式：
# p9 D) H8 h# P! X


本身就是把序列 作为一种复指数序列的线性组合来表示的，这些复指数序列在频率上是无限靠近的，其幅度为 。为此，与连续时间情况一样，傅里叶变换 往往称为 的频谱，因为它给出这样的信息： 是怎样由这些不同频率的复指数序列组成的。
9 |! y) E" A0 _
8 y# c* I1 ]7 p5 x" o: \9 d8 C  k值得提及的是，与连续时间情况一样，上述离散时间傅里叶变换的推导过程给我们在离散时间傅里叶级数和离散时间傅里叶变换之间提供了一种重要的关系。特别是一个周期序列 的傅里叶系数 可以用一个有限长序列 的傅里叶变换的等间隔样本来表示，这个 就等于一个周期上的 ，而在其余地方为0。


( z* c. n* J# P, v& U7 v
" }6 y# C0 n$ r' O1 {4 B一句重要的废话（理解）：
$ d- f+ z( \8 U; \' ^7 F
- l% C, K& J# v" Y4 _下面这句话，在看完这个系列的博文后就能懂得。

0 N/ L6 C$ X6 x' V4 E+ @正如推导过程中表明的，离散时间傅里叶变换和连续时间傅里叶变换相比有很多相似之处。两者的主要差别在于离散时间傅里叶变换 的周期性和在综合公式中的有限积分区间。

6 t8 i1 M8 V9 `  Z  z6 r这两者来自这样的一个事实：在频率上相差 的离散时间复指数信号是完全一样的。（参考博文：离散时间复指数序列的周期性质）。
2 F% v2 d+ v7 A  D% F8 j
2 k( {7 z( l' R9 `! U# @0 K' U由离散时间周期信号的傅里叶级数这篇博文，可知，对周期离散时间序列而言，这就意味着傅里叶级数系数也是周期的，并且傅里叶级数表示是一个有限项的和式。

; |6 a* b% i- l: P; ?* \+ c1 F( _对非周期信号而言，这就意味着 也是周期的，周期为 ，并且综合公式只涉及一个频率区间内的积分，这个频率区间就是产生不同复指数信号的那个间隔，即任何 长度的间隔。
2 X  x, J( T) x5 U% y6 S4 x. W
最后再次来一个重磅的结论：
: T- z( ^1 V! j  k
4 }. b$ B3 C. {/ s1 |" u5 v5 G& R 作为 的函数的周期性的进一步的结果是：

和 都得到同一个信号。因此，位于这些频率值或者任何 偶数倍的 附近都是慢变化的，从而都对应低频率的信号；而靠近 的奇数倍的 ，在离散情况下都相应于高的频率。
) Y$ r& S, Y0 R' h
如下图：

; M7 \7 K8 _0 K: L& S4 l! h3 _! J7 A

& J) M: R- i5 {, m- U: D注：下面的这些结论不看也罢，我只是觉得有意思才贴出来的。

NNNei256

离散时间傅里叶变换（DTFT）