Sequencia de Se Calcular Series

Bol. Soc. Paran. de Mat.
Essays
c
SPM
ISSN-2175-1188 on line
SPM: www.spm.uem.br/bspm
(3s.) v. 29 2 (2011): 83107.

ISSN-00378712 in press
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 specific tests, starting from the
well-known simple criteria with a less range of application, and reaching more sophisticated 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 convergncia de sries numricas positivas, para construir uma hierarquia de testes especficos, partindo dos critrios conhecidos mais simples e de menor rea de aplicao, e
chegando at mais sofisticados e de maior abrangncia. Construmos vrios exemplos 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 Classification: 40A05, 97I30
83
Typeset by BSP
style.
M
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, precisamos 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 finos 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 refinamento sucessivo, de
tal modo que o prximo teste da famlia aplicvel a um conjunto de sries mais
amplo do que o seu predecessor.
Especificamente, neste trabalho nos concentramos na sistematizao da abordagem 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 sofisticados e de maior abrangncia. 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 finos. 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 desenvolvimento da teoria de Kummer nas prximas sees.
P
Definio. Uma srie
an chamada convergente, se existe o limite finito das
somas parciais desta srie. Caso contrrio a srie dita divergente.
Observao. Para simplificar notaes, ir se entender por
p N.
an , a srie
P+
n=p
an ,
P
Condio necessria de convergncia. Se uma srie an convergente, ento
o termo geral an tende a zero quando n tende a infinito.
Convergncia de sries baseada no teorema de Kummer
85
Observao.P Equivalentemente, se an no tende a zero quando n tende a infinito, ento

an diverge (por isso, o resultado chamado, tambm, de teste da
divergncia).
Critrio de convergncia para sequncias montonas. Uma sequncia montona converge se, e somente se, ela limitada.
Neste estudo,
sero consideradas apenas sries de termos positivos, isto , sries
P
da forma
an com an > 0, n = p, p + 1, .... Vamos cham-las, tambm, de sries
positivas. Os trs resultados a seguir so vlidos para tais sries.
P
P
Teorema de comparao. Sejam as sriesPde termos positivos Pan e
bn ,
onde 0 < an bn , n = p, p + 1, .... Se a srie
bnP
convergir, ento
aP
tambm
n
ser convergente. De modo equivalente, se a srie
an divergir, ento
bn ser
divergente.
P
Teste integral. Seja
an uma srie de termos positivos. Se existe uma funo
f (x) definida em [p, +), contnua e montona neste intervalo, e, alm disso,
R +
P
f (n) = an , n, ento a srie an e a integral p f (x)dx, convergem ou divergem
simultaneamente.
Critrio de convergncia para sries positivas. Uma srie de termos positivos 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 vizinhana perfurada do ponto a, com a derivada da funo g diferente de zero. Supe-se
tambm que lim f (x) = lim g(x) = 0, ou lim f (x) = e lim g(x) = . Nesxa
xa
xa
xa
(x)
(x)
, ento existir lim fg(x)
, e estes sero
sas condies, se existir o limite de lim fg (x)
xa
xa
iguais.
Finalmente, introduzimos as seguintes notaes que sero usadas nas prximas

sees:
an
;
(1)
Dn =
an+1

an
Rn = n
1 ;
(2)
an+1

an
1 1 ;
(3)
Bn = ln n n
an+1
86
Kn =
X
an
1
1
, onde
dn , com dn > 0, diverge.
dn an+1
dn+1
(4)
3. Teste de Kummer e suas consequncias
O seguinte teorema conhecido servir de base para a construo de uma hierarquia de testes refinados para investigao do comportamento de sries. Para forma
completa da exposio, apresentamos este resultado junto com sua demonstrao
[2, 4, 7].
P
Teorema (teste) de Kummer. Seja umaP
srie
an de termos positivos. Alm
disso, consideremos Kn dado por (4), onde
dn uma srie auxiliar, tambm de
termos positivos, divergente. Suponhamos que lim Kn = K. Logo:
n
P
1) Se K > 0, ento a
srie
a
converge;
n
P
2) Se K < 0, ento
an diverge.
Prova
1) Consideremos lim Kn = K, K > 0. Da definio de limite, segue que
n+
K
>
para = 2 ), existe N tal que n > N ,temos:

0, (particularmente
an+1
an
an
K
1
2
1
>
K
,
implicando
que
a
<
n+1
dn an+1
dn+1
2
K
dn
dn+1 .
E disto, obtemos:
n+1
X
v=N +1
2
av <
K
aN
an+1
dN
dn+1
<
2 aN
.
K dN
Logo, analisando as somas parciais, podemos ver que estas so limitadas:

Sn+1 =
n+1
X
av =
v=1
N
X
v=1
av +
n+1
X
v=N +1
av < SN +
2 aN
= c, n,
K dN
onde c uma constante. Assim, como {Sn } limitada superiormente e tambm

crescente, segue que existe o limite finito lim Sn = S, implicando na convergncia
n+
P
de
an .
2) Consideremos lim Kn = K, K < 0. Da definio de limite, segue que
n+
K
>
0, (particularmente
para = 2 ), existe N tal que n > N , temos:
an
an
1
1
K
dn an+1 dn+1 < K + = 2 < 0, e ento an+1 > dn dn+1 .
aN
Logo,
de comparao, como an > c dn
P aN +m > dN dN +m , m N . Pelo teorema
P
e
dn diverge da condio inicial, ento
an diverge.
P
Observao 1. importante notar que a divergncia da srie P dn usada
somente na segunda parte da demonstrao, visto que na primeira,
dn pode ser
qualquer.
Observao 2. O teorema de Kummer, assim como qualquer teste especfico
decorrente dele, pode ser formulado, tambm, na forma sem limites [4, 7, 11].
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 dn , possvel construir testes de diversos
graus de refinamento, como visto a seguir.
Corolrio
1. Tomando dn = 1 para o teste de Kummer ( fcil verificar que a
P
srie
dn diverge, porque dn no tende a zero quando n tende a infinito), temos
a relao de que Kn = Dn 1, onde Dn e Kn so definidas 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]:
P
Teste de DAlembert (ou teste da Razo). Dada a srie
an , suponha que
lim Dn = D. Assim:
n
P
1) Se D > 1, ento
a converge;
P n
2) Se D < 1, ento
an diverge.
Corolrio 2. Se escolhermos dn = n1 no teste de Kummer (nota-se que a srie

P
1
n diverge), ento Kn = Rn 1, onde Rn e Kn so definidos pelas expresses
(2) e (4). Desta maneira, o teste a seguir construdo [2, 4, 6, 7].
P
Teste de Raabe. Considere uma srie
an e admita que lim Rn = R. Logo:
n
P
1) Se R > 1, ento
an converge;
P
2) Se R < 1, ento
an diverge.
1
Corolrio 3. Tomando dn = nP
ln n no teste de Kummer ( fcil provar, us1
ando o teste integral,
que a srie
n ln n diverge), encontramos que Kn = Bn

