UnidadIIAMIIPAOI2022 EXPOSICION MEDIDA

Análisis matemático II
Análisis matemático II
Ebner Pineda.
Ebner Pineda MATG1071

Series de Fourier
Para la lectura de los temas relativos a series no se exige más

integral que la de Riemann, de modo que se pueden estudiar tras
haber seguido un curso de análisis de una variable, salvo en
algunas de las aplicaciones. Sirven además para fijar los
conceptos básicos del análisis, tan ligados al desarrollo histórico
de la teoría. Las series aparecen en senos y cosenos, a la manera
clásica, con sólo algunas indicaciones sobre su versión compleja.

Definición 1 (Series trigonométricas)
Llamaremos serie trigonométrica de período 2π, a toda serie de
funciones de la forma
∞
a0 X
+ (ak cos kx + bk sin kx ). (1)
2
k =1
Llamaremos polinomio trigonométrico de grado N y periodo 2π , a

toda función de la forma
N
a0 X
PN (x ) = + (ak cos kx + bk sin kx ). (2)
2
k =1

Si al menos uno de los coeficientes aN o bN es distinto de cero se
dice que el grado del polinomio es N. Obsérvese que las sumas
parciales de las series trigonométricas (1) son polinomios
trigonométricos.

Si al menos uno de los coeficientes aN o bN es distinto de cero se
dice que el grado del polinomio es N. Obsérvese que las sumas
parciales de las series trigonométricas (1) son polinomios
trigonométricos.
Usando la fórmula e it = cos t + i sin t , t ∈ R.

Tenemos que 2 cos t = e it + e −it , 2i sin t = e it − e −it y ya que
i 2 = −1,
cos t = 12 (e it + e −it ), sin t = 2i (e −it − e it ).

Así,
N
a0 X
PN (x ) = + (ak cos kx + bk sin kx )
2 k =1
N
a0 X 1 ikx i
= + ak (e + e −ikx ) + bk (e −ikx − e ikx )
2 k =1
2 2
N
a0 X 1 1
= + (ak − ibk )e ikx + (ak + ibk )e −ikx
2 k =1
2 2
N
a0 X 1
= + dk e ikx + d¯k e −ikx , haciendo dk = (ak − ibk )
2 k =1
2
N −1
a0 i0x X X
= e + dk e ikx + d¯−k e ikx
2 k =1 k =−N

Esto es, (2) toma la forma
N
X
PN (x ) = ck e ikx (3)
k =−N
(un polinomio en la variable e ix ) y (1) toma la forma

∞
X
ck e ikx (4)
k =−∞

Definición 2
Sea E un espacio con producto interno. Diremos que A ⊂ E es un
conjunto ortogonal en E, si ⟨x , y ⟩ = 0 para todo x , y ∈ A , x , y.

Definición 2
Sea E un espacio con producto interno. Diremos que A ⊂ E es un
conjunto ortogonal en E, si ⟨x , y ⟩ = 0 para todo x , y ∈ A , x , y.
Observación 1
Sean f , g funciones continuas en [a , b ] definimos
Z b
⟨f , g ⟩ = f (t )g (t )dt.
a
Entonces ⟨·, ·⟩ es un producto interno en C [a , b ].
Demostración: (ejercicio)

Lema 1
1 La familia {1, cos kx , sin mx : k , m ∈ N} es ortogonal en
C [−π, π].
2 La familia {e ikx : k ∈ Z} es ortogonal en C [−π, π].

Lema 1
1 La familia {1, cos kx , sin mx : k , m ∈ N} es ortogonal en
C [−π, π].
2 La familia {e ikx : k ∈ Z} es ortogonal en C [−π, π].
Definición 3 (Serie de Fourier)

Supongamos que la serie (1) converge uniformemente en [−π, π] a
una función f .
∞
a0 X
Escribamos f (x ) = + (ak cos kx + bk sin kx ).
2
k =1
Usando el lema 1 y la convergencia uniforme
Z π Z π ∞ Z π Z π
a0 X
f (x )dx = dx + (ak cos kxdx + bk sin kxdx ) = a0 π.
−π −π 2 k =1 −π −π

Análogamente, dado n ∈ N
Z π Z π
a0
f (x ) cos nxdx = cos nxdx +
−π −π 2
∞
X Z π Z π
(ak cos kx cos nxdx + bk sin kx cos nxdx )
k =1 −π −π
Z π
= an cos nx cos nxdx
Z−ππ
= an (cos nx )2 dx
−π
= an π,
y de igual forma
Z π
f (x ) sin nxdx = bn π
−π

Por lo que
1 π 1 π
Z Z
an = f (x ) cos nxdx , ∀n ≥ 0, bn = f (x ) sin nxdx , ∀n ∈ N. (5)
π −π π −π

Por lo que
1 π 1 π
Z Z
an = f (x ) cos nxdx , ∀n ≥ 0, bn = f (x ) sin nxdx , ∀n ∈ N. (5)
π −π π −π
Definición 4
Sea f una función periódica e integrable en [−π, π], a los números
an , bn dados por las ecuaciones (5) se les llama
coeficientes de Fourier de f y a la serie trigonométrica construída
con estos coeficientes se le llama serie de Fourier de f .

Los coeficientes dependen de la función y cuando intervienen
simultáneamente coeficientes de varias funciones, conviene hacer
explícita esta dependencia, en esos casos escribiremos ak (f )
bk (f ).
Observemos que si f es un polinomio trigonométrico, el
intercambio de sumas e integrales está perfectamente justificado
por la linealidad de la integral y deducimos que los coeficientes del
polinomio trigonométrico vienen dados por las fórmulas (5). Una
vez que asociamos a una función integrable su serie de Fourier,
escribimos
∞
a0 X
f∼ + (ak cos kx + bk sin kx ). (6)
2
k =1
lo cual no significa que la serie converja a la función, solo es

notación.

Dado N ∈ N, denotaremos por SN (f ) a la N-ésima suma parcial de
la serie de Fourier de f , esto es,
N
a0 X
SN f (x ) = + (ak cos kx + bk sin kx ).
2
k =1
El problema básico con el que nos vamos a enfrentar se puede
formular del modo siguiente:
Encontrar condiciones (suficientes) sobre la función que aseguren
la convergencia de la serie de Fourier y estudiar el valor al que
converge esta serie.

Teorema 1
Sean f , g funciones periódicas e integrables en [−π, π].
las sucesiones {ak : k ≥ 0} y {bk : k ≥ 1} son acotadas. Más
aún,
1 π
Z
|ak |, |bk | ≤ |f (x )|dx , ∀k .
π −π
ak (f + g ) = ak (f ) + ak (g ), bk (f + g ) = bk (f ) + bk (g ).
bk (f ′ )
Si f ′ existe y es continua entonces ak (f ) = − ,
k
ak (f ′ )
bk (f ) =
k

Teorema 1
Sean f , g funciones periódicas e integrables en [−π, π].
las sucesiones {ak : k ≥ 0} y {bk : k ≥ 1} son acotadas. Más
aún,
1 π
Z
|ak |, |bk | ≤ |f (x )|dx , ∀k .
π −π
ak (f + g ) = ak (f ) + ak (g ), bk (f + g ) = bk (f ) + bk (g ).
bk (f ′ )
Si f ′ existe y es continua entonces ak (f ) = − ,
k
ak (f ′ )
bk (f ) =
k
Desigualdad de Bessel.
Sea PN un polinomio trigonométrico de grado N, esto es
N
c0 X
PN (x ) = + (ck cos kx + dk sin kx ). (7)
2
k =1

