Sie sind auf Seite 1von 68

Introducci on

Previos
Referencias
Introduccion a la Teora de Fourier
1
Reiman Acu na Chac on
Escuela de Matematica
Universidad de Costa Rica
13 de junio del 2011
1
La mayor parte de esta presentacion es una compilacion de las notas del Dr.
William Ugalde
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Contenido
1
Introducci on
Series de Fourier
C omo surgen?
Idea Intuitiva
2
Previos
Sobre la convergencia Puntual
Ejemplo
3
Referencias
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Nocion sobre las series de Fourier
Un resultado sorprendente debido a Fourier es el hecho que cualquier
funci on se puede aproximar mediante combinaciones lineales de
senos y cosenos.
Las series, en s, tienen gran aplicaci on en ramas de la ingeniera,
adem as de ser una herramienta sumamente util en la teora
matem atica abstracta. En el caso de las aplicaciones se citan su uso en
el an alisis vibratorio, ac ustica, optica, procesamiento de im agenes y
se nales, y compresi on de datos.
En la primera parte de esta secci on vamos a trabajar primero con
funciones denidas en intervalos compactos, y luego con funciones
denidas sobre toda la recta real pero que son periodicas con perodo
2. Un simple cambio de variable permite estudiar el caso general.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Nocion sobre las series de Fourier
Un resultado sorprendente debido a Fourier es el hecho que cualquier
funci on se puede aproximar mediante combinaciones lineales de
senos y cosenos.
Las series, en s, tienen gran aplicaci on en ramas de la ingeniera,
adem as de ser una herramienta sumamente util en la teora
matem atica abstracta. En el caso de las aplicaciones se citan su uso en
el an alisis vibratorio, ac ustica, optica, procesamiento de im agenes y
se nales, y compresi on de datos.
En la primera parte de esta secci on vamos a trabajar primero con
funciones denidas en intervalos compactos, y luego con funciones
denidas sobre toda la recta real pero que son periodicas con perodo
2. Un simple cambio de variable permite estudiar el caso general.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Nocion sobre las series de Fourier
Un resultado sorprendente debido a Fourier es el hecho que cualquier
funci on se puede aproximar mediante combinaciones lineales de
senos y cosenos.
Las series, en s, tienen gran aplicaci on en ramas de la ingeniera,
adem as de ser una herramienta sumamente util en la teora
matem atica abstracta. En el caso de las aplicaciones se citan su uso en
el an alisis vibratorio, ac ustica, optica, procesamiento de im agenes y
se nales, y compresi on de datos.
En la primera parte de esta secci on vamos a trabajar primero con
funciones denidas en intervalos compactos, y luego con funciones
denidas sobre toda la recta real pero que son periodicas con perodo
2. Un simple cambio de variable permite estudiar el caso general.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Como surgen?
Joseph Fourier (1768 - 1830)
Fue en Grenoble (Francia) donde
condujo sus experimentos sobre la
propagaci on del calor que le permiten
modelar la evoluci on de la
temperatura a traves de series
trigonometricas. Estos trabajos
mejoraron el modelado matem atico
de fen omenos fsicos y contribuyeron
a los fundamentos de la
termodinamica
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Idea Intuitiva
Series de Fourier
Asumimos que se puede expresar una funci on f como el lmite de
combinaciones lineales de funciones seno y coseno. Suponga entonces que
f(x) =
a
0
2
+

n=1
a
n
cos nx + b
n
sen nx (1)
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Con base en lo anterior, supondremos las hip otesis necesarias para
intercambias series e integrales.
Considerando la ecuaci on (1) multiplicamos esta por sen mx e
integramos desde a . El resultado es
_

f(x) sen(mx) dx =
a
0
2
_

sen mxdx+

n=1
a
n
_

sen mxcos nxdx+b


n
_

sen mxsen nxdx =


b
m
_

sen
2
mxdx = b
m

puesto que ya se mostr o la ortogonalidad de las funcions cos nx y


