UNIVERSIDADE ESTADUAL DO OESTE DO PARAN

Fabricio Michel Denes

Resoluo de Equaes Diferenciais Lineares

por meio da Transformada de Laplace

Cascavel, Paran 2014

Fabricio Michel Denes

Resoluo de Equaes Diferenciais Lineares por meio da

Transformada de Laplace

Monografia apresentada ao Centro de Cincias Exatas e Tecnolgicas - CCET, Colegiado

do Curso de Matemtica da Universidade Estadual do Oeste do Paran como requisito
parcial para obteno do ttulo de licenciado
em Matemtica.

Universidade Estadual do Oeste do Paran UNIOESTE

Licenciatura em Matemtica

Orientador: Prof.a Dr.a Raquel Lerher

Cascavel, Paran
2014

Fabricio Michel Denes

Resoluo de Equaes Diferenciais Lineares por meio da

Transformada de Laplace

Monografia apresentada ao Centro de Cincias Exatas e Tecnolgicas - CCET, Colegiado

do Curso de Matemtica da Universidade Estadual do Oeste do Paran como requisito
parcial para obteno do ttulo de licenciado
em Matemtica.

Trabalho aprovado. Cascavel, Paran,

de

Prof.a Dr.a Raquel Lerher

Orientadora

Professor
Convidado 1

Professor
Convidado 2

Cascavel, Paran
2014

de

Este trabalho dedicado s crianas adultas que,

quando pequenas, sonharam em se tornar cientistas.

No vos amoldeis s estruturas deste mundo,

mas transformai-vos pela renovao da mente,
a fim de distinguir qual a vontade de Deus:
o que bom, o que Lhe agradvel, o que perfeito.
(Bblia Sagrada, Romanos 12, 2)

Resumo
Neste trabalho estudamos a Transformada de Laplace bem como sua frmula complexa
de inverso, a qual faz uso da teoria de variveis complexas. Aplicamos a Transformada
de Laplace e a Transformada Inversa de Laplace para encontrar a soluo geral de uma
equao diferencial linear que modela uma corrente eltrica no tempo, em um circuito
eltrico formado por um resistor e um indutor, sujeito a uma fonte de alimentao do tipo
onda quadrada.
Palavras-chaves: Equaes Diferenciais. Transformada de Laplace. Teorema dos Resduos.

Lista de ilustraes
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura

1
2
3
4
5
6
7
8
9
10
12
13
14
15
16
17

Sistema massa-mola . . . . . . . . . . . .
Tipos de filtros RLC . . . . . . . . . . . .
Estabilizado de tenso RLC . . . . . . . .
Circuito eletrico simples . . . . . . . . . .
Exemplo de funo contnua por partes . .
Exemplo de funo peridica . . . . . . .
Funes de Heaveside (degrau unitrio) . .
Funo onda quadrada . . . . . . . . . . .
Funo onda quadrada para o exemplo 4 .
Contorno para o teorema 3.1 . . . . . . .
C1 e C2 so crculos concntricos . . . . .
n pontos singulares no interior do contorno
Contorno semicircular para o Exemplo 16
Contorno de Bromwich . . . . . . . . . . .
Circuito para o Exemplo 19 . . . . . . . .
Fonte de tenso para o Exemplo 19 . . . .

. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
C
. .
. .
. .
. .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

22
23
24
24
30
34
38
39
39
44
48
55
57
62
67
67

Sumrio
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

EQUAES DIFERENCIAIS LINEARES

17

EQUAES DIFERENCIAIS . . . . . . . . . . . . . . . . . . . . . . 19

1.1

Equaes Diferenciais Lineares . . . . . . . . . . . . . . . . . . . . . . 19

1.2

Problema de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . 20

1.3

Equaes lineares de Segunda Ordem . . . . . . . . . . . . . . . . . . 21

1.4

Aplicaes das Equaes Lineares . . . . . . . . . . . . . . . . . . . . 22

1.4.1

Aplicaes mecnica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

1.4.2

Aplicaes a circuitos eltricos . . . . . . . . . . . . . . . . . . . . . . . . 23

II

TRANSFORMADA DE LAPLACE

TRANSFORMADA DE LAPLACE . . . . . . . . . . . . . . . . . . . 29

2.1

Definio e Propriedades da Transformada de Laplace . . . . . . . . 29

2.2

Transformada de Laplace de derivadas . . . . . . . . . . . . . . . . . 35

2.3

Transformadas de Laplace de Funes Descontnuas . . . . . . . . . 37

III

TEOREMA DOS RESDUOS

TEOREMA DOS RESDUOS

3.1

Sries de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

3.2

Sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

3.2.1

Classificao de Pontos Singulares Isolados . . . . . . . . . . . . . . . . . 51

3.3

Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

3.4

Teorema de Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

3.5

Aplicao do Teorema de Resduos . . . . . . . . . . . . . . . . . . . 56

IV

TRANSFORMADA INVERSA DE LAPLACE

A TRANSFORMADA INVERSA DE LAPLACE . . . . . . . . . . . 61

27

41

. . . . . . . . . . . . . . . . . . . . . 43

59

RESULTADOS

65

Concluso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

Referncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

15

Introduo
A equao diferencial uma equao cuja incgnita uma funo que aparece
na equao sob a forma das respectivas derivadas e como a prpria funo. As equaes
diferenciais foram criadas juntamente com o clculo diferencial e integral. So usadas para
construir modelos matemticos que descrevem os mais diversos fenmenos fsicos, tendo
aplicao prtica em diversas reas do conhecimento, como por exemplo, em medicina,
engenharia, qumica, biologia, etc. Dentre os diversos tipos de equaes diferenciais optamos
por estudar as equaes diferenciais lineares, pois segundo Bassanezi e Ferreira Junior
(1998) um estudo srio de equaes diferenciais deve sempre comear pela boa compreenso
da teoria e mtodos das equaes lineares de coeficientes constantes. Alm disso

As equaes lineares de segunda ordem tm importncia decisiva no

estudo das equaes diferenciais, por duas razes principais. A primeira
a de as equaes lineares terem uma rica estrutura terica subjacente a
vrios mtodos sistemticos de soluo. Alm disso, uma boa parte desta
estrutura e destes mtodos compreensvel em um nvel matemtico
bastante elementar.[...] Outra razo para investigar as equaes lineares
de segunda ordem a de serem essenciais para qualquer estudo srio
das reas clssicas da fsica matemtica. No se pode avanar muito
no desenvolvimento da mecnica dos fluidos, da conduo do calor, do
movimento ondulatrio ou dos fenmenos eletromagnticos sem encontrar
a necessidade de resolver equaes diferenciais lineares de segunda ordem.
(BOYCE; DIPIRMA, 1999)

Assim neste trabalho propomos o estudo da Transformada de Laplace como mtodo

de resoluo de problemas de valor inicial envolvendo equaes diferenciais lineares de
segunda ordem. Mais especificamente a resoluo de equaes diferenciais que modelam
um oscilador harmnico com forante descontnuo. A escolha de estudar estes modelos se
deu, alm da afinidade do autor com circuitos eltricos/eletrnicos, e pelas afirmaes:
A transformada de Laplace particularmente conveniente para resolver
vrios problemas prticos em engenharia envolvendo sistemas mecnicos
e eltricos sob a ao de foramentos descontnuos ou impulsivos, para
tais problema mtodos como Variao de Parmetros e Coeficientes a
Determinar so, muitas vezes, difceis de utilizar. (BOYCE; BRANNAN,
2008, p. 283)
A vantagem do mtodo das transformadas de Laplace est no fato de que
problemas homogneos como no homogneos so resolvidos da mesma
forma e obtemos diretamente a soluo. (BASSANEZI; FERREIRA
JUNIOR, 1998, p. 252)
A transformada de Laplace til na resoluo de equaes diferenciais
ordinrias com coeficientes constantes.[...] Alm de poder ser utilizada
para resolver sistemas com duas ou mais equaes diferenciais. (SPIEGEL,
1971, p. 102-103)

16

INTRODUO

O trabalho est dividido em quatro partes. Na parte 1 apresentamos uma breve

introduo s equaes diferenciais em geral e uma explanao um pouco mais longa sobre
as equaes lineares de segunda ordem e suas aplicaes. Na segunda parte tratamos de
apresentar os conceitos principais e algumas propriedades da Transformada de Laplace. A
terceira parte trata da srie de Laurent e o Teorema de Resduos de Cauchy, tema necessrio
para podermos tratar da importantssima forma complexa da Transformada Inversa de
Laplace, assunto abordando na quarta parte junto com o exemplo de equao diferencial
que requer o uso da Transformada de Laplace e da forma complexa da Transformada
inversa de Laplace.

Parte I
Equaes Diferenciais Lineares

19

1 Equaes Diferenciais
Uma equao diferencial uma equao cuja incgnita uma funo que aparece
na equao, como a prpria funo e sob a forma das respectivas derivadas. Segundo Nagle,
Saff e Snider (2012), as equaes diferenciais surgem quando modelos matemticos so
desenvolvidos para auxilar na compreenso de fenmenos fsicos.
As equaes diferenciais assumem diversas formas, podendo assim ser classificadas:
em funo da quantidade de variveis independentes da funo, a equao dita
ordinria caso a funo dependa de apenas uma varivel, e dita parcial nos demais
casos;
em funo da ordem da derivada, de mais alta ordem, da funo incgnita;
e quanto a linearidade, podendo ser linear ou no-linear.
Exemplo 1: Tipos de Equaes Diferenciais
y 0 = 2x equao diferencial ordinria linear de ordem 1.
y 00 + x2 (y 0 )3 40y = 0 equao diferencial ordinria no-linear de ordem 2.
utt = a2 (uxx + uyy ) equao diferencial parcial linear de ordem 2.

1.1 Equaes Diferenciais Lineares

Uma equao diferencial linear de ordem n uma equao diferencial da forma
an (t)

