INTEGRAL DE FOURIER

TEOREMA: Si f ( x ) es seccionalmente continua en todo intervalo finito con derivadas por la

derecho e izquierda en todo punto y la integral de f ( x ) existe; entonces f ( x ) se puede
representar mediante una integral de Fourier. Si f ( x ) es discontinua en algún punto el valor de la
integral de Fourier es el promedio de los límites desde la izquierda y derecha de f ( x)

Sea f una función seccionalmente suave en

  L, L con serie de Fourier:

  n x 

 n x  
f ( x)  ao    an cos  
 n b sin  
n 1   L   L  ,
x    L, L 
Entonces para cada


L  1  n x    n x  n 
 f (t )dt  ao ( x  L )    an sin  
 nb cos     1 
L
 n 1 n   L    L  

Demostración:
x
F ( x)   f (t ) dt  ao x    L, L    L, L además
Sea L así definida F es continua en
L L
F ( L)  
L
f (t )dt  ao ( L)  ao L F ( L)  
L
f (t )dt  ao L  2ao L  ao L  ao L
y

Por lo cual F ( L)  F ( L) , asimismo

F ' ( x)  f ( x)  ao x    L, L  donde f es continua.

Entonces podemos asegurar que F es seccionalmente continua en 

'  L, L 
y por el
teorema de convergencia tenemos que

 
 n x   n x  
F ( x)  Ao    An cos    Bn sin  
n 1   L   L   (1)
Donde para n  1 .

b
Donde n es el coeficiente correspondiente de la serie de Fourier de f en
  L, L . De manera
análoga se tiene que:

 n t 
L
1 L
Bn   F (t ) sin   dt  an
L L  L  n
an es también el correspondiente coeficiente de la serie de Fourier de f en   L, L  .
Donde

Por lo tanto, reemplazando en (1)

L  1  n x   n x  
F ( x)  Ao    bn cos 
 n 1 n   L 

 na 
 L  , x    L, L 
Ao tenemos:
Para


F ( L)  ao L  Ao   An cos  n 
n 1


 Ao  ao L   An cos  n 
n 1

Finalmente

L  1
Ao  ao L   bn cos  n 
 n 1 n
Ao se tiene:
Ahora sustituyendo

L  1 L  1  n x   n x  
F ( x)  ao L   bn cos  n     bn cos    an sin  
 n 1 n  n 1 n   L   L 
Y reemplazando en la igualdad inicial obtenemos lo que afirma el teorema.

L  1  n x   n x  n 
x

 f (t )dt  ao  x  L    an sin  
 nb cos      1 
L
 n 1 n   L    L  