Series de Fourier.

Jose Mara Rico Martnez

Departamento de Ingeniera Mec anica
Facultad de Ingeniera Mec anica Electrica y Electr onica
Universidad de Guanajuato
Salamanca, Gto. 38730, Mexico
email: jrico@salamanca.ugto.mx
1 Objetivo.
Se presenta en forma sucinta la teora detras del desarrollo de funciones pe-
ri odicas mediante Series de Fourier. Se pone enfasis en las relaciones entre el
algebra lineal y las Series de Fourier.
2 Espacio Vectorial de Funciones Continuas y
su Forma Simetrica Bilineal.
Considere el espacio vectorial de funciones peri odicas, de periodo T, continuas
denidas en un intervalo C
0
P
(, +), es posible denir la siguiente forma
simetrica bilineal o producto escalar
C
0
P
(, +) C
0
P
(, +) (f(t), g(t)) =
_
T
0
f(t)g(t)dt. (1)
Primero se probar a que que el mapeo anterior satisface las propiedades de la
forma simetrica bilineal o producto escalar. Considere f(t), g(t) C
0
P
(, +)
y a, b ,
1. Simetrica, tambien conocida como conmutativa.
(f(t), g(t)) =
_
T
0
f(t)g(t)dt =
_
T
0
g(t)f(t)dt = (g(t), f(t)) (2)
2. Lineal en la primera variable.
(a f
1
(t) + b f
2
(t), g(t)) =
_
T
0
[a f
1
(t) + b f
2
(t)]g(t)dt
1
= a
_
T
0
f
1
(t)g(t)dt + b
_
T
0
f
2
(t)g(t)dt
= a(f
1
(t), g(t)) + b(f
2
(t), g(t)). (3)
3. Lineal en la segunda variable.
(f(t), a g
1
(t) + b g
2
(t)) =
_
T
0
f(t)[a g
1
(t) + b g
2
(t)]dt
= a
_
T
0
f(t)g
1
(t)dt + b
_
T
0
f(t)g
2
(t)dt
= a(f(t), g
1
(t)) + b(f(t), g
2
(t)). (4)
Ademas, puede probarse que esta forma simetrica bilineal es positiva denida,
es decir:
(f(t), f(t)) =
_
T
0
[f(t)]
2
dt 0 f(t) C
0
P
(, +). (5)
y
1
(f(t), f(t)) =
_
T
0
[f(t)]
2
dt = 0 f(t) = 0 t (, +). (6)
Con esta denici on de forma simetrica bilineal o producto escalar es posible
generalizar conceptos de la geometra Euclidana, como perpendicularidad o
longitud, a las funciones peri odicas. En particular dos funciones f(t), g(t)
C
0
P
(, +) se denominan ortogonales, si y solo si
(f(t), g(t)) =
_
T
0
f(t)g(t)dt = 0. (7)
Ademas, la longitud de una funci on f(t) C
0
P
(, +) se dene como
| f(t) |=
_
(f(t), f(t)) =

_
T
0
| f(t) |
2
dt. (8)
Mas a un, una funci on f(t) C
0
P
(, +) se dice que es unitaria u
ortonormal si su longitud es unitaria; es decir si
| f(t) |=
_
(f(t), f(t)) =