dn y
dn1 y
+
a
(t)
+ + a0 (t)y = b(t)
n1
dtn
dtn1

ou tambm
an
ou tambm

dn y
dn1 y
+
a
+ + a0 y = b
n1
dtn
dtn1
n
X

ak y (k) = b

k=0

onde os coeficientes ai , i = 0, ..., n e b so funes da varivel independente t. Se b

identicamente nula, ento a equao dita homognea, no caso contrrio dita no
homognea.
Estas equaes so, de certa forma, uma extenso da equao
dn y
=b
dtn

20

Parte 1. Equaes Diferenciais

onde o operador de derivao

L = an

dn
substituda pelo operador
dtn

n
X
dn
dn1
dk
+
a
+

+
a
=
a
n1
0
k
dtn
dtn1
dtk
k=0

Assim,
n
X
dn y
dn1 y
dk y
L(y) = an n + an1 n1 + + a0 y =
ak k
dt
dt
dt
k=0

e a equao resulta expressa de uma forma compacta

L(y) = b
que generaliza a equao em sua caracterstica bsica a linearidade. Isto , para
quaisquer funes reais com n derivadas, y1 (x) e y2 (x), definidas em um intervalo (a, b), e
para qualquer nmero real temos L(y1 +y2 ) = L(y1 )+L(y2 ).(BASSANEZI; FERREIRA
JUNIOR, 1998)
Exemplos:
A equao
x2 cosx (senx)y = (cosx)

dy
dx

linear, pois pode ser reescrita na forma

(cosx)

dy
+ (senx)y = x2 cosx .
dx

Entretanto, a equao
y

dy
+ (cosx)y 3 = ex + 1
dx

no linear, devido aos termos y 3 e y

dy
.
dx

Definio 1.1 (Soluo). uma soluo de L(y) = b num intervalo I se para todo t de
I cumpre-se
L()(t) = b(t)
isto ,
an (t)

dn (t)
dn1 (t)
+
a
(t)
+ + a0 (t)(t) = b(t)
n1
dtn
dtn1

1.2 Problema de Valor Inicial

Um problema de valor inicial para L(y) = b se enuncia da seguinte maneira:
Achar uma soluo tal que tanto ela como suas primeiras n 1 derivadas tem valores
preestabelecidos em algum ponto t0 .

1.3. Equaes lineares de Segunda Ordem

21

Se 1 , 2 , . . . , n so constantes dadas e t0 um nmero real, o problema de achar

a soluo de L(y) = b que satisfaz
(t0 ) = 1 , 0 (t0 ) = 2 , . . . , (n1) (t0 ) = n
denotado por:
L(y) = b,

y(t0 ) = 1 , y 0 (t0 ) = 2 , . . . , y (n1) (t0 ) = n

(1.1)

Exemplos de problemas de valor inicial:

y 0 y = 2te2t onde y(0) = 0
ty 0 + 2y = t2 t + 1, com y(1) =

1
2

t>0

1.3 Equaes lineares de Segunda Ordem

Sejam a1 , a0 , f : (a, b) R funes contnuas definidas num intervalo (a, b), o qual
em muitos problemas a semirreta t > 0 ou toda reta R. A equao
d2 y
dy
+ a1 (t) + a0 (t)y = f (t)
2
dt
dt

(1.2)

y 00 + a1 y 0 + a0 y = f

(1.3)

ou de modo mais compacto

uma equao diferencial linear de segunda ordem.

Teorema 1.1. Se a1 , a0 e f so funes contnuas em (a, b), ento o problema de valor
inicial (1.1) para equaes de segunda ordem (1.2) tem s uma soluo no intervalo (a, b).
Demonstrao. Uma demonstrao para este teorema pode ser vista em Figueiredo e
Neves (2014, p. 94)
Teorema 1.2. Dada uma equao diferencial linear homognea de segunda ordem:
y 00 + a1 y + a0 = 0,
e se u e v so duas solues da mesma e c1 , c2 so constantes, ento:
c1 u + c2 v,
tambm ser soluo, que chamada de soluo geral.

(1.4)

22

Parte 1. Equaes Diferenciais

Demonstrao. Se u e v so solues da equao (1.4), ento

u00 + a1 u0 + a0 u = 0

(1.5)

v 00 + a1 v 0 + a0 v = 0.

(1.6)

Tomemos agora
y = c1 u + c2 v,
e substituamos na equao diferencial. Ento:
= (c1 u + c2 v)00 + a1 (c1 u + c2 v)0 + a0 (c1 u + c2 v)
= c1 u00 + c2 v 00 + a1 (c1 u0 + c2 v 0 ) + a0 (c1 u + c2 v)
= c1 (u00 + a1 u0 + a0 u) + c2 (v 00 + a1 v 0 + a0 v)

(1.7)

Usando as equaes (1.5) e (1.6) na equao (1.7) vir:

=0

1.4 Aplicaes das Equaes Lineares

Nesta seo apresentaremos algumas aplicaes das equaes lineares.

1.4.1 Aplicaes mecnica

Um exemplo clssico de equaes diferenciais aplicadas mecnica a que modela
o comportamento de uma massa m ligada a extremidade de uma mola flexvel, sendo que
a outra extremidade da mola permanece fixa, como ilustrado na Figura 1.

Figura 1 Sistema massa-mola

Segundo Spiegel (1971) se denotarmos por X(t) o deslocamento da massa m no

tempo t a partir da posio de equilbrio ou repouso da mola, ento sabemos da lei de

1.4. Aplicaes das Equaes Lineares

23

Hook que existir uma fora restauradora agindo sobre m cuja intensidade dada por kX,
onde k uma constante que depende da mola. Assim, de acordo com a segunda lei de
Newton que para um sistema em equilbrio, temos que a equao do sistema

d2 X
= kX
dt2

mX 00 + kX = 0

ou

Ainda segundo Spiegel (1971), podemos considerar outras foras atuando sobre a massa
m, como por exemplo uma fora de amortecimento proporcional velocidade instantnea
de m, donde obtemos a seguinte equao

d2 X
dX
= kX
2
dt
dt

ou

mX 00 + X 0 + kX = 0

ou ainda uma fora externa varivel com o tempo, F (t), tambm atuando sobre m,

d2 X
dX
= kX
+ F (t)
2
dt
dt

ou

mX 00 + X 0 + kX = F (t)

(1.8)

1.4.2 Aplicaes a circuitos eltricos

Circuitos eltricos compostos de componentes simples como resistores, capacitores e
indutores podem ser modelados por meio de equaes ou sistemas de equaes diferenciais
lineares. Estes circuitos, como das Figuras 2 e 3, tem importantes aplicaes prticas,
como por exemplo filtros de udio ou filtros de radiofrequncia (rf) usados em circuitos de
rdio.

Figura 2 Tipos de filtros RLC

24

Parte 1. Equaes Diferenciais

Figura 3 Estabilizado de tenso RLC

Um problema importante neste tipo de aplicao determinar as cargas nos

capacitores e as correntes em funo do tempo. Para isto observemos que a queda de
potencial atravs de um:
;
resistor igual RI = R dQ
dt
2

capacitor igual L dI
= L ddtQ2 ;
dt
indutor igual

Q
;
C

gerador igual E (elevao de tenso).

(HALLIDAY; RESNICK; WALKER, 2008).
Disso e da segunda lei Kirchhoff temos que a equao diferencial que modela o
problema para o circuito simples da Figura 4 dada por
L

dQ Q
d2 Q
+R
+ =E
2
dt
dt
C

(1.9)

Figura 4 Circuito eletrico simples

Existem diversos outros problema fsicos que possam ser modelados por meio de
equaes lineares de segunda ordem, porm, nos focaremos neste trabalho somente a estes

1.4. Aplicaes das Equaes Lineares

25

dois modelos, especialmente ao modelo de circuitos eltricos. Estas equaes ((1.8) e (1.9))
pertencerem a uma classe de modelos matemticos denominado oscilador harmnico. Um
oscilador harmnico um modelo matemtico utilizado para descrever situaes fsicas
onde h a presena de oscilaes de pequena amplitude. Segundo Boyce e Brannan (2008)
o modelo de oscilador harmnico tem, na ausncia de foramento, a seguinte forma
ay 00 + by 0 + cy = 0.

(1.10)

ay 00 + by 0 + cy = F(t).

(1.11)

e no caso do presena do forante

fcil notar a semelhana entre as equaes (1.11), (1.8) e (1.9), e estabelecer uma
analogia entre as duas ltimas, ficando evidente que a massa m da mola corresponde a
indutncia L, o deslocamento X corresponde a carga Q, o fator de amortecimento a
resistncia R, a constante da mola k e o recproco da capacitncia 1c e a fora F com a
tenso eltrica E. Esta analogia permite um melhor entendimento da afirmao de Boyce
e Brannan (2008) de que para adaptar a equao (1.11) (ou (1.10)) basta interpretar os
coeficientes em termos dos parmetros fsicos que caracterizam a aplicao.

Parte II
Transformada de Laplace

29

2 Transformada de Laplace
Nesta parte do trabalho explanaremos sobre a Transformada de Laplace. Esta
transformada pertence a um conjunto de integrais da forma
F () =

Z b

f (x)K(, x)dx

denominada Transformadas Integrais. Segundo Zill e Shanahan (2011) as transformada

integrais sempre ocorrem em pares de transformada. Com este par de integrais possvel
converter uma funo de uma varivel, por meio da transformada, em um funo definida
em outra varivel e a seguir, com o uso da transformada inversa recuperar a funo
original. Esta caracterstica das transformada permite por exemplo converter uma equao
diferencial de difcil soluo em uma equao algbrica mais facilmente resolvvel e a seguir,
aplicando a transformada inversa sobre a soluo da equao algbrica, obter a soluo da
equao diferencial.

2.1 Definio e Propriedades da Transformada de Laplace

