Bol. Soc. Paran. de Mat. Essays (3s.) v. 29 2 (2011): 83107.

c SPM ISSN-2175-1188 on line ISSN-00378712 in press

SPM: www.spm.uem.br/bspm doi:10.5269/bspm.v29i2.12851
Uma hierarquia de testes de convergncia de sries baseada no teorema
de Kummer

Ludmila Bourchtein, Andrei Bourchtein, Gabrielle Nornberg, Cristiane Venzke
Abstract: In this study we use Kummers theorem on convergence of numerical
positive series in order to construct a hierarchy of specic tests, starting from the
well-known simple criteria with a less range of application, and reaching more so-
phisticated results with a wider abrangency. We construct various examples, which
illustrate the use of such tests, and analyze situations when all the tests of the
presented hierarchy are not conclusive with respect to behavior of a series.
Resumo: Neste trabalho utilizamos o teorema de Kummer, referente convergn-
cia de sries numricas positivas, para construir uma hierarquia de testes espec-
cos, partindo dos critrios conhecidos mais simples e de menor rea de aplicao, e
chegando at mais sosticados e de maior abrangncia. Construmos vrios exem-
plos que ilustram a utilizao destes testes e analisamos situaes quando todos os
testes da hierarquia apresentada no so conclusivos em relao ao comportamento
de uma srie.
Key Words: sries numricas positivas, testes de convergncia e divergncia,
teste de Kummer.
Sumrio
1 Introduo 83
2 Reviso de alguns resultados bsicos 84
3 Teste de Kummer e suas consequncias 86
4 Hierarquia de Kummer aplicada a alguns exemplos 91
5 Testes com limites superiores e inferiores 101
6 Restries na aplicao da hierarquia de Kummer 104
1. Introduo
Em vrios ramos da matemtica, bem como nas diversas cincias, so utilizadas
sequncias e sries, tanto numricas como de funes. Para calcular a soma de uma
progresso geomtrica, avaliar os nmeros irracionais como e e, ou encontrar
as caractersticas de fractais matemticos, precisamos nos envolver com o clculo
das sries numricas. Em todos estes casos, uma das questes principais sobre
o resultado procurado na forma de uma srie numrica a sua convergncia ou

O trabalho apoiado pela agncia CNPq

2000 Mathematics Subject Classication: 40A05, 97I30
83
Typeset by B
S
P
M
style.
c Soc. Paran. de Mat.
84 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
divergncia, e, caso houver a convergncia, a velocidade dela. Nos problemas de
aproximao, clculo de integrais, resoluo de equaes diferenciais e integrais, as
representaes de funes via sries, muitas vezes, so tcnicas indispensveis para
encontrar a soluo desejvel. No entanto, mesmo tratando das sries de funes,
evidente que muitas das suas caractersticas so baseadas nas propriedades das
sries numricas. Portanto, utilizando as sries numricas ou de funes, pre-
cisamos aplicar direta ou indiretamente as propriedades de convergncia das sries
numricas.
Os testes bsicos da convergncia de sries numricas, tais como da razo e da
raiz, so bem conhecidos e usados, mas no so aplicveis a vrios tipos de sries.
Neste caso, testes mais nos devem ser empregados, vrios destes com a formulao
no muito mais complicada do que a dos bsicos, mas com certeza menos conhecidos
e acessveis na literatura. Alm disso, tendo em vista a inexistncia de um teste
universal aplicvel a todos os tipos de sries [4, 6], torna-se importante estabelecer
e expor em forma sistemtica a hierarquia de testes de renamento sucessivo, de
tal modo que o prximo teste da famlia aplicvel a um conjunto de sries mais
amplo do que o seu predecessor.
Especicamente, neste trabalho nos concentramos na sistematizao da abor-
dagem de Kummer [2, 4, 7], incluindo a formulao geral do seu resultado e as
consequncias dadas em ordem crescente de complexidade, isto , dos testes mais
simples e de menor rea de aplicao, at mais sosticados e de maior abrangn-
cia. Em particular, apresentamos dois novos testes, os quais ajudam a revelar a
lgica por trs da construo da hierarquia apresentada baseada na abordagem de
Kummer. Para ilustrar o material terico, construmos vrios exemplos de sries
cuja convergncia no pode ser revelada pelos testes mais simples, mas pode ser
estabelecida aplicando os mais nos. Alm disso, analisamos a situao em que
nenhum dos testes da hierarquia apresentada capaz de reconhecer a convergncia
ou divergncia de certa srie. Em tais casos devem ser usados testes de outros
tipos.
2. Reviso de alguns resultados bsicos
Nesta seo apresentamos uma breve lista dos resultados, que se encontram em
livros clssicos de anlise e clculo [6, 8, 10], os quais utilizaremos no desenvolvi-
mento da teoria de Kummer nas prximas sees.
Denio. Uma srie

a
n
chamada convergente, se existe o limite nito das
somas parciais desta srie. Caso contrrio a srie dita divergente.
Observao. Para simplicar notaes, ir se entender por

a
n
, a srie

+
n=p
a
n
,
p N.
Condio necessria de convergncia. Se uma srie

a
n
convergente, ento
o termo geral a
n
tende a zero quando n tende a innito.
Convergncia de sries baseada no teorema de Kummer 85
Observao. Equivalentemente, se a
n
no tende a zero quando n tende a in-
nito, ento

a
n
diverge (por isso, o resultado chamado, tambm, de teste da
divergncia).
Critrio de convergncia para sequncias montonas. Uma sequncia mon-
tona converge se, e somente se, ela limitada.
Neste estudo, sero consideradas apenas sries de termos positivos, isto , sries
da forma

a
n
com a
n
> 0, n = p, p + 1, .... Vamos cham-las, tambm, de sries
positivas. Os trs resultados a seguir so vlidos para tais sries.
Teorema de comparao. Sejam as sries de termos positivos

a
n
e

b
n
,
onde 0 < a
n
b
n
, n = p, p+1, .... Se a srie

b
n
convergir, ento

a
n
tambm
ser convergente. De modo equivalente, se a srie

a
n
divergir, ento

b
n
ser
divergente.
Teste integral. Seja

a
n
uma srie de termos positivos. Se existe uma funo
f(x) denida em [p, +), contnua e montona neste intervalo, e, alm disso,
f(n) = a
n
, n, ento a srie

a
n
e a integral
_
+
p
f(x)dx, convergem ou divergem
simultaneamente.
Critrio de convergncia para sries positivas. Uma srie de termos posi-
tivos converge se, e somente se, a sequncia das suas somas parciais limitada.
Observao. Estes ltimos trs resultados so vlidos, tambm, para sries de
termos no negativos.
Relembramos, tambm, a regra de LHospital, que utilizaremos com frequncia
a seguir.
Regra de LHospital. Sejam as funes f(x) e g(x) diferenciveis numa vizin-
hana perfurada do ponto a, com a derivada da funo g diferente de zero. Supe-se
tambm que lim
xa
f(x) = lim
xa
g(x) = 0, ou lim
xa
f(x) = e lim
xa
g(x) = . Nes-
sas condies, se existir o limite de lim
xa
f

(x)
g

(x)
, ento existir lim
xa
f(x)
g(x)
, e estes sero
iguais.
Finalmente, introduzimos as seguintes notaes que sero usadas nas prximas
sees:
D
n
=
a
n
a
n+1
; (1)
R
n
= n
_
a
n
a
n+1
1
_
; (2)
B
n
= ln n
_
n
_
a
n
a
n+1
1
_
1
_
; (3)
86 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
K
n
=
1
d
n

a
n
a
n+1

1
d
n+1
, onde

d
n
, com d
n
> 0, diverge. (4)
3. Teste de Kummer e suas consequncias
O seguinte teorema conhecido servir de base para a construo de uma hierar-
quia de testes renados para investigao do comportamento de sries. Para forma
completa da exposio, apresentamos este resultado junto com sua demonstrao
[2, 4, 7].
Teorema (teste) de Kummer. Seja uma srie

a
n
de termos positivos. Alm
disso, consideremos K
n
dado por (4), onde

d
n
uma srie auxiliar, tambm de
termos positivos, divergente. Suponhamos que lim
n
K
n
= K. Logo:
1) Se K > 0, ento a srie

a
n
converge;
2) Se K < 0, ento

a
n
diverge.
Prova
1) Consideremos lim
n+
K
n
= K, K > 0. Da denio de limite, segue que
> 0, (particularmente para =
K
2
), existe N tal que n > N, temos:
_
1
dn

an
an+1

1
dn+1
_
> K =
K
2
, implicando que a
n+1
<
2
K
_
an
dn

an+1
dn+1
_
.
E disto, obtemos:
n+1

