Captulo 10

Sucesiones y series de funciones

Exponemos este tema siguiendo el captulo 11 de [Apostol1], completado con algunas partes del
captulo 7 de [Bartle-Sherbert].
10.1. Sucesiones y series de funciones: convergencia puntual
Denicion 10.1.1. Sea A un subconjunto de R. Supongamos que para cada n umero natural n
esta dada una funcion f
n
: A R; la aplicacion n f
n
recibe el nombre de sucesion de
funciones ( denidas en A, si es necesaria la precision). La funcion f
n
asociada al n umero natural
n recibe el nombre de termino n-esimo de la sucesion.
Informalmente, tenemos, pues, una lista sin n
f
1
, f
2
, . . . , f
n
, . . .
de funciones denidas en el conjunto A. Como hicimos con las sucesiones de n umeros reales, deno-
taremos la sucesion de funciones cuyo termino n-esimo es f
n
con (f
n
)
nN
o, simplicando si no hay
confusion, con (f
n
).
Para cada punto x A podemos considerar la sucesion de n umeros reales que tiene por termino
n-esimo el n umero real f
n
(x), valor en x de la funcion f
n
. Esta sucesion podra ser convergente o
no:
el conjunto C de todos los puntos x A para los que (f
n
(x)) converge suele denominarse el campo
de convergencia de la sucesion de funciones (f
n
); si C = , podemos denir una nueva funcion
f : C R haciendo corresponder a cada x C el n umero real f(x) := lm
n
f
n
(x).
Hablaremos entonces de convergencia puntual o punto a punto de la sucesion a la funcion f,
concepto que pasamos a denir en general.
Denicion 10.1.2. Sea (f
n
) una sucesion de funciones denidas en un conjunto A, S un subcon-
junto de A y f una funci on denida en S. Si para cada x S, f(x) = lm
n
f
n
(x), se dice que la
sucesion (f
n
) converge puntualmente a f en S, o que converge punto a punto a f en S.
En este caso a f se le llama el lmite puntual de la sucesion (f
n
) en S.
Cuando existe tal funcion f, diremos que la sucesion (f
n
) es convergente punto a punto en
S, o que la sucesion (f
n
) converge puntualmente en S.
Ejemplos. (1) La sucesion (x
n
) converge puntualmente en el intervalo cerrado [0, 1] a la funcion
f denida en dicho intervalo por
f(x) =
_
0 si 0 x < 1
1 si x = 1.
169
rea de Anlisis Matemtico
Universidad de Zaragoza
170 CAP

ITULO 10. SUCESIONES Y SERIES DE FUNCIONES

(2) La sucesion
_
x
n
1 + x
n
_
converge puntualmente en [0, +) a la funcion f denida en tal intervalo
por
f(x) =
_

_
0 si 0 x < 1
1/2 si x = 1.
1 si x > 1.
(3) La sucesion (sennx) converge puntualmente a 0 en Z. (Menos trivial resulta comprobar que
su campo de convergencia es justamente Z.
1
)
Pueden verse mas ejemplos con sus gracas en [Bartle-Sherbert, pags. 312315].
Observacion. La convergencia puntual puede expresarse en terminos similares a los de la conver-
gencia de sucesiones numericas. Concretamente:
Sea (f
n
) una sucesion de funciones denidas en un conjunto A, S un subconjunto de A, f
una funcion denida en S. La sucesion (f
n
) converge puntualmente a f en S si y solo si para
cada x S y para cada > 0 existe un N = N(, x) tal que siempre que n > N(, x) se
verica |f
n
(x) f(x)| < .
En consecuencia, tendremos la siguiente condicion de Cauchy para la convergencia puntual:
Sea (f
n
) una sucesion de funciones denidas en un conjunto A, S un subconjunto de A. La
sucesion (f
n
) converge puntualmente en S (a una cierta funcion) si y solo si para cada x S
y para cada > 0 existe un N = N(, x) tal que siempre que m, n > N(, x) se verica
|f
m
(x) f
n
(x)| < .
Las deniciones de serie de funciones y convergencia puntual de una serie de funciones son
facilmente adivinables.
Denicion 10.1.3. Una serie de funciones

