Anlise Complexa Resoluo de alguns exerccios do captulo 3

Exerccio n1

Para cada t, u [0, 1], seja

H(t, u) = 1 (2t) + u.(2 (2t) 1 (2t)) = (r1 + u.(r2 r1 )) e2it ;

ento |H(t, u)| = r1 + u.(r2 r1 ) > 0, ou seja, a imagem de H est contida em C . A funo
H claramente contnua e tem-se

1. (t [0, 1]) : H(t, 0) = 1 (2t);

2. (t [0, 1]) : H(t, 1) = 2 (2t);

3. (u [0, 1]) : H(0, u) = H(1, u) = r1 + u.(r2 r1 ).

Logo, H uma homotopia em C entre 1 e 2 .

Exerccio n2

O lacete 1 est definido como sendo a justaposio de

quatro caminhos que tm por domnio o intervalo [0, 1], 1+i H(t,1) 1+i

pelo que o seu domnio o intervalo [0, 4]. De maneira H(t,0)

anloga resoluo do exerccio anterior, define-se, para
cada t, u [0, 1],

H(t, u) = 1 (4t) + u.(2 (2t) 1 (4t));

se se mostrar que H nunca se anula, estar provado que

H uma homotopia em C entre 1 e 2 . Seja u [0, 1].
Se t [0, 1/4], H(t, 0)(= 1 (4t)) pertence ao segmento de
recta que une 1 + i a 1 + i (veja-se a figura ao lado),
enquanto que H(t, 1)(= 2 (2t)) est na parte da circun- 1i 1i

ferncia de centro 0 e raio 1 situada no primeiro quadrante.

Ento H(t, u) pertence ao segmento de recta que une um ponto do primeiro quadrante (distinto
de 0) a um ponto do segmento de recta que une 1 + i a 1 + i; logo, no se pode ter H(t, u) = 0.
Se t [1/4, 1/2], t [1/2, 3/4] ou t [3/4, 1], o argumento anlogo.

Exerccio n4

1. Primeira resoluo:
#t=1
t3
"
Z 1 Z 1 Z 1 Z 1 h it=1 2
2 2 2
(t + i) dt = t + 2it 1 dt = t 1 dt + i 2t dt = t + i t2 = + i.
0 0 0 0 3 t=0
t=0 3

Segunda resoluo:
#t=1
(t + i)3 (1 + i)3 i3
"
Z 1 2
2
(t + i) dt = = = + i.
0 3 t=0
3 3 3
Anlise Complexa 20062007 2

2. Primeira resoluo:
Z /2 Z /2 Z /2 Z /2
eit dt = cos(t) + i sen(t) dt = cos(t) dt + i sen(t) dt = 1 + i.
0 0 0 0

Segunda resoluo:
#t=/2
eit
"
Z /2
it i1
e dt = = = 1 + i.
0 i t=0
i
3. Tem-se:
Z 1 1 Z 1
ti
dt = dt
0 t+i 0 t2 + 1
Z 1 Z 1
t 1
= 2
dt i 2
dt
0 t +1 0 t +1
t=1
1

= 2
log(t + 1) + [arctan t]t=1
t=0
2 t=0
1
= log(2) + i
2 4
Exerccio n5
Z Z Z Z
1. z dz = eit ieit dt = i eit eit dt = i 1 dt = i.
0 0 0
2. Tem-se
Z Z 2
Im(z) dz = Im(eit )ieit dt
0
Z 2 eit eit it
= ie dt
0 2i
1 Z 2 2it
= e 1 dt
2 0
#t=2
1 e2it
"
= t
2 2i t=0
= .
3. Se m 6= 1 ento f tem primitiva; como um lacete, deduz-se que
R
f = 0. No caso
restante, tem-se
Z 2 it
Z
1 ie
dz = dt = 2i.
z 0 eit
#z=1+i
z2 (1 + i)2
Z "
4. z + 1 dz = +z = + (1 + i) = 1 + 2i.
2 z=0
2
5. Tem-se
Z
dz Z /4
ieit
= dt
z2 + 1 0 1 + e2it
Z /4
1
=i dt
0 eit + eit
i Z /4 1
= dt
2 0 cos t
t=/4
i 1
 
= log + tan t
2  cos t  t=0

i log 2+1
=
2
Anlise Complexa 20062007 3

Exerccio n8

1. Tem-se, para cada n Z+ :

Z 2 Z
2 X
it int
f (a + re )e dt = am rm ei(mn)t dt
0 0 m=0
Z 2
am r m ei(mn)t dt (pois a convergncia uniforme)
X
=
m=0 0

= 2an rn

pois, se m Z+ \ {n},
#t=2
ei(mn)t
"
Z 2
i(mn)t
e dt = = 0.
0 i(m n) t=0

2. Resulta da igualdade anterior e do facto de a convergncia ser uniforme na circunferncia de

centro a e raio r que

