ECUACIONES DIFERENCIALES LINEALES DE ORDEN

SUPERIOR





Comenzaremos la presentacin de las ecuaciones diferenciales lineales de orden superior
definiendo el concepto de problema de valor inicial.
Definicin: Un problema de valor inicial para una ecuacin diferencial de orden n , es
Resolver: ) ( ) ( ) ( ) ( ) (
0 1
1
1
1
x f y x a
dx
dy
x a
dx
y d
x a
dx
y d
x a
n
n
n
n
n
n
= + + + +

L
Sujeto a:
) 1 (
0
0
) 1 (
0 0 0 0
) ( , , ) ( , ) (

= = =
n n
y x y y x y y x y L
Donde
) 1 (
0
0 0
, , ,

n
y y y L son constantes arbitrarias. Los valores especificados

) 1 (
0
0
) 1 (
0 0 0 0
) ( , , ) ( , ) (

= = =
n n
y x y y x y y x y L
se llaman condiciones iniciales. Se busca una solucin en algn intervalo I que contenga a
0
x .
Un problema de valor inicial de segundo orden se reduce a la forma siguiente:

= =
= + +
0 0 0 0
0 1 2
) ( , ) (
) ( ) ( ) ( ) (
y x y y x y
x f y x a y x a y x a

En tanto que un problema que tenga la siguiente forma

= =
= + +
1 0
0 1 2
) ( , ) (
) ( ) ( ) ( ) (
y b y y a y
x f y x a y x a y x a

Se llama problema de valores en la frontera, los valores especificados
1 , 0
) ( ) ( y b y y a y = = se llaman condiciones de frontera.
Definicin:(Dependencia lineal) Se dice que un conjunto de funciones
{ } ) ( , ), ( ), (
2 1
x f x f x f
n
L
es linealmente dependiente en un intervalo I si existen constantes
n
c c c , , ,
2 1
L no todas
nulas , tales que I x x f c x f c x f c
n n
= + + + , 0 ) ( ) ( ) (
2 2 1 1
L .
Definicin: ( Independencia lineal) Se dice que un conjunto de funciones
{ } ) ( , ), ( ), (
2 1
x f x f x f
n
L
es linealmente independiente en un intervalo I si no son linealmente dependientes en el
mismo.
En otras palabras un conjunto de funciones es linealmente independiente en un intervalo si
las nicas constantes para las cuales 0 ) ( ) ( ) (
2 2 1 1
= + + + x f c x f c x f c
n n
L para toda x en e
intervalo, son 0
2 1
= = = =
n
c c c L .
Es fcil entender estas definiciones en el caso de dos funciones ) ( ), (
2 1
x f x f . Si las
funciones son linealmente dependientes en un intervalo , entonces existen constantes
2 1
, c c , no siendo ambas nulas , tales que para toda x en el intervalo
0 ) ( ) (
2 2 1 1
= + x f c x f c
Por lo tanto, si suponemos que 0
1
c , se deduce que
) ( ) (
2
1
2
1
x f
c
c
x f =
Estoes, si las dos funciones son linealmente dependientes una es simplemente un mltiplo
escalar de la otra.
Ejemplo: Las funciones x senx x sen cos , 2 son linealmente dependientes en el intervalo
) , ( ya que 0 cos 2
2
1
= x senx x sen , es decir , . , 1
2
1
2 1
= = c c
Consideremos la combinacin lineal 0 ) ( ) ( ) (
2 2 1 1
= + + + x f c x f c x f c
n n
L , para calcular el
valor de las constantes
n
c c c , , ,
2 1
L tenemos que generar un sistema de n ecuaciones con n
incgnitas y esto es posible si suponemos que las funciones tienen al menos (n 1)
derivadas, lo cual nos lleva a la siguiente expresin.

= + + +
= + + +
= + + +

0
0
0
) 1 ( ) 1 (
2
2
) 1 (
1
1
2 2 1 1
2 2 1 1
n
n n
n n
n n
n n
f c f c f c
f c f c f c
f c f c f c
L
M M M
L
L

si el determinante de los coeficientes de las incgnitas es diferente de cero por lo menos en
algn x del intervalo entonces el sistema tiene solucin nica y esta solucin debe ser la
trivial , es decir, 0
2 1
= = = =
n
c c c L . El determinante se puede representar como

) 1 ( ) 1 (
2
) 1 (
1
2 1
2 1
2 1
)) ( , ), ( ), ( (


=
n
n
n n
n
n
n
f f f
f f f
f f f
x f x f x f W
L
M O M M
L
L
L
y se llama wronskiano de las funciones. Concluimos pues que si el wronskiano no se
anula por lo menos para algn x del intervalo, las n funciones son linealmente
independientes . En caso contrario si 0 )) ( , ), ( ), ( (
2 1
= x f x f x f W
n
L para todo x en el
intervalo concluiremos que las funciones son linealmente dependientes.
Ejemplo: Consideremos las funciones { } m n e e
mx nx
, , .Entonces el wronskiano de estas
funciones es
( )
x n m
mx nx
mx nx
mx nx
e n m
me ne
e e
e e W
) (
) ( ,
+
= =
como este determinante nunca se anula, concluimos que las funciones son linealmente
independientes e toda la recta real.
Definicin: Una ecuacin diferenciadle la forma
0 ) ( ) ( ) ( ) (
0 1
1
1
1
= + + + +

y x a
dx
dy
x a
dx
y d
x a
dx
y d
x a
n
n
n
n
n
n
L
se llama homognea sencillamente por que el miembro derecho es idnticamente cero, en
tanto que la ecuacin
) ( ) ( ) ( ) ( ) (
0 1
1
1
1
x f y x a
dx
dy
x a
dx
y d
x a
dx
y d
x a
n
n
n
n
n
n
= + + + +

L
se llama no homognea.
Teorema:( Principio de superposicin-ecuaciones homogneas)
Sean
k
y y y , , ,
2 1
L soluciones de la ecuacin diferencial lineal homognea de orden n en
un intervalo I . Entonces la combinacin lineal ) ( ) ( ) (
2 2 1 1
x y c x y c x y c y
k k
+ + + = L en
donde
k
c c c , , ,
2 1
L son constantes arbitrarias, es tambin, una solucin en el intervalo.
Demostracin: Sustituyendo en la ecuacin diferencial obtenemos que

( )
( )
( )
( )
0 ) ( ) ( ) (
) ( ) ( ) (
) ( ) ( ) (
) ( ) ( ) ( ) (
) ( ) ( ) ( ) (
) ( ) ( ) ( ) (
) ( ) ( ) ( ) (
0
1
1
1
2 0
1
2
1
1
2
2
1 0
1
1
1
1
1
1
2 2 1 1 0
2 2 1 1 1
2 2 1 1
1
1
1
2 2 1 1
=
|
|

\
|
+ + + + +
|
|

\
|
+ + + +
|
|

\
|
+ + + =
+ + + +
+ + + + +
+ + + +
+ + +

k
n
k
n
n
n
k
n
n k
n
n
n
n
n
n
n
n
n
n
n
n
k k
k k
k k
n
n
n
k k
n
n
n
y x a
dx
y d
x a
dx
y d
x a c
y x a
dx
y d
x a
dx
y d
x a c
y x a
dx
y d
x a
dx
y d
x a c
x y c x y c x y c x a
x y c x y c x y c
dx
d
x a
x y c x y c x y c
dx
d
x a
x y c x y c x y c
dx
d
x a
L L
L
L
L
L L
L
L

Definicin:( Conjunto fundamental de soluciones)
Se llama conjunto fundamental de soluciones en un intervalo I a cualquier conjunto
{ } ) ( , ), ( ), (
2 1
x y x y x y
n
L
de n soluciones linealmente independientes de la ecuacin diferencial lineal homognea de
orden n en un intervalo . I
Definicin:( Solucin general-ecuaciones homogneas)
Sea { } ) ( , ), ( ), (
2 1
x y x y x y
n
L un conjunto fundamental de soluciones de la ecuacin
diferencial lineal homognea de orden n en un intervalo I . La solucin general de la
ecuacin en el intervalo se define como
) ( ) ( ) (
2 2 1 1
x y c x y c x y c y
n n
+ + + = L
donde
n
c c c , , ,
2 1
L son constantes arbitrarias.
A la solucin general de una ecuacin diferencial se le llama solucin completa de la
ecuacin diferencial.

CMO OBTENER UNA SEGUNDA SOLUCIN A PARTIR DE UNA SOLUCIN
CONOCIDA
Consideremos la ecuacin diferencial lineal de segundo orden y homognea
0 ) ( ) ( ) (
0 1 2
= + + y x a y x a y x a
Si dividimos por ) (
2
x a , la ecuacin toma la forma 0 ) ( ) ( = + + y x q y x p y (*) donde
) ( ), ( x q x p son funciones continuas en algn intervalo I . Supngase adems que ) (
1
x y es
una solucin conocida de (*) en I y que I x x y , 0 ) (
1
. Si definimos ) ( ) (
1
x y x u y = , se
tiene que

1 1 1 1 1 1 1
1 1
2 y u y u y u y u y u y u y u y
y u y u y
+ + = + + + =
+ =

sustituyendo en la ecuacin diferencial (*) , obtenemos

( ) 0 2 ) ( ) ( ) ( 2
1 1 1 1 1 1 1 1 1 1 1 1
= + + + + + = + + + + + u py y u y qy y p y u uy q y u y u p y u y u y u
Esto implica que se debe tener

( )

= =

=
|

\
|
=
|
|

\
|
+

+
=
|
|

\
|
+

+
= + +

2
2
1
1
2
1
1 1
2
1
2
1
1
1
1
1
1 1 1
0
0 2
0 2
0 2
c dx
y
e
c u
y
e
c w c w e y
w e y
dx
d
w p
y
y
w
u p
y
y
u
u py y u y
pdx pdx
pdx
pdx

En consecuencia
1 2
2
1
1 1
y c dx
y
e
y c y
pdx
+

es la solucin general .
Se supone pues que

dx
y
e
y y
pdx
2
1
1 2
es la segunda solucin.
Ejemplo: Obtenga la solucin general en el intervalo ) , 0 ( de la ecuacin diferencial
0 4 3
2
= + y y x y x dado que
2
1
x y = es una solucin.
Solucin: Dividiendo la ecuacin diferencial por
2
x se obtiene que 0
4 3
2
= + y
x
y
x
y ,
as

2
2
2
1
2
4
3
2
2
log
log
x c x x c y
x x dx
x
x
x y
+ =
= =

Ejemplo: Obtener la solucin general de la ecuacin 0 4 4 = + y y y dado que
x
e y
2
1
= es solucin.
Solucin:

x x x
x
x
x
e c xe c y xe dx
e
e
e y
2
2
2
1
2
4
4
2
2
+ = = =

Es fcil ver que en general ,las soluciones
2 1
, y y constituyen un conjunto fundamental de
soluciones pues
0 ) , (
1
2
1
1 1
2
1
1 1
2 1

pdx
pdx pdx
pdx
e
y
e
dx
y
e
y y
dx
y
e
y y
y y W

ECUACIONES DIFERENCIALES HOMOGNEAS DE SEGUNDO ORDEN CON
COEFICIENTES CONSTANTES
Consideremos ahora ecuaciones diferenciales de la forma 0 = + + cy y b y a y supongamos
que las soluciones son de la forma ( ) 0 0
2 2
= + + = + + = c bm am e c bm am e y
mx mx
,
a esta ltima ecuacin se le lama ecuacin caracterstica asociada a la ecuacin diferencial,
la solucin general de la ecuacin depende de las races de esta ecuacin caracterstica, de
la cual distinguimos tres casos:
Caso 1: Races reales diferentes
2 1
m m , como ya vimos { }
x m x m
e e
2 1
, es un conjunto
fundamental de soluciones, luego entonces la solucin general de la ecuacin es

x m x m
e c e c y
2 1
2 1
+ =
Caso 2: Races reales e iguales, es claro que al resolver la ecuacin caracterstica el
discriminante 0 4
2
= ac b lo que implica que las races son de la forma
a
b
m
2
= , en este
caso tenemos una solucin y necesitamos encontrar otra a partir de esta

mx mx
mx
mx
mx
mx
xe c e c y
xe dx
e
e
e y
2 1
2
2
2
+ =
= =

Caso 3: Races complejas digamos = + = i m i m
2 1
, , en este caso tenemos que la
solucin general es
( ) ( )
[ ]
x i x i x x i x i
e c e c e e c e c y
+
+ = + =
2 1 2 1


( ) ( ) [ ]
[ ] ) ( ; , cos
cos cos
2 1 2 2 1 1 2 1
2 1
c c i C c c C x sen C x C e y
x isen x c x isen x c e y
x
x
= + = + =
+ + =

Ejemplo: Resuelva las siguientes ecuaciones diferenciales
0 ) 0 25 10 ) 0 3 5 2 ) = + + = + = y y y c y y y b y y a
Solucin:
a) Las races de la ecuacin caracterstica son
x x
e c e c y m m
3
2 1 2
2
1
1
2
1
3 , + = = =