Os teoremas, deste captulo, foram, exceto quando indicado o contrrio, extrados
de Spiegel (1971).
Seja f uma funo real definida em [0, +],
f : [0, +] R
t 7 f (t)
Definamos a funo complexa da varivel real t:
t 7 est f (t)
onde s = + i ( > 0). Como
est f (t) = et cosf (t) iet0 senf (t)
temos que,
Z +
0

st

Z +
0

e cosf (t) i

Z +

et sent

(2.1)

Provaremos que se f satisfaz certas condies, ento as integrais do segundo membro

existes e a convergncia das integrais absoluta.

30

Parte 2. Transformada de Laplace

Definio 2.1 (Funo contnua por partes). Uma funo f dita contnua por partes
ou seccionalmente contnua, (Figura 5), se a funo tem no mximo um nmero finito de
pontos de descontinuidade no intervalo t , e ambos os limites laterais f (t0 +) e
f (t0 ) de f existirem em cada ponto da descontinuidade t0 .

Figura 5 Exemplo de funo contnua por partes

Definio 2.2 (Funo de ordem exponencial). Uma funo f dita de ordem exponecial
(ou somente de ordem exponencial) quando t , quando existem constantes reais
M > 0 e tais que,
|f (t)| M et para todo t 0.
Exemplos:
f (t) = t2 de ordem exponencial pois |f (t)| < 2et .
f (t) = t2 cos(at) de ordem exponencial pois |f (t)| < 2.e(1+a)t .
3t
f (t) = e 2 de ordem exponencial.
Teorema 2.1 (Existncia). A integral (2.1) existe para todo s > , se
a) f for seccionalmente contnua num intervalo 0 t
b) f (t) de ordem exponencial .
Demonstrao. Para qualquer real positivo vale,
Z

est f (t)dt =

est f (t)dt +

est f (t)dt

(2.2)

Como f (t) seccionalmente contnua em todo intervalo finito 0 t , a primeira

integral direita existe. Para a segunda integral a direita temos
Z



st

e f (t)dt)


|est f (t)|dt

|est ||f (t)|dt

2.1. Definio e Propriedades da Transformada de Laplace

31

est |f (t)|dt

est M et dt =

M
s

pois f (t) de ordem exponencial para t > , logo esta intgral existe.
Definio 2.3. Seja f uma funo real definida para todo t 0. Ento a transformada
de Laplace de f (t), denotada por L {f (t)}, dada pela frmula
L {f (t)} = F (s) =

est f (t)dt .

(2.3)

A funo original f (t) chamada de transformada inversa ou apenas inversa de

F (s) e ser denotada por L 1 {F (s)}. Deste modo
L 1 {F (s)} = f (t).
Exemplos:
1
(a) Se f (t) = 1 ento L {f (t)} = , para s > 0
s
L {(1)} =

est (1)dt = lim

Z P

P 0

est dt

est 
esP
es0
= lim
 = lim
(
)
P s 
P
s
s
0
1 esP
1
=
P
s
s

= lim
(b) Se f (t) = t ento L {f (t)} =

se s > 0.

1
, para s > 0.
s2

L {(t)} =

est (t)dt = lim

Z A

A 0

est
= lim (t)
A
s

est
= lim (t)
A
s

test dt

Z A st
e
0

s
A

est 
2 
s 0

dt

32

Parte 2. Transformada de Laplace

1
esA AesA

s2
s2
s

= lim

=
(c) Se f (t) = eat ento L {f (t)} =
L {e } =
at

1
se s > 0.
s2
1
,
sa

s > a.

st

at

(e )dt = lim

Z A

A 0

e(sa)t dt

1 e(sa)A
e(sa)t 
 = lim
= lim
A
A (s a) 
sa
0

1
,
sa

se s > a.

Teorema 2.2 (Linearidade). A transformada de Laplace um operador linear, isto ,

L (kf + g) = kL (f ) + L (g)
para todo par de funes f (t) e g(t) cujas transformadas de Laplace existam, com k e
sendo constantes arbitrrias.
Demonstrao. Temos da definio da transforma de Laplace, 2.3, que
L (kf + g) =
=

est (kf + g)dt

(est kf + est g)dt

st

= k

kf dt +

est gdt

est f dt +

est gdt

= kL (f ) + L (g)
donde segue que a transformada de Laplace um operador linear.
Teorema 2.3 (Primeira propriedade de Translao ou Deslocamento). Se L {f (t)} = F (s)
para s > k, ento
L {et f (t)} = F (s ) para s > k + .

2.1. Definio e Propriedades da Transformada de Laplace

Demonstrao. Como F (s) =

F (s ) =

= L {f (t)}, ento

R st
e f (t)dt
0

e(s)t f (t)dt =

33

est [et f (t)]dt = L {et f (t)}.

Teorema
2.4 (Segunda propriedade de Translao ou Deslocamento). Se L {f (t)} = F (s)

f (t a)
t>a
, ento L {g(t)} = eas F (s) .
e g(t) =
0
t<a
Demonstrao.
L {g(t)} =

st

g(t)dt =

Z a

st

g(t)dt +

Z a

est (0)dt +

est f (t a)dt

est g(t)dt

est f (t a)dt

(2.4)

substituindo a varivel t por u + a em 2.4, e recalculando o intervalo de integrao temos

Z
a

est f (t a)dt =

es(u+a) f (u)du

= eas

esu f (u)du = eas F (s)

Teorema 2.5 (Propriedade de mudana de escala). Se L {f (t)} = F (s), ento

1
L {f (at)} = F
a

s
a

 

Demonstrao. Da definio de transformada de Laplace temos que

L {f (t)} =

est f (t)dt

logo
L {f (at)} =

Z
0

usando a substituio de varivel at = u t =

L {f (at)} =

est f (at)dt

Z
0

u
a

temos
u

es a f (u)

du
a

1 Z s u
=
e a f (u)du
a 0

(2.5)

34

Parte 2. Transformada de Laplace

1 Z s u
=
e a f (u)du
a 0
!

s
1
.
= F
a
a

Teorema 2.6 (Transformada de Laplace de funes peridica). Suponha que f (t) tem
perodo T > 0 de modo que f (t + T ) = f (t), Figura 6. Ento,
Z T

L {f (t)} =

est f (t)dt

1 esT

Figura 6 Exemplo de funo peridica

Demonstrao. Temos
L {f (t)} =

est f (t)dt

Z T

st

f (t)dt +

Z 2T

st

f (t)dt =

Z 3T

est f (t)dt +

2T

Fazendo t = u na primeira integral, t = u + T na segunda, t = u + 2T na terceira, e assim

em diante, ento temos
L {f (t)} =

Z T
0

su

f (u)du +

Z T
0

s(u+T )

f (u + T )du +

Z T
0

es(u+2T ) f (u + 2T )du +

2.2. Transformada de Laplace de derivadas

Z T

su

f (u)du + e

Z T

sT

35

su

2sT

f (u + T )du + e

Z T

esu f (u + 2T )du +

Agora, usando a periodicidade de f para escrevermos f (u + T ) = f (u), f (u + 2T ) = f (u),

. . . , temos
L {f (t)} =

Z T

su

sT

f (u)du + e

Z T

su

2sT

f (u)du + e

Z T

sT

= (1 + e

2sT

+ )

+e

esu f (u)du +

Z T

esu f (u)du

e como 1 + r + r2 + =

1
, |r| < 1, temos que
1r
Z T

L {f (t)} =

est f (t)dt

1 esT

2.2 Transformada de Laplace de derivadas

Teorema 2.7. Se f (t) for contnua para 0 t , de ordem exponencial para t > e
L {f (t)} = F (s), enquanto f 0 (t) seccionalmente contnua para 0 t ento
L {f 0 (t)} = sF (s) f (0)
Demonstrao. Usando integrao por partes, com u = est , du = sest dt, v =
f (t), e dv = f 0 (t), temos
L {f (t)} =
0

st 0

f (t)dt = lim

Z P

P 0

P


lim est f (t)


P
0

+s

Z P

est f 0 (t)dt

est f (t)dt

= lim

=s

sP

f (P ) f (0) + s

Z P
0

est f (t)dt f (0)

= sF (s) f (0).

)
st

f (t)dt

36

Parte 2. Transformada de Laplace

Corolrio 2.8. Se no teorema 2.7 f (t) deixa de ser contnua em t = 0 mas lim f (t) =
t0
f (0+), existe (mas no igual a f (0), que pode ou no existir), ento
L {f (t)} = sF (s) f (0+)
Corolrio 2.9. Se no teorema 2.7 f (t) deixa de ser contnua em t = a mas lim f (t) =
t0
f (0+), existe (mas no igual a f (0), que pode ou no existir), ento
L {f (t)} = sF (s) f (0+) eas f (a+) f (a)
onde f (a+) f (a) algumas vezes chamado salto na descontinuidade t = a.
Teorema 2.10. Se L {f (t)} = F (s), ento
L {f 00 (t)} = s2 F (s) sf (0) f 0 (0)
se f (t) e f 0 (t) so contnuas para 0 t e de ordem exponencial para t > , enquanto
f 00 (t) seccionalmente contnua para 0 t .
Demonstrao. Do teorema 2.7 temos que
L {g 0 (t)} = sL {g(t)} g(0) = sG(s) g(0)
Agora, tomando g(t) = f 0 (t) temos
L {f 00 (t)} = sL {f 0 (t)} f 0 (0)
= s[sL {f (t)} f (0)] f 0 (0)
= s2 L {f (t)} sf (0) f 0 (0)
= s2 F (s) sf (0) f 0 (0)

Exemplo 2: Mostre que L {sen(at)} =

a
.
s2 +a2

Seja f (t) = sen(at), ento f 0 (t) = acos(at), f 00 (t) = a2 sen(at), f (0) = 0 e

