Você está na página 1de 35

Sequncias e Sries

Sadao Massago

Setembro de 2014
Sumrio

1 Aritmtica Innitesimal 1
2 Sequncias Numricas 2
2.1 Algumas propriedades operacionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

2.2 Teste da subsequncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2.3 Sequncias denidas pela funo contnua . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.4 Teorema de Sanduche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.5 Usando a ordem da funo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.6 Sequncias montona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2.7 Limite da sequncia denida pela recorrncia . . . . . . . . . . . . . . . . . . . . . . . 6

2.8 Alguns limites importantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

3 Sries Numricas 8
3.1 Algumas propriedades operacionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

3.2 Limite do termo geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

3.3 Sries geomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3.4 Sries alternadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.5 Sries de termos positivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

3.6 Sries absolutamente convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

3.7 Teste da raiz e da razo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

4 Sries de Potncias 18
4.1 Raio de convergncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

4.2 O Intervalo de convergncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

4.3 Derivadas e integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

5 Sries de Taylor e de Maclaurin 22


A Sries de Fourier 26
B Prova do Teorema 2.24 30
C Consideraes sobre sequncias pela recorrncia 31
D Exemplo de rearranjos dos termos da sries condicionalmente convergentes 32

i
Captulo 1
Aritmtica Innitesimal
Denio 1.1. O innito a representao da quantidade maior que qualquer nmero e denotado
por .

Denio 1.2. O valor innitesimalmente maior que a denotado por a+ . Temos que a+ > a para
+
o clculo innitesimal, mas o valor numrico de a igual a a. Analogamente, o valor innitesimal-

mente menor que a denotado por a . Entre estes valores innitesimalmente prximos, 0+ e 0 so
1 1
frequentemente usados, juntamente com o jogo de sinal. Por exemplo,
(0 )2
= 0+
= .

A regra de operao envolvendo os valores innitesimais (innitamente pequeno ou innitamente

grande), requer formalismo de limites. A seguir, algumas regras sem a demonstrao.

+ = , = , = , 1

= 0+ , 1
0+
= , + c = ,
Se a > 0 ento a = , a = .
Se a > 1 ento a =
Indeterminados:
1 0
, , , ,
0 0
00 , 0 , 0 , 1 .
Observao 1.3 . No caso de 00 no ter originado dos limites, convenciona-se que 00 = 1.

Exerccio 1.4. Justique cada um dos indeterminados, atravs de contra exemplos (apresentar

limites adequados).

Exerccio 1.5. Para 0 < a, tem-se a = 0+ .

Exerccio 1.6. Para 0<b<1 tem-se b = 0+ .

Exerccio 1.7. Para c<0 tem-se c = 0+ .

Exerccio 1.8. Para, a>1 tem-se loga = e loga 0+ = .

1
Captulo 2
Sequncias Numricas
Uma sequncia real uma funo que associa um valor a cada nmero inteiro no negativo. Quando

tem uma expresso, escrevemos xn (denominado de termo geral quando n genrico) para designar

o x(n) que tambm indicaria o elemento de ndice n na lista de suas imagens. A representao mais
1
= 1, 12 , , n1 ,
 
usada pela lista de suas imagens como em ou pela expresso do termo
n nN
1
geral como em xn = n
para n > 0. No caso de indicar a imagem, essencial que tenha parenteses.

Note que uma sequncia pode comear em pontos diferentes de 1.

Denio 2.1. n
lim xn = L se para todo > 0 existe N0 N tal que n > N0 = |xn L| < .
Neste caso, a sequncia denominado de sequencia convergente e L dito limite da sequncia.

Note que, |xn L| < se, e somente se, L < xn < L + , o que bastante empregado nas

demonstraes.

Denio 2.2. n
lim xn = se para todo M R existe N0 N tal que n > N0 = xn > M . Neste

caso, dizemos que a sequncia diverge para innito e denotamos por lim xn = . Analogamente, a
n
sequncia diverge para se, para todo M R existe N0 N tal que n > N0 = xn < M .

imediato que uma sequencia xn diverge para se, e somente se, xn diverge para innito.

Denio 2.3. A sequncia no convergente denominado de sequncia divergente. As sequncias

divergentes podem ser divergentes para , ou que no tem limites.

2.1 Algumas propriedades operacionais


Propriedades.
Se (an ) e (bn ) so sequncias convergentes (comeando de mesmo ndice), ento

lim (an + bn ) = lim an + lim bn .


n n n

lim (an ) = lim an .


n n

lim (an bn ) = lim an lim bn .


n n n

an lim an
lim = n desde que lim bn 6= 0.
n bn lim bn n
n

2
CAPTULO 2. SEQUNCIAS NUMRICAS 3

 
Caso f for contnua, lim f (xn ) = f lim xn
n n

As demonstraes so similares ao caso das funes reais e no sero repetidos aqui.

Observao 2.4 . No caso da sequncia que diverge para , a operao pode ser efetuado se a arit-

mtica innitesimal for possvel. A demonstrao destas propriedades no caso de limite da sequncia

ser innito fornece as regras de clculo innitesimal apresentado na seo anterior.


b
Para resolver problemas envolvendo potncias, a frmula ab = eln a = eb ln a para a > 0, uma

das identidades mais importantes.

Observao 2.5 . Para obter o limite, basta analisar para n grandes.

2.2 Teste da subsequncia


Para mostrar que o limite no existe, o teste de subsequncias so um dos mais utilizados. Sub-

sequncia uma sequncia formado pelas partes da sequncia dada, isto y k = xn k onde k 7 nk

injetiva (ni = nj ento i = j ).

Teorema 2.6. Seja xn uma sequncia convergente. Ento qualquer subsequncia yk de xn converge
e tem o mesmo limite.
A forma mais usada do Teorema acima

Corolrio 2.7 (teste da subsequncia) . Qualquer sequncia que possui duas subsequncias com li-
mites diferentes ser divergente.
Este corolrio um dos mais importantes para provar a divergncia das sequncias.

Exemplo 2.8. xn = (1)n diverge, pois a subsequncia x2n = (1)2n = 1 converge para 1, e a
2n+1
subsequncia x2n+1 = (1) = 1 converge para 1 que so valores diferentes.

Para mostrar que a sequncia xn converge atravs de subsequncias, todas as subsequncias

consideradas devem ter o mesmo limite e alm disso, a unio destas subsequncias, respeitando

as posies dentro de (xn ) deve ser exatamente a sequncia (xn ), respeitando as suas respectivas

posies.

Exemplo 2.9. xn = (1)n


n
0. Para provar, considere as subsequncias yk = x2k =
converge para
(1)2k 1 1 2k+1

2k
1
= 2k na qual tem-se lim yk = lim = = 0+ = 0 e zk = x2k+1 = (1)2k+1
1
= 2k+1 na qual
k k 2k
1 1
lim zk = lim = = 0 = 0. Como yn e zn so subsequncias que possuem o mesmo limite
k k 2k + 1
e a unio de yk e zk exatamente a sequncia (xn ), a sequncia xn converge para 0.

Note que o problema acima muito mais fcil de ser resolvido pelo Teorema de Sanduiche (Teo-

rema 2.14 da pgina 4) que veremos mais adiante.

Exemplo 2.10. xn = (1)n e consideremos yk = x4k = (1)4k+2 = 0 na qual tem-se


lim yk = lim 1 = 1 e zk = x4k+2 = (1)4k+2 = 1 na qual lim zk = lim 1 = 1. Como yk e zk
k k k k
possuem o mesmo limite, podemos dizer que, se xn convergir, o limite ser 1. No entanto, a unio
deles no exatamente a sequncia xn e no podemos armar se a sequncia converge ou no.

De fato, j tnhamos visto que ele diverge (Exerccio 2.8 da pgina 3).
CAPTULO 2. SEQUNCIAS NUMRICAS 4

Exerccio 2.11. Mostre que uma sequncia com sinal alternada convergente se, e somente se o a

sequncia dos valores absolutos convergir para zero.

A seguir, alguns teoremas e tcnicas para obter limites.

2.3 Sequncias denidas pela funo contnua


Teorema 2.12. Se xn = f (n) onde f uma funo contnua (para x grande) tal que x
lim f (x)
existe, ento lim xn = lim f (x).
n x

en L0 Hopital en L0 Hopital en
Exemplo 2.13. n
lim 2
= = lim = = lim = = . Note o abuso de
n n 2n n 2 2
linguagem para considerar n como nmero real na qual na sequncia era nmeros inteiros.

Lembrar que, no ter o limite da funo, no signica que a sequncia diverge, como no caso de

xn = sen(n).
Neste caso, xn = 0 e consequentemente, lim xn = 0, mas lim sen(x) = sen() = @.
n x

2.4 Teorema de Sanduche


Teorema 2.14 (Teorema de Sanduche). Se an bn cn e n
lim an = lim cn = L ento lim bn = L.
n n

Demonstrao. Apesar da demonstrao ser anloga do caso das funes, repetiremos a demons-

trao devido a sua importncia. lim an = L, temos que, > 0, existe Na N tal
Sendo
n
que, para todo n > Na tem-se L an L + . Analogamente, existe Nc N tal que, para

todo n > Nc tem-se L cn L + . Considere N = max{Na , Nc }. Ento, para n > N , te-

mos que L an L + . e L cn L + . Logo, L < an bn cn < L + . Assim,

lim bn = L.
n

Exemplo 2.15. xn = cos n


n
ento temos que1 cos n 1 implicando que 1n
cosn n n1 e
1 cos n 1 1 cos n 1
consequentemente, lim lim lim . Assim, = 0 lim = 0. Logo,
n n n n n n n n
cos n
lim = 0.
n n
Uma das consequncias importantes do Teorema de Sanduche

Corolrio 2.16. n
lim xn = 0 se, e somente se, lim |xn | = 0.
n

cuja demonstrao deixado como exerccio.

(1)n (1)n

1 1
Exemplo 2.17. xn = (1)n
n
ento lim = lim = = 0+ . Logo, lim = 0.
n n n n n n
Outro exemplo do uso do Teorema de Sanduche.

(n1) vezes

