Curso: MAT 220 - CALCULO DIFERENCIAL E INTEGRAL IV Unidade: IFUSP - Instituto de F Isica da USP Professor Oswaldo Rio Branco

de Oliveira Per odo: Segundo Semestre de 2009 APRESENTAC AO Objetivos: Estudo de sequ encias e s eries em R e em C. Fun c oes anal ticas. 1. N umeros Complexos. 2. Axioma do Supremo, sequ encias em R. O n umero e e a fun c ao exponencial real. 3. Sequ encias em C. 4. Alguns resultados para Somas e S eries em R e em C. A fun c ao exponencial complexa. 5. S eries de pot enciasem R e em C. 6. Deriva c ao Complexa. 7. Fun c oes elementares. Transforma c oes conformes. 8. Integra c ao Complexa. F ormula de Cauchy e f ormula integral para as derivadas. Teorema do m odulo m aximo e teorema de Liouville. 9. S eries de Taylor e de Laurent. Singularidades e C alculo de Res duos.

Bibliograa principal: (1) Soares, Marcio G., C alculo em uma vari avel complexa, Cole c ao Matem atica Universit aria, IMPA, 4. ed., 2007. (2) Remmert, R., Theory of Complex Functions, Graduate Texts in Mathematics, v. 122. (3) Lima, E. L., Curso de An alise, IMPA, CNPq, Rio de Janeiro, 1976. (4) Churchill, R. V., Vari aveis Complexas e Aplica c oes, EDUSP/McGraw-Hill, 1975. Bibliograa Suplementar: (5) Apostol, T. M., Calculus, 2nd. ed., Ed. Waltham/Blaisdell, 1967-1969. (6) Boyer, Carl B.,His oria da Matem atica, Ed. Edgard Blucher, 1974. (7) Neto, Alcides Lins, Fun c oes de Uma Vari avel Complexa, IMPA, 2005. (8) Spivak, M.,Calculus Innitesimal, vol 2, Ed. Revert e, Barcelona, 1978.

 MAT 220 - CALCULO DIFERENCIAL E INTEGRAL IV (IFUSP)

Cap tulo 1 - NUMEROS COMPLEXOS 1 - Sobre a origem dos n umeros complexos. 2 - O corpo dos n umeros complexos, C. O plano de Argand-Gauss. 3 - O corpo C n ao e orden avel. 4 - O conjugado e o m odulo de um n umero complexo. 5 - O argumento e a representa c ao polar de um n umero complexo. F ormula de Moivre. 6 - Potencia c ao e radicia c ao. 7 - A orienta c ao de um paralelogramo. Uma interpreta c ao do produto interno em C.

Cap tulo 2 - SEQUENCIAS 1 - Introdu c ao. 2 - Axioma do Supremo. 3 - Topologia essencial. 4 - Sequ encias, Limites de Sequ encias e Propriedades Operat orias. 5 - Subsequ encias e Valores de Ader encia. 6 - Sequ encias de Cauchy. 7 - O lim sup e o lim inf. 8 - Exemplos Cl assicos, Identidades e Desigualdades. 9 - As Fun c oes Logaritmo e Exponencial Reais. Ap endice 1 - Coment arios Sobre os N umeros e e . Ap endice 2 - Explicitando o lim sup e o lim inf.

Cap tulo 3 - SERIES/CRIT ERIOS DE CONVERGENCIA

1 - Introdu c ao. 1 - O Limite de uma S erie Convergente. Propriedades Operat orias. 2 - Crit erio de Cauchy. Converg encia Absoluta e Condicional. 3 - Crit erios para Converg encia Absoluta e de Termos Positivos.

4 - Crit erios para Converg encia N ao Necessariamente Absoluta. 5 - Crit erio para Converg encia de uma S erie Alternada. 6 - Exemplos cl assicos e s eries de Taylor de algumas fun c oes elementares. Ap endice - Segunda Prova da Compara c ao Entre os Testes da Raz ao e da Ra z. Ap endice - F ormulas de Taylor com Resto Integral e Resto de Lagrange.

Cap tulo 4 - SERIES ABSOLUTAMENTE CONVERGENTES E SOMAS

1 - Introdu c ao. 2 - Somabilidade, Converg encia Absoluta e Comutatividade. 3 - Associatividade para S eries e para Somas de uma Sequ encia. 4 - Soams de uma sequ encia dupla e o Produto de S eries. 5 - Aplica c ao: A fun c ao exponencial complexa. As fun co es seno e cosseno complexas. 6 - O Produto de Duas S eries N ao Necessariamente Absolutamente Covergentes. 7 - Somabilidade de Cesaro. 6 - Ap endice 1 - S eries Condicionalmente Convergentes (Teorema de Riemann).

Cap tulo 5 - SEQUENCIAS E SERIES DE FUNC OES E SERIES DE POTENCIAS

1 - Introdu c ao 2 - Sequ encias de Fun c oes. 3 - S eries de Fun c oes. 4 - S eries de Pot encias.

Cap tulo 1

NUMEROS COMPLEXOS
1.1 - Sobre a Origem dos N umeros Complexos Os breves coment arios a seguir ap oiam-se nas notas do Prof. C esar Polcino, A emerg encia dos N umeros complexos (15 p aginas), cuja leitura e recomendada. Tais n umeros surgiram naturalmente, ao menos, desde a ocorr encia das equa c oes do segundo grau nas tabuletas de argila da Sum eria, c. 1700 a.C. At e sua total formaliza c ao em 1833 pelo irl andes W. R. Hamilton (1805-1865) foi um arduo processo. O fato de um n umero negativo n ao ter ra z quadrada parece ter sido sempre conhecido pelos matem aticos que se depararam com a quest ao. Contrariamente ao bom senso, n ao foram as equa c oes do segundo grau que motivaram a aceita c ao de tal campo num erico mas sim as de terceiro grau. As equa c oes de segundo grau eram vistas como a formula c ao matem atica de um problema concreto ou geom etrico e se no processo de resolu c ao surgia uma ra z quadrada de um n umero negativo, isto era interpretado como prova de que tal problema n ao tinha solu ca o. Como exemplo expomos a seguir um problema na Arithmetica de Diofanto (275 d.C.). Problema: Determinar os lados de um tri angulo ret angulo de area igual a 7 e per metro igual a 12 unidades. Solu c ao: indicando por x e y os comprimentos dos catetos temos xy =7 2 e x2 + y 2 = (12 x y )2 .
14 , x

Desenvolvendo a segunda equa c ao temos 12x + 12y = 72 + xy e nesta substituindo y = 6x2 43x + 84 = 0 x= 43 167 . 12

Aqui, Diofanto observa que s o poderia haver solu c ao se ( 172 )2 > 2 procurar um sentido para a express ao 167.

24 . 336

Neste contexto e sup eruo

O primeiro matem atico a perceber a prem encia dos n umeros complexos (ainda que, natural-

mente, de modo vago e confuso) foi o italiano R. Bombelli (c. 1526-1573), autor da obra em tr es volumes lAlgebra (1572, Veneza). Na p agina 294 deste Bombelli aplica ` a equa c ao x3 = 15x + 4,

a f ormula de Tartaglia-Cardano 1 para o c alculo das ra zes, obtendo: x=

3

2+

121 +

121 .

Notando que x = 4 e uma ra z da equa c ao Bombelli cogita que tal valor est a impl cito na express ao para as ra zes e que e poss vel dar um sentido ` a express ao 2 121 e denir opera co es entre express oes an alogas, tais como adi c ao, multiplica c ao, radicia c ao, etc. de modo que x = 4 seja apenas um dos valores obtidos atrav es destas. Assim, nasce uma situa c ao em que apesar da um fen presen ca de radicais de n umeros negativos, existe uma solu c ao da equa c ao dada. E omeno novo, dif cil de entender mas relevante e e necess ario compreende-lo com profundidade. A partir do trabalho de Bombelli os n umeros complexos come cam a ser utilizados como um algoritmo que funciona para resolver equ c oes de terceiro grau mas, ao mesmo tempo, era claro que tais n umeros n ao poderiam existir. Uma das grandes diculdades em admitir a exist encia dos complexos era a aus encia de uma representa c ao geom etrica ou de uma interpreta c ao f sica destes n umeros. A obten c ao da representa c ao geom etrica, que lhes deu a cidadania denitiva na matem atica foi tamb em ardua. Principiou em 1673 com o ingl es J. Wallis (1616-1703) e continuou com os franceses A. de Moivre (1667-1754) e J. DAlembert (1717-1783), o ingl es R. Cotes (1682-1716), o sui co L. Euler (1707-1783), etc. e pode-se dizer que estabelecida pelo noruegu es C. Wessel (1745-1818) em 1799, pelo franc es J. R. Argand (1768-1822) em 1806 e o alem ao C. F. Gauss (1777-1855) em 1831, que cunhou a express ao um tanto inapropriada n umeros complexos. A formaliza c ao completa deve-se, como j a mencionamos a W. Hamilton.

1.2 - O Corpo dos N umeros Complexos. O plano de Argand-Gauss. No que segue R e o corpo ordenado completo dos n umeros reais com m etrica d R R [0, +) , d(x, y ) = x y ,

e R2 = R R e o espa co vetorial real dado pelas opera c oes: dados a, b, c, d e reais, (ME) (a, b) = (a, b) (A) (a, b) + (c, d) = (a + c, b + d) (adi c ao) ,

(multiplica c ao por escalar) .

(A1) (a, b) + [(c, d) + (e, f )] = [(a, b) + (c, d)] + (e, f ) (associativa) , (A2) (a, b) + (c, d) = (c, d) + (a, b) (comutativa) , (A3) (a, b) + (0, 0) = (a, b) (exist encia do elemento neutro) ,
1

A opera c ao de adi c ao tem as propriedades: dados (a, b), (c, d), (e, f ) R2 ,

(A4) (a, b) + (a, b) = (0, 0) (exist encia do elemento oposto) ;

Os italianos Nicollo Tartaglia (c. 1500-1557) e G. Cardano (1501-1576)

b+d d b v c u

w =u +v b b u a a+c
x

>1 u

Figura 1.1: adi c ao e multiplica c ao por escalar real e a opera c ao multiplica c ao por escalar: dados , 1 , 2 R e (a, b), (c, d) R2 , (ME4) [(a, b) + (c, d)] = (a, b) + (c, d). (ME2) 1.(a, b) = (a, b)

(ME1) 1 [2 (a, b)] = (1 2 )(a, b)

(ME3) (1 + 2 )(a, b) = 1 (a, b) + 2 (a, b)

Com tais opera c oes R2 e um espa co vetorial real de dimens ao dois.

Deniremos uma multiplica c ao em R2 adaptada ` as regras operat orias esperadas para a multiplica c ao de n umeros complexos. Informalmente introduzindo os n umeros i, i2 = 1, e a + bi e c + di, com a, b, c, d R, desejando manter as propriedades comutativas, associativas e distributivas para os n umeros reais devemos esperar que (a + bi)(c + di) = ac + adi + bic + bidi = ac + adi + bci + bdi2 = (ac bd) + (ad + bc)i . (a, b) (c, d) = (ac bd, ad + bc) .

Assim, dados (a, b), (c, d) R2 denimos a opera c ao

(M1) (a, b) [(c, d) (e, f )] = [(a, b) (c, d)] (e, f ) (M2) (a, b) (c, d) = (c, d) (a, b) (comutativa),

propriedades abaixo: dados (a, b), (c, d), (e, f ) R2 temos,

Proposi c ao 1.1 O conjunto R2 munido das opera co es + e , (R2 , +, ), e um corpo. (associativa),

Prova: As propriedades da adi c ao decorrem de (A1), (A2), (A3) e (A4). Veriquemos as

(M3) (a, b) (1, 0) = (a, b) (exist encia do elemento neutro). Verica c ao de (M 1):

(M4) (a, b) (0, 0) , (u, v ) R2 tal que (a, b)(u, v ) = (1, 0) (exist encia do elemento inverso). (D) (a, b) [(c, d) + (e, f )] = (a, b) (c, d) + (a, b) (e, f ) (distributiva). = (ace adf bcf bde, acf + ade + bce bdf ) (a, b) [(c, d) (e, f )] = (a, b) (ce df, cf + de) = a(ce df ) b(cf + de), a(cf + de) + b(ce df ) = (ac bd, ad + bc) (e, f ) = [(a, c) (b, d)] (e, f ) . 7 = (ac bd)e (ad + bc)f, (ac bd)f + (ad + bc)e

Verica c ao de (M 4): basta resolvermos o sistema linear real nas vari aveis u e v , au bv = 1 , bu + av = 0 . Tal sistema t em determinante a2 + b2 0 e solu c ao u nica dada por, u= 1 a2 + b 2 1 0 b a = a a2 + b 2 , v= 1 a2 + b 2 a b 1 0 = b . a2 + b 2

As propriedades (M 2) e (M 3) s ao consequ encias obvias da deni c ao da opera c ao .

(a, b) [(c, d) + (e, f )] = (a, b) (c + e, d + f ) = a(c + e) b(d + f ), a(d + f ) + b(c + e) Deni c ao 1.2 (R2 , +, ) e o corpo dos n umeros complexos, indicado por C. = (ac bd) + (ae bf ), (ad + bc) + (af + be)

Verica c ao de (D):

= (ac bd, ad + bc) + (ae bf, af + be) = (a, b) (c, d) + (a, b) (e, f )

Nos referiremos a C como corpo dos n umeros complexos ou plano complexo. Por esta

constru c ao, R2 e C s ao conjuntos iguais e o mesmo espa co vetorial. Ao enfatizarmos as estruturas de espa co vetorial ou corpo escreveremos R2 ou C, respectivamente. Mostramos abaixo que C cont em um subcorpo isomorfo a R, justicando a nota c a o R C. Consideremos a aplica c ao, evidentemente injetora, j a R (a, 0) C .

claro que j preserva as opera E c oes de adi c ao e multiplica c ao, isto e, a, b R, j (ab) = (ab, 0) = (a, 0) (b, 0) = j (a)j (b) .
y

Assim, j e um isomorsmo de corpos e Im(j ) = {(a, 0) a R} e subcorpo de C isomorfo a R.

j (a + b) = (a + b, 0) = (a, 0) + (b, 0) = j (a) + j (b) ,

(0, b)
O

(a, b)
E

(a, 0)

Figura 1.2: Eixo x isomorfo a R por j Por tal isomorsmo n ao h a diferen ca alg ebrica entre R e Im(j ) e passamos a identic a-los, (a, b) = (a, b) e (a, b) = (, 0) (a, b) = (a 0.b , b + 0.a) = (a, b) . 8

n ao distinguindo entre um n umero real a e j (a) = (a, 0).

A multiplica c ao por escalar real herdada de R2 n ao conita com : se R e (a, b) R2 ,

Doravante, omitiremos o s mbolo e escreveremos (a, b)(c, d) para (a, b) (c, d). O corpo C tem tr es elementos distinguidos, a saber, (0, 0) , (1, 0) , Os elementos 0 = (0, 0) e 1 = (1, 0) s ao, respectivamente, os neutros da adi c ao e da multipli ca o j a o sabemos e se a < 0 temos (i (0, 1) .

em C. J a (0, 1) satisfaz (0, 1)(0, 1) = (0.0 1.1, 0.1 + 1.0) = (1, 0) = 1 e e indicado por i. Logo, i2 = 1 e C e uma extens ao do corpo R na qual 1 = (1, 0) tem ra z quadrada i C e escrevemos i = 1. Segue que todo n umero real a admite ra z quadrada complexa: se a 0 com muitas particularidades em R, e simplesmente e completamente sol uvel em C. Pelas identica c oes acima citadas podemos escrever, (a, b) = (a, 0) + (0, b) = (a, 0) + b(0, 1) = a + bi . a )2 = a = a. Mais adiante veremos que todo n umero

complexo possui m ra zes m- esimas em C, m N , o que provar a que o problema da radicia ca o,

Com esta nota c ao temos,

de z e b e a parte imagin aria de z , denotadas por Re(z ) e Im(z ), respectivamente, isto e, z = Re(z ) + iIm(z ) , z C .

usual indicar um n E umero complexo por z , w e . Se z = (a, b) = a + ib C, a e a parte real

(a + ib)(c + id) = ac + adi + bci + bdi2 = (ac bd) + (ad + bc)i .

A representa c ao geom etrica de z C e igual a de R2 , seja pelo ponto do plano cujas coordenadas s ao, respectivamente, as partes real e imagin aria de z , dito axo de z , seja pelo vetor com origem coincidente com a origem do sistema de coordenadas e extremidade o axo de z .
y

(0, b)
0

z = a + ib (a, b)

(a, 0) (0, b)

z = a ib (a, b)

Figura 1.3: Representa c ao geom etrica de z e de z = a ib O eixo das abscissas e dito eixo real e o das ordenadas, {(0, b) b R}, eixo imagin ario. 9

A representa c ao de C como pontos em R2 e chamada de plano de Argand-Gauss.

1.4 - O corpo C n ao e orden avel. Intuitivamente, um corpo K e ordenado se existe um subconjunto de K = K {0} que pode

ser chamado de conjunto dos n umeros positivos de K.

Deni c ao 1.3 O corpo (K, +, . ) e um conjunto ordenado se existir P K tal que, (a) x K, apenas uma das tr es condi co es ocorre: ou x = 0 ou x P ou x P ; (b) x, y P temos, x + y P e xy = x . y P . Indicamos x P por x > 0 e x > y por x y > 0. Teorema 1.4 O corpo C n ao pode ser ordenado.

Prova: Suponhamos que exista P K satisfazendo as condi c oes (a) e (b) da Deni c ao 1.3 Se z C temos: se z P ent ao z.z = z 2 P ; se z P ent ao z P e (z )(z ) = z 2 P . i2 + 1 = 0 P Se 1 < 0 (i.e, 1 P ), por (b), (1)(1) = 1 P , o que contradiz (a). Portanto, 1 > 0.

Logo, z C , z 2 > 0 e, como 1 > 0, por (b) segue que z 2 + 1 > 0, z C e assim,

1.4 - O conjugado e o m odulo de um n umero complexo.

Deni c ao 1.5 O conjugado de z = a + bi C e: z = a bi. Valem ent ao as rela c oes, Re(z ) = Re(z) e Im(z ) = Im(z ) . Re(z ) = z+z zz e Im(z ) = . 2 2i

claro que Geom etricamente (vide gura 1.3) z e o sim etrico de z em rela c ao ao eixo real. E

A aplica c ao z C z C, dita conjuga c ao, e automorsmo de corpo que mant em R xo. Proposi c ao 1.6 Propriedades da conjuga c ao: (a) Dados z, w C temos, z + w = z + w , zw = z w , z = z e , z = z z R . (b) Dado z C , 1 1 = . z z
1 z

Prova: (a) Segue trivialmente da deni c ao de conjugado. (b) Como z

1 z

= 1, por (a) temos z

= 1 = 1. Logo, z 1 =

1 z

Os complexos bi, b R, s ao ditos imagin arios puros e z C e um tal se, e s o se, z = z . 10

Deni c ao 1.7 O m odulo de z = a + ib, a, b R, e: z =

Geometricamente, o m odulo de z C e a dist ancia do axo de z ` a origem. Proposi c ao 1.8 (Propriedades) Sejam z , w C, (a) z = z e zz = z 2 . (c) Re(z ) z , Im(z ) z e (b) zw = z w e, se z 0,
1 z 1 z

a2 + b 2 =

Re(z )2 + Im(z )2 .

. z Re(z ) + Im(z ) .
2

Prova: Seja z + a + bi , a, b R.

(a) z 1 =

Corol ario 1.9 Se z C ,

1 z

1 = z primeira arma c ao e desta, se z 0, segue que 1 = z z 2 2 (c) E trivial vericar que a , b a + b a + b

(a) Segue imediatamente das identidades a + ib = a ib e (a + ib)(a ib) = a2 + b2 = z 2 . (b) Por (a) e pela Proposi c ao 1.6(a) temos, zw = zwzw = zzww = z
1 z 2

w 2 ; donde a .

e portanto,

1 z

1 z

z z2

1 z

1 z

(b) Se z = 1 ent ao z 1 = z .
z z 2 1 z

Prova: (a): A primeira arma c ao segue da Proposi c ao 1.8(a) pois, z pelas Proposi c oes 1.8(a) e 1.8(b) temos =
1 z

1 z

1 z

. (b): Consequ encia de (a)

= 1. Quanto ` a segunda,

Proposi c ao 1.10 A fun ca o m odulo . C [0, +) e uma norma sobre C. Isto e, (a) z = 0 se, e s o se, z = 0. (b) z = z , R , z C. (c) z + w z + w , z, w C (desigualdade triangular). Prova: (a) Evidentemente, z = Re(z )2 + Im(z )2 = 0 Re(z ) = Im(z ) = 0.

Pela identica c ao C R2 , como espa cos vetoriais sobre R, destacamos o resultado a seguir.

(b) Um caso particular da proposi c ao 1.3(b). (c) N ao e dif cil ver que, z+w2

Donde, z + w z + w

= ( z + w )2 .

= (z + w)(z + w ) = zz + zw + wz + ww = z 2 + zw + zw + w 2

= z 2 + 2Re(zw) + w 2 z 2 + 2 zw + w 2 = z 2 + 2 z w + w 2

Mutatis mutandis, w z w z e portanto, z w = w z w z 11

Prova: Pela desigualdade triangular, z = (z w) + w z w + w e ent ao, z w z w .

Corol ario 1.11 z w z w , z, w C.

A Proposi c ao 1.10 (c) e seu corol ario s ao, respectivamente, a primeira e a segunda desigualdade triangular e expressam as seguintes propriedades geom etricas num tri angulo: o comprimento de um dos lados e menor que soma dos comprimentos dos outros dois. o comprimento de um dos lados e maior que o m odulo da diferen ca dos outros dois. 1.5 - O argumento e a representa c ao polar de um n umero complexo. A interpreta c ao geom etrica para o produto em C. Nesa se c ao utilizamos conceitos geom etricos e trigonom etricos para a apresenta c ao do argumento de um n umero em C. Na se c ao ??, abordaremos tal t opico de forma puramente anal tica. S 1 = {(x, y ) R2 x2 + y 2 = 1} determina um u nico [0 , 2 ) tal que (vide gura 1.4) z a b = , = (cos , sin ) . 2 2 2 z a +b a + b2
y z

Um n umero z C , z = a + ib 0 tem axo (a, b) R2 que projetado sobre o c rculo unit ario

(cos , sin )

1 1 x

0 < 2 ; z > 1

z = z (cos + i sin )

Figura 1.4: O argumento de z Notemos que correspondente ` a medida em radianos do angulo determinado pelo semi-eixo

positivo dos x s, R+ {0}, e o segmento de reta unindo a origem O ao axo de z , medido a claro que, partir do semi-eixo e no sentido anti-hor ario. E z= z z = z (cos + i sin ) = z cos + i z sin , z a = Re(z ) = z cos , b = Im(z ) = z sin . Todo n umero = + 2k , k Z, satisfaz z = z cos + i z sin e e dito um argumento,

Deni c ao 1.12 Seja z C {0}.

cos2 + sin2 = 1. Portanto, = 2k , para algum k Z.

ou amplitude, de z e e indicado por arg (z ). Inversamente, para arbitr ario satisfazendo z = z cos + i z sin temos cos = cos , sin = sin e cos( ) = cos cos + sin sin = O par ( z , arg (z )) e uma representa c ao (ou forma) polar de z .

