1

Sucesiones sumables (Series)

Mario Augusto Bunge
Ciclo Bsico Comn
Universidad de Buenos Aires


El smbolo de sumatoria

Supngase dada una cantidad finita de nmeros, digamos y considera-
mos su suma
1 2 3
, , , ,
n
a a a a !
1 2 3
...
n
a a a a ! ! ! !
En ocasiones es conveniente ms hacer breve esta expresin, y esto se logra mediante el
smbolo de suma , llamado sumatoria, cuya utilizacin pasamos a describir.
"
Pondremos
1 2 3
1
...
n
k n
k
a a a a a
#
# ! ! ! !
"

En el especial caso en que sea n , 1 #
1
1
1
k
k
a a
#
#
"
.
El elemento se llama trmino general de la suma y, en muchos casos prcticos, es
preciso conocer el aspecto de este trmino general.
k
a
El nmero que figura debajo del smbolo k
"
se llama ndice de sumacin, y enten-
demos que los valores que toma este ndice son 1, 2, , n !
Ms generalmente, si p y son dos nmeros enteros, con q p q $ , pondremos

1
q
k p p
k p
a a a a
!
#
q
# ! ! !
"
"
En este contexto, el nmero p se llama lmite inferior de la suma , en tanto es el l-
mite superior de esa suma.
q

Ejemplos.

a) Se quiere expresar la suma de los cuadrados de los primeros 10 naturales:

2 2 2 2 2 2 2 2 2
1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10
2
2

o sea,
2 2 2 2 2 2 2 2 2
1 2 3 4 5 6 7 8 9 10 ! ! ! ! ! ! ! ! !
Como es fcil ver, el trmino general es
2
k
a k # , con lo que nuestra suma puede adqui-
rir el aspecto ms descansado
"
. As, se tiene la igualdad
10
2
1 k
k
#
10
2 2 2 2 2 2 2 2 2 2
1
1 2 3 4 5 6 7 8 9 10
k
k
#
# ! ! ! ! ! ! ! ! !
"
2
,
2
donde el lado izquierdo debe entenderse como una notacin ms compacta del lado de-
recho.

Si queremos considerar solamente 3 4 5 6 pondremos
2 2 2 2 2 2 2
7 8 9 10 ! ! ! ! ! ! !
2
2
10
2 2 2 2 2 2 2 2
3
3 4 5 6 7 8 9 10
k
k
#
# ! ! ! ! ! ! !
"

3
b) La suma
sumandos n
p p p ! ! ! "
#$$%$$&
, con la notacin de sumatoria, se escribe
1
n
k
p
#
"
, lo cual
no nos debiera sorprender durante demasiado tiempo. La apariencia anmala se debe a
que no figura algo as como , cosa que se subsanara formalmente definiendo
. Claramente esta precisin sera tediosa y absolutamente intil.
k
a
a p #
1 2 n
a a # # # "
Con esta notacin, , ya que estamos sumando el nmero 1 a medida que avanza
el ndice de sumacin: habiendo entonces
7
3
1 5
k #
#
"
k # 3,4,5,6,7 (7 3 1 ) % ! sumandos. Por lo
mismo, el lector entender las igualdades
1
1
n
k
n
#
#
"
y
0
n 1 1
n
k#
# !
"
.

c) Fijemos un nmero real , y consideremos sus primeras potencias r

0 1 2 3 4
, , , , , ,
n
r r r r r r !
Utilizando la notacin estndar para su suma, se tiene

0 1 2 3 n
r r r r r ! ! ! ! ! " .
Con la notacin compacta, y teniendo presente que el trmino general es r , ponemos
k
0
n
k
k
r
#
"
.
As
0 1 2 3
0
n
k n
k
r r r r r r
#
# ! ! ! ! !
"
"
Como y
0
1 r #
1
r r # , ser ms natural poner

2 3
1
n
r r r r ! ! ! ! ! "
Volveremos sobre esta suma.

Observacin. Una vez familiarizados con la notacin sumatoria, debe resistirse a la
tentacin de abandonar definitivamente la notacin tradicional. En ocasiones las mani-
pulaciones son ms claras cuando se hacen al estilo clsico. Por lo tanto, seremos due-
os, y no esclavos, del smbolo de sumatoria.


4

Propiedades elementales de la sumatoria

Sean dos listas finitas de nmeros, digamos y . Entonces se
cumplen las siguientes propiedades.
1 2
, , ,
n
a a a !
1 2
, , ,
n
b b b !

& Aditividad (suma trmino a trmino)
' (
1 1
n n
k k k
k k
a b a b
# #
! # !
" "
1
n
k
k #
"
a


& Homogeneidad (sacar los escalares afuera)
(
1 1
n n
k
k k
a ) )
# #
#
" " k
) es un nmero fijo)

Prueba de la aditividad.
Surge de la definicin de suma, ms una aplicacin reite-
rada de las conocidas propiedades asociativa y conmutativa de la suma
' ( ' ( ' ( '
1 1 2 2
1
n
k k n n
k
a b a b a b a b
#
! # ! ! ! ! ! !
"
" (
' ( ' (
1 2 1 2 n n
a a a b b b # ! ! ! ! ! ! ! " "

1 1
n n
k k
k k
a b
# #
# !
" "


Prueba de la homogeneidad.
Se basa solamente de la propiedad distributiva del
producto con respecto a la suma:

1 2 1 2
1 1
( )
n n
k n n
k k
a a a a a a a ) ) ) ) ) )
# #
# ! ! ! # ! ! ! #
" "
" "
k
a
1
n
k
k#
"
n


Combinando ambas propiedades, se obtiene la tambin llamada linealidad:
' (
1 1 1
( ,
n n n
k k k k
k k k
a b a b * + * + * +
# # #
! # !
" " "
reales fijos)

Ejemplos.
a)
' (
2 2 2
1 1 1 1
3 5 3 5 3 5
n n n n
k k
k k k k
k k k
# # # #
! # ! # !
" " " "
b) (tener presente que
"
es la
suma de n unos:
"
)
' (
1 1 1 1
2 1 2 1 2
n n n n
k k k k
k k k
# # # #
! # ! # !
" " " "
1
1
n
k
n
#
#
1
1
n
k #




5
Sumas parciales y recurrencia

Supngase que se tiene una lista de nmeros reales, digamos
1 2 1
, , , , ,
n n
a a a a
!
! !
Podemos considerar las llamadas sumas parciales
1 1
S a # ,
2 1
S a a # !
2
3
1 n
,
3 1 2
S a a a # ! !
!!!!!!!
1 2 n n
S a a a # ! ! ! "
1 1 2 n n
S a a a a
! !
# ! ! ! ! "

Ejemplos
a) Dada
1
n
n
# a , se tiene las sumas parciales
n
S
1
1 S #
2
1
1
2
S # !
3
1 1
1
2 3
S # ! ! , ! ,
1 1 1
1
2 3
n
S
n
# ! ! ! ! "
b) Para b , con k , las sumas parciales T son
k
k
r # 0, 1, 2, # !
n
0
1 T # , T r , T , !, T r
1
1 # !
2
2
1 r # ! ! r r
2
1
n
n
r # ! ! ! ! "
c) Dada la sucesin 1 cuyo trmino general es , se tiene , 1, 1, 1, % % !
1
( 1)
n!
%
1
1 S # , , ,
2 3
2
1 ( 1) S # ! % # 0
4
3 2
( 1) 1 S S # ! % #
5
4 3
( 1) 0 S S # ! % #
y, como es fcil ver:
1 si impar
0 si par
n
n
S
n
,
#
-
.


d) (Puede omitirse en la primera lectura)
Las sumas parciales de la sucesin
1
( 1)
k
k
a
k
!
%
# tienen la expresin general
1 1
1
( 1) 1 1 1 ( 1)
1
2 3 4
k n n
n
k
T
k n
! !
#
% %
# # % ! % ! !
"
"

Si se quiere visualizar ms en detalle las sumas parciales, ser

1
1 T #
2
1
1
2
T # %
3 2
1 1
1
3 2
T T # ! # % !
1
3

4
1 1 1
1
2 3 4
T # % ! %

En ocasiones, podra ocurrir que para el trmino general debamos hacer la distincin,
segn sea el ndice par o impar:
6
Observando atentamente la evolucin de las primeras sumas parciales, ya vemos lo que
ocurre:
2
1 1 1 1
1
2 3 2 1 2
n
T
n n
# % ! ! ! %
%
"
mientras, para las impares:
2 1 2
1 1 1 1
1
2 1 2 3 2 2
n n
T T
n n
!
# ! # % ! ! % !
1
1 n ! !
"

La recurrencia.
Observamos que una vez conocida , para calcular no hace falta sumar los
tres valores , sino que recurrimos a la cuenta realizada para calcular , ya que
. Para calcular recurrimos a la cuenta hecha con S , y le aadimos .
2
S
3
S
1 2
, , a a a
3
a
3
n
n
2
S
3 2
S S # !
4
S
3 4
a
(*)

Advirtase que , y as sucesivamente. Un hecho trivial que, sin
embargo, deseamos destacar, es que
1 n n
S S a
%
# !
1 n n
S S a
%
% # . El lector debe estar dispuesto a
mostrar que esto es realmente as.

Ejemplos.
a) Si es , entonces
0
n
k
n
k
S
#
#
"
r
1
n
n n
S S r
%
% #
b) La idea anterior puede extenderse en el siguiente sentido: si nos preguntamos
qu es , puede convenir escribir ambas sumas:
n p n
S
!
% S
p
1 2 1 1 2
( )
n p n n n n p n
S S a a a a a a a a
! ! !
% # ! ! ! ! ! ! % ! ! ! " " "
1 n n
a a
! !
# ! ! "

Y ahora reflexionamos: sumar hasta n p ! es lo mismo que sumar hasta n , tomarse un
respiro y luego, partiendo desde 1 n ! , seguir hasta n p ! . Es por ello que si a le
quitamos , es como si sumramos solamente despus del respiro: partimos desde
y terminamos en n p .
n p
S
!
n
S
1 n ! !
As, por ejemplo, .
107 28 29 30 107
S S a a a % # ! ! ! "
A la suma de los primeros 107 trminos le hemos quitado la suma de los primeros 28 ,
lo que equivale a arrancar desde el trmino 29.

c) Para
1 1 1
1
2 3
n
S
n
# ! ! ! ! " , se tiene
2
1 1
1 2
n n
S S
n n
% # ! ! !
! !
"
1
2n




Calculando sumas sin contar uno por uno


k
a
(*)
Si usted ha decidido comenzar a hacer un ahorro diario, y es el dinero que introduce el da
k, entonces la suma parcial es el ahorro acumulado hasta el da n.
k
a
1
n
n
k
S
#
#
"
7
Todos sabemos que para calcular el total de baldosas de un patio rectangular embaldo-
sado de la manera comn, no hace falta contar las baldosas una por una, sino que basta
con multiplicar las cantidades de baldosas existentes en dos lados contiguos. Anloga-
mente veremos que algunas sumas muy importantes, pueden ser conocidas sin sumar
todos los trminos!
Daremos unos ejemplos que corresponden a frmulas muy populares.

Ejemplos.
a) La suma de los primeros n naturales.
Queremos sumar
1 2 3
n
S n # ! ! ! ! " .
Encontraremos una frmula para esta suma. Veremos que
1
( 1
2
n
n n
k
!
#
"
)
n
n n
1
,

