COMPLEMENTOS DE MATEMTICA.

NOTAS DE CURSO. I 0 semestre 2007.

Aula 5. Series de Taylor. (7 horas)

No curso de Clculo III se aprendem algumas noes bsicas sobre sries numricas
(convergncia absoluta e condicional, critrios de convergncia para sries com termos
positivos) e sobre sries de potncias reais. Assumiremos que o leitor esteja familiar-
izado com noes como raio de convergncia de sries de potncias (o Lema de Abel),
operaes com sries de potncias (soma, multiplicao e diviso) e resultados importantes
como o teorema de derivao e integrao termo por termo.
Introduzimos um conceito mais geral:o de convergncia uniforme de sries ou se-
qencias de funes e provaremos o teorema de integraçao e derivao termo por termo
das series de funes analticas (Teorema de Weierstrass). Como aplicao, ilustraremos
o mtodo de substituio de uma srie de potncias numa outra srie de potncias, uma
ferramenta que se mostrar bastante nas aplicaes.
Algumas das provas dos teoremas desta aula podem ser omitidas, pois superam
os limites de um curso abitual e sero marcadas com *; porm os colocamos para o
eventual leitor interessado; no obstante muitos dos resultados podem ser provados
com mtodos ”elementares” escolhemos esta abordagem mais geral, para ampliar o
horizonte e evitar repeties no assunto, tediosas e pouco estimulantes para um leitor
interessado.

Definio 1. Sejam as funes fn , f : Ω → C, n ∈ N.

i) A seqencia de funes {fn }n∈N converge pontualmente para a funo funo f, se e

s se para todo z ∈ Ω, fixado, a seqencia (numrica) {fn (z)}n tende para (o nmero)
f (z) :
lim fn (z) → f (z).
A funo f chama-se o limite (pontual) da seqencia de funes f.
P∞
i0 ) A srie de funes 0 fn converge pontualmente para a funo funo f, se e s se
a seqencia das somas parciais Sn (z) = sumn0 fk (z) converge pontualmente para a
funo f.

Exemplo. A sequencia fn (x) = xn converge pontualmente no conjunto −1 >

x ≥ 1, para a funo f (x) = 0, se 1 ≥ x ≥ −1 e f (1) = 1.
O conceito de convergencia pontual de uma sequencias muito simplis e natural;
porm, como visto no exemplo acima, um tipo de convergncia que no deixa como
herana as boas propriedades da sequencia, para o seu limite; como visto acima, a
funo limite f no continua, embora todas as funes fn so.
Portanto preciso definir um tipo de convergncia melhor.
Typeset by AMS-TEX
1
2

Definio 2. A seqencia de funes fn converge uniformemente no conjunto Ω para

a funo funo f, se e s se para todo  > 0, existe N ∈ N tal que

|fn (z) − f (z)| < , ∀ z ∈ Ω, ∀ n ≥ N ;

a funo f se chama o limite uniforme da seqncia fn , em Ω.

ii0 A serie de funes n fn converge uniformemente em Ω para a funo funo f, se e

P
s se a seqencia das somas parciais Sn (z) = sumn0 fk (z) uniformemente convergente
para f.

Este tipo de convergncia se mostrar muito bom, porm demasiado restritivo:

sequencias muito simplis e importantes no convergem uniformemente em todo con-
junto onde esto definidas (veja Observao 2!).

Definimos, em fim, o conceito de convergncia uniforme em compactos.

Definio 20 A seqencia de funes fn converge uniformemente nos compactos de Ω

para a funo funo f, se e s se para todo compacto K ⊂ Ω, a sequencia fn : K → C
converge uniformemente para f.

iii0 A serie de funes n fn converge uniformemente nos compactos de Ω para a

P
funo funo f, se e s se para todo compacto K ⊂ Ω, a seqencia das somas parciais sn
de funes converge uniformemente para f, nos compactos de Ω.

(Lembramos que um conjunto K ⊂ C compacto se e somente se para todo reco-

brimento deste por discos abertos, existe um (sub)recobrimento finito. Um teorema
importante (Teorema de Bolzano-Weierstrass), caracteriza os compactos de Rn (em
particular, os de C) como sendo queles conjuntos os quais so (simultaneamente)
fechados e limitados).

Observaes.
1) claro que a convergncia uniforme (para a funo f ) implica a convergncia
pontual, porm a reciproca falsa! D um exemplo!
2) claro que a convergncia uniforme em Ω (para a funo f ) implica a convergncia
uniforme em compactos, porm a reciproca falsa!
Por exemplo, a seqencia fn (z) = z n converge uniformemente em compactos do
disco |z| < 1 (para zero), porm esta sequencia no uniformemente convergente no
conjunto |z| < 1!
Sugesto: Prove que para a sequencia zn = (1 − n1 )n , fn (zn ) no converge para
zero!