O argumento principal de z , Arg (z ), eou nico argumento de z em (, ]. 12

Observa c oes:

outros textos e utilizado o dom nio [, ) ou [0, 2 ).

(c) A escolha da fun c ao argumento principal varia segundo as conveni encias e autores. Em

(b) Por conven c ao e praticidade a forma polar de z = 0 e (0, ), com R e arbitr ario.

(a) Se z tem forma polar (r, ) escrevemos z = (r, )o .

Abaixo mostramos que a forma polar simplica a efetua c ao do produto de n umeros complexos

e, ainda, permite uma representa c ao geom etrica intuitiva de tal c alculo. Proposi c ao 1.13 Sejam zi = (ri , i )o , i = 1, 2. Ent ao, (a) z1 z2 = (r1 r2 , 1 + 2 )o . (b) z1 = (r1 , 1 )o . (c) Se z1 0, z1 z2
1 z1

Prova: (a) Temos,

= ( r1 , 1 )0 . 1

(c) Pelas Proposi c oes 1.8 (a) e 1.13 (b) temos,

(b) Como z1 = r1 (cos 1 + i sin 1 ) ent ao, z1 = r1 (cos 1 i sin 1 ) = r1 [cos(1 ) + i sin(1 )]. 1 z1 r1 cos(1 ) + ir1 sin(1 ) 1 = = = cos(1 ) + i sin(1 ) 2 z1 z1 z1 r1 r1

= r1 r2 cos(1 + 2 ) + i sin(1 + 2 ) .

= r1 (cos 1 + i sin 1 ) r2 (cos 2 + i sin 2 ) =

= r1 r2 (cos 1 cos 2 sin 1 sin 2 ) + i(cos 1 sin 2 + sin 1 sin 2 )

Assim, o vetor z1 e obtido aplicando ao vetor z2 , ambos representados com extremidade inicial a origem, uma rota c ao de angulo 1 seguida da homotetia de raz ao r1 .

z1 z2 0 < argz1 , argz2 < 2 0 < argz1 + argz2 < 2 z1 > 1 , z2 > 1

z2 2

1 + 2 z1 1

Figura 1.5: Representa c ao geom etrica do produto em C

1.6 - Potencia c ao e Radicia c ao em C. Deni c ao 1.14 Se z C e m Z, a pot encia m- esimade z , denotada z m , e denida por: (a) z 0 = 1 e z m+1 = z m .z , se m N Convencionamos 0m = 0, se m N . Valem as regras operat orias usuais para pot encias de expoentes inteiros e base complexas. (b) z m = (z 1 )m , se m Z e m < 0.

13

Proposi c ao 1.15 Sejam z, w C e m, n Z. Ent ao, (a) z m z n = z m+n (d) z m =

1 zm

(e)

(b) (zw)m = z m wn
zm zn

= z mn

(c) (z m )n = z mn (f )
z m w

zm . wm

Prova: Segue, por indu c ao, da Deni c ao 1.14 e a deixamos ao leitor

Com a representa c ao polar simplicamos e interpretamos geom etricamente a potencia c ao. Proposi c ao 1.16 (F ormula de Moivre) Se z = (r, )o C e m Z ent ao z m = (rm , m )o . Isto e, Prova: (r cos + ir sin )m = rm (cos m + i sin m) .

