1.

2
1.2.1

Series num
ericas
Definici
on y propiedades

Introducci
on: La suma de una cantidad finita de n
umeros es algo totalmente familiar y
que no ofrece necesidad de aclaraciones. Informalmente podemos decir que una serie es
una suma con un n
umero infinito de sumandos. Es decir algo as como
a1 + a2 + a3 + . . . + an + . . . con ak R o C.
Este tipo de sumas han aparecido en ocasiones y, aparentemente, no entra
naban dificultad,

1/4

1/2

1/16

1/8

Figure 1.1: Metodo de Nicolas de Oresme

por ejemplo

1 1 1
1
1
+ + +
+ ... + n + ...
2 4 8 16
2
adelantando acontecimientos, se utilizo el resultado
S=

1
a1
= 2
1r
1

1
2

= 1.

Podramos haberlo justificado dando una interpretacion grafica de la suma, como hizo
Nicolas de Oresme en 1360, mediante sucesivas bisecciones de un cuadrado de lado unidad.
Pero esa falta de dificultad es solo aparente pues,
a1 + a2 + a3 + . . . + an + . . .
no esta bien definida. Consideremos el siguiente ejemplo
1 + (1) + 1 + (1) + 1 + (1) + . . .
Que significa aqu
a1 + a2 + a3 + . . . + an + . . . ?
Es decir Como operamos? Podra pensarse , equivocadamente, que la manera de asociar
los sumandos no importa, pero no es as, ya que
(1 + (1)) + (1 + (1)) + (1 + (1)) + (1 + (1)) + . . . = 0,

mientras que
1 + ((1) + 1) + ((1) + 1) + ((1) + 1) + ((1) + 1) + . . . = 1.
Luego
a1 + a2 + a3 + . . . + an + . . .
no esta, por el momento, libre de ambig
uedades. No queda ah la cosa, todava resulta
peor, una vez establecida la definicion, mas adelante, veremos que
1 1 1 1 1
+ + . . . = ln 2.
2 3 4 5 6
Sin embargo, basta alterar el orden, para que
1

1 1 1 1 1
1
1
+ + + +
. . . = 2 ln 2.
3 5 2 7 9 11 4
En general no puede cambiarse el orden de infinitos terminos de una serie sin alterar su
suma. En lo que sigue daremos una definicion rigurosa de serie y de suma de una serie.
1+

Definici
on 1.1. Sea {an } una sucesi
on de n
umeros reales o complejos formamos una
nueva sucesi
on {Sn } tal que
S1 = a1
S2 = a1 + a2
S3 = a1 + a2 + a3
..
.
Sn = a1 + a2 + . . . + an
..
.
Se denomina serie al par de sucesiones ({an }, {Sn }). A los elementos de {an } se les
denomina terminos, mientras que a los elementos de {Sn } se les llama sumas parciales.
Se define entonces la suma
a1 + a2 + a3 + . . . an + . . . = lim Sn ,
n

que se nota

an = a1 + a2 + a3 + . . . an + . . . = lim Sn .
n

n=1

Pueden, como sabemos, ocurrir tres cosas, que limn Sn R, que limn Sn = o
que limn Sn no exista. En el primer caso diremos que la serie converge, en el segundo
que diverge y en el tercero que oscila.
Algunos autores llaman sumables a los dos primeros y no sumable el tercero, otros no
distinguen entre los dos u
ltimos llam
andoles a ambos divergentes, nosotros adoptaremos
el criterio se
nalado.
Observaci
on 1.1. Hagamos notar una peque
na incongruencia
en la notacion. Hemos
P
dicho que una serie es un par ({an }, {Sn }) y su suma n=1 an . Esta u
ltima expresion
es un n
umero en el mejor de losP
casos, luego no puede converger ni dejar de hacerlo, sin

embargo
P utilizaremos el smbolo n=1 an , para referirnos a la serie ({an }, {Sn }) y diremos
que n=1 an converge o diverge, aunque en realidad sea un abuso de lenguaje.

Ejemplo 1.1.
P
1
1. Sea
on para la suma
n=1 n(n+1) . A veces es posible obtener con facilidad la expresi
parcial n-esima,
1
1
1
1
Sn =
+
+
+ ... +
,
12 23 34
n(n + 1)
1
1
1
=
, luego
k(k + 1)
k k+1

1 1
1 1
1 1
1
1
1
Sn =

+ ... +

=1
.
1 2
2 3
3 4
n n+1
n+1

ahora bien

Esto no es lo corriente, lo normal es que no sea trivial calcular Sn . En este caso, sin
embargo

1
lim Sn = lim 1
= 1.
n
n
n+1
Es decir

X
n=1

2. Sea

n=1 n.

1
= 1.
n(n + 1)

La suma parcial sera

Sn = 1 + 2 + 3 + 4 + . . . + n =

y tendremos que
lim Sn = lim

luego

n=1 n

n(n + 1)
,
2

n(n + 1)
= +,
2

es divergente.

3. Consideremos la serie de la introduccion

1 + (1) + 1 + (1) + 1 + (1) + . . . =

(1)n+1

n=1

Vemos que
S2k = 0,

S2k+1 = 1

luego limn Sn no existe, y la serie es oscilante.

Proposici
on 1.1. (Asociatividad
Pde la suma de terminos)
terminos sin camSi en una serie convergente
n=1 an (divergente) se agrupan
Plos

biarlos de orden, seg

un una ley cualquiera, la serie que resulta n=1 a0n es convergente
(divergente). Si es convergente la suma de la nueva serie coincide con la de la serie original.
Dem. Consideremos la serie
a1 + a2 + a3 + . . . + an + . . .
Asociemos
(a1 + a2 + . . . an1 ) + (an1 +1 + an1 +2 + . . . + an2 ) + (an2 +1 + an2 +2 + . . . + an3 ) + . . .

dando la sucesion {n1 , n2 , n3 , . . .} de los puntos donde ponemos los parentesis. Tendremos
una nueva serie
a01 + a02 + a03 + . . . + a0n + . . .
Las sumas parciales de la primera serie se pueden relacionar con las de la segunda en forma
trivial
S1 = a1
S2 = a1 + a2
S3 = a1 + a2 + a3
..
.
Sn1

= a1 + a2 + . . . + an1 = a01 = S10

..
.

Sn2

= a1 + a2 + . . . + an2 = a01 + a02 = S20

..
.

Sn3

= a1 + a2 + . . . + an3 = a01 + a02 + a03 = S30

..
.

Es decir {Sn0 } es una subsucesion de {Sn }, de acuerdo con el teorema sobre convergencia de
0
subsucesiones, si {Sn } es convergente
P 0 tambien lo es {Sn }, y si es convergente
P o divergente,
el lmite es el mismo, es decir n=1 an = n=1 an .
Observaci
on 1.2.
1. Hagamos notar que lo anterior es cierto para convergentes y divergentes, pero no
para oscilantes. Poner infinitos parentesis en una oscilante puede variar su caracter,
como ya vimos con
1 + (1) + 1 + (1) + 1 + (1) + . . .
2. Hemos comprobado que no se verifica, en general, la propiedad disociativa. Sin ir
mas lejos con la serie convergente
1 + ((1) + 1) + ((1) + 1) + ((1) + 1) + ((1) + 1) + . . . = 1.
Si quitamos parentesis pierde su caracter. Otro ejemplo, algo mas complicado, es la
serie
1
1
1 1 1
+ + +
+ . . . + n + . . . = 1,
2 4 8 16
2
que podemos reescribir como

