Numeros Complexos

Professores Jorge Aragona e Oswaldo R. B. de Oliveira

Captulo 1

NUMEROS COMPLEXOS

2
Captulo 2

POLINOMIOS

3
Captulo 3

SEQUENCIAS E TOPOLOGIA

4
Captulo 4

O TEOREMA FUNDAMENTAL
DA ALGEBRA E OUTROS
TEOREMAS POLINOMIAIS

5
Captulo 5

SERIES/CRITERIOS DE
CONVERGENCIA

6
Captulo 6

SERIES ABSOLUTAMENTE
CONVERGENTES E SOMAS
NAO ORDENADAS

7
Captulo 7

SEQUENCIAS E SERIES DE
FUNCOES E, SERIES DE
POTENCIAS

7.1 - Introducao

8
 7.2 - Sequencias de Funcoes

Neste captulo X indica um subconjunto de K, com K = R ou K = C.

7.1 Definicao. Para uma sequencia de funcoes, (fn ), fn X K, temos:

(a) (fn ) converge simplesmente a f X K se, lim fn (x) = f (x) , x X.

(b) (fn ) converge uniformemente a f X K se, para todo > 0, existe um

natural N tal que fn (x) f (x) < , n N, x X.

f +
fn
f

Figura 7.1: Convergencia Uniforme sobre X R.

Se (fn ) converge uniformemente a f entao (fn ) converge simplesmente a f .

7.2 Exemplo. Dado n N, seja

xn , se 0 x < 1 ,
fn (x) =


1 , se 1 x 2 .

E claro que


0 , se 0 x < 1 ,
f (x) = lim fn (x) =


1 , se 1 x 2 .
n+

A sequencia (fn ) e de funcoes contnuas mas f (x), x [0, 2], nao e contnua.

9
 1

f1 f2 f4
f3
1

Figura 7.2: Ilustracao ao Exemplo 7.2.

7.3 Proposicao. Sejam (fn ) e (gn ) duas sequencias de funcoes definidas em X

e a valores em C, convergindo uniformemente as funcoes f e g, respectivamente.
Seja ainda uma constante em C. Entao, as sequencias de funcoes (fn + gn ) e
(fn ) convergem uniformente sobre X as funcoes f + g e f , respectivamente.

Prova. E facil e a deixamos ao leitor

7.4 Teorema. Se (fn ) e uma sequencia de funcoes, em X, contnuas em x0 e

convergindo uniformemente a f X K entao, f e contnua em x0 .

Prova.
Seja x0 X e > 0. Por hipotese, existe um natural N tal que para todo
n N temos fn (x) f (x) < para todo x X. Desta forma, como fN e
contnua, existe > 0 tal que, se x x0 < entao fN (x) fN (x0 ) < . Logo,
f (x) f (x0 ) f (x) fN (x) + fN (x) fN (x0 ) + fN (x0 ) f (x0 ) < + +

7.5 Corolario. Se (fn ) e uma sequencia de funcoes contnuas, em X, conver-

gindo uniformemente a f X K entao f e contnua.

Prova. Imediata consequencia do teorema acima

7.6 Teorema. Se (fn ) e uma sequencia de funcoes contnuas em [a.b] R, a

valores reais e convergindo uniformemente a f [a, b] R entao,

fn (x)dx = f (x)dx .
b b

n+ a
lim
a

10
Prova.
Pelo Teorema 7.4, f e contnua e, assim, integravel como toda fn . Dado > 0,
por hipotese, existe N N tal que, se n N, fn (x) f (x) < , x [a, b]. Assim
sendo, para todo n N temos

fn (x)dx f (x)dx fn (x) f (x)dx

b b b b
dx = (b a)
a a a a

A hipotese da convergencia uniforme para a validade da afirmacao no Teorema

7.6 acima e mostrada necessaria pelo exemplo abaixo.

7.7 Exemplo. Seja fn [0, 1] R, n N, a sequencia de funcoes dada por,

1
2n2 x , 0 x 2n

fn (x) = 2n 2n2 x , 2n

1 1
x



n

0, n x 1 .
1

Temos lim fn (x) = 0, para todo x [0, 1]. Computando areas de triangulos e
n+
facil verificar que 0 fn (x) dx = 12 , para todo n N. Vide Figura 7.3 a seguir.
1

f8

2
f3

f1

1 1
8 3 1

Figura 7.3: Ilustracao ao Exemplo 7.7

11
7.8 Definicao. Seja C n ([a, b], R) o espaco vetorial das funcoes f [a, b] R
tais que para todo k N, com 0 k n, a k-esima derivada f (k) existe no intervalo
aberto (a, b) e se estende contnuamente ao intervalo fechado [a, b].

7.9 Teorema. Seja (fn ) C 1 ([a, b], R) tal que (fn ) converge uniformemente a
f [a, b] R e, ainda, (fn ) converge simplesmente a uma funcao F [a, b] R .
Entao, F e derivavel e F = f . Isto e,

( lim fn (x)) = lim fn (x).

n+ n+

Prova.
Pelo Primeiro Teorema Fundamental do Calculo temos,

fn (x) = fn (a) + fn (t)dt , x [a, b] .

x

Pelas hipoteses e pelo Teorema 7.6, tomando o limite para n +, temos

F (x) = F (a) + f (t)dt .

x

Logo, pelo 2 Teorema Fundamental do Calculo, F e derivavel e F = f

O exemplo a seguir mostra que nao e suficiente a convergencia uniforme da

sequencia de funcoes (fn ) a funcao f , com f e fn de classe C 1 , para todo n N,
para concluirmos que a sequencia (fn ) converge simplesmente a f .

7.10 Exemplo. A sequencia de funcoes fn (x) = 1

n sin nx, com x R e n N,
converge uniformemente a funcao nula dada por f (x) = 0, para todo x R.

