Sociedade Brasileira de Matemtica

I Colquio de Matemtica
da Regio Nordeste

Funes
Holomorfas
de uma Varivel
Evilson Vieira

28/02 a 04/03 de 2011

Universidade Federal de Sergipe

Prefcio

Este texto originou-se a partir das notas do mini-curso Funes de uma Varivel Complexa, ministrado
pelo autor no I Colquio de Matemtica do Nordeste Brasileiro realizado na Universidade Federal de
Sergipe - UFS em fevereiro de 2011.
O objetivo neste texto trabalhar os principais teoremas que sustentam a teoria das funes holomorfas de
uma varivel. Daremos nfase s tcnicas de construo de funes holomorfas a partir de outras previamente conhecidas, usando principalmente sequncias, sries e produtrios. Por ser a primeira edio, o
texto ainda no contm exerccios. Esperamos que o leitor aprecie o texto.

O Autor

05/2012

Sumrio

5
5
7

Noes Topolgicas

2.1
3

17

Introduo topologia de C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

Sequncias, sries e produtrios

19

3.1
3.2
3.3

19
25
32

Sequncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Produtrios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Limites, continuidade e derivao

4.1
4.2
4.3
4.4
4.5
4.6
5

C
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Representaes de C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Funes complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

O corpo

1.1
1.2
1.3

Limites . . . . . . . . . . . .
Continuidade . . . . . . . .
Limites infinitos . . . . . . .
Limites no infinito . . . . . .
Limites infinitos no infinito
Derivao complexa . . . .

.
.
.
.
.
.

37

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

37
42
42
43
43
44

Teoria de Cauchy

50

5.1

50

Integrao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Funes Holomorfas

6.1
6.2
6.3
6.4
6.5
6.6

Sequncias de funes holomorfas .

Sries de funes holomorfas . . . .
Sries de potncias . . . . . . . . . .
Representao em srie de potncias
Produtrios de funes holomorfas .
Zeros de funes holomorfas . . . .

59

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

59
60
60
63
68
68

Sumrio

O corpo C

1.1 Introduo
Considere um nmero imaginrio i que satisfaz seguinte propriedade:
i 2 = 1
O conjunto dos nmeros complexos o conjunto
C = { a + bi | a, b R}
a chamado parte real e b chamado parte imaginria do nmero z = a + bi.
Em C esto definidas as operaes de soma e produto:

( a + bi ) + (c + di ) = ( a + c) + (b + d)i

( a + bi ) (c + di )

= ( ac bc) + ( ad + bc)i

O conjunto dos nmeros reis R pode ser visto como um subconjunto de C dos nmeros complexos da
forma a + 0i. Assim, a estrutura de corpo de R estende-se a C naturalmente. Veja que a soma e o produto
descritos acima para nmeros da forma a + 0i coincidem com a soma e o produto convencionais em R.
Neste captulo faremos uma breve apresentao sobre a estrutura de corpo de C.

1.2 Representaes de C
Em geral, usamos o plano real R2 com coordenadas cartesianas
ou polares para representar o conjunto C. Em coordenadas
cartesianas o ponto ( x, y) do plano representa o nmero complexo

z = x + iy

Em coordenadas polares o ponto (, ) do plano representa o

nmero complexo

z = (cos( ) + i sen( ))
0

O corpo C

6
Essas duas representaes tem as seguintes relaes:
p
a) = x2 + y2
x
b) x = cos( ) cos( ) = p
x 2 + y2
y
c) y = sen( ) sen( ) = p
2
x + y2

Essas representaes nos do a idia de norma ou mdulo de um nmero complexo, que a distncia
euclidiana de z origem, ou seja,
q

|z| = | x + iy| =

x 2 + y2 =

Na sesso 1.3 estudaremos um pouco mais sobre mdulos de nmeros complexos. O nmero chamado
argumento de z.

Associando-se o nmero complexo a + bi ao vetor

a
b

R2 , podemos interpretar a soma em C como a

soma em R2 como espao vertorial. Veja:

( x + yi ) + (u + vi ) = ( x + u) + (y + v)i

 
 

x
u
x+u
+
=
y
v
y+v
E a multiplicao em C pode ser interpredada da seguinte maneira

( x + yi ) (u + vi ) = ( xu yu) + ( xv + yu)i


x
y


Ou seja, trocando se o primeiro fator

Escrevendo z no forma polar

 
 

y
u
xu yv

=
x
v
xv + yu



x
x y
pela matriz
y
y
x

x + yi = (cos( ) + i sen( ))

temos:

x
y

y
x

x 2 + y2

cos( )
sen( )

p
p

x
x 2 + y2
y
x 2 + y2

sen( )
cos( )

p
p

x 2 + y2

x
x 2 + y2

zw

Ou seja, multiplicar z por w equivale a girar w no sentido anti-horrio

(contrrio ao movimento do relgio) a um ngulo igual ao argumento de
z e em seguida multiplicar o resultado pela norma de z.

Isso pode ser melhor percebido quando escrevemos u + iv tambm em

cordenadas polares
u + iv = (cos() + i sen())

1.3 Funes complexas

( x + iy) (u + iv) = [ (cos() + i sen())] [(cos( ) + i sen( ))]

= (cos() + i sen()) (cos( ) + i sen( ))
= [(cos()(cos( ) sen()sen( ))+
+ i (sen()(cos( ) + cos()sen( ))]
= (cos( + ) + i sen( + ))
Ou seja, |zw| = |z||w| e o argumento do produto a soma dos argumentos dos fatores.
Veja que, se zw = 1 ento = 1 e + = 0. Neste caso w = z1 , portanto temos:
z1 = 1 (cos( ) + i sen( )) = 1 (cos( ) i sen( ))

Estas frmulas nos do uma frmula para a potenciao inteira.

zn = n (cos(n ) + i sen(n )) , n Z

A identificao de C com o espao vetorial R2 traz a C a desigualdade triangular, que significa exatamente o que o nome sugere: um lado de um tringulo no mximo igual soma dos outros dois.
Em C, essa desigualdade traduzida por

|z + w| |z| + |w| , z, w C
Veja a ilustrao na figura 1.1

z+w

Figura 1.1: Desigualdade triangular

Essa desigualdade estende indutivamente a somas finitas quaisquer:

| z1 + z2 + + z k | | z1 | + | z2 | + + | z k |
Veja uma ilustrao para a soma de trs nmeros na Figura 1.2.

1.3 Funes complexas

Nesta seo apresentamos as principais funes usadas com variveis complexas. Elas possuem algumas
sutilezas, mas lidamos com elas de forma similar ao que fazemos com funes reais.

O corpo C

z2

z3

z1
z1 + z2 + z3
Figura 1.2: Desigualdade triangular para a soma de trs nmeros

Re

e Im

Considere o nmero complexo z = x + iy. As funes Re e Im so definidas da seguinte forma.



Re(z) = x
Im(z) = y

Re(z) retorna a parte real do nmero complexo z enquando Im(z) retorna a parte imaginria de z. Observe
que essas funes sempre retornam um nmero real.
Exemplo 1.1. Exemplos das funes Re e Im:

? Re(2 + i) = 2

? Re( 7 i ) = 7

? Im(2 + i) = 1

? Im( 7 i ) =

? Re(i ) = 0

? Im(i ) = 1

Nota 1.2. Para todo nmero complexo z temos

z = Re(z) + i Im(z)

As funes Re e Im so R-lineares, ou seja, satisfazem s seguintes propriedades:


Re(z + w) = Re(z) + Re(w)
i) Se z e w so nmeros complexos ento
;
Im(z + w) = Im(z) + Im(w)

Re(tz) = t Re(z)
ii) Se t um nmero real e z um nmero complexo ento
;
Im(tz) = t Im(z)
(O fato de esta propriedade ser vlida para valores reais de t o motivo pelo qual dizemos que estas
funes so R-lineares)
A verificao imediata. Veja:
Ponhamos z = a + ib e w = c + id ento:
O caso i):
Re(z + w)

= Re(( a + c) + i (b + d))
= a+c
= Re(z) + Re(w)

Im(z + w)

= Im(( a + c) + i (b + d))
= b+d
= Im(z) + Im(w)

O caso ii):
Re(tz)

= Re(ta + itb)
= ta
= t Re(z)

Im(tz)

= Im(ta + itb)
= tb
= t Im(z)

1.3 Funes complexas

Note quem, em geral, no valem:

Re(z w) = Re(z) Re(w)
Im(z w) = Im(z) Im(w).

A conjugao complexa
A conjugao complexa a funo que associa o nmero complexo z = x + iy ao nmero complexo
z = x iy
Dizemos que z o conjugado complexo de z, ou apenas o conjugado de z.
Exemplo 1.3. Exemplos de conjugao complexa:

? 2+i = 2i

? 7 i = 7 + i

? 2i = 2i
? 17 = 17

Nota 1.4. Para todo nmero complexo z temos

z = Re(z) i Im(z)

Portanto, a conjugao complexa , tambm, uma funo R-linear, ou seja, satisfaz as seguintes condies:
i) Se z e w so nmeros complexos ento z + w = z + w;
ii) Se t um nmero real e z um nmero complexo ento tz = tz;
A verificao imediata, basta usar a verificao das propriedades i) e ii) das funes Re e Im vistas na
seo anterior. Veja:
O caso i):
z+w

=
=
=
=

Re(z + w) i Im(z + w)
Re(z) + Re(w) i Im(z) i Im(w)
(Re(z) i Im(z)) + (Re(w) i Im(w))
z+w

O caso ii):
tz

=
=
=
=

Re(tz) i Im(tz)
tRe(z) i tIm(z)
t(Re(z) i Im(z))
tz

Com as informaes das notas 1.2 e 1.4 temos:



z+z
zz

= 2 Re(z)
= 2i Im(z)

Com isso temos as seguintes relaes:

Re(z) =

z+z
2

Im(z) =

zz
2i

O corpo C

10

O valor absoluto
A funo valor absoluto associa a cada numero complexo z seu mdulo |z| que um nmero real nonegativo, sendo que |z| = 0, somente quando z = 0. comum chamamos o nmero real |z| de norma de
z.
Como vimos na seo 1.2 se temos o nmero complexo z = x + iy ento podemos calcular seu valor absoluto da seguintes forma:

|z| =

q
x 2 + y2

Considere z e w nmeros complexos arbitrrios. A funo valor absoluto satisfaz s seguintes propriedades:
i) |z|2 = z z
ii) |z w| = |z| |w|
A verificao do item i) imediata. Veja:
zz

( x + iy) ( x iy)
x2 ixy + ixy i2 y2
x 2 + y2
| z |2

=
=
=
=

Usamos o resultado do item i) para verificar o item ii). Veja:

| z w |2

=
=
=
=
=

(z w) z w
zwzw
zzww
| z |2 | w |2
(|z| |w|)2

Na primeira linha usamos o resultado do item i), na segunda linha usamos as propriedades da conjugao
complexa, na terceira linha usamos a comutatividade da multiplicao de nmeros complexos e na quarta
linha usamos novamente o resultado do item ii).
Temos assim, |z w|2 = (|z| |w|)2 . Portanto |z w| = |z| |w|, pois so nmeros reais no-negativos.
Exemplo 1.5. Exemplos do clculo de valor absoluto de nmeros complexos:

? |3 + 4i | = 32 + 42 = 25 = 5

? |i | = 12 + 02 = 1 = 1

? |5 + i | = 52 + 12 = 26

A funo constante
A funo constante a funo que associa todo nmero complexo a um nmero complexo pr-fixado, ou
seja, uma funo do tipo:
f :

C
z

C
7

Onde fixo. Esta funo associa a todo nmero complexo o nmero .

Exemplo 1.6. So exemplos de funes constantes as funes:

? f (z) = 5
? g(z) = 7i
? h(z) = 1 2i

1.3 Funes complexas

11

A funo identidade
A funo identidade a funo que associa todo nmero complexo a ele mesmo. Ou seja, a funo:
C
z

f :

C
7 z

Exemplo 1.7. Se f (z) a funo identidade ento:

? f (2) = 2
? f (3i ) = 3i

? f ( 3 + i ) = 3 + i

Funes de translao
Uma funo de translao uma funo da seguinte forma
C
z

f :

C
7 z +

Onde um nmero complexo pr-fixado. Veja que se = 0 teremos a funo identidade, ou seja, a funo
identidade uma translao nula.
O que estas funes fazem transladar os pontos de C.
Exemplo 1.8. So exemplos de funes de translao:

? f (z) = z
? g(z) = z + 1
? h(z) = z (4 + 5i )

Veja na Figura 1.3 o efeito da funo f (z) = z + (3 + i ) sobre o quadrado

Q = { x + iy C ; | x | 1 e |y| 1}

i
f ( Q)

i
C

Figura 1.3: Ilustrao do efeito da funo de translao

O que essa funo faz transladar todos os pontos deste quadrado somando 3 + i a cada ponto. Ou seja,
ela translada todo o quadrado, que agora passa a ser centrado no ponto 3 + i, veja que o quadrado Q est
centrado na origem (o ponto 0 + 0i).

O corpo C

12

Funes lineares
Uma funo linear uma funo da seguinte forma
C
z

f :

C
7 z

Onde um nmero complexo pr-fixado, com 6= 0. Veja que se = 1 teremos a funo identidade, ou
seja, a funo identidade uma funo linear.
Exemplo 1.9. So exemplos de funes lineares:

? f (z) = z
? g(z) = 6iz
? h ( z ) = (1 + i ) z

Veja na Figura 1.4 o efeito da funo f (z) = (1 + i )z sobre o quadrado

Q = { x + iy C ; | x | 1 e |y| 1}

2i

i
f ( Q)

2i

Figura 1.4: Ilustrao do efeito da funo linear

Essa funo gira todos os pontos do quadrado Q em torno da origem no sentido anti-horrio a um ngulo

de e multiplica o resultado por 2.

4
Isso acontece porque o nmero 1 + i tem a forma polar
 


+ i sen
1 + i = 2 cos
4
4

Funes ans
Uma funo afim uma funo da seguinte forma
f :

C
z

C
7 z +

Onde e so nmeros complexos pr-fixados, com 6= 0. Veja que se = 0 teremos uma funo linear,
ou seja, as funes lineares so funes afins.
Exemplo 1.10. So exemplos de funes afins:

? f (z) = iz
? g(z) = 2iz + 4
? h(z) = (1 + i )z (5 + 3i )

1.3 Funes complexas

13

Funes afins so composies de funes lineares com funes de translao.

Potncias inteiras
Como vimos na sesso 1.2, de fixarmos um n Z, ento podemos associar a todo nmero complexo z sua
n-sima potncia zn . Obtemos assim a funo:
f :

C
z

C
7 zn

Em coordenadas polares, fica

f :

C
(cos( ) + i sen( ))

C
7 n (cos(n ) + i sen(n ))

Fixemos n Z, com n > 0. Uma pergunta interessante :

