Chapter 1

Series y transformadas de Fourier

Este aptulo est dedi ado an tratamiento general del anlisis de Fourier.
En l se estudian los siguientes temas: Series de Fourier, integrales (o transformadas) de Fourier y transfomrada dis reta de Fourier. El aptulo termina
on una se in dedi ada al algoritmo de mputo de sta pultima, ono ido
fomo Transformada Rpida de Fourier (FFT).
1.1
1.1.1

Series de Fourier
Forma real

Sea p(t) una fun in denida en el intervalo (0, ) y, fuera de l, por p(t+ ) =
p(t). En otras palabras, la fun in es peridi a on periodo . Se dene la
Serie de Fourier de p(t) omo

a0 X
2nt
2nt 
p(t) =
+
an cos
+ bn sin
2

n=1

(1.1)

donde los oe ientes de la expansin son

2nt
p(t) cos
dt, n = 0, 1, 2, . . .

0
Z
2
2nt
bn =
dt, n = 1, 2, . . .
p(t) sin
0

2
an =

(1.2)

CHAPTER 1.

SERIES Y TRANSFORMADAS DE FOURIER

La validez de la primera de las expresiones anteriores se puede demostrar

multipli ando ambos lados de la e ua in (1.1) por cos 2mt
e integrando.

Esto da omo resultado

Z
a0
2mt
2mt
dt =
cos
dt +
p(t) cos

2 0

0
Z
Z

X
2nt
2nt 
2mt
2mt
cos
dt + bn
sin
dt
cos
an
cos

0
0
n=1

(1.3)

Al tomar en uenta las rela iones bsi as

2nt
2mt
cos
dt =
0

0
Z
Z
2mt
2mt
dt =
dt =
0
sin
(1.4)
cos

0
0

Z
Z
2mt
2nt
2nt
2mt
0, m 6= n
cos
cos
dt =
sin
dt =
sin

, m=n

0
0
2
Z

sin

(1.5)

se obtiene

Por tanto,

2mt
p(t) cos
dt = am

2
am =

p(t) cos
0

cos2

am
2mt
dt =

2mt
dt, m = 0, 1, 2, . . .

(1.6)

(1.7)

Ntese que al denir el primer oe iente de la expansin omo a0 /2 en lugar

de a0 , puede ser absorbido por la e ua in anterior. Al pro eder de manera
similar se puede probar la validez de la e ua in de bn .
Las expresiones que ondi ionan la validez de la expansin de Fourier
se ono en on el nombre de Condi iones de Diri hlet. En sntesis, estas
ondi ones expresan que si tanto la fun in p(t) omo su derivada p (t) son
ontinuas a trozos en un intervalo (0, ), enton es la serie (1.1) onverge, bien
a p(t) si t es un punto de ontinuidad, o bien a

1.1.

SERIES DE FOURIER

p(t0 ) + p(t+0 )
2

(1.8)

si t es un punto de dis ontinuidad y la varia in alrededor de t es a otada.

Existe una expresin importante derivada de las series de Fourier, ono ida omo Identidad de Parseval. Elevando al uadrado ambos lados de la
e ua in (1.1) e integrando de 0 a , se obtiene
Z

X
a2
p (t)dt = 0 +
a2n
4
n=1
2

2nt
cos
dt + b2n

sin2

2nt 
dt

(1.9)

lo que da omo resultado

Z

p2 (t)dt =


 a20 X 2
+
an + b2n
2 2
n=1

(1.10)

Como en Fsi a es usual que antidades uadrti as estn aso iadas a expresiones de energa, la identidad de Parseval estable e simplemente la invarianza de la energa total bajo la transforma in impli ada por la expansin
de Fourier.
Como ejemplo, la gura 1.1.1 muestra la fun in dis ontinua
p(t) =

0, 5 < t < 0
3, < 0 < t < 5

(1.11)

que tiene un periodo = 10. Al apli ar las e ua iones (1.1) y (1.2) se obtiene
f ilmente la siguiente expansin de Fourier:
!
t 1
3t 1
5t
3 6
sin
+ sin
+ sin
+ ...
p(t) = +
2
5
3
5
5
5

(1.12)

Esta fun in, al ulada on in o trminos, apare e igualmente dibujada en