Z 2    Z 2    
it 
f a + re  dt =

f a + reit f a + reit dt
0 0
Z 2 
X
= f a + reit an rn eint dt
0 n=0
Z 2  
f a + reit rn eint dt
X
= an
n=0 0

2 |an |2 r2n ;
X
=
n=0

a desigualdade do enunciado trivial.

Exerccio n10

Primeira resoluo: Tem-se, para cada nmero real positivo r:

it
Z
ez Z re
e it
Z
reit
dz = ire dt = i e dt. (1)
(r) z 0 reit 0

Por outro lado, sabe-se que Z Z

reit
lim e dt = 1 dt =
0 r0 0

e esta igualdade, juntamente com (1), sugere que

Z it
lim ere dt = .
r0 0

necessrio demonstrar que se tem efectivamente esta igualdade pois, em geral, a passagem
ao limite e a integrao no comutam.
Sabe-se que:
Z Z
reit it
lim e dt = lim ere 1 dt = 0
r0 0 r0 0

 Z 
it
ere 1 dt  = 0.
 
lim  (2)
r0 0
Anlise Complexa 20062007 4

Usando o exerccio 48 do segundo captulo (no caso particular n = 1), deduz-se que:

Z  Z  it  Z  
reit  re
2 reit  dt
 

 e 1 dt e 1 dt
0 0 0
se r 1. Visto que Z  
2 reit  dt = 2r
0
ento claro que se tem (2).
Segunda resoluo: Tem-se, para cada r R+ :
Z
ez Z
ez 1 Z
1 Z
ez 1
dz = dz + dz = dz + i.
(r) z (r) z (r) z (r) z
Considere-se a funo
f : C C
z
(
(e 1)/z se z 6= 0
z 7
1 se z = 0;
ento tem-se Z
ez Z
dz = f (z) dz + i
(r) z (r)
e
X zn
(z C) : f (z) = ,
n=0 (n + 1)!
pelo que a funo
F : C C

z n+1 zn
!
X X
z 7 =
n=0 (n + 1).(n + 1)! n=1 n.n!
uma primitiva de f , pelo teorema 2.3.1. Logo, tem-se:
Z
ez Z
lim dz = lim f (z) dz + i
r0 (r) z r0 (r)

= lim(F ((r)()) F ((r)(0))) + i

r0
= lim(F (r) F (r)) + i
r0
= F (0) F (0) + i
= i.
Observe-se que esta resoluo pode ser encurtada recorrendo ao teorema 3.2.8, pois este
teorema permite afirmar que a funo f possui uma primitiva, visto que se trata de uma
funo analtica cujo domnio um aberto simplesmente conexo de C.
Exerccio n15
Para se poder empregar a frmula de Cauchy para calcular o integral em questo, define-se
: [0, 2] C por (t) = eit e tenta-se encontrar uma funo analtica f : U C tal que
U S 1 = ([0, 2]) e que
it
 ee   
eit
 
(t [0, 2]) : f ((t)) (t) = f e ie = e f e = it
0 it it it
ie
z
Basta definir f : C C por f (z) = e /(iz). Ento, pela frmula de Cauchy,
Z 2 it
Z
e0
ee dt = f (z) dz = 2i = 2.
0 i
Anlise Complexa 20062007 5

Exerccio n17

1. O trao de R est representado pela seguinte figura (as setas representam o sentido em que
o trao percorrido):

R R

2. A funo f analtica (pelo lema 2.4.1) e C simplesmente conexo. Logo, o valor do integral
0, pelo corolrio 3.2.2.
3. Para cada R R+ , seja
R : [0, 1/2] C
t 7 Re2it .
Ento, se R R+ ,
Z R Z Z Z
eiz 1 Z
eiz
f= f f = dz = i dz,
R R R R z R z

pelo que basta mostrar que

Z
eiz
lim dz = 0.
R+ R z
Para tal, observe-se que, para cada R R+ ,
 1/2 eiRe2it
Z  Z 
 eiz  2it


 dz  = 

2it
2iRe dt

 R z   0 Re 
 Z 1/2 
 
R sen(2t)+iR cos(2t)
= 2i e dt
 
0
Z 1/2  
 R sen(2t)+iR cos(2t) 
2 e  dt
0
Z 1/2
= 2 eR sen(2t) dt
0
Z 1/4
= 4 eR sen(2t) dt (pois (t [0, ]) : sen(t) = sen( t))
0
Z 1/4
4 e4Rt dt (pois (t [0, 1/4]) : sen(2t) 4t)
0
#t=1/4
e4Rt
"
= 4
4R t=0
1 eR
=
R
e que
1 eR
lim = 0.
R+ R
Anlise Complexa 20062007 6

4. Observe-se que, para cada x R , sen x

x
= Im f (x). Tem-se ento
Z + sen x Z R
sen x
dx = lim dx
0 x R+ 0 x
Z R
1 sen x
= lim dx
2 R+ R x
Z R
1
= lim Im f (x) dx
2 R+ R !
Z R
1
= lim Im f (x) dx
2 R+ R
Z R !
1
= Im lim f (x) dx
2 R+ R

1
= Im(i)
2

=
2

Exerccio n19

Se z C, tem-se z 2 +2z +5 = (z + 1 + 2i).(z + 1 2i).

1. Seja f : C \ {1 2i} C a funo definida por
2 2i
R
f (z) = (z + 4)/(z + 2z + 5); quer-se calcular f (z) dz.
Observe-se que homotopicamente nulo em C\{12i},
pois   i
trao de D 0, 5 C \ {1 2i}

 ao lado); como homotopicamente