Dado um nmero complexo w existem quantos nmeros complexos z tais que zn = w?
Primeiramente, observe que se ((cos( ) + i sen( )))n = 0 ento necessariamente = 0, e portanto o nico
nmero que satisfaz a equao z = 0.
Mas se ((cos( ) + i sen( )))n = (cos() + i sen()), com 6= 0 ento temos

n

= e

Concluimos ento que

cos(n )
sen(n )

= cos()
= sen()

= n
= 2k, para algum k Z

Existem exatamente n nmeros no intervalo [0, 2 ) que satisfazem segunda igualdade, so eles:

0 =

1 =
+

n
n

2 =
+
2
n
n

3 =
+
3

n
n

..

n1 = + 2 (n 1)
n
n
n
Isso nos mostra que, a equao ((cos
(cos() +i sen()) possui
 ( ))) = 
 exatamente n solues,
 ( )+ i sen




n
cos
+
k + i sen
+
k
que so os nmeros do conjunto:
k = 0, 1, 2, . . . , n 1 ,
n
n
n
n
quando 6= 0.

O interessante que essas solues so os vrtices

  do polgono
 regular de n lados, centrado no ponto 0 + 0i,

onde um dos vrtices o ponto z0 = n cos

+ i sen
e os outros seguem no sentido anti-horrio.
n
n
Veja na Figura 1.5 a localizao das solues das equaes z6 = 1 e z8 = 1, a primeira com seis solues e
a segunda com oito solues.
Ento estamos aptos a responder pergunta do incio da sesso. Se n um inteiro no-nulo e w um
nmero complexo no-nulo ento a equao zn = w possui, exatamente, n solues.
No caso em que n < 0 basta resolver a equao zn = w1 .
Portanto, funes que retornam potncias inteiras de nmeros complexos no so injetivas.

O corpo C

14

Figura 1.5: Ilustrao da localizao das solues das equaes z6 = 1 e z8 = 1

Funes polinomiais
Seja n um inteiro, com n 0. Uma funo polinomial de grau n uma funo da forma
f ( x ) = a n z n + a n 1 z n 1 + a n 2 z n 2 + + a 2 z 2 + a 1 z + a 0
onde an , an1 , an2 , . . . , a2 , a1 , a0 C, com an 6= 0.
Observe que as funes afins so funes polinomiais de grau 1 e que a funo constante uma funo
polinomial de grau zero.

Funes racionais
As funes racionais so as funes definidas por
f :

A
z

C
p(z)
7
q(z)

onde p(z) e q(z) so funes polinomiais e o conjunto A C o conjunto onde q(z) no se anula.
Note que as funes polinomiais so funes racionais em que polinmio q uma constante no-nula.

A exponencial complexa
A exponencial complexa a funo definida por
exp :

C
x + iy

C
7 e x (cos(y) + i sen(y))

Oberve que, restringindo-se a exponencial complexa ao conjunto dos nmeros reais, ela coincide com a
exponencial real.
Se z = x + iy e w = u + iv onde x, y, u, v so nmeros reais. Conforme vimos na seo 1.2 temos

1.3 Funes complexas

15

exp(z) exp(w)

(e x (cos(y) + i sen(y))) (eu (cos(v) + i sen(v)))

e x eu (cos(y + v) + i sen(y + v))
e x+u (cos(y + v) + i sen(y + v))
exp(z + w)

=
=
=
=

Tambm, se n um inteiro positivo, temos

(exp(z))n

= (e x (cos(y) + i sen(y)))n
= enx (cos(ny) + i sen(ny))
= exp(nz)

Geralmente denotamos ez ao invs de exp(z).

cosh

e senh

As funes complexas cosh e senh so definidas da mesma forma que so definidas para nmeros reais:
cosh(z) =

ez + ez
2

e
senh(z) =

cos

ez ez
2

e sen

Seja t R. Usando a frmula da exponencial temos

eit = cos(t) + i sen(t)

Com isso temos o sistema:



eit

eit

Cuja soluo cos(t) =

= cos(t) + i sen(t)
= cos(t) i sen(t)

eit + eit
eit eit
1
= cosh(it) e sen(t) =
= senh(it) .
2
2i
i

Como as funes cosh e senh so definidas em todo o plano complexo, definimos as funes cos e sen no
plano complexo por:

cos(z) = cosh(iz) =

eiz + eiz
2

e
sen(z) =

1
eiz eiz
senh(iz) =
i
2i

Exemplo 1.11. Calcular cos(i log(10))

eii log(10) + eii log(10)
1
1
cos(i log(10)) =
= (e log(10) + elog(10) ) =
2
2
2

1
+ 10
10

101
= 5, 05
20

O corpo C

16

O Ramo Principal do Logaritmo Complexo

Consider o conjunto U = {ei | > 0e (, )}. Esse o conjunto obtido quando removemos do
plano complexo o zero e os nmeros reais negativos.
O Ramo Principal do logaritmo complexo a funo definida por
Log :

U
ei

C
7 log() + i

Onde log o logaritmo real. Veja que, a restrio do Ramo principal do logaritmo ao conjunto dos nmeros
reais o logaritmo real.
Na sesso 6.4 estudaremos melhor os ramos de logaritmo complexo.

Noes Topolgicas

Este captulo , praticamente, um glossrio dos termos topolgicos que usaremos no desenvolvimento do
texto nos captulos seguintes. Damos uma pequena introduo topologia de C, ou seja, ao estudo dos
subconjuntos de C.

2.1 Introduo topologia de C

Um nmero complexo , tambm, tratado como um ponto do plano complexo. Assim, subconjuntos de
nmeros complexos , tambm, um subconjunto de pontos do plano. Com base nisso, temos as seguintes
definies:
Definio 2.1. Seja z C e r R+ . Denotaremos por D(z, r ) o disco centrado em z de raio r, ou seja,
D(z, r ) = {w C ; |w z| < r }
Definio 2.2. Seja A C. Damos as seguintes definies:
a) A aberto se, para todo ponto z A, existe r > 0 tal que D(z, r ) A.
b) A fechado se C A aberto.
c) A limitado se existe R > 0 tal que A D(z, R). Um conjunto que no limitado dito ilimitado.
d) A compacto se A fechado e limitado.

Em suma, a topologia de qualquer conjunto consiste na identificao dos abertos desse conjunto.
Temos, tambm, a definio de abertos relativos, como veremos a seguir:
Definio 2.3. Seja A C e B A. Ento temos:
a) B um aberto de A se, existe um aberto U C de C tal que B = U A.
b) B um fechado de A se, existe um fechado F C de C tal que B = F A.
Definio 2.4. Seja A C. Um ponto z A um ponto interior de A se r > 0 tal que D(z, r ) A. O
conjunto de todos os pontos interiores de A chamado interior de A, e denotado por int( A).

Note que um conjunto A C aberto se, e somente se, A = int( A).

Definio 2.5. Seja z C e r R+ . Denotaremos por D (z, r ) o disco o disco furado centrado em z de raio r, ou
seja,
D (z, r ) = {z C ; 0 < |w z| < r }

Um disco furado um disco que tem o seu centro removido.

18

Noes Topolgicas

Definio 2.6. Seja A C. Dizemos que um ponto z C um ponto de acumulao de A se,

D (z, r ) A 6= , r > 0
Um ponto z A que no um ponto de acumulao de A chamado ponto isolado de A. Se todos os pontos de A
so pontos isolados dizemos que A um conjunto discreto.
Pela definio 2.6, se um conjunto X C possui algum ponto de acumulao ento, para todo > 0 existem
pontos z, w X tais que |z w| < . Assim, temos o seguinte resultado:
Proposio 2.7. Qualquer subconjunto X C infinito e limitado possui um ponto de acumulao.

Demonstrao:
Suponha que a proposio seja falsa. Como X limitado, existem a, b, R, > 0 tal que
X [ a, a + ] [b, b + ]
Se X no tem ponto de acumulao ento > 0 tal que | x y| > , x, y X. Consideremos o quadrado

2 < e dividimos Q em quadrados de lado .

Q = [ a, a + ] [c, c + ]. Tomemos n N tal que
n
n

2, portando,
Obtemos, assim, um total de n2 quadrados. A diagonal de cada um destes quadrados
n
cada um deles contm no mximo um ponto de X, logo X contm no mximo n2 pontos, ou seja, X finito.
Contradio.

Definio 2.8. Seja A C denotamos por A o conjunto obtido unido-se A com todos os seus pontos de acumulao.
A chamado fecho de A.
Observe que um conjunto A C fechado se, e somente se, A = A.
Denotaremos o fecho do disco D(z, r ) por
D( z0 , r ) = { w C ; | w z | r }
Definio 2.9. Seja A C. Definimos
A = A int( A)
O conjunto A chamado bordo ou fronteira de A.
Note que se A 6= C e A 6= ento A 6= e todo disco centrado em algum ponto de A intercecta A e
C A.
Definio 2.10. Seja A C. Se existem abertos X, Y C disjuntos tais que:
A X Y;
A X 6= ;
A Y 6= ;
A dito desconexo, caso contrrio dizemos que A conexo. Chamaremos um conjunto A C de regio ou
domnio se A aberto e conexo.
Um subconjunto B A dito componente conexa de A se B aberto e fechado em A.
Se A aberto e conexo, dizemos que A simplesmente conexo se A = C ou se todas as componentes conexas de
C A so ilimitadas. Isso significa que A no tem buracos.
Definio 2.11. Seja A C. Dizemos que A convexo se, dados dois pontos quaisquer z, w A, ento o
segmento de reta que liga z a w est contido em A.

Sequncias, sries e produtrios

3.1 Sequncias
Uma sequncia de nmeros complexos uma funo
N
n

C
f (n)

(3.1)

Em geral, usamos zn no lugar f (n) e representamos essa sequncia apenas por (zn ).
Uma sequncia de nmeros complexos uma lista ordenada de nmeros complexos.

Quando falamos em lista ordenada para ficar claro quem o primeiro, segundo, terceiro termo, etc.
Exemplo 3.1. (1) a sequncia constante (1, 1, 1, . . . );

Exemplo 3.2.

 


1
1 1
a sequncia 1, , , . . . ;
n
2 3

Exemplo 3.3. (in ) a sequncia (i, 1, i, 1, i . . . );


Exemplo 3.4.

in
n


a sequncia


1
i
i, , , . . . ;
2
3

Definio 3.5. Dizemos que uma sequncia (zn ) converge se existe L C tal que, para todo > 0, tomado arbitrariamente, conseguirmos encontrar N N tal que, |zn L| < sempre que n > N. Ou seja, todos os termos zn
que aparecem na sequncia depois de x N esto contidos no disco D( L, ). Em notao matemtica escrevemos:

L C ; > 0 , N N : |zn L| < , n > N

Neste caso dizemos que a sequncia (zn ) converge para L e que L o limite de (zn ). Denotamos
lim zn = L ou zn L

20

Sequncias, sries e produtrios



Exemplo 3.6. A sequncia

in
n2


converge para 0. De fato, tome > 0, arbitrariamente. Basta tomar N N com

1
N > , ento , para todo n > N, temos:

 n
  n
i
  
 0 =  i  = 1 < 1 <  1  =  1  =
 n2
  n2 
1
n2
N2
1 2

 n

i


ou seja,  2 0 < .
n
Na Figura 3.1 aparecem os primeiros pontos desta sequncia ligados por segmentos de reta (para fixarmos a ordem
dos pontos, assim sabemos quem vem depois de quem). Na figura da esquerda vemos os pontos a partir do 1o ponto
da sequncia e na figura da direita vemos os pontos a partir do 9o ponto.

0.012
0.8
0.008

0.4
0.004

-0.004
-0.4

-0.008
-0.8

-0.8

-0.4

0.4

0.8

-0.012

-0.008

-0.004

0.004

0.008

0.012

Figura 3.1: Pontos ordenados da sequncia

Seja (zn ) uma sequncia. Se existir uma constante C e N N tal que zn = , n > N, ento (zn )
converge, e zn . Esse tipo de sequncia no muito interessante. No texto que segue, s estudaremos sequncias que no satisfazem essa propriedade, ou seja, s estudaremos sequncias (zn ), tais que o
conjunto dos pontos da sequncia {zn | n N} seja infinito.
Exemplo 3.7. A sequncia do Exemplo 3.3 no convege.
Definio 3.8. Uma sequncia (zn ) de Cauchy se para todo > 0, existir N N tal que |zm zn | < ,
m, n > N.
r
2
Exemplo 3.9. A sequncia do Exemplo 3.6 de Cauchy. Veja que, se tormarmos > 0 e N >
, ento todos

 
os pontos zn , com n > N, esto contidos no disco D 0,
, portanto, se m, n > N ento |zm zn | < . Veja a
2
Figura 3.1.

3.1 Sequncias

21

Proposio 3.10. O conjunto dos pontos de uma sequncia de Cauchy um conjunto limitado.

Demonstrao:
Seja (zn ) uma sequncia de Cauchy.
Tomemos = 1, ento N N tal que zn D( L, 1), n > N.
Tome A = max(|z1 |, |z2 |, . . . , |z N |), ento {zn | n N} D(0, A + 1).

Proposio 3.11. Uma sequncia (zn ) converge se, e somente se, de Cauchy.

Demonstrao:
Primeiramente suponha que (zn ) converge.
 
Seja L C tal que zn L e seja > 0. Seja N N tal que zn D L,
, n > N. Logo, se n, m > N ento
2
|zm zn | < , ou seja, (zn ) uma sequncia de Cauchy.
Agora suponha que (zn ) uma sequncia de Cauchy.

, m, n > N0 . Pela Proposio 3.10 o conjunto dos

2
pontos desta sequncia limitado, portanto pelaProposio
2.7 este conjunto tem um ponto de acumulao,

. Ento para todo n > N temos xn D( L, ). Assim,
digamos L C. Logo N > N0 tal que z N D L,
2
concluimos que zn L.

Seja > 0 ento N0 N tal que |zm zn | <

Agora usaremos uma recurso muito comum em Matemtica. Vamos usar os resultados apresentados at
agora para tirar concluses sobre sequncias mais complicadas. Os teoremas a seguir so de extrema importncia:

Teorema 3.12. Sejam (zn ) e (wn ) sequncias convergentes ento a sequncia (zn + wn ) converge e
lim(zn + wn ) = lim zn + lim wn

Demonstrao:
Sejam L = lim zn e M = lim wn . Fixemos > 0, dado aleatoriamente.

Pela definio de limite de seguncias, existem N1 , N2 N tais que |zn L| < se n > N1
2

e |wn M| < se n > N2 . Tome N = max{ N1 , N2 } ento, se n > N temos:

2

|(zn + wn ) ( L + M)| = |(zn L) + (wn M)|

| zn L | + | wn M |

<
+
2 2
=
Isso prova o teorema.

22

Sequncias, sries e produtrios

Teorema 3.13. Sejam (zn ) e (wn ) sequncias convergentes ento a sequncia (zn wn ) converge e
lim(zn wn ) = lim zn lim wn

Demonstrao:
Pela definio de sequncia podemos encontrar N1 , N2 N tais que |zn L| <

se n > N1
2(| M| + 1)

