Universidade Estadual de Maring - Departamento de Matemtica

Clculo Diferencial e Integral: um KIT de Sobrevivncia

c

Publicao eletrnica do KIT

http://www.dma.uem.br/kit

Transformada de Laplace
Prof. Doherty Andrade
Universidade Estadual de Maring
Departamento de Matemtica - 87020-900 Maring-PR, Brazil

Sumrio

1. Preliminares

2. Funes Contnuas

3. Teoremas de Ponto Fixo

4. Introduo as EDO's

10

5. Prova do Teorema de Existncia

13

6. Transformada L de Laplace

18

7. Propriedades

20

8. A Inversa da Transformada de Laplace

24

9. Fraes Parciais

24

10.Teorema da Convoluo

27

11.Aplicaes a EDO's

28

12.Mtodos para determinar a transformada inversa de Laplace 29

13.Aplicao a sistemas de EDO's

30

Prof. Doherty Andrade

Resumo: Estas notas foram especialmente elaboradas para servirem de texto para o mini-curso sobre Transformada de Laplace.

Este mini-curso

introdutrio e exige-se o mnimo de pr-requisitos.

Acompanham estas notas um diskete contendo arquivos em Maple com os
exemplos e outras atividades para serem realizadas no computador.

c

1.

KIT -

Clculo Diferencial e Integral

Preliminares

Nesta seo vamos ver alguns conceitos elementares que sero teis no restante da teoria.
Um espao mtrico um par (M, d), onde M um conjunto no vazio e
d uma funo d : M M R que para todos os pontos x e y de M satisfaz:
a) d(x, y) 0, (positiva)
b) d(x, y) = 0 x = y, (no degenerada)
c) d(x, y) = d(y, x), (simtrica)
d) d(x, z) d(x, y) + d(y, z) (desig. triangular).
A funo d chamada uma mtrica e d(x, y) signica a distncia entre x
e y.
O espao mtrico que temos de imediato e mais interessante o Rn , cuja
mtrica d : Rn Rn R dada por d(x, y) = kx yk, onde
p
kx yk = hx y, x yi.
Esta , por razes bvias, chamada mtrica euclidiana.
Pode-se provar que em Rn todas as mtricas so equivalentes, isto , duas
mtricas d1 e d2 sobre Rn quaisque satisfazem
d1 (x, y) c1 d2 (x, y) c2 d1 (x, y),

para quaisquer x, y .

Teorema 1..1 (Cauchy-Schwarz) Se x, y Rn ento

|hx, yi| kxkkyk.

Teorema 1..2 (Desig. triangular) Se x, y Rn ento

kx + yk kxk + kyk.

Corolrio 1..3 Se x, y Rn ento

kx yk kxk kyk.

Teorema 1..4 ( Teorema de Pitgoras) Sejam x, y Rn . Ento x e y

so ortogonais se, e somente se,

kx + yk2 = kxk2 + kyk2 .

Prof. Doherty Andrade

Seja V um espao vetorial sobre um corpo K. Uma norma sobre espao

veotrial V uma funo n : V K, satisfazendo, onde n(x) denotado por
kxk :
a) kxk 0,
b) kxk = 0 x = 0,
c) kxk = ||kxk,
d) kx + yk kxk + kyk, (desig. triangular),
para todos x, y V e todos os escalares .
Um espao normado um espao vetorial munido de uma norma.
Neste ponto interessante certicar-se de que o Rn um espao normado.
Em geral, num espao vetorial normado (X, kk), denimos d : XX R
por
d(x, y) = kx yk

temos que (X, d) um espao mtrico.

Uma sequncia em um espao mtrico M uma funo x : N M .
comum representar x(n) por xn e uma tal sequncia representada por (xn ).
Seja (xn ) uma sequncia sobre um espao mtrico (M, d). Dizemos que
a sequncia (xn ) converge para x0 M se, dado  > 0, existe n0 natural tal
que d(xn , x0 ) <  para todo n > n0 .
Seja (xn ) uma sequncia sobre um espao mtrico (M, d). Dizemos que a
sequncia (xn ) sequncia de Cauchy se se dado  > 0, existe n0 natural tal
que d(xn , xm ) <  para todo m, n > n0 .
fcil ver que toda sequncia convergente de Cauchy. Mas, em geral,
nem toda sequncia de Cauchy convergente.
Um espao mtrico (M, d) chamado de completo se suas sequncias de
Cauchy so convergentes em M .
Os exemplos mais comuns de espaos mtricos completos so R e Rn .
Num espao mtrico M um subconjunto X aberto se todos os seus
pontos sao interiores. X fechado se o complementar M X aberto.
Num espao mtrico, podemos tomar a coleo de todos os conjuntos
abertos A. A coleo A possui uma estrutura, quase independente da mtrica
do espao, caracterizada pelo teorema:

Teorema 1..5 Num espao mtrico (M, d):

1i) os conjuntos e M esto em A, isto , so abertos.

2i) a unio S de qualquer coleo de conjuntos abertos conjunto aberto.
3i) a interseo I de toda coleo nita de conjuntos abertos aberto.

Observao 1..6 O teorema 1..5 descreve de certa forma uma estrutura

particular no conjunto dos abertos de um espao mtrico. Esta estrutura a

mais importante do assunto que estamos tratando.

KIT -

Clculo Diferencial e Integral

Teorema 1..7 Num espao mtrico (M, d) um subconjunto X aberto se,

e somente se, reunio de bolas abertas.

Demonstrao: claro que qualquer reunio de bolas abertas um con-

junto aberto em virtude do teorema acima. Segue que se X = B , onde B

bola aberta, ento X conjunto aberto. Se X um conjunto aberto, ento
para cada x X existe uma bola aberta Bx centrada em x inteiramente
contida em X . Logo, {x} Bx X. Logo, tomando a reunio temos
X=

{x}

Bx X.

xX

Em relao a coleo de todos os subconjuntos fechados temos uma estrutura similar a da coleo dos abertos dada pelo teorema 1..5

Teorema 1..8 Num espao mtrico (M, d) valem as seguintes propriedades:

1i) Os conjuntos e M so fechados,
2i) A interseo de qualquer coleo (F ), I de fechados um conjunto fechado,
3i) A reunio de qualquer coleo nita {F1 , . . . , Fn } de conjuntos fechados fechado.

Demonstrao: 1i) Os conjuntos e M so fechados pois seus complementares so abertos.