O caso m = 0 e trivial pois z 0 = 1 = 1(cos 0 + i sin 0) = r0 (cos 0 + i sin 0). O caso m > 0 segue, por indu c ao, da Proposi c ao 1.13. Se m < 0, pela Proposi c ao 1.15(d) temos z m =
1 z m 1 m = ( r , m)o m , m)o = (r 1 z m

Logo, pela Proposi c ao 1.13(b),

e, pelo caso anterior, z m = (rm , m)o .

Teorema 1.17 Se z C , com forma polar (r, )o , e m N , z tem s o as m ra zes m- esimas:

m

Prova:

r cos(

2k 2k + ) + i sin( + ) , k = 0, 1, ..., m 1 . m m m m

Inicialmente observemos que pela f ormula de Moivre temos, para qualquer k Z,

m

2k 2k r cos( + ) + i sin( + ) m m m m

Ainda, se w = (, )o , e ra z m- esima de z ent ao (r, )o = z = wm = (m , m )o . Logo, m = r e 2k m = 2k , para algum k Z. Isto e, ( , ) = ( m r , m + m ). Escrevendo k = p m + k , com p Z e k = 0, 1, ..., m 1 obtemos, = 2k 2p m + 2k 2k + = + =( + ) + 2p ; m m m m m m
k1 k2 m

= r (cos( + 2k ) + i sin( + 2k )) = r(cos + i sin ) = z .

= r cos m(

2k 2k + ) + i sin m( + ) = m m m m

logo,

ciado s ao distintos: dados dois deles, com argumentos distintos, a diferen ca destes e [k1 , k2 {0, 1, ..., m 1}], que n ao pertence a 2 Z pois Exemplos: Vide tamb em gura 1.6 que segue. (a) As ra zes c ubicas de i tem forma polar (1, (b) As ra zes sextas de 1 tem forma polar (1,
2

k + 2m = arg (w) e w tem a forma no enunciado. Por m, os n umeros descritos no enun-

Z j a que 0 <

k1 k2 m

2(k1 k2 ) m m1 <1 m

(c) Os axos das m ra zes de z 0 formam um pol nogono regular.

3 2k ) 6

2k ) , k = 0, 1, 2. 3 o = (1, k ) , 0k 3 o

5.

14

y i

23

1 + i2

3 2
0 1

1 + i2

1 2 +i
x

3 2

1 2

+i
1

3 2

1 1 2 i 23

3 1 2 i 2

Figura 1.6: Representa c ao geom etrica das ra zes nos exemplos (a) e (b)

1.7 - Area orientada de um paralelogramo. O produto interno em C. representado pelo segmento com extremidade inicial a origem deste plano e nal (a, b) por a, b. a representa c ao de [numa segunda e u ltima representa c ao as posi c oes de u ev s ao trocadas],
y P6 = (c, d)

Nesta se c ao, u denota um vetor em R2 . Dado (a, b) no plano cartesiano, indicamos o vetor Dois vetores u = a, b e v = c, d, n ao paralelos e em R2 , determinam um paralelogramo

que supomos, inicialmente, no primeiro quadrante. Seja w =u +v = a + b, c + d. Consideremos

P4 = (0, b + d) P5 = (0, d)

P3 = (a + c, b + d) P7 = (a, b)

P1

P2 = (a + c, 0)

Figura 1.7: Determinante/Area Considerendo os pontos Pi , 1 i 7, a area delimitada por , A(), e dada por, A(OP2 P3 P4 ) = (a + c)(b + d) = ab + ad + bc + cd, A(OP1 P7 ) = Logo,
ab 2

A() = A(OP2 P3 P4 ) A(OP1 P7 ) A(P1 P2 P3 P7 ) A(P3 P4 P5 P6 ) A(P5 OP6 ), A(P1 P2 P3 P7 ) =

(b + b + d )c 2

= bc +

cd , 2

A() = ab + ad + bc + cd

e A(P5 OP6 ) =

cd . 2

A(P3 P4 P5 P6 ) =

(c + a + c)b 2

= bc +

ab , 2

. b d A seguir, associamos uma area ou ao determinante D se seu valor (tamb em dito determi-

ab 2

bc

cd 2

bc

ab 2

cd 2

= ad bc = D =

nante) e positivo ou a D , obtido trocando as colunas de D uma pela outra, se D e negativo. Deni c ao 1.18 O angulo entre dois segmentos AB e AC no plano e o menor a ngulo , 0 , unindo B e C . 15

entre u ev , orientado de u para v , eoa ngulo entre AB e AC , orientado de B para C . Mantendo a nota c ao acima temos ent ao o importante resultado abaixo. e , o menor a ngulo entre u ev , orientado de u para v , tem sentido anti-hor ario, D= a b c d = ad bc > 0 . Proposi c ao 1.20 Se u corresponde a ` 1 coluna do determinante, v a `2 ,u ev n ao paralelos,

e AC , representantes de u ev , respectivamente. Fixas tais representa co es, o (menor) angulo

Deni c ao 1.19 O angulo entre dois vetores u , v R2 eoa ngulo entre dois segmentos AB

Caso contr ario, se a orienta ca o de e no sentido hor ario, ad bc < 0. Prova: Lembremos que medimos angulos em R2 no sentido anti-hor ario e a partir do eixo Ox. Suponhamos, primeiro, que esteja orientado no senti anti-hor ario. Caso 1: u no primeiro quadrante. 0 < tan = Se eo angulo de Ox a u eo angulo de Ox a v , a , c 0, temos tan =
b a

e tan = tan d . c

b d < = tan , bc < ad , ad bc > 0 , a c onde na segunda arma ca o utilizamos ac > 0. (1b) Para v no segundo quadrante temos c < 0, d > 0, ac < 0 e, tan = d b < 0 < = tan , ad > bc . c a (1c) Para v no terceiro quadrante, com 0 < < , temos c < 0, d < 0, ac < 0 e observando d b < = tan , ad > bc . c a Caso 2: u no segundo quadrante logo, a < 0 e b > 0. 0 < tan = d b < = tan < 0 , bc < ad . a c (2b) Para v no terceiro quadrante ent ao c < 0, d < 0, ac > 0 e, tan = tan =

(1a) Para v no primeiro quadrante temos (vide gura anterior),

o valor da tangente no c rculo trigonom etrico (fa ca um esbo co),

(2a) Para v no segundo quadrante temos, c < 0, d > 0, ac > 0 e (fa ca um esbo co),

o valor da tangente no c rculo trigonom etrico (fa ca um esbo co), tan =

b d < 0 < = tan , bc < ad . a c (2c) Para v no quarto quadrante, com 0 < < , temos c > 0, d > 0, ac < 0 e observando d b < = tan < 0 , ad > bc . c a Casos 3 e 4: Para u no 3 [4] quadrante, os sub-casos com v no 3, 4 e 1 [4, 1 e 2]

quadrantes s ao an alogos a (1a), (1b) e (1c) [(2a), (2b) e (2c)], respectivamente. e obtemos um determinante D > 0. Logo, D = D < 0 16

Po m, se tem o sentido hor ario, trocando as colunas de D reca mos na suposi c ao anterior

tado se o menor a ngulo entre eles, orientado de u para v , tem sentido anti-hor ario (hor ario). orientado ou negativamente orientado segundo a orienta ca o do par (ordenado) { u, v }.

Deni c ao 1.21 O par ordenado de vetores { u, v } e positivamente (negativa/e) orien-

Deni c ao 1.22 O paralelogramo determinado pelo par ordenado { u, v } e positivamente a rea] do paralelogramo positiva/e [negativa/e] orientado determinado pelo par ordenado { u, v }. deixada ao leitor Prova: E Corol ario 1.24 Se zj = xj + iyj C, j = 1, 2, e e o menor a ngulo de x1 , y1 para x2 , y2 , D= x1 y1 x2 y2 = z1 z2 sen ; Corol ario 1.23 Na Prop. 1.20, se tem sentido anti-hor ario [hor ario], D eaa rea [o oposto da

o sinal adotado e positivo se tem o sentido anti-hor ario e negativo caso contr ario. gramo determinado pelo par ordenado {x1 , y1 , x2 , y2 }. Por geometria elementar, tal area e A seguir, deixando ao leitor vericar que C e um espa co vetorial sobre C (i.e., espa co vetorial Prova: Pela Proposi c ao 1.20 e Corol ario 1.23, o valor absoluto de D ea area do paralelo-

l1 l2 sin , sendo lj = xj , yj = zj , j = 1, 2. Isto e, D = z1 z2 sin ; donde, a tese

complexo) mostremos que analogamente ao R2 temos o importante resultado abaixo. Proposi c ao 1.25 A fun ca o C C (z, w) (z w) = zw C, satisfaz, para z s, w s e em C, (a) (z1 + z2 w) = (z1 w) + (z2 w) e (b) (z w1 + w2 ) = (z w1 ) + (z w2 ) [positiva] e (z w) = (z w) (z , w) = (z w) [linearidade na 1 vari avel]. [linear-conjugada na 2 vari avel].

Prova: Segue das propriedades da adi c ao, multiplica c ao e conjuga c ao e a deixamos ao leitor A fun c ao acima e o produto interno can onico em C ou produto interno hermitiano. Abaixo, expressamos o produto interno de dois n umeros complexos em termos de suas coordenadas cartesianas e tamb em utilizando suas representa c oes polares. Proposi c ao 1.26 Para zj = xj + iyj , com forma polar ( zj , j ), xj , yj , j R, j = 1, 2, temos, Prova: Trivial pois a forma polar de z2 e ( z2 , 2 ) e a de z1 z2 e ( z 1 z 2 , 1 2 ) Na gura que segue representamos z1 , z2 e os angulos envolvidos. 17 (z1 z2 ) = z1 z2 = (x1 x2 + y1 y2 ) i x1 y1 x2 y2 = z1 z2 cos(1 2 ) + i z1 z2 sen(1 2 ) .

(d) (z z ) 0, z C

(c) (z w) = (w z ) [hermitiana sim etrica ou conjugada-sim etrica]. e (z z ) = 0 z = 0

[denida].

C 1 2
1

z1 1 2
1

z2

Figura 1.8: 1 2 = arg ( (z1 z2 )) Corol ario 1.27 Se zj = xj + iyj C, j = 1, 2, e = arg (z1 ) arg (z2 ) ent ao, x1 y1 x2 y2 = z1 z2 sin . Prova: Como arg (zj ) = j + 2kj , kj Z, segue que sin = sin(1 2 )

x2 , y2 , orientado de x1 , y1 para x2 , y2 . Notemos que 1 2 [2, 2 ]. (a) 1 2 [0, ] = 1 2 (c) 1 2 [, 0] = (1 2 )

Corol ario 1.28 Com a nota ca o do Corol ario1.27, seja o menor a ngulo entre x1 , y1 e (d) 1 2 [2, ] = 2 + (1 2 ). (b) 1 2 [, 2 ] = 2 (1 2 ).

Prova: Elementar e a deixamos ao leitor como exerc cio

para determinados arg z1 e arg z2 , e sin(1 2 ) = sin . Nos casos (a) e (d) tem sentido hor ario, = arg z1 arg z2 , para determinados arg z1 e arg z2 , e sin(1 2 ) = sin . respectivamente, e u v indica o produto interno em R2 de u por v temos, Re (z1 z2 ) = u v = comprimento da proje c ao de u sobre v

Sugerimos vericar: Nos casos (b) e (c), tem sentido anti-hor ario, = arg z1 arg z2 ,

Pelo Corol ario 1.24 e Proposi c ao 1.26, se u = x1 , y1 e v = x2 , y2 correspondem a z1 e z2 ,

Im (z1 z2 ) = ( area do paralelogramo determinado pelo par { u, v }) ,

o sinal + ou segundo { u, v } e positiva/e ou negativa/e orientado .

18

Cap tulo 2

SEQUENCIAS
2.1 - Introdu c ao O estudo de sequ encias num ericas e de fun c oes se insere no desenvolvimento do que veio a ser chamado aritmetiza c ao da an alise durante o s eculo XIX, sendo que a an alise foi vista pelo ingl es I. Newton (1642-1727) e pelo alem ao G. Leibnitz (1646-17156) como o estudo dos processos innitos e de grandezas cont nuas tais como comprimentos, areas, velocidade, etc. O conceito de fun c ao e o mais importante neste ramo da matem atica e a princ pio n ao era claro. No meio do s eculo XVIII o sui co D. Bernoulli (1700-1782), ou Daniel I, soluciona o problema da corda vibrante com uma soma innita de fun c oes trigonom etricas, diferindo das solu c oes de DAlembert (1717-1783) e de Euler e em 1822 o franc es J. Fourier (1768-1830) em Th eorie analytique de la chaleur descobre que toda fun c ao pode ser escrita como soma innita de fun co es trigonom etricas (a s erie de Fourier). Sua obra foi considerada com certa imprecis ao e para elucida-la, e responder a outras quest oes presentes ` a epoca, torna-se premente precisar os conceitos de fun c ao, converg encia e o que e um n umero real. Ilustremos com um problema de converg encia de uma sequ encia do in cio do s eculo XVIII. O sui co J. Bernoulli (1654-1705), ou Jacques I, tio de Daniel I, em obra p ostuma de 1713 ao fornecer a primeira prova adequada, por indu c ao matem atica ou, ainda, indu c ao de Fermat, e o primeiro a dizer que sequ encia (1 + 1 n)n converge quando n . Como dada uma taxa t de juros, aplicando n vezes um capital inicial C , a cada vez com a taxa de juros t n, o montante o montante), J. Bernoulli propos o problema da composi c ao cont nua de juros: o de determinar
n+ 1 n lim (1 + n ) , tornando-se o primeiro a armar a exist encia do n umero hoje designado e, visto

devido ao franc es P. Fermat (1601-1665)1, do teorema binomial para pot encias inteiras positivas

e M = C (1 + t n)n ( e intuitivo que xada a taxa, quanto maior o n umero de aplica c oes maior e que a sequ encia (1 + 1 n)n e limitada por 3.

Por em, passaram 160 anos at e que as quest oes da converg encia de uma sequ encia e da

deni c ao de um n umero real fossem esclarecidas, em 1872, meio s eculo ap os a obra cl assica de Fourier, com os trabalhos do franc es H. M eray (1835-1911), que percebera o c rculo vicioso
1

O franc es B. Pascal (1623-1662) em 1654 forneceu a primeira clara explana ca o desta indu ca o.

19

decorrente de denir o limite de uma sequ encia como um n umero real e um n umero real como o limite de uma sequ encia, e dos alem aes K. Weierstrass (1815-1897), que v e a necessidade de denir um n umero irracional independentemente do conceito de limite e prova o Teorema de Bolzano-Weierstrass 2 : todo subconjunto innito e limitado de R tem ponto de acumula c ao, seu aluno H. E. Heine (1821-1881), que em 1872, com o chamado desenvolvimento de Cantor-Heine, em ess encia adota como deni c ao que sequ encias convergentes que n ao convergem a n umeros racionais denem n umeros irracionais, G. Cantor (1845-1911) e J. W. R. Dedekind (18311916), o qual apresentou uma constru c ao de R dita cortes de Dedekind utilizando o axioma de Cantor-Dedekind, isto e, que os pontos sobre uma reta formam um cont nuo biun voco com R. Tais cortes permitiram a fundamenta c ao da an alise sem apelo ` a intui c ao geom etrica e foram simplicados no in cio do s eculo XX pelo matem atico e l osofo ingl es B. Russel (1872-1970). Estes desenvolvimentos conduziram ao Axioma do Supremo, ou Completude, que distingue os corpos ordenados Q e R, fornecendo a propriedade de continuidade de R. 2.2 - Axioma do Supremo Duas das mais famosas constru c oes de R podem ser encontradas em [Ru] e [Sp].... Neste texto assumimos a exist encia de R, apresentando o axioma da completude. Consideremos L um corpo ordenado arbitr ario. Deni c ao 2.1 Seja X L, X n ao vazio.

(a) M L e um majorante para X se x M, x X . (b) L e um supremo de X se e um majorante de X e, se M e majorante de X , M .

max X . Analogamente dene-se minorante e nmo, inf X , e m nimo de X , min X .

O supremo de X , indicado sup X , se existir, eu nico. Se sup X X , ele e um m aximo,notado

Deni c ao 2.2 X L e limitado superiormente se existe M L tal que x M , x X . Analogamente denimos X limitado inferiormente. Temos que o corpo ordenado R satisfaz ` a propriedade abaixo. Axioma 2.3 (do Supremo) Se X R, e n ao vazio e limitado superiormente, X tem supremo. Provemos que Q n ao tem propriedade an aloga, mostrando que: (1) n ao existe p Q tal que p2 = 2,
2

ao rigor em an alise, superior a de seus contempor aneos mas, em grande parte por ele n ao ser de um grande centro, permaneceu desconhecida at e 1870, quando foi redescoberta pelos matem aticos alem aes H. A. Schwarz (1843-1921), sucessor de Weierstrass em Berlim a partir de 1892, e H. Hankel (1839-1873), aluno de Riemann.

(2) A = {p Q p > 0 e p2 < 2} n ao tem m aximo e B = {p Q p > 0 e p2 > 2} n ao tem m nimo.

Bernhard Bolzano (1781-1848), padre theco nascido em Praga. A obra de Bolzano foi, no que respeita

20

Verica c ao:

Ent ao, p2 = 2q 2 e p2 e par e, portanto, p e par. Logo, existe m N tal que p = 2m e obtemos (2) Se p A, seja r Q tal que 0 < r < 1 e r(2p + 1) < 2 p2 . Ent ao, q = p + r Q, q > p e logo, temos q A e q > p. Assim, n ao existe max A . Se p B ent a o p2 > 2 e q = p
p2 2 2p

(2m)2 = 2q 2 e, ent ao, q 2 = 2m2 . Logo, q 2 e par e tamb em q e par. O que contradiz mdc(p, q ) = 1. q 2 = p2 + r(2p + r) < p2 + r(2p + 1) < p2 + (2 p2 ) = 2 ; =
p 2

(1) Suponhamos que existam p, q Q com ( p )2 = 2. Podemos supor p, q > 0 e mdc(p, q ) = 1. q

1 p

e tal que 0 < q < p e

Portanto, como dado p Q, p > 0, temos p2 < 2 ou p2 > 2, conclu mos que n ao existe sup A Q. O corpo R eou nico corpo ordenado, a menos de um isomorsmo de corpos ordenados que preserve a ordem, com tal propriedade. Dizemos que R eou nico corpo ordenado completo. O axioma do supremo e, evidentemente, equivalente ao Axioma do Inmo: Se X R e n ao vazio e limitado inferiormente ent ao X admite um nmo. Ainda mais, permite deduzir3 analiticamente propriedades geom etricas dos inteiros e, incluso, a propriedade arquimediana. Propriedade 2.4 (Aproxima c ao) Seja X R tal que existe = sup X . Ent ao, para todo Prova: Dado > 0, como < segue pela Deni c ao 2.1(b) que n ao e majorante de X ; caso contr ario ter amos . Logo, existe x X tal que x e ent ao, < x Lema 2.5 O conjunto N n ao e limitado superiormente. Prova: Se N e limitado superiormente, pelo axioma do supremo, existe = sup N R. Ent ao, 1 n ao e majorante de N e existe n N tal que 1 < n. Logo, < n + 1, com n + 1 N Prova: Pelo Lema 2.5 existe n N tal que n >
y x

p2 2 2 > p2 (p2 2) = 2 ; 2p logo, q B , com q < p, e ent ao, n ao existe min B . Fim da Verica c ao. q 2 p2 (p2 2) +

> 0 existe x X tal que < x

Propriedade 2.6 (Arquimediana) Sejam x > 0 e y R. Ent ao, existe n N tal que nx > y .

A propriedade arquimediana implica a n ao exist encia de innit esimos em R. Corol ario 2.7 Seja x 0 tal que x < , > 0. Ent ao, x = 0. Prova: Por contradi c ao. Suponhamos x 0. Ent ao temos 0 < x <
1 , n

n N, o que e absurdo pois contradiz a propriedade arquimediana. Logo, x = 0

n N, e assim nx < 1,

A Propriedade 2.6 implica, ainda, no resultado abaixo e suas consequ encias elementares.
3

Nas palavras de M eray (1869) ....at e o presente estas proposi co es eram consideradas axiomas

21

Desigualdade 2.8 (Bernoulli) Se > 0, (1 + )n 1 + n, n N.

Prova: Se n = 0 e obvio. Supondo a desigualdade v alida para n N temos,

Corol ario 2.9 Seja a R, a > 0. Ent ao,

(1 + )n+1 = (1 + )(1 + )n (1 + )(1 + n) = 1 + (n + 1) + n2 1 + (n + 1)

(a) Se a > 1, para todo M > 0 existe n N tal que an > M . (b) Se 0 < a < 1, para todo > 0 existe n N tal que an < . Prova: (a) Escrevendo a = 1 + , > 0, pela desigualdade de Bernoulli temos am 1 + m, m N. Pelo Lema 2.5 N n ao e limitado e existe n N tal que n >
1 a M

(b) Temos

Abaixo mostramos a equival encia entre o Axioma do Supremo e um dos mais relevantes enunciados sobre o qual pode-se fundamentar a teoria de n umeros reais. Teorema 2.10 Em R, s ao equivalentes: (a) O Axioma do Supremo. (a) (Princ pio dos Intervalos Encaixantes)4 Para toda sequ encia [a0 , b0 ], ..., [an , bn ],...., n N, de intervalos fechados em R, satisfazendo: (i) [an+1 , bn+1 ] [an , bn ], n N, e
nN

1 n > 1 e, pelo item (a), dado > 0 existe n N tal que ( a ) >

e portanto, an 1 + n > M .
1

e portanto, an <

Prova:

a intersec ca o [an , bn ] e um u nico ponto em R.

(ii) para todo > 0 existe n N tal que 0 bn an < ,

(a) (b) Fixado n N, de an an+p bn+p bn bn1 .... b0 , qualquer que seja p N, axioma do supremo existe = sup A R, e an bn , n N. Isto e, [an , bn ]. Se [an , bn ] ent ao bn an , n, e < , > 0, e pelo Cor. 2.7, = 0.
nN nN

segue que an bm , n, m N, e todo bn e um majorante de A = {an n N}. Pelo

(b) (a)5 Seja A R, A e A limitado superiormente, M R um majorante de A e a A. satisfazendo (n N): an A, mn e majorante de A e mn+1 an+1 mn an .

Se a = M , e obvio que a e um supremo de A. Caso contr ario, contruamos indutivamente

uma sequ encia de intervalos [an , mn ], n N, tal que [an+1 , mn+1 ] [an , mn ], n N,

5 Argumenta co es

Bolzano e Cauchy assumiam como verdadeiro tal princ pio. por bissec co es, como esta, devem-se muito a Bolzano e constam em Euclides, Elementos X.

22

Seja a0 = a e m0 = M . Supondo constru do [an , mn ] com as propriedades desejadas, consideremos n = n ao e majorante de A, existe a A com n < a e, como mn e majorante de A, temos [an+1 , mn+1 ] atende as condi c oes requeridas. Temos ent a o m n an
nN

a mn ; logo, n < a mn e denimos an+1 = a e mn+1 = mn e assim, e claro que

M a , n 2n M a < . 2n0

an+1 = an e mn+1 = n , e obvio que [an+1 , mn+1 ] satisfaz as condi c oes estipuladas. Se n

an +mn , 2

o ponto m edio de [an , mn ]. Se n e majorante de A, denindo

pelo Corol ario 2.9(b), para todo > 0 existe n0 N tal que mn0 an0

N, e, Assim,

a sequ encia de intervalos [an , mn ], n N, cumpre as exig encias (i) e (ii) no Princ pio dos Intervalos Encaixantes e conclu mos que [an , mn ] = {p}, para algum p R.

Por m, provemos p = sup A. Se a A temos a mn = an + (mn an ) p + (mn an ), e por (a)(ii), p M + , > 0; donde segue p M e, nalmente, p e o supremo de A 2.3 - Topologia essencial

n N. Logo, pela hip otese (a)(ii), a p + , > 0, e ent ao a p, a A, e p e majorante de A. Ainda mais, se M e majorante de A ent ao p = an + (p an ) M + (mn an ), n N,

As deni c oes topol ogicas que seguem possuem, todas elas, correpondentes obvios em R. Nota c ao 2.11 Dado a C e r > 0 indicamos,

Dr (a) = D(a; r) = {z C z a r}, o disco fechado de centro a e raio r. Sr (a) = {z C z a = r}, a circunfer encia de centro a e raio r.

Dr (a) = D(a; r){z C z a < r}, o disco aberto de centro a e raio r.

Dr (a) = D (a; r) = {z C 0 < z a < r}, o disco reduzido de centro a e raio r.

claro que, E

Dr (a) A. O interior de A e,

Deni c ao 2.12 Seja A C, A . Diz-se que a A e interior a A se existir r > 0 tal que = {a A a A e interior a A} .

Dr (a) = Dr (a) Sr (a) , Dr (a) Sr (a) = e Dr (a) = Dr (a) {a} .

= A. Diz-se que A e um conjunto aberto ou, simplesmente, aberto se A Exemplos 2.13 Os conjuntos abaixo s ao subconjunto de C e r > 0. (b) C e o , este por conven c ao, s ao conjuntos abertos. (a) O disco aberto D(a; r) e um conjunto aberto, devido a ` desigualdade triangular. (c) Se A1 = {z Rez > 0}, A2 = {z Rez 0} e A3 = {z Rez = 0} ent ao, A 1 = A1 , A2 = A1 A2 e A3 = . 23

Deni c ao 2.14 Seja X C e a C.

(a) = D (a) e S r (a) = Dr (a), D (d) D r r r (A) = . a e um ponto de ader encia de X se D(a; ) X , > 0.

o O fecho de X e X = {a a e aderente a X }. E bvio que = . X e um conjunto fechado, ou simplesmente fechado, se X = X . plementar de X , X c = C X . Isto e, a e um ponto de fronteira de X se todo disco aberto cont em pontos de X e do comD(a; ) X e D(a; ) X c , > 0 .

o A fronteira de X e: X = {a a e um ponto de fronteira de X }. E bvio que = . a e ponto de acumula c ao de X se > 0, D (a; ) X . o O derivado de X e : X = {a a e ponto de acumula ca o de X }. E bvio que = . a e um ponto isolado de X se a X e a n ao e ponto de acumula ca o de X . Proposi c ao 2.15 Dados X, F C temos, (a) X X e X X . (b) F e fechado F F . Prova: (a) Claramente, todo ponto de X ou da fronteira de X e um ponto de ader encia de X . F F . Suponhamos, por absurdo, z F F . Ent ao, z e um ponto de ader encia de F n ao pertencente a F e portanto, e obvio, z e um ponto de fronteira n ao pertencente a F Exemplos 2.16 Consideremos os conjuntos Ai , i = 1, 2, 3 do Exemplo 2.1, a C e r > 0. claro que A1 = A2 = A2 , A3 = A3 , A1 = A2 (eixo imagin (a) E ario) , e A3 = A3 .
(b) Dr (a) = Dr (a), Sr (a) = Sr (a) , Dr (a) = Dr (a) = Sr (a) e Dr (a) = Sr (a) {a}.

(b) () Temos, F = F e, por (a), F F ; donde, F F . () Por (a), resta mostrar

2.4 - Sequ encia, Limite de uma sequ encia e Propriedades Operat orias Por K designamos R ou C. A reta estendida e R = [, +] = R {} {+}.

Indicamo-la por x = (xn ) ou x = (xn ) N , onde xn = x(n), n N, e o termo geral da sequ encia. Deni c ao 2.18 (DAlembert 1765, Cauchy 1821) A sequ encia x = (xn ) em K, e convergente se existir x K tal que > 0 existe n0 N satisfazendo xn x < , n n0 (v. gura 2.1) 24

Deni c ao 2.17 Uma sequ encia em um conjunto X qualquer, X , e uma fun ca o x N X .

Proposi c ao 2.19 (Unicidade) Se (xn ) K e tal que lim xn = x e lim xn = y ent ao x = y . Logo, se n N = max(n1 , n2 ), x y x xn + xn y
y

Nota c ao6 Escrevemos lim xn = x ou lim xn = x ou, ainda, xn x, se n +.

n+

Prova Dado > 0, existem n1 , n2 N tais que xn x <

2 <2

se n n1 e, xn y < +
2

= , > 0. Donde, x = y

se n n2 .

x .6
. . . . . . . . x n . . . .

x
.. . .

. . . . . .

x5

. x3 . . x . x2 1 x4

Deni c ao 2.20 Uma sequ encia e divergente se n ao e convergente.

Figura 2.1: Se lim xn = x, para todo > 0 e nito {n xn D(x; )}.

Denotamos, lim xn = +. Analogamente denimos e notamos a diverg encia a .

n+

reais divergentes a n ao s ao convergentes (por vezes, dizemos que existe o limite em R). Esescrevemos lim xn para indicar que (xn ) n ao e convergente e, ainda, lim xn .

crevemos lim xn se (xn ) n ao e convergente. Com abuso de nota c ao, se (xn ) R, tamb em

Dizemos que existe lim xn s o se a sequ encia (xn ) e convergente (com limite em K). Sequ encias

A sequ encia (xn ) R diverge (tende) a + se M N, n0 N tal que xn > M , n n0 .

e claro a partir da Deni c ao 2.18, lim an .

Exemplo 2.21 Seja a R. Ent ao, , se a 1 , 0 , se a < 1 , lim an = 1 , se a = 1 + , se a > 1 .

Verica c ao: Se a 1 ent ao a n 1 e an = (1)n a n 1 se n e mpar e an 1, se n e par e, Se a < 1, dado > 0 pelo Corol ario 2.9(b) existe n0 N tal que a n0 < e ent ao, se n n0

temos an 0 = a n a n0 < e portanto, pela Deni c ao 4.18, lim an = 0. temos an an0 > M e, portanto, pela Deni c ao 2.20, lim an = +

Se a > 1, dado M > 0 pelo corol ario 2.9(a) existe n0 N tal que an0 > M e ent ao, se n n0 Dadas (xn ), (yn ) em K temos a soma, (xn ) + (yn ) = (xn + yn ), a multiplica c ao por
nota ca o lim para indicar um limite foi introduzida por Cauchy, em Cours dAnalyse (1821). Por em,

n escalar K, (xn ) = (xn ), o produto, (xn )(yn ) = (xn yn ), e a divis ao, se yn 0 , n, ( x ). yn

6A

Bolzano (1817) e Weierstrass (1874), que usava a nota ca o com s e s, trouxeram a no ca o de limite a ` perfei ca o.

25

Proposi c ao 2.22 Sejam (xn ) N e (yn ) N convergentes em K, lim xn = x e lim yn = y . Ent ao, (a) lim(xn + yn ) = lim xn + lim yn . (b) lim xn = lim xn , K. (c) lim(xn yn ) = (lim xn )(lim yn ). Prova (a) Dado > 0, existem n1 e n2 tais que se n > n1 ent ao xn x < (b) Dado > 0 n0 tal que se n > n0 xn x <
. +1

n (d) Se yn 0 , n N, e y 0 ent ao lim x = yn

lim xn . lim yn

Logo, se n > n0 = max(n1 , n2 ) ent ao (xn + yn ) (x + y ) xn x + yn y <

e, se n > n2 , yn y < 2 . 2

(c) Obviamente, yn y < 1 se n e sucientemente grande e (yn ) e limitada. Seja M > 0 tal que yn M , n e, ainda, M > x . Dado ent ao > 0 existem n1 e n2 tais que se n > n1 ent ao xn x <
xn yn

Logo, xn x = xn x

= .

+1

(d) Escrevendo

yn y 0 se n + e, pela desigualdade triangular, yn y <

1 yn

xn yn xy = (xn x)yn + x(yn y ) xn x yn + x yn y < yn y se n + e existe n1 tal que yn >

1 y y 2

2M

e, se n > n2 , yn y <

. 2M

Logo, se n > n0 = max(n1 , n2 ) temos

M 2M

M 2M

= .

1 = xn y1 vemos que pelo tem (c) basta mostrarmos que lim y1 =y . Como n n

yn y

y2 2 y yn yn y

se n > n2 , escolhendo n0 = max(n1 , n2 ) conclu mos que, para n > n0 , =

yn y yn y

. Ent ao, dado > 0 e n2 tal que

yn y segue que

<

y2 2 2 y2

Exemplo 2.23 Se z C ent ao, lim z n = 0 , se z < 1 , lim z n = 1 , se z = 1 , lim z n = + , se z > 1 , a sequ encia (z n ) diverge se z 1 , com z 1 .

Verica c ao:

Se z < 1, pelo Ex. 2.21 temos lim z n = 0 e, como z n 0 = z n , segue que lim z n = 0. Se z C {1} e tal que existe lim z n = C, multiplicando a sequ encia por z obtemos, pela Se z > 1 temos z n = z n e, pelo Exemplo 2.21, temos + = lim z n = lim z n .

converge a zero e, por m, conclu mos que ela diverge

donde = 0. Como para z 1 temos z n = z n 1, n N, a sequ encia (z n ) certamente n ao

Proposi c ao 2.22(b), lim z n+1 = z e, e claro, lim z n+1 = lim z n = . Assim, z = e (z 1) = 0;

Proposi c ao 2.24 Sejam (xn ),(yn ) e (zn ) sequ encias convergentes em R. S ao v alidas: (b) Se xn a, n N, ent ao lim xn a.

(a) (Conserva c ao do sinal) Se lim xn = L > 0, existe n0 N tal que n > n0 implica xn > 0.

26

(d) (Confronto) Se xn yn zn , n N, e lim xn = lim zn = L ent ao lim yn = y . Prova: (a) Dado =

L , 2

(c) Se xn yn , n N, ent ao lim xn lim yn .

implica xn

(b) Se lim xn = L < a, dado = logo, se n n0 , xn < L +

(L , 3L ) 2 2

existe n0 N tal que para todo n n0 temos xn L < e ent ao, xn >
L 2

L . 2

> 0.

Logo, n n0

Ent ao, lim f (xn ) = L. Em particular, se f e cont nua7 , lim f (xn ) = f (p). xn p < se n n0 e assim, f (xn ) L <

Proposi c ao 2.25 Seja X K, f X K tal que lim f (x) = L e (xn ) K tal que lim xn = p K.
x p

(d) Por (c) temos L = lim xn lim yn lim zn = L

(c) Como xn yn 0, n N, a afrima c ao segue do item (c).

aL , existe no 2 aL L+a a = 2 < a+ = 2 2

N tal que n n0 implica xn (L , L + );

Prova Dado > 0 seja > 0 tal que 0 < x p < implica f (x) L < . Existe n0 N tal que

(xn+1 xn , n N) e em qualquer desses dois casos dizemos que a sequ encia e mon otona. Abaixo temos as formas (fracas) equivalentes do axioma do supremo que s ao muito u teis. Teorema 2.27 S ao equivalentes: (b) Toda sequ encia (xn ) R, crescente e limitada superiormente, e convergente. Prova: Temos, (a) (b) e trivial e, (b) (c) e obvio. escolhidos x1 , ...., xn e y1 , ...., yn segundo (). Seja =
M x1 n 1 n 2

Deni c ao 2.26 A sequ encia (xn ) e dita crescente (decrescente) se xn+1 xn , n N,

(a) Se X R, e n ao vazio e limitado superiormente, X tem supremo (Axioma do supremo).

(c) Toda sequ encia (xn ) R, decrescente e limitada inferiormente e convergente. crescente, e (yn ) de majorantes e decrescente, tais que () (b) (a): Sejam x X e M um majorante. Denamos duas sequ encias em R, (xn ) X , yn xn
yn1 xn1 2n1

Passo 1: sejam x1 = x e y1 = M , a arma c ao e v alida para n = 1. Passo 2: suponhamos

xn +yn . 2

, n 1.

< x , pomos xn+1 = x e yn+1 = yn . Se majora, pomos xn+1 = xn e yn+1 = . Seja = lim xn e = lim yn . Como lim

Se n ao majora X , existe x X ,

x > = lim yn , e assim e majorante e n ao h a majorante de X menor que = lim xn

O par (xn ) , (yn ) satisfaz (*) e pela forma fraca do axioma do supremo ambas convergem. = 0 ent ao = . N ao existe, e claro, x X ,

Bolzano, em 1817, e o primeiro a fornecer a deni ca o moderna de fun ca o cont nua.

27

2.5 - Subsequ encias e Valor de Ader encia Deni c ao 2.28 Dada a = (an ) K e I = {n1 < n2 < n3 < ..... < nk < nk+1 ...} N um conjunto

e uma subsequ encia de (an ), indexada em I . innito de ndices, a sequ encia (bk ), bk = ank , temos nk > nk0 e ank L <

Prova: Dado > 0, N N com an L < , se n N , e k0 tal que nk0 > N . Para k > k0 , Lema 2.30 Dada a sequ encia (an ) K, L K e limite de uma sua subsequ encia, se, e s o se,

Proposi c ao 2.29 Se (an ) converge a L e (ank ) e uma sua subsequ encia, (ank ) converge a L.

1 1 ) . Temos, nk+1 > nk e xnk+1 D(L; k+ ). Assim, innito n N {1, 2, ...., nk } xn D(L; k+ 1 1

Prova A ida e obvia. Para a volta, seja n1 no conjunto innito {n N xn D(L; 1)}. temos denida indutivamente uma subsequ encia (xnk ) tal que xnp L portanto converge a L Escolhidos n1 < n2 < ... < nk , em N, com xnj D(L; 1 ), 1 j k , seja nk+1 no conjunto j
1 p 1 k , p k , e que,

> 0 e n0 N existe n > n0 tal que an L < .

> 0, o conjunto de ndices {n N an D(L; )} e innito. Isto e, se quaisquer que sejam

idem. Se {xn } [ , ], ent a o {x x e valor de ader encia de (xn )} [ , ].

Se (xn ) R e limitada superiormente (inferior/e), o conjunto dos seus valores de ader encia Alerta: O conceito de valor de ader encia de uma sequ encia (xn ) e distinto dos de ponto

Deni c ao 2.31 L, como acima, e um valor de ader encia da sequ encia (xn ).

decrescente) ent a o {x x e valor de ader encia de (xn )} = {xn n N} = {xn n N}; (2) se (xn ) e constante e igual a a R, {x x e valor de ader encia de (xn )} = {a} {xn n N} = .
y

de ader encia ou acumula c ao do conjunto {xn n N}: (1) se (xn ) e estritamente crescente (ou Teorema 2.32 Toda sequ encia (xn ) R admite uma subsequ encia ou crescente ou decrescente.

10

11

tal que xn2 xn3 . Procedendo por recurs ao denimos uma subsequ encia (xnk ) crescente 28

M = {n1 < n2 < ... }, ent ao (xnk ) e decrescente. Se M e nito, seja n1 N maior que todo elemento de M . Ent ao n1 M e existe n2 > n1 tal que xn1 xn2 e, analogamente, existe n3 > n2

Prova: Vide gura 2.2. Seja M = {n N xn > xm , m > n}. Caso M e innito,

Figura 2.2: Fun c ao poligonal conectando os pontos (n, xn )

Corol ario 2.33 Toda sequ encia em K, limitada, admite subsequ encia convergente. encia em R, (Re zn ) e (Im zn ), limitadas. Para (Re znk ) convergente, (Im(znk )) tem subsequ convergente indexada em I N. Ent ao, (Re(zn ))nI , Im(zn )nI e (zn )nI convergem convergente de (xn ) converge a p. () Arma c ao:
n+

Prova: O caso K = R segue de 2.32 e 2.27(b) e (c). Em C, sequ encias (zn ) limitadas geram duas Corol ario 2.34 Se (xn ) K e limitada, (xn ) converge a p K se, e s o se, toda subsequ encia

Prova: () Segue da Proposi c ao 2.29.

obvio, subsequ encia convergente a p ; por em, por ser limitada, t em subsequ encia convergente, que e subsequ encia de (xn ), e ent ao o limite e p limitado de K tem ponto de acumula ca o. Prova: Seja X tal subconjunto e (xn ) X uma sequ encia de pontos distintos. Pelo Corol ario claro que x 2.33, existe (xn ) convergente a um ponto x K. E e ponto de acumula c ao de X
k

xn p > . Por indu c ao, e trivial, existe uma subsequ encia (xnk ), xnk p > , que n ao t em, e

lim xn = p. Caso contr ario, existe > 0 tal que m N , n > m, com

Corol ario 2.35 (Teorema de Bolzano-Weierstrass)(1874) Todo subconjunto innito e

2.6 - Sequ encias de Cauchy

Prova: Seja p = lim xn . Dado > 0, arbitr ario, existe N N tal que xn p < Logo, para n, m N temos xn xm xn p + p xm
n 2

Proposi c ao 2.37 Toda sequ encia (xn ) K convergente e de Cauchy. +

2

mental) se > 0, N N tal que xn xm < , n, m N .

Deni c ao 2.36 A sequ encia (xn ) K e uma sequ encia de Cauchy (ou sequ encia funda, n N .

O principal resultado nesta se c ao e que em K toda sequ encia de Cauchy e convergente. Tal

teorema n ao e v alido no corpo Q e, em R, e equivalente ao Axioma do Supremo8 . Teorema 2.38 Toda sequ encia de Cauchy, (xn ) C, e convergente9 .

Prova Mostremos que (xn ) e limitada. Seja N tal que xn xm < 1 se n, m N . Logo, se n N , Dado > 0, existe N tal que xn xm <

xn xN < 1 e xn D(xN ; 1) = {z C z xN 1}. Fora do disco h a nitos pontos de (xn ), contidos em um disco D(0; R ) , R > 0, seja R = max(R , xN + 1). E obvio que (xn ) D(0; R). Existe tamb em, e escolhemos, nk tal que k k0 e nk N . Assim, para n N , obtemos a desigualdade xn p xn xnk + xnk p <
8

Pelo Corol ario 2.33, existe (xnk ) subsequ encia convergente a p. Mostremos lim xn = p.
2 , se n, m N e, k0 N com xnk p < 2 , se k k0 . 2

Bolzano (1817) dene sequ encias fundamentais antes que Cauchy e supondo estabelecido que estas, em

R, s ao convergentes, prova (sem notar a circularidade) com uma argumenta ca o perfeita (exceto pelo c rculo vicioso) o teorema que atualmente conhecemos como Axioma do Supremo. 9 Cauchy, em Cours dAnalyse (1821), dene sequ encia fundamental e prova que uma sequ encia e fundamental se e s o se e convergente. Obviamente (hoje), a prova tem um lapso na parte s o se (a volta).

29

2. 7 - O lim sup e o lim inf . O conjunto dos valores de ader encia de uma sequ encia limitada em R e, obviamente, limitado e, pelo Corol ario 2.33, n ao vazio. Portanto, a deni c ao abaixo e bem posta. e lim sup xn = sup{x x e valor de ader encia de (xn )}. Deni c ao 2.39
10

Se (xn ) e ilimitada superiormente pomos = lim sup xn = + e, se inferiormente, lim inf xn = . Utilizamos tamb em as nota c oes: lim xn = lim inf xn e lim xn = lim sup xn . e o maior valor de ader encia de (xn ). Teorema 2.40 Dada (xn ) R limitada, lim inf xn e lim sup xn s ao, respectivamente, o menor Prova: Basta mostrarmos que ambos s ao valores de ader encia.

Dada (xn ) R limitada, lim inf xn = inf {x x e valor de ader encia de (xn )}

Para (xn ) R, lim inf xn e o limite inferior de (xn ) e lim sup xn e o limite superior.

). Pelo Lema 2.30, existe uma subsequ encia (xnk ) (m 2 , m + 2 ). Logo, que m [ m , m + 2

Para m = lim inf xn e > 0, por deni c ao de nmo existe m , um valor de ader encia, tal Para lim sup xn aplicamos o mostrado no p aragrafo acima ` a sequ encia (xn )

(xnk ) (m , m + ) e, novamente pelo Lema 2.30, m e valor de ader encia. n ao, existem lim inf xn e lim sup xn , em R = [, +].

Exemplos 2.42 Consideremos as sequ encias (xn ) em R abaixo.

Observa c ao 2.41 Qualquer que seja a sequ encia (xn ) R, limitada ou n ao, convergente ou (1) Se xn = (1)n , 1 e 1 s ao ( unicos) valores aderentes, lim sup(1)n = 1 e lim inf (1)n = 1.

Corol ario 2.43 Suponha (xn ) R e limitada. Dado > 0, existe n0 N tal que se n n0 ent ao lim inf xn xn lim sup xn + .

(2) Se (xn ) enumera Q, todo x R e valor aderente, lim inf xn = e lim sup xn = +.

determinamos uma subsequ encia limitada de (xn ) em J = [lim sup xn + , +) que, pelo Cor. 2.33, admite subsequ encia convergente em J que, por sua vez, tamb em e subsequ encia de (xn ). Corol ario 2.44 Dada (xn ) em R e limitada, (xn ) converge se, e s o se, lim inf xn = limsup xn . Para uma sequ encia (xn ) [m, M ] R, com m M , podemos, al em da caracteriza c ao um m inf X1 inf X2 .... inf Xn inf Xn+1 .... M Absurdo! Pois, lim sup xn e o valor m aximo de ader encia. A prova e an aloga para lim inf xn

Prova: Por contradi c ao. Dado > 0, se para todo m N existir n > m tal que xn > lim sup xn + ,

Prova Segue do Corol ario 2.34 e Teorema 2.40

tanto geom etrica dada pelo Teorema 2.40, expressar analiticamente o lim inf xn e o lim sup xn . Dado n N, seja Xn = {xn , xn+1 , ...}. E obvio que X1 X2 ... Xn ... e, portanto, M
10

sup X1 sup X2 .... sup Xn sup Xn+1 .... m .

Cauchy, em Cours dAnalyse(1821), apresenta de forma vaga o conceito de lim sup no Teste da Ra z.

30

Logo, as sequ encias inf Xn e sup Xn s ao limitadas e, respectivamente, crescente e decrescente e, pelo Teorema 2.27, convergentes. Mantendo a nota c ao temos o resultado que segue. Teorema 2.45 Se (xn ) R e limitada ent ao lim inf Xn = lim inf xn e lim sup Xn = lim sup xn .
n+ n+

Prova: Sejam an = inf Xn , bn = sup Xn , n N, a = lim an e b = lim bn .

Deni c ao 2.39, resta apenas mostrar que a e b s ao valores de ader encia.

a = lim an = lim ank x = lim xnk lim bnk = lim bn = b, o que conclui esta arma c ao. Pela Iniciemos com a sequ encia crescente (an ) = (inf Xn ). Dado > 0, e n0 N, como an a,

subsequ encia de (xn ). Temos ank xnk bnk e consequentemente, pela Proposi c ao 2.23,

Mostremos que todo valor de ader encia de (xn ) pertence a [a, b]. Seja x = lim xnk , (xnk )

existe p tal que: m p implica a < am = inf Xm a. Logo, xando m > max(n0 , p) temos a < inf Xm = inf {xi i m} < a + e, por deni c ao de nmo, existe n m tal que inf Xm xn < a + e, para tal n > n0 , xn (a , a + ). Pelo Lema 2.30, a e um valor de ader encia de (xn ). Finalmente, trocando (xn ) por (xn ), b e valor de ader encia de (xn ) e b de (xn )
mn mn

Com as nota c oes11 inf xm para inf Xn e sup xm para sup Xn escrevemos tamb em, lim inf xn = lim inf xm
n+ mn

lim sup xn = lim sup xm .

n+ mn

2.8 - Alguns Exemplos Cl assicos Exemplos 2.46 Deixamos ao leitor vericar ou completar as provas das arma co es abaixo. (1) Aplica c oes do axioma do Supremo: (a) Se a > 1, a sequ encia ( n a) = (a, a, 3 a, ...., ) e decrescente e lim n a = 1. Verica c ao:
n+

Dados a > 0 e b > 0 e n N e claro que a > b an > bn e, portanto, a > b

1 1 1 1

1 < a n+1 = (an ) n(n+1) < (an+1 ) n(n+1) = a n . Pelo Teor. 2.27 (b), L = lim n a, L 1, e ent ao, para a subsequ encia ( 2n a), temos, pelo Corol. 2.34, L = lim 2n a = lim n a e, pela continuidade da fun c ao ra z n quadrada e Prop. 2.25, lim a = L. Logo, L = L, com L 1, e portanto L = 1. (b) Se 0 < a < 1, ( n a) = (a, a, 3 a, ...., ) e crescente e lim n a = 1. Verica c ao: 1 1 1 1 claro que an+1 < an e, como no ultimo item, a n E = (an+1 ) n(n+1) < (an ) n(n+1) = a n+1 . Pelo Teorema 2.27 (b), L = lim n a, L > 0 e ent ao, argumentando como em 3(a), 2n n L = lim a = lim a = L. Logo, L = L, com L > 0, e portanto L = 0.
n+

Logo, como a > 1, temos 1 < an < an a = an+1 e tomando a ra z n(n + 1) temos

n n a > b.

11 Gauss,

com tais nota co es, deniu corretamente os limites inferior e superior de uma sequ encia e assim

provando o Teorema 2.38 acima, em um fragmento de 1800 s o publicado no in cio do s eculo XX.

31

(c) A sequ encia sn = 1 + s2n = 1 + temos

1 2n1 +1

1 2

1 3

Verica c ao: Escrevendo,

1 + ....... + n , n N, n ao e limitada superiormente.

+ ..... 21 n =

1 1 1 1 1 1 1 1 1 + ( + ) + ( + + + ) + ..... + ( n1 + ..... n ) 2 3 4 5 6 7 8 2 +1 2
2n (2n1 +1)+1 2n

2n 2n1 2n

2n1 2n

e portanto,

(d) A sequ encia (an ), an = 1 + (an ) e convergente. Verica c ao:

Logo, lim s2n = + e se m > 2n , m, n N, temos sm > s2n e assim, lim sm = +.

n+ 1 1!

s2n > 1 +

2 4 2n1 1 1 + + + .... + n = 1 + n . 2 4 8 2 2 +
1 2!

1 3!

+ ..... +

1 n!

e crescente e an < 3, n N. Logo,

m+

claro que n! = 1.2.3.....(n 1)n 2n1 , n 1. Logo, E 1+

1 n!

1 21 1 1 1 1 1 1 n <3 . + + + ..... + 1 + 1 + + ... + n1 1 + 1! 2! 3! n! 2 2 1 1 2

1 2n1

e,

1 n (e) A sequ encia (bn ), bn = (1 + n ) e crescente, limitada por 3, convergente e

Verica c ao: Pelo bin omio de Newton temos, bn = (1 + 1 n ) = n

p=n p=0

(1 +

1 n 1 1 1 ) 1 + 1 + + + ..... , n N . n 2! 3! n! n np 1 p 1 ( ) = p n
p=n p=0

n 1 . p np

Destaquemos nos coecientes binomiais o fatorial de p, para p 1,

Reintroduzindo np no denominador obtemos,

n n! n(n 1).....2.1 1 1 = = = [n.....(n p + 1)] . p p !(n p)! (n p)! p! p!

Exemplicando, para n 4, como ()

n 1 . p! p=0 n 1 p np

n 1 n.....(n p + 1) 1 1 2 p1 1 = = (1 )(1 )....(1 ) . p np np p! n n n p!

n 1 0 n0

n 1 1 n1

= 1,

Cada uma das n + 1 parcelas de

1 1 1 2 1 1 2 3 1 = 1 + 1 + (1 n ) 2! + (1 n )(1 n ) 3! + (1 n )(1 n )(1 n ) 4! + .... . n 1 p np 1 p!

Veremos no Teorema 2.58 que o limite da sequ encia (bn ) e o n umero de Euler e. 32

n. Logo, pelo Corol ario 2.34, (bn ) e convergente.

crescente. De (*) obtemos bn 1 + 1 +

Se n cresce, o n umero de parcelas e o coeciente de

1 2!

1 n da expans ao de (1 + n ) e um m ultiplo positivo

1 3!

1 + ... n !

e, pelo Exemplo 2.46 1(d), bn < 3,

crescem e assim (bn ) e

 (f) A sequ encia ( n n) = (1, 2, 3 3, 4 4, ....) converge a 1. Verica c ao: Mostremos que a sequ encia e, a partir do terceiro termo, decrescente e limitada inferiormente por 1. De fato, e obvio que n n 1, n N, e e claro que (n + 1) n+1 < n n (n + 1)n < nn+1
1 1

(2) (a) Se a > 1, lim Verica c ao:

(n + 1)n 1 < n (1 + )n < n , n n n n +1 1 n e ent ao, como pelo exemplo 3(e) acima (1 + n ) < 3, temos n + 1 < n n, se n 3 e, pelo Teor. 2.27 L = lim n n, L 1. Argumentando como nos Exemplos n + 2.46 1(a) e 1(b), e usando lim n 2 = 1 Exemplo 2.46 1(a) e a Proposi c ao 2.22 (c) (para o limite do produto de duas sequ encias convergentes), temos L = lim 2n 2n = lim n 2n = lim n 2 n n = 1.L = L. Logo, L = L, com L 1; donde L = 1.
an p n+ n

= +, p N.

Escrevendo n = 1 + , > 0, se n > p temos, pelo bin omio de Newton, (1 + )n 1 = p p n n

n+ n m=0

2)...(np) p+1 e e claro que lim n (n1)(n = +. np

n m n p+1 (n 1)(n 2)...(n p) p+1 =n , p m p+1 n np

(b) lim

zn n+ n!

Verica c ao: Seja z 0. Para n0 N,

n0 z

= 0, z C.

> 2, e n > n0 temos,

n! n0 ! n0 + 1 n n0 ! = n .... > n 2nn0 ; n 0 z z z z z 0 2nn0 = + e lim

zn n+ n!

donde, lim

(3) (Soma de Cesaro12 ) (Cauchy, 1821) Seja (zn ) C. Se lim zn = z ent ao,
n+

n! n n+ z

lim

n0 ! n n+ z 0

= lim

zn n+ n!

= 0, z C.

lim

z1 + .... + zn =z . n

Verica c ao: Dado > 0 seja N N tal que n N implica zn z < . Ent ao, se n > N , (z1 z ) + ... + (zN z ) (zN +1 z ) + ...(zn z ) z1 + ... + zN + zN +1 + ...zn z = + . n n n

bro da equa c ao acima e menor que . Ent ao, para n > n0 > N , aplicando a desigualdade c ao obtemos triangular na segunda parcela do 2 membro da mesma equa (zN +1 z ) + ...(zn z ) zN +1 z + ... + zn z (n N ) < . n n n

Evidentemente, podemos escolher n0 > N tal que se n > n0 a primeira parcela do 2 mem-

12

E. Cesaro (1859-1906), matem atico italiano.

33

2.9 - As Fun c oes Logaritmo e Exponencial Reais Deni c ao 2.47 A fun c ao logaritmo real, log (0, +) R, e dada por log(x) = 1
x 1 t

dt.

1
1 x

1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 000000 111111 0 1 1111111 0000000 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1 y= 000000 111111 0 1 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1 000000 111111 0 1 0 1
1 x

1 x

Figura 2.3: A area da regi ao hachurada e log x

Teorema 2.48 A fun ca o log (0, +) R, satisfaz, uma fun (b) E ca o estritamente crescente. innitamente deriv (c) E avel, com log (x) =
1 x

(a) Se 0 < x < 1, log x < 0; log 1 = 0 e, se x > 1, log x > 0.

dm log (x) dxm (1)m+1 (m1) ! , xm

Prova: Trivial e a deixamos ao leitor

m 1.

Proposi c ao 2.49 Para x e y positivos tem-se log(xy ) = log(x) + log(y ). Prova: Temos, log(xy ) =
xy 1

dt = t

x 1

dt + t

xy x

Na u ltima integral, a mudan ca de vari avel, de t para s, t = sx, 1 s y, dt = xds, acarreta

xy x

dt = log(x) + t

xy x

dt . t

Corol ario 2.50 Seja x > 0. Para r Q tem-se log(xr ) = r log(x). Prova: log(1) = log(xn xn ) = log(xn ) + log(xn ) e portanto, log(xn ) = log(xn ) = n log(x). Se
p p p

dt = t

y 1

xds = log(y ) sx

Pela Proposi c ao 2.49 o resultado e obvio se r N e, neste caso, xn xn = 1 e ent ao, 0 =

p q

r=p , p, q Z , temos p log x = log xp = log (x q )q = q log x q . Finalmente, log x q = q 34

log (x)

Corol ario 2.51 A fun ca o log (0, +) R e invers vel e a inversa e cont nua. Sobre a imagem log( . ) e sobrejetora e, pelo Teorema 2.48(b), injetora. A imagem de um ent intervalo por uma fun c ao cont nua e um intervalo. E ao claro que (a, b) = (, +) pois, se n N, temos lim log 2n = lim n log 2 = .
n+ n+

Prova:

log1 (yo ) (a, b), temos que y0 I = (log a, log b) e log1 (I ) (a, b)

Arma c ao: log1 R (0, +) e cont nua. De fato, dado y0 R e J = [a, b] (0, ),

Deni c ao 2.53 A fun c ao exponencial exp R (0, +) e a inversa da fun ca o logaritmo. innitamente diferenci (a) E avel e exp (x) = exp(x), x R. (c) Se r Q ent ao, exp(r) = er . 1= (b) exp(x + y ) = exp(x) exp(y ), x, y R.

Deni c ao 2.52 Indicamos por e o u nico n umero real tal que log e = 1.

Teorema 2.54 A fun ca o exponencial real e uma bije ca o crescente de R sobre R+ satisfazendo,

Prova: (a)Pelo teorema da fun c ao inversa exp e deriv avel e, pela regra da cadeia, d d 1 (x) = (log exp)(x) = log [exp(x)] exp (x) = exp (x). dx dx exp(x)

(b) Temos, log[exp(x + y )] = x + y e log[exp(x) exp(y )] = log[exp(x)] + log[exp(y )] = x + y . Nota c ao 2.55 exp(x) = ex , x R.

(c) Pelo Corol ario 2.50 e deni c ao de e tem-se log er = r log(e) = r e, e obvio, log exp(r) = r

Deni c ao 2.56 Para a R, a > 0, e x R, pomos ax = ex log a . Proposi c ao 2.57 Temos, ex = 1 + x +

x2 2!

+ ... +

xn n!

+ ..., x R.

Prova: Pela f ormula de Taylor13 para f = exp, n N e x R, existe x entre 0 e x tal que ex = f (0) + f (0) x + f (0) 2 f (n) (0) n f (n+1) (x ) n+1 x + ... + x + x . 2! n! (n + 1)!

Se x [R, R], R > 0 e xo, temos x [R, R], com f (j ) (x) = ex , f (j ) (0) = 1, f (n+1) (x ) = ex e n+1 f (n+1) (x Rn+1 ) n+1 R x ex eR . (n + 1)! (n + 1)! (n + 1)! xn n!
n +1

Para Sn (x) = 1 + x +
13 O

exp(x) (uniformemente sobre [R, R], veremos) pois, pelo Exemplo 2.46 2(b), lim
(1638-1675) e, na India, antes de 1550.

x2 2!

+ .... +

temos ex Sn (x) eR (R , x R, e Sn (x) converge a n+1)!

Rn n+ n !

= 0,

ingl es B. Taylor (1685-1731) a publicou em 1715. Por em, j a era conhecida pelo escoc es J. Gregory

35

Teorema 2.58 O n umero e e irracional e

x+

lim

1+

1 x

= e = lim

n+

1+1+

1 1 1 + + .... + 2! 3! n!

Prova:

quando x +. Como log (y ) =

Pela Proposi c ao 2.57 para x = 1 [vide Ex. 2.46 1(d) e 1(e)] basta mostrarmos 1 +
1 y
1 log(1 + y ) log 1 log(1 + y ) = lim = lim log(1 + y ) y . y 0 y 0 y 0 y y 1 1 y

1 = lim

temos 1 = log (1) e portanto, pela deni c ao de derivada, 1+

1 n!

1 x x

e,

Quanto ` a irracionalidade de e, notemos que se sn = 1 + 1 + e sn = =

1 Assim, lim (1 + y ) y = lim elog(1+y) = e1 = e e, substituindo y = x , lim y 0 y 0 1 2!

1 3!

x+

+ .... +

1 x x

ent ao,

= e.

1 1 1 1 1 1 1 + + + ... < 1+ + + + .... = 2 (n + 1)! (n + 2)! (n + 3)! (n + 1)! n + 1 (n + 1) (n + 1)3

+ 1 1 (n + 1)! k=0 n + 1 k

1 1 os n umeros q ! e e q !sq = q ! (1 + 1 + 2! + ... + q ) inteiros. Logo, q ! (e sq ) e um inteiro entre 0 e 1 !

, p, q N e mdc(p, q ) = 1, temos 0 < q !(e sq ) < 1 , com Supondo e racional, escrevendo e = p q q Vericando que 0 < e s7 < 104 , obtemos as primeiras tr es casas decimais de e = 2, 718.... A fun c ao ex tem limites em , derivadas primeira e segunda estritamente positivas, e

1 1 1 . 1 = (n + 1)! 1 n+1 n n!

estritamente crescente e com concavidade voltada para cima. Os gr acos de ex e log x, fun co es inversas uma da outra, s ao sim etricos em rela c ao ` a bissetriz principal (v. gura 2.4).

y = ex 1 0 0000000 1111111 0 1 0000000 1111111 0 1 0000000 1111111 0 1 y = log x 0000000 1111111 0 1 0000000 1111111 0 1 0000000 1111111 0 1 0000000 1 1111111 0 1 0000000 1111111 0 1 0000000 1111111 0 1 0000000 1111111 0 1 0000000 1111111 0 1 0000000 1111111 0 1 0000000 1111111 0 1 x 0000000 1111111 000000 111111 0 1 000000 111111 0 1 1 000000 111111 0 1 000000 111111 0 1 000000 111111 0 1 000000 111111 0 1 000000 111111 0 1 000000 111111 0 1 000000 111111 0 1 000000 111111 0 1 000000 111111 0 1 000000 111111
Figura 2.4: Gr acos de y = ex e y = log x

36

Ap endice 1 - Coment arios sobre e e . Os n umeros e e s ao mais sosticados que o outrora desaador irracional

x 2 = 0. Dizemos alg ebricos os n umeros x que satisfazem uma equa c ao polinomial da forma,
2

2, o qual satisfaz

an xn + an1 xn1 + ... + a1 x + a0 = 0 , ai Z , 0 i n , com a0 0 ,

7

por exemplo,

4+

alg ebricos s ao transcendentes e e e s ao dois exemplos, sendo que surgiu na antiguidade, como a raz ao entre o comprimento de uma circunfer encia e seu di ametro. O n umero e e recente, sendo o escoc es John Neper (1550-1617) e Jacques Bernoulli, citado na introdu ca o deste cap tulo, dois dos principais nomes ligados a sua origem. Neper objetivava simplicar opera c oes com grandes n umeros. Para manter pr oximos os termos numa progress ao de pot encias inteiras de um n umero dado e mister toma-lo pr oximo pot encia por 107 . Ent ao, se N = 107 (1 107 )L , L e o logaritmo de Neper de N . Dividindo 1 e pois (1 1 107 )10 e pr oximo de lim (1 1 n)n = 1 e.
7

3 5 + 5 11 e alg ebrico mas n ao provaremos este fato aqui. N umeros n ao

de 1. Neper escolheu 1 107 = 0, 9999999 (vide exerc ??) e, para simplicar multiplicou cada seus n umeros e logaritmos por 107 ter amos algo pr oximo de um sistema de logaritmos de base Desde a Gr ecia antiga, procurou-se obter a quadratura do c rculo por meio de r egua e
n

compasso. Isto e, a partir de um c rculo de raio 1 contruir um quadrado de igual area. Para tal e necess ario um segmento de comprimento . O comprimento de um segmento construt vel das opera c oes elementares, +, , . e e, ainda, construt vel e irracional. A prova acima de que e e irracional e bem mais simples que a elementar da irracionalidade de [Sp], existindo uma prova simples de que e transcendente que requer m etodos avan cados em algebra (Teoria de Galois
14

a partir da unidade com r egua e compasso (n umero contrut vel) , pode ser obtido a partir .e e portanto um n umero alg ebrico. Em 1882 o alem ao C. Lindemann (1852-1939) mostrou que e transcendente e consequentemente n ao

). Isto n ao deve causar surpresa pois e comum que argumentos

elementares sejam mais dif ceis que os avan cados. Em 1844 o franc es J. Liouville (18091882) mostrou que e n ao e construt vel e em 1873 seu compatriota C. Hermite (1822-1901) demonstrou a transcend encia de e, para a qual existe uma prova elementar, baseada numa id eia do germ anico D. Hilbert (1862-1943) [Sp]. Cabe salientar que as provas da transcend encia de e e s ao praticamente as mesmas o que surprende visto que tais n umeros tem origens bem distintas. Obviamente tal fato e curioso anal, qual rela c ao pode haver entre e e ? A resposta a esta quest ao vir a com a apresenta ca o da fun c ao exponencial complexa e a f ormula de Euler na se c ao 4.4. As nota c oes e e (e tamb em i para 1) devem-se a Euler. Provavelmente a letra e tenha sido adotada por ser a primeira letra de exponencial.

14

Evariste Galois (1811-1832), jovem franc es, escreveu parte de suas descobertas na noite anterior a ` sua morte

em duelo por motivo passional. Liouville as publicou em 1846.

37

Cap tulo 3

SERIES / CRITERIOS DE CONVERGENCIA

3.1 - Introdu c ao Talvez o mais antigo e famoso argumento envolvendo um somat orio innito seja o paradoxo Dicotomia, de Zen ao de El eia (entre 490 e 485 - c. 430 a.C.), Um corredor nunca pode chegar ao m de uma corrida pois antes de chegar ao m, ele precisa chegar ao meio. Depois, ao meio do que falta e assim sucessivamente ad innitum. Atualmente, interpretamos tal paradoxo como o c omputo do somat orio dos termos de uma progress ao geom etrica innita de raz ao 1 2 e, e claro, tal soma e 1. Por em, para Zen ao um somat orio innito n ao poderia ter soma nita. Quase um s eculo depois, Eudoxo (408-355? a.C.) usou somat arios innitos e computou areas e volumes (m etodo da exaust ao). Somat orios innitos enumer aveis s ao a base do c alculo integral e surgem tamb em com a f ormula de Taylor e outros processos de aproxima c ao. Tendo denido uma forma de somar, dada uma sequ encia investigaremos se e poss vel atibuir a ela um valor (a soma da s erie) e veremos que com frequ encia n ao seremos capazes de responder qual e este. O axioma do supremo e a ferramenta te orica a indicar a soma de uma s erie de termos positivos. Na pr atica, comparamos a s erie com uma s erie geom etrica para decidir se existe ou n ao a soma da s erie [vide Exemplos 2.46 1(d) e (e)]. S eries de termos positivos e negativos requerem, em geral, cuidados extras e para estas mostraremos uns poucos crit erios neste cap tulo e o Teorema de Riemann1 no pr oximo. S eries em C s ao, e claro, redut veis a duas s eries reais. As s eries absolutamente convergentes e condicionalmente convergentes, introduzidas neste cap tulo, ser ao analisadas mais profundamente no cap tulo 4.
1

O tedesco G. F. B. Riemann (1826-1866) criou a geometria que veio a ser utilizada na f sica relativ stica.

38

3.2 - O Limite de uma S erie Convergente. Propriedades Operat orias Seja (an ) K, K = R ou K = C. Na deni c ao a seguir enfatizamos que uma s erie e

determinada por uma sequ encia e uma forma de som a-la.

Deni c ao 3.1 Dada uma sequ encia (an ) K, a s erie de termo geral an [ou s erie gerada parciais de (an ), com sn = a1 + a2 + ..... + an , n N, a soma parcial de ordem n.
n=

pela sequ encia (an )] e o par ordenado (an ), (sn ) , onde (sn ) e sequ encia (sn ) das somas Deni c ao 3.2 A s erie de termo geral an e convergente se a sequ encia (sn ) e convergente e,
+ n=0 +

A s erie de termo geral an e divergente se (sn ) e divergente.

+ n0

neste caso, s = lim sn K e a soma da s erie [ou limite da s erie] indicada por s = an . Seguindo a tradi c ao indicaremos de forma amb gua a s erie (an ), (sn ) pelos s mbolos an ,
n=0

erie de termo geral an , se esta e convergente. an ou an , que denotam a soma da s

+ + + n=0 n=0 n=0 n+

Ainda, an = an e a sequ encia das somas parciais de (bn ), bn = 0 se n < p, bn = an se n p.

+ np n=p +

Indicamos que a s erie an converge por an < e pomos an = se lim sn = .

Para analisarmos se a s erie an converge ou n ao podemos ignorar qualquer quantidade

n=0 n m=p+1

nita de seus termos pois xado p N temos, para n > p, sn = sp + am e e claro que existe
n+

lim sn se e s o se existe lim

n+ m=p+1

e, an converge se e s o se am . Isto
n=0 +

n=p+1

an converge.

Proposi c ao 3.3 Seja an 0, n N. A s erie an converge se, e s o se, a sequ encia das somas parciais, sn = a1 + ..... + an , e limitada. Prova Imediata consequ encia do Axioma do Supremo Proposi c ao 3.4 O espa co das s eries em K e convergentes e um K-espa co vetorial. Prova: Segue da Proposi c ao 2.22 (a) e (b). Deixamos a verica c ao ao leitor.
+

Proposi c ao 3.5 (Condi c ao necess aria ` a converg encia) Se an converge, lim an = 0.

