Notas de Aula:

Clculo em uma Varivel Complexa

Prof. Rui F. Vigelis
Sumrio
1 Nmeros complexos 2
1.1 Denio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Representao vetorial . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Representao polar e razes . . . . . . . . . . . . . . . . . . . . . 6
1.4 Alguns subconjuntos de C . . . . . . . . . . . . . . . . . . . . . . 8
1.5 Alguns resultados do clculo . . . . . . . . . . . . . . . . . . . . . 9
2 Limite e continuidade 10
3 Derivadas e condies de CauchyRiemann 18
4 Integrais e teoremas de Cauchy 31
4.1 Curvas no plano complexo . . . . . . . . . . . . . . . . . . . . . . 31
4.2 Integral de Linha . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3 O Teorema de CauchyGoursat . . . . . . . . . . . . . . . . . . . 41
4.4 As frmulas integrais de Cauchy . . . . . . . . . . . . . . . . . . 46
5 Zeros, singularidades e resduos 52
5.1 Expanso de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.2 Zeros e singularidades . . . . . . . . . . . . . . . . . . . . . . . . 55
5.3 Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.4 Clculo de integrais usando resduos . . . . . . . . . . . . . . . . 62
6 Sries de potncias, de Taylor e de Laurent 72
6.1 Sequncias e sries . . . . . . . . . . . . . . . . . . . . . . . . . . 72
6.2 Sries de funes Convergncia uniforme . . . . . . . . . . . . . 78
6.3 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . . . 80
6.4 Sries de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.5 Sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
1
Captulo 1
Nmeros complexos
1.1 Denio
Um nmero complexo um objeto da forma a+ib, em que a e b so nmeros reais
quaisquer, e i um nmero imaginrio satisfazendo a relao i
2
= i i = 1. De
um ponto de vista formal, a notao a +ib usada para representar um nmero
complexo precisa ser mais detalhada. Um nmero complexo um par ordenado
(a, b) de nmeros reais a e b sujeito a certas operaes. O conjunto dos nmeros
complexos C = (R
2
, +, ) denido como o conjunto dos pares ordenados de
nmeros reais
R
2
= R R = {(a, b) : a R, b R},
munido das operaes de adio (ou soma)
(a, b) + (c, d) = (a +c, b +d), (1.1)
e de multiplicao (ou produto)
(a, b) (c, d) = (ac bd, ad +bc), (1.2)
para quaisquer pares ordenados (a, b) e (c, d) em R
2
.
O conjunto dos nmeros complexos C interpretado como uma extenso do
conjunto dos nmeros reais R, visto que nmeros complexos da forma (a, 0) se
comportam como nmeros reais. De fato, com b = d = 0 em (1.1) e (1.2), temos
(a, 0) + (c, 0) = (a +c, 0) e (a, 0) (b, 0) = (ab, 0). Portanto, podemos visualizar
o conjunto R como estando mergulhado no conjunto C, por meio dos nmeros
complexos cuja segunda coordenada zero.
Precisamos da observao acima a observao de que os nmeros com-
plexos cuja segunda coordenada zero so identicados como nmeros reais
para melhor entender por que a notao a+ib usada para representar o nmero
complexo (a, b). Da denio de adio e multiplicao, podemos escrever
(a, b) = (a, 0) + (0, b) = (a, 0) + (0, 1) (b, 0).
Assim, identicando os nmeros complexos (a, 0) e (b, 0) com os nmeros reais
a e b, e denotando (0, 1) pelo smbolo i, o nmero complexo (a, b) pode ser
expresso equivalentemente como
a +ib. (1.3)
2
CAPTULO 1. NMEROS COMPLEXOS 3
O smbolo i, chamado de nmero imaginrio, satisfaz a propriedade
i
2
= i i = 1,
visto que (0, 1) (0, 1) = (1, 0). Um nmero complexo, como expresso em (1.3),
dito estar na forma retangular.
O nmeros a e b so ditos ser a parte real e a parte imaginria do nmero
complexo a+ib, que denotamos por Re(a+ib) = a e Im(a+ib) = b. Um nmero
complexo chamado de puramente real (ou puramente imaginrio) se sua
parte imaginria (ou sua parte real) for igual a zero.
Teorema 1.1. A operaes de adio e de multiplicao satisfazem as seguintes
propriedades:
(C.1) Comutatividade: Se z
1
, z
2
C ento z
1
+z
2
= z
2
+z
1
e z
1
z
2
= z
2
z
1
;
(C.2) Associatividade: Se z
1
, z
2
, z
3
C ento z
1
+ (z
2
+ z
3
) = (z
1
+ z
2
) + z
3
e
z
1
(z
2
z
3
) = (z
1
z
2
) z
3
;
(C.3) Distributividade: Se z
1
, z
2
, z
3
C ento z
1
(z
2
+z
3
) = z
1
z
2
+z
1
z
3
.
(C.4) Existncia do zero: Existe um elemento 0 = 0 + i0 C tal que z + 0 =
0 +z = z, para todo z C;
(C.5) Existncia da unidade: Existe um elemento 1 = 1 +i0 C tal que z 1 =
1 z = z, para todo z C;
(C.6) Existncia de inverso aditivo: Dado z = a + ib C existe um nico
w = (a) +i(b) C tal que z +w = w+z = 0. O nmero w denotado
por w = z;
(C.7) Existncia de inverso multiplicativo: Dado z = a + ib C, tal que a = 0
ou b = 0, existe um nico w = a/(a
2
+ b
2
) ib/(a
2
+ b
2
) C tal que
z w = w z = 0. O nmero w denotado por w = z
1
= 1/z;
Qualquer conjunto munido das operaes de adio de multiplicao, satis-
fazendo a propriedades do teorema acima, chamado de corpo.
1.2 Representao vetorial
O conjugado de um nmero complexo z = x + iy denido por z = x iy.
Geometricamente, o conjugado z a reexo de z em relao ao eixo real.
Diversas expresses podem ser dadas diretamente em funo do conjugado de
um nmero complexo. Por exemplo,
Re(z) =
z +z
2
, e Im(z) =
z z
2i
,
O mdulo (norma ou valor absoluto) de um nmero complexo z = x +iy
o nmero real
|z| =
_
x
2
+y
2
, (1.4)
que corresponde distncia entre z e a origem 0 = 0 + i0 de C. Em vista da
igualdade x
2
+y
2
= (x yi)(x +yi), o mdulo pode ser expresso tambm por
|z| =

z z. (1.5)
CAPTULO 1. NMEROS COMPLEXOS 4
Muitos resultados envolvendo o mdulo so mais facilmente vericados se usar-
mos a expresso (1.5) em vez (1.4).
Lema 1.2. Para quaisquer z, w C,
(i) z = z;
(ii) z w = z w;
(iii) z w = z w;
(iv)
_
z
w
_
=
z
w
;
(v) |z| = |z|;
(vi) |z w| = |z| |w|;
(vii)

z
w

=
|z|
|w|
;
(viii) |z +w|
2
= |z|
2
+ 2 Re(zw) +|w|
2
.
Prova. Os itens (i), (ii) e (v) so imediatos. Iremos vericar os demais itens.
(iii) Denotando z = a +ib e w = c +id, obtemos
z w = (a ib)(c id) = (ac bd) i(ad +bc),
que igual ao conjugado produto
z w = (a +ib)(c +id) = (ac bd) +i(ad +bc).
(iv) Primeiro escrevemos
_
z
w
_
=
_
z
w

w
w
_
=
_
z w
1
|w|
2
_
.
Usando item anterior, continuamos com o desenvolvimento:
_
z
w
_
= z w
_
1
|w|
2
_
= z w
1
|w|
2
= z
w
|w|
2
.
Da igualdade (w)
1
= w/|w|
2
, chegamos ao resultado desejado:
_
z
w
_
= z
w
|w|
2
= z (w)
1
=
z
w
.
(vi) Da expresso (1.5), junto com o item (iii), obtemos
|z w|
2
= (z w) (z w) = (z w) (z w)
= (z z) (w w) = |z|
2
|w|
2
.
Assim, aplicando a raiz quadrada, segue que |z w| = |z| |w|.
(vii) Este item uma consequncia do item (vi):

z
w

z
w

w
w

z w
1
|w|
2

= |z| |w|

1
|w|
2

