Notas de Analise Complexa

Joao Lopes Dias

Departamento de Matem atica, ISEG

Universidade Tecnica de Lisboa
Rua do Quelhas 6, 1200-781 Lisboa, Portugal
26 de Outubro de 2006
Resumo
Estas notas destinam-se `a cadeira Analise Real e Complexa do 3
o
ano da Licenciatura
em Matem atica Aplicada `a Economia e Gest ao do ISEG - Universidade Tecnica de Lisboa.
Para as seguir pressupoe-se os conhecimentos adquiridos nas disciplinas de

Algebra Linear
e An alise Matem atica em R e R
d
.
Conte udo
1 O conjunto C dos n umeros complexos 2
1.1 Estruturas metrica e topologica de C . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Propriedades algebricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Interpreta cao geometrica de C . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.1 Representa cao polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.2 *Representa cao esferica . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 O espa co complexo multidimensional C
d
. . . . . . . . . . . . . . . . . . . . . . 6
2 Fun c oes complexas elementares 6
2.1 Fun cao exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Fun cao logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3 Fun coes trigonometricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.4 Potencias complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.5 Polinomios e fun coes racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.6 Limites e continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.7 *Esfera de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3 Diferenciabilidade de fun c oes complexas 11
3.1 Deni cao de derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.2 Equa coes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.3 Derivadas de fun coes complexas elementares . . . . . . . . . . . . . . . . . . . . 15
3.4 Aplica cao a fun coes reais harmonicas . . . . . . . . . . . . . . . . . . . . . . . . 16
3.5 Transforma coes conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.5.1 Transforma coes de Mobius . . . . . . . . . . . . . . . . . . . . . . . . . . 18

Email: jldias@iseg.utl.pt
1
4 Caminhos em C 18
4.1 Opera coes entre caminhos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.2 Homotopias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
5 Integra cao em C 20
5.1 Integral de caminho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
5.2 Propriedades do integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
5.3 Teorema fundamental do calculo . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.4 Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.5 Aplica coes do Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . 27
6 Series de potencias de fun c oes analticas 30
6.1 Revisao relampago sobre convergencia de series . . . . . . . . . . . . . . . . . 30
6.2 Convergencia de sucessoes e series de fun coes analticas . . . . . . . . . . . . . 31
6.3 Convergencia da serie de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
6.4 Continua cao analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
6.5 Serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
7 Teorema dos Resduos 36
7.1 Classica cao de singularidades e resduos . . . . . . . . . . . . . . . . . . . . . 36
7.2 Teorema dos resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
7.3 Aplica cao do teorema dos resduos a integrais em R . . . . . . . . . . . . . . . . 38
Agradecimentos 41
Referencias 41
1 O conjunto C dos n umeros complexos
O conjunto C dos n umeros complexos e o espa co vectorial real de dimensao 2 com base 1, i,
onde se dene a opera cao de multiplica cao
(x + iy).(x

+ iy

) = (xx

yy

) + i(xy

+ x

y), x, y R. (1.1)
O complexo conjugado z de um n umero complexo z = x + iy e denido como
z = x + iy = x iy. (1.2)
Assim, a parte real de z e
Re z =
z + z
2
= x e Imz =
z z
2i
= y
a parte imaginaria. Na Figura 1 encontra-se esquematizado o plano complexo.
Exerccio 1. Calcule zz.
Observa c ao 1. Note que
i
2
= (0 + i)(0 + i) = 1 + i0 = 1
se z = z

, entao Re z = Re z

e Imz = Imz

2
z
R
Re
Im
x
y
y
z = x + iy
C
Figura 1: O plano complexo
z = z sse z R
z = z
Exerccio 2. Prove as seguintes propriedades da conjuga c ao:
1. z + z

= z + z

2. zz

= z z

1.1 Estruturas metrica e topologica de C