la gura. Puede verse que la la onvergen ia en los puntos de dis ontinuidad
o urre ha ia los puntos medios, de a uerdo on la e ua in (1.8). Igualmente
se observa que la fun in ontiene slamente trminos seno. En general, se
puede demostrar que sta es una ara tersti a de la expansin de fun iones
impares omo la de este ejemplo. Por el ontrario, la expansin de fun iones
pares ontiene slamente trminos oseno.

CHAPTER 1.

SERIES Y TRANSFORMADAS DE FOURIER

p(t)

t
10 8

10

Expansin de Fourierde una fun in peridi a impar.

1.1.2

Forma ompleja

Al ha er uso de las identidades de Euler,

exp(i) = cos + i sin
exp(i) = cos i sin

(1.13)

donde i2 = 1, es posible es ribir la expansin en forma exponen ial. De

estas e ua iones, las fun iones trigonomtri as resultan expresadas omo

1.1.

SERIES DE FOURIER

i
ih
sin = exp(i) exp(i)
2
i
1h
cos = exp(i) + exp(i)
2

(1.14)

Al sustituir estas expresiones en la e ua in (1.1) resulta

p(t) =

donde
1
pn =

 2nt 
pn exp i

n=

 2nt 
dt,
p(t) exp i

n = 0, 1, 2, . . .

(1.15)

(1.16)

Ntese que on la extensin de la suma de a se ubren los trminos on

exponentes negativos y positivos as omo el trmino onstante. La rela in
entre el nuevo oe iente ni o pn y los antiguos es

1
(an ibn )
2
1
(a )
2 0

n1
n=0
pn =
1
(a
+
ib
)
n
1
|n|
2 |n|

(1.17)

Puede verse que para valores de n negativos y positivos hay dos oe ientes
que forman omplejos onjugados, de manera que los trminos imaginarios
se an elan mutuamente, lo que produ e un resultado real, omo
p se espera.
1
Como el mdulo de la antidad ompleja pn es igual a 2 a2n + b2n para
ualquier valor de n, la identidad de Parseval (e ua in 1.10) toma en este
aos una forma ms simple:
Z

p(t)dt =

n=

|
pn | 2

(1.18)

En el aso espe ial = 2 se tiene una rela in de gran importan ia pr ti a:

Z

p(t)dt = 2

n=

|
pn | 2

(1.19)

CHAPTER 1.

1.2

SERIES Y TRANSFORMADAS DE FOURIER

Transformada de Fourier

En la se in anterior se parti de la hiptesis bsi a de que la fun in p(t)

es peridi a, para onstruir las series de Fourier en sus dos formas, real y
ompleja. La extensin a fun iones no-peridi as ondu e a las Integrales de
Fourier, tambin ono idas omo Transformadas de Fourier. Para dedu irlas, onsideremos una fun in no peridi a p(t) que toma valores en el rango
( /2, /2) y una fun in peridi a p(t) denida omo
p(t) = p(t), 2 t 2
p(t + n ) = p(t), n = 1, 2, . . .

(1.20)

Esto signi a que la fun in p(t) puede ser expandida en series de Fourier
p(t) =

 2nt 
pn exp i

n=

1
=

1
=

donde
pn

 2nt 
p(t) exp i
dt

 2nt 
dt
p(t) exp i

(1.21)

(1.22)

debido a que p(t) y p(t) son idnti as en ( /2, /2). En onse uen ia, en
este intervalo se umple la siguiente rela in:
!
Z





2
1 X
p(t) = p(t) =
p(t) exp in t
exp in t n
2 n= 2

(1.23)

donde se ha he ho uso de las siguientes deni ones:

n =
n =

2n

2
= n n1

(1.24)
(1.25)

1.2.

TRANSFORMADA DE FOURIER

Ahora, al ha er tender , las fun iones peridi a y no peridi a se

ha en iguales sobre todo el eje real, por lo que la expansin anterior de p(t)
no tiene restri iones. En tal aso, n 0, lo que impli a que la se uen ia
dis reta de fre uen ias 1 , 2 , . . . devien en una variable ontinua y la suma
se onvierte en una integral. Como resultado se tiene
1
p(t) =
2

