Calculo Diferencial e Integral III (DF)

I Elementos de Analise Complexa

Miguel Ramos
November 5, 2008

Revis
ao sobre n
umeros complexos

1. (Produto de complexos.) O corpo C dos n

umeros complexos pode ser definido com
sendo o espaco R2 munido da soma habitual bem como do produto
(x1 , y1 ).(x2 , y2 ) := (x1 x2 y1 y2 , x1 y2 + x2 y1 ).
Utilizando a definic
ao do produto, constata-se imediatamente que
(0, 1).(0, 1) = (1, 0)

(y, 0).(0, 1) = (0, 1).(y, 0) = (0, y).

em geral mais c
E
omoda a representacao destes pares de n
umeros na seguinte forma:
designe-se por i (raiz imagin
aria) o vector i = (0, 1) e identifique-se os pares (x, 0)
com os n
umeros reais x R. Os pares (x, y) sao entao representados (sem qualquer
ambiguidade, pelo c
alculo acima) na forma
z = x + yi = x + iy,
com a vantagem de que o produto z1 .z2 se calcula pelas regras habituais do produto de
n
umeros reais e usando o facto de que i2 = 1:
z1 .z2 = (x1 + iy1 ).(x2 + iy2 ) = (x1 x2 y1 y2 ) + i(x1 y2 + x2 y1 ).
Verifica-se sem dificuldade que s
ao v
alidas as propriedades algebricas de corpo. Na decomposicao acima, diz-se que x e a parte real de z (Re z) e y e a parte imagin
aria de z (Im z).
2. (Representac
ao polar.) Dado que qualquer ponto do plano R2 pode ser representado
em coordenadas polares (x, y) = r(cos , sin ), tambem todo o n
umero complexo se pode
escrever na forma
z = x + iy = r(cos + i sin ) rcis ,
1

onde r =

p
x2 + y 2 e o m
odulo de z e arg z e o argumento de z. A interpretacao

geometrica no plano (x, y) e clara: r coincide com a norma euclideana do vector (x, y)
e cis representa um ponto na circunferencia unitaria.
importante notar que o
E
angulo so fica univocamente determinado quando se fixa um
intervalo J de comprimento 2 (frequentemente: J = [0, 2[ ou J = [, [) e se exige
que varie em J unicamente. Da por vezes falar-se em ramos do argumento, um ramo
para cada intervalo J fixado. Num dado contexto, pode ser importante (ou nao) precisar
o ramo que se est
a a considerar.
Recorde-se da geometria analtica a desigualdade triangular:
|z1 + z2 | 6 |z1 | + |z2 |

z1 , z2 C,

que e por vezes escrita na forma (equivalente):

| |z1 | |z2 | | 6 |z1 z2 |

z1 , z2 C,

imediato que:
Dado um complexo z = x + iy, define-se o seu conjugado z := x iy. E
z = z,

z z = |z|2 ,

|
z | = |z|,

zw = z w,

z, w C.

Utilizando a representac
ao polar e as propriedades (de adicao e subtraccao de angulos)
das funcoes trigonometricas, deduzem-se as seguintes propriedades notaveis:
|z1 z2 | = |z1 | |z2 |,

arg (z1 z2 ) = arg z1 + arg z2

(mod 2)

z1 , z2 C.

[Repare-se que z1 z2 = r1 r2 ((cos 1 cos 2 sin 1 sin 2 ) + i(cos 1 sin 2 + cos 2 sin 1 )) =
r1 r2 (cos(1 + 2 ) + i(sin 1 + 2 )).]

Isto fornece, em particular, uma interpretacao geometrica simples do produto de dois

n
umeros complexos. Por exemplo, torna-se claro que a multiplicacao pelo n
umero i corresponde a uma rotac
ao de 90 graus.
3. (Radiciac
ao.) Por iterac
ao da f
ormula anterior obtem-se a f
ormula de De Moivre:
z n = rn cis (n)

n N, z = r cis C.

Teorema. (Radiciac
ao.) Para todo o w = r cis C, w 6= 0, existem exactamente n
soluc
oes da equac
ao z n = w. Designadamente,
zk =

r cis (

2k
+
),
n
n

k = 0, 1, . . . , n 1.

Dem. Tem-se de facto zkn = w, pela formula de De Moivre. Quanto `a unicidade, qualquer

solucao z 0 = cis ter

a de satisfazer n = r (donde = n r) e (cos(n), sin(n)) =
(cos , sin ), donde n = + 2k para algum k Z. E claro que {cis ( n + 2k
n ), k Z} =
{cis ( n +

2k
n ),

k = 0, 1, . . . , n 1}.
2

Fun
c
oes elementares

1. (Funcao exponencial.) Para qualquer z = x + iy C, define-se

ez = exp z = ex (cos y + i sin y).
(Ha varias maneiras de motivar esta definicao. Uma delas e a seguinte. Devera suceder
que ex+iy = ex eiy , pelo que resta motivar a definicao de eiy . Ora, pretende-se que f (z) =
ez satisfaca f (0) = 1 bem como f (n) (0) = 1 (derivadas de qualquer ordem); usando o
desenvolvimento de Taylor de f em torno do ponto 0 (cf. Calculo Diferencial e Integral
I), designadamente
f (0) + f 0 (0)(iy) + f 00 (0)

(iy)3
(iy)4
(iy)2
+ f (3) (0)
+ f (4) (0)
+ ,
2!
3!
4!

agrupando os termos chega-se a

(1

y3 y5
y2 y4
+
+ ) + i (y
+
+ ),
2!
4!
3!
5!

que e precisamente o desenvolvimento de Taylor de cos y + i sin y.)

Algumas propriedades que decorrem imediatamente da definicao sao (verifique):
a) |ez | = ex e ez 6= 0,
b) ez = 1

z = x + iy C.

sse z = 2ki para algum k Z.

c) ez+w = ez ew ,

z, w C.

Obs. O uso da exponencial permite usar uma notacao alternativa para a representacao
polar:
z = r cis = rei ,

z C.

Obs. Em geral, n
ao e c
omodo escrever a exponencial ez com z em representacao polar
(verifique).
Nao sendo possvel esbocar (a duas ou tres dimensoes) o grafico da funcao exponencial,
ainda assim pode estudar-se a imagem pela exponencial de certos subconjuntos do plano
complexo. Por exemplo, a exponencial transforma uma recta horizontal (y=constante)
numa semi-recta com origem em 0 e direccao dada por cis y; transforma uma recta vertical (x=constante) numa circunferencia de raio ex (percorrida uma infinidade de vezes).
2. (Funcoes trigonometricas.) Para qualquer z = x + iy C, define-se
1
cos z = (eiz + eiz ),
2

sin z =
3

1 iz
(e eiz ).
2i

(Uma motivac
ao possvel para esta definicao e a seguinte: dado que eiy := cos y + i sin y e
eiy = cos y i sin y, adicionando e subtraindo estas expressoes chega-se `a definicao acima
no ponto y.)
Algumas propriedades que decorrem imediatamente da definicao sao (verifique):
a) cos z = cos(z), sin z = sin z,
b) sin2 z + cos2 z = 1,

z C.

z C.

c) cos(z + w) = cos z cos w sin z sin w,

