EDO Resumo1

EQUAES DIFERENCIAIS DE 2 ORDEM:
Conforme a definio vista, uma EDO de 2a ordem uma equao da forma
F ( x, y, y, y) 0
(1)
Esta forma muito geral, e por isso praticamente intratvel. De modo que, nos
restringiremos as EDOs normais de 2a ordem
y f ( x, y, y )
(2)
Com a experincia obtida nas EDOs de 1a ordem, podemos esperar que as de 2a ordem
sejam bem mais difceis de se resolver. Entretanto, existem duas subclasses de EDOs
normais de 2a ordem que podem ser reduzidos a EDOs de 1a ordem:
Caso1: f ( x, y, y ) f ( x, y ) :
Neste caso, a mudana z y reduz (2) a seguinte EDO de 1a ordem
z f ( x, z )
a qual, dependendo da estrutura de f ( x, z ) , pode ser resolvida.

Caso2: f ( x, y, y ) f ( y, y ) :
Neste caso, usando que
dz dz dy
obtm-se que a mudana z y reduz (2) a EDO

dx dy dx
z
dz
dz f ( y, z )
f ( y, z )
dy
dy
z
a qual, novamente dependendo da estrutura de f ( y, z ) / z , pode ser resolvida.

Excetuando esses possveis casos, a teoria que se tem s permite resolver EDOs de 2 a
ordem muito particulares. As EDOs da forma
a(t) y b(t) y c(t) y F (t)
(3)
Paulo Marcelo Dias de Magalhes - UFOP
Pgina 1
Exemplo: A EDO de 2a ordem mais importante , sem dvida, a 2a Lei de Newton para o
movimento y(t) de uma partcula de massa m que se move sob a ao de uma fora F:
d2y
dy
F (t , y , )
2
dt
dt
No caso de vibraes mecnicas, obtm-se que a posio y(t) da massa m satisfaz a EDO
d2y
dy
c ky F (t ) .
2
dt
dt
No caso de pequenas oscilaes de um pndulo, de massa m com uma haste de

comprimento L, obtm-se que o ngulo (t ) que determina o desvio da posio vertical,
satisfaz a EDO
mL cL m F (t ) .
J no caso de um circuito eltrico RLC, a carga Q(t) do capacitor C satisfaz a EDO
d 2Q
dQ 1
R
Q E (t ) .
2
dt C
dt
Se ns observarmos que as principais aplicaes da tecnologia nas ultimas dcadas

envolvem esses trs dispositivos, ento as EDOs dadas por (3) so de longe as mais
importantes!
OBS: Para montarmos um PVI associado a uma EDO do tipo (2) precisaremos de duas
condies iniciais. De fato, independentemente do mtodo de resoluo utilizado
teremos que realizar duas integraes para obtermos y(t). Cada integrao dar origem a
uma constante arbitrria, o que precisamos descobrir a estrutura dessas constantes.
Para isso, usaremos as EDOs Fundamentais de 2a ordem.
d2y
f ( x)
dx 2
(1)
y z
Introduzindo a varivel z y , obtm-se o sistema
z f ( x ) ( 2)
De (1) obtm-se que
y( x) y( x0 )
x0
z( s )ds
(3)
Pgina 2
Por outro lado,

d
d
[( s x ) z( s)] z( s) ( s x ) z ( s) z( s) [( s x ) z( s)] ( x s) z ( s)
ds
ds
Integrando de x 0 at x, usando (1) e (2) e substituindo em (3), obtm-se que

