Transformada Rpida de Fourier FFT

La transformada Discreta de Fourier DFT es el mejor procedimento matemtico para

determinar el contenido espectral de una secuencia en el dominio del tiempo, pero esta
es muy compleja de calcular (ineficiente).
En 1965, un artculo fue publicado por J.W.Cooley e J.W.Tukey presentando un
algoritmo eficiente para la implementacin de la DFT, este algoritmo fue conocido
como Transformada Rpida de Fourier (Fast Fourier Transform).
Para entender el porque la DFT es compleja de calcular debemos hablar de esfuerzo
computacional o complejidad computacional, que puede ser definido como el nmero
mximo de operaciones elementales necesarias para resolver un problema.
En el caso de la DFT, se puede hablar del nmero de multiplicaciones punto flotante
(respectivamente adiciones) necesarias para calcularla. Tradicionalmente se tiene
usado apenas la complejidad multiplicativa como el parmetro mas importante.

x = a.c + a.d + b.c + b.d

4 multiplicaciones

x = (a + b).(c + d)
1 multiplicacin

La misma expresin puede ser realizada con menor nmero de operaciones. Para el
caso, la multiplicacin es la operacin mas costosa.

Transformada Rpida de Fourier FFT

Multiplicacin de nmeros complejos:
(e + jf) = (a + jb).(c + jd)
e = (a.c b.d)
f = (a.d + b.c)
4 multiplicaciones y dos adiciones
e = (a b).d + a.(c d)
f = (a b).d + b.(c + d)
3 multiplicaciones
El incremento en la cantidad de adiciones no perjudica el desempeo del algoritmo
ya que la multiplicacin es el elemento ms costoso.
Transformada Discreta de Fourier:
(1)

(2)
WN = e -j(2/N)

Transformada Rpida de Fourier FFT

Algoritmo de Cooley-Tukey o Decimacin en el Tiempo
J.W.Cooley (IBM) y J.W.Tukey (Bell Labs) revolucionaron el tratamiento digital
de seales cuando 1965 presentaron la publicacin de la transformada rpida de
Fourier, la FFT.
La idea es representar una DFT de tamao N, en terminos de DFTs de menor
tamao N1 y N2, tal que N = N1 N2. Especficamente dividir la secuencia x[n] en
dos secuencias: una con los coeficientes de ndice par y otra con los coeficientes
de ndice impar (Decimacin en el Tiempo)
Secuencia de
entrada x[n]

Coeficientes
pares

Coeficientes
impares

Transformada Rpida de Fourier FFT

Considerando que N es un entero potencia de 2, i.e., N = 2V. Calculamos X[k],
separando x[n] en dos secuencias de N/2 pontos, consistiendo de los puntos de ndice
par en x[n] e os pontos de ndice impar en x[n].
(3)

Substituyendo n = 2r para n par y n = 2r + 1 para n impar:

(4)

Transformada Rpida de Fourier FFT

Cada parcela en la Ec. (4) es una DFT de N/2 puntos. El primer termino es una DFT de
los elementos de x[n] ndice par de la secuencia y el segundo termino de los ndices
impares La Fig.1 presenta un diagrama del clculo de una DFT de 8 pontos.

Fig.1.- Decimacin en el tiempo de una DFT de N-puntos (N = 8) calculada en dos DFTs de N/2 puntos.

Transformada Rpida de Fourier FFT

Considerando que:

X[0]=G[0] + H[0].W0N

Fig2.- Decimacin en el tiempo de una DFT de 8-puntos

Transformada Rpida de Fourier FFT

X[4] = G[4]+H[4]WN4
= G[0] + H[0]*WN4

Fig3.- Decimacin en el tiempo de una DFT de 8-puntos

Transformada Rpida de Fourier FFT

Anlisis de Complejidad:

DFT clsica: N2 multiplicaciones complejas y adiciones

FFT:

(N/2)2
operaciones

N
Productos

(N/2)2
operaciones

total = N + 2(N/2)2 = N + N2/2 operaciones < N2

As, usando el algoritmo de Cooley-Tukey, para N>2, tenemos una complejidad
menor que usando el algoritmo de DFT clsico
Podemos disminuir la complejidad si aplicamos nuevamente la idea de divisin.
DFT N puntos
DFT N/2 puntos
G[k]
DFT N/4 puntos DFT N/4 puntos

DFT N/2 puntos

H[k]
DFT N/4 puntos

DFT N/4 puntos

Transformada Rpida de Fourier FFT

Entonces:

Transformada Rpida de Fourier FFT

Fig4.- Decimacin en el tiempo de una DFT de 8-puntos

Transformada Rpida de Fourier FFT

Para la DFT de 8 puntos que estamos usando como ejemplo, el clculo fue
reducido a DFTs de 2 puntos. La DFT de 2 puntos para, por ejemplo, x[0] y x[4] es
detallada en la siguiente figura.

El proceso puede ser simplificado mas aun. La obtencin de un par de valores de una
etapa depende apenas de un par de valores de la etapa anterior

Transformada Rpida de Fourier FFT

Eso muda el grfico de butterfly para:

Transformada Rpida de Fourier FFT

El grfico completo de la implementacin de la DFT de 8 puntos se puede observar en la
siguiente figura.

Transformada Rpida de Fourier FFT

Organizacin de las entadas y salidas de la FFT

Transformada Rpida de Fourier FFT

Para una nica decimao (N -> N/2):

N + 2(N/2)2 operaciones
Con una decimacin a ms (N/2 -> N/4):
El termino (N/2)2 substituido por N/2 + 2(N/4)2:
N + 2[N/2 + 2(N/4)2]
N + N + 4(N/4)2
Se N=2v, la descomposicin puede ser mximo v = N log2N operaciones.

Transformada Rpida de Fourier FFT

Bibliografia:

Processamento Digital de Sinais, Carlos Alexandre Mello, Centro de Informtica

UFPE, 2013
Digital Signal Processing, Monson H. Hayes, Second Edition, Schaum's Outlines
Series, McGraw Hill, 2012