H.

Scaletti - Mtodos Numricos: Transformadas de Fourier Discretas 8 - 1

8. Transformadas de Fourier Discretas
8.1 Introduccin
En numerosos problemas de ingeniera, como por ejemplo al estudiar vibraciones
mecnicas, se tienen funciones peridicas. Una funcin ) (t f es peridica, con perodo
T , si ) ( ) ( t f T t f = + para todo t . En tal caso ) (t f puede ser expresada en series de
Fourier
1
:
( )

= + + =
1
0 2
1
) sen( ) ( cos ) (
j j
t i
j j j j j
j
e c t b t a a t f (8.1)
donde ( ) T j
j
/ 2 = y T es el perodo. Puede demostrarse que:
) ( ), ( ,
2
1
2
1
0 0 k k k k k k
ib a c ib a c a c + = = =

(8.2)
siendo 1 = i .
Por ejemplo, para la onda rectangular con perodo 2 :

< <
< <
=

t
t
t f
0 1
0 1
) (
Se obtiene:
|

\
|
+ + + = L
5
5 sen
3
3 sen
sen
4
) (
x x
x t f

En la figura se muestra la aproximacin obtenida considerando 10 trminos de la serie:
-1.5
-1
-0.5
0
0.5
1
1.5
-6 -4 -2 0 2 4 6

Si f y su primera derivada son continuas, la serie es convergente para todo t . Cuanto
ms regular sea la funcin, mayor es la velocidad de convergencia. Si f y f tienen un
nmero finito de discontinuidades finitas en cada perodo, la serie produce el valor medio
en cada uno de tales puntos.
En los procedimientos numricos las funciones se expresan por colecciones de valores
) (
n n
t f f = que habitualmente corresponden a abscisas uniformemente espaciadas:
t n t
n
= . Si la funcin es peridica podra definirse por una coleccin de N valores

1
Jean Baptiste Joseph Fourier (1768-1830), ingeniero francs. En 1807 present a la Academia Francesa su
teorema relativo a las series de F., que public posteriormente como parte de su Teora Analtica del Calor.
H. Scaletti - Mtodos Numricos: Transformadas de Fourier Discretas 8 - 2
numricos
1 2 1 0
, , ,
N
f f f f K siendo el perodo t N T = . En lo que sigue, se denomina
a esto el caso discreto. Anlogamente a la (8.1):

= =
j
t i
j n n
n j
e c t f f ) ( (8.3)
Ntese que ( )
n j n N j
t i
t n
t N
j
i
n
i
t n
t N
N j
i
t i
e e e e e

|
|

\
|

|
|

\
|

= = =
+

2
2
2
, por lo que factorizando
se puede escribir:

=
1
0

N
j
t i
j n
n j
e c f (8.4)
En la seccin siguiente se revisan expresiones que permiten determinar los coeficientes
de tales series. Para simplificar la presentacin se ha escrito
j
c en lugar de
j
c .
8.2 Ortogonalidad de las Funciones Armnicas
Caso continuo
Supngase que se tienen dos funciones peridicas ) ( ) ( T t f t f + = y ) ( ) ( T t g t g + = .
En lo que sigue se hace referencia al producto interno de tales funciones peridicas:

=
T
dt t g t f g f
0
) ( ) ( ) , ( (8.5)
donde ) (t g indica la conjugada de ) (t g .
Considrense ahora las funciones peridicas:
t i
j
j
e t

= ) ( para K , 2 , 1 , 0 = j ,
siendo |

\
|
=
T
j
j
2
e 1 = i . Ntese que ) ( ) ( t T t = + . Adems:
t i
j
j
e t

= ) (
Puede observarse que:

=
0
) , (
T
k j

si k j =
si k j
(8.6)
como se demuestra a continuacin. Para k j = :
T dt dt e e
T T
t i t i
j j
j j
= = =


0 0
) , (
Para k j :
0
/ ) ( 2
) , (
0 ) ( 2
0
/ ) ( 2
0
=

= = =

T k j i
e e
dt e dt e e
k j i
T
T t k j i
T
t i
t i
k j
k j

Caso discreto
En este caso el producto interno de dos funciones con igual perodo, T , cada una
expresada por una coleccin de N valores numricos, se define como:

=
=
1
0
) , (
N
n
n n
g f g f
H. Scaletti - Mtodos Numricos: Transformadas de Fourier Discretas 8 - 3
Considerando nuevamente las funciones
t i
j
j
e t

= ) ( se tiene:
jn
N
i
t i
n j
e e t
n j

2
) ( = =

y
entonces:


=
|

\
|

= =
1
0
2
1
0
2 2
) , (
N
n
n
N
k j
i
N
n
kn
N
i
jn
N
i
k j
e e e

Si k j es un mltiplo de N se tiene que
N
k j
es un entero y por lo tanto:
N
N
m
k j
= =

=
1
0
1 ) , (
Por otro lado, si k j no es un mltiplo de N puede escribirse:

=
=
1
0
) , (
N
n
n
k j
q
donde
|

\
|
=
N
k j
i
e q
2
. Esta es la suma de N trminos de una progresin geomtrica, con
valor inicial 1 y razn q , que resulta:
0
1
1 1
1
1
) , ( =

=
q q
q
N
k j

Excepto para el caso antes mencionado, en que k j es un mltiplo de N , para el que
se tiene 1 = q . Resumiendo, para el caso discreto:

=
0
) , (
N
k j

si k j es mltiplo de N
en otros casos
(8.7)
8.3 Coeficientes de Fourier
Si ) (t f es peridica:

+
=

=
|

\
|
= =
j
j j
j
jt
T
i
j
t c e c t f ) ( ) (
2

O en el caso discreto


=

=
|

\
|
= =
1
0
1
0
2
) (
N
j
n j j
N
j
jn
N
i
j n
t c e c f

Los coeficientes
j
c se denominan coeficientes de Fourier. Estos pueden determinarse
con el producto interno:

=
j
k j j k
c f ) , ( ) , (
Siendo 0 ) , ( =
k j
para k j se obtiene ) , ( ) , (
k k k k
c f = y por lo tanto (despus
de cambiar k por j ):
dt e t f
T
c
T
jt
T
i
j

|

\
|

=
0
2
) (
1

en el caso continuo (8.8)

=
|

\
|

=
1
0
2
1
N
n
jn
N
i
n j
e f
N
c

en el caso discreto (8.9)

H. Scaletti - Mtodos Numricos: Transformadas de Fourier Discretas 8 - 4
Cuando la funcin ) (t f es real, los coeficientes
j j
b a , de la expresin (8.1) son tambin
reales. Los
j
c son en general nmeros complejos, pero si ) (t f es real tienen simetra
conjugada, es decir:
k k
c c =

, lo que puede observarse fcilmente en (8.2).

Las funciones de varias variables se tratan en forma anloga, considerando una variable
a la vez. Supngase que se conocen los valores de la funcin peridica (en ambas
direcciones) ) , (
q p
y x f que corresponden a abscisas x p x
p
= y ordenadas y q y
q
=
siendo 1 , 2 , 1 , 0 = M p K y 1 , 2 , 1 , 0 = N q K :
|

\
|

=
|

\
|

|
|

\
|
= =
M
jp
i
M
j
N
k
N
kq
i
jk q p pq
e e c y x f f
2
1
0
1
0
2
) , ( (8.10)
|

\
|

=
|

\
|

|
|

\
|
=
M
jp
i
M
p
N
q
N
kq
i
pq jk
e e f
N M
c
2
1
0
1
0
2
1 1
(8.11)
8.3 Transformadas de Fourier
Supngase una funcin ) (t f no peridica, definida para < < t y tal que tiende a
cero cuando t tiende a ms infinito o a menos infinito. En tal caso, puede obtenerse el
lmite de (8.8) para T :
dt e t f F
t i

= ) ( ) ( (8.12)
La funcin ) ( F es la transformada de Fourier de ) (t f . Anlogamente, el lmite de
(8.9) para T resulta:
=

d e F t f
t i
) (
2
1
) (

(8.13)
que se denomina transformada inversa. El factor ) 2 /( 1 podra indistintamente tenerse
en (8.12) o en (8.13).
La tabla siguiente indica algunas propiedades de simetra de las transformadas de
Fourier:
Funcin Transformada de Fourier
) (t f real
) ( ) ( = F F
) (t f imaginaria
) ( ) ( = F F
) (t f simtrica ) ( ) ( = F F
) (t f antisimtrica ) ( ) ( = F F
Si ) (t f es simultneamente real y simtrica ) ( F es tambin real y simtrica; si ) (t f
es imaginaria y antisimtrica ) ( F es tambin antisimtrica pero real.
Puede tambin demostrarse que:
=

d F t d t f
2 2
) ( ) (
Esto se conoce como el teorema de Parseval, que es de utilidad en diversas
aplicaciones.
H. Scaletti - Mtodos Numricos: Transformadas de Fourier Discretas 8 - 5
Si ) ( F es la transformada de Fourier de ) (t f , entonces la transformada de Fourier de
) (t f
&
resulta ) ( F i . Esto se verifica fcilmente haciendo una integracin por partes.
En consecuencia, se concluye que la transformada de la derivada m-sima es
) ( ) ( F i
m
.
Si se tiene la ecuacin diferencial lineal:
m t f u u u t f ku u c u m / ) ( 2 ) (
2
= + + = + + & & & & & &
en la que k c m , , son constantes, se puede multiplicar por
t i
e

e integrar entre y
+ , para obtener:
dt e t f dt e t u k dt e t u c dt e t u m
t i t i t i t i

= + + ) ( ) ( ) ( ) ( & & &
Llamando ) ( F a la transformada de ) (t f , es decir: dt e t f F
t i

= ) ( ) (
y ) ( U a la transformada de Fourier de ) (t u : dt e t u U
t i

= ) ( ) (
se obtiene:
( ) ) ( ) (
2
= + + F U k c i m
o bien:
) ( ) ( ) ( = F H U
donde ( )
1
2
) (

+ + = k c i m H es una funcin de transferencia. Luego se obtiene
la funcin ) (t u con la transformada inversa:
=

d e U t u
t i
) (
2
1
) (

Las mismas ideas pueden aplicarse a la solucin de sistemas de ecuaciones
diferenciales lineales. Por ejemplo:
( ) ) ( ) ( ) ( = + = + F i x f c U B A c Bu u A
En este caso ) ( U denota una matriz columna que agrupa las transformadas de las
funciones agrupadas en ) (t u . Luego:
=

d e t
t i
) (
2
1
) ( U u

8.4 Algoritmo de Cooley y Tukey
2

Las operaciones requeridas para obtener los coeficientes de Fourier:

=
|

\
|

=
1
0
2
1
N
n
jn
N
i
n j
e f
N
c

(8.14)
son similares a las del proceso inverso:

=
|

\
|
=
1
0
2
N
j
jn
N
i
j n
e c f

(8.15)

2
Cooley, J.W. y Tukey, J.W. An algorithm for machine calculation of complex Fourier series. Math.Comp.,
19:297-201, 1965.
H. Scaletti - Mtodos Numricos: Transformadas de Fourier Discretas 8 - 6
Al realizar las operaciones como se indican en (8.14) y (8.15) se requeriran en cada
caso
2
N multiplicaciones y sumas de nmeros complejos. Con el algoritmo de
Transformada de Fourier Rpida (FFT por sus iniciales en ingls) se requieren slo
N N
2
log multiplicaciones y sumas. Esto es suponiendo que N es una potencia de 2 y
que el algoritmo se escribe en su forma ms simple. Si, por ejemplo, 536 65 2
16
= = N ,
el algoritmo FFT resulta aproximadamente 4000 veces ms rpido que el procedimiento
convencional antes indicado.
Para empezar, puede observarse que, dejando de lado el factor N / 1 , las expresiones
(8.14) y (8.15) son ambas de la forma:

=
=
1
0
N
n
jn
n j
u f c
|

\
|

=
N
i
e u
2
(8.16)
Ntese que 1 =
N
u . Los prrafos siguientes se refieren a (8.16), y son igualmente
aplicables a la determinacin de los
j
c (anlisis de Fourier) o a la de los
n
f (sntesis de
Fourier). Se presenta el algoritmo FFT en su forma ms simple, suponiendo que N es
una potencia exacta de 2 , es decir,
m
N 2 = . Sin embargo, pueden aplicarse ideas
similares cuando N es arbitrario.
Los valores
n
f pueden separarse en dos grupos, aquellos que ocupan las posiciones
pares: p n 2 = y aquellos que ocupan las posiciones impares: 1 2 + = p n . Luego:


=
+

=
+ =
1
2
0
2
1 2
1
2
0
2
2
) ( ) (
N
p
jp
p
j
N
p
jp
p j
u f u u f c
Por otro lado, expresando j como q N + 2 / , donde 1 , 0 = y ( ) 1 2 / 0 < < N q , se
tiene que:
pq pq p N pq
p
N
jp
u u u u u u ) ( ) ( ) ( ) ( ) ( ) (
2 2 2
2
2 2
= = =

q q i q
N
q
N
u u e u u u = = =

+

2 2

Dividiendo los
j
c en dos grupos (para 1 , 0 = ) se obtienen:
q
q
q q
u c + = (8.17a)
q
q
q
q
N
u c + =
+
2
(8.17b)
siendo

=
=
1
2
0
2
2
) (
N
p
pq
p q
u f y

=
+
=
1
2
0
2
1 2
) (
N
p
pq
p q
u f transformadas con 2 / N puntos.
Ntese que
2 /
2
2
N
i
e u

= , expresin anloga a la de u pero con 2 / N puntos.

Las
q
y
q
se pueden a su vez obtener dividiendo cada sumatoria en dos partes. Si
m
N 2 = , el mismo procedimiento puede sucesivamente repetirse hasta tener sumatorias
con un solo punto.
En la tabla siguiente se muestran los sucesivos reagrupamientos de los valores
n
f que
se haran para el caso particular 16 = N :
H. Scaletti - Mtodos Numricos: Transformadas de Fourier Discretas 8 - 7
1 FFT
= N 16
2 FFT
= N 8
4 FFT
= N 4
8 FFT
= N 2
16 FFT
= N 1

0000 0 0 0 0 0 0000
0001 1 2 4 8 8 1000
0010 2 4 8 4 4 0100
0011 3 6 12 12 12 1100
0100 4 8 2 2 2 0010
0101 5 10 6 10 10 1010
0110 6 12 10 6 6 0110
0111 7 14 14 14 14 1110
1000 8 1 1 1 1 0001
1001 9 3 5 9 9 1001
1010 10 5 9 5 5 0101
1011 11 7 13 13 13 1101
1100 12 9 3 3 3 0011
1101 13 11 7 11 11 1011
1110 14 13 11 7 7 0111
1111 15 15 15 15 15 1111
Se indica adems, a la izquierda, el nmero de orden original en un sistema de base 2.
A la derecha se observa que, al reagrupar los valores de la funcin, cada uno de estos
intercambia posicin con aquel que corresponde a los bits en orden inverso.
La sucesiva subdivisin de los grupos en dos de la mitad de tamao termina cuando
1 = N y se tiene 1
2
=
i
e

; entonces los valores
q
y
q
resultan iguales a los de las
correspondientes
n
f . Luego se usan expresiones como la (8.17) para obtener 2 / N
FFT con dos puntos:
= =

1
2 / 2 i
e u


0 0 0
+ = c

0 0 1
= c
Y luego 4 / N FFT con cuatro puntos:
= =

i e u
i 4 / 2

0 0 0
+ = c

0 0 2
= c

1 1 1
i c =

1 1 3
i c m =
Y as sucesivamente hasta combinar los resultados de 2 FFT con 2 / N puntos para
producir la FFT con N puntos.
8.5 Algunas consideraciones prcticas
Para una funcin no peridica, como podra ser el registro de una componente de
aceleracin ssmica, estrictamente no podra emplearse el algoritmo FFT, puesto que se
obtienen los coeficientes de una serie de Fourier y no propiamente la transformada. Sin
embargo, puede considerarse a la funcin como si fuera peridica agregndole
suficientes ceros como para asegurar que, dada la disipacin existente en todos los
sistemas reales, no haya influencia significativa de un perodo sobre el siguiente.
H. Scaletti - Mtodos Numricos: Transformadas de Fourier Discretas 8 - 8
En la figura se ilustra esta idea:
-200
-100
0
100
200
0 20 40 60 80 100 120 140 160
t
f (t)

Un aspecto importante es definir a que frecuencia
j
corresponde cada uno de los
coeficientes
j
c . Siendo el perodo t N T = se tiene T / 2
1
= = y por lo tanto
) /( 2 t N j
j
= .
La mxima frecuencia que se representa correctamente (denominada de Nyquist)
depende del intervalo t al que se registra la funcin f y resulta 2 / ) / 2 ( t
mx
= .
Las componentes a frecuencias ms altas se interpretan como si correspondieran a
frecuencias incorrectas (alias).
0.0E+00
1.0E-05
2.0E-05
3.0E-05
4.0E-05
0 20 40 60 80

|F( )|