se n > N2 . Caso seja necessrio, substituimos N2 por um valor maior, de forma

2(| L| + 1)
que tambm tenhamos |wn M| < 1 sempre que n > N2 , isso significa que:
e | wn M | <

| wn | = | wn M + M | | wn M | + | M | < | M | + 1
Tome N = max{ N1 , N2 } ento, se n > N temos:

| zn wn L M | =
=

| zn wn L wn + L wn L M |
|(zn L)wn + L (wn M)|
|(zn L) wn | + | L (wn M)|
| zn L | | wn | + | L | | wn M |

(| M| + 1) + | L|
<
2(| M | + 1)
2(| L| + 1)

<
+
2 2
=


Isso prova o teorema.

Corolrio 3.14. Seja (zn ) uma sequncia convergente e seja C ento a sequncia ( zn ) converge e
lim( zn ) = lim zn
em partiular, a sequncia (zn ) converge e
lim(zn ) = lim zn

Demonstrao:
Basta considera o produto de sequncias (wn zn ), onde (wn ) a sequncia constante (). Agora s
usar o resultado do Teorema 3.13


Corolrio 3.15. Sejam (zn ) e (wn ) sequncias convergentes ento a sequncia (zn wn ) converge e
lim(zn wn ) = lim zn lim wn

Demonstrao:
Bata substituir zn wn por zn + (wn ) e usar o Corolrio 3.14 e o Teorema 3.12.

3.1 Sequncias

23

Corolrio 3.16. Seja (zn ) uma sequncia convergente e seja m N ento a sequncia (zm
n ) converge e
m
lim zm
n = (lim zn )

Demonstrao:
Basta aplicar o resultado do Teorema 3.13 usando o Princpio da Induo Matemtica.
Pelo Teorema 3.13 (z2n ) converge e
lim z2n = lim zn zn = lim zn lim zn = (lim zn )2
.
Suponha que para algum k N a sequncia (zkn ) converge e lim zkn = (lim zn )k .
Ento, pelo Teorema 3.13 a sequncia (zkn+1 ) converge pois zkn+1 = zkn zn
e temos lim zkn+1 = lim(zkn zn ) = (lim zn )k lim zn = (lim zn )k+1

Isso conclui a prova.

Corolrio 3.17. Seja p(z) = an zn + + a2 z2 + a1 z + a0 uma funo polinmial. Se (zn ) uma sequncia
convergente e ento a sequncia ( p(zn )) converge e
lim p(zn ) = p(lim zn ).

Demonstrao:

Basta aplica o Corolrio 3.16, juntamente com o Corolrio 3.14 e o Teorema 3.12.

Teorema 3.18. Seja (zn ) uma sequncia convergente, tal que lim zn 6= 0 ento a sequncia

lim

1
zn

1
zn


converge e

1
lim zn

Demonstrao:
Pela definio de sequncia podemos encontrar N N tais que |zn L| <

| L |2
se n > N.
2

Caso seja necessrio, substituimos N por um valor maior, de forma que tambm tenhamos |zn L| <
sempre que n > N, isso significa que:

| L| = | L zn + zn | | L zn | + |zn | <
Portanto

|zn | >

| L|
2

| L|
+ |zn |
2

| L|
2

24

Sequncias, sries e produtrios

E temos a desigualdade
1
2
<
|zn |
| L|
Se n > N teremos:
1
1 

 
zn
L

Lz 

n
= 

L zn
1
1
= | L zn |

| L| |zn |
| L |2 1
2
<

2
| L| | L|
=

Isso prova o teorema.


Corolrio 3.19. Sejam (zn ) e (wn ) sequncias convergentes, onde lim wn 6= 0 ento a sequncia
verge e
lim

zn
wn


con-

zn
lim zn
=
wn
lim wn

Definio 3.20. Seja (zn ) uma sequncia. Dizemos que o limite desta sequncia o infinito se, para todo R > 0,
existir N N tal que |zn | > R sempre que n > N. Ou seja, todos os nmeros que aparecem na sequncia depois de
z N esto fora do disco D(0, R). Denotamos isto por:
lim zn =

Teorema 3.21. Seja (zn ) uma sequncia. Ento

lim zn = se, e somente se, lim

1
=0
zn

Demonstrao:
Seja R > 0. Se lim

1
1
1
 
= 0 ento existe N N tal que, se n > N temos   < , logo, |zn | > R.
zn
zn
R

1
Reciprocamente, se lim zn = ento, dado > 0 existe N N tal que, se n > N temos |zn | > , logo

1
 

  < .
zn
Exemplo 3.22. Vamos mostrar que a sequncia (2in + 3 + 5i ) tende ao infinito.

Observe que a sequncia

1
2in + 3 + 5i


converge para zero, para ver isto basta usar os resultados mostrados neste

captulo:
lim

1
1
= lim
2in + 3 + 5i
n

Isso mostra que lim (2in + 3 + 5i ) =

1
1
= 0
=0
1
2i + 0 (3 + 5i )
2i + (3 + 5i )
n

3.2 Sries

25

3.2 Sries
Considere uma sequncia (zn ) e a sequncia (sn ) obtida da seguinte forma:
s n = z1 + z2 + + z n
ou seja
n

sn =

zi

i =1

Uma sequncia como (sn ) chamada srie. Se a sequncia (sn ) converge dizemos que a srie converge,
caso contrrio, dizemos que a srie diverge.
Em geral denotamos a srie (sn ) por

zn

n =1

muito comum uma srie aparecer como

zn , onde os termos comeam a ser somados a partir do ndice

n =0

zero.

Exemplo 3.23. Seja C , com || < 1. A srie

n converge. De fato, considere a sequncia (sn ) das somas

n =0

parciais.

s n = 1 + + 2 + + n =
Como lim n+1 = 0, ento lim sn =

1 n +1
1

1
. Portanto
1

n = 1

n =0

Essa srie conhecida como Srie Geomtrica.

Uma srie tambm pode ser vista como uma soma de vetores no plano, basta associar o nmero complexo
z = x + iy ao vetor h x, yi, assim, para uma srie obtemos a figura de uma curva poligonal infinita, que rep

1
i n
resenta a soma consecutiva dos termos da srie. Por exemplo, considere a srie geomtrica
+
.
3
n =0 2
Baseado exemplo anterior temos:

n =0

1
i
+
2 3

n

=
1

1
6
6
18 12
 =
=
=
+ i
i
1
6 (3 + 2i )
3 2i
13 13
+
2 3

Veja o esboo da poligonal que representa essa srie na Figura 3.2. Do lado esquerdo aparece uma ampliao
prximo do local da convergncia.
Note a semelhana com a figura que usamos para ilustrar sequncias (veja a Figura 3.1 na seo anterior).
Isso muito natural, pois sempre podemos associar uma sequncia a uma srie. E tambm podemos associar uma srie a uma sequncia: Se (zn ) uma sequncia convergente associamos a ela a srie


wn

n =1

, onde

w1 = z 1
w n = z n z n 1 , n 2

26

Sequncias, sries e produtrios

0.98

1.2
0.97

0.96

0.8

0.95
0.4

0.94

0.93

0.4

0.8

1.2

1.6

1.35

1.36

1.37

1.38

Figura 3.2: Poligonal que representa a srie geomtrica para =

1.39

1.4

1
i
+ .
2 3

Testes de convergncia
Antes de tentar calcular o limite de uma srie, primeiro necessrio saber se ela converge. Para isso existem
vrios testes de convergncia. Nesta subseo apresentaremos os testes de convergncia mais populares.
Definio 3.24. Uma srie complexa
converge.

n =0

n =0

zn converge absolutamente se a srie de nmeros reais positivos |zn |

Teorema 3.25. Se

zn converge absolutamente. Ento:

n =1

a)

zn converge;

n =1

b) Se {n1 , n2 , n3 , . . . } uma reordenao de N = {1, 2, 3, . . . } ento

j =1

n =1

zn j = zn .

Demonstrao:
Seja a sequncia (sn ) onde
n

sn =

zi

i =1

Seja > 0. Logo, por hiptese, N N tal que

|zn | < , pois a srie converge absolutamente.

n = N +1

Logo, se n > m > N temos:



 m

m



|sn sm | =  zn  |zn | |zn | <
 i = n +1  i = n +1
n = N +1

Logo (sn ) de Cauchy, portanto converge. Isso prova a).

3.2 Sries

27

Seja s =

zn .

n =1

Seja {n1 , n2 , n3 , . . . } uma reordenao de N = {1, 2, 3, . . . }. Seja M N o menor inteiro tal que {1, 2, . . . , N }
{n1 , n2 , . . . n M }. Para todo l > M temos:








l
l




s zn j  =  zn zn j 




n =1
j =1
j =1








zn 


n6{n1 ,n2 ,...,nl } 

|zn |

n6{n1 ,n2 ,...,nl }

|zn | <

n = N +1

Isso mostra que

zn j =

j =1

zn . Isso prova b).

n =1

Antes de prosseguirmos, precisamos das seguintes definies:

Definio 3.26. Seja ( xn ) uma sequncia de nmeros reais positivos. O nmero real chamado limite inferior de

( xn ) se para todo > 0, escolhido arbitrariamente, existir N N tal que | x N | < e para todo n > N tivermos
xn > . Neste caso denotamos
lim inf xn =
Se no existe , dizemos que lim xn = +.
Definio 3.27. Seja ( xn ) uma sequncia de nmeros reais positivos. O nmero real chamado limite superior
de ( xn ) se para todo > 0, escolhido arbitrariamente, existir N N tal que | x N | < e para todo n > N
tivermos xn < + . Neste caso denotamos
lim sup xn =
Se no existe dizemos, que lim sup xn = +.

Estas duas definies foram adaptadas para sequncias de nmeros reais positivos. Para sequncias arbitrarias de nmeros reais a definio um pouco mais rigorosa. Veja [3] para ver a definio completa.
Dizer que lim sup xn = significa dizer que, para todo > 0 existe N N tal que todos os termos
da sequncia que aparecem depois de x N esto contidos no intervalo (0, + ), e que isso no vale para
nenhum outro nmero menor que .
Convm ressaltar que se a sequncia ( xn ) converge ento lim sup xn e lim inf xn coincidem com lim xn .
Inspirados na Srie Geomtrica temos dois testes convergncia bem populares: o teste da razo e o teste da
raiz.

28

Sequncias, sries e produtrios

Teste da razo

Seja

zn uma srie. Podemos supor, sem perda de generalidade que zn 6= 0, n N. Seja

n =0



 z n +1 


R = lim sup 
zn 

Se R < 1 a srie converge absolutamente; Se R = 1 nada podemos dizer sobre sua convergncia; Se R > 1

a srie diverge.


 z n +1 
 < 1 significa dizer que existe N N tal que todos os termos da sequncia

Dizer que lim sup 

z
n


z n +1
, com n > N, esto contidos no disco unitrio D(0, 1).
zn
Exemplo 3.28. Seja C. Considere a srie

n
.
n!
n =0



 n +1 




 ( n + 1) ! 
 
||




lim sup 
=
lim
sup

 n + 1  = lim sup n + 1 = 0
 n





n!
Portanto a srie converge.
Na Figura 3.3 damos o esboo da poligonal desta srie para o caso em que = 4 + 3i. Do lado direito temos uma
ampliao.

60
7.74
48

7.68
36

24

7.62

12
7.56

7.5

-60

-48

-36

-24

-12

12

-54.12

-54.06

-54

Figura 3.3: Poligonal da srie do Exemplo 3.28 para = 4 + 3i.

-53.94

-53.88

3.2 Sries

29

Teste da raiz

Seja

zn uma srie e seja

n =0

q
R = lim sup

|zn |

Se R < 1 a srie converge absolutamente;

Se R = 1 nada podemos dizer sobre sua convergncia;
Se R > 1 a srie diverge.

Exemplo 3.29. Seja C. Considere a srie

n
.
nn
n =0

s 
r
n
 n
||
n ||
n  
= lim sup
=0
lim sup  n  = lim sup
n
n
n
n
Portanto a srie converge. Veja na Figura 3.4 um esboo da poligonal associada esta srie para = 4 + 3i

15.6

12

15

14.4
8
13.8

13.2

12.6

-4

1.8

2.4

3.6

4.2

4.8

Figura 3.4: Poligonal da srie do Exemplo 3.29 para = 4 + 3i.

Um outro teste bem conhecido o teste da integral.

Teste da integral
Seja f : [0, +) R+ uma funo contnua no-crescente tal que
Z +
1

f ( x )dx < +

Seja zn uma srie. Se N N tal que |zn | f (n), n > N, ento esta srie converge absolutamente. Se
R +n=0
f ( x )dx = + e existir N N tal que |zn | f (n), n > N, ento a srie diverge.
1

30

Sequncias, sries e produtrios

Exemplo 3.30. Seja C, com Re() > 1. Considere a srie

Observe que:

n . Sejam a, b R, tais que = a + bi.

n =1

|n | = |nabi | = |na nbi | = na |nbi | = na 1 = na

O motivo pelo qual |nbi | = 1 ser explicado na seo 6.4. Como a > 1 temos que:
Z +
1

x a dx

Z R

lim

R+ 1

lim

R+

x a dx = lim

R+

1
R 1 a

1a 1a

R
x1 a 
1 a 1
1
a1

Portanto a srie converge absolutamente.

Observe que se Re() 1 a srie diverge. Na Figura 3.30 exibimos a poligonal associada a esta srie para =
3
+ 41i. Nela aparecem as primeiras 1000 somas parciais. Para melhorar o visual omitimos os pontos que marcam
2
os vrtices da poligonal.

0.4
-0.042

-0.0432

0.2

-0.0444
0
-0.0456

-0.2

-0.0468

-0.048
-0.4

-0.0492

0.2

0.4

0.6

0.8

0.6876

0.6888

0.69

0.6912

Figura 3.5: Poligonal da srie do Exemplo 3.30 para =

0.6924

0.6936

0.6948

0.696

3
+ 41i.
2

s vezes podemos concluir se uma srie converge ou no, comparando-a com uma srie que converge ou
no.

Teste da comparao

Seja

zn

uma srie que converge absolutamente e seja

n =0

|wn | |zn |, n > N. Ento

wn

uma outra srie. Se N N tal que

n =0

wn converge absolutamente.

n =0

Na verdade, para garantirmos a convergncia absoluta, basta que

 
 wn 
lim sup   < +
zn

Se

n =0

n =0

zn diverge e existe N N tal que |wn | |zn |, n > N, ento wn diverge.

3.2 Sries

31

Exemplo 3.31. Neste exemplo vamos ilustrar a deficincia das sries que no convergem absolutamente.
Considere a srie

(1)n
n
n =1

1
ento, para todo m, n > N, temos:




 m (1)k   1
1
1
(1)mn1 

 

+
++

=

 k = n +1 k   n + 1 n + 2 n + 3
m

Esta srie convergente. De fato, dado > 0, basta tomar N >

Veja que

1
1
1
(1)mn1

+
++
=
n+1 n+2 n+3
m

 

1
1
1
1
(1)mn1

>0
+
++
n+1 n+2
n+3 n+4
m

