Tema 7.

- SERIES DE FOURIER
Ampliacin de Matemticas.
Ingeniera Tcnica Industrial. Especialidad en Electrnica Industrial.
ndice
1. Series trigonomtricas y series de Fourier. Coecientes de Fourier 1
2. Series de Fourier de funciones pares y de funciones impares 2
3. Convergencia puntual de las series de Fourier 3
4. Series de cosenos y series de senos 3
5. Otras formas de expresin de las series de Fourier. Forma exponencial. 4
6. Espectro de lneas y sntesis de formas de onda 6
1. Series trigonomtricas y series de Fourier. Coecientes de
Fourier
Toda serie funcional que se pueda expresar en la forma
a
0
2
+

X
n=1

a
n
cos
2n
T
x + b
n
sen
2n
T
x

donde T R
+
, a
0
, a
1
, a
2
, . . . , b
1
, b
2
, . . . son constantes reales, se denomina serie trigonomtrica y los
a
n
, b
n
son los coecientes de la misma.
Dado un nmero real x
0
, observemos que si en la serie se sustituye la variable x por cualquier nmero
de la forma x
0
+kT con k Z, la serie numrica obtenida es la misma cualquiera que sea k, puesto que:
a
n
cos
2n
T
(x
0
+ kT) + b
n
sen
2n
T
(x
0
+ kT) =
= a
n
cos

2n
T
x
0
+ 2kn

+ b
n
sen

2n
T
x
0
+ 2kn

= a
n
cos
2n
T
x
0
+ b
n
sen
2n
T
x
0
Por esta razn, se puede armar que si la serie trigonomtrica converge en el punto x
0
, entonces tambin
converge en todo punto de la forma x
0
+kT, y que su suma es la misma en cualquiera de dichos puntos.
En consecuencia, si la serie trigonomtrica converge, su suma ser una funcin peridica, de perodo T.
Denicin 1.1 Sea f una funcin integrable en [0, T]. Se llaman coecientes de Fourier de f a los
nmeros
a
n
=
2
T
Z
T
0
f(x) cos
2n
T
xdx n = 0, 1, 2, 3, . . .
b
n
=
2
T
Z
T
0
f(x) sen
2n
T
xdx n = 1, 2, 3, . . .
1
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 2
La serie trigonomtrica que tiene estos coecientes se denomina serie de Fourier de f en [0, T].
Cuando la funcin f es adems peridica de perodo T, la serie citada se denomina simplemente serie de
Fourier de f.
Para construir la serie de Fourier de una funcin slo hay que calcular sus coecientes, y para ello, de
acuerdo con la Denicin 1, basta con que f sea integrable. Pero hasta ahora no se ha expuesto ningn
argumento que permita decidir nada acerca de la convergencia de esta serie, ni tampoco, si la suma es
o no la funcin f. Es decir, una cosa es obtener la serie de Fourier de una funcin, y otra muy distinta
determinar su convergencia y eventualmente su suma. Dejaremos para ms tarde estas ltimas cuestiones.
Obsrvese que, en el caso de ser f una funcin T-peridica, los integrandos seran funciones de perodo
T, y entonces, de acuerdo con la Proposicin A.2 del Apndice, es posible reemplazar el intervalo de
integracin por cualquier otro intervalo de longitud T (como por ejemplo, el intervalo [T/2, T/2]), lo
que en ciertas circunstancias puede facilitar el clculo de los coecientes de Fourier.
2. Series de Fourier de funciones pares y de funciones impares
En el clculo de la serie de Fourier correspondiente a una funcin f, es posible evitar trabajo innecesario
al determinar los coecientes de la serie cuando la funcin f considerada sea o bien una funcin par o
bien una funcin impar, como veremos a continuacin:
Si f es una funcin integrable en [0, T], y adems peridica de perodo T, su serie de Fourier es
a
0
2
+

X
n=1

a
n
cos
2n
T
x + b
n
sen
2n
T
x

y sus coecientes se obtienen empleando las frmulas