Exemplos. 1) Sejam fn : Ω → C fn (z) = an , onde an → 0. Ento a seqencia

{fn }n converge uniformemente para zero, em Ω.
zn
2) A seqencia fn (z) = n uniformemente convergente para zero, no conjunto
1 ≥ |z|.

Como bem sabemos, o limite de uma seqencia de funes continuas, no , em geral,

uma funo continua (d um exemplo!); em compensao, o limite de uma seqencia
uniformemente convergente em compactos de funes continuas continua.
 3

Teorema 1. Seja {fn }n uma seqencia de funes uniformemente convergente nos

compactos de Ω para a funo f ; se as funes fn so continuas num ponto z0 ∈ Ω e se
z0 um ponto de acumulao de Ω, ento f tambm continua em z0 .

A prova bastante canonica, se encontra

P∞ na maioria dos livros de analise. Detal-
0
hes na sala de aula. Corolrio 1 . Seja 0 fn uma srie de funes uniformemente
convergente em compactos para a funo f ; se as funes fn so continuas num ponto
z0 ∈ Ω, que um ponto de acumulao de Ω, ento f tambm continua em z0 ; em outras
palavras
X∞ X∞
lim fn (z) = fn (z0 ).
z→z0
0 0

Agora provaremos um primeiro resultado signifiactivo, do nosso ponto de vista.

Teorema 2. ( Teorema de integrao termo por termo das seqencias de

funes uniformemente convergentes)
Sejam fn (z) funes continuas em Ω, uniformemente convergente em compactos
de Ω, para a funo f. Ento, para toda a curva regular γ, contida em Ω, vale:
Z Z
limn→∞ fn (z)dz = f (z)dz.
γ γ

Prova. Novamente a prova direta, usa apenas as definies e o fato toda funo
continua limitada em compactos. Detalhes na sala de aula.
Vale tambm um resultado anlogo para sries de funes.

Teorema 20 . (de integrao termo por termo das sries de funes uniforme-
mente convergentes) P∞
Sejam fn (z) funes continuas em Ω, tal que a srie 0 fn (z) seja uniformemente
convergente em Ω, para a funo f. Ento, para toda a curva regular γ, contida em Ω,
vale:
∞ Z
X Z
fn (z)dz = f (z)dz.
0 γ γ

Prova. Exercicio!

Observao 1. Se a seqencia {fn }n∈N no for uniformemente convergente, a con-

cluso do teorema pode faliar! Por exemplo, a seqencia de funes fn : [0, 1] → R,
definidas por
1 1
fn (x) = 0, x ∈ [ , 1], fn ( ) = 1
n 2n
1 1
e linear, nos trechos [0, 2n ] e [ 2n , n1 ] tende pontulamente para zero, porm no tende
uniformemente para zero. ( Sugesto: faa um desenho!)
R1 R1
Para todo n ∈ N, 0 fn (x)dx = 1, em quanto 0 f (x)dx = 0. Portanto,
Z 1
limn→∞ 6= f (x)dx.
0
4

Enunciaremos agora um critrio simplis e muito til de de uniforme convergncia

para sries de funes.
P∞
Teorema 3. (O critrio de Weierstrass). Seja 0 fn uma srie de funes
complexas, definidas num conjunto Ω, tal que as seguintes condies sejam verificadas:

1) para todo n existe αn ∈ R+ tal que |fn (z)| ≤ αn , para todo z ∈ Ω;

P∞
2) a srie com termos positivos 0 αn convergente.
P∞
Ento a srie de funes 0 fn (z) uniformemente convergente em Ω.

Prova* A prova deste critrio importante, embora ssimplis, necessita de mais

alguns preliminarios que podem ser deixados de lado numa primeira leitura. Para
os interessados, daremos o roteiro.

Definiremos agora as seqencias de Cauchy (numricas e de funes) e enunciaremos

o critrio de convergncia de Cauchy para seqencias numricas. A demostrao deste
importantissimo critrio, supera o nvel do nosso curso, porm um leitor interessado
poder encontra-lo em qualquer livro de Anlise na reta (ou de Anlise em Rn ).

Definio 3. Uma seqencia de nmeros reais ou complexos {an }n chama-se seqen-

cia de Cauchy, se e somente se para todo  > 0, existe N ∈ N, tal que

