傅里叶变换的基本性质 (2)

3-5

傅里叶变换的基本性质

傅里叶变换建立了时间函数和频谱函数之间转换关系。在实际信号分析中，经常需

要对信号的时域和频域之间的对应关系及转换规律有一个清楚而深入的理解。因此有必要讨论傅里叶变换的基本性质，并说明其应用。

一、

线性

傅里叶变换是一种线性运算。若 则

其中a 和b 均为常数，它的证明只需根据傅里叶变换的定义即可得出。

例3-6 利用傅里叶变换的线性性质求单位阶跃信号的频谱函数)(ωj F 。 解 因 由式(3-55)得

二、对称性

若 证明 因为 有

将上式中变量ω换为x ，积分结果不变，即 再将t 用ω代之，上述关系依然成立，即 最后再将x 用t 代替，则得 所以 证毕

若)(t f 是一个偶函数，即)()(t f t f =-，相应有)()(ωωf f =-，则式(3-56)成为 可见，傅里叶变换之间存在着对称关系，即信号波形与信号频谱函数的波形有着互相置换的关系，其幅度之比为常数π2。式中的ω-表示频谱函数坐标轴必须正负对调。例如

例3-7 若信号)(t f 的傅里叶变换为 试求)(t f 。

解 将)(ωj F 中的ω换成t ，并考虑)(ωj F 为ω的实函数，有 该信号的傅里叶变换由式(3-54)可知为 根据对称性 故 再将)(ω-f 中的ω-换成t ，则得

)(t f 为抽样函数，其波形和频谱如图3-20所示。

三、折叠性

若 则

四、尺度变换性 观看动画

若 则

证明 因a ＞0，由

令at x =，则adt dx =，代入前式，可得

函数)(at f 表示)(t f 沿时间轴压缩(或时间尺度扩展) a 倍，而

)

(a j

F ω

则表示

)(ωj F 沿频率轴扩展(或频率尺度压缩) a 倍。

该性质反映了信号的持续时间与其占有频带成反比，信号持续时间压缩的倍数恰好等于占有频带的展宽倍数，反之亦然。

例3-8 已知

,求频谱函数)(ωj F 。 解 前面已讨论了

的频谱函数，且

根据尺度变换性，信号)(t f 比)(0t f 的时间尺度扩展一倍，即波形压缩了一半，因

此其频谱函数

两种信号的波形及频谱函数如图3-21所示。

五、时移性

若 则

此性质可根据傅里叶变换定义不难得到证明。它表明若在时域)(t f 平移时间0t ，

则

其频谱函数的振幅并不改变，但其相位却将改变

0t ω。

例3-9 求

⎩⎨

⎧=0)(E t f ττ

><<

六、频移性

若 则

证明 证毕

频移性说明若信号)(t f 乘以t

j e 0ω±，相当于信号所分解的每一指数分量都乘以

t j e 0ω±，这就使频谱中的每条谱线都必须平移0ω，亦即整个频谱相应地搬移了0ω位置。

频谱搬移技术在通信系统得到了广泛应用，诸如调幅、同步解调、变频等过程都是在频

谱搬移的基础上完成的。频谱搬移实现原理是将信号)(t f 乘以所谓载频信号t 0cos ω或t 0sin ω，即

七、时域微分性

若

证明 因为 两边对t 求导数，得

所以 同理，可推出

例3-10 求

)()()

(t t f n δ=的频谱函数)(ωj F 。 解: 因为 由时域微分性

例3-11 图3-22所示信号)(t f 为三角形函数 求其频谱函数)(ωj F 。

解: 将)(t f 微分两次后，得到图3-22(c)所示函数，其表达式为 由微分性 所以

八、频域微分性

若 则

例3-12 求)()(t tU t f =的频谱函数)(ωj F 。 解: 因为 根据频域微分性

九、时域积分性

若 则

例3-13 根据1)(↔t δ和积分性求)()(t U t f =的频谱函数。 解: 因为

根据时域积分性

例3-14 求图3-23所示信号)(t f 的频谱函数)(ωj F 。 解: )(t f 对t 求两次微分后，得 且 由时域积分性

十、频域积分性

若 则

例3-15 已知t t t f )

sin()(=

，求)(ωj F 。

解: 因为

根据频域积分性

十一、时域卷积定理

若 则

证明

例3-16 图3-24(a)所示的三角形函数 可看做为两个如图3－24(b)所示门函数

)(t G τ卷积。

试利用时域卷积定理求其频谱函数

)(ωj F 。

解： 因 又 所以

例3-17 一个信号)(t f 的希伯特变换∧

)(t f 是)(t f 和t π1

的卷积，即

解： 因为 则对称性 有

由时域卷积定理 即

十二、频域卷积定理

若 则 或

例3-18 利用频域卷积定理求)()(t tU t f =的傅里叶变换)(ωj F 。 解： 因为 由对称性 有

所以根据频域卷积定理 有

即

十三、帕塞瓦尔定理

若 则 可推广 若)(1t f 为实函数，则 若)(1t f ,)(2t f 为实函数，则

例3-19 求

ω

ωd Sa ⎰

∞

∞

-)(2。

解： 因