v=N+1
a
v
<
2
K
_
a
N
d
N

a
n+1
d
n+1
_
<
2
K

a
N
d
N
.
Logo, analisando as somas parciais, podemos ver que estas so limitadas:
S
n+1
=
n+1

v=1
a
v
=
N

v=1
a
v
+
n+1

v=N+1
a
v
< S
N
+
2
K

a
N
d
N
= c, n,
onde c uma constante. Assim, como {S
n
} limitada superiormente e tambm
crescente, segue que existe o limite nito lim
n+
S
n
= S, implicando na convergncia
de

a
n
.
2) Consideremos lim
n+
K
n
= K, K < 0. Da denio de limite, segue que
> 0, (particularmente para =
K
2
), existe N tal que n > N, temos:
_
1
dn

an
an+1

1
dn+1
_
< K + =
K
2
< 0, e ento a
n+1
>
an
dn
d
n+1
.
Logo, a
N+m
>
aN
dN
d
N+m
, m N. Pelo teorema de comparao, como a
n
> c d
n
e

d
n
diverge da condio inicial, ento

a
n
diverge.
Observao 1. importante notar que a divergncia da srie

d
n
usada
somente na segunda parte da demonstrao, visto que na primeira,

d
n
pode ser
qualquer.
Observao 2. O teorema de Kummer, assim como qualquer teste especco
decorrente dele, pode ser formulado, tambm, na forma sem limites [4, 7, 11].
Convergncia de sries baseada no teorema de Kummer 87
interessante notar que esta foi a forma original da sua formulao proposta por
Kummer e Dini [7, 9, 11]. No entanto, nesse estudo, consideramos, na maioria dos
casos, os testes com limites, o que mais usado na prtica.
Conforme a atribuio de valores para d
n
, possvel construir testes de diversos
graus de renamento, como visto a seguir.
Corolrio 1. Tomando d
n
= 1 para o teste de Kummer ( fcil vericar que a
srie

d
n
diverge, porque d
n
no tende a zero quando n tende a innito), temos
a relao de que K
n
= D
n
1, onde D
n
e K
n
so denidas pelas frmulas (1) e
(4), respectivamente. Ento obtemos o seguinte teste bem conhecido como um caso
particular do teste de Kummer [3, 4, 6, 10]:
Teste de DAlembert (ou teste da Razo). Dada a srie

a
n
, suponha que
lim
n
D
n
= D. Assim:
1) Se D > 1, ento

a
n
converge;
2) Se D < 1, ento

a
n
diverge.
Corolrio 2. Se escolhermos d
n
=
1
n
no teste de Kummer (nota-se que a srie

1
n
diverge), ento K
n
= R
n
1, onde R
n
e K
n
so denidos pelas expresses
(2) e (4). Desta maneira, o teste a seguir construdo [2, 4, 6, 7].
Teste de Raabe. Considere uma srie

a
n
e admita que lim
n
R
n
= R. Logo:
1) Se R > 1, ento

a
n
converge;
2) Se R < 1, ento

a
n
diverge.
Corolrio 3. Tomando d
n
=
1
nln n
no teste de Kummer ( fcil provar, us-
ando o teste integral, que a srie

1
nln n
diverge), encontramos que K
n
= B
n

(n + 1) ln
_
1 +
1
n
_
, onde B
n
e K
n
so denidos pelas expresses (3) e (4), respec-
tivamente. Assim, chegamos ao seguinte teste [2, 4, 7]:
Teste de Bertrand. Seja a srie

a
n
. Suponha que lim
n
B
n
= B. Assim:
1) Se B > 1, ento

a
n
converge;
2) Se B < 1, ento

a
n
diverge.
Corolrio 4. Como consequncia dos Corolrios 1, 2 e 3, obtemos o teste de
Gauss [2, 4, 7].
Teste de Gauss. Dada a srie

a
n
, suponha que
an
an+1
= +

n
+
n
n

, com > 1
e
n
limitada. Logo:
1) Se > 1, ento

a
n
converge e caso < 1, esta diverge;
2) Se = 1, sendo = 1, temos que

a
n
converge se > 1, e diverge quando
< 1;
3) Se = 1 e = 1, a srie

a
n
diverge.
Prova
1) D = lim
n
D
n
= lim
n
an
an+1
= lim
n
_
+

n
+
n
n

_
= , onde = 1 e as
concluses seguem diretamente do teste de DAlembert.
88 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
2) R = lim
n
R
n
= lim
n
n
_
an
an+1
1
_
= lim
n
_
+
n
n
1
_
= , onde = 1 e o
teste de Raabe aplicado.
3) B=lim
n
B
n
=lim
n
ln n
_
n
_
an
an+1
1
_
1
_
=lim
n
ln n
_
n
_
1
n
+
n
n

_
1
_
=lim
n
ln n
n
1

n
=0<1,
pois
n
limitada e > 1. Segue desta ltima a divergncia pelo teste de Bertrand.
Seguindo essa linha de construo de testes mais renados, baseados no teorema
de Kummer, vamos introduzir dois novos testes que tm abrangncia ainda maior
que os j apresentados. Nesses testes utilizaremos as seguintes notaes:
A
n
= ln ln n
_
ln n
_
n
_
a
n
a
n+1
1
_
1
_
1
_
(5)
Z
n
= ln ln ln n
_
ln ln n
_
ln n
_
n
_
a
n
a
n+1
1
_
1
_
1
_
1
_
. (6)
Teorema 1. Seja uma srie

a
n
, a
n
> 0. Suponhamos que lim
n
A
n
= A, onde
A
n
dado pela frmula (5). Assim:
1) Se A > 1, ento

a
n
converge;
2) Se A < 1, ento

a
n
diverge.
Prova
Consideremos K
n
dado pela expresso (4), com d
n
=
1
nln nln ln n
(sendo a di-
vergncia de

d
n
facilmente vericada pelo teste integral). Ento
K
n
= nln nln ln n
a
n
a
n+1
(n + 1) ln(n + 1) ln ln(n + 1)
= ln ln n
_
nln n
a
n
a
n+1
(n + 1)
_
ln n + ln
_
1 +
1
n
___
(n + 1)
_
ln n + ln
_
1 +
1
n
__
ln
_
1 +
ln (1 + 1/n)
ln n
_
= A
n
+L
n

n + 1
n
ln
_
1 +
1
n
_
n
ln
_
1 +
ln (1 + 1/n)
ln n
_ ln n
ln(1+1/n)

n + 1
n
ln
_
1 +
1
n
_
n
ln
_
1 +
ln (1 + 1/n)
ln n
_
,
onde L
n
= ln ln n
_
1 (n + 1) ln
_
1 +
1
n
__
.
simples vericar que o terceiro aditivo tem limite igual a 1 e o quarto, a 0.
Para o clculo do limite de L
n
, passamos a usar funes de varivel contnua, visto
que vamos aplicar a Regra de LHospital vrias vezes. Por simplicidade, trocamos
1
n
por x, tendo em mente que as funes de x sero contnuas. Assim:
lim
n+
L
n
= lim
n+
ln ln n
_
1 (n + 1) ln
_
1 +
1
n
__
= lim
x0
+
x (1 +x) ln(1 +x)
x(ln(ln x))
1
Convergncia de sries baseada no teorema de Kummer 89
= lim
x0
+
ln(1 +x)
ln(ln x))
1

1
(1(ln x)
1
(ln(ln x))
1
)
= lim
x0
+
1
1+x
lim
x0
+
(ln(ln x))
2
ln x
1/x
= lim
x0
+
2 ln(ln x) + (ln(ln x))
2
x
1
= lim
x0
+
2 + 2 ln(ln x)
x
1
ln x
= lim
x0
+
2x
ln x(1 ln x)
=0.
Logo,
K = lim
n+
K
n
= lim
n+
(A
n
+L
n
) 1 lim
n+
A
n
= K 1 = A,
sendo A = lim
n+
A
n
, e seguem diretamente as concluses do teste de Kummer, ou
seja:
1) Se K > 0 A > 1, ento a srie dada converge;
2) Se K < 0 A < 1, esta diverge.
Teorema 2. Seja uma srie

a
n
, a
n
> 0. Suponhamos que lim
n
Z
n
= Z, com
Z
n
denido por (6). Assim:
1) Se Z > 1, ento

a
n
converge;
2) Se Z < 1, ento