|am − am+p | < , ∀ m ≥ N , ∀p ≥ 0.

O critrio de Cauchy. Toda seqencia de Cauchy convergente.

Comntario. De fato, como fcil ver, toda seqencia convergente de Cauchy. O

critrio de Cauchy garante a equivalena das duas definies!

Aplicando o critrio de Cauchy para a seqencia sm das somas parciais de uma

srie numrica, obtemos sem nenhuma dificultade
Pn
O critrio de Cauchy para sries. Seja 0 an uma srie numrtica, tal que para
todo  > 0, existe N ∈ N, tal que

|am + am+1 + ... + am+p | < , ∀m ≥ N , ∀ p ≥ 0.

P∞
Ento a srie 0 an convergente.

Agora demos as definies correspondentes para sequencias e sries de funes uni-

formemente convergentes em compactos.

Definio 30 . Uma seqencia de funes {fn }n , fn : Ω → C chama-se seqencia de

Cauchy uniforme em compactos de Ω, se e somente se para todo compacto K ⊂ Ω
e para todo  > 0, existe N ∈ N, tal que

|fm (z) − fm+p (z)| < , ∀ m ≥ N , ∀p ≥ 0, ∀z ∈ K.

 5

Podemos deduzir sem dificultade:

P∞O critrio de Cauchy de convergncia uniforme para sries de funes. Seja

0 fn uma srie de funes complexas, definidas num conjunto Ω, tal que para todo
compacto K ⊂ Ω e para todo  > 0, existe N ∈ N, tal que

|fm (z) + fm+1 (z) + ... + fm+p (z)| < , ∀m ≥ N , ∀ p ≥ 0, ∀ z ∈ K.

P∞
Ento a srie 0 uniformemente convergente nos compactos de Ω.

Podemos agora provar o Teorema Pde Weierstrasss.

∞
Prova.
Pm Como a srie (numrica) 0 αn convergente, resulta que a seqencia
sm = 0 αn das somas parciais de ordem m convergente; em particular {sm }m∈N
uma seqencia de Cauchy, assim para todo  > 0, existe N ∈ N, tal que

|sm − sm+p | < , ∀ m ≥ N , ∀p ≥ 0.

Pela desigualdade do mdulo e pela hiptese tem-se:

|fm (z) + fm+1 (z) + ... + fm+p (z)| ≤ |fm (z)| + |fm+1 (z)| + ... + |fm+p (z)| ≤

≤ αm + αm+1 + ...αm+p = |sm − sm+p | < , ∀m ≥ N , ∀ p ≥ 0, ∀ z ∈ Ω.

Mas
P∞ isto implca, pelo critrio de Cauchy de convergncia de sries de funes, que a srie
0 fn (z) uniformemente convergente emΩ (e nos compactos de Ω).