1
3
7
1
+ 1
+ 1
+ . . . = 1.
2
4
8
No podemos quitar parentesis, si lo hacemos quedara la serie

1
3
7
15
+1 +1 +1
+ ...
2
4
8
16

Es facil ver que

S1 = 1
1
1
=
2
2
3
+1=
2
3
3
=
4
4
7
+1=
4
7
7
=
8
8

S2 = 1
S3 =
S4 =
S5 =
S6 =
..
.

1
2
3
2
3
4
7
4

Comprobamos que

2m 1
, S2m+1 = S2m + 1.
2m
Tomando lmites cuando n resulta que S2m 1 y S2m+1 2. Luego
limn Sn no existe y por tanto la nueva serie es oscilante.
S2m =

Proposici
on 1.2. (Intercalacion y supresion de un n
umero finito de terminos)
P
Si en una serie n=1 an se intercalan (suprimen) un n
umero finito de terminos, cuya
suma sea B, la nueva serie tiene el mismo caracter que la primera, y si esta era convergente
y de suma S, la nueva serie tiene por suma S + B (S B).
Dem. Supondremos, para fijar ideas, que intercalamos. Sea la serie
a1 + a2 + a3 + . . . + an + . . .
e intercalamos p terminos b1 , b2 , . . . , bp tales que b1 + b2 + . . . + bp = B, supongamos que
la nueva serie queda
a1 + b1 + b2 + a2 + . . . + bp + am + am+1 + am+2 + . . .
Si llamamos {a0n } a los terminos de la nueva serie, tenemos am = a0p+m , o lo que es lo
0
, se pueden agrupar sin
mismo, que bp = a0p+m1 , etc, por lo que en la suma finita Sp+m
problemas y tendramos
0
Sp+m
= a01 + a02 + a03 + . . . + a0p+m =

= a1 + a2 + . . . + am + b1 + b2 + . . . + bp
= Sm + B.
En general
Sn0 = Snp + B.

Por tanto si

n=1 an

es una serie convergente de suma S

S 0 = lim Sn0 = lim (Snp + B) = S + B.
n

Si fuera divergente, la adicion de la constante B no cambiara el caracter de la serie.

Analogamente se podra haber probado para la supresion de terminos.
Observaci
on 1.3. La trivial proposicion anterior, es mas importante por lo que no dice
que por lo que dice. No dice, por ejemplo, que este permitido en una serie suprimir, ni
por supuesto a
nadir, una cantidad infinita de terminos aun cuando su suma sea conocida.
En general las manipulaciones que involucren una cantidad infinita de terminos modifican
el caracter de la serie (lo que tambien tendra sus excepciones en series de particular buen
comportamiento).
Proposici
on 1.3. (El producto por una constante es distributivo respecto de la suma
infinita)
P
Sea R o C, 6= 0, y sea
n=1 an una serie, entonces:
P
P
P
P
i)
n=1 an es convergente
n=1 (an ) es convergente y
n=1 (an ) =
n=1 an .
P
P
ii)
n=1 an es divergente
n=1 (an ) es divergente.
P
P
iii)
n=1 (an ) es oscilante.
n=1 an es oscilante
Dem. Llamaremos {Sn } a la sucesion de las sumas parciales.
P
P
i) Como
n=1 (an )
n=1 an es convergente, limn Sn = S. Consideremos la serie
0
0
y llamemos Sn = a1 + a2 + . . . + an , tendremos que Sn = Sn , en consecuencia
por las propiedades de los lmites
lim Sn0 = lim (Sn ) = lim Sn = S.

Es decir

(an ) =

n=1

an .

n=1

P
ii) Si
n=1 an es divergente, luego limn Sn = , como en el apartado anterior
0
Sn = Sn , luego
lim Sn0 = lim (Sn ) = lim Sn = () = .

iii) Por ser

n=1 an

oscilante, limn Sn no existe. Que ocurre con

a1 + a2 + . . . + an + . . . ?
P
Procedamos por reduccion al absurdo. Si
a
n=1 (an ) fuera convergente, tendr

X
X
1
(an ), y por la primera propiedad,
an sera convergente,
que serlo tambien

n=1
n=1
contra lo supuesto. Analogamente para la divergencia. Luego necesariamente es
oscilante.

Proposici
on 1.4. (suma de series)
P
P
P
Si n=1 an es convergente y
n=1 bn es convergente, entonces
n=1 (an + bn ) es convergente y se cumple que

(an + bn ) =

n=1

an +

n=1

bn .

n=1

Dem. Llamemos
Sn = a1 + a2 + . . . + an
Sn0 = b1 + b2 + . . . + bn
Sn00 = (a1 + b1 ) + (a2 + b2 ) + . . . + (an + bn ).
P
00 = S + S 0 , como
Tenemos
que
S
n
n
n
n=1 an es convergente, limn Sn = S R, y al ser
P
0
0
mites
n=1 bn es convergente, luego limn Sn = S R. Por las propiedades de los l
lim Sn00 = lim Sn + lim Sn0 = S + S 0 .

Es decir

(an + bn ) =

n=1

an +

n=1

bn .

n=1

Observaci
on 1.4. Esta u
ltima proposicion tambien es mas importante por lo que no
dice que por lo que dice. En otras palabras una serie
no se puede
Pdivergente u oscilanteP

descomponer en suma
de
series.
Sean
las
series
a
,
con
a
=
1
y
n
n=1 n
n=1 bn con
P
P

bP
n = 1. La serie
n=1 an y
n=1 (an + bn ) es convergente, sin embargo las series

b
son
divergentes,
luego
n=1 n

(an + bn ) 6=

n=1

an +

n=1

bn .

n=1

Por el contrario, si puede escribirse

X

X
X
1
1
1
1
+
=
+
,
n
n
2
n(n + 1)
2
n(n + 1)

n=1

n=1

n=1

ya que ambas series son convergentes, recordemos que suman ambas 1, resultara

X
1
1
+
= 2.
2n n(n + 1)

n=1

1.2.2

Condici
on necesaria para la convergencia

Teorema
1.1. (condici
on necesaria pero no suficiente para la convergencia)
P
Sea n=1 an una serie convergente, entonces
lim an = 0.

Dem.
P

n=1 an es convergente limn Sn = S R. Por el correspondiente teorema de

subsucesiones se cumple tambien que limn Sn1 = S. Podemos escribir

Sn Sn1 = an .
Tomando lmites cuando n resulta
lim Sn lim Sn1 = S S = 0 = lim an .

Ejemplo 1.2. En realidad la condicion necesaria es un criterio de no convergencia (o de

divergencia si se trata de series no negativas, como veremos mas adelante). Dada la serie

X
n=1

n2
1 4
9
= + +
+ ...
2
n +n+1
3 7 13

se prueba de modo inmediato que no es convergente. Tenemos que

n2
= 1 6= 0,
n n2 + n + 1
lim

