Analise Matematica III

AN
ALISE MATEM
ATICA 3
APONTAMENTOS DAS AULAS TE
ORICAS
PARTE A AN
ALISE COMPLEXA
Maria do Rosario de Pinho
e
Maria Margarida Ferreira
Agosto 2004
Faculdade de Engenharia da Universidade do Porto
Licenciatura em Engenharia Electrotecnica
e de
Computadores
Indice
1 N umeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Fun c oes de variavel complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.1 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Derivabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.3 Determina c ao de fun c oes Holomorfas. Fun c oes Harmonicas. . . . . . . . . 13
3 Integra c ao Complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.1 Caminhos e lacetes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2 Integra c ao ao longo de um caminho . . . . . . . . . . . . . . . . . . . . . 19
3.3 Homotepias de Lacetes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4 Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.1 Series de N umeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.2 Testes para Convergencia e Divergencia de Series . . . . . . . . . . . . . . 40
4.3 Series geradas por sucess oes de fun c oes . . . . . . . . . . . . . . . . . . . . 45
4.4 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.5 Serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.6 Resduos. Teorema dos Resduos. . . . . . . . . . . . . . . . . . . . . . . . 69
2
Fun c oes de Variavel Complexa. Pag. 3
1 N umeros Complexos
.
z
Im
Re
r
q
a
b z = a + bi = r e
iq
O conjunto dos n umeros complexos, C, constitui um corpo, com a adi c ao denida por:
z
1
+ z
2
= (a
1
+ a
2
) + (b
1
+ b
2
)i, onde z
1
= a
1
+ b
1
i, z
2
= a
2
+ b
2
i
e o produto denido por:
z
1
.z
2
= (a
1
a
2
b
1
b
2
) + (a
1
b
2
+ b
1
a
2
)i
O corpo C (= {x+yi}) pode ser identicado com o espa co vectorial R
2
. Quando escrevemos

C
estamos a considerar alem da adi c ao a opera c ao produto denida atras que faz deste conjunto
um corpo.
Algumas no c oes topol ogicas:
B
r
(a) = {z : |z a| < r} disco aberto (ou bola aberta) de centro a e raio r.
D
r
(a) = {z : |z a| r} disco fechado de centro a e raio r.
U C, U aberto a U r > 0 B
r
(a) U
F C, F fechado C \ F aberto.
D C, D convexo Dados 2 pontos quaisquer de D, o segmento que os une ainda esta
contido em D.
A C, A aberto conexo A aberto e dados 2 pontos quaisquer de A, e possvel uni-los
por uma curva totalmente contida em A.
Sucessao convergente em C
Seja {z
n
} sucess ao de elementos de C.
z
n
z
0
def
> 0 p > 0 : n p |z
n
z
0
| <
Sendo z
n
uma sucess ao de n umeros complexos, pode ser representada na forma z
n
= a
n
+ b
n
i,
com a
n
e b
n
sucess oes de n umeros reais. Seja z
0
= a
0
+ b
0
i. Da deni c ao acima resulta que a
sucess ao z
n
converge para z
0
, se e so se as sucess oes reais a
n
e b
n
convergirem respectivamente
para a
0
e b
0
. O estudo da convergencia de sucess oes de n umeros complexos pode reduzir-se
assim ao estudo de convergencia de sucess oes reais.
Exerccio: Vericar a arma c ao do paragrafo anterior e interpreta-la geometricamente.
2 Func oes de variavel complexa
Seja D um conjunto de n umeros complexos. Uma fun c ao f, denida em D, e uma corre-
spondencia unvoca, que associa a cada n umero z em D, um n umero complexo w. O n umero w
e designado por valor de f em z e e denotado por f(z). O conjunto D e designado por domnio
de f.
Im
Re
.
Im
Re
.
f
z
w=f(z)
D
f : D C D C
z f(z)
z = x + iy f(z) = Z = X + iY ,
X = u(x, y)
Y = v(x, y)
u e v s ao fun c oes reais, denidas num subconjunto de R
2
.
Exemplos:
f(z) = z
2
= (x
2
y
2
) + i2xy Domnio = C
f(z) =
1
z
=
x
x
2
+y
2
i
y
x
2
+y
2
Domnio = C \ {0}
f(z) = e
z
= e
x
cos y + i e
x
siny =

n=0
z
n
n!
Domnio = C
A fun c ao e
z
e uma extens ao natural da correspondente fun c ao real. Pode ser denida atraves
daquela serie, como iremos estudar mais tarde, com uma forma semelhante à correspondente
serie para a exponencial real.
A seguinte propriedade continua a ser satisfeita no conjunto dos n umeros complexos:
e
z
1
+z
2
= e
z
1
e
z
2
, z
1
, z
2
C
No entanto,
(e
z
1
)
z
2
= e
z
1
z
2
para algum z
1
, z
2
Para o vericarmos basta considerar z
1
= 2i, z
2
= :
(e
z
1
)
z
2
= (cos 2)
= 1 e e
z
1
z
2
= cos 2
2
+ i sin2
2
que s ao diferentes n umeros complexos.
A partir da fun c ao exponencial complexa denem-se extens oes das fun c oes trignometricas reais
ao conjunto dos n umeros complexos:
sinz =
e
iz
e
iz
2i
cos z =
e
iz
+ e
iz
2
Quando z e real (componente imaginaria nula), estas fun c oes coincidem com as correspondentes
reais. As restantes fun c oes trignometricas complexas podem ser denidas em termos do sen e
cos, na forma usual:
tanz =
sinz
cos z
, cot z =
cos z
sinz
, sec z =
1
cos z
, sec z =
1
sinz
Exerccio Verique para estas fun c oes algumas das propriedades conhecidas para as correspon-
dentes fun c oes reais (formula da soma, da diferen ca...).
2.1 Continuidade
Im
Re
.
Im
Re
.
f
z
0
d
A
e
f : D C C, z
0
= x
0
+ iy
0
lim
z z
0
f(z) = A
def
> 0 > 0 : 0 < |z z
0
| < e z D |f(z) A| <
f contnua em z
0
def
> 0 > 0 : |z z
0
| < e z D |f(z) f(z
0
)| <
f contnua em z
0
lim
z z
0
f(z) = f(z
0
)
f contnua em D f contnua em z
0
, z
0
D
Considerando a representa c ao de f em termos das suas componentes, real e imaginaria:
f : D C C
x + iy u(x, y) + iv(x, y)
u e v s ao fun c oes denidas num subconjunto de R
2
e com valores em R. A continuidade de f
pode ainda ser expressa em termos da continuidade das fun c oes u e v:
f contnua em z
0
u(x, y) e v(x, y) s ao contnuas em (x
0
, y
0
)
Exerccio: Verique este resultado. Interprete-o geometricamente.
Exemplo
f : C C
z z
f e contnua. De facto,
(1) > 0 = : |zz
0
| < |f(z)f(z
0
)| = | z z
0
| = |

(z z
0
)| = |zz
0
| < = ,
ou:
(2) u(x, y) = x e v(x, y) = y s ao fun c oes contnuas.
2.2 Derivabilidade
Seja f : A C C, A aberto de C.
f derivavel em z
0
A
def
lim
z z
0
f(z) f(z
0
)
z z
0
existe e e nito.
Se existir e for nito, lim
z z
0
f(z)f(z
0
)
zz
0
= f
(z
0
)
Exemplos
f(z) = z f
(z) = 1, z C
f
(z) = lim
z z
0
f(z)f(z
0
)
zz
0
= lim
z z
0
zz
0
zz
0
=
= lim
z z
0
1 = 1
f(z) = z
2
f
(z) = 2z, z C
f
(z) = lim
z z
0
z
2
z
2
0
z z
0
= lim
z z
0
z + z
0
= 2z
0
Uma deni c ao alternativa para derivabilidade, equivalente à anteriormente dada, e a seguinte:
f derivavel em z
0
A
C r : A C contnua em z
0
, com r(z
0
) = 0, tal que
f(z) = f(z
0
) + (z z
0
) + r(z)|z z
0
| z A
A constante da express ao representa a derivada da fun c ao no ponto em quest ao.
Exemplos
f(z) = z = z
0
+ 1.(z z
0
) = 1 r(z) = 0 z C
f(z) = z
2
= z
0
2
+ 2z
0
(z z
0
) + r(z)|z z
0
| = 2z
0
r(z) =
(z z
0
)
2
|z z
0
|
se z = z
0
e r(z
0
) = 0
Como e usual dene-se derivabilidade num conjunto atraves da derivabilidade em cada ponto
do conjunto:
f derivavel em A
def
f derivavel em z, z C
A continuidade de uma fun c ao de variavel complexa e equivalente à continuidade das fun c oes
componentes, real e imaginaria. E no que se refere à derivabilidade? Antes de responder a esta
quest ao analisemos a seguinte fun c ao complexa:
f : C C
z z
( x + iy x iy)
f n ao e derivavel na origem, z = 0. De facto,
lim
z0
f(z) f(0)
z 0
= lim
z0
z
z
n ao existe
Im
Re
Im
Re
f
. .
-1
1
.
lim
z0, z=x, x real
z
z
= lim
x0
x
x
= 1
lim
z0, z=iy, y real
z
z
= lim
y0
iy
iy
= lim
y0
1 = 1
Da existencia de limites distintos conclui-se a n ao existencia de limite da fun c ao no ponto z = 0.
Uma outra forma de obtermos a mesma conclus ao seria estudarmos o limite com a variavel z
expressa na forma polar:
lim
z0
z
z
=
re
i
re
i
= e
2i
Para cada =
0
, a fun c ao e constante. Geometricamente isto signica que a fun c ao e constante
ao longo de semi-rectas com origem na origem dos eixos ( excluindo a origem).

