Escolar Documentos
Profissional Documentos
Cultura Documentos
O teorema dos residuos um instrumento muito til para avaliar algumas integrais
definidas de funes de varivel real.
Um primeiro tipo de integrais so
I. Integrais racional-trigonomtricos.
pode ser resolvido com auxilio do teorema dos residuos, observando que, pelas
frmulas de Euler,
z + z −1 z − z −1
z = eit = sent + icost, cost = , sent = .
2 2i
Asim, pela definio de integral de linnha,
Z 2π Z
z + z −1 z − z −1 dz
R(cost, sent)dt = R( , ) ,
0 |z|=1 2 2i iz
Como a funo f (z) = (z2 + 2az z+1)2 tm como pontos singulares (polos de ordem 2) as
b
raizes (mltiplas de ordem 2) do denominador
√ √
a2 − b2 − a a2 − b2 + a
z1 = , z2 = ,
b b
Typeset by AMS-TEX
1
2
e como apenas |z1 | < 1 (em quanto |z2 | > 1, ) temos, pela frmula de calculo de um
residuo num polo de ordem 2,
d z b2 a
Res(f, z1 ) = √ |z=z1 = .
dz (z + a2 −b2 +a 2
) 4(a2 − b2 )3/2
b
Sejam Pn (x) e Qm (x) dois polinmios com coeficientes reais, tais que Qm (x) 6= 0,
∀x ∈ R, e tal que a frao QPm
n (x)
(x) seja irredutivel. O nosso propsito calcular
Z +∞
Pn (x)
dx.
−∞ Qm (x)
Lema de Jordan (I) Seja f uma funo continua no exterior de um disco de raio
R0 , situado no semiplano superior, tal que
1
Falta calcular o residuo de (1+z 2 )n , no ponto z0 = i, (polo de ordem n.) Para isso,
usames a frmula
1 dn−1 (z − i)n
Res(f, z0 ) = limz→i [ ]=
(n − 1)! dz n−1 (z − i)(z + i)
1 dn−1 −n n−1 (2i)
−2n+1
(2n − 1)!
= limz→i n−1
[(z + i) ] = (−1) .
(n − 1)! dz [(n − 1)!]2
Assim,
Z +∞ −2n+1
1 n−1 (2i) (2n − 1)! (2n − 1)!
2 n
dx = 2πi(−1) 2
= 2π 2n−1 .
−∞ (1 + x ) [(n − 1)!] 2 [(n − 1)!]2
4
A fim de integrar funes que tm polos simplis sobre a curva de integrao, precisamos
fazer uma observao preliminria muito til.
Lemma. Seja f uma funo analtica na coroa 0 < |z − z0 | < r, que tm no ponto
z0 um polo simplis. Sejam α0 , α1 ∈ [0, 2π] ngulos dados e seja γr : z = reit , t ∈
[α0 , α1 ] uma arco de circulo centrado em z0 , de raio r e de ngulo ao centro α1 − α0 .
Ento: Z
limr→∞ f (z)dz = i[α1 − α0 ]Res(f, z0 ).
γr
Prova. Seja
b1
f (z) = + a0 + a1 (z − z0 ) + ..., 0 < |z − z0 | < r,
(z − z0 )
Seja agora f uma funo analtica no semiplano superior, com exeo de um numero
finito de singularidades e tal que que f tenha um polo simplis, digamos, x0 , no eixo
real e que verifica as hipoteses do Lema I de Jordan.
Ento, para calcular
Z +∞ Z x0 −r Z R
V.P. f (x)dx = limR→∞, r→0 [ f (x)dx + f (x)dx],
−∞ −R x0 +r
5
Exemplo. Calcule Z +∞
sen2 x
dx.
0 x2
Soluo. Pela frmula de duplicao,
1 − cos2x 1 − e2ix
sen2 x = = Re[ ].
2 2
Seja ento a funo
1 − e2iz
f (z) = ,
2z 2
analtica em C − {0}, onde tm um polo simplis. Pelo teorema de Cauchy para a
funo f e a curva fechada Γr,R , que o bordo do conjunto
R +∞
III. Integrais de tipo −∞
eimx QPm
n (x)
(x) dx.
Lema de Jordan (II) Seja f uma funo continua no exterior do disco de raio
R0 , situado no semiplano superior que verifica a condio lim|z|→∞ |f (z)| = 0. Seja
γR : z = Reit , 0 < t < π. Ento
Z
limR→∞ f (z)eiλz dz = 0.
γR
Prova. Padro. Veja, por exemplo,o livro de Churchill. Detalhes na sala de aula.
Exemplo. Calcule Z ∞
cos ax
I= dx.
0 x2 + b2
Soluo. Seja Z ∞
senax
J= dx;
0 x2 + b2
ento estimamos Z ∞
eiaz
I + iJ = dx.
0 z 2 + b2
Para isso, consideramos o circuito ΓR como acima, aplicamos o teorema dos residuos
(para um R bastante grande), passamos ao limite e pagamos a parte real. Como a
1
funo z2 +b2 verifica as hiptesis do Lema de Jordan (II),
Z ∞
cos ax eiaz eia(ib) πe−ab
dx = Re[2πiRes( , ib)] = Re[2πi ] = .
0 x2 + b2 z 2 + b2 2ib 2b
Por outro lado, ao longo do segmento vertical z = −r + iy, y ∈ [0, 2π], tm-se
e−ar
|f (z)| ≤ → 0, r → ∞,
1 − e−r
ear
|f (z)| ≤ → 0, r → ∞.
1 − er
Assim,
Z
eaz
lim dz =
r→∞ Γr 1 + ez
8
Z +∞ Z +∞
eax eax
= dx − e2aπi dx = −2πieπai .
−∞ 1 + ex −∞ 1 + ex
Por fim,
Z +∞
1 − e2aπi eax
dx = −eaπi
2πi −∞ 1 + ex
o que nos leva a concluso.
1
Soluo. A funo f (z) = 2 1 tm dois pontos de ramificao finitos z0 = 1 e
(1+z) 3 (1−z) 3
z1 = −1. Seja CR o circulo centrado em zero e de raio R, γ1,r o circulo centrado em
−1 e de raio r e γ−1,r , o circulo centrado em 1 e de raio r. Seja o circuito ΓR,r que a
fronteira do conjunto ΩR,r = {|z| < R}−{|z +1| < r}−{|z1 | < r}−[−1+r, 1−r] (o
disco de raio R menos dois discos de raio r, centrados em 1 e −1 menos o segmento
real [−1 + r, 1 − r]), positivamente orientado. Como a funo f analitica nesta regio,
temos:
Z
f (z)dz = 0.
∂ΩR
Esta integral uma soma de integrais uma sobre 3 circulos e duas integrais sobre
segmentos horizontais. As integrais sobre os ciruclos de raio r tendem para zero,
quando r → 0. Para avaliar as integrais sobre os segmentos, precisamos escolher o
ramo da funo e levar em conta a variao do argumento de z − 1 e z + 1 ao longo da
trajetria, em fim, a integral sobre o circulo grande tende para 2πiRes(F, ∞).
Consideremos o ramo da multifuno f , cuja restio ao intervalo [−1, 1] coincida
1
com a funo valor real f (x) = 2 1 . Para isso escrevamos
(1+x) 3 (1−x) 3
donde
iπ
K1 = e− 3 ; para a parte inferior,
donde K2 = e−5iπ/3 .
iπ 5iπ
Prosseguindo temos: (e− 3 − e− 3 )I = 2πiRes(f, ∞), portanto
I = − 2π
3 Res(f, ∞).
Agora s falta calcular o residuo no infinito; para isso desenvolvemos a funo f em
srie de Laurent em torno do infinito:
1 1 2 1 1 1 2 2
f (z) = (1 + )− 3 (1 − )− 3 = (1 − z + ...)(1 − z + ...),
z z z z 3 3
10
2π
I= .
3
Exemplo 3. Calcule Z ∞
log x
dx.
0 x2 + 1
2
Soluo. Seja a funo f (z) = (logz)
z 2 +1 e o caminho de integrao, a curva Γr, R , que o
bordo da regio
Ωr,R = { z = ρeit , r < ρ < R, 0 < t < 2π},
positivamente orientado. (A curva Γr,R a reunio do segmento [r, R], com o circulo
de raio R centrado em zero, percorrido no sentido trigonomtrico, com o segmento
[−R, −r] e com o circulo de raio r, centrado em zero, percorrido no sentido horrio
).
Pelo teorema dos residuos,
Z
(logz)2 (logz)2 (logz)2 1 iπ 3iπ 2
2
dz = 2πi[Res[ 2
, i]+Res[ 2
, i]] = 2πi[ (( )2 −( ) )] = 2π 3 .
γr,R z + 1 z +1 z +1 2i 2 2
(logz)2
f (z) = ,
(z 2 + 1)2
(o segmento [r, R], seguido pelo semi-circulo de raio R centrado em zero, percorrido
no sentido trigonomtrico, pelo segmento [−R, −r] e pelo semi-circulo de raio r,
centrado em zero, percorrido no sentido horrio ), usamos o teorema dos residuos e
faamos r → 0, R → ∞.
Pelo Lema de Jordan I,
Z
(logz)2
dz → 0, R → ∞,
γR (z 2 + 1)2
em quanto
Z Z Z
(logz)2 (log(reit ))2 (log 2 r + 2itlogr − t2 )
| dz| = | reitdt| = | reitdt| ≤
γr (z 2 + 1)2 0π (r2 e2it + 1)2 0π (r2 e2it + 1)2
Z
|log 2 r| + 2|logr| + t2 )
≤| rdt| → 0, R → ∞,
0π r2 − 1)2
p
onde na ltima estimativa, usamos o fato que limr → 0 logr r = 0, para todo p > 0.
Usando o Teorema dos residuos, (polo em i) e o exercicio anterior, obtemos
Z ∞
log x π
dx = − .
0 (x2 + 1)2 4
Exemplo 5. Calcule Z ∞
log(x2 + 1)
dx.
0 x2 + 1
Soluo. A funo
f (z) = log(z 2 + 1)
12
tm dois pontos de ramificao: i e −i; ento para torna-la analtica e univalente, pre-
cisamos fazer um corte ao longo do segmento que une os dois pontos; o problema
que depois disso impossivel integrar ao longo de circuitos ”bons” que contenham
o intrevalo (0, ∞).....
A idea nova de considerar uma funo auxiliar, que tenha apenas um nico ponto
de ramificao; por exemplo, a funo F (z) = Log(z+i)
z 2 +1 a qual analtica e univalente no
plano complexo menos o semi-eixo negativo dos y, que se origina em −i (esse o
corte de ramo!).
Aplicamos ento o teorema dos residuos para esta funo e para o bordo do semi-
disco
ΩR = {z = ρeit , 0 < ρ < R, 0 < t < π }
que consiste do segmento [0, R] seguido pelo arco de circulo γR , e pelo segmento
[−R, 0]. No (nico) polo i, o residuo da funo F log(2i)
2i . Ento, pelo teorema dos
residuos, Z
Log(z + i) π
2
dz = π(log2 + i ).
ΓR z +1 2
Pelo Lemma I de Jordan a integral sobre o semicirculo γR tende para zero (porqu?).
Explicitando a integral e passando ao limite R → ∞, obtemos:
Z Z +∞ Z +∞
log(z + i) log(x + i) log(−x + i)
limR→0 dz = dx + dx =
γR z2 + 1 0 x2 + 1 0 x2 + 1
Z +∞ Z +∞
log(x + i)(−x + i) log(−x2 − 1)
= dx = dx =
0 x2 + 1 0 x2 + 1
Z +∞ Z +∞
log(x2 + 1) 1
= 2
dx + πi 2
dx.
0 x +1 0 x +1
Por fim, deduzimos que
Z +∞ Z +∞
log(x2 + 1) 1 π2
dx + πi dx = πlog2 + i ,
0 x2 + 1 0 x2 + 1 2
portanto Z ∞
log(x2 + 1)
dx = πln2.
0 x2 + 1
....Colocar ftos bsicos sobre as funes Beta e Gamma de Euler....
Lema 1. Seja F uma funo analtica em C−{z0 , z1 , ..., zn } tal que lim|z|→+∞ |F (z)| =
0. Ento Z c+i∞ Xn
1 tz
e F (z)dz = Res(etz F (z), zk ),
2πi c−i∞
k=0
para todo c > 0 tal que Rezk < c, k = 0, 1, ...n.
Prova. E s aplicar o teorema dos residuos para a funo etz F (z) e o circuito ΓR
formado por um arco de circulo centrado em 0 e de raio R junto com uma sua corda
vertical, de abscissa c para R suficientemente grande tal que todas as singularidades
de F estejam neste conjunto e fazer R → ∞; pelo Lema I de Jordan a concluso
imediata.
Z c+i∞ m
X m
X
−1 1 zt zt ezk t P (zk )
L F (z)(p) = e F (z)dz = Res(e F (z), zk ) = .
2πi c−i∞ 0 0
Q0 (zk )
Esta frmula, que se pode deduzir tambm a partir das propriedades da transfor-
mao de Laplace, a frmula de Heaviside.
se−s
F (s) = .
s2 + 1
Soluo. Visto que as singularidades de F so os pontos i e −i, o semiplano x > 0
ser a regio de convergncia para F (s) = L(f )(s), a transformada de Laplace de f. A
frmula de inverso d:
Z c+i∞ Z c+i∞
1 se−s est 1 ses(t−1)
f (t) = 2
ds = ds,
2πi c−i∞ s +1 2πi c−i∞ s2 + 1
onde c > 0 pode ser escolhido de modo arbitrrio.
Distinguimos dois casos:
Caso I: se t < 1, ento
limRe(s)→+∞ es(t−1) → 0.
Escolhendo como caminho de integrao a reta vertical que passa por c, percorrida de
baixo para cima, seguida por um semi-circulo de raio R, centrado em zero, situado
no semiplano x > 0, percorrido no sentido horrio, temos, pelo teorema dos residuos
e pelo Lema I de Jordan, obtemos f (t) = 0.
Em compensao, para t > 1, a exponencial
limRe(s)→−∞ es(t−1) → 0.
Neste caso, a integral deve ser calculada escolhendo um caminho de integrao que
contm a reta x = c, percorrida de baixo para cima, seguida pelo semicirculo de
raio R, situado no semiplano Re(z) < c. Um tal circuito, percorrido no sentido
trigonomtrico, contm dois polos simplis da funo; usando o teorema dos residuos e
o Lema I de Jordan, temos:
Z c+i∞
1 se−s est se−s est se−s est ei(t−1) e−i(t−1)
ds = Res[ , i]+Res[ , −i] = + = cos(t−1).
2πi c−i∞ s2 + 1 s2 + 1 s2 + 1 2 2