Desigualdad de Bessel
Entonces
 N
  N

 c0 X   c0 X 
2
|PN (x )| =  +
 (ck cos kx + dk sin kx ) ·  +
  (cj cos jx + dj sin jx )
2 k =1
2 j =1
N
c02 X
= + c0 (ck cos kx + dk sin kx )
4 k =1
N X
X N
+ (ck cos kx + dk sin kx )(cj cos jx + dj sin jx )
k =1 j =1
N N X
N
c02 X X
= + c0 (ck cos kx + dk sin kx ) + (ck cj cos kx cos jx
4 k =1 k =1 j =1
+ck dj cos kx sin jx + dk cj sin kx cos jx + dk dj sin kx sin jx )

Integrando, usando linealidad y el lema 1 tenemos
Z π Z π c02 N
X Z π Z π
2
|PN (x )| dx = dx + c0 (ck cos kxdx + dk sin kxdx )
−π −π 4 k =1 −π −π
N X
X N Z π Z π
+ ( ck cj cos kx cos jxdx + ck dj cos kx sin jxdx
k =1 j =1 −π −π
Z π Z π
+dk cj sin kx cos jxdx + dk dj sin kx sin jxdx )
−π −π
Z π c02 N Z
X π Z π
= dx + ( ck2 2
cos kxdx + dk2 sin2 kxdx )
−π 4 k =1 −π −π
 N

 c 2 X 
= π  + 0
(ck + dk ) .
2 2
2 k =1

Esto es,
π
 N

Z  c 2 X 
0
|PN (x )| dx = π  +
2
(ck + dk ) .
2 2
(8)
−π 2
k =1
Esta fórmula es la identidad de Plancherel para polinomios

trigonométricos.

Teorema 2
Si f 2 es integrable en [−π, π] y ak , bk son los coeficientes de
Fourier de f .
Dado cualquier polinomio trigonométrico PN de la forma (7),
tenemos que
1 π 1 π
 N

Z Z  a 2 X 
2 2 0 2 2
|f (x ) − PN (x )| dx = |f (x )| dx −  + (ak + bk )
π −π π −π 2 k =1
N
(a0 − c0 )2 X
+ + (ak − ck )2 + (bk − dk )2
2 k =1
lo que implica que

Z π Z π
1 1
|f (x ) − SN f (x )|2 dx ≤ |f (x ) − PN (x )|2 dx (9)
π −π π −π

Demostración: |f (x ) − PN (x )|2 = |f (x )|2 − 2f (x ) · PN (x ) + |PN (x )|2 .
Ahora,
1 π
Z Z π
c0
f (x )PN (x )dx = f (x )dx
π −π 2π −π
N Z π Z π !
X ck dk
+ f (x ) cos kxdx + f (x ) sin kxdx
k =1
π −π π −π
N
c0 a0 X
= + (ck ak + dk bk )
2 k =1

Así, usando (8) y lo anterior
π π
Z Z  N

1 1  c0 a0 X 
|f (x ) − PN (x )|2 dx = |f (x )|2 dx − 2  + (ck ak + dk bk )
π −π π −π 2 k =1
N
c02 X
+ + (ck2 + dk2 )
2 k =1
π a02 N
(a0 − c0 )2 X 2
Z
1
= |f (x )|2 dx − + − (ak + bk2 )
π −π 2 2 k =1
N
X
+ ((ak − ck )2 + (bk − dk )2 )
k =1
π
 N

1
Z  a 2 X 
2 0 2 2
= |f (x )| dx −  +
 (ak + bk )
π −π 2 k =1
N
(a0 − c0 )2 X
+ + ((ak − ck )2 + (bk − dk )2 )
2 k =1

En particular,
π π
 N

1
Z
1
Z  a 2 X 
2 2 0 2 2
|f (x ) − SN f (x )| dx = |f (x )| dx −  + (ak + bk )
π −π π −π 2
k =1
(10)
Por lo que
Z π Z π
1 2 1
|f (x ) − SN f (x )| dx ≤ |f (x ) − PN (x )|2 dx
π −π π −π

Corolario 1
(Desigualdad de Bessel) Si f 2 es integrable en [−π, π] y ak , bk son
los coeficientes de Fourier de f .
 1 Z π
 N
 a 2 X
Entonces  0 + (ak2 + bk2 ) ≤ |f (x )|2 dx , ∀N ∈ N.
2
k =1
π −π
En consecuencia,
∞  1 Z π
 2 
 a0 X
 + 2 2 
(an + bn ) ≤ |f (x )|2 dx . (11)
2
n=1
π −π
Demostración: De (10),
π
 N

1
Z  a 2 X 
0
2
|f (x )| dx −  + (ak + bk ) ≥ 0, ∀N ∈ N.
2 2
π −π 2
k =1
□

Corolario 1
(Desigualdad de Bessel) Si f 2 es integrable en [−π, π] y ak , bk son
los coeficientes de Fourier de f .
 1 Z π
 N
 a 2 X
Entonces  0 + (ak2 + bk2 ) ≤ |f (x )|2 dx , ∀N ∈ N.
2
k =1
π −π
En consecuencia,
∞  1 Z π
 2 
 a0 X
 + 2 2 
(an + bn ) ≤ |f (x )|2 dx . (11)
2
n=1
π −π
Demostración: De (10),
π
 N

1
Z  a 2 X 
0
2
|f (x )| dx −  + (ak + bk ) ≥ 0, ∀N ∈ N.
2 2
π −π 2
k =1
□
Uno de los objetivos principales de esta unidad es probar que (11)
en realidad es una igualdad.
Convergencia puntual de la serie de Fourier
Escribiremos SN f para representar la N-ésima suma parcial de la

serie de Fourier de f , es decir,
N
a0 X
SN f (x ) = + (ak cos kx + bk sin kx ). (12)
2
k =1

Convergencia puntual de la serie de Fourier
Escribiremos SN f para representar la N-ésima suma parcial de la

serie de Fourier de f , es decir,
N
a0 X
SN f (x ) = + (ak cos kx + bk sin kx ). (12)
2
k =1
Nuestro objetivo es estudiar la convergencia puntual de esta

sucesión de funciones.
Usando la definición de los coeficientes de Fourier y la identidad
cos(A − B ) = cos A cos B + sin A sin B.

Z π
1
SN f (x ) = f (t )dt +
2π −π
1 π 1 π
X N Z Z
( f (t ) cos ktdt cos kx + f (t ) sin ntdt sin kx )
k =1
π −π π −π
Z π
1X π
N Z
1
= f (t )dt + f (t )(cos kt cos kx + sin kt sin kx )dt
2π −π π k =1 −π
Z π
1X π
N Z
1
= f (t )dt + f (t ) cos(kx − kt )dt
2π −π π k =1 −π
1 π 1 π
Z N Z
1 X
= f (t )[ + cos k (x − t )]dt = f (t )DN (x − t )dt
π −π 2 k =1 π −π
Donde
N
1 X
DN (t ) = + cos kt (13)
2 k =1
es el núcleo de Dirichlet.
Ahora, usando la identidad sin(A + B ) − sin(A − B ) = 2 cos A sin B
y multiplicando por sin t /2 en ambos lados de (13), obtenemos que
N
1 X
sin t /2 · DN (t ) = sin t /2 + cos kt sin t /2
2 k =1
 N

1 
sin t /2 +
X 
= sin( k + 1/2 )t − sin( k − 1/ 2)t 
2 
k =1

1
= (sin t /2 + sin(N + 1/2)t − sin t /2) suma telescopica
2
1
= sin(N + 1/2)t
2

