Convergencia de la serie de Fourier:

la serie infinita

1
a0 ( an cos n0t bn sen n0t )
2
n 1
donde 0 2 , an y bn son los coeficientes de fourier de f (t ),converge al valor f (t )
t

problema a.1:

si f (t ) denota la suma de los (2k+1) terminos de la serie de fourier f(t) ,es decir

1
a0 (an cos n0t bn sen n0t )
2
n 1
donde 0 2 , y a n y b n estan dados por
t
T
2
a n T2 f (t ) cos( n0t ) dt
T 2
2 T
bn T2 f (t ) sen( n0t ) dt
T 2
demostrar que

Sk (t )

2 T2
f ( x ) Dk [0 ( x t )]
T T 2
donde D k ( ) es el llamado "ncleo Dirichlet"; es decir,
Sk (t )

1
sen[(k ) ]
2
D k ( )
1
2 sen( )
2

SOLUCION :
2 T2

2 T2

f
(
x
)
cos(
n

x
)
dx
cos
n

f ( x ) sen (n0 x ) dx sen n0t

0
0

T
T

2
2
T

T
2
an cos n0t bn sen n0t T2 f ( x )[cos(n0 x) cos (n0t ) sen (n0t ) sen(n0 x )]dx
T 2
2 T
an cos n0t bn sen n0t T2 f ( x) cos[n0 ( x t )]dx
T 2
de esta manera:
an cos n0t bn sen n0t

S k (t )

1
a0 (an cos n0t bn sen n0t )
2
n 1
T

k
1 2
2 2
S k (t ) f ( x)dx f ( x) cos[ n0 ( x t )]dx
T T
n 1 T T
2

S k (t )

2 2
1

f ( x) cos[0 ( x t )] cos[20 ( x t )] ... cos[ k0 ( x t )] dx

T T
2

hacer 0 ( x t ) y considerar la suma

1
cos cos 2 ... cos k
2
utilizando la identidad trigonometrica, 2 cos AsenB sen( A B) sen( A B ) ,se obtiene:
D k ( )

Dk ( ) sen 2 sen cos 2 sen cos 2 ... 2 sen cos k

2
2
2
2
2

3
3
5
1
1

2 sen Dk ( ) sen sen sen sen sen ... sen (k ) sen

