库利-图基快速傅里叶变换算法

**庫利－圖基快速傅立葉變換演算法**（英語：Cooley–Tukey FFT algorithm）是最常見的快速傅里葉變換演算法。這一方法以分治法為策略遞迴地將長度為 _N_ = _N_1_N_2 的 DFT 分解為長度分別為 _N_1 和 _N_2 的兩個較短序列的 DFT，以及與旋轉因子的複數乘法。這種方法以及 FFT 的基本思路在 1965 年詹姆斯・庫利和約翰・圖基合作發表《_An algorithm for the machine calculation of complex Fourier series_》之後開始為人所知。但後來發現，實際上這兩位作者只是重新發明了高斯在 1805 年就已經提出的演算法（此演算法在歷史上數次以各種形式被再次提出）。

庫利－圖基演算法最有名的應用，是將序列長為 N 的 DFT 分割為兩個長為 N/2 的子序列的 DFT，因此這一應用只適用於序列長度為 2 的冪的 DFT 計算，即基 2-FFT。實際上，如同高斯和庫利與圖基都指出的那樣，庫利－圖基演算法也可以用於序列長度 N 為任意因數分解形式的 DFT，即混合基 FFT，而且還可以應用於其他諸如分裂基 FFT 等變種。儘管庫利－圖基演算法的基本思路是採用遞迴的方法進行計算，大多數傳統的演算法實現都將顯示的遞迴演算法改寫為非遞迴的形式。另外，因為庫利－圖基演算法是將 DFT 分解為較小長度的多個 DFT，因此它可以同任一種其他的 DFT 演算法聯合使用。

## 複雜度

離散傅立葉變換的複雜度為 ${\mathcal {O}}(n^{2})$ （可參考大 O 符號）

快速傅立葉變換的複雜度為 ${\mathcal {O}}(N\log N)$ ，分析可見下方架構圖部分，級數為 $\log N$ 而每一級的複雜度為 $N$ ，故複雜度為 ${\mathcal {O}}(N\log N)$

## 時域 / 頻域抽取法

在 FFT 演算法中，針對輸入做不同方式的分組會造成輸出順序上的不同。如果我們使用時域抽取（Decimation-in-time），那麼輸入的順序將會是位元反轉排列（bit-reversed order），輸出將會依序排列。但若我們採取的是頻域抽取（Decimation-in-frequency），那麼輸出與輸出順序的情況將會完全相反，變為依序排列的輸入與位元反轉排列的輸出。

### 時域抽取法

我們可以將 DFT 公式中的項目在時域上重新分組，這樣就叫做時域抽取（Decimation-in-time），在這裡 $e^{-j(2\pi {\frac {nk}{N}})}$ 將會被代換為旋轉因子（twiddle factor） $W_{N}^{nk}$ 。

$$
X[k]=\sum _{n=0}^{N-1}x[n]e^{-j(2\pi {\frac {nk}{N}})}\qquad k=0,1,\ldots ,N-1
$$

$$
=\sum _{n\ even}x[n]W_{N}^{nk}+\sum _{n\ odd}x[n]W_{N}^{nk}
$$

$$
=\sum _{r=0}^{(N/2)-1}x[2r]W_{N}^{2rk}+\sum _{r=0}^{(N/2)-1}x[2r+1]W_{N}^{(2r+1)k}
$$

$$
=\sum _{r=0}^{(N/2)-1}x[2r]W_{N}^{2rk}+W_{N}^{k}\sum _{r=0}^{(N/2)-1}x[2r+1]W_{N}^{2rk}
$$

$$
=\sum _{r=0}^{(N/2)-1}x[2r]W_{N/2}^{rk}+W_{N}^{k}\sum _{r=0}^{(N/2)-1}x[2r+1]W_{N/2}^{rk}
$$

$$
=G[k]+W_{N}^{k}H[k]
$$

在這邊我們要注意的是，我們所替換的 G [k] 與 H [k] 具有週期性：

 * ${\begin{cases}G[k+{\frac {N}{2}}]=G[k]\\H[k+{\frac {N}{2}}]=H[k]\end{cases}}$

還注意到係數具有對稱性：

 * $W_{N}^{k+N/2}=-W_{N}^{k}$

上述的推導可以劃成下面的圖：

劃紅框處所示的 ${\frac {N}{2}}$ 點 DFT 架構如下圖所示：

劃紅框處所示的 ${\frac {N}{4}}$ 點 DFT 架構如下圖所示：

下圖是一個 8 點 DIT FFT 的完整架構圖。

### 頻域抽取法

我們可以將 DFT 公式中的項目在頻域上重新分組，這樣就叫做頻域抽取（Decimation-in-frequency）。

首先先觀察在頻域上偶數項的部分：

$$
X[2r]=\sum _{n=0}^{N-1}x[n]W_{N}^{n(2r)}\ r=0,1,\cdots ,{\frac {N}{2}}-1
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}x[n]W_{N}^{2nr}+\sum _{n={\frac {N}{2}}}^{N-1}x[n]W_{N}^{2nr}
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}x[n]W_{N}^{2nr}+\sum _{n=0}^{{\frac {N}{2}}-1}x[n+{\frac {N}{2}}]W_{N}^{2r[n+{\frac {N}{2}}]}
$$

