UNIVERSIDAD MICHOACANA DE SAN

NICOLS DE HIDALGO

Facultad de Ciencias Fsico Matemticas

"Mat. Luis Manuel Rivera Gutierrez"

Series de Fourier y Criterios de

Convergencia
Tesis que para obtener el ttulo
Licenciado en Ciencias Fsico Matemticas presenta
David Yaez Olmos
davidyanezolmos@hotmail.com

Dirigida por el Doctor

Fernando Garibay Bonales
fgaribay@gmail.com

Morelia Michocan Mxico

Noviembre 2015

A mi madre,
por el apoyo y sacricios que ha realizado
para brindarme a mi y a mis hermanos
lo que en conciencia ha credo que es bueno.
A mis hermanos,
llevan cada uno una parte de mi alma
y estoy convencido de que pocas son las cosas en la vida
de las cuales se puede estar seguro de tener siempre consigo;
por ser una de ellas.
A mis amigos y Profesores

Agradecimientos

Al nalizar un trabajo complicado como lo es el desarrollo de una tesis, es inevitable en el muy humano egocentrismo que te lleva a concentrar la mayor parte del
mrito al aporte que has hecho. Sin embargo, analizando objetivamente, de manera
inmediata se tiene que este trabajo no hubiese sido posible sin la participacin de
personas que me han facilitado las cosas en este periodo, para que el trabajo llegue a
un feliz trmino. Es un placer utilizar este espacio para ser justo con estas personas,
expresndoles mis agradecimientos.
Primero que nada al Dr. Fernando Garibay Bonales por haber conado en mi
persona, por la paciencia, tambin por estar siempre dispuesto a ir ms all de los
temarios para satisfacer nuestra curiosidad, porque despus de aquel curso de ansisis matemtico I el anlisis se volvi una de mis pasiones y por la direccin de este
trabajo. Le agradezco tambin por haberme facilitado todos los medios posibles para
llevar a cabo todas las actividades, as como toda la conanza que me brind y por
los buenos consejos gracias a usted.
Tambin al Dr. Peter Zhevandrov Bolshakova por estar siempre dispuesto a atender mis dudas en cada uno de los cursos que en el cual fui su alumno, por la conanza
y los buenos consejos gracias.
A mis amigos Roberto Abrego, Omar Fabian, Adriana Rojas y Ana Rosa Soto.
Por la conanza que me han tenido y por su ayuda, pues sin ustedes no habra sido
posible concluir esta carrera; espero dejar algo bueno en cada una de sus vidas como,
a mi parecer han hecho ustedes en la ma.

Resumen

 La razn no me ha enseano nada. Todo lo

que yo s me ha sido dado por la razn

Gottfried Leibniz

En las obras de Fourier tituladas Mmoire sur la propagation de la chaleur dans

les corps solides y Thorie du mouvement de la chaleur dans les corps solides, de
1807 a 1811 comienza deduciendo las ecuaciones que gobiernan la difusin de calor y
posterior mente resuelve el problema de la distribucin de temperatura en un tiempo
dado a partir de la distribucin en el instante inicial.
Para escribir la solucin a la ecuacin de difusin de calor, se necesita escribir la
funcin que da el dato inicial como suma de una serie trigonomtrica es decir dado
el problema:

2
u(x, t)
2 u(x, t)
=
con < x < , 0 < t < T y 0 < 2
2x
t

u(, t) = 0, u(, t) = 0 con u(x, 0) = h(x) x ,

donde

a0 X
u(x, 0) = h(x) =
+
(an cos(nx) + bn sen(nx)) con 0 x l,
2
n=1

para

(0.0.1)

Z
Z
1
2
a0 =
h(x)dt =
h(x)dx

0
Z
Z
1
2
an =
h(x) cos(nx)dt =
h(x) cos(nx)dx

0
Z
Z
1
2
bn =
h(x) sen(nx)dt =
h(x) sen(nx)dx,

0

los cuales son llamados coecientes de Fourier de h. La pregunta principal en este

trabajo es decir bajo que condiciones se garantiza la convergencia puntual o uniforme de la serie trigonomtrica (0.0.1) a la funcin? En trminos ms generales
vii

viii

Resumen

hacemos la misma pregunta para las funciones 2 peridicas Lebesgue integrables, y estudiar la convergencia de la serie de Fourier en le sentido de convergencia
puntual, uniforme y ademas la convergencia en norma en los espacios clsicos de
Banach Lp (T) para 1 p, haciendo uso de la teora de integracin de Lebesgue.
1

Series de Fourier y Criterios de Convergencia

Introduccin

 Cualquier cosa que sea contraria a la

naturaleza lo es tambin a la razn, y
cualquier cosa que sea contraria a la razn
es absurda

Baruch Spinoza
En las dos obras de Fourier tituladas Mmoire sur la propagation de la chaleur
dans les corps solides y Thorie du mouvement de la chaleur dans les corps solides,
de 1807 a 1811 comienza deduciendo la ecuacin que gobierna la difusin del calor.
Despus resuelve el problema de la distribucin de temperatura en un tiempo dado
a partir de la distribucin en el instante inicial, en varios casos. Para ello inventa el
mtodo de separacin de variables, conocido como mtodo de Fourier. Para escribir
la solucin necesita escribir la funcin que da el dato inicial como suma de una serie
trigonomtrica. ste es precisamente el aspecto del trabajo de Fourier del que nos
vamos a ocupar aqu, dejando a un lado sus otros mritos.
Aunque se presenta de varias maneras segn el tipo de problema estudiado, en
el caso general y para una funcin de perodo 2 el problema consiste en, dada una
funcin f , encontrar una serie trigonomtrica

a0 X
+
(ak cos(kx) + bk sen(kx)),
2
k=1

cuya suma coincida con f (x) para cada x. En primer lugar Fourier decidi que los
coecientes deban venir dados por las frmula
1
ak =

f (x) cos(kx)dx,

1
bk =

f (x) sen(kx)dx.

Fourier armaba que dada una funcin 2 peridica, sta se podra representar
por medio de su serie de Fourier. Los intentos de probar la convergencia de la serie de
Fourier aparecieron inmediatamente. Poisson y Cauchy publicaron sendas pruebas
incorrectas. Fue Dirichlet quien en 1829 inaugur una nueva poca ya que public
el primer resultado correcto de convergencia, a saber
ix

Si una funcin acotada es continua a trozos y montona a trozos, su serie de

Fourier converge en cada punto a la semisuma de los lmites laterales de la funcion.

En 1881 Camille Jordan extendi el criterio de Dirichlet a las funciones de variacin acotada. Prob que toda funcin de variacin acotada se puede escribir como
diferencia de dos funciones crecientes, por lo que se limit a sealar que la demostracin de Dirichlet es aplicable, sin modicacin. El concepto de funcin de variacin
acotada naci precisamente en ese trabajo de Jordan.
El segundo criterio de convergencia se debe a Rudolph Lipschitz.
Si una funcin f satisface
|f (x + t) f (x)| C|t|

para algn > 0 y todo t sucientemente pequeo, la serie de Fourier de f converge

a f (x) en el punto x.
Tiempo despus Riemann obtiene algunos resultados con respecto a las series de
Fourier, prueba dos resultados importantes:

1. Los coecientes de Fourier de una funcin integrable tienden a cero (Lema de

Riemann-Lebesgue).
2. La convergencia o divergencia de la serie de Fourier en un punto slo depende
de los valores de la funcin en una vecindad del punto (principio de localizacin
de Riemann).
Cauchy haba escrito que el lmite de una sucesin de funciones continuas es
una funcin continua (lo que implicara de paso que slo las funciones continuas son
representables por series trigonomtricas). Ante la evidencia de que no era cierto, la
necesidad de corregirlo condujo al concepto de convergencia uniforme.
En 1870 Heine public un trabajo que comenzaba indicando cmo Weierstrass
haba demostrado que la convergencia uniforme permita integrar trmino a trmino
una serie de funciones, y que sin esa condicin poda ser falso. Por tanto, no estaba
justicado que si una serie trigonomtrica representaba a una funcin, sus coecientes tuvieran que ser los dados por la frmula de Fourier. Incluso, sealaba Heine, los
criterios de convergencia slo decan que la serie de Fourier converga a la funcin,
pero no que no pudiese haber otras series trigonomtricas con la misma suma. Esto

xi

conduce inmediatamente a la pregunta de la unicidad.

Cantor estudi este problema por inuencia de Heine y sus investigaciones le
condujeron al estudio de subconjuntos de la recta real con implicaciones en la futura
teora de conjuntos y en los conceptos topolgicos.
A pesar de esa conviccin general que Heine sugera, la sorpresa no tard en
llegar. En 1873, slo tres aos despus de la publicacin del artculo de Heine, Paul
du Bois-Reymond anunci un contraejemplo, que mostraba que la serie de Fourier
de una funcin continua puede ser divergente en un punto. No slo no era uniformemente convergente, ni siquiera lo era puntualmente.
Hoy es habitual presentar el resultado de du Bois-Reymon en forma no constructiva
utilizando el principio de acotacin uniforme.
Una solucin al problema de representacin de funciones continuas mediante la
serie de Fourier, vino a cambiar la manera de sumar la sucesin de sumas parciales
de Fourier. En 1900, Fejr public un trabajo en el que mostraba que las funciones
continuas siempre se recuperan y con convergencia uniforme, si antes de pasar el
lmite a la sucesin de sumas parciales de Fourier, se toma los promedios de la
sumas parciales. Es decir,
s0 (f, x) + s1 (f, x) + + sN (f, x)
= f (x)
N
N +1
lm

uniformemente,

si f es continua. El resultado de Fejr permite recuperar una funcin continua apartir de sus coecientes de Fourier.
Aparentemente el siglo XIX se cerraba con respuestas satisfactorias para las
series de Fourier. Se tenan varios criterios de convergencia, se saba que la funciones
continuas podan tener series de Fourier divergentes, se recuperaba la funcin original
si se utilizaban mtodos de sumabilidad para la serie.
El problema renace con la teora de la medida e integracin de Lebesgue y del
anlisis funcional. La tesis de Lebesgue con la que nace su teora de integracin
apareci en 1902. La nueva teora trajo ms funciones integrables, pero no slo
eso: la identicacin de funciones que coinciden en casi todo punto sugiere una
nueva manera de comparar la suma de la serie y las funciones de partida, podran
no coincidir en todos los puntos pero de modo que la discrepancia sea slo en un
conjunto pequeo es decir, de medida nula; pregunta interesante, incluso para
funciones continuas.
Lebesgue estudi las series de Fourier con la nueva herramienta. En un trabajo
escribi: voy a aplicar la nocin de integral al estudio del desarrollo trigonomtrico
de las funciones no integrables en el sentido de Riemann. Adems de extender los

xii

resultados previos al nuevo contexto, dio un ejemplo de funcin integrable con su

denicin pero no con la de Riemann, que tena serie de Fourier divergente.
Algunos resultados de Lebesgue son los siguientes:
1. Los coecientes de Fourier de una funcin integrable tienden a cero (lema de
Riemann-Lebesgue).
2. Si f es integrable, los promedios de las sumas parciales de su serie de Fourier
convergen a f en casi todo punto.
3. La serie que resulta al integrar trmino a trmino una serie de Fourier siempre
es convergente y su suma es una primitiva de la funcin original.
Una vez probado el lema de Riemann-Lebesgue, tanto el principio de localizacin
de Riemann como el criterio de convergencia, se extiende inmediatamente a la nueva
clase de funciones integrables. El resultado de sumabilidad nos dice que siempre se
recupera la funcin de partida en casi todo punto con mediante el mtodo de Fejr.
Por otro lado Fatou observ que hay series trigonomtricas convergentes que no
son series de Fourier.
En los primeros aos del siglo XX se desarrollaron los conceptos que condujeron
a la teora de los espacios de Hilbert, nombre popularizado aos despus. Partiendo
de trabajos previos sobre ecuaciones integrales de Volterra, Fredholm y otros, D.
Hilbert y su alumno E. Schmidt se encontraron con propiedades de ortogonalidad y
sistemas lineales de un nmero innito de ecuaciones, etc., y desarrollaron los conceptos asociados a los espacios l2 . Junto con ideas que Frchet esbozaba en su tesis
en 1906 sobre espacios mtricos, Riesz elabor la nocin de distacia en los espacios
de funciones L2 y poco despus llegaron los teoremas que permitan la identicacin
de funciones de cuadrado integrable con sucesiones de l2 .
Riesz-Fischer prueba la completitud de L2 : las sucesiones de Cauchy convergen
en la norma de L2 . Una consecuencia inmediata del teorema de Riesz-Fischer es la
convergencia en norma cuadrtica de la serie de Fourier.
lm || sn (f ) f ||L2 = 0.

xiii

La convergencia en L2 de la serie de Fourier sugera el estudio del problema

anlogo en los espacios Lp es decir:
lm || sn (f ) f ||Lp = 0

para

f Lp

si 1 p, p 6= 2,

para p nito, por supuesto, ya que si p = , la convergencia sera uniforme y el lmite

debera ser una una funcin continua (y ya sabemos que ni siquiera eso es suciente).
La primera respuesta vino en sentido negativo: Banach y Steinhaus probaron en
1918 que no hay convergencia en media, es decir, en L1 .
Fue Marcel Riesz quien consigui demostrar en 1923 que la respuesta a la convergencia en norma es armativa si 1 < p < .
Nikolai Lusin public en 1913 una nota en la que presenta una condicin necesaria
y suciente para la convergencia puntual de la serie de Fourier de una funcin de
L2 . Lusin comenz viendo que la serie de Fourier de f converge casi en todo punto
si y slo si se cumplen simultneamente:
1

f (x + t) f (x t)
dt = f (x)
2 tan( 2t )

y
1
lm
n

Z
0

c.d

f (x + t) f (x t)
cos(nt)dt = 0,
t

(I)

(II)

donde f es la funcin conjugada de f (las integrales en cero se entienden como valor

principal). Prob que (I ) se cumple para toda funcin de L2 , de modo que (II ) quedaba como nica condicin necesaria y suciente. Ahora bien, satisface la condicin
(I ) Lusin indica que es (innitamente probable) que lo mismo ocurra con (II ). De
aqu nace la conjetura de Lusin: la serie de Fourier de una funcin de L2 converge
en casi todo punto.
Kolmogorov, uno de los matemticos ms destacados del siglo XX y alumno de
Lusin demostr en 1923 que existe una funcin integrable cuya serie de Fourier diverge en casi todo punto y poco despus, en 1926, fue capaz de llevar la divergencia
a todo punto (ver [1]).
Ante esta situacin lo que Lennart Carleson obtuvo en 1965 fue una autntica
sorpresa. En efecto, prob que la conjetura de Lusin era cierta: la serie de Fourier

xiv

de una funcin de L2 converge en casi todo punto. Por tanto, tambin la de una
funcin continua, lo que tampoco se conoca en ese momento. Su demostracin
consisti precisamente en probar que
sup t2 |{x : sup |sN (f, x)| > t}| C||f ||2L2 ,
t>0

se cumpla (ver [5]).

El premio Abel 2006 fue otorgado a Lennart Carleson. Indudablemente el nombre
de Carleson va unido sobre todo al teorema de convergencia en casi todo punto de
las funciones de L2 . Poco despus Richard Hunt extendi el resultado de Carleson
hasta cubrir el rango de todos los espacios Lp con p > 1 (ver [9]).
La anterior resea histrica sobre series de Fourier, fue en gran parte tomada de
[4].
Los objetivos del presente trabajo consiste en dar una introduccin formal al
estudio de las series de Fourier y presentar algunos de los teoremas clsicos de
convergencia usando teora de la medida de Lebesgue. El teorema de mayor inters
para este trabajo, es el Teorema de Kahane-Katznelson: Dado un conjunto E de
medida cero en [0, 2 ]; existe una funcin continua cuya serie de Fourier diverge
en todo punto de E. Este resultado ser probado en el captulo 5. El material de
esta tesis est basado fuertemente en el contenido del captulo 8 del libro [6] de Karl
Stromberg.

ndice

Agradecimientos

Resumen

vii

Introduccin

ix

1. Series Trigonomtricas y Series de Fourier.

1.1. Series Trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1
5

2. Qu series trigonomtricas son series de Fourier?

15

3. Sumabilidad de las Series de Fourier

27

2.1. Lema de Riemann-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . 15

2.2. Riesz-Fischer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3. Identidades de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.1.
3.2.
3.3.
3.4.

Sumabilidad de Cesro y de Abel.

Teorema de Fejr . . . . . . . . .
Teorema de Lebesgue . . . . . . .
Teorema de Fejr-Lebesgue . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

4. Localizacin de Riemann y Criterios de Convergencia

4.1.
4.2.
4.3.
4.4.
4.5.
4.6.
4.7.

No convergencia puntual . .
Localizacin de Riemann . .
Criterio de Dini . . . . . . .
Criterio de Jordan . . . . .
Criterio de Lebesgue-Gergen
Criterio de Dini-Lipschitz .
Convergencia en Lp (T) . . .

5. Series de Fourier Divergentes

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

27
33
35
37

41

41
49
51
57
59
63
65

69

5.1. Teorema de Kahane-Katznelson . . . . . . . . . . . . . . . . . . . . . 73

xv

xvi

A. Fenmeno de Gibbs

ndice

77

Captulo 1
Series Trigonomtricas y Series de
Fourier.

En trminos muy generales, el programa para el anlisis es aprender a descomponer (analizar) funciones arbitrarias en partes componentes que son funciones ms
sencillas y reconstruir las funciones originales. Por muchas razones (utilidad en aplicaciones fsicas, propiedades matemticas intrnsecas), las ms comnmente elegidas
son las funciones trigonomtricas.
t an cos(nt) + bn sen(nt).

El propio Fourier pareca creer que cualquier funcin 2 -peridica, podra ser
representada por una serie de funciones trigonomtricas.
Iniciaremos este estudio dando resultados formales de las series trigonomtricas
y posteriormente pasando al estudio de las series de Fourier como caso particular.
1.1.

