傅里叶变换、离散傅里叶变换(DFT)、快速傅里叶变换(FFT)详解

前置知识

---

以下内容参考《复变函数与积分变换》，如果对积分变换有所了解，完全可以跳过忽略
复数的三角表达式如下
$$Z=r(cos\theta +isin\theta )$$
欧拉公式如下
$$e^{i\theta }=cos\theta +isin\theta$$
所以，两式连立，我们可以得到复数的指数表达式
$$Z=r{e}^{i\theta }$$

---

复球面如下图，除了N点以外，任意一个复数都与复球面上的点一一对应。

---

对于任意复数z的乘幂有下列公式成立
$$Z^n=r^n{e}^{in\theta }$$

当r=1时，我们可得到De Moivre公式
$$(cos\theta +isin\theta {)}^N=cosN\theta +isinN\theta$$

---

复数的方根

---

复变函数的几何解释

复变函数中的常用初等函数

1. 指数函数

2. 对数函数
   

3. 幂函数
   

4. 三角函数
   

傅里叶级数

在高等数学中我们就已经学习过傅里叶级数了，书中是这么描述的任何周期函数都可以用正弦函数和余弦函数构成的无穷级数来表示，公式是下面这样描述的
$$f(t)=a_0+\sum _{n=1}^{\infty }[a_{n}cos(n\omega t)+b_{n}cos(n\omega t)]$$
其中



上面的推导过程是利用三角函数集的正交性进行的，推导过程很简单，就不再说了。如果想看看推导过程的请点击这里
我们可以用上面提到的复数知识，将上述的正余弦形式的傅里叶级数，改写成复指数形式的傅里叶级数，过程如下：

欧拉公式如下
$$e^{i\theta }=cos\theta +isin\theta$$
通过上述欧拉公式，得到余弦、正弦的复指数表达，如下
$$sin\theta =\frac{e^{ix}-e^{-ix}}{2i}$$
$$cos\theta =\frac{e^{ix}+e^{-ix}}{2}$$
将上述公式代入傅里叶级数中，可以得到
$$f(t)=a_0+\sum _{n=0}^{\infty }(\frac{a_n-i{b}_n}{2}{e}^{in{\omega }_{1}t}+\frac{a_n+i{b}_n}{2}{e}^{-in{\omega }_{1}t})$$
为了将上述式子合并
$$F(n{\omega }_1)=\frac{a_n+i{b}_n}{2}{e}^{-in{\omega }_{1}t}$$
$$F(-n{\omega }_1)=\frac{a_{-n}-i{b}_{-n}}{2}{e}^{in{\omega }_{1}t}$$
$$且当n=0的时候，b_n=0,a_n=a_0，e^{-i0{\omega }_{1}t}=1,所以F(0)=\frac{a_0}{2}$$
所以上述式子可以合并成
$$f(t)=\sum _{n=-\infty }^{\infty }\frac{a_n+i{b}_n}{2}{e}^{-in{\omega }_{1}t}$$
化简一下
$$f(t)=\sum _{n=-\infty }^{\infty }F(n{\omega }_1)e^{in{\omega }_{1}t}$$

我们再把$a_n,b_n$代入$F$中，可以得出最终傅里叶级数变换式
$$F(n{\omega }_1)=\frac{1}{T_1}{\int }_{t_0}^{t_0+T}f(t)e^{-in{\omega }_{1}t}dt$$
$$f(t)=\sum _{n=-\infty }^{\infty }F(n{\omega }_1)e^{in{\omega }_{1}t}$$

连续傅里叶变换

根据前述的傅里叶级数可知，任何周期函数，都可以由正弦、余弦函数共同组合而成。现在假设有一个函数(信号)$f(t)$，其周期为$T_1$，角频率为$W_1$。那么我们可以表示成如下形式。
$$f(t)=\frac{a_0}{2}+\sum _{n=0}^{\infty }[a_{n}cos(n{\omega }_{1}t)+b_{n}sin(n{\omega }_{1}t)]$$
其中$a_0,a_n,b_n$都已经计算出来了。

