Sumarios Alargados de

Analise Matematica III

Alfredo Costa, Ana Paula Escada, Jorge Sentieiro Neves
Departamento de Matematica, Faculdade de Ciencias e Tecnologia
Universidade de Coimbra
2014-2015

Conte
udo
1 N
umeros Complexos

2 Sucess
oes e S
eries Num
ericas
2.1 Sucess
oes de n
umeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Series de n
umeros complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Criterios de convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10
10
13
16

3 S
eries de Fourier

21

4 Fun
c
oes Analticas
4.1 Generalidades sobre func
oes complexas . . . . . . .
4.2 Func
oes elementares . . . . . . . . . . . . . . . . .
4.3 Limites e continuidade . . . . . . . . . . . . . . . .
4.4 Diferenciabilidade. Condic
oes de Cauchy-Riemann

.
.
.
.

26
26
27
29
32

5 Integra
c
ao de fun
c
oes complexas
5.1 Definic
oes e propriedades b
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Consequencias do teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . .

37
37
40
41

6 S
eries de pot
encias
6.1 Series de potencias reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Series de potencias complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43
43
47

7 S
eries de Laurent e o Teorema dos Resduos
7.1 Singularidades e o Teorema de Laurent . . . . . . . . . . . . . . . . . . . . . . . .
7.2 Teorema dos resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

52
52
54

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

Captulo 1

N
umeros Complexos
Defini
c
ao 1.1.
(1) Um n
umero complexo e um par ordenado (a, b) de n
umeros reais que se representa na forma
algebrica por a + ib ou a + bi.
(2) O smbolo i diz-se unidade imagin
aria. Por vezes utiliza-se o smbolo j para denotar a
unidade imagin
aria.
(3) Chama-se parte real do n
umero complexo z = a + ib ao n
umero (real) Re(z) := a e parte
imagin
aria de z ao n
umero (real) Im(z) := b.
(4) Se a = 0 e b 6= 0, o n
umero complexo z diz-se imagin
ario puro.
(5) Dois n
umeros complexos z e w sao iguais se tem a mesma parte real e a mesma parte
imaginaria.
(6) O conjunto dos n
umeros complexos representa-se por C := {a + ib : a, b R}.
(7) Os n
umeros complexos somam-se e subtraem-se como polinomios na indeterminada i. Dados z = a + ib e w = c + id, define-se
adic
ao: z + w := (a + c) + i(b + d);
subtrac
ao: z w := (a c) + i(b d).
(8) Os n
umeros complexos multiplicam-se como polinomios na indeterminada i com i2 = 1.
Dados z = a + ib e w = c + id, define-se
multiplicac
ao: zw := (ac bd) + i(bc + ad);
divis
ao: se w 6= 0,

z
ac + bd
bc ad
:= 2
+i 2
.
w
c + d2
c + d2

(9) Chama-se simetrico de z ao n

umero complexo z := (1)z = a ib. O inverso de w 6= 0
1
c
d
e o n
umero complexo
= 2
i 2
.
2
w
c +d
c + d2
(10) Chama-se conjugado de z= a+ib
umero complexo z := aib e m
odulo de z ao n
umero
ao n
2
2
real nao negativo |z| := zz = a + b .

Proposi
c
ao 1.2.
(1) A adic
ao e a multiplicac
ao de complexos s
ao operac
oes associativas e comutativas:
Associatividade: u, v, z C, (u + v) + z = u + (v + z) e (uv)z = u(vz).
Comutatividade: u, v C, u + v = v + u e uv = vu.
(2) A multiplicac
ao e distributiva relativamente `
a adic
ao:
u, v, z C, (u + v)z = uz + vz.
(3) 0 := 0 + i0 e o elemento neutro para a operac
ao adic
ao: z C, z + (0 + i0) = z.
1 := 1 + i0 e o elemento neutro para a operac
ao multiplicac
ao: z C, z(1 + i0) = z.
(4) Todo o n
umero complexo z tem um u
nico inverso aditivo:
z C 1 w C : z + w = 0 + i0.
(Note-se que o inverso aditivo de z e z).
(5) Todo o n
umero complexo z 6= 0 tem um u
nico inverso multiplicativo.
z C, z 6= 0, 1 w C : zw = 1 + i0.
(O inverso multiplicativo de z 6= 0 e 1/z.)
Visto que o conjunto C, com a adic
ao e multiplicacao, satisfaz as propriedades (1)(5), C e um
corpo. Como a soma e o produto de n
umeros complexos com a parte imaginaria nula e um
n
umero complexo com a parte imagin
aria nula, podemos identificar cada n
umero real a com o
n
umero complexo a + i0 e considerar que R, com a adicao e multiplicacao usuais, esta contido
em C (de facto, R e um subcorpo de C).
Proposi
c
ao 1.3. Sejam z, w C. Ent
ao
(1) z = z,

z + w = z + w,

(2) |z| = |z|,

(3) Re(z) =

|zw| = |z||w|,
z+z
,
2

Im(z) =

zw = z w,

z

w
z
|z|
 
, se w 6= 0.
 =
w
|w|

zz
,
2i

| Re(z)| |z|,

(4) (Desigualdade triangular) |z + w| |z| + |w|.

(5) |z w| ||z| |w||.
(6) Se w 6= 0, tem-se

1
w
z
zw
=
e
=
.
2
w
|w|
w
|w|2

z
se w 6= 0.
w

| Im(z)| |z|.

F
Exerccios.
1. Escreva na forma algebrica:
(g) (1 + 2i)3 ;

(4+5i)+2i3
;
(2+i)2

(a) (3 2i)(4 + 5i) + (3 2i)(4 5i);

(d)

(b) (2 i)(4 + 3i)(5 + 2i);

(e) i4 3i3 + 4i2 + 2i 6;

(c)

32i
4+3i ;

(f) (1 + i)2 (1 i)3 ;

(h) (2 + 2i)5 ;
 4
2i
(i) 1+i
.

2. Demonstre a Proposic
ao 1.3.
3. Sendo z e w n
umeros complexos quaisquer, prove que:
(b) z 1 =

(a) z z = 2i Im z;

z
|z|2

(com z 6= 0).

F
O plano complexo e um plano coordenado onde os eixos 0X e 0Y se dizem eixo real e eixo
imagin
ario, respetivamente. Estabelece-se uma correspondencia biunvoca entre C e o conjunto
dos pontos (ou vectores) do plano :
a + ib ponto de coordenadas (a, b).
A identificacao entre n
umeros complexos e pontos do plano permite definir conjuntos de pontos
do plano usando express
oes algebricas.
Proposi
c
ao 1.4 (Propriedades geometricas dos n
umeros complexos).
(1) O m
odulo do n
umero complexo z = a + ib e a norma do vector (a, b).
` adic
(2) A
ao de n
umeros complexos corresponde a adic
ao de vectores correspondentes. (Regra
do paralelogramo).
(3) O m
odulo da diferenca entre dois complexos z = a + ib e w = c + id e igual `
a dist
ancia
entre os pontos correspondentes a z e w, respetivamente: |z w| = ||(a, b) (c, d)||.
Exemplos 1.5.
(1) A equac
ao Re(z) a, com a R fixo, define o semiplano `a esquerda da reta vertical que
passa pelo ponto (a, 0).
(2) A equac
ao Im(z) = b, com b R fixo, define a reta horizontal que passa por (0, b).
(3) Dados os n
umeros complexos a + ib, c + id, a equacao |z (a + ib)| = |z (c + id)| define
a mediatriz do segmento de reta que une os pontos (a, b) e (c, d).
(4) Dados o n
umero complexo a + ib e o n
umero real R > 0, a equacao |z (a + ib)| = R define
a circunferencia de centro (a, b) e raio R, que se denota por C(a + ib, R).
(5) Dados o n
umero complexo a + ib e o n
umero real R > 0, a inequacao |z (a + ib)| R
define o crculo de centro (a, b) e raio R.
4

Ao ponto P = (x, y) do plano podemos associar um par ordenado de n

umeros reais (r, ), com
r 0, tal que

x = r cos
.
y = r sin
p
Ao par (r, ) chamamos coordenadas polares de P = (x, y). Notemos que r = x2 + y 2 e que
e um angulo orientado definido pela parte positiva do eixo 0X e pela semirreta que parte da
origem e passa pelo ponto P . Apesar de r ser u
nico, as coordenadas polares de P nao sao u
nicas:
P tambem tem coordenadas polares (r, + 2) e (r, + 8), por exemplo.
Defini
c
ao 1.6 (Forma polar de um complexo). Associa-se ao n
umero complexo z = x + iy um
par ordenado (r, ) de coordenadas polares do (ponto correspondente a) z. Assim,
z = r cos + ir sin = r(cos + i sin )
ou, abreviadamente, z = r cis . A expressao r cis diz-se forma polar ou trigonometrica de z.
Se z 6= 0, chamamos argumento de z ao conjunto (infinito)
arg(z) := { R : z = r cis }.
O (
unico) angulo 0 arg(z) tal que < 0 diz-se argumento principal de z e representa-se
por Arg(z).
Notemos que, se z, w 6= 0 e z = r1 cis e w = r2 cis() entao z e w sao iguais se e so se r1 = r2 e
= + 2k, para algum k Z.
Defini
c
ao 1.7 (F
ormula de Euler). Para R, define-se ei := cos + i sin .
usual usar-se a
Defini
c
ao 1.8. Seja z = r cis 6= 0 um n
umero complexo na forma polar. E
i
designacao forma polar ou ainda forma exponencial para a expressao re do complexo z.
Proposi
c
ao 1.9 (Multiplicac
ao e divisao de complexos na forma polar). Sejam z = r1 cis 1 e
w = r2 cis 2 n
umeros complexos na forma polar. Ent
ao
z
r1
=
cis(1 2 ).
w
r2

zw = r1 r2 cis(1 + 2 ),

A divis
ao apenas est
a definida quando w 6= 0 (ou seja r2 6= 0).
Proposi
c
ao 1.10 (F
ormula de Moivre). Sejam z = r cis um n
umero complexo e k um inteiro
positivo. Ent
ao z k = rk cis(k).
F
Exerccios.
4. Represente na forma polar os seguintes n
umeros complexos:
(a) 5;
(b) 5i;
(c) 3i;

(d) 2 2i;

(e) 1 + 3i;

(f) 2 2 3i

(j) (3 3i)(5 + 5 3i);

(g) 3 3 + 3i;
(h)

12 ;
3+i

(i) (1 i)(1 +

(k)

3i);

(l)

i
1+i ;

2+6i
.
1+ 3i

5. Escreva ( 2 + 6i)4 na forma algebrica.

 20
1+i3
6. Escreva 1i
na forma algebrica.
3
 n


7. Mostre que, para todo o n N, se tem 1+i
= cis n 2 .
1i

n
8. Determine um inteiro positivo n tal que 22 + 22 i = 1.
n

9. Determine um inteiro positivo n tal que 23 + 12 i = 1.
F
Defini
c
ao 1.11. Diz-se que o n
umero complexo w e uma raiz ndice k de z se z = wk . O conjunto
1

das razes de ndice k denota-se por z k .

Proposi
c
ao 1.12. Sejam z = r cis um n
umero complexo n
ao nulo e k 1. O n
umero z tem k
razes de ndice k, que s
ao:



+ 2m
k
r cis
, m = 0, 1, . . . , k 1.
k
Defini
c
ao 1.13. Seja z um n
umero complexo nao nulo e sejam k e n inteiros positivos tais que
mdc(k, n) = 1. Define-se
 k
 1
k
1
n
k
,
z n := z k
z :=
.
z
Proposi
c
ao 1.14 (Interpretac
ao geometrica). Se k 1, as k razes ndice k de z = r cis 6= 0

k
t
e
m
o
mesmo
m
o
dulo
r,
portanto
s
ao pontos sobre a circunferencia de centro na origem e raio
p
k
|z|. Alem disso, as razes dividem a circunferencia em k arcos iguais. Se k 3, as k razes
ndice k de z s
ao os vertices de um polgono regular de k lados inscrito no crculo de centro na

k
origem e raio r.
F
Exerccios.
10. Determine e represente geometricamente:
(a) as razes c
ubicas de 1;

(g) as razes quadradas de 1 + i;

(b) as razes c
ubicas de 1;

(h) as razes quartas de 16 16i;

(c) as razes quartas de 1;

(i) as razes c
ubicas de 82 + 82 i;

(j) as razes quartas de 1 3 i;

(d) as razes quadradas de 8i;

(e) as razes quartas de 16i;
(f) as razes quartas de 4;

16 i
(k) as razes oitavas de 1+i
;

3
(l) as razes sextas de 1+i
.
3+i

11. Determine todos os n

umeros complexos z tais que ei z n = 1, onde n e um n
umero
natural. Represente geometricamente as solucoes no caso n = 3.
6

12. Suponha que z e um n

umero complexo que possui uma raiz quarta w que nao e real
nem imagin
aria pura.
(a) Mostre que as restantes razes quartas nao sao reais nem imaginarias puras.

3
2

(b) Supondo que w =

+ 12 i, indique as restantes razes quartas, e represente-as

geometricamente.
13. Suponha que o n
umero complexo u esta no primeiro quadrante e e raiz c
ubica de
um complexo z. Diga, justificando, se existe uma outra raiz c
ubica de z no primeiro
quadrante.
14. Escreva na forma trigonometrica e represente geometricamente os n
umeros complexos
u, uw e u/w, onde u =

1
2

3
2 i

e w e raiz c
ubica da unidade no segundo quadrante.

15. Considere os complexos z = 1 + i, w =

3 + i e u = 1 + i 3.

(a) Escreva z, w e u na forma polar, usando os argumentos principais.

(b) Calcule e represente geometricamente as razes c
ubicas de u.
16. Se u =

3 i e raiz quarta de um n
umero complexo w, determine e represente

geometricamente as restantes razes de w.

17. Diga se as seguintes afirmac
oes s
ao verdadeira ou falsas, justificando a sua resposta.
(a) Se z e w forem complexos de modulo 1 entao zw + 1 tem modulo

2.

(b) Se z e uma raiz c

ubica de 1 e w e uma raiz quadrada de 1 entao zw e uma
raiz quinta de 1.
(c) Os complexos 3 cis

e 3 cis

5
6

sao razes de ndice 3 de 27i.

(d) Se z C e raiz c
ubica de 1 e w e uma raiz quadrada de 1 entao zw e raiz sexta
de 1.
(e) Se z C e um n
umero complexo nao nulo e w1 , w2 sao duas razes quintas de z
ent
ao existe u C, raiz quinta de 1, tal que w1 = uw2 .
F
Defini
c
ao 1.15 (Vizinhanca de um ponto). Chama-se vizinhanca de z0 C ou disco de centro
z0 de raio > 0 ao conjunto D(z0 , ) := {z C : |z z0 | < }.
Defini
c
ao 1.16 (Linha poligonal). Dados z, w C denota-se por [z, w] o conjunto
{(1 t)z + tw : t [0, 1]} ,

