Notas de Aula - Analise Complexa PDF

Notas de
Anlise Complexa
Ricardo Mamede
Departamento de Matemtica, Faculdade de Cincias e Tecnologia
Universidade de Coimbra
2015
ndice
1 Nmeros Complexos 1
1.1 O corpo dos nmeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 A forma polar dos complexos . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Subconjuntos de C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2 Sucesses e sries numricas 11

2.1 Sucesses de nmeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2 Sries de nmeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3 Critrios de convergncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3 Sries de Fourier 33
4 Funes Analticas 41
4.1 Funes complexas e continuidade . . . . . . . . . . . . . . . . . . . . . . . . 41
4.2 Diferenciabilidade e condies de Cauchy-Riemann . . . . . . . . . . . . . . 46
4.3 Funes elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5 Integrao de Funes Complexas 59

5.1 Integrao de funes complexas de varivel real . . . . . . . . . . . . . . . . 59
5.2 Integrais de caminho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5.3 Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
5.4 Frmulas integrais de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . 68
6 Sries de Potncias 71
6.1 Srie de potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
6.2 Srie de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
6.3 Srie de Laurent e o teorema dos resduos . . . . . . . . . . . . . . . . . . . 76
6.4 Classificao das singularidades isoladas . . . . . . . . . . . . . . . . . . . . 78
Bibliografia 85
Captulo 1
Nmeros Complexos
1.1 O corpo dos nmeros complexos

Um par (G, ?), constitudo por um conjunto no vazio G e por uma operao binria
? : G G G, diz-se um grupo se satisfaz as seguintes propriedades:
1. Associatividade: para quaisquer a, b, c G,
(a ? b) ? c = a ? (b ? c).
2. Existncia de elemento neutro: existe e G tal que para todo o a G,
a ? e = e ? a = a.
3. Existncia de inverso: para todo o a G existe a0 G tal que
a ? a0 = a0 ? a = e.
Um grupo (G, ?) diz-se abeliano ou comutativo se para quaisquer a, b G, se verifica
a ? b = b ? a.
Exemplos familiares de grupos abelianos incluem (Z, +), os nmeros inteiros sob a adi-
o usual; (R, +), os nmeros reais sob a adio usual; (Rn , +), o conjuntos dos n-plos
de nmeros reais sob a adio vetorial; ou (R \ {0}, ), os nmeros reais no nulos sob a
multiplicao. Como exemplo de um grupo no abeliano temos o grupo das matrizes no
singulares.
Um corpo (K, +, ) constitudo por um conjunto no vazio K e duas operaes binrias
+ e em K, designadas resp. por adio e multiplicao, tais que (K, +) e (K\{0}, ) so gru-
pos abelianos, onde 0 denota o elemento neutro da adio, e a multiplicao distributiva
em relao adio: para quaisquer a, b, c K,
a (b + c) = (a b) + (a c).
1
1.1. O CORPO DOS NMEROS COMPLEXOS
O conjunto dos nmeros reais R munido da adio e multiplicao usuais (R, +, ) um

corpo. Alem disso um corpo ordenado mediante a relao de ordem usual entre nmeros
reais. Isto significa que existe uma relao < definida em R tal que:
1. Se x, y R, ento exatamente uma das condies x < y, y < x e x = y verdadeira.
2. Somas e produtos de nmeros positivos (i.e. > 0) so igualmente positivos.
Consideremos o conjunto R2 = {(a, b) : a, b R} dos pares ordenados, munido das

seguintes operaes:
(a, b) + (c, d) = (a + c, b + d)
(a, b) (c, d) = (ac bd, ad + bc)
Estas operaes so comutativas, associativas e a multiplicao distributiva relativamente

adio. Alm disso, os pares (0, 0) e (1, 0) so os elementos neutros da adio e multiplicao,
respetivamente. Deste modo, (R2 , +, ) um corpo que se designa por corpo dos nmeros
complexos e se denota por C.
O subconjunto {(a, 0) : a R} de C identifica-se com o conjunto dos reais R atravs da
bijeco (a, 0) a. Denotando ento o par (a, 0) com o real a e o par (0, 1) com a letra i,
obtemos a representao algbrica dos nmeros complexos
(a, b) = (a, 0) + (0, 1) (b, 0) = a + bi.
O smbolo i a unidade imaginria. Notemos que i2 = 1. Se z = a + bi C, chamamos

a a a parte real de z e escrevemos a = Re(z). Chamamos a b a parte imaginria de z e
escrevemos b = Im(z). Quando Re(z) = 0 o nmero complexo z diz-se um imaginrio puro.
Notemos que sendo C um corpo, a multiplicao comutativa, pelo que podemos tambm
escrever (a, b) = a + ib.
Ao contrrio do que ocorre com os nmeros reais, em C no existe qualquer relao de
ordem compatvel com as operaes. De facto, notemos que se supusermos i > 0 ou i > 0,
seremos forados a concluir que 1 = ii > 0. Mas tambm temos 1 = 12 > 0. Logo,
obtemos 1 > 0 e 1 < 0. Portanto, no faz sentido usar os smbolos < ou entre nmeros
complexos a menos que se trate de nmeros reais.
Calculando as sucessivas potncias de expoente natural im da unidade imaginria, obtm-
se os valores i, 1, i, 1, consoante os restos da diviso de m N por 4 seja 1, 2, 3 ou 0:

1, r=0

i, r=1
in = i4k+r = (i4 )k ir = ir = .

1, r = 2

i, r = 3

2
1.1. O CORPO DOS NMEROS COMPLEXOS

O mdulo do nmero z = a + bi o nmero real no negativo |z| = a2 + b 2 , e o
conjugado de z nmero z = a bi.
Proposio 1.1. Sejam z e w nmeros complexos. Ento:
1. z + z = 2Re(z) e z z = 2iIm(z).
2. z = z se e s se Im(z) = 0 se e s se z R.
3. z = z.
z z
4. z w = z w, zw = z w e, se w 6= 0, = .
w w
5. zz = |z|2 = (Re(z))2 + (Im(z))2 .
6. |z| = 0 se e s se z = 0.
1 z
7. Se z 6= 0, z 1 = = 2.
z |z|
z |z|
8. |zw| = |z||w| e = 6 0.
se w =

w |w|
9. ||z| |w|| |z w| |z| + |w|.
Demonstrao. Vamos provar apenas a propriedade 9. As restantes ficam a cargo do leitor.

Comeamos pela desigualdade |z + w| |z| + |w|, conhecida por desigualdade triangular.
Da definio de mdulo de um nmero complexo resulta
|z| Re(z) |z|

|z| Im(z) |z|. (1.1)
Pelas propriedades 5, 4 e 1, podemos escrever
|z + w|2 = (z + w)(z + w)
= zz + (zw + zw) + ww
= |z|2 + (zw + zw) + zw + |w|2
= |z|2 + 2Re(zw) + |w|2
Usando agora (1.1) obtemos
|z + w|2 |z|2 + 2|zw| + |w|2 = |z|2 + 2|z||w| + |w|2 = (|z| + |w|)2
donde segue a desigualdade triangular. Uma vez que | w| = |w|, obtemos igualmente
|z w| = |z + (w)| |z| + | w| = |z| + |w|.
3
1.2. A FORMA POLAR DOS COMPLEXOS
Da desigualdade triangular resulta ainda
|z| = |(z w) + w| |z w| + |w|,
ou equivalentemente,
|z| |w| |z w|.
Analogamente,
|w| |z| |z w|,
donde se conclui que
||z| |w|| |z w|.
A mesma estimativa pode ser aplicada a |z + w|, obtendo-se igualmente
||z| |w|| |z + w|.
A desigualdade triangular pode ser estendida para somas com um nmero arbitrrio de
parcelas
|z1 + z2 + + zn | |z1 | + |z2 | + + |zn |.
Ocorre igualdade se e s se a razo entre dois quaisquer nmeros no nulos for positiva.
Se k e n so inteiros positivos tais que mdc(k, n) = 1, definimos ainda
k
k 1 k 1
z = , z n = zk n .
z
1.2 A forma polar dos complexos

Uma vez que o conjunto dos nmeros complexos coincide com o conjuntos dos pontos do
plano, um nmero complexo z = a + bi pode ser identificado com o ponto (a, b) no plano
cartesiano, que vulgarmente se designa por afixo de z. Neste caso, usual designar o plano
cartesiano por plano complexo ou plano de Argand.
Podemos ainda identificar o nmero z com o vetor com inicio na origem (0, 0) e ponto

final o afixo (a, b). O comprimento de z a distncia de z origem, i.e., |z| = a2 + b2 .
Nesta representao, o mdulo |z w| representa a distncia de z a w.
A interpretao geomtrica da adio de vetores j nos familiar, uma vez que corres-
ponde adio de vetores no plano. Para termos uma visualizao geometrica da multipli-
cao vamos introduzir um sistema de coordenadas polares no plano do seguinte modo.
Se z 6= 0 ento z/|z| est situado algures sobre o circulo unitrio e, portanto, existe um
ngulo tal que z/|z| = cos() + i sin(). Podemos ento escrever z na forma polar
z = |z|(cos() + i sin())
4
y y
z z+w
z
w
x x
Figura 1.1: Interpretao grfica do conjugado e da soma de complexos
onde designado por argumento de z e denotado por arg(z). importante ter presente
que arg(z) NO univocamente determinado por z; adicionando qualquer mltiplo de
2 a d origem a outro valor para arg(z), igualmente vlido. Quando nos referimos
ao argumento de um nmero complexo, queremos dizer um de entre os infinitos possveis
valores do argumento. Portanto,
arg(z) = { R : z = |z|(cos() + i sin())}.
Ao (nico) argumento de z pertencente ao intervalo ] , ], chamamos argumento prin-

cipal de z e representamo-lo por Arg(z). Uma outra ambiguidade relativa ao nmero 0,
pois no definimos qualquer argumento para este nmero, sendo vulgar considerar qualquer
real como um argumento vlido para 0.
frequente utilizar-se as formas abreviadas
z = rcis() = rei ,
onde r = |z| e cis() = cos()+i sin() = ei . Esta ltima igualdade designa-se por frmula
de Euler e ser justificada mais frente.
z = rei
r sin()
r

x
r cos()
Figura 1.2: Forma polar de um nmero complexo
5
Designando por um valor do argumento de z = a + bi e sendo r = |z|, obtemos

Re(z) = r cos()
Im(z) = r sin().
Portanto, o argumento de z 6= 0 determinado pelas equaes

Re(z) Im(z)
cos() = e sin() = .
r r
Exemplo 1.1. O argumento do nmero complexo z = i o conjunto

arg(i) = {2k + , k Z},
2
e o seu argumento principal Arg(i) = 2 . Tem-se portanto i = cis(/2).
Proposio 1.2 (Multiplicao e diviso de complexos na forma polar). Sejam z = r1 cis(1 )

e w = r2 cis(2 ) nmeros complexos. Ento:
1. zw = r1 r2 cis(1 + 2 ).
2. z = r1 cis(1 ).
1 1
3. = cis(1 ).
z r1
z r1
4. = cis(1 2 ).
w r2
5. (z)n = r1n cis(n1 ), n Z - Frmula de De Moivre.
Demonstrao. Usando as frmulas trigonomtricas da adio do seno e do cosseno, obtemos
zw = r1 (cos(1 ) + i sin(1 ))r2 (cos(2 ) + i sin(2 ))

= (r1 r2 )(cos(1 + 2 ) + i sin(1 + 2 ))
= (r1 r2 )cis(1 + 2 ).
A propriedade 2 resulta das definies e a 3 segue de 2 e da igualdade 1/z = z/|z|2 . A

propriedade 4 resulta de 1 e de 3 e a ltima propriedade obtm-se por induo sobre n.
Conclumos que se multiplicam nmero complexos multiplicando os respetivos mdulos

e somando os argumentos. Em particular, multiplicar um nmero complexo z por outro
com mdulo 1 equivalente a rodar z por um ngulo igual ao do argumento do segundo
nmero. Notemos que apesar de arg(z1 z2 ) = arg(z1 ) + arg(z2 ), em geral
Arg(z1 z2 ) 6= Arg(z1 ) + Arg(z2 ),
6
como se pode comprovar fazendo z1 = 1 = cis() e z2 = 5i = 5cis( 2 ). O argumento

principal de z1 z2 = 5cis( 2 ) Arg(z1 z2 ) = 2 , mas Arg(z1 ) + Arg(z2 ) = + 2 .
A frmula de De Moivre pode ser usada para determinar as razes ndice n (n N) de

um nmero complexo. Seja z 6= 0 um nmero complexo. Dizemos que w a n-sima raiz
de z se wn = z, onde n um inteiro positivo.
Dois nmeros complexos escritos na forma polar so iguais se e s se tm o mesmo
mdulo e os argumentos diferem entre si num mltiplo de 2. Assim, se w = |w|cis() e
z = |z|cis(), so tais que wn = z, temos

|w|n = |z|
wn = z se e s se
n = + 2k, com k Z

|w| = p
n
|z|
se e s se .
= +2k , k = 0, 1, . . . , n 1
n
p
Para cada k = 0, 1, . . . , n 1, obtemos n razes distintas, todas com o mesmo mdulo n |z|
mas com diferentes argumentos. Devido periodicidade do seno e do cosseno, para k n
obtemos as mesmas razes, visto que se k = n + m, com m = 0, 1, . . . , n 1, obtemos
+ 2(n + m) + 2m
= = + 2
n n
e
+ 2m + 2m
sin() = sin , cos() = cos .
n n
Recapitulando, as razes de ndice n de z 6= 0 so

p
n + 2k
wk = |z|cis , k = 0, 1, . . . , n 1,
n
ou seja,

n
z = z 1/n = {w0 , w1 , . . . , wn1 }.
Geometricamente, as razes de ndice n de um nmero complexo z 6= 0 esto situadas
p
sobre a circunferncia de centro na origem e raio n |z|. Alm disso, a diferena entre os
2
argumentos de duas razes consecutivas .
n
Em particular, a raiz quadrada de um nmero complexo z = rcis() 6= 0 tem dois

valores, w1 = 2cis(/2) e w2 = 2cis(/2 + ). Na forma algbrica, temos w1 = x + yi e
w2 = x yi. Se z 6= 0 real negativo, temos x = 0. No caso de x 6= 0, as razes de z no
so imaginrias puras, pelo que uma das razes tem parte real positiva e a outra negativa.
Vamos designar por ramo principal da raiz quadrada complexa quela que atribui raiz
quadrada de um nmero complexo o valor x + yi, com x > 0, ou ento x = 0 e y 0.
7
1.3. SUBCONJUNTOS DE C
1.3 Subconjuntos de C
p
Seja z0 = x0 +y0 i C. Como |z z0 | = (x x0 )2 + (y y0 )2 a distncia entre z = x+yi
e z0 , os nmeros complexos z que satisfazem a equao
|z z0 | = , > 0,
pertencem circunferncia de centro z0 e raio .

Exemplo 1.2. 1. |z| = 1 representa a circunferncia de centro 0 e raio 1.
2. |z 1 + 3i| = 5 |z (1 3i)| = 5 representa a circunferncia de centro (1, 3) e

raio 5.
Em coordenadas polares, a circunferncia de centro na origem e raio > 0 pode ser
escrita como
{cis(), 0 2} = {z : |z| = }.
Adicionando o nmero z0 expresso anterior, obtemos uma expresso para a circunferncia

de centro z0 e raio :
{z0 + cis(), 0 2}.
Definio 1.1. Seja z0 C e r > 0. A bola aberta de centro z0 e raio r o conjunto
B(z0 , r) = {z : |z z0 | < r}.
Tambm se chama vizinhana de z0 bola aberta B(z0 , r). A bola fechada de centro z0
e raio r o conjunto
B(z0 , r) = {z : |z z0 | r}.
Definio 1.2. Dizemos que S C um subconjunto aberto se qualquer ponto z S

possui uma bola aberta contida em S, ou seja,
z Sr > 0 : B(z, r) A.
Exemplo 1.3. O conjunto S = {z C : Re(z) > 1} aberto. De facto, dado z = a + bi S

com a > 1, tomemos r = a 1 e notemos que B(z, r) S. Ou seja, qualquer ponto de S
possui uma vizinhana contida em S, logo S aberto.
Exemplo 1.4. O conjunto S = {z C : Re(z) 1} no aberto, pois qualquer vizinhana

de z = 1 possui pontos que no esto em S.
8
Exemplo 1.5. A bola aberta B(z0 , r) um conjunto aberto, mas a bola fechada B(z0 , r) no
um conjunto aberto. J o conjunto C \ B(z0 , r) aberto.
Definio 1.3. Um ponto z0 diz-se um ponto de acumulao de S C se qualquer bola

aberta centrada em z0 possui pontos de S diferentes de z0 , isto , se
S (B(z0 , r) \ {z0 }) 6=
para todo o r > 0.
Definio 1.4. Sejam z, w C. O segmento de reta que une os pontos z e w o conjunto
[z, w] = {(1 t)z + tw : 0 t 1}.
Dados z1 , z2 , . . . , zn C, a linha poligonal [z1 , z2 , . . . , zn ] o conjunto
[z1 , z2 , . . . , zn ] = [z1 , z2 ] [z2 , z3 ] [zn1 , zn ].
Definio 1.5. Um conjunto S C diz-se conexo se, quaisquer que sejam z, w S, existir
uma curva contnua totalmente contida em S, que une z a w. Chamamos regio a qualquer
subconjunto de C aberto e conexo.
Exemplo 1.6. A bola aberta B(z0 , r) (bem como a bola fechada B(z0 , r)) um conjunto
conexo.
Nota 1.1. Se S C aberto e conexo, ento quaisquer que sejam z, w S, existe uma
linha poligonal composta por segmentos horizontais e verticais, totalmente contida em S,
que une z a w.
Definio 1.6. Um conjunto S C diz-se limitado se existir r > 0 tal que
S {z : |z| < r} = B(0, r).
9
10
Captulo 2
Sucesses e sries numricas
2.1 Sucesses de nmeros complexos

Definio 2.1. Uma sucesso de nmeros complexos uma sequncia (ordenada)
infinita
z1 , z2 , . . . , zn , . . .
de nmeros complexos (tambm consideramos sucesses que comeam num inteiro k 1).
Formalmente, uma sucesso uma funo z : N C na varivel independente n N e
tomando valores em C. Ao termo zn chamamos termo geral da sucesso e denotamos a
sucesso z1 , z2 , . . . por (zn ).
Se zn R para todo o n 1, dizemos que (zn ) uma sucesso de nmeros reais.
A sucesso (zn ) diz-se limitada se existir um nmero real M R tal que
|zn | M, n N.
Ou seja, (zn ) limitada se todos os seus termos esto contidos na bola fechada B(0, M ).
in
Por exemplo, a sucesso de termo geral zn = n limitada pois para todo o nmero
2
natural n N temos n
i
= 1 1.
2n 2n
Portanto, todos os termos de (zn ) esto contidos na bola B(0, 1).
Definio 2.2. Uma sucesso (zn ) tem limite ` C, e escrevemos
lim zn = ` ou zn `
se para qualquer > 0 existe um n N tal que |zn `| < para n > n .
Se existir um nmero complexo ` nestas condies dizemos que a sucesso converge;
caso contrrio diremos que a sucesso diverge.
11
2.1. SUCESSES DE NMEROS COMPLEXOS
Portanto, a sucesso (zn ) convergente se pudermos tornar os seus termos zn to perto

de ` quanto quisermos ao fazermos n suficientemente grande. Temos zn ` se e s se
|zn `| 0. A desigualdade |zn `| < significa que a partir de n todos os termos da
sucesso esto contidos na bola B(`, ). O significado geomtrico desta definio pode ser
visto na figura 2.1.
z2
z3

