1

SERIES DE FOURIER
En este apartado se estudian las funciones peridicas de periodo conocido, continuas o
continuas por tramos y encontrar un desarrollo en serie de funciones trigonomtricas seno y
coseno que son peridicas y continuas.

Definicin
Si an , bn , n IN son sucesiones reales se llama serie trigonomtrica a una
serie de la forma siguiente
a0
+ (an cos nx + bn sen nx )
2 n =1
los nmeros a0 , an , bn , n IN se llaman coeficientes de la serie.

Objetivo:
Si f (x) es una funcin peridica de periodo 2 , continua por tramos, hallar una
serie trigonomtrica, que sea convergente a f (x) , es decir
a0
+ (an cos nx + bn sen nx ) n
f (x)

2 n =1

El primer paso para cumplir este objetivo, es encontrar la serie trigonomtrica, esto
es hallar frmulas para los coeficientes a0 , an , bn , n IN La convergencia de la serie y
que la serie converja a la funcin f , no es un asunto simple, pero se analizar
parcialmente.

Se necesitan los valores de integrales definidas presentadas en la siguiente proposicin.

Proposicin

1. cos xdx = 0


2. sen xdx = 0


3. dx = 2


4. cos nx sen mxdx = 0

, n , m IN

si n = m
5.

cos nx cos mxdx =
0 si n m
, n , m IN

si n = m
6. sen nxsemxdx = 0 si n m , n , m IN
 2
Tarea demostrar 1. , 2. , 3.

Demostracin
4. Se usa la identidad cos nxsenmx =
1
(sen(n + m) x sen(n m) x )
2

cos(n + m) x cos(n m) x
cos nxsenmxdx = 2 (sen(n + m) x sen(n m) x )dx = 2(n + m) + 2(n m) =
1

1
= (cos(n + m) cos(n + m)( )) + 1 (cos(n m) cos(n m)( )) = 0
2( m + n ) 2(n. m)
siempre que n m

Si n = m

1 cos 2nx
cos nxsennxdx = 2 sen2nxdxdx = 2n = 0

1
5. Se usa la identidad cos nx cos mx = (cos(n + m) x + cos(n m) x )
2
6. se usa la identidad sennxsenmx = ( cos(n + m) x + cos(n m) x )
1
2

Ahora se calculan las frmulas para los coeficientes de la serie trigonomtrica

Supongamos que

f ( x) = 0 + (an cos nx + bn sennx )
a
2 n =1
Para a0
Integrando en [ , ] la igualdad, la serie se integra trmino a trmino

a0
f ( x)dx = 2 dx +

n =1
an cos nxdx + bn sennxdx = a0

luego

1
a0 =
f ( x)dx

Para an

La igualdad se multiplica por cos nx y luego se integra [ , ]

a0
f ( x) = + (akk cos kx + bn senkx ) / cos nx
2 k =1
 3

cos nx + (ak cos nx cos kx + bk sennsenkx )
a0
f ( x) cos nx =
2 k =1

a0
f ( x) cos nxdx =
2
cos nxdx +

k =1
a k cos nx cos kxdx + bk cos nxsenkxdx

f ( x) cos nxdx = a n

Luego

1
an =
f ( x) cos nxdx

Para bn
La igualdad se multiplica por sennx y luego se integra [ , ]

a0
f ( x) = + (akk cos kx + bn senkx ) / sennx
2 k =1

sennx + (ak sennx cos kx + bk sennxsenkx)
a0
f ( x) sennx =
2 k =1

a0
f ( x) sennxdx =
2
sennxdx +

k =1
ak sennx cos kxdx + b
k sennxsenkxdx

f ( x) sennxdx = b

n

Luego

1
bn =
f ( x)sennxdx

1 1 1
Los coeficientes: a0 =


f ( x)dx , an =

f ( x) cos nxdx , bn =
f ( x)sennxdx

Se llaman coeficientes de Fourier de la funcin f (x) y la serie trigonomtrica formada

por tales coeficientes se llama serie de Fourier de la funcin f (x) .

Teorema
Si la funcin f (x) peridica de periodo 2 continua por tramos en ( , ) ,
entonces
 4
1. La serie de Fourier formada por esta funcin converge en todos sus
puntos.
2. La suma de la serie obtenida es s (x ) es igual al valor de la funcin
f (x) en los puntos de continuidad de la funcin. En los puntos de
discontinuidad de la funcin la suma de la serie es igual al medio
aritmtico de los lmites laterales de la funcin.

Ejemplos
Construir el grfico y hallar la serie de Fourier para la funcin
Evaluar la serie en los puntos de discontinuidad de la funcin
1 , < x < 0
f ( x) =
2 , 0< x <

y3

-4 -3 -2 -1 0 1 2 3 4
x

0
1 1
a0 =
dx + 2dx = 1 + 2 = 3
0

0 0
1 2 1 sennx 2sennx
an = cos nxdx + cos nxdx = + =0
0 n n 0

(1 cos n ) 2(cos n 1)
0 0
1 2 1 cos nx 2 cos nx
bn = sennxdx + sennxdx = =
0 n n 0 n n

1 cos n 1 (1) n 2
bn = = b2 n +1 = , n = 0 ,1, 2 ,.....
n n (2n + 1)
la serie de Fourier es
3 2 sen(2n + 1) x
+
2 n=0 2n + 1
 5
Serie de Fourier de funciones pares e impares