n+

Prova: E obvio que sn+1 sn = an , n, e por hip otese existe lim sn = x = lim sn+1 . Assim,
n+

Exemplo 3.6 A s erie

lim an = lim (sn+1 sn ) = lim sn+1 lim sn = x x = 0

n+ n+ n+ + n diverge 2

n+

n+

pois, lim

n n+ 2

0.

Exemplo 3.7 A s erie geom etrica z n = 1 + z + z 2 + ... + z n ... , z C, satisfaz:

n=0 + n=0

zn =

1 , se z < 1 , e diverge se z 1 . 1z
1z n+1 n+ 1z

De fato, lim

n+

1 + z + z 2 + ... + z n = lim

1 , 1z

se z < 1 e, se z 1, lim z n 0.
n+

39

Abaixo ilustramos geom etricamente a s erie q n , q > 0. Note-se que se eo angulo indicado na gura ent ao cot =
1 + q + .... + qn + ... 1 n=0

1 1q

q qq2

= ... =

qn qn qn+1

= ....

1 1 q q

q2 q2

q3 q3

q4 q4

1 1q

Figura 3.1: S erie Geom etrica de Raz ao q > 0. Deni c ao 3.8 A s erie de Taylor2 de C f (a, b) R, em torno de x0 , calculada em x, e A s erie de Taylor de f computada em x pode convergir ou n ao a f (x) e mesmo divergir. Se por Pn (x), a s erie de Taylor de f no ponto x converge a f (x) se, e s o se, lim Rn (x) = 0.
n+ f (2) (x0 ) (x 2!

f (n) (x0 ) (x x0 )n . n! n=0

+

Pn (x) = f (x0 ) + f (1) (x0 )(x x0 ) +

Taylor de f em torno de x0 e Rn (x) = f (x) Pn (x) e o erro cometido ao aproximarmos f (x) No ap endice provamos as f ormulas de Taylor com resto integral e de Lagrange. Deni c ao 3.9 A s erie de Maclaurin3 de f (r, r) R, r > 0, e a s erie de Taylor em x = 0. Exemplos 3.10 As s eries de Maclaurin de ex , sen x e cos x. (a) Pela Proposi c ao 2.57 segue que ex =
+ n=0 xn , n!

x0 )2 + ... +

