Captulo 8

Series numricas
8.1. Denicin y primeras propiedades
Informalmente, una serie es una suma de innitos sumandos (ver antecedentes histricos y co-
mentarios en [APOSTOL1, cap. 10] y en [DURN, pg. 184 y sigs.]). Estas sumas se usan implcitamente,
por ejemplo, al considerar desarrollos decimales ilimitados de los nmeros reales: as, la igualdad
7
3
= 2, 333. . . signica
7
3
= 2+
3
10
+
3
100
+
3
1000
+. . . ,
suma con innitos sumandos de la forma
3
10
n
, n N. En general, consideraremos una sucesin cual-
quiera (a
n
) y su suma

n=1
a
n
. Qu sentido habr que darle a esta suma? La respuesta se impone de
modo natural:

n=1
a
n
tiene que ser lm
m
m

n=1
a
n
.
Analizando el proceso anterior, se trata de formar mediante la sucesin de sumandos (a
n
) una
nueva sucesin de sumas (s
m
) dada por s
m
= a
1
+a
2
+ +a
m
, m N, y determinar el lmite (si
existe) de esta ltima sucesin. Esquemticamente:
lugar 1 2 3 4 . . . n . . .
trmino a
1
a
2
a
3
a
4
. . . a
n
. . .
suma a
1
a
1
+a
2
a
1
+a
2
+a
3
a
1
+a
2
+a
3
+a
4
. . . a
1
+ +a
n
. . . ?
Ahora bien: si, en denitiva, vamos a parar al estudio de la convergencia de una sucesin, qu
novedad vamos a encontrar respecto a lo que ya sabemos de sucesiones? El cambio radica en el punto
de partida: tomando como dato la sucesin de sumandos (a
n
), nos planteamos determinar propiedades
de la sucesin de sumas (s
n
) basndonos en propiedades de los trminos a
n
. Pasemos a formalizar
estas ideas.
8.1.1. Series: trminos y sumas parciales. Series convergentes, divergentes y oscilantes
Denicin 8.1.1. Una serie

n=1
a
n
es un par ordenado de sucesiones ((a
n
), (s
n
)) relacionadas por
la condicin de que para cada n N es
s
n
= a
1
+a
2
+ +a
n
.
171
172 Captulo 8. Series numricas
El trmino n-simo de la primera sucesin, a
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.
Se dice que la serie

n=1
a
n
es convergente si la sucesin (s
n
) de sus sumas parciales es conver-
gente, es decir, si
lm
m
s
m
= lm
m
m

n=1
a
n
R.
Decimos que la serie

n=1
a
n
es divergente a +, divergente a u oscilante si la sucesin de sus
sumas parciales es divergente a +, divergente a u oscilante, respectivamente.
Si una serie

n=1
a
n
es convergente, se llama suma de dicha serie al lmite de la sucesin de sus
sumas parciales; si la serie diverge a + o a , se dice que su suma es + o , respectivamente.
Con un abuso de notacin que no suele conducir a error, se denota la suma con el mismo smbolo que
la serie. Es decir, se escribe

n=1
a
n
= lm
m
m

n=1
a
n
,
cuando este lmite existe.
Nota. A veces es cmodo considerar series de la forma

n=m
a
n
, donde m es un nmero entero: las
sumas parciales sern entonces s
1
= a
m
, s
2
= a
m
+a
m+1
,. . . , s
n
= a
m
+ +a
m+n1
, . . .
Se utiliza tambin la notacin a
m
+a
m+1
+ +a
n
+ en vez de

n=m
a
n
y, cuando no da lugar
a confusin, se abrevia en a
n
.
Ejemplo. Una serie

n=1
a
n
es una serie geomtrica si existe un r R tal que para todo n N es
a
n+1
=ra
n
(o a
n+1
/a
n
=r si a
1
=0); de otro modo, si es de la forma

n=0
ar
n
. Si s
n
es su suma parcial
n-sima, se tendr
s
n
= a+ar + +ar
n1
=
_
a
1r
n
1r
si r = 1
an si r = 1
.
Excluyendo el caso trivial a = 0, se sigue:
a) si |r| < 1, la serie

n=0
ar
n
es convergente y la suma es
a
1r
;
b) si r 1, la serie es divergente a + (si a > 0) o a (si a < 0);
c) si r =1, la serie es oscilante, aunque las sumas parciales estn acotadas;
d) si r <1, la serie es oscilante y las sumas parciales tienden, en valor absoluto, a +.
Ejemplo. La serie

n=1
1
n
se llama serie armnica Se comprueba que, para cada n, su suma parcial n-sima, denotada habitual-
mente por H
n
, cumple
H
n
=
n

k=1
1
k

n

k=1
_
k+1
k
dx
x
=
_
n+1
1
dx
x
= log(n+1),
luego la serie armnica diverge a + a pesar de que lm
n
1
n
= 0.
8.1. Denicin y primeras propiedades 173
El carcter de una serie no cambia si se prescinde de un nmero nito de sumandos (aunque s
puede cambiar el valor de la suma). Dicho de forma ms precisa,
Proposicin 8.1.2. Dada una serie

n=1
a
n
y un entero m > 1, se tiene:
a)

n=1
a
n
converge si y solo si converge

n=m
a
n
. Si convergen, entonces

n=1
a
n
=
m1

n=1
a
n
+

n=m
a
n
.
b)