n!
z }| {
Exemplo 2.18. Vamos mostrar que n lim n = 0. Observe que nn!n = n(n1)(n2)21
nn
n nn =
nn
n
nn1 n! 1 1 n!
nn
= n1 . Logo, 0 nn!n n1 , o que implica que 0 lim n lim = = 0. Assim, lim n = 0.
n n n n n n
CAPTULO 2. SEQUNCIAS NUMRICAS 5

2.5 Usando a ordem da funo


Denimos a ordem de convergncia da funo como segue. Dizemos que yn tem ordem maior que xn
xn
e denotamos por xn = o(yn ) quando lim = 0.
n yn
O estudo da ordem da funo no costuma ser tratado no nvel de Clculo, mas ajuda muito
f (x)
quando precisamos determinar o limite. Dizemos que f = o(g) em a quando lim = 0. Se usar a
xa g(x)
lista da ordem de convergncia das funes elementares no innito, o clculo de limites da sequncias

car mais simples.

Claro que qualquer funo que vai para o innito, tem a ordem maior que a funo constante.

Teorema 2.19. Para o limite no innito, temos


Se lim f (x) = ento c = o(f ). Qualquer funo que tende a innito tem ordem maior que
x
a funo constante.

Para nmeros reais a < b, temos xa = o(xb ). Potenciao maior tem ordem maior.

Para u > 0 e a > 1, temos que loga x = o(xu ) e xu = o(ax ). Logaritmo tem (com base maior
que 1) ordem menor que qualquer potenciao (positiva) e exponenciao (com base maior que
1) tem ordem maior que qualquer potenciao (positiva). Em particular, lnx tem ordem menor
que potenciao (positiva) e ex tem ordem maior que potenciao (positiva).

Para a > 1, tem-se ax = o((x)) e (x) = o(xx ), onde (n) = (n 1)! para n inteiro
denominado de funo gamma. No caso de inteiros, equivalente a an = o(n!) e n! = o(nn ).

prova parcial. As demonstraes podem ser feito diretamente com o uso da regra de L'Hopital, exceto

para o caso da ordem de funo gamma. Assim, ser deixado como exerccio.

No caso de envolver a funo gamma, vamos provar somente no caso da varivel ser inteira. A

propriedade an = o(n!) a Proposio 3.48 (pgina 17). O caso de n! = o(nn ) o exemplo 2.18

(pgina 4). Caso de x ser real, precisaria usar o fato das funes serem contnuas crescente, o que

omitiremos aqui.

f (n)
Assim, se denotarmos f g para o caso de f = o(g) em ( lim
= 0), a ordem das funes
n g(n)
u n n
poder ser resumido como c loga n x a n! n para u > 0 e a > 1 (claro que a pode
a b n n
ser e que maior que 1). Aliado ao fato de n n e a b para nmeros reais a < b, podemos

simplicar a obteno do limite das sequncias atravs do seguinte resultado.

Proposio 2.20. Se f = o(g) em a, ento xa


lim (f (x) + g(x)) = lim g(x)
xa

f (x)
Demonstrao. Como f = o(g) em a, temos que lim =0 por denio.
xa g(x)
 
f (x)
lim (f (x) + g(x)) = lim + 1 g(x) = lim (0 + 1) lim g(x) = lim g(x)
xa x g(x) n x xa

2
1+n
Exemplo 2.21. Obter o limite de lim
n en
, caso exista. Como 1 = o(n2 ) e ln n = o(en ), temos
+ ln n
que
CAPTULO 2. SEQUNCIAS NUMRICAS 6


1+n2 n2 n 1 1 1
L0 Hopital
lim n = lim n = lim n = = lim n
= = = 0.
n e + ln n n e n e n e e

2.6 Sequncias montona


Uma sequncia an dito montona crescente quando an+1 an para todo n. Da forma anloga,

uma sequncia an dito montona decrescente se an+1 an para todo n.


Denio 2.22. As sequncias crescente ou decrescente so denominados de sequncias montonas.

Caso especial das sequncias montonas so as sequncias estritamente montonas denidos como

segue.

Denio 2.23. No caso de ter an+1 > an para todo n, dizemos que a sequencia estritamente
crescente e caso de ter an+1 < an para todo n, dizemos que a sequncia estritamente decrescente.
Uma sequncia estritamente montona se for estritamente crescente ou estritamente descres-

cente.

Note que, em vez de dizer crescente, tambm podemos dizer no decrescente. O mesmo vale

para decrescente que podem ser referenciado como no crescente. No entanto, recomendado no

abreviar o termo estritamente quando no ser igual essencial.

Uma sequncia dita limitada se existe M tal que n, |xn | M .


Um dos teoremas mais importantes da sequncia montona

Teorema 2.24. Toda sequncia montona limitada convergente.


Para quem interessar, a demonstrao est no apndice (Subseo B, pgina B).

Exemplo 2.25. xn+1 = n


n+3
. A sequncia limitada, pois |xn |
1. Ele crescente, pois xn+1
n+1 n 2 2 2
xn
n+2
(n + 1) n(n + 2) n + 2n + 1 n + 2n 1 0 que vale sempre. Logo,
n+1
a sequncia converge. Note que, fcil ver que lim xn = 1 pela regra de L'Hopital, o que implica
n
que convergente. O critrio da convergncia da sequncia montoma importante para estudos

tericos tais como obter critrios de convergncia das sries.

2.7 Limite da sequncia denida pela recorrncia


Quando a sequncia denida pela frmula de recorrncia (tipo xn+1 = f (xn )) e tem a garantia de

convergncia (por exemplo, montona e limitada), aplique o limite em ambos os lados na forma de

recorrncia e use L = lim xn (assim, caria L = f (L)).


n

Exemplo 2.26. Sabendo que xn+1 = x2n +2


2xn
converge, encontre o seu limite. Denotando L = lim xn ,
n
teremos  2
+2 x2n lim xn +2
n L2 +2
lim xn+1 = lim = que seria L= 2L
. Resolvendo, teremos 2L2 = L2 +2
n n 2xn 2 lim xn
n
L2 = 2 L = 2.

Assim, caso tiver o limite, lim xn = 2 ou lim xn = 2. No caso de ter x0 > 0, teramos
n n
xn > 0 e consequentemente, L 0. Logo, no caso de ter x0 > 0, teramos L= 2.
CAPTULO 2. SEQUNCIAS NUMRICAS 7

Observao 2.27 . No Clculo, no vamos preocupar muito em como mostrar que uma sequncia

recursiva (denida pela recorrncia) convergente, mas importante para o Clculo Numrico.

2.8 Alguns limites importantes



n = 1. Prova: lim n n = lim eln( n) . Mas ln ( n n) = ln n n = n1 ln n = lnnn .
n 1
lim n
n
  n ln n nln L0 Hopital 1/n 1 1
Assim, ln lim n n = lim = = = lim = lim = = 0.
 n  n n
n 1

n n
lim n n = 0, lim n n = lim eln( n) = elimn ln( n) = e0 = 1.
n n
Como ln
n n n

lim n
a=1 para a>0 (prova anloga a anterior e deixado como exerccio)
n



0, |a| < 1

, a > 1

n
lim a = . Caso de a > 0 provado de forma similar ao caso anterior, mas
n
1, a = 1




@, a 1

observando o sinal de ln a. Caso de a = 1 a = 0 so triviais e o caso de a = 1 j foi
e

mostrado, usando a subsequncia. O caso de a < 1 segue do caso de a > 1 (tente provar).

n n n n n
n 2

lim n! = . Prova: Observe que n! = n(n 1)(n 2) 2 1 2
1 ! 2
.
n 2
| {z }2
n
vezes
2

n
q
n n
 n2
n n n
Logo, n! 2
= .
2
Assim, lim n! lim = = . Consequentemente,
n n 2 2
n
lim n! = .
n
Captulo 3
Sries Numricas
A soma dos termos de uma sequ6encia an denominado de sries de termo geral an e denotado

X
por an . Neste caso, an denominado de termo geral da sries. Quando no importa onde inicia
n=n0
X
a soma, as vezes abreviamos como an como no caso de somente analisar a convergncias (se a

soma nmero ou no).

Denir a soma de innitos termos no simplesmente somar. Por exemplo, na sries

X
X
(1)n = 1 1 + 1 1 + ,
temos que (1)n = (1 1) + (1 1) + = 0 + 0 + = 0 en-
n=0 n=0

X
quanto que (1)n = 1 + (1 + 1) + (1 + 1) + = 1 + 0 + 0 + = 1, tendo valores diferen-
n=0
tes. Assim, no podemos tratar somas de innitos termos como no caso da some de nitos termos.

Para que no perca algumas das propriedades essenciais da soma como no caso acima, estabele-

cemos que os termos precisam ser somados em sequncias. Para ser mais formal, considere uma
X XN
srie an = S . Denimos a soma parcial SN = an = an0 + aN que uma sequncia re-
n=n0 n=n0

X
cursiva dado por Sn0 = an0 e SN = SN 1 + aN para N > n0 . Escrevemos an = S quando tiver
n=n0
lim Sn = S . Note que, para esta denio, a soma precisam ser feitas em ordem, somando um termo
n
a cada etapa.

Denio 3.1. Quando Sn converge, dizemos que a srie convergente. Quando Sn diverge, dizemos
que a srie divergente.

Como a soma parcial uma soma nita, permite efetuar associao dos termos. Logo, a sries

X
convergente permite efetuar associao dos termos da soma. Assim, a sries (1)n divergente
n=0
por no permitir associao. No entanto, as trocas das posies dos termos nem sempre pode ser

efetuada (Ver o Exemplo D.1 da pgina 32).

Observao 3.2 . Existe o estudo da convergncia da sries usando a sequncia de mdia das somas

X 1
parciais na qual (1)n = . A convergncia pelas mdias das somas parciais requer estudos mais
n=0
2
sosticados, o que no ser apresentado neste texto.

8
CAPTULO 3. SRIES NUMRICAS 9


Exemplo 3.3.
X
A sries (1)n = 1 1 + 1 1 + divergente.
n=0
Como S2k = (1)0 + + (1)2k = 1 1 + 1 1 + + 1 = (1 1) + (1 1) + + (1 1) + 1 =
0 + + 0 + 1 = 1, temos que lim S2k = 1.
k
Agora, S2k+1 = (1)0 + + (1)2k+1 = 1 1 + 1 1 + 1 = (1 1) + (1 1) + + (1 1) =
0 + + 0 = 0, temos que lim S2k+1 = 0. Assim, Sn tem duas subsequncias com limites diferentes,
k
o que implica que divergente.

Note o uso de associatividade da soma em Sn por ser uma soma nita para cada n.

3.1 Algumas propriedades operacionais


Propriedades.
P P
Se an e bn so sries convergentes, ento
X X X
(an + bn ) = an + bn .
X X
(an ) = an .
X X P
an |an | caso |an | for convergente.

Caso o limite envolver , vale somente se a operao correspondente for vlido (consegue operar)
na aritmtica innitesimal.

A convergncia das sries depende somente de termos para n grande. Assim, onde comear a

sries importante somente para obter o seu valor.

Observao .
P P
3.4 Para 6= 0, A srie an converge se, e somente se, an converge.

3.2 Limite do termo geral


A seguir, algumas formas de vericar a convergncia das sries.

Teorema 3.5. A srie an converge ento lim |an | = 0.


P
n

Demonstrao. Como Sn = Sn1 + an e sabemos que o limite existe por srie ser convergente,

passamos o limite em ambos os lados da equao, temos lim Sn = lim Sn1 + lim an .
n n n
Sendo lim Sn = S , temos S=S+ lim an . Logo, lim an = 0.
n n n

Como consequncia, temos

Corolrio 3.6 (teste do termo geral). Se n 6 0, ento a srie an diverge.


P
lim |an | =

que um dos critrios mais usados para vericar a divergncia das sries.

n L0 Hopital 1
Exemplo 3.7. n
P
diverge, pois lim |an | = lim = = lim = 1 6= 0.
n+1 n n n + 1 n 1

Exerccio 3.8.
P (1)n n2
Mostre que diverge.
(n+1)2

Agora vamos ver um exemplo particular na qual possvel obter a soma


CAPTULO 3. SRIES NUMRICAS 10


1
Exemplo 3.9 .
X
(Srie Telescpica) Vamos encontrar o valor de . Usando a tcnica de
n=1
n(n + 1)
1
fraes parciais, podemos escrever o termo geral em soma de duas fraes. Escrevendo =
n(n+1)
a + b = 0
a b a(n+1)+bn (a+b)n+a
n
+ n+1 = n(n+1)
= n(n+1)
, obtivemos (a + b)n + a = 1. Como n genrico, temos ,
a =1
1 1 1
o que implica que a=1 e b = a = 1. Logo,
n(n+1)
= n
n+1
.

Agora veremos a soma parcial.


1 1 1
31 + + n1
1
n1 + n1 n+1
1
    1 1
Temos Sn = 1
2
+ 2
= 1 n+1 para todo n 1.
 
X 1 1 1
Passando o limite, temos = lim Sn = lim 1 =1 = 1).
n=1
n(n + 1) n n n + 1
 