= |z| |w|
1
|w|
2
=
|z|
|w|
.
CAPTULO 1. NMEROS COMPLEXOS 5
(viii) Com algumas manipulaes, obtemos
|z +w|
2
= (z +w)(z +w)
= (z +w)(z +w)
= zz +zw +wz +ww
= |z|
2
+zw +wz +|w|
2
.
Em vista de w z = z w = z w, segue que
|z +w|
2
= |z|
2
+zw +zw +|w|
2
= |z|
2
+ 2 Re(zw) +|w|
2
.
Perceba que teramos mais trabalho em mostrar esses trs ltimos sem o auxlio
da expresso (1.5), diretamente de (1.4).
Da denio do mdulo (1.4), imediato que as partes real e imaginria de
um nmero complexo z satisfazem as desigualdades
|z| Re(z) |z|, e |z| Im(z) |z|.
De mos dessas desigualdades, outras desigualdades elementares podem ser de-
duzidas:
Lema 1.3. Para quaisquer z, w C, as seguintes desigualdades so satisfeitas:
(a) Desigualdade triangular:
|z +w| |z| +|w|, (1.6)
com igualdade se e somente se w = z para algum nmero real 0.
(b) Desigualdade triangular reversa:
| |z| |w| | |z w|, (1.7)
com igualdade se e somente se w = z para algum nmero real 0.
Prova. (a) J que Re(zw) |zw| = |z||w|, podemos escrever
|z +w|
2
= |z|
2
+ 2 Re(zw) +|w|
2
|z|
2
+ 2|z||w| +|w|
2
= (|z| +|w|)
2
, (1.8)
Extraindo a raiz quadrada, obtemos a desigualdade triangular (1.6).
De (1.8), conclumos que, para termos uma igualdade em (1.6), necessrio
e suciente que Re(zw) = |zw|. A parte real de zw igual ao seu mdulo se e
somente se zw real e 0. Alm disso, a condio zw 0 equivalente a
w
z
=
zw
|z|
2
0.
Logo, uma igualdade satisfeita em (1.6) se e somente se w = z para algum
nmero real 0.
CAPTULO 1. NMEROS COMPLEXOS 6
(b) Pela desigualdade triangular, temos
|z w| +|w| |z w +w| = |z|, (1.9)
|w z| +|z| |w z +z| = |w|, (1.10)
que reescrevemos como
|z w| |z| |w|,
|w z| |w| |z|.
Como |z w| = |w z|, obtemos ento a desigualdade triangular reversa (1.7).
Para que uma igualdade seja satisfeita em (1.7), necessrio e suciente termos
uma igualdade em pelo menos uma das expresses (1.9) ou (1.10). Uma igual-
dade em (1.9) vericada se e somente se z w = w (ou, equivalentemente,
z = (1 + )w), para algum nmero real 0. J em (1.10) temos uma igual-
dade se e somente se w z = z (ou, do mesmo modo, z = (1 + )
1
w), para
algum nmero real 0. Juntando esses resultados, conclumos que, para que
a igualdade | |z| |w| | = |z w| seja satisfeita, necessrio e suciente que
w = z para algum nmero real 0.
1.3 Representao polar e razes
Dado um nmero complexo z = 0, se r = |z| denota seu mdulo, e se R o
ngulo que o vetor representado por z faz com o eixo real, podemos escrever
z = (r cos ) +i(r sen ) = r(cos +i sen ). (1.11)
A expresso (1.11) chamada de representao polar (ou forma polar)
do nmero complexo z = 0, e o nmero real dito ser o argumento de
z. Existem innitos valores para o argumento de z, pois + 2k para k Z
tambm satisfaz (1.11). Porm, h apenas um argumento pertencente a um
intervalo da forma [
0
,
0
+ 2k), xado algum
0
R. O conjunto formado
pelos argumentos de z denotado por arg z. Se qualquer argumento de z,
ento arg z = { + 2k : k Z}.
Devido representao polar, podemos dar uma interpretao geomtrica
para o produto e o quociente de nmeros complexos. Se z = 0 um nmero
complexo com mdulo r e argumento , e se w = 0 tem mdulo e argumento
, ento
z w =
_
r(cos +i sen )
_

_
(cos +i sen )
_
= r(cos +i sen )(cos +i sen )
= r
_
(cos cos sen sen ) +i(cos sen + sen cos )
_
= r(cos( +) +i sen( +)). (1.12)
Portanto, o produto z w tem mdulo r e argumento +. Que o mdulo do
produto o produto dos mdulos, j sabamos do item (iii) do Lema 1.2. De
(1.12), vemos que o argumento do produto a soma dos argumentos.
J com relao ao quociente, temos
z
w
=
zw
|w|
2
=
1

2
_
r(cos +i sen )
_

_
(cos i sen )
_
CAPTULO 1. NMEROS COMPLEXOS 7
=
r

(cos +i sen )(cos i sen )

=
r

_
(cos cos + sen sen ) +i(cos sen + sen cos )
_
=
r

(cos( ) +i sen( )). (1.13)

Ou seja, o quociente z/w tem mdulo r/ e argumento . Com (1.13),
podemos armar que argumento do quociente a diferena dos argumentos.
Introduzimos notao
e
i
= cos +i sen , R, (1.14)
Assim, para indicar que um nmero complexo z = 0 tem mdulo r e argumento
, podemos escrever
z = re
i
,
que equivalente a (1.11). Com a notao (1.14), algumas operaes envolvendo
nmeros complexos se tornam mais intuitivamente claras, pois e
i
se comporta
como uma exponencial comum. Por exemplo, como visto acima, se z = re
i
e
w = e
i
, ento zw = (r)e
i(+)
e z/w = (r/)e
i()
. Algumas propriedades
de e

encontram-se reunidas no lema a seguir, cuja prova deixada para o leitor.

Lema 1.4. Para quaisquer , R,
(i) e
i(+2)
= e
i
;
(ii) e
i
= e
i
;
(iii) |e
i
| = 1;
(iv) e
i
e
i
= e
i(+)
;
(v)
e
i
e
i
= e
i()
.
Fazendo z = w em (1.12), ento z
2
= r
2
(cos(2)+i sen(2)). De uma induo
simples, em que w = z
n1
em (1.12), para cada n N, podemos escrever
z
n
= r
n
(cos(n) +i sen(n)). (1.15)
A expresso (1.15) tambm vale para todo n Z, j que z
n
= (z
1
)
n
e
z
1
= r
1
(cos() +i sen()).
Aplicando (1.15), podemos determinar as razes n-simas de um nmero
complexo. Em outras palavras, xados um nmero complexo = 0 e qualquer
nmero natural n 2, queremos encontrar todos os nmeros complexos z tais
que
z
n
= . (1.16)
Escrevendo = r(cos + i sen ) e z = (cos + i sen ), vemos que (1.16)
equivalente a

n
(cos(n) +i sen(n)) = r(cos +i sen ).
A igualdade acima satisfeita se, e somente se, os mdulos so iguais e os
argumentos diferem de um mltiplo de 2, ou seja,
_

n
= r,
n = + 2k, para algum k Z.
CAPTULO 1. NMEROS COMPLEXOS 8
Com isso, temos que uma soluo de (1.16) tem mdulo = r
1/n
e argumento

k
=
+ 2k
n
, para k Z.
Precisamos considerar apenas
0
, . . . ,
n1
. Para vermos uma justicativa para
isso, xemos qualquer m Z. Sejam 0 k n1 e l Z tais que m = k +ln.
Assim,
m
=
k
+ 2l e as solues determinadas pelos argumentos
m
e
k
coincidem. Logo, a equao (1.16) tem n solues, que so dadas por
z
k
= r
1/n
_
cos
_
+ 2k
n
_
+i sen
_
+ 2k
n
__
, para k = 0, 1, . . . , n 1.
A expresso acima pode ser reescrita como
z
k
= z
0

k
n
, para k = 0, 1, . . . , n 1,
em que
z
0
= r
1/n
e
i/n
= r
1/n
_
cos
_

n
_
+i sen
_

n
__
e

n
= e
i2/n
= cos
_
2
n
_
+i sen
_
2
n
_
.
Perceba que
0
n
,
1
n
, . . . ,
n1
n
so as razes n-simas da unidade.
1.4 Alguns subconjuntos de C
Denio 1.5. Seja E um subconjunto qualquer de C. Um ponto z C dito
ser:
(a) um ponto interior de E se existe algum disco aberto de centro z contido
em E;
(b) um ponto de fronteira de E se todo disco aberto de centro z contm
tanto pontos de E como pontos que no estejam em E;
Denio 1.6. Um conjunto aberto se todos os seus pontos so pontos inte-
riores. Um conjunto fechado se ele contm todos os seus pontos de fronteira.
Exemplo 1.7. Tanto como C so simultaneamente abertos e fechados.
Denio 1.8. O interior de E, denotado por int E, o conjunto de todos os
pontos interiores de E. A fronteira de E, escrito como E, o conjunto de
todos os pontos de fronteira de E. O fecho de E, escrito como E, o conjunto
formado pela unio de E com sua fronteira (E = E E).
Denio 1.9. Um conjunto V C dito ser uma vizinhana de z
0
C se
existir um conjunto aberto U C tal que z
0
U V .
CAPTULO 1. NMEROS COMPLEXOS 9
1.5 Alguns resultados do clculo
Teorema 1.10 (Teorema dos Valores Extremos). Toda funo real denida
num subconjunto fechado e limitado de R
n
tem um valor mximo e mnimo.
Teorema 1.11 (Teorema do Valor Mdio). Seja f : [a, b] R uma funo
diferencivel. Ento existe ao menos um ponto c em (a, b) tal que
f

