You are on page 1of 68

Introducci´ on

Previos
Referencias
Introducci´on a la Teor´ıa de Fourier
1
Reiman Acu˜ na Chac´ on
Escuela de Matem´atica
Universidad de Costa Rica
13 de junio del 2011
1
La mayor parte de esta presentaci´on es una compilaci´on de las notas del Dr.
William Ugalde
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Noci´on 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 ingenier´ıa,
adem´ as de ser una herramienta sumamente ´ util en la teor´ıa
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 definidas en intervalos compactos, y luego con funciones
definidas sobre toda la recta real pero que son peri´odicas con per´ıodo
2π. Un simple cambio de variable permite estudiar el caso general.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Noci´on 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 ingenier´ıa,
adem´ as de ser una herramienta sumamente ´ util en la teor´ıa
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 definidas en intervalos compactos, y luego con funciones
definidas sobre toda la recta real pero que son peri´odicas con per´ıodo
2π. Un simple cambio de variable permite estudiar el caso general.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Noci´on 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 ingenier´ıa,
adem´ as de ser una herramienta sumamente ´ util en la teor´ıa
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 definidas en intervalos compactos, y luego con funciones
definidas sobre toda la recta real pero que son peri´odicas con per´ıodo
2π. Un simple cambio de variable permite estudiar el caso general.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
¿C´omo 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 trav´es de series
trigonom´etricas. Estos trabajos
mejoraron el modelado matem´ atico
de fen´ omenos f´ısicos y contribuyeron
a los fundamentos de la
termodin´amica
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Idea Intuitiva
Idea Intuitiva
Series de Fourier
Asumimos que se puede expresar una funci´ on f como el l´ımite 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Idea Intuitiva
Definici´ on 13.1
A la serie
SF(f)(x) :=
a
0
2
+

n=1
a
n
cos nx + b
n
sen nx
con coeficientes 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 coeficientes a
n
y b
n
les llamamos coeficientes de Fourier.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Idea Intuitiva
Nota
El coeficiente 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 qu´e 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Idea Intuitiva
Nota
El coeficiente 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 qu´e 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Idea Intuitiva
Ejemplo 13.2 La onda cuadrada.
Considere la funci´ on peri´ odica de periodo 2π definida 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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

cos nx
¸
¸
¸
¸
0
−π

b

cos nx
¸
¸
¸
¸
π
0
= (1 −(−1)
n
)
a + b

=
_
0 si n par,
2(a+b)

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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Idea Intuitiva
Aproximaci´on a la Serie de Fourier para la funci´on Onda
Cuadrada
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Idea Intuitiva
Aproximaci´on a la Serie de Fourier para la funci´on Onda
Cuadrada
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo surgen?
Idea Intuitiva
Idea Intuitiva
Aproximaci´on a la Serie de Fourier para la funci´on Onda
Cuadrada
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 suficiente que esta serie num´erica
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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 suficiente que esta serie num´erica
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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Series de Fourier
¿C´omo 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 suficiente que esta serie num´erica
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 Teor´ıa 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

_
π
−π
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 Teor´ıa 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

_
π
−π
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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Nota
Es usual denotar
f(b

) := l´ım
x→b

f(x) y f(a
+
) := l´ım
x→a
+
f(x)
siempre que dichos l´ımites existan. Adem´ as,
f

(b

) := l´ım
x→b

f(b

) −f(x)
b −x
y f

(a
+
) := l´ım
x→a
+
f(x) −f(a
+
)
x −a
,
siempre que dichos l´ımites existan.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 finita de discontinuidades en el
intervalo [0, b], b > 0 y si F(0
+
) y F

(0
+
) existen entonces
l´ım
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 Teor´ıa 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 finita de discontinuidades en el
intervalo [0, b], b > 0 y si F(0
+
) y F

(0
+
) existen entonces
l´ım
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 Teor´ıa 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
l´ım
n→∞
_
b
0
sen ny
y
dy = l´ım
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 finita de discontinuidades, lo
mismo es cierto para la funci´ on (F(x) −F(0
+
))/x. Adem´as,
F

(0
+
) = l´ım
x→0
+
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
l´ım
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 Teor´ıa 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
l´ım
n→∞
_
b
0
sen ny
y
dy = l´ım
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 finita de discontinuidades, lo
mismo es cierto para la funci´ on (F(x) −F(0
+
))/x. Adem´as,
F

(0
+
) = l´ım
x→0
+
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
l´ım
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 Teor´ıa 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
l´ım
n→∞
_
b
0
sen ny
y
dy = l´ım
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 finita de discontinuidades, lo
mismo es cierto para la funci´ on (F(x) −F(0
+
))/x. Adem´as,
F

