Apostila Cálculo IV

Departamento de Matemtica - MTM
Universidade Federal de Santa Catarina - UFSC
Notas de aula:
MTM 5186 - Clculo IV
Prof. Matheus Cheque Bortolan
Florianpolis - SC
2015/1
ii
Sumrio
1 Introduo
2 O corpo C dos nmeros complexos e o plano complexo

2.1 Definio e propriedades bsicas . . . . . . . . . . . . . .
2.2 Geometria em C . . . . . . . . . . . . . . . . . . . . . .
2.2.1 A desigualdade triangular . . . . . . . . . . . . .
2.3 Representao polar em C . . . . . . . . . . . . . . . . .
2.3.1 Igualdade de nmeros complexos na representao
2.3.2 Razes de nmeros complexos . . . . . . . . . . .
3 Funes de uma varivel complexa
3.1 Definies bsicas . . . . . . . . . . .
3.1.1 A funo exponencial . . . . .
3.2 Limites . . . . . . . . . . . . . . . . .
3.3 Continuidade . . . . . . . . . . . . .
3.4 Diferenciabilidade . . . . . . . . . . .
3.5 Analiticidade . . . . . . . . . . . . .
3.5.1 Equaes de Cauchy-Riemann
.
.
.
.
.
.
.
4 Transformaes de Mbius
4.1 Definies e propriedades bsicas . . .
4.2 Propriedade de preservao de crculos
4.2.1 Orientao . . . . . . . . . . . .
4.3 Representao matricial . . . . . . . .
4.4 Razo cruzada . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . .
. . . .
. . . .
. . . .
polar
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
10
11
13
14
15
.
.
.
.
.
.
.
17
17
18
18
21
22
26
27
.
.
.
.
.
31
31
33
36
37
38
5 Integrao complexa
43
5.1 Curvas no plano complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
SUMRIO
5.2 Integrais complexas . . . . . . . . . . . . . . . .
5.3 O Teorema de Cauchy-Goursat . . . . . . . . .
5.3.1 Domnios multiplamente conexos . . . .
5.4 A frmula integral de Cauchy . . . . . . . . . .
5.5 A frmula integral de Cauchy para derivadas . .
5.6 Consequncias das frmulas integrais de Cauchy
5.6.1 Derivadas de funes analticas . . . . .
5.6.2 Desigualdade de Cauchy . . . . . . . . .
5.6.3 Teorema de Liouville . . . . . . . . . . .
5.6.4 O Teorema Fundamental da lgebra . .
5.6.5 O Teorema do Mdulo Mximo . . . . .
6 Sries complexas e resduos

6.1 Sequncias e sries complexas* . . . . . . .
6.1.1 Sries geomtricas . . . . . . . . . .
6.1.2 Sries de potncias . . . . . . . . .
6.2 Sries de Taylor . . . . . . . . . . . . . . .
6.3 Sries de Laurent . . . . . . . . . . . . . .
6.3.1 Teorema de representao em sries
6.3.2 Singularidades isoladas . . . . . . .
6.3.3 Classificao de singularidades . . .
6.4 Resduos . . . . . . . . . . . . . . . . . . .
6.5 Integrais reais imprprias . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
de Laurent
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7 Solues em sries para equaes diferenciais ordinrias

7.1 Equao de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2 Solues em sries num ponto singular regular - o mtodo de Frobenius
7.3 Equao de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.4 Equao de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8 Equaes diferenciais parciais
8.1 Equao de Laplace . . . . . . . . . . . .
8.1.1 Domnios retangulares . . . . . .
8.1.2 Discos . . . . . . . . . . . . . . .
8.2 Equao da onda . . . . . . . . . . . . .
8.3 Identidades de Green e funes de Green
8.3.1 Notaes . . . . . . . . . . . . . .
8.3.2 Primeira identidade de Green . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
49
51
55
56
58
58
59
59
60
60
.
.
.
.
.
.
.
.
.
.
63
63
65
66
68
69
71
76
76
81
86
.
.
.
.
.
.
.
.
89
92
96
100
101
.
.
.
.
.
.
.
105
. 105
. 106
. 110
. 114
. 116
. 116
. 117
.
.
.
.
.
.
.
.
.
.
SUMRIO
8.3.3
8.3.4
8.3.5
8.3.6
3
Segunda identidade de Green .
Frmula de representao . . .
Funes de Green . . . . . . . .
Funo de Green no semi-espao
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
118
119
120
122
SUMRIO
Captulo
1
Introduo
Este um material elaborado para poder ser usado como base nas disciplinas de Clculo IV, ministradas pelos professores do Departamento de Matemtica da Universidade
Federal de Santa Catarina.
Introduo
Captulo
2
O corpo C dos nmeros complexos e o
plano complexo
2.1 Definio e propriedades bsicas

Comeamos este captulo com a definio do corpo dos nmeros complexos um pouco
diferente da qual estamos habituados, mas veremos que elas coincidem.
Definio 2.1.1. Seja C o conjunto dos pares ordenados {(a, b) : a, b R}. Em C
definimos duas operaes bsicas da seguinte maneira, se (a1 , b1 ), (a2 , b2 ) C, temos
(a1 , b1 ) + (a2 , b2 ) = (a1 + a2 , b1 + b2 ), que chamada de soma.
(a1 , b1 ) (a2 , b2 ) = (a1 a2 b1 b2 , a1 b2 + b1 a2 ), que chamada de produto.
Chamamos a tripla (C, +, ) de corpo dos nmeros complexos.
Estas operaes satisfazem as seguintes propriedades, para (a1 , b1 ), (a2 , b2 ) e (a3 , b3 )
em C:
(S1) Associatividade da soma:
[(a1 , b1 ) + (a2 , b2 )] + (a3 , b3 ) = (a1 , b1 ) + [(a2 , b2 ) + (a3 , b3 )].
(S2) Comutatividade da soma:
(a1 , b1 ) + (a2 , b2 ) = (a2 , b2 ) + (a1 , b1 ).
O corpo C dos nmeros complexos e o plano complexo
(S3) Elemento neutro da soma: considere o elemento (0, 0) C e temos

(a1 , b1 ) + (0, 0) = (a1 , b1 ).
(S4) Elemento inverso da soma: para (a1 , b1 ) considere o elemento (a1 , b1 ) C
e temos
(a1 , b1 ) + (a1 , b1 ) = (0, 0).
Denotamos (a1 , b1 ) por (a1 , b1 ).
(P1) Associatividade do produto:
[(a1 , b1 ) (a2 , b2 )] (a3 , b3 ) = (a1 , b1 ) [(a2 , b2 ) (a3 , b3 )].
(P2) Comutatividade do produto:
(a1 , b1 ) (a2 , b2 ) = (a2 , b2 ) (a1 , b1 ).
(P3) Elementro neutro do produto: considere o elemento (1, 0) C e temos
(a1 , b1 ) (1, 0) = (a1 , b1 ).
(P4) Elemento
inverso
do produto:

b1
a1
, a2 +b2 e temos
a2 +b2
1
(a1 , b1 )
Denotamos
para (a1 , b1 ) 6= (0, 0) considere o elemento
a1
1
, a2b+b
2
a21 +b21
1
1
(D) Distributividade
b1
a1
, 2
2
2
a1 + b1 a1 + b21
= (1, 0).
por (a1 , b1 )1 .
(a1 , b1 ) [(a2 , b2 ) + (a3 , b3 )] = (a1 , b1 ) (a2 , b2 ) + (a1 , b1 ) (a3 , b3 ).

Essas propriedades listadas acima so o motivo pelo qual dizemos que (C, +, ) um
corpo.
Exerccio 2.1.2. Demonstre todas estas propriedades.
Daqui pra frente, omitiremos as operaes e denotaremos o corpo dos nmeros complexos simplesmente por C.
2.1 Definio e propriedades bsicas
Exerccio 2.1.3. Mostre as seguintes propriedades adicionais de C:

(a) Temos
(a1 , 0) + (a2 , 0) = (a1 + a2 , 0) e (a1 , 0) (a2 , 0) = (a1 a2 , 0).
Tambm
(0, b1 ) = (0, 1) (b1 , 0).
(b) Para qualquer R temos
(, 0) (a1 , b1 ) = (a1 , b1 ).
(c) Temos
(0, 1) (0, 1) = (1, 0).
Vamos agora ver que essa definio que demos para o corpo dos nmeros complexos
coincide com a definio usual. Para isso, seja (a, b) C, e escrevemos com a ajuda do
item (a) do exerccio acima:
(a, b) = (a, 0) + (0, 1) (b, 0).
Alm disso, os itens (a) e (b) nos permitem identificar o par (a, 0) com o nmero real a,
e definindo i = (0, 1) escrevemos
(a, b) = a + ib,
e note que pelo item (c), temos i2 = 1.
Assim, o corpo C dos nmeros complexos pode ser visto como o conjunto
{z := a + ib : a, b R}, onde i2 = 1,
com as operaes de soma e produto definidas anteriormente.
Exerccio 2.1.4. Reintreprete a definio das operaes de soma e produto, bem como
suas propriedades, com a definio usual dos nmeros complexos. Isto , dados z1 =
a1 + ib1 e z2 = a2 + ib2 em C, quem z1 + z2 ? Quem z1 .z2 ? Como ficam as propriedades
da soma e produto agora?
Observao 2.1.5. Nestas novas notaes, denotamos o inverso multiplicativo z 1 de
um nmero complexo z no-nulo tambm por z1 , que tambm chamado de recproco de
z.
Para um nmero complexo z = a + ib, chamamos a de parte real de z e b de parte
imaginria de z e denotamos por a = Re(z) e b = Imz, assim todo nmero complexo z
10
pode ser escrito na forma

z = Re(z) + iIm(z).
Um nmero complexo z com Re(z) = 0 chamado de nmero imaginrio puro.
Sejam z1 = a1 + ib1 e z2 = a2 + ib2 dois nmeros complexos. Usando as propriedades
do conjuntos dos pares ordenados, sabemos que z1 = z2 se, e somente se, a1 = a2 e b1 = b2 .
2.2 Geometria em C
Em C podemos tambm colocar uma estrutura geomtrica, que nos possibilita trabalhar com distncias e ngulos. Para isso, definimos primeiramente
Definio 2.2.1. Seja z = a + ib C um nmero complexo. Definimos o conjugado de
z como o nmero complexo z dado por
z = a ib,
Alm disso, definimos a norma de z como o nmero real |z| dado por
|z| =
a2 + b2 .
Exerccio 2.2.2. Mostre as seguintes propriedades da conjugao e da norma em C:

(a) z1 + z2 = z1 + z2 ;
(g) |z| = 0 se, e somente se, z = 0;
(b) z1 z2 = z1 z2 ;
(h) |z1 z2 | = |z1 ||z2 |;
(c) z = z;
(i) z + z = 2Re(z);
(d) |z| = |z|;
(j) z z = 2iIm(z);
(e) z z = |z|2 ;
(k) |Re(z)| 6 |z|;
(f) z 1 =
z
|z|2
se z 6= 0;
(l) |Im(z)| 6 |z|.
Com estas duas novas definies, podemos olhar C como um espao geomtrico, que
pode ser representado no plano da seguinte forma, seja z = a + ib um nmero complexo,
e olhamos o plano cartesiano com o eixo x representando a parte real de z e eixo y
representando a parte imaginria de z
2.2 Geometria em C
11
y
Figura 1: Representao coordenada e vetorial de z = a + ib.
Assim, o nmero complexo z pode ser visto tanto como o ponto coordenado (a, b) no
plano ou como o vetor (a, b). Assim, podemos definir a distncia entre dois nmeros
complexos z1 e z2 por |z1 z2 |.
2.2.1 A desigualdade triangular

A norma complexa tem uma propriedade muito importante, que a chamada desigualdade triangular, que enunciamos e demonstramos a seguir.
Proposio 2.2.3 (Desigualdade triangular). Sejam z1 , z2 C. Temos
|z1 + z2 | 6 |z1 | + |z2 |.
Demonstrao: Sabemos que
|z1 + z2 |2 = (z1 + z2 )(z1 + z2 ) = (z1 + z2 )(z1 + z2 )
= z1 z1 + z1 z2 + z1 z2 + z2 z2
= |z1 |2 + z1 z2 + z1 z2 + |z2 |2
= |z1 |2 + 2Re(z1 z2 ) + |z2 |2
6 |z1 |2 + 2|Re(z1 z2 )| + |z2 |2
6 |z1 |2 + 2|z1 ||z2 | + |z2 |2

= (|z1 | + |z2 |)2 ,
o que mostra o resultado.

Usando a desigualdade triangular, podemos ver tambm que |z1 z2 | 6 |z1 | + |z2 |.
Proposio 2.2.4. Para quaisquer z1 , z2 C, temos |z1 z2 | > ||z1 | |z2 ||.
12
Demonstrao: Temos
|z1 | = |z1 z2 + z2 | 6 |z1 z2 | + |z2 |,
utilizando o item (i) do exerccio anterior. Assim
|z1 | |z2 | 6 |z1 z2 |.
Analogamente, obtemos |z2 | |z1 | 6 |z1 z2 |, e juntas estas desigualdades nos do
|z1 z2 | > ||z1 | |z2 ||.
O exemplo abaixo ilustra um pouco da teoria de lugar geomtrico, e ser muito til
no Captulo 4.
Exemplo 2.2.5. Mostre que se > 0 e 6= 1, ento o conjunto dos pontos de C que
satisfazem a equao
|z z0 | = |z|, para um z0 C fixado ,
um crculo.
Soluo: Vamos supor que > 1 (o caso < 1 inteiramente anlogo). Assim temos
|z z0 |2 = 2 |z|2 ,
e assim temos
|z|2 2Re(zz0 ) + |z0 |2 = 2 |z|2 .
.
Usando que > 1 podemos definir = 1 2 e reescrever a equao acima da seguinte
maneira
1
2
|z|2 Re(zz0 ) + |z0 |2 = 0,
o que, somando e subtraindo o termo
|z0 |2
2
nos d

|z0 |2
z0 2
2
2

z = |z|2 Re(zz0 ) + 2 = 2 |z0 |2 ,
que a equao de um crculo de centro
z0
e raio
|z |.
|| 0
2.3 Representao polar em C
13

At agora, vimos como representar um nmero complexo z = a + ib como o par
ordenado (a, b) no plano complexo, que chamamos de representao cartesiana de z. Mas,
podemos tambm, alternativamente, representar o nmero z em coordenadas polares.
Sabemos que se z = (a, b) ento existem nmeros reais r > 0 e R tais que
a = r cos e b = r sin .
Assim, podemos escrever o nmero complexo z como
z = r cos + ir sin = r(cos + i sin ).
Definindo ei := cos + i sin , escrevemos ento z = rei . Note que para qualquer
R temos
|ei |2 = cos2 + sin2 = 1,
logo r = |z|. Alm disso, um possvel valor para arctan( ab ) e ei(+2n) = ei para
qualquer n Z.
Se z = rei , dizemos que um argumento de z (no nico) e assim, existe um
nico 0 (, ] tal que z = rei0 , e a este 0 chamamos de argumento principal.
Uma das propriedades mais teis desta representao a facilidade em lidar com
produtos e potncias de nmeros complexos, como veremos a seguir:
Proposio 2.3.1. Dados z1 = r1 ei1 e z2 = r2 ei2 , temos
z1 z2 = r1 r2 ei(1 +2 ) ,
e alm disso, se z1 6= 0 temos r1 > 0 e z11 = r11 ei .
z1 z2 = r1 r2 (cos 1 + i sin 1 )(cos 2 + i sin 2 ),
logo
z1 z2 = r1 r2 [cos 1 cos 2 sin 1 sin 2 + i(sin 1 cos 2 + sin 2 cos 1 )]
= r1 r2 (cos(1 + 2 ) + i sin(1 + 2 ))
= r1 r2 ei(1 +2 ) .
14

Para a segunda parte, como z1 6= 0 temos r1 = |z1 | > 0 e ainda
z11 =
z1
1
= 2 r1 (cos i sin )
2
|z1 |
r1
= r11 (cos() + i sin()) = r11 ei .

Utilizando esta proposio indutivamente, obtemos a seguinte expresso para potncias de nmeros complexos, cuja demonstrao segue diretamente da proposio anterior.
Proposio 2.3.2. Para cada z = rei C e n Z+ temos
z n = r n ein .
(2.3.1)
Alm disso, se z 6= 0, esta expresso vlida para todo n Z.

Ainda, como consequncia direta da expresso (2.3.1) obtemos a frmula de de
Moivre (isto mesmo, so dois de)
(ei )n = ein , para todo n Z.
2.3.1 Igualdade de nmeros complexos na representao polar

Sabemos como lidar com a igualdade de nmeros complexos em coordenadas cartesianas, agora vamos ver como isto se comporta em coordenadas polares.
Proposio 2.3.3. Sejam z1 = r1 ei1 e z2 = r2 ei2 nmeros complexos. Ento z1 = z2
se, e somente se, r1 = r2 e 1 = 2 + 2m, para algum m Z.
z1 = r1 cos 1 + ir1 sin 1 e z2 = r2 cos 2 + i sin 2 ,
e da igualdade de nmeros complexos, temos
r1 cos 1 = r2 cos 2 e r1 sin 1 = r2 sin 2 ,
logo, como r1 = |z1 | = |z2 | = r2 , temos r1 = r2 e
cos 1 = cos 2 e sin 1 = sin 2 ,
o que implica que existe m Z tal que 1 = 2 + 2m. A recproca trivial.
15
2.3.2 Razes de nmeros complexos

Suponhamos que temos n > 2 e w = rei 6= 0 um nmero complexo dado. Quantas
possveis solues a equao z n = w possui?
1
Tendo em vista a expresso (2.3.1), sabemos que uma soluo dada por z = r n ei n .
Mas esta claramente no a nica soluo, e de fato, todos os nmeros
1
zk = r n ei
+2k
n
, para 0 6 k 6 n 1
(2.3.2)
so solues de z n = w.
Proposio 2.3.4. Os nmeros complexos dados em (2.3.2) so as nicas solues da
equao z n = w.
Demonstrao: J sabemos que todos os zk , k = 0, , n 1 so solues da equao
z n = w. Agora seja z1 = r1 ei1 uma soluo qualquer de z n = w. Temos que z1n = r1n ein1
e assim temos r1n = r e n1 = + 2m, para algum m Z, portanto
1
z1 = r n ei
+2m
n
e claramente podemos tomar 0 6 m 6 n 1, o que conclui a demonstrao.
16
Captulo
3
Funes de uma varivel complexa
Este captulo dedicado ao estudo das funes de varivel complexa, que muito mais
rico do que simplesmente funes de R2 a R2 , como vamos a ver no que segue.
3.1 Definies bsicas

No que segue vamos considerar G C e f : G C uma funo. Dizemos ento que f
uma funo complexa de uma varivel complexa, ou simplesmente, uma funo
complexa.
Exemplo 3.1.1.
1. Seja f : C C dada por f (z) = z 2 + iz. Temos neste caso f (0) = 0, f (i) =
i2 + i i = 2i2 = 2, e assim por diante.
2. f : C C dada por f (z) = i.
3. Fixe w C e considere f : C \ {w} C dada por f (z) =
1
.
zw
O conjunto G chamado domnio de f , e o conjunto f (G) dos pontos {f (z) : z

G} C chamado de imagem de G por f . Quando nada especificado, assumimos
que o domnio da funo f o maior subconjunto de C no qual f est bem definida. Por
exemplo, considerando f (z) = z 2z+1 , o domnio de f o C \ {i, i}; uma vez que z 2 + 1
0 para z = i.
Claramente, como R C, toda funo real pode ser vista como uma funo complexa.
Alm disso, as funes complexas podem ser vistas como funes definidas no plano, da
seguinte maneira: seja f : G C uma funo complexa. Se escrevemos z = x + iy e
18
f (z) = u + iv, podemos olhar a funo f como uma funo de duas variveis, dada por
f (x, y) = u(x, y) + iv(x, y).
A funo u chamada de parte real de f , enquanto a funo v chamada de parte
imaginria de f
Exemplo 3.1.2. Encontre as partes real e imaginria da funo f (z) = z 2 + iz.
Escrevendo z = x+iy, temos f (x+iy) = (x+iy)2 +i(x+iy) = x2 y 2 y +i(2xy +x),
logo temos u(x, y) = x2 + y 2 y e v(x, y) = 2xy x.
3.1.1 A funo exponencial

Consideremos a funo f : C C definida da seguinte maneira: escrevendo z = x+iy,
definimos
f (x + iy) = ex eiy = ex (cos y + i sin y),
que denotamos por f (z) = ez . Tal funo chamada de funo exponencial complexa.
Como ex > 0 para todo x R, vemos que ez 6= 0, para todo z C. Ainda, suas partes
real e imaginria so, respectivamente u(x, y) = ex cos y e v(x, y) = ex sin y.
Temos tambm que |ez | = ex = eRe(z) , para todo z C; logo |eiy | = 1 para todo y R.
Proposio 3.1.3. Para todos z1 , z2 C, temos
ez1 +z2 = ez1 ez2 .
Demonstrao: Escrevemos z1 = x1 + iy1 e z2 = x2 + iy2 , temos
ez1 +z2 = ex1 +x2 ei(y1 +y2 )
= ex1 ex2 eiy1 eiy2 = ex1 eiy1 ex2 eiy2 = ez1 ez2 ,
aonde utilizamos a propriedade da exponencial real e a Proposio 2.3.1.
Uma curiosidade interessante a respeito da exponencial complexa que ela peridica,
uma vez que ez+2i = ez , para todo z C. Logo ela peridica com perodo imaginrio
puro 2i.
3.2 Limites
Definio 3.2.1. Dizemos que o limite de uma funo complexa f quando z tende a z0
L, e denotamos por
lim f (z) = L,
zz0
3.2 Limites
19
quando dado > 0 existe > 0 tal que |f (z) L| < sempre que 0 < |z z0 | < .
Critrio de no-existncia de limite: Se f se aproxima de dois nmeros complexos
L1 6= L2 quando tomamos dois caminhos diferentes chegando at z0 , ento limzz0 f (z)
no existe.
Exemplo 3.2.2. Mostre que limz0 zz no existe.
Soluo: Consideramos o limite olhando somente o eixo real; isto , assuma que
z = x = x + 0i. Assim, temos z = x e temos, para x se aproximando de zero (mas x no
zero):
x
z
lim = lim = 1.
x0 x
z0 z
Agora, consideramos o limite olhando o eixo imaginrio; isto , assumimos que z =
iy = 0 + iy. Neste caso, z = iy e temos, para y se aproximando de zero (mas y no
zero):
iy
z
= 1.
lim = lim
y0 iy
z0 z
Logo, pelo critrio de no-existncia do limite, segue que limz0 zz no existe.
Exemplo 3.2.3. Mostre, usando a definio, que lim z 2 = 1.

z1
Soluo: Dado > 0, nosso trabalho encontrar um nmero real > 0, tal que
|z 2 1| < , sempre que |z 1| < . Mas z 2 1 = (z + 1)(z 1) e, supondo que
0 < |z 1| < < 1, sabemos que
1 > > |z 1| = |z + 1 2| > |z + 1| 2,
logo |z + 1| < 3 e assim |z 2 1| = |z + 1||z 1| < 3, e escolhendo ainda < 3 , temos
|z 2 1| < , sempre que 0 < |z 1| < .
Proposio 3.2.4. Suponha que f e g sejam funo complexas. Se lim f (z) = L e
lim g(z) = M, temos
zz0
(a) lim cf (z) = cL, onde c um nmero complexo qualquer fixado;

zz0
(b) lim (f (z) + g(z)) = L + M;

zz0
(c) lim f (z) g(z) = L M e

zz0
L
f (z)
=
, desde que M 6= 0.
zz0 g(z)
M
(d) lim
zz0
20
Demonstrao: Provemos primeiramente (a). Se c = 0, nada temos a fazer, j que

trivial ver que lim 0 = 0, para qualquer que seja z0 C. Assuma ento que c 6= 0 e dado
z z0
> 0, da definio de limite, existe > 0 tal que se 0 < |z z0 | < temos |f (z) L| <
Assim, segue que
|cf (z) cL| = |c||f (z) L| < |c| = ,

|c|
.
|c|
o que mostra (a).

