Você está na página 1de 34

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 ) :

dz dz dy
Neste caso, usando que obtm-se que a mudana z y reduz (2) a EDO
dx dy dx

dz dz f ( y, z )
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
m 2
F (t , y , )
dt dt

No caso de vibraes mecnicas, obtm-se que a posio y(t) da massa m satisfaz a EDO

d2y dy
m 2
c ky F (t ) .
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
L 2
R Q E (t ) .
dt dt C

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

y z (1)
Introduzindo a varivel z y , obtm-se o sistema
z f ( x ) ( 2)

De (1) obtm-se que


x
y( x) y( x0 ) z( s )ds (3)
x0

Paulo Marcelo Dias de Magalhes - UFOP 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

d

x
y( x) y( x0 ) [( s x ) z( s )] ( x s ) f ( s )ds
x0
ds

ou seja


x
y ( x ) y ( x0 ) ( x x0 ) y ( x0 ) ( x s) f ( s )ds .
x0

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 e 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.

Paulo Marcelo Dias de Magalhes - UFOP 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 )

Paulo Marcelo Dias de Magalhes - UFOP Pgina 4


d d
com 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 )}

Paulo Marcelo Dias de Magalhes - UFOP 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.

Paulo Marcelo Dias de Magalhes - UFOP 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 sen t0
A det A 1 0, t0 R.
sen t0 cos t0

Paulo Marcelo Dias de Magalhes - UFOP 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 (1776-
1853).

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

Paulo Marcelo Dias de Magalhes - UFOP Pgina 8


y1 (t ) y 2 (t )
W :] , [ IR : t W [ y1 , y 2 ](t ) .
y1 (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

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 ]


d d
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

Paulo Marcelo Dias de Magalhes - UFOP Pgina 9


W [ y1 , y 2 ](t ) Ce
p ( t ) dt
, 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

sen 3 t 1 / sen 2 t
W [ y1 , y 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

W [ y1 , y 2 ](t ) Ce
p ( t ) dt
, (C 0)

donde

y (t )
y1 (t ) y 2 (t ) y1 (t ) y 2 (t ) Ce
p ( t ) dt C p (t ) dt
y 2 (t ) 1 y 2 (t ) e
y1 (t ) y1 (t )

y ( t )
y11 (t ) dt
e e
d ( Log y1 ( t ) 1 d C p ( t ) dt
ento (t ) e ( (t ) y 2 (t )) 2
y1 (t ) dt y 1 (t )

donde obtem-se que

Paulo Marcelo Dias de Magalhes - UFOP Pgina 10


s

e
p ( ) d
t
y2 (t ) Cy1 (t ) ds C1 y1 (t ) , C , C1 R .
y 21 ( s)

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

s

p ( ) d
t e
y 2 (t ) y1 (t ) ds
y 21 ( s )

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

Paulo Marcelo Dias de Magalhes - UFOP 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)

(1 t 2 )
y ty 2 y 0 , 0 t ,
t2

obtem-se que
s

d
t e t
y 2 (t ) t 2 ds t 2 s 4 e s / 2 ds ,
2

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


c (1) c 2 1 0
3 3

c1 x 3 c2 x 0, x 1 3 c1 c2 0 .
3


3
c
1 ( 1) c 2 1 0

Por outro lado, se x 0

x3 x3
W [ x 3 , x ]( x) 0
3

3x 2 3x 2

e se x 0

x3 x3
W [ x , x ]( x) 2 0.
3 3

3x 3x 2

Paulo Marcelo Dias de Magalhes - UFOP 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

possui uma soluo no trivial c~1 , c~2 , c~1 c~2 0 . Tomando ~


y (t ) c~1 y1 (t ) c~2 y2 (t ) , tem-
se que ~y uma soluo de (6). Alm disso, por construo ~ y (t0 ) ~ y (t0 ) 0 . Pelo
corolrio do T. E. U. conclui-se que

c~2
y1 (t ) c~ y 2 (t ) , se c~1 0
~
y (t ) 0, t 1

c~1
y 2 (t ) y1 (t ) , se c~2 0
c~2

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:

Paulo Marcelo Dias de Magalhes - UFOP 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 soluo geral

y1 (t ) e r1t
r1 , r2 R, r1 r2 y (t ) c1e r1t c 2 e r2t
y 2 (t ) e r2t
y1 (t ) e rt
r1 r2 r y (t ) (c1 c 2 t )e rt
y 2 (t ) te rt
r1 i y1 (t ) e t cos t
y (t ) e t (c1 cos tt c 2 sen t )
r2 i y 2 (t ) e t 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 er2t
W [e , e ] r t
r1t r2t
r2t
(r2 r1 )e( r1 r2 )t 0, t
r1e 1 r2e

Paulo Marcelo Dias de Magalhes - UFOP 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.
s s

p ( x ) dx
( 2 r ) dx
t e t e t e 2 rs
y 2 (t ) y1 (t ) 2
ds e rt ds e rt ds te rt .
y1 ( s) e 2 rs e 2 rs

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


xn x2 xn
ex 1 x ... ...
n 1 n! 2! n!

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

(i ) 2 (i ) n
e i 1 (i ) ... ...
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
n

(1) i , se n 2k 1
k

Portanto,

Paulo Marcelo Dias de Magalhes - UFOP Pgina 15


i 2 4 k
2k
3 5 2 k 1
e 1 ... (1) ... i ... (1) k
...
2! 4! (2k )! 3! 5! (2k 1)!
cos i sen , R.

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, tem-
se que

t ~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 )

ou seja ~
y 2 (t ) l.d. com y 2 (t ) .

Paulo Marcelo Dias de Magalhes - UFOP 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

1
y Ce t
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

Paulo Marcelo Dias de Magalhes - UFOP 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 ).