1
(n + 1) ln 1 + n , onde Bn e Kn so definidos pelas expresses (3) e (4), respectivamente. Assim, chegamos ao seguinte teste [2, 4, 7]:
P
Teste de Bertrand. Seja a srie
an . Suponha que lim Bn = B. Assim:
n
P
1) Se B > 1, ento
an converge;
P
2) Se B < 1, ento
an diverge.
Corolrio 4. Como consequncia dos Corolrios 1, 2 e 3, obtemos o teste de

Gauss [2, 4, 7].
P
n
= + n + nn , com > 1
Teste de Gauss. Dada a srie
an , suponha que aan+1
e n limitada. Logo:
P
1) Se > 1, ento
an converge e caso < 1, esta diverge;
P
2) Se = 1, sendo 6= 1, temos que
an converge se > 1, e diverge quando
< 1;
P
3) Se = 1 e = 1, a srie
an diverge.
Prova

n
1) D = lim Dn = lim aan+1
= lim + n + nn = , onde 6= 1 e as
n
n
n
concluses seguem diretamente do teste de DAlembert.
88

n
n
1 = lim + n1
= , onde 6= 1 e o
2) R = lim Rn = lim n aan+1
n
n
n
teste de Raabe aplicado.

n
3) B= lim Bn= lim ln n n aann+1 1 1 = lim ln n n n1 +nn 1 = lim nln1
n=0<1,
n
n
n
n
pois n limitada e > 1. Segue desta ltima a divergncia pelo teste de Bertrand.
Seguindo essa linha de construo de testes mais refinados, 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:

an
An = ln ln n ln n n
1 1 1
(5)
an+1

an
Zn = ln ln ln n ln ln n ln n n
1 1 1 1 .
(6)
an+1
Teorema 1. Seja uma srie
an , an > 0. Suponhamos que lim An = A, onde

n
An dado pela frmulaP

(5). Assim:
1) Se A > 1, ento P an converge;
2) Se A < 1, ento
an diverge.
Prova
1
Consideremos
P Kn dado pela expresso (4), com dn = nln nln ln n (sendo a divergncia de
dn facilmente verificada pelo teste integral). Ento
an
(n + 1) ln(n + 1) ln ln(n + 1)
an+1

an
1
= ln ln n n ln n
(n + 1) ln n + ln 1 +
an+1
n

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

n
ln n
n+1
ln (1 + 1/n) ln(1+1/n)
1
= An + Ln
ln 1 +
ln 1 +
n
n
ln n

n

1
ln (1 + 1/n)
n+1
ln 1 +
ln 1 +
,
n
n
ln n

onde Ln = ln ln n 1 (n + 1) ln 1 + n1 .
simples verificar que o terceiro aditivo tem limite igual a 1 e o quarto, a 0.
Para o clculo do limite de Ln , 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:

x (1 + x) ln(1 + x)
1
= lim
lim Ln = lim ln ln n 1 (n + 1) ln 1 +
n+
n+
n
x(ln( ln x))1
x0+
Kn = n ln n ln ln n
89
1
1
(ln(ln x))2 ln x
ln(1 + x)
= lim+
lim+
1
1
1
ln(ln x))
(1(ln x) (ln(ln x)) ) x0 1+x x0
1/x
= lim+
x0
= lim+
x0
2 ln(ln x) + (ln(ln x))2

2 + 2 ln(ln x)
2x
= lim+
= lim+
= 0.
x1
x1 ln x
x0
x0 ln x(1 ln x)
Logo,
K = lim Kn = lim (An + Ln ) 1 lim An = K 1 = A,

n+
n+
n+
sendo A = lim An , e seguem diretamente as concluses do teste de Kummer, ou

n+
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
an , an > 0. Suponhamos que lim Zn = Z, com

n
Zn definido por (6). Assim:

P
1) Se Z > 1, ento P an converge;
2) Se Z < 1, ento
an diverge.
Prova
1
Consideremos
P Kn dado pela frmula (4), com dn = nln nln ln nln ln ln n (sendo a
divergncia de
dn verificada a partir do teste integral). Logo:
Kn = n ln n ln ln n ln ln ln n
an
(n + 1) ln(n + 1) ln ln(n + 1) ln ln ln(n + 1)
an+1
an
(n + 1) ln(n + 1) ln ln n ln ln ln n
an+1

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

ln(1+1/n)

ln
1
+
ln n
ln (1 + 1/n)
(n + 1) ln(n + 1) ln ln n + ln 1 +
ln 1 +
ln n
ln ln n
= n ln n ln ln n ln ln ln n

an
(n + 1) ln n ln ln nln ln n 1 +ln ln ln n ln ln n
= ln ln ln n n ln n ln ln n
an+1

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

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

!
ln(1+1/n)
1

ln
1
+
ln n
ln (1 + 1/n)
+ 1 ln 1 +
ln ln n ln 1 +
ln n
ln ln n
90
= Zn + Un + En Gn Jn n ,
onde Zn dado pela frmula (6),

1
,
Un = ln ln ln n ln ln n 1 (n + 1) ln 1 +
n

ln (1 + 1/n)
En = ln ln ln n 1 (n + 1) ln n ln 1 +
,
ln n

ln (1 + 1/n)
1
ln 1 +
ln ln ln n,
Gn = (n + 1) ln 1 +
n
ln n

ln (1 + 1/n)
,
Jn = (n + 1) ln (n + 1) ln 1 +
ln n
ln ln n

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

n+
lim Jn = lim
n+
1
ln 1 +
n
E ainda, temos:
n+
n
1+
1
n

ln (1 + 1/n)
1+
ln n
ln (1 + 1/n)
ln 1 +
ln n
ln n
ln(1+1/n)
= 1.

n

1
1
lim Gn = lim
ln 1 +
1+
n+
n+
n
n

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