E possvel
considerarmos pontos t ao proximos da origem quanto quisermos, com angulos polares muito
distintos, e portanto onde a fun c ao toma tambem valores muito distintos. Assim, n ao pode
haver limite.
Conclus ao: Do exemplo anterior somos levados a concluir que, ao contrario do que acontecia
com a continuidade, a diferenciabilidade das fun c oes componentes u(x, y) e v(x, y) n ao garante
a derivabilidade da fun c ao complexa f(z) = f(x + iy) = u(x, y) + iv(x, y). No caso analisado,
f(z) = z, vem u(x, y) = x e v(x, y) = y que s ao diferenciaveis em (0, 0). No entanto f n ao e
derivavel em z = 0, como foi vericado.
Sera que outras ou mais algumas propriedades de u(x, y) e v(x, y) permitem obter conclus oes
sobre a derivabilidade de f?
Rela c oes de Cauchy-Riemann
Teorema 2.1 f : A C C, A aberto de C, z
0
A
A fun c ao f(z) = f(x + iy) = u(x, y) + iv(x, y) e deriv avel em z
0
= x
0
+ iy
0
se e s o se:
u(x, y) e v(x, y) s ao diferenci aveis em (x
0
, y
0
),
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
) [ Rela c oes de
u
y
(x
0
, y
0
) =
v
x
(x
0
, y
0
) Cauchy-Riemann]
No caso de existir, f
(x + iy) =
u
x
(x
0
, y
0
) + i
v
x
(x
0
, y
0
)
Outras Express oes para a Derivada
f
(z) =
u
x
i
u
y
=
v
y
+ i
v
x
=
v
y
i
u
y
Demonstra cao. =
Suponhamos f(z) derivavel em z
0
. Isto equivale a armar que,
f(z) = f(z
0
) + (z z
0
) + r(z)|z z
0
| z A (1)
para alguma constante C e alguma fun c ao, r : A C, contnua em z
0
, com r(z
0
) = 0.
Sejam, =
1
+ i
2
e r(z) = r(x + iy) = r
1
(x, y) + i r
2
(x, y).
Separando as componentes real e imaginaria da equa c ao 1 que dene f(z), vem:
u(x, y) = u(x
0
, y
0
) +
1
(x x
0
)
2
(y y
0
) + r
1
(x, y)
_
(x x
0
)
2
+ (y y
0
)
2
v(x, y) = v(x
0
, y
0
) +
2
(x x
0
) +
1
(y y
0
) + r
2
(x, y)
_
(x x
0
)
2
+ (y y
0
)
2
Ou, de forma equivalente:
(1) u(x, y) = u(x
0
, y
0
) + (
1
,
2
)(x x
0
, y y
0
) + r
1
(x, y)
_
(x x
0
)
2
+ (y y
0
)
2
(2) v(x, y) = v(x
0
, y
0
) + (
2
,
1
)(x x
0
, y y
0
) + r
2
(x, y)
_
(x x
0
)
2
+ (y y
0
)
2
com
lim
(x,y)(x
0
, y
0
)
r
1
(x, y) = lim
(x,y)(x
0
, y
0
)
r
2
(x, y) = 0
Mas as equa c oes (1) e (2) armam que u e v s ao diferenciaveis com derivadas parciais:
u
x
(x
0
, y
0
) =
1
u
y
(x
0
, y
0
) =
2
v
x
(x
0
, y
0
) =
2
v
y
(x
0
, y
0
) =
1
E portanto, f
(z
0
) = =
1
+i
2
=
u
x
(x
0
, y
0
) + i
v
x
(x
0
, y
0
). As rela c oes de Cauchy-Riemann
est ao tambem vericadas.
=
Suponha-se agora que as fun c oes u e v s ao diferenciaveis em (x
0
, y
0
) e as equa c oes de Cauchy-
Riemann s ao satisfeitas. Por deni c ao de diferenciabilidade para fun c oes denidas em R
2
e
tomando valores em R, tem-se:
r
1
(x, y), r
2
(x, y) contnuas em (x
0
, y
0
), com r
1
(x
0
, y
0
) = r
2
(x
0
, y
0
) = 0, tais que:
(3) u(x, y) = u(x
0
, y
0
) +
_
u
x
(x
0
, y
0
),
u
y
(x
0
, y
0
)
_
(x x
0
, y y
0
) +r
1
(x, y)(x, y) (x
0
, y
0
)
(4) v(x, y) = v(x
0
, y
0
) +
_
v
x
(x
0
, y
0
),
v
y
(x
0
, y
0
)
_
(x x
0
, y y
0
) +r
2
(x, y)(x, y) (x
0
, y
0
)
Designando por
1
=
u
x
(x
0
, y
0
) e
2
=
v
x
(x
0
, y
0
), as rela c oes de Cauchy-Riemann permitem
escrever as express oes (3) e (4) para u e v na forma anterior (1) e (2). Multiplicando a equa c ao
(2) por i e somando à equa c ao (1) obtem-se a equa c ao 1 para f(z), provando desta forma que
f e diferenciavel em z = z
0
.
Exemplos
f(z) = z = x iy
u
x
= 1 =
v
y
= 1 (x, y)
f n ao e derivavel em qualquer ponto z C.
f(z) = z
2
e derivavel z C.
Exerccio:
1. Seja f : A C C, onde A aberto de C, f(z) = f(x + iy) = u(x, y) + iv(x, y).
Considere z
0
A, z
0
= x
0
+ iy
0
= 0.
(a) Suponha que f e derivavel em z
0
.
Considere as fun c oes u e v expressas em coordenadas polares usando para isso as igual-
dades x = r cos() e y = r sin(). Mostre que estas fun c oes s ao ainda diferenciaveis,
como fun c oes de r e , e que
u
r
(z
0
) =
u
x
(z
0
) cos(
0
) +
u
y
(z
0
) sin(
0
)
u
(z
0
) =
u
x
(z
0
)r
0
sin(
0
) +
u
y
(z
0
)r
0
cos(
0
)
v
r
(z
0
) =
v
x
(z
0
) cos(
0
) +
v
y
(z
0
) sin(
0
)
v
(z
0
) =
v
x
(z
0
)r
0
sin(
0
) +
v
y
(z
0
)r
0
cos(
0
)
onde z
0
= r
0
exp(i
0
).
(b) Mostre que se as fun c oes u e v s ao diferenciaveis e se as derivadas parciais de u e v,
expressas em coordenadas cartesianas (como fun c oes de x e y) satisfazem as Rela c oes
de Cauchy-Riemann, ent ao
u
r
(z
0
) =
1
r
0
v
(z
0
),
1
r
0
u
(z
0
) =
v
r
(z
0
) (2)
(c) Mostre ainda que se as fun c oes u e v, expressas em coordenadas polares, s ao difer-
enciaveis e as condi c oes (2) s ao vericadas, ent ao as fun c oes u e v, expressas em
coordenadas cartesianas, s ao diferenciaveis e as Rela c oes de Cauchy Riemann em
coordenadas cartesianas s ao tambem vericadas.
(d) Verique que a fun c ao f(z) =
1
z
e derivavel para todo o z = 0, utilizando as condi c oes
(2).
2. Considere a fun c ao ln(z) = ln | z | +i arg(z), onde arg(z) toma um valor do intervalo
[, + 2), para algum R xo, denido previamente. Esta fun c ao esta bem denida
para todo o z C\{0}.
Considere agora a restric c ao desta fun c ao ao conjunto {z = r exp(i) : r > 0, (, + 2)}.
A fun c ao pode ser expressa como ln(z) = u(r, )+iv(r, ) onde u(r, ) = ln(r) e v(r, ) = .
Utilizando o exerccio 1, mostre que
d
dz
ln(z) =
1
z
Para fun c oes reais de variavel real, e mais geralmente para fun c oes vectoriais de variavel vec-
torial, vericou-se que a diferenciabilidade implica continuidade. Resultado similar pode ser
estabelecido para fun c oes complexas. A demonstra c ao e semelhante.
f(z) derivavel em z = z
0
f(z) contnua em z = z
0
Exerccio: Verique a ultima implica c ao.
Regras de Calculo para a deriva cao de fun c oes complexas de variavel Complexa
Sejam A, B conjuntos abertos de C.
f : A C e g : B C derivaveis em z = z
0
A B. Ent ao:
f + g e derivavel em z
0
e (f + g)
(z
0
) = f
(z
0
) + g
(z
0
)
f.g e derivavel em z
0
e (f.g)
(z
0
) = f
(z
0
).g(z
0
) + f(z
0
).g
(z
0
)
f : A C, f(z) = 0 z A. Ent ao g(z) =
1
f(z)
e derivavel em A, e
g
(z) =
f
(z)
(f(z))
2
z A
f : A C, g : B C, f(A) B e z
0
A.
f derivavel em z
0
e g derivavel em f(z
0
) = g f derivavel em z
0
e
(g f)
(z
0
) = g
(f(z
0
)).f
(z
0
)
f : A B, f bijec c ao de A em B.
f derivavel em z
0
e f
(z
0
) = 0 = g(w) = f
1
(w) derivavel em w
0
= f(z
0
) e
(f
1
)
(w
0
) =
1
f
(f
1
(w
0
))
=
1
f
(z
0
)
f : A C, : I R C e (t
0
) = z
0
.
derivavel em t
0
e f derivavel em z
0
= f derivavel em t
0
e
(f )
(t
0
) = f
(z
0
).
(t
0
)
((t) =
1
(t) + i
2
(t), com
1
e
2
fun c oes reais de variavel real.
Neste caso,
(t) =
1
(t) + i
2
(t)
Apresentamos em seguida uma deni c ao que caracteriza fun c oes derivaveis em vizinhan cas de
pontos, excluindo, desta forma, pontos onde a fun c ao e isoladamente derivavel.
Deni cao 2.1 Seja f : A C, A aberto conexo de C.
f Holomorfa em z
0
A
def
f e deriv avel numa vizinhan ca do ponto z
0
.
f Holomorfa em A
def
f e holomorfa em todos os pontos de A (como A e um conjunto aberto,
equivale a armar que f e deriv avel em todos os pontos de A).
NOTA: Existe uma grande divergencia de nomenclatura acerca deste conceito, entre os varios
autores que o apresentam. Para alguns, na deni c ao de Holomorfa exigem ainda que a derivada
seja contnua. O termo Analtica surge muitas vezes na vez de Holomorfa. Outros designam
por fun c ao Analtica uma fun c ao desenvolvvel em serie de potencias. Todos estes conceitos
acabam por ser equivalentes como veremos. Por exemplo, se a derivada existe em cada ponto
de A veremos que a derivada sera necessariamente contnua.
2.3 Determinacao de func oes Holomorfas. Func oes Harm onicas.
Seja f : A C, A aberto conexo de C.
f(z) = f(x + iy) = u(x, y) + iv(x, y)
Se f(z) e holomorfa em A, tem-se
u
x
=
v
y
e
u
y
=
v
x
Suponha-se que u e v admitem derivadas de segunda ordem contnuas. Derivando a primeira
equa c ao em ordem a x, a segunda equa c ao em ordem a y e somando membro a membro as
equa c oes obtidas vem:
2
u
x
2
+

2
u
y
2
= 0 e

2
v
x
2
+

2
v
y
2
= 0
ou seja, os Laplacianos das fun c oes u e v s ao nulos.
u e v dizem-se fun c oes Harmonicas.
Inversamente, se u e harmonica (real) num conjunto convexo , existe uma outra fun c ao
harmonica (real), v, denida no mesmo conjunto tal que f = u(x, y) + iv(x, y) e holomorfa
em . (Na verdade basta que tal conjunto seja simplesmente conexo. A deni c ao deste conceito
sera apresentada em breve).
Neste caso, v diz-se conjugada de u e ca denida a menos de uma constante.
v :
v
x
=
u
y
= v(x, y) =
_
x
x
0
u
y
+ C(y)
v
y
=
u
x
Exemplos
u(x, y) = x
2
y
2
u
x
= 2x e
u
y
= 2y.
Portanto

2
u
x
2
+

2
u
y
2
= 0.
u e uma fun c ao harmonica, denida em R
2
, convexo.
v, conjugada de u:
v
x
= 2y = v(x, y) = 2xy + C(y)
v
y
= 2x
Derivando a express ao obtida para v(x, y), vem:
v
y
= 2x + C
(y). Comparando esta ex-

press ao com a express ao dada para
v
y
, resulta C
(y) = 0. Portanto, C(y) = c, constante.

Assim v(x, y) = 2xy + c, e
f(z) = (x
2
y
2
) + i(2xy + c)
e uma fun c ao holomorfa, para cada valor da contante c.
(Import ancia do domnio de deni c ao)
u(x, y) = ln(x
2
+ y
2
) = R
2
\ {(0, 0)}
n ao e convexo (tambem n ao e simplesmente conexo)
u
x
=
2x
x
2
+ y
2
u
y
=
2y
x
2
+ y
2
ent ao,
2
u
x
2
+

2
u
y
2
=
2(x
2
+ y
2
) 4x
2
(x
2
+ y
2
)
2
+
2(x
2
+ y
2
) 4y
2
(x
2
+ y
2
)
2
= 0
A fun c ao u e harmonica mas o conjunto n ao e convexo nem simplesmente conexo. O
que falhara na existencia de v, conjugada de u? Tentemos determinar v:
v :
v
x
=
2y
x
2
+ y
2
v(x, y) = 2 arctan
x
y
+ C(y)
v
y
=
2x
x
2
+ y
2
Derivando a express ao obtida, por integra c ao, para v(x, y) com a ja disponvel, podemos
concluir que C(y) = c, constante. Portanto v(x, y) = 2 arctan
x
y
+ c. Esta fun c ao n ao
esta denida em como o pretendido. N ao e de facto uma conjugada de u nesse conjunto.
Quest ao: Encontrar todas as fun c oes holomorfas cuja parte real depende apenas de x.
Pretende-se que u(x, y) dependa apenas de x. Como a fun c ao pedida e holomorfa, a sua
componente real sera harmonica, e portanto:
2
u
x
2
+

2
u
y
2
= 0

2
u
x
2
= 0 u(x, y) = ax + b, a, b R
e a componente imaginaria tera ent ao de satisfazer:
v :
v
x
= 0
v
y
= a
Daqui resulta que v(x, y) = ay + c, c constante real. As fun c oes holomorfas pretendidas
ser ao ent ao:
f(z) = ax + b + i(ay + c) a, b, c R
= a(x + iy) + b + ic
= az + D D C
Solu c ao: f(z) = az + D a R D C
3 Integracao Complexa
3.1 Caminhos e lacetes
Im
Re
g
.
.
g(b)
g(a)
g(t)
.
g(t)
a
b
t
Caminho
def
aplica c ao contnua, : I = [a, b] C, de um intervalo fechado I, n ao reduzido
a um ponto, tomando valores em C, continuamente derivavel por bocados.
Muitas vezes o termo caminho e usado designando n ao a fun c ao em si, tal como foi denido,
mas a imagem da fun c ao no plano complexo. Na verdade, e possvel denir diferentes fun c oes
com a mesma imagem. Para muitas aplica c oes praticas tal

confus ao

n ao tem consequencias.
Embora usando diferentes fun c oes para representar uma mesma imagem, os resultados n ao se
alteram.
Exemplos
Circunferencia centrada na origem, de raio 1:
: [0, 1] C
t e
2 it
Im
Re
g
.
0 1 1
g(0) = g(1) = 1
Segmento de recta unindo 2 pontos do plano complexo:
: [0, 1] C
t z
0
+ t(z
1
z
0
)
Im
Re
g
0 1
g(0) = z
0
g(1) = z
1
z
0
z
1
.
.
Segmento de recta unindo 2 pontos do plano complexo, percorrido nos dois sentidos:
: [0, 2] C
t z
0
+ t(z
1
z
0
) 0 t 1
t z
1
+ (t 1)(z
0
z
1
) 1 t 2
Im
Re
g
0 1
z
0
= g(0) = g(2)
z
1
= g(1)
.
.
2
As seguintes deni c oes associadas a um caminho surgem naturalmente:
(a) origem do caminho
(b) extremidade do caminho
Um caminho : I = [a, b] C, com (a) = (b) diz-se um lacete.
Lacete de origem (a), neste caso.
Lacete simples: lacete sem intersec c oes, excepto origem e extremidade do lacete.
Exemplo:
Lacete constante
: I C
t z
0
Se
1
: [a, b] C e
2
: [c, d] C s ao caminhos que satisfazem
2
(c) =
1
(b), ou seja, a
origem de
2
coincide com a extremidade de
1
, chama-se justaposi c ao de
1
e
2
, e escreve-se
1

2
, ao caminho:
: [a, d + b c] C
t
1
(t) a t b
t
2
(t b + c) b t b c + d
Nota: b t b c + d c t b + c d
A imagem do caminho
1

2
sera a reuni ao das imagens de
1
e
2
.
A origem de
1

2
sera a origem de
1
e a sua extremidade sera a extremidade de
2
.
Im
Re
g
1
a b
. .
c
d
b+d-c .
. .
g
2
t
1
t
2
g
1
(a)
g
1
(t
1
)
g
1
(b) = g
2
(c)
g
2
(t
2
)
g
2
(d)
Comprimento de um caminho
: [a, b] C
Im
Re
g
a
g(a)
.
.
b t
0
=
t
3
. . . t
2
t
1
t
n
=
.
.
.
g(t
1
)
g(t
2
)
g(t
3
)
L() = sup
a=t
0
<t
1
<<t
n
=b
j
|(t
j
) (t
j1
)| =
_
b
a
(t) dt
Para uma curva qualquer caso exista o supremo, a curva diz-se recticavel. Como um caminho
tem, por deni c ao, derivada contnua por bocados, este supremo existe sempre.
Comprimento do caminho = L()
3.2 Integracao ao longo de um caminho
Seja : I = [a, b] C um caminho.
Seja f, fun c ao complexa, contnua em (I).
Ent ao t f((t)).
(t) e uma fun c ao contnua por bocados em I e e, portanto, integravel.

Im
Re
g
.
.
f(g(b))
f(g(a))
a
b
Im
Re
.
.
g(b)
g(a)
f
Deni cao 3.1 O integral de f ao longo de e o n umero complexo:
_
f dz =
_
b
a
f((t)).
(t) dt
A fun c ao integranda, no segundo integral, e uma fun c ao de variavel real que toma valores
complexos. O integral de uma fun c ao deste tipo e calculado como a soma dos integrais da parte
real e da parte imaginaria, ou seja:
Se g(t) = g
1
(t) + i g
2
(t), com g
1
(t), g
2
(t) R
_
b
a
g(t) dt =
_
b
a
g
1
(t) dt + i
_
b
a
g
2
(t) dt
Exemplos
_
2
0
e
2it
dt =
_
2
0
cos 2t + i sin2t dt = [
1
2
sin2t]
2
0
+ i [
1
2
cos 2t]
2
0
= 0
(t) = e
it
0 t 2 f(z) = z
2
_
f =
_
2
0
(cos t + i sint)
2
(sint + i cos t) dt
=
_
2
0
(cos 2t + i sin2t)i(cos t + i sint) dt
=
_
2
0
(sin3t + i cos 3t) dt
= [
1
3
cos 3t]
2
0
+ i [
1
3
sin3t]
2
0
= 0
Propriedades do integral
Se |f(z)| M z (I) e L = L() e o comprimento do caminho :
f(z) dz
ML
Se =
1

2
, ou seja, e a justaposi c ao dos caminhos
1
e
2
,
_
f(z) dz =
_
1
f(z) dz +
_
2
f(z) dz
Se
1
oposto de
2
, ent ao:
_
1
f(z) dz =
_
2
f(z) dz
Dizer que
1
: [a, b] C e o oposto de
2
: [a, b] C e armar que
1
(t) =
2
(a + b t).
Im
Re
g
1
.
.
g
1
(b) = g
2
(a)
g
1
(a) = g
2
(b)
a
b
t
g
2
g
1
g
2
Deniu-se
_
f(z) dz, integral de f ao longo do caminho . Sera possvel denir um integral

do tipo
_
z
1
z
0
f(z) dz ?
Em que sentido?
Seja f uma fun c ao contnua denida num conjunto aberto, conexo, D e suponhamos que existe
uma primitiva de f em D, ou seja, existe uma fun c ao F, holomorfa em D, tal que,
F
(z) = f(z) z D
Neste caso,
_
f(z) dz =
_
b
a
f((t)).
(t) dt =
_
b
a
(F )
(t) dt
= (F )(b) (F )(a) (Verique!)
= F((b)) F((a)) = F(z
1
) F(z
0
)
O integral seria apenas dependente da origem e extremidade do caminho.
Assim, se : [c, d] C e outro caminho que satisfaz (c) = (a) = z
0
e (d) = (b) = z
1
,
teramos
_
f(z) dz =
_
f(z) dz = F(z
1
) F(z
0
).
Neste caso, teria sentido denir:
_
z
1
z
0
f(z) dz =
_
f(z) dz = F(z
1
) F(z
0
)
onde , e um caminho qualquer que satisfaz (a) = z
0
, (b) = z
1
Em particular, se e um lacete,
_
f(z) dz = F((b)) F((a)) = 0

Contrariamente ao que se poderia prever, uma fun c ao contnua n ao admite necessariamente uma
primitiva. Veriquemos tal arma c ao atraves da analise do seguinte integral:
f(z) =
1
z
contnua em C \ {0}
(t) = e
it
, 0 t 2, lacete ([0, 2]) C \ {0}.
_
f(z) dz =
_
2
0
1
cos t + i sint
. (sint + i cos t) dt
=
_
2
0
i (cos t + i sint)
cos t + i sint
dt = 2 i
Se f(z) = 1/z admitisse uma primitiva em C \ {0}, o integral calculado seria nulo.
Doravante concentraremos a nossa aten c ao fundamentalmente em fun c oes holomorfas. O re-
sultado que apresentamos de seguida e ja estabelecido para fun c oes deste tipo e dene uma
condi c ao necessaria e suciente para que uma fun c ao complexa admita uma primitiva.
Teorema 3.1 Seja D um conjunto aberto e conexo. Para que uma fun c ao f, holomorfa em D,
admita uma primitiva em D, e necess ario e suciente que para todo o lacete contido em D
( (t) D, t), se tenha,
_
f(z) dz = 0
Neste caso, toda a primitiva F de f em D pode obter-se da forma seguinte:
F(z) = c +
_
(z)
f(u) du
onde (z) e um caminho qualquer contido em D, de origem um ponto xo, arbitr ario, z
0
D e
de extremidade z.
A diferen ca entre duas primitivas de f e uma constante.
Embora este resultado caracterize o tipo de fun c oes com primitivas, tal caracteriza c ao n ao e
nada pratica para verica c ao. Vericar que o integral da fun c ao ao longo de todo o lacete e
nulo, e tarefa ardua! Fun c oes com primitivas podem ser mais facilmente caracterizadas atraves
do Teorema de Cauchy. Antes de o apresentarmos, e porque tal resultado necessita disso, vamos
estudar um novo conceito de caractersticas essencialmente geometricas.
3.3 Homotepias de Lacetes
Considerem-se dois lacetes e denidos no mesmo intervalo inicial [a, b].
j(I)
Im
Re
g(I)
j(I)
Im
Re
g(I)
Imagine-se o lacete a deslocar-se no plano complexo, como um todo, continuamente, de forma
a no nal coincidir com passando por uma

deforma c ao contnua
e mantendo sempre a sua

condi c ao de lacete.
Im
Re
g(I)
j(I)
(lacete (I), deslocando-se continuamente ate coincidir com (I) sem abandonar a sua condi c ao
de lacete, ou seja, qualquer posi c ao intermedia ainda e um lacete.)
Se no entanto considerarmos o domnio C\ {i} a passagem de a sem

saltos
ou seja, sem
descontinuidades, obriga à passagem por um ponto que n ao pertence ao domnio: i.
Im
Re
g
i
j
Traduzimos a possibilidade de, por deforma c ao contnua, podermos

passar
de um lacete a
um lacete num determinado domnio, D, dizendo que e homot opico, como lacete, de , no
conjunto D.
Esta ideia geometrica pode ser caracterizada de forma precisa:
Deni cao 3.2 Seja A C, A aberto, e
1
: I C,
2
: I C dois lacetes contidos em A
(
1
(t) A e
2
(t) A, t I).
Chama-se Homotepia de lacetes de
1
a
2
em A, a uma aplica c ao contnua:
H : I J A
onde J = [c, d] e um intervalo de R tal que:
(i) H(t, c) =
1
(t)
(ii) H(t, d) =
2
(t) t I
(iii) H(a, s) = H(b, s) s J
Neste caso, diz-se que o lacete
2
e homot opico como lacete de
1
.
NOTA: Interpretando J como um intervalo de tempo, condi c oes (i), (ii) e (iii) signicam re-
spectivamente que, no instante inicial s = c a imagem de H e
1
(t), no instante nal e
2
(t) e
em cada instante s
0
J, xo, a imagem de H e ainda um lacete, ou seja
s
0
(a) =
s
0
(b).
Exemplos
A = C
1
(t) = e
2it
2
(t) = 2e
2it
I = [0, 1]
Im
Re
g
1
g
2
Neste caso
2
e homotopico de
1
e podemos denir a homotepia:
H(t, s) = se
2it
t I, s J = [1, 2]
A Homotepia de lacetes em A e uma rela c ao de equivalencia, ou seja:
Qualquer lacete e homotopico de si mesmo.

2
homotopico de
1

1
homotopico de
2

3
homotopico de
2
e
2
homotopico de
1

3
homotopico de
1
A segunda propriedade permite-nos simplicar a linguagem dizendo apenas,

e s ao ho-
motopicos como lacetes

sem estar a explicitar quem e homotopico de quem. Torna-se indifer-
ente, uma vez que se o primeiro e homotopico do segundo, tambem o segundo sera homotopico
do primeiro.
Exemplo:
Im
Re
g
.
g(t) = e
2pit
(t) = e
2it
t [0, 1]
O lacete (I) pode ser deformado continuamente, de maneira a que no nal se obtenha um
lacete reduzido a um ponto, a origem. Homotepia:
H(t, s) = (1 s)e
2it
t I = [0, 1], s J = [0, 1]
s = 1 H(t, 1) = 0.e
2it
= 0, t.
Diz-se que um lacete contido em A e homotopico a um ponto, em A, se e homotopico como
lacete, em A, a um lacete constante.
Exemplo:
Im
Re
g(I)
z
0
.
A = C \ {0}
O lacete (I) n ao e homotopico, como lacete, a z
0
, em A. A deforma c ao contnua de (I),
necessaria para se reduzir a esse ponto, obriga à passagem pelo ponto 0 que n ao esta em A.
Deni cao 3.3 Um conjunto aberto conexo A C e simplesmente conexo se todo o lacete em
A e homot opico a um ponto de A.
( O interior de qualquer lacete simples em A ainda est a em A.)
Exemplos
Conjuntos simplesmente conexos:
C; {z : |z| < 1}; C \ {z C : z = x, x R
0
}
Conjuntos n ao simplesmente conexos:
C \ {0}; C \ {0, i}; {z : 1 < |z| < 4}
Teorema 3.2 (Teorema de Cauchy) Seja A C, um conjunto aberto conexo.
Seja f uma fun c ao holomorfa em A.
Se
1
e
2
s ao dois lacetes contidos em A e homot opicos como lacetes em A, ent ao:
_
1
f(z) dz =
_
2
f(z) dz
Em particular, se A e simplesmente conexo, para todo o lacete contido em A tem-se:
_
f(z) dz = 0
Considerando o que foi dito acerca da existencia de primitivas de uma fun c ao holomorfa (ver
Teorema 3.1), podemos concluir:
Toda a fun c ao holomorfa, denida num conjunto simplesmente conexo,
admite uma primitiva
O teorema de Cauchy permite ainda, em muitas situa c oes, simplicar o calculo do integral, como
o exemplo seguinte demonstra.
Exemplo:
Calcular
_
1
z
dz, onde e o quadrado de vertices 1 + i, 1 i, 1 i, 1 + i, orientado no
sentido directo (contrario aos ponteiros do relogio).
Im
Re
i
- i
j
g
1 - 1
(t) = e
2it
t [0, 1]
(t) = 2i e
2it
O lacete e a justaposi c ao dos caminhos que constituem os 4 lados do quadrado. Para calcular
o integral pretendido, poderamos determinar os integrais ao longo de cada um destes caminhos
e somar os resultados obtidos. Denir 4 caminhos, calcular 4 integrais e somar. Todo este
trabalho pode ser evitado, aplicando o Teorema de Cauchy nos seguintes termos:
Considere-se a circunferencia centrada na origem, raio 1 e orientada no sentido positivo. A
fun c ao integranda f(z) = 1/z e holomorfa no conjunto aberto e conexo C\ {0}. Os lacetes, e
a circunferencia, est ao contidos e s ao homotopicos como lacetes neste conjunto. Portanto, pelo
Teorema de Cauchy:
_
1
z
dz =
_
1
z
dz
=
_
1
0
(t)
(t)
dt
=
_
1
0
2i dt = 2i
Teorema 3.3 (F ormula de Cauchy) A, aberto conexo de C. f : A C, holomorfa
, lacete simples, orientado positivamente, contido em A e cujo interior ainda est a em A.
Ent ao,
z interior f(z) =
1
2i
_
f(u)
u z
du
z exterior 0 =
1
2i
_
f(u)
u z
du
.
Im
Re
g
A
z
Desta forma, conhecendo os valores que a fun c ao toma sobre , posso determinar o valor de f
em qualquer ponto interior a .
Exemplos
Determine o valor do integral:
_
|z+i|=3
sinz
z + i
dz =
_
|z+i|=3
sinz
z (i)
dz
Im
Re
.
- i
f(z) = sinz e holomorfa em C.
|z + i| = 3, lacete, contem i no seu interior.
Se considerarmos o lacete percorrido em sentido positivo vem, pela formula de Cauchy:
_
|z+i|=3
sinz
z (i)
dz = 2i sin(i) = 2i
e e
1
2i
Resolva o integral:
_
|z|=2
1
z
2
+ 1
dz =
_
|z|=2
1
z i
1
z + i
dz
Im
Re
.
- i
.
i
- 2
2
f(z) =
1
z i
_
|z|=2
1
zi
z + i
dz
A fun c ao f(z) =
1
z i
e holomorfa em A = C \ {i}.
|z| = 2, lacete contido em A, mas o seu interior n ao esta a contido.
N ao podemos aplicar a formula de Cauchy. Situa c ao analoga ocorreria se tomassemos
f(z) =
1
z + i
Mas,
1
z
2
+ 1
=
1
2i
z i

1
2i
z + i
Assim,
_
|z|=2
1
z
2
+ 1
dz =
1
2i
_
|z|=2
1
z i
dz
1
2i
_
|z|=2
1
z + i
dz
=
1
2i
2i.1
1
2i
2i.1 = 0
Exerccio:
Calcular o Integral
_
e
z
z(1 z)
dz, nos seguintes casos:
(i) : |z| =
1
2
(ii) : |z 1| =
1
2
(iii) : |z| =
3
2
Demonstra cao. [Formula de Cauchy]
Seja z Interior , : I A
e g(u) =
f(u)
u z
A fun c ao g e holomorfa em A\ {z}, pois e o quociente de fun c oes holomorfas e neste conjunto
o denominador nunca se anula.
Seja
a circunferencia de centro z e raio , sucientemente pequeno de forma a que:

D
(z) Interior (I)

(possvel, uma vez que (I), imagem por uma fun c ao contnua de um conjunto fechado e limitado,
e tambem um conjunto fechado, logo o seu complementar e um aberto.)
.
z
e
g
A
Uma vez que e
s ao homotopicos em A\ {z}, tem-se:

_
g(u) du =
_
g(u) du
_
f(u)
u z
du =
_
f(u)
u z
du (3)
Mas,
_
f(u)
u z
du =
_
f(u) f(z)
u z
du + f(z)
_
1
u z
du (4)
Vamos vericar que
_
f(u)
u z
du = 2if(z), o que, em virtude da equa c ao (3), dara o
resultado pretendido.
Para isso, estudemos cada um dos integrais da equa c ao (4):
_
1
u z
du =
_
2
0
ie
it
e
it
dt = 2i
: [0, 2] C
t z + e
it
Podemos ent ao armar ja, que:
_
f(u)
u z
du = 2if(z) +
_
f(u) f(z)
u z
du (5)
O integral do primeiro membro n ao depende de e no segundo membro a express ao 2if(z)
tambem n ao. Podemos concluir que o integral no segundo membro e tambem independente de
, ou seja, e constante em rela c ao a . Quando se passa ao limite uma fun c ao constante ainda
se obtem a constante.
Vejamos qual o limite: lim
0
_
f(u) f(z)
u z
du
f holomorfa em A = lim
uz
f(u) f(z)
u z
= f
(z)
Assim, a fun c ao
u
f(u) f(z)
u z
u = z
z f
(z)
e contnua em A e e, portanto, limitada em qualquer conjunto fechado e limitado, contido em
A. Podemos ent ao concluir que em particular, existe uma constante M para a qual
f(u) f(z)
u z
M u D
(z) \ {z}
=
f(u) f(z)
u z
du
ML = M2 L = comprimento de
= lim
0
_
f(u) f(z)
u z
du = 0
e, atendendo à equa c ao (5),
=
_
f(u)
u z
du = 2if(z) = f(z) =
1
2i
_
f(u)
u z
du
Se z Exterior , a fun c ao
f(u)
u z
(na variavel u), e holomorfa num conjunto aberto e conexo
que n ao contem z. No mesmo conjunto, e homotopico a um ponto. Ent ao:
_
f(u)
u z
du = 0
.
z
g
A
A formula de Cauchy pode ser generalizada, de forma a incluir ainda as derivadas da fun c ao,
expressas tambem em termos de um integral ao longo de um lacete. Tal generaliza c ao vai
permitir, como aplica c ao directa, calcular de forma simples uma maior gama de integrais.
Antes disso, apresentamos um resultado que caracteriza fun c oes denidas por meio de um inte-
gral.
Teorema 3.4 Seja : I = [b, c] C, um caminho em C e seja g : (I) C, uma fun c ao
denida e contnua em (I).
Ent ao, a fun c ao
f(z) =
1
2i
_
g(u)
u z
du
est a denida e e indenidamente deriv avel em C \ (I), com
f
(n)
(z) =
n!
2i
_
g(u)
(u z)
n+1
du
A fun c ao g e suposta ser apenas contnua em (I), caminho. Se no entanto, g e holomorfa
num aberto conexo A, e um lacete simples, contido em A, cujo interior ainda esta em A
e z Interior (I), estamos perante condi c oes na presen ca das quais a Formula de Cauchy
se aplica, e podemos armar que g e f coincidem. O seguinte resultado considera exactamente
este caso particular.
Teorema 3.5 (Generaliza cao da f ormula de Cauchy)
A, aberto conexo de C.
f : A C, holomorfa.
Ent ao, f tem derivadas de todas as ordens em A que s ao tambem holomorfas. As derivadas,
num ponto z A, s ao dadas por:
f
(n)
(z) =
n!
2i
_
f(u)
(u z)
n+1
du
onde e um lacete simples, orientado positivamente, contido em A, cujo interior ainda est a
em A e que contem z no seu interior.
.
z
g
A
NOTA:

E de salientar aqui o seguinte facto:
A Formula de Cauchy e estabelecida para fun c oes apenas holomorfas em conjuntos abertos e
conexos. Ou seja, exige so a derivabilidade da fun c ao. E conclui acerca da existencia de derivadas
de qualquer ordem.
Conclus ao:
Qualquer fun c ao complexa, denida num aberto conexo,
e derivavel nesse conjunto,
admite derivadas de todas as ordens no mesmo conjunto
Exemplo
Determine o valor do integral:
_
|z|=2
sin(2z)
(z i)
3
dz
Im
Re
.
i
- 2
2
2 i
f(z) = sin(2z) e holomorfa em C.
|z| = 2, lacete, contem i no seu interior.
Se considerarmos o lacete percorrido em sentido positivo vem, pela generaliza c ao da formula de
Cauchy:
_
|z|=2
sin(2z)
(z i)
3
dz =
2i
2!
f
(i)
= i
_
(2)
2
sin(2z)
|
z=i
= 4
3
i
e
2
e
2
2i
= 4
3
sinh2
onde sinhz = (e
z
e
z
)/2.
Exerccio:
Calcular o Integral
_
e
z
z(1 z)
3
dz, nos seguintes casos:
(i) : |z| =
1
2
(ii) : |z 1| =
1
2
(iii) : |z| =
3
2
Demonstra cao. [ Teorema 3.4 ]
Este Teorema pode ser demonstrado pelo metodo de Indu c ao Matematica.
Para n = 1, vejamos que f(z) e derivavel e a derivada num ponto z
0
C \ (I) e dada por:
f
(z
0
) =
1
2i
_
g(u)
(u z
0
)
2
du
Para isso, fa camos o seguinte desenvolvimento:
f(z) f(z
0
)
z z
0
1
2i
_
g(u)
(u z
0
)
2
du = (6)
=
1
z z
0
1
2i
_ _
g(u)
u z
du
_
g(u)
u z
0
du
_

1
2i
_
g(u)
(u z
0
)
2
du
=
1
2i
_
g(u)
_
1
z z
0
_
1
u z

1
u z
0
_
1
(u z
0
)
2
_
du
=
1
2i
_
g(u)
z z
0
(u z
0
)
2
(u z)
du
Sendo contnua, g e limitada em (I) (porque este conjunto e fechado e limitado).
Seja M: |g| M u (I).
Dena-se = d(z
0
, (I)) > 0
.
.
.
d
z
0
g(b)
g(c)
= inf
u(I)
d(z
0
, u)
= inf
u(I)
|z
0
u|
|z
0
u| u (I).
Logo,
1
(|z
0
u|)
2

1
2
Considere-se z tal que |z z
0
|

2
. Como pretendo vericar que a express ao (6) tende para 0
quando z z
0
, posso considerar apenas valores z proximos de z
0
. Assim,
|u z| = |u z
0
+ z
0
z| |u z
0
| |z z
0
| /2 = /2
=
1
|u z|

2
Voltando ao desenvolvimento da express ao (6), tem-se
f(z) f(z
0
)
z z
0
1
2i
_
g(u)
(u z
0
)
2
du
1
2i
_
g(u)
z z
0
(u z
0
)
2
(u z)
du
|z z
0
|
2
M
1
2
2
L
=
LM
3
|z z
0
| 0, quando z z
0
Posso concluir ent ao que,
lim
zz
0
f(z) f(z
0
)
z z
0
1
2i
_
g(u)
(u z
0
)
2
du
= 0
lim
zz
0
f(z) f(z
0
)
z z
0
=
1
2i
_
g(u)
(u z
0
)
2
du
Fica assim provado que, para n = 1, a derivada de primeira ordem da fun c ao f(z) existe e toma
a express ao apresentada no Teorema para este caso.
A demonstra c ao prossegue, supondo agora que para n = k a derivada existe e a sua express ao
toma a forma:
f
(k)
(z) =
k!
2i
_
g(u)
(u z)
k+1
du
(Hipotese de Indu c ao)
e provando que
f
(k+1)
(z) =
(k + 1)!
2i
_
g(u)
(u z)
k+2
du
(Tese de Indu c ao)
Esta parte da demonstra c ao cara como exerccio.
Exemplo
Sejam,
: [0, 2] C, (t) = e
it
e g(z) = (3/2)z + 1/(2z)
A fun c ao g e contnua em C \ (I). N ao e, no entanto, holomorfa no interior do lacete.
Vejamos qual a express ao da fun c ao f, neste caso:
f(z) =
1
2i
_
g(u)
u z
du =
1
2i
_
3
2
u +
1
2u
u z
du
=
1
2i
_
3
2
_
u
u z
du +
1
2
_
1
u(u z)
du
_
Se z Interior (I), aplicando a formula de Cauchy, vem:
_
u
u z
du = 2iz
_
1
u(u z)
du =
_
1
z
__
1
u
du
_
1
u z
du
_
=
1
z
2i(1 1) = 0 se z = 0
_
1
u
2
du = 0 se z = 0
e portanto f(z) =
1
2i
(3zi + 0) =
3
2
z.
Se z Exterior (I),
_
u
(u z)
du = 0
_
1
u(u z)
du =
1
z
__
1
u
du
_
1
u z
du
_
=
1
z
2i + 0
e portanto f(z) =
1
2i
_
0 +
1
2
_
1
z
2i
__
=
1
2z
Conclus ao:
f(z) =
_
_
3
2
z se |z| < 1
1
2z
se |z| > 1
Consequencias da F ormula de Cauchy
Teorema 3.6 (Teorema de Liouville) Se f(z) e holomorfa em C e limitada, isto e,
M > 0 |f(z)| < M z C
ent ao f e constante.
Demonstra cao.
Sejam a C, R > 0 e o crculo de raio R, centrado em a.
Im
Re
a
. R
Da generaliza c ao da formula de Cauchy, resulta
f
(a) =
1
2i
_
f(z)
(z a)
2
dz
= |f
(a)|
1
2
M
R
2
2R =
M
R
R e qualquer n umero real maior que 0. Como f e holomorfa em todo o plano complexo, a
equa c ao e inequa c ao s ao validas para todo R > 0. Aplicando limites, quando R , resulta:
|f
(a)| 0 = f
(a) = 0
Como a era qualquer elemento de C,
f
(a) = 0 a C = f constante
(f
(a) = 0, a C = componentes real e imaginaria, u(x, y) e v(x, y), de f, tem derivadas

parciais nulas. Assim, tais componentes ter ao de ser constantes e portanto f e constante.)
Exerccio Mostre que as fun c oes complexas e
z
, cos z e sinz n ao s ao fun c oes limitadas no
plano complexo.
Teorema 3.7 (Teorema da Media) f holomorfa em A C, A, aberto e conexo.
Seja a A e {z C : |z a| R}, um disco fechado, centrado em a e contido em A.
Ent ao,
1
2
_
2
0
f(a + Re
i
) d = f(a)
(isto e, o valor de uma fun c ao holomorfa num ponto, e a

media
dos valores da fun c ao sobre

uma circunferencia centrada nesse ponto.)
Demonstra cao.
1
2
_
2
0
f(a + Re
i
) d =
1
2i
_
f(z)
z a
dz = f(a)
onde : [0, 2] C, () = a + Re
i
.
Teorema 3.8 (Serie de Taylor)
f holomorfa em A C, aberto e conexo.
Seja z
0
A e R : {z : |z z
0
| R} = D
R
(z
0
) A.
Ent ao,
{c
n
}
nN
: z B
R
(z
0
) f(z) =
n=0
c
n
(z z
0
)
n
isto e, f e desenvolvvel em serie de potencias em torno do ponto z = z
0
.
Alem disso,
c
n
=
1
2i
_
|zz
0
|=R
f()
( z
0
)
n+1
d
O raio de convergencia desta serie e igual ` a dist ancia de z
0
` a singularidade mais pr oxima.
A generaliza c ao da formula de Cauchy permite-nos expressar os coecientes c
n
, denidos neste
resultado, como: f
(n)
(z
0
)/n!.
Em quest ao :
Series de n umeros complexos. Singularidades.
Vai ser este o proximo tema de conversa.
4 Series
4.1 Series de N umeros Complexos
n=1
a
n
(a
n
)
n=1,2,3,...
, sucess ao de n umeros complexos, designa-se por sucess ao geradora da serie.
S
n
=
n
k=1
a
k
, Sucess ao das somas parciais da serie.
A serie diz-se convergente se for convergente a sucess ao das somas parciais. Neste caso, a
soma da serie sera lim
n
S
n
.
Uma serie de n umeros complexos diz-se divergente, se n ao for convergente, ou seja, se for diver-
gente a sua sucess ao das somas parciais.
Quando se deniu a convergencia de uma sucess ao de n umeros complexos, vericou-se que tal
convergencia era equivalente à convergencia das sucess oes componentes, real e imaginaria, da
sucess ao original. Uma vez que a convergencia de uma serie corresponde à convergencia de uma
determinada sucess ao, sucess ao das somas parciais, o seguinte resultado e facilmente deduzido.
(Verique!)
n=1
a
n
=
n=1
(x
n
+ iy
n
) e convergente
s ao convergentes as sucess oes de termos reais
n=1
x
n
e
n=1
y
n
4.2 Testes para Convergencia e Divergencia de Series
O ultimo resultado apresentado permite reduzir o estudo de series de n umeros complexos ao
estudo de series de n umeros reais. No entanto nem sempre e facil decompor uma sucess ao com-
plexa nas suas componentes, real e imaginaria. Por exemplo, (1 +2i)
n
. Testes de convergencia
para series de n umeros complexos tornam-se assim uteis.
Os resultados apresentados em seguida s ao generaliza c oes dos ja conhecidos para series de
n umeros reais. As demonstra c oes s ao analogas ou facilmente deduzidas dessas.
Teorema 4.1 A sucess ao geradora de uma serie convergente e uma sucess ao convergente para
zero.
n=1
a
n
convergente = a
n
0
Exemplos
n=1
_
n
2
+ i
1
n
_
Serie divergente. De facto, a
n
= n
2
+ i
1
n
n ao e convergente para 0.
n=1
_
1
n
+ i
1
n
2
_
Serie divergente. Apesar de a
n
=
1
n
+ i
1
n
2
ser uma sucess ao convergente para 0, a serie
n=1
1
n
, serie harmonica real, n ao e convergente. A condi c ao a
n
0, e apenas
necessaria. N ao e suciente.
Teorema 4.2 A serie
n=1
a
n
e convergente se e s o se a sucess ao das somas parciais e uma
sucess ao de Cauchy, ou seja,
> 0 N N : n > N p N |S
n+p
S
n
| = |a
n+1
+ + a
n+p
| <
Serie absolutamente convergente
A serie
n=1
a
n
diz-se abolutamente convergente se for convergente a serie de termos reais n ao
negativos
n=1
|a
n
|.
Teorema 4.3 Se uma serie e absolutamente convergente ent ao e convergente
Exemplos
n=1
__
1
4
_
n
+ i
_
1
4
_
n
_
Serie convergente.
n=1
_
1
4
_
n
+ i
_
1
4
_
n
n=1
2
_
1
4
_
n
que e convergente (geometrica, de raz ao
1
4
).
n=1
i
n
n
Serie convergente.
n=1
i
n
n
= i
1
2

i
3
+
1
4
+
i
5
=
n=1
_
(1)
n
1
2n
+ i(1)
n+1
1
2n 1
_
As series de termos reais :
n=1
(1)
n
1
2n
e
n=1
(1)
n+1
1
2n 1
s ao convergentes e portanto
a serie e convergente. No entanto n ao e absolutamente convergente:
n=1
i
n
n
n=1
1
n
divergente
Absolutamente convergente e uma condi c ao suciente, n ao necessaria.
Teorema 4.4 ( Teste de Compara cao )
n=1
a
n
serie de termos complexos.
Seja
n=1
b
n
uma serie de termos reais n ao negativos, convergente e tal que
|a
n
| b
n
n = 1, 2,
Ent ao,
n=1
a
n
e absolutamente convergente. (e portanto, simplesmente convergente)
Exemplo:
n=1
1
(2n + i)
n
Serie convergente. De facto,
1
(2n + i)
n
=
1
|2n + i|
n
=
1
(
4n
2
+ 1)
n

_
1
2
_
n
e
n=1
_
1
2
_
n
=
1
2
1
1
2
= 1 serie real, geometrica, de raz ao
1
2
.
Teorema 4.5 ( Series Geometricas ) A serie geometrica
n=0
q
n
= 1 + q + q
2
+ q
3
+ q
4
+
converge se |q| < 1 e diverge se |q| 1. Se |q| < 1 , a soma da serie e
1
1 q
.
Exemplo:
n=0
_
1 + i
2
_
n
Serie convergente, com soma 1 + i.
q =
1 + i
2
; |q| =
1
2
2 =
2
2
< 1 ; soma =
1
1
1+i
2
= 1 + i
Teorema 4.6 ( Teste do Quociente ) Se a serie
n=1
a
n
, com a
n
= 0 n, e tal que
lim
n
a
n+1
a
n
= L
pode armar-se o seguinte:
(a) L < 1 =
n=1
a
n
converge absolutamente.
(b) L > 1 ou L = =
n=1
a
n
diverge.
Exemplos
n=1
n
(1 + i)
n
3
n
Serie convergente.
n=1
(2i)
n
n!
n
n
Serie convergente.
n=1
i
n
n
Teste n ao conclusivo. A serie e de facto convergente, como foi ja vericado utilizando
outro teste.
Teorema 4.7 ( Teste da Raz ) Considere-se a serie
n=1
a
n
e suponha-se,
lim
n
n
_
|a
n
| = L
Pode ent ao armar-se o seguinte:
(a) L < 1 =
n=1
a
n
converge absolutamente.
(b) L > 1 ou L = =
n=1
a
n
diverge.
Exemplos
n=1
_
i
n
_
n
Serie convergente.
n=1
_
1 + in
n
_
n
Serie divergente.
n=1
_
1 +
i
n
_
n
Teste n ao conclusivo. A serie e de facto divergente, como pode ser vericado atraves doutro
teste.
Dadas duas series de n umeros complexos,
n=1
a
n
e
n=1
b
n
, dene-se o
Produto de Cauchy das referidas series como sendo a serie
n=1
c
n
, onde
c
n
= a
1
b
n
+ a
2
b
n1
+ + a
n
b
1
=
n
k=1
a
k
b
nk+1
n = 1, 2, ...
Teorema 4.8 Se
n=1
a
n
e
n=1
b
n
s ao absolutamente convergentes, ent ao tambem o Produto
de Cauchy das duas series,
n=1
c
n
, e absolutamente convergente e
n=1
c
n
=
_

n=1
a
n
__

n=1
b
n
_
Exerccio: Mostre que
n=1
(n + 1)
_
i
2
_
n
e convergente e calcule a sua soma.
NOTA: O ultimo Teorema pode ainda ser generalizado da seguinte forma:
Se uma das series,
n=1
a
n
ou
n=1
b
n
, e absolutamente convergente e a outra e simplesmente
convergente, ent ao o Produto de Cauchy das duas series,
n=1
c
n
e simplesmente convergente.
Teorema 4.9 ( Propriedade das series absolutamente convergentes )
n=1
u
n
absolutamente convergente =
n=1
u
n
n=N+1
|u
n
|
n=1
u
n
n=1
|u
n
|
Demonstra cao.
A demonstra c ao deste resultado obtem-se facilmente das propriedades da fun c ao modulo:
S
n
=
n
k=1
u
k
= S
N
=
N
k=1
u
k
S
n
=
n
k=1
|u
k
|
S = lim
n
S
n
=
n=1
u
n
(1) |S
n
|

S
n
n
n=1
u
n
n=1
|u
n
|
(2) |S
N
| |S
N
S| +|S|
n=N+1
|u
n
| +|S|
4.3 Series geradas por sucess oes de func oes
Para cada n N, dena-se uma fun c ao f
n
(z) com domnio num subconjunto E C e tomando
valores em C. Constroi-se desta forma uma sucess ao de fun c oes.
f
n
: E C E C
z f
n
(z) n = 1, 2, ...
A partir da sucess ao {f
n
}, considere-se:
S
1
= f
1
S
2
= f
1
+ f
2
.
.
.
S
n
= f
1
+ + f
n
S
n
: E C
Fixado z E a sucess ao de n umeros complexos S
n
(z) pode ou n ao ser convergente. Daqui
resulta a convergencia ou divergencia da serie
n=1
f
n
(z).
n=1
f
n
(z) Serie gerada pela sucess ao de fun c oes {f
n
}
A sucess ao S
n
, denida atras, e designada por sucess ao das somas parciais.

E ainda uma
sucess ao de fun c oes.
Para cada valor da variavel z obtem-se uma serie de n umeros complexos. Associada a uma
serie de fun c oes surge agora um domnio de convergencia da serie, ou seja, um subconjunto do
conjunto E tal que, para cada concretiza c ao da variavel z por um elemento do subconjunto,
obtem-se uma serie de n umeros complexos convergente.
Exemplo:
f
n
: C C
z z
n
n=1
z
n
Para cada z que xemos, obtem-se uma serie de n umeros complexos, geometrica.
A serie sera convergente se |z| < 1 e sera divergente se |z| 1.
Assim, f(z) =
n=1
z
n
e uma fun c ao complexa bem denida no conjunto {z : |z| < 1}.
f : B
1
(0) C
z
z
1 z
Convergencia Uniforme
Diz-se que a serie
n=1
f
n
(z) converge uniformemente num conjunto E C, para a fun c ao
f(z) se a sucess ao das somas parciais, S
n
(z), converge uniformemente para a fun c ao f(z), isto
e,
> 0 N N : n N, n N z E |S
n
(z) f(z)| <
Exemplo:
n=1
z
n
unif.
f(z) =
z
1 z
no conjunto E = {z C : |z| r}, onde 0 < r < 1. De facto,
|S
n
(z) f(z)| =
k=1
z
k
z
1 z
z z
n+1
1 z

z
1 z
=
|z|
n+1
|1 z|
|z| r = |1 z| 1 |z| 1 r > 0
|z| r = |z|
n+1
r
n+1
Logo,
|S
n
(z) f(z)|
r
n+1
1 r
< , desde que n >
ln((1 r))
ln r
Esta provada a convergencia uniforme no conjunto dado. No entanto a serie n ao e uniformemente
convergente no disco aberto {z : |z| < 1}.
Teste para Convergencia Uniforme
Teorema 4.10 Considere-se a serie
n=1
f
n
(z), z E C.
_
_
(
n
)
n=1,2,...

n
R
n
0
n=1
n
convergente
sup
zE
|f
n
(z)|
n
=
n=1
f
n
(z)
uniformemente convergente em E
As condi c oes do lado esquerdo da ultima implica c ao traduzem-se dizendo que a serie
n=1
f
n
(z) e normalmente convergente.
Exemplo:
Seja 0 < r < 1, r R
e f
n
(z) = z
n
E = {z : |z| < r}
Tome-se
n
= r
n
. Ent ao,
n
0 e
n=1
n
=
n=1
r
n
=
r
1 r
sup
zE
|f
n
(z)| = sup
zE
|z|
n
r
n
=
n
Logo,
n=1
z
n
e uniformemente convergente em E = {z : |z| < r}
Exerccio: Verique que a serie
n=0
z
n
+ 1
n
2
+ cosh (n|z|)
e uniformemente convergente no disco |z| 1.
Propriedades das series uniformemente convergentes
Teorema 4.11 Seja
n=1
f
n
(z), uma serie de fun c oes contnuas em E C, que converge
uniformemente para a fun c ao f(z).
Ent ao, a soma da serie, f(z), e uma fun c ao contnua em E.
Demonstra cao.
Seja z
0
E.
f contnua em z
0
> 0 > 0 : |z z
0
| < |f(z) f(z
0
)| <
Tome-se > 0.
n=1
f
n
(z) uniformemente convergente em E =
N N : n N, z E |S
n
(z) f(z)| <

3
Em particular, para n = N, |S
N
(z) f(z)| <

3
z E.
A fun c ao S
N
(z), soma de fun c oes contnuas, e contnua em z
0
. Logo
> 0 : |z z
0
| < |S
N
(z) S
N
(z
0
)| <

3
Assim, para este valor de , tem-se:
|f(z) f(z
0
)| |f(z) S
N
(z)| +|S
N
(z) S
N
(z
0
)| +|S
N
(z
0
) f(z
0
)|
<

3
+

3
+

3
=
cando assim demonstrada a continuidade de f.
Exerccio: Considere a serie
x
2
+
x
2
1 + x
2
+
x
2
(1 + x
2
)
2
+
x
2
(1 + x
2
)
3
+
Verique que a serie n ao e uniformemente convergente em qualquer intervalo que contenha a
origem.
Teorema 4.12 (Integra cao termo a termo de uma serie unif. convergente)
Seja
n=0
f
n
(z), serie de fun c oes contnuas em E C, que converge uniformemente para a
fun c ao f(z).
Seja um caminho em E.
Ent ao a serie
n=0
_
f
n
(z) dz, de n umeros complexos, e convergente e a sua soma e
_
f(z) dz.
Demonstra cao.
Seja
I
n
=
_
f
0
(z) dz +
_
f
1
(z) dz + +
_
f
n
(z) dz
=
_
f
0
(z) + f
1
(z) + + f
n
(z) dz =
_
S
n
(z) dz
onde S
n
(z) e a sucess ao das somas parciais de
n=0
f
n
(z).
Pretende-se provar:
> 0 N N : n N =
I
n
f(z) dz
<
Seja > 0.
I
n
f(z) dz
S
n
(z) f(z) dz
S
n
(z)
unif.
f(z) =
_
N N : n N z E |S
n
(z) f(z)| <

L
_
onde L e o comprimento de .
Logo,
n N =
S
n
(z) f(z) dz
<

L
L =
Tomando este valor N tem-se,
I
n
f(z) dz
< .
Exerccio: Considere a serie
n=1
x
_
(n + 1)e
(n+1)x
2
ne
nx
2
_
Verique que
n=1
_
1
0
f
n
(x) dx =
_
1
0
n=1
f
n
(x) dx, e portanto que a serie inicial n ao e
uniformemente convergente no intervalo dado.
Teorema 4.13 ( Deriva cao termo a termo de uma serie unif. conv. )
Seja
n=0
f
n
(z) convergente em E C, e f(z) a sua soma.
Suponha-se que a serie
n=0
f
n
(z) converge uniformemente em E para uma fun c ao contnua
g.
Ent ao, f
(z) = g(z) =
n=0
f
n
(z).
Caso particular de series geradas por sucess oes de fun c oes: series de potencias.
n=0
a
n
(z z
0
)
n
a
n
C, z
0
C constantes
4.4 Series de potencias
De uma forma geral, dada uma serie
n=1
f
n
(z), existe um subconjunto de C no qual a serie e
convergente, ou seja,
E C :
n=1
f
n
(z) = f(z), z E
Este conjunto pode ser mais ou menos complexo. No entanto, para series de potencias
n=1
a
n
(z z
0
)
n
este conjunto e bem simples.
n=1
z
n
e convergente em E = {z : |z| < 1} e divergente em C \ E
Im
Re
1
i
1
n=1
_
z z
0
3i
_
n
e convergente em E = {z : |z z
0
| < 3}
Im
Re
3
.
z
0
Vamos vericar que a regi ao de convergencia de uma serie de potencias e sempre um disco no
conjunto C, que pode coincidir com C, ou reduzir-se a um ponto (casos limite).
Exemplos
n=0
n!z
n
. Regi ao de convergencia: {0}
n=0
z
n
n!
. Regi ao de convergencia: C
Teorema 4.14 (Convergencia de uma Serie de Potencias)
Considere-se a serie de potencias
n=0
a
n
(z z
0
)
n
.
Se a serie e convergente em z = z
1
= z
0
, ent ao
(a) Converge absolutamente se z : |z z
0
| < |z
1
z
0
|
(b) Converge uniformemente se z : |z z
0
| r < |z
1
z
0
|
Se a serie diverge num ponto z = z
2
, ent ao diverge se z : |z z
0
| > |z
2
z
0
|
Im
Re
.
z
0
z
1
.
Convergente
Divergente
z
2
.
Demonstra cao.
n=0
a
n
(z
1
z
0
)
n
convergente = a
n
(z
1
z
0
)
n
0
Toda a sucess ao convergente e limitada e portanto
M R
+
: |a
n
(z
1
z
0
)
n
| < M n N
Logo,
|a
n
(z z
0
)
n
| =
a
n
(z
1
z
0
)
n
_
z z
0
z
1
z
0
_
n
z z
0
z
1
z
0
n
(a) Para z : |z z
0
| < |z
1
z
0
|, tem-se
z z
0
z
1
z
0
< 1.
A serie de termo geral M
z z
0
z
1
z
0
n
e convergente (serie geometrica de raz ao menor que 1).
Logo a serie de termo geral |a
n
(z z
0
)
n
| e tambem convergente (Criterio de compara c ao).
Conclui-se (a).
(b) Seja r : r < |z
1
z
0
|
|z z
0
| r = |a
n
(z z
0
)
n
| M
_
r
|z
1
z
0
|
_
n
def.
=
n
Logo,
sup
{z: |zz
0
|r}
|a
n
(z z
0
)
n
|
n
, com
n
> 0 e
n=0
n
convergente .
O Teorema 4.10 permite-nos concluir que
n=0
a
n
(z z
0
)
n
e uniformemente convergente no
conjunto {z : |z z
0
| r}.
Finalmente, considere-se z
2
tal que a serie
n=0
a
n
(z z
0
)
n
e divergente em z = z
2
.
Se existisse z
3
: |z
3
z
0
| > |z
2
z
0
| e
n=0
a
n
(z
3
z
0
)
n
fosse convergente ent ao, pela primeira
parte desta demonstra c ao, teramos
n=0
a
n
(z z
0
)
n
convergente em z : |z z
0
| < |z
3
z
0
|, o
que e absurdo. A serie e, por hipotese, divergente em z
2
.
Raio de Convergencia de uma Serie de Potencias
Uma serie de potencias,
n=0
a
n
(z z
0
)
n
e sempre convergente pelo menos num ponto: z = z
0
.
Assim, o conjunto de pontos para os quais a serie e convergente e sempre diferente do conjunto
vazio. Pode ainda ser todo o plano, caso ja apresentado da serie
n=0
z
n
n!
.
Excluindo estas duas situa c oes, dena-se:
R = sup
_
|z z
0
| :
n=0
a
n
(z z
0
)
n
e convergente
_
Pelo teorema anterior, Teorema 4.14, tem-se:
n=0
a
n
(z z
0
)
n
converge z : |z z
0
| < R
diverge z : |z z
0
| > R
O n umero R e designado por Raio de convergencia da serie
n=0
a
n
(z z
0
)
n
.
O conjunto
B
R
(z
0
) = {z : |z z
0
| < R}
e designado por disco de convergencia da serie.
Acrescenta-se ainda as duas situa c oes excluidas, denindo por conven c ao:
R = 0 se
n=0
a
n
(z z
0
)
n
converge apenas quando z = z
0
R = se
n=0
a
n
(z z
0
)
n
convergente z C
Exemplos
n=0
(2n)!
(n!)
2
(z 3i)
n
R = 1/4
De facto,
lim
n
a
n+1
a
n
= lim
n
(2n + 2)(2n + 1)
(n + 1)
2
|z 3i| = 4 |z 3i| < 1 = |z 3i| <
1
4
Aplicando um dos criterios de convergencia estudados, se o limite calculado e maior do
que 1, a serie e divergente. Logo, R = 1/4.
n=0
z
2n+1
(2n + 1)!
R =
lim
n
a
n+1
a
n
= lim
n
1
(2n + 3)(2n + 2)
|z|
2
= 0 < 1 z C
Neste caso, n ao ha nenhuma restri c ao sobre os valores que z pode tomar para a serie ser
convergente. A serie e convergente em todo o plano complexo e portanto R = .
n=0
(n + 1)!(z 2 i)
n
R = 0
lim
n
a
n+1
a
n
= lim
n
(n + 2) |z 2 i| = se |z 2 i| = 0 z = 2 + i
A serie e divergente quando z = 2 +i. Como para este ponto a serie e convergente, sera o
unico. Assim, R = 0.
N ao existe um resultado geral para a convergencia ou divergencia de uma serie de potencias sobre
os pontos z : |zz
0
| = R. Tais pontos constituem situa c oes a serem analisadas individualmente.
Exemplo:
n=0
z
n
n + 1
Neste caso, z
0
= 0 e R = 1. (Verique!)
sobre |z| = 1, por exemplo se z = 1
n=0
1
n + 1
divergente
mas se z = 1
n=0
(1)
n
n + 1
convergente
Considere-se a serie de potencias
n=0
a
n
(z z
0
)
n
, com raio de convergencia R > 0.
Dena-se f(z) =
n=0
a
n
(z z
0
)
n
. Ent ao:
f(z) esta bem denida no conjunto {z : |z z
0
| < R }
Uma vez que a serie converge uniformemente em qualquer disco fechado centrado em z
0
e de
raio menor que R, podemos utilizar as propriedades resultantes deste facto e concluir:
f(z) e contnua em {z : |z z
0
| < R} = B
R
(z
0
)
Dem. Tome-se z B
R
(z
0
).
Seja r : | z z
0
| < r < R.
Uma vez que a serie converge uniformemente em {z : |z z
0
| r} podemos aplicar o
Teorema 4.11 e concluir a continuidade de f(z) em z.
f(z) e derivavel em B
R
(z
0
) e f
(z) =
n=1
na
n
(z z
0
)
n1
Ou seja, podemos derivar termo a termo a serie para obter a derivada de f.
As series
n=0
a
n
(z z
0
)
n
e
n=1
na
n
(z z
0
)
n1
tem o mesmo disco de convergencia
Uma vez que a derivada e ainda uma serie de potencias com o mesmo disco de convergencia,
podemos iterar o processo e concluir que uma serie de potencias tem derivadas de todas as
ordens e estas derivadas podem ser calculadas sucessivamente por deriva c ao termo a termo da
serie anterior. Todas as series resultantes tem o mesmo disco de convergencia.
f
(z) =
n=2
n(n 1)a
n
(z z
0
)
n2
f
(z) =
n=3
n(n 1)(n 2)a
n
(z z
0
)
n3
f
(4)
(z) =
n=4
n(n 1)(n 2)(n 3)a
n
(z z
0
)
n4

A serie de potencias
n=0
a
n
n + 1
(z z
0
)
n+1
obtida por integra c ao termo a termo da serie
n=0
a
n
(z z
0
)
n
tem o mesmo disco de convergencia da serie original
Este resultado e uma consequencia directa do Teorema 4.12, ja apresentado.
Estudadas series de potencias, podemos vericar o resultado, apresentado como uma con-
sequencia da formula de Cauchy, designado por Teorema de Taylor ou serie de Taylor e que
repetimos de seguida:
Teorema 4.15
Seja f(z) holomorfa num conjunto A C, aberto e conexo.
Seja z
0
um ponto qualquer em A.
Ent ao, existe exactamente uma serie de potencias centrada em z
0
que representa f(z), ou seja,
f(z) =
n=0
a
n
(z z
0
)
n
, a
n
=
1
n!
f
(n)
(z
0
)
Esta representa c ao e v alida na bola aberta, de centro z
0
e cujo raio e o valor m aximo de r tal
que B
r
(z
0
) A.
A
.
z
0
z
1
z
2
z
1
z
0
.
.
.
.
f(z
1
) =
n=0
a
n
(z
1
z
0
)
n
; f(z
2
) =
n=0
a
n
(z
2
z
0
)
n
; f(z
3
) =
n=0
a
n
(z
3
z
0
)
n
NOTA: A generaliza c ao da Formula de Cauchy permite escrever os coecientes a
n
, na forma:
a
n
=
1
2i
_
f(z)
(z z
0
)
n+1
dz
onde e um lacete simples, orientado positivamente, contido em A, cujo interior ainda esta em
A e que contem z
0
no seu interior.
Demonstra cao.
Fixemos z
0
A e R > 0 tal que o crculo de centro z
0
e raio R esta contido em A. Denote-se
por C a circunferencia correspondente.
Para z Interior C tem-se, pela formula de Cauchy
f(z) =
1
2i
_
C
f(u)
u z
du (7)
(
_
representa um integral ao longo de um lacete, percorrido no sentido directo.)
Desenvolvendo u z em potencias de z z
0
:
1
u z
=
1
u z
0
(z z
0
)
=
1
1
zz
0
uz
0
1
u z
0
z z
0
u z
0
< 1 =
1
1
zz
0
uz
0
=
n=0
_
z z
0
u z
0
_
n
f holomorfa em A
C A
= M > 0 :
f(u)
u z
0
=
|f(u)|
R
M u C
f(u)
u z
=
n=0
f(u)
u z
0
_
z z
0
u z
0
_
n
Denindo:
f
n
(u) =
f(u)
u z
0
_
z z
0
u z
0
_
n
vem,
|f
n
(u)| Mr
n
onde r =
|z z
0
|
R
< 1 u C
Logo,
n=0
f
n
(u) uniformemente convergente em C
E portanto,
_
C
f(u)
u z
du =
_
C
n=0
f(u)
u z
0
_
z z
0
u z
0
_
n
du =
n=0
_
C
f(u)
u z
0
_
z z
0
u z
0
_
n
du
=
n=0
(z z
0
)
n
_
C
f(u)
(u z
0
)
n+1
du
=
n=0
(z z
0
)
n
2i
f
(n)
(z
0
)
n!
Assim, da equa c ao (7), vem
f(z) =
n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
O ponto z era qualquer, interior a C. Para C foi exigido apenas que estivesse contido em A e
o seu interior tambem contido em A. A representa c ao de f(z) em potencias de (z z
0
)
n
na
forma descrita e ent ao valida na maior bola aberta centrada em z
0
e contida em A.
Para vericar que tal representa c ao e unica, basta vericar:
f(z) =
n=0
a
n
(z z
0
)
n
=
n=0
b
n
(z z
0
)
n
z B
R
(z
0
) = a
n
= b
n
, n
De facto, para z = z
0
, f(z
0
) = a
0
= b
0
.
Por indu c ao, suponhamos a
n
= b
n
, n = 0, , k. Neste caso,
n=0
a
n
(z z
0
)
n
=
n=0
b
n
(z z
0
)
n
n=k+1
a
n
(z z
0
)
n
=
n=k+1
b
n
(z z
0
)
n
Considerando z = z
0
e dividindo por (z z
0
)
k+1
, vem
a
k+1
+ a
k+2
(z z
0
) + a
k+3
(z z
0
)
2
+ = b
k+1
+ b
k+2
(z z
0
) + b
k+3
(z z
0
)
2
+
Continuamos a obter uma serie de potencias, que s ao fun c oes contnuas em z = z
0
. Aplicando
limites, quando z z
0
, vem
a
k+1
= b
k+1
Exemplos
e
z
=
n=0
z
n
n!
z C
1
1 z
=
n=0
z
n
|z| < 1
cos z =
n=0
(1)
n
z
2n
(2n)!
z C
sinz =
n=0
(1)
n
z
2n+1
(2n + 1)!
z C
1
1 + z
2
=
n=0
(1)
n
z
2n
|z| < 1
1
2i 3z
=
n=0
3
n
(3 i)
n+1
(z 1 i)
n
|z 1 i| <
10
3
Singularidades Isoladas
Seja f : A C, A aberto de C
f holomorfa em A.
Deni cao 4.1
a C, diz-se uma singularidade isolada de f, se
a / A, e > 0 z C 0 < |z a| < z A
( existe um disco aberto centrado em a tal que todos os pontos deste disco, excepto a,
est ao em A.)
A
(2)
(1)
(3)
(4)
(5)
(6)
(7)
(1)-(5) Singularidades isoladas
(6) e (7) No so singularidades isoladas
Exemplos
f(z) = z
n
, n N 0 e singularidade isolada de f.
f(z) = tanz
_
2
,
3
2
, ,
(2n + 1)
2
_
s ao singularidades isoladas de f.
4.5 Serie de Laurent
Em aplica c oes, ha muitas vezes necessidade de representar uma fun c ao f(z) em serie de potencias,
centradas em pontos onde a fun c ao n ao e holomorfa. A serie de Taylor n ao e neste caso valida
para fazer tal representa c ao. Um desenvolvimento em potencias de expoente positivo e negativo
vem responder a tais necessidades.
Teorema 4.16 (Desenvolvimento de Laurent da fun cao f(z))
Sejam: f : A C, holomorfa em A, A, aberto e conexo.
a, singularidade isolada de f.
: B
(a) = {z : 0 < |z a| < } A, > 0.

Ent ao,
z B
(a) f(z) =
n=0
c
n
(z a)
n
+
m=1
d
m
(z a)
m
(8)
A serie
n=0
c
n
(z a)
n
e convergente para |z a| < .
A serie
m=1
d
m
(z a)
m
e convergente para |z a| > 0.
A representa c ao de f na forma (8) e unica.
Os coecientes c
n
e d
m
s ao determinados por:
c
n
=
1
2i
_
f(z)
(z a)
n+1
dz d
m
=
1
2i
_
f(z)(z a)
m1
dz
onde (t) = a + re
it
, t [0, 2], 0 < r < .
Demonstra cao.
Seja z B
(a)
0 < |z a| < = R, R
: 0 < R < |z a| < R
<
A
a
r
.
z
R
R
g
g
Sejam (t) = a + Re
it
,
(t) = a + R
e
it
, t I = [0, 2]
Para z B
(a) e R, R
nas condi c oes indicadas resulta:

f(z) =
1
2i
_
f(u)
u z
du
1
2i
_
f(u)
u z
du
Esta igualdade pode ser facilmente vericada se aplicarmos a formula de Cauchy a dois lacetes,
de acordo com a gura:
a
z
.
Considere-se agora cada um dos integrais da ultima express ao.
g(z) =
1
2i
_
f(u)
u z
du e holomorfa em B
(a) \
(I)
atendendo ao Teorema 3.4, e portanto admite um desenvolvimento em serie de Taylor em torno
do ponto a. (Note que para a deni c ao de g so v ao intervir os valores de f sobre
.)
g(z) =
1
2i
_
f(u)
u z
du =
n=0
c
n
(z a)
n
, |z a| < R
,
onde
c
n
=
g
(n)
(a)
n!
=
1
2i
_
f(u)
(u a)
n+1
du
Quanto ao segundo integral:
Para u : |u a| = R,
1
u z
=
1
z a
_
1
1
ua
za
_
=
1
z a
n=0
_
u a
z a
_
n
que e uma serie convergente, para z : |z a| > R.
1
2i
_
f(u)
u z
du =
1
2i
_
f(u)
m=1
(u a)
m1
(z a)
m
du
=
1
2i
_
m=1
f(u)
(u a)
m1
(z a)
m
du (9)
Mas,
f(u) (u a)
m1
(z a)
m
=
1
R
R
z a
m
|f(u)|
M
R
R
z a
m
(uma vez que f e contnua em (I), existe M tal que |f(u)| M u (I).)
m
=
M
R
R
z a
m
0 e
m=1
m
e convergente
Logo, a serie de termo geral
f(u) (u a)
m1
(z a)
m
e uniformemente convergente em (I).
Assim, continuando a equa c ao (9), vem:
=
1
2i
m=1
_
f(u)
(u a)
m1
(z a)
m
du
=
1
2i
m=1
1
(z a)
m
_
f(u) (u a)
m1
du
=
m=1
d
m
(z a)
m
,
onde d
m
=
1
2i
_
f(u) (u a)
m1
du
e a serie e convergente para |z a| > R.
Conclus ao:
f(z) =
n=0
c
n
(z a)
n
+
m=1
d
m
(z a)
m
onde,
c
n
=
1
2i
_
f(u)
(u a)
n+1
du e d
m
=
1
2i
_
f(u)(u a)
m1
du
Os lacetes e
s ao homotopicos em B
e ainda homotopicos a qualquer lacete do tipo

a + re
it
, 0 < r < . Tambem f(z)(z a)
m1
e
f(z)
(z a)
n+1
s ao holomorfas em B
. Logo
podemos substituir R e R
por um n umero real r, qualquer, que satisfa ca 0 < r < , no calculo

dos integrais. As series convergem respectivamente para |z a| < e |z a| > 0.
Exemplos
f(z) =
e
z
z
2
Singularidade: a = 0.
e
z
z
2
=
1
z
2
_
1 + z +
z
2
2!
+
z
3
3!
+
_
z C \ {0}
=
1
z
2
+
1
z
+
1
2!
+
z
3!
+
z
2
4!
+
z
3
5!
+
=
n=0
z
n
(n + 2)!
+
1
z
+
1
z
2
Ent ao, neste caso, c
n
=
1
(n + 2)!
d
1
= d
2
= 1 d
m
= 0, m 3
f(z) =
e
1
z
2
z
5
e
1
z
2
z
5
=
1
z
5
n=0
_
1
z
2
_
n
n!
z C \ {0}
=
n=0
(1)
n
n! z
2n+5
=
n=2
(1)
n
(n2)!
z
2n+1
Neste caso,
c
n
= 0 n; d
1
= d
3
= 0 d
n
=
_
_
0 se n par
(1)
n1
2
_
n1
2
2
_
!
se n mpar , n 5
f(z) = z cos
1
z
z cos
1
z
= z
n=0
(1)
n
_
1
z
_
2n
(2n)!
z C \ {0}
=
n=0
(1)
n
(2n)!
1
z
2n1
Neste caso,
c
0
= 0, c
1
= 1, c
n
= 0 n 2 d
n
=
_
_
0 se n par
(1)
n+1
2
(n + 1)!
se n mpar
f(z) =
1
z(1 + z
2
)
Singularidades: a
1
= 0 ; a
2
= i ; a
3
= i.
Em torno de a
1
= 0:
Im
Re
1
i
- i
0
1
z
_
1
1 + z
2
_
=
1
z
1
1 (z
2
)
=
1
z
n=0
(z
2
)
n
se |z
2
| < 1 |z| < 1
=
1
z
n=0
(1)
n
z
2n
=
1
z
_
1 z
2
+ z
4
z
6
+ z
8

_
=
1
z
z + z
3
z
5
+ z
7

=
n=0
(1)
n+1
z
2n+1
+
1
z
Neste caso:
c
n
=
_
0 se n par
(1)
n+1
2
se n mpar
d
1
= 1, d
m
= 0, m 2
Em torno de a
2
= i :
Im
Re
i
- i
0
1
z i
_
1
z(z + i)
_
=
1
z i
_
i
z
+
i
z + i
_
=
1
z i
i
i
1
1
zi
i
+
1
z i
i
2i
1
1
zi
2i
=
n=0
(z i)
n1
(i)
n
+
1
2
n=0
(z i)
n1
(2i)
n
se
z i
i
< 1 e
z i
2i
< 1
=
1
2
z i
+
n=1
_
1
(i)
n
+
1
2
1
(2i)
n
_
(z i)
n1
=

1
2
z i
+
n=0
i
n+1
_
1 +
1
2
n+2
_
(z i)
n
Neste caso:
c
n
= i
n+1
_
1 +
1
2
n+2
_
d
1
=
1
2
, d
m
= 0, m 2
Em torno de a
3
= i :
Im
Re
i
- i
0
1
z + i
_
1
z(z i)
_
=

1
2
z + i
+
n=0
(i)
n+1
_
1 +
1
2
n+2
_
(z + i)
n
Neste caso:
c
n
= (i)
n+1
_
1 +
1
2
n+2
_
d
1
=
1
2
, d
m
= 0, m 2
Classicacao das Singularidades Isoladas
Seja f : A C e a singularidade isolada de f. Ent ao,
f(z) =
n=0
c
n
(z a)
n
+
m=1
d
m
(z a)
m
z B
(a)( A), > 0

De acordo com as caractersticas dos coecientes c
n
e d
m
neste desenvolvimento da fun c ao f em
serie de Laurent, em torno do ponto a, podemos classicar a singularidade a da seguinte forma:
(1) d
m
= 0 m N
f(z) =
n=0
c
n
(z a)
n
z B
(a)
a designa-se por singularidade removvel ou aparente.
Neste caso e possvel prolongar a fun c ao f ao ponto a de uma forma holomorfa. Basta
denir f(a) = c
0
.
Exemplo
f(z) =
sinz
z
A = C \ {0}
Singularidade: a = 0
sinz
z
=
1
z
n=0
(1)
n
z
2n+1
(2n + 1)!
=
1
z
_
z
z
3
3!
+
z
5
5!

_
1
z
2
3!
+
z
4
5!

=
n=0
(1)
n
z
2n
(2n + 1)!
z C \ {0}
Assim, d
m
= 0, m 1.
A fun c ao g:
g(z) =
_
_
_
sinz
z
z = 0
1 z = 0
e holomorfa em C.
(2) N N : d
N
= 0 e d
m
= 0 m > N
f(z) =
n=0
c
n
(z a)
n
+
N
m=1
d
m
(z a)
m
z B
(a)
a designa-se por polo de ordem (ou multiplicidade) N.
Neste caso, lim
za
(z a)
N
f(z) = d
N
.
Exemplo
f(z) =
e
z
z
3
A = C \ {0}
e
z
z
3
=
1
z
3
n=0
z
n
n!
=
n=0
z
n3
n!
=
1
z
3
+
1
z
2
+
1
2z
+
1
3!
+
z
4!
+ +
z
n
(n + 3)!
+
=
n=0
z
n
(n + 3)!
+
1
2z
+
1
z
2
+
1
z
3
Conclus ao: a = 0 e um polo de ordem 3 da fun c ao
e
z
z
3
.
(3) k N m k : d
m
= 0 ( innitos termos d
m
n ao nulos)
f(z) =
n=0
c
n
(z a)
n
+
m=1
d
m
(z a)
m
a designa-se por singularidade essencial.
Exemplo
f(z) = e
1
z
A = C \ {0}
f(z) = e
1
z
=
n=0
1
n!z
n
Conclus ao: a = 0 e uma singularidade essencial da fun c ao e
1
z
.
Exerccio: Desenvolver, em serie de Laurent,
e
z
(z 1)
3
na coroa circular 0 < |z 1| < e
classicar a singularidade.
4.6 Resduos. Teorema dos Resduos.
Seja f : A C, A aberto e conexo, f holomorfa em A.
a singularidade isolada de f.
Deni cao 4.2 O resduo de f em a e o coeciente do termo
1
z a
no desenvolvimento em
serie de Laurent de f, em torno do ponto a.
Resduo de f em a = Res
a
f = d
1
NOTA: Se o lacete e o seu interior esta contido em A, vem, pelo Teorema de Cauchy,
_
f(z) dz = 0. Se f(z) admite uma singularidade isolada no interior de , uma so, por
exemplo um polo de ordem N, vem:
f(z) =
n=0
c
n
(z a)
n
+
N
m=1
d
m
(z a)
m
_
f(z) dz =
_
n=0
c
n
(z a)
n
dz +
_
m=1
d
m
(z a)
m
dz
= 0 +
N
m=1
_
d
m
(z a)
m
dz
= 0 + 2id
1
+ 0 + + 0
= 2iRes
a
f
(
_
n=0
c
n
(za)
n
dz = 0 porque a fun c ao integranda, serie de potencias positivas, e holomorfa
no seu disco de convergencia.)
Exemplos
f(z) =
sinz
z
Res
0
f = 0
f(z) =
e
z
z
3
Res
0
f =
1
2
f(z) = e
1
z
Res
0
f = 1
f(z) =
e
z
(z 1)
3
Res
1
f =
e
2
Casos Particulares
a, polo simples, ou seja polo de ordem 1, da fun c ao f(z):
Res
a
f = lim
za
(z a)f(z)
a, polo de ordem N da fun c ao f(z):
Res
a
f =
1
(N 1)!
lim
za
_
d
N1
dz
N1
_
(z a)
N
f(z)
_
Exemplo
f(z) =
50z
(z + 4)(z 1)
2
tem um polo de segunda ordem em a = 1. O resduo, neste ponto:
Res
1
f =
1
1!
lim
z1
_
d
dz
_
(z 1)
2
50z
(z + 4)(z 1)
2
__
= lim
z1
50(z + 4) 50z
(z + 4)
2
= lim
z1
200
(z + 4)
2
= 8
Usando os calculos anteriores, determina-se
_
f(z) dz, onde (t) = 2e

it
, 0 t 2.
_
f(z) dz =
_
50z
(z + 4)(z 1)
2
dz = 2iRes
1
f = 16i
(ver nota da pagina anterior)
Im
Re
1 - 4
Teorema 4.17 (Teorema dos Resduos)
Seja A um conjunto aberto, simplesmente conexo.
Seja f uma fun c ao holomorfa no conjunto A
= A \ {a
1
, a
2
, , a
k
}, onde {a
1
, a
2
, , a
k
} e
um conjunto nito de pontos distintos de A.
Seja um lacete simples, orientado positivamente e contido em A
.
Ent ao,
_
f(z) dz = 2i
a
j
Int
Res
a
j
f
A
g
a
6
a
5
a
4
a
3
a
2
a
1
Exemplo:
Calcular
_
1
z
2
+ 9
dz, onde (t) = a + re
it
, |a 3i| < r e |a + 3i| < r.
A fun c ao integranda e holomorfa em A
= C \ {3i, 3i}.
, lacete simples, orientado positivamente e esta contido em A
.
Pelo Teorema dos resduos,
_
1
z
2
+ 9
dz = 2i (Res
3i
f + Res
3i
f)
1
z
2
+ 9
=
1
z + 3i
1
z + 3i 6i
=
1
z + 3i
_
1
6i
_
1
1
z+3i
6i
=
1
6i
1
z + 3i
n=0
_
z + 3i
6i
_
n
=
1
6i
n=0
_
1
6i
_
n
(z + 3i)
n1
d
1
=
1
6i
Res
3i
f =
1
6i
Por sua vez,
1
z
2
+ 9
=
1
6i
n=0
_
1
6i
_
n
(z 3i)
n1
d
1
= Res
3i
f =
1
6i
Conclus ao:
_
1
z
2
+ 9
dz = 2i
_
1
6i

1
6i
_
= 0
Demonstra cao. [Teorema dos Resduos]
A
g
a
6
a
5
a
4 a
3
a
2
a
1 g
2
g
3
g
4
Comecemos por considerar circunferencias
j
, centradas nos pontos a
j
que s ao interiores a (I)
e de raios sucientemente pequenos para que tais circunferencias sejam ainda interiores a (I).
E facil vericar que se tem:

_
f(z) dz
j:a
j
Int(I)
_
j
f(z) dz = 0 (10)
De facto,
g
_
1
=lacete superior
f(z) dz =
_
2
=lacete inferior
f(z) dz = 0
E portanto,
_
1
f(z) dz +
_
2
f(z) dz = 0
Desdobrando estes integrais em integrais ao longo de partes mais simples de
1
e
2
, os integrais
calculados sobre os segmentos construidos para unir as circunferencias entre si e a anulam-se
entre si. No nal, restam o integral estendido a mais os integrais estendidos às circunferencias
percorridas no sentido indirecto. Da o sinal

na equa c ao (10).
Assim, da equa c ao (10),
_
f(z) dz =
j:a
j
Int(I)
_
j
f(z) dz =
j:a
j
Int(I)
2i(d
1
)
j
= 2i
a
j
Int
Res
a
j
f
Exemplo:
Calcular
_
cot
z
4
dz, onde e a circunferencia de raio 1, centrada na origem.
cot
z
4
=
cos
z
4
sin
z
4
sinz = 0
e
iz
e
iz
2i
= 0 e
iz
e
iz
= 0
w
1
w
= 0 w
2
= 1 w = 1 e
y
(cos x + i sinx) = 1
onde w = e
iz
e z = x + iy. Daqui resulta,
_
e
y
cos x = 1
e
y
sinx = 0
ou
_
e
y
cos x = 1
e
y
sinx = 0
_
x = 2k, k Z
y = 0
ou
_
x = 2k + , k Z
y = 0
Singularidades da fun c ao cot
z
4
: z = 4k, k Z
Singularidades interiores ao lacete : a = 0.
_
cot
z
4
dz = 2iRes
0
f ( = 8i)
Para calcular Res
0
f, podemos utilizar o seguinte resultado:
Proposi cao 4.1
Seja f(z) holomorfa em z = a e a um zero de ordem N de f.
Ent ao
1
f(z)
tem um p olo de ordem N no ponto a.
Mais ainda, se h(z) holomorfa em a e h(a) = 0, ent ao a e um p olo de ordem N da fun c ao
h(z)
f(z)
.
a zero de ordem N de f f(a) = f
(a) = = f
(N1)
(a) = 0 e f
(N)
(a) = 0
Demonstra cao. (Exerccio)
Voltando à resolu c ao do exerccio, tem-se neste caso
sin0 = 0
_
sin
z
4
_
|
z=0
=
1
4
cos 0 =
1
4
= 0
Pelo resultado enunciado, 0 e um zero de primeira ordem, ou zero simples, de sin
z
4
.
h(z) = cos
z
4
h(0) = cos 0 = 1 = 0
e portanto, pelo resultado enunciado, 0 e um polo de primeira ordem para cot
z
4
=
cos
z
4
sin
z
4
.
Conclus ao:
Res
0
f = lim
z0
(z 0)
cos
z
4
sin
z
4
= 4
Aplicacao do Teorema dos Resduos ao Calculo de Integrais Reais
(1) Integrais de Fun c oes Racionais de cos e sin
I =
_
2
0
F(cos , sin) d
onde F e uma fun c ao racional de cos e sin.
Fazendo z = e
i
,
cos =
e
i
+ e
i
2
=
1
2
_
z +
1
z
_
sin =
e
i
e
i
2i
=
1
2i
_
z
1
z
_
Atendendo à deni c ao de integral complexo ao longo de um caminho, o integral I pode
ser expresso de forma equivalente como:
I =
_
f(z)
1
iz
dz () = e
i
0 2
onde f(z) e obtida de F(cos , sin) quando substituimos cos e sin pelas respectivas
express oes em termos de z (z +
1
z
e z
1
z
). Apos a substitui c ao obtem-se ainda uma
fun c ao racional em z.
Exemplo
_
2
0
dx
2 + sinx
=
_
1
2 +
1
2i
(z
1
z
)
1
iz
dz
=
_
2
z
2
+ 4iz 1
dz (t) = e
it
, 0 t 2
Singularidades da fun c ao
2
z
2
+ 4iz 1
: a
1
= (2
3) i, a
2
= (2 +
3) i.
Singularidades interiores ao lacete: (2 +
3) i.
Logo,
_
2
z
2
+ 4iz 1
dz = 2iRes
(2+
3)i
f
_
=
2
3
_
Como 2 +
3 i e um polo simples da fun c ao, porque e um zero simples do denominador

e n ao anula o numerador, vem
Res
(2+
3)i
f = lim
z(2+
3)i
(z+(2
3) i)
2
(z + (2
3)i)(z + (2 +
3)i)
=
2
2
3 i
=
1
3 i
(2) Integrais Impr oprios de Fun c oes Racionais
_

f(x) dx f(x) fun c ao racional de x

Por deni c ao,
_

f(x) dx = lim
R +
S +
_
S
R
f(x) dx (11)
No caso de existir o limite, e so nesse caso, podemos garantir que o integral improprio e
igual ao seu Valor Principal de Cauchy, ou seja
_

f(x) dx = lim
R+
_
R
R
f(x) dx (12)
Por hipotese, considera-se que f(x) e uma fun c ao racional de x, bem denida em todo o
eixo real.
Se o grau do denominador e, pelo menos, duas vezes maior que o grau do numerador, ent ao
o limite em (11) existe e podemos calcular o integral usando (12).
Estendendo a fun c ao racional f aos complexos, f(z) continua a ser uma fun c ao racional,
agora na variavel z.
Exemplo:
f(x) =
1
x
4
+ 1
f(z) =
1
z
4
+ 1
Como fun c ao de z, f apresenta agora singularidades, mais precisamente polos.
Considere-se um lacete do tipo da gura seguinte, com R sucientemente grande de forma
a incluir no seu interior todas as singularidades de f pertencentes ao semi-plano Im z > 0.
Im
Re
R
-R
iR
Assim,
_
f(z) dz =
_
1
f(z) dz +
_
2
f(z) dz
onde
1
e o segmento de extremidades R e R e
2
e a semicircunferencia de raio R.
_
1
f(z) dz =
_
R
R
f(x) dx
tomando
1
(x) = x, R x R. Portanto,
_
f(z) dz =
_
R
R
f(x) dx +
_
2
f(z) dz
Se provarmos que lim
R
_
2
f(z) dz = 0, vira:
_

f(x) dx = lim
R
_
R
R
f(x) dx = lim
R
_
f(z) dz
=
_
lim
R
_
2i
a
j
Res
a
j
f
sendo o somatorio estendido aos polos de f no semi-plano superior.
Vejamos ent ao que se tem lim
R
_
2
f(z) dz = 0. Para z = Re
i
vem
f(z) =
k
l=0
a
l
z
l
m
j=0
b
j
z
j
=
k
l=0
a
l
R
l
e
li
m
j=0
b
j
R
j
e
ji
=
R
k
R
m
k
l=0
a
l
R
lk
e
li
m
j=0
b
j
R
jm
e
ji
Mas,
lim
R
k
l=0
a
l
R
lk
e
li
m
j=0
b
j
R
jm
e
ji
a
k
b
m
Assim,
R
0
: R > R
0
=
k
l=0
a
l
R
lk
e
li
m
j=0
b
j
R
jm
e
ji
<
a
k
b
m
+ 1
e ent ao,
R > R
0
e R > 1 = |f(z)| <
1
R
mk
_
a
k
b
m
+ 1
_

1
R
2
_
a
k
b
m
+ 1
_
Logo,

2
f(z) dz

1
R
2
_
a
k
b
m
+ 1
_
.R =

R
_
a
k
b
m
+ 1
_
lim
R
_
2
f(z) dz = 0
Conclus ao:
_

f(x) dx = 2i
a
j
Res
a
j
f
Exemplo:
Calcular
_

1
x
2
+ 1
dx.
f(x) =
1
x
2
+ 1
grau do numerador : 0 ; grau do denominador : 2.
Como o grau do denominador e superior em 2 unidades ao do numerador, podemos armar:
_

1
x
2
+ 1
dx = lim
R
_
R
R
1
x
2
+ 1
dx
Estendendo a fun c ao ao conjunto dos complexos: f(z) =
1
z
2
+ 1
Singularidades: i e i.
Aplicando o metodo apresentado:
Im
Re
g
i
- i
_

1
x
2
+ 1
dx = 2iRes
i
f(z) =
_
f(z) dz
1
z
2
+ 1
=
1
(z i)(z + i)
=
1
z i
1
z i + 2i
=
1
z i
1
2i
1
1
zi
2i
=
1
2i
n=0
(z i)
n1
(2i)
n
d
1
= Res
i
f =
1
2i
Um outro processo de calcular d
1
seria:
i polo simples de f(z) = d
1
= lim
zi
(z i)
1
(z i)(z + i)
=
1
2i
Conclus ao:
_

1
x
2
+ 1
dx =
2i
2i
= .

Analise Matematica III

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Analise Matematica III

Enviado por

Direitos autorais:

Formatos disponíveis

AN

(y). Comparando esta ex-

(y) = 0. Portanto, C(y) = c, constante.

(t) e uma fun c ao contnua por bocados em I e e, portanto, integravel.

f(z) dz, integral de f ao longo do caminho . Sera possvel denir um integral

f(z) dz = F((b)) F((a)) = 0

e mantendo sempre a sua

a circunferencia de centro z e raio , sucientemente pequeno de forma a que:

(z) Interior (I)

s ao homotopicos em A\ {z}, tem-se:

Voltando ao desenvolvimento da express ao (6), tem-se

(a) = 0, a C = componentes real e imaginaria, u(x, y) e v(x, y), de f, tem derivadas

dos valores da fun c ao sobre

(a) = {z : 0 < |z a| < } A, > 0.

: 0 < R < |z a| < R

nas condi c oes indicadas resulta:

e ainda homotopicos a qualquer lacete do tipo

por um n umero real r, qualquer, que satisfa ca 0 < r < , no calculo

(a)( A), > 0

f(z) dz, onde (t) = 2e

E facil vericar que se tem:

3 i e um polo simples da fun c ao, porque e um zero simples do denominador

f(x) dx f(x) fun c ao racional de x

Você também pode gostar