f 0 (0) = a. Logo do teorema 2.10,
L {a2 sen(at)} = s2 L {sen(at)} s(0) a
a2 L {sen(at)} = s2 L {sen(at)} a
L {sen(at)} =

s2

a
+ a2

2.3. Transformadas de Laplace de Funes Descontnuas

37

Teorema 2.11. Se L {f (t)} = F (s), f (t), f 0 (t), f 00 (t), ..., f (n1) (t) so contnuas para
0 t e de ordem exponencial para t > , enquanto f n (t) seccionalmente contnua
para 0 t ento
L {f (n) (t)} = sn F (s) s(n1) f (0) s(n2) f 0 (0) sf (n2) (0) f (n1) (0)
Exemplo 3: Mostre que L {tn } =

n!
.
sn+1

Dado f (t) = tn , ento

f 0 (t) = ntn1

f 0 (0) = 0;

f 00 (t) = n(n 1)tn2

f 00 (0) = 0;

f 000 (t) = n(n 1)(n 2)tn3

f 000 (0) = 0;

..
.


f 00 (t) = n(n 1)(n 2) . . . n (n 1) t

f (n1) (0) = 0;

f (n) (t) = n!t0 = n!;

Agora calculando L {n!}, temos
L {n!} =

Z
0

st

(n!)dt = n!

est dt =

n!
s

(2.6)

Logo, do teorema 2.11, temos

L {n!} = sn L {tn } s(n1) f (0) s(n2) f 0 (0) sf (n2) (0) f (n1) (0)
= sn L {tn } s(n1) 0 s(n2) 0 s0 0
= sn L {tn }

(2.7)

Assim de 2.6 e 2.7, temos que

n!
= sn L {tn }
s
n!
L {tn } = n+1
s

2.3 Transformadas de Laplace de Funes Descontnuas

Segundo Bassanezi e Ferreira Junior (1998) as aplicaes mais interessantes do
mtodo das transformadas de Laplace ocorrem na soluo de problemas de valor inicial que
envolvem equaes diferenciais lineares com funes foradas descontnuas ou impulsivas.

38

Parte 2. Transformada de Laplace

Dentre as funes com descontinuidade do tipo salto, a mais simples com uma nica
descontinuidade de salto denominada funo de Heaveside (ver Figura 7), e definida por
Ha (t) =

0 se t < a
1 se t > a

a 0,

Ha (t) = H(t a)

Segundo Boyce e Brannan (2008) a funo de Heaviside geralmente usada para representar
uma fora, tenso, corrente ou sinal que ligado em um instante t 0 e fica ligado da
em diante.
Teorema 2.12. Se L {f (t)} = F (s), ento
L {Ha (t)} =

esa
s

Demonstrao. Temos que

Ha (t) =

0 se t < a
1 se t > a

logo
L {Ha (t)} =

Z a

st

(0)dt +

est (1)dt

= lim

Z A

A a

st

est 
dt = lim

A s 
a

esa esA
esa
=
= lim
A
s
s

Figura 7 Funes de Heaveside (degrau unitrio)

2.3. Transformadas de Laplace de Funes Descontnuas

39

Outra funo descontnua tipo salto que possui grande utilidade prtica so as
chamada funes de onda quadrada, exemplificadas na Figura 8. Este tipo de funo
aparece por exemplo, em circuitos digitais e em reguladores de tenso de alto desempenho,
onde as harmnicas do sinal quadrado so filtradas por um circuito com capacitores e
indutores e o resultado um sinal (ou funo) do tipo senoidal.

E(t)
E0
a

2a

3a

4a

-E0

Figura 8 Funo onda quadrada

Exemplo 4: Encontar L {f (t)} onde f (t) a funo peridica mostrada graficamente na
Figura 9

-1

Figura 9 Funo onda quadrada para o exemplo 4

Soluo:
Do teorema 2.6 temos que
Z 2
1
L {f (t)} =
est f (t)dt
2s
1e
0

Z 1
Z 2
1
st
e
(1)dt
+
est (1)dt
1 e2s 0
1

40

Parte 2. Transformada de Laplace

est 
1
est 


+

=
1 e2s
s 0
s 1
1
=
1 e2s

1 2es + e2s
s

1 (1 es )2
=
s 1 e2s
1 (1 es )
=
s (1 + es )
1
s
= tanh
s
2

1 (1 es )(1 es )
=
s (1 es )(1 + es )
s

1 e2
=
s
s e2

(e 2 e 2 )
s
s
(e 2 + e 2 )

Parte III
Teorema dos Resduos

43

3 Teorema dos Resduos

Neste parte deste trabalho faremos uma reviso de conceitos da anlise complexa,
como por exemplo, Srie de Taylor, Serie de Laurent e o Teorema de Resduos de Cauchy.
Tpicos estes necessrios para o posteriormente desenvolvimento do importante tema que
trata da forma complexa da Transformada Inversa de Laplace.

3.1 Sries de Taylor

Definio 3.1 (Analiticidade em um ponto). Uma funo complexa w = f (z) analtica
em um ponto z0 se f for diferencivel em z0 e em todo ponto em alguma vizinhana de z0 .

Definio 3.2. Uma funo f analtica em um domnio D se for analtica em todo

ponto em D.

Exemplo 5: A funo f (z) = |z| no uma funo analtica em nenhum ponto, pois sua
derivada existe somente no ponto z = 0 e no em uma vizinhana.
Exemplo 6: Todo polinmio P (z) = a0 + a1 z 1 + + an z n , (n = 1, 2, 3, ...), uma funo
analtica em todo o plano complexo.

Definio 3.3 (Singularidade). Caso uma funo complexa w = f (z) deixe de ser analtica
em um ponto z = z0 , este ponto recebe a denominao de ponto singular ou singularidade.
1
Exemplo 7: O ponto z = 0 um ponto singular da funo f (z) = , pois f analtica em
z
todo ponto z exceto em z = 0, onde ela no contnua, de modo que f 0 (0) no existe.

Teorema 3.1 (Teorema de Taylor). Seja f uma funo analtica em um domnio D e

seja z0 um ponto em D. Ento, f tem a seguinte representao em srie de potncias

f (z) =

f (k)(z0 )
(z z0 )k
k!
k=0

(3.1)

vlida para o maior crculo C com centro em z0 e raio R que esteja totalmente contido em
D.

44

Parte 3. Teorema dos Resduos

C
Z0

Figura 10 Contorno para o teorema 3.1

Demonstrao. Seja z um ponto fixo no interior do crculo C e seja s a varivel de
integrao. O crculo C descrito por |s z0 | = R (Figura 10). Inicialmente , usemos a
frmula integral de Cauchy (encontrada em Zill e Shanahan (2011, p. 205)) para calcular
o valor de f em C:

f (z) =

1 I f (s)
1 I
f (s)
ds =
ds
2i C s z
2i C (s z0 ) (z z0 )

1 I
f (s)
1
ds
z z0
2i C (s z0 )

s z0

Usando o fato, proveniente de resultados de soma de sries geomtricas, de que

1 + z + z 2 + z 3 + + z n1 +

zn
z z0
e substituindo z por
, obtemos
1z
s z0

(3.2)

1
=
1z

1
z z0
z z0 2
z z0 n1
(z z0 )n
=
1
+
+
(
)
+

+
(
)
+
,
z z0
s z0
s z0
s z0
(s z)(s z0 )n1
1
s z0
de modo que em (3.2) temos

1 I
f (s)
1 I
f (s)
z z0
z z0 2
1
ds
=
1+
+(
)+
z

z
0
2i C (s z0 )
2i
s

z
s

z
C (s z0 )

0
0

s z0
)
z z0 n1
(z z0 )n
+ (
)
+
s z0
(s z)(s z0 )n1

3.1. Sries de Taylor

45

f (s)
z z0 I
f (s)
f (s)
1 I
(z z0 )2 I
ds +
=
+
ds+
2
2i C (s z0 )
2i C (s z0 )
2i
C (s z0 )3
(z z0 )n1 I
f (s)
f (s)
(z z0 )n I
+
ds +
ds
n
2i
2i
C (s z0 )
C (s z)(s z0 )n

(3.3)

Usando a Frmula Integral de Cauchy para Derivadas (encontrado em Zill e Shanahan

(2011, p. 207)),
f (n) (z0 ) =

n! I
f (z)
dz,
2i C (z z0 )n+1

podemos escrever (3.3) como

1 I
f (s)
1
ds =
z
z0

2i C (s z0 )

s z0
0
f 00 (z0 )
f n1 (z0 )
f (z0 )
(z z0 ) +
(z z0 )2 + +
(z z0 )n1 + Rn (z),
f (z0 ) +
1!
2!
(n 1)!

(3.4)

onde
Rn (z) =

(z z0 )n I
f (s)
ds
2i
C (s z)(s z0 )n

A equao (3.4) , segundo Zill e Shanahan (2011), conhecida como frmula de Taylor
com resto Rn . Agora, desejamos mostrar que Rn (z) 0 quando n . Isto pode ser
feito mostrando que |Rn (z)| 0 quando n . Como f analtica em D, o Teorema do
Mdulo Mximo (encontrado em Zill e Shanahan (2011, p. 211)) nos diz que |f (z)| tem um
valor mximo M no contorno C. Alm disso, como z est no interior de C, |z z0 | < R e,
consequentemente,
|s z| = |s z0 (z z0 )| |s z0 | |z z0 | = R d,
onde d = |z z0 | a distncia de z a z0 . O Teorema Limitante (encontrado em Zill e
Shanahan (2011, p. 189) )nos fornece
|Rn (z)| =


 (z





!n

MR d
z0 )n I
f (s)
dn
M

ds

2R =
.
2i
2 (R d)Rn
Rd R
C (s z)(s z0 )n

 d n
Como d < R,
0 quando n , conclumos que |Rn (z)| 0 quando n .
R
Portanto, a srie infinita

f (z0 ) +

