Series de Fourier

L. Bucio


Una funcin peridica satisface la condicin:

) ( ) ( T t f t f + = (1)

Como ejemplos tpicos de funciones peridicas, se tienen las funciones seno y coseno, ya que
cumplen con la ecuacin (1):

) 2 ( ) ( t + = t sen t sen

) 2 ( ) ( t + = t cos t cos

En ambos casos, el periodo T es igual a 2t.

Hay funciones peridicas que tienen una forma muy compleja, como se puede ver en la grafica de la
figura 1, que corresponde a un electrocardiograma.



Figura 1: electrocardiograma

Puede observarse que la funcin en un punto arbitrario, por ejemplo el pico observado en f(a) en la
figura 1, al desplazarse un periodo T = b - a, vuelve a mostrar el mismo pico en forma y tamao en
f(b), como si se hubiera cambiado el origen de coordenadas. Si f(b) se desplaza nuevamente un
periodo T, se vuelve a observar un pico con las mismas caractersticas y entorno. Esta simetra
traslacional es la propiedad caracterstica de las funciones peridicas, que se expresa
matemticamente a travs de la ecuacin (1).

Toda funcin peridica ( con periodo T ) como la representada en la figura 1, se puede representar
como una serie de Fourier de la siguiente forma:

| |

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

donde la frecuencia
0
e est relacionada con el periodo de la funcin T a travs de la frmula:
T
t
e
2
0
= (3)
y a
0
, a
1
, , a
n
, , b
1
, b
2
, , b
n
, son coeficientes constantes que se tienen que determinar por
algn mtodo y representan las amplitudes de los senos y cosenos que segn el valor de n, les
corresponde la frecuencia
0
e e n
n
= (siempre mltiplo entero de la frecuencia fundamental
0
e ).
La serie infinita representada en (2), se puede reescribir explcitamente as:

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

Si se renombran los coeficientes y los trminos seno y coseno como se indica a continuacin:


...
) (
) ( sen
) (
) cos( ...
) (
) ( sen
) (
) cos(
) (
o
1
o
) (
1
1
2
2
1
1
0 0 0 1 0 1 0
+ + + + + + =
+
+

t
t n
c
b
t
t n
c
a
t
t
c
b
t
t
c
a
t c
a t f
n
n
n
n
n n
e e e e
(3')
Se obtiene una expresin general para ) (t f con un nmero infinito de trminos:

... ) ( ... ) ( ) ( ) ( ) (
o
) (
3 2 1
3 2 1 0
+ + + + + + = t c t c t c t c t c t f
n
n
(4)

Figura 2

Si la funcin est definida en el intervalo (a, b), en donde se tiene un nmero N + 1 de puntos (ver
figura 2), con N , entonces, se deben de satisfacer N + 1 ecuaciones con N + 1 coeficientes c
n
a determinar (las funciones ) (t
n
son conocidas, en el caso de las series de Fourier, son funciones
seno y coseno, como se indica en la ecuacin (3') ):

) 5 (
) ( ) ( ) ( ) (
o
) ( ) ( ) ( ) (
o
) ( ) ( ) ( ) (
o
) ( ) ( ) ( ) (
o
) (
) (
) (
) (
2 1
2 1
2 1
2 1
2 1 0
2 1 0
2 1 0
2 1 0

+ + + +
A + + + A + + A + + A +
A + + + A + + A + + A +
+ + + +
=
=
=
=
A +
A +
b c b c b c b c
t n a c t n a c t n a c t n a c
t a c t a c t a c t a c
a c a c a c a c
b f
t n a f
t a f
a f
N
N
N
N
N
N
N
N

Estas ecuaciones se pueden escribir en forma matricial as:

) 6 (
) ( ) ( ) (
o
) ( ) ( ) (
o
) ( ) ( ) (
o
) ( ) ( ) (
o
) (
) (
) (
) (
1
0
1
1
1
1
|
|
|
|
|
|
|
|
.
|

\
|
|
|
|
|
|
|
|
|
.
|

\
|
A + A + A +
A + A + A +
=
|
|
|
|
|
|
|
|
.
|

\
|
A +
A +
N
n
c
c
c
c
b b b
t n a t n a t n a
t a t a t a
a a a
b f
t n a f
t a f
a f
N
N
N
N

La ecuacin matricial (6) se puede examinar con mayor detalle recordando las ecuaciones
matriciales que resultan de plantear sistemas de ecuaciones lineales como las que aparecen
graficadas en la figura 3 (en dos dimensiones), que son del tipo:

3 3
3 2
2
3
2
1
= + + =
= + =
y x x y
y x x y
matricialmente:
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
3
3
1 1
2 1
y
x
(7)


Figura 3

La solucin del sistema de ecuaciones (7) que se muestran en la figura 3, est dado por:

1
2 1
6 3
1 1
2 1
1 3
2 3
=
+
+
=

= x 2
2 1
3 3
1 1
2 1
3 1
3 1
=
+
+
=

= y (8)

Las rectas se cruzan en el punto (1, 2). La matriz del sistema de ecuaciones esta dado por:

|
|
.
|

\
|
1 1
2 1
, y tiene asociada los vectores:
( )
( ) 3 recta la a lar perpendicu 1 1
recta la a lar perpendicu 2 1
2
3
2
1
+ = =
+ = =
x y
x y
B
A



El rea entre estos dos vectores A y B (representados como vectores rengln), es el determinante de
la matriz del sistema. El sistema de ecuaciones tendr solucin si el determinante de la matriz es
distinto de cero. Si el determinante es cero, el sistema de ecuaciones no tiene solucin o tiene
infinidad de soluciones (los vectores A y B resultaran colineales, con el rea de su paralelogramo
igual a cero); en el primer caso, las rectas son paralelas, y en el segundo, una recta estara
exactamente encima de la otra recta. Cuando el rea del paralelogramo que forman los dos vectores
A y B no es cero, entonces A y B son linealmente independientes y pueden ser usados como una
base vectorial en R
2
.


Volviendo al sistema de ecuaciones dado en (5), la matriz del sistema es:


) 9 (
) ( ) ( ) (
o
) ( ) ( ) (
o
) ( ) ( ) (
o
) ( ) ( ) (
o
1
1
1
1
|
|
|
|
|
|
|
|
.
|

\
|
A + A + A +
A + A + A +
b b b
t n a t n a t n a
t a t a t a
a a a
N
N
N
N

El sistema de ecuaciones tiene solucin si el determinante de la matriz (9) es diferente de cero. La
matriz tiene asociados los vectores columna:



) 10 (
) (
) (
) (
) (
) (
) (
, ,
) (
) (
) (
) (
) (
,
) (
o
) (
o
) (
o
) (
o
1
1
1
1
t
b
t n a
t a
a
t
b
t n a
t a
a
t
b
t n a
t a
a
N
N
N
N
N 1 O

+
|
|
|
|
|
|
|
|
.
|

\
|
A +
A +
+
|
|
|
|
|
|
|
|
.
|

\
|
A +
A +
+
|
|
|
|
|
|
|
|
.
|

\
|
A +
A +

Los cuales deben ser linealmente independientes, y pueden ser usados como una base vectorial en el
espacio R
N+1
. Con el determinante de la matriz (9) se calcula el hipervolumen del hiperparalele-
ppedo formado por los N + 1 vectores dados en (10), que por ser linealmente independientes, el
hipervolumen es diferente de cero.





La base vectorial formada con los vectores enlistados en (10) es ortogonal en el intervalo (a, b) si
dados dos vectores cualesquiera de la base ) ( t
m
y ) ( t
m'
se cumple la condicin (donde T
como superndice, significa transpuesta del vector):

( )
) 11 ( ) , ( intervalo el en suma la
' si
' si
const
0
) ( ) (
) ( ) ( ) ( ) ( ) ( ) (
) (
) (
) (
) (
) ( ) ( ) ( ) ( ) ( ) (
1
1
'
'
' ' '
'
'
'
'
b a
m m
m m
t t
b b t a t a a a
b
t n a
t a
a
b t n a t a a t t
N
i
m
m m
m m m m m m
m
m
m
m
m m m m
m

=
=
= =
+ + A + A + + =
|
|
|
|
|
|
|
|
.
|

\
|
A +
A +
A + A + =

+
=

T


Si el nmero de puntos N+1 en el intervalo (a,b) tiende infinito, la suma se puede escribir como una
integral, y la condicin de ortogonalidad expresada en la ecuacin (11) se puede representar as:


]
m
(t)
m
| (t)Jt
b
u
= ]
u si m = m
const si m = m
(12)

La condicin anterior es la condicin para la ortogonalidad de dos funciones
m
(t) y
m
|(t) en el
intervalo (a,b).

De acuerdo con la ecuacin (4), la funcin f(t) se puede representar como:

... ) ( ... ) ( ) ( ) ( ) (
o
) (
3 2 1
3 2 1 0
+ + + + + + = t c t c t c t c t c t f
n
n
(4)

Donde {
0
,
1
,
2
, ,
n
, ] es una base ortogonal de funciones en el intervalo (a, b).

Los coeficientes c
1
, c
2
, , c
n
, se pueden calcular de manera anloga a como se calculan las
componentes de un vector A representado en la base vectorial {a
1
, a
2
, a
3
], es decir, si el vector A
es:
A = c
1
a
1
+ c
2
a
2
+ c
3
a
3
(13)

Y con el uso de las condiciones de ortogonalidad:

a
m
a
n
= ]
u si m = n
const si m = n


Entonces, las componentes (coeficientes) c
1
, c
2
y c
3
se pueden determinar mediante las frmulas:

c
1
=
Aa
1
a
1
a
1
, c
2
=
Aa
2
a
2
a
2
, c
3
=
Aa
3
a
3
a
3
(14)


Para los coeficientes c
1
, c
2
, , c
n
, de la expresin (4), los productos escalares tienen forma de
integrales y se determinan mediante la frmula:

c
n
=
] (t)
n
(t)Jt
b
u
]
n
(t)
n
(t)Jt
b
u