y( x) y( x0 )
[( s x ) z( s )] ( x s ) f ( s )ds
x0
ds
ou seja
y ( x ) y ( x0 ) ( x x0 ) y ( x0 )
x0
( x s) f ( s )ds .
De modo que, a estrutura das constantes de integrao fica evidente e para obtermos a
unicidade de soluo precisamos especificar essas constantes atravs da imposio de
duas condies iniciais:
y ( x0 ) y 0
y ( x0 ) y1 .
Generalizando, obtemos a seguinte estrutura para um PVI associado a uma EDO normal
de 2a ordem
y f ( x, y ), x
PVI :
y( x0 ) y 0
y ( x 0 ) y1
OBS: Em (3) podemos supor que existe um intervalo t aonde a(t ) 0 . Neste
intervalo podemos reduzir (3) a forma
y p(t ) y q(t ) y f (t )
(4)
Definio1: A EDO (3) (ou (4)) chamada EDO linear de 2a ordem, e quando F(t)=0 (ou
f(t)=0) diz-se que a EDO homogneo, caso contrrio dita no-homognea.
Pgina 3
Para as EDOS lineares a teoria de existncia e unicidade bem mais simples. De fato,
tem-se o seguinte resultado
Teorema: (Teorema de Existncia e Unicidade)
Dado o
y p(t ) y q(t ) y f (t ), t
PVI :
y (t 0 ) y0
y (t 0 ) y1
Hiptese:
p(t ), q(t ), f (t ) contnuas em t , t0 ] , [ .
Tese:
Existe uma nica soluo y(t) do PVI definida em todo ponto de ] , [ .
OBS: Este teorema ser extremamente til na construo da soluo geral de (4).
Corolrio: Se f (t ) 0, y 0 y1 0 , ento a nica soluo do PVI acima a soluo

trivial y 0 .
Mudana de Paradigma:
Com o desenvolvimento da lgebra linear surgiu a abordagem operacional. Passou-se
a interpretar uma EDO linear (4) como o resultado da aplicao de uma funo de
funo (um operador) denotado pr L[y], ou seja a EDO (4) passou a ser interpretada
como sendo
L[ y](t ) f (t )
(5)
onde, utilizando a notao introduzida pr G. Bole, tem-se que
L D 2 p(t ) D q(t )
Pgina 4
com D
d
d
, D 2 . De modo que,
dt
dt
L[ y ](t ) ( D 2 p(t ) D q(t )) y(t ) D 2 y p(t ) Dy q(t ) y y p(t ) y q(t ) y .

Da lgebra linear obteve-se o seguinte conceito
Definio 2: Dados dois espaos vetoriais (reais ou complexos) V,W, uma aplicao
T:VW linear se
T ( x y) Tx Ty , x, y V , , R .
De modo que, se ns pudermos encontrar dois espaos vetoriais funcionais reais V e W

tal que L possa operar, uma primeira conseqncia do novo enfoque ser dada pelo
seguinte resultado
Proposio 1: (Princpio da Superposio)
L : V W um operador linear.
Prova: De fato, tem-se que dados y1 , y2 V , ,
L[y1 y 2 ](t ) D 2 (y1 y 2 )(t ) p(t ) D(y1 y 2 )(t ) q(t )(y1 y 2 )(t )
D 2 (y1 (t ) y 2 (t )) p(t ) D(y1 (t ) y 2 (t )) q(t )(y1 (t ) y 2 (t ))
(y1 (t ) y 2 (t )) p(t )(y1 (t ) y 2 (t )) q(t ) y1 (t ) q(t ) y 2 (t )
y1 y 2 p(t ) y1 p(t ) y 2 q(t ) y1 q(t ) y 2
( y1 p ( t ) y 1 q ( t ) y1 ) ( y 2 p ( t ) y 2 q ( t ) y 2 )
L[ y1 ](t ) L[ y 2 ](t )
OBS: Falta apenas escolhermos espaos funcionais vetoriais reais para V e W.

Definio 3: Dado um intervalo I R ,
C 0 ( I ) { f : I R : f contnua em I }
Dado n inteiro positivo,
C n ( I ) { f : I R : f ( n ) C 0 ( I )}
Pgina 5
Exerccio: Prove que C n (I ) um espao vetorial real n 0 .

OBS: Como L um operador diferencial de segunda ordem e como queremos poder
utilizar o T.E.U., os espaos mais gerais que podemos tomar so
V C 2 (] , [) e W C 0 (] , [) .
Objetivo da Mudana de Paradigma:
Resgatar a simplicidade da abordagem algbrica
ay b y a 1b , se a 0 .
Ay b y A 1b , se det A 0.
L[ y ] f y L1 [ f ] , se (?).
E QUAES LINEARES HOMOGNEAS
Iniciaremos com o estudo do ncleo do operador linear L , o que equivale a estudar a EDO
homognea associada a (4)
L[ y ](t ) y p(t ) y q(t ) y 0
(6)
Proposio 2: Se y1 , y2 so solues de (6), ento qualquer combinao linear de y1 e y2 ,

ou seja qualquer funo da forma
c1 y1 c2 y2
(7)
com c1 , c2 R tambm soluo.

Prova: De fato, tem-se (pelo princpio da superposio) que
L[c1 y1 c2 y2 ](t ) c1L[ y1 ](t ) c2 L[ y2 ](t ) 0 0 0.
Pgina 6
OBS: De modo que, com apenas duas solues de (6) obtivemos uma infinidade no
enumervel de solues de (6).
Pergunta 1: Ser que toda soluo de (6) possui a estrutura dada por (7)? Ou seja, ser
que a soluo geral de (6) possui a estrutura (7)?
Para respondermos a essa pergunta utilizaremos um caso particular no qual fcil obter
duas solues. Consideremos a seguinte EDO
y y 0
(8)
fcil ver que y1 (t ) cos t, y2 (t ) sen t so solues de (6) em toda reta. Para provarmos
que a soluo geral de (8) dada por
c1 cos t c 2 sen t
(9)
teremos que utilizar o T. E. U. A idia a seguinte; dada uma soluo arbitrria de (8),
(t ) , construir um PVI cuja nica soluo seja (t ) e, em seguida, provar que existem
constantes c1* , c 2* tais que a particular combinao linear dada por
y * (t ) c1* cos t c2* sen t
(10)
tambm soluo do mesmo PVI. Seja (t ) soluo arbitrria de (8). Tomando t0 R ,

sejam os nmeros (t0 ) y 0 , (t0 ) y1 . . Tem-se que a EDO (8) satisfaz as condies do
T. E. U. de modo que o seguinte
y y 0 , t
PVI :
y (t 0 ) y 0 , y (t 0 ) y1
possui uma nica soluo: (t ) . Por outro lado, tem-se que um representante de (9) ser
soluo nica do PVI se satisfizer as condies iniciais, ou seja, se o seguinte sistema linear
possuir soluo nica
c1 cos t 0 c2 sen t 0 y 0
c1 sen t 0 c2 cos t 0 y1
Entretanto, a matriz dos coeficientes do sistema dada por
cos t0
A
sen t0
sen t0
det A 1 0, t0 R.
cos t0
Pgina 7
De modo que, existem nicos c1* , c2* R soluo do sistema. Portanto, a funo dada pr
(10) tambm soluo do mesmo PVI cuja nica soluo (t ) . Ento, pr unicidade da
soluo obtm-se que y * . Como (t ) totalmente arbitrria, conclui-se que a
soluo geral de (8) dada pr
y(t ) c1 cos t c2 sen t
Este caso particular nos d um roteiro para o caso geral! Antes porm, devemos
responder a seguinte questo
Pergunta 2: Ser que quaisquer duas solues de (6) servem para construirmos a soluo
geral?
Analisando o caso particular, observa-se que o ponto crucial foi det A 0 . Entretanto, a
matriz dos coeficientes foi calculada num ponto arbitrrio t 0 . Com esta observao
podemos obter o seguinte resultado
Teorema: (Estrutura da Soluo geral)

Hipteses:
(H1) y1 (t ), y 2 (t ) solues de (6) em t .
(H2) y1 (t ) y 2 (t ) y1 (t ) y 2 (t ) 0 em t .
Tese: A soluo geral de (6) dada por
y(t ) c1 y1 (t ) c2 y 2 (t ) .
Prova: Adaptao imediata do argumento acima.
OBS: O critrio dado em (H2) demonstrou ser to importante que mereceu um nome
prprio escolhido em homenagem a seu descobridor; Jzef Maria Hon Wronski (17761853).
Definio 4: Dadas duas funes, y1 (t ), y 2 (t ) , diferenciveis em t . Denomina-se
Wronskiano de y1 (t ), y 2 (t ) a seguinte funo
Pgina 8
W :] , [ IR : t W [ y1 , y 2 ](t )
y1 (t )
y1 (t )
y 2 (t )
.
y 2 (t )
Definio 5: Duas solues de (6), y1 (t ), y 2 (t ) ,so ditas formar um conjunto fundamental

para as solues de (6) se s se W [ y1 (t ), y 2 (t )](t ) 0, t ] , [ .
Carter tudo ou nada do Wronskiano:
Teorema: Hipteses:
(H1) p(t),q(t) contnuas em t .
(H2) y1 (t ), y 2 (t ) solues de (6).
Tese: W [ y1 , y 2 ](t ) ou identicamente nulo ou nunca se anula em t .
Prova: A demonstrao se baseia no seguinte resultado
Lema: (Frmula de Abel)
Dadas y1 (t ), y 2 (t ) solues da EDO (6)
y p(t ) y q(t ) y 0 em t .
Tem-se que
W [ y1 , y 2 ](t ) Ce
p ( t ) dt
(1a frmula)
onde C uma constante conveniente.

Prova: Observando que
d
d
W [ y1 , y 2 ](t ) y1 (t ) y 2 (t ) y1 (t ) y 2 (t ) y1 y 2 y1y 2 y1 [ py 2 qy 2 ] y 2 [ py1 qy1 ]
dt
dt
p(t )[ y1 y 2 y1 y 2 ] p(t )W [ y1 , y 2 ](t )
obtm-se que W [ y1 , y 2 ](t ) satisfaz seguinte EDO
d
W [ y1 , y 2 ](t ) p(t )W [ y1 , y 2 ](t ) 0 em t ,
dt
a qual uma EDO linear cuja soluo geral dada por

Pgina 9
p ( t ) dt
W [ y1 , y 2 ](t ) Ce
, t .
Retornando a prova do teorema, tem-se que como a exponencial nunca se anula ento se
C 0 o Wronskiano nunca se anula em t ,caso contrrio ser nulo em t
Exemplo: Por substituio direta pode-se provar que y1 (t ) sen 3 t e y 2 (t ) cos sec 2 t so
solues de
y (tg t ) y 6(cotg 2 t ) y 0 , 0 t / 4.
Alm disso, tem-se que
W [ y1 , y 2 ](t )
sen 3 t
1 / sen 2 t
5 cos t 0 , 0 t / 4.
3 sen 2 t cos t 2 cos t / sen 3 t
Portanto, a soluo geral dada por
y(t ) C1 sen3 t C2 cossec2 t , Ci R

Aplicao da frmula de Abel: obteno de um conjunto fundamental.
Dada uma soluo no-trivial da EDO (6), a frmula de Abel permite obter a soluo
geral. De fato, se y1 0 uma soluo de
y p(t ) y q(t ) y 0 (6)
ento toda soluo y 2 (t ) de (6) deve satisfazer a equao dada pela frmula de Abel
p ( t ) dt
W [ y1 , y 2 ](t ) Ce
, (C 0)
donde
p ( t ) dt
y (t )
C p (t ) dt
y1 (t ) y 2 (t ) y1 (t ) y 2 (t ) Ce
y 2 (t ) 1 y 2 (t )
e
y1 (t )
y1 (t )
ento (t ) e
y ( t )
y11 (t ) dt
d ( Log y1 ( t )
e
p ( t ) dt
1
d
C
( (t ) y 2 (t )) 2
e
y1 (t )
dt
y 1 (t )
donde obtem-se que

Pgina 10
p ( ) d
e
y2 (t ) Cy1 (t )
ds C1 y1 (t ) , C , C1 R .
y 21 ( s)
t
Teorema: Se y1 (t ) uma soluo no-trivial de (6), ento
y 2 (t ) y1 (t )
p ( ) d
y 21 ( s )
ds
uma soluo de (6) em qualquer intervalo aonde y1 (t ) 0 . Alm disso, y 2 (t ) l.i. de
y1 (t ) e, portanto, a soluo geral dada por

y(t ) C1 y1 (t ) C2 y2 (t ) , Ci
Exemplo: (Compatibilidade entre os coeficientes)
Dada a EDO
t 2 y t 3 y 2(1 t 2 ) y 0 , 0 t .
Obtenha a soluo geral. Tem-se que os coeficientes so polinomiais. Portanto, vamos
tentar uma soluo compatvel com os, ou seja polinomial da forma (mais simples
possvel)
y1 (t ) t n , n 0,1,2,...
Tomando n 0 ; obtem-se que
t 2 (0) t 3 (0) 2(1 t 2 )(1) 2(1 t 2 ) 0 , t R

De modo que, y1 1 no soluo da EDO. Tomando n 1; obtem-se que
t 2 (0) t 3 (1) 2(1 t 2 )(t ) 2t t 3 0 t (2 t 2 ) 0 t 0 !?.

Tomando n 2 ; obtem-se que
Pgina 11
t 2 (2) t 3 (2t ) 2(1 t 2 )(t 2 ) 0 , t R

Logo, y1 (t ) t 2 uma soluo no-trivial da EDO. Colocando a EDO na forma que se pode
aplicar a frmula de Abel, o que possvel pois t 0 , ou seja na forma em que se pode
determinar o coeficiente p(t)
y ty 2
(1 t 2 )
y 0 , 0 t ,
t2
obtem-se que
y 2 (t ) t 2
t
2
e
ds t 2 s 4 e s / 2 ds ,
2 2
(s )
soluo l.i. com y1 (t ) t 2 , donde a soluo geral dada por
y(t ) C1t 2 C2t 2 t 4et /2dt , Ci R .

2
OBS: Como o determinante de uma matriz n n diferente de zero se s se as colunas da

matriz formam vetores l.i. no n, somos levados a concluir que se W [ f1 , f 2 ](t ) 0 em
t , ento f1 , f 2 interpretadas como vetores de C 0 (] , [) so l.i. em t .

Entretanto, a recproca falsa, ou seja no se pode deduzir a dependncia linear de um
conjunto de funes a partir do fato do seu Wronskiano se anular em t .
3
Exemplo: As funes x 3 e x so l.i. em C0(), pois

3
3
3
c (1) c 2 1 0
c1 c2 0 .
c1 x 3 c2 x 0, x 1 3
3
c
(
1
)
2
1
Por outro lado, se x 0
W [ x 3 , x ]( x)
3
x3
3x 2
x3
0
3x 2
e se x 0
x3
W [ x , x ]( x) 2
3x
3
x3
0.
3x 2
Pgina 12
Entretanto, se as funes forem solues de uma EDO linear homognea na forma (6)
(coeficiente lder igual a 1), ento a recproca verdadeira.
Teorema: Hipteses:
( H1 ) y1 (t ), y 2 (t ) solues de (6) em t .
( H 2 ) W [ y1 , y 2 ](t 0 ) 0 para algum t 0 ] , [ .
Tese: Uma soluo mltiplo constante da outra.
Prova: Como W [ y1, y2 ](t0 ) 0 ento o sistema
c1 y1 (t0 ) c2 y2 (t0 ) 0
c1 y1 (t0 ) c2 y2 (t0 ) 0
y (t ) c~1 y1 (t ) c~2 y2 (t ) , tempossui uma soluo no trivial c~1 , c~2 , c~1 c~2 0 . Tomando ~
se que ~
y (t0 ) ~
y (t0 ) 0 . Pelo
y uma soluo de (6). Alm disso, por construo ~
corolrio do T. E. U. conclui-se que
c~2
y1 (t ) c~ y 2 (t ) , se
~
1
y (t ) 0, t
c~1
y 2 (t )
y1 (t ) , se
c~2
c~1 0
c~2 0
Definio 6: Duas funes f 1 (t ), f 2 (t ) so linearmente dependentes (l.d.) num intervalo I

se uma um mltiplo constante da outra. Caso contrrio, elas so ditas linearmente
independentes (l.i.) em I.
Corolrio: Duas solues y1 (t ), y 2 (t ) de (6) so l.i. em t se somente se seu

Wronskiano diferente de zero nesse intervalo. De modo que, duas solues formam um
conjunto fundamental para (6) no intervalo t se s se elas so l.i. nesse intervalo.
EQUAES LINEARES HOMOGNEAS COM COEFICIENTES CONSTANTES:
Pgina 13
Dada uma EDO linear homognea de 2a ordem a coeficientes constantes

L[ y] a 2 D 2 y a1 Dy a 0 y 0
(11)
com a i , j sabemos a estrutura de sua soluo geral. Entretanto, no sabemos como

obter um conjunto fundamental de solues! Por outro lado, observando a estrutura da
EDO chega-se a concluso que y , y , y devem ser proporcionais entre si (da mesma
famlia) para que uma combinao linear delas tenha chance de ser identicamente nula.
Aps algumas tentativas chegou-se ao seguinte fato
L[e rt ] a 2 (e rt ) a1 (e rt ) a 0 e rt (a 2 r 2 a1 r a 0 )e rt
Definio 7:
p L (r ) a 2 r 2 a1 r a 0
o polinmio associado ao operador L.
Teorema: (Mtodo de Resoluo)

Dada um a EDO do tipo (11)
1o ) Obtm-se as razes r1 ,r2 de pL .
2o ) A soluo geral ser dada segundo a seguinte tabela
r1 , r2
conj. fundamental
y1 (t ) e r1t
y 2 (t ) e r2t
y1 (t ) e rt
y 2 (t ) te rt
y1 (t ) e t cos t
y 2 (t ) e t sen t
r1 , r2 R, r1 r2
r1 r2 r
r1 i
r2 i
soluo geral
y (t ) c1e r1t c 2 e r2t
y (t ) (c1 c 2 t )e rt
y (t ) e t (c1 cos tt c 2 sen t )
Prova:
10 Caso: r1 , r2 R, r1 r2 : Neste caso, y1 (t ) e r1t , y 2 (t ) e r2t so solues l.i. de (11), uma
vez que
er1t
W [e , e ] r t
r1e 1
r1t
r2t
er2t
(r2 r1 )e( r1 r2 )t 0, t
r2t
r2e
Pgina 14
20 Caso: r1 r2 r : Neste caso, tem-se apenas uma soluo y1 (t ) e rt . Para se obter