P∞
Seja 0 an (z − z0 )n uma srie de potncias centrada Pem z0 ; procedendo exata-
∞
mente como no caso real, pordemos provar que se a srie 0 an (z − z0 )n converge
no ponto z = z1 , ento ela absolutamente convergente no disco |z − z0 | < |z1 − z0 |,
portanto uniformemete convergente nos compacros deste conjunto. Lembrando que
o raio de convergncia define-se como
∞
X
R = sup{|z − z0 | : a srie an (z − z0 )n < ∞
0

deduzimos sem nenhum esforo o seguinte resultado.

Teorema 3. Toda srie de potncias converge uniformemente nos compactos con-
tidos no disco de convergncia. Prova. Na sala de aula.

O critrio de Weirestrass o ponto chave para a prova do (talvez) mais significativo

resultado sobre funes C− derivveis:

Teorema 4. (Teorema de Taylor). Seja f uma funo C derivavel, definida

num dominio Ω do plano complexo e seja z0 ∈ Ω; ento
∞
X f (n) (z0 )
f (z) = (z − z0 )n , ∀z ∈ D(z0 , δ0 ),
n=0
n!
6

onde δ0 = dist(z0 , ∂Ω) a distncia de z0 at a fronteira de Ω, com a conveno δ0 =

+∞, se Ω = C.

Prova. Seja z1 ∈ D(z0 , δ0 ) fixado; seja 0 < |z1 | < r1 < δ0 e seja γ1 o circulo
centrado em z0 , de raio r1 ; pela frmula de Cauchy, temos:
Z
1 f (z)
f (z1 ) = dz.
2πi γ1 z − z1

A fim de representar f (z1 ) como soma de uma srie de potncias, desenvolvemos a

1
funo z−z1
em srie de potncias centrada em z0 :
1 1 1
= = (z1 −z0 )
=
z − z1 (z − z0 ) − (z1 − z0 ) (z − z0 )(1 − (z−z0 ) )
∞
1 z1 − z0 (z1 − z0 )n X (z1 − z0 )n
= + + ... + + ... = .
z − z0 (z − z0 )2 (z − z0 )n+1 n=0
(z − z 0 )n+1

1
Multiplicando essa relao por 2πi f (z), obtemos

∞
1 f (z) 1 X f (z)(z1 − z0 )n
= .
2πi z − z1 2πi n=0 (z − z0 )n+1

Agora, se z ∈ γ1 , ento

f (z)(z1 − z0 )n M1 |z1 − z0 |n
| | ≤ ,
(z − z0 )n+1 r1 r1n
|z1 −z0 |
onde M1 = maxz∈γ1 |f (z)|. Como r1 < 1, a srie (numrica )

∞
X |z1 − z0 |n
n=0
r1n

convergente (srie geomtrica com razo subunitria), ento, pelo critrio de Weierstrass
de uniforme convergencia de sries de funes resulta que a srie
∞
X f (z)(z1 − z0 )n
n=0
(z − z0 )n+1

uniformemente convergente, ento pelo teorema de integrao termo por termo

Z ∞
1 f (z) X
f (z1 ) = dz = an (z1 − z0 )n ,
2πi γ1 z − z1 0

onde, pelas frmulas de Cauchy,

f (n) (z0 )
Z
1 f (z)
an = dz = .
2πi γ1 (z − z0 )n+1 n!
 7

Comentrio. Um resultado similar no acontece no caso real, mesmo com funes

de classe C ∞ (d um contra-exemplo)!

Observao: O teorema nada diz em relao ao comportamento na fronteira do

disco.

Exemplo 3. Seja a funo f (z) = ez . Sendo uma funo inteira (C− derivavel em
todos os pontos do plano complexo), e sendo suas derivadas f (n) (0) = 1, para todo
n ∈ N, temos que
∞
X zn
ez = , ∀ z ∈ C.
0
n!

Succesivamente, usando as definies de senz, cosz, shz, chz, obtemos os conhecidos

desenvolvementos para estas funes trigonomtricas:
∞ ∞
X (−1)n z 2n X (−1)n z 2n+1
cos z = , ∀z∈C sen z = , ∀ z ∈ C.
0
(2n)! 0
(2n + 1)!

∞ ∞
X z 2n X z 2n+1
ch z = , ∀z∈C sh z = , ∀ z ∈ C.
0
(2n)! 0
(2n + 1)!

Exemplo 4. O Teorema de Taylor vale, obviamente, tambm para ramos univa-

lentes de funes multivalentes. Por exemplo, consideremos em C − {(x, 0), x ≤ 0},
o ramo principal do logaritmo:

Log(z) = log|z| + iarg(z), arg(z) ∈ (−π, +π);

como neste dominio este ramo do logaritmo C− derivvel e como

(−1)n−1 (n − 1)!
Log (n) (z) = , ∀ n ≥ 0, ∀ z ∈ C − {(x, 0), x ≤ 0},
zn
em particular, para z0 = 1, temos
∞
X (−1)n−1
Log(z) = (z − 1)n .
0
n

Como a distncia do ponto z0 = 1 at a fronteira do conjunto C − {(x, 0), x ≤ 0}

igual 1, a expanso vale z no conjunto |z − 1| < 1.

Provaremos agora o teorema de derivao termo por termo das seqencias (seres) de
funes analticas, que so uniformemente convergentes em compactos. Como aplicao
imediata (re)obtemos o Teorema de derivao termo por termo das sries de potncias
(complexas).

Teorema 5. (Teorema de derivao termo por termo das seqencias de

funes analticas)
8

Seja {fk }k∈N uma seqencia de funes analticas definidas num conjunto Ω, que
converge uniformemente sobre os compactos de Ω, para uma funo f. Ento:

i) a funo f analtica em Ω.
(k)
ii) a seqencia {fn }n∈N das derivadas k esimas de f uniformemente convergente
sobre compactos para a funo f (k) , a derivada de ordem k de f.

Prova. i) Para provar a primeira assero, usemos o teorema de Morera. Notames,

em primeiro lugar que, devido uniforme convergncia da seqencia fn para f, a funo
f continua. Seja agora γ uma curva fechada, regular, contida no aberto Ω. Pelo
teorema de Cauchy, (e, novamente, por causa da uniforme convergncia de fn ,)
temos: Z Z Z
f (z)dz = limn→∞ fn = limn→∞ fn = 0.
γ γ γ