zn
`
z1 z

Figura 2.1: Convergncia de uma sucesso complexa
Exemplo 2.1. A sucesso (in /n) converge para 0. Seja > 0. Ento,
n
i
0 = 1 <

n n
sempre que n > 1/. Podemos tomar n > 1/.
Exemplo 2.2. Consideremos a sucesso de termos geral zn = (n + 2i)/n. Ento zn 1. Se
> 0, temos
n + 2i 2i 2
n 1 = n = n <

sempre que n > 2/. Podemos tomar n > 2/.

fcil constatar que a convergncia e o limite de uma sucesso no se alteram se a ela
retirarmos ou acrescentarmos um nmero finito de termos. Tal como no caso real, o limite
de uma sucesso complexa, quando existe, nico.
Teorema 2.1. O limite de uma sucesso convergente nico.
Demonstrao. Suponhamos que zn `1 e zn `2 . Ento, dado > 0 existem n1 , n2 N
tais que

|zn `1 | < , para n > n1
2
e

|zn `2 | < , para n > n2 .
2
Seja n = max{n1 , n2 }. Ento, para n n temos

|`1 `2 | = |(`1 zn ) + (zn `2 )| |zn `1 | + |zn `2 | < + = .
2 2
Ou seja, |`1 `2 | uma constante positiva menor do que qualquer > 0, logo `1 = `2 .
12
Teorema 2.2. Uma sucesso convergente limitada.
Demonstrao. Suponhamos que zn `. Ento existe n C tal que |zn `| < 1 para
n > n . Assim,
|zn | = |zn ` + `| |zn `| + |`| < 1 + |`|.
Seja M = max{|z1 |, |z2 |, . . . , |z |, 1 + |`|}. Ento, |zn | M para qualquer n N.
O reciproco do resultado anterior no verdadeiro, ou seja, uma sucesso limitada no

, necessariamente, convergente.
Exemplo 2.3. A sucesso de termo geral zn = (1)n limitada, com |zn | 1 para todo o
n N. Vamos mostrar que esta sucesso no convergente. Seja ` um nmero complexo e
notemos que para todo o n N, temos |zn+1 zn | = 2. Assim, podemos escrever
2 = |zn+1 zn | = |(zn+1 `) + (` zn )| |zn+1 `| + |zn `|.
Isto significa que para todo o n N, pelo menos uma das duas desigualdades |zn+1 `| 1
e |zn `| 1 se verifica. Portanto, a condio para a convergncia no se verifica para
= 1, pelo que (zn ) divergente.
Teorema 2.3 (lgebra dos limites). Sejam (zn ) e (wn ) duas sucesses convergentes para z
e w, resp., e seja c C. Ento:
1. lim(zn wn ) = z w,
2. lim(zn wn ) = zw,

zn z
3. lim = se w 6= 0.
wn w
Demonstrao. 1. Seja > 0. Ento, existem n1 , n2 N tais que

|zn z| < , para n > n1
2
e

|wn z| < , para n > n2 .
2
Com n0 = max{n1 , n2 }, temos que para qualquer n > n0 ,

|(zn wn ) (z w)| = |(zn z) (wn w)| |zn z| + |wn w| < + = .
2 2
Logo zn wn z w.
2. Como zn z, existe n1 N tal que
|zn z| < 1 para n > n1 ,
13
pelo que
|zn | < |z| + 1 para n > n1 .
Por outro lado, dado > 0 existem n2 , n3 N tais que

|zn z| < , para n > n2
2(|w| + 1)
e

|wn w| < , para n > n3 .
2(|z| + 1)
Seja n0 = max{n1 , n2 , n3 }. Para n > n0 temos
|zn wn zw| = |zn wn zn w + zn w zw|

= |zn (wn w) + (zn z)w|
|zn ||wn w| + |w||zn z|

< + = .
2 2
Mostrmos assim que zn wn zw.
3. Vamos comear por mostrar que 1/wn 1/w. Como w 6= 0 e wn w, existe n1 N
tal que para n > n1 todos os termos zn da sucesso esto dentro da bola de centro w e raio
|w|/2, ou seja,
|w|
|wn w| < para n > n1 .
2
Isto significa que
|w|
|wn | > para n > n1 .
2
Por outro lado, dado > 0 existe n2 N tal que
|w|2
|wn w| < para n > n2 .
2
Seja n0 = max{n1 , n2 }. Para n > n0 temos

1 1 |wn w| 2|wn w|
wn w = |wn ||w|
< .

|w|2
Assim, 1/wn 1/w e pela alnea 2. conclumos que zn /wn = zn (1/wn ) z/w.
Definio 2.3. Dizemos que a sucesso (zn ) diverge para , e escrevemos zn , se para
qualquer M > 0 existe n0 N tal que |zn | > M sempre que n > n0 .
Exemplo 2.4. A sucesso de termo geral zn = (2i)n satisfaz zn pois qualquer que seja
o real M > 0 temos
|(2i)n | = 2n > M
sempre que n > log2 M .
14
consequncia das definies que zn se e s se 1/zn 0.
Definio 2.4. Chamamos subsucesso da sucesso (zn ) a qualquer sequncia infinita obtida
a partir de (zn ) por eliminao de alguns termos.
Proposio 2.4. 1. Se a sucesso (zn ) converge para ` C, ento qualquer subsucesso

de (zn ) tem limite `.
2. Sejam (un ) e (vn ) subsucesses da sucesso (zn ) que contm todos os termos desta. Se
(un ) e (vn ) tm o mesmo limite ` ento (zn ) tambm tem limite `.
Demonstrao. A propriedade 1. resulta das definies de limite e de subsucesso.

Quanto a 2., consideremos > 0. Ento, existem n1 , n2 N tais que
|un `| < para n > n1
e
|vn `| < para n > n2 .
Fazendo n0 = max{n1 , n2 }, temos que se n > n0 ento
|un `| < e |vn `| < .
Como o conjunto dos termos de (zn ) a unio do conjunto dos termos de (un ) e de (vn ),
obtemos |zn `| < , ou seja, zn `.
Exemplo 2.5. O resultado anterior fornece uma nova prova de que a sucesso de termo geral
(1)n divergente, pois as suas subsucesses ((1)2n ) e ((1)2n+1 ) tm limites 1 e -1, resp.
As sucesses reais so particularmente interessantes devido ao corpo dos nmeros reais

ser ordenado. Este facto permite obter resultados que s se aplicam s sucesses reais.
Vamos de seguida relembrar alguns resultados sobre convergncia de sucesses reais que
necessitaremos mais adiante.
Sucesses de nmeros reais

Teorema 2.5 (Sucesses enquadradas). Sejam (an ), (bn ) e (cn ) sucesses de nmeros reais
tais que
1. an bn cn , para todo o n;
2. an e cn so convergentes com igual limite `.
Ento bn convergente e lim bn = `.
15
Demonstrao. Como an ` e cn `, temos cn an 0. Isto significa que dado > 0

existem n1 , n2 N tais que

|cn an | < para n > n1
2
e

|an `| < para n > n2 .
2
Seja n0 = max{n1 , n2 }. Ento, para n > n0 temos
|bn `| |bn an | + |an `| |cn an | + |an `| < .
Portanto, bn `.
Exemplo 2.6. Utilizando o teorema das sucesses enquadradas fcil verificar que
n!
lim = 0.
nn
De facto, temos
n! 1 2n 1 23 n 1
0 n = = .
n n nn n nn n n
Como lim 0 = lim 1/n = 0 temos o resultado.
Definio 2.5. Seja (an )nN uma sucesso de nmeros reais.
Se an an+1 para todo o n N, isto , se
a1 a2 a3 an
ento (an ) diz-se crescente.
Se an an+1 para todo o n N, isto , se
a1 a2 a3 an
ento (an ) diz-se decrescente.
Uma sucesso que seja decrescente ou crescente diz-se montona.
Como vimos atrs, nem toda a sucesso limitada convergente. No entanto, temos o
seguinte resultado:
Proposio 2.6. Toda a sucesso real montona e limitada convergente.
16
Demonstrao. Suponhamos que (an ) uma sucesso crescente (o caso decrescente an-
logo) e limitada. Seja ` o supremo do conjunto
{an : n N}.
Vamos mostrar que an `. Dado > 0 existe n0 N tal que ` < an0 `. Como (an )
crescente, temos ` < an0 an ` < ` + para todo o n > n0 , pelo que |an `| < .
Exemplo 2.7. Vamos utilizar o resultado anterior para estudar o comportamento da sucesso
(rn ), com r um nmero real fixo.
Quando r > 1, temos rn+1 rn = rn (r 1) > 0, pelo que (rn ) crescente. Alm disso,
escrevendo r = 1 + h e utilizando o binmio de Newton, podemos escrever
n(n 1) 2
rn = (1 + h)n = 1 + nh + h +
2
e, como todas as parcelas so positivas,
rn > 1 + nh.
Uma vez que lim 1 + nh = +, tambm lim rn = +.

Quando r = 1 obtemos a sucesso constante rn = 1n = 1 convergente para 1.
Se 0 < r < 1, temos rn+1 rn = rn (r 1) < 0 pelo que (rn ) decrescente. Alm disso,
1
Fazendo r = , temos h > 1 e
h
1
0 < rn = n < 1.
h
Ou seja (rn )nN montona e limitada, logo convergente. Como lim hn = +, temos
lim rn = 0.
Quando r = 0 obtemos a sucesso constante rn = 0n = 0 convergente para 0.
Finalmente, se r < 0, temos r1 < 0, r2 > 0, r3 < 0, . . ., pelo que (rn ) no montona.
Alm disso, podemos escrever
rn = (1)n (r)n .
Se 1 < r < 0, lim(r)n = 0, donde lim rn = 0. Se r = 1 obtemos a sucesso divergente

(1)n e se r < 1, de (rn ) podemos extrair duas subsucesses
a1 , a3 , a5 , . . .
e
a2 , a4 , a6 , . . . +,
pelo que (rn ) divergente.
17
Temos, portanto,

+,

se r > 1

1, se r = 1
lim rn = .

0, se 1 < r < 1

no existe, se r 1

Dado um nmero real a 6= 0, facilmente obtemos

+, se r > 1

a, se r = 1
lim arn = .

0, se 1 < r < 1

no existe, se r 1

Uma sucesso da forma (arn ) diz-se uma progresso geomtrica de razo r. Cada termo
obtido do anterior por multiplicao pelo nmero r, chamado razo.
Exemplo 2.8. A sucesso (an ), onde para cada n N,

n
1
an = 1 + ,
n
convergente. De facto, pode provar-se que esta sucesso montona e limitada. Ao seu
limite chamamos e (nmero de Euler):
n
1
lim 1 + = e 2, 718281828459
n
Recordando que para uma funo real de varivel real f se tem
lim f (x) = ` > 0M > 0 : x Df e x M |f (x) `| < ,

x+
podemos concluir que a diferena entre esta e a definio de limite de uma sucesso est
unicamente no domnio onde as funes esto definidas. Como N est contido em R podemos
facilmente estabelecer o seguinte resultado:
Proposio 2.7. Seja f : [1, +[ R uma funo real de varivel real e seja ` R. Se
lim f (x) = ` ento a sucesso de nmeros reais (f (n)) tambm converge para `.
x+
Este resultado pode ser usado para calcular limites de sucesses reais efetuando a sua
extenso a uma funo de R em R onde temos outros instrumentos para calcular limites.
18

ln n
Exemplo 2.9. Se quisermos calcular o limite da sucesso , podemos considerar a
n
ln(x)
funo f (x) = definida em R+ e calcular o seu limite quando x tende para +.
x
Como se trata de um limite indeterminado, podemos utilizar a regra de LHpital para
mostrar que
ln(x)
lim = 0.
x+ x
ln n
Pelo teorema anterior, segue que lim = 0.
n
Testes de convergncia
Vamos agora usar as propriedades das sucesses reais para estudar sucesses complexas.
Proposio 2.8. Seja (zn ) uma sucesso de nmeros complexos.
1. lim zn = z se e s se lim Re(zn ) = Re(z) e lim Im(zn ) = Im(z).
2. zn 0 se e s se |zn | 0.
3. Se zn z ento |zn | |z|.
Demonstrao. 1. Notemos que
0 |Re(zn ) Re(z)|, |Im(zn ) Im(z)| |(Re(zn ) Re(z)) + i(Im(zn ) Im(z))| = |zn z|.
Assim, se |zn z| 0, tambm |Re(zn ) Re(z)| 0 e |Im(zn ) Im(z)| 0.

Reciprocamente, suponhamos que |Re(zn ) Re(z)| 0 e |Im(zn ) Im(z)| 0. Pela
desigualdade triangular podemos escrever
0 |zn z| |Re(zn ) Re(z)| + |Im(zn ) Im(z)| 0,
isto , |zn z| 0.
A propriedade 2. consequncia da definio.
3. Temos zn z se e s se |zn z| 0. Como
0 ||zn | |z|| |zn z|,
conclumos que tambm ||zn | |z|| 0, ou seja, |zn | |z|.

in
Exemplo 2.10. A sucesso de termo geral zn = converge para 0 uma vez que
n
n
i 1
= 0.
n n
19
2.2. SRIES DE NMEROS COMPLEXOS
3 + ni 2 1
Exemplo 2.11. Mostremos que a sucesso de termo geral zn = converge para + i.
n + 2ni 5 5
Para tal, comecemos por escrever zn na forma algbrica
2n2 + 3n 6n + n2
zn = + i .
5n2 5n2
O resultado consequncia dos limites
2n2 + 3n 2 6n + n2 1
lim 2
= e lim 2
= .
5n 5 5n 5
Exemplo 2.12. Seja z C, fixo, e consideremos a sucesso (z n ). claro que se |z| < 1,
ento z n 0 visto que |z n | = |z|n 0. fcil verificar que 1n 1 e que se |z| = 1, z 6= 1,
z n no tem limite pois neste caso z n = cis(n), com 6= 0, e a sucesso real cos(n) diverge.
Alm disso, como a sucesso de nmeros reais |z|n divergente para |z| > 1, pela alnea (3)
da proposio anterior conclumos que z n divergente. Ou seja,
(z n ) convergente se e s se |z| < 1 ou z = 1.
Proposio 2.9. Se zn 0 e (wn ) limitada ento zn wn 0.
Demonstrao. Sendo (wn ) uma sucesso limitada, existe M > 0 tal que |wn | < M para
todo o n N. Alm disso, dado > 0 existe n N tal que |zn | < /M para n > n0 . Assim,
para n > n0 temos
0 < |zn wn | < .
Ou seja, zn wn 0.
2.2 Sries de nmeros complexos

Definio 2.6. Seja (zn ) uma sucesso de nmeros complexos. Chama-se srie numrica
de termo geral zn expresso

X
z1 + z2 + + zn + = zn .
n=1
A sucesso (sn ) definida por sn = z1 + z2 + + zn para todo o n N chama-se a sucesso

P
das somas parciais da srie zn . Se a sucesso (sn ) for convergente e lim sn = s, ento
n=1

P
a srie zn dita convergente e escrevemos
n=1

X
zn = s.
n=1
O nmero s diz-se a soma da srie. Caso contrrio, a srie diz-se divergente.
20
Exemplo 2.13. Chama-se srie geomtrica a uma srie da forma

X
rz n = r + rz + rz 2 + + rz n1 + ,
n=0
onde r, z C. Se r 6= 0 e z 6= 1 (razo), o termo geral da sucesso das somas parciais desta

srie pode escrever-se na forma
1 zn
sn = r + rz + rz 2 + + rz n1 = r . (2.1)
1z
Usando o resultado do exemplo 2.12 podemos concluir que a sucesso (sn ) convergente se
e s se |z| < 1 e neste caso
zn

1 r
lim sn = lim r = .
1z 1z 1z

X
6 0, a srie geomtrica
Portanto, se r = rz n convergente se e s se |z| < 1 e, neste caso,
n=0
a sua soma

X r
rz n = . (2.2)
n=0
1z
Por outras palavras, a soma de uma srie geomtrica convergente dada por
primeiro termo
.
1 razo
Exemplo 2.14. Chama-se srie telescpica ou srie de Mengoli a uma srie da forma

X
(zn zn+p ) ,
n=1
onde (zn ) uma sucesso de nmeros complexos. Quando p = 1, a sua n-sima soma parcial
pode ser escrita como
n
X
sn = (zk zk+1 )
k=1
= (z1 z2 ) + (z2 z3 ) + + (zn zn+1 )

= z1 zn+1 .
Assim, a srie converge se e s se a sucesso (zn ) converge e, nesse caso, a sua soma
z1 lim zn .
21
Exemplo 2.15. A srie harmnica

X 1
n=1
n
divergente. De facto, consideremos a subsucesso (s2n ) da sucesso das somas parciais
(sn ) e notemos que
1
s21 = 1 +
2
1 1 1 1 1 1 2
s22 = 1 + + + >1+ + + =1+
2 3 4 2 4 4 2

1 1 1 1 1 1 1
s23 = 1 + + + + + + +
2 3 4 5 6 7 8

1 1 1 1 1 1 1
>1+ + + + + + +
2 4 4 8 8 8 8
3
=1+
2
..
.
n
s2n > 1 +
2
Portanto, (sn ) possui uma subsucesso ilimitada, pelo que (sn ) no convergente. Conclu-se
ento que a srie harmnica divergente.
Uma vez que a noo de convergncia de uma srie est ligada noo de limite da
sucesso das somas parciais, obtemos o seguinte resultado.
Proposio 2.10. A natureza (convergncia ou divergncia) de uma srie no se altera se

retirarmos, eliminarmos ou alterarmos um nmero finito dos seus termos.
Note-se, no entanto, que se se retirarmos, eliminarmos ou alterarmos um nmero finito

dos termos de uma srie convergente, a srie resultante converge mas no necessariamente

P
P
para a soma da srie original. Por exemplo, se k N e zn = s ento srie zn tambm
n=1 n=k

P
convergente mas tem soma zn = s (z1 + + zk1 ).
n=k

P
P
Proposio 2.11 (lgebra das sries). Sejam zn e wn duas sries convergentes com
n=1 n=1
somas s e t, respectivamente. Ento, dado c C,

P
P
1. (zn + wn ) e czn so ambas convergentes;
n=1 n=1

P
P
2. a soma de (zn + wn ) s + t e a soma de czn cs.
n=1 n=1
22
2.3. CRITRIOS DE CONVERGNCIA
Demonstrao. As propriedades so consequncia da lgebra dos limites de sucesses com-

plexas.

P
P
P
Corolrio 2.12. Se zn convergente e wn divergente, ento a srie (zn + wn )
n=1 n=1 n=1
divergente.

P
Demonstrao. Se (zn + wn ) fosse convergente, ento pelo teorema anterior tambm a
n=1
srie
X X X
wn = (zn + wn ) zn
n=1 n=1 n=1
seria convergente, o que um absurdo.
Outro resultado que segue imediatamente da noo de limite o seguinte:
Teorema 2.13 (Convergncia de sries complexas vs sries reais). A srie de nmeros

P P P
complexos zn converge se e s se as sries de nmeros reais Re(zn ) e Im(zn )
n=1 n=1 n=1
convergem e, nesse caso,

X
X
X
zn = Re(zn ) + i Im(zn ).
n=1 n=1 n=1
2.3 Critrios de convergncia

P
Teorema 2.14 (Condio necessria de convergncia). Se a srie zn convergente,
n=1
ento lim zn = 0.
Demonstrao. Seja (sn ) a sucesso das somas parciais associada srie. Considerando
tn = sn1 , podemos considerar a sucesso (tn ) como uma subsucesso de (sn ) e, como tal,
convergente para o mesmo limite. Assim, lim zn = lim sn tn = 0.
A uma srie associamos duas sucesses: a sucesso (sn ) das somas parciais associada

P
srie e a sucesso (zn ) dos seus termos. Se zn for convergente, a sua soma s = lim sn
n=1
e lim zn = 0. O recproco deste teorema falso: se lim zn = 0 no podemos concluir que a

P X 1 1
srie zn converge. De facto, a srie diverge e lim = 0.
n=1 n=1
n n

P
Corolrio 2.15 (Teste para a divergncia). Se lim an 6= 0, ento a srie an diver-
n=1
gente.

X X X ni
Exemplo 2.16. As sries (1)n , ni e so divergentes, pois os seus termos
n=1 n=1 n=1
n + 1
gerais no convergem para zero.
23
Sries reais
Vamos seguidamente analisar o caso particular das sries de nmeros reais. Como veremos
mais adiante, as sries de nmeros reais tero um papel importante no estudo da natureza
de uma srie complexa.

P
P
Teorema 2.16 (Teste de comparao). Sejam an e bn duas sries de nmeros
n=1 n=1
reais tais que 0 an bn , para todo o n n0 . Ento,

P
P
1. se bn convergente, ento an tambm convergente;
n=1 n=1

P
P
2. se an divergente, ento bn tambm divergente.
n=1 n=1
Demonstrao. Como 1. e 2. so equivalentes, provaremos apenas a condio 1. Sejam (sn )

P
P
e (tn ) as sucesses das somas parciais de an e de bn = t, resp. Como ambas as sries
n=1 n=1
tm termos positivos, as sucesses (sn ) e (tn ) so crescentes. Alm disso, tn t, pelo que
tn t. Como an bn para todo o n N, temos sn tn para todo o n N, logo tambm
sn t para todo o n N. Isto significa que a sucesso (sn ) crescente e limitada, logo
convergente.

X 1
Exemplo 2.17. A srie convergente, uma vez que
n=1
2n +1
1 1
0 n
2n +1 2

X 1 1
e a srie converge pois uma srie geomtrica de razo 0 < 2
< 1.
n=1
2n

P
P
Teorema 2.17 (Teste de comparao do limite). Sejam an e bn duas sries de
n=1 n=1
an
termos no-negativos. Se ` = lim R+ {0, +}, ento:
bn
1. Se ` R+ , isto , no zero nem +, ento as sries tm a mesma natureza.

P
P
2. Se ` = 0 e bn converge, ento an converge.
n=1 n=1

P
P
3. Se ` = + e bn diverge, ento an diverge.
n=1 n=1
Demonstrao. 1. Sejam m e M nmeros reais positivos tais que m < ` < M . Como
lim an /bn = `, existe n0 N tal que para n > n0 se tem
an
m< < M,
bn
24
ou de forma equivalente,
mbn < an < M bn .

P
P
Se bn converge, tambm M bn converge e, pelo o teste de comparao, tambm a srie
n=1 n=1
P
P
P
an converge. Por outro lado, se bn diverge, tambm mbn diverge e mais uma vez
n=1 n=1 n=1

P
pelo o teste de comparao, conclumos que a srie an diverge.
n=1
an an
2. Se lim= 0 ento dado > 0 existe n0 N tal que para n > n0 temos 0 < < ,
bn bn

P
ou de forma equivalente, 0 < an < bn . Se bn converge, o mesmo se passa com a srie
n=1
P
P
bn e, pelo teste de comparao, an converge.
n=1 n=1
an
3. Finalmente, se lim = + ento dado M > 0 existe n0 N tal que para n > n0
bn
an
temos 0 < M < , ou seja, 0 < M bn < an . Mais uma vez o teste de comparao diz-nos
bn

P
P
que se bn diverge tambm a srie an diverge.
n=1 n=1

X 1
Exemplo 2.18. A srie convergente. De facto,
n=1
2n 1
1
2n 1 2n
lim 1 = lim = 1 R+
2n
2n 1

1 1
P
e a srie 2n
geomtrica de razo 0 < 2
< 1, logo convergente. Pelo teste de comparao
n=1
do limite, obtemos o resultado.
Teorema 2.18 (Critrio do integral). Seja f : [1, +[ R uma funo contnua, no

R +
P
negativa e decrescente. Ento o integral imprprio 1 f (x)dx e a srie f (n) tm a
n=1
mesma natureza.
Demonstrao. Consideremos a rea limitada pelo eixo dos xxs e o grfico da funo f (x)
entre 1 e n. Particionamos o intervalo [1, n] em subintervalos de comprimento 1 e tomamos o
valor da funo f no extremo direito de cada intervalo (cf. figura abaixo). Este procedimento
define retngulos de rea ai := f (i), para i = 2, . . . , n, cuja soma das reas satisfaz
Z n
a2 + a3 + + an f (x)dx. (2.3)
1
25
y = f (x)
a2 a3 a4 a5 an x
1 2 3 4 5 n
Z +
Se o integral f (x)dx convergente, ento da desigualdade (2.3) segue que
1
n
X Z n Z +
ai f (x)dx f (x)dx.
i=2 1 1
Portanto,
n
X Z +
s n = a1 + ai a1 + f (x)dx = M,
i=2 1

P
para algum M R. Isto significa que a sucesso das somas parciais (sn ) da srie f (n)
n=1
limitada. Como esta sucesso claramente crescente, podemos concluir que (sn ) conver-
P
gente, i.e., a srie f (n) convergente.
n=1
Z +
Suponhamos agora que o integral f (x)dx divergente. Como f (x) 0 temos
Rn 1
1
f (x)dx + quando n +. De forma anloga ao caso anterior (cf figura abaixo),
podemos concluir que
Z n
f (x)dx a1 + a2 + + an1 = sn1 . (2.4)
1
y = f (x)
a1 a2 a3 a4 an1 x
1 2 3 4 5 n

P
A desigualdade (2.4) significa que sn +, pelo que a srie f (n) diverge.
n=1
26

X 1
Exemplo 2.19. Dado p R designamos por srie-p ou srie de Dirichlet a srie .
n=1
np
Vamos utilizar os critrios anteriores para estudar a natureza desta srie.
Se p < 0 ento lim 1/np = e se p = 0 ento lim 1/np = 1. Em ambos os casos
lim 1/np 6= 0, pelo que o teste para a divergncia permite concluir que a srie-p correspon-
dente diverge.
Se p > 0 a funo f (x) = 1/xpZ contnua, decrescente e positiva no intervalo [1, +[.
+
Uma vez que o integral imprprio f (x)dx converge se p > 1 e diverge se p 1, o teste
1
do integral diz-nos que a srie-p converge para p > 1 e diverge se 0 < p 1.
Resumindo, a srie-p

X 1
p
converge para p > 1 e diverge para p 1.
n=1
n
Vamos de seguida analisar sries reais cujos termos no so necessariamente positivos.

Designaremos estas sries por sries de termos de sinal no definido. De entre estas, existem
umas especiais chamadas sries alternadas.

X
X
n
Definio 2.7. Uma srie da forma (1) bn ou (1)n1 bn , onde bn R+ para todo
n=1 n=1
o n, chama-se srie alternada.
Teorema 2.19 (Critrio de Leibniz). Se a sucesso de termos reais positivos (bn )

(1)n1 bn convergente.
P
decrescente e tal que lim bn = 0, ento a srie alternada
n=1

(1)n bn . Uma
P
Demonstrao. Consideremos a sucesso das somas parciais (sn ) da srie
n=1
vez que bn > 0 e que (bn ) decrescente, no difcil verificar que
s1 s3 s5 s2n1 s2n s6 s4 s2 .
Conclumos que a subsucesso dos termos mpares (s2n1 ) decrescente e limitada inferi-
ormente por s2 , enquanto que a subsucesso dos termos pares (s2n ) crescente e limitada
superiormente por s1 . Portanto, ambas as subsucesses so convergentes. Alm disso
s2n1 s2n = b2n 0,
pelo que ambas as subsucesses tm o mesmo limite. Conclumos assim que (sn ) conver-
gente.

X 1
Exemplo 2.20. A srie alternada (1)n1 convergente pois (bn ) = (1/n) uma suces-
n=1
n
so decrescente, isto , bn bn+1 para todo o n 1 e lim bn = 0. Esta srie designa-se por
srie harmnica alternada.
27

X 2n
Exemplo 2.21. O critrio de Leibniz no pode ser aplicado srie alternada (1)n1
n=1
3n 1
2n 2
pois o limite lim = 6= 0. No entanto, fcil verificar que as subsucesses dos ter-
3n 1 3
mos pares e dos termos mpares tm limites diferentes, donde se conclui que no existe o
2n
limite do termo geral (1)n1 . Assim, pelo teste para a divergncia, a srie dada
3n 1
divergente.
Podemos usar uma soma parcial sn de uma srie convergente para estimar a sua soma
s. No entanto, o grau de preciso desta estimativa pode ser difcil de obter, o que torna a
estimativa pouco eficiente. O erro que se comete ao aproximar s usando sn a diferena
Rn = s sn . No caso das sries alternadas, possvel controlar o erro cometido nesta
aproximao.

(1)n1 bn uma srie
P
Teorema 2.20 (Estimativa do erro para sries alternadas). Seja
n=1
alternada convergente com soma s satisfazendo as hipteses do critrio de Leibniz. Se (sn )
a sucesso das somas parciais da srie, ento
|Rn | = |s sn | bn+1 .
Demonstrao. Segue da prova do critrio de Leibniz que a soma s se situa entre quaisquer
dois termos consecutivos sn e sn+1 da sucesso das somas parciais. Portanto,
|s sn | |sn+1 sn | = bn+1 .

X (1)n
Exemplo 2.22. A srie alternada convergente, pois satisfaz as condies do
n=0
n!
critrio de Leibniz. Se aproximarmos a sua soma usando os primeiros 7 termos da srie
obtemos
1 1 1 1 1 1 1
s s6 = + + + 0.368056.
0! 1! 2! 3! 4! 5! 6!
O erro que se comete nesta aproximao menor do que o mdulo do primeiro termo
desprezado:
1
R b7 = = 0.0002.
7!
Como o erro menor do que 0.0002, a estimativa s 0.368056 tem pelo menos 3 casas
decimais corretas.
28
Sries complexas

P
Dada uma srie de nmeros complexos zn podemos considerar a srie de nmeros reais
n=1

X
|zn | = |z1 | + |z2 | + + |zn | +
n=1
cujos termos so os valores absolutos dos termos da srie original.

P
Definio 2.8. Uma srie zn dita absolutamente convergente se a srie dos valores
n=1

P
absolutos |zn | for convergente.
n=1
O teorema seguinte mostra que uma srie absolutamente convergente tambm conver-
gente. Isto significa que podemos usar critrios de convergncia de sries reais para analisar
sries complexas.

P
P
Teorema 2.21. Se a srie zn absolutamente convergente, ento a srie zn con-
n=1 n=1
vergente e
X X
z |zn |.

n

n=1 n=1
Demonstrao. Vamos provar em primeiro lugar que a convergncia absoluta implica con-

P
vergncia para sries de nmeros reais. Seja ento an uma srie de nmeros reais ab-
n=1
solutamente convergente e notemos que 0 an + |an | 2|an |, para todo o n 1. Como

P
P
por hiptese |an | converge, tambm a srie 2|an | converge e, pelo teste de comparao
n=1 n=1

P
para srie de termos positivos, podemos concluir que a srie an + |an | tambm converge.
n=1

P
Mas ento an converge, pois podemos expressar esta srie como a soma de duas sries
n=1
convergentes

X
X
X
an = (an + |an |) |an |.
n=1 n=1 n=1

X
Seja agora zn uma srie absolutamente convergente. Ento, como |Re(zn )| |zn | e
n=1
|Im(zn )| |zn | o critrio de comparao para sries de termos positivos permite concluir

P
P
P
que as sries |Re(zn )| e |Im(zn )| so convergentes. Ou seja, as sries reais Re(zn )
n=1 n=1 n=1

P
e Im(zn ) so absolutamente convergentes logo, pelo que vimos atrs, so tambm con-
n=1

P
vergentes, o que implica a convergncia da srie zn .
n=1
29

Designemos por (sn ) e por (s0n ) as sucesses das somas parciais das sries
P P
zn e |zn |.
n=1 n=1
Pela desigualdade triangular podemos escrever
|sn | := |z1 + z2 + + zn | |z1 | + |z2 | + + |zn | = s0n .

P P
0
Assim, obtemos lim |sn | lim sn , ou seja, zn |zn |.
n=1 n=1
Portanto, convergncia absoluta implica convergncia. No entanto, o reciproco no

vlido, isto , a convergncia de uma srie no significa que esta tambm absolutamente
convergente. Por exemplo, a srie harmnica alternada convergente mas no absoluta-
mente convergente.
Definio 2.9. Uma srie dita simplesmente convergente se for convergente mas no
absolutamente convergente.

P
Teorema 2.22 (Critrio da razo ou dAlembert). Seja zn uma srie de nmeros
n=1
|zn+1 |
complexos tal que lim = ` R+ {0, +}.
|zn |

P
1. Se ` < 1 a srie zn absolutamente convergente.
n=1

P
2. Se ` > 1 ou ` = + a srie zn divergente.
n=1
3. Se ` = 1 nenhuma concluso pode ser retirada sobre a convergncia ou divergncia da

P
srie zn .
n=1
Demonstrao. 1. Suponhamos que ` < 1. Seja L R tal que ` < L < 1. Ento, existe
n0 N tal que
zn+1
zn < L para n > n0 .

Daqui segue que |zn | < |zn0 |Ln para n > n0 . Como a srie |zn0 |Ln convergente, pois
P
n=1
uma srie geomtrica de razo 0 < L < 1, pelo teste de comparao conclumos que a srie
P
|zn | tambm convergente.
n=1
2. Se ` > 1 ou ` = +, ento existe n0 N tal que

zn+1
zn > 1 para n > n0 .

Isto significa que |zn+1 | > |zn | para n > n0 e, portanto, lim |zn | =
6 0. Logo lim zn 6= 0 e pelo

P
teste para a divergncia conclumos que a srie zn divergente.
n=1
30

X
3. A srie-p 1/n2 absolutamente convergente e satisfaz lim |zn+1 /zn | = 1, enquanto
n=1

X
que a srie harmnica 1/n divergente mas tambm satisfaz lim |zn+1 /zn | = 1. Portanto,
n=1
se ` = 1 o teste da razo inconclusivo.

P
Teorema 2.23 (Critrio da raiz ou de Cauchy). Seja zn uma srie de nmeros
p n=1
complexos tal que lim n |zn | = ` R+ {0, +}.

P
1. Se ` < 1 a srie zn absolutamente convergente.
n=1

P
2. Se ` > 1 ou ` = + a srie zn divergente.
n=1
3. Se ` = 1 nenhuma concluso pode ser retirada sobre a convergncia ou divergncia da

P
srie zn .
n=1
Demonstrao. 1. Se ` < 1 seja L R tal que ` < L < 1. Ento, existe n0 N tal que
p
n
|zn | = |zn |1/n < L para n > n0 ,
ou ainda,
|zn | < Ln para n > n0 .

Ln converge, pelo teste de comparao a srie
P P
Como a srie geomtrica |zn | tambm
n=1 n=1
converge.
2. Se ` > 1 ou ` = +, ento existe n0 N tal que
p
n
|zn | = |zn |1/n > 1 para n > n0 .
Isto significa que |zn | > 1n = 1 para n > n0 e, portanto, lim |zn | =
6 0. Logo lim zn 6= 0 e pelo

P
teste para a divergncia conclumos que a srie zn divergente.
n=1

X
X
2
3. A srie-p 1/n absolutamente convergente enquanto que a srie harmnica 1/n
n=1 p n=1
divergente, mas em cada um destes casos temos ` = lim n |zn | = 1.
31
32
Captulo 3
Sries de Fourier
Sries de Fourier so ferramentas importantes para representar funes peridicas. Devem

o seu nome a Jean-Baptiste Joseph Fourier, que as utilizou para solucionar um problema
relacionado com a conduo do calor numa placa de metal.
Definio 3.1. Uma funo f : R R dita peridica de perodo L R se
f (x + L) = f (x), para todo o x R.
Claro que se L um perodo da funo f , ento tambm kL um perodo de f , para

todo o k Z, uma vez que
f (x + kL) = f (x + (k 1)L + L) = f (x + (k 1)L) = = f (x), se k Z+
e
f (x L) = f (x L + L) = f (x).
Portanto, sem perda de generalidade podemos considerar apenas perodos positivos. O
intervalo de regularidade de f qualquer intervalo de comprimento L. Na maior parte dos
casos, vamos considerar os intervalos de regularidade [ L2 , L2 ].
Definio 3.2. Chamamos perodo fundamental de uma funo peridica ao menor dos
perodos positivos. Vamos, no entanto, daqui em diante chamar apenas perodo ao perodo
fundamental.
Exemplo 3.1. As funes sin(x) e cos(x) so peridicas com perodo 2.

Exemplo 3.2. Para cada n N e cada L R \ {0}, fixos, as funes definidas por f (x) =
nx nx 2L
sin e g(x) = cos so peridicas com perodo T = , pois
L L n

n 2L nx nx
f (x + T ) = sin x+ = sin + 2 = sin = f (x)
L n L L
e analogamente g(x + T ) = g(x).
33
Definio 3.3. Uma funo f diz-se seccionalmente contnua no intervalo [L, L] se
tiver neste intervalo apenas um nmero finito de descontinuidades, todas de primeira espcie.
Isto , se f tem um nmero finito de descontinuidade em a1 , a2 , . . . , an , para algum n 0,
com
L = a0 < a1 < a2 < < an < an+1 = L,
contnua em ]ai , ai+1 [, i = 0, 1, . . . , n, e existem os limites laterais
f (a+
i ) := lim+ f (x) e f (a
i ) := lim f (x).
xai xai

Claro que se f contnua em xi ento f (x+
i ) = f (xi ). Sabemos ainda da anlise real
que uma funo seccionalmente contnua em [L, L] integrvel neste intervalo.
Definio 3.4. Seja f uma funo seccionalmente contnua no intervalo [L, L]. Ento a
srie de Fourier de f a srie de funes

a0 X nx nx
+ an cos + bn sin ,
2 n=1
L L
onde os coeficientes de Fourier so dados por

Z L Z L
1 nx 1 nx
an = f (x) cos dx e bn = f (x) sin dx.
L L L L L L
A presena do factor 1/2 na parcela a0 serve para tornar a frmula an vlida para todo
o n 0. Note-se ainda que nesta definio no dito que f (x) a soma da sua srie de
Fourier. Apenas se diz que associada a uma qualquer funo f seccionalmente contnua
no intervalo [L, L], existe uma certa srie chamada srie de Fourier. Coloca-se ento a
questo de saber qual a relao entre f e a sua srie de Fourier. A resposta a esta questo
dada no prximo teorema.
Antes, porm, vamos mostrar como deduzir as frmulas para os coeficientes de Fourier,
comeando com uma funo f peridica de perodo 2, que supomos coincidir com a sua
srie de Fourier no intervalo [, ]:

a0 X
f (x) = + (an cos(nx) + bn sin(nx)), x .
2 n=1
Integrando termo a termo, obtemos

Z Z Z Z
a0 X
f (x)dx = dx + an cos(nx)dx + bn sin(nx)dx . (3.1)
2 n=1
34
Uma vez que Z Z
cos(nx)dx = sin(nx)dx = 0,

segue que Z
1
a0 = f (x)dx.

Multiplicando a equao (3.1) por cos(mx), m 1, obtemos

Z
f (x) cos(mx)dx =

Z Z Z
a0 X
= cos(mx)dx + an cos(nx) cos(mx)dx + bn sin(nx) cos(mx)dx.
2

| {z } n=1 | {z }
=0 =0
Atendendo a que
Z , n = m
cos(nx) cos(mx)dx = ,
0, n 6= m
obtemos ento Z
1
am = f (x) cos(mx)dx, m 1.

Analogamente, multiplicando a equao (3.1) por sin(mx), m 1, obtemos

1
Z
bm = f (x) sin(mx)dx, m 1.

Se a funo f tem perodo diferente de 2, podemos obter a sua srie de Fourier fazendo
uma mudana de varivel. Suponhamos ento que f uma funo seccionalmente contnua
x
em [L, L] com perodo 2L, isto , f (x + 2L) = f (x) para todo o x. Fazendo t = e
L

Lt
f (x) f = g(t),

ento a funo g seccionalmente contnua em [, ], tem perodo 2 e x = L corresponde
a t = . Pelo caso anterior, a srie de Fourier de g ento

a0 X
+ (an cos(nt) + bn sin(nt)) ,
2 n=1
onde Z Z
1 1
an = g(t) cos(nt)dt, bn = g(t) sin(nt)dt.

x
Substituindo a varivel t = , obtemos ento os coeficientes dados na definio.
L
35
Exemplo 3.3. Consideremos a funo definida em [, ] por

0, x < 0
f (x) = .
1, 0 x <
Os coeficientes de Fourier de f so dados por

1 1
Z Z
a0 = f (x)dx = 1dx = 1,
0

1 1
Z Z
1 sin(nx)
an = f (x) cos(nx)dx = cos(nx)dx = = 0, para n 1,
0 n 0
e

Z Z
0, n par

1 1 1 cos(nx)
bn = f (x) sin(nx)dx = sin(nx)dx = = .
0 n 0
2 , n mpar
n
A srie de Fourier de f , ento

a0
+ a1 cos(x) + a2 cos(2x) + + b1 sin(x) + b2 sin(2x) + b3 sin(3x) +
2

1 X 2
= + sin(2k 1)x.
2 n=1 (2k 1)
Teorema 3.1 (Convergncia da srie de Fourier). Seja f uma funo peridica de
perodo 2L. Se f e f 0 forem seccionalmente contnuas no intervalo [L, L], ento a srie de
Fourier de f convergente em R e a sua soma, em cada ponto x, igual mdia aritmtica
dos limites laterais de f ,
f (x+ ) + f (x )
.
2
f (x+ ) + f (x )
Notemos que se f contnua em x, ento f (x+ ) = f (x ) e = f (x), ou
2
seja, a srie de Fourier converge para f (x) nos pontos de continuidade da funo f .
Exemplo 3.4. Consideremos novamente a funo f peridica de perodo 2 definida no
intervalo [, ] por
0, x < 0
f (x) = .
1, 0 x <
fcil verificar que tanto f como a sua derivada so seccionalmente contnuas no intervalo
[, ]. A funo f contnua no ponto x = 1 e descontnua em x = 0, onde tem uma
descontinuidade de primeira espcie. Assim, a sua srie de Fourier, que determinmos no
f (0+ ) + f (0 )
exemplo 3.3, converge para f (1) = 1 no ponto x = 1, e converge para =
2
0+1 1
= no ponto x = 0.
2 2
36
Se f uma funo par em [L, L], isto , se f (x) = f (x) para todo o x [L, L],
ento Z L Z L
f (x)dx = 2 f (x)dx.
L 0
Se f uma funo mpar em [L, L], isto , se f (x) = f (x) para todo o x [L, L],
ento Z L
f (x)dx = 0.
L
Alm disso, o produto de duas funes pares ou de duas funes mpares uma funo
par, enquanto que o produto de uma funo par por uma funo mpar uma funo mpar.
Daqui segue que se f uma funo par no intervalo [, ], ento os coeficientes de Fourier
bn so nulos para n 1, enquanto que se f uma funo mpar em [, ], ento os
coeficientes de Fourier an so nulos para n 0.
Proposio 3.2. 1. Seja f uma funo peridica de perodo 2L, par e seccionalmente con-
tnua em [L, L]. Ento a srie de Fourier de f a srie de cossenos

a0 X nx
+ an cos( ),
2 n=1
L
2
Z
nx
com an = f (x) cos( )dx para n 0.
L 0 L
2. Seja f uma funo peridica de perodo 2L, mpar e seccionalmente contnua em
[L, L]. Ento a srie de Fourier de f a srie de senos

X nx
bn sin( ),
n=1
L
Z
2 nx
com bn = f (x) sin( )dx para n 0.
L 0 L
Exemplo 3.5. Determinemos a srie de Fourier da funo definida por f (x) = |x|, para
1 x 1, e f (x + 2) = f (x) para todo o x. O grfico desta funo est indicado em
baixo.
y
x
-2 -1 1 2
Tanto a funo f como a sua derivada so seccionalmente contnuas no intervalo [1, 1].
Alm disso, notemos que f uma funo par. Determinemos ento os coeficientes an de
37
Fourier de f , com L = 1:
Z 1 Z 0 Z 1
1
a0 = f (x)dx = (x)dx + xdx = 1,
1 1 1 0
e para n 1, temos

Z 1 0, se n par
2
an = f (x) cos(nx)dx = (cos(n) 1) = .
1 n 2
2 4
, se n mpar
n2 2
Assim, a srie de Fourier de f dada por

1 X 4
cos((2k 1)x).
2 n=1 (2k 1)2 2
Por fim, e uma vez que a funo f contnua, podemos escrever

1 X 4
f (x) = cos((2k 1)x), para todo o x.
2 n=1 (2k 1)2 2
As sries de Fourier podem ser usadas para determinar a soma de algumas sries nu-
mricas. Por exemplo, no caso anterior, para x = 0 a srie de Fourier vale f (0) = 0.
Assim,

1 X 4
0= cos(0),
2 n=1 (2k 1)2 2
ou seja,

2 X 1
= .
8 n=1
(2k 1)2 2
A identidade de Parseval, que indicamos de seguida, fornece-nos uma forma de relacionar
os coeficientes de Fourier com a funo que estes descrevem.
Proposio 3.3 (Identidade de Parseval). Seja f : R R uma funo seccionalmente

contnua e peridica de perodo 2L. Ento os seus coeficientes de Fourier verificam a iden-
tidade
a20 X 2 1 L
Z
2
f (x)2 dx.

+ an + b n =
2 n=1
L L
Uma alternativa forma trigonomtrica da srie de Fourier que vimos em cima a sua
forma complexa, que passamos a deduzir. Consideremos ento a srie Fourier de uma funo
f : R R:

a0 X nx nx
f (x) = + an cos + bn sin . (3.2)
2 n=1
L L
38
Usando a frmula de Euler eit = cos(t) + i sin(t), obtemos as frmulas (ver seco 4.3) para
o seno e cosseno reais:
eit + eit eit eit

cos(t) = e cos(t) = .
2 2i
Assim, podemos reescrever a srie de Fourier como
i nx nx i nx nx
a0 X e L + ei L e L ei L
(3.2) = + an + bn
2 n=1
2 2i

a0 X an ibn i nx X an + ibn i nx
+ e L + e L
2 n=1
2 n=1
2

nx nx
X
= c0 + cn e i L + cn ei L ,
n=1
onde Z L
a0 1
c0 = = f (x)dx,
2 2L L
Z L Z L
an ibn 1 nx nx 1 nx
cn = = f (x) cos( ) i sin( )dx = f (x)ei L dx
2 2L L L L 2L L
e
Z L Z L
an + ibn 1 nx
nx 1 nx
cn = = f (x) cos( ) + i sin( ) dx = f (x)ei L dx
2 2L L L L 2L L
Resumindo, temos:
Definio 3.5. Seja f : R R uma funo peridica de perodo 2L. Chama-se forma
complexa da srie de Fourier de f srie
+
nx
X
cn e i L ,
n=
Z L
1 nx
onde cn = f (x)ei L dx.
2L L
39
40
Captulo 4
Funes Analticas
4.1 Funes complexas e continuidade

Uma funo complexa de varivel complexa uma correspondncia
f : A C,
onde A C. O conjunto A o domnio da funo f e o conjunto f (A) = {f (z) : z A}

designado por contradomnio ou imagem de f . Quando no se explicita o domnio de
uma funo f supe-se que este o maior conjunto de nmeros complexos onde a funo f
est definida. No caso particular de A R, dizemos f uma funo complexa de varivel
real. Uma funo real de varivel real uma funo com valores reais e cujo domnio um
subconjunto de R. Como R C, toda a funo real tambm uma funo complexa.
Exemplo 4.1. A expresso z + z1 pode ser determinada para qualquer z C \ {0}, pelo que
define uma funo complexa de domnio Df = C \ {0}.
Exemplos de funes complexas incluem
1. Polinnios: dados nmeros complexos a0 , a1 , . . . , an , com an 6= 0, dizemos que a

funo
p(z) = an z n + + a1 z + a0
um polinmio de grau n.
2. Funes racionais: Se p(z) e q(z) so dois polinmios, chamamos funo racional a

toda a funo da forma
p(z)
r(z) = .
q(z)
3. Funo argumento principal: Arg : C \ {0} ] , ] que a cada complexo no

nulo z faz corresponder o nmero Arg(z).
41
4.1. FUNES COMPLEXAS E CONTINUIDADE
Uma vez que um nmero complexo z pode ser escrito na forma algbrica z = x + iy,
toda a funo complexa f : A C pode ser expressa em termos da sua parte real e parte
imaginria
f (z) = u(z) + iv(z),
com u(z), v(z) R. Denotamos usualmente u e v por Ref e Imf , resp. Como tanto u
como v dependem da varivel complexa x + iy, que pode ser identificada com o seu afixo,
estas funes podem tambm ser vistas como funes reais de duas variveis reais e f pode
escrever-se na forma
f (z) = u(x, y) + iv(x, y).
Assim, toda a funo complexa f pode ser encarada como uma funo de R2 em R2 :
f : A R2 R2
(x, y) 7 (u(x, y), v(x, y))
Definio 4.1. Seja f : A C uma funo complexa e seja z0 um ponto de acumulao

de A. Dizemos que o limite de f quando z tende para z0 o nmero complexo w, e
escreve-se
lim f (z) = w
zz0
se a distncia de f (z) a w puder ser tornada to pequena quanto se queira desde que se
tome z suficientemente prximo de z0 , ou seja, se
> 0 > 0 : z A, 0 < |z z0 | < |f (z) w| < .
Note-se que o ponto z0 pode no pertencer ao domnio da funo f . No entanto,

essencial que z0 seja um ponto de acumulao de A, pois de outro modo existiria > 0 sem
que B(z0 , ) \ {z0 } possusse qualquer ponto de A. Neste caso, a condio |f (z) w| <
seria trivialmente vlida para todo o complexo w.
Exemplo 4.2. Mostremos que

lim |z| = |w|.
zw
Para tal, fixemos > 0. Pretendemos mostrar a existncia de > 0 tal que se z B(w, ) \
{w} = {z : 0 < |z w| < }, ento ||z| |w|| < . Ora uma vez que ||z| |w|| |z w|,
basta tomar := , pois
|z w| < ||z| |w|| |z w| = .
De forma semelhante se pode mostrar que lim z = w, lim Re(z) = Re(w) e que lim Im(z) =
zw zw zw
Im(w).
Teorema 4.1. O limite de uma funo complexa, quando existe, nico.
42
Demonstrao. Suponhamos que existem nmeros complexos w0 , w1 tais que
lim f (z) = w0 e lim f (z) = w1 .

zz0 zz0
Ento, dado > 0 existem 0 , 1 > 0 tais que
0 < |z z0 | < 0 |f (z) w0 | < /2
e
0 < |z z0 | < 1 |f (z) w1 | < /2.
Tomando = min{1 , 2 } vem
|w0 w1 | |f (z) w0 | + |f (z) w1 | < ,
donde se conclui que w0 = w1 .
Uma vez que podemos considerar uma funo complexa como uma funo de R2 em
R2 , podemos exprimir o limite de uma funo complexa como a soma dos limites de duas
funes reais.
Teorema 4.2. Sejam f (z) = u(x, y) + iv(x, y) uma funo complexa de domnio A e z0 =
x0 + iy0 um ponto de acumulao de A. Ento,
lim f (z) = u0 + iv0

zz0
se e s se
lim u(x, y) = u0 e lim v(x, y) = v0 .
(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )
Demonstrao. Suponhamos que lim f (z) = u0 + iv0 . Ento, dado > 0 existe > 0 tal
zz0
que para todo o z A tal que 0 < |z z0 | < se tem |f (z) (u0 + iv0 )| < , isto ,
|(u(x, y) + iv(x, y)) (u0 + iv0 )| < .
Daqui segue que

|u(x, y) u0 | < e |v(x, y) v0 | < .
Como |z z0 | denota a distncia de (x, y) a (x0 , y0 ) em R2 , conclumos que
lim u(x, y) = u0 e lim v(x, y) = v0 .

(x,y)(x0 ,y0 ) (x,y)(x0 ,y0 )
Reciprocamente, dado > 0, existem 0 , 1 > 0 tais que
0 < ||(x, y) (x0 , y0 )|| < 0 |u(x, y) u0 | < /2
43
e
0 < ||(x, y) (x0 , y0 )|| < 1 |v(x, y) v0 | < /2.
Tomando = min{0 , 1 } temos que sempre que 0 < ||(x, y) (x0 , y0 )|| < temos
|(u(x, y) + iv(x, y)) (u0 + iv0 )| = |u(x, y) u0 + i(v(x, y) v0 )|

|u(x, y) u0 | + |(v(x, y) v0 )|

< + = ,
2 2
como pretendido.
Exemplo 4.3. Seja f (z) = z 2 + i. Fazendo z = x + yi, temos f (z) = u(x, y) + v(x, y)i, com
u(x, y) = x2 y 2 e v(x, y) = 2xy + 1. Uma vez que
lim u(x, y) = 0 e lim v(x, y) = 3

(x,y)(1,1) (x,y)(1,1)
obtemos lim f (z) = 3i.

z1+i
Proposio 4.3 (lgebra dos limites). Sejam f e g funes complexas com domnio A e
seja z0 um ponto de acumulao de A. Se f e g tm limites w0 e w1 quando z z0 , ento:
1. f (z) + g(z) tem limite w0 + w1 quando z z0 .
2. f (z)g(z) tem limite w0 w1 quando z z0 .
3. 1/f (z) tem limite 1/w0 quando z z0 , desde que w0 6= 0.
Demonstrao. Semelhante prova da validade da lgebra dos limites para sucesses.
notria a semelhana entre as definies de limite de funes complexas e de funes

reais. Existe, no entanto, uma diferena importante: enquanto que no caso das funes reais
temos lim f (x) = ` se e s se lim f (x) = ` e lim+ f (x) = `, no caso das funes complexas
xx0 xx0 xx0
no h direes privilegiadas. Portanto, devemos ter lim f (z) = w independentemente da
zz0
forma como z se aproxima de z0 . Este facto pode ser utilizado como um critrio para a no
existncia de um limite.
Proposio 4.4. Se lim f (z) = `1 , quando z se aproxima de z0 segundo uma curva, e

zz0
lim f (z) = `2 , `1 6= `2 , quando z se aproxima de z0 segundo uma outra curva, ento no
zz0
existe lim f (z).
zz0
44
Exemplo 4.4. Utilizemos o critrio anterior para mostrar que no existe o limite
z
lim .
z0 z
Para tal, faamos z tender para a origem ao longo do eixo real, isto , z = x + 0i 0.
Para estes pontos temos
z x + yi x
lim = lim = lim = 1.
z0 z y=0,x0 x yi x0 x
Fazendo agora z tender para a origem ao longo do eixo imaginrio, isto , z = 0 + yi 0,

obtemos
z x + yi yi
lim = lim = lim = 1.
z0 z x=0,y0 x yi y0 yi
z
Conclumos assim que lim no existe.
z0 z
Definio 4.2. A funo complexa f : A C contnua em z0 C se z0 A e

lim f (z) = f (z0 ), iso , se o limite existe e igual a f (z0 ).
zz0
Como consequncia da lgebra dos limites para funes complexas, obtemos o seguinte
resultado.
Proposio 4.5. Se f e g so funes contnuas em z0 C, ento tambm so contnuas
em z0 as funes f + g, f g e 1/f (esta ltima desde que f (z0 ) 6= 0).
claro que a funo constante f (z) = c e a funo identidade f (z) = z so contnuas
para todo o z C (basta tomar = na definio). Combinando estes factos com o
resultado anterior conclumos que qualquer polinmio uma funo contnua para todo o
z C. Alm disso, qualquer funo racional p(z)/q(z) contnua em todos os pontos z C,
excepto possivelmente nas razes de q(z).
Uma vez que o limite, quando z tende para z0 , de uma funo f (z) w se e s se o
limite das suas partes reais e imaginrias Re(w) e Im(w), respectivamente, obtemos ainda
o seguinte resultado.
Proposio 4.6. Suponhamos que f (x + yi) = u(x, y) + iv(x, y). Ento f contnua em
x + iy se e s se u e v so contnuas em (x, y).
Por vezes conveniente extender as noes de limite e continuidade de uma funo de

modo a incluir o "ponto no infinito"da seguinte forma:
lim f (z) = w0 dado > 0 existe M > 0 tal que |z| > M |f (z) w0 | < .
z
lim f (z) = dado R > 0 existe > 0 tal que 0 < |z z0 | < |f (z)| > R.
zz0
lim f (z) = dado R > 0 existe M > 0 tal que |z| > M |f (z)| > R.
z
45
4.2. DIFERENCIABILIDADE E CONDIES DE CAUCHY-RIEMANN
4.2 Diferenciabilidade e condies de Cauchy-Riemann

Definio 4.3. Seja f : A C uma funo complexa, com A aberto. Dizemos que f
diferencivel em z0 A se existir o limite
f (z0 + h) f (z0 )
lim , (h C).
h0 h
A este limite chamamos a derivada de f em z0 , que se denota por f 0 (z0 ). Dizemos que f
diferencivel em A se for diferencivel em todos os pontos de A.
Fazendo h = z z0 na definio de derivada de f em z0 , obtemos
f (z0 + h) f (z0 ) f (z) f (z0 )

f 0 (z0 ) = lim = lim .
h0 h zz0 z z0
Definio 4.4. Uma funo f diz-se analtica num ponto z0 se f diferencivel em todos
os pontos de alguma vizinhana de z0 . Se f diferencivel em todos os pontos de um
conjunto aberto A, dizemos que a funo analtica em A. Uma funo analtica em C
tambm se diz inteira.
As regras familiares da derivao de funes reais de varivel real so tambm vlidas

no caso complexo.
Proposio 4.7. Se f e g so funes diferenciveis em z, ento:
1. f + g diferencivel em z e (f (z) + g(z))0 = f 0 (z) + g 0 (z).
2. f g diferencivel em z e (f (z)g(z))0 = f 0 (z)g(z) + f (z)g 0 (z).

0
f 0 (z)g(z) f (z)g 0 (z)

f (z)
3. f /g diferencivel em z (desde que g(z) 6= 0) e = .
g(z) (g(z))2
Demonstrao. Os detalhes da prova seguem da lgebra dos limites e so semelhantes ao

caso real.
A regra da cadeia tambm se verifica no caso complexo.
Proposio 4.8 (Regra da cadeia). Se f diferencivel em z e g diferencivel em f (z),

ento g f tambm diferencivel em z e
(g f )0 (z) = g 0 (f (z)) f 0 (z).
Demonstrao. A prova resulta da definio de derivada e anloga ao caso real.
46
A funo identidade f (z) = z e a funo constante g(z) = c so diferenciveis para todo

o z C, com f 0 (z) = 1 e g 0 (z) = 0. Como um polinmio p(z) = a0 + a1 z + a2 z 2 + + an z n
pode ser construdo usando estas funes e combinaes das alneas da proposio anterior,
conclumos que p(z) diferencivel para todo o z C. Segue que qualquer funo racional
p(z)/q(z) diferencivel em todos os pontos de C, excepto nos zero de q(z).
Proposio 4.9. Se f diferencivel em z0 , ento f contnua em z0 .

f (z) f (z0 )
Demonstrao. Por hiptese, os limites lim e lim (z z0 ) existem e so f 0 (z0 )
zz0 z z0 zz0
e 0, respectivamente. Portanto,
f (z) f (z0 )
lim (f (z) f (z0 )) = lim (z z0 ) = f 0 (z0 ) 0 = 0,
zz0 zz0 z z0
ou seja, lim f (z) = f (z0 ) e f contnua em z0 .
zz0
O recproco deste resultado falso, como se pode verificar com a funo f (z) = Re(z).
J vimos que esta funo contnua em C, mas no possui derivada em nenhum ponto, pois
dado z C, temos
f (z + h) f (z)
lim = 1,
h0 h
quando h = x + i0 0 tende para a origem ao longo do eixo real, e
f (z + h) f (z)
lim = 0,
h0 h
quando h = 0 + iy 0 tende para a origem ao longo do eixo imaginrio.
No caso particular das funes complexas de varivel real
f : A R C,
temos
f (x + h) f (x)
f 0 (x) = lim (h R)
h0 h
Ref (x + h) Ref (x) Imf (x + h) Imf (x)
= lim +i
h0 h h
0 0
= (Ref ) (x) + i(Imf ) (x).
Proposio 4.10 (Regra de LHpital). Sejam f e g funes complexas diferenciveis numa

vizinhana de z0 tais que f (z0 ) = g(z0 ) = 0 e g 0 (z0 ) 6= 0. Ento,
f (z) f 0 (z0 )
lim = 0 .
zz0 g(z) g (z0 )
47
Demonstrao. Uma vez que f (z0 ) = g(z0 ) = 0 podemos escrever
f (z)f (z0 )
f (z) zz0 f 0 (z0 )
lim = lim g(z)g(z = ,
zz0 g(z) zz0 0) g 0 (z0 )
zz0
pois g(z0 ) 6= 0.
z 2 3z
Como aplicao da regra de LHpital, calculemos o limite lim . Fazendo f (z) =
z0 2z
2 0
z 3z e g(z) = 2z, temos f (0) = g(0) = 0 e g (0) = 2 6= 0. Portanto,
z 2 3z f 0 (0) 3
lim = 0 = .
z0 2z g (0) 2
O prximo resultado indica que se uma funo f (z) = u(x, y) + iv(x, y) diferenci-
vel num ponto z, ento satisfaz um par de equaes designadas por equaes de Cauchy-
Riemann.
Teorema 4.11 (Condies de Cauchy-Riemann). Seja f (z) = u(x, y) + iv(x, y) uma

funo complexa diferencivel em z = x + yi. Ento, existem as derivadas parciais de u e v
em (x, y) e satisfazem as condies de Cauchy-Riemann
u v u v
= e = .
x y y x
Demonstrao. Se f diferencivel em z = x + yi, ento existe o limite
f (z + h) f (z)
lim = f 0 (z). (4.1)
h0 h
Escrevendo h = h1 + ih2 , temos
u(x + h1 , y + h2 ) + iv(x + h1 , y + h2 ) u(x, y) iv(x, y)

(4.1) = lim .
h1 +ih2 0 h1 + ih2
Este limite independente da forma como h se aproxima da origem. Faamos ento h tender
para a origem ao longo eixo real, ou seja, com h2 = 0. Obtemos assim
u(x + h1 , y) + iv(x + h1 , y) u(x, y) iv(x, y)

f 0 (z) = lim
h1 0 h1
u(x + h1 , y) u(x, y) v(x + h1 , y) v(x, y)
= lim + i lim
h1 0 h1 h1 0 h1
u v
= (x, y) + i (x, y). (4.2)
x x
48
Fazendo agora h tender para a origem ao longo do eixo imaginrio, ou seja, com h1 = 0,
obtemos
u(x, y + h2 ) + iv(x, y + h2 ) u(x, y) iv(x, y)
f 0 (z) = lim
h2 0 ih2
u(x, y + h2 ) u(x, y) v(x, y + h2 ) v(x, y)
= lim + i lim
h2 0 ih2 h2 0 ih2
1 u v
= (x, y) + (x, y)
i y y
v u
= (x, y) i (x, y). (4.3)
y y
De (4.1) e (4.2) vem
u v v u
f 0 (z) = (x, y) + i (x, y) = (x, y) i (x, y),
x x y y
pelo que
u v u v
= e = .
x y y x
O facto de as condies de Cauchy-Riemann se verificarem num ponto z no significa

que a funo seja diferencivel nesse ponto. Estas condies informam-nos sobre o compor-
tamento do limite quando h 0 segundo o eixo real e segundo o eixo imaginrio, mas no
nos informam sobre o que ocorre segundo outras direes, logo no nos indicam se a funo
diferencivel. No entanto, se f no satisfaz estas condies num certo ponto, podemos con-
cluir que f no diferencivel nesse ponto. As condies de Cauchy-Riemann constituem,
portanto, uma condio necessria mas no suficiente para f ser diferencivel num ponto.
Quando a funo diferencivel estas condies do-nos um mtodo de derivar funes em
que no possvel usar as regras de derivao.
Exemplo 4.5. Seja f (z) = x + 4yi. Apesar de contnua, esta funo no diferencivel em
nenhum ponto uma vez que com u(x, y) = x e v(x, y) = 4y, temos
u v
= 1 6= =4
x y
Exemplo 4.6. Seja f (z) = 2x2 + y + i(y 2 x) e definamos u(x, y) = 2x2 + y e v(x, y) = y 2 x.
Ento
u v
= 4x = 1
x x
u v
=1 = 2y,
y y
e as condies de Cauchy-Riemann so satisfeitas apenas na recta 4x = 2y, ou seja, na recta
y = 2x. Fora desta recta a funo no diferencivel.
49
Pode acontecer que uma funo satisfaa as condies de Cauchy-Riemann em z mas

no seja diferencivel em z. No entanto, acrescentando mais algumas condies s condies
de Cauchy-Riemann podemos garantir a diferenciabilidade da funo em z.
Teorema 4.12 (Condio suficiente de diferenciabilidade). Seja f (z) = u(x, y) +

iv(x, y) uma funo complexa. Se as quatro derivadas parciais de u e v forem contnuas
numa vizinhana de (x, y) e satisfazem as condies de Cauchy-Riemann em (x, y), ento
f diferencivel em (x, y) e
u v v u
f 0 (z) = (x, y) + i (x, y) = (x, y) i (x, y).
x x y y
Demonstrao. Omitida.
Exemplo 4.7. Consideremos novamente a funo f (z) = 2x2 + y + i(y 2 x) analisada no

exemplo 4.6. Vimos que esta funo satisfaz as condies de Cauchy-Riemann sobre a recta
{(x, 2x) : x R}. Alm disso, as derivadas parciais de u e v so funes contnuas em
qualquer ponto de C. Portanto, f diferencivel nesta recta e
u v
f 0 (z) = (x, 2x) + i (x, 2x) = 4x i.
x x
Vamos de seguida descrever algumas consequncias do teorema anterior. Antes, porm,
relembremos alguns resultados de Anlise Real. Seja f : I R uma funo real de varivel
real diferencivel em I R. Se I um intervalo e f 0 (x) = 0 em I, ento f constante em
I. No entanto, se I no for um intervalo no podemos concluir que f seja constante em I,
como se pode comprovar com a funo

2, x (0, 1)
f (x) = .
3, x (3, 4)
Temos f 0 (x) = 0 para todo o x (0, 1) (3, 4), mas f no constante. A funo f apenas
constante nos intervalos (0, 1) e (3, 4).
Para funes f : I R2 R reais de duas variveis reais, pode provar-se que se as
derivadas parciais se anulam
f f
(x, y) = (x, y) = 0
x y
para todos os pontos de I, ento f constante em todo o segmento de recta vertical e
horizontal contido em I.
Teorema 4.13. Seja f : A C uma funo complexa com A aberto e conexo. Se f 0 (z) = 0
em A ento f uma funo constante em A.
50
4.3. FUNES ELEMENTARES
Demonstrao. Sendo f (x + iy) = u(x, y) + iv(x, y), temos

u v
f 0 (z) = (x, y) + (x, y)i = 0 + 0i
x x
v u
= (x, y) (x, y)i = 0 0i.
y y
Portanto, as derivadas de u e v anulam-se em A, pelo que podemos concluir que u e v so
funes constantes em todo o segmento de recta vertical e horizontal contido em A. Como
f (x + iy) = u(x, y) + iv(x, y), tambm f constante em todo o segmento de recta vertical
e horizontal contido em A.
Sejam ento z e w elementos de A. Como A aberto e conexo, existe um caminho
composto por segmentos horizontais e verticais, totalmente contido em A, que une z a w.
Denotemos esses segmentos por
[z, z1 ], [z1 , z2 ], . . . , [zn , w].
Temos ento f (z) = f (z1 ) = f (z2 ) = = f (zn ) = f (w), ou seja, f constante no conjunto
A.
Teorema 4.14. Seja f : A C C uma funo complexa com A aberto e conexo. Se f

diferencivel e Ref (z) constante em A, ento f constante em A.
Demonstrao. Sendo f (x+iy) = u(x, y)+iv(x, y), temos u(x, y) = k para todo o x+yi A.
Assim, as derivadas parciais de u anulam-se em A. Pelas condies de Cauchy-Riemann,
tambm as derivadas parciais de v se anulam em A. Assim, podemos concluir que f 0 (z) = 0
e, pelo teorema anterior, f constante em A.
4.3 Funes elementares

Definio 4.5 (A exponencial complexa). Dado z = x + iy, definimos a exponencial de
z como sendo o nmero complexo
ez = ex (cos(y) + i sin(y)) = ex cos(y) + iex sin(y).
Uma das razes pelas quais natural designar esta funo por exponencial reside no
facto de esta generalizar a exponencial real: se z = x + i0 real,
ex+i0 = ex (cos(0) + i sin(0)) = ex .
Pelas equaes de Cauchy-Riemann, fcil verificar que ez uma funo inteira e que a sua
derivada dada por (ez )0 = ez .
51
O mdulo, argumento e o conjugado de ez so igualmente fceis de determinar a partir

da definio. Escrevendo ez na forma polar
ez = ex (cos(y) + i sin(y)) = r(cos() + i sin()),
temos r = ex e = y + 2n, para n = 0, 1, 2, . . . Como r o mdulo e o argumento de

ez , temos
|ez | = ex e arg(ez ) = {y + 2n, n = 0, 1, 2, . . .}.
Uma vez que ex > 0 para todo o x R, segue que |ez | > 0 para todo o z C, donde se
conclui que ez 6= 0 para todo o z C. No entanto a exponencial complexa pode tomar
valores negativos. Por exemplo, ei = 1. Como a funo seno real mpar e a funo
cosseno real par, temos ainda
ez = ex cos(y) iex sin(y) = ex cos(y) + iex sin(y) = exiy = ez .
Proposio 4.15. Se z1 e z2 so nmeros complexos, ento
1. e0 = 1
2. ez1 ez2 = ez1 +z2

e z1
3. z
= ez1 z2
e 2
4. (ez1 )n = enz1 para n = 0, 1, 2, . . .
Demonstrao. A propriedade 1. consequncia da exponencial complexa generalizar a

exponencial real e a propriedade 4 segue da frmula de De Moivre. Se z1 = x1 + iy1 e
z2 = x2 + iy2 , temos
ez1 ez2 = (ex1 cos(y1 ) + i sin(y1 )) (ex2 cos(y2 ) + i sin(y2 ))

= ex1 +x2 (cos(y1 ) cos(y2 ) sin(y1 ) sin(y2 )) + iex1 +x2 (sin(y1 ) cos(y2 ) + cos(y1 ) sin(y2 ))
= ex1 +x2 cos(y1 + y2 ) + iex1 +x2 sin(y1 + y2 )
= ez1 +z2 .
Relativamente a 3, podemos escrever
e z1 cos(y1 ) + i sin(y1 ) (cos(y1 ) + i sin(y1 ))(cos(y2 ) i sin(y2 ))

z
= ex1 x2 = ex1 x2
e 2 cos(y2 ) + i sin(y2 ) (cos(y2 ) + i sin(y2 ))(cos(y2 ) i sin(y2 ))
= ex1 x2 (cos(y1 ) cos(y2 ) + sin(y1 ) sin(y2 )) + i(sin(y1 ) cos(y2 ) cos(y1 ) sin(y2 )
= ex1 x2 cos(y1 y2 ) + i sin(y1 y2 )
= ez1 z2 .
52
Finalmente a propriedade 4 consequncia da frmula de De Moivre:
(ez1 )n = (ex1 cis(y1 ))n = (ex1 )n cis(ny1 ) = enx1 cis(ny1 ) = enx+iny = enz .
A diferena mais surpreendente entre as exponenciais real e complexa e real reside na

periodicidade de desta ltima. Como as funes seno e cosseno reais so peridicas de
perodo 2, pelo definio de exponencial complexa temos
ez+2i = ez e2i = ez .
Ou seja, a exponencial complexa ez uma funo peridica de perodo 2i.

Fixemos a R. Ento, ea+iy = ea eiy , com y a variar em R, representa a circunferncia de
centro na origem e raio ea . Ou seja, a exponencial complexa transforma as rectas verticais
x = a, a R em circunferncias centradas na origem e raio ea > 0. Como a exponencial
complexa peridica de perodo 2i, ela transforma a banda
{z C : < Im(z) } = {z = x + i C : < , x R},
chamada regio fundamental da exponencial complexa, no conjunto
{ex ei , < , x R} = C \ {0}.
Em particular, conclumos que o contradomnio da exponencial complexa C \ {0}.
O logaritmo complexo
Fixemos um complexo z 6= 0. Se ew = z, ento
|ew | = eRe(w) = |z| e arg(ew ) = Im(w) = arg(z).
Ou seja,
ew = z w = ln|z| + iarg(z), (4.4)
com ln|z| o logaritmo real de |z|. Como h um nmero infinito de argumentos de z, (4.4)
origina um nmero infinito de solues da equao ew = z.
Definio 4.6. Seja z C \ {0}. Ento a funo definida por
log(z) = ln|z| + iarg(z)
designada por logaritmo complexo de z.
53
Portanto, cada nmero complexo z 6= 0 tem uma infinidade de logaritmos, todos com
parte real ln|z|, e diferindo uns dos outros por mltiplos de 2i. Ou seja, se z = rei , temos
log(z) = ln(r) + i( + 2n), n = 0, 1, 2,
As seguintes propriedades do logaritmo complexo seguem da definio e das propriedades

anlogas satisfeitas pelo logaritmo real.
Proposio 4.16. Se z1 , z2 so nmeros complexos no nulos e n N, ento
1. log(z1 z2 ) = log(z1 ) + log(z2 ).
2. log( zz12 ) = log(z1 ) log(z2 ).
3. log(z1n ) = nlog(z1 ).
Quando na expresso do logaritmo complexo se toma o argumento principal de z obtm-

se o chamado logaritmo principal de z.
Definio 4.7. Seja z C \ {0}. A funo definida por
Log(z) = ln|z| + iArg(z)
designada por logaritmo principal de z.
Proposio 4.17. O logaritmo principal a funo inversa da exponencial complexa quando

restrita ao seu domnio fundamental.
Demonstrao. Por definio temos eLog(z) = z, para todo o z 6= 0. Seja ento z = x + iy,
com < y . Como |ez | = ex e Arg(ez ) = y, podemos escrever
Log(ez ) = ln(ex ) + iy = x + iy = z,
ou seja, Log(ez ) = z se < Im(z) .
A igualdade eLog(z) = z verifica-se para todo o nmero complexo no nulo, mas j a

igualdade Log(ez ) = z s se verifica se z pertence regio fundamental da exponencial. Por
exemplo, 1 + 32 i no est nesta regio e
3 3 3
Log e1+ 2 i = ln e + iArg e 2 i = 1 i 6= 1 + i.
2 2
Notemos ainda que o logaritmo principal generaliza o logaritmo real: se x R+ ento
Log(x) = ln|x| + iArg(x) = ln(x).
54
Analisemos de seguida a diferenciabilidade do logaritmo principal. claro que Log(z)

no contnua em z = 0 pois no est definida neste ponto. tambm descontnua no
semi-eixo negativo real, pois se x R , o limite lim Log(z) no existe:
zx
lim Log(z) = lim ln|z| + iArg(z) = ln|z| + i,

zx y0
z=x+yi,y>0 z=x+yi,y>0
enquanto que
lim Log(z) = lim ln|z| + iArg(z) = ln|z| i.

zx y0
z=x+yi,y<0 z=x+yi,y<0
Portanto, Log(z) descontnua em R 0 . Consideremos ento z0 um elemento do conjunto

{z : |z| > 0 e < arg(z) < } e calculemos o limite
Log(z) Log(z0 )
lim . (4.5)
zz0 z z0
Para tal faamos a mudana de varivel Log(z) = w, notando que quando z z0 , temos
w w0 = Log(z0 ). Usando a regra de LHpital, obtemos
1
w w0 1 1
(4.5) = lim = lim = = ,
ww0 ew ew0 ww0 ew ew0 z0
ou seja,
1
(Log(z))0 = para todo o z {z : |z| > 0 e < arg(z) < }.
z
Em particular, Log(z) contnua neste intervalo.
Potncias de expoente complexo

Na seco 1.2 analismos potncias da forma z n e z 1/n para n inteiro e n 2, resp. Vamos
agora considerar potncias da forma z w , onde w um nmero complexo arbitrrio, usando
a igualdade z = elog(z) que, como vimos em cima, vlida para qualquer z 6= 0. Assim, se
n
n Z, por 4 da proposio 4.15 podemos escrever z n = elog(z) = enlog(z) . Vamos usar
esta frmula para definir z w para qualquer w C.
Definio 4.8. Se w C e z 6= 0, ento a potncia complexa z w definida por
z w = ewlog(z) .
Da definio e das propriedades (4.15) da exponencial complexa obtemos a seguinte

proposio.
Proposio 4.18. Se w1 e w2 so nmeros complexos no nulos, ento
55
1. z w1 z w2 = z w1 +w2
z w1
2. w2 = z w1 w2
z
3. (z w1 )n = z nw1 para n = 0, 1, 2,
Em geral, a expresso z w origina um conjunto infinito de valores devido ao logaritmo que

aparece na sua frmula. No entanto, a expresso z n univocamente determinada quando n
um inteiro:
z n = enlog(z) = en(ln|z|+iarg(z)) = enln|z| enarg(z)i .
Se = Arg(z), ento arg(z) = + 2k, com k Z e, portanto,
enarg(z)i = en(+2k)i = eni e2nki .
Mas como en2ki = cos(n2k) + i sin(n2k) = cos(0) + i sin(0) = 1, podemos ento escrever
z n = enln|z| enArg(z)i .
Portanto, quando n Z, a expresso z n tem um s valor: z n = enLog(z) = |z|n enArg(z)i .

Em geral, no entanto, z w representa um conjunto infinito de valores. Podemos fazer
corresponder a z w um nico valor usando o logaritmo principal Log(z) no lugar de log(z)
na definio de z w . A esta funo chamamos valor principal de z w .
Definio 4.9. Se w C e z 6= 0, ento o valor principal da potncia complexa z w

definida por
z w = ewLog(z) .
A funo valor principal de z w no contnua em todo o plano complexo pois a funo

logaritmo principal no contnua em todo o plano. No entanto, como a exponencial
complexa contnua em C e Log(z) contnua no conjunto {z : |z| > 0, < Arg(z) < },
segue que z w contnua neste conjunto. Alm disso, neste conjunto podemos usar a regra
da cadeia para obter a derivada da funo valor principal de z w :
0 w
(z w )0 = ewLog(z) = ewLog(z) (wLog(z))0 = ewLog(z) = wz w1 .
z
Funes trigonomtricas complexas

Se x R, segue da definio 4.5 que
eix = cos(x) + i sin(x) e eix = cos(x) i sin(x). (4.6)
Adicionando estas duas equaes e simplificando, obtemos uma expresso para a funo
cosseno real custa da exponencial complexa:
eix + eix
cos(x) = . (4.7)
2
56
De forma semelhante, subtraindo as duas equaes em (4.6) obtemos uma expresso para a
funo seno real custa da exponencial complexa:
eix eix
sin(x) = . (4.8)
2i
Estas formulas para o seno e para o cosseno reais podem ser usadas para definirmos as
funes seno e cosseno complexos.
Definio 4.10. As funes seno complexo e cosseno complexo so definidas por
eiz eiz eiz + eiz
sin(z) = e cos(z) =
2i 2
para todo o z C.
As equaes (4.7) e (4.8) mostram que o seno e cosseno complexos generalizam as funes
seno e cosseno reais. Tal como no caso real podemos definir a tangente, cotangente, secante
e cossecante complexas:
sin(z) cos(z) 1 1
tan(z) = , cot(z) = , sec(z) = e csc(z) = .
cos(z) sin(z) cos(z) sin(z)
imediato constatar que o seno e o cosseno complexos so funes inteiras, pois so
combinaes lineares da exponencial complexa. Alm disso, usando a regra da derivada da
exponencial, temos
(sin(z))0 = cos(z) e (cos(z))0 = sin(z).
A maioria das identidades satisfeitas pelas funes trigonomtricas reais so tambm vlidas
para as funes trigonomtricas complexas. Listamos na prxima proposio algumas das
mais teis.
Proposio 4.19. Se z e w so nmeros complexos, ento
1. sin(z) = sin(z) e cos(z) = cos(z)
2. cos2 (z) + sin2 (z) = 1
3. sin(z w) = sin(z) cos(w) cos(z) sin(w)
4. cos(z w) = cos(z) cos(w) sin(z) sin(w)

Demonstrao. Fazemos apenas a prova de 2. As restantes provam-se de forma semelhante.
1
cos2 (z) + sin2 (z) = (eiz eiz )2 + (eiz + eiz )2

4
1 2iz
e + 2eiz eiz e2iz + e2iz + eiz eiz + e2iz

=
4
1
= (2 + 2) = 1.
4
57
Por fim, analisemos a periodicidade do seno e do cosseno complexos. Como a exponencial

complexa peridica de perodo 2i temos ez+2i = ez para todo o z C. Substituindo z
por iz nesta equao obtemos eiz+2i = ei(z+2) = eiz . Ou seja, eiz peridica com perodo
2. De forma anloga podemos mostrar que eiz tambm peridica de perodo 2. Daqui
segue facilmente que
sin(z + 2) = sin(z) e cos(z + 2) = cos(z)
para todo o z C. Ou seja, o seno e o cosseno complexos so funes peridicas com

perodo 2.
Funes hiperblicas complexas

As funes seno hiperblico real e cosseno hiperblico real so definidas por
ex ex ex + ex
sinh(x) = e cosh(x) =
2 2
para x R. Definimos o seno hiperblico complexo e o cosseno hiperblico complexo de
forma anloga usando a exponencial complexa.
Definio 4.11. As funes seno hiperblico complexo e cosseno hiperblico com-

plexo so definidas por
ez ez ez + ez
sinh(z) = e cosh(z) =
2 2
para todo o z C.
No caso real no clara a relao existente entre o seno e o cosseno hiperblico e as

funes seno e cosseno ordinrias. No entanto, no caso complexo esta relao imediata,
uma vez que se x R, ento
ei(ix) ei(ix) ex ex
sin(ix) = =i = i sinh(x)
2i 2
e
ei(ix) + ei(ix) ex + ex
cos(ix) = = = cosh(x).
2 2
O seno e o cosseno hiperblico complexos so funes inteiras e verificam
(sinh(z))0 = cosh(z) e (cosh(z)(z))0 = sinh(z).
58
Captulo 5
Integrao de Funes Complexas
5.1 Integrao de funes complexas de varivel real

O conceito de integral de uma funo complexa de varivel real definida num intervalo
[a, b] R uma generalizao imediata do integral real. Seja
f (t) = Ref (t) + iImf (t)
uma funo complexa de varivel real contnua em [a, b]. Chama-se integral de f em [a, b],
Rb
e representa-se por a f (t)dt, ao nmero complexo
Z b Z b Z b
f (t)dt := Ref (t)dt + i Imf (t)dt.
a a a
Como estamos a supor a continuidade de f no intervalo [a, b], o mesmo se passa com as
funes reais de varivel real Ref (t) e Imf (t), pelo que o integral de f em [a, b] existe e
finito. Notemos ainda que
Z b Z b Z b Z b
Re f (t)dt = Ref (t)dt e Im f (t)dt = Imf (x)dt.
a a a a
Z b Z b
tambm fcil verificar que f (t)dt = f (t)dt. A partir dos resultados standard da
a a
integrao real, obtemos as seguintes propriedades.
Proposio 5.1. Sejam f, g : [a, b] C funes complexas de varivel real contnuas em

[a, b]. Ento:
Z b Z b Z b
1. f (t) + g(t)dt = f (t)dt + g(t)dt.
a a a
Z b Z b
2. f (t)dt = f (t)dt, para qualquer C.
a a
59
5.2. INTEGRAIS DE CAMINHO
Z b Z c Z b
3. Se a c b, ento f (t)dt = f (t)dt + f (t)dt.
a a c
Z b
4. Se F for uma primitiva de f , ento f (t)dt = F (b) F (a).
a
As duas primeiras propriedades da proposio anterior dizem-nos que o integral uma

aplicao linear do espao vetorial das funes complexas de varivel real para os nmeros
complexos.
Exemplo 5.1. A funo ieit uma primitiva de eit para t R. Assim, pela proposio
anterior, temos
Z /4 !
/4 2 2
eit dt = ieit 0 = iei/4 + i =

+ 1 i.
0 2 2
A propriedade seguinte til para estimar o valor de um integral de uma funo complexa
de varivel real.
Proposio 5.2. Seja f : [a, b] R uma funo complexa de varivel real contnua em
[a, b]. Ento Z b Z b

f (t)dt |f (t)| dt

a a
Z b
Demonstrao. A desigualdade claramente vlida se f (t)dt = 0. Suponhamos ento
Z b Z b a
i

que f (t)dt = re com r > 0. Ento
f (t)dt = r e podemos escrever
a a
Z b Z b
1
r = i ei f (t)dt
f (t)dt =
e
aZ b a
Z b
i
Re ei f (t) dt

= Re e f (t)dt =
a a
Z b Z b
i i
e f (t) dt = e |f (t)| dt
a a
Z b
= |f (t)| dt.
a
5.2 Integrais de caminho

Definio 5.1. Uma curva em A C uma funo contnua
: [a, b] R A
.
t 7 (t)
60
A (a) chamamos origem e a (b) extremidade da curva. Se (a) = (b), dizemos que a
curva fechada. Ao conjunto tr() := {(t) : t [a, b]} chamamos trao de . A equao
z = (t), t [a, b], diz-se uma parametrizao da curva.
Exemplo 5.2. Consideremos as curvas
1 : [0, 2] C 1 (t) = eit ,

2 : [0, 2] C 2 (t) = e2it .
Notemos que 1 (0) = 1 (2) = 2 (0) = 2 (2) = 1 e que o trao de ambas as curvas a
circunferncia unitria {z C : |z| = 1}. No entanto, as curvas so diferentes. A curva 1
descreve a circunferncia percorrendo-o no sentido contrrio ao dos ponteiros do relgio uma
vez, enquanto que 2 descreve a mesma circunferncia, no mesmo sentido, mas percorrendo-a
duas vezes. Portanto, o trao de uma curva no a define completamente.
Exemplo 5.3. Outra curva importante o segmento de reta que une os pontos z e w no
plano complexo. Uma parametrizao dada por (t) = tw + (1 t)z, para t [0, 1].
Se nada for dito em contrrio, usaremos os smbolos C(u, r) e [z, w] para designar as
parametrizaes u + reit , para 0 t 2, e tw + (1 t)z, para 0 t 1, da circunferncia
de centro u C e raio r > 0, e do segmento de reta [z, w], resp.
Definio 5.2. Uma curva : [a, b] C diz-se simples se no se autointerseta, exceto

possivelmente nas extremidades, i.e., (t1 ) = (t2 ) apenas se t1 = t2 ou {t1 , t2 } = {a, b}.
Se 0 (t) contnua e no nula em ]a, b[, a curva diz-se regular. A curva diz-se seccio-
nalmente regular ou um caminho se existirem t0 = a < t1 < < tn = b tais que
regular em cada um dos intervalos [tk1 , tk ], k = 1, . . . , n.
O sentido de uma curva no fechada : [a, b] C definido como a direo corres-
pondente ao incremento dos valores do parmetro t. A curva : [a, b] C definida por
(t) = (a+bt) e designada por curva oposta, tem o mesmo trao de , mas descreve-o
no sentido oposto.
O sentido positivo de uma curva simples fechada definido como correspondente ao
sentido contrrio dos ponteiros do relgio. A direco oposta ao sentido positivo diz-se o
sentido negativo da curva.
Dado uma curva : [a, b] A consideremos uma bijeco crescente : [c, d] [a, b].
Ento : [c, d] A uma curva em A com a mesma origem, extremidade, trao e
sentido da curva . Dizemos que obtido de por mudana de parmetro.
Nota 5.1. Sendo [a, b] um qualquer intervalo, a funo : [0, 1] [a, b] definida por (t) =
(1 t)a + bt uma bijeco crescente. Atravs desta bijeco podemos considerar qualquer
caminho, por mudana de parmetro, definido no intervalo [0, 1], ou em qualquer outro
intervalo.
61
Consideremos duas curvas 1 e 2 definidas por
1 : [a, b] C e 1 : [b, c] C,
e tais que 1 (b) = 2 (b), isto , a extremidade de 1 coincide com a origem de 2 . Ento,
podemos definir a sua soma
1 + 2 : [a, c] C
(t),
1 se t [a, b]
t 7 .
2 (t), se t [b, c]
Definio 5.3. O comprimento de um caminho C dado pelo integral
Z b
L() = | 0 (t)| dt,
a
onde z = (t), t [a, b], uma qualquer parametrizao de C.

Notemos que efetuando a mudana de varivel t = (s), com : [c, d] [a, b] uma
bijeco crescente, obtemos dt = 0 (s)ds e ento
Z d Z d
0 0 ( )0 (s) ds.

L() = | ((s))| (s)ds =
c c
Ou seja, o comprimento de uma curva no depende da parametrizao usada.

Exemplo 5.4. O caminho (t) = re2it , 0 t 2, tem comprimento comp() = 4r, pois
Z 2 Z 2
2it

L() = 2rie dt = 2rdt = 4r.
0 0
Definio 5.4 (Integral de caminho). Seja f : A C uma funo contnua, com A C,

e seja : [a, b] A um caminho em A. Define-se o integral de f ao longo de como sendo
o nmero complexo Z Z b
f (z)dz = f ((t)) 0 (t)dt.
a
Notemos que para o integral existir, a funo f tem de estar definida no trao de e,
para o clculo desse integral, s interessam os valores de f nessa conjunto. Notemos ainda
que o integral do segundo membro o integral de uma funo complexa de varivel real, j
tratado na seco anterior. fcil verificar que o integral no depende da parametrizao
considerada. Se : [c, d] [a, b] uma bijeco crescente ento, efetuando a mudana de
varivel t = (s), temos dt = 0 (s)ds e
Z Z b Z d
0
f (z)dz = f ((t)) (t)dt = f (((s))) 0 ((s)) 0 (s)ds
a c
Z d Z
0
= f ( (s))( ) (s)ds = f (z)dz.
c
62
O integral de uma funo complexa ao longo de caminhos generaliza o integral de funes

de varivel real em intervalos, pois (t) = t, a t b, uma parametrizao para o intervalo
[a, b] e ento
Z Z b
f (z)dz = f (t)dt.
a
As seguintes propriedades seguem facilmente das definies e da proposio 5.1.
Proposio 5.3. Sejam f, g funes complexas contnuas no conjunto A C, C e

, 1 dois caminhos em A tais que a extremidade de coincide com a origem de 1 . Ento:
Z Z Z
1. f (z) + g(z)dz = f (z)dz + g(z)dz.

Z Z
2. f (z)dz = f (z)dz.

Z Z Z Z Z
3. f (z)dz = f (z)dz + f (z)dz e f (z)dz = f (z)dz.
+1 1
Se f : A C C uma funo contnua e a derivada de uma funo analtica F (z)

em A, diremos que F uma primitiva ou antiderivada de f em A.
Teorema 5.4 (Teorema Fundamental do Clculo). Sejam f uma funo contnua

definida em A C e : [a, b] A um caminho em A. Se F uma primitiva de f em A,
ento Z
f (z)dz = F ((b)) F ((a)).

Demonstrao. Comecemos por notar que se F uma primitiva de f em A, ento a funo

F uma primitiva de (f ) 0 em A. Assim,
Z Z b
f (z)dz = f ((t)) 0 (t)dt = [F (t)]ba = F ((b)) F ((a)).
a
Em particular, se f possui uma primitiva em A e C um caminho fechado contido em

A, ento Z
f (z)dz = 0.
C
63
5.3. TEOREMA DE CAUCHY-GOURSAT
Z
1
Exemplo 5.5. O integral k
dz = 0 para k 2, pois C(u, r) um caminho
C(u,r) (z u)
(z u)k+1 1
fechado e uma primitiva de . Notemos no entanto que
k + 1 (z u)k
Z Z 2 Z 2
1 1 it
dz = ire dt = idt = 2i.
C(u,r) z u 0 u + reit u 0
Terminamos esta seco com uma estimativa para o valor do integral de uma funo
complexa ao longo de um caminho, obtida como consequncia da proposio 5.2.
Proposio 5.5 (Desigualdade M L). Sejam f uma funo contnua definida em A C

e : [a, b] A um caminho em A. Ento
Z

f (z)dz M L(),

onde M = max{|f (z)| : z tr()}.
Demonstrao. Comecemos por notar que o nmero real M existe pois estamos a assumir
que f ((t)) uma funo contnua no intervalo fechado [a, b]. Assim, pela definio de
integral de caminho e pela proposio 5.2, podemos escrever
Z Z b
|f ((t)) 0 (t)|dt

f (z)dz

a
Z b
M | 0 (t)|dt
a
Z b
=M | 0 (t)|dt
a
= M L().
5.3 Teorema de Cauchy-Goursat

O teorema de Jordan diz que uma curva simples fechada, orientada positivamente, divide
o plano complexo em dois conjuntos disjuntos: um interior curva, limitado e denotado
por int(), e o outro exterior, ilimitado e denotado por ext(). A prova deste resultado
no-trivial e no ser apresentada aqui.
Uma regio D C diz-se simplesmente conexa se o interior de qualquer curva po-
ligonal simples e fechada em D estiver contido em D. Por outras palavras, uma regio
simplesmente conexa no tem partes separadas e no tem "buracos".
64
O teorema de Cauchy, tambm conhecido como teorema de Cauchy-Goursat, um dos

resultados fundamentais da Anlise Complexa. Este resultado estabelece que o integral de
uma funo analtica numa regio simplesmente conexa, ao longo de um caminho fechado
contido nessa regio, zero. Foi obtido por Cauchy em 1825 com a condio de f 0 ser
contnua. Em 1883 Goursat apresentou uma prova para o teorema de Cauchy que no
requere a continuidade de f 0 . Esta verso modificada do teorema de Cauchy hoje conhecida
como teorema de Cauchy-Goursat.
Teorema 5.6 (Teorema de Cauchy-Goursat). Seja f uma funo analtica numa regio
D simplesmente conexa e seja um caminho fechado contido em D. Ento,
Z
f (z)dz = 0.

Demonstrao. Veja-se [2] ou [6].
Como o interior de um caminho simples uma regio simplesmente conexa, segue do

teorema de Cauchy-Goursat que se f uma funo analtica em todos os pontos da unio
de tr() com o seu interior, ento
Z
f (z)dz = 0.

Podemos assim concluir que o integral de uma funo que seja diferencivel em todo o plano
complexo se anula qualquer que seja o caminho simples fechado . Em particular,
Z Z Z Z
z
e dz = sin(z)dz = cos(z)dz = p(z)dz = 0,

onde p(z) um qualquer polinmio.

z 5 + 2z + 3
Exemplo 5.6. A funo racional f (z) = diferencivel em C \ {1 i, 1 + i}, pois
z 2 2z + 2
estes nmeros anulam o denominador de f (z). Assim,
Z
f (z)dz = 0,
C(0,1)
pois os pontos 1 i e 1 + i esto fora da circunferncia de centro 0 e raio 1.
Proposio 5.7 (Independncia do caminho). Seja f uma funo analtica numa regio
D simplesmente conexa. Se 1 e 2 so caminhos em D com a mesma origem e extremidade,
ento Z Z
f (z)dz = f (z)dz.
1 2
65
Demonstrao. Consideremos o caminho fechado 1 + (2 ) e notemos que este caminho

pode no ser simples. Faremos a demonstrao apenas para o caso em que este caminho
simples, embora o resultado seja verdadeiro se no for simples. Como f analtica em tr()
e no seu interior, segue do teorema da Cauchy-Goursat que
Z Z Z
0= f (z)dz = f (z)dz f (z)dz.
1 +(2 ) 1 2
Z Z
Ou seja, f (z)dz = f (z)dz.
1 2
Definio 5.5. Um ponto z0 C diz-se uma singularidade da funo f se f no possui de-

rivada em z0 . O ponto z0 diz-se uma singularidade isolada de f se z0 uma singularidade
de f e f analtica em algum conjunto {z C : 0 < |z z0 | < r}, com r R+ .
Proposio 5.8 (Teorema da deformao do caminho). Sejam 1 e 2 caminhos

simples fechados numa regio D, com a mesma orientao, e tais que tr(2 ) est contido no
interior de 1 . Se f uma funo analtica em tr(1 ) tr(2 ) e no conjunto compreendido
entre os dois caminhos, ento
Z Z
f (z)dz = f (z)dz.
1 2
Demonstrao. Sejam a e b a origem (e extremidade) de 1 e 2 , respectivamente. Con-

sideremos um caminho unindo o ponto a ao ponto b, e totalmente contido entre 1 e
2 :
1
2
a b
Consideremos ento o caminho fechado e = 1 + + (2 ) + (). Como f analtica

no interior de
e, temos
Z Z Z Z Z
0 = f (z)dz = f (z)dz + f (z)dz + f (z)dz + f (z)dz

e 1 2
Z Z Z Z
= f (z)dz + f (z)dz f (z)dz f (z)dz
1 2
Z Z
= f (z)dz f (z)dz.
1 2
Z Z
Ou seja, f (z)dz = f (z)dz.
1 2
66
O resultado anterior conhecido como o teorema da deformao do caminho pois pode-

mos pensar em 2 como uma deformao contnua do caminho 1 . Notemos que se f no
tem singularidades dentro de 1 ento o caminho 1 pode ser deformado at ao caminho
constante e, nesse caso, o integral anula-se.
Exemplo 5.7. Seja um caminho fechado cuja imagem o quadrado com vrtices 3 3i.
1
Como a funo zi tem apenas uma singularidade no ponto i, podemos escrever
Z Z
1 1
dz = dz = 2i,
z i C(i,1) z i
1
pois zi
no possui singularidades entre e C(i, 1), ou seja, diferencivel neste conjunto.
O prximo resultado permite-nos calcular integrais ao longo de caminhos fechados dentro
dos quais a funo integranda possui um nmero finito de singularidades.
Teorema 5.9 (Generalizao do teorema de Cauchy). Seja f uma funo definida

numa regio D e seja um caminho fechado simples contido em D, orientado positivamente.
Se as singularidades de f dentro de so z1 , . . . , zp , ento
Z p Z
X
f (z)dz = f (z)dz,
k=1 C(zk ,r)
para r > 0 tal que as p circunferncias esto contidas no interior de e so disjuntas duas
a duas.
Demonstrao. A prova segue os mesmos passos da demonstrao do teorema da deformao

do caminho.
Z
1
Exemplo 5.8. Calculemos o valor do integral dz. Uma vez que z 2 + 1 = (z +
C(0,4) + 1 z2
i)(z i), a funo f (z) = z21+1 dz tem singularidades nos pontos i, os quais se encontram
dentro da circunferncia C(0, 4). Assim, podemos escrever
Z Z Z
1 1 1
2
dz = 2
dz + 2
dz.
C(0,4) z + 1 C(i,1) z + 1 C(i,1) z + 1
Relativamente ao primeiro integral do segundo membro da igualdade anterior, temos

i/2
Z Z Z
1 1 i/2
2
dz = dz = + dz
C(i,1) z + 1 C(i,1) (z i)(z + i) C(i,1) z i z+i
i
Z Z
1 i 1
= dz + dz
2 C(i,1) z i 2 C(i,1) z + i
i
= 2i + 0,
2
67
5.4. FRMULAS INTEGRAIS DE CAUCHY
1
visto que a funo z+i no tem singularidades dentro da circunferncia C(i, 1). Analoga-
mente se conclui que Z
1 i
2
dz = 2i,
C(i,1) z + 1 2
pelo que Z
1
dz = 0.
C(0,4) z2 +1
5.4 Frmulas integrais de Cauchy

O prximo resultado estabelece o valor de uma funo f num ponto z em funo dum
integral ao longo de um caminho. Pode tambm ser usado para calcular o valor do integral
de um quociente f (z)/(z z0 ) com uma singularidade isolada em z0 ao longo de um caminho
que contenha o ponto z0 .
Teorema 5.10 (Frmula integral de Cauchy). Suponhamos que f uma funo ana-
ltica numa regio simplesmente conexa D e que um caminho simples e fechado em D,
orientado positivamente. Ento, para qualquer z0 int(), temos
Z
1 f (z)
f (z0 ) = dz.
2i z z0
Demonstrao. Pelo teorema da deformao do caminho, podemos escrever

Z Z
f (z) f (z)
dz = dz,
z z0 C(z0 ,r) z z0
onde r > 0 tal que a circunferncia C(z0 , r) se encontra no interior de . Assim,
f (z0 ) f (z0 ) + f (z)

Z Z
f (z)
dz = dz
C(z0 ,r) z z0 C(z0 ,r) z z0
f (z) f (z0 )
Z Z
1
= f (z0 ) dz + dz. (5.1)
C(z0 ,r) z z0 C(z0 ,r) z z0
Pelo exemplo 5.5, sabemos que

Z
1
dz = 2i,
C(z0 ,r) z z0
logo (5.1) torna-se
f (z) f (z0 )
Z Z
f (z)
dz = f (z0 )2i + dz. (5.2)
C(z0 ,r) z z0 C(z0 ,r) z z0
68
Como f contnua em z0 , para qualquer > 0 existe > 0 tal que |f (z) f (z0 )| < sempre
que |z z0 | < . Em particular, se escolhermos o raio da circunferncia C(z0 , r) como sendo
r < , pela desigualdade M L obtemos
Z
f (z) f (z0 )
dz 2r = 2.

C(z0 ,r) z z0 r
Como arbitrrio, segue que o integral anterior zero e, portanto,

Z
f (z)
dz = f (z0 )2i.
C(z0 ,r) z z0
ez
Z
Exemplo 5.9. Consideremos o integral dz. Uma vez que a exponencial complexa
C(0,1) z
no tem singularidades dentro de C(0, 1), temos
ez
Z
dz = e0 2i = 2i.
C(0,1) z
Teorema 5.11 (Frmula integral de Cauchy para derivadas). Suponhamos que f

uma funo analtica numa regio simplesmente conexa D e que um caminho simples e
fechado em D, orientado positivamente. Ento f tem derivada de todas as ordens em D e,
para quaisquer n N e z0 int(), temos
Z
(n) n! f (z)
f (z0 ) = dz.
2i (z z0 )n+1
Demonstrao. Veja-se [2].
Exemplo 5.10. Consideremos o integral

Z
z+1
dz.
C(0,1) z4
+ 2iz 3
A funo integranda tem singularidades nos pontos 0 e 2i, pois z 4 2iz 3 = z 3 (z + 2i), mas
apenas o ponto 0 se situa no interior da circunferncia C(0, 1). Assim, podemos escrever
Z Z z+1
z+1 z+2i
4 3
dz = 3
dz,
C(0,1) z + 2iz C(0,1) z
z+1
onde a funo g(z) = z+2i no tem singularidades no interior de C(0, 1). Uma vez que
00 24i
g (0) = (2i)3 , obtemos ento
2 4i
Z
z+1 2i 00
4 3
dz = g (0) = i .
C(0,1) z + 2iz 2! (2i)3
69
Segue do teorema anterior que uma funo analtica numa regio D admite nessa regio
derivadas de todas as ordens. Analisamos de seguida mais algumas das mais importantes
consequncias das frmulas integrais de Cauchy.
Teorema 5.12 (Desigualdade de Cauchy). Suponhamos que f analtica numa regio

simplesmente conexa D e que a circunferncia C(z0 , r) est contida em D. Se |f (z)| M
para todo o z C(z0 , r), ento
f (z0 ) n!M
(n)
para todo o n 0.
rn
Demonstrao. Por hiptese, para z sobre a circunferncia C(z0 , r) temos

f (z) |f (z)| M
(z z0 )n+1 = rn+1 rn+1 .

Usando a frmula integral de Cauchy para derivadas e a desigualdade M L, obtemos

Z
(n)
f (z0 ) = n! f (z) n! M 2r = n!M .

dz
2 C(z0 ,r) (z z0 )n+1 2 rn+1
rn
Teorema 5.13 (Teorema de Liouville). As nicas funes inteiras e limitadas so as

funes constantes.
Demonstrao. Suponhamos que f uma funo inteira e limitada. Ento, existe M > 0
tal que |f (z)| M para todo o z C. Tomemos uma circunferncia centrada no ponto
z0 com raio r > 0. A desigualdade de Cauchy diz-nos que |f 0 (z0 )| M/r. Uma vez que
podemos tomas r to grande quanto queiramos, podemos concluir que f 0 (z0 ) = 0 para todos
os pontos z0 C. Pelo teorema 4.13, a funo f constante em C.
Teorema 5.14 (Teorema fundamental da lgebra). Qualquer polinmio no constante

p(z) tem pelo menos uma raiz em C.
Demonstrao. Suponhamos que o polinmio no constante p(z) = a0 +a1 z+a2 z 2 + +an z n

no tem razes em C. Definamos a funo inteira f (z) = 1/p(z). Como
1
|f (z)| =
|a0 + a1 z + a2 z 2 + + an z n |
1
= n n n1
|z| |a0 /z + a1 /z + + an1 /z + an |
constatamos que |f (z)| 0 quando |z| . Conclumos assim que f limitada. Pelo
teorema de Liouville, segue que f constante, e portanto tambm p constante. Como este
facto contradiz a nossa suposio, conclumos que p tem pelo menos uma raiz em C.
70
Captulo 6
Sries de Potncias
6.1 Srie de potncias

Definio 6.1. Sejam z0 C e (an ) uma sucesso de nmeros complexos. Uma srie de
potncias de z z0 com coeficientes a0 , a1 , . . ., uma srie da forma

X
an (z z0 )n = a0 + a1 (z z0 ) + a2 (z z0 )2 +
n=0
Esta srie diz-se centrada em z0 e este ponto designa-se por centro da srie. Convencio-
namos definir (z z0 )0 = 1 mesmo quando z = z0 .
Uma srie de potncia apenas um exemplo de uma srie de nmeros complexos, onde
o termo geral da forma an (z z0 )n . Notemos que a convergncia da srie depende do
valor de z. Se a srie converge para todo o z D C, ento a srie define uma funo no
conjunto D.
X
Exemplo 6.1. A srie geomtrica z n uma srie de potncias centrada em z0 = 0, e
n=1
1
coincide com a funo f (z) = no disco |z| < 1. Fora deste disco a srie diverge.
1z
n
X z
Exemplo 6.2. J a srie converge absolutamente para todo o z C. Podemos
n=0
n!
confirma-lo aplicando o teste da razo:
n+1
= lim |z| = 0.
z n!
lim
(n + 1)! z n n+1
Como este limite inferior a 1, a srie absolutamente convergente em C e, portanto, define
uma funo em C.
Uma srie de potncias de z z0 converge, pelo menos, no ponto z0 . O proximo resultado
descreve os possveis casos de convergncia de uma srie de potncias.
71
6.1. SRIE DE POTNCIAS

an (z z0 )n , trs situaes podem ocorrer:
P
Teorema 6.1. Dada uma srie de potncias
n=0
1. A srie converge apenas para z = z0 .
2. A srie converge para qualquer z C.
3. Existe um R > 0 tal que a srie converge absolutamente se |z z0 | < R e diverge se

|z z0 | > R.

X
X
n
Demonstrao. suficiente mostrar que se an (z1 z0 ) converge, ento an (z z0 )n
n=0 n=0
converge absolutamente para todo o z tal que |z z0 | < |z1 z0 |. Suponhamos ento que
X
an (z1 z0 )n converge e que z satisfaz |z z0 | < |z1 z0 |. Pela condio necessria de
n=0
convergncia, sabemos que an (z1 z0 )n 0. Portanto, existe M > 0 tal que
|an (z1 z0 )n | < M para todo o n 0.
Mas ento
|z z0 |n
|an (z z0 )n | = |an (z1 z0 )n | < M bn ,
|z1 z0 |n

|z z0 | X
onde b = < 1. Como M bn uma srie geomtrica (real) convergente, conclumos
|z1 z0 | n=0
X
pelo teste de comparao que a srie an (z z0 )n convergente.
n=0
Ao nmero real R chama-se raio de convergncia da srie e estende-se a definio

dizendo que R = 0 na situao (1) e R = na situao (2). No caso R > 0, nada se pode
dizer em geral sobre a natureza da srie sobre os pontos da circunferncia |z z0 | = R. A
bola aberta {z C : |z z0 | < R} chama-se disco de convergncia da srie. Neste disco,
X
a srie define uma funo f (z) = an (z z0 )n , para z D
n=0
No caso de sries de potncias de nmeros reais, quando R > 0 o disco de convergncia
|x x0 | < R reduz-se ao intervalo ]x0 R, x0 + R[. A convergncia nos extremos deste
intervalo tem de ser verificada diretamente.
X
Proposio 6.2. Suponhamos que a srie de potncias an (z z0 )n tem raio de conver-
n=0
gncia R > 0 e seja D o seu disco de convergncia. Consideremos ainda a funo f : D C
definida por

X
f (z) = an (z z0 )n .
n=0
Ento:
72
6.2. SRIE DE TAYLOR
1. A funo f analtica em D e

X
0
f (z) = nan (z z0 )n1 .
n=1
Consequentemente, f tem derivadas de todas as ordens e, para todo o k N tem-se

f (k) (z0 ) = k!ak .
2. Para qualquer caminho contido em D, tem-se

Z
X Z
f (z)dz = an (z z0 )n dz.
n=0
3. A derivao termo a termo e integrao termo a termo conservam o raio de conver-

gncia.
Note-se que, no caso de sries de potncias reais, o caminho da alnea 2 da proposio

anterior reduz-se a um intervalo [a, b] contido no disco de convergncia (ele prprio um
intervalo) da srie.
6.2 Srie de Taylor

Se uma funo se puder escrever como a soma de uma srie de potncias numa certa regio,
as operaes de derivao e integrao tornam-se muito simples, pois como vimos na propo-
sio 6.2, uma srie de potncias pode ser derivada ou integrada termo a termo. Alm disso,
a srie fornece uma aproximao da funo por polinmios. Vamos nesta seco analisar em
que circunstncias uma funo pode ser representada por uma srie de potncias. Notamos
que neste contexto h diferenas importantes entre funes reais e funes complexas. Apre-
sentaremos os resultados para funes complexas, analisando o caso real parte sempre que
existirem diferenas no comportamento das funes.

X
Seja f a funo soma da srie de potncias an (z z0 )n definida no interior do seu
n=0
disco de convergncia D = |z z0 | < R, com R > 0. Vimos no ponto 1 da proposio 6.2
que a funo f admite derivadas de qualquer ordem em D e
f (n) (z0 )
an = .
n!
Deste resultado conclu-se que uma funo f no pode ser a soma de duas sries de
potncias de z z0 diferentes com raio de convergncia no nulo, pois da igualdade

X
X
n
f (z) = an (z z0 ) = bn (z z0 )n
n=0 n=0
73
6.2. SRIE DE TAYLOR
obtemos
f (n) (z0 )
an = b n = , para todo o n 0.
n!
Definio 6.2 (Srie de Taylor). Seja f uma funo analtica no disco |z z0 | < R. A
srie de Taylor de f centrada em z0 a srie de potncias dada por

X f (n) (z0 )
(z z0 )n .
n=0
n!
No caso particular z0 = 0 d-se o nome de srie de Maclaurin de f srie

X f (n) (z0 )
zn.
n=0
n!
O termo geral da sucesso das somas parciais

n
X f (k) (z0 )
sn (z) = (z z0 )k
k=0
k!
chama-se polinmio de Taylor de grau n de f no ponto z0 .
Dada uma qualquer funo com derivadas de qualquer ordem em z0 , podemos sempre
construir a sua srie de Taylor. Coloca-se ento a questo de saber qual a relao entre
a funo f e a sua srie de Taylor. No teorema seguinte, prova-se que no caso de funes
complexas, uma funo analtica num disco a representada pela sua srie de Taylor.
Veremos adiante que o caso de funes reais muito diferente.
Teorema 6.3 (Teorema de Taylor). Seja f uma funo analtica em D C e seja

z0 D. Ento

X f (n) (z0 )
f (z) = (z z0 )n
n=0
n!
para z no maior disco aberto centrado em z0 e contido em D.
O teorema de Taylor diz-nos que se soubermos os valores f (z0 ), f 0 (z0 ), f 00 (z0 ), . . . (apenas
no ponto z0 ), conhecemos o valor de f (z) em qualquer ponto do disco de convergncia da
sua srie de Taylor. O raio de convergncia da srie de Taylor de uma funo f pode ser
obtido aplicando o teste da razo srie dos mdulos. No entanto, pelo resultado anterior,
temos que o raio de convergncia igual distncia do centro z0 da srie singularidade
de f mais prxima de z0 .
74
6.2. SRIE DE TAYLOR
Exemplo 6.3. A exponencial complexa ez uma funo inteira e todas as suas derivadas em
torno do ponto 0 so iguais a 1, pelo que a srie de Maclaurin desta funo em torno da
origem dada por
n
X z
ez = para todo o z C.
n=0
n!
igualmente fcil verificar que para todo o z C,

X
n z 2k+1 X
n z 2k
sin z = (1) e cos z = (1)
n=0
(2k + 1)! n=0
(2k)!
1
Exemplo 6.4. Determinemos a srie de Taylor da funo f (z) = em torno do ponto
2z 3
z0 = 2. Podemos usar a frmula para os coeficientes da srie de Taylor para determinar

X f (n) (2)
(z 2)n . Um mtodo alternativo, menos fastidioso, consiste em escrever f como
n=0
n!
uma srie geomtrica e usar o resultado do exemplo 6.1. Notemos que
1 1 1
f (z) = =
2z 3 2 z 32
1 1
=
2 (z 2) + 21
1
=
2(z 2) + 1
1
=
1 (2(z 2))
X
X
n
= (2(z 2)) = (2)n (z 2)n .
n=0 n=0
Esta srie converge absolutamente para z tal que |2(z 2)| < 1, ou seja, para |z 2| < 1/2,
pelo que o seu raio de convergncia r = 1/2. Tendo em conta a unicidade da representao
de uma funo pela sua srie de Taylor, temos que

X
f (z) = (2)n (z 2)n
n=0
1
no disco de convergncia D = {z C : |z 2| < }. Notemos que o raio de convergncia
2
r = 1/2 igual distncia entre o centro z0 = 2 da srie e a nica singularidade z = 3/2
da funo f .
O teorema de Taylor no caso de funes reais

A afirmao do Teorema de Taylor falsa no contexto das funes reais de varivel real. Uma
funo de varivel real f , mesmo indefinidamente diferencivel, no tem necessariamente
75
6.3. SRIE DE LAURENT E O TEOREMA DOS RESDUOS
uma representao em srie de Taylor convergente. Por exemplo, a funo

e1/x2 , se x 6= 0
f (x) =
0, se x = 0
satisfaz f (n) (0) = 0 para todo o n 0, pelo que a sua srie de Taylor a srie nula
0 + 0x + 0x2 + = 0. Portanto, f no coincide com a sua srie de Taylor em nenhuma
vizinhana de 0.
No entanto, pela unicidade da representao de uma funo pela sua srie de Taylor,
X
conclui-se que se f for a soma de uma srie de potncias an (x x0 )n numa vizinhana
n=0
de x0 , ento essa a sua srie de Taylor.
Proposio 6.4 (Frmula de Taylor com resto de Lagrange). Seja f :]a, b[ R uma funo
que admite derivadas contnuas em ]a, b[ at ordem n + 1 e seja x0 ]a, b[. Ento para
qualquer x ]a, b[, existe c estritamente entre x e x0 tal que
f 00 (x0 ) f (n) (x0 )

f (x) = f (x0 ) + f 0 (x0 )(x x0 ) + (x x0 )2 + + (x x0 )n + rn (f, x0 ),
2! n!
onde
f (n+1) (c)
rn (f, x0 ) = (x x0 )n+1 .
(n + 1)!
A rn (f, x0 ) chama-se resto de Lagrange da Frmula de Taylor de ordem n, e o polinmio
P( f, x0 ) = f (x) rn (x) designa-se por polinmio de Taylor de f de grau n no ponto x0 .
Notemos que a sucesso das somas parciais da srie de Taylor de uma funo f em torno
de x0 dada por sn = Pn (f, x0 ). Assim, a srie de Taylor de f converge para f (x) se e s
se lim rn (f, x0 ) = lim(f (x) Pn (f, x0 )) = 0.
6.3 Srie de Laurent e o teorema dos resduos

Se f tem uma singularidade no ponto z0 ento no pode ser expandida em srie de potncias
centrada em z0 . No entanto, se z0 for uma singularidade isolada, possvel represent-la
por uma srie envolvendo potncias positivas e negativas de z z0 . Por exemplo, a funo
1
f (z) = tem uma nica singularidade no ponto z0 = 1. Assim, podemos escrever
1z
0 1
f (z) = + + + 0 + 0 (z 1) + 0 (z 1)2 +
(1 z)2 1 z
Esta srie absolutamente convergente para 0 < |1 z| < .
76
6.3. SRIE DE LAURENT E O TEOREMA DOS RESDUOS
Teorema 6.5 (Teorema de Laurent). Seja f uma funo diferencivel numa coroa cir-
cular D = {z : r < |z z0 | < R}, com 0 r < R e R > 0 ou R = +. Ento, nessa coroa
circular tem-se
X 1 X
f (z) = an n
+ an (z z0 )n ,
n=1
(z z0 ) n=0
onde Z
1 f (w)
an = dw
2i (w z0 )n+1
para n = 0, 1, 2, . . . e um caminho simples fechado, orientado positivamente, contido
em D e contendo z0 no seu interior.
Definio 6.3. srie definida no teorema de Laurent chama-se srie de Laurent f . A

primeira parte desta srie designada por parte principal e a segunda por parte analtica.
Notemos que os coeficientes da srie de Laurent, e portanto a prpria srie de Laurent,

so univocamente determinados por f e z0 . Alm disso, se f diferencivel em todo o disco
|z z0 | < R, ento an = 0, para n 1 e
f (n) (z0 )
an = ,
n!
para n = 0, 1, 2, . . . Ou seja, neste caso a srie de Laurent reduz-se
Z srie de Taylor. Notemos
1 1 f (z)
ainda que o coeficiente a1 de satisfaz a1 = dz, ou seja,
z z0 2i (z z0 )0
Z
2ia1 = f (z)dz.

n
z
X z
Exemplo 6.5. Uma vez que e = para todo o z C, obtemos o desenvolvimento em
n=0
n!
srie de Laurent
1
X 1
e = z
n
n=0
z n!
para todo o |z| > 0.
Definio 6.4. Nas condies do teorema de Laurent, se r = 0, isto , se z0 uma singula-

1
ridade isolada de f , o coeficiente a1 de na srie de Laurent de f chama-se resduo
z z0
de f em z0 e denota-se por Res(f, z0 ). Temos assim,
Z
2iRes(f, z0 ) = f (z)dz.

77
6.4. CLASSIFICAO DAS SINGULARIDADES ISOLADAS
O prximo resultado, conhecido como teorema dos resduos, consequncia do teorema

5.9.
Teorema 6.6 (Teorema dos resduos). Seja D uma regio simplesmente conexa e seja
um caminho simples fechado contido em D, orientado positivamente. Se f uma funo
analtica em D exceto em n singularidades isoladas z1 , . . . , zn , pertencentes ao interior de
, ento
Z Xn
f (z)dz = 2i Res(f, zk )
k=1
Exemplo 6.6. Usemos o teorema dos resduos para calcular o integral

Z
1
dz.
C(0,2) z(1 z)
1
Comecemos por notar que a funo f (z) = z(1z) tem singularidades nos pontos z = 0 e
z = 1, ambos dentro da circunferncia C(0, 2). Calculemos ento os resduos Res(f, 0) e
Res(f, 1). Temos

1 1 1 X n X n1 1
f (z) = = z = z = + 1 + z + z2 +
z1z z n=0 n=0
z
para todo o 0 < |z| < 1, pelo que Res(f, 0) = 1. Relativamente ao ponto 1, temos

1 1 1 1 1 X
f (z) = = = ((z 1))n
1zz+11 1 z 1 ((z 1)) 1 z n=0

X 1
= (1)n (z 1)n1 = + 1 (z 1) + (z 1)2 +
n=0
z 1
para 0 < |z 1| < 1, pelo que Res(f, 1) = 1. Assim,
Z
1
dz = 2i (Res(f, 0) + Res(f, 1)) = 0.
C(0,2) z(1 z)
6.4 Classificao das singularidades isoladas

Definio 6.5. Seja z0 uma singularidade isolada de f . Se a parte principal da srie de
Laurent de f

X 1 X
an n
+ an (z z0 )n
n=1
(z z0 ) n=0
contiver um nmero finito de coeficientes an no nulos, z0 diz-se um polo de f . Se
am a1
f (z) = m
+ + + a0 + a1 (z z0 ) + a2 (z z0 ) + ,
(z z0 ) z z0
com am 6= 0, diz-se que z0 um polo de ordem m. Um polo de ordem 1 chama-se polo
simples.
78
z
Exemplo 6.7. O nmero 0 um polo simples de , pois
z2
z 1
2
= , para |z| > 0.
z z
ez
Exemplo 6.8. O nmero 0 um polo de ordem 2 de , pois
z2

ez 1 X zn 1 1 1 z
2
= = 2 + + + + , para |z| > 0.
z z n=0 n! z z 2! 3!
sin(z)
Exemplo 6.9. O nmero 0 no um polo de , pois a parte principal da sua srie de
z
Laurent em torno de z0 = 0

sin(z) 1X z 2n+1 X z 2n z2 z4
= (1)n = (1)n =1 + , para |z| > 0,
z z n=0 (2n + 1)! n=0 (2n + 1)! 3! 5!
tem todos os coeficientes nulos.
O prximo resultado estabelece um critrio para uma singularidade isolada de f ser um

polo de ordem m.
Proposio 6.7. O nmero z0 um polo de ordem m de f se e s se for possvel escrever

g(z)
f (z) =
(z z0 )m
com g uma funo analtica numa vizinhana de z0 tal que g(z0 ) 6= 0.
Demonstrao. Se z0 um polo de ordem m de f , podemos escrever

am a1
f (z) = m
+ + + a0 + a1 (z z0 ) + a2 (z z0 ) +
(z z0 ) z z0
para todo o z B(z0 , r) \ {z0 } com am 6= 0. Multiplicando ambos os membros desta
expresso por (z z0 )m , obtemos

X
m m1
(z z0 ) f (z) = am + + a1 (z z0 ) + an (z z0 )n+m ,
n=0
| {z }
g(z)
com g diferencivel em B(z0 , r) e tal que g(z0 ) = am 6= 0.

g(z)
Reciprocamente, se f (z) = com g diferencivel em B(z0 , r), podemos escrever
(z z0 )m

X
g(z) = an (z z0 )n ,
n=0
79
com a0 = g(z0 ) 6= 0, pelo que

1 X
f (z) = an (z z0 )n
(z z0 )m n=0
tem um polo de ordem m no ponto z0 .
Definio 6.6. Seja h uma funo analtica numa vizinhana de z0 . Dizemos que h tem
um zero de ordem m em z0 se
h(z0 ) = h0 (z0 ) = = h(m1) (z0 ) = 0 e h(m) (z0 ) 6= 0.
Um zero de ordem 1 diz-se um zero simples.
O prximo resultado segue de forma simples da definio de zero de ordem m de uma

funo.
Proposio 6.8. Seja h uma funo analtica numa vizinhana de z0 . Ento, h tem um
zero de ordem m se e s se for possvel escrever
h(z) = (z z0 )m (z),
onde analtica numa vizinhana de em z0 e (z0 ) 6= 0.
Como consequncia deste resultado obtemos o seguinte
Corolrio 6.9. Sejam g e h duas funes analticas numa vizinhana de z0 tais que h tem
um zero de ordem m em z0 e g(z0 ) 6= 0. Ento,
g(z)
f (z) =
h(z)
tem um polo de ordem m em z0 .
Demonstrao. Basta notar que podemos escrever h(z) = (z z0 )m (z), com analtica
numa vizinhana de z0 e (z0 ) 6= 0. Assim,
g(z)
g(z) g(z) (z)
f (z) = = m
= ,
h(z) (z z0 ) (z) (z z0 )m
g(z) g(z0 )
com analtica numa vizinhana de z0 e 6= 0.
(z) (z0 )
80
Exemplo 6.10. Seja

1
f (z) = .
sin(z)
A funo sin(z) tem zeros nos pontos k, k Z. Se z0 um destes pontos, temos sin(z0 ) = 0
e cos(z0 ) 6= 0. Portanto, a funo sin(z) tem um zero simples no ponto z0 . Pelo corolrio
anterior, f tem um polo simples em z0 .
Exemplo 6.11. Consideremos agora a funo

ez 1
f (z) = .
z3
O ponto 0 zero simples de ez 1, pelo que podemos escrever ez 1 = z(z), com (0) 6= 0.
Portanto,
z(z) (z)
f (z) = 3
= 2 ,
z z
com (0) 6= 0. Pelo corolrio anterior, 0 um polo de ordem 2 de f .
Teorema 6.10. Seja f uma funo analtica num conjunto aberto A C e seja z0 uma
singularidade isolada de f . Se f tem um polo simples em z0 , ento
Res(f, z0 ) = lim (z z0 )f (z).

zz0
Demonstrao. Se z0 polo simples de f podemos escrever

a1
f (z) = + a0 + a1 (z z0 ) + a2 (z z0 )2 + ,
z z0
com a1 6= 0. Daqui segue que
lim (z z0 )f (z) = a1 .
zz0
De forma alternativa, podemos calcular o resduo num polo simples da seguinte forma:
Corolrio 6.11. Sejam g e h funes analticas numa vizinhana de z0 tais que h tem um
g(z)
zero simples em z0 e g(z0 ) 6= 0. Ento, a funo f (z) = tem um polo simples em z0 e
h(z)
g(z0 )
Res(f (z), z0 ) = .
h0 (z0 )
Demonstrao. Pelo teorema anterior, temos
g(z) g(z) g(z0 )
Res(f (z), z0 ) = lim (z z0 ) = lim = .
zz0 h(z) zz0 h(z) h0 (z0 )
zz0
81
Relativamente a polos de ordem m > 1 temos o seguinte critrio:
Teorema 6.12. Seja f uma funo analtica num conjunto aberto A C e seja z0 uma
singularidade isolada de f . Se f tem um polo de ordem m em z0 , ento
1 dm1
Res(f, z0 ) = lim m1 (z z0 )m f (z).
(m 1)! zz0 dz
Demonstrao. Se z0 polo de ordem m de f podemos escrever

am a1
f (z) = m
+ + + a0 + a1 (z z0 ) + a2 (z z0 )2 + ,
(z z0 ) z z0
com am 6= 0, ou ainda,
(z z0 )m f (z) = am + + a1 (z z0 )m1 + a0 (z z0 )m + a1 (z z0 )m+1 + a2 (z z0 )m+2 +
Derivando esta igualdade m 1 vezes vem:
dm1
m1
(z z0 )m f (z) = (m 1)!a1 + m!(z z0 )a0 +
dz
Tomando limites obtemos
dm1
lim (z z0 )m f (z) = (m 1)!a1 .
zz0 dz m1
Exemplo 6.12. A funo

ez
f (z) =
z(z 1)3
ez
tem um polo de ordem 3 no ponto 1 pois no se anula em 1. Neste ponto, temos
z
1 d2 1 d2 ez e
Res(f, 1) = lim 2 (z z0 )3 f (z) = lim 2 = .
2! z1 dz 2! z1 dz z 2
Assim, Z
f (z)dz = 2iRes(f, 1) = ie
C(1,1/2)
pois o ponto 1 a nica singularidade de f dentro da circunferncia C(1, 1/2).
Exemplo 6.13. Calculemos o integral

Z
1
dz.
C(0,5) sin(z)
82
1
Como vimos no exemplo 6.10, a funo tem polos simples nos pontos k, k Z.
sin(z)
Destes, apenas os pontos , 0, esto dentro da circunferncia C(0, 5). Temos

1 1 1
Res ,0 = 0
= = 1,
sin(z) (sin(z)) |z=0 cos(0)

1 1 1
Res , = 0
= = 1,
sin(z) (sin(z)) |z= cos()

1 1 1
Res , = 0
= = 1,
sin(z) (sin(z)) |z= cos()
pelo que Z
1
dz = 2i(1 1 1) = 2i.
C(0,5) sin(z)
Analisemos por fim as singularidades que no so polos.
Definio 6.7. Seja f uma funo analtica num conjunto aberto A C e seja z0 uma
singularidade isolada de f . Se na srie de Laurent de f

X
an (z z0 )n
n=
todos os coeficientes an com n < 0 forem iguais a zero, o ponto z0 diz-se uma singularidade
removvel ou removvel de f . Neste caso,
Res(f, z0 ) = 0
e a singularidade pode ser removida definindo f em z0 por f (z0 ) = a0 : de facto, se

X
f (z) = an (z z0 )n , para todo z B(z0 , r) \ {z0 },
n=0
definimos a funo
a , z = z0
0
f (z) =
e .
6 z0
f (z), z =
Esta funo analtica em B(z0 , r) e

X
fe(z) = an (z z0 )n , para todo z B(z0 , r).
n=0
83
Exemplo 6.14. Uma vez que o ponto 0 um zero simples de sin(z), podemos escrever
sin(z) = z(z), com diferencivel em C e (0) 6= 0. Podemos ento concluir que a funo
sin(z) z(z)
= = (z)
z z
tem uma singularidade removvel no ponto 0.
Definio 6.8. Seja f uma funo diferencivel num conjunto aberto A C e seja z0 uma
singularidade isolada de f . Se na srie de Laurent de f

X
an (z z0 )n
n=
houver uma infinidade de coeficientes an , com n < 0, diferentes de zero, ento z0 diz-se uma
singularidade essencial de f .
1
Exemplo 6.15. A funo e z tem uma singularidade essencial no ponto 0, pois

1
X 1 1 1 1
ez = n n!
= + 3
+ 2
+ + 1.
n=0
z 3!z 2!z z
84
Bibliografia
[1] Carlos Sarrico, Anlise Matemtica Leituras e Exerccios (Sucesses e sries de funes.
Convergncia pontual e uniforme.), Gradiva, Coleco Trajectos Cincia, 1997.
[2] Dennis Zill, A first Course in Complex Analysis with Applications, Jones and Bartlett
Mathematics Publ., 2003.
[3] Glyn James Pearson, Advanced Modern Engineering Mathematics ( captulo 4 Sries de
Fourier, seces 4.1, 4.2), Prentice Hall, Third edition, 2004.
[4] James Stewart, Clculo (volume II, Captulo 11 Sucesses e sries), Editora Thomson,
5 edio, 2006.
[5] Joo Filipe Queir, Anlise Complexa Aplicada (Secces 1-13).
[6] Natlia Bebiano da Providncia, Anlise Complexa com aplicaes e laboratrios de

Mathematica, Gradiva, 2009.
85

Notas de Aula - Analise Complexa PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Notas de Aula - Analise Complexa PDF

Hochgeladen von

Copyright:

Verfügbare Formate

Notas de

2 Sucesses e sries numricas 11

5 Integrao de Funes Complexas 59

1.1 O corpo dos nmeros complexos

2. Existncia de elemento neutro: existe e G tal que para todo o a G,

3. Existncia de inverso: para todo o a G existe a0 G tal que

Um grupo (G, ?) diz-se abeliano ou comutativo se para quaisquer a, b G, se verifica

O conjunto dos nmeros reais R munido da adio e multiplicao usuais (R, +, ) um

1. Se x, y R, ento exatamente uma das condies x < y, y < x e x = y verdadeira.

2. Somas e produtos de nmeros positivos (i.e. > 0) so igualmente positivos.

Consideremos o conjunto R2 = {(a, b) : a, b R} dos pares ordenados, munido das

Estas operaes so comutativas, associativas e a multiplicao distributiva relativamente

(a, b) = (a, 0) + (0, 1) (b, 0) = a + bi.

O smbolo i a unidade imaginria. Notemos que i2 = 1. Se z = a + bi C, chamamos

Proposio 1.1. Sejam z e w nmeros complexos. Ento:

Demonstrao. Vamos provar apenas a propriedade 9. As restantes ficam a cargo do leitor.

|z| Re(z) |z|

Pelas propriedades 5, 4 e 1, podemos escrever

Usando agora (1.1) obtemos

|z + w|2 |z|2 + 2|zw| + |w|2 = |z|2 + 2|z||w| + |w|2 = (|z| + |w|)2

|z w| = |z + (w)| |z| + | w| = |z| + |w|.

Da desigualdade triangular resulta ainda

|z| = |(z w) + w| |z w| + |w|,

||z| |w|| |z + w|.

1.2 A forma polar dos complexos

Figura 1.1: Interpretao grfica do conjugado e da soma de complexos

arg(z) = { R : z = |z|(cos() + i sin())}.

Ao (nico) argumento de z pertencente ao intervalo ] , ], chamamos argumento prin-

Figura 1.2: Forma polar de um nmero complexo

Designando por um valor do argumento de z = a + bi e sendo r = |z|, obtemos

Portanto, o argumento de z 6= 0 determinado pelas equaes

Proposio 1.2 (Multiplicao e diviso de complexos na forma polar). Sejam z = r1 cis(1 )

5. (z)n = r1n cis(n1 ), n Z - Frmula de De Moivre.

Demonstrao. Usando as frmulas trigonomtricas da adio do seno e do cosseno, obtemos

zw = r1 (cos(1 ) + i sin(1 ))r2 (cos(2 ) + i sin(2 ))

A propriedade 2 resulta das definies e a 3 segue de 2 e da igualdade 1/z = z/|z|2 . A

Conclumos que se multiplicam nmero complexos multiplicando os respetivos mdulos

Arg(z1 z2 ) 6= Arg(z1 ) + Arg(z2 ),

como se pode comprovar fazendo z1 = 1 = cis() e z2 = 5i = 5cis( 2 ). O argumento

A frmula de De Moivre pode ser usada para determinar as razes ndice n (n N) de

pertencem circunferncia de centro z0 e raio .

2. |z 1 + 3i| = 5 |z (1 3i)| = 5 representa a circunferncia de centro (1, 3) e

Adicionando o nmero z0 expresso anterior, obtemos uma expresso para a circunferncia

Definio 1.1. Seja z0 C e r > 0. A bola aberta de centro z0 e raio r o conjunto

B(z0 , r) = {z : |z z0 | < r}.

Definio 1.2. Dizemos que S C um subconjunto aberto se qualquer ponto z S

Exemplo 1.3. O conjunto S = {z C : Re(z) > 1} aberto. De facto, dado z = a + bi S

Exemplo 1.4. O conjunto S = {z C : Re(z) 1} no aberto, pois qualquer vizinhana

Definio 1.3. Um ponto z0 diz-se um ponto de acumulao de S C se qualquer bola

para todo o r > 0.

Definio 1.4. Sejam z, w C. O segmento de reta que une os pontos z e w o conjunto

[z, w] = {(1 t)z + tw : 0 t 1}.

Dados z1 , z2 , . . . , zn C, a linha poligonal [z1 , z2 , . . . , zn ] o conjunto

[z1 , z2 , . . . , zn ] = [z1 , z2 ] [z2 , z3 ] [zn1 , zn ].

Definio 1.6. Um conjunto S C diz-se limitado se existir r > 0 tal que

S {z : |z| < r} = B(0, r).

Sucesses e sries numricas

2.1 Sucesses de nmeros complexos

Portanto, todos os termos de (zn ) esto contidos na bola B(0, 1).

Definio 2.2. Uma sucesso (zn ) tem limite ` C, e escrevemos

Portanto, a sucesso (zn ) convergente se pudermos tornar os seus termos zn to perto

Figura 2.1: Convergncia de uma sucesso complexa

sempre que n > 2/. Podemos tomar n > 2/.