sen nx en el intervalo de [, ].
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Con base en lo anterior, supondremos las hip otesis necesarias para
intercambias series e integrales.
Considerando la ecuaci on (1) multiplicamos esta por sen mx e
integramos desde a . El resultado es
_

f(x) sen(mx) dx =
a
0
2
_

sen mxdx+

n=1
a
n
_

sen mxcos nxdx+b


n
_

sen mxsen nxdx =


b
m
_

sen
2
mxdx = b
m

puesto que ya se mostr o la ortogonalidad de las funcions cos nx y


sen nx en el intervalo de [, ].
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Con base en lo anterior, supondremos las hip otesis necesarias para
intercambias series e integrales.
Considerando la ecuaci on (1) multiplicamos esta por sen mx e
integramos desde a . El resultado es
_

f(x) sen(mx) dx =
a
0
2
_

sen mxdx+

n=1
a
n
_

sen mxcos nxdx+b


n
_

sen mxsen nxdx =


b
m
_

sen
2
mxdx = b
m

puesto que ya se mostr o la ortogonalidad de las funcions cos nx y


sen nx en el intervalo de [, ].
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Con base en lo anterior, supondremos las hip otesis necesarias para
intercambias series e integrales.
Considerando la ecuaci on (1) multiplicamos esta por sen mx e
integramos desde a . El resultado es
_

f(x) sen(mx) dx =
a
0
2
_

sen mxdx+

n=1
a
n
_

sen mxcos nxdx+b


n
_

sen mxsen nxdx =


b
m
_

sen
2
mxdx = b
m

puesto que ya se mostr o la ortogonalidad de las funcions cos nx y


sen nx en el intervalo de [, ].
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Con base en lo anterior, supondremos las hip otesis necesarias para
intercambias series e integrales.
Considerando la ecuaci on (1) multiplicamos esta por sen mx e
integramos desde a . El resultado es
_

f(x) sen(mx) dx =
a
0
2
_

sen mxdx+

n=1
a
n
_

sen mxcos nxdx+b


n
_

sen mxsen nxdx =


b
m
_

sen
2
mxdx = b
m

puesto que ya se mostr o la ortogonalidad de las funcions cos nx y


sen nx en el intervalo de [, ].
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
En forma similar
_

f(x) cos(mx) dx =
a
0
2
_

cos mxdx+

n=1
a
n
_

cos mxcos nxdx+b


n
_

cos mxsen nxdx =


_
a
0
si m = 0
a
m
_

cos
2
mx dx si m = 0
_
= a
m

Reiman Acu na Chac on Introducci on a la Teora de Fourier


Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
En forma similar
_

f(x) cos(mx) dx =
a
0
2
_

cos mxdx+

n=1
a
n
_

cos mxcos nxdx+b


n
_

cos mxsen nxdx =


_
a
0
si m = 0
a
m
_

cos
2
mx dx si m = 0
_
= a
m

Reiman Acu na Chac on Introducci on a la Teora de Fourier


Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
En forma similar
_

f(x) cos(mx) dx =
a
0
2
_

cos mxdx+

n=1
a
n
_

cos mxcos nxdx+b


n
_

cos mxsen nxdx =


_
a
0
si m = 0
a
m
_

cos
2
mx dx si m = 0
_
= a
m

Reiman Acu na Chac on Introducci on a la Teora de Fourier


Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
En forma similar
_

f(x) cos(mx) dx =
a
0
2
_

cos mxdx+

n=1
a
n
_

cos mxcos nxdx+b


n
_

cos mxsen nxdx =


_
a
0
si m = 0
a
m
_

cos
2
mx dx si m = 0
_
= a
m

Reiman Acu na Chac on Introducci on a la Teora de Fourier


Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Denici on 13.1
A la serie
SF(f)(x) :=
a
0
2
+

n=1
a
n
cos nx + b
n
sen nx
con coecientes dados por
a
n
=
1

f(x) cos nxdx para n = 0, 1, 2, 3, . . . ,


y
b
n
=
1

f(x) sen nxdx para n = 1, 2, 3, . . . ,


