Lista de propriedades da transformada de Laplace

A Transformada de Laplace apresenta uma variedade de propriedades operacionais.[1] A lista a seguir mostra alguma delas:

Linearidade[2]

A transformada de Laplace é uma transformação linear, ou seja,

L { Ω   f ( t ) + Ξ   g ( t ) } = Ω   L { f ( t ) } + Ξ   L { g ( t ) } {\displaystyle {\mathcal {L}}\{\Omega \ f(t)+\Xi \ g(t)\}=\Omega \ {\mathcal {L}}\{f(t)\}+\Xi \ {\mathcal {L}}\{g(t)}\}

Sempre que cada uma das transformadas existirem. A transformada se comporta dessa forma devido a propriedade de linearidade da integral.

Demonstração:

L { Ω   f ( t ) + Ξ   g ( t ) } = 0 ( Ω f ( t ) + Ξ g ( t ) e s t ) d t {\displaystyle {\mathcal {L}}\{\Omega \ f(t)+\Xi \ g(t)\}=\int \limits _{0}^{\infty }{(\Omega f(t)+\Xi g(t)e^{-st})dt}}

= 0 ( Ω f ( t ) e s t ) d t     +   0 ( Ξ g ( t ) e s t ) d t {\displaystyle =\int \limits _{0}^{\infty }{(\Omega f(t)e^{-st})dt}\ \ +\ \int \limits _{0}^{\infty }{(\Xi g(t)e^{-st})dt}}

= Ω 0 ( f ( t ) e s t ) d t     +     Ξ 0 ( g ( t ) e s t ) d t {\displaystyle =\Omega \int \limits _{0}^{\infty }{(f(t)e^{-st})dt}\ \ +\ \ \Xi \int \limits _{0}^{\infty }{(g(t)e^{-st})dt}}

= Ω L { f ( t ) } + Ξ   L { g ( t ) } {\displaystyle =\Omega {\mathcal {L}}\{f(t)\}+\Xi \ {\mathcal {L}}\{g(t)\}}

Observação: A transformada inversa de Laplace também é uma transformação linear, ou seja,

L 1 { Ω   F ( s ) + Ξ   G ( s ) } = L 1 { Ω L { f ( t ) } + Ξ L { g ( t ) } } {\displaystyle {\mathcal {L^{-1}}}\{\Omega \ F(s)+\Xi \ G(s)\}={\mathcal {L^{-1}}}{\{\Omega {\mathcal {L}}\{f(t)}\}+\Xi {\mathcal {L}}\{g(t)\}\}}

= L 1 { L { Ω f ( t ) + Ξ g ( t ) } } {\displaystyle ={\mathcal {L^{-1}}}{\{{\mathcal {L}}\{\Omega f(t)}+\Xi g(t)\}\}}

= Ω f ( t ) + Ξ g ( t ) {\displaystyle =\Omega f(t)+\Xi g(t)}

Transformada de Laplace de uma derivada[2]