no se satisface la condicion necesaria, luego no es convergente (en este caso por tratarse
de una serie de terminos positivos es divergente a +).

1.2.3

Divergencia de la arm
onica. Serie geom
etrica

Observaci
on 1.5. La condicion es necesaria pero no suficiente. Para probarlo estudiaremos a continuacion la divergencia de la serie armonica1
1 1 1 1
+ + + + ...
2 3 4 5
se denomina de este modo porque cada termino es media armonica de los dos adyacentes.
1+

1
1/(n1)

1
+

1
1/(n+1)

1
.
n

2
Se tiene que

1
= 0,
n
sin embargo, como veremos a continuaci
on, la serie es divergente.
lim an = lim

Dadas dos cantidades a y b se denomina media arm

onica de ambas a Ma =

1+1
a
b
2

2ab
.
a+b

La media

arm
onica aparece con frecuencia. Supongamos que recorremos un trayecto dos veces, a la ida a una
velocidad v1 = 100 Km/hora, y a la vuelta a v2 = 150 Km/hora. Cu
al es la velocidad media de todo
el recorrido? Un c
alculo elemental nos muestra que se trata de la media arm
onica de ambas velocidades.
Aparece en electr
onica al estudiar resistencias en paralelo o condensadores en serie, etc,.

Proposici
on 1.5. La serie

X
1
es divergente a +.
n

n=1

Dem. Llamemos
Hm = 1 +

1 1 1 1
1
+ + + + ... + ,
2 3 4 5
m

siempre podemos encontrar n N tal que 2n m 2n+1 . Consideremos ahora

H2n = 1 +

1 1 1 1
1
+ + + + ... + n,
2 3 4 5
2

tenemos que
H2n Hm .
Por otro lado se cumple que
1 1,

1
1
1 1
1 1
1 1
1 1
1 1
1 1
1 1
1 1
1
1
, , , , , , , ,
,... n n
2
2 3
4 4
4 5
8 6
8 7
8 8
8 9
16 10
16
2
2

luego
H2n

1
1
1
1
1
n1
1+ 1 +2 +4 +8
+ ... + 2
n
2
4
8
16
2
n
= 1+ .
2

Si m , tenemos n , es obvio que H2n +, en consecuencia Hm + y por

X
1
tanto
resulta divergente.
n
n=1

Observaci
on 1.6. La serie armonica es particularmente notable por la lentitud2 de su
divergencia, veremos mas adelante que Hn ln n + K, donde K es una constante.
Ejercicio 1.1. Consideremos las series:

X
1
y
n

X 1
.
p

p1
p primo

96n
n=1

La primera es la armonica de la que hemos eliminado todos los terminos que tengan
alg
un 9 en la cifra del denominador (el dgito 9 no tiene nada de particular). En la
segunda solo consideramos los terminos con denominador primo. Estudiar la convergencia
o divergencia3 de ambas series.
2

La velocidad de convergencia o divergencia de una serie, es decir de la sucesi

on Sn , se refiere siempre
a sucesiones tipo, an = n, an = 1/n2 , an = ln n, an = 3n , etc, Dadas dos sucesiones {an } y {bn },
se indicar
a an = O(bn ), si y solo si, existe una constante k 6= 0 tal que |an | k|bn |, a partir de un n
suficientemente grande. Sobre la notaci
on Bachman-Landau ver la p
ag. ??. Diremos que una serie converge
a su suma a velocidad geometrica si Sn S = O(rn ), con r > 1, o se dir
a que diverge logaritmicamente
si Sn = O(ln n), etc,.
3
La divergencia de la serie inversa de los primos fue probada
por Euler, es l
ogicamente m
as lenta que
P
ag.
la de la arm
onica. Un resultado de Mertens prueba que px p1 ln(ln x) + K 0 , ver por ejemplo [3] p
35. La soluci
on de ambos ejercicios puede encontrarse en la p
ag. ??.

Proposici
on 1.6. (serie geometrica)
P
Sea n=1 a1 rn1 , con a1 , r R, entonces se cumplen:
P
n1 = a /(1 r).
i) Si |r| < 1 entonces
1
n=1 a1 r
P
ii) Si r 1, entonces la serie n=1 a1 rn1 es divergente.
P
n1 es oscilante.
iii) Si r 1, entonces la serie
n=1 a1 r
Dem. Tendremos4
a1 = a1 , a2 = a1 r, a3 = a2 r, . . . , an = an1 r
sumando los terminos de la izquierda y la derecha tendremos
Sn = a1 + rSn1 = a1 + r(Sn an ).
Como por otro lado an = a1 rn1
Sn (1 r) = a1 an r = a1 (1 rn ).
a1 rn
= 0. Despejando Sn y tomando lmites
n 1 r

Supongamos que |r| < 1, se verifica que lim

cuando n tendremos
lim Sn =

a1
a1 rn
a1
lim
=
.
1 r n 1 r
1r

a1 rn
= (dependiendo del signo de
n 1 r
a1 ). y por tanto diverge. Si r = 1, por sustitucion directa
Por otro lado si r > 1 resulta inmediato que lim

a1 rn1 = a1 (1 + 1 + 1 + 1 . . .) = +

n=1

Si r = 1, tambien por substitucion directa

a1 rn1 = a1 (1 + 1 1 + 1 . . .) es oscilante.

n=1

Y finalmente para r < 1, resulta que lim rn no existe, en consecuencia lim Sn no

n
n
existe, por lo que la serie es oscilante.
Ejemplo 1.3. Una clasica aplicacion de la serie geometrica, es la obtencion de la fraccion
original, cuando conocemos su periodo, de un n
umero expresado en forma decimal (ver
por ejemplo [9] pag 395). Calculemos primero la formula cuando la fraccion decimal es
periodica pura. Partimos de un n
umero
A0 P P P P . . . , A parte entera, P parte periodica,
4

Una manera recursiva de sumar la geometrica, es presuponer su convergencia y escribir S = 1 + r +

r + r3 + . . . = 1 + r(1 + r + r2 + . . .) = 1 + rS, de donde despejando, se tiene S = 1/(1 r), pero no
obtenemos informaci
on sobre su campo de convergencia.
2

10

siendo n = n
umero de dgitos de P , podemos escribir el n
umero como
A+

P
P
P
P
+
+
+
+ ...
n
n
2
n
3
10
(10 )
(10 )
(10n )4

lo que hay a la derecha de A es la suma de una serie geometrica de razon 1/10n y cuyo
primer termino es P/10n , luego sera
A+

P
10n

1
10n

=A+

P
(10n A + P ) A
(10n A + P ) A
AP A
=
=
=
.
n
n
10n 1
10n 1
^
99 . . . 9
99 .^
.. 9

Si se trata de una fraccion periodica mixta tendremos

A0 BP P P P . . . , A parte entera, B parte no periodica, P parte periodica,
si la parte no periodica tiene m dgitos, podemos convertirla en el caso anterior multiplicando por 10m y tendremos
10m (A0 BP P P P . . .) = AB 0 P P P P . . . =

ABP AB
n

99 .^
.. 9

y despejando finalmente
A0 BP P P P . . . =

ABP AB
n

99 .^
. . 900 .^
.. 0