Así,
sin(N + 1/2)t
DN (t ) = . (14)
2 sin t /2
Tenemos así, dos representaciones para el núcleo de Dirichlet, en
algunos casos usaremos una en otros casos la otra.

Lema 2
Propiedades del núcleo de Dirichlet.

1 DN es periódica de período 2π.
2 DN es par.
1 π
Z
3 DN (t )dt = 1
π −π
Haciendo el cambio u = x − t, y usando la periodicidad de f y DN

tenemos
1 π
Z
SN f (x ) = f (t )DN (x − t )dt
π −π
−1 x −π
Z
= f (x − u)DN (u)du
π x +π
1 x +π
Z
π x −π
1 π
Z
π −π
Esto es Z π
1
SN f (x ) = f (x − u)DN (u)du (15)
π −π
y ahora haciendo el cambio, t = −u y usando la paridad de DN
Z π
1
SN f (x ) = f (x − u)DN (u)du
π
Z−ππ
1
= f (x + t )DN (−t )dt
π
Z−ππ
1
= f (x + t )DN (t )dt
π −π
En resumen
Z π Z π
1 1
SN f (x ) = f (x − t )DN (t )dt = f (x + t )DN (t )dt (16)
π −π π −π

Lema de Riemann-Lebesgue
Lema 3
Si f es integrable en [−π, π] y λ es real (no necesariamente entero)

entonces
Z π Z π
lim f (t ) sin λtdt = lim f (t ) cos λtdt = 0 (17)
λ→∞ −π λ→∞ −π
En particular, los coeficientes de Fourier de f , ak , bk → 0, k → ∞.

Demostración:
Paso 1: Dados a , b ∈ R, con −π < a < b < π y λ > 0, hagamos
f = χ(a ,b ) . Entonces
π
Z Z b
f (t ) sin λtdt = sin λtdt

−π a
− cos λb cos λa

= +
λ λ

2
≤ → 0, λ → ∞
λ

Paso 2: Si f es una función escalonada entonces f tiene la forma
k
X
f= dj χCj , Cj intervalo.
j =1
Así,

Z π X k Z π
f (t ) sin λtdt = dj χCj sin λtdt

−π
j =1 −π
X k Z π
≤ |dj | χCj sin λtdt → 0, λ → ∞
j =1 −π
por paso 1.

Paso 3: Dado ϵ > 0, existe gϵ escalonada tal que
π
ϵ
Z
|f (t ) − gϵ (t )|dt < .
−π 2
Así,
Z π Z π Z π
f (t ) sin λtdt = (f (t ) − gϵ (t )) sin λtdt + gϵ (t ) sin λtdt

−π −π −π
Z π Z π
≤ |f (t ) − gϵ (t )|dt + gϵ (t ) sin λtdt

−π −π
ϵ ϵ
< + =ϵ
2 2
para λ suficientemente grande, por paso 2.

Paso 3: Dado ϵ > 0, existe gϵ escalonada tal que
π
ϵ
Z
|f (t ) − gϵ (t )|dt < .
−π 2
Así,
Z π Z π Z π
f (t ) sin λtdt = (f (t ) − gϵ (t )) sin λtdt + gϵ (t ) sin λtdt

−π −π −π
Z π Z π
≤ |f (t ) − gϵ (t )|dt + gϵ (t ) sin λtdt

−π −π
ϵ ϵ
< + =ϵ
2 2
para λ suficientemente grande, por paso 2.
Z π
Esto es, lim f (t ) sin λtdt = 0.
λ→∞ −π Z π
De forma análoga se prueba que lim f (t ) cos λtdt = 0. □
λ→∞ −π

Teorema 3 (Principio de localización de Riemann)
.
1 Sea f integrable y periódica de periodo 2π tal que f (x ) = 0
para x ∈ (x0 − δ, x0 + δ) y algún δ > 0 entonces,
lim SN f (x0 ) = 0.
N →∞
2 Si f y g son integrables y periódicas de periodo 2π y

f (x ) = g (x ) para x ∈ (x0 − δ, x0 + δ), entonces, o existen
lim SN f (x0 ), lim SN g (x0 ) y son iguales, o no existe ninguno
N →∞ N →∞
de los dos.

Demostración: (1)
1 π
Z Z
1 f (x0 − t )
SN f (x0 ) = f (x0 −t )DN (t )dt = sin(N +1/2)tdt (18)
π −π π δ<|t |≤π 2 sin t /2
Ahora, sin t /2 es continua y no se anula en A donde A = {t : δ ≤ |t | ≤ π},

por lo que existe C > 0 tal que | sin t /2| > C , ∀t ∈ A .
f (x0 − t )
Hagamos g (t ) = χA (t ).
2 sin t /2
Entonces g es integrable, por el lema 3
Z π
lim g (t ) sin(N + 1/2)tdt = 0
N →∞ −π
Z
f (x0 − t )
⇒ lim sin(N + 1/2)tdt = 0
N →∞ δ≤|t |≤π 2 sin t /2
Esto es, lim SN f (x0 ) = 0.
N →∞

(2)
Sea h = f − g entonces h es integrable y periódica de periodo 2π,
h (x ) = 0 para todo x ∈ (x0 − δ, x0 + δ), por (i)
lim SN h (x0 ) = 0.
N →∞
Ahora , SN h (x0 ) = SN f (x0 ) − SN g (x0 ).
De lo que concluímos que si uno de los límites, lim SN f (x0 ) o
N →∞
lim SN g (x0 ) existe, el otro también existe y son iguales. □
N →∞

(2)
Sea h = f − g entonces h es integrable y periódica de periodo 2π,
h (x ) = 0 para todo x ∈ (x0 − δ, x0 + δ), por (i)
lim SN h (x0 ) = 0.
N →∞
Ahora , SN h (x0 ) = SN f (x0 ) − SN g (x0 ).
De lo que concluímos que si uno de los límites, lim SN f (x0 ) o
N →∞
lim SN g (x0 ) existe, el otro también existe y son iguales. □
N →∞
El lema de Riemann-Lebesgue permite dar fácilmente algunos

resultados de convergencia.

Teorema 4
Sea f una función integrable en (−π, π) que tiene derivada en el

punto x0 . Entonces, la serie de Fourier de f converge a f (x0 ) en x0 .

Teorema 4
Sea f una función integrable en (−π, π) que tiene derivada en el

punto x0 . Entonces, la serie de Fourier de f converge a f (x0 ) en x0 .
Demostración: Usando (16), (14) y el lema 2

Z π Z π
1 1
S N f ( x0 ) − f ( x0 ) = f (x0 + t )DN (t )dt − f (x0 )DN (t )dt
π π −π
Z−ππ
1 sin(N + 1/2)t
= (f (x0 + t ) − f (x0 )) dt
π −π 2 sin t /2
Z π
1 f (x0 + t ) − f (x0 ) t
= sin(N + 1/2)tdt
π −π t 2 sin t /2
f (x0 + t ) − f (x0 )
Ahora, lim = f ′ (x0 ) ∈ R, por lo que existe
t →0 t
f (x0 + t ) − f (x0 )
0 < δ < π tal que es acotada en (−δ, δ) y
t
f (x0 + t ) − f (x0 ) |f (x0 + t ) − f (x0 )|
≤ para δ ≤ |t | ≤ π,
t δ