(c) =
f(b) f(a)
b a
.
Teorema 1.12 (Teorema Fundamental do Clculo). Seja f : [a, b] R uma
funao contnua. Ento
(a) A funo F(x) =

x
a
f(t)dt, denida em [a, b], diferencivel e F

(x) =
f(x).
(b) Se F uma primitiva de f (em outras palavras, se F

= f ) ento

b
a
f(x)dx = F(b) F(a).
Teorema 1.13. Se as derivadas parciais

2
f
xy
e

2
f
yx
so denidas num con-
junto aberto G e so contnuas num ponto (x
0
, y
0
) em G, ento essas derivadas
parciais so iguais.
Teorema 1.14. Se f um funo contnua sobre o retngulo R = [a, b] [c, d],
ento as integrais iteradas

b
a

d
c
f(x, y)dydx e

d
c

b
a
f(x, y)dxdy so iguais.
Teorema 1.15 (Regra de Leibniz). Seja f um funo contnua sobre o re-
tngulo R = [a, b] [c, d], cuja derivada parcial
f
x
contnua em R. Ento
d
dx

d
c
f(x, y)dy =

d
c
f
x
(x, y)dy.
Captulo 2
Limite e continuidade
Denio 2.1. Seja f : D C uma funo denida num conjunto aberto
D C, e seja z
0
C um ponto pertencente ao fecho D. Dizemos que o limite
de f(z) com z tendendo a z
0
existe se pudermos encontrar L C tal que para
cada > 0 existe > 0 tal que
|f(z) L| < , sempre que z D e 0 < |z z
0
| < .
Nesse caso, dizemos que L o limite de f(z) com z tendendo a z
0
, que denotamos
por lim
zz
0
f(z) = L.
O limite de f(z) com z tendendo a z
0
quando existe nico. De fato, sejam
L
1
, L
2
C tais que para cada > 0 existem
1
,
2
> 0 satisfazendo
|f(z) L
1
| <

2
, sempre que z D e 0 < |z z
0
| <
1
.
e
|f(z) L
2
| <

2
, sempre que z D e 0 < |z z
0
| <
2
.
Assim, para qualquer z D tal que 0 < |z z
0
| < min(
1
,
2
), podemos escrever
|L
1
L
2
| = |L
1
f(x) +f(x) L
2
|
|L
1
f(x)| +|f(x) L
2
|
<

2
+

2
= .
Como > 0 arbitrrio, obtemos que |L
1
L
2
| = 0 ou, equivalentemente,
L
1
= L
2
.
Exemplo 2.2. Os limites abaixo so facilmente vericados:
(i) lim
zz
0
= , para C constante;
(ii) lim
zz
0
Re z = Re z
0
;
(iii) lim
zz
0
Imz = Imz
0
;
(iv) lim
zz
0
z = z
0
;
(v) lim
zz
0
z = z
0
;
10
CAPTULO 2. LIMITE E CONTINUIDADE 11
(vi) lim
zz
0
|z| = |z
0
|.
Para isso, podemos considerar = , para cada > 0, na denio de limite.
Exemplo 2.3. Vamos mostrar que
lim
zi
(z
2
+ 2z) = 1 + 2i. (2.1)
Primeiramente, estabelecemos a expresso:
|(z
2
+ 2z) (1 + 2i)| = |(z +i)(z i) + 2(z i)|
= |z i| |z i + 2i + 2|
|z i|(|z i| +|2i| +|2|)
= |z i|(|z i| + 4).
Dado > 0 qualquer, seja = min(1, /5). Deste modo, sempre que |z i| < ,
obtemos
|(z
2
+ 2z) (1 + 2i)| |z i|(|z i| + 4) < ( + 4)
<

5
(1 + 4) = ,
vericando assim o limite em (2.1).
Exemplo 2.4. O limite da funo f(z) = z/z com z tendendo a 0 no existe.
Se supormos que o limite lim
z0
f(z) = L existe, poderemos encontrar > 0
tal que
|f(z) L| <
1
2
, sempre que 0 < |z| < . (2.2)
Assim, para quaisquer 0 < |z| < e 0 < |w| < , segue que
|f(z) f(w)| |f(z) L| +|L f(w)| <
1
2
+
1
2
= 1.
Porm, se considerarmos z = /2 e w = i/2, obteremos que

f
_

2
_
f
_
i

2
_

/2
/2

/2
i/2

= 2,
o que uma contradio expresso (2.2). Logo, a suposio de que o limite
f(z) = z/z com z tendendo a 0 existe no pode ser verdadeira.
Denio 2.5. Seja f : D C uma funo denida num conjunto aberto
D C. Dizemos que f contnua em z
0
D se
lim
zz
0
f(z) = f(z
0
).
A funo f dita ser contnua se f for contnua em todos os pontos de seu
domnio D.
Exemplo 2.6. A funo
f(z) =
z Imz
1 +|z|
CAPTULO 2. LIMITE E CONTINUIDADE 12
contnua em z = 0. Dado > 0 qualquer, consideramos = . Assim, para
todo |z| < , temos
|f(z) f(0)| =
|z|
1 +|z|
| Imz| | Imz| |z| < .
Portanto, f(z) contnua em z = 0.
Proposio 2.7. Sejam f : D C uma funo denida num conjunto aberto
D C, u e v as partes real e imaginria de f, e z
0
= x
0
+ iy
0
D, em que
x
0
, y
0
R. Para que o limite de f(z) com z tendendo a z
0
exista necessrio
e suciente que os limites de u(x, y) e v(x, y) com (x, y) tendendo a (x
0
, y
0
)
existam. Em caso armativo, vale
lim
zz
0
f(z) =
_
lim
(x,y)(x
0
,y
0
)
u(x, y)
_
+i
_
lim
(x,y)(x
0
,y
0
)
v(x, y)
_
.
Prova. Suponhamos que os limites lim
(x,y)(x
0
,y
0
)
u(x, y) = U e lim
(x,y)(x
0
,y
0
)
v(x, y) =
V exitam. Deste modo, para cada > 0, podemos encontrar
1
> 0 e
2
> 0
tais que
|u(x, y)U| <

2
, sempre que (x, y) D e 0 <
_
(x x
0
)
2
+ (y y
0
)
2
<
1
,
e
|v(x, y)V | <

2
, sempre que (x, y) D e 0 <
_
(x x
0
)
2
+ (y y
0
)
2
<
2
.
Seja L = U + iV . Assim, se z = x + iy D tal que 0 < |z z
0
| < , em que
= min(
1
,
2
), podemos escrever
|f(z) L| = |(u(x, y) U) +i(v(x, y) V )|
|u(x, y) U| +|v(x, y) V |
<

2
+

2
= .
Como > 0 arbitrrio, obtemos que lim
zz
0
f(z) = L.
Agora suponhamos que o limite lim
zz
0
f(z) = L = U + iV exista. Dado
> 0 qualquer, podemos encontrar > 0 tal que
|f(z) L| < , sempre que z D e 0 < |z z
0
| < .
Logo, para todo (x, y) D tal que 0 < |z z
0
| =
_
(x x
0
)
2
+ (y y
0
)
2
< ,
segue que
|u(x, y) U| = | Re(f(z) L)| |f(z) L| <
e
|v(x, y) V | = | Im(f(z) L)| |f(z) L| < .
Consequentemente, lim
(x,y)(x
0
,y
0
)
u(x, y) = U e lim
(x,y)(x
0
,y
0
)
v(x, y) = V .
Corolrio 2.8. Sejam f : D C uma funo denida num conjunto aberto
D C, u e v as partes real e imaginria de f, e z
0
= x
0
+ iy
0
D, em que
x
0
, y
0
R. A funo f contnua em z
0
se, e somente se, u e v so contnuas
em (x
0
, y
0
).
CAPTULO 2. LIMITE E CONTINUIDADE 13
Exemplo 2.9. Como as funes
exp(z) = exp(x) cos(y) +i exp(x) sen(y)
e
cos(z) = cos(x) cosh(y) i sen(x) senh(y),
sen(z) = sen(x) cosh(y) +i cos(x) senh(y)
tm partes real e imaginria contnuas, conclumos do Corolrio 2.8 que essas
funes so contnuas.
Teorema 2.10. Sejam f, g : D C funes denidas num conjunto aberto
D C, e seja z
0
D. Se os limites lim
zz
0
f(z) = L e lim
zz
0
g(z) = M
existem, ento:
(i) lim
zz
0
(f(z) +g(z)) = L +M, para quaisquer , C;
(ii) lim
zz
0
f(z)g(z) = LM;
(iii) lim
zz
0
f(z)
g(z)
=
L
M
, desde que M = 0.
Prova. (i) Seja > 0 qualquer. Pela denio de limite, existem
1
,
2
> 0 tais
que
|f(z) L| <