_
T
0
| f(t) |
2
dt = 1.
1
Las excepciones son funciones para las cuales existen un n umero nito de valores de t,
para los cuales f(t) = 0. Estas funciones no seran consideradas aqu.
2
3 Sistema Trigonometrico Basico.
En est a seccion se mostrara que existe una base para el espacio vectorial de
funciones peri odicas, no necesariamente continuas, de periodo 2 , denominado
C
2
(, +), y que las propiedades de esa base permite determinar de manera
muy sencilla el desarrollo, en series de Fourier, de una funci on peri odica, de
periodo 2
Denicion: Sistema Trigonometrico Basico. El conjunto de funciones
S
TB
{1, cos(t), cos(2 t), cos(3 t) . . . , sen(t), sen(2 t), sen(3 t) . . .}, (9)
se conoce como Sistema Trigonometrico Basico, es importante notar que
todos los elementos del Sistema Trigonometrico B asico tienen un periodo com un
igual a 2 .
Proposici on. El Sistema Trigonometrico B asico es un conjunto ortogonal
de funciones vectores, es decir si f(t), g(t) S
TB
y f(t) = g(t), entonces
(f(t), g(t)) =
_
2
0
f(t)g(t)dt = 0.
Prueba: Es suciente probar que
Para n = 1, 2, . . .
(1, cos(nt)) =
_
2
0
1 cos(nt)dt = 0.
Para n = 1, 2, . . .
(1, sen(nt)) =
_
2
0
1 sen(nt)dt = 0.
Para m, n = 1, 2, . . . con m = n
(cos(mt), sen(nt)) =
_
2
0
cos(mt) sen(nt)dt = 0.
Para m, n = 1, 2, . . . con m = n
(cos(mt), sen(nt)) =
_
2
0
cos(mt) sen(nt)dt = 0.
Para m, n = 1, 2, . . . con m = n
(cos(mt), cos(nt)) =
_
2
0
cos(mt) cos(nt)dt = 0.
3
Para m, n = 1, 2, . . . con m = n
(sen(mt), sen(nt)) =
_
2
0
sen(mt) sen(nt)dt = 0.
Ademas, se determinar an las longitudes de los elementos del Sistema
Trigonometrico B asico, para la funci on 1,
| 1 |
2
=
_
2
0
1 1 dt =
_
2
0
dt = t

2
0
= 2 . (10)
para la funci on cos(mt),
| cos(mt) |
2
=
_
2
0
cos(mt) cos(mt) dt =
_
2
0
cos
2
(mt)dt
=
_
2
0
1 + cos(2 mt)
2
dt =
1
2
_
2
0
dt +
1
4 m
_
2
0
cos(2 mt) 2 mdt
=
1
2
t

2
0
+
1
4 m
sen(2 mt)

2
0
=
1
2
(2 0) +
1
4 m
[sen(4 m) sen0] = . (11)
para la funci on sen(mt),
| sen(mt) |
2
=
_
2
0
sen(mt) sen(mt) dt =
_
2
0
sen
2
(mt)dt
=
_
2
0
1 cos(2 mt)
2
dt =
1
2
_
2
0
dt
1
4 m
_
2
0
cos(2 mt) 2 mdt
=
1
2
t

2
0

1
4 m
sen(2 mt)