2i) O conjunto interseo fechado porque o seu complementar
\
[
M ( F ) = (M F )

aberto pelo teorema 1..5

3i) O conjunto reunio fechado porque o seu complementar
M (

n
[

i=1

aberto pelo teorema 1..5.

Fi ) =

n
\

(M Fi )

i=1

Vimos que a reunio de uma coleo arbitrria de conjuntos abertos num

espao mtrico um conjunto aberto, e que a interseco de uma coleo
nita de abertos num espao mtrico um conjunto aberto. Isto sugere a
seguinte noo.

Prof. Doherty Andrade

Denio 1..9 Uma topologia sobre um conjunto X uma coleo T de

subconjuntos de X tendo as seguintes propriedades:
1i) e X esto em T .
2i) a unio de elementos de qualquer subcoleo de T est em T .
3i) a interseco de elementos de qualquer subcoleo nita de T est em
T.
O par (X, T ) chamado de espao topolgico.
Se T uma topologia em X e U T ento U chamado de conjunto
aberto em X .

Exemplo 1..10 Um espao mtrico (M, d) um espao topolgico. A topologia de M a topologia

= {A M ; A aberto de M },

onde o termo aberto est dado na denio. Esta estrutura chamada de

topologia gerada pela mtrica de (M, d).

Denio 1..11 Sejam e 0 topologias de X . Se 0 , ento dizemos

que 0 mais na que . Tambm dizemos que 0 maior do que .

Duas topologias sobre um conjunto X no precisam ser comparveis.

Teorema 1..12 Num espao topolgico (X, ) valem as seguintes proprieda-

des:
1i) Os conjuntos e X so fechados.
2i) A interseo de qualquer coleo de fechados um conjunto fechado.
3i) A reunio de qualquer coleo nita de conjuntos fechados fechado.
2.

Funes Contnuas

O conceito de funo contnua fundamental em matemtica. Neste captulo

vamos formular uma denio de continuidade que, embora envolva apenas
a noo de conjunto aberto, engloba a noo de continuidade na reta real
como caso especial.

Denio 2..1 Sejam (X, ) e (Y, 0 ) espaos topolgicos. Uma funo f :

X Y dita contnua se para cada aberto V de Y , o subconjunto f 1 (V )
aberto de X .

Note que a noo de continuidade envolve apenas o conceito de conjunto

aberto.

KIT -

Clculo Diferencial e Integral

Teorema 2..2 (construo de funes contnuas) Seja X, Y e Z espa-

os topolgicos.
a) Se f : X Y funo constante, ento f contnua.
b) Se A subespao de X , ento a incluso j : A X contnua.
c) Se f : X Y e g : Y Z so contnuas, ento g f contnua.
d) Se f : X Y contnua e A subespao de X , ento a restrio
f |A : A Y contnua.

Demonstrao: a) Suponha f (x) a Y. Se V um aberto de Y , ento

f 1 (V ) igual a X ou igual ao conjunto vazio, conforme a V ou no. Em

qualquer caso f 1 (V ) aberto.
b) Dado aberto U em X , ento j 1 (U ) = U A, que aberto em A.
c) Dado aberto W em Z, ento g 1 (W ) aberto em Y e f 1 (g 1 (W ))
aberto em X . Mas f 1 (g 1 (W )) = (g f )1 (W ). Logo, (g f )1 (W )
aberto em X e assim (g f ) contnua.
d) Finalmente para provar d) basta notar que f |A igual a composta da
incluso j : A X com f : X Y e portanto f |A contnua.
2

Teorema 2..3 Sejam X = A B, f : A Y e g : B Y contnuas tais

que f (x) = g(x), x (A B). Ento contnua a funo h : X Y dada

por

f (x), se x A
h(x) =
g(x), se x B.

Teorema 2..4 Seja f : Z X Y dada por f (a) = (f1 (a), f2 (a)). Ento,
f contnua se, e somente se, f1 e f2 so contnuas.

Teorema 2..5 Sejam (X, d1 ) e (Y, d2 ) espaos mtricos. A funo f : X

Y contnua se, e somente se, para todo x X e > 0 existe > 0 tal que
d1 (x, y) < implica d2 (f (x), f (y)) < .

Demonstrao: Primeiramente suponhamos f contnua e sejam dados x

X e > 0. Como f contnua, f 1 (B(f (x), )) aberto de X e contm

x. Logo, contm alguma bola B(x, ) centrada em x. Se y B(x, ) ento
f (y) B(f (x), )). Isto , d1 (x, y) < implica que d2 (f (x), f (y)) < .
Suponha agora que a condio seja satisfeita. Tomemos um aberto V de
Y e x f 1 (V ). Como f (x) V existe B(f (x), ) V. Logo, pela hiptese,
existe B(x, ) tal que f (B(x, )) B(f (x), ). Segue que f 1 (V ) aberto
em X .
2

Prof. Doherty Andrade

Exemplo 2..6 Se (M1 , d1 ) e (M2 , d2 ) so dois espaos mtricos podemos

introduzir pelo menos duas mtricas em M1 M2 . So elas dadas por se

x = (x1 , x2 ) e y = (y1 , y2 ) so elementos de M1 M2
p
d(x, y) =
(d1 (x1 , y1 ))2 + (d2 (x2 , y2 ))2
m(x, y) = max{d1 (x1 , y1 ), d2 (x2 , y2 )}.

Estas mtricas geram a mesma topologia em M1 M2 que tornam as projees

1 : M1 M2 M1 e 2 : M1 M2 M2 dadas por 1 (x1 , y1 ) = x1 e
2 (x1 , y1 ) = y1 , contnuas.
Uma sequncia em um espao topolgico uma funo s : N X. Denotamos s(n) por xn e escrevemos (xn ) ou (x1 , x2 , . . . , xn , . . .) para representar
s.

Dizemos que a sequncia (xn ) de elementos de X converge para x X , se

para todo aberto U contendo x existe um natural n0 tal que xn U, n n0 .
Escrevemos xn x para representar que (xn ) converge para x.

Lema 2..7 Seja (X, d) espao mtrico e A X. Se existe sequncia (xn ) de

pontos de A convergindo para x, ento x A.

Demonstrao: Seja (xn ) sequncia de pontos de A tal que xn x. Ento,

todo aberto U contendo x contm pontos de A e assim x A. Suponha que
x A, ento para cada n N tomemos xn B(x, n1 ) A. Provaremos que
(xn ) converge para x. Dado um aberto U contendo x existe B(x, ) U .
Seja n0 N tal que n1 < , ento xn U para todo n n0 .
2
Note que apenas na prova da recproca utilizamos o fato de X ser mtrico.

Teorema 2..8 Sejam (X, d) espao mtrico, Y espao topolgico e f : X

Y uma funo. Ento, f contnua se, se somente se, para toda sequncia
convergente xn x em X tem-se f (xn ) f (x).

Demonstrao: Primeiramente assuma que f seja contnua. Dado xn x

e V aberto contendo f (x), ento f 1 (V ) aberto contendo x e assim existe

