Professional Documents
Culture Documents
Sergio L. Zani
Sum
ario
1 Introduc
ao
2 Os n
umeros complexos
3 Representac
ao vetorial de um n
umero complexo
13
4 Forma polar de um n
umero complexo
17
5 Razes de n
umeros complexos
21
25
7 Algumas func
oes elementares
29
8 Limite e continuidade
37
9 Deriva
c
ao e as equac
oes de Cauchy-Riemann
41
10 Func
oes analticas
51
11 Func
oes multivalentes
57
11.1 Raiz nesima . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
11.2 Logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
11.3 Potencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
12 Curvas no plano complexo
63
13 Integrac
ao
67
14 O Teorema de Cauchy-Goursat
75
14.1 Independencia do Caminho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
15 Primitiva
79
16 A f
ormula de Cauchy
85
3
17 Func
oes Harm
onicas
93
18 Seq
u
encias e S
eries
97
19 S
eries de Pot
encias
101
19.1 Serie de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
19.2 Zeros de funcao analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
20 S
eries de Laurent
119
21 Singularidades
127
21.1 Singularidades e Serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . 129
22 O Teorema do Resduo e Aplicac
oes
131
22.1 Integrais Improprias Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
22.2 Outros Tipos de Integrais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Captulo 1
Introduc
ao
Por que precisamos dos n
umeros complexos?
Antes de responder a esta questao vamos dar uma olhada por que ja precisamos estender
o conceito de n
umeros para podermos resolver algumas equacoes algebricas simples. Primeiramente, assumiremos os naturais, N = {1, 2, . . . }, como o conceito primordial de n
umero. Nos
n
umeros naturais estao definidas duas operacoes: a adicao (+) e a multiplicacao ( ou ).
Tambem existe uma ordem natural nestes n
umeros (<). Considere o seguinte
Problema 1 Encontre um n
umero natural que somado a 2 resulta em 1.
Se n for este tal n
umero natural, devera satisfazer
n + 2 = 1.
(1.1)
Como o lado esquerdo da equacao 1.1 e sempre maior do que 2 1 < 2 vemos que nao existe
solucao para este problema dentro dos n
umeros naturais. Assim, primeira extensao do conceito
de n
umero se faz necessaria. Da surgem os n
umeros inteiros
Z = {. . . , 2, 1, 0, 1, 2, . . . }
que ampliam o conceito dos n
umeros naturais e preservam as operacoes e a ordem que ja
existiam anteriormente. O elemento 0 e tal que 0 + m = m para todo M N e, dado n N,
n denota o inteiro que satisfaz (n) + n = 0. Note que problema 1 tem solucao em Z.
Vejamos o seguinte
Problema 2 Encontre um n
umero inteiro cujo dobro seja a unidade.
Se n fosse um inteiro que solucionasse este problema deveramos ter
2n = 1.
(1.2)
e um pouco mais elaborada: primeiro formamos o conjunto de todos pares ordenados (p, q),
com p, q Z, q 6= 0. Depois dizemos que dois pares ordenados (p, q), q 6= 0 e (m, n), n 6= 0 sao
equivalentes se pn = qm. Quando isto acontece, representaremos por pq ou p/q todos os pares
(m, n), n 6= 0 tais que pn = qm, e chamaremos p/q de um n
umero racional. Podemos tambem
definir a soma e a multiplicacao entre dois racionais da seguinte maneira
p m
pn + qm
+
=
q
n
qn
p m
pm
=
,
q n
qn
m, n 6= 0.
Os n
umeros racionais tambem tem uma ordem natural que estende a ordem existente previamente nos inteiros: dados dois racionais r, s podemos supor que r = p/q, q > 0 e s = m/n,
n > 0, e dizemos que r, s se pn < qm. As operacoes e a ordem assim definidas para os n
umeros
racionais preservam as anteriores. Note que 2 apresenta solucao em Q.
Considere agora o
Problema 3 Encontre um quadrado cuja area seja dois.
Se r for a medida do lado de um tal quadrado, deveramos ter
r 2 = 2.
(1.3)
(1.4)
Assim p2 e par e, portanto, p e par (por que?). Logo, podemos escrever p = 2k para algum
inteiro k. Colocando esta informacao na equacao 1.4 obtemos
(2k)2 = 2q 2 4k 2 = 2q 2 2k 2 = q 2 .
Ou seja, q 2 e par e, conseq
uentemente, q tambem e par. Mas isto e impossvel pois p e q nao
possuem divisores comuns que sejam 1 e 1. Concluindo, o problema 3 nao apresenta solucao
em Q, isto e, nao existe nenhum n
umero racional que satisfaca a equacao r 2 = 2. Note porem,
que existe uma infinidade de racionais que satisfazem a desigualdade r 2 < 2 e que podemos
tomar r 2 tao proximo de 2 quanto quisermos. Basta considerar, por exemplo, a seq
uencia de
n
umeros racionais dada por
(
r1 = 1
rn+1 = 12 (rn + r2n ), n 1.
A proxima extensao a ser considerada, a dos n
umeros reais, e mais elaborada do que as
anteriores e nao a apresentaremos aqui. Contudo, o conjunto dos n
umeros reais, R, pode
ser entendido como um conjunto ordenado contendo os n
umeros racionais, sobre o qual estao
definidas duas operacoes (adicao e multiplicacao) que preservam as propriedades anteriores e
satisfazendo o axioma do supremo: todo subconjunto nao vazio X R e limitado superiormente
6
x R,
Captulo 2
Os n
umeros complexos
Considere em C = R R, o plano cartesiano, duas operacoes dadas por:
1. (x1 , y1) + (x2 , y2 ) = (x1 + x2 , y1 + y2 )
e familiar de Algebra
Linear ou Calculo II e como visto, satisfaz as propriedades associativa e
comutativa apresenta um elemento neutro e para todo par ordenado existe um recproco que
somada a ele resulta no elemento neutro. Note que C com a adicao e a multiplicacao por escalar
real e um espaco vetorial sobre R de dimensao dois.
Com relacao `a operacao 2, temos a seguinte
Proposic
ao 1 A operacao definida em C = R R por
(x1 , y1 ) (x2 , y2 ) = (x1 x2 y1 y2 , x1 y2 + x2 y1 )
e associativa e comutativa e satisfaz (1, 0) (x, y) = (x, y), para todo (x, y) R2 .
Alem do mais, se (x, y) 6= (0, 0) entao existe (u, v) C tal que (x, y) (u, v) = (1, 0).
Prova:
1. Associatividade: Por um lado, temos
((x1 , y1) (x2 , y2 )) (x3 , y3 ) = (x1 x2 y1 y2 , x1 y2 + x2 y1 ) (x3 , y3 )
(x1 x2 x3 x3 y1 y2 x1 y2 y3 x2 y1 y3 , x1 x2 y3 y1 y2 y3 + x1 x3 y2 + x2 x3 y1 ).
x
y
(x, y) (u, v) = (x, y)
,
x2 + y 2 x2 + y 2
y 2
xy
xy
x2
= (1, 0) .
,
+
=
x2 + y 2 x2 + y 2 x2 + y 2 x2 + y 2
Por outro,
(x1 , y1) (x3 , y3 ) + (x2 , y2) (x3 , y3 )
= (x1 x3 y1 y3 , x1 y3 + x3 y1 ) + (x2 x3 y2 y3 , x2 y3 + x3 y2 )
= (x1 x3 + x2 x3 y1 y3 y2 y3 , x1 y3 + x2 y3 + x3 y1 + x3 y2 ).
Comparando as expressoes acima obtemos o que queramos mostrar.
Definic
ao 1 O conjunto C munido das operacoes de adicao e multiplicacao definidas acima e
chamado de corpo dos n
umeros complexos.
Vale a pena observar que as seguintes propriedades
1. (x, 0) + (y, 0) = (x + y, 0),
2. (x, 0) (y, 0) = (xy, 0),
x, y R
x, y R
(2.1)
Assim, o n
umero complexo (0, 1) possui quadrado recproco aditivo do elemento neutro da
adicao. Usaremos a notacao i = (0, 1), obtendo
i2 = 1.
Com isto, todo elemento z = (x, y) C pode ser escrito de modo u
nico como z = x1 + yi, ou
ainda z = x + yi. Tambem escreveremos z = x + iy.
Dado z = x + iy, x, y R, o n
umero x e chamado de parte real do n
umero complexo z
e e denotado por z. O n
umero y e chamado de parte imaginaria do n
umero complexo z e e
denotado por z. Temos z = 0 se e somente se z = z = 0.
Com esta nova notacao, as operacoes em C podem ser escritas da seguinte forma
11
x2
y
x
i 2
.
2
+y
x + y2
12
Captulo 3
Representac
ao vetorial de um n
umero
complexo
Ja vimos que um n
umero complexo z = x+iy, x, y R e uma representacao de um par ordenado
(x, y). Assim, podemos representa-lo num plano cartesiano xOy, identificando o eixo x com os
n
umeros reais (os m
ultiplos de 1 = (1, 0)). O eixo y representa os m
ultiplos de i = (0, 1) e sera
denominado de eixo imaginario.
...............................................................................
......
..
...
..
..
..
..
...
..
..
..
..
...
..
..
..
..
e z2 como |z1 z2 |. E imediato que valem as desigualdades z |z| |z| e z |z| |z|.
O conjugado de z = x + iy, x, y R, e definido como z = x iy. Geometricamente, z e a
reflexao do vetor que representa z com relacao ao eixo real.
Note que valem as seguintes propriedades elementares
Proposic
ao 3 Para todo z, z1 , z2 C temos
13
1. |z| = |z|
2. z + z = 2z
3. z z = 2iz
4. z = z
5. z = z z R
6. z1 + z2 = z1 + z2
7. z = z se R.
Exerccio 2 Prove as propriedades acima.
...............................................................................
....z..
..
..
..
...
..
..
..
..
...
..
..
..
..
...
..
..
..
..
x...
1
..
..
..
...
..
..
..
..
...
..
..
..
.
s..
z
Tambem temos
Proposic
ao 4 Para todo z, z1 , z2 C temos
1. |z|2 = zz
2. z1 z2 = z1 z2
3. |z1 z2 | = |z1 ||z2 |
14
4. zz12 =
|z1 |
,
|z2 |
se z2 6= 0
z1 z1 z2
|z1 |
1
1
1
=
z2 z2 z2 = |z2 |2 |z1 z2 | = |z2 |2 |z1 ||z2 | = |z2 |2 |z1 ||z2 | = |z2 | .
5.
seja real.
Temos
Assim,
a + i 1 ai
a a2 i + i + a
2a
1 a2
a+i
=
=
=
+
i
.
1 + ai
1 + ai 1 ai
1 + a2
1 + a2
1 + a2
a+i
1 + ai
= 0 a2 = 1 a = 1 ou a = 1.
x 2y = 1
Exemplo 6 Determine todos os n
umeros complexos cujo quadrado seja igual ao conjugado.
Um n
umero complexo z = x + iy, x, y R e solucao deste problema se e somente se
z 2 = z (x + iy)2 = x iy x2 y 2 + 2xyi = x iy
(
x2 y 2 = x
.
2xy = y y = 0 ou x = 1/2
1+i 3 1i 3
,
}.
{0, 1,
2
2
16
Captulo 4
Forma polar de um n
umero complexo
Dado um n
umero complexo z 6= 0, podemos representa-lo em coordenadas polares como
z = r cos + ir sen = r(cos + i sen ),
(4.1)
onde r = |z| e e o angulo que o vetor representado por z faz com o eixo real medido no sentido
anti-horario em radianos. Devido `a periodicidade das funcoes seno e cosseno, e evidente que a
equacao 4.1 continua valida se substituirmos por + 2k, k Z. Um angulo que satisfaz
4.1 e chamado de argumento do n
umero complexo z e e denotado por arg z. Enfatizamos que
existem infinitos argumentos para um mesmo n
umero complexo. Porem, dado um intervalo de
n
umeros reais da forma I = [0 , o + 2), existe apenas um argumento em I para cada z 6= 0.
y
r
p
Colocando z = x + iy 6= 0, x, y R, vemos que r = x2 + y 2 . Vejamos como se comporta
o arg z [0, 2). Se z for um n
umero real entao arg z = 0 se z > 0 e arg z = se z < 0. Se
z e um n
umero imaginario puro entao arg z = 2 se z > 0 e arg z = 3
se z < 0. Finalmente,
2
se z 6= 0 e z 6= 0 entao = arg z fica determinado pela equacao
tan =
z
z
Temos r = |z| = 2. Como z se encontra no primeiro quadrante temos que a solucao para
tan = 11 = 1 e = 4 . Assim, uma forma polar de z e
.
1 + i = 2 cos + i sen
4
4
b) v = sen i cos .
3
3
cos
+ i sen
2
2
(cos + i sen )
3
3
3
3
cos sen
sen + i cos
sen + sen
cos
= cos
2
2
2
2
3
3
+ i sen +
,
= cos +
2
2
que e uma forma polar.
Exerccio 3 Dado 0 < < , determine uma forma polar dos seguintes n
umero complexo
z = 1 + cos + i sen .
Proposic
ao 5 Seja z 6= 0. Se e um argumento de z entao e um argumento de z.
Prova: Escrevendo z = r(cos + i sen ), tomando o conjugado, obtemos
z = r(cos i sen ) = r(cos() + i sen()).
Proposic
ao 6 Se rj e j representam o modulo e um argumento, respectivamente, de zj C,
para j = 1, 2, entao r1 r2 e 1 + 2 representam o modulo e um argumento de z1 z2 .
18
Corol
ario 1 Se rj e j representam o modulo e um argumento, respectivamente, de zj C,
para j = 1, 2, z2 =
6 0, entao r1 /r2 e 1 2 representam o modulo e um argumento de z1 /z2 .
Prova: Temos
z1
z1 z2
1
=
= 2 r1 r2 (cos(1 2 ) + i sen(1 2 ))
2
z2
|z2 |
r2
r1
= (cos(1 2 ) + i sen(1 2 ))
r2
Observa
c
ao 2 Seja zo = cos o + i sen o , o > 0. Dado z C, temos que zo z e a rotacao do
vetor que representa z pelo angulo o no sentido anti-horario. Se o < 0 a rotacao e no sentido
oposto.
A observacao acima segue imediatamente da proposicao 6 e do corolario 1 notando-se que
|zo | = 1.
A proposicao 6 se estende, por inducao finita, da seguinte maneira:
Proposic
ao 7 Se rj e j representam o modulo e um argumento, respectivamente, de zj C,
para j = 1, . . . , n entao r1 rn e 1 + + n representam o modulo e um argumento de
z1 zn .
Tomando z = z1 = = zn obtemos o seguinte
Corol
ario 2 Se r e representam o modulo e um argumento, respectivamente, de z C, ent
ao
para todo n N temos
z n = r n (cos(n) + i sen(n)).
Alem do mais, se z 6= 0, a formula acima e valida para todo n Z.
Corol
ario 3 (De Moivre) Para todo R e todo n Z temos
(cos + i sen )n = cos(n) + i sen(n).
Prova: Basta notar que | cos + i sen | = 1.
19
1, se r = 0
i, se r = 1
(4k + r)
(4k + r)
r
r
in = cos
+ i sen
= cos
+ i sen
=
2
2
2
2
1, se r = 2
i, se r = 3.
20
Captulo 5
Razes de n
umeros complexos
Nas secoes anteriores vimos como operar com n
umeros complexos. Nesta secao vamos nos ater
a encontrar solucoes para equacoes do tipo
z n = zo ,
(5.1)
em que n N e zo C sao dados. A melhor maneira para tratar este problema e usando a
forma polar de representacao.
Primeiramente, e claro que se zo = 0 entao a equacao 5.1 apresenta somente a solucao z = 0.
Escrevendo z = r(cos + i sen ) e zo = ro (cos o + i sen o ) vemos que 5.1 e equivalente a
r n (cos(n) + i sen(n)) = ro (cos o + i sen o ),
que por sua vez e equivalente a
(
r n = ro
n = o + 2k, para algum k Z
r = n ro
= no +
2k
,
n
para algum k Z.
(5.2)
(5.3)
o 2k
+
.
n
n
ro (cos k + i sen k ).
ou seja, zk+n = zk . Isto significa que podemos nos restringir `as solucoes dadas por
z0 , . . . , zn1 .
(5.4)
Note que os n
umeros em 5.4 sao dois a dois distintos, pois embora tenham o mesmo modulo,
seus argumentos nao diferem por nenhum m
ultiplo inteiro de 2 (veja a observacao 1).
Em resumo, se zo = ro (cos o + i sen o ) 6= 0, a equacao 5.1 apresenta n solucoes (razes)
distintas dadas por
o + 2k
o + 2k
n
+ i sen
,
k = 0, . . . , n 1.
zk = ro cos
n
n
Note que se colocarmos
=
e
k = cos
2k
n
ro
2k
n
o
cos
n
+ i sen
+ i sen
k = 0, . . . , n 1,
o
n
.
.....
.
.
.
...
....
.
.
.
.
...
.....
.
.
.
.
....
As razes de z 8 = 1.
Exemplo 10 Encontre todas as razes de z 4 = 1.
22
1 =
2
8
k = 0, . . . , 3,
ou seja,
0 = 1,
1 = i,
2 = 1
3 = i.
7
7
,
+ i sen
2 cos
4
4
7
7
z0 = 2 cos
,
+ i sen
12
12
15
15
6
+ i sen
z1 = 2 cos
12
12
23
23
6
z2 = 2 cos
.
+ i sen
12
12
23
24
Captulo 6
Alguns subconjuntos do plano
complexo
Ja vimos que a distancia entre dois pontos z1 = x1 + iy1 , z2 = x2 + iy2 , x1 , x2 , y1 , y2 R e dada
por
p
|z1 z2 | = |(x1 x2 ) + i(y1 y2 )| = (x1 x2 )2 + (y1 y2 )2 ,
que nada mais e do que a distancia usual entre dois pontos do plano euclidiano. Desta forma,
definiremos conjuntos abertos, fechados, etc., como feito em Calculo II. Vamos a`s definicoes
Definic
ao 2
1. Se zo C e r > 0, o conjunto
D(zo , r) = {z C; |z zo | < r}
Exemplo 13 O disco fechado e um exemplo de conjunto fechado, bem como uma intersecc
ao
qualquer de discos fechados.
Podemos tambem trazer para o plano complexo as curvas que foram estudadas em Geometria
Analtica como as retas, os crculos, as elipses, etc. Na geometria analtica, estas curvas sao
expressas em termos das coordenadas dos pontos que estao sobre elas. No plano complexo,
entretanto, e mais conveniente expressa-las em termos do ponto z e de seu conjugado z, ou
ainda com relacao ao modulo ou `a distancia. O que permite esta passagem sao as relacoes
existentes entre as partes real e imaginaria de um n
umero complexo com relacao a este n
umero
e o seu conjugado.
Exemplo 14 Considere a equacao geral da reta no plano cartesiano dada por ax + by + c = 0,
a2 + b2 > 0. Enfatizamos que as constantes a, b e c sao n
umeros reais e que um ponto que est
a
sobre esta reta tem coordenadas reais. Mostre que a esta equacao pode ser escrita na forma
z + z + = 0
onde z = x + iy, x, y R e C, R.
Lembre que 2x = z + z e 2iy = z z. Com isto, vemos que um ponto z = x + iy esta sobre
a reta dada se e somente se
a
zz
a bi
a + bi
z+z
+b
+c=0
z+
z + c = 0,
2
2i
2
2
y=x
xy
Exerccio 5 Descreva geometricamente o conjunto R = {z C; z 2 = 1}.
Colocando z = x + iy, x, y R, temos que z 2 = x2 y 2 e, portanto,
z 2 = 1 x2 y 2 = 1,
que representa uma hiperbole.
y
x2 y 2 = 1
zi
= 2}.
Exerccio 6 Descreva geometricamente o conjunto R = {z C; z+i
i 53
28
Captulo 7
Algumas func
oes elementares
Seja D um subconjunto de C. Uma funcao f a valores complexos sobre D e uma relacao
que a cada z D associa um u
nico elemento de C, denotado por f (z). Usaremos a notacao
F : D C, para representar uma funcao definida em D que toma valores em C. As funcoes
z 7 f (z)
z 7 f (z)
v(x, y) = f (x + iy).
z C,
x2
x
+ y2
v(x, y) =
x2
y
,
+ y2
Exerccio 9 Seja
zi
,
z 6= 1.
z+1
Mostre que imagem imagem do conjunto S = {cos + i sen , < < } e o eixo real.
h(z) = (1 + i)
sen cos
1 cos sen
= lim
= lim (1 + cotg ) = +
1 + cos
sen
e como () = h(cos + i sen ), e uma funcao contnua de < < , vemos que a imagem
de S pela funcao h e todo o eixo real.
lim
Definic
ao 3 Definimos a funcao exponencial por
exp z = ex (cos y + i sen y),
onde x = z, y = z.
Proposic
ao 8 Mostre que
1. exp(z1 + z2 ) = exp z1 exp z2 para todo z1 , z2 C;
30
cos z =
exp(iz) + exp(iz)
2
sen z =
exp(iz) exp(iz)
.
2i
Prova:
1. Escrevendo zj = xj + iyj , xj , yj R, j = 1, 2, e utilizando a formula para o produto (veja
6), obtemos
exp(z1 + z2 ) = exp(x1 + x2 + i(y1 + y2 )) = ex1 +x2 (cos(y1 + y2 ) + i sen(y1 + y2 ))
= [ex1 (cos y1 + i sen y1 )][ex2 (cos y2 + i sen y2 )] = exp z1 exp z2 ;
2. basta notar que | cos y + i sen y| = 1 e ez > 0;
3. como exp z 6= 0, para todo n Z, temos
(exp z)n = (ex (cos y + i sen y))n = enx (cos(ny) + i sen(ny))
= exp(nx + iny) = exp(nz);
4. escrevendo z = x + iy, x, y R, temos
exp z = ex (cos y + i sen y)
= ex (cos y i sen y) = ex (cos(y) + i sen(y)) = exp(x iy) = exp z.
5. Se z e real entao z = 0, z = z e pela definicao de exponencial, temos
exp z = ez (cos(z) + i sen(z)) = ez (cos 0 + i sen 0) = ez .
Como z e real tambem temos (iz) = (iz) = 0 e (iz) = z = (iz). Assim
(
(
cos z = exp(iz)+exp(iz)
exp(iz) = cos z + i sen z
2
exp(iz)exp(iz)
.
exp(iz) = cos(z) + i sen(z) = cos z i sen z
sen z =
2i
Observa
c
ao 3 Em virtude da proposicao anterior (veja 5), utilizaremos tambem a express
ao
ez para denotar exp z mesmo quando z C.
31
Observa
c
ao 4 Note que z C tem modulo igual a um se somente se z = ei para algum
R.
Como as expressoes exp(iz)+exp(iz)
e exp(iz)exp(iz)
estao definidas para todo n
umero complexo
2
2i
z e tendo em vista a proposicao 8 item 5, definimos as funcoes seno e cosseno por
Definic
ao 4
cos z =
exp(iz) + exp(iz)
2
sen z =
exp(iz) exp(iz)
,
2i
Proposic
ao 9 Para todo z, z1 , z2 C, temos
1. cos z = cos x cosh y i sen x senh y, onde x = z e y = z;
2. sen z = sen x cosh y + i cos x senh y, onde x = z e y = z;
3. | cos z|2 = cos2 x + senh2 y, onde x = z e y = z;
4. | sen z|2 = sen2 x + senh2 y, onde x = z e y = z;
5. cos z = 0 se e somente se z =
+ k, k Z;
6. sen z = 0 se e somente se z = k, k Z;
7. cos2 z + sen2 z = 1;
8. cos z = cos z;
9. sen z = sen z;
10. cos(z) = cos z;
11. sen(z) = sen z;
12. cos(z1 + z2 ) = cos z1 cos z2 sen z1 sen z2 ;
13. sen(z1 + z2 ) = sen z1 cos z2 + sen z2 cos z1 ;
14. cos(z1 z2 ) = cos z1 cos z2 + sen z1 sen z2 ;
15. sen(z1 z2 ) = sen z1 cos z2 sen z2 cos z1 ;
16. cos(z + 2) = cos z;
17. sen(z + 2) = sen z.
Prova: Colocando x = z e y = z, temos
32
z C.
1.
cos z =
exp(iz) + exp(iz)
exp(y + ix) + exp(y ix)
=
2
2
ey (cos x + i sen x) + ey (cos x i sen x)
=
2
ey + ey
ey ey
=
cos x i
sen x
2
2
= cosh y cos x i senh y sen x;
2.
sen z =
3. de 1 obtemos
| cos z|2 = cosh2 y cos2 x + senh2 y sen2 x
= cosh2 y cos2 x + senh2 y(1 cos2 x)
4. de 2, obtemos
| sen z|2 = cosh2 y sen2 x + senh2 y cos2 x
= cosh2 y sen2 x + senh2 y(1 sen2 x)
= (cosh2 y senh2 y) sen2 x + senh2 y
= sen2 x + senh2 y;
7.
(exp(iz) + exp(iz))2 (exp(iz) exp(iz))2
4
4
exp(2iz) + exp(2iz) + 2 exp(2iz) exp(2iz) + 2
=1
=
4
cos2 z + sen2 z =
8.
cos z =
exp(iz) + exp(iz)
exp(iz) + exp(iz)
=
= cos z;
2
2
9.
sen z =
exp(iz) exp(iz)
2i
10.
cos(z) =
11.
sen(z) =
exp(iz) exp(iz)
= sen z;
2i
exp(iz) + exp(iz)
= cos z;
2
exp(iz) exp(iz)
= sen z;
2i
12. temos
cos z1 cos z2 sen z1 sen z2
1
[(exp(iz1 ) + exp(iz1 ))(exp(iz2 ) + exp(iz2 ))
4
+ (exp(iz1 ) exp(iz1 ))(exp(iz2 ) exp(iz2 ))]
1
[exp(i(z1 + z2 )) + exp(i(z1 z2 )) + exp(i(z1 z2 )) + exp(i(z1 + z2 ))
4
+ exp(i(z1 + z2 )) exp(i(z1 z2 )) exp(i(z1 z2 )) + exp(i(z1 + z2 ))]
1
= [exp(i(z1 + z2 )) + exp(i(z1 + z2 ))] = cos(z1 + z2 );
2
13. temos
sen z1 cos z2 + sen z2 cos z1
1
[(exp(iz1 ) exp(iz1 ))(exp(iz2 ) + exp(iz2 ))
4i
+ (exp(iz2 ) exp(iz2 ))(exp(iz1 ) + exp(iz1 ))]
1
[exp(i(z1 + z2 )) exp(i(z1 z2 )) + exp(i(z1 z2 )) exp(i(z1 + z2 ))
4i
+ exp(i(z1 + z2 )) exp(i(z1 z2 )) + exp(i(z1 z2 )) exp(i(z1 + z2 ))]
1
= [exp(i(z1 + z2 )) exp(i(z1 + z2 ))] = sen(z1 + z2 );
2i
34
Observa
c
ao 5 Note que por 5 e 6 os zeros das funcoes complexas cosseno e seno sao os
mesmos que os zeros das funcoes reais cosseno e seno, respectivamente. Desta forma, podemos
definir as funcoes complexas tg, cotg, sec e cosec de modo analogo ao caso real.
Definic
ao 5 Dizemos que uma funcao f definida num subconjunto D de C e limitada se existir
K > 0 tal que |f (z)| K para todo z D.
Exemplo 19 As funcoes seno e cosseno nao sao limitadas em C.
(ey ey )2
1 + e2A .
4
Tomando K = 1 + e2A , vemos que | cos z| K para todo z D. De modo analogo, | sen z|
K para todo z D.
| cos z|2 = cos2 x + senh2 y 1 +
Definic
ao 6 As funcoes complexas seno e cosseno hiperbolicos sao definidas por:
exp z exp(z)
exp z + exp(z)
senh z =
e
cosh z =
.
2
2
Deixamos como exerccio a verificacao da seguinte
Proposic
ao 10 Temos
1. cosh2 z senh2 z = 1, para todo z C;
2k+1
i
2
para algum k Z;
36
Captulo 8
Limite e continuidade
Definic
ao 7 Sejam f : D C C e zo C. Dizemos que existe o limite de f em zo se existir
L C tal que para cada > 0 existir > 0 tal que
z D, 0 < |z zo | < |f (z) L| < .
Deixamos como exerccio a verificacao de que se existir L C satisfazendo a definicao acima,
ele e o u
nico. Neste caso, usaremos a notacao
L = lim f (z).
zzo
(ii) lim z = zo
zzo
(iii) lim z = zo
zzo
Seja > 0.
(i) Tome > 0 qualquer e da | | = 0 < .
(ii) Tome = . Da, sempre que |z zo | < temos |z zo | < = .
(iii) Tome = . Da, sempre que |z zo | < temos |z zo | = |z zo | = |z zo | < = .
(iv) Tome = . Da, sempre que |z zo | < temos ||z| |zo || |z zo | < = .
Proposic
ao 11 Sejam f, g funcoes tais que existem limzzo f (z) e limzzo g(z). Temos
1. Para quaisquer , C temos
lim (f (z) + g(z)) = lim f (z) + lim g(z);
zzo
zzo
37
zzo
2.
lim f (z)g(z) = lim f (z) lim g(z);
zzo
zzo
zzo
zzo
f (z)
limzzo f (z)
.
=
g(z)
limzzo g(z)
Prova:
1. Faca como exerccio.
2. Coloque L = limzzo f (z) e M = limzzo g(z). Usando a definicao de limite, tome 1 > 0
tal que |f (z) L| < 1 sempre que 0 < |z zo | < 1 . Segue que
|f (z)| |f (z) L| + |L| < 1 + |L|
2(1 + |L|)
+ |M|
< .
(1 + |L|)
2(1 + |L|)
2(1 + |M|)
3. Pela parte anterior, basta mostrarmos que limzzo g(z) = M1 . Dado > 0, pela definicao
de limite existe 1 > 0 tal que
|g(z) M| <
temos que
|M|
|M|
=
2
2
Exemplo 22 Como ja vimos que limzzo z = zo segue da proposicao anterior que se f (z) e
uma funcao polinomial que limzzo f (z) = f (zo ). Alem do mais, se g e tambem polinomial com
g(zo ) 6= 0 entao
f (z)
f (zo )
lim
=
.
zzo g(z)
g(zo )
Exerccio 10 Encontre, se possvel, limz0 zz .
Note que sobre se z 6= 0 e real temos zz = 1 e se z 6= 0 e imaginario puro temos zz = 1.
Como todo disco centrado na origem possui n
umeros real e imaginario puro, conclumos, pela
z
unicidade do limite, que nao existe limz0 z .
Proposic
ao 12 Sejam f : D C C, u e v as partes real e imaginaria de f e zo = xo +iyo
C, xo , yo R. A fim de exista o limite de f em zo e necessario e suficiente que existam os limites
de u e v em (xo , yo ). Em caso afirmativo, vale
lim f (z) =
zzo
lim
(x,y)(xo ,yo )
u(x, y) + i
lim
(x,y)(xo ,yo )
v(x, y).
Prova: Suponha que existam uo = lim(x,y)(xo ,yo ) u(x, y) e vo = lim(x,y)(xo ,yo ) v(x, y). Dado
> 0, existem 1 , 2 > 0 tal que
p
|v(x, y) vo | <
sempre que 0 < |z zo | = (x xo )2 + (y yo )2 < 2 .
2
Tomando = min{1 , 2 }, temos
|f (z) (uo ivo )| = |(u(x, y) uo) + i(v(x, y) vo )| |u(x, y) uo| + |v(x, y) vo | <
+ =
2 2
p
(u(x, y) U)2 + (v(x, y) V )2 = |u(x, y) + iv(x, y) U iV | = |f (z) L| <
p
sempre que 0 < |z zo | = (x xo )2 + (y yo )2 < .
|v(x, y) V |
39
zzo
zzo
zzo
Definic
ao 8 Sejam f : D C C e zo D. Dizemos que f e contnua em zo se
lim f (z) = f (zo ).
zzo
z
z
Observa
c
ao 9 Segue do exemplo 23 que as funcoes exponencial, seno e cosseno tambem s
ao
contnuas.
Proposic
ao 13 Sejam f : D C C e g : C. Se f e contnua em zo D e g e
contnua em o = f (zo ) entao a composta g f : D C tambem e contnua em zo .
Prova: Dado > 0, pela continuidade de g em o , existe 1 tal que
|g() g(o)| = |g() g(f (zo))| <
40
(8.1)
Captulo 9
Derivac
ao e as equa
c
oes de
Cauchy-Riemann
Definic
ao 9 Sejam D C um aberto, f : D C e zo D. Dizemos que f e derivavel em zo
se o seguinte limite existir
f (z) f (zo )
lim
zzo
z zo
ou equivalentemente, caso exista
f (zo + h) f (zo )
.
h0
h
lim
f (zo ) = lim
ou equivalentemente,
|f (zo + h) f (zo ) f (zo )h| |h|
Proposic
ao 14 Se f : D C e derivavel em zo D entao f e contnua em zo .
Prova: Note que
f (z) f (zo )
(z zo )
zzo
z zo
zzo
41
f (z) f (zo )
lim (z zo ) = f (zo ) 0 = 0,
zzo
zzo
z zo
lim
ou seja,
zzo
f (z) f (zo )
z + (zo + )
(z zo )
= lim
= lim
= .
zzo
zzo
zzo z zo
z zo
z zo
lim
f (z) f (zo )
z zo
z zo
=
=
.
z zo
z zo
z zo
Assim, se tomarmos z = zo + h, h R, h 6= 0, obtemos
h
f (z) f (zo )
= = 1.
z zo
h
Por outro lado, tomando z = zo + hi, h R, h 6= 0, obtemos
f (z) f (zo )
hi
=
= 1.
z zo
hi
Como os pontos da forma zo + h e zo + hi podem ficar tao proximos a zo quanto quisermos,
vemos que nao existe
z zo
lim
.
zzo z zo
Valem as regras usuais de derivacao, isto e, temos a
Proposic
ao 15 Sejam D C um aberto, zo D e f, g : D C. Se f e g sao derivaveis em
zo entao
1. (f + g) (zo ) = f (zo ) + g (zo ), onde , C;
2. (f g)(zo ) = f (zo )g(zo ) + f (zo )g (zo );
o )f (zo )g (zo )
, desde que g(zo ) 6= 0.
3. fg (zo ) = f (zo )g(z[g(z
2
o )]
Prova:
42
zzo
= lim
zzo
g(z) g(zo )
f (z) f (zo )
+ lim
= f (zo ) + g (zo );
zzo
z zo
z zo
lim f (z)
zzo
f (z) f (zo )
g(z) g(zo )
+ g(zo ) lim
= f (zo )g (zo ) + g(zo )f (zo );
zz
o
z zo
z zo
zzo
1
g(z)
1
g(zo )
z zo
1
g (zo )
g(zo ) g(z)
=
lim
.
zzo g(z)g(zo ) zzo
z zo
[g(zo )]2
= lim
fn (z) = (z z n1 ) = 1 z n1 + z (n 1)z n2 = nz n1 .
Exemplo 28 Se f (z) = a0 + a1 z + + an z n entao f (z) = a1 + 2a2 z + + nan z n1 .
Exemplo 29 Se gn (z) = z n n N entao gn (z) = nz n1 para todo z 6= 0.
Note que gn =
1
,
fn
fn (z)
nz n1
=
= nz n1 .
[fn (z)]2
z 2n
No captulo anterior vimos que para que uma funcao f : D C C fosse contnua era
necessario e suficiente que as suas partes real e imaginaria fossem contnuas. Como veremos a
seguir, para que f seja derivavel nao bastara que suas partes real e imaginaria tenham derivadas.
Os dois proximos teoremas nos mostram como elas se relacionam.
43
u
v
(xo , yo ) = (xo , yo ).
y
x
(9.1)
u
v
v
u
(xo , yo ) + i (xo , yo ) =
(xo , yo ) i (xo , yo).
x
x
y
y
(9.2)
Alem do mais,
f (zo ) =
Prova: Como f (zo ) existe por hipotese, podemos calcula-la dos seguintes modos:
Primeiro modo: Aproximando do ponto zo = xo + iyo por pontos da forma xo + h + iyo D
com h R.
f (xo + h + iyo ) f (xo + iyo )
f (zo ) = lim
h0, hR
h
u(xo + h, yo ) u(xo , yo)
v(xo + h, yo ) v(xo , yo)
= lim
+i
h0,hR
h
h
v
u
(xo , yo ) + i (xo , yo),
=
x
x
pois como o limite existe, sabemos pela proposicao 12 que tambem existem os limites das partes
real e imaginaria.
Segundo modo: Aproximando do ponto zo = xo + iyo por pontos da forma xo + i(yo + h) D
com h R.
f (xo + i(yo + h)) f (xo + iyo )
f (zo ) = lim
h0, hR
ih
u(xo , yo + h) u(xo , yo)
v(xo , yo + h) v(xo , yo)
= lim
+i
h0,hR
ih
ih
v(xo , yo + h) v(xo , yo )
u(xo , yo + h) u(xo , yo)
= lim
i
h0,hR
h
h
u
v
(xo , yo ) i (xo , yo).
=
y
y
Deste modo,
f (zo ) =
u
v
v
u
(xo , yo ) + i (xo , yo ) =
(xo , yo ) i (xo , yo),
x
x
y
y
Exemplo 30 A funcao
f (z) =
z5
,
|z|4
se z 6= 0
0,
se z = 0
h4
r 4 e4i
f (h) f (0)
|h|4
=
= 4 =
= e4i .
h
h
|h|
r4
Como a expressao acima depende do valor de , vemos que nao existe a derivada de f em z = 0.
Por outro lado, se u = f e v = F, vemos que u(0, 0) = v(0, 0) = 0 e para z = x + iy 6= 0,
x, y R,
f (z) =
z5
(x + iy)5
x5 10x3 y 2 + 5xy 4
y 5 10x2 y 3 + 5yx4
=
=
+
i
= u(x, y) + iv(x, y).
|z|4
(x2 + y 2 )2
(x2 + y 2 )2
(x2 + y 2)2
Agora,
u(x, 0) u(0, 0)
x
u
(0, 0) = lim
= lim = 1,
x0
x0 x
x
x
v
v(0, y) v(0, 0)
y
(0, 0) = lim
= lim = 1,
y0
y0 y
y
y
verificando a primeira das equacoes de Cauchy-Riemann em (0, 0). Tambem,
u(0, y) u(0, 0)
0
u
(0, 0) = lim
= lim = 0,
y0
y0 y
y
x
v
v(x, 0) v(0, 0)
0
(0, 0) = lim
= lim = 0,
x0
x0 y
x
x
verificando a segunda das equacoes de Cauchy-Riemann em (0, 0).
Os resultados obtidos ate agora nao nos dao muita informacao de como calcular derivadas
das funcoes complexas. Com o que sabemos nao vamos muito mais longe do que o calculo das
derivadas de funcoes polinomiais ou funcoes racionais (p(z)/q(z), p e q polinomios).
O proximo teorema nos fornece uma condicao suficiente para que uma funcao complexa
possua derivada. Esta condicao e que, alem de que as partes real e imaginaria desta funcao
existam e satisfacam as equacoes de Cauchy-Riemann, elas tambem sejam de classe C 1 , isto e,
possuam derivadas parciais contnuas.
Teorema 2 Sejam D C um aberto, zo = xo + iyo D, xo , yo R e f : D C uma
funcao tal que u(x, y) = f (z) e v(x, y) = f (z) possuam derivadas parciais de primeira
ao
ordem contnuas em (xo , yo ). Se u e v satisfazem as equacoes de Cauchy-Riemann (9.1) ent
u
u
(xo , yo )r +
(xo , yo)s + 1 (r, s),
x
y
v(xo + r, yo + s) v(xo , yo ) =
v
v
(xo , yo)r +
(xo , yo)s + 2 (r, s),
x
y
(r, s)
2 (r, s)
1
= lim
= 0.
2
2
(r,s)(0,0)
(r,s)(0,0)
r +s
r 2 + s2
Colocando h = r + is, e utilizando as equacoes de Cauchy-Riemann, temos
lim
pois
j (r, s)
|j (r, s)|
r + si = r 2 + s2 0,
Isto mostra que f e derivavel em zo e
f (zo ) =
quando (r, s) 0,
1 = 1, 2.
v
u
(xo , yo) + i (xo , yo ).
x
x
Quanto `a outra formula para f (zo ), basta usar a formula acima e as equacoes de CauchyRiemann.
Observa
c
ao 12 As formulas 9.2 tambem podem ser escritas da seguinte forma
f (z) =
Equivalentemente
f (x + iy) = i f (x + iy).
x
y
f
f
+i
= 0.
x
y
46
u
x
v
(x, y) =
(e cos y) = ex sen y = (ex sen y) =
(x, y).
y
y
x
x
Alem do mais,
exp (z) =
exp(x + iy) =
(e cos y + iex sen y) = ex cos y + iex sen y = exp z.
x
x
v
u
(x, y) =
(sen x cosh y) = cos x cosh y =
(cos x senh y) =
(x, y)
x
x
y
y
e
v
u
(x, y) =
(sen x cosh y) = sen x senh y =
(cos x senh y) =
(x, y).
y
y
x
x
Alem do mais,
sen (z) =
1 U
V
(ro , o ) =
(ro , o ).
ro
r
(9.3)
V
U
(ro , o ) + i
(ro , o ) .
r
r
47
(9.4)
(9.5)
u
u
U
(ro , o ) = (zo )ro sen o +
(zo )ro cos o ,
x
y
(9.6)
V
v
v
(ro , o ) =
(zo ) cos o +
(zo ) sen o
r
x
y
(9.7)
e
v
v
V
(ro , o ) = (zo )ro sen o +
(zo )ro cos o .
(9.8)
x
y
Assim, se u e v satisfazem as equacoes de Cauchy-Riemann, comparando 9.5 com 9.8 e 9.6
com 9.7 obtemos as equacoes 9.3.
Reciprocamente, se U e V satisfazem as equacoes 9.3 entao de 9.5 e 9.8 obtemos
u
v
v
u
(zo )
(zo ) cos o +
(zo ) +
(zo ) sen o = 0
x
y
y
x
e de 9.6 e 9.7
u
u
v
v
(zo )
(zo ) sen o +
(zo ) +
(zo ) cos o = 0,
y
x
y
x
ou seja,
cos o sen o
sen o cos o
u
(z )
x o
u
(z )
y o
v
(z )
y o
v
(z )
x o
0
=
0
cuja u
nica solucao e
u
v
(zo )
(zo ) = 0
x
y
u
v
(zo ) +
(zo ) = 0,
y
x
v
V
sen o V
= cos o
(ro , o )
(ro , o ).
x
r
ro
Agora, se u e v satisfazem as equacoes de Cauchy-Riemann entao
f (zo ) =
v
U
sen o U
u
+i
= cos o
(ro , o )
(ro , o )+
x
x
r
ro
48
sen o V
V
(ro , o )
(ro , o )
+i cos o
r
ro
U
V
V
U
= cos o
(ro , o ) + sen o
(ro , o ) + i cos o
(ro , o ) sen o
(ro , o )
r
r
r
r
U
V
= (cos o i sen o )
(ro , o ) + i
(ro , o ) = eio (U + iV ) (ro , o ).
r
r
r
Observa
c
ao 13 As equacoes 9.3 sao chamadas de equacoes de Cauchy-Riemann na forma
polar.
Exerccio 12 Verifique que a funcao dada por L(z) =
x > 0 e derivavel e calcule a sua derivada.
1
2
U
= 0,
V
=0 e
r
V
=1
z
z
1
rei
1
(log r + i) = ei = 2 = 2 =
= .
r
r
r
|z|
zz
z
r
1
U
V
1
U
= cos ,
=
sen ,
= sen
e
r
2 r
2
2
2
r
2 r
2
r
V
=
cos
2
2
i
i
R (z) = R (re ) = e
r cos + i sen
r
2
2
1
1
1
1
= ei ei 2 = ei 2 = =
.
2R(z)
2 r
2 r
2 rei 2
49
50
Captulo 10
Func
oes analticas
Definic
ao 10 Sejam D um aberto, zo D e f : D C. Dizemos que f e analtica em zo se
a f for derivavel em todos os pontos de algum disco aberto centrado em zo . Dizemos que f e
analtica em D se f for analtica em todos os pontos de D.
Uma funcao analtica em C e chamada de funcao inteira.
Observa
c
ao 14 Usa-se tambem o termo holomorfa como sinonimo de funcao analtica.
Exemplo 33 As funcoes polinomiais, exponencial, seno e cosseno (trigonometricos ou hiperbolicos) sao exemplos de funcoes inteiras, pois sao derivaveis em todo ponto de C.
Exemplo 34 Como toda funcao polinomial possui apenas um n
umero finito de zeros, podemos
ver que as funcoes racionais sao analticas em todos os pontos onde estao definidas.
Exemplo 35 A funcao f (z) = |z|2 so e derivavel na origem. Logo, nao e analtica em nenhum
ponto.
De fato, como as partes real e imaginaria de f sao, respectivamente, dadas por
u(x, y) = x2 + y 2
v(x, y) = 0,
vemos que elas sao de classe C 1 e as equacoes de Cauchy-Riemann sao satisfeitas somente na
origem pois
(
v
u
(x, y) = 2x = 0 = y
(x, y)
x
(x, y) = (0, 0).
u
v
(x, y) = 2y = 0 = x (x, y)
y
Proposic
ao 17 Se f e g sao analticas em zo entao as seguintes funcoes tambem o sao:
1. f + g onde , C;
2. f g
51
Proposic
ao 18 (Regra da Cadeia) Sejam D, C abertos, f : D e g : C. Se f
e analtica em D e g e analtica em entao a composta g f : D C tambem e analtica em
D e vale
(g f ) (zo ) = g (f (zo ))f (zo ),
para todo zo D.
Prova: Apresentaremos apenas a prova em dois casos especiais.
O primeiro caso e quando f (z) e constante. Neste caso, g f tambem e constante e a
conclusao da proposicao e imediata.
O outro caso que consideraremos e quando f (z) 6= f (zo ) para todo z proximo a zo mas
z 6= zo . Neste caso,
g(f (z)) g(f (zo )) f (z) f (zo )
g(f (z)) g(f (zo ))
=
.
z zo
f (z) f (zo )
z zo
(10.1)
Definic
ao 11 Uma poligonal em C e uma reuniao finita de segmentos de reta
.
Ij = {aj (1 t) + bj t C; 0 t 1},
onde aj , bj C, j = 1, . . . , n, satisfazendo b1 = a2 , . . . , bn1 = an .
Definic
ao 12 Um conjunto D de n
umeros complexos e chamado de conexo se quaisquer dois
pontos de D puderem ser conectados por uma poligonal contida em D.
Proposic
ao 19 Seja D um aberto conexo. Se f : D C satisfaz f (z) = 0 para todo z D
entao f e constante em D.
52
=
.
u
v
u
u
u
v u
0
u y + v y = 0
u y + v x = 0
y
Agora, se c = 0, entao u = v = 0 e, portanto, f e constante e igual a zero. Por outro lado,
se c 6= 0 o sistema acima so admite a solucao trivial u
= u
= 0. Voltando a`s equacoes de
x
y
v
v
u u
,
x y
v v
v v
v v
v v
v v
,
=
,
=
,
,
,
= 0.
x y
y x
x y
y x x y
3
y
2
1
1
2
3
3
y
2
1
1
2
3
54
.
1 2
V
U
(r,
)
=
r
(2
sen
2)
=
2r
sen
2
=
(r,
)
r
r
Integrando a primeira equacao, obtemos V (r, ) = r 2 sen 2 + (r), onde a funcao e escolhida
de modo a satisfazer a segunda equacao, isto e,
2r sen 2 =
V
(r, ) = 2r sen 2 (r),
r
Vemos assim, que o metodo usado no exemplo anterior nem sempre se aplica. Poderamos
ter iniciado com v(x, y) = x2 + y 2 e querer encontrar u de classe C 1 tal que f = u + iv fosse
analtica. Neste caso, as equacoes de Cauchy-Riemann nos levariam a
(
u
(x, y) = 2y = v
(x, y)
x
y
v
u
(x, y) = 2x = x
(x, y).
y
Como anteriormente, integrando a primeira equacao, obtemos u(x, y) = 2xy + (y). Como a
segunda equacao tambem precisa ser satisfeita, devemos ter 2x (y) = 2x, que tambem e
impossvel.
Note, entretanto, que o feixe de retas que passa pela origem, que e dado por ax + by = 0,
a, b R, a2 + b2 > 0, e uma famlia ortogonal aos crculos x2 + y 2 = , > 0.
56
Captulo 11
Func
oes multivalentes
11.1
Raiz n
esima
Neste captulo vamos tratar, na sua maior parte,de inversas para algumas funcoes elementares.
Vejamos como isto pode ser feito no caso da funcao de uma variavel real f : R R dada
por f (x) = xn , n N. Quando n e mpar, para cada y R existe apenas um n
umero real x
satisfazendo xn = y. Este n
umero e denotado por n y e a funcao inversa de f e simplesmente
e outra negativa. Por convencao, denotamos a solucao positiva por n y. Assim, a funcao f
quando restrita ao intervalo [0, +) possui como inversa a funcao h : [0, +) [0, +) dada
por h(y) = n y.
Como veremos a situacao no complexo tera de ser tratada de modo diferente. O primeiro
aspecto a ser observado e que a equacao z n = zo sempre possui solucao e, na verdade, se zo 6= 0,
ela possui n solucoes distintas. Esta ocorrencia de solucoes se assemelha ao caso real em que n
e par, quando fizemos uma escolha sobre qual raiz seria escolhida. No entanto, a escolha aqui
deveria ser feita entre as n solucoes existentes.
O outro aspecto a ser considerado decorre do modo como expressamos as razes nesimas
na forma polar. Relembrando, se expressarmos zo = ro eio entao as n razes nesimas de zo
sao dadas por
o + 2k
o + 2k
n
k = 0, . . . , n 1.
+ i sen
= n ro ei(o +2k)/n ,
uk = ro cos
n
n
(11.1)
Fixemos por enquanto uma destas razes e a denotemos por n z. Como a expressao
n
n
z = rei = n rei(+2k)/n
envolve , o argumento de z, devemos verificar se ela nao se altera quando o argumento e
trocado por + 2m, pois esta mudanca nao altera o n
umero complexo z. Isto claramente nao
ocorre pois
n
rei(+2k)/n 6= n rei(+2m+2k)/n
57
se m nao for um m
ultiplo de n. Para se ver livre deste inconveniente podemos limitar a variacao
do argumento de z tomando, por exemplo, < . A fim de simplificar a notacao, vamos
escolher a raiz correspondente a k = 0 na equacao 11.1. Note que se zo e um n
umero real
i
i
negativo entao duas maneiras de representa-lo na forma polar com sao |zo |e
e |zo |e . Embora
a primeira destas representacoes nao esteja dentro do que impusemos para a variacao de , ela
pode se escrita como
|zo |ei = lim |zo |ei .
+
Assim,
n
i
n
enquanto que zo =
|zo |e = n |zo |ei n . Desta forma, a escolha que fizemos deixa descontnua a funcao raiz nesima nos pontos z R, z < 0. Na verdade, qualquer outra escolha
para k em 11.1 produziria o mesmo efeito. Alem do mais, se a restricao no argumento fosse
determinada pela variacao o < o + 2, onde o R, a nova definicao de raiz nesima
apresentaria descontinuidade no raio {reio ; r > 0}.
Antes de apresentarmos a definicao definitiva do
que pretendemos dizer por funcao raiz
n
i/n
quando varia sao aqueles apresennesima note que os u
nicos valores possveis para e
tados em 11.1, com = o e r = ro . Geometricamente, tomando z C, escolhemos um de seus
argumentos e apos isto, rotacionamos os pontos do plano no sentido anti-horario por um angulo
de
2. Com isto, a imagem
do ponto z pela rotacao coincide consigo proprio, porem a expressao
n
n
i(+2)/n . Aplicando mais uma rota
ei/n passar
a
para
e
cao como a anterior
obtemos o novo
n
n
i(+4+)/n
valor de e
. Desta maneira, apos n destas rotacoes o resultado sera ei(2n+)/n que
n
e igual a ei/n .
Definimos a funcao multivalente raiz nesima, n , como sendo a relacao que a cada z
associa todas as n razes dadas como em 11.1. Vale a pena salientar que uma funcao multivalente
nao e uma funcao no estrito senso da definicao de funcao, ja que associa a um elemento do seu
domnio mais de um valor.
Considere agora a funcao
+2k
o < < o + 2
Rk (z) = Rk (rei ) = n rei n ,
que coincide com um dos valores possveis para a raiz nesima. As suas partes real e imaginaria
sao dadas, respectivamente, por
+ 2k
+ 2k
U(r, ) = n r cos
e
V (r, ) = n r sen
n
n
1
sao funcoes de classe C para r > 0 e satisfazem
+ 2k
+ 2k
U
1 1
11 1
1 V
(r, ) = r n 1 cos
=
r n cos
=
(r, )
r
n
n
rn
n
r
e
+ 2k
+ 2k
1 1
11 1
1 U
V
(r, ) = r n 1 sen
=
r n sen
=
(r, )
r
n
n
rn
n
r
que sao as equacoes de Cauchy-Riemann na forma polar. Logo, Rk e analtica e e chamada
11.2
Logaritmo
e w = + 2k,
ou seja, a parte real de w e o logaritmo real de r = |z| e a sua parte imaginaria e um argumento
qualquer de z. Assim,
log z = log |z| + i arg z
(11.2)
onde o logaritmo que aparece no lado direito da igualdade acima e o logaritmo (natural ou
neperiano) real.
Note que o argumento da variavel z e tambem uma funcao multivalente e, assim, devemos
encarar a expressao 11.2 como uma igualdade de conjuntos, ou seja, para cada z 6= 0, log z
representa todos os n
umeros complexos da forma log |z| + i(argo z + 2k), com k Z e argo z e
um argumento de zo fixado.
Exemplo 40 Calcule log i.
Temos
log i = log |i| + i
4k + 1
4k + 1
+ 2k = log 1 + i
=i
,
2
2
2
k Z.
1
1
1
i
log z = e
log r + i = ei = i = .
r
r
r
re
z
Log(1 + i) = log 2 + i .
4
Proposic
ao 20 Se z1 e z2 sao nao nulos entao as seguintes igualdades de conjuntos sao v
alidas:
1. log z1 z2 = log z1 + log z2 ;
2. log zz12 = log z1 log z2 .
Prova: Antes de comecarmos a prova, explicaremos o que queremos dizer com respeito a`
expressao igualdades de conjuntos. No primeiro item isto significa que dado um dos possveis
valores de log z1 z2 e possvel encontrar um valor de log z1 e um valor de log z2 cuja soma seja
igual ao valor dado do logaritmo de z1 z2 e reciprocamente. Isto e, dados um valor de log z1 e
um valor de log z2 e possvel encontrar um valor de log z1 z2 que coincida com a soma dos valores
tomados de log z1 e log z2 . O segundo item e tratado de modo semelhante.
Vamos provar somente o primeiro item. Coloque zj = |zj |eij , onde j e um argumento de
zj , j = 1, 2. Entao z1 z2 = |z1 z2 |ei(1 +2 ) e assim,
log z1 z2 = log |z1 z2 | + i(1 + 2 + 2k) = log |z1 | + i1 + log |z2 | + i(2 + 2k)
e vemos que log |z1 | + i1 e um dos valores de log z1 e log |z2 | + i(2 + 2k) e um dos valores de
log z2 .
Reciprocamente,
log z1 + log z2 = log |z1 | + i(1 + 2m) + log |z2 | + i(2 + 2k)
= log |z1 ||z2 | + i(1 + 2 + 2(m + k)) = log |z1 z2 | + i(1 + 2 + 2(m + k))
60
11.3
Pot
encia
Se z 6= 0 e C definimos
+2k
+ 2k
1
= exp log r n exp i
= n rei n = n z.
n
Note que em geral quando tomamos um ramo do logaritmo a funcao f (z) = z com esta
restricao e chamada tambem de ramo. Note ainda que este ramo e uma funcao analtica pois
e composicao de duas funcoes analticas. No caso de tomarmos o ramo principal do logaritmo,
o ramo da funcao potencia tambem sera chamado de principal.
Exemplo 44 Seja f (z) = z um ramo da funcao potencia. Calcule f (z).
Fixe um ramo do logaritmo com r > 0 e o < < o + 2, dado por log z = log r + i( + 2k).
Podemos usar a regra da cadeia para obter
exp( log z)
1
f (z) = exp( log(z)) log z = exp( log(z)) =
z
exp(log z)
= exp( log z log z) = exp(( 1) log z) = z 1 ,
onde deve ser entendido que z 1 e o ramo da funcao multivalente z 7 z 1 com r > 0 e
o < < o + 2.
Exemplo 45 Encontre todos os valores de ii .
Temos
4k+1
4k + 1
i = exp (i log i) = exp i log |i| + i
+ 2k
= exp
= e 2
2
2
i
Observa
c
ao 15 Algumas propriedades algebricas que sao validas para potenciacao real perdem
a veracidade no caso complexo. Vejamos duas delas.
1. Nao e verdade que sempre que z 6= 0 e , C tem-se z + = z z , nem mesmo no
sentido de igualdade de conjuntos. Basta tomar z = 1, = = 21 e os dois valores
1
1 1
1 1
distintos para z 2 um igual a 1 e o outro igual a 1. Da 1 2 + 2 = 11 = 1 mas 1 2 1 2 =
(1)1 = 1.
2. Nao e verdade que sempre que z 6= 0 e , C tem-se (z ) = z , nem mesmo no
1
, nNe
sentido de igualdade de conjuntos. Basta tomar = p N, p 2, e = np
1
62
Captulo 12
Curvas no plano complexo
Definic
ao 13 Uma curva no plano complexo e uma funcao contnua : [a, b] C, isto e, as
funcoes de uma variavel real , : [a, b] R sao contnuas. Dizemos que a curva e simples
se a t < s b implicar em (t) 6= (s), a menos que t = a e s = b. Dizemos que a curva e
fechada se (a) = (b).
Exemplo 46 (t) = cos t+i sen t, t [0, 2] representa o crculo unitario centrado na origem.
Esta curva e simples e fechada.
Exemplo 47 A cardioide () = ( 21 +cos )ei = ( 21 +cos ) cos +i( 12 +cos ) sen , 0 2
e exemplo de uma curva fechada que nao e simples.
Definic
ao 14 Considere uma curva (t) = x(t) + iy(t), x(t), y(t) R, a t b. Dizemos
que e suave se as funcoes de valores reais x, y : [a, b] R possuem derivada contnua. O
vetor (t) = x (t) + iy (t) e chamado de vetor velocidade ou tangente `a curva em (t). Se
(t) 6= 0 para todo a t b, dizemos que e uma curva regular.
Exemplo 49 Todas as curvas dos exemplos anteriores sao exemplos de curvas suaves e regulares. Vejamos mais especificamente o exemplo 47. Neste caso temos
1
1
i
i
i
() = sen e + i
sen + i
+ cos e = e
+ cos
.
2
2
Como ei 6= 0, vemos que () = 0 se e somente se sen + i( 21 + cos ) = 0, ou seja, sen = 0
e cos = 12 , o que e impossvel. Logo, () 6= 0 para todo 0 2.
Exemplo 50 Considere a curva (t) = t3 + it2 , 1 t 1. Esta curva e suave mas como
(0) = 0, nao e regular.
Definic
ao 16 Seja : [a, b] C uma curva suave. Seja : [c, d] [a, b] uma funcao suave
cuja inversa 1 : [a, b] [c, d] tambem e suave. Diremos que e uma mudanca de parametro
e (t) = ((t)), c t d e uma reparametrizacao da curva .
Observa
c
ao 17 Se : [c, d] [a, b] e uma mudanca de parametro entao temos (t) < 0 para
todo t [c, d] ou (t) > 0 para todo t [c, d]. No primeiro caso, (c) = b e (d) = a; j
a no
segundo, (c) = a e (d) = b.
Exemplo 52 Seja : [a, b] C uma curva suave. Considere : [a, b] [a, b] dada por
(t) = a + b t. Ve-se que e uma mudanca de parametro e (t) = (a + b t), a t b
e uma reparametrizacao de . Note que essa mudanca de parametro inverte a ordem sobre a
qual o traco de e percorrido.
Exemplo 53 Considere (t) = cos t + i2 sen t, 0 t 2. O traco desta curva e uma elipse
2
{(x, y) R2 ; x2 + y4 = 1} que e percorrido no sentido anti-horario. Fazendo-se a mudanca do
exemplo 52 obtemos (t) = (0+2t) = (2t) = cos(2t)+i2 sen(2t) = cos ti2 sen t
que representa a mesma elipse, porem percorrida no sentido horario.
` vezes nos deparamos com tracos de curvas que sao mais facilmente parametrizaveis por
As
partes, ou seja, sabemos parametrizar partes de um traco da curva e queremos, a partir da,
parametrizar todo o traco. Neste caso, precisamos saber como proceder para colar estes pedacos
(arcos) da curva. Vejamos como fazer. Considere duas curvas 1 : [a, b] C e 2 : [c, d] C
tais que 1 (b) = 2 (c).
Definimos : [a, b + d c] C por
(
1 (t),
se a t b
(12.1)
(t) =
2 (t + c b),
se b t b + d c.
Note que a condicao 1 (b) = 2 (c) assegura a continuidade de . No entanto, mesmo que 1
e 2 sejam suaves, podemos ter que nao exista a derivada de em t = b. Observe que o traco
de e a reuniao dos tracos de 1 e 2 .
Definic
ao 17 A curva dada por 12.1 e chamada de justaposicao das curvas 1 e 2 .
Definic
ao 18 Sejam j : [aj , bj ] C, j = 1, . . . , n, curvas suaves tais que 1 (b1 ) = 2 (a2 ), . . . ,
n1 (bn1 ) = n (an ). A justaposicao das curvas 1 , 2 , . . . , n e chamada de caminho.
Observa
c
ao 18 As definicoes de caminhos fechados e simples sao analogas `as definicoes usadas para curvas.
Definic
ao 19 Um contorno e um caminho fechado e simples.
Exemplo 54 A justaposicao das curvas 1 (t) = t, 0 t 1, 2 (t) = 1 + it, 0 t
1, 3 (t) = 1 t + i(1 t), 0 t 1, e o caminho cujo traco representa o triangulo de vertices
0, 1 e 1+i. Este caminho e exemplo de um contorno.
65
66
Captulo 13
Integra
c
ao
Definic
ao 20 Seja g : [a, b] C uma curva (contnua) com u(t) = g(t) e v(t) = g(t). A
integral de g sobre [a, b] e definida por
Z
g(t) dt =
Observa
c
ao 19
Rb
u(t) dt + i
g(t) dt =
Rb
a
v(t) dt.
g(t) dt e
Rb
a
g(t) dt =
Rb
a
g(t) dt.
Proposic
ao 22 Se f, g : [a, b] C sao contnuas e C entao
1.
2.
Rb
(f (t) + g(t)) dt =
a
Rb
a
f (t) dt =
Rb
a
Rb
a
f (t) dt +
f (t) dt;
Rb
a
g(t) dt;
R
R
b
b
3. a f (t) dt a |f (t)| dt.
Prova:
1. Colocando u1 = f, v1 = f, u2 = g e v2 = g, obtemos
Z
(f (t) + g(t)) dt =
=
=
u1 (t) dt + i
v1 (t) dt +
u2 (t) dt + i
67
v2 (t) dt =
f (t) dt +
g(t) dt;
2. Se e real temos
Z b
Z b
Z b
Z b
f (t) dt =
(u1(t) + iv1 (t)) dt =
u1 (t) dt + i
v1 (t) dt
a
u1 (t) dt + i
a
v1 (t) dt =
a
Z
u1 (t) dt + i
Z b
b
v1 (t) dt =
f (t) dt.
a
Agora,
b
if (t) dt =
(v1 (t)) dt + i
=i
Z
b
a
u1 (t) dt =
u1 (t) dt + i
b
a
v1 (t) dt + i
u1 (t) dt
Z b
v1 (t) dt = i
f (t) dt.
a
f (t) dt + i
f (t) dt = ( + i)
f (t) dt =
f (t) dt;
3. Coloque
i
re =
f (t) dt.
Temos
Z b
Z b
Z b
i
f (t) dt =
ei f (t) dt
f (t) dt = r = e
a
a
a
Z b
Z b
i
=
e f (t) dt =
ei f (t) dt
a
R
b
pois a f (t) dt e real. Da,
Z b
Z b
Z b
i
ei f (t) dt
f (t) dt =
e f (t) dt
a
i
e f (t) dt =
68
|f (t)| dt.
Definic
ao 21 Sejam : [a, b] C uma curva suave e f : C uma funcao contnua.
A integral de linha de f sobre a curva e definida por
Z
Z b
f (z) dz =
f ((t)) (t) dt.
Note que g(t) = f ((t)) (t) e uma curva contnua se f e sao como na definicao acima.
Se colocarmos u = f , v = f , x = e y = entao
Z
Z
f (z) dz = f ((t)) (t) dt =
onde as u
ltimas integrais sao integrais de linha como visto em Calculo III.
Valem as seguintes propriedades:
Proposic
ao 23 Se f1 , f2 : C C sao contnuas e : [a, b] C e suave entao
Z
Z
Z
[1 f1 (z) + 2 f2 (z)] dz = 1 f1 (z) dz + 2 f2 (z) dz, onde 1 , 2 C.
+i
= (1 + i1 )
[1 v1 + 1 u1 + 2 v2 + 2 u2 ]dx + [1 u1 1 v1 + 2 u2 2 v2 ]dy =
u1 dx v1 dy + i
v1 dx + u1 dy + (2 + i2 )
= 1
f1 (z) dz + 2
69
u2 dx v2 dy + i
f2 (z) dz.
v2 dx + u2 dy =
Proposic
ao 24 Sejam f : C C uma funcao contnua, e 1 : [a, b] curva suave. Se
: [c, d] [a, b] e uma mudanca de parametro e 2 e a reparametrizacao de 1 obtida atraves
de entao
(R
Z
f (z) dz, se e crescente,
2
R
f (z) dz =
2 f (z) dz, se e decrescente.
1
Prova: Provaremos apenas o caso em que e decrescente. O outro caso e deixado como
exerccio.
Como 2 (t) = 1 ((t)), temos 2 (t) = 1 ((t)) (t). Como e decrescente, (c) = b e
(d) = a. Assim, fazendo a mudanca = (t), obtemos
Z d
Z
Z d
f (z) dz =
f (2 (t))2 (t) dt =
f (1 ((t)))1 ((t)) (t) dt =
2
=
Prova:
a
b
f (1 ( ))1 ( )d
Exemplo 55 Se n Z, calcule
it
b
a
f (1( ))1 ( )d
f (z) dz
(z z0 )n dz,
R 2
=R
n+1
Assim,
cos((n + 1)t) R
n+1
sen((n + 1)t) dt =
2
2
cos((n
+
1)t)
sen((n
+
1)t)
+ Rn+1 i
= 0.
= Rn+1 i
n+1
n
+
1
0
0
Z
(
2i
(z z0 )n dz =
0
1
se n = 1,
se n 6= 1.
70
1
z
1
dz =
z
2
0
ieit
1
it
ie
=
.
2 + eit
2 + eit
ieit
dt =
2 + eit
(t) dt =
0
j=1
Observa
c
ao 20 A propriedade enunciada na proposicao 23 continua valida para caminhos.
R
Exemplo 57 Calcule z dz onde o traco de e o triangulo de vertices 0, 1 e i percorrido no
sentido anti-horario.
71
2 (t) = 1 t + it, 0 t 1,
3 (t) = (1 t)i, 0 t 1,
obtemos
Z
Z
z dz =
Deste modo,
dt + i
0
z dz =
z dz =
z dz +
(t 1 t) dt + i
z dz +
(1 t t) dt
1
1
t2
(1 t) dt = t = .
2 0 2
z dz =
1
(1 2t) dt = 1 + i(t t2 )0 = 1
(1 t)i(i) dt =
1
t dt = ,
2
(1 t + it)(1 + i) dt =
=
Z
z dz =
1
1
1 + = 0.
2
2
Definic
ao 23 Se : [a, b] C e uma curva suave, definimos o comprimento de por
Z b
() =
| (t)|dt.
a
| (t)| =
72
2 1 + cos t.
1 + cos t dt =
0.5
0.5
1.5
0.5
Z
Z 1 cos2 t
sen2 t
dt = 2 2
dt =
=2 2
1 cos t
1 cos t
0
0
Z | sen t|
Z
sen t
=2 2
dt = 2 2
dt =
1 cos t
1 cos t
0
0
Z d
1 cos t dt = 4 2 1 cos t =
=4 2
0
0 dt
= 4 2( 2 0) = 8.
Proposic
ao 25 Se : [a, b] C e um caminho e f : C e contnua, entao
Z
f (z)dz max |f (z)|(),
onde e o traco de .
Em particular, se |f (z)| M, para todo z entao,
Z
f (z)dz M().
j=1
j=1
73
f (z)dz =
f
((t))
(t)dt
|f ((t))|| (t)|dt
=m
m| (t)|dt
| (t)|dt = m().
R
Exemplo 59 Utilize a proposicao 25 para obter uma estimativa da integral z n dz onde n Z
e (t) = Reit , R > 0, 0 t .
Precisamos saber o comprimento da curva e o maximo de |z n | sobre o seu traco. Ora, o
comprimento e R e para todo 0 t , temos |(Reit )n | = Rn |eint | = Rn . Assim,
Z
n
z dz Rn R = Rn+1 .
lim
z n dz = 0.
1
dz, onde (t) = Reit , 0 t 2, R > 1.
z4 + 1
1
z 4 +1
1
|R4 e4it
+ 1|
1
||R4 e4it |
1|
|R4
1
1
= 4
1|
R 1
onde foi usada a seguinte versao da desigualdade triangular: ||a| |b|| |a + b|, a, b C.
Desta forma,
Z
1
2R
1
dz
z 4 + 1 R4 1 () = R4 1 .
74
Captulo 14
O Teorema de Cauchy-Goursat
Neste captulo faremos uso do Teorema de Green como visto em Calculo III.
Teorema 5 (Teorema de Green) Sejam um contorno orientado no sentido anti-hor
ario
1
P dx + Qdy =
x
y
R
= R R
Observa
c
ao 21 R
Teorema 6 (Teorema de Cauchy-Goursat) Sejam e R como no enunciado do Teorema
entao
de Green. Se f e uma funcao analtica definida em um aberto contendo R
Z
f (z)dz = 0.
Prova: A demonstracao que faremos sera somente no caso em que f e de classe C 1 . Esta parte
e devida a Cauchy. A parte sem a hipotese de f ser de classe C 1 e bem mais elaborada e e
creditada a Goursat.
Coloque u = f e v = f . Aplicando o teorema de Green, obtemos
Z
Z
Z
f (z)dz = udx vdy + i vdx udy =
ZZ
ZZ
(v) u
u v
=
dxdy + i
dxdy =
x
y
x y
R
R
ZZ
ZZ
v u
u v
=
dxdy + i
dxdy = 0
+
x y
x y
R
R
pois, pelas equacoes de Cauchy-Riemann,
u
y
v
= x
e
75
u
x
v
.
y
R 1
dz onde = eit , 0 t 2.
Exemplo 61 Calcule z2
1
Como o contorno delimita a regiao R = {z C; |z| < 1} e f (z) = z2
e claramente
D1
D2
D3
R
Exemplo 65 Se n N entao z n dz = 0. para qualquer contorno . Em particular, tomandose n = 2 vemos que
Z
Z
2
2
(x y )dx 2xydy = 2xydx + (x2 y 2)dy = 0.
14.1
Independ
encia do Caminho
Definic
ao 25 Seja f : C C uma funcao contnua. Dizemos que a integral de f
independe do caminho se para quaisquer dois caminhos 1 e 2 : [a, b] tais que 1 (a) = 2 (a)
e 1 (b) = 2 (b) tem-se
Z
Z
f (z)dz.
f (z)dz =
Observa
c
ao 23 Se a integral de f independe do caminho, usaremos a notacao
Z z1
f (z)dz
z0
para designar a integral de f ao longo de qualquer caminho contido em que una os pontos z0
a z1 , nesta ordem.
Teorema 8 Seja f : C C uma funcao contnua. Sao equivalentes:
R
(i) f (z)dz = 0 para qualquer caminho fechado contido em ;
(ii) A integral de f independe do caminho.
Prova: Suponha que (i) seja valido. Se 1 e 2 : [a, b] sao dois caminhos tais que
1 (a) = 2 (a) e 1 (b) = 2 (b) entao : [a, b] dado por
(
1 (2t a),
se a t a+b
2
(t) =
2 (a + 2b 2t),
se a+b
t b.
2
77
R
e um caminho fechado. Logo, f (z)dz = 0.
Mas
Z
Z
Z
f (z)dz
f (z)dz
f (z)dz =
Reciprocamente, suponha que (ii) seja valida. Se e um caminho fechado vemos que
(t) = (a + b t), a t b
tem o mesmo traco de , porem e percorrido no sentido oposto.
Alem do mais, como e fechada, tambem e. Assim,
(a) = (b) = (a)
f (z)dz =
f (z)dz.
(14.1)
Mas, ja sabemos que se invertermos o sentido do percurso da curva, a integral muda de sinal.
Assim,
Z
Z
f (z)dz = f (z)dz.
(14.2)
Observa
c
ao 24 O teorema de Cauchy-Goursat (veja 7) continua valido se a integral for feita
sobre caminhos fechados (lembre que um contorno e um caminho fechado simples).
Juntando a observacao acima e o teorema 8 obtemos:
Teorema 9 Seja um conjunto simplesmente conexo. Se f : C e analtica ent
ao a
integral de f independe do caminho.
R
Exemplo 66 Calcule ez dz onde e uma poligonal que liga o ponto z = 0 a z = i.
Como f (z) = ez e uma funcao inteira podemos substituir a poligonal por qualquer outro
caminho que ligue z = 0 a z = i.
Por exemplo, 1 (t) = it, 0 t 1. Temos:
Z 1
Z
1
z
e dz =
eit idt = eit 0 = ei 1.
1
78
Captulo 15
Primitiva
Definic
ao 26 Seja f : C. Dizemos que F : C e uma primitiva de f se F (z) = f (z)
para todo z .
Teorema 10 Se e um conjunto simplesmente conexo e f e uma funcao analtica em ent
ao,
fixado z0 , a funcao
Z
z
F (z) =
f () d,
z0
e uma primitiva de f .
Prova: Como e simplesmente conexo e f e analtica, a funcao F esta bem definida, pois a
integral de f independe do caminho.
Queremos mostrar que para cada z
F (z + h) F (z)
= f (z).
h0
h
lim
F (z + h) F (z) =
f () d.
Como a integral acima independe do caminho, podemos escolher como caminho o segmento
que liga z ate z + h, isto e,
(t) = z + th,
0 t 1.
R z+h
Como z
d = h (exerccio), podemos escrever
F (z + h) F (z)
1
f (z) =
|F (z + h) F (z) hf (z)|
h
|h|
Z
Z z+h
Z z+h
1 z+h
1
=
=
f
()
d
[f
()
f
(z)]
d
f
(z)
d
|h|
|h| z
z
z
79
Z
1
1
max |f ((t)) f (z)|()
[f () f (z)] d
=
|h|
|h| 0t1
= max |f (z + th) f (z)|,
0t1
(15.1)
pois () = ||.
Como f e contnua, dado > 0 existe um > 0 tal que para todo |w| < temos |f (z +
w) f (z)| < .
Assim, se tomarmos h tal que |h| < entao w = th, a t 1, satisfaz |w| = |th| |h| <
e, portanto, |f (z + w) f (z)| < .
Assim segue de 15.1
F (z + h) F (z)
<
f
(z)
h
sempre que |h| < , ou seja,
lim
h0
F (z + h) F (z)
= f (z).
h
Corol
ario 5 Sejam um conjunto simplesmente conexo e f : C uma funcao analtica.
Entao, fixado z0 a funcao F : C dada por
Z z
F (z) =
f () d, z
z0
e analtica.
Prova: Pelo teorema anterior, a derivada de F existe em todo (e e igual a f ). Logo, F e
analtica em .
Proposic
ao 26 Sejam um conjunto simplesmente conexo e f : C uma funcao analtica.
Se F e G sao primitivas de f entao a diferenca entre F e G e constante. Em particular, dado
z0 existe C C tal que
Z
z
F (z) =
f () d + C.
z0
Rz
80
Observa
c
ao 25 Segue do Teorema 10 e da Proposicao 26 que todaR primitiva de uma func
ao
z
analtica definida em um conjunto simplesmente conexo e da forma z0 f () d + C, para algum
z0 e algum C C.
Proposic
ao 27 Sejam um conjunto simplesmente conexo e f : C uma funcao analtica.
Se F e uma primitiva de f e : [a, b] e um caminho entao
Z
f (z) dz = F ((b)) F ((a)).
f (z) dz =
"Z
(b)
(a)
(b)
f (z) dz =
(a)
R 2
Exemplo 67 Calcule ez z dz onde (t) = (1 + cost)eit , 0 t pi.
2
2
2
d 1 z2
( 2 e ) = ez z, temos que F (z) = 21 ez e uma primitiva de f (z) = ez z.
Como dz
Assim,
()
0
Z
1 z 2
1 z 2
1 e4
z2
e z dz = e
= e =
.
2
2
2
(0)
2
1
n
1
se o contorno
Observa
c
ao 26 O mesmo resultado do exemplo 68 e valido para a funcao za
nao contiver o ponto a no seu interior. Neste caso, a primitiva e log(z a).
Vejamos agora como podemos proceder com a integracao sobre um contorno , no caso em
que a funcao a ser integrada nao e necessariamente analtica em todo o interior de .
Considere um contorno e n contornos 1 , . . . , n satisfazendo as seguintes propriedades:
i) cada j esta contido no interior de ;
ii) se j1 6= j2 entao j1 esta contido no exterior de j2 .
Seja R a regiao obtida do interior de eliminando-se cada j bem como o seu interior. Note
que a fronteira de R e a reuniao dos contornos , 1 , 2, . . . , n .
Se f e uma funcao analtica definida em um aberto contendo R e se , 1 , 2 , . . . , n sao
percorridos no sentido anti-horario entao
Z
Z
Z
f (z) dz + +
f (z) dz =
f (z) dz.
(15.3)
A prova deste fato requer mais ferramentas do que dispomos neste curso. No entanto, e facilmente visualizada pelas figuras 15 e 15 onde separamos a regiao R em duas partes simplesmente
conexas.
A fronteira de cada uma destas partes e um contorno e a funcao f e analtica sobre ela e
o seu interior. Assim, a integral de f ao longo de cada um destes dois contornos no sentido
anti-horario se anula. Somando as duas integrais, observamos que o resultado e uma soma de
integrais ao longo de (no sentido anti-horario) e de j (no sentido horario), j = 1, . . . , n.
Ao revertermos a ordem do processo das integrais sobre j , obtemos o resultado.
Exemplo 69 Seja um contorno contendo no seu interior o ponto a C, percorrido no
sentido anti-horario. Verifique que
Z
dz
= 2i.
z a
82
i
0 1
Vamos retirar do interior de um disco fechado, centrado em a e de raio > 0, suficientemente pequeno.
dz
Nesta nova regiao, a funcao f (z) = za
e analtica e por 15.3 temos
Z
dz
=
za
dz
za
dz
=
za
1 it
e idt = 2i.
eit
Exemplo 70 Calcule
Z
onde e a elipse x2 +
y2
4
1
dz
+ 1)
z(z 2
Do interior da elipse retiramos tres conjuntos fechados de raio > 0, suficientemente pequeno, centrado nos pontos 0, i e i.
Neste novo domnio a funcao z(z 21+1) e analtica e
Z
1
dz =
2
z(z + 1)
1
dz +
2
z(z + 1)
1
dz +
2
z(z + 1)
1
dz
+ 1)
z(z 2
.
+ 1)
z 2z +i 2z i
z(z 2
Temos
1
dz =
z(z 2 + 1)
1
1
dz
z
2
1
1
dz
z+i
2
1
dz.
zi
1
dz =
z
1
dz =
z
1
dz = 0, e
z+i
1
dz = 0, e
zi
1
dz = 2i.
zi
1
dz = 2i.
z+i
84
Captulo 16
A f
ormula de Cauchy
Teorema 11 (F
ormula de Cauchy) Sejam um conjunto simplesmente conexo, um contorno contido em orientado no sentido anti-horario. Se f e uma funcao analtica em ent
ao
Z
1
f (z)
f (z0 ) =
dz
(16.1)
2i z z0
para todo z0 contido no interior de .
Prova: Como o interior do contorno e um conjunto aberto, existe r0 > 0 tal que para todo
0 < r < r0 o crculo centrado em z0 de raio r tambem esta contido no interior de .
f (z)
e analtica em \ z0 , segue de
Coloque r (t) = z0 + reit , 0 t 2. Como a funcao zz
0
15.3 que
Z
Z
f (z)
f (z)
dz =
dz.
r z z0
z z0
Agora,
Portanto,
Z
Z
f (z)
f (z)
f (z) f (z0 ) + f (z0 )
dz =
dz =
dz =
z z0
z z0
r z z0
r
Z
Z
f (z) f (z0 )
1
=
dz + f (z0 )
dz =
z z0
r
r z z0
Z
f (z) f (z0 )
dz + f (z0 )2i.
=
z z0
r
Z
Z
f
(z)
f
(z
)
f (z)
0
dz f (z0 )2i =
dz =
z z0
z z0
r
Z 2
f (z0 + f eit ) f (z0 ) it
=
rie dt =
reit
a
Z 2
it
=
(f (z0 + re ) f (z0 ))dt
0
85
Como f e contnua em z0 , dado > 0 existe > 0 tal que |zz0 | < implica em |f (z)f (z0 )| <
/2.
Deste modo, tomando r menor do que r0 e vemos que w = z0 + reit satisfaz, para todo
t [0, 2], |w z0 | = |reit | = r < .
Logo, |f (w) f (z0 )| < /2, isto e, |f (z0 + reit ) f (z0 )| < /2.
Desta maneira,
Z
Z 2
Z 2
f
(z)
it
dz f (z0 )2i
|(f (z0 + re ) f (z0 ))|dt <
dt = .
(16.2)
2
r z z0
0
0
Como a primeira expressao de 16.2 nao depende de , vemos que
Z
f (z)
dz = f (z0 )2i,
r z z0
R
2
Exemplo 73 Vamos refazer o calculo da integral z(z 21+1) dz onde e a elipse x2 + y4 = 1
percorrida no sentido anti-horario, fazendo uso da formula de Cauchy.
f (z)
Como nao e possvel colocar a funcao z(z 21+1) na forma zz
, com f analtica no interior da
0)
0
ao e analtica
elipse e para algum z0 , (veja que a u
nica possibilidade seria f (z) = z(zzz
2 +1) que n
no interior da elipse mesmo quando z0 e tomado dentre um dos valores de 0, i, i).
Vamos percorrer a elipse como mostra a figura abaixo
Devido aos cancelamentos das integrais calculadas nos arcos que se encontram no interior
da elipse (cada um deles e percorrido duas vezes, porem em sentidos opostos), temos
Z
Z
Z
Z
1
1
1
1
dz =
dz +
dz +
dz =
2
2
2
2
z(z + 1)
1 z(z + 1)
2 z(z + 1)
3 z(z + 1)
Z
Z
Z
f2 (z)
f3 (z)
f1 (z)
dz +
dz +
dz,
=
z
2
3 z + i)
1 z i)
86
1
1
, f2 (z) = z 21+1 e f3 (z) = z(zi)
sao analticas sobre 1 , 2 e 3 e seus
onde f1 (z) = z(z+i)
interiores, respectivamente.
Desse modo, podemos aplicar a formula de Cauchy em cada uma das integrais, obtendo
Z
1
dz = 2if1 (i) + 2if2 (0) + 2if3 (i) =
2
z(z + 1)
= 2i(
1
1
) + 2i + 2i( ) = 0.
2
2
R
A integral z12 dz, onde e um contorno contendo a origem no seu interior, nao pode
ser tratada diretamente usando a formula de Cauchy. A razao para isto e que se colocarmos
zz0
z2
0
= zz
, a funcao f (z) = zz
nao e analtica no interior de para qualquer escolha de z0 .
z2
0
Note que nem mesmo a escolha z0 = 0 e u
til aqui, tampouco e possvel usar de argumentos como
no exemplo anterior, em que percorremos a curva usando tres curvas auxiliares. A diferenca
1
aqui e que a funcao z12 so nao esta definida em z = 0 enquanto que z(z 21+1) = z(z+i)(zi)
nao esta
definida para mais de um ponto (da o uso de curvas auxiliares) e as razes de z(z + i)(z i)
sao todas simples (a raz de z 2 e dupla).
O teorema 12, que fornece uma
til para tratar
R 1 generalizacao da formula de Cauchy, sera u
integrais como, por exemplo, z 2 dz.
1
z2
Teorema 12 (F
ormula de Cauchy para derivadas) Sejam , , f e z0 como no teorema
16.1. Entao f possui todas as derivadas em z0 e a n-esima derivada e dada por
Z
n!
f (z)
(n)
f (z0 ) =
dz,
(16.3)
2i (z z0 )n+1
onde e percorrido no sentido anti-horario.
f (z)
dz.
(z z0 )2
(z z0 h) (z z0 )
Z
Z
1
h
1
f (z)
=
f (z)
dz =
dz.
2hi
(z z0 h)(z z0 )
2i (z z0 h)(z z0 )
1
=
2hi
87
zo + h
zo
Deste modo,
Z
Z
Z
f (z)
f (z)
f (z)
1
1
1
1
[f (z0 + h) f (z0 )]
dz =
dz
dz
2
h
2i (z z0 )
2i (z z0 h)(z z0 )
2i (z z0 )2
Z
Z
f (z)[z z0 (z z0 h)]
f (z)
h
1
dz =
dz =
=
2
2i
(z z0 h)(z z0 )
2i (z z0 h)(z z0 )2
Z
h
f (z)
=
dz
(16.4)
2i r (z z0 h)(z z0 )2
e da,
f
(z)
|f (z)|
2M
(z z0 h)(z z0 )2 |(z z0 h)(z z0 )2 | r 3 ,
M()
|h| 2M
() =
|h|
3
2 r
r3
que tende a zero quando h tende a zero.
Logo,
Z
f (z0 + h) f (z0 )
1
f (z)
lim
=
dz.
h0
h
2i (z z0 )2
88
A prova do caso n 2 segue os passos da prova que acabamos de mostrar, com adaptacoes
apropriadas.
Corol
ario 6 Toda funcao analtica e de classe C .
Prova: Dados n N e f analtica, segue do teorema anterior que f (n+1) existe em todo o
domnio de f . Conseq
uentemente, a funcao f (n) e contnua (por ser derivavel).
Corol
ario 7 A derivada de uma funcao analtica e tambem analtica.
R
Exemplo 74 Seja um contorno que envolve a origem. A integral z12 dz pode ser calculada
usando-se a formula 16.3 com f (z) = 1 e z0 = 0, obtendo
Z
1
dz = 2if (0) = 2i0 = 0.
2
z
R z+1
Exemplo 75 Calcule z 3 (z1) dz onde e um contorno percorrido no sentido anti-horario e
que envolve os pontos z = 0 e z = 1.
Se tomarmos os contornos 1 e 2 como na figura 75 entao
Z
Z
Z
z+1
z+1
z+1
dz =
dz +
dz =
3
3
3
z (z 1)
1 z (z 1)
2 z (z 1)
Z
Z
f2 (z)
f1 (z)
dz +
dz,
=
3
2 (z 1)
1 z
z+1
e f2 (z) = z+1
.
onde f1 (z) = z1
z3
Usando a formula de Cauchy para derivada, calculamos
Z
2i
f1 (z)
dz =
f1 (0) = if1 (0).
3
z
2!
1
89
Mas, f1 (z) =
Logo,
2
(z1)2
4
.
(z1)3
e f1 (z) =
Z
f1 (z)
dz = i(4) = 4i.
z3
Agora,
Z
Portanto,
Z
f2 (z)
dz = 2if2 (1) = 4i.
(z 1)
z+1
dz = 4i + 4i = 0.
1)
z 3 (z
z0
f ()d, z
z+h
f () d.
Como a integral acima independe do caminho, podemos escolher como caminho o segmento
que liga z ate z + h, isto e,
(t) = z + th,
0 t 1.
R z+h
Como z
d = h, podemos escrever
F (z + h) F (z)
1
f (z) =
|F (z + h) F (z) hf (z)|
h
|h|
Z
Z
Z z+h
1 z+h
1 z+h
=
f () d
[f () f (z)] d
f (z) d =
|h| z
|h| z
z
Z
1
1
max |f ((t)) f (z)|()
[f () f (z)] d
=
|h|
|h| 0t1
= max |f (z + th) f (z)|,
0t1
(16.5)
pois () = ||.
Como f e contnua, dado > 0 existe um > 0 tal que para todo |w| < temos |f (z +
w) f (z)| < .
90
Assim, se tomarmos h tal que |h| < entao w = th, a t 1, satisfaz |w| = |th| |h| <
e, portanto, |f (z + w) f (z)| < .
Assim segue de 16.5
F (z + h) F (z)
f (z) <
h
F (z + h) F (z)
= f (z).
h0
h
Pelo Corolario 7, F (z) = f (z) tambem e analtica em .
lim
()
|f (z)| =
d
max
2i ( z)2 2 ( z)2
mas () = 2R e para , isto e, | z| = R, temos
f ()
|f ()|
|f ()|
M
( z)2 = | z|2 = R2 R2 .
Logo,
|f (z)|
1 M
M
2R =
,
2
2 R
R
.
|an |r 1
|an |r
|an |r n1 |an |r n
Como
|a1 |
|a0 |
|an1 |
= 1,
lim 1
r
|an |r
|an |r n1 |an |r n
91
|a1 |
|a0 |
1
|an1 |
> .
n1
n
|an |R
|an |R
|an |R
2
2
2
1
.
<
<
n
|p(z)|
|an ||z|
|an |R0n
92
Captulo 17
Func
oes Harm
onicas
Considere f : C, uma funcao analtica. Sabemos que f e de classe C , isto e, possui
derivadas de qualquer ordem em . Segue da que as funcoes u = f e v = f tambem sao
de classe C em .
Como f e analtica, u e v satisfazem as equacoes de Cauchy-Riemann:
u
v
u
v
=
e
=
em .
x
y
y
x
Derivando a primeira das equacoes acima com relacao a x e a segunda com relacao a y,
obtemos
2v
2u
=
x2
xy
Somando-se ambas as equacoes,
2u
2v
=
y 2
yx
em .
2u 2u
2v
2v
+
=
=0
x2 y 2
xy yx
pois v tem derivadas parciais de segunda ordem contnua.
Vemos, assim, que u satisfaz
2u 2u
+
=0
x2 y 2
em .
A equacao acima e chamada de equacao de Laplace e uma funcao de classe C 2 que a satisfaca
e dita harmonica.
Exerccio 14 Prove que v = f , f analtica, e tambem uma funcao harmonica.
Exemplo 76 As funcoes
u1 (x, y) = x2 y 2 = z 2 ,
u2 (x, y) = ex cos y = ez
s
ao exemplos de funcoes harmonicas em C.
93
Exemplo 77 Nao existe funcao analtica cuja parte real seja u(x, y) = x2 + y 2 . Pois, se
existisse, u deveria ser harmonico, porem,
2u
2u
(x,
y)
+
(x, y) = 4 6= 0
x2
y 2
Como vimos, toda parte real de uma funcao analtica e harmonica.
O proximo teorema diz que se u for harmonica em uma regiao simplesmente conexa entao
u e a parte real de alguma funcao analtica.
Teorema 16 Sejam um conjunto simplesmente conexo e u : R uma funcao harm
onica.
Entao existe uma funcao analtica f : C tal que u = f .
Prova: Seja g : C dada por
g=
u
u
i
x
y
2u
2u
g = 2 = 2 =
g
x
x
y
y
e
2u
2u
g =
=
= g
y
yx
xy
x
G =
u
u
+i
=g=
i
x
x
x
y
e tambem,
G =
u
u
i
=g=
i
y
y
x
y
Da,
( u) = 0
x
( u) = 0
y
94
Observa
c
ao 27 A funcao f do teorema acima e dada por
Z z
u
u
f (z) =
dz C,
i
x
y
z0
conforme a prova do teorema 10
Exerccio 15 Verifique que se u e sao como no teorema acima e se : [a, b] e tal que
(a) = (z0 , y0 ) e (b) = (x, y), entao
Z
Z
u
u
u
u
dz = u(x, y) u(x0 , y0 ) + i dy +
i
dx.
x
y
y
x
Definic
ao 27 Seja um aberto. Denotamos por H() o conjunto de todas as funcoes harm
onicas em .
Exemplo 78 H() e um espaco vetorial.
Exemplo 79 Se e simplesmente conexo entao H() = {f ; f : C e analtica}.
Exemplo 80 Seja um conjunto simplesmente conexo que contenha a origem. Se R e tal que
(t) = Reit , 0 t 2 esteja contida em entao, para todo a tal que |a| < R temos
Z 2 2
Z 2 2
1
1
R |a|2
R |a|2
u(a) =
u(z)dt
=
u(Reit dt
(17.1)
2 0
|z a|2
2 0 |Reit a|2
Seja f analtica tal que f = u em .
Se a = 0 entao
1
u(0) = f (0) =
2i
f (z)
dz =
z
Z 2
Z 2
f (Reit )Rieit
1
1
f (Reit )dt =
dt =
2i 0
Reit
2 0
Z 2
Z 2
1
1
it
=
f (Re )dt =
u(Reit )dt
2 0
2 0
Z
R2
a
e tal que
R2
R
R2
=
=R
> R,
w=
|a|
|a|
|a|
95
(17.2)
f (z)
z Ra
1
0=
2i
"
f (z)
2 dz
z Ra
(17.3)
f (z) =
f (z)
1
1
dz =
z a z Ra2
Z
Z 2
|a|2 R2
1
|a|2 R2
1
it
f (z)
dz
=
f
(Re
)
Rieit dt
=
2i
(z a)(za R2 )
2i 0
(Reit a)(Reit a R2 )
Z 2
Z 2
|a|2 R2
1
R2 |a|2
1
it
it
dt
f (Re )
dt
=
f
(Re
)
=
2 0
(Reit a)(a Reit )
2 0
(Reit a)(Reit a)
Z 2
Z 2
2
2
1
1
|z|2 |a|2
it R |a|
dt
=
dt.
=
f (Re )
f
(z)
2 0
2 0
|a Reit |2
|z a|2
Portanto,
1
u(x, y) =
2
1
|z|2 |a|2
f (z)
2 dt =
2
|z a|
u(z)
0
|z|2 |a|2
dt.
|z a|2
|z|2 |a|2
dt =
|z a|2
Ou seja,
Z
R2 |a|2
dt = 2.
|Reit a|2
2
1
dt = 2
.
2
a|
R |a|2
|Reit
o
Observa
c
ao 28 Observe que pela formula 17.1, o valor de u no interior do disco z; |z| R s
depende dos valores de u na fronteira deste mesmo disco.
96
Captulo 18
Seq
u
encias e S
eries
Definic
ao 28 Considere uma seq
uencia de n
umeros complexos (zn ), isto e, uma aplicacao que
para cada n N associa um u
nico n
umero complexo zn . Dizemos que zn e convergente se existir
z C tal que para todo > 0 existe no N satisfazendo
|zn z| <
sempre que n no .
Proposic
ao 28 Se zn e convergente entao existe um u
nico n
umero complexo z satisfazendo a
definicao acima.
Prova: Se z e w satisfazem a definicao acima entao, dado > 0 e possvel encontrar n1 N
tal que
|zn z| < /2
sempre que n n1
e tambem n2 N satisfazendo
|zn w| < /2
sempre que n n2 .
ou
lim zn = z.
Observa
c
ao 30 Geometricamente, o fato de zn z significa que por menor que seja o disco
centrado em zo , sempre sera possvel encontrar no N de modo que zn pertenca a este disco
para todo n no . Em geral, quanto menor o disco, maior sera no .
97
Observa
c
ao 31 Se uma seq
uencia nao for convergente, diremos que ela e divergente.
Deixamos como exerccio as provas das seguintes proposicoes:
Proposic
ao 29 Se zn z e wn w entao
i) zn + wn z + w;
ii) zn z, para todo C;
iii) existe M > 0 tal que |zn | M, para todo n N, isto e, a seq
uencia zn e limitada.
Proposic
ao 30 Seja zn uma seq
uencia em C. Sejam xn = zn e yn = zn . Entao zn e
convergente se e somente se as seq
uencias de n
umeros reais xn e yn convergem. Em caso
afirmativo, temos
lim zn = lim xn + i lim yn .
n
i
,
n
wn = in
n =
1
+ in.
n
1
2
+
n
|n | =
n2 = n.
n2
Logo, pelo terceiro item da proposicao 29, n nao pode ser convergente.
P
uencia em C. Dizemos que a serie
e convergente se a
Definic
ao 29 Seja zn uma seq
n=0 zn
seq
uencia sn = z0 + + zn for convergente. Ou seja, se existir S C tal que para cada > 0
existir no N tal que
n
X
para todo n no .
zj <
S
j=0
P
Neste caso, denotamos S por n=0 zn .
P
Observa
c
ao 32 A seq
uencia zn que da origem `a serie
e chamada de termo geral desta
n=0 zn
serie.
Seguem das proposicoes 29 e 30 as seguintes proposicoes:
P
P
Proposic
ao 31 Se S =
ao
n=0 zn e T =
n=0 wn ent
98
i)
ii)
n=0 (zn
n=0
+ wn ) = S + T ;
zn = S, para todo C.
P
Proposic
ao 32 Sejam zn = xn + iyn , xn =Pzn e znP= yn . Ent
ao a serie
n=0 zn converge
se e somente se as series de n
umeros reais n=0 xn e n=0 yn convergem. Neste caso,
zn =
n=0
xn + i
n=0
yn .
n=0
Tambem temos
Proposic
ao 33 Se
n=0 zn
e convergente entao zn 0.
P
32,
as
s
e
ries
de
n
u
meros
reais
Prova:
Coloque
x
=
z
e
y
=
z
.
Pela
proposi
c
a
o
n
n
n
n
n=0 xn
P
e n=0 yn convergem. Portanto, por um resultado de Calculo II, temos xn , yn 0, isto e,
zn = xn + iyn 0.
P
P
P
i
i
ao e convergente pois
Exemplo 83 A serie
n=1 n =
n=1
n=1 n n
monica). No entanto, temos ni 0.
1
n
Observa
c
ao 33 O exemplo acima mostra que a condicao zn 0 nao e suficiente para que a
ao
serie formada por zn seja convergente. No entanto,
a proposicao 33 nos diz que esta condic
P
(zn 0) e necessaria para a convergencia de
z
,
isto
e
,
se
o
limite
de
z
n
a
o
existir
ou
n
n=0 n
P
z
ser
a
divergente.
se convergir para um n
umero diferente de zero entao a serie
n
n=0
P n+i
Exemplo
Pela P
proposicao P
32, a serie P
e convergente, pois as series de n
umeros
n=1 n3
P 84n+i
1
n+i
1
reais n=1 n3 =
e
=
s
a
o
ambas
convergentes.
n=1 n2
n=1
n=1 n3
n3
Definic
ao 30 Dizemos que a serie
for convergente.
n=1 zn
n=1
|zn |
P in
e absolutamente convergente. Basta notar que a serie de n
uExemplo 85
A s
n=1 n2
erie
P
P
in
1
meros reais n=1 n2 = n=1 n2 e convergente.
Proposic
ao 34 Se
n=0 zn
Exemplo P
86 Nem toda serie convergente e absolutamente convergente como pode ser verificado
i2n
pela serie
n=1 n .
P
P
i2n
1
Esta serie nao converge absolutamente pois
n=1 n =
n=1 n diverge.
P (1)n
P i2n
No entanto, n=1 n = n=1 n e convergente pelo criterio de Leibinitz (Calculo II),
P
(1)n
e
isto e, como a seq
uencia n1 e decrescente e tende a zero, entao a serie alternada
n=1
n
convergente.
100
Captulo 19
S
eries de Pot
encias
Definic
ao 31 Sejam zo C e an P
uma seq
uencia
umeros complexos. A cada z C coloque
P de n
n
a
(zz
e chamada de serie de potencias.
z
=
zn = an (zzo )n . A serie dada por
o)
n=0 n
n=0 n
O n
umero complexo zo e chamado de centro da serie de potencias.
Neste captulo trataremos de estudar sob que condicoes uma serie de potencias e convergente.
Note que quando tomamos z = zo a serie de potencias e convergente e seu valor e o termo
independente a0 .
Veremos mais adiante que se a serie de potencias convergir quando tomamos algum outro
valor de z 6= zo entao sera possvel definir uma funcao numa vizinhanca (pelo menos num
disco
P aberto) den zo que a cada z nesta vizinhanca associa o valor da serie, isto e, f (z) =
n=0 an (z zo ) .
Na maior parte do captulo passaremos a estudar propriedades desta funcao. A principal
delas sera que f e uma funcao analtica.
Reciprocamente, o teorema de Taylor par funcoes analticas nos garantira que toda funcao
analtica pode ser escrita como uma serie de potencias convergente em uma vizinhanca de cada
ponto do domnio (aberto) da funcao.
Vamos comecar a nossa investigacao considerando a serie geometrica que e obtida tomandose zo = 0 e an = 1 na definicao 31.
Sabemos que uma condicao necessaria para que uma serie seja convergente e que seu termo
geral tenda a zero. Como no presente caso zn = z n vemos zn 0 se e somente se |z| < 1.
Assim, para |z| 1 a serie geometrica e divergente.
Para |z| < 1, considere a seq
uencia formada pelas somas parciais,
sn (z) = 1 + z + + z n .
Temos
(1 z)sn (z) = sn (z) zsn (z) = 1 + z + + z n (z + z 2 + z n+1 ) = 1 z n+1
e, da,
sn (z) =
n
X
j=0
zj =
z n+1
1
.
1z 1z
101
(19.1)
n+1
n+1
z
= |z|
1 z |1 z| 0.
z n = lim sn (z) =
n
n=0
1
,
1z
P
Definic
ao 32 Dizemos que uma serie de potencias n=0 an (z zo )n converge uniformemente
em um conjunto D C se existir uma funcao S em D tal que dado > 0 existir no N
satisfazendo
n
X
j
para todo n no .
aj (z zo ) <
S(z)
j=0
Observa
c
ao 35 Note que embora as definicoes de convergencia e de convergencia uniforme
sejam bastante semelhantes, nesta u
ltima e possvel escolher, para cada > 0, um mesmo no
que sirva para todo z D. Na definicao de convergencia, o no pode variar de acordo com o
ponto z.
P
n
n tenhamos
Proposic
ao 35 Seja
n=0 an (z zo ) um
Pserie de potencias tal que para
Ptodo
n
n
|an (z zo ) | bn para todo z D, onde
b
e
convergente.
Ent
a
o,
a
e
n=0 n
n=0 n (z zo )
uniformemente convergente em D.
Prova:
Dado > 0, existe no tal que
n
X
X
X
bj <
bj
bj =
j=0
j=0
j=n+1
para todo n no .
n
X
X
X
X
X
j
j
j
j
bj <
aj (z zo )
aj (z zo )
aj (z zo )
aj (z zo ) =
j=0
j=0
j=n+1
j=n+1
102
j=n+1
X
j
z <
sn (z)
j=0
se e somente se
n+1
n+1
z
n+1
= |z|
< |1 z| (n + 1) log |z| < log(|1 z|)
1 z |1 z| < |z|
n+1>
log(|1 z|)
,
log |z|
pois |z| < 1. Note agora, que `a medida que tomamos os pontos mais proximos a` fronteira
do disco (|z| =1), teremos que tomar no cada vez maior para que 19.1 fique valida para todo
n no .
P
n
ao ocorre uma e somente uma
Teorema 17 Dada uma serie de potencias
n=0 an (z zo ) ent
das seguintes situacoes:
P
n
i)
o converge em z = zo ;
n=0 an (z zo ) s
P
n
ii) existe r > 0 tal que se |z zo | < r a serie
n=0 an (z zo ) converge absolutamente e se
0 r < r, a convergencia e uniforme no disco fechado Dr = {z; |z zo | r }.
P
n
Alem do mais, se |z zo | > r a serie
n=0 an (z zo ) diverge;
P
n
iii) a serie
n=0 an (z zo ) converge absolutamente para todo z C e uniformemente em
todo disco fechado Dr = {z; |za zo | r }.
P
n
converge absolutamente}.
Prova: Seja D = {z;
n=0 an (z zo )
Se D = {zo } entao temos i).
Se D 6=P{zo } entao existe z1 D, z1 6= zo . Coloque ro = |z1 zo | > 0.
n
Como
e, portanto, limitado.
n=0 an (z1 zo ) converge, o seu termo geral tende a zero e
Assim, existe M > 0 tal que |an (z1 zo )n | M para todo n.
Se 0 r < ro e |z zo | r entao
n
z zo n
r
n
n
|an (z zo ) | M
.
(19.2)
|an (z zo ) | =
z1 zo
ro
P
n
Como 0 rro < 1, vemos que
n=0 |an (z zo ) | converge. logo, z D.
103
P
n
Note que por 19.2 a serie
n=0 an (z zo ) converge uniformemente em Dr . Para ver isto,
basta notar que o u
ltimo membro de 19.2 independe de z Dr .
Veja que mostramos que Dr D para todo r < |z1 zo | onde z1 D, z1 6 zo .
Agora, se todos os discos centrados em zo estiverem contidos em D entao teremos D = C
e com o que ja foi demonstrado, obteremos iii). Por outro lado, se isto nao acontecer entao
existira r > 0 tal que
Dr = {z; |z zo | < r} D
e Ds 6 D
(19.3)
n
n
|an (z zo ) | M
|an (z zo ) | =
z zo .
z zo
Como
z zo
z zo < 1,
a serie
que
n=0 an (z zo ) convergiria absolutamente e, portanto, z D. Mas, segue da
Ds D onde s = |z1 zo |, que contradiz 19.3 pois s > r.
Observa
c
ao 36 O n
umero r que aparece em ii) da proposicao acima e chamado de raio de
convergencia da serie. Estendemos este conceito para dizer que em i) o raio de convergencia e
zero e em iii) e infinito.
Observa
c
ao 37 O segundo item do teorema anterior nada afirma sobre a convergencia da
serie sobre o crculo |z zo | = r.
A proxima proposicao nos fornece uma maneira de calcularmos o raio de convergencia de
uma serie de potencias desde que um determinado limite exista.
Proposic
ao 36 Considere a serie de potencias
X
n=0
an (z zo )n .
p
Se o limite da seq
uencia n |an | converge entao o raio de convergencia da serie acima ser
a dado
por r onde
p
n
|an | = ;
0,
se
lim
n
p
n
r = , se limn |an | = 0; p
|an |
104
p
Prova: Provaremos apenas o caso em que 1r = limn n |an | > 0. Se s < r entao 1/s > 1/r e
p
pela definicao de limite existe no tal que n |an | < 1/s para todo n no . Da,
|an | <
1
sn
se n no .
|an (z zo ) |
|z zo |
s
n
P
n
e absolutamente convergente. Como s < r foi
Como |z zo |/s < 1, a serie
n=0 (z zo )
arbitrario, a mesma serie e absolutamente convergente em Dr .
Agora, dado r < r, tome s tal que r < s < r. Um calculo como acima nos diz que
s n
|an (z zo )n | ,
para |z zo | r e n grande.
r
Assim, a serie e uniformemente convergente em Dr .
p
Agora, se s > r entao 1/s < 1/r. Logo, existe n1 tal que 1/s < n |an | para todo n n1 . Se
tomarmos |z zo | s vemos que
n
|z zo |
n
.
|an (z zo ) | >
s
Como
|z zo |
1
s
P
n
entao an (zzo )n nao tende a zero e, portanto, a serie
ao pode ser convergente.
n=0 an (zzo ) n
Vemos assim, que o n
umero r e o raio de convergencia da serie.
Exemplo 88 Encontre os raios de convergencias das seguintes series:
P
n n
a)
n=0 n2 z ;
P n n
b)
n=0 n z ;
P z n
c)
n=0 nn .
a) Como limn
b) Como limn
c) Como limn
2n n = 2 limn
105
Proposic
ao 37 Considere a serie de potencias
X
n=0
an (z zo )n .
an
Se o limite da seq
uencia an+1 converge entao o raio de convergencia da serie acima ser
a dado
por
an
r = lim
n an+1
mesmo que o limite de infinito.
P
1 n
Exemplo 89 A serie
n=0 n! z converge absolutamente para todo z C pois, como
1
n!
lim 1
n
(n+1)!
= lim
(n + 1)!
= lim n + 1 = ,
n
n!
X
n=0
an (z zo )n
Como o polinomio
pno (z) =
no
X
j=0
aj (z zo )j
e contnuo em z1 , existe > 0 tal que |pno (z) pno (z1 )| < /3 se |z z1 | < .
Diminuindo > 0 se necessario podemos supor que o disco aberto centrado em z1 de raio
esteja contido em Dr .
Assim, se |z z1 | < ,
|f (z) f (z1 )| |f (z) pno (z)| + |pno (z) pno (z1 )| + |pno (z1 ) f (z1 )| <
pois, z, z1 Dr e tambem |z z1 | < .
106
+ + = ,
3 3 3
zo
r
Teorema 19 (Integrac
ao termo a termo) Seja
f (z) =
X
n=0
an (z zo )n
uma serie de potencias cujo raio de convergencia r seja diferente de zero. Se : [a, b] C e
um caminho cujo traco esteja contido em Dr = {z; |z zo | < r} entao
Z
X
X
an
f (z) dz =
(z zo ) dz =
((b) zo )n+1 ((a) zo )n+1 .
n+1
n=0
n=0
R
Em particular, se e um caminho fechado, f (z) dz = 0.
Prova: Como o traco de um caminho e um conjunto compacto, existe r > 0 tal que
Dr . Como a convergencia de f e uniforme em Dr , dado > 0, existe no tal que
X
j
aj (z zo ) <
j=n
para todo z Dr e n no .
Desta forma, como f e contnua, sua integral sobre existe e podemos escrever
Z
Z X
n
f (z) dz =
j=0
n Z
X
j=0
aj (z zo ) dz +
j
aj (z zo ) dz +
j=n+1
j=n+1
aj (z zo )j dz
aj (z zo )j dz
n Z
X
X
aj (z zo )j dz
aj (z zo )j dz =
f (z) dz
j=n+1
j=0
107
X
max
aj (z zo )j ( ) < ( ).
z
j=n+1
n Z
X
j=0
aj (z zo ) dz
f (z) dz,
isto e,
Z
f (z) dz =
Z
X
j=0
aj
(z
j+1
aj (z zo )j dz.
X
1
=
zn ,
f (z) =
1z
n=0
|z| < 1.
Como o disco D1 = {z; |z| < 1} e simplesmente conexo e f e analtica em D1 , sabemos que
ela possui primitiva neste domnio. Uma tal primitiva e dada por F (z) = log(1 z), onde
tomamos o ramo do logaritmo satisfazendo
(
z 1 = rei ,
0 < < 2
log(1 z) = log |1 z| + i( ).
Note que com este ramo temos log 1 = 0, pois 0 1 = ei . Assim, F (0) = 0.
Para cada z D1 , tomamos (t) = tz, 0 t 1.
Pelo teorema anterior e pelo fato de F ser uma primitiva de f, temos
log(1 z) = F ((1)) F ((0)) =
X
n=0
X
1
d =
1
n=0
n d
X zn
X z n+1
1
(1)n+1 (0)n+1 =
=
.
n+1
n + 1 n=1 n
n=0
log(1 z) =
108
X
zn
n=1
Corol
ario 8 Seja
f (z) =
X
n=0
an (z zo )n
Teorema 20 (Deriva
c
ao termo a termo) Seja
f (z) =
X
n=0
an (z zo )n
X
j=k
X
(k + n)!
n=0
n!
an+k (z zo )n
zo
r
X
X
X
(z zo )j
(z zo )j
(z zo )j
f (z)
=
a
=
a
+
a
.
j
j
j
k+1
k+1
k+1
(z z1 )k+1
(z
z
)
(z
z
)
(z
z
)
1
1
1
j=0
j=0
j=N +1
N
X
(z zo )j
(z zo )j
k!
k!
aj
aj
dz +
dz. (19.5)
2i (z z1 )k+1
2i j=N +1 (z z1 )k+1
j=0
Mas
X
X
(z zo )j
|aj (z zo )j |
aj
max
dz
( )
(z z1 )k+1 z j=N +1 |z z1 |k+1
j=N +1
X
X
2s
aj (z zo )j = 2 max
aj (z zo )j .
max
sk+1 z j=N +1
sk z j=N +1
P
j
Como
co de esta
j=0 aj (z zo ) converge absoluta e uniformemente em |z zo | < r e o tra
contido neste disco, vemos que para cada > 0, existe no tal que para todo N no e para
todo z temos
X
aj (z zo )j < .
j=N +1
(k)
k!
(z1 ) =
aj
2i
j=0
(z zo )j
dz.
(z z1 )k+1
(k)
(z1 ) =
X
j=k
X
j!
(n + k)!
=
aj
(z1 zo )jk =
an+k
(z1 zo )n .
(j
k)!
n!
n=0
j=k
n
zo a z obtemos que n=1 an (z zo ) = f (z) f (zo ) e covergente. Isto e um absurdo, pois
|z zo | > r. Logo, R = r.
Por inducao, o raio de convergencia da serie da k-esima derivada tambem e R.
Exemplo 91 Podemos aplicar a serie da derivada de
X
1
f (z) =
=
zn ,
1z
n=0
|z| < 1
X
X
1
n1
=
nz
=
(n + 1)z n ,
(1 z)2
n=1
n=0
|z| < 1.
ou seja,
X
X
2
n1
=
(n
+
1)nz
=
(n + 2)(n + 1)z n ,
3
(1 z)
n=1
n=0
1X
1
(n + 2)(n + 1)z n ,
=
(1 z)3
2 n=0
|z| < 1,
|z| < 1.
X
X
1
1
(n + k 1)! n
n
(n
+
k
1)
(n
+
1)z
=
=
z
k
(1 z)
(k 1)! n=0
(k
1)!n!
n=0
X n+k1
zn ,
|z| < 1, k 1.
k1
n=0
X
1
=
(1)n (n + 1)z 2n ,
2
2
(1 + z )
n=0
111
|z| < 1.
Como
X
1
=
wn,
1 w n=0
|w| < 1,
X
X
1
2 n
=
(z
)
=
(1)n z 2n ,
1 + z2
n=0
n=0
|z| < 1
X
X
2z
n
2n1
=
(1)
2nz
=
2
(1)n nz 2n1
(1 + z 2 )2
n=0
n=1
= 2z
(1) nz
2n2
X
(1)n+1 (n + 1)z 2n .
= 2z
n=0
n=1
Logo,
X
z
=
z
(1)n+1 (n + 1)z 2n
2
2
(1 + z )
n=0
e, portanto,
X
1
(1)n (n + 1)z 2n ,
=
(1 + z 2 )2
n=0
19.1
|z| < 1.
S
erie de Taylor
Ja vimos que toda serie de potencias cujo raio de convergencia seja positivo e uma funcao
analtica. O proximo teorema diz que toda funcao analtica pode ser representada localmente
como serie de potencias,
uencia an
P isto e, se f ne analtica em zo entao existe r > 0 e uma seq
satisfazendo f (z) = n=0 an (z zo ) , para todo |z zo | < r. Mais precisamente, temos
Teorema 21 (S
erie de Taylor) Seja f : C uma funcao analtica definida em um aberto
. Se zo e r > 0 e tal que Dr = {z; |z zo | < r} entao
f (z) =
X
f (n) (zo )
n=0
n!
(z zo )n ,
para todo z Dr .
Prova: Dado z Dr tome s tal que |z zo | < s < r. Coloque (t) = zo + seit , 0 t 2.
Pela formula de Cauchy e manipulacao algebrica podemos escrever
112
1
f (z) =
2i
f (w)
1
dw
wz
1
=
2i
f (w)
1
dw
w zo + (zo z)
Z
1
1
1
=
f (w)
zzo dw.
2i
w zo 1 wz
o
n
Z X
1 X z zo
1
f (w)
f (w)
dw =
(z zo )n dw
n+1
w zo n=0 w zo
2i n=0 (w zo )
Z X
N
n=0
1
f (w)
(z zo )n dw +
n+1
(w zo )
2i
1 X
=
(z zo )n
2i n=0
1
f (w)
dw +
n+1
(w zo )
2i
N
X
1
1 (n)
f (zo ) +
(z zo )
=
n!
2i
n=0
n
f (w)
(z zo )n dw
n+1
(w
z
)
o
n=N +1
f (w)
(z zo )n dw
n+1
(w
z
)
o
n=N +1
f (w)
(z zo )n dw.
n+1
(w
z
)
o
n=N +1
(19.6)
(19.7)
Mas, como f e contnua e e compacto, existe M > 0 tal que |f (w)| M para todo
w . Desta forma, o u
ltimo membro do lado esquerdo de 19.7 pode tende a zero quando N
tende a infinito, pois
!
1 Z X
X
f (w)
1
|f
(w)|
(z zo )n dw
max
|z zo |n ( )
n+1
n+1
2i
2 w
(w
z
)
|w
z
|
o
o
n=N +1
n=N +1
n
X
1 X M
|z zo |
n
0,
|z zo | 2s = M
2 n=N +1 sn+1
s
n=N +1
X
f (n) (zo )
n=0
n!
(z zo )n ,
113
|zzo |
s
< 1. Logo,
para todo z Dr .
Observa
c
ao 38 Note que se f e inteira, isto e, = C, entao o raio de convergencia da serie
de Taylor de f e infinito pois Dr C para todo r > 0.
Observa
c
ao 39 Nos referiremos `a serie
centrada em zo .
n=0
f (n) (zo )
(z
n!
e =
X
f (n) (0)
n!
n=0
X
1 n
z =
z
n!
n=0
n
n
X
X
1
i n
n
e =
(iz) =
z
n!
n!
n=0
n=0
iz
e
iz
X
X
(i)n n
1
n
(iz) =
z .
=
n!
n!
n=0
n=0
n
X
i + (i)n
n=0
n!
zn = 2
X
(1)k
k=0
(2k)!
z 2k ,
pois quando n e mpar, in + (i)n = 0 e quando n = 2k, in + (i)n = (i2 )k + ((i)2 )k = 2(1)k .
Assim,
X
(1)k 2k
cos z =
z ,
z C.
(2k)!
k=0
Derivando a expressao acima obtemos
X
(1)k 2k+1
z
,
sen z =
(2k + 1)!
k=0
114
z C.
Exemplo
a expansao em serie de Taylor em torno de zo = 1 do ramo da func
ao
95 Encontre
i
f (z) = z com 1 = 1 e z = re , < < .
O maior disco aberto centrado em zo = 1 contido no domnio do ramo acima e D1 =
{z; |z 1| < 1}.
facil ver que as derivadas de f sao dadas por
E
1
1
1 1
1 2(n 1)
1
1 12
(n)
n
f (z) =
z 2 n .
1
(n 1) z 2 =
2 2
2
2
2
2
claro que f (0) (1) = f (1) = 1 f (1) (1) = 1/2 e quando z = 1, n 2,
E
f (n) (1) =
1
(2(n 1))!
(2(n 1))!
= (1)n1 2 n
.
n
n1
n1
2 (1) 2 (n 1)!
4 (n 1)!
Como a u
ltima expressao e valida mesmo com n = 1, temos
z=
X
f (n) (1)
n=0
19.2
n!
(z 1) = 1+2
X
n=1
(1)n1
(2(n 1))!
(z 1)n ,
4n n!(n 1)!
Zeros de func
ao analtica
Nesta secao faremos uma aplicacao da serie de Taylor para mostrar que os zeros de uma funcao
analtica nao identicamente nula sao isolados. Isto quer dizer que se zo e zero de uma funcao
analtica f nao identicamente nula (o mesmo que dizer que zo e uma raiz da equacao f (z) =
0) entao em algum disco centrado em zo nao existe nenhum outro zero de f. Note que esta
propriedade e satisfeita pelos polinomios que sao os exemplos mais simples de funcoes analticas.
Resumiremos os resultados que temos em mente nos seguintes teoremas:
Teorema 22 Seja f : C uma funcao analtica definida em um aberto . Se zo e tal
que todas as derivadas de f de se anulam em zo entao f se anula identicamente em todo um
disco aberto centrado em zo .
Prova: Seja Dr um disco centrado em zo contido em . Pela serie de Taylor, para todo z Dr
temos
X
f (n) (zo )
f (z) =
(z zo )n .
n!
n=0
Mas como f (n) (zo ) = 0 para todo n, segue da formula acima que f (z) = 0 para todo z Dr .
Observa
c
ao 41 Se e conexo e f satisfaz as hipoteses do teorema acima, pode-se mostrar
que f e identicamente nula.
115
Corol
ario 9 Se zo e um zero isolado de uma funcao analtica f : C entao pelo menos
uma das derivadas de f se anula em zo .
1
Observa
c
ao 42 Considere a funcao de uma variavel real a valores reais dada por f (x) = e x2
se x 6= 0 e f (0) = 0. Pode-se verificar que todas as derivadas de f existem e em x = 0 elas se
anulam. No entanto, f nao e identicamente nula.
Teorema 23 Seja f : C uma funcao analtica definida em um aberto . Se zo e tal
f (zo ) = 0 e nem todas as derivadas de f de se anulam em zo entao zo e um zero isolado de f,
isto e, em algum disco centrado em zo nao existe nenhum outro zero de f.
Prova: Seja m o menor n
umero inteiro nao negativo tal que f (m) (zo ) = 0 mas f (m+1) (zo ) 6= 0.
Seja r > 0 tal que o disco Dr = {z; |z zo | < r} . Tomando a serie de Taylor de f em torno
de zo vemos que
f (z) =
X
f (n) (zo )
n=0
n!
(z zo )n =
X
f (n) (zo )
(z zo )n
n!
n=m+1
= (z zo )
onde g(z) =
n=0
f (n+m+1) (zo )
(z
(n+m+1)!
m+1
X
f (n+m+1) (zo )
(z zo )n = (z zo )m+1 g(z)
(n
+
m
+
1)!
n=0
f (m+1) (zo )
6= 0,
(m + 1)!
existe 0 < < r tal que |g(z)| |g(zo)|/2 para todo z D = {z; |z zo | < }.
Desta forma, vemos que para z D temos
|f (z)| |z zo |m+1
|g(zo)|
.
2
Assim, se z D e z 6= zo entao |f (z)| > 0, isto e, f (z) 6= 0. Isto mostra que zo e um zero
isolado de f.
Corol
ario 10 Seja f : C uma funcao analtica definida em um aberto . Se zo e um
zero isolado de f entao existe um inteiro positivo n e uma funcao analtica g definida em um
disco aberto D centrado em zo satisfazendo
f (z) = (z zo )n g(z),
116
Definic
ao 33 Sejam f : C uma funcao analtica definida em um aberto e zo um zero
isolado de f. O n
umero n do corolario acima e chamado de ordem do zero zo .
Exemplo 96 A funcao f (z) = 1 |z|2 = 1 x2 y 2 nao e analtica pois os seus zeros n
ao
s
ao isolados. Note que os zeros de f representam o crculo centrado na origem de raio 1.
Exemplo 97 zo = 0 e um zero de ordem dois da funcao f (z) = 1 cos z. Basta ver que
f (0) = 1 cos 0 = 0, f (0) = sen 0 = 0, f (0) = cos 0 = 1 6= 0.
Note tambem que
1 cos z = 1
X
(1)k
k=0
(2k)!
2k
X
(1)k
k=1
(2k)!
(1)k+1 2k
k=0 (2(k+1))! z
=z
X
(1)k+1 2k
z = z 2 g(z),
=z
(2(k + 1))!
k=0
2
onde g(z) =
2k
e analtica e g(0) = 21 .
117
X
(1)k
k=1
(2k)!
z 2(k1)
118
Captulo 20
S
eries de Laurent
Neste captulo vamos tratar de series de potencias nao necessariamente positivas, isto e, queremos estudar convergencia e propriedades de series dadas na forma
X
n=1
bn (z zo )
X
n=0
an (z zo )n .
(20.1)
bj (z zo )j =
b1
bn
++
.
z zo
(z zo )n
P
n
e o raio de convergencia desta serie, o
Fixada uma seq
uencia bn considere
n=1 bn w . Se r
qual suporemos diferente de zero, entao se 0 < r < r, a serie converge uniforme e absolutamente
no disco Dr = {z; |z zo | r }.
Colocando w = (z zo )1 , vemos que |w| r e equivalente a |z zo | r1 . Deste modo a
serie de potencias negativas
X
bn (z zo )n
n=1
n
n
b
w
=
diverge.
n=1 n
n=1 bn (z zo )
P
P
n
n
converge para todo z 6= zo .
Note que se n=1 bn w for inteira entao
n (z zo )
n=1 b
P
X
n=1
onde
an (z zo )
1
an =
2i
X
n=0
. X
an (z zo ) =
an (z zo )n
f ()
d,
( zo )n+1
(t) = zo + so eit ,
0 t 2,
n=
nZ
r < so < R.
Prova: Dado z Ar,R tome s e S tais que r < s < S < R. Considere o contorno abaixo que
consiste nos arcos Cs , CS dos segmentos l1 e l2 , percorrido no sentido anti-horario e contendo
z em seu interior.
Os arcos sao dados por
CS (t) = zo + Seit , 0 t 0 + 2
Colocando
Cs (t) = zo + seit , 0 t 0 + 2
A = C(0 ),
A = C(0 + 2 )
120
B = C(0 ),
B = C(0 + 2 ))
0t1
l2 (t) = B + t(A B ),
0 t 1.
z
1
A
B
zo
Cs
CS
Como o interior do contorno esta contido em Ar,R , segue da formula de Cauchy que
1
f (z) =
2i
f ()
1
d =
z
2i
1
+
2i
CS
f ()
1
d +
z
2i
1
f ()
d +
z
2i
Cs
f ()
d
z
f ()
d.
z
Como a expressao acima e valida para todo > 0, tomando o limite quando tende a zero
e usando o fato que a funcao g() = f ()/( z) e contnua sobre cada um dos caminhos CS ,
Cs , 1 e 2 , obtemos
1
1
f (z) ==
2i
f ()
1
d
z
2i
f ()
d,
z
f ()
1 X
(z zo )n
d =
z
2i n=0
Colocando
1
an =
2i
(20.2)
X
f ()
d =
an (z zo )n .
z
n=0
1
2i
Temos
f ()
d.
( zo )n+1
f ()
d,
( zo )n+1
obtemos
1
2i
f ()
d.
z
1
1
1
1
=
=
.
zo
z
zo (z zo )
z zo 1 zz
o
n
X
1
1 X zo
( zo )n
=
=
.
n+1
z
z zo n=0 z zo
(z
z
)
o
n=0
Logo,
1
2i
N
1 X
1
=
2i n=0 (z zo )n+1
f ()
1
d =
z
2i
Z X
( zo )n
f ()d
n+1
s n=0 (z zo )
1
f ()( zo ) d
2i
s
( zo )n
f ()d.
n+1
s n=N +1 (z zo )
M X
1 Z X
( zo )n
| zo |n
f
()d
(s )
n+1
n+1
2
2i s
(z
z
|z
z
o)
o|
n=N +1
n=N +1
n+1
X
sn+1
s
=M
=M
n+1
|z
z
|
|z zo |
o
n=N +1
n=N +1
122
(20.3)
2i
1 X
1
=
2i n=1 (z zo )n
f ()
1 X
1
d =
z
2i n=0 (z zo )n+1
Z
f ()( zo )
Colocando
an
1
=
2i
vemos que
1
2i
n1
f ()( zo )n d
1
1 X
d =
2i n=1 (z zo )n
f ()
d.
( zo )n+1
f ()
d
( zo )n+1
(20.4)
X an
X
f ()
d =
=
an (z zo )n ,
n
z
(z
z
)
o
n=1
n=1
n 1.
Como as integrais que aparecem nas definicoes de an e an (veja 20.2 e 20.4) continuam as
mesmas quando substitumos S e s pos so dada por so (t) = zo + so eit , 0 t 2, onde
so (s, R), chegamos ao resultado procurado.
Observa
c
ao 43 O crculo centrado em zo e de raio so que aparece no enunciado do teorema
anterior pode ser substitudo por qualquer outro contorno contido em Ar,R que contenha zo no
seu interior.
Temos tambem o seguinte
Corol
ario 11 Se f e como no teorema anterior (veja 24) e e um contorno em Ar,R contendo
zo no seu interior, entao
Z
f (z)dz = 2ia1 ,
X
n=1
an (z zo )
X
n=0
an (z zo ) =
X
n=1
bn (z zo )
X
n=0
bn (z zo )n ,
z Ar,R
Definic
ao 34 Seja f como no teorema 24. O n
umero a1 , que e o coeficiente do termo (z
1
zo ) da serie de Laurent de f centrada em zo e chamado de resduo de f em zo e e denotado
por
a1 = Res f |z=zo .
Exemplo 98 Encontre a serie de Laurent de f (z) = e1/z em torno de zo = 0 e de seu domnio
de convergencia.
Como
X
1 n
w
w ,
w C,
e =
n!
n=0
vemos que
X
1 1
e =
,
n! z n
n=0
1
z
z 6= 0.
1
.
(z1)(z2)
Note que f e
1
1
.
z2 z1
X
1
1
=
=
zn,
z1
1z
n=0
|z| < 1.
Temos tambem
1
1
1
=
z2
2 1
z
2
X
1 X z n
zn
=
,
=
2 n=0 2
2n+1
n=0
Como a interseccao do domnio de validade das duas series acima e o disco |z| < 1, temos
f (z) =
X
n=0
Como
1
lim
n 1
1
2n+1
1
2n+2
1
2n+1
zn ,
= lim 1
n 1
124
|z| < 1.
1
2n+1
1
2n+2
= 1,
X
1
1
1
1X 1
1
=
,
=
1
n+1
z1
z 1 z
z n=0 z
z
n=0
|z| > 1.
z
2
X
1 X z n
zn
,
=
n+1
2 n=0 2
2
n=0
|z| < 2.
Assim, se z A1,2
X
X
X
1
zn
1
zn
f (z) =
.
=
+
z n+1 n=0 2n+1
z n+1 2n+1
n=0
n=0
X
1
1
1
1
1X 1
=
=
1 =
n+1
z1
z 1 z
z n=0 z
z
n=0
1
1
1
=
z2
z 1
Logo,
2
z
1X
=
z n=0
n X
2
2n
.
=
z
z n+1
n=0
X
X
X
2n
1
2n 1
f (z) =
=
,
z n+1 n=0 z n+1
z n+1
n=0
n=0
|z| > 2.
temos
e da,
1
z
X
(1)n
sen w =
w 2n+1 ,
(2n
+
1)!
n=0
1 X (1)n 2n1
z
,
sen =
z
(2n
+
1)!
n=0
w C,
z 6= 0
X
1 X (1)n 2n+2
1 X (1)k+1 2k
(1)k+1 2k
2
z sen =
z
=
z
=z +
z .
z
(2n + 1)!
(2k + 3)!
6
(2k + 3)!
n=0
3
k=1
k=1
125
(20.5)
z 3 sen
1
dz,
z
Z
(t) = eit ,
z 3 sen
onde a1 e o resduo de f em zo = 0.
Mas, de 20.5 temos a1 = 0. Assim,
Z
1
dz = 2ia1
z
z 3 sen
0 t 2.
1
dz = 0.
z
sen
1
dz,
z
(t) = eit ,
0 t 2.
sen
1
dz = 2i.
z
126
Captulo 21
Singularidades
Definic
ao 35 Um ponto zo C e um ponto singular isolado (ou uma singularidade isolada)
de uma funcao f se f nao for analtica em zo e existir r > 0 tal que f e analtica em A0,r =
{z; 0 < |z zo | < r}.
Exemplo 103 A origem e ponto singular isolado das seguintes funcoes:
f1 (z) =
sen z
,
z
f2 (z) =
1
,nN
zn
e de
f3 (z) = e z .
Definic
ao 36 Se uma funcao nao for analtica em zo e, alem disso, para todo r > 0 existir um
ponto em A0,r onde f tambem nao e analtica, diremos que zo e uma singularidade nao isolada
(ou ponto singular nao isolado) de f.
Exemplo 104 A origem e uma singularidade nao isolada da funcao f (z) = 1/ sen(1/z). Basta
ver que para cada r > 0, tomando n N tal que 1/n < r, f nao e analtica em z = 1/n.
Definic
ao 37 Um ponto singular isolado zo de uma funcao f e classificado como
1. Removvel quando existe um n
umero complexo c tal que a funcao
(
f (z)
se z 6= zo
g(z) =
c
se z = zo
e analtica em um disco centrado em zo . Em outras palavras, existe uma funcao analtica
numa vizinhanca de zo que coincide com f nesta vizinhanca a menos do ponto zo .
2. Polo quando existirem um inteiro positivo m e um n
umero complexo c 6= 0 tal que a
funcao
(
(z zo )m f (z)
se z 6= zo
g(z) =
c
se z = zo
e analtica em um disco centrado em zo . Em outras palavras, existe uma funcao analtica
numa vizinhanca de zo que coincide com a funcao z 7 (z zo )m f (z) nesta vizinhanca a
menos do ponto zo e esta funcao e diferente de zero em zo .
127
(z zo )m1 f (z)
c1
se z = zo
se z 6= zo
(
(z zo )m2 f (z)
g2 (z) =
c2
se z = zo
se z 6= zo
zzo
z 6= 0.
Exemplo 106 A origem e um polo de ordem m da funcao f (z) = 1/z m . Basta tomarmos
g(z) = 1 na definicao de polo.
Exemplo 107 A origem e uma singularidade essencial de f (z) = e1/z . Basta notar que para
todo inteiro m 0, o limite de f quando z tende a zero nao existe. Basta ver que sobre o eixo
real temos
1
lim xm e x = +.
x0+
128
21.1
Singularidades e S
erie de Laurent
Um modo simples de classificar uma singularidade isolada de uma funcao e atraves de sua serie
de Laurent. De fato, se zo e uma singularidade isolada de uma funcao f, entao, para algum
r > 0, podemos escrever
f (z) =
X
n=1
an (z zo )n +
X
n=0
an (z zo )n ,
z A0,r .
Vejamos como identificar uma singularidade removvel. Sabemos que zo e uma tal singularidade de f se existir uma funcao analtica definida em um disco centrado em zo e que coincida
com f a menos do ponto zo . Esta funcao g por ser analtica coincide com sua serie de Taylor
centrada em zo ,
g(z) =
X
n=0
bn (z z) = f (z) =
X
n=1
an (z zo )
X
n=0
an (z zo )n .
Agora, sabemos que a serie de Taylor e a serie de Laurent onde os coeficientes das potencias
negativas sao todos nulos. Desta forma, pela unicidade da serie de Laurent, temos an = 0,
n 1.
Resumindo, zo e uma singularidade removvel de f se e somente se todos os coeficientes das
potencias negativas da sua serie de Laurent se anulam, ou seja, a serie de Laurent de f e uma
serie de Taylor.
Passemos agora aos polos. Note que zo e um polo de ordem m de f se e somente se o mesmo
zo for uma singularidade removvel de h(z) = (z zo )m f (z) e limzzo h(z) = c 6= 0. Pelo que
acabamos de aprender sobre singularidades removveis, isto equivale a` serie de Laurent de h
centrada em zo ser uma serie de Taylor, isto e,
m
h(z) = (z zo ) f (z) =
X
n=0
bn (z zo )n ,
e b0 = lim h(z) 6= 0
zzo
em algum A0,r .
Dividindo por (z zo )m , obtemos
f (z) =
X
n=0
bn (z zo )
nm
X
b0
bm1
=
+
+
+
bm+j (z zo )j
(z zo )m
z zo j=0
com b0 6= 0.
Assim, para que zo seja um polo de ordem m de f e necessario e suficiente que os coeficientes
an das potencias negativas (z zo )n da serie de Laurent de f em torno de zo se anulem para
n m + 1 e am 6= 0.
Finalmente, para que zo seja uma singularidade essencial de f e necessario e suficiente que
na serie de Laurent de f em torno de zo haja uma infinidade de coeficientes an nao nulos das
potencias negativas (z zo )n .
129
1 X n
1
z ,
f (z) = 3 +
z
z n=0
X
n=1
1 1
1 1
1
1 2n X 1 n
z
+
z = +
+
+ z + 2 z2 +
2
4
2
(2n)!
n
4! z
2! z
2
n=1
130
Captulo 22
O Teorema do Resduo e Aplica
c
oes
Teorema 25 (Teorema do Resduo) Seja f uma funcao analtica definida em um aberto .
Se e um contorno contido em tal que no seu interior a funcao f tenha somente singularidades isoladas e apenas um n
umero finito delas, denotadas por z1 , . . . , zn , entao
Z
(22.1)
f (z) dz = 2i Res f |z=z1 + + Res f |z=zn
z2
z1
zn
f (z) dz =
f (z) dz + +
131
f (z) dz.
Aplicando o corolario 11 a cada uma das integrais do lado direito da igualdade acima, obtemos
Z
f (z) dz = 2i Res f |z=z1 + + Res f |z=zn .
Antes de aplicarmos o teorema acima no calculo de integrais, vejamos como podemos proceder para o calculo do resduo de uma funcao f em um polo zo .
Se zo e um polo simples, isto e, de ordem um entao a serie de Laurent de f em torno deste
ponto e da seguinte forma
X
a1
f (z) =
+
an (z zo )n .
(22.2)
z zo n=0
Multiplicando a expressao acima por z zo e tomando o limite quando z tende a zo , obtemos
#
"
X
an (z zo )n+1 = a1 = Res f |z=zo .
lim (z zo )f (z) = lim a1 +
zzo
zzo
n=0
Exemplo 110 Encontre o resduo de f (z) = cos z/z na origem. Como cos z = zf (z), e
analtica e cos 0 = 1 6= 0, vemos que 0 e um polo simples de f. Assim,
Res f |z=0 = lim zf (z) = lim cos z = 1.
z0
z0
X
am
a1
+
+
+
aj (z zo )j ,
m
(z zo )
z zo j=0
em A0,r ,
com am 6= 0. Desta maneira, existe uma funcao analtica g definida em um disco centrado em
zo satisfazendo g(zo ) 6= 0 e e
m
g(z) = (z zo ) f (z) =
X
n=0
am+n (z z)n
= am + am+1 (z zo ) + + a1 (z zo )m1 + .
Note que g(zo ) = am .
Derivando 22.3,
g (z) = am+1 + 2am+2 (z zo ) + + (m 1)a1 (z zo )m2 +
e calculando em z = zo , obtemos g (zo ) = am+1 .
Derivando mais uma vez,
g (z) = 2am+2 + + (m 1)(m 2)a1 (z zo )m3 +
132
(22.3)
1
dm1
1
m1
m
g
(zo ) =
[(z
z
)
f
(z)]
.
=
o
(m 1)!
(m 1)! dz m1
z=zo
Exemplo 111 A funcao f (z) = cos z/z 2 tem um polo de ordem dois na origem, pois z 2 f (z) =
cos z, que e inteira e cos 0 = 1 6= 0.
O resduo de f na origem e dado por
d 2
d
= sen 0 = 0.
=
z f (z)
[cos z]
dz
dz
z=0
z=0
A proxima proposicao apresenta um modo de reconhecermos a ordem de um polo.
Proposic
ao 38 Sejam f e g analticas em um disco centrado em zo . Se f (zo ) 6= 0 e g tem um
zero de ordem m em zo entao h = f /g tem um polo de ordem m em zo .
Prova: Como zo e um zero isolado de g, temos que zo e uma singularidade isolada de h.
Tambem podemos escrever
g(z) = (z zo )m (z),
com analtica em um disco centrado em zo e satisfazendo (zo ) 6= 0. Desta forma,
h(z) =
f (z)
f (z)
1
f (z)
=
=
.
m
m
g(z)
(z zo ) (z)
(z zo ) (z)
e em zo e
f (zo )
(zo )
f (z)
,
(z)
Prova: Por hipotese, podemos escrever f (z) = (z zo )n (z) g(z) = (z zo )m (z) com e
analticas num disco centrado em zo e tais que (zo ) 6= 0 e (zo ) 6= 0.
Segue da que, colocando = /,
h(z) =
1
(z zo )n (z)
= (z zo )nm (z) =
(z)
m
(z zo ) (z)
(z zo )mn
1
f (z)
zzo
1
f (z)
g(z) (z zo )g (z)
[g(z)]2
1
1
,
=
g(zo )
a1
ou seja,
Res f |z=zo = a1 = lim
zzo
1
f (z)
1
(z +
1)2 (z 2
+ 1)
dz
A funcao
f (z) =
z
(z +
1)2 (z 2
+ 1)
possui tres polos nos pontos z = 1 (duplo, isto e, de ordem dois), z = i (simples) e z = i
(simples).
Note que como todos estes pontos estao contidos no interior de , pelo teorema do resduo,
temos
Z
z
dz
=
2i
Res
f
|
+
Res
f
|
+
Res
f
|
.
z=1
z=i
z=i
2 2
(z + 1) (z + 1)
Calculando o resduo em z = 1 :
Res f |z=1
2
d
d
1
z
z
2
=
= 0.
=
= 2
(z + 1) f (z)
2 +1
2
dz
dz
z
(z
+
1)
z=1
z=1
z=1
Calculando o resduo em z = i :
i
i
z
=
= .
2
2
zi (z + 1) (z + i)
(i + 1) 2i
4
Calculando o resduo em z = i :
Res f |z=i = lim (z + i)f (z) = lim
zi
zi
z
i
i
=
= .
2
2
(z + 1) (z i)
(i + 1) (2i)
4
Logo,
Z
z
i
i
= 0.
dz = 2i 0 +
(z + 1)2 (z 2 + 1)
4 4
22.1
Integrais Impr
oprias Reais
R +
O teorema do resduo e u
til no calculo de integrais improprias reais da forma f (x) dx.
Vamos considerar o caso em que f e uma funcao racional do tipo f = p/q, onde p e q sao
polinomios com coeficientes reais satisfazendo
i) q(x) 6= 0 para todo x real;
ii) se n e o grau de p e m e o grau de q entao n m 2.
Sabemos de Calculo II que as condicoes acima garantem a existencia da integral impropria
Z +
p(x)
dx.
q(x)
135
Proposic
ao 40 Sejam p e q polinomios com coeficientes reais satisfazendo i) e ii) acima.
Entao
Z +
p(x)
dx = 2i[soma dos resduos de p(z)/q(z) nos polos contidos no semiplano z > 0.]
q(x)
Prova: Considere o contorno R percorrido no sentido anti-horario dado pela justaposicao dos
caminhos R (t) = t, R t R e R (t) = Reit , 0 t , onde R > 0. Veja 22.1.
R
R
p(z)
dz =
q(z)
p(z)
dz +
q(z)
p(z)
dz
q(z)
(22.4)
R+
p(z)
dz = lim
R+
q(z)
p(t)
dt =
q(t)
p(t)
dt,
q(t)
q(z) = bm z m + + b0
Tambem temos
b
b
b
1
0
m1
++
+
|q(z)| = |bm z | 1 +
bm z
bm z m1 bm z m
|bm1 |
|b1 |
|b0 |
m
|bm |R 1
.
|bm |R
|bm |Rm1 |bm |Rm
m
Como
|b1 |
|b0 |
|bm1 |
= 1,
lim 1
R
|bm |R
|bm |Rm1 |bm |Rm
|bn1 |
|b1 |
|b0 |
1
> .
n1
n
|bn |R
|bn |R
|bn |R
2
|bm | m
R ,
2
isto e,
1
1
c m .
|q(z)|
R
Por fim, note que `a medida que R cresce, o contorno R engloba todos polos de p/q que
estao no semiplano z > 0.
O resultado segue de 22.4 tomando o limite quando R +.
Exemplo 114 Calcule
Z
x4
1
dx.
+1
z1 = e 4 i ,
z2 = e 4 i ,
z3 = e 4 i
137
z4 = e 4 i
as u
nicas que estao no semiplano z > 0 sao z1 e z2 .
Como z 4 + 1 se fatora em termos lineares como (z z1 )(z z2 )(z z3 )(z z4 ), vemos que
os polos de 1/(z 4 + 1) sao simples.
Para calcularmos o resduo, usaremos o metodo da observacao 49, isto e,
4
1
1
Res 4
= (z + 1)
.
z + 1 z=zo
z=zo
Em z1 ,
Em z2 ,
Assim,
3 1
1
1
1
2
= 4z
= 3 = 3 i =
(1 + i).
Res 4
z + 1 z=z1
4z1
8
z=z1
4e 4
3 1
1
2
1
1
1
Res 4
(1 i).
= 4z
= 3 = 9 i = i =
4
z + 1 z=z2
4z2
8
z=z2
4e
4e 4
Z
" #
2
2
1
dx = 2i
i =
.
4
x +1
4
2
= 2i[soma dos resduos de f (z) nas singularidades contidas no semiplano z > 0.].
Prova: A prova da proposicao 22.4 pode ser usada com pequenas modificacoes para mostrar
o que se pede. A verificacao deste fato e deixada como exerccio.
Exemplo 115 Calcule
Z
cos x
dx.
x2 + 1
138
(22.5)
cos x
1
dx
=
x2 + 1
2
cos x
dx
x2 + 1
A funcao f (z) = eiz /(z 2 + 1) satisfaz as condicoes da proposicao 41. Para ver isto, note que
as u
nicas singularidades de f sao os polos simples em z1 = i e z2 = i.
Tambem, se |z| > 2, e z > 0 temos
1 2
1
1
|z|2 1 > 0 |z|2 1 > |z|2
|z| 1 > 0 1
2
2
2
e
iz
z
e
1
1
2
= e
z 2 + 1 |z 2 + 1| |z 2 + 1| |z|2 1 2|z| .
Logo,
Mas
eix
dx =
x2 + 1
pois a funcao x 7
Portanto,
sen x
x2 +1
eix
dx = .
2
x +1
e
cos x
dx + i
x2 + 1
e mpar.
Z
22.2
eiz
eix
.
dx = 2i Res 2
x2 + 1
z + 1 z=i
(z i)eiz
eiz
e1
eiz
=
lim
=
lim
=
.
Res 2
zi z + i
z + 1 z=i zi z 2 + 1
2i
Assim,
Mas
cos x
1
dx =
2
x +1
2
sen x
dx =
x2 + 1
cos x
dx,
x2 + 1
cos x
dx = .
2
x +1
2e
pode ser calculada com o auxlio do teorema dos resduos se fizermos a mudanca z = ei . De
fato, como z 1 = ei , vemos que
cos =
z2 + 1
z + z 1
=
2
2z
e
139
sen =
z z 1
z2 1
=
.
2i
2zi
Alem do mais, iei d = dz, ou seja, d = iz1 dz. Assim, colocando (t) = ei , 0 2, e
assumindo que a funcao
2
z + 1 z2 1
1
,
f (z) = R
zi
2z
2zi
esteja definida em |z| 1, seja analtica sobre = {z; |z| = 1} e tenha apenas um n
umero
finito de singularidades no interior de e que estas singularidades sejam todas isoladas, entao
2
Z 2
Z
z + 1 z2 1 1
R(cos , sen ) d = R
,
dz
2z
2zi
iz
0
2
z + 1 z2 1
1
em |z| < 1 .
,
= 2 soma dos resduos de R
z
2z
2zi
Exemplo 116 Calcule
Z
A funcao
1
d.
4 sen
1
4 sen
e uma funcao nos moldes acima. Note que sen 6= 4.
Fazendo z = ei , obtemos
f () =
z2 1
1
e
d = dz.
2zi
iz
Assim, colocando (t) = ei , 0 2, obtemos
Z 2
Z
Z
1
1
2
1
d =
dz =
dz.
2 1
2
z
4 sen
0
4 2zi iz
z + 8zi + 1
sen =
(22.6)
Note que
ou
z = (4 15)i.
z 2 + 8zi + 1 = 0 z = (4 + 15)i
2
z (4 15)i
Res
=2
lim
2
z 2 + 8zi + 1 z=(415)i
z(4 15)i z + 8zi + 1
= 2
1
1
= .
15)i z (4 +
15)i
15i
lim
z(4
Portanto,
Z
2
0
2
1
d = .
4 sen
15
Terminamos com o calculo da seguinte integral que nao se encaixa em nenhum dos exemplos
anteriores.
140
x sen x
dx.
x2 + 1
Considere a funcao
zeiz
f (z) = 2
.
z +1
Considere o contorno R percorrido no sentido anti-horario dado pela justaposicao dos
caminhos R (t) = t, R t R e R (t) = Reit , 0 t , onde R > 0. Veja 22.1.
Como o u
nico polo de f no interior do contorno R e z = i, pelo teorema do resduo, temos
Z
zeiz
zeiz
= i=
dz
2i Res f (z)|z=i = 2i lim
2
zi z + i
e
R z + 1
Z
Z R
Z
Z
zeiz
zeiz
teit
zeiz
dz
+
dz
=
dt
+
dz
=
2
2
2
2
R z + 1
R z + 1
R t + 1
R z + 1
Z R
Z R
Z
zeiz
t cos t
t sen t
=
dt
+
i
dt
+
dz
2
2
2
R z + 1
R t + 1
R t + 1
Z R
Z
t sen t
zeiz
=i
dt
+
dz,
2
2
R t + 1
R z + 1
pois t 7 t cos t/(t2 + 1) e mpar.
Se R > 1 e z R , isto e, z = Rei = R cos + iR sen , temos
zeiz z iz
|z|
|z|
R
(iz)
=
= 2
eR sen 2
eR sen .
z 2 + 1 z 2 + 1 e = |z 2 + 1| e
|z + 1|
R 1
Logo,
Z
Z
i iRei
iz
Re e
ze
i
dz =
iRe d
2
2
i2
0 R e +1
R z + 1
Z
Z
2
R2
2R2
R sen
2
e
d = 2
eR sen d,
R 1 0
R 1 0
pois
Z
Z
Z
2
R sen
R sen
eR sen d
e
d +
e
d =
Substituindo a u
ltima integral em 22.7, chegamos a
Z
Z
2
R sen
eR sen d.
e
d = 2
0
141
eR sen d.
(22.7)
0 /2.
vemos que e uma funcao cuja concavidade e voltada para baixo no intervalo [0, /2] e se
anula nos extremos deste intervalo. Portanto, () 0 em [0, /2], como queramos verificar.
Voltando `a nossa integral, temos
Z
Z
Z
2
2
2
2R2
zeiz
2R2
1 R
R sen
e
d 2
eR d =
dz 2
(1 eR )
2
21
z
+
1
R
1
R
R
0
0
R
que tende a zero quando R tende a +.
Portanto,
Z +
Z R
t sen t
t sen t
dt = lim
dt = .
2
2
R+
e
t + 1
R t + 1
142
Indice Remissivo
caminho, 65
comprimento de, 72
conjunto
aberto, 25
conexo, 52
fechado, 25
fronteira, 25
continuidade, 40
contorno, 65
curva, 63
comprimento de, 72
interior, 66
justaposicao de, 65
regular, 64
simples, 63
suave, 64
derivada, 41
distancia, 13
equacoes de Cauchy-Riemann, 44
forma polar, 47
formula de Cauchy, 85
para derivadas, 87
formula de De Moivre, 19
funcao
analtica, 51
contnua, 40
cosseno, 32
cosseno hiperbolico, 35
derivada, 41
exponcencial, 30
harmonica, 93
holomorfa, 51
inteira, 51
limite, 37
polinomial, 29
seno, 32
seno hiperbolico, 35
integral, 67
de linha, 69
limite, 37
logaritmo, 59
n
umero complexo, 9
argumento, 17
conjugado, 13
forma polar, 17
modulo, 13
parte imaginaria, 11
parte real, 11
razes, 22
polo, 127
ordem de, 128
simples, 132
poligonal, 52
ponto interior, 25
ponto singular
essencial, 128
isolado, 127
nao isolado, 127
removvel, 127
potenciacao, 61
primitiva, 79
ramo
da potencia, 61
da raiz nesima, 58
do logaritmo, 60
143
principal da potencia, 61
principal da raiz nesima, 58
principal do logaritmo, 60
resduo, 124
serie, 98
convergente, 98
de Laurent, 120
de MacLaurin, 114
de potencias, 101
de potencias, centro de, 101
de potencias, derivacao de, 109
de potencias, integracao de, 107
de potencias, raio de convergencia, 104
de Taylor, 112
seq
uencia, 97
convergente, 97
singularidade
essencial, 128
isolada, 127
nao isolada, 127
removvel, 127
teorema
de Cauchy-Goursat, 75
de derivacao termo a termo, 109
de Green, 75
de integracao termo a termo, 107
de Liouville, 91
de Morera, 90
do resduo, 131
fundamental da algebra, 91
zero isolado, 115
144
Refer
encias Bibliogr
aficas
[C] CHURCHILL, R. V. Variaveis Complexas e Aplicacoes, Editora McGraw-Hill, 1975, Sao
Paulo.
145