1
Verificacao. De fato, dado > 0 existe um natural N tal que N < e assim
temos fn (x) 0 1
n 1
N < se n N. Mas, a sequencia de funcoes (fn ), onde
fn (x) = cos nx, nao converge simplesmente pois a sequencia ( cos n 2 )nN diverge.

7.11 Criterio (de Cauchy, para convergencia uniforme de uma sequencia

de funcoes). A sequencia (fn ) de funcoes definidas em X e a valores em K
converge uniformemente a f X K se e somente se para todo > 0 existe um
natural N tal que

fn (x) fm (x) < , n, m N, x X .

12
Prova.

() Dado > 0, seja N N dado pela convergencia uniforme. Entao, se n, m N

e x X, temos fn (x) f (x) < e fm (x) f (x) < . Portanto,

fn (x) fm (x) fn (x) f (x) + fm (x) f (x) < + = 2 .

() Neste caso, para todo x X, a sequencia numerica (fn (x)) e de Cauchy

e, convergente. Seja f (x) = lim fm (x). Dado > 0 consideremos N N
tal que fn (x) fm (x) < , n, m N, x X. Tomando o limite nesta
m+

desigualdade para m + temos fn (x) f (x) , n > N, x X

7.3 - Series de Funcoes

7.12 Definicao. Seja (fn ) uma sequencia de funcoes em X e a valores em K.

+
Entao, fn e a serie de funcoes cujas somas parciais sao as funcoes
n=1

n
sn = f1 + ..... + fn = fj X K, n N .
j=1

+
7.13 Definicao. A serie de funcoes fn converge, sobre seu domnio X, para a
n=1

funcao s X K se, para cada x X temos, fn (x) = s(x).

+

n=1

+
7.14 Definicao. Dada a serie de funcoes fn , definidas no conjunto X, a
n=1

funcao s(x) = fn (x) definida sobre o conjunto dos pontos x X em que a serie
+

n=1
+
de funcoes converge e chamada a soma da serie fn .
n=0

+
7.15 Definicao. A serie de funcoes fn , definidas em X e a valores em K,
converge uniformemente a funcao s X K se a sequencia (sn ) de suas somas
n=0

parciais, onde sn = f1 + ...... + fn , n N, converge uniformemente a s X K.

13
7.16 Teorema. (Integracao termo a termo) Seja s(x) = fn (x), x [a, b],
+

n=1
uma serie de funcoes em C([a, b], R), uniformemente convergente. Entao, a
funcao s [a, b] R e contnua e

fn (x)dx .
b + b
a s(x)dx =
n=1 a

Prova. Consequencia imediata do Corolario 7.5 e do Teorema 7.6

7.17 Teorema. (Derivacao termo a termo) Seja s(x) = fn (x), x [a, b],
+

n=1
+
uma serie de funcoes de classe C 1, a valores reais, tal que a serie fn converge
uniformemente em [a, b]. Entao, a funcao s [a, b] R e de classe C 1 e,
n=1

s (x) = ( fn (x)) = fn (x) , x [a, b] .
+ +

n=1 n=1

Prova. Segue trivialmente do Teorema 7.9 aplicado a sequencia de funcoes (sn ) =

(f1 + ... + fn )

7.18 Teorema (Criterio de Cauchy para convergencia uniforme de uma

+
serie de funcoes). A serie de funcoes fn , definidas em X e a valores em K,
n=1
+
converge uniformemente a funcao s(x) = fn se e somente se para todo > 0
n=1
existir N N tal que

fk (x) fk (x) < , n, m N , x X .

m n

k=1 k=1

Prova. Consequencia imediata do criterio de Cauchy para sequencias de funcoes

aplicado a sequencia (sn ) = (f1 + ... + fn ) das somas parciais da serie fn pois,
+

n=1

fk (x) fk (x) = sm (x) sn (x)

m n

k=1 k=1

+
7.19 Teorema (Teste M de Weierstrass). Seja fn uma serie de funcoes,
n=1
definidas em X e a valores em K, satisfazendo

fn (x) Mn , n N , x X , e
+
Mn < .
n=1

Entao, a serie fn converge uniformemente, em X, a funcao s(x) = fn (x).

+ +

n=0 n=1

14
Prova. Pelo Criterio 5.16 (Criterio de Cauchy para uma serie numerica), dado
> 0 existe N N tal que n > N e p N temos Mn+1 + Mn+2 + ..... + Mn+p < .
Logo, a sequencia (sn ) das somas parciais de fn satisfaz: se n > m > N entao,
+

n=1

sn (x) sm (x) = fm+1 (x) + fm+2 (x) + .... + fn (x) < Mm+1 + Mm+2 + ....Mn < .

Tomando o limite na expressao acima para m tendendo a + obtemos entao, e

facil ver, sn (x) s(x) , para todo n > N, para todo x X

7.4 - Derivada Complexa

A derivada complexa e definida atraves do limite de quocientes de Newton,

como no caso real. Voltaremos a este topico na secao dedicada as equacoes de
Cauchy-Riemann. Abaixo, os conjuntos , 1 e 2 sao abertos em C, f C
e uma funcao na variavel complexa z e z0 um ponto em .

7.20 Definicao. Dada f C, e z0 , f e derivavel em z0 se existir o limite

abaixo, dito entao a derivada de f em z0 ,

f (z) f (z0 )
f (z0 ) = lim .
zz0 z z0

Analogamente ao caso real, a funcao f (z) = z 2 , z C, e derivavel em todo ponto

e f (z) = 2z. Mas, f (z) = z, z C, nao e derivavel em nenhum z0 . Se z0 = 0,
os quocientes zz , z 0, nao tendem a nenhum numero se z 0, o que e obvio
escolhendo z = x, x 0 e z = iy, y 0. Se z0 0 a argumentacao e similar.