(veja-se a figura
2 1 1 2
nulo em D 0, 5 (pois este conjunto convexo e, por-
tanto, simplesmente conexo), ento, por maioria de ra- i
zo,
R
homotopicamente nulo em C \ {1 2i}. Logo,
f (z) dz = 0, pelo corolrio 3.2.1. Naturalmente, em vez
 
2i
de D 0, 5 poderiam ter sido empregues outros abertos
convexos (ou, mais geralmente, simplesmente conexos) que contm o trao de e esto contidos
em C \ {1 2i} como, por exemplo, {z C : Im z ] 2, 2[}.
2. Para cada z C \ {1 2i}, seja f (z) = (z + 4)/(z + 1 + 2i). O lacete homotopicamente
nulo em C \ {1 2i}, visto que
trao de {z C : Im z > 2} C \ {1 2i}
e que {z C : Im z > 2} convexo. Logo
f (z) 3 + 2i 3
Z  
dz = 2if (1 + 2i) = 2i = + i.
z + 1 2i 4i 2
3. Analogamente ao que foi feito na alnea anterior, tem-se
z+4 (z + 4)/(z + 1 2i) 3 2i 3
Z Z  
2
dz = dz = 2i. = + i.
z + 2z + 5 z + 1 + 2i 4i 2
4. Comece-se por observar que se se determinar a, b C tais que
z+4 a b
(z C \ {1 2i}) : = + ,
z 2 + 2z + 5 z + 1 + 2i z + 1 2i
Anlise Complexa 20062007 7

ento o problema fica praticamente resolvido, pois que o integral em questo se reduz a
Z
1 Z
1
a. dz + b. dz (3)
z + 1 + 2i z + 1 2i

e, pela definio de ndice, (3) igual a

2i (a ind(1 2i, ) + b ind(1 + 2i, )) (= 2i(a + b)). (4)

1 3
Um clculo simples revela que se tem a = + i e b =
2 4
1 3 4i
i, pelo que (4)=2i.
2 4 3i
3
5. Analogamente segunda alnea, o resultado + i 2i
2
pois, por um lado, o lacete homotopicamente nulo em i
C \ {1 2i} e, como se pode ver pela figura ao lado, o
ndice de relativamente a 1 + 2i igual a 1, pois que a 2 2 4 6
semi-recta que se v na figura intersecta o trao de num i
nico ponto e a a semi-recta empurrada no sentido
2i
directo.

Exerccio n21

Para cada z C, seja f (z) = z n . Ento tem-se:

f (n1) (1)
n
Z 
z Z
f (z)
dz = dz = 2i ind(1, ) = 2in.
z1 (z 1)n (n 1)!

Exerccio n24

1. Por hiptese, 0 um zero de f . Como a funo f analtica, trata-se de um zero isolado

ou de um zero interior. Mas se fosse
 um zero interior,
 ter-se-ia f 0 (0) = 0; logo, trata-se de um
zero isolado e, portanto, tem-se f D(0, s) \ {0} C para algum s ]0, r].
2. Considere-se a funo F : D(0, r) C definida por
(
6 0
f (z)/z se z =
F (z) = 0
f (0) se z = 0,
que analtica, pelo lema 2.4.1. Ento:
Z
f 0 Z g(z)f 0 (z)/F (z) f 0 (0)
g = dz = 2ig(0) = 2ig(0).
f z F (0)

Exerccio n25

1. Se x R, ento
Q(x) = P (x)P (x) = P (x)P (x) = |P (x)|2 > 0,
pois P (x) 6= 0. Alm disso, se se tivesse Q(z) = 0 para algum z C, ento tinha-se

P (z)P (z) = 0 P (z) = 0 P (z) = 0

P (z) = 0 P (z) = 0,
Anlise Complexa 20062007 8

o que impossvel, pois P no tem zeros.

2. Sejam a0 , a1 , . . . , aN C tais que

(z C) : P (z) = a0 + a1 z + + aN z N .

Ento
(z C) : P (z) = a0 + a1 z + + aN z N .
Assim sendo, Q o produto de duas funes polinomiais de grau N , pelo que se trata de uma
funo polinomial de grau 2N . Sejam b0 , b1 , . . . , b2N C tais que

(z C) : Q(z) = b0 + b1 z + + b2N z 2N .

Ento, para cada z C ,

2N k
1 1
  
2N 2N
X
z Q z+ =z bk z+
z k=0 z
2N
bk z 2N k (z 2 1)k .
X
=
k=0

Logo, se se definir R : C C por

2N
bk z 2N k (z 2 1)k ,
X
R(z) =
k=0

R uma funo polinomial tal que

1
 
(z C ) : R(z) = z 2N Q z + .
z
Resulta desta relao que, uma vez que Q no tem zeros, s se poderia ter R(z) = 0 quando
z = 0. Mas R(0) = b0 = |a0 |2 = |P (0)|2 6= 0.
3. Tem-se
Z
2N 1 Z 2 (2N 1)it
e
d = ieit dt
R() 0 R (eit )
Z 2
e2N it
=i dt
0 e2N it Q (eit + eit )
Z 2
1
=i
0 Q(2 cos t)

iR+

pois, pela primeira alnea, a funo que se est a integrar s toma valores reais maiores do que
0. Mas, por outro lado, visto que a funo

C C
2N 1

7
R()

uma funo analtica com domnio simplesmente conexo, o seu integral ao longo de qualquer
lacete igual a 0, pelo corolrio 3.2.2.
Anlise Complexa 20062007 9

Exerccio n26

1. Seja z U . Como exp0 (= exp) nunca se anula, sabe-se, pelo teorema da inverso local, que
existe alguma vizinhana Wz de l(z) tal que exp |Wz bianaltica; seja g a inversa desta funo
e seja V uma vizinhana aberta de z contida em U tal que l(Vz ) Wz .1 Ento

(w Vz ) : g(w) = g(exp(l(w))) = l(w).

Logo, l|Vz analtica. Como isto ocorre para cada z U , l analtica, pelo proposio 2.4.1.
2. (z U ) : exp(l(z)) = z = (z U ) : l0 (z) exp(l(z)) = 1 (z U ) : l0 (z) = z 1 .
3. Considere-se o lacete : [0, 2] C definido por (t) = eit . Se se tivesse U = C , ento
1 Z 1 1 Z 0 1  2i 
1 = ind(0, ) = dz = l (z) dz = l(e ) l(e0 ) = 0.
2i z 2i 2i

Exerccio n27

Seja f : U C uma primitiva da funo : U C definida por (z) = z 1 ; uma tal

primitiva existe por U ser simplesmente conexo. Seja L = f f (1). Ento (z U ) : L0 (z) =
z 1 e L(1) = 0. A funo L uma determinao do logaritmo, pois a funo

g : U C
L(z)
e
z 7
z
tal que

zL0 (z)eL(z) eL(z) exp(L(z)) exp(L(z))

(z U ) : g 0 (z) = 2
= = 0.
z z2
Logo, a funo g constante e, como g(1) = 1, toma sempre o valor 1. Por outras palavras,

(z U ) : exp(L(z)) = z.

A restrio de L a R+ coincide com a funo logaritmo pois ambas tm a mesma derivada e

tomam ambas o valor 0 no ponto 1.

Exerccio n29

1. Seja n
P
n=1 an z a srie de Taylor da funo f no ponto 0; tem-se n = 1 no somatrio pois,
por hiptese, f (0) = 0. Sabe-se, pelo teorema da representao de Cauchy-Taylor, que o raio
de convergncia desta srie de potncias maior ou igual a 1. Por outro lado, como f uma
funo do conjunto D(0, 1) em si mesmo, tem-se
 
X 
n
(z D(0, 1)) :  an z  = |f (z)| < 1.

 
n=1

Ento sabe-se, pelo lema de Schwarz, que

(z D(0, 1)) : |f (z)| |z|

1
Uma tal vizinhana existe, pois l contnua.
Anlise Complexa 20062007 10

e que, para mostrar que se tem |a1 | = 1 e an = 0 quando n N \ {1}, basta mostrar que se
tem |f (z0 )| = |z0 |, para algum z0 D(0, 1) \ {0}. De facto, a igualdade que se quer provar
vlida para qualquer z0 D(0, 1) \ {0} pois, por um lado, j se viu que |f (z0 )| |z0 | e, por
outro lado, se se tivesse |f (z0 )| < |z0 |, pondo w0 = f (z0 ), tem-se
 
|w0 | < |z0 | f 1 (w0 ) > |w0 |. (5)
 

Mas o que foi feito acima com a funo f tambm se pode fazer com a funo f 1 , pelo que
 
(z D(0, 1)) : f 1 (z) |z|,
 

o que est em contradio com (5).

Est ento provado que se f Aut(D(0, 1)) e se f (0) = 0, ento f = f,0 , para algum
C tal que || = 1.
2. Seja G = {fa,b : a, b C e |a|2 |b|2 = 1} e seja f Aut(D(0, 1)); quer-se mostrar que
f G. Seja z0 = f (0). Sabe-se, pela ltima alnea do exerccio 14 do primeiro captulo, que
existe alguma funo g G tal que g(0) = z0 . Ento g 1 f Aut(D(0, 1)) e (g 1 f ) (0) =
g 1 (z0 ) = 0; logo, pela alnea anterior, g 1 f G. Como f = g (g 1 f ) e G um grupo
relativamente composio (pela terceira alnea do exerccio 14 do primeiro captulo), f G.
Exerccio n30
Suponha-se, por reduo ao absurdo, que f no pos-
sui nenhum ponto singular. Ento existe, para cada w
pertencente circunferncia C de centro a e raio R, al-
gum rw R+ tal que f prolongvel a uma funo ana-
ltica fw : D(a, R) D(w, rw ) C. Se w, w0 C e w
z
se z D(w, rw ) D(w0 , rw0 ), ento fw (z) = fw0 (z); isto
uma consequncia do teorema da identidade, pois os discos w0

D(w, rw ) e D(w0 , rw0 ) so conexos e as restries das fun-

es fw e fw0 ao conjunto D(w, rw ) D(w0 , rw0 ) D(a, R),
representado a sombreado na figura ao lado, coincidem
(so ambas idnticas restrio de f ao mesmo conjunto).
a
Considere-se o conjunto
[
U = D(a, R) D (w, rw ) .
wC

Pelo que foi visto acima, faz sentido definir F : U C do seguinte modo: F um prolonga-
mento de f e, para cada z U , se z D(w, rw ) para algum w C, ento F (z) = fw (z). A
funo F analtica, pela proposio 2.4.1, e, pelo teorema da representao de Cauchy-Taylor,
o raio de convergncia da sua srie de Taylor no ponto a maior ou igual ao raio de qualquer
disco de centro a contido em U . Mas U um aberto que contm D(a, R) C = D(a, R), pelo
que U D(a, R0 ), para algum R0 ]R, +[; logo, o raio de convergncia da srie de Taylor da
funo F no ponto a maior do que R. Mas isto impossvel, uma vez que a srie de Taylor
em questo n
n=0 an (z a) (pois F um prolongamento de f ) e o raio de convergncia desta
P

srie de potncias R, por hiptese.

Exerccio n35
Seja M = sup{|f (z)| : Re z, Im z [0, 1]}; M existe pois |f | uma funo contnua e
{z C : Re z, Im z [0, 1]} compacto. Sejam x, y R; ento
f (x + yi) = f ((x [x]) + [x] + yi)
Anlise Complexa 20062007 11

= f (x [x] + yi) (pois f peridica de perodo 1)

= f (x [x] + (y [y])i + [y]i)
= f (x [x] + (y [y])i) (pois f peridica de perodo i).

Logo, pela definio de M , |f (x + yi)| M e deduz-se ento do teorema de Liouville que f

constante.

Exerccio n36

Se z C, tem-se
 
 f (z) 
Re z z
|f (z)| e |f (z)| |e |  z  1. (6)
 
e
Como a funo f / exp inteira e limitada, constante, pelo teorema de Liouville. Seja C
tal que (z C) : f (z)/ exp(z) = . Ento, por (6), || 1.

Exerccio n37

Se f (C) 6= C, ento C \ f (C) um aberto no vazio de C, pelo que contm algum disco
aberto D(a, r). A funo
g : C C
z 7 1/(f (z) a)
uma funo inteira e, para cada z C, |g(z)| = 1/|f (z) a| 1/r. Mas ento g seria
constante, pelo teorema de Liouville, pelo que f tambm seria constante, o que absurdo.

Exerccio n38

Considere-se a funo analtica

g : D(0, 1) C
f (z0 + rz) f (z0 )
z 7
M
Se n
P
n=1 an z for a srie de Taylor de g no ponto 0, ento sabe-se, pelo teorema da representao
de Cauchy-Taylor, que a srie converge em qualquer z D(0, 1); alm disso

   
X   f (z + rz) f (z ) 
0 0
(z D(0, 1)) : 

an z n  = |g(z)| = 
 
 < 1.


n=1
  M 

Logo, pelo lema de Schwarz, sabe-se que

(z D(0, 1)) : |g(z)| |z| (z D(0, 1)) : |f (z0 + rz) f (z0 )| M |z|

M
(z D(z0 , r)) : |f (z) f (z0 )| |z z0 |.
r
se |g(z)| = |z| para algum z D(0, 1) \ {0}, ento, para algum nmero complexo de
mdulo 1, g toma sempre o valor .
Anlise Complexa 20062007 12

Ento se, para algum z D(z0 , r), se tiver

  !
M  f (z) f (z )   z z0 
 
z z0   z z0 
 
0  
|f (z) f (z0 )| = |z z0 | 

=
  g

= ,
r  M  r  r r 
pelo que visto atrs g toma sempre o valor , para algum nmero complexo de mdulo 1, ou
seja, (z D(z0 , r)) : f (z) = f (z0 ) + (z z0 ), com = M/r. Como U conexo, decorre do
teorema da identidade que
(z U ) : f (z) = f (z0 ) + (z z0 ).
Se f : C C for uma funo inteira e se M for um majorante de |f |, ento, fixado z C,
sabe-se que se r R+ for tal que |z| < r tem-se
M
|f (z) f (0)| |z|.
r
M
Logo, |f (z) f (0)| lim |z| = 0.
r+ r
Exerccio n40

1. No possui primitiva, pois se se definir : [0, 2] C por (t) = 1 + eit , ento

Z Z
(z + 1)1 1
f= dz = 2i ind(1, ) = i 6= 0.
z1 2
2. Possui uma primitiva, pois o domnio simplesmente conexo; o segmento de recta que une
o ponto 0 a qualquer outro ponto do domnio est contido neste.
3. Primeira resoluo: Seja log a determinao principal do logaritmo. Ento tem-se, para cada
z C\] , 1]:
1/2 1/2
f (z) =
z1 z+1
1
= (log0 (z 1) log0 (z + 1))
2
o que mostra que a funo z 7 21 (log(z 1) log(z + 1)), de domnio C\] , 1], uma
primitiva de f |C\],1] . Isto sugere que a funo

