EQUAES DIFERENCIAIS ORDINRIAS

TEORIA DAS SOLUES

Definio. Uma equao diferencial ordinria de ordem n linear se puder ser escrita na
forma
an(x)y(n) + an1(x)y(n1) +...+ a1(x)y + a0(x)y = q(x)
onde os coeficientes ai(x) ( i = 0,1,..., n) e q(x) dependem somente de x. Na resoluo
de equaes diferenciais lineares de ordem n, procuramos determinar a soluo geral
como uma combinao linear de um nmero mnimo de funes, chamadas solues
fundamentais. Em geral, uma equao de ordem n tem n solues fundamentais. Por
exemplo, a equao y + y = 0 tem como soluo geral y = asen(x) + bcos(x), onde a e b
so constantes arbitrrias. As funes y1 = sen(x) e y2 = cos(x) so solues
fundamentais desta equao, sendo que a soluo geral uma combinao linear de y1 e
y2 . Para termos certeza de que um conjunto de solues um conjunto fundamental,
necessrio a definio de conjunto Linearmente Independente de funes, que vamos
definir a seguir.
FUNES LINEARMENTE INDEPENDENTES.
Definio. Um conjunto de funes {y1(x) , y2(x), ..., yn(x)} linearmente independente
(LI) em um intervalo (a,b) se a equao
c1y1(x) + c2y2(x) + ... + cnyn(x) = 0

(1)

admitir somente a soluo trivial c1 = c2 = ... = cn = 0 , para todo x (a,b) . Caso exista
uma soluo da equao (1) com algum coeficiente ci diferente de zero, ento o conjunto
de funes {y1(x) , y2(x), ..., yn(x)} linearmente dependente (LD) . No caso particular
em que n = 2, o conjunto {y1(x) , y2(x)} linearmente dependente se y1(x) = ky2(x),
onde k uma constante. Vamos usar LI para denotar funes linearmente independente e
LD para funes linearmente dependentes.
Exemplos .
1) O conjunto de funes {x , 5x} para x R LD, pois 5*x + 1*5x =0, isto , sendo
y1 = x , y2 = 5x , temos c1 = 5 e c2 = 1. Observemos que y2 = 5y1 .
2) O conjunto {sen(x), cos(x) } LI , para x ( 0 , ) . De fato, supondo que
c1sen(x) + c2 cos(x) = 0, para x ( 0 , ), ento se x = 2 , resulta c1sen( 2 ) +
c2 cos( 2 ) = 0, ou seja, c1 = 0. Logo, c2 cos(x) = 0 para todo x ( 0 , ), o que
implica c2 = 0.
Devido complexidade da definio, podemos usar um teorema, chamado teorema do
wronskiano, para identificar se um conjunto de funes LI ou LD.

TEOREMA. Sejam y1(x) , y2(x), ..., yn(x) funes definidas para x I= (a,b) . Se o
determinante wronskiano

W(x)= W (y1 , y2, ..., yn) =

y1

y2

y1'

y '2

L
L

y1(n 1)

1)
y (n
2

yn
y 'n
M

1)
L y (n
n

for diferente de zero para algum x0 I, ento o conjunto de funes {y1(x),y2(x),...,yn(x)}

linearmente independente.
Exemplo 1. Verificar que o conjunto {sen(x) , cos(x) } , para x ( 0 , ), LI, pelo
teorema do wronskiano.
Soluo :

y1 = sen(x)

y1' = cos(x)

y2 = cos(x)

y '2 = sen(x)

sen(x) cos(x)
= 1 , para todo x ( 0 , ) .
cos(x) sen(x)
Logo, pelo teorema do wronskiano , o conjunto {sen(x) , cos(x) } LI.
W(x) = W(y1 ,y2 ) =

Exemplo 2 . Verificar que se a b , ento o conjunto { e ax , e bx } para x R, LI.

Soluo y1 = eax

y2 = e bx

y1' = a eax
y'2 = b ebx

W(x) = W(y1 ,y2 ) =

eax
ae

ax

e bx
be

bx

= ( b a) e(a + b)x

Se x = 0, ento W(0) = ba ; assim se a b , ento o conjunto { e ax , e bx } LI. Em

particular, o conjunto de funes { e x , e x } LI. Se a = b , ento o conjunto { e ax ,
e bx } LD.
Exemplo 3. Mostrar que o conjunto de funes { e x , e 2x , e3x } para x R LI.
Soluo: o determinante wronskiano resulta

ex

e 2x

e3x

W(x)= W(y1, y2 , y3) = e x

ex

2e 2x
4e 2x

3e3x = 2 e6x
9e3x

Se x = 0 , ento W(0) = 2 0 ; logo , o conjunto { e x , e 2x , e3x } LI.

Os exemplos acima so muito importantes, pois veremos que as funes trigonomtricas
e exponenciais so solues freqentes de equaes diferenciais ordinrias. Se um
conjunto de funes {y1(x) , y2(x), ..., yn(x) } LI e se cada yi(x) uma soluo de uma
edo, ento dizemos que as solues so LI. Por exemplo, as funes y1=sen(x) e
y2=cos(x) so solues linearmente independentes da equao y + y = 0 .