但上面是傅里叶级数，并非是傅里叶变换，所谓傅里叶变换就是将傅里叶级数的分析方法给推广到任何函数中，即非周期函数中。

但是如果$T$趋于无穷，那么就会导致谱线长度变成0，所以此时，必须要引入一个新的量，称为频谱密度函数

我们将$F(n{\omega }_1)$两边同时乘以T_1
$$T_{1}F(n{\omega }_1)={\int }_{t_0}^{t_0+T}f(t)e^{-in{\omega }_{1}t}dt$$
如果该函数的不是周期函数，那么$T->\infty ,{\omega }_1->0$,所以$n{\omega }_1$就趋于连续值了，我们可以用$\omega$代替，谱线间隔$△n{\omega }_1$也可以描述为$d\omega$。
那么这时，我们将$F(n{\omega }_1)$改成如下形式
$$F(\omega )=T_{1}F(n{\omega }_1)=\underset{T_1\to \infty }{\lim }{\int }_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{-in{\omega }_{1}t}dt$$
所以，最终我们得到了傅里叶变换
$$F(\omega )={\int }_{-\infty }^{+\infty }f(t)e^{-i\omega t}dt$$
我们也说上面的傅里叶变换是广义傅里叶变换。

思考一下，为什么我们也称其为频谱密度函数,那是因为$T_{1}F(n{\omega }_1)=\frac{2\pi F(n{\omega }_1)}{{\omega }_1}$,其中$\frac{F(n{\omega }_1)}{{\omega }_1}$指的是单位频宽下的谱线长度,也就是频谱密度

最后我们再对傅里叶反变换进行一下改变就行了
$${\omega }_1\to 0$$
$$n{\omega }_1\to w$$
$$△(n{\omega }_1)\to dw$$
$$\sum _{\omega =-\infty }^{\infty }d\omega ={\int }_{-\infty }^{+\infty }d\omega$$
$$\begin{array}{llc}f(t)& ={\sum }_{n{\omega }_1=-\infty }^{\infty }\frac{F(n{\omega }_1)}{{\omega }_1}{e}^{in{\omega }_{1}t}{\omega }_1& \\ & & \\ & ={\sum }_{n{\omega }_1=-\infty }^{\infty }\frac{F(n{\omega }_1)}{{\omega }_1}{e}^{in{\omega }_{1}t}d\omega & \\ & & \\ & ={\sum }_{\omega =-\infty }^{\infty }\frac{F(\omega )}{2\pi }{e}^{in{\omega }_{1}t}d\omega & \\ & & \\ & =\frac{1}{2\pi }{\int }_{-\infty }^{+\infty }F(\omega )e^{i\omega t}d\omega & \end{array}$$
总结一下，傅里叶变换和傅里叶反变换，如下
$$F(\omega )={\int }_{-\infty }^{+\infty }f(t)e^{-i\omega t}dt$$
$$f(t)=\frac{1}{2\pi }{\int }_{-\infty }^{+\infty }F(\omega )e^{i\omega t}d\omega$$

离散傅里叶级数

在学习DFT之前，先了解以下离散傅里叶级数对于过度到DFT是很有帮助的。两者之间主要的区别就是，离散傅里叶级数是用来分析周期序列，而离散傅里叶变换是用来分析有限长序列

现在假设有一个周期序列:$x_p(n)=x_p(n+rN)$，其周期为$N$。定义这个周期序列的离散傅里叶级数完全可以参照连续傅里叶级数。