n=1
f
n
es un par ordenado de sucesiones de
funciones ((f
n
), (s
n
)) relacionadas por la condicion de que para cada n N es
s
n
= f
1
+ f
2
+ + f
n
.
Para cada n N, el termino n-esimo de la primera sucesion, f
n
, recibe el nombre de termino
n-esimo de la serie; el termino n-esimo de la segunda sucesion, s
n
, recibe el nombre de suma
parcial n-esima de la serie.
Decimos que una serie de funciones converge puntualmente a una funcion f en un conjunto
S si lo hace la sucesion de sus sumas parciales. En tal caso, la funcion f es la suma de la serie
en el conjunto S.
Ejemplo. La serie de funciones

n=1
x
n1
converge puntualmente en (1, 1) con funcion suma
f(x) =
1
1 x
(1 < x < 1).
10.2. Convergencia uniforme
El estudio de las sucesiones de funciones abre al menos dos interesantes opciones: de un lado,
podemos construir nuevas funciones como lmites de funciones conocidas; de otro, podemos pensar
en sustituir, en ciertos problemas, una funcion dada por funciones que la aproximan y que pueden
tener un comportamiento mejor controlado respecto a la situacion que nos interese. En cualquiera
1
En efecto: supongamos que sennx ; entonces sen 2nx = 2 sennx cos nx , de modo que si = 0
resulta cos nx
1
2
mientras que cos 2nx = 2 cos
2
nx 1 2
1
4
1 =
1
2
; as pues, sen nx 0, con lo
que | cos nx| 1; como sen(n + 1)x = sen nx cos x + cos nxsenx 0, se sigue senx cos nx 0 y
necesariamente sen x = 0, o sea, x Z.
10.2. CONVERGENCIA UNIFORME 171
de los dos casos, la primera tarea es examinar que propiedades de las funciones que forman la
sucesion se traspasan a la funcion lmite. El resultado de un primer analisis no puede ser mas
descorazonador, como muestran los siguientes ejemplos (ver [Apostol1, pag. 518]).
Ejemplos. 1) Sucesion de funciones continuas con funcion lmite discontinua. Sirve la sucesion
del ejemplo anterior: f
n
(x) = x
n
en [0, 1].
2) Sucesion de funciones cuyas integrales no convergen a la integral de la funcion lmite. La
succesion (f
n
) denida por
f
n
(x) = nx(1 x
2
)
n
, 0 x 1,
converge puntualmente a 0 en [0, 1]. Sin embargo,
lm
n
_
1
0
f
n
(x) dx =
1
2
= 0 =
_
1
0
lm
n
f
n
(x) dx.
Peor a un es lo que ocurre con la derivacion, como veremos posteriormente.
10.2.1. Denici on de convergencia uniforme
A la vista de los ejemplos anteriores, es clara la necesidad de introducir una nocion mas fuerte
de convergencia (ver comentarios en [Apostol1, pags. 518519]).
Denicion 10.2.1. Sea (f
n
) una sucesion de funciones denidas en un conjunto A, S un subcon-
junto de A, f una funcion denida en S. Se dice que la sucesi on (f
n
) converge uniformemente
a f en S si para cada > 0 existe un N = N() tal que siempre que n > N(), para todo x S se
verica |f
n
(x) f(x)| .
Desde luego, el ultimo puede sustituirse por < y la denicion es equivalente. Ver comentarios
e interpretacion graca en [Apostol1, pags. 519520].
Comparando esta denicion con la reformulacion que dimos anteriormente para la convergencia
puntual, es obvio que
toda sucesion (f
n
) que converge uniformemente a una funcion f en S, tambien converge
puntualmente a f en S.
Una manera util de expresar la denicion de convergencia uniforme es la siguiente:
Proposicion 10.2.2. Sea (f
n
) una sucesion de funciones denidas en un conjunto A, S un sub-
conjunto de A, f una funcion denida en S. La sucesion (f
n
) converge uniformemente a f en S si
y solo si
sup{|f
n
(x) f(x)|; x S}
n
0.
Demostracion. Si para cada n N escribimos
M
n
= sup{|f
n
(x) f(x)|; x S},
entonces que la sucesion (f
n
) converja uniformemente a f en S signica, seg un la denicion, que
para cada > 0 existe un N = N() tal que siempre que n > N(), M
n
. Pero esto a su vez
signica que lm
n
M
n
= 0.
Aplicacion. La sucesion
_
sennx
n
_
converge uniformemente a 0 en R, pues
sup
_