Un ejemplo numerico podra ser

_

10 423=

1423 14
1409
=
.
990
990

Ejercicio 1.2. Partimos de un triangulo equilatero, se divide cada lado en tres segmentos
de igual longitud, y tomando como base el segmento central se construyen tres nuevos
triangulos equilateros (orientados hacia el exterior), eliminandose despues el segmento de
la base, este proceso se itera indefinidamente, la curva lmite se denomina curva cerrada de
Von Koch. Se pide5 , en primer lugar, calcular el area de la region del plano encerrada por
dicha curva en funcion del lado l del triangulo. En segundo lugar averiguar, si es posible,
la longitud de dicha curva.

1.2.4

Series de t
erminos no negativos: criterio de comparaci
on, criterio
de la raz y del cociente

P
Proposici
on 1.7. La serie
n=1 an con an 0, n N, es convergente, si y solo si, la
sucesion {Sn } de las sumas parciales esta acotada superiormente.
Dem. En el caso de que los terminos sean positivos la sucesion de las sumas parciales es
monotona creciente. En efecto
Sn+1 = a1 + a2 + . . . + an + an+1 ,
Sn = a1 + a2 + . . . + an .
Restando queda Sn+1 Sn = an+1 0, es decir Sn Sn+1 . En consecuencia al ser
monotona acotacion equivale a convergencia.
5

La soluci
on y la gr
afica est
an en la p
ag. ??.

11

Observaci
on 1.7. El que las series de terminos positivos (en realidad series de terminos
no negativos) tengan esa propiedad, viene a decirnos que {Sn } no puede ser oscilante.
Es decir una serie de terminos positivos puede ser u
nicamente convergente o divergente a
+.
Teorema 1.2. (criterio de comparaci
on)
P
P
Sean
a
y
b
tales
que
a
n , bn 0, n N, y existe n0 N (frecuentemente
n=1 n
n=1 n
1) tal que n n0 , se cumple an bn , entonces se verifica:
i)
ii)

n=1 bn

es convergente

n=1 an

es divergente

n=1 an

n=1 bn

es convergente.

es divergente.

Dem. Sean
Sn = a1 + a2 + a3 + . . . + an0 1 + an0 + an0 +1 + . . . + an ,
Sn0 = b1 + b2 + b3 + . . . + bn0 1 + bn0 + bn0+1 + . . . + bn .
De la hipotesis resulta
Sn Sn0 1 Sn0 Sn0 0 1 ,
ya que
an0 + an0 +1 + . . . an bn0 + bn0 +1 + . . . bn .
P
Luego Sn Sn0 +(Sn0 1 Sn0 0 1 ). Donde Sn0 1 Sn0 0 1 = cte.. Si
n=1 bn es convergente,
por el teorema anterior {Sn0 } esta acotada superiormente, es decir existe K 0 R+ tal que
0 , n N, por lo que S cte. + K 0 , luego {S } es una sucesi
Sn0 K
on acotada y por
n
n
P
tanto n=1 an converge.
P
Por otro lado Sn +(Sn0 1 Sn0 0 1 ) Sn0 . Si
n diverge tenemos que limn Sn =
n=1 aP
+ y en consecuencia limn Sn0 = +, con lo que
en divergente.
n=1 bn es tambi
P
P
n N, si existe n0 N
Definici
on 1.2. Dadas
n=1 an y
n=1 bn tales que an , bn
P0,

tal
Pque n n0 , se cumple an bn se dice que la serie
P n=1 an es minorante de la
b
,
o
tambi
e
n
que
esta
u

ltima
es
mayorante
de
la
n=1 n
n=1 an .
Observaci
on 1.8. Ser mayorante no quiere decir tener suma mayor, consideremos las
series

X
1 X
1
,
,
3
n
(n + 100)2
n=1

n=1

como 1252 = (100 + 25)2 = (5 25)2 = 253 tendremos que (100 + n)2 n3 , n 25, es
decir
1
1

, n 25.
3
n
(n + 100)2

12

La serie

1
n=1 (n+100)2

es mayorante de

X
n=1

1
n=1 n3

y sin embargo6

100

1
2 X 1
=

0.00995451,
(n + 100)2
6
n2
n=1

suman mas los 25 primeros terminos de la otra, concretamente

25
X
1
1.20128 . . .
n3

n=1

Observaci
on 1.9. Desarrollemos un algoritmo para sumar la serie de Bernuilli-Euler,
como el resultado es 2 /6, utilizamos el valor de para comprobar la mayor o menor
aproximacion de Sn , (cada 1000 termino visualizamos el valor de Si , hasta alcanzar Sn ).
10
20
30
40
50
60
70
80
90

DEFDBL I,S
INPUT "Indice de la suma parcial maxima";N
S=0
FOR I=1 TO N
S=S+1/(I*I)
IF INT(I/1000)=I/1000 THEN PRINT "suma parcial";I;"-esima";S
NEXT I
PRINT "suma de la serie = ";(4*CDBL(ATN(1)))^2/6
PRINT "valor de la suma parcial";N;"-esima = ";S

Ejemplo 1.4.
1. Podemos probar con facilidad que la serie
resultado de Euler)

X
1
n2

= 1+

n=1

< 1+

1
n=1 n2

