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
Denicin 10.1.1. Sea A un subconjunto de R. Supongamos que para cada nmero natural n est
dada una funcin f
n
: A R; la aplicacin n f
n
recibe el nombre de sucesin de funciones
(denidas en A, si es necesaria la precisin). La funcin f
n
asociada al nmero natural n recibe el
nombre de trmino n-simo de la sucesin.
Informalmente, una sucesin de funciones es una lista sin n
f
1
, f
2
, . . . , f
n
, . . .
de funciones denidas en el conjunto A. Como hicimos con las sucesiones de nmeros reales, deno-
tamos la sucesin de funciones cuyo trmino n-simo es f
n
con ( f
n
)
nN
o, simplicando si no hay
confusin, con ( f
n
).
Para cada punto x A podemos considerar la sucesin de nmeros reales que tiene por trmino
n-simo el nmero real f
n
(x), valor en x de la funcin f
n
. Esta sucesin podr ser convergente o no.
El conjunto C de todos los puntos x A para los que la sucesin de nmeros ( f
n
(x)) converge
suele llamarse campo de convergencia de la sucesin de funciones ( f
n
); si C = / 0, podemos denir
una nueva funcin f : C R haciendo corresponder a cada x C el nmero real f (x) = lm
n
f
n
(x).
Hablamos entonces de convergencia puntual (o punto a punto) de la sucesin ( f
n
) a la funcin f ,
concepto que vamos a denir en general.
Denicin 10.1.2. Sea ( f
n
) una sucesin de funciones denidas en un conjunto A, S un subconjunto
de A y f una funcin denida en S. Si para cada x S, f (x) = lm
n
f
n
(x), se dice que la sucesin ( 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 sucesin ( f
n
) en S.
Cuando existe tal funcin f , decimos que la sucesin ( f
n
) es convergente punto a punto en S, o
que la sucesin ( f
n
) es convergente puntualmente en S.
201
202 Captulo 10. Sucesiones y series de funciones
Ejemplos. a) La sucesin (x
n
) converge puntualmente en el intervalo cerrado [0, 1] a la funcin f
denida en dicho intervalo por
f (x) =

0 si 0 x < 1
1 si x = 1.
b) La sucesin

x
n
1+x
n

converge puntualmente en [0, +) a la funcin f denida en tal intervalo

por
f (x) =

0 si 0 x < 1
1/2 si x = 1.
1 si x > 1.
c) La sucesin (sennx) converge puntualmente a 0 en todos los x Z. Menos trivial es probar
que en los dems puntos no converge. En efecto: sea x R y supongamos que sennx ;
desde luego, debe ser R y entonces
= lm
n
sen2nx = lm
n
2sennxcosnx = lm
n
2cosnx.
De aqu se deduce que o bien = 0, o bien lm
n
cosnx =
1
2
.
No puede ser lm
n
cosnx =
1
2
, ya que tendramos
1
2
= lm
n
cos2nx = lm
n
2cos
2
nx 1 =
1
2
.
As que debe ser = 0, luego lm
n
| cosnx| = lm
n

1sen
2
nx = 1. Como
sen(n+1)x = sennxcosx +cosnxsenx,
queda lm
n
cosnxsenx = 0 y, por lo tanto, senx = 0. Es decir, x Z.
Pueden verse ms ejemplos con sus grcas en [BARTLE-SHERBERT, pgs. 312315].
Observacin. La convergencia puntual puede expresarse en trminos similares a los de la convergen-
cia de sucesiones numricas. Concretamente:
Sea ( f
n
) una sucesin de funciones denidas en un conjunto A, S un subconjunto de A, f una
funcin denida en S. La sucesin ( 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, tenemos la siguiente condicin de Cauchy para la convergencia puntual:
Sea ( f
n
) una sucesin de funciones denidas en un conjunto A, S un subconjunto de A. La
sucesin ( f
n
) converge puntualmente en S (a una cierta funcin) 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)| < .
10.2. Convergencia uniforme 203
Las deniciones de serie de funciones y convergencia puntual de una serie de funciones son fcil-
mente adivinables.
Denicin 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 condicin de que para cada n N es