n
Exerccio 3.10.
X
Seguindo o exemplo anterior, mostre que a sries ln diverge, apesar
n=1
n+1
de ter lim an = 0.
n

Em muitas sries, no possvel determinar se convergente. No caso de obter o seu valor

tarefa mais complicada ainda. Com a exceo das sries geomtricas, poucas sries (convergentes)

tem o seu valor conhecido.

3.3 Sries geomtricas



Denio 3.11. sries geomtrica.
X
a0 rn (a0 6= 0 e r 6= 0) denominado de
n=0


Teorema 3.12 . a0 rn (a0 6= 0) converge se, e somente se |r| < 1. Neste
X
(sries geomtricas)
n=0

a0
caso, .
X
a0 r n =
n=0
1r

Demonstrao. A prova consiste em aplicar limite na soma parcial que uma soma de P.G. (pro-

gresso geomtrica).
X
Seja a0 rn (a0 6= 0 e r 6= 0). Ento an = an1 r para n > 0. Multiplicando r na
n=0
soma parcial Sn = a0 + + an , temos que rSn = a0 r + + an r = a1 + + an+1 . Sub-
i
traindo do Sn , temos Sn rSn = a0 an+1 . Observando que ai = a0 r , temos (1 r)Sn =
n+1
a0 an+1 = a0 a0 rn+1 = a0 (1 rn+1 ) e consequentemente, Sn = a0 (1r 1r
)
para r 6= 1. Quando

|r| < 1, temos que lim |r | = 0 (Ver subseo 2.8, pgina 7) de modo que lim rn = 0. Assim,
n
n n
n+1
X a 0 (1 r ) a 0
a0 rn = lim Sn = lim = n
. No caso de |r| 1, observemos que lim |a0 r | =
6 0
n=0
n n 1 r 1 r n
n
(exerccio), o que implica que lim a0 r 6= 0. Assim, a sries diverge pelo teste do termo geral.
n

 n 1 1
1 1 1 1 1 1
Exemplo 3.13.
X X X
8 8 1 1
= = = 1 = 3 = pois a0 = 8
e r= 4
com
n=0
22n+3 n=0
22n 23
n=0
8 4 1 4 4
6
|r| < 1.
CAPTULO 3. SRIES NUMRICAS 11


0.036
Exemplo 3.14. 1.2 36 36 = 1.2+0.036+0.00036+ = 1.2+
X
que uma srie geomtrica
n=0
102n
1 0.036
com |r| < 1. Como a0 = 0.036 e r = 100
na parte da srie, temos 11.2 36 36 = 1.2 +
11/100
=
12
10
+ 0.036
0.99
= 12
10
36
+ 990 = 1188+36
990
= 1224
990

1
Exemplo 3.15.
X
como n no comea de 0, fazemos uma translao da ndice k =
n=2
e3n+1
n 2 (assim, n = 0 implica que k = 0), tendo n = k + 2. Substituindo na srie, temos
 k
X 1 X 1 X 1 1 1 1 1 1
3n+1
= 3k+7
= 7 3
= 7 1 por ser sries geomtricas com a0 = e7 e r = e3 ,
n=2
e k=0
e k=0
e e e 1 e3
tendo |r| < 1.

3.4 Sries alternadas


Denio 3.16. srie alternada.
X
A sries (1)n an com an positivo denominado de

Teorema 3.17 . A sries alternada (1)n an com


X
(teste de Leibiniz para srie alternada)

lim an = 0 e an decrescente (no crescente) convergente.


n
Alm disso, o erro de aproximao do valor da sries pela soma parcial Sn no mximo |an+1 |.

Demonstrao.
X
Considere a subsequncia S2k da sequncia da soma parcial Sn da sries (1)n an .
n=0
Ento S2k+2 = S2k a2k+1 +a2k+2 S2k pois a2k+1 a2k+2 . Assim, S2k decrescente. Analogamente,
a subsequncia S2k+1 crescente por ter S2k+3 = S2k+1 + a2k+2 a2k+3 S2k+1 . Como S2k+1 = S2k

a2k+1 S2k S0 = a0 , a sequncia S2k decrescente e limitada inferiormente, ser convergente.


Da mesma forma, S2k+1 crescente e limitada superiormente por a0 a1 , ser convergente. Como

S2k e S2k+1 juntas formam a sequncia Sn , basta mostrar que ambas limites so iguais para garantir
a convergncia de Sn . Sejam lim S2k = Sp e lim S2k+1 = SI . Passando limite na equao S2k+1 =
k k
S2k + a2k+1 e observando que lim an = 0, temos que SI = SP + 0. Assim, ambos limites coincidem,
n
o que prova que Sn converge. Denotamos por S = SI = SP para analisar o erro de aproximao.

Observe que S2k+1 crescente e S2k decrescente. Assim, temos que S2k+1 S < S2k . Logo, |S

S2k | |S2k+1 S2k | = a2k+1 para aproximao por S2k . Como exerccio, mostre que a aproximao
por S2k+1 inferior a a2k+2 .

Para vericar se decrescente (no crescente) no caso de an = f (n) para funo diferencivel f,
0
costuma analisar se vale f (x) 0. Caso no for diferencivel ou derivadas torna complexa, precisaria
vericar diretamente que an+1 an .


(1)n
Exemplo 3.18.
X
converge, pois uma srie alternada tal que
n=0
2n + 1
1 1 1 1
lim an = lim = = 0 e an decrescente, pois an+1 an 2(n+1)+1 2n+1 2n + 1
n n 2n + 1
2n + 3 1 2. Note que, na sries alternada, an j assumido sem o sinal para efetuar testes e
estimar erros. Para obter o erro inferior ou igual a 0.05, temos que somar at |En | an+1 0.05,
1 1
isto ,
2n+1
0.05 0.05 2n + 1 20 1 2n 19 2
n 9.5 n 10 n, pois n deve
ser inteiro. Assim, ter que somar at n = 10. A convergncia lenta desta sries justicada pelo
CAPTULO 3. SRIES NUMRICAS 12

fato do valor de r que pode ser obtido pelo teste da razo (Teorema 3.40 que veremos mais adiante)

igual a 1.

(1)n 1 1 1
Exemplo 3.19.
X
uma srie alternada com lim an = lim = = =0 e
n=1
n ln n n n n ln n ln
an = f (n) = 1
n ln n
com f decrescente para x grande, por ter f 0 (x) = (ln x+1)
(x ln x)2
0 para x 1. Logo a
1 1
srie converge. Para ter erro inferior a 0.05, tem-se que an = n ln n n para n > e e logo, basta ter
1
n
0.05 = n 20.

(1)n
Exerccio 3.20.
X
Mostre que a srie converge.
n=0
(n 10.5)2

3.5 Sries de termos positivos


No caso das sries de termos positivos, a soma parcial sempre crescente. Assim, se ele for limitado

superiormente, ser convergente (ver Teorema 2.24 da pgina 6). Assim, podemos obter alguns

critrios especiais.

Exerccio 3.21. Uma sries de termo positivo divergente se, e somente se, divergir para o innito.

Teorema 3.22 . A sries