先看看之前推导的傅里叶级数的公式
$$F(n{\omega }_1)=\frac{1}{T_1}{\int }_{t_0}^{t_0+T}f(t)e^{-in{\omega }_{1}t}dt$$
$$f(t)=\sum _{n=-\infty }^{\infty }F(n{\omega }_1)e^{in{\omega }_{1}t}$$
我们可以把$\frac{1}{T_1}$给提到$f(t)$里面去，最后就会变成下面那样
$$F(n{\omega }_1)={\int }_{t_0}^{t_0+T}f(t)e^{-in{\omega }_{1}t}dt$$
$$f(t)=\frac{1}{T_1}\sum _{n=-\infty }^{\infty }F(n{\omega }_1)e^{in{\omega }_{1}t}$$
ok，现在我们通过改写上面的公式，使其支持离散周期序列。因为是离散的，所以积分符号${\int }_{t_0}^{t_0+T}$要变成求和符合${\sum }_{n=0}^{N-1}$，周期函数的频率${\omega }_1$要变成$\frac{2\pi }{N}$,周期$T_1$也要变成$N$，无限求和${\sum }_{n=-\infty }^{\infty }$也要变成有限的${\sum }_{n=0}^{N-1}$。

最终改写出来的结果如下
$$X[k]=\sum _{n=0}^{N-1}f(t)(e^{-ik(\frac{2\pi }{N})}{)}^n【1式】$$
$$x[k]=\frac{1}{N}\sum _{n=0}^{N-1}X[n](e^{ik(\frac{2\pi }{N})}{)}^n【2式】$$
对于上面的2式来说，$e^{ikn(\frac{2\pi }{N})}$是构成这个式子的基，当k取1时，$e^{kn(\frac{2\pi }{N})}$为基频成分，k不为1时，称其为k次谐波分量。因为其周期是$N$，所以无论怎么取，只有N个谐波分量是独立的。

为了方便，我们令$W_N=e^{-i(\frac{2\pi }{N})}$
所以上面定义的式子可以写成下面形式
$$X[k]=\sum _{n=0}^{N-1}f(t)W^{nk}【3式】$$
$$x[k]=\frac{1}{N}\sum _{n=0}^{N-1}X[n]W^{-nk}【4式】$$

离散傅里叶变换(DFT)

从前面我们已经知道，非周期连续函数傅里叶变换如下
$$F(\omega )={\int }_{-\infty }^{+\infty }f(t)e^{-i\omega t}dt$$

单位冲激函数的傅里叶变换如下
$$\begin{array}{ll}F[\delta (t-t_0)]& ={\int }_{-\infty }^{+\infty }\delta (t-t_0)e^{-i\omega t}dt\\ & \\ & =e^{-i\omega t_0}\end{array}$$

假设现在有一个冲激串，如下
$$S_{△T}(t)=\sum _{n=-\infty }^{+\infty }\delta (t-n△T)$$
这个冲击串表示，每隔$△T$时间，都会采样一样，其函数图像如下

(图像参考《数字图像处理》冈萨雷斯)

所谓离散二字，就是要求数据是离散的，而非连续的，我们可以使用一个周期串，对一个信号(函数)进行采样，这样就可以得到一个离散的数据了

现在我们要对上述周期串函数求傅里叶变换，这里的只的傅里叶变换是指广义的傅里叶变换，因为这个函数很明显它是不满足狄利克雷条件的。求法如下

因为$S_{△T}(t)$是一个周期函数，所以我们可以把它表示成一个傅里叶级数的形式

$$S_{△T}(t)=\sum _{n=-\infty }^{+\infty }{C}_n{e}^{in{\omega }_{s}t}$$

$C_n$可以利用下述公式求出
$$C_n=\frac{1}{△T}{\int }_{-\frac{△T}{2}}^{\frac{△T}{2}}{S}_{△T}{e}^{-in{\omega }_{s}t}$$
注意，上述积分区间，周期窜只采样了一次。而且是在0点处采样的，所以除了0点，其他点处的函数值都为0
$$C_n=\frac{1}{△T}{e}^0=\frac{1}{△T}$$
然后我们可以得到
$$S_{△T}(t)=\sum _{n=-\infty }^{+\infty }\frac{1}{△T}{e}^{in{\omega }_{s}t}=\frac{1}{△T}\sum _{n=-\infty }^{+\infty }{e}^{in{\omega }_{s}t}$$
然后再对上述式子进行傅里叶变换