sennx
n
0

; x R
_

1
n
0.
172 CAP

ITULO 10. SUCESIONES Y SERIES DE FUNCIONES

Sin embargo, la sucesion (f
n
) con f
n
(x) = x
n
no converge uniformemente en [0, 1], pues en caso
armativo tendra que hacerlo a la funcion f a la que converge puntualmente, y para todo n N
es
sup{|f
n
(x) f(x)|; x [0, 1]} = sup[{x
n
; x [0, 1)} {0}] = 1 0
(ver este y otros ejemplos en [Bartle-Sherbert, pags. 316317]).
Proposicion 10.2.3 (condicion de Cauchy para la convergencia uniforme). Sea (f
n
) una
sucesion de funciones denidas en un conjunto A, S un subconjunto de A. Entonces (f
n
) converge
uniformemente en S a alguna funcion si y solo si para cada > 0 existe un N() tal que para todos
los n umeros naturales m, n N() se cumple
sup{|f
m
(x) f
n
(x)|; x S} .
Demostracion. No la desarrollamos, pero la comprobacion de que es condicion suciente resulta
muy ilustrativa. Puede verse en detalle en [Bartle-Sherbert, pags. 317318].
10.2.2. Convergencia uniforme y continuidad
A diferencia de la convergencia puntual, la convergencia uniforme conserva la continuidad, como
pasamos a comprobar.
Teorema 10.2.4. Sea (f
n
) una sucesion de funciones que converge uniformemente en un conjunto
S a una funcion f con dominio S, y sea x un punto de S. Si cada funcion f
n
es continua en x,
entonces f tambien es continua en x.
Demostracion. Sea > 0. Seg un la denicion de convergencia uniforme, hay alg un n N tal que
para todo t S
|f
n
(t) f(t)| /3
(de hecho, cualquier n > N(/3) vale). Fijamos n y como f
n
es continua en x, ahora hay alg un
> 0 tal que
|f
n
(y) f
n
(x)| /3,
siempre que sea |y x| < . Entonces, si |y x| < se tiene
|f(y) f(x)| = |f(y) f
n
(y) + f
n
(y) f
n
(x) + f
n
(x) f(x)|
|f(y) f
n
(y)| +|f
n
(y) f
n
(x)| +|f
n
(x) f(x)|
/3 + /3 + /3 = .
Es decir, f es continua en x.
Los resultados sobre sucesiones de funciones tienen su equivalente en terminos de series de
funciones. La convergencia uniforme de una serie de funciones se dene de manera analoga a la
convergencia puntual:
Denicion 10.2.5. Una serie de funciones

n=1
f
n
se dice que converge uniformemente a una
funcion f es un conjunto S cuando la sucesion (s
n
) de sus sumas parciales,
s
n
= f
1
+ f
2
+ + f
n
,
converge uniformemente a f en el conjunto S.
Corolario 10.2.6. Si una serie de funciones

n=1
f
n
converge uniformemente hacia la funcion
suma f en su dominio S y si cada termino f
n
es una funcion continua en un punto x de S, entonces
tambien f es continua en x.
10.2. CONVERGENCIA UNIFORME 173
10.2.3. Convergencia uniforme e integraci on
La convergencia puntual no conserva la integrabilidad: hay ejemplos un tanto confecciona-
dos a medida de sucesiones de funciones integrables-Riemann que convergen puntualmente a
funciones no integrables-Riemann (por ejemplo, en [Bartle-Sherbert, ejercicio 13, pag. 325]). Una
vez mas, la situacion es distinta con convergencia uniforme.
Teorema 10.2.7. Sea (f
n
) una sucesion de funciones continuas en un intervalo [a, b] que convergen
uniformemente en [a, b] a una funcion f. Entonces f es integrable en [a, b] y se cumple
lm
n
_
b
a
f
n
=
_
b
a
f.
Demostracion. La funcion f es integrable, porque es continua, seg un el teorema anterior. Para cada
n N,