ln ln ln n
1
= 0.
ln 1 +
n
ln n
Para calcular os limites de Un e En , passamos varivel contnua (trocando n1

por x) para poder usar a regra de LHospital. Assim, calculando o primeiro limite:
lim Un = lim+
n+
x0
x (1 + x) ln(1 + x)
x (ln(ln x))
(ln ln(ln x))
= lim+
x0
ln(1 + x)
(ln(ln x))
(ln ln(ln x))

1
1
1
1
1
1
lim+ 1 (ln x) (ln( ln x)) (ln x) (ln( ln x)) (ln ln( ln x))
x0
= lim
x0+
ln( ln x) ln ln( ln x)
ln ln( ln x) + 1
ln(1 + x)
lim
= lim
1
+
+
x
x
x1 ln x
x0
x0
x
= 0.
= lim+
x0 ln x ln( ln x) (ln x 1)
91
Passando ao segundo, temos:
lim En = lim+
n+
= lim
x0+
x0
1 (ln x)
lim
x0+

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

(ln x)1 + ln x ln 1
ln(1+x)
ln x
1
(ln ln( ln x))
1
ln(1+x)
+ x(lnln(1+x)
ln x
xln(1+x))
1
(ln ln( ln x))
ln x

ln ln( ln x)
ln (1 + x) ln(1+x) ln(1 + x) ln ln( ln x)
= lim
+ lim ln 1
ln x
ln x
x
x1
x0+
x0+
+ lim+
x0
Logo,
ln ln( ln x)
ln(1 + x)
= 0.
x
ln x ln(1 + x)
lim (Zn + Un + En Hn Jn n ) = lim Zn 1 = Z 1 = K.
n+
n+
Ou seja, lim Zn = K + 1 = Z. Portanto:

n+
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 finos podem ser construdos
de modo anlogo
P
a partir do teste de Kummer, usando as sries divergentes
dn , em que
dn = (n ln n ln ln n ln ln ln n ln ln ln ln n)
dn = (n ln n ln ln n ln ln ln n ln ln ln ln n ln ln ln ln ln n)
e assim por diante, onde a divergncia destas verificada 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!
n=1 (2+ 1)(2+ 2)...(2+n) .
P+
92
Primeiro, calculamos
2
n!
(2+ 1)(2+ 2)...(2+ n)(2+ n+1)
= 1+
.
Dn =

n+1
(2+ 1)(2+ 2)...(2+ n)
n + 1 n!

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

12
1
2
1
2
= + > 1.
1 = lim 2n 1 +
lim Rn = lim n 1 +
n+
n+
n+
n
n+1

P+
.
(n n) ln2 n
Notamos que o teste de Raabe no gera resultado para esta srie, pois

(n + 1 n + 1) ln2 (n + 1)
lim Rn = lim n
n
n
(n n) ln2 n
( "

2 #

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

n
n 2 )
1
2
1
1
= lim
ln 1 +
ln 1 +
+
n
ln n
n
n
n ln2 n
2

1
ln (1+1/n)
n
lim 1+
lim 1 n+1+ n = 1 lim
+ lim
= 1.
n n+1+ n
n
n n n n
ln n
Exemplo 2. Estudar o comportamento da srie
n=2
Mas usando o teste de Bertrand, obtemos a convergncia:

(n+1 n+1) ln2 (n+1)(n n) ln2 n

1
lim Bn = lim ln n n
1 = lim
n
n
n 11/ n
(n n) ln2 n

2
2
2
(ln n+ln (1+1/n)) ln2 n
n+1
ln
(n+1)
ln
n
n
ln
n
lim (n+1)
+
n
ln n
ln n
n ln n
"
n

n 2 #

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

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