2(1 +||)
, sempre que z D e 0 < |z z
0
| <
1
e
|g(z) M| <

2(1 +||)
, sempre que z D e 0 < |z z
0
| <
2
.
Denote = min(
1
,
2
). Logo, para todo z D tal que 0 < |z z
0
| < ,
podemos escrever
|f(z) +g(z) (L +M)| = |(f(z) L) +(g(z) M)|
|| |f(z) L| +|| |g(z) M|
< ||

2(1 +||)
+||

2(1 +||)
<

2
+

2
= .
Como > 0 arbitrrio, obtemos o resultado desejado.
(ii) Dado > 0 qualquer, podemos encontrar
1
,
2
> 0 tais que
|f(z) L| <

3(1 +|M|)
, sempre que z D e 0 < |z z
0
| <
1
,
e
|g(z)M| < min
_
1+|M|,

3(1 +|L|)
_
, sempre que z D e 0 < |zz
0
| <
2
.
CAPTULO 2. LIMITE E CONTINUIDADE 14
Seja = min(
1
,
2
). Para todo z D tal que 0 < |zz
0
| < , podemos escrever
|f(z)g(z) LM| = |(f(z) L)(g(z) M) + (f(z) L)M +L(g(z) M)|
|f(z) L| |g(z) M| +|f(z) L| |M| +|L| |g(z) M|
<

3(1 +|M|)
(1 +|M|) +

3(1 +|M|)
|M| +|L|

3(1 +|L|)
<

3
+

3
+

3
= .
Consequentemente, vale o resultado do enunciado.
(iii) Pelo item (ii), basta vericarmos que
lim
zz
0
1
g(z)
=
1
M
. (2.3)
Seja > 0 qualquer. Como M = 0, existe > 0 tal que
|g(z) M| < min
_
1
2
|M|,

2
|M|
2
_
, sempre que z D e 0 < |z z
0
| <
Deste modo, para todo z D tal que 0 < |z z
0
| < , podemos escrever
|g(z)| |M| |g(z) M| > |M|
|M|
2
=
|M|
2
.
Logo segue que

1
g(z)

1
M

=
|M g(z)|
|Mg(z)|
<
1
|M|
2
|M|

2
|M|
2
= ,
sempre que z D e 0 < |z z
0
| < . Com isso vericamos (2.3).
Corolrio 2.11. Sejam f e g funes contnuas em z
0
. Ento a combinao
linear f +g, para quaisquer , C, o produto fg e o quociente f/g, desde
que g(z
0
) = 0, so funes contnuas em z
0
.
Exemplo 2.12. Uma consequncia imediata do Corolrio 2.11 que qualquer
funo racional
r(z) =
a
m
z
m
+ +a
1
z +a
0
b
n
z
n
+ +b
1
z +b
0
contnua em todo z C que no seja raiz do polinmio no denominador.
Teorema 2.13. Sejam f : D
1
D
2
e g : D
2
C funes denidas nos conjun-
tos abertos D
1
C e D
2
C. Se f contnua em z
0
D
1
, e g contnua em
w
0
= f(z
0
) D
2
, ento a funo composta g f : D
1
C tambm contnua
em z
0
.
Prova. Seja > 0 qualquer. Como g(w) contnua em w
0
= f(z
0
), existe
1
> 0
tal que
|g(w) g(w
0
)| < , sempre que z D
2
e |w w
0
| <
1
.
Pela continuidade de f(z) em z
0
, podemos encontrar > 0 satisfazendo
|f(z) f(z
0
)| <
1
, sempre que z D
1
e |z z
0
| < .
J que imagem de f est contida em D
2
, obtemos que
|g(f(z)) g(f(z
0
))| < , sempre que z D
2
e |z z
0
| < .
Consequentemente, a funo composta (f g)(z) contnua em z
0
.
CAPTULO 2. LIMITE E CONTINUIDADE 15
Denio 2.14. Seja f : D C uma funo denida num conjunto aberto
D C.
(a) Dado z
0
D, dizemos que o limite de f(z) com z tendendo a z
0
innito
se para cada K > 0 existir > 0 tal que
|f(z)| > K, sempre que z D e 0 < |z z
0
| < . (2.4)
Nesse caso, denotamos lim
zz
0
f(z) = .
(b) Dizemos que o limite de f(z) com z tendendo ao innito existe se pudermos
encontrar L C tal que para cada > 0 existe M > 0 tal que
|f(z) L| < , sempre que z D e |z| > M. (2.5)
Se o limite existir, L dito ser o limite de f(z) com z tendendo ao innito,
que denotado por lim
z
f(z) = L.
(c) Dizemos que o limite de f(z) com z tendendo ao innito innito se para
cada K > 0 existir M > 0 tal que
|f(z)| > K, sempre que z D e |z| > M. (2.6)
Nesse caso, usamos a notao lim
z
f(z) = .
Exemplo 2.15. O limite da funo
f(z) =
4z
3(z 2i)
com z tendendo a 2i innito. Dado K > 0 qualquer, escolhemos
=
2
3K/4 + 1
.
Assim, para todo |z 2i| < , obtemos

4z
3(z 2i)

=
4
3
|z|
|z 2i|
=
4
3
| 2i (2i z)|
|z 2i|

4
3
2 |z 2i|
|z 2i|
=
4
3
_
2
|z 2i|
1
_
>
4
3
_
2

1
_
= K.
Com isso, vericamos que o limite de f(z) com z tendendo 2i innito.
Exemplo 2.16. Vamos vericar que o limite da funo
f(z) =
3iz + 5
2z i
com z tendendo ao innito 3i/2. Dado > 0 qualquer, seja
M =
1
2
_
7
2
+ 1
_
.
Logo, para todo |z| > M, podemos escrever

f(z)
3i
2

3iz + 5
2z i

3i
2

=
7
2|2z i|

7
2(2|z| 1)
<
7
2(2M 1)
= .
Deste modo, o limite desejado ca estabelecido.
CAPTULO 2. LIMITE E CONTINUIDADE 16
Exemplo 2.17. O limite da funo
f(z) =
2z
2
5i
3z + 1
com z tendendo ao innito innito. Dado K > 0 qualquer, escolhemos M =
max(

5, 4K). Assim, para todo |z| > M, podemos escrever

|2z
2
5i| 2|z|
2
5 2|z|
2
M
2
> 2|z|
2
|z|
2
= |z|
2
. (2.7)
e
|3z + 1| 3|z| + 1 3|z| +M
< 3|z| +|z| = 4|z|. (2.8)
Usando (2.7) e (2.8), para qualquer |z| > M, segue que
|f(z)| =
|2z
2
5i|
|3z + 1|
>
|z|
2
4|z|
=
|z|
4
>
M
4

4K
4
= K.
Como K > 0 arbitrrio, obtemos o limite desejado.
Teorema 2.18. Seja f : D C uma funo denida num conjunto aberto
D C. Ento, para z
0
D e L C, vale que
lim
zz
0
f(z) = se e somente se lim
zz
0
1
f(z)
= 0, (2.9)
e
lim
z
f(z) = L se e somente se lim
z0
f
_
1
z
_
= L. (2.10)
Alm disso,
lim
z
f(z) = se e somente se lim
z0
1
f(1/z)
= 0. (2.11)
Prova. Na denio de limites envolvendo innito (Denio 2.14), as expres-
ses (2.4), (2.5) e (2.6) podem ser reescritas, de forma equivalente, como

1
f(z)

<
1
K
, sempre que z D e 0 < |z z
0
| < ,

f
_
1
z
_
L

< , sempre que

1
z
D e 0 < |z| <
1
M
,
e

1
f(1/z)