s
n
= f
1
+ f
2
+ + f
n
.
Para cada n N, el trmino n-simo de la primera sucesin, f
n
, recibe el nombre de trmino n-simo
de la serie; el trmino n-simo de la segunda sucesin, s
n
, recibe el nombre de suma parcial n-sima
de la serie.
Decimos que una serie de funciones converge puntualmente a una funcin f en un conjunto S
si lo hace la sucesin de sus sumas parciales. En tal caso, la funcin 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) y su suma es la funcin
f (x) =
1
1x
, si 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 funcin dada por funciones que la aproximan y que pueden
tener un comportamiento mejor controlado respecto a la situacin que nos interese. En cualquiera de
los dos casos, la primera tarea es examinar qu propiedades de las funciones que forman la sucesin
se traspasan a la funcin lmite. El resultado de un primer anlisis no puede ser ms descorazonador,
como muestran los siguientes ejemplos (ver [APOSTOL1, pg. 518]).
Ejemplos. a) Sucesin de funciones continuas con funcin lmite discontinua: la sucesin f
n
(x) =
x
n
en [0, 1] converge puntualmente a la funcin que vale 1 en x = 1 y 0 en los dems puntos.
b) Sucesin de funciones cuyas integrales no convergen a la integral de la funcin lmite: la suce-
sin ( f
n
) denida por
f
n
(x) = nx(1x
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 an es lo que ocurre con la derivacin, como veremos posteriormente. A la vista de estos
ejemplos, est claro que hay que introducir una nocin ms fuerte de convergencia (ver comentarios
en [APOSTOL1, pgs. 518519]).
10.2.1. Denicin de convergencia uniforme
Denicin 10.2.1. Sea ( f
n
) una sucesin de funciones denidas en un conjunto A, S un subconjunto
de A, f una funcin denida en S. Se dice que la sucesin ( 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)| .
204 Captulo 10. Sucesiones y series de funciones
Desde luego, el ltimo puede sustituirse por < y la denicin es equivalente. Ver comentarios
e interpretacin grca en [APOSTOL1, pgs. 519520].
Comparando esta denicin con la reformulacin que dimos anteriormente para la convergencia
puntual, es obvio que toda sucesin ( f
n
) que converge uniformemente a una funcin f en S, tambin
converge puntualmente a f en S.
Una manera til de expresar la denicin de convergencia uniforme es la siguiente:
Proposicin 10.2.2. Sea ( f
n
) una sucesin de funciones denidas en un conjunto A, S un subconjunto
de A, f una funcin denida en S. La sucesin ( f
n
) converge uniformemente a f en S si y solo si
sup{| f
n
(x) f (x)| : x S}
n
0.
Demostracin. Si para cada n N escribimos
M
n
= sup{| f
n
(x) f (x)| : x S},
entonces que la sucesin ( f
n
) converja uniformemente a f en S signica, segn la denicin, 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.
Aplicacin. La sucesin

sennx
n

converge uniformemente a 0 en R, ya que

sup

sennx
n
0

: x R

1
n
0.
Sin embargo, la sucesin ( f
n
) con f
n
(x) = x
n
no converge uniformemente en [0, 1], pues en caso
armativo tendra que hacerlo a la funcin 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, pgs. 316317]).
Proposicin 10.2.3 (condicin de Cauchy para la convergencia uniforme). Sea ( f
n
) una sucesin
de funciones denidas en un conjunto A, S un subconjunto de A. Entonces ( f
n
) converge uniforme-
mente en S a alguna funcin si y solo si para cada >0 existe un N() tal que para todos los nmeros
naturales m, n N() se cumple
sup{| f
m
(x) f
n
(x)| : x S} .
Demostracin. No la desarrollamos, pero la comprobacin de que es condicin suciente resulta muy
ilustrativa. Puede verse en detalle en [BARTLE-SHERBERT, pgs. 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 sucesin de funciones que converge uniformemente en un conjunto S
a una funcin f con dominio S, y sea x un punto de S. Si cada funcin f
n
es continua en x, entonces f
tambin es continua en x.
10.2. Convergencia uniforme 205
Demostracin. Sea > 0. Segn la denicin de convergencia uniforme, hay algn 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 algn > 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 trminos de series de fun-
ciones. La convergencia uniforme de una serie de funciones se dene de manera anloga a la conver-
gencia puntual:
Denicin 10.2.5. Una serie de funciones

n=1
f
n
se dice que converge uniformemente a una funcin
f en un conjunto S cuando la sucesin (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 funcin suma
f en su dominio S y si cada trmino f
n
es una funcin continua en un punto x de S, entonces tambin
f es continua en x.
10.2.3. Convergencia uniforme e integracin
La convergencia puntual no conserva la integrabilidad: hay sucesiones de funciones integrables-
Riemann que convergen puntualmente a funciones que, por el contrario, no son integrables-Riemann
(vse, por ejemplo, [BARTLE-SHERBERT, ejr. 13, pg. 325]). Una vez ms, la situacin es distinta con
convergencia uniforme.
Teorema 10.2.7. Sea ( f
n
) una sucesin de funciones continuas en un intervalo [a, b] que convergen
uniformemente en [a, b] a una funcin f . Entonces f es integrable en [a, b] y se cumple
lm
n

b
a
f
n
=

b
a
f .
Demostracin. La funcin f es integrable, porque es continua, segn el teorema 10.2.4. 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
(ba)sup{| f
n
(x) f (x)| : x [a, b]}.
206 Captulo 10. Sucesiones y series de funciones
Que la sucesin ( 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 tambin
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
sucesin de funciones (g
n
) converge uniformemente a la funcin g en el intervalo [a, b].
Observacin. En realidad, no hace falta imponer que las funciones sean continuas. El teorema 10.2.7
si las funciones f
n
son integrables, pero entonces no es inmediato que f sea tambin integrable. La
demostracin puede verse en [BARTLE-SHERBERT, teor. 7.2.4, pgs. 323324].
El teorema 10.2.7 arma que, con las hiptesis 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 hiptesis es una de las razones que impulsaron la generalizacin
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
funcin 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
.
10.2.4. Convergencia uniforme y derivacin
Sobre derivacin no cabe esperar enunciados tan sencillos como los obtenidos para la continuidad
y la integrabilidad, ni siquiera cuando hay convergencia uniforme, segn ponen de maniesto los
siguientes ejemplos.
Ejemplo. Una sucesin de funciones derivables que converge uniformemente a una funcin no deri-
vable:
f
n
(x) =

x
2
+
1
n
f (x) = |x| uniformemente en 1 x 1.
Ejemplo. Una sucesin de funciones derivables que converge uniformemente a una funcin derivable,
mientras que la sucesin de sus derivadas no converge en ningn punto:
f
n
(x) =
sennx

n
f (x) = 0 uniformemente en R
(ver [GELBAUM-OLMSTED, pgs. 7677]).
10.2. Convergencia uniforme 207
Ejemplo. Una sucesin de funciones derivables que converge uniformemente a una funcin derivable,
mientras que la sucesin de sus derivadas converge a una funcin que no es lmite de las derivadas:
f
n
(x) =
x
n
n
f (x) = 0 uniformemente en 0 x 1.
Ejemplo. Una sucesin de funciones derivables que no converge en ningn punto, mientras que la
sucesin de sus derivadas converge uniformemente:
f
n
(x) = (1)
n
; f

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

n
) converge uniformemente en [a, b] a una funcin g.
Entonces la sucesin ( f
n
) converge uniformemente en [a, b] a una funcin f derivable en [a, b] y
adems f

= g.
Demostracin. 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 funcin g es continua, por el teorema 10.2.4, as que la funcin f es derivable y
adems f

= g, segn el teorema fundamental del clculo integral (teorema 6.3.4). Se trata de probar
que la sucesin de funciones ( f
n
) converge uniformemente a f en [a, b].
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) | +(ba)sup{| f

n
(t) g(t)| : t [a, b]}.
Si es x < c se llega a la misma conclusin, 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) | +(ba)sup{| f

n
(t) g(t)| : t [a, b]}.
208 Captulo 10. Sucesiones y series de funciones
Por la hiptesis c) y como = lm
n
f
n
(c), se deduce que
sup{| f
n
(x) f (x)| : x [a, b]}
n
0,
es decir, la sucesin de funciones ( f
n
) converge uniformemente a f en [a, b].
El lector puede enunciar y demostrar la traduccin de este resultado a series de funciones.
Nota. En realidad, no hace falta que las funciones f

n
sean continuas ([BARTLE-SHERBERT, teor. 7.2.3,
pgs. 322323]).
10.3. Una condicin 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 numrica convergente

n=1
M
n
de trminos 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.
Demostracin. Dado n N, sea
s
n
=
n

k=1
f
k
la suma parcial n-sima de la serie. Tenemos que probar que la sucesin de funciones (s
n
) converge
uniformemente en S, para lo que es suciente demostrar que cumple la condicin de Cauchy (propo-
sicin 10.2.3). Pero suponiendo que 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 algn N() N tal que para cada m > n > N()
m

k=n+1
M
k

(condicin de Cauchy para una serie numrica convergente). Por lo tanto,
sup{|s
m
(x) s
n
(x)| : x S}
siempre que m > n > N(). De la proposicin 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
.
Observacin. En el teorema 10.3.1, 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].