Captulo 8

Series numricas
8.1.

Sumas innitas

En esta seccin nos abocaremos a la tarea de sumar innitos nmeros. De manera imprecisa,
dada una lista innita de numeros reales x1 ; x2 ; ::: (una sucesin fxn g1
n=1 ) queremos darle sentido
a lo que sera
x1 + x2 + x3 +
es decir, sumar todos los xn .
Ejemplo 8.1 Dividiendo un cuadrado de lado 1 como sugiere el dibujo, podemos conjeturar que
1
+
1 = 12 + 14 + 18 + 16

Como no sabemos sumar innitos nmeros, pero si sabemos sumar cualquier cantidad nita
de nmeros, un criterio que parece razonable (y que es similar al que se usa para sumar mas de
111

Series numricas

112

dos nmeros) es el siguiente: primero llamemos

s1 = x1
s2 = x1 + x2 = s1 + x2
s3 = x1 + x2 + x3 = s2 + x3
s4 = x1 + x2 + x3 + x4 = s3 + x4 ,
en general,
sn = sn

+ xn

+ xn ,

= x1 + x2 + x3 +

n 2 N.

; las sumas
Si existe alguna esperanza de poder calcular la suma innita x1 + x2 + x3 +
parciales sn = x1 +x2 +x3 + +xn ; deberan representar aproximaciones cada vez ms cercanas
a medida que n se va haciendo cada vez ms grande. La suma innita x1 + x2 + x3 +
debera
ser
n
X
s
sn
xj :
n!1

n!1

j=1

Ejemplo 8.2 Considerar la siguiente suma innita:

1 1
1
1
1
1
+ +
+
+
+
+
2 6 12 20 30 42
Un anlisis cuidadoso de los trminos revela que se trata de
x1 + x2 + x3 + x4 + x5 + x6 +
con
xn =

1
,
n (n + 1)

n 2 N.

Puesto que
1
1
=
n (n + 1)
n

1
n+1

(ejercicio, vericarlo), tendremos

sn =

n
X
j=1

=
= 1
= 1

1
j (j + 1)
1
2

1 1
+
2 2
1
,
n+1

1
2
1
+
3

1
3
1
3

1
3
1 1
+
4 4

1
4

1
4
1
1
+
n n

1
5

+
1
n+1

y entonces
n!1

sn

n!1

1
n+1

= 1.

1
n

1
n+1

Series numricas

Puesto que sn =

113
n
X
j=1

1
, parecera adecuado denotar
j (j + 1)
1
X
j=1

1
= 1.
j (j + 1)

Ejemplo 8.3 La sucesin 1; 1; 1; 1; 1; 1; :::::: con xn = ( 1)n+1 proporciona la sucesin de

sumas parciales
s1 = x1 = 1
s2 = x1 + x2 = 1 + ( 1) = 0
s3 = x1 + x2 + x3 = 1 + ( 1) + 1 = 1
en teneral
sn = x1 +
para la cual no existe

1 + ( 1)n+1
+ xn =
2

n!1 sn .

A continuacin damos la denicin de suma innita de una sucesin:

Denicin 8.4 Dada una sucesin fxn gn2N , construmos la sucesin de sumas parciales fsn gn2N ,
n
X
donde sn = x1 +
+ xn =
xj . La suma de la sucesin fxn gn2N es
j=1

n!1

sn

n!1

cuando dicho lmite existe. En tal caso, se denota s =

n
X

xj

j=1

1
X

xj .

j=1

La terminologa popular, adoptada de manera universal en todos los textos introductorios

que tratan este tema, es el siguiente: primero se denomina serie, de manera informal, a una
1
X
suma innita. Al formalizar, se llama serie al objeto
xj , (probablemente por asociacin
del smbolo

1
X

j=1

y la suma innita), y se dice que la serie

j=1

n!1

n
X
j=1

xj , y si no se dice que la serie

1
X

1
X

xj converge cuando existe

j=1

xj diverge. Esta terminologa, despus de un

j=1

breve anlisis losco, es como mnimo confusa: el objeto

1
X

xj es un nmero real (el resultado

j=1

de un lmite), si existe
n!1 sn , y si no, es un objeto que no existe (!). Por lo tanto, decir
que converge o no en principio no tendra ningn sentido. Una forma correcta de expresar todas
estas armaciones sera:

Series numricas

114

Denicin 8.5 Una sucesin fxn gn2N se dice sumable si la sucesin fsn gn2N ; (con sn = x1 +
x2 + x3 +
+ xn ), es convergente. En tal caso se denota
n!1

sn

n!1

n
X

xj =

j=1

1
X

xj :

j=1

y recibe el nombre de suma de la sucesin fxn gn2N :

Como es una sana costumbre hablar el lenguaje que habla la gente del lugar donde uno
vive, nosotros nos manejaremos con la terminologa popular, pero sin perder de vista lo que
realmente signica: decir que una serie converge (o no) es decir que una sucesin es sumable (o
1
X
1
no). Segn los ejemplos anteriores, nosotros hemos demostrado que la serie
converge
j (j + 1)
a 1, mientras que la serie

1
X

j=1

( 1)j+1 diverge:

j=1

Nota 8.6 No siempre es posible encontrar una forma cerrada de la n-sima suma parcial para
determinar si la serie converge calculando el lmite de la misma. Es decir, la mayora de las
veces no podremos encontrar una frmula para sn , por lo cual para determinar si una serie
converge o no necesitaremos otras herramientas.
Observacin 8.7 la notacin obliga a cambiar el ndice de suma de manera frecuente, pero
1
1
1
X
X
X
esto no debera dar origen a dudas.
xj ,
xk ,
xi signican la misma cosa, asi como
j=1

n!1

n
X
j=1

xj

i=1

k=1

N !1

N
X

xn

k!1

n=1

