Anlise Complexa Resoluo de alguns exerccios do captulo 2

Exerccio n1
Em todas as alneas, o estudo da derivabilidade de f num ponto a C ser feito a partir
da denio de derivada. Sempre que f no for derivvel em a, isto ser provado do seguinte
modo: considera-se uma funo : C C tal que
(z C) : f(z) = f(a) + (z).(z a)
e denem-se dois conjuntos A, B C tais que a pertence aderncia de ambos; em seguida
mostra-se que
lim
za,zA
(z) = lim
za,zB
(z),
de onde se conclui que no pode ser contnua no ponto a.
1. Seja a C; quer-se saber se existe alguma funo : C C contnua em a tal que
(z C) : z
3
+ z
2
= a
3
+ a
2
+ (z).(z a)
(z C) : z
3
a
3
+ z
2
a
2
= (z).(z a)
(z C) : (z a).(z
2
+ az + a
2
) + (z a).(z + a) = (z).(z a).
Basta ento denir (z) = z
2
+ az + a
2
+ z + a. Est ento provado que f derivvel em a e
tem-se f

(a) = (a) = 3a
2
+ 2a.
2. Sejam a C e uma funo de C em C tal que
(z C) : |z| |a| = (z).(z a),
ou seja, tal que
(z C \ {a}) : (z) =
|z| |a|
z a

a
0
S
a
C
a
Comece-se por ver o que acontece quando a C

. Se-
jam C
a
a circunferncia de centro 0 que passa por a (ou
seja, C
a
= {z C : |z| = |a|}) e S
a
a semi-recta com ori-
gem no ponto 0 que passa por a (ou seja, S
a
= R
+
a);
veja-se a gura ao lado. Se z C
a
\ {a}, ento (z) = 0;
logo,
lim
za,zC
a
\{a}
(z) = 0.
Por outro lado, se z S
a
, ento z/a R
+
pelo que, caso z = a, se tem
(z) =
|z| |a|
z a
=
|a|
a

|z/a| 1
z/a 1
=
|a|
a

Mas ento lim
za,zS
a
\{a}
(z) = |a|/a.
Falta estudar a derivabilidade no ponto 0. Seja uma funo de C em C tal que
(z C) : |z| = (z).z.
Deduz-se desta relao que
(z R

+
) : (z) = 1 e (z R

) : (z) = 1,
Anlise Complexa 20062007 2
pelo que
lim
z0,zR

+
(z) = 1 e lim
z0,zR

(z) = 1.
3. Tal como na resoluo da alnea anterior, se a C

e se existir : C C tal que

(z C) : |z|
2
|a|
2
= (z).(z a),
ento
lim
za,zC
a
\{a}
(z) = 0.
Por outro lado, se z S
a
\ {a}, ento z/a R
+
pelo que, caso z = a, se tem
(z) =
|z|
2
|a|
2
z a
=
|a|
2
a

|z/a|
2
1
z a
= a
(z/a 1).(z/a + 1)
z/a 1
= a
_
z
a
+ 1
_
.
Consequentemente, lim
za,zS
a
\{a}
(z) = 2a.
Por outro lado, a funo f derivvel no ponto 0, pois
(z C) : f(z) = |z|
2
= z.z,
e a conjugao uma funo contnua. Alm disso, f

(0) = 0 = 0.
a
V
a
H
a
4. Para estudar a derivabilidade da funo Re num ponto
a C usa-se o mesmo tipo de ideias que nas alneas anteriores,
mas desta vez com os conjuntos H
a
= {z Z : Imz = Ima} e
V
a
= {z C : Re z = Re a}; veja-se a gura ao lado. Um clculo
simples revela que se for uma funo de C em C tal que
(z C) : Re(z) = Re(a) + (z).(z a),
ento (V
a
\ {a}) = {0}. Por outro lado, se z H
a
\ {a}, ento
(z) =
Re(z) Re(a)
z a
=
Re(z a)
Re(z a)
= 1,
pelo que
lim
za,zH
a
\{a}
(z) = 1 e lim
za,zV
a
\{a}
(z) = 0.
5. Seja a C, sejam H
a
e V
a
como na alnea anterior e seja uma funo de C em C tal que
(z C) : | Imz|
2
= | Ima|
2
+ (z).(z a). (1)
Ento (H
a
\ {a}) = {0}, pelo que
lim
za,zH
a
\{a}
(z) = 0.
Por outro lado, se z V
a
\ {a} ento
(z) =
| Imz|
2
| Ima|
2
z a
=
(Im(z) Im(a)).(Im(z) + Im(a))
(Im(z) Im(a))i
= (Im(z) + Im(a))i.
Consequentemente,
lim
za,zV
a
\{a}
(z) = 2 Im(a)i.
Anlise Complexa 20062007 3
Est ento provado que f no derivvel em a caso Ima = 0, ou seja, caso a / R. Caso a R,
ento dene-se
: C C
z
_
(Imz)
2
/(z a) se z = a
0 se z = a.
ento claro que se tem (1) e como
(z C \ {a}) : |(z) (a)| =

(Imz)
2
z a

=
| Im(z a)|
2
|z a|
|z a|,
contnua em a. Tem-se ento f

(a) = (a) = 0.
Exerccio n4
Seja a C. Mostrar que f derivvel em a e que f

(a) = f(a) mostrar que existe alguma

funo : C C contnua em a tal que
(z C) : f(z) = f(a) + (z).(z a)
e que (a) = f(a). Dene-se ento
: C C
z
_
_
_
f(z)f(a)
za
se z = a
f(a) caso contrrio
e resta apenas demonstrar que contnua em a. Como, para cada z C \ {a},
(z) =
f(z) f(a)
z a
=
f((z a) + a) f(a)
z a
=
f(z a).f(a) f(a)
z a
=
f(z a) 1
z a
f(a)
e como lim
h0,h=0
f(h) f(0)
h
= 1, tem-se
lim
za
(z) = f(a) = (a).
Exerccio n8
1. Se x, y R, sejam u(x, y) = Re f(x + yi) = x
2
e v(x, y) = Imf(x + yi) = xy. Se, a, b R,
tem-se
_

_
u
x
(a, b) =
v
y
(a, b)
u
y
(a, b) =
v
x
(a, b)

_
2a = a
0 = b
a = b = 0.
2. Como o conjunto dos pontos do plano que so soluo das equaes de Cauchy-Riemann
{0}, o conjunto dos pontos do plano onde f derivvel ou {0} ou o conjunto vazio
1
pelo
que no existe qualquer aberto U nas condies do enunciado.
1
De facto, uma vez que as derivadas parciais so funes contnuas, o conjunto dos pontos onde f derivvel
{0} pelo corolrio 2.1.2.
Anlise Complexa 20062007 4
Exerccio n9
Se x, y R forem tais que x + yi U, ento sejam u(x, y) = Re f(x + yi) e v(x, y) =
Imf(x + yi). Ento
(x, y R) : x + yi U = g(x + yi) = f(x yi) = u(x, y) v(x, y)i.
Ento, se se denir, u

, v

: U R por u

(x, y) = u(x, y) e v

(x, y) = v(x, y), tem-se

(x, y R) : x + yi U = g(x + yi) = u

(x, y) + v

(x, y)i.
Agora basta observar que se (a, b) U, ento
u

x
(a, b) =
u
x
(a, b) =
v
y
(a, b) =
v

y
(a, b)
e que
u

y
(a, b) =
u
y
(a, b) =
v
x
(a, b) =
v

x
(a, b).
Exerccio n10
Sejam u e v duas funes de R
2
emR e seja, para cada (x, y) R
2
, f(x, y) = u(x, y)+v(x, y)i.
suciente para que f seja holomorfa que u e v sejam parcialmente derivveis em todos os
pontos de R
2
, que
u
x
,
u
y
,
v
x
e
v
y
sejam funes contnuas, que
u
x
=
v
y
e que
u
y
=
v
x
. Para
que f satisfaa a primeira condio do enunciado tambm preciso que
u
x
= Re f

(x + yi) = 3(x
2
y
2
) 4y,
o que implica que, para alguma funo C
1
: R R, se tenha:
(x, y R) : u(x, y) = x
3
3xy
2
4xy + C
1
(y). (2)
Por outro lado, para se ter
v
y
=
u
x
= 3(x
2
y
2
) 4y,
tem-se necessariamente
(x, y R) : v(x, y) = 3x
2
y y
3
2y
2
+ C
2
(x), (3)
para alguma funo C
2
: R R. Para que as funes u e v sejam parcialmente derivveis
relativamente a ambas as variveis e que
u
y
=
v
x
basta que C
1
e C
2
sejam derivveis e que
(x, y R) : 6xy 4x + C
1

(y) = 6xy C
2

(x) C
1

(y) = 4x C
2

(x).
Logo, ter que existir algum nmero a R tal que
(x R) : C
1

(x) = a e 4x C
2

(x) = a.
Haver ento nmeros reais b e c tais que
(x R) : C
1
(x) = ax + b e C
2
(x) = 2x
2
ax + c. (4)
Anlise Complexa 20062007 5
Est ento provado que se se denir u e v de modo a ter-se (2), (3) e (4) ento a funo f
holomorfa e satisfaz a primeira condio do enunciado. Armar que tambm satisfaz a segunda
armar que
0 = f(1 + i) = u(1, 1) + v(1, 1)i
_
6 + a + b = 0
2 a + c = 0

_
b = 6 a
c = a 2.
Logo, basta tomar, por exemplo, a = 0, b = 6 e c = 2 e tem-se ento
((x, y) R
2
) : f(x, y) = x
3
3xy
2
4xy + 6 + (3x
2
y y
3
2y
2
+ 2x
2
2)i
= (x + yi)
3
+ 2i(x + yi)
2
+ 6 2i,
ou seja,
(z C) : f(z) = z
3
+ 2iz
2
+ 6 2i.
Exerccio n11
claro que a primeira condio implica todas as outras.
Para cada (x, y) R
2
, sejam u(x, y) = Re f(x + iy) e v(x, y) = Imf(x + iy). Se u
for constante, ento u/x = u/y 0. Deduz-se das equaes de Cauchy-Riemann que
v/x = v/y 0, pelo que f

0 e, portanto, f constante. De maneira anloga, mostra-