uma segunda soluo l.i. com y1 aplicamos a frmula de Abel.
y 2 (t ) y1 (t )
p ( x ) dx
ds e rt
y1 ( s)
( 2 r ) dx
e 2 rs
ds e rt
e 2 rs
ds te rt .
2 rs
e
30 Caso: r1 i , r2 i , 0 : Neste caso, 1 (t ) e r1t , 2 (t ) e r2t continuam

sendo solues da EDO, entretanto so solues a valores complexos ! Ser necessrio
obter um modo de se extrair de 1 e 2 duas solues l.i. a valores reais. Para isso,
utilizaremos a famosa frmula de Euler :
ei cos i sen ,
. (E)
Obteno de (E): supondo que para expoentes complexos tambm vale

e ( i )t e t e it
ento basta obter o valor de e it . Por outro lado, para x , tem-se que
ex
n 1
xn
x2
xn
1 x
...
...
n!
2!
n!
procedendo formalmente e substituindo x por i , obtm-se que
e i 1 (i )
(i ) 2
(i ) n
...
...
2!
n!
onde, por Gauss,

i 2 1
De modo que, i 3 i , i 4 i 3i i 2 1 , i 5 i , i 6 i 2 1 , i 7 i 6 i i ,...

donde
(1) k ,
se n 2k
i
k
(1) i , se n 2k 1
n
Portanto,
Pgina 15
2k
2 4
3 5
2 k 1
k
k
e 1
... (1)
... i
... (1)
...
2! 4!
(2k )!
3! 5!
(2k 1)!
cos i sen , R.
i
Ento, 1 (t ) e t (cos t i sen t ) e 2 (t ) e t (cos t i sen t ) so duas solues de

