2 PARTE: TRANSFORMAO DE LAPLACE

A transformao de Laplace um mtodo para resolver as equaes diferenciais lineares que

surgem na Matemtica aplicada Engenharia. O mtodo consiste essencialmente em trs etapas. Na
primeira, a equao diferencial dada transformada em uma equao algbrica (equao subsidiria).
Em seguida, esta ltima equao resolvida por manipulaes puramente algbricas. Finalmente, a
soluo da equao subsidiria transformada em sentido contrrio, de tal maneira que fornea a
soluo desejada da equao diferencial original.
Desta maneira, a transformao de Laplace reduz o problema de resolver a equao
diferencial a um problema algbrico. E ainda levam em conta as condies iniciais sem a necessidade
de determinar primeiro a soluo geral para dela, ento, obter uma soluo particular. Quando
aplicamos o mtodo clssico a uma equao no homognea, precisamos em primeiro resolver a
equao homognea correspondente, enquanto a transformao de Laplace fornece a soluo da
equao no homognea de mediata.Na presente parte, vamos a transformao de Laplace de um
ponto de vista prtico e conhecer vrias aplicaes importantes para a Engenharia.
1. Transformada de Laplace
Seja f(t) uma dada funo que definida para todos os valores positivos de t. Multiplicamos f(t)
por e
-st
e integramos em relao a t de zero ao infinito. Ento, se a integral resultante existe, ela ser
uma funo de s, digamos F(s).
F s e f t dt
st
( ) ( ) .

0
A funo F(s) chamada a transformada de Laplace da funo original f(t) e ser representada
por L (f). Assim:
(1) F(s) = L (f) =