Assim, pelo teorema de Morera, concluimos que a funo f analtica em Ω e a

primeira parte do teorema esta provada.

ii) Para a segunda asero, seja k fixado. Visto que toda funo analtica num aberto
Ω e indefinivamente derivavel em Ω, falta apenas verificar a uniforme convergncia.
Seja z0 ∈ Ω e seja r > 0 tal que o disco D(z0 , r) ⊂ Ω; seja γ o circulo |z−z0 | = 2r .
Ento, para todo z ∈ CalInt(γ), temos

f (w) − fn (w)
Z
(k) k!
f (z) − fn(k) (z) = dw.
2πi γ (w − z)k+1

Como a seqencia {fn }n converge uniformemente para f no CalInt(γ), para todo

 > 0, existe N ∈ N tal que para todo z ∈ γ e para todo n ≥ N

k!  k!
|f (k) (z) − fn(k) (z)| ≤ 2πr = k 2k+1 .
2πi (r/2)k+1 r

Como  arbitrrio, concluimos que para todo z0 ∈ Ω e para todo disco D(z0 , r/2) ∈
(k)
Ω, a seqencia {fn }n converge uniformemente para f (k) no disco D(z0 , r).
Seja K ⊂ Ω um compacto arbitrrio e seja K ⊂ ∪z∈A D(z, rz ) um seu recobri-
mento por discos; pela prpia definio de compacto, h, ento um recobrimento finto
K = ∪m 1 D(zk , rk ), onde zk ∈ A; aplicando o resultado anterior para cada um dos
discos D(zk , rk ), obtemos a concluso.

Observao 2. claro que a concluso no permanece vlida, se consideramos apenas

uma seqencias de funes R− derivaveis. Ache um contra-exemplo!

Observao 3. Se o conjunto Ω no for um aberto, a concluso do teorema pode

faliar! Por exemplo, a seqencia { sennz
n }n∈N uniformemente convergente para zero,
no eixo real, porm, a seqencia das derivadas {cosnz}n∈N no converge para zero em
nenhum ponto do eixo real!

Um enunciado similar pode ser formulado e provado para sries de funes analticas:
 9

Teorema 50 (O teorema de Weierstrass sobre sries de funes analticas).

Sejam fk funes analticas num aberto Ω, tal que a srie Σ∞

0 fn seja uniformemente
convergente sobre os compactos de Ω, para uma funo f. Ento:

1) f analtica em Ω.

P∞ (j)
2) f (j) (z) = 0 fn (z), ∀z ∈ Ω, ∀j ∈ N.

Como conseqencia imediata, obtemos:

Teorema 6. (Teorema de P∞ derivao termo por termo das sries de potn-
cias) Seja a srie de potncias 0 an (z − z0 )n , que converge uniformemente para a
funo f, no disco |z − z0 | < R. Ento a funo f indefinitamente derivavel e para todo
k ≥ 1,
X∞
n(n − 1)...(n − k + 1)an (z − z0 )n−k f (k) (z) = f (k) (z), z ∈ D(z0 , R),
n=k

ou seja, a srie das derivadas converge uniformemente para f 0 .

O teorema diz, em outras palavras, que a derivada da soma igual soma das
derivadas:

X∞ ∞
X
[ an (z − z0 )n ](k) = an [(z − z0 )n ](k) .
0 0

Podemos, em fim, provar o Teorema de unicidade da expano em srie de Taylor

de uma funo analtica.

Teorema 7. (Unicidade da expano P∞ de uma funo em srie de potncias)

Seja f uma funo analtica em z0 e seja 0 an (z − z0 )n = f (z), numa vizinhana do
1 (n)
ponto z0 . Ento an = n! f (z0 ), para todo n ∈ N.

Prova. Em primeiro lugar, se estimamos os dois membros no ponto z = z0 ,

obtemos que a0 = f (z0 ); por outro lado, pelo critrio de Weierstrass, a srie de pot-
ncias termo geral fn (z) = an (z − z0 )n , uniformemente convergente em compactos
(exercicio!) ento pelo teorema de derivao termo por termo
∞
X
nan (z − z0 )n−1 = f 0 (z);
0

estimando esta ltima relao em z = z0 , obtemos a1 = f 0 (z0 ). Repetindo este proced-

imento, chegamos concluso desejada.

Observao 4. Como conseqencia imediata do Teorema de Taylor e do Teorema

de Unicidade da expano em srie de potncias das funes analticas, (re)obtemos as con-
hecidas ”regras de multiplicao” e ”diviso” de sries de potncias. Mais precisamente,
10