(11) a valores complexos.
Obteno de duas solues reais a partir das solues complexas.
Lema: (Descomplexificao1)
Hiptese: (t ) u(t ) iv (t ) uma soluo complexa de (11).
Tese: y1 (t ) u(t ), y 2 (t ) v(t ) so duas solues reais de (11), isto
L[ y1 ] 0 e L[ y 2 ] 0.
Prova: Tem-se que
0 L[ ](t ) L[u iv ](t ) L[u](t ) iL[v](t )
Por outro lado, 0 0 i0 e dois nmeros complexos so iguais se s se suas respectivas

partes reais e imaginrias so iguais.
De modo que, de 1 (t ) podemos obter duas solues reais
y1 (t ) e t cos t e y 2 (t ) e t sen t .
Como
W [ y1 , y2 ](t ) e2t 0, t R
ento y1 (t ), y 2 (t ) formam um conjunto fundamental para as solues de (11).

OBS: Aparentemente, 2 (t ) daria origem a outro par de solues reais. Entretanto, temse que
~
y1 (t ) e t cos t y1 (t )
2 (t ) e (cos t i sen t ) ~
t
y 2 (t ) e sen y 2 (t )
t
y 2 (t ) l.d. com y 2 (t ) .
ou seja ~
Pgina 16
E QUAES LINEARES NO HOMOGNEAS
Consideremos agora o problema de obter a soluo geral da EDO linear no homognea

L[ y] y p(t ) y q(t ) y f (t ) (LNH)
onde p(t ), q(t ), f (t ) so contnuas em t . Um importante indcio dado pela

estrutura da soluo geral da EDO
y 2ty t .
A soluo geral dada por

y Ce t
2
1
2
Tem-se que a soluo a soma de dois termos: o primeiro termo a soluo geral da
homognea associada enquanto que o segundo termo uma soluo particular, , da
EDO no homognea.
Lema: A diferena de duas solues quaisquer de (LNH) uma soluo da homognea
associada.
Prova: Se 1 , 2 so solues de (LNH) ento
L[ 1 2 ] L[ 1 ] L[ 2 ] f (t ) f (t ) 0
Teorema: (Estrutura da Soluo Geral)
Hipteses:
(H1) y1 (t ), y 2 (t ) solues l.i. da homognea associada
L[ y] y p(t ) y q(t ) y 0 .
(H2) (t ) qualquer soluo particular de (LNH).

Tese: A soluo geral de (LNH) possui a seguinte estrutura
Pgina 17
y(t ) y h (t ) y p (t )
onde y h (t ) c1 y1 (t ) c2 y 2 (t ) a soluo geral da homognea associada e y p (t ) (t )

uma soluo particular.
Prova: Seja y (t ) uma soluo qualquer de (LNH). Pelo lema acima, (t ) y(t ) (t )
uma soluo da homognea associada. Ento, existem constantes c1 , c2 R , tais que
(t ) c1 y1 (t ) c2 y2 (t ) y(t ) (t ) (t ) c1 y1 (t ) c2 y2 (t ) (t ) .
Exemplo: Obter a soluo geral da EDO

y y t .
Tem-se que um conjunto fundamental dado pr { y1 (t ) cos t , y 2 (t ) sen t}, donde a

soluo geral da homognea associada dada pr
y h (t ) c1 cos t c2 sen t .
Pr outro lado, tem-se que y p (t ) t uma soluo particular para a EDO no
homognea. Logo, a soluo geral da EDO no homognea dada pr
y(t ) c1 cos t c2 sen t t .
M TODO DA V ARIAO DOS P ARMETROS :
Objetivo: dada uma EDO (LNH) obter uma soluo particular y p (t ) atravs da inverso
do operador L.
y p (t ) L1[ f ](t ).
Pgina 18
Idia: obter y p (t ) a partir de uma deformao diferencivel da soluo geral da

