Você está na página 1de 35

Sequncias e Sries

Sadao Massago
Setembro de 2014

Sumrio
1 Aritmtica Innitesimal

2 Sequncias Numricas

2.1

Algumas propriedades operacionais

. . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2

Teste da subsequncia

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3

Sequncias denidas pela funo contnua . . . . . . . . . . . . . . . . . . . . . . . . .

2.4

Teorema de Sanduche

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5

Usando a ordem da funo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.6

Sequncias montona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.7

Limite da sequncia denida pela recorrncia . . . . . . . . . . . . . . . . . . . . . . .

2.8

Alguns limites importantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3 Sries Numricas

3.1

Algumas propriedades operacionais

. . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2

Limite do termo geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3

Sries geomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

3.4

Sries alternada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

3.5

Sries de termos positivos

12

3.6

Sries absolutamente convergente

3.7

Teste da raiz e da razo

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

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

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

o clculo innitesimal, mas o valor numrico de


mente menor que

denotado por

denotado por

igual a

a.

a+ .

Temos que

a+ > a

para

Analogamente, o valor innitesimal-

. Entre estes valores innitesimalmente prximos,

frequentemente usados, juntamente com o jogo de sinal. Por exemplo,

1
(0 )2

1
0+

0+

so

= .

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


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

Se
Se

+ = , = , = ,
a > 0 ento a = , a = .
a > 1 ento a =

= 0+ ,

1
0+

= , + c = ,

Indeterminados:

1 0
, , ,
0 0

Exerccio 1.3.

0 , 0 , 1 .

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

limites adequados).

Exerccio 1.4.

Para

0 < a,

Exerccio 1.5.

Para

0<b<1

Exerccio 1.6.

Para

c<0

Exerccio 1.7.

Para,

tem-se

tem-se

tem-se

a>1

a = 0+ .
b = 0+ .

c = 0+ .

tem-se

loga =

loga 0+ = .

Captulo 2
Sequncias Numricas
Uma sequncia real uma funo que associa um valor a cada nmero inteiro no negativo. Quando
tem uma expresso, escrevemos
o

x(n)

xn

(denominado de termo geral quando

que tambm indicaria o elemento de ndice

usada pela lista de suas imagens como em


geral como em

1
para
n

xn =

n > 0.


1
n nN

genrico) para designar

na lista de suas imagens. A representao mais

= 1, 12 , , n1 ,

ou pela expresso do termo

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
Note que,

|xn L| <

sequencia convergente

se, e somente se,

L < xn < L + ,

dito

limite da sequncia.

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 .
caso, dizemos que a

sequncia diverge para innito

sequncia diverge para

imediato que uma sequencia

Denio 2.3.

e denotamos por

lim xn = .

Analogamente, a

M R existe N0 N tal que n > N0 = xn < M .


para se, e somente se, xn diverge para innito.

se, para todo

xn

diverge

A sequncia no convergente denominado de

divergentes podem ser divergentes para

sequncia divergente.

ou que no tem limites.

2.1 Algumas propriedades operacionais


Propriedades.
Se

(an )

(bn )

so sequncias convergentes (comeando de mesmo ndice), ento

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


n

lim (an ) = lim an .


n

lim (an bn ) = lim an lim bn .


n

lim an
an
= n
n bn
lim bn

lim

desde que

Neste

lim bn 6= 0.

As sequncias

CAPTULO 2.

Caso

SEQUNCIAS NUMRICAS

for contnua,

lim f (xn ) = f

lim xn

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.
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

grandes.

2.2 Teste da subsequncia


Para mostrar que o limite no existe, o teste de subsequncias so um dos mais utilizados.
sequncia uma sequncia formado pelas partes da sequncia dada, isto
injetiva (ni

= nj

ento

y k = xn k

onde

Sub-

k 7 nk

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)

mites diferentes ser divergente.

. Qualquer sequncia que possui duas subsequncias com li-

Este corolrio um dos mais importantes para provar a divergncia das sequncias.

Exemplo 2.8. xn = (1)n


subsequncia

x2n+1 = (1)

diverge, pois a subsequncia

2n+1

= 1

Para mostrar que a sequncia

converge para

xn

x2n = (1)2n = 1

converge para

1,

e a

que so valores diferentes.

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
converge para
n

0. Para provar, considere as subsequncias yk = x2k =


2k+1
1
1
1
1
= 2k
na qual tem-se lim yk = lim
=
= 0+ = 0 e zk = x2k+1 = (1)
= 2k+1
na qual
2k+1
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.


(1)2k
2k

Note que o problema acima muito mais fcil de ser resolvido pelo Teorema de Sanduiche (Teorema 2.14 da pgina 4) que veremos mais adiante.

Exemplo 2.10. xn = (1)n

yk = x4k = (1)4k+2 = 0 na qual tem-se


= 1 na qual lim zk = lim 1 = 1. Como yk e zk
k
k
xn convergir, o limite ser 1. No entanto, a unio

e consideremos

lim yk = lim 1 = 1 e zk = x4k+2 = (1)4k+2


k
k
possuem o mesmo limite, podemos dizer que, se
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

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

en
en
L0 Hopital
en

L0 Hopital
=
lim
=
=
lim
=
= .
=
2
n 2n
n 2
n

2
considerar n como nmero real na qual na sequncia era nmeros

Exemplo 2.13. n
lim

Note o abuso de

linguagem para

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() = @.

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-

lim an = L, temos que, > 0, existe Na N tal


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 , temos que L an L + . e L cn L + . Logo, L < an bn cn < L + . Assim,
lim bn = L.
trao devido a sua importncia.

Sendo

Exemplo 2.15. xn =
consequentemente,

cos n
= 0.
n
n

1 cos n 1 implicando que 1


cosn n n1 e
n
1
cos n
1
1
cos n
1
lim
lim
lim . Assim,
= 0 lim

= 0. Logo,
n n
n
n n
n
n

cos n
ento temos que
n

lim

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.

Exemplo 2.17. xn =

(1)n
(1)n

ento lim
n
n
n

1
1
=
= 0+ .
n n

= lim

Logo,

(1)n
= 0.
n
n
lim

Outro exemplo do uso do Teorema de Sanduche.


(n1) vezes

z }| {
n!
n nn =

Exemplo 2.18. Vamos mostrar que n


lim n = 0. Observe que nn!n = n(n1)(n2)21
nn
nn
n
n!
1
1
n!
nn1
= n1 . Logo, 0 nn!n n1 , o que implica que 0 lim n lim =
= 0. Assim, lim n = 0.
nn
n n
n n
n n

CAPTULO 2.

SEQUNCIAS NUMRICAS

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
quando precisamos determinar o limite. Dizemos que

f (x)
= 0.
xa g(x)

f = o(g) em a quando lim

Se usar a

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).

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
(pgina 4).