E tambm

1
1
1
(1)mn1

+
++
=
n+1 n+2 n+3
m


1
1
1
(1)mn1
1

+
<
n+1
n+2 n+3
m
n+1

Logo

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

Isso mostra que a sequncia (sn ) das somas parciais da srie de Cauchy, logo, converge. Mas, pelo teste da integral,
vemos que esta srie no converge absolutamente.
Agora considere um nmero real A. Podemos encontrar uma reordenao {n1 , n2 , n3 , . . . } de N = {1, 2, 3, . . . }
tal que, se (s j ) a sequncia das somas parciais da srie

(1)n j
nj
j =1
ento lim s j = A
Vamos construir uma reordenao de N que satisfaa essa propriedade.

1
1
= + e
= + (teste da integral).
2n
2n
1
n =1
n =1

Primeiro observe que

Comeamos a reordenao com os nmeros mpares ordenadamente, at que ocorra s j < A pela primeira vez. Se
A > 0 passamos para o prximo passo.
Em seguida colocamos os nmeros mpares ordenadamente, at que ocorra s j > A pela primeira vez.
Repetimos estes passos sucessivamente com os nmeros mpares e pares restantes. E pronto, teremos lim s j = A.
Ou seja, podemos reordenar N e fazer a srie convergir para qualquer nmero real que queiramos.
Tambm podemos reordenar N de forma que a srie nem mesmo convirja.

32

Sequncias, sries e produtrios

3.3 Produtrios
Um produtrio uma sequncia ( pn ) obtida apartir de uma sequncia (zn ), da seguinte forma:
p n = z1 z2 z n
ou seja
n

pn =

zi

i =1

Se a sequncia ( pn ) converge dizemos que o produtrio converge, caso contrrio, dizemos que o produtrio
diverge.
Em geral denotamos o produtrio ( pn ) por

zn

n =1

Usando o teste da razo vemos que, se ( pn ) converge ento,



 p n +1 

 = lim sup |zn+1 | 1
lim sup 
pn 
Suponha que lim sup |zn | = < 1. Seja R, tal que < < 1. Ento N N tal que |zn | < , n > N.
Ento







 zn  = |zn | = lim n = 0
 n = N +1  n = N +1
n = N +1
Logo

zn = p N

n =1

n = N +1

zn = 0

n = N +1

Portanto, se algum zn = 0 ou se lim sup |zn | < 1 ento

zn = 0.

n =1

Se o produtrio converge para algum p C ento

lim zn+1 = lim

p
p n +1
= =1
pn
p

ou seja, lim zn = 1. Por esse motivo, estudaremos apenas produtrios da forma

(1 + u n )

n =1

com lim un = 0.

Lema 3.32. Seja (zn ) uma sequncia. Para todo N N temos:



 N

N


 (1 + zn ) 1 (1 + |zn |) 1
 n =1
 n =1

Demonstrao:
Provaremos por induo sobre N.
Para N = 1 o resultado facilmente verificado.

zn = 0

3.3 Produtrios

33

= k 1 ento:




k


 (1 + z k +1 ) (1 + z n ) 1 


n =1




k
k


=  z k +1 (1 + z n ) + (1 + z n ) 1 


n =1

 n=1


  k

k

 

 z k +1 (1 + z n )  +  (1 + z n ) 1 




n =1
n =1

Suponha que o resultado seja vlido para N

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

|zk+1 | (1 + |zn |) +

induo

n =1

(1 + |zn |) 1

n =1

= (1 + |zk+1 |) (1 + |zn |) 1
n =1

k +1

(1 + |zn |) 1

n =1

Portanto vale para N = k + 1.

Lema 3.33. Para a funo x 7 e x valem os seguintes fatos:
Se x 0 ento 1 + x e x ;
Se 0 x 1 ento e x 1 2x;
1
Se 0 x ento 1 x e2x ;
2

Demonstrao:
O primeiro fato, obtm-se da igualdade
ex = 1 + x +

x2
x3
+
+
2!
3!

O segundo fato, consequncia da desigualdade abaixo:

ex

x3
x4
x5
x2
+
+
+
+
2!
3!
4!
5!
x
x
x
x
1+x+ + + + +
2! 3! 4! 5!


1
1
1
1
1+x 1+ + + + +
2! 3! 4! 5!

= 1+x+

= 1 + x ( e 1)
1 + 2x
Para o terceiro fato, basta ver que se 0 x 1 ento
e x

x3
x4
x5
x2

+
2!
3!
4!
5!
x2
x3 
x  x5 
x
1x+

2!
3!
4
5!
6

= 1x+
=

x2
2!
x
1x+
2
x
1
2

1x+

34

Sequncias, sries e produtrios

Teorema 3.34. Se

zn converge absolutamente. Ento:

n =1

a)

(1 + zn ) converge;

n =1

b) Se {n1 , n2 , n3 , . . . } uma reordenao de N = {1, 2, 3, . . . } ento (1 + zn j ) =

j =1

c)

(1 + zn ) = 0 se, e somente se, zn = 1 para algum n N.

n =1

Demonstrao:
Seja a sequncia ( pn ) onde

pn =

(1 + z i )

i =1

Suponha que zn 6= 1, n N. Neste caso pn 6= 0, n N.

Nesta desmostrao usaremos as desigualdades mostradas no Lema 3.33.
Primeiro verifiquemos que a sequncia ( pn ) e limitada.
m

Seja K N tal que

|zn | < 1, m > n > K. Logo, para n > K, temos

i = n +1


   n

n
 pn  
  =  (1 + zn ) (1 + |zn |) enK+1 |zn | < e
p  
 K +1
K
K +1
Seja

C = max{| p1 |, | p2 |, . . . , | pK 1 |, e | pK |}

ento | pn | C, n N. Isso mostra que a sequncia ( pn ) limitada.

Agora mostremos que ( pn ) converge.
Fixemos (0, 1). Seja N N, com N K, tal que
m

| zi | < , m > n > N

i = n +1

Logo, se m > n > N

| pm pn | =
=




 pm

1
| pn | 
pn


 m



| p n |  (1 + z i ) 1
 i = n +1

!

(1 + |zi |) 1

i = n +1

| zi |

i = n +1

= C ( e i = n +1 | z i | 1 )
m

C ( e 1)
2C

(1 + z n );

n =1

3.3 Produtrios

35

Logo ( pn ) de Cauchy, portanto converge. Isso prova a).

Seja p =

(1 + z n ).

n =1

Seja {n1 , n2 , n3 , . . . } uma reordenao de N = {1, 2, 3, . . . }. Seja M N o menor inteiro tal que {1, 2, . . . , N }
{n1 , n2 , . . . n M }. Para todo l > M temos:




l


 p (1 + z n j ) 


j =1




l


=  (1 + z n ) (1 + z n j ) 

 n =1
j =1


 

 l





(
1
+
z
)

1
= | p N |  (1 + zn j ) 
n


 j = M +1
 n6{n ,n ,...,n }

1 2
l

(1 + |zn j |)

j = M +1
l

(1 + |zn j |)

|zn j |

j = M +1

Ce

lj= M+1 |zn j |

(1 + |zn |) 1

n = N +1

j = M +1

(1 + |zn |) 1

n6{n1 ,n2 ,...,nl }

|zn |

n = N +1



e n = N +1 | z n | 1

C e ( e 1)
< C e 2
= 2eC

Isso mostra que (1 + zn j ) =

j =1

Por ltimo, seja =

(1 + zn ). Isso prova b).

n =1

|zn |. Seja L K tal que, para todo m > L temos |zm | 2 , logo:

n =1



 m



 (1 + z n ) 
 n = L +1


|1 + z n |

(1 |zn |)

e 2| z n |

n = L +1
m
n = L +1
m
n = L +1

= e 2 n = L +1 | z n |
m

e2













Portanto  (1 + zn ) = | p L |  (1 + zn ) | p L |e2 > 0. Isso prova c).
 n =1

 n = L +1


Para ilustrar a necessidade da convergncia da srie |zn | para que o produtrio (1 + zn ) seja convern =1
  n =1

1
1
1
. Observe que 0, mas = +.
gente e seja no-nulo, considere a sequncia
n
n
n
n =2

Considere o produtrio

n =2


1
1
.
n
pn =

n2 n1
1
1 2 3

=
2 3 4
n1
n
n

36

Sequncias, sries e produtrios

Logo

1
n

n =2

n1
=0
n
n =2

pois pn 0.

Da mesma forma,

n =1

1
1+
n

= +. Verifique.

Exemplo 3.35. Seja C, com || < 1. Ento o produtrio

(1 + n )

n =1

n
n
n
converge e no-nulo pois
n=1 converge absolutamente (srie geomtrica) e, n N, | | = | | < 1, logo
n
6= 1. Veja o Exemplo 3.23.

Exemplo 3.36. Seja C, com Re() > 1.

(2, 3, 5, 7, 11, . . . ). O produtrio

Seja (qn ) a sequncia dos nmeros primos, ou seja,

(1 qn )1

n =1

converge e no-nulo.
1 converge se, e somente se,

De fato,

n =1 (1 q n )
n=1 (1 qn ) converge. Mas, este ltimo converge pois a

srie n=1 qn converge absolutamente. Observe que

|q
n |<

n =1

| n | < +

n =1

Veja o Exemplo 3.30. Veja tambm que, n N, |q

n | < 1, logo qn 6 = 1.

1 = 1 + q + q2 + q3 + (srie geomtrica), portanto,

Como |q
n | 1, ento (1 qn )
n
n
n

n =1

n =1

(1 qn )1 = (1 + qn + qn2 + qn 3 + )

Considere os conjuntos

An = {q1k1 q2k2 qknn | k1 , k2 , . . . , k n Z+ } N

Ento:
p1
p2
p3

= 1 + 2 + 22 + 23 + =
=
=
..
.

pn

(1 + 2

+ 22

mA1

)(1 + 3

+ ) =

j =1

mA3

(1 + qj + qj 2 + qj 3 + ) =
n

j =1

mAn

(1 qj )1 =

Note que A1 An A3 e que

An = N, logo:

n =1

n =1

n =1

(1 qn )1 = n

mA2

Limites, continuidade e derivao

4.1 Limites
Definio 4.1. A partir deste ponto chamaremos de regio um subconjunto aberto e conexo de C.
Consideremos uma funo f : A C, onde A C um regio.

Seja L C e z0 C um ponto de acumulao de A. Dizemos que L o limite de f (z) quando z tende a

z0 se, para todo > 0 existe > 0 tal que | f (z) L| < sempre que z A e |z z0 | < . Em termos
matemticos:

> 0 , > 0 ; z A e | z z0 | < | f ( z ) L | <

Outra forma de definir a seguinte:

Para todo > 0 existe > 0 tal que, se z A D (z0 , ) ento f (z) D( L, ), ou seja, a imagem da parte
do disco furado D (z0 , ) que est contida em A pela funo f est contida no disco D( L, ). Em termos
matemticos:

> 0 , > 0 ; z A D (z0 , ) f (z) D( L, )

Denotamos
lim f (z) = L

z z0

Observe que o ponto z0 pode no pertencer a A, e mesmo quando pertence, os clculos s so feitos em um
disco furado centrado em z0 , ou seja, o nmero z0 fica fora dos clculos. Veja uma ilustrao na Figura 4.1.

Proposio 4.2. Seja a funo constante

Ento, para todo z0 C, temos

f :C
z

C
7

lim f (z) =

z z0

Demonstrao:
Seja > 0 dado previamente. Como f (z) = para todo z C, ento basta tomar qualquer > 0 e
teremos que f (z) D(, ) sempre que z D (z0 , ).


38

Limites, continuidade e derivao

z0

A
f

z0

A
Figura 4.1: Ilustrao do clculo do limite

Proposio 4.3. Seja a funo identidade

f :C
z

C
7 z

Ento, para todo z0 C, temos

lim f (z) = z0

z z0

Demonstrao:
Seja > 0 dado previamente. Como f (z) = z para todo z C, ento basta tomarmos qualquer > 0
com e teremos que f (z) D(z0 , ) sempre que z D (z0 , ).


Teorema 4.4. Seja A C uma regio e sejam f , g : A C funes. Seja z0 C um ponto de acumulao de
A e sejam L, M C tais que lim f (z) = L e lim g(z) = M ento:
z z0

z z0

a) lim ( f (z) + g(z)) = L + M;

z z0

b) lim ( f (z) g(z)) = L M;

z z0

Demonstrao:
Fixemos um > 0.
Item a):
Pela definio de limite, existem 1 > 0 e 2 > 0 tais que

| f (z) L| < 2

| g(z) M| <
2

, se

0 < |z z0 | < 1

, se

0 < |z z0 | < 2

4.1 Limites

39

Se tomarmos um > 0 tal que min{1 , 2 } teremos que, se 0 < |z z0 | < ento

| f (z) + g(z) ( L + M)| = | f (z) L + g(z) M|

| f (z) L| + | g(z) M|

<
+
2 2
=

Item b):
Pela definio de limite, existem 1 > 0 e 2 > 0 tais que

| f (z) L| <

2(| M | + 1)

| g(z) M| <
2(| L| + 1)

, se

0 < |z z0 | < 1

, se

0 < |z z0 | < 2

Tomamos 2 de forma que

| g(z) M| < 1 , se 0 < |z z0 | < 2

Para isso, basta diminuir o valor de 2 se for necessrio.
Neste caso, se 0 < |z z0 | < 2 , ento:

| g(z)| = | M + g(z) M|
| M| + | g(z) M |
< | M| + 1
Portanto, se tomarmos um > 0 tal que min{1 , 2 } teremos que, se 0 < |z z0 | < ento

| f (z) g(z) L M | = | f (z) g(z) L g(z) + L g(z) L M |

= |( f (z) L) g(z) + L ( g(z) M)|
| f (z) L| | g(z)| + | L| | g(z) M|

<
(| M| + 1) + | L|
2(| M| + 1)
2(| L| + 1)
=
<
=

| L|

2 | L| + 1 2

+
2 2

Corolrio 4.5. Seja A C uma regio e seja f : A C uma funo. Seja z0 C um ponto de acumulao de
A seja L C tal que lim f (z) = L ento:
z z0

a) lim ( f (z)) = L, C. Em particular lim ( f (z)) = L;

z z0

b) lim ( f (z))n = Ln , n N;
z z0

z z0

40

Limites, continuidade e derivao

Demonstrao:
um resultado direto do Teorema 4.4. No item a) considera-se a constante como uma funo constante e
no item b) basta aplicar o Teorema 4.4 juntamente com a induo matemtica.


Corolrio 4.6. Seja p(z) = an zn + + a2 z2 + a1 z + a0 uma funo polinomial em C. Ento

lim p(z) = an z0n + + a2 z20 + a1 z0 + a0

z z0

ou seja, lim p(z) = p(z0 ).

z z0

Demonstrao:
Basta combinar as proposies 4.2 e 4.3 com o Teorema 4.4 e o Corolrio 4.5.