Quiz el lector conozca ya el truco: pongamos

1 2 3 ( 1)
n
S n # ! ! ! ! % ! "
Miramos esta misma suma pero leyndola de derecha a izquierda:
. ( 1) ( 2) 3 2 1
n
S n n n # ! % ! % ! ! ! ! "
Procedemos a sumar, pero antes las acomodamos para que se vea mejor el procedimien-
to:

1 2 3 2 1
n
S n # ! ! ! ! % ! % ! "
1 2 3 2
n
S n n n # ! % ! % ! ! ! ! "
Sumamos ahora, pero por columnas. Visualizamos las columnas:


1 2 3 1
, , , ,
1 2
k
n n n n k
! / 0 / 0 / 0 / 0
1 2 1 2 1 2 1 2
% % %
3 4 3 4 3 4 3 4
! !
Al sumar dentro de cada columna , vemos que siempre se tiene el mismo valor: 1 n ! .
Adems tenemos exactamente columnas. Entonces n

sumandos
( 1) ( 1) ( 1) ( 1
n n
n
S S n n n n n ! # ! ! ! ! ! ! # ! "
#$$$$$%$$$$$&
)
1)


2 (
n
S n n # !
( 1)
2
n
n n
S
!
#

De esta forma, si queremos calcular 1 2 3 100 S # ! ! ! ! " , basta con hacer
100 101
5050
2
S
5
# # . Hemos pues calculado la suma de los primeros cien naturales,
sin sumarlos uno por uno!.

b) Suma de una progresin geomtrica de razn r , con 1 r 6 .
Queremos calcular la suma
2
1
n
r r r ! ! ! ! " .
Veremos que si , entonces 1 r 6
8
1
2
1
1
1
n
n
r
r r r
r
!
%
! ! ! ! #
%
"
Pongamos
(A)
2 3 1
1
n
n
S r r r r
%
# ! ! ! ! ! ! "
n
r

Ahora prstese atencin al siguiente truco: multiplicamos por ambos lados de la su-
ma (A):
r

n
n
2 3 1
.(1 )
n
n
rS r r r r r r
%
# ! ! ! ! ! ! "

2 3 1
.1 )
n
n
rS r rr rr rr rr rr
%
# ! ! ! ! ! ! "
Teniendo presente que si es un nmero natural, entonces es el producto de por
s mismo veces, se tiene
k
k
r r
k
1 k k
r r r
!
# , y entonces esto nos da


1

2 3 n n
n
rS r r r r r
!
# ! ! ! ! ! " (B)

Obsrvese que (A) y (B) tienen en comn casi todos sus sumandos: desde hasta r .
Si consideramos la diferencia, estos sumandos que viven en ambas expresiones se van a
cancelar.
r
n

Restamos pues (B) de (A), desapareciendo casi todo:


1
1
n
n n
S rS r
!
% # %


1
(1 ) 1
n
n
r S r
!
% # %
y como el factor de es distinto de cero (siendo
n
S 1 r 6 , es 1 0 r % 6 ) , podemos dividir
ambos lados de la igualdad para obtener

1
2
1
1 (
1
n
n
r
r r r r
r
!
%
1) ! ! ! ! # 6
%
"
que es lo que se quera probar.

Por ejemplo, para r 2 # y n se tiene 9 #
10
2 3 9
1 2
2 2 2 2 1023
1 2
%
! ! ! ! ! # #
%
" 1
Nota. esta suma es muy importante, y conviene que el estudiante aprenda de memoria
dos cosas:
a) El argumento que permite deducir la frmula.
b) La igualdad hallada.

Aclaremos que esto no es una incitacin a estudiar de memoria, lo que significara re-
petir un argumento sin comprenderlo. S en cambio es importante memorizar la estrate-
gia.
Las siguientes sumas, conocidas como telescpicas, sern de importancia
9
Sumas telescpicas

Una suma se llama telescpica cuando es de alguna de las siguientes formas
' ( '
1 1
1 1
n n
k k k k
k k
b b b b
! !
# #
% %
" "
o bien (
(
1 !

Examinaremos la primera, siendo la segunda enteramente anloga.
' ( ' ( ' ( ' ( ' ( '
1 1 2 2 3 3 4 1
1
n
k k n n n n
k
b b b b b b b b b b b b
! %
#
% # % ! % ! % ! ! % ! %
"
"
Los parntesis se han colocado solamente para mostrar cmo aparece cada sumando, y
quitndolos se hace ms evidente que entre primer y segundo grupo mueren juntos
2
b %
con su opuesto b ; tambin se van juntos b con
2 3 3
b % . Aunque no se muestra todo, el
del tercer grupo se cancela con el b del grupo inmediato. Tampoco se ve, pero
se siente, que el b
4
b %
4
1 n%
del penltimo grupo se cancela con su inmediato izquierdo (escon-
dido entre los matorrales de los puntos suspensivos). Por fin, el se cancela con su
vecino . Luego de tanta cancelacin, solamente quedan dos sobrevivientes: los ex-
tremos y , que no tienen con quin cancelarse. En definitiva, nos queda
n
b
n
b %
1
b
1 n
b
!
' (
1 1
1
n
k k n
k
b b b b
1 ! !
#
% # %
"

Si tenemos presente cmo queda un telescopio al plegarlo o desplegarlo, se entiende la
razn por las que estas sumas se llaman telescpicas.
Para sentir esta ltima forma, ms que recurrir a la memoria (que puede traicionarnos)
, resulta quiz ms sencillo imaginar las sumas y luego sus cancelaciones.

Ejemplos.
a) es una suma telescpica, y mirndola en detalle podremos lue-
go cancelar, comprobando que
'
3 3
1
( 1)
n
k
k k
#
! %
"
(
1
1

' (
3 3 3 3 3 3 3 3 3 3 3
1
( 1) 2 1 3 2 ( 1) ( 1) ( 1)
n
k
k k n n n n n
#
! % # % ! % ! ! % % ! ! % # ! %
"
"
O sea:
' (
3 3 3
1
( 1) ( 1)
n
k
k k n
#
! % # ! %
"

b) Probemos que es telescpica (aunque de entrada no se note) , la siguiente suma.
1
1 1 1 1 1 1
( 1) 1.2 2.3 3.4 ( 1) ( 1)
n
k
k k k k n n
#
# ! ! ! ! ! !
! !
"
" "
!


Con una sencilla cuenta comprobamos que
1 1 1
( 1) k k k k
# %
1 ! !
, con lo cual
1 1
1 1
( 1) 1
n n
n
k k
S
k k k k
# #
7 8
# # %
9 :
1
! !
; <
" "

1 1 1 1 1 1 1
1
2 2 3 3 4 n n
# % ! % ! % ! ! %
1 !
"
1
1
1 n
# %
!

10
As hemos obtenido prcticamente gratis la frmula de condensacin
1
1 1
1
( 1) 1
n
k
k k n
#
# %
! !
"


Luego volveremos sobre esta frmula.

Observacin. Esta triquiuela consistente en escribir
1 1 1
( 1) k k k k
# %
1 ! !
, para de esta
manera escribir la suma propuesta de manera telescpica, nos produce asombro en un
primer contacto; Vase la Prctica para casos similares.


c) Dado que para todo par de reales e vale 0 x = 0 y = ln ln ln
x
x y
y
7 8
# %
9 :
; <
, se podr
ver sin esfuerzo otra telescpica; observemos antes que en virtud de esta propiedad del
logaritmo, se tiene
1 1
ln
7 8
#
9 :
; <
ln . 1 ln ( ln( )
k
k k
k k
! 7 8
! # %
9 :
; <
1) !
Analizamos ahora
n
1
1
ln 1+
k
k #
7 8
9 :
; <
"

1 1 1
1 1
ln 1+ ln [ln( 1) ln( )]
k
n n n
k k k
k
k k
k
# # #
! 7 8 7 8
# # ! %
9 : 9 :
; < ; <
" " "

ln2 ln1 ln3 ln2 ln( 1) ln( ) ln( 1) n n n # % ! % ! ! ! % # ! "
En fin:

1
1
k
1+ ln ln( 1)
n
k
n
#
7 8
# !
9 :
; <
"
.

d) (Este ejemplo puede omitirse en una primera lectura)

Estudiaremos la suma
' (
1
0
n
k k
k
r r
!
#
%
"
Escribiremos esta suma de dos maneras distintas:
Por un lado, la telescopa nos suministra la igualdad
' (
1 0 2 2 3 1
0
1
n
k k n n n
k
r r r r r r r r r r r
! !
#
% # % ! % ! % ! ! % # %
"
"
1 !

Por otro lado, teniendo presente que
1
(1 )
k k k
r r r r
!
% # % , se tiene
' ( ' (
1
0 0
(1 ) 1
n n
k k k
k k
r r r r r r
!
# #
% # % # %
" "
0
n
k
k #
"


Hechas estas dos escrituras de la misma suma, los lados derechos tienen que resultar
iguales:
' (
1
0
1 1
n
k n
k
r r r
!
#
% # %
"

Si adems es r , obtenemos nuevamente la formula de condensacin 1 6
11

1
0
1
( 1
1
n n
k
k
r
r r
r
!
#
%
) # 6
%
"
.

e) (Puede omitirse en una primera lectura)
Encontraremos nuevamente la igualdad
1
( 1
2
n
k
n n
k
#
) !
#
"
, pero mediante un artificio de
un alcance mayor, ya que nos permitir luego calcular frmulas para las sumas
2
1
n
k
k
#
"
,
3
1
n
k
k
#
"
, etc.
Estudiamos la suma
"
, bien telescpica ella:
2 2
1
( 1)
n
k
k k
#
/ ! %
3
0
4
1
1
2 2 2 2 2 2 2 2 2 2 2
1
( 1) 2 1 3 2 4 3 ( 1) ( 1)
n
k
k k n n n
#
/ 0 ! % # % ! % ! % ! ! ! % # ! %
3 4
"
" (A)

Por otro lado, la misma suma, aprovechando el hecho de que ( 1
2 2
) 2 k k k ! % # ! , toma
el siguiente aspecto:
2 2
1 1 1 1
( 1) (2 1) 2 1 2
n n n n
n
k k k k
k k k k S
# # # #
/ 0 n ! % # ! # ! # !
3 4
" " " "
(B)
donde hemos puesto
1
n
n
k
S k
#
#
"
Igualando ahora los lados derechos de (A) y (B) se tiene
2
2 ( 1)
n
S n n 1 ! # ! %
de donde
2
( 1) ( 1
n
S n n ) # ! % !
2 ( 1)[ 1
n
S n n 1] # ! ! %

( 1)
2
n
n n
S
!
#

Observacin. Puede pensarse que esta prueba es demasiado complicada comparado con
la estrategia expuesta pginas atrs para obtener el mismo resultado. Ninguna es mejor
que la otra, y en el ejemplo siguiente puede verse cmo esta misma estrategia nos per-
mite hallar una frmula para calcular la suma de los cuadrados de los primeros natura-
les, 1 2
2 2
n ! ! ! "
2

f) (Puede omitirse en una primera lectura)
2 2 2
( 1)(2 1
1 2
6
n n n
n
) ! !
! ! ! # "
Llamemos T y consideremos la suma
2 2
1 2
n
# ! ! ! "
2
n
3 3
1
( 1)
n
k
k k
#
/ 0 ! %
3 4
"

