I.T.

Telecomunicaciones Curso 99/00

DPTO. MATEMTICA APLICADA

Definicin: Sea f ( x ) una funcin peridica de periodo 2 , y continua a trozos en [ , ] . Se llama serie
de Fourier de la funcin f ( x ) , a la serie trigonomtrica

a0
2
+ (a n cos nx + bn sen nx )
n =1

donde los coeficientes, llamados coeficientes de Fourier, vienen dados por

1 1
an =

f ( x ) cos nx dx y bn =

f ( x ) sen nx dx

Para indicar que la serie trigonomtrica es la serie de Fourier de f ( x ) , se suele escribir

a0
f (x)
2
+ (a n cos nx + bn sen nx )
n =1

Ejemplo 9: Hallar la serie de Fourier de la funcin peridica f ( x ) definida por:

0 si x [ , 2)  ( 2, ]
f (x ) =
1 si x [ 2, 2]

y extendida por periodicidad fuera del intervalo [ , ] .

Solucin: Slo tenemos que calcular los coeficientes de Fourier, obteniendo que:
a0 = 1
1 1 2 1 2 sen( n 2)
an =

f ( x ) cos nx dx =
2
cos nx dx =
n
1 1 2 1
bn =

f ( x ) sen nx dx =
2
sen nx dx =

0 = 0

con lo cual, los primeros trminos de la serie de Fourier de f son:

1 2 2 2 2
f (x) + cos x cos 3x + cos 5x cos 7 x +

2 3 5 7

x
Ejemplo 10: Hallar la serie de Fourier de la funcin f ( x ) = en [ , ] .

Solucin: El clculo de los coeficientes de Fourier es:
1 1
a0 =

f ( x ) dx =
2
x dx = 0
1 1
an =

f ( x ) cos nx dx =
2
x cos nx dx =
= 0
1 1 2 cos n
bn =

f ( x ) sen nx dx = 2

x sen nx dx =
=
n
con lo cual, los primeros trminos de la serie de Fourier de f son:

2 sen x sen 2 x sen 3x sen 4 x

f ( x) + +

1 2 3 4

Javier Martnez del Castillo Tema 7 Pg. 11 de 17

I.T.Telecomunicaciones Curso 99/00
DPTO. MATEMTICA APLICADA

Ejemplo 11: Sea f la funcin peridica de periodo 2 definida por f ( x) = x x 2 en [0, ] , y

f ( x) = x 2 + x en [ ,0] .Hallar su serie de Fourier y usarla para obtener la suma de la serie

1

n =0
(1) n
(2n + 1)3
.

Solucin: El clculo de los coeficientes de Fourier es:

1 0 1
a0 =

( x 2 + x) dx + (x x 2 ) dx = 0
0
1 0 1
an =

( x 2 + x) cos nx dx + (x x 2 ) cos nx dx = 0
0
1 0 1 0 si n es par
bn =

( x 2 + x) sen nx dx + (x x 2 ) sen nx dx =
0 3
8 n si n es impar
donde hay que usar dos veces el mtodo de integracin por partes para encontrar una primitiva. De este
modo, la serie de Fourier de f es:

8 8 sen 3x 8 sen( 2n + 1) x 8 1
f ( x) =

sen x +
27
+
+
( 2n + 1) 3
+
=

( 2n + 1) 3
sen( 2n + 1) x
n=0

la igualdad anterior es vlida en [ , ] , en particular tambin lo ser para x = 2 ; en este caso:

2 8
1 8
1
f ( 2) =
2 4
=

( 2n + 1) 3
sen( 2n + 1)
2
=

(1) n
( 2n + 1) 3
n=0 n=0

por tanto, tenemos que

1 3
(1)n ( 2n + 1)3
=
32
n=0

4.2. Clculo de los coeficientes de Fourier

Las siguientes propiedades permiten, en determinadas ocasiones, facilitar los clculos de los coeficientes de
Fourier.

Lema: Sea f ( x ) una funcin peridica de periodo 2 y continua a trozos en [ , ] , entonces para todo
nmero real se verifica:
+
+
f ( x ) dx =
f ( x ) dx

Observacin: Gracias a este lema, podemos escribir las frmulas de los coeficientes de Fourier como
integrales sobre el intervalo [0, 2 ] (simplificndose el clculo):

1 2 1 2
an =
0
f ( x ) cos nx dx y bn =
0
f ( x ) sen nx dx

Javier Martnez del Castillo Tema 7 Pg. 12 de 17

I.T.Telecomunicaciones Curso 99/00
DPTO. MATEMTICA APLICADA

Lema: Si f es par ( f (x ) = f ( x )) , para todo nmero real se verifica:

f ( x ) dx = 2
0
f ( x ) dx

Lema: Si f es impar ( f (x) = f ( x )) , para todo nmero real se verifica:

f ( x ) dx = 0

Pasamos a exponer como dichas propiedades contribuyen a facilitar los clculos de los coeficientes de
Fourier:

