COMPLEMENTOS DE MATEMTICA.

NOTAS DE CURSO. I 0 semestre 2007.

Aula 8. O teorema dos residuos e aplicações ao clculo de integrais

reais. (10 horas)

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.

Sejam R(x, y) uma funo racional nas variveis x e y; o problema de calcular

Z 2π
R(cost, sent)dt,
0

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

onde o circulo |z| = 1 percorrido no sentido trigonomtrico, uma vz.

Exemplo. Calcule a seguinte integral:

Z 2π
dt
, a > b > 0.
0 (a + bcost)2

Soluo: Com as substities como acima, obtemos

Z 2π Z Z
dt 4 zdz
= 2 2a = f (z)dz.
0 (a + bcost)2 ib |z|=1 z + b z + 1)2
2
|z|=1

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

Pelo teorema dos residuos,

Z 2π
dt 4 b2 a 2πa
2
= 2πi 2 2 2 3/2
= 2 .
0 (a + bcost) ib 4(a − b ) (a − b2 )3/2

Exercicio 1. Calcule as seguintes integrais:

Z 2π
1 2π
i) dt (R : √ ).
0 1 + kcost 1 − k2
Z π
(2n)!
ii) sen2n tdt (R : π ).
0 (2n n!)2
Z 2π
cos5t
iii) dt.
0 2 + sent
R 2π cos5t
R 2π sen5t
R 2π e5it
(Sugesto: seja I = 0 2+sent dt eJ = 0 2+sent dt; estime I + iJ = 0 2+sent dt
etc.)
Z 2π
1
iv) dt.
0 2 + sen5t
5it
(Sugesto: faa a substituio z = e .)

II Integrais imprprias de funes racionais

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)

Para isso, precisamos de um resultado auxiliar.

Lema de Jordan (I) Seja f uma funo continua no exterior de um disco de raio
R0 , situado no semiplano superior, tal que

lim |z||f (z)| = 0.

|z|→+∞

Seja γR : z = Reit , 0 < t < π, o semicirculo centrado em zero e de raio r. Ento

Z
limR→∞ f (z)dz = 0.
γR
 3

Prova. A prova padro e encontra-se no livro. Detalhes na sala de aula.

Um classe de funes que verificam esta condio so as funes racionais (quociente de

polinmios), tais que a diferncia entre o grau do numerador e do denominador seja
maior igual que 2.

Exemplo. Calcule, utilizando o teorema dos residuos

Z +∞
1
In = dx n ≥ 1.
−∞ (1 + x2 )n

Compare com a soluo ”elementar.”

Soluo. Seja a funo f (z) = (1+z1 2 )n . Os pontos singulares so z0 = i e z1 = −i

(polos de ordem n.) Seja ΓR = [R, R] ∪ γR , onde γR : z = Rit , 0 < t < π.
Pelo teorema dos residuos,
Z
1 1
2 n
dz = 2πiRes[ , i].
ΓR (1 + z ) (1 + z 2 )n

Explicitando o primeiro membro,

Z Z +R Z
1 1 1
dz = dx + dz.
ΓR (1 + z 2 )n −R (1 + x2 )n γR (1 + z 2 )n

Como limR→∞ |z||f (z)| = 0, pelo Lema de Jordan I, temos que

Z
1
dz → 0, R → 0.
γR (1 + z 2 )n

Aps passar ao limite (R → 0) nos dois membros, obtemos

Z +∞
1 1
dx = 2πiRes( , i).
−∞ (1 + x2 )n (1 + z 2 )n

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

Em particular, para n = 1, obtemos

Z +∞
1
dx = π,
−∞ (1 + x2 )
como o leitor pode verifcar sem dificuldade, mediante clculos elementares.

II (bis) Integrais imprprios de funes com polos no eixo real. O teorema

dos semi-residuos.

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 )

o desenvolvemento em srie de Laurent da funo f em torno de z0 . Integrando esta

relao, obtemos,
Z Z Z
b1
f (z)dz = dz + (a0 + a1 (z − z0 ) + ...)dz.
γr γr (z − z0 ) γr

Parametrizando a curva γr , obtemos:

Z Z α1 Z
b1 it
f (z)dz = it
rie dt = i(α 1 − α0 ). − πib 1 + ϕ(z)dz;
γr α0 re γr