an com an = f (n) onde f uma funo contnua,
X
(teste da integral)

positiva e decrescente
Z (por exemplo, f (x) 0) para x grande, ento a sries converge se, e somente
0

se, a integral f (x)dx converge para algum A. Alm disso, o erro cometido pela aproximao do
A Z
valor da sries S pela soma parcial SN no mximo f (x)dx.
N

Demonstrao.
X X X
Temos que an = an0 + + aN + an = SN + an . Como f (x) 0 para
n=n0 N N +1
n N , temos que a soma parcial Sn da sries crescente para n N . Assim, a sries converge se,
X
e somente se an for limitada.
n=N +1
Para cada n > N, temos que an+1 f (x) an para x [n, n + 1] por f ser decrescente

(Figura 3.1).

an
an+1 y = f (x)
x
n n+1

Figura 3.1: Teste da integral

Z n+1 Z n+1 Z n+1


Ento an+1 = an+1 dx f (x)dx an dx =an .
n n n
Se a integral converge, temos que
CAPTULO 3. SRIES NUMRICAS 13


X Z N +1 Z N +2 Z
an = aN +1 + aN +2 + f (x)dx + f (x)dx + = f (x)dx
n=N +1 N N +1 N

que limitada, o que implica que a sries converge.

Por outro lado, se a sries converge, temos que

Z Z N +1 Z N +2
X
f (x)dx f (x)dx + f (x)dx + aN + aN +1 + = an ,
N N N +1 n=N

implicando que a integral limitada e pelo fato da funo ser no negativa, ele converge.

Para analisar o erro, observemos que o erro de aproximao do valor da sries por SN igual a

X
an , o que conclui o teorema.
n=N +1

Note que, se a integral convergir, teria lim f (x) = 0, o que implica que lim an = 0.
x n

Exemplo 3.23. n x
P
convergente. De fato, an = f (n) onde f (x) = que positiva para
en2 e x2
2
x2 x2 2x (1x2 )ex
x > 0. Agora, f 0 (x) = 1e xe 2 = 2 0 para 1 < x2 (ou seja para x>1 que para todo x
(ex2 ) e2x
sucientemente grande). Como o termo da sries e denidos pela funo no negativa e decrescente,

aplicaremos o teste da integral.

1 1 x2 1
Z Z Z
x x2 2
dx = e xdx = ex (2x)dx = e + C = x2 + C.
e x2 2 2 2e
 
1 1 1 1
Z
x 1 1
Portanto, 2 dx = 2 = 2 12 = + = que um nmero (no ).
1 e x x
2e 1 2e 2e 2e 2e
Assim, a integral converge e consequentemente, a sries converge.

Exerccio 3.24. 1
P
Verique a convergncia da srie .
n ln n

Denio 3.25. 1
P
A sries
np
denominado de p-sries.

Teorema 3.26 (p-sries). 1


converge se, e somente se, p > 1.
P
np

A demonstrao feita pelo teste da integral (Teorema 3.1 da pgina 12) para o caso de p>0 e

o teste do termo geral (Corolrio 3.6) para o caso de p0 e ser deixado como exerccio.

X 1
A sries conhecido como a sries harmnicas que ca no limite entre sries convergentes
n=1
n
e divergentes, tendo divergncia muito lenta (para innito). A amostra da soma parcial parece

convergir para um nmero.


1 1
Exemplo 3.27.
X X
Seja a srie p = . Fazendo k =n+1 (logo, n = k 1),
n=0 (n + 1)3 n=0
(n + 1)3/2

X 1 X 1
3
tem-se que = que uma p-srie com p= 2
> 1. Ento ele converge.
n=0
(n + 1)3/2 k=1
k 3/2

Teorema 3.28 (teste da comparao). Se as Sries an e bn so de termos positivos (an > 0 e


P P

bn > 0) com an bn ento:


CAPTULO 3. SRIES NUMRICAS 14

Se an = , temos que bn = ;
P P


Se bn converge, temos que an tambm converge. Alm disso,
P P X X
an bn
n=n0 n=n0

N N
Demonstrao.
X X
Sejam (Sa )N = an(Sb )N =
e bn as somas parciais. Como so de termos
n=n0 Pn=n0
positivos, eles so crescentes e (Sa )n (Sb )n . Se an divergir, tem-se que lim (Sa )N = e logo,
P N
= lim (Sa )N lim (Sb )N de modo que bn = .
N
P N
Se bn convergir, (Sa )N (Sb )N lim (Sb )N = Sb < de modo que (Sa )N uma
N
sequencia crescente limitada superiormente por Sb . Logo converge. Alm disso,

X
X
(Sa )N (Sb )N = lim (Sa )N lim (Sb )N e consequentemente, an bn .
N N
n=n0 n=n0