Teorema: Sea f una funcin, entonces:

f ( x ) cos nx es par ( par par = par )
1. Si la funcin f es par luego
f ( x ) sen nx es impar ( par impar = impar )
2
an =
0
f ( x ) cos nx dx y bn = 0

con lo cual la serie de Fourier de f es una serie de cosenos.

f ( x ) cos nx es impar ( impar par = impar )

2. Si la funcin f es impar luego
f ( x ) sen nx es par ( impar impar = par )
2
0
an = 0 y bn = f ( x ) sen nx dx

con lo cual la serie de Fourier de f es una serie de senos.

4.3. Convergencia de las series de Fourier

Con relacin a la convergencia de la serie de Fourier de una funcin, solo estamos interesados en los casos
en que dicha serie representa a la funcin. En la prctica, el caso ms frecuente donde se cumple dicha
condicin es el de las funciones derivables a trozos, que seguidamente pasamos a definir:

Definicin: Una funcin f definida en D, diremos que es derivable a trozos en D si existen los siguientes
lmites (llamados derivadas laterales)

f ( x 0 + h ) f ( x 0+ ) f ( x 0 h ) f ( x 0 )
Lim+ y Lim+
h 0 h h 0 h
para cada x 0 D .

Javier Martnez del Castillo Tema 7 Pg. 13 de 17

I.T.Telecomunicaciones Curso 99/00
DPTO. MATEMTICA APLICADA

Teorema: Sea f una funcin derivable a trozos en [a, b] , entonces f es continua a trozos en [a, b] .

La propiedad de ser derivable a trozos es una condicin suficiente para que la serie de Fourier de una funcin
f converja, en general, a la funcin f .

En un punto de discontinuidad x 0 de f , la serie difcilmente podr converger a f ( x 0 ) , ya que podra

converger a cualquiera de los lmites laterales f ( x 0+ ) o f ( x 0 ) . Es por esto, por lo que en los puntos de
discontinuidad, la serie de Fourier converge al punto medio entre f ( x 0+ ) y f ( x 0 ) .

Teorema: Sea f una funcin peridica de periodo 2 y derivable a trozos en [ , ] . Entonces la serie de
Fourier de la funcin f converge en todo punto x 0 a:

1. f ( x 0 ) , si f es continua en x 0 .

f ( x 0 + ) + f ( x 0 )
2. , si f es discontinua en x 0 .
2

Observacin: En tal caso, la expresin

a
f (x) = 0 +
2
(a n cos nx + bn sen nx )
n =1

Vlida para todo x donde f es continua, se llama el desarrollo de Fourier de f ( x ) .

4.4 Desarrollo de Fourier para funciones de periodo arbitrario L

Supongamos que f es una funcin peridica de periodo L 2 , entonces podremos asignarle una serie de
Fourier ?. La respuesta es afirmativa, y la manera es mediante un cambio de variable, como vamos a ver a
continuacin.
Introducimos una nueva variable t que recorre desde a , mientras que x recorre el intervalo de
periodicidad de f ( es decir, L) :
2
t = x = x
L
y, expresando f en funcin de t , f ( x ) = f ( t ) , podemos calcular la serie de Fourier
a0 a
+ a1 cos t + b1 sen t +
= 0 + a1 cos x + b1 sen x +

2 2
donde
1 1
an =

f (t ) cos nt dt y bn =

f (t ) sen nt dt

Si ussemos x = t como variable de integracin, entonces tendramos

Javier Martnez del Castillo Tema 7 Pg. 14 de 17

I.T.Telecomunicaciones Curso 99/00
DPTO. MATEMTICA APLICADA

2 L2
an =

f ( x ) cos n x dx =
L L 2
f ( x ) cos n x dx
2 L2
bn =

f ( x ) sen n x dx =
L L 2
f ( x ) sen n x dx

con lo que podramos definir una especie de serie de Fourier generalizada para funciones de periodo
arbitrario L como
a0
+ a1 cos x + b1 sen x +
+ a n cos n x + bn sen n x +

2

donde = 2 L y donde por la periodicidad de la funcin tenemos que

2 L 2 L
an =
L 0
f ( x ) cos n x dx y bn =
L 0
f ( x ) sen n x dx

Ejemplo 12: Sea f ( x ) = x para x [0, ] una funcin peridica de periodo . Hallar su serie de
Fourier.
Solucin: Aplicando las frmulas anteriores, tenemos que:
2
a0 =
0
( x )dx =
2
an =
0
( x ) cos 2 nx dx = 0
2 1
bn =
0
( x ) sen 2 nx dx =
n
y donde

sen 2nx
f (x )
2
+ n
n =1

4.5 Desarrollo de Fourier para funciones no peridicas

Sea f una funcin derivable a trozos definida en [0, ] . Por reflexin respecto del eje OY , esto es,
haciendo
f (x ) si x [0, ]
f1 ( x ) =
f ( x ) si x [ ,0 ]