an = o(n!) a Proposio 3.47 (pgina 17).


Caso de x ser real, precisaria usar o fato das

O caso de

n! = o(nn )

o exemplo 2.18

funes serem contnuas crescente, o que

omitiremos aqui.

f (n)
= 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
Assim, se denotarmos

f g

para o caso de

f = o(g) em ( lim

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
Demonstrao.

Como

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

xa

Exemplo 2.21.
que

f


f (x)
o(g) em a, temos que lim
=0
xa g(x)

f (x)
+ 1 g(x) = lim (0 + 1) lim g(x) = lim g(x)
n
x
xa
g(x)
2
=

por

denio.

1+n

Obter o limite de

lim

n en

+ ln n

, caso exista. Como

1 = o(n2 )

ln n = o(en ),

temos

CAPTULO 2.

SEQUNCIAS NUMRICAS

n2
n

= lim n = lim n =
lim n
n e
n e + ln n
n e

1+n2

L0 Hopital

1
1
1
= 0.
= =
n
n e
e

lim

2.6 Sequncias montona


Uma sequncia
uma sequncia

an dito montona crescente quando an+1 an para todo n.


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

Denio 2.22.

Da forma anloga,

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.

an+1 > an para todo n, dizemos que a sequencia estritamente


< an para todo n, dizemos que a sequncia estritamente decrescente.

No caso de ter

crescente e caso de ter

an+1

Uma sequncia estritamente montona se for estritamente crescente ou estritamente descrescente.


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

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
. A sequncia limitada, pois |xn |
n+3
2
2
2

1. Ele crescente, pois xn+1


xn

(n + 1) n(n + 2) n + 2n + 1 n + 2n 1 0 que vale sempre. Logo,


a sequncia converge. Note que, fcil ver que lim xn = 1 pela regra de L'Hopital, o que implica
n+1
n+2

n
n+1

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

Exemplo 2.26.

Sabendo que

(assim, caria

xn+1 =

teremos


x2n

+2
=
n
n 2xn

L2 = 2 L = 2.
lim xn+1 = lim

lim xn

e consequentemente,

x2n +2
converge, encontre o seu limite. Denotando
2xn

+2

2 lim xn

que seria

L=

L2 +2
. Resolvendo, teremos
2L

L = lim xn ,
n

2L2 = L2 +2

Assim, caso tiver o limite,

xn > 0

2

L = f (L)).

lim xn =

L 0.

ou

lim xn = 2.

Logo, no caso de ter

x0 > 0,

No caso de ter
teramos

L=

x0 > 0,

2.

teramos

CAPTULO 2.

SEQUNCIAS NUMRICAS

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
n = 1. Prova: lim n n = lim eln( n) . Mas ln ( n n) = ln n n = n1 ln n = lnnn .
n
 n ln n nln


L0 Hopital
1/n
1
1
=
=
=
lim
= lim =
= 0.
Assim, ln
lim n n = lim
n n
n 1
n n

 n 

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

lim

lim

a=1

para

a>0

(prova anloga a anterior e deixado como exerccio)

0, |a| < 1

, a > 1
n
lim a =
. Caso de a > 0
n

1, a = 1

@, a 1
observando o sinal de ln a. Caso de a = 1

provado de forma similar ao caso anterior, mas

a = 0 so triviais e o caso de a = 1 j foi


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

1
!

2
2
n
2
2
| {z }
e

Logo,

lim

n!

n! = .

n
2

 n2

n
.
2

Assim,

lim

vezes

n! lim = = .
n
2
2

Consequentemente,

Captulo 3
Sries Numricas
A soma dos termos de uma sequ6encia

an .

Neste caso,

an

an

denominado de sries de termo geral e denotado por

denominado de termo geral da sries. Quando no importa onde inicia a

n0
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.

X
(1)n = (1 1) + (1 1)
temos que

X
(1)n = 1 1 + 1 1 + ,
n=0
quanto que

Por exemplo,

na sries

+ = 0 + 0 + = 0

en-

n=0

(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, estabelecemos que os termos precisam ser somados em sequncias.

N
X
X

an = S .

sries

Denimos a soma parcial

an = an0 + aN

SN =

n=n0

Para ser mais formal, considere uma

n=n0

cursiva dado por

lim Sn = S .

n
a cada etapa.

Sn0 = an0

SN = SN 1 + aN

para

N > n0 .

Escrevemos

an = S

quando tiver

n=n0
Note que, para esta denio, a soma precisam ser feitas em ordem, somando um termo

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


que a srie

que uma sequncia re-

Quando

Sn diverge, dizemos

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

parciais na qual

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

(1)n =

1
.
2

A convergncia pelas mdias das somas parciais requer estudos mais

n=0
sosticados, o que no ser apresentado neste texto.

CAPTULO 3.

SRIES NUMRICAS

Exemplo 3.3.

A sries

(1)n = 1 1 + 1 1 +

divergente.

n=0

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.
Como

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,
Agora,

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.
Se

P
X

an

bn

so sries convergentes, ento

(an + bn ) =

an +

bn .

X
(an ) =
an .
X X
P


an
|an | caso
|an |

Caso o limite envolver

for converge.

, vale somente se a operao correspondente for vlido (consegue operar)

na aritmtica innitesimal.
A convergncia das sries depende somente de termos para

grande.

Assim, onde comear a

sries importante somente para obter o seu valor.

Observao

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


Demonstrao.

Como

an converge ento lim |an | = 0.


n

Sn = Sn1 + an

e sabemos que o limite existe por sries ser convergente,

passamos o limite em ambos lados da equao, temos


Sendo

lim Sn = S ,

temos

S = S + lim an .
n

Logo,

lim Sn = lim Sn1 + lim an .


n
n
lim an = 0.

n
n

como consequncia, temos

Corolrio 3.6 (teste do termo geral). se n


lim |an | =
6 0, ento a sries

an diverge.

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

Exemplo 3.7.
Exerccio 3.8.

n
diverge, pois lim |an |
n+1
n

Mostre que

P (1)n n2
(n+1)2

=
n n + 1

= lim

L0 Hopital

1
= 1 6= 0.
n 1
lim

diverge.

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

CAPTULO 3.

Exemplo 3.9

10

SRIES NUMRICAS

(Srie Telescpica)

Vamos encontrar o valor de

1
.
n(n + 1)

n=1

fraes parciais, podemos escrever o termo geral em soma de duas fraes.

a
n

b
+ n+1
=

a(n+1)+bn
n(n+1)

(a+b)n+a
, obtivemos
n(n+1)

a=1

o que implica que

b = a = 1.

(a + b)n + a = 1.

Como

Usando a tcnica de

1
=
n(n+1)
a + b = 0

Escrevendo

n genrico, temos

Logo,

1
n(n+1)

1
n

=1

1
.
n+1

Agora veremos a soma parcial.


Temos

1
1

Sn =

1
2

1
2

Passando o limite, temos

Exerccio 3.10.



 1
1
1
1
31 + + n1
n1 + n1 n+1
= 1 n+1
para todo n 1.



X
1
1
1
= lim Sn = lim 1
=1
= 1).
n
n
n(n
+
1)
n
+
1

n=1

Seguindo o exemplo anterior, mostre que a sries


ln

n=1
de ter

n
n+1


diverge, apesar

lim an = 0.

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.

a0 rn (a0 6= 0

r 6= 0)

denominado de

sries geomtrica.

n=0

Teorema 3.12

(sries geomtricas)

a0 rn (a0 6= 0) converge se, e somente se |r| < 1. Neste

n=0

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

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

r 6= 0).