es convergente (sin utilizar el

X
X
1
1
=
1
+
n2
(n + 1)2

n=2

X
n=1

n=1

1
= 1 + 1 = 2.
n(n + 1)

Por tanto es convergente.

P

1
2. Probemos que la serie
n n, (n N), luego
n=1 n es divergente. Sabemos que
P 1
1
1
. Se prob
o que n=1 n era divergente, por tanto, de acuerdo con el teorema
n
n
P
1
anterior, tambien lo sera
n=1 n .
P
1
La serie
nos trajo de cabeza a distintos
n=1 n2 es la conocida serie de Euler, que durante varios a
matem
aticos de Europa (Oldenburg, Leibniz, Bernuilli, ver [2] p
ag. 559), y que finalmente fue sumada por
Euler. Veamos su obtenci
on. Si abc = 1, resulta a1 + 1b + 1c = ab+ac+bc
= ab + ac + bc, que es el coeficiente
abc
del termino de grado 1 en el producto (xa)(xb)(xc) = x3 x2 (a+b+c)+x(ab+ac+bc)abc, es decir
si el coeficiente del termino de grado 0 vale 1, el coeficiente del termino de grado 1 es la suma de las inversas
de las races cambiada de signo. Esto puede establecerse con car
acter m
as general. Ahora consideramos
5
7
2
4
6
3
x
= 1 x3! + x5! x7! + . . .,
el desarrollo en serie del seno, sen x = x x3! + x5! x7! + . . ., de donde sen
x

2
3

sen y
y
+ y5! y7! + . . .. Pero las races de sen y = 0 ser
an y = k, es
haciendo x2 = y, resulta y = 1 3!
P
P
2

1
1

1
decir y = k2 2 , de donde
k=1 k2 2 = ( 3! ) y resulta finalmente
k=1 k2 = 6 .
6

13

3. Estudiemos ahora las series:

X
1
, y
ln
2 n

n=1

Tenemos que

ln n
2ln n = eln 2
= eln 2

X
1
.
ln
3 n

n=1

ln n

ln 2
= eln n
= nln 2 .

Lo mismo podemos hacer para 3, como 2 < e < 3, ln 2 < 1 < ln 3, luego nln 2 < n,
P
1
1
1
y por tanto ln 2
as adelante
por lo que la serie
n=1 2ln n es divergente. M
n
n
probaremos que la otra serie es convergente, pero todava no tenemos suficientes
herramientas para hacerlo.
Corolario
1.1. (criterio
on en el lmite)
P
P de comparaci
Sean n=1 an y n=1 bn series de terminos positivos, y tales que
an
= c 6= 0, (c R),
n bn
lim

entonces ambas convergen o divergen simult

aneamente.
Dem. Observese, antes de comenzar, que necesariamente c > 0, puesto que se trata de
series de terminos no negativos. Partimos de que
lim

an
an
= c > 0 n0 () tal que n n0 se cumple que | c| < .
bn
bn

Tomemos = c/2, n n0 (c/2), se cumplira |

c
an
c
<
c<
2
bn
2

an
c
c| < , luego
bn
2

c
an
3
<
< c.
2
bn
2

De donde resultan las desigualdades n n0 (c/2)

3
c
an < ( c) bn , y ( ) bn < an ,
2
2

P
P
Si
n converge, utilizando la desigualdad de la derecha y el teorema 0.2,
n=1 aP
n=1 bn con
verge.
Si
b
converge,
empleando
la
desigualdad
de
la
izquierda
y
el
citado
teorema,
n=1 n
P
n=1 an converge. Para la divergencia se utilizan al contrario y resulta inmediato.
Ejemplo 1.5.
1. Tratemos de averiguar el caracter de la serie

X
n=1

X
n=1

n4
. Recordemos que la serie
n6 + 3

1
era convergente, si aplicamos el corolario anterior, resulta
n(n + 1)
n4
n6 +3
lim
1
n
n(n+1)

n5 (n + 1)
= 1 6= 0,
n n6 + 3

= lim

luego ambas tienen el mismo caracter y por tanto converge.

14

2. La serie

p
p
X
( n2 + 2n + 2 n2 + 2n + 1) se puede escribir, racionalizando, como
n=1

X
1
1

es diver. Si recordamos que la armonica

2 + 2n + 2 + n2 + 2n + 1
n
n
n=1
n=1
gente y calculamos el lmite del cociente correspondiente
1

n2 +2n+2+ n2 +2n+1
1
n
n

lim

1
= ,
2

llegamos a la conclusion de que la dada es divergente.

Observaci
on 1.10. El criterio de comparacion en el lmite podra reeditarse de manera
que se sacara provecho tambien de las situaciones en las que c = 0 y c = +, pero no
merece la pena complicar el enunciado, ya que en la practica se aplican los criterios de la
seccion siguiente.
Tanto el criterio de comparacion como el de comparacion en el lmite, requieren, para
ser efectivos, que conozcamos la convergencia de un buen surtido de series. Esto es un serio
inconveniente. Los criterios que veremos a continuaci
on eliminan esa dificultad (aunque en
realidad son criterios de comparacion solapados). Es importante no olvidar que se aplican
u
nicamente a series de terminos no negativos.
Teorema
P 1.3. (criterio del cociente o de DAlembert, 1768)
Sea
n=1 an una serie tal que an 0 n N, y sea

L < 1 la serie converge,

an+1
L > 1 la serie diverge,
lim
= L, entonces si
n an

L = 1 el criterio no decide.
Dem.
L < 1)
lim

an+1
an+1
= L > 0 n0 () tal que n n0 se cumple que |
L| < .
an
an

Si L < 1, existe necesariamente un c R, tal que 0 L < c < 1. Tomemos = c L,

n n0 (c L) tendremos
L<
es decir n n0

an+1
< L + = L + (c L) = c,
an

an+1
< c que podemos escribir como
an
an+1
cn+1
< n , como an 0
an
c

La sucesion {

an+1
an
< n.
n+1
c
c

an
} es monotona decreciente a partir de n0 , y por tanto
cn
n > n0 ,

an
an
< n00 = k.
cn
c
15

Donde
n n0 se cumple an < kcn . En consecuencia la serie
P k es una constante. Luego
P
n
un vimos 0 < c < 1, luego la
n=1 an esta mayorada por la
n=1 kc . Ahora bien, seg
mayorante es convergente ya que

kcn =

n=1

kc
.
1c

Por tanto la minorante n=1 an es convergente (observese que no escribimos

P

n
nalado en su momento).
n=1 kc por lo se
L > 1)
lim

n=1 an

an+1
an+1
= L > 1 > 0 n0 tal que n n0 se cumple que |
L| < .
an
an

Tomemos = L1 (siempre nos quedamos con la parte de la desigualdad donde desaparece

L) y tendremos
L<

an+1
an+1
< L + L (L 1) = 1 <
.
an
an

Por tanto n n0 se cumple an < an+1 . Luego la sucesion {an }, que es de terminos no
negativos,
no puede ser convergente a 0. No se verifica la condicion necesaria, por lo que
P
n=1 an diverge a +.
L = 1)
Es suficiente conPmostrar unPpar de series, una convergente y otra divergente, ambos

1
1
con L = 1. Sean
n=1 n2 y
n=1 n . Probamos en su momento que la primera era
convergente y la segunda divergente, y tenemos
an+1
n an

an+1
an

lim
lim

1
n2
(n+1)2
= lim
= 1,
1
n
n (n + 1)2
n2
1
n
(n+1)
lim
= lim
= 1.
1
n
n (n + 1)
n

lim

Ejemplo 1.6. Determinar el caracter de las siguientes series.

X
n!
1.
, aplicando el criterio tendremos
nn
n=1

an+1
lim
n an

(n+1)!
(n+1)n+1
lim
n!
n
nn

(n + 1)! nn
1 n 1
= lim
= lim 1 +
= < 1.
n (n + 1)n (n + 1) n!
n
n
e

Luego converge.
2.

X
n=1

2n
, del mismo modo lim
n
n2 + 1

2n+1
(n+1)2 +1
2n
n2 +1

16

= 2 > 1. luego diverge.

3.

X
1 3 5 (2n 1)

4 6 8 (2n + 2)
Luego caso dudoso.

, operando tenemos

n=1

an+1
2n + 1
2n + 1
=
y por tanto lim
= 1.
n 2n + 4
an
2n + 4

4. Para que el criterio pueda funcionar es preciso que exista7 L, si no existe el criterio no

X
2 + (1)n
an+1
1 2 + (1)n+1
se puede aplicar. Por ejemplo
,
tendremos
lim
=
=
n an
2n
2 2 + (1)n
n=1

1
no existe, ya que si recorremos la subsucesion de los pares el lmite vale 12 21
2+1 = 6 ,
1 2+1
3
mientras que si recorremos los impares tenemos 2 21 = 2 , y por tanto el criterio no
decide.

Teorema
1.4. (criterio de Cauchy o de la raz, 1821)
P
Sea n=1 an , con an 0, y sea

L < 1 la serie converge,

L > 1 la serie diverge,

lim n an = L, entonces si
n