$$
{\color {Gray}\because W_{N}^{2r[n+{\frac {N}{2}}]}=W_{N}^{2rn}W_{N}^{rN}=W_{N}^{2rn}}
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}x[n]W_{N}^{2rn}+\sum _{n=0}^{{\frac {N}{2}}-1}x[n+{\frac {N}{2}}]W_{N}^{2rn}
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}(x[n]+x[n+{\frac {N}{2}}])W_{\frac {N}{2}}^{rn}
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}g[n]W_{\frac {N}{2}}^{rn}
$$

再觀察在頻域上奇數項的部分：

$$
X[2r+1]=\sum _{n=0}^{N-1}x[n]W_{N}^{n(2r+1)}\ r=0,1,\cdots ,{\frac {N}{2}}-1
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}x[n]W_{N}^{n(2r+1)}+\sum _{n={\frac {N}{2}}}^{N-1}x[n]W_{N}^{n(2r+1)}
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}x[n]W_{N}^{n(2r+1)}+\sum _{n=0}^{{\frac {N}{2}}-1}x[n+{\frac {N}{2}}]W_{N}^{(2r+1)[n+{\frac {N}{2}}]}
$$

$$
{\color {Gray}\because W_{N}^{(2r+1)[n+{\frac {N}{2}}]}=W_{N}^{(2r+1)n}W_{N}^{(2r+1){\frac {N}{2}}}=-W_{N}^{(2r+1)n}}
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}x[n]W_{N}^{(2r+1)n}-\sum _{n=0}^{{\frac {N}{2}}-1}x[n+{\frac {N}{2}}]W_{N}^{(2r+1)n}
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}(x[n]-x[n+{\frac {N}{2}}])W_{N}^{n(2r+1)}
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}(x[n]-x[n+{\frac {N}{2}}])W_{N}^{n}W_{\frac {N}{2}}^{nr}
$$

$$
=\sum _{n=0}^{{\frac {N}{2}}-1}(h[n]W_{N}^{n})W_{\frac {N}{2}}^{rn}
$$

上述的推導可以畫成下面的圖：

更進一步的拆解 ${\frac {N}{2}}$ -point DFT 的架構

下圖為 8 點 FFT 下 ${\frac {N}{4}}$ -point DFT 的架構

總結上述架構，完整的 8 點 DIF FFT 架構圖為

## 單一基底

利用庫利－圖基演算法進行離散傅立葉拆解時，能夠依需求而以 2, 4, 8… 等 2 的冪次方為單位進行拆解，不同的拆解方法會產生不同層數快速傅里葉變換的架構，基底越大則層數越少，複數乘法器也越少，但是每級的蝴蝶形架構則會越複雜，因此常見的架構為 2 基底、4 基底與 8 基底這三種設計。

### 2 基底

2 基底 - 快速傅立葉演算法（Radix-2 FFT）是最廣為人知的一種庫利－圖基快速傅立葉演算法分支。此方法不斷地將 N 點的 FFT 拆解成兩個 'N/2' 點的 FFT，利用旋轉因子 $W^{nk},W^{\frac {N}{2}}$ 的對稱性藉此來降低 DFT 的計算複雜度，達到加速的功效。

而其實前述有關時域抽取或是頻域抽取的方法介紹，即為 2 基底的快速傅立葉轉換法。以下展示其他種 2 基底快速傅立葉演算法的連線方法，此種不規則的連線方法可以讓輸出與輸入都為循序排列，但是連線的複雜度卻大大的增加。

### 4 基底

4 基底快速傅立葉變換演算法則是承接 2 基底的概念，在此裡用**時域**抽取的技巧，將原本的 DFT 公式拆解為四個一組的形式：

$$
X[k]=\sum _{n=0}^{N-1}x[n]e^{-j(2\pi {\frac {nk}{N}})}\qquad k=0,1,\ldots ,N-1
$$

$$
=\sum _{n=0}^{{\frac {N}{4}}-1}x[4n+0]W_{N}^{(4n+0)k}+\sum _{n=0}^{{\frac {N}{4}}-1}x[4n+1]W_{N}^{(4n+1)k}
$$

$$
+\sum _{n=0}^{{\frac {N}{4}}-1}x[4n+2]W_{N}^{(4n+2)k}+\sum _{n=0}^{{\frac {N}{4}}-1}x[4n+3]W_{N}^{(4n+3)k}
$$

$$
=W_{N}^{0}\sum _{n=0}^{{\frac {N}{4}}-1}x[4n+0]W_{\frac {N}{4}}^{nk}+W_{N}^{1k}\sum _{n=0}^{{\frac {N}{4}}-1}x[4n+1]W_{\frac {N}{4}}^{nk}
$$

$$
+W_{N}^{2k}\sum _{n=0}^{{\frac {N}{4}}-1}x[4n+2]W_{\frac {N}{4}}^{nk}+W_{N}^{3k}\sum _{n=0}^{{\frac {N}{4}}-1}x[4n+3]W_{\frac {N}{4}}^{nk}
$$

$$
W_{N}^{0}F_{0}(k)+W_{N}^{k}F_{1}(k)+W_{N}^{2k}F_{2}(k)+W_{N}^{3k}F_{3}(k)
$$

在這裡再利用 $W^{nk+{\frac {N}{4}}}=-W^{nk+{\frac {3N}{4}}}=-jW^{nk}$ 的特性來進行與 2 基數 FFT 類似的化減方法，以降低演算法複雜度。

### 8 基底

在庫利－圖基演算法裡，使用的基底（radix）越大，複數的乘法與記憶體的存取就越少，所帶來的好處不言而喻。但是隨之而來的就是實數的乘法與實數的加法也會增加，尤其計算單元的設計也就越複雜，對於可應用 FFT 之點數限制也就越嚴格。在表中我們可以看到在不同基底下所需的計算成本。