donde
p() =

 
p() exp it d

(1.26)



p(t) exp it dt

(1.27)

p(t)

t
4

Figure 1.1: Una fun in impar.

1.2.1

Formas alternativas

Las expresiones anteriores se ono en on el nobre de par de transformadas

de Fourier. Es ostumbre llamar la transforma in de t a y la de a t

CHAPTER 1.

SERIES Y TRANSFORMADAS DE FOURIER

omo Transformadas de Fourier dire ta e inversa, respe tivamente. Ntese

que al pasar de la e ua in (1.24) a las e ua iones (1.26) y (1.27), el fa tor
1/2 podra haberse asignado a la e ua in de p() en vez de a la e ua in
de p(t), lo ual indi a que un par igualmente vlido es
p(t) =

 
p() exp it d

(1.28)

donde
1
p() =
2



p(t) exp it dt

(1.29)

Siguiendo un razonamiento semejante, no es dif il ver que la siguiente alternativa, empleada on alguna fre uen ia en la pr ti a, es tambin vlida:
Z
 
1
p(t) =
p() exp it d
2
Z


1
p(t) exp it dt
p() =
2

(1.30)

Igualmente, se puede demostrar que las posi iones de exp(i2nt/ ) y de

exp(i2nt/ ) se pueden inter ambiar sin afe tar la validez de las expresiones, lo que da origen a nuevas formas del par. De a uerdo on esto, la
expresin general del par de transformadas de Fourier es

p(t) = a

p() = b



p() exp it d



p(t) exp it dt

(1.31)

donde a y b son tales que ab = 1/2 . En lo que sigue, sin embargo, se usarn
las deni iones (1.26) y (1.27). Para este par, la identidad de Parseval se
estable e f ilmente:

1.2.

TRANSFORMADA DE FOURIER

p2 (t)dt =

=
=
=

!
Z
 
1
p() exp it d dt
p(t)
2

!
Z
Z
 
1
p()
p(t) exp it dt d
2

Z
1
p()
p ()d
2
Z
1
|
p()|2d
2

(1.32)

Aqu, la estrella denota omplejo onjugado. Por tanto, el resultado nal es

1
p (t)dt =
2

|
p()|2 d

(1.33)

Se puede dedu ir una expresin equivalente de las transformadas en trminos de la fre uen ia natural f = /2 , en lugar de la fre uen ia angular
. Para ello, basta on realizar el ambio de variable en la e ua in 1.26. El
resultado es
Z

p(t) =
Z
p(f ) =



p(f ) exp i2f t df



p(t) exp i2f t dt

(1.34)

Esta formula in es espe ialmente til en apli a iones experimentales. Obsrvese que tiene la ventaja de que no se requiere ms del fa tor 2 .
Una ondi in su iente para la existen ia de la transformada de Fourier
de p(t) es que sea absolutamente integrable en el eje real, es de ir,
Z

|p(t)|dt <

Como ejemplo, la transformada de Fourier (1.27) de la fun in

p(t) = exp(t2 )

es

(1.35)

10

CHAPTER 1.

SERIES Y TRANSFORMADAS DE FOURIER

p() =

exp(

w2
)
4

Estas fun iones apare en en las guras 1.1 y 1.2.

1.2.2

Transformadas seno y oseno

En el ejemplo anterior p() es real debido a que p(t) es una fun in par
igualmente real. Esto es simplemente una onse uen ia de la ara tersti a
ya itada de las series de Fourier, basada en la presen ia de las fun iones seno
y oseno en la expansin de una fun in real. De he ho, la e ua in (1.27)
se puede es ribir en la forma
p() =



p(t) cos t i sin t dt = c() is()

(1.36)

por lo que la e ua in (1.26) se onvierte en

Z


1
[c() is()] cos t + i sin t d
p(t) =
2
Z 

1
c() cos t + s() sin t d
=
2

(1.37)

donde los trminos imaginarios en la segunda expresin han sido suprimidos

debido a que p(t) es real. Si, adems, p(t) es par (es de ir, p(t) = p(t))
enton es s() 0, debido a que sin t es una fun in impar en general
diferente de ero. Esto dene la Transformada oseno
1
p(t) =
2

Anlogamente, la Transformada

