Está en la página 1de 56

ANALISIS DE FOURIER

[Fundamentos]

Luis Antonio Bautista Hernndez
luisantonio.bautista@gmail.com
13/08/2011



[Este documento es una recopilacin breve de la teora bsica de Fourier. Se ha procurado
hacer un seguimiento lgico del contenido de modo que resulte ser un documento de gua a
quienes desconozcan por completo de los fundamentos necesarios para abordar este tema.]
0 1 2 3 4 5 6 7 8 9 10
-10
-5
0
5
10
x=2*sin(2.34*t)+6*sin(45*t)
t(seg)
0 100 200 300 400 500 600 700
0
1000
2000
3000
Espectro de frecuencias
1


INTRODUCCIN

El anlisis de Fourier recibe el nombre en honor a Joseph Fourier (1768-1830), matemtico
francs que vivi durante la era napolenica y acompa a Napolen en su campaa a
Egipto). Fourier es honrado justamente al tener su nombre vinculado a esta importante rama
del anlisis. Sin embargo, como podamos esperar, muchos de los contemporneos de Fourier
y predecesores inmediatos contribuyeron a esta gran obra.

Leonhard Euler (1707-1783) fue un matemtico suizo considerado por algunos el mayor
analista que haya existido, en sus investigaciones aparecen las series de Fourier.

Poco despus de esta observacin, en 1754, Jean D'Alembert (1717-1783) obtuvo el desarrollo
trigonomtrico en cosenos para el reciproco de la distancia entre dos planetas en trminos de
ngulos entre los vectores del origen a los planetas.

Las formulas integrales para los coeficientes de fourier aparecieron en el trabajo de
DAlembert.

As, a mediados del siglo XVIII, empezaron a aparecer las series trigonomtricas y los
matemticos mas importantes las estudiaron e hicieron clculos con ellas.

La importancia de la teora de Fourier no fue totalmente entendida en ese tiempo y algunos
de los clculos simplemente eran incorrectos. Sin embargo su aparicin en conexin con
problemas importantes plante preguntas y condujo a una mayor investigacin sobre ellas.
Una pregunta, por ejemplo, era como una funcin no peridica poda ser representada
mediante una serie en senos y cosenos, que son peridicos.

Hacia 1750, las formulas integrales para los coeficientes de Fourier ya eran conocidas, si bien
no siempre se confiaba en ellas.

Matemticos como Euler preferan obtener las series trigonomtricas de otra manera.

Como estudiante Joseph fourier mostr talento para las matemticas, pero las tomo como
profesin nicamente cuando su origen (era hijo de un sastre) le impidi obtener un cargo
militar.

Un problema muy importante a principios del siglo XIX era la descripcin matemtica de la
conduccin del calor en diferentes medios. En 1807, Fourier envi un artculo sobre este
tema a la prestigiosa Academia de Ciencias de Paris, en calidad de concursante a un premio
que se haba ofrecido al estudio mas exitoso de este problema. Gigantes de las matemticas
como Laplace, Lagrange y Legendre fueron quienes calificaron el trabajo y lo rechazaron por
falta de rigor. Sin embargo alentaron a Fourier a que continuara con su investigacin y
completara los detalles que haba omitido. En 1811, Fourier envi una versin corregida de su
artculo y gan el premio de la academia. Por ultimo en 1822, Fourier public el que ahora es
su clsico trabajo Theorie analytique de la chaleur, incorporando la mayor parte de sus
resultados de 1811 junto con algunos nuevos [1].

Podemos decir con seguridad que la teora de Fourier nacida en el siglo XVIII, ha transcendido
hasta nuestros tiempos para imponerse ya que ha fundamentado el principio de la era digital
abarcando campos nunca antes imaginados por la mente humana. Se ha constituido en el
peldao de las modernas tecnologas tales como las telecomunicaciones modernas, el
procesamiento de seales, la industria militar de avanzada, la electrnica y la visin por
computadora entre otras aplicaciones.

De otra parte debe darse especial reconocimiento al desarrollo de los algoritmos de Cooley y
Tukey (1965) conocidos como las transformadas rpidas de Fourier y que se constituy en la
pieza fundamental que hizo posible la implementacin de la teora de Fourier en las
computadoras reduciendo el tiempo de procesamiento, y sin el cual la teora de Fourier no
2


sera ms que una teora poco prctica en el caso del tratamiento del sonido y de la imagen
aun disponiendo de la velocidad de los modernos procesadores.

Tal como lo asegura Oppenheim la importancia del tratamiento discreto posible mediante el
anlisis de Fourier, continuar creciendo casi con toda certeza y es probable que los futuros
desarrollos en este campo sean incluso ms importantes que los actuales [2].

Con este documento se pretende hacer un seguimiento de la teora de Fourier partiendo del
concepto de series de Fourier en variable real y en variable compleja realizando sus
deducciones mediante las series de Taylor y la aproximacin por mnimos cuadrados. Paso
seguido se estudia el concepto de la transformada de Fourier y su aplicacin a las funciones
no peridicas, luego se estudia el concepto de transformadas de Fourier en variable discreta
y finalmente se estudia la transformada rpida de Fourier donde se consideran los algoritmos
computacionales respectivos.

Adicional a los conceptos tericos, se considerarn algunos ejemplos y rutinas de programas
elaborados en Matlab por ser una herramienta adecuada para este tipo de problemas que
involucran operaciones entre vectores y matrices adems de su facilidad de programacin.







3


1 LAS SERIES DE TAYLOR

Se ha propuesto la deduccin de las identidades de las series de Taylor debido a que se
consideran importantes para definir las identidades de Euler.

Taylor propone que una funcin f(x) se puede expresar como una suma infinita de
polinomios de la forma:
+ + + + =
3
3
2
2 1 0
) c x ( a ) c x ( a ) c x ( a a ) x ( f

Luego el objeto de este mtodo es disponer de un procedimiento que permita obtener el
valor de los coeficientes a
0
a
1
a
n
. La clave consiste en computar las derivas sucesivas de
la serie y luego proceder a evaluar las derivadas de la serie para c x = .

+ + + + =
3
3
2
2 1 0
) c x ( a ) c x ( a ) c x ( a a ) x ( f

+ + + + =
3
4
2
3 2 1
) c x ( a 4 ) c x ( a 3 ) c x ( a 2 a ) x ( ' f

+ + + + =
3
5
2
4 3 2
) c x ( a 5 4 ) c x ( a 4 3 ) c x ( a 3 2 a 2 ) x ( ' ' f

3
6
2
5 4 3
) c x ( a 6 5 4 ) c x ( a 5 4 3 ) c x ( a 4 3 2 a 3 2 ) x ( ' ' ' f + + + =
+ + + =
2
6 5 4
IV
) c x ( a 6 5 4 3 ) c x ( a 5 4 3 2 a 4 3 2 ) x ( f


Ahora evaluamos a cada polinomio en c x = .
0
a ) c ( f =

1
a ) c ( ' f =

2
a 2 ) c ( ' ' f =

3
a 3 2 ) c ( ' ' ' f =

4
. 4 3 2 ) ( a c f
IV
=

5
V
a 5 4 3 2 ) c ( f =


A partir de las anteriores ecuaciones podemos deducir el valor de los coeficientes
desconocidos as:
) c ( f a
0
=

) c ( ' f a
1
=

! 2
) c ( ' ' f
2
) c ( ' ' f
a
2
= =

! 3
) c ( ' ' ' f
3 2
) c ( ' ' ' f
a
3
=

=

! 4
) c ( f
4 3 2
) c ( ' ' ' f
a
IV
4
=

=


En consecuencia deducimos que.
! n
) c ( f
n 4 3 2
) c ( f
a
) n ( ) n (
n
=

=


4



Reemplazando en la serie se obtiene.

+ + + + =
3 2
) c x (
! 3
) c ( ' ' ' f
) c x (
! 2
) c ( ' ' f
) c x )( c ( ' f ) c ( f ) x ( f


Luego se puede escribir esta serie en notacin sumatoria.

n
0 n
) n (
) c x (
! n
) c ( f
) x ( f =

=


Para el caso en que 0 c = , la serie de Taylor se transforma en.

n
0 n
) n (
) x (
! n
) 0 ( f
) x ( f

=
=
la cual se conoce como serie de Maclaurin.


Como ejemplo de aplicacin de las series de Taylor, podemos obtener las series de Taylor de
las funciones
x
e ,
) x ( sen
y
) x cos(
.


DESARROLLO DE LA FUNCIN SENOIDAL MEDIANTE SERIES DE MACLAURIN

Calculo de las derivadas
+ + + + =
3
3
2
2 1 0
) x ( a ) x ( a ) x ( a a ) x ( sen

+ + + + =
3
4
2
3 2 1
) x ( a 4 ) x ( a 3 ) x ( a 2 a ) x cos(

+ + + + =
3
5
2
4 3 2
) x ( a 5 4 ) x ( a 4 3 ) x ( a 3 2 a 2 ) x ( sen

3
6
2
5 4 3
) x ( a 6 5 4 ) x ( a 5 4 3 ) x ( a 4 3 2 a 3 2 ) x cos( + + + =
+ + + =
2
6 5 4
) x ( a 6 5 4 3 ) x ( a 5 4 3 2 a 4 3 2 ) x ( sen


Evaluacin de las derivadas
0
a ) 0 ( sen =

1
a ) 0 cos( =

2
a 2 ) 0 ( sen =

3
a 3 2 ) 0 cos( =

4
a 4 3 2 ) 0 ( sen =


Despejando las incgnitas se tiene.
0 a
0
=

1 a
1
=

0 a
2
=

5


! 3
1
a
3

=

0 a
4
=

! 5
1
a
5
=


Reemplazando en el polinomio original se obtiene.
+ + =
! 7
x
! 5
x
! 3
x
x ) x ( sen
7 5 3
se puede escribir en notacin sumatoria.

=
1 n
1 n 2
1 n
)! 1 n 2 (
x
) 1 ( ) x ( sen





DESARROLLO DE LA FUNCIN COSENOIDAL MEDIANTE SERIES DE MACLAURIN

Calculo de las derivadas
+ + + + =
3
3
2
2 1 0
) x ( a ) x ( a ) x ( a a ) x cos(

+ + + + =
3
4
2
3 2 1
) x ( a 4 ) x ( a 3 ) x ( a 2 a ) x ( sen

+ + + + =
3
5
2
4 3 2
) x ( a 5 4 ) x ( a 4 3 ) x ( a 3 2 a 2 ) x cos(

3
6
2
5 4 3
) x ( a 6 5 4 ) x ( a 5 4 3 ) x ( a 4 3 2 a 3 2 ) x ( sen + + + =
+ + + =
2
6 5 4
) x ( a 6 5 4 3 ) x ( a 5 4 3 2 a 4 3 2 ) x cos(


Evaluacin de las derivadas
0
a ) 0 cos( =

1
a ) 0 ( sen =

2
a 2 ) 0 cos( =

3
a 3 2 ) 0 ( sen =

4
a 4 3 2 ) 0 cos( =


Despejando las incgnitas se tiene.
1 a
0
=

0 a
1
=

! 2
1
a
2

=

0 a
3
=

! 4
1
a
4
=

6


0 a
5
=


Reemplazando en el polinomio original se obtiene.
+ + =
! 6
x
! 4
x
! 2
x
1 ) x cos(
6 4 2
se puede escribir en notacin sumatoria.

=
=
0 n
n 2
n
)! n 2 (
x
) 1 ( ) x cos(




DESARROLLO DE LA FUNCIN EXPONENCIAL MEDIANTE SERIES DE MACLAURIN

Calculo de las derivadas
+ + + + =
3
3
2
2 1 0
x
) x ( a ) x ( a ) x ( a a e

+ + + + =
3
4
2
3 2 1
x
) x ( a 4 ) x ( a 3 ) x ( a 2 a e

+ + + + =
3
5
2
4 3 2
x
) x ( a 5 4 ) x ( a 4 3 ) x ( a 3 2 a 2 e

3
6
2
5 4 3
x
) x ( a 6 5 4 ) x ( a 5 4 3 ) x ( a 4 3 2 a 3 2 e + + + =
+ + + =
2
6 5 4
x
) x ( a 6 5 4 3 ) x ( a 5 4 3 2 a 4 3 2 e


Evaluacin de las derivadas
0
0
a e =

1
0
a e =

2
0
a 2 e =

3
0
a 3 2 e =

4
0
a 4 3 2 e =


Despejando las incgnitas se tiene.
1 a
0
=

1 a
1
=

! 2
1
a
2
=

! 3
1
a
3
=

! 4
1
a
4
=

! 5
1
a
5
=


Reemplazando en el polinomio original se obtiene.
7


+ + + + + + =
! 5
x
! 4
x
! 3
x
! 2
x
x 1 e
5 4 3 2
x
se puede escribir en notacin sumatoria.

=
=
0 n
n
x
! n
x
e



Resumen Series de Taylor de Algunas Funciones Bsicas.

=
=
0 n
n
) n (
) c x (
! n
) c ( f
) x ( f

=
=
0 n
n
) n (
) x (
! n
) 0 ( f
) x ( f

+ + =
! 7
x
! 5
x
! 3
x
x ) x ( sen
7 5 3

=
1 n
1 n 2
1 n
)! 1 n 2 (
x
) 1 ( ) x ( sen

+ + =
! 6
x
! 4
x
! 2
x
1 ) x cos(
6 4 2

=
=
0 n
n 2
n
)! n 2 (
x
) 1 ( ) x cos(

+ + + + + + =
! 5
x
! 4
x
! 3
x
! 2
x
x 1 e
5 4 3 2
x

=
=
0 n
n
x
! n
x
e



8


2 LAS IDENTIDADES DE EULER
En segundo lugar se propone el desarrollo de las identidades de Euler debido a que estas
identidades hacen parte fundamental de las identidades de los nmeros complejos.

Con las frmulas antes desarrolladas podemos obtener las identidades de Euler.

Partimos de la serie de Maclaurin de la funcin exponencial.
+ + + + + + =
! 5
x
! 4
x
! 3
x
! 2
x
x 1 e
5 4 3 2
x

Si reemplazamos el argumento de la funcin por ix tal que 1 i = , se obtiene.

+ + + + =
! 6
x
! 5
x
i
! 4
x
! 3
x
i
! 2
x
ix 1 e
6 5 4 3 2
ix


Reagrupando la parte real y la parte imaginaria se obtiene.
|
|
.
|

\
|
+ + +
|
|
.
|

\
|
+ + =
! 7 ! 5 ! 3 ! 6 ! 4 ! 2
1
7 5 3 6 4 2
x x x
x i
x x x
e
ix



Se concluye que.
) x ( iSen ) x ( Cos e
ix
+ =


La identidad anterior se puede reescribir de otra manera si el argumento es un nmero
negativo.

) x ( iSen ) x ( Cos e
ix
=


A partir de las identidades anteriores podemos deducir dos nuevas identidades.

2
e e
) x cos(
ix ix
+
=
,
i 2
e e
) x ( sen
ix ix

=


Resumen (LAS IDENTIDADES DE EULER).
) x ( iSen ) x ( Cos e
ix
+ =

) x ( iSen ) x ( Cos e
ix
=


2
e e
) x cos(
ix ix
+
=

i 2
e e
) x ( sen
ix ix

=


9



3 APROXIMACIN POR MNIMOS CUADRADOS

La tcnica de aproximacin por mnimos cuadrados se ha propuesto en tercer lugar debido a
que son la base fundamental de la tcnica de aproximacin de las series de Fourier.

La tcnica de aproximacin por mnimos cuadrados propone que a partir de una funcin f(x)
es posible encontrar una funcin g(x) que se aproxime a f(x) en un intervalo axb.

La idea principal de esta tcnica consiste en plantear la funcin de error entre f(x) y g(x)
para el intervalo dado.

( )
}
=
b
a
dx ) x ( g ) x ( f ) x ( E
Sin embargo este mtodo contiene un error fundamental
ya que siempre existe la posibilidad de que un error positivo se anule con un error negativo.
Para evitar el problema anterior se puede plantear la integral del valor absoluto pero la
funcin valor absoluto presenta el inconveniente de no ser derivable en ciertos puntos. Los
matemticos decidieron plantear la integral del cuadrado del error y esa es la principal razn
por la cual se propone la integral de error cuadrtico as.

( )
}
=
b
a
2
2
dx ) x ( g ) x ( f ) x ( E

De otra parte la funcin de aproximacin g(x) se puede proponer como una combinacin
lineal de funciones generadoras.

Partimos de una base
)} x ( g , ), x ( g ), x ( g ), x ( g { B
n 3 2 1
=
de tal modo que

) x ( g c ) x ( g c ) x ( g c ) x ( g c ) x ( g
n n 3 3 2 2 1 1
+ + + + =


Se trata de encontrar el valor de los coeficientes c
1
, c
2
, c
3
, c
n
de g(x) que minimicen la
integral del error cuadrtico.

( ) dx ) g fg 2 f ( dx ) x ( g ) x ( f ) x ( E
b
a
2 2
b
a
2
2
} }
+ = =

