Escolar Documentos
Profissional Documentos
Cultura Documentos
Variveis Complexas
1 Nmeros Complexos 5
1.1 Somas e produtos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Propriedades algbricas bsicas . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Mdulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Conjugado Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Forma exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Produtos e quocientes na forma exponencial . . . . . . . . . . . . . . . . . . 15
1.7 Razes de nmeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.8 Regies no plano complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Funes Analticas 23
2.1 Funes de uma varivel complexa . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Transformaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4 Limites envolvendo infinito . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.5 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.6 Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.7 Frmulas de diferenciao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.8 Equaes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.9 Coordenadas polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.10 Funes analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.11 Funes harmnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3 Funes Elementares 52
3.1 A funo exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.2 A funo logartmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.3 Ramos e derivadas de logaritmos . . . . . . . . . . . . . . . . . . . . . . . . 55
3.4 Algumas identidades envolvendo logartmos . . . . . . . . . . . . . . . . . . 55
3.5 Expoentes complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2
3.6 Funes trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.7 Funes hiperblicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.8 Funes trigonomtrica e hiperblica inversas . . . . . . . . . . . . . . . . . 55
4 Integrais 56
4.1 Derivadas de funes w(t) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.2 Integrais definidas de funes w(t) . . . . . . . . . . . . . . . . . . . . . . . . 57
4.3 Caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.4 Integrais Curvilneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.5 Limitao superior para o mdulo de integrais . . . . . . . . . . . . . . . . . 66
4.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.7 Antiderivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.8 O Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4.9 Domnios simplesmente e multiplamente conexos . . . . . . . . . . . . . . . 75
4.10 Frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.11 Derivadas de funes analticas . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.12 Aplicaes da Frmula Integral de Cauchy . . . . . . . . . . . . . . . . . . . 80
4.13 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
5 Sries 86
5.1 Convergncia de seqncias . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.2 Convergncia de sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.3 Convergncia absoluta e condicional . . . . . . . . . . . . . . . . . . . . . . 88
5.4 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.5 Sries de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5.7 Sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
5.8 Convergncia absoluta e uniforme . . . . . . . . . . . . . . . . . . . . . . . . 99
5.9 Continuidade da soma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
5.10 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
5.11 Integrao e diferenciao de sries . . . . . . . . . . . . . . . . . . . . . . . 102
5.12 Unicidade da representao de sries . . . . . . . . . . . . . . . . . . . . . . 105
5.13 Multiplicao e diviso de sries . . . . . . . . . . . . . . . . . . . . . . . . . 106
5.14 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
3
6 Resduos e Polos 111
6.1 Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
6.2 Teorema dos Resduos de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 114
6.3 Tipos de pontos singulares isolados . . . . . . . . . . . . . . . . . . . . . . . 116
6.4 Resduos em polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
6.5 Zeros de funes analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
6.6 Zeros e Polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
6.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
6.8 Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
6.8.1 Integrais reais imprprias . . . . . . . . . . . . . . . . . . . . . . . . 128
6.8.2 Integrais imprprias envolvendo funes trigonomtricas . . . . . . 132
6.8.3 Integrais definidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
6.8.4 A Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . . 135
Nmeros Complexos
Quando os nmeros reais x so representados pelo pelo par (x, 0) no eixo real, torna-se
evidente que o conjunto dos nmeros complexos, denotado por C, incluem os nmeros reais
como subconjunto. Nmeros complexos da forma (0, y) correspondem a pontos no eixo y e
so chamados nmeros imaginrios puros. O eixo y chamado eixo imaginrio.
Utilizaremos a seguinte notao para nmeros complexos:
z = (x, y), x, y R. (1.1)
5
Qualquer z = (x, y) pode ser escrito como z = (x, 0) + y
(0, y) e, fcil ver, que (0, 1)(y, 0) = (0, y). Ento
z = (x,y)
z = (x, 0) + (0, 1)(y, 0)
i = (0,1)
e, se escrevemos (x, 0) como x e denotamos (0, 1) por i (veja
Figura 1), temos a seguinte definio: x
O x = (x,0)
Definio 1.4 (Nmero complexo com a unidade imaginria) Figura 1.
Um nmero complexo qualquer nmero da forma
z = x + iy. (1.5)
ou
i2 = 1. (1.6)
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. Leis comutativas: z1 + z2 = z2 + z1 , z1 z2 = z2 z1 ;
z+0=z e z1=z
6
Definio 1.6 (Inverso aditivo) O inverso aditivo do complexo z = (x, y) o nmero
z = (x, y), ou seja, satisfaz a equao
z + (z) = 0.
O inverso aditivo pode ser escrito como z = x iy, pois (iy) = (i)y = i(y)
(Verifique!) e utilizado para definir a subtrao
z1 z2 = z1 + (z2 ).
Para qualquer nmero complexo no nulo z = (x, y), existe um nmero z 1 tal que
1
zz = 1 chamado de inverso multiplicativo. Para encontr-lo, consideramos dois nmeros
reais u e v tais que
(x, y)(u, v) = (1, 0).
7
Definio 1.8 (Diviso) A diviso de nmeros complexos definida da seguinte forma:
z1
= z1 z21 , z2 = 0. (1.10)
z2
ou seja,
z1 x1 x2 + y1 y2 y1 x2 x1 y2
= 2 2
+i 2 , z2 = 0.
z2 x2 + y2 x2 + y22
1
= z21 , z2 = 0,
z2
que a equao (1.10) com z1 = 1. Esta ltima identidade pode, por exemplo, ser utilizada
para escrever a equao (1.10) na forma
( )
z1 1
= z1 , z2 = 0.
z2 z2
e ( )( )
z1 z2 z1 z2
= , z3 , z4 = 0.
z3 z4 z3 z4
8
Finalmente, observamos que a frmula binomial envolvendo nmeros reais contnua
valendo para nmeros complexos. Isto , se z1 e z2 so dois nmeros complexos,
n (
)
n n
(z1 + z2 ) = z1nk z2k , n = 1, 2, . . .
k
k=0
onde ( )
n n!
= , k = 0, 1, 2, . . . , n
k k!(n k)!
com a convenso de que 0! = 1. A prova por induo matemtica e fica a cargo do leitor.
1.3 Mdulo
natural associar qualquer nmero complexo no nulo, z = x + iy, com um vetor
partindo da origem at o ponto (x, y) que o representa no plano complexo. Na verdade,
nos referimos a z como o ponto z ou vetor z. Na figura 2 os nmeros z = x + iy e 2 + i
esto representados geometricamente como pontos e vetores.
y
(x,y)
(-2,1)
1 iy
-2
+ i x+
x
-2 0
Figura 2.
y y
(x2, y2)
|z1 -
z2 z2 |
z2 z2 z2
+ (x1, y1)
z 1
z1
x
z1 0
z1 -
x z
0 2
Figura 3 Figura 4
9
Definio 1.9 (Mdulo) O mdulo, ou valor absoluto, de um nmero complexo z = x + iy
definido como o nmero real no negativo x 2 + y2 e denotado por |z|; isto ,
|z| = x 2 + y2 . (1.12)
z1 z2 = (x1 x2 ) + i(y1 y2 )
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.
Ento
Re z | Re z| |z| e Im z | Im z| |z|. (1.14)
Voltamo-nos agora para a desigualdade triangular, que fornece um limite superior para
o mdulo da soma de dois nmeros complexos zl e z2 :
10
dos outros dois lados. Tambm podemos ver na Figura 3 que a desigualdade (1.15) na
verdade uma igualdade quando 0, zl e z2 so colineares.
Uma conseqncia imediata da desigualdade triangular o fato de que
|z1 + z2 | ||z1 | |z2 || . (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, . . . .
11
O conjugado complexo representado pelo ponto (x, y), y
que a reflexo em torno do eixo real do ponto (x, y)
representado na figura 5. Note que (x, y)
z
z = z e |z| = |z| x
0
para todo z. z (x,-y)
Se z1 = x1 + iy1 e z2 = x2 + iy2 , ento Figura 5.
z1 + z2 = (x1 + x2 ) i(y1 + y2 ) = (x1 iy1 ) + (x2 iy2 ).
12
Exemplo 1.6 A propriedade (1.19) nos diz que |z 2 | = |z|2 e |z 3 | = |z|3 . Ento se z um
ponto dentro do crculo centrado na origem com raio 2, |z| < 2, segue da forma generalizada
da desigualdade triangular
Deve ser enfatizado que, devido restrio < < do argumento principal, no
verdade que Arg(1 i) = 5/4. De acordo com a equao (1.22),
3
arg(1 i) = + 2n, n = 0, 1, 2, . . . .
4
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,
5
arg(1 i) = + 2n, n = 0, 1, 2, . . . .
4
13
O smbolo ei , ou exp(i), definida por meio da frmula de Euler como
Definio 1.13 (Forma exponencial) A frmula de Euler nos permite escrever a forma
polar (1.21) de maneira mais compacta na forma exponencial:
z = rei . (1.24)
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.
varia de = 0 a 0 = 2. z q
z0
0 x
Figura 8.
14
1.6 Produtos e quocientes na forma exponencial
Da trigonometria decorre uma das propriedades da funo exponencial do clculo:
Alm disso,
z1 r1 ei1 ei2 r1 ei(1 2 ) r1
= i i = i
= ei(1 2 ) . (1.26)
z2 r2 e e2 2 r2 e r2
Como 1 = 1ei0 , segue da expresso anterior que o inverso de um nmero complexo qualquer
no nulo z = rei
1 1
z 1 = = ei .
z r
A expresso (1.25) nos fornece uma identidade importante envolvendo argumentos:
arg z2 = 2 + 2(n n1 )
15
Exemplo 1.9 Quando z1 = 1 e z2 = i,
3
Arg(z1 z2 ) = Arg(i) = mas Arg z1 + Arg z2 = + = .
2 2 2
3
Arg(z1 z2 ) + 2 = + 2 =
2 2
2
z= ,
1 + 3i
observamos que
arg z = arg(2) arg(1 + 3i).
Desde que
Arg(2) = e Arg(1 + 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 = r n 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. Pela produto entre
nmeros complexos no nulos na forma exponencial, a afirmao torna-se verdadeira para
n = m + 1:
z m+1 = zz m = rei r m eim = r m+1 ei(m+1) .
16
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
n 1 i() 1 im() 1
z e = e = ei(n)() = r n ein , n = 1, 2, . . . .
r r r
(ei )n = ein , n = 0, 1, 2, . . . .
17
n assume os valores n = 2, 3, . . .. Uma raz n-sima de z0 um nmero no-nulo z = rei
tal que z n = z0 , ou
r n ein = r0 ei0 .
Logo,
r n = r0 e n = 0 + 2k,
onde k um inteiro qualquer (k = 0, 1, 2, . . .). Assim, r = n
r0 , onde este radical
denota a nica raz n-sima positiva do nmero real r0 ,
0 + 2k 0 2k
= = + , k = 0, 1, 2, . . . .
n n n
Consequentemente, os nmeros complexos
[ ( )]
0 2k
z = n r0 exp i + , k = 0, 1, 2, . . .
n n
so as razes n-simas de z0 . Notamos que todas estas
razes esto sobre o crculo |z| = n r0 centrado na origem e y
esto, cada uma, igualmente espaadas por 2/n radianos, c k - 1
e formalmente aplicar as leis dos expoentes fracionrios envolvendo nmeros reais, tendo
em mente que existem precisamente n razes:
[ ]
1/n
[ i( +2k) ]1/n i(0 + 2k)
z0 = r0 e 0
= r0 exp
n
n
[ ( )]
0 2k
= n r0 exp i + , k = 0, 1, 2, . . . , n 1.
n n
18
Exemplo 1.12 A fim de determinar as razes n-simas da unidade, escrevemos
e encontramos
[ ( )] ( )
1/n
n 0 2k 2k
1 = 1 exp i + = exp i , k = 0, 1, 2, . . . , n 1. (1.32)
n n n
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).
Se escrevemos ( )
2
n = exp i
n
ento ( )
2k
nk = exp i , k = 0, 1, 2, . . . , n 1.
n
1, n , n2 , . . . , nn1 .
4 62 6
3
42 63
1 1 1
32 64 65
43
Figura 12.
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.
19
Primeiro precisamos escrever y c
1
[ ( )]
8i = 8 exp i + 2k , k = 0, 1, 2, . . .
2
e as identidades trigonomtricas
( ) 1 + cos ( ) 1 cos Figura 14.
cos2 = , sen2 =
2 2 2 2
20
Consequentemente,
( )
2 + 3 2 3 1
c0 = 2 +i = 2+ 3+i 2 3 .
4 4 2
Desde que c1 = c0 , as duas razes quadradas de 3 + i, so
( )
1
2+ 3+i 2 3 .
2
|z z0 | < (1.33)
0 x
de um determinado ponto z0 o conjunto formado
Figura 15.
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 | <
Definio 1.15 (Disco e anel) O conjunto dos pontos z que satisfazem a desigualdade
|z z0 |
21
O conjuntos de todos os pontos de fronteira de S chamado fronteira de S. O crculo
|z| = 1, por exemplo, a fronteira dos conjuntos
Definio 1.18 (Conjunto conexo) Um conjunto aberto S conexo se cada par de pontos
z1 e z2 podem ser unidos por uma linha poligonal, composta por um nmero finito de
segmentos de reta, inteiramente contida S.
22
Captulo 2
Funes Analticas
Deve ser enfatizado que tanto um domnio de definio quanto uma regra so
necessrios para que uma funo seja definida. Quando o domnio de definio no
mencionado, convencionamos que tal domnio todo o conjunto dos nmeros complexos.
Exemplo 2.1 Se f definida sobre o conjunto z = 0 por meio da equao w = 1/z, ela
pode ser referida apenas como a funo w = 1/z, ou simplesmente a funo 1/z.
u + iv = f(x + iy).
Cada um dos nmeros reais u e v dependem das variveis reais x e y, donde podemos
escrever
f(z) = u(x, y) + iv(x, y). (2.1)
u + iv = f(rei ),
23
Da,
u(x, y) = x 2 y2 e v(x, y) = 2xy.
Consequentemente,
u(r, ) = r 2 cos 2 e v(r, ) = r 2 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 = x 2 + y2 + i0.
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) = 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.
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
a funo fica bem definida sobre o conjunto de nmeros complexos tais que z = 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.
24
2.2 Transformaes
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.
Quando pensamos em uma funo f dessa forma, nos referimos a ela como sendo um
mapeamento, ou uma transformao. 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. 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. 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. 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. Desde que i = ei/2 , o mapeamento
[ ( )]
w = iz = r exp i + ,
2
onde z = rei , gira o vetor z no nulo atravs de um ngulo reto sobre a origem no sentido
anti-horrio, e o mapeamento
w = z = x iy
u = x 2 y2 , v = 2xy (2.3)
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 = c 1 , c1 > 0
25
ramo da direita, a segunda equao de (2.3) nos diz que v = 2y y2 + c1 . Assim, a imagem
do ramo da direita pode ser expressado parametricamente como
u = c1 , v = 2y y2 + 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 17).
y v
u = c1 > 0
2
w=z
v = c2 > 0
0 x 0 u
Figura 1.
Observe que
lim
x
u = e lim u = .
x>0
x
Desde que u depende continuamente de x, ento, claro que como (x, y) percorre todo
o ramo superior da hiprbole (2.3), sua imagem se move para a direita ao longo da reta
horizontal v = c2 . A imagem da parte inferior do ramo tem representao paramtrica
c22
u = 2 y2 , v = c2 , < y < 0
4y
26
e desde que
lim u = e y
lim u =
y
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 2.6 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).
y
v
A D D E
2i
2
E w=z
B C x A B C u
Figura 2.
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 (2.3), a imagem de um ponto (0, y) no plano z (y2 , 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) (x 2 , 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 mapeado na faixa fechada 0 v 2, como
indicado na figura 2.
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 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.
27
y v
2
w=z
0 r0 x 0 r02 u
Figura 3.
= ex , = y.
y v
x = c1
w = exp z
y = c2
c2
0 x 0 exp c1 u
Figura 4.
28
Exemplo 2.9 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 A D . 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 C . 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.
y v C
d D C
D
w = exp z B
c f=d
A B A
f=c
0 a b x 0 u
Figura 5.
y v
pi
w = exp z
ci
f=c
0 x 0 u
Figura 6.
2.3 Limites
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
significa que o ponto w = f(z) pode ser feito arbitrariamente prximo de w0 se escolhermos
z suficientemente prximo de z0 , mas diferente desse ponto. Vamos agora expressar a
definio de limite de forma mais precisa.
A afirmao em (2.5) significa que, para cada > 0, existe um nmero > 0 tal que
29
Geometricamente, essa definio diz que, para v
cada vizinhana |w w0 | < de wo, existe y
uma vizinhana excluda 0 < |z z0 | < de z0 w e
de tal forma que cada ponto z pertencente a ela w0
possui uma imagem w pertencente a vizinhana d
(Figura 7). Note que, apesar de todos os pontos z0 z
na vizinhana excluda 0 < |z z0 | < serem 0 x 0 u
considerados, suas imagens no precisam no
Figura 7.
estar em sua totalidade contidos na vizinhana
|w w0 | < . Se f tem o valor constanteo w0 , por exemplo, a imagem de z sempre o
centro dessa vizinhana. Note, tambm, que uma vez que foi encontrado, ele pode ser
substitudo por qualquer nmero menor positivos, como o /2.
fcil mostrar que quando o limite de uma funo f(z) existe em um ponto z0 este
limite nico. Para provar isto, supomos que
Ento, para qualquer nmero positivo , existem nmeros positivos e 1 tais que
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
A definio (2.6) 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.6) precisa ser satisfeita pelos pontos z que se encontram em ambas
as regies e na vizinhana excluda.
Exemplo 2.11 Vamos mostrar que se f(z) = iz/2 num disco aberto |z| < 1, ento
i
lim f(z) = ,
z1 2
30
Ento, para qualquer z e qualquer nmero positivo (veja figura 8),
i
f(z) < sempre que 0 < |z 1| < 2.
2
v
y
e
i/2
z 2e
d=
0 1 x 0 u
Figura 8.
Portanto, a condio (2.6) satisfeita pelos pontos na regio |z| < 1, quando igual a
2 ou qualquer nmero positivo menor.
z
Exemplo 2.12 Se f(z) = o limite lim f(z) no existe.
z z
x + i0
f(z) = = 1;
x i0
(0,0) z = (x,0) x
e quando z = (0, y) um ponto no nulo no eixo
imaginrio, Figura 9.
0 + iy
f(z) = = 1.
0 iy
Assim, fazendo z se aproximar da origem ao longo do eixo real, poderamos encontrar o
limite 1. Por outro lado, uma aproximao ao longo do eixo imaginrio nos fornece o limite
1. Como o limite nico, conclumos que o mesmo no existe.
Ento
lim f(z) = w0 (2.7)
zz0
se, e somente se
31
Demonstrao: () Os limites em (2.8) nos dizem que, para cada > 0, existem 1 > 0
e 2 > 0 tais que
|u u0 | < sempre que 0 < (x x0 )2 + (y y0 )2 < 1
2
e
|v v0 | < sempre que 0 < (x x0 )2 + (y y0 )2 < 2 .
2
Seja = min{1 , 2 }. Desde que
e
(x x0 )2 + (y y0 )2 = |(x x0 ) + i(y y0 )| = |(x + iy) (x0 + iy0 )|,
obtemos
|(u + iv) (u0 + iv0 )| < + =
2 2
sempre que
0 < |(x + iy) (x0 + iy0 )| < .
sempre que
0 < |(x + iy) (x0 + iy0 )| < . (2.10)
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 )| = (x x0 )2 + (y y0 )2 .
|u u0 | < e |v v0 | <
sempre que
0< (x x0 )2 + (y y0 )2 < ,
32
Teorema 2.2 Suponha que
Ento
lim [f(z) + F (z)] = w0 + W0 ,
zz0
e, se W0 = 0,
f(z) w0
lim = .
zz0 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.
lim c = c e lim z = z0 ,
zz0 zz0
lim z n = z0n , n = 1, 2, . . . .
zz0
P(z) = a0 + a1 z + a2 z 2 + + an z n
33
a superfcie da esfera. O ponto P determinado pela interseo da reta ligando z ao polo
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.
e ( )
1
lim f(z) = w0 se, e somente se lim f = w0 . (2.12)
z z0 z
Alm disso,
1
lim f(z) = se, e somente se lim = 0. (2.13)
z z0 f(1/z)
Demonstrao: Inicialmente observe que (2.11) 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
f(z) 0 < sempre que 0 < |z z0 | < ,
34
Finalmente, o primeiro dos limites em (2.13) significa que, para todo > 0, existe um
> 0 tal que
1 1
|f(z)| > sempre que |z| > .
Trocando z por 1/z, obtemos
1
0 < sempre que 0 < |z 0| < ;
f(1/z)
iz + 3 z+1
lim = desde que lim =0
z1 z+1 z1 iz + 3
e
2z + i (2/z) + i 2 + iz
lim = 2 desde que lim = lim = 2.
z z + 1 z0 (1/z) + 1 z0 1 + z
Alm disso,
2z 3 1 (1/z 2 ) + 1 z + z3
lim = desde que lim = lim = 0.
z z 2 + 1 z0 (2/z 3 ) 1 z0 2 z 3
2.5 Continuidade
Definio 2.3 Uma funo f contnua em um ponto z0 se todas as trs seguintes
condies so satisfeitas:
2. f(z0 ) existe
Observe que a terceira condio diz que para todo > 0, existe um > 0 tal que
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.
35
Demonstrao: Seja w = f(z) definida na vizinhana |z z0 | < de z0 e considere a
funo W = g(w), cujo domnio contm a imagem da vizinhana mensionada por f. A
composio W = g[f(z)] fica definida para todo z na vizinhana |z z0 | < . Suponha que
f contnua em z0 e que g contnua no ponto g(z0 ) no plano w. Como g contnua em
f(z0 ), para todo > 0, existe > 0 tal que
|g[f(z)] g[f(z0 )]| < sempre que |f(z) f(z0 )| < .
v V
y
g[f(z)]
f(z)
g e
d f(z0)
z0 z g[f(z0)]
0 x 0 u 0 U
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 z0 = 0, ento f(z) = 0 ao longo
de alguma vizinhana deste ponto.
est relacionada com a continuidade de duas componentes u(x, y) e v(x, y). Note que, a
funo f(z) contnua no ponto z0 = (x0 , y0 ) se, e somente se suas funes componentes
so contnuas neste ponto.
Por fim, suponha que f(z) contnua numa regio R que fechada e limitada. A funo
[u(x, y)]2 + [v(x, y)]2
contnua em R e ento atinge um valor mximo em algum ponto nessa regio. Isto , f
limitada em R e |f(z)| possui um valor mximo em R. Mais precisamente, existe M > 0
tal que
|f(z)| M, para todo z R.
36
2.6 Derivada
Definio 2.4 Seja f uma funo cujo domnio contm uma vizinhana do ponto z0 . A
derivada de f em z0 , escrita f (z0 ), definida pela equao
f(z) f(z0 )
f (z0 ) = lim , (2.14)
zz0 z z0
desde que este limite exista. A funo f dita diferencivel em z0 quando a derivada
existe neste ponto.
z = z z0
f(z0 + z) f(z0 )
f (z0 ) = lim . (2.15)
z0 z
w (z + z)2 z 2
lim = lim = lim (2z + z) = 2z.
z0 z z0 z z0
37
Se o limite de w/z existe, ele pode ser Dy
encontrado, deixando o ponto z = (x, y) se
aproximar da origem no plano z em qualquer (0,Dy)
direo. Em particular, quando z se aproxima da
origem horizontalmente atravs dos pontos (x, 0)
no eixo real (Figura 13),
(0,0) (Dx,0) Dx
z = x + i0 = x i0 = x + i0 = z.
Figura 13.
Neste caso,
w
= z + z + z.
z
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,
u(x, y) = x 2 + y2 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
seja contnuas em cada ponto. Assim, a continuidade de uma funo num ponto no implica
na existncia da derivada nesse ponto. No entanto, verdade que a existncia da derivada
de uma funo num ponto implica na continuidade da funo nesse ponto. Para ver isto,
assuma que f (z0 ) existe e escrevemos
f(z) f(z0 )
lim [f(z) f(z0 )] = lim lim (z z0 ) = f (z0 ) 0 = 0,
zz0 zz0 z z0 zz0
ou seja, f contnua em z0 .
38
2.7 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 (z).
dz
d d d
1. c = 0, z = 1, [cf(z)] = cf (z);
dz dz dz
d n
2. z = nz n1 , n inteiro positivo. Esta frmula tambm vale quando n um inteiro
dz
negativo, desde que z = 0;
d
3. [f(z) + F (z)] = f (z) + F (z);
dz
d
4. [f(z)F (z)] = f(z)F (z) + f (z)F (z);
dz
[ ]
d f(z) F (z)f (z) f(z)F (z)
5. = , F (z) = 0.
dz F (z) [F (z)]2
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
lim (w) = 0.
ww0
Ento contnua em w0 .
39
Agora, podemos usar a expresso de para obter a forma
e que f (z) existe no ponto z0 = x0 + iy0 . Ento as derivadas parciais de primeira ordem
de u e v existem no ponto (x0 , y0 ) e satisfazem as equaes de Cauchy-Riemann
ux = vy , uy = vx
f (z0 ) = ux + ivx ,
w = f(z0 + z) f(z0 )
= [u(x0 + x, y0 + y) u(x0 , y0 )] + i[v(x0 + x, y0 + y) v(x0 , y0 )].
40
existe, obtemos
w w
f (z0 ) = lim Re +i lim Im . (2.16)
(x,y)(0,0) z (x,y)(0,0) z
Agora importante notar que a expresso anterior vlida quando (x, y) tende a
(0, 0) em qualquer direo. Em particular, faamos (x, y) tender a (0, 0) horizontalmente
atravs dos pontos (x, 0). Neste caso y = 0 e o quociente w/z torna-se
w u(x0 + x, y0 ) u(x0 , y0 ) v(x0 + x, y0 ) v(x0 , y0 )
= +i .
z x x
Ento
w u(x0 + x, y0 ) u(x0 , y0 )
lim Re = lim = ux (x0 , y0 )
(x,y)(0,0) z x0 x
e
w v(x0 + x, y0 ) v(x0 , y0 )
lim Im = lim = vx (x0 , y0 )
(x,y)(0,0) z x0 x
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.16),
obtemos
f (z0 ) = ux (x0 , y0 ) + iv(x0 , y0 ). (2.17)
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
v(x0 , y0 + y) v(x0 , y0 ) u(x0 , y0 + y) u(x0 , y0 )
= i .
y y
Ento,
w v(x0 , y0 + y) v(x0 , y0 )
lim Re = lim = vy (x0 , y0 )
(x,y)(0,0) z y0 y
e
w u(x0 , y0 + y) u(x0 , y0 )
lim Im = lim = uy (x0 , y0 ).
(x,y)(0,0) z y0 y
Ento segue pela expresso (2.16) que
f (z0 ) = vy (x0 , y0 ) iuy (x0 , y0 ), (2.18)
Pelas equaes (2.17) e (2.18) temos condies necessrias para a existncia de f (z0 ).
Igualando as partes real e imaginria nessas duas equaes, vemos que a existncia de
f (z0 ) exige que
ux (x0 , y0 ) = vy (x0 , y0 ) e uy (x0 , y0 ) = vx (x0 , y0 ),
que so conhecidas como equaes de Cauchy-Riemann. Assim, fica concluda a prova do
teorema.
41
Exemplo 2.17 Vimos que a funo
f(z) = z 2 = x 2 y2 + i2xy
diferencivel em todo o plano complex e f (z) = 2z. Para verificar que as equaes de
Cauchy-Riemann so satisfeitas em todo plano, note que
Ento
ux = 2x = vy , uy = 2y = vx .
u(x, y) = x 2 + y2 e v(x, y) = 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
u = u(x0 + x, y0 + y) u(x0 , y0 )
v = v(x0 + x, y0 + y) v(x0 , y0 ).
42
As hipteses de continuidade das derivadas parciais de primeira ordem de u e v no ponto
(x0 , y0 ), nos permintem escrever 1
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 ,
onde 1 e 2 tendem a 0 quando (x, y) se aproxima de (0, 0) no plano z. Substituindo
as ltimas expresses em w = u + iv, vem
w = ux (x0 , y0 )x + uy (x0 , y0 )y + 1 (x)2 + (y)2
[ ]
+i vx (x0 , y0 )x + vy (x0 , y0 )y + 2 (x)2 + (y)2 .
Alm disso, 1 + i2 tende a 0 quando (x, y) se aproxima de (0, 0). Assim, o ltimo
termo direita na equao (2.19) tende a 0 quando a varivel z = x + iy tende a 0.
Isso significa que o limite do lado esquerdo da equao (2.19) existe e que
f (z0 ) = ux + ivx ,
43
Exemplo 2.20 Tambm segue do teorema anterior que a funo f(z) = |z|2 , cujas
componentes so
u(x, y) = x 2 + y2 e v(x, y) = 0,
Dependendo se ns escrevemos
z = x + iy ou z = rei , z = 0
podemos escrever
ur = ux cos + uy sen , u = ux r sen + uy r cos . (2.20)
e
vr = vx cos + vy sen , v = vx r sen + vy r cos . (2.21)
no ponto z0 .
Se, por outro lado, as equaes (2.22) 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.22) so as equaes de Cauchy-Riemann em coordenadas
polares.
44
Teorema 2.9 Seja f(z) = u(r, ) + iv(r, ) definida numa vizinhana de um nmero
complexo no nulo z0 = r0 exp(i0 ), e suponha que as derivadas parciais de primeira
ordem das funes u e v com respeito a r e , existem nesta vizinhana. Se essas
derivadas parciais so contnuas em (r0 , 0 ) e satisfazem as equao de Cauchy-Riemann
em coordenadas polares
rur = v , u = rvr
1 1 1 1
f(z) = = i = ei = (cos i sen ), z = 0.
z re r r
Desde que
cos sen
u(r, ) = e v(r, ) = ,
r r
as condies do teorema anterior so satisfeitas em todo ponto z = rei no nulo no plano.
Em particular, as equaes de Cauchy-Riemann
cos sen
rur = = v e u = = rvr
r r
Exemplo 2.22 O teorema anterior pode ser utilizado para mostrar que, quando um
nmero real fixado, a funo
f(z) = 3 rei/3 , r > 0, < < + 2
Como
3
r 3
r
rur = cos = v e u = sen = rvr
3 3 3 3
45
e as outras condies do teorema so satisfeitas, a derivada f (z) existe em cada ponto
onde f(z) est definida. Logo,
[ ]
1 1
f (z) = ei ( )2 cos + i ( )2 sen
3 3r 3 3 3r 3
ou
ei i/3 1 1
f (z) = ( ) 2
e = ( ) 2
= .
3 3r 3 3 rei/3 3 [f(z)]2
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.6 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.
46
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) = 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 [f(z)]f (z).
dz
O seguinte teorema especialmente til, alm de esperado.
ux = uy = vx = vy = 0
em cada ponto de D.
Agora, mostremos que u(x, y) constante ao
longo de qualquer segmento de reta L ligando um y
ponto P a um ponto P e inteiramente contido em D.
Seja o parmetro s denotando a distncia ao longo L D
de L a partir do ponto P e seja U um vetor unitrio U P
ao longo de L na direo crescente de s (ver figura z0 Q
14). Sabemos do clculo que a derivada direcional
du/ds pode ser escrita como o produto escalar 0 x
Figura 14.
du
= (grad u) U,
ds
grad u = ux i + uy j.
47
Exemplo 2.23 O quociente
z3 + 4
f(z) =
(z 2 3)(z 2 + 1)
evidentemente analtico em todo plano z exceto nos pontos singulares z = 3 e z = i.
as funes componentes so
Como
ux = senh x cos y = vy e uy = cosh x sen y = vx
e seu conjugado
f(z) = u(x, y) iv(x, y)
onde
U(x, y) = u(x, y) e V (x, y) = v(x, y). (2.23)
ux = vy , uy = vx
Ux = Vy , Uy = Vx .
48
2.11 Funes harmnicas
Definio 2.8 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 e satisfazem a equao diferencial parcial
Exemplo 2.26 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.
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.
49
Agora, diferenciando com respeito a y, obtemos
Isto , u e v so harmnicas em D.
Exemplo 2.27 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.
Exemplo 2.28 Desde que a funo f(z) = i/z 2 analtica sempre que z = 0 e
i i z2 iz 2 iz 2 2xy + i(x 2 y2 )
= = = = ,
z2 z2 z2 (zz)2 |z|4 (x 2 + y2 )2
As funes
2xy x 2 y2
u(x, y) = e v(x, y) =
(x 2 + y2 )2 (x 2 + y2 )2
so harmnicas em qualquer domnio do plano xy que no contm a origem.
Teorema 2.12 Uma funo f(z) = u(x, y)+iv(x, y) analtica num domnio D se, e somente
se v um conjugado harmnico de u.
50
Exemplo 2.30 Vamos agora ilustrar um mtodo para obter um conjugado harmnico de
uma determinada funo harmnica. fcil ver que a funo
u(x, y) = y3 3x 2 y
harmnica em todo o plano xy. Desde que um conjugado harmnico v(x, y) est
relacionado com u(x, y) por meio das equaes de Cauchy-Riemann
ux = vy , uy = vx ,
vy (x, y) = 6xy.
v(x, y) = 3xy2 + x 3 + C
A forma f(z) = i(z 3 + C ) desta funo facilmente verificada e sugerida observando que,
quando y = 0, a expresso anterior torna-se f(x) = i(x 3 + C ).
51
Captulo 3
Funes Elementares
ez = ex eiy , z = x + iy (3.1)
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
52
temos estabelecido a propriedade 1. Para provar 2 basta escrever ez1 z2 ez2 = ez1 , ou seja,
ez1
z
= ez1 z2 .
e 2
ez = ei onde = ex e = y,
ou seja,
|ez | = ex e arg(ez ) = y + 2n, n = 0, 1, 2, . . . .
ez+2i = ez .
ez = 1 = 1ei
ex = 1 e y = + 2n, n = 0, 1, 2, . . . .
z = (2n + 1)i, n = 0, 1, 2, . . . .
para w, onde z = 0 arbitrrio. Para isto, note que quando z e w so escritos como
z = rei ( < < ) e w = u + iv, a equao (3.2) se torna
eu eiv = rei .
53
Ento, por igualdade de nmeros complexos na forma exponencial,
eu = r e v = + 2n
w = ln r + i( + 2n), n = 0, 1, 2, . . . .
que serve para motivar a defino anterior, quando z = rei um complexo no nulo.
Exemplo 3.2 Se z = 1 3i, ento r = 2 e = 2/3. Ento
( ) ( )
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
e como
|ez | = ex e arg(ez ) = y + 2n, 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.
54
Exemplo 3.3 Pela expresso (3.3), encontramos
e Log 1 = 0.
e que Log(1) = i.
55
Captulo 4
Integrais
dw
onde u e v so funes reais na varivel t. A derivada (t) dada por
dt
w (t) = u (t) + iv (t),
d
1. [z0 w(t)] = z0 w (t);
dt
d z0 t
2. e = z0 ez0 t .
dt
Porm, nem toda regra de derivao do clculo real vale para funes do tipo (4.1).
Exemplo 4.1 Seja w(t) contnua no intervalo [a, b], ou seja, as funes u(t) e v(t) so
contnuas neste intervalo. Nem sempre existe c (a, b) tal que
w(b) w(a)
w (c) = (Teorema do Valor Mdio).
ba
Por exemplo, considere a funo w(t) = eit com t [0, 2]. Temos
56
4.2 Integrais definidas de funes w(t)
Definio 4.2 A integral definida da funo complexa w(t) na varivel t [a, b]
b b b
w(t)dt = u(t)dt + i v(t)dt,
a a a
e, portanto
b b
r0 = w(t)dt |w(t)|dt, a b.
a a
1 1 1 [ ]1
2 2 t3 [ ]1 2
Exemplo 4.2 (1 + it) dt = (1 t )dt + i 2tdt = t + i t 2 0 = + i.
0 0 0 3 0 3
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). Observamos ainda a validade da seguinte regra
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.
57
Teorema 4.1 (Teorema Fundamental do Clculo) Suponha que as funes
Demonstrao: Temos,
implicando,
U (t) = u(t) e V (t) = v(t).
Logo,
b b b
w(t)dt = u(t)dt + i v(t)dt = U(b) U(a) + i[V (b) V (a)]
a a a
= [U(b) + iV (b)] [U(a) + iV (a)] = W (b) W (a).
4.3 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
58
y
z(b)
b C
z z(t) = x(t) + iy(t)
t
a z(a)
x
0
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 = t2 z(t1 ) = 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).
x
0 1 2
um crculo unitrio orientado no sentido horrio. Trata-se de mais uma curva simples
fechada.
59
Exemplo 4.7 Os pontos do arco
z = ei2 , 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.
z(a)
a x
0
a t b
z = Z ().
60
Definio 4.6 (Arco suave e vetor tangente) Se C um arco diferencivel com z (t) = 0,
para todo t (a, b), C chamado de arco suave. O vetor tangente unitrio
z (t)
T =
|z (t)|
61
Definio 4.8 (Integral curvilnea) A integral curvilnea de f em C
n
f(z)dz = lim f(zk )zk . (4.3)
C ||P||0
k=1
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 = x (t)dt e dy = y (t)dt.
Substituindo x, y, dx e dy por x(t), y(t), x (t) e y (t) no lado direito da ltima equao,
obtemos
b b
[u(x(t), y(t))x (t) v(x(t), y(t))y (t)]dt + i [v(x(t), y(t))x (t) + u(x(t), y(t))y (t)]dt.
a a
b
Se z(t) = x(t) + iy(t), a ltima expresso igual a a
f[z(t)]z (t)dt, pois o integrando
anterior a multiplicao
Com isto, obtemos uma forma prtica para calcular integrais curvilneas:
62
2. [f(z) g(z)]dz = f(z)dz g(z)dz;
C C C
3. f(z)dz = f(z)dz.
C C
y
C1 z2
C2 z3
C
z1
x
0
e como
b c b
f[z(t)]z (t)dt = f[z(t)]z (t)dt + f[z(t)]z (t)dt
a a c
y
Exemplo 4.8 Encontre o valor de
2i
I= zdz, C
C
63
( )
e, desde que ei = ei e ei = iei , obtemos
/2 /2
i i
I= 2e 2ie d = 4i d = 4i.
/2 /2
Observe que se z pertence ao crculo |z| = 2, ento |z|2 = zz = 4, ou seja, z = 4/z. Como
I = 4i, deduzimos
dz
= i.
C z
Exemplo 4.9 Seja C1 o caminho ilustrado na Figura 4.7, denotado por OAB. Ento,
f(z)dz = f(z)dz + f(z)dz.
C1 OA AB
Logo,
1+i
i 1 1i
f(z)dz = f(z)dz = + i= .
0 C1 2 2 2
Agora, se C2 denota o segmento OB (Figura 4.7), que a reta cuja equao y = x, sua
representao paramtrica
z = x + ix, 0 x 1.
Da,
1+i 1 1
2
f(z)dz = f(z)dz = (x x i3x )(1 + i)dx = i3x 2 (1 + i)dx
0 C2 0 0
1
= 3(1 i) x 2 dx = 1 i.
0
64
Finalmente podemos calcular a integral da funo f(z) ao longo do caminho OABO:
1i 1 + i
f(z)dz = f(z)dz + f(z)dz = f(z)dz f(z)dz = 1+i = .
OABO C1 C2 C1 C2 2 2
ligando os pontos z = 3 e z = 3.
Embora o ramo i
f(z) = re 2 , r > 0, 0 < < 2
da funo multivalente z 1/2 no esteja definida em
z = 3 (veja Figura 4.8), a integral y
I= z 1/2 dz
C
C
existe em relao a esse ramo, pois o integrando
seccionalmente contnuo sobre o caminho C . Com
efeito, quando z() = 3ei temos x
-3 0 3
f[z()] = 3ei 2 = 3 cos + i 3 sin , 0 < .
2 2 Figura 4.8: Semi crculo superior de raio 3.
Neste caso a funo no est definida no eixo real
positivo.
Se 0, 3 cos 2 converge para 3 e 3 sin 2
converge
para 0, ou seja, f[z()] contnua no intervalo [0, ] quando seu valor em = 0
3. Consequentemente,
[ ] [ ]
i 2 i
i 3 2 i 3 2 i 3 2 0
I = 3e 3ie d = 3 3i e 2 d = 3 3i e 2 = 3 3i e 2 e
0 0 3i 0 3i 3i
[ ] [ ]
2 2 2
= 3 3i = 3 3i (1 + i) = 2 3(1 + i).
3 3i 3i
65
4.5 Limitao superior para o mdulo de integrais
Quando C representa um caminho z = z(t), t [a, b], sabemos que
b b
f(z)dz = f[z(t)]z (t)dt
|f[z(t)]||z (t)|dt.
C a a
Exemplo 4.12 Seja C o crculo denotando um quarto do crculo |z| = 2 ligando os pontos
z = 2 a z = 2i (Figura 4.9). Mostre que
z + 4 6
z 3 1 dz 7 .
C
66
De fato, quando |z| = R > 1, y
i/2
|z | = Re = R e |z 2 +1| |z 2 | 1 = R 2 1,
1/2
CR
donde
1/2
z R
|f(z)| = 1 MR , onde MR = 2 . x
z + 1 R 1 -R 0 R
onde
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.
4.6 Exerccios
1) Use as regras correspondentes de derivao do clculo para estabelecer as seguintes
regras, quando w(t) = u(t) + iv(t) uma funo complexa na varivel t e w (t) existe:
d d
(a) w(t) = w (t); (b) [w(t)]2 = 2w(t)w (t).
dt dt
2) Calcule as seguintes integrais:
2( )2 /6
1
(a) i dt; (b) ei2t dt.
1 t 0
Respostas: (a) 1/2 i ln 4; (b) 3/4 + i/4.
5) Seja w(t) = u(t) + iv(t) uma funo complexa e contnua na varivel t definida
noa intervalo a a t a. (a) Suponha que w(t) uma funo par; mostre que
a w(t)dt = 2 0 w(t)dt; (b) Suponha que w(t) uma funo mpar; mostre que
a
a
w(t)dt = 0.
67
6) Seja C denotando o lado direito do crculo |z| = 2, orientado no sentido anti-horrio.
Note que duas representaes paramtricas para o arco C so:
( )
i
z = z() = 2e e z = Z (y) = 4 y2 + iy (2 y 2).
2 2
7) 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
quando t = t0 . Sugesto: Escreva f(z) = u(x, y) + iv(x, y) e z(t) = x(t) + iy(t) de modo que 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
w = (ux x + uy y ) + i(vx x + vy y ) e use as equaes de Cauchy-Riemann.
9) Calcule o valor da integral C
f(z)dz nos seguintes casos:
2
(a) f(z) = y x 3x i e C o segmento de reta de z = 0 a z = 1 + i;
(b) f(z) = y x 3x 2 i e C consiste de dois segmentos, um de z = 0 a z = i e o
outro de z = i a z = 1 + i;
(c) f(z) = (z + 2)/z e C o semicrculo z = 2ei , onde varia de 0 a ;
(d) f(z) = (z + 2)/z e C o semicrculo z = 2ei , onde varia de 0 a ;
(e) f(z) = (z + 2)/z e C o semicrculo z = 2ei , onde varia de a ;
(f) f(z) = z 1 e C o semicrculo z 1 = ei , onde varia de 0 a ;
{
4y quando y > 0
(g) f(z) = e C o arco de z = 1 i a z = 1 + i sobre a
1 quando y < 0
curva y = x 3 ; (Resp. 2 + 3i)
(h) f(z) = ez e C o segmento de reta de z = i a z = 1, ou C a poligonal ao
longo dos eixos coordenados tambm de z = i a z = 1;
(i) f(z) = 3z + 1 e C o contorno do quadrado com vrtices nos pontos z = 0, z = 1,
z = 1 + i e z = i, orientado no sentido do Teorema de Green;
(j) f(z) = ez e C o contorno do quadrado com vrtices nos pontos z = 0, z = 1,
z = 1 + i e z = i, orientado no sentido do Teorema de Green. (Resp. 4(e 1))
68
10) Seja C o segmento de z = i a z = 1. Observando que, de todos os pontos nesse
segmento de reta, o ponto central o mais prximo da origem, mostre que
dz
4 2
z4
C
11) Seja C o arco do crculo |z| = 2 que se situa no primeiro quadrante. Mostre que
dz
z2 + 1 3 .
C
4.7 Antiderivadas
Teorema 4.2 Suponha que f(z) contnua num domnio D. Ento so equivalentes:
(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.
69
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 [z(t)]z (t) = f[z(t)]z (t), a t b,
dt
implicando, z2
f(z)dz = F (z2 ) F (z1 ).
z1
(ii) (iii).
Suponha agora que (ii) verdade. Considere um caminho fechado C contido no interior
de D e z1 , z2 C pontos arbitrrios onde C = C1 C2 conforme Figura 4.11.
y
z2
C2
C C1
z1 D
x
0
ou seja,
f(z)dz = f(z)dz f(z)dz = 0, (4.5)
C C1 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
70
, (ii) satisfeita, o que significa dizer que a integrao independe do caminho escolhido
no interior de D. Assim, definimos a funo
z
F (z) = f(s)ds.
z0
e afirmamos que F (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
F (z + z) F (z) = f(s)ds f(s)ds = f(s)ds,
z0 z0 z
y
s
z + Dz
s z
z0 D
x
0
Figura 4.12: Caminho ligando z0 a z + z passando por z. Note que o caminho ligando z + z a z um segmento.
z+z
Desde que z = ds, podemos escrever,
z
z+z
1
f(z) = f(z)ds,
z z
Como a funo f contnua na varivel z D, para todo > 0, existe > 0 tal que
isto ,
F (z + z) F (z)
lim f(z) = f(z)
0 z
e, portanto F (z) = f(z) para todo z D, como queramos.
71
Exemplo 4.14 A funo contnua f(z) = z 2 tem antiderivada F (z) = z 3 /3 em todo plano
complexo. Ento,
1+i
z 3 1+i 1 2
z 2 dz = = (1 + i)3 = (1 + i),
0 3 0 3 3
y
/ 2
Exemplo 4.15 A funo f(z) = 1 z contnua, exceto
no ponto z = 0. Ela tem antiderivada F (z) = 1/z 2i
no domnio |z| > 0, que o plano menos a origem. C1
Consequentemente,
dz x
2
= 0, 0
C z
Exemplo 4.16 Seja C1 o lado direito do crculo do Figura 4.13: Lado direito do crculo |z| = 2.
As descontinuidades de Log z ficam no semi eixo
exemplo anterior dado parametricamente pela equao real negativo.
z = 2ei , .
2 2
O ramo principal
y
Log z = ln r + i, r > 0, < < ,
2i
da funo logartmica uma antiderivada da funo
C2
1/z que definida sobre o arco C1 (veja Figura 4.13).
Logo,
x
2i 2i 0
dz dz
= = Log z = Log (2i) Log (2i)
C1 z z 2i
(2i ) ( )
= ln 2 + i ln 2 i = i. -2i
2 2
Agora, seja C2 o lado esquerdo do crculo do exemplo Figura 4.14: Lado esquerdo do crculo |z| =
anterior (Figura 4.14) dado parametricamente pela 2.realAspositivo.
descontinuidades de log z ficam no semi eixo
equao
3
z = 2ei , .
2 2
e considere o ramo
log z = ln r + i, r > 0, 0 < < 2,
72
da funo logartmica que uma antiderivada da funo 1/z definida sobre o arco C2 (veja
Figura 4.14).
Temos,
2i 2i
dz dz
= = log z = log (2i) log (2i)
C1 z z 2i
(2i ) (
3 )
= ln 2 + i ln 2 + i = i.
2 2
Finalmente, observando que C = C1 + C2 conclumos que
dz dz dz
= + = i + i = 2i.
C z C1 z C2 z
C1
x
-3 0 3
73
4.8 O Teorema de Cauchy-Goursat
Seja C um caminho fechado z = z(t), t [a, b], orientado no sentido postivo (sentido
anti-horrio) e suponha que tenhamos uma funo complexa f(z) que analtica sobre C
e no interior de C . Ento,
b
f(z)dz = f[z(t)]z (t)dz.
C a
mostrando como uma integral complexa pode ser escrita em termos de integrais de linha
de funes de duas variveis reais. Lembremos de um importante teorema do Clculo
envolvendo integrais de linha:
Teorema 4.3 (Teorema de Green) Sejam P(x, y) e Q(x, y) funes de duas variveis reais,
com derivadas parciais de primeira ordem contnuas numa regio fechada R, cuja fronteira
um caminho fechado C . Ento
Pdx + Qdy = (Qx Py )dA.
C R
Suponha que a nossa funo f, j mencionada anteriormente, seja contnua numa regio
R como no teorema anterior, com f contnua em R, isto , as derivadas parciais de u e v
so funes contnuas. Aplicando o Teorema de Green a equao (4.6), obtemos
f(z)dz = (vx uy )dA + i (ux vy )dA.
C R R
3 3
pois f(z) = ez analtica e f (z) = 3z 2 ez contnua em C. Observe que neste caso no
3
possvel determinar uma antiderivada para ez em termos de funes complexas.
74
A hiptese de continuidade para a derivada f pode ser descartada. Assim, temos o
seguinte teorema mais abrangente:
Teorema 4.5 Se uma funo complexa f analtica num domnio simplesmente conexo D,
ento
f(z)dz = 0,
C
Corolrio 4.1 Uma funo f que analtica sobre um domnio simplesmente conexo D
possui antiderivada em todo D.
75
y C
... Cn
C1 C2
x
0
y C1
C2
x
0
Seja C0 um crculo centrado na origem com raio suficientemente pequeno de modo que o
interior de C contenha C0 (Figura 4.18). Como
o resultado segue diretamente pelo Princpio da deformao dos caminhos.
dz
= 2i,
C0 z
76
y
C
C0
x
0
e portanto,
f(z)dz
= 2if(z0 )
C z z0
Exemplo 4.20 Seja C o crculo |z| = 2 com orientao positiva (Figura 4.20). Calcule
zdz
2
.
C (9 z )(z + i)
77
/
Desde que a funo f(z) = z (9 z 2 ) analtica sobre y
C e no interior de C , com z0 = i pertencente ao
interior de C , segue pela frmula integral de Cauchy
que: C
z
zdz 9 z 2 dz x
2
= 0 2
C (9 z )(z + i) C z (i)
= 2if(i) -i
= 2i(i/10)
= .
5
Figura 4.20: Crculo |z| = 2.
Temos,
( )
f(z + z) f(z) 1 1 1 f(s) 1 f(s)ds
= ds = .
z 2i C s z z s z z 2i C (s z z)(s z)
e da,
f(z + z) f(z) 1 f(s)ds 1 zf(s)ds
2
= .
z 2i C (s z) 2i C (s z z)(s z)2
Usando a continuidade de f, obtemos
zf(s)ds
lim = 0,
z C (s z z)(s z)2
ou seja,
f(z + z) f(z) 1 f(s)ds
lim = = f (z).
z z 2i C (s z)2
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.
78
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
1 f(s)ds
f (z) = ,
i C0 (s z)3
onde z um ponto interior a C0 ; ou seja, f (z) existe numa vizinhana |z z0 | < /2, donde
segue que f analtica em z0 . Aplicando o mesmo argumento a f chegaremos que f
analtica, e assim por diante.
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.22 Seja C um caminho fechado com orientao positiva e z0 um ponto interior
a C . Seja f(z) = 1. Ento,
dz dz
= 2i e n+1
= 0, n = 1, 2, . . . .
C z z0 C (z z0 )
79
4.12 Aplicaes da Frmula Integral de Cauchy
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
n!M
|f (n) (z0 )| n . (4.7)
r
Demonstrao: Se z C , temos
f(z) |f(z)| M
(z z0 )n+1 = r n+1 r n+1 .
n 2
Demonstrao: Suponha que p(z) / = an z + + a2 z + a1 z + a0 , n > 0 nunca zero
para todo z C. Ento, f(z) = 1 p(z) uma funo inteira. Mas,
1 1
|f(z)| = = n ( / / ) .
|an zn + + a1 z + a0 | |z| an + an1 /z + + a1 z n1 + a0 z n
2naj
Seja M > 1 tal que M > , j = 0, 1, . . . , n 1. Ento, para |z| > M, temos
a n
aj
< M < |z| e sendo |z|nj > M, obtemos
an 2n 2n
a |a |
aj |z|nj j n
< nj < ,
an 2n z 2n
80
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 1 2
|f(z)| n
/
n1
/
n n
/ = n
.
|z| |an | an1 /z + + a1 z + a0 z M |an | |an | 2 M |an |
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.
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.
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| = 41 + 20Im(z).
81
4.13 Exerccios
1) Usando uma antiderivada, mostre que, para qualquer caminho C que se estende de
um ponto z1 a um ponto z2 ,
1
z n dz = (z2n+1 z1n+1 ) (n = 0, 1, 2, 3, . . .)
C n + 1
4) Avalie cada uma das seguintes integrais, ao longo de um caminho arbitrrio ligando
os limites de integrao:
i/2 +2i 3
z z
(a) e dz; (b) cos dz; (c) (z 2)3 dz.
i 0 2 1
Respostas: (a) (1 + i)/; (b) e + (1/e); (c) 0.
82
7) Se B a fronteira da regio entre o crculo |z| = 4 e o quadrado com lados sobre
as retas x = 1 e y = 1, onde B orientada de modo a deixar a regio sua
esquerda, diga porque
f(z)dz = 0
B
quando
1 z+2 z
(a) f(z) = ; (b) f(z) = ; (c) f(z) = .
3z 2+1 sin(z/2) 1 ez
8) Seja C denotando a fronteira orientada positivamente da metade do disco 0 r 1,
0 , e seja f(z) uma funo contnua definida nesta metade de disco por
f(0) = 0 e pelo ramo
( )
i/2 3
f(z) = re r > 0, < <
2 2
mostre que g(2) = 8i. Qual o valor de g(z0 ) quando |z0 | > 3?
83
12) 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:
ez cos z z dz
(a) ; (b) 2
dz; (c) ;
C z i/2 C z(z + 8) C 2z + 1
tan(z/2) cosh z
(d) 2
dz (|x0 | < 2); (e) dz.
C (z x0 ) C z4
Respostas: (a) 2; (b) i/4; (c) i/2; (d) 0; (e) i sec2 (x0 /2)
x
0
Resposta: 4 + 12i.
84
18) Seja f analtica e no constante numa regio fechada R limitada por uma curva
fechada simples C . Suponha que f(z) = 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.
19) 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.
85
Captulo 5
Sries
1
Exemplo 5.1 A seqncia zn = + i, n = 1, 2, . . ., converge para i, pois
n3
( )
1 1
lim 3
+ i = lim 3 + i lim 1 = 0 + i 1 = i.
n n n n n
3 + ni 2 1
Exemplo 5.2 A seqncia zn = 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
86
Como
3n + 2n2 3/n + 2 2 n2 6n 1 6/n 1
lim 2
= lim = e lim 2
= lim = ,
n 5n n 5 5 n 5n n 5 5
concluimos que
3 + ni 3n + 2n2 n2 6n 2 1
lim = lim 2
+ i lim 2
= + i.
n n + 2ni n 5n n 5n 5 5
de nmeros complexos, converge para uma soma S se, a seqncia das somas parciais
N
SN = = z1 + z2 + + zN , N = 1, 2, . . .
n=1
Demonstrao: Seja L = zn . Ento lim SN = L e lim SN1 = L. Considerando
N N
n=1
SN = z1 + z2 + . . . + zN e SN1 = z1 + z2 + . . . + zN1 temos
SN SN1 = zn (SN SN1 ) = lim zN lim zN = S S = 0.
N N
O teorema anterior diz que se lim zn = 0 ento, a srie zn diverge. Alm disso, se
n
n=1
a srie zn converge ento, |zn | M para todo n N e para alguma constante positiva
n=1
M.
87
5.3 Convergncia absoluta e condicional
Seja zn = xn + iyn . A srie zn converge absolutamente, se a srie
n=1
|zn | = xn2 + y2n
n=1 n=1
for convergente. A srie zn converge condicionalmente se for converge com |zn |
n=1 n=1
sendo divergente.
1
Exemplo 5.3 Mostremos que zn = quando |z| < 1.
n=0
1z
Para mostrar essa convergncia lembremos que
2 1 z n+1
n
1 + z + z + ... + z = , z=
1.
1z
De fato,
Da,
1 z n+1
Sn+1 zSn+1 = 1 z n+1 Sn+1 = , z = 1.
1z
Agora, escrevendo as somas parciais
N1
1 zN
SN (z) = z n = 1 + z + z 2 + . . . + z N1 =
n=0
1z
1
e, sendo S(z) = , vem
1z
1 1 zN zN
N (z) = S(z) SN (z) = = , z = 1.
1z 1z 1z
88
Ento,
|z|N
lim |N (z)| = lim = 0 quando |z| < 1.
N N |1 z|
89
Portanto, a srie converge absolutamente se |z| < 1, ou seja, o crculo de convergncia
|z| = 1 e o raio de convergncia R = 1. O que dizer da convergncia sobre o crculo
|z| = 1? Por exemplo, se z = 1 temos a srie harmnica 1/n que diverge. Mas, se
n=0
z = 1 temos a srie harmnica alternada (1)n+1 /n que converge.
n=0
onde
f (n) (z0 )
an = , n = 0, 1, 2, . . . . (5.3)
n!
Esta a expanso de f(z) em srie de Taylor centrada em z0 . A expresso em (5.2) pode
ser escrita como
f (z0 ) f (z0 )
f(z) = f(z0 ) + (z z0 ) + (z z0 )2 + , |z z0 | < R0 .
1! 2!
Demonstrao:
Faremos a demonstrao para o caso z0 = 0. Para z0 = 0 bastam algumas modificaes
mnimas para se chegar ao resultado. Assim, mostremos que
f (n) (0)
f(z) = an z n = z n , |z| < R0 ,
n=0 n=0
n!
90
a srie de Maclaurin para a funo f. y
Sejam os crculos |z| = r e C0 : |z| = r0 ,
onde 0 < r < r0 < R0 (veja figura 2).
s
Desde que f analtica em C0 e no interior z
r0
de C0 , com z0 sendo um ponto interior a C0 r
temos, pela frmula integral de Cauchy x
0
1 f(s)ds C0
f(z) = .
2i C0 s z
1 1 1
Mas, = e como
sz s 1 (z/s) Figura 2.
N1
1 zN
= zn + , |z| < 1,
1z n=0
1 z
obtemos:
[N1 ] N1
1 1 1 1 ( z )n (z/s)N 1
n N 1
= = + = n+1
z + z N
,
sz s 1 (z/s) s n=0 s 1 (z/s) n=0
s (s z)s
pois, |z| < |s| o que implica |z/s| < 1. Multiplicando a expresso acima por f(s) e
integrando, vem
N1
f(s)ds f(s)ds n f(s)ds
= z + zN (5.4)
C0 sz n=0 C0 sn+1 C0 (s z)sN
zN f(s)ds
onde N (z) = . Assim, resta mostrar que lim N (z) = 0 (N (z)
2i C0 (s z)sN N
conhecida como resto de Taylor). Note que, |sr| ||s| |z|| = r0 r. Se M = max |f(s)|,
sC0
obtemos ( )N
rN M Mr0 r
|N (z)| N
2r0 = ;
2 (r0 r)r0 r0 r r0
/
Como r r0 < 1 segue que lim N (z) = 0, finalizando a demonstrao.
N
91
Exemplo 5.6 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
z zn
e = , |z| <
n=0
n!
Assim, por exemplo, sendo f(z) = z 2 e3z inteira, sua expanso em srie de Maclaurin :
(3z)n 3n
z 2 e3z = z 2 = z n+2 , |z| < ,
n=0
n! n=0
n!
Desde que
1 (1)2n+1 = 2 e i2n+1 = (i2 )n i = (1)n i,
concluimos que
[ ]
1 n z 2n+1 z 2n+1
sen z = 2i(1) = (1)n , |z| < .
2i n=0 (2n + 1)! n=0
(2n + 1)!
Analogamente,
z 2n n
cos z = (1) , |z| < .
n=0
(2n)!
92
Exemplo 5.8 Sabemos que senh z = i sen(iz) e cosh z = cos(iz). Ento,
z 2n
z 2n+1
senh z = , |z| < e cosh z = , |z| < .
n=0
(2n + 1)! n=0
(2n)!
Observe que a funo f(z) = 1/(1 z) analtica exceto no ponto z = 1. Calculando suas
derivadas, temos
1 2! 3! n!
f (z) = 2(1) 2
= 2
; f (z) = 3
; . . . ; f (n) (z) = ; ....
(1 z) (1 z) (1 z) (1 z)n
Observe que, substituindo z por z e notanto que |z| < 1 | z| < 1, obtemos
1
= 1 z + z2 z3 + = (1)n z n , |z| < 1.
1+z n=0
93
5.6 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.
mostre que
n r cos r 2 r sen
r cos n = 2
e r n sen n =
n=1
1 2r cos + r n=1
1 2r cos + r 2
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.
1 n n n (z 4 3i)n
(a) (z 2i) (b) (1 + 3i) (z i) ; (c) .
n=0
(1 2i)n+1 n=0 n=0
52n
Respotas: (a) |z 2i| = 5, R = 5; (b) |z i| = 1/ 10, R = 1/ 10; (c) |z 4 3i| = 25, R = 25.
para a funo f(z) = ez (a) usando f (n) (1) (n = 0, 1, 2, . . .) e (b) escrevendo ez = ez1 e.
7) Encontre a srie de Maclaurin para a funo
z z 1
f(z) = = .
z4 +9 9 1 + (z 4 /9)
(1)n 4n+1
Resposta: z , |z| < 3.
32n+2
n=0
94
8) Estabelea a seguinte srie de Taylor:
(z i)n
1
= , |z i| < 2.
1z n=0
(1 i)n+1
1 1 1 1
Sugesto: Inicie escrevendo = = .
1z (1 i) (z i) 1 i 1 (z i)/(1 i)
9) Mostre que
1 1 1 (1)n (n + 1)
(a) 2 = (n + 1)(z + 1)n , |z + 1| < 1; (b) 2 = (z 2)n ,
z n=0
z 4 n=0 2n
|z 2| < 2.
10) Desenvolva a funo
(a) cos z em srie de Taylor em torno de z = /2;
(b) senh z em srie de Taylor em torno de z = i.
Sugesto: (a) Utilize a identidade cos z = sen(z /2); (b) Use a identidade senh(z + i) = senh z e o fato de senh z ser
peridica de perodo 2i.
11) Qual o crculo de convergncia para a srie de Maclaurin da funo tanh z? Escreva
os primeiros termos desta srie.
onde,
1 f(z)dz 1 f(z)dz
an = n+1
, e bn = , n = 0, 1, 2, . . . .
2i C (z z0 ) 2i C (z z0 )n+1
y
R1 R2
z0
x
0
Figura 3.
95
A expresso em (5.5) pode ser reescrita como
f(z) = cn (z z0 )n , R1 < |z z0 | < R2 , (5.6)
n=
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)(zz0 )n1 . Assim, se f analtica em |zz0 | < 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:
Provaremos para o caso z0 = 0. Considere a regio
anular r1 |z| r2 contida em R1 < |z| < R2 e y
contendo z e C . Sejam C1 e C2 os crculos |z| = r1
e |z| = r2 , de modo que f seja analtica sobre C1 e C
r2
C2 e na regio anular entre eles. Por fim, seja o
z r1
crculo centrado em z com orientao positiva contido
g R1 R2
na regio entre C1 e C2 (veja figura 4). x
0 C1
Pelo teorema de Cauchy-Goursat
C2
f(s)ds f(s)ds f(s)ds
= 0.
C2 s z C1 s z sz
ou ainda, Figura 4.
1 f(s)ds 1 f(s)ds
f(z) = + .
2i C2 sz 2i C1 zs
Sabemos que
1 N1 1 N
1 n N 1 1 1 1 sN
= n+1
z + z N
e =
n+1 z n
+ N
.
sz n=0
s (s z)s z s n=1
s z z s
/
Multiplicando as duas expresses acima por f(s) 2i e integrando em relao a C2 e C1 ,
obtemos
N1
n bn
f(z) = an z + N (z) + + N (z)
n=0 n=1
zn
onde an e bn so
1 f(s)ds 1 f(s)ds
an = , b n =
2i C2 sn+1 2i C1 sn+1
e
zN f(s)ds 1 sN f(s)ds
N (z) = N
, N (z) = .
2i C2 (s z)s 2iz N C1 zs
96
Agora, note que lim N (z) = 0 e lim N (z) = 0 e finalmente, utiliando o Princpio de
N N
Deformao dos Caminhos, obtemos a srie de Laurent (5.5) para a funo f em z0 = 0.
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
e1/z dz = 2i.
C
1
Exemplo 5.12 A funo f(z) = j est escrita como uma srie de Laurent, onde
(z i)2
z0 = i. Temos,
f(z) = cn (z i)n , 0 < |z i| < ,
n=
97
Como |z| < 1, |z/2| < 1 em D1 e lembrando que y
1 D3
= z n , |z| < 1, obtemos
1z n=0 D2
D1
1 znn
n
zn
f(z) = z + = z + x
n=0
2 n=0 2n n=0 n=0
2n+1 0 1 2
= (2n1 1)z n , |z| < 1.
n=0
1
f(z) = .
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| < .
98
1
J em D2 temos 1 < |z 1| < 1, donde y
z 1
segue que
1 1 1 D2
f(z) = =
z(z 1) z 1 1 + (z 1)
D1
1 1 1 1
= = (1)n x
(z 1)2 1 2
(z 1) n=0 (z 1)n 0 1 2
1+
z1
1
= (1)n
n=0
(z 1)n+2 Figura 6.
1 1 1 1 1
= (1)n2 = + + .
n=2
(z 1)n (z 1)2 (z 1)3 (z 1)4 (z 1)5
converge. Ento, |an z1n | M, n = 0, 1, 2, . . ., para algum M > 0. Se |z| < |z1 | e
p = |z/z1 | < 1, obtemos
n
n z
n
|an z | = |an z1 | Mpn , n = 0, 1, 2, . . . e p < 1.
z1
Como Mpn , p < 1 uma srie geomtrica convergente, segue pelo teste da comparao
n=0
que, |an z n | converge em |z| < |z1 | = R1 , como queramos.
n=0
Agora, se z0 = 0, assuma que (5.7) converge em z = z1 (z1 = z0 ). Escrevendo w = z z0
em an w n , obtemos que esta srie converge em w = z1 z0 . Como o teorema vale para
n=0
z0 = 0, an w n converge absolutamente no disco |w| < |z1 z0 |, ou seja,
n=0
an (z z0 )n
n=0
99
converge absolutamente em |z z0 | < |z1 z0 | = R1 .
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 = 0, faa w = z z0 e conclua o resultado.
100
5.9 Continuidade da soma
Teorema 5.9 Uma srie de potncias
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.
Se a srie em (5.10) converge quando z = z1 , onde z1 = z0 , bn w n converge
/ n=1
absolutamente para uma funo contnua quando |w| < 1 |z1 z0 |, ou seja, quando
|z z0 | > |z1 z0 |, que o exterior do crculo |z z0 | = R1 . A srie de Laurent
bn
f(z) = an (z z0 )n +
n=0 n=1
(z z0 )n
5.10 Exerccios
1) Mostre que quando |z| > 0
ez 1 1 1 z z2 sen(z 2 ) 1 z 2 z 6 z 10
(a) 2 = 2 + + + + + ; (b) = 2 + +;
z z z 2! 3! 4! z4 z 3! 5! 7!
( )
senh z 1 z 2n+1 3 1 z 1 1
(c) = + ; (d) z cosh = + z3 + 2n1 .
z2 z n=0 (2n + 3)! z 2 n=1
(2n + 2)! z
101
4) Escreva as funes como uma srie de Laurent que seja vlida nos respectivos
domnios anulares.
1
(a) f(z) = nos domnios 0 < |z| < 1, 1 < |z| < , 0 < |z 1| < 1 e
z(z 1)
1 < |z 1| < ;
1
(b) f(z) = nos domnios 0 < |z 1| < 2 e 0 < |z 3| < 2.
(z 1)2 (z 3)
Respostas: (a) f(z) = 1z 1 z z 2 z 3 ; f(z) = 1
z2
+ 1
z3
+ 1
z4
+ 1
z5
+ ; f(z) = 1
z1 1 + (z 1) (z 1)2 + ;
1 1 1 1
f(z) = (z1)2
(z1)3
+ (z1)4
(z1)5
+ .
1 1 1 1 1 1 3
(b) f(z) = 2(z1)2 4(z1) 8 16 (z 1) ; f(z) = 4(z3) 4 + 16 (z 3) 18 (z 3)2 + .
5) Represente a funo
z+1
f(z) =
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| < .
1
Respostas: (a) 1 2 z n , |z| < 1; (b) 1 + 2 .
zn
n=1 n=1
1
f(z) =
z(1 + z 2 )
uma funo contnua no interior do crculo de convergncia da srie. Veremos que S(z)
analtica neste domnio.
102
Demonstrao: Note que
N1
g(z)S(z) = an g(z)(z z0 )n + g(z)N (z)
n=0
e integrando, vem
N1
n
g(z)S(z)dz = an g(z)(z z0 ) dz + g(z)N (z)dz.
C n=0 C C
isto ,
lim g(z)N (z)dz = 0.
N C
Portanto,
N1
n
g(z)S(z)dz = lim an g(z)(z z0 ) dz = an g(z)(z z0 )n dz.
C N C C
n=0 n=0
para todo caminho fechado contido neste domnio. Pelo teorema anterior,
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.11) analtica, para todo z no
interior do crculo de convergncia da srie.
103
Exemplo 5.15 Mostre que
{ sen z
, quando z =
0
f(z) = z
1, quando z = 0
converge para f(z) quando z = 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 = 0),
z
sen z
lim = lim f(z) = f(0) = 1.
z z z
Teorema 5.11 Uma srie de potncias (5.11) pode ser derivada termo a termo. Isto , em
cada z no interior do crculo de convergncia da srie,
S (z) = nan (z z0 )n1 .
n=1
Desde que g(s) uma funo contnua em C , temos pelo teorema anterior
g(s)S(s)ds = an g(s)(s z0 )n ds.
C n=0 C
104
Logo, de (5.12) e (5.13)
d
S (z) = an (z z0 )n = nan (z z0 )n1 .
n=0
dz n=1
1
Diferenciando ambos os lados desta equao, obtemos 2 = (1)n n(z 1)n1 , ou
z n=1
seja,
1
2
= (1)n (n + 1)(z 1)n , |z 1| < 1.
z n=0
Demonstrao: Sendo f(z) = an (z z0 )n , |z z0 | = R, vem
n=0
g(z)f(z)dz = am g(z)(z z0 )m dz
C m=0 C
onde,
1 1
g(z) = , 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,
1 f(z)dz f (n) (z0 )
g(z)f(z)dz = = , n fixo. (5.15)
C 2i C (z z0 )n+1 n!
Fica a cargo do leitor verificar a igualdade
{
m 1 dz 0 quando m = n
g(z)(z z0 ) dz = = ,
C 2i C (z z0 )nm+1 1 quando m = n
105
donde segue que,
am g(z)(z z0 )m dz = an (5.16)
m=0 C
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.
onde
c0 = f(z0 )g(z0 ) = a0 b0
106
onde ( )
n n!
= , k = 0, 1, 2, . . . , n.
k k!(n k)!
Evidentemente
(n) n n n
[f(z)g(z)]z=z0 1 f (k) (z0 )g(nk) (z0 ) f (k) (z0 ) g(nk) (z0 )
cn = = n! = = ak bnk ,
n! n! k=0 k!(n k)! k=0
k! (n k)! k=0
1 2 1 3
1 + z z + (e)
2 3
Observando o produto das duas sries na equao (5.18), a srie em (a) obtida
multiplicando a primeira srie em (5.18) 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.18).
107
Considere agora as funes f e g representadas/ em (5.17) e suponha que g(z) = 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)
= 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 . Isto fornecer frmulas um tanto complicadas, uma vez que utilizaremos vrias
vezes a regra do produto para derivao. Porm, assim como no exemplo anterior, faremos
uso de um dispositivo prtico para efetuar a diviso.
1 (a)
1 2 1 4
1 + z + z + (b)
3! 5!
1 2 1 4
z z (c)
3! 5!
1 2 1 4
z z (d)
3! 5!
[ ]
1 1 4
z + (e)
(3!)2 5!
[ ]
1 1 4
z + (f)
(3!)2 5!
..
.
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 2 1 1 4 1 7 4
2
/
4
/ = 1 z + 2
z + = 1 z 2 + z + , |z| < .
1 + z 3! + z 5! + 3! (3!) 5! 6 360
108
Portanto, ( )
1 1 1 7 4
2
= 3 1 z2 + z + , 0 < |z| <
z senh z z 6 360
isto ,
1 1 1 1 7
= 3 + z + , 0 < |z| < .
z2 senh z z 6 z 360
5.14 Exerccios
1) Derivando a srie de Maclaurin de 1/(1 z), obtenha as representaes
1 n 2
= (n + 1)z e = (n + 1)(n + 2)z n
(1 z)2 n=0
(1 z)3
n=0
inteira.
4) Integre a srie de Maclaurin de 1/(1+ w) ao longo de um caminho, interior ao crculo
de convergncia, que vai de w = 0 at w = z para obter a representao
(1)n+1
Log (z + 1) = zn, |z| < 1.
n=1
n
6) Prove que se
cos z
quando z =
/2,
f(z) = z2
(/2)2
1
quando z = /2,
ento f uma funo inteira.
109
7) Seja f uma funo analtica num ponto z0 tal que f(z0 ) = 0. Usando srie de
potncias, mostre que
f(z)
lim = f (z0 ).
zz0 z z0
8) Sejam f e g funes analticas num ponto z0 tal que f(z0 ) = g(z0 ) = 0. Usando srie
de potncias, mostre que
f(z) f (z0 )
lim = .
zz0 g(z) g (z0 )
analtica em z0 .
ez 1 1 5
2
= + 1 z z2 + (0 < |z| < 1).
z(z + 1) z 2 6
1 1 11 7
= 3 + z + (0 < |z| < ).
z2 senh z z 6 z 360
110
Captulo 6
Resduos e Polos
6.1 Resduos
Um ponto singular z0 de uma funo f um ponto singular isolado se existir uma
vizinhana 0 < |z z0 | < de z0 , na qual f analtica.
x
0
Figura 1.
111
Exemplo 6.3 A funo
1
f(z) =
sen (/z)
tem pontos singulares z = 0 e z = 1/n, n = 1, 2, . . ., todos no eixo real de z = 1
a z = 1. Cada ponto singular, exceto z = 0, isolado. O ponto z = 0 no um ponto
singular isolado, pois toda vizinhana da origem contm algum ponto singular de f; mais
precisamente, dado > 0 e um inteiro m > 1/, temos
1
0< < ,
m
ou seja, z = 1/m um ponto singular na vizinhana 0 < |z| < (figura 2).
y
e
1/m
x
0
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
b1 b2 bn
f(z) = an (z z0 )n + + 2
+ + n
+ , 0 < |z z0 | < R2 .
n=0
z z0 (z z0) (z z0)
Em particular,
1 f(z)dz
bn = , n = 1, 2, . . . ,
2i C (z z0 )n+1
onde C um caminho fechado ao redor de z0 , com orientao positiva, contido no interior
do domnio 0 < |z z0 | < R2 (Figura 3).
y
C R2
z0
x
0
Figura 3.
112
Quando n = 1, temos
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
x
0 1 2
Figura 4.
1
Vamos determinar Res = b1 . Temos
z=2 z(z 2)4
1 1 1 1 1
4
= 4
= ( )
z(z 2) (z 2) 2 + (z 2) (z 2)4 z2
1
2
n
1 n (z 2)
= (1)
2(z 2)4 n=0 2n
(1)n
= (z 2)n4 , 0 < |z 2| < 2.
n=0
2n+1
/ /
O coeficiente b1 de 1 (z 2) 1 16. Logo,
( )
dz 1 1 i
4
= 2i Res 4
= 2i = .
C z(z 2) z=2 z(z 2) 16 8
113
onde C o crculo unitrio |z| = 1. Como 1/z 2 analtica em todo plano complexo, exceto
2
em z = 0, o mesmo ocorre com e1/z ; alm disso, o ponto singular isolado z = 0 interior
a C e sabendo que
z z2 z3
ez = 1 + + + + , |z| < ,
1! 2! 3!
podemos escrever a srie de Laurent,
2 1 1 1 1 1 1
e1/z = 1 + 2 + 4 + 6 + , 0 < |z| < .
1! z 2! z 3! z
2
Assim, Res e1/z = b1 = 0, donde
z=0
2
e1/z dz = 2ib1 = 0.
C
114
Exemplo 6.6 Calcule a integral
5z 2
dz
C z(z 1)
x
0 1 2
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,
5z 2
dz = 2i(B1 + B2 ) = 2i(2 + 3) = 10i.
C z(z 1)
115
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
[ ( )]
1 1
f(z)dz = 2i Res 2 f .
C z=0 z z
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 = 0 e bm+1 = bm+2 = = 0.
Ento, a expanso em (6.1) toma a forma
b1 b2 bm
f(z) = an (z z0 )n + + 2
+ + , 0 < |z z0 | < R2 ,
n=0
z z0 (z z0 ) (z z0 )m
onde bm = 0. Neste caso, o ponto singular isolado z0 chamado polo de ordem m. Quando
m = 1, o ponto chamado polo simples.
116
Exemplo 6.8 Observe que
z 2 2z + 3 z(z 2) + 3 3 3
= =z+ = 2 + (z 2) + , 0 < |z 2| < ,
z2 z2 z2 z2
Aqui, o ponto z0 chamado ponto singular removvel. Neste caso, Res f(z) = 0. Assim,
z=z0
podemos redefinir a funo f em z0 pondo f(z0 ) = a0 e a expanso em (6.2) fica vlida em
|z z0 | < R2 . Portanto, f torna-se analtica em z0 , ou seja, a singularidade z0 foi removida.
1/z 1 1 1 1 1 1
e = n = 1 + + 2 + , 0 < |z| < ,
n=0
n! z 1! z 2! z
117
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.3 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
(z)
f(z) = , (6.3)
(z z0 )m
e
(m1) (z0 )
Res f(z) = se m 2.
z=z0 (m 1)!
Demonstrao: Suponha que f(z) tenha a forma (6.3). Desde que (z) analtica em z0
temos a expanso
(z0 ) (z0 ) 2 (m1) (z0 ) m1 (n) (z0 )
(z) = (z0 )+ (zz0 )+ (zz0 ) + + (zz0 ) + (zz0 )n ,
1! 2! (m 1)! n=m
n!
quando 0 < |z z0 | < . Esta srie de Laurent, juntamente com/o fato de ser (z0 ) = 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.
118
Ento, temos a representao
m2 m1
(z) = bm +bm1 (zz0 )+ +b2 (zz0 ) +b1 (zz0 ) + an (zz0 )m+n , |zz0 | < R2 .
n=0
temos
(z)
f(z) = , onde (z) = z 3 + 2z.
(z i)3
A funo (z) inteira, e (i) = i3 + 2i = i = 0. Ento, a funo f tem um polo de ordem
3 em z = i. O resduo em z = i
(i) (6z)z=i 6i
B= = = = 3i.
2! 2! 2
Exemplo 6.14 Suponha que
(log z)3
f(z) = onde log z = ln r + i, r > 0, 0 < < 2.
z2 + 1
Para encontrar o resduo de f em z = i, escrevemos
(z) (log z)3
f(z) = onde (z) = .
zi z+i
A funo (z) analtica em z = i; desde que
(log i)3 (ln 1 + i/2)3 3
(i) = = = = 0,
2i 2i 16
3
o resduo procurado (i) = .
16
119
Exemplo 6.15 Se consideramos a funo
senh z
f(z) = ,
z4
Exemplo 6.16 Desde que z(ez 1) uma funo inteira e seus zeros so os pontos
z = 2ni, n = 0, 1, 2, . . . ,
Da,
( ) ( )
z z z2 z3 z z2 z3
z(e 1) = z 1 + 1 + + + + = z + + +
1! 2! 3! 1! 2! 3!
( )
2 z z2
= z 1+ + + , |z| < .
2! 3!
Ento,
1
1 2 (z)
f(z) = ( ) = 1 + z/2! + 2z /3! + = 2 ,
z z2 z z
z2 1 + + +
2! 3!
1
onde (z) = . Desde que, (z) uma funo analtica no ponto
1 + z/2! + z 2 /3! +
z = 0 e (0) = 1 = 0, z = 0 um polo de segunda ordem; alm disso, o resduo de f em
z = 0 B = (0). Como
( )
1 2z
+ +
2! 3!
(z) = ( )2
z z2
1+ + +
2! 3!
Quando z0 um polo de uma funo f, existe ainda, uma outra maneira de calcular
Res f(z). o que est descrito no seguinte teorema:
z=z0
120
Demonstrao: Como f tem um polo de ordem m 1 em z = z0 , temos o seguinte
desenvolvimento em sries de Laurent,
b1 b2 bm
f(z) = an (z z0 )n + + 2
++ , bm = 0, 0 < |z z0 | < R2
n=0
z z0 (z z0 ) (z z0 )m
= bm + + b2 (z z0 )m2 + b1 (z z0 )m1 + a0 (z z0 )m
+a1 (z z0 )m+1 + ,
dm1
[(z z0 )m f(z)] = (m 1)!b1 + m!a0 (z z0 ) +
dz m1
dm1
lim [(z z0 )m f(z)] = (m 1)!b1 = (m 1)! Res f(z)
zz0 dz m1 z=z0
1 1
Res f(z) = lim(z 3)f(z) = lim 2
=
z=3 z3 z3 (z 1) 4
121
6.5 Zeros de funes analticas
Suponha que uma funo f analtica num ponto z0 . Sabemos que todas as derivadas
f (n) (z), n = 1, 2, . . ., existe em z0 . Se f(z0 ) = 0 e se existe um inteiro positivo m tal que
f (m) (z0 ) = 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.
Teorema 6.5 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)
122
Exemplo 6.18 A funo inteira f(z) = z(ez 1) tem um zero de ordem m = 2 em z0 = 0,
pois f (z) = ez 1 + zez , f (z) = ez + ez + zez = 2ez + zez e
f(0) = f (0) = 0 e f (0) = 2 = 0.
Usando sries, vimos que esta funo analtica em z = 0 (e mais, ela inteira). Logo,
ez 1
f(z) = z(ez 1) = (z 0)2 g(z) = z 2 se z = 0 e f(0) = 0.
z
Nosso prximo teorema diz que os zeros de uma funo analtica so isolados.
Teorema 6.6 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) = 0 numa
vizinhana 0 < |z z0 | < de z0 .
123
Teorema 6.8 (Quociente de funes analticas) Sejam p e q duas funes analticas num
ponto z0 . Se
p(z0 ) = 0, q(z0 ) = 0 e q (z0 ) = 0,
onde g(z) analtica e no nula em z0 . Alm disso, o teorema anterior nos diz que z0
um polo simples de p(z)/q(z); e a equao (6.6), nos fornece
p(z)/g(z)
.
z z0
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 = 0, q(n) = 0 e q (n) = (1)n = 0,
124
Exemplo 6.21 O resduo da funo
tanh z senh z
f(z) = =
z2 z 2 cosh z
Desde que ( ) ( )
i i
p = senh = i sen = i = 0
2 2 2
e ( ) ( ) ( )2 ( )
i i i i 2
q = 0, q = senh = i = 0,
2 2 2 2 4
obtemos que z = i/2 um polo simples de f e que seu resduo
p(i/2) 4
B= = .
q (i/2) 2
6.7 Exerccios
1) Encontre o resduo em z = 0 das funes
( )
1 1 z sin z cot z sinh z
(a) 2
(b) z cos ; (c) ; (d) ; (e) .
z+z z z z4 z 4 (1 z2)
Respotas: (a) 1; (b) 1/2; (c) 0; (d) 1/45; (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) 2
; (c) z 2 e1/z ; (d) 2 .
z (z 1) z 2z
Respotas: (a) 2i; (b) 2i/e; (c) i/3; (d) 2i.
125
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.
z5 1 1
(a) (b) ; (c) .
1 z3 1 + z2 z
Respotas: (a) 2i; (b) 0; (c) 2i.
4) Considere os polinmios
P(z) = a0 + a1 z + a2 z 2 + + an z n , an = 0
e
Q(z) = b0 + b1 z + b2 z 2 + + bm z m , bm = 0
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 cosh z 1 e2z e2z
(a) (b) ; (c) .
z3 z4 (z 1)2
Respotas: (a) m = 1, B = 1/2; (b) m = 3, B = 4/3; (c) m = 2, B = 2e2 .
6) 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.
z2 + 2 ( z )3 ez
(a) (b) ; (c) 2 .
z1 2z + 1 z + 2
Respotas: (a) m = 1, B = 3; (b) m = 3, B = 3/16; (c) m = 1, B = i/2.
7) Mostre que
z 1/4 1+i
(a) Res = , |z| > 0, 0 < arg z < 2;
z=1 z + 1 2
Log z + 2i
(b) Res 2 2
= ;
z=i (z + 1) 8
z 1/2 1i
(c) Res 2 = , |z| > 0, 0 < arg z < 2.
z=i (z + 1)2 8 2
126
8) Encontre o valor das integrais, onde C o crculo indicado, sempre orientado no
sentido anti-horrio.
3z 3 + 2
(a) 2
dz, onde C : (I) |z 2| = 2; (II) |z| = 4.
C (z 1)(z + 9)
dz
(b) 3
, onde C : (I) |z| = 2; (II) |z + 3| = 3.
C z (z + 4)
cosh z
(c) 2
dz, onde C |z| = 2.
C z(z + 1)
Respotas: (a) (I) i e (II) 6i; (b) (I) i/32 e (II) 0; (c) 4i.
127
6.8 Aplicaes
Se o limite acima existir, dizemos que a integral I1 converge; caso contrrio ela diverge.
Analogamente,
0 0
I2 = f(x)dx = lim f(x)dx,
R R
O valor principal de Cauchy para f(x)dx definido por
R
V. P. f(x)dx = lim f(x)dx (6.10)
R R
Se a integral em (6.9) converge (isto , I1 e I2 convergem)
seu valor V. P.
f(x)dx.
Mas, a existncia do limite em (6.10), no significa que f(x)dx convirja. De fato, o
leitor pode verificar facilmente que se f(x) = x, ento V. P. xdx = 0, mas xdx
diverge.
Agora, se f for uma funo par, ou seja, f(x) = f(x), para todo x R, temos
R 0 R R
f(x)dx = f(x)dx + f(x)dx = 2 f(x)dx
R R 0 0
ou ainda,
R R
f(x)dx = 2 f(x)dx.
R 0
Assim, se V. P.
f(x)dx existe, I1 e I2 convergem e
V. P. f(x)dx = 2 f(x)dx = f(x)dx.
0
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).
128
y
zn CR
z3
z 1 z2
x
-R 0 R
Figura 1.
teremos n
R
V. P. f(x)dx = lim f(x)dx = 2i Res f(z)
R R z=zk
k=1
e se f for par,
n
f(x)dx = V. P. f(x)dx = 2i Res f(z).
z=zk
k=1
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).
129
y
CR
c1
c2 c0
x
-R 0 R
Figura 2.
z2 p(z)
f(z) = 6 = ,
z +1 q(z)
p(cn ) cn2 1
Kn =
= 5
= 3 , n = 0, 1, 2.
q (cn ) 6cn 6cn
Ento,
( ) ( )
1 1 1 1 1 1
2i(K0 + K1 + K2 ) = 2i i/6 3
+ 3+ 5i/6
= 2i + = ,
6(e ) 6i 6(e )3 6i 6i 6i 3
130
A prova do limite segue imediatamente do seguinte fato:
R 3 /R 3
lim MR R = lim 6 = lim = 0.
R R R 1 R 1 1/R 6
Teorema 6.9 Seja f(z) = p(z)/q(z) uma funo racional, onde o grau de p(z) n e o
i
de q(z) m n + 2. Se CR for o contorno semicircular z = Re , 0 , ento
CR
f(z)dz 0 quando R 0.
Logo,
R(R + |z1 |)(R + |z2 |) . . . (R + |zn |)
f(z)dz MR R =
(R |w1 |)(R |w2 |) . . . (R |wn+2 |) . . . (R |wm |)
CR
R n+1 + P(z) R n+1 /R m + P(z)/R m
= = 0 quando R ,
R m + Q(z) 1 + Q(z)/R m
131
6.8.2 Integrais imprprias envolvendo funes trigonomtricas
Tambm podemos usar resduos para calcular integrais envolvendo funes
trigonomtricas do tipo
f(x) sen axdx ou f(x) cos axdx
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
R R R
f(x) cos axdx + i sen axdx = f(x)eiax dx
R R R
CR
i
x
-R 0 R
Figura 3.
132
onde K1 = Res[f(z)ei3z ]. Desde que
z=i
ei3z
ei3z (z + i)2 (z) ei3z
f(z)ei3z = = = , (z) = ,
[(z + i)(z i)]2 (z i)2 (z i)2 (z + i)2
e, como
R 1/R 4 /R 3
MR R = = 0 quando R ,
(R 2 1)2 1/R 4 (1 1/R 2 )
conclumos que
lim Re f(z)ei3z dz = 0.
R CR
Portanto,
R
cos 3x cos 3x cos 3x 2
dx = V. P. dx = lim dx = .
(x 2 + 1)2 (x 2 + 1)2 R R (x 2 + 1)2 e3
Assim comono primeiro exemplo desta seo, temos o seguinte teorema para nos ajudar
a mostrar que CR f(z)eiz dz 0 quando R :
Teorema 6.10 Suponha que f(z) = p(z)/q(z) seja racional, sendo n e m os graus de p(z)
i
e de q(z), com
m niaz+ 2. Se CR for um contorno semicircular z = Re , 0 e
a > 0, ento CR f(z)e dz 0 quando R .
133
6.8.3 Integrais definidas
Considere 2
F (sen , cos )d, 0 2 (6.14)
0
ei ei z z 1 ei + ei z + z 1 dz
sen = = , cos = = , d = ,
2i 2i 2 2 iz
transformam (6.14) em ( )
z z 1 z + z 1 dz
F , . (6.15)
C 2i 2 iz
Quando o integrando em (6.15) uma funo racional em z, podemos usar teoria dos
resduos para avaliar a integral.
z z 1 (a) (a) dz
1 + a sen = 1 + a =1+ z z 1 e d = ,
2i 2i 2i iz
donde,
2
d 1 dz 1
= 1 iz
= dz
0 1 + a sen C 1 + (a/2i) z (a/2i) z C iz + (a/2) z 2 (a/2)
2/a
= 2
dz
C z + (2i/a) z 1
Da,
2/a 2/a
f(z) = = .
z2 + (2i/a) z 1 (z z1 )(z z2 )
134
isto , z2 pertence ao exterior de C ; e, desde que |z1 z2 | = 1/a2 (1 a2 )/a2 = 1, temos
1
|z1 | = <1
|z2 |
(z) 2/a
f(z) = , onde (z) =
z z1 z z2
2/a
percebemos que analtica e (z1 ) = = 0. Isto mostra que z1 um polo simples
z z2
e
2/a 2/a 1
K1 = (z1 ) = = = .
z z2 2 1 a2 i 1 a2
i
a
Consequentemente,
2
d 2/a 2
= dz = 2iK1 = .
0 1 + a sen C z 2 + (2i/a) z 1 1 a2
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
d
f(x) = F ()H(, x)d (6.17)
c
135
Exemplo 6.26 A transformada de Laplace da funo f(t) = 1, t 0
b
ezt b 1 ezb
L {1} = zt
e (1)dt = lim ezt dt = lim = lim
0 b 0 b z 0 b z
bxbyi bx
1e 1 e (cos by i sen by) 1
= lim = lim = , Re(z) = x > 0,
b z b z z
podemos garantir a existncia de L {f(t)} quando Re(z) > c; e se (6.18) vale para t 0,
a transformada de Laplace
F (z) = L {f(t)} = ezt f(t)dt
0
analtica no semiplano direito Re(z) > 0. Tais resultados podem ser vistos com detalhes
em um curso de Anlise de Fourier.
onde > c.
y
g + iR
z2
LR
zn z
1 0
x
z3 g
CR
g - iR
Figura 4.
136
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,
{ } [ ]
1 ezt 1 d2 3e
zt
1 d2 zt
f(t) = L 1
= Res = lim (z 0) = lim e
z3 z=0 z 3 2! z dz 2 z3 2 z dz 2
1 1
= lim t 2 ezt = t 2 .
2 z 2
onde R. Como as integrais anteriores so reais e imprprias podemos usar teoria dos
resduos em alguns casos.
137
Captulo 7
Transformaes Elementares
donde observamos que (7.1) expande ou contrai o raio de z pelo fator a = |A| e o gira
atravs do ngulo = arg A em torno da origem; assim, a imagem de uma regio similar
a regio inicial.
Temos tambm a transformao
w =z+B (7.2)
onde B C uma constante complexa, que uma translao por meio do vetor B, isto ,
se
w = u + iv, z = x + iy e B = b1 + ib2 ,
138
Y v
-1 + 3i 1 + 3i
y
B 1 + 2i B B
Z = (1 + i)z w=Z+2
C
A A
p/4 p/4
x X u
0 A 0 0 2
Figura 1.
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.
Z
0 1
w
Figura 2.
139
Escrevendo (7.4) como
1
T (z) = , z = 0
z
podemos definir T em 0 e em considerando o que chamaremos de plano complexo
estendido, que consiste do conjunto C incluindo os valores . Desde que,
1 w
e desde que z = = , temos
w |w|2
u v
x= , y= 2 . (7.6)
u2 +v 2 u + v2
A(x 2 + y2 ) + Bx + C y + D = 0 (7.7)
D(u2 + v 2 ) + Bu C v + A = 0 (7.8)
(iii) uma reta (A = 0) que no passa pela origem (D = 0) no plano z transformada num
crculo que passa pela origem no plano w;
140
(iv) uma reta (A = 0) que passa pela origem (D = 0) no plano z transformada numa reta
que passa pela origem no plano w.
Exemplo 7.2 De acordo com as equaes (7.7) e (7.8), uma reta vertical x = c1 (c1 = 0)
transformada por w = 1/z em
( )2 ( )2
u 1 1
c1 = 2 c1 (u2 + v 2 ) + u = 0 u +v = 2
.
u + v2 2c1 2c1
y v
c1 = 1/3
c1 = -1/2
c2 = 1/2
x u
0 1 -1 0 1
c2 = -1/2
c2 = 1/2
Figura 3.
Exemplo 7.3 Uma reta horizontal y = c2 (c2 = 0) transformada por w = 1/z no crculo
( )2 ( )2
v 2 2 2 1 1
c2 = 2 c2 (u + v ) + v = 0 u + v + = .
u + v2 2c2 2c2
141
y v
x = c1 x=c w = 1/z
x u
0 0 1/2c 1/2c1
Figura 4.
Azw + Bz + C w + D = 0, AD BC = 0 (7.10)
142
Agora, escrevendo
az + b
T (z) = , ad bc = 0, (7.13)
cz + d
temos
T () = se c = 0
e ( )
a d
T () = , T = se c = 0,
c c
isto , T contnua no plano z estendido. Alm disso, (7.13) define uma aplicao bijetiva
no plano z estendido, ou seja, para cada w no contra-domnio de T , existe um nico
complexo z tal que T (z) = w. Assim, podemos definir a transformao inversa T 1 , dada
por
T 1 (w) = z T (z) = w.
T 1 () = se c = 0
e (a) d
T 1 = , T 1 () = se c = 0.
c c
Se T e S so duas transformaes lineares fracionrias, a composio S[T (z)] tambm
fracionria. Em particular T 1 [T (z)] = z para cada z no plano estendido.
Finalmente, ressaltamos que sempre existe uma transformo linear fracionria que leva
trs pontos distintos z1 , z2 e z3 do plano z estendido em trs pontos distintos especficos
w1 , w2 e w3 no plano w estendido, como veremos atravs dos prximos exemplos.
Exemplo 7.5 Encontre uma transformao linear fracionria que leva os pontos
z1 = 1, z2 = 0 e z3 = 1
nos pontos
w1 = i, w2 = 1 e w3 = i.
143
ou seja, {
ic ib = a + b
c = ib.
ic + ib = a + b
Consequentemente,
ibz + b b(iz + 1)
w= = , b = 0.
ibz + b b(iz + 1)
Fazendo b = 1, obtemos a transformao
iz + 1 i iz
w= = .
iz + 1 i i+z
Exemplo 7.6 Encontre uma transformao linear fracionria que leva os pontos
z1 = 1, z2 = 0 e z3 = 1
nos pontos
w1 = i, w2 = e w3 = 1.
ou seja, {
ic = a + b i1
b= c.
c = a + b 2
(i + 1)z + (i 1)
w= .
2z
144
Captulo 8
Transformaes Conformes
z = z((t), a t b,
w = f(z(t)), a t b
y v
G
C
w = f(z)
0 0
w0
z0
x u
0 0
Figura 1.
145
8.1 Transformao conforme
Sejam C1 e C2 arcos suaves passando por z0 e 1 , 2 os ngulos de inclinao das
direes das tangentes C1 e C2 no ponto z0 . Sabemos que
1 = 0 + 1 e 2 = 0 + 2
diz que o ngulo entre 1 e 2 tem mesma magnitude que o ngulo entre C1 e C2 (veja
figura 2).
y v
C2 2
w = f(z)
w0
C1 a
a 1
z0
x u
0 0
Figura 2.
Definio 8.1 Uma transformao w = f(z) dita conforme quando preserva ngulos entre
pares de curvas.
y v
x = c1
w = ez
a
a
y = c2
c2
x u
0 0 ec1
Figura 3.
146
A imagem do ponto z = (c1 , y) w = ec1 +iy com coordenadas polares = ec1 e = y no
plano w, ou seja, a imagem da reta x = c1 o crculo de raio ec1 .
J a imagem de z = (x, c2 ) w = ex+ic2 com coordenadas polares = ex e = c2 , isto
, a imagem da reta y = c2 uma semi reta partindo da origem sobre o raio do ngulo
= c2 (veja figura 3).
Exemplo 8.2 Considere dois arcos suaves u(x, y) = c1 e v(x, y) = c2 (curvas de nvel das
funes de duas variveis u e v) de uma funo
Definio 8.2 Uma transformao que preserva ngulos entre dois arcos suaves mas, no
necessariamente, o sentido chamada transformao isogonal.
1
z1 (t) = t + (2t t 2 )i e z2 (t) = t + (t 2 + 1)i,
2
147
Exemplo 8.4 O ponto z = 0 um ponto crtico
de w = 1 + z 2 que, por sua vez, uma composio entre Z = z 2 e w = 1 + Z . Um raio
em = que parte de z = 0 transformado num raio emanado de w = 1 com ngulo 2
(veja figura 4).
2
z
2
1+z
z
q=a q = 2a q = 2a
0 0 0 1
Figura 5.
w = f(z) = x 2 y2 + i2xy
u = 0, v = 2y2 , 0 y < .
u = 1 y2 , v = 2y, 0 y < ,
v
y 2 1
C2 p/4
C1
p/4
1+i
p/2 p/2
x u
0 0
Figura 6.
148
8.2 Potencial Complexo
O campo vetorial
F (x, y) = = +i (8.2)
x y
chamado campo gradiente e a funo denominada funo potencial ou, simplesmente,
potencial para F .
No estudo de eletrosttica a intensidade do campo eltrico F devido cargas
estacionrias em uma regio do plano dada por F (x, y) = , onde (x, y) o
potencial eltrico. A lei de Gauss diz que a divergncia do campo F zero, se a regio
do plano for livre de cargas, ou seja,
( )
2 2
F = i = 2 2 = 0.
x y x y
149
A forma de D e o fato das condies de contorno serem constantes, sujere que no
depende de y; ou seja, buscaremos uma soluo da forma (x). Assim, a equao de
Laplace
d2
= 0.
dx 2
Integrando duas vezes obtemos a soluo (x) = ax + b. Como (1) = k0 e (1) = k1 ,
devemos ter a(1) + b = k0 e a(1) + b = k1 , donde segue que
k1 + k0 k1 k0
b= e a= .
2 2
Assim, obtemos a seguinte soluo para o problema de Dirichlet:
k1 k0 k1 + k0
(x) = x+ .
2 2
O exemplo anterior pode ser interpretado como a determinao do potencial
eltrosttico entre dois planos condutores infinitos e paralelos que so mantidos em
potenciais constantes. Como harmnica, uma conjugada harmnica pode ser
determinada. Sendo,
k1 k0
= = e = = 0,
y x 2 x y
vemos, pela segunda equao, que uma funo de y apenas; integrando a primeira
equao em relao a y, obtemos
k1 k0
(y) = y.
2
Portanto, uma funo potencial complexo para o problema de Dirichlet do exemplo anterior
(z) = (x) + i(y) ou
k1 k0 k1 + k0 k1 k0 k1 k0 k1 + k0
(z) = x+ +i y= z+ .
2 2 2 2 2
A seguir veremos um teorema de grande utilidade no nosso estudo de problemas de
Dirichlet.
Teorema 8.1 Seja f(z) = u(x, y) + iv(x, y) uma transformao analtica de um domnio D,
no plano z, em um domnio D , no plano w. Se a funo (u, v) for harmnica em D , ento
a funo (x, y) = (u(x, y), v(x, y)) tambm harmnica em D.
Demonstrao: Exerccio.
Com ajuda do teorema anterior, temos os seguintes passos para solucionar um problema
de Dirichlet:
150