z, w C.

d) sin(z + w) = sin z cos w + cos z sin w,

z, w C.

3. (Funcao logaritmo.) Fixado um real y0 , designe-se por Ay0 a faixa horizontal

Ay0 = {z = x + iy : x R e y0 6 y < y0 + 2}.
A funcao exponencial transforma cada conjunto Ay0 no conjunto C \ {0} (plano complexo
desprovido da origem), e f
a-lo de maneira bijectiva, isto e: para todo o z = rcis C \ {0}
existe um u
nico w Ay0 tal que ew = z.
Com efeito, trata-se de encontrar w = x + iy tal que ex cis iy = rcis , equacao cujas
solucoes s
ao dadas por x = log r e y = + 2k com k Z; e a exigencia de y pertencer a
Ay0 determina univocamente o inteiro k.
Isto permite definir a func
ao logaritmo ou, com mais precisao, um ramo da funcao logaritmo (um ramo para cada y0 fixado):
log z := log |z| + i argz,

z C \ {0};

onde arg se refere ao argumento de z do intervado [y0 , y0 + 2[; em representacao polar,

portanto,
r > 0, [y0 , y0 + 2[.

log(rcis ) := log r + i ,

Esta aplicac
ao e, pois, uma bijecc
ao log : C \ {0} Ay0 .
Algumas propriedades que decorrem imediatamente da definicao sao (verifique):
a) elog z = z,
b) log(ez ) = z,

z C \ {0}.
z = x + iy C : y0 6 y < y0 + 2.

c) log(zw) = log z + log w (mod 2i),

z, w C \ {0}.

Exemplifiquemos a f
ormula em c), com: y0 = 0, z = 1 i, w = 1 i. Neste caso,
log z =

5
1
log 2 + i ,
2
4

log w =
4

1
7
log 2 + i .
2
4

Pela formula em c), existir

a k Z (k depende de y0 , z e w) tal que
log(zw) = log z + log w + 2ki = log 2 + 3i + 2ki.
De facto, zw = 2 e log(zw) = log 2 + i, donde k = 1.
4. (Radiciac
ao.) Fixado um ramo do logaritmo, define-se a raiz de ordem n,

z := e

log z
n

z C \ {0}.

Decorre das propriedades da exponencial e do logaritmo que, para todo o z C \ {0},

log z
log z
n log z
( n z)n = e n e n = e n = z.
Para diferentes ramos do logaritmo, obtem-se possivelmente diferentes valores de

z. Mais

precisamente, continuando a designar por log o ramo inicialmente fixado, um qualquer

outro ramo do logaritmo calculado em z tera um valor log z + 2ki para certo k Z,
pelo que (log z + 2ki)/n = (log z)/n + 2ki/n e a nova raiz de ordem n tomara o valor
e

