Serie Po Ten

3.
1 Introduo
O objetivo principal deste captulo representar as funes elementares do clculo como sries
de potncias, que so aquelas sries cujos termos contm potncias de uma varivel r. So sries
de potncias as sries do tipo:
c
0
+ c
1
(r a) + c
2
(r a)
2
+ c
3
(r a)
3
+ + c
a
(r a)
a
+ , (3.-28)
representadas simbolicamente por:
1
a=0
c
a
(r a)
a
, (3.-27)
onde, por simplicidade, convencionamos (r a)
0
= 1, quando r = a. Se considerarmos em (3.-27)
c
a
= 1, para todo :, a srie se torna uma srie geomtrica de razo r a, convergente quando
[r a[ < 1. Na srie (3.-27) o nmero real a denomina-se centro da srie e os nmeros c
a
so os
coecientes. Um caso particular da srie de potncias (3.-27) ocorre quando a = 0 e, neste caso, a
srie resultante ser:
c
0
+ c
1
r + c
2
r
2
+ c
3
r
3
+ + c
a
r
a
+ (3.-26)
simbolicamente representada por:
1
a=0
c
a
r
a
, (3.-25)
onde, mais uma vez, convencionamos r
0
= 1, quando r = 0.
As sries de potncias aparecem em muitos problemas da Fsica-Matemtica, como por ex-
emplo, em fenmenos ondulatrios e distribuio de temperatura em placas, onde recorremos s
funes de Bessel :
J
I
(r) =
1
a=0
(1)
a
:! (: + /)!
_
r
2
_
2a+I
, (3.-24)
que so tipos especiais de sries de potncias, para descrever determinados modelos.
Ao lidarmos com sries de potncias, duas perguntas naturais que surgem so: para que valores
reais atribudos a r a srie de potncias (3.-28) convergente? Se ) a funo representada pela
70 SRIES E EQUAES DIFERENCIAIS MARIVALDO P. MATOS
srie (3.-28), qual a relao entre ) e os coecientes c
a
da srie? claro que toda srie de potncias
do tipo (3.-28) convergente quando r = a, sendo, neste caso, a soma da srie igual a c
0
. O
conjunto dos valores reais atribudos a r que tornam a srie de potncias convergente , portanto,
no vazio e para tal r a srie representa um nmero real que o valor de sua soma. Dessa forma,
a srie de potncias (3.1) dene uma funo real ) cujo valor em r :
) (r) =
1
a=0
c
a
(r a)
a
e cujo domnio precisamente o conjunto dos nmeros r para os quais a srie converge. Uma srie
de potncias se assemelha a um polinmio, com a diferena de possuir uma innidade de termos, e a
funo que ela representa aproximada em cada r de seu domnio (intervalo de convergncia) pelos
polinmios o
a
, que so as somas parciais da srie. As relaes entre a funo ) e os coecientes c
a
da srie sero estabelecidas na Seo 3.5.
Os valores de r que tornam uma srie de potncias convergente sero determinados pelo
Critrio da Razo, sendo o caso extremo (1 = 1) analisado em separado. Para ilustrar algumas
situaes, admitiremos que as operaes Derivao e Integrao sejam possveis termo a termo
para sries. claro que podemos derivar e integrar termo a termo no caso de uma soma nita e as
generalizaes para somas innitas trataremos adiante na Seo 3.3.
Exemplo 3.1.1 Para qualquer valor que se atribua a r a srie de potncias
1
a=0
r
a
:!
converge
absolutamente. De fato, o termo geral da srie a
a
=
r
a
:!
de modo que
1 = lim
a!1
a
a+1
a
a
= lim
a!1
r
a+1
(: + 1)!
:!
r
a
= [r[ lim
a!1
1
: + 1
= 0
e sendo 1 < 1 independentemente do valor real r, o Critrio da Razo assegura a convergncia
absoluta da srie. Assim, podemos denir uma funo real ) : R R por:
) (r) = 1 + r +
r
2
2!
+ +
r
a
:!
+ =
1
a=0
r
a
:!
. (3.-23)
Procedendo formalmente, derivamos a relao (3.-23) com respeito varivel r e encontramos:
)
0
(r) =
1
a=1
r
a1
(: 1)!
= ) (r) , (3.-22)
CAPTULO 3 SRIES DE POTNCIAS 71
e, por conseguinte, a funo ) (r) satisfaz equao diferencial :
)
0
(r) ) (r) = 0,
para qualquer valor de r. Para deduzir que ) (r) = c
a
, basta observarmos que:
d
dr
_
) (r)
c
a
_
=
)
0
(r) ) (r)
c
a
= 0, \r,
e, portanto, ) (r) = Cc
a
, sendo C uma constante. Notando que ) (0) = 1, segue que C = 1 e
obtemos ) (r) = c
a
, para todo r. Dessa forma, encontramos a seguinte srie de potncias para
representar a funo exponencial
1
:
c
a
=
1
a=0
r
a
:!
(3.-21)
e a representao vlida seja qual for o valor real atribudo a r . Na gura 3.1 exibimos os grcos
da funo c
a
e das primeiras somas parciais da srie (3.-21) onde observamos que medida que :
aumenta o grco da :-sima soma o
a
aproxima-se do grco da funo c
a
.
Exemplo 3.1.2 Se na srie de c
a
a varivel r for substituda por t
2
, obteremos:
c
t
2
=
1
a=0
t
2a
:!
, (3.-20)
para qualquer valor de t, e integrando (3.-20) de 0 at 1, termo a termo, resultar:
_
1
0
c
t
2
dt =
1
a=0
1
(2: + 1) :!
. (3.-19)
1
Por volta de 1748 Leonhard Euler usou a srie (3.-21), com x = 1, para obter o valor do nmero e com 23 dgitos.
Em 2000, X. Gourdon e S. Kondo usaram a mesma expresso e tcnicas especiais e obtiveram o valor para e com
mais de 10 bilhes de casas decimais. Consulte www.numbers.computation.free.fr
A integral que aparece no lado esquerdo de (3.-19) no pode ser calculada pelos mtodos elementares
do clculo integral e essa relao permite que ela seja calculada numericamente. A est uma boa
razo para representarmos as funes elementares do clculo por sries de potncias. Por exemplo,
aproximando a srie (3.10) pela soma parcial o
4
, resulta:
_
1
0
c
t
2
dt 1 +
1
3
+
1
10
+
1
42
1.4571.
Exemplo 3.1.3 Outra srie de potncias que converge, seja qual for o valor da varivel r, a
srie que representa a /- sima funo de Bessel J
I
(r) dada por (3.-24). O termo geral dessa srie
a
a
=
(1)
a
:! (: + /)!
(
r
2
)
2a+I
e assim:
lim
a!1
a
a+1
a
a
r
2
2
lim
a!1
1
(: + 1) (: + / + 1)
= 0 , \r.
Segue do Critrio da Razo que a srie converge absolutamente seja qual for o valor atribudo a r.
Exemplo 3.1.4 Vimos na seo 2.1 que a srie geomtrica
1
a=0
r
a
convergente quando [r[ < 1,
e somente nesse caso. Quando aplicamos o Critrio da Razo a essa srie deduzimos que para esses
valores de r a convergncia absoluta e conforme estabelecemos no Captulo 2:
1
1 r
=
1
a=0
r
a
, para [r[ < 1. (3.-18)
Se em (3.-18) trocarmos r por r e depois r por r
2
, obteremos, respectivamente:
1
1 + r
=
1
a=0
(1)
a
r
a
, para [r[ < 1. (3.-17)
1
1 + r
2
=
1
a=0
(1)
a
r
2a
, para [r[ < 1. (3.-16)
Integrando (3.13), termo a termo, de 0 at r, 1 < r < 1, resulta:
arctg r =
1
a=0
(1)
a
r
2a+1
2: + 1
, para [r[ < 1. (3.-15)
Usando o Critrio de Leibniz para sries alternadas podemos vericar sem maiores diculdades que
a srie de potncias que representa arctg r dada em (3.-15) tambm converge quando r = 1. O
que no bvio, embora seja verdadeiro, que a representao (3.-15) ainda vlida em r = 1 e
considerando r = 1, encontramos a frmula de Leibniz para o nmero :
4
= 1
1
3
+
1
5

1
7
+ .
Exemplo 3.1.5 Usando a srie (3.-17), obtemos por integrao termo a termo uma representao
para a funo ln(1 + r) em srie de potncias de r e para represent-la como uma srie de potncias
de r 2, por exemplo, so necessrios alguns ajustes. Temos:
1
1 + r
=
1
3 + (r 2)
=
1
3
_
1
1 + (r 2) ,3
_
e usando a representao (3.-17), trocando r por (r 2) ,3, resulta:
1
1 + r
=
1
3
1
a=0
(1)
a
(r 2)
a
3
a
, (3.-14)
representao vlida apenas quando
r 2
3
< 1, isto , 1 < r < 5. Integrando (3.-14), termo a

termo, de 2 at r, obtemos a representao:
ln(1 + r) = ln3 +
1
a=0
(1)
a
(r 2)
a+1
(: + 1) 3
a+1
, para 1 < r < 5. (3.-13)
Exemplo 3.1.6 Para representar a funo lnr por uma srie de potncias de r 1, procedemos
como no Exemplo 3.1.5 e comeamos escrevendo:
1
t
=
1
1 + (t 1)
=
1
a=0
(1)
a
(t 1)
a
, para [t 1[ < 1.
Integrando essa igualdade, termo a termo, de 1 at r, obtemos:
lnr =
1
a=0
(1)
a
(r 1)
a+1
: + 1
, para 0 < r < 2. (3.-12)
Existem sries de potncias que convergem em um nico valor de r, como o caso da srie
1
a=0
:!r
a
, que converge somente quando r = 0, porque neste caso:
lim
a!1
a
a+1
a
a
= lim
a!1
[r[ (: + 1) =
_
_
_
0, se r = 0
, se r ,= 0,
e existem sries para as quais o conjunto de valores de r onde elas convergem maior do que aquele
determinado pelo Critrio da Razo. Isso ocorre quando o caso extremo 1 = 1 analisado sepa-
radamente, fornecendo dois valores para r onde a srie pode convergir absolutamente ou convergir
condicionalmente. No caso da srie (3.-15), que representa a funo arctg r, ela converge, tambm,
nos pontos r = 1, obtidos a partir de 1 = 1. Outro exemplo que ilustra essa situao dado a
seguir.
Exemplo 3.1.7 Apliquemos o Critrio da Razo srie
1
a=1
(r 3)
a+1
:
. Temos:
1 = lim
a!1
a
a+1
a
a
= lim
a!1
(r 3)
a+2
: + 1
:
(r 3)
a+1
= [r 3[ lim
a!1
:
: + 1
= [r 3[
e, portanto, a srie converge absolutamente quando [r 3[ < 1, o que equivale a 2 < r < 4, e
diverge quando [r 3[ 1. Essa a informao contida no Critrio da Razo e a convergncia
da srie nas extremidades desse intervalo no pode ser prevista antecipadamente. Esse o caso
extremo 1 = 1 que ser analisado agora. A equao [r 3[ = 1 tem como solues r
1
= 4 e r
2
= 2
e, levando estes valores na srie original, obtemos a srie divergente
1
a=1
1
:
, para r = 4, e a srie
(condicionalmente) convergente
1
a=1
(1)
a+1
:
, para r = 2. Portanto, o conjunto dos valores de r
que tornam a srie convergente o intervalo semiaberto 2 _ r < 4.
3.1.1 Produto de Sries de Potncias
Se duas sries de potncias forem adicionadas ou subtradas, elas se comportaro como polinmios
no intervalo de convergncia comum. Nos Exemplos 3.1.8 e 3.1.9 vamos ilustrar que as sries de
potncias podem ser multiplicadas ou divididas como polinmios sem, contudo, justicar as ma-
nipulaes formais. O fato que se as sries ) (r) =
1
a=0
c
a
r
a
e q (r) =
1
a=0
d
a
r
a
convergirem no
intervalo [r[ < 1 e forem multiplicadas como polinmios, a srie resultante convergir em [r[ < 1
e representar nesse intervalo a funo ) (r) q (r). Com respeito diviso, devemos admitir d
0
,= 0
e a srie resultante representar a funo ) (r) ,q (r) em algum intervalo contido em [r[ < 1.
Exemplo 3.1.8 No intervalo [r[ < 1, temos:
c
a
1 r
= c
a
1
1 r
=
_
1 + r +
1
2
r
2
+
1
6
r
3
+
_ _
1 + r + r
2
+ r
3
+
_
e efetuando a multiplicao e agrupando os termos semelhantes, encontramos:
c
a
1 r
= 1 + 2r +
5
2
r
2
+
3
2
r
3
+ .
Exemplo 3.1.9 Para dividir duas sries de potncias, procedemos como na multiplicao e es-
crevemos:
c
0
+ c
1
r + c
2
r
2
+ c
3
r
3
+
d
0
+ d
1
r + d
2
r
2
+ d
3
r
3
+
=
1
a=0
/
a
r
a
,
onde os coecientes /
a
sero determinados a partir da relao:
c
0
+c
1
r+c
2
r
2
+c
3
r
3
+ =
_
d
0
+ d
1
r + d
2
r
2
+ d
3
r
3
+
_ _
/
0
+ /
1
r + /
2
r
2
+ /
3
r
3
+
_
(3.-11)
Por exemplo, com as sries de arctg r e expr, no intervalo [r[ < 1, a relao (3.-11) torna-se:
r
1
3
r
3
+
2
5
r
5
1
7
r
7
+ =
_
1 + r +
1
2
r
2
+
1
6
r
3
+
_ _
/
0
+ /
1
r + /
2
r
2
+ /
3
r
3
+
_
(3.-10)
e efetuando a multiplicao do lado direito de (3.-10), obtemos:
r
1
3
r
3
+
2
5
r
5
1
7
r
7
+ = /
0
+ (/
0
+ /
1
) r +
_
1
2
/
0
+ /
1
+ /
2
_
r
2
+
_
1
3
/
0
+
1
2
/
1
+ /
2
+ /
3
_
r
3
+
e igualando os coecientes, encontramos /
0
= 0, /
1
= 1, /
2
= 1, /
3
= 1,6 etc. Assim:
arctg r
c
a
= r r
2
+
1
6
r
3
,
representao vlida no intervalo [r[ < 1.
3.2 Intervalo de Convergncia
Nos exemplos apresentados na introduo, vericamos que uma srie de potncias
1
a=0
c
a
(r a)
a
pode convergir apenas quando r = a, pode convergir absolutamente em qualquer valor de r (Ex-
emplo 3.1.1) ou pode ser absolutamente convergente no intervalo [r a[ < 1 e divergente quando
[r a[ 1, podendo ser convergente ou no nos extremos desse intervalo (Exemplo 3.1.7). Esse
nmero real 1, que o raio do intervalo, denominado raio de convergncia da srie e o intervalo
correspondente o intervalo de convergncia. O intervalo de convergncia de uma srie de potncias
pode ser de qualquer um dos seguintes tipos:
(a 1, a + 1) , [a 1, a + 1), (a 1, a + 1] ou [a 1, a + 1] ,
dependendo da convergncia ou no da srie nos extremos do intervalo. As informaes fornecidas
pelo Critrio da Razo esto ilustradas na gura 3.2 abaixo.
Para sries de potncias do tipo
1
a=0
c
a
r
a
, onde o centro a = 0, o intervalo de convergncia pode
ser de qualquer um dos tipos [1, 1] , [1, 1), (1, 1] ou (1, 1) . Na tabela abaixo ilustramos
essas situaes com algumas sries apresentadas na introduo, indicando as respectivas funes que
elas representam no intervalo de convergncia. Adiante formalizaremos os resultados para sries de
potncias em geral.
srie raio de convergncia intervalo de convergncia
c
a
=
1
a=0
r
a
:!
1 = (, )
0 =
1
a=0
:!r
a
1 = 0 0
1
1 r
=
1
a=0
r
a
1 = 1 (1, 1)
1
1 + r
=
1
a=0
(1)
a
r
a
1 = 1 (1, 1)
arctg r =
1
a=0
(1)
a
r
2a+1
2: + 1
1 = 1 [1, 1]
Teorema 3.2.1 Se uma srie de potncias
1
a=0
c
a
(r a)
a
convergir em algum valor r
0
,= a, ento
ela convergir absolutamente em qualquer ponto r do intervalo [r a[ < [r
0
a[ . Se ela divergir
em r = r
1
, ento ela ser divergente quando [r a[ [r
1
a[ .
Demonstrao Se a srie
1
a=0
c
a
(r
0
a)
a
convergente, segue do Critrio do :-simo Termo
que lim
a!1
c
a
(r
0
a)
a
= 0 e pela denio de limite, xado - = 1, existe em correspondncia um
ndice :
0
N a partir do qual se tem [c
a
(r
0
a)
a
[ < 1. Ora,
[c
a
(r a)
a
[ = [c
a
(r
0
a)
a
[
r a
r
0
a
a
(3.-9)
e, tendo em vista que [c
a
(r
0
a)
a
[ < 1, \: _ :
0
, deduzimos de (3.-9) que:
[c
a
(r a)
a
[ <
r a
r
0
a
a
, \: _ :
0
. (3.-8)
Para [r a[ < [r
0
a[ a srie geomtrica
1
a=0
r a
r
0
a
a
convergente e, combinando (3.19) com o
Critrio da Comparao, conclumos que
1
a=0
c
a
(r a)
a
converge absolutamente. Para provarmos
a segunda parte do teorema, admitiremos que a srie
1
a=0
c
a
(r
1
a)
a
divergente e raciocinaremos
por absurdo. Se a srie
1
a=0
c
a
(r
2
a)
a
fosse convergente em algum ponto r
2
tal que [r
2
a[
[r
1
a[, ento, pelo que cou estabelecido na primeira parte da demonstrao, esta srie seria
convergente em todo valor de r, com [r a[ < [r
2
a[ e em particular seria convergente quando
r = r
1
, contrariando a hiptese.
Para as sries de potncias do tipo
1
a=0
c
a
r
a
o Teorema 3.2.1 assume a verso a seguir.
Teorema 3.2.2 Se uma srie de potncias
1
a=0
c
a
r
a
convergir em r
0
,= 0, ento ela convergir
absolutamente em qualquer valor de r do intervalo [r[ < [r
0
[ . Se ela divergir no ponto r
1
, ela
tambm divergir quando [r[ [r
1
[ .
Teorema 3.2.3 Com relao srie de potncias
1
a=0
c
a
(r a)
a
, apenas uma das situaes
abaixo ocorre:
(a) ou a srie converge apenas quando r = a;
(b) ou a srie converge absolutamente para qualquer valor que se atribua a r;
(c) ou existe um nmero real 1 0, denominado raio de convergncia, tal que a srie converge
absolutamente quando [r a[ < 1 e diverge quando [r a[ 1.
Demonstrao bvio que a srie converge quando r = a. Se ela convergir em algum outro
valor de r, por exemplo em r
1
, ento pelo Teorema 3.2.1 ela convergir absolutamente seja qual
for o valor atribudo varivel r no intervalo [r a[ < [r
1
a[ . Se ela for divergente em r = r
2
,
ela tambm ser divergente em qualquer valor de r tal que [r a[ [r
2
a[ (se no existe um
tal r
2
, ento a condio (b) claramente satisfeita) e, portanto, o conjunto constitudo dos
nmeros [r a[, sendo r um valor onde a srie converge absolutamente, limitado superiormente
2
por [r
2
a[ e o nmero 1 procurado na condio (c) precisamente o supremo do conjunto .
Com relao ao raio de convergncia 1 estabelecido no Teorema 3.2.3(c), nos casos em que
ocorrer a condio (a) diremos que o raio de convergncia 1 = 0 e quando a srie for convergente
em qualquer valor de r diremos que o raio de convergncia da srie 1 = . Assim, toda srie
de potncias tem um raio de convergncia que pode ser zero, um nmero real positivo ou . Uma
maneira prtica de calcular o raio de convergncia de uma srie de potncias estabelecida no
teorema apresentado a seguir.
Teorema 3.2.4 Se | = lim
a!1
c
a+1
c
a
e 1 o raio de convergncia da srie

1
a=0
c
a
(r a)
ca+o
,
c 0, ento:
(a) | = 0 =1 = (b) | = =1 = 0 e (c) | ,= 0 =1 = (1,|)
1c
.
Demonstrao Representando por a
a
o termo geral da srie, ento a
a
= c
a
(r a)
ca+o
e:
1 = lim
a!1
a
a+1
a
a
lim
c
a+1
(r a)
ca+c+o
c
a
(r a)
ca+o
= [r a[
c
lim
c
a+1
c
a
= [r a[
c
| (3.-7)
e, como consequncia de (3.-7) e do Critrio da Razo, temos que: se | = 0, ento 1 = 0 e a srie
converge absolutamente em qualquer valor de r e, neste caso, 1 = ; se | = , ento a nica
possibilidade de se ter 1 < 1 quando r = a e, neste caso, 1 = 0; nalmente, se 0 < | < ,
ento a srie converge absolutamente se [r a[ < (1,|)
1c
e diverge se [r a[ (1,|)
1c
, de onde
deduzimos que, neste caso, 1 = (1,|)
1c
.
Exemplo 3.2.5 Na srie
1
a=0
:! (r 5)
a
10
a
vemos que a = 5 e c
a
=
:!
10
a
, de modo que:
| = lim
a!1
c
a+1
c
a
= lim
a!1
(: + 1)!
10
a+1

10
a
:!
= lim
a!1
: + 1
10
= .
Assim, 1 = 0 e a srie converge apenas quando r = 5. Procedendo de maneira inteiramente anloga
com a srie
1
a=0
(1)
a
3
a
(r 4)
a
:!
, obtemos:
| = lim
a!1
3
a+1
(: + 1)!

:!
3
a
= 0,
2
Um conjunto A limitado superiormente quando existir uma constante C tal que x C; 8x 2 A. A menor
dessas constantes o supremo do conjunto A:
o que indica ser 1 = e a srie converge absolutamente para qualquer valor atribudo a r. O
intervalo de convergncia, neste caso, (, ) .
Exemplo 3.2.6 Para a srie
1
a=0
(1)
a
r
a
(2: 1) 3
2a1
, temos:
| = lim
a!1
c
a+1
c
a
= lim
a!1
(2: 1) 3
2a1
(2: + 1) 3
2a+1
=
1
9
lim
a!1
2: 1
2: + 1
=
1
9
e, portanto, 1 = 9. Assim, a srie converge absolutamente se [r[ < 9 e diverge se [r[ 9. Para
r = 9 obtemos a srie
1
a=0
(1)
a
3
2: 1
, condicionalmente convergente e se r = 9 a srie
1
a=0
3
2: 1
,
divergente. Em resumo, a srie converge no intervalo (9, 9], sendo a convergncia absoluta em
(9, 9) e condicional em r = 9.
Exemplo 3.2.7 Consideremos a srie
1
a=0
4
a
r
2a
:
2
, onde temos a = 0, c = 2 e c
a
=
4
a
:
2
, de modo
que:
| = lim
a!1
c
a+1
c
a
= lim
a!1
4
a+1
(: + 1)
2

:
2
4
a
= 4 lim
a!1
:
2
(: + 1)
2
= 4.
Assim, 1 = (1,|)
12
= 1,2 e a srie converge absolutamente quando [r[ < 1,2 e diverge quando
[r[ 1,2. Nos pontos extremos r = 1,2 obtemos a j-srie convergente

1,:
2
. Logo, a srie
converge absolutamente no intervalo [1,2, 1,2].
3.3 Derivao e Integrao
Como observamos anteriormente, uma srie de potncias
1
a=0
c
a
(r a)
a
dene uma funo
real cujo domnio o intervalo de convergncia da srie. A srie derivada
1
a=1
:c
a
(r a)
a1
, que
obtida por derivao termo a termo, tem o mesmo raio de convergncia da srie original, o que
facilmente comprovado, notando-se que:
lim
a!1
(: + 1) c
a+1
:c
a
= lim
a!1
c
a+1
c
a
,
quando o ltimo limite existir. O mesmo vlido para a srie integral
1
a=0
c
a
(r a)
a+1
: + 1
e, neste
caso:
lim
a!1
c
a+1
: + 2

: + 1
c
a
= lim
a!1
c
a+1
c
a
,
onde, mais uma vez, admitimos a existncia do ltimo limite.
Para vericarmos que a derivao termo a termo possvel para srie de potncias, nos ins-
piramos nas funes polinomiais, para as quais o resultado bvio. Suponhamos que ) (r) =
1
a=0
c
a
r
a
tenha raio de convergncia 1 0 e xemos um ponto r
0
no intervalo de convergncia.
A derivada de cada polinmio (soma parcial ) o
I
(r) =

I
a=0
c
a
r
a
calculada termo a termo
e a sequncia de derivadas o
0
I
(r) converge para srie derivada o
0
(r) =

1
a=1
:c
a
r
a1
, isto ,
limo
0
I
(r) = o
0
(r), em cada r no intervalo de convergncia. Da denio de limite a cada - 0
dado, existe um nmero natural /
0
, que ser aumentado se for necessrio, tal que:
o
0
I
(r) o
0
(r)
< -,2, \/ _ /
0
, (3.-6)
para todo r sucientemente prximo de r
0
. Para mostrar que )
0
(r
0
) = o
0
(r
0
) , comeamos recor-
dando a relao r
a
r
a
0
= (r r
0
)
_
r
a1
+ r
a2
r
0
+ + r
a1
0
_
, deixada como tarefa no Exerccio
1.6G, e usamos a desigualdade triangular para obtermos
)
r
o
0
(r
0
)
a=0
c
a
(r
a
r
a
0
)
r r
0

I
a=0
c
a
(r
a
r
a
0
)
r r
0
+
+
a=0
c
a
(r
a
r
a
0
)
r r
0
o
0
I
(r
0
)
+[o
0
I
(r
0
) o
0
(r
0
)[ .
(3.-5)
Agora, xemos um nmero no intervalo de convergncia tal que [r
0
[ _ < 1, de modo que:
r
a
r
a
0
r r
0
_ [r[
a1
+[r[
a2
[r
0
[ + +[r
0
[
a1
_ :
a1
,
para r sucientemente prximo de r
0
, e assim:
a=0
c
a
(r
a
r
a
0
)
r r
0

I
a=0
c
a
(r
a
r
a
0
)
r r
0
_
1
a=I+1
[c
a
[
r
a
r
a
0
r r
0
_
1
a=I+1
:[c
a
[
a1
.
Como a srie

1
a=1
:[c
a
[
a1
converge, sua cauda

1
a=I+1
:[c
a
[
a1
tem limite zero e torna-se
menor do que -,2, desde que consideremos / sucientemente grande e, portanto:
a=0
c
a
(r
a
r
a
0
)
r r
0

I
a=0
c
a
(r
a
r
a
0
)
r r
0
< -,2, (3.-4)

para todo / _ /
0
e r sucientemente prximo de r
0
. Finalmente, da denio de derivada resulta
lim
a!a
0
r
a
r
a
0
r r
0
= :r
a1
0
e, consequentemente:
lim
a!a
0
I
a=0
c
a
(r
a
r
a
0
)
r r
0
=
I
a=0
:c
a
r
a1
0
= o
0
I
(r
0
) . (3.-3)
Em (3.-5) consideramos / _ /
0
e fazemos r r
0
para chegarmos a:
lim
a!a
0
)
r
o
0
(r
0
)
_ -,2 + -,2 = - (3.-2)

e sendo - 0 arbitrrio, segue de (3.-2) que )
0
(r
0
) =
1
a=1
:c
a
(r
0
a)
a1
, como queramos. Com
isso formalizamos o seguinte resultado com relao a derivao de srie de potncias:
Teorema 3.3.1 (Derivao Termo a Termo) Se a srie
1
a=0
c
a
(r a)
a
tem raio de convergn-
cia 1 0, ento a srie
1
a=1
:c
a
(r a)
a1
, obtida por derivao termo a termo, tem raio de
convergncia 1, a funo ) (r) =
1
a=0
c
a
(r a)
a
derivvel no intervalo (a 1, a + 1) e neste
intervalo )
0
(r) =
1
a=1
:c
a
(r a)
a1
.
Teorema 3.3.1 (Integrao Termo a Termo) Se uma srie de potncias ) (r) =
1
a=0
c
a
(r a)
a
tem raio de convergncia 1 0, ento para a 1 < < j < a + 1, a srie
_
j
) (r) dr =
1
a=0
c
a
_
j
(r a)
a
dr,
obtida por integrao termo a termo, tambm tem raio de convergncia 1. Em particular,
_
a
o
) (t) dt =
1
a=0
c
a
(r a)
a+1
: + 1
, [r a[ < 1 (3.-1)
Demonstrao Considerando a funo q (r) =
1
a=0
c
a
: + 1
(r a)
a+1
, segue do Teorema 3.3.1 que
q
0
(r) = ) (r) , \r (a 1, a + 1) , e, portanto:
_
a
o
) (t) dt = q (r) =
1
a=0
c
a
: + 1
(r a)
a+1
.
Esses teoremas sobre derivao e integrao de sries de potncias justicam plenamente aquelas
operaes feitas na introduo, quando obtivemos o desenvolvimento de algumas funes em sries
de potncias. Naquela ocasio efetuamos, formalmente, a derivao e a integrao termo a termo.
Exemplo 3.3.3 Como veremos adiante, a funo senr representada no intervalo (, ) pela
srie:
senr = r
r
3
3!
+
r
5
5!
+
(1)
a
r
2a+1
(2: + 1)!
+ , < r < (3.0)
e por derivao termo a termo obtemos a seguinte representao em srie de potncias para a funo
cos r :
cos r = 1
r
2
2!
+
r
4
4!

r
6
6!
+ +
(1)
a
r
2a
(2:)!
+ , < r < (3.1)
Em smbolos essas sries se escrevem sob a forma:
senr =
1
a=0
(1)
a
r
2a+1
(2: + 1)!
, < r < cos r =
1
a=0
(1)
a
r
2a
(2:)!
, < r <
Combinando as sries (3.0) e (3.1) e usando alguns artifcios simples encontramos sries que rep-
resentam as funes sen
2
r, cos
2
r e r
2
senr. Por exemplo, a srie de sen
2
r obtida usando a
relao sen
2
r =
1
2
(1 cos 2r) juntamente com a srie (3.1) com 2r no lugar do r. Vejamos este
procedimento passo-a-passo:
cos r =
1
a=0
(1)
a
r
2a
(2:)!
=cos 2r =
1
a=0
(1)
a
(2r)
2a
(2:)!
=
1
a=0
(1)
a
4
a
r
2a
(2:)!
=
= cos 2r = 1 +
1
a=1
(1)
a
4
a
r
2a
(2:)!
=sin
2
r =
1
2
(1 cos 2r) =
1
a=1
(1)
a
4
a
r
2a
2 (2:)!
.
Exemplo 3.3.4 Usando o procedimento do Exemplo 3.1.9 e as sries (3.0) e (3.1), vamos encontrar
uma srie de potncias para a funo ) (r) = tg r, no intervalo ,2 < r < ,2. Temos:
tg r =
senr
cos r
= /
0
+ /
1
r + /
2
r
2
+ /
3
r
3
+ /
4
r
4
+
e substituindo as sries de senr e cos r, chegamos a identidade:
r
1
3!
r
3
+
1
5!
r
5
1
7!
r
7
+ =
_
1
1
2!
r
2
+
1
4!
r
4
1
6!
r
6
+
_ _
/
0
+ /
1
r + /
2
r
2
+
_
. (3.2)
Efetuando o produto do lado direito de (3.2) e agrupando os termos semelhantes, obtemos:
r
1
3!
r
3
+
1
5!
r
5
1
7!
r
7
+ = /
0
+/
1
r+
_
1
2
/
0
+ /
2
_
r
2
+
_
1
2
/
1
+ /
3
_
r
3
+
_
1
4!
/
0
+
1
2
/
2
+ /
4
_
r
4
+
e igualando os coecientes encontramos /
0
= 0, /
1
= 1, /
2
= 0, /
3
= 1,3, /
4
= 0, /
5
= 2,15, etc.
Assim:
tg r = r +
1
3
r
3
+
2
15
r
5
+ , ,2 < r < ,2. (3.3)
Exemplo 3.3.5 Estimando
senr
r
, r ,= 0.
A partir da srie (3.0) que representa senr, encontramos
senr
r
=
1
a=0
(1)
a
r
2a
(2: + 1)!
, r ,= 0, e usando
as estimativas (??) para sries alternadas, obtemos o
1
_
senr
r
_ o
0
, isto :
1
r
2
6
_
senr
r
_ 1, r ,= 0. (3.4)
De (3.4) mais o Critrio do Confronto 1.3.13, chegamos ao seguinte limite fundamental :
lim
a!0
senr
r
= 1
Exemplo 3.3.6 As operaes de derivao e integrao termo a termo podem ser utilizadas para
identicar a funo elementar a partir de sua srie de potncias. Por exemplo, identiquemos a
funo denida pela srie
1
a=0
r
a
: + 1
no intervalo (0, 1). Para r nesse intervalo, temos:
1
a=0
r
a
: + 1
=
1
r
1
a=0
r
a+1
: + 1
=
1
r
1
a=0
_
a
0
t
a
dt =
1
r
_
a
0
(
1
a=0
t
a
)dt =
1
r
_
a
0
dt
1 t
=
ln(1 r)
r
,
e, portanto, ) (r) = r
1
ln(1 r) a funo representada pela srie

1
a=0
r
a
: + 1
no intervalo
0 < r < 1. Para identicar a funo denida pela srie

1
a=0
(1)
a
(: + 1) r
a
procedemos de forma
similar, agora usando derivao termo a termo. De fato, no intervalo 1 < r < 1, temos:
1
a=0
(1)
a
(: + 1) r
a
=
1
a=1
(1)
a1
:r
a1
=
d
dr
1
a=0
(1)
a
r
a
=
d
dr
_
1
1 + r
_
=
1
(1 + r)
2
.
3.4 Exerccios Complementares
3.4A 3.4A Falso ou Verdadeiro? Justique.
(a) se
1
a=0
[c
a
[ convergente, ento
1
a=0
c
a
r
a
absolutamente convergente no intervalo [1, 1] ;
(b) se uma srie de potncias absolutamente convergente em um dos extremos de seu intervalo
de convergncia, ento ela tambm converge absolutamente no outro extremo;
(c) se uma srie de potncias converge em um extremo de seu intervalo de convergncia e
diverge no outro, ento a convergncia naquele extremo condicional;
(d) se 1 o raio de convergncia de
1
a=0
c
a
r
a
, ento
_
1 o raio de convergncia de
1
a=0
c
a
r
2a
;
(e) se lim
a!1
n
_
[c
a
[ = 1 0, ento a srie
1
a=0
c
a
(r a)
a
tem raio de convergncia 1,1;
(f) se
1
a=0
c
a
(r a)
a
tem raio de convergncia 1 0, ento 1 tambm o raio de convergncia
das sries
1
a=1
:c
a
(r a)
a1
e
1
a=0
c
a
: + 1
(r a)
a+1
;
(g) uma srie de potncias
1
a=0
c
a
r
a
pode convergir apenas em dois valores de r.
(h) se 1 0 o raio de convergncia da srie
1
a=0
c
a
(r a)
a
, ento 1 tambm o raio de
convergncia da srie
1
a=0
c
a
(r a)
a+j
.
(i) se lim
a!1
n
_
[c
a
[ = 1 0, ento as sries
1
a=0
c
a
(r a)
2a
e
1
a=0
c
a
(r a)
2a+1
tm raio de
convergncia 1,
_
1;
(j) se
1
a=0
c
a
r
a
tem raio de convergncia 2 e
1
a=0
d
a
r
a
tem raio de convergncia 3, ento o raio
de convergncia de
1
a=0
(c
a
+ d
a
) r
a
1 = 2.
(k) se a srie

c
a
r
a
converge em r = 2, ento ela converge em r = 3;
(i) se a srie

c
a
r
a
diverge em r = 2, ento ela diverge em r = 3;
3.4B Em cada caso determine o intervalo de convergncia da srie de potncias:
(a)
1
a=1
:
a
(r 3)
a
(b)
1
a=0
r
2a+1
(4)
a
(c)
1
a=1
1 3 5 . . . (2: 1)
2 4 6 . . . (2:)
r
2a+1
(d)
1
a=0
(1)
a+1
r
a
(e)
1
a=0
:(r 1)
2a
3
2a1
(f)
1
a=1
1 3 5 . . . (2: 1)
2 4 6 . . . (2:)
r
a
(g)
1
a=2
(1)
a
r
a
:(ln:)
(h)
1
a=1
(r + 5)
a1
:
2
(i)
1
a=1
(1)
a+1
r
2a1
(2: 1)!
(j)
1
a=0
:!r
a
(k)
1
a=0
2
a
(2:)!
r
2a
(l)
1
a=0
_
:r
a
1 3 5 . . . (2: + 1)
(m)
1
a=1
(3 r)
a1
_
:
(n)
1
a=1
(1 r)
a
(: + 1) 3
a
(o)
1
a=1
(5
a
+ 5
a
) (r + 1)
3a2
:
2
(p)
1
a=1
r
a
arctg : (q)
1
a=1
(1)
a
2
a
r
a
(: + 1)
3
(r)
1
a=1
(1)
a+1
(r 3)
4a
:
1a
.
3.4C Comeando com a frmula
1
1 r
=
1
a=0
r
a
, vlida para [r[ < 1, represente cada funo por
uma srie de potncias de r. Em cada caso determine o raio e o intervalo de convergncia.
(a)
1
(1 r)
3
(b)
r
(1 + r
2
)
2
(c)
1
1 r
4
(d)
1
1 4r
(e)
1
2 + r
(f)
r
1 r
2
(g) ln(1 r) (h)
r
3
(1 r
4
)
2
(i)
1 + r
2
(1 r
2
)
2
(j)
r
2
3
r 2
(k)
r
2 3r
(l)
1
6 r r
2
.
3.4D Represente a funo ) (r) = c
p
a
, r 0, por uma srie de potncias de r.
3.4E Use a srie de c
a
dada em (3.8) e calcule o valor da soma
1
a=0
(1)
a
:!2
a
.
3.4F Use uma expanso em srie de potncias de r para
1
(1 r)
2
e mostre que
1
a=1
:
2
a
= 2.
3.4G Encontre uma srie de potncias para representar a funo
c
a
1
r
e, por derivao termo
a termo, prove que
1
a=1
:
(: + 1)!
= 1.
3.4H Encontre uma expanso em srie de potncias de r para r
2
c
a
e, derivando o resultado,
prove que
1
a=2
(1)
a
(: + 2) 2
a+1
:!
= 8.
3.4I Derive duas vzes, termo a termo, uma srie de potncias que representa a funo exp
_
r
2
_
e mostre que
1
a=1
(1)
a+1
(2: + 1)
:!2
a
= 1.
3.4J Dado um nmero inteiro positivo /, considere a /-sima funo de Bessel de 1
o
espcie
J
I
(r), denida por:
J
I
(r) =
1
a=0
(1)
a
:! (: + /)!
_
r
2
_
2a+I
.
(a) mostre que o erro cometido ao aproximar J
0
(r) , 0 _ r _ 1, pelo polinmio 1
r
2
4
+
r
4
64
r
6
2304
inferior a 10
5
;
(b) mostre que J
0
0
= J
1
e
_
a
0
t
3
J
2
(t) dt = r
3
J
3
(r) ;
(c) esboce os grcos das somas parciais o
3
(r) de J
0
(r) e de J
1
(r) , no intervalo 0 _ r _ 2.
3.4K Mostre que ln r = ln 2 +
1
a=1
(1)
a+1
(r 2)
a
:2
a
, 0 < r < 4.
3.4L Usando a representao ln(1 t) =
1
a=0
t
a+1
: + 1
, [t[ < 1, calcule ln(1.2) com 3 casas deci-
mais e compare o valor com o resultado obtido em uma calculadora.
3.4M Integrando termo a termo de 0 at r a srie de potncias de ln(1 t) do exerccio prece-
dente, mostre que
1
a=2
r
a
:(: 1)
= r + (1 r) ln (1 r) . Para que valores de r esta representao
vlida?
3.4N Integrando de r = 0 at r = 1 uma srie de potncias que representa a funo rc
a
, mostre
que
1
a=1
1
:! (: + 2)
=
1
2
.
3.4O Desenvolva as funes ) (r) =
1
1 3r
e q (r) =
1
3 2r
em sries de potncias de r, de-
termine os respectivos intervalos de convergncia e em seguida obtenha sries para representar as
funes )
0
(r) e
_
a
0
q (t) dt.
3.4P Com auxlio da srie de potncias de arctg r, mostre que:
6
=
1
_
3
1
a=0
(1)
a
3
a
(2: + 1)
e aproxime

4
usando os cinco primeiros termos da srie de arctg r, estimando o valor do erro.
3.4Q Se a probabilidade 1
a
de um fton receptor absorver exatamente : ftons dada por
1
a
=
c
A
`
a
:!
, ` 0, mostre que
1
a=0
1
a
= 1.
3.4R Represente as integrais
_
a
0
ln (1 t)
t
dt e
_
a
0
c
t
1
t
dt por sries de potncias de r, indicando
o intervalo de convergncia de cada uma delas. Em cada caso o integrando em t = 0 denido pelo
limite quando t 0.
3.4S Use uma srie de potncias adequada e aproxime cada integral com 4 casas decimais:
(a)
_
13
0
dr
1 + r
6
(b)
_
12
0
arctg
_
r
2
_
dr (c)
_
0.5
0
c
a
3
dr (d)
_
1
0
senr
r
dr.
3.4T Seja ) (r) = 2 + 3r + 4r
2
+ =
1
a=2
:r
a2
, denida para [r[ < 1. Integrando duas vezes,
sucessivamente, esta srie de 0 at r, identique a funo ) como sendo
2 r
(1 r)
2
.
3.4U Identique a funo denida pela srie
1
a=0
(: + 1) r
a
. Idem para
1
a=0
(: + 2) r
a
2
a+1
.
3.4V (falha na derivao termo a termo) Mostre que a srie
1
a=1
sen(:r)
:
2
converge absoluta-
mente em qualquer r e, ainda assim, a srie de derivadas diverge quando r = 2. Por que isso no
contradiz o Teorema 3.3.1 sobre a derivao termo a termo?
3.5 Sries de Taylor e de Maclaurin
As funes c
a
e (1 r)
1
foram representadas em sries de potncias sem maiores diculdades;
no primeiro caso, usamos derivao termo a termo e, no segundo, uma srie geomtrica. Existem
funes que, embora innitamente derivveis em um ponto a, no podem ser representadas nas
proximidades de a por uma srie de potncias de r a, como o caso da funo ) (r) do Exerccio
3.6K. As funes que podem ser representadas por sries de potncias de ra so aquelas innita-
mente derivveis em algum intervalo aberto contendo a e que neste intervalo esto arbitrariamente
prximas do seu Polinmio de Taylor.
Denio 3.5.1 Se )(r) uma funo derivvel at a ordem : em um intervalo contendo a, o
Polinmio de Taylor de ordem : gerado por ) em r = a o polinmio 1
a
(r; a) dado por:
1
a
(r; a) = ) (a) +
)
0
(a)
1!
(r a) +
)
00
(a)
2!
(r a)
2
+ +
)
(a)
(a)
:!
(r a)
a
. (3.5)
Se considerarmos em (3.5) a = 0 obteremos o Polinmio de Maclaurin de ) :
1
a
(r) = ) (0) +
)
0
(0)
1!
r +
)
00
(0)
2!
r
2
+ +
)
(a)
(0)
:!
r
a
. (3.6)
No caso da funo ) (r) = c
a
, o Polinmio de Maclaurin :
1
a
(r) = 1 +
r
1!
+
r
2
2!
+ +
r
a
:!
, (3.7)
o qual coincide com a :-sima soma parcial o
a
da srie (3.-21) que representa a funo c
a
. Para
esta funo, usando o fato que lim
a!1
r
a
:!
= 0, \r, deduzimos que se 0 < < r, ento
lim
a!1
)
(a+1)
()
(: + 1)!
(r a)
a+1
= lim
a!1
c
(r a)
a+1
(: + 1)!
= 0. (3.8)
O resultado principal desta seo, conhecido como Frmula de Taylor com Resto, estabelece uma
condio necessria e suciente para que uma funo innitamente derivvel possa ser aproximada
pelo seu Polinmio de Taylor.
Teorema 3.5.2 (Frmula de Taylor com Resto) Seja ) (r) uma funo derivvel at a ordem
: + 1 em um intervalo 1 contendo a no seu interior. Dado qualquer r nesse intervalo, existe um
nmero entre a e r tal que:
) (r) = 1
a
(r; a) +
)
(a+1)
()
(: + 1)!
(r a)
a+1
(3.9)
Alm disso, se ) infnitamente derivvel a sequncia 1
a
(r; a) converge para ) (r) se, e somente
se:
lim
a!1
)
(a+1)
()
(: + 1)!
(r a)
a+1
= 0 (3.10)
O termo 1
a
(r, a) =
)
(a+1)
()
(: + 1)!
(r a)
a+1
que aparece em (3.9) denominado o resto da apro-
ximao da funo ) pelo seu Polinmio de Taylor.
Demonstrao Suponhamos r a e consideremos a funo G : [a, r] R denida por:
G(t) = ) (r)
_
a
I=0
)
(I)
(t)
/!
(r t)
I
+ 1
a
(r)
(r t)
a+1
(r a)
a+1
_
(3.11)
onde 1
a
(r) = ) (r)1
a
(r; a) . A funo G(t) assim denida contnua no intervalo fechado [a, r] ,
derivvel no intervalo aberto (a, r) e, alm disso:
(a) G(a) = ) (r) 1
a
(r; a) 1
a
(r) = 0 e (b) G(r) = 0.
Pelo Teorema de Rolle existe um nmero entre a e r tal que G
0
() = 0 e como
G
0
(t) =
)
(a+1)
(t)
:!
(r t)
a
(: + 1) 1
a
(r)
(r t)
a
(r a)
a+1
,
ento G
0
() = 0 implica 1
a
(r) =
)
(a+1)
()
(: + 1)!
(r a)
a+1
e assim obtemos (3.9). claro que a
relao (3.10) equivalente a convergncia da sequncia 1
a
(r; a) para ) (r) .
Se denotarmos por o
a
(r) a sequncia de somas parciais da srie
1
a=0
)
(a)
(a)
:!
(r a)
a
e se
existirem constantes ' e r tais que

)
(a+1)
()
_ 'r
a+1
, para todo : e todo entre a e r, ento
[1
a
(r, a)[ _
'r
a+1
[r a[
a+1
(: + 1)!
e como consequncia do Critrio do Confronto 1.3.13 e do Exemplo
1.3.18, deduzimos que lim1
a
(r, a) = 0. Assim, de (3.10) segue que:
lim
a!1
o
a
(r) = lim
a!1
1
a
(r; a) = lim
a!1
[) (r) 1
a
(r)] = ) (r) lim
a!1
1
a
(r) = ) (r)
e, portanto, a srie converge para ) (r) em cada r do intervalo de convergncia. Assim,
) (r) =
1
a=0
)
(a)
(a)
:!
(r a)
a
(3.12)
e em homenagem ao matemtico ingls Brook Taylor (1685-1731), a srie (3.12) denomina-se Srie
de Taylor de ) em torno de r = a. No caso em que a = 0, a srie de Taylor correspondente
recebe o nome de Srie de Maclaurin de ), em homenagem ao matemtico escocs Colin Maclaurin
(1698-1746) que a popularizou em suas publicaes.
Exemplo 3.5.3 Se ) (r) = c
a
, temos que )
(a)
(0) = 1, para todo : e, portanto, a srie de
Maclaurin de c
a
aquela obtida em (3.-21). Ressaltamos que lim
)
(a+1)
() r
a+1
(: + 1)!
= 0, \r.
3.5.1 Aproximao Polinomial
Ao aproximar uma funo ) (r) pelo polinmio de Taylor 1
a
(r; a) , gerado por ela, devemos
ter em mente dois aspectos: (i) se a aproximao atende s expectativas e (ii) que grau deve ter o
polinmio 1
a
(r; a) para obtermos a preciso desejada. O grau do polinmio determina o nmero
de termos que devem ser considerados na aproximao e o erro estimado usando a relao
[1
a
(r)[ = [) (r) 1
a
(r; a)[ .
Se a srie for alternada a estimativa de Leibniz para sries alternadas pode ser utilizada para medir
o tamanho do erro. Em qualquer caso podemos usar a Frmula de Taylor (3.9) para obtermos:
[1
a
(r)[ =
'[r a[
a+1
(: + 1)!
, onde

)
(a+1)
(t)
_ ', para t entre a e r.

Exemplo 3.5.4 Vamos encontrar os valores positivos de r de modo que ao aproximar ln(1 + r)
por r o erro no ultrapasse 1% do valor de r. Por integrao da srie (3.-17), obtemos a srie
alternada
ln(1 + r) = r
1
2
r
2
+
1
3
r
3
+
(1)
a
: + 1
r
a+1
+
vlida para [r[ < 1. A estimativa de Leibniz nos d [1
1
[ _ /
2
= r
2
,2 e para que o erro no
ultrapasse 1% do valor de r devemos considerar r
2
,2 _ r,100 e, assim, obtemos 0 < r _ 0.02.
Essa estimativa obtida da Frmula de Taylor (3.9) observando que se 0 < < r < 1, ento:
[1
1
[ =
1
(1 + )
2
r
2
2!
_
r
2
2!
=

r
2
[r[ _ (0.01) [r[ =
r
2
_ 0.01 =[r[ _ 0.02.

Exemplo 3.5.5 (aproximao quadrtica para c
x
) Ao considerarmos a aproximao quadrtica
c
a
1 + r +
1
2
r
2
, no intervalo [r[ < 0.1
cometemos um erro que pode ser estimado pela Frmula de Taylor ou pelo Critrio de Leibniz, no
caso em que r < 0. De fato, o resto de segunda ordem da aproximao :
[1
2
(r)[ =
[)
000
()[ [r[
3
3!
_
c
0.1
(0.1)
3
6
(1.76) 10
4
, [r[ < 0.1.
Se 0.1 < r < 0, obtemos da estimativa de Leibniz [1
2
(r)[ _ /
3
_
1
6
(0.1)
3
(1.6) 10
4
.
Exemplo 3.5.6 Para a funo ) (r) = senr, temos que ) (0) = 0, )
0
(0) = 1, )
00
(0) = 0, )
000
(0) =
1, )
(4)
(0) = 0, etc. De forma geral, )
(2a)
() = sen e )
(2a1)
() = cos e, portanto, o resto
[1
a
(r)[ =
)
(a+1)
()
(: + 1)!
r
a+1
_
[r[
a+1
(: + 1)!
tende para zero quando : , comprovando que a Srie
de Maclaurin de senr aquela dada em (3.0).
Exemplo 3.5.7 (O Teste da Segunda Derivada) Suponhamos que a funo ) e suas derivadas
)
0
e )
00
sejam contnuas em um intervalo 1, contendo o ponto a no seu interior, e consideremos a
aproximao quadrtica de )
) (r) = ) (a) +
)
0
(a)
1!
(r a) +
)
00
()
2!
(r a)
2
, (3.13)
onde est entre a e r, conforme estabelece o Teorema de Taylor 3.5.2. De (3.13) segue o Teste da
Segunda Derivada para extremos locais:
(a) se )
0
(a) = 0 e )
00
< 0 no intervalo 1, ento ) (r) _ ) (a) , para todo r no intervalo 1 e,
portanto, a funo ) tem um mximo local no ponto r = a;
(b) se )
0
(a) = 0 e )
00
0 no intervalo 1, ento ) (r) _ ) (a) , para todo r no intervalo 1 e,
portanto, a funo ) tem um mnimo local no ponto r = a.
Observao 3.5.8 (o polinmio de Taylor a melhor aproximao) Se ) (r) uma funo
derivvel at a ordem :, em certo intervalo 1 centrado no ponto a, dentre os polinmios de grau
_ : o polinmio de Taylor 1
a
(r; a) de ) nos d a melhor aproximao para ). De fato, se um
polinmio j (r) = /
0
+ /
1
(r a) + /
2
(r a)
2
+ + /
a
(r a)
a
tal que
j (a) = ) (a) e lim
a!o
) (r) j (r)
(r a)
a
= 0,
ento
lim
a!o
) (r) j (r)
(r a)
I
= lim
a!o
_
) (r) j (r)
(r a)
a
(r a)
aI
_
= 0, / = 0, 1, 2, 3, . . . , :,
e admitindo que j
())
(a) = )
())
(a), para , = 0, 1, 2, . . . , / 1, obtemos, via Regra de LHpital, que
lim
a!o
j
(I1)
(r) )
(I1)
(r)
r a
= /! lim
a!o
j (r) j (a)
(r a)
I
= 0
e, consequentemente,
/!/
I
= j
(I)
(a) = lim
a!o
j
(I1)
(r) j
(I1)
(a)
r a
= lim
a!o
_
j
(I1)
(r) )
(I1)
(r)
r a
+
)
(I1)
(r) )
(I1)
(a)
r a
_
= )
(I)
(a) .
Logo, /
I
= )
(I)
(a) ,/!, / = 0, 1, 2, . . . , :, e j (r) o polinmio de Taylor de ) em r = a.
Observao 3.5.9 Uma funo ) (r) dita analtica em r = a quando ela puder ser re-presentada
por sua Srie de Taylor em algum intervalo aberto contendo a. De acordo com o Teorema 3.5.2,
uma funo de classe C
1
em uma vizinhana de a a analtica se, e somente se, o resto de sua
aproximao de Taylor tende para zero, com : . Assim, a soma e o produto de funes
analticas so analticas, como tambm so analticas, alm dos polinmios, as demais funes
elementares do clculo: c
a
, lnr, senr, cos r etc. em seus respectivos domnios. Um fato crucial,
porm no to bvio, que se uma funo ) (r) analtica em um intervalo 1, onde ela nunca se
anula, ento a funo 1,) tambm analtica em 1. Com isso queremos enfatizar que as funes
racionais so analticas em todo intervalo onde o denominador diferente de zero.
Observao 3.5.10 Se duas sries de potncias
1
a=0
c
a
(r a)
a
e
1
a=0
d
a
(r a)
a
tm raios de
convergncias positivos e tm a mesma soma no intervalo comum, ento c
a
= d
a
, \:. De fato,
se ) (r) a funo representada pelas sries no intervalo comum, ento c
a
=
)
(a)
(a)
:!
= d
a
.
Conseqentemente, se uma srie de potncias
1
a=0
c
a
(r a)
a
convergir no intervalo [r a[ < 1
para uma funo ) (r), ento essa a srie de Taylor de ) no intervalo de convergncia.
3.6A Represente as seguintes funes em sries de potncias de r:
(a) ) (r) = c
a
2
(b) ) (r) = rsenr (c) ) (r) = 3
a+1
(d) ) (r) = ln
_
1 + r
2
_
(e) ) (r) = r
2
senr (f) ) (r) = cos
2
r (g) ) (r) = c
4a
(h) ) (r) = sen
2
r
(i) ) (r) = senhr (j) ) (r) = sen4r (k) ) (r) = coshr (l) ) (r) = cos 3r
3.6B Em estatstica a funo 1 (r) =
2
_
_
a
0
c
t
2
dt recebe o nome de Funo Erro. Encontre a
Srie de Maclaurin da funo 1 (r) .
3.6C Determine as constantes a
0
, a
1
, a
2
, a
3
e a
4
, de modo que:
3r
4
17r
3
+ 35r
2
32r + 17 = a
4
(r 1)
4
+ a
3
(r 1)
3
+ a
2
(r 1)
2
+ a
1
(r 1) + a
0
.
3.6D Em cada caso encontre a expanso de Taylor da funo ) em torno do ponto indicado.
(a) ) (r) =
_
r; a = 9 (b) ) (r) = tg r; a = 0 (c) ) (r) = cos r; a = ,3
(d) ) (r) = c
a
; a = 4 (e) ) (r) =
3
_
r; a = 1 (f) ) (r) = senr; a = ,6
(g) ) (r) =
1
r
2
; a = 1 (h) ) (r) =
1
3r
; a = 2 (i) ) (r) =
1
2r + 1
; a = 3 .
3.6E Qual a Srie de Maclaurin do polinmio 1 (r) = a
0
+ a
1
r + a
2
r
2
+ + a
a
r
a
?
3.6F Encontre uma srie de potncias de r para representar a funo ) (r) =
1 cos r
r
e, usando
o resultado, conclua que lim
a!0
1 cos r
r
= 0.
3.6G Determine uma srie de potncias de r+1 para a funo ) (r) = c
2a
e uma srie de potncias
de r 1 para q (r) = lnr.
3.6H Uma funo ) : R R, innitamente derivvel, tal que )
0
(r) = 2r) (r) , ) (r) 0, \ r, e
) (0) = 1. Represente a funo ) (r) por uma srie de potncias de r. Idem para uma funo q (r)
com as propriedades: q (0) = 0, q
0
(0) = 1 e q
00
(r) = q (r) , \r R.
3.6I Preencha a seguinte tabela com os valores das derivadas indicadas, considerando as seguintes
funes ) (r) = rsenr, q (r) = cos
_
r
2
_
, /(r) = ln
_
1 + r
2
_
e j (r) =
_
a
0
c
t
2
dt :
)
(15)
(0) )
(28)
(0) q
(16)
(0) /
(20)
(0) j
(17)
(0)
3.6J Encontre o valor aproximado de c
0.04
, com erro menor do que 5 10
4
.
3.6K Considere a funo ) : R R denida por: ) (r) = exp
_
1,r
2
_
, se r ,= 0, e ) (0) = 0.
Usando induo pode-se mostrar, embora no seja to simples, que )
(a)
(0) = 0, \: = 0, 1, 2, 3, . . . .
A funo ) pode ser representada por uma Srie de Maclaurin em uma vizinhana de r = 0? a
funo ) analtica em r = 0?
3.6L Suponha que uma funo par tenha representao em srie de potncias
1
a=0
c
a
r
a
. Mostre
que os coecientes c
2a1
= 0, \: = 1, 2, 3, . . . . E se a funo fosse mpar?
3.6M Para que valores de r podemos substituir senr por r, sem que o erro supere 5 10
4
?
3.6N Substituindo cos r por 1 r
2
,2, [r[ < 0.1, qual a estimativa do erro?
3.7 Srie Binomial
A expanso binomial
(r + j)
I
= r
I
+ /r
I1
j +
/ (/ 1)
2!
r
I2
j
2
+ + j
I
, / = 1, 2, 3, . . . , (3.14)
simbolicamente representada por:
(r + j)
I
=
I
)=0
_
/
,
_
r
)
j
I)
e conhecida por binmio de Newton, foi generalizada por volta de 1665 por Newton, no caso em
que o expoente / um nmero fracionrio positivo ou negativo, onde ele obteve uma expanso em
srie innita para (r + j)
I
. Motivados pela frmula binomial de Newton (3.14) procuramos uma
expanso em srie de potncias para a funo ) (r) = (1 + r)
c
, sendo c um nmero real qualquer,
a qual ser a srie de Maclaurin de ). Para a srie binomial :
1 + cr +
c(c 1) r
2
2!
+ +
c(c 1) (c : + 1)r
a
:!
+ , (3.15)
cujo :-simo termo a
a
=
c(c 1) (c : + 1)r
a
:!
, temos que:
lim
a!1
a
a+1
a
a
= lim
a!1
[r[
c :
: + 1
= [r[
e, portanto, a srie binomial converge absolutamente quando [r[ < 1 e diverge quando [r[ 1.
Se q (r) a funo representada pela srie (3.15) no intervalo 1 < r < 1, podemos escrever
simbolicamente
q (r) = 1 +
1
a=1
c(c 1) (c : + 1)r
a
:!
e por derivao termo a termo deduzimos que:
q
0
(r) = c + c(c 1) r + +
c:(c 1) (c : + 1) r
a1
:!
+ .
Assim, q
0
(r) + rq
0
(r) = cq (r) ou, de forma equivalente:
(1 + r) q
0
(r) cq (r) = 0. (3.16)
Procedendo como no Exemplo 3.1.1, para mostrarmos que q (r) = (1 + r)
c
derivamos o quociente
q (r)
(1 + r)
c
em relao varivel r e obtemos aps as simplicaes:
d
dr
_
q (r)
(1 + r)
c
_
=
(1 + r) q
0
(r) cq (r)
(1 + r)
c+1
.
Usando a relao (3.16) conclumos que esta derivada zero em 1 < r < 1 e, portanto:
q (r)
(1 + r)
c
= C.
Como q (0) = 1, encontramos C = 1 e, assim, q (r) = (1 + r)
c
. Com isto, obtemos a representao:
(1 + r)
c
= 1 + cr +
c(c 1) r
2
2!
+ +
c(c 1) (c : + 1)r
a
:!
+ , [r[ < 1.
Exemplo 3.7.1 Uma maneira de obtermos um valor aproximado de
_
1 + r, para um dado valor
de r no intervalo (1, 1), usando a srie binomial. Neste caso temos c = 1,2, de modo que
_
1 + r = 1 +
1
2
r
1
8
r
2
+
1
16
r
3

e, dependendo da situao, podemos considerar apenas os dois ou os trs primeiros termos da srie
para a aproximao. Considerando r = 0.2 e aproximando a srie por seus trs primeiros termos,
encontramos:
_
1.2 1 +
1
2
(0.2)
1
8
(0.2)
2
1.095.
3.8A 3.8A Usando a srie binomial para ) (r) =
1
_
1 r
2
, mostre que:
arcsen r = r +
1
a=1
1 3 5 . . . (2: 1) r
2a+1
:! (2: + 1) 2
a
, [r[ < 1.
3.8B Usando a srie binomial para
3
_
1 + r, calcule o valor de
3
_
25 com 3 casas decimais e compare
o valor com o resultado obtido em uma calculadora.
3.8C Calcule
_
1
0
_
1 r
3
dr com 4 casas decimais.
3.8D Se [r[ < 0.01, qual o erro cometido ao substituir
_
1 + r por 1 + r,2?
RESPOSTAS & SUGESTES
EXERCCIOS 3.4
3.4A (a) V (b) V (c) V (d) V (e) V (f) V (g) F (h) V (i) V (j) V (k) F (i) V
3.4B (a) 3 (b) (2, 2) (c) (1, 1) (d) (1, 1) (e) (2, 4) (f) (1, 1) (g) (1, 1] (h)
[6, 4] (i) (, ) (j) 0 (k) (, ) (l) (, )(m) (2, 4] (n) (2, 4] (o) [r + 1[ _
1,
3
_
5 (p) (1, 1) (q)
_
1
2
,
1
2
(r) (2, 4)
3.4C Em alguns casos, use o processo de Derivao ou Integrao termo a termo. Por exemplo,
a srie (i) obtida por derivao da srie (f).
(a)
1
a=0
(: + 1) (: + 2) r
a
2
; [r[ < 1 (b)
1
a=1
r
a+1
: + 1
; [r[ < 1 (c)
1
a=0
r
4a
; [r[ < 1
(d)
1
a=0
4
a
r
a
; [r[ < 1,4 (e)
1
a=1
:r
4a1
; [r[ < 1 (f)
1
a=0
r
2a+1
; [r[ < 1
(g)
1
a=1
(1)
a+1
:r
2a1
; [r[ < 1 (h)
1
a=0
3r
a
r
a+2
2
a+1
; [r[ < 2 (i)
1
a=0
(2: + 1) r
2a
; [r[ < 1
(j)
1
5
1
a=0
_
(1)
a
3
a+1
+
1
2
a+1
_
r
a
; [r[ < 2 (k)
1
a=0
3
a
r
a+1
2
a+1
; [r[ < 2,3 (l)
1
a=0
(1)
a
r
a
2
a+1
; [r[ < 2
3.4D
1
a=0
r
a2
:!
; r _ 0 3.4E
1
_
c
3.4F
1
(1 r)
2
=
d
dr
_
1
1 r
_
=
1
a=1
:r
a1
; [r[ < 1.
Agora, considere r = 1,2.
3.4G
c
a
1
r
=
1
I=1
r
I1
/!
=
d
dr
_
c
a
1
r
_
=
1
I=2
(/ 1) r
I2
/!
=
1
a=1
:r
a1
(: + 1)!
. Agora faa r = 1.
3.4J (a) 1 = (b) J
0
o
3
(r), com erro menor do que a
4
= 6.7 10
6
3.4L ln(1.2)
0.1822
3.4O
) (r) =
1
a=0
3
a
r
a
; [r[ < 1,3; q (r) =
1
a=0
2
a
r
a
3
a+1
; [r[ < 3,2
)
0
(r)
1
a=1
:3
a
r
a1
; [r[ < 1,3;
_
a
0
q (t) dt =
1
a=0
2
a
t
a+1
(: + 1) 3
a+1
; [t[ < 3,2
3.4P Observe que

6
= arctg
_
1,
_
3
_
e

4
= arctg 1. Na srie arctg r =
1
a=0
(1)
a
r
2a+1
2: + 1
; [r[ _ 1,
faa r = 1,
_
3 e r = 1 para obter, respectivamente:
6
=
1
_
3
1
a=0
(1)
a
(2: + 1) 3
a
e

4
=
1
a=0
(1)
a
2: + 1
0.835; 1 < a
6
0.0909.
3.4R ln(1 t) =
1
a=0
t
a+1
: + 1
=
ln(1 t)
t
=
1
a=0
t
a
: + 1
=
_
a
0
ln(1 t)
t
dt =
1
a=0
r
a+1
(: + 1)
2
,
representao vlida para [r[ < 1.
c
t
1
t
=
1
a=1
t
a1
:!
=
_
a
0
c
t
1
t
dt =
1
a=1
r
a
:!:
, representao vlida em qualquer r real.
3.4S (a) 0.3299 (b) 0.0413 (c) 0.4849 (d) 0.9460
3.4U ) (r) =
1
(1 r)
2
, [r[ < 1 e q (r) =
4 r
(2 r)
2
, [r[ < 2.
EXERCCIOS 3.6
3.6A
(a) c
a
2
=
1
a=0
(1)
a
r
2a
:!
; r R (b) rsenr =
1
a=0
(1)
a
r
2a+2
(2: + 1)!
; r R
(c) 3
a+1
= 3
1
a=0
(ln3)
a
r
a
:!
; r R (d) ln
_
1 + r
2
_
=
1
a=0
(1)
a
r
2a+2
: + 1
; [r[ < 1
(e) r
2
senr =
1
a=0
(1)
a
r
2a+3
(2: + 1)!
; r R (f) cos
2
r = 1 +
1
2
1
a=1
(1)
a
(2r)
2a
(2:)!
; r R
(g) c
4a
= c
4
1
a=0
(1)
a
r
a
:!
; r R (h) sen
2
r =
1
2
1
a=1
(1)
a
(2r)
2a
(2:)!
; r R
(i) senhr =
1
a=0
r
2a+1
(2: + 1)!
; r R. (j) sen(4r) =
1
a=0
(1)
a
4
2a+1
r
2a+1
(2: + 1)!
; r R
(k) coshr =
1
a=0
r
2a
(2:)!
; r R (l) cos (3r) =
1
a=0
(1)
a
3
2a
r
2a
(2:)!
; r R
3.6B Integrando a srie obtida em 3.4A(a) de 0 at r, obtemos 1 (r) =
2
_
a=0
(1)
a
r
2a+1
:! (2: + 1)
.
3.6C a
0
= 6, a
1
= 1, a
2
= 2, a
3
= 5 e a
4
= 3.
3.6D
(a)
_
r = 3 +
1
6
(r 9) +
(1)
a+1
1.3.5. . . . . (2: 3)
:!2
a
3
2a1
(r 9)
a
(b) tg r = r +
1
3
r
3
+
2
15
r
5
+ , ,2 < r < ,2
(c) cos r =
1
2

p
3
2
(r ,3)
1
4
(r ,3)
2
+
p
3
12
(r ,3)
3
(d) c
a
= c
4
.c
a4
= c
4
1
a=0
(r 4)
a
:!
(e)
3
_
r = 1 + (r 1) ,3 (r 1)
2
,3
2
+ 5 (r 1)
3
,3
4

(f) senr =
1
2
+
p
3
2
(r

6
)
1
2
1
2!
(r

6
)
2
p
3
2
1
3!
(r

6
)
3
+
(g)
1
r
2
=
1
a=0
(1)
a
(: + 1) (r 1)
a
; 0 < r < 2
(h)
1
3r
=
1
3
1
a=0
(1)
a
(r 2)
a
2
a+1
(i)
1
2r + 1
=
1
a=0
(1)
a
2
a
(r 3)
a
7
a+1
,
1
2
< r <
13
2
.
3.6E 1 (r) =
1
I=0
a
I
r
I
, sendo a
I
= 0 para / _ : + 1.
3.6F
1 cos r
r
=
1
r
(1
1
a=0
(1)
a
r
2a
(2:)!
) =
1
a=1
(1)
a
r
2a1
(2:)!
= r+
r
3
4!

r
5
6!
+
r
7
8!
e da segue
que lim
a!0
(
1 cos r
r
) = 0.
3.6G c
2a
= c
2(a+1)
c
2
= c
2
1
a=0
2
a
(r + 1)
a
:!
; r R.
lnr =
_
a
1
1
(t 1) + 1
dt =
1
a=0
(1)
a
(r 1)
a+1
: + 1
, 0 < r < 2.
3.6H ) (r) =
1
a=0
r
2a
:!
, q (r) =
1
a=0
(1)
a
r
2a+1
(2: + 1)!
3.6I Todas as derivadas devem ser obtidas a partir das respectivas sries que representam as
funes. Da expanso de Maclaurin, sabemos que os coecientes c
a
das sries so dados por
)
(a)
(0) = :!c
a
e com cuidado voc deve encontrar:
)
(15)
(0) = 0; )
(28)
(0) = 28; q
(16)
(0) =
16!
8!
; /
(20)
(0) =
20!
10
; j
(17)
(0) =
16!
8!
.
3.6J Aproxime a srie de c
a
2
determinada no Exerccio 3.4A(a) pela soma parcial o
3
(r) e, em
seguida, faa r = 0.2 para obter c
0.04
0.9608, com erro menor do que 1.06 10
5
.
3.6M Usando a estimativa para sries alternadas, o erro menor do que [r[
3
,3! e para obtermos
um erro < 5 10
4
devemos considerar [r[ <
3
_
3 10
1
- 0.145. 3.6N 1 < 4.2 10
6
.
EXERCCIOS 3.8
3.8B
3
_
25 = 3
3
_
25,27 = 3
3
_
1 2,27 e usando a srie binomial com c = 1,3 e r = 2,27,
encontramos a aproximao
3
_
25 2.9262.
3.8C Considere os trs primeiros termos da expanso de
_
1 r
3
_
12
, integre de r = 0 at r = 1
e obtenha
_
1
0
_
1 r
3
dr 0.8572 3.8D 1 < 1.25 10
5
.

Serie Po Ten

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Serie Po Ten

Transféré par

Droits d'auteur :

Formats disponibles

3.

< 1, isto , 1 < r < 5. Integrando (3.-14), termo a

e 1 o raio de convergncia da srie

< -,2, (3.-4)

_ -,2 + -,2 = - (3.-2)

_ ', para t entre a e r.

[r[ _ (0.01) [r[ =

_ 0.01 =[r[ _ 0.02.

Vous aimerez peut-être aussi