f 0 (z0 )
f 00 (z0 )
(z z0 ) +
(z z0 )2 +
1!
2!

converge a f (z). Assim temos que o resultado em (3.1) vlido para qualquer ponto z no
interior de D.

46

Parte 3. Teorema dos Resduos

Exemplo 8: Seja f (z) = ez . Como f (1) (z) = ez , f (2) (z) = ez , ..., f (n) (z) = ez , ..., temos
que a representao em srie de Taylor, centrada em z0 , da funo f dada por,
f (z0 ) f 0 (z0 )
f 00 (z0 )
f (z) = e =
+
(z z0 ) +
(z z0 )2 +
0!
1!
2!

n
X
(z

z
)
0
= ez0
n!
n=0
z

Exemplo 9: Seja f (z) =

1
2
1
(2)
. Temos que f (1) (z) =
,
f
(z)
=
,
(1 + z)
(1 + z)2
(1 + z)3

6
..., donde podemos concluir que a representao em srie de Taylor,
(1 + z)4
centrada em z0 , da funo f dada por,
f (3) (z) =

f (z) =

1
1
1
2
=

(z

z
)
+
(z z0 )2
0
(1 + z)
0!(1 + z) 1!(1 + z)2
2!(1 + z)3

6
(z z0 )3 +
3!(1 + z)4
=

(1)n (z z0 )n

n=0

1
(1 + z)n+1

Enunciaremos aqui o Teorema de Cauchy-Goursat para Domnios Multiplamente

Conexos (Zill e Shanahan (2011, p. 195)), que nos ser til a seguir.
Teorema 3.2 (Teorema de Cauchy-Goursat para Domnios Multiplamente Conexos).
Sejam C1 , C2 , . . . , Cn curvas fechadas simples todas com orientao positiva, tais que
C1 , C2 , . . . , Cn sejam interiores a C, mas no a regies interiores de cada Ck , k =
1, 2, . . . , n, no tenham pontos em comum. Se f for analtica em cada contorno e em cada
ponto interior a C e exterior a todos os contornos Ck , k = 1, 2, . . . , n, ento
I

f (z)dz =

n I
X

f (z)dz

(3.5)

k=1 Ck

3.2 Sries de Laurent

Segundo o teorema de Taylor toda funo f analtica em um domnio D possui a
seguinte representao em srie
f (z) =

f (k)(z0 )
(z z0 )k
k!
k=0

vlida para o maior crculo C com centro em z0 e raio R que esteja totalmente contido em
D. Entretanto, conforme Zill e Shanahan (2011) se z = z0 for uma singularidade de uma
funo f , certamente f no pode ser expandida em uma srie de Taylor em torno de z0 .
Entretanto em torno de uma singularidade isolada z = z0 possvel representar a funo
f por uma srie que envolve potncias inteiras negativas e positivas de z z0 , ou seja,
f (z) = +

a2
a1
+
+ a0 + a1 (z z0 ) + a2 (z z0 )2 + . . .
2
(z z0 )
(z z0 )1

3.2. Sries de Laurent

47

Esta srie denominada srie de Laurent. Uma outra notao para esta srie,
usando a notao de somatrio,
f (z) =

ak (z z0 )

k=1

ak (z z0 )k

(3.6)

k=0

As duas srie do lado direito da equao (3.6) recebem nomes especficos, sendo a parte
com potncias negativas de z z0 , isto ,

ak (z z0 )k

(3.7)

k=1

denominada parte principal. A parte que consiste em potncias positivas de (z z0 ),

ak (z z0 )k

k=0

chamada de parte analtica. Os critrios, bem como o domnio de convergncia desta

srie so dados pelo teorema a seguir.
Teorema 3.3 (Teorema de Laurent). Seja f uma funo analtica no domnio anelar D
definido por r < |z z0 | < R. Ento, f tem representao em srie
f (z) =

ak (z z0 )k

(3.8)

k=

vlida para r < |z z0 | < R. Os coeficientes ak so dados por

ak =

1 I
f (s)
ds,
2i C (s z0 )k+1

k = 0, 1, 2, . . .

(3.9)

onde C a curva fechada simples totalmente posicionada em D e que tem z0 em seu

interior, Figura 11.

Figura 11 Contorno para o Teorema 3.3

48

Parte 3. Teorema dos Resduos

Demonstrao. Sejam C1 e C2 crculos concntricos, com centro z0 e raios r1 e R2 respectivamente, onde r < r1 < R2 < R. Seja z um ponto fixo em D que tambm satisfaz
a desigualdade r1 < |z z0 | < R2 (Figura 12). Introduzindo um corte entre C1 e C2 , a
frmula integral de Cauchy fornece
f (z) =

1 I f (s)
1 I f (s)
ds
ds
2i C2 s z
2i C1 s z

C1

(3.10)

C2
D

zz0 0

Figura 12 C1 e C2 so crculos concntricos

Do Teorema de Taylor 3.1, podemos escrever

X
1 I f (s)
ak (z z0 )k ,
ds =
2i C2 s z
k=0

(3.11)

onde
1 I
f (s)
ak =
ds,
2i C2 (s z0 )k+1

k = 1, 2, 3, . . .

Procedendo de modo similar prova do teorema de Taylor 3.1, temos

1 I f (s)
1 I f (s)
1 I
f (s)
ds =
ds =
ds
2i C1 s z
2i C1 z s
2i C1 (z z0 ) (s z0 )

1 I
f (s)
1
=
ds
s
z0

2i C1 (s z0 )

z z0
(
I
1
f (s)
z z0
z z0 2
1+
+(
)+
=
2i C1 (s z0 )
s z0
s z0
)
z z0 n1
(z z0 )n
ds
+ (
)
+
s z0
(s z)(s z0 )n1

(3.12)

3.2. Sries de Laurent

49

ak
+ Rn (z),
k
k=0 (z z0 )

onde
ak =

f (s)
1 I
ds,
2i C1 (s z0 )k+1

k = 0, 1, 2, . . . ,

(3.13)

e
I
f (s)(s z0 )n
1
ds
Rn (z) =
2i(z z0 )n C1
(z s)

Agora, seja d = |z z0 | e seja M o valor mximo de |f (z)| no contorno C1 . Usando

|s z0 | = r1 , temos
|z s| = |z z0 (s z0 )| |z z0 | |s z0 | = d r1 .
Onde o Teorema Limitante (Zill e Shanahan (2011, p. 189)) fornece
|Rn (z)| =
=


 1 I


 2i C1

M r1n
d r1


1
f (s)
M r1n



ds

2r1
(s z0 )k+1  2dn d r1
!n
r1
.
d

r1
Como r1 < d, ( )n 0 quando n , de modo que |Rn (z)| 0 quando n . Com
d
isso, mostramos que

X
ak
1 I f (s)
ds =
k
2i C1 s z
k=0 (z z0 )

(3.14)

onde os coeficientes ak so dados em (3.13). Combinado (3.14) e (3.11), vemos que (3.10)
fornece
f (z) =

ak (z z0 )k +

k=1

ak =

ak (z z0 )k

(3.15)

k=0

Por fim, (3.15) pode ser reescrita como f (z) =

I

f (z)
dz,
(z z0 )k+1

k=

ak (z z0 )k , com

k = 0, 1, 2, . . . ,

onde usando o Teorema de Cauchy-Goursat para domnios Multiplamente Conexos 3.2

para substituir os contornos C1 e C2 por um contorno fechado simples qualquer C em D
com z0 em seu interior.
Exemplo 10: Usando o Teorema 3.3, escrevamos a srie de Laurent, centrada em z0 = 0,
1
da funo f (z) = , vlida para 0 < |z|.
z
Soluo: Iniciemos calculando alguns coeficientes ak buscando alguma regularidade. (Nos
clculos a seguir foi usado o seguinte teorema (Zill e Shanahan (2011, p. 194))

I
C

2i n = 1
dz
=
(z z0 )n 0
n=
6 1.

50

Parte 3. Teorema dos Resduos

a4 =

a3

a2

1
2i

I
C

1
1 I ds
s
ds =
=0;
(s 0)4+1
2i C s2

1
1 I ds
1 I
s
ds =
=0;
=
2i C (s 0)3+1
2i C s1
1
1 I
1 I
s
=
ds
=
ds = 0 ;
2i C (s 0)2+1
2i C

a1 =

1
2i

I
C

1
1 I ds
1
s
ds =
=
2i = 1 ;
1+1
(s 0)
2i C s
2i

1
1 I ds
1 I
s
ds =
=0;
a0 =
2i C (s 0)0+1
2i C s2
1
1 I
1 I ds
s
a2 =
ds
=
=0;
2i C (s 0)1+1
2i C s3

donde temos que a representao de f em srie de Laurent

1
.
z

Segundo Zill e Shanahan (2011) a frmula integral em (3.9) raramente usada,

sendo recomendvel o uso de mtodos alternativos, como por exemplo a manipulao de
sries de potncias j conhecidas, pois, conforme afirma Soares (2012) uma vez encontrada
a representao, no importa o mtodo ou artifcio empregado, est , devido a unicidade
da srie, a srie de Laurent em torno de z0 .
1
Exemplo 11: Expandamos f (z) =
em uma srie de Laurent que seja vlida
(z 1)3 (z + 2)
para 0 < |z 1| < 3.
Soluo: (a) Como queremos uma srie centrada em z0 = 1, necessitamos expressar z + 2
em termos de z 1. Isto pode ser feito rescrevendo f como
1
1
1
1
1
f (z) =
=
=
h
3
3
3
(z 1) (z + 2)
(z 1) 3 + (z 1)
(z 1) 3 1 + z 1 i
3
1
1
1
=
3 (z 1)3 1 + z 1
3

3.2. Sries de Laurent

51

1
usando o fato que
= 1 z + z 2 z 3 + , sempre que |z| < 1 , e substituindo z
1+z
z1
por
, obtemos
3
"
#
1
1
z 1 (z 1)2 (z 1)3
f (z) =
+
1

+
3 (z 1)3
3
32
33
1
1
1
1

+
=

+
3(z 1)3 9(z 1)2 27(z 1) 81

X
1
=
(1)n+1 n
3 (z 1)n+4
n=1
z 1 (z 1)2
(z 1)3
+
+ converge quando |z 1| < 3, mas depois

3
32
33
1
1
de multiplicada por
, que vlida para 0 < |z 1| a srie resultante converge
3 (z 1)3
quando 0 < |z 1| < 3
a srie 1

3.2.1 Classificao de Pontos Singulares Isolados

Seja z = z0 uma singularidade isolada de uma funo complexa f e suponha que
f (z) =

X
k=

ak (z z0 )k =

X
k=1

ak (z z0 )k +

ak (z z0 )k

k=1

seja a representao de f em srie de Laurent. A classificao do ponto singular isolado

z = z0 da funo f depende do nmero de termos da parte principal (3.7) da correspondente
expanso em srie de Laurent da funo f . Sendo esta a classificao:
i) Se todos os coeficientes ak , na parte principal, forem zero, isto , a srie s possui a
parte analtica, ento z = z0 denominado singularidade removvel.
ii) Se a parte principal da srie contiver uma quantidade finita de termos no nulos,
z = z0 ser denominado polo. Sendo este denominado polo simples caso a parte
principal da srie tenha exatamente um termo no nulo com coeficiente a1 . Caso o
ltimo coeficiente no nulo da parte principal tenha seja an , n 1 dizemos que
z = z0 um polo de ordem n.
iii) Se a parte principal contiver um nmero infinito de termos no nulos, z = z0
denominado singularidade essencial.
Podemos caracterizar um polo de ordem n de uma funo f de outro modo sem
que haja necessidade de expandirmos f em sua srie de Laurent, para isto necessitamos
definir o conceito de zero de uma funo bem como alguns teoremas.
Definio 3.4 (Zeros de uma Funo). Um nmero z0 um zero de uma funo f , se
f (z0 ) = 0. Dizemos que uma funo analtica f tem um zero de ordem n em z = z0 se
f (z0 ) = 0, f 0 (z0 ) = 0, f 00 (z0 ) = 0, . . . , f (n1) (z0 ) = 0, mas f (n) (z0 ) 6= 0