<
1
K
, sempre que
1
z
D e 0 < |z| <
1
M
,
respectivamente. Como 1/K pode assumir qualquer valor > 0, conclumos que
a equivalncia entre os limites em (2.9), (2.10) e (2.11) deve ser satisfeita.
CAPTULO 2. LIMITE E CONTINUIDADE 17
Exemplo 2.19. Os limites
lim
z2i
4z
3(z 2i)
= , lim
z
3iz + 5
2z i
=
3i
2
, lim
z
2z
2
5i
3z + 1
= ,
que foram vericados nos Exemplos 2.15, 2.16 e 2.17, diretamente da Deni-
o 2.14, so facilmente estabelecidos se usarmos o Teorema 2.18. De fato, esses
limites seguem de
lim
z1
3(z 2i)
4z
= 0, lim
z0
3i/z + 5
2/z i
= lim
z0
3i + 5z
2 iz
=
3i
2
,
e
lim
z0
3/z + 1
2/z
2
5i
= lim
z0
3z +z
2
2 5iz
2
= 0,
respectivamente.
Exemplo 2.20. Dada a funo racional
r(z) =
a
m
z
m
+ +a
1
z +a
0
b
n
z
n
+ +b
1
z +b
0
,
vamos mostrar que
lim
z
r(z) =
_

_
0, se m < n,
a
m
/b
n
, se m = n,
, se m > n.
Para isso, usaremos as equivalncias em (2.4)(2.6). Em vista de
r
_
1
z
_
=
a
m
(1/z)
m
+ +a
1
(1/z) +a
0
b
n
(1/z)
n
+ +b
1
(1/z) +b
0
=
a
m
+ +a
1
z
m1
+a
0
z
m
b
n
+ +b
1
z
n1
+b
0
z
n
z
nm
,
obtemos que
lim
z0
r
_
1
z
_
=
a
m
b
n
lim
z0
z
nm
=
_
0, se m < m,
a
m
/b
n
, se m = n.
Agora, se m > n, estabelecemos
lim
z0
1
r(1/z)
= lim
z0
b
n
+ +b
1
z
n1
+b
0
z
n
a
m
+ +a
1
z
m1
+a
0
z
m
z
mn
=
b
n
a
m
lim
z0
z
mn
= 0.
Logo, pelo Teorema 2.18, segue que o limite de r(z) com z tendendo ao innito
igual a 0, a
m
/b
n
ou , conforme m < n, m = n ou m > n, respectivamente.
Captulo 3
Derivadas e condies de
CauchyRiemann
Denio 3.1. Seja f uma funo denida numa vizinhana de z
0
. Dizemos
que f derivvel em z
0
se o seguinte limite existir:
lim
zz
0
f(z) f(z
0
)
z z
0
_
ou, equivalentemente, lim
h0
f(z
0
+h) f(z
0
)
h
_
. (3.1)
Esse limite, caso exista, denotado por f

(z
0
) ou
d
dz
f(z
0
), a derivada de f
em z
0
.
Observao 3.2. Sempre que armamos que uma funo f derivvel em z
0
,
car implcito que a funo f est denida numa vizinhana de z
0
.
Denio 3.3. Seja f uma funo denida numa vizinhana de z
0
. Dizemos
que f analtica em z
0
(ou holomorfa em z
0
) se f for derivvel em todos
os pontos de uma vizinhana de z
0
. A funo f dita ser analtica (ou holo-
morfa) se f for analtica em todos os pontos de seu domnio. Adicionalmente,
se f for analtica e seu domnio for todo o plano complexo C, dizemos que a
funo f inteira.
Exemplo 3.4. A funo f(z) = z
n
inteira e tem derivada f

(z) = nz
n1
.
Para mostrar essa armao, usaremos a expresso
(z +h)
n
z
n
= [(z +h)z] [(z +h)
n1
+z(z +h)
n2
+ +z
n2
(z +h)+z
n1
],
que vale para quaisquer z, h C. Deste modo, das propriedades do limite,
podemos escrever
lim
h0
f(z +h) f(z)
h
= lim
h0
(z +h)
n
z
n
h
= lim
h0
[(z +h)
n1
+z(z +h)
n2
+ +z
n1
]
= lim
h0
(z +h)
n1
+ lim
h0
z(z +h)
n2
+ + lim
h0
z
n1
= z
n1
+z
n1
+ +z
n1
= nz
n1
,
18
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 19
o que mostra que f derivvel em z, e f

(z) = nz
n1
. Como C vizinhana de
qualquer z C, segue que f analtica.
Exemplo 3.5. Nenhuma das funes
_

_
f
1
(z) = Re z,
f
2
(z) = Imz,
f
3
(z) = z,
derivvel em qualquer z C. Vericaremos esse resultado somente para f
3
, j
que podemos proceder analogamente com respeito a f
1
e f
2
. Se f
3
for derivvel
em z, ento o limite
lim
h0
f
3
(z +h) f
3
(z)
h
(3.2)
ser o mesmo independentemente de como h tende a 0. Seja h = h
1
+ ih
2
.
Considerando o limite em (3.2) com h sendo real (h
2
= 0), obteremos
lim
h0
h
2
=0
f
3
(z +h) f
3
(z)
h
= lim
h
1
0
z +h
1
+z
h
1
= lim
h
1
0
z +h
1
+z
h
1
= 1.
Por outro lado, se tomarmos o limite em (3.2) comh sendo puramente imaginrio
(h
1
= 0), teremos
lim
h0
h
1
=0
f
3
(z +h) f
3
(z)
h
= lim
h
2
0
z +ih
2
+z
ih
2
= lim
h
2
0
z ih
2
+z
ih
2
= 1.
Consequentemente, o limite em (3.2) no existe, e a funo f
3
(z) = z no
derivvel em qualquer z.
Exemplo 3.6. A funo f(z) = |z|
2
derivvel somente na origem. Determi-
naremos para quais valores de z o limite de
f(z +h) f(z)
h
=
(z +h)(z +h) zz
h
= z
h
h
+z +h (3.3)
independe de como h tende a 0. Seja h = h
1
+ ih
2
. Com h sobre o eixo real
(h
2
= 0), temos
lim
h0
h
2
=0
f(z +h) f(z)
h
= lim
h
1
0
z
h
1
h
1
+z +h
1
= z +z. (3.4)
Agora, considerando h sobre o eixo imaginrio (h
1
= 0), obtemos
lim
h0
h
1
=0
f(z +h) f(z)
h
= lim
h
2
0
z
ih
2
ih
2
+z +ih
2
= z +z. (3.5)
Para que o limite da expresso (3.3) independa de como h tende a 0, necessrio
que os limites em (3.4) e (3.5) sejam iguais, o que somente pode ocorrer se z = 0.
Isso mostra que f no derivvel se z = 0. Resta-nos vericar que f derivvel
em z = 0. De fato, como
lim
h0
f(0 +h) f(0)
h
= lim
h0
hh
h
= lim
h0
h = 0,
obtemos que f derivvel em z = 0, e f

(0) = 0.
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 20
Teorema 3.7. Se f derivvel em z
0
, ento f contnua em z
0
.
Prova. Como f derivvel em z
0
, temos que
lim
zz
0
f(z) = lim
zz
0
_
f(z
0
) + (z z
0
)
f(z) f(z
0
)
z z
0
_
= lim
zz
0
f(z
0
) + lim
zz
0
(z z
0
) lim
zz
0
f(z) f(z
0
)
z z
0
= f(z
0
) + 0 f

(z
0
) = f(z
0
).
Logo, f contnua em z
0
.
Teorema 3.8 (Regras de Derivao). Sejam f e g funes derivveis em z
0
.
Ento:
(i) (f +g)

(z
0
) = f

(z
0
) +g

(z
0
), para quaisquer , C;
(ii) (fg)

(z
0
) = f

(z
0
)g(z
0
) +f(z
0
)g

(z
0
);
(iii)
_
f
g
_

(z
0
) =
f

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

(z
0
)
[g(z
0
)]
2
, desde que g(z
0
) = 0.
Prova. (i) Usando as propriedades do limite, estabelecemos que
(f +g)

(z
0
) = lim
zz
0
f(z) +g(z) f(z
0
) g(z
0
)
z z
0
= lim
zz
0
_

f(z) f(z
0
)
z z
0
+
g(z) g(z
0
)
z z
0
_
= lim
zz
0
f(z) f(z
0
)
z z
0
+ lim
zz
0
g(z) g(z
0
)
z z
0
= f

(z
0
) +g

(z
0
),
que o resultado desejado.
(ii) Vericamos que
(fg)

(z
0
) = lim
zz
0
f(z)g(z) f(z
0
)g(z
0
)
z z
0
= lim
zz
0
_
f(z) f(z
0
)
z z
0
g(z) +f(z
0
)
g(z) g(z
0
)
z z
0
_
= lim
zz
0
f(z) f(z
0
)
z z
0
lim
zz
0
g(z) +f(z
0
) lim
zz
0
g(z) g(z
0
)
z z
0
= f