n=1
a
n
diverge a + si y solo si

n=m
a
n
diverge a +.
c)

n=1
a
n
diverge a si y solo si

n=m
a
n
diverge a .
d)

n=1
a
n
es oscilante si y solo si

n=m
a
n
es oscilante.
Demostracin. Basta observar que para todo p > m es
p

n=1
a
n
=
m1

n=1
a
n
+
p

n=m
a
n
,
donde
m1
n=1
a
n
est jo (independiente de p), y aplicar las deniciones previas y los resultados cono-
cidos para sucesiones.
8.1.2. Linealidad de la convergencia de series
Proposicin 8.1.3. Sean

n=1
a
n
,

n=1
b
n
dos series convergentes. Para cualesquiera , R, la
serie

n=1
(a
n
+b
n
) es convergente y se tiene

n=1
(a
n
+b
n
) =

n=1
a
n
+

n=1
b
n
.
Demostracin. Basta tener en cuenta que
N

n=1
(a
n
+b
n
) =
N

n=1
a
n
+
N

n=1
a
n
.
Corolario 8.1.4. Si

n=1
a
n
converge y

n=1
b
n
no es convergente, entonces

n=1
(a
n
+b
n
) no es
convergente.
Demostracin. Si la serie

n=1
(a
n
+b
n
) convergiera, entonces la serie

n=1
b
n
=

n=1
_
(a
n
+b
n
) +(1)a
n
_
tambin convergera, segn la proposicin 8.1.3.
Ejemplos. La serie (
1
n
+
1
2
n
) no converge, pues
1
n
no es convergente y
1
2
n
s.
Sin embargo, al sumar dos series no convergentes, la suma puede ser tanto convergente como no
convergente: examnense los casos a
n
= b
n
= 1 y a
n
= 1, b
n
=1.
174 Captulo 8. Series numricas
8.1.3. Series telescpicas
Proposicin 8.1.5. Sean (a
n
) y (b
n
) dos sucesiones de nmeros reales tales que para todo n N se
cumple
a
n
= b
n
b
n+1
.
Entonces la serie

n=1
a
n
(denominada serie telescpica) es convergente si y solo si la sucesin (b
n
)
tiene lmite real, en cuyo caso tenemos

n=1
a
n
= b
1
lm
n
b
n
.
Demostracin. Basta tener en cuenta que las sumas parciales de la serie

n=1
a
n
son
s
N
=
N

n=1
a
n
= (b
1
b
2
) +(b
2
b
3
) + +(b
N1
b
N
) +(b
N
b
N+1
) = b
1
b
N+1
.
Ejemplo. Si a
n
=
1
n(n+1)
=
1
n

1
n+1
, entonces la suma parcial N-sima es simplemente
S
N
=
N

n=1
1
n(n+1)
=
N

n=1
_
1
n

1
n+1
_
= 1
1
N+1
,
con lo que lm
N
S
N
= 1. Es decir, la serie

n=1
a
n
converge y su suma es 1:

n=1
1
n(n+1)
= 1.
Ejemplo. Sea ahora a
n
= log
_
1+
1
n
_
. La suma parcial de orden N es
N

n=1
a
n
=
N

n=1
log
_
1+
1
n
_
=
N

n=1
_
log(n+1) logn
_
= log(N+1) log1 = log(N+1)
y tiende a +. Es decir, la serie

n=1
log
_
1+
1
n
_
diverge a +.
Nota. Toda serie

n=1
a
n
se puede ver trivialmente como una serie telescpica: basta poner
b
1
= 0, b
n+1
=(a
1
+a
2
+ +a
n
) (n N),
lo que no aade nada interesante al estudio de la serie. Como es obvio, el resultado que hemos obtenido
solo es til cuando la sucesin (b
n
) es una sucesin conocida, cuyo comportamiento sabemos de
antemano.
8.1.4. Condicin necesaria para la convergencia de una serie. Condicin general de
convergencia de Cauchy
Proposicin 8.1.6 (condicin necesaria para la convergencia de una serie). Si la serie

n=1
a
n
converge, necesariamente
lm
n
a
n
= 0.
8.2. Series de trminos no negativos 175
Demostracin. Si (s
N
) es la sucesin de las sumas parciales, es decir,
s
N
=
N

n=1
a
n
,
entonces
lm
N
s
N
R.
Como a
N
= s
N
s
N1
, se deduce que
lm
N
a
N
= lm
N
s
N
lm
N
s
N1
= 0.
Esta condicin no es suciente para la convergencia de una serie: veremos numerosos ejemplos de
series no convergentes cuya sucesin de trminos tiende a 0; el ms sencillo es quiz la serie armnica

n=1
1
n
= 1+
1
2
+
1
3
+ +
1
n
+ ,
que ya hemos estudiado.
Teorema 8.1.7 (condicin de Cauchy para la convergencia de una serie). Una serie

n=1
a
n
es
convergente si y solo si para cada > 0 existe un N = N() tal que para cualesquiera m,n N con
m n > N se cumple

k=n
a
k

< .
Demostracin. La serie es convergente si y solo si lo es la sucesin (s
n
) de sus sumas parciales, lo
que equivale a que (s
n
) sea una sucesin de Cauchy, y esto a su vez es es equivalente a que para cada
> 0 exista un N = N() tal que para cualesquiera m, n N con mn > N sea |s
m
s
n1
| < ; pero
s
m
s
n1
=
m