como a funo ϕ(z) = a0 + a1 (z − z0 ) + ... analtica (soma de uma srie de potncias

positivas
R de (z − z0 )) e como o comprimento do arco de circulo γr r(α1 − α0 ),
γr
ϕ(z)dz → 0, r → 0, portanto
Z
limr→0 f (z)dz = (α1 − α0 )Res(f, x0 ).
γr

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

podemos escolher como caminho de integrao a fronteira da regio

Ωr,R,x0 = {(x, y), x2 + y 2 ≤ R2 , (x − x0 )2 + y 2 ≥ r2 y > 0},

percorrida no sentido positivo. Se a funo f verifca as hipteses do Lema I de Jordan,

ento Z
limR→∞ f (z)dz = 0.
ΓR

Resumindo, se f verifca as hipteses do Lema de Jordan I, ento

Z +∞ X
V.P. f (x)dx = 2πi[ Res(f, zk )] + πiRes(f, x0 ).
−∞ Imzk >0

(o sinal − deve-se ao sentido de percurso do semicirculo!)

A frmula se generaliza com facilidade se f tm no eixo real um nmero finito de
polos simplis.

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,R = {z = ρeit , 0 < ρ < R, 0 < t < π},

R
positivamente orientado Γr ,R
f (z)dz = 0.
Como
|z||1 − e2iz |
lim|z|→∞ = 0,
2|z|2
pelo Lema I de Jordan, resulta que
Z
limR→∞ f (z)dz = 0.
γR

Por outro lado, pelo Lema,

Z
1 − e2iz
limr→0 f (z)dz = −πiRes( , 0) = −πi(−2i) = −π,
γr 2z 2

onde o semicirculo γr percorrido no sentido horrio.

6

Explicitando as integrais ao longo dos segmentos [−R, −r] e [r, R] e fazendo

r → 0 e R → ∞, obtemos
Z +∞
sen2 x π
2
dx = .
0 x 2

R +∞
III. Integrais de tipo −∞
eimx QPm
n (x)
(x) dx.

Mais interessantes (talvz) do que as integrais improprios de funes racionis (as

quais, lembramos, podem ser calculadas decompondo em ”fraes simplis”), so as
integrais contendo exponencias.

Para resolve-los, precisaremos de uma nova estimativa.

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

IV ∗ . Integrais imprprios de funes periodicas na varivel y.

Se a funo f periodica em y, i.e. se f (x + iy) = f (x + i(y + T )), ento essa poder

ter, no semiplano superior, uma infinitade de polos e as tecnicas (os caminhos de
integrao) escolhidos anteriormente sero inoperantes para o calculo, digamos, de
 7
R +∞
−∞
f (x)dx. Nesse caso, podemos usar como caminho de integrao a fronteira de
um retngulo de base [−r, r] e cuja altura, b escolhida de modo que no retngulo
[−r, r]X[0, b] a funo f tenha apenas uma singularidade e tal que f (x + ib) seja
proporcional com f (x). Se, alm disso, as integrais sobre os lados verticais tendem
para zero, quando r → ∞, ento
Z ∞
2πiRes(f, a)
f (x)dx = ,
−∞ C

onde a a singularidade de f e C uma constante.

Ilustraremos esta situao a seguir.

Exemplo. Mostre que

Z +∞
eax π
x
dx = , a ∈ R.
−∞ 1+e senaπ
az
e z
Soluo. Seja a funo f (z) = 1+e z . Como a equao e = −1, tm, no semiplano
superior infinitas solues zk = iπ + 2kπi, k ≥ 0, e como a exponencial complexa
tm periodo 2πi, escolhemos como caminho de integrao a curva Γr , a fronteira do
retngulo delimitado pelas retas x = −r, x = r, y = 0, y = 2π. Pelo teorema dos
residuos, Z
eaz
z
dz = 2πiRes(f, iπ) = −2πieπai .
Γr 1 + e
Sobre o segmento horizontal y = 0, x ∈ [−r, r], percorrido no sentido crescente de
x,, a integral vira Z r
eax
x
dx.
−r 1 + e

Sobre o segmento horizontal y = 2π, x ∈ [−r, r], percorrido da direita para a