52

Parte 3. Teorema dos Resduos

Teorema 3.4 (Zero de Ordem n). Uma funo f que seja analtica em algum disco
|z z0 | < R tem um zero de ordem n em z = z0 se e somente se f puder ser escrita como
f (z) = (z z0 )n (z)
onde analtica em z = z0 e 6= 0.
Uma demostrao para este teorema pode ser encontrado em Zill e Shanahan (2011,
p. 254).
Teorema 3.5 (Polo de Ordem n I). Uma funo analtica em um disco perfurado
0 < |z z0 | < R tem um polo de ordem n em z = z0 se e somente se puder ser escrita
como
f (z) =

(z)
,
(z z0 )n

(3.16)

onde analtica em z = z0 e (z0 ) 6= 0.

Uma demostrao para este teorema pode ser encontrado em Zill e Shanahan (2011,
p. 255).
Teorema 3.6 (Polo de Ordem n II). Se as funes g e h forem analtica em z = z0 , h
g(z)
tiver um zero de ordem n em z = z0 e g(z0 ) 6= 0, a funo f (z) =
tem um polo de
h(z)
orden n em z = z0 .
Demonstrao. Como a funo h tem um zero de ordem n, o Teorema 3.4 nos diz que
h(z) = (z z0 )n (z), onde analtica em z = z0 e (z0 ) 6= 0. Portanto, f pode ser
escrita como
g(z)
g(z)
(z)
f (z) =
=
.
n
(z z0 ) (z)
(z z0 )n
g
Como g e so analticas em z = z0 e (z0 ) 6= 0, a funo analtica em z0 . Alm disso,

g(z0 )
6 0. Donde podemos concluir, do Teorema 3.5, que a funo f
g(z0 ) 6= 0 implica
=
(z0 )
tem um polo de ordem n em z0 .
Exemplo 12: A funo
z2 + 1
f (z) = 

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

tem polos de ordem 1 em z = 0, z = (3 + 2 2)i e z = (3 2 2)i.

(3.17)

3.3. Resduos

53

3.3 Resduos
1
na srie de Laurent (3.6) anterior deno(z z0 )
minado resduo da funo f na singularidade isolada z0 . E denotado como
Definio 3.5. O coeficiente a1 de

a1 = Res(f (z), z0 )
para representar o resduo de f em z0 .
Teorema 3.7 (Resduo em um Polo Simples). Se f tiver um polo simples em z = z0 ,
Res(f (z), z0 ) = zz
lim (z z0 )f (z).
0

Demonstrao. Como f tem um polo simples em z = z0 , sua expanso em srie de Laurent

convergente em um disco perfurado 0 < |z z0 | < R tem a forma
f (z) =

a1
+ a0 + a1 (z z0 ) + a2 (z z0 )2 + . . .
z z0

onde a1 6= 0. Multiplicando ambos os lados desta srie por z z0 obtemos

(z z0 )f (z) = a1 + a0 (z z0 ) + a1 (z z0 )2 + a2 (z z0 )3 + . . .
agora, tomando o limite quando z z0 temos
lim (z z0 )f (z) = zz
lim [a1 + a0 (z z0 ) + a1 (z z0 )2 + a2 (z z0 )3 + . . . ] = a1

zz0

e como a1 por definio o resduo de f no ponto z0 , segue a demonstrao.

Teorema 3.8 (Resduo de um Polo de Ordem n). Se f tiver um polo de ordem n em
z = z0 , ento
1
dn1
Res(f (z), z0 ) =
lim n1 [(z z0 )n f (z)] .
(n 1)! zz0 dz
Demonstrao. Como f tem um polo simples de ordem n em z = z0 sua expanso de
Laurent convergente em um disco perfurado 0 < |z z0 | < R deve ter a forma
f (z) =

an
a2
a1
+ +
+
+ a0 + a1 (z z0 ) + a2 (z z0 )2 + . . . ,
n
2
(z z0 )
(z z0 )
(z z0 )

onde an 6= 0. Multiplicamos a ltima expresso por (z z0 )n , donde obtemos,

(zz0 )n f (z) = an + +

a2
a1
a0
+
+
+a1 (zz0 )n+1 +a2 (zz0 )n+2 +. . . ,
n2
n1
(z z0 )
(z z0 )
(z z0 )n0

e diferenciando n 1 vezes ambos os lados da igualdade obtemos,

dn1
[(z z0 )n f (z)] = (n 1)!a1 + n!a0 (z z0 ) + . . . .
n1
dz

54

Parte 3. Teorema dos Resduos

Ento aplicamos o limite quando z z0 , como todos os termos no lado direto, aps o
primeiro, envolvem potncias inteiras de z z0 , obtemos
lim

zz0

dn1
[(z z0 )n f (z)] = (n 1)!a1 .
dz n1

Resolvendo esta ltima equao para a1 , obtemos

a1 =

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

donde temos por definio de resduo que

Res(f (z), z0 ) =

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

Exemplo 13: A funo

z2 + 1
f (z) = 
(3.18)

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

tem polos simples em z = 0, z = (3 + 2 2)i e z = (3 2 2)i. Usemos o teorema 3.7

para determinar os resduos.
Soluo:
z2 + 1
Res(f (z), 0) = lim (z 0) 


