快速傅里叶变换

title: 定义和速度.
content: 用FFT计算DFT会得到与直接用DFT定义计算相同的结果;最重要的区别是FFT更快。(由于舍入误差的存在,许多FFT算法还会比直接运用定义求值精确很多,后面会讨论到这一点。)  令 "x",..., "x" 为复数。DFT由下式定义  直接按这个定义求值需要 O("N") 次运算:"X" 共有 "N" 个输出,每个输出需要 "N" 项求和。直接使用DFT运算需使用N个复数乘法(4N 个实数乘法)与N-1个复数加法(2N-2个实数加法),因此,计算使用DFT所有N点的值需要"N"复数乘法与"N"-N 个复数加法。FFT则是能够在 O("N" log "N") 次操作计算出相同结果的任何方法。更准确的说,所有已知的FFT算法都需要 O("N" log "N") 次运算(技术上O只标记上界),虽然还没有已知的证据证明更低的复杂度是不可能的。(Johnson and Frigo, 2007)  要说明FFT节省时间的方式,就得考虑复数相乘和相加的次数。直接计算DFT的值涉及到 "N" 次复数相乘和 "N"("N"−1) 次复数相加(可以通过削去琐碎运算(如乘以1)来节省 O("N") 次运算)。众所周知的基2库利-图基算法,"N" 为2的幂,可以只用 ("N"/2)log("N") 次复数乘法(再次忽略乘以1的简化)和 "N"log("N") 次加法就可以得到相同结果。在实际中,现代计算机通常的实际性能通常不受算术运算的速度和对复杂主体的分析主导(参见Frigo & Johnson, 2005),但是从 O("N") 到 O("N" log "N") 的总体改进仍然能够体现出来。
title: 一般的简化理论.
content: 假设一个M*N型矩阵S可分解成列向量以及行向量相乘:  formula_5  若formula_6有formula_7个相异的非平凡值(formula_8 where formula_9)  formula_10有formula_11个相异的非平凡值  则S共需要formula_12个乘法。  formula_13  Step 1:formula_14  Step 2:formula_15  简化理论的变型:  formula_16  formula_17也是一个M*N的矩阵。  若formula_17有formula_19个值不等于0,则formula_20的乘法量上限为formula_21。
title: 快速傅立叶变换乘法量的计算.
content: 假设formula_22,其中formula_23彼此互质  formula_24点DFT的乘法量为formula_25,则formula_26点DFT的乘法量为:  假设formula_28,P是一个质数。  若formula_29点的DFT需要的乘法量为formula_30  且formula_31当中(formula_32)  有formula_33个值不为formula_34及formula_35的倍数,  有formula_36个值为formula_34及formula_35的倍数,但不为formula_39的倍数,  则N点DFT的乘法量为:
title: 库利-图基算法.
content: 库利-图基算法是最常见的FFT算法。这一方法以分治法为策略递归地将长度为formula_41的离散傅里叶变换分解为长度为formula_42的formula_43个较短序列的离散傅里叶变换,以及与formula_44个旋转因子的复数乘法。  这种方法以及FFT的基本思路在1965年J. W. Cooley和J. W. Tukey合作发表"An algorithm for the machine calculation of complex Fourier series"之后开始为人所知。但后来发现,实际上这两位作者只是重新发明了高斯在1805年就已经提出的算法(此算法在历史上数次以各种形式被再次提出)。  库利-图基算法最有名的应用,是将序列长为"N "的DFT分割为两个长为"N/2 "的子序列的DFT,因此这一应用只适用于序列长度为2的幂的DFT计算,即基2-FFT。实际上,如同高斯和Cooley与Tukey都指出的那样,Cooley-Tukey算法也可以用于序列长度"N "为任意因数分解形式的DFT,即混合基FFT,而且还可以应用于其他诸如分裂基FFT等变种。尽管Cooley-Tukey算法的基本思路是采用递归的方法进行计算,大多数传统的算法实现都将显式的递归算法改写为非递归的形式。另外,因为Cooley-Tukey算法是将DFT分解为较小长度的多个DFT,因此它可以同任一种其他的DFT算法联合使用。
title: 设计思想.
content: 下面,我们用N次单位根formula_45来表示formula_46。  formula_45的性质:  为了简单起见,我们下面设待变换序列长度formula_55。根据上面单位根的对称性,求级数formula_56时,可以将求和区间分为两部分:  formula_57  formula_58和formula_59是两个分别关于序列formula_60奇数号和偶数号序列N/2点变换。由此式只能计算出formula_61的前N/2个点,对于后N/2个点,注意formula_58和formula_59都是周期为N/2的函数,由单位根的对称性,于是有以下变换公式:  这样,一个N点变换就分解成了两个N/2点变换。照这样可继续分解下去。这就是库利-图基快速傅里叶变换算法的基本原理。根据主定理不难分析出此时算法的时间复杂度为formula_66
title: 算法复杂度.
content: 由于按蝶形结网络计算n点变换要进行log "n"层计算,每层计算n个点的变换,故算法的时间复杂度为formula_69。
title: 其他算法.
content: 在Cooley-Tukey算法之外还有其他DFT的快速算法。对于长度formula_70且formula_42与formula_43互质的序列,可以采用基于中国剩余定理的互质因子算法将N长序列的DFT分解为两个子序列的DFT。与Cooley-Tukey算法不同的是,互质因子算法不需要旋转因子。  Rader-Brenner算法是类似于Cooley-Tukey算法,但是采用的旋转因子都是纯虚数,以增加加法运算和降低了数值稳定性为代价减少了乘法运算。这方法之后被split-radix variant of Cooley-Tukey所取代,与Rader-Brenner算法相比,有一样多的乘法量,却有较少的加法量,且不牺牲数值的准确性。  Bruun以及QFT算法是不断的把DFT分成许多较小的DFT运算。(Rader-Brenner以及QFT算法是为了2的指数所设计的算法,但依然可以适用在可分解的整数上。Bruun算法则可以运用在可被分成偶数个运算的数字)。尤其是Bruun算法,把FFT看成是formula_73,并把它分解成formula_74与formula_75的形式。  另一个从多项式观点的快速傅立叶变换法是Winograd算法。此算法把formula_73分解成cyclotomic多项式,而这些多项式的系数通常为1,0,-1。这样只需要很少的乘法量(如果有需要的话),所以winograd是可以得到最少乘法量的快速傅立叶算法,对于较小的数字,可以找出有效率的算方式。更精确地说,winograd算法让DFT可以用formula_77点的DFT来简化,但减少乘法量的同时,也增加了非常多的加法量。Winograd也可以利用剩余值定理来简化DFT。  Rader算法提出了利用点数为N(N为质数)的DFT进行长度为N-1的回旋折积来表示原本的DFT,如此就可利用折积用一对基本的FFT来计算DFT。另一个prime-size的FFT算法为chirp-Z算法。此法也是将DFT用折积来表示,此法与Rader算法相比,能运用在更一般的转换上,其转换的基础为Z转换(Rabiner et al., 1969)。
title: 实数或对称资料专用的算法.
content: 在许多的运用当中,要进行DFT的资料是纯实数,如此一来经过DFT的结果会满足对称性:  而有一些算法是专门为这种情形设计的(e.g. Sorensen, 1987)。另一些则是利用旧有的算法(e.g. Cooley-Tukey),删去一些不必要的演算步骤,如此省下了记忆体的使用,也省下了时间。另一方面,也可以把一个偶数长度且纯实数的DFT,用长度为原本一半的复数型态DFT来表示(实数项为原本纯实数资料的偶数项,虚数项则为奇数项)。  在Matlab上用一次N点FFT计算两个N点实数信号x,y的FFT:  一度人们认为,用离散哈特利转换(Discrete Hartley Transform)来处理纯实数的DFT会更有效率,但接着人们发现,对于同样点数的纯实数DFT,经过设计的FFT,可以比DHT省下更多的运算。Bruun算法是第一个试着从减少实数输入的DFT运算量的算法,但此法并没有成为人们普遍使用的方法。  对于实数输入,且输入为偶对称或奇对称的情形,可以更进一步的省下时间以及记忆体,此时DFT可以用离散余弦转换或离散正弦转换来代替(Discrete cosine/sine transforms)。由于DCT/DST也可以设计出FFT的算法,故在此种情形下,此方法取代了对DFT设计的FFT算法。  DFT可以应用在频谱分析以及做折积的运算,而在此处,不同应用可以用不同的算法来取代,列表如下:  用来做频谱分析的情况下,DFT可用下列的算法代替:  用来做折积的情况下,DFT可用下列的算法代替:
title: 复杂度以及运算量的极限.
content: 长久以来,人们对于求出快速傅立叶变换的复杂度下限以及需要多少的运算量感到很有兴趣,而实际上也还有许多问题需要解决。即使是用较简单的情形,即formula_77点的DFT,也还没能够严谨的证明出FFT至少需要formula_81(不比formula_82小)的运算量,目前也没有发现复杂度更低的算法。通常数学运算量的多寡会是运算效率好坏最主要的因素,但在现实中,有许多因素也会有很大的影响,如快取内存以及CPU均有很大的影响。  在1978年,Winograd率先导出一个较严谨的FFT所需乘法量的下限:formula_83。当formula_84时,DFT只需要formula_85次无理实数的乘法即可以计算出来。更详尽,且也能趋近此下限的算法也一一被提出(Heideman & Burrus, 1986; Duhamel, 1990)。很可惜的是,这些算法,都需要很大量的加法计算,目前的硬件无法克服这个问题。  对于所需加法量的数目,虽然我们可以在某些受限制的假设下,推得其下限,但目前并没有一个精确的下限被推导出来。1973年,Morgenstern在乘法常数趋近巨大的情形下(对大部分的FFT算法为真,但不是全部)推导出加法量的下限:formula_86。Pan(1986)在假设FFT算法的不同步的情形有其极限下证明出加法量的下限formula_87,但一般来说,此假设相当的不明确。长度为formula_84的情形下,在某些假设下,Papadimitriou(1979)提出使用Cooley-Tukey算法所需的复数加法量formula_89是最少的。到目前为止,在长度为formula_84情况,还没有任何FFT的算法可以让复数的加法量比formula_89还少。  还有一个问题是如何把乘法量与加法量的总和最小化,有时候称作"演算复杂度"(在这里考虑的是实际的运算量,而不是渐近复杂度)。同样的,没有一个严谨下限被证明出来。从1968年开始,formula_84点DFT而言,split-radix FFT算法需要最少的运算量,在formula_93的情形下,其需要formula_94个乘法运算以及加法运算。最近有人导出更低的运算量:formula_95。(Johnson and Frigo, 2007; Lundy and Van Buskirk, 2007)  大多数尝试要降低或者证明FFT复杂度下限的人都把焦点放在复数资料输入的情况,因其为最简单的情形。但是,复数资料输入的FFT算法,与实数资料输入的FFT算法,离散余弦转换(DCT),离散哈特列转换(DHT),以及其他的算法,均有很大的关连性。故任何一个算法,在复杂度上有任何的改善的话,其他的算法复杂度也会马上获得改善(Duhamel & Vetterli, 1990)。
title: 快速算法查表.
content: 当输入信号长度为N时:  N = 1~60  N < 1000  N > 1000