n0 N tal que xn f 1 (V ), n n0 . Segue que f (xn ) V, n n0 e assim

f (xn ) f (x).

Reciprocamnte, seja A X e x A. Ento, existe (xn ) sequncia de

pontos de A convergindo para x. Por hiptese, a sequncia f (xn ) converge
para f (x). Como f (xn ) f (A), o lema anterior assegura que f (x) f (A).
Logo, f (A) f (A) e f contnua.
2

KIT -

Clculo Diferencial e Integral

Lema 2..9 As operaes adio, subtrao e multiplicao so funes con-

tnuas de R R em R. A operao de diviso funo contnua de R (R

{0}) em R.

Teorema 2..10 Seja X espao topolgico e f, g : X R funes contnuas.

Ento, (f g) e (f g) so contnuas. Se g(x) 6= 0 para todo x X , ento

f
( ) contnua.
g

Demonstrao: Como (f + g) a composta de h : X R R, dada por

h(x) = (f (x), g(x)), com a adio + : R R R e ambas so contnuas

segue que (f + g) contnua. Argumento anlogo para as outras funes. 2

3.

Teoremas de Ponto Fixo

Se um conjunto levado em si mesmo por uma funo f, pode acontecer

que algum ponto seja mantido xo pela funo. Um ponto x satisfazendo
f (x) = x chamado ponto xo da aplicao f.
O seguinte teorema um resultado simples sobre existncia de ponto xo.

Teorema 3..1 Toda aplicao contnua f : [a, b] [a, b] tem pelo menos
um ponto xo.

Demonstrao: Dena a seguinte aplicao g : [a, b] R dada por g(x) =

f (x) x. Assim, g mede a distncia orientada entre x e sua imagem f (x).
Um ponto xo de f um ponto x onde g(x) = 0. Se um dos extremos do

intervalo ponto xo nada temos a provar. Ento suponha que nenhum deles
seja ponto xo. Como f (a) e f (b) esto no intervalo [a, b] segue que a < f (a)
e f (b) < b e portanto g(a) > 0 e g(b) < 0. Como g contnua, existe x [a, b]
tal que g(x) = 0.
2
Um dos teoremas mais importantes sobre ponto xo o teorema do ponto
xo de Banach ou o princpio da contrao. Sejam (M, d) e (N, d1 ) dois
espaos mtricos. Uma aplicao f : M N dita uma contrao se existe
0 k < 1 tal que
d1 (f (x), f (y)) kd(x, y), x, y M.

fcil ver que toda contrao uniformemente contnua.

10

Prof. Doherty Andrade

Teorema 3..2 (Teorema do Ponto xo de Banach) Sejam (M, d) um espao mtrico completo e f : M M uma contrao. Ento, f possui um
nico ponto xo em M. Alm disso, dado x0 M a sequncia denida por
x1 = f (x0 ), xn+1 = f (xn ), n N

(3.1)

uma sequncia convergente e limn xn = a ponto xo de f.

Demonstrao: se a sequncia (xn ) denida acima converge para a M,

ento como f contnua temos

f (a) = f (lim xn ) = lim f (xn ) = lim xn+1 = a.

Provando que a ponto xo de f.

Se f tem dois pontos xos a e b, ento temos
d(a, b) = d(f (a), f (b)) kd(a, b),

o que absurdo a menos que a = b. Logo, a = b.

Resta provar que a sequncia (xn ) converge. Notemos que d(x1 , x2 )
kd(x0 , x1 ) e que em geral d(xn+1 , xn ) k n d(x1 , x0 ), n N. Segue que para
n, p N temos
d(xn , xn+p ) d(xn , xn+1 ) + + d(xn+p1 , xn+p )
[k n + k n+1 + + k n+p1 ]d(x0 , x1 )
kn

d(x0 , x1 ).
1k

Como lim k n = 0 segue que a sequncia de Cauchy e portanto convergente,

o que completa a prova do teorema.
2

Exemplo 3..3 Seja f : [a, b] [a, b] uma aplicao contnua com derivada
tal que supx[a,b] |f 0 (x)| < 1. Ento, f uma contrao.
Este resultado decorre da seguinte desiguadade

|f (y) f (x)| |y x| sup |f 0 (c)| k|y x|.

c(a,b)

4.

Introduo as EDO's

Esta seo dedicada ao estudo de problemas de Cauchy

dx
= f (t, x),
dt

x(t0 ) = x0 ,

KIT -

Clculo Diferencial e Integral

11

onde a funo f admitida ser contnua sobre seu domnio de denio.

Equaes diferenciais ordinrias so importantes em muitos problemas
encontrados quando modelamos fenmenos fsicos ou biolgicos. Vamos ver
mais adiante alguns exemplos que ilustram esta importncia.
Uma equao diferencial ordinria, ou simplesmente uma EDO, uma
equao
F (x, y, y 0 , y (2) , . . . , y (n) ) = 0,

(4.1)

envolvendo derivadas de uma funo y(x) que desejamos determinar.

A ordem de uma EDO a ordem da mais alta derivada que aparece na
equao.
Seja um aberto de Rn+1 e f : Rn , n 1, uma funo denida
e contnua em . A equao diferencial ordinria de ordem 1, que estamos
interessados, uma equao do tipo
dx(t)
= f (t, x(t)),
dt

(4.2)

satisfazendo seguinte condio inicial x(t0 ) = x0

Dada : I Rn denida sobre um aberto I e de classe C 1 neste intervalo,
se estiver vericada a condio (4.2), isto ,
d(t)
= f (t, (t)),
dt

(4.3)

e (t0 ) = x0 dizemos que uma soluo de (4.2).

Se n > 1, (4.2) de fato um sistema de equaes diferenciais ordinrias,
pois f = (f 1 , f 2 , . . . , f n ) onde f i so funes reais e contnuas denidas em
:
f i : R, i = 1, 2, . . . , n.

A ordem da equao
u000 + x2 u5 u0 sin(x) = 0

trs. Note que esta equao no linear.

A equao geral (linear) de ordem k do tipo
u(k) + p1 (x)u(k1) + + pk (x)u = f (x).

(4.4)

Quando f (x) 0 em (4.4) dizemos que a EDO homognea.

Suponha que sejam dados k nmeros reais xados b1 , b2 , . . . , bk . Ento a
EDO de ordem k juntamente com as condies
u(k) + p1 (x)u(k1) + + pk (x)u = f (x)
u(x0 ) = b1 , u0 (x0 ) = b2 , . . . , u(k1) (x0 ) = bk .

(4.5)
(4.6)

12

Prof. Doherty Andrade

chamado de problema de valor inicial.