obtenemos una funcin par definida sobre todo [ , ] que, si se extiende de forma peridica a todo r, da
lugar a una funcin que coincide con f en [0, ] . La funcin f 1 recibe el nombre de extensin peridica
par de f , cuya serie de Fourier ser

a
f1 ( x ) 0 +
2
a n cos nx x [ , ]
n =1

y como f 1 coincide con f en [0, ] , entonces tenemos que:

Javier Martnez del Castillo Tema 7 Pg. 15 de 17

I.T.Telecomunicaciones Curso 99/00
DPTO. MATEMTICA APLICADA

a0
f (x) =
2
+ a n cos nx x [0, ]
n =1

De modo anlogo, podemos obtener una serie de senos usando la extensin peridica impar mediante la
funcin:
f (x) si x [0, ]
f2(x) =
f ( x ) si x [ ,0]

El clculo de la serie de Fourier de f 2 , que es una funcin impar, arroja una serie de senos que converge a
f 2 en
, y como f 2 = f en [0, ] , obtenemos que:

f (x) = bn sen nx
n =1

Del razonamiento anterior, se deduce que toda funcin derivable a trozos en [0, ] puede ser representada
por una serie de cosenos o como una serie de senos cuyos coeficientes, an y bn respectivamente, se calculan
mediante las siguientes frmulas:
2 2
an =
0
f ( x ) cos nx dx y bn =
0
f ( x ) sen nx dx

Observacin: No es necesario memorizar las frmulas de los coeficientes de Fourier para una funcin
definida sobre [0, ] , ya que coinciden con las ya conocidas. Slo hay que recordar aplicar las simetras de las
extensiones para integrar entre 0 y .

Ejemplo 13: Representar la funcin f ( x ) = x sobre [0, ] como una serie de senos, y una serie de
cosenos.

Solucin: Como f est definida en [0, ] , consideraremos las extensiones peridicas de f para el clculo
de sus series de Fourier.
Para obtener la serie de senos, los an deben ser 0, para ello consideramos la extensin peridica impar, de
donde:
2 2
bn =
0
( x ) sen nx dx =
=
n
por lo tanto

sen nx
f (x ) = 2 x [0, ]
n =1 n

Anlogamente, la serie de cosenos surge de la extensin peridica par, con lo cual

2
a0 =
0
( x ) dx =
2 2 1 ( 1) n
an =
0
( x ) cos nx dx =
=


n2
adems la expresin de an puede simplificarse del siguiente modo

Javier Martnez del Castillo Tema 7 Pg. 16 de 17

I.T.Telecomunicaciones Curso 99/00
DPTO. MATEMTICA APLICADA

a2 n = 0
4
a 2 n +1 =
( 2n + 1) 2

con lo que la serie de cosenos de f ser

4 cos 3x cos 5x cos( 2n + 1)x

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

2 3 5 ( 2n + 1)

Gracias a las extensiones peridicas es posible representar por medio de una serie trigonomtrica cualquier
funcin derivable a trozos sobre un intervalo arbitrario [a, b) , usando un cambio de variable que reduzca el
estudio al intervalo [ , ) . Este cambio que ser de la forma t = x + , se puede deducir fcilmente a
partir del sistema de ecuaciones lineales
= a +
= b +
de donde se obtiene el cambio
2 a+b
t= x +
ba ab
sin embargo la complejidad del clculo, invita a buscar otras alternativas.

En lugar de hacer el clculo de variable directamente, podemos reducir el intervalo paso a paso, y despus
usar las extensiones peridicas para simplificar el clculo de los coeficientes. Consideraremos un mtodo
para representar una funcin derivable a trozos sobre un intervalo de la forma [0, a ) .

En el caso general, cuando f est definida en [a, b) , se aplica el cambio de variable t = x a (mucho ms
fcil que el anterior), y que reduce el estudio al intervalo [0, b a ) .

Para una funcin definida en [0, a ) una extensin peridica (par o impar) nos permite pasar a una funcin
peridica de periodo 2a definida sobre [a, a ) , que se puede representar fcilmente en series de senos o de
cosenos usando el mtodo del apartado anterior.

Ejemplo 14: Representar en serie de Fourier de senos la funcin f ( x ) = 1 + x sobre el intervalo [1,2) .
Solucin: Empezaremos trasladando el estudio al intervalo [ 0,1) usando el cambio de variable t = x 1
representando la funcin f ( x ) = f (1 + t ) = 2 + t = g( t ) donde
2 2 2
bn =
0
( 2 + t ) sen nt dt =

( 1) n +1
n
= ( 1) n +1
n
luego

sen nt
g( t ) = 2 ( 1) n+1
n =1 n

con lo que deshaciendo el cambio, se obtiene

sen n( x 1)
f ( x ) = 2 ( 1) n +1
n =1 n

Javier Martnez del Castillo Tema 7 Pg. 17 de 17