Se f ( t ) {\displaystyle {f(t)}}  é contínua e de ordem exponencial e f ( t ) {\displaystyle f'(t)} é contínua por partes para t 0 {\displaystyle t\geq 0} , então

L { f ˙ ( t ) } = s L { f ( t ) } f ( 0 ) {\displaystyle {\mathcal {L}}\{{\dot {f}}(t)\}=s{\mathcal {L}}\{f(t)\}-f(0)}

Se f ( t ) {\displaystyle {f(t)}}  e f ( t ) {\displaystyle f'(t)} são contínuas e f ( t ) {\displaystyle f''(t)} é contínua por partes. Então podemos aplicar a expressão acima duas vezes e obter:

L { f ¨ ( t ) } = s 2 L { f ( t ) } s f ( 0 ) f ˙ ( 0 ) {\displaystyle {\mathcal {L}}\{{\ddot {f}}(t)\}=s^{2}{\mathcal {L}}\{f(t)\}-sf(0)-{\dot {f}}(0)}

Analogamente, se f ( t ) {\displaystyle {f(t)}} , f ( t ) {\displaystyle f'(t)} , ... , f ( n 1 ) ( t ) {\displaystyle f^{(n-1)}(t)} são contínuas e f ( n ) ( t ) {\displaystyle f^{(n)}(t)} é contínua por partes, então:

L { f ( n ) ( t ) } =   s n L { f ( t ) } s n 1 f ( 0 ) s n 2 f ˙ ( 0 ) f ( n 1 ) ( 0 ) =   s n L { f ( t ) } k = 0 n 1 s n 1 k f ( k ) ( 0 ) {\displaystyle {\begin{aligned}{\mathcal {L}}\left\{f^{(n)}(t)\right\}=\ &s^{n}{\mathcal {L}}\{f(t)\}-s^{n-1}f(0)-s^{n-2}{\dot {f}}(0)-\cdots -f^{(n-1)}(0)\\=\ &s^{n}{\mathcal {L}}\{f(t)\}-\sum _{k=0}^{n-1}s^{n-1-k}f^{(k)}(0)\end{aligned}}}

Demonstração:

Seja

L { f ˙ ( t ) } = 0 f ˙ ( t ) e s t d t {\displaystyle {\mathcal {L}}\{{\dot {f}}(t)\}=\int \limits _{0}^{\infty }{\dot {f}}(t)e^{-st}dt}
e, utilizando o método da Integração por partes, onde u = e s t {\displaystyle u=e^{-st}} e d v = f ˙ ( t ) {\displaystyle dv={\dot {f}}(t)} temos
f ( t ) e s t | 0 0 ( s ) f ( t ) e s t d t {\displaystyle f(t)e^{-st}|_{0}^{\infty }-\int \limits _{0}^{\infty }(-s)f(t)e^{-st}dt}
= lim t f ( t ) e s t f ( 0 ) + s 0 f ( t ) e s t d t {\displaystyle =\lim _{t\to \infty }f(t)e^{-st}-f(0)+s\int \limits _{0}^{\infty }f(t)e^{-st}dt}
considerando s > 0 {\displaystyle s>0} e utilizando a definição de Transformada de Laplace chegamos em:

0 f ( 0 ) + s F ( s ) {\displaystyle 0-f(0)+sF(s)}
[3]

Transformada de Laplace de uma integral

Se F ( s ) {\displaystyle {F(s)}}  é a transformada de Laplace de uma função contínua por partes f ( t ) {\displaystyle {f(t)}} , então 0 t f ( τ ) d τ {\displaystyle {\int _{0}^{t}f(\tau )\operatorname {d\tau } \!}} é a transformada inversa de F ( s ) s {\displaystyle {\frac {F(s)}{s}}} .

L { 0 t f ( τ ) d τ } = L { f ( t ) } s F ( s ) s {\displaystyle {\mathcal {L}}\left\{\int _{0}^{t}f(\tau )\operatorname {d} \!\tau \right\}={\frac {{\mathcal {L}}\{f(t)\}}{s}}\equiv {\frac {F(s)}{s}}}


Demonstração: Seja g ( t ) = 0 t f ( τ ) d τ {\displaystyle g(t)={\int _{0}^{t}f(\tau )\operatorname {d} \!\tau }} . Então, g ( t ) = f ( t ) {\displaystyle {g'(t)=f(t)}} . Aplicamos a propriedade da transformada da derivada e temos:

L { g ( t ) } = s L { f ( g ) } g ( 0 ) {\displaystyle {\mathcal {L}}\{g'(t)\}=s{\mathcal {L}}\{f(g)\}-g(0)}


Usando o fato que g ( 0 ) = 0 {\displaystyle {g(0)=0}} , temos

L { 0 t f ( τ ) d τ } = L { g ( t ) } {\displaystyle {\mathcal {L}}\left\{\int _{0}^{t}f(\tau )\operatorname {d} \!\tau \right\}={{\mathcal {L}}\{g(t)}\}}

= L { g ( t ) } s {\displaystyle ={\frac {{\mathcal {L}}\{g'(t)\}}{s}}}

= L { f ( t ) } s {\displaystyle ={\frac {{\mathcal {L}}\{f(t)\}}{s}}}

= F ( s ) s {\displaystyle ={\frac {F(s)}{s}}}

Deslocamento no tempo

Estas funções podem representar sinais "liga/desliga" - como a função pulso, onde uma determinada função pode surgir num determinado tempo e, logo após, voltar a ser nula e/ou ser alterada.

Função pulso com a<b

A função pulso é definida por: f p ( t ) = { 0 , t < a 1 , a < t < b 0 , t > b {\displaystyle f_{p}(t)={\begin{cases}0,&t<a\\1,&a<t<b\\0,&t>b\end{cases}}}

Função degrau unitário

A função degrau unitário, ou função de Heaviside. é definida assim

u ( t a ) = { 0 , t a 1 , t > a {\displaystyle u(t-a)={\begin{cases}0,\,t\leq a\\1,\,t>a\end{cases}}} Consequentemente, o produto:

u ( t a ) f ( t a ) {\displaystyle u(t-a)f(t-a)}

é a função f(t) deslocada uma distância a no sentido positivo do eixo do tempo t , sendo nula para t < a. Sendo assim tem-se o seguinte;

Definição: L { u ( t a ) f ( t a ) } = e a s F ( s ) , {\displaystyle {\mathcal {L}}\left\{u(t-a)f(t-a)\right\}=e^{-as}F(s),} a R {\displaystyle a\in \mathbb {R} }

e a inversa: L 1 { e a s F ( s ) } = u ( t a ) f ( t a ) {\displaystyle {\mathcal {L}}^{-1}\{e^{-as}F(s)\}=u(t-a)f(t-a)}

Demonstração: Aplica-se diretamente a transformada de Laplace de u ( t a ) f ( t a ) {\displaystyle u(t-a)f(t-a)} e usa-se a propriedade aditiva de integrais

L { u ( t a ) f ( t a ) } = 0 f ( t a ) u ( t a ) e s t d t = 0 a f ( t a ) u ( t a ) e s t d t + a f ( t a ) u ( t a ) e s t d t {\displaystyle {\mathcal {L}}\left\{u(t-a)f(t-a)\right\}=\int \limits _{0}^{\infty }f(t-a)u(t-a)e^{-st}dt=\int \limits _{0}^{a}f(t-a)u(t-a)e^{-st}dt+\int \limits _{a}^{\infty }f(t-a)u(t-a)e^{-st}dt}

usando o fato de que u ( t a ) = { 0 , 0 t < a 1 , t a {\displaystyle u(t-a)={\begin{cases}0,&{0\leq t<a}\\1,&{t\geq a}\end{cases}}} , tem-se:

= a f ( t a ) e s t d t {\displaystyle =\int \limits _{a}^{\infty }f(t-a)e^{-st}dt} . Agora faz-se a mudança de variável v = t a {\displaystyle v=t-a} na integral e altera-se os limites de integração novamente:

= 0 f ( v ) e s ( v + a ) d v = e a s 0 f ( v ) e s v d v {\displaystyle =\int \limits _{0}^{\infty }f(v)e^{-s(v+a)}dv=e^{-as}\int \limits _{0}^{\infty }f(v)e^{-sv}dv} , que é a definição de transformada de Laplace.

e concluímos que: L { u ( t a ) f ( t a ) } = e a s L { f ( t ) } = e a s F ( s ) {\displaystyle {\mathcal {L}}\left\{u(t-a)f(t-a)\right\}=e^{-as}{\mathcal {L}}\{f(t)\}=e^{-as}F(s)}

Isto é, quando a função é deslocada a unidades no sentido positivo do tempo t , a sua representação no domínio das frequências fica multiplicada por e a s {\displaystyle e^{-as}} . Essa propriedade é útil para calcular transformadas de funções com descontinuidades.

Deslocamento na frequência

Conhecida como deslocamento ou translação do eixo s, é possível conhecer a transformada de múltiplos exponenciais de uma função f {\displaystyle f} desde que conheçamos a sua transformada, isto é:

L { e a t f ( t ) } = F ( s a ) , {\displaystyle {\mathcal {L}}\left\{e^{at}f(t)\right\}=F(s-a),} a R {\displaystyle a\in \mathbb {R} } ,

ou

L 1 { F ( s a ) } = e a t f ( t ) {\displaystyle {\mathcal {L}}^{-1}\{F(s-a)\}=e^{at}f(t)}

Demonstração: Faz-se a aplicação direta da definição de transformada de Laplace de F ( s a ) {\displaystyle F(s-a)} :

F ( s a ) = 0 f ( t ) e ( s a ) t d t {\displaystyle F(s-a)=\int \limits _{0}^{\infty }f(t)e^{-(s-a)t}dt} = 0 f ( t ) e a t e s t d t = L { e a t f ( t ) } {\displaystyle =\int \limits _{0}^{\infty }f(t)e^{at}e^{-st}dt={\mathcal {L}}\{e^{at}f(t)\}}

Exemplo 1: Calculemos a transformada de Laplace de f ( t ) = e a t t {\displaystyle f(t)=e^{at}t} :

Usando a definição de transformada calcula-se

L { t } = 1 s 2 = F ( s ) . {\displaystyle {\mathcal {L}}\left\{t\right\}={1 \over s^{2}}=F(s).}

Aplicando a propriedade da translação tem-se

L { e a t t } = F ( s a ) = 1 ( s a ) 2 , {\displaystyle {\mathcal {L}}\left\{e^{at}t\right\}=F(s-a)={1 \over {(s-a)^{2}}},} s > a {\displaystyle s>a}

Exemplo 2: Analogamente é possível calcular a transformada de Laplace de s e n h ( 2 t ) c o s ( t ) {\displaystyle senh(2t)cos(t)} :

Primeiro escreve-se Seno hiperbólico na sua forma exponencial

L { e 2 t e 2 t 2 c o s ( t ) } {\displaystyle {\mathcal {L}}\left\{{e^{2t}-e^{-2t} \over {2}}cos(t)\right\}}

Assim, pela propriedade da Linearidade, pode-se colocar 1 2 {\displaystyle {1 \over 2}} em evidência,tem-se

1 2 L { e 2 t c o s ( t ) e 2 t c o s ( t ) } {\displaystyle {1 \over {2}}{\mathcal {L}}\left\{{e^{2t}cos(t)-e^{-2t}}cos(t)\right\}}

Então aplica-se a propriedade da translação do eixo s

1 2 L { e 2 t c o s ( t ) e 2 t c o s ( t ) } = 1 2 ( s 2 ( s 2 ) 2 + 1 s + 2 ( s + 2 ) 2 + 1 ) {\displaystyle {1 \over {2}}{\mathcal {L}}\left\{{e^{2t}cos(t)-e^{-2t}}cos(t)\right\}={1 \over 2}{\biggl (}{s-2 \over (s-2)^{2}+1}-{s+2 \over (s+2)^{2}+1}{\biggr )}}

Teorema de Convolução

A convolução é uma operação que permite relacionar algumas funções com a transformada inversa do produto das suas transformações.

    f ( t ) g ( t )   = d e f 0 t f ( τ ) g ( t τ ) d τ     L { f ( t )   g ( t ) } = L { f ( t ) } L { g ( t ) }     L { f ( t ) g ( t ) } = F ( s )   G ( s ) {\displaystyle {\begin{aligned}&\rightarrow \ \ f(t)*g(t)\ {\overset {\underset {\mathrm {def} }{}}{=}}\int _{0}^{t}f(\tau )g(t-\tau )\operatorname {d} \!\tau \\&\rightarrow \ \ {\mathcal {L}}\{f(t)\ g(t)\}={\mathcal {L}}\{f(t)\}*{\mathcal {L}}\{g(t)\}\\&\rightarrow \ \ {\mathcal {L}}\{f(t)*g(t)\}=F(s)\ G(s)\end{aligned}}}


Demostração: Partimos da definição das transformadas:

F ( s ) = L { f ( t ) } = 0 e s t f ( t ) d t {\displaystyle F(s)={\mathcal {L}}\{f(t)\}=\int _{0}^{\infty }e^{-st}f(t)\,dt} e G ( s ) = L { g ( τ ) } = 0 g ( τ ) e s τ d τ {\displaystyle G(s)={\mathcal {L}}\{g(\tau )\}=\int _{0}^{\infty }g(\tau )e^{-s\tau }\,d\tau }

Logo,

F ( s ) G ( s ) = 0 f ( t ) e s t 0 g ( τ ) e s τ d t {\displaystyle F(s)G(s)=\int \limits _{0}^{\infty }f(t)e^{-st}\int \limits _{0}^{\infty }g(\tau )e^{-s\tau }dt}

= 0 f ( t ) 0 g ( τ ) e s ( t + τ ) d τ d t {\displaystyle =\int \limits _{0}^{\infty }f(t)\int \limits _{0}^{\infty }g(\tau )e^{-s(t+\tau )}d\tau dt}

Mantemos t {\displaystyle t}  fixo e fazemos a mudança de variável   v = t + τ {\displaystyle v=t+\tau } para obter:

F ( s ) G ( s ) = 0 f ( t ) t g ( v t ) e s v d v d t {\displaystyle F(s)G(s)=\int \limits _{0}^{\infty }f(t)\int \limits _{t}^{\infty }g(v-t)e^{-sv}dvdt}

Mudamos a ordem de integração na região que é a metade inferior do primeiro quadrante: em vez de variar v {\displaystyle v}  em [ t , ] {\displaystyle {[t,\infty ]}} depois t {\displaystyle t}  em [ 0 , ] {\displaystyle {[0,\infty ]}} primeiro vamos variar t {\displaystyle t}  em [ 0 , v ] {\displaystyle {[0,v]}} , depois v {\displaystyle v} em [ 0 , ] {\displaystyle {[0,\infty ]}} , ou seja

F ( s ) G ( s ) = 0 0 v f ( t ) g ( v t ) e s v d t d v {\displaystyle F(s)G(s)=\int \limits _{0}^{\infty }\int \limits _{0}^{v}f(t)g(v-t)e^{-sv}dtdv}

= 0 ( 0 v f ( t ) g ( v t ) d t ) e s v d v {\displaystyle =\int \limits _{0}^{\infty }{\biggl (}\int \limits _{0}^{v}f(t)g(v-t)dt{\biggr )}e^{-sv}dv}

= 0 ( f g ) e s v d v {\displaystyle =\int \limits _{0}^{\infty }(f*g)e^{-sv}dv}

= L { f g } {\displaystyle ={\mathcal {L}}\{f*g\}}

Transformada de Laplace de uma função de período T

Se f(t) é uma função contínua por partes, de ordem exponencial e periódica de período T. Então a transformada de Laplace existe e é da forma

L { f } = 1 1 e T s 0 T e s t f ( t ) d t {\displaystyle {\mathcal {L}}\{f\}={1 \over 1-e^{-Ts}}\int _{0}^{T}e^{-st}f(t)\,dt}

Demonstração: Aplicando a definição e separando a integral nos períodos da função f(t) para obter:

L { f ( t ) } = 0 f ( t ) e s t d t {\displaystyle {\mathcal {L}}\{f(t)\}=\int _{0}^{\infty }f(t)e^{-st}dt}

= 0 T f ( t ) e s t d t + T 2 T f ( t ) e s t d t + 2 T 3 T f ( t ) e s t d t + . . . {\displaystyle =\int _{0}^{T}f(t)e^{-st}dt+\int _{T}^{2T}f(t)e^{-st}dt+\int _{2T}^{3T}f(t)e^{-st}dt+...}

= n = 0 n T ( n + 1 ) T f ( t ) e s t d t . {\displaystyle =\sum _{n=0}^{\infty }\int _{nT}^{(n+1)T}f(t)e^{-st}dt.}

Fazendo a mudança de variável τ = t n T {\displaystyle \tau =t-nT} e obtêm-se

L { f ( t ) } = n = 0 0 T f ( τ + n T ) e s ( τ + n T ) d τ {\displaystyle {\mathcal {L}}{\{f(t)\}}=\sum _{n=0}^{\infty }\int _{0}^{T}f(\tau +nT)e^{-s(\tau +nT)}d\tau }

= n = 0 e s n T 0 T f ( τ + n T ) e s τ d τ {\displaystyle =\sum _{n=0}^{\infty }e^{-snT}\int _{0}^{T}f(\tau +nT)e^{-s\tau }d\tau }

Usando o fato que a função é periódica, ou seja, f ( τ + n T ) f ( τ ) {\displaystyle f(\tau +nT)\equiv f(\tau )} , se tem:

L { f ( t ) } = n = 0 e s n T 0 T f ( τ ) e s τ d τ {\displaystyle {\mathcal {L}}{\{f(t)\}}=\sum _{n=0}^{\infty }e^{-snT}\int _{0}^{T}f(\tau )e^{-s\tau }d\tau }

= ( n = 0 ( e s T ) n ) 0 T f ( τ )   e s T d τ {\displaystyle ={\Bigl (}\sum _{n=0}^{\infty }(e^{-sT})^{n}{\Bigr )}\int _{0}^{T}f(\tau )\ e^{-sT}d\tau }

= 0 T f ( τ ) e s T d τ [ 1 1 e s T ] {\displaystyle =\int _{0}^{T}f(\tau )e^{-sT}d\tau \left[{\frac {1}{1-e^{-sT}}}\right]}

= 1 1 e s T 0 T f ( τ ) e s T d τ , {\displaystyle ={\frac {1}{1-e^{-sT}}}\int _{0}^{T}f(\tau )e^{-sT}d\tau ,}

onde usa-se a soma de uma série geométrica de razão e s T {\displaystyle e^{-sT}} .

As funções periódicas aparecem com frequência representando forças externas em sistemas mecânicos e elétricos.

Derivada da transformada de Laplace

L { t f ( t ) } = d d s F ( s ) {\displaystyle {\mathcal {L}}\left\{tf(t)\right\}=-{\operatorname {d} \! \over \operatorname {d} \!s}F(s)}

Dada uma função f ( t ) {\displaystyle {f(t)}} , podemos escrever que L { f ( t ) } = F ( s ) {\displaystyle {\mathcal {L}}\left\{f(t)\right\}=F(s)} , e temos então:

d d s F ( s ) = d d s 0 f ( t ) e s t d t {\displaystyle {{\frac {d}{ds}}F(s)={\frac {d}{ds}}\int _{0}^{\infty }f(t)e^{-st}dt}}

E pelo Teorema Fundamental do Cálculo:

d d s F ( s ) = 0 f ( t ) d d s e s t d t {\displaystyle {{\frac {d}{ds}}F(s)=\int _{0}^{\infty }f(t){\frac {d}{ds}}e^{-st}dt}}

d d s F ( s ) = 0 f ( t ) ( t ) e s t d t {\displaystyle {{\frac {d}{ds}}F(s)=\int _{0}^{\infty }f(t)(-t)e^{-st}dt}}

d d s F ( s ) = 0 t f ( t ) e s t d t {\displaystyle {{\frac {d}{ds}}F(s)=-\int _{0}^{\infty }tf(t)e^{-st}dt}}

d d s F ( s ) = L { t f ( t ) } {\displaystyle {{\frac {d}{ds}}F(s)=-{\mathcal {L}}\left\{tf(t)\right\}}} [4]

Integral da transformada de Laplace[5]

Se F ( s ) {\displaystyle F(s)} é a transformação de Laplace de f ( t ) {\displaystyle f(t)} e lim t 0 t 1 f ( τ ) τ d τ {\displaystyle \lim _{t\to 0}\int \limits _{t}^{1}{\frac {f(\tau )}{\tau }}d\tau } existe então :

L { f ( t ) t } = s F ( v ) d v {\displaystyle {\mathcal {L}}\left\{{\frac {f(t)}{t}}\right\}=\int _{s}^{\infty }F(v)\operatorname {d} \!v}

Demonstração:


s F ( v ) d v = s ( 0 f ( t ) e v t d t )   d v {\displaystyle {\mathcal {\int }}_{s}^{\infty }F(v)\operatorname {d} v=\int _{s}^{\infty }{\bigg (}\int _{0}^{\infty }f(t)e^{-vt}\operatorname {d} t{\bigg )}\ \operatorname {d} v}

= 0 f ( t ) ( s e v t d v ) d t = 0 f ( t ) [ e v t t ] | s d t {\displaystyle =\int _{0}^{\infty }f(t){\bigg (}\int _{s}^{\infty }e^{-vt}\operatorname {d} v{\bigg )}\operatorname {d} t=\int _{0}^{\infty }f(t){\bigg [}{\frac {e^{-vt}}{-t}}{\bigg ]}{\Biggr |}_{s}^{\infty }\operatorname {d} t}

= 0 f ( t ) [ e t e s t t ] d t = 0 f ( t ) t e s t d t {\displaystyle =\int _{0}^{\infty }f(t){\bigg [}{\frac {e^{-\infty t}-e^{-st}}{-t}}{\bigg ]}\operatorname {d} t=\int _{0}^{\infty }{\frac {f(t)}{t}}e^{-st}\operatorname {d} t}

= L { f ( t ) t } {\displaystyle ={\mathcal {L}}\left\{{\frac {f(t)}{t}}\right\}}

Escalamento

L { f ( a t ) } = 1 a F ( s a ) {\displaystyle {\mathcal {L}}\left\{f(at)\right\}={1 \over a}\;F\left({s \over a}\right)}

Valor inicial[5]

Se F(s) é a transformada de Laplace de uma função f(t) de ordem exponencial c e

lim t 0 + f ( t ) = L {\displaystyle \lim _{t\to 0+}f(t)=L} ,

então

lim s s F ( s ) = L {\displaystyle \lim _{s\to \infty }sF(s)=L} .

Demonstração : Usando a definição da Transformada podemos escrever


s F ( s ) = s 0 f ( t ) e s t d t {\displaystyle sF(s)=s\int _{0}^{\infty }f(t)e^{-st}dt}

= s 0 a f ( t ) e s t d t + s a b f ( t ) e s t d t + s b f ( t ) e s t d t {\displaystyle =s\int _{0}^{a}f(t)e^{-st}dt+s\int _{a}^{b}f(t)e^{-st}dt+s\int _{b}^{\infty }f(t)e^{-st}dt}


Dessa forma podemos observar que a segunda integral tende a zero quando s {\displaystyle s\longrightarrow \infty } independente do valor de a e b, pois o fato da função ser de ordem exponencial e contínua por partes implica f(t) limitada em [a,b], ou seja, | f ( t ) | < M {\displaystyle |f(t)|<M} e, portanto,

s a b f ( t ) e s t d t ∣≤ s a b f ( t ) e s t d t {\displaystyle \mid s\int _{a}^{b}f(t)e^{-st}dt\mid \leq s\int _{a}^{b}\mid f(t)\mid e^{-st}dt}

M s a b e s t d t {\displaystyle \leq Ms\int _{a}^{b}e^{-st}dt}

M s 1 s [ e s t ] a b {\displaystyle \leq Ms{\frac {1}{-s}}\left[e^{-st}\right]_{a}^{b}}

= M ( e s a e s b ) . {\displaystyle =M(e^{-sa}-e^{-sb}).}

A última integral também tende a zero se b for suficientemente grande, pois existem c e M > 0 tal que f ( t ) < M e c t {\displaystyle \mid f(t)<Me^{ct}} para t>b e, portanto,

s b f ( t ) e s t d t ∣≤ s b f ( t ) e s t d t {\displaystyle \mid s\int _{b}^{\infty }f(t)e^{-st}dt\mid \leq s\int _{b}^{\infty }\mid f(t)\mid e^{-st}dt}

s b f ( t ) e ( s c ) t d t {\displaystyle \leq s\int _{b}^{\infty }\mid f(t)\mid e^{-(s-c)t}dt}

M s 1 c s [ e ( s c ) t ] b {\displaystyle \leq Ms{\frac {1}{c-s}}\left[e^{-(s-c)t}\right]_{b}^{\infty }}

= M s s c ( e ( s c ) b ) . {\displaystyle ={\frac {Ms}{s-c}}(e^{-(s-c)b}).}

E por fim, para a suficientemente pequeno, f(t) se aproxima de L, pois lim t 0 f ( t ) = L {\displaystyle \lim _{t\to 0}f(t)=L} , ou seja,

s 0 a f ( t ) e s t d t s b L e s t d t {\displaystyle s\int _{0}^{a}f(t)e^{-st}dt\approx s\int _{b}^{\infty }Le^{-st}dt}

s l s [ e s t ] 0 a {\displaystyle \approx s{\frac {l}{s}}\left[e^{-st}\right]_{0}^{a}}

= L ( 1 e a s ) {\displaystyle =L(1-e^{-as})}

Como e a s 0 {\displaystyle e^{-as}\rightarrow 0} quando s {\displaystyle s\rightarrow \infty } , então

lim s s F ( s ) = L {\displaystyle \lim _{s\to \infty }sF(s)=L}

Valor final

Se F ( s ) {\displaystyle F(s)} é a transformada de Laplace de f ( t ) {\displaystyle f(t)} e

lim t f ( t ) = L {\displaystyle \lim _{t\to \infty }f(t)=L}

então,

lim s 0 + s F ( s ) = L {\displaystyle \lim _{s\to 0^{+}}sF(s)=L}

Demonstração[4]

Usamos a Definição de transformada de Laplace para escrever

s F ( s ) = s 0 f ( t ) e s t d t {\displaystyle sF(s)=s\int _{0}^{\infty }f(t)e^{-st}dt}

= s 0 a f ( t ) e s t d t + s a f ( t ) e s t d t {\displaystyle =s\int _{0}^{a}f(t)e^{-st}dt+s\int _{a}^{\infty }f(t)e^{-st}dt}

Observe que a primeira parcela do lado direito tende a zero independentemente do valor de a {\displaystyle a} .Porém, para a {\displaystyle a} suficientemente grande, f ( t ) {\displaystyle f(t)} se aproxima de L {\displaystyle L} , pois lim t f ( t ) = L {\displaystyle \lim _{t\to \infty }f(t)=L} , ou seja,

s a f ( t ) e s t d t s a L e s t d t {\displaystyle s\int _{a}^{\infty }f(t)e^{-st}dt\thickapprox s\int _{a}^{\infty }Le^{-st}dt}

e,

s a f ( t ) e s t d t s L s [ e s t ] a = L e a s {\displaystyle s\int _{a}^{\infty }f(t)e^{-st}dt\thickapprox s{\frac {L}{-s}}\left[e^{-st}\right]_{a}^{\infty }=Le^{-as}}

Como e a s 1 {\displaystyle e^{-as}\rightarrow 1} quando s 0 {\displaystyle s\rightarrow 0} , então

lim s 0 + s F ( s ) = L {\displaystyle \lim _{s\to 0^{+}}sF(s)=L}

Referências

  1. Tabela de transformadas de Laplace em Transformadas integrais - Um Livro Colaborativo, mantido pelo Instituto de Matemática e Estatística da Universidade Federal do Rio Grande do Sul
  2. a b «Transformada de Laplace - Um Livro Colaborativo». www.ufrgs.br. Consultado em 4 de julho de 2019 
  3. https://www.ufrgs.br/reamat/TransformadasIntegrais/livro-tl/mainse5.html
  4. a b A derivada da Transformada de Laplace em Transformadas integrais - Um Livro Colaborativo, mantido pelo Instituto de Matemática e Estatística da Universidade Federal do Rio Grande do Sul
  5. a b «Transformada de Laplace - Um Livro Colaborativo». www.ufrgs.br. Consultado em 19 de novembro de 2019