ln 1+
ln 1+
n
n
n
n n ln n
n1/2
(
ln n
= 2 lim
= 2 > 1.
n
n+1+ n
p
P+
Exemplo 3. Verificar a convergncia da srie n=1 135...(2n1)
246...2n
1
nq .
93
Comeamos da razo Dn :
p
q

(n + 1)q
2 4 6 . . . 2n(2n+2)
1 3 5 . . . (2n1)
Dn =
2 4 6 . . . 2n
nq
1 3 5 . . . (2n1)(2n+1)

p
q

q
1
1
(2n + 2)p
1
= 1+
1+
=
1+
(2n + 1)p
n
2n + 1
n
!
k

+
+
X
X
1
q(q1) . . . (qj +1)
p(p1) . . . (pk+1)
1+
= 1+
k!
2n+1
j!nj
j=1
k=1
= 1+

(2n+1)q+pn q(q1)
pq
p(p1)
2q+p
1
.
+
+
+
+
.
.
.
=
1
+
+
O
n(2n+1)
2!n2
n(2n+1) 2!(2n+1)2
2n+1
n2
Daqui visto que o teste de DAlembert no se aplica. Usando o teste de Raabe:

1
2q + p
+O
1
lim Rn = lim n 1 +
n+
n+
2n + 1
n2

!
1
1
1
2q + p
(2q + p) 2 +
= lim
+nO
=
,
n+
n
n2
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:

an
2n+1
1
q+2n
1
q1
1
1
= 1+
+O 2 = 1+
+
+O 2 = 1+ +O 2 .
an+1
n(2n+1)
n
n(2n+1) n(2n+1)
n
n
n
Ento, pelo teste de Gauss, com = 2 > 1, = 1 e = 1 a srie diverge quando
p = 2 2q.
P+
1
1
Exemplo 4. Analisar o comportamento da srie n=2 a(1+ 2 +...+ n1 ) .
Observao. Aqui vamos considerar apenas o caso em que a > 1, pois se 0 < a
1, ento a srie diverge, j que an no tende a zero.
simples verificar que o teste de DAlembert no gera resultado,
porm apli 1
cando o teste de Raabe, obtemos que lim Rn = lim n a n 1 . Fazemos a
n+
n+
troca de varivel a n 1 = t n1 ln a = ln(1 + t), e como n n1 0

1
tln a
= lim ln a 1 = ln a. Ento, podemos
a n 1 = t 0, temos que lim ln(1+t)
t0
t0 ln(1+t) t
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:

1

1
lim Bn = lim ln n n e n 1 1 = lim ln n ne n (n + 1)
n+
n+
n+
94
= lim+ ( ln x)
x0
= lim
x0+

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

Aplicando o teste de Raabe, obtemos:
P+
n=2 a
(ln2)p
2
(ln3)p
3
+...+
(ln(n1))p
n1
p

ax( ln x) 1
1 = lim+
lim Rn = lim n a
n+
n+
x
x0

x( ln x)p
p
p1 1
= lim+ a
ln a ( ln x) xp( ln x) .
x
x0

p
= lim+ ( ln x)p ln a.
= lim+ ln a ( ln x)p lim+ 1 +
ln x
x0
x0
x0
Da ltima expresso visto que se p > 0, ento lim+ ( ln x)p = +, isto ,
(ln n)p
n
x0
lim+ Rn = +, resultando na convergncia da srie dada. Por outro lado, se
x0
p < 0, ento lim ( ln x)p = 0, de onde segue que R = lim Rn = 0, e a srie

x0+
diverge. O caso p = 0 foi analisado no exemplo anterior.

Exemplo 6. Investigar o comportamento da srie
p R.
Aplicando o teste de Raabe, temos:
x0+
1
(1+ 12 +...+ n1
1
),
n=2 (ln n)p a
P+

p
ln(1+x)

p

1
ax 1
ln x
1
1
1
lim Rn = lim n 1 +
ln 1 +
a n 1 = lim
n+
n+
ln n
n
x
x0+
!
p1 ln x
p

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

1
ln(1 + x)
1
= p lim+
+ lim+ ln a = ln a.
(1 + x)(ln x)
x
(ln x)2
x0
x0
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:

p
(ln(n + 1)) 1
n
e 1 1
lim Bn = lim ln n n
p
n+
n+
(ln n)

p

1
1
ln (1 + 1/n)
1
= lim n ln ne n
1+
1+
e n
n+
ln n
n
95
= lim ex lim
x0+
x0+

p 1
= lim+
x0
= p lim+
x0
ln(1+x)
ln x
p1
ln x
1+x
ln(1+x)
ln x
p
(1 + x) ex
x( ln x)1

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

+ lim+
x0
(ln x)1
xex
(1 + (ln x)1 )
ex
ln x
lim+ 1 = p.
1
1+(ln x)
x0 x
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
An na forma:

ln(n + 1) 1
An = ln ln n ln n n
en n 1 1
ln n

1
1
1
1
1
n
n
+ ln ln n n ln 1 +
e
e n = Hn + F n .
= ln ln n n ln n e 1
n
n
Primeiro, calculamos limite de Hn :

1
1
ex 1 x
lim Hn = lim n ln n ln ln n. e n 1
= lim+
n+
n+
n
x0 x( ln x)1 (ln( ln x))1
= lim+
x0
= lim
x0+
(ln x)1
ex 1
1
lim+
1
1
1
(ln x) .(ln( ln x))
(ln( ln x))1
x0 ( ln x)
ex
x
(ln x)2 (ln( ln x))
lim
=
lim
1 + (ln( ln x))1 x0+ (ln x)2 (ln( ln x))1
x1
x0+
2 ln x ln( ln x) + ln x
2 ln( ln x) + 3
2x
= lim
= lim
= 0.
x1
x1
x0+
x0+ ln x
Resolvemos agora o limite de Fn :

1
1
ln (1+x)xex
1
n
lim Fn = lim ln ln n n ln 1+
e
lim e n = lim
1
n+
n+
n+
n
x0+ x(ln(ln x))
= lim
x0+
= lim+
x0
= lim
x0+
1(1+x) ex +x (1 + x) ex
(ln( ln x))
1+e
(x 1)
(ln( ln x))
lim+
x0
= lim ex lim
x0+
2
1
1(ln(ln x))
x0+ (ln( ln x))
lim
(ln x)1
lim (x2 2x1)

x0+
= lim+
(ln( ln x)) ln x
2 ln( ln x) + (ln( ln x))
= lim+
1
x
x1
x0
= lim+
2
2 (1 + ln( ln x))
= lim+
= 0.
ln x x1
x0 ln x x1 (1 ln x)
x0
x0
(ln x)1 x0+ 1+x
96
Logo, lim An = lim (Hn + Fn ) = 0, e a srie diverge para o caso a = e, p = 1.

n+
n+
P+
1
1
Exemplo 7. Estudar a convergncia de n=3 ln n(ln1 ln n)p e(1+ 2 ++ n1 ) .
Primeiro, transformamos a expresso An do Teorema 1:

p
1
1
ln (1 + 1/n)
1
An = ln ln n n ln n 1 +
ln 1 +
en 1
ln ln n
ln n
n
p

1
1
ln (1 + 1/n)
en 1
ln 1 +
ln ln n
ln n

p
1
1
1
1 1
ln (1 + 1/n)
n
n
n
e
= n ln n ln ln n e 1 +
ln 1 +
e
ln ln n
ln n
n

p
1
1
ln (1+1/n)
1
ln (1+1/n)
+e n ln ln n n ln n
1+
ln 1+
e n = Ln +Mn .
ln n
ln ln n
ln n
+
ln (1 + 1/n)
ln n
1+
Resolvemos os limites de Ln e Mn em separado. Para o primeiro obtemos:

h

ip
1 + ln(1ln x) ln 1 ln(1+x)
ex xex
ln x
lim Ln = lim+
n+
x (ln x)1 (ln( ln x))1
x0

1
1
x(ln x)1 (ln(ln x))2
1
1
2 (ln(ln x)
= lim (ln x) (ln(ln x)) +x(ln x)
+
x
x ln x
x0+
(
p1

1 1
ln (1+x)
ln (1+x)
1
2
(ln(ln x))
ln 1
ln 1
p 1+
ln(ln x)
ln x
ln x x
ln x
)

#
ln x
1
1
1
ln(1 + x)
+ ex ex + xex
ln( ln x) 1 ln(1+x) ln2 x 1 + x
x
ln x

ln(1+x)

p1

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

1
ln(1 + x)
1
ln x ln( ln x) x
1
1+x
x
ln x ln(1 + x)
x1
lim+
x0
= p + p lim+
x0
(ln x)1
1
(ln x)1 (ln( ln x))1
ln x

ln (1+x) ln(1+x) ln(1+x)
1
ln(ln x)+1
ln 1
+ lim+
ln(ln x)
ln x
x ln x
x1
x0
= p lim
x0+
x
= p.
ln x
97
Agora calculamos o segundo:

x
lim Mn = lim+ e lim+

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

ln 1
ln(1+x)
ln x
p
xex
x(ln( ln x))1

p

1
1
ln(1+x)
1
1+
ln 1
= lim+
1
1+x
ln(ln x)
ln x
x0 (ln(ln x))1x(ln(ln x))2 (ln x) x1
"
#

ln(1+x)
ln x
(ln(ln x))2
ln(1+x)
1
1+x
x
1
+ ln(1+x)
ln 1
(ln(ln x))
ln xx
ln x
ln2 x
1 ln(1+x)
ln x
)

p1

1
ln (1 + x)
p 1+
ex + xex
ln 1
ln( ln x)
ln x
p

ex xex
1 + ln(1ln x) ln 1 ln(1+x)
ln x
1
= lim+
lim+
1
(ln( ln x))
x0
x0 1 + x

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

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

p1

1
ln (1+x)
ln (1+x)
ln(ln x)ln x
= p lim 1+
lim ln 1
ln 1
+ lim
ln(ln x)
ln x
ln x
x1
x0+
x0+
x0+

x ln x
ln(1+x)
1+x
lim
x
(1+x) ln x(ln xln(1+x))
x0+ x(1+x) ln x(ln xln(1+x))
x
ln( ln x) ln x
(ln( ln x))2 ln x
lim ex lim
= p lim
2
+
+
+
x
x1
x0
x0 ln x
x0

ln(1 + x)
1
1
lim
(1 + x) (ln x ln(1 + x))
x
ln x(ln x ln(1 + x))
x0+
lim
x0+
lim
x0+
x
(ln( ln x))2 ln x
lim
= p lim (x) lim (x) lim (x) = 0.
2
+
x
x0 ln x
x0+
x0+
x0+
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 An = lim Ln + lim Mn = p. Portanto se p > 1, ento a srie
x0+
x0+
x0+
converge; e se p < 1, esta diverge.

Para o caso quando p = 1, ser utilizado o Teorema 2. Assim:

ln(n + 1) ln ln(n + 1) 1
e n 1 1 1 1
Zn = ln ln ln n ln ln n ln n n
ln n ln ln n
98
Observamos que

1
ln(n + 1) ln ln(n + 1) = ln n ln ln n + ln ln n ln 1 +
n

1
1
1
1
1
+ ln n ln 1 +
ln 1 +
+ ln 1 +
ln 1 +
ln 1 +
.
ln n
n
n
ln n
n
E ento:
"

1
1
en
en
1
ln (1+1/n)
+
ln 1+
ln 1+
Zn = ln ln ln n ln ln n ln n n e +
ln n
n
ln ln n
ln n
1
n

1
1
ln (1 + 1/n)
1
+
ln 1 +
en 1 1 1 1
ln 1 +
ln n ln ln n
n
ln n

i
h 1
1
1
n
n
n
ln 1+
e 1
= ln ln ln nln ln nln n n e 1 1 +ln ln ln nln ln n ln n
ln n
n

1
ln (1 + 1/n)
n
en 1
ln 1 +
+ ln ln ln n ln ln n ln n
ln ln n
ln n

1
n
1
ln (1 + 1/n)
+ ln ln ln n ln ln n ln n
ln 1 +
ln 1 +
en
ln n ln ln n
n
ln n
= Ln + Mn + Pn + Q n .
Calculamos separadamente o limite de cada expresso. Para a primeira obtemos:
lim Ln = lim
x0+
ex 1 x
x(ln x)1 (ln( ln x))1 (ln ln( ln x))1

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

1 1
1
1
2 (ln( ln x))
+(ln x) (ln( ln x)) (ln ln( ln x))
ln x x
1
= lim x (ln x)2 (ln( ln x))1 (ln ln( ln x))1
x0+
99
ex
lim+
= lim
x0 1+(ln(ln x))1 +(ln(ln x))1 (ln ln(ln x))1 x0+
(ln x)2 ln(ln x)ln ln(ln x)

x1
2 ln x ln( ln x) ln ln( ln x) + ln x ln ln( ln x) + ln x

x1
x0

x
2 ln( ln x) ln ln( ln x) + 3 ln ln( ln x)
+
lim
3x
+
= lim+
x1
ln( ln x)
x0+
x0

2 ln ln(ln x)
2x
3x
2x
= lim
= lim
lim
+
= 0.
1
+
+
+
x ln x x0 ln x ln x ln( ln x)
x0
x0 ln(ln x)ln x(ln x1)
= lim+
Passamos ao limite de Mn :
lim Mn = lim ex lim
x0+
= lim
x0+
x0+
ln(1 + x) xex
x(ln( ln x))1 (ln ln( ln x))
1 ex xex + xex + x2 ex
(ln( ln x))1 (ln ln( ln x))
lim
x0+
1
1+x

1
1
1
lim+ 1 (ln x)1 (ln( ln x))1 (ln x)1 (ln( ln x)) (ln ln( ln x))
x0
ex
= lim
x0+
1 + (ln ln( ln x))
lim
x0+
2
= lim+
x0
x + 2x2 x3
(ln x)1 (ln( ln x))
(ln ln( ln x))

ln x (ln( ln x)) ln ln( ln x)
lim+ 1 + 2x x2
1
x
x0
2
= lim
x0+
= lim+
x0
(ln( ln x)) ln ln( ln x) + 2 ln( ln x) ln ln( ln x) + ln( ln x)

x1
2 ln( ln x) ln ln( ln x) + ln( ln x) + 2 ln ln( ln x)

x
3 lim+
1
ln x x
x0 ln x
= lim
x0+
+ lim+
x0
2 ln ln( ln x)
1
x
lim
+ 3 lim
1
2
1
+
+
x (ln x)
x0 1 (ln x)
x0 ln x(ln x 1)
2x
2x
= lim
=0.
ln x ln( ln x) (ln x 1) x0+ (ln x)2 ln( ln x) (2 ln x)
Calculamos agora o limite de Pn :

ln 1
lim Pn = lim e lim
= lim+
x0
lim+
x0
x0+
ln(1+x)
ln x
1
x (ln x)
x0+
+ x ex (ln x)
(ln ln( ln x))
1
1 (ln x)
(ln x)
(ln( ln x))
(ln ln( ln x))
x ln x(1+x) ln(1+x)
x
x
(ln x) ex (ln x)
(ln
xln(1+x))x(1+x) (ln x) +e (ln x) xe
1
(ln x)
(ln ln( ln x))
100
ln x (1ex (1+x))+ex (1+x)ln(1+x)

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

ln(1+x)
ln ln(ln x)
ln ln(ln x)
ln ln(ln x)
x
lim
lim
+ lim e lim
+ lim
x
1/x
ln x
x0+
x0+ ln xln(1+x) x0+
x0+
x0+
= lim
ex(1+x)ln(1+x)
ln x
1ex(1+x)
ln ln(ln x)

lim
+
lim
lim
1
ln(1+x)
+
+
+
+
ln(1+x)
ln x
x0
x0 ln x 1
x0 (ln ln(ln x))
x0
1 ln x
ln x
= lim
lim (1 + x) lim
x0+
x0+
1
1
1
x
1
lim
+ lim
+
+
ln( ln x) ln x x0 ln( ln x) ln x x0 ln( ln x) ln x
2
= lim+
x0
1
ex (1+x)ln(1+x)
ex (ln ln(ln x)) ln(ln x)ln x

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

2 x2
1
ln( ln x)
1
ln x
2 x3
1
x
1
+ lim+
2 x0
2ln ln( ln x)
ln( ln x)ln xx
[1 + ln( ln x)] +

2 x3
(ln ln( ln x))2

ln xx
x2
1
1
ln ln(ln x)[1+ln(ln x)]
1

lim+
lim+
= lim+
2 x0 ln(ln x) ln x 2 x0 ln(ln x) ln x x0
1 x2
2
1
1
(ln ln( ln x))

lim+
lim
4 x0 ln x x0+
1 x2
#
"
1
1
1+ln(lnx)
1
ln ln(lnx)
1

= lim+
lim
lim
+ lim+
lim
2 x0 ln(lnx)ln x x0+ln(lnx)ln x x0+ 2 x2
x0 ln x x0+ 2 x2
1
1
2 ln ln( ln x)
1

lim
lim
lim
4 x0+ ln x x0+ ln( ln x) ln x x0+
2 x2

1
1
1
1
1
x2
1
x2
= lim+
lim
lim
+ lim
lim
2 x0 ln(lnx)lnx 2 x0+ln(lnx)lnx x0+2lnx 2 x0+lnx x0+2 ln(lnx)lnx
1
1
x2
1
lim
lim
= 0.
lim
4 x0+ ln x x0+ ln( ln x) ln x x0+ 2 ln( ln x) ln x
Encontramos, finalmente, o limite de Qn :

n
ln n

1
1
ln (1+1/n) ln(1+1/n) 1
ln ln ln n
ln 1+
ln 1+
ln 1+
lim Qn = lim
e n = 0.
n
n
ln n
n
n
ln n
Assim, aps analisar os quatro limites, conclumos que lim Zn = 0 < 1, ento
n
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 exigem testes cada vez mais sofisticados para a sua anlise, ainda mais finos que os
apresentados neste estudo.
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 superiores e inferiores, que sempre existem.
Reformulamos primeiramente o teste de Kummer [1, 2].
Teorema (teste) P
de Kummer com limites superior
P e inferior. Consideramos uma srie
an , com an > 0. Seja tambm
dn , dn > 0, uma srie
divergente auxiliar, com Kn definida pela frmula (4). Ento:
P
1) Se lim Kn > 0, ento a srie
an converge;
n
P
an diverge.
2) Se lim Kn < 0, ento a srie
n
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