Summary: 快速傅里叶变换(英语:Fast Fourier Transform, FFT),是快速计算序列的离散傅里叶变换(DFT)或其逆变换的方法。傅里叶分析将信号从原始域(通常是时间或空间)转换到频域的表示或者逆过来转换。FFT会通过把DFT矩阵分解为稀疏(大多为零)因子之积来快速计算此类变换。 因此,它能够将计算DFT的复杂度从只用DFT定义计算需要的 formula_1,降低到 formula_2,其中 formula_3 为数据大小。

Fast Fourier transform: A fast Fourier transform (FFT) is an algorithm that computes the discrete Fourier transform (DFT) of a sequence, or its inverse (IDFT). Fourier analysis converts a signal from its original domain (often time or space) to a representation in the frequency domain and vice versa. The DFT is obtained by decomposing a sequence of values into components of different frequencies. This operation is useful in many fields, but computing it directly from the definition is often too slow to be practical. An FFT rapidly computes such transformations by factorizing the DFT matrix into a product of sparse (mostly zero) factors. As a result, it manages to reduce the complexity of computing the DFT from formula_1, which arises if one simply applies the definition of DFT, to formula_2, where formula_3 is the data size. The difference in speed can be enormous, especially for long data sets where "N" may be in the thousands or millions. In the presence of round-off error, many FFT algorithms are much more accurate than evaluating the DFT definition directly or indirectly. There are many different FFT algorithms based on a wide range of published theories, from simple complex-number arithmetic to group theory and number theory.