k=1
a
k

n1

k=1
a
k
=
m

k=n
a
k
.
8.2. Series de trminos no negativos
8.2.1. Convergencia de una serie de trminos no negativos. Criterios de comparacin
El estudio del carcter de una serie se simplica cuando esta es de trminos no negativos.
Proposicin 8.2.1. Sea

n=1
a
n
una serie tal que a
n
0 para cada n N. Entonces

n=1
a
n
converge
si y solo si la sucesin (s
n
) de sus sumas parciales est acotada superiormente. En caso contrario, la
serie diverge a +.
Demostracin. Puesto que para cada n N es
s
n+1
s
n
= a
n+1
0,
la sucesin (s
n
) es montona no decreciente. Luego o bien est acotada superiormente y converge, o
bien no est acotada superiormente y diverge a +.
176 Captulo 8. Series numricas
Este resultado permite deducir en algunos casos la convergencia (o divergencia) de una serie a
partir del carcter de otra serie conocida.
Teorema 8.2.2 (criterio de comparacin por mayoracin). Sean

n=1
a
n
y

n=1
b
n
dos series y
n
0
N de modo que para n n
0
es 0 a
n
b
n
. Si

n=1
b
n
converge, tambin converge

n=1
a
n
. En
consecuencia, si

n=1
a
n
diverge,

n=1
b
n
es asimismo divergente.
Demostracin. Sabemos que

n=1
a
n
tiene el mismo carcter que

n=n
0
a
n
, y que

n=1
b
n
tiene el
mismo carcter que

n=n
0
b
n
. Denotando por (s
n
) la sucesin de sumas parciales de

n=n
0
a
n
y por
(t
n
) la de

n=n
0
b
n
, se sigue que para cada n N es s
n
t
n
, luego si (t
n
) est acotada superiormente,
(s
n
) estar acotada superiormente. Y si (s
n
) no est acotada superiormente, (t
n
) tampoco puede estar
acotada superiormente. Basta aplicar ahora la proposicin 8.2.1.
Otra forma de comparar dos series es estudiar el cociente de sus trminos:
Teorema 8.2.3 (criterio de comparacin por paso al lmite). Sean

n=1
a
n
,

n=1
b
n
series de tr-
minos no negativos. Supongamos que existe
lm
n
a
n
b
n
= [0, +) {+}.
a) Si < + y la serie

n=1
b
n
converge, entonces la serie

n=1
a
n
tambin converge.
b) Si 0 < y la serie

n=1
b
n
diverge, entonces la serie

n=1
a
n
tambin diverge.
c) Si 0 < < +, entonces las dos series

n=1
a
n
y

n=1
b
n
tienen el mismo carcter.
Demostracin. a) Sea C (, +) (por ejemplo C = +1). Entonces existe algn n
0
N tal que
a
n
/b
n
C para todo n n
0
, es decir, 0 a
n
Cb
n
para todo n n
0
. Si la serie

n=1
b
n
converge,
entonces tambin la serie

n=1
Cb
n
converge y, por el criterio 8.2.2 de maroracin, la serie

n=1
a
n
converge.
b) Sea C (0, ). Existe algn n
0
N tal que a
n
/b
n
C para todo n n
0
, es decir, a
n
Cb
n
0
para todo n n
0
. Si la serie

n=1
b
n
diverge, entonces tambin la serie

n=1
Cb
n
diverge y, por el
criterio 8.2.2 de mayoracin, la serie

n=1
a
n
diverge.
c) Basta aplicar a) y b).
Corolario 8.2.4 (series de trminos equivalentes). Sean

n=1
a
n
,

n=1
b
n
dos series de trminos no
negativos. Supongamos que (a
n
) (b
n
). Entonces

n=1
a
n
y

n=1
b
n
tienen el mismo carcter.
Por supuesto, en este resultado las dos series pueden tener distinta suma.
La comparacin con las series geomtricas proporciona dos criterios muy tiles en la prctica: el
criterio de la raz y el criterio del cociente. Despus veremos versiones ms generales para series de
trminos cualesquiera, as que dejamos la demostracin para entonces.
Proposicin 8.2.5 (criterio de la raz o de Cauchy). Sea

n=1
a
n
una serie de trminos no negativos
tal que existe R = lm
n
n

a
n
.
a) Si R < 1, la serie

n=1
a
n
es convergente.
b) Si R > 1, entonces a
n
0 y la serie

n=1
a
n
es divergente.
Proposicin 8.2.6 (criterio del cociente o de DAlembert). Sea

n=1
a
n
una serie de trminos no
negativos tal que existe R = lm
n
a
n+1
a
n
.
8.2. Series de trminos no negativos 177
a) Si R < 1, la serie

n=1
a
n
es convergente.
b) Si R > 1, entonces a
n
0 y la serie

n=1
a
n
es divergente.
Un complemento interesante del criterio del cociente es el criterio de Raabe.
Proposicin 8.2.7 (criterio de Raabe). Sea

n=1
a
n
una serie de trminos no negativos tal que existe
R = lm
n
n(1
a
n+1
a
n
). Entonces:
a) Si R > 1, la serie

n=1
a
n
es convergente.
b) Si R < 1, la serie