Ento

an = an1 r

para

n > 0.

Multiplicando

na

n=0
soma parcial

Sn = a0 + + an , temos que rSn = a0 r + + an r = a1 + + an+1 . Subi


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
para r 6= 1. Quando
1r
n
|r| < 1, temos que lim |r | = 0 (Ver subseo 2.8, pgina 7) de modo que lim rn = 0. Assim,
n
n

n+1
X
a
(1

r
)
a
0
0
n
a0 rn = lim Sn = lim
=
. No caso de |r| 1, observemos que lim |a0 r | =
6 0
n
n
n
1

r
1

r
n=0
n
(exerccio), o que implica que lim a0 r 6= 0. Assim, a sries diverge pelo teste do termo geral.
n

Exemplo 3.13.

X
n=0

|r| < 1.

1
22n+3

 n

1
X
X
1 1
1 1
8
=
=
=
2n 23
2
8
4
1

n=0
n=0

1
4

1
8
3
4

1
6

pois

a0 =

1
e
8

r=

1
com
4

CAPTULO 3.

11

SRIES NUMRICAS

Exemplo 3.14. 1.2 36 36 = 1.2+0.036+0.00036+ = 1.2+

X
0.036

que uma srie geomtrica

102n
temos 11.2 36 36 = 1.2 +
n=0

|r| < 1. Como a0 = 0.036 e r =


36
+ 0.036
= 12
+ 990
= 1188+36
= 1224
0.99
10
990
990

com

12
10

Exemplo 3.15.

X
n=2

1
e3n+1

como

1
na parte da srie,
100

no comea de

0,

0.036
11/100

fazemos uma translao da ndice

k =

n 2 (assim, n = 0 implica que k = 0), tendo n = k + 2. Substituindo na srie, temos


 k

X
X
X
1
1 1
1
1 1
1
1
= 7
=
=
1 por ser sries geomtricas com a0 = e7 e r = e3 ,
3n+1
3k+7
7
3
e
e
e
e
e
1

e3
n=2
k=0
k=0
tendo |r| < 1.

3.4 Sries alternada


Denio 3.16.

A sries

Teorema 3.17

(teste de Leibiniz para srie alternada)

(1)n an

com

an

positivo denominado de

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

sries alternada.

. A sries alternada

(1)n an com

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

Demonstrao.

Considere a subsequncia

S2k

X
da sequncia da soma parcial Sn da sries
(1)n an .
n=0

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 .
Ento

Para vericar se decrescente no caso de

f (x) 0. Caso no
diretamente que an+1 an .
se vale

an = f (n) para funo diferencivel f , costuma analisar

for diferencivel ou derivadas torna complexa, precisaria vericar

X
(1)n
converge, pois uma srie alternada tal que
2n
+
1
n=0
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 ,
0.05 0.05
2n + 1 20 1 2n 19
n 9.5 n 10 n, pois n deve
2n+1
2
ser inteiro. Assim, ter que somar at n = 10. A convergncia lenta desta sries justicada pelo

Exemplo 3.18.

CAPTULO 3.

12

SRIES NUMRICAS

y
an
an+1

y = f (x)
n n+1

Figura 3.1: Teste da integral

fato do valor de
igual a

que pode ser obtido pelo teste da razo (Teorema 3.39 que veremos mais adiante)

1.

X
(1)n

Exemplo 3.19.
an = f (n) =

n ln n

n=1
1
com
n ln n