Teorema 4.7. Seja A C uma regio e seja f : A C uma funo. Seja z0 C um ponto de acumulao de
A e seja L C tal que lim f (z) = L ento, se L 6= 0, temos
z z0

lim

z z0

1
1
=
f (z)
L

Demonstrao:
Pela definio de limite, existe > 0 tal que

| f (z) L| <

| L |2
, se 0 < |z z0 | <
2

Como L 6= 0, podemos tomar de forma que

 
L
| f (z) L| <   , sempre que 0 < |z z0 | <
2

Para isso, basta diminuir o valor de se for necessrio.

Neste caso, se 0 < |z z0 | < , ento:

| L| < | L f (z) + f (z)|

| L f (z)| + | f (z)|
 
L
  + | f (z)|
2
 

  
L
 1  2



< 
Logo | f (z)| >  , e ento 
2
f (z)   L 
E portanto, temos:

4.1 Limites

41


 1
1 


 f (z)
L



 L f (z) 

= 
L f (z) 

  

1  1 




|( f (z) L)|   
L
f (z) 
   
| L|2  1   2 
  
2
L
L

=
<
=


Corolrio 4.8. Seja A C uma regio e Sejam f , g : A C funes. Seja z0 C um ponto de acumulao
de A e sejam L, M C tais que lim f (z) = L e lim g(z) = M ento:
z z0

z z0

a) lim ( f (z) g(z)) = L M;

z z0

b) Se M 6= 0, ento lim

z z0

f (z)
L
= ;
g(z)
M

Demonstrao:
Basta combinar o Teorema 4.4 com o Corolrio 4.5 e com o Teorema 4.7.
Exemplo 4.9.

lim(z2 + 1) = i2 + 1 = 0
z i

Pois

z2

+ 1 um polinmio (veja o Corolrio 4.6). Aqui o conjunto A todo o plano complexo.

Exemplo 4.10.
lim

z2i

z3 + i
7
= i
2
3
z +1

Pois + i e + 1 so polinmios. Aqui o conjunto A todo o plano complexo menos os pontos i e i, ou seja,
A = C {i, i }.
z3

z2

Veja que lim (z3 + i ) = 7i e lim (z2 + 1) = 3. Ento s fazer uso do Corolrio 4.8.
z2i

z2i

Exemplo 4.11.
lim

z 0

Veja que A = C , e em A, temos

Exemplo 4.12.

z
= lim 1 = 1
z
z 0

z
= 1.
z

(z 1)(z + 1)
z2 1
= lim
= lim (z + 1) = 2
z1
z 1
z 1
z 1 z 1
lim

Veja que A = C {1}, isso permite a diviso por (z 1) no numerador e denominador da frao.

Exemplo 4.13.
0
z3 2iz4
z 2iz2
= =0
=
lim
1
z0 z2 2z3
z0 1 2z

2
Veja que A = C , isso permite a diviso por z no numerador e denominador da frao.
lim

42

Limites, continuidade e derivao

4.2 Continuidade
Definio 4.14. Seja A C um aberto. Dizemos que a funo f : A C contnua no ponto z0 A se
lim f (z) = f (z0 )

z z0

Se a funo contnua em todo ponto de A dizemos que f contnua em A.

Exemplo 4.15. Funes polinomiais so contnuas em todo ponto de C. Veja o Corolrio 4.6.

Teorema 4.16. Seja A C uma regio e sejam f , g : A C funes. Seja z0 A Se f e g so contnuas em

z0 ento:
a) h(z) = f (z) + g(z) contnua em z0 ;
b) h(z) = f (z) g(z) contnua em z0 ;
c) h(z) = f (z) g(z) contnua em z0 ;
d) Se g(z0 ) 6= 0 ento h(z) =

f (z)
contnua em z0 .
g(z)

Demonstrao:

Como lim f (z) = f (z0 ) e lim g(z) = g(z0 ), basta usar o Teorema 4.4 e o Corolrio 4.8.
z z0

z z0

Teorema 4.17. Sejam A, B C regies e f : A C e g : B C funes. Seja z0 C um ponto de

acumulao de A e seja L B tal que lim f (z) = L. Se g contnua em L ento lim ( g f )(z) existe e
z z0

lim ( g f )(z) = g( L)

z z0

z z0

Demonstrao:
Seja > 0. Como g contnua em L ento existe > 0 tal que se f (z) B e | f (z) L| < ento
| g( f (z)) g( L)| < . Como lim f (z) = L ento existe > 0 tal que se z A e 0 < |z z0 | < ento
z z0

| f (z) L| < .

Corolrio 4.18. Sejam A, B C regies e f : A C e g : B C funes. Seja z0 A tal que f (z0 ) B. Se

f contnua em z0 e g contnua em f (z0 ) ento ( g f )(z) contnua em z0 .

Demonstrao:
De fato. Visto que lim f (z) = f (z0 ) e f (z0 ) B ento, pelo Teorema 4.17, existe o limite lim ( g f )(z), e
z z0

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

z z0

z z0

4.3 Limites innitos

Consideremos uma funo f : A C, onde A C uma regio.
Seja z0 C um ponto de acumulao de A. Dizemos que o limite de f (z) quando z tende a z0 (infinito)
se, para todo K > 0 existe > 0 tal que | f (z)| > K sempre que z A e |z z0 | < . Em termos matemticos
escrevemos:

4.4 Limites no infinito

43

K > 0 , > 0 ; z A e |z z0 | < | f (z)| > K

Outra forma de definir a seguinte:
Para todo K > 0 existe > 0 tal que, se z A D (z0 , ) ento f (z) C D(0, K ), ou seja, a imagem
do conjunto D (z0 , ) A pela funo f , est contida no complementar do disco D(0, K ). Em termos
matemticos escrevemos:

K > 0 , > 0 ; z A D (z0 , ) f (z) C D(0, K )

E denotamos
lim f (z) =

z z0

Observe que o ponto z0 pode no pertencer a A, e mesmo quando pertence, os clculos s so feitos em um
disco furado centrado em z0 , ou seja, o nmero z0 fica fora dos clculos.

4.4 Limites no innito

Consideremos uma funo f : A C, onde A uma regio ilimitada.
Seja L C. Dizemos que o limite de f (z) quando z tende ao infinito L se, para todo > 0 existir R > 0 tal
que | f (z) L| < sempre que z A e |z| > R. Em termos matemticos escrevemos:

> 0 , R > 0 ; z A e |z| > R | f (z) L| <

Outra forma de definir a seguinte:
Para todo > 0 existe R > 0 tal que, se z A D(0, R) ento f (z) D( L, ), ou seja, a imagem do
conjunto A D(0, R) pela funo f , est contida no disco D( L, ). Em termos matemticos escrevemos:

> 0 , R > 0 ; z A D(0, R) f (z) D( L, )

E denotamos
lim f (z) = L

4.5 Limites innitos no innito

Consideremos uma funo f : A C, onde A uma regio ilimitada.
Dizemos que o limite de f (z) quando z tende ao infinito se, para todo K > 0 existir R > 0 tal que
| f (z)| > K sempre que z A e |z| > R. Em termos matemticos escrevemos:

K > 0 , R > 0 ; z A e |z| > R | f (z)| > K

Outra forma de definir a seguinte:
Para todo K > 0 existe R > 0 tal que, se z A D(0, R) ento f (z) C D(0, K ), ou seja, a imagem do
conjunto A D(0, R) pela funo f , est contida no complementar do disco D(0, K ). Em termos matemticos escrevemos:

K > 0 , R > 0 ; z A D(0, R) f (z) C D(0, K )

E denotamos
lim f (z) =

44

Limites, continuidade e derivao

4.6 Derivao complexa

Seja C uma regio e z0 . Seja f : C uma funo. Dizemos que f tem derivada complexa
em z0 se o limite
f ( z ) f ( z0 )
lim
z z0
z z0
existe. Neste caso denotamos esse limite por f 0 (z0 ) que a derivada de f em z0 .
Proposio 4.19. Se f : C tem derivada complexa em um ponto z0 ento f contnua em z0 .

Demonstrao:
Basta mostrar que lim | f (z) f (z0 )| = 0:
z z0

lim | f (z) f (z0 )|

z z0

=
=
=
=
=
=

| f (z) f (z0 )|
| z z0 |
z z0
| z z0 |


 f ( z ) f ( z0 ) 

 | z z0 |
lim

z z0 
z z0


 f ( z ) f ( z0 ) 

 lim |z z0 |
lim
 z z0
z z0 
z z0




 lim f (z) f (z0 )  | lim (z z0 )|
 z z0
 z z0
z z0
| f 0 (z0 )| 0
0
lim


Teorema 4.20 (Condies de Cauchy-Riemann). Seja C um aberto de C e z0 = x0 + iy0 um ponto de
. Seja f : C uma funo. Podemos escrever
f ( x + iy) = u( x + iy) + iv( x + iy)
onde u, v : R so funes reais. u e v so chamadas parte real e parte imaginria de f . Se as derivadas
u u v v
parciais
,
,
e
existem e so contnuas em z0 = x0 + iy0 e satisfazem s condies
x y x y

v
u

( z0 )

x (z0 ) =
y

u
v

( z0 ) = ( z0 )

y
x
Ento f possui derivada complexa em z0 . Essas condies so chamadas Condies de Cauchy-Riemann.

Demonstrao:
Se as derivadas parciais de primeira ordem de u e v existem e so contnua

 em z0 ento, considerandoa
2
2
se f = u + iv como uma funo de R em R e colocando a + bi como
temos:
b


u( x0 + h, y0 + k)
v( x0 + h, y0 + k)

u ( x0 , y0 )
v ( x0 , y0 )

u x ( x0 , y0 )
v x ( x0 , y0 )

u y ( x0 , y0 )
v y ( x0 , y0 )

q
R21 + R22
|( R1 , R2 )|

= 0, ou seja, lim
=0
Onde
lim
(h,k)(0,0)
(h,k)(0,0) |( h, k )|
h2 + k 2

 
 

h
R1 ( x0 , y0 , h, k)

+
k
R2 ( x0 , y0 , h, k)

4.6 Derivao complexa

Isso significa que

45



 R + iR2 2
R21 + R22
 =
lim  1
lim
=0

h + ik
h+ik 0
(h,k)(0,0) h2 + k2

Logo
lim

h+ik 0

R1 + iR2
=0
h + ik

Se f satisfaz as condies de Cauchy-Riemann ento,



u x ( x0 , y0 )
v x ( x0 , y0 )

u y ( x0 , y0 )
v y ( x0 , y0 )

 
 
h
u x ( x0 , y0 )

=
k
v x ( x0 , y0 )

v x ( x0 , y0 )
u x ( x0 , y0 )

 

h

= (u x ( x0 , y0 ) + iv x ( x0 , y0 )) (h + ik)
k

veja na sesso 1, o texto sobre produtos de nmeros complexos. Assim, temos

lim

h+ik 0

=
=

f (z0 + h + ik ) f (z0 )
h + ik

(u(( x0 + h) + i(y0 + k)) + iv(( x0 + h) + i (y0 + k))) (u( x0 + iy0 ) + iv( x0 + iy0 ))
h + ik
h+ik 0
lim

lim

h+ik 0

(u x ( x0 , y0 ) + iv x ( x0 , y0 )) (h + ik) + R1 + iR2
h + ik

= (u x ( x0 , y0 ) + iv x ( x0 , y0 )) + lim

h+ik 0

R1 + iR2
h + ik

= u x ( x0 , y0 ) + iv x ( x0 , y0 )
Como o limite existe, ento f tem derivada complexa em ( x0 , y0 ).


Definio 4.21. Seja C uma regio. Uma funo f : C chamada de funo holomorfa em se f
tem derivada complexa em todos os pontos de . Neste caso, denotamos por f 0 a funo derivada de f , onde f 0 (z) a
derivada de f em z .
Se f : C C holomorfa em todo ponto de C, dizemos que f inteira.
Seja C uma regio e f : C uma funo. Se f satisfaz as condies de Cauchy-Riemann em todo
ponto de ento f holomorfa em .
Exemplo 4.22. A funo exp( x + iy) = e x (cos(y) + i sen(y)) inteira.
De fato exp( x + iy) = e x cos(y) + i e x sen(y) e temos

x
(e cos(y))
x

= e x cos(y)

x
(e cos(y))
y

= e x sen(y)

(e sen(y))

y (e sen(y))

= e x sen(y)
= e x cos(y)

As derivadas parciais de primeira ordem so funes contnuas e satisfazem s condies de Cauchy-Riemann em

todo ponto do plano. Portanto uma funo holomorfa em todo o plano. Logo inteira.

Denotaremos a por H() o conjunto de todas a funes holomorfas no aberto .

46

Limites, continuidade e derivao

Proposio 4.23. A funo constante

f :C
z

C
7

inteira e f 0 (z) = 0, z C

Demonstrao:
Seja z0 C ento
lim

z z0

f ( z ) f ( z0 )

= lim
= lim 0 = 0
z z0 z z 0
z z0
z z0

Proposio 4.24. A funo identidade

f :C
z

C
7 z

inteira e f 0 (z) = 1, z C.

Demonstrao:
Seja z0 C ento
lim

z z0

f ( z ) f ( z0 )
z z0
= lim
= lim 1 = 1
z z0 z z 0
z z0
z z0

Proposio 4.25. Seja

f :C
z

C
7 zn

ento f inteira e f 0 (z) = nzn1 .

Demonstrao:
Seja z0 C ento
lim

z z0

= lim

z z0

f ( z ) f ( z0 )
z z0
zn z0n
z z0

(z z0 )(zn1 + zn2 z0 + + z z0n2 + z0n1 )

z z0
z z0
= lim (zn1 + zn2 z0 + + z z0n2 + z0n1 )

= lim

z z0
z0n1

+ z0n2 z0 + + z0 z0n2 + z0n1

= n z0n1

Teorema 4.26. Seja A C um aberto e seja z0 A. Sejam f , g : A C funes holomorfas em z0 . Ento:
a) f + g holomorfa em z0 e ( f + g)0 (z0 ) = ( f 0 + g0 )(z0 );

4.6 Derivao complexa

47

b) f g holomorfa em z0 e ( f + g)0 (z0 ) = ( f 0 g0 )(z0 );

c) f g holomorfa em z0 e ( f g)0 (z0 ) = ( f 0 g + f g0 )(z0 );
f
d) Se g(z0 ) 6= 0 ento holomorfa em z0 e
g
 0
f
f 0 g + f g0
( z0 )
( z0 ) =
g
g2

Demonstrao:
Basta recorrermos aos resultados sobre limites de funes discutidos na seo anterior. Temos assim:
a)
lim

z z0

( f + g)(z) ( f + g)(z0 )
z z0

f ( z ) + g ( z ) f ( z0 ) g ( z0 )
z z0


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

= lim

z z0

= f 0 ( z0 ) + g 0 ( z0 )
= ( f 0 + g0 )(z0 )
Portanto ( f + g)0 (z0 ) = ( f 0 + g0 )(z0 ) ;
b)
lim

z z0

( f g)(z) ( f g)(z0 )
z z0