Note que x0 o valor da varivel independente em que todas as condies
iniciais so impostas e que existem tantas condies iniciais quanto a ordem
da EDO. Se condies so dadas em mais que um valor de x, resulta num
problema de fronteira. claro que uma combinao dos dois resulta num
problema de valor inicial e fronteira.
Uma das trs questes fundamentais no estudo das equaes diferenciais
ordinrias a determinao de suas solues. Existem muitos mtodos para
determinao explcita de solues, mas estes mtodos no so gerais e
determinam as solues apenas de alguns tipos muito particulares de EDO's.
A maior parte das EDO's no pode ser resolvida explicitamente. J que
a forma explcita da soluo de uma EDO pode no existir, outra grande
questo que surge o estudo das propriedades das solues (sem conheclas), a teoria qualitativa. Esta parte da teoria das EDO's estuda o
comportamento das solues e propriedades geomtricas.
Uma terceira questo importante trata da existncia e unicidade de solues das EDO's. Saber da existncia de solues o primeiro passo no
estudo das EDO's, se existe podemos procurar determin-la ou uma aproximao para ela. O resultado mais importane e bsico da teoria das EDO's
o Teorema 5..1 de existncia e unicidade. Antes mais alguns comentrios.
Muitas vezes no possvel escrever a EDO (4.1) da forma
an (x)y (n) + an1 (x)y (n1) + + a1 (x)y 0 + a0 (x)y = g(x).

Esta uma situao particular que merece uma denio.

A EDO (4.1) chamada linear se F linear na variveis y, y 0 , y (2) , . . . , y (n) .
Deste modo uma EDO linear geral de ordem n uma expresso do tipo
an (x)y (n) + + a1 (x)y 0 + a0 (x)y = g(x).

(4.7)

Para comear o nosso estudo vamos considerar primeiramente as EDO's

lineares de primeira odem. Isto , EDO's do tipo
y 0 + p(x)y = g(x).

Antes de avanarmos precisamos duas novas noes. Para ilustrar, consideremos a EDO y 00 + y = 0 que admite soluo dada por y(x) = c1 cos(x) +
c2 sin(x), em que c1 e c2 so constantes arbitrrias, tendo ento a EDO acima innitas solues. Para determinar de modo nico a soluo, precisamos
determinar as constantes e para isto precisamos mais informaes sobre a
soluo. H duas formas de fazer isto.

KIT -

Clculo Diferencial e Integral

13

Dando condies iniciais que a soluo deve satisfazer num ponto. Neste caso
temos um problema de valor inicial (PVI). Por exemplo:


y 00 + y = 0
y(0) = 0, y 0 (0) = 1.

Aqui a soluo y(x) = sin(x).

Ou, dando condies de fronteira que a soluo deve satisfazer na fronteira
de um conjunto. Neste caso temos um problema de valor de fronteira (PVF).
Por exemplo:

y 00 + y = 0
y(0) = 1, y() = 1.

Aqui a soluo y(x) = cos(x).

Alguns mtodos importantes de soluo de EDO's se baseiam no tipo de
problema PVI ou PVF.
5.

Prova do Teorema de Existncia

Vamos dar a prova do teorema de existncia e unicidade de solues de EDO's

numa situao particular.

Teorema 5..1 (Existncia e Unicidade) Seja R2 um aberto e f :

R funo contnua com fy : R tambm contnua. Dado (t0 , y0 )

, existe um intervalo aberto I 3 t0 e uma nica funo diferencivel :
I R com (t, (t)) , para todo t I , que soluo do problema de valor

inicial

y0(t) = f (t, y),

y(t0 ) = y0 .

(5.1)

Demonstrao: A funo : I R soluo de (5.1) se e somente se, for

soluo da equao integral

f (s, y(s))ds, t I.

y(t) = y0 +

(5.2)

t0

Assim, vamos estudar detalhadamente a equao (5.2). Sejam a e b reais

positivos tal que o retngulo
R = {(t, y); |t t0 | a e |y y0 | b}

esteja inteiramente contido em . Como f contnua e R compacto, ento

f limitada em R, seja
M = max{|f (t, y)|; (t, y) R}.

14

Prof. Doherty Andrade

Tome
0 < a min{a,

b
}
M

e o intervalo
Ja = [t0 a, t0 + a].

Seja
C = {g; g : Ja R contnua, g(t0 ) = y0 e |g(t) y0 | b}.

Munimos C da seguinte mtrica

d(g1 , g2 ) = max{|g1 (t) g2 (t)|; t Ja }.

Segue que (C, d) um espao mtrico. Mais ainda, (C, d) um espao mtrico
completo, isto , toda sequncia de Cauchy convergente.
De (5.2) observamos que toda soluo deve ser ponto xo da aplicao
dada por C 3 g 7 (g) onde
Z

(g)(t) = y0 +

f (s, g(s))ds.

(5.3)

t0

fcil ver que (g) contnua em Ja e (g)(t0 ) = y0 . Alm disso,

Z

f (s, g(s))ds| M |t t0 | M a b

|(g)(t) y0 | |
t0

e portanto (g) C. Logo temos que

: C C.

Por outro lado, se g1 e g2 pertencem a C temos que

Z

|(g1 )(t) (g2 )(t)|

|f (s, g1 (s)) f (s, g2 (s))|ds.

t0

Como f Lipschitiziana na varivel y , existe uma constante positiva k tal

que
Z
t

|(g1 )(t) (g2 )(t)|

k|g1 (s) g2 (s)|ds kad(g1 , g2 ).

t0

Segue que
d((g1 ), (g2 )) kad(g1 , g2 ).

Tomando a tal que ka < 1 conclumos que uma contrao. Pelo Teorema
da contrao, tem um nico ponto xo e o teorema ca provado com
I = (t0 a, t0 + a).

KIT -

15

Clculo Diferencial e Integral

Agora vamos provar que se duas solues e coincidem em algum

ponto t = t0 ento elas coincidiro em todos os valores de t em que estiveram
denidas.

Teorema 5..2 Sejam e solues de (5.1), denidas em intervalos I1 e

I2 , respectivamente. Suponha t0 I1 I2 que e (t0 ) = (t0 ) = x0 . Ento,
e coincidem em todos os valores de t I1 I2 .
Demonstrao: Sejam x = (t) e y = (t) duas solues satisfazendo
(t0 ) = (t0 ) = x0 .

Seja J = (r1 , r2 ) = I1 I2 o intervalo em que e esto denidas. Seja

e (t) = (t).}.

