5 离散时间傅立叶变换

167 阅读2分钟

离散非周期傅立叶变换导出

思路和连续的完全一样,直接给出

x[n]=12π2πX(ejω)ejωndωX(ejω)=n=x[n]ejωnx[n] = \frac{1}{2\pi}\int_{2\pi}X(e^{j\omega})e^{j\omega n}d\omega \\ X(e^{j\omega}) = \sum_{n=-\infty}^\infty x[n] e^{-j\omega n}

其实这个非常鲁,他就是把原本时域信号的所有值全部映射到不同的频率上。

和周期情况一样,不同于连续状况,ω\omega只要到了2π2\pi就是转整数圈了,因此并不是ω\omega越大频率越高,而是在π\pi的偶数倍附近对应低频分量,在奇数倍附近对应高频分量。

收敛性问题讨论也比较简单,因为是有限项,只需要x(t)x(t)能量有限即可。

统一周期与非周期

和连续情况完全一样:X(ejω)=2πk=akδ(ωkω0)X(e^{j\omega})=2\pi \sum_{k=-\infty}^{\infty}a_k\delta(\omega-k\omega_0)

性质

x[n]x[n]的傅立叶变换为X(ejω)X(e^{j\omega})

  • 周期性:X(ej(ω+2π))=X(ejω)X(e^{j(\omega+2\pi)})=X(e^{j\omega})
  • 线性:ax[n]+by[n],FS:aX(ejω)+bY(ejω)ax[n]+by[n], FS: aX(e^{j\omega})+bY(e^{j\omega})
  • 时移:x[nn0],FS:ejωn0X(ejω)x[n-n_0], FS: e^{-j\omega n_0}X(e^{j\omega})
  • 频移:ejω0nx[n],FS:X(ej(ωω0))e^{j\omega_0n}x[n], FS: X(e^{j(\omega-\omega_0)})
  • 共轭:x[n]=X(jω)x^*[n]=X^*(-j\omega)Ev(x[n])>Re(X(jω))Ev(x[n])->Re(X(j\omega)), Od(x[n])>jIm(X(jω))Od(x[n]) -> jIm(X(j\omega))
  • 求和:m=nx[m],FS:11ejωX(ejω)+πX(ej0)k=δ(ω2πk)\sum_{m=-\infty}^n x[m], FS: \frac{1}{1-e^{-j\omega}}X(e^{j\omega})+\pi X(e^{j0})\sum_{k=-\infty}^\infty\delta(\omega-2\pi k)
  • 反转:x[n],FS:X(ejω)x[-n], FS: X(e^{-j\omega})
  • 尺度压缩,x[n/k]x[n/k],不取整数是为0,k没法小于1,不然只是起到了过滤作用。FS:ejkωFS: e^{jk\omega}
  • 频域微分:nx[n],FS:jdX(ejω)dωnx[n], FS: j\frac{dX(e^{j\omega})}{d\omega}
  • 帕斯瓦尔定理:n=x[n]2=12π2πX(ejω)2dω\sum_{n=-\infty}^\infty|x[n]|^2 = \frac{1}{2\pi}\int_{2\pi}|X(e^{j\omega})|^2d\omega
  • 卷积:y=x[n]h[n],FS:Y(ejω)=X(ejω)H(ejω)y=x[n]*h[n], FS: Y(e^{j\omega})=X(e^{j\omega})H(e^{j\omega})
  • 相乘:x[n]y[n],FS:12π2πX(ejθ)Y(ej(ωθ))dθx[n]y[n], FS: \frac{1}{2\pi}\int_{2\pi} X(e^{j\theta})Y(e^{j(\omega-\theta)})d\theta
  • 奇偶性和之前一样

关于虚实的性质

其中xe[n]=12(x[n]+x[n]),xo[n]=12(x[n]x[n])x_e[n]=\frac{1}{2}(x[n]+x^*[-n]), x_o[n]=\frac{1}{2}(x[n]-x^*[-n])

2-58-symmetry.png

变换对

注意变换的前提是绝对可加或平方可加,但对于x[n]=1x[n]=1这个冲激串,他的傅立叶变换是人为定义的,他的冲激面积无穷大所以确实不收敛,但是带入逆变换确实可以恢复。涉及δ\delta函数的严谨证明需要用到广义函数理论,超出范围,所以记住几个特殊的就可以了。

chap5-bianhuan.png

chap5-bianhuan2.png

对偶性

因为离散的周期信号,他的傅立叶系数aka_k也是周期的,所以本身也可以看作一个离散周期信号。这里面蕴含了对偶性。考虑下面的公式

f[n]=1Nk=0N1g[k]ejkω0nf[n] = \frac{1}{N}\sum_{k=0}^{N-1}g[k]e^{-jk\omega_0n}

这个式子本身就是一个傅立叶变换,因此gg的变换后的系数就是ff,另一方面,如果我们把k替换成-k,那么

f[n]=k=0N11Ng[k]ejkω0nf[n] = \sum_{k=0}^{N-1}\frac{1}{N} g[-k]e^{jk\omega_0n}

这是一个离散傅里叶级数表示,而1Ng[k]\frac{1}{N} g[-k]就是f的傅立叶系数。 总结一下就是,如果g[n],FS:f[n]g[n], FS: f[n],那么f[n],FS:1Ng[k]f[n], FS: \frac{1}{N} g[-k]

LTI一阶差分方程

k=0Naky[nk]=k=0Mbkx[nk]\sum_{k=0}^Na_ky[n-k]=\sum_{k=0}^Mb_kx[n-k]

根据第四章的思路,可以得到H(ejω)=k=0Mbkejkωk=0NakejkωH(e^{j\omega})=\frac{\sum_{k=0}^M b_ke^{-jk\omega}}{\sum_{k=0}^Na_ke^{-jk\omega}}