Professional Documents
Culture Documents
Instituto de Matemática - IM
Departamento de Matemática
Professor
Adán J. Corcho Fernández
Página 2 de 31
Sumário
1 Sequências Numéricas 5
1.1 Sequências Numéricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Convergência de sequências . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Propriedades gerais das sequências convergentes . . . . . . . . . . . . . . . . . . 7
1.4 Estratégias para calcular limites . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Sequências monótonas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Séries Numéricas 19
2.1 Séries Numéricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.1 Séries Geométricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.1.2 Séries redutíveis (séries de Mengoli) . . . . . . . . . . . . . . . . . . . . 21
2.2 Condição necessária de convergência . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3 Séries de termos não-negativos . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3.1 A série harmônica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3.2 A p-série . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3.3 Critério de Condensação de Cauchy . . . . . . . . . . . . . . . . . . . . 25
2.3.4 Testes de Comparação . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3.5 Teste da Integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3
Adán J. Corcho IM-UFRJ
Página 4 de 31
Capı́tulo 1
Sequências Numéricas
N este capítulo estudaremos o conceito de sequência numérica, o qual aparece naturalmente
na modelagem de vários processos discretos. Por exemplo, em teoria da computação, no
estudo do tempo de execução um algoritmo ou do espaço de memória que ocupam os dados,
aparecem naturalmente equações discretas, conhecidas na literatura como equações de reco-
rrência. Tais equações têm por incógnita uma função ϕ(n), onde n é um valor natural e, além
disso, ϕ(n) depende de alguns dos seus valores prévios, ou seja, dependendo do modelo o valor
de ϕ(n) pode depender, por exemplo, do valor ϕ(n − 1). Estudaremos algumas propriedades
topológicas e algébricas das sequências, exemplicando em cada momento o conceito que está
sendo abordado.
Denotaremos o conjunto
dos naturais por N = 1, 2, 3, 4, . . . o por N0 os naturais incluindo
de modo que N1 = N.
Denição 1.1. Uma sequência é uma função ϕ : Nκ −→ R, a qual denotaremos simplesmente
an = ϕ(n), n ∈ Nκ . Quando κ = 1 (n ∈ N) o número an é chamado de termo n-ésimo da
sequência. Usaremos também a notação (an )n≥κ para representar a sequência denida pela
função ϕ.
Exemplo 1.2. A seguir damos alguns exemplos de sequências.
1
a) an = , n ∈ N.
n
b) bn = (−1)n , n ∈ N.
n
c) cn = , n ∈ N2 = {2, 3, 4, . . . }.
n−1
d) dn = n sen (π/n) , n ∈ N.
5
Adán J. Corcho IM-UFRJ
1
e) en = , n ∈ N3 = {3, 4, 5, . . . }.
ln(n − 1)
1
f) fn = , n ∈ N.
2n+(−1)n
A noção de limite para sequências é denida de forma similar a como foi feito para o caso de
funções reais.
Denição 1.4. Uma sequência (an )n≥κ converge para o número real a se para cada ε > 0
existe um número real positivo nε ≥ κ tal que
an − a< ε para todo n > nε ,
equivalentemente
a − ε < an < a + ε para todo n > nε .
Nesse caso dizemos que a sequência é convergente e caso contrário que é divergente. O número
a é chamado de limite de (an )n≥α e usamos a notação lim an = a para expressar esse fato.
n→∞
n
Exemplo 1.5. Os primeiros termos da sequência , dados por
n − 1 n≥2
3 4 5 6 7
2, , , , , , ...
2 3 4 5 6
n
são maiores que 11 e cada vez estão mais próximos de 1. Vejamos a seguir que lim = 1.
n→∞ n − 1
Com efeito, seja ε > 0 e consideremos a desigualdade modular
n 1
n − 1 − 1 = n − 1 < ε,
Página 6 de 31
Adán J. Corcho IM-UFRJ
Observação 1.6. O candidato a limite de uma sequência deve ser um número real a
an n≥κ
tal que para qualquer ε > 0 xado todos os termos da sequência, exceto talvez uma quantidade
nita, encontram-se a uma distância de valor ε do número a.
Exemplo 1.7. A sequência (−1)n+1 , n ≥ 2, é divergente pois para todo n ímpar assume o
valor 1 e para todo n par assume o valor −1, logo uma innidade de termos cam em 1 e
outra quantidade innita cam em −1, o que obviamente contradiz a observação acima.
Denição 1.8. Diremos que a sequência (an )n≥κ tende para +∞ quando n → ∞ se para
todo α > 0 existe um número real positivo nα ≥ κ tal que an > α para todo n > nα . Nesse
caso, usaremos a notação lim an = +∞. De maneira similar, se an < −α para todo n > nα
n→∞
dizemos que lim an = −∞.
n→∞
Exercício 1.9. Seja c um número real. Usar a denição de limite para provar as seguintes
armações:
. a) lim cn = 0 para todo |c| < 1.
n→∞
1
. d) lim = 0 para todo β > 0.
n→∞ nβ
. e) lim cos(nπ/2) não existe.
n→∞
1
* b) Se lim an = +∞, então lim = 0.
n→∞ n→∞ an
Nesta seção apresentamos propriedades gerais das sequências convergentes. A primeira de-
las arma que uma sequência convergente não pode acumular seus termos em dois pontos
diferentes.
Teorema 1.11 (Unicidade do limite). O limite de uma sequência convergente (an )n≥κ é
único.
Página 7 de 31
Adán J. Corcho IM-UFRJ
|a1 − a2 |
Tomando ε = temos então que existe nε ≥ κ tal que
4
|a1 − a2 |
|an − a1 | < para todo n > nε ,
4
|a1 − a2 |
|an − a2 | < para todo n > nε .
4
Usando as desigualdades acima e a desigualdade triangular obtemos que para todo n > nε
vale
|a1 − a2 | ≤ |a1 − an | + |an − a2 |
|a1 − a2 | |a1 − a2 |
< +
4 4
|a1 − a2 |
= ,
2
o que é uma contradição. Portanto, a1 = a2 . q
O próximo resultado nos diz que todos os termos de uma sequência convergente estão
localizados dentro de um intervalo fechado [α, β] da reta.
Teorema 1.12. Se (an )n≥κ é convergente então é limitada, isto é, existem constantes reais α
e β tais que α ≤ an ≤ β para todo n ≥ κ.
Demonstração. Seja a = lim an , então tomando ε = 1 na denição de limite temos que
n→∞
existe um número real n1 ≥ κ, tal que
|an − a| < 1 para todo n > n1 .
obtemos o resultado. q
an lim an
d) an /bn converge se lim bn 6= 0 e vale que lim = n→∞ ,
n≥κ n→∞ n→∞ bn lim bn
n→∞
Página 8 de 31
Adán J. Corcho IM-UFRJ
onde κ = max{κ1 , κ2 }.
Exemplo 1.14. Se desejamos calcular o limite quando o valor de n tende para innito da
sequência
2n3 + 5n − 7
an = , n ≥ 1,
n3 + n2 + 1
podemos proceder da seguinte forma: primeiro dividimos numerador e denominador por n3 ,
que por ter o maior expoente cresce mais rápido no innito que os demais monômios. Desse
modo obtemos
2 + 5n/n3 − 7n3 2 + 5/n2 − 7/n3
an = = .
1 + n2 /n3 + 1/n3 1 + 1/n + 1/n3
Pelas propriedades algébricas temos
2 + 5 lim 1/n2 − 7 lim 1/n3 2+5·0−7·0
n→∞ n→∞
lim an = = = 2.
n→∞ 1 + lim 1/n + lim 1/n3 1+0+0
n→∞ n→∞
A seguir estudaremos algumas ferramentas que ajudarão a decidir se uma sequência é ou não
convergente, bem como calcular seu respectivo limite.
Muitas vezes a existência ou não do limite de uma sequência pode ser reduzido ao estudo
do limite de uma função, conforme é descrito no próximo resultado.
Página 9 de 31
Adán J. Corcho IM-UFRJ
Teorema 1.17. Seja (an )n≥κ tal que an = f (n), onde f : [a, +∞) −→ R é uma função real.
Se lim f (x) = a então lim f (n) = a.
x→+∞ n→∞
Demonstração. Como o lim f (x) = a, dado ε > 0 existe xε > κ tal que |f (x) − a| < ε
x→+∞
para todo x > xε . Consequentemente, |f (n) − a| < ε para todo n > xε , de onde segue o
resultado anunciado. q
Observação 1.18. É importante notar que o Teorema 1.17 só pode ser aplicado no caso de
existência do limite no innito da função f (em outras palavras, quando ela possuir assíntota
horizontal na semi-reta positiva). De fato, existem funções f sem existência de limite no
innito e, no entanto, a sequência an = f (n) tem limite. Por exemplo, o limite no innito da
função f (x) = sen (πx) não existe, mas lim sen (πn) = 0.
n→∞
Antes de passar a alguns exemplos lembramos de dois limites clássicos estudados no curso
de Cálculo I.
sen θ 1 x
lim = 1 and lim 1+ =e
θ→0 θ x→+∞ x
Exemplo 1.19. Vejamos alguns exemplos onde podemos aplicar o Teorema 1.17.
n x
a) lim = lim = 1,
n→∞ n−1 x→+∞ x−1
Página 10 de 31
Adán J. Corcho IM-UFRJ
Observação 1.20 (Atenção!). Lembramos que devemos tomar cuidado ao aplicar a regra de
l'Hôpital, pois utilizada indevidamente pode conduzirmos a respostas erradas. Por exemplo, ao
considerarmos a função
3x + cos x
f (x) =
2x − cos x
3x + cos x +∞
temos que lim = , o que nos dá uma forma indeterminada. Se tentamos
x→+∞ 2x − cos x +∞
contornar a indeterminação usando a regra de l'Hôpital teremos
3 − sen x
lim f (x) = lim não existe! ,
x→+∞ x→+∞ 2 + sen x
e nesse caso a resposta seria que o limite não existe devido às oscilações do numerador e
denominador (convidamos o leitor a comprovar isso). No entanto, essa resposta estaria errada
pois esse limite existe e vale 3/2. De fato,
cos x
onde sabemos do Cálculo 1 que o Teorema do Confronto nos dá que lim = 0.
x→+∞ x
Pedimos ao leitor vericar as hipóteses da regra de l'Hôpital e entender a razão pela qual
não podemos aplicar a mesma neste exemplo.
αn
• 1
Página 11 de 31
Adán J. Corcho IM-UFRJ
√
Portanto, lim pn = lim 2n 1 − cos(2π/n) = +∞ · 0 é uma forma indeterminada que
p
n→∞ n→∞
analisamos do seguinte modo:
√ sen (2π/n)
lim pn = 2 lim n p
n→∞ n→∞ 1 + cos(2π/n)
(1.1)
√ sen (2π/x)
= 2 lim x p .
x→+∞ 1 + cos(2π/x)
sen θ
sen (2π/x) 1
lim x p = lim 2π √ θ = 2π √ . (1.2)
x→+∞ 1 + cos(2π/x) θ→0 + 1 + cos θ 2
• • •
F1 F2
Demonstração. Como f é contínua no ponto a para qualquer ε > 0 existe δε tal que
0 < δε < δ e, além disso, vericando
Página 12 de 31
Adán J. Corcho IM-UFRJ
2 •
1 • ◦
• •
an 1 x
vemos que ela possui uma descontinuidade de salto nito no ponto x = 1. Consideremos a
sequência an = 1 − 1/n < 1, para todo n ≥ 1, de modo que f (an ) = 1 para todo n ≥ 1 e
notemos que lim an = 1. Nesse caso tem-se
n→∞
Página 13 de 31
Adán J. Corcho IM-UFRJ
Existem algumas sequências que não se adaptam às hipóteses dos Teoremas 1.17 e 1.24.
Por exemplo ωn = 3n /n!. A seguir provaremos a versão análoga para sequências do Teorema
do Confronto, que foi estabelecido como uma ferramente útil para calcular limite de funções.
Teorema 1.28 (Teorema do Confronto). Sejam (an )n≥κ1 , (bn )n≥κ2 e (cn )n≥κ3 sequências
tais que
a) an ≤ bn ≤ cn , a partir de um n sucientemente grande,
b) lim an = lim cn = L.
n→∞ n→∞
para todo n ≥ nε , consequentemente |bn − L| < ε para todo n > nε , de onde podemos concluir
o resultado. q
Exemplo 1.29. Mostraremos a seguir que ωn = 3n /n!, n ≥ 1, converge para zero. Basta
observar que vale a seguinte desigualdade:
n−3
3n 3 · 3 · 3 · 3n−3 33 3n−3 9 3
0< = < n−3
= ,
n! 1 · 2 · 3 · (4 · 5 · · · n) 3! 4 2 4
| {z }
(n−3)−termos
n−3
3
para todo n > 3. De acordo com o Exercício 1.9 temos que lim = 0. Pelo Teorema
n→∞ 4
9 3 n−3 3n
do Confronto, considerando an = 0 e cn = , temos que lim = 0.
2 4 n→∞ n!
(−1)n arctan(n)
. b) Calcular o valor de lim √ .
n→∞ n
Página 14 de 31
Adán J. Corcho IM-UFRJ
. b) Se (an )n≥κ1 é limitada e (bn )n≥κ2 é tal que lim bn = 0, o que podemos dizer sobre
n→∞
lim an · bn ?
n→∞
. c) lim
p
n
pk (n)
n→∞
Denição 1.34. Uma sequência (an )n≥κ diz-se monótona não-decrescente se an ≤ an+1 para
todo n ≥ κ e caso as desigualdades sejam estritas (an < an+1 ) dizemos então que é monótona
crescente. Analogamente, se an+1 ≤ an ou an+1 < an para todo n ≥ κ dizemos que a sequência
é é monótona não-crescente ou decrescente, respectivamente.
Exemplo 1.35. A sequência n−2
é crescente e sequência n+2
é decrescente, sendo
n n≥1 n n≥1
ambos fatos são de fácil vericação.
Página 15 de 31
Adán J. Corcho IM-UFRJ
1 · 3 · 5 · · · (2n − 1)
Exemplo 1.37. Deseja-se calcular, caso exista, o limite da sequência an = ,
n!
n ≥ 1. Com tal objetivo, estudaremos primeiro sua monotonia. Quando a sequência é de ter-
mos positivos um outro recurso importante, o qual aplicaremos a este exemplo, é comparar
a
comportamento de n+1 com 1. Isto é,
an
an+1
• se ≥ 1 para todo n ≥ κ então (an )n≥κ é não-decrescente a partir de κ;
an
an+1
• se ≤ 1 para todo n ≥ κ então (an )n≥κ é não-crescente a partir de κ.
an
Em nosso exemplo,
an+1 1 · 3 · · · (2n − 1) · (2n + 1) n!
=
an (n + 1)! 1 · 2 · · · (2n − 1)
2n + 1 n
= =1+ > 1,
n+1 n+1
logo an+1 > an para todo n ≥ 1, i.e., essa sequência é estritamente crescente. Este proce-
dimento também nos ajuda a concluir que lim an = +∞. Com efeito, primeiro observamos
n→∞
que
an+1 2n + 1
lim = lim = 2,
n→∞ an n→∞ n + 1
a 1 3
para todo n ≥ κ. Podemos concluir então que n+1 > 2 − = para todo n ≥ κ. A partir
an 2 2
deste ponto podemos nalizar a análise de duas formas distintas.
Primeira alternativa. Da última desigualdade podemos concluir que
3 3 2 3 n−κ
an > an−1 > an−2 > · · · > aκ .
2 2 2
3 n−κ
Como lim aκ = +∞ tem-se então que lim an = +∞.
n→∞ 2 n→∞
Segunda alternativa. Como (an )n≥1 é crescente e de termos positivos então só existem
duas possibilidades: existe 0 < a < +∞ tal que lim an = a ou lim an = +∞. Supondo que
n→∞ n→∞
estamos na primeira situação, teríamos o que lim an+1 = a, de onde concluímos que
n→∞
Página 16 de 31
Adán J. Corcho IM-UFRJ
Observação 1.38 (Atenção!). Do exemplo anterior podemos assegurar que toda vez que
an+1
uma sequência (an )n≥κ converge para um número nito a 6= 0 temos que lim = 1. No
n→∞ an
1
entanto, no caso a = 0 isso pode falhar. Por exemplo, an = , n ≥ 1, tem limite zero e
2n
an+1 2n 1
= n+1 = .
an 2 2
então (an )n≥κ é convergente e lim an = α, onde α é a menor limitante superior possível,
n→∞
conhecida como supremo da sequência.
Analogamente, se (an )n≥κ é uma sequência monótona não-crescente e limitada inferior-
mente, isto é, existe m ∈ R tal que
aκ ≥ aκ+1 ≥ . . . an ≥ an+1 · · · ≥ m,
então (an )n≥κ é convergente e lim an = β , onde β é a maior limitante inferior possível,
n→∞
conhecida como ínmo da sequência.
A demonstração do Teorema da Sequência Monótona usa essencialmente o Axioma de
Completude dos números reais. O leitor interessado pode encontrar uma demonstração rigorosa
em [?].
Exemplo 1.40. Considere a sequência denida por
√ √ √
q
a1 = 2, a2 = 2 + 2, . . . , an+1 = 2 + an ,
onde os termos são denidos de forma recorrente, isto é, o termo de ordem n + 1 depende
do valor da sequência no momento anterior. Neste caso especíco não contamos com uma lei
explícita para o formato dos termos an , mas veremos como o Teorema 1.39 mostra-se muito
útil no estudo da convergência dessa sequência. Primeiro vericamos
√ que (an )n≥1 é limitada
superiormente por 2. Com efeito, inicialmente sabemos que a1 = 2 < 2 e suponhamos que
an < 2 para algum n ∈ N, então
√ √
an+1 = 2 + an < 2 + 2 = 2.
Logo, pelo Princípio de Indução, temos que todos os termos da sequência estão limitados
superiormente pela constante 2. Por outro lado, podemos vericar que a sequência é monótona
decrescente, ou seja, √
an+1 = 2 + an > an
para todo n ≥ 1. De fato, vericar esta desigualdade é equivalente a provar que
a2n < an + 2 ⇐⇒ a2n − an − 2 < 0
Página 17 de 31
Adán J. Corcho IM-UFRJ
an
◦ • ◦
−1 0 2 x
Como 0 < an < 2 temos que f (an ) = a2n − an − 2 < 0. Portanto, o Teorema 1.39 garante que
existe 0 < a < +∞ tal que lim an = a.
n→0
Além disso, também podemos calcular o valor do limite a, pois lim an+1 = lim an = a.
n→0 n→0
Então, q √
a = lim an+1 = 1 + lim an = 1 + a,
n→0 n→0
Página 18 de 31
Capı́tulo 2
Séries Numéricas
N este capítulo estenderemos o conceito de soma de um número nito de números reais
para o caso em que são somados innitos elementos. Além de estudar vários critérios que
nós ajudarão a saber quando a soma de innitos números possui um valor nito veremos, no
nal do capítulo, que certos tipos de somas innitas perdem a propriedade comutativa, válida
no caso de somas nitas.
Dada uma sequência (an )n≥1 , consideramos uma nova sequência, denida a partir dela, da
forma seguinte:
s1 = a1 ,
s2 = a1 + a2 ,
..
.
n
X
sn = a1 + a2 + · · · + an = aκ .
κ=1
sn = (a1 + a2 + · · · + an−1 ) + an
(2.1)
= sn−1 + an ,
para todo n ≥ 2.
Denição 2.1. O termo sn é chamado de soma parcial de ordem n da sequência (an )n≥1 e a
sequência de somas parciais (sn )n≥1 é chamada de série de (an )n≥1 . Denotaremos simbolica-
mente a série de (an )n≥1 por
∞
X
an = a1 + a2 + · · · + an + · · ·
n=1
19
Adán J. Corcho IM-UFRJ
n=1
parciais converge para algum número nito s, ou seja, se
n
X
lim sn = lim aκ = s.
n→∞ n→∞
κ=1
Nesse caso dizemos que a soma da série é igual a s. Se uma série for convergente então
dizemos que ela é divergente.
∞
Exemplo 2.4. A série (−1)n diverge. De fato,
X
n=1
s1 = −1,
s2 = −1 + 1 = 0,
s3 = −1 + 1 − 1 = −1,
..
.
se n = 2κ + 1,
(
−1
sn =
0 se n = 2κ,
de onde concluímos que sn diverge.
Exemplo 2.5. Considere a dízima periódica 0, 444444..., a qual pode ser representada como
uma série da seguinte forma:
0, 444444... = 0, 4 + 0, 04 + 0, 004 + 0, 0004 + · · ·
4 4 4 4
= + 2 + 3 + ··· + n + ···
10 10 10 10
4 1 1 1
= 1+ + + · · · + n−1 + · · · .
10 10 102 10
Página 20 de 31
Adán J. Corcho IM-UFRJ
sn − rsn = 1 + r + r2 + · · · + rn − (r + r2 + · · · + rn + rn+1 )
= 1 + (r + r2 + · · · + rn ) − (r + r2 + · · · + rn ) − rn+1 (2.4)
n+1
=1−r .
Finalmente, como r 6= 1 podemos concluir de (2.4) que (1 − r)sn = 1 − rn+1 , de onde segue
que
1 − rn+1 1 rn+1 1 rn+1
sn = = − = + .
1−r 1−r 1−r 1−r r−1
Portanto,
1 se |r| < 1,
lim sn = 1 − r (2.5)
n→∞ +∞ se r > 1,
e quando r < −1 observamos que sn toma valores positivos e negativos arbitrariamente grandes
quando n tende para innito. Podemos concluir então que a série geométrica :
∞
1
para todo |r| < 1,
X
rn =
1−r
n=0
∞
n
Exercício 2.7. Seja , com a > 1. Usar a mesma ideia para calcular o valor
X
f (a) =
an
n=1
da soma da série geométrica com razão r = 1/a para demonstrar que a série f (a) converge e,
além disso, determinar o valor de f (a). Primeiro faça o caso a = 2 e estude a diferença entre
sn e sn /2, onde sn é a soma parcial de ordem n.
n=1
tal que
an = bn − bn+r ,
para algum r ∈ N.
Página 21 de 31
Adán J. Corcho IM-UFRJ
∞
1
Exemplo 2.9. A série é redutível com r = 1. Com efeito,
X
n(n + 1)
n=1
1 1 1
= − = bn − bn+1 ,
n(n + 1) n n+1
tomando bn = 1/n, n ≥ 1. A estrutura adotada pelos termos an nos permite provar que esta
série é convergente e, mais do que isso, podemos calcular o valor de sua soma. De fato,
1 1 1 1 1 1 1 1
sn = 1 − + − + ··· + − + − =1− ;
2 2 3 n−1 n n n+1 n+1
1
logo lim sn = lim 1 − = 1.
n→∞ n→∞ n+1
∞
1
Exercício 2.10. Dado r ∈ N considerar a série .
X
n(n + r)
n=1
∞
Exemplo 2.11. A série ln(1 + 1/n) é divergente. Com efeito,
X
n=1
n + 1
ln(1 + 1/n) = ln = ln(n + 1) − ln(n);
n
logo a soma parcial sn é dada pela soma telescópica
sn = (ln2 − ln 1) + (ln3 − ln2) + (ln3 − ln4) + · · · + ln(n + 1) − lnn = ln(n + 1).
Para uma série convergir é necessário que os termos que estão sendo somados convirjam para
zero no innito, em outras palavras vale o seguinte resultado:
Teorema 2.12 (Condição Necessária de Convergência). Seja (an )n≥1 uma sequência. Se a
∞
série an é convergente então lim an = 0.
X
n→∞
n=1
Página 22 de 31
Adán J. Corcho IM-UFRJ
Demonstração. Da convergência da série segue que lim sn = lim sn−1 = s. Por outro lado
n→∞ n→∞
da relação (2.1) temos que lim an = lim sn − lim sn−1 = 0, de onde segue o resultado. q
n→∞ n→∞ n→∞
∞
1 n
Exemplo 2.13. A série diverge pois
X
1+
2n
n=1
( )1/2 ( )1/2
1 n 1 2x 1 2x √
lim 1 + = lim 1+ = lim 1+ = e 6= 0.
n→∞ 2n x→+∞ 2x x→+∞ 2x
Nesta seção estudaremos alguns critérios que ajudarão a decidir quando uma série de termos
positivos é convergente, ou seja, estamos interessados em séries do tipo
∞
(2.6)
X
an , an ≥ 0.
n=1
Para toda série do tipo (2.6) que seja convergente a sequência de somas parciais (sn )n≥1 é
limitada, vide o Teorema 1.12. O primeiro fato importante paar este tipo de séries é que essa
condição de limitação passa a ser suciente. De forma mais precisa, vale o seguinte resultado.
Proposição 2.14. A m de provar a convergência da série (2.6) é suciente encontrar uma
constante positiva M tal que
sn = a1 + a2 + · · · + an ≤ M.
Nesse caso, sn ≤ lim sn ≤ M. Se não existir uma limitante superior M para (sn )n≥1 , então
n→∞
lim sn = +∞.
n→∞
Página 23 de 31
Adán J. Corcho IM-UFRJ
1 1 1 hn
onde vn = 1 + + ··· + = .
2 2 n 2
Se supomos que a lim hn = h < +∞, então lim h2n = s e das igualdades acima obtemos
n→∞ n→∞
que lim un = lim vn = h/2.
n→∞ n→∞
Por outro lado, podemos escrever as diferenças entre un e vn do seguinte modo:
1 1 1 1 1
un − vn = 1 − + − + ··· + − ,
2 3 4 2n − 1 2n
de onde obtemos que
1 1 1
un − vn = + + ··· +
1·2 2·3 (2n − 1) · 2n
1
> ,
2
para todo n ≥ 1. Passando ao limite temos então que
1
0 = lim un − lim vn ≥ ,
n→∞ n→∞ 2
∞
o que é uma contradição, logo
P
1/n = +∞.
n=1
Exercício 2.15. Provar por indução que as somas de ordem 2n das série harmônica satisfazem
a estimativa
1 1 1 1 1 n
s2n = 1 + + + + ··· + n + >1+ .
2 3 4 2 − 1 2n 2
Usar este fato para vericar, de outra forma, a divergência da série harmônica.
2.3.2 A p-série
∞
1
Dado p ∈ R, a série recibe o nome de p-série, a qual coincide com a série harmônica
X
np
n=1
quando p = 1.
Se p ≤ 0 tem-se que lim 1/np 6= 0, logo a série diverge, pois não satisfaz a condição
n→∞
necessária estabelecida no Teorema 2.12.
Se 0 < p ≤ 1, temos que 1/np ≥ 1/n para todo n ≥ 1, logo
1 1 1 1 1 1
sn := 1 + p
+ p + · · · + p > 1 + + + · · · + = hn .
2 3 n 2 3 n
Assim lim hn ≥ lim sn e como já provamos que lim hn = +∞, então segue desta desigual-
n→∞ n→∞ n→∞
dade que lim sn = +∞, i.e, a série diverge neste caso.
n→∞
Exercício 2.16. Repetir o procedimento análogo ao usado para mostrar que a série harmônica
diverge para dar uma prova alternativa de que a p-série diverge sempre que 0 < p < 1.
Mostraremos que há convergência no caso p > 1 com o auxílio de um critério de conver-
gência que possui uma certa generalidade.
Página 24 de 31
Adán J. Corcho IM-UFRJ
n=κ n=κ−1
Demonstração. Assumiremos, sem perda de generalidade, que P κ = 1. Denotemos por (sn )n≥1
as somas parciais de an e por (s̃n )n≥0 as somas parciais de 2n a2n . Os termos de ambas as
P
séries são não-negativos, logo as somas parciais (sn )n≥1 e (s̃n )n≥0 são não-decrescentes. Dado
m ∈ N, lembramos que existe n ∈ N tal que 2n ≤ m < 2n+1 . Primeiro provaremos que se a
série condensada converge então a série original converge.
Usando as propriedades de (an )n≥1 temos que
sm = a1 + a2 + a3 + · · · + am
< a1 + (a2 + a3 ) + (a4 + a5 + a6 + a7 ) + · · · + (a2n + · · · + a2n+1 −1 )
| {z }
2n −termos
≤ a1 + (a2 + a2 ) + (a4 + a4 + a4 + a4 ) + · · · + (a2n + · · · + a2n )
| {z }
2n −termos
n
≤ a1 + 2a2 + 4a4 + · · · + 2 a2n = s̃n .
Como (s̃n )n≥1 converge então é limitada superiormente por uma constante M̃ , então
sm < s̃n ≤ M̃ , (2.7)
sm < sm+1 . (2.8)
Logo, pelo Teorema da Sequência Monótona (Teorema 1.39) a série (sm )m≥1 converge.
Por outro lado, suponhamos que (sm )m≥1 é convergente. Desde que m ≥ 2n , temos que
s̃n = a1 + 2a2 + 4a4 + 8a8 + · · · + 2n a2n
= 2 a1 /2 + a2 + 2a4 + 4a8 + · · · + 2n−1 a2n
≤ 2 a1 + a2 + (a3 + a4 ) + (a5 + a6 + a7 + a8 ) + · · · + (a2n−1 +1 + · · · + a2n −1 + a2n )
| {z }
2n−1 −termos
≤ 2(s2n + a2n +1 + · · · + m)
= 2sm .
Como (sm )m≥1 converge então é limitada superiormente por uma constante M , então
s̃n < sm ≤ 2M, (2.9)
s̃n < s̃n+1 , (2.10)
logo a convergência de (sm )m≥1 segue novamente do Teorema 1.39. q
Página 25 de 31
Adán J. Corcho IM-UFRJ
∞
1
Corolário 2.18. Dado p > 0, a p-série converge se, e somente se, p > 1.
X
np
n=1
1 1
Demonstração. Para p > 0, observamos que > > 0 para todo n ≥ 1, logo são
n p (n + 1)p
válidas as hipóteses do Teorema 2.17. A série condensada, dada por
∞ ∞
X 1 X
1−p n
2n
= 2
2np
n=1 n=1
é uma série geométrica que converge se, e somente se, 21−p < 1 ⇔ p > 1. q
j=κ j=κ
das séries, iniciadas em κ. Primeiro provaremos b), então suponhamos que lim vn = b, então
n→∞
pelas hipóteses temos que
0 ≤ un ≤ un+1 , n ≥ κ, (2.11)
n n
(2.12)
X X
0 ≤ un = aj ≤ c bj ≤ c vn ≤ c b.
j=κ j=κ
Passamos agora à prova do item b). Nesse caso temos como hipóteses que lim un = +∞;
n→∞
logo, como un ≤ vn para todo n ≥ κ tem-se que lim vn = +∞. q
n→∞
Página 26 de 31
Adán J. Corcho IM-UFRJ
∞
ln n ln n 1
Exemplo 2.20. A série diverge, pois an := > =: bn para todo n ≥ 3. Como
X
n n n
n=1
∞ ∞
1 ln n
diverge, então também diverge.
X X
n n
n=1 n=1
∞
arctan(n) arctan(n) π 1
Exemplo 2.21. A série converge. Com efeito, an := para
X
<
1+ n2 1+n 2 2 n2
n=1
∞
1
todo n ≥ 1. Como converge, a convergência da série original decorre do Teste de
X
n2
n=1
Comparação.
Em muitas ocasiões as hipóteses do Teste de Comparação podem ser encontradas através
do estudo do comportamento no innito de an /bn , conforme o resultado a seguir.
Corolário 2.22 (Comparação Assintótica). Sejam an e bn duas séries de termos
P P
não-negativos. Suponha que bn > 0 para todo n ≥ κ e que
an
lim = c, 0 ≤ c < +∞.
n→∞ bn
Valem as seguintes armações:
a) Se c > 0, as séries an e bn convergem ou divergem simultaneamente.
P P
∞ ∞
ln n 2 1
Exemplo 2.24. A série converge. Comparemos, por exemplo, com a série ;
X X
n n 3/2
n=1 n=1
assim calculamos o limite:
2
ln n 2
n ln n n3/2
lim 1 = lim
n→∞ n→∞ n2
n3/2
2 2
ln n ln x
= lim √ = lim √
n→∞ n x→+∞ x
2 ln x/x
= lim √
x→+∞ 1/(2 x)
4 ln x/x 4 ln x 8
= lim √ = lim √ = lim √ = 0,
x→+∞ x x→+∞ x x→+∞ x
Página 27 de 31
Adán J. Corcho IM-UFRJ
X 1
onde foi aplicada duas vezes a regra de l'Hôspital. Então, como converge, pela ar-
n3/2
mação b1 ) do Corolário 2.22 concluímos que série original converge.
∞
ln n α
Exercício 2.25. Determine os valores reais que α pode assumir para que a série
X
n
n=2
seja converge.
Quando os termos de uma série innita formam um sequência decrescente já vimos que o
Critério de Condensação de Cauchy é uma ferramenta que pode ajudar a determinar se a série
converge ou diverge. Nesta seção estudaremos séries desse tipo, onde os termos an são dados
por médio de uma função decrescente. Nesse caso veremos que a integral imprópria dessa
função nos ajudará a decidir o caráter da convergência da série.
Para facilitar a apresentação vamos considerar séries cujos termos an estão denidos para
todo n ≥ 1. Em grande parte dos casos o termo an de uma série é uma função de n dada
por uma fórmula an = f (n). Suponhamos que ao trocarmos n por uma variável contínua x
seja obtida uma função f (x) contínua e decrescente para todo x ≥ 1. Veremos a seguir que
o comportamento da integral imprópria de f denirá o comportamento da série quanto a sua
convergência.
Z ∞ Z n
Caso I. Suponhamos que f (x) dx = lim
n→∞ 0
f (x) dx < +∞.
1
y = f (x)
R1
R2
········· Rn−1 Rn
1 2 n−1 n x
Figura 2.1: O retângulo Rn tem como base uma unidade e o valor de sua altura é f (n).
Página 28 de 31
Adán J. Corcho IM-UFRJ
seguinte forma:
sn = a1 + a2 + · · · + an−1 + an
= a1 + Área(R2 ) + · · · + Área(Rn−1 ) + Área(Rn )
Z n
< a1 + f (x) dx (2.13)
Z1 ∞
< a1 + f (x) dx.
1
Como sn n≥1 é uma sequência crescente, segue do Teorema da Sequência Monótona que a
y = f (x)
R1
R2
······ Rn−1 Rn
1 2 3 n n+1 x
Figura 2.2: O retângulo Rn tem como base uma unidade e o vaor de sua altura é f (n).
As ideias discutidas até o momento são ressumidas, num formato levemente mais geral, no
seguinte resultado.
Página 29 de 31
Adán J. Corcho IM-UFRJ
Teorema 2.26 (Teste da Integral). Seja f : [κ, +∞) −→ [0, +∞), com κ ∈ N, uma
∞
função decrescente, e considere a série an , onde an = f (n). Então, a integral imprópria
X
n=κ
Z +∞ ∞
f (x) dx e a série f (n) convergem ou divergem simultaneamente.
X
κ n=κ
∞
1
. b) com α, β ∈ R.
X
(ln n)α nβ
n=2
Página 30 de 31
Adán J. Corcho IM-UFRJ
. c) Concluir que existe um número não-negativo γ , que depende da função f , tal que
Z n
a1 + a2 + · · · + an = γ + f (x) dx + rn ,
1
com lim rn = 0.
n→∞
Página 31 de 31