在 DFT 的公式中，我們重新定義 x=[x (0),x (1),…,x (N-1)]T, X=[X(0),X(1),…,X(N-1)]T，則 DFT 可重寫為 X=FN‧x。FN 是一個 N×N 的 DFT 矩陣，其元素定義為 [FN]ij=WNij(i,j ∈ [0,N-1])，當 N=8 時，我們可以得到以下的 F8 矩陣並且進一步將其拆解。

在拆解成三個矩陣相乘之後，我們可以將複數運算的數量從 56 個降至 24 個複數的加法。底下是 8 基底的的 SFG。要注意的是所有的輸出與輸入都是複數的形式，而輸出與輸入的排序也並非規律排列，此種排列方式是為了要達到接線的最佳化。

## 混合基底

### 2/8 基底

在 2/8 基底的演算法中，我們可以看到我們對於偶數項的輸出會使用 2 基底的分解法，對於奇數項的輸出採用 8 基底的分解法。這個做法充分利用了 2 基底與 4 基底擁有最少乘法數與加法數的特性。當使用了 2 基底的分解法後，偶數項的輸出如下所示。

$$
C_{2k}=\sum _{n=0}^{{\frac {N}{2}}-1}(x_{2n}+x_{{\frac {N}{2}}+n})W^{2nk}
$$

奇數項的輸出則交由 8 基底分解來處理，如下四式所述。

$$
C_{8k+1}=\sum _{n=0}^{{\frac {N}{8}}-1}{\begin{Bmatrix}[(x_{n}-x_{n+{\frac {N}{2}}})-j(x_{n+{\frac {N}{4}}}-x_{n+{\frac {3N}{4}}})]+W^{\frac {N}{8}}[(x_{n+{\frac {N}{8}}}-x_{n+{\frac {5N}{8}}})-j(x_{n+{\frac {3N}{8}}}-x_{n+{\frac {7N}{8}}})]\end{Bmatrix}}W^{8nk}W^{n}
$$

$$
C_{8k+5}=\sum _{n=0}^{{\frac {N}{8}}-1}{\begin{Bmatrix}[(x_{n}-x_{n+{\frac {N}{2}}})-j(x_{n+{\frac {N}{4}}}-x_{n+{\frac {3N}{4}}})]-W^{\frac {N}{8}}[(x_{n+{\frac {N}{8}}}-x_{n+{\frac {5N}{8}}})-j(x_{n+{\frac {3N}{8}}}-x_{n+{\frac {7N}{8}}})]\end{Bmatrix}}W^{8nk}W^{5n}
$$

$$
C_{8k+3}=\sum _{n=0}^{{\frac {N}{8}}-1}{\begin{Bmatrix}[(x_{n}-x_{n+{\frac {N}{2}}})+j(x_{n+{\frac {N}{4}}}-x_{n+{\frac {3N}{4}}})]+W^{\frac {3N}{8}}[(x_{n+{\frac {N}{8}}}-x_{n+{\frac {5N}{8}}})+j(x_{n+{\frac {3N}{8}}}-x_{n+{\frac {7N}{8}}})]\end{Bmatrix}}W^{8nk}W^{3n}
$$

$$
C_{8k+7}=\sum _{n=0}^{{\frac {N}{8}}-1}{\begin{Bmatrix}[(x_{n}-x_{n+{\frac {N}{2}}})+j(x_{n+{\frac {N}{4}}}-x_{n+{\frac {3N}{4}}})]-W^{\frac {3N}{8}}[(x_{n+{\frac {N}{8}}}-x_{n+{\frac {5N}{8}}})+j(x_{n+{\frac {3N}{8}}}-x_{n+{\frac {7N}{8}}})]\end{Bmatrix}}W^{8nk}W^{7n}
$$

以上式子就是 2/8 基底的 FFT 快速演算法。在架構圖上可化為 L 型的蝴蝶運算架構，如下圖所示。

而下圖表示的是一個 64 點的 FFT 使用 2/8 基底的架構圖。雖然 2/8 基底的演算法縮減了 $W^{\frac {N}{8}},W^{\frac {3N}{8}}$ 的乘法量，但是這種演算法最大的缺點是跟其他固定基底或是混合基底比較起來，他的架構較為不規則。所以在硬體上比 4 基底或是 2 基底更難實現。

### 2/4/8 基底

為了改進 Radix 2/8 在架構上的不規則性，我們在這裡做了一些修改，如下圖 4.。此修改可讓架構更加規則，且所使用的加法器與乘法器數量更加減少，如下表所示。

在這裡我們最小的運算單元稱為 PE（Process Element）,PE 內部包含了 2/8 基底、2/4 基底、2 基底的運算，簡化過的訊號處理流程與蝴蝶型架構圖可見下圖

### 22 基底

基底的選擇越大會造成蝴蝶形架構更加複雜，控制電路也會複雜化。因此 Shousheng He 和 Mats Torkelson 在 1996 提出了一個 2^2 基底的 FFT 演算法，利用旋轉因子的特性： $W_{\frac {N}{4}}=-j$ 。而–j 的乘法基本上只需要將被乘數的實部虛部對調，然後將虛部加上負號即可，這樣的負數乘法被定義為 ' 簡單乘法 '，因此可以用很簡單的硬體架構來實現。利用上面的特性，22 基底 FFT 能用串接的方式將旋轉因子以 4 為單位對 DFT 公式進行拆解，將蝴蝶形架構層數降到 log4N，大幅減少複數乘法器的用量，而同時卻維持了 2 基底蝴蝶形架構的簡單性，在效能上獲得改進。22 基底 DIF FFT 演算法的拆解方法如下列公式所述：