_
b
a
f
n
(x) dx
_
b
a
f(x) dx

_
b
a
[f
n
(x) f(x)] dx

_
b
a
|f
n
(x) f(x)| dx
(b a) sup{|f
n
(x) f(x)|; x [a, b]}.
Que la sucesion (f
n
) converja a f uniformemente en [a, b] signica que
lm
n
sup{|f
n
(x) f(x)|; x [a, b]} = 0,
as que tambien
lm
n

_
b
a
f
n

_
b
a
f

= 0,
que es lo que queramos probar.
Nota. De la misma manera puede probarse que si se dene g
n
(x) =
_
x
a
f
n
y g(x) =
_
x
a
f, entonces
la sucesion de funciones (g
n
) converge uniformemente a la funcion g en el intervalo [a, b].
Observacion. En realidad, no hace falta imponer que las funciones sean continuas. El teorema
es cierto si las funciones f
n
son integrables, pero entonces no es inmediato que f sea tambien
integrable. La demostracion puede verse en [Bartle-Sherbert, Teorema 7.2.4, pags. 323324].
El teorema arma que, con las hipotesis adecuadas,
lm
n
_
b
a
f
n
=
_
b
a
lm
n
f
n
.
Este es un primer resultado dentro de una larga lista de teoremas de paso al lmite bajo el
signo integral. La necesidad de aligerar sus hipotesis es una de las razones que impulsaron la
generalizacion de Lebesgue del concepto de integral.
Corolario 10.2.8. Sea

n=1
f
n
una serie de funciones continuas que converge uniformente hacia
la funcion suma f en un intervalo [a, b]. Entonces, la serie

n=1
_
b
a
f
n
converge y

n=1
_
b
a
f
n
=
_
b
a
f,
es decir,

n=1
_
b
a
f
n
=
_
b
a

n=1
f
n
.
174 CAP

ITULO 10. SUCESIONES Y SERIES DE FUNCIONES

10.2.4. Convergencia uniforme y derivaci on
Sobre derivacion no cabe esperar resultados tan limpios como los obtenidos para la continuidad
y la integrabilidad ni siquiera cuando hay convergencia uniforme, seg un ponen de maniesto los
siguientes ejemplos.
Ejemplo. Una sucesion de funciones derivables que converge uniformemente a una funcion no
derivable:
f
n
(x) =
_
x
2
+
1
n
f(x) = |x| [unif. 1 x 1].
Ejemplo. Una sucesion de funciones derivables que converge uniformemente a una funcion deri-
vable, mientras que la sucesion de sus derivadas no converge en ning un punto:
f
n
(x) =
sennx

n
f(x) = 0 [unif. R].
(Ver [Gelbaum-Olmsted, pags. 7677].)
Ejemplo. Una sucesion de funciones derivables que converge uniformemente a una funcion deri-
vable, mientras que la sucesion de sus derivadas converge a una funcion que no es lmite de las
derivadas:
f
n
(x) =
x
n
n
f(x) = 0 [unif. 0 x 1].
Ejemplo. Una sucesion de funciones derivables que no converge en ning un punto, mientras que la
sucesion de sus derivadas converge uniformemente:
f
n
(x) = (1)
n
; f

n
(x) = 0 0 [unif. R].
Vista la situacion, es menos sorprendente que vayamos a parar a un enunciado como el que
sigue.
Teorema 10.2.9. Sea (f
n
) una sucesion de funciones denidas en un intervalo [a, b]. Supongamos
que
(1) existe un c [a, b] tal que la sucesion (f
n
(c)) converge;
(2) todas las funciones f
n
son derivables y las derivadas son continuas;
(3) la sucesion de derivadas (f

n
) converge uniformemente en [a, b] a una funcion g.
Entonces la sucesion (f
n
) converge uniformemente en [a, b] a una funcion f derivable en [a, b] y
ademas f

= g.
Demostracion. Para cada x [a, b],
f
n
(x) = f
n
(c) + f
n
(x) f
n
(c) = f
n
(c) +
_
x
c
f

n
(t) dt.
Sea = lm
n
f
n
(c) y denamos ahora
f(x) = +
_
x
c
g(t) dt, x [a, b].
Observemos que la funcion g es continua, por el teorema 10.2.4, as que la funcion f es derivable
y ademas f