la cual es integrable.
f (x0 + t ) − f (x0 )
Esto es, es integrable en (−π, π).
t
t
Por otro lado, la función es continua en [−π, π] − {0} y
2 sin t /2
t
lim = 1.
t →0 2 sin t /2
t
Así, tiene una extensión continua a todo [−π, π], por lo
2 sin t /2
t
que, es acotada en (−π, π).
2 sin t /2
f (x0 + t ) − f (x0 ) t
Concluímos que la función g (t ) = es
t 2 sin t /2
integrable.
Por el lema 3
Z π
1
lim SN f (x0 ) − f (x0 ) = lim g (t ) sin(N + 1/2)tdt = 0 (19)
N →∞ π N →∞ −π
Es decir, lim SN f (x0 ) = f (x0 ). □

N →∞

Ejemplo 1
Sea f (x ) = x en (−π, π) ya que f es diferenciable en (−π, π)
entonces la SN f (x ) converge a f (x ), ∀x ∈ (−π, π) por teorema 4.

Ejemplo 1
Sea f (x ) = x en (−π, π) ya que f es diferenciable en (−π, π)
entonces la SN f (x ) converge a f (x ), ∀x ∈ (−π, π) por teorema 4.
Tomemos k > 0, integrando por partes

Z π Z π
1 1
ak = f (t ) cos ktdt = t cos ktdt
π −π π −π
π 1 π
Z !
1 1
= t sin kt − sin ktdt )
π k −π k −π
π !
1 1
= π sin k π + π sin(−k π) + cos kt
kπ k −π
!
1 1
= (cos k π − cos(−k π))
kπ k
1
= (cos k π − cos(k π)) = 0
k 2π

Ahora,
π
π
1 t 2
Z
1 1 2
a0 = tdt = = (π − (−π)2 ) = 0
π −π π 2 −π 2π
Por otro lado, de nuevo integrando por partes

π π 1 π
Z Z !
1 1 t
bk = t sin ktdt = − cos kt + cos ktdt
π −π π k −π k −π
π !
1 1
= − π cos k π + π cos(−k π) + sin kt
kπ k −π
1
= − 2π cos k π
kπ
2
= − cos k π
k

2
Esto es, ak = 0, ∀k ≥ 0 y bk = − cos k π, ∀k ≥ 1.
k
Así,
∞ ∞
X X 2
x= bk sin kx = − cos k π sin kx
k =1 k =1
k
2 2
= −2(−1) sin x − · 1 sin 2x − (−1) sin 3x
2 3
2
− · 1 sin 4x − · · ·
4 !
sin 2x sin 3x sin 4x
= 2 sin x − + − + ···
2 3 4
□

La existencia de derivada en x0 exige la continuidad en ese punto.
Con una pequeña variante se puede cubrir el caso en que la
función tiene una discontinuidad de salto en x0 . Para ello y
suponiendo que existen los límites laterales f (x0+ ) y f (x0− ) en x0 ,
definimos las derivadas laterales en x0 como
f (x0 + t ) − f (x0+ )
f ′
(x0+ ) = lim+
t →0 t
y
f (x0 + t ) − f (x0− ) f (x0− ) − f (x0 − t )

f ′ (x0− ) = lim− = lim+ ,
t →0 t t →0 t
cuando estos límites existen.

Ahora, haciendo el cambio u = −t en (15)
Z π
1
SN f (x ) = f (x − t )DN (t )dt
π −π
Z 0 Z π !
1
= f (x − t )DN (t )dt + f (x − t )DN (t )dt
π −π 0
Z π Z π !
1
= f (x + u)DN (u)du + f (x − t )DN (t )dt
π 0 0
Z π
1
= (f (x + t ) + f (x − t ))DN (t )dt
π 0
Esto es,
Z π
1
SN f (x ) = (f (x + t ) + f (x − t ))DN (t )dt (20)
π 0