N 點 DFT 公式： $X(k)=\sum _{n=0}^{N-1}x(n)W_{N}^{nk},0\leqq k<N$

利用線性對映將 n 與 k 對映到三個維度上面

$$
{\begin{cases}n=<{\frac {N}{2}}n_{1}+{\frac {N}{4}}n_{2}+n_{3}>_{N}\\k=<k_{1}+2k_{2}+4k_{3}>_{N}\end{cases}}
$$

然後套用 Common Factor Algorithm（CFA）

$$
X(k_{1}+2k_{2}+4k_{3})=\sum _{n_{3}=0}^{{\frac {N}{4}}-1}\sum _{n_{2}=0}^{1}\sum _{n_{1}=0}^{1}x({\frac {N}{2}}n_{1}+{\frac {N}{4}}n_{2}+n_{3})W_{N}^{({\frac {N}{2}}n_{1}+{\frac {N}{4}}n_{2}+n_{3})(k_{1}+2k_{2}+4k_{3})}
$$

$$
=\sum _{n_{3}=0}^{{\frac {N}{4}}-1}\sum _{n_{2}=0}^{1}{\begin{Bmatrix}B_{\frac {N}{2}}^{k_{1}}W_{N}^{({\frac {N}{4}}n_{2}+n_{3})k_{1}}\end{Bmatrix}}W_{N}^{({\frac {N}{4}}n_{2}+n_{3})(2k_{2}+4k_{3})}
$$

而蝴蝶型架構會變成以下形式

$$
B_{\frac {N}{2}}^{k_{1}}=x({\frac {N}{4}}n_{2}+n_{3})+(-1)^{k_{1}}x({\frac {N}{4}}n_{2}+n_{3}+{\frac {N}{2}})
$$

利用旋轉因子 $W_{\frac {N}{4}}=-j$ 的特性，可以觀察出

$$
W_{N}^{({\frac {N}{4}}n_{2}+n_{3})(k_{1}+2k_{2}+4k_{3})}=W_{N}^{Nn_{2}n_{3}}W_{N}^{{\frac {N}{4}}n_{2}(k_{1}+2k_{2})}W_{N}^{n_{3}(k_{1}+2k_{2})}W_{N}^{4n_{3}k_{3}}
$$

$$
=(-j)^{n_{2}(k_{1}+2k_{2})}W_{N}^{n_{3}(k_{1}+2k_{2})}W_{N}^{4n_{3}k_{3}}
$$

再將此公式帶入原式中可以得到

$$
X(k_{1}+2k_{2}+4k_{3})=\sum _{n_{3}=0}^{{\frac {N}{4}}-1}[H(k_{1},k_{2},n_{3})W_{N}^{n_{3}(k_{1}+2k_{2})}]W_{N}^{4n_{3}k_{3}}
$$

$$
H(k_{1},k_{2},n_{3})={\begin{matrix}\underbrace {{\begin{matrix}BF2I\\\overbrace {[x(n_{3})+(-1)^{k_{1}}(n_{3}+{\frac {N}{2}})]} \end{matrix}}{\begin{matrix}\\\\+(-j)^{k_{1}+2k_{2}}\end{matrix}}{\begin{matrix}BF2I\\\overbrace {[x(n_{3}+{\frac {N}{4}})+(-1)^{k_{1}}(n_{3}+{\frac {3N}{4}})]} \end{matrix}}} \\BF2II\end{matrix}}
$$

如上述公式所示，原本的 DFT 公式會被拆解成多個 $H(k_{1},k_{2},n_{3})$ ，而 $H(k_{1},k_{2},n_{3})$ 又可分為 BF2I 與 BF2II 兩個階層，分別會對應到之後所介紹的兩種硬體架構。

一個 16 點的 DFT 公式經過一次上面所述之拆解之後可得下面的 FFT 架構

可以看出上圖的架構保留了 2 基底的簡單架構，然而複數乘法卻降到每兩級才出現一次，也就是 $log_{4}N$ 次。而 BF2I 以及 BF2II 所對應的硬體架構下圖：

其中 BF2II 硬體單元中左下角的交叉電路就是用來處理 - j 的乘法。

一個 256 點的 FFT 架構可以由下面的硬體來實現：

其中圖下方的為一 7 位元寬的計數器，而此架構的控制電路相當單純，只要將計數器的各個位元分別接上 BF2I 與 BF2II 單元即可。

下表將 2 基底、4 基底與 22 基底演算法做一比較，可以發現 22 基底演算法所需要的乘法氣數量為 2 基底的一半，加法棄用量是 4 基底的一半，並維持一樣的記憶體用量和控制電路的簡單性。

### 23 基底

如上所述，22 演算法是將旋轉因子 $W^{\frac {N}{4}}=-j$ 視為一個簡單乘法，進而由公式以及硬體上的化簡獲得硬體需求上的改進。而藉由相同的概念，Shousheng He 和 Mats Torkelson 進一步將旋轉因子 $W^{\frac {N}{8}}={\frac {\sqrt {2}}{2}}(1-j)$ 的乘法化簡成一個簡單乘法，而化簡的方法將會在下面講解。