f ( z ) g ( z ) f ( z0 ) + g ( z0 )
z z0
z z0


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

z z0
z z0
z z0

= lim

= f 0 ( z0 ) g 0 ( z0 )
= ( f 0 g0 )(z0 )
Portanto ( f + g)0 (z0 ) = ( f 0 g0 )(z0 ) ;
c)
lim

z z0

= lim

z z0

( f g)(z) ( f g)(z0 )
z z0
f ( z ) g ( z ) f ( z0 ) g ( z0 )
z z0

f ( z ) g ( z ) f ( z0 ) g ( z ) + f ( z0 ) g ( z ) f ( z0 ) g ( z0 )
z z0
z z0


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

= lim

= f 0 ( z0 ) g ( z0 ) + f ( z0 ) g 0 ( z0 )
= ( f 0 g + f g0 )(z0 )
Portanto ( f g)0 (z0 ) = ( f 0 g + f g0 )(z0 ) ;

48

Limites, continuidade e derivao

d)

f
f
f (z)
f ( z0 )
( z ) ( z0 )

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

= lim

z z0

1
f ( z ) g ( z0 ) f ( z0 ) g ( z )

g ( z ) g ( z0 )
z z0

1
f ( z ) g ( z0 ) + f ( z ) g ( z ) f ( z ) g ( z ) f ( z0 ) g ( z )

g ( z ) g ( z0 )
z z0


1
f ( z ) f ( z0 )
g ( z ) g ( z0 )

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

= lim

z z0

1
( f 0 (z0 ) g(z0 ) + f (z0 ) g0 (z0 ))
( g(z0 ))2

f 0 g f g0
( z0 )
g2

 0
f
f 0 g + f g0
Portanto
( z0 ) =
( z0 ) .
g
g2

Corolrio 4.27. Seja p(z) = an zn + + a2 z2 + a1 z + a0 um polinmio. Ento p inteira e

p0 (z) = nan zn1 + + 2a2 z + a1

Demonstrao:
Basta combinar as Proposies 4.23, 4.24 e 4.25 com o Teorema 4.26.

Proposio 4.28. Sejam A, B C abertos e f H( A) e g H( B) tais que f ( A) B. Seja h = g f ento

h H( A) e
h0 (z0 ) = g0 ( f (z0 )) f 0 (z0 )

Demonstrao:
Seja z0 A. Como f H( A) ento f contnua em A e temos lim f (z) = f (z0 ) logo
z z0

lim

z z0

h ( z ) h ( z0 )
z z0

=
=
=
=

g( f (z)) g( f (z0 ))
z z0


g( f (z)) g( f (z0 )) f (z) f (z0 )

lim
z z0
f ( z ) f ( z0 )
z z0
lim

z z0

lim

z z0

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

z
f ( z ) f ( z0 )
z z0
0

g0 ( f (z0 )) f 0 (z0 )


Proposio 4.29. Sejam A, B C abertos e g H( B). Seja f : A B contnua tal que g f (z) = z e
g0 ( f (z)) 6= 0 z A. Ento f H( A) e
f 0 (z) =

1
g0 ( f (z))

Se g injetiva, f chamada inversa de g e denotada por g1 .

4.6 Derivao complexa

49

Demonstrao:
Seja z0 A. Para todo z ( A {z0 }) temos
f ( z ) f ( z0 )
f ( z ) f ( z0 )
=
z z0
g( f (z)) g( f (z0 ))
Como f contnua em A ento lim f (z) = f (z0 ) logo
z z0

lim

z z0

E portanto
lim

z z0

g( f (z)) g( f (z0 ))
= g0 ( f (z0 )) 6= 0
f ( z ) f ( z0 )

f ( z ) f ( z0 )
1
f ( z ) f ( z0 )
= 0
= lim
zz0 g ( f ( z )) g ( f ( z0 ))
z z0
g ( f (z0 ))

Teoria de Cauchy
5.1 Integrao

Considere duas funes f , g : [ a, b] R contnuas. Devido estrutura de corpo de C, temos a seguinte

regra de integrao:
Z b
a

Z b

( f (t) + ig(t))dt =

Z b

f (t)dt + i

g(t)dt

Definio 5.1. Seja um aberto de C. Um caminho em uma funo contnua

:

[ a, b]
t
7 x (t) + iy(t)

Se x (t) e y(t) so funes de classe C1 dizemos que o caminho suave. Neste caso denotamos o vetor tangente a no
ponto (t) por
0 (t) = x 0 (t) + iy0 (t)
Chamamos de curva, a imagem de um caminho e esta funo chamada de parametrizao de .
Definio 5.2. Sejam z, w C. Definimos o segmento orientado que vai de z a w, como o caminho
:

[0, 1] C
t
7 tz + (1 t)w

e denotamos por [z, w].

Se ( a) = (b) dizemos que o caminho fechado. A imagem de um caminho fechado chamada curva
fechada.
Se (t) = ( a), t [ a, b], dizemos que o caminho constante. A imagem de um caminho constante
apenas um ponto.
Uma curva em C dita curva de Jordan se C possui exatamente duas componentes conexas. Neste
caso, uma destas componentes ilimitada e a outra limitada e simplesmente conexa.
Se no suave, mas existir uma partio do intervalo [ a, b] dada por
a = t 0 < t 1 < < t n 1 < t n = b
tal que |[ti1 ,ti ] suave para todo i = 1, 2, . . . , n, dizemos que suave por partes, e cada parte
([ti1 , ti ]) uma componente suave de . Se uma curva imagem de um caminho suave por partes
dizemos que essa curva suave por partes.

5.1 Integrao

51

Exemplo 5.3. Se 4 C um tringulo ento 4 uma curva de Jordan suave por partes.
Definio 5.4. Seja uma curva. Uma orientao em um sentido de percurso em . Uma curva tem duas
orientaes. Uma parametrizao de induz naturalmente uma orientao em .
Quando uma curva de Jordan, chamamos de orientao positiva se o sentido de percurso de no
sentido anti-horrio, em relao aos pontos da componente limitada de C . A outra orientao a
orientao negativa. Sempre que falarmos de uma curva de Jordan sem mensionar a orientao, estaremos
falando da orientao positiva.
Definio 5.5. O comprimento de um caminho suave o valor da integral
Z

|dz| =

Z b
a

|0 (t)|dt =

Z b
a

x 0 (t)

2

+ y0 (t)

2 

dt

Se o caminho no suave, mas suave por partes, seu comprimento a soma dos comprimentos de suas componentes
suaves.
Definio 5.6. Seja C um aberto e um caminho suave. Seja f : C uma funo contnua.
Escrevemos
f (z) = u(z) + iv(z)
onde u, v : R so funes reais. A integral de f sobre denotada e calculada da seguinte forma:
Z

Z b

f (z)dz

=
a

f ((t)) 0 (t)dt

Z b
a

Z b

=
a

Temos, assim:

Z b
a

(u ((t)) + iv ((t))) x 0 (t) + iy0 (t)



dt

[(u((t)) x 0 (t) v((t))y0 (t)) + i (u((t))y0 (t) + v((t)) x 0 (t))]dt

[u((t)) x 0 (t) v((t))y0 (t)]dt + i

Se no suave, mas suave por partes, ento

Z b
a

[u((t))y0 (t) + v((t)) x 0 (t)]dt

f (z)dz a soma das integrais nas componentes suaves de .

Teorema 5.7. Seja C uma regio e F H() tal que F 0 contnua. Ento
Z

F 0 (z)dz = 0

para todo caminho fechado e suave por partes em .

Demonstrao:
Consideremos uma parametrizao de dada por
:

[ a, b]
t
7 (t)

Usando o Teorema Fundamental do Clculo temos

Z

Pois (b) = ( a).

F 0 (z)dz =

Z b
a

F 0 ((t))0 (t)dt = F ((b)) F (( a)) = 0

52

Teoria de Cauchy

Corolrio 5.8. Seja n N e seja um caminho fechado e suave por partes em C. A funo z 7 zn uma
z n +1
funo inteira (portanto contnua) que a derivada da funo z 7
que tambm inteira logo:
n+1
Z

zn dz = 0

O mesmo vale para a funo constante z 7 c pois a derivada de z 7 cz. Consequentemente, se p : C C

uma funo polinomial ento
Z

p(z)dz = 0

1
Corolrio 5.9. Seja n N com n 2 e seja um caminho fechado e suave por partes em C . A funo z 7 n
z
n1
uma funo (holomorfa) contnua em C que a derivada da funo z 7 n1 ento:
z
Z

zn dz = 0

Teorema 5.10 (Teorema de Cauchy no tringulo). Seja C uma regio e sejam 4 um tringulo
fechado e p um ponto. Se f H( { p}) e contnua em p ento
Z
4

f (z)dz = 0

Demonstrao:
Considere o tringulo 4 de vrtices ordenados { a, b, c}.
Primeiro supomos que p 6 4.

Tome os pontos mdios das arestas conforme a

Figura ao lado. Temos ento quatro tringulos, que
chamaremos 41 , 42 , 43 e 44 cujos vrtices ordenados so:
{ a, b0 , c0 } , {c, b0 , a0 }

c0
c

{b, a0 , c0 } , { a0 , b0 , c0 }

Veja que

b0

4 Z

f (z)dz =

i
i =1 4

f (z)dz

a0

5.1 Integrao

53

R



Escolha o tringulo para o qual  4i f (z)dz mximo. Chamaremos esse tringulo de 41 . Logo
Z

Z






 4

f
(
z
)
dz
f
(
z
)
dz
 4

 4

1

E, por semelhana de tringulos

Z
4

|dz| = 2

41

|dz|

Ou seja, o permetro de 41 a metade do permetro de 4.

Repetindo a mesma tarefa com o tringulo 41 , obtemos um tringulo 42 tal que
Z

Z

Z

Z









2







 4 f (z)dz 4  4 f (z)dz  4 f (z)dz 4  4 f (z)dz
1

41

|dz| = 2

42

|dz|

|dz| = 22

42

|dz|

Repetindo este procedimento encontramos uma famlia de tringulos fechados {4n }nN tal que 4

41 42 43 , onde


Z

Z






 4n 
f
(
z
)
dz
f
(
z
)
dz
 4

 4

Z

|dz| = 2

4n

Denotamos o permetro de 4 por L, logo o permetro de 4n

O conjunto

, n N

|dz|

L
.
2n

4n contm apenas um ponto que denotaremos por z0 .

n =1

Visto que z0 4, temos que f holomorfa em z0 logo



 f ( z ) f ( z0 )

lim 
f 0 (z0 ) = 0
z z0
z z0
Seja > 0, ento existe tal que, se |z z0 | < ento



 f ( z ) f ( z0 )
0



f
(
z
)
0 <

z z0
Ou seja,

| f (z) f (z0 ) f 0 (z0 )(z z0 )| < |z z0 |

Existe N N tal que

4 N D( z0 , )
Lembramos que para todo ponto z 4 N temos |z
L
z0 | < N
2
(o permetro de 4 N ).

54

Teoria de Cauchy

A expresso f (z0 ) + f 0 (z0 )(z z0 ) um polinmio de grau 1 em z, logo, pelo Teorema 5.8 temos
Z


4 N

E podemos escrever

Z
4 N

Assim temos


f (z0 ) + f 0 (z0 )(z z0 ) dz = 0

f (z)dz =

Z





 4 f (z)dz


4 N


f (z) f (z0 ) f 0 (z0 )(z z0 ) dz

Z



 
0


 4 f (z) f (z0 ) f (z0 )(z z0 ) dz

=
Z

<

4 N
4 N
4 N



 f (z) f (z0 ) f 0 (z0 )(z z0 ) |dz|
|z z0 ||dz|
L
|dz|
2N

L
2N

L L
L2
N = N
N
2
2
4

4 N

|dz|

Z

Z

2




2
n
n L



 4 f (z)dz 4  4 f (z)dz < 4 4n = L
n
Z

Z








Isso mostra que 
f (z)dz menor que qualquer nmero real positivo, logo 
f (z)dz = 0, portanto
4
4
Z

f (z)dz = 0.
p
r

Agora consideremos o caso em que p 4.

Comeamos com o caso em que p um dos vrtices de 4.
Considere o tringulo 4 com vrtices ordenados { a, b, p}.
Seja r um ponto na aresta [ p, a] e s um ponto na aresta [b, p].
Dessa forma dividimos 4 em trs tringulos com vrtices
ordenados { a, b, s}, { a, s, r }, e {r, s, p}. Chamaremos este
ltimo tringulo de 4 p .

b
Pela primeira parte desta demonstrao, a integral no bordo dos dois primeiros tringulos zero. Logo
Z

Z
4

f (z)dz =

4 p

f (z)dz

Seja > 0. Como f contnua em ento e 4 compacto, M > 0, tal que | f (z)| M, z 4. Logo, se
4 p D( p, ) ento

5.1 Integrao

55
Z





f
(
z
)
dz
 4


Z



= 
f (z)dz
4

Z
Z

4 p
4 p

| f (z)| |dz|
M |dz|

M (| p s| + |r p| + |r s|)

<

M ( + + 2) = 4M

Isso mostra que

f (z)dz = 0
c

Agora, se p est em uma aresta de 4, ligamos p ao

vrtice oposto por um segmento de reta e obtemos
dois tringulos em que p um vrtice para cada um
deles.

b
a
c

E se p est no interior de 4 ligamos ele aos trs vrtices por segmentos de retas e obtemos trs tringulos
onde p um vrtice para cada um deles. Em ambos
os casos, basta aplicar a segunda parte desta demonstrao.

b
a
Teorema 5.11 (Teorema de Cauchy em um conjunto convexo). Sejam C um conjunto convexo
aberto e p um ponto. Se f H( { p}) ento f = F 0 , para alguma F H(). Logo
Z

f (z)dz = 0

para todo caminho fechado e suave por partes em .

Demonstrao:
Fixemos um ponto a . Para todo z , temos [ a, z] , pois convexo. Podemos, ento, definir a
funo
F: Z
C
(5.1)
f (w)dw
z 7
[ a,z]

56

Teoria de Cauchy

Seja z0 . Para todo z , com z 6= z0 temos

Z

Z
F ( z ) F ( z0 )
1
=
f (w)dw
f (w)dw
z z0
z z0
[ a,z]
[ a,z0 ]
Pelo Teorema 5.10 temos

Z
[ a,z0 ]

Logo

Z
[ a,z0 ]

f (w)dw +

f (w)dw

Z
[z0 ,z]

Z
[z,z0 ]

f (w)dw +

f (w)dw

[z,z0 ]

f (w)dw =

[ a,z]

[z,a]

f (w)dw = 0

Z
[ a,z]

f (w)dw

f (w)dw = 0

[ a,z0 ]

f (w)dw

Substituindo esta expresso em (5.1) temos:

1
F ( z ) F ( z0 )
=
z z0
z z0

Z
[z,z0 ]

f (w)dw

Como f (z0 ) uma constante, temos:

Z

[z,z0 ]

Ento

1
z z0

f (z0 )dw = f (z0 )(z z0 ) f (z0 ) =