Teorema 5
Sea f una función integrable en (−π, π) que tiene derivadas
laterales en el punto x0 en el sentido mencionado. Entonces, la
serie de Fourier de f converge en x0 a (f (x0+ ) + f (x0− ))/2.
Z π
1 1
Demostración: Del lema 2 tenemos que, . DN (t )dt =
π 0 2
Así, para probar este teorema basta utilizar (20) para escribir
SN f (x0 ) − (f (x0+ ) + f (x0− )/2
Z π sin(N + 1/2)t
1
= f (x0 + t ) − f (x0+ ) + f (x0 − t ) − f (x0− ) dt
π 0 2 sin t /2

1
Z π f (x0 + t ) − f (x0+ ) + f (x0 − t ) − f (x0− ) t
= sin(N + 1/2)tdt
π 0 t 2 sin t /2
y proceder completamente análogo a la prueba del teorema
anterior.(completar!)

Teorema 5
Sea f una función integrable en (−π, π) que tiene derivadas
laterales en el punto x0 en el sentido mencionado. Entonces, la
serie de Fourier de f converge en x0 a (f (x0+ ) + f (x0− ))/2.
Z π
1 1
Demostración: Del lema 2 tenemos que, . DN (t )dt =
π 0 2
Así, para probar este teorema basta utilizar (20) para escribir
SN f (x0 ) − (f (x0+ ) + f (x0− )/2
Z π sin(N + 1/2)t
1
= f (x0 + t ) − f (x0+ ) + f (x0 − t ) − f (x0− ) dt
π 0 2 sin t /2

1
Z π f (x0 + t ) − f (x0+ ) + f (x0 − t ) − f (x0− ) t
= sin(N + 1/2)tdt
π 0 t 2 sin t /2
y proceder completamente análogo a la prueba del teorema
anterior.(completar!)
Muchas de las funciones que manejamos cumplen las hipótesis de este

teorema.
Ejemplo 2
Pruebe que
!
4 sin 3x sin 5x
1 sgn x = sin x + + + ···
π 3 5
π2
!
2 cos 2x cos 3x
2 x = − 4 cos x − + − ···
3 22 32
π 4
!
cos 3x cos 5x
3 |x | = − cos x + + + ···
2 π 32 52

Convergencia uniforme de la serie de Fourier
∞
X
De (6) es claro que si |an | + |bn | converge entonces la serie de
n =1
Fourier converge uniformemente en [−π, π] por el test-M de
Weierstrass y además la función límite es continua en [−π, π].

∞
X
n =1
Teorema 6
Sea f una función continua en [−π, π] cuya derivada existe excepto
en un número finito de puntos y es continua a trozos y acotada.
Entonces, la serie de Fourier de f converge uniformemente a f en
[−π, π].

∞
X
n =1
Teorema 6
Sea f una función continua en [−π, π] cuya derivada existe excepto
en un número finito de puntos y es continua a trozos y acotada.
Entonces, la serie de Fourier de f converge uniformemente a f en
[−π, π].
Demostración: Ya que f ′ es acotada entonces (f ′ )2 es integrable

en [−π, π] .
bk (f ′ ) ak (f ′ )
Sabemos que, ak (f ) = − y bk (f ) = , ∀k ≥ 1.
k k

2 2
Ahora, de lo anterior y del hecho que 2xy ! ≤ x + y , tenemos ! que
1 1 1 1 1
|ak (f )| = | kak (f )| ≤ + (kak (f ))2 = + bk2 (f ′ ) y
k 2 k 2! 2 !k 2
1 1 1 1
|bk (f )| ≤ 2
+ (kbk (f ))2 = + ak2 (f ′ ) y por la
2 k 2 k2
desigualdad de Bessel,
1 π ′ 2
∞
a02 (f ′ ) X
Z
+ 2 ′ 2 ′
ak (f ) + bk (f ) ≤ |f (t )| dt < ∞
2
n=1
π −π
∞ ∞ ∞
X X 1
1X 2 ′
Así, |ak (f )| + |bk (f )| ≤2
ak (f ) + bk2 (f ′ ) < ∞
+
k 2
k =1 k =1 k =1
Por lo que, la serie de Fourier de f converge uniformemente en
[−π, π], por el test-M de Weierstrass.
∞
a0 X
Finalmente, hagamos g (x ) = + (ak cos kx + bk sin kx )
2
k =1
entonces g es continua.

Por otro lado, como f es continua, f es integrable en [−π, π],
además f ′ (x ) existe excepto para una cantidad finita de puntos,
∞
a0 X
por teorema 4 , f (x ) = + (ak cos kx + bk sin kx ) excepto
2
k =1
para una cantidad finita de puntos.
Esto es, f y g son continuas y son iguales excepto en una cantidad
finita de puntos, por lo que f = g. □

Cesáro sumabilidad
Definición 5
Sea (xn ) una sucesión en un espacio normado E, diremos que
(xn ) es Cesáro sumable (convergente) en E si la sucesión (σn )
n
1X
dada por σn = xk converge en E.
n
k =1

Cesáro sumabilidad
Definición 5
n
1X
n
k =1
Teorema 7
Sea (xn ) una sucesión en un espacio normado E. Si xn → a ∈ E
entonces σn → a ∈ E.

Cesáro sumabilidad
Definición 5
n
1X
n
k =1
Teorema 7
Sea (xn ) una sucesión en un espacio normado E. Si xn → a ∈ E
entonces σn → a ∈ E.
Demostración: Como (xn ) es convergente en E entonces (xn ) es

acotada en E.
Sea M > 0 tal que ∥xk ∥ ≤ M , ∀k ∈ N.

ϵ
Dado ϵ > 0, ∃N0 = N0 (ϵ) ∈ N : k ≥ N0 ⇒ ∥xk − a ∥ < (21)
2
ϵ

1 1
y como → 0, ∃N1 = N1 (ϵ) ∈ N : n ≥ N1 ⇒ <
n n 2(M + ∥a ∥)
(22)
Tomemos N = N0 · N1 , entonces N = N (ϵ) ∈ N y N ≥ N0 , N ≥ N1 .

Así,

1 X n n
1 X
n ≥ N ⇒ n ≥ N0 · N1 ⇒ ∥σn − a ∥ = xk − a
n k =1 n k =1

1 X n 1X n
= (xk − a ) ≤ ∥xk − a ∥
n k =1 n k =1
N0 n
1X 1 X
= ∥xk − a ∥ + ∥xk − a ∥
n k =1 n k =N0 +1
(M + ∥a ∥) 1ϵ
≤ N0 + (n − N0 ), por (21)
n n2
(M + ∥a ∥) ϵ
≤ N0 +
n 2
(M + ∥a ∥) ϵ
≤ +
N1 2
ϵ ϵ
< + = ϵ, por (22)
2 2
esto es, σn → a ∈ E. □

El recíproco del teorema anterior no es cierto.
Ejemplo 3
Sea xn = (−1)n , sabemos que (xn ) no converge.
Xn
Ahora, xk = 0 o 1 dependiendo si n es par o impar.

k =1

n
1 X 1
k
Por lo que, |σn | = (−1) ≤ .
n
k =1
n
Así, σn → 0.

El recíproco del teorema anterior no es cierto.
Ejemplo 3
Sea xn = (−1)n , sabemos que (xn ) no converge.
Xn
Ahora, xk = 0 o 1 dependiendo si n es par o impar.

k =1

n
1 X 1
k
Por lo que, |σn | = (−1) ≤ .
n
k =1
n
Así, σn → 0.
Ejemplo 4
Estudiar la sumabilidad Cesáro de la sucesión xn = cos nπ.
(Ejercicio)

Sumabilidad Cesáro de la serie de Fourier
Sea f integrable en [−π, π]. Denotaremos

N
1 X
σ N f (x ) = Sk f (x ), la suma Césaro de la sucesión
N+1
k =0
(Sn f (x )) (sumas parciales de la serie de Fourier de f ). Este
también es un polinomio trigonométrico de grado N. Entonces
1 π
N N Z !
1 X 1 X
σ N f (x ) = Sk f (x ) = f (x − t )Dk (t )dt
N+1
k =0
N+1
k =0
π −π
1 1 π
Z  N 
 X 
= f (x − t )  Dk (t ) dt
N + 1 π −π
k =0
Z π  N

1  1 X 
= f (x − t )  Dk (t ) dt
π −π N+1
k =0

Por lo que, Z π
1
σN f (x ) = f (x − t )FN (t )dt (23)
π −π
N
1 X
donde, FN (t ) = Dk (t ) es la suma Cesáro de (DN ) y lo
N+1
k =0
llamaremos núcleo de Fejér .
Ahora,
N N
X X sin(k + 1/2)t
Dk (t ) = (24)
2 sin t /2
k =0 k =0

Multiplicando ambos lados por 2 sin t /2 y usando la identidad
2 sin A sin B = cos(A − B ) − cos(A + B ) tenemos
N N
X X sin(k + 1/2)t
2 sin t /2 Dk (t ) = 2 sin t /2
2 sin t /2
k =0 k =0
N
X (cos kt − cos(k + 1)t )
=
2 sin t /2
k =0
1
= (1 − cos(N + 1)t ) suma telescopica
2 sin t /2
sin2 (N + 1)t /2
=
sin t /2
sin(N + 1)t /2 2
!
1
Así, FN (t ) = .
2(N + 1) sin t /2

Lema 4 (Propiedades del núcleo de Fejér)
1 FN es periódica de período 2π y no negativa.
2 FN es par.
1 π
Z
3 FN (t )dt = 1, ∀N ∈ N.
π −π
4 Dado δ > 0, FN (t ) converge a 0 uniformemente en δ ≤ |t | ≤ π
Demostración: (Ejercicio).

Lema 4 (Propiedades del núcleo de Fejér)
1 FN es periódica de período 2π y no negativa.
2 FN es par.
1 π
Z
3 FN (t )dt = 1, ∀N ∈ N.
π −π
4 Dado δ > 0, FN (t ) converge a 0 uniformemente en δ ≤ |t | ≤ π
Usando (23) y el lema 4

1 π 1 π
Z Z
σN f (x ) = f (x − t )FN (t )dt = (f (x + t ) + f (x − t ))FN (t )dt (25)
π −π π 0

Teorema 8
Si f es integrable en [−π, π] y existen los limites laterales en x
1
entonces lim σN f (x ) = (f (x + ) + f (x − )).
N →∞ 2
En particular, si f es continua en x, σN f (x ) → f (x ).
Demostración:

Lema 5
|p es integrable en [−π, π] con 1 ≤ p < ∞ entonces

Si |fZ
π
lim |f (x − t ) − f (x )|p dx = 0
t →0 −π
Demostración:
Caso 1: Supongamos que f es continua en [−π, π].
Entonces f es uniformemente continua en [−π, π].
ϵ
Dado ϵ > 0, ∃δ = δ(ϵ) > 0, |x − y | < δ ⇒ |f (x ) − f (y )| < ( )1/p
2π
Así,
ϵ 1/p
|t | < δ ⇒ |(x − t ) − x | < δ ⇒ |f (x − t ) − f (x )| < ( ) , ∀x ∈ [−π, π]
2π

Por lo que,
π π
ϵ
Z Z
|t | < δ ⇒ p
|f (x − t ) − f (x )| dx ≤ ( )dx = ϵ
−π −π 2π
Z π
Esto es, lim |f (x − t ) − f (x )|p dx = 0.
t →0 −π

Por lo que,
π π
ϵ
Z Z
|t | < δ ⇒ p
|f (x − t ) − f (x )| dx ≤ ( )dx = ϵ
−π −π 2π
Z π
Esto es, lim |f (x − t ) − f (x )|p dx = 0.
t →0 −π
CasoZ2: En general, dado ϵ > 0, existe g continua en [−π, π] tal

π ϵ p
que |f (x ) − g (x )|p dx <
.
−π 3
Podemos extenderZf y g a todo R, haciendolas 0 fuera de [−π, π].
π
Por el caso 1, lim |g (x − t ) − g (x )|p dx = 0, así, existe δ = δ(ϵ),
t →0 −π
con 0 < δZ< π tal que
π ϵ p
|t | < δ ⇒ |g (x − t ) − g (x )| dx < p
.
−π 3

Así,
Z π !1/p
|t | < δ ⇒ |f (x − t ) − f (x )|p dx
−π
Z π !1/p
p
= |f (x − t ) − g (x − t ) + g (x − t ) − g (x ) + g (x ) − f (x )| dx
−π
Z π !1/p Z π !1/p
≤ |f (x − t ) − g (x − t )|p dx + |g (x − t ) − g (x )|p dx
−π −π
Z π !1/p
+ |g (x ) − f (x ))|p dx
−π
ϵ ϵ ϵ
< + + =ϵ
3 3 3
Z π !1/p
Esto es, lim p
|f (x − t ) − f (x )| dx = 0.
t →0 −π Z π
y en consecuencia lim |f (x − t ) − f (x )|p dx = 0. □
t →0 −π

Teorema 9
Sea f una función definidaZen [−π, π] tal que |f |p es integrable para
π
1 ≤ p < ∞ entonces lim |σN f (x ) − f (x )|p dx = 0.
N →∞ −π
Demostración: Supongamos f , 0, por el lema 5

π
ϵ
Z
Dado ϵ > 0, δ = δ(ϵ) > 0 : |t | < δ ⇒ |f (x − t ) − f (x )|p dx <
−π 2
ϵ
y por el lema 4, existe N = N (δ) ∈ N : n ≥ N ⇒ |Fn (t )| < p,
2p 8π∥f ∥p
para δ ≤ |t | ≤ π.

Así, usando la desigualdad de Jensen y el teorema de Fubini.
Si n ≥ N, entonces
Z π Z π Z π p
|σn f (x ) − f (x )|p dx = 1 (f ( x − t ) − f ( x )) F (t )dt
dx
n
−π π −π

−π
Z π Z π
1
≤ |f (x − t ) − f (x )|p Fn (t )dtdx
−π π −π
Z δ Z π
1
= |f (x − t ) − f (x )|p dxFn (t )dt
−δ π −π
1 π
Z Z
+ |f (x − t ) − f (x )|p dxFn (t )dt
δ≤|t |≤π π −π
Z δ Z π
1
≤ |f (x − t ) − f (x )|p dxFn (t )dt
−δ π −π
1 π
Z Z
+2p (|f (x − t )|p + |f (x )|p )dxFn (t )dt
δ≤|t |≤π π −π
Z δ Z π
1
= |f (x − t ) − f (x )|p dxFn (t )dt
−δ π −π
Z
1
+2p 2∥f ∥pp Fn (t )dt
π δ≤|t |≤π

π δ
ϵ1 ϵ
Z Z
1 p
⇒ p
|σn f (x ) − f (x )| dx < Fn (t )dt + 2p 2∥f ∥p 2π
−π 2π −δ π p
2p 8π∥f ∥p
Z π
ϵ1 ϵ 4π
< Fn (t )dt + =ϵ
2π −π 8π
Z π
Esto es, lim |σn f (x ) − f (x )|p dx = 0. □
n→∞ −π

π δ
ϵ1 ϵ
Z Z
1 p
⇒ |σn f (x ) − f (x )| dx p
< Fn (t )dt + 2p 2∥f ∥p 2π
−π 2π −δ π p
2p 8π∥f ∥p
Z π
ϵ1 ϵ 4π
< Fn (t )dt + =ϵ
2π −π 8π
Z π
Esto es, lim |σn f (x ) − f (x )|p dx = 0. □
n→∞ −π
En particular, para p = 2, ya que σn f es un polinomio trigonométrico
Z π Z π
1 1
|σn f (x ) − f (x )|2 dx → 0, n → ∞
|Sn f (x ) − f (x )|2 dx ≤
π −π π −π
Esto implica que
1 π 1 π
n
 2 
Z  a0 X Z
|Sn f (x )−f (x )|2 dx = 0.
2 2 2 

lim |f (x )| dx − + (ak + bk ) = lim
n→∞ π −π n→∞ π −π

2 k =1
Obtenemos así la Identidad de Parseval

π ∞
 2 
1
Z  a0 X
(an + bn ) .
2 2 2

|f (x )| dx =  + (26)
π −π 2 n =1

Ejemplo 5
∞
X 1 π2
Pruebe que =
n =1
n2 6
Demostración: Hagamos f (x ) = x entonces |f |2 es integrable en

[−π, π].
1 π
Z
Ahora ak = t cos ktdt = 0, ∀k ≥ 0 ya que el integrando es
π −π
impar.
Dado k ∈ N,
π
t cos kt π 1 π
Z Z !
1 1
bk = t cos ktdt = − + cos ktdt
π −π π k −π k −π
π !
1 1
= −π cos k π − π cos(−k π) + sin kt
kπ k −π
1 2
= (−2π cos k π) = − cos k π
kπ k

Por otro lado, π
π
t 3
Z
2
t dt = = π3
2
−π 3 −π 3
Por Parseval,
π ∞
 2 
1
Z  a0 X
(an + bn ) .
2 2 2 

|f (x )| dx =  + (27)
π

−π 2
n=1
Esto es,
∞ ∞
12 3 X 2 X 4
π = bn =
π3 n =1 n=1
n2
Así,
∞
2 2 X 1
π =
12
n =1
n2
Esto implica que,
∞
X 1 π2
=
n=1
n2 6

Ejemplo 6
Pruebe que
∞
X 1 π4
=
n=1
n4 90

Transformada de Fourier
Definición 6
Sea f : R → C una función integrable sobre R.
La Transformada de Fourier de f es la función f̂ dada por
Z
f̂ (ξ) = f (x )e −2πix ξ dx , ∀ξ ∈ R.
R
Z Z
−2πix ξ
|f̂ (ξ)| ≤ |f (x )e |dx = |f (x )|dx < ∞, ∀ξ ∈ R.
R R
Esto es, f̂ : R → C está bien definida.

Teorema 10 (Propiedades algebraicas)
1 (αf + βg )∧ = αf̂ + βĝ.
2 (f )∧ (ξ) = f̂ (−ξ).
3 Si τh f (x ) = f (x + h ) entonces (τh f )∧ (ξ) = f̂ (ξ)e 2πih ξ .
4 Si g (x ) = f (x )e 2πihx entonces ĝ (ξ) = (τ−h f̂ )(ξ).
5 Si g (x ) = λ−1 f (λ−1 x ) y λ > 0 entonces ĝ (ξ) = f̂ (λξ).
Demostración: (Ejercicio)

Ejemplo 7
Sea f = χ[−1/2,1/2] entonces
Z Z 1/2
f̂ (0) = f (x )dx = dx = 1.
R −1 / 2
Fijemos ξ , 0, usando propiedades del seno y coseno
Z Z 1/2
f̂ (ξ) = f (x )e −2πix ξ dx = e −2πix ξ dx
R −1/2
Z 1/2
= cos(−2πx ξ) + i sin(−2πx ξ)dx
−1/2
Z 1/2
= cos(2πx ξ) − i sin(2πx ξ)dx
−1/2
sin 2πx ξ 1/2 cos 2πx ξ 1/2

= +i
2πξ −1/2 2πξ −1/2

1 1
= (sin πξ − sin(−πξ)) + i (cos πξ − cos(−πξ))
2πξ 2πξ
2 sin πξ sin πξ
= =
2πξ πξ
sin πξ
Por lo que, f̂ (ξ) = , ∀ξ ∈ R, entendiéndose que
πξ
sin πξ
f̂ (0) = lim = 1. □
ξ→0 πξ

sin πξ
Por lo que, f̂ (ξ) = , ∀ξ ∈ R, entendiéndose que
πξ
sin πξ
f̂ (0) = lim = 1. □
ξ→0 πξ
Ejemplo 8
Sea f (x ) = e −2π|x | , usando propiedades del seno y coseno,
Z
f̂ (ξ) = e −2π|x | e −2πix ξ dx
ZR Z
−2π|x |
= e cos 2πx ξdx + i e −2π|x | sin 2πx ξ dx
R R
Z +∞
= 2 e −2πx cos 2πx ξ dx
0

Ahora,
Z +∞ +∞
1 −2πx
e −2πx cos 2πx ξ dx = − e cos 2πx ξ
0 2π 0
2πξ +∞
Z
− e −2πx sin 2πx ξ dx
2π 0
Z +∞
1
= −ξ e −2πx sin 2πx ξ dx
2π 0
1 1 −2πx +∞
= −ξ − e sin 2πx ξ
2π 2π 0
Z +∞ !
+ξ e −2πx cos 2πx ξ dx
0
Z +∞
1
= − ξ2 e −2πx cos 2πx ξ dx
2π 0

Así, despejando
Z +∞
1
(1 + ξ ) 2
e −2πx cos 2πx ξ dx =
0 2π
Por lo que,
Z +∞
1 1
f̂ (ξ) = 2 e −2πx cos 2πx ξ dx = , ∀ξ ∈ R.
0 π 1 + ξ2
□

Teorema 11 (Propiedades analíticas)
1 f̂ es acotada, uniformemente continua y |f̂ (ξ)| ≤ ∥f ∥1 .
2 Si f y f ′ son integrables entonces (f ′ )∧ (ξ) = 2πi ξ f̂ (ξ).
3 Si xf es integrable y f̂ diferenciable entonces
(−2πixf )∧ (ξ) = (f̂ )′ (ξ).
4 Lema de Riemann-Lebesgue lim f̂ (ξ) = 0.
|ξ|→∞
Z Z
5 Si f y g son integrables entonces f ĝ = f̂ g
R R

Demostración:
1) Fijemos ξ ∈ R,
Z Z
|f̂ (ξ + h ) − f̂ (ξ)| = f (x )e −2πix (ξ+h ) dx − f (x )e −2πix ξ
dx