L = 1 el criterio no decide.
Dem.
L < 1)

Si limn n an = L < 1, existe c R+ tal que 0 L < c < 1. Escogemos, al igual

que en el teorema anterior, = c L, n n0 (c L) se cumple | n an L| < , es decir

L<
luego

n
an < L + = L + (c L) = c,

n a < c, elevando a n esta desigualdad resulta

n
a n < cn ,

n n0 (c L).

P
n
La serie
n=1 c es
Puna geometrica de razon c < 1, por tanto convergente a c/(1 c), que
mayora a la serie
n=1 an , que en consecuencia es convergente.
L > 1)

Tomando = L 1 resulta n n0 (L 1) tendremos | n an L| < , es decir

L+>

n
an > L = L (L 1) = 1,

elevando a la n, resulta
an > 1,

n n0 (L 1).

Por tanto es imposible que limn an = 0, y en consecuencia falla la condicion necesaria,

y la serie, por ser de terminos no negativos, diverge a +.
L = 1)
P
1
visto que limn n1/n = 1, empleando este resultado con las series
n=1 n
PHemos

1
y n=1 n2 , se obtiene en ambas L = 1, y como ya se se
nal
o una es divergente y la otra
convergente.
Observaci
on 1.11.
7

Estamos dando una versi

on debil de estos criterios, podramos dar versiones m
as fuertes, utilizando
lmites superiores e inferiores, que cubriran este ejemplo, pero esas versiones resultan inadecuadas para
nuestro nivel.

17

1. Este criterio se suele utilizar con exito cuando en el termino general de la serie

X
1
aparecen potencias n-esimas. Por ejemplo
. Resulta
(ln n)n
n=2

s
lim

1
1
= lim
= 0 < 1,
n
n
(ln n)
ln n

luego convergente.
2. Vimos que la serie

X
2 + (1)n
n=1

2n

, no poda resolverse con el criterio de DAlembert

an+1
, ahora sin embargo
n an
r
p
n
n
2 + (1)n
1
n 2 + (1)
lim
=
lim
= < 1,
n
n
n
2
2
2

por que no exista lim

y por lo tanto converge8 . En realidad puede descomponerse como suma de dos

5
geometricas, que una vez evaluadas suman .
3
3. No debe olvidarse que estos dos criterios establecen condiciones suficientes pero no
necesarias para la convergencia de una serie.
Teorema
1.5. (criterio de Raabe-Duhamel, 1832)
P
Sea n=1 an con an 0, y sea

L > 1 la serie converge,

an+1
L > 1 la serie diverge,
lim n 1
= L, entonces si
n

an
L = 1 el criterio no decide.
Dem.
L > 1)

an+1
Podemos encontrar un c > 1, tal que 1 < c < L. Tenemos que lim n 1
= L,
n
an
tomemos = L c, luego n n0 (L c) se verifica

an+1
< L + ,
L<n 1
an
substituyendo en la desigualdad izquierda, queda

an+1
c = L (L c) < n 1
,
an
n n0 (L c) y con c > 1. Escribamos esa ecuacion en la forma
kak kak+1 > ak c,
8

La relaci
on entre el criterio del cociente y el de la raz, se explican a partir de la desigualdad (ver

a
por ejemplo [6] p
ag. 170 o p
ag. 72 [?]) que establecen limn n+1
limn n an limn n an
an
a
limn n+1
. Si existe L mediante el cociente, existe L para la raz. No as al contrario.
an

18

y demos valores k = n0 , n0 + 1, n0 + 2, . . . , n, tendremos

n0 an0 n0 an0 +1 > an0 c,
(n0 + 1)an0 +1 (n0 + 1)an0 +2 > an0 +1 c,
(n0 + 2)an0 +2 (n0 + 2)an0 +3 > an0 +2 c,
..
.
(n 1)an1 (n 1)an > an1 c,
nan nan+1 > an c.
Sumando estas desigualdades resulta
n0 an0 + (an0 +1 + an0 +2 + . . . + an ) nan+1 > an0 c + c (an0 +1 + an0 +2 + . . . + an ),
agrupando
(n0 c)an0 nan+1 > (c 1)(an0 +1 + an0 +2 + . . . + an ),
y finalmente podemos poner como
an0 +1 + an0 +2 + . . . + an <

(n0 c)an0 nan+1

,
c1

agregando en ambos terminos a1 + a2 + . . . + an0 , tendremos

(n0 c)an0 nan+1
c1
(n0 c)an0
< (a1 + a2 + . . . + an0 ) +
= cte. = K.
c1

a1 + a2 + . . . + an0 + an0 +1 + . . . + an < (a1 + a2 + . . . + an0 ) +

En consecuencia
P Sn < K, como se trata de una serie de terminos no negativos, por el
teorema 0.1,
n=1 an es convergente.
L < 1)
Tomemos ahora = 1 L, tendremos

an+1
< L + = L + (1 L) = 1.
L<n 1
an
de donde obtenemos la formula k n0 (1 L)
kak kak+1 < ak ,
o mas comodamente
(k 1)ak < kak .
Dando valores k = n0 , n0 + 1, n0 + 2, . . . , n, tendremos
(n0 1)an0

< n0 an0 +1 ,

(n0 )an0 +1 < (n0 + 1)an0 +2 ,

(n0 + 1)an0 +2 < (n0 + 2)an0 +3 ,
..
.
(n 1)an < nan+1 .

19

Sumando termino a termino tendremos

(n0 1)an0 < nan+1 ,
o lo que es lo mismo
(n0 1)an0

1
< an+1 .
n

Sumando desde n = n0 hasta +, queda

X
X
1
[(n0 1)an0 ]
<
an+1 .
n n=n
n=n
0

P
Pero (n0 1)an0 es una constante y la serie armonica diverge. Por tanto la serie
n=1 an
es divergente.
L = 1)
P
P 1
1
Hemos visto que las series
n=1 n y P n=1 n2 , eran los prototipos para el caso dudoso
1
con DAlembert P
y Cauchy; sin embargo
n=1 n2 , falla con Raabe, ya que resulta conver
1
gente. La serie n=1 n ln2 (n+1) , es convergente (ver por ejemplo, aplicacion del criterio
de Kummer, pag. 249 [1], o el criterio de condensacion9 de Cauchy, [6], pag. 497) y no
obstante se obtiene L = 1 con Raabe.

Ejemplo 1.7. Es el tpico criterio que se aplica despues de utilizar sin exito el criterio del

X
an+1
1 3 5 (2n 1)
cociente, ya que tenemos preparado
. Vimos que
, resultaba
an
4 6 8 (2n + 2)
n=1
an+1
2n + 1
dudosa con el criterio del cociente. Obtuvimos
=
. En este caso aplicando
an
2n + 4
Raabe queda

2n + 1
3n
3
lim n 1
= lim
= > 1,
n
n
2n + 4
2n + 4
2
luego convergente.

1.2.5

Serie arm
onica generalizada. Criterio de Pringsheim

Definici
on 1.3.
Llamaremos serie arm
onica generalizada de exponente R, a la serie

X
1
.
n

n=1

El siguiente resultado lo necesitaremos para demostrar el criterio de Pringsheim.