Assim:
P
1) Se lim Dn > 1, ento a srie
an converge;
n
P
2) Se lim Dn < 1, ento
an diverge.
an .
Teste de Raabe com limites superior e inferior. Consideremos uma srie

P
an . Logo:
P
an converge;
1) Se lim Rn > 1, ento a srie
n
P
an diverge.
2) Se lim Rn < 1, ento
n
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.
n2 (3+2(1)n )
.
n=1
3n+(1)n
(2n+1)2
a2n+1 = 32n , chegamos concluso que
5
= 27
lim Dn = lim D2n1 = lim a2n1
3 e n
5 .
n
n a2n
Exemplo 1. Verificar o comportamento da srie

20n2
32n+1
a2n
n a2n+1
Observando que a2n =

lim Dn = lim D2n = lim
e
=
P+
O teste de DAlembert com limites usuais no funciona neste caso, j que lim Dn
no existe. Porm, como lim Dn =
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
Notamos que:
P+
n
n=1 3n
5 + sen
n
2
102
a4n =
6 (4n + 1)
5 (4n + 2)
4 (4n + 3)
5 4n
, a4n+1 =
, a4n+2 =
, a4n+3 =
.
34n
34n+1
34n+2
34n+3
Assim:
D4n =
D4n+1 =
D4n+2 =
D4n+3 =
5
5 4n 34n+1
a4n
= 4n
;
a4n+1
3 6 (4n + 1) n 2
a4n+1
6 (4n + 1) 34n+2
18
= 4n+1
;
a4n+2
3
5 (4n + 2) n 5
5 (4n + 2) 34n+3
15
a4n+2
= 4n+2
;
a4n+3
3
4 (4n + 3) n 4
12
4 (4n + 3) 34n+4
a4n+3
= 4n+3
.
a4n+4
3
5 (4n + 4) n 5
a4n+3
n a4n+4
Logo, obtemos que lim Dn = lim