a
n
diverge.
Prova
Consideremos K
n
dado pela frmula (4), com d
n
=
1
nln nln ln nln ln ln n
(sendo a
divergncia de

d
n
vericada a partir do teste integral). Logo:
K
n
= nln n ln ln n ln ln ln n
a
n
a
n+1
(n +1) ln(n +1) ln ln(n +1) ln ln ln(n +1)
= nln n ln ln n ln ln ln n
a
n
a
n+1
(n + 1) ln(n + 1) ln ln n ln ln ln n
(n + 1) ln(n + 1) ln ln ln n ln
_
1 +
ln (1 + 1/n)
ln n
_
(n+1) ln(n+1)
_
ln ln n + ln
_
1 +
ln (1 + 1/n)
ln n
__
ln
_
_
1 +
ln
_
1 +
ln(1+1/n)
ln n
_
ln ln n
_
_
= ln ln ln n
_
nln n ln ln n
a
n
a
n+1
(n + 1) ln n ln ln nln ln n1
_
+ln ln ln n ln ln n

_
1 (n + 1) ln
_
1 +
1
n
__
+ln ln ln n
_
1 (n + 1) ln n ln
_
1 +
ln (1 + 1/n)
ln n
__
(n+1)ln
_
1+
1
n
_
ln
_
1+
ln (1+1/n)
ln n
_
ln ln ln n(n+1) ln(n+1)ln
_
1+
ln (1+1/n)
ln n
_

_
ln ln n
_
ln
_
1 +
ln (1 + 1/n)
ln n
__
1
+ 1
_
ln
_
_
1 +
ln
_
1 +
ln(1+1/n)
ln n
_
ln ln n
_
_
90 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
= Z
n
+U
n
+E
n
G
n
J
n

n
,
onde Z
n
dado pela frmula (6),
U
n
= ln ln ln n ln ln n
_
1 (n + 1) ln
_
1 +
1
n
__
,
E
n
= ln ln ln n
_
1 (n + 1) ln n ln
_
1 +
ln (1 + 1/n)
ln n
__
,
G
n
= (n + 1) ln
_
1 +
1
n
_
ln
_
1 +
ln (1 + 1/n)
ln n
_
ln ln ln n,
J
n
= (n + 1) ln (n + 1) ln
_
1 +
ln (1 + 1/n)
ln n
_
,

n
= ln
_
_
1 +
ln
_
1 +
ln(1+1/n)
ln n
_
ln ln n
_
_
ln ln n
ln
(
1+
ln(1+1/n)
ln n
)
+1
.
fcil de ver que lim
n+

n
= 1. Tambm:
lim
n+
J
n
= lim
n+
_
1 +
1
n
_

_
1 +
ln (1 + 1/n)
ln n
_
ln
_
1 +
1
n
_
n
ln
_
1 +
ln (1 + 1/n)
ln n
_ ln n
ln(1+1/n)
= 1.
E ainda, temos:
lim
n+
G
n
= lim
n+
_
1 +
1
n
_
ln
_
1 +
1
n
_
n
ln
_
1 +
ln (1 + 1/n)
ln n
_ ln n
ln(1+1/n)
ln
_
1 +
1
n
_

ln ln ln n
ln n
= 0.
Para calcular os limites de U
n
e E
n
, passamos varivel contnua (trocando
1
n
por x) para poder usar a regra de LHospital. Assim, calculando o primeiro limite:
lim
n+
U
n
= lim
x0
+
x (1 +x) ln(1 +x)
x (ln(ln x))
1
(ln ln(ln x))
1
= lim
x0
+
ln(1 +x)
(ln(ln x))
1
(ln ln(ln x))
1
lim
x0
+
_
1 (ln x)
1
(ln(ln x))
1
(ln x)
1
(ln(ln x))
1
(ln ln(ln x))
1
_
1
= lim
x0
+
ln(1 +x)
x
lim
x0
+
ln(ln x) ln ln(ln x)
x
1
= lim
x0
+
ln ln(ln x) + 1
x
1
ln x
= lim
x0
+
x
ln x ln(ln x) (ln x 1)
= 0.
Convergncia de sries baseada no teorema de Kummer 91
Passando ao segundo, temos:
lim
n+
E
n
= lim
x0
+
x (ln x)
1
+ (1 +x) ln
_
1
ln(1+x)
ln x
_
x (ln x)
1
(ln ln(ln x))
1
= lim
x0
+
_
1 (ln x)
1
(ln x)
1
(ln(ln x))
1
(ln ln(ln x))
1
_
1
lim
x0
+
(ln x)
1
+ ln x ln
_
1
ln(1+x)
ln x
_
+
ln(1+x)
x(ln xln(1+x))
(ln ln(ln x))
1
= lim
x0
+
ln ln(ln x)
ln x
+ lim
x0
+
ln
_
1
ln (1 +x)
ln x
_
ln x
ln(1+x)

ln(1 +x)
x

ln ln(ln x)
x
1
+ lim
x0
+
ln(1 +x)
x

ln ln(ln x)
ln x ln(1 +x)
= 0.
Logo,
lim
n+
(Z
n
+U
n
+E
n
H
n
J
n

n
) = lim
n+
Z
n
1 = Z 1 = K.
Ou seja, lim
n+
Z
n
= K + 1 = Z. Portanto:
1) K > 0 Z > 1, e a srie converge;
2) K < 0 Z < 1, e a srie diverge.
Observao 1. A partir das construes feitas nessa seo, podemos concluir
que a hierarquia apresentada dos testes, baseados no teorema de Kummer, segue a
seguinte ordem: comeando do mais simples teste de DAlembert, passando para o
de Raabe, depois o de Bertrand, teorema 1 e teorema 2, estes cada vez aumentam
a rea da sua aplicao.
Observao 2. Testes ainda mais nos podem ser construdos de modo anlogo
a partir do teste de Kummer, usando as sries divergentes

d
n
, em que
d
n
= (n ln n ln ln n ln ln ln n ln ln ln ln n)
1
,
d
n
= (n ln n ln ln n ln ln ln n ln ln ln ln n ln ln ln ln ln n)
1
,
e assim por diante, onde a divergncia destas vericada pelo teste integral. Ao
mesmo tempo, como pode ser visto nos teoremas 1 e 2, as demonstraes tornam-se
cada vez mais complicadas, exigindo mais clculos.
4. Hierarquia de Kummer aplicada a alguns exemplos
Exemplo 1. Analisar a convergncia da srie

+
n=1

n!
(2+

1)(2+

2)...(2+

n)
.
92 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
Primeiro, calculamos
D
n
=

n!
(2+

1)(2+

2)...(2+

n)

(2+

1)(2+

2)...(2+

n)(2+

n+1)

n + 1

n!
=1+
2

n+1
.
Ento lim
n+
D
n
= lim
n+
_
1 +
2

n+1
_
= 1, isto , o teste de DAlembert no
funciona. Porm, pelo teste de Raabe obtemos a convergncia, pois
lim
n+
R
n
= lim
n+
n
_
1 +
2

n + 1
1
_
= lim
n+
2n
1
2

_
1 +
1
n
_

1
2
= +> 1.
Exemplo 2. Estudar o comportamento da srie

+
n=2
1
(n

n) ln
2
n
.
Notamos que o teste de Raabe no gera resultado para esta srie, pois
lim
n
R
n
= lim
n
n
_
(n + 1

n + 1) ln
2
(n + 1)
(n

n) ln
2
n
1
_
= lim
n
_
n
_
_
1+
ln (1+1/n)
ln n
_
2
1
_
+n
_
(n+1

n+1)
n

n
1
_

_
1+
ln (1+1/n)
ln n
_
2
_
= lim
n
_
2
ln n
ln
_
1 +
1
n
_
n
+
1
nln
2
n
_
ln
_
1 +
1
n
_
n
_
2
_
+ lim
n
n
n

n
lim
n
_
1+
ln (1+1/n)
ln n
_
2
lim
n
_
1

n+1+

n
_
=1lim
n
1

n+1+

n
=1.
Mas usando o teste de Bertrand, obtemos a convergncia:
lim
n
B
n
= lim
n
ln n
_
n
(n+1

n+1) ln
2
(n+1)(n

n) ln
2
n
(n

n) ln
2
n
1
_
= lim
n
1
11/

n
lim
n
_
_
(n+1)
_
(ln n+ln (1+1/n))
2
ln
2
n
_
ln n

n+1 ln
2
(n+1)

nln
2
n
ln n
+
ln
2
n

nln n
_
_
= lim
n
_
1 +
1
n
_
_
2 ln
_
1 +
1
n
_
n
+
1
nln n
_
ln
_
1 +
1
n
_
n
_
2
_
+ lim
n
_
ln n
_
n+1

n
_
2
(1+1/n)
1/2
n
1/2
ln
_
1+
1
n
_
n

(1+1/n)
1/2
n

nln n
_
ln
_
1+
1
n
_
n
_
2
_
= 2 lim
n
ln n

n + 1 +

n
= 2 > 1.
Exemplo 3. Vericar a convergncia da srie