a
n
=
2
T
Z
T
0
f(x) cos
2n
T
xdx n = 0, 1, 2, 3, . . .
b
n
=
2
T
Z
T
0
f(x) sen
2n
T
xdx n = 1, 2, 3, . . .
que tambin se pueden expresar (considerando la periodicidad de f) en la forma
a
n
=
2
T
Z
T/2
T/2
f(x) cos
2n
T
xdx n = 0, 1, 2, 3, . . .
b
n
=
2
T
Z
T/2
T/2
f(x) sen
2n
T
xdx n = 1, 2, 3, . . .
As, se tiene que:
i) Cuando f es par, al calcular los coecientes a
n
las funciones a integrar son funciones pares, ya que
tanto f como los cosenos lo son; sin embargo, al calcular los b
n
las funciones a integrar son impares,
porque f es par y los senos impares, de ah que de acuerdo con la Proposicin A.3 del Apndice
resulte
a
n
=
4
T
Z
T/2
0
f(x) cos
2n
T
xdx n = 0, 1, 2, 3, . . .
b
n
= 0 n = 1, 2, 3, . . .
y por tanto la serie de Fourier obtenida es una serie cosenoidal, es decir, es de la forma
a
0
2
+

X
n=1
a
n
cos
2n
T
x
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 3
ii) Cuando f es impar, al calcular los coecientes a
n
las funciones a integrar son funciones impares,
ya que f es impar y los cosenos pares; sin embargo, al calcular los b
n
las funciones a integrar son
pares, porque tanto f como los senos son impares, de ah que de acuerdo con la Proposicin A.3
del Apndice resulte
a
n
= 0 n = 0, 1, 2, 3, . . .
b
n
=
4
T
Z
T/2
0
f(x) sen
2n
T
xdx n = 1, 2, 3, . . .
y por tanto la serie de Fourier obtenida es una serie senoidal, es decir, es de la forma

X
n=1
b
n
sen
2n
T
x.
3. Convergencia puntual de las series de Fourier
Siendo f una funcin integrable en [0, T], y adems peridica de perodo T, podemos hablar de la
serie de Fourier de f en [0, T]. Sin embargo, como hemos aclarado antes, no hemos dicho que la serie
converja hacia la funcin f, ni siquiera que sea convergente.
Un teorema importante sobre la convergencia puntual de la serie de Fourier de una funcin f, que
cubre la mayora de las situaciones en las que se encuentran las funciones a considerar en las aplicaciones,
es el que exponemos despus de la siguiente denicin.
Denicin 3.1 Se dice que una funcin f es montona por tramos en un intervalo [a, b], si existe una
particin {a = x
0
< x
1
< . . . < x
n
= b} del intervalo (a, b)
a
x
0
x
1
x
2
x
n1
x
n
b
de modo que la funcin f es montona en cada subintervalo (x
i1
, x
i
).
Teorema 3.1 Si la funcin f es acotada y montona a tramos en el intervalo [0, T], y peridica de
perodo T, entonces la serie de Fourier de f es convergente en cada punto x de R, y su suma es
1
2

f

x
+

+ f

x

donde f(x
+
) y f(x

) denotan respectivamente los lmites por la derecha y por la izquierda de f en x, es

decir
f(x
+
) = lm
h0
+
f(x + h) y f(x

) = lm
h0
+
f(x h).
4. Series de cosenos y series de senos
A veces en las aplicaciones, surge la necesidad de representar mediante una serie de Fourier una
funcin dada, que slo est denida sobre cierto intervalo acotado de la recta real.
Supongamos que la funcin f est denida en el intervalo [0, ], y que se desea representar por una
serie de Fourier.
Puesto que toda serie de Fourier, cuando converge, representa una funcin peridica, resolveremos el
problema si consideramos una nueva funcin peridica, que coincida con la funcin f en el intervalo [0, ],
y hallamos su serie de Fourier. As si la serie de Fourier de la funcin construida a partir de f, representa
a dicha funcin, tambin representar a f en el intervalo [0, ] en el que est denida. Con esta idea, se
podran adoptar distintas formas de proceder, como las tres que se sugieren a continuacin.
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 4
i) Construir una nueva funcin f

, peridica de perodo , tal que en el intervalo (0, ) coincida con

la funcin f. La serie de Fourier de f

representar a la funcin f en el intervalo (0, ), si estamos

en las condiciones del teorema de convergencia.
ii) Construir una nueva funcin f
p
, peridica, de perodo 2, que en el intervalo [, ] se dena como
f
p
(x) =

f (x) si x [0, ]
f (x) si x [, 0)
La funcin f
p
as denida es una funcin peridica, de perodo 2, y adems es par. Por ello f
p
tiene asociada una serie de Fourier cosenoidal. Dicha serie, que se denomina serie de cosenos de
f, representar a la funcin f en el intervalo [0, ], si estamos en las condiciones del teorema de
convergencia.
iii) Construir una nueva funcin f
i
, peridica, de perodo 2, que en el intervalo [, ] se dena como
f
i
(x) =