que corresponde no plano ao segmento de reta que une os pontos z e w. Dados z1 , . . . , zk C,

a linha poligonal [z1 , z2 , . . . , zk ] e o conjunto:
[z1 , z2 , . . . , zk ] := [z1 , z2 ] [z2 , z3 ] [zk1 , zk ].
Defini
c
ao 1.17 (Conjuntos abertos, fechados, conexos e limitados). Seja S C.
(1) z S diz-se ponto interior de S se existe uma vizinhanca de z contida em S.
(2) z C diz-se ponto de acumulac
ao de S se, qualquer que seja > 0, (D(z, )\{z}) S 6=
(i.e., qualquer vizinhanca de z contem pontos de S diferentes de z).
(3) z C diz-se ponto de fronteira de S se qualquer vizinhanca de z contem pontos de S e
pontos que n
ao pertencem a S.
(4) O conjunto dos pontos de fronteira de S e a fronteira de S.
(5) S diz-se aberto se todos os seus pontos sao pontos interiores.
(6) S diz-se fechado se contem a sua fronteira.
(7) Se S e aberto, ele diz-se conexo se quaisquer dois elementos de S podem ser unidos por
uma linha poligonal contida em S.
(8) S diz-se limitado se est
a contido num crculo com centro em 0 (i.e., se existe M > 0 tal
que |z| M, z S). Caso contrario, S diz-se ilimitado.
(9) Chamamos regi
ao de C a qualquer subconjunto de C aberto e conexo.
F
Exerccios.
18. Para cada uma das seguintes condicoes, represente geometricamente o conjuntos dos
n
umeros complexos que a satisfazem, diga se e aberto e/ou limitado e, no caso de ser
aberto, se e ou n
ao conexo :
(a) |z 4 + 3 i| = 5;

(h) |z| 2 e |z 1| 12 ;

(o) z 2 + z 2 = 2;

(b) Re z = 5;

(i) 1 |z 1 i| < 2;

(p) z = t(1 i), t 0;

(c) Re z 1;

(j) |z 2| = |z 3i|;

(q) z = (1 t)(1 + i) + t(1 i), t [0, 1];

(d) |z (1 + i)| < 2; (k) |z 2| = 2|z 3i|;

(r) z = i + 3(cis t), 0 t 2;
 
 1;
(e)  z+i
(s) 0 Arg(z) < /6;
(l) Im(z i) = Re(z + 4 3 i);
2

(f) 3 < |z i| < 4; (m) |z (2 + i)| 5 |z 2| 2; (t) 0 Arg(z 1 i) < /6;

(g) Re(z 2 ) > 0;

(n) |z i| < 3 |z i| > 4;

(u) 0 Arg(iz) < /6.

19. Escreva os seguintes polin

omios como produtos de polinomios de grau 1:
(a) z 2 + 1;

(d) iz 2 z + i;

(g) z 4 z 2 + 1;

(b) z 4 + 4;

(e) z 2 (1 + i)z + 6 17 i;

(h) iz 3 + 2z 2 iz;

(c) z 2 2z + 5;

(f) z 4 4z 2 + 3;

(i) (z 4 4z 2 + 3)(z 2 + 1).

20. Calcule uma factorizac

ao do polinomio z 4 5z 2 + 6 como produto de dois polinomios
de grau 2 e use-a para mostrar que

1
|z 4 5z 2 +6|

1/2, para todos os z tais que |z| = 2.

21. Usando o raciocnio do exerccio anterior mostre que:







 1 
1
(a) |z| = 2 =  z 4 4z

1/3;
(b)
|z|
=
1
=
1;


2 +3
z 3 2z 
F





(c) |z| = 3 =  z 21+2  1/7.

Captulo 2

Sucess
oes e S
eries Num
ericas
2.1

Sucess
oes de n
umeros complexos

Defini
c
ao 2.1 (Sucess
ao de n
umeros complexos).
(1) Chama-se sucesss
ao de n
umeros complexos a uma sequencia (ordenada) infinita
z1 , z2 , . . . , zn , . . .
de complexos. Formalmente, uma sucessao de complexos e uma funcao f : N C.
(2) A sucess
ao z1 , z2 , . . . , zn , . . . denota-se por (zn ). A expressao zn diz-se termo geral da
sucessao.
(3) Se zn R, para todo o n, ent
ao a sucessao (zn ) e uma sucesss
ao de n
umeros reais.
Defini
c
ao 2.2. Uma sucess
ao (zn ) diz-se limitada se existe M R tal que |zn | M , para
qualquer n.
Defini
c
ao 2.3. Uma sucess
ao de n
umeros reais (un ) diz-se
mon
otona crescente se un un+1 , para todo o n;
mon
otona decrescente se un un+1 para todo o n.
Defini
c
ao 2.4 (Limites).
(1) Uma sucess
ao de n
umeros complexos (zn ) tem limite L C, e escrevemos lim zn = L ou
zn L, se dado > 0 qualquer, existe uma ordem p N tal que
n p |zn L| < .
Por outras palavras, lim zn = L se, dado > 0 qualquer, todos os termos da sucessao, com
possvel excec
ao de um n
umero finito, estao numa vizinhanca de raio de L.
(2) Uma sucess
ao (zn ) tem limite , e escrevemos lim zn = , se dado > 0 qualquer, existe
uma ordem p N tal que
n p |zn | > .
Defini
c
ao 2.5. Uma sucess
ao diz-se convergente se o limite existe e e um n
umero complexo,
caso contrario diz-se divergente. (Nota: se lim zn = entao (zn ) e divergente.)
10

Proposi
c
ao 2.6. Uma sucess
ao de n
umeros reais mon
otona (crescente ou decrescente) e limitada
e convergente.
A sucessao de termo geral
un =



1 n
1+
n

e monotona crescente e limitada, portanto e convergente. O seu limite e o n