N = {t; t J

Note que N no vazio, pois t0 N . Mostraremos que N aberto e fechado

em J e como J conexo teremos que J = N.
Seja (tn ) uma sequncia de elementos de N convergente para t J .
Assim, (tn ) = (tn ). Como e so contnuas temos que (t) = (t),
segue que t N. Logo, N fechado em J.
Seja t1 N . Ento, temos que (t1 ) = (t1 ) = x1 . Resolvendo o problema
de valor inicial com o par (t1 , x1 ), o Teorema de existncia e unicidade nos
d a e b tal que Ka < 1. Podemos escolher, usando a continuidade de e ,
a tal que
k(t) (t)k b,

com |t t1 | < a.
Como e so solues temos que
Z

(t) = x1 +

f (s, (s))ds,
t
Z 1t

(t) = x1 +

f (s, (s))ds.
t1

Para |t t1 | < a obtemos

Z

k(t) (t)k K

k(s) (s)kds bKa.

t1

Voltando na desigualdade anterior obtemos

k(t) (t)k b(Ka)2 .

16

Prof. Doherty Andrade

Repetindo o argumento, chegamos que

k(t) (t)k b(Ka)n ,

para todo n 1. Como Ka < 1 obtemos que (t) = (t) para todo |t t1 | <
a. Logo, existe uma vizinhana de t1 onde (t) e (t) coincidem, isto , N
aberto. Como N no vazio, aberto e fechado em J e J conexo, segue que
N = J.

Para o prximo resultado, que trata da contuidade da soluo com os

dados iniciais, vamos usar a seguinte notao, u(t; t0 , y0 ) denota a soluo de
(5.1) com u(t0 ) = y0 .

Teorema 5..3 Sob as mesmas hipteses do teorema de existncia, a soluo

u(t; t0 , y0 ) funo contnua de y0 para t0 e t xos.

Demonstrao: Consideremos as seguintes aplicaes

Z

A0 x(t) = y0 +

f (, x( ))d,
t
Z 0t

A1 x(t) = y1 +

f (, x( ))d,
t0

cujos pontos xos so as solues com condies iniciais y0 e y1 num intervalo

[t0 , b]. Podemos escolher h < a e considerar Jh = [t0 , t0 + h] intervalo fechado
de modo que estas aplicaes sejam contraes com mesma constante k . Se
d(y0 , y1 ) ento as contraes so prximas e portanto a distncia entre

seus pontos xos no excede

. Segue que
1k

max{d(u(t; t0 , y0 ), u(t; t1 , y1 )), t Jh }

.
1k

Assim, duas solues diferem no mximo por em t = t0 e no mximo por

em todo o intervalo Jh .
1k
Movendo o ponto inicial de t0 para t1 = t0 +h podemos estender a soluo
para o intervalo [t0 , t0 + 2h] e ento repetir o argumento, Encontramos que

as duas solues diferem no mximo por

.
2
(1 k)

Continuando este argumento, ns nalmente obtemos a seguinte estimativa

max ku(t, t0 , u0 ) u(t, t0 , u1 )k

t0 tb

,
(1 k)m

(5.4)

KIT -

Clculo Diferencial e Integral

onde

17


b t0
m=
+ 1.
h


Assim, fazendo ku0 uk sucientemente pequeno, podemos fazer o lado

esquerdo de (5.4) to pequeno quanto desejado. Isto prova a continuidade
de u(t, t0 , u0 ).
2
O teorema de existncia de soluo para equaes diferenciais ordinrias garante a existncia de soluo numa vizinhana do ponto inicial t0 . A
pergunta que surge naturalmente : podemos estender esta soluo para intervalos maiores? O seguinte resultado responde esta pergunta.
Se uma soluo do pvi denida num intervalo aberto I , dizemos que
uma extenso de se soluo do pvi, est denida em um intervalo
aberto I que contm propriamente I , e em I , e coincidem. Se uma soluo
no admite uma extenso, dizemos que ela uma soluo maximal.

Teorema 5..4 Sob as hipteses do teorema de existncia, temos que toda

soluo do problema (5.1) pode ser estendida a um intervalo maximal e este
aberto.

Demonstrao: Seja S o conjunto de todos as solues do (5.1) denidas

em intervalos abertos I 3 t0 . Seja I = I . Dena : I R dada por

(t) = (t), t I .

Notemos que I aberto. Em em virtude do Teorema 5..2 est bem denida

e alm disso, soluo do PVI (5.1).
Suponha que I = ( , + ). Vamos provar que I maximal, isto , no
existe um intervalo I contendo propriamente I onde o PVI tenha soluo .

De fato, suponha que isto no seja verdade. Ento este conteria uma das
extremidades, digamos + . Assim, o PVI dado por


y 0 = f (t, y),
y(w+ ) = (w
+ ),

teria uma soluo num aberto ( a, + + a). Segue que


=

(t), t ( , + )
(t),

t [+ , + + a)

seria soluo do PVI (5.1) no intervalo I que contm propriamente I . Mas

isto um absurdo.
2

18

Prof. Doherty Andrade

6.

Transformada

de Laplace

Nesta seo vamos usar o conceito de operador linear e seu inverso, na soluo
de problemas de valor inicial. A tcnica da Transformada de Laplace1 uma
poderosa ferramenta na determinao de solues de equaes diferenciais ordinrias com condies iniciais. O operador L um operador integral (linear)
que destri derivadas, transformando edo's em simples equaes algbricas.
Dizemos que f contnua por partes em [a, b] se contnua exceto num
nmero nito de pontos deste intervalo e se em cada ponto x0 de descontinuidade existem os limites laterais a direita e a esquerda, isto ,
lim f (x0 + h)

h0+

lim f (x0 h)2 , existem

h0+

quando h tende a zero por valores positivos.

Seja f : [0, ) R e consideremos
Z

exp(st)f (t)dt,

(6.1)

onde s uma varivel real. Quando f sucientemente bem comportada, que

ser feito preciso mais adiante, esta integral convergir para certos valores
de s, denindo uma funo de s, chamada de transformada de Laplace de f ,
e ser representada por L[f ] ou L[f ](s).
Como exemplo vamos determinar L[cos(at)].
Z

L[cos(at)] =

exp(st) cos(at)dt
Z t0
= lim
exp(st) cos(at)dt
to 0


exp(st0 )
s
= lim
(a sin(at0 ) s cos(at0 )) + 2
t0
s 2 + a2
s + a2
s
= 2
, s > 0,
s + a2
0

pois este limite existe se s > 0.

Observe que para (6.1) existir devemos exigir que f seja dominada por
alguma exponencial, assim est f (t) tende para zero rapidamente quando t
cresce. Mais precisamente, vamos introduzir o seguinte conceito,
1 Pierre Simon de Laplace (1749-1872), matemtico francs com grandes contribuies
a matemtica, mecnica celeste e teoria das probabilidades
2 apenas um destes limites tem sentido quando x extremo do intervalo.
0

KIT -

19

Clculo Diferencial e Integral

Denio 6..1 Dizemos que f de ordem exponencial em [0, ) se existem

constantes C > 0 e tais que

|f (t)| C et , t > 0.

(6.2)

So exemplos de funes de ordem exponencial, f (t) = C (constante) e

tn , eat , sin(bt), cos(at), eat tn sin(bt), eat tn cos(bt).

Como consequncia tambm so funes de ordem exponencial, os polinmios e os polinmios trigonomtricos.

Para simplicar a linguagem, uma funo de ordem exponencial satisfazendo (6.2) ser chamada de funo de ordem exponencial .

Teorema 6..2 (Condies sucientes para a existncia de L) Se f

contnua por partes e de ordem exponential, ento existe um real tal que
Z

est f (t)dt,

converge para todos os valores de s > .

Demonstrao: Como f de ordem exponencial, exitem C > 0 e reais

tais que

|f (t)| C et .

Logo, temos que

Z
|

exp(st)f (t)dt| C
0

exp(s()t)dt
0

C
[1 exp((s )t0 )]
t0 s
C
=
, se s > .
s

lim

Logo, a transformada de Laplace de toda funo de ordem exponencial

existe, mas e a recproca? Uma funo cuja transformada de Laplace existe
necessariamente de ordem exponencial? A resposta no, pois a funo
1
f (t) = tem transformada de Laplace dada por
t

1
2 s3/2

20

Prof. Doherty Andrade

embora no seja de ordem exponencial. Tambm, et no funo de ordem

exponencial.
Assim, o conjunto das funes que possuem transformada de Laplace
contm propriamente o conjunto E das funes contnuas por partes e de
ordem exponencial. O conjunto E o suciente para a maioria das nossas
aplicaes.
2

7.

Propriedades

Vamos representar por E o conjunto de todas as funes contnuas por partes

e de ordem exponencial. Note que E munido das operaes usuais de soma
de funes e de multiplicao de escalar real por funo, um espao vetorial
real. Por F vamos representar o cojunto de todas as funes reais denidas
em intervalos da forma (a0 , ) ou [a0 , ), a0 . Em F adotamos a
seguinte denio modicada de soma de funes: se f e g pertencem a F
denimos f +g como sendo a funo cujo domnio a interseo dos domnios
de f e g , e cujo valor em qualquer ponto s da a interseo f (s)+g(s). Desta
maneira segue que L um operador linear entre E e F .
Vamos resumir este comentrio com o seguinte resultado.

Teorema 7..1 (Linearidade L) Sejam f e g pertencentes a E e k R.

Ento, L[k f + g](s) = k L[f ](s) + L[g](s).
Cuidado ao dizer que L um operador linear. preciso deixar bem claro
esta noo, pois se considerarmos f (t) = 1 e g(t) = f (t)), ento L[f ] + L[g]
a funo nula no intervalo (0, ), enquanto L[f + g] = L[0] funo nula
no em (, ). Assim, s podemos dizer que L[f + g] e L[f ] + L[g] so
iguais para aqueles valores de s onde ambas as funes esto denidas. Esta
diculdade pode ser contornada se concordarmos que duas funes de F so
idnticas quando elas coincidem em algum intervalo da forma (a, ).