(15)

Para el caso especfico de una funcin peridica f(t) con periodo T, representada como serie de
Fourier (ecuacin 3), se tiene:

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

En este caso, la base ortogonal de funciones en el intervalo (0, T) es:

{1, cos(
0
t) , scn(
0
t), cos(2
0
t) , scn(2
0
t), , cos(n
0
t) , scn(n
0
t), ] (16)

Donde
0
=
2n
1
es la llamada frecuencia fundamental asociada al periodo T.

Las funciones de base dadas en (16) cumplen las condiciones de ortogonalidad en el intervalo (0,T);
expresadas en (12) es decir, se tienen integrales que tienen los valores:

_ 1 cos(n
0
t)Jt
1
0
= u
_ 1 scn(n
0
t)Jt
1
0
= u
_ cos(m
0
t)scn(n
0
t)Jt
1
0
= u
_ cos(m
0
t)cos(n
0
t)Jt
1
0
_ scn(m
0
t)scn(n
0
t)Jt
1
0

1
1
1
1
1
= _
u si m = n

1
2
si m = n


1
1
1
1
1
1
1
1
1
1
1
1
1
(17)


Los coeficientes a
0
, a
1
, a
2
, , a
n
, se pueden determinar mediante las frmulas:


o
0
=
1
1
_(t)Jt
1
0
o
n
=
2
1
_(t)cos(n
0
t)Jt
1
0