(0
+
) = l´ım
x→0
+
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
l´ım
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 Teor´ıa 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 finita de discontinuidades en el
intervalo [a, b] y para alg´ un punto x ∈]a, b[ existen F

(x

) y F

(x
+
)
entonces
l´ım
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
_
x−a
0
F(x −y)
sen ny
y
dy +
_
b−x
0
F(x + y)
sen ny
y
dy.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 finita de discontinuidades en el
intervalo [a, b] y para alg´ un punto x ∈]a, b[ existen F

(x

) y F

(x
+
)
entonces
l´ım
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
_
x−a
0
F(x −y)
sen ny
y
dy +
_
b−x
0
F(x + y)
sen ny
y
dy.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 finita de discontinuidades en el
intervalo [a, b] y para alg´ un punto x ∈]a, b[ existen F

(x

) y F

(x
+
)
entonces
l´ım
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
_
x−a
0
F(x −y)
sen ny
y
dy +
_
b−x
0
F(x + y)
sen ny
y
dy.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 finita de discontinuidades en el
intervalo [a, b] y para alg´ un punto x ∈]a, b[ existen F

(x

) y F

(x
+
)
entonces
l´ım
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
_
x−a
0
F(x −y)
sen ny
y
dy +
_
b−x
0
F(x + y)
sen ny
y
dy.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 l´ımite 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 Teor´ıa 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 l´ımite 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 Teor´ıa 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
finita 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 Teor´ıa 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)
_

=
1
π
_
π
−π
f(ξ)
sen((n + 1/2)(ξ −x))
2 sen((ξ −x)/2)

=
1
π
_
a+2π
a
f(ξ)
(ξ −x)/2
sen((ξ −x)/2)
sen((n + 1/2)(ξ −x))
(ξ −x)

:=
1
π
_
a+2π
a
F(ξ)
sen((n + 1/2)(ξ −x))
(ξ −x)
dξ,
donde la segunda identidad trigonom´etrica 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 Teor´ıa 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 finita de discontinuidades,
dado que f posee una cantidad finita 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
±
) = l´ım
ξ→0
±
S(ξ) −S(0
±
)
ξ
= l´ım
ξ→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 Teor´ıa 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
finita de discontinuidades en el intervalo [−π, π]. Si f y g comparten los
mismos coeficientes 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 Teor´ıa 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
finita de discontinuidades en el intervalo [−π, π]. Si f y g comparten los
mismos coeficientes 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 Teor´ıa 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
±
) = l´ım
x→0
±
f(x) −f(0
±
)
x
= l´ım
x→0
+
±1

x
.
El teorema anterior no garantiza la convergencia de SFf(0).
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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
±
) = l´ım
x→0
±
f(x) −f(0
±
)
x
= l´ım
x→0
+
±1

x
.
El teorema anterior no garantiza la convergencia de SFf(0).
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Definici´ 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.
Defina 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Definici´ 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 finito de
discontinuidades en [−π, π], es peri´ odica de periodo 2π, y en el intervalo
[−π, π] coincide con f excepto en un n´ umero finito 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Definici´ 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 finito de
discontinuidades en [−π, π], es peri´ odica de periodo 2π, y en el intervalo
[−π, π] coincide con f excepto en un n´ umero finito 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Resultados previos y notaciones
Nota
En caso de tener una funci´ on definida en un intervalo [a, b] no
necesariamente igual a [−π, π] podemos hacer lo siguiente:
Si f : [a, b] → R posee tan solo un cantidad finita 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 p´erdida de generalidad, que
a = −π y b = π
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 Teor´ıa 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)
−π =
2πx

−π = x −π
3 Con esto, la funci´on original se redefine por:
f(y) =
(y + π)
2
2
−π(y + π) si −π ≤ y ≤ π
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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)
−π =
2πx

−π = x −π
3 Con esto, la funci´on original se redefine por:
f(y) =
(y + π)
2
2
−π(y + π) si −π ≤ y ≤ π
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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)
−π =
2πx

−π = x −π
3 Con esto, la funci´on original se redefine por:
f(y) =
(y + π)
2
2
−π(y + π) si −π ≤ y ≤ π
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
4 Observe la traslaci´ on producida
5 Note ahora que
f(π
±
) = l´ım
y→π
±
_
(y + π)
2
2
−π(y + π)
_
= 2π
2
−2π
2
= 0
6 Con base en la Definici´ 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
4 Observe la traslaci´ on producida
5 Note ahora que
f(π
±
) = l´ım
y→π
±
_
(y + π)
2
2
−π(y + π)
_
= 2π
2
−2π
2
= 0
6 Con base en la Definici´ 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 Teor´ıa de Fourier
Introducci´ on
Previos
Referencias
Sobre la convergencia Puntual
Ejemplo
Ejemplo
4 Observe la traslaci´ on producida
5 Note ahora que
f(π
±
) = l´ım
y→π
±
_
(y + π)
2
2
−π(y + π)
_
= 2π
2
−2π
2
= 0
6 Con base en la Definici´ 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 Teor´ıa 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´ afico de la extensi´ on peri´odica de f
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 Teor´ıa 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 Teor´ıa 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 final 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 Teor´ıa 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 Teor´ıa 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 Teor´ıa 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 ¿Qu´e sucede si se cambia x = 0?
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 funci´on 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 significativa en la teor´ıa de
n´ umeros, por su relaci´ on con la distribuci´ on de los n´ umeros primos.
Tambi´en tiene aplicaciones en otras ´areas tales como la f´ısica, la teor´ıa
de probabilidades y estad´ıstica aplicada.
Reiman Acu˜ na Chac´ on Introducci´ on a la Teor´ıa 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 Teor´ıa de Fourier

Introducci´n o Previos Referencias

Contenido

1

Introducci´n o Series de Fourier ¿C´mo surgen? o Idea Intuitiva

2