umero de Euler e
(ver, por exemplo, http://www.mathcs.org/analysis/reals/numseq/s_euler.html).
Teorema 2.7 (Teorema das sucess
oes enquadradas). Se (un ), (vn ) e (wn ) s
ao sucess
oes de
n
umeros reais que verificam as condic
oes seguintes:
n, un vn wn e
(un ) e (wn ) tem o mesmo limite L,
ent
ao (vn ) tambem tem limite L.
Proposi
c
ao 2.8 (Propriedades do limite).
(1) Uma sucess
ao (zn ) converge para o n
umero complexo a + ib se e s
o se as sucess
oes de
n
umeros reais (Re(zn )) e (Im(zn )) convergem para a e b, respetivamente.
(2) Se (zn ) e uma sucess
ao convergente ent
ao (zn ) e limitada.
(3) Uma sucess
ao de n
umeros complexos (zn ) converge para 0 se e s
o se a sucess
ao de n
umeros
reais (|zn |) converge para 0.
(4) Se zn 0 e (wn ) e limitada ent
ao zn wn 0.
(5) Seja (rn cis n ) uma sucess
ao de n
umeros complexos (na forma polar). Se as sucess
oes de
n
umeros reais (rn ) e (n ) convergem, respetivamente, para r e , ent
ao (rn cis n ) converge
para r cis .
(6) Sejam (zn ) e (wn ) sucess
oes convergentes de n
umeros complexos. Ent
ao
(a) lim(zn + wn ) = lim zn + lim wn ;
(b) lim(zn wn ) = (lim zn )(lim wn );
 
zn
lim zn
(c) e se lim wn 6= 0, ent
ao lim
=
.
wn
lim wn
Defini
c
ao 2.9 (Subsucess
ao). Chamamos subsucess
ao da sucessao (zn ) a qualquer sequencia
infinita obtida a partir de (zn ) por eliminacao de alguns termos.
Proposi
c
ao 2.10.
(1) Se a sucess
ao (zn ) converge para L C, ent
ao qualquer subsucess
ao de (zn ) tem limite L.
(2) Sejam (un ) e (vn ) subsucess
oes da sucess
ao (zn ) que contem todos os termos desta. Se (un )
e (vn ) tem o mesmo limite L ent
ao (zn ) tambem tem limite L.
Proposi
c
ao 2.11. Seja f : [1, +[ R uma func
ao real de vari
avel real e seja L R. Se
lim f (x) = L, ent
ao a sucess
ao (f (n)) converge para L.
x+

F
11

Exerccios.
22. Usando a definic
ao, estabeleca os seguintes limites:
(a) lim 3+2i
n = 0;

(b) lim(1 ni ) = 1;

2
= 0.
(c) lim 2n+5

23. Calcule os limites das seguintes sucessoes:

(2+i)n
;
3n+1

(k) un = cis( n1 );

(a) un =

3i+5n2
;
n+n2

(f) un =

(b) un =

2n ;
n2 +1

(g) un = in sen n1 ;

(l) un =

(c) un =

n1
n

n+(i)n
nin ;

(m) un =

(d) un =

en +en
;
e2n 1

(i) un =

loge n
loge 2n ;

(n) un =

1
1+ n
;
2+en

(e) un =

1+in
n ;

(j) un =

n3
;
2in2 +1

(o) un =

np
en ,

n
n1 ,

n 2; (h) un =

loge (n3 )
2n ;

n+i
n+1 ;
n

p > 0.

24. Use o teorema das sucess

oes enquadradas para calcular os limites das seguintes sucessoes de n
umeros reais:
1
;
(a) un = (1)n n!

(c) un =

;
n n4 +2n2 +7

(e) un =

135...(2n1)
;
(2n)n

(b) un = cos(n) en ;

(d) un =

n!
nn ;

(f) un =

1+(1)n
.
n

25. Mostre que se (un ) e uma sucess

ao (de reais ou complexos) convergente entao lim un+1 =
lim un .
26. Verifique se as seguintes sucess
oes de reais sao monotonas e/ou limitadas:
(a) un =

1
3n ;

(b) un =

n2
n+1 ;

(c) un = (1)n + cos n;

(d) un =

1
2n(1)n .

27. Justificando as suas respostas, de exemplos de:

(a) uma sucess
ao de reais mon
otona que nao seja convergente;
(b) uma sucess
ao de reais convergente que nao seja monotona;
(c) uma sucess
ao de termos reais positivos que seja limitada e nao seja convergente;
(d) uma sucess
ao de termos reais positivos que seja convergente e que nao seja
mon
otona;
(e) uma sucess
ao convergente e outra divergente, cujo produto seja uma sucessao
convergente;
(f) duas sucess
oes divergentes cuja soma seja uma sucessao convergente.
28. Diga se as seguintes afirmac
oes s
ao verdadeira ou falsas, justificando a sua resposta.
(a) Toda a sucess
ao de reais limitada e monotona e convergente.
12

(b) O produto de uma sucess

ao convergente por uma divergente e uma sucessao
divergente.
sen n

(c) A sucess
ao ( e

) e divergente.

(d) A sucess
ao ( en! ) tem limite igual a 1.
(e) Se lim |an | = 1 ent
ao lim an = 1.
(f) Sejam an , bn R tais que lim |an | = 0 e (bn ) e limitada; entao lim(an bn ) = 0.
1n
n

(g) Se an R e tal que

an

1+n
n ,

para todo o n 2009, entao (an ) e

divergente.
(h) A sucess
ao de termo geral un =

n!
nn

e convergente.

29. Sendo z C, z 6= 1, prove que 1 + z + z 2 + + z n1 =

30. Mostre que a sucess
ao de termo geral un =
nesse caso se tem lim un =

Pn

k=0 z

1 z n
1z .

converge se e so se |z| < 1, e que

1
1z .

2.2

S
eries de n
umeros complexos

Defini
c
ao 2.12. Seja (zn ) uma sucess
ao de n
umeros complexos. Chama-se serie numerica de
termo geral zn `
a express
ao
z1 + z2 + + zn +

ou, abreviadamente,

zn .

n=1

Defini
c
ao 2.13.
Chama-se serie geometrica de razao r C e primeiro termo z0 `a serie
2

z 0 + z0 r + z0 r + z0 r +

ou, abreviadamente,

z0 r n .

n=0

Chama-se serie telesc

opica ou de Mengoli a uma serie da forma:

(zn zn+p ), onde (zn )

n=1

e uma sucess
ao de n
umeros complexos e p e um n
umero inteiro positivo fixo.
Chama-se serie de Riemann, ou de serie de Dirichlet, ou serie-p a uma serie da forma

X
1
,
np

n=1

onde p e um n
umero real fixo.

13

Defini
c
ao 2.14 (Sucess
ao das somas parciais da serie). Dada uma serie numerica

zn , chama-

n=1

se sucess
ao das somas parciais da serie `a sucessao de n
umeros complexos (Sn ) onde Sn e a soma
dos n primeiros termos da serie, ou seja, Sn = z1 + z2 + + zn .

Defini
c
ao 2.15 (Natureza de uma serie). A serie

zn diz-se convergente se a sucessao das

n=1

somas parciais da serie (Sn ) for convergente, isto e, se lim Sn = s C. Caso exista, s diz-se soma

X
da serie e escreve-se
zn = s. Se uma serie nao e convergente, diz-se divergente.
n=1

Determinar a natureza de uma serie numerica consiste em averiguar se a serie e convergente ou

divergente.
Proposi
c
ao 2.16 (Soma de uma serie geometrica). Seja (Sn ) a sucess
ao das somas parciais da

X
1 rn
serie geometrica de raz
ao r 6= 1 e primeiro termo z0 6= 0,
z0 rn . Ent
ao Sn = z0
, n 1.
1r
n=0
z0
, informalmente,
Logo a serie converge se e s
o se |r| < 1 e, nesse caso, a sua soma e
1r
primeiro termo
.
1 raz
ao
Proposi
c
ao 2.17 (Soma de uma serie telescopica). Seja (Tn ) a sucess
ao das somas parciais

X
(zn zn+p ). Ent
ao Tn = z1 + zp (zn+1 + zn+p ). A serie
de uma serie telesc
opica
n=1

converge se e s
o se lim (zn+1 + zn+p ) = M C e, nesse caso, a sua soma e z1 + zp M .
Proposi
c
ao 2.18. A serie
e

zn e convergente se e s
o se as series de n
umeros reais

n=1

Im(zn ) convergem. Se

n=1

zn converge ent
ao

n=1

zn =

n=1

Re(zn ) + i

n=1

Re(zn )

n=1

Im(zn ).

n=1

Proposi
c
ao 2.19 (Propriedades algebricas das series numericas).
(1) Se

X
n=1

(2) Se

an e

bn s
ao convergentes, ent
ao

n=1

(an + bn ) converge para

n=1

an e convergente e

n=1

(3) Se C\{0}, ent

ao

n=1

an e

an +

n=1

bn e divergente, ent
ao

n=1

bn .

n=1

(an + bn ) e divergente.

n=1

(an ) tem a mesma natureza. No caso convergente,

n=1

(an ) =

n=1

(4) Seja p um inteiro positivo fixo. As series

an .

n=1

X
n=1

14

an e

X
np

an tem a mesma natureza.

F
Exerccios.
31. Calcule as 5 primeiras somas parciais das seguintes series:
(a)

X
10
n=1

;
n

(b)

P
n=4



X
2 n1
(c)

;
7

3
n(n1) ;

(d)

n=1

in1 .

n=1

32. Indique, justificando se a seguinte afirmacao e verdadeira ou falsa: a serie numerica

1+

1
2

1
2

1
3

1
3

1
4

1
4

+ e divergente.

33. Se a n-esima soma parcial de

an for sn =

n1
n+1 ,

determine an e

n=1

34. Se a n-esima soma parcial de

an .

n=1

an for sn = 3 n2n , determine an e

n=1

an .

n=1

35. Averig
ue se as seguintes series s
ao convergentes ou divergentes.
(a) 4 +

32
5 25 125
8 16
+
+
+ ; (b) 2+ +
.
5 25 125
2 8
32

36. Seja z C. Determine, em funcao de z, a soma das seguintes series. Em cada caso,
represente geometricamente o conjunto dos valores de z que as tornam convergentes:
(a) 1 + (z 2) + (z 2)2 + (z 2)3 + (b) 1

15

z + i (z + i)2 (z + i)3
+

+
2
4
8

37. Determine quais das series seguintes sao convergentes e nos casos afirmativos indique
a sua soma.

X
2
;
3n1
n=1
 k1

X
1
(b)
4i
;
3

(d)

(a)

(c)

(g)

n=1

(e)

k=2
n1
X
3

n=1

n1

X
1
;
2+i

(f)

;
n+3

X
1
k=0

ik ;

(h)

(1 i)k ;

(i)

22n 31n ;

n=1

k

X
i
;
2i
k=1

ik
(1 + i)k1

1+i n
;
2

k=2

X
n=1

k=0

(j)

(k)

(l)

X
(i + 1)k
k=1

X
k=0

4k
3

2k ik
;
(1 + 2i)k

an uma serie de n
umeros reais cuja n-esima soma parcial e sn = 2n1
n+3 . Den=1
P
n1 212n ) e indique a sua soma, caso seja
termine a natureza de serie
n=1 (an + i3

38. Seja

convergente.
F

2.3

Crit
erios de converg
encia

Proposi
c
ao 2.20 (Condic
ao necess
aria de convergencia). Se a serie

zn e convergente ent
ao

n=1

lim zn = 0.
A proposicao anterior e equivalente ao chamado Teste de Divergencia:
se lim zn 6= 0 entao

zn e divergente.

n=1

F
Exerccios.
39. Seja an =

2ni
.
3n + i

(a) Determine se (an ) e convergente.

X
(b) Determine se
an e convergente.
n=1

40. Mostre que as seguintes series s

ao divergentes.
(a)

X
n=1

i ; (b)

(3 + i)n sen(1/n); (c)

n=1

X
n=1

16



X
n2
1 n
; (d)
1
.
5n2 + i
n
n=1

41. Determine a natureza das series de termo geral indicado:

2n + (3i)n+1
;
6n
2
1
(b)
+ ;
n(n + 1) 2n
(a)

42. Suponha que

(c)

1
1
+ ;
n(n + 1) n

(d)

i 2n1
;
22n

1 3n1
;
(1 + 2i)n
1 4n
.
(f)
32n

(e)

an , com an 6= 0, e uma serie convergente. Prove que

n=1

1/an diverge.

n=1

43. Suponha que a serie

an tem termos reais positivos e que as suas somas parciais

n=1

sn satisfazem a desigualdade sn 1000 para todo o n 1. Prove que entao

an e

n=1

convergente.
F

Proposi
c
ao 2.21 (Criterio do Integral). Seja f : [1, +[ R uma func
ao contnua, n
ao negativa
Z +

X
f (x) dx e a serie
f (n) tem a mesma natureza.
e decrescente. Ent
ao o integral impr
oprio
1

n=1

Proposi
c
ao 2.22 (Convergencia das series-p). A serie

X
1
converge se e s
o se p > 1.
np

n=1

Proposi
c
ao 2.23.
(1) (Primeiro Criterio de Comparac
ao) Sejam (an ) e (bn ) sucess
oes de n
umeros reais. Se para
todo o n, 0 an bn , ent
ao
(a) se

(b) se

X
n=1

bn converge ent
ao
an diverge ent
ao

n=1

an converge;

n=1

bn diverge.

n=1

(2) (Segundo Criterio de Comparac

ao) Sejam (an ) e (bn ) sucess
oes de nu
umeros reais n
aoan
+
negativos. Se lim
= L R {0, +} ent
ao
bn
(a) se L R+ ambas as series tem a mesma natureza;

X
X
(b) se L = 0 e
bn converge ent
ao
an converge;
n=1

(c) se L = + e

X
n=1

n=1

bn diverge ent
ao

n=1

17

an diverge.

F
Exerccios.
44. Mostre que

1
n2

1
n(n1) ,

para todo o n > 1, e use um criterio de comparacao para

P
1
series reais de termos positivos para mostrar que
e convergente.
n=1 n2

45. Use um criterio de comparac

ao para series de termos reais positivos para determinar
a natureza das series seguintes.
(a)

(b)

(c)

(d)

X
n=1

X
n=1

X
n=1

X
n=1

1
;
n
2 +1
2n+1
3n

(e)

(f)

5
;
2 + 3n

(g)

1
;
2
n +1

(h)

X
n=1

X
n=1

X
n=1

X
n=3

n
;
2
2n 1
n3
n4

(i)

+ 3n + 7
;
2n3 + 5

(j)

n2 1
;
n3 + 1

(k)

1
;
loge n

(l)

X
n=1

X
n=1

X
n=1

 
1
sen
;
n
loge (n + 1)
;
n3
sen(1/n)
;
n2

2n2 + 3n

.
5 + n5
n=1

F
Defini
c
ao 2.24 (Serie Alternada). Uma serie do tipo

(1)n bn ou do tipo

n=1

bn R+ , para todo o n, e uma serie alternada.

(1)n+1 bn , com

n=1

Proposi
c
ao 2.25 (Criterio de Leibniz). Se a sucess
ao de n
umeros reais (bn ) e uma sucess
ao de

X
termos positivos e mon
otona decrescente, e se lim bn = 0, ent
ao a serie alternada
(1)n+1 bn
n=1

e convergente.
Proposi
c
ao 2.26 (Estimativa do erro para series alternadas). Considere-se uma serie alternada
satisfazendo as hip
oteses do criterio de Leibniz (logo convergente). Seja Sn a soma dos seus n
primeiros termos. Ent
ao o erro (absoluto) cometido na aproximac
ao Sn `
a soma da serie e menor
do que o m
odulo do primeiro termo desprezado.
F
Exerccios.
46. Determine a natureza das series reais alternadas de termo geral indicado:
(a)

(b)

(c)

X
(1)n n
n=2

X
n=2

X
n=1

n2 2

(1)n+1
;
loge n
(1)n
n2n

(d)

(e)

(f)

(1)n

n=0

X
n=1

1
;
n+3

(1)n 3n
;
4n 1

(1)n+1

n=1

(g)

(h)
n2

n3 + 1

18

(i)

X
cos(n)
n=1

n3/4

(1)n

n=1

(1)n

n=1

nn
;
n!
2n
.
n!

47. Determine um majorante para o erro que se comete quando aproximamos a soma de
cada uma das seguintes series pela soma dos seus quatro primeiros termos.
(a)

X
n=1

(1)n
;
2n (n + 1)

(b)

X
n=3

X
(1)n+3
(c)
.
n!

(1)n
;
2n (n + 1)

n=0

48. Para cada uma das seguintes series, indique quantos termos devemos adicionar para
encontrar a soma parcial com um erro (absoluto) menor do que 0.01.
(a)

X
(1)n1
n=1

n2

(b)

X
(2)n

n!

n=1

X
(1)n+2
.
2n n2

(c)

n=1

49. Aproxime a soma de cada uma das seguintes series com uma precisao de quatro casas
decimais.
(a)

X
(1)n1
n=1

nn

X
(1)n
(b)
;
2n n!

X
(1)n3
(c)
.
2n n4

n=0

n=1

50. Determine uma aproximac

ao para a soma de cada uma das seguintes series com erro
(absoluto) menor do que 0.01.
(a)

X
(1)n
;
3n4 + 1

(b)

n=0

X
(1)n+1
;
n5 + 2

(c)

n=1

X
(1)n2
.
2n + n4

n=0

F
Defini
c
ao 2.27. Uma serie

zn diz-se absolutamente convergente se a serie de n

umeros reais

n=1

nao negativos (serie dos m

odulos)
serie

|zn | e convergente. Se a serie

n=1

zn e convergente, diremos que

n=1

|zn | e divergente, mas a

n=1

zn e simplesmente ou condicionalmente convergente.

n=1

Proposi
c
ao 2.28. Se a serie de n
umeros reais

|zn | e convergente, ent

ao a serie

n=1

n=1

tambem converge.
Proposi
c
ao 2.29. Consideremos a serie de termos complexos

zn .

n=1

(Criterio da raz
ao ou D Alembert) Se lim
(a) se 0 L < 1, a serie

|zn+1 |
= L R+ {0, +} ent
ao
|zn |

zn converge absolutamente;

n=1

19

zn

(b) se L > 1 ou L = +, a serie

zn e divergente;

n=1

(c) se L = 1, o teste e inconclusivo.

p
n
|zn | = L R+ {0, +} ent
ao

(Criterio da raiz ou de Cauchy) Se lim

(a) se 0 L < 1, a serie

zn converge absolutamente;

n=1

(b) se L > 1 ou L = +, a serie

zn e divergente;

n=1

(c) se L = 1, o teste e inconclusivo.

F
Exerccios.
51. Indique, justificando se a seguinte afirmacao e verdadeira ou falsa: a serie

X
(1)n
n=1

com p > 1, e simplesmente (ou condicionalmente) convergente.



X
(1)n (n 1)!
52. Determine a natureza da serie
+
.
loge n
n3
n=2

53. Determine a natureza das series seguintes:

X
n!
;
(a)
n+1
2

(b)

(c)

(d)

(e)

(f)

(g)

n=1

n=1

(h)

i)n n!

(2 +
nn

(i)

n!
;
(2n)!

(j)

nn ;

(k)

n=1

X
n=1

X
n=1

X
n=1

n=1

(2)n n3
n!

(n sen(/3n))n ;
n!
;
(1 + i)n

(l)

(m)

(n)

2n
 2
X
n 4
n=1

n2

sen (1/n)
;
2n

(p)

n=1
2
X
n (2
n=1

X
n=1

+ i)n
;
en

n=1

X

n=1
n
X
i
n=1

(q)

cos n
;
n2
(1)n

(o)

(r)
;

n+3

(s)
n2
;

(t)

(u)

;
2

54. Mostre que lim en!n = +.

F

20

X
n=1

n3
;
(1 + i)n+1

(1)n

n=0
3
X
n
n=1

X
n=1

X
n=0

X
n=1

3n

n3
;
3n

2 4 6 2n
;
n!
1 n3
;
en
n3n
;
(2 + i)n+1

ein

.
( 3 2i)n
n=1

np

Captulo 3

S
eries de Fourier
Defini
c
ao 3.1 (Serie trigonometrica). Chamamos serie trigonometrica a uma serie de funcoes
da forma

 nx i
 nx 
a0 X h
+
+ bn sin
,
an cos
2
L
L
n=1

onde (an )n0 e (bn )n1 s

ao sucess
oes de n
umeros reais, e L R+ fixo.
Observa
c
ao 3.2. Se L = , temos as series trigonometricas da forma

a0 X
+
[an cos(nx) + bn sin(nx)],
2
n=1

onde (an )n0 e (bn )n1 s

ao sucess
oes de n
umeros reais.
Defini
c
ao 3.3.
Uma func
ao f : R R diz-se peri
odica se existe um n
umero real T > 0 tal que f (x + T ) = f (x),
para todo o x R. O n
umero T e um perodo de f .
Uma func
ao f : R R e par se f (x) = f (x), para todo o x R.
Uma func
ao f : R R diz-se mpar se f (x) = f (x), para todo o x R.
Defini
c
ao 3.4. Diz-se que d e uma descontinuidade de 1a especie de uma funcao f : R R se
f e descontnua em d e
lim f (x) R

xd

lim f (x) R.

xd+

Uma funcao f : R R diz-se seccionalmente contnua se tiver um n

umero finito de descontinuia
dades, todas de 1 especie, em qualquer intervalo limitado [a, b].
Defini
c
ao 3.5 (Serie de Fourier). Seja f : R R uma funcao periodica de perodo 2L seccionalmente contnua. Sejam
1
a0 =
L

1
an =
L

f (x) dx;
L

bn =

1
L

f (x) cos
L

f (x) sin

 nx 

21

dx

 nx 
L
n 1.

dx,

n1

Os n
umeros a0 , an e bn , com n 1, dizem-se coeficientes de Fourier. A serie trigonometrica

 nx i
 nx 
a0 X h
+
+ bn sin
diz-se serie de Fourier da func
ao f . Escreve-se
an cos
2
L
L
n=1

 nx i
 nx 
a0 X h
f
+
+ bn sin
.
an cos
2
L
L
n=1

Observa
c
ao 3.6. A presenca do factor
formula para an v
alida para n = 0.

1
2

na parcela

a0
2

deve-se a uma questao tecnica: torna a

Proposi
c
ao 3.7.
(1) Seja f : R R uma func
ao peri
odica de perodo 2L, mpar e seccionalmente contnua em
[L, L]. Ent
ao a serie de Fourier de f e uma serie de senos

bn sin

 nx 
L

n=1

1
onde bn =
L

f (x) sin
L

 nx 

dx, para n 1.

(2) Seja f : R R uma func

ao peri
odica de perodo 2L, par e seccionalmente contnua em
[L, L]. Ent
ao a serie de Fourier de f e uma serie de cossenos

 nx 
a0 X
+
an cos
,
2
L
n=1

onde a0 =

1
L

1
L

f (x) dx e an =
L

f (x) cos

 nx 

dx, para n 1.

Defini
c
ao 3.8. Uma func
ao f : R R diz-se seccionalmente deriv
avel se f for seccionalmente
contnua e f 0 for seccionalmente contnua. (Observacao: se f 0 (a) nao existe, considera-se que f 0
nao e contnua em a.)
Teorema 3.9 (Teorema de Fourier). Seja f : R R uma funca
o peri
odica de perodo 2L e
seccionalmente deriv
avel. Ent
ao a serie de Fourier de f

 nx 
 nx i
a0 X h
+
an cos
+ bn sin
2
L
L
n=1

tem soma
g(x) =

f (x+ ) + f (x )
,
2

x R,

onde
f (x+ ) = lim f (z)
zx+

f (x ) = lim f (z).
zx

Corol
ario 3.10. Seja f : R R uma func
ao peri
odica de perodo 2 contnua e seccionalmente
deriv
avel. Ent
ao

h nx 
 nx i
a0 X
f (x) =
+
an cos
+ bn sin
, x R.
2
L
L
n=1

22

Proposi
c
ao 3.11. Seja f : R R uma func
ao peri
odica de perodo 2L e seccionalmente
contnua. Seja

 nx i
 nx 
a0 X h
+
+ bn sin
an cos
2
L
L
n=1

a serie de Fourier de f . Ent

ao, quaisquer que sejam a, b [L, L], tem-se
Z b
Z b
Z bh
 nx i
 nx 
X
a0
f (x) dx =
dx +
+ bn sin
dx.
an cos
L
L
a 2
a
a
n=1

Proposi
c
ao 3.12 (Identidade de Parseval). Seja f : R R uma func
ao seccionalmente contnua
e peri
odica de perodo 2L. Ent
ao os seus coeficientes de Fourier verificam a identidade
Z

1 2 X 2
1 L
2
(an + bn ) =
f (x)2 dx.
a +
2 0
L L
n=1

Defini
c
ao 3.13. Seja f : R R uma funcao periodica de perodo 2L e seccionalmente contnua.
Chama-se forma complexa da serie de Fourier de f `a serie da forma
+
X

cn ei

nx
L

n=

onde cn =

1
2L

i nx
L ,
L f (x)e

RL

n Z.
F

Exerccios.
55. Determine os coeficientes de Fourier e a serie de Fourier da funcao f definida por

0, se x < 0
f (x) =
e f (x + 2) = f (x).

1, se 0 x <
56. Utilize a serie de Fourier obtida no exerccio anterior, com x = 2 , para concluir que

X (1)n1
=
.
4
2n 1
n=1

57. Para cada uma das seguintes funcoes, periodicas de perodo 2, definidas no intervalo
[, [ pela express
ao correspondente, determine os coeficientes de Fourier, a serie de
Fourier e os valores x R para os quais a funcao coincide com a soma da sua serie de
Fourier:

(a) f (x) =

1,

se x < 0

1,

se 0 x < ;

(b) f (x) = x;

(c) f (x) =

0,

se x < 0

cos(x),

se 0 x < ;

(d) f (x) = x2 .
23

58. Considere a func

ao f , peri
odica de perodo 2, definida no intervalo [, ] por:

0, se < x 0
f (x) =

2, se 0 < x .
(a) Determine os coeficientes e a serie de Fourier da funcao f .
(b) Determine a soma da serie de Fourier de f nos pontos x =

1
2

e x = .

59. Considere a func

ao f , peri
odica de perodo 2, definida no intervalo [, ] por:

1, se |x| < 1
f (x) =

0, se 1 |x| .
(a) Determine a serie de Fourier da funcao f .
(b) Determine a soma da serie de Fourier de f nos pontos x =

X
sen(n)
.
(c) Calcule
n

1
2

e x = 1.

n=1

60. Considere a func

ao f , peri
odica de perodo 2, definida no intervalo [, ] por:

0, se < x 0
f (x) =

x, se 0 x .
(a) Determine a serie de Fourier da funcao f .
(b) Determine a soma da serie de Fourier de f nos pontos x =

1
2

e x = .

61. Considere a func

ao f , peri
odica de perodo 6, definida no intervalo [3, 3] por:

0, se 3 x < 1

f (x) = 1, se 1 x < 1

0, se 1 < x < 3.
(a) Determine a serie de Fourier da funcao f .
(b) Determine a soma da serie de Fourier de f nos pontos x =

e x = 1.

62. Considere a func

ao dada por f (x) = |x|, para 1 x 1 e f (x + 2) = f (x), para
todo o x R.
(a) Determine a serie de Fourier de f . Para que valores de x a soma desta serie e
igual a f (x)?
(b) Mostre que

2 X
1
=
.
8
(2n + 1)2
n=0

24

63. Determine as serie de Fourier das seguintes funcoes:

1, se |x| < 1
x,
(a) f (x) =
(c) f (x) =

0, se 1 |x| 2;
0,
(b) f (x) = sen(3x), 1 x 1;

se 4 x < 0
se 0 x < 4;

(d) f (x) = cos(2x), 1 x 1.

64. Considere a func

ao f : [0, 1] R definida por f (x) = x2 .
(a) Determine um desenvolvimento em serie de senos de f .
(b) Determine um desenvolvimento em serie de cosenos de f .
F

25

Captulo 4

Fun
c
oes Analticas
4.1

Generalidades sobre funco

es complexas

Defini
c
ao 4.1. Seja A um subconjunto de C. Uma func
ao complexa definida em A e com valores
em C e uma correspondencia que associa a cada elemento z de A um u
nico elemento f (z) de C.
Escrevemos
f: AC
z f (z)
para indicar que f e uma func
ao do conjunto A no conjunto C. O conjunto A diz-se domnio (de
definic
ao) de f , o n
umero complexo f (z) diz-se imagem de z por f e o conjunto
f (A) = {f (z) : z A}
chama-se contradomnio ou imagem de f .
Quando nao se explicita o domnio de definicao de uma funcao f supoe-se que se trata do maior
subconjunto de C no qual a express
ao f (z) tem significado. Observe-se tambem que uma func
ao
complexa de vari
avel real (isto e, cujo domnio de definicao e um subconjunto de R e que toma
valores em C) e uma func
ao complexa.
Exemplos 4.2.
(1) A funcao z 7 Arg(z) tem domnio C\{0} e contradomnio ] , ].
(2) A funcao t 7 eit tem domnio R e contradomnio {z C : |z| = 1}.
As definicoes de soma, subtrac
ao, produto, divisao e composicao de funcoes complexas sao inteiramente analogas `
as definic
oes usuais para funcoes reais de variavel real.
Defini
c
ao 4.3. Seja f : A C uma funcao complexa. As funcoes u(x, y) = Re f (x + iy) e
v(x, y) = Im f (x + iy) s
ao func
oes reais de domnio A R2 e dizem-se, respetivamente, parte real
e parte imagin
aria de f .
Defini
c
ao 4.4 (Translac
oes, rotac
oes e homotetias).
(1) Seja z0 um n
umero complexo fixo. Chama-se translac
ao associada a z0 `a funcao Tz0 : C C
definida por Tz0 (z) = z + z0 .
(2) Seja um n
umero real fixo. Chama-se rotac
ao associada ao
angulo `a funcao R : C C
i
definida por R (z) = ze .
26

(3) Seja R+ . Chama-se homotetia de raz

ao `a funcao H : C C definida por H (z) = z.
Se > 1, H diz-se uma ampliac
ao; se < 1, H diz-se uma contrac
ao.
Proposi
c
ao 4.5. Sejam w0 e w1 n
umeros complexos fixos e n
ao nulos. A func
ao f (z) = w1 z +
w0 , z C, e uma composic
ao de uma homotetia, uma rotac
ao e uma translac
ao.
F
Exerccios.
65. Para cada express
ao seguinte, calcule o maior domnio A C e o maior disco centrado
em z0 = 0 nos quais ela define uma funcao.
z 3 +2z+1
;
z 3 +1

(c)

1
;
(z 3 1)(z 2 +2)

(e)

iz
|z1| ;

(b) 2 Re z i z 2 ;

(d)

3z+2 i
;
z 3 +4z 2 +z

(f)

iz
|z|1 .

(a)

66. Determine as partes real u(x, y) e imaginaria v(x, y) de cada uma das funcoes seguintes:
(a) f (z) = 6z 5 + 9i;

(c) f (z) = z 2 + z 2 ;

(b) f (z) = z + z1 ;

(d) f (z) =

z
z+1 ;

67. Para cada conjunto A C e func

ao f (z) indicados, descreva a imagem de A por f :
i

(a) A = {z C | Im z = 3} e f (z) = z;

(e) A = {z C | Im z = 2} e f (z) = e 2 z;

(b) A = {z C | Im z = Re z} e f (z) = z;

(f) A = {z C | Im z 1} e f (z) = iz + 4;

(c) A = {z C | Im z > 2} e f (z) = 2z;

(g) A = {z C | Im z = 1} e f (z) = z 2 ;

(d) A = {z C | 2 < Re z < 3} e f (z) = 3z; (h) A = {z C | Im z = Re z} e f (z) = z 2 .

F

4.2

Fun
c
oes elementares

Defini
c
ao 4.6.
(1) Dado um n
umero complexo z = x + iy, define-se exponencial de z como sendo o n
umero
complexo ez := ex eiy = ex cis y.
(2) A func
ao exponencial complexa e a funcao complexa f : C C definida por f (z) = ez .
Note-se que a func
ao exponencial complexa estende a funcao exponencial estudada no ambito da
Analise Real.

27

Proposi
c
ao 4.7. As propriedades seguintes s
ao v
alidas em C:
(1) ez 6= 0;

(5) ez = ez ;

(2) ez+w = ez ew ;

(6) ez+2i = ez ;

(3) n Z, enz = (ez )n ;

(7) ei = 1;

(4) |ez | = eRe(z) ;

(8) ez = 1 z = 2ki, k Z.

A alnea (6) da proposic

ao anterior diz-nos que a funcao exponencial complexa e periodica de
perodo 2i.
Defini
c
ao 4.8 (Seno e o cosseno de n
umeros complexos).
(1) Chama-se func
ao seno `
a func
ao complexa sin : C C definida por
1
2i

sin z :=

eiz eiz .

(2) Chama-se func

ao cosseno `
a func
ao complexa cos : C C definida por
cos z :=

eiz + eiz .

1
2

(3) Chama-se func

ao seno hiperb
olico `a funcao complexa sinh : C C definida por
sinh z :=

1 z
e ez .
2

(4) Chamamos func

ao cosseno hiperb
olico `a funcao complexa cosh : C C definida por
cosh z :=

1 z
e + ez .
2

Proposi
c
ao 4.9. As propriedades seguintes s
ao v
alidas em C:
(1) cos2 z + sin2 z = 1;

(5) sin(z + w) = sin z cos w + cos z sin w;





z+w
zw
(6) sin z + sin w = 2 sin
cos
;
2
2

(2) cos2 z sin2 z = cos(2z);

(3) cos(iz) = cosh z e sin(iz) = i sinh z;
(4) sin(z +

) = cos z e cos(z + ) = sin z;

2
2

(7) As func
oes seno e cosseno s
ao peri
odicas
de perodo 2.

Defini
c
ao 4.10 (Logaritmos de n
umeros complexos). Dado um n
umero complexo z 6= 0, chamase logaritmo complexo de z ao conjunto ln(z) dos complexos w tais que ew = z, isto e,
ln(z) := {w C : ew = z}.
Proposi
c
ao 4.11. Seja z um n
umero complexo n
ao nulo. Ent
ao
ln(z) = {w C : w = loge |z| + iy, y arg(z)},
onde loge e o logaritmo (de base e) de n
umeros reais. De forma abreviada, escreve-se
ln(z) = loge |z| + i arg(z).
28

Defini
c
ao 4.12 (Logaritmo principal). A funcao Ln : C\{0} C definida por
Ln z = loge |z| + i Arg(z)
diz-se logaritmo principal.
Note-se que eLn z = z, para todo o z 6= 0.
Proposi
c
ao 4.13. Seja z = x + iy tal que < y . Ent
ao Ln(ez ) = z.
F
Exerccios.
68. Indique, justificando se a seguinte afirmacao e verdadeira ou falsa: a parte real da
2

funcao complexa f (z) = zez e ex

2 y 2

(x cos(xy) y sen(xy)).

69. Determine os zeros das func

oes trigonometricas sen z e cos z.
70. Em cada alnea, determine todos os complexos z que satisfazem a condicao indicada.
(a) ez = 4i;

(d) sen(z 2 + 1) = 0;

(g) sen(zi) = 0;

(b) e1/z = 1;

(e) sen z = 2i;

(h) e2iz + ieiz

(c) ez1 = ie3 ;

(f) e2z + ez + 1 = 0;

(i)

eiz eiz
eiz +eiz

1
4

= 0;

= i.

71. Demonstre as seguintes identidades:

(a) sen(z) = sen z;

(c) cos z = cos z;

(b) cos(z1 + z2 ) = cos z1 cos z2 sen z1 sen z2 ;

(d) sen (z /2) = cos z.

72. Determine, em cada alnea, os complexos que satisfazem a condicao dada:

(a) cosh z = i;

(c) senh z = 1;

(b) senh z = cosh z;

(d) senh z = ez .

73. Indique, justificando se a seguinte afirmacao e verdadeira ou falsa: para todo o z C,

verifica-se |cos z| 1.
F

4.3

Limites e continuidade

Defini
c
ao 4.14 (Limite de uma funcao). Seja f : A C uma funcao complexa e seja z0 um
ponto de acumulac
ao de A. Diz-se que o limite de f quando z tende para z0 e um n
umero
complexo L, e escreve-se
lim f (z) = L,
zz0

se para todo o > 0 existe um n

umero > 0 tal que
z A, 0 < |z z0 | < |f (z) L| < .
29

(4.1)

Proposi
c
ao 4.15. Sejam f : A C uma func
ao complexa, B um subconjunto de A e z0 um
ponto de acumulac
ao de B. Se lim f (z) = L C, ent
ao
lim f (z) = L.
zz0

zz0 , zB

Proposi
c
ao 4.16. Sejam f (x + iy) = u(x, y) + iv(x, y) uma func
ao complexa definida num
conjunto A e z0 = a + ib um ponto de acumulac
ao de A. Seja L = + i. As condico
es seguintes
s
ao equivalentes.
(1) lim f (z) = L,
zz0

(2)

lim

u(x, y) = e

(x,y)(a,b)

lim

v(x, y) = .

(x,y)(a,b)

Proposi
c
ao 4.17.
(1) Se f (z) = c e uma func
ao constante, ent
ao lim f (z) = c.
zz0

(2) Se f (z) = z e a func

ao identidade, ent
ao lim f (z) = z0 .
zz0

(3) Suponhamos que existem os limites de f (z) e g(z) quando z tende para z0 . Ent
ao
lim (f (z) + g(z)) = lim f (z) + lim g(z);
zz0

zz0

zz0

lim (f (z)g(z)) = lim f (z) lim g(z);

zz0

lim

zz0

zz0

zz0

lim f (z)
f (z)
zz0
=
, se lim g(z) 6= 0.
zz0
g(z)
lim g(z)
zz0

Defini
c
ao 4.18 (Continuidade). Seja f : A C uma funcao complexa e z0 um ponto de
acumulacao de A. Diremos que f e contnua em z0 se z0 A e lim f (z) = f (z0 ). Uma func
ao
zz0

complexa e contnua num subconjunto S C se e contnua em todos os pontos de S.

Proposi
c
ao 4.19. Sejam f (x + iy) = u(x, y) + iv(x, y) uma func
ao complexa definida num
conjunto aberto A e a + ib A. As condic
oes seguintes s
ao equivalentes.
(1) f (z) e contnua em a + ib,
(2) u(x, y) e v(x, y) s
ao contnuas em (a, b).
Proposi
c
ao 4.20 (Propriedades das funcoes contnuas).
(1) Suponhamos que f e g s
ao func
oes contnuas num ponto z0 .
As func
oes f + g e f g s
ao contnuas em z0 .
f
e contnua em z0 .
Se g(z0 ) 6= 0 ent
ao a func
ao
g
(2) Se f e contnua num ponto z0 e g e contnua no ponto f (z0 ), ent
ao a composta g f e
contnua em z0 .
(3) Seja S C um conjunto fechado e limitado. Se f e uma func
ao contnua em S ent
ao f e
limitada em S, isto e, existe M R tal que
z S, |f (z)| M.
30

Proposi
c
ao 4.21.
(1) As func
oes constantes s
ao contnuas em C.
(2) A func
ao identidade e contnua em C.
(3) A func
ao z z e contnua em C.
(4) A func
ao z |z| e contnua em C.
(5) As func
oes polinomiais s
ao contnuas em C.
(6) As func
oes racionais s
ao contnuas no seu domnio.
(7) A func
ao exponencial complexa e contnua em C.
(8) A func
ao argumento principal z Arg(z) e contnua em C\{x R : x 0}.
(9) A func
ao logaritmo principal Ln e contnua em C\{x R : x 0}.
F
Exerccios.
74. Reduzindo `
as vari
aveis reais, estude os limites seguintes:
lim (|z|2 i z);

(a) lim (z 2 z);

(c)

zz
(b) lim
;
z1+i z + z

Im(z 2 )
(d) lim
;
z3i z + Re(z)

z2i

z1i

(e) lim zez ;

z3i

(f)

lim (ez + z).

z2+i

75. Usando as propriedades algebricas do limite de funcoes complexas, estude:

lim (z 2 z);


1
;
(b) lim
z+
z
zei/4
(a)

z 4 1
;
zi z+i
lim (z 5 z 2
zi

(d)

z2 + 1
;
z1+i z 2 1
z2 + 1
(f) lim
.
zi z + i

(e)

(c) lim

z2i

+ z);

lim

76. Em cada alnea seguinte, averig

ue se a funcao indicada e contnua no ponto dado.
(a) f (z) =
(b) f (z) =

z3
,
z 3 +3z 2 +z

em z0 = i;

|z| =
6 1

z 3 1
z1 ,

3,

(e) f (z) =

|z| = 1, em z0 = 1;

z3i
,
z 2 +2z1

em z0 = 1 + i;

z/ |z| , z 6= 0
(f) f (z) =
1,
z = 0, em z0 = 0;

(c) f (z) = Arg(z), em z0 = 1;

(g) f (z) = Arg(z), em z0 = 0;

(d) f (z) = Arg(z), em z0 = i;

(h) f (z) = Arg(z), em z0 = 1.

77. Determine o domnio de continuidade de cada uma das funcoes seguintes:

(a) f (z) = Re(z) Im(z);

(d) f (z) = ez ;

(b) f (z) =

z1
zz4 ;

(e) f (z) =

z 2 Im(z)
;
eiz

(c) f (z) =

z2
(|z|1) Im(z) ;

(f) f (z) =

1
ez 1 .

31

(g) f (z) = Arg(iz);

(h) f (z) = Arg(z 2 );
(i) f (z) =

z Arg(z)
zz4 .

78. Indique, justificando, se a seguinte afirmacao e verdadeira ou falsa: a funcao complexa

definida por f (z) = Im z + z/z, se z 6= 0 e f (0) = 0, e contnua no ponto 0.
F

4.4

Diferenciabilidade. Condico
es de Cauchy-Riemann

Defini
c
ao 4.22. Seja f uma func
ao complexa definida numa vizinhanca de um ponto z0 . Chamamos derivada de f no ponto z0 , e denotamo-la por f 0 (z0 ), ao limite
f (z0 + z) f (z0 )
,
z0
z

f 0 (z0 ) := lim

caso este exista. Se f 0 (z0 ) existir, f diz-se diferenci

avel em z0 .
Proposi
c
ao 4.23. As regras de derivac
ao usuais para func
oes reais tambem s
ao v
alidas para
func
oes complexas.
(1) Se f e uma func
ao constante, ent
ao f e diferenci
avel em C e a sua derivada e a func
ao
nula.
(2) A func
ao identidade e diferenci
avel em C e a sua derivada e a func
ao constante 1.
(3) Se c C e f e diferenci
avel em z0 ent
ao a func
ao cf e diferenci
avel em z0 e
(cf )0 (z0 ) = cf 0 (z0 ).
(4) Sejam f e g func
oes complexas diferenci
aveis em z0 .
(a) ent
ao f + g e f g s
ao diferenci
aveis em z0 e
(f + g)0 (z0 ) = f 0 (z0 ) + g 0 (z0 ),
(b) Se g(z0 ) 6= 0, ent
ao

(f g)(z0 )0 = f 0 (z0 )g(z0 ) + f (z0 )g 0 (z0 ).

f
e diferenci
avel em z0 e
g
 0
f
f 0 (z0 )g(z0 ) f (z0 )g 0 (z0 )
(z0 ) =
.
g
g(z0 )2

Defini
c
ao 4.24 (Func
ao analtica).
(1) Uma func
ao f diz-se analtica num ponto z0 se f e diferenciavel em todos os pontos de
alguma vizinhanca de z0 .
(2) Uma func
ao f diz-se analtica, regular ou holomorfa num conjunto aberto A se e diferenciavel em todos os pontos de A. Uma funcao analtica em C tambem se diz inteira.
(3) Seja S C. Uma func
ao f e analtica em S se f e analtica em algum conjunto aberto que
contenha S.

32

Proposi
c
ao 4.25.
(1) As func
oes polinomiais s
ao funco
es inteiras.
p(z)
, onde p(z) e q(z) s
ao func
oes polinomiais, s
ao analticas no
q(z)
conjunto aberto {z C : q(z) 6= 0}.

(2) As func
oes racionais

(3) A soma, a diferenca e o produto de funco

es f e g analticas num conjunto A s
ao func
oes
analticas em A.
Se g(z) 6= 0, qualquer que seja z A, ent
ao a func
ao

f
g

e analtica em A.

(4) (Regra da cadeia) Se f e uma func

ao analtica no ponto z e g e uma func
ao analtica em
f (z), ent
ao a func
ao g f e analtica em z e
(g f )0 (z) = g 0 (f (z))f 0 (z).
Proposi
c
ao 4.26. Se uma func
ao f e diferenci
avel num ponto z ent
ao f e contnua em z.
Proposi
c
ao 4.27 (Regra de LH
opital). Suponhamos que f e g s
ao funco
es diferenci
aveis no
ponto z0 e que g(z) 6= 0 quando z 6= z0 . Se f (z0 ) = g(z0 ) = 0, mas g 0 (z0 ) 6= 0, ent
ao
lim

zz0

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

Defini
c
ao 4.28. Diz-se que as func
oes reais de duas variaveis reais u(x, y) e v(x, y) satisfazem
as condic
oes de Cauchy-Riemann no ponto (a, b) se
(
ux (a, b) = vy (a, b)
uy (a, b) = vx (a, b).
Teorema 4.29. Seja f uma func
ao complexa definida num aberto A e seja z0 A. Suponhamos
que z0 = a + ib e f (x + iy) = u(x, y) + iv(x, y). Ent
ao f e diferenci
avel em z0 se e s
o se se
verificam as seguintes condic
oes
(1) u e v s
ao diferenci
aveis em (a, b) (como funco
es reais de duas vari
aveis reais), e
(2) u e v satisfazem as condic
oes de Cauchy-Riemann em (a, b).
Se f e diferenci
avel em z0 , ent
ao
f 0 (z0 ) = ux (a, b) + ivx (a, b) = vy (a, b) iuy (a, b).
Corol
ario 4.30 (Condic
ao suficiente para uma funcao ser diferenciavel em a + ib). Suponhamos
que a func
ao complexa f (x + iy) = u(x, y) + iv(x, y) est
a definida num aberto A e que a + ib A.
Se s
ao v
alidas as condic
oes seguintes
(1) as func
oes u(x, y) e v(x, y) tem derivadas parciais de 1a ordem contnuas em A, e
(2) u(x, y) e v(x, y) satisfazem as condic
oes de Cauchy-Riemann em (a, b),
ent
ao f e diferenci
avel em a + ib.

33

Corol
ario 4.31 (Condic
ao necess
aria para uma funcao ser diferenciavel). Suponhamos que a
func
ao complexa f (x + iy) = u(x, y) + iv(x, y) e diferenci
avel no ponto a + ib. Ent
ao
(1) as func
oes u(x, y) e v(x, y) tem derivadas parciais de 1a ordem em (a, b) e
(2) u(x, y) e v(x, y) satisfazem as condic
oes de Cauchy-Riemann em (a, b).
Proposi
c
ao 4.32. A func
ao exponencial e inteira e, para todo o z C, tem-se (ez )0 = ez .
Corol
ario 4.33. As funco
es seno, cosseno, seno hiperb
olico e cosseno hiperb
olico s
ao inteiras e,
para todo o z C, tem-se
(sin z)0 = cos z;

(sinh z)0 = cosh z;

(cos z)0 = sin z;

(cosh z)0 = sinh z.

Proposi
c
ao 4.34. A func
ao logaritmo principal e analtica em A = C\{x R : x 0} e, para
todo o z A,
(Ln z)0 = 1/z.
F
Exerccios.
79. Use as regras de derivac
ao no c
alculo da derivada das funcoes seguintes:
(a) f (z) = i z 3 7z 2 ;

(c) f (z) = 5(i z)3 10z 2 + 3 4i; (e) f (z) =

2+i
.
z2

(b) f (z) = (2i)2 z 5 +i z 4 3z 2 +i6 ;

(d) f (z) = (z 6 1)(z 2 z + 1 5i); (f) f (z) =

i z 2 2z
3z+1i ;

80. Use a regra de LH

opital para calcular cada um dos limites seguintes:
z7 + i
;
(a) lim 14
zi z + 1

(b)

lim

z 2+

z 4 + 16

;
2i z 2 2 2z + 4

81. Considere a func

ao f (z) = z.
(a) Mostre que f e contnua em C.
(b) Mostre que f n
ao e diferenciavel em nenhum z0 C.
82. Considere a func
ao f (z) = |z|2 .
(a) Mostre que f e contnua em C.
(b) Mostre que f e diferenci
avel em z0 = 0.
(c) Mostre que f n
ao e diferenciavel em nenhum z0 C \ {0}.
83. Seja f a func
ao de vari
avel complexa definida por f (x + iy) =

p
|xy|.

(a) Mostre que f satisfaz as condicoes de Cauchy-Riemann no ponto 0.

34

(b) Mostre que f n

ao e diferenciavel nesse ponto. (Sugestao: Tome h a tender para
0 ao longo da semirreta h = r(cis ), com r 0 e fixo.)
84. Verifique que cada uma das func
oes seguintes satisfaz as condicoes de Cauchy-Riemann
no ponto z0 = 0 e, para alem disso, as suas partes real e imaginaria sao contnuas e
de derivadas parciais contnuas. Usando as derivadas parciais calculadas, determine a
derivada da func
ao em 0.
(a) f (x + iy) = (x 1)(y + 1) + i(x + y);

(d) f (x + iy) = 3x2 y 2 6x2 y 2 i;

(b) f (x + iy) = 4x2 x i y;

(e) f (z) = z 3 + 1;

(c) f (x + iy) = x2 + y 2 + 2xyi;

(f) f (z) = 1/(z + 1).

85. Determine e represente geometricamente o conjunto dos pontos do plano complexo

onde a func
ao f dada e diferenci
avel e para esses pontos calcule f 0 :
(a) f (x + iy) = 2x3 + y + (3y 2 x)i;
2y

(b) f (x + iy) = ex

xi;

(c) f (x + iy) = x2 x + y + i(y 2 5y x);

(d) f (x + iy) = x2 + y 2 + 2ixy.
86. Determine constantes a e b tais que f (x + iy) = (2x y) + (ax + by)i seja diferenciavel
em todo o plano complexo, e para essas constantes determine a derivada de f .
87. Determine, justificando, os pontos onde a funcao complexa f (z) = i(Im z)2 + z e
diferenci
avel e calcule o valor da derivada de f nesses pontos.
88. Determine uma func
ao diferenci
avel em C que satisfaca Im f (x + iy) = 3x(2y + 1).
89. Determine uma func
ao diferenci
avel em C tal que Im f (x + iy) = x 5xy e f (0) = 0.
90. Seja G C um aberto conexo e seja f : G C uma funcao diferenciavel. Mostre que
se f (z) tambem for diferenci
avel, entao f e constante em G.
91. Sejam f e g duas func
oes complexas definidas em C e inteiras. Mostre que, se Re(f (x+
iy)) = Re(g(x + iy)), (x, y) R2 , entao existe um real b tal que f (z) = g(z) + bi,
z C.
92. Determine a derivada das func
oes seguintes, indicando o domnio de diferenciabilidade:
(a) f (z) = z 2 ez+1 ;

(c) f (z) =

3e2z i ez
;
z 3 1+i

(b) f (z) = eiz eiz ; (d) f (z) = iez ;

35

Ln(2zi)
;
z 2 +1

(e) f (z) = (z + 1) Ln z;

(g) f (z) =

(f) f (z) = Ln(z 2 + 1);

(h) f (z) = Ln(2 + iz);

93. Indique, justificando, se a seguinte afirmacao e verdadeira ou falsa: a funcao complexa

f (z) = Ln(Ln z) e diferenci
avel em C \ {x + iy C | x 0}.
94. Usando as regras de derivac
ao e a expressao das derivadas de sen z, cos z, senh z, cosh z
e ez , calcule a derivada de:
2

(a) cos(z 2 )ez ;

(d) senh z cosh z;

(g) cosh(z)esenh z + senh(z)ecosh z ;

(b) esen z ;

(e) sen(2z + i) cosh z;

(h)

(c) sen(z 3 ) + cos(iez ); (f) cosh(z 2 + z) + esenh z ; (i)

cos z
sen z ,
cosh z
senh z ,

z 6= k;
z 6= ki.

95. Diga se as seguintes afirmac

oes s
ao verdadeira ou falsas, justificando a sua resposta.
(a) O domnio de diferenciabilidade da funcao Ln(z 2 ) e C \ {ia : a R}.




(b) O domnio de diferenciabilidade da funcao z1 Ln z1 e C \ ia : a R
0 .
(c) A func
ao complexa f (z) = ezi 1 anula-se apenas em z = 0.
(d) Tal como para a func
ao ez 1, os zeros da funcao cos(z) nao sao todos reais.
(e) A func
ao Ln(z) n
ao est
a definida em z = 1, pois nao tem derivada neste ponto.
F

36

Captulo 5

Integra
c
ao de fun
c
oes complexas
5.1

Defini
co
es e propriedades b
asicas

Defini
c
ao 5.1. Seja f uma func
ao complexa de variavel real definida em [a, b].
(1) Define-se a derivada de f , caso exista, como f 0 (t) := (Re f )0 (t) + i(Im f )0 (t).
(2) Uma func
ao complexa de vari
avel real G : [a, b] C diz-se uma primitiva de f se G0 = f .
Defini
c
ao 5.2. Seja f uma func
ao complexa de variavel real contnua num intervalo [a, b]. Ent
ao
as funcoes reais de vari
avel real Re f e Im f sao contnuas em [a, b] e, portanto, sao integraveis
em [a, b]. Define-se o integral de f em [a, b] como sendo o n
umero complexo
Z

Z
f (t) dt :=

Z
Re f (t) dt + i

Im f (t) dt.
a

Proposi
c
ao 5.3 (Propriedades). Sejam f (t) e g(t) func
oes complexas contnuas num intervalo
I e sejam a, b I, a < b.
Rb
Rc
Rb
(1) Se c I ent
ao a f (t) dt = a f (t) dt + c f (t) dt.
(2)

Rb
a

(3) Re
(4) |

Rb
a

f (t) dt =
Rb
a

Rb
a

f (t) dt.

f (t) dt =

f (t) dt|

Rb

Rb
a

Re f (t) dt e Im

Rb
a

f (t) dt =

Rb
a

Im f (t) dt.

|f (t)| dt.
Z

f (t) dt = G(b) G(a).

(5) Se G e uma primitiva de f em [a, b] ent

ao
a

Z
(6) Para quaisquer , C, tem-se

Z
(f (t) + g(t)) dt =

Z
f (t) dt +

g(t) dt.
a

Defini
c
ao 5.4. Sejam a, b R, a < b, e A C. Uma funcao contnua : [a, b] A diz-se
uma curva em A. O contradomnio de diz-se traco da curva e denota-se por tr(). A equac
ao
z = (t), t [a, b], diz-se uma parametrizac
ao da curva.
37

Observa
c
ao 5.5. Notemos que o traco de uma curva nao a define completamente. Uma curva
que descreva uma circunferencia percorrendo-a uma vez e distinta de uma curva que descreva a
mesma circunferencia mas percorrendo-a duas vezes.
Defini
c
ao 5.6. Uma func
ao contnua : [a, b] C diz-se
regular se (t) tem derivada contnua e nao nula em ]a, b[ e os limites lim 0 (t), lim 0 (t)
ta+

tb

existem e s
ao diferentes de zero.
seccionalmente regular ou caminho se existirem t0 = a < t1 < . . . tn1 < tn = b tais que
e regular em cada um dos intervalos [tk1 , tk ], k = 1, . . . , n.
Defini
c
ao 5.7. Considere-se uma curva : [a, b] A C.
(1) Os pontos (a) e (b) dizem-se respetivamente extremidade inicial e extremidade final da
curva. Se (a) = (b), a curva diz-se fechada. A curva e simples se nao se autointerseta,
exceto possivelmente nas extremidades (isto e, se (t) = (t0 ) t = t0 ou {t, t0 } = {a, b}).
(2) Diremos que o sentido da curva (nao fechada) e de (a) para (b). A curva (t) =
(a + b t), t [a, b] tem sentido oposto da curva anterior (as curvas e tem o mesmo
.
traco, mas descrevem-no em sentidos opostos). Neste contexto, a curva denota-se por

(3) Uma curva simples fechada tem sentido positivo ou direto se o seu sentido e o contrario ao
ponteiro do rel
ogio. Caso contr
ario, a curva fechada tem sentido negativo ou indireto.
Defini
c
ao 5.8. Sejam f uma func
ao complexa definida numa regiao D e : [a, b] D um
caminho tais que f e contnua em tr() (isto e, (t) = f ((t)) e contnua em [a, b]). Entao o
integral de f ao longo do caminho e o n
umero complexo
Z

f (z) dz :=

f ((t)) 0 (t) dt.

Defini
c
ao 5.9. Chama-se reparametrizaca
o da curva a toda a funcao da forma , onde
: [c, d] [a, b] e uma func
ao real de variavel real, contnua, com derivada positiva e tal que
(c) = a e (d) = b. Note-se que e tem o mesmo traco, descrito no mesmo sentido.
Exemplos 5.10. No caso dos segmentos de reta e das circunferencias, toma-se uma qualquer
reparametrizac
ao das seguintes parametrizacoes:
(1) Segmento de reta [z, w]: z(t) = (1 t)z + tw, 0 t 1;
(2) Circunferencia C(z0 , r): z(t) = z0 + reit , 0 t 2.
No resto do captulo assumimos que as funcoes complexas estao definidas em regioes de C.
Proposi
c
ao 5.11 (Propriedades).
(1) Sejam um caminho e f uma func
ao complexa contnua em tr(). Se e uma reparametrizac
ao de ent
ao
Z
Z
f (z) dz = f (z) dz.

38

(2) Sejam : [a, b] C e : [c, d] C caminhos tais que (b) = (c) e seja : [0, 1] C
um caminho definido por
(
((1 2t)a + (2t)b),
se t [0, 1/2]
( )(t) :=
((2 2t)c + (2t 1)d), se t [1/2, 1].
Se f e uma func
ao complexa contnua em tr( ), tem-se
Z
Z
Z
f (z) dz = f (z) dz + f (z) dz.

(3) Sejam f e g func

oes complexas contnuas em tr(). Ent
ao
R
R
R
(a) (f (z) + g(z)) dz = f (z) dz + g(z) dz.
R
R
(b) se c C ent
ao cf (z) dz = c f (z) dz.
R
R
(c) f (z) dz =
f (z) dz.

(4) Sejam um caminho e f uma func

ao complexa contnua em tr(). Se existe M R+ tal
que |f (z)| M , qualquer que seja z tr(), ent
ao
Z



 f (z) dz  M `(),



onde `() e o comprimento do caminho .

Observa
c
ao 5.12. O comprimento de um caminho : [a, b] C pode ser calculado atraves da
Rb 0
ormulas conhecidas (por exemplo, para um segmento de reta
formula a | (t)| dt ou usando f
tem-se `([z, w]) = |z w| e para um arco de amplitude de uma circunferencia de raio r tem-se
`() = r).
F
Exerccios.
Z
96. Calcule

f (z) dz onde:

(a) f (z) = Re z, e o segmento [0, 2 + i];

(b) f (z) = Im z, e a semicircunferencia |z| = 1, 0 Arg z ;
1
, onde e o arco de circunferencia {z = 2 + eit ,
(c) f (z) =
z2

t 2 }.

97. Sejam
e Z as poligonais [1, i] e [1, 1 + i, i], respetivamente. Calcule os integrais
Z
f (z) dz e f (z) dz, para f (z) = z e para f (z) = z.

98. Indique,
justificando se a seguinte afirmacao e verdadeira ou falsa: o valor do integral
Z
z dz e igual a 2i.
[1+i,1+i]

99. Mostre que


Z



1


dz  2( 2 + 1).

 [ 2, 2i] z (1 + i) 
F
39

5.2

Teorema de Cauchy-Goursat

Teorema 5.13 (Teorema de Jordan). Uma curva simples fechada (orientada positivamente)
divide o plano complexo em dois conjuntos disjuntos. A curva e a fronteira de ambos os conjuntos.
Um dos conjuntos, dito interior da curva, e limitado, e o outro, dito exterior da curva, e ilimitado.
Defini
c
ao 5.14. Dada uma curva, , simples fechada, o seu interior denota-se por int() e o seu
exterior denota-se por ext().
Defini
c
ao 5.15. Uma regi
ao D C diz-se simplesmente conexa se o interior de qualquer curva
poligonal simples fechada em D estiver contido em D. De facto, uma regiao simplesmente conexa
nao tem partes separadas e n
ao tem buracos.
Teorema 5.16 (Teorema de Cauchy-Goursat). Seja f uma fun
ao analtica numa regi
ao D
R c
simplesmente conexa. Seja um caminho fechado em D. Ent
ao f (z) dz = 0.
Proposi
c
ao 5.17. Sejam um caminho
simples e fechado e f uma func
ao analtica na reuni
ao
R
de tr() com o seu interior. Ent
ao f (z) dz = 0.
Proposi
c
ao 5.18. Sejam D uma regi
ao simplesmente conexa e f uma func
ao analtica em D.
(1) Se e s
ao dois caminhos
R quaisquer Rem D com a mesma extremidade inicial e a mesma
extremidade final, ent
ao f (z) dz = f (z) dz.
(2) (Existencia de primitiva) Existe uma funca
o F analtica em D, u
nica a menos de constante,
tal que F 0 (z) = f (z), para todo o z D. A func
ao F e uma primitiva de f em D.
(3) (Teorema FundamentalR do C
alculo) Se F e uma primitiva de f em D e : [a, b] C e um
caminho em D, ent
ao f (z) dz = F ((b)) F ((a)).
Teorema 5.19 (Teorema da deformac
ao). Sejam e caminhos simples fechados numa regi
ao D,
com a mesma orientac
ao, e tais que tr() est
a contido no interior de . Se f for uma func
ao
analtica em tr() tr() e no conjunto delimitado pelas duas curvas, i.e., int() ext(), ent
ao
Z
Z
f (z) dz = f (z) dz.

Defini
c
ao 5.20. Um ponto z0 C diz-se uma singularidade da funcao f se f nao e analtica
em z0 . O ponto z0 diz-se uma singularidade isolada de f se z0 e uma singularidade de f e f e
analtica em algum conjunto {z C : 0 < |z z0 | < r}, com r R+ .
Teorema 5.21 (Generalizac
ao do Teorema de Cauchy). Seja f uma func
ao analtica numa
regi
ao D. Seja um caminho fechado simples em D, orientado positivamente. Se w1 , . . . , wn s
ao
as singularidades de f no interior de , ent
ao para todo o r R+ tal que as circunferencias de
centro wk e raio r, C(wk , r), est
ao contidas no interior de e s
ao disjuntas duas a duas, tem-se:
Z
f (z) dz =

n Z
X
k=1

40

C(wk ,r)

f (z) dz.

F
Exerccios.
100. Usando o teorema Fundamental do Calculo, determine
iz

(a)

(b)

dz, onde e o arco de circunferencia {2 + eit : 0 t /2};

(c)

[1,2i] e
1
z
(z

dz;

+ 3z + cos z) dz, onde e um caminho com extermidade inicial 1 + i e

extermidade final i.
Z
101. Mostre que
z dz =
6 0. Porque e que este resultado nao contradiz o teorema de
C(0,1)

Cauchy-Goursat?
Z
102. Em cada alnea, aplicando o teorema de CauchyGoursat, mostre que

f (z) dz = 0,
C

onde f e a func
ao dada e C = C(0, 1).
(a) f (z) = z 3 1 + 3i;
(b) f (z) = z 2 +

1
z4 ;

(c) f (z) =

z
2z+3 ;

(e) f (z) =

sen z
;
(z 2 25)(z 2 +9)

(d) f (z) =

z3
;
z 2 +2z+2

(f) f (z) =

ez
.
2z 2 +11z+15

103. Usando uma decomposic

ao adequada do caminho em questao, o teorema de Cauchy
Goursat (se necess
ario) e, directamente, a definicao do integral curvilneo calcule:
Z
Z
Z
1
1
1
(a)
(d)
(g)
dz;
zi dz;
z(z2i) dz;
z(z 2 1)
C(i,1)
C(0,3)
C(1/2,1)
Z
Z
Z
1
1
1
(b)
dz;
(e)
dz;
(h)
dz.
3
z(z2i)
z(z2i)
C(0,1)

Z
(c)
C(2i,1)

C(2i,3)

1
z(z2i)

Z
dz;

(f)
C(0,3/2)

C(0,2)
i
z 2 3iz+2

z 1

dz.

5.3

Consequ
encias do teorema de Cauchy-Goursat

Teorema 5.22 (F
ormulas integrais de Cauchy).
(1) Suponhamos que f e analtica numa regi
ao simplesmente conexa D e que e um caminho
fechado simples em D, orientado positivamente. Ent
ao, qualquer que seja z0 int(),
tem-se
Z
1
f (z)
f (z0 ) =
dz.
2i z z0

41

(2) Suponhamos que f e analtica numa regi

ao simplesmente conexa D e que e um caminho
fechado simples em D, orientado positivamente. Ent
ao f tem derivada de todas as ordens
em D e, quaisquer que sejam n N e z0 int(), tem-se
Z
n!
f (z)
(n)
f (z0 ) =
dz.
2i (z z0 )n+1
Proposi
c
ao 5.23 (Consequencias das formulas integrais de Cauchy).
(1) (Desigualdade de Cauchy) Suponhamos que f e analtica numa regi
ao simplesmente conexa D e que z0 D e r R+ s
ao tais que C(z0 , r) D. Se |f (z)| M , para todo o
z D, ent
ao tem-se
n!M
|f (n) (z0 )| n .
r
(2) (Teorema de Liouville) As u
nicas func
oes inteiras limitadas s
ao as func
oes constantes.

(3) (Teorema Fundamental da Algebra)

Se p(z) e um polin
omio de grau n 1 ent
ao p(z) tem
pelo menos uma raiz.
R
(4) (Teorema de Morera) Se f e contnua numa regi
ao simplesmente conexa D e se f (z) dz =
0, qualquer que seja o caminho fechado em D, ent
ao f e analtica em D.
(5) Suponhamos que f e uma func
ao analtica numa regi
ao D limitada por uma curva fechada
simples e que f e contnua em D tr(). Ent
ao existe z0 tr() tal que |f (z0 )| e o valor
m
aximo de |f (z)| em D tr().
F
Exerccios.
104. Usando a f
ormula integral de Cauchy, calcule os seguintes integrais:
Z
(a)
C(0,r)

Z
(b)
C(2,3)

ez
z

Z
dz;

sen z
z4

(c)
C(0,2)

z 2 +3z+2i
z 2 +3z4

Z
dz;

(d)
5, 23

C(

Z
dz;

z 2 +3z+2i
z 2 +3z4

(e)

eiz
dz,
z 2 +1

dz;

onde e a curva constituda pelo segmento [r, r], com r > 0 e r 6= 1, seguido da
semi-circunferencia dada por reit , com 0 t . [Sugestao: pode usar o teorema de
deformac
ao do caminho.]
105. Usando agora a f
ormula integral de Cauchy, e, quando necessario, uma decomposicao
do caminho em quest
ao, volte a calcular os integrais do exerccio 103.
F

42

Captulo 6

S
eries de pot
encias
6.1

S
eries de pot
encias reais

Defini
c
ao 6.1. Sejam (an )n0 uma sucessao de n
umeros reais e x0 R fixo. Chama-se serie de
potencias centrada em x0 a uma serie de funcoes

an (x x0 )n .

(6.1)

n=0

As constantes an dizem-se coeficientes da serie de potencias.

Teorema 6.2. Seja

an (x x0 )n uma serie de potencias real. Ent

ao verifica-se uma das

n=0

seguintes condic
oes.
(1) A serie converge apenas quando x = x0 .
(2) A serie converge absolutamente em R.
(3) Existe um n
umero R > 0 tal que a serie converge absolutamente em quaisquer pontos x tais
que |x x0 | < R, e diverge em quaisquer pontos x tais que |x x0 | > R.
Defini
c
ao 6.3. Nas condic
oes do teorema 6.2 diz-se que o raio de convergencia da serie e
0, no caso (1);
infinito, no caso (2);
R, no caso (3).
Chama-se intervalo de convergencia de uma serie de potencias real ao intervalo de n
umeros reais,
centrado em x0 , em que a serie converge. Assim,
no caso (1), a serie tem intervalo de convergencia {x0 };
no caso (2), a serie tem intervalo de convergencia R;
no caso (3), a serie de potencias tem intervalo de convergencia I que verifica ]x0 R, x0 +R[
I [x0 R, x0 + R].

43

Observa
c
ao 6.4.
(1) Para simplificar a notac
ao, no que se segue, no caso em que uma serie de potencias real
centrada em x0 tem raio de convergencia infinito, o intervalo ]x0 , x0 + [ denota R.
(2) Uma serie de potencias pode convergir ou divergir na fronteira do seu intervalo de convergencia.
(3) Em numerosos casos, o c
alculo do raio de uma serie de potencias resulta da aplicacao dos
criterios da raz
ao ou da raiz, ou da observacao de que a serie dada e uma serie geometrica.
F
Exerccios.
106. Determine o intervalo de convergencia das seguintes series de potencias reais:
(a)

(b)

(c)

(d)

X
xn
;
n+1

n=0

n=0

X
n=0

X
n=0

(e)

3n xn ;
(1)n xn
n!

(f)

(g)

n! n
x ;
2n

(h)

107. Suponha que a serie

X
5n
n=1

X
n=2

xn ;
2
xn

loge n

(i)

(j)

(2)n xn+1
n+1

n=0

xn
(1)n1 ;
n
n=1

X
(1)n x2n
n=0

X
n=0

(2n)!
3)n

(x
2n

(m)

(n)

2n (x 2)n ;

n=0

(x 3)n
;
n n
3
n=1

X
(1)n+1 (x + 1)n
4n (x 4)n
(k)
; (o)
;
n
n2
n=1
n=1
 n

X
X
3
3n
(l)
(x + 5)n ;
(p)
(x + 1)n .
4
n
n=0

cn xn tem raio de convergencia 2 e que a serie

n=1

dn xn tem

raio de convergencia 3. O que se pode dizer sobre o raio de convergencia da serie

P
(cn + dn )xn ?
108. Indique, justificando se a seguinte afirmacao e verdadeira ou falsa: se a serie

an
n+1 (x

x0 )n+1 e convergente para x = 1 e x = 3, entao o raio de convergencia desta serie e

pelo menos 1.
F
Proposi
c
ao 6.5. Consideremos a serie de potencias

an (x x0 )n com raio de convergencia

n=0

R > 0. Seja f : ]x0 R, x0 + R[ R dada por

f (x) =

an (x x0 )n

x ]x0 R, x0 + R[.

n=0

(1) A func
ao f e contnua.
0

(2) A func
ao f e deriv
avel e f (x) =

nan (x x0 )n1 .

n=1

44

(3) Quaisquer que sejam a, b tais que [a, b] ]x0 R, x0 + R[, f e integr
avel em [a, b] e
b

f (x) dx =
a

Z
an

n=0

(x x0 )n dx.

Corol
ario 6.6. A derivac
ao termo a termo e a primitivac
ao termo a termo de uma serie de
potencias conservam o raio de convergencia da serie.
Corol
ario 6.7. Seja

an (x x0 )n uma serie de potencias de raio de convergencia R > 0 e

n=0

seja f : ]x0 R, x0 + R[ R a func

ao dada pela soma da serie. Ent
ao f tem derivadas de todas
as ordens e, para todo o inteiro positivo k, tem-se
f

(k)

(x) =

n(n 1) (n k + 1)an (x x0 )nk .

n=k

Em particular, f (k) (x0 ) = k!ak .

F
Exerccios.
109. Determine o intervalo de convergencia da serie de potencias

X
xn
n=1

n2

e da sua serie das

derivadas.
bn xn converge para |x| < 2. O que se pode concluir sobre o
P bn n+1
raio de convergencia da serie
?
n+1 x

110. Suponha que a serie

111. Desenvolva em serie de potencias de x as funcoes reais a seguir indicadas, e determine

os respectivos intervalos de convergencia:
1
;
1x
1
(b)
;
1+x
(a)

112. Seja f (x) =

(c)

1
;
(1 + x)2

(d)

x2
;
(1 + x)2

1
;
1 x2
1
(f)
;
1 + x2

(e)

(g)

1
;
3+x

(h) loge (1 x);

(i)

x
;
x2 4x + 3

(j) arctg(x).

2
2+3x .

(a) Determine um desenvolvimento em serie de potencias de x da funcao f (x), indicando o respectivo raio de convergencia.
(b) Calcule o valor de f (2008) (0).
113. Comecando com a serie

x , encontre a soma da serie das derivadas

n=0

X
n=1

|x| < 1.

45

nxn1 , para

114. Calcule o raio de convergencia e a soma da serie

nx2n1 .

n=1

115. Desenvolva em serie de potencias as primitivas seguintes, indicando os raios de convergencia.

Z
1
(a)
;
1 + x7

Z
(b)

x
;
1 + x5

Z
(c)

arctg(x)
.
x

F
Defini
c
ao 6.8. Seja f : A R uma funcao com derivadas de todas as ordens num ponto interior
x0 de A. Chama-se serie de Taylor de f em torno do ponto x0 `a serie de potencias

X
f (n) (x0 )

n!

n=0

(x x0 )n .

A serie de Taylor em torno de x0 = 0 designa-se por serie de Maclaurin:

X
f (n) (0)
n=0

n!

xn .

Defini
c
ao 6.9 (Func
ao analtica em x0 ). Se a serie de Taylor de f em torno do ponto x0 tem
soma igual a f nalguma vizinhanca de x0 entao f diz-se analtica em x0 .
Proposi
c
ao 6.10. Se f (x) =

an (x x0 )n numa vizinhanca de x0 ent

ao

n=0

an (x x0 )n e a

n=0

serie de Taylor de f em torno do ponto x0 .

Observa
c
ao 6.11. Embora, em muitos casos, a soma da serie de Taylor de uma funcao f coincida
com essa func
ao numa vizinhanca do centro das potencias, tal nem sempre acontece, como mostra
o exemplo seguinte. Seja
(
1

e x2 ,
0,

f (x) =

se x 6= 0
se x = 0.

Verifica-se que a func

ao f tem derivadas de todas as ordens em R e f (n) (0) = 0, para todo o n.
Logo a serie de Maclaurin de f converge para 0, para todo o x R. No entanto, f (x) =
6 0, para
todo o x 6= 0.
Proposi
c
ao 6.12 (F
ormula de Taylor). Sejam A um intervalo aberto, x0 A e f : A R uma
func
ao com derivadas ate `
a ordem n + 1 em A. Para cada x A e v
alida a f
ormula seguinte:
f (x) = f (x0 ) + f 0 (x0 )(x x0 ) +

00

f (x0 )
2! (x

x0 )2 + +

f (n) (x0 )
(x
n!

x0 )n +
(6.2)

(n+1)
+ f (n+1)!(c) (x

x0

)n+1 ,

para algum c no intervalo aberto de extremos x0 e x.

Defini
c
ao 6.13. A equac
ao (6.2) diz-se f
ormula de Taylor de ordem n de f no ponto x0 . A
expressao
f (n+1) (c)
Rn (f ; x0 ) =
(x x0 )n+1
(n + 1)!
diz-se resto de Lagrange de ordem n de f .
46

Defini
c
ao 6.14 (Polin
omios de Taylor). Dado n N, o polin
omio de Taylor de f de grau n no
ponto x0 e, por definic
ao,
00

Pn (f ; x0 ) = f (x0 ) + f 0 (x0 )(x x0 ) +

f (x0 )
f (n) (x0 )
(x x0 )2 + +
(x x0 )n .
2!
n!

Observemos que a sucess

ao das somas parciais da serie de Taylor de uma funcao em torno de x0
e dada por P0 (f, x0 ), P1 (f, x0 ), P2 (f, x0 ), . . . e como tal a serie de Taylor converge para f (x) em
x se e so se lim Rn (f ; x0 ) = lim(f (x) Pn (f ; x0 )) = 0.
Proposi
c
ao 6.15. Sejam A um intervalo aberto, x0 A e f : A R uma func
ao com derivadas
(n+1)
ate `
a ordem n + 1 em A. Suponhamos que |f
(x)| M , para todo o x A. Ent
ao
f (x) = Pn (f ; x0 ) + Rn (f ; x0 )
com |Rn (f ; x0 )|

M
|x x0 |n+1 , para todo o x A.
(n + 1)!
F

Exerccios.
116. Use as series de Maclaurin das funcoes envolvidas para calcular os seguintes limites:
ex 1
;
x0
x

sen(x2 /3)
.
x0
x2

(a) lim

117. Mostre que e =

(b) lim

X
1
.
n!

n=0

118. Considere a func

ao real de vari
avel real definida por

e x2 , x 6= 0
f (x) =

0,
x = 0.
Mostre que f (x) n
ao e igual `
a soma da sua serie de Maclaurin em nenhuma vizinhanca
de 0.
F

6.2

S
eries de pot
encias complexas

Defini
c
ao 6.16. Sejam (an )n0 uma sucessao de n
umeros complexos e z0 C fixo. Chama-se
serie de potencia de z z0 a uma serie de funcoes

an (z z0 )n .

n=0

As constantes an dizem-se coeficientes da serie de potencias.

47

(6.3)

Teorema 6.17. Seja

an (z z0 )n uma serie de potencias. Ent

ao verifica-se uma das seguintes

n=0

condic
oes.
(1) A serie converge apenas quando z = z0 .
(2) A serie converge absolutamente em C.
(3) Existe um n
umero R > 0 tal que a serie converge absolutamente em quaisquer pontos z tais
que |z z0 | < R, e a serie diverge em quaisquer pontos z tais que |z z0 | > R.
Defini
c
ao 6.18. Nas condic
oes do teorema 6.17 definimos o seguinte.
No caso (1), a serie de potencias

an (z z0 )n tem raio de convergencia 0;

n=0

No caso (2), a serie

an (z z0 )n tem raio de convergencia infinito e disco de con-

n=0

vergencia C;
No caso (3), a serie de potencias

an (z z0 )n tem raio de convergencia R e disco de

n=0

convergencia D(z0 , R).

Observa
c
ao 6.19.

(1) Se R = +, convencionamos que D(z0 , R) denota C.

(2) Uma serie de potencias pode convergir ou divergir na fronteira do seu disco de convergencia.
F
Exerccios.
119. Determine o raio de convergencia das seguintes series de potencias complexas:
(a)

(b)

X
n=0

X
n=0

zn;
zn
n

(c)

(d)

120. Considere a serie

X
zn
n=0

;
2

z 3n ;

n=0

k=0 ak (z

(e)

(f)

X
X
n
(1)n+1
n
(z
+
2i)
;
(z 1)n ;
(g)
n
2
n

n=0

nn z n ;

n=0

(h)

n=0

n!z n .

n=0

1 + 2i)k . Diga se esta serie pode ser convergente no

ponto 3 + i e divergente no ponto 5 3i.

121. Indique, justificando se a seguinte afirmacao e verdadeira ou falsa: existe uma sucessao
P
an de complexos tal que a serie
an (z 2)n converge em z = 0 e diverge em z = 3.

48

122. Mostre que:

(a)

(b)

(c)

z n diverge em todos os pontos da fronteira do crculo de convergencia.

n=1
n
X
z

n2
n=1
n
X
z
n=1

converge em todos os pontos da fronteira do disco de convergencia.

n
ao tem nem um nem outro desses comportamentos.
F

Proposi
c
ao 6.20. Sejam

an (z z0 )n e

n=0

bn (z z0 )n series de potencias com discos de

n=0

convergencia D1 e D2 , respetivamente.
(1) Se D1 6= D2 , o disco de convergencia das series

D1 = D2 , o disco de convergencia das series

(an bn )(z z0 )n e D1 D2 . Se

n=0

(an bn )(z z0 )n contem D1 .

n=0

(2) Se 6= 0, o disco de convergencia da serie

an (z z0 )n e D1 .

n=0

Proposi
c
ao 6.21. Suponhamos que a serie de potencias

R > 0. Seja f : D(z0 , R) C definida por f (z) =

an (z z0 )n de raio de convergencia

n=0

an (z z0 )n .

n=0

(1) A func
ao f e analtica e
0

f (z) =

nan (z z0 )n1 .

n=1

Consequentemente, f tem derivadas de todas as ordens e, para todo o inteiro positivo k,

tem-se f (k) (z0 ) = k!ak .
(2) Para qualquer caminho em D(z0 , R), tem-se
Z
f (z) dz =

Z
an

n=0

49

(z z0 )n dz.

F
Exerccios.
123. Para cada uma das seguintes funcoes complexas f (z) seguintes, ache uma serie de
potencias de z cuja soma seja f (z) e diga quais os valores de z que tornam a serie
convergente:
(a)

1
;
1+z

1
;
1 z2

(b)

(c)

1
;
2z

(d)

1
1
+
.
1 2z 1 z

124. Determine um desenvolvimento em serie de potencias de (z 2i) de f (z) =

3+i
z+i1 ,

bem

como o raio de convergencia dessa serie.

125. Considere a serie de potencias

n=0 (n

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

(a) Determine o seu raio de convergencia.

(b) Determine a sua func
ao soma (Sugestao: primitive termo a termo.)
F
Teorema 6.22 (Teorema de Taylor). Sejam A uma regi
ao e z0 um ponto de A. Se f e uma
func
ao analtica em A ent
ao

X
f (n) (z0 )
f (z) =
(z z0 )n .
n!
n=0

no maior disco de centro z0 contido em A.

Defini
c
ao 6.23. Nas condic
oes do teorema 6.22, chama-se serie de Taylor de f em torno do
ponto z0 `a serie de potencias

X
f (n) (z0 )
(z z0 )n .
n!
n=0

Se z0 = 0, a serie de potencias

X
f (n) (0)
n=0

n!

zn

diz-se serie de Maclaurin de f .

Exemplos 6.24.
(1) z C, ez =

X
zn
n=0

n!

(2) z C, sin z = z

z3 z5 z7
+

+ , ou seja,
3!
5!
7!
sin z =

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

F
50

(2n + 1)!

Exerccios.
126. Determine as series de Maclaurin e os respectivos raios de convergencia das seguintes
funcoes.
(a) ez ;

(c) cos(z);

(b) sen(z);

(d) ez ;

(e) ez/2 ;

(g) z 2 ez ;

(i) z cos(z);

(k) cosh z;

(f) sen(z 4 );

(h) sen(z 2 );

(j) senh z;

(l) senh(z 2 ).

127. Em cada alnea determine uma sucessao de n

umeros complexos an que satisfaca a
igualdade dada, indicando o domnio de validade dessa igualdade:
(a)

(b)

an (z + 2)n =

n=0

an (z 2)n =

n=0

1
;
1z

(c)

1
;
1z

(d)

an z n =

n=0

1
;
4 2z

an (z+1)n =

n=0

(e)

1
; (f)
4 2z

an (z 1)n = z 5 ;

n=0

an z n = z 5 .

n=0

128. Determine a serie de Taylor da funcao f (z) indicada em torno do ponto z0 indicado:
(a) f (z) = ez , com z0 = 2i;

(c) f (z) = cos(z), com z0 = 2 ;

(b) f (z) = sen(z), com z0 = 2 ;

(d) f (z) = cos(z), com z0 = 2 .

129. Use as series de Maclaurin das funcoes envolvidas para calcular os seguintes limites:
ez 1 z
;
z0
z2

cos(z 2 ) 1
;
z0
z4

(a) lim

(b) lim

130. Escreva os quatro primeiros termos nao nulos de uma serie de potencias de z que tenha
como soma a func
ao

ez
z+4

e determine o respectivo raio de convergencia.

F

51

Captulo 7

S
eries de Laurent e o Teorema dos
Resduos
7.1

Singularidades e o Teorema de Laurent

Teorema 7.1 (Teorema de Laurent). Seja f uma func

ao analtica numa regi
ao D definida por
r < |z z0 | < R, onde 0 r < R e R > 0 ou R = +. Ent
ao
f (z) =

X
k=1

para todo o z D, onde

Z
1
f (w)
ak =
dw
2i (w z0 )k+1

X
bk
ak (z z0 )k ,
+
(z z0 )k
k=0

(k 0),

bk =

1
2i

f (w)(w z0 )k1 dw

(k 1),

e e um caminho simples fechado (orientado positivamente) contido em D e que tem z0 no seu

X
X
bk
interior. As series
e
ak (z z0 )k convergem absolutamente em D e s
ao u
nicas.
(z z0 )k
k=1

k=0

X
bk
ak (z z0 )k diz-se serie de Laurent ou expans
ao de
+
(z z0 )k
k=1
k=0
Laurent de f em torno de z0 na regi
ao D.
Chama-se parte principal da serie de Laurent `a serie
Defini
c
ao 7.2. A serie

X
k=1

enquanto que a serie

bk
,
(z z0 )k

ak (z z0 )k

k=0

se diz parte analtica da serie de Laurent.

52

F
Exerccios.
131. Determine as series de Laurent das seguintes funcoes nas coroas circulares indicadas:
(a)
(b)
(c)
(d)
(e)

z+1
, 0 < |z| < ;
z
1
, 0 < |z 3| < ;
(z 3)5
ez
, 0 < |z| < ;
z2  
1
sen
, 0 < |z| < ;
z
1
, 0 < |z| < 1;
z(1 z)

(f)
(g)
(h)
(i)
(j)

1
, 0 < |z 1| < 1;
z(1 z)
1
, 1 < |z| < ;
z(1 z)
1
, 1 < |z 1| < ;
z(1 z)
1
, 0 < |z + i| < 2;
2
z +1
1
, 1 < |z| < ;
2
z +1

132. Determine a serie de Laurent da funcao f (z) =

133. Determine a serie de Laurent da funcao f (z) =

e3i
z(z+i)

em torno do ponto z0 = 0.

1
z(z+2i)

+ z2 +

1
z3

em torno do ponto

z0 = 0, v
alida em 0 < |z| < 2.
134. Considere a func
ao g definida por g(z) =

1
(z1)(z2) .

Determine um desenvolvimento

em serie de Laurent de g v
alido em 0 < |z 1| < 1.
135. Seja

an (z z0 )n a serie de Taylor de uma funcao f : C C diferenciavel em C.

n=0

Mostre que a serie de Laurent de g(z) =

f (z)
(zz0 )2

na coroa circular 0 < |z z0 | < e

X
a0
a1
+
+
an+2 (z z0 )n .
(z z0 )2 z z0
n=0

an z n a serie de Taylor de uma funcao f : D(0, r) C diferenciavel em D(0, r),

com r > 0. Mostre que a serie de Laurent de g(z) = f z1 na coroa circular 1r < |z| <
P an
e
zn .

136. Seja

137. Determine as quatro primeiras parcelas do desenvolvimento de Laurent da funcao

ez
na coroa circular 0 < |z 1| < 2.
z2 1
F

53

Defini
c
ao 7.3 (Classificac
ao das singularidades). Sejam f uma funcao complexa e z0 uma sin

X
X
bk
gularidade isolada de f . Seja
+
ak (z z0 )k a serie de Laurent de f em torno
(z z0 )k
k=1
k=0
de z0 na regi
ao 0 < |z z0 | < R, para um certo R > 0.
Se bk = 0, para todo o k 1 (isto e, se a parte principal da serie e 0), entao z0 diz-se uma
singularidade removvel.
Se o conjunto {k : k 1 e bk 6= 0} e nao-vazio e finito, entao z0 diz-se um polo. Se n for o
maior ndice tal que bn 6= 0, ent
ao diz-se que z0 e um polo de ordem n.
Se o conjunto {k : k 1 e bk 6= 0} e infinito, entao z0 diz-se uma singularidade essencial.
Observa
c
ao 7.4. Se f tem uma singularidade removvel em z0 e sempre possvel redefinir f em
z0 de forma a obter uma func
ao analtica em z0 .

7.2

Teorema dos resduos

Defini
c
ao 7.5 (Zeros). Um ponto z0 e um zero da funcao complexa f se f (z0 ) = 0. Um zero
z0 de uma func
ao complexa f diz-se isolado se existe uma vizinhanca A de z0 tal que f (z) 6= 0,
para todo o z A tal que z 6= z0 .
Defini
c
ao 7.6 (Multiplicidade de um zero). Seja z0 um zero isolado de uma funcao analtica f .
Diz-se que f tem um zero de ordem n ou de multiplicidade n em z0 se
f (z0 ) = 0,

f 0 (z0 ) = 0,

...,

f (n1) (z0 ) = 0,

mas

f (n) (z0 ) 6= 0.

Um zero de ordem 1 designa-se zero simples.

Proposi
c
ao 7.7. Uma func
ao f analtica num disco D(z0 , R) tem um zero de ordem n em z0
se e s
o se existe uma func
ao analtica em D(z0 , R) com (z0 ) 6= 0 tal que
f (z) = (z z0 )n (z),
ou seja, se e s
o se limzz0

f (z)
(zz0 )n

z D(z0 , R),

existe e e diferente de 0.

Proposi
c
ao 7.8. Uma func
ao f analtica em algum conjunto de equac
ao 0 < |z z0 | < R tem
um polo de ordem n em z0 se e s
o se existe uma func
ao analtica em D(z0 , R) com (z0 ) 6= 0
tal que
(z)
f (z) =
, z D(z0 , R) \ {z0 },
(z z0 )n
ou seja, se e s
o se limzz0 (z z0 )n f (z) existe e e diferente de 0.
g
.
h
Se g(z0 ) 6= 0 e h tem um zero de ordem m em z0 , ent
ao f tem um polo de ordem m em z0 .

Teorema 7.9. Sejam g e h func

oes analticas no ponto z0 e seja f =

Suponhamos que g tem um zero de ordem n em z0 e h tem um zero de ordem m em z0 .

Ent
ao a singularidade z0 da func
ao f e:
removvel, caso n m;
um polo de ordem m n, caso n < m.

54

Defini
c
ao 7.10 (Resduo). Sejam f uma funcao complexa e z0 uma singularidade isolada de f .
Seja

X
X
bk
+
ak (z z0 )k
(z z0 )k
k=1

k=0

a serie de Laurent de f em torno de z0 . O coeficiente b1 diz-se resduo de f no ponto z0 e

denota-se por Res(f (z), z0 ).
Proposi
c
ao 7.11.
(1) Se z0 e uma singularidade removvel de f ent
ao Res(f (z), z0 ) = 0.
(2) Se f tem um polo simples em z0 ent
ao
Res(f (z), z0 ) = lim (z z0 )f (z).
zz0

(3) Se f tem um polo de ordem n em z0 ent

ao
Res(f (z), z0 ) =

1
dn1
lim
[(z z0 )n f (z)] .
(n 1)! zz0 dz n1

Teorema 7.12 (Teorema dos resduos). Seja D uma regi

ao simplesmente conexa e seja um
caminho simples fechado em D, orientado positivamente. Se a func
ao f e analtica em D exceto
em n singularidades isoladas z1 , z2 , . . . , zn pertencentes ao interior de , ent
ao
Z
f (z) dz = 2i

n
X

Res(f (z), zk ).

k=1

F
Exerccios.
138. Cada uma das seguintes func
oes tem uma singularidade isolada em z0 = 0. Em cada
caso, diga se se trata de um polo e, se for esse o caso, indique a sua ordem.
(a)

z
;
z2

1
(b) 2 ;
z
(c)

sen z
;
z

(d)

cos z
;
z

(g)

sen z
;
z4

(j)

cos z
;
z2
 
1
;
z

1 cos z
(e)
;
z

1
(h) z
;
e 1

(k)

z 7 sen

(f) e1/z ;

(i)

z2
;
ez 1

(l)

ez 1
.
z3

139. Indique, justificando se a seguinte afirmacao e verdadeira ou falsa: o resduo da funcao

f (z) = z 5 (e1/z + z) no ponto z0 = 0 e igual a 1/2.

55

140. Calcule os seguintes resduos:

(a) Res


1
;
1
;
z2 1

 1

(b) Res
;1 ;
z1
(c) Res

 ez

;1 ;
z1

(i) Res

 eiz

(f) Res
;
i
;
1 + z2

(j) Res

(e) Res

1 
;0 ;
z4

(g) Res

 sen z 
;0 ;
(d) Res
z


ez
;
1
;
(z 1)2

(k) Res


 ez
;
0
;
z 100
 z5 + z + 3
(z 2)4


;2 ;

 cos z

; /4 ;
z /4

  
1
;0 .
(l) [Exa, 2006] Res sen
z



(h) Res e1/z ; 0 ;

141. Usando o teorema dos resduos calcule os seguintes integrais:

Z
Z
1
z 3 +1
(e)
(a)
dz;
sen z dz;
(z+1)(z1)3
C(0,5)
C(1,3)
Z
Z
1
sen z
dz;
(f)
(b)
dz;
(1z)3
z 2 (z1)
C(1, 12 )

C(0,2)

Z
(c)
C(i,1)

z
z 2 +1

Z
(d)
C(1,1)

Z
dz;

(g)
C(0,1)

1
(z+1)(z1)3

Z
142. Calcule o integral

Z
dz;

(h)

z
z 2 +2z+5

dz;

(1 + z)e1/z dz com (r > 0).

C(0,r)

ez
z(z1)3

dz, onde e, sucessivamente, C(0, 12 ), C(1, 12 ), C(1, 32 ).

Z

143. Determine o valor do integral

1
1+z 2

dz, onde e a curva constituda pelo segmento

[r, r] seguido da semi-circunferencia reit , onde 0 t e r > 1.

144. Considere a func
ao f definida por f (z) =
(a) Calcule

R
C

z
.
z 4 +16

f (z) dz onde C = [3, 3] C3 e C3 e a curva dada por () = 3ei com

[0, ].
(b) Qual e o valor de
Z
145. Calcule
C(0,r)

R
C3

f (z) dz?

z2 + 1
dz, para todos os valores possveis de r, com 0 < r < 2 e r > 2.
z(z 2 + 4)

56

146. Considere as func

oes f e g definidas por f (z) =

1
(z1)(z3)

e g(z) =

1
.
z 2 1

(a) Determine as series de Laurent de f e g validas em 0 < |z 1| < 2.

(b) Mostre que a func
ao f + g tem uma singularidade removvel em z0 = 1 e f g
tem um polo simples em z0 = 1.
(c) Classifique a singularidade de f g em z0 = 1 e calcule Res(f (z)g(z); 1).
Z
1
(d) Calcule
.
2
C(0,2) (z 1)(z 1)(z 3) dz
147. Considere a func
ao f (z) =

1
sen(z) .

(a) Determine e classifique todas as singularidades de f (z).

Z
f (z)dz.
(b) Calcule
C(0,7)

148. Considere a func

ao f (z) =

1
ez 1 .

(a) Determine e classifique todas as singularidades de f (z).

Z
(b) Calcule
f (z)dz.
C(0,7)

149. Considere a func

ao f (z) =

1
.
z(1e2z )

(a) Determine o resduo de f no ponto z0 = 0.

Z
(b) Calcule
f (z)dz.
C(i,4)

57