Se plantean las derivadas parciales de la funcin error cuadrtico con respecto a los
coeficientes desconocidos hasta ahora.


0 dx )
c
g
g 2
c
g
f 2
c
f
(
c
) x ( E
b
a k k k
2
k
2
=
c
c
+
c
c

c
c
=
c
c
}

Para k=1,2,3,.,n

Se resuelven cada una de las derivadas parciales.
10


0
c
f
k
2
=
c
c
Porque f(x) no depende de C
k

) x ( g )) x ( g c ) x ( g c ) x ( g c ) x ( g c ) x ( g c (
c c
g
k n n k k 3 3 2 2 1 1
k k
= + + + + +
c
c
=
c
c


) x ( g )) x ( g c ) x ( g c ) x ( g c ( 2
c
g
g 2
k n n 2 2 1 1
k
+ + + =
c
c



Reemplazando en la integral preliminar se obtiene.

0 dx ) g ) g c g c g c ( 2 dx ) fg ( 2
b
a
k
b
a
n n 2 2 1 1 k
= + + + +
} }


Eliminando el factor comn (2) se obtiene la ecuacin caracterstica.

} }
= + + +
b
a
k k
b
a
n n 2 2 1 1
dx ) fg ( dx g ) g c g c g c (

Para k=1,2,3,.,n


La anterior expresin se puede expresar as.
} } } }
= + + +
b
a
k
b
a
b
a
k n n k 2 2
b
a
k 1 1
dx fg dx g g c dx g g c dx g g c

Para k=1,2,3,.,n

Reemplazando para cada uno de los valores de (k) se obtiene el siguiente sistema de
ecuaciones.

} } } }
} } } }
} } } }
} } } }
= + + +
= + + +
= + + +
= + + +
b
a
n
b
a
b
a
n n n n 2 2
b
a
n 1 1
b
a
3
b
a
b
a
3 n n 3 2 2
b
a
3 1 1
b
a
2
b
a
b
a
2 n n 2 2 2
b
a
2 1 1
b
a
1
b
a
b
a
1 n n 1 2 2
b
a
1 1 1
dx fg dx g g c dx g g c dx g g c
dx fg dx g g c dx g g c dx g g c
dx fg dx g g c dx g g c dx g g c
dx fg dx g g c dx g g c dx g g c


11




El sistema de ecuaciones anterior se puede reescribir como una matriz ampliada as.

|
|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
} } } }
} } } }
} } } }
} } } }
b
a
n
b
a
n n
b
a
n 2
b
a
n 1
b
a
3
b
a
3 n
b
a
3 2
b
a
3 1
b
a
2
b
a
2 n
b
a
2 2
b
a
2 1
b
a
1
b
a
1 n
b
a
1 2
b
a
1 1
dx fg dx g g dx g g dx g g
dx fg dx g g dx g g dx g g
dx fg dx g g dx g g dx g g
dx fg dx g g dx g g dx g g




Finalmente, para obtener los coeficientes, se procede a realizar la eliminacin gaussiana de
la matriz ampliada.


|
|
|
|
|
|
.
|

\
|
n
3
2
1
c 1 0 0
c 0 0 0
c 0 1 0
c 0 0 1



Enseguida se resumen el mtodo de aproximacin por mnimos cuadrados.


12


RESUMEN DEL MTODO (APROXIMACIN POR MINIMOS CUADRDOS).
Dada una funcin
) x ( f
, Existe una funcin
) x ( g
que es la combinacin lineal de un
conjunto de funciones que conforman una base generadora de la forma.
)} x ( g , ), x ( g ), x ( g ), x ( g { B
n 3 2 1
=
Tal que.

) x ( g c ) x ( g c ) x ( g c ) x ( g c ) x ( g
n n 3 3 2 2 1 1
+ + + + =


El valor de los coeficientes
n 3 2 1
c , , c , c , c
se obtiene eliminado la matriz ampliada
siguiente.

) 1 n ( x ) n (
b
a
n
b
a
n n
b
a
n 2
b
a
n 1
b
a
3
b
a
3 n
b
a
3 2
b
a
3 1
b
a
2
b
a
2 n
b
a
2 2
b
a
2 1
b
a
1
b
a
1 n
b
a
1 2
b
a
1 1
dx fg dx g g dx g g dx g g
dx fg dx g g dx g g dx g g
dx fg dx g g dx g g dx g g
dx fg dx g g dx g g dx g g
+
|
|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
} } } }
} } } }
} } } }
} } } }