Previos Sobre la convergencia Puntual Ejemplo

3

Referencias

Reiman Acu˜ a Chac´n n o

Introducci´n a la Teor´ de Fourier o ıa

Introducci´n o Previos Referencias

Series de Fourier ¿C´mo surgen? o Idea Intuitiva

Noci´n sobre las series de Fourier o

Un resultado sorprendente debido a Fourier es el hecho que “cualquier” funci´n se puede “aproximar” mediante combinaciones lineales de o senos y cosenos. Las series, en s´ tienen gran aplicaci´n en ramas de la ingenier´ ı, o ıa, adem´s de ser una herramienta sumamente util en la teor´ a ´ ıa matem´tica abstracta. En el caso de las aplicaciones se citan su uso en a el an´lisis vibratorio, ac´stica, optica, procesamiento de im´genes y a u ´ a se˜ales, y compresi´n de datos. n o

Reiman Acu˜ a Chac´n n o

Introducci´n a la Teor´ de Fourier o ıa

Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . n o En la primera parte de esta secci´n vamos a trabajar primero con o funciones definidas en intervalos compactos.Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Noci´n sobre las series de Fourier o Un resultado sorprendente debido a Fourier es el hecho que “cualquier” funci´n se puede “aproximar” mediante combinaciones lineales de o senos y cosenos. procesamiento de im´genes y a u ´ a se˜ales. En el caso de las aplicaciones se citan su uso en a el an´lisis vibratorio. y compresi´n de datos. adem´s de ser una herramienta sumamente util en la teor´ a ´ ıa matem´tica abstracta. Un simple cambio de variable permite estudiar el caso general. ac´stica. en s´ tienen gran aplicaci´n en ramas de la ingenier´ ı. optica. y luego con funciones definidas sobre toda la recta real pero que son peri´dicas con per´ o ıodo 2π. o ıa. Las series.

y luego con funciones definidas sobre toda la recta real pero que son peri´dicas con per´ o ıodo 2π. procesamiento de im´genes y a u ´ a se˜ales. optica.Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Noci´n sobre las series de Fourier o Un resultado sorprendente debido a Fourier es el hecho que “cualquier” funci´n se puede “aproximar” mediante combinaciones lineales de o senos y cosenos. y compresi´n de datos. n o En la primera parte de esta secci´n vamos a trabajar primero con o funciones definidas en intervalos compactos. ac´stica. Las series. En el caso de las aplicaciones se citan su uso en a el an´lisis vibratorio. o ıa. Un simple cambio de variable permite estudiar el caso general. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . adem´s de ser una herramienta sumamente util en la teor´ a ´ ıa matem´tica abstracta. en s´ tienen gran aplicaci´n en ramas de la ingenier´ ı.

Estos trabajos e mejoraron el modelado matem´tico a de fen´menos f´ o ısicos y contribuyeron a los fundamentos de la termodin´mica a Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva ¿C´mo surgen? o Joseph Fourier (1768 .1830) Fue en Grenoble (Francia) donde condujo sus experimentos sobre la propagaci´n del calor que le permiten o modelar la evoluci´n de la o temperatura a trav´s de series e trigonom´tricas.

Suponga entonces que f (x) = a0 + an cos nx + bn sen nx 2 n=1 ∞ (1) Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Idea Intuitiva Series de Fourier Asumimos que se puede expresar una funci´n f como el l´ o ımite de combinaciones lineales de funciones seno y coseno.

supondremos las hip´tesis necesarias para o intercambias series e integrales. El resultado es π f (x) sen(mx) dx = −π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Con base en lo anterior. Considerando la ecuaci´n (1) multiplicamos esta por sen mx e o integramos desde −π a π.

supondremos las hip´tesis necesarias para o intercambias series e integrales.Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Con base en lo anterior. Considerando la ecuaci´n (1) multiplicamos esta por sen mx e o integramos desde −π a π. El resultado es π f (x) sen(mx) dx = −π a0 2 π ∞ π π sen mx dx+ −π n=1 an −π sen mx cos nx dx+bn −π sen mx sen nx dx = Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

supondremos las hip´tesis necesarias para o intercambias series e integrales. Considerando la ecuaci´n (1) multiplicamos esta por sen mx e o integramos desde −π a π.Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Con base en lo anterior. El resultado es π f (x) sen(mx) dx = −π a0 2 π ∞ π π sen mx dx+ −π n=1 an −π sen mx cos nx dx+bn −π sen mx sen nx dx = π bm −π sen2 mx dx = bm π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . supondremos las hip´tesis necesarias para o intercambias series e integrales. Considerando la ecuaci´n (1) multiplicamos esta por sen mx e o integramos desde −π a π. El resultado es π f (x) sen(mx) dx = −π a0 2 π ∞ π π sen mx dx+ −π n=1 an −π sen mx cos nx dx+bn −π sen mx sen nx dx = π bm −π sen2 mx dx = bm π puesto que ya se mostr´ la ortogonalidad de las funcions cos nx y o sen nx en el intervalo de [−π. π].Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Con base en lo anterior.