$$\begin{array}{llc}F[S_{△T}(t)]& =F[{\sum }_{n=-\infty }^{+\infty }\frac{1}{△T}{e}^{in{\omega }_{s}t}]dt& \\ & & \\ & ={\sum }_{n=-\infty }^{+\infty }F[\frac{1}{△T}{e}^{in{\omega }_{s}t}]& \\ & & \\ & =\frac{1}{△T}{\sum }_{n=-\infty }^{+\infty }F[e^{in{\omega }_{s}t}]& \\ & & \\ & =\frac{1}{△T}{\sum }_{n=-\infty }^{+\infty }\delta (\omega -n{\omega }_s)& \end{array}$$
从上述式子可以看到，当对一个冲激窜进行傅里叶变换之后，其频谱图任然是一个冲激窜，但是其幅度变为了原来的$\frac{1}{△T}$。

现在我们来用冲激串，对原始数据进行抽样，公式如下
$$\begin{array}{ll}p(t)=f(t)S_{△T}(t)& ={\sum }_{n=-\infty }^{+\infty }f(t)\delta (t-n△T)\\ & \\ & =f(k△T)\end{array}$$

采样完成之后，数据就成离散的了。现在我们考虑对其进行傅里叶变换,因为$F[p(t)]$是一周期连续函数，所以我们只需要在一个周期内采样即可
$$\begin{array}{ll}F[p(t)]& =\frac{1}{△T}{\int }_0^{△T}f(t)\delta (t-n△T)e^{-i\omega t}dt\\ & \\ & ={\sum }_{n=0}^{M-1}f(n△T)e^{-in\omega △T}\\ & \\ & ={\sum }_{n=0}^{M-1}{f}_n{e}^{-in\omega △T}\end{array}$$
因为对一个周期进行积分，所以$t$就变成一个周期。假设采集M个点。所以公式变成如下
$$F(m)=\sum _{n=0}^{M-1}{f}_n{e}^{-in\omega △T}=\sum _{n=0}^{M-1}{f}_n{e}^{-in\frac{2\pi }{△T}△T}\frac{m}{M}=\sum _{n=0}^{M-1}{f}_n{e}^{-i2\pi n\frac{m}{M}}$$

经过上述变换之后，最终就可以得到离散的傅里叶频谱图

如果我们想用经过离散傅里叶变换之后得到的数据经过反变换得到原始数据的话，可以用傅里叶反变换
$$f(x)=\frac{1}{M}\sum _{m=0}^{M-1}F(m)e^{j2\pi m\frac{x}{M}}$$

下面用python实现DFT和IDFT，在此之前还要写一个复数类，支持复数的加法、减法、乘法以即求模运算

复数类

'复数类'
class Complex:
    #初始化复数类，第一个参数为实部，第二个参数为虚部
    def __init__(self,r,i=0):
        self.Re=r
        self.Im=i
    #重载加法符
    def __add__(self, other):
        real=self.Re+other.Re
        imginary=self.Im+other.Im
        return Complex(real,imginary)
    #重载减法符
    def __sub__(self, other):
        real=self.Re-other.Re
        imginary=self.Im-other.Im
        return Complex(real,imginary)
    #重载乘法符
    def __mul__(self, other):
        real=self.Re*other.Re-self.Im*other.Im
        imginary=self.Re*other.Im+self.Im*other.Re
        return Complex(real,imginary)
    #取模
    def mo(self):
        return np.sqrt((self.Re**2+self.Im**2))
    #得到实部
    def getRe(self):
        return self.Re
    # 得到虚部
    def getIm(self):
        return self.Im
    def __repr__(self):
        return self.__str__()
    def __str__(self):
        if self.Re==0:
            return str(round(self.Im,2)) + "i"
        if self.Im==0:
            return str(round(self.Re,2))
        if self.Im>0:
            return str(round(self.Re,2))+"+"+str(round(self.Im,2))+"i"
        if self.Im < 0:
            return str(round(self.Re,2)) +str(round(self.Im,2)) + "i"