+
n=1
_
135...(2n1)
246...2n
_
p

1
n
q
.
Convergncia de sries baseada no teorema de Kummer 93
Comeamos da razo D
n
:
D
n
=
_
1 3 5 . . . (2n1)
2 4 6 . . . 2n
_
p

(n + 1)
q
n
q

_
2 4 6 . . . 2n(2n+2)
1 3 5 . . . (2n1)(2n+1)
_
q
=
(2n + 2)
p
(2n + 1)
p

_
1 +
1
n
_
q
=
_
1 +
1
2n + 1
_
p

_
1 +
1
n
_
q
=
_
1+
+

k=1
p(p1) . . . (pk+1)
k!

_
1
2n+1
_
k
_

_
_
1+
+

j=1
q(q1) . . . (qj+1)
j!n
j
_
_
= 1+
(2n+1)q+pn
n(2n+1)
+
q(q1)
2!n
2
+
pq
n(2n+1)
+
p(p1)
2!(2n+1)
2
+. . . =1+
2q+p
2n+1
+O
_
1
n
2
_
.
Daqui visto que o teste de DAlembert no se aplica. Usando o teste de Raabe:
lim
n+
R
n
= lim
n+
n
_
1 +
2q +p
2n + 1
+O
_
1
n
2
_
1
_
= lim
n+
_
(2q +p)
_
2 +
1
n
_
1
+n O
_
1
n
2
_
_
=
2q +p
2
,
obtemos que a srie converge quando p > 2 2q e diverge para p < 2 2q.
necessrio analisar ainda o caso p = 2 2q. Nesta situao:
a
n
a
n+1
=1+
q+2n
n(2n+1)
+O
_
1
n
2
_
=1+
2n+1
n(2n+1)
+
q1
n(2n+1)
+O
_
1
n
2
_
=1+
1
n
+O
_
1
n
2
_
.
Ento, pelo teste de Gauss, com = 2 > 1, = 1 e = 1 a srie diverge quando
p = 2 2q.
Exemplo 4. Analisar o comportamento da srie

+
n=2
a
(1+
1
2
+...+
1
n1
)
.
Observao. Aqui vamos considerar apenas o caso em que a > 1, pois se 0 < a
1, ento a srie diverge, j que a
n
no tende a zero.
simples vericar que o teste de DAlembert no gera resultado, porm apli-
cando o teste de Raabe, obtemos que lim
n+
R
n
= lim
n+
n
_
a
1
n
1
_
. Fazemos a
troca de varivel a
1
n
1 = t
1
n
ln a = ln(1 + t), e como n
1
n
0
a
1
n
1 = t 0, temos que lim
t0
tln a
ln(1+t)
= lim
t0
ln a
ln(1+t)
1
t
= ln a. Ento, podemos
concluir que se a > e, ento a srie dada converge; porm se a < e, a mesma
diverge.
No caso a = e o teste de Raabe no d resposta, portanto, vamos aplicar o
teste de Bertrand. Passando a funes de varivel contnua para utilizar a regra de
LHospital, temos:
lim
n+
B
n
= lim
n+
ln n
_
n
_
e
1
n
1
_
1
_
= lim
n+
ln n
_
ne
1
n
(n + 1)
_
94 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
= lim
x0
+
(ln x)
_
1
x
e
x

1
x
1
_
= lim
x0
+
e
x
1 x
x(ln x)
1
= lim
x0
+
e
x
1
(ln x)
1
lim
x0
+
1
1 (ln x)
1
= lim
x0
+
e
x
1
(ln x)
1
= lim
x0
+
e
x
lim
x0
+
(ln x)
2
x
1
= lim
x0
+
2(ln x)
x
1
= lim
x0
+
2x
1
= 0 < 1 ,
que determina a divergncia quando a = e.
Exemplo 5. Vericar a convergncia da srie

+
n=2
a

(ln2)
p
2
+
(ln3)
p
3
+...+
(ln(n1))
p
n1

.
Aplicando o teste de Raabe, obtemos:
lim
n+
R
n
= lim
n+
n
_
a
(ln n)
p
n
1
_
= lim
x0
+
a
x(ln x)
p
1
x
= lim
x0
+
a
x(ln x)
p
ln a
_
(ln x)
p
xp(ln x)
p1
.
1
x
_
= lim
x0
+
ln a (ln x)
p
lim
x0
+
_
1 +
p
ln x
_
= lim
x0
+
(ln x)
p
ln a.
Da ltima expresso visto que se p > 0, ento lim
x0
+
(ln x)
p
= +, isto ,
lim
x0
+
R
n
= +, resultando na convergncia da srie dada. Por outro lado, se
p < 0, ento lim
x0
+
(ln x)
p
= 0, de onde segue que R = lim
x0
+
R
n
= 0, e a srie
diverge. O caso p = 0 foi analisado no exemplo anterior.
Exemplo 6. Investigar o comportamento da srie

+
n=2
1
(ln n)
p
a
(1+
1
2
+...+
1
n1
)
,
p R.
Aplicando o teste de Raabe, temos:
lim
n+
R
n
= lim
n+
n
__
1 +
1
ln n
ln
_
1 +
1
n
__
p
a
1
n
1
_
= lim
x0
+
_
1
ln(1+x)
ln x
_
p
a
x
1
x
= lim
x0
+
_
p
_
1
ln (1 +x)
ln x
_
p1 ln x
1+x

ln(1+x)
x
(ln x)
2
a
x
+
_
1
ln (1 +x)
ln x
_
p
a
x
ln a
_
= p lim
x0
+
_
1
(1 +x)(ln x)

ln(1 +x)
x

1
(ln x)
2
_
+ lim
x0
+
ln a = ln a.
Se a > e ento a srie dada converge, porm se a < e esta diverge, p R.
Logo, resta analisar o caso quando a = e. Pelo teste de Bertrand, segue que:
lim
n+
B
n
= lim
n+
ln n
_
n
_
(ln(n + 1))
p
(ln n)
p
e
1
n
1
_
1
_
= lim
n+
nln ne
1
n
__
1 +
ln (1 + 1/n)
ln n
_
p

_
1 +
1
n
_
e

1
n
_
Convergncia de sries baseada no teorema de Kummer 95
= lim
x0
+
e
x
lim
x0
+
_
1
ln(1+x)
ln x
_
p
(1 +x) e
x
x(ln x)
1
= lim
x0
+
p
_
1
ln(1+x)
ln x
_
p1
_
ln x
1+x

ln(1+x)
x
_
1 ln x
+ lim
x0
+
xe
x
(ln x)
1
(1 + (ln x)
1
)
=p lim
x0
+
_
ln x
1ln x

1
1+x

ln(1+x)
x

1
1ln x
_
+ lim
x0
+
e
x
1+(ln x)
1
lim
x0
+
ln x
x
1
=p.
Assim, se a = e e p > 1, a srie dada converge, mas se a = e e p < 1, ento a
mesma diverge.
Para o caso p = 1, quando a = e, vamos utilizar o Teorema 1. Representamos
A
n
na forma:
A
n
= ln ln n
_
ln n
_
n
ln(n + 1)
ln n
e
1
n
n 1
_
1
_
= ln ln n nln n
_
e
1
n
1
1
n
_
+ ln ln n
_
nln
_
1 +
1
n
_
e

1
n
_
e
1
n
= H
n
+F
n
.
Primeiro, calculamos limite de H
n
:
lim
n+
H
n
= lim
n+
nln n ln ln n.
_
e
1
n
1
1
n
_
= lim
x0
+
e
x
1 x
x(ln x)
1
(ln(ln x))
1
= lim
x0
+
1
1 (ln x)
1
(ln x)
1
.(ln(ln x))
1
lim
x0
+
e
x
1
(ln x)
1
(ln(ln x))
1
= lim
x0
+
e
x
1 + (ln(ln x))
1
lim
x0
+
x
(ln x)
2
(ln(ln x))
1
= lim
x0
+
(ln x)
2
(ln(ln x))
x
1
= lim
x0
+
2 ln x ln(ln x) + ln x
x
1
= lim
x0
+
2 ln(ln x) + 3
x
1
= lim
x0
+
2x
ln x
= 0.
Resolvemos agora o limite de F
n
:
lim
n+
F
n
= lim
n+
ln ln n
_
nln
_
1+
1
n
_
e