log z
n

2ki
n

= e

log z
n

2k
2k
cis 2k
n Dado que {cis n : k Z} = {cis n : k = 0, 1, . . . , n 1},

obtem-se deste modo as n razes complexas de z.

Em representac
ao polar, se z = rcis , tem-se (log z)/n = (log r)/n + i/n, donde

z=e

log r
n

en =

r cis ,
n

desde que o argumento varie no intervalo [y0 , y0 + 2[ do ramo fixado para o logaritmo.

Tal como se disse, para diferentes ramos do logaritmo, os valores possveis de n z consti
tuem o conjunto { n r cis ( n + 2k
a de acordo com o que se
n ), k = 0, 1, . . . , n 1}. Isto est
viu atras a prop
osito da f
ormula de De Moivre.
Exemplifiquemos com n = 2. Fixado o ramo do logaritmo correspondente a 0 6 < 2,

a aplicacao z 7 z transforma C \ {0} no semiplano superior {(x, y) : y > 0} {(x, 0) :

x > 0}. Fixado o ramo do logaritmo correspondente a 6 < , a aplicacao z 7 z

transforma C \ {0} no semiplano direito {(x, y) : x > 0} {(0, y) : y < 0}.
5. (Potenciac
ao.) A radiciac
ao e um caso particular da potenciacao de n
umeros complexos.
Fixado um ramo do logaritmo e dados n
umeros complexos a, b com a nao nulo, define-se,
`a semelhanca do caso real,
ab := eb log a ,

a, b C, a 6= 0.

Tal como atr

as, para diferentes ramos do logaritmo, obtem-se possivelmente diferentes
valores de ab ; alterar um ramo do logaritmo tem o efeito de multiplicar o valor acima por
5

um factor e2kib para certo k Z (se b for um irracional ou um imaginario puro, obtem-se
toda uma sucess
ao de valores distintos para ab ).
Algumas propriedades que decorrem imediatamente da definicao sao (verifique):
a) ab ac = ab+c , para um qualquer ramo fixado do logaritmo.
b) (ab)c = ac bc , desde que, para o ramo fixado do logaritmo, log(ab) = log a + log b (sem
termo adicional 2ki).

Fun
c
oes analticas

1. (Continuidade.) Seja f = u + iv : C C uma funcao de variavel complexa, com parte

real Re f = u e parte imagin
aria Im f = v. As funcoes u, v podem ser encaradas como
funcoes reais u, v : R2 R.
` semelhanca do caso real, a func
A
ao f diz-se contnua num ponto z0 = x0 + iy0 C se
para cada > 0 existir > 0 tal que
|z z0 | < |f (z) f (z0 )| < .
Isto equivale a exigir que para cada > 0 exista > 0 tal que
|x x0 | < e |y y0 | < |u(x, y) u(x0 , y0 )| < e |v(x, y) v(x0 , y0 )| < .
Ou seja, isto equivale a exigir que ambas as funcoes u e v sao contnuas no ponto (x0 , y0 )
R2 , relativamente `
a metrica euclideana usual no espaco R2 . Mantem-se assim as propriedades usuais da continuidade, bem conhecidas para o caso real.
` semelhanca do caso real, a funcao f tem derivada num ponto
2. (Diferenciabilidade.) A
z0 = x0 + iy0 C se existir um complexo w C com a propriedade seguinte: para cada
> 0 existe > 0 tal que
0 < |z z0 | < |

f (z) f (z0 )
w| < .
z z0

Ou seja, em notac
ao abreviada, o n
umero w := f 0 (z0 ) e dado pelo limite (caso exista):
f 0 (z0 ) = lim

zz0

Dado que f (z) f (z0 ) =

f (z)f (z0 )
zz0

f (z) f (z0 )

z z0

(z z0 ), isto implica a continuidade de f em z0 .

Mantem-se, no caso complexo, as regras usuais de derivacao do caso real (em particular, por exemplo, (z n )0 = nz n1 z C), incluindo a derivacao da funcao composta:

(f g)0 (z) = f 0 (g(z))g 0 (z) sempre que as derivadas do segundo membro existam.
Teorema. (Equac
oes de Cauchy-Riemann.) Seja f = u + iv : C C e z0 = x0 + iy0 C.
As seguintes afirmac
oes s
ao equivalentes:
a) f tem derivada em z0 .
b) u e v s
ao diferenci
aveis em (x0 , y0 ) e, neste ponto,
vx = uy .

ux = vy ,

Alem disso, no ponto em quest

ao, f 0 = ux + ivx .
Dem. Suponha-se que existe f 0 (z0 ). Escreva-se o quociente

f (z)f (z0 )
zz0

decompondo em

parte real e parte imagin

aria. Particularizando a expressao nos pontos da forma z = x+iy0
e passando ao limite quando x x0 , conclui-se que f 0 (z0 ) =

u
x (x0 , y0 )

v
+ i x
(x0 , y0 )

