UNIVERSIDADE FEDERAL DE PERNAMBUCO

CCEN DEPARTAMENTO DE MATEMATICA

BACHARELADO EM MATEMATICA
INTRODUCAO A VARIAVEL COMPLEXA(MA460) 1a Questao -
2a Questao -
SEGUNDO SEMESTRE DE 2011
3a Questao -
TERCEIRO EXERCICIO ESCOLAR 4a Questao -
13 de Dezembro de 2011 5a Questao -
Prof. Francisco Brito Total -

Nome legvel
Assinatura
Justifique suas respostas. Mostre seus calculos. Respostas sem calculos ou justificativas nao serao
consideradas.

1a Questao: Calcule:
1
sen z ez
a) (1,0) As expansoes de Laurent de 2 e 3 em z = 0;
1 z z
sen z ez
b) (1,0) Res 2 , e Res 3 ;
z=0 z z=0 z
1
sen z ez
c) (1,0) dz e dz.
z2 z3
|z|=1 |z1|=2

Solucao(a) Usando o bem conhecido fato que a expansao de Taylor em torno de z = 0 de sen z e

z 2n1
sen z = (1)n+1 ,
n=1
(2n 1)!

temos que
sen z
2n3 2n3
n+1 z 1 n+1 z
= (1) = z + (1) .
z2 n=1
(2n 1)! n=2
(2n 1)!
De maneira analoga, a partir da serie de Taylor para a funcao exponencial temos que:

1 z n z n3
1
ez 3 4 z 5 z n3
= = = z + z + + + + .
z3 z 3 n=0 n! n=0
n! 2 n!

(b) Pelos calculos no item (a), usando a definicao de resduo em um ponto em termos do
coeficiente de z 1 na expansao de Laurent da funcao em torno do ponto, segue que
1
sen z ez
Res 2 = 1, e Res 3 = 0.
z=0 z z=0 z

(c) Pelo Teorema dos Resduos temos:

1 1
sen z sen z ez ez
2
dz = 2iRes 2 = 2i e dz = 2iRes = 0.
z z=0 z z3 z=0 z 3
|z|=1 |z1|=2
2a Questao: Considere a equacao z 9 + z 5 8z 3 + 2z + 1 = 0.
a) (1,0) Quantas razes desta equacao satisfazem || < 1?
b) (0,5) Quantas razes da mesma equacao satisfazem || < 2?
c) (0,5) Quantas das razes da mesma equacao estao no anel 1 < |z| < 2?
Solucao (a) Observando que o valor absoluto do coeficiente de z 3 e maior que a soma dos valores
absolutos dos demais coeficientes, escolhemos no Teorema de Rouche,
f (z) = z 9 + z 5 8z 3 + 2z + 1 e g(z) = 8z 3 ; assim, se |z| = 1, temos que
|f (z) g(z)| = |z 9 + z 5 + 2z + 1| |z 9 | + |z 5 | + 2 |z| + 1 = 5 < 8 = |g(z)|,
consequentemente f e g tem o mesmo numero de zeros dentro do crculo unitario. Como g
tem a origem como unico zero (triplo), segue que f tem exatamente 3 zeros dentro do crculo
de raio 1 centrado na origem.
(b) Agora observamos que o termo com maior valor absoluto sobre o crculo |z| = 2 e z 9 .
Tomando entao g(z) = z 9 , teremos:
     
|f (z) g(z)| = z 5 8z 3 + 2z + 1 z 5 +8 z 3 +2 |z|+1 = 25 +26 +22 +1 < 29 = |g(z)| , se |z| = 2.

Logo todas as 9 razes da equacao estao dentro de |z| = 2.

(c) de (a) e (b) segue que existem 9 3 = 6 razes desta equacao no anel 1 < |z| < 2.
3 Questao: (1,0) Suponha que f e uma funcao holomorfa em |z| < 1 e que e contnua em
a