(z
0
)g(z
0
) +f(z
0
)g

(z
0
),
onde na ltima igualdade usamos o fato de que g contnua em z
0
.
(iii) Este item car mostrado se estabelecermos que
_
1
g
_

(z
0
) =
g

(z
0
)
[g(z
0
)]
2
,
pois, em vista de (ii), poderemos escrever
_
f
g
_

(z
0
) = f

(z
0
)
1
g(z
0
)
+f(z
0
)
_
1
g
_

(z
0
)
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 21
= f

(z
0
)
1
g(z
0
)
f(z
0
)
g

(z
0
)
[g(z
0
)]
2
=
f

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

(z
0
)
[g(z
0
)]
2
.
Das propriedades do limite, segue que
_
1
g
_

(z
0
) = lim
zz
0
1/g(z) 1/g(z
0
)
z z
0
= lim
zz
0

1
g(z)g(z
0
)
g(z) g(z
0
)
z z
0
= lim
zz
0

1
g(z)g(z
0
)
lim
zz
0
g(z) g(z
0
)
z z
0
=
1
[g(z
0
)]
2
g

(z
0
) =
g

(z
0
)
[g(z
0
)]
2
,
onde na penltima igualdade usamos o fato de que g contnua em z
0
. Com
isso, a prova do teorema ca concludo.
Corolrio 3.9. Sejam f e g funes analticas em z
0
. Ento a combinao
linear f +g, para quaisquer , C, o produto fg e o quociente f/g, desde
que g(z
0
) = 0, tambm so funes analticas em z
0
.
Exemplo 3.10. Para qualquer n N, a funo f(z) = z
n
, denida em todo
z = 0, tem derivada f

(z) = nz
n1
. Do Exemplo 3.4, sabemos que a derivada
de g(z) = z
n
g

(z) = nz
n1
. Usando o item (ii) do Teorema 3.8, temos
f

(z) =
_
1
g
_

(z) =
g

(z)
[g(z)]
2
=
nz
n1
[z
n
]
2
= nz
n1
,
j que g(z) = 0 para z = 0.
Teorema 3.11 (Regra da Cadeia). Sejam f : D
1
D
2
e g : D
2
C funes
denidas nos conjuntos D
1
, D
2
C. Se f derivvel em z
0
D
1
, e g
derivvel em f(z
0
) D
2
, ento a funo composta g f : D
1
C tambm
derivvel em z
0
, e vale a regra da cadeia:
(g f)

(z
0
) = g

(f(z
0
))f

(z
0
). (3.6)
Prova. Do Teorema 2.10 (propriedades dos limites), temos que
(g f)

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

(z
0
). (3.7)
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 22
Vamos mostrar que o limite em (3.7) igual a g

(f(z
0
)). Seja > 0 qualquer.
Como g derivvel em f(z
0
) D
2
, podemos encontrar
1
> 0 satisfazendo

g(w) g(f(z
0
))
w f(z
0
)
g

(f(z
0
))

< , sempre que w D

2
e 0 < |wf(z
0
)| <
1
.
(3.8)
Do Teorema 3.7, temos que f contnua em z
0
D
1
. Logo, existe > 0 tal que
|f(z) f(z
0
)| <
1
, sempre que z D
1
e 0 < |z z
0
| < . (3.9)
Por hiptese, sabemos que a imagem de f est contida no domnio de g. Deste
modo, combinado (3.8) e (3.9), temos que

g(w) g(f(z
0
))
w f(z
0
)
g

(f(z
0
))

< , sempre que z D

1
e 0 < |z z
0
| < .
Como > 0 arbitrrio, segue que
lim
zz
0
g(f(z)) g(f(z
0
))
f(z) f(z
0
)
= f

(g(z
0
)).
De (3.7), obtemos (3.6).
Corolrio 3.12. Sejam f e g funes cuja imagem de f est contida no domnio
de g. Se f analtica em z
0
e g analtica em f(z
0
), ento a funo composta
g f tambm analtica em z
0
.
Exemplo 3.13. Usando a regra da cadeia, a derivada de f(z) = (i + z
2
/2)
n
,
para qualquer n N, facilmente estabelecida. De fato, temos que f

(z) =
n(i +z
2
/2)
n1
z.
Teorema 3.14 (Regra de LHpital). Sejam f e g funes derivveis em z
0
,
com f(z
0
) = g(z
0
) = 0 e g

(z
0
) = 0. Ento
lim
zz
0
f(z)
g(z)
=
f

(z
0
)
g

(z
0
)
.
Prova. Da denio de derivada, temos
lim
zz
0
f(z)
g(z)
= lim
zz
0
[f(z) f(z
0
)]/(z z
0
)
[g(z) g(z
0
)]/(z z
0
)
=
lim
zz
0
[f(z) f(z
0
)]/(z z
0
)
lim
zz
0
[g(z) g(z
0
)]/(z z
0
)
=
f

(z
0
)
g

(z
0
)
,
que o resultado desejado.
Exemplo 3.15. As funes f(z) = |z|
2
e g(z) = z satisfazem f(0) = g(0) = 0
e g

(0) = 1. Logo, pela Regra de LHpital, podemos determinar o limite

lim
z0
f(z)
g(z)
=
f

(0)
g

(0)
=
0
1
= 0,
onde usamos que f

(0) = 0, que foi estabelecido no Exemplo 3.6.

CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 23
Teorema 3.16. Se a funo f(z) = u(x, y) + iv(x, y) derivvel em z
0
=
x
0
+iy
0
, ento as derivadas parciais de primeira ordem de u(x, y) e v(x, y) em
(x
0
, y
0
) existem e satisfazem as Equaes de CauchyRiemann:
_

_
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
),
u
y
(x
0
, y
0
) =
v
x
(x
0
, y
0
).
(3.10a)
(3.10b)
Alm disso, a derivada de f em z
0
pode ser expressa como
f

(z
0
) =
u
x
(x
0
, y
0
) +i
v
x
(x
0
, y
0
) (3.11a)
ou
f

(z
0
) =
v
y
(x
0
, y
0
) i
u
y
(x
0
, y
0
). (3.11b)
Prova. Sendo f derivvel em z
0
, o limite
lim
h0
f(z
0
+h) f(z
0
)
h
(3.12)
existe e independe de como h tende a 0. Sejam h
1
= Re(h) e h
2
= Im(h).
Tomando o limite em (3.12) com h sobre o eixo real (h
2
= 0), obtemos
f

(z
0
) = lim
h0
h
2
=0
f(z
0
+h) f(z
0
)
h
= lim
h
1
0
_
u(x
0
+h
1
, y
0
) u(x
0
, y
0
)
h
1
+i
v(x
0
+h
1
, y
0
) v(x
0
, y
0
)
h
1
_
=
u
x
(x
0
, y
0
) +i
v
x
(x
0
, y
0
), (3.13)
que a expresso (3.11a). Por outro lado, se em (3.12) tomamos h sobre o eixo
imaginrio (h
1
= 0), ento
f

(z
0
) = lim
h0
h
1
=0
f(z
0
+h) f(z
0
)
h
= lim
h
2
0
_
u(x
0
, y
0
+h
2
) u(x
0
, y
0
)
ih
2
+i
v(x
0
, y
0
+h
2
) v(x
0
, y
0
)
ih
2
_
= lim
h
2
0
_
v(x
0
, y
0
+h
2
) v(x
0
, y
0
)
h
2
i
u(x
0
, y
0
+h
2
) u(x
0
, y
0
)
h
2
_
=
v
y
(x
0
, y
0
) i
u
y
(x
0
, y
0
), (3.14)
o que mostra (3.11b). Agora, igualando as partes real e imaginria em (3.13) e
(3.14), obtemos as Equaes de CauchyRiemann (3.10a) e (3.10b).
Exemplo 3.17. A funo
f(z) =
_
_
_
z
2
z
, para z = 0,
0, para z = 0,
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 24
embora no seja derivvel em z = 0, satisfaz as Equaes de CauchyRiemann.
No limite em (3.1) que dene f