x+1)
x grande, por ter f 0 (x) = (ln
0 para x 1. Logo a
(x ln x)2
1
1
0.05, tem-se que an = n ln n n para n > e e logo, basta ter

decrescente para

srie converge. Para ter erro inferior a

1
n

1
1
1
=
=
=0
n n ln n
ln

lim an = lim

uma srie alternada com

0.05 = n 20.

Exerccio 3.20.

Mostre que a srie

X
n=0

(1)n
(n 10.5)2

converge.

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.
Teorema 3.22

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

. A sries

an com an = f (n) onde f uma funo contnua,


positiva e decrescente
(por exemplo, f (x) 0) para x grande, ento a sries converge se, e somente
Z
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.
(teste da integral)

Demonstrao.
n

Temos que

an = an0 + + aN +

n=n0
N , temos que a soma parcial

an

e somente se

an = SN +

N
Sn da sries crescente para

an .

Como

f (x) 0

para

N +1
N . Assim, a sries converge se,

for limitada.

n=N +1
Para cada

n > N,

temos que

n+1

an+1 f (x) an

para

x [n, n + 1]

(Figura 3.1).

Z
Ento

an+1 =

n+1

an+1 dx

n
n
Se a integral converge, temos que

Z
f (x)dx

n+1

an dx =an .
n

por

ser decrescente

CAPTULO 3.

13

SRIES NUMRICAS

N +1

an = aN +1 + aN +2 +

N +2

n=N +1

f (x)dx + =

f (x)dx +
N +1

f (x)dx
N

que limitada, o que implica que a sries converge.


Por outro lado, se a sries converge, temos que

N +1

Z
f (x)dx

N +2

f (x)dx + aN + aN +1 + =

f (x)dx +
N +1

an ,

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

an ,

SN

igual a

o que conclui o teorema.

n=N +1
Note que, se a integral convergir, teria

Exemplo 3.23.
x > 0.

Agora,

f 0 (x)

lim f (x) = 0,

n
convergente. De fato, an =
en2
2
x2
x2 2x
(1x2 )ex
=
= 1e xe
0 para 1
2
2
2
2x
e
(ex )

o que implica que

f (n)

onde

f (x) =

< x2

(ou seja para

lim an = 0.

x
que positiva para
e x2

x>1

que para todo

sucientemente grande). Como o termo da sries e denidos pela funo no negativa e decrescente,
aplicaremos o teste da integral.

Z
1
2
ex (2x)dx =
e xdx =
2


1
1
1
1
x
=
dx
=

=
+
2
2
2
2

ex
2ex 1
2e
2e1

x
dx =
e x2

Portanto,

x2

1 x2
1
e
+ C = x2 + C.
2
2e
1
1
=
2e
2e

que um nmero (no

).

1
Assim, a integral converge e consequentemente, a sries converge.

Exerccio 3.24.

Verique a convergncia da srie

Denio 3.25.

A sries

Teorema 3.26 (p-sries).

1
denominado de
np

P
P

1
.
n ln n

p-sries.

converge se, e somente se, p > 1.

1
np

A demonstrao feita pelo teste da integral (Teorema 3.1 da pgina 12) e ser deixado como
exerccio.

X
1
A sries
n
n=1

conhecido como a sries harmnicas que ca no limite entre sries convergentes

e divergentes, tendo divergncia muito lenta (para innito).

A amostra da soma parcial parece

convergir para um nmero.

Exemplo 3.27.
tem-se que

X
n=0

Seja a srie

1
=
(n + 1)3/2

1
p

n=0

X
k=1

(n + 1)3

k 3/2

X
n=0

que uma

1
.
(n + 1)3/2

p-srie

Teorema 3.28 (teste da comparao). Se as Sries

bn > 0) com an bn ento:


P
P
Se
an = , temos que
bn = ;

Fazendo

com

p=

an e

3
2

> 1.

k =n+1

(logo,

n = k 1),

Ento ele converge.