se
∞
X ∞
X
f (z) = an (z − z0 )n g(z) = bm (z − z0 )m , |z − z0 | < r,
0 0

ento:
P∞
i) f (z) + g(z) = 0 (an + bn )(z − z0 )n , |z − z0 | < r;
P∞
ii) f (z)g(z) = 0 cn (z − z0 )n , cn = a0 bn + a1 bn−1 + ... + an b0 , |z − z0 | < r;

P∞
iii) fg(z)
(z)
= 0 dn (z − z0 )n , |z − z0 | < r, onde {dn }n a soluo do sistema
tringular:

d0 b0 = a0

d0 b1 + d1 b0 = a2

...

d0 bn + d1 bm−1 + ... + dm b0 = am
....

Prova. A prova de i) imediata.

Para provar a segunda assero, seja h(z) a funo analtica no disco |z − z0 | < r,
dada por h(z) = f (z)g(z). Pelo teorema de Taylor e pela hiptese
∞ ∞
X h(n) (z0 ) n
X
h(z) = (z − z0 ) = cn (z − z0 )n .
0
n! 0

Pela unicidade da expano de uma funo em srie de Taylor

h(n) (z0 )
= cn ∀ nN.
n!
Pela frmula de Leibniz

h(n) (z0 ) = (f g)(n) (z0 ) = f (n) (z0 )g(z0 ) + f (n−1) (z0 )g 0 (z0 ) + ... + f (z0 )g (n) (z0 );

explicitando agora o segundo membro, em funo de an e bm , (levando em conta que,

novamente pela unicidade da expano em srie de Taylor para as funes f e g, temos
(n) (m)
an = f n!(z0 ) e bm = g m!(z0 ) ) obtemos o resultado desejado.
A terceira assero uma conseqencia imediata da segunda, se notamos que a funo
ϕ(z) = fg(z)
(z)
, analtica no disco D(z0 , r), ento se expande em srie de potncias; assim,
P∞
se ϕ(z) = 0 dn (z − z0 )n , ento
∞
X X∞ X∞
an (z − z0 )n = ( bn (z − z0 )n )( dm (z − z0 )m )
0 0 0
 11

e usando o resultado do tem anterio, obtemos a concluso.

Observao 5. Muitas vezes precisamos apenas dos primeiros termos (digamos,

termos de grau at N, dado), do desenvolvemento em srie de Taylor de uma funo
analtica, dada como produto (ou quociente) de sries de potncias. Neste caso, pode-
mos obter estes coeficientes de uma forma ”mais direta” mais precisamente, se
∞
X ∞
X
f (z) = an (z − z0 )n g(z) = bm (z − z0 )m , |z − z0 | < r,
0 0

e se precisamos do desenvolvemento da funo h(z) = f (z)g(z), at o grau N, ento

escrevendo
N
X ∞
X N
X
n n
f (z) = an (z − z0 ) + an (z − z0 ) = an (z − z0 )n + RN (z),
0 n=N +1 0

N
X ∞
X N
X
m m
g(z) = bm (z − z0 ) + bm (z − z0 ) = bm (z − z0 )m + QN (z),
0 N +1 0

onde as funes RN (z) e QN (z) (os restos de ordem N das respetivas sries de potn-
cias) so funes analticas (soma de uma srie de potncias) que tm a propriedade que
as potencias de (z − z0 ) so superiores N + 1. Feita est observao, escrevendo
N
X XN
n
h(z) = ( an (z − z0 ) + RN (z))( bm (z − z0 )m + QN (z))
0 0

