Professional Documents
Culture Documents
Apostila ITA
I 01 Sequncia Numrica Definio 4.1.: Uma sequncia de nmeros reais uma funo x : denotamos o valor de x em n por xn em vez de x ( n ) . Geralmente usamos a notao
para a qual
( xn )n
x:
( x1 , x2 ..., xn ,...) .
Dizemos que xn o
termo de ordem n ou que xn o n - simo termo da sequncia. Quando quisermos explicitar que a imagem da sequncia em A escreveremos ( xn )n A .
( xn )n
est contida
Como sequncias so funes, as definies de funo limitada, crescente, decrescente, montona, etc., tambm fazem sentido para sequncias. Exemplo 4.2.: Seja a e tomemos xn = a para todo n limitada. constante. imediato que ( xn )n . A sequncia ( xn )n
Exemplo 4.3.: A sequncia (1, 0,1, 0,1, 0,...) limitada mas no montona. Exemplo 4.4.: Sejam a , r geral, xn = a + ( n 1) r . A sequncia ( xn )n termo a e razo r . Se r = 0 , ento . Considere x1 = a , x2 = a + r , x3 = a + 2r , de maneira uma Progresso Aritmtica de primeiro constante e, portanto, limitada. Se
r > 0 , ento
superiormente.
( xn )n
( xn )n
estritamente crescente e, portanto, limitada inferiormente. estritamente decrescente e, portanto, limitada uma subseqncia de
( yk ) k
( xn )n
se existe uma .
a Progresso Aritmtica de termo inicial a e razo r . A de termo inicial a e razo 2r uma subseqncia de
( xn )n
( yk ) k
. De fato, tomando nk = 2k 1( k
obtemos
xnk = a + ( nk 1) r = a + ( 2k 2 ) r = a + ( k 1)( 2r ) = yk .
Matemtica
( xn )n
aproximam de x quando n cresce. Esta ideia no est errada. Porm, ela pode induzir a uma ideia equivocada de convergncia. Somos tentados a dizer que ( xn )n seja, a funo f ( n ) = xn x decrescente. No bem assim. Veja a figura 1. Ela converge para x quando a distncia entre xn e x diminui medida que n cresce, ou
foge um pouco do assunto sequncias em de nmeros reais mas ilustra bem o que queremos dizer por se aproximar. Imagine que, partindo do ponto A , percorremos no sentido anti-horrio o caminho desenhado como indicado pelas setas. Ningum duvida, e com razo, de que estaremos assim nos aproximando do ponto O . Porm, a ideia de que a nossa distncia ao ponto O decresce com o tempo mostra-se errada. Convena-se disto percebendo que passamos primeiro por B antes de chegar a C e, entretanto, o segmento BO menor que o segmento CO . De fato, a distncia a O cresce quando percorremos o segmento BC . Podemos perceber que existem muitos trechos do caminho sobre os quais a distncia a O crescente com o tempo, de modo que no existe nenhum ponto a partir do qual a distncia a O passe a ser decrescente com o tempo.
Continuemos analisando a figura 1 em busca da boa definio de convergncia. Observamos que nossa distncia a O fica to pequena quanto quisermos, bastando para isto que continuemos andando por um tempo suficiente longo. Por exemplo, nossa distncia a O ser menor que 1 depois que passarmos pelo ponto D . Ou seja, em certo instante entramos na bola de raio 1 centrada em O e dela no samos mais. Da mesma forma, a partir de outro instante (futuro) entramos na bola de raio 1 / 2 , centrada em O , e a ficamos. De modo geral, dado qualquer nmero positivo , existe um instante a partir do qual nossa distncia a O ser menor que . A est a definio. Para sequncias de nmeros reais ela expressa da seguinte maneira. 2
Apostila ITA
( xn )n
de modo
> 0 , N
ou que xn converge para (ou tende a) x quando n tende a mais infinito ( n + ) . Se ( xn )n no convergente, ento dizemos que ela divergente. e considere a sequncia dada por xn = x para todo n . Portanto, podemos escrever .
> 0 , n 1 xn x <
Exemplo 4.9.: Considere a sequncia xn = 1/ n para todo n . Vamos mostrar que xn 0 . Dado > 0 , tomemos N tal que N > 1 / . Temos ento 0 < 1 / N < . Mas se n e n N , ento xn = 1/ n 1/ N = xN . Logo, podemos escrever
> 0 , N
O leitor talvez conhea a notao lim n+ xn = x para xn x . Vamos refletir sobre ela. Por enquanto, faamos de conta que no conhecemos a definio de limite. Suponhamos que ao abrir um livro de Anlise, pela primeira vez, encontremos as seguintes inscries:
xn 0 e xn 1 .
No ficaramos chocados. Porm, se estivesse escrito
n +
lim xn = 0 e lim xn = 1
n +
Seramos levados a concluir que 0 = 1 . Ora, o sinal de igual " = " que nos leva a esta concluso. Se no tivermos a unicidade do limite, ento a notao lim n + xn = x fortemente enganosa. Apenas para constar, informo ao leitor interessado a definio de convergncia num contexto mais geral (de espaos topolgicos), do qual a nossa um caso particular, permite a no unicidade do limite (isto ocorre em espaos que no so de Hausdorff1). Entretanto, a prxima proposio nos dar direito ao uso da notao lim n+ xn = x . Proposio 4.10.: Sejam
( xn )n
uma sequncia e x, y
tais que xn x e 3
xn y . Ento x = y .
Matemtica
xn x , existe N
tal que
n N xn x < .
Seja n o maior dos nmeros N e N ' . Para tal n as duas concluses anteriores so vlidas. Temos ento
x y x xn + x n y < + = 2 = x y .
Conclumos que x y < x y , o que absurdo. Proposio 4.11.: Uma sequncia subsequncia de ( xn )n tende a x . tal que xn x . Seja
( xn )n
( xn )n
, i.e. , yk = xnk ( k
para alguma
( yk ) k sequncia ( nk )k
uma
xn x < . Como
( nk )k
restritamente
crescente, existe K
Portanto
( xn )n
( yk ) k
subsequncia de si mesma).
(1, 0, 1, 0, 1, 0, ...)
convergente, ento pela proposio anterior todas as suas subseqncias seriam convergentes para o mesmo limite. Porm, (1, 1, 1, ...) e ( 0, 0, 0, ...) so duas de suas subseqncias sendo que a primeira converge para 1 enquanto que a segunda converge para 0 . Como corolrio da proposio anterior, obtemos que se xn tende a x , ento xn + 2006 tende a x . No h nada de especial com o nmero 2006 . Mais geralmente, fixado p , temos que se xn tende a x , ento xn / p tende a x . fcil perceber que a recproca tambm verdadeira, ou seja, se para algum p temos que xn + p
Apostila ITA
tende a x , ento porque xn tende a x . Verifique! A importncia deste fato a seguinte. Se conhecermos alguma propriedade que garanta a convergncia de uma sequncia e soubermos que tal propriedade s valida a partir do seu p - simo termo ento, ainda sim, podemos concluir que a sequncia convergente. Vejamos um exemplo esclarecerdor. Exemplo 4.13: Sabemos que sequncia constantes so convergentes. Considere a sequncia (no constante) dada por xn = 1000 / n , sendo x a funo Parte Inteira de x , definida abaixo:
x = m se m
do seu milsimo-primeiro termo. Conclumos que ela convergente. Teorema 4.14.: Toda sequncia convergente limitada. Demonstrao. Seja ( xn )n uma sequncia convergente para x . Tomando 1 na tal que se n N ,
definio de sequncia convergente, conclumos que existe N ento xn x < 1 , i.e. , xn ( x 1, x + 1) . Tomando
. Portanto ( xn )n
limitada.
4.3.: Sequncias montonas e sequncias limitadas. A recproca do Teorema 4.14 falsa como mostra o Exemplo 4.12. Porm, existem algumas recprocas parciais que veremos nesta seo. Muitos dos resultados aqui apresentados utilizam, em sua demonstrao, a caracterizao, do supremo vista no Exerccio 5 do captulo 3. Proposio 4.15.: Se
xn sup { xn ; n
( xn )n
}.
Da mesma forma, se
}.
( xn )n
decrescente e limitada
Matemtica
Teorema 4.16. (Bolzano1 Weierstrass2) Toda sequncia limitada possui subsequncia convergente. Demonstrao. Sejam conjunto:
( xn )n
N = {n
Existem duas possibilidades: N infinito ou N finito. 1 caso: N infinito. Escrevamos N = {n1 , n2 , n3 , ...} com n1 < n2 < n3 < ... . Assim, se i < j ento
( xn )k
k
convergente. 2 caso: N finito. Como N finito, existe N1 / N cota superior de N . Ora, n1 N logo, existe n2 > n1 (e portanto n2 N ) tal que xn1 xn2 . Mas de n2 N seque que existe n3 > n2 (e portanto n3 N ) tal que xn2 xn3 . Por induo, definimos uma subsequncia
( xn )k
k
> 0 , N
Uma sequncia de Cauchy se seus termos se aproximam uns dos outros. Repare que no apenas termos consecutivos mas sim todos eles. natural acreditar que
Apostila ITA
qualquer sequncia convergente de Cauchy e vice-versa. Vamos admitir, por hora, que sequncias convergentes so de Cauchy (este fato ser demonstrado a seguir). Faamos alguns comentrios sobre a recproca. Considere uma sequncia ( xn )n de nmeros racionais convergentes para, por exemplo, 2 (existe tal sequncia?). Sendo convergente ela de Cauchy. Como a definio de sequncia de Cauchy no faz meno ao limite, mesmo se s conhecssemos nmeros racionais ainda estaramos de acordo que ( xn )n de Cauchy. Porm, neste caso, no seramos capazes de mostrar a existncia do limite. Ou seja, se considerssemos apenas nmeros racionais, no seria possvel mostrar que toda sequncia de Cauchy convergente. mas no em , isto deve J que sequncias de Cauchy so convergentes em estar relacionado completeza. De fato, alguns autores usam sequncias de Cauchy de nmeros racionais para construir . A vantagem desta construo que ela pode ser empregada para completar outros conjuntos (ou melhor, espaos mtricos) que no sejam corpos ordenados. Teorema 4.18. Uma sequncia convergente se, e somente se, ela de Cauchy. Demonstrao. Seja ( xn )n uma sequncia convergente para o limite x . Dado > 0 existe
xn xm xn x + x xm <
Conclumos que ( xn )n
+ = . 2 2
ao da demonstrao do Teorema 4.14 mostra que ( xn )n Teorema de Bolzano-Weierstrass, existe N tal que
( xn )n
tem subsequncia
( xn )n
(4.1)
( xn )n
k
convergente de Cauchy,
n, m N xn xm <
Como xnk x , existe k segue que, se n N , ento
. 2
Matemtica
+ =. 2 2
Existem sequncias divergentes que possuem limite! Isto apenas um jogo de palavras. A definio seguinte diz que certas sequncias tm limites que no so nmeros reais. No diremos que tais sequncias so covergentes. Definio 4.19. Seja ( xn )n numa sequencia. Dizemos que xn tende a mais infinito
quando n tende a mais infinito ou que mais infinito limite da sequncia e escrevemos xn + ou lim n + xn = + se,
M
Definio 4.20. Seja ( xn )n
, N
quando n tende a mais infinito ou que menos infinito limite da sequncia e escrevemos xn ou lim n + xn = se,
, N
Insistimos no fato que se xn + ou xn , ento no podemos dizer que a sequncia convergente. Uma sequncia dita convergente exclusivamente quando satisfaz a condio da Definio 4.7. Alm disto, se xn + ento ( xn )n ilimitada superiormente e, portanto, divergente. Da mesma forma, se xn , ento ( xn )n ilimitada inferiormente e, portanto, divergente. Observao 4.21. Com estas convenes sobre uso dos termos sequncia convergente a de limite de sequncia a Proposio 4.11 tambm vlida (obviamente com outra demonstrao) se substituirmos x por + ou por . Como xn > M equivalente a xn < M , temos que xn + se, e somente se, xn . Portanto toda afirmao sobre limite mais infinito tem uma anloga para limite menos infinito. 4.6 Operaes com limites. Temos a seguir algumas propriedades aritmticas de limites finitos. Proposio 4.22. Sejam respectivamente, e c 8
( xn )n
( yn )n
convergentes para
y,
. Temos:
Apostila ITA
I. II. III.
xn + yn x + y ; xn yn x y ; c xn cx ;
IV. se y 0 , ento yn 1 y 1 .
( xn )n
( yn )n
, existem N ' e
N '' tais que, se n N ' , ento xn x < / 2 , e se n N '' , ento yn y < / 2 . Seja
N = max { N ', N ''} . Assim, se n N , ento n N ' e n N '' e, da,
( xn + yn ) ( x + y )
= ( xn x ) + ( yn y ) xn x + yn y <
+ = . 2 2
Mostramos assim que xn + yn x + y . (II) Seja > 0 . Como ( xn )n tal que xn < C para todo n Desta forma, para n N , temos
xn yn x y xn yn xn y + xn y x y = xn yn y + y xn x
convergente, ela limitada. Logo, existe C > 0 tal que se n N , ento xn x < e yn y < .
C yn y + y xn x < ( C + y ) .
Isto mostra que xn yn converge para x y . (III) consequncia do item anterior, tomando yn = c para todo n (IV) Seja > 0 e N '
1
N ''
tal que,
yn > y / 2 ,
i.e. ,
n N , temos que
Matemtica
. A sequncia
(r )
n
r n 0 , obtemos 0 r n +1 r n . Logo,
(r )
n
l . Ora, r n +1 = r r n , ento, passando o limite, obtemos l = r l . Como r 1 , temos l = 0 . Segue, finalmente, que r n
( )
Se
n
r > 1 , ento
r = 1+ h
r n = r 1 + nh e, portanto,
r n + . Em particular,
(r )
n
divergente
(Exerccio (2.b)). Deixamos para o leitor o estudo dos casos r = 1 e r = 1 . Vejamos agora as propriedades aritmticas de limites infinitos Proposio 4.24. Sejam que xn + . Temos: I. II. III. IV.
( xn )n
( yn )n
c xn + ;
xn 1 0 .
tal que a yn para todo n . Dado M , como xn + , tal que se n N , ento xn > M a . Segue que se n N , existe N ento xn + yn xn + a > M . Conclumos que xn + yn + . , podemos tomar N se tal que se n N , ento xn > M / c .
xn y n xn c > M M .
forma,
nN ,
ento
Portanto .
0 =
xn 1
10
Apostila ITA
4.7 Limite superior e limite inferior. No estudo de limites de subsequncias conveniente fazer a seguinte definio. Definio 4.25. Dizemos que x subsequncia de ( xn )n valor de aderncia de
( xn )n
se existe
convergente para x .
O Teorema de Bolzano-Weierstrass diz ento que toda sequncia limitada possui valor de aderncia. Observe que se ( xn )n limitada superiormente, ento o conjunto dos seus valores de aderncia tambm limitado superiormente (veja Exerccio (4.c)). Analogamente, se ( xn )n limitada inferiormente, ento o conjunto de seus valores de aderncia tambm . Definio 4.26. Seja A o conjunto dos valores de aderncia de superior de ( xn )n definido por
( xn )n
. O limite
Pode parecer estranho tomar como definio de limite superior de uma sequncia limitada superiormente e sem valor de aderncia. A razo que, nestas condies, a sequncia tende a (veja Exerccio 8). Desta forma, o resultado do pargrafo anterior tambm vlido para limites infinitos. 11
Matemtica
( )n
de ( xn )n
n +
tal que
( xn )n
Demonstrao. Seja A o conjunto dos valores de aderncia de xn . seja ilimitada superiormente e, portanto,
lim sup xn = +
n +
lim sup xn = .
n +
Se
( xn )n
( xn )n
A . Logo,
( xn )n
limitada
( xn )n
Como j observado antes, A limitado superiormente e, portanto, seu supremo s finito. Vamos mostrar que s A . Aplicando sucessivamente o resultado do Exerccio 5 do Captulo 3 obtemos: a1 A tal que s a1 > s 1 ;
Tambm
temos
a2 A ,
n2 > n1
( xn )k
k
12
Apostila ITA
I 02 Exerccios 01. Seja ( nk )k a) b) se uma sequncia crescente. Mostre que limitada superiormente, ento ela constante a partir de um . Conclua
( nk )k
certo termo; se ( nk )k estritamente crescente, ento nk k para todo k que ( nk )k no limitada superiormente.
02. Seja ( xn )n a)
se xn 0 , ento xn 0 ;
03. Mostre que a recproca do Exerccio (2.b) falsa. 04. Sejam y a) b) c) d) e) e ( xn )n uma sequncia convergente para x . Mostre que se y < x , ento existe N tal que y < xn para todo n N . Mostre que se x < y , ento existe N tal que xn < y para todo n N . Mostre que se xn y para todo n , ento x y . Mostre que se xn y para todo n , ento x y . Se y < xn , para todo n , ento podemos afirmar que y < x ?
x
05. Sejam
( xn )n
y , respectivamente.
zn x .
06. Sejam
{nk ; k
crescente
tais
que
( ) k
e xmk
( ) k
convergem para x .
xn yn x y ; se y 0 , ento xn / yn x / y ;
m xn x m qualquer que seja m
13
Matemtica
08. Seja
( xn )n ( xn )n ( xn )n ( xn )n
aderncia. Mostre que xn . 09. Seja a) b) c) a sequncia . Mostre que: definida indutivamente por
x1 = 0
xn +1 = 2 + xn n
xn 2 n
;
crescente; convergente.
n+
Determine lim xn . 10. O objetivo deste exerccio mostrar o seguinte resultado: para todo m e a com m 2 e a 0 , existe um nico x tal que x 0 e x m = a . Tal x dito raiz m - sima de a e denotado m a (ou simplesmente a no caso m = 2 ). Para isto considere a sequncia ( xn )n definida indutivamente por x1 = 1
xn +1 = xn
Mostre que: a) a funo b) c) d) e) f)
m mxn 1
m xn a
f:
dada por
f ( x ) = x m estritamente crescente em
m - sima de a ;
a n ; xn + 2 xn +1 n ;
( xn )n
Sugesto: Em (10.b) use (10.a) e considere separadamente os casos x < y , x > y e x = y . Use ainda a seguinte igualdade:
y m xm = y m 1 + y m 2 x + ... + yx m 2 + x m 1 yx
Em (10.c) proceda por induo. Em (10.d) use (10.b) e em (10.e) use (10.d). Finalmente use a Proposio 4.15 em (10.f).
14
Apostila ITA
definimos
x
i =1
= x1 + ... + xn .
A sequncia ( Sn )n dita das somas parciais da srie termo ou termo geral da srie. Escrevemos
e xn o n - simo
x
n =1
= lim Sn
n +
quando o limite acima existe e, neste caso, ele dito limite da srie. Dizemos que xn convergente ou divergente se ( Sn )n convergente ou divergente,
absolutamente se a srie
n 1)
. Temos
n2
+r
n 1
diverge, e portanto,
x
=
x
n =1
1 . 1 r
A prxima proposio uma verso da Proposio 44.2 para sries. Proposio 4.30. Sejam que
. Temos
15
Matemtica
I. II.
Demonstrao. A demonstrao trivial: basta aplicar a Proposio 4.22 para as xn e de yn . sequncias das somas parciais de Observamos que, em geral,
+
n =1
( xn yn ) xn yn .
n =1 n =1
Passamos ao estudo da natureza de sries, i.e. , estamos interessados em critrios que determinem se uma srie convergente ou divergente. Teorema 4.31. I.
x
Se
> 0 , N
II.
tal que n m N
x
i=m
<.
converge, ento xn 0 .
Demonstrao. (I) O critrio dado diz simplesmente que a sequncia das somas parciais de Cauchy. O resultado segue do Teorema 4.18. (II) Segue de (I), tomando m = n . (III) Observamos que para todo m , n N temos
xi xi =
i=n i=n
x
i=n
implica a de
ser O item (III) do teorema anterior est intimamente ligado ao fato de completo. Devemos ressaltar ainda que a sua recproca no verdadeira, ou seja, existem sries que so convergentes mas no absolutamente convergentes. Veremos um exemplo posteriormente.
16
Apostila ITA
Exemplo 4.32. Pelo item (II), a condio xn 0 necessria para a convergncia da srie
1 / n
o contra exemplo
1 , 2 1 1 2 1 S4 = S2 + + > S2 + = 1 + 2 , 3 4 4 2 1 1 1 1 1 4 1 S8 = S 4 + + + + > 1 + 2 + = 1 + 3 5 6 7 8 2 8 2
S2 = 1 +
Portanto, S2 n > 1 + n / 2 . Da, segue que lim n + S2n = + . Conclumos que a srie diverge. Vamos tratar agora de alguns critrios de convergncia para sries de termos positivos. Claramente, todos os critrios aqui expostos podem ser adaptados para sries de termos negativos. De fato, se xn uma srie de termos negativos, ento
(x )
n
somente se, a segunda converge. Eventualmente, podemos usar tambm critrios sobre sries de termos positivos para uma srie xn que tenha termos de sinais variveis. Ora, se ao aplicarmos algum destes critrios para a srie
converge. Por outro lado, se o critrio nada disser, ou mesmo se ele nos informar que xn divergente, em geral, nada poderemos afirmar sobre a convergncia da srie
Observamos tambm o seguinte fato, j mencionado no caso de sequncias. Os primeiros termos de uma srie nada influem na sua natureza. De fato, a srie xn converge se, e somente se, a srie
p
a srie
Desta forma, todos os critrios que determinam a natureza de uma srie atravs de alguma propriedade verificada por todos os seus termos continuam vlidos se a tal propriedade verificada partir de algum termo (por exemplo, 2006 ). Por outro lado, no podemos desprezar nenhum termo de uma srie convergente quando estamos interessados em determinar o valor do seu limite.
n + 2006
n+ p
convergente.
17
Matemtica
Proposio 4.33. Uma srie de termos positivos convergente se, e somente se, a sequncia de suas somas parciais limitada superiormente. Demonstrao. Por definio, parciais
crescente. Logo, ( Sn )n convergente se, e somente se, ela limitada superiormente (ver proposies 4.14 e 4.15)
( Sn )n
( xn )n
( yn )n
tais que
0 xn yn para todo n
I. II.
.
n
y Se x
Se
e (Tn )n
respectivamente. De xn yn segue imediatamente que Sn Tn para todo n se (Tn )n limitada superiormente, ento ( Sn )n limitada superiormente, ento (Tn )n
, .
Proposio 4.33.
claro que se p 0 , ento ela diverge pois neste caso lim n + xn 0 . Suponhamos 0 p 1 . Temos 1/ n 1/ n p para todo n . Portanto, por comparao com a Srie Harmnica, conclumos que a srie diverge. Finalmente, consideremos os casos p > 1 . Mostraremos que a srie converge. Seja
1/ n
segundo os valores de p .
( Sn )n
, temos:
18
Apostila ITA
Sn = 1 + 1+
1 2 1 2
p
+ +
1 3 1 3
p
+ ... + + ... +
1 np 1 n
p
+ ... +
( 2 1)
n
1 1 1 1 1 1 1 = 1 + p + p + p + p + p + p + ... + 3 4 5 6 7 2 2n 1
+ ... + n 2 1 p
1+
2 2
p
4 4
p
+ ... +
2n 1
(2 )
n 1 p
(2 )
1 p i =1
( i 1)
Como P > 1 temos 21 p < 1 e, portanto, a Srie Geomtrica de razo 21 p 1/ n p converge. Segue que ( Sn )n limitada superiormente e portanto convergente. Teorema 4.36. (Teste da Razo, ou de dAlembert1) Seja nmeros estritamente positivos. I. Se lim n + xn +1 / xn < 1 , ento II. Se lim n + xn +1 / xn
( xn )n
uma sequncia de
x > 1 , ento x
n n
convergente. divergente.
tal que lim n + xn +1 / xn < r < 1 . O resultado do Exerccio tal que xn +1 / xn < r para todo n N . Temos ento xN +1 < rxN ;
x N + 2 < rx N +1 < r 2 x N ; x N + 3 < rx N + 2 < r 3 x N ;
De maneira geral, xn < r n N x N , para todo n N . Tomando yn = r n N x N (para todo n ) temos que xn yn para todo n N . Como Geomtrica de razo r ( 0, 1) , ela convergente. O resultado segue do Critrio de Comparao. tal que (II) Usando o resultado do Exerccio (4.b) conclumos que existe N xn +1 / xn 1 para todo n . Portanto, xn +1 xn para todo n N . Segue que a sequncia dos termos gerais da srie crescente a partir do N - simo termo e, portanto, no converge para zero. Logo, a srie divergente. 19
uma srie
Matemtica
1/ n! convergente pois
1 / ( n + 1) ! 1 / n! = lim n! 1 = lim =0 n + ( n + 1) ! n + n + 1
n+
lim
Quando lim n + xn +1 / xn = 1 , o Teste de Razo nada permite concluir (nem convergncia nem divergncia). Existem vrias verses do Teste da Razo. A verso vista aqui no a mais geral delas. Por exemplo, podemos substituir o smbolo de limite em (I) pelo smbolo de limite superior. A concluso de (II) tambm vlida se substituirmos o smbolo de limite pelo de limite inferior. Exemplo 4.38. Vejamos exemplos para os quais o Teste da Razo no conclusivo. 1/ n e 1/ n2 . J vimos que a primeira divergente enquanto Considere as sries que a segunda convergente. Porm, para ambas temos que lim n + xn +1 / xn 1 . De fato,
n +
lim
1 / ( n + 1) 1/ n
= lim
n =1 n+ n +1
n +
lim
1/ ( n + 1) 1/ n 2
= lim
n2
n +
( n + 1)2
= 1.
Teorema 4.39. (Teste da Raiz, ou de Cauchy) Seja ( xn )n positivos. I. II. Se lim n + n xn < 1 , ento Se lim n + n xn
x > 1 , ento x
tal que
n
n n
convergente. divergente.
resultado segue por comparao com a Srie Geomtrica (II) Anlogo ao item anterior. Quando
convergncia nem divergncia). Tambm existem outras verses do Teste da Raiz. A verso aqui apresentada no a mais geral delas. Por exemplo, podemos substituir o smbolo de limite em (I) pelo smbolo de limite superior. A concluso de (II) tambm vlida se substituirmos o smbolo de limite pelo limite inferior. 20
Apostila ITA
4.9 A srie dos inversos dos primos. Terminamos o captulo com um interessante resultado sobre a srie dos inversos dos primos. O primeiro a demonstr-lo foi Euler1 [ 7 ] . A demonstrao que apresentaremos aqui mais uma das preciosidades de Erds2 [ 6 ] . O argumento do tipo combinatrio. Antes de apresent-lo faamos uma definio. Definio 4.40. A funo Parte Inteira definida, para todo x , por e n x < n +1 . x n se n Exemplo 4.41. Temos 1 = 1 , 1.4 = 1 e 1.5 = 2 . Proposio 4.42. Seja
( pn )n
1/ p
n
diverge.
1/ p 1 p
+ n=
tal que:
A = {m {1, ..., M } ; m mltiplo de algum dos primos p N , p N +1 ,...} , B = {m {1, ..., M } ; m no mltiplo de algum dos primos p N , p N +1 ,...}
Vamos mostrar que # A < M / 2 e # B M / 2 chegando assim a uma contradio. O nmero de mltiplos do primo p que so menores que M M / p . Segue que
#A M M M . < p p 2 n= N n n= N n
Tambm fcil ver que todo m B pode ser escrito como m = a b 2 sendo a um produto de primos distintos, todos menores que pN , e b 2 um produto de quadrados de primos, tambm menores que PN . Existem exatamente 2 N 1 nmeros nas condies de a . Temos ainda que b 2 m M e portanto b M = 2 N . Segue que 2N existem, no mximo, nmeros nas condies de b . Portanto
# B 2 N 1 2 N = 22 N 1 = M / 2 . 21
Matemtica
I 04 Exerccios 01. Determine se convergente ou divergente cada uma das sries abaixo. n a) ; 2n n+2 ; b) n ( n + 1)
02. Seja a) b)
x uma srie convergente de termos positivos. Mostre que ( x ) convergente; > 0 , ento ( x / y ) convergente. se lim inf
n
2 n
n+
03. Use o resultado do Exerccio 2 do Captulo 2 para mostrar que a srie harmnica diverge.
(x
yn ) absolutamente convergente.
absolutamente convergente e
( yn )n
limitada, ento
( sen n / n )
2
f:
06. Sejam ( xn )n
xn = c n + yn lim
Mostre que
/ {0} .
converge.
22
Apostila ITA
07. O objetivo deste exerccio mostrar o Critrio de Leibniz1 que diz: se srie
( xn )n
( 1)
n +1
( 1)
n +1
xn convergente.
08. Use o critrio de Leibniz para dar um exemplo de uma srie que convergente mas no absolutamente convergente.
( n!)2 n ( 2n )!a .
23
Matemtica
24
IME ITA