2
0
=
1
2
(2 0)
1
4 m
[sen(4 m) sen0] = . (12)
Asi pues, se ha probado que el Sistema Trigonometrico B asico es un con-
junto ortogonal, pero no ortonormal, de funciones, en particular, ninguna de las
funciones tiene longitud cero.
Proposici on. El Sistema Trigonometrico B asico es un conjunto linealmente
independiente.
Prueba: Considere una combinaci on lineal del Sistema Trigonometrico
Basico igualada a la funcion cero
C
Lineal
(t) a
0
(1) + a
1
cos(t) + a
2
cos(2 t) + a
3
cos(3 t) + . . . + b
1
sen(t)
+ b
2
sen(2 t) + b
3
sen(3 t) + . . . = 0 t (, +) (13)
4
Es suciente probar que la unica posible soluci on es
a
0
= a
1
= a
2
= a
3
= . . . = b
1
= b
2
= b
3
= . . . = 0
Primero calcule la forma simetrica bilineal de ambos lados de la ecuaci on
2
(13) con la funci on 1, entonces
_
2
0
1 C
Lineal
(t) =
_
2
0
1 0 = 0
Sin embargo
_
2
0
1 [a
0
(1) + a
1
cos(t) + a
2
cos(2 t) + a
3
cos(3 t) + . . .
+ b
1
sen(t) + b
2
sen(2 t) + b
3
sen(3 t) + . . .] = 2 a
0
Por lo tanto,
a
0
= 0.
Repitiendo el proceso con la funci on cos(nt), n I, se tiene que
_
2
0
cos(nt) C
Lineal
(t) =
_
2
0
cos(nt) 0 = 0
Sin embargo
_
2
0
cos(nt) [a
0
(1) + a
1
cos(t) + a
2
cos(2 t) + a
3
cos(3 t) + . . .
+ b
1
sen(t) + b
2
sen(2 t) + b
3
sen(3 t) + . . .] = a
n
Por lo tanto,
a
n
= 0 n I.
Repitiendo el proceso con la funci on sen(nt), n I, se tiene que
_
2
0
sen(nt) C
Lineal
(t) =
_
2
0
sen(nt) 0 = 0
Sin embargo
_
2
0
sen(nt) [a
0
(1) + a
1
cos(t) + a
2
cos(2 t) + a
3
cos(3 t) + . . .
+ b
1
sen(t) + b
2
sen(2 t) + b
3
sen(3 t) + . . .] = b
n
Por lo tanto,
b
n
= 0 n I.
Por lo tanto se ha probado que el Sistema Trigonometrico B asico es un
conjunto linealmente independiente.
2
Note que si la ecuacion (13) es cierta, cualquier otra ecuacion que se obtenga manipulando
esta ecuacion es tambien cierta.
5
4 El Sistema Trigonometrico Basico Como una
Base de C
2
(, +), Determinaci on de los
Coecientes de Fourier.
Nuestro objetivo es mostrar que el Sistema Trigonometrico B asico es una base
para el espacio vectorial de funciones peri odicas de periodo 2, denominado
C
2
(, +). Por lo tanto, del algebra lineal es suciente probar que cualquier
funcion f(t) C
2
(, +) puede escribirse como una combinaci on lineal del
Sistema Trigonometrico B asico, o alternativamente que el Sistema Trigonometri-
co Basico es un conjunto generador de C
2
(, +).
La prueba es constructiva puesto que consiste en determinar la ecuaciones de
los escalares que permiten escribir f(t) C
2
(, +) como una combinaci on
lineal del Sistema Trigonometrico B asico. Sin embargo, debe notarse que el
an alisis no muestra las condiciones que f(t) debe satisfacer para que el resultado
sea cierto.
3
Proposici on. El Sistema Trigonometrico B asico es una base para el espacio
vectorial de funciones peri odicas de periodo 2 .
Prueba: Como ya se mostro que el Sistema Trigonometrico B asico es
un conjunto linealmente independiente, basta probar que una funci on arbitra-
ria, peri odica de periodo 2 , puede escribirse como una combinaci on lineal del
Sistema Trigonometrico B asico. En el proceso de la prueba se mostrar an las
ecuaciones que permiten calcular los escalares de la combinacion lineal, esos
escalares se denominan Coecientes de Fourier.
Sea f(t) C
2
(, +) arbitraria y suponga que puede escribirse como
f(t) = a
0
(1) + a
1
cos(t) + a
2
cos(2 t) + a
3
cos(3 t) + . . .
+ b
1
sen(t) + b
2
sen(2 t) + b
3
sen(3 t) + . . .
= a
0
(1) +

i=1
[a
i
cos(i t) + b
i
sen(i t)] . (14)
Determinacion de a
0
. Calculando la forma simetrica bilineal de ambos
lados de la ecuacion (14) con la funci on 1, se tiene que
_
2
0
1 f(t)dt =
_
2
0
1
_
a
0
(1) +

i=1
[a
i
cos(i t) + b
i
sen(i t)]
_
dt.
Pero puesto que las funciones 1, cos(i t) y sen(i t) son ortogonales, se tiene que
_
2
0
f(t)dt = a
0
_
2
0
1 1dt = a
0
2 .
3
Un curso matematicamente riguroso debe incluir la deduccion de esas condiciones.
6
Por lo tanto
a
0
=
1
2
_
2
0
f(t) dt, (15)
Determinacion de a
n
. Calculando la forma simetrica bilineal de ambos
lados de la ecuacion (14) con la funci on cos(nt), se tiene que
_
2
0
cos(nt) f(t)dt =
_
2
0
cos(nt)
_
a
0
(1) +

i=1
[a
i
cos(i t) + b
i
sen(i t)]
_
dt.
Pero puesto que las funciones 1, cos(i t) y sen(i t) son ortogonales, y cos(nt) es
ortogonal a cos(i t), para i = n, se tiene que
_
2
0
f(t)cos(nt)dt = a
n
_
2
0
cos(nt) cos(nt)dt = a
n
.
Por lo tanto
a
n
=
1