ux (x0 , y0 ) + ivx (x0 , y0 ). Proceda-se do mesmo modo nos pontos da forma z = x0 + iy com
y y0 , para concluir que f 0 (z0 ) = uy (x0 , y0 ) ivy (x0 , y0 ). Isto mostra que, no ponto
z0 , tem-se ux = vy , vx = uy e f 0 = ux + ivx . (Isto nao prova ainda que u e v sao
diferenciaveis em (x0 , y0 ).)
Suponha-se agora que a condic
ao em b) e satisfeita. Visto que, por hipotese, u e v sao
diferenciaveis em (x0 , y0 ), tem-se
u(x, y) u(x0 , y0 ) = ux (x0 , y0 )(x x0 ) + uy (x0 , y0 )(y y0 ) + o(|z z0 |)
= ux (x0 , y0 )(x x0 ) vx (x0 , y0 )(y y0 ) + o(|z z0 |),
onde o(|z z0 |) designa uma quantidade tal que o(|z z0 |)/|z z0 | 0 quando z z0 .
Conclusao an
aloga vale para v(x, y) v(x0 , y0 ). Entao
f (z) f (z0 ) = ux (x0 , y0 )(x x0 ) vx (x0 , y0 )(y y0 )
+ i(vx (x0 , y0 )(x x0 ) + ux (x0 , y0 )(y y0 )) + o(|z z0 |)
= (ux (x0 , y0 ) + ivx (x0 , y0 )) ((x x0 ) + i(y y0 )) + o(|z z0 |).
= (ux (x0 , y0 ) + ivx (x0 , y0 )) (z z0 ) + o(|z z0 |).
Dividindo os dois membros da igualdade por z z0 , conclui-se que existe limzz0

f (z)f (z0 )
zz0

(vale precisamente ux (x0 , y0 ) + ivx (x0 , y0 )). Reciprocamente, se existe f 0 (z0 ) entao o
calculo anterior, utilizando as equac
oes de Cauchy-Riemann, mostra que
f (z) f (z0 ) = (A(x x0 ) + B(y y0 )) + i(C(x x0 ) + D(y y0 )) + o(|z z0 |).
para certos n
umeros A, B, C e D (explicitamente, A = ux (x0 , y0 ), etc). Tomando a parte
real desta igualdade, resulta que u e diferenciavel no ponto (x0 , y0 ); tomando a parte imaginaria, resulta que tambem v e diferenciavel em (x0 , y0 ).

Obs. As noc
oes de continuidade e de diferenciabilidade sao nocoes locais; no que se disse
acima, bastaria que f estivesse definida num aberto de R2 contendo o ponto (x0 , y0 ).
Obs. Em situac
oes concretas, ao aplicar-se a conclusao b) a) do teorema, a verificacao
de que u (e v) e diferenci
avel faz-se recorrendo ao teorema seguinte (cf. Calculo Diferencial
e Integral II): se u for contnua num aberto A com derivadas parciais ux e uy tambem
contnuas, ent
ao u e diferenci
avel em A.
Corol
ario. Seja f = u + iv : Br (z0 ) C C (Br (z0 ) e uma bola aberta de raio r
centrada em z0 ). Ent
ao f 0 0 sse f e constante.
Exemplo. A func
ao dada por f (z) = z nao tem derivada em nenhum ponto.
Exemplo. Seja f : C C a func
ao contnua dada por f (z) = z 5 /|z|4 se z 6= 0 e f (0) := 0.
Para todo x, y R, f (x) = x5 /|x|4 = x e f (iy) = iy, donde
u(x, 0) = x,

u(0, y) = 0,

v(x, 0) = 0,

v(0, y) = y.

Consequentemente,
vx (0, 0) = uy (0, 0) = 0.

ux (0, 0) = vy (0, 0) = 1,

No entanto, a func
ao n
ao tem derivada no ponto z0 = 0. Com efeito, para z = rei 6= 0,
f (z) f (0)
= ei4 ,
z0
pelo que o valor limite e 1 se 0 for aproximado ao longo da recta = 0 , e e 1 se 0 for
aproximado ao longo da recta = /4.
Porque e que este exemplo n
ao contradiz o teorema anterior?
Defini
c
ao. Uma func
ao f : A C C diz-se analtica (ou: holomorfa) no aberto A se
tiver derivada em todo o ponto de A.
Teorema. (Invers
ao local.) Seja f : A C C analtica, z0 A e suponha-se que
f 0 (z0 ) 6= 0. Ent
ao existem abertos V e W tais que z0 V , f |V : V W e uma bijecc
ao
com inversa analtica, e
(f 1 )0 (w) =

1
f 0 (f 1 (w))

w W.

Dem. (Suporemos que f 0 e contnua.) Encarada como funcao de R2 em R2 , pelas