bn so de termos positivos (an > 0 e

CAPTULO 3.

Se

14

SRIES NUMRICAS

bn converge, temos que

an tambm converge. Alm disso,

an

n=n0

Demonstrao.

Sejam

N
X

(Sa )N =

an

bn

n=n0

N
X

(Sb )N =
bn as somas parciais. Como so de termos
n=n
0
P
(Sa )n (Sb )n . Se
an divergir, tem-se que lim (Sa )N = e logo,
N
P
de modo que
bn = .
e

n=n0

positivos, eles so crescentes e

= lim (Sa )N lim (Sb )N


N
N
P
Se
bn convergir, (Sa )N (Sb )N lim (Sb )N = Sb < de modo que (Sa )N
N
sequencia
crescente
limitada
superiormente
por
Sb .
Logo
converge.
Alm

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

Exemplo 3.29.

1
.
n(n + 1)

n=1

n=n0

1
n(n+1

Como

1
e
n2

X 1
n2

uma
disso,

n=n0

converge por ser

p-srie

com

p = 2 > 1,

srie converge.

Exemplo 3.30.

X
en
n=1

geomtrica de razo

r=

1
e

< 1,

X en
n

Como

en
n

en

en

X
en

convergente por ser srie

en =

1
e

1.
n
1

e
n=1
n=1
P
P
Se as sries an e bn so de termos positivos

a srie converge. alm disso,

Teorema 3.31 (teste de comparao forma limite).

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

com lim

Exerccio 3.32.

Sejam as sries

an

bn

que so de termos positivos com

que

P
P
an converge, ento
bn tambm converge.
P
P
bn diverge, ento
an tambm diverge.
Dica:

Imitar a demonstrao do caso de

bn
= 0.
n an
lim

an
=0
n bn
lim

an
= .
n bn

ou observe que

lim

Mostre

an
=
n bn
lim

ento

CAPTULO 3.

15

SRIES NUMRICAS

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.33.

1
converge.
(n+1)2

Simplicando

1
pela ordem da funo, obteremos
(n+1)2
P
P 1
uma p-sries com
0. Como
bn =
n2

an =

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

bn =
p>

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.

X
P n2
2
en +n convergente, mas a simplicao dos termos, seria
e
que convergente, mas

n=0
no serve para teste da comparao por ter

lim

an
= .
bn

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

3.6 Sries absolutamente convergente


Denio 3.34.

absolutamente convergente quando


P
P
an converge, mas
|an | no converge, dito condicionalmente convergente.
Uma srie

an

dito

|an |

converge.

Se

Temos que

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


Demonstrao.
P
(an + |an |)

Como

0 an + |an | 2|an | e como 2

converge por ser sries de termos

|an | convergente, pelo teste da comparao


P
P
P
positivos. Assim,
an = (an + |an |) |an | a

diferena de sries convergentes, o que implica que convergente.

Exemplo 3.36.
p-sries

com

P 1
P cos n
1
converge, pois temos que |an | 2 . Como
srie convergente por ser
2
n
n
n2
P
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.

No caso de sries condicionalmente convergente, o

rearranjo pode alterar o valor da soma (Veja o exemplo D.1 da pgina 32).
possvel provar que, e for dado uma sries condicionalmente convergente, consegue obter qualquer nmero real como valor da sries obtido pelo rearranjo dos seus termos.

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.37

. Se r = lim

(teste da raiz)

Se r < 1 a sries

p
n
|an | ento temos que

an converge (srie ser absolutamente convergente);

CAPTULO 3.

16

SRIES NUMRICAS

Se r > 1, ento a sries

an diverge.

Se r = 1, no se sabe.

Demonstrao. p
A demonstrao feita, comparando com a srie geomtrica de razo r .
r = lim n |an | < 1, considere =
p
r < n |an | < r + . Denotando r = r + ,
Se

uma srie geomtrica com razo

|
r| < 1,
P

convergente, o que implica que a srie


Se

r = lim

p
n

|an | > 1,

considere

ele

1r
.
2

N N

n > N ,

X
n
temos que r
< 1 e |an | < r . Como a srie
rk
k=N
P
converge. Pelo teste da comparao, a srie
|an |
Ento existe

tal que

an absolutamente convergente.
r1
e r
= r . Como no caso acima, teremos
2

rk < an

com

r > 1.
lim an =

Assim, temos que

n
que a srie divergente.

Exemplo 3.38.
lim

n2 = 1

P en

n2

diverge,

(prove). Logo, no pode ter

pois

lim an = 0

(prove), o que signica

s
en
e
r = lim n 2 = lim
= e > 1.
n
n
n
n
n2

prova

de

que

deixado como exerccio.

Teorema 3.39

(teste da razo)

Se r < 1 a sries



an+1
ento temos que

Se r = lim
an

an converge (srie ser absolutamente convergente);

Se r > 1, ento a sries

an diverge.

Se r = 1, no se sabe.

Demonstrao. A demonstrao
anloga do teste da raiz, mas requer mais cuidados.

an+1
< 1, considere = 1r . Ento existe N N tal que n > N ,
r = lim
2

a
n


an+1
< r + . Denotando r = r + , temos que r < 1 e ||an+1 | < |an |
r <
r. Assim, podean
P
mos usar a induo nita para obter |aN +k | < aN r
k . Como a srie
|aN |
rk uma srie geomtrica
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
Se

k
que a sries divergente.

Observao
de

3.40

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

Quado existem os limites considerados, o valor de

r.

Observao

3.41

razo so mesmos. Logo, no adianta trocar o teste quando


somente um dos testes consegue determinar o

r.

r = 1.

obtidos pelo teste da raiz e da


No entanto, existem casos que

CAPTULO 3.

SRIES NUMRICAS

Observao

3.42

Quanto menor o

r,

17

mais rpido ser a convergncia da srie. Assim,

que a sries converge muito rpido, enquanto que

r=1

r=0

indica

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.43.

P n2
n!

converge, pois
2

(n + 1)
(n + 1)2
n+1
|an+1 |
n!

= lim
=
lim
= lim
=
2
2
2
n
n |an |
n
(n + 1)! n n (n + 1) n n

1
1
L0 Hopital
=
lim
=
= 0 < 1. Assim, a sries converge (converge bem rpido).
n 2n

r = lim

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


X

Exemplo 3.44.

n=1

Exerccio 3.45.

Mostre que

derando o caso de

Observao

3.46

1
n
2

nn ,

o que torna difcil de aplicar a teste da razo..

n
converge, pois

1
1
1
n
|an | = lim n n = 1 = < 1.
n
n
2
2
2
lim

n

X
(1)n + 1/2
n

converge.

Dica:

Aplique o teste da razo, consi-

n=1
ser par e n ser impar.

As vezes, mostra que a srie converge para provar que o limite da sequncia

Isto ocorre quando o termo envolve

0.

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 sries.

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


n

Demonstrao.
r=

P cn

Consideremos a srie
cn+1 n!
|an+1 |
lim
= lim n
n |an |
n c
(n + 1)!

Ento a srie converge e

n!

. Pelo teste da razo,

c
c
=
= 0 < 1.
n n + 1

cn
consequentemente, lim an = lim
= 0.
n
n n!
= lim

Captulo 4
Sries de Potncias
Denio 4.1.

A sries do tipo

an (x c)n

Dado uma sries de potncias, existe

intervalo de raio

de convergncia.

com centro em

c)

denominado de

sries de potncias.
|x c| < R (no interior do
valor R denominado de raio

na qual a srie converge para

e diverge para

|x c| > R.

Este

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

n 2n+1
X

caso de

(1) x
(2n + 1)!

sen x =

que tem

2n + 1

(x c)

diferente de

n,

como no

como potncias. Assim, requer cuidados na hora de

n=0
obter o raio de convergncia.

Observao

4.2

Convencionaremos que

00 = 1

0! = 1

para simplicar a notao.

4.1 Raio de convergncia


Uma forma de obter o raio de convergncia
de

(x c)

para determinar valores de

Exemplo 4.3.
x c,

n 3n+5
x
.
en

R aplicar o teste da razo ou da raiz, incluindo potncias

na qual a sries converge.

Considerando o termo geral

an =

n 3n+5
x
, incluindo as potncias de
en

temos que

|an+1 |
(n + 1) en |x|3(n+1)+5
(n + 1) 3
= lim
= lim
|x| =
n+1
3n+5
n |an |
n
n
n e
|x|
ne

3
3
|x|
|x|
L0 Hopital
=
lim
=
.
n e
e

r = lim

e consequentemente, L'Hopital aplicado em n. Como

|x|3
3
para garantir a convergncia,
<
1

|x|
<
e. Logo, o raio de convergncia
e

Observe que o limite aplicado em


precisamos de

R=

r<1

e.

O caso de ter deslocamento do centro anlogo.

Exemplo 4.4.

n
(x
2n

1)

n+1
2 .

Temos que

18

CAPTULO 4.

19

SRIES DE POTNCIAS



n+1+1

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

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

r = lim
|x

1|
=
lim
|x

1|
n+1
n

n
n
n
n
2
n

an (x 1) 2
1
1
2
Aplicando a regra de L'Hopital, temos r = lim
|x 1| 2 = 2|x 1| 2 . Logo, a convergncia
n 1
1
1
1
2
= |x 1| < 41 . Logo, |x 1| < 14 . Assim,
dado pela condio r = 2|x 1| < 1 = |x 1| 2 <
2
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
2 . Temos que
(2x 1)

n+1

(2x 1) 2
1
1
2 = |2x 1| 2 . Logo, a convergncia dado pela condio
r = lim
=
lim
|2x

1|
n
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
e centro de convergncia
. Outra alternativa reescrever a srie como
convergncia R =
2
n

P
P n 2
n
1
2
(2x 1) 2 =
antes de aplicar o teste da razo ou raiz.
22 x 2
P
Observao 4.6 (para implementao computacional). Se a sries de potncias da forma an (x
c)n+ , o que aparece com maior freqncia, a razo ou raiz da parte das potncias de (x c) ser
p
|(x c)(n+1)+ |
|an+1 |
|(x c)n++ |
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)+

de



(x c)(n+1)+
|an+1 |
r = lim
= lim
lim
= |x c| .
n
n |an | n
|an (x c)n+ |
|(x c)n+ |
  1
1

Assim, a convergncia dado pela condio r = |x c| < 1 |x c| <


, ou seja, o raio

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

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

4.2 O Intervalo de convergncia


R tal que a sries de potncias
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
O intervalo de convergncia o intervalo

com centro em

e raio

cada extremos, abertos ou fechados dependendo da sries, o que requer testes. Uma das propriedades
importantes das sries de potncias

Teorema 4.7

(Abel)

Observao 4.8.

. A sries de potncia contnua no intervalo de convergncia.

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

] 1, 1]. No entanto, o limite

0 , 1 < x < 1
f (x) =
(exerccio).
1 , x = 1