1
n
_
lim
n+
e
1
n
= lim
x0
+
ln (1+x)xe
x
x(ln(ln x))
1
= lim
x0
+
1(1+x) e
x
+x (1 +x) e
x
(ln(ln x))
1
lim
x0
+
1
1(ln(ln x))
1
(ln x)
1
lim
x0
+
1
1+x
= lim
x0
+
1 +e
x
(x
2
1)
(ln(ln x))
1
= lim
x0
+
e
x
lim
x0
+
x
(ln(ln x))
2
(ln x)
1
lim
x0
+
(x
2
2x1)
= lim
x0
+
(ln(ln x))
2
ln x
x
1
= lim
x0
+
2 ln(ln x) + (ln(ln x))
2
x
1
= lim
x0
+
2 (1 + ln(ln x))
ln x x
1
= lim
x0
+
2
ln x x
1
(1 ln x)
= 0.
96 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
Logo, lim
n+
A
n
= lim
n+
(H
n
+F
n
) = 0, e a srie diverge para o caso a = e, p = 1.
Exemplo 7. Estudar a convergncia de

+
n=3
1
ln n(ln ln n)
p
e
(1+
1
2
++
1
n1
)
.
Primeiro, transformamos a expresso A
n
do Teorema 1:
A
n
= ln ln n
_
nln n
__
1 +
1
ln ln n
ln
_
1 +
ln (1 + 1/n)
ln n
__
p
e
1
n
1
1
n
+
ln (1 + 1/n)
ln n
_
1 +
1
ln ln n
ln
_
1 +
ln (1 + 1/n)
ln n
__
p
e
1
n
_
1
_
= nln n ln ln n e
1
n

__
1 +
1
ln ln n
ln
_
1 +
ln (1 + 1/n)
ln n
__
p
e

1
n

1
n
e

1
n
_
+e
1
n
ln ln n
_
nln n
ln (1+1/n)
ln n

_
1+
1
ln ln n
ln
_
1+
ln (1+1/n)
ln n
__
p
e

1
n
_
=L
n
+M
n
.
Resolvemos os limites de L
n
e M
n
em separado. Para o primeiro obtemos:
lim
n+
L
n
= lim
x0
+
_
1 +
1
ln(ln x)
ln
_
1
ln(1+x)
ln x
__
p
e
x
xe
x
x (ln x)
1
(ln(ln x))
1
= lim
x0
+
_
(ln x)
1
(ln(ln x))
1
+x(ln x)
2