Paulo Marcelo Dias de Magalhes - UFOP 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
em t .
c1 (t ) y1 (t ) c 2 y 2 (t ) f (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

0 y 2 (t )
f (t ) y 2 (t ) f (t ) y 2 (t ) f (t ) y 2 (t )
c1 (t ) c1 (t ) C1 dt
W [ y1 , y 2 ](t ) W [ y1 , y 2 ](t ) W [ y1 , y 2 ](t )
y1 (t ) 0
y1 f (t ) f (t ) y1 (t ) f (t ) y1 (t )
c 2 (t ) c 2 (t ) C 2 dt
W [ y1 , y 2 ](t ) W [ y1 , y 2 ](t ) W [ y1 , y 2 ](t )

desprezando as constantes, para evitar redundncias, obtem-se que

Paulo Marcelo Dias de Magalhes - UFOP 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 )
t y1 (s) y 2 (t ) y1 (t ) y 2 (s) f (s)ds
W [ y1 , y 2 ]( s )
t
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

y1 ( s) y 2 (t ) y1 (t ) y 2 ( s)
G ( s, t ) cos s(sen t ) cos t (sen s) sen(t s)
W [ y1 , y 2 ](s)

Logo,

t t t t sen 2 s
y p (t ) L1 [ f ](t ) G ( s, t ) f ( s)ds sen(t s) tg s ds sen t sen sds cos t ds
cos s
t (1 cos 2 s)
ds sen t cos t cos t sec sds cos sds
t
sen t cos t cos t
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

Paulo Marcelo Dias de Magalhes - UFOP 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 t / 2
W [ y1 , y 2 ](t ) e .
y 2 (t ) e sen 3t / 2 2

Soluo Particular: como o coeficiente lder um, ento f (t ) t 2 donde

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)


G ( s, t )
W [ y1 , y 2 ]( s) 3 s
e
2
Logo,

e t / 2 sen 3t / 2 s 2 e s / 2 cos 3sds cos 3t / 2 s 2 e s / 2 sen 3sds


t 2 t t
y p (t ) L1[ f ](t ) G( s, t ) f ( s)ds
3

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
Paulo Marcelo Dias de Magalhes - UFOP 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 an
nbA cA a n 1
n n 1

n(n 1)aAn (n 1)bAn 1 cAn 2 an2


... ... ... ...

2aA2 bA1 cA0 a0

an 1 a 1
Se c 0 An 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

Paulo Marcelo Dias de Magalhes - UFOP 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

1 t2 t3 t n2
y p (t ) (a0 a1 ... a n ).
a 2 3.2 (n 2)(n 1)

Resumo:

A0 A1t ... An t n , se c 0

y p (t ) t ( A0 A1t ... An t ) , se c 0, b 0
n

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:

Paulo Marcelo Dias de Magalhes - UFOP 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

cos t
Caso 3: 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 ) e 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

Paulo Marcelo Dias de Magalhes - UFOP Pgina 24


m
L[ y ]( t ) pk (t )e t , k k i k .
k

k 1