|z| 1. Alem disso, suponha que f (ei ) = 0, [0, /2]. Mostre que f 0.
(Sugestao: Considere a funcao g(z) = f (z)f (iz)f (z)f (iz).)
Solucao Seguindo a sugestao, seja g(z) = f (z)f (iz)f (z)f (iz). Temos que e um produto finito
de compostas de funcoes holomorfas e portanto holomorfa em |z| < 1 e e contnua em
|z| 1, por motivos semelhante, i.e., g e um produto finito de compostas de funcoes
contnuas em |z| 1. Alem disso g(ei ) = 0, [0, 2], logo pelo princpio do maximo,
g(z) 0, e portanto pelo menos um dos fatores que compoem g e nulo. Mas cada fator e f
composta com uma bijecao do disco unitario, logo f = 0.
4a Questao: Calcule as seguintes integrais reais, justificando brevemente as etapas do processo.
2
x dx
a) (1,5) ;
x4 + 1
0

cos(ax)
b) (1,5) dx, a, b > 0.
x2 + b2

Solucao (a)Seja I1 a integral a se calculada. A funcao integrando e uma funcao racional par que
nao se anula no eixo real e que tem um zero de ordem dois no . podemos entao integrar a
funcao racional
z2
,
z4 + 1
sobre o circuito da figura abaixo:
y

GR

R R R x
 Se R e suficientemente grande, todos os zeros do denominador da funcao integrando situados
no semi plano superior estarao no interior da curva R = R + R , portanto, para R 0,

z2 z2 z2 z2
dz = dz + dz = 2i Res .
z4 + 1 z4 + 1 z4 + 1 Imz>0
z z4 + 1
R R R

Parametrizando R , vemos que a integral correspondente tende a 0 quando R , visto que

o grau do denominador e duas unidades a mais que o grau do numerador.
2
x dx
A integral sobre R tende a = 2I1 , logo, como os zeros de z 4 + 1 que estao no semi
x4 + 1

plano superior sao z1 = ei/4 e z2 = e3i/4
z2 z2 z2
I1 = i Res 4 = i (Res 4 + Res 4 ).
z z +1 z=z1 z + 1 z=z2 z + 1
Imz>0

Utilizando o metodo pratico para calcular resduos em polos simples temos que se a4 + 1 = 0,
entao:
z2 a2 1 a1
Res 4 = 3 = = .
z=a z + 1 4a 4a 4
Temos finalmente que
( 1 ) ( i/4 )
z1 z21 e e3i/4 i 2 2
I1 = i + = i + = i( )= .
4 4 4 4 4 4

eiaz
(b) Calculamos a integral da funcao , ao longo do mesmo percurso do item (a).
z 2 + b2
Deveremos entao ter pelo teorema dos resduos que

eiaz eiaz eiaz eiaz
2 2
dz = 2 2
dz + 2 2
dz = 2iRes 2 2
= eab ,
z +b z +b z +b z=bi z +b b
R R R

ja que ib e o unico polo da funcao integrando situado no semi plano superior. E imediato que
a funcao eiaz e limitada no semi plano superior se a > 0, de modo que, como o denominador
tem grau 2,

eiaz eiax
dx = eab .
R
2 2
dz 0 2 2
z +b x +b b
R

Separando as partes real e imaginaria obtemos:

cos(ax) sen(ax)
2 2
dx = eab , e dx = 0.
x +b b x2 + b2

a
5 Questao: Considere a integral
2
ei(z1/2)
dz,
1 e2iz
DR

sendo DR o paralelogramo com vertices (1/2) (1 + i)R.

1+i
a) (0,5) Use o Teorema dos resduos para mostrar que o valor da integral e ;
2
b) (0,5) Parametrize os lados do paralelogramo para mostrar que a integral tende a

e2t dt,
2
(1 + i)

 quando R , e conclua (apos uma mudanca de variavel) que


ex dx =
2
.