k
X

xi .

i=1

Ejemplo 8.8 (Serie Armnica) Entre las series divergentes, una de las ms importantes es
la serie armnica,
1
X
1 1 1
1
=1+ + + +
n
2 3 4
n=1
Esta serie es divergente, y para comprobar tal resultado se debe analizar en detalle las sumas
parciales. Dado que los trminos de esta serie son todos positivos, las sumas parciales:

1
1 1
1 1 1
1 1
s1 = 1; s2 = 1 + ; s3 = 1 + + ; s4 = 1 + + + ; :::::; sn = 1 + + +
2
2 3
2 3 4
2 3
forman una sucesin estrictamente creciente
s1 < s2 < s3 < s4 <

1
;
n

< sn <

que (veremos a continuacin) no es acotada, y por lo tanto no tiene lmite. Veamos que no es
acotada:
1
1 1
1 1 1 1
1
1
1+
+
+
+
+ + +
+
+
+
+
2
3
4
5
6
7
8
9
16
| {z }
|
{z
}
|
{z
}
1
2

(2 trminos, c/u

1
2

1
)
4

(4 trminos, c/u

1
2

1
)
8

(8 trminos, c/u

1
)
16

Series numricas

115

En general
1
1
1
+
+
+
2n + 1 2n + 2 2n + 3
son 2n trminos todos

1
2n+1

+
1
2.

y entonces su suma es
N

2
X
1
n

3
+ (N
2

n=1

1)

1
2n + 2n
Con esto se puede ver que

1
2

(usar induccin).
Ejemplo 8.9 (Serie Geomtrica) Si r 2 R, a la serie
1
X

rn

n=1

se la llama serie geomtrica de razn r. En este caso particular podemos encontrar una frmula
cerrada para la n-esima suma parcial
sn = r + r 2 +

+ rn

Primero, notar que si r = 1 entonces sn = n; y no existe

n!1 sn . El caso r =
en el Ejemplo 8.3 (y la serie diverge). En cualquier otro caso,
sn = r + r 2 +
2

rsn = r +

+ rn ,
n

+r +r

1 lo vimos

y entonces

n+1

Restando esas dos ecuaciones obtenemos

sn (1

r) = r

de donde (como r 6= 1)
sn =
Puesto que
que

n!1 r

n+1
1
X

n=1

r rn+1
.
(1 r)

existe y vale cero si jrj < 1 (y no existe si jrj > 1, ejercicio), conclumos
rn =

r
(1

r)

si jrj < 1 (y diverge en otro caso).

Como caso particular, vericamos que

seccin.

rn+1

1
X

1 n
2

= 1; conjeturado en el primer ejemplo de la

n=1

Observacin 8.10 Comenzar a sumar desde n = 1 no es ninguna limitacin,

es
bien una
P
Pmas
1
costumbre para agilizar la notacin. En muchas ocaciones tendremos 1
x

x
n
n=0
n=k n donde
k es cualquier entero. Bsicamente, depende de la forma en que estn expresados los trminos

Series numricas

116

a sumar, y cuantos de ellos querramos sumar. Por ejemplo, la serie geomtrica muchas veces se
expresa como
1
X
1
rn =
si jrj < 1 (y diverge en otro caso).
(1 r)
n=0

Este resultado puede demostrase como en el ejemplo anterior, o directamente, usando que
1
X

rn = 1 +

n=0

1
X

rn = 1 +

n=1

r
(1

r)

1
(1

r)

Proposicin 8.11 Tomemos fxn gn2N y fyn gn2N dos sucesiones, y c 2 R, entonces:
1.

1
X

(cxn ) = c

n=1

1
X

xn ,

n=1

donde la igualdad signica que convergen ambas o divergen ambas.

2.

1
X

(cxn + yn ) = c

n=1

1
X

xn +

n=1

1
X

yn ,

n=1

donde la igualdad signica que si dos de las tres series que aparecen convergen, entonces
converge la tercera y vale la igualdad.
Demostracin.
1. Basta con notar que
cx1 +

+ cxn = c (x1 +

+ xn ) .

2. Basta con notar que

(cx1 + y1 ) +

Ejemplo 8.12

+ (cxn + yn ) = c (x1 +

+ xn ) + (y1 +

+ yn ) .

1. Consideremos la serie
1
X

32n 51

n=1

sta es una serie geomtrica en una forma encubierta, ya que puede reescribirse como
1
X

n=1

puesto que r =

2n 1 n

3 5

1
1
X
X
9n
=
=
9
5n 1
n=1

9
> 1; la serie diverge.
5

n=1

9
5

n 1

1
X

n=1

9
5

n 1

Series numricas

117

2. El nmero racional representado por el decimal peridico 0;784784784::: se puede escribir

como
0;784784784::: = 0;784 + 0;000784 + 0;000000784 +
3

= 0;784 + 0;784

1
10

= 0;784 + 0;784

1
1000

+ 0;784

1
10

1
1000

+ 0;784

que escrito en forma de serie queda

0;784784784::: =

1
X

n=0

3. Para determinar la suma de la serie

1
X
j=1

1
X
2
y
: La primera es
j
5 1

1
1000

0;784

3
4j

0;784
1
1
103

2
5j

784
0;784
=
:
0;999
999

vamos a considerar las series

1
X
3
4j
j=1

j=1

1
1
X
X
3
1
=
3
=3
4j
4j
1
j=1
j=1

y la segunda

1
4

1
1
X
X
1
2
1
=2
=2
j
j
1
5
5
1
j=1
j=0

luego aplicando la Proposicin 8.11, la serie

1
X
j=1

3
4j

= 1,

1
4

1
5

5
,
2

2
5j 1

converge a 72 .

1
X
5
5 5
= 5 + + + :::::::, es un mltiplo de la serie armnica divergente y por
n
2 3
n=1
consiguiente divergente por la Proposicin 8.11.