n
12
5
a4n+2
n a4n+3
> 1 e lim Dn = lim

n
15
4 ,
onde o primeiro limite mostra que a srie dada converge.

P+
1
Exemplo 3. Determinar o comportamento da srie n=1 (5n+(1)
n )2 .
Consideramos Dn e Rn dados pelas expresses (1) e (2) respectivamente. Ob1
1
servamos que a2n = (10n+1)
. Como lim Dn = lim D2n =
2 e a2n+1 =
(10n+4)2
n
n
lim D2n1 = 1, o teste de DAlembert inconclusivo. No entanto, podemos den
terminar a convergncia atravs do teste de Raabe na forma com limites superior
e inferior:
!
2
30n (4n+1) 6
(10n+4)
lim
lim Rn = lim R2n = lim 2n(D2n 1) = lim 2n
2 1 =n
2 = 5;
n
n
n
n
(10n+1)
(10n+1)
lim Rn = lim R2n1 = lim ((2n 1) (D2n1 1))
n
n
!
2
35 (2n 1) (4n 1)
14
(10n + 1)
1 = lim
=
.
= lim (2n 1)
2
2
n
n
5
(10n 6)
(10n 6)
n
Como lim Rn =
n
6
5
> 1, conclumos que a srie dada converge.
2
P+
.
Exemplo 4. Estudar a convergncia da srie n=1 5n + sen n
2
1
1
1
Notamos que a4n = (20n)
2 , a4n+1 = (20n+6)2 , a4n+2 = (20n+10)2 e a4n+3 =
1
lim Dn = lim D4n = lim D4n+1 = lim D4n+2 = lim D4n+3 = 1,
(20n+14)2 . Como n
n
n
n
n
o teste de DAlembert no funciona. No entanto, possvel verificar o comportamento da srie usando o teste de Raabe com limites superior e inferior. De fato:
!
2
(20n + 6)
48n (20n + 3) 12
lim R4n = lim 4n (D4n 1) = lim 4n
1 = lim
= ;
2
n
n
n
n
(20n)2
5
(20n)
103
lim R4n+1 = lim ((4n + 1) (D4n+1 1)) = lim
lim R4n+2 = lim ((4n + 2) (D4n+2 1)) = lim
Como lim Rn =
pelo teste de Raabe.
8
5
(20n + 14)
Portanto, lim Rn = lim R4n+1 = lim R4n+2 =
n
lim R4n+3 = 12
5 .
n
(20n + 6)
32 (4n + 2) (5n + 3)
(20n + 10)
4 (4n + 3) (60n + 51))
lim R4n+3 = lim ((4n + 3) (D4n+3 1)) = lim
32 (4n + 1) (5n + 2)
8
5
8
;
5
8
;
5
12
.
5
e lim Rn = lim R4n =