f (n) (x0 ) (x n!

x0 )n e o polin omio de

x R.

(b) Pela f ormula de Taylor para a fun c ao sen x na origem temos, xado x R, sen x = sen(0) + sen (0)x + sen (0)
x k +1 (k+1)!

e assim, sen(2n) (0) = 0, sen(2n+1))(0) = (1)n . Ainda mais, sen(k+1) (x) (x k+1)!
k +1

claro que sen(2n) (x) = (1)n sen x e sen(2n+1) (x) = (1)n cos x para algum x entre 0 e x. E e, pelo exemplo 2.46 2(b), sen(x) = x 0 quando k +. Logo,
x k +1 (k+1)! + x3 x5 x7 x2n+1 x2n+1 + + .... + (1)n + ... = (1)n . 3! 5! 7! (2n + 1)! (2n + 1)! n=0

x2 xk xk+1 + ..... + sen(k) (0) + sen(k+1) (x) , 2! k! (k + 1)!

(c) Similarmente ao item (b) temos que, cos(2n) x = (1)n cos x, cos(2n+1) x = (1)n+1 sen x, cos(2n) 0 = (1)n , cos(2n+1) 0 = 0 e cos(x) = 1 x4 x2n x2 + + ...... + (1)n + .... = 2! 4! (2n)!
+ n=0

2 3

B. Taylor (1715). Tal s erie j a era conhecida pelo escoc es J. Gregory (1638-1675) e, na India, antes de 1550. O escoc es C. Maclaurin (1698-1746), em 1742. Alguns matem aticos a anteciparam e Gregory j a as conhecia

(1)n

x2n . (2n)!

para tan x, sec x, arcsec x e arctan x, vide Exemplo 3.14. Clio, a musa da hist oria, e com frequ encia caprichosa ao batizar teoremas.

40

Exemplo 3.11 A s erie harm onica,

n=1

1 , n

diverge4 . Vide Exemplo 2.46 1(c).

+ 1 , np

Exemplo 3.12 A s erie harm onica generalizada

n=1

converge se p > 1 e diverge se p 1.

De fato, xado p > 1, se sn e a n- esima soma parcial da s erie, para s2n 1 temos s2n 1 = 1 + < 1+ e como
+

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

m n=1 1 np n1 m=0

1 2p1

<

Se p 1 temos

1 np

e uma s erie de termos positivos, (sn ) e limitada e pela Prop. 3.3 a s erie converge.
m n=1 1 n

1 p1 2

, n ,

e, pelo Exemplo 3.11, a s erie dada diverge.

3.3 - Converg encias Absoluta e Condicional. Crit erio de Cauchy. Deni c ao 3.13 A s erie an , em K, e (a) absolutamente convergente se an < .
+ +

(b) condicionalmente convergente se e convergente e an = .

Exemplo 3.14 A s erie para log x, chamada s erie de Mercator(1668)5 , e a converg encia condicional da s erie harm onica alternada: log(1 + x) = x x2 x3 x4 x5 xn+1 + + + ...... + (1)n + ..... , 1 < x 1 , 2 3 4 5 n+1 1 1 1 1 1 log 2 = 1 + + + ..... + (1)n + ...... 2 3 4 5 n+1 1 (t)n+1 = 1 t + t2 t3 + ....(t)n + , t 1 , 1+t 1+t
x 0 1(t)n+1 , 1+t

Verica c ao: Da progress ao geom etrica 1 t + t2 t3 + ....(t)n = log(1 + x) =

x

t 1, obtemos

1 x2 x3 x4 xn+1 dt = x + + .... + (1)n + 0 1+t 2 3 4 n+1 Caso x [0, 1]: se 0 t x 1 ent ao 1 1 + t e

x 0

Caso x (1, 0): se 1 < x t 0 ent ao 0 < 1 + x 1 + t 1, 1

x 0
4 5

(t)n+1 dt 1+t
0

(t)n+1 dt , x (1, 1] . 1+t 0. e,

n+

tn+1 dt =

xn+2 n+2

1 n+2

n+

N, Oresme (1323?-1382), parisiense e bispo cat olico, provou este resultado em 1350, um grande feito a ` epoca. O dan es N. Mercator (1620-1687), que desenhou as fontes de Versailles. Pietro Mengoli (1625-1686), tamb em

(t)n+1 1 dt 1+t 1+x

1 1+t

(t)n+1 dt =

1 x n+2 1 1+x n+2 (1 + x)(n + 2)

1 1+x

dan es e um dos principais precursores do estudo de s eries innitas, obteve o mesmo resultado e chamou de logaritmo natural os valores determinados por tal s erie.

41

Exemplo 3.15 A s erie para arctan x, dita s erie de Gregory(1671)6 e a s erie de Leibnitz, arctan x = x (Leibnitz) Verica c ao: Integrando arctan(x) = x (1)n+1 x3 x5 x7 x2n+1 + ..... + (1)n + ... , x 1 , 3 5 7 2n + 1
2(n+1)

1 1+t2

1 1 1 1 1 = 1 + + + ...(1)n+1 + ... . 4 3 5 7 9 2n + 1
x t2(n+1)

Conclu mos mostrando que para x 1 a integral tende a zero:

x t2(n+1) 0

x3 x5 x7 x2n+1 + .... + (1)n + (1)n+1 3 5 7 2n + 1 dt

x 0

= 1 t2 + t4 + ... + (1)n t2n + (1)n+1 t 1+t2 , t R , obtemos

0

1 + t2

dt , x R .

1 + t2

t2(n+1) dt

x2n+3 1 2n + 3 2n + 3
1 2n1

n+

0
+

A s erie de Leibnitz e condicionalmente convergente pois

1 2n

1 2n

1 2

1 n

= + .

Crit erio 3.16 (de Cauchy para s eries num ericas)7 A s erie an , em K, e convergente se, e s o se, > 0, existe n0 N tal que an+1 + an+2 + ...... + an+p < , N > n0 , p N. e que a s erie converge se, e s o se, (sn ) e uma sequ encia de Cauchy. Donde, a tese Teorema 3.17 Toda s erie, em K, absolutamente convergente e convergente. tamb em, pois Re(z ) , Im(z ) z Re(z ) + Im(z ) , z C. Assim, suponhamos a s erie 3.3, (an + an ) converge e, como ( an ) < , an = (an + an ) + an tamb em
+ + + + +

claro que an+1 + an+2 + ...... + an+p = sn+p sn , sn a n- Prova E esima soma parcial da s erie, O teorema a seguir e fundamental, segue trivialmente do Crit erio de Cauchy (3.16), ser a

provado elementarmente no Lema 4.2, e abaixo mostramos uma outra e simples prova.

Prova Uma s erie em C converge absolutamente se, e s o se, suas partes real e imagin aria em R. Para an < +, an R, temos, 0 an + an 2 an e, (an + an ) e uma s erie
+ + +

em [0, +) com sequ encia das somas parciais limitada superiormente por 2 an . Pela Prop. 3. 4 - Crit erios para Converg encia Absoluta
+ +

Crit erio 3.18 (da Compara c ao) Sejam an e bn s eries em C. Se existem c > 0 e n0 N tais que an c bn , n > n0 , e bn < ent ao an < . Exemplo 3.19 Temos
+ + + +

Prova: Segue do teorema acima

1 1 sen n n 1 log n

< pois (como sen < se > 0)

+ p=0 np p! 1 1 sen n n 1 log n

<

1 n2 1 n

e
+

1 n2

< .

Exemplo 3.20 Temos

6 7

n=2

= + pois (en =

n e log n n)

1 n

= +.

Gregory foi o introdutor do termo converg encia e deduziu a s erie de Leibnitz antes que este. Bolzano, em 1817, antecipou o Crit erio de Cauchy, com uma prova circular, como era de se esperar.

42

Crit erio 3.21 (do Limite) Sejam, em C, an e bn , bn s 0, com lim (a) Se L = 0, bn < an < .
+ + + + + +

an bn

= L [0, +].

(b) Se 0 < L < +, an < bn < . (c) Se L = +, bn = + an = +.

Prova (a) Se L = 0, existe n0 N tal que an bn , n n0 . Logo, an bn < +.

no n0

(b) Existe n0 tal que, se n n0 , bn

L 2

an

3L 2

bn . A tese segue do Crit erio da Compara ca o.

+ +

(c) Existe n0 N tal que, se n n0 , an bn . Logo, an bn = +

nn0 nn0

Exemplo 3.22 Temos

13n3 +2n3 n7 +4n5 3n2 +20

13n3 +2n3 n7 +4n5 3n2 +20 lim 1 n+ n4

= lim

3 2 13 + n n4 (13n3 + 2n 3) 2 n3 = lim 3 20 = 13 . n+ n7 + 4n5 3n2 + 20 n+ 1 + 4 n 5 + n7 n2 n+

1 nn n 1 n

< pois a s erie

1 n4

e convergente e

Exemplo 3.23 :

1 n n
n

= + pois [v. 2.46 1(f ) (f )] lim

= lim

n+

1 n

=1e

1 n

= +.

A apresenta c ao dos crit erios da ra z e da raz ao e razoavelmente geral, e utiliza os conceitos de lim sup e lim inf. Com frequ encia, mas n ao sempre, poderemos substituir tais limites pelo usual. Abaixo, enfatizamos tais fatos e relacionamos os tr es limites citados com os dois crit erios. Teste 3.24 (da Ra z )8 Seja an , em C, tal que lim sup (a) Se R < 1, a s erie an e absolutamente convergente. (b) Se R > 1 a s erie an e divergente.
+ + +
n

an = R [0, +].

(c) Se R = 1 nada se pode armar sobre a converg encia de an . Prova: (a) Fixando tal que R < < 1, pelo Corolario 2.43 existe n0 N tal que, se n > n0 ent ao
n

(b) Para tal que lim sup n an > > 1 existe subsequ encia (ank ) satisfazendo (c) A s erie Donde, ank >
+ 1 n nk

an < e assim, an < n . Logo, pelo crit erio da compara c ao, an converge.
nk

diverge enquanto

> 1, k , e portanto an = +.
+ 1 np

ank > .
n np 1

, p > 1, converge. Por em, lim

n

n+
n

= lim
n

n+

=1

Observa c ao: Destaquemos que se existir lim

8
1

an ent ao lim sup

an = lim

an .

Tamb em dito Crit erio de Cauchy (1821), o qual o enunciou: Ache o limite ou os limites para os quais a

express ao (un ) n converge quando n cresce indenidamente e denote por k o maior destes limites, ou, em outras palavras, o limite dos maiores valores da dita express ao. A s erie ser a convergente se k < 1 e divergente se k > 1.

43

Teste 3.25 (da Raz ao)9 Seja an , em C, a n s 0 , r = lim inf (a) Se R < 1, a s erie an e absolutamente convergente. (b) Se r > 1 ou r = +, a s erie an e divergente.
+ +

an+1 an

e R = lim sup

an+1 an

(c) Se r 1 R, nada se pode armar sobre a converg encia de an . Prova (a) Seja R, R < < 1, e n0 N dado pelo Corol ario 2.43 tal que, para n > n0 , Ent ao, se n > n0 , an =
an an1 an1 an2

...

an0 +1 an0

an0

nn0

an0 , donde segue an < +.

an+1 an

< .

(b) Neste caso existe n0 tal que, se n > n0 ,

an+1 an

> 1 e portanto, an+1 an an0 .

an+1 an

(c) Os exemplos citados no crit erio da ra z servem aqui tamb em (vide Exemplos 3.26) Observa c ao: Em particular (com a nota c ao do Teste 3.25) se existir lim Exemplos 3.26 Consideremos as s eries abaixo. (a)
1 2

ent ao r = R .

1 3

1 22

1 32

1 23

lim inf lim inf

(b) Analogamente para

an+1 2 = lim )n = 0 , an 3
1 2

1 33

+ ... converge pelo teste da ra z e o da raz ao e aqui inconclusivo:

2n

an = lim

1 1 = , 3n 3
1 8

lim sup lim sup

+1+

1 4

1 32

1 16

1 128

an+1 3 = lim )n = + , an 2 +
1 64

an = lim

2n

1 1 = . 2n+1 2

+ ... pois,

lim inf n an =
1 2

se n e mpar,

Exemplos 3.27 As s eries complexas obtidas das s eries de Mclaurin de ex , senx e cos x, trocando a vari avel x R pela vari avel z C convergem absolutamente em todo o plano complexo. Verica c ao: Sendo as s eries, respectivamente,
+ zn + n=0 zn , n! + n=0 z e (1)n (2 n+1) !
2n+1

n an =

an+1 1 an+1 = , lim sup = 2, an 8 an =

n 2 4

2 2n1

se n e par e portanto lim

an =

1 2

n=0

basta mostrar n! < pois as outras duas s ao, em valor absoluto, majoradas por ela. Pelo z z n+1 n! crit erio da raz ao temos lim (n+1) !zn = lim n+1 = 0, z C Teorema 3.28 Seja (xn ) uma sequ encia limitada em (0, +). Temos, lim inf
n+

z 2n (2n) !

(v. 3.10),

xn+1 xn+1 lim inf n xn lim sup n xn lim sup . xn xn n +1 n +1 Em particular, se lim xx = L [0, +] ent ao lim n xn = lim xx . n n
n+ n+ n+
9

Tamb em chamado Crit erio ou Teste de DAlembert, j a era bem conhecido anteriormente a DAlembert.

44

Prova Basta provar lim sup lim sup

n

1 xn

seque a desigualdade para o lim inf.

n +1 maior valor de ader encia de ( xx ), p N tal que, n > p n

n +1 lim sup n xn c. Dado c > q , q o Ent ao, e suciente provarmos que c > q = lim sup xx n
x n +1 xn

n lim sup xx . Logo, de lim sup n +1

n +1 xn lim sup xx pois assim, para a sequ encia ( x1 ) teremos n n n

1 xn

1 lim inf n xn

n e lim sup xx = n +1

1 xn + 1 lim inf x n

xp+1 xp+2 xn c, c, ...., c xp xp+1 xn1

c. Logo, para n > p,

.
n

p n Multiplicando estas desigualdades membro a membro obtemos x cnp = c . Pondo k = cp x cp p n vemos que k independe de n e, xn k cn , n > p. Assim, n xn k c, n > p. Portanto, como n n n mos que lim sup n xn lim sup( k c) = lim kc = c lim k = 1, conclu

Assim, lim

an+1 an

n +1 Exemplo 3.29 Seja 0 < a < b e (xn ) = (a, ab, a2 b, a2 b2 , a3 b2 , a3 b3 , ......). Se n e par, xx = a, n n n n 1 1 1 a x n +1 2 a e n x 2 2n n a = = b , x = ( ab ) e xn = (ab) 2 e n xn = ab. Sen ao, x = ( ab ) ab 2n n n n

= L [0, +] lim

an = L. No ap endice temos outra prova deste fato.

ab

lim inf

Pelos Exemplos 3.26 (b) e 3.29 vemos que pode existir o limite da ra z e n ao o na raz ao. O teste da raz ao e geralmente mais f acil de aplicar enquanto o teste da ra z e mais eciente. + n n n 1 = e. Logo, n = 0. Exemplo 3.30 Temos lim n = +, lim n! = + e lim n n! n! n!
n +1

xn+1 xn+1 = min(a, b) , lim sup = max(a, b) , lim n xn = ab xn xn

Pelo Teorema 3.28, lim

+1) n! +1 n 1 n Verica c ao: Pelo teste da raz ao lim (n = lim( nn ) = lim(1 + n ) = e e a s erie diverge. (n+1)! nn
n

nn n!

Exemplo 3.31 A s erie nz n converge absolutamente se z < 1 e diverge se z 1. Verica c ao: Pelo teste da ra z ( e tamb em f acil aplicar o da raz ao), lim
+
n

= lim

n n!

= e e, por m, lim

1 n!

1 = lim n

n n!

= 0.e = 0

e nz n < se z < 1. Se z 1 temos z n 1, lim n z n = +, lim nz n 0 e nz n diverge Crit erio 3.32 (da Integral) Seja an , an 0, e f [p , +) [0, +), cont nua e decrescente, com an = f (n), n p . Temos,
+ p

n z n = z lim
+

n n= z

Prova:

f (x) dx < +

n=0

an < +
k+1

Se k p e x [k, k + 1] ent ao, ak+1 f (x) ak , ak+1 k

n p + n p

ak+1

k+1

Dada an , uma fun c ao como no crit erio da integral sempre existe [denimos f em [n, n + 1] tendo por gr aco o segmento unindo (n, an ) e (n + 1, an+1 )] mas, em geral, n ao eu til.
+

Logo, an < se, e somente se, lim p n+

n=1

f (x) dx =
n+1

n+1

f (x) dx = p

f (x) dx

f (x) dx ak e,
n p

ak .

f (x) dx <

45

y = f (x)
11 00 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11
p

area ap+1 area ap+2

11 00 00 11 00 11
n

area an

p + 1 p + 2 ....

Figura 3.2: Ilustra c ao para o Crit erio da Integral. Exemplo 3.33 Pelo crit erio da integral, dx = p x
+ 1 , np

p R, converge se, e s o se, p > 1.

1 xp

De fato, se p 0 e obvio que a diverg encia. Se p > 0,

+ 1 M x p+1 1 p M + 1

decresce e o resultado segue da f ormula , p 1,

lim

= lim
M +

1 1 M p 1 p 1 M +

M +

lim log
+

M 1

= lim log M , p = 1 < se, e s o se, > 1 ou, = 1 e > 1.

Exemplo 3.34 Supondo , > 0, temos

y

n=3

1 n (log n)

x ( > 1) log x
1

Figura 3.3: Gr acos de x , > 1, e log x. Verica c ao: Se > 1 ent ao analisemos 3
+ 1 dx. x (log x) + 3

e, como n1 erie dada converge. < , a s 1 Suponhamos agora 0 < 1. Como f (x) = x (log x) , x 3, e cont nua e decrescente
1 n (log n)

1 n

Com a mudan ca de vari avel y = log x obtemos x = ey , dx = ey dy e

+ log 3

Se < 1, dado N N cN > 0 com e(1)y cN y N , y 0, e ent ao log 3 e y dy = + e + + 1 pelo Crit erio 3.33 a s erie diverge. Se = 1, log 3 x(log dx = log 3 y1 o se, > 1 dy < se, e s x)
+
(1)y

1 dx = x (log x)

ey dy = ey y

+ log 3

e(1)y dy . y

Abaixo est a hachurada a regi ao dos par ametros , > 0 tais que a s erie acima converge. 46

11111111111111 00000000000000 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111
1

>1e 0 ou =1e >1

As s eries de Abel s ao as s eries do tipo s eries convergem se > 1 e divergem se = 1.

Figura 3.4: {(, )

n2

n=2

1 n (log n)

< }.

1 , n(log n)

> 0. Pelo Exemplo 3.34 acima tais

+

Crit erio 3.35 (Compara c ao de Raz oes) Sejam ak e bk em C = C {0}. Suponhamos que exista p N tal que ak+1 bk+1 , k p. ak bk
+

Se bk converge ent ao ak converge. Equivalentemente, ak = + bk = +. Prova Da hip otese temos, para k p, decresce,
ak bk

ap bp

, e ent ao, ak

ap bp

bk . Pelo crit erio da compara c ao, segue a tese

+

ak+1 bk+1

ak bk

. Logo, para k p a sequ encia

ak bk

, o teste da raz ao (e o da ra z) aplicado ` a s erie an e inconclusivo. Em tal caso, eu til o Crit erio de Raab abaixo descrito. Antes, mostremos uma generaliza c ao simples Se lim
an+1 an