O valor absoluto (ou modulo ou norma) de z = x + iy C indica a distancia `a origem
[z[ =
_
x
2
+ y
2
(1.3)
como em R
2
. A distancia entre dois pontos e entao
d(z, z

) = [z z

[. (1.4)
Estas norma e distancia em C coincidem com as de R
2
.
Observa c ao 2. Note que [z[
2
,= z
2
. De facto, [z[
2
e um n umero real para qualquer z =
x + iy C, enquanto z
2
= x
2
y
2
+ 2ixy so e real se z e real ou puro imaginario.
Exerccio 3. Mostre que
1. [zz

[ = [z[ [z

[
2. [z[ = [z[
3. [ Re z[ [z[ e [ Imz[ [z[
4. [z + z

[
2
= [z[
2
+[z

[
2
+ 2 Re(zz

)
5. [z z

[
2
= [z[
2
+[z

[
2
2 Re(zz

)
6. [z + z

[ [z[ +[z

[ (desigualdade triangular)
3
7. [z z

[ [ [z[ [z

[ [
8. *[

n
i=1
z
i
z

i
[
_
n
i=1
[z
i
[
2
_
n
i=1
[z

i
[
2
(desigualdade de Cauchy-Schwarz)
Consideramos a estrutura topologica de C (conjuntos abertos, fechados, interior, fronteira,
exterior, fecho, conexo, compacto, etc.) a mesma de R
2
. Isto e, tendo em conta o isomorsmo
1
entre estes dois conjuntos que associa z = x + iy ao par (x, y), temos uma correspondencia
biunvoca entre abertos de C e de R
2
. Em particular, um aberto em C e um conjunto que
contem uma bola (disco)
D
r
(z
0
) = z C: [z z
0
[ < r (1.5)
para cada um dos seus pontos z
0
.
Chama-se regiao em C a um aberto nao vazio e conexo.
1.2 Propriedades algebricas
A adi cao de complexos e claramente comutativa, associativa, 0 = 0 + i0 e o elemento neutro,
e para cada z C existe o seu simetrico z tal que z + (z) = 0.
Exerccio 4. Mostre que:
1. a multiplica c ao de complexos e associativa, comutativa e distributiva em rela c ao ` a adic ao;
2. o unico elemento neutro da multiplica c ao e o 1;
3. o unico elemento absorvente da multiplica c ao e o 0;
4. existe um unico inverso z
1
para cada z C 0 dado por
z
1
=
1
z
=
z
[z[
2
.
Apos resolver o exerccio acima o teorema seguinte ca demonstrado.
Teorema 1.1. C e um corpo.
Observa c ao 3.
O quociente entre dois n umeros complexos z e z

,= 0 e z/z

= z(z

)
1
.
Como C e isomorfo a R
2
, C R
2
, nao pode ser ordenado. Logo so teremos z z

se z
e z

forem reais.
O conjunto C pode ser interpretado como um espa co vectorial de dimensao 1 (com base
e.g. 1) sobre os complexos (i.e. os escalares estao no corpo C).
1
Um isomorsmo entre dois espacos A e B e uma bijeccao f : A B que preserva alguma propriedade
dos espacos. Por exemplo, entre espacos vectoriais queremos que a linearidade sejam preservada (f e f
1
sao
lineares); entre corpos que se se preservem as operacoes de soma e produto (f e f
1
sao homomorsmos); entre
espacos topologicos que se preservem as estruturas topologicas (f e f
1
sao contnuos), etc. Os espacos A e B
dizem-se assim isomorfos, e escreve-se A B.
4
1.3 Interpretacao geometrica de C
1.3.1 Representa cao polar
O modulo (ou norma ou valor absoluto) de z = x + iy e
[z[ =

zz =
_
x
2
+ y
2
. (1.6)
O argumento de z = x + iy e dado pela fun cao arg: C ] , ] com
arg(z) =
_

_
arctan
y
x
, x > 0 e y 0

2
, x = 0 e y > 0
+ arctan
y
x
, x < 0 e y 0
+ arctan
y
x
, x < 0 e y < 0

2
, x = 0 e y < 0
arctan
y
x
, x > 0 e y < 0
0, x = y = 0.
(1.7)
A fun cao arctan: R ]

2
,

2
[ e a inversa da fun cao tangente restringida a ]

2
,

2
[.
Podemos assim escrever qualquer n umero complexo na representa cao polar na forma
z = [z[e
i arg z
. (1.8)
onde e
i arg z
= cos(arg z) + i sin(arg z).
Exerccio 5. Mostre que arg(zz

) = arg z +arg z

+2n com n Z tal que arg(zz

) ] , ].
Fixemos um complexo z

= x

+ iy

qualquer. A multiplica cao z z

z pode entao ser

interpretada como a composi cao entre uma rota cao arg z arg z + arg z

, e uma homotetia
2
z [z

[ z. Isto e,
zz

= [z[ [z

[e
i(arg z+arg z

)
. (1.9)
Vista em R
2
a opera cao de multiplica cao e dada pela transforma c ao linear com a matriz na
base canonica:
_
x
y
_

_
x

_ _
x
y
_
. (1.10)
Esta pode ser decomposta em duas outras transforma coes lineares: uma rota cao por arg(z

)
dada pela matriz
R
arg z
=
_
cos(arg z

) sin(arg z

)
sin(arg z

) cos(arg z

)
_
, (1.11)
e a homotetia com matriz:
_
(x

)
2
+ (y

)
2
_
1 0
0 1
_
, (1.12)
Exerccio 6. Mostre que
_
x

_
=
_
(x

)
2
+ (y

)
2
R
arg z

2
Transformacao que preserva a direccao.
5
1.3.2 *Representa cao esferica
Para muitas aplica coes e conveniente extender C introduzindo um ponto no innito. Assim,
denimos o plano complexo aumentado:
C = C . (1.13)
Assumimos que z + = para z C, e z= se z C 0. Contudo, nao denimos
+ nem 0.
Falta extender a no cao de vizinhan ca do ponto . Para isso denimos a bola (disco) em
redor de com raio r da seguinte forma:
D
r
() = z C: [z[ > r . (1.14)
Um conjunto em C e aberto se contem um disco centrado em cada um dos seus pontos. Uma
consequencia imediata desta deni cao e que abertos em C sao abertos em C.
Vamos agora ver que C pode ser interpretado como a superfcie esferica
S
2
= (x
1
, x
2
, x
3
) R
3
: x
2
1
+ x
2
2
+ x
2
3
= 1. (1.15)
Primeiro denimos a transforma cao p: S
2
C, conhecida como projec cao estereograca,
p(x
1
, x
2
, x
3
) =
_
x
1
+ix
2
1x
3
, (x
1
, x
2
, x
3
) S
2
(0, 0, 1)
, (x
1
, x
2
, x
3
) = (0, 0, 1).
(1.16)
Exerccio 7. *Mostre que a projec c ao estereogr aca e bijectiva.
Assim os espa cos acima sao de certa forma semelhantes. Devido a este facto, designa-se
usualmente C por esfera de Riemann. Nao ha contudo uma expressao simples para a soma e
o produto na representa cao esferica.
1.4 O espaco complexo multidimensional C
d
Paralemente `a generaliza cao de R para mais dimensoes, tambem podemos denir o espa co
C
d
= C C. Assim, um vector complexo z C
d
pode ser escrito como
z = (x
1
+ iy
1
, . . . , x
d
+ iy
d
) = (x
1
, . . . , x
d
) + i(y
1
, . . . , y
d
).
2 Funcoes complexas elementares
2.1 Fun cao exponencial
A fun cao exponencial real exp: R ]0, +[, x e
x
, e denida por qualquer das seguintes
formas equivalentes:
e
x
=

+
n=0
x
n
n!
,
a unica solu cao da EDO f

= f com f(0) = 1,
a inversa da fun cao x
_
x
1
1
t
dt, x > 0.
6
Im
Re
Im
Re
exp
Figura 2: A ac cao da exponencial sobre rectas verticais e horizontais
Queremos generalizar esta fun cao para o plano complexo. Assim, a exponencial complexa
e denida como
exp: C C
exp(z) = e
z
= e
Re z
e
i Imz
.
(2.1)
Observa c ao 4.
Se z R, entao Imz = 0 e recuperamos a fun cao exponencial real.
Para z = x + iy C temos que [e
z
[ = e
x
e arg e
z
= y.
Exerccio 8. Mostre que, para z, z

C,
1. e
z+z

= e
z
e
z

2. e
z
,= 0
3. e
z
= e
z

sse z = z

+ 2in com n Z
4. exp e uma fun c ao peri odica
3
. Determine o perodo minimal
4
.
5. e
z
= e
z
Exerccio 9.
1. Calcule e
i/2
, e
i
, e
i3/2
, e
i2
,[e
iy
[.
2. Quais as soluc oes de e
z
= 1?
Na Figura 2 esquematiza-se a transforma cao de rectas verticais e horizontais em C pela
fun cao exponencial.
3
f e uma funcao periodica com perodo w C {0} (ou w-periodica) se f(z + w) = f(z), para qualquer z
no domnio de f.
4
I.e. o perodo T C tal que qualquer outro perodo P C e da forma P = nT com n Z.
7
2.2 Fun cao logaritmo
A fun cao logaritmo real log: ]0, +[ R e denida como a inversa da exponencial: log e
x
=
x = e
log x
. Para generalizarmos esta fun cao a C teremos que ter em aten cao que a exponencial
e periodica, logo nao tem uma unica inversa. Restringimos assim a exponencial `a faixa
A = z C: Imz ] , ]
onde e injectiva. Alem disso, como a exponencial nunca toma o valor zero, o domnio da
fun cao logaritmo nao podera conter zero. Porem, valores reais negativos estarao includos no
domnio do logaritmo complexo, contrastando com o caso real. Assim, denimos
log: C 0 C
log(z) = log [z[ + i arg z,
(2.2)
com arg(z) ] , ]. Deste modo, se z = x + iy C 0,
e
log z
= e
log |z|
e
i arg z
= [z[e
i arg z
= z
log e
z
= log [e
z
[ + i arg e
z
= log e
x
+ iy = z.
(2.3)
Finalmente, o contra-domnio e log(C 0) = A.
Observa c ao 5. Poder-se-ia denir outras fun coes logaritmo, bastando para isso considerar a
fun cao arg com valores em [2n, 2(n + 1)[, n Z, ou outros intervalos de comprimento 2.
Exerccio 10. Prove que se z, z

C0, ent ao log(zz

) = log z + log z

+ 2in com n Z
tal que Imlog(zz

) ] , ].
2.3 Fun coes trigonometricas
As fun coes trignometricas reais de variavel real, o seno sin: R [1, 1] e o cosseno cos : R
[1, 1] podem ser denidas das seguintes formas:
1. sendo o angulo (no sentido anti-horario) entre o semi-eixo positivo das abcissas e o
segmento de recta com extremos na origem e no ponto (x, y) de R
2
,
sin =
y
_
x
2
+ y
2
, cos =
x
_
x
2
+ y
2
,
2.
sin =
+

n=0
(1)
n

2n+1
(2n + 1)!
, cos =
+

n=0
(1)
n

2n
(2n)!
, (2.4)
3.
sin =
e
i
e
i
2i
, cos =
e
i
+ e
i
2
, (2.5)
4. a unica solu cao da EDO f

+ f = 0
com f(0) = 0 e f

(0) = 1 e a fun cao seno,

com f(0) = 1 e f

(0) = 0 e a fun cao cosseno.

8
Queremos extender estas fun coes a C. Para isso usamos a deni cao 3. Ou seja,
sin z =
e
iz
e
iz
2i
e cos z =
e
iz
+ e
iz
2
, z C. (2.6)
Exerccio 11. Mostre que
1. sin
2
z + cos
2
z = 1
2. sin(z + z

) = sin z cos z

+ cos z sinz

3. cos(z + z

) = cos z cos z

sin z sin z

Exerccio 12. Determine se sin e cos s ao peri odicas e os seus perodos minimais.
2.4 Potencias complexas
Dado z C 0 e w C, queremos denir a potencia complexa de um n umero complexo
como
z
w
= e
wlog z
(2.7)
de forma a generalizarmos a potencia de reais. Logo, temos a seguinte propriedade: (z
1
z
2
)
w
=
z
w
1
z
w
2
. Porem, repare que, como e
2in
= 1 para qualquer n Z,
z
w
= (e
log z+2in
)
w
= e
wlog z
e
2inw
. (2.8)
Logo a potencia de n umeros complexos nao pode ser denida univocamente para qualquer w.
Exerccio 13. Escreva os valores possveis para i
i
.
Proposi cao 2.1.
Se w = p/q Q onde p e q s ao inteiros primos entre si, ent ao #e
2inw
: n Z = q,
Se w C Q, ent ao #e
2inw
: n Z = .
Demonstra c ao. Para simplicar escrevemos A
w
= e
2inw
: n Z. Comecemos com o caso
w = p/q Q. Cada n Z pode ser escrito na forma n = qm + r onde m Z e r
0, 1, . . . , q 1. Entao
e
2inp/q
= e
2im
e
2irp/q
= e
2irp/q
.
Como r pode assumir q valores, temos que #A
w
= q.
Para provar a segunda arma cao, procuramos uma contradi cao ao assumirmos que #A
w
e nito para w , Q. Assim, existem dois inteiros n ,= m tais que
e
2inw
= e
2imw
.
Ora, isto implica que 2inw = 2imw + 2ik para algum k Z. Daqui resulta que w =
k/(n m) Q, o que contradiz a hipotese.
Observa c ao 6. As fun coes polinomiais complexas na forma
c
0
+ c
1
z + c
2
z
2
+ + c
n
z
n
(2.9)
estao bem denidas visto que cada termo tem uma potencia com expoente inteiro (racional
com q = 1).
Exerccio 14. Determine todas as soluc oes de z
p
= 1 com p Z.
9
2.5 Polinomios e funcoes racionais
De acordo com o teorema fundamental da algebra um polinomio de grau N N do tipo
P(z) =
N

n=0
c
n
z
n
,
com c
n
C e c
N
,= 0, pode ser decomposto num produto
P(z) = c
N
N

n=1
(z z
i
),
onde P(z
i
) = 0 dene os zeros de P. Os zeros nao sao necessariamente distintos. A ordem de
cada zero e assim o n umero de repeti coes do mesmo.
Uma fun cao racional R e entao denida como o quociente entre dois polinomios P e Q:
R(z) =
P(z)
Q(z)
.
Assumimos que P nao e divisvel por Q, i.e. nao tem zeros comuns. Assim denimos os p olos
de ordem r de R como os zeros de ordem r de Q.
2.6 Limites e continuidade
Como a estrutura topologica de C coincide com a de R
2
(ver Sec cao 1.1), as no coes de limite
e de continuidade de fun coes tambem coincidem. Ou seja, f : A C e contnua em z
0
se para
qualquer > 0 existe > 0 tal que com z A e [z z
0
[ < temos que [f(z) f(z
0
)[ < . O
que signica que f(z
0
) = lim
zz
0
f(z). Segue entao que a soma, produto, quociente (excepto
onde o denominador e = 0) e composi cao de fun coes contnuas sao fun coes contnuas. Em
particular, os polinomios e as fun coes racionais sao contnuos nos seus domnios (C no caso
dos polinomios e os pontos onde o denominador nao se anula no caso das fun coes racionais).
Observa c ao 7. A fun cao arg: C ] , ] e descontnua nos pontos R

0
.
2.7 *Esfera de Riemann
Retomamos o estudo da esfera de Riemann C iniciado na Sec cao 1.3.2.
Exerccio 15. *Prove que a projec c ao estereogr aca p e contnua.
Como fun coes contnuas transformam conjuntos compactos em compactos, e S
2
e compacto
em R
3
, deduzimos que C e tambem compacto. Este facto e-nos de grande utilidade porque
sabemos que sucessoes em conjuntos compactos teem sempre uma subsucessao convergente
(podendo ser para C).
Exerccio 16.
1. *Seja J : C C,
J(z) =
_

_
1
z
, z C 0
, z = 0
0, z = .
(2.10)
10
(a) Decida se J e contnua em C.
(b) Diga se J e um homeomorsmo
5
.
2. *Considere a fun c ao f : C C,
f(z) =
_
P(z), z C
, z = ,
(2.11)
onde P e um polin omio.
(a) Mostre que f e contnua em .
(b) Mostre que f e um homeomorsmo sse o grau de P e 1.
3. *Considere a dist ancia em C:
(z, z

) = |p
1
(z) p
1
(z

)|
=
_
(x
1
x

1
)
2
+ (x
2
x

2
)
2
+ (x
3
x

3
)
2
(2.12)
onde (x
1
, x
2
, x
3
), (x

1
, x

2
, x

3
) S
2
, e z = p(x
1
, x
2
, x
3
) e z

= p(x

1
, x

2
, x

3
) est ao em C.
Mostre que:
(a) z
n
z em C sse (z
n
, z) 0
(b) z
n
sse (z
n
, ) 0
(c) Se ad bc ,= 0, ent ao
f(z) =
az + b
cz + d
e contnua em .
3 Diferenciabilidade de funcoes complexas
3.1 Denicao de derivada
Uma fun cao f : A C e diferenciavel em z
0
num aberto A C, se existe em C a derivada
dada por
f

(z
0
) = lim
zz
0
f(z) f(z
0
)
z z
0
. (3.1)
A fun cao f diz-se analtica (ou holomorfa) em A se existe derivada em todos os pontos de
A. Ser analtica em z
0
signica que e analtica numa vizinhan ca de z
0
. Uma fun cao diz-se
inteira se e analtica em C.
Outras nota coes habitualmente utilizadas para a derivada sao:
f

(z
0
) = Df(z
0
) =
df
dz
(z
0
) = d
z
0
f.
Exemplo 1. 1. f(z) = z e inteira pois para qualquer z
0
C,
lim
zz
0
z z
0
z z
0
= 1.
5
Um homeomorsmo f e uma funcao injectiva contnua com inversa tambem contnua.
11
2. f(z) = z nao e diferenciavel em qualquer ponto pois escrevendo z = x+iy e z
0
= x
0
+iy
0
temos limites direccionais diferentes:
lim
xx
0
,y=y
0
x x
0
x x
0
= 1 e lim
yy
0
,x=x
0
i(y y
0
)
i(y y
0
)
= 1.
Proposi cao 3.1. Seja A C, aberto. Se f e g s ao fun c oes analticas em A, ent ao:
1. af + bg e analtica em A com derivada af

+ bg

, onde a, b C.
2. fg e analtica em A com derivada f

g + fg

.
Demonstra c ao. Basta usar a deni cao de derivada.
Proposi c ao 3.2. Qualquer polin omio complexo e uma fun c ao inteira. Uma fun c ao racional
e analtica em todos os pontos onde o denominador n ao se anula (em n umero nito).
Demonstra c ao. Usando o resultado anterior, generalizando-o para o quociente entre fun coes
analticas denidas onde o denominador e diferente de zero, provamos a proposi cao.
Teorema 3.3 (Regra da cadeia). Sejam A, B C abertos, f : A C e g: B C analticas
nos respectivos domnios e tais que f(A) B. Ent ao g f e analtica em A com derivada
(g f)

(z) = g

(f(z)).f

(z), z A. (3.2)
Demonstra c ao. Queremos provar que existe
lim
zz
0
g f(z) g f(z
0
)
z z
0
sabendo que existem as derivadas
f

(z
0
) = lim
zz
0
f(z) f(z
0
)
z z
0
e g

(f(z
0
)) = lim
wf(z
0
)
g(w) g(f(z
0
))
w f(z
0
)
.
Observe que
g f(z) g f(z
0
)
z z
0
=
_
h(f(z)) + g

(f(z
0
))

f(z) f(z
0
)
z z
0
onde
h(w) =
_
g(w)g(f(z
0
))
wf(z
0
)
g

(f(z
0
)), w ,= f(z
0
)
0, w = f(z
0
).
Como h e f sao contnuas, lim
zz
0
h f(z) = 0. Logo,
lim
zz
0
g f(z) g f(z
0
)
z z
0
= lim
zz
0
_
h f(z) + g

(f(z
0
))

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

(f(z
0
)).f

(z
0
).
Exerccio 17. Prove que se f e diferenci avel em z
0
, ent ao e contnua.
12
3.2 Equacoes de Cauchy-Riemann
Observa c ao 8. Recorde que uma fun cao g: D R
n
R
m
e diferenciavel em x
0
D se
existir uma transforma cao linear Dg(x
0
) que verica
g(x) = g(x
0
) + Dg(x
0
) (x x
0
) + o(|x x
0
|). (3.3)
A derivada de g(x) = (g
1
(x), . . . , g
m
(x)) com x = (x
1
, . . . , x
n
) R
n
, e entao essa trans-
forma cao linear dada pela matriz mn:
Dg(x) =
_

_
g
1
x
1
(x)
g
1
xn
(x)
.
.
.
.
.
.
gm
x
1
(x)
gm
xn
(x)
_

_ (3.4)
Observa c ao 9. Denotamos o isomorsmo linear entre C e R
2
por h: z (Re z, Imz). Segue
que |h(z)| = [z[ e [h
1
(x, y)[ = |(x, y)|. Por outro lado, uma fun cao f em C tem sempre
uma fun cao g correspondente em R
2
dada por g = h f h
1
: C R
2
. Tambem temos que
a multiplica cao de complexos pode ser vista em R
2
por:
h(z.z

) =
_
x y
y x
_ _
x

_
.
Teorema 3.4. Seja A um aberto de C e f : A C. f = u + iv e diferenci avel em z
0
A
sse g = h f h
1
= (u, v) e diferenci avel em (x
0
, y
0
) = h(z
0
) e vericam-se nesse ponto as
equa c oes de Cauchy-Riemann:
u
x
=
v
y
e
u
y
=
v
x
. (3.5)
Alem disso,
f

(z
0
) =
f
x
= i
f
y
. (3.6)
Demonstra c ao. Comecemos por escrever h(z) = (x, y) e
[f(z) f(z
0
) f

(z
0
)(z z
0
)[ = [h
1
_
g h(z) g h(z
0
) h(f

(z
0
).(z z
0
))
_
[
=
_
_
_
_
g(x, y) g(x
0
, y
0
)
_
a b
b a
_ _
x x
0
y y
0
__
_
_
_
,
(3.7)
onde denimos f

(z
0
) = a+ib. Se f e diferenciavel em z
0
, o limite da expressao acima quando
z z
0
, ou equivalentemente quando (x, y) (x
0
, y
0
), e zero. Ora, isto signica que g e
tambem diferenciavel com derivada
Dg(x
0
, y
0
) =
_
u
x
u
y
v
x
v
y
_
=
_
a b
b a
_
.
As equa coes de Cauchy-Riemann seguem por compara cao das entradas das matrizes anteriores.
Para obter a formula (3.6) basta notar que f

(z
0
) = a + ib =
u
x
+ i
v
x
=
v
y
i
u
y
.
Exerccio 18. Seja f : C C dada por
f(z) =
_
z
5
|z|
4
, z ,= 0
0, z = 0.
13
1. Mostre que n ao existe limite quando z 0 de f(z)/z.
2. Se u = Re f e v = Imf, prove que u(x, 0) = x, v(0, y) = y, u(0, y) = v(x, 0) = 0.
3. Conclua que as equa c oes de Cauchy-Riemann vericam-se em (x, y) = (0, 0), mas f

(0)
n ao existe. Este facto contradiz o teorema?
4. Repita a alnea anterior com f(z) =
_
[xy[.
Teorema 3.5. Seja A um aberto de C e f : A C. Se g = (u, v): h(A) R
2
tem derivada
contnua e vericam-se as equa c oes de Cauchy-Riemann (3.5) em h(A), ent ao f e analtica
em A.
Demonstra c ao. Como u e v sao diferenciaveis, usando o teorema do valor medio para (x, y), (x
0
, y
0
)
h(A), existe entre (x, y) e (x
0
, y
0
) tal que
u(x, y) u(x
0
, y
0
) = u() (x x
0
, y y
0
)
v(x, y) v(x
0
, y
0
) = v() (x x
0
, y y
0
).
(3.8)
(Recorde que u = (
u
x
,
u
y
) e o gradiente.) Note que se (x, y) (x
0
, y
0
) entao (x
0
, y
0
).
Simultaneamente, u() u(x
0
, y
0
) e v() v(x
0
, y
0
) por serem contnuas. Mais, as
equa coes de Cauchy-Riemann implicam que u = (
u
x
,
v
x
) e v = (
v
x
,
u
x
). Finalmente,
para z = h
1
(x, y) e z
0
= h
1
(x
0
, y
0
),
f(z) f(z
0
)
z z
0
=
u
x
()
v
x
() + i
v
x
(

) + i
u
x
(

)
+ i
=
u
x
()
2
+
u
x
(

)
2
+ i
v
x
()
2
+ i
v
x
(

)
2

2
+
2
,
(3.9)
onde (, ) = (x x
0
, y y
0
). Logo, existe para todo z
0
A,
f

(z
0
) = lim
zz
0
f(z) f(z
0
)
z z
0
=
u
x
(x
0
, y
0
) + i
v
x
(x
0
, y
0
). (3.10)
Exerccio 19. Para que f : C C seja analtica, determine a forma da sua parte imagin aria
quando temos
1. Re f(x, y) = x
2
xy y
2
.
2. Re f(x, y) = x
2
+ y
2
.
Exerccio 20.
1. Determine o domnio de analiticidade da fun c ao racional
f(z) =
z
3
+ 2z + 1
z
3
+ 1
.
2. Mostre que as seguintes fun c oes n ao s ao analticas:
(a) f(z) = Re z
14
(b) f(z) = [z[
3. Seja A C aberto e

A = z C: z A. Mostre que se f e analtica em A e
g(z) = f(z), ent ao g e analtica em

A.
4. Suponha que f : A C e analtica numa regi ao A, e [f[ e constante em A. Mostre que
f e constante em A.
Exerccio 21. Deduza as equa c oes de Cauchy-Riemann em coordenadas polares:
u
r
=
1
r
v

,
1
r
u

=
v
r
.
Exerccio 22. Dena os smbolos e por:
f =
1
2
_
f
x
i
f
y
_
f =
1
2
_
f
x
+ i
f
y
_
. (3.11)
1. Mostre que as equa c oes de Cauchy-Riemann se reduzem a f = 0.
2. Mostre que se f e analtica, ent ao f

= f.
3. Calcule (z), z, (z) e (z).
4. Mostre que e obedecem ` as regras de deriva c ao de somas, produto e multiplica c ao por
escalar.
Teorema 3.6 (Derivada da fun cao inversa). Seja f : A C analtica e injectiva num aberto
A. Se f

e contnua e f

(z) ,= 0 para z A, ent ao f

1
e analtica em f(A) e
(f
1
)

(f(z)) =
1
f

(z)
, z A. (3.12)
Demonstra c ao. Seja g = h f h
1
= (u, v) de classe C
1
. Pelo teorema da fun cao inversa no
caso real e usando as equa coes de Cauchy-Riemann, temos que (para simplica cao de nota cao
omitimos o ponto onde a derivada e estudada):
Dg
1
=
_
u
x
u
y

u
y
u
x
_
1
=
1
_
u
x
_
2
+
_
u
y
_
2
_
u
x

u
y
u
y
u
x
_
verica as equa coes de Cauchy-Riemann. Logo f
1
= h
1
g
1
h e analtica. A formula
(3.12) pode ser obtida pela regra da cadeia (3.2).
3.3 Derivadas de funcoes complexas elementares
Proposi c ao 3.7. A fun c ao exp: C C e inteira e exp

= exp.
Demonstra c ao. Como e
z
= e
x
(cos y + i sin y), temos que (e
z
) = 0 e (e
z
) = e
z
.
Note que a fun cao log nao e contnua no seu domnio, porque arg nao e contnua. Porem,
se restrigirmos o argumento arg: C ] , ] ao conjunto C R

0
, obtemos uma fun cao
contnua.
15
Proposi c ao 3.8. A fun c ao log: C R

0
C e analtica e (log z)

= 1/z.
Demonstra c ao. Em coordenadas polares z = re
i
, log z = log r + i para qualquer (r, )
R
+
], [. Escrevendo u(r, ) = log r e v(r, ) = e tendo em conta que estas sao fun coes
com derivada contnua no seu domnio, as equa coes de Cauchy-Riemann
u
r
=
1
r
=
1
r
v

e
1
r
u

= 0 =
v
r
garantem a analiticidade de log no seu domnio. Derivando a expressao z = e
log z
, obtemos
1 = e
log z
(log z)

. Logo, (log z)

= 1/z.
Proposi c ao 3.9. As fun c oes sin: C C e cos : C C s ao inteiras, sin

= cos e cos

= sin.
Demonstra c ao. Basta usar a deni cao de seno e cosseno complexos, tendo em conta o facto
que a exponencial e inteira.
Proposi c ao 3.10. Qualquer polin omio na forma P(z) =

N
n=0
c
n
z
n
e uma fun c ao inteira com
P

(z) =

N
n=0
nc
n
z
n1
.
Exerccio 23. Demonstre a Proposi c ao 3.10.
Proposi cao 3.11. Qualquer fun c ao racional R = P/Q e analtica em C menos nos seus
p olos, com R

= (P

QQ

P)/Q
2
.
Exerccio 24. Demonstre a Proposi c ao 3.11.
Exerccio 25. Mostre que se f : A C e analtica em A e f(z) ,= 0 para z A, ent ao f n ao
e analtica. Aproveite para estudar a diferenciabilidade de exp.
Exerccio 26. Mostre que log n ao e analtica.
3.4 Aplicacao a funcoes reais harmonicas
Seja um aberto A R
2
. Uma fun cao u C
2
(A)
6
diz-se harmonica se for solu cao da equa cao
de Laplace:

2
u =

2
u
x
2
+

2
u
y
2
= 0. (3.13)
Ao operador diferencial =
2
da-se o nome de Laplaciano.
Proposi cao 3.12. Se f = u + iv e analtica num aberto A C, com u, v C
2
(A), ent ao u
e v s ao harm onicas em A.
Demonstra c ao. As equa coes de Cauchy-Riemann implicam que

2
u
x
2
=

2
v
xy
e

2
u
y
2
=

2
v
yx
.
Logo, como as derivadas cruzadas de v sao iguais,

2
u
x
2
+

2
u
y
2
= 0.
O mesmo para v.
6
C
k
(A) e o espaco das funcoes u: A R de classe C
k
, i.e. com derivada contnua de ordem k.
16
Nas condi coes acima dizemos que u e v sao harmonicas conjugadas.
Proposi cao 3.13. Se f = u + iv e analtica num aberto A C, com u, v C
2
(A), ent ao
u v = 0.
Demonstra c ao. Basta observar que pelas equa coes de Cauchy-Riemann:
u v = u
x
v
x
+ u
y
v
y
= u
x
u
y
+ u
y
u
x
= 0,
onde usamos a nota cao u
x
=
u
x
e u
y
=
u
y
.
Exerccio 27. Esboce as curvas de nvel de u e v para cada uma das fun c oes f = u + iv, e
verique que u v:
1. f(z) = z
2
2. f(z) = e
z
3. f(z) = log z
4. f(z) = 1/z
3.5 Transformacoes conformes
Uma fun cao f : A C e conforme em A C se e analtica em A e f

(z) ,= 0 para qualquer

z A.
Observa c ao 10.
Em cada ponto, uma fun cao conforme roda e alonga da mesma forma vectores
tangentes `as curvas. De facto, a aplica cao linear tangente num ponto z A, f

(z): C
C, e dada por
w f

(z).w = re
i
w
com r = [f

(z)[ e = arg f

(z). Desde que a derivada nao se anule, temos uma rota cao
por e uma contrac cao/expansao por r > 0.
Uma fun cao conforme preserva angulos (medidos entre vectores tangentes `as curvas).
Exerccio 28. Seja A = z C: Re z > 0, Imz > 0. Mostre que f : A C, z z
2
, e
conforme e injectiva. Determine f(A).
Proposi c ao 3.14. O conjunto das fun c oes conformes e bijectivas e um grupo
7
(para a opera c ao
de composi c ao de fun c oes).
Demonstra c ao.

E claro que a identidade e a fun cao identidade z z. Basta vericar que a
inversa e composi cao de fun coes conformes e bijectivas tambem e conforme e bijectiva. Esse
facto segue da derivada das fun coes inversa e composta.
7
A um conjunto G e uma operacao a.b entre elementos a e b de G chamamos grupo se: (1) a operacao e
associativa (2) a.b G para quaisquer a, b G (3) existe a identidade e G tal que a.e = e.a = a (4) para
cada a G existe o inverso a
1
G tal que a.a
1
= a
1
.a = e.
17
3.5.1 Transforma c oes de Mobius
Nesta sec cao apresentamos um exemplo de fun coes conformes, as fun coes racionais na forma
f(z) =
az + b
cz + d
onde a, b, c, d C,
chamadas de transforma c oes de Mobius.
Exerccio 29. Mostre que se ad bc = 0 ent ao a respectiva transforma c ao de M obius e
constante.
Proposi cao 3.15. Qualquer transforma c ao de M obius e conforme e bijectiva no seu domnio.
Demonstra c ao. Seja f(z) =
az+b
cz+d
com c ,= 0 (o caso c = 0 e trivial). No seu domnio C
d
c

a fun cao e analtica. Alem disso, f

1
(z) =
dz+b
cz+a
e tambem analtica em C
a
c
.

E simples
de vericar que f f
1
= f
1
f = Id, e f

(z) =
adbc
(cz+d)
2
,= 0.
Exerccio 30. Mostre que uma transforma c ao de M obius f pode ser decomposta na forma
f = f
4
f
3
f
2
f
1
onde
f
1
(z) = z +
d
c
, f
2
(z) =
1
z
, f
3
(z) = (bc ad)
z
c
2
, f
4
(z) = z +
a
c
. (3.14)
Proposi cao 3.16. Uma transforma c ao de M obius transforma rectas e circunferencias em
rectas ou circunferencias.
Demonstra c ao. Usando a decomposi cao (3.14), note que f
1
, f
3
, f
4
sao lineares logo trans-
formam rectas em rectas e circunferencias em circunferencias. O caso f
2
(z) = u + iv =
x
x
2
+y
2
i
y
x
2
+y
2
e mais complicado. Se z = x+iy pertence a uma recta ou circunferencia, entao
verica uma equa cao do tipo
A(x
2
+ y
2
) + Bx + Cy = D A + B
x
x
2
+ y
2
+ C
y
x
2
+ y
2
=
D
x
2
+ y
2
,
com coecientes A, B, C, D R. Assim, A + Bu Cv = D(u
2
+ v
2
), i.e. (u, v) pertence a
uma recta ou a uma circunferencia.
4 Caminhos em C
Seja A C e os n umeros reais a < b. Um caminho em A e uma fun cao contnua : [a, b] A.
A imagem desse caminho e a curva = ([a, b]) A. Um caminho regular e denido como
um caminho de classe C
1
. Nestas condi coes,

(t) e um vector tangente `a curva no ponto

(t).
Exemplo 2. O caminho (t) = e
2it
, t [0, 1], dene a circunferencia = z C: [z[ = 1.
Alem disso,

(t) = 2ie
2it
e um vector tangente a no ponto (t).
Um caminho e fechado se (a) = (b). Um caminho fechado : [a, b] C diz-se simples
se for injectiva em [a, b[. A um caminho fechado e simples chama-se caminho de Jordan e
a curva respectiva e uma curva de Jordan. Um caminho constante corresponde a um ponto
(ver Figura 3).
O comprimento de uma curva parametrizada por um caminho regular : [a, b] C e
dado por
() =
_
b
a
[

(t)[ dt.
18
1(a)
3(a) = 3(b)
1(b)
2(a) 2(b)
Figura 3: Exemplos de caminhos:
1
e
3
sao simples,
3
e fechado.
4.1 Operacoes entre caminhos
Seja : [a, b] C um caminho regular. O caminho simetrico e : [a, b] C denido como
()(t) = (a + b t). (4.1)
O caminho simetrico percorre o mesmo percurso de , mas no sentido contrario.
Uma reparametriza cao de um caminho regular : [a, b] C e um novo caminho regular
: [, ] C denido por
(t) = ((t)), (4.2)
onde : [, ] [a, b] e um difeomorsmo
8
tal que () = a e () = b. Isto signica apenas
que estamos a fazer um rescalamento (nao necessariamente linear) do tempo, mantendo o
sentido.
Considere dois caminhos regulares
1
: [a, b] C e
2
: [b, c] C tais que
1
(b) =
2
(b)
(i.e. o ponto nal de
1
e o ponto inicial de
2
). Podemos assim construir um unico caminho
(caminho soma) que podera nao ser diferenciavel em t = b. A soma de
1
e
2
e o caminho
(
1
+
2
): [a, c] C tal que
(
1
+
2
)(t) =
_

1
(t), t [a, b]

2
(t), t [b, c].
(4.3)
O caminho soma sera regular por tro cos, onde os tro cos correspondem aos caminhos regulares
originais.
4.2 Homotopias
Seja A C aberto. Uma homotopia entre caminhos
0
: [0, 1] A e
1
: [0, 1] A
1. com mesmos pontos nal e inicial (
0
(0) =
1
(0) e
0
(1) =
1
(1)) e uma fun cao contnua
H: [0, 1] [0, 1] A tal que, para t, s [0, 1]:
(a) H(0, t) =
0
(t)
(b) H(1, t) =
1
(t)
(c) H(s, 0) =
0
(0)
(d) H(s, 1) =
0
(1)
8
Um difeomorsmo e uma funcao C
1
bijectiva com inversa tambem C
1
.
19
2. fechados (
0
(0) =
0
(1) e
1
(0) =
1
(1)) e uma fun cao contnua H: [0, 1] [0, 1] A
tal que, para t, s [0, 1]:
(a) H(0, t) =
0
(t)
(b) H(1, t) =
1
(t)
(c) H(s, 0) = H(s, 1)
Um caminho fechado diz-se homotopico a um ponto z
0
se existir uma homotopia entre
e o caminho constante t z
0
.
Exemplo 3.
1. Conside os caminhos com pontos inicial e nal comuns:

0
(t) = t(1 + i),
1
(t) = t + t
2
i.
Uma possvel homotopia e a fun cao H(s, t) = t + t
1+s
i. Outro exemplo e H(s, t) =
(1 s)
0
(t) + s
1
(t).
2. Considere os caminhos fechados:

0
(t) = e
2it
,
1
(t) = 2e
2it
.
Um exemplo de homotopia e H(s, t) = (1 s)
0
(t) + s
1
(t).
Podemos usar a deni cao de homotopia para obter um conceito topologico. Um conjunto
conexo A C e simplesmente conexo se qualquer caminho fechado em A e homotopico a
um ponto (caminho constante). Isto signica que o conjunto A nao contem buracos.
5 Integracao em C
O integral de uma fun cao complexa h denida num intervalo real, i.e. h: [a, b] C onde
[a, b] R, e tomado como
_
b
a
h(t)dt =
_
b
a
Re h(t)dt + i
_
b
a
Imh(t)dt. (5.1)
De seguida tratamos o caso de uma fun cao complexa denida num subconjunto aberto de C.
5.1 Integral de caminho
Sejam um aberto A C, uma fun cao f : A C contnua e um caminho regular : [a, b] A.
Denimos o integral de f ao longo de (integral de caminho ou integral de linha) como
_

f =
_

f(z)dz =
_
b
a
f((t))

(t)dt. (5.2)
Exerccio 31. Calcule os integrais:
1.
_

Re z dz para o caminho (t) = t + it com t [0, 1]. (Note que a fun c ao f assume
valores reais, porem o valor do integral n ao e real.)
20
2.
_

z
3
dz para o caminho (com sentido anti-hor ario) sobre a elipse x
2
+ 4y
2
= 1 entre
1 e i/2.
3.
_

exp z dz sendo o caminho que descreve:

(a) o segmento de recta de 1 a i.
(b) o arco de circunferencia centrada na origem (com sentido anti-hor ario) e raio 1
entre 1 e i.
5.2 Propriedades do integral
Proposi cao 5.1. Sejam f e g fun c oes contnuas num aberto A C, ,
1
e
2
caminhos
regulares em A tais que o ponto nal de
1
coincide com o ponto inicial de
2
, e c
1
, c
2
C .
Ent ao:

(c
1
f + c
2
g) = c
1
_

f + c
2
_

f =
_

1
+
2
f =
_

1
f +
_

2
f

_
e
f =
_

f onde e uma reparametriza c ao de .

Exerccio 32. Demonstre a Proposi c ao 5.1.
Observa c ao 11. Fazendo uso da Proposi cao 5.1, podemos denir o integral de caminhos
regulares por tro cos, uma vez que estes caminhos sao somas de caminhos regulares. O integral
sobre um caminho regular por tro cos sera entao a soma dos integrais dos correspondentes
caminhos regulares.
Exerccio 33. Calcule os seguintes integrais para o caminho (com sentido anti-hor ario) que
circunda o quadrado com vertices nos pontos 0, 1, i e 1 + i:
1.
_

Re z dz
2.
_

(z
2
+ 1) dz
3.
_

z dz
A proposi cao seguinte permite-nos estimar integrais de difcil computa cao.
Proposi cao 5.2. Sejam A C aberto, f : A C contnua e : [a, b] A um caminho
regular. Ent ao

_
b
a
[f((t))[ [

(t)[dt sup
z
[f(z)[ (), (5.3)
onde () e o comprimento da curva = ([a, b]).
Exerccio 34. Demonstre a Proposi c ao 5.2.
21
5.3 Teorema fundamental do calculo
Uma primitiva de uma fun cao complexa e denida de forma identica ao caso real. Ou seja,
uma primitiva F de uma fun cao complexa f e analtica e satisfaz F

= f. As primitivas de f
diferem apenas de constantes, pois se F
1
e F
2
sao ambas primitivas de f, entao G = F
1
F
2
tem derivada nula logo e uma constante.
Teorema 5.3 (Teorema fundamental do calculo). Sejam A C aberto, um caminho regular
: [a, b] A e uma fun c ao contnua f : A C com primitiva F em A. Ent ao,
_

f = F((b)) F((a)). (5.4)

Observa c ao 12.
Se o caminho for fechado, i.e. (b) = (a),
_

f = 0.
Se o caminho for regular por tro cos, aplicando-se o teorema a cada tro co e somando os
respectivos integrais, podemos generalizar o resultado acima.
Note que o integral ao longo de apenas depende dos seus pontos inicial e nal. Logo,
sera o mesmo para outros caminhos com os mesmos extremos.
Demonstra c ao. Escrevendo F((t)) = u(t) + iv(t), temos que f((t))

(t) = F

((t))

(t) =
(F )

(t) = u

(t) + iv

(t). Assim, pela deni cao de integral de caminho:

_

f =
_
b
a
f((t))

(t)dt =
_
b
a
[u

(t) + iv

(t)]dt
Pelo teorema fundamental do calculo integral em R,
_
b
a
[u

(t) + iv

(t)]dt = u(b) u(a) + i[v(b) v(a)] = F((b)) F((a)).

Exerccio 35. Encontre dois caminhos regulares
1
e
2
com pontos inicial e nal iguais, tais
que
_

1
1
z
dz ,=
_

2
1
z
dz.
Explique porque isto e possvel e n ao viola o teorema fundamental do c alculo.
Teorema 5.4. Seja f : A C contnua numa regi ao A C. Ent ao, f tem uma primitiva
em A sse
_

f = 0 para qualquer caminho fechado regular por tro cos : [a, b] A.

Observa c ao 13.
_

f = 0 para qualquer caminho fechado sse o integral entre dois pontos

de A e independente do caminho. De facto, se =
1
+
2
onde
1
e
2
tem por extremos esses
dois pontos, entao
_

1
f =
_

2
f, ou seja o valor do integral apenas depende dos extremos. A
implica cao inversa e obvia.
Demonstra c ao.
() Se f tem uma primitiva F, entao pelo teorema fundamental do calculo
_

f =
F((b)) F((a)) = 0.
22
() Assuma agora que para qualquer caminho fechado o integral de f anula-se. Fixe
um ponto w em A e considere um caminho com extremos w e z
0
A a que chamamos
z
0
.
Considere entao a fun cao F(z
0
) =
_
z
0
f, bem denida pois o valor do integral apenas
depende dos pontos extremos do caminho e nao do caminho em si (recorde que w e xo
pelo que nao consideramos a fun cao dependente deste ponto). Queremos vericar que
F e a primitiva de f, bastando para isso provar que e diferenciavel e que F

= f.
Como A e uma regiao, em redor de z
0
podemos inscrever um disco D
r
(z
0
) com raio r
(sucientemente pequeno). Para z D
r
(z
0
) denimos o caminho
z
(t) = z
0
+t(z z
0
),
t [0, 1], que une z
0
a z por um segmento de recta denominado
z
. Logo,
_
z
dz = z z
0
e (
z
) = [z z
0
[.
Finalmente, como F(z) F(z
0
) =
_
z
f, usando a Proposi cao 5.2:

F(z) F(z
0
)
z z
0
f(z
0
)

_
z
[f() f(z
0
)]d

[z z
0
[
sup
z
[f() f(z
0
)[,
e pela continuidade de f, lim
zz
0
sup
z
[f() f(z
0
)[ = 0 e
lim
zz
0
F(z) F(z
0
)
z z
0
f(z
0
) = 0.
Conclumos que F e diferenciavel em qualquer ponto z
0
A e F

= f.
Exerccio 36. Calcule:
1.
_
|z|=1
(z)
1
dz e mostre que z (z)
1
n ao e primitiv avel.
2.
_

(z w)
n
dz onde n Z e determina a circunferencia de raio r centrada em w C.
Exerccio 37. Mostre que para qualquer caminho fechado regular por tro cos : [a, b] C
com w , ([a, b]) temos que
rot(, w) =
1
2i
_

dz
z w
Z. (5.5)
Note que o n umero acima rot(, w) (chamado n umero de rota c ao de em torno de w) indica
o n umero de voltas dadas pelo caminho em redor do ponto w.
Sugestao: Considere a fun c ao
h(t) =
1
2i
_
t
a

(s)
(s) w
ds, t [a, b].
Queremos ent ao provar que h(b) Z. Para isso verique que [(t) w]e
2ih(t)
e constante.
Exerccio 38. Descreva condi c oes sobre para que
_

log z dz = 0.
23
A

(3)

(4)

(2)

(1)

Figura 4:
5.4 Teorema de Cauchy
Nesta altura e importante real car o facto da primitiva c ao de fun coes complexas ser um pro-
blema mais subtil que a primitiva cao de fun coes reais. Tal reecte a restri cao imposta pelas
equa coes de Cauchy-Riemann. Para as fun coes reais terem primitiva e suciente que sejam
contnuas. Pretendemos agora obter tambem uma condi cao suciente de simples verica cao
para fun coes complexas. Na proxima sec cao iremos provar que de facto e uma condi cao ne-
cessaria e suciente.
Nesta sec cao iremos demonstrar o seguinte teorema:
Teorema 5.5 (Cauchy). Seja f : A C analtica numa regi ao A C simplesmente conexa
e um caminho fechado em A regular por tro cos. Ent ao,
_

f = 0. (5.6)
Observa c ao 14. Usando o Teorema 5.4, se f e analtica numa regiao A simplesmente conexa,
entao e primitivavel em A.
Come camos com versoes do Teorema de Cauchy em regioes especiais.
Teorema 5.6 (num rectangulo). Seja A C aberto, f : A C analtica e : [a, b] A um
caminho rectangular com lados paralelos aos eixos. Ent ao,
_

f = 0.
Demonstra c ao.
Dividimos o rectangulo circundado por em 4 novos rectangulos iguais como indica
a Fig. 4. Denimos entao os caminhos rectangulares
(i)
, 1 i 4, com sentido
anti-horario. Desta forma
_

f =

4
i=1
_

(i)
f. Logo,

1
f

onde
1
e o caminho entre os
(i)
que maximiza

(i)
f

.
Por outro lado, se o permetro e o diametro de (i.e. do rectangulo circunscrito por )
sao dados por, respectivamente, P e , entao, para
1
, temos que P
1
= P/2 e
1
= /2.
24
Podemos repetir este procedimento n vezes ate obtermos

4
n

_
n
f

, P
n
=
P
2
n
,
n
=

2
n
.
Escolhemos o ponto z
0
que se encontra no interior de todos os rectangulos denidos por

n
(como limP
n
= lim
n
= 0 e simples vericar que z
0
e unico). A fun cao f e, por
hipotese, analtica em z
0
. Isto implica que para qualquer > 0 encontramos > 0 tal
que para z D

(z
0
) verica-se
[f(z) f(z
0
) f

(z
0
)(z z
0
)[ < [z z
0
[.
Finalmente, notando que
_
n
dz =
_
n
(z z
0
)dz = 0 pois 1 e z sao primitivaveis,

4
n

_
n
f

= 4
n

_
n
[f(z) f(z
0
) f

(z
0
)(z z
0
)]dz

4
n

_
n
[z z
0
[ [dz[ 4
n

n
P
n
= P.
Como a desigualdade anterior e valida para qualquer > 0, temos que
_

f = 0.
Teorema 5.7 (num disco). Seja z
0
C, r > 0, f : D
r
(z
0
) C analtica, e um caminho
fechado : [a, b] D
r
(z
0
) regular por tro cos. Ent ao,
_

f = 0. (5.7)
Demonstra c ao. Vamos mostrar que se f e analtica num disco, entao tem primitiva. Usando
o Teorema 5.4 podemos entao deduzir (5.7).
Seja
F(z) =
_
[z
0
,z]
f, z D
r
(z
0
),
onde [z
0
, z] denota a soma do caminho horizontal desde z
0
ate z
0
+Re(z z
0
) com o caminho
vertical desde z
0
+ Re(z z
0
) ate z. Sendo assim, para w D
r
(z
0
),
F(w) F(z) =
_

f +
_
[z,w]
f, (5.8)
com o caminho rectangular com vertices em z e z
0
+ Re(w z
0
). Como, pelo Teorema 5.6,
temos que
_

f = 0,

F(w) F(z)
w z
f(z)

=
1
[w z[

_
[z,w]
f f(z)(w z)

=
1
[w z[

_
[z,w]
[f() f(z)]d

sup
[z,w]
[f() f(z)[
[w z[
([z, w])
2 sup
[z,w]
[f() f(z)[.
25
i,j
A
A

Figura 5: As curvas H(s
i
, ), H(, t
j
) e
i,j
.
Como f e contnua, lim
wz
sup
[z,w]
[f() f(z)[ = 0 e
lim
wz

F(w) F(z)
w z
f(z)

= 0,
i.e. F

(z) = f(z) para todo z D

r
(z
0
).
Exerccio 39. Prove (5.8).
Demonstra c ao do Teorema de Cauchy.
Considere a homotopia H: [0, 1] [0, 1] A entre : [0, 1] A e um ponto, e os
n umeros 0 = s
0
< s
1
< < s
n
= 1 e 0 = t
0
< t
1
< < t
n
= 1 que denem parti coes
de [0, 1]. O quadrado [0, 1] [0, 1] pode ser decomposto em n
2
subquadrados na forma
[s
i
, s
i+1
] [t
j
, t
j+1
], com i, j = 0, . . . , n 1. Note que para cada par (i, j) temos um
ponto H(s
i
, t
i
) em A.
Se n for tomado sucientemente grande cada conjunto H([s
i
, s
i+1
][t
j
, t
j+1
]) esta contido
num mesmo disco em A (ver Fig. 5). Isto e de facto possvel pois H e contnua num
conjunto compacto, logo uniformemente contnua. Alem disso, podemos aproximar os
caminhos contnuos s H(s, t
j
), s [s
i
, s
i+1
], e t H(s
i
, t), t [t
j
, t
j+1
], por caminhos
em A regulares por tro cos. Sejam
i,j
esses caminhos regulares por tro cos e xamos

0,j
= em [t
j
, t
j+1
]. Entao,
_

f =
n1

i,j=0
_

i,j
f. (5.9)
Como
i,j
e um caminho dentro de um disco onde f e analtica, para provar (5.6) usamos
o Teorema 5.7 que garante que
_

i,j
f = 0.
Exerccio 40. Prove (5.9).
26
5.5 Aplicacoes do Teorema de Cauchy
Teorema 5.8 (Formula de Cauchy). Seja A C uma regi ao simplesmente conexa e f : A C
analtica. Ent ao:
1. Todas as derivadas de f existem em A.
2. Para qualquer caminho fechado : [a, b] A regular por tro cos, k N 0 e z
A([a, b]), temos que
f
(k)
(z). rot(, z) =
k!
2i
_

f()
( z)
k+1
d. (5.10)
Observa c ao 15.
Note que 0! = 1 por conven cao, e que f
(0)
= f.
Se e um caminho de Jordan (fechado e simples) e z encontra-se no interior da curva
(rot(, z) = 1), entao a formula de Cauchy reduz-se a
f
(k)
(z) =
k!
2i
_

f()
( z)
k+1
d. (5.11)
Aprecie o resultado acima, nomeadamente o facto dos valores da fun cao f e das suas
derivadas poderem ser determinados atraves apenas dos valores de f sobre uma curva.
Para provar o resultado acima necessitamos da seguinte variante dos Teoremas 5.6 e 5.7.
Teorema 5.9. Os teoremas e 5.5, 5.6 e 5.7 s ao v alidos mesmo se f for analtica no seu
domnio com excep c ao de um ponto z
0
onde e apenas contnua.
Exerccio 41. *Demonstre o Teorema 5.9.
Demonstra c ao do Teorema 5.8. Considere a fun cao
F() =
_
f()f(z)
z
, ,= z
f

(z), = z,
analtica para ,= z e contnua para todo A. Podemos entao usar o Teorema 5.9 para
deduzir que
0 =
_

F =
_

f()
z
d f(z)
_

1
z
d,
quando z nao esta na curva dada por . Pela deni cao de rot(, z) dada em (5.5), provamos
(5.10) para k = 0. Mais, f e analtica por hipotese.
O seguinte lema sera suciente para provar a existencia de todas as derivadas e as restantes
igualdades (5.10) para k N.
Lema 5.10. Se e uma fun c ao contnua em = ([a, b]), ent ao
F
n
(z) =
_

()
( z)
n
d, z A,
e analtica com derivada F

n
= nF
n+1
.
27
Demonstra c ao.
Seja z
0
, e > 0 tal que D

(z
0
) = . Se z D
/2
(z
0
), temos que [ z[ > /2
para todos os pontos na curva . Logo,
F
1
(z) F
1
(z
0
) = (z z
0
)
_

()
( z)( z
0
)
d (5.12)
e
[F
1
(z) F
1
(z
0
)[ <
2[z z
0
[

2
sup

[()[ ().
Tirando o limite quando z z
0
temos que F
1
e contnua em z
0
.
Podemos repetir o procedimento anterior para a fun cao () = ()/( z
0
) em vez de
, o que implica que a fun cao
G
1
(z) =
_

()
z
d =
_

()
( z)( z
0
)
d
e contnua em z
0
. Ou seja, por (5.12),
lim
zz
0
F
1
(z) F
1
(z
0
)
z z
0
= lim
zz
0
G
1
(z) = F
2
(z
0
).
Assim, F

1
= F
2
. O mesmo para G
1
usando a fun cao , i.e. G

1
= G
2
.
Iremos provar por indu cao as restantes igualdades para n > 1 e a existencia de todas as
derivadas. Assim, assumimos que F
n1
e
G
n1
(z) =
_

()
( z)
n1
d =
_

()
( z)
n1
( z
0
)
d
sao contnuas em z
0
, e que F

n1
= (n1)F
n
e G

n1
= (n1)G
n
. Note que G
n1
(z
0
) =
F
n
(z
0
) e
1
( z)
n
=
z + z z
0
( z)
n
( z
0
)
=
1
( z)
n1
( z
0
)
+
z z
0
( z)
n
( z
0
)
.
Entao,
F
n
(z) F
n
(z
0
) =
_

_
1
( z)
n1
( z
0
)

1
( z
0
)
n
+
z z
0
( z)
n
( z
0
)
_
()d
= G
n1
(z) G
n1
(z
0
) + (z z
0
)
_

()
( z)
n
( z
0
)
d.
Como G
n1
e contnua em z
0
e pelo mesmo argumento de (5.12), o limite da expressao
acima quando z z
0
e zero. Simultaneamente,
F
n
(z) F
n
(z
0
)
z z
0
=
G
n1
(z) G
n1
(z
0
)
z z
0
+
_

()
( z)
n
( z
0
)
d
e
lim
zz
0
F
n
(z) F
n
(z
0
)
z z
0
= (n 1)G
n
(z
0
) +
_

()
( z
0
)
n+1
d
= (n 1)F
n+1
(z
0
) + F
n+1
(z
0
)
= nF
n+1
(z
0
).
I.e. F

n
= nF
n+1
. O mesmo para G

n
= nG
n+1
.
28
Exerccio 42. Termine a demonstra c ao do Teorema 5.8.
Exerccio 43. Mostre que se f e analtica em D
r
(z
0
), ent ao f(z
0
) e igual ` a media de f na
circunferencia D
r
(z
0
). I.e.
f(z
0
) =
1
2
_
2
0
f(z
0
+ re
it
)dt. (5.13)
Exerccio 44. Por compara c ao com a f ormula de Cauchy, calcule
1.
_
|z|=1
cos z
z
dz
2.
_
|z|=1
sinz
z
2
dz
3.
_
|z|=1
e
z
z
n
dz
Teorema 5.11 (Princpio do modulo maximo). Seja uma regi ao A C limitada e f : A C
analtica em A e contnua em A. Ent ao, [f[ tem m aximo num ponto da fronteira de A ou e
constante.
Demonstra c ao. Como f e contnua em A (limitado e fechado = compacto), entao existe
maximo em A. Seja a A um maximizante. Se a pertence `a fronteira, o teorema esta
demonstrado. Resta considerar o caso a A.
Comecemos por uma versao local. Seja z
0
um maximizante local. I.e. [f(z)[ [f(z
0
)[
para z D
R
(z
0
) para R > 0 sucientemente pequeno. Queremos mostrar que f e constante
9
nesse disco. Supondo (por absurdo) que existe z
1
= z
0
+ re
i
D
R
(z
0
), r < R, tal que
[f(z
1
)[ < [f(z
0
)[. Como f e contnua, existe > 0 tal que [f(z
0
+ re
i(+t)
)[ <
|f(z
0
)|+|f(z
1
)|
2
para cada 0 < t < . Assim, usando (5.13) e o facto de [f(z
0
)[ ser um maximo local,
[f(z
0
)[ =
1
2

_

0
+
_
2

f(z
0
+ re
i(+t)
) dt

<
1
2
_

[f(z
0
)[ +[f(z
1
)[
2
+ (2 )[f(z
0
)[
_
=[f(z
0
)[

4
([f(z
0
)[ [f(z
1
)[) < [f(z
0
)[,
chegamos a uma contradi cao.
Considere o conjunto A
1
= z A: f(z) = f(a) dos maximizantes de [f[. Este conjunto
e nao vazio porque a A
1
. Alem disso e aberto pois (como vimos acima) para qualquer z A
1
existe R > 0 tal que f e constante em D
R
(z
0
).
Seja A
2
= A (C A
1
) que e aberto pois e a intersec cao de abertos. Todos os pontos de
A ou estao em A
1
ou em A
2
, pois como f e contnua, qualquer sucessao convergente z
n
A
1
(i.e. f(z
n
) = f(a)) tem por limite z A
1
vericando f(z) = f(a) (note que z nao tem que
pertencer a A). Logo z A
1
, i.e. z
1
, A
2
.
Como A = A
1
A
2
e A
1
A
2
= , A so pode ser conexo se um desses conjuntos for vazio.
Assim, A = A
1
e f e constante.
9
Anteriormente ja provamos que uma funcao analtica e constante sse o seu modulo e constante.
29
Teorema 5.12 (Estimativas de Cauchy). Seja f : A C analtica numa regi ao A C e o
caminho em redor de D
r
(z
0
) A. Ent ao, para k N,
[f
(k)
(z
0
)[
k!
r
k
sup
z
[f(z)[. (5.14)
Exerccio 45.
1. Prove o Teorema 5.12.
2. Mostre usando o Teorema 5.12 que uma fun c ao analtica e limitada em C s o pode ser
constante.
3. Mostre que um polin omio P : C C de grau 1 tem pelo menos um zero (teorema
fundamental da algebra). Sugestao: Prove por absurdo que se n ao tem zeros, ent ao
1/P(z) seria analtica e limitada.
Teorema 5.13. Seja f : A C denida numa regi ao A C simplesmente conexa. Ent ao,
as proposi c oes seguintes s ao equivalentes:
1. f e analtica em A.
2. f e primitiv avel em A.
3.
_

f = 0 para qualquer caminho fechado regular por tro cos em A.

4. f tem todas as derivadas em A.
Demonstra c ao. A equivalencia entre 2 e 3 e dada pelo Teorema 5.4. O Teorema de Cauchy
garante que 1 implica 2. Finalmente, pelo Teorema 5.8, a primitiva F (que e analtica com
F

= f) e innitamente diferenciavel. Assim 4 e valida, em particular f

= F

existe em
A.
6 Series de potencias de funcoes analticas
6.1 Revisao relampago sobre convergencia de series
Uma sucessao z
n
em C converge para z C, i.e. lim
n+
z
n
= z ou z
n
z, se dado > 0
podemos encontrar uma ordem N N a partir da qual (n > N) temos [z
n
z[ < .
A serie

+
k=1
c
k
(ou simplesmente

c
k
), com c
k
C, converge se a sucessao das somas
parciais
S
n
=
n

k=1
c
k
converge. Nesse caso,
+

k=1
c
k
= lim
n+
n

k=1
c
k
.
De particular utilidade e o conceito de convergencia absoluta, pois reduzimos o problema
ao estudo de series positivas em R para as quais existem varios criterios de convergencia. Uma
serie

c
k
diz-se absolutamente convergente se

[c
k
[ converge. Pela deni cao e simples
vericar que se a serie converge absolutamente tera que convergir (o contrario nao e verdade,
e.g.

(1)
k
/k).
Considere agora uma sucessao de fun coes f
n
: A C onde A C. Temos entao duas
formas de convergencia:
30
1. f
n
converge pontualmente para f se [f
n
(z) f(z)[ 0 para cada z A;
2. f
n
converge uniformemente
10
para f : A C se |f
n
f|
A
0.
A convergencia uniforme de fun coes contnuas implica que o limite tambem e uma fun cao
contnua.
Proposi c ao 6.1. Se f
n
: A C e uma sucess ao de fun c oes contnuas e |f
n
f|
A
0 para
alguma f : A C, ent ao f e contnua.
Demonstra c ao. Fixe z
0
A. Comecemos por notar que para z, z
0
A,
[f(z) f(z
0
)[ [f(z) f
n
(z)[ +[f
n
(z) f
n
(z
0
)[ +[f
n
(z
0
) f(z
0
)[.
Como |f
n
f|
A
0, dado > 0 existe N N tal que para n > N, [f(z) f
n
(z)[ < /3
e [f
n
(z
0
) f(z
0
)[ < /3. Como f
n
e contnua existe > 0 tal que se [z z
0
[ < temos
[f
n
(z) f
n
(z
0
)[ < /3.
Concluindo, para qualquer > 0 existe > 0 tal que se [z z
0
[ < entao
[f(z) f(z
0
)[ < .
I.e. f e contnua em qualquer z
0
A.
Podemos entao denir series de fun coes

f
k
. A convergencia e dada por:
1.

f
k
converge pontualmente se

n
k=1
f
k
converge pontualmente;
2.

f
k
converge uniformemente se

n
k=1
f
k
converge uniformemente.
Observa c ao 16.
De particular utilidade e o seguinte teste (de facil demonstra cao): Se

|f
k
|
A
converge,
entao

f
k
converge absoluta e uniformemente em A.
De modo semelhante `a Proposi cao 6.1 podemos demonstrar que se f
n
sao fun coes
contnuas e

f
k
converge uniformemente em A, entao

f
k
e contnua em A.
Exerccio 46. Determine a convergencia de

z
k
/k em D
r
(0).
Exerccio 47. Mostre que

n0
z
n
converge em D
1
(0) para a fun c ao f(z) = 1/(1z). Prove
que a convergencia e uniforme e absoluta em qualquer conjunto D
r
(0) com r < 1.
6.2 Convergencia de sucessoes e series de funcoes analticas
Teorema 6.2. Seja A C aberto e uma sucess ao de fun c oes f
n
: A C analticas.
1. Se |f
n
f|
D
0 em qualquer disco fechado D em A, ent ao f e analtica e f

n
f

pontualmente em A e uniformemente em D.
2. Se

f
k
converge uniformemente em qualquer disco fechado em A, ent ao

f
k
e analtica
e (

f
k
)

k
pontualmente em A e uniformemente em qualquer disco fechado em
A.
10
A norma uniforme denida para funcoes f e fA = sup
zA
|f(z)|.
31
Lema 6.3. Seja A C uma regi ao, um caminho : [a, b] A regular por tro cos e uma
sucess ao de fun c oes f
n
: ([a, b]) C contnuas tal que |f
n
f|
([a,b])
0. Ent ao,
_

f
n

f.
Alem disso, se

f
k
converge uniformemente em , ent ao
_

f
k
=

f
k
.
Demonstra c ao. Como f
n
f uniformemente, dado > 0 existe N N tal que para n > N
temos que |f
n
f|

< . Logo,

f
n

(f
n
f)

|f
n
f|

() < ().
I.e.
_

f
n

_

f.
A mesma ideia para a serie.
Demonstra c ao do Teorema 6.2. Como f
n
f uniformemente e f
n
e analtica em D, para
qualquer caminho fechado em D regular por tro cos temos que
_

f
n
= 0 pelo teorema de
Cauchy e que
_

f
n

_

g pelo lema acima. Ou seja,

_

f = 0. Pelo Teorema 5.13, f e

analtica em D.
Consideremos agora que D e um disco de raio r e que determina uma circunferencia
concentrica de raio > r de tal forma que ainda esta em A. Assim, pela formula de Cauchy,
f

n
(z) f

(z) =
1
2i
_

f
n
() f()
( z)
2
d.
Como [ z[ r para ([a, b]) e z D,
|f

n
f

|
D

|f
n
f|

()
2( r)
2
=
|f
n
f|

( r)
2
.
Do facto |f
n
f|

0 provamos que f

n
f

uniformemente em D.
A mesma ideia para a serie.
Exerccio 48. Considere a fun c ao zeta () de Riemann
11
(z) =

nN
n
z
1. Mostre que e analtica em A = z C: Re z > 1.
2. Escreva

sob a forma de uma serie.

11
Riemann (1826 - 1866) observou que a frequencia dos n umeros primos entre os naturais e muito parecida
com o comportamento da funcao . A famosa Hipotese de Riemann conjectura que todas as solucoes de
(z) = 0 encontram-se na recta vertical {z C: Re z =
1
2
}. Isto foi vericado para as primeiras 1,500,000,000
solucoes. Porem, uma demonstracao formal para qualquer caso nao e conhecida. No caso de ter alguma boa
ideia, gostara de saber que ha um premio de 1 milhao de dolares para quem resolver este problema. Veja em:
http://www.claymath.org/millennium/
32
6.3 Convergencia da serie de Taylor
A serie de Taylor de uma fun cao innitamente diferenciavel f : A C em redor de z
0
A e
dada pela serie de potencias

k0
f
(k)
(z
0
)
k!
(z z
0
)
k
.
Um problema obvio e saber onde esta serie e igual `a fun cao, i.e. quando a serie acima converge.
Teorema 6.4 (Taylor). Seja A C aberto, f : A C analtica e D
r
(z
0
) A. Ent ao,
f(z) =

n0
f
(n)
(z
0
)
n!
(z z
0
)
n
(serie de Taylor) (6.1)
para todo z D
r
(z
0
).
Demonstra c ao. Seja o caminho que descreve uma circunferencia de raio < r e centrada
em z
0
. Assim, para z D

(z
0
),
f(z) =
1
2i
_

f()
z
d.
Como podemos escrever
1
z
=
1
z
0
(z z
0
)
=
1
( z
0
)
_
1
zz
0
z
0
_ =
1
z
0

n0
_
z z
0
z
0
_
n
,
obtemos
f(z) =
1
2i
_

n0
_
z z
0
z
0
_
n
f()
z
0
d.
Ou seja, usando o Lema 6.3,
f(z) =

n0
(z z
0
)
n
1
2i
_

f()
( z
0
)
n+1
d =

n0
f
(n)
(z
0
)
n!
(z z
0
)
n
.
Exerccio 49. Determine a serie de Taylor da fun c ao de Riemann em redor de z
0
= 2.
Corolario 6.5. Seja A C uma regi ao. Uma fun c ao f : A C e analtica sse para cada
z
0
A existe r > 0 tal que D
r
(z
0
) A e f igual ` a sua serie de Taylor em D
r
(z
0
).
Observa c ao 17. Poderamos ter denido inicialmente fun coes analticas desta maneira. De
facto, em R, esta e a deni cao.
Demonstra c ao.
() Segue do teorema de Taylor.
() A serie de Taylor e analtica em D
r
(z
0
) pois converge. Como e valido para qualquer
z
0
A, temos que f e analtica em A.
33
6.4 Continuacao analtica
O facto de uma fun cao analtica ser igual `a sua serie de Taylor tem varias consequencias
importantes. Em particular, se a fun cao se anula em pontos que acumulam no domnio,
entao tera que se anular em todo o domnio (desde que este seja conexo).
Teorema 6.6. Seja f : A C analtica numa regi ao A C. Se existe uma sucess ao z
n
A
convergente para z
0
A tal que z
n
,= z
m
, n ,= m, e f(z
n
) = 0, n N, ent ao f(z) = 0, z A.
Demonstra c ao. Como f e analtica, podemos escrever para cada z
0
A a serie de Taylor
denida num disco D
r
(z
0
) A. Se f
(k)
(z
0
) = 0 para qualquer k 0, entao o teorema esta
demonstrado. Assumimos entao que existe p tal que f
(p)
(z
0
) ,= 0 e f
(k)
(z
0
) = 0 para k < p.
Assim,
f(z) = (z z
0
)
p
(z) onde (z) =

k0
f
(k+p)
(z
0
)
(k + p)!
(z z
0
)
k
.
A fun cao e tambem analtica pois corresponde a uma serie de Taylor convergente. Em
particular, (z
0
) = f
(p)
(z
0
)/p! ,= 0. Como e contnua, existe uma vizinhan ca D
R
(z
0
) de z
0
com 0 < R < r, tal que (z) ,= 0 se z D
R
(z
0
).
Vamos entao provar por absurdo que f(z) ,= 0 em D
R
(z
0
). I.e. assumimos que existe
z

D
R
(z
0
) tal que f(z

) ,= 0. Porem, f(z

) = (z

z
0
)
p
(z

) = 0, logo z

= z
0
. Ou seja,
nao existe uma sucessao nas condi coes do enunciado.
Como o teorema e valido para D
R
(z
0
) com z
0
arbitrario em A, e valido para todo o ponto
em A.
Imediatamente obtemos o seguinte resultado.
Corolario 6.7 (Continua cao analtica). Sejam f : A C e g: A C analticas numa regi ao
A C. Se existe uma sucess ao z
n
A convergente para z
0
A tal que z
n
,= z
m
, n ,= m, e
f(z
n
) = g(z
n
), n N, ent ao f = g em A.
Observa c ao 18. A continua cao analtica signica que existe uma unica fun cao analtica que
toma determinados valores num conjunto de pontos que acumulam noutro ponto da regiao.
Por exemplo, se para z
n
= 1/n temos que f(z
n
) = e
1/n
, entao a unica possibilidade da fun cao
f ser analtica e se for a exponencial f(z) = e
z
.
Exerccio 50. Prove que se f : A C e analtica numa regi ao A e igual a g: A C ao
longo de um caminho em A, ent ao f = g em todo o A.
6.5 Serie de Laurent
Como vimos acima, a serie de Taylor e util quando temos uma fun cao analtica num disco.
No caso de a fun cao ter uma singularidade num ponto desse disco (i.e. falha a deni cao ou a
analiticidade nesse ponto), temos como alternativa a expansao em serie de potencias (incluindo
potencias negativas), chamada de Laurent.
Teorema 6.8 (Laurent). Seja z
0
C e uma fun c ao f : D
r
(z
0
) z
0
C analtica. Ent ao,
f(z) =
+

n=0
c
n
(z z
0
)
n
+
+

n=1
c
n
(z z
0
)
n
, (serie de Laurent) (6.2)
34
para todo z D
r
(z
0
) z
0
, com
c
k
=
1
2i
_

f()
( z
0
)
k+1
d, k Z, (6.3)
onde = D
r
(z
0
).
Observa c ao 19. Se f e analtica em D
r
(z
0
), c
n
= 0, n N, pelo Teorema de Cauchy.
Recuperamos entao a serie de Taylor.
Demonstra c ao. Escolhemos os caminhos
1
e
2
descrevendo as circunferencias concentricas
em z
0
de raios r
1
< r
2
< r, e um arco unindo
1
a
2
. O caminho
1
+
2
+ + ()
e fechado e homotopico a um ponto em D
r
(z
0
) z
0
onde f e analtica. Pela formula de
Cauchy, para z tal que r
1
< [z z
0
[ < r
2
,
f(z) =
1
2i
_

1
+
2
++()
f()
z
d = f
1
(z) + f
2
(z)
onde
f
1
(z) =
1
2i
_

1
f()
z
d e f
2
(z) =
1
2i
_

2
f()
z
d.
Os integrais acima nao dependem dos caminhos
1
e
2
(apenas exige-se r
1
< [z z
0
[ < r
2
)
pelo teorema de Cauchy. Assim, variando esses caminhos de forma a evitar que z esteja sobre
as suas curvas, temos que f
1
e f
2
sao analticas em D
r
(z
0
) z
0
(de facto, f
2
e analtica
tambem em z
0
porque [z z
0
[ = 0 < r
2
).
Observe que se
1
([a, b]),
1
z
=
1
z z
0

n0
_
z
0
z z
0
_
n
,
e se
2
([a, b]),
1
z
=
1
z
0

n0
_
z z
0
z
0
_
n
.
Entao, para z D
r
(z
0
) z
0
,
f
1
(z) =
1
2i
_

1
f()
z
0

n0
_
z
0
z z
0
_
n
d
=

n0
1
2i
_

1
f()( z
0
)
n
1
(z z
0
)
n+1
d
=

n1
_
1
2i
_

1
f()( z
0
)
n1
d
_
1
(z z
0
)
n
,
e
f
2
(z) =
1
2i
_

2
f()
z z
0

n0
_
z z
0
z
0
_
n
d
=

n0
_
1
2i
_

2
f()
( z
0
)
n+1
d
_
(z z
0
)
n
.
35
Exerccio 51. Escreva a serie de Laurent de
1. f(z) = sin
1
z
2
para 0 < [z[ < 1.
2. f(z) =
1
z(1z)
para
(a) 0 < [z[ < 1.
(b) [z[ > 1.
(c) 0 < [z 1[ < 1.
(d) [z 1[ > 1.
7 Teorema dos Resduos
7.1 Classicacao de singularidades e resduos
Seja A C aberto, z
0
A e f : A z
0
C analtica. Chama-se a z
0
singularidade
isolada de A
12
. A expansao de f em serie de Laurent em torno de z
0
e entao dada por (6.2),
i.e.
f(z) =
+

n=
c
n
(z z
0
)
n
.
Se k = maxn N: c
n
,= 0 existe, entao z
0
diz-se um p olo de ordem k
13
.
Se existem innitos ns tais que c
n
,= 0, entao z
0
e uma singularidade essencial.
O resduo de f em z
0
e o coeciente c
1
da serie de Laurent de f em torno de z
0
e
escreve-se
Res(f, z
0
) = c
1
. (7.1)

E entao facil vericar que:

se z
0
e um polo de ordem 1,
Res(f, z
0
) = c
1
= lim
zz
0
(z z
0
)f(z).
se z
0
e um polo de ordem 2,
c
2
= lim
zz
0
(z z
0
)
2
f(z)
e
Res(f, z
0
) = c
1
= lim
zz
0
(z z
0
)
_
f(z)
c
2
(z z
0
)
2
_
.
se z
0
e um polo de ordem k N,
c
k
= lim
zz
0
(z z
0
)
k
f(z),
c
i
= lim
zz
0
(z z
0
)
_
_
f(z)
k

j=i+1
c
j
(z z
0
)
j
_
_
i = 1, . . . , k,
e Res(f, z
0
) = c
1
.
12
A funcao f diz-se entao meromorca em A.
13
Um polo de ordem 0 tambem e chamado de singularidade removvel pois signica que para todo n N
temos cn = 0.
36
Exerccio 52. Calcule Res(f, z
0
) para
1. f(z) =
e
z
1
z
, z
0
= 0.
2. f(z) =
z
2
sin
2
z
, z
0
= 0.
3. f(z) = tan z, todas as singularidades.
4. f(z) =
e
z
(z1)
2
, z
0
= 1.
5. f(z) =
z
2
1
(z
2
+1)
2
, z
0
= i.
6. f(z) =
e
z
2
z1
, z
0
= 1.
7. f(z) =
e
z
1
sin
3
z
, z
0
= 0.
7.2 Teorema dos resduos
Teorema 7.1 (dos resduos). Seja A C uma regi ao simplesmente conexa, uma singularidade
z
0
A, f : Az
0
C analtica, e um caminho fechado : [a, b] A regular por tro cos tal
que z
0
, ([a, b]). Ent ao,
_

f = 2i Res(f, z
0
). rot(, z
0
). (7.2)
Observa c ao 20. Podemos facilmente generalizar o teorema dos resduos para regioes A con-
tendo um n umero nito de singularidades isoladas. Bastando para isso considerar unioes de
curvas fechadas em regioes contendo apenas uma singularidade.
Demonstra c ao. A serie de Laurent de f em redor de z
0
em z C: 0 < [z z
0
[ < r A e
f(z) =

nZ
c
n
(z z
0
)
n
onde os coecientes c
n
sao dados por (6.3). Logo,
_

f =
_

n1
c
n
(z z
0
)
n
dz +
_

n0
c
n
(z z
0
)
n
dz.
Como a fun cao dentro do ultimo integral acima e analtica, pelo teorema de Cauchy o integral
e zero. Assim, obtemos
_

f =
_

n1
c
n
(z z
0
)
n
dz = c
1
2i rot(, z
0
),
onde utilizamos o teorema fundamental do calculo para determinar o seguinte integral:
_

1
(z z
0
)
n
dz =
_
_
_
2i rot(, z
0
), n = 1
_
(zz
0
)
1n
1n
_
(b)
(a)
= 0, n ,= 1.
Exerccio 53. Calcule
37
1.
_

(z + 1)
3
dz com = D
2
(0) e o quadrado com vertices em 0, 1, 1 + i, i.
2.
_

z
z
2
+2z+5
dz, com = D
1
(0).
3.
_

5z2
z(z1)
dz, com = D
2
(0).
4.
_

e
z
2
z
2
dz, com (t) = a cos t + ib sin t, a, b > 0 e t [0, 2].
7.3 Aplicacao do teorema dos resduos a integrais em R
Vamos introduzir a aplica cao do teorema de resduos ao c alculo integral em R atraves de
exemplos.
Exemplo 4. Queremos calcular o integral
_
+

cos(y)
(y
2
+ 1)
2
dy. (7.3)
Considere o caminho
r
que percorre o segmento de recta entre ir e ir, com r > 1, e o
caminho
r
correspondendo `a curva z C: Re z 0, [z[ = r. Podemos entao denir um
caminho fechado simples
r
=
r
+
r
com sentido positivo. Para a fun cao
f(z) =
e
z
(z
2
1)
2
temos que
Res(f, 1) =
1
2e
e Res(f, 1) = 0.
Logo, pelo teorema dos resduos,
_
r
f =
_
r
f +
_
r
f = ie
1
.
Note que os integrais sao iguais para qualquer escolha de r > 1 e que
_
r
f =
_
r
r
f(iy)i dy = i
_
r
r
cos(y) + i sin(y)
(y
2
+ 1)
2
dy.
Alem disso,

_
r
f

sup
Re z0,|z|=r
[f(z)[ (
r
)
r
(r
2
1)
2
e
lim
r+
_
r
f = 0.
Queremos calcular o integral (7.3) da fun cao contnua em R dada por y cos(y)/(y
2
+1)
2
.
Esta fun cao e integravel em R pois e limitada,

cos(y)/(y
2
+ 1)
2

1/y
2
e
_
+
1
(1/y
2
)dy
converge. Logo,
_
R
cos(y)
(y
2
+ 1)
2
dy = lim
r+
_
r
r
cos(y)
(y
2
+ 1)
2
dy = lim
r+
Im
_
r
f
= lim
r+
Im
_
ie
1

_
r
f
_
= e
1
.
38
Observa c ao 21. Note que uma fun c ao contnua f : R R e integravel em R se existem os
limites
lim
a+
_
a
0
f e lim
b
_
0
b
f.
Nesse caso,
_
R
f = lim
a+
_
a
0
f + lim
b
_
0
b
f
e em particular temos que o chamado valor principal do integral
v.p
_
R
f = lim
a+
_
a
a
f
e igual ao integral
_
R
f. Por vezes e possvel calcular o valor principal mesmo para fun coes
que nao sao integraveis.
Lema 7.2. Seja f analtica com um p olo de ordem 1 em z
0
, e um caminho
r
(t) = z
0
+re
it
,
t [a, b]. Ent ao,
lim
r0
_
r
f = (b a)i Res(f, z
0
). (7.4)
Demonstra c ao. Podemos escrever a serie de Laurent de f em torno de z
0
como
f(z) =
Res(f, z
0
)
z z
0
+ h(z),
onde h e analtica. O integral de h sobre
r
pode ser estimado por

_
r
h

sup
zr
[h(z)[ (
r
) = (b a)r sup
zr
[h(z)[ 0 quando r 0.
Finalmente,
_
r
Res(f, z
0
)
z z
0
dz = (b a)i Res(f, z
0
).
Exemplo 5. Determinar o valor do integral
_
+
0
sinx
x
dx. (7.5)
Considere para isso a fun cao f(z) = e
iz
/z denida em C 0. Observe que Imf(x) =
sin(x)/x. O ponto z = 0 e um polo simples com Res(f, 0) = 1.
Sejam 0 < r < R. Como nao podemos integrar a fun cao sobre um caminho que cruze o
ponto z = 0, escolhemos entao um caminho =
R,r
+
r
+

R,r
+
R
onde temos os segmentos
de recta sobre os reais,

R,r
(t) = R(1 t) rt e

R,r
(t) = r(1 t) + Rt,
e as semicircunferencias centradas em 0,

r
(t) = re
i(1t)
e
R
(t) = Re
it
,
39
R
R
r
R
r
r
Figura 6: Os caminhos que compoe .
com t [0, 1] (ver Figura 6). Claramente,
_

f = 0.
Para a curva exterior temos
_

R
f = i
_
1
0
e
Rsin(t)+iRcos(t)
dt,
o que implica

R
f

_
1
0
e
Rsin(t)
dt
=
_
_
1/

R
0
+
_
11/

R
1/

R
+
_
1
11/

R
_
e
Rsin(t)
dt

_
1

R
+ e
Rsin(/

R)
+
1

R
_
0 quando R +.
Entao,
lim
R+
__
r
R
f +
_
R
r
f
_
+
_
r
f = 0.
Em particular, reparando que a fun cao integranda abaixo e par, provamos a convergencia de
_
+
r
sin x
x
dx =
1
2
Im
_
r
f.
para qualquer r > 0. Usando o Lema 7.2 e tendo em conta o sentido do caminho, lim
r0
_
r
f =
i. Podemos entao concluir que
_
+
0
sin x
x
dx = /2.
Exerccio 54. Calcule
1.
_
+

cos(ax)
1+x
2
dx
2.
_
+

e
ix
1+ix
dx
3. (*)
_
+

e
x
2
/2
dx
40
Agradecimentos
Agrade co `as turmas 3
o
ano MAEG 2005/06 e 2006/07, em particular a Paulo Lopes, Claudia
Duarte e Pedro Gon calves, pela ajuda na detec cao de gralhas em versoes anteriores deste
texto.
Referencias
[1] L. V. Ahlfors. Complex Analysis. McGraw-Hill, 3rd ed, 1979.
[2] J. E. Marsden and M. J. Homan. Basic Complex Analysis. Freeman, 3rd ed, 1999.
41