n=1
a
n
diverge a +.
Demostracin. Ver [GARAY-CUADRA-ALFARO, teor. 5.28, pgs. 101102].
8.2.2. Otros criterios. Convergencia de algunas series de trminos no negativos
Proposicin 8.2.8 (criterio de la integral). Sea f : [1, +) [0, +) no creciente. Entonces:
a) La integral impropia
_
+
1
f es convergente si y solo si la serie

n=1
f (n) converge.
b) Existe C = lm
n
_
n

k=1
f (k)
_
n
1
f
_
[0, +).
c) Para cada n N se tiene
n

k=1
f (k) =
_
n
1
f +C+
n
, con 0
n
f (n) lm
x+
f (x).
Demostracin. Para cada n N, pongamos
s
n
=
n

k=1
f (k), t
n
=
_
n
1
f , d
n
= s
n
t
n
.
Entonces
d
n
=
n

k=1
f (k)
n1

k=1
_
k+1
k
f = f (n) +
n1

k=1
_
f (k)
_
k+1
k
f (x)dx
_
= f (n) +
n1

k=1
_
k+1
k
[ f (k) f (x)] dx 0.
Como
d
n
d
n+1
= s
n
t
n
s
n+1
+t
n+1
=
_
n+1
n
f (x)dx f (n+1)
=
_
n+1
n
[ f (x) f (n+1)] dx 0,
se sigue que (d
n
) es montona no creciente y acotada inferiormente por 0, con lo que existe C =
lm
n
d
n
[0, +) y, en consecuencia, (s
n
) y (t
n
) sern simultneamente convergentes o divergentes.
Puesto que f 0, la convergencia de (t
n
) equivale asimismo a la de la integral
_
+
1
f , luego esta
integral converge si y solo si converge la serie

n=1
f (n). Con esto hemos demostrado a) y b).
178 Captulo 8. Series numricas
En cuanto a c), la igualdad se cumple trivialmente si denimos
n
= s
n
t
n
C = d
n
C; lo que
hay que probar es que
0
n
f (n) lm
x+
f (x).
Observemos que
0 d
n
d
n+1
=
_
n+1
n
f (x)dx f (n+1)
_
n+1
n
f (n)dx f (n+1) = f (n) f (n+1).
Reiterando, para cualquier nmero natural m > n resulta:
0 d
n
d
n+1
f (n) f (n+1),
0 d
n+1
d
n+2
f (n+1) f (n+2),
. . .
0 d
m1
d
m
f (m1) f (m).
Al sumar las desigualdades resulta que
0 d
n
d
m
f (n) f (m).
Pasando al lmite en m, y teniendo en cuenta que lm
x+
f (x) existe por ser f montona no creciente,
obtenemos
0 d
n
C f (n) lm
x+
f (x).
Como
n
= d
n
C, hemos terminado la demostracin.
Aplicaciones. a) La constante de Euler. Aplicando los resultados que acabamos de obtener a la
funcin f dada por f (x) = 1/x y teniendo en cuenta que
_
n
1
1
x
dx = logn,
podemos escribir la suma parcial n-sima de la serie armnica como
H
n
=
n

k=1
1
k
= logn+ +
n
,
donde 0
n
1/n y
= lm
n
_
n

k=1
1
k
logn
_
= 0, 5772156649. . .
es un nmero introducido por Euler en 1734 en el estudio de la funcin , denida tambin por l.
Euler obtuvo sus diecisis primeras cifras decimales en 1781. No se sabe todava si es un nmero
racional o irracional (ver [LE LIONNAIS, pg. 28]).
b) La funcin de Riemann. El criterio 8.2.8 de la integral permite comprobar fcilmente que la
serie

n=1
1
n
s
converge si y solo si s > 1. La funcin
(s) =

n=1
1
n
s
, s > 1,
8.3. Series de trminos cualesquiera 179
se denomina funcin zeta de Riemann y tiene importantes aplicaciones (especialmente en teora de
nmeros). Hay expresiones ms o menos sencillas para (2n), n N, pero no para otros valores. Se
sabe por ejemplo que (2) =

2
6
, (4) =

4
90
. Hasta fechas recientes (R. Apry, 1978) no se haba
podido probar siquiera que (3) es irracional: ver [LE LIONNAIS, pg. 36].
c) Series logartmicas. Tambin mediante el criterio de la integral se prueba que la serie

n=2
1
n(logn)
s
converge si y solo si s > 1 (ver [APOSTOL1, pg. 486]).
Por comparacin con las series anteriores se deducen inmediatamente los siguientes criterios de
convergencia:
Proposicin 8.2.9 (criterio de Pringsheim). Sea

n=1
a
n
una serie de trminos no negativos tal que
para algn R existe el lmite
lm
n
n

a
n
= [0, +].
Entonces:
a) Si > 1 y < +, la serie

n=1
a
n
converge.
b) Si 1 y > 0, la serie

n=1
a
n
diverge (a +).
Proposicin 8.2.10 (criterios logartmicos). Sea

n=1
a
n
una serie de trminos no negativos tal que
existe alguno de los dos lmites A = lm
n
loga
n
logn
, B = lm
n
log(na
n
)
log(logn)
. Entonces:
a) Si A > 1, la serie

n=1
a
n
es convergente; si A < 1, diverge a +.
b) Si B > 1, la serie

n=1
a
n
es convergente; si B < 1, diverge a +.
8.3. Series de trminos cualesquiera
8.3.1. Series alternadas: criterio de Leibniz
Proposicin 8.3.1 (criterio de Leibniz). Sea