Series Trigonomtricas

Denicin 1.1 Una serie trigonomtrica es una serie de la forma

a0 X
+
(ak cos(kt) + bk sen(kt)) ,
2
k=1

(1.1.1)

donde (ak )
k=1 y (bk )k=1 son sucesiones de nmeros complejos y t R.

La n-sima suma parcial de (1.1.1) es la funcin sn denida en R por

n

a0 X
+
(ak cos(kt) + bk sen(kt)) ,
sn (t) =
2
k=1

(1.1.2)
1

Captulo 1.

Series Trigonomtricas y Series de Fourier.

por la frmula de Euler, tenemos que

sn (t) =

n
X

(1.1.3)

ck eikt ,

k=n

donde escribimos b0 = 0,
ck =

(ak ibk )
,
2

ck =

(ak + ibk )
,
2

bk = i(ck ck ),

ak = ck + ck ,

(1.1.4)
(1.1.5)

para cada k 0. Escribimos s0 (t) = c0 = 0 . De las ecuaciones (1.1.4) reescribimos

2
(1.1.1) como

ck eikt .

k=

Las funciones de la forma (1.1.2) son llamadas polinomios trigonomtricos.

Denicin 1.2 Sea f : R C 2-peridica. Para un nmero real positivo p, escribimos f Lp (T) si f es Lebesgue medible y
1
2

| f (t) |p dt < .

En este caso denimos la norma de f Lp (T) como el nmero


|| f ||p = || f ||Lp (T) =

1
2

 p1
| f (t) | dt .
p

Si f es continua en R (2 -peridica), escribimos f C(T) y denimos la norma

uniforme de f como el nmero
|| f ||u = || f || = || f ||C(T) = sup | f (t) | =
tR

sup | f (t) | .
t

Denotaremos por T P (T) en conjunto de polinomios trigonomtricos, es obvio que

T P (T) C(T) Lp (T) para p > 0.

Teorema 1.1 (1). Si f C(T) y  > 0. Entonces existe P T P (T) tal que
|| f P ||u < .

(2). Si 1 p < , f Lp (T) y  > 0. Entonces existe P T P (T) tal que

|| f P ||p < .

1.1. Series Trigonomtricas

Prueba:
(1) Sea f C(T) y  > 0. Escribamos X = {z C : | z |= 1} y denamos F en
X , por F (z) = f (t) donde z = eit (por la periodicidad de f y el Teorema(5.11) en
[6], la denicin de F es independiente de la eleccin de t R tal que z = eit
tomando t = Arg(z)). Sabemos que w = Arg(z) y f son continuas, as se tiene que
F (z) = f (Arg(z)) es continua.
Ahora aplicando Teorema (3.129) de [6], obtenemos (cn )Nn=N C tal que


N


X

n
cn z  < ,
F (z)



(1.1.6)

n=N

para todo z X. De (1.1.6) se sigue que p(t) =

PN

n=N

cn eint .

(2) Sea 1 p < , f Lp (T) y  > 0. Ahora de Teorema (6.111) en [6],

obtenemos g C([, ]) tal que


1
2

 p1

| f g | dt
< .
3

(1.1.7)

Sea 0 < < tal que | g | para t [, ]. Ahora tomando = 2

donde se puede suponer que < 2 .


6

p
,

Ahora modiquemos g en [ , ] para obtener h C([, ]) tal que | h | ,

g = h en [, ] y h() = h().
Por ejemplo si denimos h en [ , ] dada por
h(t) = 1 [( t)g( ) + (t + )g()],

(1.1.8)

se sigue que
1
2

1
|gh| =
2
p

| g h |p

(2)p   p
.
=
2
3

(1.1.9)

Tenemos que h C(T), aplicando la parte (1) obtenemos P T P (T) tal que
|| h P ||u <

As se tiene


.
3

Series Trigonomtricas y Series de Fourier.

Captulo 1.

1
2

 p1

|hP |


< .
3

(1.1.10)

Finalmente de las ecuaciones (1.1.7), (1.1.9) y (1.1.10) y desigualdad de Minkowski

(ver [6], Pgina 340), se tiene
|| f P ||Lp = || f g + g h + h P ||Lp
|| f g ||Lp + || g h ||Lp + || h P ||Lp



< + + = .
3 3 3


Observacin 1.1 Por el Teorema (1.1-1), tenemos que si f C(T), entonces existe
(Pn )
n=1 T P (T) tal que Pn f uniformemente en R.

Teorema 1.2 Consideremos la serie trigonomtrica

con sumas
parciales sn como en (1.1.3). Supongamos que existe una subsucesin (snj )
j=1 y
una funcin f que satisface alguna de las siguientes condiciones:
P

k= ck e

ikt

(1). f C(T) y || f snj ||u 0 cuando j .

(2). f Lp (T) para 1 p < y || f snj ||p 0 cuando j .

Entonces, para cada n Z, tenemos

1
cn =
2

(1.1.11)

f (t)eint dt.

Prueba:
Supongamos (1), entonces f Lp (T). Ahora si || f snj ||u 0, se sigue que
|| f snj ||p 0 y por tanto


1
2

 p1

| f snj |

sup | f snj |p

p1

= || f snj ||u ,

esto muestra que (1) implica (2).

Supongamos (2), sea n Z jo. Sea j0 N tal que nj >| n | para j > j0 , es fcil
ver que para k entero
1
2

ikt int

e e

1
dt =
2

i(kn)t


dt =

1 si k = n
0 si k 6= n

1.2. Series de Fourier

Entonces para j > j0 , se tiene

1
2

snj e

int

dt =

nj
X
k=nj

1
ck
2

ei(kn)t dt = cn .

Por lo que

 Z


Z

1


int 
int 

 cn 1
f (t)e
dt = lm 
(f (t) snj (t))e
dt

j 2
2
Z
1
lm
| f (t) snj (t) | dt
j 2
lm || f snj ||p = 0,
j

la segunda desigualdad se sigue de la desigualdad de Hlder (ver [6], Pgina 340).



Observacin 1.2 Usando la notacin del Teorema (1.2), escribimos fj = snP

snj1
j

y f1 = sn1 , entonces las hiptesis del Teorema (1.2-1) nos dicen que la serie
la cual se obtiene de la serie trigonomtrica, converge uniformemente.
1.2.

j=1

fj ,

Series de Fourier

Denicin 1.3 Sea f L1 (T). Denimos f en Z por

1
f(n) =
2

f (t)eint dt.

(1.2.1)

f(k)eikt ,

(1.2.2)

La serie trigonomtrica dada por

s(f, t) =

k=

es llamada la serie de Fourier de f, y para cada entero k, el nmero complejo f(k)

el k-simo coeciente de Fourier de f .
Denotamos la n-sima suma parcial de (1.2.2), para n 0 por
sn (f, t) =

n
X
k=n

Como en (1.1.5), escribimos

f(k)eikt .

Captulo 1.

an = f(n) + f(n)

Series Trigonomtricas y Series de Fourier.

para

bn = i(f(n) f(n)),

n 0. (1.2.3)

Entonces tenemos
1
an =

f (t) cos(nt)dt

1
bn =

(1.2.4)

f (t) sen(nt)dt.

Con esta notacin, tenemos

n

a0 X
+
sn (f, t) =
(ak cos(kt) + bk sen(kt))
2
k=1

(1.2.5)

a0 X
s(f, t) =
+
(ak cos(kt) + bk sen(kt)).
2
k=1

Escribimos
f (t)

(1.2.6)

ck eikt ,

k=

donde ck = f(k) para todo entero k. Entonces se tiene

a0 X
f (t)
(ak cos(kt) + bk sen(kt)),
+
2
k=1

(1.2.7)

usamos el smbolo evitando la igualdad ya que no hay garanta de que la serie de

Fourier de f converge a la funcin f , en algn sentido.

Observacin 1.3 Las integrales (1.1.11) y (1.2.1) pueden ser tomadas en cualquier
intervalo de longitud 2 , sin alterar su valor.
Si f L1 (T) y a R, la sustitucin u = t 2 tenemos
Z

a+2

a+2

Z
f (t)dt +

f (t)dt =
a

Z
f (t)dt =

Lema 1.1 Si (bn )

n=1 R es no creciente con lmite cero, entonces
 p

X

2bp

in 
b
e
,


n
 n=p
 sen( 2 )

para enteros p, q tal que q p 0 y 0 < < 2 .

f (t)dt.

f (u)du =

f (t)dt +
a

1.2. Series de Fourier

Prueba:
Si (an (z))
n=1 y sn =

k=1

ak , entonces

an bn = (sn sn1 )bn = sn (bn bn+1 ) + sn bn+1 sn1 bn .

Luego

q
X

an b n =

n=p

q
X

sn (bn bn+1 ) + sq bq+1 sp1 bp .

(1.2.8)

n=p

Sea X = {z C : | z | 1, | z 1 | } con 0 < < 2 y an (z) = z n , entonces


 
n
X
  z n+1 1 
2

k

| sn (z) |= 
z  = 
,



z1
|z1|
k=0

para n 0 y z X .
Si z = ei , entonces

 
 



 i2   i2
i 2 
|z 1| = e  e e  = 2 sen
.
2 

Aplicando (1.2.8) y la desigualdad anterior tenemos

 q

q
X
 X

in 
bn e 
| sn (ei ) | (bn bn+1 )+ | sq (ei ) | bq+1 + | sp1 (ei ) | bp



n=p

n=p

sen( 2 )

q
X
(bn bn+1 ) + bq+1 + bp
n=p

!
=

2bp
.
sen( 2 )


Teorema 1.3 Si f L1 (T) denida por f (t) =

t
para 0 < t < 2 y f (0) = 0
2

( f est denida para t R y 2 -peridica ), entonces

f (t) =

X
sen(kt)
k=1

(1.2.9)

para todo t R. La serie (1.2.9) es la serie de Fourier de f y converge

uniformemente en [, 2 ] a f para 0 < < , y sus sumas parciales satisfacen

Captulo 1.

Series Trigonomtricas y Series de Fourier.



n
X
sen(kt) 

|sn (f, t)| = 
 < 2 + 1,

k 

(1.2.10)

k=1

para todo t R y para todo n N.

Prueba: Calculemos los coecientes de Fourier de f. Tenemos para k 6= 0 tenemos

1
f(k) =
2

Z
0

1
t ikt
e dt =
2
2

1
ikt
e dt
2
2

Z
0

t ikt
e dt,
2

el primer trmino se anula, y despus de integrar por partes el segundo obtenemos

que
1
para
k 6= 0;
f(k) =
2ik

as
ak = f(k) + f(k) = 0,

1
bk = i(f(k) f(k)) =
k

De (1.2.6), se tiene que s(f, t) =

a0 = 2f(0) = 0.

P sen(kt)
.
k=1
k

k
Sea { k1 }
k=1 R una sucesin montona decreciente con lmite 0. Si {z }k=1 es tal
it
que z = e , entonces tenemos que

 n

X   z n+1 1 
2



|sn (z)| = 
z k  = 
,



z1
|z 1|
k=0

para cada n 0, entonces


 
 t t


t 
 i2   i2
i 2t 

.
|z 1| = e  e e  = 2 sen
2 

As, para t [, 2 ] tenemos que |z 1| 2 sen( 2 ) y por (1.2.11)

|sn (z)|

1
sen( 2 )

para cada

n 0.

Luego por Teorema (7.36) en [6] la serie converge uniformemente.

Sabemos que para cada z C con |z| < 1,
Log(1 z) =

X
zn
n=1

(1.2.11)

1.2. Series de Fourier

es continua para cada X = {z C : |z| 1, |z 1| } con 0 < < 2. Ms an

por el Corolario (7.38-i) de [6], la igualdad se verica en cada X y en particular
para |z| 1, z 6= 1.
Dado que
Log(1 z) = Log(|1 z|) iArg(1 z)

con

z 6= 0,

obtenemos que |1 ei | = 2 | sen( 2 )|.

Si 0 < < 2, entonces sen( 2 ) > 0 y 1 ei = 2 sen( 2 )ei(
Arg(1 ei ) =

y as

X
sen(n)

n=1

)
2

. Se tiene que

,
2

.
2

Es fcil ver que

2x
< sen(x) < x

para

0<x<

.
2

(1.2.12)

Slo consideremos 0 < t < ya que sen(x) = sen(x). Sea t jo y m un entero
tal que m 1t < m + 1. Si m 1, entonces de (1.2.12) tenemos
0<

m
X
sen(kt)
k=1

<

m
X
kt
k=1

= mt 1,

(1.2.13)

ya que 1 k m y 0 < kt 1 < .

Si n > m, usando (1.2.12) y Lema (1.1) tenemos


n
 X
sen(kt) 
2
2



t < 1 2
t = 2.

 (m + 1) sen( 2 )
k
(
)(
)(
)
t

2
k=m+1

As usando (1.2.13), (1.2.14) y desigualdad del tringulo tenemos que


 n
X sen(kt) 


|sn (f, t)| = 
 < 2 + 1,

k 
k=1

para n N y t R.

(1.2.14)

10

Series Trigonomtricas y Series de Fourier.

Captulo 1.

Observacin 1.4 Si f impar, es decir, f (x) = f (x), entonces

Z

Z
f (t) cos(kt)dt =

f (t) cos(kt)dt,

as
1
ak =

f (t) cos(kt)dt = 0.

Similarmente, si la funcin es par f (x) = f (x), bk = 0 para todo k N.

Es claro que por (1.2.1), la funcin f f, donde f : Z C es lineal y continua.

Se tiene lo siguiente
\
g (n),
f
+ g(n) = f(n) +

con , C, f, g L1 (T) y n Z.
Adems se tiene
1
|| f ||u = sup | f(n) |
2
nZ

| f |=|| f ||L1 ,

para cada f L1 (T).

Teorema 1.4 Si f, g L1 (T) y f(n) = g(n) para todo n Z, entonces f = g c.d.

en R, ( donde c.d. quiere decir casi dondequiera ).

Prueba: Escribamos h = f g, tenemos que h(n)

= f(n) g(n) = 0 para toda n.

Denamos H en R como

Z
H(x) =

h(t)dt.
0

Adems se tiene que

Z
H(x + 2) H(x) =

x+2

h(t)dt = 2 h(0)
= 0.

Denamos F C(T) por F (x) = H(x) H(0),

entonces
1
F (0) =
2

[H(x) H(0)]dx
= H(0)
H(0)
= 0,

(1.2.15)

se sigue de [6] Teorema (6.84) que F es absolutamente continua en [0, 2], por
tanto continua y adems F 0 (x) = h(x) c.d.

1.2. Series de Fourier

11

Aplicando integracin por partes y considerando n 6= 0 se tiene,

1
F (n) =
2

F (t)e

int

1
dt =
2in

PN

n=N

N
X

F (t)P (t)dt =
0

2
2

1
h(n) = 0.
in

(1.2.16)

cn eint , de (1.2.15) y (1.2.16)

cn F (n) = 0.

n=N

Por el Teorema (1.1-1), existe

R. Luego
Z

h(t)eint dt =

Dado un polinomio trigonomtrico P (t) =

tenemos que
1
2

(Pn )
n=1

T P (T) tal que Pn F uniformemente en

| F (t) | dt =

Z
F (t)F (t)dt = lm

F (t)P (t)dt = 0,
0

ya que F C(T). Conclumos entonces que F (t) = 0 para todo t R. Pero

adems se tiene que f (t) g(t) = h(t) = F 0 (t) = 0 c.d. en R.


Observacin 1.5 Sea g L1 (T) y adems supongamos que existe

(snj (g, t))

j=1 (sn (g, t))n=1 que converge uniformemente a f en R. Entonces
f(n) = g(n) para todo n Z, y por tanto f = g c.d.
Z
1
f (t)e
dt = lm
snj (g, t)eint dt
j
2

Z
nj
X
1

=
lm
g(k)eikt eint dt
2 j k=n

1
f(n) =
2

int

Z
nj
X
1
lm
g(k)
ei(kn)t dt = g(n),
=
2 j k=n

as se tiene que f(n) = g(n) para cada n Z, y por el Teorema (1.4), se deduce
que f = g c.d.
Como ejemplos ilustrativos, veamos como de las primeras cuatro sumas parciales
de Fourier se aproximan a la grca de las funciones dadas.

12

Captulo 1.

Series Trigonomtricas y Series de Fourier.

Ejemplo 1.1 Tomemos la funcin 2-peridica denida en R como

1 si < x < 0
1 si 0 < x < .


f (x) =

Se tiene que f (x) = f (x), de la Observacin (1.4) tenemos que an = 0 para cada
n. Para n 6= 0 tenemos
1
bn =

1
f (t) sen(nt)dt =


=

1
sen(nt)dt +

4
n

sen(nt)dt =
0

2
[1 cos(n)]
n

si n impar
n par.

0 si

De aqu que los coecientes de Fourier de f son

b1 =

4
4
4
, b2 = 0, b3 =
, b4 = 0, b5 =
, ...,

3
5

y puesto que los coecientes an son nulos, la serie de Fourier correspondiente a f es

4
f

1
1
sen(x) + sen(3x) + sen(5x) +
3
5

2.5
2
1.5

f(x)
S1(x)
S2(x)
S3(x)
S4(x)

0.5
0

0.5
1
1.5
2
2.5

/2

0
x

Figura 1.1

/2


.

1.2. Series de Fourier

13

Ejemplo 1.2 Considera la funcin 2-peridica denida como:


g(x) =

0
t
2

si x = 0
si 0 < x < 2,

calculando la serie de Fourier correspondiente a g, se tiene que para k 6= 0

1
f(k) =
2

Z
0

1
t ikt
e dt =
2
2

1
ikt
e dt
2
2

Z
0

t ikt
e dt.
2

Observemos que el primer trmino se anula. Por otra parte, integrando por partes
se tiene que
1
f(k) =
para
k 6= 0,
2ik