n
> 1, obtemos a convergncia da srie dada
Exemplo 5. Verificar o comportamento da srie
P+
n=1
1
.
7n+2(1)n
1
1
Notamos que a2n = 14n+2
e a2n+1 = 14n+5
. O teste de DAlembert no
aplicvel, pois lim Dn = lim D2n = lim D2n1 = 1. Usamos o teste de Raabe
n
n
n
na forma com limites superior e inferior:
!
1
(14n + 5) 2
lim Rn = lim R2n = lim 2n
1 1
n
n
n
(14n + 2) 2
h
i
1
1 1
6n
= lim
(14n + 5) 2 + (14n + 2) 2
1
n
(14n + 2) 2

12 "
21
1 #1
1
3
3
1 2
5
;
=
= lim 1 +
+ 1+
1+
7 n
7n
14n
7n
14
!
1
(14n) 2
lim Rn = lim R2n1 = lim (2n 1)
1 1
n
n
n
(14n 9) 2
i
1
1 1
9 (2n 1) h
(14n) 2 + (14n 9) 2
= lim
1
n
(14n 9) 2

21 "
12 #1

9 (2n 1)
9
9
9
1
.
= lim
1+ 1
=
n
14n
14n
14n
14
Logo, como lim Rn =

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 suficientes 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
6. Restries na aplicao da hierarquia de Kummer

Como foi dito, embora bastante refinados, 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 eficientes. Em primeiro
lugar, o teste de Kummer no apresenta resposta quando K = 0, fazendo com que
1
a hierarquia construda com dn = 1, n1 , n ln
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 Dn = G > 1 > g = lim Dn , com Dn dado por (1),
n
ento a categoria de testes baseados no teste de Kummer, que seguem a lgica de

1
construo dos testes apresentados, isto , com dn = 1, n1 , n ln
n , e assim por
diante, no apresentar respostas.
Prova
Tomamos Dn , Rn e Bn dados pelas expresses (1), (2) e (3). Diretamente
notamos que o teste de DAlembert inconclusivo.
Consideramos o teste de Raabe. Se lim Dn = G > 1 > g = lim Dn , escolhen
mos P e p tais que G > P > 1 > p > g. Assim, por um lado, Dn > P , para uma
sequncia de valores de n, e para estes, Rn > n (P 1), resultando em
(7)
lim Rn = +.
Por outro lado, Dn < p, para uma segunda sequncia de valores, e nesta Rn <
n (p 1), de onde segue que
(8)
lim Rn = .
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)
n
1
que Kn = Bn 1 + n1 ln 1 + n1 , se considerar dn = n ln
n . Assim, utilizando
o teste de Bertrand com limites superior e inferior, temos:

n
1
1
lim Kn = lim Bn lim 1+
ln 1+
= lim ln n(n (Dn 1)1)1 = .
n
n
n
n
n
n
Tal valor obtido porque lim Dn = g < 1; logo, lim (Dn 1) = g 1 < 0,
n
implicando em lim Bn = . De modo anlogo, obtemos que lim Kn = +.

n
Portanto, conclumos que o teste de Bertrand no gera resposta.

A anlise dos testes dados nos Teoremas 1 e 2, escolhendo dn da forma dn =
1
1
(n ln n ln ln n) , (n ln n ln ln n ln ln ln n) e, em outros testes que podem ser
1
construdos com dn = (n ln n ln ln n ln ln ln n ln ln ln ln n) e assim por diante,
pode ser demonstrada similarmente. E isto ocorrer com toda a hierarquia de
105
Kummer, ou seja, nos testes onde a razo dada por Dn aparece desta maneira
sistemtica.
Observao. A proposio fala a respeito de uma restrio relacionada razo
Dn , mas importante notar que, se as outras expresses como Rn , Bn , An e assim
sucessivamente, conservarem esta restrio da proposio, isto , se lim Rn =
n
G > 1 > g = lim Rn ou lim Bn = G > 1 > g = lim Bn ou lim An =

n
G > 1 > g = lim An , estas faro com que os prximos testes da hierarquia no
n
funcionem. Por exemplo, se lim Bn = G > 1 > g = lim Bn , os critrios mais

n
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.
P+
n
Exemplo 1. Analisar a convergncia da srie n=1 2(1) n .
Observamos que a2n = 212n e a2n+1 = 222n . Portanto:
1
= lim D2n1 = lim Dn
2 n
n
e assim o teste de DAlembert inconclusivo. O teste de Raabe tambm no
funciona, j que:
lim Dn = lim D2n = 8 > 1 >
lim Rn = lim R2n1 = lim ((2n 1) (D2n1 1)) = ,

n
pois (D2n1 1) 21 < 0;

n
lim Rn = lim R2n = lim (2n (D2n 1)) = +,
porque (D2n 1) 7 > 0.

n
Pode-se ainda analisar para todos outros testes oriundos do teste de Kummer
e notar que eles no traro respostas, justamente por que lim Dn = G > 1 > g =
n
lim Dn , o que era de se esperar pelo que foi demonstrado na ltima proposio.
n
Porm, fcil obter a convergncia

P+ 1 da srie usando o teorema de comparao,
1
1
,
e
pois an = 2n(1)
n
n1
n=1 2n1 converge (srie geomtrica de razo menor
2
que 1).
P+
n
Exemplo 2. Verificar o comportamento da srie n=1 2n(1) .
Analogamente ao exemplo anterior, lim Dn = lim D2n =
n
1
8
< 1 < 2 =
lim D2n1 = lim Dn , indicando que o teste de DAlembert no conclusivo. E

