Laplace e Fourier - Finalizado

DIRETORIA DE CINCIAS EXATAS
ENGENHARIA CIVIL, ENGENHARIA ELTRICA,

ENGENHARIA MECNICA E
ENGENHARIA DE PRODUO MECNICA
UNIVERSIDADE NOVE DE JULHO
TRANSFORMADAS DE LAPLACE E FOURIER
MARCO ANTONIO DE C. SOUZA
RODRIGO PEDROSA GONALVES
RODRIGO ROCHA CORREIA
RUDY RODRIGUES DE SOUZA
WERNER ROTH SANTOS
So Paulo
2013
ENGENHARIA ELTRICA - 5 A NOTURNO - MEMORIAL
TRANSFORMADAS INTEGRAIS
Quando uma funo f(x), com x D, definida em termos de uma funo F(), com ,
atravs de uma relao integral do tipo
( ) ( ) ( )
=
d , x K F x f , (1.1)
dizemos que f(x) a transformada integral da funo F( ) pelo kernel (ncleo) ) , x ( K e usamos a
notao:
( ) [ ] x ; F ) x ( f = . (1.2)
Devemos notar que o operador definido por (1.1) e (1.2) linear, isto , se
( ) [ ] ( ) x f x , F
1 1
= , ( ) [ ] ( ) x f x , F
2 2
= e
2 1
c e c so constantes arbitrrias, ento
( ) ( ) [ ] ( ) ( ) x f c x f c x , F c F c T
2 2 1 1 2 2 1 1
+ = + . (1.3)
Para escolhas particulares do kernel usaremos smbolos especiais para o operador
transformada integral . Por exemplo:
1) Se toda a reta real e ( )
2
e
. x K
x j
, dizemos que f(x) a transformada (exponencial)
de Fourier de F( ) , ou
( ) [ ] ( ) ( ) = =
d e F x f F
x j
. (1.4)
=
2
) x sen(
. x K , dizemos que f(x) a transformada seno de
Fourier de F( ), ou
( ) [ ] ( ) ( ) ( )
+

= = d x sin F x f F
S
. (1.5)
=
2
) x cos(
. x K , dizemos que f(x) a transformada coseno de
Fourier de F( ), ou
TRANSFORMADAS DE LAPLACE E FOURIER - Equaes Diferenciais e Campos Vetoriais
Uninove - Eng Eltrica - EDCV - 5A - Noturno - Memorial 1
( ) [ ] ( ) ( ) ( ) = =
+

d x cos F x f F
C
.
(1.6)
4) Se o semi eixo real positivo e ( ) x J ) , x ( K =

, onde ( ) x J
denota a funo de
Bessel de primeiro tipo e ordem , dizemos que f (x) a transformada de Hankel de F( ) , ou
( ) [ ] ( ) ( ) ( ) = =
d x J F x f F
0
. (1.7)
Ainda temos as transformadas de Laplace, onde
x
e ) , x ( K

= e o semi-eixo real
positivo; a transformada de Mellin, onde ( )
1
x , x K

= e o semi-eixo real positivo, etc...
Geralmente, o problema no qual a transformada integral aplicada pede a determinao da
funo F( ) quando f(x) uma funo conhecida. Esta soluo encontrada atravs dos teoremas de
inverso, que so da forma,
( ) [ ] ( ) ( ) ( )
= =
D
1
dx , x H x f F x f , (1.8)
onde ) , x ( H denota o kernel da transformada integral inversa
1
.
A TRANSFORMADA DE LAPLACE
Definio: Seja f(t) uma funo real definida para . 0 t > Ento a transformada de Laplace de
f(t), denotada por ( ) [ ] t f definida por:
( ) [ ] ( ) ( )dt t f e s F t f
0
st
+

= = , (2.1)
onde assumimos que s um parmetro complexo. Dizemos que a transformada de Laplace existe se a
integral (2.1) converge para algum valor de s, caso contrrio esta transformada no existir.
Observao: Em muitas aplicaes a varivel s pode ser restrita a valores reais.
Exemplos:
Encontre a transformada de Laplace das seguintes funes:
1. ( ) 1 t f =
( ) [ ] = t f [ ]
( )
=
= = =
+

0 jy x R
R
0
st
0
st
e e lim
s
1
s
e
dt e 1
( )
s
1
1 y sen j y cos e lim
s
1
Rx
R
=
+ =

, se Re( ) 0 s > , (2.2)
onde foi considerado que jy x s + = .
2. ( ) ( ) a t H t f =
( ) [ ] ( )
s
e
s
e
dt e dt a t H e a t H
as
a
st st
0 a
st

+

+ +
= = = =

, se Re( ) 0 s > . (2.3)
3. ( ) ( ) a t t f =
( ) [ ] ( )

= =
0
as st
e dt a t e a t , se Re( ) 0 s > . (2.4)
4. ( )
at
e t f =
[ ]
a s
1
a s
e
dt e e
0
t ) a s (
0
t ) a s ( at
= =
, se Re( ) a s > . (2.5)

5. ( ) ) at cos( t f =
[ ]
2 2
0
2 2
st
0
st
a s
s
a s
) at cos( a ) at sen( s
e dt ) at cos( e ) at cos(
+
=
+

= =
+
, se Re( ) 0 s > . (2.6)

6. 1 p com , t ) t ( f
p
> =
[ ]
1 p 0
p u
1 p 0
p
u
0
p st p
s
) 1 p (
du u e
s
1
s
u
d
s
u
e dt t e t
+
+

+
+

+

+
= =
= =

, (2.7)
(vide Eq. (1.1), seo 1 do Apndice A) onde foi realizada a mudana de varivel u = st, considerando
que s > 0 seja real.
Nos exemplos acima, fica claro que a transformada de Laplace converge numa certa regio do
plano complexo. Uma das propriedades que caracterizam a transformada de Laplace que esta regio
descrita pela equao Re(s) > a, onde a uma constante real. Por outro lado, podem ocorrer funes
para as quais a transformada de Laplace no existe, isto , a integral (2.1) diverge para todos os valores
de s. Assim, torna-se importante conhecer condies para a existncia da transformada de Laplace de
uma certa funo. Ento, apresentaremos um teorema que estabelece a existncia desta transformada
para uma classe de funes bastante ampla. Com este objetivo, inicialmente, definiremos funes
seccionalmente contnuas e funes de ordem exponencial.
Definio: Uma funo f(t) dita seccionalmente contnua ou contnua por partes num
intervalo a < t < b, se este intervalo pode ser subdividido em um nmero finito de intervalos nos quais
a funo f(t) contnua e possui limites finitos a direita e esquerda.
Um exemplo de funo seccionalmente contnua mostrado graficamente na Fig. 2.1. Esta
funo tem descontinuidades nos pontos . t , t , t , t
4 3 2 1
Note que existem os limites esquerda e direita
nos pontos
i
t , para i = 1,2,3 e 4 e, tambm, os limites direita em a e esquerda em b.
Figura 2.1: funo contnua por partes.
Definio: Uma funo real dita de ordem exponencial (real), se existem M e T,
constantes reais positivas, tais que ( ) M t f e
t
<

ou ( )
t
e M t f

< , para todo t > T.
Exemplos:
1. ( )
2
t t f = de ordem exponencial 3, por exemplo, pois
t 3 2 2
e t t < = , para todo t > 0
2. ( )
3
t
e t f = no uma funo de ordem exponencial pois
( )
= =

t se , e e e e
2 3 3
t t t t t t
. (2.8)
Em outras palavras, as funes de ordem exponencial no podem crescer, em valor absoluto,
mais que uma exponencial
t
e M

, quando t cresce. Funes limitadas, tais como seno e coseno, so
sempre de ordem exponencial, bem como as funes polinomiais tambm o so.
Teorema: (Condies suficientes para a existncia da transformada de Laplace) Se, para todo
real positivo T, f(t) uma funo seccionalmente contnua no intervalo finito 0 < t < N e de ordem
exponencial , para t > N, ento sua transformada de Laplace F(s) existe para todo s > .
Prova: Seja T um real positivo. Ento,
( ) ( )dt t f e dt t f e dt ) t ( f e
T
t s
T
0
t s
0
st

+

+

+ = . (2.9)
Como f(t) seccionalmente contnua no intervalo 0 < t < T, temos que a primeira integral no
lado direito da equao (2.8) existe. Como f(t) de ordem exponencial , para t > T, tambm existe a
segunda integral, como podemos observar abaixo:
( ) ( ) ( )

=

+

+

+

+

s
M
dt e e M dt t f e dt t f e dt t f e
t
0
t s
0
t s
T
t s
T
t s
. (2.10)
Assim, a transformada de Laplace de f(t) existe, para todo s > .
Observao: Note que as condies do teorema so suficientes mas no necessrias para a
existncia da transformada de Laplace, ou seja, se uma funo no pertence ao grupo especificado ela
pode, ou no, possuir transformada de Laplace. Por exemplo, ( ) ) e cos( e t 2 t f
2 2
t t
= no de ordem
exponencial, mas sua transformada de Laplace existe, pois:
, 0 ) s Re( se , dt ) e sen( e s 1 sen
dt ) e ( sin e s ) e ( sin e dt ) e ( cos e t 2 e
2
2 2 2 2
t
1
st
0
t st
0
t st t t
0
st
> + =
= + =

(2.11)
onde foi utilizada integrao por partes, considerando
st
e u

= e ) e ( sen v
2
t
= . A integral que aparece
no lado direito da equao (2.11) existe, pois:
s
1
dt e dt ) e ( sin e dt ) e ( sin e
0
st
0
t st
0
t st
2 2
=

, se Re(s) > 0. (2.12)
A TRANSFORMADA INVERSA DE LAPLACE:
Definio: Se a transformada de Laplace de uma funo f(t) F(s), isto , se ( ) [ ] ), s ( F t f =
ento f(t) chamada de transformada inversa de Laplace de F(s) e, simbolicamente, podemos escrever
f(t) = ( ) [ ] s F
1
.
Por exemplo, se f(t) uma funo que, para t positivo, assume o valor um, a menos de um
conjunto de pontos isolados, ento [ ] = 1 ( ) [ ] = t H ( ) [ ]
s
1
t f = . Assim, ) t ( f ou ) t ( H ou 1
s
1
1
=
.
Observe que, como a transformada de Laplace s leva em considerao a parte da funo definida para
t 0, ento podemos afirmar que, neste intervalo, H(t) = 1. Alm disto, a transformada de Laplace
uma integral definida, logo desconsidera descontinuidades evitveis. Do ponto de vista fsico,
funes como f(t) so anormais e no devem ser consideradas, assim podemos encarar um como
sendo a transformada inversa de Laplace da funo complexa .
s
1
) s ( F = Neste sentido, a transformada
inversa de Laplace de uma funo F(s) nica.
Existe uma frmula para a inverso da transformada de Laplace de uma funo F(s), com
Re(s) > , definida pela integral de Mellin,
( ) ( )
=
j
j
ts
ds s F e
j 2
l
t f , (3.1)
onde um real qualquer tal que > , a qual uma frmula bastante geral, mas que no ser
empregada aqui, pois no estudamos a integrao por resduos. Esta frmula origina muitos mtodos
numricos para determinar a transformada inversa de Laplace de uma funo F(s). Um mtodo
bastante simples e, portanto, muito usado a inverso por quadratura de Gauss, que a definida por:
=
t
s
F
t
s
A ) t ( f
k
M
1 k
k
k
, (3.2)
onde
k
A e
k
s so parmetros complexos tabelados (vide Stroud & Secrest, Gaussian Quadrature).
Neste estudo, nos restringiremos a inverso da transformada de Laplace atravs de mtodos
que usem uma tabela. Para tanto, vamos usar as tcnicas de decomposio em fraes parciais (ou
diretamente os teoremas de Heaviside) e de completamento de quadrados, as quais sero vistas ao
longo do texto deste material.
PROPRIEDADES DAS TRANSFORMADAS DE LAPLACE:
Nas propriedades a seguir, assumiremos que todas as funes envolvidas obedecem o teorema
da existncia, a no ser que se diga o contrrio.
Propriedade 1: (LINEARIDADE) Se [f(t)] = F(s) e [g(t)] = G(s), ento, para quaisquer a
e b constantes complexas,
( ) ( ) [ ] a t g b t f a = + ( ) [ ] b t f + ( ) [ ] ( ) ( ) s bG s aF t g + = (4.1)
ou
( ) ( ) [ ] a s G b s F a
1
= +
( ) [ ] b s F
1
+
( ) [ ] ( ) ( ) t g b t f a s G
1
+ =
. (4.2)
Observao: Este resultado pode ser estendido facilmente para mais de duas funes.
Prova: direta da definio.
Exemplo 1:

+
t
e 5 ) t 2 ( cos 3
2
t 4 = 4 3 ] t [
2
[ ] 5 ) t 2 cos( + =
] e [
t
1 s
5
4 s
s 3
s
8
1 s
1
4 s
s 3
s
! 2
4
2 3 2 3
+
+
+
=
+
+
+
= .
Exemplo 2: Encontre a transformada inversa de Laplace, f(t), de
) 6 s )( 2 s )( 1 s (
16 s 2 s 3
) s ( F
2
+
+
= .
Sabe-se que a funo racional acima pode ser escrita como a soma de funes racionais mais
simples, da forma:
( )
) 6 s (
C
) 2 s (
B
) 1 s (
A
s F
+
+
+
= , (4.3)
ou, efetuando a soma destas fraes,
( )
( )( ) ( )( ) ( )( )
( )( )( ) 6 s 2 s 1 s
2 s 1 s C 6 s 1 s B 6 s 2 s A
s F
+
+ + + +
= . (4.4)
Assim, igualando a expresso original da F(s) com a Eq. (4.4), obtemos que,
( )( ) ( )( ) ( )( ) 2 s 1 s C 6 s 1 s B 6 s 2 s A 16 s 2 s 3
2
+ + + + = + . (4.5)
Em princpio, poderamos obter A, B e C, igualando os coeficientes das potncias de s. No
entanto, este no seria o mtodo mais rpido e eficiente, pois no caso, conduz a um sistema de trs
equaes e trs incgnitas. fcil observar que estas igualdades valem sempre, isto , para todo o
valor de s. Assim, escolhendo valores para s que tornem nulos dois termos do lado direito da igualdade
(4.5), deveremos ter:
( )( )
15
17
A ou 16 2 3 6 1 2 1 A 1 s = + = + = ,
( )( )
3
4
B ou 16 4 12 6 2 1 2 B 2 s = + + = =
8
e
( )( )
5
14
C ou 16 6 2 36 3 2 6 1 6 A 6 s = + = + = .
Assim,
( )
( ) ( ) ( ) 6 s
1
5
14
2 s
1
3
4
1 s
1
15
17
s F
+
+
+
= . (4.6)
Esta tcnica denominada Separao em Fraes Parciais. Agora, o clculo da transformada inversa
de F(s) simples, bastando para tanto, usar a linearidade (4.2) e a equao (2.5). Temos ento que:
( )
t 6 t 2 t
e
5
14
e
3
4
e
15
17
t f + + =

. (4.7)
No difcil observar que este mtodo sempre fornece resultados rpidos para a transformada
inversa de Laplace, desde que tenhamos F(s) como uma funo racional, com o grau do numerador
menor que o grau do denominador e o denominador com razes simples. Resumindo este
procedimento, tem-se o teorema de Heaviside:
Teorema de Heaviside: Seja uma funo racional
( )
( ) s Q
s P
, onde P(s) e Q(s) so polinmios,
com grau(P(s)) < grau(Q(s)) = N. Se todas as razes
n
s de Q(s), com n = l, 2,..., N, so simples, ento:
( )
( )
t s
N
l n
n
1
n
e A
s Q
s P
, (4.8)
onde
( ) ( )
( )
( )
n
n
n
s s
n
s Q
s P
s F s s lim A
n

= =
, (4.9)
sendo que ( )
n
s Q denota a derivada de Q(s), calculada na raiz
n
s .
Exemplo 3: Encontre a transformada inversa de Laplace, f(t), de F(s) =
1 s s s
1
2 3
+ + +
.
Podemos ver que ( ) ( ) ( ) ) 1 s )( j s ( j s 1 s ) 1 s ( 1 s s s ) s ( Q
2 2 3
+ + = + + = + + + = , ou seja, temos
trs razes distintas, 1 s , j s , j s
3 2 l
= = = . Assim, podemos usar o teorema de Heaviside,
considerando 1 ) s ( P = e 1 s 2 s 3 ) s ( Q
2
+ + = , ou seja,
4
j 1
2 ) 2 (
j 2 2
j 2 2
1
) j ( Q
) j ( P
2 2

=
+

=
+
=
,
4
j 1
2 ) 2 (
j 2 2
j 2 2
1
) j ( Q
) j ( P
2 2
+
=
+
+
=

=

e
2
1
) 1 ( Q
) 1 ( P
=

. Concluindo, temos que:

) t sen(
2
1
) t cos(
2
1
e
2
1
e
4
j 1
e
4
j 1
e
2
1
) t ( f
t jt jt t
+ =

+
+
+ =

, (4.10)
Na equao (4.10), usamos a expresso da exponencial complexa para transformar
jt
e e
jt
e
em
sem(t) e cos(t). Observem que, aps esta transformao, a funo f(t) uma funo real (sem nenhum
termo imaginrio). Este fato sempre ocorrer na inverso da transformada de Laplace.
Propriedade 2: (PRIMEIRO TEOREMA DA TRANSLAO) Se ( ) [ ] ) s ( F t f = , ento
( ) [ ] ( ) a s F t f e
t a
= (4.11)
ou
( ) [ ] ( ) t f e a s F
at 1
=
. (4.12)
Este resultado pode tambm ser chamado de propriedade do amortecimento, pois se a funo
f(t) for amortecida pelo fator exponencial
at
e
, com a > 0, ento a transformada de Laplace ser

deslocada para a esquerda a unidades em relao a nova varivel s.
Prova: ( ) [ ] ( )
( )
( )

+

+

= = =
0
t a s
0
at st t a
) a s ( F dt t f e dt t f e e t f e .
Exemplo 4: Sabendo que [ ] ,
4 s
s
) t 2 cos(
2
+
= calcule ] ) t 2 cos( e [
t
.
[ ]
( ) 5 s 2 s
1 s
4 1 s
1 s
) t 2 cos( e
2 2
t 1
+ +
+
=
+ +
+
=

. (4.13)
Exemplo 5: Calcule

20 s 4 s
4 s 6
2
1
.
20 s 4 s
4 s 6
2
1
=
( )
( )
+
+
16 2 s
8 2 s 6
2
1
= 6
( )
16 2 s
2 s
2
1
+ 2
( )
16 2 s
4
2
1
=
) t 4 ( sin e 2 ) t 4 ( cos e 6
t 2 t 2
+ = . (4.14)
O processo realizado na primeira igualdade da equao (4.14) acima conhecido como completamento
de quadrados.
Exemplo 6: Mostre que
( )
)! 1 n (
e t
a s
1
at 1 n
n
1
, onde a qualquer complexo e n natural.

Usando a propriedade 2 acima e a equao (2.7) da seo 2 acima, obtemos que
( )
at
n
1
e
a s
1
=
) n (
e
s
1
at
n
1
)! 1 n (
e t
s
) n (
at 1 n
n
1
, (4.15)
pois )! 1 n ( ) n ( = (vide propriedade 3, da seo 1, do Apndice A).
Exemplo 7: Calcule a transformada inversa de Laplace da funo ( )
2 / 1
3 s 2 ) s ( F

+ = .
( )
2
1
3 s 2
1
2
1
1
=
2 / t 3
2
1
1
e
2
1
2
3
s
1

=
t 2
e
2
1
t
2
e
s
1
t 3 2 / 1 t 3
2 / 1
1
. (4.16)
Exemplo 8: Calcule a transformada inversa de Laplace de
( )
3
2
1 s
s
) s ( F
= .
Usando a decomposio em fraes parciais, a funo F(s) rescrita como:
( )
( )
( ) ( )
( ) ( )
( )
3
2
3 2 3
2
1 s
C 1 s B 1 s A
1 s
C
1 s
B
1 s
A
1 s
s
+ +
=
. (4.17)
Ento, comparando os numeradores da equao (4.17), obtemos que A = 1, B = 2 e C = 1. Assim ,pela
linearidade da transformada inversa de Laplace e pelo exemplo 5 acima, conclumos que:
( )

+ + =
2
t
t 2 1 e
1 s
s
2
t
3
2
1
. (4.18)
Devemos observar que, neste caso, temos uma raiz tripla em s = 1. Assim, no podemos
aplicar o teorema de Heaviside neste problema. No entanto, abaixo apresentamos uma generalizao
deste teorema para o caso de funes racionais cujo denominador tenha razes mltiplas.
Teorema de Heaviside Generalizado: Consideremos a mesma situao do teorema de
Heaviside. Se
1
s uma raiz de Q(s) de multiplicidade m e as demais (n - m) razes de Q(s) so simples
temos que:
( )
( )

+ = =
=
n
1 m k
t s
k
m
1 k
k m
k t s
k 1
e A
! k m
t A
e t f , (4.19)
onde
( )
( ) ( ) { } m ,..., 3 , 2 , 1 k para , s F s s
ds
d
! 1 k
1
lim A
m
1
1 k
1 k
s s
k
1
=
, (4.20)
e
( ) ( ) n ),..., 2 m ( ), 1 m ( k para , s F s s lim A
k
s s
k
k
+ + = =
. (4.21)
Exemplo 9: Calcule
( ) ( )
+
+
3 s 1 s
19 s 9 s 2
2
2
1
.
Usando o teorema de Heaviside Generalizado, considerando que o denominador de F(s) tem
como razes 1 m com , 3 s e , 2 m com , 1 s
2 1
= = = = , vemos que a transformada inversa de Laplace
desta funo tem a forma:
f ( )
( ) ( )
t 3
3
2 2
2
1 2
l t
e A
! 2 2
t A
! 1 2
t A
e t

+
= , (4.22)
onde:
( )
( )
( ) ( )
3
3 s
19 s 9 s 2
lim
3 s 1 s
19 s 9 s 2
1 s
! 1 1
1
lim A
2
1 s
2
2
2
1 s
1
=
+
+
=
+
+
=

, (4.23)
( )
( )
( ) ( ) ( )
2
3 s
) 19 s 9 s 2 ( ) 3 s )( 9 s 4 (
lim
3 s 1 s
19 s 9 s 2
1 s
ds
d
! 1 2
1
lim A
2
2
1 s
2
2
2
1 s
2
=
+
+ +
=
+
+
=

(4.24)
e
( )
( ) ( ) ( )
4
1 s
19 s 9 s 2
lim
3 s 1 s
19 s 9 s 2
3 s lim A
2
2
3 s
2
2
3 s
3
=
+
=
+
+
+ =

. (4.25)
Concluindo,
( ) ( )
t 3 t
e 4 2 t 3 e t f

+ = . (4.26)
Exemplo 10: Calcule
( ) ( )
+ +
+
2 2
1
2 s 1 s
3 s 2
.
Como a funo F(s) tem as razes duplas 2 s e 1 s
2 1
= = , pelo teorema de Heaviside
Generalizado temos a soluo:
( )
( ) ( ) ( ) ( )

! 2 2
t B
! 1 2
t B
e
! 2 2
t A
! 1 2
t A
e t f
2 2
2
1 2
1 t 2
2 2
2
1 2
1 t
, (4.27)
onde:
( )
( )
( ) ( ) ( )
1
2 s
3 s 2
lim
2 s 1 s
3 s 2
1 s
! 1 1
1
lim A
2
1 s
2 2
2
1 s
1
=
+
+
=
+ +
+
+
=

, (4.28)
( )
( )
( ) ( )
( ) ( ) ( )
( )
0
2 s
2 s 2 3 s 2 2 s 2
lim
2 s 1 s
3 s 2
1 s
ds
d
! 1 2
1
lim A
4
2
1 s
2 2
2
1 s
2
=
+
+ + +
=
+ +
+
+
=

, (4.29)
( )
( )
( ) ( ) ( )
1
1 s
3 s 2
lim
2 s 1 s
3 s 2
2 s
! 1 1
1
lim B
2
2 s
2 2
2
2 s
1
=
+
+
=
+ +
+
+
=

(4.30)
e
( )
( )
( ) ( )
( ) ( ) ( )
( )
0
1 s
1 s 2 3 s 2 1 s 2
lim
2 s 1 s
3 s 2
2 s
ds
d
! 1 2
1
lim B
4
2
2 s
2 2
2
2 s
2
=
+
+ + +
=
+ +
+
+
=

. (4.31)
Concluindo,
( ) ( )
t 2 t
e e t t f

= . (4.32)
Propriedade 3: (SEGUNDO TEOREMA DA TRANSLAO) Se ( ) [ ] ( ) s F t f = , ento
( ) [ ] ( ) s F e ) a t ( H a t f
as
= (4.33)
onde a > 0 um dado real, ou
( ) ( ) ( ) a t f a t H ] s F e [
as 1
=

. (4.34)
Prova: Considerando que a seja real positivo,
( ) [ ] ( ) ( )
( )
( ) = = = =

du u f e dt a t f e dt ) a t ( H a t f e ) a t ( H a t f
0
a u s
a
st
0
st
( ) ( ) s F e du u f e e
as
0
su as

= =
, (4.35)
onde foi feita a mudana de varivel u = t - a.
Exemplo 11: Sabendo que [ ] ,
s
! 3
t
4
3
= calcule ( )( ) ] 2 t . 2 t H [
3
.
Pela propriedade 3 acima, ( )( )
4
s 2
3
s
e 6
] 2 t . 2 t H [

= .
Exemplo 12:
3
t sin
3
t H
1 s
e
2
3 / s
1
.
Exemplo 13: Calcule a transformada inversa de Laplace da funo
( )
13 s 4 s
4 s 3 e
) s ( F
2
s 3
+
.
importante ressaltar que para aplicar a decomposio em fraes parciais (ou o teorema de
Heaviside), a funo F(s) deve ser racional. Portanto, o primeiro passo a ser executado neste problema
o uso da propriedade 3. Assim,
( )
13 s 4 s
4 s 3 e
2
s 3
1
= ) 3 t ( H
13 s 4 s
4 s 3
3 t t
2
1

. (4.36)
Agora, para resolver a transformada inversa de Laplace que aparece no lado direito da equao (4.36),
poderemos usar a decomposio em fraes parciais. No entanto, as razes do polinmio do
denominador da funo racional so complexas, o que dificulta um pouco os clculos envolvidos
(estes clculos ficam como exerccio). Assim, mais conveniente aplicar o completamento de
quadrados no denominador desta funo, ou seja,
=
13 s 4 s
4 s 3
2
1

+ =
+
+
) t 3 sen(
3
2
) t 3 cos( 3 e
9 ) 2 s (
2 ) 2 s ( 3
t 2
2
1
, (4.37)
sendo que, na ltima igualdade da Eq. (4.37), utilizamos a propriedade 2. Concluindo,
[ ] ) 3 t ( H )) 3 t ( 3 sen(
3
2
)) 3 t ( 3 cos( 3 e ) s ( F
) 3 t ( 2 1

+ =

. (4.38)
Propriedade 4: (MUDANA DE ESCALA) Se ( ) [ ] ( ) s F t f = ento ( ) [ ]

=
a
s
F
a
1
at f .
Observao: A prova desta propriedade fica como exerccio.
Exemplo 14: Sabendo que ( ) [ ]
1 s
1
t sen
2
+
= , encontre [ ] ) t 3 sen( .
Pela propriedade 4 acima, [ ]
( ) 9 s
3
1 3 / s
1
3
1
) t 3 sen(
2 2
+
=
+
= .
Propriedade 5: (MULTIPLICAO POR T) Se ( ) [ ] ) s ( F t f = , ento, para todo n natural,
( ) [ ] ( ) ( ) ( )
( )
( ) s F 1 s
ds
F d
1 t f t
n n
n
n
n n
= = . (4.39)
Prova: Sabendo que ( )

=
0
st
dt t f e ) s ( F , esta prova obtida usando-se o Princpio da
Induo sobre n. Na base de induo (n = 1), usamos a regra de Leibnitz para diferenciao, ou seja,
( ) [ ] ( ) ( ) ( ) = =
=

+

+ +

0
st st
0 0
st
dt t f t e dt t f e
s
dt t f e
ds
d
( ) [ ] t f t , (4.40)
isto , ( ) [ ] ( ) s F
ds
d
t f t = , o que comprova a validade da equao (4.39) para n = 1.
No passo de induo, vamos supor ento que a Eq. (4.39) valida para n = k, e vamos mostrar
sua validade para n = k+1. Assim,
( ) =
+
] t f t [
1 k
( ) ( ) [ ]
ds
d
t f t t
k
= ( ) [ ] ( ) ( ) ( ) ( ) s
ds
F d
1 s
ds
F d
1
ds
d
t f t
1 k
1 k
1 k
k
k
k k
+
+
+
= = , (4.41)
o que demonstra esta propriedade.
Exemplo 15: Se [ ]
2 s
1
e
t 2
= , ento, pela propriedade 5 acima, temos que

[ ]
( )
2
t 2
2 s
1
2 s
1
ds
d
te
= (4.42)
e
[ ]
( )
3 2
2
t 2 2
2 s
2
2 s
1
ds
d
e t
= . (4.43)
Exemplo 16: Calcule a transformada de Laplace de
<
=
4 t se , te
4 t 0 se , 0
) t ( f
t 3
.
Usando a funo de Heaviside , a funo f(t) acima rescrita como:
) 4 t ( H te ) t ( f
t 3
=

. Para calcular sua transformada de Laplace podemos usar as propriedades 2, 3 ou
5, desde que tomemos certos cuidados. Por uma questo de simplicidade, aconselha-se usar, sempre
que possvel, primeiramente a propriedade 2, depois a 3 e, por ltimo a 5. Assim,
[ ] = ) t ( f [ ]
s 4
3 s s
e { ) 4 t ( H ) 4 4 t (

+ =
= + [ ] =
+ = +
+ +
+ =
3 s s
2
s 4
3 s s
s
4
s
1
e } 4 t
2
) 3 s ( 4
) 3 s (
) 3 s ( 4 1
e
+
+ +
=
+
. (4.44)
Propriedade 6: (FUNES PERIDICAS) Se f(t) uma funo peridica com perodo T,
isto , f (t + T) = f(t), para todo t 0, ento
( ) [ ]
( )
sT
T
0
st
e 1
dt t f e
t f

=

. (4.45)
Prova: Se f(t) uma funo peridica com perodo T, ento, onde n um nmero inteiro,
temos que ( ) ( ) ( ) ( ) K K = + = = + = + = nT t f T 2 t f T t f t f . Assim, obtemos que:
( ) ( ) ( ) K + + + =

+

dt ) t ( f e dt t f e dt t f e dt t f e
T 3
T 2
st
T 2
T
st
T
0
st
0
st
, (4.46)
ento, fazendo mudana de varivel nas integrais da Eq. (4.46), resulta:
( ) ( )
( )
( )
( )
( ) K + + + + + =

+ +
+

T
0
T 2 t s
T
0
T t s
T
0
st
0
st
dt T 2 t f e dt T t f e dt t f e dt t f e . (4.47)
Usando a periodicidade da funo f(t) e lembrando que
+
=

=
0 n
n
x 1
1
x , se 1 x < , obtemos:
( ) ( ) ( ) ( )
( )
,
e 1
dt t f e
dt ) t ( f e e
dt t f e e dt t f e e dt t f e dt t f e
sT
T
0
st
T
0
st
0 k
ksT
T
0
st sT 2
T
0
st sT
T
0
st
0
st
+
=
= =
= + + + =

K
(4.48)
como queramos demonstrar.
Exemplo 17: Determine F(s) = ( ) [ ] t f , onde
( ) ( ) ( ) 0 t todo para , t f 2 t f e
2 t 1 se , 1
1 t 0 se , 1
t f = +
<
<
= . (4.49)
Usando a propriedade 6 acima, obtemos que:
( )
( ) ( )
( )
.
2
s
tgh
s
1
) e e ( s
e e
e
e
) e 1 ( s
e 1
) e 1 )( e 1 ( s
) e 1 (
) e 1 ( s
e e 2 1
e 1 s
e e e 1
e 1
dt e dt e
e 1
dt t f e
) s ( F
2 / s 2 / s
2 / s 2 / s
2 / s
2 / s
s
s
s s
2 s
s 2
s 2 s
s 2
s 2 s s
s 2
1
0
2
1
st st
s 2
2
0
st
=
+
=
+
=
+
=
=
+
=

(4.50)
Propriedade 7: (DIVISO POR T) Se ( ) [ ] ( ) s F t f = e existe o limite
t
) t ( f
lim
0 t
, ento
( )
( )du u F
t
t f
s
+
=
. (4.51)
Exemplo 18: Como 1
t
) t sen(
lim
0 t
=
, temos que
=
+
=
s
1
2
s
1
tg ou
s
1
arctg
1 u
du
t
) t sen(
. (4.52)
Propriedade 8: (TRANSFORMADA DE LAPLACE DE DERIVADAS) Se ( ) [ ] ( ) s F t f = ,
com ) t ( f continua por partes, ento ( ) [ ] ( ) ( ) 0 f s F s t f = .
Prova: ( ) [ ] ( ) ( ) ( ) ( ) s 0 f dt t f e s e t f dt t f e t f
0
st
0
st
0
st
+ = + = =

+

+
+

( ) [ ] t f .
Propriedade 9 (DERIVADAS DE ORDEM SUPERIOR) Se ( ) [ ] ( ) s F t f = e ) t ( f contnua
por partes, ento
( ) [ ] ( ) ( ) ( )
( )
( )
( )
( ) 0 f 0 f s 0 f s 0 f s s F s t f
1 n 2 n 2 n 1 n n ) n (
= K . (4.53)
Prova: A demonstrao obtida pelo Princpio Induo Matemtica sobre n, ficando esta
prova como exerccio.
Exemplo 19: Se [ ]
9 s
s
) t 3 cos(
2
+
= , calcule [ ] ) t 3 sen( .
Usando a linearidade e a propriedade 8 acima, temos que
[ ]
3
1
) t 3 sen( = ( )
9 s
3
9 s
9 s s
3
1
1
9 s
s
s
3
1
) t 3 cos(
dt
d
2 2
2 2
2
+
=
+

=
+
=
. (4.54)
Propriedade 10: (TRANSFORMADA DE LAPLACE DE INTEGRAIS) Se ( ) [ ] ( ) s F t f = ,
ento ( )
( )
s
s F
du u f
t
0
=
.
Exemplo 20:
( ) 4 s s
2
du ) u 2 sen(
2
t
0
+
=
.
Propriedade 11: (COMPORTAMENTO DE F(s) QUANDO + s ) Se ( ) [ ] ( ) s F t f = ,
ento 0 ) s ( F lim
s
=
+
.
Propriedade 12: (TEOREMA DO VALOR INICIAL) Se ( ) [ ] ( ) s F t f = , ento
) s ( sF lim ) t ( f lim
s 0 t +
= . (4.55)
Prova: Pela definio e propriedade 8, temos que ( ) [ ] ( ) ( ) ( ) 0 f s F s dt t f e t f
0
st
= =
+

.
Assim, temos que:
( ) ( ) ( ) [ ] ( ) ( ) ( ) ( )
= =
+ + +
+

+

t f lim s F s lim 0 f s F s lim 0 f s F s lim dt t f e lim
0 t s s s
0
st
s
, (4.56)
ou seja, ( ) ( )
=
+
t f lim s F s lim 0
0 t s
, o que demonstra esta propriedade.
Propriedade 13 (TEOREMA DO VALOR FINAL) Se ( ) [ ] ( ) s F t f = , ento
) s ( sF lim ) t ( f lim
0 s t +
= . (4.57)
Prova: Pela definio e propriedade 8, temos que ( ) [ ] ( ) ( ) ( ) 0 f s F s dt t f e t f
0
st
= =
+

.
Assim,
( ) ( ) ( ) 0 f s F s lim dt t f e lim
0 s
0
st
0 s

. (4.58)
Mas, por outro lado,
( ) ( ) ( ) ( ) ( ) { }
( ) ( ). 0 f R f lim
0 f R f lim dt t f lim dt t f dt t f e lim
R
R
R
0
R
0 0
st
0 s
=
= = = =
+
+ +
+ +

(4.59)
Portanto, das equaes (4.58) e (4.59), obtemos a frmula (4.57), provando a propriedade 13.
RESOLUO DE EQS USANDO TRANSFORMADA DE LAPLACE
Muitas vezes, para resolver Equaes Diferenciais pela aplicao da transformada de Laplace,
precisamos inverter funes do tipo [F(s).G(s)]. Para tanto, vamos definir a Convoluo entre duas
funes f(t) e g(t).
Definio: A convoluo de duas funes f(t) e g(t), denotada por g f , definida por:
( ) ( )
=
t
0
d t g f ) t ( g ) t ( f . (5.1)
Observa-se que g f uma funo de t e, fcil mostrar que, ( ) ( ) ) t ( f g ) t ( g f = , para todo
t real positivo.
Teorema da Convoluo: Se ( ) [ ] ) s ( F t f = e ( ) [ ] ) s ( G t g = , ento:
( ) [ ] ( ) ( ) s G . s F ) t ( g * f = (5.2)
ou, simplesmente,
( ) ( ) [ ] ( ) ) t ( g f s G . s F
1
=
. (5.3)
Exemplo 1: Prove que ( )
=
t
0
) t sen(
2
t
du u t cos ) u sen( .
Considerando F(s) = [ ]
1 s
1
) t sen(
2
+
= e G(s) = [ ]
1 s
s
) t cos(
2
+
= , obtemos do teorema da
Convoluo que:
( ) =
t
0
du u t cos ) u sen( ( ) ( ) [ ] =
s G . s F
1

( )

2
2
1
1 s
s
(5.4)
e obtemos, das propriedades 1 e 5 da seo anterior, que
2
1
) t sen( t
2
1
=
[ ] ( )
( ) ( )
2
2
2
2
2
1
1 s
s
1 s
s 2
2
1
1 s
1
ds
d
1
2
1
) t sen( t
+
=
+
+
=

, (5.5)
o que comprova a afirmao acima.
Exemplo 2: Calcule a transformada inversa de
( )
2 2
1 s s
1
) s ( F
+
= .
Sabe-se que t
s
1
2
1
=
e
( )
t
2
1
e t
1 s
1

=
+
. Assim,
( )
=
2 2
1
1 s s
1
( )
( )

= = = =
+

t
0
u 2
t
0
u t
2 2
1
du e u ut du e u ) u t ( e t t
1 s
1
s
1
( )( ) ( )( ) ( )( ) 2 t e ) 2 t ( e 2 e u 2 t e u ut
t
t
0
u u u 2
+ + = + + =

, (5.6)
sendo que no clculo da integral acima, foi utilizada duas vezes a tcnica de integrao por partes.
Observao: Para inverter a transformada de Laplace acima, seria mais simples usar os
teoremas de Heaviside.
TRANSFORMADA DE FOURIER
Ha uma relac ao ntima entre as Transformadas de Laplace e de Fourier.
A Transformada de Laplace de uma func ao h = h(t) absolutamente
integr avel, denotada por L(s) = L(h(t)), e denida para s > 0, por:
L(s) =

0
h(t) e
st
dt (6.1)
Substituindo
s por i
e integrando agora sobre o intervalo
(, )
teremos a transformada de Fourier.
DEFINIO DA TRASNFORMADA DE FOURIER
A Transformada de Fourier de uma func ao h = h(t) absolutamente
integr avel, denotada por H(.), e denida para R, por:
H() =
h(t) e
it
dt (6.2)
`
As vezes substitumos o par ametro por f ou pelo smbolo
x
.
TRANSFORMADA DE FOURIER E FUNCOES ABSOLUTAMENTE
INTEGRAVEIS
O fato de h = h(t) ser absolutamente integr avel e suciente mas n ao
e necess ario para a obtenc ao da Transformada de Fourier, pois exis-
tem func oes que n ao s ao absolutamente integr aveis mas possuem as
suas Transformadas de Fourier, como e o caso da func ao sinc(.), agora
denida por:
sinc(t) =
sin t
se t = 0
t
1 se t = 0
(6.3)
Pode-se demonstrar com algum trabalho matem atico que
TP7LDMPK7B7 BCDMSPGCCK DSL MBC f
0
de h = h(t) em func ao da frequencia a fundamental f
0
do sinal. Desse
modo:
(6.4)
TRANSFORMADA DE FOURIER EM FUNO DE
Se, ao inv es de considerar a vari avel t, usarmos a vari avel x R, de-
veremos substituir h(t) por h(x) e substituir a frequ encia fundamental
f
0
por
x
que e a frequ encia que depende de x. A transformada de
Fourier cara na forma:
H(
x
) =

h(x) e
2ix
x
dx (7)
Esta ultima forma pode ser estendida ao caso bi-dimensional:

F(
x
,
y
) =

f(x, y) e
2i(x, y) (
x
,
y
)
dxdy (8)

onde e o produto escalar de vetores no plano cartesiano.
TRANSFORMADA DE FOURIER DA FUNO CARACTERISTICA
Obteremos agora a Transformada de Fourier da importante funcao ca-
racterstica h = h(t) definida sobre o intervalo(T, T ), por:
H(f
0
) =
h(t) e
2itf
0
dt
h(t) =
1 se t (T, T)
0 se t (T, T)
Pela denic ao (4), temos que:
H() =
h(t) e
it
dt
logo
H() =
T
T
e
it
dt =
e
it
i
T
T
=
e
iT
e
iT
i
Pela relac ao de Euler, podemos escrever:
H() =
2
e
iT
e
iT
2i

=
2
sin(T) = 2T
sin(T)
T
e poderemos usar a func ao sinc(.) na forma mais simples, para escre-
ver:
H() = 2T sinc(T)
4.7 Exemplo com uma func ao exponencial decrescente
Seja h = h(t) a func ao denida por
h(t) = e
t
u(t) =
e
t
se t 0
(9)
0 se t < 0
onde u = u(t) e a func ao degrau unit ario. Pela denic ao (4), temos
PROPIEDADES DA TRANSFORMADA DE FOURIER
Translao no tempo
Se H(h) = H[h(t)] e a transformada de Fourier da func ao h = h(t) e a
func ao h
c
= h
c
(t) = h(t c) representa a translac ao da func ao h = h(t)
de c unidades para a direita, ent ao:
H(h
c
) = H[h(t c)] = e
ic
H(h) (11)
Demonstrac ao:
H(h
c
) = H[h(t c)] =

h(t c)e
it
dt
Com a mudanca de vari avel v = t c, temos

H(h
c
) =
h(v)e
i(c+v)
dv = e
ic
h(v)e
iv
dv = e
ic
H(h)
TRANSFORMADA INVERSA DE FOURIER
A Transformada Inversa de Fourier de g = g() e definida
como:
H
1
(g()) =
1
2
g() e
it
d
Podemos obter a Transformada Inversa de Fourier da pr opria Trans-
formada de Fourier de h = h(t), denotada po H = H(), que depende
da frequ encia . Se tomarmos a mudanca de vari avel = 2f e subs-
tituirmos a diferencial d = 2df, a func ao H agora cara dependendo
da vari avel f e sera denotada por H = H(f). A denic ao cara na
forma:
h(t) = H
1
(H()) =
H(f) e
2itf
df
Isto garante a recuperac ao da pr opria func ao original atrav es da aplicac ao
da Transformada Inversa aplicada a` Transformada de Fourier, o que
signica que:
H
1
H = Identidade
Substituindo a frequ encia por
x
, onde
x
e a frequ encia que depende
de x R na denic ao de Transformada Inversa de Fourier, poderemos
obter uma outra forma para a Transformada Inversa de Fourier de H =
H(
x
):
1

H
1
(H(
x
)) = H(
x
) e
2ix
x
d
x
2

Com esta forma, podemos estender a denic ao ao caso bi-dimensional
a` func ao H = H(
x
,
y
):
H
1
(H(
x
,
y
)) =
1
2
H(
x
,
y
) e
2i(x
x
+y
y
)
d
x
d
y
TRANSFORMADAS DIRETA E INVERSA DE FOURIER
Pares de transformadas
As Transformadas de Fourier direta e inversa s ao realmente inversas
uma da outra, isto e:
H H
1
= Id = H
1
H
Na literatura encontramos notac oes com duas setas, uma em cada sen-
tido, para fazer refer encia ao par de func oes (h, H):
h H
Esta notac ao indica que H e a Transformada de Fourier de h e que h e
a Transformada inversa de Fourier de H.
Propriedades Lineares
Tanto a Transformada de Fourier como a Transformada Inversa de Fou-
rier, s ao transformac oes lineares:
H(a f + b g) = a H(f) + b H(g)
H
1
(aF
1
+ bF
2
) = a H
1
(F
1
) + b H
1
(F
2
)
quaisquer que sejam os escalares complexos a e b.
Calcularemos agora a transformada inversa de Fourier da func ao ob-
tida no c alculo anterior: H(f) = 2T sinc(2Tf). Tomaremos = 2f
para escrever:

H
1
(H(f)) = H(f) e
2ift
df
Substituindo a func ao H = H(f) na integral, teremos:

H
1
(H(f)) =
2T
sin(2fT)
2fT
e
2ift
df
e simplicando, obteremos
H
1
(H(f)) =
1
sin(2fT)
f
e
2ift
df
Pela relac ao de Euler, podemos escrever
H
1
(H(f)) =
1
sin(2fT)
cos(2ft) df
+ i
1
f
sin(2fT)
f
sin(2ft)] df
A segunda integral e nula pois o integrando e uma func ao mpar na
vari avel f. Como sin(x) cos(y) =
1
2
[sin(x + y) + sin(x y)], ent ao
sin(2fT) cos(2ft) =
1
2
[sin(2f(T + t)) + sin(2f(T t))]
assim
H
1
(H(f)) =
1
2
sin(2f(T +t)) + sin(2f(T t))

f
df
=
sin(2f(T +t))
2f
df +
sin(2f(T t))
2f
df
Multiplicando e dividindo a primeira integral por T + t, e repetindo
esta operac ao na segunda integral com T t, vir a:
H
1
(H(f)) = (T +t)
sin(2f(T +t))
df
= +(T t)
2f(T +t)
sin(2f(T t))
2f(T t)
df
Utilizando o fato (do C alculo Integral) que para a = 0:
sin(2ax)
2ax
dx =
1
2|a|
obtemos:
H
1
(H(f)) =
T +t
+
T t
2|T +t| 2|T t|
=
1
2
[ sinal(T +t) + sinal(T t)]
Analisaremos os valores de t R no intervalo [T, T] e fora dele.
(a) Se t < T, sinal(T +t) = 1 e sinal(T t) = 1, ent ao:
H
1
(H(f)) =
1
[1 + 1] = 0
2
(b) Se t > T, sinal(T +t) = 1 e sinal(T t) = 1, ent ao:
H
1
(H(f)) =
1
[1 1] = 0
2
(c) Se T < t < T, sinal(T +t) = 1 e sinal(T t) = 1, ent ao:
H
1
(H(f)) =
1
2
[1 + 1] = 1
(d) Se t = T e t = T um dos sinais e nulo e a func ao vale 1/2.
Desse modo
H
1
(H(f)) =
1 se T < t < T
1
2
se t = T ou t = T
0 se t < T ou t > T
[1] Farlow, Stanley J., Partial Differential Equations for Scientists and
Engineers, Dover Publications Inc., (1993), New York, USA.
Refer encias bibliogr acas
[2] Spiegel, Murray, Analise de Fourier, Coleco Schaum, McGraw-
Hill do Brasil, (1976), S ao Paulo, Brasil.
[3] Spiegel, Murray, Transformada de Laplace, Coleco Schaum,
McGraw-Hill do Brasil, (1975), So Paulo, Brasil.

Laplace e Fourier - Finalizado

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Laplace e Fourier - Finalizado

Enviado por

Direitos autorais:

Formatos disponíveis

DIRETORIA DE CINCIAS EXATAS

ENGENHARIA CIVIL, ENGENHARIA ELTRICA,

, se Re( ) a s > . (2.5)

, se Re( ) 0 s > . (2.6)

. Concluindo, temos que:

, com a > 0, ento a transformada de Laplace ser

, onde a qualquer complexo e n natural.

= , ento, pela propriedade 5 acima, temos que

Esta ultima forma pode ser estendida ao caso bi-dimensional:

Com a mudanca de vari avel v = t c, temos

Substituindo a func ao H = H(f) na integral, teremos:

sin(2f(T +t)) + sin(2f(T t))

Você também pode gostar