Teorema 7..2 (Lerch) Sejam f e g pertencentes a E . Suponha que existe

s0 R tal que L[f ](s) = L[g](s), s > s0 . Ento, f (t) = g(t), t > 0,

exceto possivelmente nos pontos de descontinuidade.

A demonstrao ser omitida. Observe que o teorema acima diz que L

injetora.
2

Teorema 7..3 (Comportamento assinttico de L[f ]) Se f E , ento,

lim L[f ](s) = 0.

KIT -

21

Clculo Diferencial e Integral

Demonstrao: Como existem constantes C > 0 e tais que

|L[f ](s)|

C
, s > ,
s

o resultado segue imediatamente.

Teorema 7..4 (Frmulas Elementares) Sejam f, g E e a R, ento

1
2
3
4
5
6

7
8
9
10

g
cos(at)
sin(at)
1
tn
exp(at)
f0
f 00
exp(at)f
tf (t)
tn f (t)
Rt
f (u)du
0

L[g]
s
, s>0
s2 +a2
a
, s>0
s2 +a2
1
, s>0
s
n!
, s > 0, n
sn+1
1
, s>a
sa
+

sL[f ] f (0 ), se , f 0 E
s2 L[f ] sf (0+ ) f 0 (0+ ), se , f 00 E
L[f ](s a), 10 deslocamento na varivel s
d
ds
L[f ](s),
dn
(1)n ds
n L[f ](s),
1
L[f ](s),
s

Teorema 7..5 (10 teorema do deslocamento na varivel s) Seja f fun-

o contnua por partes e de ordem exponencial. Ento,

L[eat f ] = L[f ](s a)3 .

Demonstrao: A demonstrao imediata e deixamos como exerccio. 2

Assim, podemos escrever imediatamente:
f (t)

eat tn
eat cos(t)
eat sin(t)

L[f ]
n!
(s a)n+1
sa
(s a)2 + 2

(s a)2 + 2

3 exp(as) chamado fator de retardamento

22

Prof. Doherty Andrade

Para o prximo resultado precisamos da funo degrau unitrio ua (t) denida

por

0, se t a
ua (t) =
1, se t > a.
A funo degrau unitrio til para escrever funes como esta
0, se t a
sin(t a), se t > a.


f (t) =

Com efeito, f (t) = ua (t) sin(t a).

fcil determinar que
L[ua (t)] =

eas
s

Teorema 7..6 (20 teorema do deslocamento) Seja f (t) = ua (t)g(ta), a

0, funo contnua por partes e de ordem exponencial. Ento,
L[f ] = exp(as)L[g].

Demonstrao: imediato e deixamos como exerccio.

Teorema 7..7 (Mudana de Escala) Seja f funo contnua por partes
e de ordem exponencial e a 6= 0. Ento,

s
1
L[f (at)] = L[f ]( ).
a
a

Teorema 7..8 (Transformada de Laplace da derivada) Seja f 0 (t) fun-

o contnua por partes e de ordem exponencial. Ento,

L[f 0 (t)] = sL[f ] f (0+).

Demonstrao: A prova decorre de uma integrao por partes. De fato,

Z

L[f (t)] =
=

f (t)dt = lim
est f 0 (t)dt
b 0
0
Z b
 st
b
lim e f (t) 0 + s
est f (t)dt
st 0

= sL[f ](s) f (0+).

2

KIT -

23

Clculo Diferencial e Integral

Corolrio 7..9 Se f (n) contnua por partes e de ordem exponencial em

[0, ), ento fcil obter

