Resumo secoes 59 a 63 - Captulo 6

Dada uma sequencia de n umeros complexos (z

n
), podemos construir uma nova sequencia (S
N
)
S
1
= z
1
, S
2
= z
1
+ z
2
, S
3
= z
1
+ z
2
+ z
3
, . . . , S
N
= z
1
+ z
2
+ . . . + z
N
, . . .
Denimos

n=1
z
n
= lim
N
S
N
= lim
N
N

n=1
z
n
.
S
N
e a N-esima soma parcial da serie

n=1
z
n
. Quando lim
N
S
N
existe, dizemos que

n=1
z
n
converge. Temos
que
S
N
=
N

n=1
z
n
=
N

n=1
(x
n
+ i y
n
) =
N

n=1
x
n
+ i
N

n=1
y
n
= X
N
+ i Y
N
.
Assim
lim
N
S
N
existe lim
N
X
N
e lim
N
Y
N
existem.
Nesse caso,

n=1
z
n
=

n=1
x
n
+ i

n=1
y
n
.
Temos que

n=1
z
n
converge

n=1
x
n
e

n=1
y
n
convergem
lim
n
x
n
= 0 e lim
n
y
n
= 0
lim
n
z
n
= 0.
Logo

n=1
z
n
converge lim
n
z
n
= 0.
(1)
A recproca e falsa, isto e,
lim
n
z
n
= 0 N

AO IMPLICA QUE

n=1
z
n
converge.
Por exemplo, em

n=1
_
1
n
+ i
1
n
_
, o termo geral tende a zero, mas a serie diverge. Na maior parte das vezes
usamos (1) na sua forma contrapositiva, que e:
lim
n
z
n
= 0

n=1
z
n
diverge.
Uma consequencia de (1) e que

n=1
z
n
converge lim
n
|z
n
| = 0
existe M > 0 tal que |z
n
| < M, para todo n N
(z
n
) e uma sequencia limitada.
Denicao. Uma serie

n=1
z
n
e absolutamente convergente quando

n=1
|z
n
| converge.
Note que |x
n
| =
_
x
2
n

_
x
2
n
+ y
2
n
= |z
n
| e tambem |y
n
| |z
n
|. Segue do Teste de Comparacao para
series de n umeros reais que

n=1
z
n
e absolutamente convergente

n=1
x
n
e

n=1
y
n
sao absolutamente convergentes

n=1
x
n
e

n=1
y
n
convergem

n=1
z
n
converge.
A recproca e falsa, isto e,

n=1
z
n
converge N

AO IMPLICA QUE

n=1
|z
n
| converge.
Series de potencias
Teorema A. Se uma serie de potencias

n=0
a
n
z
n
converge em z = z
1
, entao ela e absolutamente
convergente para todo z tal que |z| < |z
1
|, isto e,

n=0
a
n
z
n
1
converge

n=0
|a
n
z
n
| converge em todo z no disco |z| < |z
1
|.
Demonstracao: exerccio (veja pag. 130). ( Pergunta: Por que nao pode concluir que converge na
fronteira do disco |z| = |z
1
|? E se

n=0
a
n
z
n
1
convergisse absolutamente, poderia?)
Do Teorema A, vemos que a regiao de convergencia de uma serie de potencias

n=0
a
n
z
n
e um disco.
Denicao. Disco de convergencia de uma serie de potencias e o disco com centro na origem |z| < r tal
que

n=0
a
n
z
n
converge para todo z C com |z| < r e

n=0
a
n
z
n
diverge para todo z C com |z| > r.
Teorema B. Se a serie

n=1
b
n
z
n
=

n=1
b
n
z
n
converge em z = z
1
, entao ela e absolutamente
convergente para todo z C tal que |z| > |z
1
|.
Demonstracao: Como