equacoes de Cauchy-Riemann a matriz jacobiana de f e uma matriz com determinante
u2x + vx2 = |f 0 |2 . Numa vizinhanca do ponto (x0 , y0 ), este determinante nao se anula. Pelo
teorema de invers
ao do c
alculo diferencial em R2 , f e localmente invertvel, com inversa local diferenci
avel. Por c
alculo directo da inversa da matriz jacobiana, provam-se as equacoes
de Cauchy-Riemann para a inversa local f 1 , donde esta aplicacao e analtica. Por fim,
derivando os dois membros da identidade f 1 (f (z)) = z vem (f 1 )0 (f (z))f 0 (z) = 1, donde
(f 1 )0 (f (z)) = 1/f 0 (z) em todo o ponto z de V .
3. (Exemplos de func
oes analticas.) Utilizando as equacoes de Cauchy-Riemann deduz-se
facilmente que
exp0 z = exp z,

sin0 z = cos z,

cos0 z = sin z

z C.

Por exemplo, para f (z) = exp z = ex (cos y + i sin y), tem-se ux = vy = ex cos y, vx =
uy = ex sin y; e claro que as func
oes u e v sao, neste caso, diferenciaveis (por exemplo,
porque sao contnuas e as suas derivadas parciais sao tambem contnuas), concluindo-se
que f e analtica em C e f 0 (z) = ux + ivx = ex cos y + iex sin y = f (z).
Quanto `a func
ao logaritmo, restrinjamos a funcao exponencial a uma faixa aberta {z =
x + iy : x R e y0 < y < y0 + 2}, o que corresponde a excluir uma semi-recta do
domnio da sua inversa. Dado que exp0 z = exp z 6= 0, o teorema de inversao local implica
que a sua inversa e analtica. Derivando os dois membros da identidade exp(log z) = z,
vem exp0 (log z). log0 z = 1, donde z log0 z = 1 e portanto log0 z = 1/z. Salvo indicacao
contrario, e habitual usar o ramo correspondente a y0 = (o chamado argumento
principal do logaritmo). Assim, para o ramo principal do logaritmo, a funcao
log : C \ {(x, 0) : x 6 0} {z = x + iy : x R e < y < }
e analtica e, para z = rcis (r > 0, < < ),
log z = log r + i,

log0 z =

Quanto `a potenciac
ao (e radiciac
ao), usando o teorema de derivacao das funcoes compostas
imediatamente se conclui que
d z
a = az log a,
dz

d b
z = bz b1 ,
dz

para a e b fixados.