Como antes lo hiciramos con
2 2
1
( 1)
n
k
k k
#
/ 0 ! %
3 4
"
, ahora calculamos
de dos maneras distintas.
3 3
1
( 1)
n
k
k k
#
/ 0 ! %
3 4
"
Por un lado, la suma es telescpica:
12
3 3 2 3 3 3 3 3 3
1
( 1) 2 1 3 2 ( 1) ( 1)
n
k
k k n n n
#
/ 0 ! % # % ! % ! ! ! % # ! %
3 4
"
" 1
3
1
(I)
Por otro lado, y conociendo el desarrollo del cubo de una suma, en el paso se obtiene k

3 3 2 2
( 1) 3 .1 3 .1 1 k k k k ! % # ! !

3 3 2
( 1) 3 3 k k k k ! % # ! !
Esto lo aplicamos sobre cada sumando de
3 3
1
( 1)
n
k
k k
#
/ 0 ! %
3 4
"
, obteniendo
' (
3 3 2 2
1 1 1
( 1) 3 3 1 3 3
n n n
k k k
k k k k k k
# # #
/ 0 ! % # ! ! # ! !
3 4
" " "
1
n
k
n
#
"
1 %
(*)
(II)

Ahora bien, (I) y (II) tienen en comn el lado izquierdo, de manera tal que son iguales
sus lados derechos:
2 3
1 1
3 3 ( 1)
n n
k k
k k n n
# #
! ! # !
" "

Recordando que T es lo que queremos calcular, y que, como ya hemos probado,
n
1
( 1
2
n
k
n n
k
#
!
#
"
)
, se tiene

3
3
1) ( 1)
2
n
T n n n n ! ! ! # ! 3 ( 1 %
y, luego de despejar un poco:
3
( 1
3 ( 1) 1 3
2
n
n n
T n n
) !
# ! % % %
3
3
( 1) ( 1) ( 1).
2
n
n n n # ! % ! % !
2
3
( 1)[( 1) 1
2
n
n n # ! ! % % ]
2
3
( 1)[ 2
2
n n n # ! ! % ] n
2
( 1)[
2
n
n n ] # ! !
1
( 1) (
2
n n n ) # ! !
( 1) (2 1
2
n n n ) ! !
#
En fin:
( 1)(2 1
3
2
n
n n n
T
) ! !
#
O sea

(*)
Recuerde que
1
1
n
k
n
#
#
"

13
( 1)(2 1
6
n
n n n
T
) ! !
#
Obtuvimos as la frmula

2 2 2
( 1)(2 1)
1 2
6
n n n
n
! !
! ! ! # "
(*)


Por ejemplo,
2 2 2 2
100.101.201
1 2 3 100
6
! ! ! ! # " ,
resultado al cual hubisemos llegado solamente luego de largos padecimientos en caso
de sumar cuadrados de los primeros cien nmeros naturales.

Podemos resumir algunas sumas importantes:

&
( 1
1 2 3
2
n n
n
!
! ! ! ! # "
)

&
2 2 2
( 1)(2 1
1 2
6
n n n
n
! !
! ! ! # "
)

&
1
2
1
1 (
1
n
n
r
r r r r
r
!
%
! ! ! ! # 6
%
" 1)
n


& (puede hallarse utilizando la misma triquiuela uti-
lizada en la primera obtencin de la frmula para sumar los primeros natura-
les).
2
1 3 5 (2 1) n ! ! ! ! % # "
n


(*)
Si esto no es belleza / la belleza dnde est.....
14

Sucesiones sumables (Series)

Ya sabemos sumar una cantidad finita de nmeros; ahora queremos extender la nocin
de suma a una cantidad infinita de nmeros reales.
Esto sera algo as como poner
1 2 3
a a a ! ! !"
donde los puntos suspensivos indicaran que sumamos indefinidamente. Pero ello signi-
ficara que jams terminamos de sumar, lo que no parece prometedor. Como veremos a
continuacin, algo se puede rescatar.
El recurso es considerar las sumas parciales, que hemos visto anteriormente. Pongamos
las sumas parciales asociadas:
1 1
S a #
2 1
S a a # !
2
3
S

3 1 2
S a a a # ! !
1 2 3 n n
S a a a a # ! ! ! ! "
A medida que aumenta n , vamos sumando ms y ms, pero nunca nos detenemos. He
aqu que el paso al lmite, de existir, puede aligerar nuestra fatiga, como veremos ense-
guida.

Definicin de sucesin sumable

Sea una sucesin y llamemos a la sucesin de sus sumas parciales.
n
a
n
S
Si existe un nmero real tal que l S m
n
n
S
>?
# , diremos que la sucesin es suma-
ble, con suma .
n
a
S
Si el lmite mencionado no existe, o bien existe pero es infinito, diremos que la sucesin
no es sumable.

Obsrvese entonces que con esta definicin de sumabilidad, una sucesin infinita se
puede sumar cuando, y solamente cuando, sus sumas parciales tienen un lmite finito.

Ejemplos de sucesiones sumables

a) Fijado un real r con | , la sucesin | 1 r @
2 3
: 1, , , , , ,
n n
r r r r r ! !
es sumable. Para verlo formamos las sumas parciales
0
1 S #
1
1 S r # ! ,
2
2
1 S r # ! ! r
r

2
1
n
n
S r r # ! ! ! ! "
y queremos averiguar si la sucesin de estas sumas parciales tiene un lmite finito.

Como ya lo hemos calculado:
1
2
1
1
1
n
n
n
r
S r r r
r
!
%
# ! ! ! ! #
%
"
15
Analizar entonces la existencia de lmite finito para
2
1
n
n
S r r r # ! ! ! ! " se reduce a
analizar la situacin sobre
1
1
n
r
r
!
%
%
1
.
Siendo
1 1
1 1
1 1 1
n n
r r
r r r
! !
%
# %
% % %

y puesto que
1
l m 0
1
n
n
r
r
!
>?
#
%
(recurdese que hemos decidido considerar solamente el
caso | ), se obtiene | 1 r @
1
l m
1
n
n
S
r
>?
#
%
.
Esto nos dice que la sucesin considerada, cuando | | 1 r @ es sumable, con suma
1
1 r %
.

b) La sucesin
1, 1, 1, 1, , ( 1) ,
n
% % % ! !

no es sumable, ya que sus sumas parciales son

1
1 S # % ,
2
1 1 0 S # % ! #
3 2
1 S S # % # %1
4 3
1 0 S S # ! #

1
0
n
S
% ,
#
-
.
si n es impar
si n es par

y como la sucesin de sus sumas parciales no tiene lmite, concluimos que la suce-
sin ( no es sumable.
n
S
1)
n
%

c) Probaremos quela sucesin
1 1 1 1
, , , , ,
2 3 4 n
" " 1,
no es sumable. La prueba, muy breve, es por el absurdo.

Imaginemos, por un rato, que dicha sucesin es sumable. Ello significara que sus su-
mas parciales forman una sucesin con lmite finito, digamos . Ms precisamente:
n
S S
l m ( )
n
n
S S S
>?
# A'
Una suma parcial tpica ser
1
1 1
1
2
n
n
k
S
k n
#
1
# # ! ! !
"
" .
Ahora bien, si , tambin lo mismo es cierto para la subsucesin de las sumas
parciales de ndice par: , por lo cual, y gracias a que es un nmero real,
podemos restar sin problemas, y obtener
l m
n
n
S
>?
#
l
n
S
S
2
m
n
S
>?
# S

2
l m( ) 0
n n
n
S S
>?
% #
(*)


(
*
)
Obsrvese que en caso de ser S # !?, hubisemos tenido una resta con forma indetermi-
nada . ( ) !?% !?
16
Pero poniendo de manera explcita
2n
S S
n
% , es fcil ver que se tiene
2
1 1 1
1 2
n n
S S
n n n
% # ! ! !
n ! ! !
"
As:
1 1 1
l m 0
1 2
n
n n n n
>?
7 8
! ! ! #
9 :
! ! !
; <
"

Pero la siguiente acotacin ser reveladora: la suma
1 1 1
1 2 n n n
! ! !
n ! ! !
"
de sumandos n
(
**
)
, es seguramente mayor que veces el sumando ms chico, que es n
1
2n
(el ltimo sumando). Ms precisamente
sumandos
1 1 1 1 1 1 1
1 2 2 2 2 2
n
n
n n n n n n n n
! ! ! = ! ! ! # #
! ! !
" "
#$$$%$$$&
1
2

Pero ahora obtenemos
2
1 1 1
1 2
n n
S S
n n n n
% # ! ! ! =
! ! !
"
1
2

2
1
2
n n
S S % =
lo que va en contra de .
2
l m( ) 0
n n
n
S S
>?
% #
El absurdo provino de suponer que las sumas parciales tenan lmite finito. Por lo tanto,
la sucesin de los recprocos de los naturales no es sumable.



d) Para la sucesin
1 1 1 1 1
, , , , ,
1.2 2.3 3.4 4.5 ( 1) n n !
!
se tiene las sumas parciales
1
1
( 1
n
n
k
k k
#
#
)
T
!
"
. Como vimos al introducir sumas telesc-
picas, es
1 1 1
( 1) k k k k
# %
! !1
, merced a lo cual

1 1
1 1 1
1
( 1) 1
( )
n n
n
k k
k k k k n
# #
# # % # %
! !
" "
1
1 !
T
En fin:
1
1
1
n
n
# %
!
T , de donde obtenemos que la sucesin de sumas parciales T tiene
lmite1, lo que nos dice que la sucesin examinada es sumable, con suma 1
n

Una vez aclarada la nocin de sumabilidad de una sucesin, abandonaremos casi defini-
tivamente la palabra sumable (abandonaremos la palabra, no el concepto), y nos subor-
dinaremos a la tradicin, que habla de series.


(
**
)
Mirando los denominadores, es fcil ver que hay n sumandos.
17
El lenguaje de las series

Ya hemos comprendido el significado de sucesin sumable. Conectaremos ahora este
concepto con el concepto de serie convergente, que es el mismo, pero con una notacin
que incluye algunos abusos de notacin y lenguaje; hemos querido evitar estos abusos al
tomar contacto por primera vez con la idea de sumabilidad.

Partiendo de la sucesin de nmeros reales ( )
n
a

1 2 3
, , , , ,
n
a a a a ! !!
podemos producir una nueva sucesin formada por las llamadas sumas parciales

3
!
n k
1 1 2 1 2 3 1 2
, , S a S a a S a a a # # ! # !
y as sucesivamente, quedando definida la suma parcial

1 2 3
1
n
n
k
S a a a a a
#
# ! ! ! ! #
"
"
Esta nueva sucesin ( de las sumas parciales se llama serie de trmino general a , y
es tradicional representarla por medio de alguna de las tres notaciones:
)
n
S
k

1 2 3 1 2 3
1
;
n
k
a a a a a a a a
?
#
! ! ! ! ! ! ! ! ;
k "
" " "
Cuando no haya lugar a confusin, podremos poner simplemente
k
a
"
.

Definicin. Cuando la sucesin de sumas parciales tiene un lmite finito, decimos
que la serie
"
converge, y a su lmite lo llamamos igual que a la serie:
"
. Si en
cambio el lmite es infinito, o bien no existe, decimos que la serie es divergente.
n
S
1
k
k
a
?
# 1
k
k
a
?
#