f (x) si x [0, )
f (x) si x (, 0)
La funcin f
i
as denida es una funcin peridica, de perodo 2 , y adems es impar. Por ello
f
i
tiene asociada una serie de Fourier senoidal. Dicha serie, que se denomina serie de senos de
f, representar a la funcin f en el intervalo [0, ], si estamos en las condiciones del teorema de
convergencia.
5. Otras formas de expresin de las series de Fourier. Forma
exponencial.
En trminos de los coecientes a
n
y b
n
, las series de Fourier adoptan la forma
a
0
2
+

X
n=1

a
n
cos
2n
T
x + b
n
sen
2n
T
x

pero a veces se utilizan otros coecientes A

0
, A
n
,
n
relacionados con stos mediante las igualdades
A
0
= a
0
a
n
= A
n
cos
n
b
n
= A
n
sen
n

n = 1, 2, 3, . . .
siendo A
n
0 y 0
n
< 2, lo que permite escribir
a
n
cos
2n
T
x + b
n
sen
2n
T
x = A
n
cos
n
cos
2n
T
x + A
n
sen
n
sen
2n
T
x
= A
n
cos

2n
T
x
n

,
as que la serie queda
A
0
2
+

X
n=1
A
n
cos

2n
T
x
n

.
Si ahora introducimos el parmetro mediante la igualdad
=
2
T
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 5
las series de Fourier se pueden escribir
a
0
2
+

X
n=1
(a
n
cos nx + b
n
sennx) o bien
A
0
2
+

X
n=1
A
n
cos (nx
n
)
Ahora, usando una terminologa muy comn en Fsica, llamaremos
a
n
cos nx + b
n
sennx
A
n
cos (nx
n
)

armnico de orden n
A
n
amplitud del armnico
nx
n
fase del armnico
n pulsacin o frecuencia angular del armnico

n
constante de fase del armnico
n
2
frecuencia del armnico
FORMA EXPONENCIAL DE LAS SERIES DE FOURIER
La forma trigonomtrica de la serie de Fourier de una funcin f, peridica de perodo T, dada por
a
0
2
+

X
n=1

a
n
cos
2n
T
x + b
n
sen
2n
T
x

donde los coecientes son los de la Denicin 1, puede adoptar otra expresin a menudo ms cmoda en
trmino de funciones exponenciales complejas como mostraremos seguidamente.
Si escribimos
cos
2n
T
x =
e
2inx
T
+ e

2inx
T
2
sen
2n
T
x =
e
2inx
T
e

2inx
T
2i
tendremos
a
n
cos
2n
T
x + b
n
sen
2n
T
x =
1
2
h
a
n

e
2inx
T
+ e

2inx
T

ib
n

e
2inx
T
e

2inx
T
i
=
1
2
h
(a
n
ib
n
) e
2inx
T
+ (a
n
+ ib
n
) e

2inx
T
i
De modo que deniendo b
0
= 0, c
n
=
1
2
(a
n
ib
n
), y llamando c
n
a su conjugado, podremos expresar la
serie de Fourier en la forma
c
0
+

X
n=1

c
n
e
2inx
T
+ c
n
e

2inx
T

y si por ltimo llamamos c

n
= c
n
quedar la forma exponencial de la serie:

X
n=
c
n
e
2inx
T
cuyos coecientes complejos, utilizando las expresiones de a
n
y b
n
dadas en la Denicin 1, se pueden
obtener utilizando la frmula
c
n
=
1
T
Z
T
0
f(x)e

2inx
T
dx para todo n Z
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 6
En trminos de la pulsacin , los coecientes de Fourier quedaran
c
n
=

2
Z
2/
0
f(x)e
inx
dx para todo n Z
y la serie