(ln(ln x)
1
x
+
x(ln x)
1
(ln(ln x))
2
x ln x
_
1

_
p
_
1+
1
ln(ln x)
ln
_
1
ln (1+x)
ln x
__
p1

_
(ln(ln x))
2

1
ln x

1
x
ln
_
1
ln (1+x)
ln x
_

1
ln(ln x)

1
1
ln(1+x)
ln x

1
ln
2
x
_
ln x
1 +x

ln(1 +x)
x
_
_
+e
x
e
x
+xe
x
_
= lim
x0
+
_
_
_
p
_
1 +
1
ln(ln x)
ln
_
1
ln (1 +x)
ln x
__
p1

_
_
ln
_
1
ln(1+x)
ln x
_
x (ln(ln x))
+
1
1 +x

_
1
ln(1 +x)
x

1
ln x ln(1 +x)
__

ln x ln(ln x)
x
1
e
x
_
lim
x0
+
1
1 (ln x)
1
(ln x)
1
(ln(ln x))
1
= p +p lim
x0
+
1
ln(ln x)
ln
_
1
ln (1+x)
ln x
_ ln x
ln(1+x)

ln(1+x)
xln x
+ lim
x0
+
ln(ln x)+1
x
1
= p lim
x0
+
x
ln x
= p.
Convergncia de sries baseada no teorema de Kummer 97
Agora calculamos o segundo:
lim
n+
M
n
= lim
x0
+
e
x
lim
x0
+
ln(1 +x)
_
1 +
1
ln(ln x)
ln
_
1
ln(1+x)
ln x
__
p
xe
x
x(ln(ln x))
1
= lim
x0
+
1
(ln(ln x))
1
x(ln(ln x))
2
(ln x)
1
x
1

_
1
1+x
_
1+
1
ln(ln x)
ln
_
1
ln(1+x)
ln x
__
p
+ln(1+x)
_
(ln(ln x))
2
ln xx
ln
_
1
ln(1+x)
ln x
_
(ln(ln x))
1

1
1
ln(1+x)
ln x

ln x
1+x

ln(1+x)
x
ln
2
x
_
p
_
1 +
1
ln(ln x)
ln
_
1
ln (1 +x)
ln x
__
p1
e
x
+xe
x
_
= lim
x0
+
_
1 +
1
ln(ln x)
ln
_
1
ln(1+x)
ln x
__
p
e
x
xe
x
(ln(ln x))
1
lim
x0
+
1
1 +x
+p
_
_
lim
x0
+
ln
_
1
ln(1+x)
ln x
_
ln x ln(ln x)
lim
x0
+
ln(1+x)
x
lim
x0
+
ln(1+x) xln x
x (1+x) ln x(ln x ln(1+x))
+ lim
x0
+
ln(1 +x) (1 +x) ln(1 +x)
x (1 +x) ln x(ln x ln(1 +x))
_
+ lim
x0
+
(ln(ln x))
x
1
lim
x0
+
e
x
= p lim
x0
+
_
1+
1
ln(ln x)
ln
_
1
ln (1+x)
ln x
__
p1

_
lim
x0
+
ln
_
1
ln (1+x)
ln x
_
+ lim
x0
+
ln(ln x)ln x
x
1
lim
x0
+
_
xln x
x(1+x) ln x(ln xln(1+x))

ln(1+x)
x

1 +x
(1+x) ln x(ln xln(1+x))
__
lim
x0
+
(ln(ln x))
2
ln x
x
2
lim
x0
+
e
x
lim
x0
+
x
ln x
= p lim
x0
+
ln(ln x) ln x
x
1
lim
x0
+
_
1
(1 +x) (ln x ln(1 +x))

ln(1 +x)
x

1
ln x(ln x ln(1 +x))
_
lim
x0
+
(ln(ln x))
2
ln x
x
2
lim
x0
+
x
ln x
= p lim
x0
+
(x) lim
x0
+
(x) lim
x0
+
(x) = 0.
O ltimo resultado segue do clculo separado dos limites de (x), (x) e (x), os
quais so nulos, o que pode ser provado aplicando em cada um deles a regra de
LHospital.
Logo, lim
x0
+
A
n
= lim
x0
+
L
n
+ lim
x0
+
M
n
= p. Portanto se p > 1, ento a srie
converge; e se p < 1, esta diverge.
Para o caso quando p = 1, ser utilizado o Teorema 2. Assim:
Z
n
= ln ln ln n
_
ln ln n
_
ln n
_
n
_
ln(n + 1) ln ln(n + 1)
ln n ln ln n
e
1
n
1
_
1
_
1
_
1
_
98 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
Observamos que
ln(n + 1) ln ln(n + 1) = ln nln ln n + ln ln nln
_
1 +
1
n
_
+ln nln
_
1 +
1
ln n
ln
_
1 +
1
n
__
+ ln
_
1 +
1
n
_
ln
_
1 +
1
ln n
ln
_
1 +
1
n
__
.
E ento:
Z
n
=ln ln ln n
_
ln ln n
_
ln n
_
n
_
e
1
n
+
e
1
n
ln n
ln
_
1+
1
n
_
+
e
1
n
ln ln n
ln
_
1+
ln (1+1/n)
ln n
_
+
1
ln nln ln n
ln
_
1 +
1
n
_
ln
_
1 +
ln (1 + 1/n)
ln n
_
e
1
n
1
_
1
_
1
_
1
_
= ln ln ln nln ln nln n
_
n
_
e
1
n
1
_
1
_
+ln ln ln nln ln n
_
ln n
n
ln n
ln
_
1+
1
n
_
e
1
n
1
_
+ln ln ln n
_
ln ln n
_
ln n
n
ln ln n
ln
_
1 +
ln (1 + 1/n)
ln n
_
e
1
n
_
1
_
+ln ln ln nln ln nln n
n
ln nln ln n
ln
_
1 +
1
n
_
ln
_
1 +
ln (1 + 1/n)
ln n
_
e
1
n
= L
n
+M
n
+P
n
+Q
n
.
Calculamos separadamente o limite de cada expresso. Para a primeira obtemos:
lim
n
L
n
= lim
x0
+

e
x
1 x
x(ln x)
1
(ln(ln x))
1
(ln ln(ln x))
1
= lim
x0
+
(e
x
1)
_
(ln x)
1
(ln(ln x))
1
(ln ln(ln x))
1

x(ln x)
2
x
(ln(ln x))
1
(ln ln(ln x))
1
x(ln x)
1

(ln(ln x))
2
ln x x
(ln ln(ln x))
1
x(ln x)
1

(ln(ln x))
1
ln x x

(ln ln(ln x))
2
ln(ln x)
_
1
= lim
x0
+
e
x
1
(ln x)
1
(ln(ln x))
1
(ln ln(ln x))
1
lim
x0
+
_
1(ln x)
1
(ln x)
1
(ln(ln x))
1
(ln x)
1
(ln(ln x))
1
(ln ln(ln x))
1
_
1
= lim
x0
+
e
x
_
(ln x)
2
x
(ln(ln x))
1
(ln ln(ln x))
1
+
(ln x)
1
xln x
(ln(ln x))
2
(ln ln(ln x))
1
+(ln x)
1
(ln(ln x))
1
(ln ln(ln x))
2

(ln(ln x))
1
ln x x
_
1
= lim
x0
+
x
_
(ln x)
2
(ln(ln x))
1
(ln ln(ln x))
1
_
1
Convergncia de sries baseada no teorema de Kummer 99
lim
x0
+
e
x
1+(ln(ln x))
1
+(ln(ln x))
1
(ln ln(ln x))
1
=lim
x0
+
(ln x)
2
ln(ln x)ln ln(ln x)
x
1
= lim
x0
+
2 ln x ln(ln x) ln ln(ln x) + ln x ln ln(ln x) + ln x
x
1
= lim
x0
+
2 ln(ln x) ln ln(ln x) + 3 ln ln(ln x)
x
1
+ lim
x0
+
_
3x +
x
ln(ln x)
_
= lim
x0
+
2 ln ln(ln x)
x
1
ln x
lim
x0
+
_
2x
ln x
+
3x
ln x ln(ln x)
_
= lim
x0
+
2x
ln(ln x)ln x(ln x1)
=0.
Passamos ao limite de M
n
:
lim
n
M
n
= lim
x0
+
e
x
lim
x0
+
ln(1 +x) xe
x
x(ln(ln x))
1
(ln ln(ln x))
1
= lim
x0
+
1 e
x
xe
x
+xe
x
+x
2
e
x
(ln(ln x))
1
(ln ln(ln x))
1
lim
x0
+
1
1 +x
lim
x0
+
_
1 (ln x)
1
(ln(ln x))
1
(ln x)
1
(ln(ln x))
1
(ln ln(ln x))
1
_
1
= lim
x0
+
e
x
1 + (ln ln(ln x))
1
lim
x0
+
x + 2x
2
x
3
(ln x)
1
(ln(ln x))
2
(ln ln(ln x))
1
= lim
x0
+
ln x (ln(ln x))
2
ln ln(ln x)
x
1
lim
x0
+
_
1 + 2x x
2
_
= lim
x0
+
(ln(ln x))
2
ln ln(ln x) + 2 ln(ln x) ln ln(ln x) + ln(ln x)
x
1
= lim
x0
+
2 ln(ln x) ln ln(ln x) + ln(ln x) + 2 ln ln(ln x)
ln x x
1
3 lim
x0
+
x
ln x
= lim
x0
+
2 ln ln(ln x)
x
1
(ln x)
2
lim
x0
+
1
1 (ln x)
1
+ 3 lim
x0
+
x
ln x(ln x 1)
+ lim
x0
+
2x
ln x ln(ln x) (ln x 1)
= lim
x0
+
2x
(ln x)
2
ln(ln x) (2 ln x)
= 0 .
Calculamos agora o limite de P
n
:
lim
n
P
n
= lim
x0
+
e
x
lim
x0
+
ln
_
1
ln(1+x)
ln x
_
+x e
x
(ln x)
1
x (ln x)
1
(ln ln(ln x))
1
= lim
x0
+
1
1 (ln x)
1
(ln x)
1
(ln(ln x))
1
(ln ln(ln x))
1
lim
x0
+

x ln x(1+x) ln(1+x)
(ln xln(1+x))x(1+x)
(ln x)
1
+e
x
(ln x)
1
xe
x
(ln x)
1
e
x
(ln x)
2
(ln x)
1
(ln ln(ln x))
1
100 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
= lim
x0
+
1
1 +x
lim
x0
+
ln x(1e
x
(1+x))+e
x
(1+x)ln(1+x)
ln x ln(1 +x)
ln ln(ln x)
lim
x0
+
ln(1+x)
x
lim
x0
+
ln ln(ln x)
ln xln(1+x)
+ lim
x0
+
e
x

_
lim
x0
+
ln ln(ln x)
1/x
+ lim
x0
+
ln ln(ln x)
ln x
_
= lim
x0
+
ln x
ln x
_
1
ln(1+x)
ln x
_ lim
x0
+
1e
x
(1+x)
(ln ln(ln x))
1
+ lim
x0
+
e
x
(1+x)ln(1+x)
1
ln(1+x)
ln x
lim
x0
+
ln ln(ln x)
ln x
lim
x0
+
(1+x) lim
x0
+
1
ln(ln x)

1
ln x
lim
x0
+
x
ln(ln x) ln x
+ lim
x0
+
1
ln(ln x)

1
ln x
= lim
x0
+
e
x
(ln ln(ln x))
2
ln(ln x)ln x
1
_
x
2
+ lim
x0
+
e
x
(1+x)ln(1+x)
1
ln(1+x)
ln x
lim
x0
+
1
ln xln(ln x)
= lim
x0
+
2 ln ln(ln x) + (ln ln(ln x))
2
+ (ln ln(ln x))
2
ln(ln x)
2
_
x
2
= lim
x0
+
1
ln(ln x)

1
ln x

1
x
2
_
x
3
+
1
2
lim
x0
+
2ln ln(ln x)
ln(ln x)ln xx
[1 + ln(ln x)] +
(ln ln(ln x))
2
ln xx
2
_
x
3
=
1
2
lim
x0
+
x
2
ln(ln x) ln x

1
2
lim
x0
+
1
ln(ln x) ln x
lim
x0
+
ln ln(ln x)[1+ln(ln x)]
1
_
x
2

1
4
lim
x0
+
1
ln x
lim
x0
+
(ln ln(ln x))
2
1
_
x
2
=
1
2
lim
x0
+
1
ln(lnx)ln x

_
lim
x0
+
1
ln(lnx)ln x
lim
x0
+
1+ln(lnx)
2
_
x
2
+lim
x0
+
1
ln x
lim
x0
+
ln ln(lnx)
2
_
x
2
_

1
4
lim
x0
+
1
ln x
lim
x0
+
1
ln(ln x) ln x
lim
x0
+
2 ln ln(ln x)
2
_
x
2
=
1
2
lim
x0
+
1
ln(lnx)lnx

_
1
2
lim
x0
+
1
ln(lnx)lnx
lim
x0
+
x
2
2lnx
+
1
2
lim
x0
+
1
lnx
lim
x0
+
x
2
2 ln(lnx)lnx
_

1
4
lim
x0
+
1
ln x
lim
x0
+
1
ln(ln x) ln x
lim
x0
+
x
2
2 ln(ln x) ln x
= 0.
Encontramos, nalmente, o limite de Q
n
:
lim
n
Q
n
= lim
n
ln ln ln n
ln n
ln
_
1+
1
n
_
ln
_
1+
1
n
_
n
ln
_
1+
ln (1+1/n)
ln n
_ ln n
ln(1+1/n)
e
1
n
= 0.
Assim, aps analisar os quatro limites, conclumos que lim
n
Z
n
= 0 < 1, ento
a srie diverge para o caso p = 1.
Observao. Considerando os ltimos exemplos, e observando atentamente a
lgica de sua construo, podemos ver que possvel compor exemplos que ex-
igem testes cada vez mais sosticados para a sua anlise, ainda mais nos que os
apresentados neste estudo.
Convergncia de sries baseada no teorema de Kummer 101
5. Testes com limites superiores e inferiores
Notamos que os limites requisitados nos testes da seo 3 podem no existir.
Para contornar esta possvel situao problemtica, convm tratar de limites supe-
riores e inferiores, que sempre existem.
Reformulamos primeiramente o teste de Kummer [1, 2].
Teorema (teste) de Kummer com limites superior e inferior. Consid-
eramos uma srie

a
n
, com a
n
> 0. Seja tambm

d
n
, d
n
> 0, uma srie
divergente auxiliar, com K
n
denida pela frmula (4). Ento:
1) Se lim
n
K
n
> 0, ento a srie

a
n
converge;
2) Se lim
n
K
n
< 0, ento a srie

a
n
diverge.
A demonstrao deste teste feita da mesma maneira como a prova com limites
usuais.
Usando o teste de Kummer, podemos obter todos os testes da seo 3, em
verses com limites superiores e inferiores. Por exemplo, apresentamos abaixo os
testes reformulados de DAlembert e de Raabe [1, 2, 5].
Teste de DAlembert com limites superior e inferior. Seja uma srie

