Академический Документы
Профессиональный Документы
Культура Документы
re A Transformada de Laplace Texto 01: Introduo. Definio. Condies de Existncia. Propriedades. Introduo
A Transformada de Laplace um mtodo de resoluo de equaes diferenciais e dos correspondentes problemas de valor inicial que reduz a questo da resoluo de uma equao diferencial a um problema algbrico. Tem a vantagem de resolver diretamente os problemas, isto , os problemas de valor inicial podem ser resolvidos sem que se determine inicialmente uma soluo geral. Alm disso, as equaes no-homogneas so resolvidas sem ter que primeiro encontrar a soluo das homogneas correspondentes. Este mtodo bastante utilizado em problemas de Engenharia, principalmente em problemas em que uma fora de propulso ( mecnica ou eltrica ) tem descontinuidades: por exemplo, atua em curto intervalo de tempo ou peridica mas no seno ou cosseno. O mtodo foi desenvolvido por Pierre Simon de Laplace ( 1749-1827), grande matemtico francs que desenvolveu os fundamentos da teoria do potencial e deu grandes contribuies Mecnica Celeste e Teoria das Probabilidades.
Definio: Seja f(t) uma funo real no intervalo [0, + [ e consideremos a integral imprpria
+
e st f ( t )dt onde s uma varivel real. Se a integral converge para certos valores de s , ento
define uma funo de s chamada de Transformada de Laplace de f e denotada por L[f] (s) = F(s)
+
Observaes:
2
origem o fato de que na grande maioria dos problemas prticos com valor inicial a varivel independente ser o tempo.
Uma vez que valores negativos do tempo so usualmente excludos restringimos o estudo ao eixo t no negativo, isto , t [ 0, + [.
1. f(t) = 1; t 0
+
F(s) =
e st b e sb + 1 1 ]0 = lim [ ]= ; s s s b + b +
1 para s > 0. s
2. f(t) = t; t > 0
F(s) = e st f ( t )dt =
0
+ 0 st st te dt = lim te dt = lim [ b + 0 b
te st e st b be sb e sb 1 1 ]0 = lim [ + ]= ; 2 2 2 s s b + b + s s s s2
Observemos que
( Usando
F(s) =
e st f ( t )dt =
+ 0
n st t e dt
3
Vamos inicialmente usar partes para calcular a integral indefinida correspondente:
t n e st b n + n 1 st b n e sb n + n 1 st ]0 + e dt = lim [ ]+ e dt = t t s s 0 s s 0 b + b +
n + n 1 st n e dt = L[ t n 1 ] . t s 0 s Observao: lim [
Isto
pode
Assim, L[ t n ] =
Logo
L[ t n ] =
n! s n +1
; para s > 0
3.1) L[ t 2 ] =
2! s
3
3.2) L[ t 5 ] =
5! s6
4. f(t) = eat;
+ 0 b
t>0 e
+ 0
constante
b + 0
lim e (a s) t dt = lim [
Logo, L[e at ] =
1 , se s > a. sa
4
4.1) L[e t ] =
1 ; s 1 4.2) L[e 2 t ] = 1 s+2
k ; 5. f ( t ) = 0;
se 0 < t < c se t c
k c
F(s) =
e st f ( t )dt = ke st dt = [
0
ke st c ke cs + k k (1 e cs ) ]0 = = s s s
exponencial:
Definio: Uma funo f dita contnua por partes num intervalo [a,b] se:
i) ii) f contnua em todos os pontos de [a,b], exceto num nmero finito os limites laterais existem nos pontos de descontinuidades
Exemplos:
x; se 0 < x < 1 1. A funo f ( x ) = contnua por partes em [0,2] 1 x; se 1 < x < 2
2. A funo f ( x ) = zero.
5
b
Se f contnua por partes em [a,b] ento f ( x )dx existe e independe dos valores que f
a
assume ( se estiver definida) nos seus pontos de descontinuidades. Se f e g so contnuas por partes em [a,b], ento f.g contnua por partes em [a,b] e
b
Examinando a definio da Transformada observamos que f(t) deve ser tal que f ( t )e st dt exista
0
para todo b > 0. Isto pode ser obtido exigindo que f seja contnua por partes em todo intervalo da forma [0,b] ( b > 0 ), uma vez que dessa forma o integrando ser contnuo por partes e portanto a integral existir. Mas esta condio no suficiente pois queremos que a integral f ( t )e st dt
0 +
seja convergente para algum valor de s. Isto pode ser garantido exigindo-se que e f(t) se aproxime de zero quando t tende a infinito o que pode ser obtido se f(t) for dominada por uma exponencial. Este fato est expresso na seguinte definio:
st
Definio: Diz-se que uma funo f de ordem exponencial em [0, + [ se existem constantes
M > 0 e tais que f ( t ) Me t para todo t > to, para determinado to.
Exemplos:
1. f(t) = 1 de ordem exponencial Basta tomarmos = 0 e M = 1: f ( t ) = 1 = 1.e 0 t
lim
qualquer que seja M > 0, existe to tal que para t > to,
< M , logo t Me t
6
O seguinte teorema nos garante a existncia da Transformada de Laplace para funes contnuas por parte e de ordem exponencial:
Teorema: Se f uma funo contnua por partes e de ordem exponencial existe um nmero so tal
+
que
Observaes
A transformada um operador que aplica o conjunto das funes contnuas por partes e de ordem exponencial no conjunto das funes definidas em intervalos da forma ]so, + [ L[f + g] = L[f] + L[g] significa que a identidade ocorre para valores de s em que ambas as funes esto definidas
Com a propriedade da linearidade podemos ampliar a nossa lista de transformadas, como veremos nos exemplos seguintes:
k ; s>0 s
2 3 2! 2 +2 3 s s s
1 2 1 + + s +1 s 2 s
2. Usando a linearidade e a formula de Euler e iwt = cos(wt) + isen(wt), deduza a transformada das funes: f(t) = cos wt e f(t) = sen(wt)
Temos que L[e at ] = 1 1 s + iw . Fazendo a = iw, L[e iwt ] = . = 2 + w2 sa s iw s
Por outro lado, pela frmula de Euler, e iwt = cos(wt) + isen(wt) Assim, L[e iwt] = L[cos(wt) + isen(wt)] = L[cos(wt)] + iL[sen(wt)] =
s s2 + w 2 +i w s2 + w 2
Logo, L[cos(wt )] =
s s2 + w 2
e L[sen(wt )] =
w s2 + w 2
Usando a definio podemos mostrar que os resultados acima valem para s > 0.
s s +2
2
e at + e at ( cosseno hiperblico ) 2
L[cosh at ] = L[
e at + e at 1 ] = (L[e at ] + L[e at ]) = 2 2
1 1 1 s ; s>a ( + )= 2 sa s+a s 2 a 2
3.2) f ( t ) = senh at =
e at e at (seno hiperblico) 2
L[senhat] = L[
Referncias Bibliogrficas:
1. Kreyszig, Erwin Matemtica Superior - vol 1 2. Zill/Cullen Equaes Diferenciais - vol 1 3. Kreider/Kuller/Ostberg Equaes Diferenciais