另外提一下，DFT和IDFT还可以写成矩阵的形式(参考《信号与系统 下》郑里君)

DFT和IDFT

def DFT(fs):
    res=np.empty(shape=len(fs),dtype=Complex)
    M=len(fs)
    for m in range(0,len(fs)):
        f_m=Complex(0)
        for n in range(0,M):
            f_m=f_m+fs[n]*Complex(np.cos(-2.*np.pi*n*m/M),np.sin(-2.*np.pi*n*m/M))

        res[m]=f_m
    return res
def IDFT(fm):
    M=len(fm)
    fn=np.empty(shape=M,dtype=Complex)
    for n in range(0,M):
        fn[n]=Complex(0)
        for m in range(0,M):
            fn[n]=fn[n]+fm[m]*Complex(np.cos(2*np.pi*n*m/M),np.sin(2*np.pi*n*m/M))
        fn[n]=fn[n]*Complex(1/M)
    return fn

运行结果

快速傅里叶变换(FTT)

FTT算法，中文名称为快速傅里叶变换，这个算法是DFT的加速版，DFT的时间复杂度是$\Theta (n^2)$,而FTT的时间复杂度为$\Theta (nlgn)$，这个速度的提升就相当于从冒泡排序升级到归并排序(这里用归并排序做比较是因为FTT的原理是分治，与归并很像)。

这里总结了《算法导论》中FTT的思想方法，在第三十章，可以自己去看。

在《算法导论》中，作者是通过多项式乘法来逐步引导出快速傅里叶变换，但我觉得还不如直接坦荡的说明其算法思想来的快，然后再做一些应用。

先将DFT的公式进行一下改造，使其看的更清楚一些
$$F(m)=\sum _{n=0}^{M-1}{f}_n{e}^{-i2\pi n\frac{m}{M}}$$
我们可以用
$${\omega }_M^m=e^{-i2\pi \frac{m}{M}}$$
所以，改造之后，DFT公式变为
$$F(m)=\sum _{n=0}^{M-1}{f}_n({\omega }_M^m{)}^n$$
现在假设我们有一个序列$f$为$[a_0,a_1,a_2,a_3,a_4,a_5,a_6,......,a_n]$,其中n是2的次幂。其中$[F_0,F_1,F_2,F_3,F_4,F_5,F_6,......F_n]$为对应的离散傅里叶变换序列

拿出单独拿出一个序列来看
$$F_k=\sum _{n=0}^{M-1}{f}_n({\omega }_M^k{)}^n=a_0({\omega }_M^k{)}^0+a_1({\omega }_M^k{)}^1+a_2({\omega }_M^k{)}^2+a_3({\omega }_M^k{)}^3+.+a_{M-1}({\omega }_M^k{)}^{M-1}$$
对上面的式子，如果我们写程序计算的话，需要一个M次循环，因为一共有M这样的数据要计算，所以一共要计算$M^2$次。而FFT就是要优化上面的式子，使其只计算$lgM$次。FTT的做法大概如下

