Escolar Documentos
Profissional Documentos
Cultura Documentos
Variveis Complexas
Sumrio
1 Nmeros Complexos
1.1
Somas e produtos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
1.3
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.1
Exerccios Tericos . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4
Mdulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5
Conjugado Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.6
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6.1
Exerccios Tericos . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.7
Forma exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.8
1.9
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.9.1
Exerccios Tericos . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
32
2.1
. . . . . . . . . . . . . . . . . . . . . . 32
2.2
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.3
Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.4
2.5
Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.6
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.7
Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.8
Frmulas de diferenciao . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.9
Equaes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . 46
61
3.1
A funo exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.2
A funo logartmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.3
3.4
3.5
Expoentes complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.6
Funes trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.7
Funes hiperblicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.8
3.9
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4 Integrais
77
4.1
4.2
4.3
Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.4
Integrais Curvilneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4.5
4.6
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
4.6.1
Exerccios Tericos . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.7
Antiderivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.8
O Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . 96
4.9
109
5.1
5.2
5.3
5.4
5.5
5.6
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
5.7
5.8
5.9
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
136
6.1
Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
6.2
6.3
6.4
6.5
6.6
6.7
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
6.8
Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
6.8.1
6.8.2
6.8.3
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
6.8.4
6.8.5
7 Decomposio de Funes
165
7.1
7.2
7.2.2
7.3
7.4
7.5
. . . . . . . . . . . . . . . . . . . 173
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
8 Transformaes Elementares
181
8.1
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
8.2
8.3
A transformao w = 1/z
8.4
8.5
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
. . . . . . . . . . . . . . . . . . . . . . . . . . . 188
9 Transformaes Conformes
198
9.1
9.2
9.3
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
9.4
9.5
9.6
9.7
217
Referncias Bibliogrficas
228
Captulo 1
Nmeros Complexos
1.1
Somas e produtos
(1.1)
(1.4)
(1.5)
(1.6)
(1.7)
(1.8)
Observe que o lado direito da equao (1.8) pode ser obtido multiplicando os termos do
lado esquerdo como se fossem nmeros reais e substituindo i2 por 1.
1.2
x2
y
x
, v= 2
.
2
+y
x + y2
(1.10)
z1
y 1 x2 x1 y 2
x1 x 2 + y 1 y 2
+i
, z2 6= 0.
=
2
2
z2
x2 + y 2
x22 + y22
(1.11)
z1 z2
=
z3 z4
z1
z3
z2
z4
, z3 , z4 6= 0.
=
2 3i
1+i
(2 3i)(1 + i)
5i 5+i
(5 i)(5 + i)
5+i
5
i
5
1
=
=
+
=
+ i.
26
26 26
26 26
9
k=0
onde
n
k
=
n!
, k = 0, 1, 2, . . . , n
k!(n k)!
1.3
Exerccios
1. Verifique que
2. Mostre que
(a) Re(iz) = Im z;
Im(z)
(b) Im(iz) = Re z;
10
1.3.1
Exerccios Tericos
(z 6= 0).
1
z1
z1
= z1
z2
1
z2
1
z2
(z2 6= 0)
z1
z3
z2
z4
=
z1 z2
z3 z4
1
z1 z2
(z1 6= 0, z2 6= 0)
(z3 6= 0, z4 6= 0).
(z2 6= 0, z 6= 0).
11
1.4
Mdulo
Figura 2.
Segundo a definio da soma de dois nmeros complexos, o complexo z1 + z2 pode
ser obtido vetorialmente como mostrado na figura 3. A diferena z1 z2 = z1 + (z2 )
corresponde soma dos vetores para z1 e z2 (Figura 4).
Figura 3
Figura 4
13 e |1 + 4i| =
Definio 1.10 (Distncia entre dois pontos) A distncia entre dois pontos z1 =
x1 + iy1 e z2 = x2 + iy2 |z1 z2 |.
A definio anterior est justificada na figura 4, pois zl z2 o comprimento do vetor
que representa zl z2 . A diferena zl z2 pode ser interpretada como o segmento ligando
o ponto (x2 , y2 ) a o ponto (xl , yl ). Como
z1 z2 = (x1 x2 ) + i(y1 y2 )
a definio de mdulo nos fornece
|z1 z2 | =
(x1 x2 )2 + (y1 y2 )2 .
Assim, os nmeros complexos z correspondentes aos pontos sobre o crculo com centro
z0 e raio R satisfazem a equao |z z0 | = R, e vice-versa. Logo, nos referiremos a este
conjunto de pontos simplesmento como o crculo |z z0 | = R.
Exemplo 1.3 A equao |z 1 + 3i| = 2 representa o crculo centrado no ponto
z0 = (1, 3) e com raio R = 2.
Decorre tambm da definio (1.12) que os nmeros reais |z|, Re z = x e Im z = y
esto relacionados pela equao
|z|2 = (Re z)2 + (Im z)2 .
(1.13)
Re z | Re z| |z| e Im z | Im z| |z|.
(1.14)
Ento
Voltamo-nos agora para a desigualdade triangular, que fornece um limite superior para
o mdulo da soma de dois nmeros complexos zl e z2 :
|z1 + z2 | |z1 | + |z2 |.
(1.15)
(1.16)
isto ,
|z1 + z2 | |z1 | |z2 |.
Esta a inequao (1.16) quando |z1 | |z2 |. Se |z1 | < |z2 |, basta trocar z1 e z2 na
desigualdade anterior para obter
|z1 + z2 | (|z1 | |z2 |),
e assim, chegamos ao resultado desejado. A desigualdade (1.16) nos diz, claro, que
o comprimento de um lado de um tringulo maior ou igual do que a diferena dos
comprimentos dos outros dois lados.
Como | z2 | = |z2 |, podemos substituir z2 por z2 nas desigualdades (1.15) e (1.16)
para escrever as formas particularmente teis:
|z1 z2 | |z1 | + |z2 |,
|z1 z2 | ||z1 | |z2 || .
Exemplo 1.4 Se um ponto z est sobre o crculo unitrio |z| = 1 centrado na origem,
ento
|z 2| |z| + 2 = 3
e
|z 2| ||z| 2| = 1.
A desigualdade triangular pode ser generalizada por induo matemtica para somas
envolvendo um nmero finito de termos:
|z1 + z2 + + zn | |z1 | + |z2 | + + |zn |, n = 2, 3, . . . .
De fato, quando n = 2, a desigualdade anterior apenas a desigualdade (1.15). Alm
disso, se a desigualdade anterior vlida quando n = m, ela tambm verdadeira quando
n = m + 1, pois
|(z1 + z2 + + zm ) + zm+1 | |z1 + z2 + + zm | + |zm+1 |
(|z1 | + |z2 | + + |zm |) + |zm+1 |.
1.5
Conjugado Complexo
14
(1.17)
Figura 5.
5. Re z =
15
z1 |z1 |
=
z2 |z2 | , z2 6= 0.
(1.20)
1.6
Exerccios
2
(a) z1 = 2i, z2 = i
(b) z1 = ( 3, 1), z2 = ( 3, 0)
3
(c) z1 = (3, 1), z2 = (1, 4)
(d) z1 = x1 + iy1 , z2 = x1 iy1
3. Mostre que, quando |z3 | =
6 |z4 |,
Re(z1 + z2 )
|z1 | + |z2 |
.
|z3 + z4 |
||z3 | |z4 ||
6. Calcule:
1
(a) Re
2+
i
1 + 4i
(c)
4+i
2+i
(b) Im
3 +4i
1
(d) Im
z2
7. Em cada caso, esboce o conjunto dos pontos determinado pelas condies dadas.
(a) |z 1 + i| = 1
(d) Re(z i) = 2
(b) |z + i| 3
(e) |2z + i| = 4
(c) |z 4i| 4
(b) iz = iz
quando |z| 1.
z+z
zz
, Im z =
.
2
2i
1.6.1
Exerccios Tericos
1. Mostre que
(a) z1 z2 z3 = z1 z2 z3 ;
(b) z 4 = z 4 .
1.7
Forma exponencial
(1.21)
Figura 6.
3
.
4
Deve ser enfatizado que, devido restrio < < do argumento principal, no
verdade que Arg(1 i) = 5/4. De acordo com a equao (1.22),
arg(1 i) =
3
+ 2n, n = 0, 1, 2, . . . .
4
18
Note que o termo Arg z no lado direito da equao (1.22) pode ser substitudo por qualquer
valor determinado de arg z e, assim, tambm podemos escrever,
arg(1 i) =
5
+ 2n, n = 0, 1, 2, . . . .
4
(1.24)
3
1 i = 2 exp i
.
4
3
+ 2n
n = 0, 1, 2, . . . .
1 i = 2 exp i
4
Note que a expresso (1.24) com r = 1 nos diz que os
nmeros ei esto sobre o crculo centrado na origem de
raio unitrio, conforme mostra a figura 7. Por exemplo,
geometricamente observamos que
ei = 1, ei/2 = i e ei4 = 1.
Note, tambm, que a equao
z = Rei , 0 2
Figura 7.
a representao paramtrica do crculo |z| = R, centrado na origem com raio R. Como
o parmetro aumenta de = 0 a = 2, o ponto z comea a partir do eixo real
positivo e atravessa o crculo uma vez no sentido anti-horrio. Mas, geralmente, o crculo
|z z0 | = R, cujo centro z0 e cujo raio R, tem a representao paramtrica
z = z0 + Rei , 0 2.
19
Figura 8.
1.8
= ei(1 2 ) .
i0
z2
r2 e e
r2
e
r2
e temos a seguinte proposio:
Proposio 1.2 (Quociente) Sejam z1 = r1 ei1 e z2 = r2 ei2 . O quociente
forma exponencial
z1
r1
= ei(1 2 ) .
z2
r2
z1
tem
z2
(1.26)
Obs. 1.3 (Inverso multiplicativo) Como 1 = 1ei0 , segue da expresso anterior que o
inverso de um nmero complexo qualquer no nulo z = rei
z 1 =
1
1
= ei .
z
r
20
(1.27)
Figura 9.
Desde que
(1 + 2 ) + 2n = (1 + 2n1 ) + [2 + 2(n n1 )],
a equao (1.27) evidentemente satisfeita quando
arg z2 = 2 + 2(n n1 )
escolhido. A verificao quando os valores de arg(z1 z2 ) e arg z2 so especificados segue
de forma anloga.
A expresso (1.27) s vezes vlida quando substituimos arg por Arg. Mas, tal fato
nem sempre vlido, como veremos no exemplo que segue.
Exemplo 1.9 Quando z1 = 1 e z2 = i,
Arg(z1 z2 ) = Arg(i) =
3
+ 2 =
2
2
21
(1.28)
2
,
1 + 3i
observamos que
arg z = arg(2) arg(1 +
Desde que
Arg(2) = e Arg(1 +
3i).
3i) =
,
3
um valor de arg z 2/3; e, como 2/3 est entre e , encontramos Arg z = 2/3.
Outro resultado importante que pode ser obtido formalmente atravs de z = rei
z n = rn ein , n = 0, 1, 2, . . . .
(1.29)
fcil verificar (1.29) por induo matemtica para valores positivos de n. Mais
especificamente, note primeiro que z = rei quando n = 1. Em seguida, suponha que
(1.29) vlida quando n = m, onde m um inteiro positivo qualquer. Pelo produto entre
nmeros complexos no nulos na forma exponencial, a afirmao torna-se verdadeira para
n = m + 1:
z m+1 = zz m = rei rm eim = rm+1 ei(m+1) .
Assim, a expresso (1.29) verificada para todo inteiro positivo n; tambm vlida
quando n = 0, com a convenso z 0 = 1. Se n = 1, 2, . . ., definimos z n em termos do
inverso multiplicativo de z, escrevendo
z n = (z 1 )m quando m = n = 1, 2, . . . .
Ento, j que a expresso (1.29) vlida para potncias inteiras positivas, decorre da
forma exponencial para z 1 , que
m m
n
1
1
1 i()
im()
n
=
e
=
ei(n)() = rn ein , n = 1, 2, . . . .
z = e
r
r
r
Portanto (1.29) fica estabelecida para todas as potncias inteiras.
Observe que se r = 1, a expresso (1.29) torna-se
(ei )n = ein , n = 0, 1, 2, . . . .
Ento obtemos a forma
(cos + i sen )n = cos n + i sen n, n = 0, 1, 2, . . . ,
que a conhecida frmula de Moivre.
A expresso (1.29) pode ser til na busca de potncias de nmeros complexos.
1.9
Exerccios
1.
2. Represente no plano os nmeros complexos z, z + w, z w e w, sendo z = 2i e
w = 3ei 3.
3. Encontre o argumento principal Arg z quando
i
;
(b) z = ( 3 i)6 .
(a) z =
2 2i
Respostas: (a) 3/4; (b) .
4. Mostre que (a) |ei | = 1; (b) ei = ei .
5. Usando o fato de que o mdulo |ei 1| a distncia entre os pontos ei e 1, d um
argumento geomtrico para encontrar um valor de no intervalo 0 2 que
satisfaa a equao |ei 1| = 2.
Resposta: .
6. Escrevendo os fatores individualmente na sua forma exponencial, realizando
as operaes necessrias e, finalmente, mudando de volta para coordenadas
retangulares, mostre que
(b) 5i/(2
+ i) = 1 + 2i;
(a) i(1 3i)( 3 + i) = 2(1 + 3i);
7
(c) (1 + i) = 8(1 + i);
(d) (1 + 3i)10 = 211 (1 + 3i).
1.9.1
Exerccios Tericos
1.10
0 2k
1/n
n
+
= n r0 ei( n + n ) , k = 0, 1, 2, . . . , n 1 (1.30)
(z0 ) = ck = r0 exp i
n
n
Demonstrao: J sabemos que uma raz n-sima de z0 um nmero no-nulo z = rei
tal que z n = z0 , ou
rn ein = r0 ei0 .
Logo,
rn = r0 e n = 0 + 2k,
onde k um inteiro qualquer (k = 0, 1, 2, . . .). Assim, r =
denota a nica raz n-sima positiva do nmero real r0 ,
=
0 + 2k
0 2k
=
+
, k = 0, 1, 2, . . . .
n
n
n
0 2k
n
z = r0 exp i
+
, k = 0, 1, 2, . . .
n
n
24
2k
0
+
, k = 0, 1, 2, . . . , n 1
ck = n r0 exp i
n
n
Figura 11.
(1.31)
e formalmente aplicar as leis dos expoentes fracionrios envolvendo nmeros reais, tendo
em mente que existem precisamente n razes:
i(0 +2k) 1/n
i(
+
2k)
0
1/n
z0
= r0 e
= n r0 exp
n
0 2k
= n r0 exp i
+
, k = 0, 1, 2, . . . , n 1.
n
n
Exemplo 1.12 A fim de determinar as razes n-simas da unidade, escrevemos
1 = 1 exp [i(0 + 2k)] , k = 0, 1, 2, . . .
e encontramos
0 2k
2k
n
1/n
1 = 1 exp i
+
= exp i
, k = 0, 1, 2, . . . , n 1.
n
n
n
(1.32)
Quando n = 2, estas razes so, de fato, 1. Quando n 3, o polgono regular (as razes
esto nos vrtices) inscrito no crculo unitrio |z| = 1, com um vrtice correspondente
para a raz principal z = 1 (k = 0).
25
Se escrevemos
2
n = exp i
n
ento
nk
2k
= exp i
n
, k = 0, 1, 2, . . . , n 1.
Figura 12.
Note que nn = 1. Finalmente, observamos que se c qualquer raz n-sima particular de
um nmero complexo no nulo z0 , o conjunto das razes n-simas pode ser posto na forma
c, cn , cn2 , . . . , cnn1 .
Isto ocorre porque a multiplicao de qualquer nmero complexo diferente de zero por n
aumenta o argumento do nmero em 2/n, deixando seu mdulo inauterado.
Exemplo 1.13 Vamos encontrar todos os valores de (8i)1/3 , ou as trs razes cbicas
de 8i.
Primeiro precisamos escrever
h
i
8i = 8 exp i + 2k , k = 0, 1, 2, . . .
2
para ver que as razes so
2k
ck = 2 exp i +
, k = 0, 1, 2.
6
3
Elas situam-se nos vrtices de um tringulo equiltero,
Figura 13.
inscrito no crculo |z| = 2, e so igualmente espaadas em
torno desse crculo por 2/3 radianos, comeando com a raz principal (Figura 13).
h i
c0 = 2 exp i
= 2 cos i sen
= 3 i.
6
6
6
26
2
onde 3 = exp i
.
3
Exemplo
1.14
Os
dois
valores
c
(k
=
0,
1)
de
(
3 + i)1/2 , que so as razes quadradas
k
de 3 + i, so encotradas escrevendo
i
h
+ 2k , k = 0, 1, 2, . . .
3 + i = 2 exp i
6
e (veja figura 14)
ck =
h
i
2 exp i
+ k , k = 0, 1.
12
c0 = 2 exp i
= 2 cos
+ i sen
,
12
12
12
e as identidades trigonomtricas
1 cos
1 + cos
=
, sen2
=
cos2
2
2
2
2
Figura 14.
cos2
=
1 + cos
=
12
2
6
2
!
3
2+ 3
,
1+
=
2
4
1
1
sen2 =
1 cos
=
12
2
6
2
3
2 3
1
=
,
2
4
Consequentemente,
s
q
q
2
+
3
2
3
1
=
c0 = 2
+i
2+ 3+i 2 3 .
4
4
2
2+ 3+i 2 3 .
2
1.11
(1.33)
Figura 15.
de um determinado ponto z0 o conjunto formado por
todos os pontos z que esto no interior de um crculo
centrado em z0 e com raio > 0 (Figura 15). Quando o valor de irrelevante
na discusso, o conjunto (1.33) muitas vezes referido apenas como vizinhana.
Ocasionalmente, conveniente falar da vizinhana excluda
0 < |z z0 | <
consistindo de todos os pontos z na -vizinhana de z0 excluindo o ponto z0 .
Definio 1.20 (Disco e anel) O conjunto dos pontos z que satisfazem a desigualdade
|z z0 |
chamado de disco de raio centrado em z0 . Se 0 < 1 < 2 , o conjunto de pontos
satisfazendo as desigualdades
1 |z z0 | 2
anel circular centrado em z0 .
Definio 1.21 (Pontos interior, exterior, de fronteira e de acumulao)
Um ponto z0 um ponto interior de um conjunto S, quando existe uma vizinhana de
z0 inteiramente contida em S; z0 chamado ponto exterior de S quando existe uma
vizinhana do mesmo que no contm ponto algum de S. Se z0 no ponto interior nem
exterior, ou seja, se toda vizinhana de z0 contiver pontos que esto em S e fora de S ao
mesmo tempo, este ponto dito um ponto de fronteira de S. Um ponto z0 chamado
ponto de acumulao de um conjunto S, se cada vizinhana excluda de z0 contm pelo
menos um ponto de S.
O conjuntos de todos os pontos de fronteira de S chamado fronteira de S. O crculo
|z| = 1, por exemplo, a fronteira dos conjuntos
|z| < 1 e |z| 1.
Evidentemente, um ponto z0 no um ponto de acumulao de um conjunto S, sempre
que existe alguma vizinhana excluda de z0 que no contm pontos de S. Note que a
origem ponto de acumulao apenas do conjunto z = i/n (n = 1, 2, . . .).
Definio 1.22 (Conjuntos aberto e fechado) Um conjunto S aberto se todos os
seus pontos so pontos interiores. Um conjunto fechado se contm todos os pontos de
sua fronteira, e o fecho de um conjunto S o conjunto fechado constitudo de todos os
pontos de S, juntamente com sua fronteira.
28
1.12
Exerccios
3i
Respostas: (a) (1 + i); (b) .
2
(a) (16)1/4 ;
(b) (8 8 3i)1/4 .
(b) 81/6 .
1 + 3i
1 3i
Respostas: (b) 2,
,
.
2
2
4. As trs razes cbicas de um nmero complexo z0 no nulo podem ser escritas como
c0 , c0 3 , c0 32 onde c0 a raz cbica principal de z0 e
1 + 3i
2
=
.
3 = exp i
3
2
1)
(
3 + 1)i
( 3 + 1) + ( 3 1)i
(
c0 3 =
, c0 32 =
.
2
2
5. Encontre os quatro zeros do polinmio z 4 + 4, onde um deles
z0 = 2ei/4 = 1 + i.
Ento, use estes zeros para o fator z 2 + 4 nos fatores quadrticos com coeficientes
reais.
Resposta: (z 2 + 2z + 2)(z 2 2z + 2).
6. Esboce os seguinte conjuntos e determine quem so domnios:
(a) |z 2 + i| 1;
(b) |2z + 3| > 4;
(c) Im z > 1;
(d) Im z = 1;
(e) 0 arg z /4 (z 6= 0);
(f) |z 4| |z|.
Resposta: (b), (c) so domnios.
7. Quais conjuntos do exerccio 8) so nem aberto nem fechado?
Resposta: (e).
8. Quais conjuntos do exerccio 8) so limitados?
Resposta: (a).
9. Em cada caso, esboce o fecho do conjunto:
(a) <arg z < (z 6= 0);
(b) | Re z| < |z|;
1
1
;
(d) Re(z 2 ) > 0.
(c) Re
z
2
10. Seja S o conjunto aberto consistindo de todos os pontos tal que |z| < 1 ou |z2| < 1.
Diga por que S no conexo.
11. Determine os pontos de acumulao de cada um dos seguintes conjuntos:
(a) zn = in (n = 1, 2, . . .);
(b) zn = in /n (n = 1, 2, . . .);
n1
(c) 0 arg z < /2 (z 6= 0);
(d) zn = (1)n (1 + i)
(n = 1, 2, . . .).
n
Respostas: (a) no existe; (b) 0; (d) (1 + i).
30
1.12.1
Exerccios Tericos
1. (a) Seja a um nmero real fixo. Mostre que as duas razes quadradas de a + i so
A exp i
2
onde A =
a2 + 1 e = Arg(a + i).
(b) Mostre que as razes obtidas em (a) podem ser escritas como
1
A+a+i Aa .
2
2. Mostre que se c qualquer raz n-sima da unidade, diferente da prpria unidade,
ento
1 + c + c2 + + cn1 = 0.
3. Mostre que um conjunto S aberto se, e somente se cada ponto de S um ponto
interior.
4. Prove que se um conjunto contm todos os seus pontos de acumulao, ento este
conjunto tem que ser fechado.
5. Mostre que qualquer ponto z0 de um domnio um ponto de acumulao do mesmo
domnio.
6. Prove que um conjunto finito de pontos z1 , z2 , . . . , zn no tem nenhum ponto de
acumulao.
31
Captulo 2
Funes Analticas
2.1
(2.2)
Da,
u(x, y) = x2 y 2 e v(x, y) = 2xy.
Quando as coordenadas polares so usadas,
f (rei ) = (rei )2 = r2 ei2 = r2 cos 2 + ir2 sen 2.
Consequentemente,
u(r, ) = r2 cos 2 e v(r, ) = r2 sen 2.
Se, em qualquer uma das equaes (2.1) e (2.2), a funo v zero, ento o valor de f
sempre real. Isto , f uma funo real de uma varivel complexa.
Exemplo 2.3 Uma funo real que usada para ilustrar alguns conceitos importantes
neste captulo
f (z) = |z|2 = x2 + y 2 + i0.
Se n zero ou um nmero inteiro positivo e se a0 , a1 , a2 , . . ., an so constantes
complexas, onde an 6= 0, a funo
P (z) = a0 + a1 z + a2 z 2 + + an z n
um polinmio de grau n. Note que a soma aqui tem um nmero finito de termos e que
o domnio de definio todo o plano complexo. Quocientes de polinmios P (z)/Q(z)
so chamados funes racionais e so definidos em todo ponto z onde Q(z) 6= 0. Os
polinmios e funes racionais constituem importantes classes de funes de uma varivel
complexa.
Definio 2.2 (Funo multivalente) Uma funo multivalente uma regra que
atribui mais de um valor a um ponto z no domnio de definio.
As funes multivalentes so abordadas na teoria das funes de uma varivel
complexa. Quando funes multivalentes so estudadas, geralmente apenas um dos
possveis valores atribudos a cada ponto tomado, de forma sistemtica, e uma (valor
nico) funo construda a partir da funo de valor mltiplo.
Exemplo 2.4 Seja z um nmero complexo no nulo. Sabemos que z 1/2 possui dois
valores:
1/2
,
z = r exp i
2
onde r = |z| e ( < ) o valor principal de arg z. Trata-se de uma funo
multivalente. Mas, se escolhermos apenas o valor positivo de r e escrevermos
f (z) = r exp i
, r > 0, < ,
2
a funo fica bem definida sobre o conjunto de nmeros complexos tais que z 6= 0. Desde
que zero a nica raiz quadrada de zero, escrevemos f (0) = 0. A funo f fica, assim,
bem definido em todo o plano.
33
2.2
Exerccios
zz
z+z
e y=
2
2i
1
z
2.3
Limites
Definio 2.3 (Limite de uma funo complexa) Seja uma funo f definida em
todos os pontos z numa vizinhana excluda de z0 . Dizemos que o limite de f (z) quando
z se aproxima z0 um nmero w0 , ou que
lim f (z) = w0
zz0
(2.3)
34
(2.4)
zz0
lim f (z) = w1 .
zz0
Ento, para qualquer nmero positivo , existem nmeros positivos e 1 tais que
|f (z) w0 | < sempre que 0 < |z z0 | < 0
e
|f (z) w1 | < sempre que 0 < |z z0 | < 1
Assim, se 0 < |z z0 | < , onde denota o menor dos dois nmeros 0 e 1 , obtemos
|w1 w0 | = |[f (z) w0 ] [f (z) w1 ]| |f (z) w0 | + |f (z) w1 | < + = 2.
Mas |w1 w0 | uma constante no negativa, e pode ser escolhido arbitrariamente
pequeno. Ento
w1 w0 = 0, ou w1 = w0 .
A definio (2.4) requer que f seja definida em todos os pontos em alguma vizinhana
excluda de z0 . Tal vizinhana excluda, claro, sempre existe quando z0 um ponto
interior de uma regio na qual f est definida. Podemos estender a definio de limite
para o caso em que z0 um ponto de fronteira da regio; basta observar que a primeira
das desigualdades (2.4) precisa ser satisfeita pelos pontos z que se encontram em ambas
as regies e na vizinhana excluda.
Exemplo 2.5 Vamos mostrar que se f (z) = iz/2 num disco aberto |z| < 1, ento
i
lim f (z) = ,
2
z1
35
Figura 8.
Portanto, a condio (2.4) satisfeita pelos pontos na regio |z| < 1, quando igual a
2 ou qualquer nmero positivo menor.
Exemplo 2.6 Se f (z) =
z
o limite lim f (z) no existe.
z0
z
x + i0
= 1;
x i0
Figura 9.
36
Ento
lim f (z) = w0
(2.5)
zz0
se, e somente se
lim
(x,y)(x0 ,y0 )
u(x, y) = u0 e
lim
(x,y)(x0 ,y0 )
v(x, y) = v0 .
(2.6)
Demonstrao: () Os limites em (2.6) nos dizem que, para cada > 0, existem 1 > 0
e 2 > 0 tais que
p
+ =
2 2
sempre que
0 < |(x + iy) (x0 + iy0 )| < .
() Pela hiptese, para todo > 0, existe > 0 tal que
|(u + iv) (u0 + iv0 )| <
(2.7)
(2.8)
sempre que
Mas
|u u0 | |(u u0 + i(v v0 )| = |(u + iv) (u0 + iv0 )|,
|v v0 | |(u u0 ) + i(v v0 )| = |(u + iv) (u0 + iv0 )|,
e
|(x + iy) (x0 + iy0 )| = |(x x0 ) + i(y y0 )| =
p
(x x0 )2 + (y y0 )2 .
(x x0 )2 + (y y0 )2 < ,
zz0
lim F (z) = W0 .
zz0
Ento
lim [f (z) + F (z)] = w0 + W0 ,
zz0
zz0
e, se W0 6= 0,
lim
zz0
f (z)
w0
=
.
F (z)
W0
Demonstrao: Este teorema pode ser provado usando a definio de limite de uma
funo de uma varivel complexa. Mas, com a ajuda do Teorema anterior, segue-se quase
imediatamente dos teoremas sobre limites de funes reais de duas variveis. Deixamos a
cargo do leitor verificar os detalhes dessa demonstrao.
Exemplo 2.7 (Limite de uma funo polinomial) fcil ver, pela definio de
limite, que
lim c = c e lim z = z0 ,
zz0
zz0
zz0
zz0
2.4
norte N da superfcie esfrica. Da mesma maneira, a cada ponto P sobre a esfera, exceto
o polo norte N , corresponde exatamente um ponto z no plano. Ao deixar o ponto N da
esfera corresponder ao ponto infinito, obtemos uma correspondncia 1-1 entre os pontos
da esfera e os pontos do plano complexo estendido. Esta esfera conhecida como a esfera
de Riemann, e a correspondncia chamada de projeo estereogrfica.
Observe que o exterior do crculo unitrio centrado na origem no plano complexo
corresponde ao hemisfrio superior da esfera com o equador e o ponto N excludos.
Alm disso, para cada > 0 pequeno, os pontos no plano complexo exterior ao crculo
|z| = 1/ correspondem a pontos sobre a esfera fechada em N . Assim, chamamos o
conjunto |z| > 1/ de vizinhana, ou vizinhana, de .
Em geral, quando nos referimos a um ponto z, estamos falando de um ponto no plano
finito. Quando o ponto infinito considerado, especificaremos.
Teorema 2.3 Se z0 e w0 so pontos nos planos z e w, respectivamante, ento
lim f (z) = se, e somente se
zz0
e
lim f (z) = w0
lim
zz0
1
=0
f (z)
1
se, e somente se lim f
= w0 .
z0
z
(2.9)
(2.10)
Alm disso,
1
= 0.
z0 f (1/z)
(2.11)
Demonstrao: Inicialmente observe que (2.9) significa que, para cada > 0, existe um
> 0 tal que
1
|f (z)| >
sempre que 0 < |z z0 | < .
Ou seja, o ponto w = f (z) pertence a vizinhana |w| > 1/ de sempre que z pertence
a vizinhana 0 < |z z0 | < de z0 . Podemos reescrever a ltima expresso como
1
< sempre que 0 < |z z0 | < ,
0
f (z)
donde segue o segundo limite em (2.9).
O primeiro dos limites em (2.10) significa que, para todo > 0, existe > 0 tal que
1
|f (z) w0 | < sempre que |z| > .
Finalmente, o primeiro dos limites em (2.11) significa que, para todo > 0, existe um
> 0 tal que
1
1
|f (z)| >
sempre que |z| > .
0
f (1/z)
e isto prova o segundo limite em (2.11).
Exemplo 2.8 Observe que
iz + 3
= desde que
z1 z + 1
lim
z+1
=0
z1 iz + 3
lim
2z + i
(2/z) + i
2 + iz
= 2 desde que lim
= lim
= 2.
z z + 1
z0 (1/z) + 1
z0 1 + z
lim
Alm disso,
2z 3 1
(1/z 2 ) + 1
z + z3
=
desde
que
lim
=
lim
= 0.
z0 (2/z 3 ) 1
z0 2 z 3
z z 2 + 1
lim
2.5
Continuidade
2. f (z0 ) existe
3. lim f (z) = f (z0 ).
zz0
Observe que a terceira condio diz que para todo > 0, existe um > 0 tal que
|f (z) f (z0 )| < sempre que |z z0 | < .
Uma funo de uma varivel complexa dita contnua em uma regio R quando for
contnua em cada ponto de R.
Se duas funes so contnuas num ponto, sua soma e produto tambm so contnuas
nesse ponto; o quociente contnuo em algum ponto onde o denominador no nulo.
Note tambm que, um polinmio contnuo em todo o plano.
Teorema 2.4 A composio de funes contnuas tambm contnua.
40
Figura 11.
(Veja figura 11) Mas a continuidade de f em z0 garante que a vizinhana |z z0 | <
pode ser feita pequena o suficiente para que a segunda destas desigualdades se mantenha.
A continuidade da composio g[f (z)] , portanto, estabelecida.
Teorema 2.5 Se uma funo f (z) contnua num ponto e no nula num ponto z0 , ento
temos f (z) 6= 0 ao longo de alguma vizinhana deste ponto.
Demonstrao: Assumindo que f (z) , de fato, contnua e diferente de zero em z0 ,
podemos provar o teorema, tomando = |f (z0 )|/2. Isso nos diz que existe > 0 tal que
|f (z) f (z0 )| <
|f (z0 )|
sempre que |z z0 | < .
2
|f (z0 )|
;
2
2.6
Exerccios
(b) lim z = z0 ;
zz0
zz0
z 2
z
quando z tende a 0 no existe. Para isto utilize pontos z = (x, 0) e z = (x, x) para
se aproximar da origem.
4) Use a definio formal de limite para provar que se lim f (z) = w0 ento lim |f (z)| =
zz0
zz0
|w0 |.
5) Suponha que se lim f (z) = 0 e se existe um nmero positivo M tal que |g(z)| M
zz0
zz0
.
6) Calcule os limtes.
4z 2
;
(a) lim
z (z 1)2
1
(b) lim
;
z1 (z 1)3
z2 + 1
(c) lim
.
z z 1
7) Seja
T (z) =
Calcule:
(a) lim T (z) se c = 0;
(c)
az + b
(ad bc 6= 0).
cz + d
lim T (z) se c 6= 0.
zd/c
2.7
Derivada
Definio 2.5 Seja f uma funo cujo domnio contm uma vizinhana do ponto z0 . A
derivada de f em z0 , escrita f 0 (z0 ), definida pela equao
f 0 (z0 ) = lim
zz0
f (z) f (z0 )
,
z z0
42
(2.12)
desde que este limite exista. A funo f dita diferencivel em z0 quando a derivada
existe neste ponto.
Expressando a varivel z na definio (2.12) em termos da nova varivel complexa
z = z z0
podemos escrever a definio como
f (z0 + z) f (z0 )
.
z0
z
f 0 (z0 ) = lim
(2.13)
Figura 12.
Neste caso,
w
= z + z + z.
z
43
Ento, se o limite existe, seu valor deve ser z +z. Por outro lado, quando z se aproxima
da origem verticalmente atravs dos pontos (0, y) no eixo imaginrio,
z = 0 + iy = (0 + iy) = z,
e encontramos
w
= z + z z.
z
Ento, o limite deve ser z z se existir. Pela unicidade do limite, dw/dz s poder existir
se
z + z = z z,
ou seja, z = 0. Para mostrar que, de fato, dw/dz existe em z = 0, precisamos apenas
observar que nossa expresso para w/z se reduz a z quando z = 0. Concluimos,
portanto, que dw/dz existe apenas em z = 0, e seu valor nesse ponto 0.
No exemplo anterior, observe que as partes real e imaginria de f (z) = |z|2 so
u(x, y) = x2 + y 2 e v(x, y) = 0,
Isto mostra que as componentes real e imaginria de uma funo de uma varivel complexa
podem ter derivadas parciais contnuas de todas as ordens em um ponto com a funo
no sendo diferencivel l.
A funo f (z) = |z|2 contnua em cada ponto no plano desde que suas componentes
sejam contnuas em cada ponto. Assim, a continuidade de uma funo num ponto no
implica na existncia da derivada nesse ponto.
Obs. 2.3 (Diferenciabilidade implica em continuidade)
verdade
que
a
existncia da derivada de uma funo num ponto implica na continuidade da funo
nesse ponto. Para ver isto, assuma que f 0 (z0 ) existe e escrevemos
lim [f (z) f (z0 )] = lim
zz0
zz0
f (z) f (z0 )
lim (z z0 ) = f 0 (z0 ) 0 = 0,
zz0
z z0
zz0
ou seja, f contnua em z0 .
2.8
Frmulas de diferenciao
As frmulas de diferenciao bsica que veremos a seguir podem ser obtidas a partir
da definio de derivada, seguindo essencialmente os mesmos passos como os usados em
clculo. Nestas frmulas, a derivada de uma funo f em um ponto z denotada por
d
f (z) ou f 0 (z).
dz
Seja c uma constante complexa e f, F duas funes funo diferenciveis em z. Temos
as seguintes frmulas:
44
1.
d
d
d
c = 0,
z = 1,
[cf (z)] = cf 0 (z);
dz
dz
dz
2.
d n
z = nz n1 , n inteiro positivo. Esta frmula tambm vale quando n um inteiro
dz
negativo, desde que z 6= 0;
3.
d
[f (z) + F (z)] = f 0 (z) + F 0 (z);
dz
d
[f (z)F (z)] = f (z)F 0 (z) + f 0 (z)F (z);
dz
d f (z)
F (z)f 0 (z) f (z)F 0 (z)
5.
=
, F (z) 6= 0.
dz F (z)
[F (z)]2
4.
Teorema 2.6 (Regra da Cadeia) Suponha que f possui derivada em z0 e que g possui
derivada em f (z0 ). Ento a funo F (z) = g[f (z)] possui derivada em z0 , e
F 0 (z0 ) = g 0 [f (z0 )]f 0 (z0 ).
Se escrevemos w = f (z) e W = g(w), temos W = F (z), e a regra da cadeia se torna
dW dw
dW
=
.
dz
dw dz
Demonstrao: Seja z0 um ponto onde f 0 (z0 ) existe. Escrevemos w0 = f (z0 ) e tambm
assumimos que g 0 (w0 ) existe. Ento, existe alguma vizinhana |w w0 | < de w0 tal que,
para todos os pontos w nesta vizinhana podemos definir uma funo tal que
0,
quando w = w0
g(w) g(w0 )
(w) =
.
g 0 (w0 ), quando w 6= w0
w w0
Note que, pela definio de derivada
lim (w) = 0.
ww0
Ento contnua em w0 .
Agora, podemos usar a expresso de para obter a forma
g(w) g(w0 ) = [g 0 (w0 ) + (w)](w w0 ), |w w0 | < ,
que vlida quando w = w0 ; e, desde que, f 0 (z0 ) existe e f , portanto, contnua em z0 ,
podemos escolher > 0 tal que o ponto f (z) pertence a vizinhana |w w0 | < de w0
se z pertencer a vizinhana |z z0 | < de z0 . Assim, podemos substituir w na ltima
equao por f (z) quando z um ponto qualquer na vizinhana |z z0 | < . Com essa
substituio e com w0 = f (z0 ), a equao anterior torna-se
f (z) f (z0 )
g[f (z)] g[f (z0 )]
= {g 0 [f (z0 )] + [f (z)]}
, 0 < |z z0 | < ,
z z0
z z0
45
2.9
Equaes de Cauchy-Riemann
f 0 (z0 ) = lim
existe, obtemos
f 0 (z0 ) =
lim
(x,y)(0,0)
Re
w
w
+i
lim
Im
.
(x,y)(0,0)
z
z
(2.14)
Ento
lim
Re
u(x0 + x, y0 ) u(x0 , y0 )
w
= lim
= ux (x0 , y0 )
x0
z
x
Im
v(x0 + x, y0 ) v(x0 , y0 )
w
= lim
= vx (x0 , y0 )
x0
z
x
(x,y)(0,0)
e
lim
(x,y)(0,0)
onde ux (x0 , y0 ) e vx (x0 , y0 ) denotam as derivadas parciais de primeira ordem com respeito
a x das funes u e v no ponto (x0 , y0 ). Substituindo esses limites na expresso (2.14),
obtemos
f 0 (z0 ) = ux (x0 , y0 ) + ivx (x0 , y0 ).
(2.15)
Por outro lado, fazendo z tender a zero na direo vertical atravs dos pontos (0, y),
temos x = 0 e
w
u(x0 , y0 + y) u(x0 , y0 )
v(x0 , y0 + y) v(x0 , y0 )
=
+i
z
iy
iy
u(x0 , y0 + y) u(x0 , y0 )
v(x0 , y0 + y) v(x0 , y0 )
i
.
=
y
y
Ento,
lim
Re
(x,y)(0,0)
e
lim
Im
(x,y)(0,0)
w
v(x0 , y0 + y) v(x0 , y0 )
= lim
= vy (x0 , y0 )
y0
z
y
w
u(x0 , y0 + y) u(x0 , y0 )
= lim
= uy (x0 , y0 ).
y0
z
y
(2.16)
47
diferencivel em todo o plano complexo e f 0 (z) = 2z. Para verificar que as equaes de
Cauchy-Riemann so satisfeitas em todo plano, note que
u(x, y) = x2 y 2 e v(x, y) = 2xy.
Ento
ux = 2x = vy , uy = 2y = vx .
Alm disso, podemos calcular f 0 (z) da seguinte forma:
f 0 (z) = 2x + i2y = 2(x + iy) = 2z.
Uma vez que as equaes de Cauchy-Riemann so condies necessrias para a
existncia da derivada de uma funo f em um ponto z0 , muitas vezes podemos utiliz-las
para localizar pontos onde f no possui derivada.
Exemplo 2.13 Quanto f (z) = |z|2 , temos
u(x, y) = x2 + y 2 e v(x, y) = 0.
Se as equaes de Cauchy-Riemann so satisfeitas num ponto (x, y), segue-se que 2x = 0
e 2y = 0, ou seja, x = y = 0. Conseqentemente, f 0 (z) no existe em qualquer ponto
diferente de zero, como j foi visto anteriormente. Note que o teorema anterior no
assegura a existncia de f 0 (0). O prximo teorema, no entanto, assegura isso.
Exemplo 2.14 (Cauchy-Riemann no implica diferenciabilidade) Considere
funo
3
x3 + y 3
x y3
+
i
, z 6= 0
.
f (z) =
x2 + y 2
x2 + y 2
0,
z=0
Teorema 2.8 Seja f (z) = u(x, y) + iv(x, y) definida em toda uma vizinhana do ponto
z0 = x0 + iy0 , e suponha que as derivadas parciais de primeira ordem das funes u e
v com respeito a x e y existem em toda a vizinhana de z0 . Se essas derivadas parciais
forem contnuas em (x0 , y0 ) e satisfazem as equaes de Cauchy-Riemann
ux = vy , uy = vx
em (x0 , y0 ), ento f 0 (z0 ) existe.
Demonstrao: Comeamos a demonstrao escrevendo z = x + iy, onde 0 <
|z| < , e
w = f (z0 + z) f (z0 ).
Ento w = u + iv, onde
u = u(x0 + x, y0 + y) u(x0 , y0 )
v = v(x0 + x, y0 + y) v(x0 , y0 ).
As hipteses de continuidade das derivadas parciais de primeira ordem de u e v no ponto
(x0 , y0 ), nos permintem escrever 1
p
u = ux (x0 , y0 )x + uy (x0 , y0 )y + 1 (x)2 + (y)2
e
v = vx (x0 , y0 )x + vy (x0 , y0 )y + 2
(x)2 + (y)2 ,
Veja, por exemplo, a seo sobre diferenciabilidade do Clculo II do Thomas, ou um livro de Clculo
Avanado (este ltimo mais recomendado).
49
2.10
Coordenadas polares
(2.18)
(2.19)
e
Se as derivadas parciais com respeito a x e y satisfazem as equaes de CauchyRiemann, ux = vy e uy = vx , em z0 , obtemos
vr = uy cos + ux sen , v = uy r sen + ux r cos
em z0 . Assim, claro pela equao (2.18) e pela anterior que
rur = v , u = rvr
(2.20)
no ponto z0 .
Se, por outro lado, as equaes (2.20) so satisfeitas em z0 , muito simples mostrar
(Exerccio) que as equaes de Cauchy-Riemann nas variveis x e y tambm so vlidas
em z0 . Assim, as equaes (2.20) so as equaes de Cauchy-Riemann em coordenadas
polares.
A derivada f 0 (z0 ) pode ser escrita como (Exerccio)
f 0 (z0 ) = ei (ur + ivr ),
onde o lado direito da equao calculado no ponto (r0 , 0 ).
Exemplo 2.17 Considere a funo
f (z) =
1
1
1
1
= i = ei = (cos i sen ), z 6= 0.
z
re
r
r
Desde que
u(r, ) =
sen
cos
e v(r, ) =
,
r
r
cos
sen
= v e u =
= rvr
r
r
Exemplo 2.18 O teorema anterior pode ser utilizado para mostrar que, quando um
nmero real fixado, a funo
r cos
e v(r, ) = 3 r sen .
3
3
3
r
r
rur =
cos = v e u =
sen = rvr
3
3
3
3
1
f 0 (z) = ei
2 cos + i
2 sen
3
3
3 ( 3 r)
3 ( 3 r)
ou
f 0 (z) =
ei i/3
1
1
=
.
2e
2 =
3
3
i/3
3 [f (z)]2
3 ( r)
3 ( re )
2.11
Exerccios
1) Determine f 0 (z).
(a) f (z) = 3z 2 2z + 4;
(b) f (z) = (1 4z 2 )3 ;
z1
(1 + z 2 )4
(c) f (z) =
(z 6= 1/2) (d) f (z) =
(z 6= 0).
2z + 1
z2
2) Sabemos que um polinmio
P (z) = a0 + a1 z + a2 z 2 + . . . + an z n
(an 6= 0)
P 0 (0)
P 00 (0)
P (n) (0)
, a2 =
, . . . an =
.
1!
2!
n!
52
3) Suponha que f (z0 ) = g(z0 ) = 0 e que f 0 (z0 ) e g 0 (z0 ) existem, com g 0 (z0 ) 6= 0. Use a
definio de derivada para mostrar que
lim
zz0
f (z)
f 0 (z0 )
= 0
.
g(z)
g (z0 )
(b) f (z) = Im z.
z 2 /z quando z =
6 0
.
0
quando z = 0
(b) f (z) = z z;
(d) f (z) = ex eiy .
7) Mostre que f 0 (z) e f 00 (z) existem em todo plano complexo e encontre f 00 (z) quando
(a) f (z) = iz + 2;
(c) f (z) = z 3 ;
(b) f (z) = x2 + iy 2 ;
1
f (z)
; (c) f 0 (z) = i
.
2f (z)
z
53
2.12
Funes analticas
Definio 2.6 Uma funo f de uma varivel complexa z analtica num conjunto
aberto se ela tem uma derivada em cada ponto do conjunto. Quando falamos de uma
funo f que analtica em um conjunto S que no aberto, devemos entender que f
analtica em um conjunto aberto contendo S. Em particular, f analtica em um ponto
z0 se analtica em alguma vizinhana de z0 .
Notamos, por exemplo, que a funo f (z) = 1/z analtica em cada ponto diferente
de zero no plano finito. Mas a funo f (z) = |z|2 no analtica em ponto algum, pois
sua derivada existe apenas em z = 0 e no em alguma vizinhana desse ponto.
Definio 2.7 Uma funo inteira uma funo que analtica em cada ponto no plano
finito.
Desde que a derivada de um polinmio existe em qualquer ponto, segue-se que cada
funo polinomial uma funo inteira.
Definio 2.8 Se uma funo f no analtica em um ponto z0 , mas analtica em
alguma vizinhana do ponto z0 , dizemos que z0 ponto singular, ou singularidade, de f .
O ponto z = 0 , evidentemente, um ponto singular da funo f (z) = 1/z. A funo
f (z) = |z|2 , por outro lado, no tem pontos singulares, uma vez que no nem analtica.
Uma condio necessria, mas no suficiente, para que uma funo f seja analtica
em um domnio D a continuidade de f ao longo D. A satisfao das equaes de
Cauchy-Riemann tambm necessrio, mas no suficiente. Condies suficientes para
analiticidade em D j foram fornecidas nas sees anteriores.
Assim, se duas funes so analticas em um domnio D, a sua soma e seus produtos
tambm so analticas em D. Da mesma forma, o quociente analtico em D desde que a
funo no denominador no se anule em qualquer ponto de D. Em particular, o quociente
de P (z)/Q(z) de dois polinmios analtica em qualquer domnio no qual Q(z) 6= 0.
Da regra da cadeia para a derivada de uma funo composta, temos que a composio
de duas funes analticas analtica. Mais precisamente, suponha que uma funo f (z)
analtica em um domnio D e que a imagem de D pela transformao w = f (z) est
contida no domnio de definio de uma funo g(w). Ento a composio g[f (z)]
analtica em D, com derivativa
d
g[f (z)] = g 0 [f (z)]f 0 (z).
dz
O seguinte teorema especialmente til, alm de esperado.
Teorema 2.10 Se f 0 (z) = 0 num domnio D, ento f (z) constante em D.
Demonstrao: Comeamos a demonstrao escrevendo f (z) = u(x, y) + iv(x, y).
Assumindo que f 0 (z) = 0 em D, notamos que ux + ivx = 0; e, pelas equaes de CauchyRiemann, vy iuy = 0. Consequentemente,
ux = uy = vx = vy = 0
em cada ponto de D.
54
Figura 14.
z3 + 4
(z 2 3)(z 2 + 1)
(2.21)
2.13
Funes harmnicas
Definio 2.9 Uma funo real H de duas variveis reais x e y harmnica em um dado
domnio no plano xy se, em todo seu domnio ela possui derivadas parciais de primeira e
segunda ordem contnuas e satisfazendo a equao diferencial parcial
Hxx (x, y) + Hyy (x, y) = 0,
conhecida como equao de Laplace;
Funes harmnicas desempenham um papel importante em matemtica aplicada. Por
exemplo, a temperatura T (x, y) em chapas finas deitada no plano xy so muitas vezes
harmnicas. A funo V (x, y) harmnica quando denota um potencial eletrosttico que
varia apenas com x e y no interior de uma regio do espao tridimensional que livre de
cargas.
Exemplo 2.22 fcil verificar que a funo T (x, y) = ey sen x harmnica num
domnio do plano xy e, em particular, no semi-plano vertical 0 < x < , y > 0.
56
lim T (x, y) = 0,
Figura 15.
Teorema 2.11 Se uma funo f (z) = u(x, y) + iv(x, y) analtica num domnio D, as
suas funes componentes u e v so harmnicas em D.
Demonstrao: Para mostrar isso, precisamos de um resultado que ser provado no
Captulo 4, ou seja, se uma funo de uma varivel complexa analtica em um ponto,
ento a suas partes real e imaginria tm derivadas parciais contnuas de todas as ordens
nesse ponto.
Assumindo que f analtica em D, comeamos com a observao de que as derivadas
parciais de primeira ordem das funes componentes devem satisfazer as equaes de
Cauchy-Riemann em D:
ux = vy , uy = vx .
Diferenciando ambos os lados das equaes anteriores com relao a x, temos
uxx = vyx , uyx = vxx .
Agora, diferenciando com respeito a y, obtemos
uxy = vyy , uyy = vxy .
Por um teorema do Clculo Avanado, a continuidade das derivadas parciais de u e v
garante que uyx = uxy e vyx = vxy ; este fato juntamente com as equaes anteriores nos
fornecem
uxx + uyy = 0 e vxx + vyy = 0.
Isto , u e v so harmnicas em D.
Exemplo 2.23 A funo f (z) = ey sen x iey cos x inteira (Exerccio). Ento, sua
parte real, que a funo temperatura T (x, y) = ey sen x, harmnica em todo plano
xy.
57
Exemplo 2.24 Desde que a funo f (z) = i/z 2 analtica sempre que z 6= 0 e
iz 2
i
i z2
iz 2
2xy + i(x2 y 2 )
,
=
=
=
=
z2
z2 z2
(zz)2
|z|4
(x2 + y 2 )2
As funes
u(x, y) =
2xy
x2 y 2
e
v(x,
y)
=
(x2 + y 2 )2
(x2 + y 2 )2
58
2.14
Exerccios
i/2
re
1
.
2g(z)
Mostre que a composio G(z) = g(2z 2 + i) analtica em todo plano x > 1, com
derivada
1
.
G0 (z) =
g(2z 2 + i)
Sugesto: Observe que Re(2z 2 + i) > 0 quando x > 1.
59
60
Captulo 3
Funes Elementares
3.1
A funo exponencial
(3.1)
ez1
= ez1 z2 ;
ez2
3.
d z
e = ez em todo plano z;
dz
4. ez 6= 0 para todo z C.
De fato, sejam z1 = x1 + iy1 e z2 = x2 + iy2 . Ento
ez1 ez2 = (ex1 eiy1 )(ex2 eiy2 ) = (ex1 ex2 )(eiy1 eiy2 ).
Como x1 , x2 R e eiy1 eiy2 = ei(y1 +y2 ) (produto de nmeros complexos na forma
exponencial) segue que
ez1 z2 = ex1 +x2 ei(y1 +y2 )
e, desde que
z1 + z2 = (x1 + iy1 ) + (x2 + iy2 ) = (x1 + x2 ) + i(y1 + y2 )
61
temos estabelecido a propriedade 1. Para provar 2 basta escrever ez1 z2 ez2 = ez1 , ou seja,
e z1
= ez1 z2 .
e z2
De 2 e do fato de e0 = 1, segue que 1/ez = ez . A propriedade 3 j foi provada no captulo
anterior; ela nos diz que ez uma funo inteira.
Finalmente, para justificar 4, escreva (3.1) na forma
ez = ei onde = ex e = y,
ou seja,
|ez | = ex e arg(ez ) = y + 2n, n = 0, 1, 2, . . . .
A afirmao 4 segue do fato de |ez | = ex > 0.
Porm, algumas propriedades de ez no so esperadas. Por exemplo, desde que
ez+2i = ez e2i e e2i = 1,
vemos que ez peridica, com perodo puramente imaginrio 2i:
ez+2i = ez .
O prximo exemplo ilustra outra propriedade de ez que ex no possui; enquanto ex
nunca negativo, existem valores tais que ez negativo.
Exemplo 3.1 Existem valores de z tais que ez = 1. Para encontr-los, escreva
ez = 1 = 1ei
e por igualdade de nmeros complexos na forma exponencial, segue que
ex = 1 e y = + 2n, n = 0, 1, 2, . . . .
Ento x = 0, e encontramos os valores
z = (2n + 1)i, n = 0, 1, 2, . . . .
3.2
A funo logartmica
2
1
log(1 3i) = ln 2 + i
+ 2n = ln 2 + 2 n
i, n = 0, 1, 2, . . . .
3
3
Queremos enfatizar tambm, que log(ez ) nem sempre resulta no nmero complexo z.
Mais precisamente, desde que (3.3) pode ser escrita como
log z = ln |z| + i arg z
e como
|ez | = ex e arg(ez ) = y + 2n, n = 0, 1, 2, . . .
onde z = x + iy, obtemos
log(ez ) = ln |ez | + i arg(ez ) = ln(ex ) + i(y + 2n) = (x + iy) + 2ni, n = 0, 1, 2, . . . ,
Definio 3.3 (Valor principal) O valor principal de log z o valor obtido de (3.3)
quando n = 0 e denotado por Log z, isto ,
Log z = ln r + i.
Note que Log z define uma funo quando z 6= 0 e que
log z = Log z + 2ni, n = 0, 1, 2, . . . .
Quando z = r um nmero real positivo, este logartmo se reduz ao logartmo usual do
clculo. Para ver isto, escreva z = rei0 e obtemos Log z = lnr.
63
3.3
Ento, a funo log z contnua em todo plano z exceto sobre o raio = . Alm disso,
esta funo analtica no seu domnio com
d
1
log z =
dz
z
Em particular,
d
1
Log z =
dz
z
64
Alm disso,
d
log z = ei (ur + ivr ) = ei
dz
1
1
+ i0 = i ;
r
re
isto ,
1
d
log z =
dz
z
Em particular,
1
d
Log z =
dz
z
= i
2
2
3
3 Log i = 3 ln 1 + i
=
i.
2
2
Ento
Log(i3 ) 6= 3 Log i.
65
3.4
2k
exp
log z = n r exp i
+
(k = 0, 1, 2, . . . , n 1).
n
n
n
3.5
Expoentes complexos
1
+ 2n = 2n +
i (n = 0, 1, 2, . . .).
log i = ln 1 + i
2
2
66
Desde que a funo exponencial possui a propriedade 1/ez = ez , podemos ver que
1
1
= exp(c log z) = z c
=
c
z
exp(c log z)
e, em particular, 1/i2i = i2i , ou seja, do exemplo anterior
1
= exp[(4n + 1)] (n = 0, 1, 2, . . .).
i2i
Se z = rei e um nmero real qualquer, o ramo
log z = ln r + i (r > 0, < < + 2)
da funo logartmica uma funo analtica no domnio indicado. Quando este ramo
utilizado, segue que a funo z c = exp(c log z) uma funo analtica neste mesmo
domnio. A derivada de cada ramo de z c encontrado usando a regra da cadeia para
escrever
d
c
d c
z =
exp(c log z) = exp(c log z).
dz
dz
z
Lembrando que z = exp(log z), obtemos
d c
exp(c log z)
z =c
= c exp[(c 1) log z],
dz
exp(log z)
ou seja,
d c
z = cz c1 (|z| > 0, < arg z < + 2).
dz
O valor principal de z c ocorre quando log z substituido por Log z na definio:
V. P. z c = ec Log z .
A equao anterior tambm serve para definir o ramo principal da funo z c no domnio
|z| > 0, < Arg z < .
Exemplo 3.9 O valor principal de (i)i
h
i
V. P.(i)i = exp .
2
r2 cos
2
2
3
+ i r2 sen
.
3
3
2+i/4)
2i/4)
Ento
(z1 z2 )i = z1i z2i
como poderia se esperar. Por outro lado, continuando com o valor principal, vemos que
(z2 z3 )i = (2)i = ei Log(2) = ei(ln 2+i) = e ei ln 2
e
z3i = ei Log(1i) = ei(ln
2i3/4)
Ento
(z2 z3 )i = e/4 ei(ln 2)/2 e3/4 ei(ln 2)/2 e2 ,
ou
(z2 z3 )i = z2i z3i e2 .
A funo exponencial com base c, onde c um complexo no nulo constante, escrita
como
cz = ez log c .
Note que a funo ez , em geral, uma funo multivalente; mas a interpretao usual de
ez ocorre quando o valor principal do logartmo tomado. Isto segue do fato do valor
principal de log e ser a unidade.
Quando o valor de log c especificado, cz uma funo inteira de z. De fato,
d
d z
c = ez log c = ez log c log c;
dz
dz
e isto mostra que
d z
c = cz log c.
dz
68
3.6
Funes trigonomtricas
eix eix
eix + eix
e cos x =
.
2i
2
Isto sugere definir de forma natural as funes seno e cosseno de uma varivel complexa
como segue:
eiz + eiz
eiz eiz
sen z =
e cos z =
.
2i
2
Estas funes so inteiras desde que so combinaes lineares das funes inteiras eiz e
eiz . Sabendo das derivadas
d iz
d iz
e = ieiz e
e = ieiz
dz
dz
podemos provar facilmente que
d
d
sen z = cos z e
cos z = sen z.
dz
dz
A partir definio dessas funes podemos justificar (fica a cargo do leitor) as seguintes
propriedades:
1. sen(z) = sen z, cos(z) = cos z;
2. eiz = cos z + i sen z;
3. sen(z1 + z2 ) = sen z1 cos z2 + cos z1 sen z2 ;
4. cos(z1 + z2 ) = cos z1 cos z2 sen z1 sen z2 ;
5. sen 2z = 2 sen z cos z, cos 2z = cos2 z sen2 z;
6. sen z +
= cos z, sen z
= cos z;
2
2
7. sen2 z + cos2 z = 1;
8. sen(z + 2) = sen z, sen(z + ) = sen z;
9. cos(z + 2) = cos z, cos(z + ) = cos z;
69
ey + ey
ey ey
e cosh y =
.
2
2
1
cos z
csc z =
1
.
sen z
Observe que as funes tan z e sec z so funes analticas em todo plano complexo exceto
nos pontos singulares
z = + n (n = 0, 1, 2, . . .)
2
e que as funes cot z e csc z so analticas em todo plano complexo exceto nas
singularidades
z = n (n = 0, 1, 2, . . .).
As derivadas dessas funes so
d
tan z = sec2 z
dz
d
cot z = csc2 z,
dz
d
d
sec z = sec z tan z
csc z = csc z cot z.
dz
dz
A periodicidade dessas funes segue da periodicidade das funes seno e cosseno. Por
exemplo, fcil mostrar que
tan(z + ) = tan z.
70
3.7
Funes hiperblicas
ez ez
ez + ez
, cosh z =
.
2
2
Desde que ez e ez so inteiras, o mesmo ocorre em relao a senh z e cosh z. Alm disso,
d
d
senh z = cosh,
cosh z = senh z.
dz
dz
Temos as seguintes propriedades cujas demosntraes ficam a cargo do leitor:
1. i senh(iz) = sen z, cosh(iz) = cos z;
2. i sen(iz) = senh z, cos(iz) = cosh z;
3. senh(z) = senh z, cosh(z) = cosh z;
4. cosh2 z senh2 z = 1;
5. senh(z1 + z2 ) = senh z1 cosh z2 + cosh z1 senh z2 ;
6. cosh(z1 + z2 ) = cosh z1 cosh z2 + senh z1 senh z2 ;
7. senh z = senh x cos y + i cosh x sen y;
8. cosh z = cosh x cos y + i senh x sen y;
9. | senh z|2 = senh2 x + sen2 y;
10. | cosh z|2 = senh2 x + cos2 y,
onde z = x + iy. Outras duas propriedades importantes (cuja justificativa tambm
deixaremos a cargo de leitor) so
senh z = 0 se, e somente se z = ni (n = 0, 1, 2, . . .)
e
cosh z = 0 se, e somente se z =
2
+ n i (n = 0, 1, 2, . . .).
tanh z =
d
coth z = csch2 z,
dz
d
d
sech z = sech z tanh z
csch z = csch z coth z.
dz
dz
71
3.8
eiw eiw
.
2i
b + (b2 4ac)1/2
(P rove!).
2a
Assim, encontramos
eiw = iz + (1 z 2 )1/2
onde (1 z 2 )1/2 assume dois valores para cada z complexo. Tomando logartmos na
equao anterior, obtemos
sen1 z = i log[iz + (1 z 2 )1/2 ].
Exemplo 3.12 Temos
sen1 (i) = i log(1
Mas,
log(1 +
e
log(1
Desde que
2) = ln(1 +
2).
2) + 2ni (n = 0, 1, 2, . . .)
ln( 2 1) = ln
1
= ln(1 + 2),
1+ 2
os nmeros
2) + ni (n = 0, 1, 2, . . .)
2) (n = 0, 1, 2, . . .).
tan1 z =
3.9
1
1+z
log
.
2
1z
Exerccios
1) Mostre que
2
(b) exp
2 + i
4
=
e
(1 + i);
2
73
(b) ez = 1 +
1
Respostas: (b) z = ln 2 + 2n +
3
0, 1, 2, . . .).
3i;
i (n = 0, 1, 2, . . .); (c) z =
1
+ ni (n =
2
i;
2
(b) Log(1 i) =
ln 2 i.
2
4
1
i (n = 0, 1, 2, . . .).
(c) log(1 + 3i) = ln 2 + 2 n +
3
12) Mostre que
(a) Log(1 + i)2 = 2 Log(1 + i);
9
(a) log(i ) = 2 log i quando log z = ln r + i r > 0, < <
;
4
4
3
11
2
(b) log(i ) 6= 2 log i quando log z = ln r + i r > 0,
<<
4
4
2
16) Suponha que z = x + iy a faixa horizontal < y < + 2. Mostre que quando o
ramo log z = ln r + i (r > 0, < < + 2) tomado, log(ez ) = z.
17) Mostre que
(a) a funo f (z) = Log(z i) analtica em todo plano complexo exceto na poro
x 0 da reta y = 1;
(b) a funo
f (z) =
Log(z + 4)
z2 + i
(c) (1 i)4i
24) Com ajuda da expresso cos z = cos x cosh y i sen x senh y, mostre que as razes da
equao cos z = 2 so
z = 2n + i cosh1 2 (n = 0, 1, 2, . . .).
Ento, expresse elas na forma
z = 2n i ln(2 +
3) (n = 0, 1, 2, . . .).
75
(d) tanh1 0.
Respostas:
(a) (n + 1/2) +
i
ln 3 (n = 0, 1, 2, . . .); (d) ni (n = 0, 1, 2, . . .).
2
29) Resolva
a equao sen z = 2 usando sen1 z. Resposta: (2n + 1/2) i ln(2 +
3) (n = 0, 1, 2, . . .).
76
Captulo 4
Integrais
4.1
Definio 4.1 Seja w(t) uma funo complexa na varivel t R escrita como
w(t) = u(t) + iv(t)
onde u e v so funes reais na varivel t. A derivada
(4.1)
dw
(t) dada por
dt
w(b) w(a)
ba
Por exemplo, considere a funo w(t) = eit com t [0, 2]. Temos
|w0 (t)| = |ieit | = |i||eit | = 1
4.2
[Kw(t) + g(t)]dt = K
1.
a
w(t)dt +
u(t)dt =
Z
w(t)dt =
3. Im
Re[w(t)]dt;
a
Z
v(t)dt =
g(t)dt;
w(t)dt =
2. Re
constante
uma
Im[w(t)]dt;
Z b
Rb
w(t)dt a |w(t)|dt, a b.
4.
a
|ei0 w(t)|dt =
|w(t)|dt
a
e, portanto
Z b
Z b
|w(t)|dt, a b.
r0 =
w(t)dt
a
1
2
(1 t )dt + i
(1 + it) dt =
Exemplo 4.2
t3
2tdt = t
3
1
1 2
+ i t2 0 = + i.
3
0
Ressaltamos aqui que integrais imprprias para funes w(t) so definidas de modo
similar. Alm disso chamamos ateno para o fato de que, em w(t), as funes
componentes u(t) e v(t) devem ser seccionalmente contnuas, que o mesmo que contnuas
por partes, no intervalo (a, b).
O teorema seguinte a verso em Variveis Complexas de um importante resultado no
Clculo. Trata-se do conhecido Teorema Fundamental do Clculo para funes complexas
numa varivel real.
78
Demonstrao: Temos,
W 0 (t) = U 0 (t) + iV 0 (t) = w(t) = u(t) + iv(t)
implicando,
U 0 (t) = u(t) e V 0 (t) = v(t).
Logo,
Z
Z
w(t)dt =
u(t)dt + i
a
4.3
/4
/4
e dt = ieit 0 = iei/4 + i = i
1
1
= + 1 i.
2
2
it
1
1
+ i
2
2
+i
Caminhos
Nosso objetivo nessa seo definir integrais de funes de uma varivel complexa
sobre curvas no plano complexo.
Definio 4.3 (Arco) Definimos um arco C no plano complexo como sendo o conjunto
C = {z(t) = x(t) + iy(t); x, y funes contnuas em t [a, b]}
conforme Figura 4.1.
79
(4.2)
Figura 4.1:
Curva C parametrizada.
A definio anterior de arco nos sugere uma orientao para o arco de acordo com
o sentido de crescimento do parmetro t (neste caso, C tambm chamada de curva
parametrizada).
Definio 4.4 (Arco simples e curva simples fechada) O arco C dito um arco
simples (ou arco de Jordan) se t1 6= t2 z(t1 ) 6= z(t2 ), isto , C um arco que no
possui autointersees. Quando C um arco simples, exceto pelo fato de z(a) = z(b), C
dito uma curva simples fechada (ou curva de Jordan).
Exemplo 4.4 A linha poligonal
z=
x + ix, 0 x 1
x + i, 1 x 2
Figura 4.2:
0 t 2
0 2
um crculo unitrio orientado no sentido horrio. Trata-se de mais uma curva simples
fechada.
80
0 2
so os mesmos dos exemplos anteriores, diferindo apenas por percorrerem duas voltas no
sentido anti-horrio. Este arco tambm uma curva simples fechada.
Proposio 4.3 A representao paramtrica de um arco C no nica.
Demonstrao: Com efeito, suponha que t = ( ), [, ] onde : [, ] [a, b]
uma funo real e que C um arco escrito na forma (4.2). Assuma que a funo
contnua, com derivada de primeira ordem tambm contnua e 0 ( ) > 0 para todo
(, ), ou seja, uma funo crescente (Veja Figura 4.3). O leitor deve observar
que sempre existe uma funo com tais prerrogativas.
Figura 4.3:
Z
=
|Z 0 ( )|d = L.
81
z 0 (t)
|z 0 (t)|
4.4
Integrais Curvilneas
z1
f (zk )zk .
k=1
82
Figura 4.4:
Partio da curva C.
(4.3)
k=1
R
ou seja, as partes real e imaginria de C f (z)dz so integrais de linha. Se x = x(t) e
y = y(t), a t b, forem equaes paramtricas de C, dx = x0 (t)dt e dy = y 0 (t)dt.
Substituindo x, y, dx e dy por x(t), y(t), x0 (t) e y 0 (t) no lado direito da ltima equao,
obtemos
Z b
Z b
0
0
[u(x(t), y(t))x (t) v(x(t), y(t))y (t)]dt + i
[v(x(t), y(t))x0 (t) + u(x(t), y(t))y 0 (t)]dt.
a
Z
Se z(t) = x(t) + iy(t), a ltima expresso igual a
anterior a multiplicao
Z
f (z)dz, onde z0 C uma constante;
z0 f (z)dz = z0
1.
C
[f (z) g(z)]dz =
2.
f (z)dz
Z
f (z)dz =
3.
C
f (z)dz.
C
f (z)dz =
4.
g(z)dz;
f (z)dz +
C1
f (z)dz.
C2
Figura 4.5:
e como
Z
f [z(t)]z (t)dt =
a
obtemos
Caminho C = C1 + C2 .
f [z(t)]z (t)dt +
a
f [z(t)]z 0 (t)dt
Z
f (z)dz =
Z
f (z)dz +
C1
f (z)dz.
C2
zdz,
C
onde C o lado direito do crculo |z| = 2 ligando 2i a 2i (Figura 4.6), dado por
z = 2ei ,
84
2
2
Por definio,
Z
I =
/2
f [z()]z 0 ()d
zdz =
/2
C
/2
2ei (2ei )0 d
=
/2
e, desde que ei = ei e ei
Z
0
= iei , obtemos
/2
i
2e
I=
/2
2ie d = 4i
d = 4i.
/2
/2
Figura 4.6:
Observe que se z pertence ao crculo |z| = 2, ento
|z|2 = zz = 4, ou seja, z = 4/z. Como I = 4i,
deduzimos
Z
dz
= i.
C z
|z| = 2.
Exemplo 4.9 Seja C1 o caminho ilustrado na Figura 4.7, denotado por OAB. Ento,
Z
Z
Z
f (z)dz =
f (z)dz +
f (z)dz.
C1
OA
AB
0y1
Figura 4.7:
Logo,
Z
1+i
Z
f (z)dz =
f (z)dz =
C1
85
i 1
1i
+ i=
.
2 2
2
x2 dx =
1
i.
2
Agora, se C2 denota o segmento OB (Figura 4.7), que a reta cuja equao y = x, sua
representao paramtrica
0 x 1.
z = x + ix,
Da,
Z
1+i
1
2
f (z)dz =
(x x i3x )(1 + i)dx =
C2
0
Z 1
x2 dx = 1 i.
= 3(1 i)
f (z)dz =
0
i3x2 (1 + i)dx
z = z(t),
Z
zdz =
z1
Z
zdz =
C
z22
z12
[z(t)]2 b
[z(b)]2 [z(a)]2
z(t)z (t)dt =
=
2 a
2
0
isto , o valor da integral anterior independe do arco C utilizado para ligar os pontos z1
e z2 .
Exemplo 4.11 Seja C o caminho semicircular
z = 3ei ,
ligando os pontos z = 3 e z = 3.
Embora o ramo
f (z) =
rei 2 ,
86
2 i 3
2 i 3
2 0
i 2
i
e 2 d = 3 3i
e 2
e 2 e
I =
3e 3ie d = 3 3i
= 3 3i
3i
3i
3i
0
0
0
2
2
2
= 3 3i
= 3 3i (1 + i) = 2 3(1 + i).
3 3i
3i
4.5
Figura 4.9:
Um quarto do crculo
|z| = 2.
i/2
re ,
r > 0,
3
<<
.
2
2
R
onde MR = 2
.
R 1
Figura 4.10:
R R
/ R
MR L = 2
=
R 1
1 1 R2
converge para zero quando R tende para o infinito. Isto prova que o limite da integral
tambm zero.
88
4.6
Exerccios
Z
2. Calcule a integral
(b)
3/4 + i/4.
0
Resposta: 1/z
(y) = arctan p
4 y2
arctan t
.
2
2
R
C
(Resposta:
4 + 2i)
dz
z4 4 2
C
sem resolver a integral.
8. Sem calcular a integral, mostre que
Z
1
z dz 1
C
onde C o segmento de z = 1 at z = 1 + i.
9. Seja C o arco do crculo |z| = 2 que se situa no primeiro quadrante. Mostre que
Z
dz
z2 + 1 3 .
C
sem calcular o valor da integral.
10. Sendo C o contorno do tringulo com vrtices nos pontos z = 0, z = 4 e z = 3i,
mostre que
Z
z
(e z)dz 60.
C
4.6.1
Exerccios Tericos
3. Seja w(t) = u(t) + iv(t) uma funo complexa e contnua na varivel t definida
no
R a intervalo aR a t a. (a) Suponha que w(t) uma funo par; mostre que
w(t)dt = 2 0 w(t)dt; (b) Suponha que w(t) uma funo mpar; mostre que
Ra
a
w(t)dt = 0.
a
4. Suponha que uma funo f (z) analtica num ponto z0 = z(t0 ) sobre um arco suave
z = z(t), t [a, b]. Mostre que, se w(t) = f [z(t)] ento
w0 (t) = f 0 [z(t)]z 0 (t)
quando t = t0 .
Sugesto:
w(t) = u[x(t), y(t)] + iv[x(t), y(t)]. Ento aplique a regra da cadeia para as duas funes de variveis reais para
escrever w0 = (ux x0 + uy y 0 ) + i(vx x0 + vy y 0 ) e use as equaes de Cauchy-Riemann.
4.7
Antiderivadas
Teorema 4.2 (Antiderivadas) Suponha que f (z) contnua num domnio D. Ento
so equivalentes:
(i) f (z) possui uma antiderivada F (z) em D;
(ii) as integrais de f (z) ao longo de quaisquer caminhos em D ligando dois pontos fixados
z1 e z2 tm mesmo valor;
(iii) as integrais de f (z) ao longo de qualquer caminho fechado em D tem sempre valor
nulo.
Demonstrao: (i) (ii).
Suponha que (i) vlida. Considere C um arco suave ligando z1 a z2 em D, com
representao paramtrica z = z(t), a t b. Sabemos que
d
F [z(t)] = F 0 [z(t)]z 0 (t) = f [z(t)]z 0 (t),
dt
91
a t b,
implicando,
Z
z2
Figura 4.11:
Z
f (z)dz =
C1
f (z)dz,
(4.4)
C2
ou seja,
Z
Z
f (z)dz
f (z)dz =
C
C1
f (z)dz = 0,
(4.5)
C2
como queramos.
(iii) (i).
Finalmente, suponha que a afirmativa em (iii) vlida. Sejam C1 e C2 dois caminhos em
D ligando z1 a z2 . Por (iii), a equao (4.5) verdadeira, e portanto (4.4) tambm , isto
, (ii) satisfeita, o que significa dizer que a integrao independe do caminho escolhido
no interior de D. Assim, definimos a funo
Z z
F (z) =
f (s)ds.
z0
e afirmamos que F 0 (z) = f (z) para todo z D, isto , a funo F (z) uma antiderivada
(ou primitiva) para f (z) com z D, que a afirmativa (i). Para provar esta afirmao,
considere o ponto z +z contido numa vizinhana de z pertencente ao domnio D. Ento,
Z z+z
Z z
Z z+z
F (z + z) F (z) =
f (s)ds
f (s)ds =
f (s)ds,
z0
z0
92
Figura 4.12:
1
f (z) =
z
z+z
f (z)ds,
z
z+z
[f (s) f (z)]ds.
z
Como a funo f contnua na varivel z D, para todo > 0, existe > 0 tal que
|s z| < |f (s) f (z)| < .
Da, |z + z z| = |z| < implica
F (z + z) F (z)
< 1 |z| = ,
f
(z)
|z|
z
isto ,
F (z + z) F (z)
f (z) = f (z)
0
z
lim
93
Exemplo 4.15 A funo f (z) = 1 z 2 contnua,
exceto no ponto z = 0. Ela tem antiderivada F (z) =
1/z no domnio |z| > 0, que o plano menos a
origem. Consequentemente,
Z
dz
= 0,
2
C z
onde C o crculo ao redor da origem z = 2ei ,
, orientado positivamente.
Exemplo 4.16 Seja C1 o lado direito do crculo do
exemplo anterior dado parametricamente pela equao
z = 2ei ,
.
2
2
O ramo principal
Log z = ln r + i,
r > 0,
< < ,
3
z = 2ei ,
.
2
2
e considere o ramo
log z = ln r + i,
r > 0,
0 < < 2,
da funo logartmica que uma antiderivada da funo 1/z definida sobre o arco C2
(veja Figura 4.14).
Temos,
Z
C1
2i
2i
dz
= log z = log (2i) log (2i)
z
2i
2i
3
=
ln 2 + i
ln 2 + i
= i.
2
2
dz
=
z
94
rei/2 ,
r > 0,
0 < < 2
Figura 4.15:
i/2
re ,
r > 0,
3
<<
,
2
2
est definido e contnuo sobre o caminho C1 ; alm disso f (z) = f1 (z) = z 1/2 quando
z C1 . Desde que uma antiderivada de f1 (z)
2
2
F1 (z) = z 3/2 = r rei3/2 ,
3
3
podemos escrever
Z
Z
1/2
z dz =
C1
r > 0,
3
<<
,
2
2
f1 (z)dz = F1 (z) = 2 3(ei0 ei3/2 ) = 2 3(1 + i).
3
Z
Deixamos como exerccio para o leitor a tarefa de calcular
C2
segmento ligando 3 a 3.
95
4.8
O Teorema de Cauchy-Goursat
(4.6)
96
k=1
97
Ck
Figura 4.16:
Figura 4.17:
C2
dz
= 2i,
z
98
Figura 4.18:
4.9
Teorema 4.7 (Frmula integral de Cauchy) Seja f uma funo analtica sobre um
caminho fechado C, com orientao positiva, e no interior de C. Se z0 um ponto interior
a C ento
Z
f (z)dz
1
.
f (z0 ) =
2i C z z0
Demonstrao: Seja C o crculo |z z0 | = , com orientao positiva, onde
suficientemente pequeno de modo que C esteja contido no interior de C (Figura 4.19).
A funo f (z) (z z0 ) analtica na regio entre C e
C e pelo Princpio de deformao dos caminhos temos
Z
Z
f (z)dz
f (z)dz
=
,
C z z0
C z z0
ou ainda,
Z
Z
Z
f (z)dz
dz
f (z) f (z0 )
f (z0 )
=
dz.
z z0
C z z0
C z z0
C
Mas,
Z
C
Figura 4.19:
contido em C.
dz
=
z z0
donde
Z
0
1
iei d = i
ei
Z
C
d = 2i,
0
f (z)dz
2if (z0 ) =
z z0
Z
C
f (z) f (z0 )
dz.
z z0
f (z)dz
= 2if (z0 )
z z0
99
Crculo C centrado em z0
Exemplo 4.20 Seja C o crculo |z| = 2 com orientao positiva (Figura 4.20). Calcule
Z
zdz
.
2
C (9 z )(z + i)
Desde que a funo f (z) = z (9z 2 ) analtica sobre
C e no interior de C, com z0 = i pertencente ao
interior de C, segue pela frmula integral de Cauchy
que:
Z
C
4.10
z
Z
zdz
9 z 2 dz
=
(9 z 2 )(z + i)
C z (i)
= 2if (i)
= 2i(i/10)
=
.
5
Crculo |z| = 2.
Lema 4.1 (Frmula integral de Cauchy para derivadas) Suponha f uma funo
analtica sobre um caminho fechado C e no seu interior, com orientao positiva. Se z
um ponto no interior de C, ento
Z
Z
f (s)ds
2!
f (s)ds
1
00
0
e f (z) =
f (z) =
2
2i C (s z)
2i C (s z)3
De modo geral,
f
(n)
n!
(z) =
2i
f (s)ds
,
(s z)n+1
n = 1, 2, . . . .
Z
C
1
1
s z z s z
f (s)
1
ds =
z
2i
Z
C
f (s)ds
.
(s z z)(s z)
e da,
f (z + z) f (z)
1
z
2i
Z
C
f (s)ds
1
=
(s z)2
2i
Z
C
zf (s)ds
.
(s z z)(s z)2
ou seja,
f (z + z) f (z)
1
lim
=
z0
z
2i
Z
C
f (s)ds
= f 0 (z).
(s z)2
A segunda frmula anloga, e segue derivando f (z). Por induo matemtica possvel
mostrar a frmula mais geral
Z
f (s)ds
n!
(n)
, n = 1, 2, . . . ,
f (z) =
2i C (s z)n+1
onde z um ponto interior a C.
Teorema 4.8 Se uma funo analtica num ponto, ento suas derivadas de todas as
ordens existem nesse ponto. Assim, as derivadas de todas as ordens so analticas nesse
ponto.
Demonstrao: Seja f uma funo analtica num ponto z0 . Ento, existe uma
vizinhana |z z0 | < de z0 na qual f analtica. Consequentemente, existe um crculo
C0 : |z z0 | < /2, com f analtica em C0 e no seu interior. Pelo Lema anterior
Z
f (s)ds
1
00
,
f (z) =
i C0 (s z)3
onde z um ponto interior a C0 ; ou seja, f 00 (z) existe numa vizinhana |z z0 | < /2,
donde segue que f 0 analtica em z0 . Aplicando o mesmo argumento a f 0 chegaremos que
f 00 analtica, e assim por diante.
Obs. 4.2 Em clculo o fato descrito no teorema anterior nem sempre verdade. Por
exemplo, f (x) = x5/3 diferencivel em R. No entanto, f 00 (x) = (10/9)x1/3 no existe
em x = 0.
Corolrio 4.3 Se f (z) = u(x, y) + iv(x, y) definida e analtica em z = (x, y), ento as
componentes u e v tm derivadas parciais contnuas de todas as ordens.
Exemplo 4.21 Se C o crculo |z| = 1 orientado positivamente e f (z) = e2z , ento
Z
Z 2z
f (z)dz
2i 000
2i
8i
e dz
=
=
f (0) =
8=
.
4
3+1
z
3!
3!
3
C (z 0)
C
Exemplo 4.22 Seja C um caminho fechado com orientao positiva e z0 um ponto
interior a C. Seja f (z) = 1. Ento,
Z
Z
dz
dz
= 2i e
= 0, n = 1, 2, . . . .
n+1
C z z0
C (z z0 )
Teorema 4.9 (Recproca do teorema de Cauchy-Goursat) Seja
num domnio D. Se
Z
f (z)dz = 0
contnua
4.11
Teorema 4.10 (Desigualdade de Cauchy) Seja f uma funo analtica num domnio
simplesmente conexo D e seja C a circunferncia |z z0 | = r contida em D. Se
|f (z)| M , para todo z C, ento
|f (n) (z0 )|
n!M
.
rn
(4.7)
Demonstrao: Se z C, temos
|f (z)|
f (z)
M
(z z0 )n+1 = rn+1 rn+1 .
Logo, pela Frmula Integral de Cauchy,
Z
n!
f
(z)dz
n! M 2r = n!M .
|f (n) (z0 )| =
n+1
2i C (z z0 ) 2 rn+1
rn
Se n = 0, M |f (z0 )| para qualquer circunferncia C centrada em z0 contida em D;
ou seja, um limitante superior M de |f (z)| em C no pode ser menor que |f (z0 )|.
Teorema 4.11 (Teorema de Liouville) Se f uma funo inteira e limitada em C,
ento f (z) constante em C, isto , as nicas funes inteiras limitadas so as constantes.
Demonstrao: Seja |f (z)| M , para todo z C. Por (4.7) temos
|f 0 (z0 )|
M
,
r
|f (z)| =
|an
zn
1
1
.
= n
+ + a1 z + a0 |
|z| an + an1 /z + + a1 z n1 + a0 z n
2naj
, j = 0, 1, . . . , n 1. Ento, para |z| > M , temos
Seja M > 1 tal que M >
a
n
aj M
|z|
nj
<
> M , obtemos
an 2n < 2n e sendo |z|
a |a |
aj |z|nj
j
n
<
,
nj <
an
2n
z
2n
102
de modo que
an1 /z + + a1 z n1 + a0 z n |an | + . . . + |an | = |an | ,
2n
2n
2
onde a soma no lado direito da desigualdade possui n parcelas. Logo,
1
2
1
= n
.
|f (z)| n
M |an |
|z| |an | an1 /z + + a1 z n1 + a0 z n
M n |an | |an | 2
Assim, f limitada no exterior do disco |z| M (|z| > M ). Como f uma funo
contnua, ela tambm limitada no disco |z| M , ou seja, f inteira e limitada. Pelo
Teorema de Liouville, f constante, ou seja, p constante, o que uma contradio.
Teorema 4.13 (Teorema do Mdulo Mximo) Seja f analtica e no constante em
uma regio fechada R limitada por uma curva fechada simples C. Ento, |f (z)| atinge
seu mximo em C.
A demonstrao desse resultado ser omitida neste curso. Ressaltamos ainda que esse
fato nem sempre vale no Clculo real. Por exemplo, a funo f (x) = sen x infinitamente
diferencivel e no constante no intervalo [, ]. Note que
|f (x)| 1 para todo x [, ].
Como |f ()| = |f ()| = 0, vemos que |f (x)| no atinge seu valor mximo na fronteira.
Exemplo 4.23 Determine o mdulo mximo da funo f (z) = 2z + 5i na regio circular
fechada |z| 2.
Sabemos que |z|2 = zz. Logo,
|2z + 5i|2 = (2z + 5i)(2z + 5i) = (2z + 5i)(2z 5i) = 4zz 10zi + 10zi + 25
= 4zz 10i(z z) + 25 = 4zz 10i(z z) + 25
Mas, z z = 2iIm(z), donde
|2z + 5i|2 = 4|z|2 + 20Im(z) + 25.
Note que a funo f , neste caso, analtica em |z| 2. Pelo Teorema do Mdulo Mximo,
max |2z + 5i| atingido na fronteira |z| = 2. Da, se |z| = 2, temos
|z|2
|2z + 5i| =
p
41 + 20Im(z).
81 = 9.
|z|=2
103
1 = 1.
4.12
Exerccios
1. Usando uma antiderivada, mostre que, para qualquer caminho C que se estende de
um ponto z1 a um ponto z2 ,
Z
1
(n = 0, 1, 2, 3, . . .)
(z2n+1 z1n+1 )
z n dz =
n
+
1
C
2. Usando antiderivadas, mostre que
Z
C
dz
= 2i
z z0
(b) e + (1/e);
(c) 0.
z i dz =
1 + e
(1 i)
2
7. Determine o domnio de analiticidade da funo f e aplique o teorema de CauchyGoursat para mostrar que
Z
f (z)dz = 0,
C
1
;
+ 2z + 2
(f) f (z) = Log (z + 2).
(c) f (z) =
z2
quando
(a) f (z) =
1
;
3z 2 + 1
(b) f (z) =
z+2
;
sin(z/2)
(c) f (z) =
z
.
1 ez
f (z) = re
r > 0, < <
2
2
da funo multivalente z 1/2 . Mostre que
Z
f (z)dz = 0
C
Z
12. Calcule o valor de
C
dz
, onde C o crculo |z| = 4 orientado positivamente.
+1
z2
Z
C
ezt
dz = sen t, t > 0
z2 + 1
(|z0 | =
6 3),
mostre que g(2) = 8i. Qual o valor de g(z0 ) quando |z0 | > 3?
17. Calcule as seguintes integrais:
Z
cos(z 2 + 3z 1)
dz, onde C o crculo |z| = 3.
(a)
(2z + 3)2
C
Z
Log(z 2 + 2)
dz, onde C o crculo |z| = 1.
(b)
2
C (3z 2)
Z 2
z +z+i
(c)
dz, onde C o crculo |z| = 1.
3
C (4z i)
18. Seja C a fronteira do quadrado, cujos lados esto sobre as retas x = 2 e y = 2,
orientada no sentido positivo. D o valor de cada uma das seguintes integrais:
Z
Z
Z
ez
cos z
z dz
(a)
dz;
(b)
dz;
(c)
;
2
C z i/2
C z(z + 8)
C 2z + 1
Z
Z
tan(z/2)
cosh z
(d)
dz (|x0 | < 2);
(e)
dz.
2
z4
C (z x0 )
C
Respostas: (a) 2;
(b) i/4;
(c) i/2;
(d) 0;
106
(b) /16.
Resposta: 4 + 12i.
cos2n d =
1 3 5 (2n 1)
2, n = 1, 2, 3, . . . .
2 4 6 (2n)
107
25. Seja f analtica e no constante numa regio fechada R limitada por uma curva
fechada simples C. Suponha que f (z) 6= 0 para todo z em R. Defina a funo
g(z) = 1/f (z) para mostrar, com o auxlio do Teorema do Mdulo Mximo, que
|f (z)| atinge seu valor mnimo em C. Este o teorema do mdulo mnimo.
26. D um exemplo para mostrar que |f (z)| pode assumir seu valor mnimo num ponto
interior de um domnio em que f analtica, se esse valor mnimo zero.
27. Determine o mdulo mximo de f (z) = iz + i na regio circular fechada definida
por |z| 5.
108
Captulo 5
Sries
5.1
Convergncia de seqncias
Figura 1.
109
2 1
3 + ni
converge para para + i, pois
n + 2ni
5 5
3 + ni
3 + ni n 2ni
3n 6ni + n2 i + 2n2
3n + 2n2
n2 6n
=
=
=
+
i
.
n + 2ni
n + 2ni n 2ni
n2 + 4n2
5n2
5n2
Como
2
n2 6n
1
3n + 2n2
3/n + 2
1 6/n
=
e
lim
= ,
=
lim
= lim
2
2
n
n
n
5n
5
5 n 5n
5
5
lim
concluimos que
3 + ni
3n + 2n2
n2 6n
2 1
= lim
+
i
lim
= + i.
2
2
n n + 2ni
n
n
5n
5n
5 5
lim
5.2
Convergncia de sries
zn = z1 + z2 + + zn +
n=1
de nmeros complexos, converge para uma soma S se, a seqncia das somas parciais
SN =
N
X
= z1 + z2 + + zN , N = 1, 2, . . .
n=1
zn = S.
n=1
X
n=1
zn = S
xn = X e
n=1
yn = Y.
n=1
X
n=1
ento lim zn = 0.
n
110
zn converge
Demonstrao: Seja L =
n=1
SN = z1 + z2 + . . . + zN e SN 1 = z1 + z2 + . . . + zN 1 temos
SN SN 1 = zN lim (SN SN 1 ) = lim zN lim zN = S S = 0.
N
a srie
n=1
n=1
M.
5.3
X
zn converge absolutamente, se a srie
n=1
|zn | =
n=1
X
p
x2n + yn2
n=1
|zn |
n=1
n=1
sendo divergente.
Teorema 5.4 Convergncia absoluta de sries de nmeros complexos implica em
convergncia da srie.
Demonstrao: Como |xn |
p
p
x2n + yn2 e |yn | x2n + yn2 , obtemos o resultado.
Obs. 5.1 (Mtodo para verificar convergncia de sries) Um bom mtodo para
verificar a convergncia de sries consiste em considerar a seqncia N = S SN . Ento,
temos S = SN + N e como |SN S| = |N 0| conclumos que uma srie converge para
S se, e somente se lim N = 0.
N
X
n=0
zn =
1
quando |z| < 1.
1z
111
1 z n+1
, z 6= 1.
1z
De fato,
Sn+1 = 1 + z + z 2 + . . . + z n e zSn+1 = z + z 2 + z 3 + . . . + z n+1 .
Da,
Sn+1 zSn+1 = 1 z n+1 Sn+1 =
1 z n+1
, z 6= 1.
1z
N
1
X
z n = 1 + z + z 2 + . . . + z N 1 =
n=0
e, sendo S(z) =
1 zN
1z
1
, vem
1z
1
1 zN
zN
=
, z 6= 1.
1z
1z
1z
Ento,
|z|N
= 0 quando |z| < 1.
lim |N (z)| = lim
N
N |1 z|
Observe que se |z| 1, a seqncia N diverge. Portanto, SN (z) S(z) quando
N , se |z| < 1, ou seja
zn =
n=0
1
se |z| < 1.
1z
Exemplo 5.4 (Srie geomtrica) Uma srie geomtrica uma srie da forma
az n = a + az + az 2 + + az n + .
n=0
az n =
n=0
a
1z
112
5.4
Sries de potncias
an (z z0 )n = a0 + a1 (z z0 ) + a2 (z z0 )2 + + an (z z0 )n + ,
(5.1)
n=0
X
z n+1
n=1
X
|z| = 1? Por exemplo, se z = 1 temos a srie harmnica
1/n que diverge. Mas, se
n=0
X
z = 1 temos a srie harmnica alternada
(1)n+1 /n que converge.
n=0
X
(1)n+1
n=0
n!
(z 1 i)n .
5.5
Sries de Taylor
Teorema 5.5 (Srie de Taylor) Suponha que uma funo f analtica no disco |z
z0 | < R0 . Ento, f (z) possui uma representao em sries de potncias
f (z) =
an (z z0 )n , |z z0 | < R0 ,
(5.2)
n=0
onde
f (n) (z0 )
, n = 0, 1, 2, . . . .
n!
an =
(5.3)
f 0 (z0 )
f 00 (z0 )
(z z0 ) +
(z z0 )2 + , |z z0 | < R0 .
1!
2!
Demonstrao:
Faremos a demonstrao para o caso z0 = 0. Para z0 6= 0 bastam algumas modificaes
mnimas para se chegar ao resultado. Assim, mostremos que
f (z) =
an z =
n=0
X
f (n) (0)
n=0
n!
z n , |z| < R0 ,
1
1
1
=
e como
sz
s 1 (z/s)
Figura 2.
N
1
X
1
zN
=
zn +
, |z| < 1,
1z
1z
n=0
obtemos:
"N 1
# N 1
X 1
1
1
1
1 X z n
(z/s)N
1
=
=
+
=
zn + zN
,
n+1
sz
s 1 (z/s)
s n=0 s
1 (z/s)
s
(s z)sN
n=0
pois, |z| < |s| o que implica |z/s| < 1. Multiplicando a expresso acima por f (s) e
integrando, vem
Z
Z
N 1 Z
f (s)ds X
f (s)ds n
f (s)ds
N
=
z +z
(5.4)
n+1
N
s
C0 s z
C0 (s z)s
n=0 C0
114
N
1
X
n=0
f (n) (0) n
z + N (z),
n!
Z
zN
f (s)ds
onde N (z) =
. Assim, resta mostrar que lim N (z) = 0 (N (z)
N
2i C0 (s z)sN
conhecida como resto de Taylor). Note que, |s r| ||s| |z|| = r0 r. Se
M = max |f (s)|, obtemos
sC0
M
M r0
rN
2r0 =
|N (z)|
N
2 (r0 r)r0
r0 r
r
r0
N
;
Como r r0 < 1 segue que lim N (z) = 0, finalizando a demonstrao.
N
Exemplo 5.7 Como f (z) = ez uma funo inteira, sua srie de Maclaurin vale para
todo z C. Aqui f (n) (z) = ez e, como f (n) (0) = 1, temos
X
zn
e =
n=0
n!
, |z| <
e =
X
xn
n=0
n!
, < x < .
Assim, por exemplo, sendo f (z) = z 2 e3z inteira, sua expanso em srie de Maclaurin :
2 3z
z e
=z
X
(3z)n
n=0
n!
X
3n
n=0
n!
z e
X
3n2 n
=
z , |z| <
(n 2)!
n=2
n
n
n n
X
X
X
1
(iz)
(iz)
1
i z
sen z =
=
(1 (1)n )
, |z| < .
2i n=0 n!
n!
2i n=0
n!
n=0
115
2n+1
X
1 X
z
z 2n+1
n
sen z =
2i(1)
=
(1)n
, |z| < .
2i n=0
(2n + 1)!
(2n
+
1)!
n=0
Analogamente,
cos z =
(1)n
n=0
z 2n
, |z| < .
(2n)!
X
n=0
X z 2n
z 2n+1
, |z| < e cosh z =
, |z| < .
(2n + 1)!
(2n)!
n=0
X
(z + 2i)2n
n=0
(2n)!
, |z| < .
X
1
z n , |z| < 1.
=
1z
n=0
Observe que a funo f (z) = 1/(1 z) analtica exceto no ponto z = 1. Calculando
suas derivadas, temos
f 0 (z) = 2(1)
1
2!
3!
n!
=
; f 00 (z) =
; . . . ; f (n) (z) =
; ....
2
2
3
(1 z)
(1 z)
(1 z)
(1 z)n
Da, f (n) (0) = n!, n = 0, 1, 2, . . .. Assim a srie de MacLaurin, que neste caso trata-se de
uma srie geomtrica,
1
, |z| < 1.
1 + z + z2 + z3 + =
1z
Observe que, substituindo z por z e notanto que |z| < 1 | z| < 1, obtemos
X
1
= 1 z + z2 z3 + =
(1)n z n , |z| < 1.
1+z
n=0
Por fim, substituindo z por 1 z vem
X
1
= 1 (1 z) + (1 z)2 (1 z)3 + =
(1)n (z 1)n , |z 1| < 1.
z
n=0
116
2
1
1 + z2
.
5.6
1
1
1
2
4
6
8
2
z
+
z
z
+
z
= 3 + z + z3 z5 + .
3
z
z
z
Exerccios
1) Determine quais das seqncias abaixo convergem e quais divergem. Justifique sua
resposta.
3ni + 2
(ni + 2)2
n + in
(a)
;
(b)
;
(c)
.
n + ni
n2 i
n
Respostas: (a) converge;
(b) converge;
(c) diverge.
(1)n
n2
X
n=1
zn =
z
,
1z
|z| < 1,
mostre que
rn cos n =
n=1
X
r cos r2
r sen
n
e
r
sen
n
=
1 2r cos + r2 n=1
1 2r cos + r2
quando 0 < r < 1. (Note que esta frmula tambm vlida quando r = 0.)
4) Determine o crculo e o raio de convergncia das sries de potncias dadas.
X
X
X
1
(z 4 3i)n
n
n
n
(a)
(z2i)
(b)
(1+3i)
(zi)
;
(c)
.
n+1
2n
(1
2i)
5
n=0
n=0
n=0
Respotas: (a) |z 2i| =
5, R =
5;
117
z cosh(z ) =
X
z 4n+1
n=0
(2n)!
|z| < .
e =e
X
(z 1)n
n!
n=0
|z 1| < ,
Resposta:
z
1
z
=
.
z4 + 9
9 1 + (z 4 /9)
(1)n 4n+1
z
, |z| < 3.
2n+2
3
n=0
X (z i)n
1
=
,
1z
(1 i)n+1
n=0
Sugesto: Inicie escrevendo
|z i| <
2.
1
1
1
1
=
=
.
1z
(1 i) (z i)
1 i 1 (z i)/(1 i)
9) Mostre que
X
1
(a) 2 =
(n + 1)(z + 1)n , |z + 1| < 1;
z
n=0
|z 2| < 2.
1
1 X (1)n (n + 1)
(b) 2 =
(z 2)n ,
n
z
4 n=0
2
11) Qual o crculo de convergncia para a srie de Maclaurin da funo tanh z? Escreva
os primeiros termos desta srie.
118
5.7
Sries de Laurent
Teorema 5.6 (Srie de Laurtent) Suponha que uma funo f analtica num
domnio anular R1 < |z z0 | < R2 , centrado em z0 e seja C um caminho fechado
simples, orientado positivamente, envolvendo z0 e contido no domnio anular (veja figura
3). Ento, em cada ponto do domnio, f (z) tem uma representao
f (z) =
an (z z0 )n +
n=0
X
n=1
bn
, R1 < |z z0 | < R2 ,
(z z0 )n
(5.5)
onde,
1
an =
2i
e
1
bn =
2i
Z
C
Z
C
f (z)dz
, (n = 0, 1, 2, . . .)
(z z0 )n+1
f (z)dz
, (n = 1, 2, 3, . . .)
(z z0 )n+1
Figura 3.
A expresso em (5.5) pode ser reescrita como
f (z) =
cn (z z0 )n , R1 < |z z0 | < R2 ,
(5.6)
n=
Z
1
f (z)dz
onde cn =
, n = 0, 1, 2, . . .. As expanses em (5.5) e (5.6) so
2i C (z z0 )n+1
chamadas sries de Laurent.
Observe que o integrando em bn f (z)(z z0 )n1 . Assim, se f analtica em
|z z0 | < R2 , este integrando tambm o e temos bn = 0. Logo, (5.5) se reduz a
srie de Taylor para f centrada em z0 .
Podemos ter ainda como domnios anulares para f os conjuntos: 0 < |z z0 | < R2 ,
R1 < |z z0 | < e 0 < |z z0 | < .
Demonstrao:
119
= 0.
C1 s z
sz
C2 s z
Figura 4.
ou ainda,
1
f (z) =
2i
Z
C2
1
f (s)ds
+
sz
2i
Z
C1
f (s)ds
.
zs
Sabemos que
N
1
N
X
X
1
1 n
1
1
1
1
sN
1
N
=
z
+
z
e
=
.
sz
sn+1
(s z)sN
z s n=1 sn+1 z n z N z s
n=0
Multiplicando as duas expresses acima por f (s) 2i e integrando em relao a C2 e C1 ,
obtemos
N
1
X
X
bn
an z n + N (z) +
+ N (z)
f (z) =
n
z
n=1
n=0
onde an e bn so
1
an =
2i
e
zN
N (z) =
2i
Z
C2
Z
C2
f (s)ds
1
, bn =
n+1
s
2i
Z
C1
f (s)ds
1
, N (z) =
N
(s z)s
2iz N
f (s)ds
sn+1
Z
C1
sN f (s)ds
.
zs
Agora, note que lim N (z) = 0 e lim N (z) = 0 e finalmente, utiliando o Princpio de
N
e =
X
zn
n=0
z
z2 z3
=1+ +
+
+ , |z| < ,
n!
1! 2!
3!
120
1/z
X
1
1
1
1
+
=
=1+
+
+ , 0 < |z| < .
n
2
3
n!z
1!z
2!z
3!z
n=0
Z
1
De acordo com o teorema de Laurent, b1 =
e1/z dz, onde C um caminho fechado
2i C
com orientao positiva ao redor da origem. Como b1 = 1, temos
Z
e1/z dz = 2i.
C
1
j est escrita como uma srie de Laurent,
(z i)2
onde z0 = i. Temos,
f (z) =
n=
1
1
1
=
(z 1)(z 2)
z1 z2
X
1
=
z n , |z| < 1, obtemos
1z
n=0
X
X
1 X zn
zn
n
f (z) =
z +
=
z
+
2 n=0 2n
2n+1
n=0
n=0
n=0
n=0
121
Figura 5.
X zn
1
1
1
1
1X 1
1 X zn X 1
f (z) =
+
=
+
=
+
z 1 (1/z) 2 1 (z/2)
z n=0 z n 2 n=0 2n
z n+1 n=0 2n+1
n=0
X
X
zn
1
=
+
, 1 < |z| < 2,
n+1
2
zn
n=0
n=1
X 2n
1
1
1
1X 1
1
1 X 2n X 1
=
f (z) =
z 1 (1/z) z 1 (2/z)
z n=0 z n z n=0 z n
z n+1 n=0 z n+1
n=0
=
X
1 2n
n=0
z n+1
X
1 2n1
zn
n=1
1
.
z(z 1)
Vamos expandir f em uma srie de Laurent que seja vlida nos domnios D1 : 0 < |z1| <
1 e D2 : 1 < |z 1| < .
Considerando primeiro o domnio D1 , temos
1
1
1
1 X
1
=
=
=
(1)n (z 1)n
f (z) =
z(z 1)
(1 1 + z)(z 1)
z 1 1 + (z 1)
z 1 n=0
=
n1
(1) (z 1)
n=0
(1)n+1 (z 1)n =
n=1
1
1 + (z 1) (z 1)2 + .
z1
1
< 1, donde
J em D2 temos 1 < |z 1|
z 1
segue que
f (z) =
1
1
1
=
z(z 1)
z 1 1 + (z 1)
1
=
(z 1)2
1
z1
X
1
=
(1)n
(z 1)n+2
n=0
1+
X
1
1
=
(1)n
2
(z 1) n=0
(z 1)n
Figura 6.
1
1
1
1
1
=
(1)n2
=
+ .
n
2
3
4
5
(z
1)
(z
1)
(z
1)
(z
1)
(z
1)
n=2
122
5.8
O objetivo desta seo mostrar que uma srie de potncias representa uma funo
complexa contnua no interior do seu crculo de convergncia. Este o restultado do
Teorema 5.9. Assim, o leitor pode omitir, se achar necessrio, a leitura de todos os
resutados que precedem o Teorema 5.9.
Teorema 5.7 Se uma srie de potncias
an (z z0 )n
(5.7)
n=0
an z1n , z1 6= 0
n=0
converge. Ento, |an z1n | M , n = 0, 1, 2, . . ., para algum M > 0. Se |z| < |z1 | e
p = |z/z1 | < 1, obtemos
n
n
n z
|an z | = |an z1 | M pn , n = 0, 1, 2, . . . e p < 1.
z1
Como
n=0
que,
n=0
X
em
an wn , obtemos que esta srie converge em w = z1 z0 . Como o teorema vale para
n=0
z0 = 0,
n=0
an (z z0 )n
n=0
an (z z0 ) , SN (z) =
n=0
N
1
X
n=0
123
an (z z0 )n , |z z0 | < R.
X
an (z z0 )n
n=0
X
|an z1n |
n=0
m
X
an z
e N = lim
n=N
m
X
|an z1n |.
n=N
m
X
Note que, |N (z)| = lim
an z n e, quando |z| < |z1 |
m
n=N
m
m
m
m
X
X
X
X
n
n
n
a
z
|a
||z|
|a
||z
|
=
|an z1n |.
n
n
n
1
n=N
n=N
n=N
n=N
Ento,
|N (z)| N , quando |z| |z1 |
(5.8)
Desde que, N o resto de uma srie convergente, lim N = 0, ou seja, para todo > 0,
N
existe N tal que
N < quando N > N
(5.9)
Por (5.8) e (5.9), |N | < sempre que N > N , para todo z no disco |z| |z1 |; e o valor
de N independe da escolha de z1 , isto , a convergncia da srie uniforme.
Se for z0 6= 0, faa w = z z0 e conclua o resultado.
124
an (z z0 )n
n=0
representa uma funo contnua S(z) em cada z no interior de seu crculo de convergncia
|z z0 | = R.
Demonstrao: A demonstrao desse teorema utiliza o teorema 5.8 e pode ser
encontrada em [2], p. 211.
an (z z0 ) +
n=0
X
n=1
bn
(z z0 )n
vlida em R1 < |z z0 | < R2 , tambm representa uma funo contnua (z) no interior
da regio anelar. Tal justificativa tambm pode ser encontrada em [2], p. 213.
5.9
Exerccios
1 X z 2n+1
senh z
= +
;
(c)
z2
z n=0 (2n + 3)!
sen(z 2 )
1 z 2 z 6 z 10
=
+
+;
z4
z 2 3! 5!
7!
X
1
z
1
1
3
3
(d) z cosh
= +z +
2n1 .
z
2
(2n + 2)! z
n=1
(b)
X zn
1
1
=
+
.
4z z 2
4z n=0 4n+2
3. Determine a srie de Laurent para f (z) =
e2z
centrada em z = 1.
(z 1)3
Resposta:
e2
2e2
2e2
4e2
2e2
+
+
+
+
(z 1) +
3
2
(z 1)
(z 1)
z1
3
3
5
1
5
1
+
+
+
z+2
6(z + 2)2
6(z + 2)3
120(z + 2)4
1
centrada em z = 2.
z+2
X
n=1
(1)n
1
;
(2n + 1)! z 4n
(b)
X
(1)n+1
.
zn
n=1
125
6. Escreva as funes como uma srie de Laurent que seja vlida nos respectivos
domnios anulares.
1
nos domnios 0 < |z| < 1, 1 < |z| < , 0 < |z 1| < 1 e
(a) f (z) =
z(z 1)
1 < |z 1| < ;
1
nos domnios 0 < |z 1| < 2 e 0 < |z 3| < 2.
(z 1)2 (z 3)
(b) f (z) =
1
(z1)2
1
(z1)3
1
(b) f (z) = 2(z1)
2
1
(z1)4
1
4(z1)
1
8
1
(z1)5
1
(z
16
1
z2
1
1+(z1)(z1)2 + ;
z1
+ .
1) ; f (z) =
1
4(z3)
1
4
3
(z
16
3) 81 (z 3)2 + .
7. Represente a funo
f (z) =
z+1
z1
por uma srie de Maclaurin e escreva onde esta representao vlida; em seguida
represente a mesma funo por uma srie de Laurent no domnio 1 < |z| < .
Respostas: (a) 1 2
n=1
X
1
.
n
z
n=1
1
z(1 + z 2 )
(1)n+1 z 2n+1 +
n=0
5.10
X
1
(1)n+1
, 0 < |z| < 1;
, 1 < |z| < .
z
z 2n+1
n=1
Uma srie
S(z) =
an (z z0 )n
(5.10)
n=0
uma funo contnua no interior do crculo de convergncia da srie. Veremos que S(z)
analtica neste domnio.
Teorema 5.10 Seja C um caminho qualquer interior ao crculo de convergncia da srie
(5.10) e seja g(z) uma funo qualquer contnua em C. Ento,
Z
g(z)S(z)dz =
C
Z
X
n=0
126
an g(z)(z z0 )n dz.
N
1
X
n=0
e integrando, vem
Z
g(z)S(z)dz =
C
N
1
X
g(z)(z z0 ) dz +
an
C
n=0
g(z)N (z)dz.
C
Z
g(z)N (z)dz < M L sempre que N > N ,
C
isto ,
Z
lim
g(z)N (z)dz = 0.
Portanto,
Z
g(z)S(z)dz = lim
N
1
X
n=0
g(z)(z z0 ) dz =
an
C
Z
X
n=0
an g(z)(z z0 )n dz.
para todo caminho fechado contido neste domnio. Pelo teorema anterior,
Z
S(z)dz = 0,
C
para todo caminho fechado C no domnio de convergncia. Pelo Teorema de Morera, S(z)
analtica que o seguinte corolrio:
Corolrio 5.1 A soma S(z) de uma srie de potncias (5.10) analtica, para todo z no
interior do crculo de convergncia da srie.
127
(1)n
n=0
z 2n+1
, |z| <
(2n + 1)!
z 2n
sen z X
z2 z4
=
(1)n
=1
+
z
(2n
+
1)!
3!
5!
n=0
converge para f (z) quando z 6= 0. Mas, a srie anterior converge para f (0) quando z = 0.
Ento, f (z) representada por uma srie de potncias convergente, para todo z no plano
complexo; e f , portanto, uma funo inteira.
sen z
Assim, f contnua em z = 0 e como
= f (z) (z 6= 0),
z
sen z
lim
= lim f (z) = f (0) = 1.
z0
z0
z
Teorema 5.11 Uma srie de potncias (5.10) pode ser derivada termo a termo. Isto ,
em cada z no interior do crculo de convergncia da srie,
0
S (z) =
nan (z z0 )n1 .
n=1
1
1
, para todo s C.
2i (s z)2
Desde que g(s) uma funo contnua em C, temos pelo teorema anterior
Z
Z
X
g(s)S(s)ds =
an
g(s)(s z0 )n ds.
C
n=0
(5.11)
(5.12)
X
d
nan (z z0 )n1 .
S (z) =
an (z z0 )n =
dz
n=1
n=0
0
1 X
=
(1)n (z 1)n , |z 1| < 1.
z
n=0
X
1
Diferenciando ambos os lados desta equao, obtemos 2 =
(1)n n(z 1)n1 , ou
z
n=1
seja,
X
1
=
(1)n (n + 1)(z 1)n , |z 1| < 1.
z2
n=0
5.11
an (z z0 )n
(5.13)
n=0
an (z z0 )n , |z z0 | = R, vem
n=0
Z
g(z)f (z)dz =
C
Z
am
m=0
g(z)(z z0 )m dz
onde,
g(z) =
1
1
, n = 0, 1, 2, . . .
2i (z z0 )n+1
com n fixado, porm arbitrrio e C sendo o crculo centrado em z0 com raio menor que
R. Logo,
Z
Z
1
f (z)dz
f (n) (z0 )
g(z)f (z)dz =
=
, n fixo.
(5.14)
2i C (z z0 )n+1
n!
C
Fica a cargo do leitor verificar a igualdade
Z
Z
dz
1
0 quando m 6= n
m
g(z)(z z0 ) dz =
=
,
nm+1
1 quando m = n
2i C (z z0 )
C
129
Z
am
m=0
g(z)(z z0 )m dz = an
(5.15)
X
X
X
n
n
cn (z z0 ) =
an (z z0 ) +
n=
n=0
n=1
bn
(z z0 )n
converge para f (z) em todos os pontos de um domnio anular ao redor de z0 , ento esta
a representao em srie de Laurent para f em potncias de z z0 neste domnio.
Demonstrao: Anloga a demonstrao do teorema anterior.
5.12
an (z z0 )
bn (z z0 )n
(5.16)
n=0
n=0
Demonstrao: Sabemos que cada soma para f (z) e g(z) so analticas em |z z0 | < R,
donde segue que o produto f (z)g(z) tambm analtico em |z z0 | < R. Da
f (z)g(z) =
cn (z z0 )n , |z z0 | < R,
n=0
onde
c0 = f (z0 )g(z0 ) = a0 b0
c1 =
[f (z)g(z)]0z=z0
f (z0 )g 0 (z0 ) + f 0 (z0 )g(z0 )
=
= a0 b1 + a1 b0
1!
1!
c2 =
[f (z)g(z)]00z=z0
f (z0 )g 00 (z0 ) + 2f 0 (z0 )g 0 (z0 ) + f 00 (z0 )g(z0 )
=
= a0 b 2 + a1 b 1 + a2 b 0
2!
2!
130
onde
n
k
=
n!
, k = 0, 1, 2, . . . , n.
k!(n k)!
Evidentemente
(n)
cn =
=
ak bnk ,
n!
n! k=0
k!(n k)!
k!
(n
k)!
k=0
k=0
onde |z z0 | < R.
1 2
1 3
z +
z +
2
6
(a)
z2
1 3
1 4
z
z
2
6
z2
z3
1 4
1 5
z +
z +
2
6
z3
z4
131
1 5
1 6
z
z
2
6
(b)
(c)
(d)
1 +
1 2
1 3
z
z +
2
3
(e)
Observando o produto das duas sries na equao (5.17), a srie em (a) obtida
multiplicando a primeira srie em (5.17) por b0 = 1; obtemos (b) multiplicamos a srie
anterior em (a) por b1 z = z; obtemos (c) multiplicamos novamente a srie anterior (b)
por b1 z = z; e (d) tambm obtida multiplicando a srie anterior (c) por b1 z = z; e
assim por diante. Somando os resultados obtidos em (a), (b), (c) e (d), chegamos a srie
em (e) que o resultado do produto na equao (5.17).
Obs. 5.4 (Diviso de sries) Considere agora as funes f e g representadas
em (5.16)
e suponha que g(z) 6= 0 no disco |z z0 | < R. Desde que o quociente f (z) g(z) analtico
em |z z0 | < R, temos a srie de Taylor
f (z) X
=
dn (z z0 )n , |z z0 | < R
g(z)
n=0
onde cada dn obtido diferenciando f (z) g(z) sucessivamente e aplicando os resultados
a z = z0 .
A diviso de sries via determinao dos coeficientes de Taylor fornece frmulas
um tanto complicadas, uma vez que utilizamos vrias vezes a regra do quociente para
derivao. Porm, assim como no exemplo anterior, faremos uso de um dispositivo prtico
para efetuar a diviso.
Exemplo 5.19 Os zeros de senh z so z = ni (n = 0, 1, 2, . . .). Assim, o quociente
!
1
1
1
1
= 3
=
,
3
5
2 3! + z 4 5! +
z
z
z 2 senh z
z
1
+
z
2
z z+
+
+
3!
5!
admite uma srie de Laurent no domnio 0 < |z| < . A srie 1 + z 2 3! + z 4 5! +
senh z
, se z 6= 0 e para 1, se z = 0. Assim, podemos efetuar a diviso
converge para
z
132
1 1 + z 2 3! + z 4 5! + atravs do seguinte dispositivo prtico, vlido se |z| < :
1
(a)
1 2
1 +
z +
3!
1 4
z +
5!
(b)
1 2
z
3!
1 4
z
5!
(c)
1 2
z
3!
1 4
z
(3!)2
1
1 4
z +
(3!)2 5!
1
1 4
z +
(3!)2 5!
(d)
(e)
(f )
..
.
Queremos fazer a diviso de (a) por (b). Primeiro fazemos a operao (a) (b) para
obter (c); em seguida multiplicamos o primeiro termo da srie (c) por toda a srie
(b); o resultado a srie descrita em (d); fazendo (c) (d) obtemos (e); novamente,
multiplicando o primeiro termo de (e) por toda a srie (b), obtendo a srie (f ); e assim
por diante. Os primeiros termos de (a), (c) e (e) nos fornecem os trs primeiros termos
da diviso. Logo,
1
1 4
7 4
1 2
1 2
1
z
+
z
+
z + , |z| < .
=
1
z
+
=
1
3!
(3!)2 5!
6
360
1 + z 2 3! + z 4 5! +
Portanto,
1
1
= 3
2
z senh z
z
1
7 4
z +
1 z2 +
6
360
, 0 < |z| <
isto ,
z2
5.13
1
1
1 1
7
= 3 +
z + , 0 < |z| < .
senh z
z
6 z 360
Exerccios
X
X
1
2
n
=
(n
+
1)z
e
=
(n + 1)(n + 2)z n
3
(1 z)2
(1
z)
n=0
n=0
para |z| < 1.
2. Desenvolva a funo 1/z em potncias de (z 1). A seguir obtenha, por derivao, o
desenvolvimento de 1/z 2 em potncias de (z 1). Qual a regio de convergncia?
133
X
(1)n+1
n=1
zn,
|z| < 1.
1+z
1z
=
X
2z 2n+1
n=0
2n + 1
, |z| < 1.
7. Prove que se
cos z
quando z =
6 /2,
(/2)2
f (z) =
1
quando z = /2,
z2
zz0
f (z)
f 0 (z0 )
= 0
.
g(z)
g (z0 )
134
f (z)
quando z 6= z0 ,
(z z0 )m+1
f (z) =
f (m+1) (z0 )
quando z = z0 ,
(m + 1)!
analtica em z0 .
11. Use multiplicao de sries para mostrar que
ez
1
1
5
= + 1 z z2 +
2
z(z + 1)
z
2
6
1 1
1
1 3
1
= + z
z +
1
z 2 12
720
1
1
11
7
= 3
+
z +
senh z
z
6 z 360
z2
dz
i
=
senh z
3
135
Captulo 6
Resduos e Polos
6.1
Resduos
f (z) =
Figura 1.
Exemplo 6.3 A funo
f (z) =
1
sen (/z)
136
1
< ,
m
ou seja, z = 1/m um ponto singular na vizinhana 0 < |z| < (figura 2).
Figura 2.
Quando z0 um ponto singular isolado da funo f , existe R2 > 0 tal que f analtica
no domnio 0 < |z z0 | < R2 . Consequentemente, f representada por uma srie de
Laurent
f (z) =
an (z z0 )n +
n=0
b1
b2
bn
+
+
+
+ , 0 < |z z0 | < R2 .
z z0 (z z0 )2
(z z0 )n
Em particular,
1
bn =
2i
Z
C
f (z)dz
, n = 1, 2, . . . ,
(z z0 )n+1
Figura 3.
137
Quando n = 1, temos
Z
f (z)dz = 2ib1 .
C
O nmero complexo b1 , que o coeficiente de 1 (z z0 ) na expanso em sries de Laurent,
chamado resduo de f no ponto singular isolado z0 . Escrevemos
Res f (z) = b1 .
z=z0
dz
,
z(z 2)4
Figura 4.
Vamos determinar Res
z=2
1
= b1 . Temos
z(z 2)4
1
1
1
1
=
4
4
z(z 2)
(z 2) 2 + (z 2)
(z 2)4
=
=
1
z2
1
2
n
X
1
n (z 2)
(1)
2(z 2)4 n=0
2n
X
(1)n
n=0
2n+1
O coeficiente b1 de 1 (z 2) 1 16. Logo,
Z
C
1
1
i
dz
=
.
=
2i
Res
=
2i
e1/z dz = 0,
138
onde C o crculo unitrio |z| = 1. Como 1/z 2 analtica em todo plano complexo,
2
exceto em z = 0, o mesmo ocorre com e1/z ; alm disso, o ponto singular isolado z = 0
interior a C e sabendo que
ez = 1 +
z2 z3
z
+
+
+ , |z| < ,
1! 2!
3!
e1/z = 1 +
1 1
1 1
1 1
2 + 4 + 6 + , 0 < |z| < .
1! z
2! z
3! z
e1/z dz = 2ib1 = 0.
6.2
k=1
z=zk
Figura 5.
A regio fechada compreendida entre C e cada crculo Ck um domnio multiplamente
conexo. Ento, pelo Teorema de Cauchy-Goursat,
Z
n Z
X
f (z)dz
f (z)dz = 0.
C
k=1
Ck
Ck
139
5z 2
dz
z(z 1)
= 5
(1 z z 2 ).
z(z 1)
z
1z
z
Figura 6.
Observe que o coeficiente de 1/z B1 = 2. Agora, quando 0 < |z 1| < 1 (figura 6),
obtemos
5z 2
5(z 1) + 3
1
3
=
= 5+
1 (z 1) + (z 1)2
z(z 1)
z1
1 + (z 1)
z1
e o coeficiente de 1 (z 1) B2 = 3. Logo,
Z
5z 2
dz = 2i(B1 + B2 ) = 2i(2 + 3) = 10i.
C z(z 1)
Aqui, poderamos ter observado que
5z 2
2
3
= +
.
z(z 1)
z z1
Como 2/z uma srie de Laurent quando 0 < |z| < 1 e 3 (z 1) tambm uma srie
de Laurent quando 0 < |z 1| < 1, segue que
Z
Z
Z
5z 2
2
3
dz =
dz +
dz = 2i(2) + 2i(3) = 10i.
C z(z 1)
C z
C z 1
140
O prximo teorema pode ser bastante til para avaliar integrais, pois envolve o clculo
de apenas um resduo.
Teorema 6.2 Se f uma funo analtica num plano finito, exceto num nmero finito
de pontos singulares contidos no interior de um contorno fechado simples C, ento
Z
1
1
.
f (z)dz = 2i Res 2 f
z=0 z
z
C
Demonstrao: Deixaremos a demonstrao deste resultado como exerccio para o leitor.
5z 2
dz
z(z 1)
5z 2
, temos
z(z 1)
5
2
1
5 2z
5
5 2z
1
1
z
=
=
=
2 (1 + z + z 2 + )
= 2
z
z 1 1
z(1 z)
z
1z
z
1
z z
1
1
donde segue que Res 2 f
= 5. Portanto
z=z0 z
z
Z
f (z)dz = 2i 5 = 10i.
1
f
z2
6.3
an (zz0 )n +
n=0
b1
b2
bn
+
+
+
+ , 0 < |zz0 | < R2 . (6.1)
z z0 (z z0 )2
(z z0 )n
A parcela
b1
b2
bn
+
+ +
+
2
z z0 (z z0 )
(z z0 )n
chamada parte principal de f em z0 . Primeiramente, suponha que existe um inteiro
positivo m tal que
bm 6= 0 e bm+1 = bm+2 = = 0.
Ento, a expanso em (6.1) toma a forma
f (z) =
X
n=0
an (z z0 )n +
b1
b2
bm
+
+ +
, 0 < |z z0 | < R2 ,
2
z z0 (z z0 )
(z z0 )m
onde bm 6= 0. Neste caso, o ponto singular isolado z0 chamado polo de ordem m. Quando
m = 1, o ponto chamado polo simples.
141
=
+
+
+ , 0 < |z| < ,
=
+
z4
z4
3!
5!
7!
z 3 3! z 5! 7!
tem um polo de ordem m = 3 em z0 = 0, com resduo nesse polo b1 = 1/6.
Agora, suponha que todos os coeficientes bn s so nulos, isto
f (z) =
n=0
Aqui, o ponto z0 chamado ponto singular removvel. Neste caso, Res f (z) = 0. Assim,
z=z0
=
+ , 0 < |z| < .
f (z) =
1
z2
z2
2!
4!
6!
2! 4! 6!
Fazendo f (0) = 1/2, f torna-se inteira.
Teorema 6.3 Uma singularidade z0 de uma funo f (z) removvel se, e somente se
f (z) for limitada numa vizinhana de z0 ou tiver limite finito quando z z0 .
Demonstrao: Exerccio.
Finalmente, quando na parte principal de f em z0 , uma infinidade de coeficientes bn s
so no nulos, z0 chamado ponto singular essencial de f .
Exemplo 6.11 A funo
1/z
X
1 1
1 1
1 1
=
n = 1 + + 2 + , 0 < |z| < ,
n! z
1! z 2! z
n=0
142
6.4
Resduos em polos
Quando uma funo f tem uma singularidade isolada em z0 , o mtodo bsico para
saber se z0 um polo e encontrar o resduo em z0 consiste em escrever a srie de Laurent e
observar quem o coeficiente de 1 (zz0 ). O teorema seguinte fornece uma caracterizao
dos polos e uma maneira diferente de determinar o correspondente resduo.
Teorema 6.4 Um ponto singular isolado z0 de uma funo f um polo de ordem m se,
e somente se, for possvel escrever f (z) na forma
f (z) =
(z)
,
(z z0 )m
(6.3)
z=z0
e
Res f (z) =
z=z0
(m1) (z0 )
se m 2.
(m 1)!
Demonstrao: Suponha que f (z) tenha a forma (6.3). Desde que (z) analtica em
z0 temos a expanso
X
0 (z0 )
00 (z0 )
(m1) (z0 )
(n) (z0 )
2
m1
(z) = (z0 )+
(zz0 )+
(zz0 ) + +
(zz0 )
+
(zz0 )n ,
1!
2!
(m 1)!
n!
n=m
z
)
0
n=m
quando 0 < |z z0 | < . Esta srie de Laurent, juntamente com o fato de ser (z0 ) 6= 0,
mostram que z0 um polo de ordem m de f . O coeficiente de 1 (z z0 ) o resduo de
f (z) em z0 , conforme descrito no teorema.
Inversamente, suponha que z0 um polo de ordem m de f . Ento, f possui uma
representao em sries de Laurent
f (z) =
X
n=0
an (z z0 )n +
b1
b2
bm
+
++
, bm 6= 0, 0 < |z z0 | < R2 .
2
z z0 (z z0 )
(z z0 )m
(z z0 )m f (z) quando z =
6 z0
.
bm
quando z = z0
143
X
(z) = bm +bm1 (zz0 )+ +b2 (zz0 )m2 +b1 (zz0 )m1 +
an (zz0 )m+n , |zz0 | < R2 .
n=0
z+1
z2 + 9
z 3 + 2z
,
(z i)3
(z)
, onde (z) = z 3 + 2z.
3
(z i)
(log z)3
onde log z = ln r + i, r > 0, 0 < < 2.
z2 + 1
(z)
(log z)3
onde (z) =
.
zi
z+i
(log i)3
(ln 1 + i/2)3
3
=
= 6= 0,
2i
2i
16
3
.
16
144
senh z
,
z4
z(ez
1
.
1)
Da,
z
z2 z3
z
z2 z3
z(e 1) = z 1 + 1 + +
+
+ = z
+
+
+
1! 2!
3!
1! 2!
3!
z2
z
2
= z 1+ +
+ , |z| < .
2! 3!
z
Ento,
f (z) =
1
z2
z
z2 1 + +
+
2! 3!
1
(z)
1 + z/2! + z 2 /3! +
=
=
,
z2
z2
1
. Desde que, (z) uma funo analtica no ponto
1 + z/2! + z 2 /3! +
z = 0 e (0) = 1 6= 0, z = 0 um polo de segunda ordem; alm disso, o resduo de f em
z = 0 B = 0 (0). Como
1
2z
+
+
2!
3!
0
(z) =
2
z
z2
1+ +
+
2! 3!
onde (z) =
z=z0
z=z0
1
dm1
lim m1 [(z z0 )m f (z)] .
(m 1)! zz0 dz
145
an (z z0 )n +
n=0
b1
b2
bm
+
++
, bm 6= 0, 0 < |z z0 | < R2
2
z z0 (z z0 )
(z z0 )m
n=0
= bm + + b2 (z z0 )m2 + b1 (z z0 )m1 + a0 (z z0 )m
+a1 (z z0 )m+1 + ,
e derivando os dois lados da igualdade m 1 vezes, obtemos
dm1
[(z z0 )m f (z)] = (m 1)!b1 + m!a0 (z z0 ) +
dz m1
Finalmente, tomando o limite quando z z0 na expresso anterior, concluimos que
lim
zz0
dm1
[(z z0 )m f (z)] = (m 1)!b1 = (m 1)! Res f (z)
z=z0
dz m1
z=z0
zz0
1
(z 1)2 (z 3)
z3
z3
1
1
=
2
(z 1)
4
146
6.5
Suponha que uma funo f analtica num ponto z0 . Sabemos que todas as derivadas
f (z), n = 1, 2, . . ., existem em z0 . Se f (z0 ) = 0 e se existe um inteiro positivo m tal
que f (m) (z0 ) 6= 0 e cada derivada de ordem menor se anula em z0 , dizemos que f possui
um zero de ordem m em z0 . O prximo teorema nos d uma caracterizao para os zeros
de ordem m.
(n)
Teorema 6.6 Uma funo f que analtica no ponto z0 possui um zero de ordem m
neste ponto se, e somente se, existe uma funo g, que analtica e no nula em z0 , tal
que
f (z) = (z z0 )m g(z).
(6.4)
Demonstrao: Comecemos supondo que existe uma funo g, analtica e no nula em
z0 , tal que (6.4) ocorre. Ento, temos a expanso em sries de Taylor
g(z) = g(z0 ) +
g 00 (z0 )
g 0 (z0 )
(z z0 ) +
(z z0 )2 +
1!
2!
g 0 (z0 )
g 00 (z0 )
(z z0 )m+1 +
(z z0 )m+2 +
1!
2!
(6.5)
X
f (n) (z0 )
(z z0 )n
f (z) =
n!
n=m
(m)
(z0 ) f (m+1) (z0 )
f (m+2) (z0 )
m f
2
= (z z0 )
+
(z z0 ) +
(z z0 ) + .
m!
(m + 1)!
(m + 2)!
f (m) (z0 )
6= 0.
m!
ez 1
se z 6= 0 e f (0) = 0.
z
Nosso prximo teorema diz que os zeros de uma funo analtica so isolados.
Teorema 6.7 Dada uma funo f analtica num ponto z0 , suponha que f (z0 ) = 0 com
f (z) no sendo identicamente nula numa vizinhana arbitrria de z0 . Ento, f (z) 6= 0
numa vizinhana 0 < |z z0 | < de z0 .
Demonstrao: Use o teorema anterior.
6.6
Zeros e Polos
Teorema 6.8 Suponha que: (i) duas funes p e q so analticas num ponto z0 ; (ii)
p(z0 ) 6= 0 e q possui um zero de ordem m em z0 . Ento, o quociente p(z)/q(z) tem um
polo de ordem m em z0 .
Demonstrao: Sejam p e q como descritas na hiptese do teorema. Desde que q tem
um zero de ordem m em z0 , sabemos pelo teorema anterior que existe uma vizinhana
de z0 na qual q(z) 6= 0; e assim, z0 um ponto singular isolado do quociente p(z)/q(z).
Alm disso, pelo Teorema 6.6,
q(z) = (z z0 )m g(z)
onde g analtica e no nula em z0 ; logo, podemos escrever
p(z)/g(z)
p(z)
=
q(z)
(z z0 )m
(6.6)
Como p(z)/q(z) analtica e no nula em z0 , segue pelo Teorema 6.4 que z0 um polo de
ordem m de p(z)/q(z).
148
z=z0
p(z0 )
p(z)
= 0
.
q(z)
q (z0 )
(6.7)
z=z0
p(z)
p(z0 )
=
.
q(z)
g(z0 )
z=z0
p(z)
p(z0 )
= 0
.
q(z)
q (z0 )
149
cos z
,
sen z
que o quociente das funes inteiras p(z) = cos z e q(z) = sen z. As singularidades deste
quociente ocorrem nos zeros de q, ou seja, nos pontos
z = n, n = 0, 1, 2, . . . .
Desde que
p(n) = (1)n 6= 0, q(n) = 0 e q 0 (n) = (1)n 6= 0,
cada ponto singular z = n de f um polo simples, com resduo
(1)n
p(n)
=
= 1.
q 0 (n)
(1)n
Bn =
Exemplo 6.21 O resduo da funo
f (z) =
senh z
tanh z
= 2
2
z
z cosh z
i
2
= senh
i
2
e
q
i
2
= 0, q
i
2
=
i
2
= i sen
2
= i 6= 0
2
senh
i
2
=
2
i 6= 0,
4
p(i/2)
4
= 2.
0
q (i/2)
2ei/4 = 1 + i
p(z0 )
z0
1
1
i
= 3 = 2 =
= .
0
q (z0 )
4z0
4z0
8i
8
150
6.7
Exerccios
(b) 1/2;
(d)
cot z
;
z4
(d) 1/45;
(c) 0;
(e)
sinh z
.
z2)
z 4 (1
(e) 7/6.
2) Use o Teorema dos Resduos de Cauchy para calcular a integral de cada uma das
funes sobre o crculo |z| = 3, orientado no sentido positivo.
ez
ez
z+1
(a) 2
.
(b)
;
(c) z 2 e1/z ;
(d) 2
2
z
(z 1)
z 2z
Respotas: (a) 2i;
(b) 2i/e;
(c) i/3;
(d) 2i.
3) Use o teorema envolvendo um nico resduo para calcular a integral de cada uma
das funes sobre o crculo |z| = 2, orientado no sentido positivo.
(a)
z5
1 z3
(b)
1
;
1 + z2
(c)
(b) 0;
1
.
z
(c) 2i.
4) Considere os polinmios
P (z) = a0 + a1 z + a2 z 2 + + an z n , an 6= 0
e
Q(z) = b0 + b1 z + b2 z 2 + + bm z m , bm 6= 0
onde m n + 2. Mostre que, se todos os zeros de Q(z) pertencem ao interior de
um contorno fechado simples C, ento
Z
P (z)
dz = 0.
C Q(z)
5) Em cada caso, escreva a parte principal da funo no seu ponto singular isolado e
determine se o ponto um polo, um ponto singular removvel ou um ponto singular
essencial:
z2
sin z
cos z
1
(a) ze1/z
(b)
;
(c)
;
(d)
;
(e)
.
1+z
z
z
(2 z)3
6) Mostre que o ponto singular em cada funo um polo. Em seguida, determine a
ordem m do polo e o resduo B correspondente.
1 e2z
e2z
1 cosh z
(b)
;
(c)
.
(a)
z3
z4
(z 1)2
Respotas: (a) m = 1, B = 1/2;
(b) m = 4, B = 4/3;
(c) m = 2, B = 2e2 .
7) Em cada caso, mostre que qualquer ponto singular da funo um polo. Determine
a ordem m de cada polo e encontre o resduo B correspondente.
3
z2 + 2
z
ez
(a)
(b)
;
(c) 2
.
z1
2z + 1
z + 2
Respotas: (a) m = 1, B = 3;
(b) m = 3, B = 3/16;
151
(c) m = 1, B = i/2.
8) Mostre que
z 1/4
1+i
(a) Res
= , |z| > 0, 0 < arg z < 2;
z=1 z + 1
2
(b) Res
Log z
+ 2i
;
=
2
2
(z + 1)
8
(c) Res
z 1/2
1i
, |z| > 0, 0 < arg z < 2.
=
(z 2 + 1)2
8 2
z=i
z=i
(c) 4i.
1
sen z
ezt
ezt
+ Res
= 2 cos t.
z=i senh z
z=i senh z
1
,
[q(z)]2
q 00 (z0 )
.
[q 0 (z0 )]3
152
(z)
1
.
, onde (z) =
(z z0 )2
[g(z)]2
Respostas: (a) 0;
6.8
6.8.1
Aplicaes
Integrais reais imprprias
I1 =
f (x)dx = lim
f (x)dx.
0
Se o limite acima existir, dizemos que a integral I1 converge; caso contrrio ela diverge.
Analogamente,
Z 0
Z 0
I2 =
f (x)dx = lim
f (x)dx,
R
f (x)dx diverge.
V. P.
(6.9)
f (x)dx = lim
f (x)dx
(6.10)
R
Se a integral em (6.9) converge (isto , I1 e I2 convergem) seu valor V. P. f (x)dx.
R
Mas, a existncia do limite em (6.10), no significa que f (x)dx convirja. De fato, o
R
R
leitor pode verificar facilmente que se f (x) = x, ento V. P. xdx = 0, mas xdx
diverge.
153
Agora, se f for uma funo par, ou seja, f (x) = f (x), para todo x R, temos
Z 0
Z R
Z R
Z R
f (x)dx =
f (x)dx +
f (x)dx = 2
f (x)dx
R
ou ainda,
Z
f (x)dx = 2
R
Assim, se V. P.
f (x)dx.
0
f (x)dx.
R
Podemos calcular f (x)dx usando resduos quando f uma funo racional
f (x) = p(x)/q(x), contnua em (, ). Procedemos integrando f na varivel z num
contorno fechado C consistindo do intervalo [R, R] no eixo real e do semicrculo CR
de raio R suficientemente grande para envolver todos os polos de f (z) = p(z)/q(z) que
ocorrem no semiplano Im(z) > 0 (veja figura 1).
Figura 1.
Utilizando o teorema dos resduos, temos
Z
Z
f (z)dz =
f (z)dz +
f (x)dx = 2i
R
CR
n
X
k=1
Res f (z),
z=zk
teremos
Z
CR
V. P.
f (x)dx = 2i
f (x)dx = lim
n
X
k=1
Res f (z)
z=zk
e se f for par,
Z
f (x)dx = V. P.
f (x)dx = 2i
154
n
X
k=1
Res f (z).
z=zk
Z
0
x2
dx.
x6 + 1
A funo
f (z) =
z2
z6 + 1
tem pontos singulares isolados nas razes do polinmio z 6 + 1. Ora, tratam-se das razes
sextas de 1, isto
2n
2n
2n
cn = cos
+
+ i sen
+
= e( 6 + 6 ) , n = 0, 1, 2, . . . , 5.
6
6
6
6
As trs primeiras singularidades
c0 = ei/6 , c1 = ei/2 = i e c2 = e5i/6
no pertencem ao eixo real (assim como as demais) e esto na parte superior do plano.
Quando R > 1, cada ck (k = 0, 1, 2) pertence ao interior da regio formada pelo
semicrculo superior de raio R e pelo intervalo [R, R] (veja figura 2).
Figura 2.
Integrando f (z) ao longo do contorno da figura 2, temos
Z
Z
f (z)dz = 2i(K0 + K1 + K2 )
f (x)dx +
R
(6.11)
CR
f (z) =
z2
p(z)
=
,
z6 + 1
q(z)
c2n
1
p(cn )
=
= 3 , n = 0, 1, 2.
0
5
q (cn )
6cn
6cn
155
Ento,
2i(K0 + K1 + K2 ) = 2i
1
1
+ 3+
i/6
3
5i/6
6(e )
6i
6(e
)3
= 2i
1
1
1
+
6i 6i 6i
=
,
3
f (x)dx =
3
R
Z
f (z)dz, R > 1
(6.12)
CR
f (z)dz = 0.
CR
lim MR R = lim
f (x)dx =
ou V. P.
3
R
x2
dx = .
6
x +1
3
Z
f (x)dx = 2
seja
Z
0
f (x)dx, ou
0
x2
dx = .
6
x +1
6
R
As vezes trabalhoso mostrar que CR f (z)dz 0 quando R . Por esse motivo
apresentamos ao leitor
Z o prximo teorema, que nos poupar algumas vezes do trabalho
de mostrar que lim
f (z)dz = 0 no clculo de integrais imprprias.
R
CR
Teorema 6.10 Seja f (z) = p(z)/q(z) uma funo racional, onde o grau de p(z) n e
oR de q(z) m n + 2. Se CR for o contorno semicircular z = Rei , 0 , ento
f (z)dz 0 quando R 0.
CR
156
|z z1 ||z z2 | . . . |z zn |
|p(z)|
=
|q(z)|
|z w1 ||z w2 | . . . |z wn+2 | . . . |z wm |
(R + |z1 |)(R + |z2 |) . . . (R + |zn |)
= MR
(R |w1 |)(R |w2 |) . . . (R |wn+2 |) . . . (R |wm |)
Logo,
Z
R(R + |z1 |)(R + |z2 |) . . . (R + |zn |)
MR R =
f
(z)dz
(R |w1 |)(R |w2 |) . . . (R |wn+2 |) . . . (R |wm |)
CR
Rn+1 /Rm + P (z)/Rm
Rn+1 + P (z)
=
0 quando R ,
=
Rm + Q(z)
1 + Q(z)/Rm
onde P e Q so polinmios com graus n e m 1 respectivamente. Isto conclui a
demonstrao do teorema. Observe que a integral anterior s tende para 0 quando R
graas a hiptese m n + 2.
6.8.2
onde a > 0. Integrais desse tipo so muito comuns em anlise de Fourier. O mtodo
anterior no serve para o clculo deste tipo de integral. Aqui, trabalharemos com a
expresso
Z R
Z R
Z R
f (x) cos axdx + i
f (x) sen axdx =
f (x)eiax dx
R
157
cos 3x
2
dx = 3 .
2
2
(x + 1)
e
Como o integrando uma funo par, basta determinar o valor principal de Cauchy para
a integral imprpria. Considere
f (z) =
(z 2
1
.
+ 1)2
Figura 3.
Integrando f (z)ei3z ao longo do contorno descrito na figura 3, temos
Z
ei3x
dx = 2iK1
(x2 + 1)2
f (z)ei3z dz
(6.13)
CR
f (z)ei3z
ei3z
ei3z
(z)
ei3z
(z + i)2
=
=
,
(z)
=
,
=
(z i)2
(z i)2
(z + i)2
[(z + i)(z i)]2
CR
(R2
1
1)2
f (z)ei3z dz MR R
e, como
MR R =
1/R4
/R3
R
0 quando R ,
=
(R2 1)2 1/R4
(1 1/R2 )
conclumos que
Z
lim Re
Portanto,
Z
cos 3x
dx = V. P.
(x2 + 1)2
f (z)ei3z dz = 0.
CR
cos 3x
dx = lim
R
(x2 + 1)2
cos 3x
2
dx = 3 .
2
2
(x + 1)
e
6.8.3
Exerccios
(a)
= .
2
x +1
2
Z0
dx
(b)
= .
2
2
(x + 1)
4
0
Z
dx
(c)
= .
4
x +1
2 2
0
Z
2
x dx
(d)
=
.
(x2 + 1)(x2 + 4)
6
0
159
x2 dx
.
=
2
2
2
(x + 9)(x + 4)
200
0
Z
xdx
(f)
=
.
2
2
5
(x + 1)(x + 2x + 2)
Z
(e)
2. Use resduos e o caminho mostrado na figura abaixo, onde R > 1, para estabelecer
a seguinte integral:
Z
dx
2
.
=
x3 + 1
3 3
0
ea
e
(a)
= 2
(b)
dx = ea , (a > 0).
2
x +1
2
Z0
cos ax
4. Use resduos para estimar o Valor Principal de Cauchy das integrais imprprias.
Z
sen xdx
(a)
= sen 2.
2
e
x + 4x + 5
Z
(x + 1) cos x
(b)
dx = (sen 2 cos 2).
2
e
x + 4x + 5
5. Os seguintes passos servem para estimarmos a integral de Fresnel, que importante
em teoria da difrao:
r
Z
Z
1
2
2
cos(x )dx =
sen(x )dx =
.
2 2
0
0
(a) Mostre que
Z
/2
eR sen d
160
, R > 0.
2R
1
sen(x )dx =
2
2
r2
Z
dr Im
eiz dz.
CR
(c) Mostre que o valor da integral sobre CR no item anterior tende para zero
quando R tende infinito, aps obter a inequao
Z
Z
R /2 R2 sen
iz 2
e dz
e
d.
2 0
CR
(d) Use os resultados nos itens anteriores para estabelecer a integral
x2
e dx =
2
0
e complete o exerccio.
Sugesto: Consulte [2] p. 273, 276 e 277.
6.8.4
Integrais definidas
Considere
Z
(6.14)
ei ei
z z 1
ei + ei
z + z 1
dz
=
, cos =
=
, d = ,
2i
2i
2
2
iz
transformam (6.14) em
Z
F
C
z z 1 z + z 1
,
2i
2
dz
.
iz
(6.15)
Quando o integrando em (6.15) uma funo racional em z, podemos usar teoria dos
resduos para avaliar a integral.
161
d
2
=
, 1 < a < 1.
1 + a sen
1 a2
d
=
1 + a sen
1
dz
=
1 iz
C 1 + (a/2i) z (a/2i) z
Z
2/a
dz
=
2
C z + (2i/a) z 1
Z
C
1
dz
iz + (a/2) z 2 (a/2)
1 + 1 a2
1 1 a2
z1 =
i, z2 =
i.
a
a
Da,
f (z) =
2/a
2/a
=
.
z 2 + (2i/a) z 1
(z z1 )(z z2 )
1 a2
>1
|z2 | =
|a|
isto , z2 pertence ao exterior de C; e, desde que |z1 z2 | = 1/a2 (1 a2 )/a2 = 1, temos
1+
|z1 | =
ou seja, z1 um ponto interior a C.
1
<1
|z2 |
Finalmente, determinemos K1 = Res f (z).
z=z1
Escrevendo,
2/a
(z)
, onde (z) =
z z1
z z2
f (z) =
2/a
percebemos que analtica e (z1 ) =
6= 0. Isto mostra que z1 um polo simples
z1 z2
e
2/a
2/a
1
K1 = (z1 ) =
=
=
.
2
z z2
2 1a
i 1 a2
i
a
Consequentemente,
Z 2
0
d
=
1 + a sen
Z
C
z2
2/a
2
dz = 2iK1 =
.
+ (2i/a) z 1
1 a2
6.8.5
A Transformada de Laplace
(6.16)
transforma a funo f (x) na funo F (). Dizemos que (6.16) uma transformada integral
da funo f . Alm disso, sob hipteses determinadas, podemos recuperar f (x) por meio
de outra transformada integral
Z d
F ()H(, x)d
(6.17)
f (x) =
c
analtica no semiplano direito Re(z) > 0. Tais resultados podem ser vistos com detalhes
em um curso de Anlise de Fourier.
Se f e f 0 forem contnuas por partes em [0, ), se (6.18) vale para todo t 0 e se
F (z) = L {f (t)}, a transformada inversa de Laplace L 1 {F (z)}
Z +iR
1
1
f (t) = L {F (z)} =
lim
ezt F (z)dz,
2i R iR
onde > c.
163
{F (z)} =
n
X
k=1
z=zk
Figura 4.
Exemplo 6.27 Calcule L 1 {1/z 3 }, Re(z) > 0. Note que F (z) = 1/z 3 tem um polo de
ordem 3 em z = 0 e 1/z 2 limitada no semicrculo CR da figura 4, quando R .
Logo,
zt
1
1
d2
d2 zt
ezt
1
3e
1
=
lim
lim
e
=
Res
(z
0)
=
f (t) = L
z=0 z 3
z3
2! z dz 2
z3
2 z dz 2
1
1
=
lim t2 ezt = t2 .
2 z
2
Finalmente queremos introduzir uma outra transformada integral bastante til na
matemtica e em algumas engenharias. Suponha que f (x) uma funo real definida em
(, ). A transformada de Fourier para f (x) definida por
Z
f (x)eix dx = F ()
F {f (x)} =
1
{f (x)} =
2
F ()eix d = f (x)
onde R. Como as integrais anteriores so reais e imprprias podemos usar teoria dos
resduos em alguns casos.
164
Captulo 7
Decomposio de Funes
7.1
Seja p(z) um polinmio de grau n com n-razes complexas distintas (de ordem 1),
digamos z1 , z2 , . . . , zn . Sabemos que se
f (z) =
1
1
=
p(z)
(z z1 )(z z2 ) (z zn )
(z)
, k = 1, . . . , n
z zk
1
, k = 1, . . . , n
(z z1 ) (z zk1 )(z zk+1 ) (z zn )
Por outro lado, sabemos do Clculo, que a funo f (z) pode ser decomposta em fraes
parciais, como
B1
B2
Bn
f (z) =
+
+ +
,
z z1 z z2
z zn
onde
B1 =
1
1
, B2 =
,...,
(z1 z2 )(z1 z3 ) (z1 zn )
(z2 z1 )(z2 z3 ) (z2 zn )
Bn =
1
.
(zn z1 )(zn z2 ) (zn zn1 )
165
B1
B2
Bn
+
+ +
z z1 z z2
z zn
Res f (z) Res f (z)
Res f (z)
z=z1
z=z2
z=zn
=
+
+ +
.
z z1
z z2
z zn
f (z) =
(7.1)
X
1
1
+
.
f (z) = f (0) +
Bk
z
z
z
k
k
k=1
(7.2)
Obs. 7.1 O somatrio anterior pode ser tomado de a , caso os ndices da sequncia
zk variem de a .
Demonstrao: A demonstrao deste teorema no objetivo dessas notas de aula e
pode ser encontrada em [5].
Exemplo 7.1 Vamos determinar decomposio de Mittag-Leffler da funo
csc z =
1
.
sen z
z0
166
p(z)
z sen z
=
z sen z
q(z)
Os resduos correspondentes so
Bk = Res f (z) =
z=zk
p(zk )
k
=
= (1)k , k = 1, 2, 3, . . . .
0
k
q (zk )
k(1)
(2N + 1)
,
2
lim RN = .
(2N + 1)
De fato, seja z CN , isto , |z| =
. Sabendo que a funo sen z ilimitada,
2
temos
z sen z 1
1 1
1
|f (z)| =
=
+
z sen z
sen z z
sen z
|z|
2
< M1 +
< M1 + 1 = M
2N + 1
1
< M1 , M1 > 0. Alm disso, fcil ver que lim RN = lim (2N + 1) = .
onde
N
N
sen z
2
167
=
=
=
=
X
1
1
1
1
f (0) +
+
+
+
Bk
Bk
z zk zk
z zk zk
k=1
k=1
X
X
1
1
1
1
k
k
+
+
+
(1)
(1)
z
k
k
z
k
k
k=1
k=1
X
X
1
1
1
1
k
k
+
+
(1)
(1)
z
+
k
k
z
k
k
k=1
k=1
X
1
1
(1)k
+
z + k z k
k=1
X
z k + z + k
k
(1)
(z + k)(z k)
k=1
X
=
(1)k
k=1
z2
2z
.
k22
1
Como f (z) = csc z , obtemos
z
1 X
2z
(1)k 2
csc z = +
.
z k=1
z k22
1
. Os polos de f (z) so os nmeros
cos z
1
2k 1
zk = + k = + k =
, k = 0, 1, 2, 3, . . . ,
2
2
2
p(z)
1
=
cos z
q(z)
Os resduos correspondentes so
Bk = Res f (z) =
z=zk
p(zk )
1
=
= (1)k , k = 0, 1, 2, 3, . . . .
q 0 (zk )
(1)k
168
X
1
1
+
sec z = f (0) +
Bk
z
z
zk
k
k=
#
"
X
1
1
k
= 1+
+ (2k1) +
(1)
z (2k1)
k=0
2
2
#
"
X
1
1
k
+
+ (2k1)
(1)
z (2k1)
k=1
2
2
#
"
X
1
1
= 1+
(2k+1) +
(1)k
z + (2k+1)
k=0
2
2
#
"
X
1
1
+ (2k1)
+
(1)k
z (2k1)
k=1
2
2
"
#
X
(1)
(1)
= 1+
(1)k
(2k1) +
z + (2k1)
k=1
2
2
"
#
X
1
1
(1)k
+
+ (2k1)
z (2k1)
k=1
2
2
"
#
X
(1)
1
4
(1)k
= 1+
+
+
(2k1)
(2k 1)
z + (2k1)
z
k=1
2
2
(2k1)
X
+ z + (2k1)
4 X (1)k
k z +
2
2
+
= 1+
(1)
k=1 2k 1
z + (2k1) z (2k1)
k=1
2
= 1+
X
k=1
= 1+
(1)k (2k 1)
4
h
i2 +
z 2 (2k1)
2
X
k=1
(1)k
2k 1
X
(1)k (2k 1)
4 X (1)k1
h
i2
k=1 2k 1
(2k1)
k=1 z 2
2
X
(1)k (2k 1)
4
= 1+
h
i2 arctan(1)
(2k1)
k=1 z 2
2
X
(1)k (2k 1)
= 1+
h
i2 1
(2k1)
2
k=1 z
2
Portanto,
X
(1)k (2k 1)
sec z =
h
i2 .
(2k1)
k=1 z 2
2
X (1)k1
= arctan(1) =
4
2k 1
k=1
169
X
(1)k1 z 2k1
k=1
2k 1
, |z| < 1.
De fato, para provar a ltima igualdade basta usar integrao termo a termo sobre um
1
caminho conveniente para a funo
. Por fim, em z = 1 utilizamos um teste de
1 + z2
convergncia para sries de nmeros reais para obter o resultado da srie inicial.
7.2
Produtos Infinitos
n
Y
(1 + wk ).
k=1
Definio 7.1 Se existir um nmero complexo P tal que lim Pn = P , dizemos que o
n
produto infinito convergente para P e escrevemos
(1 + wk ) = P.
k=1
Obs. 7.3 Se existir um nmero finito de fatores (1 + wk ) nulos, dizemos que o produto
converge para zero.
i
, k = 1, 2, 3, . . .. Ento
k2
Y
i
i
i
i
Pn =
1 + 2 = (1 + i) 1 + 2
1 + 2 1 + 2 .
k
2
3
n
k=1
Obs. 7.4 Depois veremos que o produto infinito do exemplo anterior convergente.
7.2.1
1. O produto
k=1
k=1
convergente.
X
De fato, se
Log(1 + wk ) = S, ento
k=1
P
eS = e
k=1
Log(1+wk )
= eLog(
)=
k=1 (1+wk )
(1 + wk ).
k=1
170
Log(1+wk )
Reciprocamente, se
(1 + wk ) = P , ento
k=1
Log
!
= ln |P | + 2qi, q Z.
(1 + wk )
k=1
Da,
Log(1 + wk ) = ln |P | + 2qi, q Z
k=1
k=1
k=1
(1 + wk ) converge e
k=1
k=1
condicionalmente convergente.
4. Se
k=1
5. O produto
k=1
wk
k=1
absolutamente convergente.
7.2.2
1. Um produto de funes
k=1
onde P (z) =
(1 + wk (z)) e PN (z) =
k=1
N
Y
k=1
uniformemente quando N .
X
com Mk > 0 para cada k N, e se a srie
Mk for convergente, ento o produto
de funes
k=1
k=1
171
X
plano complexo e se a srie
wk (z) for uniformemente convergente em , ento o
produto
k=1
k=1
X
1
Como
convergente, pelo teste de Weierstrass segue que o produto de funes
k2
k=1
Y
z2
1 2 uniformemente convergente para uma certa funo analtica P (z) na
k
k=1
regio |z| 1.
Y
Exemplo 7.5 Vamos mostrar que sen z = z
1
k=1
z2
. Como
(k)2
sen z i
d h
d
cos z 1
Log
=
(Log(sen z) Log z) =
,
dz
z
dz
sen z z
obtemos
Z z
sen z
cos 1
=
Log
d
z
sen
0
!
Z z
Z z X
2
1
d
=
cot
d =
2 (k)2
0
0
k=1
Z z
X
X
2
2
2 z
=
d
=
Log(
(k)
)
0
2 (k)2
k=1 0
k=1
2
X
X
z (k)2
2
2
2
=
Log
=
Log z (k) Log (k)
(k)2
k=1
k=1
"
#
X
Y
z2
z2
=
Log 1
= Log
1
2
(k)
(k)2
k=1
k=1
Aplicando a exponencial de ambos os lados da igualdade, obtemos
sen z Y
z2
=
1
z
(k)2
k=1
Obs. 7.5 Do exemplo anterior fcil constatar a seguinte decomposio:
sen z Y
z2
=
1 2
z
k
k=1
172
7.3
Um exemplo de uma funo inteira que no possui zeros f (z) = ez . Logo, se g(z)
uma funo inteira a funo
f (z) = eg(z)
tambm uma funo inteira e no possui zeros. Em analogia ao caso de funes
polinomiais, poderamos dizer que eg(z) um fator irredutvel. Assim, temos o seguinte
teorema:
Teorema 7.2 Se f uma funo inteira sem zeros em C, ento existe uma funo
tambm inteira G(z) tal que
f (z) = eG(z) .
Demonstrao: Defina
Z
G(z) = Log(f (0)) +
0
f 0 ( )
d.
f ( )
Como f no se anula, a integral indefinida acima tambm uma funo inteira. Logo
G(z) uma funo inteira e
eG(z) = f (0)e
Rz
0
f 0 ( )
d
f ( )
eG(z)
Derivando a funo
em relao a z obtemos
f (z)
d eG(z)
eG(z) G0 (z)f (z) eG(z) f 0 (z)
=
dz f (z)
(f (z))2
0
G(z) f (z)
0
e
f (z) f (z)
f (z)
=
= 0.
(f (z))2
Portanto, a funo
eG(z)
f (z)
constante. Como
eG(0)
f (0)
=
=1
f (0)
f (0)
173
(z z1
)m1 (z
f (z)
z2 )m2 (z zn )mn
possui singularidades removveis em zk , de acordo com o Teorema 6.3. Desta maneira fe(z)
pode ser redefinida como uma funo inteira sem zeros, devido eliminao dos fatores
comuns. Portanto, pelo Teorema anterior, existe uma funo inteira G(z) tal que
fe(z) = eG(z) .
Logo, segue que f (z) = P (z)eG(z) .
O prximo teorema fundamental para demonstrao do Teorema da Fatorao de
Weierstrass e para a definio da Funo Gama que veremos na prxima seo.
Teorema 7.4 Seja z1 , z2 , . . . , zn , . . . uma sequncia no plano complexo tal que lim |zn | =
n
e cada zk seja no nulo. Se p1 , p2 , . . . , pn , . . . uma sequncia qualquer de inteiros tal
que
pk +1
X
r
|zk |
k=1
converge, para qualquer r > 0, ento existe uma funo (z) inteira com zeros exatamente
em z = zk tal que
(z) =
Y
k=1
z
1
zk
e
z
zk
+ 12
z
zk
2
++ p1
z
zk
p
k
174
X
1
1
=
|zk |
k2
k=1
k=1
converge e existe uma funo inteira (z) com zeros exatamente em z = zk = k,
k = 1, 2, . . . tal que
Y
z z/k
e
.
(z) =
1+
k
k=1
Teorema 7.5 (Fatorao de Weierstrass (Verso Geral))
Seja f uma funo inteira possuindo uma sequncia infinita de zeros z1 , z2 , . . . , zn , . . .
de ordem m1 , m2 , . . . , mn , . . ., respectivamente. Suponha que cada zk seja no nulo e que
X
1
seja convergente.
exista um nmero natural N > 1 tal que a srie numrica real
|zk |N
k=1
Ento, existe uma funo inteira G(z) tal que
(
N 1 )mk
z 1 z 2
Y
+2 z
++ N 11 zz
z
zk
G(z)
k
k
e
.
f (z) = e
1
z
k
k=1
Demonstrao: A demonstrao deste teorema foge do objetivo destas notas de aula e
pode ser encontrada em [5].
z
Obs. 7.7 Note que todos os zeros de f (z) esto nos fatores 1
, k = 1, 2, . . ..
zk
Teorema 7.6 (Fatorao de Weierstrass (zeros simples))
Seja f uma funo inteira possuindo uma sequncia de zeros simples z1 , z2 , . . . , zn , . . ..
X
1
seja convergente.
Suponha que cada zk seja no nulo e que a srie numrica real
|zk |2
k=1
Ento, existe uma funo inteira G(z) tal que
Y
z
z
G(z)
f (z) = e
1
e zk .
zk
k=1
Neste caso, G(z) = Log(f (0)) +
f 0 (0)
z.
f (0)
Obs. 7.8 O ndice k dos produtos infinitos acima pode tambm assumir valores negativos,
ou seja, o ndice do produtrio pode variar de .
Obs. 7.9 Se a funo f possuir um zero de ordem m em z0 = 0, ento tambm aparecer
um fator z m multiplicando o produtrio, isto ,
(
N 1 )mk
z 1 z 2
1
z
Y
+
++
z
N 1 zk
f (z) = eG(z) z m
1
e zk 2 zk
.
z
k
k=1
175
(2k 1)
, k = 0, 1, 2, . . . .
2
X
X
1
4
=
2
|zk |
|2k 1|2 2
k=1
k=1
sen 0
z 0, obtemos
cos 0
Y
2z
2z
1
e (2k1)
cos z = e
(2k 1)
k=
2z
2z
2z
2z
2z
2z
1+
1+
1
1
1
= 1 +
5
3
3
5
h 2z 2z 2z 2z 2z 2z
i
5
3
3
5
e e e e e e
Y
4z 2
=
1
.
[(2k 1)]2
k=1
0
Note que os zeros da funo cos z aparacem todos nos fatores do produto infinito.
7.4
A Funo Gama
Considere a funo
(z) =
Y
1+
k=1
z z/k
e
k
7.4.1
1. (1) =
e
= 1.
(1)
n!nz
, n = 1, 2, 3, . . . ,
z(z + 1) (z + n)
onde nz = ez Log n e z
/ {0, 1, 2, . . .}, ento
(z) = lim Gn (z).
n
(1)k
8. Os resduos da funo em zk = k, k = 0, 1, 2, . . ., so dados por
.
k!
9. Temos
(z)(1 z) =
10. Temos
1
2
, z 6= k, k = 0, 1, 2, . . . .
sen(z)
1
2z1
2
(z) z +
= (2z).
2
12. (Frmula de Gauss) Se n N, ento
n1
1
1
2
n1
(z) z +
z+
z +
= n 2 nz (2) 2 (nz).
n
n
n
13. (Derivao logartmica da funo ) Temos
0 (z)
1
1
1
1
1
1
1
= + 1
+
+ +
+ .
(z)
z
2 z+1
3 z+2
n z+n1
177
onde tz1 = e(z1) Log(t) . A Figura 1 abaixo o grfico da funo (x) para x R
tal que 5 < x < 5:
Figura 1.
7.5
Exerccios
X
k=1 z 2
(2k1)
2
2 .
(b) cot z =
1 X
2z
+
.
z k=1 z 2 (k)2
X
1
(1)k
(c) csch z = + 2z
.
z
z 2 + (k)2
k=1
178
X
(1)k (2k 1)
(d) sech z =
2 .
(2k1)
k=1 z 2 +
2
(e) tanh z = 2z
k=1 z 2
(2k1)
2
2 .
X
1
1
(f) coth z = + 2z
.
2
z
z + (k)2
k=1
1))
k=1
3. Mostre que
1
1 1
= lim 1 + + + + Log(n + 1) .
n
2 3
n
Y
1+
k=1
1
k
e k = lim
n
Y
1+
k=1
1
k
igualdade.
4. Mostre que se z
/ {0, 1, 2, . . .}, ento (z + 1) = z(z). Em particular, se z N,
ento
(n + 1) = n(n) = n!.
Sugesto: Escreva Pn (z) = ez z
Y
1+
k=1
z
z
1
e k e mostre que lim Pn (z) =
. Em seguida, desenvolva
n
k
(z)
X
Pn (z + 1)
1
1
1
e use os limtes lim 1 + + . . . +
=
= + e
n
Pn (z)
2
n
k
k=1
1
1
1
= lim 1 + + + + Log(n + 1) para concluir.
n
2
3
n
Finalmente, desenvolva
5. Mostre que
(z)(1 z) =
, z 6= k, k = 0, 1, 2, . . . .
sen(z)
n
nz
.
n + 1 z (1 z)(1 z/2)(1 z/3) (1 z/n)
Encontre tambm uma expresso semelhante para Gn (z). Da, mostre que
1
=
Gn (z)Gn (1 z)
n+1z
n
e conclua o exerccio.
179
z
n
Y
k=1
z2
k2
(1)k
.
k!
=2
.
6
3
9. Usando a representao integral da funo e uma substituio conveniente, mostre
que
t2
e dt =
.
2
0
10. Usando o teorema de Cauchy-Goursat e o exerccio anterior, mostre que
Z
Z
1p
2
cos(x )dx =
sen(x2 )dx =
/2.
2
0
0
180
Captulo 8
Transformaes Elementares
As propriedades de uma funo real de uma varivel real so muitas vezes expostas
pelo grfico da funo. Mas, quando w = f (z), onde z e w so variveis complexas,
tal representao grfica da funo no possvel pois cada um dos nmeros z e w est
localizado em um plano, e no numa reta. Pode-se, no entanto, apresentar algumas
informaes sobre a funo, indicando pares de pontos correspondentes z = (x, y) e
w = (u, v). Para fazer isso, mais simples de considerar os planos z e w separadamente.
Definio 8.1 (Transformao ou Mapeamento) Considere a funo complexa w =
f (z), onde z = (x, y) e w = (u, v) so considerados, respectivamente, nos planos z e w.
Quando pensamos em uma funo f dessa forma, nos referimos a ela como sendo um
mapeamento, ou uma transformao.
Definio 8.2 (Imagem) A imagem de um ponto z no domnio de definio S o
ponto w = f (z), e o conjunto de imagens de todos os pontos em um subconjunto T S
chamado a imagem de T . A imagem de todo o domnio de definio S chamado de
imagem de f.
Definio 8.3 (Imagem Inversa) A imagem inversa de um ponto w o conjunto de
todos os pontos z no domnio de definio de f que possuem w como sua imagem.
Obs. 8.1 A imagem inversa de um ponto pode conter apenas um ponto, muitos pontos,
ou mesmo nenhum. O ltimo caso ocorre, claro, quando w no est na imagem de f .
Termos como translao, rotao e reflexo so usados para falar de caractersticas
geomtricas de certos mapeamentos. Em tais casos, s vezes conveniente considerar os
planos z e w como sendo o mesmo.
Exemplo 8.1 (Translao) Por exemplo, a transformao
w = z + 1 = (x + 1) + iy,
onde z = x + iy, pode ser pensado como uma translao de cada ponto z uma unidade
para a direita.
181
(8.1)
do plano xy no plano uv. Esta forma de mapeamento especialmente til para encontrar
as imagens de certas hiprboles. fcil mostrar, por exemplo, que cada ramo de uma
hiprbole
x 2 y 2 = c1 , c 1 > 0
transformada de forma 1-1 em uma reta vertical u = c1 . Comeamos observando da
primeira das equaes de (8.1) que u = c1 quando (x, y) um ponto pertencente a qualquer
um dos dois ramos da hiprbole. Quando, em particular,
p(x, y) encontra-se no ramo da
direita, a segunda equao de (8.1) nos diz que v = 2y y 2 + c1 . Assim, a imagem do
ramo da direita pode ser expressado parametricamente como
p
u = c1 , v = 2y y 2 + c1 , < y < ;
e evidente que a imagem de um ponto (x, y) sobre esse ramo se move para cima ao longo
da reta inteira quando (x, y) traa o ramo na direo ascendente (Figura 1).
Figura 1.
182
(8.2)
Observe que
lim
u = e
x0
x>0
lim u = .
Desde que u depende continuamente de x, ento, claro que como (x, y) percorre todo
o ramo superior da hiprbole (8.1), sua imagem se move para a direita ao longo da reta
horizontal v = c2 . A imagem da parte inferior do ramo tem representao paramtrica
u=
c22
y 2 , v = c2 , < y < 0
4y 2
e desde que
lim u = e lim
u=
y0
y<0
segue-se que a imagem de um ponto se movendo para cima ao longo do ramo inferior
tambm se move para a direita ao longo da reta v = c2 (veja figura 1).
Exemplo 8.5 O domnio x > 0, y > 0, xy < 1 composto por todos os pontos situados
na ramos superiores das hiprboles da famlia 2xy = c, onde 0 < c < 2 (Figura 2).
Figura 2.
183
Uma vez que, para todos os valores de c entre 0 e 2, os ramos preenchem o domnio x > 0,
y > 0, xy < 1, este transformado na faixa horizontal 0 < v < 2.
Tendo em vista as equaes (8.1), a imagem de um ponto (0, y) no plano z (y 2 , 0).
Portanto, como (0, y) se desloca para baixo, em direio a origem ao longo do eixo y, sua
imagem se move, no plano w, para a direito ao longo do eixo u negativo e atinge a origem.
Ento, j que a imagem de um ponto (x, 0) (x2 , 0), essa imagem se move para a direita
da origem ao longo do eixo u j que (x, 0) se move para a direita da origem ao longo do
eixo x. A imagem do ramo superior da hiprbole xy = 1 a reta horizontal v = 2. Ento
a regio fechada x 0, y 0, xy 1 mapeada na faixa fechada 0 v 2, como
indicado na figura 2.
Exemplo 8.6 A transformao w = z 2 pode ser reescrita como
w = r2 ei2
onde z = rei . Ento se w = ei , temos ei = r2 ei2 , donde segue que
= r2 e = 2 + 2k,
onde k = 0, 1, 2, . . ..
Evidentemente, ento, a imagem de qualquer z no nulo encontrada elevando ao
quadrado o mdulo de z e duplicando o valor de arg z.
Observe que os pontos z = r0 ei num crculo r = r0 so transformados em pontos
w = r02 ei2 no crculo = r02 . Como um ponto no primeiro crculo se move para a
esquerda, a partir do eixo real positivo, em direo o eixo imaginrio positivo, a sua
imagem no segundo plano move o crculo no sentido anti-horrio a partir do eixo real
positivo para o eixo real negativo (veja Figura 3). Assim, como todos os possveis valores
positivos de r0 so escolhidos, os arcos correspondentes a z no plano w preenchem o
primeiro quadrante do plano e a metade superior, respectivamente. A transformao
w = z 2 , ento, um mapeamento 1-1 do primeiro quadrante r 0, 0 /2 no plano
z na metade superior p 0, O do plano w, como indicado na figura 3. O ponto
z = 0 , naturalmente, mapeado para o ponto w = 0.
Figura 3.
A transformao w = z 2 tambm mapeia o semi-plano superior r 0, 0 no
plano w inteiro. No entanto, neste caso, a transformao no 1-1 pois ambos os eixos
positivos e negativos reais no plano z so mapeados para o eixo real positivo no plano w.
Quando n um inteiro positivo maior do que 2, as propriedades de mapeamento das
diversas transformaes w = z n , ou ei = rn ein , so semelhantes as de w = z 2 . Tal
184
transformao mapeia o plano z inteiro no plano w inteiro, onde cada ponto diferente de
zero no plano w a imagem de n pontos distintos no plano z. O crculo r = r0 mapeado
no crculo = r0n ; e o setor r r0 , 0 2/n mapeado no disco r0n : mas no
de forma 1-1.
Exemplo 8.7 A transformao
w = ez
pode ser escrita como ei = ex eiy , onde z = x + iy e w = ei . Ento p = ex e
= y + 2n, onde n algum inteiro; tal transformao pode ser expressada na forma
= ex , = y.
A imagem de um ponto z = (c1 , y) em uma reta vertical x = c1 tem coordenadas
polares = exp c1 e = y no plano w. Essa imagem se move para a esquerda ao redor
do crculo mostrado na figura 4 quando z se move para cima na reta. A imagem da reta
evidentemente, todo o crculo, e cada ponto no crculo a imagem de um nmero infinito
de pontos, igualmente espaados por 2, ao longo da reta.
Figura 4.
Uma reta horizontal y = c2 mapeada de forma 1-1 no raio = c2 . Para isto,
notamos que a imagem de um ponto z = (x, c2 ) tem coordenadas polares p = ex e = c2 .
Evidentemente, ento, como esse ponto z se move ao longo de toda a reta da esquerda
para a direita, sua imagem se move para fora do raio = c2 , como indicado na figura 4.
Exemplo 8.8 Vamos mostrar que a transformao w = e : transforma a regio
retangular a x b, c x d na regio ea eb , c d. As duas regies e
as partes correspondentes de seus limites so indicados na figura 5. O segmento vertical
AD mapeado no arco = ea , c d, que denotado por A0 D0 . As imagens dos
segmentos verticais direita da AD juntamente com as partes limitadas horizontalmente
so arcos maiores; a imagem do segmento BC o arco = eb , c d, denotado
por B 0 C 0 . O mapeamento 1-1, se d c < 2. Em particular, se c = 0 e d = , ento
0 ; e a regio retangular mapeada na metade de um anel circular.
185
Figura 5.
Exemplo 8.9 Quando w = ez , a imagem da faixa infinita 0 y a metade superior
v 0 do plano w (Figura 6).
8.1
Exerccios
8.2
Transformaes Lineares
Definio 8.4 (Funo Complexa Linear) Definimos uma funo complexa linear
(ou transformao linear) como uma funo da forma
f (z) = Az + B,
onde A e B so constante complexas quaisquer.
186
(8.3)
(8.4)
onde B C uma constante complexa, uma translao por meio do vetor B, isto , se
w = u + iv, z = x + iy e B = b1 + ib2 ,
a imagem do ponto (x, y) no plano z o complexo
(u, v) = (x + b1 , y + b2 )
no plano w; assim, a imagem de uma regio congruente a regio.
Exemplo 8.12 (Expanso ou Contrao, Rotao e Translao) Finalmente,
consideramos a transformao linear
w = Az + B
(8.5)
Figura 1.
187
Temos
Z = (1 + i)z e w = Z + 2
e
Z(0) = 0, Z(A) = 1 + i, Z(1 + 2i) = 1 + 3i e Z(B) = 2 + 2i.
Desde que 1 + i = 2ei/4 , Z = (1 + i)z uma expanso pelo fator 2 e uma rotao
atravs do ngulo /4; a transformao w = Z + 2, por sua vez, uma translao de duas
unidades direita.
8.3
A transformao w = 1/z
(8.6)
1
e arg Z = arg z,
|z|
Figura 2.
Obs. 8.4 (Funo Recproca no Plano Estendido) Escrevendo (8.6) como
1
T (z) = , z 6= 0
z
188
lim T (z) = 0
(8.7)
z
com w = u + iv e z = x + iy. Temos
|z|2
u=
e desde que z =
x2
y
x
, v= 2
2
+y
x + y2
(8.8)
u2
v
u
, y= 2
.
2
+v
u + v2
(8.9)
1
w
=
, temos
w
|w|2
x=
(8.10)
(8.11)
y
c1
, 2
2
2
c1 + y c1 + y 2
.
Figura 3.
Para obter a orientao dos crculos na figura 3 analisamos o comportamento de u e
v quando y varia de a . Note que
lim u = lim
y c2
1
c1
=0
+ y2
lim u = lim
y0
190
y
positivo. Isto significa que ao variar y de at 0, o ponto (u, v) parte
+ y2
da origem pelo semicrculo superior no primeiro quadrante at o ponto (1/c1 , 0) oposto
origem. Com uma anlise similar obtemos a orientao quando y varia de 0 a + e,
portanto, justificamos a orientao vista, por exemplo, na figura 3.
com v =
c21
Figura 4.
8.4
az + b
, ad bc 6= 0,
cz + d
(8.12)
Obs. 8.5 A condio adbc 6= 0 necessria para que a transformao linear fracionria
seja conforme (veremos esta noo no prximo captulo) e biunvoca. Para ver que a
transformao w = T (z) em (8.12) biunvoca basta resolv-la para z, donde encontramos
z=
dw + b
, ad bc 6= 0.
cw a
(8.13)
(8.14)
w =
acz + bc
acz + ad + bc ad
a(cz + d) + (bc ad)
=
=
c(cz + d)
c(cz + d)
c(cz + d)
1
, ad bc 6= 0
(8.15)
cz + d
1
a bc ad
e w= +
W, ad bc 6= 0,
Z
c
c
az + b
, ad bc 6= 0,
cz + d
temos
T () = se c = 0
e
a
T () = , T
c
d
= se c 6= 0,
c
(8.16)
dw + b
, ad bc 6= 0,
cw a
a
c
= , T 1 () =
d
se c 6= 0.
c
az + b
, b(a c) 6= 0.
cz + b
a+b
a + b
ic ib = a + b e i =
ic + ib = a + b,
c + b
c+b
ou seja,
ic ib = a + b
c = ib.
ic + ib = a + b
193
ibz + b
b(iz + 1)
=
, b 6= 0.
ibz + b
b(iz + 1)
e obtemos a transformao
w=
iz + 1 i
iz
=
.
iz + 1 i
i+z
Exemplo 8.18 Encontre uma transformao linear fracionria que leva os pontos
z1 = 1, z2 = 0 e z3 = 1
nos pontos
w1 = i, w2 = e w3 = 1.
Considerando a transformao linear fracionria em (8.12) e sabendo que a imagem
de 0, obtemos b/d = d = 0. Ento,
w=
az + b
, bc 6= 0.
cz
a + b
a+b
ic = a + b e 1 =
c = a + b
c
c
ou seja,
i1
ic = a + b
b=
c.
c = a + b
2
(i + 1)z + (i 1)
.
2z
194
Obs. 8.7 Podemos estender este conceito para pontos do plano complexo estendido. Por
exemplo, a razo cruzada de, digamos, , z1 , z2 e z3 dada por
z z1 z2 z3
.
z z z3 z2 z1
lim
iz
.
i+z
w2
(w i)(w2 1)
(z 1)(0 + 1)
=
(w 1)(w2 i)
(z + 1)(0 1)
ou ainda,
lim
w2
(w i)(1 1/w2 ) w2
(z 1)(0 + 1)
=
(w 1)(1 i/w2 ) w2
(z + 1)(0 1)
isto ,
wi
(z 1)(0 + 1)
=
.
w1
(z + 1)(0 1)
Colocando w em funo de z, obtemos
w=
(i + 1)z + (i 1)
.
2z
195
8.5
Exerccios
196
197
Captulo 9
Transformaes Conformes
No captulo anterior vimos que a ao de uma transformao linear no constante sobre
pontos no plano complexo pode ser de rotao, expanso ou contrao ou translao.
Consequentemente, o ngulo entre quaisquer dois arcos que se cruzem no plano z
igual ao ngulo entre as imagens dos arcos no plano w sob uma transformao
linear. Transformaes complexas que tm esta propriedade de preservar ngulos so
denominadas transformaes conformes. Para tornar este conceito mais claro, vamos
definir ngulo entre curvas suaves.
Definio 9.1 (ngulo entre curvas suaves) Sejam C1 e C2 curvas suaves passando
por z0 com parametrizaes
z1 = z1 (t) e z2 = z2 (t), a t b
respectivamente, tais que z1 (t0 ) = z2 (t0 ) = z0 . Como C1 e C2 so suaves, temos
z10 = z10 (t0 ) e z20 = z20 (t0 ) no nulos. Definimos o ngulo entre C1 e C2 como o ngulo
[0, ] entre os vetores tangentes z10 e z20 (Figura 1).
Figura 1.
Obs. 9.1 (ngulo entre curvas como diferena de argumentos) Sendo C1 e C2
curvas suaves, z10 (t0 ) e z20 (t0 ) so no nulos. Da, arg(z10 ) e arg(z20 ) representam,
respectivamente, o ngulo entre o vetor posio z10 e z20 e o eixo x positivo. Pela Figura
2, constatamos que
= arg(z20 ) arg(z10 ) em [0, ].
198
Figura 2.
Obs. 9.2 (ngulo entre imagens de curvas por uma transformao)
Considerando uma transformao w = f (z), curvas suaves C1 e C2 no plano z que se
cruzam em z0 so mapeadas em curvas 1 e 2 que devem se cruzar em f (z0 ). Se 1
e 2 forem suaves, o ngulo entre 1 e 2 em f (z0 ) tambm definido como o ngulo
[0, ] entre os vetores w10 e w20 .
Obs. 9.3 (Amplitude e sentido do ngulo entre curvas) Dois ngulos e nos
planos z e w, respectivamente, so iguais em magnitude se = . Alm disso, se a
rotao no plano z tiver o mesmo sentido da rotao no plano w, dizemos que os ngulos
e so iguais em sentido.
Exemplo 9.1 Considere a transformao w = z.
Por exemplo, as curvas suaves C1 e C2 na figura 3(a) so dadas por
1
z1 (t) = t + (2t t2 )i e z2 (t) = t + (t2 + 1)i,
2
Figura 3(a).
onde t [0, 2]. Elas se intersectam em z0 = 1 + i. Os vetores tangentes a z0 so z10 (t) = 1
e z20 (1) = 1+i e o ngulo entre C1 e C2 em z0 = /4. Sob w = z as imagens de C1 e C2
so, respectivamente, as curvas C10 e C20 mostradas na figura 3(b). As paramentrizaes
das imagens so
1
w1 (t) = t (2t t2 )i e w2 (t) = t (t2 + 1)i,
2
199
Figura 3(b).
onde t [0, 2]; elas se intersectam em w0 = w(z0 ) = 1 i. Em w0 , os vetores tangentes
a C10 e C20 so w10 (1) = 1 e w20 (1) = 1 i; o ngulo entre C10 e C20 em w0 = /4.
Portanto, e so iguais em magnitude. No entanto, e no so iguais em sentido.
9.1
Transformao Conforme
Definio 9.2 Uma transformao w = f (z) dita conforme quando preserva ngulos
entre pares de curvas, tanto em magnitude como em sentido.
No prximo Teorema, mostraremos que qualquer funo complexa analtica conforme
em pontos onde a derivada no nula.
Teorema 9.1 Se w = f (z) for uma transformao analtica em um domnio D que
contm z0 e se f 0 (z0 ) 6= 0, ento w = f (z) uma transformao conforme em z0 . Se a
propriedade anterior vale para todo z D, onde D um domnio, diremos que w = f (z)
uma transformao conforme.
Demonstrao:
Sejam C1 e C2 duas curvas suaves em D representadas
parametricamente por
z1 = z1 (t) e z2 = z2 (t) a t b,
respectivamente, e seja f (z) uma funo analtica sobre C1 e C2 com f 0 (z0 ) 6= 0, onde
z0 = z1 (t0 ) = z2 (t0 ) o ponto de interseo das duas curvas. As equaes
w1 = f (z1 (t)) e w2 = f (z2 (t)) a t b
constituem representaes das imagens 1 de C1 e 2 de C2 por w = f (z); pela regra da
cadeia
w10 = w10 (t0 ) = f 0 (z1 (t0 )) z10 (t0 ) = f 0 (z0 ) z10 ,
w20 = w20 (t0 ) = f 0 (z2 (t0 )) z20 (t0 ) = f 0 (z0 ) z20 ,
200
(9.2)
Sendo = arg f 0 (z0 ) = arg f 0 (z1 (t0 )) = arg f 0 (z2 (t0 )), 1 o ngulo de inclinao da direo
da tangente C1 em z0 , ou seja, 1 = arg z10 (t0 ) e 2 o ngulo de inclinao da direo da
tangente C2 em z0 , ou seja, 2 = arg z20 (t0 ) reescrevemos (9.1) e (9.2) como
1 = + 1 ,
2 = + 2
com 1 = arg w10 (t0 ) sendo o ngulo de inclinao da direo da tangente 1 em
w0 = f (z0 ) e 2 = arg w20 (t0 ) sendo o ngulo de inclinao da direo da tangente
1 em w0 = f (z0 ). Ento
2 1 = 2 1 = ,
diz que o ngulo entre 1 e 2 tem mesma magnitude e sentido que o ngulo entre C1 e
C2 (veja figura 4).
Figura 4.
Figura 5.
201
Figura 6.
Teorema 9.2 (Dilatao de ngulo em um Ponto Crtico) Seja f uma funo
analtica no ponto crtico z0 . Se n > 1 for um inteiro tal que f 0 (z0 ) = f 00 (z0 ) = . . . =
f (n1) (z0 ) = 0 e f (n) (z0 ) 6= 0, o ngulo entre quaisquer duas curvas suaves que se cruzem
em z0 aumentado de um fator n por uma transformao w = f (z). Em particular,
w = f (z) no uma transformao conforme em z0 .
Demonstrao: Exerccio.
202
Figura 7.
Da equao anterior, segue que
dv
dv/dy
2
2
dv
=
= =
= 1 tan = 1.
du
du/dy
2y
v
du v=2
Consequentemente, o ngulo entre 1 e 2 em w = f (1 + i) = 2i /4. Este o ngulo
de rotao no ponto z = 1 + i quando w = z 2 e um valor de
arg[f 0 (1 + i)] = arg[2(1 + i)] = /4 + 2n.
O fator escalar no ponto 1 + i
9.2
Inversa Local
Teorema 9.3 Uma transformao w = f (z) que conforme num ponto z0 sempre
tem uma inversa local neste ponto. Isto , se w0 = f (z0 ), ento existe uma nica
transformao z = g(w), que definida e analtica numa vizinhana N de w0 tal que
g(w0 ) = z0 e f [g(w)] = w para todo w em N . Alm disso, a derivada de g(w)
g 0 (w) =
1
f 0 (z)
(9.3)
1
1
1
1
vy , xv = uy , yu = vx , yv = ux
J
J
J
J
na vizinhana N . Estas ltimas equaes podem ser utilizadas para mostrar que g
analtica em N (Exerccio). Por fim, utilizando a regra da cadeia em f [g(w)] = w
conclumos que
1
g 0 (w) = 0 .
f (z)
204
1
1
d
log w = = z .
dw
w
e
9.3
Exerccios
ponto 2 5.
4) Qual ngulo de rotao produzido pela transformao w = 1/z nos pontos
(a) z0 = 1
(b) z0 = i?
(Resp. (a) ; (b) 0.
5) Mostre que na transformao w = 1/z, as imagens das retas y = x 1 e y = 0
so o crculo u2 + v 2 u v = 0 e a reta v = 0, respectivamente. Esboce todas as
quatro curvas, determine as direes correspondentes no ponto de interseo delas,
e verifique a conformalidade no ponto de interseo, que neste caso z0 = 1.
205
inversa
9.4
+ n
2
(n = 0, 1, 2, . . .).
local da transformao
(b) z0 = 2
w
=
z2
(c) z0 = i
nos
pontos.
Teorema 9.4 Seja u(x, y) uma funo harmnica definida num domnio simplesmente
conexo D. Ento u(x, y) sempre possui um conjugado harmnico v(x, y) definido em D.
Demonstrao: Para demonstrar este resultado vamos relembrar alguns conceitos do
Clculo Avanado. Sejam P (x, y) e Q(x, y) com derivadas parciais de primeira ordem
contnuas num domnio simplesmente conexo D do plano xy e considere (x0 , y0 ) e (x, y)
pontos quaisquer em D. Se Py = Qx em D, ento a intetral de linha
Z
P (s, t)ds + Q(s, t)dt
C
(x,y)
F (x, y) =
(x,y)
v(x, y) =
(x0 ,y0 )
206
sds + tdt
=
(0,0)
o conjugado harmnico de u(x, y). Para calcular esta integral lembremos da frmula
Z
Z b
P (x, y)dx + Q(x, y)dy =
[P (x(t), y(t))x0 (t) + Q(x(t), y(t))y 0 (t)] dt
C
onde C uma curva no plano xy com parametrizao C :
x = x(t)
, t [a, b].
y = y(t)
Neste caso, vamos integrar de (0, 0) a (x, 0) e em seguida de (x, 0) a (x, y) atravs de
segmentos. Seja
s=
C1 :
, [0, x]
t=0
o segmento ligando os pontos (0, 0) a (x, 0). Temos
Z (x,0)
Z x
sds + tdt =
( 1 + 0 0)d
(0,0)
( )d =
=
0
x2
.
2
Agora, seja
C2 :
s=x
, [0, y]
t=
Z
=
0
207
y2
d = .
2
Portanto,
(x,y)
sds + tdt
v(x, y) =
(0,0)
(x,0)
(x,y)
sds + tdt
sds + tdt +
(x,0)
(0,0)
2
v(x, y) =
x
y2
+
2
2
(9.4)
208
9.5
As condies de que uma funo ou a sua derivada normal tenham certos valores
na fronteira de um domnio na qual ela harmnica so as mais comuns (embora no
as nicas) e importantes tipos de condies de contorno. Nesta seo, vamos mostrar
que algumas destas condies permanecem as mesmas quando alteraes so feitas nas
variveis associadas com uma transformao conforme. Estes resultados sero utilizados
para resolver problemas de valores de contorno. A tcnica bsica transformar um
determinado problema de valor de contorno no plano xy em um mais simples no plano
uv e, em seguida, usar os teoremas desta seo e da anteior para escrever a soluo do
problema original em termos da soluo obtida no problema mais simples.
Teorema 9.6 Suponha que uma transformao
w = f (z) = u(x, y) + iv(x, y)
conforme num arco suave C e seja a imagem de C pela transformao. Se uma funo
h(u, v) satisfaz
dh
=0
h = h0 ou
dn
ao longo de , onde h0 uma constante real e dh/dn denota a derivada normal em ,
ento a funo
H(x, y) = h[u(x, y), v(x, y)]
209
dH
=0
dN
Figura 7.
Pelo Teorema anterior, a funo
H(x, y) = x2 y 2 + 2
deve satisfazer a condio H = 2 ao longo da semi-reta y = x (x > 0) e Hy = 0 ao longo
do eixo x positivo, como podemos verificar diretamente.
9.6
Potencial Eletrosttico
Figura 8.
Definio 9.11 (Potencial Complexo) Quando cada linha de fora intersecta uma
curva equipotencial num ponto onde a derivada da funo analtica V (x, y) + iU (x, y)
no zero, as duas curvas so ortogonais e a intensidade do campo tangente a linha de
fora no ponto de interseo. A funo complexa
(z) = V (x, y) + iU (x, y)
denominada potencial complexo correspondente ao potencial real V .
211
Figura 10.
O potencial eletrosttico V uma soluo da equao de Laplace (9.5) em D que satisfaz
as condies de contorno
V (x, y) = 10 em x2 + y 2 = 1,
V (x, y) = 20
2
1
1
+ y2 = .
em
x
2
4
zi
.
z1
T (x + iy) = (1 i)
213
ou seja, v(x, y) =
1 x2 y 2
. Portanto,
(x 1)2 + y 2
V (x, y) = 30
1 x2 y 2
10
(x 1)2 + y 2
zi
analtica em D, a funo 30iT (z) 10 tambm analtica
z1
(z) = 30i(1 i)
zi
10
z1
uma funo potencial complexo para V (x, y). Como V representa o potencial
eletrosttico, as curvas de nvel para as partes real e imaginria de representam curvas
equipotenciais e linhas de fora, respectivamente. A figura 11 mostra um grfico com as
curvas equipotenciais e as linhas de fora no domnio D do exemplo anterior.
Figura 11.
9.7
Um longo cilindro circular oco feito de uma folha fina de material condutor, e est
dividido longitudinalmente para formar duas partes iguais. Essas partes so separadas
por tiras finas de material de isolamento e so usados como eletrdos, um dos quais est
fixado onde o potencial zero e o outro mantido num potencial fixo diferente. Tomamos
os eixos coordenados e as unidades de comprimento e os diferentes potenciais conforme
o lado esquerdo da figura 9. Ento, interpretamos o potencial eletrosttico V (x, y) sobre
qualquer seo cruzada do espao fechado que est distante das extremidades do cilindro
como uma funo harmnica dentro do crculo x2 + y 2 = 1 no plano xy. Note que V = 0
na metade superior do crculo e que V = 1 na metade inferior.
214
Figura 9.
Uma transformao linear fracionria que transforma o semi-plano superior no interior
do crculo unitrio centrado na origem, o eixo real positivo na metade superior do crculo
e o eixo real negativo na metade inferior do crculo pode ser determinada com alguns
clculos ou identificada na tabela de transformaes elementares do apndice. Neste caso
a transformao
iw
(9.6)
z=
i+w
que nos d um novo problema para V no semi-plano superior, indicado no lado direito da
figura 8.
Agora, a componente imaginria de
1
i
1
Log w = ln + , > 0, 0
(9.7)
u
onde os valores da funo arcotangente variam de 0 a . Escolhemos esta funo V da
funo
i
i
Log w = ln + , > 0, 0 .
1z
,
1+z
(9.9)
2y
A funo (9.10) a funo potencial para o espao fechado pelo eletrdo cilndrico desde
que ela seja harmnica dentro do crculo e assuma os valores desejados nos semicrculos.
Se desejarmos verificar esta soluo, devemos notar que
lim
arctan t = 0 e lim
arctan t = .
t0
t0
t>0
t<0
215
1 + z
Por esta equao, podemos ver que as linhas de fluxo U (x, y) = c2 so arcos de crculo
com centros no eixo x. O segmento do eixo y entre os eletrdos tambm uma linha de
fluxo.
216
Apndice A
Tabela de Transformaes Elementares
Figura 1: w = z 2 .
Figura 2: w = z 2 .
217
Figura 4: w = 1/z.
218
Figura 5: w = 1/z.
Figura 6: w = ez .
Figura 7: w = ez .
219
Figura 8: w = ez .
Figura 9: w = sen z.
220
Figura 12: w =
221
z1
.
z+1
u2
v2
+
= 1.
cosh2 b sinh2 b
Figura 13: w =
Figura 14 : w = (1 i)
iz
.
i+z
zi
a
; D0 E 0 F 0 reta v =
, 0 < a < 1.
z1
1a
p
1 + x1 x2 + (1 x21 )(1 x22 )
za
Figura 15: w =
;a=
;
az 1
x1 + x2
p
1 x1 x2 + (1 x21 )(1 x22 )
R0 =
(a > 1 e R0 > 1 quando 1 < x2 < x1 < 1.
x1 x2
222
p
1 + x1 x2 + (x21 1)(x22 1)
za
Figura 16: w =
;a=
;
az 1
x1 + x2
p
x1 x2 1 (x21 1)(x22 1)
R0 =
(x2 < a < x1 0 < R0 < 1 quando 1 < x2 < x1 .
x1 x 2
1
Figura 17: w = z + .
z
1
Figura 18: w = z + .
z
223
1
u2
v2
Figura 19: w = z + ; B 0 C 0 D0 elipse
+
= 1.
z
(b + 1/b)2 (b 1/b)2
z1
w
; w = coth .
z+1
2
z1
; ABC crculo x2 + (y + cot h)2 = csc2 h, 0 < h < .
z+1
z1
; centro dos crculos com z = coth cn , raio: csch cn (n = 1, 2).
z+1
224
Figura 23: w = h ln
h
+ ln 2(1 h) + i h Log(z + 1) (1 h) Log(z 1);
1h
x1 = 2h 1.
z 2 1 cos z
.
Figura 24: w = tan
=
2
1 + cos z
225
z
ez + 1
= z
.
2
e 1
z
Figura 26: w = Log cot .
2
226
(z + 1)1/2 1
.
(z + 1)1/2 + 1
i
1 + iht
1+t
Figura 29: w = Log
+ Log
;t=
h
1 iht
1t
Figura 30: w =
z1
z + h2
2
.
h 2
[(z 1)1/2 + cosh1 z].
2z h 1
h1
227
1
1 (h + 1)z 2h
cosh
.
(h 1)z
h
Referncias Bibliogrficas
[1] L. V. Ahlfors, Complex Analysis, Edt. McGraw-Hill Book Company, International
Student Edition, 1966.
[2] J. W. Brown, R. V. Churchill, Complex Variables and Applications, McGraw-Hill
Higher Education, Eighth Edition, 2009.
[3] J. B. Conway, Functions of One Complex Variable I, Second Edition, Springer-Verlag,
1978.
[4] H. Hochstadt, The functions of mathematical physics, Edt. Dover Publications - Inc,
1986.
[5] L. A. Medeiros, Introduo s Funes Complexas, Edt. McGraw-Hill, 1972.
[6] A. L. Neto, Funes de uma Varivel Complexa, Projeto Euclides, IMPA, 1993.
[7] M. R. Spiegel, Variveis Complexas, Coleo Schaum, Edt. McGraw-Hill, 1976.
[8] D. G. Zill, P. D. Shanahan Curso Introdutrio Anlise Complexa com Aplicaes,
LTC, Segunda Edio, 2009.
228