a
n
.
Assim:
1) Se lim
n
D
n
> 1, ento a srie

a
n
converge;
2) Se lim
n
D
n
< 1, ento

a
n
diverge.
Teste de Raabe com limites superior e inferior. Consideremos uma srie

a
n
. Logo:
1) Se lim
n
R
n
> 1, ento a srie

a
n
converge;
2) Se lim
n
R
n
< 1, ento

a
n
diverge.
A seguir apresentamos cinco exemplos de sries para as quais os testes com
limites usuais no funcionam, enquanto que possvel obter concluses a partir
dos testes de DAlembert e de Raabe na forma com limites superior e inferior.
Exemplo 1. Vericar o comportamento da srie

+
n=1
n
2
(3+2(1)
n
)
3
n+(1)
n .
Observando que a
2n
=
20n
2
3
2n+1
e a
2n+1
=
(2n+1)
2
3
2n
, chegamos concluso que
lim
n
D
n
= lim
n
D
2n
= lim
n
a2n
a2n+1
=
5
3
e lim
n
D
n
= lim
n
D
2n1
= lim
n
a2n1
a2n
=
27
5
.
O teste de DAlembert com limites usuais no funciona neste caso, j que lim
n
D
n
no existe. Porm, como lim
n
D
n
=
5
3
> 1, conclumos que a srie converge atravs
deste teste na forma com limites superior e inferior.
Exemplo 2. Analisar a convergncia da srie

+
n=1
n
3
n
_
5 +sen
_
n
2
__
.
Notamos que:
102 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
a
4n
=
5 4n
3
4n
, a
4n+1
=
6 (4n + 1)
3
4n+1
, a
4n+2
=
5 (4n + 2)
3
4n+2
, a
4n+3
=
4 (4n + 3)
3
4n+3
.
Assim:
D
4n
=
a
4n
a
4n+1
=
5 4n 3
4n+1
3
4n
6 (4n + 1)

n
5
2
;
D
4n+1
=
a
4n+1
a
4n+2
=
6 (4n + 1) 3
4n+2
3
4n+1
5 (4n + 2)

n
18
5
;
D
4n+2
=
a
4n+2
a
4n+3
=
5 (4n + 2) 3
4n+3
3
4n+2
4 (4n + 3)

n
15
4
;
D
4n+3
=
a
4n+3
a
4n+4
=
4 (4n + 3) 3
4n+4
3
4n+3
5 (4n + 4)

n
12
5
.
Logo, obtemos que lim
n
D
n
= lim
n
a4n+3
a4n+4
=
12
5
> 1 e lim
n
D
n
= lim
n
a4n+2
a4n+3
=
15
4
,
onde o primeiro limite mostra que a srie dada converge.
Exemplo 3. Determinar o comportamento da srie

+
n=1
1
(5n+(1)
n
)
2
.
Consideramos D
n
e R
n
dados pelas expresses (1) e (2) respectivamente. Ob-
servamos que a
2n
=
1
(10n+1)
2
e a
2n+1
=
1
(10n+4)
2
. Como lim
n
D
n
= lim
n
D
2n
=
lim
n
D
2n1
= 1, o teste de DAlembert inconclusivo. No entanto, podemos de-
terminar a convergncia atravs do teste de Raabe na forma com limites superior
e inferior:
lim
n
R
n
= lim
n
R
2n
= lim
n
2n(D
2n
1)= lim
n
2n
_
(10n+4)
2
(10n+1)
2
1
_
= lim
n
30n(4n+1)
(10n+1)
2
=
6
5
;
lim
n
R
n
= lim
n
R
2n1
= lim
n
((2n 1) (D
2n1
1))
= lim
n
(2n 1)
_
(10n + 1)
2
(10n 6)
2
1
_
= lim
n
35 (2n 1) (4n 1)
(10n 6)
2
=
14
5
.
Como lim
n
R
n
=
6
5
> 1, conclumos que a srie dada converge.
Exemplo 4. Estudar a convergncia da srie

+
n=1
_
5n +sen
_
n
2
__
2
.
Notamos que a
4n
=
1
(20n)
2
, a
4n+1
=
1
(20n+6)
2
, a
4n+2
=
1
(20n+10)
2
e a
4n+3
=
1
(20n+14)
2
. Como lim
n
D
n
= lim
n
D
4n
= lim
n
D
4n+1
= lim
n
D
4n+2
= lim
n
D
4n+3
=1,
o teste de DAlembert no funciona. No entanto, possvel vericar o comporta-
mento da srie usando o teste de Raabe com limites superior e inferior. De fato:
lim
n
R
4n
= lim
n
4n(D
4n
1)= lim
n
4n
_
(20n + 6)
2
(20n)
2
1
_
= lim
n
48n(20n + 3)
(20n)
2
=
12
5
;
Convergncia de sries baseada no teorema de Kummer 103
lim
n
R
4n+1
= lim
n
((4n + 1) (D
4n+1
1)) = lim
n
32 (4n + 1) (5n + 2)
(20n + 6)
2
=
8
5
;
lim
n
R
4n+2
= lim
n
((4n + 2) (D
4n+2
1)) = lim
n
32 (4n + 2) (5n + 3)
(20n + 10)
2
=
8
5
;
lim
n
R
4n+3
= lim
n
((4n + 3) (D
4n+3
1)) = lim
n
4 (4n + 3) (60n + 51))
(20n + 14)
2
=
12
5
.
Portanto, lim
n
R
n
= lim
n
R
4n+1
= lim
n
R
4n+2
=
8
5
e lim
n
R
n
= lim
n
R
4n
=
lim
n
R
4n+3
=
12
5
. Como lim
n
R
n
=
8
5
> 1, obtemos a convergncia da srie dada
pelo teste de Raabe.
Exemplo 5. Vericar o comportamento da srie

+
n=1
1

7n+2(1)
n
.
Notamos que a
2n
=
1

14n+2
e a
2n+1
=
1

14n+5
. O teste de DAlembert no
aplicvel, pois lim
n
D
n
= lim
n
D
2n
= lim
n
D
2n1
= 1. Usamos o teste de Raabe
na forma com limites superior e inferior:
lim
n
R
n
= lim
n
R
2n
= lim
n
2n
_
(14n + 5)
1
2
(14n + 2)
1
2
1
_
= lim
n
6n
(14n + 2)
1
2
_
(14n + 5)
1
2
+ (14n + 2)
1
2
_
1
=
3
7
lim
n
_
1 +
1
7n
_

1
2

_
_
1 +
5
14n
_1
2
+
_
1 +
1
7n
_1
2
_
1
=
3
14
;
lim
n
R
n
= lim
n
R
2n1
= lim
n
(2n 1)
_
(14n)
1
2
(14n 9)
1
2
1
_
= lim
n
9 (2n 1)
(14n 9)
1
2
_
(14n)
1
2
+ (14n 9)
1
2
_
1
= lim
n
9 (2n 1)
14n

_
1
9
14n
_

1
2

_
1 +
_
1
9
14n
_1
2
_
1
=
9
14
.
Logo, como lim
n
R
n
=
9
14
< 1, obtemos a divergncia.
Observao. Os cinco exemplos apresentados servem para mostrar que, quando
os testes da seo 3 com limites usuais no podem ser aplicados, as suas formas
mais gerais com limites superiores e inferiores podem ser conclusivas a respeito da
convergncia ou divergncia das sries dadas.
No entanto, existem situaes onde os testes com limites superiores e inferiores
no so sucientes para analisar a convergncia ou divergncia de uma srie, isto ,
a hierarquia apresentada nem sempre se aplica. Este ponto ser tratado na prxima
seo.
104 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
6. Restries na aplicao da hierarquia de Kummer
Como foi dito, embora bastante renados, os testes apresentados na seo 3 no
funcionam em qualquer situao. Mesmo em suas formas mais gerais, com limites
superiores e inferiores, estes testes nem sempre se mostram ecientes. Em primeiro
lugar, o teste de Kummer no apresenta resposta quando K = 0, fazendo com que
a hierarquia construda com d
n
= 1,
1
n
,
1
nln n
, e assim por diante, carregue esta
imperfeio.
Existe ainda outro caso quando possvel mostrar que estes testes no so
aplicveis, o que pode ser visto na seguinte proposio [2].
Proposio. Se lim
n
D
n
= G > 1 > g = lim
n
D
n
, com D
n
dado por (1),
ento a categoria de testes baseados no teste de Kummer, que seguem a lgica de
construo dos testes apresentados, isto , com d
n
= 1,
1
n
,
1
nln n
, e assim por
diante, no apresentar respostas.
Prova
Tomamos D
n
, R
n
e B
n
dados pelas expresses (1), (2) e (3). Diretamente
notamos que o teste de DAlembert inconclusivo.
Consideramos o teste de Raabe. Se lim
n
D
n
= G > 1 > g = lim
n
D
n
, escolhe-
mos P e p tais que G > P > 1 > p > g. Assim, por um lado, D
n
> P, para uma
sequncia de valores de n, e para estes, R
n
> n (P 1), resultando em
lim
n
R
n
= +. (7)
Por outro lado, D
n
< p, para uma segunda sequncia de valores, e nesta R
n
<
n (p 1), de onde segue que
lim
n
R
n
= . (8)
De (7) e (8) conclumos que o teste de Raabe no funciona.
Passamos ao teste de Bertrand. J foi mencionado na seo 3 (veja Corolrio 3)
que K
n
= B
n