F ( z ) F ( z0 )
1
f ( z0 ) =
z z0
z z0

Z
[z,z0 ]

Z
[z,z0 ]

f (z0 )dw

( f (w) f (z0 ))dw

Seja > 0. Como f contnua > 0 tal que | f (w) f (z0 )| < sempre que |z z0 | < .
Portanto, se |z z0 | < temos


 F ( z ) F ( z0 )


f (z0 )

z z0

Z



1

( f (w) f (z0 ))dw

|z z0 | [z,z0 ]

1
| z z0 |

<

1
| z z0 |

Z
Z

[z,z0 ]

[z,z0 ]

| f (w) f (z0 )| |dw|

|dw|

1
| z z0 |
| z z0 |

=
Isso mostra que


lim

z z0

Ou seja,
lim

z z0

F ( z ) F ( z0 )
f ( z0 )
z z0

=0

F ( z ) F ( z0 )
= f ( z0 ) f ( z0 ) = F 0 ( z0 )
z z0

Como z0 foi tomado arbitrariamente, concluimos que f (z) = F 0 (z), z .

Agora, para finalizar s usar o resultado do Teorema 5.7.
Teorema 5.12 (O princpio do argumento - um caso mais simples). Seja z C, e seja C { p} um
caminho suave tal que nenhuma reta que passa por z tangente a . Ento
Z

dw
= 2ni
wz

onde n Z o nmero de voltas que d em torno do ponto z. n ser positivo se a orientao de for no
sentido horrio e negativo caso contrrio.

5.1 Integrao

57

Demonstrao:
Por hiptese d pelo menos uma volta em torno de z.

(t)
Suponha que d n voltas no sentido positivo (Na figura ao lado temos um exemplo de
uma curva que d duas voltas em torno da
origem). Ento podemos parametrizar da
seguinte forma:

[0, n ] C { az}
t
7 z + f (t) (cos(t) + isen(t))

onde
f :
Z

dw
=
wz

[0, n ] R
t
7 |(t) z|

Z 2n 0
f (t)(cos(t) + isen(t)) + f (t)(sen(t) + i cos(t))

f (t)(cos(t) + isen(t))

Z 2n 0
f (t)

f (t)

Z 2n
d

dt

dt +

Z 2n
sen(t) + i cos(t)

log( f (t))dt +

2n Z

= log( f (t))
+
0

Z 2n

=i

cos(t) + isen(t)

dt

Z 2n
i (cos(t) + isen(t))
0

dt

cos(t) + isen(t)

dt

2n
0

idt

dt = 2ni

Pois f (2n ) = f (0).

O caso em que n negativo idntico.

Na verdade esse teorema vale qualquer caminho suave por partes em C {z}. Mas no faremos o caso
geral aqui.

Teorema 5.13 (A frmula de Cauchy em conjunto convexos). Seja um aberto convexo e seja
uma curva de Jordan suave tal que a componente simplesmente conexa de convexa. Seja f H(). Se
z est na componente simplesmente conexa de ento
f (z) =

1
2i

f (w)
dw
wz

E se z est na outra componente conexa de ento

Z

f (w)
dw = 0
wz

Demonstrao:
Se z no est na componente simplesmente conexa de ento existe um aberto covexo A tal

58

Teoria de Cauchy

que A, e z 6 A, logo A contm a componente simplesmente conexa de e

w holomorfa em A logo, pelo 5.11

f (w)
como funo de
wz

f (w)
dw = 0
wz

Agora suponha que z est na componente simplesmente conexa de .

Tomemos a funo

f (w) f (z)
wz
g(w) =

0
f (z)

, se w {z}
, se w = z

A funo g holomorfa em w {z} e contnua em z, logo, pelo teorema 5.11

Z

g(w)dw = 0

Ento, usando o Princpio do Argumento (Teorema 5.12), temos

Z

0=

f (w) f (z)
dw =
wz
Z

f (w)
dw = f (z)
wz

f (w)
dw f (z)
wz
Z

dw
wz

dw
= f (z) 2i
wz

Veja que nenhuma reta tangente a intercecta a componente simplesmente conexa de . Isso mostra
que
Z
1
f (w)
f (z) =
dw
2i w z


Em resumo, o que o Teorema 5.13 nos diz que na componente simplesmente conexa de , os valores
de f so determinados apenas por seus valores sobre .

Funes Holomorfas
6.1 Sequncias de funes holomorfas

Seja C um aberto. Como foi visto no captulo anterir eenotaremos por H() o conjunto das funes
holmorfas em . Podemos ver facilmente que H() um domnio de integridade (Veja o Teorema 4.26).
Uma sequncia de funes holomorfas em uma funo
N
n

H()
7
fn

(6.1)

Representamos a sequncia (6.1) apenas por ( f n ). Uma sequncia de funes , na verdade, uma lista de
funes. Anlogo ao que estudamos em sequncia de nmeros complexos.
Dizemos que a sequncia converge (6.1) se a sequncia de nmeros complexos ( f n (z)) converge para todo
z . Seja f : C a funo tal que f n (z) f (z), z . Denotamos lim f n = f ou f n f .
Definio 6.1. Seja C um aberto e ( f n ) uma sequncia convergente em H() e seja f : C tal que
f n f . Seja K um compacto. Dizemos que ( f n ) converge para f uniformemente em K se, para todo > 0,
tomado arbitrariamente, existe N N tal que | f n (z) f (z)| < , z K e n > N.
Se ( f n ) converge uniformemente para f em todo subconjunto compacto de dizemos que ( f n ) converge para f
u.p.c.

uniformemente em partes compactas de . Denotamos f n f .

Exemplo 6.2. Considere a sequncia ( f n ) em H(C), onde
f n (z) = zn
u.p.c.

Ento f n 0 em D(0, 1).

De fato, fixemos r (0, 1).
Seja > 0, ento, N > logr () e z D(0, r ) temos:

|zn | = |z|n < r n < r N < rlogr () =

Ou seja, ( f n ) converge para 0 uniformemente em D(0, r ), r (0, 1), consequentemente, em qualquer compacto de
D(0, 1).
Veja que ( f n ) no converge em nenhum ponto fora de D(0, 1).

60

Funes Holomorfas

6.2 Sries de funes holomorfas

Seja C uma regio. Uma srie de funes em H(), uma sequncia de funes (sn ) obtida a partir
de uma sequncia de funes ( f n ) em H(), da seguinte forma:
sn = f 1 + f 2 + + f n
ou seja
n

sn =

fi

i =1

Denotamos essa srie por:

fn

(6.2)

n =1

Se a sequncia (sn ) converge em dizemos o mesmo para a srie (6.2), caso contrrio, dizemos que a srie
diverge. Se a sequncia (sn ) converge uniformemente em partes compactas de dizemos o mesmo para a
srie (6.2).

6.3 Sries de potncias

Seja z0 C. Uma srie de potncias centrada em z0 uma srie da forma:

a n ( z z0 ) n

, an C

(6.3)

n =0

O raio de convergncia da srie (6.3) o maior nmero real R > 0 tal que ela converge em todo ponto no
disco D(z0 , R).
Inspirados no teste da razo e no teste da raiz para convergncia de sries (veja a seo 3.2), podemos
calcular R.
Se a sries (6.3) converge ento


 a n +1 ( z z 0 ) n +1 

<1
lim sup 
a n ( z z0 ) n 
ou

q
lim sup

Ento temos

| a n ( z z0 ) n | < 1





a
 a n +1 
(z z0 )n+1 


lim sup  n+1
=
|
z

z
|

lim
sup
0
 an  < 1
a n ( z z0 ) n 

ou

q
lim sup

| an (z z0 )n | = |z z0 | lim sup

Definimos R como:

 an
R = lim inf 
a

n +1

ou
R = lim inf

p
n

| an |

q
n

| an | < 1

6.3 Sries de potncias

61

Se R > 0 ento, para todo z C, com |z z0 | < R, a srie (6.3) converge absolutamente (veja a seo 3.2).

A srie

|an |rn converge r

> 0, com r < R, consequentemente a srie (6.3) converge uniformemente

n =1

em D(z0 , r ), com isso concluimos que a srie (6.3) converge uniformemente em partes compactas no disco
D( z0 , R ).

Nota: Nos casos em que as sequncias

an

p
ou ( n | an |) convergem, podemos substituir lim inf e

a n +1
lim sup apenas por lim conforme vimos na sesso 3.2.

Teorema 6.3. Seja

a n ( z z0 ) n

n =0

uma srie de potncias centrada em z0 e com raio de convergncia R > 0. Seja f : D(z0 , R) C a funo
definida por essa srie. Ento f holomorfa em D(z0 , R) e
f 0 (x) =

nan (z z0 )n1

n =0

Demonstrao:
Basta mostrarmos para z0 = 0. Primeiro verificamos a convergncia da srie

nan zn1

(6.4)

n =1

O raio de convergncia da srie (6.4) :



nan
lim inf 
( n + 1) a

n +1









 = lim inf  n  lim inf  an

n + 1
a

n +1



 = 1R = R


Ou seja, o raio de convergncia da srie (6.4) coincide com o raio de convergncia da srie que define f .
Chamaremos de g : D(0, R) C a funo definida pela srie (6.4). Fixemos r > 0, com r < R.
Para todo z, w D(0, r ), com w 6= z, temos



zn wn
f (z) f (w)
n 1
= an nz

g(z)
zw
zw
n =1

nzn1
wn
zw

zn

= z n 1 + z n 1 + z n 1

+ + z n 1 + z n 1

= zn1 + zn2 w + zn3 w2 + + zwn2 + wn1

Subtraindo-se a segunda igualdade da primeira temos

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


(z w) (n 1)zn2 + (n 2)zn3 w + + 2zwn2 + wn2
Logo,



 n 1 z n w n 
nz
 |z w| ((n 1) + (n 2) + + 2 + 1) r n2


zw 
n ( n 1 ) n 2
r
= |z w|
2

62

Funes Holomorfas




 g(z) f (z) f (w) 


zw





zn wn 

n 1

 an nz

 n =1
zw 




zn wn 
|an | nzn1 z w 

n =1

|z w|

n ( n 1)
| a n | r n 2
2
n =2

Pelo teste da razo, a srie

A < +, logo

n ( n 1)
n ( n 1)
| an |r n2 converge, visto que r < R. Digamos que
| a n | r n 2 =
2
2
n =2
n =2





 g(z) f (z) f (w)  |z w| A


zw

Isso mostra que




f (z) f (w) 

lim g(z)
=0
wz 
zw

Ou seja,
g(z) = lim

wz

f (z) f (w)
= f 0 (z)
zw

Como r foi tomado arbitrariamente ento f 0 (z) = g(z) em D(0, R).

Corolrio 6.4. Se

f (z) =

a n ( z z0 ) n

n =0

Define uma funo holomorfa em D(z0 , R) ento:

f (k) (z ) =

n ( n 1) ( n k + 1) a n ( z z0 ) n k

n=k

em D(z0 , R). E temos:

f (k) (z0 ) = k!ak

Demonstrao:
Basta ver que f 0 satisfaz as mesmas hipteses que f no Teorema 6.3

Corolrio 6.5. Se f uma funo holomorfa em D(z0 , R) definida pela srie de potncias

a n ( z z0 ) n

n =0

cujo raio de convergncia R > 0 ento existe uma funo g, holomorfa em D(z0 , R) tal que g0 = f .

Demonstrao:
Considere a srie

an
( z z 0 ) n +1
n
+
1
n =0

O raio de convergncia da srie 6.5 :

(6.5)

6.4 Representao em srie de potncias

63



 an 






n + 2




 lim inf  an  = 1 R = R
lim inf  na + 1  = lim inf 


 n +1 
n+1
a n +1 
n+2
Ento a srie (6.5) define uma funo g : D(z0 , R) C. Pelo teorema 6.3, g holomorfa e g0 = f .

6.4 Representao de funes holomorfas em sries de potncias

Essa uma ferramenta poderosssima no estudo das funes holomorfas. Veja a definio abaixo:
Definio 6.6. Seja C um aberto e f H(). Dizemos que f representvel por sries de potncias em se
em todo disco D(z0 , r ) existe uma srie de potncias

an (z z0 )n que converge para f (z), z D(z0 , r)

n =0

zn
converge uniformemente em partes compactas de C (veja o Exemplo 3.28), portanto
n!
n =1
esta srie define uma funes inteira. Esta funo conhecida como Funo Exponencial, e denotada por

Definio 6.7. A srie

exp(z) =

zn
, z C
n=0 n!

Essa a representao da funo exponencial em srie de potncias, a mesma funo estudada no captulo 1.

Pela definio vemos que a funo exponencial satisfaz s seguintes propriedades:

a) exp0 (z) = exp(z);
b) e0 = 1;
c) ez+w = ez ew z, w C

a) e b) so verificada facilmente. Quanto a c) temos

zj
j!
j =0

wk
k!
k =0

n =0

j =0

z j wn j
j!(n j)!

1
n!
n =0

j =0

n!
z j wn j
j!(n j)!

!
 
n j n j
j zw
j =0
n

1
n!
n =0

(z + w)n
n!
n =0

Veja que a srie que define a funo exponencial em C a mesma srie que define a funo exponencial em
R, na verdade, a exponencial real a exponencial complexa restrita a R.
Definio 6.8. Da mesma forma que exp, as funes senh, cosh, sen e cos se estendem a funes inteiras cujas

64

Funes Holomorfas

representaes em sries de potncias so dadas pelas mesmas sries que as definem em R, ou seja

senh(z)

z2n+1
(2n + 1)!
n =0

cosh(z)

z2n
n=0 (2n ) !

sen(z)

(1)n z2n+1
n=0 (2n + 1) !

cos(z)

z C

z C

z C

z C

(1)n z2n
(2n)!
n =0

Estas sries, da mesma forma que a srie de exp(z), convergem uniformemente em partes compactas de C, portanto
so funes inteiras.

Baseados nas definies 6.7 e 6.8 temos as seguintes relaes, que daremos em forma de proposio:

Proposio 6.9. Valem as seguintes identidade:

a) senh(z) + cosh(z) = ez ;
b) senh(iz) = isen(z);
c) cosh(iz) = cos(z);
d) eiz = cos(z) + isen(z);

Demonstrao:
Para o item a) veja que a srie de senh(z) contm todos os termos mpares da srie de exp(z) e cosh(z)
contm todos os termos pares.
Para os itens b) e c) veja que n N temos
i2n = (i2 )n = (1)n
e

i2n+1 = i i2n = i (1)n i

logo

(iz)2n = i2n z2n = (1)n z2n

e

(iz)2n+1 = i2n+1 z2n+1 = i (1)n z2n+1

Para o item d) s combinar os resultados dos itens a), b) e c).

Definio 6.10. Um ramo de logaritmo uma funo contnua f : U C, onde U C um aberto simplesmente conexo, tal que
e f (z) = z, z U

Observe que se f : U C e g : V C so ramos de logaritmo e U V 6= ento f (z) g(z) = 2ki

z U V, para algum k Z. De fato, seja z U V ento
e f (z) g(z) =