e aplicando as regras usuais de multiplicao (distributividade da soma em relao ao

produto), obtemos
N
X XN XN XN
n m n
h(z) = ( an (z−z0 ) ( bm (z−z0 ) )+( an (z−z0 ) )QN (z)+( bm (z−z0 )m RN (z)+Rn (z)QN (z).
0 0 0 0

Observando que, todos os termos dos ltimos trs termos contm potncias de (z − z0 )
estritamente maiores que N e descartando, aps efetuar o produto de polinmios
PN PN
tambm os termos do primeiro temo, ( 0 an (z − z0 )n ( 0 bm (z − z0 )m ) os termos
que contm potncias superiores N, obtemos os primeiros termos do desenvolvemento
pedido. claro que nesse processo, apelamos (tacitamente) ao Teorema de Unicidade.

Observao 6. Se f uma funo impar e analtica no disco D(0, R) ento os coefi-

cientes das potncias pares so todos nulos (ou seja, a srie de MacLauren de f s tem
potncias impares). Um resultado similar vale para funoe pares.
A prova simplis, usa novamente a unicidade da expano e ser deixada como
exercicio.

Teorema 7* (Teorema de Weierstrass sobre sries P∞ duplas de funes) Se-

jam fk funes analticas num aberto Ω, tal que a srie 0 fn seja uniformemente
12

P∞
convergente sobre os compactos de Ω, para uma funo f. Se f (z) = 0 aj (z − z0 )j
P∞ (n) P∞ (n)
e fn (z) = 0 aj (z − z0 )j , ento aj = 0 aj .

Prova*. Para calcular os coeficientes da srie de Taylor de f, centrada em z0 ,

fixamos k ∈ N e apelamos s frmulas de Cauchy para a funo f, no ponto z0 ∈ Ω :
Z Z P∞
(k) k! f (z) k! 0 fn (z)
f (z0 ) = k+1
dz = dz;
2πi γ (z − z0 ) 2πi γ (z − z0 )k+1

como a ltima srie que aparece sob a integral converge uniformemente sobre com-
pactos do disco (k fixado), novamente o teorema de integrao termo por termo, junto
com as frmulas de Cauchy, nos do:
∞
X
f (k) (z0 ) = fn(k) (z0 ).
n=0

Pelo teorema de unicidade do desenvolvemento em sries de potncias, obtemos o

resultado desejado.

Comentrio. O Teorema de Weierstrass diz, em outras palavras, que se f a

soma de uma srie uniformemente convergente de funes analticas fk , cujo desen-
volvementos em srie de Taylor centrados em z0 conhecido, ento f analtica e
para obter o n − esimo coeficiente de Taylor de f, suficiente somar os coeficientes
corespondentes de cada uma das funes

fk (z) = Σ∞ l
0 akl (z − z0 ) : an = Σ∞
k=0 akn .

O Teorema de Weierstrass sobre sries duplas o fundamento terico do

Mtodo de substituio de uma srie de potncias numa outra srie de pot-

ncias.

Sejam f e φ duas funes analiticas em z0 e em w0 = f (z0 ), respetivamente. Sejam

∞
X ∞
X
n
f (z) = an (z − z0 ) , |z − z0 | < r, φ(w) = αn (w − w0 )n , |w − w0 | < ρ,
0 0

os desenvolvementos em srie de Taylor em torno de z0 e w0 . Restringindo even-

P∞r, definimos ma funo F (z) = φ(f (z)), analtica em |z − z0 | < r; seja
tualmente
F (z) = 0 Am (z − z0 ) . Assim
∞
X ∞
X
m
F (z) = φ(f (z)) = αm [f (z) − w0 ] = Fm (z),
0 0

onde Fm (z) = αm [f (z) − w0 ]m so funes analticas em |z − z0 | < r. Como a srie de

potncias de φ uniformemente convergente sobre compactos |w − w0 | ≤ ρ, a srie de
 13

P∞
funes 0 Fm (z), tambm . Pela unicidade do desenvolvemento em srie de Taylor,
deduzimos, via o Teorema de Weierstrass sobre as sries duplas, que o coeficiente
do termo (z − z0 )n do desenvolvemento de F em torno de z0 , se obtm somando os
coeficientes do termo (z − z0 )n em cada uma das funes Fm (z), os quais se obtm
multiplicando a srie da funo [f (z) − w0 ], n vezes por ela mesma, pela regra usual
de produto de sries de potncias.

Vamos ilustrar este mtodo com um exemplo concreto.

Exemplo 3. Use o mtodo da substituio de uma srie de potncias numa outra,

para achar o desenvolvemento em srie de Taylor, de grau seis, da funo
√
F (z) = cosz,
√
onde escolhemos o ramo da multi-funo cosz, tal que F (0) = 1.

Soluo: Como cos0 = 1, precisa desenvolver a funo radical numa vizinhana do

ponto z0 = 1; faremos isso, usando a srie binomial

w w2 w3
(1 − w)1/2 = 1 − − − − ... (|w| < 1)
2 8 16
e escrevendo

F (z) = [1 − (1 − cosz)]1/2 ,
onde
z2 z4 z6
1 − cosz = − + + ... (|z| < ∞).
2! 4! 6!
Pela regra de substituio das sries de potncias,

1 z2 z4 z6 1 z2 z4 z6 1 z2 z4 z6
F (z) = 1− ( − + +...)− ( − + +...)2 − ( − + +...)3 +...
2 2! 4! 6! 8 2! 4! 6! 16 2! 4! 6!
Usando agora a multiplicao de sries de potncias, e descartando, succesivamente os
termos superfluos, temos:

z2 z4 z6 z4 z6
( − + + ...)2 = − + ...
2! 4! 6! 4 24

z2 z4 z6 z4 z6 ˙ z2 z4 z6
( − + + ...)3 = ( − + )( − + + ...) =
2! 4! 6! 4 24 2! 4! 6!
z4 z2 z4 z6
=( + ...)( − + ...) = + ...,
4 2! 4! 8
e substituindo, obtemos:

1 z2 z4 z6 1 z4 z6 1 z6
F (z) = 1 − ( − + − ( − + ...) − ( − ...) =
2 2 24 720 8 4 24 16 8
z2 z4 19z 6
=1− − − + ....
4 96 5760
14

Para achar o raio de convergncia dessa srie, notamos que F 0 (z) = 2−senz
√
cosz
|z| <
π/2. Assim o raio π/2, a distncia da origem at a primeira singularidade de F.
1
Exemplo 4. Ache a expanso em srie de Taylor da funo f (z) = e 1−z , centrada
em z = 0.

Soluo: Dado que a srie de ew converge para qualquer valor de w, podemos escr-
ever, para todo z 6= 1, que
∞
X (1 − z)−n
f (z) = .
0
n!

Como f analitica em z = 0, temos, usando, para cada n as respetivas sries bino-

miais,
∞ ∞
X 1 −1 j
X 1 −2
f (z) = 1 + (j )(−z) + (j )(−z)j + ... =
j=0
1! j=0
2!
∞ ∞ ∞
X 1 X 1 −n X 1 −n 2
= + (1 )(−z) + ( )z + ...
n=0
n! n=1 n! n=1
n! 2

zk
P∞
Exemplo 5. Ache a expanso em srie de Taylor da funo f (z) = 0 1−z k
.

zk
Pinf ty
Soluo. f (z) = k=0 f k(z), onde fk (z) = 1−z k . Como {fk }k∈N uma seqencia
de funes analiticas uniformemente convergergente sobre compactos do disco |z| < 1
(verifique!) e como para cada k fixado temos
zk
fk (z) = = z k (1 + z k + z 2k + ...),
1 − zk
para achar o coeficiente de z n no desenvolvemente de f em srie de Taylor no disco
|z| < 1, preciso somar os coeficientes de z n em cada uma das expanes de fk ,
k = 0, 1, 2, ... .
Seja n fixado; para todo k, observamos que o coeficiente de z n zero, se n no
multiplo de k e um, se n divisivel por k. Assim, deduzimos que
n=∞
X
f (z) = d(n)z n ,
n=0

onde d(n) o numro de divisores de n, (incluindo 1 e o prpio n. O raio de convergncia

desta srie claramente, r = 1. (porqu?).

Exercicio 1. Ache os primeiros 3 termos no nulos do desenvolvemento em srie

de Mac-Lauren as seguintes funes:

z2 ez 1
i) f (z) = shze3 z; ii) f (z) = tgz; f (z) = ; iii) f (z) = z ; iv)f (z) = .
1 − cosz (e + 1) (1 + z 2 )4
 15

Exercicio 2. Ache o raio de convergncia das seguintes sries:

a(a − 2b) 2 a(a − 2b)2 3 1

i)1 + az + z + z + ... (R = ).
2! 3! b