(
k

2
2
2
2
2
2
2
2

2 sen Dk ( ) sen ( k )
2
2

sen (k )
2

Dk ( )

2 sen
2
reemplazando :
2 T
S k (t ) T2 f ( x) Dk [0 ( x t )]
T 2
1

T
sen (k )0 ( x t )
2
2
2

dx
S k (t ) f ( x)
T T
1

2sen 0 ( x t )
2
2

2 sen

problema a.2:

2 T2
f ( x) Dk [0 ( x t )] se puede expresar como:
T T 2
1

T
sen (k )0
2
2
2

d
Sk (t ) f (t )
T T
1
2 sen 0
2
2
SOLUCION :
2 T
haciendo el cambio de variables x-t por en S k (t ) T2 f ( x ) Dk [0 ( x t )] el resultado es:
T 2
1

T t
sen (k )0
2
2
2

d
Sk (t )
f (t )

T T t
1
2 sen 0
2
2
ahora bien reemplazando en D k :
demostrar que la relacion S k (t )

sen ( k )0
k
2

1 cos n
Dk ( )

0
1
2 n 1
2sen( 0 )
2
por lo tanto :
1

sen (k )0
2

1
2sen( 0 )
2
es una funcion periodica en la variable , con periodo T.puesto que la funcion f (t )
tambien es periodica en la variable ,con periodo T.
S k (t ) se puede expresar como :
Sk (t )

2 2
T T 2
T

sen ( k )0
2

d
f (t )
1
2 sen( 0 )
2

Problema a.3:

sea f (t ) una funcion periodica con periodo T, integrable absolutamente en un periodo.

demostrar que en todo punto de continuidad donde existe la derivada, la serie
de fourier de f (t ) converge el valor f (t ) , es decir,
lim Sk (t ) f (t ).
k

solucion :
sea T un punto de continuidad de f (t ).
1

sen (k )0
2
2

d
lim Sk (t ) lim T2 f (t )
k
k T 2
1
2 sen( 0 )
2
1

T
T
2 sen ( k )0
2
k
2

= 1 cos n d
pero
0
2
1
n 1

T
T
2sen( 0 )
2
2
2
1

T
T
T
2 sen ( k )0
2
2
k
2

= 1 d

cos(n0 )d
1
2
n 1 T
T
T

2 sen( 0 )
2
2
2
2
1

T
2 sen ( k )0
2

=T
T
1
2

2 sen( 0 )
2
2
1

T
2 sen ( k )0
2
2

=1

1
T T
2 sen( 0 )
2
2
para cualquier valor de k.
T

f (t )

2
T T

sen ( k )0
2

d
f (t )
1
2 sen( 0 )
2

sen ( k )0
2
2

d
lim S k (t ) f (t ) lim [ f (t ) f (t )]
k
k T
1
T
2 sen( 0 )
2
2
T

considerar ahora la funcion

f (t ) f (t ) f (t ) f (t )

g ( )

1
1

2 sen( 0 )
2 sen( 0 )
2
2
dado que f (t ) tiene una derivada en el punto t,
f (t ) f (t )

permanece limitado a medida que 0.

por otra parte la funcion

1
2 sen( 0 )
2
es continua para 0, y se aproxima a 1 a medida que 0, puesto que
0
sen
=1

segun estos resultados y dado que es integrable absolutamente, se sigue que la funcion definida,
es integrable absolutamente. entonces, por lo tanto el resultado :
lim

2 2

lim Sk (t ) f (t ) lim g ( ) sen

k
k T

T
2

lim S k (t ) f (t )
k

k 0 d 0
2

Problema a.4:

sea f (t ) una funcion continua por tramos, periodica con periodo T, integrable absolutamente en un periodo.
demostrar que en todo punto de discontinuidad donde f (t ) tiene una derivada de derecha e izquierda,
la serie de fourier de f (t ) converge al valor
1
f (t ) f (t ) ,
2
solucion :
1

sen (k )0
2
2

d
lim S k (t ) lim f (t )
k
k T
1
T
2 sen( 0 )
2
2
1
1

T
sen (k )0
sen ( k )0
0
2
2
2
2

d lim 2 f (t )

d
lim S k (t ) lim f (t )

k
k T
k T
1
1
0
T
2 sen( 0 )
2 sen( 0 )
2
2
2
como ya sabemos que es par:
T

1
1

sen ( k )0
(k ) 0
0 sen

2
1
2
2

d 2

1
1
T 0 2sen( )
T T
2
2 sen( 0 )
2
0
2
2
1

T
sen (k )0
2
1
2
2

d
f (t ) f (t )
1
2
T 0
2sen( 0 )
2
de esta manera,
T

1
1

T
sen ( k )0
sen
( k ) 0
2

2
2
2

d 1 f (t ) lim 2 [ f (t ) f (t )]
lim f (t )
d

k T
k T
1
1
2
0
0
2 sen( 0 )
2sen( 0 )
2
2
consideremos ahora la funcin
f (t ) f (t ) f (t ) f (t )

g ( ) =

2 sen 0
2 sen 0
2
2

puesto que f (t ) tiene una derivada en el lado derecho en t,

f (t ) f (t )
,
0,

permanece limitado a medida que 0, y la funcion

2 sen 0
2
tambien es limitado. como en el caso donde f (t ) es continuo, se concluye que la funcion
g ( ) es integrable absolutamente en el intervalo [0, T ].
2
1

T
T
sen (k )0
2
2
1
2 2
1
2

lim f (t )
d f (t ) lim g ( ) sen ( x )0 d 0
k T
k

1
2
T 0
2

0
2 sen( 0 )
2
Fenmeno de Gibbs:

cuando una funcion dada se aproxima mediante una suma parcial de la serie de fourier,
habra un error considerable en la vecindad de una discontinuidad, no importa cuantos
terminos se quieran utilizar, este efecto se conoce como fenomeno de Gibbs.
Problema a.5:

considere la onda cuadrada de amplitud uno y periodo 2 ,

1, t 0
1, 0 t

f (t )

analizar la suma de un numero finito de terminos de la serie de fourier

solucion :

T
1, 2 t 0

la solucion del problema f (t )

(serie de fourier de la onda cuadrada)

1, 0 t T

2
4
1
1

f (t ) sent sen3t sen5t ...

3
5

esta serie no muestra uniformidad en la convergencia de la serie de fourier, cerca de la discontinuidad.

a continuacion mostraremos aproximaciones sucesivas simuladas en MATLAB.

MOSTRAMOS COMO SE FORMA

LA FUNCION CUADRATICA
SUMANDO LOS ARMONICOS DE
LA SERIE DE FOURIER.

considerese ahora la suma de un numero finito de terminos, de la serie Sk (t ).segun

2 T2
f ( x) Dk [0 ( x t )] , esta suma esta dada por, (T=2 ,0 = 2 =1)

T
T

T
2
1

T
sen (k )0 ( x t )
2
2
2

dx
S k (t ) f ( x )
T T
1

2 sen 0 ( x t )
2
2

sen (k )( x t )

1
2

dx
S k (t )
f ( x)

1
2

sen ( x t )
2

S k (t )

1
1

sen (k )( x t )
sen
(k )( x t )
0

1
2
2

dx 1

Sk (t )
f ( x)
f ( x)
dx

2 0
2
1

1
sen ( x t )
sen
2 ( x t )
2

sustituyendo x t por y, y t x por y , se obtiene:

sen (k ) y
1
1
2

Sk (t )
f ( x)
dy

2 t
2
1
sen y
2
esto es asi porque
dy dx
t

sen (k ) y
2

f ( x)
dy .....( )
1
sen
2 y

1
sen k ( y) sen
k y

2
2

1
sen ( y) sen
2 y
2

puesto que
t

( ) se puede expresar asi :

1
1

sen (k ) y
(
k

)y
t sen

1
1
2
2

Sk (t )
dy
dy
2 t
2 t
1
1
sen y
sen
2 y
2
en la vecindad de la discontinuidad, es decir, t=0, se evalua la primera integral en la region donde
y=0. aplicando la regla de LHospital , se obtiene el valor del integrando y=0, como.
t

1
k cos k
2

2
1
1
cos y
2
2

2k 1
y 0

la segunda integral se evalua en la region donde y= . el integrando de la segunda integral en y= es (-1) k

se puede despreciar la contribucion de la primera. por consiguiente,
1
1

sen (k ) y
t sen ( k ) y
1
1
2
2

Sk (t )
dy

dy
2 t
0
1
1
sen y
sen y
2
2
t

puesto que el integrando es par en y.

como lo que interesa es la vecindad de la discontinuidad, es decir, t=0, y
sen
lim
1
0
se puede reemplazar sen 1/2y por 1 y, y obtener
2
1
1

(k ) y
t sen ( k ) y
t sen

1
2
2
2

Sk (t )
dy
dy

1
0

y
0
y
2
sustituyendo (k+ 1 )y por ,se tiene
2
2
Sk (t )

( k 1 )t
2

sen
2
d Si

Si (0) 0, y Si ()
Sk (0) 0
lim Sk (t ) 1
k

1
k
2

t .