da Desigualdade 2.8 (Bernoulli) . Lema 3.36 (Generaliza ca o da Desigualdade de Bernoulli) Se 1 e x 1, (1 + x) 1 + x. cima e reta tangente em (0, 1) dada por y = 1 + x. Logo, (1 + x) 1 + x
+

Prova Para f (x) = (1 + x) , x R, temos f 0, f (0) = , f tem concavidade voltada para

Crit erio 3.37 (Raabe) Seja an , uma s erie em C, an 0, n, tal que

n+ +

(a) Se L > 1, an e absolutamente convergente.

+

lim n(1

an+1 ) = L [, +] an
+

(b) Se L < 1, an diverge. Pode ocorrer que an convirja. (c) Se L = 1 o crit erio nada revela.

47

Prova: (a) Seja tal que 1 < < L. Ent ao, existe N N para o qual k 1 e assim,
ak+1 ak

ak+1 ak

> , k N ,

1 <1 . Aplicando o Lema 3.36 com x = k obtemos, k

Como

1 k

< ( > 1), pelo Crit erio 3.35 (compara c ao entre raz oes) ak converge.
ak+1 ak

ak+1 1 < 1 (1 ) = ak k k

1 k 1 (k1)

bk+1 1 , bk = . bk (k 1)
+

(b) Seja N N tal que, se k N , k 1 ak+1 ak 1

1. Assim,
1 k 1 k1

1 k1 = = k k

bk+1 1 , bk+1 = . bk k
+

Como a s erie harm onica diverge, pelo crit erio de compara c oes de raz oes, ak diverge.
(n+1) , 1 < < 0, e condicionalmente convergente (v. Exemplo A s erie (1)..... n! n +1 3.49). No Ex. 3.38 abaixo e mostrado que lim n(1 aa ) = + 1 < 1. n n+ + n=2 1 k log k +

(c) Pelo Exemplo 3.34,

diverge e o teste de Raabe nos leva a analisar o limite de,

k 1 Ainda por 3.34, k 1

+

k=2

1 k(log k)2