1 X 1
Exemplo 3.29.
X
1 1
. Como
n(n+1
n2
e converge por ser p-srie com p = 2 > 1, a
n=1
n(n + 1) n2
srie converge.


en X en
Exemplo 3.30. en
X
en en
P
= . Como
n
e convergente por ser srie
n=1
n n
1
1
X en X
n e
geomtrica de razo r= < 1, a srie converge. alm disso, e = .
e
n=1
n n=1
1 1e

Teorema 3.31 (teste de comparao forma limite). Se as sries an e bn so de termos positivos


P P
an
com lim = L 6= . Ento temos
n bn

Se L 6= 0, ento as sries an e bn , ambas convergem ou ambas divergem.


P P

Se L = 0 e bn converge, ento an tambm converge.


P P

Se L = 0 e an diverge, ento bn tambm diverge.


P P

an
Demonstrao. Caso de L 6= 0. Como an e bn = L > 0 na condio
so de termos positivos, lim
n bn
L
do teorema. Assim, para =
2
, existe N N tal que n > N = L < abnn < L + e
P P
consequentemente, bn (L ) < an < (L + )bn . Se bn convergem, (L + )bn tambm converge.
P
Logo, an converge.
an for convergente, note que = L2 implica em L = L2 > 0 e consequentemente,
P
Se
an
P an P
bn < (L) . Como
L
converge, bn tambm converge pelo teste da comparao.
P
Caso de L = 0. Se bn convergente ento, dado  = 1, existe N N tal que n > N = 1 =
an
P P
L < bn < L + = 1 e consequentemente, an < bn . Se bn converge, ento an converge pelo
P P
teste da comparao e se an diverge, ento bn tambm diverge pelo teste da comparao.

an
Exerccio 3.32.
P P
Sejam as sries an e bn que so de termos positivos com lim= . Mostre
n bn
que

P P
an converge, ento bn tambm converge.
CAPTULO 3. SRIES NUMRICAS 15

P P
bn diverge, ento an tambm diverge.

an an
Exerccio 3.33. Dica: Imitar a demonstrao do caso de lim
n bn
=0 ou observe que lim
n bn
=
bn
ento lim = 0.
n an

O teorema acima simplica a vericao de convergncia da sries de termos no caso de ser quociente

da soma de funes elementares. A simplicao baseado na ordem de convergncia da funo

como no caso do teste de comparao das sequncias (Veja subseo 2.5 da pgina 5).

Exemplo 3.34. 1 1
P
(n+1)2
converge. Simplicando an = (n+1)2
pela ordem da funo, obteremos

1 an P P 1
bn = n2
. Como exerccio, verique que lim = 1 6= 0. Como bn = n2
uma p-sries com
n bn
P 1
p> 1, convergente. Logo a sries (n+1)2
tambm convergente, pelo teste de comparao forma

limite (Teorema 3.31). Note que o procedimento de simplicao pela ordem da funo nem sempre

funciona para usar diretamente o teorema de comparao forma limite.



2
X P n2
en +n convergente, mas a simplicao dos termos, seria e que convergente, mas
n=0
an
no serve para teste da comparao por ter lim = .
n bn

No entanto, fcil de vericar a convergncia pelo teste da razo (Toerema 3.40 da pgina 3.40).

3.6 Sries absolutamente convergentes


Denio 3.35. absolutamente convergente quando
P P
Uma srie an dito |an | converge. Se

|an | no converge, dito condicionalmente convergente.


P P
an converge, mas

Temos que

Teorema 3.36 (srie absolutamente convergente). A srie absolutamente convergente convergente.


Demonstrao.
P
Como 0 an + |an | 2|an | e como 2 |an | convergente, pelo teste da comparao
P P P P
(an + |an |) converge por ser sries de termos positivos. Assim, an = (an + |an |) |an | a
diferena de sries convergentes, o que implica que convergente.

Exemplo 3.37.
P cos n 1
P 1
2 converge, pois temos que |an | 2 . Como srie convergente por ser
n
P n n2
p-sries com p > 1, |an | converge pelo teste de comparao acima. Logo a srie absolutamente
convergente, o que implica que ele convergente.

Uma das caractersticas mais importantes da sries absolutamente convergente ter a mesma

soma, independente de rearranjos dos termos (Veja [3, Teorema do reagrupamento]). No caso das

sries condicionalmente convergentes, o rearranjo pode alterar o valor da soma (Veja o exemplo D.1

da pgina 32).

possvel provar que, se for dado uma srie condicionalmente convergente, consegue obter qual-

quer nmero real como valor da srie obtido pelo rearranjo dos seus termos.
CAPTULO 3. SRIES NUMRICAS 16

3.7 Teste da raiz e da razo


Para vericar a convergncia das sries sem caractersticas especiais, o teste da raiz e da razo so

os mais usados. A seguir, veremos estes testes.

Teorema 3.38 . Se r = lim |an | ento temos que


p
n
(teste da raiz)

Se r < 1 a sries an converge (srie ser absolutamente convergente);


P

Se r > 1, ento a sries an diverge.


P

Se r = 1, no se sabe.

Demonstrao. p
A demonstrao feita, comparando com a srie geomtrica de razo r .
1r
Se r = lim n |an | < 1, considere = 2
. Ento existe N N tal quen > N ,
X
p
r < n |an | < r + . Denotando r = r + , n
< 1 e |an | < r . Como a srie
temos que r rk
k=N
P
uma srie geomtrica com razo |
r| < 1, ele converge. Pelo teste da comparao, a srie |an |
P
convergente, o que implica que a srie an absolutamente convergente.
p
r1
Se r = lim n
|an | > 1, considere = 2
= r . Como no caso acima, teremos
e r rk < an com

r > 1.
Assim, temos que lim an = (prove). Logo, no pode ter lim an = 0 (prove), o que signica
n n
que a srie divergente.
s
en e
Exemplo 3.39.
P en
n2
diverge, pois r = lim n 2 = lim
n
= e > 1. A prova de que
n n n n2

n
lim n2 = 1 deixado como exerccio.
n

an+1
Teorema 3.40 (teste da razo) . Se r = lim
ento temos que
an
Se r < 1 a sries an converge (srie ser absolutamente convergente);
P

Se r > 1, ento a sries an diverge.


P

Se r = 1, no se sabe.

Demonstrao. A demonstrao
anloga do teste da raiz, mas requer mais cuidados.
an+1
Se r = lim < 1, considere = 1r . Ento existe N N tal que n > N ,
2
a n

an+1
r < < r + . Denotando r = r + , temos que r < 1 e |an+1 | < |an | r. Assim, pode-
an
k . Como a srie rk uma srie geomtrica
P
mos usar a induo nita para obter |aN +k | < aN r |aN |
P
com razo | r| < 1, ele converge. Pelo teste da comparao, a srie |aN +k | convergente, o que
P
implica que a srie
an absolutamente convergente.
an+1 r1

k
Quando r = lim
an > 1, considere = 2 e r = r no caso acima, obtendo aN r < |aN +k |

com r > 1.
Assim, temos que lim aN +k = (prove). Logo, no pode ter lim an = 0 (prove), o que signica
k n
que a sries divergente.
CAPTULO 3. SRIES NUMRICAS 17

Observao 3.41 . O critrio do teste da razo e da raiz mesmo, exceto em como determinar o valor

de r.
Observao 3.42 . Quado existem os limites considerados, o valor de r obtidos pelo teste da raiz e da

razo so mesmos. Logo, no adianta trocar o teste quando r = 1. No entanto, existem casos que

somente um dos testes consegue determinar o r.


Observao 3.43 . Quanto menor o r, mais rpido ser a convergncia da srie. Assim, r=0 indica

que a sries converge muito rpido, enquanto que r=1 indica que, se a sries convergir, converge

bem de vagar.

Note que na demonstrao da divergncia nos testes da raiz e da razo, foi mostrado que o termo

geral no tende a zero, o que faz perguntar porque ento existem problemas que aplica o teste da

razo em vez do teste do termo geral para provar que a srie diverge. O fato que, existe problemas

em que obter o limite da raiz ou da razo pode ser mais simples do que o limite do termo geral.

Exemplo 3.44.
P n2
converge, pois
n!
2
|an+1 | (n + 1) n! (n + 1)2 n+1
r = lim = lim 2
= lim 2
= lim 2
=
n |an | n n (n + 1)! n n (n + 1) n n
L0 Hopital 1 1
= lim = = 0 < 1. Assim, a sries converge (converge bem rpido).
n 2n
Note que nem sempre podemos empregar o teste da razo. A seguir, o exemplo que precisa do

teste da raiz por envolver forma similar a nn , o que torna difcil de aplicar a teste da razo..

 n
1 1 1 1
Exemplo 3.45.
X p
n
n
n converge, pois lim |an | = lim n n = 1 = < 1.
n=1
2 n n 2 2 2
 n
(1)n + 1/2
Exerccio 3.46. Dica:
X
Mostre que converge. Aplique o teste da razo, consi-
n=1
n
derando o caso de n ser par e n ser impar.

Observao 3.47 . As vezes, mostra que a srie converge para provar que o limite da sequncia 0.
n n
Isto ocorre quando o termo envolve a , n!, n , etc que so fceis de ser manipulado pelo teste da razo
ou da raiz, mas difcil de ser trabalhados diretamente.

A proposio a seguir impostante para estudo do erro de Taylor que veremos mais adiante. A

sua demonstrao ser simples, se utilizar a srie.

Proposio 3.48. Dado um nmero c, temos que limn cn! = 0.


n

Demonstrao.
P cn
Consideremos a srie . Pelo teste da razo,
n!
|an+1 | cn+1 n! c c
r= lim = lim n = lim = = 0 < 1.
n |an | n c (n + 1)! n n + 1
cn
Ento a srie converge e consequentemente, lim an = lim = 0.
n n n!
Captulo 4
Sries de Potncias
Denio 4.1. an (x c)n sries de potncias.
P
A sries do tipo denominado de

Dado uma sries de potncias, existe R na qual a srie converge para |x c| < R (no interior do
intervalo de raio R com centro em c) e diverge para |x c| > R. Este valor R denominado de raio

de convergncia. Quanto mais prximo do centro, a convergncia ser mais rpida e quanto mais

prximo dos extremos, a convergncia ser mais lenta.

Frequentemente, a sries de potncia aparece com expoente de (x c) diferente de n, como no


n 2n+1
X (1) x
caso de sen x = que tem 2n + 1 como potncias. Assim, requer cuidados na hora de
n=0
(2n + 1)!
obter o raio de convergncia.

Observao 4.2 . Convencionaremos que 00 = 1 e 0! = 1 para simplicar a notao.

4.1 Raio de convergncia


Uma forma de obter o raio de convergncia R aplicar o teste da razo ou da raiz, incluindo potncias
de (x c) para determinar valores de x na qual a sries converge.

Exemplo 4.3. n 3n+5 n 3n+5


P
en
x . Considerando o termo geral an = en
x , incluindo as potncias de

x c, temos que

|an+1 | (n + 1) en |x|3(n+1)+5 (n + 1) 3
r = lim = lim n+1 3n+5
= lim |x| =
n |an | n n e |x| n ne
3 3
L0 Hopital |x| |x|
= lim = .
n e e
Observe que o limite aplicado em n
e consequentemente, L'Hopital aplicado em n. Como
|x|3
precisamos de r<1 para garantir a convergncia,
e
< 1 |x| < 3
e. Logo, o raio de convergncia

R= 3
e.

O caso de ter deslocamento do centro anlogo.

Exemplo 4.4.
n+1
n
P
2n
(x 1) 2 . Temos que

18
CAPTULO 4. SRIES DE POTNCIAS 19


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

(n + 1) 2n+1 1 (n + 1)2 1
r = lim = lim n
|x 1| 2 = lim |x 1| 2 =
n n+1
an (x 1) 2
n n 2 n n
2 1 1
Aplicando a regra de L'Hopital, temos r = lim |x 1| 2 = 2|x 1| 2 . Logo, a convergncia
n 1
1 1 1
dado pela condio r = 2|x 1| < 1 = |x 1| 2 <
2
2
= |x 1| < 41 . Logo, |x 1| < 14 . Assim,
1
o raio de convergncia R = .
4

importante observar que |x c| < R e no |ax c| < R ou similar.

Exemplo 4.5.
P n
(2x 1) 2 . Temos que
n+1
(2x 1) 2

1 1
r = lim n = lim |2x 1| 2 = |2x 1| 2 . Logo, a convergncia dado pela condio
n (2x 1) 2 n
1
r = |2x 1| 2 < 1 = |2x 1| < 1. Logo, 2 x 21 < 1 = x 12 < 21 . Assim, o raio de
1 1
convergncia R = e centro de convergncia . Outra alternativa reescrever a srie como
P n P n 2 1
 n 2
(2x 1) 2 = 22 x 2 2
antes de aplicar o teste da razo ou raiz.

Observao 4.6 (para implementao computacional). Se a sries de potncias da forma an (x


P

c)n+ , o que aparece com maior freqncia, a razo ou raiz da parte das potncias de (x c) ser
|(x c)(n+1)+ | |(x c)n++ | |an+1 | p
n
lim = lim = |x c| . Logo, se = lim ou = lim |an |
n |(x c)n+ | n |(x c)n+ | n |an | n
(caso existam os limites, sero mesmos) onde an o termo sem as potncias de (x c), temos que


an+1 (x c)(n+1)+ |an+1 | (x c)(n+1)+
r = lim = lim lim = |x c| .
n |an (x c)n+ | n |an | n |(x c)n+ |
  1
1
Assim, a convergncia dado pela condio r = |x c| < 1 |x c| < , ou seja, o raio

  1
1
de convergncia R = . Esta frmula til para implementao computacional, mas no caso

de clculo manual, aconselhvel que efetue teste da raiz ou da razo de forma direta para evitar

erros.

4.2 O Intervalo de convergncia


O intervalo de convergncia o intervalo I com centro em c
R tal que a sries de potncias
e raio

converge se, e somente se, x I . Como convergncia garantido em |x c < R = R < x c <

R = c R < x < c + R e a divergncia anloga, o intervalo similar a [c R, c + R] com


cada extremos, abertos ou fechados dependendo da srie, o que requer testes. Uma das propriedades

importantes das sries de potncias

Teorema 4.7 (Abel) . A sries de potncia contnua no intervalo de convergncia.


Observao 4.8. Note que a sries de potncias especial por convergir para funo contnua graas ao

Teorema de Abel. Na sequncia de funes quaisquer, isto no acontece como no caso de fn (x) = xn
que uma sequncia de funes contnuas e convergente no intervalo
] 1, 1]. No entanto, o limite
0 , 1 < x < 1
f (x) = lim fn (x) uma funo descontnua dado como f (x) = (exerccio).
n 1 , x = 1
CAPTULO 4. SRIES DE POTNCIAS 20

