Captulo 2

Transformada de Laplace
2.1 - Definio, Exemplos e Propriedades Bsicas
Definio 2.1.1
Seja o espao das funes u de varivel real t com valores complexos satisfazendo as
seguintes condies:
i) u( t ) est definida para todo o t real e identicamente nula para t < 0 ;
ii) u( t ) seccionalmente contnua em IR + ;

( )

iii) o limite u 0 + pode no existir mas u( t ) integrvel numa vizinhana de 0.

Definio 2.1.2
Seja u( t ) uma funo pertencente a . A sua transformada de Laplace definida por
+

/{u(t )} u(p) = u(t )e pt dt ,

(1)

para todo o complexo p para o qual o integral convirja.

O conjunto de todos os nmeros complexos p para os quais o integral (1) converge chama-se
domnio de convergncia simples e representa-se por C( u) .
+

O conjunto de todos os nmeros complexos p para os quais o integral

u( t ) e pt dt

converge chama-se domnio de convergncia absoluta e representa-se por A( u) .

Teorema 2.1.1 [Henrici, p. 202]
O domnio de convergncia simples do integral de Laplace, se for no vazio, todo o plano
complexo ou um semiplano podendo conter alguns ou todos os pontos da recta que o delimita,

isto , existe um u IR , conhecido por abcissa de convergncia simples do integral de

Laplace, tal que:

pCI

Re(p) > u p C( u)

pCI

Re(p) < u p C( u)

e no se pode dizer nada quanto aos pontos definidos por Re(p) = u .

No domnio C( u) , a transformada de Laplace u de u verifica as duas seguintes propriedades
fundamentais:
Propriedade 2.1.1 [Henrici, p. 203]
Se u e u < , ento u(p) analtica em Re(p) > u e
dnu
/ t n u( t ) = ( 1) n
, n = 1, 2,... .
dp n

Propriedade 2.1.2 [Henrici, p. 205]

Se u e p 0 C( u) , ento, qualquer que seja tal que 0 <

, u(p) 0 quando p
2

no cone p : arg(p p 0 ) .

Exemplos
+

1) /{1} = e pt dt = p 1
0

2) /{t} =

( )

d 1
= p 2
p
dp

{ }

n!
3) / t n = n+1 , n = 0, 1,...
p

{ }

4) / e at = e at e pt dt =
0

1
pa

+ 1

p
e it + e it )e pt dt = 2
, constante
(
p + 2
0 2

5) /{cos(t )} =

1 it
e e it e pt dt = 2
, constante
p + 2
0 2i

6) /{sen(t )} =

Os resultados dos exemplos 1), 2) e 3) so vlidos para Re(p) > 0 , o de 4) para Re(p) > a e
os de 5) e 6) para Re(p) > Re( ) e se real ento 5) e 6) so vlidos para Re(p) > 0 .

2.2 - Condies Suficientes de Existncia

Definio 2.2.1

( ) ( )

Diz-se que uma funo u( t ) tem uma descontinuidade finita em t = t 1 se u t 1 u t 1+

Definio 2.2.2
Diz-se que uma funo u( t ) seccionalmente contnua para t 0 se tiver, no mximo, um
nmero finito de descontinuidades finitas no intervalo 0 t M , M > 0 .
Definio 2.2.3
Diz-se que uma funo u( t ) de tipo exponencial de ordem e t , > 0 , quando t se
existirem constantes M e N reais e positivas tais que para cada t > N , u( t ) < Me t .
Propriedade 2.2.1 [Debnath, p. 87]
Se u( t ) uma funo de tipo exponencial de ordem e t para algum > 0 e contnua ou
seccionalmente contnua para t 0 , ento a sua transformada de Laplace existe para
Re(p) > .
Propriedade 2.2.2 [Debnath, p. 88]
u(p) 0 quando p .

2.3 - Propriedades Operatrias

Propriedade 2.3.1 (Linearidade)
A transformada de Laplace um operador linear.
Se /{u( t )} = u(p) para Re(p) > a e /{v( t )} = v(p) para Re(p) > b , ento
/{u( t ) + v( t )} = u(p) + v(p) ,
para quaisquer constantes e , desde que Re(p) > max(a , b) .

Propriedade 2.3.2 (Mudana de escala)

p
/{u(kt )} = k 1 u , k > 0 .
k

Propriedade 2.3.3 (Teorema da Translao)

/ e t u(t ) = u(t )e ( p ) t dt = u(p ) , > 0 .

0

Propriedade 2.3.4 (Teorema da Derivada)

Se u( t ) contnua para t > 0 e de tipo exponencial de ordem e t e u ' ( t ) seccionalmente
contnua para t 0 , ento

( )