c() cos td

seno

1
p(t) =
2

(1.38)

se apli a a fun iones reales impares:

s() sin td

(1.39)

1.2.

11

TRANSFORMADA DE FOURIER

p()

Figure 1.2: Transformada de Fourier de la fun in de la gura 1.1.

1.2.3

Convolu in

Las transfomradas de Fourier tiene una apli a in importante en el l ulo

de la llamada onvolu in de fun iones, denida por
u(t) = p(t) r(t) =

p( )r(t )d

(1.40)

La opera in de onvolu in, que surge en mltiples ampos, tales omo

la Teora de Sistemas Lineales, el Tratamiento de Seales, et ., tiene las
siguientes propiedades:
p(t) r(t) = r(t) p(t)




p(t) r(t) s(t) = p(t) r(t) s(t)


p(t) r(t) + s(t) = p(t) r(t) + p(t) s(t)

(1.41)

En ottras palabras, se ara teriza por las propiedades onmutativa, aso iativa y distributiva. Ntese que si las fun iones que se onvolu ionan estn

12

CHAPTER 1.

SERIES Y TRANSFORMADAS DE FOURIER

denidas de manera numri a, omo es el aso uando son seales digitales,

se requiere un gran esfuerzo omputa ioal para su l ulo, debido a que se
debe resolver una integral para al ular ada punto. La transformada de
Fourier es muy til para simpli ar esta labor, debido a que
u() = p() g()

(1.42)

En palabras, la transformada de Fourier de la onvolu in de dos fun iones

es igual al produ to de sus transformadas. Una vez al ulado este produ to,
la onvolu in omo tal se obtiene omo su transformada inversa.
1.2.4

Fun in delta de Dira

La Fun in delta de Dira (t) umple un rol importante en el anlisis de

Fourier. Est denida por las siguientes e ua iones:
(t t0 ) =


Z

, t = t0
0, t =
6 t0

(t)dt = 1

(1.43)

p(t)(t t0 )dt = p(t0 )

El signi ado de la primera e ua in es que la fun in es una espina