7.21 Proposicao. Se f C e derivavel em z0 entao f e contnua em z0 .

Prova. Trivial pois,

f (z) f (z0 )
lim [f (z) f (z0 )] = lim (z z0 ) = f (z0 )(z z0 ) = 0
zz0 zz0 z z0

15
7.22 Proposicao. Se f, g C sao derivaveis em z0 entao, as funcoes f + g,
f g, f ( C), e f
g (supondo g(z0 ) 0) sao derivaveis em z0 . Ainda mais,

(a) (f + g) (z0 ) = f (z0 ) + g (z0 ). (b) (f ) (z0 ) = f (z0 ).

(c) (f g) (z0 ) = f (z0 )g(z0 )+f (z0 )g (z0 ). (d) ( fg ) (z0 ) =

f (z0 )g(z0 )f (z0 )g (z0 )
g 2 (z0 ) .

Prova.

(a) e (b) Seguem da Definicao 7.20 e Proposicao 3.57 (a) e (b), respectivamente.

(c) Dividindo f (z)g(z) f (z0 )g(z0 ) = [f (z) f (z0 )]g(z) + f (z0 )[g(z) g(z0 )]
por z z0 , z z0 , e entao computando o limite para z z0 da equacao
f (z)g(z) f (z0 )g(z0 ) f (z) f (z0 ) g(z) g(z0 )
= g(z) + f (z0 ) ,
z z0 z z0 z z0
obtemos pela Definicao 7.20 e Proposicao 7.21 o resultado desejado.
0)
(d) Se f = 1, dividindo 1
g(z) g(z10 ) = g(z)g(z
g(z)g(z0 ) por z z0 , z z0 , obtemos,

g(z) g(z0 )
1
g(z) g(z10 ) 1
g(z)g(z0 )
= ,
z z0 z z0

cujo limite para z z0 e, pela Definicao 7.20 e Proposicao 7.21, gg2(z

0)
(z0 ) .
f
Aplicando tal formula e o tem (c) a fatoracao g = f. 1g obtemos (d)

Evidentemente entao, como p(z) = z e derivavel, todo polinomio e derivavel.

7.23 Proposicao. Sejam f 1 C e g 2 C com f (1 ) 2 . Se f e

derivavel em z0 e g e derivavel em f (z0 ) entao g f e derivavel em z0 e,

(g f ) (z0 ) = g (f (z0 ))f (z0 ) .

Prova. Como g e derivavel em w0 = f (z0 ), e contnua em w0 = f (z0 ) a funcao

g(w)g(w0 )
g (w0 ) se w w0 ,
h(w) =

ww0

0 se w = w0 .

Escrevendo g(w) g(w0 ) = [h(w) + g (w0 )](w w0 ), e substituindo w = f (z),

w0 = f (z0 ) e dividindo por z z0 , z z0 , obtemos o quociente de Newton de g f ,
g(f (z)) g(f (z0 )) f (z) f (z0 )
= [h(f (z)) + g (f (z0 ))] , z z0 .
z z0 z z0

16
Analisemos o limite do segundo membro quando z z0 . Utilizando que f e
derivavel em z0 [logo, f e contnua em z0 e (hf ) e contnua em z0 ] conclumos que
lim (h f )(z) = h(f (z0 )) = h(w0 ) = 0. Logo, o limite citado e g (f (z0 ))f (z0 )
zz0

7.5 - Series de Potencias e Propriedades Operatorias

7.24 Definicao. Dada uma sequencia (an ) C e z0 C, a serie de funcoes

complexas an (z z0 )n , z C, e a serie de potencias com coeficientes (an ),
+

n=0
centrada em z0 , ou em torno de z0 .

A serie de potencias an (zz0 )n e convergente (divergente) no ponto z = w C se

+

n=0

a serie numerica an (w z0 )n e convergente (divergente). Atraves da translacao

+

n=0

w = z z0 passamos da serie an (z z0 )n para a serie an w n . Desta forma,

+ +

n=0 n=0
simplificamos a exposicao supondo a serie centrada em z0 = 0.

Doravante z denotara tanto a variavel z como o numero z C. O contexto

indicara o sentido.
+
7.25 Teorema. Seja an z n uma serie de potencias centrada na origem e
n=0

[0, +] ,
1
=
an
lim sup
n

com = + se lim sup n an = 0 e = 0 se lim sup n an = +.

(a) Se z < a serie converge absolutamente.

(b) Se z > a serie diverge.

(c) Se z = o criterio e inconclusivo sobre a convergencia ou divergencia.

(d) A serie converge absolutamente e uniformemente em todo disco fechado

D(0 ; r) tal que 0 < r < .

Prova. Notemos que, se z 0 entao

lim sup n
an z n = z lim sup n an < 1 [> 1] se e somente se z < [> ] .

17

(a) Se z < entao lim sup an z n < 1 e pelo Criterio da Raz an z n < .
+
n

(b) Se z > entao lim sup an z n > 1 e pelo Criterio da Raz, an z n = +.
+
n

(c) Deixamos ao leitor encontrar exemplos ilustrativos.

(d) Segue do tem (a) e do Teste M de Weierstrass pois e facil ver que temos
an z n an r n , para todo z D r (0), e an r n <

D(0; )

Figura 7.4: O Disco (aberto) de Convergencia.

+
7.26 Definicao. (Hadamard) O raio de convergencia da serie an z n e
n=0

[0, +] .
1
=
lim sup n an

Observacao. Dada uma sequencia (an ) em C = C {0} tal que existe lim aan+1 ,

pelo Teorema 5.28 existe lim n an e = lim 1an+1 = lim n
n
1
a
.
an n

Fixada uma serie de potencias indicamos por o seu raio de convergencia.

+
7.27 Definicao. Dada a serie de potencias an z n , com raio de convergencia
n=0
> 0, o disco aberto D(0; ) e o disco de convergencia da serie.

Se = 0 temos o disco degenerado {z = 0}. Se > 0 e z pertence ao disco

+
D(0; ), pelo Teorema 7.25, a serie an z n converge absolutamente e portanto
a sequencia (an z n )nN e somavel. Assim sendo, escrevemos brevemente an z n
+
para indicarmos a serie de potencias an z n .

A seguir mostramos que toda serie de potencias pode ser desenvolvida como
uma serie de potencias em torno de cada ponto em seu domnio. E importante
observar que este fato nao e evidente.

18
7.28 Teorema (Translacao). Seja f (z) = an z n convergente em D(0; ), com
> 0. Entao, fixado z0 D(0; ), existe uma sequencia complexa (bn ) tal que

f (z) = bn (z z0 )n , z D(z0 ; z0 ).

0 z0
z0

Figura 7.5: Translacao.

Prova. Seja z, com z0 + z z0 < . Como a serie de potencias dada converge

absolutamente em D (0), sao iguais e finitos os valores das somas (nao ordenadas)

an ( z0 + z z0 ) = an ( )z0 np z z0 p .
n n
n n 0pn p

Pela associatividade para somas (nao ordenadas) seguem as identidades

an (z0 + z z0 )n = an z n = f (z)




n n

an ( )z0 (z z0 ) =
n np

p



p

( an ( p )z0 ) (z z0 )p
n 0pn + +

n np

p=0 n=p

Analogamente aos polinomios podemos multiplicar e compor series de potencias.

Ainda, vantajosamente, podemos computar o recproco de uma serie de potencias.

7.29 Teorema (Produto de Cauchy). Sejam an z n e bn z n convergentes

no disco D(0; R), com R > 0. A serie

cn z n , com cn = aj bk , n N ,
n0 j+k=n

e convergente em D(0; R) e satisfaz cn z n = ( an z n )( bn z n ) .

Prova. Seja z D(0; R). Como

an z n bm z m = ( an z n ) ( bm z m ) < ,
n,m n m

19
pela associatividade para somas (nao ordenadas) segue,



( an z n )( bm z m )




n m
an z n bm z m =



( aj bk ) z n


n,m

n j+k=n

7.30 Corolario (Potenciacao). Seja f (z) = an z n convergente no disco D(0; R)

e p fixo em N. Entao, para todo z D(0; R) vale

f (z)p = bn z n , com bn = an1 ...anp .

n1 +...+np =n

Prova. Seja z D(0; R). Entao temos

> ( an zn ) = an1 zn1 ...anp znp .

p

n1 N...,np N

Logo, pela Lei Associativa para somas nao ordenadas segue,

( an1 z n1 )...( anp z np ) = ( an z n )

p





n1 np n

=

an1 z n1 ...anp z np



( an1 ...anp ) z n

n1 N,...,npN

n n 1 +...+n p =n

7.31 Teorema (Composicao). Sejam f (z) = an z n e g(z) = bm z m conver-

gentes em D(0; R), R > 0. Se g(0) < R, entao existe r > 0 tal que

f (g(z)) = cm z m , z D(0; r) .

g g (z ) f
R
r
R C
0

Figura 7.6: Teorema (Composicao).

20
Prova. Por hipotese temos b0 = g(0) < R. Logo, por continuidade podemos
escolher 0 < r < R, tal que bm z m < R se z D(0; r). Assim, fixando um tal
z, devido a convergencia absoluta da serie an z n em D(0; R) obtemos

> an ( bm z m ) = an bm1 zm1 ...bmn zmn .

n

n m nN m1 N,...,mnN

Entao, pela associatividade para somas nao ordenadas segue,

an ( bm z m ) = f (g(z))
n




n m
an =

bm1 z m1 ...bmn z mn




( an bm1 ...bmn )z m
n m1 ,...,mn


m n m1 +...+mn =m

7.32 Proposicao (Recproco). Seja f (z) = an z n , z Dr (0), r > 0, tal que

a0 0. Entao, existe > 0 tal que vale o desenvolvimento em serie de potencias

= bn z n , z D (0) .
1
f (z)

1 Prova.
Dividindo f = f (z) por a0 se necessario, supomos a0 = 1. Por continuidade,
existe > 0 tal que n1 an z n < 1 se z < . Indiquemos cn = an , n 1, e
n1 an z n = cn z n . Assim, se z < , temos as identidades finitas

1+ cn z n +( cn z n ) +... = ( cn zn ) = cn1 zn1 ...cnp znp .

p

2

p n p (n1 ,n2 ,...,np )Np

Entao, pela associatividade para somas (nao ordenadas) seguem as identidades,

( n )p =
+

1 1 1
1 cn z n = 1+ an z n = f (z) ,
c z


n

p=0

=

cn1 z n1 ...cnp z np





p (n1 ,n2 ,...,np )Np +
bN z N ,

bN = cn1 ...cnj .
=0
N n1 +...+nj =N

2 Prova.
Suponhamos a0 = 1. Entao, g(z) = 1 f (z) = n1 an z n e h(z) = 1
1z = n0 z n
estao definidas em torno de zero e g(0) = 0. Pelo Teorema 7.31 existe > 0 tal
que h(g(z)) = 1
1[1f (z)] = 1
f (z) e uma serie de potencias sobre o disco D (0)

Abusando da notacao escrevemos por praticidade nan z n1 para uma serie

de potencias n1 nan z n1 visto que 0a0 = 0, qualquer que seja a0 C.

21
7.33 Teorema (Derivacao). As series f (z) = an z n e g(z) = nan z n1 tem
mesmo disco de convergencia D(0; ). Se > 0 temos,

f (z) = g(z) , z D(0; ) .

Prova. Dividamos a prova em duas partes complementares.

(a) Da desigualdade n1 an z n z n1 nan z n1 segue: o disco de convergencia

de g esta contido no disco de convergencia de f . Ainda, se o disco de con-
vergencia de f e degenerado entao o de g tambem o e (fim do caso trivial).

(b) Suponhamos f convergente em D(0; ), > 0. Fixemos R > 0 e z satisfa-

zendo z < R < . Seja h tal que 0 < h < r = R z. Para n 2 obtemos
(z + h)n z n
= nz n1 + h ( )z np hp2
n
n
h p=2 p

e portanto,
(z + h)n z n h n n h
nz n1 2 ( ) znp r p 2 Rn .
h r p=2 p r
Logo, nan z n1 converge absolutamente e g converge em D(0; ). Por fim,
(z + h)n z n h
an nan z n1 2 an Rn 0
h0
h r

7.34 Corolario. Seja f (z) = an z n com raio de convergencia > 0. Entao, f

n0
e infinitamente derivavel no seu disco de convergencia e,

(a) f (k) (z) = n(n 1)....(n k + 1)an z nk = n!

(nk)! an z
nk .
nk nk

(b) f e dada por sua serie de Taylor centrada em 0,

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

(c) Se f (z) = 0, z D (0), entao an = 0, n N.

Prova. Do Teorema 7.33 segue, por recursao, que f e infinitamente derivavel no

seu disco de convergencia e tambem o tem (a).

(b) Substituindo z = 0 em (a) obtemos f (k) (0) = k! ak . Logo, ak = f (k) (0)/k!.

(c) Segue de (b)

22
7.35 Teorema (Taylor). Seja f (z) = an z n com raio de convergencia > 0.
+

n=0
Dado z0 D(0; ), e valida a propriedade

f (n) (z0 )
f (z) = (z z0 )n , z D(z0 ; z0 ).
+

n=0 n!

0 z0
z0

Figura 7.7: Teorema de Taylor.

Prova.
Segue do Teorema 7.28 (Teorema de Translacao) e do Corolario 7.34

(z z0 )n e a serie de Taylor de f em torno de z0 .

+
A serie f (n) (z0 )
n!
n=0

7.36 Corolario. Seja f (z) = an z n uma serie de potencias com disco de con-
vergencia D(0; ), > 0, e z0 D(0; ) tal que f (n) (z0 ) = 0, n 0. Entao, f e
identicamente nula e an = 0 , n 0.

Prova. Consideremos X = {w D (0) f (n) (w) = 0, n 0}.

Se w X, pelo Teorema 7.35 temos f (z) = f (zw)n = 0, se z D(w; r),
(n) (w)

n!
para algum r > 0. Portanto segue que D(w; r) X e, assim, X e aberto.
Tambem D(0; ) X e aberto: se D(0; ) X existe m tal que f (m) () 0
e entao, pela continuidade de f (m) , existe > 0 tal que f (m) (z) 0, z D ()
e portanto D () D(0; ) X. Logo, o conexo D (0) e uniao disjunta de dois
abertos e assim um deles e o conjunto vazio. Como z0 X, temos X = D (0) e
f = 0. Por ultimo, sendo f (n) (0) = an n!, n N, conclumos an = 0, n N

23
 A seguir mostramos dois resultados para series de potencias analogos a co-
nhecidos resultados para polinomios. O primeiro corresponde ao fato de que um
polinomio de grau n 1 tem zeros isolados. O segundo corresponde ao fato de
que um polinomio e determinado pelo seu valor em n + 1 pontos distintos.

7.37 Corolario (Princpio dos Zeros Isolados para series de potencias).

Consideremos f (z) = an z n com raio de convergencia > 0 e f nao nula. Se
f (z0 ) = 0, z0 D(0; ), existem m 1, m N, e uma serie de potencias g definida
em um disco D(z0 ; ), > 0, tais que para todo z D(z0 ; ) vale,

f (z) = (z z0 )m g(z) e g(z) 0 .

Prova. Seja f (z) = f (zz0 )n , com z D(z0 ; ) e > 0, o que e garantido

(n)
(z0 )
n!
pelo Teorema 7.35. Como f 0 e f (0) (z0 ) = f (z0 ) = 0, pelo Corolario 7.36 existe
o primeiro natural m 1 tal que f (m) (z0 ) 0.
f (n) (z0 )
Assim, indicando bn = n! , n N, temos

f (z) = bn (z z0 )n = (z z0 )m [bm + bm+1 (z z0 ) + bm+2 (z z0 )2 + ....]

+

n=0

donde, notando que para z z0 0 a serie no lado esquerdo converge se, e so se,
a serie no lado direito converge, conclumos que ambas convergem em D (z0 ).
Desta forma, g(z) = [bm + bm+1 (z z0 ) + bm+2 (z z0 )2 + ....] e tal que

f (z) = (z z0 )m g(z) e g(z0 ) = bm 0 se z D(z0 ; ) .

Para finalizar, escolhemos > 0 tal que 0 < < e g(z) 0 se z D(z0 ; )

7.38 Corolario (Princpio da Identidade para series de potencias). Se-

jam an z n e bn z n convergentes em D(0; R) e X D(0; R) um conjunto com
ponto de acumulacao em D(0; R). E valida a propriedade abaixo:

se an z n = bn z n , z X , entao temos an = bn , n N .

Prova. Efetuando a subtracao an z n bn z n = (an bn )z n vemos que podemos

supor bn = 0, n. Suponhamos entao que z0 e um ponto de acumulacao de zeros
de f (z) = an z n . Pela continuidade de f temos f (z0 ) = 0. Entao, se f nao e nula,
pelo Princpio dos Zeros Isolados z0 e o unico zero de f em algum D(z0 ; r), r > 0, o
que contradiz a hipotese. Conclumos entao que f (z) = an z n = 0, z D(0; R),
e portanto an = f (n) (0)(n!)1 = 0, n N

24
 EXERCICIOS - CAPITULO 7

1. Determine o domnio de convergencia da serie e esboce o grafico de f :

(a) f (x) = xn (b) f (x) = nxn
+ +

n=1 n=1

2. Para t 2Z e n N valem as identidades

enit 1 sen(n 2t ) i(n+1) t

(a) eit + e2it + e3it + ... + enit =
sen( 2t )
= e 2 .
1 eit

sen nt t
1 sen(2n + 1) 2t
(b) cos t + cos 2t + ... + cos nt = 2 cos(n + 1) 2
= + ,
sen 2t 2 2sen 2t
este e o n-esimo nucleo de Dirichlet.
cos 2t cos(n + 12 )t sen nt t
(c) sen t + ... + sen nt = = 2 sen(n + 1) 2
,
2sen 2t sen 2t

este e o n-esimo nucleo conjugado de Dirichlet .

Sugestao: compute as partes real e imaginaria da expressao em (a).

+ +
3. Mostre que as series cos nx
n e sen nx
n convergem, para todo x R.
n=1 n=1
Sugestao: Utilize o exerccio anterior e o criterio de Dirichlet.

4. Determine o limite f (x) = lim fn (x), x X, e mostre que a sequencia (fn )

nao converge uniformemente a f , nos casos abaixo.

(a) fn (x) = sen(nx)

1+n2 x2 , X = R. Dica: analise o que ocorre nos pontos xn =
2n .

(b) n
x+n , X = [0, +). Dica: analise o que ocorre nos pontos xn = n.
(c) fn (x) = ( senx
x ) , se x 0 e fn (0) = 1, onde X = R.
n

(d) fn (x) = (1 2nx2 )enx , com X = R.

2

(e) fn (x) = x2n

1+x2n , com X = R.
(f) X = [0, 1] e


(n 1)x , 0 x
1
fn (x) =

n

1 x, n x 1 .
1

25
5. Mostre a convergencia uniforme de (fn ) em X R nos casos abaixo.

(a) fn (x) = sennx

n7 , onde X = R.
(b) fn (x) = enx sin x, onde X = [0, +).
(c) fn (x) = xenx , onde X = R.
2

6. Determine o limite f (x) = lim fn (x), onde x [0, 1], e mostre que
n+

fn (x)dx ( lim fn (x))dx ,

1 1

n+
lim supondo
0 0 n+

1
n2 x , 0 x 2n ,
2 1
fn (x) = n ( n x) , 2n

1 1
x

,


n

0, n x 1 .
1

7. Sendo fn (x) = n2 x2
1+n2 x2 , x [1, 1], mostre que fn converge simplesmente a f
(determine f ) mas nao uniformemente. Ainda assim,

fn (x)dx = lim fn (x) dx .

1 1

n+ 1
lim
1 n+

8. Para cada n 1, seja fn (x) = nx

nx2 +1 , x R. Consideremos f (x) = lim fn (x).
n+

(a) Determine o domnio de convergencia da sequencia (fn ). Esboce os

graficos de f e das funcoes fn .
(b) A convergencia da sequencia (fn ) a funcao f e uniforme sobre R ? E
sobre o intervalo [r, +), r > 0 ?

9. Para cada n 1, seja fn (x) = nx

1+n2 x4 , x R. Consideremos f (x) = lim fn (x).
n+

(a) Determine o domnio de convergencia. Esboce os graficos de f e das

funcoes fn .
(b) A convergencia e uniforme sobre [0, 1] ? Justifique. Vide sugestao no
livro.
(d) Mostre que 0 [ lim fn (x)] dx lim 0 fn (x)dx .
1 1
n+ n+

26
10. Mostre que a serie dada converge uniformemente no intervalo dado.

em [r, r], r > 0. em [r, r], 0 < r < 1.

+ +
(a) ex = xn
n! (b) xn
2n+1 ,
n=0 n=1

11. Mostre que a funcao dada e contnua.

(a) f (x) = (b) f (x) = x [1, +).

+ +
cos nx3 1
n4 , x R. 2nx ,
n=1 n=1

12. Seja f (x) = 0 f (x)dx = log(1 + n12 ).

+ 1 +
x 1
x2 +n2 . Justifique a igualdade: 2
n=1 n=1

13. Sejam (an )n0 e (bn )n1 duas sequencias em R. Suponhamos que

F (x) = + [ an cos nx + bn sen nx ], x [, +],

+
a0
2 n=1

a convergencia sendo uniforme. Mostre que:

F (x) cos nx dx , n 0.
1 +
(i) an =

F (x)sen nx dx , n 1,
1 +
(ii) bn =

A serie e acima e a serie de Fourier de F e os numeros an , n 0, e bn , n 1,

sao os coeficientes de Fourier de F .

14. Determine os coeficientes de Fourier de f (x) = x2 , x .

15. Determine os coeficientes de Fourier de f (x) = x, x .

16. (a) Descreva o domnio da funcao g(z) = y

x
1
+ 1y i, (z = x + iy).
(b) Seja = {x + iy x > 0 e y < 1} e considere a funcao f C,

f (z) = y
+ +
xt
e dt + i y n , z = x + iy .
0 n=0

Mostre que Dom(g) e que f (z) = g(z), z .

17. Mostre que a funcao Re: z C Re(z) C nao e derivavel em nenhum

ponto de C.

27
18. Considerando o isomorfismo canonico entre R2 e C, dado aberto em C
indiquemos por R2 o aberto identificado a por tal isomorfismo. Ainda,
dada f C indiquemos por f R2 a funcao:

f(x, y) = (Re(f (z)), Im(f (z))), z = x + iy .

Suponha que existe f (k) , k N [em breve veremos que se existe f entao
existe f (k) , k N]. Entao, verifique os itens abaixo.

(a) Mostre que f e de classe C 2 .

(b) Compute a matriz jacobiana de f e mostre que o determinante jaco-
biano de f no ponto (x, y) e f (z), com z = x + iy.

19. Mostre que para uma funcao L C C sao equivalentes :

(i) L e C-homogenea [isto e, L(zw) = zL(w), z, w C].

(ii) L e C-linear.
(iii) L e uma homotetia; isto e, existe C tal que L(z) = z , z C.

28
 BIBLIOGRAFIA

1. Ahlfors, Lars V., Complex Analysis - An Introduction to the Theory of Analy-

tic Functions of One Complex Variable, International Series in Pure and Applied
Mathematics, McGraw-Hiil, Inc., 1979.
2. Aigner, M., and Ziegler, G. M., Proofs from THE BOOK, 4th ed., Springer,
2010.
3. Apostol, T. M., Calculus, 2nd. ed., Ed. Waltham/Blaisdell, 1967-1969.
4. Aragona, J. Numeros Reais, 1 ed., Editora da Fsica, 2010.
5. Argand, J. R., Reflexions sur la nouvelle theorie des imaginaires, suivies dune
application a la demonstration dun theoreme danalyse, Annales de Mathematiques
Pures et Appliquees, tome 5 (1814-1815), p. 197-209.
6. Argand, J. R., Imaginary Quantities: Their Geometrical Interpretation, Uni-
versity Michigan Library, 2009.
7. Argand, J. R., Essay Sur Une Maniere de Representer Les Quantites Imagi-
naires Dans Les Contructions Geometriques, Nabu Press, 2010.
8. Bak, J., Ding, P., and Newman, D. J., Extremal Points, Critical Points,
and Saddle Points of Analytic Functions, American Mathematical Monthly 114
(2007), pp. 540-546.
9. Bak, Joseph and Newman, Donald J., Complex Analysis, 3rd. ed., UTM,
Springer, 2010.
10. Beardon, Alan F., Complex Analysis - The Argument Principle in Analysis
and Topology, A Wiley-Interscience Publication, 1979.
11. Beardon, Alan F., Limits - A New Aproach to Real Analysis, UTM, Springer,
1991.
12. Boas, H. P., Julius and Julia: Mastering the Art of the Schwarz Lemma,
American Mathematical Monthly 117 (2010), pp. 770-785.
13. Boas, R. P., Invitation to Complex Analysis, Mathematical Association of
America, 2nd. ed., 2010.
14. Boulos, P., Exerccios Resolvidos e Propostos de Sequencias e Series
15. Boyer, Carl B., Historia da Matematica, Ed. Edgard Blucher, 1974.
16. Bressoud, David, A Radical Approach to Real Analysis, 2nd ed., The Mathe-
matical Association of America, 2006.

29
17. Burckel, Robert B., An Introduction to Classical Complex Analysis - Vol 1,
Mathematische Reihe, Birkhauser, 1979.
18. Burckel, R. B., Fubinito (Immediately) Implies FTA, The American
Mathematical Monthly, Vol 113, No. 4 (April 2006), pp. 344-347.
19. Burckel, R. B., A Classical Proof of the Fundamental Theorem of Algebra
Dissected, Mathematics Newsletter of the Ramanujan Matehmatical Society,
Vol. 17, No. 2 (September 2007), pp. 37-39.
20. Busam, R. and Freitag, E. , Complex Analysis, 2nd edition, Universitext,
Springer (2008).
21. Caratheodory, C., Theory of Functions of a Complex Variable, Vol. 1, 2nd
english edition, Chelsea Publishing Company (1964).
22. Cater, F. S., An Elementary proof that analytic functions are open map-
pings, Real Analysis Exchange, Vol 27(1), 2001/2002, pp. 389-392.
23. Cauchy, A. L., Cours dAnalyse, Vol VII, Premiere Partie, Chapitre X,
Editrice CLUEB, Bologna 1990.
24. Chrystal, G., Algebra, An Elementary Text-book, Part I, sixth edition,
Chelsea Publishing Company, New York, N.Y., 1952.
25. Churchill, R. V., Variaveis Complexas e Aplicacoes, EDUSP/McGraw-Hill,
1975.
26. Connell, E. H. and Porcelli, P., Power Series Development without Cauchys
Formula, Bulletin of the American Mathematical Society 67 (1961), pp. 177-
181.
27. Connell, E. H. and Porcelli, P., An Algorithm of J. Schur and the Taylor
Series, Proceedings of the American Mathematical Society 13 (1962), pp. 232-
235.
28. Conway, John B., Functions of One Complex Variable I, 2nd ed., GTM,
Springer, 2000.
29. Doxiadis, A. e Papadimitriou, C. H., Logicomix - Uma Jornada Epica em
Busca da Verdade, Ed. Martins Fontes, 2010.
30. Estermann, T., On The Fundamental Theorem of Algebra, Journal of The
London Mathematical Society, 31 (1956), pp. 238-240.

30
31. Fefferman, C., An Easy Proof of the Fundamental Theorem of Algebra,
The American Mathematical Monthly, Vol. 74, No. 7. (Aug. - Sep., 1967), pp.
854-855.
32. Fine, B. and Rosenberger, G., The Fundamental Theorem of Algebra,
Springer-Verlag, New York, 1997.
33. Fitzpatrick, P. M., Advanced Calculus, 2nd. ed., Pure and Applied Under-
grad. Texts, AMS, 2009.
34. Gamelin, Theodore W., Complex Analysis, UTM, Springer, 2000.
35. Gauss, C. F., Werke, Volume 3, 33-56 (in latin; English translation available
at http:www.cs.man. ac.uk/pt/misc/gauss-web.html).
36. Guidorizzi, Hamilton L., Um Curso de Calculo - Volume 4, 5 ed., LTC
Editora, 2002.
37. Hairer, E. and Wanner, G., Analysis by Its History, UTM, Springer, 1991.
38. Hurwitz, A. and Courant, R., Allgemeine Funktionentheorie und elliptis-
che Funktionen, Grundlehren der Mathematischen Wissenschaften 3, Springer-
Verlag (4th ed. 1964), Berlin.
39. Jack, I. S., Functions starlike and convex of order , Journal of the London
Mathematical Society (2) 3 (1971), pp. 469-474.
40. Jahnke, Hans Niels, editor, A History of Analysis, History of Mathematics
Vol 24, AMS and LMS, 2003.
41. Jensen, J. L. W. V., Recherches sur la Theorie des Equations, Acta Mathe-
matica, Vol 36 (1912), pp. 181-195 .
42. Kakutani, S., and Nagamo, M., About the functional equation f (z +
n1

e(2/n)i ) = nf (z)., Zenkoku Shijo Danwakai 66 (1935), pp. 10-12 (in japanese).
=0

43. Knapp, Anthony W., Basic Real Analysis, Cornestones, Birkhauser, 2005.
44. Knopp, Konrad, Theory and Application of Infinite Series, reprint of the
2nd. English ed. 1951, Dover Publications Inc., 1990.
45. Kochol, M., An Elementary Proof of The Fundamental Theorem of Alge-
bra, International Journal of Mathematical Education in Science and Techno-
logy, 30 (1999), 614-615.
46. Korner, T. W., On The Fundamental Theorem of Algebra, The American
Mathematical Monthly, Vol 113, No. 4 (April 2006), pp. 347-348.
47. Lang, Serge, Complex Analysis, 4th ed., GTM, Springer, 2000.

31
48. Leland, K. O., A polynomial approach to topological analysis, Compositio
Mathematica, tome 17 (1965), pp. 291-298.
49. Lima, E. L., Curso de Analise, IMPA, CNPq, Rio de Janeiro, 1976.
50. Littlewood, J. E., Mathematical notes (14): Every polynomial has a root,
Journal of The London Mathematical Society 16 (1941), pp. 95-98.
51. Narasimhan, Raghavan and Nievergelt, Yves, Complex Analysis in One
Variable, 2nd ed., Birkhauser, 2001.
52. Neto, Alcides Lins, Funcoes de Uma Variavel Complexa, IMPA, 2005.
53. Oliveira, O. R. B., The Fundamental Theorem of Algebra: An Elementary
and Direct Proof, The Mathematical Intelligencer 33, No. 2, (2011), 1-2. DOI:
10.1007/s00283-011-9199-2.
54. Osserman, R., From Schwarz to Pick to Ahlfors and Beyond, Notices of
the AMS, Vol. 46, number 8 (1999), pp. 868-873.
55. Polya, G. and Szego, G., Problems and Theorems in Analysis I, Classics in
Mathematics, Reprint of the 1978 edition, Springer, 1991.
56. Porcelli, P. and Weiner, L. M., A derivation of Cauchys Inequality for
Polynomials, Revista de Matematica y Fisica Teorica, vol 11 (1957), pp. 25-28.
57. Read, A. H., Higher Derivatives of Analytic Functions from the Standpoint
of Topological Analysis, Journal of the London Mathematical Society 36 (1961),
pp. 345-352.
58. Redheffer, R. M., What! Another Note Just on the Fundamental Theorem
of Algebra?, The American Mathematical Monthly, Vol 71, No. 2. (Feb., 1964),
pp.180-185.
60. Remmert, R., Theory of Complex Functions, GTM, v. 122., Springer, 1991.
61. Remmert, R., The Fundamental Theorem of Algebra, in H. -D. Eb-
binghaus, et al., eds., Numbers, Graduate Texts in Mathematics, no. 123, Springer-
Verlag, New York, 1991, Chapters 3 and 4.
62. Rudin, W., Princpios de Analise Matematica, Ao Livro Tecnico e Editora
Universidade de Braslia, 1971.
63. Searcoid, M. O., Elements of Abstract Analysis, Springer-Verlag, London
2003.
64. Simmons, George F., Calculo com Geometria Analtica - Vol 2, Pearson
Makron Books, 1988.

32
65. Shilov, G. E., Elementary Real and Complex Analysis, Dover Public. Inc.,
1973.
66. Soares, Marcio G., Calculo em uma variavel complexa, Colecao Matematica
Universitaria, IMPA, 4. ed., 2007.
67. Spiegel, M. R. and Lipschutz, S., and Schiller, J. J., and Spellman, D.,
Complex Variables, Schaums Outlines, McGraw-Hill, 2nd ed., 2009
68. Spivak, M., Calculus, 4th edition, Publish or Perish, Inc., 2008.
69. Stillwell, J., Mathematics and its History, Springer-Verlag, New York, 1989,
pp. 266-275.
70. Vaggione, D., On The Fundamental Theorem of Algebra. Colloquium
Mathematicum 73 No. 2 (1997), 193-194.
71. Walsh, J. L., A mean value theorem for polynomials and harmonic poly-
nomials, Bulletin of the American Mathematical Society Vol. 42 (1936), pp.
923-936.
72. Whyburn, G. T., The Cauchy Inequality in Topological Analysis, Procee-
dings of the National Academy of Sciences 48 (1962), pp. 1335-1336.
73. Whyburn, G. T., Topological Analysis, Revised Ed., Princeton Unversity
Press, 1964.

33