R R
Z
= f (x )e −2πix ξ (e −2πixh − 1)dx

ZR
≤ |f (x )e −2πix ξ (e −2πixh − 1)|dx
ZR
= |f (x )(e −2πixh − 1)|dx
R
Ahora, dado h ∈ R
|f (x )(e −2πixh − 1)| ≤ 2|f (x )| a .e .x
y 2|f | es integrable.
Además, f (x )(e −2πixh − 1) → 0, h → 0 a .e .x

Por t.c.d.
Z Z
−2πixh
lim |f (x )(e − 1)|dx = lim |f (x )(e −2πixh − 1)|dx = 0
h →0 R R h →0
Z
Dado ϵ > 0, ∃δ = δ(ϵ) > 0 : |h | < δ ⇒ |f (x )(e −2πixh − 1)|dx < ϵ
R
Z
⇒ |f̂ (ξ + h ) − f̂ (ξ)| ≤ |f (x )(e −2πixh − 1)|dx < ϵ, ∀ξ ∈ R.
R
Esto es, f̂ es uniformemente continua.

2) Supongamos por absurdo que existen
M , ϵ > 0, x > M ⇒ |f (x )| ≥ ϵ .
Entonces
Z Z +∞ Z +∞
|f (x )|dx ≥ |f (x )|dx ≥ ϵ dx = +∞ !!
R M M
Por lo que,∀M > 0 y ∀ϵ > 0, ∃x > M : |f (x )| < ϵ .

