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 ,
0 +

(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: I pC I pC Re(p) > u p C( u) 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 < no cone p : arg(p p 0 ) . , u(p) 0 quando p 2

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

5) /{cos(t )} =

+ 1

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

6) /{sen(t )} =

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

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 Se v( t ) = u( s) ds , ento

0 t

/{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

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

t0 < 0 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) = w( p ) v(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 t u(t ) = /1 u(p) = /1 e i = 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) = ento u(t ) = /
1

( p a i ) k i +1
i (p)e pt p=a i

i (p)

{u(p)} = /

1 v p

( ) n 1 ki = w(p) i =1 k i ! p k 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

( 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