Proposici
on 1.8. (convergencia de la armonica generalizada)

X
1
Sea la serie
, se cumplen:
n
n=1

i) Si 1, entonces la serie es divergente.

ii) Si > 1, entonces la serie es convergente.
P
P
9
1
Estudiemos la serie
on resulta
n=2 n(log n) , utilizando el criterio de codensaci
2
P
P

1
1
1
=
,
que
es
la
arm
o
nica
generalizada.

n=2 n (log 2)
n=2 n
log 2

20

2n
2n (log 2n )

Dem.
P
1
1
i) Si 1, entonces n n, en consecuencia . La serie
n=1
n
n
rada por la armonica, y por tanto diverge.

1
n

esta mino-

ii) Si > 1, podemos construir una mayorante de la armonica generalizada, sin mas
que tener en cuenta que
> 1 2 < 3

1
1
< ,

3
2

y establecer las desigualdades obvias

1 1,

1 1
1 1
1 1
1 1
1 1
1 1
1
1
, , , , , , ,...

2
2 3
2 4
4 5
4 6
4 7
4 8
8

luego

X
1
1
1
1
1
1
1
1
G() = 1 + + + + + + + + . . .
n
2
2
4
4
4
4
8

n=1

como G() es una serie de terminos positivos, no es oscilante, por tanto pueden
ponerse parentesis sin que cambie ni su caracter ni su suma. Tendremos, agrupando
los terminos con el mismo denominador, que
2
4
8
+
+
+ ...
2 4 8
1
1
1
= 1 + 1 + 1 + 1 + . . .
2
4
4
1
1
1
= 1 + 1 + 2(1) + 3(1) + . . .
2
2
2
1
21
=
,
= 1
1
2
1
1 21

G() = 1 +

la serie geometrica anterior es convergente, ya que su razon es

> 1 1 > 0 21 > 1
En consecuencia si la mayorante converge, la serie

1
21

1
21

y es facil ver que

< 1.

X
1
converge.
n

n=1

Teorema
P 1.6. (criterio de Pringsheim)
Sea
n=1 an con an 0, n N, se cumplen los siguientes apartados:

P
i) Si existe R, > 1 tal que limn n an < +, entonces la serie
n=1 an es
convergente.
P
ii) Si existe un 1 tal que limn n an > 0, entonces la serie
n=1 an es divergente.

iii) Si no existe un que satisfaga i) o ii), entonces el criterio no decide.

21

Dem. Se apoya en los resultados de la proposicion anterior.

i) Supongamos que limn n an R+ , lo que equivale a afirmar que sucesion {an n }
es convergente. Por tanto es una sucesion acotada, es decir, K R tal que n N,
se cumple que n an K, que tambien se puede escribir como
an

K
, n N.
n

P K
P
La serie
de
n=1 n es una mayorante
n=1 an . Si suponemos > 1, por la
P 1
en lo es la serie
proposici
on 0.8, la serie K
n=1 n es convergente, por tanto tambi
P
a
.
n=1 n
ii) Supongamos ahora 1 y limn n an > 0, pueden ocurrir dos casos: a) que
limn n an < +. b) que limn n an = +. En el primero tendremos que
limn n an = c R. Por tanto > 0 n0 () tal que n n0 se cumple que
|n an c| < . En particular si tomamos = c/2, ya que necesariamente c > 0,
tendremos que
c
c
< n an c < , n n0 (c/2),
2
2
escogiendo la desigualdad de la izquierda, y sumando c, queda
c
< n an ,
2
de donde dividiendo por n en ambos miembros resulta
c 1
< an , n n0 (c/2).
2 n
P 1
P
La serie 2c P
n=1 n es una minorante de
n=1 an . Al ser 1, por la proposici
P on
1
0.8, la serie
diverge,
en
consecuencia
diverge
tambi
e
n
la
serie

n=1 n
n=1 an .
El caso b) se prueba exactamente igual que el primero, pero ahora utilizando la
definicion de que limn n an = +, K R+ , K 0 (K) R+ , tal que n > K 0
se cumple que n an > K, no se trata mas que de repetir el razonamiento partiendo
de esta u
ltima desigualdad.
iii) Es suficiente con mostrar dos series una que converja y otra que diverja y que no
satisfagan i) y ii). En este caso las series son:

X
n=1

1
,
n ln(n + 1)

1
.
n ln (n + 1)
n=1
2

La primera diverge por comparacion, la segunda converge por el criterio de condensacion ya se

nalado ([6], pag. 497), ambas fallan con Pringsheim.

22

1.2.6

Series alternadas. Criterio de Leibniz

Definici
on 1.4. Llamaremos series alternadas a aquellas que tienen los termino alternativamente positivos y negativos, o si se prefiere a aquellas cuyo termino n-esimo puede
escribirse como an = (1)n+1 |an | o an = (1)n |an |.
Ejemplo 1.8.
1. La serie geometrica
1

1 1 1
1
1
2
+ +
+ ... =
= .
2 4 8 16
3
1 ( 12 )

2. La serie conocida como armonica alternada

X
1 1 1 1 1 1
1
+ + + ... =
(1)n+1 .
2 3 4 5 6 7
n
n=1

3. Series del tipo

(1)n+1

n=1

1
, o la ya vista 1 + (1) + 1 + (1) + . . .
3n + 1

Teorema 1.7. (criterio dePLeibniz, 1784)

on
Si una serie alternada
n=1 an , cumple la condici
|a1 | > |a2 | > |a3 | > . . . > |an | > |an+1 | > . . .
entonces se verifica
lim an = 0

an converge.

n=1

Dem. Hagamos notar que una serie

puede satisfacer la primera condicion sin
Palternada
n+1
n+1
verificar la segunda. Por ejemplo n=1 (1)
en puede cumplirse la segunda
n . Tambi
P
(1)n
sin darse la primera como n=1 n+(1)n . Al finalizar la demostracion veremos con detalle
estos casos.
Para fijar ideas supondremos que a1 > 0 (no hay ning
un inconveniente si no es as,
bastara multiplicar la serie por (1), y su caracter no se modificara). Luego an =
(1)n+1 |an |.
Vamos a probar que {S2n } es una sucesion monotona creciente, mientras que {S2n1 }
es una sucesion decreciente. En efecto.
S2n = a1 + a2 + . . . + a2n ,
S2(n+1) = a1 + a2 + . . . + a2n + a2n+1 + a2n+2 .
Restando tendremos
S2n S2(n+1) = a2n+1 a2n+2 = (1)2n+2 |a2n+1 | (1)2n+3 |a2n+2 |
= |a2n+2 | |a2n+1 |.
Pero como |an | > |an+1 |, n N.
|a2n+2 | |a2n+1 | < 0 S2n S2(n+1) < 0 S2n < S2(n+1) ,

23

luego {S2n } es monotona creciente.

Repitiendo el mismo razonamiento para las impares obtendramos que {S2n1 } es
monotona decreciente.
Tenemos que S1 = a1 . La sucesion {S2n } se puede escribir
S2n = a1 + a2 + a3 + . . . + a2n1 + a2n
= S1 + (|a2 | + |a3 |) + (|a4 | + |a5 |) + . . . + (|a2n2 | + |a2n1 |) |a2n |.
Todo los parentesis son negativos, as como el u
ltimo termino, luego S2n < S1 . Por tanto
{S2n } es una sucesion acotada superiormente.
Un razonamiento analogo nos permitira obtener que S2 < S2n1 . En consecuencia
ambas sucesiones son monotonas y acotadas, luego convergen. Sean
lim S2n = S 0 ,