Observacin. Ntese los dos sentidos asignados a
1
k
k
a
?
#
"
. Por un lado este smbolo
denota a la sucesin de las sumas parciales. Por otro, denota al lmite de las sumas
parciales, en caso de que este lmite exista. Unos ejemplos aclararn este punto.
n
S

Ejemplos.

a)
& Cuando hablamos de la serie
0
k
k
r
?
#
"
, estamos haciendo referencia a la sucesin
de sumas parciales .
0
n
n
k
S r
#
#
"
k
& Cuando decimos que la serie
0
k
k
r
?
#
"
es convergente, estamos diciendo que sus
sumas parciales tienen un lmite finito (De momento, hemos observado que
cuando | | 1 r @ , la serie converge)
& Cuando decimos que
0
1
(| | 1)
1
k
k
r r
r
?
#
# @
%
"
, estamos diciendo que
18
0
1
lim (| | 1)
1
n
k
n
k
r r
r
>?
#
# @
%
"

& Tambin podemos poner
2
1
1
n
r r r
r
! ! ! ! ! # 1
%
" " , bien entendido el signi-
ficado del lado izquierdo.

b)
& Al hablar de la serie
1
1
( 1)
k
k
?
!
#
%
"
0,!
, estamos hablando de la sucesin de sumas par-
ciales 1, 0, 1, % %
& Podemos decir que la serie
1
1
( 1)
k
k
?
!
#
%
"
es divergente, porque sabemos que la su-
cesin de sumas parciales no tiene lmite.

c)
& Cuando decimos la serie
1
1
k
k
?
#
"
estamos pensando en la sucesin de sumas
parciales construidas a partir de la sucesin
1
n
.
& Podemos decir que la serie
1
1
k
k
?
#
"
es divergente, porque sabemos que sus sumas
parciales, no tienen un lmite finito.


&
1
1
k
k
?
#
# !?
"
significa no solamente la divergencia de la serie, sino que especifica
tambin que para las sumas parciales
1
1
n
k
k
#
"
vale
1
1
n
n
k
S
k
#
# > !?
"
. Esto es sen-
cillo de entender por la siguiente razn: Siendo
1
1
1
n n
S S
n
!
# !
!
, la sucesin
es creciente
n
S
(*)
, y sabemos que toda sucesin creciente tiene lmite, finito o ms
infinito. Segn hemos visto anteriormente, la suposicin de lmite finito nos lle-
vaba a una contradiccin, de donde l m
n
n
S
>?
# !?.
d)
&
1
1
1
( 1)
k
k k
?
#
#
!
"
significa que, adems de la convergencia, tenemos la informa-
cin exacta sobre su suma, en este caso igual a 1, ya que como vimos,
1
1 1
1 1
( 1) 1
n
k
k k n
#
# % >
! !
"
.



(*)
se obtiene sumando a un nmero positivo.
1 n
S
! n
S
19
Hemos entendido qu se entiende por convergencia de una serie, y qu por diver-
gencia. Tambin hemos valorado la importancia que puede tener el armar las sumas
parciales y estudiarlas. Nos interesa ahora desarrollar algunos criterios para detectar
cundo una serie converge o no, sin recurrir al anlisis de las sumas parciales. Esto es
as porque no todas las series convergentes tienen asociada una frmula que nos informe
de su suma, como hemos visto en el caso de las series geomtricas de razn r con
, ni tampoco son tan amables como la telescpica | | 1 r @
1
1
( 1
k
k k
?
#
) !
"
.

Es preciso obtener unos criterios para detectar el comportamiento de las series, an-
logamente a lo que ocurre cuando estudiamos las sucesiones.

Digresin. Un hecho sobre el cual invitamos a reflexionar: cambiar un nmero finito de
trminos de una sucesin no altera su sumabilidad. (por supuesto que en caso de con-
vergencia, lo que s se altera es la suma).


El ms elemental de todos los criterios, es el llamado criterio de la condicin necesaria,
que pasamos a examinar.


Una condicin necesaria para la convergencia de una serie cualquiera

Teorema. (Condicin necesaria de Cauchy)
Si es convergente, entonces l
1
k
k
a
?
#
"
m 0
n
n
a
>?
# .
Demostracin. Por hiptesis, la sucesin de sumas parciales tiene lmite
finito. Ms precisamente, existe un nmero real tal que
1
n
n
k
S
#
#
"
n
S S
k
a
S l m
n>?
# . Como tambin
, deducimos que l
1
l m
n
n
S
%
>?
# S
1
m( ) 0
n n
n
S S S
%
>?
S % # # %
Pero como es fcil ver, (haga las sumas parciales y reste!), de donde
tenemos l .
1 n n
S S a
%
% #
n
m 0
n
n
a
>?
#

Ejemplos
a) La serie
0
( 2)
k
k
?
#
%
"
no es convergente, ya que l m( 2)
n
n>?
% no existe.
b) no converge si | | , ya que en este caso no se cumple la condicin
necesaria
0
k
k
r
?
#
"
1 r B
l m 0
n
n
r
>?
#
c)
2
2
1
3 5
k
k
k
?
#
!
"
no converge, ya que
2
2
1
l m 0
3 5 3
n
k
k
>?
# 6
!

d) no converge, ya que no existe
1
( 1)
k
k
?
#
%
"
l m( 1)
n
n>?
%
20
e) no converge, ya que
2
1 k
n
?
#
"
2
l m 0
n
n
>?
6

Advertencia. No se debe hacer decir al teorema ms de lo que ste dice. El teorema
dice que si la serie converge entonces forzosamente su trmino general ha de tender a
cero. Dicho de otra forma: si el trmino general no tiende a cero, entonces la serie no
puede ser convergente.
En cambio, el hecho de que el trmino general tienda a cero nada dice sobre la conver-
gencia de la serie. Por ejemplo, como lo hemos analizado, la serie
1
1
k
k
?
#
"
es divergente,
sin importar que
1
m 0
n
n
>?
# l . Por lo tanto, pretender que sea convergente argumentando
que
1
l m 0
n
n
>?
# significa no haber reflexionado acertadamente sobre el significado del
teorema.
(*)

Este teorema permite afirmar que ciertas series no convergen, pero nunca, jams, puede
ser argumento a favor de la convergencia de una serie.


)
1 n!
Series de trminos no negativos

Las series de trminos no negativos son las ms sencillas para estudiar, y su estudio
constituir una base para estudiar series con trminos generales con signo variable.

Comenzaremos con un hecho clave, segn luego se ver.

Propiedad. Dada una sucesin de trminos no negativos
1 2 3
, , , , , ( 0
n n
a a a a a n N B C A ! !
la sucesin de sus sumas parciales es una sucesin creciente.
n
S

Demostracin. Dado que , en este paso estamos agregando , que es
no negativo. Ms precisamente:
1 n n
S S a
!
# !
1 n
a
!
1 1
(pues 0)
n n n n n
S S a S a
! !
# ! B B
O sea:
1 n n
S S
!
B
que es lo que se quera demostrar.

Como sabemos, toda sucesin creciente tiene lmite: limite finito si la sucesin es aco-
tada superiormente, y lmite ms infinito si la sucesin no est acotada superiormente.
En vista de esto, la convergencia de una serie de trminos no negativos es equivalente a
la acotacin superior de sus sumas parciales. A la luz de esta reflexin, el lector deber
ajustar los detalles del siguiente


(*)
Errores de este tipo son frecuentes en distintas actividades humanas. Se alude a esta confu-
sin con frases como confundir el directo con el recproco o bien confundir condicin necesa-
ria con suficiente. Si bien es un error comn, no se trata de un error menor, y hay en la vida
diaria innumerables muestras de sus efectos catastrficos.
21
Teorema.
Dada una serie de trminos no negativos, se tiene:

1
k
k
a
?
#
"
& est acotada superiormente D
1
n
k
k
a
#
"
1
k
k
a
?
#
"
converge
& no est acotada superiormente D
1
n
k
k
a
#
"
1
k
k
a
?
#
"
no converge


Definicin. Si dos series y
1
k
k
a
?
#
"
1
k
k
b
?
#
"
son tales que existe un natural tal que
para todo ndice , se dice que la serie
N
k
a b $
k
k N B
1
k
k
b
?
#
"
es mayorante de la serie
. Tambin se dice que la primera est mayorada o dominada por la segunda.
1
k
k
a
?
#
"

Ejemplos.
a)
2
1
ln
k
k
?
#
"
mayora a la serie
2
1
k
n
?
#
"
, ya que de 0 lnk k @ @ , se obtiene
1 1
lnk k
=
b) dadas las series de respectivos trminos generales ( 1
1
)
k !
% y , ninguna es
mayorante de la otra.
( 1)
k
%


y
k
Primer criterio de comparacin.

(Una serie de trminos no negativos dominada por una serie convergente, es conver-
gente).
Sean unas sucesiones de nmeros reales no negativos. Entonces
n
(a ) y ( )
n
c
Si converge, entonces
1
0
n n
k
a c n N c
?
#
$ $ C A
"
1
k
k
a
?
#
"
converge

Demostracin. Pongamos
1 2 n n
A a a a # ! ! ! "
1 2 n n
C c c c # ! ! ! "

Puesto que , se tiene
1 1 2 2
, , ,
n
a c a c a c $ $ $ !
n

1 2 1 2 n n
a a a c c c ! ! ! $ ! ! ! " "
O sea
n n
A C $
Pero como sabemos, la convergencia de la serie
1
k
k
c
?
#
"
significa que sus sumas parciales
estn acotadas superiormente: existe un C
n
C A' tal que C C
n
$ .
22
De , se tiene , lo que nos dice tambin que las sumas parciales
estn acotadas superiormente. Como la sucesin es creciente, su acotacin superior
nos permite concluir que tiene un lmite finito. Pero esto es lo mismo que afirmar
que la serie converge.
n
A C $
n
n
n n
A C C $ $
n
A
n
A
n
A
1
k
k
a
?
#
"
Observacin. el criterio sigue valiendo si la desigualdad 0
n
a c $ $ es vlida desde un
natural en adelante. La justificacin queda a cargo del lector, y no debiera ser soslayada.

Es recomendable que el lector intente hacer un esbozo de la estrategia empleada en esta
prueba, algo as como un croquis, en el que solamente escribir los trazos ms gruesos
de la demostracin. Luego intentar llenar mentalmente los claros dejados. Por fin in-
tentar escribir toda una prueba completa y, si ya no le encuentra errores para remediar,
se la dar a la crtica de uno o dos compaeros.

Ejemplos.
a) La serie
2
1
1
k
k
?
#
"
es convergente:
Dado que , se tiene
2
( 1) k k k = % = 0
2
1 1
( 2
( 1)
k
k k k
) @ B
%
, pero como hemos aprendi-
do anteriormente, la serie
2
1
( 1) k k
?
#
%
k
"
es convergente. Por el criterio de comparacin es
convergente la serie
2
2
1
k
k
?
#
"
. Los detalles referidos a que
2
1
1
k
k
?
#
"
y
2
2
1
k
k
?
#
"
no son una
misma cosa debern ser atendidos por el lector.

b) Prueba de la convergencia de
1
1 1 1 1 1
1
! 2 3.2 4.3.2 ( 1)( 2) 3.2
k
k n n n
?
#
# ! ! ! ! ! !
% %
"
" "
!

Tomemos , y estudiemos k k 2 k =
1 factores
! ( 1)( 2) 3.
k
k k
%
2 # % % !
#$$$%$$$&