####  ${\frac {\sqrt {2}}{2}}$ 乘法化簡

在 2 基數 FFT 演算法中的基本概念是利用旋轉因子 $W^{nk},W^{\frac {N}{2}}$ 的對稱性，4 基數演算法則是利用 $W^{nk+{\frac {N}{4}}}=-W^{nk+{\frac {3N}{4}}}=-jW^{nk}$ 的特性。但是我們會發現在這些旋轉因子的對稱特性中─

$$
W^{\frac {N}{8}}=-W^{\frac {5N}{8}}={\frac {\sqrt {2}}{2}}(1-j),W^{\frac {3N}{8}}=-W^{\frac {7N}{8}}=-{\frac {\sqrt {2}}{2}}(1+j)
$$

─並沒有被利用到。主要是因為 ${\frac {\sqrt {2}}{2}}(1-j)$ 的乘法運算會讓整個 FFT 變得複雜，但是如果藉由近似的方法，我們便可以將此一運算化簡為 12 個加法。

$$
{\frac {\sqrt {2}}{2}}=0.70710678=2^{-1}+2^{-3}+2^{-4}+2^{-6}+2^{-8}+2^{-9}
$$

我們可以從上式注意到， ${\frac {\sqrt {2}}{2}}$ 可以被近似為五個加法的結果，所以 ${\frac {\sqrt {2}}{2}}(1+j)$ 就可以被簡化為只有六個加法，再算入實部與虛部的計算，總共只需 12 個加法器就可以運用到此一簡化特性。

經由與 22 基底類似的推導，並用串接的方式將旋轉因子以 8 為單位對 DFT 公式進行拆解，23 基底 FFT 演算法進一步將複數乘法器的用量縮減到 log8N，並同時維持硬體架構的簡單性。
　　
推導的方法與 22 基底相當類似。藉由這樣的方法，23 基底能將乘法器的用量縮減到 2 基底的 1/3，並同時維持一樣的記憶體用量以及控制電路的簡單性。

## 一般性分解

除了常在應用中見到與 $2$ 相關基底的拆解法，對於更加一般性的 $N=N_{1}N_{2}$ 點離散傅立葉變換問題，
我們也有辦法在理論上進行拆解，將問題化為數個 $N_{1}$ 與 $N_{2}$ 點離散傅立葉變換問題，並可對計算量進行估計。

而特別的是，透過互質在數論上的特性，對於 $N_{1}$ 與 $N_{2}$ 互質的情況，可以進一步節省一些運算，
在下面會特別分開討論。

###  $N_{1}N_{2}$ 非互質

為了避免之後的符號混淆，我們先將 $N_{1}N_{2}$ 置換為 $P_{1}P_{2}$ ，也就是說接著要將 $N=P_{1}P_{2}$ 點離散傅立葉變換，
想辦法拆解為數個 $P_{1}$ 與 $P_{2}$ 點離散傅立葉變換問題。

接著定義要拆分的問題，要拆分的問題為 $N$ 點離散傅立葉變換，將 $f[n]$ 轉換至 $F[m]$ ：

　
: $F[m]=\sum _{n=0}^{N-1}e^{-i{\frac {2\pi }{N}}mn}f[n]\qquad m,n=0,1,\ldots ,N-1$

直觀地說，這個 $N$ 點離散傅立葉變換，將由 $n$ 作為參數的函式 $f[n]$ ，轉換成由 $m$ 作為參數的函式 $F[m]$ ，
並且 $m,n$ 都有 $N$ 個可能的數值。

待定義好要拆分的問題，便可以開始討論如何進行拆分，基本概念是將有 $N$ 個可能的數值的 $m,n$ ，
分別化為個使用兩個參數進行描述的函式 $m=[m_{1},m_{2}],n=[n_{1},n_{2}]$ ，並藉此將原問題化為二維度離散傅立葉變換，
便可使用數個較小的離散傅立葉變換問題描述整個過程。

而一種很直覺的轉換方式，便是透過將 $m,n$ 分別除以 $P_{2},P_{1}$ ，
以商數與餘數來做為參數描述 $m,n$ 的值：

　
: $n=n_{1}P_{1}+n_{2}\qquad m=m_{1}+m_{2}P_{2}$

　
: $n_{1},m_{1}=0,1,\ldots ,P_{2}-1\qquad n_{2},m_{2}=0,1,\ldots ,P_{1}-1$

其中 $n_{1}$ 作為將 $n$ 除以 $P_{1}$ 的商數，與作為 $m$ 除以 $P_{2}$ 的餘數的 $m_{1}$ 相同，
具有 $P_{2}$ 個可能數值，同理 $n_{2}$ 與 $m_{2}$ 有 $P_{1}$ 個可能數值。

將上述的參數代換及 $N=P_{1}P_{2}$ 帶入原式，可以得到：

　
: $F[m_{1}+m_{2}P_{2}]=\sum _{n_{1}=0}^{P_{2}-1}\sum _{n_{2}=0}^{P_{1}-1}e^{-i{\frac {2\pi }{P_{1}P_{2}}}(m_{1}+m_{2}P_{2})(n_{1}P_{1}+n_{2})}f[n_{1}P_{1}+n_{2}]$