L[f (n) ] = sn L[f ] sn1 f (0+ ) sn2 f 0 (0+ ) f (n1) (0+ ).

Demonstrao: A prova segue por induo.

Teorema 7..10 (Transformada de Laplace de integrais)

t

Z
L
0

Demonstrao: Se G(t) =

Rt
0

1
f (u)du = L[f ].
s

f (u)du, ento G0 (t) = f (t) e G(0) = 0. Logo,

L[f ] = L[G0 ] = sL[G] G(0) = sL[G],

e assim L[G] = 1s L[f ].

Teorema 7..11 (Transformada de Laplace de funes peridicas) Se

f ordem exponencial e de perodo p, ento
1
L[f ] =
1 exp(ps)

exp(st)f (t)dt.
0

Demonstrao: Por denio e fazendo x = t np

L[f ] =
=

Z
X
n=0

(n+1)p

exp(st)f (t)dt

np

n=0

1
1 exp(ps)

de onde segue o resultado.

exp(nps)

exp(sx)f (x)dx
0
Z p

exp(sx)f (x)dx,
0

24
8.

Prof. Doherty Andrade

A Inversa da Transformada de Laplace

Na determinao da soluo de uma EDO usando a transformada de Laplace

devemos reconstruir a soluo y(t) conhecendo-se a sua transformada Y (s) =
L(y). O operador que retorna y(t) a partir de L(y) a transformada inversa
de Laplace. Escrevemos
y(t) = L1 (Y ) ou y(t) = L1 [L(y)] .

Observe que o Teorema 7..2, Teorema de Lerch, diz que a tranformao

linear L(y) injetora. Assim, se denotamos por L(E) a sua imagem temos
que
L : E L(E)
f 7 L(f )

inversvel. Como a inversa de uma transformao linear tambm linear,

temos que L1 linear.
Assim temos o seguinte resultado,

Teorema 8..1 Se F = L[f ] e G = L[g], ento, L1 [k F + G](s) = k f + g.

A tabela da pgina 21 pode ser usada no clculo de L1 [F ].

Exerccio 8..2 Calcule

1


2s + 3
.
s2 4s + 20

sugesto: use fraes parciais para decompor a expresso,

9.

Fraes Parciais

No trabalho com L, em geral, nos deparamos com expresses racionais F (s) =

P (s)
, onde P (s) e Q(s) so polinmios. Para determinar a inversa L1 (F )
Q(s)
conveniente decompor F em fraes o mais simples possvel. Fazemos isto

usando o mtodo das fraes parciais.

Como F (s) 0 quando s , podemos considerar apenas o caso em
que o grau de P menor do que o grau de Q e sem fatores em comum.

Primeiro caso: Fatores Lineares Distintos:

KIT -

25

Clculo Diferencial e Integral

Se Q(s) s tem fatores lineares no repetidos, por exemplo,

Q(s) = (s a1 )(s a2 ) (s an ),

ento decompomos F em fraoes do tipo

F (s) =

An
A1
+ +
.
s a1
s an

Como exemplo, decomponha

F (s) =

s2 + 3s 6
.
s(s 1)(s 2)

Como o denominador s tem fatores lineares no repetidos

Q(s) = s(s 1)(s 2),

vamos determinar A, B e C tais que

s2 + 3s 6
A
B
C
= +
+
.
s(s 1)(s 2)
s
s1 s2

Realizando uma conta simples, obtemos A = 3, B = 2 e C = 2. Logo,

temos que
s2 + 3s 6
3
3
2
= +
+
.
s(s 1)(s 2)
s s1 s2

Segue que a determinao de L1 (F ) agora mais fcil. De fato,

L1 (F )(s) = 3 + 2 exp(t) + 2 exp(2t).

Outro exemplo, decomponha

F (s) =

s3

1
.
s

Segundo caso: Fatores Lineares Repetidos: Se Q(s) tem fatores line-

ares repetidos, a cada fator linear repetido ax + b que aparece n vezes no

denominador, corresponde uma soma de n fraes parciais da forma
A1
A2
An
+
+ +
,
+
2
ax + b (ax b)
(ax+ b)n

onde A1 , A2 , . . . , An so constantes a serem determinadas.

26

Prof. Doherty Andrade

Por simplicidade vamos supor que Q(s) tem um nico fator linear (s a)
repetido m = 2 vezes, isto , em Q(s) aparece o fator (s a)m . Neste caso
Q(s) tem a forma
Q(s) = (s a)m (s b1 ) (s bn ),

e ento devemos procurar por constantes A1 , A2 , B1 , . . . , Bn tais que

F (s) =

A1
A2
B1
Bn
+
+
+ +
.
2
s a (s a)
s b1
s bn

Se existem mais termos lineares repetidos devemos incluir termos como

os dois primeiros da igualdade acima.
Como exemplo, decomponha
F (s) =

s
.
(s 1)2

Como o denominador tem fatores lineares repetidos, Q(s) = (s 1)2 , vamos

determinar A e B
A
B
s
=
+
.
2
(s 1)
s 1 (s 1)2

Realizando uma conta simples, obtemos A = B = 1. Logo, temos que

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

Segue que
L1 (F )(s) = t exp(t) + exp(t).

Outro exemplo, decomponha

F (s) =

s2 1
.
(s 2)2 (s + 3)

Terceiro caso: Fatores distintos do segundo grau: A cada fator do

segundo grau irredutvel ax2 + bx + c que aparece uma vez no denominador,
corresponde uma frao parcial da forma
Ax + B
,
ax2 + bx + c

onde A, B e C so constantes a serem determinadas.

KIT -

27

Clculo Diferencial e Integral

Quarto caso: Fatores repetidos de segundo grau: A cada fator do

segundo grau irredutvel ax2 + bx + c que aparece n vezes no denominador,
corresponde uma soma de n fraes parciais da forma
A1 x + B1
A2 x + B2
An x + Bn
+
+

+
,
ax2 + bx + c (ax2 + bx + c)2
(ax2 + bx + c)n

onde Ai , Bi so constantes a serem determinadas.

Na teoria da transformada de Laplace sempre possvel usar nmeros
complexos.
10.

Teorema da Convoluo

Uma questo que surge naturalmente como expressar L1 [F G]. isto que
vamos tentar responder agora.
Dadas funes f e g , representamos a convoluo entre elas por f g e
denimos por
Z
t

(f g)(t) =

f (t u)g(u)du.
0

Note que valem as seguintes propriedades de demonstrao imediata:

(a)f g = g f
(b)f (g + h) = f g + f h
(c)f (kg) R= k(f g), k R
(d)1 f = 0t f (u)du
(e) 1 f 0 = f (t) f (0)du

Teorema 10..1 (Teorema da Convoluo) Sejam f e g contnuas por