_
2
0
f(t) cos(nt) dt, (16)
Determinacion de b
n
. Calculando la forma simetrica bilineal de ambos
lados de la ecuacion (14) con la funci on sen(nt), se tiene que
_
2
0
sen(nt) f(t)dt =
_
2
0
sen(nt)
_
a
0
(1) +

i=1
[a
i
cos(i t) + b
i
sen(i t)]
_
dt.
Pero puesto que las funciones 1, cos(i t) y sen(i t) son ortogonales, y sen(nt) es
ortogonal a sen(i t), para i = n, se tiene que
_
2
0
f(t)sen(nt)dt = b
n
_
2
0
sen(nt) sen(nt)dt = b
n
.
Por lo tanto
b
n
=
1

_
2
0
f(t) sen(nt) dt, (17)
Las ecuaciones (15 17) son la herramienta fundamental para el desarrollo
de funciones peri odicas no arm onicas de periodo 2 . La ecuacion (14), repetida
aqu, se conoce como la forma algebraica de la serie de Fourier
f(t) = a
0
+

n=1
[a
n
cos(nt) + b
n
sen(nt)] .
Sin embargo, con la ayuda de la identidad trigonometrica
c
n
sen(nt +
n
) = sen(nt)[c
n
cos
n
] + cos(nt)[c
n
sen
n
] (18)
7
La serie de Fourier puede escribirse en su forma polar, dada por
f(t) = a
0
+

n=1
c
n
sen(nt +
n
). (19)
donde la amplitud y angulo de fase de la n-esima armonica estan dados por
c
n
=
_
a
2
n
+ b
2
n
y
n
= tan
1
a
n
b
n
.
Ademas
b
n
= c
n
cos
n
y a
n
= c
n
sen
n
.
La graca de la amplitud de la n-esima armonica c
n
versus el n umero de
arm onica se conoce como Espectro de Fourier.
5 Algunas Propiedades de la Integraci on de Fun-
ciones Periodicas y Funciones Pares e Impares.
En esta seccion se mostrara algunas propiedades de la integraci on de funciones
peri odicas y su relaci on con funciones pares e impares. Todos estos resultados
tienen por objeto simplicar el c alculo de los coecientes de Fourier y, con-
secuentemente, el computo del desarrollo en series de Fourier de una funci on
peri odica.
Propiedad Fundamental de Funciones Periodicas. Sea f(t) una funci on
peri odica de periodo T, entonces para cualesquiera a, b, tal que los intervalos
(a, a + T) y (b, b + T) esten dentro del dominio de denici on de la funci on
_
a+T
a
f(t) dt =
_
b+T
b
f(t) dt. (20)
Prueba: Sin perdida de generalidad se supondr a que b (a, a + T), por lo
tanto
_
b+T
b
f(t) dt =
_
a+T
b
f(t) dt +
_
b+T
a+T
f(t) dt,
Sin embargo, puesto que f(t) es periodica de periodo T, se tiene que
f(t) = f(t T)
haga y = t T, por lo tanto dy = dt y
_
b+T
a+T
f(t) dt =
_
b+T
a+T
f(t T) dt =
_
b
a
f(y) dy =
_
b
a
f(t) dt
8
Por lo tanto, sustiyendo en la primera ecuaci on de esta prueba, se tiene que
_
b+T
b
f(t) dt =
_
a+T
b
f(t) dt +
_
b
a
f(t) dt =
_
b
a
f(t) dt +
_
a+T
b
f(t) dt
=
_
a+T
a
f(t) dt
Denicion de Funciones Pares e Impares. Considere una funci on f(t),
no necesariamente periodica, denida sobre el intervalo (, +) o un subin-
tervalo simetrico respecto de 0. Se dice que la funcion f(t) es Par si
f(t) = f(t) t. (21)
Geometricamente, una funcion es par si su gr aca es simetrica respecto al eje
vertical que pasa por 0. Ejemplos de funciones pares son f(t) = c, donde c es
una constante y f(t) = cos(nt), para n I. Se dice que la funci on f(t) es
Impar si
f(t) = f(t) t. (22)
Geometricamente, una funcion es par si su gr aca es simetrica respecto al origen
(0, 0). Ejemplos de funciones pares son f(t) = sen(nt), para n I.
Denicion. El producto de dos funciones
4
f(t), g(t) se dene como
[f][g](t) = [f(t)][g(t)] t.
Proposici on: Propiedades de los Productos de Funciones Pares e
Impares. Las funciones pares e impares satisfacen las siguientes propiedades:
1. El producto de dos funciones pares es par.
2. El producto de dos funciones impares es par.
3. El producto de una funci on par y una impar es impar.
Prueba: Sean f
1
(t), f
2
(t) dos funciones pares y sean g
1
(t), g
2
(t) dos fun-
ciones impares. Entonces
[f
1
][f
2
](t) = [f
1
(t)][f
2
(t)] = [f
1
(t)][f
2
(t)] = [f
1
][f
2
](t),
[f
1
][g
1
](t) = [f
1
(t)][g
1
(t)] = [f
1
(t)][g
1
(t)] = [f
1
][g
1
](t),
y
[g
1
][g
2
](t) = [g
1
(t)][g
2
(t)] = [g
1
(t)][g
2
(t)] = [g
1
][g
2
](t).
4
No confundir con la composicion de funciones.
9
Proposici on. Propiedad de las Funciones Pares. Sea f(t) una funci on
par y sea
T
2
un n umero real, tal que (
T
2
,
T
2
) esta comprendido dentro del
dominio de la funci on f(t), entonces
_ T
2
T
2
f(t) dt = 2
_ T
2
0
f(t) dt. (23)
Prueba: Considere
_ T
2
T
2
f(t) dt =
_
0

