Propriedades de Series de Potencias

Reginaldo J. Santos
Departamento de Matematica-ICEx
Universidade Federal de Minas Gerais
http://www.mat.ufmg.br/~regi

2 de outubro de 2011
2

Uma serie de potencias de x e uma expressao da forma

a n x n = a0 + a1 x + a2 x 2 + . . . ,
n =0

em que a0 , a1 , a2 , . . . sao numeros

denominados coeficientes da serie. Podemos definir
uma funca o f ( x ) que associa a cada valor de x, para o qual existe o limite
N
lim an xn = Nlim
N n =0
( a0 + a1 x + a2 x 2 + . . . + a N x N ),

o valor deste limite e escrevemos

f (x) = a n x n = a0 + a1 x + a2 x 2 + . . .
n =0

O maior valor de r para o qual o limite acima existe para | x | < r, ou seja, a serie
converge e chamado raio de convergencia da serie.

Exemplo 1. A serie geometrica

1 x N +1 1
f ( x ) = 1 + x + x2 + . . . = x n = lim
N 1 x
=
1x
, para | x | < 1
n =0

tem raio de convergencia r = 1.

A seguir apresentamos as propriedades das series de potencias que sao usadas no

de equacoes
estudo das solucoes diferenciais em serie de potencias.
 3

Proposica o 1. Sao validas as seguintes propriedades para as series de potencias:

(a) Se f ( x ) = an x n tem raio de convergencia r1 > 0 e g( x ) = bn xn tem raio de
n =0 n =0
convergencia r2 > 0, entao para todos os numeros
e ,

f ( x ) + g( x ) = an xn + bn xn = (an + bn )xn ,
n =0 n =0 n =0

tem raio de convergencia que e pelo menos r = min{r1 , r2 }.

(b) Se f ( x ) = a n x n = a0 + a1 x + a2 x 2 + a3 x 3 + tem raio de convergencia r > 0,
n =0
entao para k, l = 0, 1, 2, . . .

k l
(x + x ) f ( x ) = x k
an x n
+ x l
an x n
= an x n+k
+ an x n+l
n =0 n =0 n =0 n =0

n0 n0
=
0
a n0 k x +
0
a n0 l x = ank x n
+ anl x n .
n =k n =l n=k n=l

(c) Se f ( x ) = a n x n = a0 + a1 x + a2 x 2 + a3 x 3 + tem raio de convergencia r > 0,
n =0
entao f ( x ) tem derivadas de todas as ordens, para | x | < r e

f 0 ( x ) = a1 + 2a2 x + 3a3 x2 + = nan x n1 = ( n + 1 ) a n +1 x n
n =1 n =0

f 00 ( x ) = 2a2 + 2 3x + 3 2x2 + = (n 1)nan xn2 = (n + 1)(n + 2)an+2 xn
n =2 n =0

f (k) ( x ) = (n k + 1) (n 1)nan xnk = (n + 1)(n + 2) (n + k 1)an+k xn
n=k n =0

(d) Se an xn = 0, para todo x, com |x| < r e r > 0, entao an = 0, para n = 0, 1, 2, . . .
n =0
4

Demonstraca o.
(a) Para x tal que | x | < min{r1 , r2 } temos

f ( x ) + g( x ) =
N N N
lim
N
an x n
+ lim
N
bn x n
= lim
N
(an + bn ) x n .
n =0 n =0 n =0

(b) Para x tal que | x | < r temos

N N
k l k
(x + x ) f ( x ) = (x + x ) lim l
N
an x n
= lim (x + x ) an x n
N
k l
n =0 n =0
!
N N
= lim
N
an x n+k + an x n+l
n =0 n =0
N N
= lim
N n =0
an x n+k + lim
N n =0
an x n+l .

(c) Basta provarmos para a primeira derivada. Como

q
n
q
|nan x | = n n | an | | x |
n n

e limn n n = 1, entao n
n=1 nan x = x n=1 nan x
n1 e a x n possuem o
n =0 n
n 1
mesmo raio de convergencia. Assim a serie n=1 nan x converge para | x | < r.
Sejam s, t tais que 0 < | x | s < t < r. Entao,
existe K > 0 tal que n| an |tn1 K e assim
n 1  s  n 1
n 1 n 1 s
|nan x | n| an |t K .
t n 1 t

Seja e > 0. Sejam

g( x ) = nan xn1,
n =1
N
SN (x) = an x n ,
n =1
S N ( x + h) S N ( x )
q N ( x, h) = ,
h
 5

f ( x + h) f ( x )
q( x, h) = .
h
N  s  n 1 e
Existe N0 N tal que M, N > N0 implica K < . Entao
n= M
t 3
 
 N  N   N  s  n 1 e
|S0N ( x ) S0M ( x )| =  nan x n1  nan x n1  K < , (1)
   
n= M  n= M n= M
t 3

para todo x [s, s]. Deixando N fixo e passando ao limite quando M tende a
infinito obtemos
e
|S0N ( x ) g( x )| . (2)
3
Sejam M, N > N0 . Pelo Teorema do Valor Medio aplicado a S N ( x ) S M ( x ) e por
(1) obtemos que existe entre x e x + h tal que
e
|q N ( x, h) q M ( x, h)| = |S0N ( ) S0M ( )| < .
3
Deixando N fixo e passando ao limite quando M tende a infinito obtemos
e
|q N ( x, h) q( x, h)| , para todo h tal que x + h [s, s]. (3)
3
Como lim q N ( x, h) = S0N ( x ), existe > 0 tal que 0 < h < implica que
h 0

e
|q N ( x, h) S0N ( x )| < (4)
3
De (3), (4) e (2) segue-se que

|q( x, h) g( x )|
|q( x, h) q N ( x, h)| + |q N ( x, h) S0N ( x )| + |S0N ( x ) g( x )|
e e e
< + + .
3 3 3

(d) Usando o item anterior temos que

f (0) = a0 = 0, f 0 (0) = a1 = 0, f 00 (0) = 2a2 = 0, ... f (k) (0) = (k 1)! ak = 0.

Logo todos os coeficientes da serie sao iguais a zero.