partes e de ordem exponencial tais que F (s) = L[f ] e G(s) = L[g]. Ento, vale a seguinte relao
L1 [F G] = f g.

Como exemplo,consideremos F (s) = s12 e G(s) = s21+1 e Y (s) = F (s)G(s).

Vamos determinar y(t) tal que L[y] = Y.
Notemos que L[t] = F e L[sin(t)] = G. Pelo teorema da convoluo,
temos que
1

1
1
2
2
s s +1

y(t) = L
Z t
=
(t u) sin(u)du
0

= (t u) cos(u) sin(u)|t0
= sin(t) + t.

28

Prof. Doherty Andrade

11.

Aplicaes a EDO's

Agora vamos utilizar as propriedades do operador L para obter solues de

algumas EDO's simples.
A- Considere o PVI dado por
y 00 y = 1,
y(0) = 0, y 0 (0) = 1.

Aplicando L a equao obtemos

L[y 00 ] L[y] = L[1].

Usando o Teorema 7. obtemos

1
s2 L[y] 1 L[y] = .
s

Logo,
L[y] =

1
1
1
=
.
s(s 1)
s1 s

Novamente usando o Teorema 7. temos que

L[y] = L[exp(t)] L[1] = L[exp(t) 1],

de onde segue que

y(t) = exp(t) 1.

B- Considere o PVI dado por

y 00 + y 0 2y = 4 exp(t) + 1,
y(0) = 0, y 0 (0) = 0.

Aplicando L dos dois lados da equao e usando as propriedade obtemos

obtemos



L[y] =

s2

s+1
+
+s2

4
1
+
s1 s

(s2

1
+s2

Como s2 + s 2 = (s + 2)(s 1), podemos escrever

s+1
4
1
+
+
.
2
(s + 2)(s 1) (s 1) (s + 2) s(s 1)(s + 2)
Usando fraes parciais, devemos determinar constantes A, B, C e D tais
L[y] =

que

s+1
4
1
A
B
C
D
+
+
= +
+
+
.
2
2
(s + 2)(s 1) (s 1) (s + 2) s(s 1)(s + 2)
s s + 2 (s 1) s 1

KIT -

29

Clculo Diferencial e Integral

Uma conta simples mostra que A = 12 , B =

A Aplicando L1 , obtemos

17
18

,C=

4
3

e D = 59 .

1 17
4
5
y(t) = +
exp(2t) + t exp(t) + exp(t).
2 18
3
9

C- Considere o PVI dado por

y 00 + 4y 0 + 13y = 2t + 3 exp(2t) cos(3t),
y(0) = 0, y 0 (0) = 1.

Aplicando L dos dois lados da equao e usando as propriedade obtemos

L[y] =

s2

2
3(s + 2)
1
+ 2
+ 2 2
.
+ 4s + 13 s (s + 4s + 13) (s + 4s + 13)2

Aplicando fraes parciais e L1 , obtemos

y(t) =

179
8
1
2
8
exp(2t) sin(3t)+
exp(2t) cos(3t)+ t exp(2t) sin(3t)+ t
.
507
169
2
13 169

Exerccio 11..1 Resolva cada um dos PVI abaixo.

1.
2.
3.
4.
5.

y 00 3y 0 + 2y = 0, y(0) = 3, y 0 (0) = 4.
y 00 + y = t, y(0) = 1, y 0 (0) = 3.
y 00 + y 0 y = 4 exp(t), y(0) = 1, y 0 (0) = 0.
2y 00 + 50y = 100 sin(t), y(0) = 0, y 0 (0) = 0.
y 00 + 4y 0 + 8y = 0, y(0) = 2, y 0 (0) = 0.

12.

Mtodos para determinar a transformada

inversa de Laplace

Um dos mtodos mais simples para determinar a transformada inversa de

Laplace usar o mtodo das fraes parciais juntamente com a tabela de
valores da transformada de Laplace. Este foi o mtodo utilizado at aqui.
Outro mtodo muito til o mtodo das sries de potncias negativas.
Se F (s) tem um desenvolvimento em sries de potncias negativas (cuidado!
precisamos de condies adicionais) dado por
F (s) =

a0 a1
an
+ 2 + . . . + n+1 + . . .
s
s
s

ento podemos inverter termo a termo para obter

f (t) = a0 + a1 t + . . . + an tn + . . . .

30

Prof. Doherty Andrade

Existe uma frmula explcita para a transformao inversa de Laplace,

mas ela envolve integrao sobre um contorno no plano complexo, chamado
de contorno de Bromwich.
A ttulo de curiosidade apresentamos a sua expresso aqui:
1
f (t) =
2i

+i

est F (s) ds, t > 0

e F (t) = 0 se t < 0. Esta integral deve ser calculada ao longo de uma reta
s = no plano complexo, onde s = x+iy . O nmero real deve ser escolhido
de modo que s = esteja direita de todas as singularidades.
13.

Aplicao a sistemas de EDO's

Como exemplo, vamos considerar o seguinte sistema de equaes diferenciais

ordinrias.
Resolva o seguinte sistema de EDO's

dx

dt = 2x 3y,
dy
= y 2x,

dt
x(0) = 8, y(0) = 3.

Se L[x] = X e L[y] = Y , ento tomando a transformada de Laplace nas

duas equaes e usando as condies iniciais, temos
sX 8 = 2X 3Y
sY 3 = Y 2X.

Resolvendo o sistema linear, obtemos

X=

5
3
+
,
s+1 s4

Y =

5
2

.
s+1 s4

De onde segue que

x(t) = 5 exp(t) + 3 exp(4t),
y(t) = 5 exp(t) 2 exp(4t).

KIT -

Clculo Diferencial e Integral

31

Referncias

[1] E. Kreyszig, Advanced Engineering Mathematics.John wiley and

Sons, Inc. New York, 1968
[2] M. R.Spiegel, Transformadas de Laplace. McGraw-Hill do Brasil,
1976.

ndice Remissivo

Condies sucientes para L, 19

contrao, 9
convoluaao, 27
espao mtrico, 3
completo, 4
espao normado, 4
mtrica, 3
norma, 4
preliminares, 3
sequncia
Cauchy, 4
convergente, 4
sistemas
edo's, 30
Teorema
comportamento assinttico de
L , 20
convoluo, 27
desigualdade
Cauchy-Schwarz, 3
triangular, 3
Existncia e unicidade para EDO,
13
Lerch, 20
Linearidade de L, 20
Mudana de Escala, 22
Pitgoras, 3
ponto xo de Banach, 10
primeiro deslocamento, 21
Transformada da derivada, 22
Transformada de funes peridicas, 23
Transformada de integrais, 23
32

KIT -

Clculo Diferencial e Integral

33