Siendo , todos los factores salvo el ltimo son mayores que 2, de donde se obtie-
ne
2 k =
1
1factores
! 2.2.2 2 2
k
k
k
%
%
= # !
#$%$&

Como es fcil comprobar a partir de esto, vale
1
! 2
k
k
%
B para todo natural k , quedndo-
nos las desigualdades
0 1 2 3 1
1! 2 2! 2 3! 2 4! 2 ! 2
k
k
%
B B B B B ! !
tomando recprocos:
0 2
1 1 1 1 1 1 1 1
; ; ; ;
1! 2 2! 2 3! 2 ! 2
k
k
1 %
$ $ $ $ !

De este modo, la sucesin
1 1 1
1 , , , , ,
2 3! ! k
! !
queda dominada por
0 2 1
1 1 1 1
, , , , ,
2 2 2 2
k %
! !
23
Ahora bien, estamos en presencia de una serie geomtrica de razn
1
2
, siendo entonces
una serie convergente de trminos no negativos. El criterio de comparacin hace el re-
sto. Todos los detalles a cargo del lector.

Advertencia. Una aplicacin desaprensiva del criterio de comparacin puede traer re-
sultados catastrficos. El siguiente procedimiento es equivocado, como deber descifrar
el lector.
Estudiar la convergencia de la serie
1
k
k
a
?
#
"
donde 1
k
a k # % C A(
m 0
n
n
a
>?
. Observamos que su
trmino general no satisface la condicin necesaria l # , de donde se sigue que
la serie no puede ser convergente .
Por otra parte, si consideramos la serie
1
k
k
c
?
#
"
de trmino general c , se cumple
entonces (
0
k
#
n n
a c @ 1 0 % @ ) para todo ndice, y adems
1
k
k
c
?
#
"
es claramente convergen-
te. En consecuencia segn el teorema de mayoracin la serie
1
k
a
?
# k
"
debe ser convergen-
te. Encuentre el lector el defecto.


Segundo criterio de comparacin.

(Una serie de trminos no negativos que domina a una serie divergente, es divergente)

Sean (a unas sucesiones de nmeros no negativos.
n
) y ( )
n
d
Si diverge entonces
1
0 y
n n
k
a d n N d
?
#
B B C A
" k
1
k
k
a
?
#
"
diverge

Demostracin 1.

Pongamos y
1 2 n n
A a a a # ! ! ! "
1 2 n n
D d d d # ! ! ! "
Que
"
diverge significa que la sucesin de las sumas parciales no est acotada
superiormente. (Esto es por el crecimiento de la sucesin de sumas parciales)
1
k
k
d
?
#
n
D

Como hiciramos en la demostracin del primer criterio, de la relacin

n n
a d n N B C A
deducimos
n n
A D B
y como no est acotada superiormente, entonces por ser , no puede estar
acotada superiormente. Pero esta ltima condicin, en el ambiente de las sucesiones de
trminos no negativos, es equivalente a la divergencia de la serie
n
D
n
A D B
1 k
?
#
n n
A
k
a
"
.
24
Demostracin 2.

La prueba se hace por el absurdo, teniendo en cuenta que el ambiente de las series de
trminos no negativos, solamente caben dos posibilidades: o bien la serie converge o
bien tiende a ms infinito. Si fuese
1
k
k
a
?
#
"
convergente, como esta serie es mayorante de
la serie de trminos no negativos
1
k
k
d
?
#
"
, esta ltima serie debera ser convergente, en
virtud del primer criterio de comparacin. Pero esto va contra la hiptesis, donde se
asume que es divergente. Nos queda una nica posibilidad, y es la divergencia
de
1
k
k
d
?
#
"
1
k
k
a
?
#
"

Ejemplos.
a) La serie
1
1
k
k
?
#
"
es divergente. Basta con comparar sus trminos con los de la se-
rie (armnica)
1
1
k
k
?
#
"
divergente: se cumple
1 1
k
k k
B C A(; ahora el segundo
criterio de comparacin hace el resto.

b) Estudiamos la serie
2
1
ln
k
k
?
#
"
. Sabemos que ln ( 0) x x x @ = . Adems, para
es ln , y as se tiene 2 k B 0 k =
1 1
lnk k
= .
El trmino general
1
lnk
mayora al trmino general
1
k
, cuya serie asociada es divergen-
te. Por el teorema de comparacin, la serie examinada es divergente.


El siguiente criterio nos permitir ampliar notablemente nuestro conocimiento sobre el
comportamiento de numerosas series



El criterio integral de Cauchy.

Sea una funcin no negativa y decreciente (por lo tanto integrable
Riemann sobre cada intervalo [1 )
0
:[1, ) f
B
!? >'
, ] [1, ) b E !?
Consideremos ahora las sucesiones y T f . Entonces ambas
tienen el mismo comportamiento: o ambas convergen o ambas divergen.
1
( )
n
n
k
S f
#
#
"
k dx
1
( )
n
n
x #
F




25





( )






( ) f



( ) y f x #
1
2
( ) ( )
n
n
k
f k f x dx
#
$
"
F
1 2 3 1 n n % "
1 2 3 1 n n % "
1
2
( )
n
n
k
f k f x dx
#
#
"
F
(2) f
( ) y f x #
(1) f
n
( 1) f n %

Prueba visual del criterio de la integral

Demostracin. Comparando reas, las figuras resultan elocuentes, y se tiene el
par de desigualdades

1
1
2 1
( ) ( ) ( )
n n
n
k
f k f x dx f
%
#
$ $
" "
F
k
n

o bien
1
(1)
n n
S f T S
%
% $ $
Si T est acotada superiormente, la desigualdad izquierda revela que est
acotada superiormente, y por lo tanto tambin lo estar . Si en cambio T no estuvie-
se acotada superiormente, entonces la desigualdad derecha revela que tampoco puede
estarlo . As, o bien ambas sucesiones estn acotadas superiormente, o bien ambas
no lo estn. Siendo ambas sucesiones crecientes, esto equivale a que o
n
(1)
n
S f %
n n
S
n
S
bien ambas tienen lmite finito, o bien ambas tienen lmite ms infinito.

Puede tambin visualizarse ambas desigualdades en un solo grfico, tomando en consi-
deracin que el rea bajo la curva entre 1 y est comprendida entre el rea determi-
nada por los rectngulos grises, y el rea determinada por los rectngulos mixtos.
n



( ) y f x #
1
1
2 1
( ) ( ) ( )
n n
n
k k
f k f x dx f k
%
# #
$ $
" "
F
1 2 3 1 n n % "













26
Las series p
Se llaman series p a las de la forma
1
1
p
n
n
?
#
"
, donde p es un nmero real fijo.
Estudiaremos su comportamiento segn los valores que tome p .
Cuando es 1 p # se tiene la serie llamada armnica
1
1
n
n
?
#
"
, la que ya sabemos divergente.
Cuando es , resulta que 0 p $
1
p
n
no tiende a cero, con lo cual para estos valores de p
la serie es divergente.
Utilizaremos ahora el criterio integral de Cauchy. Para ello consideremos la funcin no
negativa definida como :[1, ) f !? >'
1
( ) ( 0)
p
f x p
x
# =
1, )
. Una inspeccin sobre su
derivada nos muestra que es una funcin decreciente, y por lo tanto integrable Riemann
sobre cada intervalo cerrado [ contenido en [ 1, ] b !? . Adems, como deba ser, se
cumple
1
( )
p
f k
k
# .
Segn el criterio integral de Cauchy, las sucesiones
1
1
n
p
k
k
#
"
y
1
1
n
p
dx
x
F
tienen ambas
el mismo comportamiento. Estudiemos pues
1
1
n
p
dx
x
F
. Segn el valor de p tendre-
mos:
1 p # Estaremos volviendo a estudiar la serie armnica
1
1
n
n
?
#
"
, y al estudiar la integral
asociada tenemos
1
1
ln ln1 ln
n
dx n n
x
# % #
F

Ahora pasamos al lmite:
1
1
l m l mln
n
n n
dx n
x
>? >?
# # !?
F

De donde la serie armnica resulta divergente, lo que ya habamos averiguado por otros
medios.

1 p 6
1 1
1 1
1 1 1
( 1
1 1 1
n n
p p
p
n
dx x dx x n
x p
% %
# # #
% %
F F
)
p
p
%
%

Observamos ahora que l
1
si 1
m
0 si 1
p
n
p
n
p
%
>?
!? @ ,
#
-
=
.
. En consecuencia
1
1
si 0 1
1 1
l m l m( 1) 1
si 1 1
1
n
p
p
n n
p
dx n
p x p
p
%
>? >?
!? @ ,
G
# % #
-
= %
G
%
.
F
@


Hemos obtenido todo lo que necesitamos para conocer el comportamiento de las series
p .
1
1
p
n
n
?
#
"
diverge si 1 p $ y converge si 1 p =

27
Este resultado debe ser aprendido de memoria, ya que las series p se utilizan muy fre-
cuentemente como series contra las cuales comparar otras series, para as obtener in-
formacin sobre el comportamiento de estas ltimas.
Obsrvese que el comportamiento de las p series con
1
2
p # , 1 p # y fue averi-
guado a mano anteriormente, lo que no debiera ser desechado con el argumento de
que el criterio de Cauchy nos caracteriza las series p de un solo golpe.
2 p #

Un ejercicio ms que saludable ser hacer la consideracin geomtrica que lleva al cri-
terio de Cauchy, de manera totalmente artesanal, para probar la convergencia de
2
1
1
n
k
k
#
"

y luego la divergencia de
1
1
n
k
k
#
"
. O sea, sugerimos que para el primer caso esboce el
grfico de
2
1
x
para x entre 1 y n , dibuje los rectangulitos correspondientes, compare
reas, y finalmente obtenga razonadamente su conclusin. Algo anlogo para el otro
caso. Hgalo: no va a haber perdido el tiempo.

Propiedades de homogeneidad y aditividad

a) (homogeneidad) Si
"
es convergente, entonces para cada real fijo
1
k
k
a
?
#
) ,
1
(
k
k
a ) )
?
#
"
es convergente, y adems vale la igualdad
1 1
( )
k k
k k
a a ) )
? ?
# #
#
" "


b) (aditividad) Sean dos series convergentes
1
k
k
a
?
#
"
y
1
k
k
b
?
#
"
.
Entonces la serie suma es convergente, y vale la igualdad
1
(
k k
k
a b
?
#
!
"
)
1
k
k
?
# 1 1
( )
k k k
k k
a b a b
? ?
# #
! # !
" " "


Demostracin de a).

Pongamos
1 2 3 n n
S a a a a # ! ! ! ! " con
1
n k
k
S S a
?
#
> #
"

T a
1 2 3 n n
a a a ) ) ) ) # ! ! ! ! "

Vemos que
T a
1 2 3
( )
n n
a a a
n
S ) ) # ! ! ! ! # "
Por lo cual existe
l m l m( ) l m
n n n
n n n
T S S S ) ) )
>? >? >?
# # #
Esto prueba a la vez la convergencia de
1
k
k
a )
?
#
"
y la igualdad
28
1 1
( )
k k
k k
a a ) )
? ?
# #
#
" "
.
Hemos probado a).

En particular para 1 ) # % , y dado que ( 1)t t % # %
( )
n
a %
, se tiene que la convergencia de
implica la convergencia de
1
n
n
a
?
#
"
1 n
?
#
"
, con la igualdad
1 1
( )
k k
k k
a a
? ?
# #
% # %
" "
(*)