m
Se L[ k ]( t ) p k (t )e k t , k 1,..., m p (t ) 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
0 1 2

Portanto,

Paulo Marcelo Dias de Magalhes - UFOP Pgina 25


y p (t ) t 2 2t .

Exemplo: Obter a soluo geral da EDO

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 3 29

Soluo Geral:

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


2 29

Exemplo: Obter uma soluo particular da EDO

Paulo Marcelo Dias de Magalhes - UFOP 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,

3t
y p (t ) 3e A1 3e (3A0 3A1t )
3t
3t
y p (t ) ( A0 A1t )e HL

3t 3t
E3 t A1 + 3 E3 t A0 + t A1

y p (t ) 6 A1e e (9 A0 9 A1t )

Substituindo obtm-se que

3t

2A1 1 A0 14
L[ y p ]( t ) e [(2A0 3A1 ) 2A1t ] (2A0 3A1 ) 2A1t 1 t
2A0 3A1 1
A1 12

De modo que,

y p (t ) ( 14 2t )e3t .

Exemplo: Obter uma soluo particular da EDO

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

Paulo Marcelo Dias de Magalhes - UFOP 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 .

Exemplo: Obter uma soluo particular da EDO

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,

Paulo Marcelo Dias de Magalhes - UFOP Pgina 28



A1e (1 i )t (1 i )e (1 i )t ( A0 A1t )
(t ) ( A0 A1t )e (1 i )t (1 i )t
2(1 i )e
A1 2ie (1 i )t ( A0 A1 )

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


(2 i )2A 1 A0 2 3 125 4 22 i
2 (2 i ) 125
(2 i ) A1t t 1
(2 i ) A0 2A1 0 A1 1 25 25 i
3 4
(2 i )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

Re[[( 125
4 22 i ) ( 3 4 i )t ][ e t (cos t i sent ]]
125 25 25

e t Re[[( 125
4 22 i ) ( 3 4 i )t ] cos t i[( 4 22 i ) ( 3 4 i )t ] sent ]
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

Paulo Marcelo Dias de Magalhes - UFOP 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)

n
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

Paulo Marcelo Dias de Magalhes - UFOP Pgina 30


rt
Caso r j j i j , j 0 , ento j (t ) e j uma soluo complexa e

jt jt
u j (t ) Re[ j ] e cos j t e v j (t ) Im[ j ] e 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 rj t rj t
L[e j ]( t ) p L ( r )e (r r j ) m q(r )e

rt
Usando o fato que ( e ) ( e rt ) obtm-se que
r t t r

rt k k k
L[t k e j ]( t ) L[ e rt ] L[e rt ] ( r r j ) m q( r )e rt 0
r k
r rj
r k
r rj
r k r rj

para 1 k m .

Resumo: Se

m l
p L (r ) a (r r j ) [r 2 2k r (k 2 k 2 )]l
mj k

j 1 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 l
m j lk grau( p L ) dim[N ( L)]
j 1 k 1

Tem-se que os seguintes conjuntos de solues l.i.

Paulo Marcelo Dias de Magalhes - UFOP Pgina 31


e rj t rt
, te j ,..., t
m j 1 r j t
e N ( D r ) j
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 cons-

tituem a base do Clculo Operacional criado por Heaviside.

Exemplo: Obter a soluo geral da EDO

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

Exemplo: Obter a soluo geral da EDO

d7y d5y d3y


2 0.
dt 7 dt 5 dt 3

Paulo Marcelo Dias de Magalhes - UFOP 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 .

Exemplo: Obter a soluo geral da EDO

d4y
y 0.
dt 4

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 i 1
2 2

r2 e3i / 4 cos 34 i sen 34 1 i 1


2 2

r3 e5i / 4 cos 54 i sen 54 1 i 1


2 2

r4 e7i / 4 cos 74 i sen 74 1 i 1


2 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

Paulo Marcelo Dias de Magalhes - UFOP Pgina 33


2 2
{ y1 (t ) Re(e r1t ) e t / cos t , y2 (t ) Im(e r1t ) e t / sen t
2 2

y 3 (t ) Re(e r2t ) e t / 2
cos t , y4 (t ) Im(e r2t ) e t / 2
sen t }
2 2

Soluo Geral:

y h (t ) e t / 2
(c1 cos t c2 sen t ) e t / 2 (c cos t c4 sen t ).
2 2 3 2 2

Paulo Marcelo Dias de Magalhes - UFOP Pgina 34