n=1
x
n
una serie alternada, es decir, una serie tal
que para cada n N es x
n
= (1)
n+1
a
n
con a
n
0. Si (a
n
) es una sucesin no creciente con lmite
0, entonces la serie

n=1
x
n
=

n=1
(1)
n+1
a
n
es convergente. Adems, denotando con s
n
la suma
parcial n-sima de la serie y con s su suma, se verican para todo n N las desigualdades
0 (1)
n
(s
n+2
s
n
) a
n+1
, (8.1)
0 (1)
n
(s s
n
) a
n+1
. (8.2)
Nota. De (8.1) se sigue que las sumas de orden par forman una sucesin no decreciente y las sumas
de orden impar una sucesin no creciente. Las desigualdades (8.2) pueden interpretarse del siguiente
modo: si tomamos s
n
como valor aproximado de s, el error que cometemos es menor o igual que
a
n+1
, de modo que si (a
n
) converge rpidamente a 0 obtenemos una buena aproximacin de la suma
mediante una suma parcial de pocos trminos.
180 Captulo 8. Series numricas
Demostracin. Obsrvese que dado k N, la diferencia
(s
2k+1
s
2k1
) = a
2k
a
2k+1
es mayor o igual que 0 por ser (a
n
) decreciente, y menor o igual que a
2k
por ser a
2k+1
0, lo que
da (8.1) en el caso n = 2k 1. Para n = 2k es
s
2k+2
s
2k
= a
2k+1
a
2k+2
,
que anlogamente es mayor o igual que 0 y menor o igual que a
2k+1
, lo que completa la prueba de (8.1)
para todos los casos. Adems, hemos obtenido que (s
2k
) es una sucesin no decreciente. Como
s
2k
= a
1
[(a
2
a
3
) + +(a
2k2
a
2k1
) +a
2k
] a
1
,
(s
2k
) est acotada superiormente, luego es convergente. Sea s su lmite. Puesto que
s
2k1
= s
2k
+a
2k
y a
2k
0, resulta que
lm
k
s
2k1
= lm
k
(s
2k
+a
2k
) = lm
k
s
2k
+lm
k
a
2k
= s +0 = s.
Es decir: tanto la subsucesin de trminos pares como la de trminos impares de (s
n
) son convergentes
con lmite s. Esto permite armar que (s
n
) es convergente con lmite s, es decir, que
+
n=1
x
n
= s.
Finalmente, puesto que para cada n N es
s = x
1
+ +x
n
+
+

k=n+1
x
k
= s
n
+
+

k=n+1
(1)
k+1
a
k
,
se sigue que
(1)
n
(s s
n
) =
+

k=n+1
(1)
n+k+1
a
k
= a
n+1
a
n+2
+lm
m
[(a
n+3
a
n+4
) + +(a
n+2m+1
a
n+2m+2
)]
a
n+1
a
n+2
0
y que
(1)
n
(s s
n
) =
+

k=n+1
(1)
n+k+1
a
k
= a
n+1
lm
m
[(a
n+2
a
n+3
) + +(a
n+2m
a
n+2m+1
)]
a
n+1
,
lo que prueba (8.2).
Ejemplo. La serie armnica alternada

n=1
(1)
n1
n
8.3. Series de trminos cualesquiera 181
es convergente. Adems, su suma se calcula fcilmente utilizando la constante de Euler. En efecto:
para cada n N, sumando y restando trminos, se tiene
2n

k=1
(1)
k+1
k
= 1
1
2
+
1
3

1
4
+ +
1
2n1

1
2n
= 1+
1
2
+
1
3
+
1
4
+ +
1
2n1
+
1
2n
2
_
1
2
+
1
4
+ +
1
2n
_
= H
2n
H
n
= log2n+ +
2n
logn
n
= log2+
2n

n
.
Como sabemos ya que la serie armnica alternada es convergente, podemos escribir:
+

k=1
(1)
k+1
k
= lm
m
m

k=1
(1)
k+1
k
= lm
n
2n

k=1
(1)
k+1
k
= log2.
Ejemplo. La serie

n=2
(1)
n
logn
n
es convergente. En efecto, es fcil comprobar que la funcin f (x) =
logx
x
es decreciente en [3, +)
(por ejemplo, calculando f

). Adems,
logn
n
0 y
logn
n
0. De aqu se deduce que la serie converge,
sumando desde n = 3, y por lo tanto tambin sumando desde n = 2..
8.3.2. Series absolutamente convergentes
Denicin 8.3.2. Una serie

n=1
a
n
se dice absolutamente convergente si la serie

n=1
|a
n
| es con-
vergente.
El ejemplo ms sencillo de serie convergente que no converge absolutamente es la serie armnica
alternada.
Observacin. Si

n=1
a
n
y

n=1
b
n
son dos series absolutamente convergentes y r, s R, entonces
la serie

n=1
(ra
n
+sb
n
) tambin es absolutamente convergente. Esto se deduce de la desigualdad
|ra
n
+sb
n
| |r||a
n
| +|s||b
n
| y el criterio 8.2.2 de mayoracin.
Denicin 8.3.3. Para un nmero real cualquiera x, escribamos
x
+
= m ax{x, 0}, x

= m ax{x, 0}. (8.3)

Es fcil comprobar que |x| = x
+
+x

, x = x
+
x

, x
+
0, x