Ejemplo.
Encuentre una aproximacin a la funcin ) x ( sen ) x ( f = mediante un polinomio de la
forma:
3
3
2
2 1 0
x a x a x a a ) x ( g + + + =
en el intervalo 2 x 0 s s .

Solucin.
Se propone una base de la forma. } x , x , x , 1 { B
3 2
= que es la base de los polinomios de
grados tres.

Se plantea la matriz.

|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
} } } } }
} } } } }
} } } } }
} } } } }
2
0
3
2
0
6
2
0
5
2
0
4
2
0
3
2
0
2
2
0
5
2
0
4
2
0
3
2
0
2
2
0
2
0
4
2
0
3
2
0
2
2
0
2
0
2
0
3
2
0
2
2
0
2
0
dx ) x ( sen x dx x dx x dx x dx x
dx ) x ( sen x dx x dx x dx x dx x
dx ) x ( xsen dx x dx x dx x xdx
dx ) x ( sen dx x dx x xdx dx


13



Paso seguido se evala la matriz.
|
|
|
|
|
.
|

\
|
6sin(2) + 4cos(2) 7 / 128 3 / 32 32/5 4
2 - 4sin(2) + 2cos(2) - 32/3 32/5 4 8/3
2cos(2) - sin(2) 32/5 4 8/3 2
1 + cos(2) - 4 8/3 2 2



Ahora se efecta la eliminacin gaussiana y se obtiene.
|
|
|
|
|
.
|

\
|
6sin(2) + 4cos(2) 7 / 128 3 / 32 32/5 4
2 - 4sin(2) + 2cos(2) - 32/3 32/5 4 8/3
2cos(2) - sin(2) 32/5 4 8/3 2
1 + cos(2) - 4 8/3 2 2
=
|
|
|
|
|
.
|

\
|
0.0852 - 1 0 0 0
0.1360 - 0 1 0 0
1.0668 0 0 1 0
0.007 - 0 0 0 1



3 2
x 0852 . 0 x 136 . 0 x 0668 . 1 007 . 0 ) x ( g + =
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
x
sin(x)

Grficamente podemos observar en la grfica de f(x) que g(x) es una buena aproximacin.

14


4 SERIES DE FOURIER

La idea bsica de la teora de Fourier consiste en proponer que toda funcin peridica por
compleja que esta sea, se puede expresar como la suma de muchas funciones senoidales o
cosenoidales de diferente amplitud y frecuencia. En la grfica siguiente podemos observar
como la funcin de abajo que tiene una apariencia irregular, es la suma de las funciones de
arriba las cuales son funciones senoidales con amplitudes y frecuencias distintas.

0 1 2 3 4 5 6 7 8 9 10
-5
0
5
3sin(2t)
0 1 2 3 4 5 6 7 8 9 10
-2
0
2
2sin(4t)
0 1 2 3 4 5 6 7 8 9 10
-5
0
5
4sin(5t)
0 1 2 3 4 5 6 7 8 9 10
-10
0
10
3sin(2t)+2sin(4t)+4sin(5t)


En trminos matemticos la teora de Fourier propone que toda funcin peridica ) t ( f con
periodo T, definida en el intervalo 2 / T t 2 / T s s se puede expresar como una suma infinita
de seales armnicas as.

) t n cos( b ) t 3 cos( b ) t 2 cos( b ) t cos( b
) t n ( sen a ) t 3 ( sen a ) t 2 ( sen a ) t ( sen a a ) t ( f
n 3 2 1
n 3 2 1 0
e + + e + e + e
+ e + + e + e + e + =



Siendo e, la frecuencia fundamental y e n es una frecuencia de orden superior tal que.
T
2t
= e


Escrito en forma ms compacta se tiene.



=

=
e + e + =
1 n
n
1 n
n 0
) t n cos( b ) t n ( sen a a ) t ( f


15


Se trata entonces de encontrar el valor de los coeficientes de la serie de Fourier. Para
encontrar estos coeficientes, nos basamos en el hecho de que los coeficientes corresponden a
la expresin que mejor se ajusta y para ello se propone el mtodo de aproximacin por
mnimos cuadrados como se explica enseguida.



Se parte de la base generadora.
)} t n cos( ), t 2 cos( ), t cos( ), t n ( sen ), t 2 ( sen ), t ( sen , 1 { B e e e e e e =

A partir de la base generadora se propone la matriz ampliada del sistema de ecuaciones
correspondientes.
Por razones de espacio se propone la matriz ampliada para la series de Fourier de orden dos.

|
|
|
|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
e e e e e e e e e
e e e e e e e e e
e e e e e e e e e
e e e e e e e e e
e e e e
} } } } } }
} } } } } }
} } } } } }
} } } } } }
} } } } } }





2 / T
2 / T
2 / T
2 / T
2
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
dt ) t ( f ) t 2 cos( dt ) t 2 ( cos dt ) t cos( ) t 2 cos( dt ) t 2 ( sen ) t 2 cos( dt ) t ( sen ) t 2 cos( dt ) t 2 cos(
dt ) t ( f ) t cos( dt ) t cos( ) t 2 cos( dt ) t ( cos dt ) t cos( ) t 2 ( sen dt ) t cos( ) t ( sen dt ) t cos(
dt ) t ( f ) t 2 ( sen dt ) t 2 cos( ) t 2 ( sen dt ) t cos( ) t 2 ( sen dt ) t 2 ( sen dt ) t ( sen ) t 2 ( sen dt ) t 2 ( sen
dt ) t ( f ) t ( sen dt ) t 2 cos( ) t ( sen dt ) t cos( s ) t ( sen dt ) t 2 ( sen ) t ( sen dt ) t ( sen dt ) t ( sen
dt ) t ( f dt ) t 2 cos( dt ) t cos( dt ) t 2 ( sen dt ) t ( sen dt


Enseguida se calcula cada una de las integrales requeridas.
T dt
2 / T
2 / T
=
}


0 dt ) t n ( sen
2 / T
2 / T
= e
}


0 dt ) t n cos(
2 / T
2 / T
= e
}


0 dt ) t m cos( ) t n ( sen
2 / T
2 / T
= e e
}

para m n =
2
T
dt
2
) t n 2 cos(
dt
2
1
dt
2
) t n 2 cos( 1
dt ) t n ( sen
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2
=
e
=
e
= e
} } } }


2
T
dt
2
) t n 2 cos(
dt
2
1
dt
2
) t n 2 cos( 1
dt ) t n ( cos
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2
=
e
+ =
e +
= e
} } } }



Al reemplazar en la matriz se obtiene lo siguiente.
16


|
|
|
|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
e e e e e e e e e
e e e e e e e e e
e e e e e e e e e
e e e e e e e e e
e e e e
} } } } } }
} } } } } }
} } } } } }
} } } } } }
} } } } } }





2 / T
2 / T
2 / T
2 / T
2
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
dt ) t ( f ) t 2 cos( dt ) t 2 ( cos dt ) t cos( ) t 2 cos( dt ) t 2 ( sen ) t 2 cos( dt ) t ( sen ) t 2 cos( dt ) t 2 cos(
dt ) t ( f ) t cos( dt ) t cos( ) t 2 cos( dt ) t ( cos dt ) t cos( ) t 2 ( sen dt ) t cos( ) t ( sen dt ) t cos(
dt ) t ( f ) t 2 ( sen dt ) t 2 cos( ) t 2 ( sen dt ) t cos( ) t 2 ( sen dt ) t 2 ( sen dt ) t ( sen ) t 2 ( sen dt ) t 2 ( sen
dt ) t ( f ) t ( sen dt ) t 2 cos( ) t ( sen dt ) t cos( s ) t ( sen dt ) t 2 ( sen ) t ( sen dt ) t ( sen dt ) t ( sen
dt ) t ( f dt ) t 2 cos( dt ) t cos( dt ) t 2 ( sen dt ) t ( sen dt

|
|
|
|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
e
e
e
e
}
}
}
}
}

2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
dt ) t ( f ) t 2 cos( 2 / T 0 0 0 0
dt ) t ( f ) t cos( 0 2 / T 0 0 0
dt ) t ( f ) t 2 ( sen 0 0 2 / T 0 0
dt ) t ( f ) t ( sen 0 0 0 2 / T 0
dt ) t ( f 0 0 0 0 T


Se efecta la eliminacin gaussiana de la matriz.

|
|
|
|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
e
e
e
e
}
}
}
}
}

2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
2 / T
dt ) t ( f ) t 2 cos(
T
2
1 0 0 0 0
dt ) t ( f ) t cos(
T
2
0 1 0 0 0
dt ) t ( f ) t 2 ( sen
T
2
0 0 1 0 0
dt ) t ( f ) t ( sen
T
2
0 0 0 1 0
dt ) t ( f
T
1
0 0 0 0 1


El resultado obtenido se emplea para generalizar la serie de Fourier de orden (n) al concluirse
finalmente que.



=

=
e + e + =
1 n
n
1 n
n 0
) t n cos( b ) t n ( sen a a ) t ( f

Donde.
}

=
2 / T
2 / T
0
dt ) t ( f
T
1
a ,
}

e =
2 / T
2 / T
n
dt ) t ( f ) t n ( sen
T
2
a ,
}

e =
2 / T
2 / T
n
dt ) t ( f ) t n cos(
T
2
b , n=0,1,2,


17



Resumen del mtodo (SERIES DE FOURIER).
Dada una funcin peridica f(t) con periodo T, definida en el intervalo T/2tT/2, dicha
funcin se puede expresar como la suma infinita de trminos de la forma.


=

=
e + e + =
1 n
n
1 n
n 0
) t n cos( b ) t n ( sen a a ) t ( f
Donde.
T
2t
= e
}

=
2 / T
2 / T
0
dt ) t ( f
T
1
a ,
}

e =
2 / T
2 / T
n
dt ) t ( f ) t n ( sen
T
2
a ,
}

e =
2 / T
2 / T
n
dt ) t ( f ) t n cos(
T
2
b , . = 0,1,2, n


Ejemplo.


Encuentre la serie de Fourier de orden tres para funcin que se muestra en la figura
asumiendo T=5, k=2.

Definida en el intervalo -T/2tT/2

s s
s s
=
2 / 5 t 0 t 5 / 4
0 t 2 / T 0
) t ( f


Solucin.
Al calcular los coeficientes de Fourier hasta orden cuatro, se obtiene la siguiente expresin.

) t
5
6
cos(
9
4
) t
5
2
cos(
4
) t
5
8
( sen
2
1
) t
5
6
( sen
3
2
) t
5
4
( sen
1
) t
5
2
( sen
2
2
1
) t ( g
2 2
t
t
t
t

t
t
t
t
+ t
t
t
t
+ =



La grfica de g(x) se muestra enseguida.



18


0 5 10 15
0
0.5
1
1.5
t
1/2+2/t sin(2/5 t t)-...-1/2/t sin(8/5 t t)

Aproximacin de Fourier de orden cuatro.


0 5 10 15
0
0.5
1
1.5
2
t
1/2-...-4/1369/t
2
cos(74/5 t t)

Aproximacin de Fourier de orden 40.


Puede observarse que a medida que se incrementa la cantidad de trminos, la serie de
Fourier se asemeja ms a la funcin original. Otro aspecto importante a observar es que en
las discontinuidades de la funcin original, se presentan oscilaciones denominadas fenmeno
de Gibbs en honor al Fsico Matemtico que las estudi [3].
19



5 SERIES DE FOURIER EN VARIABLE COMPLEJA

La ventaja del empleo de notacin en variable compleja para la representacin de las series
de Fourier radica en el hecho de que esta notacin conduce a expresiones ms sencillas que
las desarrolladas en variable real. Esta es con seguridad la principal razn por la cual la
mayora de textos han abordado la teora del anlisis de Fourier en el campo de la variable
compleja.

Para obtener el desarrollo de las series de Fourier en variable compleja se propone una base
de expresiones complejas as.

} , e , e , e , e , e , e , e { B
t j 3 t j 2 t j t j 0 t j t j 2 t j 3

e e e e e e e
=


Ahora se propone un polinomio de la forma.

+ + + + + + =
e e e e

t j 2
2
t j
1
t j 0
0
t j
1
t j 2
2
e c e c e c e c e c ) t ( f


Escrito de una manera ms compacta.

=
e
=
n
t jn
n
e c ) t ( f

Se trata entonces de calcular el valor de los coeficientes
n
c
de la expresin anterior.

Partimos del hecho de que los coeficientes deben corresponder a los valores que mejor
ajustan la serie a la funcin f(t). Para encontrar los coeficientes que mejor ajustan la serie
de Fourier a la funcin f(t), se propone el mtodo de mnimos cuadrados.

Por cuestin de espaci proponemos la demostracin de la serie de Fourier de orden dos, pero
cuyos resultados se extienden a la serie de Fourier de orden n.




|
|
|
|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
} } } } } }
} } } } } }
} } } } } }
} } } } } }
} } } } } }