homognea associada. Para isso sups-se que existem funes c1 (t ), c2 (t ) C 2 (] , [) tais
que
y p (t ) c1 (t ) y1 (t ) c2 (t ) y 2 (t ) .
(12)
Aplicando L a (12), obtm-se que
L[ y p ](t ) D 2 (c1 y1 c2 y 2 ) p(t ) D(c1 y1 c2 y 2 ) q(t )(c1 y1 c2 y 2 )

D(c1 y1 c1 y1 c2 y 2 c2 y 2 ) p(t )(c1 y1 c1 y1 c2 y 2 c2 y 2 ) q(t )(c1 y1 c2 y 2 )
Hiptese simplificadora: c1 y1 c2 y 2 0 , t .
Com isso obtm-se que
L[ y p ](t ) D(c 1 y 1 c 2 y 2 ) p(t )(c 1 y 1 c 2 y 2 ) q(t )(c 1 y 1 c 2 y 2 )

c 1 y 1 c 2 y 2 c 1 ( y 1 p(t ) y 1 q(t ) y 1 ) c 2 ( y 2 p(t ) y 2 q(t ) y 2 )
Ou seja
L[ y p ](t ) c1 y1 c2 y 2
Impondo que y p (t ) seja soluo de (LNH), obtm-se o seguinte sistema
c1 (t ) y1 (t ) c2 (t ) y 2 (t ) 0
c1 (t ) y1 (t ) c 2 y 2 (t ) f (t )
em t .
cuja matriz dos coeficientes exatamente W [ y1 , y 2 ](t ) , o qual por hiptese no nulo
em t . De modo que, o sistema possvel e determinado em t . Logo,
existe uma soluo (c1 (t ), c2 (t )) dada por
c1 (t )
c 2 (t )
0
f (t )
y 2 (t )
y 2 (t )
W [ y1 , y 2 ](t )
y1 (t )
y1
0
f (t )
W [ y1 , y 2 ](t )
f (t ) y 2 (t )
f (t ) y 2 (t )
c1 (t ) C1
dt
W [ y1 , y 2 ](t )
W [ y1 , y 2 ](t )
f (t ) y1 (t )
f (t ) y1 (t )
c 2 (t ) C 2
dt
W [ y1 , y 2 ](t )
W [ y1 , y 2 ](t )
desprezando as constantes, para evitar redundncias, obtem-se que

Pgina 19
t f ( s) y 2 ( s)
t f ( s) y1 ( s)
y p (t )
ds y1 (t )
ds y 2 (t )
W [ y1 , y 2 ](s)
W [ y1 , y 2 ]( s)
ou seja
y p (t )
y1 (s) y 2 (t ) y1 (t ) y 2 (s) f (s)ds

W [ y1 , y 2 ]( s )
G ( s, t ) f ( s)ds
L1 [ f ](t ).
OBS: A construo de y p foi obtida atravs da inverso do operador diferencial L, a qual