0.
Proposicin 8.3.4. Toda serie absolutamente convergente es convergente: dicho de otro modo, si

n=1
|a
n
| converge, entonces la serie

n=1
a
n
tambin converge. Y en ese caso,

n=1
a
n

n=1
|a
n
|.
182 Captulo 8. Series numricas
Demostracin. Con la notacin (8.3),
0 a
+
n
|a
n
|, 0 a

n
|a
n
|,
luego las dos series

n=1
a
+
n
y

n=1
a

n
convergen. Como a
n
= a
+
n
a

n
, la serie

n=1
a
n
tambin
converge. Adems, para cada n N

k=1
a
k

k=1
|a
k
|,
por la desigualdad triangular. Pasando al lmite (una vez que ya sabemos que las dos series convergen),

k=1
a
k

k=1
|a
k
|.
8.3.3. Criterios generales de Cauchy (de la raz) y de DAlembert (del cociente)
Los criterios que hemos visto sobre convergencia de series de trminos no negativos se traducen
de manera obvia en criterios de convergencia absoluta para series de trminos cualesquiera. As:
Proposicin 8.3.5 (criterio de la raz o de Cauchy). Sea

n=1
a
n
una serie tal que existe R =
lm
n
n
_
|a
n
|.
a) Si R < 1, la serie

n=1
a
n
converge absolutamente.
b) Si R > 1, entonces a
n
0 y la serie

n=1
a
n
no es convergente.
Demostracin. a) Supongamos que R<1. Sea R<c <1. Entonces existir algn n
0
tal que
n
_
|a
n
| c
para todo n n
0
. Por lo tanto,
0 |a
n
| c
n
, n n
0
.
Como 0 < c < 1, la serie geomtrica

n=n
0
c
n
converge y por lo tanto la serie

n=n
0
|a
n
| converge, y
la serie

n=1
|a
n
| tambin converge.
b) Supongamos que R > 1. Entonces existir algn n
0
tal que
n
_
|a
n
| 1 para todo n n
0
. Por lo
tanto,
|a
n
| 1, n n
0
.
Entonces, a
n
0 y la serie

n=1
a
n
no es convergente.
Proposicin 8.3.6 (criterio del cociente o de DAlembert). Sea

n=1
a
n
una serie tal que existe
R = lm
n
|a
n+1
|
|a
n
|
.
a) Si R < 1, la serie

n=1
a
n
converge absolutamente.
b) Si R > 1, entonces a
n
0 y la serie

n=1
a
n
no es convergente.
Demostracin. a) Supongamos que R <1. Sea R <c <1. Entonces existir algn n
0
tal que
|a
n+1
|
|a
n
|
c
para todo n n
0
. Por lo tanto,
|a
n+1
| c|a
n
|, n n
0
.
De aqu es fcil deducir por induccin que
0 |a
n
|
|a
n
0
|
c
n
0
c
n
, n n
0
.
8.4. Propiedad conmutativa para series 183
Como 0 < c < 1, la serie geomtrica

n=n
0
c
n
converge y por lo tanto la serie

n=n
0
|a
n
| converge, y
la serie

n=1
|a
n
| tambin converge.
b) Supongamos que R > 1. Entonces existir algn n
0
tal que
|a
n+1
|
|a
n
|
1 para todo n n
0
. Por lo
tanto,
|a
n+1
| |a
n
|, n n
0
.
Entonces, la sucesin |a
n
| no tiende a 0 (es no decreciente), luego a
n
0 y la serie

n=1
a
n
no es
convergente.
8.3.4. Criterios de convergencia de Abel y Dirichlet
El criterio 8.3.1 de Leibniz nos ha permitido encontrar series que convergen pero no absolutamen-
te. Para ampliar la lista de criterios que no se reeren a la convergencia absoluta aadimos los ms
conocidos, de Abel y Dirichlet, que se obtienen de una interesante frmula de sumacin por partes:
Lema 8.3.7 (frmula de sumacin por partes de Abel). Sean (a
n
)

n=1
, (b
n
)

n=1
dos sucesiones arbi-
trarias, y llamemos, para cada n,
A
n
=
n

k=1
a
k
(suma parcial n-sima de la serie

n=1
a
n
) Entonces
n

k=1
a
k
b
k
= A
n
b
n+1
+
n

k=1
A
k
(b
k
b
k+1
)
cualquiera que sea n N.
Demostracin. Ver [APOSTOL1, pg. 497].
Proposicin 8.3.8 (criterio de Abel). Si (a
n
)

n=1
es una sucesin montona y acotada, y

n=1
b
n
es
una serie convergente, la serie

n=1
a
n
b
n
es convergente.
Demostracin. Ver [APOSTOL1, pg. 498].
Proposicin 8.3.9 (criterio de Dirichlet). Si (a
n
)

n=1
es una sucesin montona que converge a 0, y

n=1
b
n
es una serie cuya sucesin de sumas parciales est acotada, la serie

n=1
a
n
b
n
es convergente.
Demostracin. Ver [APOSTOL1, pgs. 497498].
8.4. Propiedad conmutativa para series
Qu sucede cuando en una serie se cambia el orden de los sumandos? Se puede demsotrar que
las nicas series inalterables por estos cambios son las absolutamente convergentes; en general, pues,
las series no mantienen la propiedad conmutativa de las sumas nitas. Precisemos estos conceptos.
Denicin 8.4.1. Dada una serie

