Você está na página 1de 34

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 definio 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 definem-se dois conjuntos A, B C tais que a pertence aderncia de ambos; em seguida
mostra-se que
lim (z) 6= lim (z),
za,zA

za,zB

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 = a3 + a2 + (z).(z a)
(z C) : z 3 a3 + z 2 a2 = (z).(z a)
(z C) : (z a).(z 2 + az + a2 ) + (z a).(z + a) = (z).(z a).
Basta ento definir (z) = z 2 + az + a2 + z + a. Est ento provado que f derivvel em a e
tem-se f 0 (a) = (a) = 3a2 + 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| |a|

za
Comece-se por ver o que acontece quando a C . Sejam Ca a circunferncia de centro 0 que passa por a (ou
seja, Ca = {z C : |z| = |a|}) e Sa a semi-recta com oriSa
gem no ponto 0 que passa por a (ou seja, Sa = R+ a);
veja-se a figura ao lado. Se z Ca \ {a}, ento (z) = 0;
logo,
lim
(z) = 0.
(z C \ {a}) : (z) =

Ca

a
0

za,zCa \{a}

Por outro lado, se z Sa , ento z/a R+ pelo que, caso z 6= a, se tem


(z) =
Mas ento

lim

za,zSa \{a}

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

za
a z/a 1
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

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,zCa \{a}

(z) = 0.

Por outro lado, se z Sa \ {a}, ento z/a R+ pelo que, caso z 6= a, se tem
z
|a|2 |z/a|2 1
(z/a 1).(z/a + 1)
|z|2 |a|2
=

=a
=a
+1 .
za
a
za
z/a 1
a


(z) =

Consequentemente,

lim