b) Las races de la ecuacin caracterstica son
x x
xe c e c y m m
5
2
5
1 2 1
5 + = = =
c) Las races de la ecuacin caracterstica son
(

+ = =

x sen c x c e y i m
x
2
3
2
2
3
1
2
1
2
3
2
1
cos
Esta teora se puede extender para resolver ecuaciones diferenciales de orden mayor que 2,
como veremos en los siguientes ejemplos.
Ejemplo: Resolver la ecuacin 0 9 3 5 = + + y y y y .
Solucin: Tenemos que la ecuacin caracterstica asociada a la ecuacin diferencial es

( ) ( )
x x x
e c xe c e c y
m m m
m m
m m m

+ + =
= = =
= +
= + +
3
3
2
3
1
3 2 1
2
2 3
1 , 3
0 1 3
0 9 3 5

Ejemplo: Resolver la ecuacin diferencial 0 16
5
5
=
dx
dy
dx
y d
.
Solucin: Tenemos que la ecuacin caracterstica asociada a la ecuacin diferencial es

( )
( )( )( )( )
x sen c x c e c e c c y
i m i m m m m
i m i m m m m
m m
m m
x x
2 2 cos
2 , 2 , 2 , 2 , 0
0 2 2 2 2
0 16
0 16
5 4
2
3
2
2 1
5 4 3 2 1
4
5
+ + + + =
= = = = =
= + +
=
=

Ejemplo: Resolver la ecuacin diferencial 0 5 10 2 5
2
2
3
3
4
4
5
5
= + + + y
dx
dy
dx
y d
dx
y d
dx
y d
dx
y d
.
Solucin: Tenemos que la ecuacin caracterstica asociada a la ecuacin diferencial es
( ) ( ) ( )
x x x x x
e c xe c e c xe c e c y
m m m
m m m m m
5
5 4 3 2 1
2 2
2 3 4 5
0 5 1 1
0 5 10 2 5

+ + + + =
= + +
= + + +

Ejemplo: Resolver la ecuacin diferencial 0 4 10 5 3 = + + y y y y .
Solucin: Tenemos que la ecuacin caracterstica asociada a la ecuacin diferencial es

i m i m m
m m m
3 1 , 3 1 ,
3
1
0 4 10 5 3
3 2 1
2 3
= + = =
= + +

[ ] x sen c x c e e c y
x
x
3 3 cos
3 2
3
1
+ + =