You are on page 1of 12

w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
CAPTULO
CONVERGENCIA
ABSOLUTA 4
Las primeras lecturas matemticas de Leibniz fueron principalmente
sobre geometra, pero l tuvo otros intereses. . . Uno de los frutos
de su estudio de problemas sobre cuadraturas fue el Tetragonismo
Aritmtico, en el cual hall que el rea de un crculo es cuatro
veces la serie innita 1
1
3
C
1
5

1
7
C . Estas consideraciones
formales y aritmticas se iban a combinar ahora en una forma
interesante con la geometra. . .
CARL B. BOYER
L
o extenso del Captulo 3, que trata de series de trminos no negativos,
est justicado por un comentario que aparece al inicio del mismo
(sobre un hecho que an no hemos probado) y que ahora repetimos: para
una sucesin {a
n
] cualquiera, la convergencia de la serie
P
[a
n
[ implica la
convergencia de
P
a
n
. Sin embargo, como es de esperar no todo puede
resumirse a series de trminos positivos, entre otros motivos porque el
recproco de esta proposicin no es cierto.
CRITERIO DE LEIBNIZ
Ahora ha llegado el momento de ampliar el panorama considerando series
cuyos trminos no necesariamente tienen el mismo signo. En primer lugar
tenemos la situacin obvia en la que todos los trminos de la serie
P
a
n
son no positivos y basta considerar la serie
P
.a
n
/. As pues, los casos
realmente interesantes surgen cuando lgunos trminos de la serie son po-
sitivos y otros negativos. En realidad, puesto de esa forma el problema pasa
a ser entonces muy complejo, y es conveniente enfocarse primero en una
localidad sencilla dentro de este escenario. En primer lugar consideramos
series de la forma
a
1
a
2
a
3
a
4

81
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
82 Fernando Mejas
o
1
X
nD1
.1/
nC1
a
n
, donde a
n
_ 0 para todo n. Una serie de este tipo se
denomina alternada. Un teorema de Leibniz garantiza la convergencia de
una serie alternada
P
.1/
nC1
a
n
bajo algunas hiptesis sobre la sucesin
{a
n
].
Sea {a
n
] una sucesin no creciente tal que lim
n!1
a
n
= 0. Entonces la serie alternada TEOREMA 1
(CRITERIO DE
LEIBNIZ)
1
X
nD1
.1/
nC1
a
n
converge.
Sea {s
n
] la sucesin de sumas parciales de {a
n
]. Si {s
2n
] y {s
2nC1
] son las DEMOSTRACIN
subsucesiones de {s
n
] formadas por los trminos de ndice par e ndice
impar respectivamente, tenemos que {s
2n
] es no decreciente y {s
2nC1
] es
no creciente. En efecto tenemos
s
2nC2
= s
2n
a
2nC1
a
2nC2
:
Pero por hiptesis {a
n
] es no creciente, entonces a
2nC1
a
2nC2
_ 0, de
donde
s
2nC2
_ s
2n
:
Anlogamente tenemos
s
2nC3
= s
2nC1
a
2nC2
a
2nC3
_ s
2nC1
:
En general tenemos que
s
2k
_ s
2j C1
; para todo k y j:
De tal manera que la sucesin {s
2n
] est acotada superiormente (por ejem-
plo s
1
es una cota superior) y es por tanto convergente. Similarmente tene-
mos que {s
2nC1
] tambin converge. Sean
= lim
n!1
s
2n
y = lim
n!1
s
2nC1
:
Entonces
= lim
n!1
s
2nC1
lim
n!1
s
2n
= lim
n!1
.s
2nC1
s
2n
/ = lim
n!1
a
2nC1
= 0;
es decir = . Por tanto
lim
n!1
s
n
= = :
Probablemente el ejemplo ms clsico de aplicacin del criterio de Leibniz EJEMPLO 2
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4. Convergencia Absoluta 83
es la serie armnica alternada:
1
X
nD1
.1/
nC1
n
;
la cual es convergente.
FIGURA 1. Retrato de Gottfried Wilhelm Leibniz.
Notemos que la serie
X

.1/
nC1
n

=
X
1
n
es divergente.
Es interesante el hecho que se han desarrollado diversas tcnicas para
explotar detalles de esta serie en particular. Por ejemplo, existen varias
pruebas de la igualdad:
1
X
nD1
.1/
nC1
n
= log 2:
Muy similares al ejemplo anterior tenemos los siguientes.
La serie
1
X
nD1
.1/
nC1
_
n
; es convergente. Si escribimos a
n
= 1=
_
n tenemos EJEMPLO 3
que {a
n
] es decreciente y obviamente a
n
0 cuando n o, entonces
por el criterio de Leibniz la serie dada converge.
Consideremos la serie
1
X
nD1
.1/
nC1

1 cos
1
n

: En este caso escribimos EJEMPLO 4


a
n
= 1cos 1=n. Para demostrar que esta sucesin es decreciente tomemos
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
84 Fernando Mejas
f.x/ = 1 cos 1=x para x > 0. Luego para x sucientemente grande tene-
mos
f
0
.x/ =
1
x
2
sen

1
x

< 0;
es decir, f es decreciente. Adems lim
n!1
.1 cos 1=n/ = 0, entonces el
criterio de Leibniz implica que
1
X
nD1
.1/
nC1

1 cos
1
n

converge.
La serie
1
X
nD1
.1/
nC1

2
arctg.log n/

converge. Si denimos la funcin EJEMPLO 5


f por f.x/ =

2
arctg.log x/ para x > 0, tenemos
f
0
.x/ =
1
x.1 log
2
x/
< 0 para todo x > 0:
Entonces la sucesin {=2 arctg.log n/] es decreciente. Por otro lado
tenemos
lim
n!1

2
arctg.log n/

2
lim
n!1
arctg.log n/ =

2
= 0:
Entonces, por el criterio de Leibniz tenemos que la serie dada es con-
vergente.
CONVERGENCIA ABSOLUTA
En un par de ocasiones hemos mencionado que la convergencia de la serie
P
[a
n
[ implica la convergencia de
P
a
n
, ahora lleg el momento de probar
tal armacin, pero antes notemos el hecho de que la proposicin rec-
proca no es cierta (ver el Ejemplo 2), motivo por el cual se establece una
terminologa que permite diferenciar lo distintos casos: si la serie
1
X
nD1
[a
n
[
converge, decimos que
1
X
nD1
a
n
converge absolutamente. Por otro lado, si
1
X
nD1
a
n
converge y
1
X
nD1
[a
n
[ diverge, decimos que la serie
1
X
nD1
a
n
es condicio-
nalmente convergente. As tenemos el resultado tantas veces anunciado.
Si la serie
1
X
nD1
a
n
converge, entonces la serie
1
X
nD1
[a
n
[ tambin converge y TEOREMA 6

1
X
nD1
a
n

_
1
X
nD1
[a
n
[:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4. Convergencia Absoluta 85
Sean {s
n
] y {t
n
] las sucesiones de sumas parciales de {a
n
] y {[a
n
[] respecti- DEMOSTRACIN
vamente. Por hiptesis tenemos que {t
n
] converge, entonces de acuerdo al
criterio de Cauchy tenemos
lim
n;m!1
.t
n
t
m
/ = 0;
es decir
lim
n;m!1
.[a
mC1
[ [a
n
[/ = 0:
Por la desigualdad triangular obtenemos que
[a
mC1
a
n
[ _ [a
mC1
[ [a
n
[:
Por tanto
lim
n;m!1
.s
n
s
m
/ = lim
n;m!1
.a
mC1
a
n
/
_ lim
n;m!1
.[a
mC1
[ [a
n
[/ = 0;
luego, la serie
P
a
n
es convergente y

lim
n!1
s
n

_ lim
n!1
t
n
;
es decir

1
X
nD1
a
n

_
1
X
nD1
[a
n
[:
La serie
1
X
nD1
sen.n/
n
s
converge absolutamente para todo y para todo s > 1. EJEMPLO 7
En efecto, tenemos
sen.n/
n
s
_
1
n
s
;
entonces por el criterio de comparacin y el Ejemplo 3-39 la serie
1
X
nD1

sen.n/
n
s

=
1
X
nD1
[ sen.n/[
n
s
converge.
Una forma de analizar una serie
P
a
n
es considerar dos nuevas series
P
a
C
n
y
P
a

n
formadas por los trminos no negativos la primera y por los
no positivos la segunda. Formalmente, dada la sucesin {a
n
] denimos las
sucesiones {a
C
n
] y {a

n
] por
a
C
n
=
(
a
n
; si a
n
_ 0
0; si a
n
_ 0;
y a

n
=
(
0; si a
n
_ 0
a
n
; si a
n
_ 0:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
86 Fernando Mejas
Entonces
a
C
n
=
a
n
[a
n
[
2
y a

n
=
a
n
[a
n
[
2
:
La convergencia de las series
P
a
C
n
y
P
a

n
est ligada a la convergencia de
P
a
n
por el siguiente teorema.
La serie
1
X
nD1
a
n
es absolutamente convergente si y slo si las series
1
X
nD1
a
C
n
y
1
X
nD1
a

n
TEOREMA 8
convergen ambas.
Supongamos que la serie
P
[a
n
[ converge, entonces
P
a
n
tambin con- DEMOSTRACIN
verge (por el Teorema 6) y
X
a
C
n
=
1
2
X
.a
n
[a
n
[/ =
1
2

X
a
n

X
[a
n
[

;
es por tanto convergente. Anlogamente tenemos que
X
a

n
=
1
2

X
a
n

X
[a
n
[

tambin converge.
Ahora supongamos que
P
a
C
n
y
P
a
C
n
convergen. Entonces
X
[a
n
[ =
1
2
X
.a
C
n
a

n
/ =
1
2

X
a
C
n

X
a

converge.
REORDENACIN DE SERIES
En esta seccin exploramos ms profundamente la fuerza del concepto de
convergencia absoluta. Dada una sucesin cualquiera {a
n
] producimos una
nueva sucesin {b
n
] reordenando los trminos de la primera y luego com-
paramos las dos series
P
a
n
y
P
b
n
.
En este esquema encontramos dos resultados notables. En primer lu-
gar resulta que si la serie
P
a
n
es absolutamente convergente, cualquier
reordenacin tambin lo es, mientras que si
P
a
n
es condicionalmente
convergente podemos encontrar una gran variedad de reordenaciones que
convergen hacia lmites arbitrarios. Antes de establecer estos teoremas for-
malmente debemos denir con rigor la nocin de reordenacin y para ello
empezamos por reordenar los nmeros naturales: una permutacin es una
funcin biyectiva : N N; es decir para cada k N existe un n N tal
que .n/ = k y si n; m N, n = m entonces .n/ = .m/.
Si {a
n
] es una sucesin cualquiera entonces una reordenacin de {a
n
]
es una sucesin {b
n
] de la forma
b
n
= a
.n/
;
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4. Convergencia Absoluta 87
siendo una permutacin (es decir b = a ).
Si
1
X
nD1
a
n
es una serie absolutamente convergente y
1
X
nD1
b
n
es una reordenacin cual- TEOREMA
quiera de
1
X
nD1
a
n
, entonces
1
X
nD1
b
n
tambin converge absolutamente y
1
X
nD1
b
n
=
1
X
nD1
a
n
:
Sean una permutacin y b
n
= a
.n/
una reordenacin de {a
n
]. Si {T
n
] DEMOSTRACIN
denota la sucesin de sumas parciales de {[b
n
[] tenemos que
T
k
_
1
X
nD1
[a
n
[ para todo k:
Entonces por el criterio de acotacin tenemos que
P
[b
n
[ converge, es de-
cir, la serie
P
b
n
converge absolutamente.
Denotemos por {s
n
], {S
n
] y {t
n
] las sucesiones de sumas parciales de
{a
n
], {[a
n
[] y {b
n
], respectivamente. Dado " > 0 existe un nmero natural
N tal que

s
n

1
X
nD1
a
n

<
"
2
y

S
n

1
X
nD1
[a
n
[

<
"
2
:
Tomemos M N tal que
{1; 2; : : : ; N] _ {.1/; .2/; : : : ; .M/]:
Entonces para todo n _ M se cumple

t
n

1
X
nD1
a
n

t
n
s
n
s
n

1
X
nD1
a
n

_ [t
n
s
n
[

s
n

1
X
nD1
a
n

;
luego

t
n

1
X
nD1
a
n

_ [t
n
s
n
[
"
2
:
Adems tenemos
[t
n
s
n
[ =

n
X
j D1
b
j

N
X
j D1
a
j

n
X
j D1
b
.j /

N
X
j D1
a
j

n
X
j DNC1
a
j

de donde
[t
n
s
n
[ _
n
X
j DNC1
[a
j
[ =

N
X
j D1
[a
j
[
1
X
nD1
[a
n
[

<
"
2
:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
88 Fernando Mejas
Entonces tenemos que para todo n, si n _ M se cumple

t
n

1
X
nD1
a
n

< ";
es decir
1
X
nD1
b
n
=
1
X
nD1
a
n
:
Una versin un poco ms dbil del teorema anterior fue demostrada
por el famoso especialista en Anlisis y Teora de Nmeros de origen alemn
Peter Gustav Lejeune Dirichlet en el ao 1837, aunque el resultado en s
era conocido con anterioridad, particularmente por Cauchy (ver el libro
de Hardy [3], p. 347).
Si
1
X
nD1
a
n
es una serie de trminos no negativos convergente y
1
X
nD1
b
n
es una reor- TEOREMA 10
(TEOREMA DE
REORDENACIN
DE DIRICHLET)
denacin cualquiera de
1
X
nD1
a
n
, entonces
1
X
nD1
b
n
tambin converge absolutamente
y
1
X
nD1
b
n
=
1
X
nD1
a
n
:
FIGURA 2. Retrato de Peter Gustav Lejeune Dirichlet.
Ahora supongamos que
P
a
n
es una serie condicionalmente conver-
gente y x un nmero cualquiera. A continuacin presentamos la estrategia
de juego elaborada por Riemann que consiste en rodear a x con trminos
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4. Convergencia Absoluta 89
de la serie, de tal forma que construyamos una reordenacin {b
n
] de {a
n
]
con
P
b
n
= x.
Sabemos que
P
a
C
n
diverge, entonces x no puede ser cota superior
de las sumas parciales de {a
C
n
], entonces hallamos el primer trmino de
{a
C
n
] tal que la correspondiente suma parcial sobrepasa a x. Anlogamente
usamos el hecho de que
P
a

n
diverge para hallar el primer trmino de
{a

n
] tal que al sumar la correspondiente suma parcial al agregarlo a la
suma anterior resulte un nmero menor que x, y seguidamente se repite el
procedimiento con {a
C
n
].
FIGURA 3. Retrato de Bernard Riemann.
De esta manera logramos atrapar a x. El siguiente teorema de Rie-
mann establece formalmente esta discusin.
Sean
1
X
nD1
a
n
una serie condicionalmente convergente y x un nmero real cualquiera. TEOREMA 11
(TEOREMA DE
REORDENACIN
DE RIEMANN)
Entonces existe una reordenacin
1
X
nD1
b
n
de
1
X
nD1
a
n
, tal que
1
X
nD1
b
n
= x:
Como
P
a
n
es condicionalmente convergente tenemos que las series
P
a
C
n
DEMOSTRACIN
y
P
a

n
son ambas divergentes (Teorema 7). Sea n
1
el nmero de trminos
de {a
C
n
] tal que
n
1
X
nD1
a
C
n
> x; pero
p
X
nD1
a
C
n
< x si p < n
1
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
90 Fernando Mejas
Sea m
1
el nmero de trminos de {a

n
] tal que
n
1
X
nD1
a
C
n

m
1
X
nD1
a

n
< x; pero
p
X
nD1
a

n
< x si p < m
1
.
Prosiguiendo de esta forma obtenemos {b
n
], la reordenacin de {a
n
] si-
guiente:
a
C
1
; a
C
2
; : : : ; a
C
n
1
; a

1
; a

2
; : : : ;a

m
1
; a
C
n
1
C1
;
a
C
n
1
C2
; : : : ; a
C
n
2
; a

m
1
C1
; a

m
2
C2
; : : : :
La diferencia entre la suma parcial de {b
n
] y x es siempre a lo sumo un a
C
n
o [a

n
[. Pero la convergencia de
P
a
n
implica que a
n
0 cuando n o,
as que las sumas parciales de {b
n
] se hacen arbitrariamente cercanas a x,
es decir
1
X
nD1
b
n
= x:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
4. Convergencia Absoluta 91
PROBLEMAS
1 En cada uno de los siguientes casos decidir si la serie dada converge
absolutamente o no, argumentando la respuesta.
(1)
1
X
nD1
.1/
nC1
Z
nC1
n
e
x
x
dx.
(2)
1
X
nD1
.1/
nC1

1 nsen
1
n

.
(3)
1
X
nD1
.1/
nC1

1 cos
1
n

.
(4)
1
X
nD1
.1/
nC1
arctg
1
2n 1
.
(5)
1
X
nD1
.1/
nC1

2
arctg.log n/

.
(6)
1
X
nD1
.1/
nC1

1
1
n

.
(7)
1
X
nD1
.1/
nC1

n
100
2
n

.
(8)
1
X
nD1
.1/
nC1
log.1 1=n/
.
(9)
1
X
nD1
.1/
nC1
n log
2
.1 n/
.
(10)
1
X
nD1
.1/
nC1
n
37
.n 1/
.
2 Demostrar que si la serie
1
X
nD1
a
n
converge absolutamente entonces

1
X
nD1
a
n

_
1
X
nD1
[a
n
[:

3 (a) Demostrar que si la serie


1
X
nD1
a
n
converge absolutamente y {b
n
]
es una subsucesin de {a
n
], entonces la serie
1
X
nD1
b
n
tambin con-
verge absolutamente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
92 Fernando Mejas
(b) Demostrar mediante un ejemplo que la convergencia absoluta de
la serie
1
X
nD1
a
n
es imprescindible.
4 Demostrar que si la serie
1
X
nD1
a
n
converge absolutamente, entonces la
serie
1
X
nD1
a
n
2
converge.

You might also like