先将奇数项和偶数项分别提出来
$$\begin{gathered} A_0=a_0({\omega }_M^k{)}^0+a_2({\omega }_M^k{)}^2+a_4({\omega }_M^k{)}^4+.+a_{M-2}({\omega }_M^k{)}^{M-2} \\ {A}_1=a_1({\omega }_M^k{)}^1+a_3({\omega }_M^k{)}^3+a_5({\omega }_M^k{)}^5+.+a_{M-1}({\omega }_{M-1}^k{)}^{M-1} \end{gathered}$$
再对$A_1（奇数项）$进行一下变换
$$A_1=({\omega }_M^k)(a_1({\omega }_M^k{)}^0+a_3({\omega }_M^k{)}^2+a_5({\omega }_M^k{)}^4+.+a_{M-1}({\omega }_M^k{)}^{M-2})$$
所以，最后原来的$F_k$就称下面
$$F_k=A_0+{\omega }_M^k{A}_1$$
由消去引理，可得
$$A_0=a_0({\omega }_{\frac{M}{2}}^k{)}^0+a_2({\omega }_{\frac{M}{2}}^k{)}^1+a_4({\omega }_{\frac{M}{2}}^k{)}^2+.+a_n({\omega }_{\frac{M}{2}}^k{)}^{\frac{M-2}{2}}$$

$$A_1=({\omega }_M^k)(a_1({\omega }_{\frac{M}{2}}^k{)}^0+a_3({\omega }_{\frac{M}{2}}^k{)}^1+a_5({\omega }_{\frac{M}{2}}^k{)}^2+.+a_{M-2}({\omega }_{\frac{M}{2}}^k{)}^{\frac{M-2}{2}})$$

仔细观察$A_0$和$A_1$，对于$A_0$来说，就相当于对剩下一半偶数部分的序列进行一次DFT，对于$A_1$来说就是对剩下一半奇数部分序列进行一次DFT的结果在乘以${\omega }_M^k$

$$DFT(f_m)=DFT(f_{偶数部分})+因子\ast DFT(f_{奇数部分})$$
整个过程就是把对n个数据的DFT转化成2个对$\frac{n}{2}$个数据的DFT

还有一个最重要的步骤，在《算法导论》里没有明确指出。

因为上面部分虽说计算速度加快，但始终只计算了序列中的一个$F_k$的DFT，但是仔细观察公式，可以得出下面结论
$$F_{K+\frac{M}{2}}=\sum _{n=0}^{M-1}{f}_n({\omega }_M^{K+\frac{M}{2}}{)}^n=a_0({\omega }_M^{K+\frac{M}{2}}{)}^0+a_1({\omega }_M^{K+\frac{M}{2}}{)}^1+a_2({\omega }_M^{K+\frac{M}{2}}{)}^2+a_3({\omega }_M^{K+\frac{M}{2}}{)}^3+.+a_{M-1}({\omega }_M^{K+\frac{M}{2}}{)}^{M-1}$$
其中
$$W_M^{\frac{M}{2}}=-1$$
所以
$$W_M^{K+\frac{M}{2}}=W_M^K{W}_M^{\frac{M}{2}}=-W_M^K$$
所以上面式子通过代换可以变成如下
$$F_{K+\frac{M}{2}}=\sum _{n=0}^{M-1}{f}_n({\omega }_M^{K+\frac{M}{2}}{)}^n=a_0-a_1({\omega }_M^K{)}^1+a_2({\omega }_M^K{)}^2-a_3({\omega }_M^K{)}^3+...-a_{M-1}({\omega }_M^K{)}^{M-1}$$
观察可以发现，偶数列的系数相比较$F_k$来说没有改变，而奇数列取负了。
$$F_{k+\frac{M}{2}}=A_0-{\omega }_M^k{A}_1$$
也就说，只要我们得到其中一个数据的傅里叶变换，通过迭代乘以单位复数根可以很快求出整个序列的离散傅里叶变换。

至于IFFT，即快速傅里叶逆变换与上述过程几乎完全一样，具体改动看代码，懒得叙述

python代码实现如下

def FFT(f):
    n=len(f)
    if n==1:
        return f
    w_0=Complex(1)
    f_0=f[0::2]
    f_1=f[1::2]
    y=np.empty(shape=n,dtype=Complex)
    y_0=FFT(f_0)
    y_1=FFT(f_1)
    mid=int(n/2)
    for k in range(0,mid):
        w= Complex(np.cos(-2.*k*np.pi / n), np.sin(-2.*k*np.pi / n))
        y[k]=y_0[k]+w*y_1[k]
        y[k+mid] =y_0[k] - w * y_1[k]
    return y