Para um matematico, este fato deve ser tao obvio como e, para o mortal comum, que o
dobro de dois e quatro. Liouville foi mesmo um matematico.
Lord Kelvin
Solucao(a) Antes de qualquer outra coisa desenhamos o contorno sugerido, como na figura abaixo.
E imediato que o unico polo da funcao integrando no interior de DR e z = 0, qualquer que
seja R > 0. Portanto, pelo teorema dos resduos,
i(z1/2)2 2
[ 2
]
e ei(z1/2) ei(z1/2) 1+i
dz = 2iRes = 2i = e i/4
= .
1 e2iz z=0 1 e2iz 2ie2iz 2
DR z=0

DR

12
1 x
2

(b) Sem preocupacao com orientacao, os lados horizontais do circuito podem ser parametrizados por,
1 1
z(t) = t R(1 + i), t .
2 2
Vamos estimar as integrais sobre estes trechos horizontais e mostrar que os mesmos tendem a zero
quando R . Temos que

i(z 1/2)2 =i[(t 1/2) R(1 + i)]2 = i[(t 1/2)2 2R(1 + i)(t 1/2) + R2 (1 + i)2 ]
(1)
=i[(t 1/2)2 2R(t 1/2)] [2R2 2R(t 1/2)],
e

1 e2iz =1 e2i(tR(1+i)) = 1 e2i(tR)2R = eR (eR e2i(tR)R ). (2)

Assim, usando as equacoes (1) e (2), o modulo da funcao integrando sobre qualquer um dos lados
horizontais(para R 0) pode ser estimado por:
   
 ei(z1/2)2  ei[(t1/2)2 2R(t1/2)][2R2 2R(t1/2)]  e[2R 2R(t1/2)]
2
 
 = = R R
 1 e2iz  |eR (eR e2i(tR)R )| e |e e2i(tR)R |
(3)
[2R2 2Rt] 2R2 [1t/R] 2R2
e e e R
= R R R 0.
|e e 2i(tR)R | |e e R | |e e R |

Como este limite e independente de t que varia em um intervalo finito, seque que o mesmo acontece
com as integrais sobre os lados horizontais do paralelogramo.
Sobre os lados inclinados do paralelogramo, a parametrizacao e dada por:

z(t) = t(1 + i) 1/2 = t 1/2, t [R, R], = 1 + i.

De incio, para ficar mais facil de reconhecer as expressoes que aparecem, reescreveremos a funcao
integrando como segue:
2 2 2 2 2 2
ei(z1/2) eiz ei(z1/2) ei[(z1/2) +z] ei(z +1/4) ei/4 eiz ei/4 eiz
= = = = =
1 e2iz eiz (1 e2iz ) eiz eiz eiz eiz eiz eiz 2i eiz eiz
2i
2(1 i) e iz 2
= .
4 sen(z)
(4)

Agora, a soma das integrais, S sobre os lados inclinados do paralelogramo, levando em conta a
orientacao contraria do trecho a esquerda, que 2 = 2i e a ultima equacao e:

R R
2(1 i) 2(1 i)
2 2
ei(t+1/2) ei(t1/2)
S= dt dt
4 sen[(t + 1/2)] 4 sen[(t 1/2)]
R R
R [ ]
2(1 i) e i(t+1/2)2
e i(t1/2)2
= dt
4 sen[(t + 1/2)] sen[(t 1/2)]
R
R [ i(t2 2 t+1/4) ]
2(1 i)
2 2
e ei(t +t+1/4)
= + dt
4 cos(t) cos(t)
R
R 2t2 i/4 it R
2(1 i) e e (e + eit ) 2(1 i) 2
(1 + i)2 e2t dt
2
= dt =
4 cos(t) 4 2
R R
R
2t2
e2t dt
R 2
=(1 + i) e dt (1 + i)
R

Temos portanto que

2t2 1+i 1
e2t dt = .
2
(1 + i) e dt =
2 2


Fazendo a mudanca de variavel 2t = x,obtemos a integral desejada.