T
2
f(t) dt +
_ T
2
0
f(t) dt.
Si se hace y = t, entonces dy = dt y f(y) = f(y), por lo tanto
_
0

T
2
f(t) dt =
_
0
T
2
f(y) (dy) =
_
0
T
2
f(y) dy =
_ T
2
0
f(y) dy =
_ T
2
0
f(t) dt
De aqu que
_ T
2
T
2
f(t) dt =
_ T
2
0
f(t) dt +
_ T
2
0
f(t) dt = 2
_ T
2
0
f(t) dt.
Proposici on. Propiedad de las Funciones Impares. Sea f(t) una
funci on impar y sea
T
2
un n umero real, tal que (
T
2
,
T
2
) esta comprendido dentro
del dominio de la funci on f(t), entonces
_ T
2
T
2
f(t) dt = 0. (24)
Prueba: Considere
_ T
2
T
2
f(t) dt =
_
0

T
2
f(t) dt +
_ T
2
0
f(t) dt.
Si se hace y = t, entonces dy = dt y f(y) = f(y), por lo tanto
_
0

T
2
f(t) dt =
_
0
T
2
f(y) (dy) =
_
0
T
2
f(y) dy =
_ T
2
0
f(y) dy =
_ T
2
0
f(t) dt
De aqu que
_ T
2
T
2
f(t) dt =
_ T
2
0
f(t) dt +
_ T
2
0
f(t) dt = 0.
Finalmente, se mostrara que el desarrollo de funciones pares e impares se
simplica tomando en cuenta las propiedades obtenidas en p aginas anteriores
10
Proposici on. Desarrollo de Fourier de una Funci on Par. Sea f(t)
una funci on par de periodo 2 , su desarrollo de Fourier esta dado por
f(t) = a
0
+

n=1
a
n
cos(nt). (25)
El desarrollo se denomina una serie de cosenos.
Prueba: Si f(t) una funci on par de periodo 2 , se tiene que
a
0
=
1
2
_
2
0
f(t) dt =
1
2
_

f(t) dt =
1

_

0
f(t) dt, (26)
a
n
=
1

_
2
0
f(t)cos(nt) dt =
1

f(t) cos(nt)dt =
2

_

0
f(t)cos(nt) dt,
(27)
y
b
n
=
1

_
2
0
f(t)sen(nt) dt =
1

f(t) sen(nt)dt = 0 (28)

Proposici on. Desarrollo de Fourier de una Funci on Impar. Sea f(t)
una funci on impar de periodo 2 , su desarrollo de Fourier esta dado por
f(t) =