IFFT

def IFFT(f):
    n=len(f)
    if n==1:
        return f
    w_0=Complex(1)
    f_0=f[0::2]
    f_1=f[1::2]
    y=np.empty(shape=n,dtype=Complex)
    y_0=IFFT(f_0)
    y_1=IFFT(f_1)
    mid=int(n/2)
    for k in range(0,mid):
        w= Complex(np.cos(2.*k*np.pi / n), np.sin(2.*k*np.pi / n))
        y[k]=(y_0[k]+w*y_1[k])/n
        y[k+mid] =(y_0[k] - w * y_1[k])/n
    return y

运行结果

现在来考虑《算法导论》中，这个FFT用来加速多项式乘法的应用，我觉得《算法导论》中并没有把这个问题完全说清楚。

首先看看普通的多项式乘法是如何进行实现的

    def multiplication(self,polynomial): # 多项式的乘法
        res=Polynomial(polynomial.degree+self.degree)
        for x in range(0,len(self.__coefficients__)):
            for y in range(0,len(polynomial.__coefficients__)):
                res.__coefficients__[x+y]=res.__coefficients__[x+y]+self.__coefficients__[x]*polynomial.__coefficients__[y]
        return res

就是直接套两个循环，简单粗暴，效率低下，时间效率为$\Theta (n^2)$。

多项式乘法，实际上就是两个多项式的系数进行卷积运算。先来看看离散的卷积公式
$$x(n)\ast h(n)=\sum _{i=0}^{\infty }x(i)h(n-i)$$
再来举一个简单的例子，计算如下多项式乘法
$$C(x)=(x^3+2x^2+2x+1)(x^3+x^2+x+1)$$
现在我们令$x[n]=\{1,2,2,1\},h[n]=\{1,1,1,1\},$分别代表$x^3到x_0$的系数

现在我们来利用卷积，来计算上面多项式乘法的结果,其中$C[i]$代表$x^i$的系数

$C[0]={\sum }_{i=0}^{\infty }x(i)h(0-i)=1$,示意图如下

$C[1]={\sum }_{i=0}^{\infty }x(i)h(1-i)==1\times 1+2\times 1=3$,示意图如下

$C[2]={\sum }_{i=0}^{\infty }x(i)h(3-i)==1\times 1+2\times 1+2\times 1=5$,示意图如下

后面的就不继续画图演示了。但是这边又出现了一个问题，如果按照上述卷积公式来计算系数，只能只算到$x_4$就无法计算了，所以再进行卷积之前，我们要对$x[n]、h[n]$进行加倍次数界,用例子来说的话，本来$x[n]=\{1,2,2,1\}$，但是加倍次数界之后就变成,$x[n]=\{1,2,2,1,0,0,0,0\}$。

总言而止，上面的例子就是为了让清楚，实际上多项式的乘法对应的就是多项式系数之间的卷积运算

而根据卷积定理（想要了解的，可以去看《信号与系统》第三章）
$$x(n)\ast h(n)=DFT[x(n)]\times DFT[h(n)]$$
也就是，空间域里的卷积运算，对应着频率中的乘积运算。

所以用FFT加速多项式乘法的原理就是，把空间域中复杂的卷积给转换到频率去进行乘法运算，然后再通过逆变换，就可以得到在空间域中的卷积运算的结果了。

def multiplication(x,h):
    fft_x=np.fft.fft(x) #对一个方程的系数进行傅里叶变换
    fft_h=np.fft.fft(h)#对第二个方程的系数进行傅里叶变换
    fft_res=fft_x*fft_h #对两个FFT变换结果进行相乘 （numpy中已经实现了数组相乘）
    return np.fft.ifft(fft_res)

上面的算法，执行了2次FFT和一次IFFT，所以一共消耗时间$3nlog$