F : C \ [1, 1] C
1 z1
 
z 7 log
2 z+1
poder ser uma primitiva de f |C\[1,1] . Vai-se comear por mostrar que a definio de F faz
z1
sentido, ou seja, que z C \ [1, 1] = z+1 C \ R . De facto, se z C \ R, ento
z1
z+1
= 1 2/(z + 1) C \ R e se z R \ [1, 1] claro que z1z+1
R+ . Para terminar a
resoluo, basta ver que
1 2 z1
 
0
(z C \ [1, 1]) : F (z) = 2
log0
2 (z + 1) z+1
1 z+1
= 2

(z + 1) z 1
1
= 2 ,
z 1
Anlise Complexa 20062007 13

pelo que F uma primitiva de f |C\[1,1] .

Segunda resoluo: Segundo o teorema 3.2.7, afirmar que a funo do enunciado possui
alguma primitiva equivale a afirmar que o seu integral ao longo de qualquer lacete (cujo trao
esteja contido em C \ [1, 1]) nulo. Mas para um tal lacete tem-se
Z
dz Z
1/2 Z
1/2
2
= 0 dz dz = 0 ind(1, ) = ind(1, ).
z 1 z1 z+1

Visto que o segmento que une 1 a 1 uma parte conexa do complementar do trao de , os
ndices de relativamente a quaisquer dois pontos desse segmento so idnticos, pela terceira
alnea da proposio 3.1.20.
4. Possui uma primitiva, pois o domnio simplesmente co-
nexo. De facto, se Mi