4. La serie

Es indispensable entender que, para que una serie sea convergente, basta que
1
X

xn

n=k

sea convergente para algn k 2 N. Esto se deduce inmediatamente de que

N
X

n=1

xn =

k 1
X

n=1

xn +

N
X

n=k

xn

para todo N < k

Series numricas

118

y tomando

N !1 .

Por ejemplo, si queremos ver la convergencia de

1
X
10n

n!

n=0

basta con ver (por ejemplo) la convergencia de

1
X
10n
.
n!

n=11

P1

P1
Asimismo, la convergencia de n=k xn para
algn
k
2
N
implica
la
convergencia
de
n=m xn
P1
P1
para todo m 2 N; pues la diferencia entre n=m xn y n=k xn es una suma nita de nmeros.
Intuitivamente, la dicutad para sumar innitos nmeros radica en poder sumar los ltimos.
La suma de los ltimos suele llamarse el resto de la serie, y vale la siguiente:
P1
Proposicin
8.13
(criterio
del
resto)
La
serie
j=1 xj converge si y solo si la serie rn =
P1
n!1 rn = 0.
j=n+1 xj converge para todo n 2 N [ f0g, y en tal caso
Demostracin. La primera arnacin (cuya vuelta es trivial) resulta de la siguiente igualdad:
N
X
j=1

xj =

n
X

xj +

j=1

N
X

xj :

j=n+1

Para determinar la convergencia de cualquiera de las dos series debemos tomar P

N !1 , pero
tenemos dos sucesiones de sumas parciales (en N) que dieren en una constante ( nj=1 xj ), y
por lo tanto una tiene lmite si y solo si la otra lo tiene, y en tal caso (tomando lmite) queda
1
X

xj = sn + rn , es decir

rn =

j=1

1
X

xj

sn ,

j=1

de donde se deduce que

n!1 rn = 0.
El siguiente criterio elemental nos permite detectar algunas series no convergentes:
P
Lema 8.14 (condicin del resto) Si la serie 1
n=1 xn converje, entonces
n!1

xn = 0;

es decir, para que una serie sea convergente es necesario que los trminos tiendan a cero. Dicho
de otra forma, para que la sucesin fxn gn2N sea sumable es indispensable (pero no suciente)
que sea convergente a cero.
Demostracin. Si sn = x1 +
1.8)

+ xn y denotamos s
n!1

sn

n!1 sn ,

entonces (ver Proposicin

= s;

de donde se concluye que

n!1

(sn

sn

n!1

xn = 0;

o sea listo.

Series numricas

119

1
X
1
Ejemplo 8.15 la serie
converge y
2n
n=1

n!1

1
= 0,
2n

1
X
1
pero la serie
diverge y
n
n=1

1
=0
n!1 n
(es decir, que los trminos tienda a cero no implica convergencia). Por ltimo, la serie
1
X
n 9
4n + 12
n=1

diverge pues
n!1

8.2.

1
n 9
= .
4n + 12
4

Criterios de convergencia para series de trminos positivos

A continuacin veremos un par de criterios para estudiar la sumabilidad de sucesiones de

trminos positivos, que resultan de particular importancia, porque segn veremos, los casos de
mayor importancia pueden reducirse a estos.
Teorema 8.16 Si fxn gn2N es una sucesin de nmeros reales positivos y sn = x1 +
entonces
1
X
xn converge

sn = 1;
n=1

+ xn

n!1

es decir, la sucesin es sumable o las sumas parciales se hacen arbitrariamente grandes.

Demostracin. Simplemente notar que fsn gn2N es una sucesin creciente, y por lo tanto hay
dos posibilidades: converge (si y solo si es acotada), o tiene lmite innito (si y solo si no es
acotada). Ver el comentario debajo de la Denicin 1.20:
Corolario 8.17 (Criterio de comparacin) Si fxn gn2N y fyn gn2N son sucesiones de nmeros
reales positivos tal que 0 xn yn 8 n 2 N; entonces
P
converge entonces la serie 1
n=1 xn converge.
P1
P1
2. Si la serie n=1 xn diverge entonces la serie n=1 yn diverge.

1. Si la serie

P1

n=1 yn

Demostracin.

P
1. Si sn = x1 + + xn y t = 1
n=1 yn entonces fsn gn2N es una sucesin creciente de nmeros
reales y fsn gn2N [0; t] ; es decir, es acotada (y entonces convergente).

Series numricas

120

P1
2. Es una forma equivalente de enunciar el punto anterior: la serie
n=1 yn no puede ser
P1
convergente pues ello implicara (por el punto 1) que la serie n=1 xn es convergente.
Ejemplo 8.18 Consideremos la serie
1
X
1
1
1
1
p =p +p +p +
n
1
2
3
n=1

1
+p +
n

Si se compara el n-simo trmino de esta serie con el n-simo trmino de la serie armnica
divergente se tiene
1
1
p
para cada nmero entero positivo n
n
n
entonces por el inciso (2) del corolario 8.17 la serie

1
X
1
p es divergente.
n

n=1

Ejemplo 8.19 La serie

1
X
2 + sin3 (n + 1)

n=1

2n + n2

es convergente, y para verlo consideremos lo siguiente:

0
y

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

3
2n

1
1
X
X
3
1
=3
n
n
2
2
n=1
n=1

1
es una serie geomtrica de razn (y por lo tanto convergente); entonces aplicando el criterio
2
1
X
2 + sin3 (n + 1)
(8.17) la serie
es convergente.
2n + n2
n=1
Corolario 8.20 (Criterio del Cociente) Supongamos que xn > 0 8 n
algn natural) y
xn+1
=`
n!1 xn
(o sea suponemos que el lmite existe y vale `). Entonces la serie

1
X