(0), se zermos h = re
i
tender a 0 com o
argumento xo, teremos
lim
h0
xo
f(0 +h) f(0)
h
= lim
h0
xo
h
2
/h 0
h
= lim
r0
(re
i
)
2
/(re
i
) 0
re
i
= lim
r0
e
i4
= e
i4
. (3.15)
Caso o limite em (3.1) existisse, ele seria o mesmo independentemente de como
h tende a 0, que no o que encontramos em (3.15). Portanto, a funo f no
derivvel em z = 0. A seguir, vericaremos que u(x, y) e v(x, y), as partes real
e imaginria de f, satisfazem as Equaes de CauchyRiemann em (0, 0). Para
z = x +iy = 0, podemos escrever
f(z) =
z
2
z
=
x
3
3xy
2
x
2
+y
2
+i
y
3
3x
2
y
x
2
+y
2
.
Deste modo, observando que u(0, 0) = 0 e v(0, 0) = 0, determinamos as deriva-
das parciais de u(x, y) e v(x, y) em (0, 0):
u
x
(0, 0) = lim
x0
u(x, 0) u(0, 0)
x
= lim
x0
x
x
= 1,
u
y
(0, 0) = lim
x0
u(0, y) u(0, 0)
y
= lim
x0
0
y
= 0,
v
x
(0, 0) = lim
x0
v(x, 0) v(0, 0)
x
= lim
x0
0
x
= 0,
v
y
(0, 0) = lim
x0
v(0, y) v(0, 0)
y
= lim
x0
y
y
= 1,
que satisfazem as Equaes de CauchyRiemann em (0, 0).
Teorema 3.18. Seja f(z) = u(x, y) +iv(x, y) uma funo denida numa vizi-
nhana de z
0
= x
0
+ iy
0
. Suponha que todas as derivadas parciais de primeira
ordem de u(x, y) e v(x, y) existam numa vizinhana de (x
0
, y
0
), e sejam cont-
nuas em (x
0
, y
0
). Ento f derivvel em z
0
se, e somente se, u(x, y) e v(x, y)
satisfazem as equaes de CauchyRiemann em (x
0
, y
0
).
Prova. Seja > 0 tal que o disco D

(z
0
) esteja contido na vizinhana do enun-
ciado. E seja h = (h
1
, h
2
) C qualquer tal que 0 < |h| < . Pelo Teorema do
Valor Mdio, podemos encontrar h

1
[0, h
1
] e h

2
[0, h
2
] tais que
u(x
0
+h
1
, y
0
+h
2
) u(x
0
, y
0
+h
2
) = h
1
u
x
(x
0
+h

1
, y
0
+h
2
)
e
u(x
0
, y
0
+h
2
) u(x
0
, y
0
) = h
2
u
y
(x
0
, y
0
+h

2
).
Somando a duas expresses acima, obtemos
u(x
0
+h
1
, y
0
+h
2
)u(x
0
, y
0
) = h
1
u
x
(x
0
+h

1
, y
0
+h
2
)+h
2
u
y
(x
0
, y
0
+h

2
). (3.16)
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 25
Denotando

1
(h
1
, h
2
) = h
1
u
x
(x
0
+h

1
, y
0
+h
2
) h
1
u
x
(x
0
, y
0
)
+h
2
u
y
(x
0
, y
0
+h

2
) h
2
u
y
(x
0
, y
0
),
reescrevemos (3.16) como
u(x
0
+h
1
, y
0
+h
2
)u(x
0
, y
0
) = h
1
u
x
(x
0
, y
0
)+h
2
u
y
(x
0
, y
0
)+
1
(h
1
, h
2
). (3.17)
Em vista de |h
1
/h| 1 e |h
2
/h| 1, obtemos

1
(h
1
, h
2
)
h

h
1
h
_
u
x
(x
0
+h

1
, y
0
+h
2
)
u
x
(x
0
, y
0
)
_

h
2
h
_
u
y
(x
0
, y
0
+h

2
)
u
y
(x
0
, y
0
)
_

u
x
(x
0
+h

1
, y
0
+h
2
)
u
x
(x
0
, y
0
)

u
y
(x
0
, y
0
+h

2
)
u
y
(x
0
, y
0
)

.
Logo, pela continuidade de u/x e u/y em (x
0
, y
0
), segue que
lim
h0

1
(h
1
, h
2
)
h
= 0. (3.18)
Analogamente, podemos escrever
v(x
0
+h
1
, y
0
+h
2
)v(x
0
, y
0
) = h
1
v
x
(x
0
, y
0
)+h
2
v
y
(x
0
, y
0
)+
2
(h
1
, h
2
), (3.19)
com a funo
2
(h
1
, h
2
) satisfazendo
lim
h0

2
(h
1
, h
2
)
h
= 0. (3.20)
De (3.17) e (3.19), e das Equaes de CauchyRiemann, obtemos
f(z
0
+h) f(z
0
) = [u(x
0
+h
1
, y
0
+h
2
) u(x
0
, y
0
)]
+i[v(x
0
+h
1
, y
0
+h
2
) v(x
0
, y
0
)]
=
_
h
1
u
x
(x
0
, y
0
) +h
2
u
y
(x
0
, y
0
) +
1
(h
1
, h
2
)
_
+i
_
h
1
v
x
(x
0
, y
0
) +h
2
v
y
(x
0
, y
0
) +
2
(h
1
, h
2
)
_
=
_
h
1
u
x
(x
0
, y
0
) h
2
v
x
(x
0
, y
0
) +
1
(h
1
, h
2
)
_
+i
_
h
1
v
x
(x
0
, y
0
) +h
2
u
x
(x
0
, y
0
) +
2
(h
1
, h
2
)
_
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 26
=
u
x
(x
0
, y
0
)h +i
v
x
(x
0
, y
0
)h +
1
(h
1
, h
2
) +i
2
(h
1
, h
2
),
o que resulta em
f(z
0
+h) f(z
0
)
h
=
u
x
(x
0
, y
0
) +i
v
x
(x
0
, y
0
) +

1
(h
1
, h
2
)
h
+i

2
(h
1
, h
2
)
h
.
Em vista de (3.18) e (3.20), segue que a derivada de f em z
0
existe e dada por
f

(z
0
) = lim
h0
f(z
0
+h) f(z
0
)
h
=
u
x
(x
0
, y
0
) +i
v
x
(x
0
, y
0
),
que a expresso desejada (3.11a). A outra expresso (3.11b) uma consequn-
cia imediata das Equaes de CauchyRiemann.
Exemplo 3.19. As funes exponencial, cosseno e seno so inteiras e tm
derivadas
d
dz
exp(z) = exp(z),
d
dz
cos(z) = sen(z),
d
dz
sen(z) = cos(z).
Mostraremos essa armao apenas para a funo exponencial, j que para
as funes cosseno e seno podemos proceder analogamente. Sejam u(x, y) =
exp(x) cos(y) e v(x, y) = exp(x) sen(y) as partes real e imaginria de exp(z),
respectivamente. Determinamos as derivadas parciais de primeira ordem de
u(x, y) e v(x, y), que so:
u
x
(x, y) = exp(x) cos(y),
u
y
(x, y) = exp(x) sen(y),
v
x
(x, y) = exp(x) sen(y),
v
y
(x, y) = exp(x) cos(y).
imediato vericar que todas essas derivadas parciais so contnuas para todo
(x, y). Alm disso, u(x, y) e v(x, y) satisfazem as Equaes de CauchyRiemann:
u
x
(x, y) =
v
y
(x, y),
u
y
(x, y) =
v
x
(x, y).
Logo, as hipteses do Teorema 3.18 so satisfeitas, e a funo exponencial
derivvel em qualquer z C. Pelo Teorema 3.16, estabelecemos
d
dz
exp(z) =
u
x
(x, y) +i
v
x
(x, y) = exp(x) cos(y) +i exp(x) sen(y) = exp(z),
e com isso conclumos o exemplo.
Teorema 3.20. Se a funo f(z) = u(r, ) + iv(r, ), z = re
i
, derivvel
em z
0
= r
0
e
i
0
= 0, ento as derivadas parciais de primeira ordem de u(r, ) e
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 27
v(r, ) em (r
0
,
0
) existem e satisfazem as Equaes de CauchyRiemann
na Forma Polar:
_

_
u
r
(r
0
,
0
) =
1
r
0
v

(r
0
,
0
),
1
r
0
u

(r
0
,
0
) =
v
r
(r
0
,
0
).
(3.21a)
(3.21b)
Alm disso, a derivada de f em z
0
pode ser expressa como
f

(z
0
) = e
i
0
_
u
r
(r
0
,
0
) +i
v
r
(r
0
,
0
)
_
(3.22a)
ou
f

(z
0
) =
e
i
0
r
0
_
v

(r
0
,
0
) i
u

(r
0
,
0
)
_
. (3.22b)
Prova. Como f derivvel em z
0
, o limite
lim
zz
0
f(z) f(z
0
)
z z
0
(3.23)
existe e independe de como z tende a z
0
. Fazendo z = re
i
tender a z
0
= r
0
e
i
0
com =
0
xo, obtemos
f

