[数字信号处理]离散傅⾥叶变换及其性质DFT定义
傅里叶变换公式证明离散傅⾥叶变换的公式如下
X(k)=N−1
∑
n=0x(n)W nk N
其中W n是单位根，定义如下
W N=e−j 2πN
逆变换如下
x(n)=1
N
N−1
∑
k=0X(k)W−nk
N
性质
线性
如果有x1(n)和x2(n)两个有限长序列，长度分别为N1和N2，且
y(n)=ax1(n)+bx2(n),(a,b为常数)取变换区间长度N=[N1,N2]max
X1(k)=DFT[x1(n)]N;X2(k)=DFT[x2(n)]N 则y(n)的N点DFT为
Y(k)=DFT[y(n)]N=aX1(k)+bX2(k)循环移位性质
设x(n)为有限长序列，长度为M，则x(n)的循环移位定义为
y(n)=x((n+m))N R N(n)
如果⼀个序列移位之后,⼀些样值被移到了起始点前⾯，那他实际上会在后⾯再补回来，实际的顺序并没有变.
频域循环移位定理
如果X(k)=DFT[x(n)]N
Y(k)=X((k+l))N R N(k)
则y(n)=IDFT[Y(k)]N=W nl N x(n)
循环卷积定理
如果x_1(n)和x_2(n)是两个有限长序列，长度分别为M1和M2，且取循环卷积区间长度L≥max[M1,M2]
X1(k)是x1(n)的L点DFT
X2(k)是x2(n)的L点DFT
如果y(n)=x1(n)∗x2(n)=[∑L−1
m=0
x1(m)x2((n−m))L]R L(n),
那么他的的DFT为Y(k)=X1(k)X2(k)
Processing math: 100%