N (donde N es

xn converge si ` < 1 y

n=1

diverge si ` > 1.

Demostracin. Supongamos primero que ` < 1 (notar que necesariamente ` 0), y tomemos
" > 0 chico, de forma tal que ` + " < 1 (por ejemplo, " = 12 (1 `) sirve). Por denicin de
lmite, existe N > 0 tal que
xn+1
xn

` <" 8n

N;

Series numricas

121

en particular,

xn+1
<"+`<1
xn

8n

N;

Si ponemos n = N esto nos dice que

xN +1
xN

" + ` ) xN +1

(" + `)xN :

Eligiendo n = N + 1, y usando la desigualdad obtenida concluimos que

xN +2
xN +1

" + ` ) xN +2

(" + `)xN +1

(" + `)2 xN :

Siguiendo as (usando induccin, en realidad), vemos que

xN +m

(" + `)m xN

Pero la serie

1
X

para todo m 2 N.

(" + `)m xN

m=1

converge (pues es una serie geomtrica de razn (" + `) por una constante), y entonces comparacin nos dice que la serie
1
X
xN +m
m=1

P1

converge, y entonces n=1 xn converge pues es sumarle N trminos a la anterior.

Si ` > 1, la hiptesis implica que existe N tal que
xn+1
xn

1 8n

N;

y entonces los trminos no pueden tender a cero (por que?), y entonces la Condicin del resto
implica que la serie es divergente.
Ejemplo 8.21 Dada la serie:

1
X
2n

n=1

luego

n!

2n+1
2n+1
2
(n + 1)!
(n + 1)!
=0<1
2n
2n
n!1
n!1
n!1 n + 1
n!
n!
entonces, aplicando el criterio del cociente, la serie converge.
Ejemplo 8.22 Consideremos la serie:

1
X
nn

n=1

n!

Series numricas

122

luego
(n + 1)n+1
1
(n + 1)n
(n + 1)!
1+
n
n
n
n!1
n!1
n!1
n
n
n!
entonces aplicando el criterio del cociente, la serie diverge.

=e>1

Proposicin 8.23 (Criterio de la raz) Tomemos fxn gn2N una sucesin tal que xn
8 n N (donde N es algn natural), y tal que
p
n

n!1

xn = `

(o sea suponemos que el lmite existe y vale `). Entonces la serie

diverge si ` > 1.

P1

n=1

xn converge si ` < 1 y

Demostracin. Ejercicio, sale con la misma idea que cociente.

Ejemplo 8.24 La serie

1
X
n+1

2n n

n=1

converge, pues

r
n

Ejemplo 8.25 La serie

n+1
1
=
n
2 n
2
1
X

n=1

diverge, pues

s
n

n!1

Ejemplo 8.26 La serie:

4n 5
2n + 1

1
X

s
n

n!1

n+1
n

4n 5
2n + 1

n=1

converge pues

n!1

n!1

1
.
2

4n 5
2n + 1

=2>1

1
(ln (n + 1))n

1
(ln (n + 1))n

1
= 0 < 1.
n!1 ln (n + 1)

Existe otro criterio muy til, que proviene de pensar a la suma de trminos positivos como
sumas de Riemann de una funcin positiva:
Proposicin 8.27 (Criterio de la integral)
Si ' : [1; 1) ! [0;R1) es una funcin decreP
1
ciente y xn = '(n); entonces la serie 1
x
converge
si y solo si 1 ' converge.
n=1 n

Series numricas

123

Demostracin. Llamemos sn = x1 +
una funcin creciente.

+ xn y

x) =

Rx
1

'; sn es una sucesin creciente y

Comparando
sigualdades

Rn
1

' (x) dx con las sumas de Riemann sugeridas en el dibujo, obtenemos las den
X

' (j)

' (x) dx

j=2

n
X1

' (j) ;

j=1

es decir, sn '
n) sn 1 para todo n = 2; 3; :::
P(1)
x
converge,
entonces la desigualdad
Si la serie 1
n
n=1
n)

sn

1
X

xn

vlida para todo n = 2; 3; :::

n=1

P1
implica que
x)
1 (estamos usando
creciente), y entonces el
n=1 xn para todo x
Teorema 1.24 imlica que
existe
x),
es
decir,
la
integral
impropia
converge.
x!1
R1
Resiprocamente, si 1 ' converge entonces la desigualdad
Z 1
n)
'
sn ' (1)
1

implica que
converge.

fsn g1
n=1

es una sucesin acotada, y entonces (por completitud, por ser creciente)

Ejemplo 8.28 Consideremos la serie:

1
X

ne

n=1

Notar que ne

= ' (n), con

' (x) = xe

' : [1; 1) ! [0; 1)

decreciente

(pues '0 (x) = e x (1 x) < 0 si x > 1). As, se satisfacen las hiptesis del criterio de la integral
(Proposicin 8.27). Al aplicar integracin por partes se tiene
Z
xe x dx = e x xe x + C

Series numricas

124

en consecuencia
Z

xe

dx

b!1

b!1

x)

b
1

= 1; empleando la regla de L0 Hospital

b
b!1 e

(b + 1) = 1 y

(1

b+1 2
+
eb
e

b!1

como

b+1
b!1 eb
Por tanto,

1
=0
b!1 eb

xe

dx =

2
e

y podemos concluir que la serie dada es convergente.

Ejemplo 8.29 La serie

1
X
1
np

n=1

converge si y solo si p > 1; pues si tomamos ' (x) = x

( 1 p
Z
n

ln (n)

Cuando p > 1 el factor n1

1
1 p;

1 p

dx =

p;

si
si

entonces
p 6= 1
:
p=1

! 0 cuando n ! 1; y entonces la sucesin

n1 p 1
1 p

n2N

converge

por lo que el criterio de la integral nos dice que la serie converge. Cuando p
a
anlisis similar nos dice que la serie diverge.
A este tipo de series se las llama Serie p:

8.3.

1 un

Convergencia absoluta

Denicin 8.30 La serie

1
X

xn se llama absolutamente convergente si la serie

n=1

convergente (notar que nada se dice de la convergencia de

1
X

1
X

n=1

jxn j es

xn propiamente dicha, el nombre

n=1

absolutamente proviene de tomar valor absoluto en los trminos a sumar). Otra forma de
expresarlo es la siguiente: una sucesin fxn gn2N de nmeros reales se llama absolutamente
sumable si la sucesin fjxn jgn2N es sumable.
Ejemplo 8.31 La sucesin
serie

( 1)n+1
n

n2N

es sumable pero no absolutamente sumable, o sea la

1 1
+
2 3

1
+
4

Series numricas

125

converge (lo veremos ms adelante), pero la serie

1+

1 1 1
+ + +
2 3 4

no converge.
El ejemplo anterior es el de un caso muy indeseable, donde la primera serie converge por
una cuestin de cancelacin: notar que el hecho de que la segunda serie no converja signica que las sumas parciales se hacen arbitrariamente grandes (pues estamos intentando sumar
muchos nmeros positivos), fenmeno que desaparece con los signos menos de la primer serie.
El comportamiento de las series absolutamete convergentes es mucho ms benigno, segn el
siguiente:
Teorema 8.32 si una serie es absolutamente convergente entonces es convergente (dicho de
otra forma, si la sucesin fjxn jgn2N es sumable entonces la sucesin fxn gn2N es sumable).
Adems en tal caso se tiene que
1
1
X
X
xn
jxn j
n=1

n=1

Demostracin. Denamos yn = xn + jxn j ; entonces

yn =

0
2 jxn j

si xn 0
;
si xn > 0

y entonces

yn

2 jxn j :

P1
P
Puesto que 1
n=1 yn es convergente (por comn=1 jxn j es convergente, podemos concluir que
paracin), y aplicando la Proposicin 8.11 concluimos que
!
!
1
1
1
1
X
X
X
X
xn =
(yn
xn j) =
jxn j :
yn
n=1

n=1

n=1

n=1

Para la ltima armacin del teorema, notar que

N
X

xn

n=1

N
X

n=1

1
X

jxn

n=1

para todo N 2 N,

jxn j

y hacer N ! 1 (en rigor, estamos usando el Corolario 1.16).

Ejemplo 8.33 La serie

1
X

n=1

Para resolverlo, consideremos:

2
3

, converge?
2
3

=
1
X

n=1

2
3
2
3

; luego la serie
n

1
X
2
es convergente, pues es una serie geomtrica de razn
< 1; entonces la serie
3
n=1
converge absolutamente, y por teorema (8.32) la misma converge.

2
3

Series numricas

126

Ejemplo 8.34 Dada la serie

1
X
sin (n)

n4

n=1

analicemos si es convergente. Puesto que

sin (n)
n4
y teniendo en cuenta que la serie

1
n4

8n2N

1
X
1
4
n
n=1

es convergente, entonces por comparacin (8.17) la serie

1
X
sin (n)

n=1

entonces converge (por Teorema 8.32).

n4

converge absolutamente, y

El ejemplo anterior marca la metodologa que se utiliza de manera general: puesto que
tenemos algunos criterios para determinar la convergencia de series de trminos positivos, y
teniendo en cuenta que convergencia absoluta implica convergencia, cada vez que se presenta un
problema de convergencia se series, se intenta como primer opcin demostrar la convergencia
absoluta. Si esto falla, todava la serie puede ser convergente, pero el problema es mucho
mas delicado, segn veremos en la siguiente seccin.
Nota importante 8.35 No existe el concepto de divergencia absoluta, es decir, si una serie
no converge absolutamente no se dice que diverge absolutamente, sencillamente se dice que
no converge absolutamente (pero, como ya hemos resaltado, la serie puede ser convergente).
Z 1
sin x
Ejemplo 8.36 Demostraremos que
dx no converge absolutamente: para n 2 N escribix
0
mos
Z
Z
Z 2
Z
sin x
sin x
sin x
sin x
dx =
dx +
dx +
+
dx
x
x
x
x
0
0
(n 1)
Z
Z 2
Z
sin x
sin x
sin x
dx +
dx +
+
dx =
2
0
(n 1)
Z
Z
1
1
1 2
=
jsin xj dx +
jsin xj dx +
+
=
2
0
Z
Z
1
1
1
= 2
+
+
+
(pues
jsin xj dx =
sin(x)dx = 2 8 k).
2
(k 1)
0
=

1+

1 1
+ +
2 3

1
n

Entonces, si
F (t) =

; cuando n ! 1.
t

sin x
dx
x
0
1, y entonces F (t) ! 1. Hemos probado que

resulta que F (t) es creciente y F ( )

n
t
Z 1
Z 1
sin x
sin x
dx no converge y por lo tanto
dx; no converge absolutamente.
x
x
0
0

Series numricas

8.4.

127

Series alternates

Denicin 8.37 Si xn
1
X

0 para todo natural n, entonces las series

( 1)n+1 xn = x1

x2 + x3

+ ( 1)n+1 xn +

x4 +

n=1

y
1
X

( 1)n xn =

x1 + x2

( 1)n xn +

x3 + x4

n=1

se denominan series alternantes. Tal denominacin probiene de que los trminos cambian
alternadamente de signo.
Ejemplo 8.38
2.

X1

n=1

( 1)n

1.

X1

n=1

1
=
n!

( 1)n+1
=1
n

1+

1 1
+
2 3

1 1
+
4 5

1
+
6

1
1
1
1
+ + + +
2! 3! 4! 5!

Teorema 8.39 (Criterio para series alternantes) Sea fxn g1

n=1 una sucesin tal que x1
x2 x3
0 (es decir, una sucesin de trminos positivos decreciente) y tal que
n!1 xn =
0. Entonces la serie alternante
1
X
( 1)n+1 xn
n=1

es convergente.

Xn
Demostracin. Consideremos las sumas parciales sn =
( 1)j+1 xj , n 2 N. Tenemos:
j=1
s1 = x1
s2 = x1 x2
luego 0 s2 s1
s3 = s2 + x3 = x1 x2 + x3 = s1 (x2 x3 ), luego s2
s3 (por la primera igualdad) y
| {z }
s3

s1 (por la ltima igualdad), es decir,

0

Seguimos:
s4 = s3

s2

x4 = s2 + (x3 x4 ), luego
| {z }

ltima igualdad), es decir,

s1 .

s3

s3 (por la primer igualdad) y s2

s4

s2

s4

s3

s1 .

En general, siguiendo este proceso vemos que para todo n 2 N vale que
s2

s4

s6

s2n

s2n

s2n

s3

s1

s4 (por la

Series numricas

128

(ver la gura). De esto, se concluye que

(1) fs2n g1
s1 8 n 2 N), y
n=1 creciente y acotada por arriba (s2n
(2) fs2n 1 g1
s2 8 n 2 N).
decreciente
y
acotada
por
abajo
(s
2n 1
n=1
De (1) concluimos que existe l
n!1 s2n (por completitud), y entonces
n!1

s2n

n!1

(s2n

x2n ) = l

0 = l,

1
es decir, las sucesiones fs2n g1
n=1 y fs2n 1 gn=1 son ambas convergentes, y ambas convergen
a l (dicho en espaol, sabemos que si sumamos una cantidad grande y par de trminos el
resultado es un nmero prximo a l; y lo mismo si sumamos una cantidad grande pero impar
de trminos). Queremos ver que eso implica que
n!1 sn = l
Doy " > 0; luego
9 N1 js2n lj < " si n N1
9 N2 js2n 1 lj < " si n N2
luego
js2n lj < " si 2n 2N1
js2n 1 lj < " si 2n 1 2N2 1
tomo
N"
N1 ; 2N2 1)
por lo tanto si m N" ; jsm lj < ".

Ejemplo 8.40

1. La serie

1
X
(

1)n+1
n

n=1

ciente de trminos positivos con lmite cero. Como la serie

la serie

1
X
(

1 1
n n=1

es convergente ya que

1
X

1
n

es una sucesin decre-

es divergente, se dice que

n=1
1)n+1
n

es condicionalmente convergente (ver Nota 8.41).

n=1

2. La serie

X1

n=1

( 1)n

n+2
; es una serie alternante donde:
n (n + 1)
n!1

y
xn+1
xn

xn

n+2
=0
n!1 n (n + 1)

n+3
n (n + 3)
n2 + 3n
(n + 1) (n + 2)
=
<1
=
=
n+2
n2 + 4n + 4
(n + 2)2
n (n + 1)

Series numricas

129

luego
xn+1 < xn
X1
( 1)n
entonces por el teorema (8.39) la serie
n=1

n+2
es convergente.
n (n + 1)

Nota 8.41 se sigue del (8.32) que toda serie convergente de trminos positivos puede utilizarse
para obtener una innidad se series convergentes, poniendo sencillamente signos menos al azar.
Sin embargo, este teorema no se puede aplicar para demostrar la convergencia de algunas series, pues existen series que son convergentes, pero no absolutamente convergentes. Tales series
reciben el nombre de condicionalmente convergentes.
Ejemplo 8.42 Reordenacin de la armnica:
Llamemos
1
X
( 1)n+1
1 1
s=
=1
+
n
2 3
n=1
como

s=

1
2

1
3

1
4

1
5

1
6

1 1
+
4 5

=) s

1
+
6
1
2

(1)

y
s=1

1
2

1
3

1
4

1
5

=) s

(2)

luego de (1) y (2)

1
2

Consideremos ahora un reordenamiento de la serie:

1 1 1 1
+
+
2 3 4 5
1 1 1 1
1
+
2 4 3 6
1
1
1
1
+
2
4
3
1 1 1 1
1
+
+
2 4 6 8 10
1
1 1 1
1
+
+
2
2 3 4
|

s = 1
=
=
=
=

1 1 1 1
1
+
+
+
6 7 8 9 10
1 1
1
1
(reordeno dos pares y una impar)
+
+
8 5 10 12
1
1
1
1
1
+
+
6
8
5 10
12
1
+
12
1 1 1 1 1
1
1
= s
+
+
+
5 6 7 8 9 10
2
{z
}
= s

Restando 21 s conluiramos que s = 0; y entonces hemos probado que 0 2 [ 12 ; 1]. Este absurdo
obedece a un paso en el cual se da por supuesto que las operaciones vlidas para sumas nitas
tienen necesariamente operaciones anlogas vlidas para suma innitas. El comportamiento visto
en este ejemplo es tpico en las series condicionalmente convergentes.
Para terminar, mencionamos el siguiente hecho que marca
P la tremenda diferencia entre series
absolutamente convergentes y aquellas que no lo son: si 1
n=1 xn converge absolutamente, y

Series numricas

130

fyn gn2NP
es una reordenacin de fxn gn2N (o sea los mismos nmeros pero en otro orden), entonces
la serie 1
n=1 yn converge y
1
1
X
X
xn =
yn
n=1

n=1

P
(es decir que en este caso la suma innita es conmutativa). Por otro lado, si 1
n=1 xn es una serie
de trminos reales que converge pero no converge absolutamente, entonces para todo nmero
real r existe una reordenacin de fxn gn2N cuya serie converge a r.

P
P1
1
Teorema 8.43 Si 1
=
n=1 xn converge absolutamente,s
n=1 xn y fyn gn=1 es una reordeP1
1
nacin cualquiera de fxn gn=1 , entonces s = n=1 yn . Es decir, no importa en que orden se
sume, el resultado es el mismo.

P1
Demostracin.
Veamos
que
la
serie
n=1 yn converge a s. Tomemos cualquier " > 0: Como la
P1
serie n=1 xn converge a s; existe N tal que
N
X

xn

s < "=2

(1)

n=1

Adems, como tenemos convergencia absoluta, el Criterio del Resto nos dice que puedo elegir
N sucientemente grande de forma tal que tambin
1
X

n=N +1

jxn j < "=2

(2)

Tomemos N" tan grande como para que cada uno de las x1 ; x2 ; x3; :::::; xN aparezca entre los
y1 ; y2 ; y3; :::::; yn g 8 n
y1 ; y2 ; y3; :::::; yn cada vez que n N" (es decir, que fx1 ; x2 ; x3; :::::; xN
N" ). Entonces, si n N" ,
0
1 0
1
n
N
X
X
@
yj A @
+ yn ) (x1 + x2 + x +
+ xN ) =
xj A = (y1 + y2 + y3; +
j=1

j=1

= suma de xi s donde no estn x1 ; x2 ; x3; :::::; xN .

Consecuentemente.
n
X

yj

j=1

y entonces si n

N
X

xj

j=1

1
X

n=N +1

jxn j < "=2,

N" resulta
n
X
j=1

yj

n
X

yj

n
X

yj

j=1

j=1

N
X

xj +

N
X

xj + +

j=1

j=1

N
X

xj

j=1

N
X
j=1

xj

s <

" "
+ = ".
2 2

Series numricas

131

Es importante destacar que para que el teorema anterior sea interesante, la reordenacin
1
fyn g1
n=1 de fxn gn=1 debe cambiar de lugar una cantidad innita de trminos. Si no, el resultado
es obvio.
Para terminar, enunciamos formalmente un teorema anunciado:
P
Teorema 8.44 Si 1
entonces para cada r 2
n=1 xn converge pero no converge absolutamente,
P1
1
R existe una reordenacin fyn g1
de
fx
g
tal
que
r
=
y
.
n n=1
n=1
n=1 n Es decir, permutando
adecuadamente los trminos, puedo hacer que la suma de el valor que querramos.

8.5.

Series de Potencias

Denicin 8.45 Una serie de la forma

1
X

an (x

a)n = a0 + a1 (x

a) + a2 (x

a)2 +

n=0

se la llama serie de potencias centrada en a:

Ejemplo 8.46

1.

n=0

N [ f0g.
2.

1
X

1
X
xn

( 1)n (x

n=1

n!

es una serie de potencias centrada en cero, con an =

1
8 n 2
n!

1)n es una serie de potencias centrada en 1; con an = ( 1)n 8 n 2 N

(a0 = 0).
Un grupo especialmente importante de series de potencias son las de la forma
1
X
f (n) (a)

n=0

n!

(x

a)n

donde f es alguna funcin que tiene derivadas de todos los rdenes en a; esta serie recibe el
nombre de series de taylor para f en a: Esta denicin deriva de la de polinomio de Taylor:
N
X
f (n) (a)
00
0
(N
)
si f (a) ; f (a) ; f (a) ; :::; f
(a) existen todas, luego PN;a (x) =
(x a)n es el
n!
n=0
polinomio de Taylor de grado N para f en a. Se pone RN;a (x) = f (x) PN;a (x) (el resto), de
forma tal que
f (x) = PN;a (x) + RN;a (x) =

N
X
f (n) (a)
n=0

n!

Taylor.

N !1

a)n + RN;a (x) .

1
X
f (n) (a)

(x a)n converge a f (x)

n!
n=0
0. Notar que PN;a (x) = SN (x), la N-sima suma parcial de la serie de

De esta expresin se deduce inmediatamente que la serie

si y solo s RN;a (x)

(x

Series numricas

132

1
Ejemplo 8.47 Vamos a encontrar la serie de Taylor para
alrededor de x = 1. Si llamamos
x
1
f (x) = ; entonces:
x
f (1) = 1
1
f 0 (x) =
f 0 (1) = 1
x2
2
00
00
f (x) =
f (1) = 2
3
x
6
000
000
f (x) =
f (1) = 6
x4
24
f iv (x) =
f iv (1) = 24
x5
en general
n!
f (n) (x) = ( 1)n n+1
f (n) (1) = ( 1)n n!
para n 2 N.
x
luego la serie buscada es:
1
X
( 1)n n!
(x
n!
n=0

1)n =

1
X

( 1)n (x

1)n

n=0

La siguiente proposicin, de demostracin inmediata si se dispone de la Regla de LHopital,

nos dice cuan bien aproxima el polinomio de Taylor de una funcin en un entorno del centro a:
Proposicin 8.48 Si f : (a

"; a + ") ! R tiene n derivadas en a, entonces

x!a

f (x) Pn;a (x)

=a
(x a)n

Demostracin. Ejercicio, aplicar la regla de LHopital n veces.

A esta altura conocemos dos frmulas explcitas para el resto:
Proposicin 8.49 Si f : (a

"; a + ") ! R y I es el intervalo de extremos a y x, entonces:

1. Si f (n+1) existe en I, entonces

Rn;a (x) =

f (n+1) ( )
(x
(n + 1)!

a)n+1

para algn

2 I:

2. Si f (n+1) es integrable en I, entonces

Rn;a (x) =

f (n+1) (t)
(x
(n + 1)!

t)n dt:

Ejemplo 8.50 Dada f (x) = cos (x) y a = 0, f tiene derivadas de todos los rdenes en a:
Calculando obtenemos
f (0) = 1
f 0 (x) =
00

f (x) =
000

sin (x)

f 0 (0) = 0

cos (x)

f (0) =

f (x) = sin (x)

00

000

f (1) = 0

Series numricas

133

A partir de la cuarta derivada, los resultados se repiten de manera cclica, por lo que resulta
que la serie de Taylor para cos (x) en cero es
1

x2 x4
+
2
4!

x6
+
6!

+ ( 1)n

x2n
+ R2n;o (x)
(2n)!

(notar que todas las potencias de x que aparecen son pares). Como f (n+1) ( )
tiene que
xn+1
jRn;0 (x)
0
(ejercicio).
(n + 1)! n

se

1 8

Entonces, hemos probado que

cos (x) =

1
X

( 1)n

n=0

x2n
(2n)!

para todo x 2 R.

Al comenzar el estudio de series, nos concentramos en la convergencia o no de las mismas.

Cuando se trabaja con serie de potencias, o en general con series de trminos variables, el foco
debe ponerse en cuales son los valores que puede tomar la variable x para que la serie resultante
sea convergente. Para cada valor de x en el que la serie de potencias converge, la serie representa
el nmero que es la suma de la serie. Por tanto, una serie de potencias en x dene una funcin
que tiene como dominio todos los valores de x para los cuales la serie de potencia converge.
Teorema 8.51 Si la serie de potencias

an (x

a)n converge en x = x0 ; entonces converge

n=0

absolutamente 8 x tal que jx aj < jx0

absolutamente 8 x 2 (a r; a + r)).
Demostracin. Puesto que la serie

1
X

aj (es decir, si r = jx0

1
X

aj entonces la serie converge

an (x0

a)n converge, la condicin del resto nos dice

an (x0

a)n = 0,

n=0

que
y entonces 9 M tal quejan (x0
tendremos
jan (x
Puesto que la serie

n!1
n

a)

a)n j = jan (x0

M 8 n. Si tomamos x tal que jx

a)n j

1
X
x
x0
n=0

jx
jx0
a
a

aj
aj

x
x0

a
a

aj < jx0

aj,

converge (por ser geomtrica de razn menor que 1), por comparacin concluimos que

1
X

n=0

an (x0

converge absolutamente.
El resultado anterior nos permite denir el concepto de radio de convergencia de una
1
X
serie de potencias: consideremos la serie
an (x a)n , que siempre converge (a cero) cuando
n=0

x = a. Llamemos R0 = 0, y exploremos dos posibilidades:

a)n

Series numricas

134

P
1. Si existe x0 tal que jx0 aj > R0 y tal que la serie 1
a)n sea convergente,
n=0 an (x0
llamemos R1 = jx0 aj (notar R1 > R0 ). En tal caso la Proposicin anterior nos dice que
la serie converge absolutamente 8 x 2 (a R1 ; a + R1 ).
P
2. Si no existe x0 tal que jx0 aj > R0 y la serie 1
a)n sea convergente, llamamos
n=0 an (x0
R = R0 = 0, y la serie converge solo en x = a.
En el caso (1), seguimos iterativamente de la siguiente manera:
P
1. Si existe x1 tal que jx1 aj > R1 y tal que la serie 1
a)n sea convergente,
n=0 an (x1
llamemos R2 = jx1 aj (notar R2 > R1 ). En tal caso la Proposicin anterior nos dice que
la serie converge absolutamente 8 x 2 (a R2 ; a + R2 ).
P1
2. Si no existe x1 tal que jx1 aj > R1 y la serie
a)n sea convergente,
n=0 an (x1
llamamos R = R1 , y la serie converge absolutamente 8 x 2 (a R; a + R) y diverge
8 x 2 fx : jx aj > Rg.
Este proceso iterativo nos permite construir una sucesin creciente fRn g1
n=0 cuyo lmite
(
) se llama el radio de convergencia de la serie de potencias, y por su construccin tiene
la propiedad de que la serie converge absolutamente 8 x 2 (a R; a + R) = fx : jx aj < Rg y
diverge 8 x 2 fx : jx aj > Rg. No sabemos que pasa en fx : jx aj = Rg, es decir, en x = a R.
Ejemplo 8.52 Determine los valores de x para los cuales la serie de potencias es convergente:
1
X

( 1)n+1

n=0

Si expresamos la serie dada de la forma

xn = ( 1)n+1

2n xn
n3n

P1

n=0 xn ;

2n n
x
n3n
entonces

xn+1 = ( 1)n+2

2n+1 xn+1
(n + 1) 3n+1

de modo que

n!+1

xn+1
xn

2n+1 xn+1 n3n

n!+1 (n + 1) 3n+1 2n xn
2
n
jxj
n!+1 3
n+1
2
=
jxj
3

Por tanto la serie de potencias es absolutamente convergente cuando 23 jxj < 1 o, equivalentemente, cuando jxj < 32 : La serie es divergente cuando 23 jxj > 1 o, equivalentemente, cuando
jxj > 23 : Es decir, el radio de convergencia de esta serie es R = 32 . Cuando 23 jxj = 1 (es decir
cuando x = 23 ), el criterio del cociente no da informacin. Cuando x = 23 ; la serie de potencias
dada se convierte en la serie armnica alternante
1
1

1 1
+
2 3

1
+
4

+ ( 1)n+1

1
+
n

Series numricas

135

la cul es convergente, como se mostr en el ejemplo 1. Cuando x =

1
1

1
2

1
3

1
4

3
2

se tiene

1
n

la cual es (un multiplo de) la serie armnica, que es divergente. Por tanto, se concluye que la
serie de potencia dada es absolutamente convergente cuando
3
3
<x<
2
2
y es condicionalmete convergente cuando
x=
Si
x
la serie es divergente.

3
2

3
.
2

x>

3
;
2

136

Series numricas