z
e f (z)
= =1
g
(
z
)
z
e

6.4 Representao em srie de potncias

65

Logo e f (z) g(z) = cos(2k ) + isen(2k ) para algum k Z.

Pela proposio 4.29 um ramo de logaritmo f : U C uma funo holomorfa e
f 0 (z) =

1
1
1
=
=
exp0 ( f (z))
exp( f (z))
z

Seja U = {ei C | > 0 , (, )}. U C aberto simplesmente conexo. No captulo 1 definimos

o Ramo Principal do Logaritmo
Log :

U
ei

C
7 log() + i

Pelo que vimos acima, concluimos que Log holomorfa em U e Log0 (z) =

1
para todo z U.
z

Definio 6.11. Seja C. Definimos um ramo das potncias de por

z = ezg()
Onde g um ramo de logaritmo definido em .
Neste termos, funo z 7 z holomorfa.
Quando no for especificado o ramo de logaritmo usado para definir o ramo da potncia e 6 R , estaremos usando
o Ramo Principal do Logaritmo.

Teorema 6.12. Seja C um aberto e f H(). Ento f representvel em sries de potncias.

Demonstrao:
Seja D(z0 , r ) tal que D(z0 , r ) , tomemos a curva de Jordan = D(z0 , r ). Pelo teorema 5.13
temos
Z
f (w)
1
dw , z D(z0 , r )
f (z) =
2i w z
Para todo w e z D(z0 , r ) temos


 z z0 
| z z0 |


<1
w z  =
r
0
Portanto, inspirados (novamente) na srie geomtrica, temos

w z 0 n =0

z z0
w z0

n

1
1
1

=
z

z
0
w z0 1
wz
w z0

Logo

( z z0 ) n
f (w)
= f (w)
n +1
wz
n =0 ( w z 0 )

66

Funes Holomorfas

Esta srie converge uniformemente nas partes compactas de D(z0 , r ). Logo

f (z)

1
2i

1
2i

1
2i

f (w)
dw
wz

( z z0 ) n
f (w)
n +1
n =0 ( w z 0 )
Z

n =0

f (w)dw
( w z 0 ) n +1

!
dw

( z z0 ) n

a n ( z z0 ) n

n =0

Onde
an =

1
2i

f (w)dw
( w z 0 ) n +1

Pelo teorema 5.13 os coeficientes an independem de r. Portanto f (z) representada por esta srie de potncias no disco D(z0 , R), onde R o raio de convergncia da srie.


Corolrio 6.13. Seja C um aberto e f H() ento f possui derivadas de todas as ordens em todos os
pontos de e, para todo D(z0 , r ) , temos
f ( n ) ( z0 ) =

n!
2i

f (w)dw
( w z 0 ) n +1

onde = D(z0 , r ).

Demonstrao:

Basta combinar o corolrio 6.13 com o teorema 6.3.

Corolrio 6.14 (Estimativas de Cauchy). Seja f uma funo holomorfa no disco D(z0 , R) e M > 0 tal que
f (z) M z D(z0 , R). Ento

| f (n) (z0 )| =

n!M
Rn

Demonstrao:
Pelo corolrio 6.13, para todo r < R, temos

f ( n ) ( z0 ) =

n!
2i

f (w)dw
( w z 0 ) n +1

6.4 Representao em srie de potncias

onde = D(z0 , r ), logo

67



 n! Z
f (w)dw 
| f (n) (z0 )| = 
2i (w z0 )n+1 

Z 

n!
 f (w)dw 



n
+
1
2 (w z0 )
Z

| f (w)|
|dw|
| w z 0 | n +1

M
|dw|
r n +1

n!
2

n!
2

n!
M
n+1 2r
2 r

n!M
rn

Como r < R foi tomado aleatoriamente temos

| f (n) (z0 )|

n!M
Rn

Teorema 6.15 (Teorema de Morera). Seja C um aberto e f : C uma funo contnua tal que
Z
4

f (z)dz = 0

para todo tringulo fechado 4 . Ento f H().

Demonstrao:
Se convexo, podemos usar o Teorema 5.11 para construir F H() tal que F 0 = f . Visto que
derivadas de funes holomorfas uma funo holomorfa, concluimos que f holomorfa em . Portanto
f holomorfa em qualquer subconjunto convexo de , logo f H().


u.p.c.

Teorema 6.16. Seja C um aberto e seja ( f n ) uma sequncia em H(). Seja f : C tal que f n f
em . Ento
i) f holomorfa;
ii) ( f n0 ) converge em partes compactas de ;

iii) f 0 = lim f n0 .

Demonstrao:
Como a convergncia uniforme ento f contnua.
Considere um tringulo fechado 4 qualquer. Ento, pelo teorema 5.10 temos
Z

Z
4

f (z)dz = lim


4

f n (z)dz

Pelo Teorema de Morera (teorema 6.15) f holomorfa. Isso prova i)

=0

68

Funes Holomorfas
u.p.c.

Seja D(z0 , r ) . Tomemos > 0. Como f n f ento N N tal que | f (z) f n (z)| < z D(z0 , r ),
sempre que n > N. Ento, aplicando o teorema 6.14 funo ( f f n ) temos

| f 0 (z) f n0 (z)| <

u.p.c.

Isso mostra que f n0 f 0 . E esto provados ii) e iii)

Exemplo 6.17. A srie

nz

converge uniformemente em partes compactas do semi-plano aberto {z

n =1

C | Re(z) > 1} (veja o Exemplo 3.30), portanto esta srie define uma funes holomorfa no aberto {z C | Re(z) >
1}. Esta funo conhecida como Funo Zeta de Riemann, e denotada por
(z) =

nz

, Re(z) > 1

n =1

6.5 Produtrios de funes holomorfas

Seja C uma regio. Um produtrio de funes em H(), uma sequncia de funes ( pn ) obtida a
partir de uma sequncia de funes ( f n ) em H(), da seguinte forma:
pn (z) = (1 + f 1 (z)) (1 + f 2 (z)) (1 + f n (z))
ou seja
n

pn (z) =

(1 + fi (z))

i =1

Denotamos esse produtrio por:

(1 + f n (z))

(6.6)

n =1

Se a sequncia ( pn ) converge em dizemos o mesmo para o produtrio (6.6), caso contrrio, dizemos que
o produtrio diverge. Se a sequncia ( pn ) converge uniformemente em partes compactas de dizemos o
mesmo para o produtrio (6.6).
De acordo com o que foi mostrado em 3.3, para que o produtrio (6.6) seja convergente nas partes compactas
de , basta que a srie

| f n (z)|

i =1

tambm seja.
Exemplo 6.18. Seja (qn ) a sequncia dos nmeros primos, ento o produtrio

(1 qn z )1

n =1

converge uniformemente em partes compactas de {z C | Re(z) > 1}, portanto define uma funo holomorfa neste
aberto e no se anula em ponto algum deste aberto (veja o Exemplo 3.36) e temos tambm:

n =1

n =1

(1 qn z )1 = nz = (z)

6.6 Zeros de funes holomorfas

Definio 6.19. Sejam um aberto e f H(). Um ponto z0 chamado zero de f se f (z0 ) = 0. Dizemos que
esse zero tem ordem k se
f ( z 0 ) = f 0 ( z 0 ) = = f ( k 1) ( z 0 ) = 0

6.6 Zeros de funes holomorfas

69

e f (k) (z0 ) 6= 0.

Note que se z0 um zero de ordem k de f ento a representao de f em sries de potncias em z0 da

forma

a n ( z z0 ) n

n=k

Onde ak 6= 0.

Teorema 6.20. Sejam uma regio e f H(). Se f no identicamente nula ento conjunto dos zeros de f
discreto.

Demonstrao:
Seja z0 um zero de f e seja

a n ( z z0 ) n

f (z) =

n =0

a representao em srie de potncias de f em z0 .

Suponha que exista algum ak 6= 0, tal que a0 = a1 = = ak1 = 0. Ento

f (z) =

a n ( z z0 ) n

n=k

em D(z0 , r ) , com ak 6= 0, e podemos escrever

f ( z ) = ( z z0 ) k g ( z )

(6.7)

Onde g(z) =

a n + k ( z z0 ) n .

n =0

g(z0 ) = ak 6= 0 e g holomorfa em D(z0 , r ) (basta aplicar o teste da razo).

Como g holomorfa ento contnua, logo existe > 0, com r tal que

| g(z) g(z0 )| <

| ak |
2

sempre que z D(z0 , ).

| g(z0 )| = | g(z0 )| = | g(z) g(z0 ) g(z)| | g(z) g(z0 )| + | g(z)|

Logo, se z D(z0 , ) temos

| g(z)| | g(z0 )| | g(z) g(z0 )| > | ak |

| ak |
|a |
= k >0
2
2

Pela equao (6.7) o nico zero de f em D(z0 , ) z0 .

Concluimos, assim, que se z0 no um zero isolado ento an = 0 n, ou seja f (z) = 0 z D(z0 , r ).
Seja Z ( f ) = {z | f (z) = 0} e seja A C o conjunto dos pontos de acumulao de Z ( f ) ento A um
conjunto fechado. Como f contnua ento A Z ( f ). Se A 6= ento, pelo que vimos acima A
aberto em . Como A tambm um fechado em concluimos que A = , pois conexo.
Ou seja, f identicamente nula.

70

Funes Holomorfas

Corolrio 6.21. Seja C um aberto e sejam f , g H(). Se o conjunto {z | f (z) = g(z)} no

discreto ento f (z) = g(z), para todo z .

Demonstrao:
Basta usar o resultado do teorema para a funo h(z) = f (z) g(z).

Definio 6.22. Definimos as seguintes funes inteiras

E0 (z) = (1 z)
e
z2
zk
Ek (z) = (1 z) exp z +
++
2
k

!
, se k > 0

Lema 6.23. Se |z| 1 ento |1 Ek (z)| |z|k+1 , k = 0, 1, 2, . . . .

Demonstrao:
Se k = 0, nada temos a fazer.
Suponha k > 1. Primeiro observemos que 1 Ek (0) = 0. E que
d
z2
zk
(1 Ek (z)) = Ek0 (z) = zk exp z + + +
dz
2
k

d
(1 Ek (z)) tem um zero de ordem k em z = 0, logo z = 0 um zero de ordem k + 1 de 1 Ek (z),
dz
portanto temos
1 Ek (z)
= an zn
z k +1
n = k +1
Onde an > 0 n, logo, se |z| 1 temos


 1 Ek (z) 
1 Ek (1)
n


=1
 z k +1  a n | z | a n =
1k +1
n = k +1
n = k +1
Ou seja, |1 Ek (z)| |z|k+1 .

Teorema 6.24. Seja (zn ) uma sequncia discreta de nmeros complexos tal que zn 6= 0 n N. Seja ( pn ) uma
sequncia de inteiros positivos tais que a srie

n =1

  p n +1
z
 
 zn 

converge para todo z C. Ento o produtrio



f (z) =

n =1

E pn

z
zn

Define uma funo inteira cujo conjunto dos zeros so os pontos da sequncia (zn ). Mas precisamente, se C
um ponto que aparece m vezes na sequncia (zn ) ento um zero de ordem m de f .

6.6 Zeros de funes holomorfas

71

Demonstrao:
Fixemos
  r > 0. Primeiro veja que lim zn = , pois (zn ) discreta. Logo, para todo z D(0, r ), N N tal
z
1
que   < sempre que n > N, portanto, sempre existe a sequncia ( pn ), por exemplo pn = n 1 (veja a
zn
2
srie geomtrica no exemplo 3.23).
Pelo lema 6.23


    pn +1

z   z 
1 E p

n

zn   zn 

Logo

n =1


 

z 
1 E p
n

zn 

Converge uniformemente nas partes partes compactas de C. Mostrando que o mesmo vale para
 

z
f ( z ) = E pn
z
n
n =1

(Veja a seo 6.5).

Teorema 6.25. Seja C um aberto, com 6= C. Seja (zn ) uma sequncia discreta de nmeros complexos
em e seja ( pn ) uma sequncia de nmeros inteiros positivos. Existe uma funo f H() tal que o conjunto
dos zeros de f so os pontos da sequncia (zn ) e cada zn e um zero de ordem pn .

Demonstrao:
Primeiro adequamos a sequncia (zn ), de forma que cada termo zn aparea pn vezes. Agora construimos
uma sequncia (wn ) em C da seguinte forma: para cada zn escolha wn C tal que
|wn zn | |w zn | w C , claro que wn . Ento temos
lim(zn wn ) = 0
Definimos

f (z) =

En

n =1

z n wn
z wn

Para todo z temos

zn wn
=0
z wn
portanto, se fixarmos um compacto K , encontramos N N tal que


 z n wn 
1


 z wn  < 2
lim

z K, sempre que n > N.

Pelo lema 6.23

Logo


 n +1   n +1
 


 

1
1 En zn wn   zn wn 
<



z wn
z wn 
2

n =1






1 En zn wn 

z wn 

Converge uniformemente nas partes partes compactas de . Mostrando que o mesmo vale para



z n wn
f (z) = En
z wn
n =1
(Veja a seo 6.5).

72

Funes Holomorfas


 
1
ein . Essa sequncia discreta em D(0, 1), mas todo ponto de
n
D(0, 1) ponto de acumulao desta sequncia. Pelo teorema 6.25 existe uma funo holomorfa em D(0, 1) cujo
conjunto dos zeros so os pontos desta sequncia. Portanto impossvel estender esta funo alm para fora de
D(0, 1).
Exemplo 6.26. Considere a sequncia

Referncias Bibliogrcas

[1] Ahlfors L.V. Complex analysis - An Introduction to the Theory of Analytic Functions of One Complex Variable,
International Series in Pure And Applied Mathematics, McGraw-Hill, 1979.
[2] Alcides Lins Neto, Funes de uma varivel complexa, Projeto Euclides, IMPA, Rio de Janeiro, 1993.
[3] Elon Lages Lima. Curso de Anlise vol. 1, Projeto Euclides, IMPA, Rio de Janeiro, 2004.
[4] Marcio G. Soares, Clculo em uma varivel complexa. Coleo Matemtica Universitria, IMPA, Rio de
Janeiro, 2007.
[5] Rudin W., Real and Complex Analysis, Serie in Higher Mathematics, McGraw-Hill, 1970

ndice Remissivo

bordo, 18
caminho, 50
fechado, 50
suave, 50
suave por partes, 50
componente conexa, 18
comprimento de um caminho, 51
Condies de Cauchy-Riemann, 44
conjugado, 9
conjunto
conexo, 18
aberto, 17
compacto, 17
convexo, 18
fechado, 17
simplesmente conexo, 18
curva, 50
disco, 17
disco furado, 17
fecho, 18
funo holomorfa, 45
funo inteira, 45
interior, 17
lim inf, 27
lim sup, 27
mdulo, 10
orientao de um caminho, 51
parametrizao, 50
ponto de acumulao, 18
ponto isolado, 18
Ramo Principal do Logaritmo, 15, 65
Regio, 37
srie, 25
valor absoluto, 10