U = C \ ((1 + R+ i) (1 + R+ i))

e se : [a, b] U um lacete, ento, se M R for maior

do que qualquer nmero da forma Im((t)), a funo

H : [0, 1] [0, 1] C 1 1

t 7 (a + t(b a)) uM i

tem a imagem contida em U , pelo que uma homotopia em

U entre e M i (veja-se a figura ao lado). Este ltimo M i

lacete est contido no semi-plano {z C : Im z < 0}, que

simplesmente conexo. Logo, M i homotopicamente nulo
em {z C : Im z < 0} e, por maioria de razo, em U .

Exerccio n41

Se uma tal funo g existir, ento f 0 = g 0 eg = g 0 f , pelo que g ser uma primitiva de f 0 /f .
Seja ento h : U C uma primitiva de f 0 /f ; uma tal funo existe uma vez que U
simplesmente conexo. Ento !0
f eh f 0 f h0 eh
= =0
eh e2h
uma vez que h0 = f 0 /f . Logo, f /eh constante. Seja C tal que f = eh ; ento 6= 0, pelo
que possui algum logaritmo e
f = eh = e+h ,
pelo que basta tomar g = + h.

Exerccio n42

Para mostrar que a funo zeta analtica basta, pelo teorema da convergncia uniforme
de Weierstrass, mostrar que, para cada compacto K contido em {z C : Re z > 1}, a srie de
funes z
n=1 1/n converge uniformemente em K. Seja m = inf{Re z : z K}. Visto que K
P