n=1
a
n
, se dice que otra serie

n=1
b
n
es una reordenacin suya
si existe una aplicacin biyectiva r : N N tal que, para cada n N,
b
n
= a
r(n)
.
Ntese que, recprocamente,

n=1
a
n
es una reordenacin de

n=1
b
n
, pues la inversa r
1
es igual-
mente una biyeccin.
184 Captulo 8. Series numricas
Informalmente, una serie es una reordenacin de otra si tiene exactamente los mismos trminos,
pero en otro orden. Que una serie tenga la propiedad conmutativa signicar, as, que tenga suma y
que cualquier reordenacin suya tenga la misma suma. Vamos a dar un nombre especial a las series
convergentes con la propiedad conmutativa.
Denicin 8.4.2. Una serie se denomina incondicionalmente convergente si es convergente y si
toda reordenacin suya es asimismo convergente, y con la misma suma.
Decimos que una serie es condicionalmente convergente si es convergente pero no incondicio-
nalmente convergente, de modo que alguna reordenacin suya o bien no es convergente o converge a
una suma distinta.
Lema 8.4.3. Dada una serie

n=1
a
n
de trminos no negativos y una reordenacin suya

n=1
b
n
, se
tiene:
a) si

n=1
a
n
es convergente con suma s, tambin

n=1
b
n
es convergente con suma s.
b) si

n=1
a
n
es divergente a +, tambin

n=1
b
n
es divergente a +.
Demostracin. a) Sea r : N N tal que b
n
= a
r(n)
para cada n N. Para cada n N denamos
m(n) = m ax{r(1), r(2), . . . , r(n)}.
Denotando con t
n
la suma parcial n-sima de

n=1
b
n
ser entonces
t
n
= a
r(1)
+a
r(2)
+ +a
r(n)
a
1
+a
2
+ +a
m(n)
s,
lo que prueba que

n=1
b
n
es convergente con suma menor o igual que s. Como a su vez

n=1
a
n
es una
reordenacin de

n=1
b
n
, por el mismo motivo su suma ser menor o igual que la suma de

n=1
b
n
, lo
que implica la igualdad entre ambas sumas.
b) En caso contrario,

n=1
b
n
sera convergente y entonces

n=1
a
n
, reordenacin suya, tambin
convergera.
Proposicin 8.4.4. Toda serie absolutamente convergente es incondicionalmente convergente.
Demostracin. Si la serie

n=1
|a
n
| converge, aplicamos el lema 8.4.3 a las series

n=1
a
+
n
y

n=1
a

n
(que tambin convergen) y por ltimo recordamos que a
n
= a
+
n
a

n
.
El recproco tambin es cierto: ms an, una serie convergente que no converja absolutamente po-
see reordenaciones que van a parar donde se desee: convergentes con suma arbitrariamente prejada,
divergentes a +, divergentes a , oscilantes a capricho. Este es el contenido de un clebre teorema
de Riemann.
Teorema 8.4.5 (de Riemann). Si una serie es convergente pero no absolutamente convergente, para
cada [, +] existe una reordenacin suya con suma ; en general, dados
1
,
2
, . . . ,
k
, existe
una reordenacin cuya sucesin de sumas parciales contiene subsucesiones que convergen a
1
,
2
,
. . . ,
k
.
Demostracin. Ver [GARAY-CUADRA-ALFARO, teor. 5.33, pg. 105], [ORTEGA, teor. 9.20, pg. 303].
Corolario 8.4.6 (teorema de Dirichlet). Una serie es incondicionalmente convergente si y solo si es
absolutamente convergente.
8.5. Apndice: sumacin de series 185
8.5. Apndice: sumacin de series
Resumimos las ideas fundamentales sobre el clculo de las sumas de algunos tipos particulares de
series.
Series telescpicas
Si para cada n puede ponerse a
n
= b
n
b
n+1
, la serie

n=1
a
n
converge si y solo si es convergente
la sucesin (b
n
), y si este es el caso,

n=1
a
n
= b
1
lm
n
b
n
.
Series geomtricas
Si a = 0, entonces la serie

n=1
ar
n1
converge si y solo si |r| < 1; si converge,

n=1
ar
n1
=
a
1r
.
Series aritmtico-geomtricas
Si P es un polinomio no constante, la serie

n=0
P(n)r
n
converge si y solo si |r| < 1. Llamando S a
su suma, (1r)S = P(0) +

n=1
[P(n) P(n1)]r
n
= P(0) +

n=1
Q(n)r
n
, donde Q es un polinomio de
grado menor que P; reiterando, se llega a una serie geomtrica.
Series hipergeomtricas
Son de la forma

n=1
a
n
con
a
n+1
a
n
=
n+
n+
, > 0. La serie converge si y solo si > +, con
suma
a
1

Series racionales o de cocientes de polinomios

Series del tipo

P(n)
Q(n)
, donde P y Q son polinomios (el nombre no es estndar). Cuando conver-
gen, puede hallarse a veces su suma descomponiendo P/Q en fracciones simples y calculando la suma
parcial n-sima, relacionndola con sumas de series conocidas. Pueden ser de ayuda las siguientes:
Serie armnica
H
n
= 1+
1
2
+
1
3
+ +
1
n
= logn+ +
n
, donde es la constante de Euler y lm
n

n
= 0
Funcin de Riemann (s) =