1 k ) log(1 + k k log k k = 1+ (k + 1) log (k + 1) k+1 log(k + 1)

< converge e o teste de Raabe nos conduz ao limite de,

(k+1)log 1 + k log log 2 (k+1)
1 k 2 2

k log2 k (k+1) log2 (k+1)

k k+1

k k+1

1+

1 k log(1+ k ) log k(k+1) log(k+1) log(k+1)

. = 2.

Assim, o limite obtido pelo teste de Raabe para ambas as s eries e1 Exemplo 3.38 Se R N,
+ (1)(2)...(n+1) n!

claro que lim k = 1, lim log(1+ k ) = 0 e, pela regra de LHospital, lim E k+1 log(k+1)

log x(x+1) x+ log(x+1)

n=1

converge se > 0 e diverge se < 0.

Verica c ao: Seja an o termo geral da s erie dada. Temos, para n +, n 1 an+1 n =n 1 an n+1 =n 1 n n+1 +1 .

A arma c ao segue ent ao imediatamente do Crit erio 3.37, de Raabe

48

3. 5 - S erie Binomial10 Generalizemos a f ormula binomial para expoente m N, x R, (1 + x)m =

m n=0 m n

trocando no u ltimo somat orio ` a direita a vari avel inteira e positiva m por R N. Lema 3.39 Se R N a s erie innita Prova: Os coecientes desta s erie s ao n ao nulos e a arma c ao segue do Teste da Raz ao pois, lim ( 1)...( n)xn+1 n! ( n)x = lim = x n n + (n + 1)! ( 1)...( n + 1)x n+1 f (x) = (1 + x)
+ n=0 (1)...(n+1) n x n!

m m n m m! m(m 1)...(m n + 1) n x = xn = x , n n! n=0 n!(m n)! n=0

m! n!(nm)!

m 0

= 1,

converge se x < 1.

n+

Resta mostrar que esta s erie converge a f (x) = (1 + x) , o que n ao e obvio. Temos f (x) = ( 1)(1 + x)2 f (x) = (1 + x)
1

etc.,

f (0) = ( 1)

f (0) =

f (0) = 1 ,

e com a nota c ao

(1)...(n+1) , n!

Prova:

Teorema 3.40 (Binomial) Se R N ent ao (1 + x) =

f (n) (0) ( 1)( 2)...( n + 1) = = . n! n! n

+ n=0 n

R N, os coecientes da s erie de Maclaurin de f s ao,

xn se x < 1.

Pela f ormula de Taylor em torno de x = 0 com resto integral, dado N N temos, (1 + x) =

N + N n=0

f Mostremos que lim RN ;0 (x) = 0, se x < 1. E acil ver que

n x + RN ;0 (x) ; n

RN ;0 (x) =

x 0

f N +1 (t) (x t)N dt . N!

f N +1 (t) ( 1)...( N ) 1 = (1 + t)N 1 = (1 + t)N 1 , N! N! N RN ;0 (x) = 1 N

x 0

10

Sua descoberta e atribu da a Newton (em uma carta de 1664 ou 1665) que nunca a publicou ou provou e,

(1 + t)N 1 (x t)N dt .

ainda, outros j a a haviam estudado. O destaque de Newton deve-se a ele ter mostrado que as s eries innitas n ao deviam ser vistas como aproxima co es mas como outras formas das fun co es que representam e estabelecido regras operat orias para s eries reais da forma an xn tais como divis ao e multiplica ca o. Abel mostrou a s erie binomial complexa para (1 + z ) , com z C, z < 1, e C N, sujeita a uma deni ca o apropriada de (1 + z ) .

49

0 < (x t) x e, para N > 1 [isto e, N 1 < 0]: 0 (1 + t)N 1 (x t)N xN e Para x < 0 escrevemos o integrando na forma
t x

Analisemos o integrando na f ormula para o resto. No caso x > 0 temos 0 t x < 1, 1 + t 1, RN ;0 (x) 1 N
x

xN dt =
(xt)N (1+t)N

1 N +1 x . N

0 e ainda, 0 < 1 + x 1 + t 1; donde obtemos (1 + t)1 C , C = max 1 , (1 + x)1 , e C x N e, analogamente ao caso anterior, RN ;0 (x) C
N + 1 N N +

(1 + t)1 . Como 1 < x t 0, temos

t x t x

Logo,

(xt)N (1 + t)1 (1+t)N + 1 n Como n x < n=0

1 xt = x x+t 1+

t x t x

= x

1 1+

x .

1 N

x N +1 .

, x < 1, obtemos lim

Tal s erie inclui v arias fun c oes, vide exemplo abaixo, e eu til para obter desenvolvimentos em s eries para outras fun c oes (exemplicaremos no cap tulo 4). Quanto ` a converg encia nos extremos x = 1, vide Exemplos 3.38 e 3.49 e Lista 4, Exerc cio 8. Exemplo 3.41 Temos, 1 1 x2 = (1 x2 ) 2 =
1

xN = 0 e lim RN ;0 (x) = 0 se x < 1

+ n=0

Verica c ao:

(1)n

1 + 2 1.3....(2n + 1) 2n x2n = 1 + x , se x < 1. n n=0 2.4.....(2n)

Mera consequ encia do Teorema Binomial pois, (1)n .

1 2 n

= (1)n

1 1 ( 2 )( 1 2 1)....( 2 n +1) n! (1 2)(3 2)...(1 2 +n 1) (2n+1) 2 = 1 2.3 2.... n! n! 1.3.....(2n+1) 3.....(2n+1) = 1.2 , se n 0 2n n! .4....(2n)

3. 6 - Crit erios para Converg encia N ao Necessariamente Absoluta Proposi c ao 3.42 (S erie Telesc opica) Dada (bn )n0 C, a s erie an , com an = bn bn+1 ,
+ n=0 + n=0 +

converge se, e somente se, a sequ encia (bn ) converge e, neste caso, an =
+ n=0

Prova: Trivial pois, an converge se, e s o se, sn = (b0 b1 ) + .... + (bn bn+1 ) = b0 bn+1 , n 0, converge e, sendo este o caso, o limite da s erie e lim sn = b0 lim bn Exemplo 3.43 A s erie
+ n=1 1 n(n+1)

(bn bn+1 ) = b0 lim bn .

e telesc opica e
N 1 n

n=1

1 n(n+1) 1 n+1

= 1.
1 , N +1

Verica c ao: A N - esima soma parcial, sN =

n=1

=1

converge a 1

50

Crit erio 3.44 (Dirichlet11 ) Em C, seja an com sequ encia das somas parciais limitada (convergente ou n ao) e (bn ) uma sequ encia decrescente, lim bn = 0. Ent ao, an bn converge.
+

Prova

e, de forma geral (verique, a indu c ao e simples),

n

a1 b1 + a2 b2 + a3 b3 = s1 (b1 b2 ) + s2 b2 + a3 b3 = s1 (b1 b2 ) + s2 (b2 b3 ) + s3 b3 , a1 b1 + a2 b2 + ...... + an bn =

+ i=2

Seja (sn ) a sequ encia das somas parciais de an . Temos, a1 b1 + a2 b2 = a1 (b1 b2 ) + (a1 + a2 )b2 = s1 (b1 b2 ) + s2 b2 ,
+

Para M R, sn M , temos si1 (bi1 bi ) M (bi1 bi ) = M b1 . Logo, si1 (bi1 bi )

+ + n=2 n=2

si1 (bi1 bi ) + sn bn .
+

n=2

converge absolutamente, e convergente e, como lim sn bn = 0, a s erie an bn e convergente No exerc cio ... exibimos uma s erie apropriada a aplicarmos o Crit erio de Dirichlet.

Crit erio 3.45 (Abel12 ) Se an e convergente e (bn ) e uma sequ encia decrescente de n umeros
+

positivos (n ao necessariamente tendendo a zero) ent ao, a s erie an bn e convergente. Prova

+

e, devido ` a hip otese, can = c an tamb em e assim an bn

Para c = lim bn , (bn c) 0. Logo, pelo Crit erio de Dirichlet an (bn c) e convergente
+ + +

3. 7 - Crit erio para Converg encia de uma S erie Alternada Crit erio 3.46 (Leibnitz, 1682) Se (an ) e decrescente e lim an = 0, ent ao (1)n an converge e
+ +

(1)n an sm am+1 , sm = a1 + ... + am , m N .

a1
s5

a3
s1 s3

a5

s4 s2 +a4 +a2

s0 = a0

Figura 3.5: Crit erio de Leibnitz.

11 12

O alem ao P. G. L. Dirichlet (1805-1859) e o precursor do conceito moderno de fun ca o como correspond encia. O jovem noruegu es N. H. Abel (1802-1829), aos dezenove anos, provou a impossibilidade da resolu ca o por

radicais das equa co es alg ebricas de grau maior ou igual a cinco. O italiano P. Runi (1765-1822) dera uma prova de tal resultado, menos satisfat oria e que passara despercebida, em 1799.

51

analogamente, s2n+1 = s2n1 + (a2n a2n+1 ) s2n1 , pois a2n a2n+1 0. temos, si si si 1 sp . Isto e, s1 si sp s0 , i impar , p par.

Prova: Se (sn ) e a sequ encia das somas parciais, (s2n ) e decrescente e (s2n+1 ) e crescente. De fato, s2n = s2n2 a2n1 + a2n = s2n2 (a2n1 a2n ) s2n2 , j a que a2n1 a2n 0 e,

Ainda, como s2n s2n+1 = a2n+1 0, dados i mpar e p par, para i mpar e maior que i e p

lim s2n+1 e = lim s2n temos, = lim[ s2n s2n+1 ] = lim a2n+1 = 0 e assim, lim sn = .
+

Logo, (s2n+1 ) e (s2n ) s ao mon otonas limitadas e, pelo Axioma 2.3, convergentes. Se = Exemplo 3.47 A s erie (1)n sin n1 , > 0, converge absolutamente se > 1 e condicionaln=1 mente se 0 < 1. lim Verica c ao: Claramente sin n1 > 0, se > 0,
sin 1 erie dada converge absolutamente se e s o se > 1. sin n1 < n < . Logo (v. 3.12) a s Ainda, como sin 0 = cos 0 = 1 > 0, sin e crescente num intervalo centrado em 0 e n+
1 n 1 n

Por u ltimo, seja m par ou mpar, est a entre sm e sm+1 e sm sm sm+1 = am+1

= 1 e pelo Crit erio do Limite (3.21),

erio de Leibnitz a s erie dada converge se 0 < 1 (sin n1 ) 0, se > 0. Pelo Crit Exemplo 3.48 A s erie (1)n an , an =
1 n

Mostremos que a hip otese (an ) decrescente e essencial no enunciado do Crit erio de Leibnitz. se n e mpar e an =
1 n!

1 se n e mpar e cn = 0 sen ao, e tamb em uma s erie convergente; (1)n an bn = cn , cn = n 1 1 o que e uma contradi c ao pois 1 + 3 + 5 + ... diverge (vide resolu c ao do Exemplo 3.15)

o Verica c ao: E bvio que lim an = 0. J a vimos no Teorema 2.57 que a s erie bn , bn = 0 1 n se n e mpar e bn = n! sen ao, e convergente e portanto, se (1) an for convergente ent ao

sen ao, diverge e lim an = 0.

Exemplo 3.49 A s erie abaixo e condicionalmente convergente: ( 1)( 2)( n + 1) , 1 < < 0 . n! n=1
+

Verica c ao: Seja an = Por em, sendo

n+ an+1 an

existe lim an = L. Mostremos que L = 0.

(1)(2)...(n+1) . n! n < 1, pois < 1, n+1

Fixando n N e escrevendo = 1 + , de 1 < < 0 temos 0 < < 1 e, para p N arbitr ario, an+1 n n + 1 (1 + ) = = = 1 , an n+1 n+1 n+1

Pelo Exemplo 3.38 temos an = +. temos que a sequ encia ( an ) e decrescente e

()

an+p an+p an+p1 an+1 = .... = 1 an an+p1 an+p2 an n+p an+p 1 an n+p
p

n+p

p+n

n+p

.... 1 , n+p1 n+1 .

52

de Leibnitz, (1)n an = an e convergente

+ +

a x Como lim (1 x ) = ea , tomando em (*) o limite para p + obtemos x+

L an

Desta forma temos, 0 e L lim an = L, o que implica L = 0 pois e > 1. Logo, pelo crit erio 3. 8 - Aproxima c ao e Representa c ao Decimal13 de um N umero Real

e , n N.

Um n umero real x da forma x = a0 + a1 a2 an + 2 + ... + n , 1 10 10 10

com a0 um natural arbitr ario e a1 , a2 , ..., an naturais tais que 0 ai 9, e usualmente indicado os racionais tem representa c ao decimal nita. Por exemplo, se
n 1 3

em sua representa c ao decimal nita x = a0 , a1 a2 ... an e e claro que x Q. Por em, nem todos =
a , 10n

3a = 10 o que e imposss vel pois 3 n ao divide 10.

com a, n N ent ao

Lema 3.50 Dado x R, e bem denido [x] = max{n Z n x} Z e, ainda, [x] x < [x] + 1. Prova: Mostremos que S = {n Z n x}, obviamente limitado superiormente, e n ao vazio. Se x 0 ent ao 0 S . Se x 0 ent ao x 0 e, pelo Lema 2.5, existe p N tal que p x e n + 1 > sup S , n + 1 S e x < n + 1. Logo, S = {... , n 2 , n 1 , n} e n = max S = sup S = [x] portanto p x; donde, p S . Seja [x] = sup S .

Pela Propriedade 2.4 existe n S tal que [x] 1 < n [x]. Portanto, n [x] < n + 1 e ent ao O n umero [x] e o maior inteiro menor ou igual a x e [ . ] R Z e a fun c ao maior inteiro. rn x < rn + 1 . 10n

Teorema 3.51 Seja x 0. Para todo n N existe um decimal nito rn = a0 , a1 ... an tal que Prova: Pelo Lema 3.50 e obvio que a0 = [x] e um inteiro positivo e, Consideremos a1 = [10(x a0 )]. Como 0 10(x a0 ) < 10, segue que 0 a1 9, Analogamente, se a2 = [102 (x a0 a2 102 (x a0 a1 10(x a0 ) < a1 + 1 e a0 +
a1 )] 10

a0 x < a0 + 1 .

a1 a1 1 x < a0 + + . 10 10 10

obtemos 0 a2 9,

Procedendo por indu c ao, obtemos o resultado desejado

13

a1 a1 a2 a1 a2 1 ) < a2 + 1 e a0 + + x < a0 + + + . 10 10 102 10 102 102

Em 1790, na Fran ca, com a nova ordem , foi criada uma comiss ao para a reforma dos pesos e medidas e em

1799 o sistema m etrico como hoje o conhecemos e o sistema decimal foram adotados. Haviam proponentes do sistema duodecimal, A. M. Legendre (1752-1833) n ao foi apontado por n ao ser claramente pr o-revolucion ario (mediu o comprimento de um meridiano facilitando a ado ca o do metro e talvez para provocar os duodecimalistas tenha aventado o sistema de base onze) e Lagrange, a princ pio , tamb em n ao, por ser estrangeiro.

53

Corol ario 3.52 Com a nota ca o acima, a sequ encia crescente (rn ) converge a x. o Prova: E bvio que (rn ) e crescente e, ainda, 0 x rn < uma representa c ao decimal innita de x.
1 , 10n

n N

Deni c ao 3.53 Se x 0 e a0 , a1 , ... , an , ... s ao dados pelo Teorema 3.51, x = a0 , a1 a2 a3 .... e A representa c ao decimal innita de x > 0 n ao e necessariamente u nica. Uma outra surge ao escolhermos a0 o maior inteiro estritamente menor que x e trocarmos a desigualdade imposta no enunciado do Teorema 3.51 pela condi c ao rn < x rn +
9 10 1 . 10n

Assim procedendo obtemos

9 10n+1

com os 9 s ocorrendo a partir da (n + 1)- esima casa decimal. e

1 8

1=

9 102

+ ... +

9 10n

+ ... = 0, 999999... ,

1 10n

10n+1

9 10n+1

+ ... +
1 8

+ ... = 0, 0....0999...,

, por exemplo, temos as representa c oes: Desta forma, para 1 8 =

1 10

2 102

4 103

9 104

9 105

+ .... = 0, 124999....
m 10n

1 10

2 5 + 10 2 + 103 = 0, 125000...

Proposi c ao 3.54 Os n umeros x =

(a) a0 , a1 . ... . ap1 . ap .9.9.9...., ap 9, e a0 , a1 . ...ap1 .(ap + 1).0.0.0. ..., caso x N. (b) a0 , 999... e (a0 + 1), 000..., caso x N.

> 0, m, n N, tem apenas duas representa co es decimais:

Os demais n umeros em [0, +) tem representa ca o u nica. x = a0 +

Prova: Suponhamos duas representa c oes distintas de x 0, Seja p = min {i N ai bi }. Caso p 1, temos ai = bi se 0 i p 1 e portanto, Admitamos, sem perda de generalidade, bp = ap + k , k 1. Ent ao, bp+1 ap+1 an k bn + ... + n + ... = + + ... + n + ... . 10p+1 10 10p 10p+1 10 Na equa c ao acima, o m aximo no lado esquerdo ocorre se e s o se ai = 9, i p + 1 e e Assim, como vale a igualdade, temos bp = ap + 1 e, para todo i p + 1, ai = 9 e bi = 0 e a0 +
1 10p

a1 an b1 bn + ... + n + ... = b0 + + ... + n + ... , 0 ai , bi 9 , i N . 10 10 10 10

ap ap+1 bp bp+1 an bn + p+1 + ... + n + ... = + p+1 + ... + n + ... , ap bp . p p 10 10 10 10 10 10

eo
1 . 10p

m nimo no lado direito ocorre se e s o k = 1 (estamos supondo k 1) e bi = 0, i p + 1 e e ap1 ap bp1 ap + 1 a1 9 9 b1 + ... + p1 + p + p+1 + ... n + ... = b0 + + ... p1 + . 10 10 10 10 10 10 10 10p

O caso p = 0 e an alogo

54

Ap endice 1 - F ormulas de Taylor com Resto Integral e de Lagrange. Integrando [0, 1] R, com (n+1) integr avel, sucessivamente por partes obtemos, (1) (0) = 0 (t)dt 1 = 0 1. (t)dt
1 1 1

= (1) 0 t (t)dt
1 1

= (0) + (1) (0) 0 t (t)dt

1

= t (t) 0 0 t (t)dt
1

(substituamos u = 1 e v = )

= (0) + 0 (t)dt 0 t (t)dt

1

= (0) + 0 (1 t) (t)dt = (0) = . . = =

2

1 (1t) t)2 (t) + 0 (1 (t)dt 2 2 02 1 ( 0 ) ( 1 t ) (1t)2 (0) + 2 + 0 2 (t)dt (pomos u = 2 e v = 1 (2) 1 t)3 (3) t)3 (4) (t) + 0 (1 (t)dt = (1) (0) + 2(0) (1 6 6 0 (2) (3) 3 1 t) (1) (0) + 2!(0) + 3!(0) + 0 (1 (4) (t)dt = 3! 1 (2) (0) 2!

(pomos u = 1 t e v = )

(n+1)

Teorema (F ormula de Taylor com resto integral) Suponhamos f (a, b) R tal que e integr avel. Dados x0 , x (a, b) existe entre x0 e x, com x0 e x, tal que f (2) (x0 ) f (n) (x0 ) (xx0 )2 +....+ (xx0 )n + 2! n!
x x0

= (1) (0) +

(3) (0) 3!

+ ... +

(n) (0) n!

+ 0

1 (n+1) (t) (1 t)n dt n!

f (x) = f (x0 )+f (1)(x0 )(xx0 )+

Prova: Seja (t) = f x0 + t(x x0 ) , t [0, 1]. Ent ao, (t) = f x0 + t(x x0 ) (x x0 ) (1) = f (x) (0) = f (x0 )

f (n+1) (t) (xt)n dt . n!

. .

(t) = f x0 + t(x x0 ) (x x0 )2

1 0

com a mudan ca linear de vari avel y = x0 + t(x x0 ), dy = (x x0 )dt e t = =

x x0 x x0

(n+1) (t) (1 t)n dt = n!

(k) (0) = f (k) (x0 )(x x0 )k ,

1 0

(k) (t) = f (k) x0 + t(x x0 ) (x x0 )k , 1 k n + 1 , f (n+1) x0 + t(x x0 ) (x x0 )n+1 n! 1k n+1 , (1 t)n dt =

y x0 xx0

y x0 f (n+1) (y )(x x0 )n+1 1 n! x x0 f (n+1) (y ) (x y )n dy n!

dy x x0

55

ponto x0 , e Rn;x0 (x) = f (x) Pn;x0 (x) de resto.

i=0 x
(n+1)

Chamamos Pn;x0 (x) =

n

A express ao Rn;x0 = x0 f n! (t) (x t)n dt e a forma integral do resto. O resultado abaixo generaliza o Teorema do Valor M edio (TVM). Seja I = (a, b) R.

f (i) (x0 ) (x x0 )i i!

de polin omio de Taylor de ordem n de f , no

(n+1)

Teorema (F ormula de Taylor com resto de Lagrange) Seja f I R tal que existe , N n xo. Dados x0 , x I , com x x0 , existe entre x0 e x, x0 e x, tal que f (n) (x0 ) f (n+1) ( ) (x x0 )n + (x x0 )n+1 , = (x) . n! (n + 1)!
f (x)f (x0) xx0

f (x) = f (x0 ) + f (x0 )(x x0 ) + ... +

Prova: Pelo TVM existe 1 entre x e x0 , 1 x0 , 1 x, com f (x) = f (x0 ) + f (1 )(x x0 ) .

= f (1 ) e,

Seja R determinado pela equa c ao f (x) f (x0 ) f (x0 )(x x0 ) = (x x0 )2 . Ent ao, Logo, existe 2 entre x0 e x, 2 x0 e 2 x, tal que 0 = (2 ). Por em, e avaliando tal identidade em 2 obtemos 2 f (2 ) = 0 e = De forma an aloga, determinando pela equa c ao f (x) f (x0 ) f (x0 )(x x0 ) ... f (x) = f (x0 ) + f (x0 ) +
f (2 ) 2!

(t) = f (x) f (t) f (t)(x t) (x t)2 satisfaz (x0 ) = 0 = (x) . (t) = f (t) f (t)(x t) + f (t) + 2 (x t) = 2 f (t) (x t), e f (2 ) (x x0 )2 . 2!

denimos a fun c ao deriv avel ,

f (n) (x0 ) (x x0 )n = (x x0 )n+1 , n!

cuja derivada e a soma abaixo, em que cada segundo termo entre colchetes cancela com o primeiro termo entre os dois colchetes imediatamente anteriores, (t) = f (t) + +.... + = f
(n+1)

(t) = f (x) f (t) f (t)(x t)

f (t) f n (t) (x t)2 ... (x t)n (x t)n+1 ; (x0 ) = 0 = (x), 2! n!

f (3) (t) (x t)2 2! n1

(n+1)

n!

(t)

Uma vez mais, existe entre x0 e x, x0 e x, tal que ( ) = 0 e portanto, (n + 1)(x )n =

f (n+1) ( ) (n+1)!

(x t)n + (n + 1)(x t) .

n!

f (t)(x t) + f (t) +
(t)

(x t)n +

f (t) (x t) (n1)! n
(n)

+ (n + 1)(x t)n = f (n+1) ( ) (n + 1)!

+ f (t)(x t) ......+

A express ao Rn;x0 =

e a forma de Lagrange do resto. 56

f (n+1) ( ) (x )n n!

Ap endice 2 - Segunda Prova da Compara c ao entre os Testes da Raz ao e da Ra z Abaixo, uma forma mais fraca do Teorema 3.28 evitando o uso de lim sup ou de lim inf. Proposi c ao Se lim
n+ an+1 an

Prova: Se L < e > 0, seja 0 < < e n0 tal que, se n n0 , L < (L )nn0 an0 an =

= L [0, +] ent ao lim

n+

an = L .

an+1 an

< L + . Logo,

e, ainda para n > n0 ,

Sendo L < L < L + temos (omitimos o caso L = 0, que e similar) (L )n an n 0 L an0 (L + )n , Ln0

(L )n an (L )n0 an0

an an1 an +1 ..... 0 an0 (L + )nn0 an0 an1 an2 an0 (L + )n . (L + )n0

e, denindo =

an0 Ln0

, n (L )
n

Como

conclu mos este caso observando, (L ) <

L L

<1<

L+ L+

e lim

n = 1, xamos N > n0 tal que, se n > N ,

n

an

(L + ) , n > n0 .

L L

<

<

L+ L+

) O caso L = + e redut vel ao caso L = 0 aplicando este ` a sequ encia ( a1 n

n (L )

an

(L + ) < (L + ), n > N .

57

Cap tulo 4

SERIES ABSOLUTAMENTE CONVERGENTES E SOMAS

4.1 - Introdu c ao O conceito de converg encia de uma s erie j a havia sido utilizado algumas vezes por Euler (no s eculo XVI tamb em foi utilizado, entre outros, o de que o termo geral tende a zero) e muitos matem aticos haviam operado livremente com s eries divergentes e Euler tentara formalizar o estudo destas s eries . Com Cauchy e sua insist encia em que as s eries divergentes n ao possuem soma, e o sucesso de Cours dAnalyse (1821), a deni c ao atual se estabeleceu. Em 1833, Cauchy notou que uma s erie de termos reais n ao todos positivos poderia ter uma sub-s erie divergente e Dirichlet (1837) apresentou os rearranjos da s erie harm onica alternada: log 2 = 1 1 +1 1 + ... e 2 3 4
3 2

s eries absolutamente convergentes de n umeros reais (ie., a converg encia e comutativa).

log 2 = 1 + 1 1 +1 +1 1 + ... e provou o teorema do rearranjo para 3 2 5 7 4

Em 1854, Riemann escreveu (em seu Habilitationsschrift) que j a em 1829, Dirichlet sabia que as s eries innitas caem em duas classes essencialmente diferentes, conforme permanecem convergentes ou n ao ap os seus termos terem sido feitos positivos. Em s eries do primeiro tipo os termos podem ser arbitrariamente permutados; em constraste, o valor de uma s erie do segundo tipo depende da ordem de seus termos e prova seu teorema do rearranjo: Uma s erie convergente (de termos reais) que n ao e absolutamente convergente pode convergir a um arbitr ario dado valor real C ap os uma apropriada reordena c ao de seus termos. Com o conceito de somabilidade, para efetuarmos a soma de uma fam lia (aj )j J K, de

n umeros reais ou complexos, diferentemente do conceito de s eries desconsideramos a ordem dos

elementos e veremos que para sequ encias, somabilidade e converg encia absoluta s ao conceitos equivalentes. A somabilidade proporciona um melhor entendimento da converg encia absoluta, permitindo (e isto e importante) generalizar a propriedade associativa para s eries e simplicando a aplica c ao dos teoremas de converg encia para s eries duplas e produto de s eries absolutamente convergentes. Al em disso, tal conceito e importante em an alise mais avan cada.

58

4.2 - Somas de Sequ encias, Converg encia Absoluta e Comutatividade Deni c ao 4.1 A s erie xn e comutativamente convergente se todo rearranjo (reordena c ao) seu, x(n) , N N bijetora, converge (a um mesmo n umero).
n=1 + n=1 +

Exemplo 4.2 (Dirichlet, 1837) A s erie

n=1

(1)n+1 n +

n ao e comutativamente convergente. = log 2 = s. Ent ao,

Verica c ao: J a vimos, no Exemplo 3.14, que s=1

n=1

(1)n+1 n

1 1 1 1 1 1 1 + + + ........... , 2 3 4 5 6 7 8

e reescrevendo esta u ltima como ( e f acil ver que podemos),

s + (1)n 1 1 1 1 1 = = + + + ............, 2 n=1 2n 2 4 6 8 10

1 1 1 1 1 s =0+ +0 +0+ +0 +0+ + ..... , 2 2 4 6 8 10 s obtemos, e somando as s eries para s e 2 3s 1 1 1 1 1 1 1 1 =1+ + + + + + ..... , 2 3 2 5 7 4 9 11 6 um rearranjo da s erie inicial com valor diferente. Observemos que escrevendo s =
s 2 + s 2 + n=1 (1)n+1 n +

na forma

s 2

1 , se n e mpar e, para n par, cn = 0, se cn = n

) = bn , bn = 0, se n e mpar e, bn = (1 , se n e par, temos que s + n n=1 n 2 1 e mpar e cn = n se

2

n 2

n 2

e par. A s erie encontrada

= cn ,
n=1

para

3s , 2

com valores nulos ausentes, corresponde a cn , que os apresenta

n=1

Um exemplo como acima, em R, s o poderia ocorrrer com uma s erie alternada pois, felizmente e como n ao poderia deixar de ser e mostramos abaixo, todos os rearranjos de uma s erie de termos Se este e + diremos brevemente que a s erie diverge comutativamente +.
+ n=1

positivos tem um mesmo limite (isto e, o limite da sequ encia das somas parciais) em [0, +]. Observa c ao 4.3 Para uma s erie pn , pn 0, convergente ou n ao, temos lim sn = pn .
n+ n=1 +

Abaixo mostramos uma forma de estimarmos o valor de uma s erie de termos positivos independentemente da ordem de seus termos, o que ser au til para denirmos somas de sequ encias. Teorema 4.4 (Converg encia e Comutatividade) Seja pn uma s erie em R+ . Temos,
n=1 + n=1 + +

Se < , pn e comutativamente convergente e, se = +, comutativa/e divergente a +.

n=1

pn = , com = sup {

nF

pn F N e F f inito } [0, +] .

Prova: Notemos que, valendo a igualdade enunciada, como o supremo independe do rearranjo da s erie, se < a converg encia e comutativa e, se = +, a diverg encia e comutativa. 59

arbitr ario. Pelas desigualdades,

Seja (sm ) a sequ encia (crescente) das somas parciais da s erie dada e F N, F nito e
mF

pm smax(F )

pn ,

n=1

sm =
+ n=1

k{1,...,m}

pk ,
+ n=1

e imediato que = sup{ pm F N e F nito} pn e lim sm = pn

mF m+

Coment ario: Como j a dito, a demonstra c ao acima sugere o conceito de sequ encia som avel.

A comutatividade para s eries de termos positivos e s o uma das arma c oes do Teorema 4.3 e mostramos abaixo uma outra importante prova, bem mais simples, desta arma c ao. Consideremos uma s erie real pn , de termos pn 0, n, e um seu rearranjo p(n) , onde NN e uma bije c ao arbitr aria. Da desigualdade
n i=1 + +

pi

n=1 +

p(n) , n N ,
+ + +

tomando o limite para n + obtemos, pn p(n) . Mutatis mutandis, p(n) pn . Deni c ao 4.5 Somabilidade. (a) A sequ encia (xn ) e som avel, com soma x K, se > 0, F N, F nito, tal que,
nF

xn x < , F F , F N e F f inito .

(b) Uma fam lia em K e uma fun ca o x I K , I um conjunto de ndices, que notamos Evidentemente, toda sequ encia e uma fam lia. Nestas notas I e sempre enumer avel. (xi )I , xi = x(i), i. Trocando N por I , em (a), temos a deni ca o de fam lia som avel.

Observa c ao 4.6 Se J I e uma bije ca o ent ao (xi )I e som avel se e s o se (xj )J e som avel. Nota c ao 4.7 Se a fam lia (xi )I e som avel, indicamos por xi , ou xi , a soma da fam lia. Se I = N, al em de xn e xn , tamb em escrevemos xn para a soma da sequ encia.
N nN + n=1 iI I

ordenadamente: desde o primeiro, 1 , e ad innitum. A nota c ao xn para somas j a indica

N

Frisarmos que a nota c ao para s eries, xn , indica que estamos somando os termos da s erie

que estamos usando N apenas como conjunto, sem relev ancia das propriedades de sua ordem. Proposi c ao 4.8 Se (zn ) C e som avel , zn converge comutativamente e zn = zn .
+ + n=1 n=1 N N +

Prova Dado > 0 seja F N como na deni c ao de somabilidade, z = zn e (sn ) a sequ encia das somas parciais da s erie zn . Escolhendo N N tal que F {1, 2, ..., N } temos, para sequ encia (zn ) independe, e obvio, da ordem adotada, segue a tese 60 m N , Fm = {1, ....., m} F e sm z = zn z < . Logo, zn = z e, como a soma da
+ Fm n=1 n=1

Corol ario 4.9 A s erie pn , em [0, +), converge [comutativa/e] se, e s o se, (pn ) e som avel.
+ n=1

Enfatizemos que segundo a Deni c ao 3.2, se x = xn ent ao x e a soma da s erie.

+

Ocorrendo um destes casos temos, pn = pn = pn .

n=1 N

Prova: () Segue trivialmente do Teorema 4.4 e da Deni c ao 4.5 acima. () Consequ encia imediata da Proposi c ao 4.8 Para uma s erie divergente, pn , pn 0, n, indicamos pn = +. Ent ao, pelo Teor. 4.4, Prop. 4.8 e Corol 4.9, para toda s erie de termo geral pn 0 (convergente ou divergente) vale: pn = sup
nF +

pn F N e F e nito

+ n=1

pn .

Assim, para s eries de termos positivos usaremos livremente a nota c ao pn pois n ao h a risco de dubiedade se a interpretarmos como uma s erie ou como uma soma. Proposi c ao 4.10 As sequ encias som aveis em K formam um K-espa co vetorial com as opera co es, (xn ) + (yn ) = (xn + yn ) e (xn ) = (xn ), C. Ainda mais, se xn = x e yn = y ent ao,
N N

(a) (xn + yn ) = xn + yn .
N N N

Prova: Suponhamos xn = x e yn = y , com x e y em K e seja > 0 arbitr ario. eF e nito; e, analogamente, yn y <
nF 2 nF

(b) xn = xn .
N N

(a) Por hip otese, F1 , F2 N, F1 e F2 nitos, tais que xn x < 2 , F N tal que F F1

Ent ao, escolhendo F3 = F1 F2 temos F3 N, F3 e nito e, para F N satisfazendo F F3 = F1 F2 e F nito temos que F F1 e F F2 e, pela desigualdade triangular,
nF

, F N tal que F F2 e F e nito.

(b) O caso = 0 e obvio. Se 0, Por hip otese, existe F1 N, F1 nito, tal que xn x < se F F1 e F e nito. Ent ao,
nF nF

(xn + yn ) (x + y )

nF

xn x +

nF

yn y <

+ = . 2 2

xn x =

nF

xn x <

A Proposi c ao 4.10 se estende trivialmente a fam lias som aveis indexadas em um conjunto xo f qualquer de ndices I (solicitamos, e estimulamos, ao leitor vericar). E acil ver que (zn ) C e som avel se e s o se Re(zn ) e Im(zn ) s ao som aveis e, neste caso, zn = Re(zn ) + i Im(zn ).
N N N

61

Deni c ao 4.11 Dada an em R, pn , a parte positiva de an , e dada por pn = an se an 0 e pn = 0 se an 0. A parte negativa de an , e qn = an se an 0 e, qn = 0 se an 0. Temos, an = pn qn , an = pn + qn , pn 0 , qn 0 , n N . Mantendo a nota c ao da Deni c ao 4.11 investigamos abaixo as converg encias absoluta, comutativa e condiconal de uma s erie de termo geral an R analisando as s eries determinadas pelas absolutamente convergentes e no item (d) nos baseamos na prova do Teorema de Riemann. Lema 4.12 Seja an uma s erie em R. Ent ao, (a) an = pn + qn , sejam tais s eries convergentes ou divergentes (a +).
n=1 n=1 n=1 + + + +

sequ encias (pn ) e (qn ). No item (b), provamos um importante teorema de Dirichlet sobre s eries

(b) 1 Se a s erie an converge absolutamente ent ao ela e comutativamente convergente (seus

n=1

rearranjos tem mesma soma), as s eries geradas pelas sequ encias pn e qn convergem e,
+ n=1 +

an =

+ n=1

pn

+ n=1

qn .
+ +

(c) A s erie an converge condicionalmente se, e s o se, pn = qn = +.

n=1 n=1 n=1

(d)

Se an converge condicionalmente, existe um rearranjo n ao convergente de an .

n=1

Prova: (a) Pelo Cor. 3.3 e Obs. 4.4, basta tomar o limite, para m +, de an = pn + qn .
n=1 n=1 n=1 m m m

(b) Como 0 pn , qn an , pn e qn s ao s eries em [0, +) e convergentes e, pelo Teor.

+ + + + +

4.3, comutativamente convergentes. Logo, e claro que a diferen ca pn qn = an e tamb em uma s erie comutativamente convergente [de fato, supondo que N N e bijetora temos, a(n) = p(n) q(n) = pn qn = an .]
+ + + + + + + + + + +

(c) Como an converge, de an = pn qn conclu mos que pn converge qn converge. Por em, de an = + vemos por (a) que ao menos uma, entre pn e qn , diverge. Logo, as duas u ltimas s eries citadas divergem.
+ + +

(d) Por (c) temos pn = qn = + e reordenamos a s erie da seguinte forma: na etapa 1, coletamos os primeiros termos, an 0, com soma > 1; na etapa 2, os primeiros termos

negativos cuja soma com os anteriores e < 0, na etapa 3, subtraidos de N os j a escolhidos, coletamos os pr oximos termos positivos cuja soma com os anteriores e > 1. Por indu ca o, (tnk ) com tnk > 1,k , e uma outra de termos negativos e portanto, (tn ) diverge o rearranjo obtido e tal que a sequ encia (tn ) de suas somas parciais, admite subsequ encia

1 2

Teorema de Dirichlet, 1837. A argumenta ca o na prova deste resultado e proveniente da famosa demonstra ca o do Teorema de Riemann.

62

Corol ario 4.13 Consideremos an em R. S ao equivalentes, (a) A s erie an e todos os seus rearranjos s ao convergentes. (b) A s erie an e absolutamente convergente. (c) A s erie an e comutativamente convergente (seus rearranjos tem uma mesma soma). Prova: (a) (b) Pelo Lema 4.12 (d), a s erie an , convergente por hip otese, n ao e condicionalmente convergente e portanto temos, an < .
+ + + + +

(b) (c) Esta e uma das arma c oes do Lema 4.12 (b). (c) (a) Obvio Neste segundo lema relacionamos converg encia absoluta e somabilidade para s eries em R. Lema 4.14 Seja an uma s erie em R. Ent ao, (a) A s erie an converge absolutamente se, e s o se, (pn ) e (qn ) s ao som aveis e,
+ n=1 +

(b) se an < ent ao (an ) e som avel e

+ n=1 + n=1

an =

pn

qn =

an .
N

Prova: (a) Pelo Lema 4.12 (a), an converge absolutamente se, e s o se, as s eries pn e qn s ao (b) Pelo Lema 4.12(b) as s eries de termo geral pn e qn s ao convergentes e an = pn qn . Pelo item (a) e pela Proposi c ao 4.10 temos, (an ) = (pn ) (qn ) e som avel e an = pn
+ + + + +

convergentes, o que ocorre, pelo Corol ario 4.9, se e s o se (pn ) e (qn ) s ao som aveis.
n=1 + +

Dada (zn ) C e obvio que zn e comutativa/e convergente se e s o se Re(zn ) e Im(zn ) tamb em o s ao e, e f acil ver que (zn ) e som avel se e s o se (Re(zn )) e (Im(zn )) s ao som aveis.
+ + +

ario 4.9 temos pn = pn e qn = qn . A conclus ao e obvia qn . Ainda, pelo Corol

Prova: Pelo Lema 4.14 (b), resta apenas mostrar o caso complexo.
+ n=1

Teorema 4.15 Em K, se an < , ou an < , ent ao (an ) e som avel . Isto e, an < .
+ n=1 N + + n=1 n=1

convergem absolutamente. Logo, pelo Lema 4.14 (b), (Rezn ) e (Imzn ) s ao som aveis e consequentemente, pela Proposi c ao 4.10, (zn ) = (Rezn ) + i(Imzn ) tamb em 63

Se zn < , como Re(zn ) zn e Im(zn ) zn , segue que Re(zn ) e Im(zn )

Teorema 4.16 Dada a sequ encia (zn ) em K, s ao equivalentes : (a) A sequ encia (zn ) e som avel e zn = zn .
+ N n=1 n=1

(c) A s erie zn e comutativamente convergente.

n=1

(b) A s erie zn e absolutamente convergente (ou zn < ). Prova: No Teorema 4.15 mostramos (b) (a). Na Proposi c ao 4.8 provamos (a) (c).
+ +

(c) (b): Se zn e comutativamente convergente ent ao Re(zn ) e Im(zn ) s ao comutativamente convergentes e, pelo Lema 4.12 (d), absolutamente convergentes 4.3 - Associatividade para S eries e para Somas de uma Sequ encia
+

de parenteses, ainda que innitos, gera uma s erie bn cuja sequ encia das somas parciais (tn ) e, evidentemente, subsequ encia de (sn ). Assim, a inser c ao de parenteses n ao altera a soma
+

Dada uma s erie an = a1 + a2 + a3 + .... com sequ encia das somas parciais (sn ) a inser ca o

de uma s erie convergente; mas, se esta e divergente, pode at e mesmo resultar em uma s erie convergente, como e o caso com a s erie 1 1 + 1 1 + 1 1 + 1.... que ap os inserirmos determinados reetir a na dissociatividade de uma s erie, a ser estudada no ap endice 2. parenteses torna-se a s erie (1 1) + (1 1) + (1 1) + ...., fato que, como e f acil perceber, se Para uma sequ encia (xn ), real e som avel, provamos que xn < e desta forma, escrevendo
+ + +

com an . Por exemplo, para s eries n ao e em geral correto escrevermos an = a2n + a2n+1 ; j a para somas efetivamente temos an = an + an . O caso (zn ) complexo e facilmente
N 2N 2N+1

xn = pn qn , pn e qn as partes positivas e negativas de xn , veremos que podemos associar as somas pn e qn , de termos todos positivos, de forma totalmente arbitr aria e assim tamb em

redut vel ao caso real. Portanto, tendo em vista que j a provamos que as s eries absolutamente convergentes s ao comutativamente convergentes, ganhamos uma enorme liberdade para lidarmos com tais s eries ao aplicarmos a elas o conceito de associatividade para fam lias som aveis, ao inv es da um tanto restrita associatividade para s eries. As s eries absolutamente convergentes j a foram interpretadas pelo matem atico uruguaio J. L. Massera (1915-2002) como s eries de borracha e, inspirados em tal coment ario, modestamente adicionariamos acrob aticas. Deni c ao 4.17 Seja N N estritamente crescente e, an e bn relacionadas por: b1 = a1 + a2 + ..... + a (1) , ...., bn+1 = a (n)+1 + a (n)+2 + ... + a (n+1) , n = 1, 2, .... . A s erie bn e obtida de an por associa c ao e a s erie an de bn por dissocia c ao. Proposi c ao 4.18 (Lei Associativa Para S eries)Se bn e associa ca o de an = a C ent ao, bn = a.
+ + + + + + + + +

Prova: Mantendo a nota c ao sn = a1 + .... + an e tn = b1 + ..... + bn = s(n) temos, lim tn = lim s(n) = lim sn 64

Corol ario 4.19 Seja an uma s erie em K e absolutamente convergente. Seja N = Fi , Fi nito, i N, e Fi Fj = , se i j , uma parti ca o de N por conjuntos nitos. Temos,
+ n=1

an =

+ i=1

ui

se

ui =

nFi

an , i I .

Prova:

Segue da comutatividade de an , Teorema 4.16(c), listando, sucessivamente, na etapa i = 1, 2, ... os termos an com n Fi e ent ao agrupando-os pela associatividade acima provada Por exemplo, listando os primos: I = {2, 3, 5, 7, .....}, em ordem crescente, e denindo F2 : os A associatividade para somas se d a mesmo dividindo N em innitos subconjuntos innitos.

naturais m ultiplos de 2; F3 : os m ultiplos de 3 mas n ao de 2; F5 : os m ultipos de 5 mas n ao de 2 ou 3, ..... temos, N = I Fp e Fp Fq = se p q . Lema 4.20 (Lei Associativa Para Somas de Termos Positivos) Seja pn , pn 0,
N

som avel. Suponhamos N = J i 3 , uma parti ca o de N, I N um conjunto de ndices e J i , i. Ent ao, a fam lia (pn )n J i e som avel , i I , e ainda, ( pn )I e tamb em som avel e
I nJ i

pn =

pn .

i I n J i

Prova: Fixado i I temos sup{

nF J i

Para cada n N existe um u nico i I com n J i e indicamos pn = pi n.

Ji1 Jik i I J i

nF

ik i 1 c ao de supremo, pn pi n + .... + pn pn e portanto, pela deni

Dado F N, F nito, existem {i1 , ..., ik } tais que F {Ji1 , ..., Jik }. Consequentemente, pn = sup { pn F f inito } pi n .
i I n J i

pn F J i , F nito} pn . Logo, (pn )n J i e som avel.

nF

Por outro lado, dados {i1 , ...., ik } em I e Fir Jir , Fir nito, 1 r k , e claro que
nFi1
1 pi n + ..... +

nFik

k pi n

pn .

Fixando Fi2 , ..., Fik e tomando o supremo sobre a fam lia dos conjuntos nitos Fi1 em Ji1 temos
Ji1 i2 i3 ik 1 sobre a fam lia de conjuntos nitos Fi2 Ji2 temos pi n + pn + pn + ..... + pn pn Ji1 Ji2 Fi3 Fik ik i2 1 pi n + pn + ..... + pn pn . Nesta desigualdade, xos Fi3 , ....Fik , tomando o supremo Fi2 Fik

e, por indu c ao, Finalmente, como {i1 , i2 , ....ik } e qualquer subconjunto nito de I ,
i I nJ i
3

Ji1

1 pi n +

Ji2

2 pi n + ..... +

Jik

k pi n

pn .
N

pi n

pn

O s mbolo indica uma reuni ao de conjuntos dois a dois disjuntos. Neste caso, Ji Ji = se i i .

65

Teorema 4.21 (Lei Associativa Para Somas) Seja an em K e som avel. Isto e, an absolutamente convergente. Se N = J i 4 , I N um conjunto de ndices, ent ao
I + n=0 N

an =
N

an =

an .
I nJ i

Prova Em R segue da decomposi c ao an = pn qn , e do Lema 4.20. Em C, segue da decomposi c ao an = Re(an ) + i Im(an ) e do caso anterior
N N N

Proposi c ao 4.22 Se (an ) e som avel e (In ) e uma sequ encia crescente de subconjuntos de N tal que In = N (sequ encia exaustiva para N) ent ao, (ak )kIn e som avel e lim Prova Segue da deni c ao de somabilidade (verique)
n+ kIn

ak = an .
N

4.4 - Somas de uma Sequ encia Dupla e o Produto de S eries Observa c ao 4.23 Os resultados sobre sequ encias (som aveis) 4.15, 4.16, 4.20, 4.21 e 4.22, dependentes apenas da enumerabilidade de N e n ao de sua ordem, estendem-se naturalmente a fam lias enumer aveis. Em particular, a fam lias indexadas em subconjuntos de N ou N N. Seguem vers oes an alogas ao Teorema 4.21 e Proposi c ao. 4.22 para uma fam lia (x(n,m) ) NN ,
NN n,m

tamb em denominada sequ encia dupla. Indicamos xnm = x(n,m) e xnm = xnm = xnm , a soma da fam lia indicada na matriz innita: x11 x21 x31 ..... ..... x12 x22 x32 ..... ..... x13 x23 x33 ..... ..... ....... ....... ....... ....... .......

Teorema 4.24 Se xnm < segue que (xnm ) e som avel e,

iI

(a) Se N N = Ji , I enumer avel, e uma parti ca o de N N ent ao,

iI (n,m)Ji

xnm =

xnm .

(b) Se (Ik )kN e uma sequ encia crescente de subconjuntos de N N tal que Ik = N N ent ao,
k

lim

(n,m)Ik

xnm =

xnm .

(c) xnm = xnm = xnm .

n=0 m=0 m=0 n=0

+ +

+ +

(d) Para toda bije ca o N N N: x(i) = xnm .

i =0
4

O s mbolo indica uma reuni ao de conjuntos dois a dois disjuntos.

66

Prova: A somabilidade segue imediatamente da Observa c ao 4.23 e do Teorema 4.15. (a) e (b): S ao vers oes do Teorema 4.21 e Prop. 4.22, respectivamente [v. Fig. 4.1. p. 68]. (c) Por (a) e Teorema 4.21 temos, xnm = xnm e xnm = xnm = xnm
m=0 mN n=0 m=0 nN mN + + + NN

[vide p. 68, Figura 4.2 e Figura 4.3(a)].

Observa c ao 4.25 Dadas duas s eries convergentes, xn = x e ym = y , eo bvio que

n=0 m=0 + + n=0 m=0 + +

(d) Pelo Teorema 4.16 (c) a s erie denida e comutativamente convergente com soma xnm
+ +

xn ym =

+ + m=0 n=0

xn ym = xy .

sequ encia dupla (xn ym ) para formarmos uma s erie.

n=0 m=0 + + + n=0 n p=0

Dadas xn e ym h a, evidententemente, innitas maneiras de agruparmos os termos da

Deni c ao 4.26 Dadas as s eries xn e ym , seu produto de Cauchy e a s erie xp ynp =

+ n=0 i+j =n

Tal produto surge, no caso nito, em multiplica c ao de polin omios e, no caso innito, no produto de s eries de pot encias [vide Exemplo 4.28 e Figura 4.3(b), p. 68]. Corol ario 4.27 Se xn = x e ym = y convergem absolutamente ent ao, xn ym < e,
n=0 n=0

xi yj = (x0 y0 ) + (x0 y1 + x1 y0 ).... .

(a) xn ym = xy .
NN 5

(b)

Para toda bije ca o N N N:

+ (n,m)=(i), i =0

xn ym = xy .

(c) O produto de Cauchy das s eries dadas e uma s erie absolutamente convergente e,
n=0 n p=0

xp ynp

= xy

(b) Segue do Teorema 4.24(d), notando ainda que pelo tem anterior temos xn ym = xy . 4.24(a) temos,

(a) Pelo Teorema 4.24 (c) temos xn ym = xn ym = xy .

NN n=0 m=0

Prova: Obviamente xn ym < e, pelo Teorema 4.24, a fam lia (xn ym ) NN e som avel.
+ +

(c) Consideremos a parti c ao (Jk ) de N N, Jk = {(i, j ) N N i + j = k } nito. Pelo Teorema

nN i+j =n

xi yj =

xn ym ,

e, pela Proposi c ao 4.8,

nN i+j =n
5

xi yj =

+ n=0 i+j =n

xi yj

Cauchy, em Cours dAnalyse, 1821, p. 237, provou tal resultado para s eries absolutamente convergentes.

67

. . . .

In I5 I4 I2 I1
. . .

I3 I2 I1

I7

I3

I6

(a) Sequ encia exaustiva para N N.

In In+1 e In = N N lim xij = xnm

n+ In NN

In Im , n m , e In = N N xij = xij
N In NN

(b) Associatividade.

Figura 4.1: Para Teorema 4.24 (b) e (a).

+ +

n=0 m=0

xnm

m= 0

x1m

.....

m= 0

xnm + +

Figura 4.2: Para Teorema 4.24 (c) - xnm = xnm

n=0 m=0 NN
+ +

m= 0 n = 0

xnm +

n=0

xnm

n=0 i+j =n

xi yj

. . .
+ n=0

xn1

(a) xnm = xnm

m=0 n=0 NN

N N = nN N {n}
+ +

xi yj xi yj i+j =1 i+j =n O Produto de Cauchy

(b) N N = {(i, j ) i + j = n}
nN

Figura 4.3:

Teorema 4.24 (c)

Deni c ao 4.26

68

Exemplo 4.28 Justiquemos a f ormula para o produto de Cauchy. (a) Se a0 + a1 z + ... + an z n e b0 + b1 z + ... + bm z m s ao polin omios na vari avel z C, com coecientes complexos, e claro que (a0 + a1 z + ... + an z n )(b0 + b1 z + ... + bm z m ) =
+ + n=0 m=0 n+m p=0

cp z p , com cp =

an b m .
n+m=p

(b) Sejam f (z ) = an z n e g (z ) = bm z m s eries em C e absoluta/e convergentes z C. Pelo Corol ario 4.27 (a) temos, f (z )g (z ) = an b m z n z m = an bm z n+m ,
NN

e pelo Teorema 4.24 (a) utilizando a parti c ao N N = {(n, m) n + m = p} ,

pN NN

NN

an bm z n+m =

pN n+m=p

an b m z p =

pN

cp z p , com cp =

an b m .

n+m=p

Agora, pelo Teorema 4.16(a), temos cp z p = cp z p e, nalmente,

pN p=0

f (z )g (z ) =

NN

an bm z n+m =

+ p=0

cp z p , com cp =

an b m .
n+m=p z . (1z )2

Exemplo 4.29 Se z < 1, a soma da sequ encia dupla dada pela matriz innita abaixo e z z z
2 3

z2 z
3

z4

..... ..... ..... .....

Verica c ao: Mostremos, primeiro, que a sequ encia e som avel. A soma dos valores absolutos dos elementos na n- esima linha, n = 1, 2, ... e
pN

..... z z ..... z 5 z 6 ..... ..... .... ..... ..... .... ..... z3

4

z4
5

z n+p =

+ p=1

z n+p =

zn , 1 z

e, somando tais resultados obtemos, zn 1 = 1 z 1 z nN

+ n=1

zn=

Ent ao, pelo Teor. 4.24(c) efetuamos a soma da sequ encia obtendo, e claro,

z . (1 z )2

z (1z )2

69

4.5 - Aplica c ao: A Fun c ao Exponencial Complexa Teorema 4.30 A fun ca o exponencial complexa, exp(z ) =
+ 0

zn ,z C , n!

e bem denida, satisfazendo as propriedades abaixo. (a) exp(z + w) = exp(z )exp(w), z, w C . (b) exp(0) = 1, e para todo z C, exp(z )
ez +h ez h 1

(d) lim

(c) Introduzindo a nota c ao ez = exp(z ) temos, lim

h 0

= exp(z ) e exp(z ) 0.
h 0 eh 1 h

= 1, para h C .

(e) A restri ca o de exp C C a R e a fun ca o exponencial real exp R (0, +). (f ) F ormula de Euler ei = cos + isen , R, cos = 1 2 2n 3 2n+1 ....(1)n + .... ; sen = + .... + .... . 2! (2n)! 3! (2n + 1)! ei + 1 = 0,

= ez , z C.

(g) ex+iy = ex cos y + iex sin y , x , y R. (h) ez = ez e ez = eRe(z) .

(i) A fun ca o exp C C e 2i peri odica. (j) ez = 1 se e somente se z 2iZ. (k) Para todo w C existe z ( unico m odulo T = 2i) tal que ez = w. (l) Pelo isomorsmo C R2 , para todo k Z, e uma bije ca o a restri ca o, exp(x, y ) = (ex cos y, ex sin y ).
iR

exp R [k, k + 2 ) R2 ,

iR

. . .

exp

R2 {(0, 0)}

4i 2i 1111111111111111 0000000000000000 0000000000000000 1111111111111111 0000000000000000 1111111111111111

0

2i

4i

Figura 4.4: A aplica c ao exp R2 R2 {(0, 0)} 70

Prova: (a) O produto de Cauchy das s eries absolutamente convergentes exp(z ) e exp(w) e, ez ew = ( =
+ 1 n=p p! 1 n=p p n pn z n wpn = z w = p=0 p ! n=0 n p=0 p ! n=0 n! (p n)! + eh 1 h

z n + wm )( ) = n=0 n! m=0 m!

1 n m z w = n ! m! p=0 n+m=p

(z + w)p = ez+w . p! p=0

+

(b) Consequ encia imediata de (a). (c) Temos, =

1 h + n=0

hn n!

1 =

1 h

+ n=1

hn n!

=1+

h 2!

h2 3!

+ .... Logo, se h 1, h 0,

Portanto, lim

eh 1 h h 0

eh 1 h h2 1 1 1 + + .... h [ + + ...] e h . h 2! 3! 2! 3! 1 = 0.
ez +h ez h

(d) Temos, por (c), lim (e) Obvio.

h 0

= lim

h 0

ez eh ez h

= ez lim

h 0

eh 1 h

= ez .

(f) Primeiramente, e f acil ver que ei = 1 2 2n 3 2n+1 ....(1)n + .... + i + .... + .... . 2! (2n)! 3! (2n + 1)!

Por m, as partes real e imagin aria da expans ao em s erie de ei , R, s ao as s eries de Taylor na origem de cos e sen [vide Exemplos 3.10 (b) e (c)]. (g) Segue imediatamente da F ormula de Euler em (f). (h) Segue trivialmente de (g). (i) Consequ encia imediata de (g). (j) Se z = 2ki , k Z, e claro que ez = e2ki = 1. Se ez = 1 ent ao 1 = ez = eRe(z) e Re(z ) = 0; logo, z = iIm(z ) e 1 = eiIm(z) = cos Im(z ) = i sin Im(z ); donde, Im(z ) 2k Z. w [cos arg (w) + i sin w] = w. Por (i), se ez1 = w e z2 = z1 + 2ki, k Z, ent a o ez2 = w .

(k) Seja z = log w + iarg (w). Por (g) e claro que ez = elog w [cos arg (w) + i sin arg (w)] = (l Segue de (k) Deni c ao 4.31 As fun co es cos , sen C C s ao dadas pelas, respectivas, s eries cosz = 1 z2 z 2n ....(1)n + .... ; 2! (2n)! sen z = z z3 z 2n+1 + .... + .... . 3! (2n + 1)!

Se ez1 = ez2 = w, com z1 , z2 C, por (b) temos ez1 z2 = ww1 = 1 e, por (j), z1 z2 2iZ.

Corol ario 4.32 As s eries que denem as fun co es complexas cos(z ) e sen(z ), z C, s ao absolutamente convergentes em todo o plano e, eiz = cos z + isen z , z C. 71

4.6 - O Produto de Duas S eries N ao Necessariamente Absolutamente Convergentes Mostremos que para o produto de Cauchy de duas s eries convergir e necess ario que ambas
1 n+1

convirjam absolutamente. Utilizemos a s erie pois

1 n+1

1 n

= +, mas e convergente (condicionalmente) pelo Crit erio de Leibnitz.

(1)n n=1 n+1 +

(1)n , n=1 n+1

que n ao e absolutamente convergente

Exemplo 4.33 O produto de Cauchy da s erie

n

por si mesma e uma s erie divergente.

1) Verica c ao: Seja an = ( , n N. Temos, 0 (m n)2 = m2 2mn + n2 , m, n N, e n+1 1 2 2 m + 1 n + 1 m + 1 + n + 1 = m + n + 2. Ent e, ao, se m + n = p, (1)p am an = m+1 p+ 2 n+1

Logo, o termo geral cp =

(1)p

m+n=p

am an

m+n=p

ao tende a zero e este diverge am an do produto de Cauchy n

2 2 = (p + 1) 1 , p N . p + 2 p + 2 m+n=p

Generalizando tal exemplo, mostremos a rec proca do Cor. 4.27 (b) (provado por Cauchy). Deni c ao 4.34 A s erie an , an = 0, n N e a s erie nula. Proposi c ao 4.35 As s eries n ao nulas an = a e bm = b s ao absolutamente convergentes + se e s o se para toda bije ca o N N N, a s erie cp , cp = an bm , com (n, m) = p, e convergente. Ainda, ocorrendo tais hip oteses, temos Prova: () Segue do Corol ario 4.27 (b).
p=0 + cp + + +

= ab qualquer que seja a bije ca o .

() Fixa uma bije c ao N N N, a s erie cp , cp = an bm e p = (n, m), e, devido `s hip a oteses, comutativamente convergente e, pelo Teorema 4.16, absolutamente convergente.
+

Logo, an bm < e ent ao, para an0 0, an0

mN

bm =

mN

an0 bm

an b m < ,

e portanto bm < . Analogamente, temos que an < .

+ + +

Por m, pelo Corol ario 4.27 (c), temos cp = ab, para toda bije c ao N N N
+ n=0 m=0 + +

p = (n, m) e um produto das s eries an e bm .

n=0 m=0 +

Deni c ao 4.36 Dadas an e bm e uma bije ca o N N N, a s erie cp , cp = an bm ,

Obs. O produto de Cauchy entre duas s eries an e bn n ao e, em geral, um produto. Por em, ele pode ser obtido por associa c ao de algumas das s eries denidas como um produto.

72

Teorema 4.37 (Mertens, 1875)6 Se an = A, com converg encia absoluta, e bn = B , ambas em K, ent ao o produto de Cauchy destas duas s eries converge e tem soma AB . Prova: Sejam cn = ak bnk e
k=o n n n n

An = Ent ao, Cn

ak ,
k=0

Bn =

bk ,
k=0

Cn =

ck ,
k=0

n = Bn B .

= a0 Bn + a1 Bn1 + ... + an B0

Destacando a segunda parcela entre parenteses no u ltimo membro acima, n = a0 n + a1 n1 + ... + an 0 , temos Cn = An B + n e como lim An B = AB , resta apenas vericarmos que lim n = 0. Por hip otese, =
+

= An B + (a0 n + a1 n1 + ... + an 0 ) .

= a0 (B + n ) + a1 (B + n1 ) + ... + an (B + 0 )

= a0 b0 + (a0 b1 + a1 b0 ) + ... + (a0 bn + a1 bn1 + ... + an b0 )

an <

lim n = 0 ,

e dado > 0 existe N N tal que n , n N . Desta forma, para n > N temos, n 0 an + ...N anN + .
n+ n+

0 an + ...N anN + N +1 anN 1 + ... + n a0

Assim, como lim an = 0, temos lim 0 an + ...N anN = 0 e consequentemente, lim sup n
+ +

> 0
+

No cap tulo 6, sobre s eries de pot encias, provaremos trivialmente o resultado abaixo. Teorema 4.38 (Abel, 1826) Se an , bn e seu produto de Cauchy cn convergem,
+

cn =

an

bn .

4.7 - Somabilidade de Cesaro A Soma de Cesaro e uma das mais u teis formas de somabilidade e muito importante em S eries de Fourier (j a citamos que tamb em o Crit erio de Dirichlet e importante em s eries de sequ encia formada pelas m edias aritm eticas de (zn ) tamb em converge a z . Vejamos ent ao que o conceito de somabilidade segundo Cesaro e mais geral que o de s erie.
6 Franz

Fourier). No Exemplo 2.46 (3) mostramos que se uma sequ encia (zn ) converge a z ent ao a
C. J. Mertens (1840-1927), de ancestralidade germ anica, nasceu em uma vila a ` epoca na Prussia e

hoje na Pol onia e foi aluno de Weierstrass em Berlim.

73

Deni c ao 4.39 Dada zn , seja sn a n- esima soma parcial desta s erie e n = s1 + .... + sn ,n N . n
+

A s erie zn e Cesaro-som avel [ou (C,1) som avel] se (n ) converge. Se lim n = s ent ao s e a soma de Cesaro [ou soma (C,1)] de zn e escrevemos, zn = s Teorema 4.40 Se zn = s C ent ao
+ +

(C, 1) . (C, 1) .

zn = s

Prova: Consequ encia imediata do Exemplo 2.46 (3) pois lim sn = s Exemplo 4.41 Seja an = z n , z = 1, z 1. Ent ao,
+ n=1

z n1 =

1 1z

Verica c ao: Pela f ormula para o somat orio nito de uma progress ao geom etrica temos, sn = n = 1 zn , 1z 1z

(C, 1)

n=1

(1)n1 =

1 2

(C, 1) .

s1 + ... + sn = n
z (1z ) (1z )2
n

n 1z

Desta forma, visto que

1z 1z 2

1 (z 1z

+ ...z n )
2

2 1z

, conclu mos

1 1 z (1 z n ) . 1 z n (1 z )2

n+

lim n =

1 1z

74

Ap endice 1 - Teorema de Riemann Teorema 4.42 Riemann Seja an uma s erie real e condicionalmente convergente. Dados + x, y [, +], x y , existe uma rearranjo bn de an tal que, se sn = b1 + .... + bn , lim inf sn = x e lim sup sn = y . Prova: Sejam pn a parte positiva de an e qn a parte negativa de an . Como an < , temos 0 = lim an = lim pn = lim qn . Entretanto, an = +, donde pn = + ou qn = + e, como existe lim ai = lim( pi qi ), conclu mos que pn = qn = +.
n n n i=1 i=1 i=1 + + +

Reordenamos an tomando os n1 primeiros ndices em P , indicados {1, ...., n1 }, tais que Em seguida, tomamos os n2 primeiros ndices em Q, indicados {1, 2, ..., n2 }, tais que p1 + p2 + ... + pn1 q1 q2 ... qn2 < x . p1 + ... + pn1 > y .

Consideremos a parti c ao N = P Q, P = {i ai = pi 0}, Q = {j aj = qj < 0} e x, y R.

Subtra dos em P os ndices j a selecionados, escolhemos os novos primeiros ndices, indicados {n1 + 1, ...., n3 }, tais que

p1 + p2 + ... + pn1 q1 q2 ... qn2 + pn1 +1 + .... + pn3 > y .

Procedendo analogamente com Q, retirados os ndices j a coletados, pegamos os primeiros ndices {n3 + 1, ..., n4 } satisfazendo

Continuando este processo ad innitum obtemos um rearranjo bn de an tal que se (sn ) e a sequ encia de suas somas parciais temos, para i mpar,
+ +

p1 + p2 + ... + pn1 q1 q2 ... qn2 + pn1 +1 + .... + pn3 qn3 +1 .... qn4 < x .

sni +1 sn sni . Assim, se s e um valor de ader encia de (sn ) n ao e poss vel s > y e tamb em n ao e poss vel s < x. Logo, temos x s y e, como x e y s ao valores de ader encia de (sn ), conclu mos que x e o menor valor de ader encia, x = lim inf sn , e y o maior, y = lim sup sn . Os casos x = ou y = + s ao an alogos e mais simples e os deixamos ao leitor
+

(sni ), i mpar, converge a y . Al em disso, e f acil ver que para i mpar, ni < n < ni+1 implica

donde segue 0 < x sni+1 qni +1 e 0 < sni y pni e ent ao (sni ), i par, converge a x e

sni+1 < x y < sni , sni pni y e sni+1 + qni+1 x ;

Corol ario 4.43 Seja an uma s erie real e condicionalmente convergente e x R. Existe um + rearranjo de an convergente a x. Prova: Caso particular do Teorema 4.42, com x = y 75