se le llama la serie de Fourier para la funci on f en el intervalo [, ]. A
los coecientes a
n
y b
n
les llamamos coecientes de Fourier.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Nota
El coeciente a
0
/2 en la serie de Fourier corresponde al valor medio de la
funci on f en el intervalo [, ].
Interrogantes
Las preguntas naturales que surge son:
1
En que sentido es convergente la serie SF(f)(x)?
2
Converge la serie SFf(x) precisamente a la funci on f?
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Nota
El coeciente a
0
/2 en la serie de Fourier corresponde al valor medio de la
funci on f en el intervalo [, ].
Interrogantes
Las preguntas naturales que surge son:
1
En que sentido es convergente la serie SF(f)(x)?
2
Converge la serie SFf(x) precisamente a la funci on f?
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Ejemplo 13.2 La onda cuadrada.
Considere la funci on peri odica de periodo 2 denida mediante
f(x) :=
_
_
_
0 si x = 0, ;
a si x ] , 0[;
b si x ]0, [.


2 2
a
b

Reiman Acu na Chac on Introducci on a la Teora de Fourier


Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Para esta funci on tenemos que
a
0
=
a

_
0

dx +
b

_

0
dx = a + b,
a
n
=
a

_
0

cos nxdx +
b

_

0
cos nxdx = 0, si n = 0,
y
b
n
=
a

_
0

sen nxdx +
b

_

0
sen nxdx =
a
n
cos nx

b
n
cos nx

0
= (1 (1)
n
)
a + b
n
=
_
0 si n par,
2(a+b)
n
si n impar.
De este modo
SFf(x) =
a + b
2
+

n=1
2(a + b)
(2n + 1)
sen(2n + 1)x. (1)
Note como SFf(0) = (a + b)/2 mientras que f(0) = 0.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Aproximacion a la Serie de Fourier para la funcion Onda
Cuadrada
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Aproximacion a la Serie de Fourier para la funcion Onda
Cuadrada
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Aproximacion a la Serie de Fourier para la funcion Onda
Cuadrada
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Del ejemplo anterior, es evidente que SFf(x) no converge
necesariamente en forma puntual (y en consecuencia tampoco en forma
uniforme) hacia f(x).
Por otra parte, como
|SFf(x)|
|a
0
|
2
+

n=1
|a
n
| +|b
n
|,
por el criterio M de Weierstrass, es suciente que esta serie numerica
sea convergente para obtener convergencia uniforme de SFf(x).
Para poder encontrar la convergencia puntual de las series de Fourier
necesitamos algunos resultados previos y notaciones.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Del ejemplo anterior, es evidente que SFf(x) no converge
necesariamente en forma puntual (y en consecuencia tampoco en forma
uniforme) hacia f(x).
Por otra parte, como
|SFf(x)|
|a
0
|
2
+

n=1
|a
n
| +|b
n
|,
por el criterio M de Weierstrass, es suciente que esta serie numerica
sea convergente para obtener convergencia uniforme de SFf(x).
Para poder encontrar la convergencia puntual de las series de Fourier
necesitamos algunos resultados previos y notaciones.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Series de Fourier
Como surgen?
Idea Intuitiva
Idea Intuitiva
Del ejemplo anterior, es evidente que SFf(x) no converge
necesariamente en forma puntual (y en consecuencia tampoco en forma
uniforme) hacia f(x).
Por otra parte, como
|SFf(x)|
|a
0
|
2
+

n=1
|a
n
| +|b
n
|,
por el criterio M de Weierstrass, es suciente que esta serie numerica
sea convergente para obtener convergencia uniforme de SFf(x).
Para poder encontrar la convergencia puntual de las series de Fourier
necesitamos algunos resultados previos y notaciones.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Lema 13.3 Forma Integral de la serie de Fourier
SFf(x) =
1
2
_

f() d +
1

n=1
_

f() cos n( x) d.
Prueba: Basta notar que
_

f() cos n( x) d
= cos nx
_

f() cos n d + sen nx


_

f() sen n d
para tener el resultado.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Lema 13.3 Forma Integral de la serie de Fourier
SFf(x) =
1
2
_

f() d +
1

n=1
_

f() cos n( x) d.
Prueba: Basta notar que
_

f() cos n( x) d
= cos nx
_

f() cos n d + sen nx


_

f() sen n d
para tener el resultado.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Nota
Es usual denotar
f(b

) := lm
xb

f(x) y f(a
+
) := lm
xa
+
f(x)
siempre que dichos lmites existan. Adem as,
f

(b

) := lm
xb

f(b

) f(x)
b x
y f

(a
+
) := lm
xa
+
f(x) f(a
+
)
x a
,
siempre que dichos lmites existan.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Lema 13.4
Si la funci on F posee a lo m as una cantidad nita de discontinuidades en el
intervalo [0, b], b > 0 y si F(0
+
) y F

(0
+
) existen entonces
lm
n
_
b
0
F(y)
sen ny
y
dy =

2
F(0
+
).
Prueba:Primero escribimos la integral en cuesti on como la suma
F(0
+
)
_
b
0
sen ny
y
dy
. .
(1)
+
_
b
0
F(y) F(0
+
)
y
sen ny dy.
. .
(2)
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Lema 13.4
Si la funci on F posee a lo m as una cantidad nita de discontinuidades en el
intervalo [0, b], b > 0 y si F(0
+
) y F

(0
+
) existen entonces
lm
n
_
b
0
F(y)
sen ny
y
dy =

2
F(0
+
).
Prueba:Primero escribimos la integral en cuesti on como la suma
F(0
+
)
_
b
0
sen ny
y
dy
. .
(1)
+
_
b
0
F(y) F(0
+
)
y
sen ny dy.
. .
(2)
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Por el Ejemplo 10.58 y mediante el cambio de variable z = ny, tenemos que
la expresi on (1) se transforma en
lm
n
_
b
0
sen ny
y
dy = lm
n
_
nb
0
sen z
z
dz =

2
.
En el caso de la expresi on (2), observamos que
1
Como F posee a lo m as una cantidad nita de discontinuidades, lo
mismo es cierto para la funci on (F(x) F(0
+
))/x. Ademas,
F

(0
+
) = lm
x0
+
F(x) F(0
+
)
x
,
el cual existe por hip otesis.
2
Aplicando el lema de Riemann-Lebesgue en cada intervalo en el que
(F(x) F(0
+
))/x es continua, se tiene
lm
n
_
b
0
F(y) F(0
+
)
y
sen ny dy = 0
Ambos consideraciones concluyen el resultado.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Por el Ejemplo 10.58 y mediante el cambio de variable z = ny, tenemos que
la expresi on (1) se transforma en
lm
n
_
b
0
sen ny
y
dy = lm
n
_
nb
0
sen z
z
dz =

2
.
En el caso de la expresi on (2), observamos que
1
Como F posee a lo m as una cantidad nita de discontinuidades, lo
mismo es cierto para la funci on (F(x) F(0
+
))/x. Ademas,
F

(0
+
) = lm
x0
+
F(x) F(0
+
)
x
,
el cual existe por hip otesis.
2
Aplicando el lema de Riemann-Lebesgue en cada intervalo en el que
(F(x) F(0
+
))/x es continua, se tiene
lm
n
_
b
0
F(y) F(0
+
)
y
sen ny dy = 0
Ambos consideraciones concluyen el resultado.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Por el Ejemplo 10.58 y mediante el cambio de variable z = ny, tenemos que
la expresi on (1) se transforma en
lm
n
_
b
0
sen ny
y
dy = lm
n
_
nb
0
sen z
z
dz =

2
.
En el caso de la expresi on (2), observamos que
1
Como F posee a lo m as una cantidad nita de discontinuidades, lo
mismo es cierto para la funci on (F(x) F(0
+
))/x. Ademas,
F

(0
+
) = lm
x0
+
F(x) F(0
+
)
x
,
el cual existe por hip otesis.
2
Aplicando el lema de Riemann-Lebesgue en cada intervalo en el que
(F(x) F(0
+
))/x es continua, se tiene
lm
n
_
b
0
F(y) F(0
+
)
y
sen ny dy = 0
Ambos consideraciones concluyen el resultado.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Lema 13.5
Si la funci on F posee a lo m as una cantidad nita de discontinuidades en el
intervalo [a, b] y para alg un punto x ]a, b[ existen F

(x

) y F

(x
+
)
entonces
lm
n
_
b
a
F()
sen n( x)
x
d =
F(x
+
) + F(x

)
2
.
Prueba: Primero escribimos la integral en cuesti on como la suma
_
x
a
F()
sen n(x )
x
d +
_
b
x
F()
sen n( x)
x
d.
Haciendo los cambios de variable y = x y y = x respectivamente
obtenemos
_
xa
0
F(x y)
sen ny
y
dy +
_
bx
0
F(x + y)
sen ny
y
dy.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Lema 13.5
Si la funci on F posee a lo m as una cantidad nita de discontinuidades en el
intervalo [a, b] y para alg un punto x ]a, b[ existen F

(x

) y F

(x
+
)
entonces
lm
n
_
b
a
F()
sen n( x)
x
d =
F(x
+
) + F(x

)
2
.
Prueba: Primero escribimos la integral en cuesti on como la suma
_
x
a
F()
sen n(x )
x
d +
_
b
x
F()
sen n( x)
x
d.
Haciendo los cambios de variable y = x y y = x respectivamente
obtenemos
_
xa
0
F(x y)
sen ny
y
dy +
_
bx
0
F(x + y)
sen ny
y
dy.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Lema 13.5
Si la funci on F posee a lo m as una cantidad nita de discontinuidades en el
intervalo [a, b] y para alg un punto x ]a, b[ existen F

(x

) y F

(x
+
)
entonces
lm
n
_
b
a
F()
sen n( x)
x
d =
F(x
+
) + F(x

)
2
.
Prueba: Primero escribimos la integral en cuesti on como la suma
_
x
a
F()
sen n(x )
x
d +
_
b
x
F()
sen n( x)
x
d.
Haciendo los cambios de variable y = x y y = x respectivamente
obtenemos
_
xa
0
F(x y)
sen ny
y
dy +
_
bx
0
F(x + y)
sen ny
y
dy.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Lema 13.5
Si la funci on F posee a lo m as una cantidad nita de discontinuidades en el
intervalo [a, b] y para alg un punto x ]a, b[ existen F

(x

) y F

(x
+
)
entonces
lm
n
_
b
a
F()
sen n( x)
x
d =
F(x
+
) + F(x

)
2
.
Prueba: Primero escribimos la integral en cuesti on como la suma
_
x
a
F()
sen n(x )
x
d +
_
b
x
F()
sen n( x)
x
d.
Haciendo los cambios de variable y = x y y = x respectivamente
obtenemos
_
xa
0
F(x y)
sen ny
y
dy +
_
bx
0
F(x + y)
sen ny
y
dy.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Ahora bien, si ponemos
G(y) = F(x y) y H(y) = F(x + y)
tenemos que
G(0
+
) = F(x

) , H(0
+
) = F(x
+
) , G

(0
+
) = F

(x

) y H

(0
+
) = F

(0
+
)
De este modo, al tomar n en esta suma de integrales, por el lema
anterior tenemos que el lmite es

2
(G(0
+
) + H(0
+
)) =

2
(F(x

) + F(x
+
))
lo cual concluye el resultado.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Ahora bien, si ponemos
G(y) = F(x y) y H(y) = F(x + y)
tenemos que
G(0
+
) = F(x

) , H(0
+
) = F(x
+
) , G

(0
+
) = F

(x

) y H

(0
+
) = F

(0
+
)
De este modo, al tomar n en esta suma de integrales, por el lema
anterior tenemos que el lmite es

2
(G(0
+
) + H(0
+
)) =

2
(F(x

) + F(x
+
))
lo cual concluye el resultado.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Teorema 13.6 De Convergencia Puntual de las Series de Fourier
Sea f una funci on peri odica de periodo 2 que posee solo una cantidad
nita de discontinuidades en el intervalo [, ]. Entonces la serie de
Fourier SFf(x) de f(x) converge al valor
f(x

) + f(x
+
)
2
en cada punto x R en el cual f posee tanto derivada izquierda como
derecha (i.e. f

(x

) y f

(x
+
) existen). En particular, SFf(x) converge a
f(x) en los puntos en los que f es continua y f

(x

) y f

(x
+
) existen.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Prueba:Usando la forma integral para la serie de Fourier tenemos que la
suma parcial de SFf(x) est a dada por
SF
n
(x) =
1

f()
_
1
2
+
n

m=1
cos m( x)
_
d
=
1

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

_
a+2
a
f()
( x)/2
sen(( x)/2)
sen((n + 1/2)( x))
( x)
d
:=
1

_
a+2
a
F()
sen((n + 1/2)( x))
( x)
d,
donde la segunda identidad trigonometrica se deja como ejercicio para el
lector, y la tercera igualdad sigue del hecho que el integrando es peri odico
de periodo 2. Aqu elegimos a de modo tal que a < x < a + 2.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Queremos aplicar el lema 13.5 a la funci on
F() = f()
( x)/2
sen(( x)/2)
.
Primero observamos que F posee una cantidad nita de discontinuidades,
dado que f posee una cantidad nita de discontinuidades en cualquier
intervalo de longitud 2. Segundo, la existencia de F

(x

) y F

(x

) sigue
de la existencia de f

(x

) y f

(x

) y de S

(0

) y S

(0
+
) donde
S() =
/2
sen(/2)
=
/2
/2
3
/48 +
.
De hecho
S

(0

) = lm
0

S() S(0

= lm
0

/2 sen(/2)
sen(/2)
= 0.
Por ultimo F(x

) = f(x

) lo cual concluye el resultado.


Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Corolario 13.7
Sean f y g funciones peri odicas de periodo 2 que poseen solo una cantidad
nita de discontinuidades en el intervalo [, ]. Si f y g comparten los
mismos coecientes de Fourier entonces f(x) = g(x) en los puntos x en los
que ambas f y g son continuas y f

(x

), f

(x
+
), g

(x

) y g

(x
+
) existen.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Corolario 13.7
Sean f y g funciones peri odicas de periodo 2 que poseen solo una cantidad
nita de discontinuidades en el intervalo [, ]. Si f y g comparten los
mismos coecientes de Fourier entonces f(x) = g(x) en los puntos x en los
que ambas f y g son continuas y f

(x

), f

(x
+
), g

(x

) y g

(x
+
) existen.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Ejemplo 13. 8: Cuidados
La funci on f(x) =
_
|x| nos brinda un ejemplo de una funci on continua
para la cual ni f

(0

) ni f

(0
+
) existen. De hecho f(0

) = 0 por la
continuidad de f, pero
f

(0

) = lm
x0

f(x) f(0

)
x
= lm
x0
+
1

x
.
El teorema anterior no garantiza la convergencia de SFf(0).
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Ejemplo 13. 8: Cuidados
La funci on f(x) =
_
|x| nos brinda un ejemplo de una funci on continua
para la cual ni f

(0

) ni f

(0
+
) existen. De hecho f(0

) = 0 por la
continuidad de f, pero
f

(0

) = lm
x0

f(x) f(0

)
x
= lm
x0
+
1

x
.
El teorema anterior no garantiza la convergencia de SFf(0).
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Denici on 13. 9: Sobre la conversi on de funciones no peri odicas
Sea f una funci on tal que
i. si f no es continua en x ] , [ entonces ambos f(x

) y f(x
+
)
existen,
ii. si f no es continua a la derecha de entonces f(
+
) existe y
iii. si f no es continua a la izquierda de entonces f(

) existe.
Dena la funci on

f(x) :=
_

_
f(x), si f es continua en x ] , [;
f(x

)+f(x
+
)
2
, si f no es continua en x ] , [;
f(

)+f(
+
)
2
, x = .
Por ultimo, extienda

f a todo R mediante

f(x + 2) = f(x).
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Denici on 13. 9: Sobre la conversi on de funciones no peri odicas
De este modo

f es una funci on que posee solo un n umero nito de
discontinuidades en [, ], es peri odica de periodo 2, y en el intervalo
[, ] coincide con f excepto en un n umero nito de puntos. A la funci on

f le llamamos la textbfextensi on peri odica de f.


Por el Teorema 13.6 la serie de Fourier SF

f, la cual coincide con SFf,


converge puntualmente a

f en todo R.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Denici on 13. 9: Sobre la conversi on de funciones no peri odicas
De este modo

f es una funci on que posee solo un n umero nito de
discontinuidades en [, ], es peri odica de periodo 2, y en el intervalo
[, ] coincide con f excepto en un n umero nito de puntos. A la funci on

f le llamamos la textbfextensi on peri odica de f.


Por el Teorema 13.6 la serie de Fourier SF

f, la cual coincide con SFf,


converge puntualmente a

f en todo R.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Nota
En caso de tener una funci on denida en un intervalo [a, b] no
necesariamente igual a [, ] podemos hacer lo siguiente:
Si f : [a, b] R posee tan solo un cantidad nita de discontinuidades
y en cada punto x de discontinuidad se tiene que ambas f

(x

) existen
entonces, mediante el cambio de variable
y =
2(x a)
b a

podemos asumir, sin perdida de generalidad, que
a = y b =
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
Ejemplo
Determine la serie de Fourier asociada a
f(x) =
x
2
2
x si 0 x 2
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
1 En el caso de esta funci on, note que no posee discontinuidades y la
misma es derivable en ]0, 2[.
2 Por ende, de acuerdo con la ultima nota, para a = 0 y b = 2,
considere el cambio de variable
y =
(2)(x 0)
(2 0)
=
2x
2
= x
3 Con esto, la funcion original se redene por:
f(y) =
(y + )
2
2
(y + ) si y
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
1 En el caso de esta funci on, note que no posee discontinuidades y la
misma es derivable en ]0, 2[.
2 Por ende, de acuerdo con la ultima nota, para a = 0 y b = 2,
considere el cambio de variable
y =
(2)(x 0)
(2 0)
=
2x
2
= x
3 Con esto, la funcion original se redene por:
f(y) =
(y + )
2
2
(y + ) si y
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
1 En el caso de esta funci on, note que no posee discontinuidades y la
misma es derivable en ]0, 2[.
2 Por ende, de acuerdo con la ultima nota, para a = 0 y b = 2,
considere el cambio de variable
y =
(2)(x 0)
(2 0)
=
2x
2
= x
3 Con esto, la funcion original se redene por:
f(y) =
(y + )
2
2
(y + ) si y
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
4 Observe la traslaci on producida
5 Note ahora que
f(

) = lm
y

_
(y + )
2
2
(y + )
_
= 2
2
2
2
= 0
6 Con base en la Denici on 13.9, se sigue que

f(x) :=
_
(x+)
2
2
(x + ) si x ] , [
0 si x =
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
4 Observe la traslaci on producida
5 Note ahora que
f(

) = lm
y

_
(y + )
2
2
(y + )
_
= 2
2
2
2
= 0
6 Con base en la Denici on 13.9, se sigue que

f(x) :=
_
(x+)
2
2
(x + ) si x ] , [
0 si x =
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
4 Observe la traslaci on producida
5 Note ahora que
f(

) = lm
y

_
(y + )
2
2
(y + )
_
= 2
2
2
2
= 0
6 Con base en la Denici on 13.9, se sigue que

f(x) :=
_
(x+)
2
2
(x + ) si x ] , [
0 si x =
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
7 Por ultimo, se extiende

f a todo R mediante

f(x + 2) = f(x)
8 Este es el resultado gr aco de la extensi on periodica de f
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
9 De esta forma, calculamos ahora
a
0
=
1

f(x) dx (1)
a
n
=
1

f(x) cos nx dx y b
n
=
1

f(x) sen nx dx (2 y 3)
10 En (1) se tiene que
a
0
=
1

f(x) dx =
1

_
(x + )
2
2
(x + )
_
dx
=
1

_
(x + )
3
6

(x + )
2
2

_
=
1

_
(2)
3
6

(2)
2
2
_
=
2
2
3
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
11 Para (2) y utilizando integraci on por partes dos veces se obtiene
a
n
=
1

_
(x + )
2
2
(x + )
_
cos nx dx
a
n
=
1

_
_
(x + )
2
2
(x + )
_

sen nx
n

1
n
_

xsen nx dx
_
a
n
=
1
n
__

xsen nx dx
_
a
n
=
1
n
_
x
cos nx
n

+
1
n
_

cos nx dx
_
a
n
=
1
n
_

cos n
n

cos n
n
+
1
n
_
sen nx
n

__
a
n
=
1
n
_
2
cos n
n
+
1
n
_
sen n
n
+
sen n
n
_
_
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
12 (Continuaci on)
a
n
=
1
n
_
2
cos n
n
+
2 sen n
n
2
_
a
n
=
2 cos n
n
2

2 sen n
n
3
13 En forma an aloga, se puede mostar al nal que
b
n
=
1

f(x) sen nx dx =
1

_
(x + )
2
2
(x + )
_
sen nx dx = 0
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
13 Recupernado los resultados anteriores, es posible concluir que
SF(

f(x)) =
1
2
_
2
2
3
_
+

n=1
__
2 cos n
n
2

2 sen n
n
3
_
cos(nx) + 0 sen(nx)
_
SF(

f(x)) =

2
3
+ 2

n=1
__
cos n
n
2

sen n
n
3
_
cos(nx)
_
SF(

f(x)) =

2
3
+ 2

n=1
_
1
n
2
_
cos n
sen n
n
_
cos(nx)
_
14 Observe que la expresi on
cos n
sen n
n
= (1)
n
por lo cual
SF(

f(x)) =

2
3
+ 2

n=1
_
(1)
n
cos(nx)
n
2
_
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
15 De esta manera
(x + )
2
2
(x + ) =

2
3
+ 2

n=1
_
(1)
n
cos(nx)
n
2
_
, x
16 Considere luego el cambio de variable x = y . As
y
2
2
y =

2
3
+ 2

n=1
_
(1)
n
cos(n(y ))
n
2
_
De donde
y
2
2
y =

2
3
+ 2

n=1
_
(1)
n
[cos(ny) cos(n) + sen(ny) sen(n)]
n
2
_
17 Observe que cos n = (1)
n
para n = 1, 2, . . . y sen(n) = 0 para
n = 1, 2, . . .
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
18 Con base en lo anterior
y
2
2
y =

2
3
+ 2

n=1
_
(1)
n
[cos(ny)(1)
n
+ sen(ny) 0]
n
2
_
y
2
2
y =

2
3
+ 2

n=1
cos(ny)
n
2
19 Cambiando y por x se concluye que
x
2
2
x =

2
3
+ 2

n=1
cos(nx)
n
2
, 0 x 2
20 Que sucede si se cambia x = 0?
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
21 Se obtiene la igualdad

n=1
1
n
2
=

2
6
Este resultado corresponde a al valor (1) en la funcion zeta de
Riemann, en donde
(p) =

n=1
1
n
p
, p 1
La funci on zeta de Riemann nombrada en honor a Bernhard Riemann,
es una funci on que tiene una importancia signicativa en la teora de
n umeros, por su relaci on con la distribuci on de los n umeros primos.
Tambien tiene aplicaciones en otras areas tales como la fsica, la teora
de probabilidades y estadstica aplicada.
Reiman Acu na Chac on Introducci on a la Teora de Fourier
Introducci on
Previos
Referencias
Referencias
W.J. Ugalde.
MA0350 C alculo en una variable II
Notas del Curso, 2011.
Wikipedia contributors
Serie de Fourier
Wikipedia, The Free Encyclopedia., 2011.
http://es.wikipedia.org/wiki/Serie de Fourier
Reiman Acu na Chac on Introducci on a la Teora de Fourier

Das könnte Ihnen auch gefallen