-se que se v for constante, ento f constante. Est ento visto que as trs primeiras condies
so equivalentes.
Se |f| 0, claro que f 0. Por outro lado, se |f| k para algum k R

+
, sabe-se ento
que u
2
+ v
2
= k
2
, de onde se deduz que
_

_
2u
u
x
+ 2v
v
x
= 0
2u
u
y
+ 2v
v
y
= 0

_
u
u
x
v
u
y
= 0
u
u
y
+ v
u
x
= 0
pelas equaes de Cauchy-Riemann. Para cada (a, b) R
2
, tem-se ento:
_
_
_
u(a, b) v(a, b)
v(a, b) u(a, b)
_
_
_
_
_
_
_
_
_
_
u
x
(a, b)
u
y
(a, b)
_
_
_
_
_
_
_
= (0, 0).
Visto que o determinante da matriz (u(a, b))
2
+ (v(a, b))
2
= k
2
= 0,
u
x
(a, b) =
u
y
(a, b) = 0.
Como isto ocorre para qualquer (a, b) R
2
, u constante, ou seja Re f constante.
Se houver (a, b) R
2
\ {(0, 0)} tal que a Re f + b Imf seja constante, ento a funo
Re((a bi)f) constante. J foi visto que ento (a bi)f constante, pelo que f constante.
Exerccio n12
1. Se z H, ento

z i
z + i

< 1 |z i| < |z + i|
|z i|
2
< |z + i|
2
|z|
2
1 + 2 Re(zi) < |z|
2
1 2 Re(zi) (pelo exerccio 3.10 do captulo 1)
|z|
2
1 2 Imz < |z|
2
1 + 2 Imz
Imz > 0.
Anlise Complexa 20062007 6
2. Uma vez que o domnio de f um aberto, para mostrar que f holomorfa basta mostrar
que derivvel, mas isto bvio pois o quociente de duas funes derivveis derivvel.
Se z D(0, 1) e se w H for tal que f(w) = z, ento
f(w) = z
w i
w + i
= z w(1 z) = i(1 + z) w = i
1 z
1 + z
(5)
Isto sugere que se considere a funo
g : D(0, 1) H
z i
1 z
1 + z

preciso comear por ver que esta denio faz sentido, ou seja, que se z D(0, 1), ento
g(z) H. De facto, se z D(0, 1), ento
Im
_
i
1 z
1 + z
_
= Re
_
1 z
1 + z
_
= Re
_
(1 z).(1 + z)
|1 + z|
2
_
= Re
_
1 |z|
2
z + z
|1 z|
2
_
=
1 |z|
2
|1 z|
2
,
pois z + z = 2i Imz; como |z| < 1, est provado que Img(z) > 0. Deduz-se de (5) que
f g = Id
D(0,1)
. Finalmente, um clculo simples mostra que g f = Id
H
, pelo que g = f
1
. Tal
como f, g obviamente holomorfa.
Exerccio n15
Se |r|, |s| < 1, ento as sries

n=1
r
n
e

n=1
s
n
so absolutamente convergentes, pelo que,
pelo teorema 2.2.5, as famlias (r
n
)
nN
e (s
n
)
nN
so somveis. Logo, a famlia (r
p
.s
q
)
p,qN

somvel, pelo teorema 2.2.4.
Se r = 0 ou s = 0, trivial que a famlia (r
p
.s
q
)
p,qN
somvel.
Finalmente, nos restantes casos a (r
p
.s
q
)
p,qN
no somvel pois se o fosse ento as famlias
(r
p
.s)
pN
e (r.s
q
)
qN
seriam somveis, pelo corolrio 2.2.2. Logo, novamente pelo teorema 2.2.5
e porque r, s = 0, as sries

n=1
r
n
e

n=1
s
n
seriam absolutamente convergentes. Mas pelo
menos uma delas no o , pois |r| 1 ou |s| 1.
Exerccio n18
Suponha-se que a famlia (z
i
)
iI
somvel com soma s e seja R

+
. Existe ento alguma
parte nita J de I tal que
(K P
f
(I)) : J K =

iK
z
i

< .
Mas ento, se K P
f
(I)) for tal que J K, tem-se

Re
_
s

iK
z
i
_

<

Re(s)

iK
Re(z
i
)

< .
Logo, a famlia (Re z
i
)
iI
somvel com soma Re s e o mesmo argumento prova que a famlia
(Imz
i
)
iI
somvel com soma Ims. Isto prova no s que a primeira condio implica a segunda
como prova que, caso ambas se veriquem,
Re
_

iI
z
i
_
=

iI
Re z
i
e Im
_

iI
z
i
_
=

iI
Imz
i
.
Caso as famlias (Re z
j
)
jI
e (Imz
j
)
jI
sejam somveis com somas x e y respectivamente
ento, aplicando ambas as alneas da proposio 2.2.3, deduz-se que a famlia (x
j
+ y
j
i)
jI
(=
(z
j
)
jI
) somvel com soma x + yi.
Anlise Complexa 20062007 7
Exerccio n20
Seja z C tal que |z| = 1. Comea-se por escrever
z
n
(1z
n
)(1z
n+1
)
sob a forma A/(1 z
n
)
A/(1 z
n+1
). Um clculo simples revela que se pode tomar A = 1/(1 z). Ento

n=1
z
n
(1 z
n
)(1 z
n+1
)
=

n=1
1/(1 z)
1 z
n

1/(1 z)
1 z
n+1
=
1
(1 z)
2
lim
nN
1/(1 z)
1 z
n
=
_
1/(1 z)
2
1/(1 z) se |z| < 1
1/(1 z)
2
se |z| > 1
=
_
z/(1 z)
2
se |z| < 1
1/(1 z)
2
se |z| > 1.
Exerccio n22
As sries das trs primeiras alneas so sries de nmeros reais maiores do que 0, pelo que
no h distino entre convergncia e convergnca absoluta.
1. Se n N, tem-se
n

n
2
n
1
=
n

n
n

2
n
1
=
n

n
2
n

1 2
n

Ento lim
nN
n
_
n/(2
n
1) = 1/2 < 1, pelo que a srie converge.
2. Se m = 1, tem-se a srie harmnica, que diverge. Nos restante casos, a srie converge, pelo
critrio do integral:
_
+
1
1
x
m
dx = lim
M+
_
x
m+1
m + 1
_
x=M
x=1
=
1
m1

3. Como
limsup
nN
1/

n
2
+ 1
1/n
= lim
nN

n
2
n
2
+ 1
= 1
e como a srie harmnica diverge, a srie dada diverge, pelo critrio da comparao.
4. A srie no converge absolutamente, pelo critrio da comparao:
(n N) :

(1)
n+1
1
m

=
1
m

n

1
n

No entanto, a srie converge (seja qual for m N), pelo critrio de Leibniz.
5. A srie no converge absolutamente, pelo critrio da comparao:
(n N) :

(1)
n n

n
n

=
n

n
n

1
n

No entanto, a srie converge, pelo critrio de Leibniz e porque, pelo exerccio 21.4, a sucesso
(
n

n)
n3
decrescente.
6. A srie converge absolutamente pelo critrio da raiz:
limsup
nZ
+
n

1 + i
2
n

= lim
nZ
+
n
_

2
2
=
1
2

Anlise Complexa 20062007 8

7. Se z = 0, claro que a srie converge e converge absolutamente. Caso contrrio, como se
tem
limsup
nZ
+

z
n+1
/(n + 1)!
z
n
/n!

= lim
nZ
+
|z|
n + 1
= 0,
tambm se conclui que a srie converge absolutamente e, em particular, que converge.
8. Para cada z C e cada m N tem-se:
limsup
nN
n

n
m
z
n
= lim
nN
n

n
m
|z| = |z|,
pelo que a srie em questo converge absolutamente (respectivamente diverge) quando |z| < 1
(resp. |z| > 1). A srie tambm diverge quando |z| = 1 (seja qual for m N), pois nesse caso
(n N) : |n
m
z
n
| = n
m
1, pelo que a sucesso (n
m
z
n
)
nN
no converge para 0.
9. Se z C,
limsup
nN
n

_
z
n
_
n

= lim
nN
|z|
n
= 0,
pelo que a srie converge absolutamente e, em particular, converge.
10. Para cada z C e cada m N tem-se:
limsup
nN
n

z
n
n

= lim
nN
|z|
n

n
= |z|,
pelo que a srie em questo converge absolutamente (respectivamente diverge) quando |z| < 1
(resp. |z| > 1). A srie tambm diverge quando z = 1, pois trata-se da srie harmnica.
Nos restantes casos (ou seja, se |z| = 1 e z = 1) a srie no converge absolutamente (pois

n=1

z
n

n=1
1
n
), mas convergente, pelo critrio de Dirichlet:
a sucesso (1/n)
nN
uma sucesso de variao limitada, por ser uma sucesso real,
montona e limitada;
a sucesso (1/n)
nN
converge para 0;
a sucesso
_
N

n=1
z
n
_
NN
limitada, pois
(N N) :

n=1
z
n

z z
N+1
1 z

2
|1 z|

11. Os nmeros z C para os quais esta srie convergente (respectivamente absolutamente

convergente) so os mesmos para os quais a srie da alnea anterior convergente (resp. abso-
lutamente convergente), pelo critrio de Abel. De facto, como a sucesso
__
1 + 1/n
_
nN
de
variao limitada (pois real, montona e limitada), sempre que uma srie

n=1
z
n
de nmeros
complexos for convergente, a srie

n=1
_
1 + 1/nz
n
tambm o e, reciprocamente, se a srie

n=1
_
1 + 1/nz
n
for convergente ento, como a sucesso
_
1/
_
1 + 1/n
_
nN
de variao limi-
tada (pois, mais uma vez, trata-se de uma sucesso real, montona e limitada), a srie

n=1
z
n
converge.
12. A srie em questo no absolutamente convergente pois tem-se
lim
nN
1/n
1/|z n|
= lim
nN

z
n
1

= 1;
Anlise Complexa 20062007 9
logo, se a srie

n=1
1/|z n| fosse convergente, ento a srie harmnica tambm o seria. Por
outro lado, deduz-se do critrio de Dirichlet que a srie convergente, pois:
1. a sucesso das somas parciais da srie