= g, seg un el teorema fundamental del calculo integral. Se trata de probar que la

sucesion de funciones (f
n
) converge uniformemente a f en [a, b].
10.3. UNA CONDICI

ON SUFICIENTE PARA LA CONVERGENCIA UNIFORME 175

Para cada x [a, b],
|f
n
(x) f(x)| =

f
n
(c) +
_
x
c
[f

n
(t) g(t)] dt

|f
n
(c) | +

_
x
c
[f

n
(t) g(t)] dt

.
Si, por ejemplo, x c, entonces
|f
n
(x) f(x)| |f
n
(c) | +
_
x
c
|f

n
(t) g(t)| dt
|f
n
(c) | + (b a) sup{|f

n
(t) g(t)|; t [a, b]}.
Si es x < c se llega a la misma conclusion, pero en la desigualdad intermedia hay que cambiar
_
x
c
por
_
c
x
. Por lo tanto,
sup{|f
n
(x) f(x)|; x [a, b]} |f
n
(c) | + (b a) sup{|f

n
(t) g(t)|; t [a, b]}.
Por la hipotesis (3) y como = lm
n
f
n
(c), se deduce que
sup{|f
n
(x) f(x)|; x [a, b]}
n
0,
es decir, la sucesion de funciones (f
n
) converge uniformemente a f en [a, b].
El lector puede enunciar y demostrar la traduccion de este resultado a series de funciones.
Nota. En realidad, no hace falta que las funciones f

n
sean continuas (ver [Bartle-Sherbert, Teo-
rema 7.2.3, pags. 322323]).
10.3. Una condici on suciente para la convergencia uniforme de
series
Teorema 10.3.1 (criterio M de Weierstrass). Sea

n=1
f
n
una serie de funciones denidas en
un conjunto para la que se puede encontrar una serie numerica convergente

n=1
M
n
de terminos
no negativos de manera que se cumple, cualquiera que sea n N, |f
n
(x)| M
n
para todo x S.
Entonces la serie

n=1
f
n
converge uniformemente en S y absolutamente en cada punto de S.
Demostracion. Dado n N, sea
s
n
=
n

k=1
f
k
la suma parcial n-esima de la serie. Tenemos que probar que la sucesion de funciones (s
n
) conver-
ge uniformemente en S, para lo que es suciente demostrar que cumple la condicion de Cauchy
(proposicion 10.2.3). Pero suponiendo m > n, para cualquier x S es
|s
m
(x) s
n
(x)| =

k=n+1
f
k
(x)

k=n+1
|f
k
(x)|
m

k=n+1
M
k
.
Sea > 0. Como la serie

n=1
M
n
converge, hay alg un N() N tal que para cada m > n > N()
m

k=n+1
M
k

(condicion de Cauchy para una serie numerica convergente). Por lo tanto,
sup{|s
m
(x) s
n
(x)|; x S}
siempre que m > n > N(). De la proposicion 10.2.3 se deduce que la serie converge uniformemente
en S. La convergencia absoluta es una consecuencia inmediata de la desigualdad |f
n
(x)| M
n
.
176 CAP

ITULO 10. SUCESIONES Y SERIES DE FUNCIONES

Observacion. En el teorema anterior, basta tener |f
n
(x)| M
n
desde un n en adelante.
Ejemplo. La serie

n=1
x
n
n
2
es uniformemente convergente en [1, 1].
Bibliografa
[Apostol1] Apostol, T. M.: Calculus, vol. I (segunda edicion). Reverte, Barcelona, 1989.
Citado en la(s) pagina(s) 169, 171
[Bartle-Sherbert] Bartle, R. G. - Sherbert, D. R.: Introduccion al Analisis Matematico de
una Variable. Limusa, Mexico, 1990. Citado en la(s) pagina(s) 169, 170, 172,
173, 175
[Gelbaum-Olmsted] Gelbaum, B. R. - Olmsted, J. M. H.: Counterexamples in Analysis.
Holden-Day, San Francisco, 1964. Citado en la(s) pagina(s) 174
177
rea de Anlisis Matemtico
Universidad de Zaragoza
analisis@unizar.es