0
st
e f(t)dt
A operao realizada sobre f(t) chamada transformao de Laplace.
A funo original f(t) em (1) chamada a transformada inversa ou, simplesmente, a inversa de
F(s) e ser representada por L
-1
(F), Assim, escreveremos:
f(t) = L
-1
(F)
Representaremos a funo original por uma letra minscula e sua transformada pela mesma
letra maiscula.
www.pucrs.br/famat/salett
Exemplos:
Veremos que a transformao de Laplace possui vrias propriedades gerais, em conseqncia
das quais as transformadas de muitas funes podem ser ouidas de maneira fcil. A propriedade mais
importante da transformao de Laplace a enunciada no seguinte Teorema .
Teorema 1 (Linearidade). A transformao de Laplace uma operao linear, isto , para quaisquer
funes f(t) e g(t) cujas transformadas de Laplace existam e quaisquer constantes a e b temos
L { } a t bg t af + ) ( ) ( L (f) +bL (g), onde a e b so constantes.
Por definio, L{ } [ ]dt t bg t af e t bg t af
st
) ( ) ( ) ( ) (
0
+ +

a dt t g e b dt t f e a
st st
+

) ( ) (
0 0
L
b f + ) (
L
) (g
Exemplos:
A seguir, uma lista de algumas funes elementares e de suas transformadas.
Quadro 1: Algumas Funes Elementares f(t) e suas transformadas de Laplace L(f)
f(t) L
) (f
f(t) L
) (f
1
1
1 1/s 6 e
at
a s
1
2
2
t 1/s
2
7 cos t
s
s
2 2
+
3
3
t
2
2!/s
3
8 sen t
2 2

+ s
4
4
t
n
n inteiro positivo
n
s
n
!
+1
9 cosh at
2 2
a s
s

5
5
t
a
a positivo
( ) a
s
a
+
+
1
1
10 senhat
a
s a
2 2

Quando conhecemos as transformadas do quadro, quase todas as transformadas de que

necessitamos podem ser obtidas pelo emprego de alguns Teorema s gerais simples que examinamos
nas sees seguintes.
As frmulas (1), (2) e (3) no quadro so casos especiais da frmula (4). Esta decorre de (5) e
de (n + 1) = n! onde n um inteiro no negativo. A frmula (5) pode ser demonstrada a partir da
definio:
www.pucrs.br/famat/salett
1. Para demonstrar a frmula (5) no quadro1, temos
L . ) (
0
dt t e t
a st a

Fazemos st = z. Ento, dt = dx/s.

L
1 0 1 0
) 1 ( 1
) (
+

+

+

,
_

a
a x
a
a
x a
s
a
dx x e
s x
d
s
x
e t (s > 0)
A frmula (4) decorre da frmula (5) e (n + 1) = n! onde n um inteiro positivo. As trs
primeiras frmulas na Tabela so casos especiais da frmula (4).
2. Para demonstrar as frmulas (7) e (8) fazemos a = i na frmula (6). Segue-se
L
.
) )( (
1
) (
2 2 2 2 2 2

+
+
+

+
+

+
+

s
i
s
s
s
i s
i s i s
i s
i s
e
t i
Por outro lado, pelo Teorema 1,
L ) (
t i
e

L
+ ) (cos t isen t
L
i t + ) (cos
L
). ( t sen
Igualando as partes real e imaginria destas equaes, obtemos as frmulas (7) e (8).
3. A frmula (10) pode ser demonstrada de maneira semelhante. Outras transformadas podem ser
oriundas empregando a propriedade importante seguinte.
Teorema 2 (Primeiro Teorema do Deslocamento). Se L
) ( ) ( s F f
quando s > a, segue-se que
L { } ) ( ) ( a s F t f
at
e (s > + a);
isto , a substituio de s por s - a na transformada corresponde multiplicao da funo
original por e
at
.
Demonstrao. Por definio,
F s e f t dt
st
( ) ( )

0
e, portanto,

dt t f e e dt t f e a s F
at st a s
t
) ( [ ) ( ) (
0
) (
0
L { } ) (t f
at
e
Exemplos:
Enunciamos a seguir condies suficientes simples para a existncia da transformada de
Laplace de uma funo. Estas condies consistem em que f seja contnua em intervalos (piecewise
continuous) e |f| no cresa demasiadamente rpido medida que t se aproxima do infinito. Inicialmente
damos a definio de continuidade em intervalos.
www.pucrs.br/famat/salett
Uma funo f(t) dita contnua em intervalos sobre um intervalo finito a t b, se ela
definida no intervalo e tal que o intervalo pode ser subdividido em um nmero finito de intervalos, em
cada um dos quais f(t) contnua e possui limites finitos quando t se aproxima de cada extremidade a
partir do interior.
Decorre da definio que os saltos finitos so as nicas descontinuidades que uma funo
contnua em intervalos pode possuir; estas so conhecidas como descontinuidades ordinrias. Alm do
mais, claro que a classe das funes contnuas em intervalos inclui todas as funes contnuas.
Teorema 3 (Teorema de Existncia) Seja f(t) uma juno que contnua m intervalos sobre qualquer
intervalo finito em t > 0 e satisfaz a
(2) f t Me
at
( ) para qualquer t > 0 e
para certas constantes e M. Ento, a transformada de Laplace existe para todo s > .
Demonstrao. Como f(t) contnua em intervalos, e
-st
f(t) integrvel sobre qualquer
intervalo finito sobre o eixo t e de (2),
|L
) (f
|
a s
M
dt
s
e M dt
at
Me
st
e dt t f
st
e dt t f
st
e
t

) (
0 0
) (
0
) (
0

s >
Isto completa a demonstrao.
As condies do Teorema 3, so prticas para a maioria das aplicaes, e simples
determinar se uma funo satisfaz ou no a uma desigualdade da forma (2). Por exemplo, satisfazem
condio (2)
(3) cosh t < e
t
, t
n
< n! e
t
(n = 0, 1, ...) para qualquer t > 0
e qualquer funo que limitada em valor absoluto para todo t 0, tal como um seno ou um
co-seno de uma varivel real. Um exemplo de funo que no satisfaz a uma relao da forma (2) a
funo e
t2
, porque, por maiores que escolhamos os nmeros M e em (2)
e
t 2
> Me
at
para qualquer t > t0
onde t0 um nmero suficientemente grande que depende de M e .
Devemos notar que as condies no Teorema 3 so suficientes em lugar de necessrias. Por
exemplo, a funo
1
t
infinita para t = 0, mas sua transformada de Laplace existe; de fato, de
acordo com a definio e tendo em vista que
( )

1
2

, obtemos
L
( ) .
2
1
1
2
1
0
1
2
1
0
2
1
s
s
dx x
x
e
s
dt t
st
e t

,
_

www.pucrs.br/famat/salett
Se a transformada de Laplace de uma dada funo existe, ela determinada de maneira
unvoca. Reciprocamente, podemos mostrar que duas funes que possuem a mesma transformada
no podem diferir sobre um intervalo de cumprimento positivo, se bem que elas possam diferir em
vrios pontos isolados. Como isto no possui importncia nas aplicaes, podemos dizer que a inversa
de uma dada transformada essencialmente nica. Em particular, se duas funes contnuas possuem
a mesma transformada, elas so completamente idnticas.
2. Transformadas de Laplace de Derivadas e Integrais
A derivao e a integrao de f(t) correspondem multiplicao e diviso da transformada:
) (s F
L
( ) f
A importncia desta propriedade da transformao de Laplace porque desta maneira as
operaes do clculo infinitesimal podem ser substitudas por simples operaes algbricas sobre as
transformadas.
Teorema 1 (Derivada de f(t)). Suponhamos que f(t) seja contnua para t 0, e possua uma derivada
f(t) contnua em intervalos sobre qualquer intervalo finito situado em
t 0. Ento a transformada de Laplace da derivada f(t) existe, quando s >

e
(1) L (f) = sL (f) - f(0) s >

Demonstrao. Consideramos em primeiro lugar o caso em que f(t) contnua para t 0. Ento, de
acordo com a definio e mediante uma integrao por partes:
L
. ) (
0
0
) ( ) ( '
0
) ' ( dt t f
st
e s t f
st
e dt t f
s
e f
t

1
]
1

Quando f(t) contnua em intervalos, a demonstrao bem semelhante; neste caso, o

intervalo de integrao da integral original deve ser dividido em intervalos parcial tais que f seja
contnua em cada um deles. Aplicando (1) derivada de segunda ordem f(t), obtemos:
L (f) = s L (f) f (0) = s[s L (f) f (0)] f (0) isto ,
(2) L (f) = s
2
L (f) sf (0) f (0)
Semelhantemente, (3)
L (f) = s
3
L (f) s
2
f (0) sf (0) f (0)
Por induo, obtemos ento a seguinte extenso do Teorema 1:
Exemplos:
Teorema 2 (Derivada de Ordem n Qualquer). Sejam f(t) e suas derivadas f(t), f(t),..., f
(n-1)
(t) funes
contnuas para t 0, que satisfazem (2), para certos valores de

e de M, e seja a derivada f
(n)
(t)
www.pucrs.br/famat/salett
contnua em intervalos sobre qualquer intervalo finito na faixa t 0. Ento, a transformada de Laplace de
f
(n)
(t) existe quando s >

, e dada pela frmula

(4) L (f
n
) = s
n
L ( ) ( ) ( ) ( ). 0 ... 0 ' 0
1 2 1

n n n
f f s f s f
Exemplos:
Teorema 3 (Integrao de f(t)). Se f(t) contnua em intervalos e satisfaz condio de definio da
transformada ento:
(5) L { }
s
dr f
t
1
) (
0

L{ } ) (t f (s > 0, s > )
Exemplos:
3. Transformao de Equaes Diferenciais Ordinrias
As equaes diferenciais lineares ordinrias com coeficientes constantes podem ser reduzidas
a equaes algbricas, onde a incgnita a transformada. Consideremos por exemplo a equao:
(1) y t y t r t ' ' ( ) ( ) ( ) +
2
onde r(t) e so dados. Aplicando a transformao de Laplace e empregando obtemos:
(2) ), ( ) ( ) 0 ( ' ) 0 ( ) (
2 2
s R s F y sy s F s +
onde F(s) a transformada de Laplace da funo incgnita y(t) e R(s) a transformada de
Laplace de r(t). Esta equao algbrica chamada equao subsidiria da equao diferencial dada.
Evidentemente, sua soluo :
(3) .
) ( ) 0 ( ' ) 0 (
) (
2 2 2 2
+
+
+
+

s
s R
s
y sy
s F
Notamos que F(s) completamente determinado por meio das condies iniciais, y(0) = k1 e
y (0) = k2. A ltima etapa do processo consiste em determinar inversa L ) ( ) (
1
t y F

, que ento a
soluo desejada de (1).
Exemplos:
www.pucrs.br/famat/salett