b
n
=
2
1
_(t)scn(n
0
t)Jt
1
0

1
1
1
1
1
1
1
1
1
(18)


Serie Exponencial de Fourier


La siguiente expresin es la serie trigonomtrica de Fourier de la funcin peridica f (t):

| |

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

De la relacin:

c
0
= cos0 + i scn0 (19)

Se obtienen las expresiones para la funcin seno y coseno en forma de exponenciales imaginarias:
cos0 =
c
i0
+c
-i0
2
(20)

scn0 =
c
i0
- c
-i0
2
(21)

Con el uso de las relaciones (20) y (21), considerando = nt, la serie trigonomtrica es:


(t) = o
0
+ |o
n
cos(n
0
t) +b
n
scn(n
0
t)]

n=1




= o
0
+ _o
n
_
c
no
0
t
+c
-no
0
t
2
_ +b
n
_
c
no
0
t
- c
-no
0
t
2i
__

n=1


= o
0
+ _o
n
_
c
no
0
t
+c
-no
0
t
2
_ - ib
n
_
c
no
0
t
- c
-no
0
t
2
__

n=1


= o
0
+ _c
no
0
t
_
o
n
- ib
n
2
]
_______
c
n
+c
-no
0
t
_
o
n
+ib
n
2
]
_______
c
n

n=1


(t) = o
0
+ |c
n
c
no
0
t
+c
n

c
-no
0
t
]

n=1

(22)

Donde se han definido los coeficientes:
c
n
=
u
n
-b
n
2
(23)

c
n

