前两篇已经介绍了傅里叶变换的一些基础内容,下面我们进一步结合实践延申到短时傅里叶变换,来为最后的小波变换作铺垫。
由于前面我们已经推导出了傅里叶变换的数学表达式,以及阐述了在实际情况下我们用的是离散形式的傅里叶变换,所以下文对这两个概念不作区分,同时也尽量避免数学表达式的出现,多和例子相结合。
1 | fs = 100;%采样频率 |
这个例子很好的说明了傅里叶变换的局限性,(实际上我们从傅里叶变换的表达式中可以看到,前一半和后一半的变换结果是共轭的,所以它们的幅度是一样的,这也是为什么我们表示的时候用了fftshift(),否则图像将会以二分之采样频率为对称轴对称。)也就是它将全部的信息从时域变化为了频域,而没有表达出频率随时间的变化,导致两个不同的波形,傅里叶变换后的结果是一样的。
此时我再更新这一篇blog的时候已经是2022年4月18日了,马上要期中考试,本来是想写短时傅里叶变换继而引入小波变换,但是物是人非。现在打算在下面整理一下傅里叶变换的性质并加一些例子便于记忆:
首先,作为一个工科生,我自然不会关心“这积分符号是否可以交换”,“这严谨吗”等等……所以……
首先我们选取经典的$Sinc$函数在时域的波形用于下面的可视化:
左边是时域图,右边是频域。可以看出右边是个门函数,至于为什么是门函数我们后面会提到。
线性性质我们这里就默认了,因为傅里叶变换是个线性变换,这个无需赘述。
下面我们考虑时域变量$t$发生线性变换而变为$at+b$的情况:
当$b=0$时,上式变为:
被称为尺度变换。这个式子表明,当信号$f(t)$被时域压缩$1/a$的时候,频域将展宽,但频率分量的幅度也被削弱,这是能量守恒的体现。比如当快放视频时,会觉得声音发尖,这就是频率展宽后高频分量的作用。我们将上面的$Sinc$函数开个刀试一下:
看,确实是这样的。
当取$a=1$时,即没有尺度变换时,称为时移特性:
容易看出这个变换不会使得幅度谱发生改变,只会改变相位。这个例子就不能靠$Sinc$函数了,我们找一个平移后的门函数来验证一下:
幅度谱没有变化,相位谱变了。并且要注意,如果门函数是完全沿$y$轴对称的,它根本不应该有相位谱,因为变换后的结果是$\tau \mathrm{Sa}\left( \frac{\omega \tau}{2} \right) $没有虚部。通过这一现象我们进一步可以加深对这一性质的理解。
跟时移性质对偶的是频移性质,它是调制的基础:
这里为了可视化的直观,取了一个特殊的情况$\mathrm{cos}(20t)$,可以看到频谱发生了搬移,分向了高频部分。这里的一些细节我们最后再汇总。
实际上,特殊地,我们将信号$f(t)$乘上$\mathrm{cos}(\omega_0t)$或$\mathrm{sin}(\omega_0t)$,此时的频谱会发生搬移,利用欧拉公式展开,可以得下面这俩常用的结论:
下面我们证明对称性质,这一性质极具技巧性但又十分直接:
特别地,当$f$具有奇偶性质时,该性质十分好用。注意常数因子$2\pi$,这个因子其实是为了能量守恒,如果我们最初定义傅里叶正变换需要乘一个$\sqrt{1/2\pi}$,那对称性就不需要标出常数了。对于这个性质有一个比较high-level的解释方法:
将时域和频域看成一个时频平面,每一次傅里叶变换相当于沿正方向(逆时针)转九十度。那么转两次就会是一个flip,这是可以证明的。而若交换$\omega,t$,就会有对称性的结论,负号正是因为旋转两次,到了一个负方向上。
接下来是时域的微积分性质,微分性质非常直接:
时域的积分性质就不好简单的证明了,这里我们需要引入广义函数的概念,先求出$\varepsilon \left( t \right) $的傅里叶变换。注,它并不是绝对可积的,一种常见的思路是:
有了这个储备,时域的积分性质就好处理了:
时域的微积分性质可以帮助我们求解一些特定函数的傅里叶变换,同时在数理方程中有着重要作用,例如之前在学习解简单的偏微分方程时。
相应还有频域的微积分性质,道理是一样的:
频域积分定理和时域积分定理的证明十分类似,这里就直接给出结论:
最后的时域和频域卷积定理我们以后再说,利用上述性质可以推出一系列函数的傅里叶变换:
这张图整理了常用的傅里叶变换对以及它们的联系,这里主要要提的是右下角的几个能量信号的傅里叶变换。门函数可以由两个阶跃函数线性表示,所以通过时移性质,尺度变换和线性性质可以从阶跃函数的傅里叶变换导出门函数的傅里叶变换,当然直接用定义计算也不复杂。我们在这里写一下由阶跃函数导出的过程,可以有助于加深对前面性质的应用:
这样我们就知道了,门函数的傅里叶变换是个Sa函数。
对于三角脉冲,我们发现它的导函数是两个平移并且尺度变换后的门相加在一起,直流分量为0。所以我们可以应用时域积分定理:
对于锯齿脉冲,情况稍微复杂一点,我们最好把它利用频域微分性质,得到一个门函数乘$t$的表示,再利用门函数的傅里叶变换,得到锯齿脉冲:
至于梯形脉冲,道理和三角形脉冲完全一致。最后要补充的就是由于直流分量被微分后就变成0了,所以时域微分性质时要单独考虑直流分量。有些时候,去掉一个直流分量,时域函数会变成奇对称的,这时就可以很安全的用时域微分性质,但像门函数,还是不行,那就老老实实积分或者用别的办法。时域积分性质默认指的是变上限积分就是$f(t)$,这是不一定的。我们下面进行一些注解:
这些就是能应付期中考试部分的傅里叶变换内容了……