Académique Documents
Professionnel Documents
Culture Documents
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 cos + sen sen ) +i(cos sen + sen cos )
_
=
r
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(
1
f(z)
<
1
K
, sempre que z D e 0 < |z z
0
| < ,
f
_
1
z
_
L
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
))
g(w) g(f(z
0
))
w f(z
0
)
g
(f(z
0
))
(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)
g
(0)
=
0
1
= 0,
onde usamos que f
_
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
(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.