k(k − 3) 2 k(k − 4)(k − 5) 3 1

ii)1 − kz + z − z + . . . (R = ).
2! 3! 4

Exercicio 3. Ache, usando operaes com sries de potncias, os termos de grau at

5, do desenvolvemento em srie de potncias das seguines funes:
z
i) ezsenz ; ii) (1 + z)z = ezln(1+z) ; iii) ee .

Exercicio 4 Ache os primeiros 4 termos do desenvolvemento em srie de Mac-

Lauren, da funo
z
f (z) = z .
e −1
Os numros Bn = f (n) (0), so chamados os numros de Bernoulli.

Exercicio 5 Ache o desenvolvemento em srie de Taylor centrada na origem da

funo
∞
X 2z
f (z) = .
z − k2 π2
2
k=1

Qual o raio de convergncia desta srie?

(Resposta: f (z) = −2Σ∞ ∞ 1

n=1 (Σk=1 (kπ)2n )z
2n−1
, |z| < π.)

Exercicio 6 ∗ . Mostre que os coeficientes cn , do desenvolvemento

∞
1 X
= cn z n ,
1 − z − z2 0

verificam a relao de recorrncia:

c0 = c1 = 1, cn = cn−1 + cn−2 , (n ≥ 2),

ou seja, cn so os numros de Fibonacci.