_
1 +
1
n
_
ln
_
1 +
1
n
_
n
, se considerar d
n
=
1
nln n
. Assim, utilizando
o teste de Bertrand com limites superior e inferior, temos:
lim
n
K
n
= lim
n
B
n
lim
n
_
1+
1
n
_
ln
_
1+
1
n
_
n
= lim
n
ln n(n (D
n
1)1)1 =.
Tal valor obtido porque lim
n
D
n
= g < 1; logo, lim
n
(D
n
1) = g 1 < 0,
implicando em lim
n
B
n
= . De modo anlogo, obtemos que lim
n
K
n
= +.
Portanto, conclumos que o teste de Bertrand no gera resposta.
A anlise dos testes dados nos Teoremas 1 e 2, escolhendo d
n
da forma d
n
=
(n ln n ln ln n)
1
, (n ln n ln ln n ln ln ln n)
1
e, em outros testes que podem ser
construdos com d
n
= (n ln n ln ln n ln ln ln n ln ln ln ln n)
1
e assim por diante,
pode ser demonstrada similarmente. E isto ocorrer com toda a hierarquia de
Convergncia de sries baseada no teorema de Kummer 105
Kummer, ou seja, nos testes onde a razo dada por D
n
aparece desta maneira
sistemtica.
Observao. A proposio fala a respeito de uma restrio relacionada razo
D
n
, mas importante notar que, se as outras expresses como R
n
, B
n
, A
n
e assim
sucessivamente, conservarem esta restrio da proposio, isto , se lim
n
R
n
=
G > 1 > g = lim
n
R
n
ou lim
n
B
n
= G > 1 > g = lim
n
B
n
ou lim
n
A
n
=
G > 1 > g = lim
n
A
n
, estas faro com que os prximos testes da hierarquia no
funcionem. Por exemplo, se lim
n
B
n
= G > 1 > g = lim
n
B
n
, os critrios mais
gerais aos de Bertrand sero inconclusivos, apresentando seus limites inferiores
menores que 1, e os superiores maiores que 1; mas para que isto ocorra, logicamente,
os casos particulares deste (de DAlembert e de Raabe), tambm no funcionaro,
apresentando seus limites inferiores iguais a 1, o mesmo ocorrendo com os limites
superiores.
Os seguintes exemplos serviro para ilustrar a ltima proposio.
Exemplo 1. Analisar a convergncia da srie

+
n=1
2
(1)
n
n
.
Observamos que a
2n
= 2
12n
e a
2n+1
= 2
22n
. Portanto:
lim
n
D
n
= lim
n
D
2n
= 8 > 1 >
1
2
= lim
n
D
2n1
= lim
n
D
n
e assim o teste de DAlembert inconclusivo. O teste de Raabe tambm no
funciona, j que:
lim
n
R
n
= lim
n
R
2n1
= lim
n
((2n 1) (D
2n1
1)) = ,
pois (D
2n1
1)
n

1
2
< 0;
lim
n
R
n
= lim
n
R
2n
= lim
n
(2n (D
2n
1)) = +,
porque (D
2n
1)
n
7 > 0.
Pode-se ainda analisar para todos outros testes oriundos do teste de Kummer
e notar que eles no traro respostas, justamente por que lim
n
D
n
= G > 1 > g =
lim
n
D
n
, o que era de se esperar pelo que foi demonstrado na ltima proposio.
Porm, fcil obter a convergncia da srie usando o teorema de comparao,
pois a
n
=
1
2
n(1)
n
1
2
n1
, e

+
n=1
1
2
n1
converge (srie geomtrica de razo menor
que 1).
Exemplo 2. Vericar o comportamento da srie

+
n=1
2
n(1)
n
.
Analogamente ao exemplo anterior, lim
n
D
n
= lim
n
D
2n
=
1
8
< 1 < 2 =
lim
n
D
2n1
= lim
n
D
n
, indicando que o teste de DAlembert no conclusivo. E
o teste de Raabe tambm, visto que:
106 L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke
lim
n
R
n
= lim
n
R
2n
= lim
n
2n(D
2n
1) = ,
pois (D
2n
1)
n

7
8
< 0;
lim
n
R
n
= lim
n
R
2n1
= lim
n
((2n 1) (D
2n1
1)) = +,
porque (D
2n1
1)
n
1 > 0.
Assim, pode-se ainda analisar para todos outros testes oriundos do teste de
Kummer e notar que eles no sero ecientes, usando os mesmos raciocnios.
Entretanto, a
n
= 2
n(1)
n
no tende a zero quando n tende a innito, o que
mostra que a srie dada diverge.
Exemplo 3. Determinar o comportamento da srie

+
n=1
1
(n(1)
n
)
2
.
Como a
2n
=
1
(2n1)
2
e a
2n+1
=
1
(2n+2)
2
, podemos observar que:
lim
n
D
n
= lim
n
D
2n
= lim
n
D
2n1
= 1,
o que mostra que o teste de DAlembert no funciona.
Ao mesmo tempo, ao analisar pelo teste de Raabe na forma com limites superior
e inferior, temos:
lim
n
R
n
= lim
n
R
2n
= lim
n
2n(D
2n
1) = lim
n
2n (12n + 3)
(2n + 1)
2
= 6 ,
lim
n
R
n
= lim
n
R
2n1
= lim
n
((2n1) (D
2n1
1))= lim
n
(2n1) (14n)
4n
2
= 2.
Logo, como lim
n
R
n
= 6 > 1 e lim
n
R
n
= 2 < 1, o teste de Raabe mostra-se
inconclusivo.
Porm, como
1
(n(1)
n
)
2

1
(n1)
2
, e a srie

+
n=1
1
(n1)
2
converge, temos que
a srie dada tambm converge pelo teorema de comparao.
Observao. Os exemplos acima mostram que uma categoria muito renada de
testes no funciona, enquanto critrios simples oferecem resultados. E isto acontece
pelo simples fato de termos lim
n
D
n
= G > 1 > g = lim
n
D
n
(situao que ocorre
nos exemplos 1 e 2) ou lim
n
R
n
= G > 1 > g = lim
n
R
n
(exemplo 3).
importante notar que o Teorema de Kummer, embora origine parcela signi-
cativa de testes conhecidos e utilizados atualmente, no o nico caminho para
formulaes sistematizadas de testes renados. Semelhantemente, critrios podem
ser construdos visando generalizao de outros testes conhecidos (como por exem-
plo, o de Cauchy), o que j no faz parte deste trabalho.
Convergncia de sries baseada no teorema de Kummer 107
Referncias
1. D.D. Bonar, M.J. Khoury, Real Innite Series. MAA, Washington, 2006.
2. T.J.I. Bromwich, An Introduction to the Theory of Innite Series. AMS, Providence, 2005.
3. G.M. Fichtenholz, Innite series: Rudiments. Gordon and Breach Pub., New York, 1970.
4. G.M. Fichtenholz, Innite series: Ramications. Gordon and Breach Pub., New York, 1970.
5. J.M. Hyslop, Innite Series. Dover Pub., New York, 2006.
6. V.A. Ilyin, E.G. Poznyak, Fundamentals of Mathematical Analysis, Vol.1, Mir Publishers,
Moscow, 1982.
7. K. Knopp, Theory and Application of Innite Series. Dover Pub., New York, 1990.
8. W. Rudin, Principles of Mathematical Analysis. McGraw-Hill, New York, 1976.
9. H. Samelson, More on Kummers Test. American Mathematical Monthly, 102 (1995), 817-818.
10. M. Spivak, Calculus. Publish or Perish, Houston, 1994.
11. J. Tong. Kummers Test Gives Characterizations for Convergence or Divergence of all Positive
Series. American Mathematical Monthly, 101 (1994), 450-452.
Andrei Bourchtein
Departamento de Matemtica,
Universidade Federal de Pelotas,
Pelotas RS Brasil
E-mail address: andburstein@gmail.com