as se tiene que
ak = g(k) + g(k) = 0,

bk = i(
g (k) g(k)) =

1
k

a0 = 2
g (0) = 0.

De aqu se sigue que la serie de Fourier de g es

g

1
1
1
sen(x) + sen(2x) + sen(3x) + sen(4x) +
2
3
4

2.5
2
1.5

g(x)
S1(x)
S2(x)
S3(x)
S4(x)

1
0.5
y

0.5
1
1.5
2
2.5
2 3/2

/2

0
x

/2

Figura 1.2

3/2

Captulo 2
Qu series trigonomtricas son
series de Fourier?

En el presente captulo se probarn varios resultados clsicos de series de

Fourier, por mencionar algunos de ellos:
1. Los coecientes de Fourier de funciones en L1 (T) decaen a cero (lema de
Riemann-Lebesgue).
2. No toda serie trigonomtrica de la forma

a0 X
(ak cos(kt) + bk sen(kt)) ,
+
2
k=1

donde (ak )
k=1 y (bk )k=1 son sucesiones de nmeros complejos y t R, es serie
de Fourier de alguna funcin de L1 (T).

3. Los coecientes de Fourier pueden tender a cero, tan lentamente como se

quiera.
4. Identidades de Parseval para funciones de L2 (T), as como la convergencia de
las serie de Fourier, en el espacio de L2 (T).
2.1.

Lema de Riemann-Lebesgue

Lema 2.1 (Riemann-Lebesgue) Sea f L1 (R). Entonces

Z

lm

|x|

f (t)eixt dt = 0

(x R).

15

16

Captulo 2.

Qu series trigonomtricas son series de Fourier?

Prueba: Primero supongamos que f = I , donde I es un intervalo acotado

I = [a, b]. Si x 6= 0 tenemos que

Z
 Z b
 


 
  1 ixb
2
ixa
ixt
ixt

e
)
.
f (t)e dt = 
e dt =  (e

ix
|x|

Por tanto se cumple para f . Ahora si f M0 (R), entonces f =

(Ij )nj=1 intervalos disjuntos y (j )nj=1 R, entonces

Pn

j=1

j Ij , con


  n
Z
 2 P | |
X


j
ixt 
ixt 
.
j
e dt
f (t)e dt = 


|x|
I

j
j=1

Ahora sea f Lr1 (R)

R y  > 0. Entonces del Teorema (6.18) de [6], existe
M0 (R) tal que |f | < 2 . Tomemos x0 R tal que
Z




(t)e

ixt


 
dt <
2

siempre que

|x| > x0 .

Entonces para |x| > x0 se sigue que

Z




ixt

f (t)e

 Z
 
dt 

ixt

[f (t) (t)]e

(t)e

|f (t) (t)|dt +

 Z
 
dt + 

ixt



dt


< .
2


Corolario 2.1 Si f L1 (T), entonces lm f(n) = 0.

|n|

Prueba: Aplicando Lema (2.1) para f [,] , donde [,] es la funcin

caracterstica en [, ] .


Teorema 2.1 Sea f L1 (T), entonces la serie de Fourier de f es

a0 X
+
f (t)
(ak cos(kt) + bk sen(kt))
2
k=1

como en (1.2.7). Por lo que la serie

X
bk
k=1

1
=
k
2

bk
k=1 k

converge y

f (t)( t)dt.
0

(2.1.1)

2.1. Lema de Riemann-Lebesgue

17

La funcin F denida en R por F (x) =

Rx
0

f (t)dt satisface

ao x X b k X 1
=
+
(ak sen(kx) bk cos(kx))
2
k
k
k=1
k=1

F (x)

x R

(2.1.2)

La segunda serie en (2.1.2) converge uniformemente en R. Adems si en R,

entonces
Z

f (t)dt =

Z
X
a0
dt +
(ak cos(kt) + bk sen(kt))dt.
2
k=1

(2.1.3)

Prueba:
Para cada x R, considere la funcin t f (x + t). Dado que
sen( ) = sen() cos() sen() cos(),

tomando el cambio de variable u = x + t y Observacin (1.3), los coecientes de

Fourier bk (x) de f (x + t) estn dados por
1
bk (x) =

1
f (x + t) sen(kt)dt =

x+

f (u) sen(k(u x))du

x

= bk cos(kx) ak sen(kx).

(2.1.4)

As que

1
bk (x)
= (bk cos(kx) ak sen(kx))
para
k 6= 0,
k
k
que es el negativo del k-simo trmino de la segunda serie en la ecuacin (2.1.2).

Armamos que

X
bk (x)

Z 2
1
=
f (x + t)( t)dt,
k
2 0
P bk (x)

k=1

para toda x R y as la serie

k=1

(2.1.5)

converge uniformemente en R.

Sea  > 0, escribamos

1
A=

|f (t)|dt

B=

+ (2 + 1).
2

Haciendo uso del Teorema (6.79) en [6], obtenemos 0 < < tal que
Z
|f | <
E


2B

si

E [0, 4]

medible

con

(E) 2.

18

Captulo 2.

Qu series trigonomtricas son series de Fourier?

Ahora por el Teorema (1.3) existe N N tal que



n

 t X
sen(kt)




,
<

 2A + 1
 2
k
k=1

(2.1.6)

para toda n > N y t 2 .

Notemos que el Teorema (1.3) muestra que (2.1.6) es menor que B para t [0, 2]
y toda n N.
Sea D = [0, ] [2 , 2]. Para x [0, 2] , n > N y usando (2.1.4) y (2.1.6)
tenemos
  Z
 Z
"
# 
n
n
  1 2

1
2
X
X
b
(x)

t
sen(kt)
 


k
f (x + t)( t)dt
f (x + t)

dt
=


 2 0
k   0
2
k
k=1

Z

1
|f (x + t)|
|f (x + t)|Bdt
dt +
2A + 1
d D

Z

B



A+
|f (u)|du < +
< .
2A + 1
D+x
2 2
1

k=1

Ya que (2.1.1) es 2 -peridica en x, la armacin queda demostrada.

Ahora se tiene que bk (0) = bk , entonces tenemos que (2.1.1) se sigue de la ecuacin
(2.1.5). Adems observemos que para x R se tiene que
Z x+2
1
f (x + t)( t)dt =
f (u)( u + x)du
2 x
0
Z 2 Z 2+x Z x 
1
+

=
f (u)( u + x)du
2
0
2
0
Z 2
Z 2
x
1
f (u)( u)du +
f (u)du
=
2 0
2 0
Z x
Z x
1
1
+
f (v + 2)(x v )dv
f (v)( v + x)dv
2 0
2 0

X
bk a0 x
=
+
F (x)
k
2
k=1
1
2

(2.1.7)

ya que f (v + 2) = f (v). Sustituyendo (2.1.5) y (2.1.7) en la ecuacin (2.1.1) se

obtiene (2.1.2).

2.2. Riesz-Fischer

19

Evaluando en x = y x = en la ecuacin (2.1.2) y restando se obtiene

Z
F () F () =



X
a0
bk
ak
dt +
(sen(k) sen(k)) (cos(k) + cos(k))
2
k
k
k=1
=

Z
X

(ak cos(kt) + bk sen(kt)) dt,

k=1

as se prueba (2.1.3).


Ejemplo 2.1 Consideremos la serie

la cual diverge a . Ahora por

el Teorema (2.1), se tiene que la serie trigonomtrica
P

1
n=2 n log(n)

X
sen(nt)
n=2

log(n)

no es serie de Fourier de alguna funcin que est en L1 (R). Sin embargo la serie
trigonomtrica converge uniformemente en [, 2 ] para 0 < < .

El problema del reconocimiento de si una serie trigonomtrica es o no una serie

de Fourier mediante la inspeccin de sus coecientes, es un problema sin resolver y
parece ser de extrema dicultad. Este problema es equivalente a saber cul es el
rango de la funcin f f de L1 (T) en c0 (Z).
2.2.

Riesz-Fischer

Lema 2.2 (Riesz-Fischer ) Supongamos que (cn )

n= C tal que

p
X

|cn | = lm

n=

|cn |2 < .

n=p

Entonces existe f L2 (T) tal que f(n) = cn para cada n. Adems se tiene que
|| f sp (t) ||2 0 cuando p .

Prueba: Escribamos sp (t) =

sigue que

ksq sp k22 =

1
2

Pp

int
n=p cn e

|sq (t) sp (t)|2 dt =

1
2

para p 0. Entonces para q > p 0 se

Z

p<|n|q

cn eint

X
p<|k|q

cn eint dt

20

Qu series trigonomtricas son series de Fourier?

Captulo 2.

p<|n|q p<|k|q

1
cn cn
2

ei(nk)t dt =

|cn |2 ,

p<|k|q

lo cual converge a 0 cuando p, q . Haciendo uso del Teorema (6.110) de [6], se

tiene que existe f L2 (T) tal que kf sp k2 0 cuando p .
Luego por el Teorema (1.2) es claro que f(n) = cn para cada n.


Teorema 2.2 Sea n N. Denamos en R las funciones Dn y Kn por

Dn () =

n
X

1 X
Kn () =
Dj ().
n + 1 j=0

ijt

e ,

j=n

Entonces, si R es tal que 6= 2k para k Z y n N, tenemos:

sen[(n + 21 )]
sen( 12 )
"
#2
n+1


Pn
sen(
)
1
|j|
2
(2). Kn () = j=n 1 n+1 eij =
.
n+1
sen( 2 )
(1). Dn () = 1 + 2

Pn

j=1 cos(j) =

Prueba: La primera igualdad es fcil de obtener. Sumando la progresin

geomtrica se tiene que

ei(n+ 2 ) ei(n+ 2 )
ei(n+1) ein
=
.
Dn () =

ei 1
ei 2 ei 2

Ahora para probar (2), notemos que

(n + 1)Kn () =

k
n X
X
k=0 j=k

ij

n X
n
X
j=n k=|j|

ij

n
X

(n + 1 |j|)eij .

j=n

Entonces utilizando (1) y el hecho de que cos(a b) cos(a + b) = 2 sen(a) sen(b)

para todo a, b C, se tiene que
 

 
 
n
X

(n + 1) sen
Kn () =
sen k +
sen
2
2
2
k=1
2

1X
=
[cos(k) cos [(k + 1)]]
2 k=0


1
n+1
2
= [1 cos(n + 1)] = sen
.
2
2

2.2. Riesz-Fischer

21


Lema 2.3 Si (ak )

k=1 es una sucesin montona y

entonces lm kak = 0.

k=1

ak es convergente,

Prueba:
Primeramente supongamos que ak 0 para cada k N. Puesto que
P

k=1

ak es convergente, entonces lm ak = 0. Adems por monotona tenemos que

k

ak+1 ak para cada entero k .

Si Ck =

j=k

aj , entonces Ck ka2k 0. Entonces tomando lmite se sigue que

lm ka2k = 0.

Ahora tenemos que 2a2k+1 + a2k+1 2a2k + a2k+1 as que lm (2k + 1)a2k+1 = 0.
k
De aqu se tiene que
lm kak = 0.

Si ak < 0 para cada k N, y de la monotona se tiene que ak ak+1 para cada k.

Tomando bk = ak > 0 para cada k, lm bk = 0 y adems bk es montona
k
decreciente, por el resultado anterior tenemos que
lm kbk = lm kak = 0.

Teorema 2.3 Sea (ak )

k=0 R una sucesin decreciente con lmite cero.

Supongamos que esta sucesin es convexa: 2ak ak + ak+2 para todo k 0.

Entonces la funcin f denida en R por

a0 X
ak cos(kt)
+
f (t) =
2
k=1

(2.2.1)

pertenece a L+
1 (T) (f 0) y la serie (2.2.1) es la serie de Fourier de f . Adems
esta serie converge uniformemente en [, 2 ] siempre que 0 < < y as f es
continua excepto posiblemente en mltiplos enteros de 2.

Prueba: Claramente f es 2peridica y haciendo uso del Corolario (7.38) de

[6], se tiene que converge uniformemente en [, 2 ] para 0 < < , as que f es
medible en R.
Tenemos que

k=0 (ak .ak+1 )

= a0 < , por convexidad se tiene que

(ak ak+1 ) (ak+1 ak+2 )

para todo

y por el Lema (2.3) se sigue que

lm n(an an+1 ) = 0.

22

Captulo 2.

Qu series trigonomtricas son series de Fourier?

Ahora sea Dn y Kn como en el Teorema (2.2) y apliquemos (1.19) dos veces para
obtener

2sn (t) = a0 +

n
X

n
X
2ak cos(kt) =
(ak ak+1 )Dk (t) + an+1 Dn (t)

k=1

k=0

n
X
2sn (t) =
(ak 2ak+1 + ak+2 )(k + 1)Kk (t) + (an+1 an+2 )(n + 1)Kn (t) + an+1 Dn (t).
k=0

Ahora si t 6= 2m para (m Z), se sigue de el Teorema (2.2) y del hecho que

ak 0, que los dos ltimos trminos de la igualdad anterior convergen a 0 cuando
n . Esto prueba que
2f (t) =

(ak 2ak+1 + ak+2 )(k + 1)Kk (t),

(2.2.2)

k=0

para t 6= 2m y m Z. Por convexidad y el hecho que Kk (t) 0, entonces

f (t) 0 para cada t R. Notemos que por el Teorema (2.2-2) tenemos
1
2


Kk (t) cos(nt)dt =

1
0 si

n
k+1

si 0 n k
0k<n

(2.2.3)

Usando nuevamente (1.19), tenemos que

q
X
an =
(ak ak+1 )1 + aq+1
k=n

q
X

(ak 2ak+1 + ak+2 )(k + 1 n) + (aq+1 aq+2 )(q + 1 n) + aq+1

k=n

siempre que 0 n q. Tomando el lmite cuando q , los dos ltimos

trminos convergen a 0, as

X
an =
(ak 2ak+1 + ak+2 )(k + 1 n).

(2.2.4)

k=n

Como todos los trminos en (2.2.2) son positivos, y usando el Teorema (6.46) de
[6], nos permite integrar trmino a trmino; ahora aplicando (2.2.3) y (2.2.4) con
n = 0, obtenemos
Z
1

f (t)dt = a0 < ,
0

2.2. Riesz-Fischer

23

esto prueba que f L+1 (T).

Finalmente multiplicando (2.2.2) por cos(nt) trmino a trmino, es claro que la
sucesin de sumas parciales de (2.2.2) est dominada por 2f en [0, 2], as
haciendo uso del Teorema (6.55) en [6], nos permite integrar trmino a trmino.
Aplicando (2.2.3) y (2.2.4) se sigue que
1

f (t) cos(nt)dt = an
0

para cada n 0.


Corolario 2.2 Sea (cn )

n=0 R no negativa que converge a cero. Entonces existe

f L+
1 (T) tal que f (n) = f (n) > cn para cada n 0.

Prueba: Solo necesitamos encontrar una sucesin convexa (an )

n=0 tal que

an > 2cn para toda n, como en el Teorema (2.3), para poder denir f como fue
denida en (2.2.1) y tenemos que f(n) = f(n) = a2n para toda n 0.

Para obtener (an )

n=0 , primero obtengamos una sucesin (nk )k=0 de enteros no
negativos.
Sea n0 = 0. Si nk1 ha sido elegido para k 1, entonces seleccionemos nk > 2nk1
tal que
1
cn < k+2
para
n nk .
(2.2.5)

Es claro que
2(nk+1 nk ) > (nk nk1 )

(2.2.6)

M = 1 + 2 max{cn : 0 n < n1 }.

(2.2.7)

para todo k 1. Sea

Denamos an por
1
+ M (n1 n)
2

para

0 n n1

(2nk+1 nk n)
(2k+1 (nk+1 nk ))

para

nk n nk+1

an =

y
an =

para k > 0.
Notemos que para n = nk se obtiene ank = 21k con k 1. Es obvio que (ak )
k=0 es
decreciente y tiene lmite 0, adems por (2.2.5) y (2.2.7) se tiene que 2cn < an para
todo n 0.

24

Captulo 2.

Qu series trigonomtricas son series de Fourier?

Por la propiedad de convexidad, se tiene

an1 + an+1 2an

si

nk1 < n < nk

Si n = nk usemos (2.2.6) y el hecho que an1 1 > M 1

k = 1 ) para obtener

para

k > 0.

(n1 +1)
2n1