n=1
(1)
n
s toma os valores 1 e 0, pelo que
limitada;
2. a sucesso
_
1
z n
_
nN
converge para 0;
3. a sucesso
_
1
z n
_
nN
de variao limitada, pois tem-se

n=1

1
z n 1

1
z n

n=1
1
|n
2
+ (1 2z)n + z
2
z|
e
lim
nN
1/|n
2
+ (1 2z)n + z
2
z|
1/n
2
= 1.
Exerccio n23
1. Tem-se, para cada n N,
_
1 +
z
n
_
n
=
n

k=0
_
n
k
__
z
n
_
k
=
n

k=0
n!
k!(n k)!n
k
z
k
.
Logo, se n N e se k Z
+
for tal que k n, tem-se
a
n,k
=
n!
k!(n k)!n
k
=
n.(n 1) . . . (n k + 1)
k!n
k
=
1
k!

n
n

n 1
n

n k + 1
n
;
naturalmente, k > n = a
n,k
= 0. Consequentemente, se se xar k Z
+
ento a sucesso
(a
n,k
)
nk
pode ser obtida como o produto de 1/k! pelo produto de k sucesses crescentes de
nmeros reais maiores do que 0 (as sucesses da forma ((nj)/n)
nN
, com j {0, 1, . . . , k 1})
que convergem para 1, pelo que a sucesso em questo uma sucesso crescente de nmeros
reais maiores do que 0 que converge para 1/k!.
2. Poder-se-ia pensar que basta fazer
lim
nN
_
1 +
z
n
_
n
= lim
nN

k=0
a
n,k
z
k
=

k=0
lim
nN
a
n,k
z
k
=

k=0
z
k
k!
,
mas a segunda igualdade no bvia pois, em geral, dois processos de passagem ao limite no
comutam.
Seja R

+
; quer-se mostrar que existe algum nmero natural p tal que, se n N e n p,
ento

k=0
z
k
k!
_

_
1
z
n
_
n

<

k=0
_
1
k!
a
n,k
_
z
k

< ,
e para se ter isto basta que

k=0
_
1
k!
a
n,k
_
|z|
k
< , (6)
Anlise Complexa 20062007 10
uma vez cada sucesso (a
n,k
)
nN
crescente e convergente para 1/k! e, consequentemente,
(n N)(k Z
+
) :
1
k!
a
n,k
R
+
.
Seja N N tal que

k=N
|z|
k
k!
<

2
;
ento tem-se

k=N
_
1
k!
a
n,k
_
|z|
k
<

2
, (7)
pois cada nmero da forma a
n,k
maior ou igual a 0, pelo que
(n N)(k Z
+
) :
1
k!
a
n,k

1
k!
.
Por outro lado, tem-se
lim
nN
N1

k=0
a
n,k
|z|
k
=
N1

k=0
lim
nN
a
n,k
|z|
k
=
N1

k=0
|z|
k
k!
,
pelo que existe algum p N tal que, se n N e n p, ento
N1

k=0
_
1
k!
a
n,k
_
|z|
k
<

2
(8)
Mas ento (6) resulta de (7) e de (8).
Exerccio n24
Se k = 1, a famlia no somvel, pois o conjunto
_
1
1 + 1
+
1
2 + 2
+ +
1
n + n

n N
_
no majorado, pelo mesmo motivo pelo qual a srie harmnica diverge.
Se k = 2, a famlia tambm no somvel, pois, para cada N N

m+nN
1
(m + n)
2
=
N

p=2

m+n=p
1
(m + n)
2
=
N

p=2
p 1
p
2
e lim
NN

N
p=2
p1
p
2
= +, visto que a srie

p=2
p1
p
2
diverge.
O facto de a famlia no ser somvel quando k = 2 permite dar uma demonstrao alterna-
tiva do facto de no ser somvel quando k = 1. Basta atender ao facto de se ter
(m, n N) :
1
(m + n)
2

1
m + n
e ao corolrio 2.2.1.
Caso k > 2, ento a famlia somvel. Basta ver que se K P
f
(N
2
) e se p N for tal que,
para cada (m, n) K, m + n p, ento

(m,n)K
1
(m + n)
k

m+nN
1
(m + n)
k
=
N

p=2

m+n=p
1
(m + n)
k
=
N

p=2
p 1
p
k

p=2
p 1
p
k

Anlise Complexa 20062007 11
Exerccio n25
O produto de Cauchy da srie por si prpria

n=2
c
n
, onde, para cada n N \ {1},
c
n
=
n

k=1
(1)
k+1
1
m

k
(1)
(n+1k)+1
1
m

n + 1 k
= (1)
n
n

k=1
1
m
_
k.(n + 1 k)

Mas, para cada k {1, 2, . . . , n}, k.(n + 1 k) n

2
, pelo que
|c
n
| =
n

k=1
1
m
_
k.(n + 1 k)

k=1
1
m

n
2
=
n
m

n
2
= n
12/m
.
Como m 2, 1 2/m 1, pelo que |c
n
| 1. Como a sucesso geradora no converge para 0,
a srie

n=2
c
n
diverge.
Exerccio n27
O termo de ndice n (n Z
+
) do produto de Cauchy das duas sries :

p+q=n
z
p
p!
w
q
q!
=
1
n!
n

p=0
n!
p!(n p)!
z
p
w
np
=
1
n!
n

p=0
_
n
p
_
z
p
w
np
=
(z + w)
n
n!

Exerccio n31
No conjunto dado, a srie de funes

n=0
z
n
tem somas parciais uniformemente limitadas,
pois
_
z D(0, 1) \ D(1, )
_
(n Z
+
) :

k=0
z
k

1 z
n+1
1 z

Por outro lado, a sucesso (1/n)

nN
uma sucesso real, montona e converge para 0. Logo,
pelo critrio de Dirichlet a srie dada uniformemente convergente.
Exerccio n32
Vai-se aplicar o critrio de Dirichlet. Seja K um compacto de C \ N.
1. Como, para cada N N,

N
n=1
(1)
n
0 ou

N
n=1
(1)
n
1, a sucesso das somas
parciais da srie

n=1
(1)
n
uniformemente limitada.
2. Seja N N tal que M max
zK
|z|. Ento, se n N for tal que n > M e se z K,
tem-se:

1
z n

1
z n 1

=
1
|z n|.|z n 1|