Deixamos as demonstraes de (b), (c) e (d) como exerccios para o leitor.
Uma maneira til de se verificar o limite de uma funo complexa, usar a teoria de
funes em duas variveis, e o seguinte resultado mostra exatamente isso.
Teorema 3.2.5. Sejam f uma funo complexa, com f = u+iv, z0 = x0 +iy0 e L = a+ib
nmeros complexos, e escrevemos z = x + iy. Ento lim f (z) = L se, e somente se,
zz0
lim
(x,y)(x0 ,y0 )
u(x, y) = a e
lim
(x,y)(x0 ,y0 )
v(x, y) = b.
Demonstrao: Assuma que lim f (z) = L, ento isso quer dizer que dado > 0, existe
zz0
> 0 tal que se 0 < |z z0 | < temos |f (z) L| < . Mas temos
|z z0 | =
e
(x x0 )2 + (y y0 )2 = k(x, y) (x0 , y0 )kR2
|f (z) L| =
(u(x, y) a)2 + (v(x, y) b)2 .
Assim, fcil ver que |u(x, y) a| 6 |f (z) L| e |v(x, y) b| 6 |f (z) L| e portanto

segue que
|u(x, y) a| < e |v(x, y) b| < , sempre que 0 < k(x, y) (x0 , y0 )kR2 < ,
ou seja,
lim
(x,y)(x0 ,y0 )
u(x, y) = a e
para o leitor.
lim
(x,y)(x0 ,y0 )
v(x, y) = b. A recproca fica como exerccio
Exemplo 3.2.6. Mostre que lim z 2 = 1, usando o teorema acima.

z1
Soluo: Sabemos que se z = x + iy, temos z 2 = x2 y 2 + i2xy e portanto neste caso

u(x, y) = x2 y 2 e v(x, y) = 2xy. Quando z 1 = 1 + i0 temos que (x, y) (1, 0),
consequentemente
lim u(x, y) = lim (x2 y 2) = 1,
(x,y)(1,0)
(x,y)(1,0)
e
lim
(x,y)(1,0)
v(x, y) =
lim
(x,y)(1,0)
2xy = 0,
3.3 Continuidade
21
portanto lim z 2 = 1 + i0 = 1.
zz0
3.3 Continuidade
Definio 3.3.1. Dizemos que uma funo complexa f contnua em um ponto z0
do seu domnio, se
lim f (z) = f (z0 ).
zz0
Quando f contnua em todos os pontos de seu domnio, dizemos simplesmente que

f contnua.
Observao 3.3.2. Lembre-se que, para garantir que uma funo complexa f contnua
em um ponto z0 , precisamos verificar trs coisas:
1. lim f (z) existe;
zz0
2. f est definida no ponto z0 ; isto , z0 est no domnio de f ;

3. lim f (z) = f (z0 ).
zz0
Exemplo 3.3.3. A funo f (z) = z 2 contnua em z0 = 1.

Soluo: Sabemos que lim z 2 existe e que z0 = 1 est no domnio de f (z) = z 2 .
z1
Ainda, j mostramos que lim z 2 = 1, o que mostra que z 2 contnua em z0 = 1.

z1
Exemplo 3.3.4 (O logaritmo complexo). Definimos o logaritmo principal complexo

de um nmero complexo z por
.
Log(z) = ln |z| + iArg(z).
A funo Log(z) est definida para todo nmero complexo no-nulo; porm, notemos
que ela descontnua no eixo real negativo.
Soluo: De fato, assuma que z0 = x, x > 0, um nmero complexo no eixo real
negativo. Vamos nos aproximar de z0 por valores no crculo de raio x, com parte real
positiva; isto , com valores da forma z = xei onde se aproxima de , por valores
menores do que . Temos
Log(z) = ln x + i,
e portanto limzz0 Log(z) = lim [ln x + i] = ln x + i.
Analogamente, se z se aproxima de z0 pelo crculo de raio x, com parte real negativa;
isto , com valores da forma z = xei onde se aproxima de , temos limzz0 Log(z) =
lim [ln x + i] = ln x i.
22
Do critrio de no-existncia do limite, segue que limzz0 Log(z) no existe, e portanto

Log(z) no contnua no eixo real negativo.
Usando a Proposio 3.2.4 podemos enunciar algumas propriedades bsicas de funes
contnuas:
Proposio 3.3.5. Suponha que f e g sejam funo complexas contnuas em um ponto
z0 , ento:
(a) cf contnua em z0 , onde c um nmero complexo qualquer fixado;
(b) f + g contnua em z0 ;
(c) f g contnua em z0 e
(d)
f
g
contnua em z0 , desde que g(z0 ) 6= 0.
Com essa proposio, podemos provar a continuidade de uma grande classe de funes,
como veremos no exemplo a seguir:
Exemplo 3.3.6. Sabemos que a funo f (z) = z contnua em todos os pontos de C,
assim usando o item (c) da proposio acima, qualquer funo z n contnua, para n N.
Usando os item (a) e (b), vemos que qualquer funo complexa polinomial do tipo
p(z) = c0 + c1 z + + cn z n contnua.
Por fim, usando o item (d), qualquer funo complexa do tipo p(z)
contnua, onde
q(z)
p(z), q(z) so funo complexas polinomiais, em todos os pontos z0 nos quais q(z0 ) 6= 0.
Estas funes so chamadas de funes racionais.
Por fim, podemos usar o Teorema 3.2.5 para dar um critrio que estabelece a continuidade de funes complexas, utilizando a teoria de clculo em duas variveis.
Teorema 3.3.7. Seja f uma funo complexa com f = u + iv e z0 = x0 + iy0 . Ento
f (z) contnua em z0 se, e somente se, u(x, y) e v(x, y) so contnuas em (x0 , y0 ).
3.4 Diferenciabilidade
Para introduzir o conceito de diferenciabilidade, precisamos antes do conceito de vizinhana:
Definio 3.4.1. Seja z0 um nmero complexo. Uma bola aberta de centro em z0 e
raio r > 0 o conjunto definido por
.
Br (z0 ) = {z C : |z z0 | < r}.
23
Uma bola aberta de centro em z0 e raio qualquer tambm chamada de vizinhana

de z0 e dizemos que um subconjunto D C aberto, se para cada ponto z0 D existe
uma vizinhana de z0 inteiramente contida em D; isto , para cada z0 D existe um
r > 0 tal que Br (z0 ) D.
y
C
z0
Figura 2: Vizinhana de um ponto z0 .
Definio 3.4.2. Seja f uma funo complexa definida numa vizinhana de um ponto
z0 . Dizemos que f diferencivel no ponto z0 se existe o limite
lim
zz0
f (z) f (z0 )
,
z z0
e neste caso denotamos este limite por f (z0 ); isto

f (z) f (z0 )
.
zz0
z z0
f (z0 ) = lim
Quando f diferencivel em todos os pontos do seu domnio dizemos simplesmente

que f diferencivel.
Observao 3.4.3. Tambm denotamos a derivada f (z) por
d
f (z).
dz
Exemplo 3.4.4. Mostre que f (z) = z 2 diferencivel e que f (z) = 2z, para todo z C.
Soluo: Notemos que, para z0 C fixado, temos
f (z) f (z0 )
z 2 z02
(z z0 )(z + z0 )
=
=
= z + z0 ,
z z0
z z0
z z0
sempre que z 6= z0 . Portanto
f (z) f (z0 )
= lim z + z0 = 2z0 ,
zz0
zz0
z z0
lim
24
e logo f diferencivel em z0 e f (z0 ) = 2z0 . Como z0 arbitrrio, segue que f

diferencivel em todos os pontos de C e que f (z) = 2z.
O exemplo a seguir mostra que os Teoremas 3.2.5 e 3.3.7 no tm um correspondente
quando tratamos da diferenciabilidade de funes complexas.
Exemplo 3.4.5. Considere a funo complexa definida por f (x+iy) = x+i4y. Mostremos
que esta funo no diferencivel em nenhum ponto de C.
De fato, seja z0 = x0 + iy0 C um nmero complexo arbitrrio fixado. Consideramos
f (z) f (z0 )
usando o caminho z = x0 + iy. Temos
primeiramente o limite lim
zz0
z z0
lim
zz0
x0 + i4y (x0 i4y0 )

i4(y y0 )
f (z) f (z0 )
= lim
= lim
= 4.
yy0 x0 + iy (x0 iy0 )
yy0 i(y y0 )
z z0
Agora, tomando z = x + i4y0 temos

f (z) f (z0 )
x + i4y0 (x0 i4y0 )
x x0
= lim
= lim
= 1,
zz0
xx0 x + iy0 (x0 iy0 )
xx0 x x0
z z0
lim
e usando o critrio de no-existncia do limite, vemos que esta funo no diferencivel

em z0 .
O prximo resultado mostra que diferenciabilidade mais forte do que continuidade;
isto , uma funo diferencivel num ponto z0 automaticamente contnua neste ponto.
Proposio 3.4.6. Seja f uma funo complexa definida numa vizinhana de um ponto
z0 C. Se f diferencivel em z0 ento f contnua em z0 .
Demonstrao: Temos que
f (z) f (z0 )
(z z0 ),
zz0
z z0
lim (f (z) f (z0 )) = lim
zz0
f (z) f (z0 )
e do item (c) da Proposio
zz0
z z0
e como f diferencivel, existe o limite lim