將右式的指數部分乘開並分項化簡可以得到：

　
: $F[m_{1}+m_{2}P_{2}]=\sum _{n_{1}=0}^{P_{2}-1}\sum _{n_{2}=0}^{P_{1}-1}f[n_{1}P_{1}+n_{2}]e^{-i{\frac {2\pi }{P_{2}}}m_{1}n_{1}}e^{-i{\frac {2\pi }{P_{1}}}m_{2}n_{2}}e^{-i{\frac {2\pi }{P_{1}P_{2}}}m_{1}n_{2}}e^{-i2\pi m_{2}n_{1}}$

最後透過 $e^{-i2\pi }=1$ 與 $P_{1}P_{2}=N$ ，可以得到：

　
: $F[m_{1}+m_{2}P_{2}]=\sum _{n_{2}=0}^{P_{1}-1}\sum _{n_{1}=0}^{P_{2}-1}f[n_{1}P_{1}+n_{2}]e^{-i{\frac {2\pi }{P_{2}}}m_{1}n_{1}}e^{-i{\frac {2\pi }{N}}m_{1}n_{2}}e^{-i{\frac {2\pi }{P_{1}}}m_{2}n_{2}}$

觀察上式，並加上括號輔助釐清運算順序我們可以得到：

　
: $F[m_{1}+m_{2}P_{2}]=\sum _{n_{2}=0}^{P_{1}-1}\left\{\left\{\sum _{n_{1}=0}^{P_{2}-1}f[n_{1}P_{1}+n_{2}]e^{-i{\frac {2\pi }{P_{2}}}m_{1}n_{1}}\right\}e^{-i{\frac {2\pi }{N}}m_{1}n_{2}}\right\}e^{-i{\frac {2\pi }{P_{1}}}m_{2}n_{2}}$

最內層的運算可以視為將雙參數函式 $f[n_{1},n_{2}]$ 中的一個參數 $n_{1}$ ，透過離散傅立葉變換取代為由 $m_{1}$ 描述，
得到一個新函式 $G_{1}[m_{1},n_{2}]$ (這步因為對每個不同 $n_{2}$ ，都需要做一次將 $n_{1}$ 取代為 $m_{1}$ 的轉換，
共需要 $P_{1}$ 個 $P_{2}$ 點離散傅立葉變換)：

　
: $F[m_{1}+m_{2}P_{2}]=\sum _{n_{2}=0}^{P_{1}-1}\left\{G_{1}[m_{1},n_{2}]e^{-i{\frac {2\pi }{N}}m_{1}n_{2}}\right\}e^{-i{\frac {2\pi }{P_{1}}}m_{2}n_{2}}$

下一層的運算則可視為單純的乘法，將 $G_{1}[m_{1},n_{2}]$ 與 $e^{-i{\frac {2\pi }{N}}m_{1}n_{2}}$ 相乘，得到 $G_{2}[m_{1},n_{2}]$ (這步需要的計算量視 ${\frac {m_{1}n_{2}}{N}}$ 的特殊性而會有變化)：

　
: $F[m_{1}+m_{2}P_{2}]=\sum _{n_{2}=0}^{P_{1}-1}G_{2}[m_{1},n_{2}]e^{-i{\frac {2\pi }{P_{1}}}m_{2}n_{2}}$

最後的運算可以視為將函式 $G_{2}[m_{1},n_{2}]$ 中 $n_{2}$ ，透過離散傅立葉變換取代為由 $m_{2}$ 描述，
得到一個新函式 $G_{3}[m_{1},m_{2}]$ (這步因為對每個不同 $m_{1}$ ，都需要做一次將 $n_{2}$ 取代為 $m_{2}$ 的轉換，
共需要 $P_{2}$ 個 $P_{1}$ 點離散傅立葉變換)：

　
: $F[m(=m_{1}+m_{2}P_{2})]=G_{3}[m_{1},m_{2}]$

就成功僅使用 $P_{1}$ 與 $P_{2}$ 點離散傅立葉變換，描述了原先的 $N$ 點離散傅立葉變換。

而在這樣的分解下，我們使用了 $P_{1}$ 個 $P_{2}$ 點離散傅立葉變換與 $P_{2}$ 個 $P_{1}$ 點離散傅立葉變換與一些額外的乘法，
並且這些額外使用的複數乘法 $G_{1}[m_{1},n_{2}]\times e^{-i{\frac {2\pi }{N}}m_{1}n_{2}}$ ，
在電腦的運算架構中，如果 ${\frac {m_{1}n_{2}}{N}}$ 是 ${\frac {1}{4}}$ 的倍數則不需要使用乘法，
如果 ${\frac {m_{1}n_{2}}{N}}$ 是 ${\frac {1}{8}},{\frac {1}{12}}$ 的倍數則僅需兩個實數乘法，
其他則需三個實數乘法，所以總運算量可以如下方式表示：

　
: $P_{2}B_{1}+P_{1}B_{2}+3D_{3}+2D_{2}$

其中 $B_{1}$ 是 $P_{1}$ 傅立葉所需乘法數， $B_{2}$ 是 $P_{2}$ 傅立葉所需乘法數， $D_{3}$ 是需三個實數乘法 $m_{1}n_{2}$ 組合個數， $D_{2}$ 是需兩個實數乘法 $m_{1}n_{2}$ 組合個數。

而常見以 $2$ 為基底的分解則是為了使離散傅立葉變換所需乘法數為零，這樣就僅需考慮上面提到的額外乘法，可以提高效率也有較簡單的結構。

###  $N_{1}N_{2}$ 互質

在 $N_{1}N_{2}$ 互質的情況下，仍是採取和上面相近的思路來將問題進行拆分，首先，為了避免之後的符號混淆，我們同樣將 $N_{1}N_{2}$ 置換為 $P_{1}P_{2}$ 。