n=1
b
n
z
n
1
converge, lim
n
b
n
z
n
1
= 0, o que implica que existe M > 0 tal que
|b
n
z
n
1
| M para todo n N. Dado z C com |z| > |z
1
|, seja K =
|z
1
|
|z|
. Para todo n N vale
|b
n
z
n
| = |b
n
z
n
1
|

z
1
z

n
M.K
n
.
2
Como 0 < K < 1,

n=1
MK
n
e uma serie geometrica convergente. Segue do Teste de Comparacao para
series de n umeros reais que

n=1
|b
n
z
n
| converge.
Convergencia simples (pontual) convergencia uniforme
Seja (f
n
) uma sequencia de funcoes f
n
: D C, n N. Dizemos que a serie

n=1
f
n
(z) converge
pontualmente em D C quando

n=1
f
n
(z) converge em todo z D. Fixado z D, seja
S(z) =

n=1
f
n
(z) = lim
N
N

n=1
f
n
(z).
Por denicao de limite, dado > 0 existe N
0
= N
0
(, z) tal que
N > N
0

n=1
f
n
(z) S(z)

< .
A convergencia e uniforme em D quando N
0
nao depende de z ( N
0
depende so de ), isto e, o mesmo N
0
serve para todo z D.
Teste de Weierstrass. Seja

M
n
uma serie de n umeros reais convergente e (f
n
(z)) uma
sequencia de fun coes denidas num conjunto D, satisfazendo a condicao
|f
n
(z)| M
n
para todo n N e todo z D.
Entao a serie

f
n
(z) e uniformemente convergente em D.
Teorema C. Se

