w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAPTULO
TEOREMA DE ABEL 5
Toda la obra de Abel lleva impreso el sello de una genialidad y fuerza
de pensamiento que es inusual y a veces asombrosa, aunque no
tomara en cuenta la juventud del autor. Se puede decir que era capaz
de penetrar todos los obstculos hasta llegar al fondo de los problemas,
con una fuerza que pareca irresistible; l atacaba los problemas con
una energa extraordinaria. . .
AUGUST L. CRELLE
E
n este corto captulo estudiamos dos teoremas relacionados con la
convergencia de series de la forma
P
a
n
b
n
(como en el caso de las
series alternadas). Los dos resultados se basan sobre una bonita y aparente-
mente inocente frmula demostrada por Abel en 1826.
FRMULA DE ABEL
Dadas las sucesiones {a
n
] y {b
n
], consideremos {s
n
] la sucesin de sumas
parciales de {a
n
]. Por denicin tenemos
a
1
b
1
= s
1
b
1
y
a
1
b
1
a
2
b
2
= s
1
b
1
a
2
b
2
= s
1
b
1
a
1
b
2
a
1
b
2
a
2
b
2
= s
1
b
1
s
1
b
2
s
2
b
2
= s
1
.b
1
b
2
/ s
2
b
2
:
93
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
94 Fernando Mejas
Anlogamente
a
1
b
1
a
2
b
2
a
3
b
3
= s
1
.b
1
b
2
/ s
2
b
2
a
3
b
3
= s
1
.b
1
b
2
/ s
2
b
2
a
1
b
3
a
2
b
3
a
1
b
3
a
2
b
3
a
3
b
3
= s
1
.b
1
b
2
/ s
2
b
2
.a
1
a
2
/b
3
.a
1
a
2
a
3
/b
3
= s
1
.b
1
b
2
/ s
2
b
2
s
2
b
3
s
3
b
3
= s
1
.b
1
b
2
/ s
2
.b
2
b
3
/ s
3
b
3
:
Continuando de esta forma obtenemos en general
a
1
b
1
a
n
b
n
= s
1
.b
1
b
2
/ s
2
.b
2
b
3
/ s
n1
.b
n1
b
n
/ s
n
b
n
:
Sean {a
n
] y {b
n
] dos sucesiones y denotemos por {s
n
] la sucesin de sumas parciales TEOREMA 1
de {a
n
]. Entonces, para todo n se cumple la igualdad
(+)
n
X
kD1
a
k
b
k
=
n1
X
kD1
s
k
.b
k
b
kC1
/ s
n
b
n
:
La demostracin consiste en un clculo simple: DEMOSTRACIN
n1
X
kD1
s
k
.b
k
b
kC1
/ s
n
b
n
= s
1
.b
1
b
2
/ s
2
.b
2
b
3
/
s
n1
.b
n1
b
n
/ s
n
b
n
= s
1
b
1
.s
2
s
1
/b
2
.s
3
s
2
/b
3

.s
n1
s
n2
/b
n1
.s
n
s
n1
/b
n
= a
1
b
1
a
2
b
2
a
n
b
n
:
La ecuacin (+) es conocida como la frmula de sumacin parcial de
Abel, denominacin sugerida por la semejanza con la frmula de integracin
por partes, sobre todo si las sumas se interpretan como integrales y las dife-
rencias como diferenciales y escribimos
n
X
kD1
b
k
a
k
= s
n
b
n