n=1
b
n
sen(nt). (29)
El desarrollo se denomina una serie de senos.
Prueba: Si f(t) una funci on impar de periodo 2 , se tiene que
a
0
=
1
2
_
2
0
f(t) dt =
1
2
_

f(t) dt = 0, (30)
a
n
=
1

_
2
0
f(t)cos(nt) dt =
1

f(t) cos(nt)dt = 0, (31)

y
b
n
=
1

_
2
0
f(t)sen(nt) dt =
1

f(t) sen(nt)dt =
2

_

0
f(t) sen(nt)dt.
(32)
6 Desarrollo de Fourier de Funciones Peri odicas
de Periodo Arbitrario.
En esta seccion se mostrara como los resultados obtenidos en las secciones an-
teriores pueden extenderse a funciones peri odicas de periodo diferente a 2 .
11
Suponga que f(t) es una funci on peri odica de periodo T, realizando un
cambio de variable, se desea convertirla en una funcion peri odica de periodo
2 . Considere
x =
2
T
t, y t =
T
2
x. (33)
Note en particular que x(T) =
2
T
T = 2 . El siguiente paso es mostrar que
f(x) es periodica de periodo 2 , puesto que f(t) = f(t + T), entonces
f(
T
2
x) = f(
T
2
x + T) = f(
T
2
(x + 2 )).
Por lo tanto, los resultados de las secciones anteriores pueden aplicarse al de-
sarrollo de la funci on en x. Por lo tanto,
f(t) = f(
T
2
x) = a
0
+

n=1
[a
n
cos(nx) + b
n
sen(nx)] .
Donde
a
0
=
1
2
_
2
0
f(
T
2
x) dx,
a
n
=
1

_
2
0
f(
T
2
x) cos(nx) dx,
y
b
n
=
1

_
2
0
f(
T
2
x) sen(nx) dx.
El paso nal consiste en expresar estos resultados en terminos de la variable
original t, puesto que
x =
2
T
t, se tiene que dx =
2
T
dt
Por lo que
x = 0 t = 0 y x = 2 t = T.
Cambiando la variable se tiene que
a
0
=
1
2
_
T
0
f(t)
2
T
dt =
1
T
_
T
0
f(t)dt, (34)
a
n
=
1

_
T
0
f(t) cos
2 n t
T
2
T
dt =
2
T
_
T
0
f(t) cos
2 n t
T
dt, (35)
y
b
n
=
1

_
T
0
f(t) sen
2 n t
T
2
T
dt =
2
T
_
T
0
f(t) sen
2 n t
T
dt, (36)
12
Ademas, el desarrollo en Series de Fourier de una funci on peri odica, f(t), de
periodo arbitrario T, esta dada por
f(t) = a
0
+

n=0
_
a
n
cos(
2 n t
T
) + b
n
sen(
2 n t
T
)
_
(37)
Las ecuaciones (34 37) son la herramienta fundamental para el desarrollo
de funciones peri odicas no arm onicas de peri odo arbitrario. De nueva cuenta, si
las funciones son pares o impares, las ecuaciones anteriores pueden simplicarse
para su c alculo manual.
7 Ejemplo
En esta seccion se determinara el desarrollo en series de Fourier de la funcion
f(t) = t, t ,
peri odica y de periodo 2. Aplicando las ecuaciones (13 16), se tiene que el
desarrollo en series de Fourier de la funci on est a dada por
f(t) 2 sin(t) sin(2 t) +
2
3
sin(3 t)
1
2
sin(4 t) +
2
5
sin(5 t)
1
3
sin(6 t)
+
2
7
sin(7 t)
1
4
sin(8 t) +
2
9
sin(9 t)
1
5
sin(10 t) +
2
11
sin(11 t) +
Mas a un, la gr aca de la aproximaci on de la funci on se muestra en la Figura
1. Finalmente, el espectro de Fourier de la funci on peri odica se muestra en la
Figura 2.
13
Figure 1: Gr aca de la Aproximaci on de la Funci on Peri odica f(t) = t, 2
t 0.
Figure 2: Espectro de Fourier de la Funci on Peri odica f(t) = t, 2 t 0.
14