SERIES DE FOURIER

Las llamadas series de Fourier son desarrollos en los que cada trmino es una
funcin y por lo tanto el resultado de toda la sumatoria tambin lo ser. Estas series
funcionales se utilizan para representar o expresar funciones peridicas.
Es necesario definir, entonces, qu es una funcin peridica. Es aquella funcin
cuyos valores se repiten conforme un determinado intervalo T.
Este intervalo de repeticin de los valores de la funcin es justamente el periodo
T que le da su nombre.
nal!ticamente, las funciones peridicas son entonces las que cumplen"
f#x$ % f#x & nT$
donde n % ', (, ), *, +, ...
por lo tanto para cualquier n,mero entero de veces T, los valores de la funcin peridica
se repiten.
-rficamente"
Estas funciones presentan interesantes propiedades, por ejemplo, dadas dos
funciones peridicas, .eneralmente su suma lineal es tambin una funcin peridica.
/ale decir, dadas .#x$ y f#x$ peridicas, se comprueba que 0#x$ % a f#x$ & b .#x$
ser tambin una funcin peridica.
1n ejemplo muy conocido de funciones peridicas son las funciones
tri.onomtricas, para las cuales, en particular, el periodo vale T % (2
f#x$
x
T
3ay funciones peridicas que admiten un desarrollo en serie en base a funciones
tri.onomtricas, vale decir que todos los trminos de la serie son funciones de este tipo,
por ejemplo"
f#x$ % a
4
& a
'
cos x & b
'
sen x & a
(
cos (x & b
(
sen (x & a
)
cos )x & b
)
sen )x & ......
si se observa detenidamente, todos los trminos responden a una ley de formacin, lo
que permite resumir el desarrollo en una serie, expresndolo en base a una sumatoria.
5e este modo, resulta"

6
f#x$ % 7 #a
n
cos nx & b
n
sen nx$

n % 4
y sta es la que se denomina forma trigonomtrica de la serie de Fourier. En la cual los
valores #a
i
b
i
$ son los coeficientes de la serie.
8ada trmino de la serie tiene periodo T % (2, a,n el trmino independiente a
0
porque al ser una constante cumple con la definicin de funcin peridica dado que sus
valores se repiten.
En realidad, se prefiere la si.uiente expresin para la serie tri.onomtrica de
9ourier"

6
f#x$ % a
4
& 7 #a
n
cos nx & b
n
sen nx$ #'$

n % '
que es totalmente equivalente a la anterior, pero es preferible que el coeficiente a
0
aparezca separado porque su forma de clculo es diferente de la del resto de los
coeficientes a
i
:ara que esta forma tri.onomtrica de la serie de 9ourier sea apta para
desarrollar o representar una funcin peridica, lo que falta es obtener un mtodo de
clculo o determinacin de los coeficientes correspondientes.
8L81L; 5E L;< 8;E9=8=E>TE<"
:ara evaluar los coeficientes, en la expresin #'$ se puede inte.rar miembro a
miembro, entre los extremos de inte.racin ?2 y 2, resultando"

2 2 2
@f#x$ dx % @a
4
dx & 7 @ #a
n
cos nx & b
n
sen nx$ dx
A A A

? 2 ?2 ?2
8omo los trminos de la sumatoria son peridicos, y por lo tanto sus valores se repiten,
es suficiente con calcular uno solo de ellos, por ejemplo para n % ', por simplicidad.
Entonces"
B a
'
cos x dx & B b
'
sen x dx entre los mismos l!mites de inte.racin #?2 y 2$
resultar"

2 2
a
'
Csen xD ? b
'
Ccos xD % 4

?2 ?2
y por la periodicidad estos valores se repetirn para todo valor de n, por lo tanto la
expresin anterior se reduce a"
B f#x$ dx % B a
4
dx % a
4
B dx
y entre los l!mites de inte.racin considerados, el resultado es"
B f#x$ dx % (2 a
4
por lo tanto, si se despeja el coeficiente"
a
4
% 'E(2 B f#x$ dx
:ara calcular el resto de los coeficientes se puede se.uir un procedimiento
anlo.o, partiendo de la expresin #'$, se multiplica miembro a miembro por cos mx y
se inte.ra entre los mismos l!mites"
B f#x$ cos mx dx % B a
4
cos mx dx & 7 CB #a
n
cos nx cos mx $dx & B #b
n
sen nx cos mx$ dxD
5e las tres inte.rales que 0an quedado en el se.undo miembro, es fcil ver que la
primera resultar nula entre F2 y 2G mientras que la tercera inte.ral ser siempre nula,
para cualquier par de valores #n,m$ por ortogonalidad de los conjuntos de funciones
involucradas sen nx y cos mx.
En cambio la se.unda inte.ral, ser tambin nula por orto.onalidad, excepto en el caso
que n % m, porque entonces quedar!a"
B a
n
#cos mx $
(
dx % a
n
B cos
(
mx dx
donde esta ,ltima inte.ral es i.ual al cuadrado de la norma del conjunto Ccos mxDG
siendo"
HHcos mx HH % I

2
por lo tanto"
B cos
(
mx dx % HHcos mx HH
(
% 2
volviendo a la expresin"
B f#x$ cos mx dx % 2 a
n
5e modo que se puede despejar"
a
n
% 'E 2 B f#x$ cos mx dx entre F2 y 2
8on un procedimiento anlo.o, que se omite para mayor brevedad, si se 0ubiera
multiplicado miembro a miembro por Csen mxD e inte.rado entre los mismos l!mites,
resultar!a"
b
n
% 'E 2 B f#x$ sen mx dx entre F2 y 2
con lo cual ya se 0an obtenido los coeficientes que corresponden al desarrollo
tri.onomtrico de la serie de 9ourier de una funcin peridica.
9unciones de periodo arbitrario"
:odr!a suceder que la funcin peridica que se pretende desarrollar en serie de
9ourier requiera de la utilizacin de trminos peridicos de un periodo distinto a (2.
:or ejemplo, una cierta funcin peridica"
f#t$ % f#t &nT$
donde claramente T J (2
en ese caso deber!a establecerse la equivalencia entre cada variable con su respectivo
periodo, a saber"
tET % xE(2
lo cual si.nifica" Kt es a T como x es a (2L
si se despeja de aqu!, resulta"
t % #TE(2$ x #'$
x % #(2ET$ t
adems, diferenciando esta ,ltima expresin"
dx % #(2ET$ dt
utilizando la expresin #'$ se observa que los nuevos l!mites de inte.racin, para la
variable t, sern"
si x % ?2 G entonces"
t % #TE(2$ #?2$ % ?TE(
en cambio, si x % 2 entonces
t % TE(
0aciendo todos los reemplazos correspondientes, la forma tri.onomtrica para la
funcin peridica de periodo arbitrario f#t$ y sus coeficientes sern"
f#t$ % a
4
& 7 #a
n
cos n(2tET & b
n
sen n(2tET$
siendo los coeficientes"
a
4
% 'ET B f#t$ dt
a
n
% (ET B f#t$ cos #n(2tET$ dt
b
n
% (ET B f#t$ sen #n(2tET$ dt
todas estas ,ltimas inte.rales efectuadas entre los extremos de inte.racin ?TE( y TE(
respectivamente.
=n.. 3u.o Miritos