esquerda, a integral vira
Z r Z r
ea(x+2πi) eax
− dx = −e2aπi dx.
−r 1 + ex+2πi −r 1 + ex

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

em quanto ao longo do segmento vertical z = r + iy, y ∈ [0, 2π], tm-se

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.

Observao∗ . No podemos deixar de notar, (para a alegria dos leitores familiar-

izados com as funes beta e gamma de Euler, que esta integral, pela substitio u = ex
torna-se exatamente a funo B(a, 1 − a) e como, pelas relaes conhecidas entre as
funes B e Γ de Euler:
Γ(p)Γ(q)
B(p, q) = ,
Γ(p + q)
π
e pela propriedade da funo Γ : Γ(p)Γ(1 − p) = senpπ , obtemos B(a, 1 − a) =
Γ(a)Γ(1−a) π
Γ(1) = senaπ .

V . Integrais de funes multi-valentes.

Quando queremos calcular integrais imprprios reais de funes multivalentes com

o auxilio do teorema dos residuos, (por exemplo integrais de funes que contem
Logz), precisamos primeiro fazer um corte no plano, que torne a respetiva multi-
funo univalente e que permita ao mesmo tempo a integrao ao longo de circuitos que
contenham os segmentos (ou as semiretas) do eixo real envolvidas no enunciado da
integral. Occorem, basicamente dois casos:

Caso 1. Se a funo multi-valente f (z) tm um nico ponto de ramificao finito,

R +∞
digamos, a origem (como no caso de Logz) e precisamos calcular 0 f (z)dz,
fazemos o corte ao longo do eixo positivo dos x e escolhemos como caminho de
integrao a fronteira da regio

Ωr,R = {z = ρeit , r < ρ < R, 0 < t < 2π}.

(a coroa circular centrada em zero, de raio interno r e de raio externo R menos a

semi-reta positiva dos x), percorrida no sentido positivo. Se conseguimos provar
que as integrais ao longo dos circulos (grande e pequeno) tendem para zero, quando
R → ∞ (respetivamente, r → 0), ficamos com dois integrais ao longo do segmento
real [r, R] que no cancelam, por causa da variao do argumento ao longo do caminho
de integrao, porm so proporcionais. O teorema dos residuos pode ser ultilizado.

Exemplo∗ . Mostre que

Z ∞
x−a π
dx = , 0 < a < 1.
0 x+1 senaπ

(detalhes na sala de aula; veja tambm Churchill, pag 160-161.)

 9

Caso 2∗ . Se a multi-funo tm dois pontos de ramificao reais finitos, ento podemos

fazer o corte ao longo do segmento que une os dois pontos e considerar como caminho
de integrao a fronteira da regio obtida tirando do disco de raio R centrado na origem,
o segmento de corte, junto com dois circulos pequenos, centrados nos pontos de
ramificao. Etc.
Exemplo 2∗ . Mostre que
Z 1
dx 2π
2 1 =√ .
−1 (1 + x) (1 − x)
3 3 3

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

(z + 1)2/3 (z − 1)1/3 = ρ2/3 r1/3 e2iϕ/3 eiθ/3 K,

quando ϕ = 0 e θ = π (ou seja, quando estamos na parte de cima do segmento

[−1 + r, 1 − r],) obtemos

(z + 1)2/3 (z − 1)1/3 = (x + 1)2/3 (1 − x)1/3 ei0 eiπ/3 K1 = (x + 1)2/3 (1 − x)1/3 ,

donde
iπ
K1 = e− 3 ; para a parte inferior,

(z + 1)2/3 (z − 1)1/3 = (x + 1)2/3 (1 − x)1/3 ei2pi/3 eiπ/3 K2 = (x + 1)2/3 (1 − x)1/3 ,

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

donde deduzimos que Res(f (z), inf ty) = −1 e

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

Por outro lado, a integral do primeiro membro se decompe em

Z Z R Z Z R
(logz)2 (logx)2 (logz)2 (log(x2πi)2
dz = dx + dz − dx,
γr,R z2 + 1 r x2 + 1 γR z2 + 1 r x2 + 1

onde na explicitao da ltima integral, levamos em conta a variao do argumento de

z, aps percorrer o circulo γR . Portanto,
Z Z Z R Z R
(logz)2 (logz)2 (logx)2 (logx + 2πi)2
dz = dz + dx − dx =
γr,R z2 + 1 γR z2 + 1 r x2 + 1 r x2 + 1
Z Z R Z R
(logz)2 (logx)2 (logx)2 + 4πilogx − 4π 2
= dz + dx − dx.
γR z2 + 1 r x2 + 1 r x2 + 1
Assim, deduzimos que:
Z Z R Z R
(logz)2 4π 2 4πilogx
2π 3 = dz + dx − dx.
γR z2 + 1 r x2 + 1 r x2 + 1

Pelo Lema I de Jordan,

Z
(logz)2
dz → 0, R → ∞;
γR z2 + 1

por outro lado

Z R Z +∞
4π 2 4π 2 4π 3
dx → = = 2π 3 , R → ∞, r → 0.
r x2 + 1 0 x2 + 1 2
 11

Por fim, obtemos Z ∞

log x
dx = 0.
0 x2 + 1

Exemplo 4*. Calcule Z ∞

log x
dx.
0 (x2 + 1)2
Sugesto: considere a funo

(logz)2
f (z) = ,
(z 2 + 1)2

que univalente e analtica em C − {(0, y), y < 0} (corte ao longo do semi-eixo

negativo dos y.)
Escolhemos como caminho de integrao, o bordo da regio

Ωr,R = { z = ρeit , r < ρ < R, 0 < t < π},

(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....

A Frmula de inverso para a transformada de Laplace.

Seja f : R → C, integrvel sobre qualquer intervalo finito. Por definio a trans-

formada de Laplace de uma funo f como acima uma funo F : C → C, dada
por:
Z +∞
F (p) = f (t)e−pt dt,
0
 13

posto que a integral acima seja convergente.

Como operador, notamos com L(f )(p) = F (p).
A transformada de Laplace prova-se muito til na reslouo de problemas de equaes
diferenciais ordinrias e com derivadas parciais.
Suponhamos que o nosso leitor esteja familiarizado com a definio e as pro-
priedades bsicas da transformada de Laplace L e seu uso em problemas de equaes
diferenciais. Um dos problemas mais imporantes, deste ponto de vista de achar
condies e que garantam que
L−1 (L(f )) = f.
Ns apenas apresenteremos um mtodo para achar uma frmula de inverso, utlilizando
residuos: mais precisamente, conhecendo uma funo F (p), (que verifica certas re-
stries), queremos determinar a funo f (t) tal que L(f )(p) = F (p), ou seja queremos
determinar (se existe) a transformada de Laplace inversa de F, L−1 (F )(t) = f (t).

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.

Teorema * (a frmula de inverso complexa para a transformada de

Laplace). Seja f uma funo com variao limitada (por exemplo, uma funo que tm
um numro finito de discontinuidades de tipo salto), tal que sua transformada de
Laplace, L(f )(s) = F (s), seja absolutamente convergente para Re(s) > x0 :
Z +∞
e−st |f (t)|dt < ∞.
0

Ento vale a seguinte frmula de inverso complexa:

Z c+i∞
f (t+ ) + f (t− ) 1
= V.P. est F (s)ds, ∀ c > x0 .
2 2πi c−i∞
Alm disso,
Z c+i∞
+ 1
f (0 ) = V.P. F (s)ds, c > x0
2πi c−i∞
e para todo t < 0,
Z c+i∞
1
V.P. est F (s)ds = 0, c > x0 .
2πi c−i∞

Exemplo 1. Use a frmula de inverso de Bromwich, para achar a transformada

P (z)
de Laplace inversa da funo F (z) = Q(z) , onde P e Q so polinnios primos entre s,
com grau(P ) < grau(Q), e tal que os zeros de Q sejam todos simplis.
14

Soluo: Sejam z0 , z1 , ...zm os zeros de Q; claramente esses so polos simplis para

a funo F (z) e se c > max{Re(zk ), k = 0, m}, ento pela frmula de Bromwich,

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.

Exemplo 2. Ache a transformada de Laplace inversa, L−1 (F ), da funo

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

Exercicio 1. Usando a frmula complexa de inverso, ache a transformada de

Laplace inversa da funo
b
F (s) = .
(s + a)2 + b2
Resposta: f (t) = e−at senbt.