X
n=
c
n
e
inx
6. Espectro de lneas y sntesis de formas de onda
Existe un procedimiento grco para estudiar la contribucin de cada armnico en una serie de Fourier.
Consiste en un diagrama cartesiano en cuyo eje horizontal se representa la frecuencia de cada armnico,
y en el vertical la amplitud del mismo. Ello da origen a un diagrama de segmentos verticales que se
conoce con el nombre de espectro de lneas. Una simple inspeccin del mismo da una idea rpida de
la velocidad de convergencia de la serie y de la contribucin de cada armnico a la onda dada por la
serie. Los armnicos que ms contribuyen tienen mayores amplitudes, y en el espectro de lneas aparecen
representados por segmentos de mayor longitud.
En el epgrafe A.4 del Apndice se muestran algunos desarrollos de Fourier y sus correspondientes
espectros de lnea.
Describimos a continuacin otro concepto en relacin con las aplicaciones de las series de Fourier. La
idea central de toda la teora de series de Fourier es que en condiciones bastante generales, una funcin
peridica se puede expresar como una suma de innitos armnicos. La convergencia de las series de
Fourier hace que los sucesivos armnicos tengan cada vez menor amplitud, por lo que la suma de unos
pocos de ellos basta para obtener una buena aproximacinde la funcin. Supongamos que tenemos una
funcin peridica y calculamos sus primeros armnicos. Podemos entonces reconstruir aproximadamente
la funcin sumando tantos armnicos como se considere necesario para conseguir la precisin deseada.
Este proceso se conoce con el nombre de sntesis de formas de onda y para ponerlo de maniesto, lo
aplicaremos a algunos ejemplos que se describen en el epgrafe A.5 del Apndice.
Obsrvese que en el ejemplo b) podemos conseguir una buena sntesis tomando pocos armnicos, a
diferencia de lo que ocurre en los casos a) y c) en los que el nmero de armnicos necesario es mayor. Ello
es debido a que la velocidad de convergencia de la serie de Fourier es tanto mayor (y en consecuencia tanto
menor el nmero de armnicos que se necesitan para la sntesis) mientras ms suave sea la funcin, es
decir, mientras ms derivadas continuas tenga la funcin.
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 7
APNDICE.-
A.1. Proposicin. Para todo n, p {0} N se cumple que:
a)
Z
T
0
cos
2n
T
xcos
2p
T
xdx =

T si n = p = 0
T/2 si n = p > 0
0 si n 6= p
b)
Z
T
0
sen
2n
T
x sen
2p
T
xdx =

0 si n = p = 0
T/2 si n = p > 0
0 si n 6= p
c)
Z
T
0
cos
2n
T
x sen
2p
T
xdx = 0
Demostracin:
a) Utilizando la relacin cos cos =
1
2
[cos( +) + cos( )] resulta que:
T
Z
0
cos
2n
T
xcos
2p
T
xdx =
1
2
Z
T
0
cos

2n
T
+
2p
T

xdx +
1
2
Z
T
0
cos

2n
T

2p
T

xdx
=

T/2 + T/2 si n = p = 0
0 + T/2 si n = p > 0
0 si n 6= p
b) Se demuestra de manera anloga utilizando la relacin
sensen =
1
2
[cos( ) cos( +)]
c) Se demuestra de forma anloga utilizando la relacin
cos sen =
1
2
[sen( +) sen( )]

A.2. Proposicin. Si g : R R es una funcin T-peridica e integrable en un intervalo de longitud T,

entonces se verica:
Z
a+T
a
g (x) dx =
Z
T
0
g(x)dx para todo a R
es decir, la integral en todo intervalo de longitud T toma siempre el mismo valor.
Demostracin:
Z
a+T
a
g(x)dx
Z
T
0
g(x)dx =
=
Z
0
a
g(x)dx +
Z
T
0
g(x)dx +
Z
a+T
T
g (x) dx
Z
T
0
g(x)dx
=
Z
0
a
g(x)dx +
Z
a+T
T
g(x)dx
y esta ltima suma es cero, ya que haciendo el cambio de variable x = t +T en la integral
Z
a+T
T
g(x)dx,
resulta ser igual a
Z
0
a
g(x)dx.
A.3. Proposicin. Si f : [a, a] R es integrable, se puede asegurar que:
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 8
a) Si f es par, entonces
Z
a
a
f(x)dx = 2
Z
a
0
f(x)dx.
b) Si f es impar, entonces
Z
a
a
f(x)dx = 0.
Demostracin:
a)
Z
a
a
f(x)dx =
Z
0
a
f(x)dx +
Z
a
0
f(x)dx =
Z
0
a
f(x)dx +
Z
a
0
f(x)dx =
pero las dos ltimas integrales quedan, despus de hacer el cambio de variable t = x en la
penltima de ellas, as
=
Z
0
a
f(t)dt +
Z
a
0
f(x)dx =
Z
a
0
f(t)dt +
Z
a
0
f(x)dx = 2
Z
a
0
f(x)dx
b)
Z
a
a
f(x)dx =
Z
0
a
f(x)dx +
Z
a
0
f(x)dx =
Z
0
a
f(x)dx +
Z
a
0
f(x)dx =
pero las dos ltimas integrales quedan, despus de hacer el cambio de variable t = x en la
penltima de ellas, as
=
Z
0
a
f(t)dt +
Z
a
0
f(x)dx =
Z
a
0
f(t)dt +
Z
a
0
f(x)dx = 0
A.4. Espectro de lneas.
A continuacin se describen algunas funciones peridicas, sus desarrollos de Fourier y las amplitudes
de los armnicos. Tambin se representan los correspondientes espectros de lneas.
a) f(x) =

