Documente Academic
Documente Profesional
Documente Cultură
Reginaldo J. Santos
Departamento de Matematica-ICEx
Universidade Federal de Minas Gerais
http://www.mat.ufmg.br/~regi
2 de outubro de 2011
2
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.
(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
Demonstracao.
(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
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
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