n1
X
kD1
s
k
.b
kC1
b
k
/:
En realidad la semejanza es mucho ms profunda que un simple parecido
tipogrco y, en efecto, la frmula de Abel puede utilizarse para demostrar
algunas identidades sobre integrales. Una discusin muy interesante sobre
este particular, asociando la frmula de Abel con sumas de Riemann, se
encuentra en el Problema 19-35 de Calculus por M. Spivak.
En realidad, la forma en que se utiliza la frmula de Abel, tanto en el
caso de integrales como el de series, es mediante el siguiente resultado.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
5. Teorema de Abel 95
Sean {a
n
] y {b
n
] dos sucesiones, tal que {b
n
] es no creciente y b
n
_ 0 para todo n. LEMA 2
(LEMA DE
ABEL)
Supongamos que existen m y M tales que
m _ a
1
a
n
_ M
para todo n. Entonces
b
k
m _ a
k
b
k
a
n
b
n
_ b
k
M
para todo k _ n.
Notemos que DEMOSTRACIN
mb
1
= mb
1
mb
2
mb
2
mb
n1
mb
n1
mb
n
mb
n
= m.b
1
b
2
/ m.b
2
b
3
/ m.b
n1
b
n
/ mb
n
y, similarmente
Mb
1
= M.b
1
b
2
/ M.b
2
b
3
/ M.b
n1
b
n
/ Mb
n
:
Si {s
n
] denota la sucesin de sumas parciales de {a
n
], por hiptesis
tenemos que
m _ s
j
_ M para todo j .
Puesto que {b
n
] es no creciente se cumple que b
j 1
b
j
_ 0 para
todo j . Luego
m.b
j 1
b
j
/ _ s
j
.b
j 1
b
j
/ _ M.b
j 1
b
j
/ para todo j .
Entonces
m
n1
X
j D1
.b
j 1
b
j
/ mb
n
_
n1
X
j D1
s
j
.b
j 1
b
j
/ s
n
b
n
_ M
n1
X
j D1
.b
j 1
b
j
/ Mb
n
;
es decir
mb
1
_
n1
X
j D1
s
j
.b
j 1
b
j
/ s
n
b
n
_ Mb
1
:
Usando la frmula de Abel tenemos que
mb
1
_
n
X
j D1
a
j
b
j
_ Mb
1
:
Finalmente, dado el nmero natural k, aplicamos este resultado a las suce-
siones {a
k
; a
kC1
; : : : ] y {b
k
; b
kC1
; : : : ], obteniendo
mb
k
_
n
X
j D1
a
j
b
j
_ Mb
k
:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
96 Fernando Mejas
CRITERIO DE DIRICHLET
A continuacin presentamos una consecuencia del Lema de Abel que fue
demostrada por Dirichlet.
Sean {a
n
] una sucesin cuyas sumas parciales estn acotadas y {b
n
] una sucesin TEOREMA 3
(CRITERIO DE
DIRICHLET)
no creciente con lim
n!1
b
n
= 0. Entonces la serie
1
X
nD1
a
n
b
n
converge.
Supongamos que DEMOSTRACIN
m _ a
1
a
n
_ M
para todo n. Entonces, por el lema de Abel tenemos
b
k
m _ a
k
b
k
a
n
b
n
_ b
k
M
para todo k _ n.
Puesto que lim
n!1
b
n
= 0, entonces
lim
k;n!1
.a
k
b
k
a
n
b
n
/ = 0;
y por el criterio de Cauchy tenemos que
P
a
n
b
n
converge.
Un corolario del teorema de Dirichlet es el criterio de Leibniz. En efecto, EJEMPLO 4
consideremos la serie alternada
1
X
nD1
.1/
nC1
b
n
;
donde {b
n
] es una sucesin no creciente que converge hacia 0. Entonces
si a
n
= .1/
nC1
, tenemos que la sucesin de sumas parciales de {a
n
] es
{1; 0; 1; 0; 1; 0; : : : ]; y est acotada. Entonces
P
.1/
nC1
b
n
converge.
La serie
1
X
nD1
sen.n=2/
n
es condicionalmente convergente. EJEMPLO 5
Primero notemos que la sucesin {[ sen.n=2/=n[] es

1; 0;
1
3
; 0;
1
5
; 0; : : : ; 0;
1
2n 1
; 0; : : :

y por tanto la serie

P
[ sen.n=2/=n[ diverge.
Por otro lado tenemos que si a
n
= sen.n=2/, entonces la sucesin
de sumas parciales {1; 1; 0; 0; 1; 1; : : : ] es obviamente acotada y puesto que
b
n
= 1=n es no creciente y tiende a 0, por el criterio de Dirichlet tenemos
que
P
sen.n=2/=n converge.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
5. Teorema de Abel 97
CRITERIO DE ABEL
Concluimos este captulo con un corolario del criterio de Dirichlet, el cual
fue demostrado por Abel en 1826 (y cuya prueba original debe haber sido
algo diferente).
Supongamos que
1
X
nD1
a
n
converge y que {b
n
] es una sucesin la cual es o bien no cre- TEOREMA 6
(CRITERIO DE
ABEL)
ciente o bien no decreciente cuyas sumas parciales estn acotadas. Entonces
1
X
nD1
a
n
b
n
converge.
Supongamos que la sucesin {b
n
] es no decreciente. Como las sumas par- DEMOSTRACIN
ciales de {b
n
] estn acotadas, tenemos que tambin {b
n
] est acotada y,
por tanto, converge hacia un lmite b. Consideremos la sucesin dada por

n
= b b
n
. Entonces {
n
] es no creciente y converge hacia 0. Por otro
lado, la convergencia de
P
a
n
implica que sus sumas parciales estn aco-
tadas, entonces por el criterio de Dirichlet tenemos que
P
a
n

n
converge.
Pero
a
n

n
= a
n
.b b
n
/ = a
n
b a
n
b
n
;
de donde
a
n
b
n
= a
n
b a
n

n
:
Entonces la convergencia de
P
a
n
y
P
a
n

n
implican que
P
a
n
b
n
con-
verge.
Si la sucesin {b
n
] es no creciente podemos proceder de forma anloga,
pero usando
n
= b
n
b.