接著同樣定義要拆分的問題：

　
: $F[m]=\sum _{n=0}^{N-1}e^{-i{\frac {2\pi }{N}}mn}f[n]\qquad m,n=0,1,\ldots ,N-1$

接著就是和上面的演算法有最大差異的部分，在將 $m,n$ 化為個使用兩個參數進行描述的函式 $m=[m_{1},m_{2}],n=[n_{1},n_{2}]$ 時，
最直覺的作法便是使用商數和餘數，但在 $P_{1},P_{2}$ 互質的情況下，可以有一些其他更具技巧性的選擇。

當 $P_{1},P_{2}$ 互質，對所有 $n=0,1,\ldots ,N-1$ 我們可以找到唯一且不重複的一組 $n_{1},n_{2}$ 使得：

　
: $n=((n_{1}P_{1}+n_{2}P_{2}))_{N}=n_{1}P_{1}+n_{2}P_{2}+c_{1}N\qquad 0\leq n_{1}<P_{2}\qquad 0\leq n_{2}<P_{1}$

其中 $((a))_{N}=a\mod N$ ，代表取餘數的意思， $c_{1}$ 是一個整數。

例如假設 $N=15,P_{1}=3,P_{2}=5$ ，則 $n=1$ 對應到的 $(n_{1},n_{2})$ 就是 $(2,2)$ ，
有 $2\times 3+2\times 5\mod 15=16\mod 15=1$ 。

並且對所有 $n_{1},n_{2}$ 的組合 (有 $P_{1}\times P_{2}=N$ 組)，都對應到一個特定不重複的 $n$ 。

同理我們可以把 $m=0,1,\ldots ,N-1$ 表示為 $m_{1},m_{2}$ 的雙參數函式：

　
: $m=((m_{1}P_{1}+m_{2}P_{2}))_{N}=m_{1}P_{1}+m_{2}P_{2}+c_{2}N\qquad 0\leq m_{1}<P_{2}\qquad 0\leq m_{2}<P_{1}$

將上述的參數代換及 $N=P_{1}P_{2}$ 帶入原式，可以得到：

　
: $F[((m_{1}P_{1}+m_{2}P_{2}))_{N}]=\sum _{n_{1}=0}^{P_{2}-1}\sum _{n_{2}=0}^{P_{1}-1}e^{-i{\frac {2\pi }{N}}(m_{1}P_{1}+m_{2}P_{2}+c_{2}N)(n_{1}P_{1}+n_{2}P_{2}+c_{1}N)}f[((n_{1}P_{1}+n_{2}P_{2}))_{N}]$

接著透過一次的展開化簡及應用 $e^{-i2\pi }=1$ 可得：

　
: ${\begin{aligned}F[((m_{1}P_{1}+m_{2}P_{2}))_{N}]&=\sum _{n_{1}=0}^{P_{2}-1}\sum _{n_{2}=0}^{P_{1}-1}e^{-i{\frac {2\pi }{N}}(m_{1}P_{1}+m_{2}P_{2})(n_{1}P_{1}+n_{2}P_{2})}e^{-i2\pi c_{2}(n_{1}P_{1}+n_{2}P_{2}+c_{1}N)}e^{-i2\pi c_{1}(m_{1}P_{1}+m_{2}P_{2}+c_{2}N)}e^{-i2\pi c_{1}c_{2}N}f[((n_{1}P_{1}+n_{2}P_{2}))_{N}]\\&=\sum _{n_{1}=0}^{P_{2}-1}\sum _{n_{2}=0}^{P_{1}-1}e^{-i{\frac {2\pi }{N}}(m_{1}P_{1}+m_{2}P_{2})(n_{1}P_{1}+n_{2}P_{2})}f[((n_{1}P_{1}+n_{2}P_{2}))_{N}]\end{aligned}}$

再將 $N=P_{1}P_{2}$ 帶入並再透過一次的展開化簡及應用 $e^{-i2\pi }=1$ 可得：

　
: ${\begin{aligned}F[((m_{1}P_{1}+m_{2}P_{2}))_{N}]&=\sum _{n_{1}=0}^{P_{2}-1}\sum _{n_{2}=0}^{P_{1}-1}f[((n_{1}P_{1}+n_{2}P_{2}))_{N}]e^{-i{\frac {2\pi }{P_{2}}}m_{1}P_{1}n_{1}}e^{-i{\frac {2\pi }{P_{1}}}m_{2}P_{2}n_{2}}e^{-i2\pi m_{1}n_{2}}e^{-i2\pi m_{2}n_{1}}\\&=\sum _{n_{1}=0}^{P_{2}-1}\sum _{n_{2}=0}^{P_{1}-1}f[((n_{1}P_{1}+n_{2}P_{2}))_{N}]e^{-i{\frac {2\pi }{P_{2}}}m_{1}P_{1}n_{1}}e^{-i{\frac {2\pi }{P_{1}}}m_{2}P_{2}n_{2}}\end{aligned}}$

觀察上式，並加上括號輔助釐清運算順序我們可以得到：

　
: $F[((m_{1}P_{1}+m_{2}P_{2}))_{N}]=\sum _{n_{2}=0}^{P_{1}-1}\left\{\sum _{n_{1}=0}^{P_{2}-1}f[((n_{1}P_{1}+n_{2}P_{2}))_{N}]e^{-i{\frac {2\pi }{P_{2}}}m_{1}P_{1}n_{1}}\right\}e^{-i{\frac {2\pi }{P_{1}}}m_{2}P_{2}n_{2}}$