/{u' (t )} = pu(p) u 0 + , Re(p) > .

Propriedade 2.3.5
Se u( t ) satisfaz as condies do Teorema anterior excepto para uma descontinuidade finita
em t = t 1 , ento

[ ( ) ( )]

( )

/{u' (t )} = pu(p) u 0 + e t1p u t 1+ u t 1 , Re(p) > .

Esta Propriedade pode ser extendida a um nmero finito de descontinuidades finitas.

Propriedade 2.3.6
Se u( t ) seccionalmente contnua para t 0 com, no mximo, um nmero finito de
descontinuidades finitas e de tipo exponencial de ordem e t e se u ' ( t ) seccionalmente
contnua, ento

( )

/{u' (t )} = pu(p) u 0 + e t i p u(t i + ) u(t i ) , Re(p) > ,

n

i =1

onde t 1 , t 2 , ... , t n so as abcissas positivas dos pontos de descontinuidade.

Propriedade 2.3.7
( )
( )
( )
Se u( t ) , u ' ( t ) , ..., u n1 ( t ) so de tipo exponencial e se u n1 ( t ) contnua e u n ( t )

seccionalmente contnua para t 0 , ento

( )

( )

( )

( )

/ u ( n ) (t ) = p n u(p) p n 1 u 0 + p n 2 u' 0 + ... pu ( n 2) 0 + u ( n 1) 0 + .

Propriedade 2.3.8
t

Se v( t ) = u( s) ds , ento
0

/{v(t )} = p 1 u(p)
para Re(p) > max( ,0) .

Propriedade 2.3.9
Se u( t ) seccionalmente contnua e de tipo exponencial de ordem e t e se u( t ) / t tiver
limite quando t 0 + , ento
u(t ) +
/
= u(x)dx .
t p

A propriedade seguinte decorre imediatamente da anterior quando p 0 :

Propriedade 2.3.10
+

+
u(t )
dt = u(p)dp .

0 t
0

2.4 - Transformao Inversa

Se o valor de u( t ) for alterado num nico ponto t 1 a sua transformada u(p) permanece
inalterada. Consequentemente, no devemos esperar que u( t ) esteja definida univocamente
quando u(p) dado a no ser que imponhamos a u( t ) alguma outra condio como, por
exemplo, a continuidade.

Relao de equivalncia
Diremos que duas funes u 1 e u 2 de so equivalentes, e escrevemos u 1 u 2 , se u 1 e u 2
tiverem valores idnticos em cada t > 0 excepto, quando muito, num conjunto de pontos de
medida nula.
Com esta relao de equivalncia, o conjunto fica dividido em classes de equivalncia, mas
continuaremos a designar por o conjunto / daquelas classes.
Propriedade 2.4.1 (Teorema da unicidade)
Se u1 (p) = u 2 (p) para Re(p) > , ento u 1 ( t ) = u 2 ( t ) , 0 t < + .
Reciprocamente, se u 1 (t ) u 2 (t ) (num conjunto de medida positiva em 0 t < + ), ento
u1 ( p) u 2 ( p) .

2.4.1 - Inverso por Integrao

Se u( t ) uma funo localmente integrvel em [0,+[ tal que:
(1) u( t ) de variao limitada numa vizinhana do ponto t 0 0
(2) o integral de Laplace de u( t ) converge absolutamente em Re(p) = ,
ento


0
u
1 + iM

lim
pt 0
M + 2i u(p)e dp =

iM
u

t0 < 0

(0 + )
2
t 0+ + u t 0
2

( ) ( )

t0 = 0
t0 > 0

Em particular, se u( t ) diferencivel em ]0,+[ e satisfaz as condies (1) e (2), ento

1 + iM
lim
pt
M + 2i u(p)e dp = u(t ) , 0 < t < + .
iM

2.4.2 - Inverso por Decomposio em Fraces Simples

Seja u(p) =

v(p)

w( p )

, onde v(p) e w(p) so polinmios sem zeros comuns e o grau de w(p)

maior do que o grau de v(p) .

1 caso: w(p) s tem zeros simples em a 1 , ..., a n
v(p) n v(a i ) a i t
u(t ) = /1 u(p) = /1
e
=
w(p) i =1 w ' (a i )

2 caso: w(p) tem zeros de ordens k 1 + 1 , ... k n + 1 em a 1 , ..., a n

Sendo i (p) tal que
u(p) =

i (p)

( p a i ) k i +1

ento
1

u(t ) = /

( ) n 1 ki

w(p) i =1 k i ! p k i

1 v p

{u(p)} = /

i (p)e pt

p=a i

2.4.3 - Inverso por Derivao (Frmula de Post-Widder)

Sendo u uma funo localmente integrvel, se
+

u(p) = e pt u(t )dt

0

converge para algum p > 0 , ento

lim ( 1)
( ) n n
u( t ) = n +
u n
t t
n!
n

n +1

2.4.4 - Inverso por Convoluo

Definio 2.4.4.1
Sejam u( t ) e v( t ) duas funes localmente integrveis em [0,+[ e tais que u(p) e v(p)
convergem absolutamente nalgum semi-plano Re(p) > .
A convoluo de u e v ou produto convolutivo de u por v, define-se por
t

( u v)( t ) = u( x) v( t x)dx .
0

uma funo localmente integrvel em [0,+[ e contnua se u ou v o for.

Teorema 2.4.4.1
Sendo u( t ) e v( t ) duas funes localmente integrveis em [0,+[ e tais que u(p) e v(p)
convergem absolutamente nalgum semi-plano Re(p) > , ento

(u v)(t ) = /1 {u(p)v(p)} .

10