=
u
n
+b
n
2
(c
n

es el nmeio complejo conjugauo ue c

n
)
(24)

De las ecuaciones dadas en (18), el coeficiente dado en (24) es:

c
n

=
o
n
+ ib
n
2
=
1
2
_
2
I
_(t)cos(n
u
t)Jt
I
u
+ i
2
I
_(t)scn(n
u
t)Jt
I
u
_


Pero

cos(n
0
t) = cos(-n
0
t)
scn(n
0
t) = -scn(-n
0
t)
_ (25)

Por lo tanto:

c
n

=
1
2
l
l
l
l
l
2
I
_(t)cos(-n
u
t)Jt
I
u
_____________
o
-n
- i
2
I
_(t)scn(-n
u
t)Jt
I
u
_____________
b
-n
1
1
1
1
1


c
n

=
u
-n
-b
-n
2
= c
-n
(26)


Sustituyendo (26) en (22) y renombrando a
0
como c
0
:

(t) = o
0
_
c
0
+ |c
n
c
no
0
t
+c
-n
c
-no
0
t
]

n=1

Separando trminos:
(t) = c
0
+ c
n
c
no
0
t

n=1
+ c
-n
c
-no
0
t

n=1
En la ltima serie, las n se pueden cambiar a n haciendo que la suma sea sobre valores negativos de
n desde infinito hasta -1, reordenando los trminos se tiene entonces:

(t) = c
n
c
no
0
t
-1
n=-
+c
0
+ c
n
c
no
0
t

n=1

Finalmente, los trminos se pueden juntar y se tiene la serie exponencial de Fourier:

(t) = c
n
c
no
0
t

n=-

(27)

De la ecuacin (23) se puede obtener la frmula para los coeficientes:

c
n
=
o
n
- ib
n
2
=
1
2
_
2
I
_(t)cos(n
u
t)Jt
I
u
- i
2
I
_(t)scn(n
u
t)Jt
I
u
_

=
1
I
__(t)cos(n
u
t)Jt
I
u
- i _(t)scn(n
u
t)Jt
I
u
_

=
1
I
_(t) | cos(n
u
t) - iscn(n
u
t) ]
_________________
c
-in
u
t
Jt
I
u


c
n
=
1
I
_(t)c
-in
u
t
Jt
I
u

(28)

En este caso, la base ortogonal de funciones en el intervalo (0, T) es:

|1, c
o
0
t
, c
-o
0
t
, c
2o
0
t
, c
-2o
0
t
, , c
no
0
t
, c
-no
0
t
, | (29)

Donde
0
=
2n
1
es la llamada frecuencia fundamental asociada al periodo T.

Las funciones de base dadas en (29) son complejas, y las condiciones de ortogonalidad en el
intervalo (0, T) expresadas en (12) se modifican de la siguiente manera:

_
m

(t)
m
|(t)Jt
1
0
= ]
u si m = m
const si m = m

(30)


Transformada de Fourier


La siguiente expresin es la serie exponencial de Fourier de la funcin peridica f (t):

(t) = c
n
c
no
0
t

n=-


Donde
0
=
2n
1
es la llamada frecuencia fundamental asociada al periodo T. Las frecuencias
posibles para los distintos trminos armnicos son:

n
= n
0
(n L) (31)

La diferencia entre valores de frecuencias vecinas es (en valor absoluto):

=
n+1
-
n
= (n +1)
0
- n
0


=
0
=
2n
I

(32)
Si el periodo de la funcin tiende a infinito, entonces:

J

n
0


La frmula para los coeficientes dada por (28):

c
n
=
1
I
_(t)c
-in
u
t
Jt
I
u

Se convierte en:
c
n


0
2n
_(t)c
-it
Jt

-


Y se puede definir una nueva funcin como:

2nc
n

0
_
J(o)
= _(t)c
-it
Jt

-


J() = _(t)c
-it
Jt

-

(33)

Llamada la transformada de Fourier de la funcin f (t). La serie exponencial de Fourier dada en
(27) se modifica de la siguiente manera, al considerar el periodo infinito:

(t) = c
n
c
no
0
t

n=-
, J() =
2nc
n

u
=
2nc
n

(t) = lim
o0

1
2n
J()c
no
0
t

n=-



(t) =
1
2n
_ J()c
ot
J

-

(34)
La expresin (34) se llama transformada inversa de Fourier de la funcin J().