produziu um operador integral L1 . Este operador foi um dos primeiros exemplos de
operador integral nuclear, cujo ncleo G( s, t ) passou a ser chamado a funo de Green
do operador L.
Exemplo: Resolva o seguinte PVI
y y tg t , / 2 t / 2
y (0) 1 , y (0) 1
Homognea Associada:
y y 0 Soluo Geral: y h (t ) C1 cos t C2 sen t
y1 (t ) cos t , y 2 (t ) sen t W [ y1 , y2 ](t ) 1 , t ] / 2, / 2[ .

Soluo Particular: como o coeficiente lder um, ento f (t ) tg t e
G ( s, t )
y1 ( s) y 2 (t ) y1 (t ) y 2 ( s)
cos s(sen t ) cos t (sen s) sen(t s)
W [ y1 , y 2 ](s)
Logo,
t
y p (t ) L1 [ f ](t ) G ( s, t ) f ( s)ds sen(t s) tg s ds sen t sen sds cos t
sen 2 s
ds
cos s
t
t (1 cos 2 s)
sen t cos t cos t
ds sen t cos t cos t sec sds cos sds
cos s
sen t cos t cos t ln sec t tg t sen t cos t ln sec t tg t .
De modo que, a soluo geral da EDO no homognea

Pgina 20
y(t ) C1 cos t C2 sen t cos t ln sec t tg t .

Impondo as condies iniciais, obtem-se que a soluo do PVI dada por
y(t ) cos t 2 sen t cos t ln(sec t tgt ).
Exemplo: Obtenha uma soluo particular da seguinte EDO
d 2 y dy
L[ y ](t ) 2
y t2 .
dt
dt
Homognea Associada:
r 1 / 2 i 3 / 2
y y y 0 p L (r ) r 2 r 1 0 1
r2 1 / 2 i 3 / 2
y (t ) e t / 2 cos 3t / 2
3 t
conjunto fundamental: 1
W [ y1 , y 2 ](t )
e .
t / 2
2
y
(
t
)
e
sen
3
t
/
2
2
Soluo Particular: como o coeficiente lder um, ento f (t ) t 2 donde

G ( s, t )
y1 ( s) y 2 (t ) y1 (t ) y 2 ( s) (e s / 2 cos 3s / 2)(e t / 2 sen 3t / 2) (e t / 2 cos 3t / 2)(e s / 2 sen 3s / 2)
W [ y1 , y 2 ]( s)
3 s
e
2
Logo,
t
y p (t ) L1[ f ](t ) G( s, t ) f ( s)ds
t
t
e t / 2 sen 3t / 2 s 2 e s / 2 cos 3sds cos 3t / 2 s 2 e s / 2 sen 3sds
Estas integraes so extremamente difceis de calcular. De modo que, o mtodo da

variao dos parmetros nem sempre produz resultados prticos! Isso, sob o ponto de
vista das aplicaes uma sria deficincia.
O M TODO DA T ENTATIVA C RITERIOSA OU M TODO DOS C OEFICIENTES I NDETERMINADOS :
Este mtodo uma conseqncia da compatibilidade entre os coeficientes de uma EDO

linear e suas solues. O mtodo dos coeficientes indeterminados fornece uma alternativa
Pgina 21
simples para construo de uma soluo particular de uma EDO no-homognea a

coeficientes constantes
L[ y](t ) ay by cy f (t ) (13)
para f(t) pertencente a uma certa famlia de funes (quase-polinmios).

Caso 1: f (t ) a0 a1t ... an t n
Neste caso, yp tem que ser uma funo tal que ay p , by p , cy p somado seja um
polinmio de grau n. De modo que, tem-se que ter
y p (t ) A0 A1t ... An t n (14)

Aplicando L obtm-se que
L[ y p ](t ) a( A0 A1t ... An t n ) b( A0 A1t ... An t n ) c( A0 A1t ... An t n )

a( A1 2 A2 t ... nAn t n 1 ) b( A1 2 A2 t ... nAn t n 1 ) c( A0 A1t ... An t n )
a(2 A2 6 A3t ... n(n 1) An t n 2 ) b( A1 2 A2 t ... nAn t n 1 ) c( A0 A1t ... An t n )
cAn t n (cAn 1 nbAn )t n 1 (cAn 2 (n 1)bAn 1 n(n 1)aAn )t n 2 ... (cA0 bA1 2aA2 )
Igualando (14), obtm-se o seguinte sistema
cAn
nbA cA
n
n 1
n(n 1)aAn (n 1)bAn 1 cAn 2
... ... ...
2aA2 bA1 cA0
Se c 0 An
an
a n 1
an2
...
a0
an
a
1
1
An1 (a n1 nb n ) ... A0 (a0 bA1 2aA2 ).
c
c
c
c
Se c 0 L[ y p ](t ) ay p by p um polinmio de grau n-1 enquanto que f(t) de grau

n. Para podermos igualar precisamos tornar L[ y p ](t ) um polinmio de grau n. Portanto
devemos tomar yp um polinmio de grau n. A maneira mais simples (sem aumentar o n0
de coeficientes e portanto de equaes) de fazer isso tomar
y p (t ) t ( A0 A1t ... An t n )
(15).
Aplicando L determinamos An , An1 ,..., A0 , caso se tenha b 0 , atravs da equao

Pgina 22
ay p by p a0 a1t ... an t n .
Se b 0 L[ y p ](t ) ay p e basta integrar duas vezes para se obter
y p (t )
1
t2
t3
t n2
(a0 a1
... a n
).
a
2
3.2
(n 2)(n 1)
Resumo:
A0 A1t ... An t n
, se c 0
n
y p (t ) t ( A0 A1t ... An t ) , se c 0, b 0
t 2 ( A A t ... A t n ), se c b 0
0
1
n
Caso 2:
f (t ) (a0 a1t ... an t n )et
Neste caso, fazemos a mudana
y p (t ) et u(t )
para reduzirmos ao caso 1. Tem-se que
y p et (u u) e y p et (u 2u 2 u) .
De modo que,
L[ y p ](t ) aet (u 2u 2 u ) bet (u u ) ce t u
et au (2a b)u (a 2 b c)u
igualando a f(t) obtm-se que y p (t ) et u(t ) soluo se s se

au (2a b)u (a 2 b c)u a0 a1t ... an t n . (16)
Resumo:
Pgina 23
( A0 A1t ... An t n )et ,

se p L ( ) a 2 b c 0
y p (t ) t ( A0 A1t ... An t n )et , se p L ( ) 0, mas 2a b 0.(raiz simples)

t 2 ( A A t ... A t n )et , se p ( ) 0 e 2a b 0.(raiz dupla)
0
1
n
L
Caso 3:
cos t
f (t ) ( a0 a1t ... a n t n )e t .
sent
Neste caso reduzimos ao caso 2 utilizando o seguinte resultado
Lema: (Descomplexificao 2)
Hiptese: (t ) u(t ) iv(t ) soluo complexa da EDO
L[ y](t ) f (t ) ig (t )
Tese: Tem-se que

L[u](t ) f (t )
L[v](t ) g(t ) .
Prova: Pelo princpio da superposio,

f (t ) ig (t ) L[u iv](t ) L[u](t ) iL[v](t ) L[u](t ) f (t ) e L[v](t ) g(t ) .
Complexificao: seja p (t ) u(t ) iv(t ) soluo da EDO complexa
L[ y](t ) (a0 a1t ... an t n )e( i )t

Pelo Lema, tem-se que
n
u(t ) Re( p (t )) soluo de L[ y ]( t ) ( a k t k )e t cos t

k 0
n
v(t ) Im( p (t )) soluo de L[ y ]( t ) ( a k t k )e t sent .

k 0
OBS: Generalizao: dada a EDO
Pgina 24
L[ y ]( t )
pk (t )e t , k k i k .
k
k 1
L[ k ]( t ) p k (t )e k t , k 1,..., m p (t )
Se
k (t ) , onde k soluo
k 1
particular da EDO complexa
L[ y](t ) pk (t )ek t , k 1,..., m .

Ento se tem que
u k (t ) Re( k ) soluo de L[ y ]( t ) p k (t )e k t cos k t

vk (t ) Im( k ) soluo de L[ y ]( t ) p k (t )e k t sen k t
Exemplo: Retornemos a obteno da soluo particular da EDO
L[ y](t ) y y y t 2 .
Como f (t ) t 2 estamos no caso 1. De modo que, tomaremos
y (t ) A 2A2t
y p (t ) A0 A1t A2t 2 p 1
y p (t ) 2A2
donde
L[ y p ]( t ) (2A2 ) ( A1 2A2t ) ( A0 A1t A2t 2 ) ( A0 A1 2A2 ) ( A1 2A2 )t A2t 2
logo,
A2 1
L[ y ]( t ) t 2
A1 2A2 0 A0 0, A1 2, A2 1
A A 2A 0
1
2
0
Portanto,
Pgina 25
y p (t ) t 2 2t .
y 4y 4y (1 t ... t 27 )e2t .
Tem-se que
p L (r ) r 2 4r 4 (r 2)2 0 r1 r2 2
Homognea Associada: Conjunto fundamental
y1 (t ) e2t , y2(t ) te 2t .
Soluo Particular: Como r1 r2 2 , estamos no caso 2, com
p L ( ) 0 e 2a b 0
ou seja raiz dupla de p L (r ) . Logo,
y p (t ) t 2( A0 A1t ... A28t 27 )e2t
Entretanto, mais simples fazermos a mudana

y p (t ) e2t u(t )
obtermos que
u 1 t ... t 27
integrarmos duas vezes e obter
y p (t ) e2t ( 1t.2 2t.3 ... 28t .29 ) .

2
29
Soluo Geral:
y(t ) C1e2t C2te 2t e2t ( t2 ... 28t .29 ) .

2
29
Exemplo: Obter uma soluo particular da EDO

Pgina 26
L[ y](t ) y 3y 2y (1 t )e3t .
Tem-se que
p L (r ) r 2 3r 2 0 r1 1, r2 2
Logo, 3 no raiz de p L . Logo,
y p (t ) ( A0 A1t )e
3t
3t
3t
y p (t ) 3e A1 3e (3A0 3A1t )

3t
3t
y p (t ) 6 A1e e (9 A0 9 A1t )
HL
E3 t A1 + 3 E3 t A0 + t A1
Substituindo obtm-se que
A0 14
2A1 1
L[ y p ]( t ) e [(2A0 3A1 ) 2A1t ] (2A0 3A1 ) 2A1t 1 t
A1 12
2A0 3A1 1
3t
De modo que,
y p (t ) ( 14 2t )e3t .
L[ y](t ) y 4y sen2t .
Agora estamos no caso3 com
f (t ) (a0 ... ant n )et sen t , a0 1, ak 0, k 1,..., n, 0, 2

Como
r 2i
p L (r ) r 2 4 0 1
p L ( ) 0
r2 2i
sendo que i 2i evidentemente raiz simples.Logo, por causa do seno
Pgina 27
y p (t ) Im( (t ))
(t ) A0 (1 2it )e2it
onde (t ) A0te 2it
2it
(t ) A0 (4i 4t )e
Complexificao: reduo ao caso2
L[ y]( t ) e2it
Logo, soluo se s se
e2it L[ ](t ) 4iA0e2it A0 1 / 4i i / 4

De modo que,
(t ) 4i te 2it
Descomplexificao:
y p (t ) Im( ) Im[ 4i t(cos2t i sen2t )] Im[4t sen2t i 4t cos2t ] 4t cos2t .
L[ y](t ) y 2y y tet cos t .

Tem-se que
tet cos t Re[ te(1i )t ]

Complexificao:
L[ y](t ) te (1 i )t
onde 1 i no raiz de p L (r ) . De modo que,

Pgina 28

A1e (1 i )t (1 i )e (1 i )t ( A0 A1t )
(t ) ( A0 A1t )e (1 i )t
(1 i )t
A1 2ie (1 i )t ( A0 A1 )
2(1 i )e
Substituindo obtm-se
te (1 i )t L[ ]( t ) (2 i )e (1 i )t [(2 i ) A0 2A1 (2 i ) A1t ] (2 i )2 A0 2(2 i ) A1

4 22 i
(2 i )2A 1
A0 2 3 125
125
(2 i )
1
(2 i ) A1t t
3
1
4
A1
25 25 i
(2 i ) A0 2A1 0
(2 i )2
2
De modo que,
4 22 i ) ( 3 4 i )t ]e (1 i )t
(t ) [( 125
125
25 25
Descomplexificao:
4 22 i ) ( 3 4 i )t ]e (1 i )t ]
y p (t ) Re[[( 125
125
25 25
4 22 i ) ( 3 4 i )t ][ e t (cos t i sent ]]
Re[[( 125
125
25 25
4 22 i ) ( 3 4 i )t ] cos t i[( 4 22 i ) ( 3 4 i )t ] sent ]
e t Re[[( 125
125
25 25
125 125
25 25
4 3 t ) cos t ( 4 t 22 ) sent ] i[( 22 4 t ) cos t ( 3 t 4 ) sent ]
e t Re[[( 125
25
25
125
125 25
25
125
4 3 t ) cos t ( 4 t 22 ) sent ]
e t [( 125
25
25
125
E QUAES DIFERENCIAIS LINEARES DE O RDEM S UPERIOR
Definio: Uma EDO do tipo
Pgina 29
L[ y](t ) an (t ) y ( n) ... a1 (t ) y a0 (t ) y f (t ) , t (LNHn)

onde an (t ) 0 em t , denominada equao linear de n-sima ordem. Quando
f 0 a EDO dita homognea (LHn).
Analogamente s EDO s de 2a ordem tem-se a seguinte estrutura para soluo geral
Teorema: (Estrutura da Soluo Geral)

Hipteses:
(H1) y1 (t ),..., y n (t ) solues de (LHn) em t
(H2) W [ y1,..., y n ](t ) 0 em t
Tese: A soluo geral de (LHn) dada por
y h (t ) C1 y1 (t ) ... Cn y n (t )
Obteno do Conjunto Fundamental para EDO s a Coeficientes Constantes:
Tem-se que
L p L (D)
onde D
d
dt
e p L ( x)
ak x k . De modo que,
k 0
L[e rt ](t ) p L (r )e rt 0 r raiz de p L ( x)
Logo, se p L (x) possui n razes distintas, ento a soluo geral ser dada por
y h (t ) C1e r1t ... Cn e rnt .

n
OBS: Usou-se que W [e r1t ,..., e rnt ]( t ) ( 1) n ( ri r j )e ( r1 ... rn )t

i j
Pgina 30
rt
Caso r j j i j , j 0 , ento j (t ) e j uma soluo complexa e
u j (t ) Re[ j ] e
jt
cos j t e v j (t ) Im[ j ] e
jt
sen j t
so solues reais associadas a r j . Finalmente, se r j for uma raiz de multiplicidade m,

ento
p L ( x) ( x r j ) m q( x)
onde q( r j ) 0 . Neste caso, tem-se que e j , te j , t 2e j ,..., t m 1e j so m solues

rt
rt
rt
rt
linearmente independentes. De fato, tem-se que

rt
L[e j ]( t ) p L ( r )e
Usando o fato que
rt
rj t
(r r j ) m q(r )e
rj t
rt

( e ) ( e rt ) obtm-se que
r t
t r
L[t k e j ]( t ) L[
k
r
e rt
r rj
k
r
L[e rt ]
r rj
k
r
( r r j ) m q( r )e rt
r rj
para 1 k m .
Resumo: Se
m
p L (r ) a (r r j )
j 1
mj
[r 2 2k r (k 2 k 2 )]l
k 1
onde
m = no de razes reais rj, l = no de razes complexas rk
mj = multiplicidade de rj , lk = multiplicidade de rk = k i k
m
m j
j 1
lk grau( p L ) dim[N ( L)]
k 1
Tem-se que os seguintes conjuntos de solues l.i.
Pgina 31
rj t
rt
, te j ,..., t
m j 1 r j t
N ( D r )
mj
{ek t cos k t, ek t sen k t, te k t cos k t, te k t sen k t,..., t lk 1ek t cos k t,

t lk 1ek t sen k t } N [ D2 2k D (2k k2 )]lk
para 1 j m,1 k l . com essas funes que se constri a soluo geral de

qualquer EDO Linear Homognea a coeficientes constantes. Essas funes constituem a base do Clculo Operacional criado por Heaviside.
y (4) 2y 2y 2y y 0 .
Utilizando o algoritmo de Briot-Rufini obtm-se que
p L (r ) (r 1)(r 3 r 2 r 1) (r 1)2(r 2 1)
De modo que, as razes so r1 1 ,com multiplicidade 2 e r2 i , r3 i , ambas com
multiplicidade 1 e tem-se o seguinte conjunto fundamental
r1 y1 (t ) e t , y2 (t ) te t N ( D I )2
r2 y3 (t ) cos t, y4 (t ) sent N ( D 2 I )
uma vez que so solues e
W [ y1, y2, y3, y4 ](t ) 2e2t (2 sen2t ) 0, t

Portanto, a soluo geral dada por
y h (t ) (c1 c2t )e t c3 cos t c4 sent
d7y
dt 7
d5y
dt 5
d3y
dt 3
0.
Pgina 32
Tem-se que
p L (r ) r 3 (r 4 2r 2 1) r 3 [( r 1)(r 1)]2
Razes e respectivas solues l.i. associadas:
r1 0 (multiplic idade 3 ) { y1 (t ) 1, y2 (t ) t, y3 (t ) t 2 }
r2 1 (multiplic idade 2 ) { y4 (t ) e t , y5 (t ) te t }
r3 1(multiplic idade 2 ) {y 6 (t ) e t , y7 (t ) te t }
Soluo Geral:
y h (t ) c1 c2t c3t 2 (c4 c5t )e t (c6 c7t )e t .

d4y
dt 4
y 0.
Tem-se que
p L (r ) r 4 1
Como
1 ei e3i e5i e7i

Ento as razes so dadas por
r1 ei / 4 cos 4 i sen 4
1
2
1
2
r2 e3i / 4 cos 34 i sen 34
1
2
1
2
r3 e5i / 4 cos 54 i sen 54
1
2
1
2
r4 e7i / 4 cos 74 i sen 74
1
2
1
2
Portanto so distintas (multiplicidade 1) sendo que r3 e r4 so conjugadas de r1 e r2

respectivamente. De modo que, obtm-se o seguinte conjunto fundamental real
Pgina 33
{ y1 (t ) Re(e r1t ) e t /
cos
t
2
, y2 (t ) Im(e r1t ) e t /
sen
t
2
y 3 (t ) Re(e r2t ) e t /
cos
t
2
, y4 (t ) Im(e r2t ) e t /
sen
t }
2
Soluo Geral:
y h (t ) e t /
(c1 cos
t
2
c2 sen
t ) e t / 2 (c cos t
3
2
2
c4 sen
t ).
2
Pgina 34

EDO Resumo1

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

EDO Resumo1

Hochgeladen von

Copyright:

Verfügbare Formate

EQUAES DIFERENCIAIS DE 2 ORDEM:

Conforme a definio vista, uma EDO de 2a ordem uma equao da forma

a qual, dependendo da estrutura de f ( x, z ) , pode ser resolvida.

obtm-se que a mudana z y reduz (2) a EDO

a qual, novamente dependendo da estrutura de f ( y, z ) / z , pode ser resolvida.

No caso de pequenas oscilaes de um pndulo, de massa m com uma haste de

J no caso de um circuito eltrico RLC, a carga Q(t) do capacitor C satisfaz a EDO

Se ns observarmos que as principais aplicaes da tecnologia nas ultimas dcadas

Por outro lado,

Integrando de x 0 at x, usando (1) e (2) e substituindo em (3), obtm-se que

Corolrio: Se f (t ) 0, y 0 y1 0 , ento a nica soluo do PVI acima a soluo

L[ y ](t ) ( D 2 p(t ) D q(t )) y(t ) D 2 y p(t ) Dy q(t ) y y p(t ) y q(t ) y .

De modo que, se ns pudermos encontrar dois espaos vetoriais funcionais reais V e W

Prova: De fato, tem-se que dados y1 , y2 V , ,

y1 y 2 p(t ) y1 p(t ) y 2 q(t ) y1 q(t ) y 2

OBS: Falta apenas escolhermos espaos funcionais vetoriais reais para V e W.

Exerccio: Prove que C n (I ) um espao vetorial real n 0 .

E QUAES LINEARES HOMOGNEAS

Proposio 2: Se y1 , y2 so solues de (6), ento qualquer combinao linear de y1 e y2 ,

com c1 , c2 R tambm soluo.

L[c1 y1 c2 y2 ](t ) c1L[ y1 ](t ) c2 L[ y2 ](t ) 0 0 0.

Paulo Marcelo Dias de Magalhes - UFOP

y * (t ) c1* cos t c2* sen t

tambm soluo do mesmo PVI. Seja (t ) soluo arbitrria de (8). Tomando t0 R ,

Teorema: (Estrutura da Soluo geral)

Paulo Marcelo Dias de Magalhes - UFOP

Definio 5: Duas solues de (6), y1 (t ), y 2 (t ) ,so ditas formar um conjunto fundamental

onde C uma constante conveniente.

a qual uma EDO linear cuja soluo geral dada por

Portanto, a soluo geral dada por

y(t ) C1 sen3 t C2 cossec2 t , Ci R

donde obtem-se que

Teorema: Se y1 (t ) uma soluo no-trivial de (6), ento

uma soluo de (6) em qualquer intervalo aonde y1 (t ) 0 . Alm disso, y 2 (t ) l.i. de

y1 (t ) e, portanto, a soluo geral dada por

t 2 (0) t 3 (0) 2(1 t 2 )(1) 2(1 t 2 ) 0 , t R

t 2 (0) t 3 (1) 2(1 t 2 )(t ) 2t t 3 0 t (2 t 2 ) 0 t 0 !?.

t 2 (2) t 3 (2t ) 2(1 t 2 )(t 2 ) 0 , t R

soluo l.i. com y1 (t ) t 2 , donde a soluo geral dada por

y(t ) C1t 2 C2t 2 t 4et /2dt , Ci R .

OBS: Como o determinante de uma matriz n n diferente de zero se s se as colunas da

t , ento f1 , f 2 interpretadas como vetores de C 0 (] , [) so l.i. em t .

Exemplo: As funes x 3 e x so l.i. em C0(), pois

Por outro lado, se x 0

Paulo Marcelo Dias de Magalhes - UFOP

Definio 6: Duas funes f 1 (t ), f 2 (t ) so linearmente dependentes (l.d.) num intervalo I

Corolrio: Duas solues y1 (t ), y 2 (t ) de (6) so l.i. em t se somente se seu

Paulo Marcelo Dias de Magalhes - UFOP

Dada uma EDO linear homognea de 2a ordem a coeficientes constantes

com a i , j sabemos a estrutura de sua soluo geral. Entretanto, no sabemos como

o polinmio associado ao operador L.

Teorema: (Mtodo de Resoluo)

Paulo Marcelo Dias de Magalhes - UFOP

20 Caso: r1 r2 r : Neste caso, tem-se apenas uma soluo y1 (t ) e rt . Para se obter

30 Caso: r1 i , r2 i , 0 : Neste caso, 1 (t ) e r1t , 2 (t ) e r2t continuam

Obteno de (E): supondo que para expoentes complexos tambm vale

procedendo formalmente e substituindo x por i , obtm-se que

onde, por Gauss,

De modo que, i 3 i , i 4 i 3i i 2 1 , i 5 i , i 6 i 2 1 , i 7 i 6 i i ,...

Paulo Marcelo Dias de Magalhes - UFOP

Ento, 1 (t ) e t (cos t i sen t ) e 2 (t ) e t (cos t i sen t ) so duas solues de

Por outro lado, 0 0 i0 e dois nmeros complexos so iguais se s se suas respectivas

ento y1 (t ), y 2 (t ) formam um conjunto fundamental para as solues de (11).

E QUAES LINEARES NO HOMOGNEAS