1
En particular, ∀n ∈ N, ∃bn > n : |f (bn )| < .
n
Obtenemos así, una sucesión (bn ), bn → +∞ tal que f (bn ) → 0.

Análogamente, se obtiene una sucesión (an ), an → −∞ tal que
f (an ) → 0.
Así, integrando por partes
Z bn Z bn
f ′ (x )e −2πix ξ dx = f (bn )e −2πi ξbn − f (an )e −2πi ξan + 2πi ξ f (x )e −2πix ξ dx , ∀n ∈ N.
an an
Tomando límite
Z Z
f ′ (x )e −2πix ξ dx = 2πi ξ f (x )e −2πix ξ dx .
R R
Esto es, (f ′ )∧ (ξ) = 2πi ξ f̂ (ξ).

Z
3) (−2πixf )∧ (ξ) = −2πixf (x )e −2πix ξ dx
Z R
−2πix ξ
f̂ (ξ) = f (x )e dx
R
∂ −2πix ξ
= −2πixf (x )e −2πix ξ

f (x )e
∂ξ
∂ (f (x )e −2πix ξ ) = 2π|xf (x )| integrable

∂ξ
Por lo que, usando teorema B 13
Z
′
(f̂ ) (ξ) = −2πixf (x )e −2πix ξ dx
R
= (−2πixf )∧ (ξ)

4) Z
f̂ (ξ) = f (x )e −2πix ξ dx
R
Fijemos ξ , 0
Z
πi
f̂ (ξ) = −e f̂ (ξ) = − f (x )e −2πix ξ+πi dx
R
Z
−2πi ξ(x − 21ξ )
= − f (x )e dx
ZR
1 −2πi ξu 1
= − f (u +
)e du, haciendo u = x −
2ξ 2ξ
ZR
1 −2πi ξx
= − f (x + )e dx
R 2ξ

Así, de las dos representaciones anteriores tenemos
Z !
1 1
f̂ (ξ) = f (x ) − f (x + ) e −2πix ξ dx
2 R 2ξ
Z
1 f (x ) − f (x + 1 ) dx
⇒ |f̂ (ξ)| ≤
2 R
2ξ
Ahora, por teorema B.17
Z
1
lim f (x ) − f (x + ) dx = 0
2ξ

|ξ|→∞ R
Esto es,
lim f̂ (ξ) = 0
|ξ|→∞

Así, de las dos representaciones anteriores tenemos
Z !
1 1
f̂ (ξ) = f (x ) − f (x + ) e −2πix ξ dx
2 R 2ξ
Z
1 f (x ) − f (x + 1 ) dx
⇒ |f̂ (ξ)| ≤
2 R
2ξ
Ahora, por teorema B.17
Z
1
lim f (x ) − f (x + ) dx = 0
2ξ

|ξ|→∞ R
Esto es,
lim f̂ (ξ) = 0
|ξ|→∞
5) (Ejercicio) □

Ejemplo 9
2
Sea f (x ) = e −πx entonces
2
f ′ (x ) = −2πxe −πx = −2πxf (x ) y f (0) = 1 (28)
Es claro que f , xf , f ′ son integrables en R.

Así, por propiedad analítica 2
(f ′ )∧ (ξ) = 2πi ξf̂ (ξ) (29)
Ahora como xf es integrable, f̂ es diferenciable y por propiedad