que uma sequncia de funes contnuas e convergente no intervalo

f (x) = lim fn (x)


n

uma funo descontnua dado como

fn (x) = xn

CAPTULO 4.

20

SRIES DE POTNCIAS

Exemplo 4.9.

xn
.
Determine o intervalo de convergncia de
n
|an+1 xn+1 |
(n + 1) |x|n+1
L0 Hopital
|x|
(n + 1)|x|
r = lim
=
lim
=
=
lim
= |x|.
=
lim
n
n
n 1
n
|an xn |
n
|x|n
n

Como r < 1 para convergir, |x| < 1. Logo raio de convergncia R = 1. Como o centro

c = 0, o
x = 1 ento

I =]1, 1[, com ou sem fechar os extremos. Testaremos cado um dos extremos.
P (1)n
p-sries com p = 1 que divergente. Para x = 1, temos
que uma srie alternada
n
1
1
1
=
= 0 e an no crescente, pois an+1 an n+1
n1 n n+1 0 1.
com lim an = lim
n
n n

Logo, convergente. Portanto, o intervalo I = [1, 1[.


intervalo

4.3 Derivadas e integrais


Derivadas e integrais das sries de potncias so efetuadas termo a termo. Tome cuidado quando
obtem 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.

Exemplo 4.10.
Z

Como

e =

X
xn

n!

para todo

n=0
Z X

X
x2n
x2n+1
e dx =
dx =
+C
n!
n!(2n + 1)
n=0
n=0
x2

(veja Exemplo 5.5) , temos que

R = .
R x2
funo
e dx que

que tem o raio de convergncia

Assim, conseguimos uma representao em sries de potncias, da

no tem

representao em termos de funes elementares.


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

Exemplo 4.11. A srie de potncias

X
(n + 1)xn

que poder calcular a integral em

X
(n + 1)xn

1 n=0

2n

dx =

converge no intervalo

2n

n=0

(2, 2) (exerccio) de forma

[1, 1].

X
(n + 1)xn+1

#1

X
xn+1

#1

=
2n (n + 1)
2n
n=0
1
1
n+1 X
 n X
 n
 n+1


X
X
1
1 1
1 1
1
=

.
2
2
2 2
2 2
n=0
n=0
n=0
n=0
n=0

Como somas de duas sries geomtricas,

X
(n + 1)xn

1 n=0

2n

dx =

1
2

1
2

1
2

1+

1
2

1 3
1
=
.
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.

21

SRIES DE POTNCIAS

Exemplo 4.12. ln(1 + x) =

X
(1)n xn+1

n+1

para

1 < x 1.

Note que

ln x

no pode ser escrito na

n=0
P
sries da forma
an xn (sem deslocamento na origem), pois

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.

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

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

X
xn+1
n n
(1) x dx =
(1)n
Integrando, temos que f (x) =
f (x)dx =
+ C . Calculando
n+1
n=0
n=0

n+1
X
n x
para x = 0, temos f (0) = 0+C = ln 1 = C = 0 = C . Logo f (x) =
(1)
para |x| < 1.
n+1
n=0
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+1
n=0
que converge para 0 < u 2.

Observao

4.13

de potncia

Observao

4.14

x=1

Note que

x=c

o nico ponto na qual podemos obter o valor de qualquer sries

an(xc)n .

Note que o valor da sries harmnicas alternadas pode ser obtido facilmente com

n
X

na sries de potncias de

ln(1 + x).

Assim,

ln 2 =

n=0

Exemplo 4.15.

Temos que

arctan x =

X
(1)n x2n+1

n=0
a soma da sries geomtricas com razo r

X
X

0
2 n
arctan (x) =
x
(1)n x2n .
=
n=0

n=0

para

1 x 1.

Como

arctan0 (x) =

2n + 1
= x2 para |r| = | x2 | < 1 = |x| < 1.

1
,
1+x2

Assim,

X
(1)n x2n+1

+ C . Como tan 0 = 0 = arctan 0 = 0, temos


2n + 1

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

arctan(x) =

(1)
n+1

n=0

contnua.

Observao

4.16

Como

tan

= 1,

temos que

X (1)n

= arctan(1) =
4
2n + 1
n=0

Leibniz).
Mostre que a funo de Bessel de ordem

k Jk (x) =

X
n=0

(1)n  x 2n+k
n!(n + k)! 2

(sries de Madhava-

converge 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)
n!

n=0

Demonstrao.
rivando

f (k) (x) =

Como

ambos

sries

os

lados

de
e

potncias
observando

tem
que

(x c)

an n (n 1) (n k + 1)(x c)nk

n=k
(k)
Assim, f
(c)
f (k) (c)
ak = k! .

derivadas,

tambm

ter.

constante,

De-

temos

que

(exerccio).

= ak k (k 1) (k k + 1) = ak k!

(porqu?)

e consequentemente,

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

. Se f tiver derivadas contnuas at a ordem N + 1 no intervalo contendo c

(Taylor)
N
(n)
X

e x ento f (x) =

n=0

(c)(x c)n
+ RN onde Rn =
n!

f (n+1) (z)(xc)n+1
(n+1)!

com z [c, x].

f (x) = pN (x) + RN com pN (x) = a0 + a1 (x c) + + aN (x c)N


derivadas at ordem N de f coincide com do polinmio, podemos mostrar que ai =
Escrevendo

e assumindo que
f (i) (c)
(exerccio).
i!

No entanto, a prova da expresso do erro requer mais trabalhos, o que no feito aqui.
N
(n)
n
X
O polinmio

pn (x) =

n=0

(c)(x c)
n!

chamado de polinmio de Taylor de ordem


n+1

em torno

|xc|
|Rn | Mn+1
onde Mn+1
(n+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!
n=0
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
de

e serve para estimar o valor de

f (x).

O erro estimado por

sabemos o valor da funo e suas derivadas.

22

CAPTULO 5.

23

SRIES DE TAYLOR E DE MACLAURIN

Exemplo 5.3.

sen 0.1 usando o Taylor de ordem 3 e estime o seu erro. Temos


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
3
2
0
+ f 000 (0) (x0)
. Temos f (0) = sen 0 = 0, f (0) = cos 0 = 1,
p3 (x) = f (0) + f 0 (0)(x 0) + f 00 (0) (x0)
2!
3!
2
3
3
f 00 (0) = sen 0 = 0,f 000 (0) = cos 0 = 1 de onde p3 (x) = 0 + x + 0x2! + x
= x x6 . Assim,
3!
3
= 0.1 0.00016666 = 0.0998333
sen 0.1 ' 0.1 0.16 = 0.1 0.001
6
(4)
Para estimar o erro, temos que M4 max{|f
(z)|} = max{| sen z|} com z [c, x] = [0, 0.1].
4
|x|4
= 0.1
= 0.0001
.
Como | sen | 1, podemos tomar M4 = 1. Logo, |R3 | M4
4!
24
24
Estimar o valor de

00

f (n) (c)(xc)n
e a funo igual a sua sries de Taylor.
n!
N
(n+1)
Neste caso, f denominado de funo analtica. Isto ocorre, por exemplo, se |f
(z)| M para
Quando

lim RN = 0, temos que f (x) =

n, z [c, x]
n, nem de z ).
todo

Observao
analtica.

todo

5.4

n=0

(valor absoluto das derivadas so limitados pelo nmero

Note que nem toda funo de classe

Por exemplo,

f (x) =

e 1
x2

, x 6= 0

,x = 0

x,

mas obvio que no

a sries de Taylor em torno de

f (x)

para

(que tem todas derivadas contnuas)

x 6= 0

ser

X
0xn

n!

f (k) (0) = 0

0=0

n=0
n=0
(no existe intervalo em que

f (x)

para

que converge
coincide com

0).

Exemplo 5.5. Vamos provar que ex =

X
xn

n!

n=0

f (n) (x) = ex .

que no depende de

tem todas derivadas contnuas e

(exerccio). Assim, a sries de Taylor em torno de

para todo

para todo

x. Temos f (x) = ex , f 0 (x) = ex , f 00 (x) = ex ,

c = 0. Assim, podemos
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!
n!
n!
n=0
n=0
n=0
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 N !
(N + 1)!

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

Ponto onde podemos calcular funo e suas derivadas em

(n)

Veremos outro exemplo.

Exemplo 5.6.
00

Vamos provar que

cos x, f (x) = sen x,f

(3)

sen x =

X
(1)n x2n+1
n=0
(4)

(x) = cos x, f

Maclaurin, devemos desenvolver em torno

(2n + 1)!

para todo

(x) = sen x = f (x).


de 0.

x. Temos f (x) = sen x, f 0 (x) =

Como queremos que seja srie de

CAPTULO 5.

24

SRIES DE TAYLOR E DE MACLAURIN

Iniciaremos

pela

| sen x| 1

anlise

de

erro.

Como

todas

derivadas

so

seno

ou

cosseno

n+1

x| 1, temos que |f (z)| 1 = M para todo n.


Assim,
| cos
N
f (N +1) (zN ) xN
x
lim |RN | = lim
M lim
= M 0 = 0, novamente pela Proposio 3.47 (pN
N
N N !
(N + 1)!
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)
e

X
f (n) (0)(x 0)n

n!

n=0

X
f (2k+1) (0)x2k=1

(2k + 1)!

k=0

X
(1)k x2k+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.

Exemplo 5.7.

Vamos provar que

ln x =

X
(1)n (x 1)n+1

n+1

n=0

para

1
2

x2

usando tcnicas de

12
000
(4)
, f (x) =
,f
(x) = 123
,
f (x) = ln x, temos que f 0 (x) = x1 , f 00 (x) = 1
x2
x3
x4
(1)n+1 (n1)!
1234
(5)
(n)
f (x) =
, . . . de forma que f (x) =
para n > 0, o que pode ser vericado pela
x5
xn

sries de Taylor. Sendo

induo nita (exerccio).


n+1
(n)
Logo, f
(1) = (1) 1n+1(n1)!

f (x) =

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

X
f (n) (1)(x 1)n

n!

n=0

=0+

= f (1) +

n!

Para saber quando coincide com


Temos que

|f


(z)| =



n+1
n!

X
(1)n+1 (x 1)n

n=1

ln x,

de onde temos a sries de Taylor

n!

n=1

n=1

n>0

X
f (n) (1)(x 1)n

X
(1)n+1 (n 1)!(x 1)n

(n+1)

para

X
(1)k (x 1)k
k=0

k+1

precisamos vericar o termo do erro.

que decrescente. Ento ele assume o mximo quando valor de

for mnimo.
Para

1 z x,

lim |Rn | = lim

o valor de mximo assumido em

(n+1)

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

|x 1| 1,

z = 1,

(n+1)
f
(z) n!,

Logo,

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

lim

[1, 2].
(n+1)



Para intervalo
, 1 , observe que f
(z) assume o
2
n!
n!
(n+1)
Logo, |f
(z)| = n n+1 = Mn+1 se 0 < x < 1.

para

tendo

o que garante que coincide em

1

maior valor em

por ter

x z 1.

Assim,

lim |Rn | = lim

(n+1)

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



Mn |x 1|n+1
n!|x 1|n+1
|x 1|n+1

lim
= lim n+1
= lim
=
lim
n x
n
N
(n + 1)!
(n + 1)! n xn+1 n

CAPTULO 5.

para

1
2

x1

25

SRIES DE TAYLOR E DE MACLAURIN

por ter

x1

1
x

(exerccio). o que garante que a srie coincide com a funo.

Note que a tcnica acima falha em

 1
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).

Exerccio 5.8.

Mostre que

cos x =

X
(1)n x2n
n=0

Exerccio 5.9.

(2n)!

Encontre a sries de Taylor de

Exerccio 5.10.

para todo

cos x

Obtenha a sries de Taylor de

x.

em torno de

sen(x2 )

.
2

em torno de

0.

Dica: Use a sries de

pois nica sries de potnicas que representa a funo de Taylor (Teorema 5.1).

sen x,

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

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 trigonomtricas

{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

bk

a partir da funo dada, para representar a

funo ou uma aproximao atravs da sua soma nita.

Teorema A.1. f (x) = a0 +

(an cos(nx) + bn sen(nx)) em [, ] ento

n=1

1
a0 =

e para

k > 0,

Demonstrao.
f (x) =

a0
2

f (x)dx

(A.1)

f (x) cos(kx)dx

(A.2)

f (x) sen(kx)dx

(A.3)

tem-se que

1
ak =

1
bk =

Para obter os valores de seus coecientes, vamos supor que

(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.

27

SRIES DE FOURIER


Z
Z

X
a0
f (x)dx =
dx +
an
cos(nx)dx + bn
sen(nx)dx

n=1
R
R
e observando que
cos(nx)dx = sen(nx)dx = 0, temos

R
f (x)dx = a0 . Ento

Z
1
a0 =
f (x)dx

Z

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 =

sen(nx) sen(kx)dx = 0. Estes clculo podem ser efetuados com o uso de identidades trigonom
Para obter os valores de

tricas apropriadas.
Com tais integrais,
Z

cos(nx)dx +

f (x) cos(kx)dx = a0

torna

f (x) cos(kx)dx = ak ,

an

cos(nx) cos(kx)dx + bn

n=1

sen(nx) cos(kx)dx

o que implica que

1
ak =

Analogamente, temos que


X

f (x) cos(kx)dx

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


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

que

A convergncia da srie de Fourier da funo garantido 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
. Em particular, se f for contnua em x,
2
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.
f (x) = f (x)

para todo

f
RL
f (x)dx = 0.
L
Quando

Uma funo

cos(nx)

par, temos que

par e

f (x) = f (x)

para todo

e dito mpar se

x.
RL
L

f (x)dx = 2

f (x) = xn par se n for


sen(nx) impar. As funes

As funes dado por


que

dito funo par se

RL
0

f (x)dx

e quando

par e mpar se

impar, tem-se que

for mpar.

Tambm tem-se

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.

Exemplo A.4.
[, ]. Note
k = 1, 2, . . .

Agora vamos calcular a srie de Fourier da funo

que a funo impar.

a0 = 0.

Logo,

bk 's,

Como

f (x) =

|x|

, x 6= 0

x=0

f (x) cos(nx)

mpar,

f (x) sen(nx) par.

0

i

R
|x|
2 cos(n)+2 cos 0
2
2 cos(nx)
sen(nx)dx = 0 sen(nx)dx = n
=
=
x
n
4
0

Ento calcularemos os valores de

bn =

28

SRIES DE FOURIER

no intervalo

ak = 0

para

observando que

,n

par

,n

impar

Logo a Srie de Fourier ser

f (x) =

k=0

Observao
Como

4
sen ((2k + 1)x).
(2k + 1)

A.5

No exemplo anterior, para

sen (2k + 1) 2

,k

1 , k

par

x =

, temos que
2

temos

que

impar


4X 1

1=
sen (2k + 1) .
k=0 2k + 1
2

4 X (1)k
1=
,
k=0 2k + 1

que

implica

que

X (1)k
=
4
2k + 1
k=0

que mesmo obtido pelo arco tangente (Observao 4.16).

Exemplo A.6.

Agora vamos calcular a sries de Fourier da funo

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


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 =

i
R
R
cos(nx)
an = 1 |x| cos(nx)dx = 2 0 x cos(nx)dx = 2 x sen(nx)

= 2
(cos(n) cos 0) =
2
n
n
n2
0

0
, n par
.
42 , n impar
n

Logo a Srie de Fourier ser

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

Observao

Dada uma funo

f (x) = x

em

[, [.

f(x + kT ) = f (x)
para todo inteiro k , onde
Ento f peridica de perodo T e coincide com a funo f
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
2
Z L2
Z
1
1 b

ao =
f (t)dt =
f (t)dt
L L
L a
e para n = 1, 2, 3, . . .
Z
Z
 n 
 n 
1 L
1 b
an =
f (t) cos
t dt =
f (t) cos
t dt
L L
L
L a
L
Z
Z
 n 
 n 
1 L
1 b
t dt =
t dt
bn =
f (t) sen
f (t) sen
L L
L
L a
L
A.8

f
T = b a.

e a sries de Fourier da forma

denida no intervalo

[a, b],

podemos denir

APNDICE A.

29

SRIES DE FOURIER

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

Exerccio A.9.
Agora, tome

f (x) = |x| em [, ] uma funo contnua.

2 X
1
do Exemplo A.4 para obter
=
.
2
8
(2k
+
1)
k=0

Verique que a extenso peridica de

x=

Exerccio A.10.
o valor da srie de

Exerccio A.11.

na expresso da srie de Fourier

f (x) = x em [0, 1[. A


Fourier em x = 2? Agora

Seja

extenso peridica de

contnua? Quanto deve valer

obtenha a srie de Fourier da funo.

f (x) = 1 em [1, 1] e g(x) = |x|


h(x) = 1 |2x| em [1, 1[.

Obtenha a srie de Fourier da funo

Usando estas sries, obtenha a srie de Fourier de

em

[1.1[.

Apndice B
Prova do Teorema 2.24
n, |xn | M .
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-

Uma sequncia dita limitada se existe

tal que

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

De fato, se

S,

. S = sup X

x S

ento para todo

para todo

contradizendo o fato de

x,

> 0,

temos que

existe

x X : S < x.

seria um limitante superior de

menor que

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 }

lim xn = S .
n
supremo de {xn }, existe

e vamos provar que

> 0. Como S
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 .
Seja dado

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 =
n)
determina uma sequncia recursiva e em muitos casos, gera uma sequncia convergente.
xn ff0(x
(xn )
Nos no vamos entrar em detalhes, mas veremos o caso de obter sequncias que converge para
para

a > 0.

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
n
n
xn+1 = xn x2x
= x2x
. Com um pouco de trabalho, podemos provar que a sequncia determinada
n
n

a decrescente e limitada inferiormente por a, o que convergente pelo


para o caso de x0 >

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

a,

considere

31

Apndice D
Exemplo de rearranjos dos termos da sries
condicionalmente convergentes
Exemplo D.1. Consideremos a sries harmnica alternada

X
(1)n
n=0

da soma no nula (exerccio).

n
X
Seja

S=

n=0

(1)
1 1 1
= 1 + +
n+1
2 3 4

n+1

que convergente com o valor

que no nula (exerccio), consideremos

1
1 X (1)n
1
1
1
1
S=
=

+
2
2 n=0 n + 1
21 22 23 24
=0+
Somando

1
1
1
1
+0
+0+
+0
+
21
22
23
24

1
S , temos
2

1
2
1
1
2
3
S =1+0+
+ +0+
+ 0 +
2
3 22 5
7 24


X
1 1 1 1 1
1
1
1
= 1 + + + + =
+

.
3 2 5 7 4
4n

3
4n

1
2n
n=0



1
1
1
3 X (1)n X
3
=
+

que tem o valor S 6= S .


Desta forma, obtivemos
2
2 n=0 n + 1
4n

3
4n

1
2n
n=0



X
1
1
1
1 1 1 1 1
No entanto, a sries
+

= 1 + + + + uma sries
4n 3 4n 1 2n
3 2 5 7 4
n=0
X (1)n
1 1 1
obtido pela sries harmnica alternada
= 1 + + atravs de rearranjos, con+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 Problemas de Valores de Contorno, LTC Editora, 1999.

33