n
n
o teste de Raabe tambm, visto que:
106
lim Rn = lim R2n = lim 2n (D2n 1) = ,

n
pois (D2n 1) 78 < 0;

n
lim Rn = lim R2n1 = lim ((2n 1) (D2n1 1)) = +,
porque (D2n1 1) 1 > 0.

n
Assim, pode-se ainda analisar para todos outros testes oriundos do teste de
Kummer e notar que eles no sero eficientes, usando os mesmos raciocnios.
n
Entretanto, an = 2n(1) no tende a zero quando n tende a infinito, o que
mostra que a srie dada diverge.
P+
1
n=1 (n(1)n )2 .
Exemplo 3. Determinar o comportamento da srie

Como a2n =
1
(2n1)2
e a2n+1 =
1
,
(2n+2)2
podemos observar que:
lim Dn = lim D2n = lim D2n1 = 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 Rn = lim R2n = lim 2n (D2n 1) = lim
2n (12n + 3)
lim Rn = lim R2n1 = lim ((2n1) (D2n1 1)) = lim
(2n + 1)
=6,
(2n1) (14n)
= 2.
4n2
Logo, como lim Rn = 6 > 1 e lim Rn = 2 < 1, o teste de Raabe mostra-se

n
inconclusivo.
P+ 1
1
1
Porm, como (n(1)
n )2 (n1)2 , e a srie
n=1 (n1)2 converge, temos que
a srie dada tambm converge pelo teorema de comparao.
Observao. Os exemplos acima mostram que uma categoria muito refinada de
testes no funciona, enquanto critrios simples oferecem resultados. E isto acontece
pelo simples fato de termos lim Dn = G > 1 > g = lim Dn (situao que ocorre
n
nos exemplos 1 e 2) ou lim Rn = G > 1 > g = lim Rn (exemplo 3).

n
importante notar que o Teorema de Kummer, embora origine parcela significativa de testes conhecidos e utilizados atualmente, no o nico caminho para
formulaes sistematizadas de testes refinados. Semelhantemente, critrios podem
ser construdos visando generalizao de outros testes conhecidos (como por exemplo, o de Cauchy), o que j no faz parte deste trabalho.
107
Referncias
1. D.D. Bonar, M.J. Khoury, Real Infinite Series. MAA, Washington, 2006.
2. T.J.I. Bromwich, An Introduction to the Theory of Infinite Series. AMS, Providence, 2005.
3. G.M. Fichtenholz, Infinite series: Rudiments. Gordon and Breach Pub., New York, 1970.
4. G.M. Fichtenholz, Infinite series: Ramifications. Gordon and Breach Pub., New York, 1970.
5. J.M. Hyslop, Infinite 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 Infinite 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

Sequencia de Se Calcular Series

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Sequencia de Se Calcular Series

Enviado por

Direitos autorais:

Formatos disponíveis

Bol. Soc. Paran. de Mat.

(3s.) v. 29 2 (2011): 83107.

Uma hierarquia de testes de convergncia de sries baseada no teorema

Abstract: In this study we use Kummers theorem on convergence of numerical

Key Words: sries numricas positivas, testes de convergncia e divergncia,

2 Reviso de alguns resultados bsicos

3 Teste de Kummer e suas consequncias

4 Hierarquia de Kummer aplicada a alguns exemplos

5 Testes com limites superiores e inferiores

6 Restries na aplicao da hierarquia de Kummer

L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke

divergncia, e, caso houver a convergncia, a velocidade dela. Nos problemas de

Convergncia de sries baseada no teorema de Kummer

Observao.P Equivalentemente, se an no tende a zero quando n tende a infinito, ento

Finalmente, introduzimos as seguintes notaes que sero usadas nas prximas

L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke

3. Teste de Kummer e suas consequncias

Logo, analisando as somas parciais, podemos ver que estas so limitadas:

onde c uma constante. Assim, como {Sn } limitada superiormente e tambm

Convergncia de sries baseada no teorema de Kummer

Corolrio 2. Se escolhermos dn = n1 no teste de Kummer (nota-se que a srie

Corolrio 4. Como consequncia dos Corolrios 1, 2 e 3, obtemos o teste de

L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke

an , an > 0. Suponhamos que lim An = A, onde

An dado pela frmulaP

Convergncia de sries baseada no teorema de Kummer

2 ln(ln x) + (ln(ln x))2

K = lim Kn = lim (An + Ln ) 1 lim An = K 1 = A,

sendo A = lim An , e seguem diretamente as concluses do teste de Kummer, ou

an , an > 0. Suponhamos que lim Zn = Z, com

Zn definido por (6). Assim:

L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke

onde Zn dado pela frmula (6),

fcil de ver que lim n = 1. Tambm:

Para calcular os limites de Un e En , passamos varivel contnua (trocando n1

(ln ln(ln x))

(ln ln(ln x))

Convergncia de sries baseada no teorema de Kummer

Passando ao segundo, temos:

(ln ln( ln x))

(ln ln( ln x))

(ln ln( ln x))

lim (Zn + Un + En Hn Jn n ) = lim Zn 1 = Z 1 = K.

Ou seja, lim Zn = K + 1 = Z. Portanto:

1) K > 0 Z > 1, e a srie converge;

L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke

funciona. Porm, pelo teste de Raabe obtemos a convergncia, pois

Exemplo 2. Estudar o comportamento da srie

Mas usando o teste de Bertrand, obtemos a convergncia:

(n+1 n+1) ln2 (n+1)(n n) ln2 n

Convergncia de sries baseada no teorema de Kummer

Daqui visto que o teste de DAlembert no se aplica. Usando o teste de Raabe:

troca de varivel a n 1 = t n1 ln a = ln(1 + t), e como n n1 0

L. Bourchtein, A. Bourchtein, G. Nornberg, C. Venzke

Exemplo 5. Verificar a convergncia da srie

lim+ Rn = +, resultando na convergncia da srie dada. Por outro lado, se

p < 0, ento lim ( ln x)p = 0, de onde segue que R = lim Rn = 0, e a srie

diverge. O caso p = 0 foi analisado no exemplo anterior.

Se a > e ento a srie dada converge, porm se a < e esta diverge, p R.

Convergncia de sries baseada no teorema de Kummer

Assim, se a = e e p > 1, a srie dada converge, mas se a = e e p < 1, ento a

x0+ (ln( ln x))

lim (x2 2x1)

(ln x)1 x0+ 1+x