內層的運算可以視為將雙參數函式 $f[((n_{1}P_{1}+n_{2}P_{2}))_{N}]$ 中的一個參數 $n_{1}$ ，
透過離散傅立葉變換取代為由一個與 $m_{1}$ 有關的變數 $m_{3}=((m_{1}P_{1}))_{P_{2}}$ 描述，
得到一個新函式 $G_{1}[m_{3},n_{2}]$ (這步因為對每個不同 $n_{2}$ ，都需要做一次將 $n_{1}$ 取代為 $m_{3}$ 的轉換，
共需要 $P_{1}$ 個 $P_{2}$ 點離散傅立葉變換)：

　
: $F[((m_{1}P_{1}+m_{2}P_{2}))_{N}]=\sum _{n_{2}=0}^{P_{1}-1}G_{1}[m_{3},n_{2}]e^{-i{\frac {2\pi }{P_{1}}}m_{2}P_{2}n_{2}}$

外層的運算可以視為將函式 $G_{1}[m_{3},n_{2}]$ 中的參數 $n_{2}$ ，
透過離散傅立葉變換取代為由一個與 $m_{2}$ 有關的變數 $m_{4}=((m_{2}P_{2}))_{P_{1}}$ 描述，
得到一個新函式 $G_{2}[m_{3},m_{4}]$ (這步因為對每個不同 $m_{3}$ ，都需要做一次將 $n_{2}$ 取代為 $m_{4}$ 的轉換，
共需要 $P_{2}$ 個 $P_{1}$ 點離散傅立葉變換)：

　
: $F[m]=F[((m_{1}P_{1}+m_{2}P_{2}))_{N}]=G_{2}[m_{3},m_{4}]=G_{2}[((m_{1}P_{1}))_{P_{2}},((m_{2}P_{2}))_{P_{1}}]$

最後透過 $F$ 與 $G_{2}$ 在不同 $m_{1},m_{2}$ 時的點點數值對應關係，
就成功僅使用 $P_{1}$ 與 $P_{2}$ 點離散傅立葉變換，描述了原先的 $N$ 點離散傅立葉變換。

而這個方法透過聰明的選取表達 $m,n$ 的方式，使得拆解的過程中完全不需要多餘的乘法運算，
總運算量可以簡單表示為：

　
: $P_{2}B_{1}+P_{1}B_{2}+3D_{3}+2D_{2}$

其中 $B_{1}$ 是 $P_{1}$ 傅立葉所需乘法數， $B_{2}$ 是 $P_{2}$ 傅立葉所需乘法數。

雖然這個方法可以較上面的方法節省運算量，
但這個方法也牽涉較為複雜的 $m,n$ 與 $m_{1},m_{2},n_{1},n_{2}$ 轉換，較為不直覺且不易理解，
也會遇到許多需要取餘數的運算，可能會需要較大的空間建表進行查表法。

最後關於實際上要如何求得 $n$ 與 $n_{1},n_{2}$ 的轉換關係，
可以先透過輾轉相除法取得一對特定的 $n_{11},n_{21}$ 使得：

　
: $((n_{11}P_{1}+n_{21}P_{2}))_{N}=1$

然後我們可以知道對於任意整數 $0\leq k<N$ 有：

　
: $((kn_{11}P_{1}+kn_{21}P_{2}))_{N}=k=((kn_{11}P_{1}-c_{1}N+kn_{21}P_{2}-c_{2}N))_{N}=(((kn_{11}-c_{1}P_{2})P_{1}+(kn_{21}-c_{2}P_{1})P_{2}))_{N}$

然後就可以得到：

　
: $n_{1k}=((kn_{11}))_{P_{2}}\qquad n_{2k}=((kn_{21}))_{P_{1}}$

滿足：

　
: $((n_{1k}P_{1}+n_{2k}P_{2}))_{N}=k\qquad 0\leq n_{1k}<P_{2}\qquad 0\leq n_{2k}<P_{1}$

 

## 參考資料

1. Widhe, T., J. Melander, et al. (1997). Design of efficient radix-8 butterfly PEs for VLSI. Circuits and Systems, 1997. ISCAS '97., Proceedings of 1997 IEEE International Symposium on.
2. Lihong, J., G. Yonghong, et al. (1998). A new VLSI-oriented FFT algorithm and implementation. ASIC Conference 1998. Proceedings. Eleventh Annual IEEE International.
3. Duhamel, P. and H. Hollmann (1984). "Split-radix FFT algorithm." Electronics Letters 20(1): 14-16.
4. Vetterli, M. and P. Duhamel (1989). "Split-radix algorithms for length-pm DFT's." Acoustics, Speech and Signal Processing, IEEE Transactions on 37(1): 57-64.
5. Richards, M. A. (1988). "On hardware implementation of the split-radix FFT." Acoustics, Speech and Signal Processing, IEEE Transactions on 36(10): 1575-1581.
6. Shousheng, H. and M. Torkelson (1996). A new approach to pipeline FFT processor. Parallel Processing Symposium, 1996., Proceedings of IPPS '96, The 10th International.
7. Shousheng, H. and M. Torkelson (1998). Designing pipeline FFT processor for OFDM (de)modulation. Signals, Systems, and Electronics, 1998. ISSSE 98. 1998 URSI International Symposium on.