1
(n |z|)(n + 1 |z|

1
(n M)(n + 1 M)

Como a srie

n=M+1
1
(n M)(n + 1 M)
(9)
Anlise Complexa 20062007 12
converge, resulta do teste M de Weierstrass que a srie

n=M+1

1
zn

1
zn1

converge
uniformemente. A soma da srie uma funo limitada, pois majorada pela soma da
srie (9). Logo, a srie

n=1

1
zn

1
zn1

tambm converge uniformemente e a sua soma

uma funo limitada pois, como K um compacto de C \ N, a funo
K C
z
M

n=1

1
z n

1
z n 1

tambm limitada.
3. Se M for como na alnea anterior, ento
(n N)(z K) : n > M =

1
z n

1
n M

Como lim
nN
1/(n M) = 0, se se denir, para cada n N,
g
n
: K C
z
1
z n
,
a sucesso (g
n
)
nN
converge uniformemente para a funo nula.
Exerccio n35 (alneas pares)
Em cada alnea o raio de convergncia vai ser representado por .
2. Tem-se = +, pois limsup
nN
n

1
n
n
= limsup
nN
1
n
= 0.
4. Tem-se = 2, pois limsup
nN
n

2
n
n = limsup
nN
n

n/2 = 1/2.
6. Tem-se = 1, pois limsup
nN
n

n
2
= limsup
nN
(
n

n)
2
2 = 1.
8. Para cada n N, 1 (n) n, pelo que 1
n
_
(n)
n

n. Logo, lim
nN
n
_
(n) = 1, de
onde resulta que = 1.
10. Primeira resoluo: Tem-se

n=1
z
n
2
=

n=1
a
n
z
n
, onde
(n N) : a
n
=
_
1 se n for um quadrado perfeito
0 caso contrrio.
Ento limsup
nN
n
_
|a
n
| = limsup
nN
a
n
= 1, pelo que = 1.
Segunda resoluo: Para cada z C

, tem-se
lim
nN

z
(n+1)
2
z
n
2

= lim
nN
|z|
2n+1
=
_

_
+ se |z| > 1
1 se |z| = 1
0 se |z| < 1.
Logo, pelo critrio do quociente a srie diverge se |z| > 1 e converge absolutamente se |z| < 1,
pelo que = 1.
Anlise Complexa 20062007 13
Exerccio n39
1. Primeira resoluo: Quer-se mostrar que:
( > 0)(p Z
+
)(m, n Z
+
)(x [0, 1]) : m n p =

j=n
a
j
x
j

< .
Seja > 0. Visto que a srie

n=0
a
n
convergente, pode-se escolher p Z
+
tal que:
(m, n Z
+
) : m n p =

j=n
a
j

< .
Seja n p e, para cada j n, seja S
j
=

j
k=n
a
k
. Ento, se tomar m Z
+
tal que m n e
tomar x [0, 1], tem-se:

j=n
a
j
x
j

j=n
S
j
(x
j
x
j+1
) + S
m
x
m+1

j=n
|S
j
|(x
j
x
j+1
) +|S
m
|x
m+1
<
_
_
m

j=n
x
j
x
j+1
_
_
+ x
m+1

= ((x
n
x
m+1
) + x
m+1
)
.
Visto que a srie converge uniformemente no intervalo [0, 1] para a funo dada na sugesto,
ento esta contnua, pelo que:
lim
x1
f(x) = f(1) = s.
Segunda resoluo: Para cada x [0, 1] e para cada n Z
+
, sejam f
n
(x) = a
n
e g
n
(x) = x
n
.
Ento:
1. a srie

n=0
f
n
uniformemente convergente;
2. a srie

n=0
|g
n
g
n+1
| converge simplesmente para a funo
x

n=0

x
n
x
n+1

n=0
(1 x)x
n
=
_
1 se x [0, 1[
0 caso contrrio,
que limitada;
3. a sucesso (g
n
)
nZ
+
uniformemente limitada.
Logo, pela proposio 2.2.19, a srie de potncias

n=0
a
n
x
n
converge uniformemente em [0, 1].
Pode-se agora terminar a resoluo usando o mesmo argumento que foi empregue no m da
resoluo precedente.
2. O enunciado recproco falso, pois a srie

n=0
(1)
n
diverge mas
lim
x1,x[0,1[

n=0
(1)
n
x
n
= lim
x1,x[0,1[

n=0
(x)
n
= lim
x1,x[0,1[
1
1 + x
=
1
2

Anlise Complexa 20062007 14

3. Armar que as sries

n=0
a
n
e

n=0
b
n
convergem o mesmo que armar que as sries de
potncias

n=0
a
n
z
n
e

n=0
b
n
z
n
convergem quando z = 1; deduz-se ento da proposio de
Abel-Cauchy-Hadamard que se z D(0, 1), ento as sries

n=0
a
n
z
n
e

n=0
b
n
z
n
convergem
absolutamente. Tem-se

n=0
c
n
= lim
x1,x[0,1[

n=0
c
n
x
n
(pelo teorema de Abel)
= lim
x1,x[0,1[

n=0
_
_

p+q=n
a
p
b
q
_
_
x
n
= lim
x1,x[0,1[

n=0

p+q=n
(a
p
x
p
).(b
q
x
q
)
= lim
x1,x[0,1[
_

n=0
a
n
x
n
_
.
_

n=0
b
n
x
n
_
(pela proposio 2.2.11)
=
_
lim
x1,x[0,1[

n=0
a
n
x
n
_
.
_
lim
x1,x[0,1[

n=0
b
n
x
n
_
=
_

n=0
a
n
_
.
_

n=0
b
n
_
(pelo teorema de Abel)
= a.b.
Exerccio n40
1. A srie diverge no ponto 1, pois (n Z
+
) : a
n
1. Por outro lado, a srie converge em
qualquer ponto z tal que |z| < 1/2; de facto, (n Z
+
) : a
n
2
n
(isto mostra-se facilmente
por induo) pelo que se deduz do critrio da raiz que a srie de potncias

n=0
a
n
z
n
converge
quando |z| < 1/2. Logo, 1/2 1.
2. Escreve-se (1 z z
2
)

n=0
a
n
z
n
sob a forma

n=0
c
n
z
n
. Tem-se ento:
c
n
=
_

_
1.a
0
= 1 se n = 0
1.a
1
+ (1)a
0
= 0 se n = 1
1.a
n
+ (1)a
n1
+ (1)a
n2
= 0 se n 2.
3. Dene-se:

1
=
_
1 +

5
_
/2 e
2
=
_
1

5
_
/2;
estes nmeros so as solues da equao 1 z z
2
= 0. Tem-se ento, quando |z| < :

n=0
a
n
z
n
=
1
z
2
+ z 1
=
1
(z
1
)(z
2
)
=
1

5
_
1
z
1

1
z
2
_
=
1

5
_
1

1
1
1 z/
1

2
1
1 z/
2
_
.
Anlise Complexa 20062007 15
Logo, se |z| < min{|
1
|, |
2
|} (e continuando a supor que |z| < ), tem-se:

n=0
a
n
z
n
=
1

5
_

1
1

n=0
(z/
1
)
n

1
2

n=0
(z/
2
)
n
_
(10)
=
1

n=0
_

n1
1

n1
2
_
z
n
=

n=0
(1/
1
)
n+1
(1/
2
)
n+1

5
z
n
.
Visto que 1/
1
=
_
1 +

5
_
/2 e que 1/
2
=
_
1

5
_
/2, obtm-se assim a frmula pretendida
para a
n
e como se sabe que |
1
| < |
2
|, deduz-se de (10) que:
1. se |z| < |
1
|, ento a srie

n=0
a
n
z
n
converge, pois igual soma de duas sries conver-
gentes;
2. se |
1
| < |z| < |
2
|, ento a srie

n=0
a
n
z
n
diverge, pois igual soma de uma srie
convergente com uma srie divergente.
Logo, = |
1
| =
_

5 1
_
/2.
Exerccio n41
1. A armao verdadeira porque armar que o raio de convergncia da srie

n=0
a
n
z
n
innito o mesmo que armar que limsup(
n

a
n
)
n
= 0 e pode-se ento calcular o raio de
convergncia da srie

n=0
a
1
n
z
n
do seguinte modo:
_
limsup
nN
n
_
a
1
n
_
1
=
_
limsup
nN
n

a
n
1
_
1
= liminf
nN
n

a
n
limsup
nN
n

a
n
= 0.
O raio de convergncia tem ento de ser nulo, pois pertence a [0, +].
2. A armao falsa. Basta considerar a sucesso:
a
n
=
_
1 se n for par
n
n
se n for mpar.
3. A armao falsa. Basta considerar a sucesso:
a
n
=
_
1 se n for par
2
n
se n for mpar.
Exerccio n44
1. Que = 1 resulta de se ter (n N) :

(1)
[

n]
n

=
1
n
e de
lim
nN
n

1
n
=
1
lim
nN
n

n
= 1.
Se |z| = 1, ento

(1)
[

n]
n
z
n

=
1
n
, pelo que a srie no converge absolutamente no ponto z.
Anlise Complexa 20062007 16
2. Sejam n N e m = [

n]. Ento
n

k=1
(1)
[

k
]
z
k
= z z
2
z
3
+ z
4
+ + (1)
m
z
n
= z(1 + z + z
2
) + z
4
(1 + z + + z
4
) z
9
(1 + z + + z
6
)
+ (1)
m1
z
(m1)
2
(1 + z + + z
2m2
) + (1)
m
z
m
2
+ + (1)
m
z
n
= z
1 z
3
1 z
+ z
4
1 z
5
1 z
z
9
1 z
7
1 z
+
+ (1)
m1
z
(m1)
2 1 z
2m1
1 z
+ (1)
m
z
m
2
+ + (1)
m
z
n
,
pelo que

k=1
(1)
[

k
]
z
k

2(m1)
|1 z|
+ 2m + 1
2(

n 1)
|1 z|
+ 2

n + 1,
de onde se deduz que a sucesso
__

n
k=1
(1)
[

k ]
z
k
_
/

n
_
nN
limitada.
Pode-se mostrar que se, no enunciado do critrio de Dirichlet, as condies
1. a sucesso das somas parciais da srie

n=1
a
n
limitada;
2. a sucesso (b
n
)
nN
de variao limitada;
3. a sucesso (b
n
)
nN
converge para 0
forem substitudas respectivamente por
1. a sucesso
__
n

k=1
a
k
_
/

n
_
nN
limitada;
2. a srie

n=1

n(b
n
b
n+1
) absolutamente convergente;
3. a sucesso (

nb
n
)
nN
converge para 0,
uma demonstrao semelhante permite concluir que a srie

n=1
a
n
b
n
converge. De facto, se
m N ento sabe-se, pela relao (2.18) da pgina 72, que
m

k=1
a
k
b
k
= a
1
(b
1
b
2
) + (a
1
+ a
2
)(b
2
b
3
) + +
_
m

k=1
a
k
_
(b
m
b
m+1
) +
_
m

k=1
a
k
_
b
m+1
.
Seja, para cada n N, s
n
=

n
k=1
a
k
. Ento, se m, n N forem tais que m n > 1 tem-se
m

k=n
a
k
b
k
=
m

k=1
a
k
b
k

n1

k=1
a
k
b
k
= s
m
b
m+1
s
n1
b
n
+
m

k=n
s
k
(b
k
b
k+1
)
=
s
m

m
m + 1

m + 1b
m+1

s
n1

n 1

n 1
n

nb
n
+
m

k=n
s
k

k(b
k
b
k+1
)
e decorre agora do critrio de Cauchy que a srie

k=1
a
n
b
n
converge.
Anlise Complexa 20062007 17
Basta agora aplicar esta verso modicada do critrio de Dirichlet pondo, para cada n N,
a
n
= (1)
[

n]
z
n
e b
n
= 1/n, para mostrar que a srie dada no enunciado do exerccio converge.
3. Vai-se recorrer verso modicada do critrio de Dirichlet que foi empregue na alnea
anterior. Quer-se ento mostrar que a sucesso ((

n
k=1
(1)
[

k ]
)/

n)
nN
limitada. Para cada
n N, seja
n
=

n
k=1
(1)
[

k ]
. claro que a restrio da sucesso (
n
)
nN
a cada intervalo de
(N, ) da forma [m
2
1, (m+1)
2
1] (m N\ {1}) montona. Seja n N e seja m = [

n].
Ento

|
n
|
m

sup{|
m
2
1
|, |
(m+1)
2
1
|}
m
(11)
Demonstra-se facilmente (por induo) que (m N \ {1}) :
m
2
1
= (1)
m+1
m1. Decorre
ento de (11) que se m > 1 (ou seja, se n > 3) ento

m + 2
m
2.
Exerccio n45
Se D = , basta considerar, por exemplo, a srie de potncias

n=1
n
2
z
n
. No que se segue,
vai-se supor que D no vazio.
A srie de potncias

n=1
z
n
/n tem raio de convergncia 1 e se z for um nmero complexo
de mdulo 1, ento a srie converge no ponto z sse z = 1. Logo, se d for um nmero complexo
de mdulo 1, a srie de potncias

n=1
d
n
z
n
/n =

n=1
(z/d)
n
/n tem a seguinte propriedade:
se z for um nmero complexo de mdulo 1, ento a srie converge no ponto z sse z = d.
Considera-se ento a srie de potncias

n=0

dD
d
n
n
z
n
=

dD

n=0
1
n
_
z
d
_
n
.
Se z for um nmero complexo de mdulo 1 que no pertence a D, ento a srie converge no
ponto z, pois soma de um nmero nito de sries que so todas convergentes no ponto z.
Por outro lado, se d D, ento a srie diverge no ponto d pois soma de um nmero nito de
sries que convergem no ponto d com uma srie que diverge nesse ponto.
Exerccio n49
Tem-se:
(z D(0, )) : f(z)
2
=
_

n=0
a
n
z
n
__

n=0
a
n
z
n
_
=

n=0
_
n

k=0
a
k
a
nk
_
z
n
e
(z D(0, /2)) : f(2z) =

n=0
a
n
(2z)
n
=

n=0
a
n
2
n
z
n
de onde se deduz que:
(n Z
+
) : 2
n
a
n
=
n

k=0
a
k
a
nk
.
Em particular, para n = 0 tem-se a
0
= a
2
0
, pelo que a
0
= 1 pois, por hiptese, a
0
= 0.
Anlise Complexa 20062007 18
Vai-se mostrar por induo que (n N) : a
n
= a
n
1
/n!, ou seja, que
(z D(0, )) : f(z) =

n=0
a
n
z
n
=

n=0
a
n
1
n!
z
n
=

n=0
(a
1
z)
n
n!
= e
a
1
z
.
Para n = 1 trivial. Suponha-se que j se mostrou para um certo n N que a
m
= a
m
1
/m!
quando m n (m N). Ento
2
n+1
a
n+1
=
n+1

k=0
a
k
a
n+1k
= 2a
0
a
n+1
+
n

k=1
a
k
a
n+1k
= 2a
n+1
+
n

k=1
a
n+1
1
k!(n + 1 k)!
= 2a
n+1
+
a
n+1
1
(n + 1)!
n

k=1
(n + 1)!
k!(n + 1 k)!
= 2a
n+1
+
a
n+1
1
(n + 1)!
_
n+1

k=0
(n + 1)!
k!(n + 1 k)!
2
_
= 2a
n+1
+
a
n+1
1
(n + 1)!
((1 + 1)
n+1
2)
= 2a
n+1
+
a
n+1
1
(n + 1)!
(2
n+1
2)
de onde se deduz que a
n+1
= a
n+1
1
/(n + 1)!.
Exerccio n50
Seja f : C C uma funo holomorfa tal que f

= f e que f(0) = 1; quer-se mostrar que

f = exp. Veja-se que
_
f
exp
_

=
exp .f

f. exp

f
2
0,
pois f

= f e exp

= exp. Logo, f/ exp constante e, como em 0 toma o valor f(0)/ exp(0) = 1,

toma sempre o valor 1. Mas isto o mesmo que dizer que f = exp.
Exerccio n51
Para cada n N tem-se
(exp(ir))
3
n
= exp
_
ip3
nq

2
_
= cos
_
p3
nq

2
_
+ i sen
_
p3
nq

2
_
. (12)
1. Por hiptese, p da forma 2k para algum k N. Logo, por (12),
(exp(ir))
3
n
= cos
_
k3
nq

_
.
Caso n q, 3
nq
um nmero natural mpar; consequentemente, cos (k3
nq
) igual a 1 se k
par e igual a 1 se k mpar. Em qualquer dos casos, a srie

n=q
1
n
z
3
n
_
=

n=q
1
n
_
diverge,
pelo que a srie

n=1
1
n
z
3
n
diverge.
Anlise Complexa 20062007 19
2. Por hiptese, p da forma 2k + 1 para algum k N. Se n N for tal que n q, ento
p3
nq
/2 = k3
nq
+ 3
nq
/2, pelo que cos(p3
nq
/2) = 0; consequentemente, por (12),
(exp(ir))
3
n
= i sen
_
k3
nq
+ 3
nq
/2
_
.
De facto,
(exp(ir))
3
n
= i(1)
nq
sen (k + /2) ; (13)
isto verdade para n = q, pois ento
(exp(ir))
3
n
= i sen (k + /2)
e, por outro lado, se, para um certo n q, se tiver (13), ento
(exp(ir))
3
n+1
= i sen
_
3
n+1q
(k + /2)
_
= i sen
_
3.3
nq
(k + /2)
_
= i sen
_
2.3
nq
(k + /2)
_
cos
_
3
nq
(k + /2)
_
+
+ i cos
_
2.3
nq
(k + /2)
_
sen
_
3
nq
(k + /2)
_
= i sen
_
3
nq
(k + /2)
_
= i(1)
nq+1
sen (k + /2) .
Logo,

n=q
1
n
z
3
n
= i sen (k + /2)

n=q
(1)
nq
n
e esta srie converge, pelo que a srie

n=1
1
n
z
3
n
tambm converge.
Exerccio n55
Seja z C; quer-se mostrar que existe algum w C tal que sen(w) = z. Mas
sen(w) = z e
iw
e
iw
= 2iz
_
e
iw
_
2
2ize
iw
1 = 0.
Considere-se ento a equao X
2
2izX1 = 0. Pelos clculos atrs efectuados, se u for uma
soluo desta equao e se w C for tal que e
iw
= u, ento sen(w) = z. Seja ento u uma
soluo da equao. Tem-se necessariamente que u = 0 e existe ento algum w

C tal que
e
w

= u. Se se denir w = iw

, ento w

= iw, pelo que e

iw
= u.
Pode-se demonstrar pelo mesmo mtodo que cos(C) = C, ou ento recorrer ao que j se
demonstrou e relao (2.23) da pgina 92.
Exerccio n56
Vai-se comear por mostrar que a restrio da funo seno a U injectiva. Sejam z
1
e
z
2
dois elementos do conjunto em questo tais que sen(z
1
) = sen(z
2
); quer-se mostrar que
z
1
= z
2
. Sabe-se, pelo exerccio 53, que z
1
z
2
= 2n ou que z
1
+ z
2
= 2n, para algum
n Z. Mas, visto que Re(z
1
), Re(z
2
) ] /2, /2[, sabe-se que Re(z
1
z
2
) ] , [ e que
Re(z
1
+ z
2
) ] 2, 0[. Logo, z
1
+ z
2
no pode ser um elemento de 2Z e z
1
z
2
s
pode ser da forma 2n com n Z quando se tiver n = 0, ou seja, quando z
1
= z
2
.
Quer-se agora mostrar que sen(U) = C\ (] , 1] [1, +[). Seja z C; vai-se comear
por mostrar que existe algum w C tal que Re w [/2, /2] e que sen(w) = z. Seja w

C
Anlise Complexa 20062007 20
tal que sen(w

) = z (um tal w

existe pelo exerccio 55) e seja n Z tal que Re(w

+ 2n)
[/2, 3/2[. Tome-se
w =
_
w

+ 2n se w

+ 2n [/2, /2[
(w

+ 2n) caso contrrio.

Para completar a resoluo do exerccio, basta mostrar que, dados z, w C tais que sen(w) = z
e Re w [/2, /2], se tem:
z ] , 1] [1, +[ Re w = /2. (14)
De facto, se Re w = /2, ento
sen(w) = sen(Re w + i Imw)
= sen(Re w) cos(i Imw) + cos(Re w) sen(i Imw)
= cos(i Imw)
=
exp(Imw) + exp(Imw)
2
=
exp(Imw) + 1/ exp(Imw)
2
e, visto que exp(Imw) R

+
, (exp(Imw) +1/ exp(Imw))/2 [1, +[, ou seja, z ] , 1]
[1, +[. Por outro lado, se Re w ] /2, /2[, ento, visto que
sen(w) = sen(Re w)
exp(Imw) + 1/ exp(Imw)
2
+ cos(Re w) sen(i Imw),
h duas possibilidades
Imw = 0 : ento sen(w) = sen(Re w) ] 1, 1[;
Imw = 0 : ento sen(i Imw) =
exp(Imw) exp(Imw)
2i
=
exp(Imw) exp(Imw)
2
i iR

,
pelo que sen(w) R.
Exerccio n61
Se z C, ento
| cos z|
2
+| sen z|
2
= cos(z).cos(z) + sen(z).sen(z)
= cos(z). cos (z) + sen(z). sen (z)
= cos (z z)
= cos(2i Imz)
= cosh(2 Imz).
Se z R, ento claro que cos z, sen z R. Reciprocamente, seja z C tal que cos z, sen z
R. Ento
1 = cos(z)
2
+ sen(z)
2
= | cos z|
2
+| sen z|
2
= cosh(2 Imz). (15)
Mas se x R, ento, uma vez que
cosh x = 1 +
x
2
2
+
x
4
24
+ ,
claro que cosh x = 1 se e s se x = 0. Consequentemente, deduz-se de (15) que Imz = 0, ou
seja, que z R.
Anlise Complexa 20062007 21
Exerccio n62
Sejam, para cada a R,
h
a
= {t + ai : t R} e v
a
= {a + ti : a R}.
Quer-se ento determinar as imagens de cada recta h
a
e v
a
pelas funes exponencial, seno e
coseno.
Se t R, ento
e
t+ai
= e
t
(cos(a) + sen(a)i).
Como {e
t
: t R} = R

+
e como cos(a) +sen(a)i um nmero complexo diferente de 0, exp(h
a
)
a semi-recta aberta com origem em 0 que pasa por cos(a) +sen(a)i. Por outro lado, se t R,
ento
e
a+ti
= e
a
(cos(t) + sen(t)i).
Logo, exp(v
a
) a circunferncia de centro 0 e raio e
a
.
Se t R, ento
sen(t + ai) = sen(t) cos(ai) + cos(t) sen(ai) = sen(t) cosh(a) + cos(t) senh(a)i.
Logo, se a = 0, sen(h
a
) = {sen(t) : t R} = [1, 1] e, se a = 0, sen(h
a
) a elipse
_
_
_
x + yi C :
_
x
cosh(a)
_
2
+
_
y
senh(a)
_
2
= 1
_
_
_
.
Por outro lado, se t R, ento
sen(a + ti) = sen(a) cos(ti) + cos(a) sen(ti) = sen(a) cosh(t) + cos(a) senh(t)i.
Logo, h cinco possibilidades:
a Z: ento sen(a+ti) = cos(a) senh(t)i = senh(t)i, pelo que sen(v
a
) a recta dos nmeros
imaginrios puros;
a 2Z +

2
: ento sen(a + ti) = cosh(t), pelo que sen(v
a
) a semi-recta fechada [1, +[;
a 2Z +
3
2
: ento sen(a+ti) = cosh(t), pelo que sen(v
a
) a semi-recta fechada ] , 1];
0 < sen(a) < 1: ento sen(v
a
) o ramo de hiprbole
_
_
_
x + yi C : x > 0
_
x
sen(a)
_
2

_
y
cos(a)
_
2
= 1
_
_
_
;
1 < sen(a) < 0: ento sen(v
a
) o ramo de hiprbole
_
_
_
x + yi C : x < 0
_
x
sen(a)
_
2

_
y
cos(a)
_
2
= 1
_
_
_
.
A determinao de cos(h
a
) e de cos(v
a
) pode ser feito pelo mesmo mtodo ou ento recor-
rendo ao facto de set ter (z C) : cos(z) = sen
_

2
+ z
_
.
Anlise Complexa 20062007 22
Exerccio n65
1. Se z pertencer ao domnio da funo tangente, ento z + tambm pertence e
tan(z + ) =
sen(z + )
cos(z + )
=
sen(z)
cos(z)
= tan(z),
pelo que um perodo da funo tangente e, portanto, os mltiplos inteiros de so perodos
da funo tangente. Por outro lado, se t for um perodo da funo tangente, ento tan(t) =
tan(0 + t) = tan(0) = 0. Mas, por outro lado,
tan(t) = 0
sen(t)
cos(t)
= 0 sen(t) = 0 t Z.
2. Tem-se
tan(z) = tan(w)
sen(z)
cos(z)
=
sen(w)
cos(w)
sen(z) cos(w) cos(z) sen(w) = 0
sen(z w) = 0
z w Z.
Exerccio n67
Para cada n Z
+
e para cada z C \ {0} tem-se:

(1)
n+1
2n+3
z
2n+3

(1)
n
2n+1
z
2n+1

=
2n + 1
2n + 3
|z|
2
.
Visto que a sucesso
2n+1
2n+3
|z|
2
converge para |z|
2
, deduz-se que a srie converge absolutamente
quando |z| < 1 e diverge quando |z| > 1; logo, o raio de convergncia igual a 1. Alternativa-
mente, se se escrever a srie dada sob a forma

n=0
a
n
z
n
, ento tem-se:
a
n
=
_
_
_
(1)
k
2k+1
se n = 2k + 1 com k Z
+
0 se n for par.
Sendo assim tem-se:
n
_
|a
n
| =
_
1
n

n
se n for mpar
0 se n for par.
Ento
n
_
|a
n
| 1 para qualquer n N e, por outro lado, a subsucesso de (
n
_
|a
n
|)
n
formada
pelos termos de ordem mpar converge para 1. Deduz-se que limsup
n
n
_
|a
n
| = 1 e, portanto,
que o raio de convergncia igual a 1. uma consequncia imediata da continuidade da funo
tangente e de se ter tan 0 = 0 que existe algum > 0 tal que |z| < = | tan z| < 1. Para
mostrar que as funes z a(tan z) e z z, de domnio D(0, ), so idnticas, suciente
que se mostre que h algum ponto do domnio onde ambas as funes tomam o mesmo valor
(o que ocorre obviamente no ponto 0) e que as funes derivadas so idnticas. Mas tem-se:
|z| < 1 = a

(z) = 1 z
2
+ z
4
z
6
+ = 1 + (z
2
) + (z
2
)
2
+ (z
2
)
3
+ =
1
1 + z
2

Anlise Complexa 20062007 23

Tem-se ento, quando |z| < :
(a tan)

(z) = a

(tan z) tan

(z)
=
1 + (tan z)
2
1 + (tan z)
2
= 1.
Exerccio n70
1. Sejam z C \ R

e w = log z. Pela denio da determinao principal do logaritmo, isto

signica que exp(w) = z e que Imw ] , [. Mas ento
z = exp(w) = exp(Re w + i Imw) = exp(Re w). exp(i Imw).
Como, por outro lado, z = |z|. exp(i(z)), tem-se exp(Re w) = |z| (ou seja, Re w = log(|z|))
e Im(w) (z) 2Z. Mas como os nmeros Im(w) e (z) esto ambos em ] , , tem-se
forosamente Im(w) = (z), pelo que
log(z) = w = Re(w) + i Im(w) = log(|z|) + i(z).
2. Como (z C \ R

) : exp(log(z)) = z, tem-se, para cada z C \ R

,
exp

(log(z)). log

(z) = 1 exp(log(z)). log

(z) = 1 z. log

(z) = 1 log

(z) = z
1
.
3. Mostra-se facilmente por induo que
(n N)(z C \ R

) : log

(z) = (n 1)!(1)
n+1
z
n
.
Logo, se z
0
C \ R

a srie de Taylor de log em z

0

n=0
log
(n)
(z
0
)
n!
(z z
0
)
n
= log(z
0
) +

n=1
(1)
n+1
nz
0
n
(z z
0
)
n
.
4. Seja, para cada z D(z
0
, |z
0
|), l(z) a soma da srie de Taylor de log no ponto z
0
(cujo raio
de convergncia |z
0
|); ento,
l

(z) =

n=1
(1)
n+1
nz
0
n
n(z z
0
)
n1
=
1
z
0

n=1
_
z
0
z
z
0
_
n1
=
1
z
0

1
1 (z
0
z)/z
0
= z
1
.
Como l e log |
D(z
0
,|z
0
|)
tm a mesma derivada e tomam o mesmo valor no ponto z
0
, so iguais.
5. Pela alnea anterior,
(z D(1, 1)) : log(z) =

n=1
(1)
n+1
n
(z 1)
n
.
Anlise Complexa 20062007 24
Seja M = sup
zK
|z| e seja N

um nmero natural maior do que M e maior ou igual a N.

Tem-se
(z K)(n N) : n N

_
1 +
z
n
_
1

=
|z|
n

M
N

< 1.
Logo, se z K e se n for um nmero natural maior ou igual a N

, tem-se

n. log
_
1 +
z
n
_
z

n.
_
z
n

1
2

_
z
n
_
2
+
1
3

_
z
n
_
3

1
4

_
z
n
_
4
+
_
z

z
2
2n
+
z
3
3n
2

z
4
4n
3
+

M
2
n
+
M
3
n
2
+
M
4
n
3
+
= n
M
2
/n
2
1 M/n
=
M
2
n M

Como a sucesso (M
2
/(n M))
nN
converge para 0 ento, dado > 0, existe algum nmero
natural p N

tal que
(n N) : n p =
M
2
n M
< .
Ento, pelos clculos anteriores, se n p e se z K tem-se:

n. log
_
1 +
z
n
_
z

< .
6. Seja K um compacto de C e seja N como no enunciado da alnea anterior. Para cada nmero
natural n N e para cada z K, seja l
n
(z) = n. log(1 + z/n). A alnea anterior mostra que
(l
n
)
nN
converge uniformemente para a funo identidade. Quer-se deduzir que (exp l
n
)
nN
converge uniformemente para exp |
K
; uma vez isto feito, o problema estar resolvido, pois, para
z K e para cada nmero natural n N,
exp(l
n
(z)) = exp (n. log(1 + z/n)) = exp(log(1 + z/n))
n
=
_
1 +
z
n
_
n
.
Seja S = sup
zK
| exp(z)|. Se z K e se n um nmero natural maior ou igual a N, ento
| exp(z) exp(l
n
(z))| = | exp(z)|. |1 exp(l
n
(z) z)| S. |1 exp(l
n
(z) z)| .
Como a sucesso (l
n
)
nN
converge uniformemente para a funo identidade em K, para n
sucientemente grande tem-se |l
n
(z) z| 1 quando z K. Mas ento sabe-se, recorrendo ao
exerccio 48 (no caso particular em que n = 1) que
|1 exp(l
n
(z) z)| 2|l
n
(z) z|.
Est ento provado que, para n sucientemente grande, se tem
(z K) : | exp(z) exp(l
n
(z))| 2S|l
n
(z) z|.
Como a sucesso (l
n
)
nN
converge uniformemente para a funo identidade em K, isto prova
que (exp l
n
)
nN
converge uniformemente para exp |
K
.
Anlise Complexa 20062007 25
Exerccio n73
1. Tem-se
(n N)(z C) :

1
n
z

=
1
|e
z log n
|
=
1
e
log nRe z
=
1
n
Re z
e verica-se pelo critrio do integral que a srie

n=1
1/n
Re z
converge se Re z > 1.
2. Se Re z 1+, ento os clculos da alnea anterior mostram que |1/n
z
| 1/n
1+
. Deduz-se
ento do teste M de Weierstrass e da convergncia da srie

n=1
1/n
1+
que a srie

n=1
1/n
z
converge uniformemente no semi-plano dado.
3. Seja M R

+
; quer-se mostrar que existe algum R

+
tal que se s ]1, 1 + [, ento
(s)(= |(s)|) > M. Seja N N tal que

N
n=1
1/n > M. Visto que
lim
s1
N

n=1
1
n
s
=
N

n=1
1
n
> M,
existe algum R

+
tal que
(s ]1, 1 + [) :
N

n=1
1
n
s
> M.
Logo,
(s ]1, 1 + [) :

n=1
1
n
s
>
N

n=1
1
n
s
> M.
Exerccio n74
Tem-se, para cada n N,
n.
__
n
n + 1
_
z
1
_
=
_
1
1+1/n
_
z
1
1/n
=
f(1/n) f(0)
1/n
,
onde f : [0, 1] C a funo denida por
f(w) =
_
1
1 + w
_
z
.
Mas esta funo derivvel e a sucesso dada converge ento para f

(0) = z.
Exerccio n76
1. Primeira resoluo: Se z
0
C, ento
(z C) : z
n
= ((z z
0
) + z
0
)
n
=
n

k=0
_
n
k
_
z
0
nk
(z z
0
)
k
.
Logo, se se denir a sucesso (a
k
)
kZ
+
por
(k Z
+
) : a
k
=
_

_
_
n
k
_
z
0
nk
se k n
0 caso contrrio,
Anlise Complexa 20062007 26
ento tem-se (z C) : z
n
=
+

k=0
a
k
(z z
0
)
k
.
Segunda resoluo: Pode-se resolver o problema por induo. Se n N, seja f
n
: C C a
funo denida por f
n
(z) = z
n
. A funo f
1
a funo identidade, pelo que analtica. Por
outro lado, se, para algum p N, a funo f
p
for analtica ento, como f
p+1
= f
p
.f
1
e como o
produto de duas funes analticas analtica, f
p+1
uma funo analtica.
2. Primeira resoluo: Seja z
0
C \ {z}. Ento tem-se:
f(z) =
z 1/2
1 z/2
=
(z z
0
) + (z
0
1/2)
1 z
0
/2 (z z
0
)/2
=
1
1 z
0
/2

(z z
0
) + (z
0
1/2)
1 (z z
0
)/(2 z
0
)

Logo, se |z z
0
| < |2 z
0
|, tem-se
f(z) =
1
1 z
0
/2
((z z
0
) + (z
0
1/2))

n=0
_
z z
0
2 z
0
_
n
= 2 ((z z
0
) + (z
0
1/2))

n=0
1
(2 z
0
)
n+1
(z z
0
)
n
=
z
0
1/2
1 z
0
/2
+ 2

n=1
_
z
0
1/2
(2 z
0
)
n+1
+
1
(2 z
0
)
n
_
(z z
0
)
n
=
z
0
1/2
1 z
0
/2
+ 2

n=1
_
z
0
1/2
2 z
0
+ 1
_
(z z
0
)
n
(2 z
0
)
n
=
z
0
1/2
1 z
0
/2
+ 3

n=1
1
(2 z
0
)
n+1
(z z
0
)
n
.
Segunda resoluo: Basta observar que o quociente de duas funes analticas uma funo
analtica.
3. Seja f a funo em questo. Para cada z C

tem-se
f(z) =
cos(z) 1
z
2
=
+

n=1
(1)
n
(2n)!
z
2n2
.
Como esta igualdade tambm se verica quando z = 0, est provado que a funo f repre-
sentada em C por uma srie de potncias. Logo, analtica, pelo teorema 2.4.1.
Exerccio n77 (alneas pares)
2. Seja f a funo em questo. Tem-se, para cada z D(0, 1), f(z) = (z 1)
2
, f
(1)
(z) =
(2)(z 1)
3
, f
(2)
(z) = 6(z 1)
4
e mais geralmente
(n N)(z D(0, 1)) : f
(n)
(z) = (1)
n
(n + 1)!(z 1)
n2
,
o que pode ser demonstrado por induo. Logo, a srie de Taylor

n=0
f
(n)
(0)
n!
z
n
=

n=0
(n + 1)z
n
.
O seu raio de convergncia igual a 1, como se pode deduzir, por exemplo, do critrio do
quociente.
Anlise Complexa 20062007 27
4. Seja f a funo em questo. Para cada z D(0, 1) tem-se
f(z) = z
2
.(1 z + z
2
z
3
+ z
4
z
5
+ ).(1 z + z
2
z
3
+ z
4
z
5
+ )
= z
2
.(1 2z + 3z
2
4z
3
+ ) (produto de Cauchy)
= z
2
2z
3
+ 3z
4
4z
5
+
e o raio de convergncia desta srie de potncias igual a 1.
6. Para cada z C
(cos z)
2
=
1 + cos(2z)
2
=
1
2

_
1 +

n=0
(1)
n
(2n)!
(2z)
2n
_
= 1 +

n=1
(1)
n
2
2n1
(2n)!
z
2n
.
O raio de convergncia desta srie de potncias igual a +.
Exerccio n79
Uma tal funo no existe, pois se existisse o raio de convergncia da srie potncias que
representa a funo f numa vizinhana de 0 teria raio de convergncia no nulo. Mas a srie
em questo a srie de Taylor de f em 0, ou seja,

n=0
f
(n)
(0)
n!
z
n
=

n=0
n!z
n
e o raio de convergncia desta srie de potncias 0.
Exerccio n81
1. visto nos cursos de Anlise Real que se I for um intervalo de R no vazio nem reduzido a um
ponto e se (f
n
)
nN
for uma sucesso de funes derivveis de I em R que converge pontualmente
para uma funo f : I R, ento condio suciente para que f seja derivvel que a sucesso
(f

n
)
nN
seja uniformemente convergente para uma funo g : I R; caso esta condio seja
vericada, ento f

= g. Deduz-se facilmente que o enunciado vlido se a funo f tomar

valores em C (basta aplicar o resultado anterior a Re(f) e a Im(f)). Aplicando este resultado
srie

n=0
e
n
e
in
2
x
(ou, mais correctamente, sua sucesso das somas parciais) v-se que a
funo f derivvel e que
(x R) : f

(x) =

n=0
e
n
in
2
e
in
2
x
,
pois a srie

n=0
e
n
in
2
e
in
2
x
converge uniformemente, pelo teste M de Weierstrass
2
. Analoga-
mente (ou, melhor ainda, usando induo), v-se que
(k N)(x R) : f
(k)
(x) =

n=0
e
n
i
k
n
2k
e
in
2
x
. (16)
2
Veja-se que se n N e x R, ento |e
n
in
2
e
in
2
x
| = e
n
n
2
e que a srie

n=0
e
n
n
2
converge.
Anlise Complexa 20062007 28
2. Se o raio de convergncia fosse maior do que zero, ento, para algum x R

+
, a srie

n=0
f
(n)
(0)
n!
x
n
seria absolutamente convergente, ou seja, a srie

n=0

f
(n)
(0)
n!

x
n
seria conver-
gente. Mas

f
(n)
(0)
n!

k=0
e
k
i
k
k
2n

n!
=

k=0
e
k
k
2n
n!

Ento, se N Z
+
, tem-se

n=0

f
(n)
(0)
n!

x
n
=

n=0

k=0
e
k
k
2n
n!
x
n

n=0
N

k=0
e
k
k
2n
n!
x
n
=
N

k=0

n=0
e
k
k
2n
n!
x
n
=
N

k=0
e
k

n=0
(k
2
x)
n
n!
=
N

k=0
e
k
e
k
2
x
=
N

n=0
e
n
e
n
2
x
.
Isto impossvel, pois a srie

n=0
e
n
e
n
2
x
diverge, visto que lim
nN
e
n
e
n
2
x
= lim
nN
e
n
2
xn
=
+.
Exerccio n82
1. Pelo mesmo processo que na resoluo da primeira alnea do exerccio anterior, v-se que f
indenidamente derivvel e que:
(k N)(x R) : f
(k)
(x) =

n=0
a
n
(in)
k
e
inx
. (17)
2. Fixe-se x
0
R; quer-se mostrar que existe algum intervalo aberto I de R tal que x
0
I e
que
(x I) :

k=0
f
(k)
(x
0
)
k!
(x x
0
)
k
= f(x).
De facto, tem-se

k=0
f
(k)
(x
0
)
k!
(x x
0
)
k
=

k=0
1
k!

n=0
a
n
(in)
k
e
inx
0
(x x
0
)
k
(por (16))
=

n=0

k=0
1
k!
a
n
(in)
k
e
inx
0
(x x
0
)
k
(como ser visto)
=

n=0
a
n
e
inx
0
_

k=0
1
k!
(in(x x
0
))
k
_
=

n=0
a
n
e
inx
0
e
in(xx
0
)
Anlise Complexa 20062007 29
=

n=0
a
n
e
inx
= f(x).
Para terminar a resoluo, falta justicar a segunda das igualdades anteriores ou, mais preci-
samente, mostrar que esta vlida em algum intervalo aberto I de R tal que x
0
I. Para tal,
basta que se mostre que, para algum intervalo aberto I de R tal que x
0
I, a famlia
_
1
k!
a
n
(in)
k
e
inx
0
(x x
0
)
k
_
((k,n)Z
+
2
)
somvel (para cada x I) ou, o que equivalente, que a famlia
_

1
k!
a
n
(in)
k
e
inx
0
(x x
0
)
k

_
((k,n)Z
+
2
)
=
_
1
k!
|a
n
|(n|x x
0
|)
k
_
((k,n)Z
+
2
)
somvel. De facto, basta tomar I =]x
0
1, x
0
+ 1[ e observar que se x I, ento, para
qualquer parte nita M de Z
+
2
, se tem

(n,k)M
1
k!
|a
n
|(n|x x
0
|)
k

n=0
Ce
n

k=0
1
k!
(n|x x
0
|)
k
= C

n=0
e
n
e
n|xx
0
|
= C

n=0
_
e
|xx
0
|1
_
n
=
C
1 e
|xx
0
|1

Exerccio n85
Seja g : C C a funo denida por g(z) = z
5
+z e seja V um aberto de C que contenha
0 e onde g

nunca se anule (por exemplo, V = D(0, 1/

4

5)). Ento g|
V
localmente bianaltica,
pelo que existe alguma vizinhana aberta W de 0 contida em V tal que g|
W
bianaltica. Sejam
U = g(W) e f = g|
W
1
. Ento g f = Id
U
, ou seja,
(z U) : f(z)
5
+ f(z) = z.
Exerccio n86
1. Para cada z C \ 2iZ tem-se
f(z) =
z
e
z
1
=
z
z + z
2
/2! + z
3
/3! +
=
1
1 + z/2! + z
2
/3! +

Mas esta igualdade tambm valida quando z = 0. Logo, f quociente de duas funes
analticas, pelo que uma funo analtica.
Anlise Complexa 20062007 30
2. Se z C \ 2iZ, ento
z
2i
cot
_
z
2i
_

z
2
=
z
2i

cos(z/(2i))
sen(z/(2i))

z
2
=
z
2i

(e
z/2
+ e
z/2
)/2
(e
z/2
e
z/2
)/(2i)

z
2
=
z
2

e
z/2
+ e
z/2
e
z/2
e
z/2

z
2
=
z
2

_
e
z
+ 1
e
z
1
1
_
= f(z).
3. Resulta das alneas anteriores que, para algum r R

+
,
(z D(0, r) \ {0}) : f(z) =

n=0
B
n
n!
z
n
=
z
2i
cot
_
z
2i
_

z
2
, (18)
o que implica que
(z D(0, r) \ {0}) : B
0
+ (B
1
+ 1/2)z +
B
2
2!
z
2
+
B
3
3!
z
3
+ =
z
2i
cot
_
z
2i
_
.
Mas a funo
D(0, r) \ {0} C
z
z
2i
cot
_
z
2i
_
par, pelo que os coecientes de ordem mpar da srie de potncias
B
0
+ (B
1
+ 1/2)z +
B
2
2!
z
2
+
B
3
3!
z
3
+
so nulos, ou seja, B
1
= 1/2 e B
n
= 0 quando n for mpar e maior do que 1.
4. Seja r como na alnea anterior. Resulta da denio da funo f que, para cada z D(0, r),
f(z).(e
z
1) = z
_

n=0
B
n
n!
z
n
_
.
_

n=1
z
n
n!
_
= z

n=1
_
n1

k=0
B
k
k!

1
(n k)!
_
z
n
= z
Mas ento, para cada n N,
n

k=0
B
k
k!

1
(n + 1 k)!
= 0
n

k=0
(n + 1)!
k!(n + 1 k)!
B
k
= 0

k=0
_
n + 1
k
_
B
k
= 0
5. Por um lado, B
0
= 1 Q. Por outro lado, se j se tiver provado, para algum n N, que
B
0
, B
1
, . . . , B
n1
Q, ento, uma vez que, pela alnea anterior,
B
n
=
n1

k=0
_
n + 1
k
_
B
k
n + 1
,
Anlise Complexa 20062007 31
B
n
Q.
6. Se a sucesso (B
n
)
nZ
+
fosse limitada, ento o raio de convergncia da srie de potncias

n=0
B
n
n!
z
n
seria +; de facto, se M fosse um majorante de (|B
n
|)
nZ
+
, tinha-se que, para cada
n Z
+
e para cada z C,

B
n
n!
z
n

M|z|
n
/n! e deduzir-se-ia ento do critrio da comparao
que a srie

n=0
B
n
n!
z
n
converge. A funo
g : C C
z

n=0
B
n
n!
z
n
seria ento analtica, pelo teorema 2.4.1. Resultaria ento do teorema da identidade que,
para cada z C \ (2iN 2iN), f(z) = g(z). Mas isto no possvel, uma vez que
lim
z2i
g(z) = g(2i) e que o limite lim
z2i
f(z) no existe.
7. Seja r R

+
para o qual se tenha (18). Ento
(z D(0, r) \ {0}) : f(z) +
z
2
=

n=0
B
2n
(2n)!
z
2n
.
Mas resulta ento da segunda alnea que
(z D(0, r/2) \ {0}) : z cot(z) =

n=0
B
2n
(2n)!
(2iz)
2n
= 1 +

n=1
(1)
n
4
n
(2n)!
B
2n
z
2n
.
Exerccio n93 (alneas mpares)
1. No existe uma tal funo. Se existisse, seria contnua no ponto 0 e, em particular, tinha-se
f(0) = f
_
lim
nN
1
n
_
= lim
nN
f
_
1
n
_
= lim
nN
n,
mas este limite no existe.
3. No existe uma tal funo. Se existisse, tinha-se
f(0) = f
_
lim
nN
1
n
_
= lim
nN
f
_
1
n
_
= lim
nN
1

n
= 0.
Por outro lado, f teria que ser derivvel no ponto 0 e ter-se-ia
f

(0) = lim
nN
f(1/n) f(0)
1/n
= lim
nN

n,
mas este limite no existe.
5. No existe uma tal funo. Se existisse, tinha-se
f(0) = f
_
lim
nN
1
n
_
= lim
nN
f
_
1
n
_
= lim
nN
(1)
n
n
= 0.
Considere-se a funo analtica g : D(0, 1) C denida por g(z) = z. Ento
{z D(0, 1) : f(z) = g(z)} {0}
_
1
n
: n 2N
_
;
Anlise Complexa 20062007 32
em particular, o conjunto {z D(0, 1) : f(z) = g(z)} conteria, pelo menos, um ponto no iso-
lado (nomeadamente 0), pelo que f = g. Mas isto impossvel, uma vez que f(1/3) = 1/3 e
que g(1/3) = 1/3.
7. No existe uma tal funo. Se existisse, tinha-se
f(0) = f
_
lim
nN
1
n
_
= lim
nN
f
_
1
n
_
= 2.
e
(n N \ {1}) : f
_
1
n
_
=
2
1 + 5
/
n

Considere-se a funo analtica

g : D(0, r) \ {1/5} C
z 2/(1 + 5z).
Ento
{z D(0, 1) \ {1/5} : f(z) = g(z)} {0}
_
1
n
: n N
_
;
logo, o conjunto {z D(0, r) \ {1/5} : f(z) = g(z)} conteria, pelo menos, um ponto no
isolado (nomeadamente 0), pelo que
f|
D(0,r)\{1/5}
= g.
Mas ento ter-se-ia
f(1/5) = lim
z1/5,z=1/5
f(z) = lim
z1/5
g(z),
o que absurdo, pois este limite no existe.
9. No existe uma tal funo. Se existisse, tinha-se
f(0) = f
_
lim
nN
1
n
_
= lim
nN
f
_
1
n
_
= lim
nN
1
n
3
= 0.
Considere-se a funo analtica g : D(0, 1) C denida por g(z) = z
3
. Ento
{z D(0, 1) : f(z) = g(z)} {0}
_
1
n
: n 2N
_
;
em particular, o conjunto {z D(0, 1) : f(z) = g(z)} conteria, pelo menos, um ponto no iso-
lado (nomeadamente 0), pelo que f = g. Mas isto impossvel, uma vez que f(1/2) = 1/8 e
que g(1/2) = 1/8.
Exerccio n96
Dadas duas funes analticas no nulas f, g : U C, quer-se mostrar que a funo fg
no a funo nula. Seja z U tal que f(z) = 0; por continuidade, existe alguma vizinhana
V de z onde f no tem zeros. A funo g|
V
no pode ser a funo nula, pois ento deduzir-se-ia
do princpio do prolongamento analtico que g seria a funo nula. Logo, existe algum w V
tal que f(w)g(w) = 0.
Anlise Complexa 20062007 33
Exerccio n97
Visto que f analtica e injectiva, para mostrar que bianaltica basta mostrar que f

nunca se anula. Isto resulta do facto de o conjunto dos zeros da funo cosseno ser /2 + Z.
Para cada z D(0, 1) tem-se
(f
1
)

(z) =
1
f

(f
1
(z))
=
1
cos(f
1
(z))
,
pelo que
_
(f
1
)

(z)
_
2
=
1
(cos(f
1
(z)))
2
=
1
1 (sen(f
1
(z)))
2
=
1
1 z
2

Logo, se, para cada z D(0, 1), se denir g(z) = (f

1
)

(z) e h(z) = 1/(1 z

2
)
1/2
, est provado
que g
2
= h
2
, ou seja, que (g h)(g + h) = 0. Pelo exerccio anterior tem-se g = h ou g = h
mas, visto que
g(0) = (f
1
)

(0) =
1
cos(f
1
(0))
=
1
cos 0
= 1
e, obviamente, h(0) = 1, no se pode ter g = h, pelo que g = h.
Exerccio n98
Sejam r, s [0, R[ tais que r < s; quer-se mostrar que M(r) < M(s). Considere-se a funo
f : D(0, R) C
z

n=0
a
n
z
n
.
Primeira resoluo: Suponha-se, por reduo ao absurdo, que M(r) M(s). Visto que f
uma funo analtica no constante com domnio conexo, a funo |f| no tem mximos locais.
Por outro lado, seja z
0
D(0, s) tal que |f(z
0
)| seja igual ao mximo da restrio de |f| a
D(0, s); visto que M(r) M(s), pode-se encontrar um tal z
0
em D(0, s). Mas ento a funo
|f| tem um mximo local no ponto z
0
.
Segunda resoluo: Seja z
0
D(0, s) um ponto onde a restrio a D(0, s) de |f| possui um
mximo global. Como D(0, s) compacto, um tal ponto existe e encontra-se na fronteira de
D(0, s), ou seja, |z
0
| = s. Assim sendo, se |z| = r, |f(z)| < |f(z
0
)| = M(s), pelo que
M(r) = sup
{z:|z|=r}
|f(z)| = max
{z:|z|=r}
|f(z)| < M(s).
Exerccio n99
Suponha-se, por reduo ao absurdo, que f no constante nem tem zeros; seja M (respec-
tivamente m) o valor mximo (resp. mnimo) que a funo |f| toma em D(0, 1) e seja z
M
(resp.
z
m
) um ponto de D(0, 1) tal que |f(z
M
)| = M (resp. |f(z
m
)| = m). Visto que f|
D(0,1)
no
constante (pois se o fosse ento, por continuidade, f seria constante), o princpio do mximo
diz que z
M
D(0, 1), pelo que |z
M
| = 1. Visto que f no tem zeros em D(0, 1), deduz-se do
princpio do mnimo que |z
m
| = 1 pelo mesmo motivo. Logo M = m = 1, pois a restrio de
|f| a {z : |z| = 1} s toma o valor 1, pelo que a funo |f| uma funo constante. Mas o
princpio do mximo (ou o teorema da aplicao aberta) diz que ento f|
D(0,1)
constante e,
portanto, f constante.
Anlise Complexa 20062007 34
Exerccio n100
Visto que D(0, 1), {z C : |z| = R} D(0, R), claro que a segunda condio implica as
outras duas. Falta ento mostrar que a segunda condio decorre tanto da primeira quanto da
terceira.
Suponha-se que a primeira condio satisfeita. Sabe-se, pelo critrio de Cauchy para sries
de funes, que, para demonstrar a segunda condio, basta mostrar que
_
R

+
_
(p N) (m, n N)
_
z D(0, 1)
_
: m n p =

k=n
a
k
z
k

< .
Seja R

+
e seja

]0, [. Novamente pelo critrio de Cauchy sabe-se que, para algum p N,

(m, n N) (z D(0, 1)) : m n p =

k=n
a
k
z
k

<

.
Logo, se m, n N e se z D(0, 1), z limite de alguma sucesso (z
j
)
jN
de elementos de
D(0, 1), pelo que

k=n
a
k
z
k

= lim
jN

k=n
a
k
z
j
k

< .
Suponha-se agora que a terceira condio satisfeita. Se R

+
, quer-se mostrar que existe
p N tal que se m, n N e m n p, ento
_
z D(0, R)
_
:

k=n
a
k
z
k

< .
Para tal, tome-se p N tal que se m, n N e m n p, ento
(z {z C : |z| = R}) :

k=n
a
k
z
k

< .
Sabe-se, pelo princpio do mximo, que se m, n N e m n p, ento
sup
|z|R

k=n
a
k
z
k

= sup
|z|=R

k=n
a
k
z
k

< ,
pelo que um tal p possui a propriedade desejada.