π].Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Con base en lo anterior. Considerando la ecuaci´n (1) multiplicamos esta por sen mx e o integramos desde −π a π. supondremos las hip´tesis necesarias para o intercambias series e integrales. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . El resultado es π f (x) sen(mx) dx = −π a0 2 π ∞ π π sen mx dx+ −π n=1 an −π sen mx cos nx dx+bn −π sen mx sen nx dx = π bm −π sen2 mx dx = bm π puesto que ya se mostr´ la ortogonalidad de las funcions cos nx y o sen nx en el intervalo de [−π.

Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva En forma similar π f (x) cos(mx) dx = −π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva En forma similar π f (x) cos(mx) dx = −π a0 2 π ∞ π π cos mx dx+ −π n=1 an −π cos mx cos nx dx+bn −π cos mx sen nx dx = Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva En forma similar π f (x) cos(mx) dx = −π a0 2 π ∞ π π cos mx dx+ −π n=1 an −π cos mx cos nx dx+bn −π cos mx sen nx dx = am π −π a0 π cos2 mx dx si m = 0 si m = 0 = am π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva En forma similar π f (x) cos(mx) dx = −π a0 2 π ∞ π π cos mx dx+ −π n=1 an −π cos mx cos nx dx+bn −π cos mx sen nx dx = am π −π a0 π cos2 mx dx si m = 0 si m = 0 = am π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

. π]. 3. .Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Definici´n 13. f (x) sen nx dx −π para n = 1. 3. 2.1 o A la serie SF (f )(x) := con coeficientes dados por an = y bn = 1 π 1 π π a0 + an cos nx + bn sen nx 2 n=1 ∞ f (x) cos nx dx −π π para n = 0. . 2. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . . 1. A o los coeficientes an y bn les llamamos coeficientes de Fourier. . . . . se le llama la serie de Fourier para la funci´n f en el intervalo [−π.

o Interrogantes Las preguntas naturales que surge son: 1 2 ¿En qu´ sentido es convergente la serie SF(f )(x)? e ¿Converge la serie SFf (x) precisamente a la funci´n f ? o Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Nota El coeficiente a0 /2 en la serie de Fourier corresponde al valor medio de la funci´n f en el intervalo [−π. π].

Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Nota El coeficiente a0 /2 en la serie de Fourier corresponde al valor medio de la funci´n f en el intervalo [−π. π]. o Interrogantes Las preguntas naturales que surge son: 1 2 ¿En qu´ sentido es convergente la serie SF(f )(x)? e ¿Converge la serie SFf (x) precisamente a la funci´n f ? o Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

π[. f (x) :=  b si x ∈]0. 0[. π.2 La onda cuadrada. Considere la funci´n peri´dica de periodo 2π definida mediante o o  si x = 0. ◦ ◦ b◦ ◦a • ◦ ◦ ◦ ◦ • −2π • −π • π • 2π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Ejemplo 13.  0 a si x ∈] − π.

Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . si n = 0. si n impar.Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Para esta funci´n tenemos que o a0 = an = y bn = a π 0 a π a π 0 dx + −π 0 −π b π π dx = a + b. 0 sen nx dx + −π b π π sen nx dx = − 0 a cos nx nπ 0 − −π b cos nx nπ π 0 a+b = (1 − (−1)n ) = nπ De este modo SFf (x) = 0 2(a+b) nπ si n par. 0 cos nx dx + b π π cos nx dx = 0. 2 (2n + 1)π n=1 ∞ (1) Note como SFf (0) = (a + b)/2 mientras que f (0) = 0. 2(a + b) a+b + sen(2n + 1)x.

Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Aproximaci´n a la Serie de Fourier para la funci´n Onda o o Cuadrada Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Aproximaci´n a la Serie de Fourier para la funci´n Onda o o Cuadrada Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Aproximaci´n a la Serie de Fourier para la funci´n Onda o o Cuadrada Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

es evidente que SFf (x) no converge necesariamente en forma puntual (y en consecuencia tampoco en forma uniforme) hacia f (x). como |SFf (x)| ≤ |a0 | + |an | + |bn |. Por otra parte.Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Del ejemplo anterior. 2 n=1 ∞ por el criterio M de Weierstrass. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . es suficiente que esta serie num´rica e sea convergente para obtener convergencia uniforme de SFf (x).

es suficiente que esta serie num´rica e sea convergente para obtener convergencia uniforme de SFf (x). como |SFf (x)| ≤ |a0 | + |an | + |bn |. Por otra parte.Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Del ejemplo anterior. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . Para poder encontrar la convergencia puntual de las series de Fourier necesitamos algunos resultados previos y notaciones. es evidente que SFf (x) no converge necesariamente en forma puntual (y en consecuencia tampoco en forma uniforme) hacia f (x). 2 n=1 ∞ por el criterio M de Weierstrass.

es suficiente que esta serie num´rica e sea convergente para obtener convergencia uniforme de SFf (x). como |SFf (x)| ≤ |a0 | + |an | + |bn |. 2 n=1 ∞ por el criterio M de Weierstrass.Introducci´n o Previos Referencias Series de Fourier ¿C´mo surgen? o Idea Intuitiva Idea Intuitiva Del ejemplo anterior. Para poder encontrar la convergencia puntual de las series de Fourier necesitamos algunos resultados previos y notaciones. es evidente que SFf (x) no converge necesariamente en forma puntual (y en consecuencia tampoco en forma uniforme) hacia f (x). Por otra parte. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o 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 π ∞ π f (ξ) cos n(ξ − x) dξ. n=1 −π 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.

3 Forma Integral de la serie de Fourier SFf (x) = 1 2π π f (ξ) dξ + −π 1 π ∞ π f (ξ) cos n(ξ − x) dξ. n=1 −π 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.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Lema 13. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Nota Es usual denotar f (b− ) := l´ f (x) ım x→b− y f (a+ ) := l´ f (x) ım x→a+ siempre que dichos l´ ımites existan. x−a x→b− x→a+ siempre que dichos l´ ımites existan. a f (b− ) := l´ ım f (b− ) − f (x) b−x y f (a+ ) := l´ ım f (x) − f (a+ ) . Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . Adem´s.

y (2) Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .4 Si la funci´n F posee a lo m´s una cantidad finita de discontinuidades en el o a intervalo [0. y 2 Prueba:Primero escribimos la integral en cuesti´n como la suma o b F (0+ ) 0 sen ny dy + y (1) b 0 F (y) − F (0+ ) sen ny dy.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Lema 13. b > 0 y si F (0+ ) y F (0+ ) existen entonces b n→∞ l´ ım F (y) 0 sen ny π dy = F (0+ ). b].

y (2) Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Lema 13. y 2 Prueba:Primero escribimos la integral en cuesti´n como la suma o b F (0+ ) 0 sen ny dy + y (1) b 0 F (y) − F (0+ ) sen ny dy.4 Si la funci´n F posee a lo m´s una cantidad finita de discontinuidades en el o a intervalo [0. b > 0 y si F (0+ ) y F (0+ ) existen entonces b n→∞ l´ ım F (y) 0 sen ny π dy = F (0+ ). b].

o a F (0+ ) = l´ ım el cual existe por hip´tesis.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Por el Ejemplo 10. z 2 En el caso de la expresi´n (2). tenemos que la expresi´n (1) se transforma en o b n→∞ l´ ım 0 sen ny dy = l´ ım n→∞ y nb 0 sen z π dz = . x x→0+ Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . o F (x) − F (0+ ) .58 y mediante el cambio de variable z = ny. Adem´s. observamos que o 1 Como F posee a lo m´s una cantidad finita de discontinuidades. lo a mismo es cierto para la funci´n (F (x) − F (0+ ))/x.

58 y mediante el cambio de variable z = ny. lo a mismo es cierto para la funci´n (F (x) − F (0+ ))/x.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Por el Ejemplo 10. observamos que o 1 Como F posee a lo m´s una cantidad finita de discontinuidades. se tiene b n→∞ l´ ım 0 F (y) − F (0+ ) sen ny dy = 0 y Ambos consideraciones concluyen el resultado. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . z 2 En el caso de la expresi´n (2). tenemos que la expresi´n (1) se transforma en o b n→∞ l´ ım 0 sen ny dy = l´ ım n→∞ y nb 0 sen z π dz = . x x→0+ 2 Aplicando el lema de Riemann-Lebesgue en cada intervalo en el que (F (x) − F (0+ ))/x es continua. o a F (0+ ) = l´ ım el cual existe por hip´tesis. Adem´s. o F (x) − F (0+ ) .

Adem´s. o a F (0+ ) = l´ ım el cual existe por hip´tesis. z 2 En el caso de la expresi´n (2). observamos que o 1 Como F posee a lo m´s una cantidad finita de discontinuidades. lo a mismo es cierto para la funci´n (F (x) − F (0+ ))/x.58 y mediante el cambio de variable z = ny. se tiene b n→∞ l´ ım 0 F (y) − F (0+ ) sen ny dy = 0 y Ambos consideraciones concluyen el resultado. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Por el Ejemplo 10. x x→0+ 2 Aplicando el lema de Riemann-Lebesgue en cada intervalo en el que (F (x) − F (0+ ))/x es continua. tenemos que la expresi´n (1) se transforma en o b n→∞ l´ ım 0 sen ny dy = l´ ım n→∞ y nb 0 sen z π dz = . o F (x) − F (0+ ) .

5 Si la funci´n F posee a lo m´s una cantidad finita de discontinuidades en el o a intervalo [a.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Lema 13. b] y para alg´n punto x ∈]a. ξ−x Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . b[ existen F (x− ) y F (x+ ) u entonces b sen n(ξ − x) F (x+ ) + F (x− ) l´ ım F (ξ) dξ = π . n→∞ a ξ−x 2 Prueba: Primero escribimos la integral en cuesti´n como la suma o x F (ξ) a sen n(x − ξ) dξ + x−ξ b F (ξ) x sen n(ξ − x) dξ.

y Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . n→∞ a ξ−x 2 Prueba: Primero escribimos la integral en cuesti´n como la suma o x F (ξ) a sen n(x − ξ) dξ + x−ξ b F (ξ) x sen n(ξ − x) dξ.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Lema 13.5 Si la funci´n F posee a lo m´s una cantidad finita de discontinuidades en el o a intervalo [a. b[ existen F (x− ) y F (x+ ) u entonces b sen n(ξ − x) F (x+ ) + F (x− ) l´ ım F (ξ) dξ = π . b] y para alg´n punto x ∈]a. ξ−x Haciendo los cambios de variable y = x − ξ y y = ξ − x respectivamente obtenemos x−a F (x − y) 0 sen ny dy + y b−x F (x + y) 0 sen ny dy.

5 Si la funci´n F posee a lo m´s una cantidad finita de discontinuidades en el o a intervalo [a.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Lema 13. ξ−x Haciendo los cambios de variable y = x − ξ y y = ξ − x respectivamente obtenemos x−a F (x − y) 0 sen ny dy + y b−x F (x + y) 0 sen ny dy. b[ existen F (x− ) y F (x+ ) u entonces b sen n(ξ − x) F (x+ ) + F (x− ) l´ ım F (ξ) dξ = π . n→∞ a ξ−x 2 Prueba: Primero escribimos la integral en cuesti´n como la suma o x F (ξ) a sen n(x − ξ) dξ + x−ξ b F (ξ) x sen n(ξ − x) dξ. y Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . b] y para alg´n punto x ∈]a.

b[ existen F (x− ) y F (x+ ) u entonces b sen n(ξ − x) F (x+ ) + F (x− ) l´ ım F (ξ) dξ = π .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Lema 13. ξ−x Haciendo los cambios de variable y = x − ξ y y = ξ − x respectivamente obtenemos x−a F (x − y) 0 sen ny dy + y b−x F (x + y) 0 sen ny dy. y Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .5 Si la funci´n F posee a lo m´s una cantidad finita de discontinuidades en el o a intervalo [a. b] y para alg´n punto x ∈]a. n→∞ a ξ−x 2 Prueba: Primero escribimos la integral en cuesti´n como la suma o x F (ξ) a sen n(x − ξ) dξ + x−ξ b F (ξ) x sen n(ξ − x) dξ.

al tomar n → ∞ en esta suma de integrales.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Ahora bien. G (0+ ) = −F (x− ) y H (0+ ) = F (0+ ) De este modo. si ponemos G(y) = F (x − y) y H(y) = F (x + y) tenemos que G(0+ ) = F (x− ) . por el lema anterior tenemos que el l´ ımite es π π (G(0+ ) + H(0+ )) = (F (x− ) + F (x+ )) 2 2 lo cual concluye el resultado. H(0+ ) = F (x+ ) . Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . al tomar n → ∞ en esta suma de integrales. G (0+ ) = −F (x− ) y H (0+ ) = F (0+ ) De este modo. H(0+ ) = F (x+ ) . por el lema anterior tenemos que el l´ ımite es π π (G(0+ ) + H(0+ )) = (F (x− ) + F (x+ )) 2 2 lo cual concluye el resultado. si ponemos G(y) = F (x − y) y H(y) = F (x + y) tenemos que G(0+ ) = F (x− ) .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Ahora bien.

Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . Entonces la serie de Fourier SF f (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. En particular.Introducci´n o 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´n peri´dica de periodo 2π que posee solo una cantidad o o finita de discontinuidades en el intervalo [−π. SFf (x) converge a f (x) en los puntos en los que f es continua y f (x− ) y f (x+ ) existen. π]. f (x− ) y f (x+ ) existen).

y la tercera igualdad sigue del hecho que el integrando es peri´dico o de periodo 2π.Introducci´n o 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´ dada por a SF n (x) = = 1 π 1 π π f (ξ) −π π 1 + cos m(ξ − x) 2 m=1 sen((n + 1/2)(ξ − x)) dξ 2 sen((ξ − x)/2) n dξ f (ξ) −π a+2π a a+2π 1 = π := 1 π f (ξ) (ξ − x)/2 sen((n + 1/2)(ξ − x)) dξ sen((ξ − x)/2) (ξ − x) sen((n + 1/2)(ξ − x)) dξ. Aqu´ elegimos a de modo tal que a < x < a + 2π. (ξ − x) F (ξ) a donde la segunda identidad trigonom´trica se deja como ejercicio para el e lector. ı Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

´ Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .5 a la funci´n o F (ξ) = f (ξ) (ξ − x)/2 . sen((ξ − x)/2) Primero observamos que F posee una cantidad finita de discontinuidades. dado que f posee una cantidad finita de discontinuidades en cualquier intervalo de longitud 2π. 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(ξ) = De hecho S (0± ) = l´ ım ξ→0± ξ/2 ξ/2 = . sen(ξ/2) ξ/2 − ξ 3 /48 + · · · S(ξ) − S(0± ) ξ/2 − sen(ξ/2) = l´ ım = 0. Segundo. ξ ξ sen(ξ/2) ξ→0± Por ultimo F (x± ) = f (x± ) lo cual concluye el resultado.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Queremos aplicar el lema 13.

Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . Si f y g comparten los mismos coeficientes de Fourier entonces f (x) = g(x) en los puntos x en los que ambas f y g son continuas y f (x− ).Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Corolario 13. π]. g (x− ) y g (x+ ) existen. f (x+ ).7 Sean f y g funciones peri´dicas de periodo 2π que poseen solo una cantidad o finita de discontinuidades en el intervalo [−π.

Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Corolario 13. Si f y g comparten los mismos coeficientes de Fourier entonces f (x) = g(x) en los puntos x en los que ambas f y g son continuas y f (x− ). g (x− ) y g (x+ ) existen. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . π]. f (x+ ).7 Sean f y g funciones peri´dicas de periodo 2π que poseen solo una cantidad o finita de discontinuidades en el intervalo [−π.

Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . ım x x x→0+ x→0± El teorema anterior no garantiza la convergencia de SFf (0).Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Ejemplo 13. pero f (0± ) = l´ ım f (x) − f (0± ) ±1 = l´ √ . 8: Cuidados La funci´n f (x) = |x| nos brinda un ejemplo de una funci´n continua o o para la cual ni f (0− ) ni f (0+ ) existen. De hecho f (0± ) = 0 por la continuidad de f .

pero f (0± ) = l´ ım f (x) − f (0± ) ±1 = l´ √ . Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . 8: Cuidados La funci´n f (x) = |x| nos brinda un ejemplo de una funci´n continua o o para la cual ni f (0− ) ni f (0+ ) existen. ım x x x→0+ x→0± El teorema anterior no garantiza la convergencia de SFf (0).Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Ejemplo 13. De hecho f (0± ) = 0 por la continuidad de f .

´ Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . si f no es continua a la izquierda de π entonces f (π − ) existe. Defina la funci´n o   f (x). si f no es continua en x ∈] − π. ii. f (x) := 2  f (π− )+f (−π+ )  2 .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Definici´n 13. x = ±π. ˜ ˜ Por ultimo. si f es continua en x ∈] − π. si f no es continua en x ∈] − π. si f no es continua a la derecha de −π entonces f (−π + ) existe y iii. π[ entonces ambos f (x− ) y f (x+ ) existen. extienda f a todo R mediante f (x + 2π) = f (x).  f (x− )+f (x+ ) ˜ . π[. 9: Sobre la conversi´n de funciones no peri´dicas o o o Sea f una funci´n tal que o i. π[.

π]. y en el intervalo o [−π. π] coincide con f excepto en un n´mero finito de puntos. ˜ converge puntualmente a f en todo R. es peri´dica de periodo 2π.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Definici´n 13. o o ˜ Por el Teorema 13. 9: Sobre la conversi´n de funciones no peri´dicas o o o ˜ De este modo f es una funci´n que posee solo un n´mero finito de o u discontinuidades en [−π. la cual coincide con SFf .6 la serie de Fourier SF f . A la funci´n u o ˜ f le llamamos la textbfextensi´n peri´dica de f . Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

o o ˜ Por el Teorema 13. π]. la cual coincide con SFf . es peri´dica de periodo 2π. A la funci´n u o ˜ f le llamamos la textbfextensi´n peri´dica de f . Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . 9: Sobre la conversi´n de funciones no peri´dicas o o o ˜ De este modo f es una funci´n que posee solo un n´mero finito de o u discontinuidades en [−π. ˜ converge puntualmente a f en todo R. π] coincide con f excepto en un n´mero finito de puntos. y en el intervalo o [−π.6 la serie de Fourier SF f .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Definici´n 13.

Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Resultados previos y notaciones Nota En caso de tener una funci´n definida en un intervalo [a. sin p´rdida de generalidad. que e a = −π y b = π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . b] no o necesariamente igual a [−π. mediante el cambio de variable y= 2π(x − a) −π b−a podemos asumir. b] → R posee tan solo un cantidad finita de discontinuidades y en cada punto x de discontinuidad se tiene que ambas f (x± ) existen entonces. π] podemos hacer lo siguiente: Si f : [a.

Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo Ejemplo Determine la serie de Fourier asociada a f (x) = x2 − πx 2 si 0 ≤ x ≤ 2π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

Introducci´n o Previos Referencias

Sobre la convergencia Puntual Ejemplo

Ejemplo

1 En el caso de esta funci´n, note que no posee discontinuidades y la o 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πx −π = −π =x−π (2π − 0) 2π

Reiman Acu˜ a Chac´n n o

Introducci´n a la Teor´ de Fourier o ıa

Introducci´n o Previos Referencias

Sobre la convergencia Puntual Ejemplo

Ejemplo

1 En el caso de esta funci´n, note que no posee discontinuidades y la o 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πx −π = −π =x−π (2π − 0) 2π

3 Con esto, la funci´n original se redefine por: o f (y) = (y + π)2 − π(y + π) 2 si − π ≤ y ≤ π

Reiman Acu˜ a Chac´n n o

Introducci´n a la Teor´ de Fourier o ıa

Introducci´n o Previos Referencias

Sobre la convergencia Puntual Ejemplo

Ejemplo

1 En el caso de esta funci´n, note que no posee discontinuidades y la o 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πx −π = −π =x−π (2π − 0) 2π

3 Con esto, la funci´n original se redefine por: o f (y) = (y + π)2 − π(y + π) 2 si − π ≤ y ≤ π

Reiman Acu˜ a Chac´n n o

Introducci´n a la Teor´ de Fourier o ıa

π[ si x = ±π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . se sigue que o ˜ f (x) := (x+π)2 2 − π(x + π) 0 si x ∈] − π.9.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo 4 Observe la traslaci´n producida o 5 Note ahora que f (π ± ) = l´ ım y→π ± (y + π)2 − π(y + π) 2 = 2π 2 − 2π 2 = 0 6 Con base en la Definici´n 13.

se sigue que o ˜ f (x) := (x+π)2 2 − π(x + π) 0 si x ∈] − π.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo 4 Observe la traslaci´n producida o 5 Note ahora que f (π ± ) = l´ ım y→π ± (y + π)2 − π(y + π) 2 = 2π 2 − 2π 2 = 0 6 Con base en la Definici´n 13. π[ si x = ±π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .9.

Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo 4 Observe la traslaci´n producida o 5 Note ahora que f (π ± ) = l´ ım y→π ± (y + π)2 − π(y + π) 2 = 2π 2 − 2π 2 = 0 6 Con base en la Definici´n 13. se sigue que o ˜ f (x) := (x+π)2 2 − π(x + π) 0 si x ∈] − π. π[ si x = ±π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .9.

se extiende f a todo R mediante ´ ˜ f (x + 2π) = f (x) 8 Este es el resultado gr´fico de la extensi´n peri´dica de f a o o Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo ˜ 7 Por ultimo.

Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo 9 De esta forma. calculamos ahora a0 = an = 1 π π 1 π π −π ˜ f (x) dx π −π (1) (2 y 3) 1 ˜ f (x) cos nx dx y bn = π −π ˜ f (x) sen nx dx 10 En (1) se tiene que a0 = 1 π π −π ˜ f (x) dx = = = = 1 π 1 π 1 π π −π (x + π)2 − π(x + π) 2 π −π dx (x + π)3 (x + π)2 −π 6 2 (2π) (2π) −π 6 2 3 2 −2π 2 3 Introducci´n a la Teor´ de Fourier o ıa Reiman Acu˜ a Chac´n n o .

Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo 11 Para (2) y utilizando integraci´n por partes dos veces se obtiene o an = 1 π 1 π π −π (x + π)2 − π(x + π) cos nx dx 2 π an = (x + π)2 sen nx − π(x + π) · 2 n an = an = −1 πn −1 πn −π · −1 πn −1 πn π − −π 1 n π x sen nx dx −π x sen nx dx −π π −x · cos nx n + −π 1 n π cos nx dx −π an = cos nπ cos nπ 1 −π· + n n n cos nπ 1 + n n sen nx n π −π an = −2π sen nπ sen nπ + n n Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

se puede mostar al final que a bn = 1 π 1 ˜ f (x) sen nx dx = π −π π π −π (x + π)2 − π(x + π) sen nx dx = 0 2 Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo 12 (Continuaci´n) o an = −1 πn an = −2π cos nπ 2 sen nπ + n n2 2 cos nπ 2 sen nπ − n2 πn3 13 En forma an´loga.

Introducci´n o 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π 2 sen nπ − n2 πn3 cos(nx) + 0 sen(nx) ˜ SF(f (x)) = ˜ SF(f (x)) = −π 2 +2 3 n=1 ∞ cos nπ sen nπ − cos(nx) n2 πn3 −π 2 1 sen nπ +2 cos(nx) cos nπ − 3 n2 πn n=1 sen nπ = (−1)n πn 14 Observe que la expresi´n o cos nπ − por lo cual ˜ SF(f (x)) = (−1)n cos(nx) −π 2 +2 3 n2 n=1 Introducci´n a la Teor´ de Fourier o ıa ∞ Reiman Acu˜ a Chac´n n o .

. . . .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo 15 De esta manera (x + π)2 (−1)n cos(nx) −π 2 . − π(x + π) = +2 2 3 n2 n=1 16 Considere luego el cambio de variable x = y − π. . 2. 2. . As´ ı (−1)n cos(n(y − π)) y2 −π 2 − πy = +2 2 3 n2 n=1 De donde (−1)n [cos(ny) cos(nπ) + sen(ny) sen(nπ)] −π 2 y2 − πy = +2 2 3 n2 n=1 17 Observe que cos nπ = (−1)n para n = 1. ∞ ∞ ∞ −π ≤ x ≤ π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa . y sen(nπ) = 0 para n = 1.

2 3 n2 n=1 20 ¿Qu´ sucede si se cambia x = 0? e ∞ ∞ ∞ 0 ≤ x ≤ 2π Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo 18 Con base en lo anterior (−1)n [cos(ny)(−1)n + sen(ny) · 0] y2 −π 2 − πy = +2 2 3 n2 n=1 cos(ny) y2 −π 2 − πy = +2 2 3 n2 n=1 19 Cambiando y por x se concluye que cos(nx) −π 2 x2 − πx = +2 .

por su relaci´n con la distribuci´n de los n´meros primos.Introducci´n o Previos Referencias Sobre la convergencia Puntual Ejemplo Ejemplo 21 Se obtiene la igualdad ∞ n=1 π2 1 = 2 n 6 Este resultado corresponde a al valor ζ(1) en la funci´n zeta de o Riemann.p ≥ 1 La funci´n zeta de Riemann nombrada en honor a Bernhard Riemann. en donde ∞ ζ(p) = n=1 1 np . la teor´ ıa de probabilidades y estad´ ıstica aplicada. o es una funci´n que tiene una importancia significativa en la teor´ de o ıa n´meros. u o o u Tambi´n tiene aplicaciones en otras ´reas tales como la f´ e a ısica. Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .

2011.Introducci´n o Previos Referencias Referencias W. Wikipedia contributors Serie de Fourier Wikipedia. Ugalde.J. The Free Encyclopedia. 2011..org/wiki/Serie de Fourier Reiman Acu˜ a Chac´n n o Introducci´n a la Teor´ de Fourier o ıa .wikipedia. MA0350 C´lculo en una variable II a Notas del Curso. http://es.