(z
0
) = lim
rr
0
f(re
i
0
) f(r
0
e
i
0
)
re
i
0
r
0
e
i
0
= lim
rr
0
e
i
0
_
u(r,
0
) u(r
0
,
0
)
r r
0
+i
v(r,
0
) v(r
0
,
0
)
r r
0
_
= e
i
0
_
lim
rr
0
u(r,
0
) u(r
0
,
0
)
r r
0
+i lim
rr
0
v(r,
0
) v(r
0
,
0
)
r r
0
_
= e
i
0
_
u
r
(r
0
,
0
) +i
v
r
(r
0
,
0
)
_
, (3.24)
o que mostra (3.22a). Por outro lado, se em (3.23) tomamos z = re
i
com r = r
0
xo, ento
f

(z
0
) = lim

0
f(r
0
e
i
) f(r
0
e
i
0
)
r
0
e
i
r
0
e
i
0
= lim

0
1
r
0

0
e
i
e
i
0
_
u(r,
0
) u(r
0
,
0
)

0
+i
v(r,
0
) v(r
0
,
0
)

0
_
=
1
r
0
_
lim

0
e
i
e
i
0

0
_
1
_
lim

0
u(r,
0
) u(r
0
,
0
)

0
+i lim

0
v(r,
0
) v(r
0
,
0
)

0
_
=
1
r
0
1
ie
i
0
_
u

(r
0
,
0
) +i
v

(r
0
,
0
)
_
=
e
i
0
r
0
_
v

(r
0
,
0
) i
u

(r
0
,
0
)
_
, (3.25)
que a expresso (3.22b). Comparando as partes reais em (3.24) e (3.25), e as
partes imaginrias em (3.24) e (3.25), obtemos as Equaes de CauchyRiemann
na Forma Polar (3.10a) e (3.10b).
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 28
Teorema 3.21. Seja f(z) = u(r, ) + iv(r, ), z = re
i
, uma funo denida
numa vizinhana de z
0
= r
0
e
i
0
= 0. Suponha que todas as derivadas parciais de
primeira ordem de u(r, ) e v(r, ) existam numa vizinhana de (r
0
,
0
), e sejam
contnuas em (r
0
,
0
). Ento f derivvel em z
0
se, e somente se, u(r, ) e
v(r, ) satisfazem as equaes de CauchyRiemann na Forma Polar em (r
0
,
0
).
Prova. Sejam u(x, y) e v(x, y) as partes real e imaginria de f expressas em
coordenadas retangulares. Deste modo, podemos escrever
u(r, ) = u(r cos , r sen ),
v(r, ) = v(r cos , r sen ).
Pela regra da cadeia, obtemos
u
r
=
u
x
cos +
u
y
sen ,
u

=
u
x
r sen +
u
y
r cos .
Resolvendo essas equaes com respeito a u/x e u/y, chegamos a
u
x
=
u
r
cos
u

sen
r
,
u
y
=
u
r
sen +
u

cos
r
.
Como os termos direita das igualdades nas equaes acima so funes cont-
nuas em (x
0
, y
0
), em que z
0
= x
0
+iy
0
, conclumos que u/x e u/y tambm
so funes contnuas em (x
0
, y
0
). Alm disso, imediato que u/x e u/y
existem numa vizinhana de (x
0
, y
0
). Agora, repetindo os passos acima com v
no lugar de u, obtemos que as derivadas parciais u/x e u/y existem numa
vizinhana de (x
0
, y
0
), e so contnuas em (x
0
, y
0
). Logo, pelo Teorema 3.18,
segue que f derivvel em z
0
.
Exemplo 3.22. Dado a R qualquer, vamos vericar, usando o Teorema 3.21,
que a funo
f(z) = ln r +i, z = re
i
, r > 0 e a < < a + 2,
derivvel em todo ponto de seu domnio, e tem derivada f

(z) = 1/z. A parte

real u(r, ) = ln r e a parte imaginria v(r, ) = da funo f(z) tm derivadas
parciais
u
r
(r, ) =
1
r
,
v
r
(r, ) = 0,
u

(r, ) = 0,
v

(r, ) = 1,
que satisfazem as Equaes de CauchyRiemann na Forma Polar:
u
r
(r, ) =
1
r
v

(r, ),
1
r
u

(r, ) =
v
r
(r, ),
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 29
para todo r > 0 e a < < a+2. Como as derivadas parciais de primeira ordem
de u(r, ) e v(r, ) existem, so contnuas e satisfazem as Equaes de Cauchy
Riemann na Forma Polar para todo r > 0 e a < < a +2, pelo Teorema 3.21,
temos que f derivvel em todo pondo de seu domnio. Da expresso (3.22a),
obtemos
f

(z) = e
i
_
u
r
(r, ) +i
v
r
(r, )
_
= e
i
_
1
r
+i0
_
=
1
z
,
o que conclui o exemplo.
Exemplo 3.23. Dados n N e a R quaisquer, a funo
f(z) = r
1/n
e
i/n
, z = re
i
, r > 0 e a < < a + 2,
derivvel em todo ponto de seu domnio, e tem derivada f

(z) = (1/n)r
1/n1
e
i(1/n1)
.
Sejam u(r, ) = r
1/n
cos(/n) e v(r, ) = r
1/n
sen(/n) as partes real e imagin-
ria de f(z). As funes u(r, ) e v(r, ) tm derivadas parciais
u
r
(r, ) =
1
n
r
1/n1
cos
_

n
_
,
u

(r, ) =
1
n
r
1/n
sen
_

n
_
,
v
r
(r, ) =
1
n
r
1/n1
sen
_

n
_
,
v

(r, ) =
1
n
r
n
cos
_

n
_
,
que so contnuas, e satisfazem as Equaes de CauchyRiemann na Forma
Polar:
u
r
(r, ) =
1
r
v

(r, ),
1
r
u

(r, ) =
v
r
(r, ),
para todo r > 0 e a < < a + 2. Como as hipteses do Teorema 3.21 so
satisfeitas, obtemos que f derivvel em todo pondo de seu domnio. Assim,
podemos usar a expresso (3.22a), que resulta em
f

(z) = e
i
_
u
r
(r, ) +i
v
r
(r, )
_
= e
i
_
1
n
r
1/n1
cos
_

n
_
+i
1
n
r
1/n1
sen
_

n
__
= e
i
1
n
r
1/n1
_
cos
_

n
_
+i sen
_

n
__
=
1
n
r
1/n1
e
i(1/n1)
,
que a expresso que desejamos encontrar.
Teorema 3.24. Seja f : D C uma funo analtica, denida numa regio
D C. Ento f ser constante se qualquer uma das seguintes condies for
satisfeita em D:
CAPTULO 3. DERIVADAS E CONDIES DE CAUCHYRIEMANN 30
(a) f

= 0;
(b) f real;
(c) |f| constante;
(d) arg f constante.
Prova. (a) Das expresses (3.11a) e (3.11b), obtemos
u
x
(x, y) =
u
y
(x, y) =
v
x
(x, y) =
v
y
(x, y) = 0,
para todo (x, y) pertencente a D. Como D conexo, segue que u(x, y) e v(x, y)
so constantes, e assim a funo f contante.
(b) Sendo f real, temos que v = 0. Logo, pelas Equaes de Cauchy
Riemann,
u
x
(x, y) =
u
y
(x, y) = 0,
para todo (x, y) pertencente a D. Consequentemente, u(x, y) constante, o que
implica f constante.
(c) Se |f| = 0, ento claro que f = 0, que constante. Suponhamos que
|f| > 0. Derivando |f|
2
= u
2
+v
2
, que constante, obtemos
0 =
1
2

x
|f|
2
= u
u
x
+v
v
x
(3.26)
0 =
1
2

y
|f|
2
= u
u
y
+v
v
y
(3.27)
Das Equaes de CauchyRiemann, podemos fazer as substituies v/x =
u/y e v/y = u/x em (3.26) e (3.26), respectivamente, e ento obter
_
u v
v u
__
u/x
u/y
_
=
_
0
0
_
.
Como u
2
+ v
2
> 0, a nica soluo do sistema de equaes acima u/x =
u/y = 0. Alm disso, das Equaes de CauchyRiemann, segue que v/x =
v/y = 0. Como D conexo, temos que u(x, y) e v(x, y) so constantes, e
ento a funo f contante.
(d) Denotando
0
= arg f, denimos a funo r(z) = f(z)e
i
0
, que real.
Sendo r(z) o produto da funo analtica f(z) pela constante e
i
0
, temos que
r(z) analtica. Pelo item (b), conclumos que a funo f constante.