Corolario 1. Si para algn real 0 H 6 es convergente, entonces es
convergente. Para verlo, basta multiplicar por
1
(
k
k
a H
?
#
"
1
)
1
k
k
a
?
#
"
H
%
.

Advertencia El que sea 0 H 6
n
?
#
es fundamental, como lo prueba el hecho de que de la
innegable convergencia de
"
, no se puede inferir la convergencia de .
1
(0. ) n
1 n
n
?
#
"
Corolario 2. Para cada real 0 H 6 , es divergente si y solamente si es
divergente.
1
(
k
k
a H
?
#
"
)
1
k
k
a
?
#
"



Demostracin de b)

Pongamos
1 2 3 n n
S a a a a # ! ! ! ! " con
1
n k
k
S S a
?
#
> #
"

1 2 3 n n
T b b b b # ! ! ! ! " con T T
1
n k
k
b
?
#
> #
"

U a
1 1 2 2
( ) ( ) (
n n
b a b a b # ! ! ! ! ! ! " )
n
n

La conmutatividad y la asociatividad de la suma de los nmeros reales hacen posible
escribir
n n
U S T # !
de donde vemos que existe
l m l m( )
n n n
n n
U S T S
>? >?
T # ! # ! (@)
Con esto probamos que la suma de dos sucesiones sumables, tambin es sumable.
Solamente nos falta ver que es igual a la suma de ambas series.
1
(
k k
k
a b
?
#
!
"
)
k
b

Pero esto es inmediato: por definicin es y mirando en (@) se
obtiene
1
l m ( )
n k
n
k
U a
?
>?
#
# !
"

(*)
Naturalmente, esta propiedad puede ser fcilmente demostrada a mano.
29
1 1
( )
k k k
k k
a b a b
? ?
# #
! # !
" "
1
k
k
?
#
"


Como sencilla aplicacin de las propiedades de homogeneidad y aditividad, surge la
siguiente proposicin que el lector demostrar:

Proposicin.
a) Dadas dos series convergentes
1
k
k
a
?
#
"
y
1
k
k
b
?
#
"
y dos reales cuales-
quiera ) H I , entonces
1 k
?
#
(
k k
a b ) H ! )
"
es convergente, y

1 1
k
k k
a )
? ?
# # 1
k
k
b
?
#
"
( )
k k
a b ) H ! #
" "
H !

b) Si
"
es convergente y
1
k
k
a
?
# 1
k
k
d
?
#
"
es divergente, entonces
?
es divergente.
1
(
k k
k
a b
#
!
"
)

Ejemplos.
a) La serie diverge, ya que si fuera convergente, entonces,
al ser convergente la serie de trmino general 3
1
1
(3 )
n
n
n
?
% %
#
!
"
n %
, tambin sera convergente la serie de
trmino general , lo cual es conocidamente falso.
1 1
(3 ) 3
n
n
% % % %
# ! %
n
n
b) El lector debe buscar (y encontrar) por su cuenta al menos dos ejemplos
ms.


n
(
n
(
Series alternadas

Ampliaremos nuestro conocimiento sobre las sucesiones sumables. Ya no tendremos la
restriccin de tener sus trminos no negativos, pero por el momento la libertad no ser
total: estudiaremos el problema de la sumabilidad para unas sucesiones que cambian
alternadamente su signo.

Una serie cuyos trminos son alternadamente positivos y negativos, como
1 1
1 2 3 4
1
( 1) ( 1) 0
k n
k n
k
a a a a a a a n
?
% %
#
% # % ! % ! ! % ! B C A
"
" " con
se llama serie alternada.

Tambin se llama serie alternada si presenta el aspecto
1 2 3 4
1
( 1) ( 1) 0
k n
k n
k
a a a a a a a n
?
#
% # % ! % ! % ! % ! B C A
"
" " con

Observacin. El trmino general del primer ejemplo es, hablando estrictamente,
y no . No obstante, un frecuente abuso de lenguaje lleva a que, en el am-
biente de las series alternadas, se hable de la serie alternada de trmino general
1
( 1)
n
n
a
!
%
n
a
n
a


Ejemplos
30
a)
1
1
1 1 1 1
( 1) 1
2 3 4
k
k
k
?
!
#
% # % ! % !
"
"
b)
2
1 1 1 1
( 1)
ln ln2 ln3 ln4
k
k
k
?
#
% # % ! !
"
"


El siguiente teorema fue descubierto por Leibniz.

Teorema. (criterio de Leibniz) Una condicin suficiente para que una serie alternada
sea convergente es que su trmino general tienda decrecientemente a cero.
n
a
Ms precisamente:
Dada con , una condicin suficiente para que
sea convergente es que se cumplan las condiciones
1
( 1)
n
n
n
a
?
#
%
"
0
n
a n B C A(
1
( 1)
n
n
n
a
?
#
%
"
a) a es decreciente
n
b) l m 0
n
n
a
>?
#

Demostracin. Probar que la serie converge es, desde luego, probar que la sucesin
de sus sumas parciales tiene lmite finito.
Tenemos una sucesin decreciente:
1 2 3 n
a a a a B B B B B " "
Pongamos
1
1 2 3
( 1)
n
n n
S a a a a
!
# % ! % ! % " .
Estudiaremos a continuacin el comportamiento de las especiales sumas parciales y

2n
S
2 1 n
S
!
Las sumas parciales de ndice par son
2 1
S a a # %
2
4
)
6
)
)
n

4 1 2 3
( ) ( S a a a a # % ! %
6 1 2 3 4 5
( ) ( ) ( S a a a a a a # % ! % ! %
2 1 2 3 4 2 1 2
( ) ( ) (
n n
S a a a a a a
%
# % ! % ! ! % "
Observar que el decrecimiento de la sucesin garantiza
n
a
a a
1 2 3 4 5 6 7 8
0, 0, 0, 0, a a a a a a % B % B % B % B etc.,
lo que nos muestra que cada una de estas sumas parciales se obtiene de la anterior agre-
gndole un nmero no negativo. O sea que la subsucesin formada por las sumas par-
ciales de ndice par es creciente. Ms formalmente:
El crecimiento de nos asegura que
n
a
2 1 2 2
0
n n
a a
! !
% B . Por otra parte, es
2 2 2 2 1 2
( )
n n n
S S a a
! ! n
# ! %
2 2 2 n n
S S
!
B
Miramos ahora la sucesin , pero agrupando de manera distinta:
2n
S
2 1 2 3 4 5 2 2 2 1 2
( ) ( ) ( )
n n
S a a a a a a a a
% %
# % % % % % % % % "
n n

Obsrvese que a le estamos quitando todos elementos no negativos: los entre parnte-
sis por ser decreciente, y porque la sucesin es no negativa por hiptesis.
1
a
n
a
2n
a
31
Por estas razones, tenemos la acotacin
2 1 n
S a $ .
Tenemos as que la sucesin es creciente y acotada superiormente ( es una cota
superior) . Un conocido teorema nos garantiza entonces que esta sucesin tiene un lmi-
te finito, digamos .
2n
S
1
a
S
2
l m
n
n
S S
>?
#
Por otra parte la sucesin de las sumas parciales impares verifica
2 1 2 2 1 n n
S S a
n ! !
# !
Como ambos sumandos del lado derecho tienen cada uno lmite, y 0 respectivamen-
te, el lado izquierdo tiene lmite. Ms precisamente
S
2 1
l m
n
n
S S
!
>?
#
Tenemos ahora y
2
l m
n
n
S
>?
# S
2 1
l m
n
n
S S
!
>?
#
Afirmamos que entonces la sucesin entera de las sumas parciales es convergente, que
es lo que se quera demostrar.

Los detalles quedan a cargo del lector, a quien ofrecemos un esbozo de la demostracin:
tomando un entorno cualquiera de S , por ser l
2
m
n
n
S
>?
S # , los estn metidos en
ese entorno para valores suficientemente avanzados de . Anlogamente, y por ser
, ese mismo entorno contiene los
2n
S
n
2 1 n
S
2 1
l m
n
n
S
!
>?
# S
!
para valores suficientemente avan-
zados de . De ac concluimos que si n es suficientemente grande, tanto S como
estn en dicho entorno. Esto prueba que .
n
2 1 n
S
!
2n
n
S S >

Ejemplos. Estudiar la convergencia para a)
2
( 1)
ln
n
n
n
?
#
%
"
b)
1
1
( 1)
n
n
n
! ?
#
%
"


a) Siendo la funcin logaritmo una funcin creciente y positiva en , es una
sucesin creciente y positiva para , y as
(1, ) !? lnn
2 n B
1
lnn
es decreciente y positiva.
Por otro lado, puesto que l mln
n
n
>?
# !?, se tiene
1
0
lnn
>
Se cumple entonces las condiciones del teorema de Leibniz para series alternadas:
a)
1
lnn
es decreciente y positiva
b)
1
m 0
ln
n
n
>?
# l
En consecuencia
1 1 1 1
( 1)
ln2 ln3 ln4 ln
n
n
% ! ! ! % ! " " converge


b) Vemos que esta serie est en las condiciones del teorema de Leibniz para series al-
ternadas:
1
n
cumple
32
a)
1
n
es decreciente
b)
1
m 0
n
n
>?
# l
En virtud del teorema de Leibniz,
1
1
( 1) 1 1 1
1
2 3 4
n
n
n
! ?
#
%
# % ! % !
"
" es convergente.

Ejercicio propuesto. Con esta ltima serie, reproducir enteramente la demostracin del
teorema de Leibniz. Apuntar las estrategias, hacer un esbozo y luego ir completando los
detalles. Una vez hecho, intentar contrselo a algn compaero.

Convergencia absoluta

Sea ahora una sucesin de nmeros reales, de cualquier signo, y consideremos la
serie
n
a
1 2 3
1
k n
k
a a a a a
?
#
# ! ! ! ! !
"
" "
(recuerde que esto simboliza a la sucesin
1
n
k
k
a
#
"
de las sumas parciales)


Definicin. (Convergencia absoluta) Diremos que la serie converge absolutamente si
converge la serie de los valores absolutos
1 2 3
1
| | | | | | | | | |
k n
k
a a a a a
?
#
# ! ! ! ! !
"
" "
Ejemplo.
2 1
( 1)
k
k
k
?
#
%
"
es absolutamente convergente, porque la serie de los mdulos
es
2
1
1
k
k
?
#
"
, bien convergente.
Ejemplos triviales de series absolutamente convergentes son las series convergentes de
trminos no negativos, porque en este caso | |
n n
a a #


Definicin. (Convergencia condicional) Una serie convergente pero no absolutamente
convergente se llama condicionalmente convergente.


Ejemplos.
a)
1
( 1)
k
k
k
?
#
%
"
converge pero
1
1
k
k
?
#
"
no converge
b)
2
( 1)
ln
k
k
k
?
#
%
"
converge pero
2
1
ln
k
k
?
#
"
no converge.


Convergencia absoluta implica convergencia


Teorema. Toda serie absolutamente convergente es convergente.
33