lim S2n1 = S 00 .

Vamos a ver que se cumple la u

ltima parte de la tesis. Supongamos que limn an = 0.
0
00
Probaremos que S = S . Tenemos que
S2n S2n1 = a2n = (1)2n+1 |a2n |.
En su momento vimos que si limn an = 0 tambien limn |an | = 0. Luego se verificar
a
lim S2n S2n1 = lim (1)2n+1 |a2n | = 0.

Por tanto la sucesion {Sn } es convergente10 y la serie converge. Por otro lado si limn an 6=
0. Falla la condicion general de convergencia y la serie no converge, en este caso (supuesta
la monotona11 ) como existen S 0 y S 00 cumpliendose S 0 6= S 00 , podemos asegurar que oscila.
Ejemplo 1.9.

(1)n+1

1. La serie
converge por Leibniz, ya que n n + 1 y por tanto
n
n=1
1 ,
n+1

2.

y ademas limn

X
(1)n+1 (n + 1)
n=1

1
n

1
n

>

= 0.

no converge por Leibniz, se cumple

n+1
n+2
>
, sin mas que
n
n+1

partir de (n + 1)2 = n2 + 2n + 1 > n2 + n, pero como limn

asegurar que es oscilante.
10

n+1
n

= 1. Podemos

No es difcil probar que dada una sucesi

on, si establecemos una partici
on en subsucesiones disjuntas,
y cada una de esas subsucesiones tiene el mismo lmite, la sucesi
on tiene ese lmite.
11
Si no se cumple la monotona una serie alternada no convergente puede ser oscilante pero tambien
divergente. La serie 1 + 3 1 + 3 1 + 3 1 + 3 . . ., es alternada pero diverge a +. Es f
acil probar
que si la serie es tal que {|an |} P
es una sucesi
on mon
otona creciente, la serie, aun cuando no existan S 0 y
n+1
S 00 tambien oscila, por ejemplo
n.
n=1 (1)

24

3. El criterio de Leibniz no resuelve todos los casos de series alternadas. Por ejemplo
consideremos las series:

X
n=2

(1)n
,
n + (1)n

(1)n

.
n + (1)n
n=2

Ninguna de ellas verifica la primera condicion, la monotona decreciente de los valores

absolutos. La primera se puede probar que converge a ln 2 1 (ver el teorema de
Knopp que reproducimos en la pag. ??, que bajo ciertas hipotesis permite quitar
parentesis en series arbitrarias sin las catastroficas consecuencias habituales). En
cuanto a la segunda es facil probar su divergencia si observamos que
(1)n
1
(1)n n
(1)n

=
=
.
n
n + (1)n n
n n + (1)n n
n + (1)n
El anterior substraendo es el termino
de una serie de terminos no negativos,
P general
(1)n

divergente por Pringsheim, como

es convergente por Leibniz, necesarian=1
n
P
n
(1)
mente n=2 n+(1)
n , tiene que ser divergente.

1.2.7

Convergencia absoluta y condicional

P
(1)n+1
Observaci
on 1.12. Consideremos la armonica alternada
, que es convern=1
n
P (1)n+1
P 1
gente sin embargo n=1 | n | = n=1 n , es la armonica que diverge.
P
P
Definici
on 1.5. Sea la serie
n=1 an , si converge
n=1 |an | diremos que la primera es
una serie absolutamente convergente. De una serie que converja, pero no lo haga absolutamente (como la arm
onica alternada) diremos que es condicionalmente convergente.
Teorema 1.8. (de la convergencia absoluta)

|an | es convergente

n=1

an es convergente.

n=1

Dem. Lo probaremos para an R (con ligeras modificaciones podra probarse para series
complejas). En general se cumple
an |an |,
si sumamos |an | en ambos miembros tendremos
0 |an | an 2|an |,
P
como
P por hipotesis n=1 |an | converge, tendremos que la serie de terminos no negativos
ermino general la diferencia
n=1 (|an |an ) es convergente. Luego la serie que tiene como t
de los terminos generales sera convergente, es decir

X
n=1

|an |

(|an | an ) =

n=1

X
n=1

converge.

25

an ,

Ejemplo 1.10. Sea la serie

sen n
,
n2

observamos que no es de terminos positivos ni

P | sen n|
tampoco alternada, sin embargo
serie n=1 n2 , si es de terminos positivos, y obviaP la
1
mente esta mayorada por n=1 n2 , que sabemos es convergente. En consecuencia la serie
P | sen n|
P
sen n
converge, y por el teorema anterior, la serie
n=1 n2
n=1 n2 converge.
n=1

Observaci
on 1.13. A pesar de todo quedan muchos cabos sueltos por aclarar. Es facil
incurrir en el error de suponer, que la serie
1+
es igual a

1 1 1 1 1
1
1
1
1
+ + + +
+
+
...
3 5 7 2 9 11 13 15 4

1
1 1 1 1
1
1
1
1
+
+ ...
1+ + +
+
+
+

3 5 7 2
9 11 13 15 4

y sumar esta u
ltima que es convergente por existir el lmite de sus sumas parciales y
obtener 2 ln 2. Ahora bien, no podemos afirmar con las herramientas hasta aqu estudiadas,
que la primera serie sume 2 ln 2 puesto que eso solo sera el valor de la segunda, y no
podemos aplicar Leibniz por no ser alternada, ni tampoco es absolutamente convergente.

Unicamente
utilizando resultados (ver [8]) no estudiados podramos efectivamente quitar
parentesis en la segunda serie.
nade nada al contenido del
Observaci
on 1.14. El llamado criterio integral es, si no se a
tema IX, equivalente al criterio de Pringsheim, ver pag. ??.

26

Bibliography
[1] R.M. Barbolla et all. Introduccion al Analisis Real, Alhambra Universidad, Madrid
1981.
[2] Carl B. Boyer, Historia de la matematica, Alianza Universidad Textos, Madrid, 1986.
[3] Javier Cilleruelo, Antonio Cordoba, La teora de los n
umeros, Biblioteca Mondadori,
Madrid 1992.
[4] Miguel de Guzman y Baldomero Rubio, Analisis Matematico (n
umeros reales, sucesiones y series), Ediciones Piramide, Madrid 1990.
[5] Jes
us Fernandez Novoa, Analisis Matematico I, U.N.E.D. Madrid, 1982.
[6] Emanuel Fischer, Intermediate Real Analysis, Spriger-Verlag, 1980.
[7] G. H. Hardy, A Course of Pure Mathematics, Cambridge University Press, (1908),
1992.
[8] Konrad Knopp, Infinite Sequences and Series, Dover Publications Inc., New York
1956.
[9] Julio Rey Pastor, Elementos de Analisis Algebraico, Madrid 1949.
[10] Michael Spivak, Calculo Infinitesimal, Vol. I, Editorial Reverte, Barcelona 1970.

27