za,zSa \{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 = 0.
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 Ha = {z Z : Im z = Im a} e
Va = {z C : Re z = Re a}; veja-se a figura ao lado. Um clculo
simples revela que se for uma funo de C em C tal que

Va

(z C) : Re(z) = Re(a) + (z).(z a),

Ha

ento (Va \ {a}) = {0}. Por outro lado, se z Ha \ {a}, ento


(z) =

Re(z) Re(a)
Re(z a)
=
= 1,
za
Re(z a)

pelo que
lim

za,zHa \{a}

(z) = 1 e

lim

za,zVa \{a}

(z) = 0.

5. Seja a C, sejam Ha e Va como na alnea anterior e seja uma funo de C em C tal que
(z C) : | Im z|2 = | Im a|2 + (z).(z a).
Ento (Ha \ {a}) = {0}, pelo que
lim

za,zHa \{a}

(z) = 0.

Por outro lado, se z Va \ {a} ento


| Im z|2 | Im a|2
(Im(z) Im(a)).(Im(z) + Im(a))
=
= (Im(z) + Im(a))i.
(z) =
za
(Im(z) Im(a))i
Consequentemente,
lim

za,zVa \{a}

(z) = 2 Im(a)i.

(1)

Anlise Complexa

20062007

Est ento provado que f no derivvel em a caso Im a 6= 0, ou seja, caso a


/ R. Caso a R,
ento define-se
: C
C
(
(Im z)2 /(z a) se z 6= a
z 7
0
se z = a.
ento claro que se tem (1) e como


(Im z)2
| Im(z a)|2


=
(z C \ {a}) : |(z) (a)| =
|z a|,
za
|z a|

contnua em a. Tem-se ento f 0 (a) = (a) = 0.


Exerccio n4
Seja a C. Mostrar que f derivvel em a e que f 0 (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). Define-se ento
: C
z

f (z)f (a)
za

f (a)

se z 6= a
caso contrrio

e resta apenas demonstrar que contnua em a. Como, para cada z C \ {a},


(z) =
e como

f ((z a) + a) f (a)
f (z a).f (a) f (a)
f (z a) 1
f (z) f (a)
=
=
=
f (a)
za
za
za
za

f (h) f (0)
= 1, tem-se
h0,h6=0
h
lim

lim (z) = f (a) = (a).

za

Exerccio n8
1. Se x, y R, sejam u(x, y) = Re f (x + yi) = x2 e v(x, y) = Im f (x + yi) = xy. Se, a, b R,
tem-se

u
v

(a,
b)
=
(a, b)
(

x
y
2a = a

a = b = 0.

0 = b

u
v

(a, b) = (a, b)

y
x
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 vazio1 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) =


Im f (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 definir, 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
u
v
v
(a, b) =
(a, b) =
(a, b) =
(a, b)
x
x
y
y
e que

u
u
v
v
(a, b) = (a, b) = (a, b) =
(a, b).
y
y
x
x
Exerccio n10

Sejam u e v duas funes de R2 em R e seja, para cada (x, y) R2 , f (x, y) = u(x, y)+v(x, y)i.
suficiente para que f seja holomorfa que u e v sejam parcialmente derivveis em todos os
v
v
v
, u , v e y
sejam funes contnuas, que u
= y
e que u
= x
. Para
pontos de R2 , que u
x y x
x
y
que f satisfaa a primeira condio do enunciado tambm preciso que
u
= Re f 0 (x + yi) = 3(x2 y 2 ) 4y,
x
o que implica que, para alguma funo C1 : R R, se tenha:
(x, y R) : u(x, y) = x3 3xy 2 4xy + C1 (y).

(2)

Por outro lado, para se ter


u
v
=
= 3(x2 y 2 ) 4y,
y
x
tem-se necessariamente
(x, y R) : v(x, y) = 3x2 y y 3 2y 2 + C2 (x),

(3)

para alguma funo C2 : R R. Para que as funes u e v sejam parcialmente derivveis


v
= x
basta que C1 e C2 sejam derivveis e que
relativamente a ambas as variveis e que u
y
(x, y R) : 6xy 4x + C1 0 (y) = 6xy C2 0 (x) C1 0 (y) = 4x C2 0 (x).
Logo, ter que existir algum nmero a R tal que
(x R) : C1 0 (x) = a e 4x C2 0 (x) = a.
Haver ento nmeros reais b e c tais que
(x R) : C1 (x) = ax + b e C2 (x) = 2x2 ax + c.

(4)

Anlise Complexa

20062007

Est ento provado que se se definir u e v de modo a ter-se (2), (3) e (4) ento a funo f
holomorfa e satisfaz a primeira condio do enunciado. Afirmar que tambm satisfaz a segunda
afirmar que
(

0 = f (1 + i) = u(1, 1) + v(1, 1)i

6 + a + b = 0

2a+c=0

b=6a
c = a 2.

Logo, basta tomar, por exemplo, a = 0, b = 6 e c = 2 e tem-se ento


((x, y) R2 ) : f (x, y) = x3 3xy 2 4xy + 6 + (3x2 y y 3 2y 2 + 2x2 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) R2 , sejam u(x, y) = Re f (x + iy) e v(x, y) = Im f (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 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 u2 + v 2 = k 2 , de onde se deduz que

u
v

2u
+ 2v
=0

x
x

v
u

+ 2v
=0
2u

u
u

u
v
=0

x
y

u
u

+v
=0
u

pelas equaes de Cauchy-Riemann. Para cada (a, b) R2 , tem-se ento:

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

= (0, 0).

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

Visto que o determinante da matriz (u(a, b))2 + (v(a, b))2 = k 2 6= 0, u


(a, b) = u
(a, b) = 0.
x
y
2
Como isto ocorre para qualquer (a, b) R , u constante, ou seja Re f constante.
Se houver (a, b) R2 \ {(0, 0)} tal que a Re f + b Im f 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

< 1 |z i| < |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 Im z < |z|2 1 + 2 Im z
Im z > 0.

Anlise Complexa

20062007

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
1z
wi
= z w(1 z) = i(1 + z) w = i

w+i
1+z
Isto sugere que se considere a funo
f (w) = z

g : D(0, 1)
7

(5)

H
1z
i

1+z

preciso comear por ver que esta definio faz sentido, ou seja, que se z D(0, 1), ento
g(z) H. De facto, se z D(0, 1), ento
1z
Im i
1+z


1z
= Re
1+z


(1 z).(1 + z)
= Re
|1 + z|2

1 |z|2 z + z
= Re
|1 z|2

1 |z|2
,
|1 z|2

pois z + z = 2i Im z; como |z| < 1, est provado que Im g(z) > 0. Deduz-se de (5) que
f g = IdD(0,1) . Finalmente, um clculo simples mostra que g f = IdH , pelo que g = f 1 . Tal
como f , g obviamente holomorfa.
Exerccio n15

n
n
Se |r|, |s| < 1, ento as sries
n=1 s so absolutamente convergentes, pelo que,
n=1 r e
pelo teorema 2.2.5, as famlias (rn )nN e (sn )nN so somveis. Logo, a famlia (rp .sq )p,qN
somvel, pelo teorema 2.2.4.
Se r = 0 ou s = 0, trivial que a famlia (rp .sq )p,qN somvel.
Finalmente, nos restantes casos a (rp .sq )p,qN no somvel pois se o fosse ento as famlias
p
(r .s)pN e (r.sq )qN seriam somveis, pelo corolrio 2.2.2. Logo, novamente pelo teorema 2.2.5
P
P
n
n
e porque r, s 6= 0, as sries
n=1 s seriam absolutamente convergentes. Mas pelo
n=1 r e
menos uma delas no o , pois |r| 1 ou |s| 1.

Exerccio n18
Suponha-se que a famlia (zi )iI somvel com soma s e seja R+ . Existe ento alguma
parte finita J de I tal que



X

(K Pf (I)) : J K = s
zi < .


iK

Mas ento, se K Pf (I)) for tal que J K, tem-se





!




X
X




Re s
zi < Re(s)
Re(zi ) < .




iK

iK

Logo, a famlia (Re zi )iI somvel com soma Re s e o mesmo argumento prova que a famlia
(Im zi )iI somvel com soma Im s. Isto prova no s que a primeira condio implica a segunda
como prova que, caso ambas se verifiquem,
!

Re

X
iI

zi =

!
X
iI

Re zi e Im

X
iI

zi =

Im zi .

iI

Caso as famlias (Re zj )jI e (Im zj )jI sejam somveis com somas x e y respectivamente
ento, aplicando ambas as alneas da proposio 2.2.3, deduz-se que a famlia (xj + yj i)jI (=
(zj )jI ) somvel com soma x + yi.

Anlise Complexa

20062007

7
Exerccio n20
n

z
n
Seja z C tal que |z| =
6 1. Comea-se por escrever (1zn )(1z
n+1 ) sob a forma A/(1 z )
A/(1 z n+1 ). Um clculo simples revela que se pode tomar A = 1/(1 z). Ento

X
zn
1/(1 z) 1/(1 z)
=

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

lim
=
(1 z)2 nN 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
s

n
n
n
n
n
n

=
=

n
n
n
n
2 1
2 1
2 1 2n
q

Ento limnN n n/(2n 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:
Z
1

xm+1
1
dx
=
lim
M + m + 1
xm
"

#x=M

=
x=1

m1

3. Como

n2
1/ n2 + 1
lim sup
= lim
=1
nN
1/n
n2 + 1
nN
e como a srie harmnica diverge, a srie dada diverge, pelo critrio da comparao.
4. A srie no converge absolutamente, pelo critrio da comparao:




1
1
1


(n N) : (1)n+1
=

m
m


n
n
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
1

(n N) :
=



n
n
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:
q
s

n


2
1
n 1 + i
lim sup n = lim
=
nZ
2
2
2
+
nZ+

Anlise Complexa

20062007

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


tem


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



=
lim
= 0,
lim sup

nZ+ n + 1
z n /n!
nZ+
tambm se conclui que a srie converge absolutamente e, em particular, que converge.
8. Para cada z C e cada m N tem-se:

lim sup n nm z n = lim n nm |z| = |z|,


nN

nN

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) : |nm z n | = nm 1, pelo que a sucesso (nm z n )nN no converge para 0.
9. Se z C,
s  
z n
|z|
= lim
lim sup n
= 0,

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

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 6= 1) a srie no converge absolutamente (pois
P z
P 1
n=1 n =
n=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
X
n=1

limitada, pois
N N

N



z z N +1
X
2



n
(N N) :
z =


1z

|1 z|
n=1

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
q
lutamente convergente), pelo critrio de Abel. De facto, como a sucesso
1 + 1/n
de
nN
P
variao limitada (pois real, montona eqlimitada), sempre que uma srie n=1 zn de nmeros
P
complexos for convergente, a srie
1 + 1/nzn tambm o e, reciprocamente, se a srie
n=1
P

1 + 1/nzn for convergente ento, como a sucesso 1/ 1 + 1/n


de variao limin=1
nN
P
tada (pois, mais uma vez, trata-se de uma sucesso real, montona e limitada), a srie
n=1 zn
converge.
12. A srie em questo no absolutamente convergente pois tem-se
z

1/n
lim
= lim 1 = 1;
nN 1/|z n|
nN n

Anlise Complexa

20062007

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:
P

1. a sucesso das somas parciais da srie

(1)n s toma os valores 1 e 0, pelo que

n=1

limitada;


2. a sucesso


3. a sucesso

1
zn

1
zn

converge para 0;
nN

de variao limitada, pois tem-se


nN

n=1

1
1
1 X
=


2
2
zn1 zn
n=1 |n + (1 2z)n + z z|

1/|n2 + (1 2z)n + z 2 z|
= 1.
nN
1/n2
lim

Exerccio n23
1. Tem-se, para cada n N,


z
1+
n

n

n    k
X
n
z
k=0

n
X

n!
zk .
k
k=0 k!(n k)!n

Logo, se n N e se k Z+ for tal que k n, tem-se


an,k =

n.(n 1) . . . (n k + 1)
1 n n1
nk+1
n!
=
=

;
k
k
k!(n k)!n
k!n
k! n
n
n

naturalmente, k > n = an,k = 0. Consequentemente, se se fixar k Z+ ento a sucesso


(an,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
z
lim 1 +
nN
n


n

= lim

nN

an,k z =

k=0

X
k=0

lim an,k z =

nN

X
zk
k=0

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


! 




X
X
zk
z n
1



<

1
an,k z k < ,




n
k=0 k!
k=0 k!
e para se ter isto basta que


X
1
k=0

k!

an,k |z|k < ,

(6)

Anlise Complexa

20062007

10

uma vez cada sucesso (an,k )nN crescente e convergente para 1/k! e, consequentemente,
(n N)(k Z+ ) :
Seja N N tal que

1
an,k R+ .
k!

X
|z|k
k=N

ento tem-se

< ;
k!
2


X
1

an,k |z|k < ,


k!
2

k=N

(7)

pois cada nmero da forma an,k maior ou igual a 0, pelo que


(n N)(k Z+ ) :

1
1
an,k .
k!
k!

Por outro lado, tem-se


lim

nN

N
1
X

an,k |z|k =

k=0

N
1
X
k=0

lim an,k |z|k =

N
1
X

nN

k=0

|z|k
,
k!

pelo que existe algum p N tal que, se n N e n p, ento


N
1 
X
k=0

1
an,k |z|k <
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
+
+ +
nN
1+1 2+2
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
X
m+nN

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

p1
p1
e limN N N
p=2 p2 = +, visto que a srie
p=2 p2 diverge.
O facto de a famlia no ser somvel quando k = 2 permite dar uma demonstrao alternativa do facto de no ser somvel quando k = 1. Basta atender ao facto de se ter

(m, n N) :

1
1

2
(m + n)
m+n

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

N
N

X
X
X
X
1
1
1
p1 X
p1

=
=

k
k
k
k
k
(m + n)
p=2 m+n=p (m + n)
p=2 p
p=2 p
m+nN (m + n)

Anlise Complexa

20062007

11
Exerccio n25

O produto de Cauchy da srie por si prpria


cn =

n
X

k+1

(1)

k=1

n=2 cn ,

onde, para cada n N \ {1},

n
X
1
1
1
n
(n+1k)+1
q

= (1)
(1)

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

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


|cn | =

n
X

1
q

k=1

k.(n + 1 k)

n
X
k=1

n
1

=
= n12/m .
m
m
2
2
n
n

Como m 2, 1 2/m 1, pelo que |cn | 1. Como a sucesso geradora no converge para 0,
P
a srie
n=2 cn diverge.
Exerccio n27
O termo de ndice n (n Z+ ) do produto de Cauchy das duas sries :
n
n
1 X
n!
1 X
=
z p wnp =
p! q!
n! p=0 p!(n p)!
n! p=0

X z p wq
p+q=n

n
p

z p wnp =

(z + w)n

n!

Exerccio n31
No conjunto dado, a srie de funes
pois


n=0

z n tem somas parciais uniformemente limitadas,





n
X

1 z n+1
2



k

z D(0, 1) \ D(1, ) (n Z+ ) : z =


1z

k=0


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.
N
n
n
1. Como, para cada N N, N
n=1 (1) 0 ou
n=1 (1) 1, a sucesso das somas
P
n
parciais da srie n=1 (1) uniformemente limitada.

2. Seja N N tal que M maxzK |z|. Ento, se n N for tal que n > M e se z K,
tem-se:



Como a srie


1
1
1
=


zn zn1
|z n|.|z n 1|
1

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

(n M )(n + 1 M )

1
n=M +1 (n M )(n + 1 M )

(9)

Anlise Complexa

20062007

12

1
1
converge, resulta do teste M de Weierstrass que a srie
n=M +1 zn zn1 converge
uniformemente. A soma da srie uma funo
limitada, pois majorada pela soma da

P 1

1
srie (9). Logo, a srie n=1 zn zn1 tambm converge uniformemente e a sua soma
uma funo limitada pois, como K um compacto de C \ N, a funo

K
z

C
M
X
n=1


1
1

z n z n 1

tambm limitada.
3. Se M for como na alnea anterior, ento


(n N)(z K) : n > M =

1
1


zn
nM

Como limnN 1/(n M ) = 0, se se definir, para cada n N,


gn : K
z

C
1
,
zn

a sucesso (gn )nN converge uniformemente para a funo nula.


Exerccio n35 (alneas pares)
Em cada alnea o raio de convergncia
vai ser representado por .
s
1
1
n
2. Tem-se = +, pois lim sup
=
lim
sup
= 0.
nn
n
nN
nN

n
4. Tem-se = 2, pois lim sup 2n n = lim sup n n/2 = 1/2.
nN
nN

n
2
6. Tem-se = 1, pois lim sup n = lim sup( n n)2 2 = 1.
nN

nN

q
q

8. Para cada n N, 1 (n) n, pelo que 1 n (n) n n. Logo, limnN n (n) = 1, de


onde resulta que = 1.
P
P
n2
n
10. Primeira resoluo: Tem-se
=
n=1 z
n=1 an z , onde
(

(n N) : an =

1 se n for um quadrado perfeito


0 caso contrrio.

Ento lim supnN n |an | = lim supnN an = 1, pelo que = 1.


Segunda resoluo: Para cada z C , tem-se

z (n+1)2



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

nN z n
nN

se |z| > 1
se |z| = 1
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:





X

m
j

( > 0)(p Z+ )(m, n Z+ )(x [0, 1]) : m n p = aj x < .

j=n

Seja > 0. Visto que a srie

n=0

an convergente, pode-se escolher p Z+ tal que:




X

m

(m, n Z+ ) : m n p = aj < .
j=n

Seja n p e, para cada j n, seja Sj =


tomar x [0, 1], tem-se:

Pj

k=n

ak . Ento, se tomar m Z+ tal que m n e






m

m
X



X
j
j+1
m+1
j


S
(x

x
)
+
S
x
=
a
x
j
m
j





j=n

j=n

m
X

|Sj |(xj xj+1 ) + |Sm |xm+1

j=n

<

m
X

xj xj+1 + xm+1

j=n

= ((xn xm+1 ) + xm+1 )


.
Visto que a srie converge uniformemente no intervalo [0, 1] para a funo dada na sugesto,
ento esta contnua, pelo que:
lim f (x) = f (1) = s.
x1

Segunda resoluo: Para cada x [0, 1] e para cada n Z+ , sejam fn (x) = an e gn (x) = xn .
Ento:
1. a srie

fn uniformemente convergente;

2. a srie

|gn gn+1 | converge simplesmente para a funo

n=0
n=0


X
X
n

x 7
x xn+1 =
(1 x)xn =
n=0

n=0

1 se x [0, 1[
0 caso contrrio,

que limitada;
3. a sucesso (gn )nZ+ uniformemente limitada.
n
Logo, pela proposio 2.2.19, a srie de potncias
n=0 an x converge uniformemente em [0, 1].
Pode-se agora terminar a resoluo usando o mesmo argumento que foi empregue no fim da
resoluo precedente.
P
n
2. O enunciado recproco falso, pois a srie
n=0 (1) diverge mas

lim

x1,x[0,1[

X
n=0

n n

(1) x =

lim

x1,x[0,1[

X
n=0

(x)n =

1
1
=
x1,x[0,1[ 1 + x
2
lim

Anlise Complexa

20062007

14

3. Afirmar que as sries


n=0 bn convergem o mesmo que afirmar que as sries de
n=0 an e
P
P

n
n
potncias n=0 an z e n=0 bn z convergem quando z = 1; deduz-se ento da proposio de
P
P
n
n
Abel-Cauchy-Hadamard que se z D(0, 1), ento as sries
n=0 bn z convergem
n=0 an z e
absolutamente. Tem-se

cn =

n=0

=
=
=
=
=

lim

x1,x[0,1[

lim

x1,x[0,1[

lim

cn xn (pelo teorema de Abel)

n=0

n=0

ap b q x n

p+q=n

x1,x[0,1[

(ap xp ).(bq xq )

n=0 p+q=n
!

X
n
lim
an x .
x1,x[0,1[
n=0
!

X
n
lim
an x .
x1,x[0,1[
n=0
!
!

X
X

an .

n=0

bn

bn x

(pela proposio 2.2.11)

n=0

lim

x1,x[0,1[

bn x

n=0

(pelo teorema de Abel)

n=0

= a.b.
Exerccio n40
1. A srie diverge no ponto 1, pois (n Z+ ) : an 1. Por outro lado, a srie converge em
qualquer ponto z tal que |z| < 1/2; de facto, (n Z+ ) : an 2n (isto mostra-se facilmente
P
n
por induo) pelo que se deduz do critrio da raiz que a srie de potncias
n=0 an z converge
quando |z| < 1/2. Logo, 1/2 1.
P
P
n
n
2. Escreve-se (1 z z 2 )
n=0 cn z . Tem-se ento:
n=0 an z sob a forma

1.a0 = 1

cn = 1.a1 + (1)a0 = 0

1.an + (1)an1 + (1)an2


3. Define-se:


1 = 1 +

se n = 0
se n = 1
= 0 se n 2.




5 /2 e 2 = 1 5 /2;

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

X
n=0

1
+z1
1
=
(z 1 )(z 2 )
!
1
1
1
=

5 z 1 z 2
!
1
1
1
1
1
=

.
5 1 1 z/1 2 1 z/2

an z n =

z2

Anlise Complexa

20062007

15

Logo, se |z| < min{|1 |, |2 |} (e continuando a supor que |z| < ), tem-se:

X
X
1
an z = 11
(z/1 )n 21
(z/2 )n
5
n=0
n=0
n=0


X
1
=
1n1 n1
zn
2
5 n=0

X
(1/1 )n+1 (1/2 )n+1 n

z .
=
5
n=0

(10)





Visto que 1/1 = 1 + 5 /2 e que 1/2 = 1 5 /2, obtm-se assim a frmula pretendida
para an e como se sabe que |1 | < |2 |, deduz-se de (10) que:

1. se |z| < |1 |, ento a srie


gentes;

n=0

an z n converge, pois igual soma de duas sries conver-

n
2. se |1 | < |z| < |2 |, ento a srie
n=0 an z diverge, pois igual soma de uma srie
convergente com uma srie divergente.


Logo, = |1 | =
5 1 /2.

Exerccio n41
n
1. A afirmao verdadeira porque afirmar que o raio de convergncia da srie
n=0 an z

infinito o mesmo que afirmar que lim sup( n an )n = 0 e pode-se ento calcular o raio de
P
1 n
convergncia da srie
n=0 an z do seguinte modo:

lim sup
nN

!1

q
n

an1

= lim sup

!1

an

= lim inf

nN

nN

an lim sup

an = 0.

nN

O raio de convergncia tem ento de ser nulo, pois pertence a [0, +].
2. A afirmao falsa. Basta considerar a sucesso:
(

1 se n for par
nn se n for mpar.

an =

3. A afirmao falsa. Basta considerar a sucesso:


(

an =

1 se n for par
2n se n for mpar.

Exerccio n44


(1)[ n ]
1


=
e de
1. Que = 1 resulta de se ter (n N) :

n
n

lim

nN

1
1
= 1.
=
n
limnN n n



(1)[ n ]
1

n
Se |z| = 1, ento
z = , pelo que a srie no converge absolutamente no ponto z.


n
n

Anlise Complexa

20062007

16

2. Sejam n N e m = [ n ]. Ento
n
X

(1)[ k] z k = z z 2 z 3 + z 4 + + (1)m z n

k=1

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

+ (1)m1 z (m1) (1 + z + + z 2m2 ) + (1)m z m + + (1)m z n


1 z5
1 z7
1 z3
= z
+ z4
z9
+
1z
1z
1z
2m1
21 z
2
+ (1)m1 z (m1)
+ (1)m z m + + (1)m z n ,
1z
pelo que

2(m 1)
2( n 1)

k] k
[


(1)
z
+
2m
+
1

+
2
n + 1,


|1 z|
|1 z|
k=1
P
 

n
[ k] k
de onde se deduz que a sucesso
z / n
limitada.
k=1 (1)
nN
Pode-se mostrar que se, no enunciado do critrio de Dirichlet, as condies

1. a sucesso das somas parciais da srie

an limitada;

n=1

2. a sucesso (bn )nN de variao limitada;


3. a sucesso (bn )nN converge para 0
forem substitudas respectivamente por
n
X

1. a sucesso

ak

/ n

k=1

2. a srie

limitada;
nN

n(bn bn+1 ) absolutamente convergente;

n=1

3. a sucesso ( nbn )nN converge para 0,


uma demonstrao semelhante permite concluir que a srie
m N ento sabe-se, pela relao (2.18) da pgina 72, que
m
X

ak bk = a1 (b1 b2 ) + (a1 + a2 )(b2 b3 ) + +

k=1

k=n

n=1

an bn converge. De facto, se

ak (bm bm+1 ) +

k=1

Seja, para cada n N, sn =


m
X

m
X

ak b k =

m
X

ak b k

k=1

Pn

n1
X

k=1

m
X

ak bm+1 .

k=1

ak . Ento, se m, n N forem tais que m n > 1 tem-se

ak b k

k=1

= sm bm+1 sn1 bn +

m
X

sk (bk bk+1 )

k=n

sm
=
m

sn1
m
m + 1bm+1
m+1
n1

e decorre agora do critrio de Cauchy que a srie

m
X
n 1
s
k k(bk bk+1 )
nbn +
n
k
k=n

k=1

an bn converge.

Anlise Complexa

20062007

17

Basta agora
aplicar esta verso modificada do critrio de Dirichlet pondo, para cada n N,

[ n] n
z e bn = 1/n, para mostrar que a srie dada no enunciado do exerccio converge.
an = (1)
3. Vai-se recorrer verso modificada do critrio de Dirichlet

que foi empregue na alnea


Pn
[ k]
anterior. Quer-se ento mostrar
que a sucesso (( k=1 (1)
)/ n)nN limitada. Para cada

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



sup{|m2 1 |, |(m+1)2 1 |}
|n |
n

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



m+2
n

2.
n
m

Exerccio n45
2 n
Se D = , basta considerar, por exemplo, a srie de potncias
n=1 n z . No que se segue,
vai-se supor que D no vazio.
P
n
A srie de potncias
n=1 z /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 6= 1. Logo, se d for um nmero complexo
P
P
n
n n
z /n =
de mdulo 1, a srie de potncias
n=1 (z/d) /n tem a seguinte propriedade:
n=1 d
se z for um nmero complexo de mdulo 1, ento a srie converge no ponto z sse z 6= d.
Considera-se ento a srie de potncias

X n
X
d
n=0 dD

z =

 

X X
1 z n
dD n=0

n d

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 finito 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 finito de
sries que convergem no ponto d com uma srie que diverge nesse ponto.
Exerccio n49
Tem-se:
2

(z D(0, )) : f (z) =
=

an z
n=0

n
X
X
n=0

e
(z D(0, /2)) : f (2z) =

(n Z+ ) : 2n an =

an z

n=0

ak ank z n

k=0

an (2z) =

n=0

de onde se deduz que:

!
n

an 2n z n

n=0
n
X

ak ank .

k=0

Em particular, para n = 0 tem-se a0 = a02 , pelo que a0 = 1 pois, por hiptese, a0 6= 0.

Anlise Complexa

20062007

18

Vai-se mostrar por induo que (n N) : an = a1n /n!, ou seja, que


(z D(0, )) : f (z) =

an z =

n=0

X
a1n
n=0

n!

X
(a1 z)n

z =

n=0

= ea1 z .

n!

Para n = 1 trivial. Suponha-se que j se mostrou para um certo n N que am = a1m /m!
quando m n (m N). Ento
2n+1 an+1 =

n+1
X

ak an+1k

k=0

= 2a0 an+1 +

n
X

ak an+1k

k=1

an+1
1
= 2an+1 +
k=1 k!(n + 1 k)!
n
X

= 2an+1 +

n
X
an+1
(n + 1)!
1
(n + 1)! k=1 k!(n + 1 k)!

n+1
X
an+1
(n + 1)!
1
2
= 2an+1 +
(n + 1)! k=0 k!(n + 1 k)!

an+1
1
((1 + 1)n+1 2)
(n + 1)!
an+1
1
= 2an+1 +
(2n+1 2)
(n + 1)!

= 2an+1 +

/(n + 1)!.
de onde se deduz que an+1 = an+1
1
Exerccio n50
Seja f : C C uma funo holomorfa tal que f 0 = f e que f (0) = 1; quer-se mostrar que
f = exp. Veja-se que
!0
f
exp .f 0 f. exp0
=
0,
exp
f2
pois f 0 = f e exp0 = 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
3n

(exp(ir))

ip3nq
= exp
2

p3nq
= cos
2

p3nq
+ i sen
.
2
!

(12)

1. Por hiptese, p da forma 2k para algum k N. Logo, por (12),


n

(exp(ir))3 = cos k3nq .


Caso n q, 3nq um nmero natural mpar; consequentemente, cos (k3nq ) igual
! a 1 se k

X
X
1 3n
1
par e igual a 1 se k mpar. Em qualquer dos casos, a srie
z
=
diverge,
n=q n
n=q n

X
1 3n
pelo que a srie
z diverge.
n=1 n

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


p3nq /2 = k3nq + 3nq /2, pelo que cos(p3nq /2) = 0; consequentemente, por (12),
n

(exp(ir))3 = i sen k3nq + 3nq /2 .


De facto,

(exp(ir))3 = i(1)nq sen (k + /2) ;

(13)

isto verdade para n = q, pois ento


n

(exp(ir))3 = 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 3n+1q (k + /2)


= i sen 3.3nq (k + /2)

= i sen 2.3nq (k + /2) cos 3nq (k + /2) +




+ i cos 2.3nq (k + /2) sen 3nq (k + /2)




= i sen 3nq (k + /2)

= i(1)nq+1 sen (k + /2) .


Logo,

X
1

3n

= i sen (k + /2)

n=q n
tambm converge.

X
(1)nq
n=q

e esta srie converge, pelo que a srie

X
1
n=1

z3

Exerccio n55
Seja z C; quer-se mostrar que existe algum w C tal que sen(w) = z. Mas


sen(w) = z eiw eiw = 2iz eiw

2

2izeiw 1 = 0.

Considere-se ento a equao X 2 2izX 1 = 0. Pelos clculos atrs efectuados, se u for uma
soluo desta equao e se w C for tal que eiw = u, ento sen(w) = z. Seja ento u uma
soluo da equao. Tem-se necessariamente que u 6= 0 e existe ento algum w0 C tal que
0
ew = u. Se se definir w = iw0 , ento w0 = iw, pelo que eiw = 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 z1 e
z2 dois elementos do conjunto em questo tais que sen(z1 ) = sen(z2 ); quer-se mostrar que
z1 = z2 . Sabe-se, pelo exerccio 53, que z1 z2 = 2n ou que z1 + z2 = 2n, para algum
n Z. Mas, visto que Re(z1 ), Re(z2 ) ] /2, /2[, sabe-se que Re(z1 z2 ) ] , [ e que
Re(z1 + z2 ) ] 2, 0[. Logo, z1 + z2 no pode ser um elemento de 2Z e z1 z2 s
pode ser da forma 2n com n Z quando se tiver n = 0, ou seja, quando z1 = z2 .
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 w0 C

Anlise Complexa

20062007

20

tal que sen(w0 ) = z (um tal w0 existe pelo exerccio 55) e seja n Z tal que Re(w0 + 2n)
[/2, 3/2[. Tome-se
(

w=

w0 + 2n
se w0 + 2n [/2, /2[
(w0 + 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 Im w)
= sen(Re w) cos(i Im w) + cos(Re w) sen(i Im w)
= cos(i Im w)
exp( Im w) + exp(Im w)
=
2
exp(Im w) + 1/ exp(Im w)
=
2

e, visto que exp(Im w) R+ , (exp(Im w) + 1/ exp(Im w))/2 [1, +[, ou seja, z ] , 1]


[1, +[. Por outro lado, se Re w ] /2, /2[, ento, visto que
sen(w) = sen(Re w)

exp(Im w) + 1/ exp(Im w)
+ cos(Re w) sen(i Im w),
2

h duas possibilidades
Im w = 0 : ento sen(w) = sen(Re w) ] 1, 1[;
Im w 6= 0 : ento sen(i Im w) =
pelo que sen(w) 6 R.

exp( Im w) exp(Im w)
exp(Im w) exp( Im w)
=
i iR ,
2i
2

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 Im z)
cosh(2 Im z).

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 Im z).
(15)
Mas se x R, ento, uma vez que
x2 x4
+
+ ,
2
24
claro que cosh x = 1 se e s se x = 0. Consequentemente, deduz-se de (15) que Im z = 0, ou
seja, que z R.
cosh x = 1 +

Anlise Complexa

20062007

21
Exerccio n62

Sejam, para cada a R,


ha = {t + ai : t R} e va = {a + ti : a R}.
Quer-se ento determinar as imagens de cada recta ha e va pelas funes exponencial, seno e
coseno.
Se t R, ento
et+ai = et (cos(a) + sen(a)i).
Como {et : t R} = R+ e como cos(a) + sen(a)i um nmero complexo diferente de 0, exp(ha )
a semi-recta aberta com origem em 0 que pasa por cos(a) + sen(a)i. Por outro lado, se t R,
ento
ea+ti = ea (cos(t) + sen(t)i).
Logo, exp(va ) a circunferncia de centro 0 e raio ea .
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(ha ) = {sen(t) : t R} = [1, 1] e, se a 6= 0, sen(ha ) 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(va ) a recta dos nmeros
imaginrios puros;
a 2Z + 2 : ento sen(a + ti) = cosh(t), pelo que sen(va ) a semi-recta fechada [1, +[;
a 2Z +

3
:
2

ento sen(a + ti) = cosh(t), pelo que sen(va ) a semi-recta fechada ] , 1];

0 < sen(a) < 1: ento sen(va ) o ramo de hiprbole

x
x + yi C : x > 0

sen(a)

!2

cos(a)

!2

cos(a)

!2

=1 ;

1 < sen(a) < 0: ento sen(va ) o ramo de hiprbole

x
x
+
yi

C
:
x
<
0

sen(a)

!2

= 1 .

A determinao de cos(ha ) e de cos(va ) podeser 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 + )
sen(z)
=
= tan(z),
cos(z + )
cos(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)
= 0 sen(t) = 0 t Z.
cos(t)

2. Tem-se
sen(z)
sen(w)
=
cos(z)
cos(w)
sen(z) cos(w) cos(z) sen(w) = 0
sen(z w) = 0
z w Z.

tan(z) = tan(w)

Exerccio n67
Para cada n Z+ e para cada z C \ {0} tem-se:


(1)n+1 2n+3

2n+3 z
2n + 1 2


(1)n 2n+1 = 2n + 3 |z| .
2n+1 z

2n+1
Visto que a sucesso 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. AlternativaP
n
mente, se se escrever a srie dada sob a forma
n=0 an z , ento tem-se:

an =

(1)k
2k+1

Sendo assim tem-se:


q
n

Ento

|an | =

se n = 2k + 1 com k Z+
se n for par.
(

nn

se n for mpar
se n for par.

q
n

|an | 1 para qualquer n N e, por outro lado, a subsucesso de ( n |an |)n formada
q

pelos termos de ordem mpar converge para 1. Deduz-se que lim supn n |an | = 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 7 a(tan z) e z 7 z, de domnio D(0, ), so idnticas, suficiente
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 = a0 (z) = 1 z 2 + z 4 z 6 + = 1 + (z 2 ) + (z 2 )2 + (z 2 )3 + =

1 + z2

Anlise Complexa

20062007

23

Tem-se ento, quando |z| < :


(a tan)0 (z) = a0 (tan z) tan0 (z)
1 + (tan z)2
=
1 + (tan z)2
= 1.
Exerccio n70
1. Sejam z C \ R e w = log z. Pela definio da determinao principal do logaritmo, isto
significa que exp(w) = z e que Im w ] , [. Mas ento
z = exp(w) = exp(Re w + i Im w) = exp(Re w). exp(i Im w).
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 ,
exp0 (log(z)). log0 (z) = 1 exp(log(z)). log0 (z) = 1 z. log0 (z) = 1 log0 (z) = z 1 .
3. Mostra-se facilmente por induo que
(n N)(z C \ R ) : log0 (z) = (n 1)!(1)n+1 z n .
Logo, se z0 C \ R a srie de Taylor de log em z0

X
log(n) (z0 )
n=0

n!

(z z0 ) = log(z0 ) +

X
(1)n+1
n=1

nz0

(z z0 )n .

4. Seja, para cada z D(z0 , |z0 |), l(z) a soma da srie de Taylor de log no ponto z0 (cujo raio
de convergncia |z0 |); ento,
l0 (z) =

X
(1)n+1

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


X
1
z0 z n1
=
z0 n=1
z0
1
1

=
z0 1 (z0 z)/z0
= z 1 .

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

X
(1)n+1
n=1

(z 1)n .

Anlise Complexa

20062007

24

Seja M = supzK |z| e seja N 0 um nmero natural maior do que M e maior ou igual a N .
Tem-se





|z|
M
z
0

0 < 1.
(z K)(n N) : n N = 1 +
1 =
n
n
N
0
Logo, se z K e se n for um nmero natural maior ou igual a N , tem-se


!




 2
 3
 4




z
z
1
z
1
z
1
z


= n.
n. log 1 +

z




n
n 2
n
3
n
4
n


z2

z3
z4


= + 2 3 +
2n 3n
4n

M2 M3 M4

+ 2 + 3 +
n
n
n
M 2 /n2
=n
1 M/n
M2
=

nM
Como a sucesso (M 2 /(n M ))nN 0 converge para 0 ento, dado > 0, existe algum nmero
natural p N 0 tal que
M2
< .
(n N) : n p =
nM
Ento, pelos clculos anteriores, se n p e se z K tem-se:






z
n. log 1 +
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 ln (z) = n. log(1 + z/n). A alnea anterior mostra que
(ln )nN converge uniformemente para a funo identidade. Quer-se deduzir que (exp ln )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 ,
z
exp(ln (z)) = exp (n. log(1 + z/n)) = exp(log(1 + z/n)) = 1 +
n
n

n

Seja S = supzK | exp(z)|. Se z K e se n um nmero natural maior ou igual a N , ento


| exp(z) exp(ln (z))| = | exp(z)|. |1 exp(ln (z) z)| S. |1 exp(ln (z) z)| .
Como a sucesso (ln )nN converge uniformemente para a funo identidade em K, para n
suficientemente grande tem-se |ln (z) z| 1 quando z K. Mas ento sabe-se, recorrendo ao
exerccio 48 (no caso particular em que n = 1) que
|1 exp(ln (z) z)| 2|ln (z) z|.
Est ento provado que, para n suficientemente grande, se tem
(z K) : | exp(z) exp(ln (z))| 2S|ln (z) z|.
Como a sucesso (ln )nN converge uniformemente para a funo identidade em K, isto prova
que (exp ln )nN converge uniformemente para exp |K .

Anlise Complexa

20062007

25
Exerccio n73

1. Tem-se


1
(n N)(z C) : z =

1
|ez log n |

1
elog n Re z

1
nRe z

Re z
converge se Re z > 1.
e verifica-se pelo critrio do integral que a srie
n=1 1/n
2. Se Re z 1 + , ento os clculos da alnea anterior mostram que |1/nz | 1/n1+ . Deduz-se
P
P
z
1+
que a srie
ento do teste M de Weierstrass e da convergncia da srie
n=1 1/n
n=1 1/n
converge uniformemente no semi-plano dado.
3. Seja M R+ ; quer-se mostrar que existe algum R+ tal que se s ]1, 1 + [, ento
P
(s)(= |(s)|) > M . Seja N N tal que N
n=1 1/n > M . Visto que

lim

s1

N
X
1
n=1

ns

N
X
1

n=1

> M,

existe algum R+ tal que


(s ]1, 1 + [) :

N
X
1
n=1

ns

> M.

Logo,
(s ]1, 1 + [) :

X
1
n=1

ns

>

N
X
1
n=1

ns

> M.

Exerccio n74
Tem-se, para cada n N,


n.

n
n+1

z




1 =

1
1+1/n

z

1/n

f (1/n) f (0)
,
1/n

onde f : [0, 1] C a funo definida por


1
f (w) =
1+w


z

Mas esta funo derivvel e a sucesso dada converge ento para f 0 (0) = z.
Exerccio n76
1. Primeira resoluo: Se z0 C, ento
n

(z C) : z = ((z z0 ) + z0 ) =

n
X
k=0

n
k

z0 nk (z z0 )k .

Logo, se se definir a sucesso (ak )kZ+ por


(k Z+ ) : ak =

n
k

z0 nk se k n
caso contrrio,

Anlise Complexa

20062007

ento tem-se (z C) : z =

+
X

26

ak (z z0 )k .

k=0

Segunda resoluo: Pode-se resolver o problema por induo. Se n N, seja fn : C C a


funo definida por fn (z) = z n . A funo f1 a funo identidade, pelo que analtica. Por
outro lado, se, para algum p N, a funo fp for analtica ento, como fp+1 = fp .f1 e como o
produto de duas funes analticas analtica, fp+1 uma funo analtica.
2. Primeira resoluo: Seja z0 C \ {z}. Ento tem-se:
f (z) =

(z z0 ) + (z0 1/2)
1
(z z0 ) + (z0 1/2)
z 1/2
=
=

1 z/2
1 z0 /2 (z z0 )/2
1 z0 /2 1 (z z0 )/(2 z0 )

Logo, se |z z0 | < |2 z0 |, tem-se

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

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

f (z) =

X
z0 1/2
1
z0 1/2
+2
+
(z z0 )n
=
n+1
n
1 z0 /2
(2

z
)
(2

z
)
0
0
n=1

X
z0 1/2
z0 1/2
(z z0 )n
=
+2
+1
1 z0 /2
2 z0
(2 z0 )n
n=1

X
z0 1/2
1
=
+3
(z z0 )n .
n+1
1 z0 /2
n=1 (2 z0 )

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
X (1)n
cos(z) 1 +
f (z) =
=
z 2n2 .
2
z
n=1 (2n)!

Como esta igualdade tambm se verifica quando z = 0, est provado que a funo f representada 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

X
f (n) (0)
n=0

n!

zn =

(n + 1)z n .

n=0

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
1 + cos(2z)
2
!

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

(cos z)2 =

X
(1)n 22n1

=1+

(2n)!

n=1

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,

X
f (n) (0)
n=0

n!

zn =

n!z n

n=0

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 (fn )nN for uma sucesso de funes derivveis de I em R que converge pontualmente
para uma funo f : I R, ento condio suficiente para que f seja derivvel que a sucesso
(fn0 )nN seja uniformemente convergente para uma funo g : I R; caso esta condio seja
verificada, ento f 0 = 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
P
n in2 x
srie
e
(ou, mais correctamente, sua sucesso das somas parciais) v-se que a
n=0 e
funo f derivvel e que
0

(x R) : f (x) =

en in2 ein x ,

n=0
2

n 2 in x
pois a srie
in e
converge uniformemente, pelo teste M de Weierstrass2 . Analogan=0 e
mente (ou, melhor ainda, usando induo), v-se que

(k N)(x R) : f

(k)

(x) =

en ik n2k ein x .

(16)

n=0
2

Veja-se que se n N e x R, ento |en in2 ein x | = en n2 e que a srie

n=0

en n2 converge.

Anlise Complexa

20062007

28

2. Se o raio de convergncia fosse maior do que zero, ento, para algum


x R+ , a srie
P f (n) (0) n
P f (n) (0) n
x seria absolutamente convergente, ou seja, a srie n=0 n! x seria convern=0
n!
gente. Mas

P


k k 2n
P k 2n
f (n) (0)

e
i
k

k=0


k=0 e k

=
=

n!
n!
n!
Ento, se N Z+ , tem-se


X

(n)

X
X
ek k 2n n
f (0) n

x =
x
n!
n!
n=0 k=0
n=0

=
=
=
=

X
N
X
ek k 2n

n!

n=0 k=0
N X

xn

ek k 2n n
x
n!
k=0 n=0
N
X
k=0
N
X
k=0
N
X

ek

X
(k 2 x)n

n!

n=0

ek ek

2x

en en x .

n=0

Isto impossvel, pois a srie


+.

n=0

2x

en en

2x

diverge, visto que limnN en en

2 xn

= limnN en

Exerccio n82
1. Pelo mesmo processo que na resoluo da primeira alnea do exerccio anterior, v-se que f
indefinidamente derivvel e que:
(k N)(x R) : f (k) (x) =

an (in)k einx .

(17)

n=0

2. Fixe-se x0 R; quer-se mostrar que existe algum intervalo aberto I de R tal que x0 I e
que

X
f (k) (x0 )
(x I) :
(x x0 )k = f (x).
k!
k=0
De facto, tem-se

X
f (k) (x0 )
k=0

k!

(x x0 )k =
=
=
=

X
1 X
k=0 k! n=0
X

an (in)k einx0 (x x0 )k (por (16))

1
an (in)k einx0 (x x0 )k (como ser visto)
k!
n=0 k=0

X
n=0

X
n=0

an einx0

X
1
k=0 k!

(in(x x0 ))k

an einx0 ein(xx0 )

Anlise Complexa

20062007

29

an einx

n=0

= f (x).
Para terminar a resoluo, falta justificar a segunda das igualdades anteriores ou, mais precisamente, mostrar que esta vlida em algum intervalo aberto I de R tal que x0 I. Para tal,
basta que se mostre que, para algum intervalo aberto I de R tal que x0 I, a famlia


1
an (in)k einx0 (x x0 )k
k!


((k,n)Z+ 2 )

somvel (para cada x I) ou, o que equivalente, que a famlia




1

an (in)k einx0 (x x0 )k

k!

1
=
|an |(n|x x0 |)k
k!


((k,n)Z+ 2 )


((k,n)Z+ 2 )

somvel. De facto, basta tomar I =]x0 1, x0 + 1[ e observar que se x I, ento, para


qualquer parte finita M de Z+ 2 , se tem
X
(n,k)M

X
X
1
1
Cen
|an |(n|x x0 |)k
(n|x x0 |)k
k!
k!
n=0
k=0

=C
=C

en en|xx0 |

n=0

X

e|xx0 |1

n

n=0

C
|xx0 |1

1e

Exerccio n85
Seja g : C C a funo definida por g(z) = z 5 +z e seja V um aberto de C que contenha
0 e onde g 0 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 = IdU , ou seja,
(z U ) : f (z)5 + f (z) = z.
Exerccio n86
1. Para cada z C \ 2iZ tem-se
f (z) =

ez

z
z
1
=
=

2
3
1
z + z /2! + z /3! +
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
z
z cos(z/(2i)) z
z
cot

=
2i
2i
2
2i sen(z/(2i)) 2
z
(ez/2 + ez/2 )/2
z
=
z/2

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

2 e ez/2 2
 z

e +1
z
1
= z
2
e 1
= f (z).


3. Resulta das alneas anteriores que, para algum r R+ ,


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

X
Bn
n=0

z
z
z
z = cot
,
n!
2i
2i
2


(18)

o que implica que


z
z
B2 2 B3 3
z +
z + = cot
.
(z D(0, r) \ {0}) : B0 + (B1 + 1/2)z +
2!
3!
2i
2i


Mas a funo
D(0, r) \ {0}

z
z
z
7
cot
2i
2i
par, pelo que os coeficientes de ordem mpar da srie de potncias


B0 + (B1 + 1/2)z +

B2 2 B3 3
z +
z +
2!
3!

so nulos, ou seja, B1 = 1/2 e Bn = 0 quando n for mpar e maior do que 1.


4. Seja r como na alnea anterior. Resulta da definio da funo f que, para cada z D(0, r),
z

f (z).(e 1) = z

X
Bn
n=0 n!

n1
X
X
n=1

X
zn
n=1

=z

n!
!

Bk
1

zn = z
k!
(n

k)!
k=0

Mas ento, para cada n N,


n
X
Bk
k=0

n
X
1
(n + 1)!

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

n
X

n+1
k

k=0

Bk = 0

5. Por um lado, B0 = 1 Q. Por outro lado, se j se tiver provado, para algum n N, que
B0 , B1 , . . . , Bn1 Q, ento, uma vez que, pela alnea anterior,
n1
X

Bn =

k=0

n+1
k
n+1

Bk
,

Anlise Complexa

20062007

31

Bn Q.
6. Se a sucesso (Bn )nZ+ fosse limitada, ento o raio de convergncia da srie de potncias
P Bn n
se M fosse um majorante de (|Bn |)nZ+ , tinha-se que, para cada
n=0 n! z seria +; de facto,

Bn n
n Z+ e para cada z C, n! z M |z|n /n! e deduzir-se-ia ento do critrio da comparao
P
Bn n
que a srie
n=0 n! z converge. A funo
g : C
z

C
Bn n
z
n=0 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
limz2i g(z) = g(2i) e que o limite limz2i f (z) no existe.
7. Seja r R+ para o qual se tenha (18). Ento
(z D(0, r) \ {0}) : f (z) +

X
z
B2n 2n
=
z .
2 n=0 (2n)!

Mas resulta ento da segunda alnea que


(z D(0, r/2) \ {0}) : z cot(z) =

X
B2n
n=0

(2n)!

(2iz)2n = 1 +

(1)n

n=1

4n
B2n z 2n .
(2n)!

Exerccio n93 (alneas mpares)


1. No existe uma tal funo. Se existisse, seria contnua no ponto 0 e, em particular, tinha-se
1
1
f (0) = f lim
= lim f
= lim n,
nN n
nN
nN
n


 

mas este limite no existe.


3. No existe uma tal funo. Se existisse, tinha-se
1
1
1
f (0) = f lim
= lim f
= lim = 0.
nN n
nN
nN
n
n


 

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

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

f 0 (0) = lim

mas este limite no existe.


5. No existe uma tal funo. Se existisse, tinha-se


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


 

f (0) = f lim

Considere-se a funo analtica g : D(0, 1) C definida por g(z) = z. Ento


1
{z D(0, 1) : f (z) = g(z)} {0}
: n 2N ;
n


Anlise Complexa

20062007

32

em particular, o conjunto {z D(0, 1) : f (z) = g(z)} conteria, pelo menos, um ponto no isolado (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


1
1
= lim f
= 2.
nN n
nN
n


 

f (0) = f lim
e

(n N \ {1}) : f

1
2

=
n
1 + 5/ n

 

Considere-se a funo analtica


g : D(0, r) \ {1/5}
C
z
7 2/(1 + 5z).
Ento

1
{z D(0, 1) \ {1/5} : f (z) = g(z)} {0}
:nN ;
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,z6=1/5

f (z) = lim g(z),


z1/5

o que absurdo, pois este limite no existe.


9. No existe uma tal funo. Se existisse, tinha-se


1
1
1
= lim f
= lim 3 = 0.
nN n
nN
nN n
n


 

f (0) = f lim

Considere-se a funo analtica g : D(0, 1) C definida por g(z) = z 3 . Ento


1
{z D(0, 1) : f (z) = g(z)} {0}
: n 2N ;
n


em particular, o conjunto {z D(0, 1) : f (z) = g(z)} conteria, pelo menos, um ponto no isolado (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 f g
no a funo nula. Seja z U tal que f (z) 6= 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) 6= 0.

Anlise Complexa

20062007

33
Exerccio n97

Visto que f analtica e injectiva, para mostrar que bianaltica basta mostrar que f 0
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 )0 (z) =

1
f 0 (f 1 (z))

1
cos(f 1 (z))

pelo que


2

(f 1 )0 (z)

1
2

(cos(f 1 (z)))

1
1
=

2
1 z2
1 (sen(f 1 (z)))

Logo, se, para cada z D(0, 1), se definir g(z) = (f 1 )0 (z) e h(z) = 1/(1 z 2 )1/2 , est provado
que g 2 = h2 , ou seja, que (g h)(g + h) = 0. Pelo exerccio anterior tem-se g = h ou g = h
mas, visto que
1
1
=
=1
g(0) = (f 1 )0 (0) =
1
cos(f (0))
cos 0
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)
z

an z n .

n=0

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 z0 D(0, s) tal que |f (z0 )| seja igual ao mximo da restrio de |f | a
D(0, s); visto que M (r) M (s), pode-se encontrar um tal z0 em D(0, s). Mas ento a funo
|f | tem um mximo local no ponto z0 .
Segunda resoluo: Seja z0 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, |z0 | = s. Assim sendo, se |z| = r, |f (z)| < |f (z0 )| = M (s), pelo que
M (r) = sup |f (z)| = max |f (z)| < M (s).
{z:|z|=r}

{z:|z|=r}

Exerccio n99
Suponha-se, por reduo ao absurdo, que f no constante nem tem zeros; seja M (respectivamente m) o valor mximo (resp. mnimo) que a funo |f | toma em D(0, 1) e seja zM (resp.
zm ) um ponto de D(0, 1) tal que |f (zM )| = M (resp. |f (zm )| = 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 zM 6 D(0, 1), pelo que |zM | = 1. Visto que f no tem zeros em D(0, 1), deduz-se do
princpio do mnimo que |zm | = 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+


m

X

k
ak z < .
(p N) (m, n N) z D(0, 1) : m n p =




k=n

Seja R+ e seja 0 ]0, [. Novamente pelo critrio de Cauchy sabe-se que, para algum p N,

m

X


ak z k < 0 .
(m, n N) (z D(0, 1)) : m n p =
k=n

Logo, se m, n N e se z D(0, 1), z limite de alguma sucesso (zj )jN de elementos de


D(0, 1), pelo que
m

m





X
X

k

a
ak zj k 0 < .
k z = lim


jN
k=n

k=n

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




m

 X

k
z D(0, R) :
ak z < .


k=n

Para tal, tome-se p N tal que se m, n N e m n p, ento




m
X


k
(z {z C : |z| = R}) :
ak z < .


k=n

Sabe-se, pelo princpio do mximo, que se m, n N e m n p, ento






m
m
X

X



k
k
sup
ak z = sup
ak z < ,


|z|R
|z|=R
k=n

pelo que um tal p possui a propriedade desejada.

k=n