z0
z z (3 + 2 2)i)(z (3 2 2)i
= lim 
z0

Res(f (z), (3 +

2)i) =

z2 + 1

 = 1
z (3 + 2 2)i)(z (3 2 2)i

lim (z (3 +

z(3+ 2)i

Res(f (z), (3 2)i) =

=

lim
z(3+ 2)i

z(3 2)i

z2 + 1
2)i) 


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

z2 + 1

 =1
z z (3 2 2)i


lim (z
z(3 2)i
lim

(3

2)i)

z2 + 1


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


z2 + 1

 =1
z z (3 + 2 2)i


3.4 Teorema de Resduos

Teorema 3.9 (Teorema de Resduos de Cauchy). Seja D um domnio simplesmente
conexo e seja C um contorno fechado simples totalmente contido em D. Se uma funo

3.4. Teorema de Resduos

55

f for analtica em C e no interior de C, exceto em um nmero finito de singularidades

isoladas z1 , z2 , ..., zn no interior de C,
I

f (z)dz = 2i

n
X

Res(f (z), zk ).

k=1

Cn
zn
C

C2
z2
z1

C1

Figura 13 n pontos singulares no interior do contorno C

Demonstrao. Suponhamos que C1 , C2 , . . . , Cn sejam circunferncias centradas em z1 , z2 , . . . , zn ,

respectivamente. Suponhamos, ainda, que cada circunferncia Ck tenha um raio rk suficientemente pequeno, de modo que C1 , C2 , . . . , Cn sejam mutuamente desconexas e interiores
a curva fechada simples C, como exemplifica a Figura 13.
Fazendo s = z, tomando k = 1 e isolando a integral em (3.9) temos
a1 =

I
1 I
f (z)
dz

f (z)dz = 2ia1 = 2iRes(f (z), z0 )

2i C (z z0 )1+1
C

donde temos que

I
Ck

f (z)dz = 2iRes(f (z), zk )

Assim, pelo Teorema de Cauchy-Goursat para Domnios Multiplamente Conexos 3.2,

I
C

f (z)dz =

I
X
k=1 Ck

f (z)dz = 2iRes(f (z), zk )

56

Parte 3. Teorema dos Resduos

3.5 Aplicao do Teorema de Resduos

Integrais Reais na forma 02 F (cos, sen)d. A ideia para este tipo de integral,
convert-la em uma integral complexa, onde o contorno C a circunferncia de raio
unitrio |z| = 1, centrada na origem, onde uma parametrizao de C pode ser dada por
z = ei , 0 2. Donde temos que
R

ei + ei
ei ei
, sen =
.
2
2i
Uma justificativa para as duas ltimas expresses pode ser encontrada em Churchill (1975).
1
Como dz = iei e z 1 = = ei , podemos reescrever as trs primeiras equaes como
z
1
1
dz
(3.19)
d = , cos = (z + z 1 ), sen = (z z 1 )
iz
2
2i
Assim, fazendo as devidas substituies temos
dz = iei , cos =

Z 2
0

1
1
dz
F (cos, sen)d =
F (z + z 1 ), (z z 1 )
2
2i
iz
C
I

onde C a circunferncia unitria |z| < 1.

Z 2
cos
Exemplo 14: Calculemos
d
3 + sen
0
Soluo: Utilizando as substituies sugeridas em (3.19) podemos reescrever a integral
como
1
z2 + 1
I
I
(z + z 1 ) dz I
z2 + 1
2
2z
=
dz,
dz
=
2
1
C
C 6iz + z 1
C z(z z0 )(z z1 )
3 + (z z 1 ) iz
2i
z

onde z0 = (3 + 2 2)i e z1 = (3 2 2)i. Como apenas z = 0 e z0 so singularidade em

C, temos, do Teorema de Resduos, que
I
C

i
1 h
z2 + 1
dz =
Res(f (z), 0) + Res(f (z), z0 )
z(z z0 )(z z1 )
2i

Estes resduos j foram calculados no exemplo 13, temos ento que

Z 2
0

I
cos
z2 + 1
1
d =
dz =
(1 + 1) = 0
3 + sen
2i
C z(z z0 )(z z1 )

Integrais Reais na forma

f (x)dx. Antes de apresentar um exemplo de clculo deste
tipo de integral faz-se necessrio apresentar o conceito de Valor Principal de Cauchy.

Definio 3.6 (Valor Principal de Cauchy). O limite simtrico limR

f (x)dx, caso
exista, chamado Valor Principal de Cauchy. O Valor Principal de Cauchy pode existir
R
mesmo que a integral impropria
f (x)dx divirja. O Valor Principal (V.P.) de Cauchy
da integral denotado por

V.P.

f (x)dx = lim

Z R

R R

f (x)dx

(3.20)

3.5. Aplicao do Teorema de Resduos

57

Exemplo 15: A integral

x3 dx diverge, pois limR
a integral simtrica resulta em

lim

Z R

R R

RR 3
x dx
0

1
= limR R4 = . Mas
4

1 4
[R (R)4 ] = 0.
4

x3 dx = lim

Caso um funo f seja contnua em (, ) e seja uma funo par, isto ,

f (x) = f (x), temos que
Z 0

f (x)dx =

Z R

f (x)dx

e
Z R

f (x)dx =

Z 0

f (x)dx +

Z R

f (x)dx = 2

Z 0

donde podemos concluir que se o Valor Principal de Cauchy existir,

convergem. Os valores desta integrais so
Z
0

f (x)dx

R
0

f (x)dx e

f (x)dx

Z
Z
Z
1
f (x)dx
f (x)dx = (V.P.)
f (x)dx e
f (x)dx = (V.P.)
2

x2
dx.
0
x6 + 1
H
z2
Soluo: Consideremos C 6
dz, onde C o contorno da Figura 14, consistindo do
z +1
segmento de reta de R a +R e do semicrculo, orientado no sentido positivo (anti-horrio).
Exemplo 16: Calculemos

Figura 14 Contorno semicircular para o Exemplo 16

i

3i

5i

7i

Temos que f (z) = z6z+1 possui os seguintes polos, todos simples, z = e 6 , e 6 , e 6 , e 6 , e

11i
i
3i
i
e z = e 6 . Destes somente os polos e 6 , e 6 e e5 6 esto dentro ou sobre o contorno C.
Ento calculando os resduos, usando a regra de LHospital, temos
(

i
6

Res(f (z), e ) = limi

ze

z2
(z e ) 6
z +1
i
6

= limi
ze

1
1 i
= e 2
5
6z
6

9i
6

58

Parte 3. Teorema dos Resduos

3 i
6

Res(f (z), e

) = limi (z e
ze3

5 i
6

Res(f (z), e

z2
C z 6 +1 dz

5 i
6

) = limi (z e
ze5

Assim,

3 i
6

= 2i 61 e 2 + 16 e
Z R
R

3i
2

+ 16 e

z2
) 6
z +1

z2
) 6
z +1

5i
2

= lim3i
ze

= lim5i
ze

1
1 3i
= e 2
5
6z
6
1
1 5i
e 2
=
6z 5
6

= 3 , isto ,

Z
x2

z2
dx
+
dz
=
x6 + 1
3
CR z 6 + 1

(3.21)

Agora, desejamos
fazer
R em (3.21). Porm antes disto, usemos a desigualdade




|z + z0 | |z| |z0 |, e notemos que no contorno Cr , definido por |z| = R, vale



|z 6 + 1| = |z 6 | | 1| |z|6 |1| = (R6 1)

1
1

|z 6 + 1|
(R6 1)

donde multiplicando esta ltima desigualdade por |z 2 | = R2 , obtemos

R2
z2

|z 6 + 1|
(R6 1)
Como o comprimento L da semicircunferncia CR R, do Teorema Limitante ( Zill e
Shanahan (2011, p. 189)) temos
Z



 CR


z2
R2

dz


R
z 6 + 1  (R6 1)

resultado mostra que

Z



 CR


z2

dz
 0 quando R
6
z +1 

assim podemos concluir que

Z R
R

x2

dx
=
x6 + 1
3

ou
V.P.

x2

dx =
6
x +1
3

Como f uma funo par, a existncia do Valor Principal de Cauchy significa que
Z R
0

Z
x2
1
x2

dx
=
(V.P.)
dx
=
x6 + 1
2
6
x6 + 1

Parte IV
Transformada Inversa de Laplace

61

4 A Transformada Inversa de Laplace

Nesta parte do trabalho apresentaremos a frmula complexa de inverso para a
transformada de Laplace. Segundo Spiegel (1971), esta frmula, que faz uso da teoria das
variveis complexas apresentada na parte 3, proporciona um mtodo direto poderoso para
encontrar transformadas inversas de Laplace.

Teorema 4.1 (Transformada Inversa de Laplace (1)). Se f e f 0 forem contnuas por partes
em [0, ), se f for de ordem exponencial c para t 0 e se F (s) for uma transformada de
Laplace, a transformada inversa de Laplace L 1 {F (s)}

f (t) = L

Z +iR
1
est F (s)ds,
{F (s)} =
lim
R
2i
iR

(4.1)

1 Z +i st
e F (s)ds,
{F (s)} =
2i i

(4.2)

ou ainda,
f (t) = L

onde > c.

Segundo Zill e Shanahan (2011) e Spiegel (1971), a integrao em (4.2) deve, como
indicado pelos limites de integrao, ser efetuada ao longo de um contorno retilneo vertical
infinito Re(s) = x = , onde o uma constante real arbitrria, porm, com a restrio de
que fique a direita de todas as singularidades, sejam estas polos, pontos de ramificaes
ou singularidades essenciais. Sendo que na prtica, o fato de F (s) ter singularidades
esquerda da reta x = permite que calculemos a integral (4.2) usando a integral de
contorno
1 I st
e F (s)ds
2i C

(4.3)

onde C ao contorno da Figura 15, este contorno usualmente chamado de contorno de

Bromwich. A escolha desta forma de contorno nos permite usar o teorema de resduos de
Cauchy para o clculo de (4.2).

62

Parte 4. A Transformada Inversa de Laplace

J
B
R
K
O

A
L

Figura 15 Contorno de Bromwich

Antes de enunciar o importante teorema que nos permite calcular a transformada

inversa de Laplace com o uso do teorema dos resduos, faz-se necessrio que enunciemos o
seguinte teorema.
Teorema 4.2. Seja CR semicircunferncia do contorno de Bromwich, Figura 15, parametrizado por s = + Rei , 2 3
. Suponha que sobre CR tenhamos
2
|F (s)| <

M
, onde k>0 e M so constantes.
Rk

Ento
lim

R CR

est f (s)ds = 0

Uma demonstrao para este teorema pode ser visto em Spiegel (1971, p. 270 a
272)
Teorema 4.3 (Transformada Inversa de Laplace (2)). Seja F (s) uma transformada de
Laplace que tem um nmero finito de polos s1 , s2 , ..., sn esquerda da reta vertical
Re(s) = e seja C o contorno ilustrado na Figura . Se sF (s) for limitada em CR quando
R , ento
L 1 F (s) =

n
X

Res(est F (s), sk ).

(4.4)

k=1

Uma demonstrao para este teorema pode ser visto em Zill e Shanahan (2011, p.
285).
Exemplo 17: Calculemos L 1
Soluo:

1
, Res(s) > 0.
s2


63

1
Considerando s uma varivel complexa, a funo F (s) = 2 tem um polo de ordem
s
2 em s = 0. Desta forma, usando (4.4) e (3.8), temos
f (t) = L 1

1
s2

= Res(est

1
, 0)
s2

d
est
1
lim
(s 0)2 2
=
2 1 s0 ds
s
"

d st
e
s0 ds

= lim

= lim test = t
s0

Segundo Zill e Shanahan (2011), a transformada de Laplace (2.3) utiliza apenas os

valores de uma funo f (t) para t > 0, de modo que em geral f tomada como sendo 0
para t < 0. Esta no chega a ser uma grande limitao, pois as funes encontradas em
aplicaes so, em sua maior parte, definidas apenas para t > 0. Ainda segundo Zill e
Shanahan (2011) a integral de inverso (4.1) pode ser deduzida da frmula integral de
Fourier, segundo a qual

f (t), t > 0
1 Z +i st
e F (s)ds =
0,
2i i
t<0
(

Exemplo 18: Calculemos L

(4.5)

e2s
, Re(s) > 5.
(s 2)(s 5)
)

Soluo:
Antes de calcularmos os resduos nos polos simples s = 2 e s = 5, notemos que ao
usarmos a equao (4.1), obtemos, substituindo t por t 2 em (4.5),

f (t), t 2 > 0
es(t2)
1 Z +i
ds =
0,
2i i (s 2)(s 5)
t2<0

Agora, usando (4.4) e (3.7), temos

(

f (t) = L

e2s
(s 2)(s 5)

= lim(s 2)
s2

e2s
e2s
st
= Res e
, 2 + Res e
,5
(s 2)(s 5)
(s 2)(s 5)
!

st

es(t2)
es(t2)
+ lim(s 5)
(s 2)(s 5) s5
(s 2)(s 5)

1
1
= e2(t2) + e5(t2) .
3
3

Parte V
Resultados

67

Agora com a teoria toda construda apresentaremos alguns exemplos do uso da

Transformada de Laplace na resoluo de equaes diferencias lineares usadas na modelagem
de circuitos eltricos RLC. Os circuitos usados nos exemplos a seguir tem uso prtico como
filtros.
Exemplo 19: Uma voltagem peridica E(t) na forma de onda quadrada, como mostra a
Figura 17, aplicada ao circuito eltrico da Figura 16. Suponha que a corrente zero no
tempo t = 0, encontre-a num tempo posterior qualquer.

E(t)

E0

2a

3a

4a

-E0

Figura 16 Circuito para o Exemplo 19 Figura 17 Fonte de tenso para o

Exemplo 19
Soluo: A equao diferencial para a corrente I(t) no circuito
L

dI
+ RI = E(t)
dt

onde

I(0) = 0

(4.6)

Calculando as Transformadas de Laplace:

temos, da linearidade da Transformada e do teorema
i) Denotando L {I(t)} = I(s)
2.7, que
L {L

dI
} = LsI
dt

(4.7)

ii) Da linearidade da Transformada segue que

L {RI} = RI

(4.8)

iii) Do teorema 2.6 temos que