de longitud innita lo alizada en el sitio t = t0 pero, de a uerdo on la
segunda, tiene rea unitaria.Por alter era e ua in (de la ual la segunda es
slo un aso espe ial orrespondiente a p(t) = 1, t) = 0) seala que el rea
del produ to de una fun in ontinua p(t) y la fun in delta es igual al valor
de p(t en el punto donde la delta est lo alizada (gura 1.3).
De a uerdo on esta deni in, la transformada de Fourier de la fun in
delta de Dira es

()
=





(t t0 ) exp it dt = exp it0

(1.44)

Formalmente, la transformada inversa da una deni in alternativa:

1
(t t0 ) =
2



exp i(t t0 ) d

(1.45)

1.3.

13

TRANSFORMADA DISCRETA DE FOURIER

f (t)

(t)

p(t)

t
t0

Figure 1.3: Fun in delta de Dira

1.3

Transformada dis reta de Fourier

En la pr ti a, el l ulo de la transformada de Fourier rara vez puede ser

realizado de manera analti a por medio de las e ua iones (1.26) y (1.27),
debido a que las fun iones por transformar no estn dadas en forma expresa
sino, por ejemplo, omo seales medidas o resultantes de una dis retiza in
de fun iones ontinuas. La transformada ade uada para esta lase de informa in es la Transformada dis reta de Fourier (DFT, por sus siglas en
ingls), que se puede dedu ir f ilmente de las series de Fourier (e ua iones
1.15 y 1.16). De he ho, onsideremos de nuevo la e ua in (1.16), que se
repite aqu por onvenien ia:
1
pn =

 2nt 
dt,
p(t) exp i

n = 0, 1, 2, . . .

14

CHAPTER 1.

SERIES Y TRANSFORMADAS DE FOURIER

Al dividir el periodo en N intervalos iguales de longitud t y onsiderar un

ndi e mvil m sobre el eje del tiempo, obtenemos las siguientes equivalen ias:
= Nt
t = mt

(1.46)
(1.47)

En onse uen ia, una expresin aproximada para evaluar la integral es

.
pn =

N 1
 2nmt 
1 X
t
pm exp i
Nt m=0
Nt

(1.48)

donde pm denota el valor de p(t) en el punto dis reto m. Al simpli ar este

resultado se obtiene
N 1
 2nm 
. 1 X
pm exp i
pn =
N m=0
N

(1.49)

Ahora bien, volviendo a la e ua in (1.15),

p(t) =

 2nt 
pn exp i

n=

la aproxima in en este aso onsiste en ortar la fun in por en ima y por

debajo de un ierto valor nito M . En tal aso, para un tiempo tm = mt
tenemos we have
M
X

 2nm 
pm =
pn exp i
N
n=M

(1.50)

Esta e ua in puede segmentarse en la forma

M
 2nm 
 2nm  X
+
pn exp i
pm =
pn exp i
N
N
n=0
n=M
1
X

(1.51)

Al tomar en onsidera in la periodi idad de los armni os que omponen

la fun in expone ial, puede verse que la primera parte de este resultado se
puede poner en la forma

1.3.

15

TRANSFORMADA DISCRETA DE FOURIER

1
X

 2(n + N)m 
pn+N exp i
N
n=M

Deniendo n + N y M (N 1)/2, la e ua in (1.50) deviene en

M
 2nm 
 2m  X
+
pn exp i
pm =
p exp i
N
N
n=0
=M +1
2M
X

pm =

2M
X

 2nm 
pn exp i
N
n=0

Por ltimo, omo N = 2M + 1, obtenemos el resultado nal:

pm =

N
1
X

 2nm 
pn exp i
N
n=0

(1.52)

Las e ua iones (1.49) y (1.52) onstituyen el par de transformadas dis retas de Fourier, que se requiere para transformar datos dis retos o instrumentales, tomados a intervalos onstantes, del eje del tiempo al de la fre uen ia
y vis eversa.
Apndi e: Transformada rpida de Fourier

El l ulo de la transformada dis reta, dire ta o inversa, por medio de las

e ua iones (1.49) o (1.52), es altamente ostoso en trminos omputa ionales
debido a la ne esidad de realizar N multipli a iones omplejas para otener
ada uno de los N puntos del resultado. Para ser exa tos, se requiere de
N 2 multipli a iones ms N(N 1) sumas, todas omplejas, por lo que el
total de opera iones es O(N 2 ). Por ello, en d adas re ientes se han desarrollado algoritmos para redu ir drsti amente esta labor. stos se ono en
ole tivamente on el nombre de Transformada rpida de Fourier (FFT, por
sus siglas en ingls). En esta se in, resumiremos uno de los ms populares
entre ellos, que requiere slamente de O(N log2 N) opera iones aritmti as
omplejas. Para ilustrar el signi ado de esta redu in, para N = 2048,
N 2 = 4, 194, 304 mientras que N log2 N = 22, 528, es de ir, se tiene una

16

CHAPTER 1.

SERIES Y TRANSFORMADAS DE FOURIER

|
p()|

150

100

50

(rad/s)

0
0

20

40

60

80

100 120 140

Figure 1.4: Mdulo de la DFT del registro del terremoto de la gura ??.

diferen ia de dos rdenes de magnitud. Esto expli a por qu estos algoritmos han tenido un impa to enorme en mu hos ampos de la ingeniera y
la te nologa, donde se requiere la transformada de Fourier para diversos
porpsitos.
Supongamos que el nmero de puntos N es una poten ia de 2. Si no es
as, siempre resulta posible agregar eros a la seal hasta ompletar un valor
as. Como las transformadas dire ta e inversa dieren solamente en el signo
del exponente y en la presen ia del fa tor 1/N , nos on entraremos en el
l ulo de la se uen ia
qn =

N
1
X

 2nm 
qm exp i
N
m=0

(1.53)

1.3.

TRANSFORMADA DISCRETA DE FOURIER

17

Siguiendo la nota in estndar en tratamiento de seales, es pr ti o es ribir

esta e ua in en la forma
qn =

N
1
X

(1.54)

qm wNnm

m=0

donde wN = exp(i 2
). Ntese que la fun in wNr tiene iertas propiedades
N
interesantes:
1. r 2:

(1.55)

wN2 = wN/2

2
pues exp(2i 2
) = exp(i N/2
)
N

2. r s + N/2 :
wNs+N/2 = wNN/2 wNs = wNs

(1.56)

porque exp( N2 i 2
) = exp(i) = 1.
N
Como el nmero de puntos es una poten ia de 2, siempre es posible separar
las ontribu iones de los puntos pares e impares, as:
qn =

qm wNnm +

meven

qm wNnm

(1.57)

modd

Al jar m = 2l para la primera suma y m = 2l +1 para la segunda obtenemos

N

N
1
2

qn =

q2l wN +

q2l (wN2 )ln + wNn

2ln

l=0

q2l+1 wN(2l+1)n

l=0

N
1
2

1
2
X

X
l=0

1
2
X

q2l+1 (wN2 )ln

(1.58)

l=0

Tomando en uenta la e ua in (1.55), esta e ua in se redu e a

N
1
2

N
1
2

qn =

X
l=0

ln
q2l wN/2
+ wNn

X
l=0

ln
q2l+1 wN/2

(1.59)

18

CHAPTER 1.

SERIES Y TRANSFORMADAS DE FOURIER

r0

p0

p2

p4

point

DFT

r1
r2
r3

p6

p0
0
wN

p1
1
wN

p2
2
wN

p3
3
wN

p1

p3

p5

point

s0

4
wN

s1

5
wN

s2

6
wN

s3

7
wN

DFT

p7

p4

p5

p6

p7

Figure 1.5: Primer estadio del l ulo de una DFT de 8 puntos.

Cada una de las sumas anteriores onstituye una transformada de Fourier de
N/2 puntos, por lo ual la e ua in (1.59) se puede es ribir en la forma
qn = rn + wNn sn

(1.60)

Ntese que las se uen ias rn y sn son peridi as on periodo N/2. En onse uen ia, para N = 8 q4 = q0 , et ., de manera que q5 = r1 +w85s1 , por ejemplo.
Este pro edimiento apare e representado en la gura 1.5 para N = 8. En la
gura, los oe ientes es ritos junto a las e has son fa tores de los valores
transmitidos por stas y los r ulos indi an suma (los oe ientes no es ritos
son iguales a la unidad).
En ada paso de este algoritmo se repite la anterior des omposi in de
ada una de las se uen ias que deja omo resultado el paso anterior. A medida que avanza la des omposi in la se uen ia original se altera de la manera
que indi a la gura 1.6 debido al agrupamiento en puntos de numera in par
e impar en ada aso. Bajo las se uen ia ini ial y nal la gura muestra la

1.3.

19

TRANSFORMADA DISCRETA DE FOURIER

p0 (000)

p0

p0 (000)

p1 (001)

p2

p4 (100)

p2 (010)

p4

p2 (010)

p3 (011)

p6

p6 (110)

p4 (100)

p1

p1 (001)

p5 (101)

p3

p5 (101)

p6 (110)

p5

p3 (011)

p7 (111)

p7

p7 (111)

Figure 1.6: Genera in de la se uen ia reversa de bits.

s
wN
s
wN
s+N/2

wN

(a)

(b)

Figure 1.7: Cmputo de una DFT de 2 puntos.

forma binaria del ndi e de ada dato. Se puede ver que la formas binarias
nales orresponden a las ini iales on el orden de los bits alterados, he ho

20

CHAPTER 1.

SERIES Y TRANSFORMADAS DE FOURIER

p0

p0

p4

p1
-1

0
wN

p2

p2
-1

0
wN

p6
-1

0
wN

p3

-1

1
wN

p1

p4
-1

2
wN

p5
-1

2
wN

p3

p5
-1

3
wN

p6

-1

-1

-1

-1

2
wN

p7
-1

p7

Figure 1.8: Estadio nal del mputo de una FFT de 8 puntos.

que es aprove hado en el mputo de la FFT. Al nal evidentemente se llega
a N/2 se uen ias de Fourier de dos puntos omo la mostrada en la gura
1.7(a). Por medio de la e ua in (1.56) se puede ver que las opera iones
indi adas por la gura 1.7(a) se redu en a las ilustradas por la gura 1.7(b).
La gura 1.8 seala los l ulos nales ne esarios para obtener una FFT de
o ho puntos.