Demostracin. Sea la serie absolutamente convergente. Por definicin, esto sig-
nifica que la serie
1
k
k
a
?
#
"
1
k
a
k
?
#
"
es convergente.
Observemos ahora las siguientes desigualdades 0 | | 2| | x x x $ ! $ .
Esto es as porque, cuando x es positivo o nulo, todo se hace trivial al ser | | x x # .
Cuando en cambio x es negativo, | y siendo | | | 0 x = x x # % se tiene
0 ( ) 2| | x x x # ! % @ .
Gracias a estas desigualdades, tenemos
0 | | 2|
n n
a a a |
n
$ ! $
Pero esto significa que la serie es una serie de trminos no negativos,
mayorada adems por la serie convergente
'
1
| |
n n
n
a a
?
#
!
"
(
1
2
n
a
n
?
#
"
.
En virtud de un teorema de comparacin, la serie es convergente. '
1
| |
n n
n
a a
?
#
!
"
(
Ahora bien, como ya lo hemos discutido, la diferencia entre dos series convergentes es
tambin una serie convergente, con lo que resulta convergente
' (
1 1
| |
n n
n n
a a a
? ?
# #
! %
n " "

Pero esto no es otra cosa que
1
n
n
a
?
#
"


Ejemplo. Veamos que la serie
2
1
( )
( 1)
n
n
sen n
n
?
#
%
"
es absolutamente convergente
Ni soar con una alternada, ya que la sucesin
2
senn
n
tiene un comportamiento ms
que irregular. Por fortuna, al considerar la serie de lo mdulos se tiene


2 2
sen
( ) 1
( 1)
n
n
sen n
n n
% #
2
n
$ .
Se tiene as que la serie de los mdulos est mayorada por la serie de trmino general
2
1
n
, bien convergente. El correspondiente teorema de mayoracin nos garantiza la con-
vergencia de la serie de los mdulos, y, en virtud del ltimo teorema, la convergencia
de la serie original.


Criterios de convergencia absoluta
Supngase una serie cualquiera
"
, ya no de trminos no negativos. Los criterios
aplicados a las series de trminos no negativos se aplican, claro est, a las series de la
1
k
k
a
?
#
34
forma
1
k
k
a
?
#
"
|
. Consecuentemente, si por algn medio detectamos la convergencia de
, el teorema anterior nos garantiza la convergencia de
1
|
k
k
a
?
#
"
1
k
k
a
?
#
"
.
N
1
0
a
a
$

Obsrvese en cambio que la divergencia de
1
k
k
a
?
#
"
no obliga a la divergencia de ,
y de esto son testigos todas las series condicionalmente convergentes.
1
k
k
a
?
#
"


Criterios del cociente (criterios de la razn, o criterios de dAlembert)

Por una conveniencia notacional que se apreciar luego, supondremos que la sucesin
comienza con el ndice cero. (esto es solamente a los fines demostrativos).
Tomamos una sucesin de trminos no nulos ( ) y formamos el llamado cociente
de dAlembert
0 n n
a
B
1 n
n
a
a
!
. Con esto en mente, veamos el siguiente:

Criterio de dAlembert (primera forma)

a) Si existe un real ) y un natural tal que para se cumple N n B
1
1
n
n
a
a
)
!
$ @ ,
entonces la serie de trmino general converge absolutamente.
n
a
b) Si existe un natural tal que para se cumple N n N B
1
1
n
n
a
a
!
B ,
entonces la serie diverge
1

Observacin. En cuanto a la condicin a), no debe creerse que sta pueda reempla-
zarse por la condicin ms dbil
1
1
n
n
a
a
!
@ , como lo muestra la serie armnica,
1
1
n
n
?
#
"
,
ya que en este caso
1
1
/
1 1
n n
n
n
!
# J
!
1 @ a a y no obstante la serie no converge.

Demostracin.

a) Es suficiente analizar el caso 0 N # , ya que la supresin de un nmero finito de
trminos no altera la convergencia de una serie. Por hiptesis tenemos
) ;
2
1
a
a
) $ ;
3
2
a
a
) $ ;. . . ;
1
n
n
a
a
)
%
$


1

diverge de la peor manera: el trmino general no tiende a cero.

35
Siendo todos los lados izquierdos positivos, podemos multiplicar los n factores preser-
vando la desigualdad:
3 1 1 2
0 1 2 2 1
n n n
n n
a a a a a
a a a a a
)
%
% %
J J JJJ J J J $
3 1 1 2
0 1 2 2 1
n n n
n n
a a a a a
a a a a a
)
%
% %
J J JJJ J J J $
Y luego de una limpieza:
0
n n
a
a
) @

0
n
n
a a ) @

Dado que es 0 1 ) @ @ , la serie geomtrica de trmino general | |
0
n
a ) J converge, y la
relacin | |
0
| | a a
n
n
) @ nos muestra que esta geomtrica domina a la serie de trminos
positivos de trmino general
n
a , la que resulta convergente por el criterio de compara-
cin.

c) De
1
1
n
n
a
a
!
B surge
1 n
a
!
B
n
a , de donde la sucesin de trmino general
n
a
n
a
, al
ser creciente, no puede tender a cero. Luego tampoco puede tender a cero ,
con lo que la serie original no es convergente al no cumplirse la condicin nece-
saria (Cauchy).

Este criterio es muy utilizado en una versin que involucra un lmite, y se formula como
sigue:

Criterio de dAlembert (segunda forma) Si existe el lmite del cociente de
dAlembert
1
l m (0 )
n
n
n
a
L L
a
!
>?
# $ $ !?
Entonces:
a) 0 implica que la serie 1 L $ @
1
n
n
a
?
#
"
converge absolutamente.
b) implica que la serie 1 L =
1
n
n
a
?
#
"
diverge
(diverge de la peor manera, pues no tiende a cero).
n
a

c) El criterio no suministra informacin. 1 L #

Demostracin.

a) Si es , tomemos cualquier real 0 L $ @1 ) con 1 L ) @ @ . Siendo L ) = , de
36

1
l m
n
n
n
a
L
a
!
>?
#
y la definicin de lmite
(*)
deducimos que existe un natural tal que para todo
se verifica
N n N B
1
1
n
n
a
a
)
!
$ @
Estamos entonces en condiciones de la primera versin del criterio de dAlembert, de
donde se deduce lo deseado.

b) Como es , tomamos ahora cualquier real 1 L = ) que cumpla 1 L ) @ @ . Siendo
L ) @ , nuevamente por la definicin de lmite podemos encontrar un natural tal que
para todo n se cumple
N
N B
1
1
n
n
a
a
)
!
B =
Como es 1 ) = , podemos aplicar lo razonado en la primera versin del criterio de
dAlembert, y b queda probado cuando el lmite es finito. En caso de tener lmite ms
infinito, el lector deber probarlo por sus medios.

c) Considerando el cociente de dAlembert para las series de trmino general
1
n
y
2
1
n
, es fcil ver que en ambos casos el lmite existe y es igual a 1. Pero la primera serie
diverge y la segunda converge.

Observacin. En caso de encontrarnos frente a este caso de indecisin, debemos inves-
tigar la serie por otros medios. Que el criterio no permita decidir no significa que noso-
tros no podamos examinar la serie. Solamente que deberemos hacerlo con otros recur-
sos.

Ejemplos. Mediante los criterios de dAlembert estudiar cada serie
a)
1
( 1)
!
n
n
n
?
#
%
"

Armamos el cociente de dAlembert
1 n
n
a
a
!

1
1
( 1) !
( 1)! ( 1)
n
n
n
n
a n
a n
!
!
%
# J
! %


! !
( 1)! ( 1)
n n
n n
# #
! n ! ! J


1
1 n
#
!


(*)
Si tiene dificultad para comprender esta argumentacin, y luego de un intento personal no ha
podido resolverlo, puede dirigirse a la prueba siguiente, el criterio de Cauchy en su segunda
versin, donde se da un argumento ms detallado.
37
1
1
l m l m 0 1
1
n
n n
n
a
a n
!
>? >?
# # @
!

Estamos en el caso 0 1 ) $ @ del criterio de dAlembert, lo que nos garantiza la conver-
gencia absoluta de la serie.
(**)


b)
7 1
1
( 1)
!
n n
n
n
n
% ?
#
%
"

El cociente de dAlembert es ahora
' (
1
7 6
1
7 1
( 1) 1
!
( 1)! ( 1)
n
n
n
n n
n
n a n
a n
!
!
!
%
% !
# J
! % n


( 1) ( 1)
( 1) !
n
n
n n
n n n
! !
#
!
! n


1
1
n
n
7 8
# !
9 :
; <

Entonces

1
1
lim lim 1
n
n
n n
n
a
e
a n
!
>? >?
7 8
# ! #
9 :
; <

Dado que
1
lim 1
n
n
n
a
e
a
!
>?
# = , el criterio de dAlembert en su segunda forma nos permite
asegura que la serie examinada es divergente.

c)
1
!
n
n
n
e n
n
?
#
"

El cociente de dAlembert es
1
( 1) !
( 1) ( 1)
n n
n
n n
n
a e e n n n
a n n e
!
!
# J
! !
' (
! n


1 1 1
1
n
n n
n e e
e
n n
n n
# # #
! ! 7 8 7 8
!
9 : 9 :
; < ; <
n

En fin:

1
1
1
n
n
n
a e
a
n
!
#
7 8
!
9 :
; <

La sucesin
1
1
n
n
!
; <
7
9
tiende crecientemente al nmero e , con lo cual
8
:

(**)
Comprese este resultado con el trabajo realizado en pginas anteriores al estudiar
1
1
!
n
n
?
#
"
.

38

1
m lim 1
1
1
n
n
n n
n
a e
a
n
!
>? >?
li # #
7 8
!
9 :
; <


El criterio de dAlembert en su segunda forma nos dice: No hay informacin. Pero no
todo est perdido. Siendo
1
1
n
e
n
! @
; <
7 8
9 :
, se tiene
1
1
1
1
n
n
n
a e
a
n
!
# =
7 8
!
9 :
; <

De ac deducimos que
1 n
a
!
=
n
a , o sea que la sucesin de nmeros positivos
n
a es
creciente, con lo cual no puede tender a cero. Consecuentemente tampoco puede tender
a cero la sucesin a , con lo que la serie no converge.
n
Observacin. En realidad pudimos aplicar el criterio de dAlembert en su primera
versin ( sin lmite) , pero de manera intencional hemos querido llevar de paseo al lec-
tor, para ayudarlo a evitar la popular enfermedad que padecen los aplicadores de crite-
rios. De hecho, hemos reproducido el argumento utilizado al razonar aquel criterio.

39
Criterios de la raz ensima.


Criterio de la raz ensima, primera versin.

Dada una sucesin ' (
0
n
n
a
B
de nmeros reales
a) Si para todo es n N B | |
n
n
a ) 1 $ @ , entonces
1
k
k
a
?
#
"
converge absolutamente
b) Si para infinitos valores de n | |
n
n
a B1, entonces
1
k
k
a
?
#
"
diverge.
Demostracin.
a) | |
n
n
a ) $ es lo mismo que | |
n
n
a ) $ . Esto nos dice que la serie
k
k N
a
?
#
"
est ma-
yorada por la serie geomtrica
k
k N
)
?
#
"
, que es convergente al ser 0 1 ) $ @ . En virtud
del criterio de comparacin,
k
a
k N
?
#
"
k
a
converge, lo que prueba la convergencia absoluta
de , y por ende la de
"
.
k
k N
a
?
#
"
1 # k
?
b) Si para infinitos valores de n es | |
n
n
a B1, tambin para esos infinitos valores
ser 1
n
a B , con lo cual la sucesin a no puede tender a cero, condicin necesaria para
la convergencia de cualquier clase de serie.
n