Exemplo 4.9. xn
P
Determine o intervalo de convergncia de .
n
|an+1 xn+1 | (n + 1) |x|n+1 (n + 1)|x| L0 Hopital |x|
r = lim = lim = lim = = lim = |x|.
n |an xn | n n |x|n n n n 1
Como r < 1 para convergir, |x| < 1. Logo raio de convergncia R = 1. Como o centro c = 0, o
intervalo I =]1, 1[, com ou sem fechar os extremos. Testaremos cado um dos extremos. x = 1 ento
P 1
P (1)n
n
p-srie com p = 1 que divergente. Para x = 1, temos n
que uma srie alternada
1 1 1
com lim an = lim = = 0 e an no crescente, pois an+1 an n+1 n1 n n+1 0 1.
n n n
Logo, convergente. Portanto, o intervalo I = [1, 1[.

4.3 Derivadas e integrais


Derivadas e integrais das sries de potncias so efetuadas termo a termo. Tome cuidado quando
n
obtm a derivada, pois o termo constante vai sumir (an x para n = 0). Caso no observar, poder

aparecer potncias negativas! Na derivada, pode perder a convergncia nos extremos e na integral,

poder ganhar convergncia nos extremos, mas o raio de convergncia mo muda. Para saber se

ocorreu a perda (no caso da derivada) ou o ganho (no caso da integral) nos extremos, ter que

test-los.

xn
Exemplo 4.10.
X
x
Como e = para todo x (veja Exemplo 5.6) , temos que
n=0
n!

x2n x2n+1
Z Z X
x2
X
e dx = dx = +C que tem o raio de convergncia R = .
n=0
n! n=0
n!(2n + 1)
R x2
Assim, conseguimos uma representao em sries de potncias, da funo e dx que no tem

representao em termos de funes elementares.

Tambm poder obter o integral denido em termos de sries numricas.


(n + 1)xn
Exemplo 4.11. A srie de potncias
X
converge no intervalo (2, 2) (exerccio) de forma
n=0
2n
que poder calcular a integral em [1, 1].


#1
#1
1
(n + 1)xn (n + 1)xn+1 xn+1
Z X X X
dx = =
1 n=0 2n n=0
2n (n + 1) n=0
2n
1 1
 n+1  n+1 X  n X  n
X 1 X 1 1 1 1 1
= = .
n=0
2 n=0
2 n=0
2 2 n=0
2 2

Como somas de duas sries geomtricas,

1 1 1
(n + 1)xn 1
Z X
2 2 1 3
dx = 1 1 = = .
1 n=0 2n 1 2
1+ 2
4 4 2

No exemplo acima, at foi possvel obter o valor exato da integral denida, mas no caso geral,

a srie pode no ser fcil de ser resolvido. No entanto, a soma parcial da srie resultantes pode ser

usado para estimar a integral denida.


CAPTULO 4. SRIES DE POTNCIAS 21


(1)n xn+1
Exemplo 4.12. ln(1 + x) =
X
para 1 < x 1. Note que ln x no pode ser escrito na
n=0
n+1
an xn (sem deslocamento na origem), pois
P
sries da forma ln 0 = @, mas a srie converge em x = 0.
No entanto, com o deslocamento em x, f (x) = ln(1 + x) existe para x = 0.

0
X a0
Sabemos que f (x)
0
= (ln(1 + x)) = 1+x . 1
Como ao r n = , temos que
n=0
1r

0 1 X
n
X
f (x) = = (x) = (1)n xn para r = x com |r| = | x| = |x| < 1.
1 + x n=0 n=0

xn+1
Z Z X X
n n
Integrando, temos que f (x) = f (x)dx = (1) x dx = (1)n + C . Calculando
n=0 n=0
n+1
n+1
n x
X
para x = 0, temos f (0) = 0+C = ln 1 = C = 0 = C . Logo f (x) = (1) para |x| < 1.
n=0
n+1
Para os pontos de extremos, para x = 1 a sries converge (exerccio) e para x = 1, a sries diverge.

Como ln(1 + x) contnua neste intervalo, pode ser representado pela sries de potncias obtida,

X (u 1)n+1
para 1 < x 1. Se zermos u = 1 + x, temos que x = u 1 e fornece ln(u) = (1)n
n=0
n+1
que converge para 0 < u 2.

Observao 4.13 . Note que x=c o nico ponto na qual podemos obter o valor de qualquer sries
n
P
de potncia an (x c) .

Observao 4.14 . Note que o valor da sries harmnicas alternadas pode ser obtido facilmente com
n
X (1)
x=1 na sries de potncias de ln(1 + x). Assim, ln 2 =
n=0
n+1

(1)n x2n+1
Exemplo 4.15.
X
Temos que arctan x = para 1 x 1. Como arctan0 (x) = 1
1+x2
,
n=0
2n + 1
a soma da sries geomtricas com razo r = x2 para |r| = | x2 | < 1 = |x| < 1. Assim,

2 n
X X
0
(1)n x2n .

arctan (x) = x =
n=0 n=0

X (1)n x2n+1
Integrando, temos arctan(x) = + C . Como tan 0 = 0 = arctan 0 = 0, temos
2n + 1 n=0

X (1)n x2n+1
que C = 0 (exerccio). Logo, arctan x = . Como a sries converge para x = 1 e
n=0
2n + 1
x = 1 (exerccio), a sries coincide com a funo para 1 x 1 por arco tangente ser uma funo
contnua.

X (1)n

Observao .

4.16 Como tan 4
= 1, temos que = arctan(1) = (sries de Madhava-
4 n=0
2n + 1
Leibniz).


(1)n  x 2n+k
Exerccio 4.17. Mostre que a funo de Bessel de ordem k Jk (x) =
X
converge
n=0
n!(n + k)! 2
para todo x.
Captulo 5
Sries de Taylor e de Maclaurin

Teorema 5.1. Se f (x) = an (x c)n ento an = f (n) (c)
.
X
n!
n=0

Demonstrao. Como sries de potncias tem derivadas, f tambm ter. De-


0
rivando ambos os lados e observando que (x c) constante, temos que

X
f (k) (x) = an n (n 1) (n k + 1)(x c)nk (exerccio).
n=k
(k)
Assim, f (c) = ak k (k 1) (k k + 1) = ak k! (porqu?) e consequentemente,
f (k) (c)
ak = k! .

No caso da funo ser sries de potncias, o teorema acima permite obter a sries de potncias que

representa a funo, mas nem toda funo igual a uma sries de potncias, o que requer cuidados.

Seguinte teorema permite aproximar funes pelo polinmio, assim como vericar se possvel

escrever a funo em termos de sries de potncias.

Teorema 5.2 (Taylor) . Se f tiver derivadas contnuas at a ordem N + 1 no intervalo contendo c


N (n)
f (c)(x c)n f (n+1) (z)(xc)n+1
e x ento f (x) = + RN onde Rn = com z [c, x].
X
(n+1)!
n=0
n!

Escrevendo f (x) = pN (x) + RN com pN (x) = a0 + a1 (x c) + + aN (x c)N e assumindo que


f (i) (c)
derivadas at ordem N de f coincide com do polinmio, podemos mostrar que ai = (exerccio).
i!
No entanto, a prova da expresso do erro requer mais trabalhos, o que no feito aqui.
N (n) n
X f (c)(x c)
O polinmio pn (x) = chamado de polinmio de Taylor de ordem N em torno
n=0
n!
|xc| n+1
de c e serve para estimar o valor de f (x). |Rn | Mn+1
O erro estimado por
(n+1)!
onde Mn+1
(n+1 (n+)
um limitante para |f (z)|, isto , um nmero tal que |f (z)| Mn+1 que no independe de
(n) n
X f (c)(x c)
z (depende somente de x e n). A sries denominado de sries de Taylor em
n=0
n!
torno de c. Quando c = 0, a aproximao/sries de Taylor denominado de aproximao/sries de

Maclaurin. Lembre-se que, quanto mais prximo for o x de c, menor ser o erro. Assim, se j tiver

o valor de x que queremos estimar, dever desenvolver em torno do ponto mais prximo em que

sabemos o valor da funo e suas derivadas.

22
CAPTULO 5. SRIES DE TAYLOR E DE MACLAURIN 23

Exemplo 5.3. sen 0.1 usando o Taylor de ordem 3 e estime o seu erro. Temos
Estimar o valor de
0 00 000 (4)
que sen x = cos x, sen x = sen x, sen x = cos x e sen x = sen x. O ponto mais prximo
de 0.1 que sabemos os valores de funo e suas derivadas 0. Taylor de terceira ordem em 0
2 3
p3 (x) = f (0) + f 0 (0)(x 0) + f 00 (0) (x0)
2!
+ f 000 (0) (x0)
3!
0
. Temos f (0) = sen 0 = 0, f (0) = cos 0 = 1,
2 3 3
f 00 (0) = sen 0 = 0,f 000 (0) = cos 0 = 1 de onde p3 (x) = 0 + x + 0x2! + x 3!
= x x6 . Assim,
3
sen 0.1 ' 0.1 0.16 = 0.1 0.0016
= 0.1 0.00016666 = 0.0998333
(4)
Para estimar o erro, temos que M4 max{|f (z)|} = max{| sen z|} com z [c, x] = [0, 0.1].
|x|4 4
Como | sen | 1, podemos tomar M4 = 1. Logo, |R3 | M4
4!
= 0.1
24
= 0.0001
24
.

Exerccio 5.4. Estimar o valor de e0.1 usando o Taylor de ordem 3 e estime o seu erro, sabendo que

e < 3.
f (n) (c)(xc)n P
Quando lim RN = 0, temos que f (x) = n!
e a funo igual a sua sries de Taylor.
n=0
N
(n+1)
Neste caso, f denominado de funo analtica. Isto ocorre, por exemplo, se |f (z)| M para
todo n, z [c, x] (valor absoluto das derivadas so limitados pelo nmero M que no depende de

n, nem de z ).
Observao 5.5 . Note que nem toda funo de classe
C (que tem todas derivadas contnuas)
e 1
x2 , x 6= 0
analtica. Por exemplo, f (x) = tem todas derivadas contnuas e f (k) (0) = 0 para
0 ,x = 0

X 0xn X
todo k (exerccio). Assim, a sries de Taylor em torno de 0 ser = 0=0 que converge
n=0
n!
n=0
para todo x, mas obvio que no f (x) para x 6= 0 (no existe intervalo em que f (x) coincide com

a sries de Taylor em torno de 0).



xn
Exemplo 5.6. Vamos provar que e =
X
x
para todo x. Temos f (x) = ex , f 0 (x) = ex , f 00 (x) = ex ,
n=0
n!
..., f (n) (x) = ex . c = 0. Assim, podemos
Ponto onde podemos calcular funo e suas derivadas em
0 (n)
obter a sries de Taylor em torno de 0. Neste caso, teremos f (0) = e = 1 e f (0) = e0 = 1 para todo

X f (n) (c)(x c)n X f (n) (0)xn X
xn
n., tendo a sries de Maclaurin (Taylor em torno de 0) = = .
n=0
n! n=0
n! n=0
n!
Para que f (x) seja igual a sries de Taylor, o erro deve tender a zero quando n cresce.
(n+1)
Temos que |f (z)| = |ez | = ez contnua no intervalo [c, x] = [0, x]. Sabemos que toda
funo contnua no intervalo fechado possui mximos e mnimos. Ento existe um mximo M em

[0, x], isto , constante M tal que |f (n+1) (z)| M para todo z [c, x] = [0, x]. Como |f (n+1) (z)| =
|ez | = ez no depende de n, M tambm no depende de n (se f n+1 (z) depender de n, Mn tambm
(n+1)
dependeria de n, mas isto no ocorre neste caso). Assim, |f
(N +1) N (z)| limitado pelo nmero M
f (zN ) x M xN
que no depende de n. Assim, lim |RN | = lim lim = M 0 = 0 pela
N N (N + 1)! N N !

X xn
Proposio 17 (pgina 3.48). Logo, f (x) = .
n=0
n!

Veremos outro exemplo.


(1)n x2n+1
Exemplo 5.7.
X
Vamos provar que sen x = para todo x. Temos f (x) = sen x, f 0 (x) =
n=0
(2n + 1)!
CAPTULO 5. SRIES DE TAYLOR E DE MACLAURIN 24

cos x, f 00 (x) = sen x,f (3) (x) = cos x, f (4) (x) = sen x = f (x). Como queremos que seja srie de

Maclaurin, devemos desenvolver em torno de 0.

Iniciaremos pela anlise de erro. Como todas derivadas so seno ou cosseno e


n+1
| sen x| 1 e
| cos x| 1, temos que |f (z)| 1 = M para todo n. Assim,
f (N +1) (zN ) xN x N
lim |RN | = lim M lim = M 0 = 0, novamente pela Proposio 3.48 (p-
N N (N + 1)! N N !
gina 17). Consequentemente, sen x coincide com a sries de Maclaurin para todo x.
0
Para obter a sries de Maclaurin (c = 0), observemos que f (0) = sen 0 = 0, f (0) = cos 0 = 1,

f 00 (0) = sen 0 = 0,f (3) (0) = cos 0 = 1 e quarta em diante repete de novo, pois quarta derivada
igual a f . Assim, da ordem par sempre nulo, o que signica que no vai aparecer na sries de

potncias. Da ordem mpar alterna de sinal e seu valor absoluto 1. Assim, para n = 2k + 1, temos
(n)
que f (0) = f 2k+1 (0) = (1)k . Portanto, a sries de Maclaurin (Taylor em torno de 0)

X f (n) (0)(x 0)n X f (2k+1) (0)x2k=1 X (1)k x2k+1
= =
n=0
n! k=0
(2k + 1)! k=0
(2k + 1)!
.

Nem sempre o limitante da derivada independente de n, o que torna difcil de trabalhar com o

erro de Taylor, como no exemplo a seguir.


(1)n (x 1)n+1
Exemplo 5.8.
X
1
Vamos provar que ln x = para
2
x2 usando tcnicas de
n=0
n+1
sries de Taylor. Sendo f (x) = ln x, temos que f 0 (x) = x1 , f 00 (x) = 1
x2
000
, f (x) =
12
x3
,f
(4)
(x) = 123
x4
,
(1) n+1 (n1)!
(5) 1234 (n)
f (x) = x5
, . . . de forma que f (x) = xn
para n > 0, o que pode ser vericado pela

induo nita (exerccio).


n+1
Logo, f
(n)
(1) = (1) 1n+1(n1)! = (1)n+1 (n 1)! para n>0 de onde temos a sries de Taylor


X f (n) (1)(x 1)n X f (n) (1)(x 1)n
f (x) = = f (1) +
n=0
n! n=1
n!

X (1)n+1 (n 1)!(x 1)n X (1)n+1 (x 1)n X (1)k (x 1)k
=0+ = = .
n=1
n! n=1
n k=0
k+1

Para saber quando coincide com ln x, precisamos vericar o termo do erro.


(n+1)
n!

Temos que |f (z)| = z n+1
que decrescente. Ento ele assume o mximo quando valor de z
for mnimo.
(n+1)
Para 1 z x, o valor de mximo assumido em z = 1, tendo f (z) n!, Logo,

(n+1)
f (zn ) |x 1|n+1 Mn |x 1|n+1 n!|x 1|n+1
lim |Rn | = lim lim = lim
N n (n + 1)! N (n + 1)! n (n + 1)!
n+1
|x 1|
= lim =0
n n+1

para |x 1| 1, o que garante que coincide em [1, 2].


1 (n+1)
Para intervalo
2
, 1 , observe que f (z) assume o maior valor em x por ter x z 1.
(n+1)
n!
n!
Logo, |f (z)| = zn xn+1 = Mn+1 se 0 < x < 1.
CAPTULO 5. SRIES DE TAYLOR E DE MACLAURIN 25

Assim,

(n+1)
f (zn ) |x 1|n+1 Mn |x 1|n+1 n!|x 1|n+1
lim |Rn | = lim lim = lim n+1
N n (n + 1)! N (n + 1)! n x (n + 1)!
n+1
n+1
|x 1| x 1 1
= lim n+1 = lim =0
n x (n + 1) n x n+1
1
x1
para
2
x1 por ter
x
1 (exerccio). o que garante que a srie coincide com a funo.
 1
Note que a tcnica acima falha em 0, 2 , o que torna difcil provar que a srie coincide com o

ln x para todo x no intervalo ]0, 2] (o que j foi provado sem diculdades, usando a srie geomtrica).

(1)n x2n
Exerccio 5.9.
X
Mostre que cos x = para todo x.
n=0
(2n)!

Exerccio 5.10. Encontre a sries de Taylor de cos x em torno de



2
.

Exerccio 5.11. Obtenha a sries de Taylor de sen(x2 ) em torno de 0. Dica: Use a sries de sen x,
pois nica sries de potnicas que representa a funo de Taylor (Teorema 5.1).

Z 1
Exerccio 5.12.
2
Obtenha a integral denida ex dx em termos de sries numricas.
0
Apndice A
Sries de Fourier
As sries de potncias uma forma de aproximar a funo atravs da combinao linear (soma

dos mltiplos) de potncias de x que {1, x, x2 , x3 , . . .}. Em vez das potncias de x, podemos

utilizar outras sequncias de funes (com preferencia, as funes cuja suas propriedades j so

conhecidas). Uma destas sequncias frequentemente utilizadas a sequncia das funes trigonom-

tricas {1, cos x, sen x, cos(2x), sen(2x), cos(3x), sen(3x), . . .}. Somando os mltiplos dos termos desta

sequncia, teremos a sries


a0 X
+ (an cos(nx) + bn sen(nx))
2 n=1

conhecidas como sries de Fourier e apresenta propriedades interessantes. Assim como a sries de

potncias, temos a forma de obter os coecientes ak e bk a partir da funo dada, para representar a

funo ou uma aproximao atravs da sua soma nita.


Teorema A.1. f (x) = (an cos(nx) + bn sen(nx)) em [, ] ento
X
a0
2
+
n=1
Z
1
a0 = f (x)dx (A.1)

e para k > 0, tem-se que

Z
1
ak = f (x) cos(kx)dx (A.2)

Z
1
bk = f (x) sen(kx)dx (A.3)

Demonstrao. Para obter os valores de seus coecientes, vamos supor que



X
a0
f (x) = 2
+ (an cos(nx) + bn sen(nx))
n=1
no intervalo [, ].
Em vez de tentar ajustar as derivadas (feito para sries de potncias), vamos ajustar algumas

integrais denidas.

Inicialmente, veremos a integral no intervalo [, ].

26
APNDICE A. SRIES DE FOURIER 27

Z Z  Z Z 
a0 X
f (x)dx = dx + an cos(nx)dx + bn sen(nx)dx
2 n=1
R R
e observando que

cos(nx)dx = sen(nx)dx = 0, temos
R

f (x)dx = a0 . Ento

1
Z
a0 = f (x)dx

Para obter os valores de ak e bk para k = 1, 2, 3, . . ., analisaremos o integral de f (x) cos(kx) e
R R
f (x) sen(kx) no intervalo [, ]. Para tanto, observemos que cos2 (kx)dx = sen2 (kx)dx = ,
R R
cos(nx) sen(kx)dx = 0 para todo n e k e se n 6= k , temos tambm que cos(nx) cos(kx)dx =
R


sen(nx) sen(kx)dx = 0. Estes clculo podem ser efetuados com o uso de identidades trigonom-
tricas apropriadas.

Com tais integrais,


Z Z 
X Z Z 
f (x) cos(kx)dx = a0 cos(nx)dx + an cos(nx) cos(kx)dx + bn sen(nx) cos(kx)dx
n=1
R
torna

f (x) cos(kx)dx = ak , o que implica que

Z
1
ak = f (x) cos(kx)dx

R
Analogamente, temos que

f (x) sen(kx)dx = bk , o que implica que

1
Z
bk = f (x) sen(kx)dx

A convergncia da srie de Fourier da funo garantida pelo seguinte teorema

Teorema A.2. Se f : R R for 2-peridica (f (x + 2) = f (x) para todo x), contnua por partes
e possui derivadas laterais em x (por exemplo, ter derivadas), ento a srie de Fourier de f em x
+ (x )
converge para o ponto mdio dos limites laterais f (x )+f
2
. Em particular, se f for contnua em x,
a srie de Fourier de f em x converge para f (x).

Para facilitar os clculos de tais coecientes, veremos noes bsicas sobre funo par e impar.

Denio A.3. Uma funo f dito funo par se f (x) = f (x) para todo x e dito mpar se

f (x) = f (x) para todo x.


RL RL
Quando f par, temos que
L
f (x)dx = 2 0
f (x)dx e quando f impar, tem-se que
RL
L
f (x)dx = 0.
As funes dado por f (x) = xn par se n for par e mpar se n for mpar. Tambm tem-se

que cos(nx) par e sen(nx) impar. As funes par e mpar comporta como jogo de sinal na

multiplicao. Temos que o produto de duas funes pares ou mpares so funo par e produto de

funo par com mpar mpar.


APNDICE A. SRIES DE FOURIER 28


|x| , x 6= 0
Exemplo A.4. Agora vamos calcular a srie de Fourier da funo f (x) = x
no intervalo
0 x=0
[, ]. Note que a funo impar. Logo, a0 = 0. Como f (x) cos(nx) mpar, ak = 0 para

k = 1, 2, . . .
Ento calcularemos os valores de bk 's, f (x) sen(nx) par.
observando que

R  i 0 ,n par
1 |x| 2 2 cos(nx) 2 cos(n)+2 cos 0
R
bn = x
sen(nx)dx = 0 sen(nx)dx = n = n
= .
0 4 ,n impar
n
Logo a Srie de Fourier ser

X 4
f (x) = sen ((2k + 1)x).
k=0
(2k + 1)

4X 1  
Observao A.5 . No exemplo anterior, para x =
2
, temos que 1= sen (2k + 1) .
k=0 2k + 1 2



 1 ,k par 4 X (1)k
Como sen (2k + 1) 2 = , temos que 1= , o que implica que
1 , k impar k=0 2k + 1

X (1)k
= que mesmo obtido pelo arco tangente (Observao 4.16).
4 k=0
2k + 1

Exemplo A.6. f (x) = |x| no intervalo [, ].


Agora vamos calcular a sries de Fourier da funo

Note que a funo par. Logo f (x) sen(nx) mpar, tendo bk = 0 para k = 1, 2, . . .

Ento calcularemos os valores de ak 's, observando que f (x) cos(nx) par.


R R
a0 = 1 f (x)dx = 2 0 xdx =
R R  i
an = 1 |x| cos(nx)dx = 2 0 x cos(nx)dx = 2 x sen(nx)
n
cos(nx)
n 2 = 2
n2
(cos(n) cos 0) =
0
0 , n par
.
42 , n impar
n
Logo a Srie de Fourier ser

X 4 4 X cos((2k+1)x)
f (x) = + cos ((2k + 1)x) = 2 .
2 k=0 (2k + 1)2 2 k=0 (2k+1)

Exerccio A.7. Obtenha a sries de Fourier da funo f (x) = x em [, [.

Observao A.8 . Dada uma funo f denida no intervalo [a, b], f(x + kT ) = f (x)
podemos denir

para todo inteiro k , onde Ento f peridica de perodo T e coincide com a funo f
T = b a.
em [a, b]. A funo f denido desta forma denominada de extenso peridica de f . Para ter uma

srie de Fourier de f em [a, b], calcula-se a srie de Fourier de f. Efetuando a mudana de variveis
T
e usando L = = ba juntamente com a periodicidade, tem-se que
Z L2 2
1 b
Z
1
ao = f (t)dt = f (t)dt
L L L a
e para n = 1, 2, 3, . . .
1 L 1 b
Z  n  Z  n 
an = f (t) cos t dt = f (t) cos t dt
L L L L a L
1 L 1 b
Z  n  Z  n 
bn = f (t) sen t dt = f (t) sen t dt
L L L L a L
e a sries de Fourier da forma
APNDICE A. SRIES DE FOURIER 29


a0 X   n   n 
+ an cos t + bn sen t
2 n=1
L L

Exerccio A.9. Verique que a extenso peridica de f (x) = |x| em [, ] uma funo contnua.

2 X 1
Agora, tome x= na expresso da srie de Fourier do Exemplo A.4 para obter = 2
.
8 k=0
(2k + 1)

Exerccio A.10. Sejaf (x) = x em [0, 1[. A extenso peridica de f contnua? Quanto deve valer

o valor da srie de Fourier em x = 2? Agora obtenha a srie de Fourier da funo.

Exerccio A.11. Obtenha a srie de Fourier da funo f (x) = 1 em [1, 1] e g(x) = |x| em [1.1[.
Usando estas sries, obtenha a srie de Fourier de h(x) = 1 |2x| em [1, 1[.
Apndice B
Prova do Teorema 2.24
Uma sequncia dita limitada se existe M n, |xn | M .
tal que

Um nmero M dito limitante superior do conjunto X R, se for maior ou igual a qualquer

elemento do conjunto, isto , x X, x M . O conjunto X R limitado superiormente se tiver li-

mitante superior. Anlogo para o limitante inferior. O menor das limitantes superiores denominado

de supremo. Assim, o supremo de XR sup X = inf{M R : M limitante superior de X}.


Da mesma forma, podemos denir o nmo.

Uma das propriedades importantes do conjunto dos nmeros reais o fato de todo subconjunto

limitado superiormente ter um supremo.

Observao B.1 . S = sup X ento para todo > 0, existe x X : S < x.


De fato, se x S para todo x, temos que S seria um limitante superior de X menor que

S, contradizendo o fato de S ser o supremo (menor limitante superior).

Agora, vamos provar o Teorema 2.24 da pgina 6. Lembrando que o enunciado do teorema

Teorema. Toda sequncia montona limitada convergente.


prova do Teorema 2.24. Provaremos somente no caso da sequncias crescentes, pois caso decrescente

anloga.

Seja S = sup{xn } e vamos provar que lim xn = S .


n
Seja dado > 0. Como S supremo de {xn }, existe
N tal que S < xN < S . Como a sequncia
crescente, xn xN para todo n > N . ento S < xN < xn . Como S limitante superior,

xn S . Assim, S < xn S < S + , implicando que N : n > N = S < xn < S + .


Logo lim xn = S .
n

Outro teorema interessante deste tipo, importante para estudos mais avanados das sequncias e

sries

Teorema B.2 (Bolzano-Weierstrass). Toda sequncia limitada possui uma subsequncia convergente.
A demonstrao baseado na construo de uma sequncia crescente usando o supremo e

deixado como exerccio.

30
Apndice C
Consideraes sobre sequncias pela
recorrncia
Quando a sequncia dado por xn+1 = (xn ), dizemos que uma funo de recorrncia. O estudo

da funo de recorrncia importante para saber sobre a sequncia gerada, assim como estudar uma

funo importante estudar a sequ6encia gerada, considerando a funo como funo de recorrncia.

Teorema de Picard Um dos teoremas mais importante para estudo da convergncia de sequncias

recursivas o Teorema de Picard.

A verso do teorema de Picard no caso de envolver funo diferencivel

Teorema C.1 (Picard). Seja , uma funo diferencivel e < 1 tal que |0 (x)| < 1 para todo
x. Ento a sequncia recursiva denida como xn+1 = (xn ) converge, independente do valor de x0 .

A demonstrao costuma ser feito usando a sries geomtrica e no ser apresentado aqui por

precisar conceitos da sequncias de Cauchy.

Mtodos de Newton Uma das formas de conseguir uma sequncia recursiva que aproxima um

determinado valor pelo mtodo de Newton.

Seja f , uma funo diferencivel e queremos um valor tal que f () = 0. Ento denimos xn+1 =

xn ff0(xn)
(xn )
determina uma sequncia recursiva e em muitos casos, gera uma sequncia convergente.

Nos no vamos entrar em detalhes, mas veremos o caso de obter sequncias que converge para a
para a > 0.

Como queremos que = a, considere x = a = x2 = a = x2 a = 0 (cuja soluo

x = a). Assim, usaremos a funo f (x) = x2 a. Ento a sequncia pode ser denido como sendo
2 a 2 +a
xn+1 = xn x2x
n
= x2x
n
. Com um pouco de trabalho, podemos provar que a sequncia determinada
n
n
para o caso de x0 > a decrescente e limitada inferiormente por a, o que convergente pelo

Teorema 2.24 (pgina 6). Assim, conseguimos uma sequncia que aproxima o valor de a.

31
Apndice D
Exemplo de rearranjos dos termos da sries
condicionalmente convergentes

(1)n
Exemplo D.1. Consideremos a sries harmnica alternada
X
que convergente com o valor
n=0
n+1
da soma no nula (exerccio).
n
X (1) 1 1 1
Seja S= = 1 + + que no nula (exerccio), consideremos
n=0
n+1 2 3 4


1 1 X (1)n 1 1 1 1
S= = + +
2 2 n=0 n + 1 21 22 23 24
1 1 1 1
=0+ +0 +0+ +0 +
21 22 23 24
1
Somando S e
2
S , temos

3 1 2 1 1 2
S =1+0+ + +0+ + 0 +
2 3 22 5 7 24
 
1 1 1 1 1 X 1 1 1
= 1 + + + + = + .
3 2 5 7 4 n=0
4n 3 4n 1 2n


3 X (1)n X

1 1 1 3
Desta forma, obtivemos = + que tem o valor S 6= S .
2
2 n=0 n + 1 n=0
4n 3 4n 1 2n
 
X 1 1 1 1 1 1 1 1
No entanto, a sries + = 1 + + + + uma sries
n=0
4n 3 4n 1 2n 3 2 5 7 4
X (1)n 1 1 1
obtido pela sries harmnica alternada = 1 + + atravs de rearranjos, co-
n+1 2 3 4
locando dois positivos seguido de um negativo. Assim, conclumos que na sries condicionalmente

convergentes, o rearranjo dos termos pode alterar o valor das sries.

32
Referncias Bibliogrcas
[1] Simmons, George G. (traduo de Seiji Hariki), Clculo com Geometria Analtica,

vol. 2, MCGraw-Hill, 1988.

[2] Swokowski, E. W. O Clculo com Geometria Analtica, Vol. 2, Makron Books do

Brasil Editora Ltda, 2a. edio, So Paulo, 1995.

[3] Matos, Marivaldo P., Sries e Equaes Diferenciais, Prentice Hall, 2002.

[4] Boyce, William E. e DiPrima, Richard C., Equaes Diferenciais Elementares e Pro-

blemas de Valores de Contorno, LTC Editora, 1999.

33

Você também pode gostar