Propriedades de S eries de Pot encias

Reginaldo J. Santos
Departamento de Matem atica-ICEx
Universidade Federal de Minas Gerais
http://www.mat.ufmg.br/~regi
2 de outubro de 2011
2
Uma s erie de pot encias de x e uma express ao da forma

n=0
a
n
x
n
= a
0
+ a
1
x + a
2
x
2
+ . . . ,
em que a
0
, a
1
, a
2
, . . . s ao n umeros denominados coecientes da s erie. Podemos denir
uma func ao f (x) que associa a cada valor de x, para o qual existe o limite
lim
N
N

n=0
a
n
x
n
= lim
N
(a
0
+ a
1
x + a
2
x
2
+ . . . + a
N
x
N
),
o valor deste limite e escrevemos
f (x) =

n=0
a
n
x
n
= a
0
+ a
1
x + a
2
x
2
+ . . .
O maior valor de r para o qual o limite acima existe para |x| < r, ou seja, a s erie
converge e chamado raio de converg encia da s erie.
Exemplo 1. A s erie geom etrica
f (x) = 1 + x + x
2
+ . . . =

n=0
x
n
= lim
N
1 x
N+1
1 x
=
1
1 x
, para |x| < 1
tem raio de converg encia r = 1.
A seguir apresentamos as propriedades das s eries de pot encias que s ao usadas no
estudo das soluc oes de equac oes diferenciais em s erie de pot encias.
3
Proposi c ao 1. S ao v alidas as seguintes propriedades para as s eries de pot encias:
(a) Se f (x) =

n=0
a
n
x
n
tem raio de converg encia r
1
> 0 e g(x) =

n=0
b
n
x
n
tem raio de
converg encia r
2
> 0, ent ao para todos os n umeros e ,
f (x) + g(x) =

n=0
a
n
x
n
+

n=0
b
n
x
n
=

n=0
(a
n
+ b
n
)x
n
,
tem raio de converg encia que e pelo menos r = min{r
1
, r
2
}.
(b) Se f (x) =

n=0
a
n
x
n
= a
0
+ a
1
x + a
2
x
2
+ a
3
x
3
+ tem raio de converg encia r > 0,
ent ao para k, l = 0, 1, 2, . . .
(x
k
+ x
l
) f (x) = x
k

n=0
a
n
x
n
+ x
l

n=0
a
n
x
n
=

n=0
a
n
x
n+k
+

n=0
a
n
x
n+l
=

=k
a
n

k
x
n

=l
a
n

l
x
n

n=k
a
nk
x
n
+

n=l
a
nl
x
n
.
(c) Se f (x) =

n=0
a
n
x
n
= a
0
+ a
1
x + a
2
x
2
+ a
3
x
3
+ tem raio de converg encia r > 0,
ent ao f (x) tem derivadas de todas as ordens, para |x| < r e
f

(x) = a
1
+ 2a
2
x + 3a
3
x
2
+ =

n=1
na
n
x
n1
=

n=0
(n + 1)a
n+1
x
n
f

(x) = 2a
2
+ 2 3x + 3 2x
2
+ =

n=2
(n 1)na
n
x
n2
=

n=0
(n + 1)(n + 2)a
n+2
x
n
f
(k)
(x) =

n=k
(n k + 1) (n 1)na
n
x
nk
=

n=0
(n + 1)(n + 2) (n + k 1)a
n+k
x
n
(d) Se

n=0
a
n
x
n
= 0, para todo x, com |x| < r e r > 0, ent ao a
n
= 0, para n = 0, 1, 2, . . .
4
Demonstra c ao.
(a) Para x tal que |x| < min{r
1
, r
2
} temos
f (x) + g(x) =
lim
N
N

n=0
a
n
x
n
+ lim
N
N

n=0
b
n
x
n
= lim
N
N

n=0
(a
n
+ b
n
)x
n
.
(b) Para x tal que |x| < r temos
(x
k
+ x
l
) f (x) = (x
k
+ x
l
) lim
N
N

n=0
a
n
x
n
= lim
N
(x
k
+ x
l
)
N

n=0
a
n
x
n
= lim
N

n=0
a
n
x
n+k
+
N

n=0
a
n
x
n+l

= lim
N
N

n=0
a
n
x
n+k
+ lim
N
N

n=0
a
n
x
n+l
.
(c) Basta provarmos para a primeira derivada. Como
n

|na
n
x
n
| =
n

n
n

|a
n
| |x|
e lim
n
n

n = 1, ent ao

n=1
na
n
x
n
= x

n=1
na
n
x
n1
e

n=0
a
n
x
n
possuem o
mesmo raio de converg encia. Assim a s erie

n=1
na
n
x
n1
converge para |x| < r.
Sejam s, t tais que 0 < |x| s < t < r. Ent ao,
existe K > 0 tal que n|a
n
|t
n1
K e assim
|na
n
x
n1
| n|a
n
|t
n1
s
n1
t
n1
K

s
t

n1
.
Seja > 0. Sejam
g(x) =

n=1
na
n
x
n1
,
S
N
(x) =
N

n=1
a
n
x
n
,
q
N
(x, h) =
S
N
(x + h) S
N
(x)
h
,
5
q(x, h) =
f (x + h) f (x)
h
.
Existe N
0
N tal que M, N > N
0
implica
N

n=M
K

s
t

n1
<

3
. Ent ao
|S

N
(x) S

M
(x)| =

n=M
na
n
x
n1

n=M

na
n
x
n1

n=M
K

s
t

n1
<

3
, (1)
para todo x [s, s]. Deixando N xo e passando ao limite quando M tende a
innito obtemos
|S

N
(x) g(x)|

3
. (2)
Sejam M, N > N
0
. Pelo Teorema do Valor M edio aplicado a S
N
(x) S
M
(x) e por
(1) obtemos que existe entre x e x + h tal que
|q
N
(x, h) q
M
(x, h)| = |S

N
() S

M
()| <

3
.
Deixando N xo e passando ao limite quando M tende a innito obtemos
|q
N
(x, h) q(x, h)|

3
, para todo h tal que x + h [s, s]. (3)
Como lim
h0
q
N
(x, h) = S

N
(x), existe > 0 tal que 0 < h < implica que
|q
N
(x, h) S

N
(x)| <

3
(4)
De (3), (4) e (2) segue-se que
|q(x, h) g(x)|
|q(x, h) q
N
(x, h)| + |q
N
(x, h) S

N
(x)| + |S

N
(x) g(x)|
<

3
+

3
+

3
.
(d) Usando o item anterior temos que
f (0) = a
0
= 0, f

(0) = a
1
= 0, f

(0) = 2a
2
= 0, . . . f
(k)
(0) = (k 1)! a
k
= 0.
Logo todos os coecientes da s erie s ao iguais a zero.