3.2.4, segue que
lim (f (z) f (z0 )) = lim
zz0
zz0
f (z) f (z0 )
lim (z z0 ) = 0.
zz
z z0
}
| 0 {z
=0
Vejamos agora alguma regras de diferenciao, que so muito teis no clculo de

derivadas e cuja demonstrao fica como exerccio para o leitor:
25
Proposio 3.4.7 (Regras de derivao). Sejam f e g duas funes complexas diferenciveis e c um nmero complexo fixado. Temos
(a)
d
c = 0;
dz
(b)
d
(cf (z)) = cf (z);
dz
(c)
d
(f (z) + g(z)) = f (z) + g (z);
dz
d
(f (z) g(z)) = f (z) g(z) + f (z) g (z);
dz

d f (z)
f (z)g(z) g(z)g (z)
(e)
=
, desde que g(z) 6= 0 na vizinhana de z0 .
dz g(z)
[g(z)]2
(d)
Uma outra propriedade importante das derivada a Regra da cadeia, que enunciamos
a seguir.
Teorema 3.4.8 (Regra da cadeia). Sejam f e g funes complexas, com g definida numa
vizinhana de z0 , diferencivel em z0 e f definida numa vizinhana de g(z0 ) e diferencivel
em g(z0 ). Ento a composta f g diferencivel em z0 e
d
(f g)(z0 ) = f (g(z0 ))g (z0 ).
dz
Demonstrao: Como g diferencivel em z0 , g contnua em z0 e temos lim (g(z)
zz0
g(z0 )) = 0, assim
(f g)(z) (f g)(z0 )
f (g(z)) f (g(z0 ))
= lim
zz0
zz0
z z0
z z0
f (g(z)) f (g(z0 )) g(z) g(z0 )
= lim
zz0
g(z) g(z0 )
z z0
g(z) g(z0 )
f (g(z)) f (g(z0))
()
lim
= lim
zz0
zz0
g(z) g(z0 )
z z0
lim
= f (g(z0 ))g (z0 ),
onde em () utilizamos a diferenciabilidade de f em g(z0 ) e de g em z0 .

Observao 3.4.9. Note que esta demonstrao no est completamente correta; melhor
dizendo, ela s verdadeira se assumirmos que g(z) 6= g(z0 ) para 0 < |z z0 | < r, para
algum r > 0. Caso contrrio, no podemos dividir a expresso por g(z) g(z0 ).
Exerccio 3.4.10. D uma demonstrao mais precisa deste resultado, que no exclua o
caso que mencionamos acima.
26
Usando o item (c) das regras de derivao fcil mostrar a regra de diferenciao para
potncias:
d n
z = nz n1 , para todo n N.
dz
Alm disso, usando o item (e), podemos ver que
d 1
d 1
1
z =
= 2 = z 2 ,
dz
dz z
z
e indutivamente podemos mostrar que a regra acima vale tambm para inteiros negativos.
Logo temos
d n
z = nz n1 , para todo n Z.
dz
3.5 Analiticidade
Agora veremos o conceito de analiticidade, que de extrema importncia quando
trabalhamos com funes complexas.
Definio 3.5.1. Seja f uma funo complexa definida numa vizinhana de um ponto
z0 C. Dizemos que f analtca no ponto z0 se f diferencivel numa vizinhana de
z0 .
Observao 3.5.2 (Cuidado!). Note aqui uma diferena sutil, mas de extrema importncia, entre as definies de diferenciabilidade e analiticidade. Para que f seja analtca
em z0 ela deve ser diferencivel em todos os pontos de uma vizinhana de z0 , e no somente no ponto z0 .
Definio 3.5.3. Seja f : D C C uma regio definida num conjunto aberto D. Se f
analtica em todos os pontos de D dizemos simplesmente que f analtica em D. Uma
funo analtica em todo o plano complexo C tambm chamada de funo inteira.
Exemplo 3.5.4.
1. Toda funo polinomial p(z) = c0 + c1 z + + cn z n , com n N inteira.
2. Uma funo racional da forma f (z) =
C \ {z0 C : q(z0 ) = 0}.
p(z)
q(z)
analtica no aberto D definido por
Com estas definies, podemos enunciar o seguinte:

Proposio 3.5.5. Sejam f, g : D C duas funes analticas num conjunto aberto
D C. Ento as funes cf , onde c um nmero complexo fixado, f + g e f g so
analticas em D. Ainda, se g(z) 6= 0 para todo z D, a funo fg analtica em D.
3.5 Analiticidade
27
Ainda, uma regra importante usada no clculo de limites a Regra de LHpital, dada
abaixo
Proposio 3.5.6 (Regra de LHpital). Sejam f e g funes analticas num ponto z0
com f (z0 ) = g(z0) = 0 e assuma que g (z0 ) 6= 0. Ento
f (z)
f (z0 )
=
.
zz0 g(z)
g (z0 )
lim
Demonstrao: Exerccio.
3.5.1 Equaes de Cauchy-Riemann

Usando as partes real e imaginria de uma funo complexa, podemos estabelecer um
critrio para decidir quando uma funo f no diferencivel em um determinado ponto
z0 .
Teorema 3.5.7 (Equaes de Cauchy-Riemann). Assuma que a funo complexa f =
u + iv diferencivel no ponto z0 = x0 + iy0 . Ento as derivadas parciais de u e v em
(x0 , y0) satisfazem as equaes de Cauchy-Riemann:
u
v
u
u
(x0 , y0) =
(v0 , y0 ) e
(x0 , y0 ) = (x0 , y0 );
x
y
y
x
ou resumidamente ux = vy e uy = vx .
Demonstrao: Como f diferencivel em z0 , existe o limite
u(x, y) + iv(x, y) u(x0 , y0 ) iv(x0 , y0 )
f (z) f (z0 )
=
lim
.
zz0
(x,y)(x0 ,y0 )
z z0
x + iy x0 iy0
f (z0 ) = lim
Sabemos tambm que como este limite existe, ele existe independente de que caminho
em C tomamos; isto , podemos tomar y = y0 fixo e temos
u(x, y0 ) + iv(x, y0 ) u(x0 , y0) iv(x0 , y0 )
xx0
x x0
v(x, y0 ) v(x0 , y0 )
u(x, y0 ) u(x0 , y0)
+ i lim
= lim
xx0
xx0
x x0
x x0
v
u
(x0 , y0 ) + i (x0 , y0 ).
=
x
x
f (z0 ) = lim
28

Agora, tomando x = x0 fixado, temos
u(x0 , y) + iv(x0 , y) u(x0 , y0) iv(x0 , y0)
yy0
i(y y0 )
u(x0 , y) u(x0 , y0 )
v(x0 , y) v(x0 , y0 )
= lim
+ i lim
yy0
yy0
i(y y0 )
i(y y0 )
u(x0 , y) u(x0 , y0)
v(x0 , y) v(x0 , y0 )
i lim
= lim
yy0
yy0
y y0
y y0
v
u
=
(x0 , y0) i (x0 , y0 ).
y
y
f (z0 ) = lim
Igualando as duas expresses obtemos o resultado desejado.

Observao 3.5.8 (Cuidado!). Este resultado no diz quando uma funo f diferencivel, ele simplesmente um critrio para definir quando uma funo f no diferencivel
em um ponto z0 , a saber, se uma funo f no satisfaz as equaes de Cauchy-Riemann
num ponto z0 ento f no diferencivel em z0 .
Exemplo 3.5.9. Mostre que a funo complexa definida por f (x + iy) = x + i4y no
diferencivel em nenhum ponto de C usando as equaes de Cauchy-Riemann.
Soluo: Neste caso temos u(x, y) = x e v(x, y) = 4y. Assim ux (x, y) = 1, uy (x, y) =
0, vx (x, y) = 0 e vy (x, y) = 4 e como ux 6= vy em todos os pontos de C, segue que f no
satisfaz as equaes de Cauchy-Riemann em nenhum ponto, portanto f no diferencivel
em nenhum ponto de C.
Podemos no entanto, utilizar algumas condies a mais para ter a recproca deste
resultado, isto , utilizando as equaes de Cauchy-Riemann, sermos capazes de dizer
quando a funo diferencivel. Este o contedo do prximo resultado.
Teorema 3.5.10 (Equaes de Cauchy-Riemann v.2). Suponha que f = u + iv seja
uma funo complexa, seja z0 = x0 + iy0 e assuma que u(x, y), v(x, y) so funes continuamente diferenciveis; isto , contnuas com todas as derivadas parciais de ordem 1
ux , uy , vx e vy contnuas em uma vizinhana de (x0 , y0 ). Se u e v satisfazem as equaes
de Cauchy-Riemann no ponto (x0 , y0) ento f diferencivel em z0 e ainda
f (z0 ) =
u
v
v
u
(x0 , y0 ) + i (x0 , y0 ) =
(x0 , y0) i (x0 , y0 ).
x
x
y
y
Exemplo 3.5.11. Encontre os pontos nos quais a funo complexa f (z) = |z|2 diferencivel.
Soluo: Neste caso, sabemos que f (x + iy) = x2 + y 2 , logo u(x, y) = x2 + y 2 e
3.5 Analiticidade
29
v(x, y) = 0. Assim temos

ux (x, y) = 2x, uy (x, y) = 2y, vx (x, y) = 0 e vy (x, y) = 0,
assim u e v satisfazem as equaes de Cauchy-Riemann somente se x = y = 0. Portanto
f (z) = |z|2 diferencivel somente em z = 0.
No que segue, sempre mencionaremos a palavra domnio, que definimos a seguir:
Definio 3.5.12. Um domnio D um subconjunto aberto de C que conexo; isto ,
um conjunto aberto que no pode ser escrito como unio de dois abertos disjuntos.
Observao 3.5.13. Equivalentemente, um domnio um conjunto aberto com a seguinte
propriedade: para cada par de pontos distintos z, w D existe uma funo contnua
: [0, 1] D tal que (0) = z e (1) = w.
Com esta definio, podemos enunciar o seguinte resultado
Proposio 3.5.14. Suponha que f seja uma funo analtica num domnio D.
(a) Se |f (z)| constante em D ento f tambm .
(b) Se f (z) = 0 em D ento f constante em D.
Demonstrao: As provas destes resultado seguem basicamente das equaes de CauchyRiemann. Provemos primeiramente (a) e para isso, sabemos que para f = u + iv temos,
como |f (z)| = c para algum nmero complexo c
c2 = |f (z)|2 = u2 (x, y) + v 2 (x, y).
Se c = 0, nada temos a fazer, ento podemos supor que c 6= 0 e derivando a expresso
acima em x e y separadamente, temos
(
uux + vvx = 0
uuy + vvy = 0
Como u e v satisfazem as equaes de Cauchy-Riemann, substituindo vx por uy e vy

por ux nas equaes acima, obtemos
(
uux vuy = 0
uuy + vux = 0
30
Multiplicando a primeira equao por u, a segunda por v e somando as duas equaes

temos 0 = u2 ux + v 2 ux = (u2 + v 2 )ux = c2 ux , e como c2 > 0 segue que ux = 0. Analogamente mostramos que uy = 0 e novamente, as equaes de Cauchy-Riemann implicam
que vx = 0 e vy = 0. Portanto, usando a teoria de clculo em duas variveis, sabemos que
u e v so constantes, o que mostra que f constante.
A prova de (b) anloga, e fica como exerccio ao leitor.
Captulo
4
Transformaes de Mbius
Em muitas aplicaes que envolvem problemas de valores de contorno associados

equao de Laplace, necessrio encontrar aplicaes conformes; isto , que preservam
ngulos entre curvas, que levam um disco no semiplano y > 0. Tal aplicao deve levar a
fronteira do disco na reta de fronteira no semiplano. Uma classe importante de aplicaes
conformes elementares que levam crculos em linhas, e vice-versa, so as transformaes
de Mbius, ou tambm conhecidas como transformaes lineares fracionrias.
Neste captulo vamos definir e estudar esta classe especial de aplicaes.
4.1 Definies e propriedades bsicas

Definio 4.1.1. Sejam a, b, c e d nmeros complexos com ad bc 6= 0, ento a funo
complexa definida por
az + b
T (z) =
cz + d
chamada uma transformao de Mbius.
Se c = 0, ento a transformao de Mbius T (z) uma transformao linear afim;
logo, toda aplicao linear afim uma transformao de Mbius. Agora veremos que
qualquer transformao de Mbius dada por compostas de transformaes lineares afins
e da funo g(z) = z1 .
Teorema 4.1.2. Sejam a, b, c e d nmeros complexos com ad bc 6= 0 e considere a
. Ento existem duas transformaes lineares afins
transformao de Mbius T (z) = az+b
cz+d
S, R tais que
T (z) = S g R(z),
onde g(z) = 1z .
32
Demonstrao: Podemos reescrever T (z) da seguinte forma

T (z) =
e definindo =
bcad
c
e=
a
c
a
bc ad 1
+ ,
c
cz + d c
tomamos
S(z) = z +
R(z) = cz + d,
logo simples verificar que T = S g R.
Claramente vemos que o domnio de T o conjuntos dos nmeros complexos menos o

ponto z = dc ; j que a funo T no est definida neste ponto.
Observao 4.1.3. Apesar de no termos visto a definio precisa de aplicaes conformes, possvel mostrar que T satisfaz esta propriedade; e para isto, de fundamental
importncia que ad bc 6= 0.
Alm da observao acima, mostramos mais uma propriedade importante que segue
do fato ad bc 6= 0.
Proposio 4.1.4. Uma transformao de Mbius injetora no seu domnio.
Demonstrao: De fato, suponha que T (z) = az+b
com ad bc 6= 0. Garantimos que
cz+d
1
existe uma transformao linear afim H tal que H T (z) = cz+d
, para todo z no domnio
de T .
De fato, da demonstrao do Teorema 4.1.2 sabemos que
T (z) =
logo, definindo H(z) =
c
z
bcad
a
bcad
a
bc ad 1
+ ,
c
cz + d c
temos que H T (z) =
1
.
cz+d
Assim, sejam z1 , z2 nmeros complexos no domnio de T tais que T (z1 ) = T (z2 ). Do

que provamos acima temos
1
1
= H T (z1 ) = H(T (z1)) = H(T (z2)) = H T (z2 ) =
,
cz1 + d
cz2 + d
e portanto z1 = z2 , o que prova que T injetora no seu domnio.
Se c 6= 0, temos a seguinte situao: escrevamos T da seguinte maneira
T (z) =
1
1 az + b
az + b
= (z)
,
=
d
cz + d
c z+ c
z + dc
33
onde (z) = 1c (az + b). Como ad bc 6= 0, vemos que ( dc ) 6= 0 e portanto

lim T (z) = .
z dc
Ainda, vemos que

a + zb
a
= ,
d
z c +
c
z
lim T (z) = lim
e assim, usando estas duas ltimas relaes, podemos definir T em todo o plano complexo
estendido (isto , o plano complexo unido com o smbolo ) da seguinte maneira
d
az + b
, se z 6= , z 6= ;
cz + d
d
T (z) = ,
se z = ;
,
se z = .
c
(4.1.1)
Exemplo 4.1.5. Encontre a imagem dos pontos 0, 1 + i, i e pela transformao de

Mbius dada por
2z + 1
T (z) =
.
zi
Soluo: Temos
T (0) =
a
c
20+1
=i
0i
T (1 + i) = 3 + 2i.
Para os pontos restantes, identificamos a = 2, b = 1, c = 1 e d = i; assim dc = i e

= 2; logo

d
a
T (i) = T
= e T () = = 2.
c
c

No difcil ver que transformaes lineares afins levam retas em retas e crculos em
crculos. Para termos um estudo de como retas e crculos se comportam sob a ao de
transformaes de Mbius, primeiramente vamos estudar este comportamento considerando primeiramente a funo g(z) = z1 . Para isto, faremos alguns resultados:
Proposio 4.2.1 (Eixos real e imaginrios). A funo g(z) = 1z leva o eixo real estendido
no eixo real estendido e o eixo imaginrio estendido no eixo imaginrio estendido.
Demonstrao: Claramente
g(x + i0) =
1
1
= ,
x + i0
x
34
logo g leva o eixo real estendido no eixo real estendido. A anlise para o eixo imaginrio
totalmente anloga.
Proposio 4.2.2 (Retas verticais com x0 6= 0). Seja r = {z = x0 + iy} uma reta
vertical qualquer no plano complexo estendido com x0 6= 0. Ento a imagem de r pela
funo g(z) = 1z um crculo contendo o ponto z = 0.
Demonstrao: Temos
g(x0 + iy) =
1
x0 iy
= 2
,
x0 + iy
x0 + y 2
e por clculos simples podemos mostrar que

g(x0 + iy) 1 = 1 ,

2x0 2|x0 |
e portanto a imagem da reta r por g um crculo. Como a reta r ilimitada, o ponto

do plano complexo estendido pertence r e como g() = 0, segue que 0 pertence ao
crculo.
Proposio 4.2.3 (Retas horizontais com y0 6= 0). Seja r = {z = x + iy0 } uma reta
horizontal qualquer no plano complexo estendido com y0 6= 0. Ento a imagem de r pela
funo g(z) = 1z um crculo contendo o ponto z = 0.
Demonstrao: Anloga proposio anterior, obtemos

g(x + iy0 ) + i 1 = 1 .

2y0 2|y0|
Agora o prximo passo ver como a funo g(z) = 1z age sobre crculos. Como
g 1(z) = g(z) para todo z no plano complexo estendido, temos facilmente o nosso primeiro
resultado, cuja demonstrao segue do que fizemos acima, e deixada a cargo do leitor.
Proposio 4.2.4 (Crculos contendo 0). Seja C um crculo no plano complexo com
0 C. Ento g(z) = 1z leva C em uma reta horizontal ou vertical.
Agora, vejamos os outros casos.
Proposio 4.2.5 (Crculos centrados em 0). A funo g(z) =
em 0 em crculos centrados em zero.
1
z
leva crculos centrados
Demonstrao: Seja C = {z = rei : [0, 2]}, para algum r > 0. Assim g(z) =
1
= r 1 ei , que est no crculo de raio r 1 centrado em 0.
rei
35
Proposio 4.2.6 (Crculos no contendo e no centrados em 0). A funo g(z) = 1z leva

crculos no contendo e no centrados em 0 em crculos no contendo e no centrados em
0.
Demonstrao: Considere um crculo C no contendo e no centrado em 0, que tem
como equao |z z0 | = r. Como C no contm 0, sabemos que |z0 | =
6 r, e como C no
est centrado em 0, z0 6= 0.
Temos

1
1
|z z0 |

1
r
1
,
g(z) = =
=

z0 z z0
|z||z0 |
|z0 | z
e como |z0 | =
6 r, segue que |zr0 | 6= 1 e o Exemplo 2.2.5 nos diz que a imagem de C por g
um crculo no centrado em 0 e no contendo 0.
Com estes resultados, fica simples verificar que estas mesmas propriedades valem para
transformaes de Mbius gerais. Estas propriedades esto no seguinte resultado, cuja
demonstrao fica a cargo do leitor.
Teorema 4.2.7. Seja T uma transformao de Mbius da forma (4.1.1), ento:
1. se C um crculo, a imagem de C por T ou um crculo ou uma reta no plano
estendido. A imagem uma reta se, e somente se, c 6= 0 e o ponto z = dc est no
crculo C;
2. se r uma reta, a imagem de r por T ou uma reta ou um crculo no plano
estendido. A imagem um crculo se, e somente se, c 6= 0 e o ponto z = dc no
est na reta r.
Alm disso, se fixarmos trs pontos z1 , z2 , z3 em C (ou em r) e especificarmos T z1 , T z2 e
T z3 , a transformao T nica.
Exemplo 4.2.8. Encontre a imagem do crculo unitrio |z| = 1 pela transformao de
z+2
Mbius T (z) = z1
. Qual a imagem do interior |z| < 1 deste crculo?
Soluo: O ponto z = dc = 1 est no crculo unitrio |z| = 1, ento pelo Teorema
4.2.7 a imagem deste crculo uma reta. Como qualquer reta determinada por dois
pontos, encontremos dois valores na imagem de T para encontr-la. Temos T (1) = 12
e T (i) = 12 i 32 , logo a imagem de T a reta r = { 12 + iy : y R}.
Para responder a ltima pergunta, escolhemos um ponto de teste no disco unitrio
|z| < 1; por exemplo, z = 0. Assim T (0) = 2, que est a esquerda da reta r, portanto a
imagem do disco |z| < 1 o semiplano {z C : Re(z) < 12 }.
Exemplo 4.2.9. Encontre a imagem do crculo |z| = 2 pela transformao de Mbius
T (z) = z+2
. Qual a imagem do disco |z| < 2 por T ?
z1
36
.
Soluo: O ponto z = dc = 1 no est no crculo C = {z C : |z| = 2}, ento
Neste
o Teorema 4.2.7 garante que a imagem de C um crculo, que chamamos de C.
notemos que C simtrico com respeito ao
caso, para encontrar a descrio exata de C,
eixo real; isto , se z est em C, ento z tambm est.
Ainda, observamos que
z+2
T (z) =
=
z1
z+2
z1
= T (z),
Logo, conclumos que C

assim, se z C ento ambos T (z) e T (z) = T (z) esto em C.
simtrico com respeito ao eixo real. Como z = 2 e z = 2 esto em C e T (2) = 4,
T (2) = 0, conclumos que C o crculo de centro em 2 e raio 2; isto ,
C = {z C : |z 2| = 2}.
Novamente, para responder a ltima pergunta, utilizando um ponto de teste, por exemplo z = 0, temos T (0) = 2 que est fora de C e portanto a imagem de |z| < 2 a regio
|z 2| > 2.
4.2.1 Orientao
Definio 4.2.10. Se C um crculo, ento uma tripla de pontos (z1 , z2 , z3 ) de C
chamada de orientao de C. Analogamente, definimos uma orientao para a reta r.
Intuitivamente, trs pontos em um crculo ou uma reta nos do uma direo; isto
, ns vamos de z1 at z2 e de z2 at z3 (com somente dois pontos, isso claramente
seria ambguo). Alm disso, se caminharmos no sentido dessa orientao, temos definidos
o lado direito e o lado esquerdo do crculo ou da reta. Podemos ento enunciar o
Princpio da Orientao:
Teorema 4.2.11. Sejam 1 , 2 dois crculos (ou duas retas, ou um crculo e uma reta, ou
uma reta e um crculo) e T uma transformao de Mbius tal que T (1 ) = 2 . Considere
(z1 , z2 , z3 ) uma orientao para 1 . Ento T leva o lado direito (resp. esquerdo) de 1 no
lado direito (resp. esquerdo) de 2 , com respeito orientao (T z1 , T z2 , T z3 ) de 2 .
Exemplo 4.2.12. Qual a imagem do semiplano {z C : Imz > 0} pela transformao
de Mbius T que leva z1 = 1, z2 = 0, z3 = 1 em w1 = 1, w2 = i, w3 = 1
(respecitvamente)?
Soluo: A orientao (z1 , z2 , z3 ) do eixo real faz com que o semiplano {z C : Imz > 0}
seja o seu lado esquerdo. Pelo Teorema 4.2.11, a transformao T deve levar este conjunto
4.3 Representao matricial
37
sobre o lado esquerdo do crculo |z| = 1, com a orientao dada por (w1 , w2, w3 ) que o
exterior {z C : |z| > 1}.
4.3 Representao matricial

Quando trabalhamos com transformaes de Mbius, til utilizar sua representao
matricial, o que facilita muito o clculo de compostas e inversas.
Definio 4.3.1. Seja T uma transformao de Mbius dada por
T (z) =
az + b
.
cz + d
A esta transformao associamos uma matriz A, definida por

!
a b
.
c d
A=
Note que, como para qualquer 6= 0 complexo temos

T (z) =
(a)z + (b)
,
(c)z + (d)
vemos que esta representao matricial no nica; isto , a mesma transformao pode
nos dar matrizes distintas.
bem simples verificar (fica a cargo do leitor) que a composta T2 T1 de duas transformaes de Mbius T1 e T2 , dadas por
T1 (z) =
a1 z + b1
a2 z + b2
e T2 (z) =
,
c1 z + d 1
c2 z + d 2
representada pelo produto matricial

a2 b2
c2 d 2
a1 b1
c1 d 1
a2 a1 + b2 c1 a2 b1 + b2 d1
c2 a1 + d2 c1 c2 b1 + d2 d1
Alm disso, a expresso para a inversa T 1 da transformao T representada matricialmente pela inversa A1 da matriz A, dada por
1
1
=
ad bc
!
d b
.
c a
Como podemos eliminar qualquer nmero complexo no-nulo, conclumos que a repre-
38
sentao matricial de T 1 pode ser dada pela matriz

!
d b
.
c a
zi
Exemplo 4.3.2. Sejam T (z) = 2z1
e S(z) = iz1
. Use a representao matricial para
z+2
1
encontrar S T .
Soluo: As representaes matriciais de T e S, respectivamente, so
2 1
1 2
!
1 i
.
i 1
Assim, a representao matricial de S 1

!
1 i
,
i 1
e portanto a representao matricial para S 1 T dada pelo produto
!
1 i
i 1
2 1
1 2
!
2 + i 1 + 2i
.
1 2i 2 + i
Assim, sabemos que a transformao S 1 T dada por

S 1 T (z) =
(2 + i)z + 1 + 2i
.
(1 2i)z + 2 + i
4.4 Razo cruzada

Para terminar este captulo, apresentamos o conceito de razo cruzada, que til para
encontrar transformaes de Mbius que levam trs pontos determinados z1 , z2 e z3 em
outros trs pontos determinados w1 , w2 e w3 .
Definio 4.4.1. A razo cruzada entre os nmeros complexos z, z1 , z2 e z3 o nmero
complexo definido por
z z1 z2 z3
(z, z1 , z2 , z3 ) =
.
z z3 z2 z1
Observao 4.4.2 (Cuidado!). Lembre-se de verificar corretamente a ordem dos nmeros complexos quando for calcular a razo cruzada. Ela muito importante, e altera o resultado se for mudada. Por exemplo, mostre que (0, 1, i, 2) = 43 + i 14 , enquanto
(0, i, 1, 2) = 14 i 14 .
4.4 Razo cruzada
39
Para completar a definio de razo cruzada em todo o plano complexo estendido,

definimos
(, z1 , z2 , z3 ) = lim (z, z1 , z2 , z3 ).
z
Para apresentar o resultado principal da razo cruzada, faremos um lema.

Lema 4.4.3. Suponha que T uma transformao de Mbius tal que T (0) = 0, T (1) = 1
e T () = . Ento T (z) = z para todo z no plano complexo estendido.
Demonstrao: Seja T (z) =
az+b
.
cz+d
Temos
b
0 = T (0) = ;
d
a+b
;
1 = T (1) =
c+d
a
= T () = .
c
Logo temos b = 0, c = 0 e
estendido.
a
d
= 1, logo T (z) = z, para todo z no plano complexo
O resultado a seguir ilustra muito bem a importncia das razes cruzadas quando
trabalhamos com transformaes de Mbius.
Teorema 4.4.4. Se T uma transformao de Mbius e z1 , z2 , z3 so nmeros complexos
fixados distintos, ento:
(z, z1 , z2 , z3 ) = (T (z), T (z1 ), T (z2 ), T (z3 )).
Demonstrao: Notemos primeiramente que se definirmos a funo
R(z) = (z, z1 , z2 , z3 ),
no plano estendido, ento R uma transformao de Mbius. Alm disso, temos R(z1 ) =
0, R(z2 ) = 1 e R(z3 ) = . Defina w1 = T (z1 ), w2 = T (z2 ) e w3 = T (z3 ) (que so
distintos, j que T injetora) e
S(z) = (z, w1 , w2 , w3).
Para S, temos S(w1 ) = 0, S(w2 ) = 1 e S(w3) = . Assim, se considerarmos a
40
transformao S T R1 , vemos que

S T R1 (0) = S(T (R1 (0))) = S(T (z1 )) = S(w1 ) = 0;
S T R1 (1) = S(T (R1 (1))) = S(T (z2 )) = S(w2 ) = 1;
S T R1 () = S(T (R1 ())) = S(T (z3 ) = S(w3 ) = .
Segue ento do Lema 4.4.3 que S T R1 (z) = z para todo z no plano complexo
estendido; equivalentemente, substituindo z por R(z), temos
S T (z) = R(z), para todo z,
isto (z, z1 , z2 , z3 ) = (T (z), T (z1 ), T (z2 ), T (z3 )).
Usando este teorema podemos construir transformaes de Mbius que levam pontos
z1 , z2 , z3 determinados em pontos w1 , w2 e w3 determinados, como veremos agora.
Exemplo 4.4.5. Construa uma transformao de Mbius que leva o crculo unitrio
|z| = 1 no eixo real.
T
Soluo: Escolhemos trs pontos distintos no crculo unitrio z1 = 1, z2 = i e z3 = 1

e trs pontos distintos no eixo real w1 = 1, w2 = 0 e w3 = 1. Pelo Teorema 4.4.4, se
w = T (z) a transformao que buscamos, ela deve satisfazer
(z, z1 , z2 , z3 ) = (w, w1, w2 , w3 ).
Assim, usando a definio da razo cruzada, temos
z 1i+1
w+1
=
,
z +1i1
w1
e resolvendo esta equao na varivel w temos
T (z) = w =
zi
,
iz 1
4.4 Razo cruzada
41
que a transformao que buscamos.

Este exemplo bastante interessante, e merece ser melhor explorado. Vamos ver o
que acontece com o interior do crculo unitrio, escolhendo o ponto de teste z = 0. Temos
T (0) = i, logo o interior do disco levado no semiplano Im(z) > 0.
Note que, se caminhamos em cima do crculo |z| = 1 seguindo a ordem dos pontos
que escolhemos; isto , indo de z1 para z2 e de z3 para z3 , o interior do crculo fica do nosso
lado esquerdo. Caminhando pelo eixo real tambm no sentido dos pontos de escolhemos;
isto , de w1 para w2 e de w2 para w3 , o semiplano Im(z) tambm do nosso lado esquerdo.
Isso no por acaso. possvel mostrar que a ordem na qual escolhemos os pontos
definem onde cada lado ser levado. Informalmente falando, o lado esquerdo vai no lado
esquerdo e o direito vai no direito.
Imagine que no problema anterior, quisssemos que o interior do disco fosse levado no
semiplano Im(z) < 0. Como deveramos proceder?
Refaamos os clculos escolhendo agora w1 = 1, w2 = 0 e w3 = 1; isto , vamos
inverter o lado para o qual estamos caminhando (e portanto, direito e esquerdo se invertem).
Queremos
(z, 1, i, 1) = (w, 1, 0, 1),
e resolvendo esta equao em w temos
w = T (z) =
2z + 2i
,
2iz 2
e vemos neste caso, que o ponto de teste z = 0 levado em T (0) = i que est no
semiplano inferior Im(z) < 0. Note que a orientao no foi alterada, porque T agora
tambm leva o lado esquerdo do disco no lado esquerdo do eixo real, considerando claro
a orientao dada pelos pontos z1 , z2 e z3 no crculo e w1 , w2 e w3 no eixo real.
42
Captulo
5
Integrao complexa
Neste captulo trabalharemos com integrao de funes complexas. Na teoria da variveis complexas, a integral tem um papel importantssimo e nos d resultados realmente
impressionantes, se comparados aos resultados obtidos com integrais de funes em R2 .
Para comear este estudo, indispensvel introduzirmos o conceito de curvas em C; e
este o objetivo da prxima seo.
5.1 Curvas no plano complexo

Definio 5.1.1. Uma curva no plano complexo uma aplicao contnua : [a, b] C,
de um intervalo real [a, b] tomando valores complexos. Dada uma curva em C, podemos
escrever
(t) = x(t) + iy(t), para cada t [a, b].
As equaes x = x(t) e y = y(t) so chamadas de equaes paramtricas de , e o
.
conjunto = {(t) : t [a, b]} C chamado de trao de .
Exemplo 5.1.2.
1. 1 (t) = cos t + i sin t, para t [0, 2];
2. Dados dois pontos distintos z0 , z1 do plano complexo, a curva 2 (t) = (1 t)z0 + tz1 ,
t [0, 1] o segmento de reta que sai de z0 e vai at z1 ;
44
Integrao complexa
y
y
C
C
z0
1
2
x
x
z1
Figura 3: Traos das curvas 1 e 2 .
Para uma curva : [a, b] C, chamamos o ponto (a) = x(a) + iy(a) de ponto
inicial e (b) = x(b) + iy(b) de ponto final da curva . medida que t varia de a at
b, imaginamos uma partcula se deslocando do ponto (a) at o ponto (b).
Definio 5.1.3. Seja : [a, b] C uma curva. Dizemos que
(a) suave se diferencivel com (t) contnua em [a, b] e (t) 6= 0, para todo t
[a, b];
(b) suave por partes se existe uma partio P = {a = t0 < t1 < < tn1 < tn = b}
de [a, b] tal que |[ti+1 ,ti ] uma curva suave, para cada i = 0, 1, , n 1;
(c) simples se |(a,b) injetora;
(d) fechada se (a) = (b).
Uma curva suave por partes, em anlise complexa, tambm chamada de contorno
ou caminho.
Um conceito importante que est ligado s curvas o conceito de orientao, que
veremos a seguir.
Definio 5.1.4 (Orientao para curvas no-fechadas). Sejam z0 , z1 dois pontos distintos
de C. Fixado o par ordenado (z0 , z1 ), dizemos que uma curva : [a, b] C com (a) = z0
e (b) = z1 est orientada positivamente com relao a (z0 , z1 ), ou simplesmente
orientada positivamente. Se (a) = z1 e (b) = z0 , dizemos que est orientada
negativamente.
Definio 5.1.5 (Orientao para curvas fechadas). Dizemos que uma curva fechada
: [a, b] C est orientada positivamente se, ao caminharmos em cima da curva,
na direo crescente de valores de t, a regio interior da curva fica nossa esquerda;
equivalentemente, se caminhamos no sentido anti-horrio. Caso contrrio, dizemos que
est orientada negativamente.
5.2 Integrais complexas
45
Em qualquer um dos casos acima, dada uma curva : [a, b] C, a curva : [a, b]
C dada por
(t) = (a + b t), para todo t [a, b],
tem orientao contrria orientao de .

Consideremos um contorno : [a, b] C e f : G C C e assuma que (t) G,
para todo t [a, b]; isto , f est definida sobre todos os pontos da curva . Dizemos
neste caso que est inteiramente contida em G.
Seja P = {a = t0 < t1 < < tn1 < tn = b} uma partio do intervalo [a, b] e defina
ti = [ti , ti1 ] para cada i = 1, , n. Esta partio P de [a, b] induz uma partio na
curva da seguinte forma: tome
zi = (ti ), para cada i = 0, , n;
zi = zi zi1 , para cada i = 1, , n.
zn = (b)
z1
z2
zn1
z0 = (a)
a = t0
t1
t2
tn1
tn = b
Figura 4: Partio induzida em por P .
Definimos a norma da partio P por kP k = max16i6n ti ; isto , o comprimento

do maior subintervalo de P . Alm disso, para cada um destes subintervalos [ti1 , ti ],
escolhemos um ponto ti e definimos zi = (ti ). Definimos ento a soma de f associada
partio P por
n
X
f (zi )zi .
S(f, P ) =
i=1
46
Integrao complexa
Com todas estas consideraes, podemos fazer a seguinte definio:
Definio 5.2.1. A integral complexa de f em definida por

Z
f (z)dz = lim S(f, P ) = lim

kP k0
kP k0
n
X
f (zi )zi ,
i=1
quando este limite existe, independente da escolha dos pontos ti [ti1 , ti ]. Quando tal
limite existe, dizemos que f integrvel sobre .
A seguinte proposio, cuja demonstrao ser deixada como exerccio, garante uma
grande quantidade de curvas e funes que cumprem a definio acima.
Proposio 5.2.2. Seja f uma funo contnua em todos os pontos de uma curva
suave por partes. Ento f integrvel sobre .
Demonstrao:.
Com esta proposio, assumiremos daqui pra frente que todas as funes e curvas
dadas satisfazem esta condio; isto , a curva suave por partes e a funo contnua
sobre todos os pontos da curva.
Observao 5.2.3 (Notao). Quando uma curva fechada, denotamos a integral de
f sobre por
I
f (z)dz.
Um resultado que nos diz como calcular integrais em determinadas situaes o seguinte:
Teorema 5.2.4. Seja f uma funo contnua numa curva suave : [a, b] C, ento
Z
f (z)dz =
f ((t)) (t)dt.
Exemplo 5.2.5.
1. Calcule
zdz, onde (t) = 3t + it2 , para t [1, 4].
Soluo: Temos (t) = 3t it2 e tambm (t) = 3 + i2t, assim

Z
zdz =
2. Calcule
4
2
(3t it ) (3 + i2t)dt =
f (z)dz, onde f (z) =
1
z
[2t3 + 9t + i3t2 ]dt = 195 + i65.
e (t) = cos t + i sin t, t [0, 2].
47
Soluo: Temos (t) = eit e assim f ((t)) = eit e (t) = ieit , portanto
I
f (z)dz =
2
it it
ie
e dt = i
1dt = 2i.
No que segue, listamos algumas propriedades de integrais de funes sobre curvas

suaves.
Proposio 5.2.6 (Propriedades). Sejam f e g duas funes contnuas num domnio D,
e uma curva inteiramente contida em D. Ento:
R
R
(a) cf (z)dz = c f (z)dz, onde c um nmero complexo fixado;
R
R
R
(b) [f (z) + g(z)]dz = f (z)dz + g(z)dz;
R
R
(c) f (z)dz = f (z)dz.
Note que tudo que fizemos desde o Teorema 5.2.4 foi considerando que uma curva
suave. Mas e se quisermos tomar uma curva suave por partes? Como fazemos ento?
Notemos que se uma curva por partes, podemos escrever como uma concatenao
de curvas suaves 1 , 2 , , , k , onde i comea no ponto final de i1 , para cada
i = 1, , k 1; e neste caso, escrevemos = 1 k .
4
5
Figura 4: Exemplo de uma curva = 1 2 3 4 5 , suave por partes.
Temos ento, com estas notaes, o seguinte resultado
Proposio 5.2.7. Se f contnua sobre uma curva suave por partes e = 1 k ,

ento:
Z
k Z
X
f (z)dz =
f (z)dz.
i=1
48
Integrao complexa
R
Exemplo 5.2.8. Calcule a integral

dado na figura abaixo:
f (z)dz, onde f (x + iy) = x2 + iy 2 e o contorno
1 + 2i
1+i
Soluo: Podemos escrever = 1 2 , onde

1 (t) = t + it e 2 (t) = 1 + i(1 + t), para t [0, 1].
Assim, temos
Z
f (z)dz =
1
1
2
(t + it ) (1 + i)dt = (1 + i)
1
0
2
t2 dt = i,
3
e analogamente, mostramos que

Z
7
f (z)dz = + i.
3
2
A proposio acima nos d que

Z
Z
Z
7 5
f (z)dz = + i.
f (z)dz +
f (z)dz =
3 3
2
1
O resultado a seguir nos d uma limitao para o valor da integral de uma funo f
sobre uma curva , em termos de uma limitao para f e do comprimento da curva.
Teorema 5.2.9. Assuma que f contnua sobre uma curva suave e que |f (z)| 6 M
para todo z . Ento, se c() denota o comprimento da curva , temos que

Z

f (z)dz 6 Mc().

Demonstrao: Seja P uma partio de [a, b] e S(f, P ) a soma de f associada P .

Ento

n
n
n
X
X
X

|f (zi )||zi | 6 M
|zi |,
f (zi )zi 6
|S(f, P )| =

i=1
i=1
i=1
5.3 O Teorema de Cauchy-Goursat
uma vez que
|f (zi )|
49
6 M, para todo i = 1, , n. Como lim
kP k0
n
X
i=1
|zi | = c(), temos
Z

n
X

f (z)dz 6 lim |S(f, P )| 6 M lim
|zi | = Mc().

kP k0
kP k0
i=1
H ez
dz onde
Exemplo 5.2.10. Encontre uma cota superior para o valor absoluto de z+1
o crculo |z| = 4.
Soluo: Primeiramente, sabemos que o comprimento de 8; isto , c() = 8.
Agora, sabemos da Proposio 2.2.4, que
|z + 1| > |z| 1 = 3;
e tambm |ez | = eRe(z) , e para |z| = 4, o maior valor para Re(z) 4; portanto |ez | 6 e4 e
assim

I
z
8e4

e

dz
z+1 6 3 .
O Teorema de Cauchy-Goursat um dos resultados principais da teoria de funes

de variveis complexas, e utilizado em inmeras aplicaes. Mas, antes de enunci-lo,
precisamos de alguns conceitos adicionais. Lembremos que um domnio D um conjunto
aberto e conexo por caminhos.
Definio 5.3.1. Dizemos que um domnio D simplesmente conexo se todo contorno
fechado simples inteiramente contido em D pode ser deformado continuamente em um
ponto. Basicamente, estamos dizendo que D no tem buracos.
Exemplo 5.3.2.
1. O plano complexo C simplesmente conexo.
2. O anel formado pelos pontos z C tais que 1 < |z| < 2 no simplesmente conexo.
Definio 5.3.3. Um domnio que no simplesmente conexo chamado de multiplamente conexo; isto , o domnio D possui buracos. Se o domnio D possui um buraco
ele chamado duplamente conexo, se tem dois buracos ele chamado triplamente
conexo, e assim por diante.
50
Integrao complexa
Com estas definies, podemos enunciar primeiramente o Teorema de Cauchy, que foi
provado pelo prprio Cauchy em 1825.
Teorema 5.3.4 (Teorema de Cauchy). Seja f uma funo analtica num domnio simplesmente conexo D, e assuma que f contnua em D. Ento para cada contorno fechado
simples em D, temos
I
f (z)dz = 0.
A demonstrao deste resultado ser omitida, mas ela uma aplicao direta do
Teorema de Green para funes em R2 , juntamente com as equaes de Cauchy-Riemann.
Algum tempo depois, em 1883, Goursat conseguiu provar o Teorema de Cauchy, sem
a hiptese de que f contnua em D. Com isto, temos o to famoso Teorema de CauchyGoursat.
Teorema 5.3.5 (Teorema de Cauchy-Goursat). Assuma que f analtica em um domnio
D. Ento para todo contorno fechado simples em D, temos
I
f (z)dz = 0.
O Teorema de Cauchy-Goursat pode ainda ser dito de uma forma mais simples: se f
H
analtica em uma curva e em seu interior, ento f (z)dz = 0.
Exemplo 5.3.6. Calcule
ez dz, onde o contorno mostrado na figura abaixo:
Soluo: Seria muito complicado calcular esta integral utilizando o Teorema 5.2.4, uma
vez que a curva difcil de ser parametrizada. Assim, vamos usar o Teorema de CauchyGoursat. Como f (z) = ez uma funo inteira, f analtica em e seu interior e
portanto, segue que
I
ez dz = 0.
51
H
A ideia principal do exemplo acima que ez dz = 0 para qualquer curva fechada
simples . O mesmo verdade para as funes inteiras cos z, sin z, a0 + a1 z + + an z n .
Vejamos agora um exemplo com uma funo que no inteira.
H
Exemplo 5.3.7. Calcule z12 dz, onde o crculo |z 2| = 1.
Soluo: Sabemos que f (z) = z12 no uma funo inteira, pois esta funo no est
definida para z = 0; mas f analtica em C \ {0}.
Como z = 0 no est sobre a curva nem em seu interior, sabemos que f analtica
em e em seu interior. Portanto, o Teorema de Cauchy-Goursat se aplica, e temos
I
1
dz = 0.
2
z
5.3.1 Domnios multiplamente conexos

Para um domnio multiplamente conexo, no podemos tirar as mesmas concluses do
Teorema de Cauchy-Goursat; isto , no sempre verdade que a integral de uma funo
analtica neste domnio nula, como veremos no seguinte exemplo.
H 1
Exemplo 5.3.8. Mostre que a integral zz
dz = 2i, onde um crculo centrado em
0
z0 .
1
no analtica no interior
Soluo: Como z0 est no interior de , a funo f (z) = zz
0
de . Faremos este exemplo parametrizando a curva .
Uma possvel parametrizao para um crculo centrado em (t) = z0 + re2it , com
t [0, 1]. Logo
I
Z 1
Z 1
1
2ire2it
dz =
dt = 2i
1dt = 2i.
re2it
z z0
0
0
Considere ento o domnio D duplamente conexo e as curvas 1 , 2 , orientadas positivamente, como dados na figura abaixo:
1
Colocamos agora nessa figura um segmento de reta 3 , que une as curvas 1 e 2 , como
na seguinte figura:
52
Integrao complexa
2
3
Considerando a curva = 1 3 (2 ) (3 ), o domnio formado pelo interior

dessa curva um domnio simplesmente conexo e se f uma funo analtica em e em
seu interior, temos
I
f (z)dz = 0.
Pela Proposio 5.2.7 e o item (c) da Proposio 5.2.6 temos

I
e portanto
f (z)dz =
f (z)dz +
1
f (z)dz +
3
f (z)dz =
f (z)dz +
2
f (z)dz,
3
f (z)dz,
e este o chamado princpio da deformao de curvas.

Observao 5.3.9. Note que em , consideramos 2 , pois a curva que d a orientao
positiva.
Este raciocnio pode ser aplicado para um domnio multiplamente conexo e uma quantidade finita de curvas, e podemos ento enunciar o seguinte teorema:
Teorema 5.3.10 (Teorema de Cauchy para domnios multiplamente conexos). Sejam
, 1 , , k curvas fechadas e simples, satisfazendo:
(i) i est no interior de , para cada i = 1, , k;
(ii) curvas distintas no se intersectam;
(iii) nenhuma curva i est no interior de nenhuma curva j , para i, j = 1, , k;
(iv) todas as curvas esto orientadas positivamente.
53
Assim, se f analtica na regio formada pela compreendida entre a curva e seu

interior, e as curvas 1 , , k e seus exteriores (vide exemplo na figura abaixo), ento
I
f (z)dz =
k I
X
i=1
f (z)dz.
1
3
Figura 5: Exemplo de curvas e regio dadas no teorema acima.
Exemplo 5.3.11. Utilize o Teorema 5.3.10 para calcular

|z| = 4.
dz
,
z 2 +1
onde o crculo
Soluo: Como z 2 + 1 = (z + i)(z i), segue que a funo f (z) = z 21+1 no analtica
em z = i e em z = i, e ambos estes pontos esto no interior da regio delimitada pela
curva .
Assim, segue do Teorema 5.3.10 que
I
I
I
dz
dz
dz
=
+
,
2
2
2
1 z + 1
2 z + 1
z +1
onde 1 o crculo de raio 12 em torno de z = i e 2 o crculo de raio
z = i, como mostrado na figura abaixo:
4
2
1
2
em torno de
54
Integrao complexa
Usando a decomposio em fraes parciais, temos
z2
1 1
1 1
1
=
,
+1
2i z i 2i z + i
e assim
I
dz
1
=
z2 + 1
2i
1
dz
z i 2i
1
dz
+
z + i 2i
1
dz
z i 2i
dz
.
z+i
1
1
analtica em 1 e em seu interior, e a funo zi
analtica em
Mas a funo z+i
2 e seu interior, logo a segunda e a terceira integrais no lado direito da expresso acima
so nulas, pelo Teorema de Cauchy-Goursat. Portanto
I
I
I
dz
dz
1
1
dz
=
.
2
2i 1 z i 2i 2 z + i
z +1
Parametrizando estas cuvas e calculando cada uma destas integrais pela definio,
como no Exemplo 5.3.8, chegamos em
I
dz
= = 0.
2
z +1
Observao 5.3.12 (Ateno!). Tudo que fizemos at agora, foi assumindo que as
curvas fossem contornos simples; isto , as curvas no tinham auto-interseco. Apesar
de no apresentarmos a demonstrao, o Teorema de Cauchy-Goursat vlido tambm
para quaquer contorno fechado num domnio simplesmente conexo D, como por exemplo,
para o que aparece na figura abaixo:
Contorno fechado no-simples em um domnio simplesmente conexo.
Neste caso, se f uma funo analtica em D, temos
f (z)dz = 0.
5.4 A frmula integral de Cauchy
55
5.4 A frmula integral de Cauchy

Se uma funo f analtica num domnio simplesmente conexo D e z0 um ponto
f (z)
qualquer de D, ento a funo quociente zz
no est definida no ponto z0 e portanto,
0
no analtica em D. Sendo assim, no podemos utilizar o Teorema de Cauchy-Goursat
f (z)
zero sobre um contorno fechado que contm z0 no seu
e concluir que a integral de zz
0
interior.
Em geral, esta integral no zer 0, e isto o que mostra a frmula integral de
Cauchy.
Teorema 5.4.1 (Frmula integral de Cauchy). Suponha que f analtica num domnio
simplesmente conexo D e um contorno fechado e simples inteiramente contido em D,
orientado positivamente. Ento, para qualquer ponto z0 no interior de , temos
1
f (z0 ) =
2i
f (z)
dz.
z z0
(5.4.1)
Demonstrao: Seja D um domnio simplesmente conexo, um contorno fechado e

simples inteiramente contido em D e z0 um ponto interior ao contorno . Alm disso, seja
1 a fronteira de um disco centrado em z0 que est inteiramente contido no interior de ,
orientada positivamente.
Pelo princpio da deformao de curvas, sabemos que
I
f (z)
dz =
z z0
f (z)
dz.
z z0
Assim, calcularemos o valor da integral da direita. Para isto, somamos e subtramos

f (z0 ) no numerador:
I
f (z)
dz =
z z0
=
f (z) f (z0 ) + f (z0 )

dz
z z0
I
dz
f (z) f (z0 )
dz + f (z0 )
,
z z0
1 z z0
e utilizando o Exemplo 5.3.8, obtemos

I
f (z)
dz =
z z0
f (z) f (z0 )
dz + 2if (z0 ).
z z0
(5.4.2)
Ainda, como f contnua, sabemos que dado > 0, existe > 0 tal que se |z z0 | <
ento |f (z) f (z0 )| < . Assumindo que pequeno o suficiente de maneira que se
escolhemos 2 como sendo o crculo |z z0 | = 2 , temos 2 inteiramente contida no interior
56
Integrao complexa
de 1 , temos do princpio da deformao de curvas e do Teorema 5.2.9 que

I
f (z) f (z0 )
dz =
z z0
e tambm
f (z) f (z0 )
dz,
z z0

f (z) f (z0 )
dz 6 2
= 2.
z z0
2
H
(z0 )
Isto significa que, podemos fazer a integral 1 f (z)f
dz arbitrariamente pequena; o
zz0
que s ocorre se ela for zero. Portanto
I
f (z) f (z0 )
dz = 0,
z z0
e assim, subistituindo na equao (5.4.2), temos o resultado.

z 2 4z+4
dz,
z+i
onde o crculo |z| = 2.
Soluo: Primeiramente identificamos f (z) = z 2 4z + 4 e z0 = i. Como z0 est no

interior de e f analtica em todos os pontos de e do seu interior, podemos aplicar
a frmula integral de Cauchy, e obtemos
I
z 2 4z + 4
dz = 2if (i) = (8 + 6i).
z+i
H
z
dz,
z 2 +9
onde o crculo |z 2i| = 4.
Soluo: Fatorando o denominador como z 2 +9 = (z3i)(z+3i), podemos ver que z0 = 3i

o nico ponto no interior de , onde o integrando deixa de ser analtico. Podemos ento
reescrever o integrando como
f (z)
z
=
,
2
z +9
z 3i
z
onde f (z) = z+3i
. A funo f analtica em todos os pontos de e em seu interior,
portanto, pela frmula integral de Cauchy, temos
z
dz =
2
z +9
f (z)
dz = 2if (3i) = i.
z 3i
5.5 A frmula integral de Cauchy para derivadas

Agora veremos que a frmula integral de Cauchy tem um anlogo para avaliar as
derivadas f (n) (z0 ) de uma funo analtica f no ponto z0 , para n = 1, 2, .
5.5 A frmula integral de Cauchy para derivadas
57
Teorema 5.5.1 (Frmula integral de Cauchy para derivadas). Assuma que f analtica
num domnio simplesmente conexo D e um contorno fechado simples, inteiramente
contido em D, orientado positivamente. Ento, para qualquer ponto z0 no interior de ,
temos
I
f (z)
n!
(n)
f (z0 ) =
dz.
(5.5.1)
2i (z z0 )n+1
z+1
dz,
z 4 +2iz 3
onde o crculo |z| = 1.
Soluo: Notamos primeiramente que o integrando deixa de ser analtico nos pontos
z = 0 e z = 2i; mas somente z = 0 est no interior de . Assim, identificamos z0 = 0
e escrevemos o integrando como
f (z)
z+1
= 3 ,
3
+ 2iz
z
z4
z+1
onde f (z) = z+2i
. Note que f analtica em todos os pontos de e de seu interior, e a
frmula integral de Cauchy para derivadas nos d
I
Como f (z) =
24i
,
(z+2i)3
z+1
dz =
4
z + 2iz 3
temos f (0) =
I
2i
f (z)
dz =
f (0).
3
z
2!
2i1
4i
e portanto
z+1

dz = + i.
3
+ 2iz
4
2
z4
z 3 +3
dz,
z(zi)2
onde = 1 2 a figura oito da figura abaixo.
2
i
0
1
Soluo: Apesar de no ser um contorno fechado simples, a unio de duas curvas

1 , 2 como indicado na figura acima. Claramente vemos que 1 est orientada negativa-
58
Integrao complexa
mente, logo
I
I
z3 + 3
z3 + 3
dz
+
dz
2
2
1 z(z i)
2 z(z i)
I
I
z3 + 3
z3 + 3
=
dz +
dz.
2
2
1 z(z i)
2 z(z i)
z3 + 3
dz =
z(z i)2
e agora tanto 1 e 2 esto orientadas positivamente.

Em 1 e no seu interior, vemos que z0 = 0 o nico ponto na qual
ser analtica; assim, identificamos f1 (z) =
I
z3 + 3
dz =
z(z i)2
z 3 +3
,
(zi)2
f1 (z)
dz = 2if1 (0) = 6i.
z
z3 + 3
dz =
z(z i)2
z 3 +3
z
deixa de
e temos de (5.4.1) que
Em 2 e no seu interior, vemos que z0 = i o nico ponto onde

analtica; assim, identificamos f2 (z) =
z 3 +3
z(zi)2
z 3 +3
z(zi)2
deixa de ser
, e temos de (5.5.1) que
f2 (z)
dz = 2if2 (i) = 4 + 6i.
(z i)2
Somando os dois resultados, temos

I
z3 + 3
dz = 4 + 12i.
z(z i)2

Nesta seo mostraremos algumas importantes consequncias que as frmulas integrais
de Cauchy trazem para as funes de uma varivel complexa.
5.6.1 Derivadas de funes analticas

O Teorema 5.5.1 nos d uma consequncia impressionante para funes de varivel
complexa, e est longe de ser vlida para funes reais de duas variveis. Note que
o Teorema 5.5.1 nos d a existncia das derivadas de todas as ordens de uma funo
complexa analtica, bem como uma frmula para calcul-las. Temos ento o seguinte
resultado:
Teorema 5.6.1. Assuma que f analtica num domnio simplesmente conexo D. Ento
f tem todas as derivadas de todas as ordens, em todos os pontos de D, e todas as suas
derivadas so funes analticas.
59
Observao 5.6.2.
1. O teorema acima nos diz que se uma funo f (x+ iy) = u(x, y) + iv(x, y) analtica
num domnio simplesmente conexo D, ento ela possui todas as derivadas de todas
as ordens. Assim, podemos tambm concluir que u, v so funes continuamente
diferenciveis que tem derivadas parciais de todas as ordens, e todas so contnuas,
em todos os pontos de analiticidade de f .
2. Se u, v so funes que no possuem todas as derivadas parciais de todas as ordens,
a funo dada por f = u + iv no pode ser analtica.
5.6.2 Desigualdade de Cauchy

Usando a frmula de Cauchy para derivadas, podemos tirar uma desigualdade muito
importante, que nos d uma estimativa superior para a norma das derivadas de uma
funo analtica f .
Teorema 5.6.3 (Desigualdade de Cauchy). Suponha que f uma funo analtica num
dominio simplesmente conexo D e um crculo definido por |z z0 | = r que est
inteiramente contido em D. Se |f (z)| 6 M em todos os pontos z , ento
|f (n) (z0 )| 6
n!M
.
rn
Demonstrao: Fixe n > 1. Como |f (z)| 6 M em e |z z0 | = r, temos

f
(z)
M

(z z0 )n+1 6 r n+1 .
Usando a frmula integral de Cauchy para derivadas e o Teorema 5.2.9, temos

n! M
n!M
(n)

|f (z0 )| 6
2r = n .

n+1
2i r
r
Note que a constante M depende do crculo |z z0 | = r; mas, aplicando este resultado para n = 0, vemos que temos |f (z0 )| 6 M, para qualquer crculo centrado em z0
inteiramente contido em D. Em outras palavras, a limitao M para |f (z)| em nunca
pode ser menor do que |f (z0 )|.
5.6.3 Teorema de Liouville

Utilizaremos agora o Teorema 5.6.3 para mostrar uma aplicao importantssima no
estudo de funes de varivel complexa.
60
Integrao complexa
Teorema 5.6.4 (Teorema de Liouville). Uma funo inteira f limitada se, e somente
se, f constante.
Demonstrao: Assuma que f uma funo inteira e limitada; isto , |f (z)| 6 M, para
todo z C. Ento, para qualquer ponto z0 C e qualquer crculo |z z0 | = r, podemos
aplicar o Teorema 5.6.3 e obter |f (z0 )| 6 Mr . Como podemos fazer r to grande quanto
quisermos, temos que |f (z0 )| = 0, o que implica que f (z0 ) = 0, para todo z0 C. Pelo
item (b) da Proposio 3.5.14, temos que f constante em C.
Exemplo 5.6.5. As funes ez , sin(z), cos(z), p(z) = c0 + c1 z + + cn z n so funes
inteiras e no constantes, assim o Teorema de Liouville implica que nenhuma delas pode
ser limitada em C.
5.6.4 O Teorema Fundamental da lgebra

Com a teoria de variveis complexas, usando o Teorema de Liouville, podemos agora
demonstrar um dos principais resultados da lgebra de polinmios - que dificilmente
demonstrado com outras tcnicas - de maneira bastante simples e direta.
Teorema 5.6.6 (Teorema Fundamental da lgebra). Seja p(z) um polinmio no constante. Ento p tem pelo menos uma raiz complexa.
Demonstrao: Assuma que p(z) = c0 + c1 z + + cn z n , cn 6= 0, no possua nenhuma
raiz complexa; isto , assuma que p(z) 6= 0, para todo z C. Ento podemos definir a
1
, e esta uma funo inteira, j que o denominador nunca se anula.
funo f (z) = p(z)
Mas temos
|f (z)| =
1
1
1
=
= n
n
|p(z)|
|cn z + c1 z + c0 |
|z| |cn + +
c1
z n1
c0 .
|
zn
Assim, vemos que lim|z| |f (z)| = 0; o que implica facilmente que a funo f (z)
limitada para todo z C. Segue do Teorema de Liouville que f (z) deve ser constante, o
que implica que p(z) constante, e nos d uma contradio e completa a demonstrao.
5.6.5 O Teorema do Mdulo Mximo

O Teorema do Mdulo Mximo uma ferramenta importante quando trabalhamos
com estimativas de funes complexas. Ele garante que para encontrar o mximo valor
para o mdulo de uma funo complexa em uma regio fechada, basta olhar para o mdulo
de f nos pontos da fronteira dessa regio.
61
Teorema 5.6.7 (Teorema do Mdulo Mximo). Assuma que f analtica em uma regio
D limitada por uma curva fechada simples .Ento o mdulo |f (z)| atinge seu mximo
em .
Exemplo 5.6.8. Encontre o valor mximo para o mdulo da funo f (z) = 2z + 5i no
disco fechado dado por |z| 6 2.
Soluo: Como f um polinmio, f analtica em |z| 6 2, e segue do Teorema do
Mdulo Mximo que s precisamos encontrar uma estimativa do mdulo de f para os
pontos na fronteira da regio dada; neste caso, o crculo |z| = 2. Temos, para |z| = 2,
que
|f (z)|2 = f (z) f (z) = (2z + 5i)(2z 5i) = 4zz 10i(z z) + 25
= 4|z|2 + 20Im(z) + 25 = 41 + 20Im(z).
Sabemos que o valor mximo para a expresso acima ocorre quando o mximo de Im(z)
atingida, para |z| = 2, e este valor ocorre quando z = 2i; isto , Im(z) = 2. Logo
max |f (z)| =
|z|62
41 + 20 2 = 9.
62
Integrao complexa
Captulo
6
Sries complexas e resduos
No captulo anterior, vimos que dada uma funo f analtica num ponto z0 , ela possui
todas as derivadas de todas as ordens neste ponto, e todas elas so funes analticas em
z0 ; sendo assim, podemos sempre expandir uma funo analtica num ponto z0 em uma
srie de Taylor numa vizinhana de z0 . Porm se f deixa de ser analtica num ponto z0 ,
veremos que poderemos expandir f num outro tipo de srie numa vizinhana de z0 , que
chamada de srie de Laurent. Com a sries de Laurent, surge naturalmente a definio
de resduo de uma funo num ponto z0 , e isto nos levar a um resultado incrvel para o
clculo de integrais.
6.1 Sequncias e sries complexas*

Muito da teoria de sequncias e sries complexas anloga teoria real. Vamos nesta
seo olhar brevemente as definies e resultados que precisaremos. No que segue N
denota o conjunto dos nmeros naturais e Z o conjunto dos nmeros inteiros.
Definio 6.1.1. Uma sequncia de nmeros complexos {zn }nN uma funo cujo
domnio o conjunto dos nmeros inteiros positivos, com contradomnio complexo. Em
outras palavras, para cada natural n, associamos um nmero complexo zn .
Dizemos que a sequncia {zn }nN converge para um nmero complexo L, se dado
> 0, existe n0 N tal que |zn L| < , para n > n0 . Neste caso, dizemos que o limite
de {zn } L, e escrevemos
lim zn = L ou zn L, quando n .
Quando uma sequncia no convergente, dizemos que ela divergente.
64
Fica a cargo do leitor verificar que se uma sequncia {zn }nN converge para L1 e L2 ,
ento L1 = L2 ; em outras palavras, o limite (quando existe) nico.
Definio 6.1.2. Dada uma sequncia {zn }nN , consideramos uma sequncia {nk }kN tal
que n1 < n2 < n3 < . Dizemos que {znk }kN uma subsequncia de {zn }nN .
Proposio 6.1.3 (Critrio de divergncia para sequncias). Se existem duas subsequncias de {zn }nN que convergem para nmeros complexos distintos, ento a sequncia
{zn }nN divergente.
n+1
Exemplo 6.1.4. As sequncias { n1 }nN , { i n }nN so convergentes. J {in }nN uma

sequncia divergente.
Temos um critrio de convergncia que liga a teoria de sequncias complexas e reais.
Proposio 6.1.5 (Critrio para convergncia). Uma sequncia {zn }nN converge para
um nmero complexo L = a + ib se, e somente se, {Re(zn )}nN converge para a e
{Im(zn )}nN converge para b.
3+in
}nN e calcule seu limite.
Exemplo 6.1.6. Considere a sequncia { n+2ni
Soluo: Sabemos que
2n2 + 3n
n2 6n
. 3 + in
=
+
i
,
zn =
n + 2in
5n2
5n2
e assim vemos que {zn }nN converge para L =
2
5
+ i 15 , quando n .
Considere uma sequncia {zn }nN . Definimos uma outra sequncia {Sn }nN associada
{zn }nN dada por
n
X
Sn = z0 + z1 + + zn1 + zn =
zk .
k=0
A sequncia {Sn }nN chamada sequncia das somas parcias de {zn }nN . Quando
a sequncia {Sn }nN convergente, dizemos que a srie de {zn }nN convergente e
denotamos este limite por
X
lim Sn =
zn .
n
n=0
Agora, vamos relembrar alguns critrios para convergncia e divergncia de sries

complexas.
Proposio 6.1.7 (Teste da divergncia). Se lim zn 6= 0, ento
n
X
n=0
zn diverge.
Definio 6.1.8. Uma srie

verge.
Se
65
|zn | con-
|zn | no convergente, dizemos que a srie
zn
zn dita absolutamente convergente se
n=0
zn convergente, mas
n=0
n=0
X
n=0
condicionalmente convergente.
Exerccio 6.1.9. Seja
X
n=0
an uma srie real condicionalmente convergente. Mostre que
n=0
dado x R, existe uma maneira de reordenar os termos da srie

srie reordenada tenha soma x.
an tal que a nova
n=0
Sabemos que convergncia absoluta implica convergncia, como no curso de Clculo

I. Agora, relembremos dois importantes testes para convergncia e divergncia de sries,
que tambm so vlidos para o caso complexo.
Teorema 6.1.10 (Teste da razo). Suponha que
zn uma srie de nmeros complexos
n=1
no-nulos tais que

zn+1
= L.
lim
n zn
(i) Se L < 1, a srie absolutamente convergente.

(ii) Se L > 1, a srie divergente.
(iii) Se L = 1, o teste inconclusivo.
Teorema 6.1.11 (Teste da raiz). Suponha que
zn uma srie de nmeros complexos
n=1
tais que
lim
zn = L.
(i) Se L < 1, a srie absolutamente convergente.

(ii) Se L > 1, a srie divergente.
(iii) Se L = 1, o teste inconclusivo.
6.1.1 Sries geomtricas

Uma srie geomtrica qualquer srie da forma
X
n=0
az n = a + az + + az n + ,
66
isto , a srie associada a uma sequncia da forma {az n }nN onde a, z so nmeros
complexos. Daqui para frente, fazemos a conveno 00 = 1.
Para uma srie desta forma, simples notar que
Sn zSn = a az n ,
e portanto
Sn =
a(1 z n )
.
1z
a
Agora, z n 0 quando n sempre que |z| < 1, e portanto Sn 1z
. Em outras
X
a
. Alm disso, est srie diverge se |z| > 1.
palavras, para |z| < 1, a srie
az n =
1z
n=0
Trocando z por z na srie acima, podemos ver tambm que
a(1)n z n =
n=0
a
.
1+z
Conclumos ento que para |z| < 1 temos
X
a
a
az =
e
a(1)n z n =
.
1z
1+z
n=0
n=0
n
Exemplo 6.1.12. Calcule o valor da srie

Soluo: Neste caso, sejam a = 1 e z =
X
(1 + 2i)n
n=0
5n
X
(1 + 2i)n
5n
n=0
1+2i
. Como
5
(6.1.1)

=
|z| = 1+2i
5
1
5
< 1, sabemos que
1
1
1+2i = 1 + i .
2
1 5
6.1.2 Sries de potncias

Uma srie da forma
X
n=0
an (z z0 )n = a0 + a1 (z z0 ) + a2 (z z0 )2 +
(6.1.2)
chamada uma srie de potncias (dizemos ainda que ela est centrada em z0 ).
p
.
Aplicando o teste da raiz para a srie acima, se = lim n |an |, ento a srie
n
absolutamente convergente se |z z0 | < 1, divergente se |z z0 | > 1 e inconclusivo
67
de |z z0 | = 1. Isto quer dizer que existe um disco de raio 0 6 R 6 (onde R = 1 ) tal

que a srie de potncia (6.1.2) convergente se |z z0 | < R e divergente se |z z0 | > R.
Definio 6.1.13. Este R definido acima chamado de raio de convergncia da srie
(6.1.2). O crculo |z z0 | = R chamado de crculo de convergncia.
Observao 6.1.14. Note que se = , temos R = 0 e a srie convergente somente
no ponto z = z0 . Se 0 < R < , a srie converge absolutamente para todos os pontos
no interior do crculo de convergncia. Se R = , ento a srie converge para todo
z C.
p
p
Lembre-se que R = 1 , onde = lim n |an |. Pode-se mostrar que lim n |an | =
n
n

an+1
, quando estes dois limites existirem. Assim
lim
n an

an
1
.
R = lim p
= lim
n n |a |
n an+1
n
Sobre o crculo de convergncia |z z0 | = R no podemos dizer muito sobre a srie.

Ela pode convergir em todos os pontos, bem como divergir em todos os pontos; ou at
mesmo convergir em alguns e divergir em outros, como veremos no exemplo a seguir:
Exemplo 6.1.15. Considere a srie de potncias
X
zn
n=1
. Ento, do Teste da razo temos
n+1
z
n

lim n+1
|z| = |z|,
n = lim
z
n
n n + 1
n
e assim a srie converge se |z| < 1 e diverge se |z| > 1.

Ainda se z = 1, sabemos que a srie diverge, enquanto que para z = 1 a srie
convergente. Pode ser mostrado ainda que esta srie converge em todos os pontos do
crculo |z| = 1, exceto no ponto z = 1.
Exerccio 6.1.16. Mostre que a srie acima converge para todo z com |z| = 1, exceto no
ponto z = 1.
Agora, como no Clculo I, temos resultados que nos permitem derivar e integrar termoa-termo uma srie de potncias. Para isto, assumimos no restante desta seo que o raio
de convergncia R da srie (6.1.2) no zero. Temos ento
Teorema 6.1.17. Considere a srie de potncias (6.1.2) e assuma que seu raio de convergncia R no-nulo. Assim, temos
68
(a) esta srie representa uma funo contnua f dentro do seu crculo de convergncia
|z z0 | = R;
(b) a funo f diferencivel e a srie pode ser derivada termo-a-termo dentro do seu
crculo de convergncia |z z0 | = R, e sua derivada f dada por
f (z) =
X
n=1
nan (z z0 )n1 .
(6.1.3)
Ainda mais, a srie (6.1.3) tem raio de convergncia R;

(c) esta srie pode ser integrada termo-a-termo dentro do seu crculo de convergncia; isto
, se um contorno inteiramente contido no interior do crculo |z z0 | = R ento
Z
f (z)dz =
X
n=1
an
(z z0 )n dz,
(6.1.4)
Ainda mais, a srie (6.1.4) tem raio de convergncia R.
6.2 Sries de Taylor

Na teoria de funes de varivel complexa, as sries repesentam um papel muito importante. Vejamos o primeiro resultado que relaciona os conceitos de analiticidade e
sries.
Teorema 6.2.1. Seja f uma funo analtica num domnio D e seja z0 D. Ento f
tem uma representao em srie de potncias:
f (z) =
X
n=0
an (z z0 )n ,
(6.2.1)
onde
f (n) (z0 )
,
(6.2.2)
n!
e esta representao vlida para a maior vizinhana centrada em z0 e raio R > 0 que
est inteiramente contida em D.
an =
Exemplo 6.2.2. Encontre a srie de Taylor de f (z) =
1
,
(1z)2
centrada em z0 = 0.
Soluo: Poderamos utilizar a expresso (6.2.2) para encontrar esta srie. Porm,
1
1
d 1
= (1z)
sabendo que dz
2 , utilizaremos a srie de 1z para nos auxiliar.
1z
6.3 Sries de Laurent
69
Temos para |z| < 1, que
1
1z
z n , logo o item (b) do Teorema 6.1.17 implica que
n=0
X
d 1
1
=
=
nz n1 ,
2
(1 z)
dz 1 z
n=1
a representao em srie de Taylor de f (z) centrada em z0 = 0, que tem raio de
1
convergncia igual ao da srie de 1z
, que R = 1.
Podemos ainda utilizar tais expresses para, por exemplo, encontrar a srie de Taylor
z3
de f (z) = (1z)
2 , simplesmente multiplicando a srie obtida no exemplo anterior, obtendo
X
z2
=
nz n+2 ,
(1 z)2
n=1
e novamente, esta srie tem raio de convergncia R = 1.
Exemplo 6.2.3. Encontre a srie de Taylor de f (z) =
Soluo: Neste caso, escrevemos
1
1z
centrada em z0 = 2i.
1
1
1
1
.
=
=
1z
1 2i (z 2i)
1 2i 1 z2i
12i
.
1
1
1
, temos 1z
= 12i
. Usando a expanso em srie de potncias
Se definimos w = z2i
12i
1w
para |w| < 1, temos
n

X
X
1
z 2i
n
=
w =
,
1 w n=0
1 2i
n=0
logo
X
1
1
=
(z 2i)n ,
n+1
1z
(1 2i)
n=0
= |w| < 1; isto , sempre que |z 2i| < |1 2i| = 5. Portanto o raio
sempre que z2i
12i
de convergncia desta srie R = 5 e o crculo de convergncia |z 2i| = 5 (isto

pode ser verificado tambm aplicando os resultados da Observao 6.1.14).
Observao 6.2.4. Quando a srie de Taylor est centrada em z0 = 0, ela comumente
chamada de srie de Maclaurin.

Se uma funo analtica numa vizinhana de um ponto z0 , ento vimos na seo
anterior que f tem uma representao em srie de Taylor. A pergunta natural que surge
70
: e se f no analtica no ponto z0 ? Ainda podemos encontrar alguma representao

em sries para a funo f ?
Antes de responder esta pergunta, veremos rapidamente a definio de sequncias e
sries com ndices em Z, ao invs de N.
Definio 6.3.1. Uma sequncia com ndices em Z uma funo que a cada nmero
inteiro n associa um nmero complexo zn . Denotamos por {zn }nZ , e quando no houver
confuso, diremos simplesmente que {zn } uma sequncia.
Dada uma sequncia {zn }nZ , podemos construir duas sequncias usuais, dadas por
zn+ = zn , para todo n > 0 e zn = zn , para todo n > 0.
Definio 6.3.2. Diremos que a sequncia {zn }nZ convergente se ambas as sequncias {zn+ }n>0 e {zn }n>0 so convergentes (possivelmente com limites distintos). Neste
caso, se limn zn+ = L1 e limn zn = L2 , escrevemos
n
L2 zn L1 .
Se uma sequncia {zn }nZ no convergente, diremos que ela divergente.
Exemplo 6.3.3. A sequncia {zn }nZ dada por zn = n1 , se n 6= 0 e z0 = 0, convergente
e tambm
n
n
0 zn 0.

J as sequncias {2n }nZ e 21n nZ so divergentes.
Dada uma sequncia {zn }nZ , podemos construir duas sequncias de somas parciais,
como segue
1.
Sn+
n
X
zk =
k=0
2.
Sn
1
X
k=n
n
X
zk+ , para n > 0, e
k=0
zk =
n
X
zk , para n > 0.
k=1
Observao 6.3.4. Para evitar complicaes com o estudo de sries com ndices inteiros,
trataremos somente o caso de convergncia absoluta para as sequncias de somas parciais
definidas acima.
A condio de convergncia absoluta nas sequncias das somas parcias nos d tambm
o seguinte resultado.
71
Definio 6.3.5. Quando as sequncias {Sn+ }n>0 e {Sn }n>0 so absolutamente convergentes para S1 e S2 , respectivamente, dizemos que a srie de {zn }nZ convergente e
denotamos por
X
zn = L1 + L2 = lim Sn+ + lim Sn .
n
n=
Proposio 6.3.6. Se a srie
zn convergente, ento
n=
zn = lim
n=
n,m
n
X
zk .
k=m
Como podemos ver, o estudo de sequncias e sries com ndices inteiros basicamente
anloga ao estudo de sequncias usuais, vista no curso de Clculo II. Assim, todos os
critrios e testes de convergncia se aplicam novamente, se aplicados s partes positiva
e negativa.
6.3.1 Teorema de representao em sries de Laurent

No incio deste captulo, perguntamos como seria uma representao em sries (se
existir) para um funo f que deixa de ser analtica para alguns pontos de um domnio
simplesmente conexo D. A resposta para esta pergunta est contida no seguinte resultado:
Teorema 6.3.7. Seja f uma funo analtica num domnio anelar D definido por r <
|z z0 | < R, (onde 0 6 r < R 6 ). Ento f tem uma representao em srie da forma
f (z) =
n=
an (z z0 )n ,
(6.3.1)
vlida para r < |z z0 | < R, e a convergncia desta srie absoluta. Os coeficientes an

so dados por
I
f (z)
1
dz, para todo k Z,
(6.3.2)
an =
2i (z z0 )n+1
onde uma curva fechada simples inteiramente contida em D e contm z0 em seu
interior (veja figura abaixo).
72
z0
Figura: Regio anelar D e curva .

A srie (6.4.1) chamada de srie de Laurent de f , centrada em z0 , no anel D.
Segue diretamente do Teorema de Cauchy-Goursat que, no caso onde f analtica para
todos os pontos no interior do crculo |z z0 | = R, que an = 0 para todo n < 0, e portanto
a srie de Laurent igual srie de Taylor de f .
Exemplo 6.3.8. Encontre a expanso em srie de Laurent para f (z) =
guintes domnios.
(a) 0 < |z| < 1
(b) |z| > 1
(c) 0 < |z 1| < 1
1
z(z1)
nos se-
(d) |z 1| > 1
Soluo: Nas partes (a) e (b), queremos expressar f envolvendo as potncias de z; j

nos itens (c) e (d), encontraremos sries envolvendo potncias de z 1.
1
Para o item (a), notemos que f (z) = z1 1z
, e lembremos que podemos expressar
X
1
=
zn,
1z
n=0
que vlida em |z| < 1. Assim, multiplicando a expresso acima por 1z , obtemos
f (z) =
X
n=0
n1
zn ,
n=1
e esta expresso vlida para 0 < |z| < 1.

Para a parte (b), temos que construir uma srie que converge se z1 < 1; isto , se
1 < |z|. Para isso, note que
f (z) =
1
1 1
= 2
.
z(z 1)
z 1 z1

Denotando
1
z
73
por w, temos
X
1
=
wn;
1w
n=0
sempre que |w| < 1; isto ,
1
1
X
1
,
=
zn
n=0
1
z
e esta expresso vlida para |z| > 1. Assim, multiplicando esta expresso por
f (z) =
(n+2)
n=0
2
X
1
,
z2
obtemos
zn ,
n=
para todo z com |z| > 1.

1
1
Para o item (c), notemos que podemos escrever f (z) = z1
. Para |z 1| < 1,
1+(z1)
temos
X
1
1
=
=
(1)n (z 1)n .
z
1 + (z 1) n=0
Portanto, dividindo a expresso acima por

f (z) =
X
n=0
(1)n (z 1)n1 =
Finalmente, para o item (d), notemos que

(b), fazendo w =
1
,
z1
1
,
z1
1
z
obtemos
(1)n+1 (z 1)n .
n=1
1
1+(z1)
1
1
1 .
z1 1+ z1
Como no item
temos, para |w| < 1
X
1
=
(1)n w n ;
1 + w n=0
isto
X (1)n
1
.
1 =
(z 1)n
1 + z1
n=0
Portanto
2
X
X
1
1
n
(n+2)
(1) (z 1)
=
(1)(n+2) (z 1)n .
f (z) =
1 =
(z 1)2 1 + z1
n=0
n=
Exemplo 6.3.9. Encontre a expanso de f (z) =

1 < |z 2| < 2.
1
z(z1)
em srie de Laurent, no anel
74
Soluo: Usamos primeiramente a decomposio de f em fraes parciais, para obter

1
1
.
f (z) = +
z z1
Sabemos que
1
1
1
1
.
=
=
z
2 + (z 2)
2 1 + z2
2
Assim, para |z 2| < 2, temos
X (1)n
1
1 X (1)n
n
=
(z
2)
=
(z 2)n .
n+1
z
2 n=0 2n
2
n=0
Sabemos tambm que
1
1
1
1
=
=
1 ,
z1
1 + (z 2)
z 2 1 + z2
e para |z 2| > 1, temos
X (1)n
1
,
=
1
n
(z
2)
1 + z2
n=0
logo
1
X
X
1
(1)n
=
=
(1)(n+1) (z 2)n .
n+1
z 1 n=0 (z 2)
n=
Juntando as duas expresses, obtemos

f (z) =
n=
onde an = (1)(n+1) , para n 6 1, an =

para 1 < |z 2| < 2.
an (z 2)n ,
(1)n
,
2n+1
para n > 0, e esta expresso vlida
8z+1
no anel 0 < |z| < 1.
Exemplo 6.3.10. Encontre a expanso de f (z) = z(1z)
Soluo: Podemos escrever, utilizando a decomposio em fraes parciais:
f (z) =
8z + 1
1
9
= +
.
z(1 z)
z 1z
Sabemos que para |z| < 1, temos
X
9
=9
zn .
1z
n=0

Logo
75
X
X
1
n
z =
an z n ,
f (z) = + 9
z
n=0
n=1
onde a1 = 1 e an = 9, para n > 0; e esta expresso vlida para 0 < |z| < 1.
Exemplo 6.3.11. Encontre a expanso de f (z) =
Soluo: Sabemos, usando o Teorema 6.2.1, que
sin z
z
no anel 0 < |z| < .
X
(1)n 2n+1
sin z =
z
,
(2n + 1)!
n=0
e esta expanso vlida para todo z C. Assim, segue que
X
(1)n 2n
z ,
f (z) =
(2n + 1)!
n=0
e esta expanso vlida para 0 < |z| < .

Observao 6.3.12. Note que no exemplo acima, a srie de Laurent que encontramos
para f est definida para todo z C (s possui potncias no-negativas z n ), enquanto que
a funo f (z) = sinz z no est definida para z = 0. Para que as duas expresses coincidam
em todos os pontos de C, podemos definir a funo
Deste modo, temos
sin z , para z 6= 0
z
f(z) =
1, para z = 0.
f(z) =
X
(1)n 2n
z ,
(2n
+
1)!
n=0
e esta expresso vlida para todo z C.
Exemplo 6.3.13. Encontre a expanso de f (z) = e z no anel 0 < |z| < .

Soluo: Sabemos, usando o Teorema 6.2.1, que
ez =
X
zn
n=0
n!
e esta expanso vlida para todo z C. Assim, segue que

0
X
X
zn
3n
=
,
f (z) =
n!z n n= 3n (n)!
n=0
76
e esta expanso vlida para 0 < |z| < .
6.3.2 Singularidades isoladas

Definio 6.3.14. Um ponto z0 dito uma singularidade isolada para uma funo f
se a funo no analtica em z0 , mas existe um r > 0 tal que a funo analtica em
0 < |z z0 | < r.
Exemplo 6.3.15.
1. z0 = 0 uma singularidade isolada de f (z) = 1z .
2. os pontos 2i e 2i so singularidades isoladas de f (z) =
z
.
z 2 +4
3. z0 = 0 uma singularidade isolada de f (z) = e z .

4. z0 = 1 uma singularidade isolada de f (z) =
sin(z1)
.
(z1)
Observao 6.3.16. Note que, por exemplo, o ponto z0 = 0 no uma singularidade

isolada da funo logaritmo f (z) = Lnz, j que qualquer vizinhana de 0 contm pontos
do eixo real negativo, onde f no analtica.
6.3.3 Classificao de singularidades

Definio 6.3.17 (Singularidade removvel). Uma singularidade isolada de uma funo
f chamada de singularidade removvel se existe uma funo analtica g numa vizinhana |z z0 | < r tal que g(z) = f (z) para 0 < |z z0 | < r.
Definio 6.3.18 (Polo). Dizemos que uma singularidade isolada z0 de f um polo se
lim |f (z)| = ;
zz0
isto , dado M > 0 existe > 0 tal que |f (z)| > M se 0 < |z z0 | < .
Definio 6.3.19 (Singularidade essencial). Dizemos que uma singularidade isolada z0
de f uma singularidade essencial se ela no nem uma singularidade removvel e
nem um polo.
possvel mostrar, com um pouco de trabalho, que estas so as nicas trs possibilidades para uma singularidade isolada. Agora, a pergunta que surge : como podemos
determinar qual o tipo de singularidade isolada de uma funo f ? Isto o que vamos
responder ao longo desta seo com uma srie de resultados.
77
Classificao usando sries de Laurent

Seja z0 uma singularidade isolada de uma funo complexa f . Ento existe r > 0 tal
que a funo f analtica no anel 0 < |z z0 | < r (tambm chamado de disco perfurado
de centro z0 e raio r). Considere a expanso de f em srie de Laurent, dada por
f (z) =
n=
an (z z0 )n .
Temos que z0 :
1. uma singularidade removvel se an = 0, para todo n < 0; isto , se a srie de
Laurent s possui potncias no-negativas de z z0 ;
2. um polo se existe m > 0 tal que an = 0 para n < m e am 6= 0; isto , a srie de
Laurent possui somente uma quantidade finita de potncias negativas de z z0 . O
nmero m chamado de ordem do polo e dizemos neste caso que z0 um polo de
ordem m;
3. uma singularidade essencial se dado m > 0 existe n > m tal que an 6= 0; isto ,
existem infinitas potncias negativas de z z0 na srie de Laurent.
Um polo de ordem 1 tambm chamado de polo simples. Nos exemplos de 1
a 4 acima, temos 1. polo simples, 2. polos simples, 3. singularidade essencial, 4.
singularidade removvel. O ponto z0 = 0 um polo de ordem m da funo f (z) = z1m .
Na Observao 6.3.12, o ponto z = 0 uma singularidade removvel de f .
Singularidades removveis
Estas singularidades so as mais simples de serem tratadas, como veremos agora.
Considere f analtica num disco perfurado D dado por 0 < |z z0 | < r e assuma que z0
uma singularidade removvel de f . Temos ento o seguinte resultado de caracterizao:
Teorema 6.3.20. Seja f uma funo complexa com uma singularidade isolada z0 . Ento
z0 uma singularidade removvel de f se, e somente se,
lim (z z0 )f (z) = 0.
zz0
Essencialmente, singularidades removveis no trazem nada de diferente ao estudo de

singularidades de funes complexas, j que estas podem ser simplesmente eliminadas,
definindo a funo f em z0 de maneira apropriada. Assim dito, no nos preocuparemos
mais com estas singularidades.
78
Polos
Vamos agora estudar os polos, que diferente das singularidades removveis, trazem
uma complicao um pouco maior para o estudo das funes complexas. Juntamente ao
estudo de polos est o estudo de zeros de uma funo complexa. Comearemos ento com
este conceito.
Definio 6.3.21. Um ponto z0 um zero de uma funo f se f (z0 ) = 0. Alm disso,
se f uma funo analtica, dizemos que z0 um zero de ordem m (ou zero de
multiplicidade m) se f (n) (z0 ) = 0 para todo n = 0, , m 1 e f (m) (z0 ) 6= 0. Um zero
de ordem 1 tambm chamado de zero simples. Diremos que um zero z0 de f isolado
se existe r > 0 tal que f (z) 6= 0, para todo 0 < |z z0 | < r.
Daqui em diante, a no ser que dito o contrrio, todos os zeros que estudaremos so
isolados. Uma propriedade importante de zeros isolados a seguinte
Teorema 6.3.22. Sejam z0 C e f uma funo analtica num disco |z z0 | < r. Ento
z0 um zero de multiplicidade m de f se, e somente se, existe uma funo g analtica em
|z z0 | < r, com g(z0 ) 6= 0 e
f (z) = (z z0 )m g(z), em |z z0 | < r.
Demonstrao: A implicao se bem simples, e deixada a cargo do leitor. Provemos
o somente se, e para isto, assuma que z0 um zero de multiplicidade m de f . Como f
analtica no disco |z z0 |, o Teorema 6.2.1 nos d que
f (z) =
X
f (n) (z0 )
n=0
n!
(z z0 )n ,
e como f (n) (z0 ) = 0 para n = 0, , m 1, temos
X
X
f (n) (z0 )
f (n) (z0 )
n
m
(z z0 ) = (z z0 )
(z z0 )nm .
f (z) =
n!
n!
n=m
n=m
X
f (n) (z0 )
(z z0 )nm , o Teorema 6.1.17 nos diz que g analtica
n!
n=m
(note que s aparecem potncias no-negativas de z z0 ), f (z) = (z z0 )m g(z) em
|z z0 | < r e
f (m) (z0 )
6= 0,
g(z0 ) =
m!
Definindo g(z) =
j que, como z0 zero de multiplicidade m, temos f (m) (z0 ) 6= 0.
79
Exemplo 6.3.23. Determine a multiplicidade do zero z0 = 0 da funo f (z) = z sin z 2 .

Soluo: Note primeiramente que a funo f inteira. Assim podemos encontrar a srie
de Taylor de f centrada em 0. Sabemos que
sin z =
X
(1)n z 2n+1
(2n + 1)!
n=0
e esta expresso vlida para todo z C. Assim, substituindo z por z 2 nesta expresso,
obtemos
X
(1)n z 4n+2
2
sin z =
,
(2n + 1)!
n=0
e esta expresso vlida para todo z C. Assim, multiplicando ambos os lados por z,
obtemos
X
X
(1)n z 4n+3
(1)n z 4n
f (z) =
= z3
.
(2n
+
1)!
(2n
+
1)!
n=0
n=0
Assim, f (z) = z 3 g(z), onde g(z) =
X
(1)n z 4n
n=0
zero com multiplicidade 3 de f .
(2n + 1)!
, e g(0) = 1. Portanto z0 = 0 um
Podemos dar uma caracterizao similar para polos.

Teorema 6.3.24. Sejam z0 C e f uma funo analtica num disco perfurado 0 <
|z z0 | < r. Ento z0 um polo de ordem m de f se, e somente se, existe uma funo g
analtica no disco |z z0 | < r com g(z0 ) 6= 0 tal que
f (z) =
g(z)
, em 0 < |z z0 | < r.
(z z0 )m
Demonstrao: Como no teorema anterior, a parte se bem direta e deixada a cargo

do leitor. Provemos a parte somente se, e para isto, assuma que z0 um polo de ordem m
de f . Assim, f tem uma expanso em srie de Laurent no disco perfurado 0 < |z z0 | < r,
dada por
X
f (z) =
an (z z0 )n ,
n=m
onde am 6= 0. Multiplicando ambos os lados por (z z0 )m , obtemos

(z z0 )m f (z) =
n=m
an (z z0 )n+m =
X
n=0
anm (z z0 )n .
Como a srie do lado direito da expresso acima s possui potncias no-negativas de
80
z z0 o Teorema 6.1.17 nos d que g(z) =
X
n=0
anm (z z0 )n define uma funo analtica
no disco |z z0 | < r. Claramente, g(z0 ) = am 6= 0 e

f (z) =
g(z)
, em 0 < |z z0 | < r,
(z z0 )m
o que conclui a demonstrao.

Vimos ento que zeros e polos tm uma caracterizao muito parecida, e com isto
natural perguntar: zeros de multiplicidade m e polos de ordem m esto relacionados?
A resposta para esta pergunta sim! Como veremos nos seguintes resultados.
Teorema 6.3.25. Sejam h, k funes analticas num disco |z z0 | < r. Assuma que z0
um zero de multiplicidade m de h e que k(z0 ) 6= 0. Ento z0 um polo de ordem m da
k(z)
.
funo f (z) = h(z)
Demonstrao: Como z0 um zero de multiplicidade m de h, o Teorema 6.3.22 garante
que existe uma funo g1 analtica no disco |z z0 | < r com g1 (z0 ) 6= 0 e
h(z) = (z z0 )m g1 (z).
Assim, para 0 < |z z0 | < r e g2 (z) =
f (z) =
k(z)
g1 (z)
temos
k(z)
g2 (z)
=
,
h(z)
(z z0 )m
onde g2 analtica em 0 < |z z0 | < r (se r for escolhido suficientemente pequeno) e

0)
6= 0, e o Teorema 6.3.24 nos d o resultado.
ainda g2 (z0 ) = gk(z
1 (z0 )
Corolrio 6.3.26. Sejam z0 C e f uma funo analtica num disco |z z0 | < r, com
f (z) 6= 0 para todo 0 < |z z0 | < r. Ento z0 um zero de multiplicidade m para f se, e
1
somente se, z0 um polo de ordem m de f (z)
.
Exemplo 6.3.27. Encontre os polos e suas ordens, para a funo
f (z) =
2z + 5
.
(z 1)(z + 5)3 (z 2)4
Soluo: O denominador tem z = 1, z = 5 e z = 2 como zeros. Claramente, como

2z + 5 diferente de zero nestes trs pontos, o Teorema 6.3.25 garante que z = 1 um
polo simples, z = 5 um polo de ordem 3 e z = 2 um polo de ordem 4.
6.4 Resduos
81
Singularidades essenciais
As singularidades essenciais so incrivelmente complicadas, e no faremos um estudo
detalhado delas. S para o leitor ter uma ideia do quo complicada uma funo f pode
ficar prximo de uma singularidade essencial, apresentamos sem demonstrao, o seguinte
resultado.
Teorema 6.3.28 (Great Picards Theorem). Assuma que z0 uma singularidade essencial
de uma funo f . Ento, dado > 0, a imagem do disco perfurado 0 < |z z0 | < por
f todo o plano complexo, com uma nica possvel exceo. Alm disso, cada ponto da
imagem atingido um nmero infinito de vezes.
Para ilustrar o resultado acima, mostraremos este teorema num caso bem particular.
1
Proposio 6.3.29. Dado r > 0, a imagem de 0 < |z| < r pela funo f (z) = e z
C \ {0}, e cada ponto na imagem atingido um nmero infinito de vezes.
Demonstrao: Seja r > 0 e w C \ {0}. Mostraremos que existem n0 N e uma
sequncia {zn }n>n0 de nmeros complexos com 0 < |zn | < r tais que
f (zn ) = w, para todo n > n0 .
De fato, seja w C \ {0}, assim w = rei , para algum r > 0 e [, ). Se
1
e = w = rei , temos e z = eLnw = eln |w|+iArgw = eln r+i . Assim, definindo
1
z
.
zn =
1
,
ln r + i( + 2n)
temos z0 6= 0 e e zn = w, para todo n N. Agora

zn =
(ln r)2
ln r
+ 2n
i
,
2
2
+ ( + 2n)
(ln r) + ( + 2n)2
e portanto
|zn | =
(ln r)2
1
.
+ ( + 2n)2
Assim, lim |zn | = 0 e podemos escolher n0 N tal que |zn | < r, para todo n > n0 , o
n
que conclui a demonstrao.
6.4 Resduos
Agora veremos uma ferramenta importantssima e muito til para o clculo de integrais
complexas, que o conhecido Teorema dos Resduos. Antes de enunci-lo, vamos fazer
82
alguns resultados preliminares.

Seja z0 uma singularidade isolada de uma funo f , e considere r > 0 tal que f
analtica no disco perfurado 0 < |z z0 | < r. Temos ento uma expanso em srie de
Laurent para f neste disco perfurado dada por
f (z) =
n=
1
onde an =
2i
an (z z0 )n ,
(6.4.1)
f (z)
dz e o crculo |z z0 | = r1 < r.
(z z0 )n+1
Lema 6.4.1. Temos, para acima, que

I
(z z0 )n dz =
0, se n 6= 1;
2i, se n = 1.
(6.4.2)
Demonstrao: Uma parametrizao para (t) = z0 + r1 eit , para t [0, 2]. Assim,
temos
I
Z 2
Z 2
n
n int
it
n+1
(z z0 ) dz =
r1 e r1 ie dt = r1 i
ei(n+1)t dt.
0
Claramente, se n = 1, temos
I
1
dz = 2i. Agora, assuma que n 6= 1, ento
z z0
(z z0 ) dz =
r1n+1
2
ei(n+1)t
= 0,
i(n + 1) 0
o que conclui a demonstrao.

Usando o Teorema 6.1.17, aplicado srie de Laurent de f , conclumos que podemos
integrar esta srie termo-a-termo. Fazendo esta integrao e usando (6.4.2), temos
I
f (z)dz =
n=
an
(z z0 )n dz = 2ia1 .
(6.4.3)
Utilizando este fato fazemos a seguinte definio:

Definio 6.4.2. Seja z0 uma singularidade isolada de uma funo f e considere a expanso de Laurent (6.4.1) de f no disco perfurado 0 < |z z0 | < r. O termo a1 desta
expanso chamado de resduo de f no ponto z0 , e denotamos por
.
a1 = Res(f, z0 ).
Agora, a equao (6.4.3) nos d o Teorema dos Resduos.
6.4 Resduos
83
Teorema 6.4.3 (Teorema do Resduo). Seja f uma funo analtica no disco perfurado
0 < |z z0 | < r. Ento se uma curva suave por partes, simples e fechada, inteiramente
contida em 0 < |z z0 | < r com z0 no seu interior, orientada positivamente, temos
1
2i
f (z)dz = Res(f, z0 ).
Exemplo 6.4.4. Encontre o resduo de f (z) =

H
calcular f (z)dz, onde o crculo |z 1| = 1.
1
(z1)2 (z3)
em z0 = 1, e use isto para
Soluo: Devemos encontrar a expanso em srie de Laurent de f em torno de z0 = 1.

Sabemos que, para |z 1| < 2, temos
X
1
1
1
1
(z 1)n
1 X (z 1)n
=
=
=
.
=
n
n+1
z3
2 (z 1)
2 1 z1
2
2
2
2
n=0
n=0
Assim, para 0 < |z 1| < 2, temos

f (z) =
X
(z 1)n2
n=0
2n+1
X
(z 1)n
=
,
n+3
2
n=2
1
, para n > 2. Assim sendo, o resduo de f em z0 = 1
e portanto an = 2n+3
1
Res(f, 1) = a1 = .
4
Segue ento do Teorema do Resduo (Teorema 6.4.3) que
I
f (z)dz = 2i Res(f, 1) =
i
.
2
Exemplo 6.4.5. Encontre o resduo de f (z) = e z em z0 = 0 e use-o para calcular

H
f (z)dz, onde o crculo |z| = 1.
P
zn
Soluo: Sabemos que ez =
n=0 n! , e que esta expresso vlida para todo z C.
Portanto, para 0 < |z| < , temos1
0
X
X
zn
3n
=
,
f (z) =
n!z n n= 3n (n)!
n=0
Consulte o Exemplo 6.3.13
84
assim, an =
1
,
3n (n)!
para todo n 6 0. Portanto Res(f, 0) = 3 e temos

I
f (z)dz = 6i.
Usando o Teorema de Cauchy para domnios multiplamente conexos (Teorema 5.3.10),

temos o seguinte resultado
Teorema 6.4.6 (Teorema dos Resduos). Seja f uma funo analtica num domnio D,
exceto numa quantidade finita de singularidades isoladas z1 , , zn . Seja uma curva
suave por partes, simples e fechada, inteiramente contida em D \ {z1 , , zn } contendo
z1 , , zn no seu interior, orientada positivamente. Ento, temos
1
2i
f (z)dz =
n
X
Res(f, zk ).
k=1
Antes de aplicarmos o Teorema dos Resduos a algumas funes, vamos mostrar alguns
resultados que facilitam (muito!) o clculo de resduos para polos, evitando ter que
expandir a funo em srie de Laurent. Claramente, consequncia imediata da definio,
que se z0 uma singularidade removvel de f , ento Res(f, z0 ) = 0.
Proposio 6.4.7. Seja z0 um polo de ordem m de uma funo f e seja g uma funo
analtica em |z z0 | < r tal que g(z) = (z z0 )m f (z), para 0 < |z z0 | < r. Ento
Res(f, z0 ) =
g (m1) (z0 )
.
(m 1)!
Demonstrao: Como g analtica, podemos fazer sua expanso em srie de Taylor, no

disco |z z0 | < r, dada por
g(z) =
X
g (n) (z0 )
n=0
n!
(z z0 )n .
Assim, a srie de Laurent para f dada por

f (z) =
X
g (n) (z0 )
n=0
n!
e portanto Res(f, z0 ) = a1 =
(z z0 )
nm
X
g (m+n) (z0 )
=
(z z0 )n ,
(m
+
n)!
n=m
g (m1) (z0 )
.
(m1)!
Observao 6.4.8. Para utilizar o resultado acima, definimos primeiramente a funo

h(z) = (z z0 )m f (z), para 0 < |z z0 | < r. Desta maneira, a funo analtica g dada
6.4 Resduos
85
no teorema acima dada por
g(z) =
h(z), em 0 < |z z0 | < r,

lim h(z), para z = z0 .
zz0
Claramente h(k) (z) =
dk
[(z
dz k
z0 )m f (z)] para 0 < |z z0 | < r. Portanto

dk
[(z z0 )m f (z)], para todo k > 0.
zz0 dz k
g (k) (z0 ) = lim
Corolrio 6.4.9. Se z0 um polo simples de f , ento

Res(f, z0 ) = lim (z z0 )f (z).
zz0
Exemplo 6.4.10. A funo f (z) = (z1)21(z3) tem um polo simples em z = 3 e um polo

de ordem 2 em z = 1. Encontre os resduos de f nestes pontos.
Soluo: Sabemos do Corolrio 6.4.9 que para o polo simples z = 3 temos
1
1
=
.
z3 (z 1)2
4
Res(f, 3) = lim(z 3)f (z) = lim

z3
Alm disso, aplicando a Proposio 6.4.7 ao polo de ordem 2 z = 1, temos g(z) =

1
(z 1)2 f (z) = z3
. Assim,

d
1
1
1
Res(f, 1) = lim
= lim
= .
2
z1 dz z 3
z1 (z 3)
4
H
Exemplo 6.4.11. Calcule f (z)dz, onde f dada pelo exemplo anterior e o crculo
orientado positivamente dado por
(a) |z| = 2
(b) |z| = 4.
Soluo: Para o item (a), somente a singularidade z = 1 est no interior do crculo,

assim, o Teorema do Resduo (Teorema 6.4.3) temos
I
f (z)dz = 2i Res(f, 1) =
i
.
2
Para o item (b), ambas as singularidades z = 1 e z = 3 esto no interior do crculo.

Segue do Teorema dos Resduos (Teorema 6.4.6) que
I
f (z)dz = 2i [Res(f, 1) + Res(f, 3)] = 0.
86
6.5 Integrais reais imprprias

Considere o seguinte exemplo:
Exemplo 6.5.1. Mostre que
x2
dx
=
.
1 + x4
2
2
z
Soluo: Considere a funo complexa f (z) = 1+z
4 , que tem quatro polos simples, dados
por
zi = ei( 4 +n 2 ) , para i = 0, 1, 2, 3.
Consequentemente, pelo Corolrio 6.4.9, temos que

1
1
Res(f, z0 ) = lim (z z0 )f (z) = = ei 4 =
zz0
4
4
e tambm
1 3
1
Res(f, z1 ) = ei 4 =
4
4

1
1
i ,
2
2

1
1
i .
2
2
Agora seja R > 1 e considere a curva dada pela fronteira do semi-crculo centrado
em 0 e de raio R contido no semiplano superior, orientada positivamente, como na figura
abaixo.
C
R 1
1 R
Figura: A curva .
Do Teorema dos Resduos 6.4.6, como z0 e z1 esto na regio delimitada pela curva ,
temos
I
1
1
f (z)dz = Res(f, z0 ) + Res(f, z1 ) = i ,
2i
2 2
logo obtemos que
f (z)dz = .
2
Aplicando a definio de integral de linha, temos que

I
f (z)dz =
x2
dx + i
1 + x4
R3 e3it
dt.
1 + R4 e4it
6.5 Integrais reais imprprias
87
Mostremos agora que o segundo termo da direita na igualdade acima tende zero
quando R , o que implicar que
= lim
2 R
x2
dx =
1 + x4
x2
dx,
1 + x4
e concluir o resultado.
De fato, pela Proposio 2.2.4, temos |1 + R4 e4it | > R4 1 e assim, temos
Z

i

Z

R3 e3it
R3 R
R3
6
dt
dt
=
0,
1 + R4 e4it
R4 1
R4 1
0
e conclui o resultado.
Notemos alguns ingredientes que utilizamos para demonstrar este resultado:
1. A funo do integrando um quociente de polinmios (que chamamos de funo

racional).
2. A funo que aparece no denominador no pode ter zeros reais, para que a integral
esteja bem definida.
3. Note que para que a integral sobre a parte circular da curva convergisse para zero,
importante que aparea uma potncia de R denominador maior do que a que
aparece no numerador. Para isto, lembrando que pela definio de integral de linha, aparecer sempre um R no numerador, devemos ter o grau do polinmio do
numerador maior que o grau do polinmio do denominador mais 2.
Com estas consideraes, podemos enunciar o seguinte resultado:
Teorema 6.5.2. Sejam p e q dois polinmios reais. Assuma que
1. q no tenha razes reais (consequentemente, tem grau par);
2. grau(q) > grau(p) + 2.
Sejam tambm z0 , , zn os zeros complexos de q quem tm parte imaginria positiva.
Ento
Z
n
X
p(x)
dx = 2i
Res(f, zi ).
q(x)
i=0
x2
dx.
x4 + x2 + 1
88
Soluo: Verifique que todas as condies do Teorema 6.5.2 esto satisfeitas. Os zeros
complexos de q(x) = x4 + x2 + 1 com parte imaginria positiva so
i 3
z0 = e
2
3
3
1
1
e z1 = ei 3 = + i
,
= +i
2
2
2
2
e ambos so polos simples da funo complexa f (z) =

i 4
3
21
=
i
Alm disso
3
2
i 5
3
e z3 = e
1
2
p(z)
.
q(z)
Assim temos os zeros z2 =
3
.
2
Res(f, z0 ) = lim (z z0 )f (z) = z02 (z0 z1 )1 (z0 z2 )1 (z0 z3 )1 =

zz0
1
1
i ,
4
4 3
e tambm
1
1
Res(f, z1 ) = lim (z z1 )f (z) = z12 (z1 z0 )1 (z1 z2 )1 (z1 z3 )1 = i .
zz1
4
4 3
Pelo Teorema 6.5.2 segue que
Z
x2
dx = 2i(Res(f, z0 ) + Res(f, z1 )) = .
4
2
x +x +1
3
Captulo
7
Solues em sries para equaes
diferenciais ordinrias
Neste captulo, veremos como utilizar sries para resolver equaes diferenciais ordinrias de segunda ordem na forma
P (x)
d2 y
dy
+ Q(x) + R(x)y = 0,
dx
dx
(7.0.1)
onde P, Q e R so funes contnuas.

Vamos considerar somente o caso homogneo como acima, pois o caso no-homogneo
P (x)
d2 y
dy
+ Q(x) + R(x)y = S(x),
dx
dx
resolvido similarmente.
Uma ampla classe de problemas em Fsica Matemtica nos leva equaes da forma
(7.0.1), onde os coeficientes so funes polinomiais; por exemplo, a equao de Bessel
x2 y + xy + (x2 2 )y = 0,
onde uma constante, e a equao de Legendre
(1 x2 )y 2xy + ( + 1)y = 0,
onde uma constante, e tambm a equao de Cauchy-Euler
x2 y + xy + y = 0,
90
Solues em sries para equaes diferenciais ordinrias
onde e so constantes.
Queremos resolver (7.0.1) na vizinhana de um ponto x0 em R; e tal soluo est
profundamente relacionada com o comportamento de P nesta vizinhana de x0 . Vamos
nos preocupar com o caso onde P (x0 ) 6= 0; isto , x0 um ponto ordinrio. Da
continuidade de P , segue que existe uma vizinhana de x0 onde P sempre diferente de
zero e assim, podemos dividir esta equao por P (x) e obter a equao
y + p(x)y + q(x)y = 0,
(7.0.2)
onde p(x) Q(x)

e q(x) = R(x)
so funes contnuas. Assim, existe um intervalo onde a
P (x)
P (x)
nica soluo de (7.0.1) com condies iniciais y(x0 ) = y0 e y (x0 ) = y0 existe e est bem
definida.
Buscamos uma soluo para (7.0.1) que possa se expandida em srie de potncias, da
forma
X
y(x) =
an (x x0 )n ,
n=0
e vamos assumir que esta srie convergente num intervalo |x x0 | < , para algum
> 0. Para ilustrar o mtodo que vamos utilizar, vamos comear com um exemplo.
Exemplo 7.0.4. Encontre uma soluo em srie para a equao

y + y = 0, < x < .
Soluo: Sabemos que duas solues linearmente independentes desta equao so y1 (x) =
sin x e y2 (x) = cos x, logo no precisaramos utilizar sries para encontrar as solues
desta equao. Mas este exemplo ilustra bem como utilizar sries de potncias para encontrar solues para equaes diferenciais ordinrias. Note que P (x) 1, logo todo ponto
ordinrio.
Vamos procurar uma soluo para a equao acima na forma de uma srie de potncias
em torno de x0 = 0
X
y(x) =
an xn ,
n=0
e assuma que esta srie converge em um intervalo |x| < . Diferenciando a srie termoa-termo, temos
y =
nan xn1 ,
n=1
91
e derivando uma vez mais, temos
y =
X
n=2
n2
n(n 1)an x
(n + 2)(n + 1)an+2 xn .
n=0
Subistituindo estas expresses na equao inicial, obtemos
[(n + 2)(n + 1)an+2 + an ]xn = 0,
n=0
o que nos d a seguinte relao de recorrncia para a sequncia {an }n>0:

(n + 2)(n + 1)an+2 + an = 0, para todo n > 0.
Esta equao nos mostra que os coeficientes mpares e pares so determinados separadamentes. Para os mpares, temos
a3 =
a1
a3
a1
a1
= , a5 =
= ,
23
3!
45
5!
k
(1)
e sucessivamente, portanto, esperamos que a2k+1 = (2k+1)!
a1 . E provemos este fato usando
o princpio de induo. Observemos primeiramente que este resultado vlido para k = 1.
Assuma que ele verdadeiro para k e provemos o resultado para k + 1. Temos
a2(k+1)+1 = a2k+3 =
a2k+1
(1)k
(1)k+1
=
a1 =
a1 ,
(2k + 3)(2k + 2)
(2k + 3)(2k + 2)(2k + 1)!
(2k + 3)!
e portanto o resultado vlido para todo inteiro positivo k.

Analogamente, podemos demonstrar que a2k =
expresso em srie para y, obtemos
y(x) = a0
X
(1)k
k=0
(2k)!
2k
(1)k
a,
(2k)! 0
e substituindo estes valores na
X
(1)k 2k+1
+ a1
x
.
(2k + 1)!
k=0
Usando o teste da razo, podemos ver que as sries convergem em R, e portanto,

todas as etapas anteriores que fizemos so justificadas, para todo x R. Assim, vemos
facilmente que a soluo geral da equao dada por
y(x) = a0 cos x + a1 sin x.
92
7.1 Equao de Euler

Nesta seo, vamos considerar a equao de Euler dada por
x2 y + xy + y = 0,
(7.1.1)
onde e so constantes reais. Vamos procurar solues pra esta equao no intervalo
x > 01 (podemos estender facilmente para o intervalo x < 0).
Vamos procurar solues para (7.1.1) na forma
y(x) = xr .
Derivando temos y (x) = rxr1 e y (x) = r(r 1)xr2 e substituindo em (7.1.1) temos
xr (r(r 1) + r + ) = 0,
e como isto deve ser verdade para todo valor de x > 0, devemos necessariamente ter
r 2 + ( 1)r + = 0.
As razes (possivelmente complexas) desta equao so
r1 =
(1 ) +
(1 )
(1 )2 4
and r2 =
2
(1 )2 4
.
2
Temos trs casos a analisar: quando r1 , r2 so reais e distintas, quando r1 , r2 so reais

e iguais, e quando r1 , r2 so complexas conjugadas.
Caso 1: r1 , r2 so reais e distintas.
Neste caso, temos as solues y1 (x) = xr1 e y2 (x) = xr2 . Calculando o Wronskiano
destas solues, temos
#
xr1
xr2
= (r2 r1 )xr2 +r1 +1 ,
W (y1 , y2 )(x) = det
r1 xr1 1 r2 xr2 1
"
e segue que W (y1 , y2 )(x) 6= 0, para todo x > 0, e portanto estas solues so linearmente
independentes.
1
Note que x0 = 0 um ponto singular; isto , no um ponto ordinrio.
7.1 Equao de Euler
93
Deste modo, a soluo geral para a equao de Euler neste caso dada por
y(x) = c1 xr1 + c2 xr2 , para x > 0.
Caso 2: r1 , r2 so reais e iguais.
Neste caso, temos r1 = r2 e somente uma soluo y1 (x) = xr1 . Para encontrar uma
outra soluo linearmente independente, podemos utilizar, por exemplo, o mtodo da
reduo de ordem. Mas faremos de uma outra maneira.
Definindo F (r) = r(r 1) + r + , como r1 uma raiz com multiplicidade 2, temos
F (r) = (r r1 )2 ; isto , no s F (r1 ) = 0, como F (r1 ) = 0. A equao (7.1.1) pode ser
escrita da seguinte maneira para y(x) = xr
x2 y (x) + xy (x) + y(x) = xr F (r).
Derivando ambos os lados da expresso acima com respeito varivel r, trocando as
y = xr ln x, temos
ordens das integraes e lembrando que r
d2 r
d
x
[x ln x] + x [xr ln x] + xr ln x = rxr1 F (r) + xr F (r),
2
dx
dx
2
assim, para r = r1 , o lado direito da expresso acima zero, o que nos mostra que
y2 (x) = xr1 ln x, x > 0, tambm uma soluo para a equao de Euler.
Agora, temos
"
#
xr1
xr1 ln x
W (y1 , y2)(x) = det
= x2r1 1 ,
r1 1
r1 1
r1 x
x
(r1 ln x + 1)
e portanto W (y1, y2 )(x) 6= 0 para x > 0, e portanto estas duas solues so linearmente
independentes, e a soluo geral para a equao de Euler dada por
y(x) = xr1 (c1 + c2 ln x), para x > 0.
Caso 3: r1 , r2 so complexas conjugadas.
Assuma, neste caso, que r1 = + i e r2 = i, com 6= 0. Lembremo-nos que
xr1 = er1 ln x = e(+i) ln x = e ln x ei ln x
= e ln x (cos( ln x) + i sin( ln x))
= x (cos( ln x) + i sin( ln x)), para x > 0.
94
Note que estamos buscando solues reais para a equao de Euler, e para isso, lembremos que qualquer combinao linear de solues de uma equao linear homognea
ainda uma soluo, portanto, as funes definidas por
1
1
y1 (x) = xr1 + xr2 = x cos( ln x), para x > 0,
2
2
1
1 r1
x xr2 = x sin( ln x), para x > 0,
2i
2i
so solues reais da equao de Euler. Ainda, temos
e
y2 (x) =
"
x cos( ln x)
x sin( ln x) ln x
W (y1, y2 )(x) = det 1
x ( cos( ln x) sin( ln x)) x1 ( sin( ln x) + cos( ln x))
= x21 ,
e portanto W (y1 , y2 )(x) 6= 0 para x > 0, o que mostra que y1 e y2 so solues linearmente
independentes da equao de Euler, e a soluo geral neste caso dada por
y(x) = x (c1 cos( ln x) + c2 sin( ln x)), para x > 0.
Questo: como fazemos agora para resolver esta equao para x < 0? Procederemos
da seguinte maneira: consideremos a mudana de varivel x = , para > 0, e definamos
u() = y() = y(x). Assim, temos
du
dy dx
dy
=
=
d
dx d
dx
d2 u
dy
=
,
2
d
dx
assim, substituindo estes valores na equao de Euler, obtemos

2
du
d2 u
+
+ u = 0;
2
d
d
isto , u uma soluo da equao de Euler para > 0, e portanto temos
c r 1 + c2 r 2
1
u() = r1 (c1 + c2 ln )
(c cos( ln ) + c sin( ln )),

1
2
dependendo das razes de F (r) serem reais e distintas, reais e iguais, ou complexas
conjugadas, respectivamente. Trocando por x e lembrando que |x| = x para x < 0,
7.1 Equao de Euler

temos
95
c |x|r1 + c2 |x|r2
1
y(x) = |x|r1 (c1 + c2 ln |x|)
|x| (c cos( ln |x|) + c sin( ln |x|)),

1
2
Lembrando que |x| = x, para x > 0, podemos unir todos estes resultados, provando
assim o seguinte teorema:
Teorema 7.1.1 (Equao de Euler). A soluo geral da equao de Euler
x2 y + xy + y = 0,
em um intervalo qualquer que no contm a origem determinada pelas razes r1 e r2 da
equao
F (r) = r(r 1) + r + = 0.
1. Se as razes so reais e distintas, ento
y(x) = c1 |x|r1 + c2 |x|r2 .
2. Se as razes so reais e iguais, ento
y(x) = |x|r1 (c1 + c2 ln |x|).
3. Se as razes so complexas conjugadas, ento
y(x) = |x| (c1 cos( ln |x|) + c2 sin( ln |x|)),
onde r1 = + i e r2 = i, com 6= 0.
Exemplo 7.1.2. Encontre a soluo geral para a equao de Euler em x > 0, dada por
(a) 2x2 y + 3xy y = 0.
(b) x2 y + 5xy + 4y = 0.
(c) x2 y + xy + y = 0.
Soluo: Para o item (a), temos

1
1
2
F (r) = 2r(r 1) + 3r 1 = 2r + r 1 = 2 r + r
2
2

1
(r + 1),
2 r
2
2
96
e portanto as razes r1 =
1
2
e r2 = 1 so reais e distintas, e a soluo geral dada por

1
y(x) = c1 x 2 + c2 x1 , para x > 0.

Para o item (b), note que
F (r) = r(r 1) + 5r + 4 = r 2 + 4r + 4 = (r + 2)2 ,
e assim temos duas razes reais e iguais r1 = r2 = 2, logo a soluo geral dada por
y(x) = x2 (c1 + c2 ln x).
Para o item (c), vemos que
F (r) = r(r 1) + r + 1 = r 2 + 1 = (r + i)(r i),
e assim temos duas razes complexas conjugadas r1 = i e r2 = i, logo a soluo geral
dada por
y(x) = c1 cos(ln x) + c2 sin(ln x).
7.2 Solues em sries num ponto singular regular - o

mtodo de Frobenius
Nesta seo vamos nos preocupar em resolver a equao
y + p(x)y + q(x)y = 0,
(7.2.1)
mas numa situao um pouco mais geral do que fizemos acima. Queremos resolver esta
equao numa vizinhana da origem x0 = 0, mas vamos supor que pelo menos uma das
funes p(x) ou q(x) no seja analtica numa vizinhana da origem x0 = 0; isto , no
possvel expandir p ou q numa srie de potncias em torno da origem.
Deste modo, no razovel esperar que possamos resolver a equao acima usando uma
X
expresso em srie de potncias y(x) =
an xn , como fizemos no incio deste captulo.
n=0
Vamos porm, assumir que x0 = 0 um ponto singular regular; isto , que as funes
dadas por s(x) = xp(x) e t(x) = x2 q(x) so funes analticas e tem expanses em sries
97
de potncias dadas por

s(x) =
sn x
t(x) =
n=0
tn xn ,
n=0
numa vizinhana de x0 = 0.
Para que estas funes s e t apaream na equao inicial, vamos multiplic-la por x2 ,
obtendo
x2 y + xs(x)y + t(x)y = 0.
Note que se sn = tn = 0, para n > 1, a equao acima se reduz a
x2 y + xs0 y + t0 y = 0,
(7.2.2)
que uma equao de Euler, e foi discutida na seo anterior. Novamente, vamos nos
restringir a encontrar solues para x > 0 numa vizinhana de x0 = 0. Como a equao (7.2.1) basicamente uma equao de Euler da forma (7.2.2), cuja soluo xr ,
buscaremos uma soluo em srie na forma
r
y(x) = x
an xn ,
n=0
com a0 6= 0, que chamada srie de Frobenius.

Nosso plano para encontrar tal soluo o seguinte:
1. encontrar os valores de r para os quais a equao (7.2.1) tem uma soluo dada por
uma srie de Frobenius;
2. encontrar e resolver a relao de recorrncia para os coeficientes an e
3. encontrar o raio de convergncia da srie
an xn .
n=0
A teoria geral foi feita e provada pelo matemtico alemo Ferdinand Georg Frobenius
(1849-1917), e bastante complicada. Ao invs de apresentarmos esta teoria geral, iremos
aplic-la em alguns exemplos, para que possamos ilustr-la um pouco.
Exemplo 7.2.1. Encontre uma soluo para a equao diferencial
2x2 y xy + (1 + x)y = 0.
(7.2.3)
1
e
Soluo: Claramente, x0 = 0 um ponto regular singular. De fato, temos p(x) = 2x
98
q(x) =
1+x
,
2x2
e portanto
s(x) = xp(x) =
1
2
t(x) = x2 q(x) =
1+x
,
2
que j esto escritas em suas sries de potncia, j que s0 = 12 , t0 = t1 = 12 e todos os

outros sn e tn so zero. A equao de Euler correspondente a equao (7.2.3)
2x2 y xy + y = 0.
r
Vamos ento assumir que temos uma soluo y(x) = x
an xn para (7.2.3), com
n=0
a0 6= 0. Temos
X
y (x) =
(n + r)an xn+r1
y (x) =
X
n=0
n=0
(n + r)(n + r 1)an xn+r2 ,
e substituindo estes valores na equao (7.2.3), temos

2
2x y xy + (1 + x)y =
X
n=0
2(n + r)(n + r 1)an xn+r
X
X
X
n+r
n+r
an xn+r+1 .
an x
+
(n + r)an x
+
n=0
n=0
n=0
O ltimo termo do lado direito na expresso acima, pode ser escrito como
e podemos combinar os termos para obter
an1 xr+n ,
n=1
2x2 y xy + (1 + x)y = a0 [2r(r 1) r + 1]xr
X
{[2(r + n)(r + n 1) (r + n) + 1]an + an1 }xr+n = 0.
+
n=1
Se a equao acima deve ser satisfeira para todo x, ento todos os coeficientes dessa
srie dever ser zero. Do coeficiente de xr , uma vez que a0 6= 0, obtemos 2r(r1)r+1 = 0;
isto ,
2r(r 1) r + 1 = 2r 2 3r + 1 = (r 1)(2r 1) = 0.
Esta equao chamada de equao indicial para a equao (7.2.3). Note que esta
exatamente a mesma equao polinomial que obteramos para a equao de Euler associada
equao (7.2.3). As razes da equao indicial so r1 = 1 e r2 = 21 . Estes valores so
chamados os expoentes na singularidade para o ponto singular regular x0 = 0.
99
Agora, os coeficientes de xr+n nos do

[2(r + n)(r + n 1) (r + n) + 1]an + an1 = 0,
ou equivalentemente
an =
an1
an1
=
, para n > 1.
2(r + n)(r + n 1) (r + n) + 1
[(r + n) 1][2(r + n) 1]
Para cada uma das duas razes r1 e r2 da equao indicial, usamos a relao de
recorrncia acima para encontrar valores para os coeficientes an . Para r1 = 1, temos
an =
an1
, para n > 1,
(2n + 1)n
e podemos mostrar que

(1)n
a0 , para n > 1.
3 5 7 (2n + 1)n!
an =
Assim, tomando a0 = 1, obtemos uma soluo para (7.2.3) dada por

"
y1 (x) = x 1 +
X
n=1
#
(1)n
xn , para x > 0.
3 5 7 (2n + 1)n!
Podemos determinar o raio de convergncia para esta srie usando o teste da razo, e
encontramos que esta srie converge para todo x.
Para a segunda raz r2 = 21 , procedemos da mesma maneira, e encontramos
an =
an1
an1
, para n > 1.
1 =
n(2n 1)
2n(n 2 )
Portanto, encontramos
(1)n
a0 , para n > 1,
3 5 (2n 1)n!
an =
e novamente, tomando a0 = 1, obtemos uma segunda soluo para esta equao, dada por
y2 (x) = x
1
2
"
1+
X
n=1
#
(1)n
n
x , para x > 0,
3 5 (2n 1)
e esta srie tambm converge para todo x.

1
Como os termos principais de y1 e y2 so x e x 2 , respectivamente, segue que estas
100
solues so linearmente independentes. Portanto, a soluo geral da equao (7.2.3)

dada por
y(x) = c1 y1 (x) + c2 y2 (x), para x > 0.
7.3 Equao de Legendre

Esta seo um exerccio para o leitor encontrar as solues para a equao de Legendre, dada por
(1 x2 )y 2xy + ( + 1)y = 0,
(7.3.1)
e tambm algumas de suas propriedades.
1. Note que o ponto x0 = 0 um ponto ordinrio para (7.3.1).
2. Note que necessrio somente considerar o caso > 1, pois se 6 1, ento a
substituio = 1 > 0 nos d a equao de Legendre
(1 x2 )y 2xy + ( + 1)y = 0.
3. Procure uma soluo para a equao de Legrende na forma de srie de potncias
y(x) =
an xn ,
n=0
1
e como a distncia de x0 = 0 at as singularidades 1, 1 da funo 1x
2 1, podemos
esperar que esta srie de potncias tenha raio de convergncia pelo menos 1.
4. Mostre que as solues linearmente independentes para a equao de Legendre para

|x| < 1 so
y1 (x) = 1+
(1)k
k=1
( 2)( 4) ( 2k + 2)( + 1)( + 3) ( + 2k 1) 2k

x ,
(2k)!
e
y2 (x) = x+
X
k=1
(1)k
( 1)( 3) ( 2k + 1)( + 2)( + 4) ( + 2k) 2k+1

x
.
(2k + 1)!
5. Mostre que se = 0 ou se um inteiro positivo par ( = 2n), ento a soluo

y1 (x) se reduz a um polinmio de grau 2n contendo somente potncias pares de x.
7.4 Equao de Bessel
101
6. Mostre que se um inteiro positivo mpar, ento y2 (x) se reduz a um polinmio

de grau 2n + 1 contendo somente potncias mpares de x.
7. Defina o polinmio de Legendre Pn (x) para um inteiro n como a soluo polinomial da equao de Legendre com = n, que satisfaz Pn (1) = 1.
8. Mostre que a equao de Legendre pode ser escrita na forma
[(1 x2 )y ] = ( + 1)y.
Assim, segue que [(1 x2 )Pn (x) ] = n(n + 1)Pn (x) e [(1 x2 )Pm (x) ] = m(m +
1)Pm (x). Multiplicando a primeira equao por Pm (x), a segunda por Pn (x) e
fazendo uma integrao por partes, mostre que
Z
Pn (x)Pm (x)dx = 0, se n 6= m.
Nota: possvel mostrar tambm que se n = m ento a integral acima vale
2
.
2n+1
9. Dado um polinmio qualquer p(x) de grau n, sempre possvel escrever p como uma
combinao linear de P0 (x), , Pn (x); isto , sempre existem constantes a0 , , ak
tais que
X
ak Pk (x).
p(x) =
k=0
Usando este fato e o item (8), prove que

2k + 1
ak =
2
p(x)Pk (x)dx.
7.4 Equao de Bessel

Vamos nesta seo em procurar uma soluo para a equao de Bessel de ordem zero,
dada por
x2 y + xy + x2 y = 0.
(7.4.1)
Vemos que x0 = 0 um ponto singular regular desta equao, e vamos considerar por
simplicidade o caso x > 0. Queremos encontrar uma srie de Frobenius
r
y(x) = x
X
n=0
an x = a0 x +
X
n=1
an xn+r ,
102
onde a0 6= 0 e tal que esta srie convirja para |x| < , com > 0. Temos
y (x) =
r+n1
(r + n)an x
n=0
y (x) =
X
n=0
(r + n)(r + n 1)an xr+n2 .
Substituindo estas expresses em (7.4.1), temos

2
x y + xy + x y =
X
n=0
r+n
an [(r + n)(r + n 1) + (r + n)]x
= a0 [r(r 1) + r]xr + a1 [(r + 1)r + (r + 1)]xr+1 +
X
n=0
an xn+r+2
n=0
an [(r + n)(r + n 1) + (r + n)]xr+n

+
an2 xn+r
n=2
r+1
= a0 [r(r 1) + r]x + a1 [(r + 1)r + (r + 1)]x
X
{an [(r + n)(r + n 1) + (r + n)] + an2 }xr+n = 0.
+
n=0
A equao indicial para esta equao F (r) = r(r 1) + r (o coeficiente do termo a0 ),

que tem r1 = 0 como raiz de multiplicidade dois. Neste caso, podemos somente encontrar
uma soluo para esta equao.
Observao 7.4.1. possvel, com um estudo mais aprofundado, encontrar uma segunda
soluo para esta equao. Por simplicidade, nos focaremos somente em encontrar uma.
P
n
Assim, esperamos encontrar uma soluo da forma y(x) =
n=0 an x . Com r = 0 na
expresso acima, obtemos que a1 = 0 e tambm a seguinte relao de recorrncia:
an =
an2
, para n > 2.
n2
Vemos da relao de recorrncia que os coeficientes de ndices pares e mpares so

encontrados separadamente.
Caso 1: ndices mpares.
Neste caso, como a1 = 0, a relao de recorrncia nos d que a2n+1 = 0, para todo
n > 0.
Caso 2: ndices pares.
7.4 Equao de Bessel
103
Neste caso, temos

a2 =
a0
,
22
a4 =
a2
a0
= 4 2,
2
4
22
a6 =
a0
,
2)2
26 (3
e, em geral, esperamos que

a2k =
(1)k
a0 .
22k (k!)2
(7.4.2)
Provemos (7.4.2) utilizando o principio da induo finita. Claramente, como constatamos acima, (7.4.2) vlida para k = 0, 1, 2 e 3. Suponhamos que (7.4.2) vlida para
um k arbitrrio e provemos ser verdade para k + 1.
Temos
a2(k+1) = a2k+2 =
a2k
(1)k
(1)k+1
=
a
=
a0 ,
0
22 (k + 1)2
22 (k + 1)2 22k (k!)2
22(k+1) [(k + 1)!]2
e portanto (7.4.2) vlida para todo k > 0.

Portanto, uma soluo para a equao de Bessel tem a forma
y1 (x) = a0
X
(1)n 2n
.
x
1+
22n (n!)2
n=1
"
A funo entre os colchetes chamada de funo de Bessel do primeiro tipo de

ordem zero, e denotada por J0 (x). Com o teste da razo, podemos concluir que esta
srie converge para todo x real.
104
Captulo
8
Equaes diferenciais parciais
Neste captulo vamos dar brevemente a definio de uma equao diferencial parcial e
resolver algumas equaes em casos particulares. Comecemos nosso estudo com a seguinte
definio:
Definio 8.0.2. Uma equao diferencial parcial, ou simplesmente, uma EDP,
uma relao que envolve uma funo u de n-variveis independentes x1 , , xn e suas
derivadas parciais com relao a cada uma dessas variveis, at uma certa ordem k.
Exemplo 8.0.3. Para uma funo u(t, x) ou u(x, y), temos as seguintes EDPs:
1. uxx = 0.
2. utt = c2 uxx , onde c uma constante. Esta chamada a equao da onda.
3. ut = kuxx , onde k > 0 uma constante. Esta chamada a equao do calor.
4. uxx + uyy = 0. Esta chamada a equao de Laplace.
A teoria de resoluo de EDPs consideravelmente mais complicada do que a teoria de
EDOs, e a resoluo de uma EDP depende no somente da equao em si, mas depende
tambm do formato da regio aonde estamos considerando estas equaes (isto ficar
mais claro ao longo do captulo).
Nos dedicaremos agora resoluo da equao da onda e da equao de Laplace
em alguns casos especiais. Comecemos com a resoluo da equao de Laplace em um
retngulo.
8.1 Equao de Laplace
A equao de Laplace para uma funo u(x1 , , xn ) dada por

.
u = ux1 x1 + uxnxn = 0.
106
Uma funo que satisfaz a equao de Laplace chamada de funo harmnica. Em

dimenso um, temos simplesmente uxx = 0, cujas solues so da forma u(x) = A + Bx,
onde A e B so constantes; mas isto to simples que este caso no nos d absolutamente
nenhuma dica do que acontece em dimenses maiores.
Para vermos o que pode acontecer, vamos estudar a equao de Laplace em dimenso
2. Mais precisamente vamos estudar o problema de Dirichlet
(
uxx + uyy = 0 em ,
u = f em
(8.1.1)
onde um domnio limitado em R2 e f uma funo dada.

possvel mostrar, sem muitas dificuldades, que nestas condies a equao de Laplace possui no mximo uma soluo. Mas as dificuldades aparecem quando queremos
responder as seguintes perguntas: ser que ela possui uma soluo? E se de fato tal
soluo existe, possvel encontrar uma expresso explcita para ela?
Neste ponto veremos o quanto o domnio importante para respondermos tais
perguntas. Comearemos com o caso mais simples, aonde um retngulo.
8.1.1 Domnios retangulares

Vamos aqui utilizar o mtodo da separao de variveis, para encontrar a soluo do
problema de Dirichlet (8.1.1) no caso onde o retngulo
.
= {(x, y) R2 : 0 < x < a, 0 < y < b},
e a funo f dada por
f1 (x), para (x, y) em [0, a] {0};
f2 (y), para (x, y) em {a} [0, b];

f (x, y) =
f3 (x), para (x, y) em [0, a] {b};
f (y), para (x, y) em {0} [0, b],

4
onde f1 , f2 , f3 e f4 so funes dadas, satisfazendo f1 (0) = f4 (0), f1 (a) = f2 (0), f2 (b) =

f3 (a), f3 (0) = f4 (b).
Como a soma de solues da equao de Laplace ainda uma soluo, podemos
facilmente ver que basta resolver o caso f1 = f2 = f4 0. Os casos f1 = f3 = f4 0,
f2 = f3 = f4 0 e f1 = f2 = f3 0 so resolvidos analogamente, e o caso geral obtido
pela soma destes quatro casos.
Como mencionamos anteriormente, utilizaremos aqui o mtodo da separao de
107
variveis, que consiste em buscar soluo que dependam separadamente das variveis x
e y; isto , buscamos uma soluo da equao de Laplace que tenha a forma
u(x, y) = X(x)Y (y),
onde X, Y so funes independentes.
Utilizando esta expresso para u, a equao de Laplace se torna
X (x)Y (y) + X(x)Y (y) = 0,
e como estamos procurando solues no-nulas para o nosso problema, podemos dividir
esta expresso por X(x)Y (y) para obter
X (x) Y (y)
+
= 0,
X(x)
Y (y)
ou equivalentemente
Y (y)
X (x)
=
.
X(x)
Y (y)
Mas note que na expresso acima, o lado esquerdo uma funo que s depende de
x, enquanto o lado direito uma funo que depende somente de Y . Isto s possvel
quando estas duas funes tem valor constante, que denotamos por . Dito de outra
maneira, existe um nmero real tal que
Y (y)
X (x)
=
= .
X(x)
Y (y)
Assim, primeiramente vamos resolver o problema homogneo

(
X (x) + X(x) = 0
(8.1.2)
X(0) = X(a) = 0.
Observao 8.1.1. As condies iniciais para X so obtidas lembrando que 0 = u(0, y) =

X(0)Y (y) e 0 = u(a, y) = X(a)Y (y), para todo y [0, b], e como buscamos solues nonulas para a equao, devemos ter X(0) = X(a) = 0.
O polinmio caracterstico de (8.1.2) dado por F (r) = r 2 + , cujas razes so
r = i e assim a soluo geral para a equao em (8.1.2) dada por

X(x) = c1 ei
+ c2 ei
108
onde c1 , c2 so constantes arbitrrias. Aplicando as condies iniciais, temos

(
c1 + c2 = 0
c1 ei
+ c2 ei
= 0,
(8.1.3)
e assim, obtemos que c1 (ei a ei a ) = 0. Como estamos buscando solues no-nulas,

devemos ter c1 6= 0 (pois se c1 = 0 ento c2 = 0 e assim X(x) = 0), o que nos d que
ei
ei
= 0,
2 2
e assim temos e2i a = 1, portanto 2i a = 2ni, para n Z; isto , = na2 , para
2 2
n N. Assim, a equao (8.1.2) s ter soluo no nula se = na2 , para n N, e neste
. A soluo geral de (8.1.2) para
caso, as razes do polinmio caracterstico so r = i n
a
n
= a com n > 1, que denotamos por Xn (x) da forma
n
Xn (x) = c1 sin
x .
a
Para n = 0, temos = 0 e a soluo geral de (8.1.2) a da forma
X(x) = c1 + c2 x.
Com as condies iniciais X(0) = X(a) = 0, obtemos que X(x) = 0, que no nos
interessa. Assim, vamos analisar somente as solues para n > 1.
Agora, para estes valores de , vamos encontrar as solues de
(
Y (y) Y (y) = 0
(8.1.4)
Y (0) = 0.
Observao 8.1.2. Aqui, novamente, a condio inicial obtida da expresso 0 =

u(x, 0) = X(x)Y (0), e como X(x) no nula, devemos ter Y (0) = 0.
O polinmio caracterstico deste problema F (r) = r 2 , que tem razes r = =

. Logo, a soluo geral para (8.1.4) dada por
n
a
Y (y) = d1 e
n
y
a
+ d2 e
Aplicando a condio inicial, obtemos

d1 + d2 = 0,
n
y
a
109
e assim a soluo geral Yn de (8.1.4) para =
n2 2
a2
dada por
n
Yn (y) = d1 sinh
y
a
2 2
Logo, para cada = na2 com n > 1, temos uma soluo un (x, y) para a equao de
Laplace, com c1 = d1 = 1, dada por
un (x, y) = sin
n
n
x sinh
y .
a
a
Usando o princpio da superposio, como combinaes lineares de solues de equaes diferenciais lineares ainda so solues, uma soluo para a equao de Laplace
u(x, y) =
an un (x, y) =
n=1
X
n=1
an sin
n
n
x sinh
y .
a
a
Para completar o problema, devemos encontrar uma soluo que satisfaa a condio
u(x, b) = f3 (x), para todo x [0, a]. Aplicando esta condio devemos ter
n
n
x sinh
b , para todo x [0, a].
f3 (x) =
an sin
a
a
n=1
Vamos agora determinar os coeficientes an para que a expresso acima seja vlida.
Lema 8.1.3. Para n, m > 1 temos

Z
a
0
0,
n
m
sin
x sin
x dx = a
,
a
a
2
se n 6= m,
se n = m.
Agora, usando o lema acima, multiplicando a expresso a expresso por sin

integrando de 0 at a, obtemos
Z
logo temos
para todo m > 1.
f3 (x) sin
m
m
a
x dx = am sinh
b ,
a
2
a
2
am =
a sinh
m
b
a
a
0
m
f3 (x) sin
x dx,
a
m
x
a
110
Portanto a soluo de (8.1.1) no retngulo

u(x, y) =
2X
para (x, y) .
n=1
"
1
sinh
n
b
a
#
n
n
n
f3 (x) sin
x dx sin
x sinh
y ,
a
a
a
Exerccio 8.1.4. Encontre a soluo deste problema quando f3 (x) = sin

que tal soluo no esteja mais expressa em forma de sries.
x
a
, de maneira
8.1.2 Discos
Nesta seo, veremos como encontrar uma soluo para o problema (8.1.1) quando
.
um disco centrado na origem; isto , = {(x, y) R2 : x2 + y 2 < 2 } para algum > 0,
isto , vamos estudar o problema
(
uxx + uyy = 0, em
u = h(), em .
(8.1.5)
Vamos aqui utlilizar o mtodo da separao de variveis novamente. Mas, como estamos trabalhando num disco, mais conveniente trabalharmos com coordenadas polares.
Sendo assim, precisamos verificar como o operador Laplaceno se comporta em coordenadas
polares.
Lembremos que em coordenadas polares, descrevemos os pontos do disco por x =
r cos e y = r sin , onde 0 6 r < e 0 6 6 2. Assim, se escrevemos u(x, y) =
u(x(r, ), y(r, )), temos
r u = x u cos + y u sin e u = u r sin + u r cos .
Simbolicamente, denotamos isto na forma matricial, para obter a seguinte relao
entre os operadores diferenciais
" # "
# " #
r
cos
sin
x
=
r sin r cos
y
Invertendo esta transformao, obtemos
# " #
" # "
r
x
cos sinr
=
cos
sin
y
r
111
Agora, usando estas expresses, temos

xx = cos2 rr 2
sin cos
sin2
2 sin cos
sin2
r + 2 +
+
r
r
r
r2
r
cos2
2 sin cos
cos2
sin cos
r +
+
r .
r
r2
r2
r
Assim, somando as duas, obtemos a expresso para o operador Laplaceano em coordenadas polares, dada por
yy = sin2 rr + 2
1
1
uxx + uyy = urr + ur + 2 u ,
r
r
para 0 < r < .
Observao 8.1.5. Por enquanto, assumiremos que r > 0, para podermos utilizar a
expresso para o Laplaceano em coordenadas polares. Em alguns passos mais adiante,
removeremos esta condio, para encontrar solues em todo o disco.
Vamos agora buscar solues para (8.1.5) da forma u(r, ) = R(r)(). Temos
1
1
R (r)() + rR (r)() + 2 R(r) () = 0.
r
r
Como estamos buscando solues no-nulas para o problema, podemos dividir esta
expresso por u, e multiplic-la por r 2 , para obter
r2
R (r)
R (r) ()
+r
+
= 0,
R(r)
R(r)
()
ou equivalentemente
r2
R (r)
()
R (r)
+r
=
.
R(r)
R(r)
()
Como para o caso de retngulos, a expresso acima s possvel se existe uma constante
tal que
R (r)
()
R (r)
+r
=
= .
r2
R(r)
R(r)
()
Utilizando a equao para , lembrando que deve ser uma funo 2peridica,
temos
(
() + () = 0
(8.1.6)
( + 2) = (), para R.
O polinmio caracterstico desta equao F (s) = s2 + , cujas razes so s = i ,
112
e assim a soluo geral dada por
() = c1 sin( ) + c2 cos( ).
Exerccio 8.1.6. Mostre que utilizando as condies de contorno para , obtemos = n2 .
Com este exerccio, obtemos ento a soluo
n () = c1 sin(n) + c2 cos(n),
para cada n > 0. Note que para = 0, a soluo 0 () = c2 .
Observao 8.1.7. Note que as constantes variam com n; isto , c1 = c1 (n) e c2 = c2 (n).
Agora, para cada = n2 , n > 0, vamos encontrar a soluo da equao
r 2 R (r) + rR (r) n2 R(r) = 0,
que uma equao de Euler, que tem polinmio caracterstico Fr (s) = s(s 1) + s n2 ;
de onde obtemos que s = n.
Assim, para n > 1, temos a soluo
Rn (r) = d1 r n + c2 r n ,
e a soluo para n = 0 dada por
R0 (r) = d1 + d2 ln r.
Como as solues r n e ln r tendem a infinito quando r 0+ , descartamos todos estes
termos, e assim obtemos as solues
Rn (r) = d1 r n , para n > 0 e 0 6 r < .
Assim, como no caso anterior, multiplicando as solues Rn e n e somando para
n > 0, obtemos
a0 X n
+
r (an cos(n) + bn sin(n)).
u(r, ) =
2
n=1
Usando a condio de fronteira, obtemos ento
a0 X n
+
(an cos(n) + bn sin(n)).
h() = u(, ) =
2
n=1
113
Vamos agora determinar os coeficientes an , bn para que a expresso acima seja vlida
e para isso, utilizaremos o seguinte resultado:
Lema 8.1.8. Temos as seguintes relaes para n, m > 1:
(i)
R 2
cos(n)d = 0;
(ii)
R 2
sin(n)d = 0;
(iii)
R 2
sin(n) cos(n)d = 0;
(iv)
R 2
sin(n) sin(m)d = 0; para n 6= m;
(v)
R 2
cos(n) cos(m)d = 0; para n 6= m;
(vi)
R 2
cos2 (n)d =
R 2
0
sin2 (n)d = .
Agora, usando este lema, fica a cargo do leitor demonstrar (utilizando as mesmas
ideias do caso de domnios retangulares) que
1
an = n
h() cos(n)d, para n > 0,
e tambm que
1
bn = n
h() sin(n)d.
Portanto a soluo para o problema tem a forma

1
u(r, ) =
2
1X
h()d +
n=1
n Z 2
r
h()[cos(n) cos(n) + sin(n) sin(n)]d.
Assim, podemos escrever

1
u(r, ) =
2
h() 1 + 2
n
X
r
n=1
cos(n( )) d.
114
Lembrando que 2 cos(n( )) = ein() + ein() , temos

1+2
n
X
r
n=1
=1+
cos(n( )) = 1 +

X
n=1
r i()
e
n
++
i()
n
X
r
n=1
X
n=1
i()
in()
r i()
e
n
X
r
n=1
n
ein()
re
re
+
i()
re
rei()
2 r 2
= 2
2r cos( ) + r 2
=1+
Portanto, a soluo para o problema de Dirichlet no disco (8.1.5) dada pela expresso
abaixo, conhecida como a frmula de Poisson:
2 r 2
u(r, ) =
2
2
0
h()
d.
2r cos( ) + r 2
Exerccio 8.1.9. Encontre uma expresso como a frmula acima, para o caso onde
o exterior de um disco; isto , < r < . (Dica: neste caso, faa como fizemos nesta seo,
mas as solues a serem descartadas so r n e ln r )
8.2 Equao da onda

Nesta seo, o leitor est convidado a lidar com a equao da onda para uma funo
u(x, t), dada por
utt = c2 uxx .
Mais especificamente, lidar com o problema de Dirichlet
(
utt = c2 uxx , para 0 < x < l

u(0, t) = u(l, t) = 0,
(8.2.1)
com condies iniciais

u(x, 0) = (x) e ut (x, 0) = (x).
Usando, novamente, utilizar o mtodo da separao de variveis, buscaremos uma
soluo de (8.2.1) da forma
u(x, t) = X(x)T (t).
8.2 Equao da onda
115
Utilizando esta expresso para u, temos

T (t)X(x) = c2 X (x)T (t),
e dividindo esta expresso por c2 X(x)T (t) obtemos
T (t)
X (x)
=
.
c2 T (t)
X(x)
Como o lado esquerdo da igualdade acima uma funo que depende somente da
varivel t e o lado direito depende somente de x, estas expresses definem um valor
constante . Portanto
X (x)
T (t)
=
= .
c2 T (t)
X(x)
Logo, estas expresses nos do as seguintes equaes
X (x) + X(x) = 0 e T (t) + c2 T (t) = 0,

cujas soluo gerais so
X(x) = c1 cos( x) + c2 sin( x),

e
T (t) = d1 cos( ct) + d2 sin( ct).

Para a funo X(x), devemos ter as condies de contorno X(0) = X(l) = 0.
Exerccio 8.2.1. Mostre que usando estas condies para a funo X, encontramos =

n 2
para cada n > 1.
l
Agora, como fizemos nas sees anteriores, usando estes valores para , podemos
encontrar as solues correspondentes para a funo T (t), multiplic-las e somar para
n > 1, e obtemos o seguinte exerccio:
Exerccio 8.2.2. Mostre que a soluo desta equao

nx
X
nct
nct
+ bn sin
sin
,
u(x, t) =
an cos
l
l
l
n=1
e usando as condies u(x, 0) = (x) e ut (x, 0) = (x), note que

(x) =
X
n=1
an sin
nx
l
116
e
(x) =
X
nc
n=1
bn sin
nx
l
Para encontrarmos os coeficientes {an }n>1 e {bn }n>1 explicitamente, aplicamos o raciocnio utilizado nas sees anteriores:
Exerccio 8.2.3. Encontre, como nas sees anteriores, a expresso para os coeficientes
{an }nN em termos da funo , e dos coeficientes {bn }nN em termos dos coeficientes de
.
Exerccio 8.2.4. Encontre a soluo para este problema quando l = , (x) = sin(3x)
e (x) = sin(6x), de tal maneira que esta soluo no esteja mais expressa em forma de
uma srie.

A funo de Green1 funciona como uma soluo universal para funes harmnicas
em um domnio, no sentido de que qualquer funo harmnica pode ser expressa em
termos da funo de Green. Combinada com mtodos de reflexo, a funo de Green nos
leva de uma maneira bem direta soluo para problemas de valores de contorno em
alguns domnios com geometria especiais.
8.3.1 Notaes
A principal ferramenta desta seo o Teorema da Divergncia, e assim, a notao
vetorial ser usada extensivamente. Para isso, fixaremos os conceitos (em trs dimenses)
que vamos utilizar.
Definio 8.3.1. Se u = u(x, y, z) uma funo escalar e F = (F1 , F2 , F3 ) uma funo
vetorial; isto , cada Fi uma funo escalar, temos
u = (ux , uy , uz ),
div F = F =
F1 F2 F3
+
+
,
x
y
z
u = divu = u = uxx + uyy + uzz

|u|2 = u2x + u2y + u2z .
1
George Green estava interessado nos novos fenmenos de eletricidade e magnetismo no comeo do
sculo XIX.
117
Se uma regio em R3 , denotamos a integral de superfcie de uma funo escalar

u sobre a fronteira por
ZZ
u dS.
Como mencionamos acima, nossa principal ferramenta ser o Teorema da Divergncia,

que enunciamos abaixo:
Teorema 8.3.2 (Teorema da Divergncia). Se F uma funo vetorial em uma regio
limitada em de R3 e n o vetor normal unitrio que aponta para fora de , ento
ZZZ
ZZZ
ZZ
div Fdx =
div Fdxdydz =
F ndS.
8.3.2 Primeira identidade de Green

Comeamos aqui com a regra de derivao do produto
(vux )x = vx ux + vuxx ,
e o mesmo para as derivadas em y e em z. Somando estas equaes temos
(vu) = v u + vu.
Integrando em e usando o Teorema 8.3.2 no lado esquerdo, obtemos
ZZZ
ZZZ
ZZ
u
v udx +
vudx,
v dS =
(8.3.1)
u
onde n
= n u a derivada direcional de u na direo de n. Esta equao (8.3.1)
conhecida como a primeira identidade de Green, e vlida para qualquer regio
slida limitada e par de funes u, v. Por exemplo, podemos tomar v 1 para obter
ZZZ
ZZ
u
dS =
udx.
(8.3.2)
Uma aplicao imediata da primeira identidade de Green a condio de compatibilidade

para o problema de Neumann, dado por
u = f, em ,
u = h, em .
n
(8.3.3)
118
Usando a equao (8.3.2), devemos ter que

ZZ
h dS =
ZZZ
f dx.
Assim, f e h no podem ser escolhidas arbitrariamente para que tenhamos esperana

de que o problema de Neumann (8.3.3) tenha soluo. Devemos necessariamente ter que
f e h satisfaam a condio de compatibilidade dada acima. Neste sentido, o problema
de Neumann no completamente bem posto. Mas, com um pouco de trabalho possvel
mostrar que sempre que esta condio de compatibilidade satisfeita o problema tem
uma soluo, ento a situao no assim to ruim.
Quanto unicidade, fcil ver que se temos uma soluo u para o problema de
Neumann, se adicionarmos uma constante qualquer a esta funo, obteremos outra soluo
para o problema, logo nunca teremos unicidade.
8.3.3 Segunda identidade de Green

O termo do meio da equao (8.3.1) no se altera quando trocamos u por v, assim,
escrevendo esta equao com u e v, com v e u e subtraindo as duas, obtemos
ZZZ
(vu uv)dx =
ZZ

v
u
dS,
u
v
n
n
(8.3.4)
que a segunda identidade de Green, e como a primeira identidade, vlida para

quaisquer pares de funes u, v.
Isto nos leva a uma definio natural.
Definio 8.3.3. Dizemos que uma condio de contorno dita simtrica para o operador se o lado direito de (8.3.4) zero para qualquer par de funes u, v que satisfazem
a dada condio de fronteira.
As condies de contorno clssicas do problema u = f em so:
1. condio de Dirichlet: u = 0 em ;
2. condio de Neumann:
3. condio de Robin:
u
n
u
n
= 0 em ;
+ u = 0 em , onde uma constante.
Exerccio 8.3.4. Mostre que cada uma das trs condies de contorno clssicas dada
acima simtrica para .
119
8.3.4 Frmula de representao

Esta frmula representa qualquer funo harmnica em um domnio D como uma
integral sobre a sua fronteira. Temos o seguinte resultado:
Teorema 8.3.5. Se u = 0 em uma regio limitada em R3 , ento para cada x0 D,
temos

ZZ
1
1
1
u
u(x0 ) =
u(x)
dS.
+
4
n kx x0 k kx x0 k n
Para demonstrar este resultado, precisaremos do seguinte lema:
Lema 8.3.6. Seja uma regio limitada em R3 e x0 . Ento a funo dada por
v(x) =
1
1
, para x 6= x0 ,
4 kx x0 k
tal que v = 0 em \ {x0 }.

Demonstrao: A demonstrao deste resultado fica a cargo do leitor.
Demonstrao do Teorema 8.3.5: Para aplicar a segunda identidade de Green ao par
de funes u e v, com v dada no lema acima, precisamos primeiramente remover uma
pequena esfera de raio > 0, que chamaremos de B , centrada em x0 , da regio , uma
vez que a funo v no est definida em x0 .
Por simplicidade de notao, assumiremos que x0 . Assim, B uma esfera pequena
centrada na origem, que est inteiramente contida na regio , e consideraremos uma
nova regio , obtida da regio retirando a esfera B ; isto , = \ B .
Na regio , a funo v est bem definida e v = 0, assim, aplicando a segunda
identidade de Green para o par u, v, obtemos
ZZ
v
u
u
v
n
n
dS = 0.
Mas a fronteira da regio constituda por duas partes: a fronteira da regio

original e tambm pela fronteira B da esfera B . Assim, obtemos
ZZ

ZZ
v
v
u
u
u
u
dS +
dS = 0.
v
v
n
n
n
n
= r
, onde r a direo radial. Como v(x) = 4r
,
Agora, na fronteira B , temos n
v
1
v
onde r = kxk, temos n = r = 4r2 . Lembrando que r = em B e que a rea de
B 42 temos

ZZ
ZZ
ZZ
v
u
1
u
1
u
udS
dS =
v
dS +
n
n
4 B n
42
120
Como

u
n
e u so contnuas em , e em particular, em B , segue que
e tambm
1
4
ZZ
u
dS 0
n
1
42
ZZ
udS u(0),
quando 0, e portanto, conclumos que

u(0) =
onde v(x) =
1
,
4kxk

u
v
dS,
v
u
n
n
ZZ
o que demonstra o resultado.
Exerccio 8.3.7. A frmula de representao para uma regio limitada em R2 dada

por

Z
1
u
u(x0 ) =
u(x)
ds.
ln kx x0 k ln kx x0 k
2
n
n
Demonstre esta expresso.
Exerccio 8.3.8. Sejam uma funo de classe C 2 definida em R3 que se anula no

exterior de uma bola. Mostre que
ZZZ
1
1
(x)dx,
(0) =
4
x
onde a regio onde no se anula.
8.3.5 Funes de Green

A frmula de representao dada no Teorema 8.3.5 utilizou duas propriedades bsicas
1
: que ela harmnica exceto em x0 e que ela possui uma
da funo v(x) = 4kxx
0k
singularidade neste ponto. Nosso objetivo tentar modificar esta funo para que tenhamos uma frmula de representao, mas que um dos termos da frmula do Teorema 8.3.5
desaparea. Tal funo modificada ser chamada de funo de Green para .
Definio 8.3.9. A funo de Green G(x) para o operador no domnio no ponto
x0 uma funo definida para todo x \ {x0 } que satisfaz:
(i) G(x) possui derivadas de segunda ordem contnuas e G = 0 em \ {x0 };
(ii) G(x) = 0 para x ;
121
1
finita em x0 , tem derivadas de segunda ordem contnuas
(iii) a funo G(x) + 4kxx
0k
em e harmnica em x0 .
Pode-se mostrar que uma funo de Green sempre existe e nica. A notao usual
para esta funo de Green G(x, x0 ). Temos o primeiro resultado para a funo de Green.
Teorema 8.3.10. Se G(x, x0 ) a funo de Green, ento a soluo para o problema de
Dirichlet dada pela frmula
ZZ
u(x0 ) =
u(x)
G(x, x0 )
dS.
n
.
1
Demonstrao: Defina a funo H(x) = G(x, x0 ) v(x), onde v(x) = 4kxx
, como
0k
anteriormente. Ento, pela definio da funo de Green (itens (i) e (ii) da Definio
8.3.9), H uma funo harmnica em todo o domnio . Assim, escrevendo a segunda
identidade de Green para o par u, H obtemos
0=

u
H
dS.
H
u
n
n
ZZ
Ainda, da frmula de representao para o par u, v, temos

u(x0 ) =
ZZ

u
v
dS.
v
u
n
n
Somando estas duas igualdades, temos

u(x0 ) =

G
u
u
dS.
G
n
n
ZZ
Como G = 0 em , pela condio (ii) da Definio 8.3.9, temos

u(x0 ) =
ZZ
G
dS,
n
o que completa a demonstrao.

Uma importante caracterstica da funo de Green que ela simtrica; isto , temos
G(x, x0 ) = G(x0 , x), para todo x 6= x0 .
Exerccio 8.3.11. Usando funes de Green, mostre que a soluo para o problema de
Poisson dado por
(
u = f, em
u = h, em
122
dada por
u(x0 ) =
ZZ
G(x, x0 )
dS +
h(x)
n
ZZZ
f (x)G(x, x0 )dx.
8.3.6 Funo de Green no semi-espao

Determinaremos nesta seo a funo de Green para o semi-espao z > 0. Apesar de
estarmos aqui lidando com um domnio ilimitado, as ideias envolvendo funes de Green
permanecem vlidas, se colocarmos uma condio de contorno no infinito, pedindo que
as funes e suas derivadas tendam a 0 quanto kxk .
Escrevemos as coordenadas como x = (x, y, z) e lidaremos com o semi-espao = {z >
0}. A ideia aqui utilizar o mtodo da reflexo; isto , cada ponto x = (x, y, z)
possui um ponto refletido x = (x, y, z) que no est em .
1
satisfaz as condies (i) e (iii) da Definio
Sabemos que a funo v(x) = 4kxx
0k
8.3.9. Nossa ideia modific-la para que tenhamos a condio (ii). Temos o seguinte
resultado:
Teorema 8.3.12. A funo de Green para dada por
G(x, x0 ) =
1
1
+
,
4kx x0 k 4kx x0 k
onde x0 o ponto refletido de x0 .

Demonstrao: Devemos checar as condies (i), (ii) e (iii) da Definio 8.3.9. A
condio (i) claramente satisfeita, G finita e diferencivel exceto em x0 e temos G = 0
em \ {x0 }.
A condio (ii) segue do fato de que se x , ento z = 0 e assim x = x e portanto
G(x, x0 ) = 0.
1
Para (iii) fcil ver que como x0 est fora de , a funo 4kxx
k no possui nenhuma
0
singularidade em e portanto tem suas derivadas de segunda ordem e harmnica em
x0 .
Vamos agora usar esta funo de Green para resolver o problema de Dirichlet
(
u = 0, em
u(x, y, 0) = h(x, y).
Usaremos o Teorema 8.3.10. Note que G

= G
em , j que n aponta para baixo.
n
z
Ainda mais

1
1
z + z0
z z0
z0
G
=
=
3
3
z
4 kx x0 k
kx x0 k
2 kx x0 k3
123
em . Portanto a soluo do problema de Dirichlet

z0
u(x0 ) =
2
ZZ
h(x)
dS.
kx x0 k3
124
Referncias Bibliogrficas
[1] Boyce, W.E. & Diprima, R.C.: Equaes diferenciais elementares e problemas de
valores de contorno. LTC, 8ed (2006).
[2] Strauss, W.A.: Partial differential equations: an introduction. John Wiley & Sons,
2ed (2008).
[3] Zill, F. & Shanahan, P.D.: Curso introdutrio anlise complexa com aplicaes.
LTC, 2ed (2009).

Apostila Cálculo IV

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apostila Cálculo IV

Uploaded by

Copyright:

Available Formats

Departamento de Matemtica - MTM

Universidade Federal de Santa Catarina - UFSC

Prof. Matheus Cheque Bortolan

2 O corpo C dos nmeros complexos e o plano complexo

6 Sries complexas e resduos

7 Solues em sries para equaes diferenciais ordinrias

2.1 Definio e propriedades bsicas

O corpo C dos nmeros complexos e o plano complexo

(S3) Elemento neutro da soma: considere o elemento (0, 0) C e temos

para (a1 , b1 ) 6= (0, 0) considere o elemento

(a1 , b1 ) [(a2 , b2 ) + (a3 , b3 )] = (a1 , b1 ) (a2 , b2 ) + (a1 , b1 ) (a3 , b3 ).

2.1 Definio e propriedades bsicas

Exerccio 2.1.3. Mostre as seguintes propriedades adicionais de C:

O corpo C dos nmeros complexos e o plano complexo

pode ser escrito na forma

Exerccio 2.2.2. Mostre as seguintes propriedades da conjugao e da norma em C:

(g) |z| = 0 se, e somente se, z = 0;

(h) |z1 z2 | = |z1 ||z2 |;

(d) |z| = |z|;

(k) |Re(z)| 6 |z|;

(l) |Im(z)| 6 |z|.

Figura 1: Representao coordenada e vetorial de z = a + ib.

2.2.1 A desigualdade triangular

6 |z1 |2 + 2|Re(z1 z2 )| + |z2 |2

6 |z1 |2 + 2|z1 ||z2 | + |z2 |2

o que mostra o resultado.

O corpo C dos nmeros complexos e o plano complexo

o que, somando e subtraindo o termo

que a equao de um crculo de centro

2.3 Representao polar em C

2.3 Representao polar em C

O corpo C dos nmeros complexos e o plano complexo

= r11 (cos() + i sin()) = r11 ei .

Alm disso, se z 6= 0, esta expresso vlida para todo n Z.

2.3.1 Igualdade de nmeros complexos na representao polar

2.3 Representao polar em C

2.3.2 Razes de nmeros complexos

e claramente podemos tomar 0 6 m 6 n 1, o que conclui a demonstrao.

O corpo C dos nmeros complexos e o plano complexo

3.1 Definies bsicas

O conjunto G chamado domnio de f , e o conjunto f (G) dos pontos {f (z) : z

Funes de uma varivel complexa

3.1.1 A funo exponencial

Exemplo 3.2.3. Mostre, usando a definio, que lim z 2 = 1.

(a) lim cf (z) = cL, onde c um nmero complexo qualquer fixado;

(b) lim (f (z) + g(z)) = L + M;

(c) lim f (z) g(z) = L M e

Funes de uma varivel complexa

Demonstrao: Provemos primeiramente (a). Se c = 0, nada temos a fazer, j que

|cf (z) cL| = |c||f (z) L| < |c| = ,

o que mostra (a).

(x x0 )2 + (y y0 )2 = k(x, y) (x0 , y0 )kR2

(u(x, y) a)2 + (v(x, y) b)2 .

Assim, fcil ver que |u(x, y) a| 6 |f (z) L| e |v(x, y) b| 6 |f (z) L| e portanto

v(x, y) = b. A recproca fica como exerccio

Exemplo 3.2.6. Mostre que lim z 2 = 1, usando o teorema acima.

Soluo: Sabemos que se z = x + iy, temos z 2 = x2 y 2 + i2xy e portanto neste caso

Quando f contnua em todos os pontos de seu domnio, dizemos simplesmente que

2. f est definida no ponto z0 ; isto , z0 est no domnio de f ;

Exemplo 3.3.3. A funo f (z) = z 2 contnua em z0 = 1.

Ainda, j mostramos que lim z 2 = 1, o que mostra que z 2 contnua em z0 = 1.

Exemplo 3.3.4 (O logaritmo complexo). Definimos o logaritmo principal complexo

Funes de uma varivel complexa