n=1
1
n
s
, s > 1. En particular
(2) =

n=1
1
n
2
=

2
6
, (4) =

n=1
1
n
4
=

4
90
.
186 Captulo 8. Series numricas
Reordenadas de la serie armnica alternada
En algunos casos pueden hallarse expresiones simplicadas de ciertas sumas parciales en trminos
de H
n
, y deducir as el comportamiento de la serie.
Series que se reducen a la exponencial
Partiendo de que para todo x R es

n=0
x
n
n!
= e
x
, se pueden sumar series de la forma

P(n)
n!
x
n
,
donde P es un polinomio de grado m, sin ms que reescribir
P(n) = a
0
n(n1) (nm+1) +a
1
n(n1) (nm+2) + +a
m1
n+a
m
para coecientes a
0
, . . . , a
m
adecuados, y observar que
n(n1) (nk)
n!
=
1
(nk 1)!
,
si n > k.
8.6. Ejercicios
Ejercicio 8.1. Escribindolas como series telescpicas, estudiar las siguientes series:
a)

n=1
1
2
n

n+2
n(n+1)
(descomponer
n+2
n(n+1)
en fracciones simples).
b)

n=1
3
n
sen
3
a
3
n
(obsrvese que senx = 3sen
x
3
4sen
3
x
3
).
c)

n=1
2
n1
tg
2
a
2
n
tg
a
2
n1
(utilizar que tgx =
2tg
x
2
1tg
2
x
2
).
d)

n=1
sen
1
2
n
cos
3
2
n
(tener en cuenta que cosxseny =
1
2
[sen(x +y) sen(x y)]).
e)

n=1
1
4
n
cos
2
(x/2
n
)
(0 < x < /2; usar que
1
4cos
2
a
=
1
sen
2
2a

1
4sen
2
a
).
Ejercicio 8.2. Estudiar el carcter de las series de trmino general:
a)
sen
4
n
n
2
b)
1

n2/3
c)
1+n
2
n!
d) cos
n
_
a+
b
n
_
(0 < a < /2) e)
n
2
+1
na
n
(a = 0) f)
n!
n
n
g)
3
n
n
2
+1
h)
_
n+1
n
_
n
3
i)
1
logn
j)
1
na+b
, (a, b) = (0, 0) k)
sen(nx)
n
2
l)
1
n3/2
8.6. Ejercicios 187
m)
1
n(n+1)(n+2)
n)
1+sen
2
(nx)
n
2
)
1
n
sen
1
n
o)

n+1

n
n
p)
n(n+1)
n
2
+2n
q)
_
1
n
_
n+1/n
r)
log(n+1) 1
(1+n)
2
s)
1
3cos(1/n)
t)
_
x
n
_
n
n!
u)
1
n(1+
1
2
+ +
1
n
)
v)
1+
1
2
+ +
1
n
n
3
logn
w)
1
(logn)
2n
x) log
n+1
n
y) e

n
2
+1
z)
1
(logn)
p
A)
x
n

n
B)
logn
n
p
C) log
_
1+
x
n
_
D)
(1)
n
1+
1
2
+ +
1
n
E)
(1)
n
(n+1)
n!
F)
(n
2
+1)x
n
(n+1)!
G) e
1/n
2
e
1/(n
2
+1)
H) (1)
n+1
n
n
2
+1
I)
(n!)
2
(2n)!
x
2n
Ejercicio 8.3. Hallar la suma, si convergen, de las series de trmino general (para n 1, si no se
indica otra cosa):
a)
4n1
(n+2)(n1)
2
, n 2 b)
1
n(n+1)
c)
2n+3
n(n1)(n+2)
, n 2
d)
1
n
2
1
, n 2 e)
1
4n
2
+16n+7
f)
1
(n+1)
2
4
, n 2
g)
3n
2
+7n+6
n(n+1)(n+2)(n+3)
i)
1
(n1+

3)(n2+

3)(n+

3)
h)
n
2
+3n+1
n
2
(n+1)
2
j)
n
2
(n+1)
2
n!
k)
3
n
(n3)
n!
l)
n
3
n+1
n! 3
n
m)
3n
2
+8n+6
(n+2)!
, n 3 n)
n1
n!(n+2)
)
n
3
1
n!
o)
n
2
+1
(n+1)!
p)
n
2
+5n+7
(n+2)!
, n 2
q) (1)
n1
2n+1
n(n+1)
r)
n(n+1)
2
n
s)
n
2
3
n
t) (n+1)x
n
u) (1)
n
n
2
n
3
n
v)
1
n

n+1+(n+1)

n
w) log
_
n
n+1
_
n

1
2n
+1
Ejercicio 8.4. Hallar la suma de las series:
188 Captulo 8. Series numricas
a) 1
1
2
+
1
3

1
4
+
1
5

1
6
+. . .
b)
1
4

1
3
+
1
8

1
9
+
1
12

1
15
+
1
16

1
21
+
1
20
. . .
c) 1+
1
3
+
1
5
+
1
7

1
2
+
1
9
+
1
11
+
1
13
+
1
15

1
4
+. . .
d) 1+
1
3

1
2

1
4

1
6
+
1
5
+
1
7

1
8

1
10

1
12
+. . .
e) 1+
1
2
2
+
1
3
2
+
1
5
2
+
1
6
2
+
1
7
2
+
1
9
2
+. . .