4. (Interpretac
ao geometrica.) Suponha-se que f e analtica numa vizinhanca de um ponto
z0 e que f 0 (z0 ) = r0 cis 0 6= 0. Por um argumento heurstico, f (z) ' f (z0 )+f 0 (z0 )(zz0 ) =
f (z0 ) f 0 (z0 )z0 + f 0 (z0 )z perto de z0 , pelo que, a menos de uma translacao, f comporta-se
como um produto pelo n
umero f 0 (z0 ) ou seja, como uma composicao de uma homotetia
(de razao r0 ) com uma rotac
ao (de
angulo 0 ).
Esta ideia pode ser rigorosamente traduzida na forma seguinte. Seja c(t) :] , [ C
um caminho diferenci
avel passando em z0 , com c(0) = z0 e vector tangente nao nulo
(c0 (0) C\{0}). O caminho d(t) definido pela composicao d(t) = f (c(t)) satisfaz portanto
d0 (t) = f 0 (c(t)).c0 (t), donde
|d0 (0)| = r0 |c0 (0)|

arg d0 (0) = 0 + arg c0 (0) (mod 2),

como se esperava. Func

oes complexas com esta propriedade dizem-se conformes; repare-se
que, em particular, estas aplicac
oes preservam os angulos.
Por exemplo, se f (z) =

z 2 +z+1
z1

ent
ao, por calculo directo, f 0 (0) = 2 = 2 cis; perto da

origem, f roda os
angulos de e multiplica comprimentos por um factor de 2. Isto pode
nao suceder no caso em que a derivada se anule. Por exemplo, a aplicacao g(z) = z 2 (que
tem derivada nula em z = 0) n
ao e conforme na origem: os angulos com vertice na origem
veem a sua amplitude ampliada para o dobro.
5. (Funcoes harm
onicas.) Se f = u + iv : C C e analtica, as equacoes de CauchyRiemann implicam (pelo menos formalmente): uxx = vxy = vyx = uyy , ou seja,
uxx + uyy = 0. Idem para a func
ao v.
Defini
c
ao. Uma func
ao u : R2 R de classe C 2 diz-se harm
onica se tiver laplaciano
nulo, isto e, u := uxx + uyy 0.
Teorema. (Liouville.) Se u e harm
onica e limitada em R2 ent
ao u e constante.
Dem. Para cada R > 0, fixemos uma funcao de classe C 1 tal que 0 6 6 1 em R2 ,
= 1 na bola BR (0) e = 0 no complementar da bola de raio 2R, R2 \ B2R (0); portanto
|| 6 c/R em R2 . Por hip
otese, u2 u 0. Integrando e usando o teorema da
divergencia,
Z
Z
2 2
|u| = 2
R2

R2

Z
uhu, i 6 2

Z
|u| |u| || = 2

R2

|u| |u| ||.

B2R (0)\BR (0)

Usemos a desigualdade 2ab 6 a2 + 1 b2 (a, b, positivos). Com = 1/2, deduz-se

Z
Z
Z
1
1
2 2
2 2
|u| 6
|u| +
u2 ||2 .
2
2
2
2
2
R
R
R
10

Isto implica
Z
R2

2 2

|u| 6 4

Z
R2

u2 ||2 6 C

(porque u e limitada).

R
A constante C n
ao depende de R, pelo que se conclui que BR (0) |u|2 6 C R, ou seja,
R
R
2
2
a
R2 |u| < . Consequentemente, B2R (0)\BR (0) |u| 0 quando R . Voltando `
primeira desigualdade acima, deduz-se que, para todo o > 0,
Z
Z
Z
1
2
2
2 2
u || +
|u| 6
|u|2 2 .

2
B2R (0)\BR (0)
R
B2R (0)\BR (0)
Passando ao limite quando R , vem
Z
|u|2 6 C.
R2

Como e arbitr
ario,

R2

|u|2 = 0. Entao |u| = 0, pelo que u = 0 e, portanto, u e

constante.
Teorema. (Liouville, vers
ao complexa.) Se f e analtica e limitada em R2 ent
ao f e
constante.
Dem. (Suporemos que f = u + iv com u e v de classe C 2 .) Pelas equacoes de CauchyRiemann, u := Re f e v := Im f s
ao harmonicas e, claro, limitadas (tem-se sempre |u| 6 |f |
e |v| 6 |f |). Pelo teorema anterior, u e v sao funcoes constantes, pelo que tambem f e
constante.

Teorema. (Teorema fundamental da Algebra.)

Todo o polin
omio f (z) = z n + an1 z n1 +
+ a1 z + a0 , com n N, admite exactamente n razes complexas (desde que contadas
com a sua multiplicidade).
Dem. Suponha-se, com vista a uma contradicao, que f nao se anula em C. A funcao
g(z) = 1/f (z) e ent
ao analtica em todo o plano complexo C e, alem disso, e limitada
(repare-se que lim|z| g(z) = 0). Pelo teorema de Liouville, g e constante, pelo que
tambem f e constante, o que e absurdo. Em conclusao, o polinomio f admite pelo menos
um zero em C, digamos f (z0 ) = 0. Aplicando esta conclusao ao novo polinomio (de grau
n 1) f (z)/(z z0 ) e baixando sucessivamente o grau de f , obtem-se a conclusao do
teorema.

F
ormula integral de Cauchy

1. (Integral complexo com vari

avel real.) Seja g : [a, b] R C contnua. Define-se
Z b
Z b
Z b
g(t) dt :=
Re g(t) dt + i
Im g(t) dt.
a

11

Rb

Por definic
ao, portanto, Re

g(t) dt =

Rb
a

Re g(t) dt e Im

Rb
a

g(t) dt =

Rb
a

Im g(t) dt. Verifica-

se facilmente que o integral e linear em g.

Z
Lema. Tem-se |

|g(t)| dt.

g(t) dt| 6
a

Dem. Em representac
ao polar,

Rb
a

g(t) dt = rei e pretende-se ver que r 6

Rb
a

|g(t)| dt.

Ora,
r = ei

donde

Re (e

r = Re r =

ei g(t) dt,

g(t) dt =
a
b

|e

g(t)) dt 6

|g(t)| dt.

g(t)| dt =

2. (Integral de caminho.) Seja f : A C C contnua (A aberto) e : [a, b] C um

caminho de classe C 1 com imagem contida em A. Define-se
Z
Z
Z b
f = f (z) dz :=
f ((t)) 0 (t) dt.

De forma mais explcita, se f = u + iv e (t) = (x(t), y(t)) entao

Z
Z b
f =
(u((t)) + iv((t))) (x0 (t) + iy 0 (t)) dt

(u((t))x (t) v((t))y (t)) dt + i

=
a

(v((t))x0 (t) + u((t))y 0 (t)) dt.

Em notac
ao abreviada mas sugestiva,
f (z) dz = (u + iv)(dx + idy) = (udx vdy) + i(vdx + udy).
Esta notac
ao p
oe em evidencia o facto de a definicao anterior se referir simplesmente
aos integrais de caminho usuais (cf. Calculo Diferencial e Integral II) dos dois campos
vectoriais G, H : R2 R2 ,
Z
Z
Z
f = G + i H,

G = (u, v), H = (v, u).

Em particular, como e sabido, o integral e independente da parametrizac

ao do caminho. Alem disso, a definic
ao de integral de caminho estende-se naturalmente a aplicacoes
contnuas : [a, b] C que sejam seccionalmente de classe C 1 , decompondo o integral em
subintervalos de [a, b] nos quais, por hipotese, e de classe C 1 .
Z
Teorema. (Limitac
ao do integral.) Tem-se |
Z b
primento de arco de , `() :=
| 0 |(t) dt.
a

12

f | 6 `() max |f |, onde `() e o com

([a,b])

Dem. Usando o lema anterior,

Z b
Z b
Z
| 0 (t)| dt.
|f ((t))| | 0 (t)| dt 6 max |f |
| f| 6
([a,b])

Teorema. (C
alculo do integral por meio de uma primitiva.) Suponha-se que f e a
derivada de uma func
ao analtica F , f = F 0 , e que o caminho une um ponto z1 a um
ponto z2 . Ent
ao

Z
f = F (z2 ) F (z1 ).

Em particular se f = F 0 e se o caminho for fechado (isto e, z2 = z1 ) ent

ao o integral de
caminho e nulo.
Dem. Pela hip
otese,
Z
Z b
Z
0
0
F ((t)) (t) dt =
f=

d
F ((t)) dt = F ((b)) F ((a)).
dt

.
Exemplo. Designe Sr a circunferencia de raio r > 0 centrada na origem, percorrida
uma u
nica vez no sentido anti-hor
ario. Para n Z, n 6= 1, tem-se

1
zn

1n

= ( z1n )0 numa

vizinhanca de Sr (na verdade, em C \ {0}), e o teorema anterior implica

Z
1
dz = 0,
n Z, n 6= 1.
n
Sr z
Exemplo. Analisemos o caso n = 1. Usando a parametrizacao 7 rei de Sr (0 6 <
R
R 2 i
2), por definic
ao tem-se Sr z1 dz = 0 rie
d, donde
rei
Z
1
dz = 2i.
Sr z
(Porque e que esta conclus
ao n
ao contradiz o facto de que

1
z

= log0 z ?)

Suponha-se agora que Sr e percorrida k vezes no sentido anti-horario, ou seja, que o

caminho e parametrizado por 7 reik , 0 6 < 2; tal como acima, o integral de
caminho vem dado por 2ki. Em conclusao, o n
umero inteiro
Z
1
1
dz
( caminho fechado em Sr )
2i z
da o n
umero de voltas que o caminho gira em torno da origem; este n
umero sera positivo
sse o n
umero de voltas no sentido anti-horaro for superior ao n
umero de voltas dadas no
R
1
1
sentido hor
ario. Identica conclus
ao vale para 2i |zz0 |=r zz0 dz.
Por fim, observe-se que
Z
Sr

Com efeito, neste caso

1
dz = 0,
z z0

1
zz0

z0 6= 0, 0 < r < |z0 |.

= F 0 (z) com F (z) = log(z z0 ), e, visto que r < |z0 |, e possvel

encontrar um ramo do logaritmo de tal modo que F seja analtica numa vizinhanca de Sr .
13

Exemplo. De um modo geral, se : [a, b] C e uma qualquer curva fechada (de classe
C 1 ) nao passando por z0 , o ndice (ou: n
umero de giro) de relativamente a z0 ,
Z
1
1
dz,
I(, z0 ) :=
2i z z0
e sempre um n
umero inteiro (este inteiro traduz, intuitivamente, o n
umero de vezes que
gira em torno de z0 ).
Com efeito, seja 0 (t) :=

Rt
a

0 (s)/((s) z0 ) ds. Tem-se 0 (t) = 0 (t)/((t) z0 ), donde

e(t) ((t) z0 ) e constante no intervalo [a, b] (a derivada e identicamente nula). Entao

e(b) ((b) z0 ) = e(a) ((a) z0 ); e como (a) = (b) e (a) = 0, conclui-se e(b) = 1,
donde (b) = 2ki para algum k Z, como se pretendia.
3. (Teoremas de Cauchy.) Introduzimos os dois conceitos seguintes.
Defini
c
ao. Dois caminhos fechados 0 , 1 : [a, b] A C (A aberto) dizem-se homot
opicos em A se existir uma homotopia H unindo 0 a 1 sem sair de A; isto e, se existir
uma aplicac
ao contnua H = H(s, t) : [0, 1] [a, b] A satisfazendo: (i) H(0, ) = 0 ; (ii)
H(1, ) = 1 ; (iii) H(s, ) e um caminho fechado, s [0, 1].
Um aberto A C conexo diz-se simplesmente conexo se qualquer caminho fechado
0 : [a, b] A e homot
opico em A a um caminho constante 1 (t) z1 .
Teorema. (Invari
ancia por homotopia.) Seja f analtica num aberto A C e 0 , 1 :
[a, b] A caminhos fechados. Se os caminhos s
ao homot
opicos em A ent
ao
Z
Z
f=
f.
0

Dem. (Apenas uma ideia do argumento.) Percorra-se 0 no sentido originalmente dado

e 1 no sentido oposto ao dado, passando de um para o outro por um terceiro caminho
(nao fechado). O caminho que resulta desta composicao de caminhos e fechado, e f e
analitca na parte interna C deste caminho. Pelo teorema de Green aplicado aos campos
vectoriais G = (u, v) e H = (v, u) (cf. Calculo Diferencial e Integral II),
Z
ZZ
ZZ
f=
(vx uy ) dxdy + i
(ux vy ) dxdy.

Os dois u
ltimos integrais s
ao nulos, pelas equacoes de Cauchy-Riemann.Visto que 1 foi
R
R
percorrido no sentido oposto, isto arrasta 0 f = 1 f .
Obs. Este teorema explica a raz
ao pela qual o integral
(como se constatou acima). Com efeito, se 0 < r <
14

r0 ,

1
Sr z

dz e independente de r

a funcao 1/z e analtica no aberto

A = {z : r/2 < |z| < 2r0 } e as circunferencias Sr e Sr0 sao homotopicas em A, donde
R 1
R 1
Sr z dz = S 0 z dz.
r

Corol
ario. (Teorema de Cauchy.) Seja f uma func
ao analtica num simplesmente conexo
A e um caminho fechado com imagem em A. Ent
ao
Z
f = 0.

Corol
ario. (Existencia de primitivas.) Seja f uma func
ao analtica num simplesmente
conexo A. Ent
ao existe uma func
ao analtica F (
unica, a menos de constante aditiva) tal
que F 0 = f .
Dem. Fixe-se z0 A e defina-se explicitamente F por F (z) :=

Rz
z0

f , onde neste integral

se usa um qualquer caminho 0 unindo z0 a z. Este integral nao depende do caminho

0 escolhido, pois se 1 une, tambem ele, z0 a z , entao obtemos um caminho fechado ,
R
compondo 0 com 1 percorrido em sentido contrario; pelo teorema de Cauchy, f = 0,
R
R
o que implica 0 f = 1 f . O facto de se ter F 0 (z) = f (z) resulta da observacao de que,
para w perto de z, podemos usar um segmento de recta para ir de z a w ((t) = tw +
Rz
Rz
Rw
(1 t)z, t [0, 1]), e de que, novamente pelo teorema de Cauchy, z0 f + z f + w0 f = 0;
consequentemente,
1
F (w) F (z)
f (z) =
wz
wz

Z
z

1
f () d f (z) =
wz

(f () f (z)) d.
z

O segmento de recta tem comprimento de arco |w z|. Entao, dado > 0, pela continuidade de f no ponto z e pela desigualdade da limitacao do integral, tem-se, para
|w z| < suficientemente pequeno,
|
Ou seja, limwz

F (w) F (z)
1
f (z)| 6
|w z| = .
wz
|w z|

F (w)F (z)
wz

= f (z).

Teorema. (F
ormula integral de Cauchy.) Seja f uma funca
o analtica num simplesmente
conexo A, um caminho fechado com imagem em A, e z0 um ponto de A que n
ao est
a
no caminho . Ent
ao
Z

f (z)
dz = f (z0 )
z z0

15

1
dz.
z z0

Dem. Seja g : A C definida por g(z) = (f (z) f (z0 ))/(z z0 ) se z 6= z0 e g(z0 ) =

f 0 (z0 ). A func
ao g e analtica excepto possivelmente no ponto z0 , no qual, no entanto, e
contnua. Aplicando o teorema de Cauchy (numa versao, portanto, mais geral do que a
enunciada atr
as) `
a func
ao g,
Z
Z
Z
Z
Z
f (z0 )
f (z)
1
f (z)
dz
dz =
dz f (z0 )
dz,
0 = g(z) dz =
z

z
z

z
z

z
z

z0
0
0
0

como se pretendia.
Exemplo. Na circunferencia unit
aria (percorrida uma u
nica vez, no sentido anti-horario),
R z
R
0
e /z dz = e 1/z dz = 2i.
Obs. A formula anterior surge frequentemente escrita na forma (equivalente) seguinte, na
qual se destaca o n
umero de giro I(, z0 ): nas condic
oes do teorema anterior,
Z
f (z)
1
dz = I(, z0 ) f (z0 ).
2i z z0
A formula integral de Cauchy tem in
umeras consequencias. Mencione-se aqui o seguinte
resultado not
avel, no qual se deriva a identidade de Cauchy sob o sinal de integracao; a
demonstrac
ao ser
a apresentada no captulo seguinte.
Teorema. (F
ormula integral de Cauchy para as derivadas.) Seja f uma funca
o analtica
num aberto A. Ent
ao f admite derivadas de todas as ordens em A. Alem disso, se
e uma circunferencia de raio R centrada num ponto z0 (percorrida uma u
nica vez, no
sentido anti-hor
ario), cujo crculo est
a contido em A, ent
ao
Z
k!
f (z)
f (k) (z0 ) =
dz,
k N.
2i (z z0 )k+1

Obs. Em algumas das demonstracoes anteriores, nao foi restritivo, afinal, ter admitido
uma regularidade adicional sobre as funcoes: pelo teorema acima, a mera existencia de
derivada arrasta a existencia das derivadas de ordem superior.
Bibliografia
J.E. Marsden, Basic Complex Analysis, W.H. Freeman and Company, San Francisco,
1973 (
ultima edic
ao: 1998), Captulos 1 e 2.

16