L {E(t)} =

Z 2a
1
est E(t)dt
1 e2sa 0

Z 2a
Z a
1
st
=
e (E0 )dt +
est (E0 )dt
1 e2sa 0
a

2a

E0
est 
est 

=

+

1 e2sa
s 0
s a

68

Parte 4. A Transformada Inversa de Laplace

E0
=
1 e2sa

1 2esa + e2sa
s

E0 (1 esa )2
=
s
1 e2sa
E0 (1 esa )
=
s (1 + esa )
E0
sa
=
tanh
s
2

E0 (1 esa )(1 esa )

=
s (1 esa )(1 + esa )
sa

E0 e 2
=
sa
s e2

sa

sa

(e 2 e 2 )
sa
sa
(e 2 + e 2 )

(4.9)

donde segue que

E0
sa
LsI + RI =
tanh
s
2

ou
sa
E0
=
tanh
I(s)
s(Ls + R)
2

Logo, pela linearidade da Transformada Inversa de Laplace,

(

E0 1
1
sa
I(t) =
L
R tanh
L
2
s(s + L )

!)

(4.10)

como, pelo teorema 4.3

L 1 F (s) =

n
X

Res(est F (s), sk ).

(4.11)

k=1

necessitamos calcular os resduos da funo

1
sa
F (s) =
R tanh
2
s(s + L )

(4.12)

Para isto notemos que a funo

1
sa
F (s) =
R tanh
2
s(s + L )

senh( sa
)
1
2
=
sa
R
s(s + L ) cosh( 2 )

tem um polo simples em s = R

e polos simples em s = sk = (2k +1) i
, k = 0, 1, 2, . . . ,
L
a
sa
onde cosh( 2 ) = 0. Notemos que s = 0 no uma singularidade, pois
tanh( sa
)
2
lim
=
s0
s

69

logo, s uma singularidade removvel.

Agora calculando os resduos de est F (t) nos polos, encontramos
i) Resduo em s = R
L
R
Res F (t),
L

R
s+
L

= limR
s L

!"

est
sa
R tanh
2
s(s + L )

"

!#

= limR
s L

est
sa
tanh
s
2

L Rt
aR
e L tanh
R
2L

ii) Resduo em s = sk = (2k + 1) i

a
!

Res F (t), sk

est
sa
= lim (s sk )
R tanh
ssk
2
s(s + L )

s sk
lim
ssk cosh sa
2

1
a
senh sk2a
2

est senh sa
2
lim
ssk s(s R )
L

esk t senh sk2a

sk (sk + R
)
L

it

2e(2k+1) a
=
(2k + 1)i[(2k + 1) i
+R
]
a
L
Portanto a soma dos resduos
it

X
aR
2e(2k+1) a
L Rt
L
e tanh
+
R
2L k= (2k + 1)i[(2k + 1) i
+R
]
a
L

Trabalhando o somatrio temos

"

2
k=

cos (2k +

1) t
a

+ isen (2k +

"

(2k + 1)i (2k + 1) i

+
a

sen (2k +

1) t
a

"

2 X
k=

"

1) t
a

R
L

"

#!

icos (2k +

"

(2k + 1) (2k +

R
L

"

1) t
a

1) i
a

(i)
(i)

(2k +

1) i
a

(2k +

1) i
a

R
L

R
L

"

!#

70

Parte 4. A Transformada Inversa de Laplace

"

"

#! "

icos (2k + 1) t
sen (2k + 1) t
a
a

2 X
k=

(2k + 1)Li + aR

aL
#

"
2 2

(2k + 1) (2k + 1) L + a R

a2 L 2









t
t
t
t
aRsen (2k + 1) a (2k + 1)Lisen (2k + 1) a (2k + 1)Lcos (2k + 1) a + aRicos (2k + 1) a

2 X



k=
(2k + 1) a2 R2 + (2k + 1)2 2 L2
aL

(2n 1)Lcos(2n 1) t
aRsen(2n 1) t
2X
a
a
n=1
(2n 1)[a2 R2 + (2n 1)2 2 L2 ]

Assim de 4.10 temos o resultado procurado

aRsen(2n 1) t
(2n 1)Lcos(2n 1) t
aR 2E0 X
E0 Rt
a
a
L
e tanh
+
I(t) =
R
2L
L n=1
(2n 1)[a2 R2 + (2n 1)2 2 L2 ]

71

Concluso
O trabalho apresentado descreve um mtodo para resolver alguns tipos de problemas
de valor inicial modelados por equaes diferenciais lineares, em especial equaes no
homogneas com foramento descontinuo, que por natureza, so difceis ou por demais
trabalhosas de serem calculadas pelas tcnicas tradicionais.
No decorrer deste trabalho, foi possvel rever e aprofundar vrios conceitos e
resultados adquiridos ao longo do curso, como por exemplo: as propriedades dos nmeros
complexos estudadas na disciplina de Variveis Complexas, sries e equaes diferenciais
estudada na disciplina de Clculo. Com isto foi possvel compreender melhor a importncia
da anlise complexa na resoluo de problemas, bem como o uso de equaes diferenciais
na modelagem de problemas fsicos. Alm disto, importante ressaltar a valiosa lio que
se obteve com o desenvolvimento deste trabalho, desde sua concepo, passando pela fase
de pesquisa e estudo, at a sua apresentao final.
Por fim, sugerimos para trabalhos futuros, um aprofundamento no estudo de
Transformada Integrais, em especial a Transformada de Fourier, suas aplicaes na resoluo
de equaes diferenciais e sua relao com a Transformada de Laplace.

73

Referncias
BASSANEZI, R. C.; FERREIRA JUNIOR, W. C. Equaes Diferenciais com Aplicaes.
1. ed. So Paulo: Habra, 1998. Citado 3 vezes nas pginas 15, 20 e 37.
BOYCE, W. E.; BRANNAN, J. R. Equaes Diferenciais Uma Introduo a Mtodos
Modernos e Suas Aplicaes. 1. ed. Rio de Janeiro: LTC, 2008. Citado 3 vezes nas pginas
15, 25 e 38.
BOYCE, W. E.; DIPIRMA, R. C. Equaes Diferenciais Elementares e Problemas de
Valores de Contorno. 6. ed. Rio de Janeiro: LTC, 1999. Citado na pgina 15.
CHURCHILL, R. V. Variveis Complexas e suas Aplicaes. 1. ed. So Paulo:
MacGraw-Hill do Brasil, 1975. Citado na pgina 56.
FIGUEIREDO, D. G.; NEVES, A. F. Equaes Diferenciais Aplicadas. 3. ed. Rio de
Janeiro: IMPA, 2014. Citado na pgina 21.
HALLIDAY, D.; RESNICK, R.; WALKER, J. Fundamentos de fsica, volume 2:
eletromagnetismo. 8. ed. Rio de Janeiro: LTC, 2008. Citado na pgina 24.
NAGLE, R. K.; SAFF, E. B.; SNIDER, A. D. Equaes Diferenciais. 8. ed. So Paulo:
Pearson, 2012. Citado na pgina 19.
SOARES, M. G. Clculo em uma varivel complexa. 5. ed. Rio de Janeiro: IMPA, 2012.
Citado na pgina 50.
SPIEGEL, M. R. Transformadas de Laplace. 1. ed. So Paulo: MacGraw-Hill do Brasil,
1971. Citado 6 vezes nas pginas 15, 22, 23, 29, 61 e 62.
ZILL, D. G.; SHANAHAN, P. D. Curso Introdutrio Anlise Complexa com Aplicaes.
2. ed. Rio de Janeiro: LTC, 2011. Citado 11 vezes nas pginas 29, 44, 45, 46, 49, 50, 52,
58, 61, 62 e 63.