n=1
f
n
(z) e uma serie de funcoes contnuas que converge uniformemente em D
para S(z), entao S(z) e uma funcao contnua em D.
Voltando `as series de potencias . . .
Teorema D. Seja D o disco de convergencia da serie de potencias

n=0
a
n
z
n
. Seja z
2
um ponto no
interior de D. Entao

n=0
a
n
z
n
e uniformemente convergente no disco D
2
: |z| |z
2
|.
Demonstracao: |a
n
z
n
| |a
n
z
2
|, para todo n N e todo z D
2
. Como

|a
n
z
2
| converge, o
resultado segue aplicando o Teste de Weierstrass com M
n
= |a
n
z
2
|.
Corolario. Uma serie de potencias

n=0
a
n
z
n
representa uma funcao contnua dentro do seu disco
de convergencia.
3
Integracao e derivacao de series de potencias
Teorema E. Seja C um caminho dentro do disco de convergencia D da serie de potencias S(z) =

n=0
a
n
z
n
. Seja g uma funcao contnua sobre C. Entao
_
C
g(z)S(z) dz =

n=0
_
a
n
_
C
g(z)z
n
dz
_
.
Isto e, a serie

n=0
g(z)a
n
z
n
pode ser integrada termo a termo ao longo de C.
Corolario. Uma serie de potencias

n=0
a
n
z
n
representa uma funcao analtica dentro do seu disco
de convergencia D.
Demonstracao: Pelo Corolario do Teorema D, S(z) =

n=0
a
n
z
n
e contnua em D. Seja C um caminho
fechado em D. Aplicando o Teorema E com g 1 em D, obtemos
_
C
S(z) dz =

n=0
_
a
n
_
C
z
n
dz
_
= 0,
onde a ultima igualdade segue do Teorema de Cauchy-Goursat pois z
n
e uma fun cao inteira. Ou seja,
_
C
S(z) dz = 0 para todo caminho fechado C em D. Pelo Teorema de Morera a funcao S e analtica.
Teorema G. Uma serie de potencias pode ser derivada termo a termo dentro do seu disco de
convergencia D, isto e, se

n=0
a
n
z
n
= S(z), z D
entao
S

(z) =

n=1
na
n
z
n1
, z D.
Demonstracao: Seja z
1
D e C um caminho fechado em D envolvendo z
1
uma vez no sentido anti-
horario. Pelo Teorema F,
S(z) =

n=0
a
n
z
n
e analtica em D. Vale
S

(z
1
) =
1
2i
_
C
S(z)
(z z
1
)
2
dz.
Aplicando o Teorema E com g(z) =
1
2i(z z
1
)
2
, vem
S

(z
1
) =
_
C
g(z)S(z) dz =

n=0
_
a
n
_
C
g(z)z
n
dz
_
=

n=0
_
a
n
1
2i
_
C
z
n
(z z
1
)
2
dz
_
=

n=0
a
n
d(z
n
1
)
dz
1
=

n=0
a
n
nz
n1
1
.
4
Como z
1
D e qualquer ponto em D, o teorema esta demonstrado.
Observacao: Os Teoremas E, F, G podem ser estendidos para serie de potencias positivas ou negativas
de (z z
0
) dentro da regiao de convergencia da serie.
Exerccio: Mostre que a funcao
f(z) =
_
_
_
sen z
z
, se z = 0,
1, se z = 0
e inteira.
Solucao: ver pagina 136.
Unicidade de representacao de series de potencias
Seja D o disco de convergencia da serie de potencias

n=0
a
n
z
n
= S(z). (1)
Pelo Teorema G,
S

(z) =

n=1
na
n
z
n1
, para todo z D. (2)
Aplicando novamente o Teorema G para a serie (2), obtemos
S

(z) =

n=2
n(n 1)a
n
z
n2
, para todo z D.
Prosseguindo, obtemos, para todo k N,
S
(k)
(z) =

n=k
n(n 1) . . . (n k + 1)a
n
z
nk
, para todo z D.
No ponto z = 0, z
nk
= 0, exceto para n = k. Logo
S
(n)
(0) = n!a
n
= a
n
=
S
(n)
(0)
n!
.
Logo a serie dada em (1) que representa S(z) em D e
S(z) =

n=0
S
(n)
(0)
n!
z
n
= a serie de Maclaurin de S(z) em D.
Isso mostra que a representacao em series de potencias de uma fun cao e unica. Adaptando para series de
potencias positivas de (z z
0
) temos o
Teorema H. Se a serie de potencias

n=0
a
n
(z z
0
)
n
converge para f(z) no disco |z z
0
| = r
0
,
entao essa serie e exatamente a serie de Taylor de f em torno de z
0
e a
n
=
f
(n)
(0)
n!
.
Exerccio: Dada g(z) = sen z
2
,
(a) obtenha a serie de Maclaurin de g(z);
5
(b) calcule g
(23)
(0) e g
(18)
(0).
Teorema I. Se a serie

n=
A
n
(z z
0
)
n
=

n=0
a
n
(z z
0
)
n
+

n=1
b
n
(z z
0
)
n
converge para f(z) em uma regiao anular em torno de z
0
, entao essa e a serie de Laurent para f
em potencias de (z z
0
) nessa regi ao.
Multiplicacao e divisao de series de potencias
Ler o paragrafo 63 da pagina 139.
Se
f(z) =

n=0
a
n
z
n
= a
0
+ a
1
z + a
2
z
2
+ . . .
e se
g(z) =

n=0
b
n
z
n
= b
0
+ b
1
z + b
2
z
2
+ . . .
para todo z em um disco D, entao
f(z)g(z) = a
0
b
0
+ (a
0
b
1
+ a
1
b
0
)z + (a
0
b
2
+ a
1
b
1
+ a
2
b
0
)z
2
+ . . . + c
n
z
n
+ . . .
onde
c
n
=
n

k=0
a
k
b
nk
= a
0
b
n
+ a
1
b
n1
+ a
2
b
n2
+ . . . + a
n
b
0
.
Note que a soma dos ndices de cada parcela e k + (n k) = n.
Se g(z) = 0 em D,
q(z) =
f(z)
g(z)
=

n=0

n
z
n
,
onde

n
=
q
(n)
(0)
n!
.
6