compacto, m > 1. Como, pela segunda alnea do exerccio 73 do segundo captulo, a srie de
funes que se est a considerar converge uniformemente no conjunto {z C : Re z m}, por
maioria de razo converge uniformemente em K.
Anlise Complexa 20062007 14

Exerccio n45

Para cada M R+ ,
Z M dt Z M f (at) Z M/a
f (t)
f (at) = a dt = dt,
0 t 0 at 0 t
pelo que
Z + dt Z M
dt Z M/a
dt Z + dt
f (at) = lim f (at) = lim f (t) = f (t)
0 t M + 0 t M + 0 t 0 t

Exerccio n46

1. Se, para
R +
cada t ]0, +[, se definir ft : U C por ft (z) = et tz1 , ento (z U ) :
(z) = 0 ft (z) dt e, portanto, pelo teorema 3.2.11,
Z + Z +
0
(z U ) : (z) = ft0 (z) dt = et tz1 log(t) dt.
0 0

2. Se z U , ento,
Z +
(z + 1) = et tz dt
0
Z M
= lim et tz dt
M + 0
h it=M Z M
= lim et tz + et ztz1 dt (pois Re z > 0)
M + t=0 0
Z M
= z lim et tz1 dt
M + 0
= z(z).

3. A demonstrao ser feita por induo. claro que (1) = 0+ et dt = 1 = 0!. Por outro
R

lado, se n N for tal que (n) = (n 1)!, ento resulta da alnea anterior que

(n + 1) = n.(n) = n.(n 1)! = n!.

4. Visto que C \ Z conexo, basta provar a existncia de um prolongamento analtico da fun-

o a C \ Z ; resulta ento do princpio do prolongamento analtico que tal prolongamento
nico.
Resulta da terceira alnea que
n1
Y
(n N)(z U ) : (z + n) = (z). (z + k). (7)
k=0

Para cada n Z , seja Un = {z C : Re z > n} \ {0, 1, 2, . . . , n + 1} e considere-se a funo

n : Un C
(z + n)
z 7 Qn1 ;
k=0 (z + k)

resulta ento de (7) que

(z U ) : n (z) = (z);
Anlise Complexa 20062007 15

logo, a funo n um prolongamento analtico da funo a Un . consequncia do princpio

do prolongamento analtico que se m Z e se m < n, m |Un = n . Faz ento sentido definir
o seguinte prolongamento da funo a C \ Z : se z C \ Z , toma-se n Z tal que
Re(z) > n; ento a z faz-se corresponder n (z). Visto que, para cada n Z , n analtica,
este prolongamento da funo analtico.
5. Tem-se, pela definio de , que, para cada n Z ,
(z n + 1)
lim (z n)(z) = zn
lim (z n)
zn z.(z + 1) (z n 1)(z n)
(1)
=
(1)n (n)!
(1)n
=
(n)!

6. Tem-se
Z +
(z) = et tz1 dt
0
Z + dt
= et tz
0 t
Z + dt
= ent (nt)z
0 t
Z +
=n z
ent tz1 dt.
0

7. Se z U , tem-se

X (z)
(z)(z) = z
n=1 n
Z +
ent tz1 dt (pela alnea anterior)
X
=
n=1 0
N Z +
ent tz1 dt
X
= lim
N N
n=1 0
Z N
+ X
= lim ent tz1 dt
N N 0
n=1
t
Z
e(N +1)t z1
+ e
= lim t dt
N N 0 1 et
Z +
1 eN t z1
= lim t dt
N N 0 et 1
Z + z1 Z + N t
t e
= t
dz lim tz1 dt;
0 e 1 N N 0 et 1
logo, basta provar que
Z + eN t z1
lim t dt = 0,
N N 0 et 1
o que equivale a afirmar que
 + eN t
Z 

z1
lim 

t
t dt = 0.

N N 0
 e 1 
Anlise Complexa 20062007 16

Mas tem-se, para cada N N,

 + eN t eN t z1 
Z   Z M 
 
z1
t dt = lim t dt
  
et 1 et 1
  
 0  M + 0
eN t z1 
Z 
 M
= lim  t dt

M +  0 et 1 
Z M
eN t Re(z)1
lim t dt (pelas proposies 2.3.8 e 3.1.8)
M + 0 et 1
Z +
t
= eN t tRe(z)2 dt
0 et 1
Z +
N t Re(z)2
e t dt,
0

pois
t
(t R+ ) :
< 1.
1 et
Seja = Re(z) 2; ento > 1 e quer-se provar que
Z +
lim eN t t dt = 0. (8)
N N 0

Isto pode ser feito por mais do que um processo.

Seja R+ e seja a R+ tal que a+1 /( + 1) < /4. Ento

Z a Z a a+1
eN t t dt t dt = 2 < (9)
0 0 +1 2
Por outro lado, a funo
[a, +[ R+
t 7 et t
majorada; seja M um seu majorante. Ento,
Z +
N t
Z + e(N 1)a 1
N  1 = e t dt M. e(N 1)t dt = < , (10)
a a N 1 N 1 2
Logo, resulta de (9) e de (10) que, se N for suficientemente grande,
Z +
eN t t dt < .
0

Como isto vlido para cada R+ , est provado que se tem (8).

Pela alnea anterior, sabe-se que

Z + ( + 1)
(N N) : eN t t dt = ;
0 N +1
como + 1 > 0, tem-se (8).
Anlise Complexa 20062007 17

Exerccio n47

Pelo teorema da convergncia

P  uniforme de Weierstrass, f analtica e, para cada k Z+ ,
N (k)
a sucesso de funes n=1 fn converge uniformemente para f (k) . Logo,
N N

N N
f (k) (a) X fn(k) (a) X X
ck = = lim = lim cn,k = cn,k .
k! N N
n=1 k! N N
n=1 n=1

Exerccio n48

Para cada z C \ {1}, seja f (z) = z/(1 z 2 ). A srie de funes do enunciado
P 1 2n
n=0 fn (z), onde, para cada n Z+ e cada z C \ S , fn (z) = f z . Se z D(0, 1), ento

z 
2 4 6 8

f (z) = 2
= z. 1 + z + z + z + z + = z + z3 + z5 + z7 + z9 + ,
1z
pelo que
n n n n
(n Z+ ) : fn (z) = z 2 + z 3.2 + z 5.2 + z 7.2 + . (11)
P k
Para cada n Z+ , seja k=0 cn,k z a srie de Taylor da funo fn no ponto 0. Ento, por (11),
tem-se que

1 se k for o produto de 2n por um nmero mpar

(
(n, k Z+ ) : cn,k =
0 caso contrrio.

Sejam K um compacto contido em D(0, 1) e M = supzK |z|. Observe-se que

 n  n n
  n   z2  |z|2 M2
2 
(z D(0, 1))(n Z+ ) : |fn (z)| = f z  =  =
  
 1 z 2n+1  |1 z 2n+1 | 1 M 2n+1


n n+1
Resulta do critrio da comparao que a srie 2
n=0 M /(1 M
2
P
) converge (basta compa-
n
rar com a srie n=0 M ), pelo que, pelo teste M de Weierstrass, a srie
P 2 P
n=0 fn converge
uniformemente em K. Resulta do exerccio anterior que
X

cn,k z k .
X X
(z D(0, 1)) : fn (z) = (12)
n=0 k=0 n=0

Mas cada k N s pode ser escrito como produto de um nmero mpar por uma potncia de 2
de uma e uma s maneira, pelo que todos os termos de sucesso (cn,k )nZ+ so nulos, com uma
nica excepo, que tem o valor 1; logo, n=0 cn,k = 1. Por outro lado, (n Z+ ) : an,0 = 0.
P

Ento (12) implica que

z
zk =
X X
(z D(0, 1)) : fn (z) = (13)
n=0 k=1 1z

Seja agora K um compacto contido em C \ D(0, 1). Ento

n n n
z2 z 2 (1/z)2

X X X
(z K) : 2n+1
= 2n+1 1
= 2n+1
(14)
n=0 1 z n=0 z n=0 1 (1/z)
Anlise Complexa 20062007 18

Como os nmeros da forma 1/z, com z K, formam um compacto contido em D(0, 1) ento,
pelo que foi visto acima, a convergncia uniforme. Alm disso, resulta de (13) e dos clculos
efectuados em (14) que
n
  z2 1/z 1

X
z C \ D(0, 1) : 2 n+1 = =
n=0 1 z 1 1/z 1z

Finalmente, se K for um compacto de C \ S 1 , ento K a reunio de um compacto de

D(0, 1) com um compacto de C \ D(0, 1); como a convergncia uniforme em cada um daqueles
compactos, uniforme em K.

Exerccio n49

Para ver que a primeira condio implica a segunda, basta observar que, fixado z C, se
se tomar R+ tal que D(z, ) U , ento, visto que o disco D(z, ) simplesmento conexo,
o integral de f ao longo de qualquer lacete cujo trao esteja nele contido nulo.
Suponha-se agora que se verifica a segunda condio do enunciado. Seja z U e seja
z R+ tal que D(z, z ) U e que, para cada lacete cujo trao esteja contido em D(z, z ),
se tenha f = 0. Ento, em particular, se z1 , z2 , z3 D(z, z ) tem-se [z1 ,z2 ][z2 ,z3 ][z3 ,z1 ] f = 0.
R R

Logo, pelo teorema de Morera, f |D(z,z ) analtica. Deduz-se ento da segunda alnea da
proposio 2.4.1 que f analtica.

Exerccio n51

Sejam V = f (U ) e f 1 : V U a inversa de f . A funo f 1 contnua; de facto, se A

1
for um aberto de C, ento (f 1 ) (A) = f (A) e, uma vez que f injectiva e analtica ento,
pelo teorema da funo aberta, f (A) um aberto. Logo, pela proposio 2.1.6, f 1 derivvel.
Como, alm disso, V um aberto de C (novamente pelo teorema da funo aberta), f 1
holomorfa. Logo, analtica, pelo teorema 3.3.4.

Exerccio n55

Uma vez que

v w u u
(v w) = = 0,
x x x y y
que
v w u u
(v w) = = + 0
y y y x x
e que U conexo, v w constante.