Series de Fourier

Dado el conjunto de funciones

F  1, cos x,sin x, cos 2 x,sin 2 x, . . ., cos nx,sin nx, . . .

Vamos a construir la representación de la función periódica f  x  con periodo T    ,   de


la siguiente manera: f  x   a0   a
n 1
n cos nx  bn sin nx  ,

Donde:

1  1  1 
a0 
2   f  x  dx , a
 n 

f  x  cos nxdx , b
 n 

f  x  sin nxdx , n  1, 2, . . .


Los coeficientes an  0 , bn  0 , deben converger rápidamente a 0, de lo contrario la serie

será divergente.

Los elementos de F son funciones continuas,


pero es posible que a0  a
n 1
n cos nx  bn sin nx  converja a una función discontinua, es

decir, funciones que no están en el espacio funcional de las funcionas continuas en el intervalo
I    ,   . El estudio de tales funciones se denomina Análisis Funcional. Por tanto, el
estudio de las Series de Fourier es un capítulo del Análisis Funcional.

Comenzaremos con la deducción de los coeficientes a0 , an y bn :

   

 f  x dx    a0    an cos nx  bn sin nx  dx


 n 1 

 
    
 f  x dx  a0  dx   an  cos nxdx  bn  sin nxdx , de donde obtenemos
   
n 1


  f  x dx  2 a , debido a la ortogonalidad de las funciones de F .
 0

De manera análoga,

   

  f  x  cos mxdx    a    a
  0
n 1
n cos nx  bn sin nx   cos mxdx ,

Por ortogonalidad de las funciones de F , obtenemos

  f  x  cos mxdx   a
 m , de donde obtenemos la expresión para an .
    

Luego,  f  x  sin mxdx    a0    an cos nx  bn sin nx   sin mxdx ,


 n 1 

y de la misma forma obtenemos   f  x  sin mxdx   b
 m, de donde se deduce bn .

Dado que las funciones trigonométricas cos nx y sin nx son acotadas,

entonces es obvio la convergencia de la serie de Fourier depende del comportamiento

de la función f  x  en toda la recta real, es decir, en R   ,   .

Definición 1. Decimos que la función f  x  es absolutamente integrable en R   ,   , si


 f  x  dx   .


La ultima expresión, significa que la integral impropia es convergente.

 Funciones de periodo arbitrario
Sea f  x  una función con periodo T  2 L , haciendo el cambio de variable

T 2 
(a) x v, tal que v x  x (b)
2 T L

L 
Entonces tenemos f  x   f  v   a0    an cos nv  bn sin nv  , de donde obtenemos
  n 1


 n n 
f  x   a0    an cos x  bn sin x
n 1  L L 

1 L 1 L n x 1 L n x
Con a0   f  x  dx , an   f  x  cos dx , bn   f  x  sin dx ,
2L  L L  L L L  L L
donde el índice n  1, 2,3 . . .