La siguiente es una versin del criterio de la raz que involucra un lmite.

Criterio de la raz ensima de Cauchy, segunda versin.

En las mismas condiciones que anteriormente, supngase que existe

lim (0 )
n
n
n
a L L
>?
# $ $ !?
1

Entonces

a) implica 0 L $ @
0
k
k
a
?
#
"
converge
b) (incluido ) implica 1 L = L # !?
0
k
k
a
?
#
"
diverge
c) Si el criterio no suministra informacin 1 L #

Demostracin.

a) Comenzaremos con el caso 0 1 L @ @ .
Sea ) un nmero tal que 1 L ) @ @ .En virtud de la definicin de lmite,
para valores suficientemente avanzados de n, se cumplir 1
n
n
a ) $ @
40
Aplicamos entonces la versin original de criterio de la raz ensima, recientemente
demostrado.
Si le queda alguna duda: en el intervalo (zona negra) de la figura debe caer
n
n
a para
casi todo valor de n.
El caso no es demasiado distinto, y el lector le dedicar su atencin. 0 L #



)
) (
0 L 1


b) Sea ahora ) un nmero tal que 1 L ) @ @ . En virtud de la definicin de lmite,
existe un tal que si , entonces N n N B 1 =
n
n
a ) B . Ahora razonamos como en la
primera versin del criterio de la raz ensima, y termina la prueba de b) para el caso de
lmite finito. El caso de lmite ms infinito queda a cargo del lector.


( )
1
)
L 0



c) Los mismos ejemplos que los del criterio de la razn de dAlembert son tiles ac,
habida cuenta que lim 1
n
n
n
>?
# y
2
lim 1
n
n
n
>?
# .

Ejemplos.

a)
0
( 1)
3
n
n
n
n
?
#
%
"

Si es
( 1)
3
n
n n
n %
# a , entonces ser
( 1)
3 3
n
n n
n n
a
%
n
# # con lo que
3 3
n
n n
n n
n n
a # #
1
lim lim 1
3 3
n
n
n
n n
n
a
>? >?
# # @
Siendo
1
1
3
@ , el criterio de la raz ensima nos garantiza la convergencia absoluta de la
serie estudiada.
b) Sean y definimos 0 s t @ @ @1
si n impar
si n par
n
n
n
s
a
t
,
#
-
.
Estudiar
"

1
n
n
a
?
#
si n impar
si n par
n
n
s
a
t
,
#
-
.

En consecuencia, no existe lim
n
n
n
a
>?
. Sin embargo, como para todo n es
1
n
n
a t $ @ ,
41
el criterio de la raz ensima en su versin sin lmite, nos garantiza que la serie exami-
nada converge.


Nociones elementales sobre las series de potencias

Llamamos serie de potencias a cualquier serie de la forma
2
0 1 2
0
k n
k n
k
a x a a x a x a x
?
#
# ! ! ! ! !
"
" "
Los a se llaman los coeficientes de la serie de potencias. Ms generalmente, si a es un
nmero fijo, la serie
k
2
0 1 2
0
( ) ( ) ( ) ( )
k n
k n
k
a x a a a x a a x a a x a
?
#
% # ! % ! % ! ! % !
"
" "
se llama serie de potencias en x a % . Cuando es 0 a # , se tiene la primera serie, lla-
mada por lo mismo serie de potencias en x
Haciendo el cambio de variable t x a # % , esta segunda serie toma el aspecto
2
0 1 2
0
k n
k n
k
a t a a t a t a t
?
#
# ! ! ! ! !
"
" ",
enteramente idntico a la primera serie. Por esta razn, el estudio de las series con este
ltimo aspecto permite conocer lo esencial.

Ejemplos
a)
"

2
0
1
k n
k
x x x x
?
#
# ! ! ! ! ! " "
b)
2 3
0
1 1 1 1
( 2) 1 ( 2) ( 2) ( 2) ( 2)
! 2 3! !
k n
k
x x x x x
k n
?
#
% # ! % ! % ! % ! % !
"
" "
c)
2 3
1
( 1) 1 1 ( 1)
( 2) ( 2) ( 2) ( 2) ( 2)
2 3
k n
k n
k
x x x x x
k n
?
#
% %
% # % % ! % % % ! % !
"
" "


El intervalo de convergencia

Interesa conocer para qu valores de la variable x es convergente una serie de poten-
cias. Si hacemos , nos podemos preguntar cul es
el dominio natural
2
0
( ) 1
k
k
S x x x x
?
#
# # ! ! ! !
"
n
" x ! "
2
de esta funcin. Este dominio, obviamente, coincide con el conjunto
de todos los x para los cuales la serie es convergente. En este particular caso, el domi-
nio natural es el intervalo ( 1,1) %

En una serie de potencias
, el dominio natu-
ral es o bien { , , o bien intervalos de alguna de las formas [ ,
2
0 1 2
0
( ) ( ) ( ) ( ) ( )
k n
k n
k
S x a x a a a x a a x a a x a
?
#
# % # ! % ! % ! ! %
"
"
} a '
!"
] a a K K % ! ,

2
Por dominio natural de una funcin entendemos el ms grande conjunto donde ella est bien
definida.
42
[ , a a ) K K % ! , ( , ] a a K K % ! , ( , ) a a K K % ! donde K es un nmero que depende sola-
mente de los coeficientes de la serie. Obsrvese que, excepcin hecha de los bordes,
todos estos intervalos son simtricos alrededor de a.
} a
k
x
k
n
n
x
a
n
n
n
x
x
n n
# #
n
n
n
n
n
x x
n n
# #
x
m
n
>?
li
n
a x
Si aceptamos, como es comn, llamar intervalo a ( , ) %? !? y tambin a un conjunto
unitario { (intervalo degenerado en un punto, o simplemente intervalo degenerado),
entonces todos los conjuntos aludidos son intervalos. Para cada serie hay asociado uno
de estos intervalos, llamado intervalo de convergencia.

La demostracin de este hecho est fuera del alcance de este curso. Nos concentraremos
en el problema de estudiar el intervalo de convergencia.

Problemas.

a) Hallar el intervalo de convergencia de
1 k
?
#
"
, estudiando dnde la convergencia
es absoluta, y de haberla, dnde es condicional. A medida que se va progresando en el
anlisis, representar en la recta las regiones halladas. Dar un grfico final que ilustre
las regiones de convergencia absoluta, de convergencia condicional si la hay, y de di-
vergencia si la hay.
Hacemos # ,
n
a
a

Sabemos que para aquellos valores de para los que lim 1
n
n
n
a
>?
@ , la serie ser conver-
gente, mientras para aquellos valores que hagan li 1
n
n
a = , la serie ser divergente.
Cuando sea m 1
n
n
a
>?
# , tendremos que estudiar la serie resultante con otros recursos.
Como es sabido , l m 1
n
n
n
>?
# , luego
lim lim
n
n
n
n n
x
n
>? >?
# #
Estudiamos ahora los valores de | | x
a) para 1 x @ , la serie converge absolutamente: lim 1
n
n
n
a
>?
@ .




1

)$$*$$+
convergencia absoluta
en el interior
(
)
1 %




b) cuando 1 x = , la serie es divergente: li m 1
n
n
n
a
>?
=
43

1
) (
)$$$$*$$$$+
ac la serie diverge
1 %
)$$$*$$$+
ac la serie diverge





Ya vamos formndonos una idea. Sabemos que hay convergencia absoluta en el interva-
lo abierto . Sabemos tambin que la serie diverge en las semirrectas y
.Solamente nos queda por examinar los puntos que producen indecisin al apli-
car el criterio de la raz ensima de | . Los tenemos que estudiar a mano, y es el caso
( 1,1) % ( , 1) %? %
(1, ) !?
|
n
a
c) 1 x #
Estudiamos ahora las series correspondientes a los valores que hacen 1 x #
& Para 1 x # tenemos la serie
1
1
k
k
?
#
"
, la conocida serie armnica, que diverge
& Para producimos la serie 1 x # %
1
( 1)
kl
k
k
?
#
%
"
, conocida serie alternada convergen-
te, lo que se garantiza aplicando el criterio de Leibniz para series alternadas.
Como es fcil ver, esta serie es condicionalmente convergente.

En fin, el intervalo de convergencia ha resultado ser [ 1,1) % , resaltando que la conver-
gencia es absoluta en su interior y condicional en 1 % .








1 %
)$$$$*$$$$+
ac la serie diverge
)$$$$*$$$$+
ac la serie diverge

)
[

)$$$*$$$+
convergencia
absoluta en el interior
1
1 x # %
[

,Convergencia condicional
en
b) Hallar el intervalo de convergencia de ' (
1
( 1)
3
!
k
k
k
x
k
?
#
%
%
"


Poniendo '
( 1)
3
!
n
n
n
a x
n
%
# % ( , ser
1
3
!
n
n
a x
n
# %
Pero antes de hacer el cociente de dAlembert, debemos observar que este no est defi-
nido para . Por otra parte, como es fcil ver, en 3 x # 3 x # la serie es convergente.
Hecha esta observacin, ponemos entonces
1 n
n
a
a
!
con la salvedad de que es . 3 x 6
1
1 3 3 ! 3
1
( 1) ! 3
n
n
n
n
a x x n x
a n
n n x
!
% % %
# #
!
! %


1
3
lim lim 0 1
1
n
n n
n
a x
a n
!
>? >?
%
# #
!
@
44
Como este lmite no depende del tamao de x , el criterio de dAlembert nos permite
asegurar que la serie converge en toda la recta real, siendo esta convergencia absoluta.

c) Estudiar la convergencia de
1
( 2)
( 1)3
n
n
k
n x
n
?
#
%
!
"

Poniendo
( 2)
( 1)3
n
n n
n x
a
n
%
#
!
, observamos que la serie converge para . El cociente
de dAlembert est bien definido solamente para
2 x #
2 x 6 , en cuyo caso se tiene
1
( 1) 2 2( 1)3
( 2)33 2
n
n
n
n
n
n
n x x n a
a
n n x
!
! % % !
#
! %


2
( 1) 1
2
( 2) 3
n
x
n n
!
# J J %
!


1
2
l m
3
n
n
n
x a
a
!
>?
%
#
Aplicando el criterio de dAlembert, la serie converge absolutamente para los x ta-
les que 2 x % @ 3 , o sea para ( 1,5) xA % .
Tambin diverge cuando 2 x % = 3, o sea en las semirrectas ( , 1) %? % y . (5, ) !?
El criterio falla cuando es 2 x % # 3, o sea en 1 x # % y en 5 x # .
Cuando , tenemos la serie 1 x # %
1
( 1)
1
n
n
n
n
?
#
%
!
"
, divergente porque el trmino general
no tiende a cero.
Para , la serie resulta 5 x #
1
1
n
n
n
?
#
!
"
, nuevamente divergente por la misma razn. En
fin, la serie converge absolutamente en el intervalo ( 1,5) % , y diverge fuera.

Observacin. El lector inquieto debiera comprobar que mucho ms expeditivo
hubiera sido emplear el criterio de la raz ensima del mdulo de la sucesin exami-
nada. Lo har?





http://www.rinconmatematico.com.ar/bunge/series/serieshtm/series.htm
http://www.rinconmatematico.com.ar/bunge/series/seriespdf/series.pdf
Mario Augusto Bunge http://www.rinconmatematico.com