analítica 3 (−2πixf )∧ (ξ) = (f̂ )′ (ξ).
Por lo que , usando (28) y (29)
(f̂ )′ (ξ) = (−2πixf )∧ (ξ) = (if ′ )∧ (ξ)

= i (f ′ )∧ (ξ) = −2πξf̂ (ξ)

Así, f y f̂ satisfacen la ecuación u′ = −2πxu.
De acá,
u′ u′
Z
= −2πx ⇒ dx = −πx 2
u u
Z
du
⇒ = −πx 2 ⇒ ln u = −πx 2 + C
u
2
⇒ u = Ce −πx ⇒ C = u(0) = f̂ (0)
Pero
Z Z Z
−πx 2 1 2
f̂ (0) = f (x )dx = e dx = √ e −t dt = 1
R R π R
2
Así, C=1, por lo que f̂ (ξ) = e −πξ , ∀ξ ∈ R.
Esto es, f̂ = f .

Así, f y f̂ satisfacen la ecuación u′ = −2πxu.
De acá,
u′ u′
Z
= −2πx ⇒ dx = −πx 2
u u
Z
du
⇒ = −πx 2 ⇒ ln u = −πx 2 + C
u
2
⇒ u = Ce −πx ⇒ C = u(0) = f̂ (0)
Pero
Z Z Z
−πx 2 1 2
f̂ (0) = f (x )dx = e dx = √ e −t dt = 1
R R π R
2
Así, C=1, por lo que f̂ (ξ) = e −πξ , ∀ξ ∈ R.
Esto es, f̂ = f .
Ejemplo 10
Dado λ > 0, Si hacemos g (x ) = λ1 e −πx

2
/λ2 entonces ĝ (ξ) = e −πλ ξ
2 2

Teorema 12 (fórmula de inversión)
Z
Si f y f̂ son integrables entonces f (x ) = f̂ (ξ)e 2πix ξ d ξ a .e .x.
R
Además, el término de la derecha es una función continua en x,
de modo que f coincide en casi todo punto con una función
continua y se da la igualdad en los puntos de continuidad de f .

Teorema 12 (fórmula de inversión)
Z
Si f y f̂ son integrables entonces f (x ) = f̂ (ξ)e 2πix ξ d ξ a .e .x.
R
Además, el término de la derecha es una función continua en x,
de modo que f coincide en casi todo punto con una función
continua y se da la igualdad en los puntos de continuidad de f .
2 2
Demostración: Fijemos t > 0, y hagamos h (x ) = te −πt x
usando
el ejemplo 10, P.AN.5 y P.A.3 tenemos
Z Z
1 −πy 2 /t 2 1
f (x + y )e dy = τx f (y )ĥ (y )dy
t R t R
Z
1
= (τx f )∧ (ξ)h (ξ)d ξ
t R
Z
f̂ (ξ)e 2πix ξ e −πt ξ
2 2
= dξ
R

Esto es,
Z Z
1 −πy 2 /t 2 ξ
e 2πix ξ d ξ,
2 2
f (x + y )e dy = f̂ (ξ)e −πt ∀t > 0. (30)
t R R
Ahora, usando Fubini

Z Z Z Z
f (x + ty )e −πy 2 dy − f (x ) dx = (f (x + ty ) − f (x ))e −πy 2 dy dx

R R
ZR Z R
≤ f (x + ty ) − f (x ) e −πy 2 dydx
ZR ZR
= f (x + ty ) − f (x ) dxe −πy 2 dy
R R
PorZotro lado, por teorema B.17,

2
lim (f (x + ty ) − f (x )) dxe −πy = 0, ∀y ∈ R
t →0 R
Z
y
(f (x + ty ) − f (x )) dxe −πy 2 ≤ 2∥f ∥ e −πy 2 , ∀y ∈ R la cual es integrable.
1
R

Z Z
Así, por el T.C.D. lim
(f (x + ty ) − f (x )) dxe −πy 2 dy = 0.
t →0 R R
Esto implica que,
Z Z Z
2 f (x + ty )e −πy 2 dy − f (x ) dx = 0.
−πy
lim f (· + ty )e
dy − f = lim

t →0 R 1 t →0 R

R

Por teorema B.16, existe una sucesión (tn ) convergiendo a 0 tal

que Z
2
lim f (x + tn y )e −πy dy = f (x ) a .e .x.
n→∞ R
Z haciendo el cambio,Zy = tu
Ahora,
1
f (x + y )e −πy /t dy =
2 2 2
f (x + tu)e −πu du, t > 0.
t R R

Así, por (30)
Z Z
ξ
−πu2
e 2πix ξ d ξ,
2 2
f (x + tu)e du = f̂ (ξ)e −πt ∀t > 0
R R
Finalmente, lim f̂ (ξ)e −πtn ξ e 2πix ξ = f̂ (ξ)e 2πix ξ ,

2 2
a .e .x
n→∞
y |f̂ (ξ)e−πt ξ 2πix ξ
e
2 2
| ≤ |f̂ (ξ)| la cual es integrable.
Por lo que, nuevamente por el T.C.D
Z Z
−πu2
f̂ (ξ)e 2πix ξ e −πtn ξ d ξ
2 2
lim f (x + tn u)e du = lim
n→∞ R n→∞ R
Z
= f̂ (ξ)e 2πix ξ d ξ
R
Z
Esto es, f (x ) = f̂ (ξ)e 2πix ξ d ξ, a .e .x □
R

UnidadIIAMIIPAOI2022 EXPOSICION MEDIDA

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

UnidadIIAMIIPAOI2022 EXPOSICION MEDIDA

Cargado por

Copyright:

Formatos disponibles

Análisis matemático II

Ebner Pineda MATG1071

Para la lectura de los temas relativos a series no se exige más

Ebner Pineda MATG1071

Llamaremos polinomio trigonométrico de grado N y periodo 2π , a

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Usando la fórmula e it = cos t + i sin t , t ∈ R.

Ebner Pineda MATG1071

Ebner Pineda MATG1071

(un polinomio en la variable e ix ) y (1) toma la forma

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Definición 3 (Serie de Fourier)

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

lo cual no significa que la serie converja a la función, solo es

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

+ck dj cos kx sin jx + dk cj sin kx cos jx + dk dj sin kx sin jx )

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Esta fórmula es la identidad de Plancherel para polinomios

Ebner Pineda MATG1071

lo que implica que

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Escribiremos SN f para representar la N-ésima suma parcial de la

Ebner Pineda MATG1071

Escribiremos SN f para representar la N-ésima suma parcial de la

Nuestro objetivo es estudiar la convergencia puntual de esta

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Propiedades del núcleo de Dirichlet.

Haciendo el cambio u = x − t, y usando la periodicidad de f y DN

Ebner Pineda MATG1071

Si f es integrable en [−π, π] y λ es real (no necesariamente entero)

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

Ebner Pineda MATG1071

2 Si f y g son integrables y periódicas de periodo 2π y

Ebner Pineda MATG1071

Ahora, sin t /2 es continua y no se anula en A donde A = {t : δ ≤ |t | ≤ π},

Ebner Pineda MATG1071

Ebner Pineda MATG1071

El lema de Riemann-Lebesgue permite dar fácilmente algunos

Ebner Pineda MATG1071

Sea f una función integrable en (−π, π) que tiene derivada en el

Ebner Pineda MATG1071

Sea f una función integrable en (−π, π) que tiene derivada en el

Demostración: Usando (16), (14) y el lema 2

Es decir, lim SN f (x0 ) = f (x0 ). □