0 si 5 < x < 0
3 si 0 < x < 5
y peridica de periodo T = 10
3
2
+
6

sen
x
5
+
1
3
sen
3x
5
+
1
5
sen
5x
5
+

A
n
=
6
(2n 1)
n = 1, 2, 3, . . .
2
1
0.1 0.3 0.5 0.7 0.9 1.1
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 9
b) f(x) = sen x en [0, ] y peridica de periodo T =
2

cos 2x
3
+
cos 4x
15
+
cos 6x
35
+

A
n
=
4
(4n
2
1)
n = 1, 2, 3, . . .
1/ 2/ 3/ 4/ 5/
0.25
0.5
c) f(x) = x
2
en (0, 2) y peridica de periodo T = 2
4
2
3
+
4
1
cos x
4
1
senx +
4
4
cos 2x
4
2
sen2x +
4
9
cos 3x
4
3
sen3x +
A
n
=
4
n
2
p
1 + n
2

2
n = 1, 2, 3, . . .
1/2 2/2 3/2 4/2 5/2 6/2
5
10
A.5. Sntesis de formas de onda.
En los ejemplos que siguen se muestran algunas funciones peridicas, la suma de sus primeros armni-
cos, y superpuestas en el mismo diagrama, las grcas de la suma de armnicos y de la funcin, sobre un
intervalo de longitud igual a un perodo. Debe observarse cmo la suma de los armnicos se adapta cada
vez mejor a la funcin, mientras ms sumandos tenga.
a) f(x) = x en (, ) y peridica de periodo T = 2
S
2
(x) = 2 senx sen2x
S
5
(x) = 2 senx sen2x +
2
3
sen3x
2
4
sen4x +
2
5
sen5x
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 10
-3 - 2 - 1 1 2 3
-3
-2
-1
1
2
3
-3 - 2 - 1 1 2 3
-3
-2
-1
1
2
3
b) f(x) = x
3
x en [1, 1] y peridica de periodo T = 2
S
1
(x) =
12

3
senx
S
2
(x) =
12

3
senx +
3
2
3
sen2x
- 1 - 0. 5 0. 5 1
- 0. 4
- 0. 2
0. 2
0. 4
- 1 - 0. 5 0. 5 1
- 0. 4
- 0. 2
0. 2
0. 4
Obsrvese que bastan slo dos armnicos para reproducir casi exactamente la funcin f. Ello es
debido, como se coment en la Seccin 6, a que f tiene (comprubese) derivada primera continua.
c) f(x) = u(x) =

0 si x < 0
1 si x 0
(funcin escaln unidad) denida en (1, 1) y peridica de periodo
T = 2
S
2
(x) =
1
2
+
2

senx
S
4
(x) =
1
2
+
2

senx +
2
3
sen3x
S
7
(x) =
1
2
+
2

senx +
2
3
sen3x +
2
5
sen5x +
2
7
sen7x
-1 -0. 5 0. 5 1
0. 2
0. 4
0. 6
0. 8
1
-1 -0. 5 0. 5 1
0. 2
0. 4
0. 6
0. 8
1
-1 -0. 5 0. 5 1
0. 2
0. 4
0. 6
0. 8
1
Tema 7. Series de Fourier. Ampliacin de Matemticas. Esp. Electrnica Industrial. 11
d) f(x) = sen x en [0, ] y peridica de periodo T =
S
2
(x) =
2

4
3
cos 2x
4
15
cos 4x
S
4
(x) =
2

4
3
cos 2x
4
15
cos 4x
4
35
cos 6x
4
63
cos 8x
S
7
(x) =
2

4
3
cos 2x
4
15
cos 4x
4
35
cos 6x
4
63
cos 8x

4
99
cos 10x
4
143
cos 12x
4
195
cos 14x
0. 5 1 1. 5 2 2. 5 3
0. 2
0. 4
0. 6
0. 8
1
0. 5 1 1. 5 2 2. 5 3
0. 2
0. 4
0. 6
0. 8
1
0. 5 1 1. 5 2 2. 5 3
0. 2
0. 4
0. 6
0. 8
1
En este ejemplo, tambin la aproximacin de la suma de armnicos a la funcin es bastante buena,
debido a que f es continua, pero no tan buena como en el ejemplo b), porque ahora, en los extremos del
intervalo, la derivada no es continua.