e
2 / T
2 / T
t j 2
2 / T
2 / T
t j 4
2 / T
2 / T
t j 3
2 / T
2 / T
t j 2
2 / T
2 / T
t j
2 / T
2 / T
t j 0
2 / T
2 / T
t j
2 / T
2 / T
t j 3
2 / T
2 / T
t j 2
2 / T
2 / T
t j
2 / T
2 / T
t j 0
2 / T
2 / T
t j
2 / T
2 / T
t j 0
2 / T
2 / T
t j 2
2 / T
2 / T
t j
2 / T
2 / T
t j 0
2 / T
2 / T
t j
2 / T
2 / T
t j 2
2 / T
2 / T
t j
2 / T
2 / T
t j
2 / T
2 / T
t j 0
2 / T
2 / T
t j
2 / T
2 / T
t j 2
2 / T
2 / T
t j 3
2 / T
2 / T
t j 2
2 / T
2 / T
t j 0
2 / T
2 / T
t j
2 / T
2 / T
t j 2
2 / T
2 / T
t j 3
2 / T
2 / T
t j 4
dt ) t ( f e dt e dt e dt e dt e dt e
dt ) t ( f e dt e dt e dt e dt e dt e
dt ) t ( f e dt e dt e dt e dt e dt e
dt ) t ( f e dt e dt e dt e dt e dt e
dt ) t ( f e dt e dt e dt e dt e dt e



20



Ahora calculamos cada una de las integrales.

0 dt e
2 / T
2 / T
t nj
=
}

e
, 0 n =

T dt dt e
2 / T
2 / T
2 / T
2 / T
t j 0
= =
} }

e


Reemplazando se tiene.

|
|
|
|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
}
}
}
}
}

e
2 / T
2 / T
t j 2
2 / T
2 / T
t j
2 / T
2 / T
2 / T
2 / T
t j
2 / T
2 / T
t j 2
dt ) t ( f e 0 0 0 0 T
dt ) t ( f e 0 0 0 T 0
dt ) t ( f 0 0 T 0 0
dt ) t ( f e 0 T 0 0 0
dt ) t ( f e T 0 0 0 0

Efectuando la eliminacin Gaussiana se obtiene.

|
|
|
|
|
|
|
|
|
|
|
|
|
|
.
|

\
|
}
}
}
}
}

e
2 / T
2 / T
t j 2
2 / T
2 / T
t j
2 / T
2 / T
2 / T
2 / T
t j
2 / T
2 / T
t j 2
dt ) t ( f e
T
1
0 0 0 0 1
dt ) t ( f e
T
1
0 0 0 1 0
dt ) t ( f
T
1
0 0 1 0 0
dt ) t ( f e
T
1
0 1 0 0 0
dt ) t ( f e
T
1
1 0 0 0 0


Se concluye finalmente que.


21

+
|
|
.
|

\
|
+
|
|
.
|

\
|
+
|
|
.
|

\
|
+
|
|
.
|

\
|
+
|
|
.
|

\
|
+ =
e

e e

e e

e e

e
} } }
} }
t j 2
2 / T
2 / T
t j 2 t j
2 / T
2 / T
t j t j 0
2 / T
2 / T
t j
2 / T
2 / T
t j t j 2
2 / T
2 / T
t j 2
e dt ) t ( f e
T
1
e dt ) t ( f e
T
1
e dt ) t ( f
T
1
e dt ) t ( f e
T
1
e dt ) t ( f e
T
1
) t ( f

Se escribe en forma mas compacta mediante la notacin sumatorias as.

=
e
=
n
t jn
n
e c ) t ( f
tal que.
}

e
=
2 / T
2 / T
t jn
n
dt ) t ( f e
T
1
c




Resumen SERIES DE FOURIER EN VARIABLE COMPLEJA.

Dada una funcin peridica f(t) con periodo T, definida en el intervalo T/2 t T/2.
Esta funcin se puede expresar como una suma infinita de la forma.

=
e
=
n
t jn
n
e c ) t ( f
tal que.
}

e
=
2 / T
2 / T
t jn
n
dt ) t ( f e
T
1
c
con,
T
2t
= e











22


6 ESPECTRO DE FRECUENCIAS

El espectro de frecuencia de un fenmeno ondulatorio (sonoro, luminoso o electromagntico)
que es la superposicin de ondas de varias frecuencias, es una medida de la distribucin de
amplitudes de cada frecuencia. Tambin se llama espectro de frecuencia al grfico de
intensidad frente a frecuencia de una funcin desde el punto de vista de las matemticas.

El espectro de frecuencias o descomposicin espectral de frecuencias puede aplicarse a
cualquier concepto asociado con frecuencia o movimientos ondulatorios como son los colores,
las notas musicales, la voz humana, las ondas electromagnticas de radio o TV [4].

La gran fortaleza del anlisis de Fourier radica en el hecho de que permite identificar el
contenido de frecuencias de una funcin. Al igual que un prisma descompone la luz blanca en
sus correspondientes ondas electromagnticas de diferente frecuencia; el anlisis de Fourier
permite identificar el contenido de frecuencias de una funcin f(t).



Espectro de frecuencias de la luz emitida por tomos de hierro libres en la regin visible
del espectro electromagntico.



Seal de voz y su correspondiente espectro de frecuencias.


Un prisma sobre el cual incide la luz blanca, tiene la capacidad de separar las diferentes
frecuencias las cuales son visibles al ojo humano.


23



El espectro de frecuencias de una seal puede ser interpretado como una serie de bandas
de amplitud y frecuencia definidas.

La figura anterior es un buen ejemplo grfico para comprender como una funcin en el
dominio del tiempo f(t), la cual es la superposicin de funciones senoidales o cosenoidales,
puede observarse como una funcin de apariencia irregular desde el punto de vista del
tiempo y de la amplitud. Si disponemos de un mtodo para separar las diferentes
componentes senoidales se la funcin original, entonces podemos identificar las amplitudes y
frecuencias de cada una de estas componentes las cuales son visibles desde el punto de vista
de la frecuencia y la amplitud como una serie de lneas. La vista de la izquierda se conoce
como funcin en el dominio del tiempo mientras que la vista de la derecha se conoce como la
funcin en el dominio de la frecuencia.

0 0.5 1 1.5 2 2.5
-5
0
5
x=3sen(150t)+2sin(30t)
0 20 40 60 80 100 120 140 160 180
0
500
1000
1500
Espectro de frecuencias


Como se puede apreciar en la grfica anterior, una funcin de la forma.
X=3sen(150t)+2sen(30t), se aprecia como dos franjas en el dominio de la frecuencia; una
franja para cada una de las frecuencias de 30 y 150.


La grfica de abajo corresponde a una funcin de la forma. X=3sen(150t), cuyo espectro de
frecuencias corresponde a una nica franja en la frecuencia de 150.
24


0 1 2 3 4 5 6 7 8 9 10
-5
0
5
x=3sen(150t)
0 20 40 60 80 100 120 140 160
0
500
1000
1500
Espectro de frecuencias



7 RELACIN ENTRE LAS AMPLITUDES EN
VARIABLE REAL Y VARIABLE COMPLEJA DE LAS
SERIES DE FOURIER.


Enseguida se muestra la forma de obtener el espectro de frecuencias de una funcin a partir
de las series de Fourier tanto en variable real como en variable compleja.

Series de Fourier en Variable Real.
Dada una funcin peridica f(t) con periodo T, definida en el intervalo T/2tT/2, dicha
funcin se puede expresar como la suma infinita de trminos de la forma.


=

=
e + e + =
1 n
n
1 n
n 0
) t n cos( b ) t n ( sen a a ) t ( f
Donde.
T
2t
= e
}

=
2 / T
2 / T
0
dt ) t ( f
T
1
a ,
}

e =
2 / T
2 / T
n
dt ) t ( f ) t n ( sen
T
2
a ,
}

e =
2 / T
2 / T
n
dt ) t ( f ) t n cos(
T
2
b , . = 0,1,2, n

Las componentes de Fourier en variable real, pueden ser consideradas como fasores
vectores rotantes.
25


A partir de la anterior grfica es fcil concluir que las componentes de las series de Fourier en
variable real pueden ser analizadas como la combinacin de vectores rotantes los cuales giran
en sentido antihorario formado un ngulo (nt) con el eje (X) para el vector de amplitud (a
n
)
y un ngulo (nt) con el eje (Y) para el vector de amplitud (b
n
), de tal modo que estos dos
vectores siempre se encuentran rotando a la misma frecuencia formando un ngulo de 90. A
partir del anterior hecho podemos concluir que estos dos vectores se pueden sumar
generando una resultante de amplitud (c
n
) el cual rota a la misma frecuencia de sus
componentes, cumplindose que.

2
n
2
n n
b a c + =
,
n
b
a
b
) tan( = |

Se concluye que.
) t n ( sen c ) t n cos( b ) t n ( sen a
n n n
| + e = e + e


Visto de esta manera, las series de Fourier en variable real se pueden reescribir as.

=
| + e + =
1 n
n 0
) t n ( sen c a ) t ( f , tal que.
}

=
2 / T
2 / T
0
dt ) t ( f
T
1
a ,
}

e =
2 / T
2 / T
n
dt ) t ( f ) t n ( sen
T
2
a ,
}

e =
2 / T
2 / T
n
dt ) t ( f ) t n cos(
T
2
b ,
2
n
2
n n
b a c + =
,
n
n
a
b
) tan( = |
, . =1,2,3, n
}

=
2 / T
2 / T
0
dt ) t ( f
T
1
C


Luego el espectro de fourier estar compuesto por una serie discreta de ordenadas de
amplitud
n
c , con una serie de abscisas de frecuencia e n .


Enseguida se indica una lista de rdenes para ejecutar en Matlab que permita obtener el
espectro de frecuencias de una funcin peridica dada.



syms t
f=4/5*t*(heaviside(t)-heaviside(t-5/2));
T=5;
w=2*pi/T;
s=1/T*int(f,t,-T/2,T/2);
for n=1:40
a(n)=2/T*int(f*sin(n*w*t),t,-T/2,T/2);
b(n)=2/T*int(f*cos(n*w*t),t,-T/2,T/2);
s=s+a(n)*sin(n*w*t)+b(n)*cos(n*w*t);
end
d=[eval(1/T*int(f,t,-T/2,T/2)) eval(sqrt(a.^2+b.^2))];
g=s;
subplot(2,1,1);
ezplot(g,[0,6*T/2]);
subplot(2,1,2);
stem(d);title('Espectro de frecuencias');


26


0 5 10 15
0
0.5
1
1.5
2
t
1/2-4/441/t
2
cos(42/5 t t)-...-1/20/t sin(16 t t)
0 5 10 15 20 25 30 35 40 45
0
0.2
0.4
0.6
0.8
Espectro de frecuencias

Respuesta grfica obtenida a partir de las lneas de programacin propuestas
anteriormente.



Series de Fourier en Variable Compleja.
Dada una funcin peridica f(t) con periodo T, definida en el intervalo T/2 t T/2.
Esta funcin se puede expresar como una suma infinita de la forma.

=
e
=
n
t jn
n
e c ) t ( f
tal que.
}

e
=
2 / T
2 / T
t jn
n
dt ) t ( f e
T
1
c
con,
T
2t
= e


En primer lugar debe aclararse que la serie de Fourier en variable compleja, es la suma de
pares conjugados de tal manera que al ser sumados se anulan las componentes imaginarias.

En ese caso la serie de Fourier se puede reescribir en la siguiente forma.

} } }

=
e

e e

|
|
.
|

\
|
+
|
|
.
|

\
|
+ =
1 n
t jn
2 / T
2 / T
t jn t jn
2 / T
2 / T
t jn
2 / T
2 / T
e dt ) t ( f e
T
1
e dt ) t ( f e
T
1
dt ) t ( f
T
1
) t ( f

Podemos observar que.
( )
} }

e
e e =
2 / T
2 / T
2 / T
2 / T
t jn
dt ) t ( f ) t n ( jsen ) t n cos(
T
1
dt ) t ( f e
T
1

( )
} }