La funcin cos nx es una funcin par, para todo n Z/ , en cambio la funcin sennx mes
una funcin impar, para todo n Z/ .

Proposicin
Si f (x) es una funcin continua por tramos, peridica de periodo 2 y es
funcin par, entonces

2
1) a0 = f ( x)dx
0

2
2) an =
f ( x) cos nxdx
0
, n IN

3) bn = 0 , n IN
Demostracin
f (x) es una funcin par, es decir simtrica con el eje y, entonces

1 2
a0 =
f ( x)dx = f ( x)dx .
0

f ( x) cos nx es una funcin par, para todo n Z/ , entonces

1 2
an =


f ( x) cos nxdx =
f ( x) cos nxdx
0

f ( x) sennx es una funcin impar para todo n Z/ , entonces

1
bn =
f ( x)sennxdx = 0.

Esta proposicin permite facilitar el clculo de los coeficientes de Fourier de funciones

pares, en forma similar se tiene otra proposicin para funciones impares.

Proposicin
Si f (x) es una funcin continua por tramos, peridica de periodo 2 y es
funcin impar, entonces
1) a0 = an = 0 , n IN

2
2) bn =
f ( x)sennxdx
0
, n IN

Demostracin
f ( x) es una funcin impar , es decir simtrica con el origen, entonces

1
a0 =
f ( x)dx = 0 .

 6
f ( x) cos nx es una funcin impar, para todo n Z/ , entonces

1
an =
f ( x) cos nxdx = 0

f ( x) sennx es una funcin par para todo n Z/ , entonces

1 2
bn =


f ( x) sennxdx =
f ( x)sennxdx
0

Ejemplos
1) f ( x) = x , < x <
y 4

-3 -2 -1 1 2 3
x
-1

-2

-3

-4

es una funcin impar, luego a0 = an = 0

(1) n +1 2
bn =
2
xsennxdx =
2
( sennx nx cos nx )

=
2
( cos n ) =
0
n 2 0
n n
la serie de Fourier es

(1) n +1 sennx
2
n =1 n

2) Determinar la serie de Forier de f ( x) = x , < x < . Evale la serie y la

funcin en x = 0
x , x0
f ( x) = x =
x , x<0
y 4

-3 -2 -1 0 1 2 3
x
 7
Es una funcin par, luego bn = 0

2 x2
a0 = xdx = =
0 0

2 2 2 (1) n 2
an = x cos nxdx = ( sennx + nx cos nx ) = (cos n ) =
0
n 2 0
n n

la serie pedida es

(1) n
+ 2 cos nx
n =1 n
f (0) = 0

(1) n
La serie en x = 0 es + 2 cos n0 = 0
n =1 n

(1) n
(1) n +1
= 2 =
n =1 n 2 n =1 n

0 , < x < 0
3. f ( x) =
, 0< x <

Esta funcin no es y tampoco es impar

1
a0 =
dx =
0

1 sennx
an = cos nxdx = =0
0 n 0

(1) n 1
0 si n es par
1 cos nx
bn =
sennxdx = n 0
=
n
= 1
si n es impar
0 n

1
b2 n +1 = n = 0 ,1,1, 2 ,.....
2n + 1

la serie es

sen(2n + 1) x
+
2 n=0 2n + 1
 8
Cambios de intervalos

1. Si f es una funcin continua por tramos peridica de periodo 2 p , entonces su

desarrollo en serie de Fourier es

a0 n x n x
+ an cos + bn sen
2 n =1 p p
donde

n x n x
p p p
1 1 1
p p
a0 = f ( x)dx , an = f ( x) cos dx , bn = f ( x) sen dx
p p p p p p

2. Si f es una funcin continua por tramos en [a , b] y se extender peridicamente a

todo real, entonces la serie de Fourier tiene perodo (b a) = 2 p , y su desarrollo en serie
de Fourier es

a0 2n x 2 n x
+ an cos + bn sen
2 n =1 ba b a
donde

2 n x 2n x
b b b
2 2 2
a0 =
ba a f ( x)dx , an =
ba a
f ( x) cos
ba
dx , bn =
ba a
f ( x) sen
b
dx

Extensiones pares, extensiones impares

Si f (x) es una funcin continua por tramo, que est definida solamente en el intervalo
[0 , ] o en [0 , p], una forma de obtener la serie de Fourier es extendiendo f (x) a todo el
intervalo [ , ] o [ p , p ], esto es definir una funcin f I (x) que coincida con f (x) si
x (0, ) y se desarrolla la serie de Fourier para f I . Las extensiones ms convenientes son
las siguientes:

1. Extensin par
f ( x) , 0 x
f P ( x) =
f ( x) , x < 0

Funcin extensin par

Dado que f p es una funcin par entonces la serie de Fourier para f es

a0
+ an cos nx
2 n =1

2
donde an =
f ( x) cos nxdx , n
0

y se llama desarrollo cosenoidal de f .

2. Extensin impar
f ( x) , 0 x
f I ( x) =
f ( x) , x < 0

Funcin f extensin impar

Dado que f I es una funcin impar entonces la serie de Fourier para f es

b sennx
n =1
n

2
donde bn =
f ( x)sennxdx
0

y se llama desarrollo sinusoidal de f .

 10
Teorema (igualdad de Parseval)
Si f es una funcin continua por tramos en [ , ] , entonces

[ f ( x)] dx = 20 + (an + bn )
2
1 2 a 2 2

n =1

donde a0 , an , bn son los coeficientes de Fourier para f