( para el caso

nk nk1 + 1 nk+1 nk 12
+
2k (nk nk1 ) 2k (nk+1 nk )


1
1
1
= k 1+
+1
2
nk nk1
2(nk+1 nk )


1
1
1

> 2ank .
= 2ank + k
2 nk nk1 2(nk+1 nk )

ank 1 + ank +1

El Corolario (2.2) muestra que las sucesiones de los coecientes de Fourier

pueden tender a 0 tan lentamente como se quiera.

Ejemplo 2.2 Para cualquier sucesin convexa, con lmite 0 como en el Teorema
(2.3) tal que

X
an
n=1

= ,

tenemos por el Teorema (2.3) que la serie

an cos(nt),

n=1

es una serie de Fourier, y sin embargo el Teorema (2.1) nos dice que

an sen(nt),

n=1

no es serie de Fourier.

Lema 2.4 Sea f L2 (T). Entonces

(1). ksp (f )k2 kf k2
(2). lm kf sp(f ) k2 = 0.
p

para

p 0.

donde sp (f ) es como en (1.18).

2.3. Identidades de Parseval

25

Prueba: Como abreviatura denotemos,

1
hg, hi =
2

g(t)h(t)dt,

int

en = e ,

sp = sp (f ) =

p
X

f(n)en .

n=p

Entonces kf k22 = hf, f i,

y 1 si k = n,

hen , ek i = 0 para k 6= n

f(n) = hf, en i = hen , f i,

p
X

hsp , f i =

f(n)hen , f i =

p
X

f(n)hf, en i =

n=p

y
hsp , sp i =

p
p
X
X

|f(n)|2 ,

n=p

n=p

hf, sp i =

p
X

p
X

|f(n)|2

n=p

f(n)f(k)hen , ek i =

n=p k=p

p
X

|f(n)|2 .

n=p

Por lo tanto
0

kf sp k22

= hf sp , f sp i = hf, f ihf, sp ihsp , f i+hsp , sp i =

kf k22

p
X

|f(n)|2

n=p

para p 0, as

|f(n)|2 kf k22 .

(2.2.8)

n=

Ahora por (2.2.8) y el Teorema (2.2) existe g L2 (T) tal que g(n) = f(n) para
toda n, y
kg sp k2 = kg sp (g)k2 0
cuando
p .
Por el Teorema (1.4) tenemos que f = g c.d, y as kf sp k2 = kg sp k 0.


2.3.

Identidades de Parseval

Lema 2.5 (Identidades de Parseval) Sea f, g L2 (T). Entonces

R

(1).

g (n) =
f(n)

1
2

(2).

|f(n)|2 =

n=

n=

1
2

f (t)g(t)dt

|f (t)|2 dt.

En particular, estas dos series convergen.

26

Captulo 2.

Qu series trigonomtricas son series de Fourier?

Prueba: Usemos la notacin de la prueba anterior, tenemos

hsp (f ), sp (g)i =

p
p
X
X

f(n)
g (k)hen , ek i =

n=p k=p

p
X

f(n)
g (n)

n=p

para todo p 0, y as usamos Lema (2.4) y Desigualdad de Schwarz

(ver [6], Pgina 340), se tiene
|hf, gi

p
X

f(n)
g (n)| = |hf, gi hsp (f ), sp (g)i|

n=p

|hf, gi hsp (f ), gi| + |hsp (f ), gi hsp (f ), sp (g)i|

kf sp (f )k2 kgk2 + ksp (f )k2 kg sp (g)k2
kf sp (f )k2 kgk2 + kf k2 kg sp (g)k2 0

cuando

p .

Por tanto conclumos que

lm

p
X

f(n)
g (n) = hf, gi,

n=p

as se cumple (1). Finalmente (2) se sigue de (1) con f = g .



Observacin 2.1 Combinando Lema (2.5) y Teorema (2.2) tenemos que la

funcin f f, restringida a L2 (T), es una isometra lineal de L2 (T) sobre l2 (Z).

En resultados anteriores se ha probado que si f L2 (T), entonces la series de

Fourier de f converge en norma cuadrtica de L2 (T). Es decir, para cada
f L2 (T), se tiene que
lm kf sn(f ) kL2 = 0.

De aqu se sugiere el estudio del problema anlogo en los espacios Lp (T) si

1 p y p 6= 2, el cual se discutir al nal del captulo 4.

Captulo 3
Sumabilidad de las Series de Fourier

Dada f L1 (T), la serie de Fourier de f es

a0 X
+
(ak cos(nx) + bk sen(nx));
2
n=1

la pregunta central es, dada f L1 (T), cundo sn (f, x) converge a f (x) para cada
x en algn sentido?, es decir convergencia puntual, convergencia uniforme,
convergencia en norma Lp (T) para 1 p, etc.
En el presente captulo se analizara, que la convergencia puntual de la sucesin
de sumas parciales de Fourier de f, sn (f, x) puede no converger al valor f (x) para
algn x, incluso para funciones continuas como se ver en el siguiente captulo.
Sin embargo, cambiando el criterio de sumabilidad de la sucesin de sumas
parciales de Fourier sn (f, x) de f ,( por ejemplo, sumabilidad de Cesro,
sumabilidad de Abel, etc ), se puede recuperar la funcin en sus puntos de
continuidad como se ver en el presente apartado.
3.1.

Sumabilidad de Cesro y de Abel.

Denicin 3.1 Sea (cn )

n=0 sucesin de nmeros complejos. Escribimos
sn =

n
X

ck

n =

k=0

1 X
sk .
n + 1 k=0

Si existe un s C tal que lm n = s, entonces decimos que la serie

n
Cesro convergente. Y escribimos
C

k=0 ck

es

ck = s.

k=0

27

28

Captulo 3.

Sumabilidad de las Series de Fourier

Sea (cn (x))

n=0 sucesin de funciones complejas denidas en X 6= y sea n (x)
como se deni anteriormente. Si existe una funcin compleja s denida en X, tal
que nP
(x) s(x) uniformemente en X cuando n . Entonces decimos que la
serie
k=0 ck (x) es Cesro uniformemente convergente a s en X.

Denicin 3.2 Sea (cn )

n=0 una sucesin de nmeros complejos, tal que
A(r) =

cn r n ,

n=0

converge para 0 r < 1. Si lm A(r) = s C, entonces decimos que la serie

r1

n=0 cn es Abel convergente. En este caso escribimos

cn = s.

n=0

De igual forma si (cn (x))

n=0 es una sucesin de funciones complejas denidas en
X, tal que
A(x, r) =

cn (x)rn ,

n=0

es convergente para x X y 0 r < 1. Y si existe una funcion

Psen X tal que
lm A(x, r) = s(x) uniformemente en X. Decimos que la serie n=0 cn (x) es Abel
r1
uniformemente convergente a s.

Teorema 3.1 Sea (cn )

n=0 sucesin de funciones complejas acotadas, denidas en
X 6= . Consideremos

cn .

(3.1.1)

n=0

Si (3.1.1) es C uniformemente convergente a s en X, entonces (3.1.1) es Abel

uniformemente convergente.

Prueba: Sabemos que n

lm ||s n ||u = 0. Dado  > 0 existe n0 N tal que
||s n ||u <


2

si n n0 . Sea r0 [0, 1) tal que

n0
X

(1 r0 )
(n + 1)||s n ||u < .
2
n=0
2

Ya que la serie (3.1.1) es C convergente para cada x X . Se tiene que

n (x) s(x) con s(x) C, as que
sn (x)
[(n + 1)n (x) nn1 (x)]
=
s(x) s(x) = 0,
n
n

(3.1.2)

3.1. Sumabilidad de Cesro y de Abel.

29

cn (x)
sn (x) n 1 sn1 (x)
=

0.
n
n
n n1
De esto se sigue que |cn (x)| n para n n1 , as


nX

1 1
 X
X
X


|cn (x)||r|n +
n|r|n ,
cn (c)rn 
|cn (x)||rn |
|A(x, r)| = 
 n=0
 n=0
n=0
n=n
1

Ahora aplicando el criterio de convergencia de Cauchy (ver [6], Pgina 70), al

ltimo trmino de la desigualdad anterior, se tiene
y

n|r|n 0

lm

p
n
n|r|n = |r| < 1,

as la serie A(x, r) esta acotada por una serie converge para cada x X y para
|r| < 1.

Ahora tenemos que

1

(1 r)

1rn

n=0

y aplicando producto de Cauchy

A(x, r) = (1 r)

sn (x)rn

n=0

y nuevamente aplicando producto de Cauchy tenemos que

A(x, r) = (1 r)

(n + 1)n (x)rn ,

n=0

para toda x X y |r| < 1.

Tenemos que
s(x) = (1 r)

(n + 1)s(x)rn ,

n=0

y haciendo la diferencia con (3.1.3) se sigue que

2

s(x) n (x) = (1 r)

X
n=0

para x X y |r| < 1.

Ahora sea x X y r0 r < 1, entonces

(n + 1) [s(x) n (x)] rn ,

(3.1.3)

30

Captulo 3.

|s(x) A(x, r)| (1 r0 )2

Sumabilidad de las Series de Fourier

n0

X
X
(n + 1)||s n ||u + (1 r)2
(n + 1)||s n ||u rn
n=0

n=n0 +1

<

X


(n + 1) rn
+ (1 r)2
2
2
n=n +1
0

<



(n + 1)rn
+ (1 r)2
2 2
n=0

<



+ = .
2 2


Teorema 3.2 Sea f L1 (T), Dn y Kn como en Teorema (2.2) :

y sea



sen (n + 12 )t
Dn (t) =
,
sen( 12 t)



sen2 ( n+1
)t
2
Kn (t) =
(n + 1) sen2 [( 21 )t]

Pr (t) =

r|k| eikt

k=

para todo n 0, 0 r < 1, y x, t R. Entonces

1 r2
,
1 2r cos(t) + r2
R
P
1
(2). sn (f, x) = nk=n f(k)eikt = 2
f (x t)Dn (t)dt,

R
Pn
1
1
(3). n (f, x) = n+1
k=0 sk (f, x) = 2 f (x t)Kn (t)dt,
R
P
1
|k|
ikt
(4). r (f, x) =
= 2
f (x t)Pr (t)dt
k= r f (k)e

(1). Pr (t) =

Prueba: Para probar (1), sea t R jo y 0 r < 1. Ya que la p-sima suma
parcial de Pr (t)

p
X

|k| ikt

r e

k=p

p
X
k=0

k ikt

r e

p
X

rk eikt ,

k=1

tomando lmite p tenemos

X
k=0

X
rk eikt +
rk eikt =
k=1

reit
1 reit + reit r2
1 r2
1
+
=
=
1 reit 1 reit
1 2 cos(t) + r2
1 2r cos(t) + r2

3.1. Sumabilidad de Cesro y de Abel.

31

Para probar (2) y (3) usemos la denicin de Dn y Kn dada en el Teorema (2.2),

entonces tenemos
sn (f, x) =

n
X

Z
n
X
1
f (u)eiku dueikx
2

k=n
" n
#
Z
X
1
=
f (u)
eik(xu) du
2
k=n
Z
1
=
f (u)Dn (x u)du
2

f(k)eikx =

k=n

y
Z
n
n
1 X
1 X 1
n (f, x) =
f (u)Dk (x u)du
sk (f, x) =
n + 1 k=0
n + 1 k=0 2
"
#
Z
n
1
1 X
=
f (u)
Dk (x u) du
2
n + 1 k=0
Z
1
=
f (u)Kn (x u)du,
2

ahora haciendo la sustitucin t = x u queda probado (2) y (3). Para mostrar (4)
tomemos la p-sima suma parcial, se tiene
p
X
k=p

r f(k)eikx =
|k|

p
X

1
r
2
k=p
|k|

f (u)eiku dueikx

Z
p
1 X |k|
=
r
f (u)eik(xu) du
2 k=p

1
=
2

"

f (u)

p
X

#
r|k| eik(xu) du.

k=p

Ya que la funcin Pr (t) converge uniformemente en [, ] del Teorema (3.106) de

[6] con 0 r < 1, es posible pasar el lmite dentro del signo de integral.


A las funciones Dn (t), Kn (t) y Pr (t) denidas anteriormente son llamadas el ncleo
de Dirichlet, Fejr y Poisson respectivamente. El siguiente teorema nos muestra
algunas propiedades de dichos ncleos.

32

Captulo 3.

Sumabilidad de las Series de Fourier

Teorema 3.3 Sea Kn y Pr como anterior. Entonces, para n 0, 0 r < 1, y

t R, tenemos
(1).

1
2

Kn (t)dt =

1
2

(2). Kn (t) = Kn (t)

(3). 0 Kn (t) n + 1
(4). 0 Kn (t)

Pr (t)dt = 1,

2
(n+1)t2

Pr (t) = Pr (t),

1r
1+r

si

0 < t .

Pr (t)

1+r
,
1r

Prueba: Es claro que por denicin de Dk (t) en Teorema (2.2), se tiene



k
X



|Dk (t)| = 
eijt  2k + 1,


j=k

y as

n
X
(2k + 1) = (n + 1)2 .
(n + 1)Kn (t)
k=0

Ahora sabemos que

 
t
t
sen

para

0 t .

De (2.10) para n = 0, se prueba la primera igualdad de (1). Ahora del

Teorema (3.2) tenemos que
Pr (t) =

|k| ikt

r e

=1+

ikt

+e

ikt

=1+2

k=1

k=

rk cos(kt).

k=1

Ya que la funcin Pr (t) converge uniformemente en R, se sigue que

1
2

1
Pr (t)dt =
2

1
dt +

cos(kt)dt = 1.

Es claro (2), ahora tenemos que

n
X
(n + 1)Kn (t)
(2k + 1) = (n + 1)2 ,
k=0

esto prueba la primera desigualdad de (3). Sabemos que 1 cos(t) 1 y

0 r < 1, tenemos
(1 + r)2 = 1 + 2r + r2 1 2r cos(t) + r2

3.2. Teorema de Fejr

y

33

1 2r cos(t) + r2 1 2r + r2 = (1 r)2

por tanto

Si sen( 2t )

1r
1+r
Pr (t)
.
1+r
1r
t

para 0 t , entonces
0 Kn (t)

t2
2

sen2 ( 2t ) para 0 t , as

1
2

.
t2 (n + 1)
(n + 1) sen2 ( 2t )


3.2.

Teorema de Fejr

Teorema 3.4 (Fejr) Si f L1 (T), entonces

(1). Si x R tal que f (x) = lm f (t) y f (x+) = lm f (t) existen y son nitos,
tx

tx

f (x) + f (x+)
.
entonces lm n (f, x) =
n
2
(2). Si f es continua en el intervalo [a, b] R, entonces el polinomio

trigonomtrico


n 
X
|k|
f(k)eikx
n (f, x) =
1
n
+
1
k=n

converge uniformemente a f en [a, b].

A dichos polinomios n (f ) son llamados sumas de Fejr de f .

Prueba: Fijemos x R, sea s(x) C arbitrario. Entonces por Teorema (3.2-3) y

Teorema (3.3-1) se tiene que

1
n (f, x) s(x) =
2
1
=
2

donde escribimos s(x) =

[f (x t) s(x)] Kn (t)dt

[f (x t) + f (x + t) 2s(x)] Kn (t)dt, (3.2.1)

f (x)+f (x+)
.
2

Sea  > 0 dado. Escojamos 0 < < tal que

|f (x t) + f (x + t) 2s(x)| <


2

(3.2.2)

34

Captulo 3.

Sumabilidad de las Series de Fourier

siempre que 0 < t < . Sea N N tal que





2 2
(||f ||1 + |s(x)|) < .
2
N
2

(3.2.3)

Escribimos (x, t) = f (x t) + f (x + t) 2s(x); de (3.2.1) tenemos

1
|n (f, x) s(x)|
2

|(x, t)Kn (t)|dt.

0

De (3.2.2), (3.3-3) y (3.3-1) se tiene que

1
2

1
|(x, t)Kn (t)|dt
2

Z
0



Kn (t)dt .
2
2

De forma similar las ecuaciones (3.3-4) y (3.2.3) muestran que para n N se tiene
Z

Z
|(x, t)Kn (t)|dt

|(x, t)|

2
dt
(n + 1)t2

Z
2

[|f (x t)| + |f (x + t)| + 2|s(x)|] dt

(n + 1) 2


2

(2||f ||1 + 2||f ||1 + 2|s(x)|) < ,

(n + 1) 2

de esto conclumos que

|n (f, x) s(x)| < 

(3.2.4)
(3.2.5)

para toda n N. La prueba

de (2) es casi la misma que para (1), a la cual se le harn las siguientes modicaciones.
Supongamos que f es continua en [a, b], entonces escribimos s(x) = f (x) para
x [a, b]. La funcin f es uniformemente continua en [a, b], entonces escojamos
0 < < independiente de x [a, b] tal que se cumpla (3.2.2) para toda x [a, b]
y 0 < t < .
Ahora sea N N para obtener (3.2.3) donde |s(x)| se remplaza por
M = sup {|f (x)| : a x b} ,

as N es independiente de x [a, b]. Cambiemos a |s(x)| en (3.2.4) por M para

tener (3.2.5) con x [a, b] y n N.


Observacin 3.1 Del Teorema (3.4-2) n (f, x) puede ser remplazada por r (f, x)
lo cual se sigue del Teorema (3.1).

3.3. Teorema de Lebesgue

3.3.

35

Teorema de Lebesgue

Teorema 3.5 (Lebesgue) Si f es una funcin compleja Lebesgue medible

denida casi en todo R tal que

|f (t)|dt < ,
a

para cada a, b R con a < b (a tal funcin decimos que es localmente integrable),
entonces existe E R Lebesgue medible tal que (R\E) = 0 y
1
(1). lm
h0 h

1
(2). lm
h0 h

x+h

|f (t) c|dt = |f (x) c| para cada x E y c C.

x
h

|f (x + t) + f (x t) 2f (s)|dt = 0 para cada x E.

(donde es la medida de Lebesgue)

Prueba: Sea (cn )

n=1 C denso numerable. Denamos para cada n N a Fn en
R por

|f (t) cn |dt

Fn (x) =
0

y sea En = x R : Fn (x) = |f (x) cn | . Haciendo uso del Teorema (6.84) de [6],

se tiene que (R\En ) = 0, y por tanto En contiene a cada x para el cual f es
continua.
0

Ahora sea E =

En . As E es medible y
!

X
[
(R\En ) = 0,
(R\E) =
(R\En )

n=1

n=1

n=1

entonces (R\E) = 0. Sea x E, c C y  > 0 dado. Fijemos n tal que

|cn c| < 3 . Entonces x En , y por lo tanto existe > 0 tal que
 Z x+h
 

1
  Fn (x + h) Fn (h)





|f
(t)

c
|dt

|f
(x)

c
|
=

|f
(x)

c
|
n
n
n
h
 

h
x

< ,
(3.3.1)
3
siempre que 0 < |h| < (h R).

36

Sumabilidad de las Series de Fourier

Captulo 3.

Es obvio que
||f (t) c| |f (t) cn || |c cn | <


3

para cada t,

y as tenemos que
 Z x+h
  Z x+h

Z
1
 1
1 x+h
  



|f (t) c|dt
|f (t) cn |dt < 
dt = ,
h
h x
h x
3  3
x

(3.3.2)

para 0 6= h R. Tambin se tiene que


||f (x) cn | |f (x) c|| < .
3

(3.3.3)

Combinando la ecuaciones (3.3.1), (3.3.2) y (3.3.3) se tiene

  Z x+h

 Z x+h
Z
 1

1
1 x+h



|f (t) c|dt |f (x) c| 
|f (t) c|dt
|f (t) cn |dt
h
h x
h x
x
 Z x+h

1


+ ||f (x) c| |f (x) cn || + 
|f (t) cn |dt |f (x) cn |
h x



< + + = .
3 3 3
siempre que 0 < |h| < (h R). Esto prueba (1).
Ahora jemos x E , 0 6= h R y tomando los cambios de variable u = x + t y
v = x t, se sigue que
1
0
h

1
=
h

|f (x + t) + f (x t) 2f (x)|dt
0
h

1
|f (x + t) f (x)|dt +
h

x+h

1
|f (u) f (x)|du +
h

|f (x t) f (x)|dt
0

xh

|f (v) f (x)|dv,
0

as (2) se sigue de (1) tomando lmite para c = f (x).



Denicin 3.3 Sea f como en el Teorema (3.5). Un punto x R es llamado

punto de Lebesgue de f , si el Teorema (3.5-2) se satisface. El conjunto de puntos

de Lebesgue de f es llamado conjunto de Lebesgue de f .

3.4. Teorema de Fejr-Lebesgue

37

Ejemplo 3.1 El Teorema (3.5) nos dice que si f es localmente integrable,

entonces casi todo punto de R es punto de Lebesgue de f . Pero no todo punto de

Lebesgue satisface el Teorema (3.5-1).

Tomemos la funcin

1 si t > 0
0 si t = 0
f (t) =

1 si t < 0.

Se tiene
1
lm
h0 h

Z
0

1
|f (x + t) + f (x t) 2f (s)|dt = lm
h0 h

|f (t) f (t)|dt = 0.
0

As x = 0 es punto de Lebesgue, sin embargo x = 0 no satisface el Teorema (3.5-1),

ya que si tomamos c = 0, tenemos
1
lm
h0 h

3.4.

Z
0

1
|f (t) c|dt = lm
h0 h

|f (t)|dt = 1 6= 0.
0

Teorema de Fejr-Lebesgue

Teorema 3.6 (Fejr-Lebesgue) Si f L1 (T), entonces n

lm n (f, x) = f (x)

para cada x punto de Lebesgue de f . En particular, la serie de Fourier de f es C

convergente casi para todo x R.

Prueba: Sea x punto de Lebesgue de f jo. Escribamos

(t) = f (x + t) + f (x t) 2f (x)

y
Z

|(t)|dt,

(h) =

() = a.

Sea  > 0 dado. Entonces por el Teorema (3.5-2), existe 0 < < tal que



1
 (h) < 
 13
h

para

0 < |h| .

Ahora por el Teorema (3.3-4) escojamos N 

0 Kn (t) <

tal que


a+1

si n N y t .
Ahora tenemos
Z
2|n (f, x) f (x)|

Z
|(t)|Kn (t)dt =

1
n

|(t)|Kn (t)dt

38

Captulo 3.

Sumabilidad de las Series de Fourier

1
n

|(t)|Kn (t)dt.

|(t)|Kn (t)dt +

(3.4.1)

Estimaremos cada una de estas integrales para n N. Del Teorema (3.3-3), se

tiene
Z

1
n

Z
|(t)|Kn (t)dt

ya que 0 <

1
n

1
n

 
 
1
2
1
2n
< ,
|(t)|(n+1)dt = (n+1)
n
n
13

< .
Z

Z
|(t)|Kn (t)dt

|(t)|

La funcin



dt
() < .
a+1
a+1

(3.4.2)
(3.4.3)

|(t)|dt

(h) =
0

es absolutamente continua en [ n1 , ] por el Teorema (6.84) en [6], tambin la

funcin G(t) = t12 es absolutamente continua en el mismo intervalo.
Si nombramos
Z

|(t)|dt,

F (t) =
0

usando el Teorema (3.3-4), y integracin por partes Teorema (6.90) en [6], se tiene
Z

1
n

"Z
#

2
1
2
|(t)|Kn (t)dt
|(t)|
|(t)| 2 dt
dt =
2
1
1
(n
+
1)t
(n
+
1)
t
n
n
"Z
 #
Z 
Z 1

n
2
1
2
|(t)|dt +
=
|(t)|dt 2 n2
(t) 3 dt
1
(n + 1) 0

t
0
n
#
"
 
Z
2
1
2
2
=
() n
+2
(t)t3 dt
1
(n + 1)
n
n
Z
2
2


2
 2
<
1 +
t dt
(n + 1)
13 (n + 1) n1 13


2
2 2 
3 2 
<
+
(n 1 ) <
.
(3.4.4)
13
13(n + 1)
13
Z

Ahora de las ecuaciones (1.13), (1.14), (1.15) y (1.12) se sigue



1 2 3 2 

6
3
|n (f, x) f (x)| <
+
+ <
+
+
<
2 13
13
13 13 13

para todo n N.

3.4. Teorema de Fejr-Lebesgue

39


Corolario 3.1 Si f L1 (T) y si su serie de Fourier s(f ) de f converge c.d. en R

a una funcin g, entonces g = f c.d.

Prueba: Sea x R tal que n

lm sn (f, x) = g(x), entonces dado  > 0 existe
n0 N tal que |g(x) sn (f, x)| <


2

para n n0 .

Ahora sea N > n0 tal que

n

0

 
X
1 

 (g(x) sk (f, x)) < .
 2
N  k=0

Si n > N entonces


n

 1 X


(g(x) sk (f, x))
|g(x) n (x)| = 

n + 1
k=0

n

n
0

X
1 X
1


|g(x) sk (f, x)|

 (g(x) sk (f, x)) +
 n+1
n + 1  k=0
k=n +1
0

 n n0 
+
< .
2
n+1 2
Usando el Teorema (3.6) se sigue que
<

g(x) = lm sn (f, x) = lm n (f, x) = f (x).

n

Teorema
3.7 Si f C(T), entonces
la funcin F denida en el disco unitario


D = rei : R, 0 r 1 por
Z
1
i
i
F (e ) = f ()
y
F (re ) =
f ( t)Pr (t)dt
si
0 r < 1.
2
es continua.

Prueba: Claramente la funcin est bien denida. Para |z| < 1, escribimos
z = rei y usando Teorema (3.2-4) tenemos que
F (z) =

X
k=

r f(k)eik =
|k|

X
k=0

f(k)z k +

f(k)z k .

k=1

La funcin f es acotada, por tanto las dos series convergen para |z| = |z| < 1. As
estas dos sumas son continuas para |z| < 1. Esto prueba que la funcin F es

40

Captulo 3.

Sumabilidad de las Series de Fourier

continua en D0 = {z C : |z| < 1} .

Ya que la funcin f C(T), entonces por el Teorema (3.4-2) con [a, b] = [, ] y
Teorema (3.1) se sique que
lm F (rei ) = lm r (f, ) = f () = F (ei )
r1

r1

uniformemente para R. Entonces dado  > 0, existe 0 < < 1 tal que
1 < r 1 implica que
|F (rei ) F (ei )| <


2

(3.4.5)

para toda R.
Sabemos que f es continua y peridica, entonces se tiene que f es
uniformemente continua en R, as existe 0 < tal que
|F (ei ) F (ei )| = |f () f ()| <


2

(3.4.6)

para cada , R tal que | | < .

Ahora para vericar la continuidad de F en la frontera de D, sea R jo. Sea
 > 0 dado, escojamos y como anteriormente, entonces aplicando (3.4.5) y
(3.4.6) se tiene que
|F (rei ) F (ei )| |F (rei ) F (ei )| + |F (ei ) F (ei )| <



+ =
2 2

siempre que 1 < r 1 y | | < .



Teorema 3.8 Si f L1 (T) esencialmente acotada: |f (x)| M < c.d. en R,

entonces ||n (f )||u M para cada n 0.
Prueba: Por Teorema (3.2-3) y el Teorema (3.3-1) se tiene que
1
|n (f, x)|
2

1
|f (x t)|Kn (t)dt
2

M Kn (t)dt = M

para cada x y para cada n.



Captulo 4
Localizacin de Riemann y Criterios
de Convergencia

En este apartado establecemos unos pocos ( de los muchos ) teoremas clsicos

que se ocupan de la convergencia ordinaria, es decir; puntual, uniforme y
convergencia en norma ( en Lp (T), 1 p ) de las series de Fourier. Queremos
criterios que nos permitan deducir la convergencia de una propiedad sencilla de la
funcin.
Iniciaremos mostrando el teorema clsico de no convergencia puntual para
funciones continuas probado por du Bois-Reymond en 1873. La prueba ser
presentada en forma no constructiva haciendo uso del teorema de acotacin
uniforme.
4.1.

No convergencia puntual

Teorema 4.1 Existe f funcin continua con valores en R cuya serie de Fourier
diverge en un punto t0 .

Prueba: Sea X el espacio normado de las funciones continuas 2peridicas con

norma denida por

||x|| = sup {|x(t)| : t [a, b]} .

(4.1.1)

Se tiene que X es un espacio de Banach con a = 0 y b = 2 . Tomemos t0 = 0.

Para probar nuestra armacin, haremos uso del teorema de acotacin uniforme
Teorema (4.7-3) en [3], para Tn = sn , donde sn (x) es el valor en t = 0 de la n-sima
suma parcial de la serie de Fourier de x como en (1.1.2).
41

42

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

Entonces se tiene que

#
"
Z
n
n
X
1
1 2
1 X
sn (x) = a0 +
am =
+
cos(mt) dt,
x(t)
2

2
0
m=1
m=1

donde

1
am =

x(t) cos(mt)dt.
0

Ahora haciendo los siguientes clculos tenemos que


2 sen

 n
 
n
X
1 X
1
t
cos(mt) =
2 sen
t cos(mt)
2 m=1
2
m=1
n 
X



 

 
1
1
=
sen
m
t + sen
m+
t
2
2
m=1
 

 
1
1
= sen
t + sen
n+
t
(4.1.2)
2
2


y dividiendo (4.1.2) por sen 12 t y arreglando trminos tenemos que



n
X
sen n + 21 t


= Dn (t),
1+2
cos(mt) =
sen 12 t
m=1

donde Dn (t) es el ncleo de Dirichlet como en el Teorema (2.2). Por lo tanto sn (x)
se puede escribir como
1
sn (x) =
2

donde

x(t)Dn (t)dt

Dn (t) =

sen

n + 21 t


.
sen 12 t

(4.1.3)

Ahora usemos esto para probar que sn es un funcional lineal acotado. Entonces de
(4.1.1) y (4.1.3) tenemos que
1
|sn (t)|
sup |x(t)|
2

Z
0

||x||
|Dn (t)|dt =
2

|Dn (t)|dt.
0

Desde luego cada sn es acotado, ms aun tomando el supremo sobre toda x tal que
||x|| = 1, tenemos que
Z
||sn ||

1
2

|Dn (t)|dt.
0

En realidad la igualdad se da, como probaremos a continuacin.

Escribamos
|Dn (t)| = y(t)Dn ,

4.1. No convergencia puntual

43

donde y(t) = +1 para cada t donde Dn (t) 0 y y(t) = 1 en otro caso.

Claramente y no es continua, entonces dado  > 0 podemos modicar y a una
funcin x continua tal que ||x|| = 1 y tener

Z

1  2
[x(t) y(t)] Dn (t)dt < .

2 0

Ahora escribamos esto en dos integrales y usando (4.1.3) para tener

 

Z
Z 2
Z 2
 

1  2
1


x(t)Dn (t)dt
y(t)Dn (t)dt = sn (x)
|Dn (t)|dt < .

2 0
2 0
0

Como  > 0 fue arbitrario y ||x|| = 1, esto prueba que

1
||sn || =
2

(4.1.4)

|Dn (t)|dt.
0

Finalmente, probemos que la sucesin ||sn || no es acotada.

Sustituyamos en (4.1.4) la expresin de Dn de (4.1.3), y usando el hecho que

 


sen 1 t  < t

2  2


y tomando v = n + 21 t, tenemos

para

t (0, 2]


Z 2 
1
sen
n
+
t 
1


2
||sn || =

 dt
1

2 0 
sen 2 t



Z
1 2 | sen n + 12 t |
>
dt
0
t
Z
1 (2n+1) | sen(v)|
=
dv
0
v
2n Z
1 X (k+1) | sen(v)|
=
dv
k=0 k
v
Z (k+1)
2n
1X
1

| sen(v)|dv
k=0 (k + 1) k
2n
2 X 1
= 2

k=0 k + 1

cuando

n ,

44

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

ya que la serie armnica es divergente. As ||sn || no es acotada. Ya que X es

completo, el Teorema de Acotacin Uniforme nos garantiza la existencia de x X
tal que |sn (x)| es divergente.
Ahora por la denicin de sn , esto muestra que la serie de Fourier de x es
divergente en t = 0.


A continuacin demostraremos un teorema mucho ms general.

Denicin 4.1 Sea (X, ) espacio topolgico, con M X. Decimos que M es de

primera categora

si

M=

Ai ,

i=1

donde Ai es nunca denso, es decir ( int(Ai ) = ). Si M no es de primera

categora, entonces decimos que es de segunda categora.

Denicin 4.2 Sea (X, ) espacio topolgico, y M X. Si M es de primera

categora,

entonces decimos que M c = X \ M es conjunto

residual.

Teorema 4.2 (Principio de Acotacin Uniforme) Sea X , Y espacios de

Banach y A L(X, Y ). Si supT A {||T (x)||} < para cada x en algn conjunto
de segunda categora, entonces supT A {||T ||} < .

Prueba: Sean los conjuntos

Dn =

{x X : ||T (x)|| n} .

T A

Para cada n, se tiene que Dn X es cerrado. Si z Dn , existe sucesin (xn ) Dn

tal que lm xn = z. Ahora si T A, entonces ||T (xj )|| n para cada j .
n

Tomando el lmite j y haciendo uso de la continuidad de

T , se tiene que ||T (z)|| n. De esto se sigue que Dn Dn , y as cada Dn es cerrado.
Existe n N y x0 Dn tal que B(x0 , r) Dn para algn r > 0. Si int(Dn ) =
para cada n N, entonces X\Dn es abierto y denso para cada n. Usando el
teorema de categora de Baire Teorema (4.7-2) de [3], se tiene que
=

\
n=1

X\Dn ,

4.1. No convergencia puntual

45

es denso en X . Si x y T A se tiene que ||T (x)|| = , lo que es una

contradiccin, ya que los operadores son continuos. Ahora sea n N tal que
int(Dn ) 6= , entonces B(x0 , r) Dn para algn r > 0 y x0 Dn .
Sea T A y x X tal que ||x|| r, entonces se sigue que
||T (x)|| = ||T (x x0 ) + T (x0 )||
||T (x x0 )|| + ||T (x0 )||
n + n = 2n.

Ahora si x X tal que ||x|| = 1, entonces ||rx|| = r. As se tiene que

, de esto se sigue que
||T (rx)|| 2n, entonces ||T (x)|| 2n
r
sup {||T ||} < .
T A

Teorema 4.3 (Principio de Condensacin de Singularidades) Sean X y Y

espacios de Banach y {Tj,k } L(X, Y ). Supongamos que para cada k, existe x X

tal que sup {||Tj,k (x)|| : j N} = . Entonces existe B X residual tal que para
cada x B se tiene que sup {||Tj,k (x) : j N} = para cada k.

Prueba: Supongamos que el conjunto de las x X tal que

sup {||Tj,k (x) : j N} < para cada k es de segunda categora en X.

Sea k N ja. Entonces por principio de acotacin uniforme Teorema (4.2) se

tiene que
sup {||Tj,k || : j N} < .

Pero esto no puede ser, ya que existe x X donde el supremo es innito. De

donde el conjunto dado debe ser de primera categora, as su complemento es
residual.


Teorema 4.4 Existe un conjunto G denso F C(T), con la propiedad: Para

cada f F, el conjunto de puntos donde la serie de Fourier de f diverge, es un

conjunto denso en R.

Prueba: Denotemos la n-sima suma parcial de Fourier de f en x T como,

1
sn (f, x) =
2

f (t)Dn (x t)dt,

46

Captulo 4.

donde Dn (t) =
los operadores

Pn

j=n

Localizacin de Riemann y Criterios de Convergencia

eijt ncleo de Dirichlet. Ahora sea x T jo. Consideremos

n : C(T ) R

dados por

n (f ) = sn (f, x).

Por el Teorema (4.1) se tiene

1
||n || =
2

y adems

|Dn (t)|dt,

1 R
|Dn (t)|dt cuando n . De esto se sigue que
2
sup {||n || : n N} = .

Aplicando el principio de acotacin uniforme Teorema (4.2) y acontinuacin el

principio de condensacin de singularidades Teorema (4.3), se tiene que existe
Fx C(T) residual, tal que sup {||n (f )|| : n N} = para cada f Fx .
Dado que Fx = Acx = X\Ax , donde Ax es de primera categora, se tiene que
Ax =

Ai ,

i=1

donde cada Ai es nunca denso. Ahora tenemos que

i=1 Ai i=1 Ai , as que

X\Ai

i=1

X\Ai = Acx = Fx .

i=1

Se tiene que cada X\Ai es abierto y denso, as Fx contiene un G denso, por

teorema de categora de Baire Teorema (4.7-2) de [3].
Si (xj )
j=1 T es denso numerable, entonces para cada j N existe Fxj C(T)
residual; se sigue que

Fxj C(T)

j=1

contiene un conjunto G denso con la propiedad deseada.



El siguiente teorema nos da una manera de ver la suma parcial de una serie de
Fourier como una integral ms simple que la integral de Dirichlet dada
anteriormente en el Teorema (3.2-2).

4.1. No convergencia puntual

47

Teorema 4.5 Sea f L1 (T) y 0 < dado. Entonces

[f (x t) + f (x + t)] sen(nt)
dt + n (x) donde la n (x) depende
t
de la funcin y de . Adems converge uniformemente a 0 en R cuando
n .
R
(2). 1 = 2 0 sen(nt)
dt + 0n , donde los nmeros 0n dependen de y tienen lmite 0
t
cuando n .
(1). sn (f, x) =

R
0

Prueba: Por el Teorema (3.2) tenemos

sen[(n + 12 )t]
Dn (t) =
= [sen(nt)] cot
sen( 2t )

 
t
+ cos(nt),
2

entonces del Teorema (3.2-2) tenemos que

1
sn (f, x) =

donde

  
t
1
f (x t) cot
sen(nt)dt + n (x),
2
2

1
n (x) =
2

(4.1.5)
(4.1.6)

f (x t) cos(nt)dt.

Aplicando la regla de L'Hospital dos veces para mostrar que



1
lm
cot
t0 2

 

t
1

= 0,
2
t

se tiene


1
lm
cot
t0 2

"
 

t
1

= lm
t0 t cos
2
t
"
= lm
t0

t
sen 2t
2

t
+ 2 sen
2

t
2

#
t cos 2t + 2 sen 2t
= 0.
2t sen( 2t ) 8 cos( 2t )

Denamos la funcin 2peridica dada por

1
g1 (t) = cot
2

 
t
1

2
t

para 0 < |t| < y g1 (0) = g1 () = 0; es acotada y pertenece a L1 (T) (es continua
excepto en mltiplos impares de ).
Por (4.1.5) tenemos

48

Captulo 4.

1
sn (f, x) =

donde

Localizacin de Riemann y Criterios de Convergencia

f (x t)

1
n (x) =

sen(nt)
dt + n (x) + n (x),
t

f (x t)g1 (t) sen(nt)dt.

(4.1.7)
(4.1.8)

Ahora denamos g2 funcin 2peridica tal que g2 (t) =

g2 (t) = 0 si |t| < t = .

1
t

si |t| < y

Entonces g2 es acotada y pertenece a L1 (T). De la ecuacin (4.1.7) se tiene

1
sn (f, x) =

donde

f (x t)

sen(nt)
dt + n (x) + n (x) + n (x),
t

1
n (x) =

f (x t)g2 (t) sen(nt)dt.

(4.1.9)
(4.1.10)

De aqu tenemos que la integral en (4.1.9) es igual a (1). Por tanto

n (x) = n (x) + n (x) + n (x).

Ahora (4.1.6), (4.1.8) y (4.1.10) convergen uniformemente a 0 por el Lema (4.1)

cuando n . Esto prueba (1). Para probar (2) tomemos f (t) = 1 para toda t,
entonces sn (f, x) = 1 para cada n y para cada x.


Lema 4.1 Sean f, g L1 (T) con g acotada en R : |g(t)| M < para toda
t R. Entonces

f (x t)g(t)eint dt = 0

lm

|n|

uniformemente para x R.

Prueba: Sea  > 0 dado. Por el Teorema (1.1-2) existe un polinomio

trigonomtrico

P (t) =

p
X

(4.1.11)

cj eijt ,

j=p

tal que

|f (u) P (u)|du <

Escribimos
=

1 + 4


Pp

j=p


.
2M + 1

|cj |

(4.1.12)
(4.1.13)

4.2. Localizacin de Riemann

49

ahora por el Lema (2.1) existe N N tal que

|
g (k)| <

para toda k Z tal que |k| N p.

Para |n| > N y p j p, tenemos |j n| |n| |j| N p, as se tiene que
Z




ij(xt)

 
Z
  ijx
g(t)e dt = e

int

g(t)e

i(jn)t



dt = 2|
g (j n)| < 2.

Usando (4.1.11) y (4.1.13) tenemos

Z





Z
p
X



P (x t)g(t)e dt
|cj | 

int

j=p

ij(xt)

p
X

|cj | <

j=p



g(t)e dt
int


2

(4.1.14)

para toda x y |n| > N. Claramente de (4.1.12) y tomando el cambio de variable

u = x t y del hecho que las funciones f y P son 2peridicas tenemos
Z




int



P (x t)g(t)e dt
int

f (x t)g(t)e dt

|f (x t) P (x t)| |g(t)eint |dt

Z

M
|f (u) P (u)|du < .
2

(4.1.15)

Ahora de las ecuaciones (4.1.14) y (4.1.15) se tiene lo siguiente

Z




 Z
 
f (x t)g(t)e dt 

int

int

f (x t)g(t)e dt



P (x t)g(t)e dt
int

 

int 
P (x t)g(t)e dt < + = .
2 2

Z

+ 

4.2.

Localizacin de Riemann

Dado que los coecientes de Fourier de una funcin dependen de la estructura

de la funcin en todo su dominio, parece sorprendente que el comportamiento de
convergencia o divergencia de la serie de Fourier en cualquier punto particular,
depende solamente de la estructura de la funcin en una vecindad arbitrariamente
pequea de ese punto.

50

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

Teorema 4.6 (Localizacin de Riemann) Sean f1 , f2 L1 (T), y supongamos

que f1 (x) = f2 (x) para cada x en un intervalo abierto I R. Entonces
lm |sn (f1 , x) sn (f2 , x)| = 0

para cada x I. Esta convergencia es uniforme en cada intervalo cerrado J I.

Prueba: Sea J I y tomemos 0 < < tal que x + t y x t estan en I para

cada x J y 0 t .

Escribamos f = f1 f2 , entonces la integral en el Teorema (4.5-1) es 0, y as se

tiene que
sn (f, x) = sn (f1 , x) sn (f2 , x) = n (x)

para cada x J.


Podemos cambiar la pregunta de la convergencia uniforme de las series de

Fourier como una pregunta equivalente sobre lmite de integrales.

Teorema 4.7 Sea f L1 (T), 0 < , y X R dado. Escribimos

(x, t) = f (x + t) + f (x t) 2f (x). Supongamos que f es acotada en X :

|f (x)| M < para cada x X. Entonces para que
(1). lm sn (f, x) = f (x) uniformemente para x X,
n

es necesario y suciente que

1
(2). lm
n

Z
0

(x, t)
sen(nt)dt = 0 uniformemente para cada x X.
t

Prueba: Multiplicando la ecuacin (2) del Teorema (4.5) por f (x) y restando la
ecuacin (1) del Teorema (4.5) se tiene que
1
sn (f, x) f (x) =

Z
0

(x, t)
sen(nt)dt + [n (x) 0n (x)].
t

La funcin f es acotada en X, entonces [n (x) 0n (x)] converge uniformemente a 0

en X.


4.3. Criterio de Dini

4.3.

51

Criterio de Dini

Teorema 4.8 (Dini) Si f L1 (T) y x0 R dado. Supongamos que existe

0 < tal que

Z
0

|(x0 , t)|
dt < ,
t

(4.3.1)

donde es como en el Teorema (4.7). Entonces lm sn (f, x0 ) = f (x0 ).

n

Prueba: Tenemos X = {x0 } . Denamos la funcin g en R como

t1 (x0 , t) si 0 < t <
0 en otro caso.


g(t) =

Ahora aplicando el Lema (2.1) (Riemann Lebesgue) se sigue que

Z
Z
1 (x0 , t) int
1
int
lm
g(t)e
dt = lm
e
dt = 0.
n
n 0
t
Z
1 (x0 , t)
Entonces lm
sen(nt)dt = 0, uniformemente para x X. Por tanto
n 0
t
se satisface el Teorema (4.7-2).


Corolario 4.1 Si f L1 (T), x0 R, y

|f (x0 + t) f (x0 )| M |t|

para

0 < |t| <

para reales positivos , y M independientes de t, Entonces lm sn (f, x0 ) = f (x0 ).

n

Prueba: Tenemos que |(x0 , t)| = |f (x0 + t) + f (x0 t) 2f (x0 )| 2M para

0 < t < , entonces se sigue que t1 |(x0 , t)| 2M t1 para 0 < t < y adems
Z

t1 dt =

< .

As tenemos que se satisfacen las hiptesis del Teorema (4.8).



Corolario 4.2 Si f L1 (T), x0 R, y f diferenciable en x0 . Entonces

lm sn (f, x0 ) = f (x0 ).

52

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

Prueba: Ya que la funcin f es diferenciable por la izquierda y la derecha en x0

tenemos lo siguiente,

lm+

t0

f (x0 + t) f (x0 )
= f+0 (x0 )
t

f (x0 + t) f (x0 )
= f0 (x0 ).
t0
t
Por tanto existe 1 > 0 y 2 > 0 tal que
lm

si

|f (x0 + t) f (x0 )| (1 + |f+0 (x0 )|)t

0 < t < 1

y
|f (x0 + t) f (x0 )| (1 + |f0 (x0 )|)|t|
si
2 < t < 0.


Sea = mn {1 , 2 }, = 1 y M  max |f+0 (x0 )|, |f0 (x0 )| se tiene que

para

|f (x0 + t) f (x0 )| M |t|

0 < |t| < ,

as se satisface Corolario (4.1-1).



Denicin 4.3 Sea [a, b] R con a b. Una particin en [a, b] es un conjunto

nito ordenado P = {a = x0 x1 x2 xn = b} . Y sea Ba,b la coleccin de

todas las particiones de [a, b]. Para una funcin real f en [a, b], denimos la
variacin de f en [a, b] correspondiente a P = {a = x0 x1 x2 xn = b}
por
Vab (f, P )

n
X

|f (xk ) f (xk1 )| [0, ).

k=1

Denimos la variacin total de f en [a, b] por

Vab (f ) = sup Vab (f, P ) [0, ].
P Ba,b

Decimos que f es una funcin de variacin acotada en [a, b] si Vab (f ) < .

Escribimos como VA([a, b]) a la coleccin de funciones de variacin acotada.

Teorema 4.9 Sea f L1 (T) tal que V02 f < . En este caso decimos que

f VA(T). Entonces

1
|nf(n)| V02 f
4

para toda

n Z.

4.3. Criterio de Dini

53

Prueba: Sean k, n Z tal que n 6= 0, haciendo el cambio de variable u = t + kn

escribimos

1
f(n) =
2

f (u)e

inu

(1)k
dt =
2

Z
0



k int
e
dt;
f t+
n

as
(1)k
2f(n) =
2

Z
0

 



k
(k 1)
f t+
f t+
eint dt.
n
n

Ahora sumando la ecuacin aterior de 1 a 2|n| tenemos lo siguiente:

(1)k
4nf(n) =
2

2|n| 
2 X

Z
0

k=1





k
(k 1)
f t+
f t+
eikt dt,
n
n

de esto tiene que

1
4|nf(n)|
2

Z
0

2|n| 
2 X

k=1

k
t+
n



(k 1) 
f t+
 dt,
n

ya que la funcin es de variacin acotada tenemos

4|nf(n)| V02 f.


En el Teorema (7.40) de [6], se arma que la convergencia de Abel es un mtodo

regular, es decir,
si

cn = s,

entonces

n=0

cn = s.

n=0

P que la convergencia de una serie

PPor esta razn, cualquier teorema que arma
c
que
converge
a
s
,
implica
que
M

n=0 cn converge a s, donde M es

n=0 n

algn mtodo de sumabilidad, es llamado teorema Abeliano. El reciproco de un

teorema Abeliano en general es falso, pero podra admitir algunas hiptesis
adicionales: En 1897 A.Tauber probo que,
si

X
n=0

cn = s y ncn 0,

entonces

= s.

n=0

Debido a esto, cualquier teorema que arma la convergencia ordinaria, la cual se

sigue de un mtodo de sumabilidad y alguna hiptesis adicional es llamado
teorema Tauberiano. La hiptesis adems se llama hiptesis Tauberiana. A
continuacin demostraremos un teorema Tauberiano celebre.

54

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

Teorema 4.10 (Tauberiano de Hardy-Littlewood ) Sea X 6= y (an (x))

n=0
sucesin de funciones reales denidas en X. Supongamos que existe C > 0 tal que
nan (x) C,

para cada x X y n 0. Si la serie

n=0 an (x) es Abel uniformemente
convergente para una funcin s denida en X, entonces esta serie converge
uniformemente a s en X.
P

Prueba: Tenemos que para x X , la serie

A(x, r) =

an (x)rn ,

n=0

converge para 0 r < 1 y lm A(x, r) = s(x) uniformemente para x X. Es decir,

r1
dado  > 0, existe 0 < r0 < 1 tal que |A(x, r) s(x)| <  siempre que x X y
r0 < r < 1.

Es claro que si k N, entonces A(x, rk ) s(x) uniformemente en X cuando r 1

1
( r0k < r < 1 entonces r0 < rk < 1 ).
k
Ahora si P (r) = m
k=0 ck r es un polinomio real tal que P (0) = 0 y P (1) = 1,
tenemos lo siguiente

an (x)P (r ) =

n=0

m
X

ck

k=1

an (x)r

nk

n=0

m
X

ck A(x, r )

m
X

ck s(x)

k=1

k=1

= s(x)P (1) = s(x),

(4.3.2)

uniformemente en X cuando r 1.
Denamos la siguiente funcin en [0, 1] como

(r) =

0
1

si
si

0 r < 12
1
r 1.
2

Para x X y 0 < r < 1, denamos

(x, r) =

N (r)
n

an (x)(r ) =

n=0

donde N (r) = max n N : n

[ 21 , 1] en N.

log(2)
log(r)

an (x),

n=0

. N (r) es claramente no decreciente de

4.3. Criterio de Dini

55

La prueba se completara si logramos probar que

(4.3.3)

lm (x, r) = s(x),
r1

uniformemente en X. Consideremos la funcin

(r) =

1
1r

1
r

si
si

0r<
1
2

1
2

r 1.

Entonces tenemos que

(4.3.4)

(r) = r + r(1 r)(r),

para cada r [0, 1]. Sea 0 <  < C dado. Escribamos =

funciones continuas en [0, 1] tal es que


24C

. Sean f1 y f2
(4.3.5)

f1 (r) + (r) f2 (r) ,

para 0 r 1 y
Z

(4.3.6)

[f2 (r) f1 (r)] dr < 10.

0

( Por ejemplo podemos tomar f1 = en [0, 21 ) [ 12 + , 1] y lineal en [ 21 , 12 + ],

f2 = + en [0, 12 ] [ 21 , 1] y lineal en [ 21 , 12 ] )

Ahora aplicamos el teorema de aproximacin de Weierstrass (ver [6], Pgina

149) a las funciones f1 y f2 , as se tienen dos polinomios Q1 y Q2 tal es que
(4.3.7)

|fj (r) Qj (r)| < ,

para 0 r 1 y j = 1, 2.
Es claro que por las ecuaciones (4.3.5) y (4.3.7) se sigue que
(4.3.8)

Q1 (r) < (r) < Q2 (r),

para 0 r 1 y por (4.3.6) y (4.3.7) se tiene

Z




 Z

[Q2 (r) Q1 (r)] dr

|Q2 (r) Q1 (r)|dr

Z
|Q2 (r) f2 (r)|dr +

< + + 10 = 12.

Por lo tanto

Z
|f1 (r) Q1 (r)|dr +

|f2 (r) f1 (r)|dr

0

56

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

(4.3.9)

[Q2 (r) Q1 (r)] dr < 12.

0

Ahora denamos los polinomios P1 , P2 y Q por

Pj (r) = r + r(1 r)Qj (r),

Q(r) = Q2 (r) Q1 (r).

Entonces
P2 (r) P1 (r) = r(1 r)Q(r);

usando (4.3.4), (4.3.8) y (4.3.9) tenemos

P1 (r) (r) P2 (r, )
Z

Q(r) > 0,

Q(r)dr < 12 =
0

P1 (0) = P2 (0) = 0,


,
2C

P1 (1) = P2 (1) = 1

para 0 r 1.
Notemos que para 0 r 1 y n N se tiene
1 rn = (1 r)(1 + r + ... + rn1 ) n(1 r).
P
El polinomio Q podemos escribirlo como Q(r) = qk=0 bk rk . Combinando lo

anterior tenemos que

(x, r)

an (x)P1 (r ) =

n=0

an (x) [(rn ) P1 (rn )]

n=1

X
C
n=1

[P2 (rn ) P1 (rn )]

X
1
=C
(1 rn )rn Q(rn )
n
n=1

(1 r)C

rn Q(rn )

n=1

= (1 r)C

"
q
X
X
k=0

=C

X
k=0

bk

#
rn(k+1)

n=1

(1 r)rk+1
= Cg(r),
1 rk+1

(4.3.10)

4.4. Criterio de Jordan

57

donde g est denida en (0, 1). Similarmente

an (x)P2 (rn ) (x, r) Cg(r),

(4.3.11)

n=0


(1 rk+1 )
= k + 1,
para 0 < r < 1 y toda x X. Tenemos que lm
r1
(1 r)
Z 1
q
X
bk

Q(r) <
lm g(r) =
=
.
r1
k+1
2C
0
k=0


Entonces existe 0 < r0 < 1 tal que Cg(r) <

(4.3.10) y (4.3.11) nos muestran que


2

siempre que r0 < r < 1. Entonces

X


an (x)P2 (r ) < (x, t) <
an (x)P1 (rn ) + ,
2
2
n=0
n=0
n

(4.3.12)

si r0 < r < 1 y x X. Ahora de (4.3.2) para Pj para j = 1, 2, existen 0 < rj < 1

tal que



 

X

n 
an (x)Pj (r ) < ,
s(x)
 2

n=0

(4.3.13)

siempre que rj < r < 1 y x X . Tomemos r3 = max {r0 , r1 , r2 }. Por (4.3.12) y

(4.3.13) tenemos que
s(x)  < (x, r) < s(x) + ,

si r3 < r < 1 y x X. Esto prueba (4.3.3).



4.4.

Criterio de Jordan

Teorema 4.11 (Jordan) Supongamos que f L1 (T), a < b en R, y Vab f < .

Si a < x < b, entonces
(1).

k=

f (x+) + f (x)
f(k)eikx = lm sn (f, x) =
.
n
2

Si f es continua en (a, b) y J (a, b) intervalo cerrado, entonces

(2). lm sn (f, x) = f (x) uniformemente en J.
n

Prueba: Tomemos g L1 (T) tal que g = f en [a, b] y V02 g < .

[ Si b a 2 tomamos g = f ; si b a < 2 tomamos g = 0 en (b, a + 2) ]. Por

Teorema (4.9) tenemos

 1
k[
g (k)eikx + g(k)eikx ] V02 g = C < ,
2

58

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

para toda k N y para toda x R.

Aplicando la Observacin (3.1) tenemos que
(k)eikx es
k= g
Abel uniformemente convergente a g = f en X = J, respectivamente para X = {x} .
P

Ahora por Teorema (4.10)(Hardy-Littlewood) tenemos que

(k)eikx
k= g
converge uniformemente a g . Ya que g = f en [a, b] y aplicando el Teorema
(4.6)(Localizacin de Riemann) para I = (a, b) obtenemos la conclusin para f .
P

Corolario 4.3 Si f C(T) y V02 f < , (en tal caso escribimos f CVA(T)),
entonces sn (f ) f uniformemente en R cuando n .

Prueba: Tomemos [a, b] = [, 3] y J = [0, 2], entonces por el Teorema (4.11)

sn (f ) f uniformemente en R.

Se debe observar que la condicin de Dini y la de variacin acotada son

independientes entre s. Por ejemplo la funcin
(
f () =

0 si

=0
1

1
log( |x|
)

si

|x| 12 ,

es de variacin acotada, ya que f es estrictamente creciente en [0, 12 ], sin embargo

f no satisface la condicin de Dini en x = 0, ya que si 0 < < 1 tenemos

Z
0

|f (0 + t) + f (0 t) 2(0)|
dt =
t

tomando el cambio de variable u =

Z

1
t log

1
log( 1t )

Z

dt =
1
t

2f (t)
dt = 2
t

Z
0

1
t log

1
t

dt,

tenemos du = 1t u2 dt, entonces se sigue

u
du =
u2

1
du = log (u) .
u

Se deduce que
Z
2
0

1
t log

Z
1
t

dt = lm 2
n

1
n

1
t log

   
1


dt = 2 lm log log
1
1
n
n
t
t

si n . Por otro lado tenemos que la funcin

4.5. Criterio de Lebesgue-Gergen

(
f () =

59
0 si
sen

 =
0
1

|x| ,

satisface la condicin de Dini en x = 0,

Z
0

|f (0 + ) + f (0 ) 2f (0)|
d =

| sen

 
1

sen

d
0

2
d < .

Sin embargo no es de variacin acotada, ya que si tomamos la particin


P =


2
1
2
x0 = 0, x1 =
, x2 =
, ..., xn1 = , xn = ,
(2n + 1)
n

se tiene
V0

 


n 
k
X

 4X
1
1
1


(f, P ) =

xj sen xj xj1 sen xj1  =

2j + 1
j=1
j=1

cuando k .
4.5.

Criterio de Lebesgue-Gergen

El siguiente teorema de convergencia es un tanto complicado, ya que utiliza las

tcnicas de demostracin de los teoremas anteriormente probados.

Teorema 4.12 (Lebesgue-Gergen) Sea f L1 (T), X R, y 0 < 0 < .

Escribimos (t) = (x, t) = f (x + t) + f (x t) 2f (x). Supongamos que f es

acotada en X,
1
(1). lm
h0 h

(t)dt = 0 uniformemente para x X.

y
Z
(2). lm
h0

t1 |(h + h) (t)|dt = 0 uniformemente para x X.

Entonces sn (f, x) f (x) uniformemente en X, cuando n .

Prueba: Supongamos que f es una funcin real. Sea  > 0 dado. Escribamos
Z
(u) =

(t)dt.
0

60

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

Ahora por la convergencia uniforme de (1) y (2) se tiene que existe 0 < <
que para toda x X , se tiene
si

|u1 (u)| < 

si

t1 |(t + h) (t)|dt < 

tal

(4.5.1)

0<u

0
2

0 < h < .

(4.5.2)

Sea

|f (u)|du,

g(s) =
0

y escojamos 0 < M < tal que |f (x)| < M para cada x X , si h > 0 y x X.
Entonces tenemos
Z

+h
1

t |(t)|dt

+h

[|f (x + t)| + |f (x t)| + 2|f (x)|] dt

1 (2wg (h) + 2M h) ,

donde wg (h) = sup {|g(u) g(v)| : |u v| h} .

La funcin g es continua ya que dado  > 0, y s R, tenemos que
Z

|g(s + h) g(s)| = 

s+h

Z
|f (u)|du
0

 Z

|f (s)| =

s+h

|f (u)|du;

haciendo uso del Teorema (6.79) de [6], existe > 0 tal que
s+h

si

|f (u)|du < 

|h| < .

Claramente la funcin g es 2 -peridica, entonces g es uniformemente continua en

R, as wg (h) 0 cuando h 0. Entonces existe N N con N > 2
tal que para

toda x X, se tiene
Z

+h

t1 |(t)|dt < 

si

h=

Ahora jemos n > N . Notemos que h <

por partes Teorema (6.90) de [6], para
Z
F (t) =

(u)du
0

tenemos

para

n N.

(4.5.3)

y + h < 0 . Aplicando integracin

G(t) =

sen(nt)
,
t

4.5. Criterio de Lebesgue-Gergen

61

b
sen(nt)
(t)
dt = t1 (t) sen(nt)a
t

 1


t (t) n cos(nt) t1 sen(nt) dt;

(4.5.4)

as
|n cos(nt) t1 sen(nt)| 2n,

para cada t R y adems (4.5.1) nos muestra que para cada x X se tiene
Z b



sen(nt)

 < 2 + 2n(b a) (4 + 2)
(t)
dt


t

(4.5.5)

si 0 a < b 2h.
Nuestro plan es ahora probar que para toda x X y para nuestra n > N ja
Z






(t)
sen(nt)dt < 29.
t

(4.5.6)

Entonces del Teorema (4.7-2), nos permitira armar que sn (f, x) f (x)
uniformemente en X.
De (4.5.5) se tiene que
Z






(t)
sen(nt)dt < 15.
t

(4.5.7)

Ahora escribamos
Z

I=
h

(t)
sen(nt)dt =
t

+h

2h

(t)
sen(nt)dt + ,
t

(4.5.8)

donde
Z
=
h

(t)
sen(nt)dt
t

+h

2h

(t)
sen(nt)dt =
t

Z
h

2h

Z +h
(t)
(t)
sen(nt)dt
sen(nt)dt.
t
t

Usando (4.5.5) y (4.5.3) tenemos que

|| < (4 + 2) +  < 16.

Por (4.5.8) y la igualdad sen(n(u + h)) = sen(nu), se tiene que

(4.5.9)

62

Captulo 4.

Z 
2I =
h

Localizacin de Riemann y Criterios de Convergencia


(u) (u + h)

sen(nu)du
u
u+h

(u) (u + h)
sen(nu)du
u+h
h
Z 2h
Z
(u) sen(nu)
(u) sen(nu)
du + h
du.
+h
u(u + h)
u(u + h)
h
2h
Z

(4.5.10)

= I1 + hI2 + hI3 .

Por (4.5.2) tenemos que

(4.5.11)

|I1 | < .

Ahora usando el Teorema (6.101) de [6], con la funcin decreciente (u + h)1

denida en [0, 2h] y de (4.5.5) tenemos que

 Z
1

(u)
sen(nu)
|hI2 | = 
du < 8.
2 h
u

(4.5.12)

Ahora se tiene que

Z

hI3 = h
h

(t + h) sen(nt)
dt = h
(t + h)(t + 2h)

Z
h

(t + h) sen(nt)
dt + ;
(t + h)(t + 2h)

(4.5.13)

usando (4.5.3) tenemos que

 Z

|| = h

+h


Z +h
(u) sen(nu) 
h
du
u1 |(u)|du < .
u(u + h)
+h

(4.5.14)

Ahora de las ecuaciones (4.5.13) y (4.5.10) se sigue que

Z 
hI2 + 2hI3 = h
h


(t)
(t + h)

sen(nt)dt = A + B, (4.5.15)
t(t + h) (t + h)(t + 2h)

donde
Z
A=h
h

(t) (t + h)
sen(nt)dt
(t + h)(t + 2h)

B = 2h

(t) sen(nt)
dt.
t(t + h)(t + 2h)

Aplicando (4.5.2) tenemos que

Z
|A| h
h

|(t) (t + h)|

dt < .
t3h
3

Aplicando nuevamente integracin por partes se tiene que

(4.5.16)

4.6. Criterio de Dini-Lipschitz

63

2h2 () sen(n)
2h2
B=
( + h)( + 2h)

Z
h



d
sen(nt)
(t)
dt.
dt t(t + h)(t + 2h)

Tenemos que
 

 
d
 
n cos(nt)
sen(nt)
sen(nt)(3t2 + 6th + 2h2 ) 

=
 dt t(t + h)(t + 2h)   t(t + h)(t + 2h)
t2 (t + h)2 (t + 2h)2 
3

nt

(3t2 + 6nt + 2h2 )

+ 2
t (t + h)2 (t + 2h)2

nt3 +

(3t2 + 6nt + 3h2 )

t2 (t + h)2 (t + 2h)2

= nt3 + 3

(t2 + 2nt + h2 )
t2 (t + h)2 (t + 2h)2

nt3 + 3t4 .

Desde (4.5.1) tenemos que

2

|B| <  + 2h

(nt2 + 3t3 )dt <  + 2 + 3 < 11.

(4.5.17)

Conclumos de (4.5.10) y (4.5.15) que

4I = 2 + 2I1 + hI2 + + A + B,

usando las ecuaciones (4.5.9),(4.5.11),(4.5.12),(4.5.14),(4.5.16) y (4.5.17) se

concluye que
|4I| < 32 + 2 + 8 +  +  + 11 < 56.

Ahora de (4.5.8) y (4.5.7) implica (4.5.6).



4.6.

Criterio de Dini-Lipschitz

Teorema 4.13 (Dini-Lipschitz) Si f L1 (T) y I R intervalo abierto no

vaco. Supongamos que


lm sup |f (x + t) f (x)| log
t0 xI

1
|t|


= 0.

Entonces sn (f ) f uniformemente en cada intervalo cerrado J I.

64

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

Prueba: Sea J I intervalo cerrado. Tomemos 0 < 0 < 1 tal que x t I para

cada x J y 0 < t 0 . Vericaremos las hiptesis del Teorema (4.12) para X = J.

Ya que


 
1
lm sup |f (x + t) f (x)| log
= 0,
t0 xI
|t|

entonces tenemos que dado  > 0, existe 0 < < e1 tal que

|f (x + t) f (x)| log

1
|t|

si

<

0 < |t| < .

Tenemos que e < 1 < |t|1 , as se tiene

si

|f (x + t) f (x)| < 

0 < |t| < .

De lo anterior se tiene que f es continua en I y por lo tanto acotada en J I.

Dado  > 0, existe 0 < < mn { 0 , e1 } tal que
  1  
1

|f (u + v) f (u)| < log
|v|
2

si

u I y 0 < |v| < .

Entonces para 0 < t < y x X tenemos


|(t)| |f (x + t) f (x)| + |f (x t) f (x)| <

 1
1
log
 < .
t

En particular se tiene

 Z h

1

(t)dt < 
h
0

si

xX

0 < h < ,

lo cual se verican las hiptesis de Teorema (4.12-1).

Si x X , 0 < t < 0 , y 0 < h < , entonces

|(t+h)(t)| |f (x+t+h)f (x+t)|+|f (xth)f (xt)| <

 1
1
log

h

ya que x t I. Tenemos que log( 0 ) < 0 y log(h) = log(h1 ),

Z
h

1
t |(x + t) (t)|dt < log(h )

1

t1 dt < ,

siempre que x X y 0 < h < . Por lo que se cumple Teorema (4.12-2).



4.7. Convergencia en Lp (T)

65

Convergencia en Lp (T)

4.7.

La convergencia en L2 (T) de las series de Fourier, sugiere el estudio del

problema anlogo en los espacios Lp (T) si 1 p y p 6= 2.
La primera respuesta vino en sentido negativo: Banach y Steinhaus probaron en
1918 que no hay convergencia en media, es decir en L1 (T).

Teorema 4.14 Si f, g L1 (T). Para cada t, la funcin f (t )g( ) es integrable

como funcin de en T , y escribimos
(1). h(t) =

1
2

R 2
0

entonces

f (t )g( )d,

h L1 (T).

(2). ||h||L1 (T) ||f ||L1 (T) ||g||L1 (T) .

para cada n.

(3). h(n)
= f(n)
g (n)

Prueba: Tomemos la funcin F (t, ) = f (t )g( ), para cada ja. F (t, ) es

mltiplo constante de f (t ) entonces es integrable y tenemos
2

1
2

1
2

Z
0


Z 2
1
|F (t, )|dt d =
|g( )|||f ||L1 d = ||f ||L1 ||g||L1 .
2 0

Ahora aplicando el Teorema de Fubini se tiene

1
2

Z
0

1
|h(t)|dt =
2

 Z
1

 2


Z 2 Z 2

1

F (t, )d  dt 2
|F (t, )|dtd
4 0
0
= ||f ||L1 ||g||L1 .

Z 2 Z 2
1
h(t)e
dt = 2
f (t )ein(t ) g( )ein dtd
4
0
0
0
Z 2
Z 2
1
1
=
f (t)eint dt
g( )ein d = f(n)
g (n).
2 0
2 0

h(n)
=
2

int

Denicin 4.4 Si f, g L1 (T), denimos la convolucin de f y g a la funcin h

denida en el Teorema (4.14-1) y la denotamos f g .

Teorema 4.15 Lp (T) admite convergencia en norma si y solo si sup ||sn ||p < .

Es decir, existe constante K tal que ||sn (f )||Lp K||f ||Lp para cada f y para cada
n.

66

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

Prueba: Supongamos que sn (f ) converge a f en norma para cada f Lp (T), as

sn (f ) es acotada para cada f Lp (T).

Entonces por teorema de acotacin uniforme Teorema (4.7-3) de [3], se sigue que
||sn ||Lp es acotada.
Ahora sea f Lp (T), entonces dado  > 0, por Teorema (1.2-2) existe un

.
polinomio trigonomtrico P tal que ||f P ||Lp < 2K
Sea n el grado de P , entonces sn (P ) = P , as
||sn (f ) f ||Lp = ||sn (f ) sn (P ) + P f ||Lp
||sn (f P )||Lp + ||P f ||Lp
  

K
+
< .
2K
2K


Sabemos que

n 
X
|j|
Kn (t) =
1
eijt
n
+
1
j=n

Entonces
n (f, t) =

n 
X
j=n

Dn (t) =

n
X

eijt .

j=n

|j|
1
n+1

f(j)eijt = (Kn f ) (t)

y
sn (f, t) =

n
X

f(j)eijt = (Dn f ) (t).

j=n

Del Teorema (4.14-2) tenemos que ||sn (f, t)||L1 ||Dn (t)||L1 ||f ||L1 , as se tiene que
||sn ||L1 ||Dn ||L1 .

(4.7.1)

Ahora sea
||N (Dn )||L1 = ||sn (KN )||L1 ||sn ||L1 ||KN ||L1 = ||sn ||L1 .

Ya que Dn (t) C(T), entonces por el Teorema (3.4-2), N (Dn ) Dn cuando

N . Por tanto
||sn ||L1 ||Dn ||L1 .
(4.7.2)
De (4.7.1) y (4.7.2) tenemos que ||sn ||L1 = ||Dn ||L1 . Ahora se tiene del Teorema
(4.1) que ||Dn ||L1 cuando n . De lo anterior y del Teorema (4.15) se
deduce que L1 (T) no admite convergencia en norma.

4.7. Convergencia en Lp (T)

67

Fu Marcel Riesz quien consigui demostrar en 1923 que la respuesta a la

convergencia en norma es armativa si 1 < p < , para tal demostracin haremos
usos de la existencia de un operador lineal acotado
para

H : Lp (T) Lp (T),

1 < p < ,

llamado la Tranformada de Hilbert en T, con la propiedad

d(n) = i sgn(n)f(n).
Hf

As para cada f Lp (T) se dene

Hf

i sgn(n)f(n)eint .

n=

La existencia y acotacin de tal operador se encuentra en [8], Cap 10-12.

Introduzcamos la proyeccin de Riesz
P : Lp (T) Lp (T)

denida por
1
1
P (f ) = f(0) + (f iHf ) ,
2
2

notemos que P es tambin acotado para 1 < p < ya que |f(0)| ||f ||Lp , por la
desigualdad de Hlder (ver [6], Pgina 340).
Observemos tambin que
P (f )

f(n)eint ,

n0

ya que i(i sgn(n)) = sgn(n).

Lema 4.2 Para m N tenemos que

eimt P eimt f ei(m+1)t P ei(m+1)t f = sm (f ).

Prueba:
imt

X
n=

f(n)ei(n+m)t

(4.7.3)

68

Captulo 4.

Localizacin de Riemann y Criterios de Convergencia

X


P eimt f
f(n)ei(n+m)t
nm
imt

P e

imt

f(n)eint

nm

i(m+1)t

i(m+1)t

P e

f(n)eint .

nm+1

Restando las dos ltimas ecuaciones tenemos

eimt P eimt f ei(m+1)t P ei(m+1)t f = sm (f ).


Ahora de (4.7.3) y de la acotacin de la proyeccin de Riesz tenemos que

sup ||sn ||Lp 2||P ||Lp < ,

(4.7.4)

para 1 < p < .

Teorema 4.16 Si 1 < p < y f Lp (T), entonces

lm ||sn (f ) f ||Lp = 0.

Prueba:

De (4.7.4) tenemos que sup ||sn ||Lp < , ahora del Teorema (4.15) se sigue que
lm ||sn (f ) f ||Lp = 0.

Captulo 5
Series de Fourier Divergentes

La prueba del siguiente teorema es la parte principal de este trabajo, la cual es

una elaboracin detallada de la prueba dada en el libro de Katznelson [10]. La
prueba se construye mediante el uso de polinomios trigonomtricos que tienen
propiedades especiales.
Lo que se prueba es lo siguiente: dado un conjunto E [, ] tal que
(E) = 0 ( es la medida de Lebesgue ), existe f C(T) para la cual sn (f, x)
diverge para cada x E.

Lema 5.1 Supongamos que V [, ] es unin de una familia nita de

intervalos de longitud positiva, tal que = (V ) > 0. Entonces existe un polinomio

trigonomtrico Q tal que
(1). ||Q||u = sup {|Q(t)| : t R}

y
(2). S (Q, t) = sup {|Sn (Q, t)| : n 0} >

log

1
3

para

t V.

Prueba: Primeramente escojamos 0 <  < 1 y un nmero nito de puntos

{t1 , t2 , t3 , ..., tp } V tal que p  < y los intervalos [tj , tj + ] para 1 j p

cubran a V.

Para ver esto sean 1 2 q las longitudes de q intervalos disjuntos tal

que su unin sea V, escojamos 0 <  < 1 y  < 1 . Para cada 1 k q , sea
Ak = {n N : n k } ;

tomemos pk = mn {Ak } 1, as tenemos que pk  < k 2pk .

69

70

Captulo 5.

Series de Fourier Divergentes

Ahora cubrimos el ksimo intervalo con pk intervalos de longitud 2. Tomando

p = p1 + p2 + + pq , tenemos que
p = p1  + p2  + + pq  < 1 + 2 + + q ,

y adems para cada pk con 1 k q podemos obtener pk puntos del intervalo

ksimo, digamos {tk1 , tk2 , ..., tkpk } y tomando los intervalos [tkj , tkj + ] para
1 j qk y de longitud 2 que lo cubran, y posteriormente tomando la unin
obtenemos {t1 , t2 , t3 , ..., tp } V.
Para z C tal que z 6= 1, denamos (z) = (1 z)1 y entonces

i 1

 1h
1 reit
1 reit
it
it
it
(re ) + (re ) =
+
Re (re ) =
2
2 (1 reit )(1 reit ) (1 reit )(1 reit )


1
1 r2
=
1+
(5.0.1)
2
1 + r2 2r cos(t)

para 0 r < 1 y t R. Es claro que (0) = 1, tambin se tiene que 1 cos(t)

entonces 2r cos(t) 2r, as




1 r2
1
1 r2
1
1
1+

1
+
>
Re (re ) =
2
1 + r2 2r cos(t)
2
1 + r2 + 2r
2


it

para |z| < 1. Ahora usando la ecuacion (5.0.1) y del hecho que cos() > 1 2 para
0 <  < 1, tenemos
"
#

1 2
)
1

(
1 it
1
1+
Re (
e ) =
1+
1 2
2
1+
2
1 + ( 1+ ) 1+
cos(t)
"
#
2
2 1+
cos(t)
1
=
1 2
2
2 1 + ( 1+
) 1+
cos(t)


(1 + )2
(1 + ) cos(t)
>
(1 + ) 1 + (2 1)(1 + )2


(1 + ) 1
(1 + )
23 + 32


 + 2
 + 2
1
>
=
3
2
3
2
2 + 3
3 + 3
3

si t [, ]

(5.0.2)

Denamos la funcin f por

p

1X
f (z) =
(zeitj ).
p j=1

(5.0.3)

71
Se satisface f (0) = 1, Re [f (z)] >

1
2

para |z| < 1. De (5.0.2) tenemos

" p 
 

#
1 it
1X
1 i(ttj )
1
1
Re f
e
= Re

e
>
>
si t V (5.0.4)
1+
p j=1
1+
3p 
3

ya que para algn j se tiene que |t tj | .

Escribamos F (z) = log(f (z)) = log(|f (z)|) + iArg(f (z)), entonces tenemos que
F (0) = 0,

|Im[F (z)]| = |Arg(f (z))| < ,

(5.0.5)
2
|F (z)| Re [F (z)] = log(|f (z)|) log(Re [f (z)])

(5.0.6)

para |z| < 1.

Ahora nuestra prxima prueba es demostrar que la funcin F tiene expansin en
serie de potencias
F (z) =

An z n ,

n=1

convergente uniformemente en el circulo |z| =

1
.
1+

Para esto es suciente mostrar una expansin que converge en

1
= 1 a1 < R.
|z| < R = 1 (2a)1 , donde a = 1 + 1 , para entonces 1+
Tenemos que



 z (1 a1 ) 
 < a si |z| < R,
|(z) a| = a 

z1

si = 1 a1 < 1 y |z| <

(1+)
2

= R, entonces 2Re(z) < 1 + , de donde

|z 1|2 |z |2 = (1 )(1 + 2Re(z)) > 0

as |z | < |z 1|.
Se tiene de la ecuacin (5.0.3) que
 p

p
1 X
 1X






p
a


 zeitj a < a,
|f (z) a| = 
zeitj


p
p  p j=1
j=1

si |z| < R. Sabemos que para z C tal que |z| < 1 tenemos que

(5.0.7)

72

Captulo 5.

log(1 + z) =

X
(1)n1

n=1

(ver [6], Pgina 242). Entonces tenemos que si z =

Series de Fourier Divergentes

zn.

wa
,
a

se tiene


k

X
(1)k1 w a
log(w) = log(a) +
,
k
a
k=1

(5.0.8)

para |w a| < a. Escribamos

(1)k1
fk (z) =
k

f (z) a
a

k
,

con w = f (z) y sustituyendo en la ecuacin (5.0.8) se tiene

F (z) = log(a) +

(5.0.9)

fk (z),

k=1

para |z| < R y as la serie (5.0.9) converge uniformemente en el dico |z| r donde
0 < r < R.

Ya que tiene expansin en serie de potencias convergente en el disco |z| < 1,

as f tambin la tiene en el disco, y tomando para cada k producto de Cauchy
Denicin (2.68) y Teorema (2.71) de [6], se tiene que fk tambin tiene expansin
en serie en |z| < R.
Ahora el Teorema (7.57) de [6] nos asegura la existencia de los {An }
n=1 C en
(5.0.7). (A0 = 0 ya que F (0) = 0). Para t R escribamos
2
g(t) = F

1 it
e
1+


=

an eint ,

(5.0.10)

n=1

1
donde an = 2 1+
An . De (5.0.5) tenemos que ||Im(g)||u < 1 y combinando


(5.0.4) y (5.0.6) tenemos que para = sup |g(t)| : t V se satisface que

n

2
|g(t)| =

 

 

1 it  2
1
F
e  > log
.

1+

Denamos la suma parcial gN (t) =

uniformemente, se tiene que

PN

n=1

||Im(gN )||u ||Im(g)||u

an eint y del hecho que (5.0.10) converge

cuando

N .

5.1. Teorema de Kahane-Katznelson

73

Para t V tenemos que

|gN (t)| ||g gN ||u

cuando

N .

Ahora existe un N N jo, tal que

(5.0.11)

||Im(gN )||u < 1

2
|gN (t)| > log

1
3

para toda

t V.

(5.0.12)

Denamos Q por
i
eiN t h
gN (t) gN (t)
2i
0
N 1
1 X
1 X
ikt
=
akN eikt .
ak+N e
2i k=N +1
2i k=2N

Q(t) = eiN t Im (gN (t)) =

Por tanto (1) se sigue de (5.0.11) y

 iN t

e
 1
S (Q, t) |SN (Q, t)| = 
gN (t) = |gN (t)|,
2i
2

y as (2) se sigue de (5.0.12).



5.1.

Teorema de Kahane-Katznelson

En 1966 Kahane y Katznelson demostraron que dado un conjunto E con medida

de Lebesgue cero, existe una funcin continua cuya serie de Fourier diverge en E.

Teorema 5.1 (Kahane - Katznelson, 1966) Si E [, ] y (E) = 0,

entonces existe una funcin f C(T) cuya serie de Fourier s(f ) diverge en cada
punto de E y cuyos coecientes f(n) = 0 para n < 0.

Prueba: Dado


2j

> 0 y j N, existe {Ij,n }

n=1 [, ] tal que
E

[
n=1

Ij,n

X
n=1

|Ij,n | <


.
2j

Ahora sea
= I(j,n) : (j, n) N N , ya que el producto de conjuntos que
son numerables es tambin
numerable. Se tiene que la familia {In }
n=1 de
P
subintervalos de [, ], n=1 |In | <  y para cada t E el conjunto
{n N : t In } es innito.
{In }
n=1

74

Captulo 5.

Series de Fourier Divergentes

Escojamos 1 n1 < n2 < ..., tal que

|In | < ek .

n=nk
k+1
In y Qk el polinomio trigonomtrico dado por Lema (5.1) en Vk ,
Sea Vk = nn=n
k
3
3
entonces 3k = 3(Vk ) < ek , as tenemos que 31k > ek , por tanto

log( 31k ) > log(ek ) = k 3 .

para toda

S (Qk , t) > k 3

t Vk .

(5.1.1)

Por la eleccin de los In , se tiene que

{k N : t Vk }

es innito para todo

t E.

(5.1.2)

Ahora sea Nk el grado de Qk , denido por

n
o
k (n) 6= 0 .
Nk = max |n| : n Z, Q

Escojamos enteros (pk )

k=1 tal que p1 = N1 y
pk Nk > pk1 + Nk1

para

k > 1.

(5.1.3)

Denamos f en R por
f (t) =

(5.1.4)

k 2 eipk t Qk (t).

k=1

Ya que ||Qk (t)||u < 1, entonces

|k 2 eipk t Qk (t)| = |k 2 Qk (t)| = k 2 ||Qk (t)||u k 2 .

Por el criterio M Weierstrass (ver [6], Pgina 141), se tiene que (5.1.4) converge
uniformemente en R, as f C(T).
Podemos integrar trmino a trmino, entonces se tiene que
f(n) =

X
k 2
k=1

Qk (t)e

i(npk )t

dt =

X
k=1

donde se tiene que Q k (n pk ) = 0 si no se satisface

Nk + pk n Nk + pk .

k (n pk ),
k 2 Q

5.1. Teorema de Kahane-Katznelson

75

Entonces
k (n pk )
f(n) = k 2 Q
si
|n pk | Nk
y f(n) = 0 en otro caso, en particular f(n) = 0 si n < 0. Se tiene lo siguiente (
n < 0 = N1 + p1 Nk + pk , entonces n pk < Nk para toda k ).

Para k N jo, 0 N Nk y t R tenemos

pk +N

Spk +N (f, t) Spk N 1 (f, t) =

f(n)eint =

n=pk N

N
X

k (j)ei(pk +j)t
k 2 Q

j=N

= k 2 eipk t SN (Qk , t).

(5.1.5)

Ahora jemos t E, j N. Usando (5.1.2) y (5.1.3) para obtener k = k(t, j) tal

que k > j , pk Nk 1 > j y t Vk y a continuacin de (5.1.1) seleccionamos
0 N Nk tal que
|SN (Qk , t)| > k 3 .

Escribamos mj = pk N 1 y nj = pk + N , entonces de (5.1.5) tenemos que

|Snj (f, t) Smj (f, t)| = k 2 |SN (Qk , t)| > k > j,

de esto se sigue que (Sn (f, t))

n=1 no es sucesin de Cauchy, as no puede ser
convergente.


Apndice A
Fenmeno de Gibbs

En la vecindad de una discontinuidad, no se puede esperar la convergencia de

las sumas parciales de Fourier. La forma especca de la convergencia no uniforme
se ilustra de la mejor manera por medio de los siguientes ejemplos.

Ejemplo A.1 Tomemos la funcin 2-peridica denida en R como


f (x) =

1 si < x < 0
1 si 0 < x < .

Sabemos que la serie de Fourier asociada a f es

4 X sen[(2j + 1)t]
f
,
j=0
(2j + 1)

de lo cual tenemos que

N
4 X sen[(2k + 1)t]
sN (f, t) =
k=0 (2k + 1)
N Z
4X t
=
cos[(2k + 1)x]dx
k=0 0
!
Z
N
4 t X
=
cos[(2k + 1)x] dx.
0 k=0

(A.0.1)

De la identidad sen(a + b) sen(a b) = 2 cos(a) sen(b), tenemos que

N
X
k=0

cos[(2k + 1)x] =

sen[2(N + 1)x]
.
2 sen(x)

77

78

Apndice A.

Fenmeno de Gibbs

De (A.0.1) se tiene que

2
sN (f, t) =

sen[2(N + 1)x]
dx,
sen(x)

(A.0.2)

derivando se tiene que

2 sen[2(N + 1)t]
,

sen(t)

con el primer mximo en (0, ] dado por t =

.
2(N + 1)
s0N (f, t) =

Sustituyendo en (A.0.2) se tiene que


sN f,

2(N + 1)

2
=

2(N +1)

sen[2(N + 1)x]
dx,
sen(x)

tomando el cambio de variable u = 2(N + 1)x tenemos

2
)=
sN (f,
2(N + 1)

sen(u) u/2(N + 1)
du.
u sen(u/2(N + 1))

Ahora se tiene que

(
lm


)


v/2(N
+
1)
 = 0.
sup 1

sen(v/2(N
+
1))
v(0,)

Por tanto se tiene

 Z


2
sen(u)

lm
du sN f,
N
0
u
2(N + 1)
 Z

Z
sen(u)
sen(u) u/2(N + 1)
2
2
= lm
du
du
N
0
u
0
u sen(u/2(N + 1))


Z
2 sen(u)
u/2(N + 1)
= lm
1
du = 0.
N 0
u
sen(u/2(N + 1))

De lo anterior se deduce

lm sN f,

2(N + 1)

2
=

Z
0

sen(u)
du > 1.
u

La suma parcial de Fourier excede a la funcin salto en el punto de discontinuidad.

Por ejemplo, a la derecha del punto x = 0 se puede ver en Figura 1.1 como la
grca de la suma parcial de Fourier supera con nitidez a la de la funcin salto.

79

Ejemplo A.2 Dada la funcin 2-peridica denida como.



si x = 0
si 0 < x < 2.

g(x) =

t
2

De el Teorema (1.3) tenemos que

g

X
sen(kt)

k=1

de aqu que
sN (g, t) =

X
sen(kt)
k=1

Z
=
0

=
0

N
X

Z
0

k=1

sen[(N + 12 )x]
dx+
x

sen[(N + 21 )x]
t
dx
x
2 sen( 2 )
2

cos(kx) dx =

Z t
0

Denamos

1
1
x
2 sen( 2 ) x

1
t
sen[(N + )x]dx . (A.0.3)
2
2

1
1
x
2 sen( 2 ) x

g(x) =

en (0, ], claramente g C 1 . Aplicando L'Hospital tenemos

x 2 sen( x2 )
x0 2x sen( x )
2

lm g(x) = lm

x0

1 cos( x2 )
= lm
x0 x cos( x ) + 2 sen( x )
2
2
= lm

x0

1
2

sen( x2 )
= 0.
x
sen( x2 ) + 2 cos( x2 )
2

Deniendo g(0) = 0, tenemos que g C 1 en [0, ], por tanto integrando por

partes y del hecho que g C 1 se tiene que
Z t
0

1
1
x
2 sen( 2 ) x

1
sen[(N + )x]dx 0
2

uniformemente para 0 t cuando N .

Sea (hn )
n=1 sucecin no negativa tal que hn 0 cuando n y adems
nhn cuando n .

80

Apndice A.

Fenmeno de Gibbs

Sustituyendo en (A.0.3) y tomando lmites tenemos

sen[(N + 21 )x]
dx+
x


1
1
hN
1
sen[(N + )x]dx lm
.
x
N

2 sen( 2 ) x
2
2

hN

Z
lm sN (g, hN ) = lm

0
hN

Z
lm

Las dos ltimos lmites convergen a cero cuando N . Tomando el cambio de

variable u = (N + 12 )x tenemos
Z

sen[(N + 12 )x]
dx
x

hN

lm

= lm

Z
0

(N + 12 )hN

sen(u)
dx
u

Z
0

sen(u)

du > .
u
2

Como en el ejemplo (A.1), tambin se exhibe el fenmeno en las proximidades de

la discontinuidad x = 0. Lo cual se puede observar ms claramente en Figura 1.2.

Bibliografa

[1] A.N.Kolmogorov, Une srie de Fourier-Lebesgue divergente partout, C.R.Acad.

Sci, Paris 183 (1926), 1327-1328
[2] C. Goman, G. Pedrick: Fuctional Analysis, Chelsea Publishing Company New
York, (2002).
[3] Kreyszig: Itroductory Functional Analysis with Aplications, Wiley Classics
Library Edition, (1989).
[4] F. Duoandikoetxea Zuazo 200 aos de convergencia de las series de Fourier
[5] L. Carleson, On convergence and growth of partial sums of Fourier series, Acta
Math. 116 (1966), 135-157.
[6] R. Stromberg, An Introduction to Classical Real Analysis, Kansas State
University, (1980).
[7] J.-P, Y. Katznelson, Sur les ensembles de divergence des sries
trigonomtriques, Studia Math. 26. No 3, 305-306, (1966).
[8] S. Laugesen Lecture Notes on Harmonic Analysis, University of Illinois at
Urbana Champaign, (2009).
[9] R. A. Hunt, On the convergence of Fourier series en Orthogonal Expansions
and their Continuous Analogues (Proc. Conf., Edwardsville, Ill., 1967),
Southern Illinois Univ. Press, Carbondale, 1968, 235-255.
[10] Y. Katznelson, An Introduction to Harmonic Analysis, New York. John Wiley
& Sons, Inc, (1968).

81