e
e + e =
2 / T
2 / T
2 / T
2 / T
t jn
dt ) t ( f ) t n ( jsen ) t n cos(
T
1
dt ) t ( f e
T
1


27


Las dos expresiones anteriores son en consecuencia expresiones conjugadas.

Podemos entonces escribir estas expresiones en notacin polar.

u

e
=
}
j
2 / T
2 / T
t jn
re
T
1
dt ) t ( f e
T
1
,
u

e
=
}
j
2 / T
2 / T
t jn
re
T
1
dt ) t ( f e
T
1
, de tal modo que r es la
magnitud de los complejos conjugados.

Reemplazando se puede expresar la serie de Fourier en la forma.

( ) ( )

}

=
e u e u

+ + =
1 n
t jn j t jn j
2 / T
2 / T
e re e re
T
1
dt ) t ( f
T
1
) t ( f

Efectuando productos se tiene.
( )
( )
( )
( )

}

=
e + u e + u

+ + =
1 n
t n j t n j
2 / T
2 / T
re re
T
1
dt ) t ( f
T
1
) t ( f


Desarrollando las expresiones exponenciales se tiene.

}

=

e + u + =
1 n
2 / T
2 / T
) t n cos( r 2
T
1
dt ) t ( f
T
1
) t ( f


Recordemos que
}

e
=
2 / T
2 / T
t jn
dt ) t ( f e r
, es el mdulo de la integral.

Luego la serie de Fourier se puede escribir en la forma.

} }

=

e

e + u + =
1 n
2 / T
2 / T
t jn
2 / T
2 / T
) t n cos( dt ) t ( f e
T
2
dt ) t ( f
T
1
) t ( f


Escrito de otra forma.

=
e + u + =
1 n
n 0
) t n cos( c c ) t ( f

Con
}

=
2 / T
2 / T
0
dt ) t ( f
T
1
c
,
}

e
=
2 / T
2 / T
t jn
n
dt ) t ( f e
T
2
c
, , 3 , 2 , 1 n =

Luego el espectro de Fourier estar compuesto por una serie discreta de ordenadas de
amplitud
n
c , con una serie de abscisas de frecuencia e n , cuyos valores se indican
anteriormente.


28


Enseguida se indica una lista de rdenes para ejecutar en Matlab que permita obtener el
espectro de frecuencias de una funcin peridica dada a partir de la serie de Fourier en
variable compleja.


syms t
f=4/5*t*(heaviside(t)-heaviside(t-5/2));
T=5;
w=2*pi/T;
s=0;
for n=1:40
a(n)=eval(simple(eval(1/T*int(f*exp(-j*n*w*t),t,-
T/2,T/2))*exp(j*n*w*t)+eval(1/T*int(f*exp(j*n*w*t),t,-T/2,T/2))*exp(-j*n*w*t)));
h(n)=2*eval(1/T*int(f*exp(-j*n*w*t),t,-T/2,T/2));
s=s+a(n);
end
g=s;
h=[eval(1/T*int(f,t,-T/2,T/2)) h];
subplot(2,1,1);
ezplot(g,[0,6*T/2]);
subplot(2,1,2);
stem(abs(h));

0 5 10 15
-0.5
0
0.5
1
1.5
t
-...-4587328911378127/288230376151711744 sin(16 t t)
0 5 10 15 20 25 30 35 40 45
0
0.2
0.4
0.6
0.8

Resultado grfico obtenido.

29


8 TRANSFORMADAS DE FOURIER

Una de las desventajas de las series de Fourier radica en el hecho de que solo sirve para
modelar funciones peridicas. La transformada de Fourier permite aplicar las series de
Fourier a situaciones no peridicas.

Para resolver el inconveniente de la aperiodicidad, los matemticos adaptaron las series de
Fourier al caso en el cual el periodo tiende a infinito. Si considero que una funcin no
peridica es como tener una funcin peridica con periodo infinito, entonces tengo la
solucin al problema de la aperiodicidad.

Nota.
A partir de este momento los clculos se desarrollarn solo en variable compleja por la
ventaja de la simplicidad.

Partimos de la serie de Fourier en variable compleja.

Series de Fourier en Variable Compleja.
Dada una funcin peridica f(t) con periodo T, definida en el intervalo T/2 t T/2.
Esta funcin se puede expresar como una suma infinita de la forma.

=
e
=
n
t jn
n
e c ) t ( f
tal que.
}

e
=
2 / T
2 / T
t jn
n
dt ) t ( f e
T
1
c
con,
T
2t
= e


Con el fin de evitar confusiones aclaramos las siguientes expresiones.
0
T
2
e =
t
Es la frecuencia fundamental.
e = e
0
n Es un mltiplo de la frecuencia fundamental armnica.

Luego la serie de Fourier queda as.

=
e
=
n
t j
n
e c ) t ( f
,
}

e
=
2 / T
2 / T
t j
n
dt ) t ( f e
T
1
c
,
T
2
0
t
= e

0 n
ne = e
0 1 n
) 1 n ( e + = e
+

0 0 0 n 1 n
n ) 1 n ( e = e e + = e e
+


Luego
0
e = e A
Como.
T
2
0
t
= e
, entonces
t
e A
=
2 T
1


Reemplazamos en la serie de Fourier las anteriores expresiones.

=
e

e
|
|
.
|

\
|
=
n
t j
2 / T
2 / T
t j
e dt ) t ( f e
T
1
) t ( f
=

=
e

e
|
|
.
|

\
|
t
e A
=
n
t j
2 / T
2 / T
t j
e dt ) t ( f e
2
) t ( f


30




Reordenando trminos se tiene.

=
e

e
e A
|
|
.
|

\
|
t
=
n
t j
2 / T
2 / T
t j
e dt ) t ( f e
2
1
) t ( f


Tomando el lmite al infinito se obtiene.

}

=
e

=
e

e

e A
|
|
.
|

\
|
t
= e A
|
|
.
|

\
|
t
=
n
t j t j
n
t j
2 / T
2 / T
t j
T
e dt ) t ( f e
2
1
e dt ) t ( f e
2
1
lim ) t ( f

Sea.

}


e
t
= e dt ) t ( f e
2
1
) ( G
t j

Luego la serie de Fourier se transforma en.

=
e
e A e =
n
t j
e ) ( G ) t ( f

Puesto que
T
2t
= e A
y se ha acordado que T , e A es una expresin infinitesimal.
Luego se concluye que.

=
e
e A e =
n
t j
e ) ( G ) t ( f
es una suma de Rienman que puede ser expresable en forma
integral.
}

=
e
e e = e A e = d e ) ( G e ) ( G ) t ( f
t j
n
t j


Se concluye finalmente que.
}


e
e e = d e ) ( G ) t ( f
t j
, con
}


e
t
= e dt ) t ( f e
2
1
) ( G
t j


Este par de ecuaciones son conocidas como las transformadas de Fourier.

}


e
t
= e dt ) t ( f e
2
1
) ( G
t j
Es la transformada de Fourier.
}


e
e e = d e ) ( G ) t ( f
t j
Es la transformada inversa de Fourier.
31



Debe observarse aqu algo interesante y es el hecho de que la transformada de Fourier puede
ser vista como una funcin que tiene como parmetro de entrada a f(t) que es la funcin en
el dominio del tiempo y tiene como salida a G() que es la funcin en el dominio de la
frecuencia. De otra parte la transformada inversa de Fourier tiene como parmetro de
entrada a G() y como parmetros de salida a f(t).

Se tiene entonces un par de ecuaciones de transformacin que son invertibles una a otra.

Nota.
Es importante aclarar que las transformadas de Fourier pueden presentarse en diferentes
formas dependiendo del autor.

1). Una primer forma fue las desarrollada en este documento.
}


e
e e = d e ) ( G ) t ( f
t j

}


e
t
= e dt ) t ( f e
2
1
) ( G
t j

2). Otra forma puede ser la siguiente.

}


e
e e
t
= d e ) ( G
2
1
) t ( f
t j

}


e
= e dt ) t ( f e ) ( G
t j

3). Otra forma es la siguiente.
}


e
e e
t
= d e ) ( G
2
1
) t ( f
t j

}


e
t
= e dt ) t ( f e
2
1
) ( G
t j


Debe observarse que las tres formas antes presentadas no son ms que reacomodaciones del
factor multiplicador.


32


9 TRANSFORMADAS DISCRETAS DE FOURIER

Una de las desventajas de las transformadas de Fourier en variable continua, es la dificultad
de emplearlas en computadoras. Para resolver este inconveniente se ha propuesto una forma
discreta de las transformadas de Fourier cuya deduccin se muestra enseguida.


Antes de entrar en detalles es importante aclarar la diferencia entre funciones en variable
continua y discreta, para lo cual proponemos el siguiente ejemplo.


Consideremos la funcin
2
x 6 y =
para el intervalo. 3 x 3 s s cuya grfica se
muestra enseguida.
-3 -2 -1 0 1 2 3
-3
-2
-1
0
1
2
3
4
5
6
Y=6-x
2

Se asume que aunque la variable X est restringida al intervalo 3 x 3 s s , la variable X
toma infinitos valores los cual la hace continua para el intervalo propuesto.



Para la situacin de la misma funcin en variable discreta, es importante definir en primer
lugar los valores lmites de X y su incremento, as.

3 x 3 s s , con 25 . 0 = Ax .
x A Es el incremento de la variable X valor de discretizacin.
x n x A = Se asume que la variable X solo asumir valores mltiplos del incremento de
discretizacin.

Para este caso se propone.
2
) ( 6 ) ( x x y = , Reemplazando x n x A = ,
Se obtiene la siguiente expresin.
33



2
) ( 6 ) ( x n x n y A = A

La mayora de autores relacionados con estos temas prefieren eliminar el trmino x A del
parmetro de la funcin quedando as.

( )
2
4
6 ) (
n
n y =
Tomando valores de
12 , 11 , 10 , 9 , 8 , 7 , 6 , 5 , 4 , 3 , 2 , 1 , 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 = n

En este caso el aspecto de la funcin en forma discreta es el siguiente.

-15 -10 -5 0 5 10 15
-3
-2
-1
0
1
2
3
4
5
6

Las lneas de rdenes requeridas para obtener la grfica anterior en Matlab son las siguientes.

n=-12:1:12;
y=eval(vectorize('6-(n/4)^2'));
stem(n,y);



Partimos de las transformadas de Fourier en variable continua.
}

= dt t x e G
t j
) ( ) (
e
e
;
}


= e e
t
e
d e G t x
t j
) (
2
1
) (



Para discretizar este par de ecuaciones es necesario tener en cuenta las siguientes
consideraciones de equivalencia entre variable continua y variable discreta.

34



Variable Continua Variable Discreta.
}


dt t A
e d
0
e e = A

t
t nA
e
0
e k

0
e

T
t 2

T t NA

Asumimos que la funcin en el dominio del tiempo consta de un notal de N muestras discretas
separadas en el tiempo por un incremento t A . De otra parte asumimos que el tiempo en el
cual se registran las N muestras corresponde a un periodo T .




A partir de estas grficas tenemos que.
t n t A =
t N T A =

Al reemplazar estas expresiones en las transformadas de Fourier se tienen las siguientes
expresiones.


}

= dt t x e G
t j
) ( ) (
e
e
se transforma en.
t t n x e k G
t n
t N
k
j
A A =

A
A

) ( ) (
2
0
t
e


Simplificando se tiene.
35


t e t n x k G
N
kn
j
A A =


t
e
2
0
) ( ) (
, se escribe simplemente.
t e n x k G
N
kn
j
A =


t 2
) ( ) (



De otra parte se tiene que.

}


= e e
t
e
d e G t x
t j
) (
2
1
) (
se transforma en.

A
= A = A
t N
e k G e k G t n x
N
kn
j
N
kn
j
t
t
e
t
t t
2
) (
2
1
) (
2
1
) (
2 2


Se escribe simplemente que.

|
.
|

\
|
A
=
t
e k G
N
n x
N
kn
j
1
) (
1
) (
2t


Resumiendo se tiene el siguiente par de ecuaciones.
t e n x k G
N
kn
j
A =


t 2
) ( ) (

|
.
|

\
|
A
=
t
e k G
N
n x
N
kn
j
1
) (
1
) (
2t

Si combinamos el par de ecuaciones entonces podemos eliminar t A .

Y se llega finalmente al siguiente par de ecuaciones.


=
N
kn
j
e n x k G
t 2
) ( ) (
,
=
N
kn
j
e k G
N
n x
t 2
) (
1
) (


El siguiente paso consiste en determinar los lmites de cada una de las sumatorias.
En primer lugar para la primer sumatoria tiene como parmetro a f(n) o X(n).
36


De acuerdo a la anterior grfica podemos observar que (n) toma valores que van desde cero,
hasta (N-1). n=0,1,2,3, , N-1

Luego la primer sumatoria queda as.

=
1
0
2
) ( ) (
N
n
N
kn
j
e n x k G
t



Ahora definimos los lmites de la siguiente sumatoria.

=
N
kn
j
e k G
N
n x
t 2
) (
1
) (
.

Considerando la expresin
N
kn
j
e
t 2
podemos observar que para
0 = k
, 1
2
=
N
kn
j
e
t

N k =
,
1
) 2 (
=
n j
e
t


Podemos entonces tomar valor de
k
que vayan desde cero hasta
1 = N k
.


Luego la expresin sumatoria ser.

=
=
1
0
2
) (
1
) (
N
k
N
kn
j
e k G
N
n x
t



Resumen de las TRANSFORMADAS DE FOURIER EN VARIABLE DISCRETA.

=
1
0
2
) ( ) (
N
n
N
kn
j
e n x k G
t
;

=
=
1
0
2
) (
1
) (
N
k
N
kn
j
e k G
N
n x
t



Se obtiene un par de ecuaciones nuevas que nos permiten obtener las transformadas de
Fourier en variable discreta.









37


10 CALCULO DIRECTO DE LA TRANSFORMADA
DISCRETA DE FOURIER

La aplicacin de las transformadas de Fourier en variable discreta requiere del empleo de
programas de computadora debido a la gran cantidad de operaciones necesarias para su
cmputo. Esta ha sido seguramente la razn por la cual el anlisis de Fourier fu poco
reconocido en su tiempo cuando no se dispona de mquinas de computo como las que
tenemos en nuestros tiempos.

Al partir de su definicin.

=
1
0
2
) ( ) (
N
n
N
kn
j
e n x k G
t

Para su cmputo podemos ir haciendo reemplazos trmino a trmino as.

Con objeto de simplificar la notacin se asume lo siguiente.
N
j
N
e W
t 2

=


) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 ( ) 0 ( + + + + + = N x x x x x G

1 3 2
) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 ( ) 1 (

+ + + + + =
N
W N x W x W x W x x G

) 1 ( 2 6 4 2
) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 ( ) 2 (

+ + + + + =
N
W N x W x W x W x x G

) 1 ( 3 9 6 3
) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 ( ) 3 (

+ + + + + =
N
W N x W x W x W x x G


) 1 )( 1 ( ) 1 ( 3 ) 1 ( 2 1
) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 ( ) 1 (

+ + + + + =
N N N N N
W N x W x W x W x x N G


Las anteriores operaciones pueden ser escritas como un producto matricial as.


|
|
|
|
|
|
.
|

\
|

=
|
|
|
|
|
|
.
|

\
|

|
|
|
|
|
|
.
|

\
|

) 1 (
) 2 (
) 1 (
) 0 (
) 1 (
) 2 (
) 1 (
) 0 (
1
1
1
1 1 1 1 1
) 1 )( 1 ( ) 1 ( 3 ) 1 ( 2 1
) 1 ( 2 6 4 2
1 3 2
N G
G
G
G
N x
x
x
x
W W W W
W W W W
W W W W
N N N N N
N
N



Siendo
N
j
N
e W
t 2

=


Se puede observar que para el cmputo se requiere un total de
2
N productos, lo cual exige
gran cantidad de operaciones lo que la hace realmente ineficiente en aplicaciones reales
tales como el tratamiento de voz o imagen.


38


Como ejemplo se ha propuesto un programa en Matlab para el clculo directo de la
transformada de Fourier, cuyas lneas de programa se muestran en seguida.

function y=four(x)
N=size(x,1)*size(x,2);
W=exp(-j*2*pi/N);
for s=1:N
for t=1:N
M(s,t)=W^((s-1)*(t-1));
end
end
y=M*x';

Para probar la eficiencia del algoritmo se han propuesto las siguientes lneas de programa.

tic;x=rand(1,N);y=four(x);toc

Se propone un vector de N datos aleatorios y se registra el tiempo empleado por el algoritmo
mediante las rdenes tic y toc para evaluar la TDF.

Para ejecutar los clculos, se ha empleado una computadora porttil TOSHIBA CORE 3, que
dispone de un procesador con velocidad de cmputo de 3000 millones de operaciones por
segundo y un sistema operativo Windows 7.

Durante los experimentos se obtuvo la siguiente tabla.
N T(segundos)
100 0.037
500 1.024
1000 7.131
2000 48.763
3000 158.826

0 500 1000 1500 2000 2500 3000
0
20
40
60
80
100
120
140
160
N vs T(seg)



La misma grfica en escala logartmica presenta un aspecto lineal as.
39


4.5 5 5.5 6 6.5 7 7.5 8 8.5
-4
-3
-2
-1
0
1
2
3
4
5
6
Log(N)
L
o
g
(
T
)
Log(N) Vs Log(T)

Se concluye que el tiempo de cmputo crece considerablemente a medida que N aumenta y
es evidente que un algoritmo como el anterior es extremadamente ineficiente para
aplicaciones como las de sonido e imagen donde la cantidad de datos es del orden de los
millones de datos como es el caso de las imgenes.


Afortunadamente J.W. Cooley y John Tukey en 1965 desarrollaron el algoritmo de la
transformada rpida de Fourier o la FFT (Fast Fourier Transform) los cuales permitieron
reducir el tiempo de cmputo de la transformada discreta de Fourier [5].

El desarrollo de la FFT se explica en el siguiente captulo.


40


11 CALCULO DIRECTO DE LA TRANSFORMADA
DISCRETA DE FOURIER INVERSA (TDFI)

Partimos de su definicin.

=
=
1
0
2
) (
1
) (
N
k
N
kn
j
e k G
N
n x
t
, 1 , , 2 , 1 , 0 = N n
| |

=
=
1
0
2
) (
1
) (
N
k
N
kn
j
e k G
N
n x TDFI
t

Con objeto de simplificar la notacin se asume lo siguiente.
N
j
N
e W
t 2
=
| | ) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 (
1
) 0 ( + + + + + = N G G G G G
N
x

| |
1 3 2
) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 (
1
) 1 (

+ + + + + =
N
W N x W x W x W G G
N
x

| |
) 1 ( 2 6 4 2
) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 (
1
) 2 (

+ + + + + =
N
W N G W G W G W G G
N
x
| |
) 1 ( 3 9 6 3
) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 (
1
) 3 (

+ + + + + =
N
W N G W G W G W G G
N
x
| |
) 1 )( 1 ( ) 1 ( 3 ) 1 ( 2 1
) 1 ( ) 3 ( ) 2 ( ) 1 ( ) 0 (
1
) 1 (

+ + + + + =
N N N N N
W N G W G W G W G G
N
N x

Esta serie de expresiones pueden reescribirse como un producto matricial.
|
|
|
|
|
|
.
|

\
|

=
|
|
|
|
|
|
.
|

\
|

|
|
|
|
|
|
.
|

\
|

) 1 (
) 2 (
) 1 (
) 0 (
) 1 (
) 2 (
) 1 (
) 0 (
1
1
1
1 1 1 1 1
1
) 1 )( 1 ( ) 1 ( 3 ) 1 ( 2 1
) 1 ( 2 6 4 2
1 3 2
N x
x
x
x
N G
G
G
G
W W W W
W W W W
W W W W
N
N N N N N
N
N


Con
N
j
N
e W
t 2
=


Para el cmputo directo de la TDFI, se han diseado las siguientes lneas de programa.
function y=ifour(x)
N=size(x,1)*size(x,2);
W=exp(j*2*pi/N);
for s=1:N
for t=1:N
M(s,t)=W^((s-1)*(t-1));
end
end
y=1/N*(M*x');
41


Con objeto de probar la efectividad del algoritmo anterior se propone una secuencia de N
datos, evaluar su TDF y a partir de la TDF, calcular TDFI.

Se ejecuta en Matlab las siguientes lneas.

X=rand(1,20);
Y=four(x);
Ifour(four(x));


x TDF(x) TDFI(TDF(x))
0.5828
0.4235
0.5155
0.3340
0.4329
0.2259
0.5798
0.7604
0.5298
0.6405
0.2091
0.3798
0.7833
0.6808
0.4611
0.5678
0.7942
0.0592
0.6029
0.0503
9.6136
-0.8622 + 0.2904i
-0.4435 - 0.1277i
0.9588 - 0.7826i
-0.7030 - 0.5464i
0.7547 + 0.0622i
-0.2459 + 0.5619i
-0.3923 - 1.1458i
-0.1398 - 0.3760i
1.4096 - 0.5717i
1.3692 + 0.0000i
1.4096 + 0.5717i
-0.1398 + 0.3760i
-0.3923 + 1.1458i
-0.2459 - 0.5619i
0.7547 - 0.0622i
-0.7030 + 0.5464i
0.9588 + 0.7826i
-0.4435 + 0.1277i
-0.8622 - 0.2904i
0.5828 + 0.0000i
0.4235 - 0.0000i
0.5155 - 0.0000i
0.3340 - 0.0000i
0.4329 - 0.0000i
0.2259 - 0.0000i
0.5798 - 0.0000i
0.7604 - 0.0000i
0.5298 - 0.0000i
0.6405 - 0.0000i
0.2091 - 0.0000i
0.3798 - 0.0000i
0.7833 - 0.0000i
0.6808 + 0.0000i
0.4611 + 0.0000i
0.5678 + 0.0000i
0.7942 + 0.0000i
0.0592 + 0.0000i
0.6029 + 0.0000i
0.0503 + 0.0000i

En la anterior tabla puede observarse que se cumple la igualdad x=TDFI(TDF(x)).



42


12 LA TRANSFORMADA RPIDA DE FOURIER

La transformada rpida de Fourier (FFT) es un algoritmo eficiente para calcular la
transformada discreta de Fourier y su inversa. Hay muchos algoritmos FFT diferentes con una
amplia participacin de las matemticas, desde la simple aritmtica de nmeros complejos
hasta la teora de grupos y teora de nmeros.

Una Transformada discreta de Fourier (TDF), descompone una secuencia de valores en sus
componentes frecuenciales. Esta operacin es til en muchos campos pero su cmputo
directo a partir de su definicin es muy lento para ser prctico como se observ en el captulo
anterior.

La FFT presenta una forma alternativa para calcular la DFT con mayor rapidez. El cmputo
de la TDF de N puntos en la forma directa segn la definicin, toma (N
2
) operaciones
aritmticas, mientras que la FFT permite calcular el mismo resultado en slo (N log
2
N)
operaciones.

La diferencia de velocidad puede ser considerable, especialmente para los conjuntos de datos
grandes, donde N puede estar en los miles o millones. En la prctica, el tiempo de clculo
puede ser reducido por varios rdenes de magnitud en estos casos, y la mejora es ms o
menos proporcional a N/log
2
(N). Esta gran mejora hizo que muchos algoritmos basados en la
prctica (FFT) sean de gran importancia en una amplia variedad de aplicaciones, desde
procesamiento digital de seales, la solucin de ecuaciones diferenciales parciales y
algoritmos para la multiplicacin rpida de nmeros enteros grandes [5].


La idea bsica de la DFT es que a partir de una secuencia de N valores X(n), que van desde
X(0) hasta X(N-1). Se obtienen sus componentes frecuenciales mediante la siguiente
expresin.

=
1
0
2
) ( ) (
N
n
N
kn
j
e n x k G
t

Ahora si asumimos que N es un nmero par, entonces la sumatoria anterior se descompone en
dos sumatorias as.



=

+ = =
1
2 /
2
1 2 /
0
2
1
0
2
) ( ) ( ) ( ) (
N
N n
N
kn
j
N
n
N
kn
j
N
n
N
kn
j
e n x e n x e n x k G
t t t


Realizando un corrimiento de lmites en la segunda sumatoria se obtiene.


=
+

+ + = =
1 2 /
0
) 2 / ( 2
1 2 /
0
2
1
0
2
) 2 / ( ) ( ) ( ) (
N
n
N
N n k
j
N
n
N
kn
j
N
n
N
kn
j
e N n x e n x e n x k G
t t t

Desarrollando potencias se tiene.
N
kn
j
k k j
N
kn
j
N
N n k
j
e e e e
t
t
t t 2 2 ) 2 / ( 2
) 1 (

= =

Al reemplazar se tiene entonces.


=

+ + =
1 2 /
0
2
1 2 /
0
2
) 1 )( 2 / ( ) ( ) (
N
n
N
kn
j
k
N
n
N
kn
j
e N n x e n x k G
t t


43


Factorizando.
( )

+ + =
1 2 /
0
2
) 2 / ( ) 1 ( ) ( ) (
N
n
N
kn
j
k
e N n x n x k G
t


Puede observarse en este momento que ahora la cantidad de operaciones requeridas se ha
reducido a N(N/2)=N
2
/2.


De otra parte, teniendo en cuenta que
k
) 1 ( toma signos positivos o negativos dependiendo
de si k es par o impar.

Se obtienen las dos expresiones siguientes.

( )

+ + =
1 2 /
0
) 2 / (
2
) 2 / ( ) ( ) 2 (
N
n
N
kn
j
e N n x n x k G
t
, para 2 / , , 2 , 1 , 0 N k =
( )

=
+

+ = +
1 2 /
0
) 1 2 ( 2
) 2 / ( ) ( ) 1 2 (
N
n
N
n k
j
e N n x n x k G
t
,para 2 / , , 2 , 1 , 0 N k =
( )
N
n
j
N
n
N
kn
j
e e N n x n x k G
t t 2
1 2 /
0
2 /
2
) 2 / ( ) ( ) 1 2 (

+ = +


Asumiendo que.
N
j
N
e W
t 2

= y reemplazando se tiene.

=
=
1
0
) ( ) (
N
n
kn
N
W n x k G
, para 1 , , 2 , 1 , 0 = N k
Es la transformada de Fourier de la serie ) (n x , con 1 , , 2 , 1 , 0 = N n

( )

=
+ + =
1 2 /
0
2 /
) 2 / ( ) ( ) 2 (
N
n
kn
N
W N n x n x k G
, para 1 2 / , , 2 , 1 , 0 = N k
( ) | |

=
+ = +
1 2 /
0
2 /
) 2 / ( ) ( ) 1 2 (
N
n
kn
N
n
N
W W N n x n x k G
, para 1 2 / , , 2 , 1 , 0 = N k

| | ) ( ) ( ) (
1
0
n x TDF W n x k G
N
n
kn
N
= =

=

| | ) 2 / ( ) ( ) 2 ( N n x n x TDF k G + + =

( ) | |
n
N
W N n x n x TDF k G ) 2 / ( ) ( ) 1 2 ( + = +


Recordemos que para poder aplicar las anteriores identidades es necesario que N sea un
nmero par.


44



Resumen IDENTIDADES NECESARIAS PARA LA EVALUACIN DE LA FFT
| | ) ( ) ( ) (
1
0
n x TDF W n x k G
N
n
kn
N
= =

=
,
1 , , 2 , 1 , 0 = N k

| | ) 2 / ( ) ( ) 2 ( N n x n x TDF k G + + =
,
1 2 / , , 2 , 1 , 0 = N k

( ) | |
n
N
W N n x n x TDF k G ) 2 / ( ) ( ) 1 2 ( + = +
,
1 2 / , , 2 , 1 , 0 = N k

Con
N
j
N
e W
t 2

= , Siendo N un nmero par.



Se puede concluir que la TDF de una secuencia X(n) de N datos, se puede expresar como la
composicin de dos TDF de secuencias con N/2 datos. La primera componente ser
equivalente a la TDF de la secuencia de la suma ) 2 / ( ) ( N n x n x + + , con
1 2 / , , 2 , 1 , 0 = N n pero debe tenerse en cuenta que estas sern las TDF de orden par.
La segunda componente ser equivalente a la TDF de la secuencia de la suma
( ) | |
n
N
W N n x n x ) 2 / ( ) ( + , con 1 2 / , , 2 , 1 , 0 = N n y en este caso debe tener en cuenta
que estas sern las TDF de orden impar.

Puede observarse que este es un tpico problema de recursividad donde la TDF de una
secuencia X(n) de N datos, se puede expresar como la composicin de dos TDF de secuencias
de longitud N/2. Luego cada una de las TDF de longitud N/2 se expresan como la composicin
de dos TDF de longitud N/4 y el proceso deber repetirse a cada subsecuencia de tal modo
que al final se disponga de un dato por cada secuencia, caso en el cual, algoritmo recursivo
debe detenerse.


Para que el algoritmo recursivo del clculo de la TDF tenga aplicabilidad ser necesario que el
nmero de datos de la secuencia inicial x(n), sea una potencia de dos de tal modo que
p
N 2 = .

El anterior requisito del tamao de
p
N 2 = , conduce a la pregunta Entonces la FFT deja de
ser prctica si el tamao de N no es potencia de dos?; este inconveniente se resuelve
simplemente adicionando datos nulos a la secuencia preliminar X(n) de tal modo que se tenga
una cantidad de datos equivalentes a la potencia ms cercana de dos.

Para el clculo mediante computadora de la FFT, diferentes autores han propuestos
diferentes alternativas entre las cuales se ha propuesto el denominado algoritmo mariposa
que se explica enseguida.

La tcnica fundamental conocida como algoritmo mariposa recibe su nombre por la apariencia
que presentan las lneas cruzadas que indican como fluye la informacin durante el cmputo
de la FFT. Las dos siguientes grficas se han planteado como ejemplo para el cmputo de la
FFT para una secuencia de 16 datos.

Puede observarse que inicialmente la secuencia de 16 datos de la forma X(n) a los cuales se
evaluar su FFT se disponen en la primera columna, la segunda columna estar compuesta por
dos secuencias cada una de 8 datos de tal modo que la primer secuencia ser la suma de
trminos de la forma ) 2 / ( ) ( N n x n x + + y la segunda secuencia de dato ser de la forma
( ) | |
n
N
W N n x n x ) 2 / ( ) ( + con 7 , 6 , 5 , 4 , 3 , 2 , 1 , 0 = n y
N
j
N
e W
t 2

= . Las columnas
siguientes se obtienen aplicando el mismo proceso a cada una de las subsecuencias de la
45


columna anterior y este proceso se repite hasta que el algoritmo mariposa tenga la forma ms
elemental posible.

Debe observarse que durante el proceso de clculo de la secuencia de datos inicialmente en
orden ascendente que va desde X(0) hasta X(15), se va desordenando de tal modo que en la
primer secuencia de la segunda columna se disponen los trminos pares que van desde y(0)
hasta y(14) mientras que en la segunda secuencia de la segunda columna se disponen
trminos desde y(1) hasta y(15).

X(0) X(0)+X(8)=y(0) y(0)+y(8)=z(0)
X(1) X(1)+X(9)=y(2) y(2)+y(10)=z(4)
X(2) X(2)+X(10)=y(4) y(4)+y(12)=z(8)
X(3) X(3)+X(11)=y(6) y(6)+y(14)=z(12)
X(4) X(4)+X(12)=y(8) [y(0)-y(8)](W
8
)
0
=z(2)
X(5) X(5)+X(13)=y(10) [y(2)-y(10)](W
8
)
1
=z(6)
X(6) X(6)+X(14)=y(12) [y(4)-y(12)](W
8
)
2
=z(10)
X(7) X(7)+X(15)=y(14) [y(6)-y(14)](W
8
)
3
=z(14)
X(8) [X(0)-X(8)](W
16
)
0
=y(1) y(1)+y(9)=z(1)
X(9) [X(1)-X(9)](W
16
)
1
=y(3) y(3)+y(11)=z(5)
X(10) [X(2)-X(10)](W
16
)
2
=y(5) y(5)+y(13)=z(9)
X(11) [X(3)-X(11)](W
16
)
3
=y(7) y(7)+y(15)=z(13)
X(12) [X(4)-X(12)](W
16
)
4
=y(9) [y(1)-y(9)](W
8
)
0
=z(3)
X(13) [X(5)-X(13)](W
16
)
5
=y(11) [y(3)-y(11)](W
8
)
1
=z(7)
X(14) [X(6)-X(14)](W
16
)
6
=y(13) [y(5)-y(13)](W
8
)
2
=z(11)
X(15) [X(7)-X(15)](W
16
)
7
=y(15) [y(7)-y(15)](W
8
)
3
=z(15)


z(0) z(0)+z(8)=s(0) s(0)+s(8)= G(0)
z(4) z(4)+z(12)=s(8) [s(0)-s(8)](W
2
)
0
= G(8)
z(8) [z(0)-z(8)](W
4
)
0
=s(4) s(4)+s(12)= G(4)
z(12) [z(4)-z(12)](W
4
)
1
=s(12) [s(4)-s(12)](W
2
)
0
= G(12)
z(2) z(2)+z(10)=s(2) s(2)+s(10)= G(2)
z(6) z(6)+z(14)=s(10) [s(2)-s(10)](W
2
)
0
= G(10)
z(10) [z(2)-z(10)](W
4
)
0
=s(6) s(6)+s(14)= G(6)
z(14) [z(6)-z(14)](W
4
)
1
=s(14) [s(6)-s(14)](W
2
)
0
= G(14)
z(1) z(1)+z(9)=s(1) s(1)+s(9)= G(1)
z(5) z(5)+z(13)=s(9) [s(1)-s(9)](W
2
)
0
= G(9)
z(9) [z(1)-z(9)](W
4
)
0
=s(5) s(5)+s(13)= G(5)
z(13) [z(5)-z(13)](W
4
)
1
=s(13) [s(5)-s(13)](W
2
)
0
= G(13)
z(3) z(3)+z(11)=s(3) s(3)+s(11)= G(3)
z(7) z(7)+z(15)=s(11) [s(3)-s(11)](W
2
)
0
= G(11)
z(11) [z(3)-z(11)](W
4
)
0
=s(7) s(7)+s(15)= G(7)
z(15) [z(7)-z(15)](W
4
)
1
=s(15) [s(7)-s(15)](W
2
)
0
= G(15)


Podemos observar que la ltima columna estar compuesta por las componentes de la
transformada de Fourier las cuales estn en un aparente desorden.

Se ha encontrado que el aparente desorden de los datos de la ltima columna en realidad
involucra un orden el cual se expresa en los siguientes trminos.

Para encontrar el orden de la secuencia de datos de la ltima columna, se procede a listar los
nmeros consecutivos partiendo desde 0,1,2, hasta N-1, de tal modo que N=2
p
. Paso seguido
estos nmeros se expresan en notacin binaria da tal modo que cada binario se representa
solo mediante (p) bits. Paso seguido los bits de los nmeros en notacin binaria se invierten y
se traducen a notacin decimal; el nmero decimal obtenido corresponder al orden
adecuado de cada elemento dentro de la secuencia de datos. Con objeto de ilustrar el
procedimiento anterior se presenta la siguiente tabla.
46




Numero
Decimal
Binario
Equivalente
Binario
Inverso
Decimal
Equivalente
0 0000 0000 0
1 0001 1000 8
2 0010 0100 4
3 0011 1100 12
4 0100 0010 2
5 0101 1010 10
6 0110 0110 6
7 0111 1110 14
8 1000 0001 1
9 1001 1001 9
10 1010 0101 5
11 1011 1101 13
12 1100 0011 3
13 1101 1011 11
14 1110 0111 7
15 1111 1111 15

Puede observarse que en efecto la secuencia obtenida en esta tabla coincide con la secuencia
obtenida en el clculo de la FFT. Surge entonces la pregunta; cmo explicar
matemticamente porque este mtodo funciona?.

Para dar una respuesta a esta pregunta procedemos a hacer un seguimiento al proceso en
notacin binaria. Disponemos en columna la secuencia de binarios desde el 0000 hasta el
1111 y procedemos a registrar en la siguiente columna una primera secuencia de nmeros
pares y luego una segunda secuencia de los nmeros impares.

Numero
Decimal
Binario
Equivalente
Binario
Reordenado
0 0000 0000
1 0001 0010
2 0010 0100
3 0011 0110
4 0100 1000
5 0101 1010
6 0110 1100
7 0111 1110
8 1000 0001
9 1001 0011
10 1010 0101
11 1011 0111
12 1100 1001
13 1101 1011
14 1110 1101
15 1111 1111

Sorprendentemente puede observarse que el proceso de reordenamiento es equivalente a
mover el primer bit de cada nmero binario a la posicin final. Podemos observar
adicionalmente que la primera mitad de la secuencia obtenida termina en cero mientras que
la segunda mitad de la secuencia termina en uno. Teniendo en cuenta que las siguientes
operaciones involucran intercambio de nmeros binarios entre cada media secuencia;
podemos concluir que dichos intercambios no afectarn la ubicacin del ltimo digito binario.

Ahora efectuamos el reordenamiento de las siguientes secuencias.

47



Binario
Reordenado
Binarios
Reordenados
0000 0000
0010 0100
0100 1000
0110 1100
1000 0010
1010 0110
1100 1010
1110 1110
0001 0001
0011 0101
0101 1001
0111 1101
1001 0011
1011 0111
1101 1011
1111 1111

En esta etapa puede observarse como el intercambio de nmeros binarios es equivalente a
remover el primer digito binario a la penltima posicin. En consecuencia de las anteriores
observaciones es fcil deducir que el proceso completo de intercambio de nmeros binarios
mediante esta tcnica conduce finalmente a la inversin de bits.


13 ALGORITMO PARA EL CLCULO DE LA FFT
Como resultado de la teora estudiada sobre la FFT en este documento, se ha desarrollado un
programa recursivo para la evaluacin de la FFT cuya estructura de programacin se muestra
enseguida.














El programa denominado (flt), se encarga de invocar dos funciones: la funcin (transrf) que se
encarga de evaluar la FFT y luego invoca a la funcin (reordenar) que se encarga de
reorganizar la secuencia G(k) de las componentes de la FFT.

La funcin (transrf), evala la FFT en forma recursiva invocndose as misma pero
adicionalmente invoca a las funciones: (pares) y (nones).

La funcin (pares) se encarga de evaluar la primer subsecuencia de la forma X(n)+X(n+N/2),
mientras que la funcin (nones) se encarga de evaluar la segunda subsecuencia de la forma
[X(n)-X(n+N/2)](W
N
)
n
.

De otra parte la funcin (reordenar) se encarga de invocar a la funcin (dec2bin) que
transforma el decimal en binario y luego invoca a la funcin (invec) que se encarga de invertir
pares nones
reordenar transrf
flt
invec
48


los bits del binario de entrada correspondiente y finalmente invoca a la funcin (bin2dec)
para evaluar el decimal de salida.

La siguientes son las lneas del programa para ejecutar en Matlab.

function y=flt(x)
y=reordenar(transrf(x));

function y=transrf(x)
s1=pares(x);
s2=nones(x);
if size(s1,1)*size(s1,2)==1
y=[s1 s2];
else
y=[transrf(pares(x)) transrf(nones(x))];
end

function y=pares(x)
N=size(x,1)*size(x,2);
for k=1:N/2
y(k)=x(k)+x(k+N/2);
end

function y=nones(x)
N=size(x,1)*size(x,2);
w=exp(-j*2*pi/N);
for k=1:N/2
y(k)=(x(k)-x(k+N/2))*w^(k-1);
end

function y=reordenar(x)
N=size(x,1)*size(x,2);
M=log2(N);
y=x;
for k=0:N-1
y(bin2dec(invec(dec2bin(k,M)))+1)=x(k+1);
end

function y=invec(x)
N=size(x,1)*size(x,2);
y=x;
for k=1:N
y(k)=x(N-k+1);
end

Para medir la eficiencia del algoritmo, se ha empleado una computadora porttil TOSHIBA
CORE 3, que dispone de un procesador con velocidad de cmputo de 3000 millones de
operaciones por segundo y un sistema operativo Windows 7.

49




Se propuso en Matlab la siguiente lnea de rdenes para diferentes valores de (p).
x=rand(1,2^p);tic;flt(x);toc


p

2
p
Tiempo(seg)
8 256 0.057
9 512 0.094
10 1024 0.211
11 2048 0.535
12 4096 1.542
13 8192 3.744
14 16384 8.602
15 32768 19.496

0 0.5 1 1.5 2 2.5 3 3.5
x 10
4
0
2
4
6
8
10
12
14
16
18
20
N vs T(s)

Puede observarse como se ha reducido considerablemente el tiempo de cmputo requerido
para el clculo de la FFT con respecto al algoritmo que calcula la FFT en forma directa.


Nota:
Debe aclararse que el tiempo registrado en la anterior tabla corresponde al tiempo de
cmputo de los algoritmos desarrollados en este documento y ejecutados en Matlab sin
embargo si ejecutamos estos mismos clculo mediante el algoritmo FFT que dispone Matlab,
el tiempo empleado es considerablemente ms bajo como se muestra enseguida.







50


p

2
p
Tiempo(seg)
Algoritmo
(FLT)
Tiempo (seg)
Algoritmo
(FFT) Matlab
8 256 0.063 0
9 512 0.131 0
10 1024 0.229 0
11 2048 0.588 0
12 4096 1.638 0.001
13 8192 3.781 0.001
14 16384 8.639 0.001
15 32768 19.46 0.003

Puede observarse la diferencia considerable de tiempo empleado por ambos algoritmos y la
pregunta es (Como logra el FFT de Matlab la reduccin de tiempo de cmputo de esa manera
tan considerable?). Una posible respuesta seguramente nos conduzca al diseo de nuestro
propio algoritmo en lenguaje C para ejecutar desde Matlab. Esta hiptesis se deja como tema
de investigacin para posteriores documentos.






51


14 ALGORITMO PARA EL CLCULO DE LA FFT
INVERSA

Para el clculo de la IFFT, partimos de su definicin.

=
=
1
0
2
) (
1
) (
N
k
N
kn
j
e k G
N
n x
t

Para ello se han diseado las siguientes lneas para ejecutar en Matlab.

function y=iflt(x)
N=size(x,1)*size(x,2);
y=real(reordenar(itransrf(x))/N);

function y=itransrf(x)
s1=ipares(x);
s2=inones(x);
if size(s1,1)*size(s1,2)==1
y=[s1 s2];
else
y=[itransrf(ipares(x)) itransrf(inones(x))];
end

function y=ipares(x)
N=size(x,1)*size(x,2);
for k=1:N/2
y(k)=x(k)+x(k+N/2);
end

function y=inones(x)
N=size(x,1)*size(x,2);
w=exp(j*2*pi/N);
for k=1:N/2
y(k)=(x(k)-x(k+N/2))*w^(k-1);
end

function y=reordenar(x)
N=size(x,1)*size(x,2);
M=log2(N);
y=x;
for k=0:N-1
y(bin2dec(invec(dec2bin(k,M)))+1)=x(k+1);
end

function y=invec(x)
N=size(x,1)*size(x,2);
y=x;
for k=1:N
y(k)=x(N-k+1);
end





52





15 INTERPRETACIN DE LA FFT

Para hacer una adecuada interpretacin de la FFT, es importante partir de su definicin.
| | ) ( ) ( ) (
1
0
n x TDF W n x k G
N
n
kn
N
= =

=
, con
N
j
N
e W
t 2

=
Recordemos que
) (k G
hace referencia a
) (
0
e k G

Donde
0
e e k =
es un mltiplo de la frecuencia fundamental en radianes por segundo.
T
t
e
2
0
=
es la frecuencia fundamental en radianes por segundo.
t N T A = es el periodo.
N es el nmero de datos de la secuencia G(k).
t A es el incremento de tiempo de la secuencia x(n).


Reemplazando se tiene.
|
.
|

\
|
A
=
t N
k
G k G
t 2
) (


De otra parte es importante aclarar que la TDF corresponde al contenido de frecuencias de la
Secuencia x(n) pero por sus propiedades de simetra debe considerarse el doble de la
amplitud como se indica al final del captulo siete de este documento.


Se propone el siguiente ejemplo cuyas lneas de programa para ejecutar en Matlab son las
siguientes.

Ejemplo 1.
Se propone una funcin de la forma ) 5000 sin( 3 ) 1300 ( 2 ) ( t t sen t y + = , discretizada en
los siguientes trminos: para una velocidad de muestreo de 2000 muestras por segundo y un
total de 2
10
muestras. Determine su espectro de frecuencias.

N=2^10;
n=0:1:N-1;
mps=2000;
Dt=1/mps;
t=n*Dt;
y=2*sin(1300*t)+3*sin(5000*t);
z=fft(y);
k=n;
w=k*2*pi/(N*Dt);
plot(w,2*abs(z));
title('Espectro de frecuencias');
xlabel('Frecuencia (r/s)');
ylabel('Amplitud');

53


La respuesta grfica del problema es la siguiente.
0 2000 4000 6000 8000 10000 12000 14000
0
500
1000
1500
2000
2500
Espectro de frecuencias
Frecucencia (r/s)
A
m
p
l
i
t
u
d

Puede observarse la simetra de la respuesta del espectro de frecuencias.


Ahora solo seleccionamos la primera mitad de la grfica anterior haciendo acercamiento.

1000 1500 2000 2500 3000 3500 4000 4500 5000 5500 6000
0
500
1000
1500
2000
Espectro de frecuencias
Frecucencia (r/s)
A
m
p
l
i
t
u
d

54



Podemos observar en la grfica que en efecto las frecuencias predominantes son de 1300
(r/seg) y 5000 (r/seg).


Se propone ahora un ejemplo donde la cantidad de datos no sea una potencia de dos.
55



BIBLIOGRAFA

[1]. Historia del Anlisis de Fourier.
http://proton.ucting.udg.mx/temas/matemati/guevara/Historia.htm.

[2]. Alan V. Oppenheim y Ronald W. Schafer. Tratamiento de Seales en tiempo discreto.
Editorial Prentice Hall, segunda edicin.

[3]. Roberto Rodrguez del Ro y Enrique Zuazua. Series de Fourier y Fenmeno de Gibbs.
http://www.uam.es/personal_pdi/ciencias/ezuazua/informweb/cubo.pdf