ITESM, Campus Monterrey

Departamento de Matemáticas
MA-841: Ecuaciones Diferenciales Profesor: Eduardo Uresti
Lectura #9

1 Unidad II: Ecuaciones Diferenciales Orden Superior

1.4 Ecuaciones Diferenciales Lineales de Orden Superior
Una ecuación diferencial se dice Ecuación Diferencial Lineal de Orden n, que abreviaremos
como EDL(n), si tiene la forma :

an (x)y (n) + an−1 (x)y (n−1) + · · · + a1 (x)y 0 + a0 (x)y = r(x) (1)

Cuando r(x) = 0, es decir cuando la ED tiene la forma

an (x)y (n) + an−1 (x)y (n−1) + · · · + a1 (x)y 0 + a0 (x)y = 0 (2)

se llama Ecuación Diferencial Lineal Homogénea de Orden n, y se abreviará por EDLH(n).

Si todos los coeficientes ai (x) son constantes se dice que la ED es una Ecuación Diferencial
Lineal con Coeficientes Constantes de Orden n, lo cual se abreviará como EDLCC(n).
Un problema con condiciones iniciales para una EDL tiene la forma:


 an (x)y (n) + an−1 (x)y (n−1) + · · · + a1 (x)y 0 + a0 (x)y = r(x)
P CI = + (3)
 y(x ) = y , y 0 (x ) = y 0 , y 00 (x ) = y 00 , · · · , y (n−1) (x ) = y (n−1)

0 0 0 0 0 0 0 0

El siguiente teorema da las condiciones bajo las cuales existe una solución única a un
problema con valores iniciales.
Teorema
Si las funciones an (x), an−1 (x),..,a1 (x), a0 (x), y r(x) son continuas en un intervalo I que
contiene al punto x0 , y además la función an (x) no se hace cero en ese intervalo I, entonces
existe una única solución al problema con valores iniciales (3) en el intervalo I.
Asumiremos que las condiciones del teorema anterior siempre se cumplen, y no repe-
tiremos esto para los siguientes resultados. El teorema anterior dice entonces que siempre
hay solución a (3), nuestro propósito ahora es determinarla. El siguiente teorema conduce
a imaginarnos la solución general.

Teorema
Si las funciones y1 , y2 ,...,yk son soluciones a la EDLH (2) en el intervalo I entonces la
combinación lineal
y = c1 y1 + c2 y2 + · · · + ck yk , (4)
también es solución a la EDLH (2) para cualquier valor de las constantes Ci .

Este teorema nos da la idea que si tenemos y1 , y2 , .. yn soluciones a (2) entonces

y = C1 y1 + C2 y2 + · · · + Cn yn (5)
deberı́a ser la solución general. Pero hay un hueco en esta idea. De la solución general
deberı́an salir todas las soluciones posibles. Es decir que de cualquier problema con valores
iniciales para la homogénea


 an (x)y (n) + an−1 (x)y (n−1) + · · · + a1 (x)y 0 + a0 (x)y = 0
+ (6)
 y(x ) = y , y 0 (x ) = y 0 , y 00 (x ) = y 00 , · · · , y (n−1) (x ) = y (n−1)

0 0 0 0 0 0 0 0

deberán existir valores particulares para C1 , C2 ,..,Cn para que con esos valores (5) se con-
vierta en la solución buscada en (6). Es decir que deben existir constantes Ci que hagan
que (5) cumpla las condiciones iniciales, es decir:

C1 y1 (x0 ) + C2 y2 (x0 ) + · · · + Cn yn (x0 ) = y0

C1 y10 (x0 ) + C2 y20 (x0 ) + · · · + Cn yn0 (x0 ) = y00
C1 y100 (x0 ) + C2 y200 (x0 ) + · · · + Cn yn00 (x0 ) = y000 (7)
.. .. ..
. . .
(n−1) (n−1) (n−1) (n−1)
C1 y1 (x0 ) + C2 y2 (x0 ) + · · · + Cn yn (x0 ) = y0

como las incógnitas son los valores de Ci , el sistema anterior lo reescribimos:

y1 (x0 ) C1 + y2 (x0 ) C2 + · · · + yn (x0 ) Cn = y0

y10 (x0 ) C1 + y20 (x0 ) C2 + · · · + yn0 (x0 ) Cn = y00
y100 (x0 ) C1 + y200 (x0 ) C2 + · · · + yn00 (x0 ) Cn = y000 (8)
.. .. ..
. . .
(n−1) (n−1) (n−1) (n−1)
y1 (x0 ) C1 + y2 (x0 ) C2 + · · · + yn (x0 ) Cn = y0

El cual si le damos la forma matricial queda:

y1 (x0 ) y2 (x0 ) ··· yn (x0 ) y0

     
C1

 y10 (x0 ) y20 (x0 ) ··· yn0 (x0 ) 


 C2 


 y00 


 y100 (x0 ) y200 (x0 ) ··· yn00 (x0 ) 


 C3

 =

 y000 
 (9)
 .. .. .. ..  
..   .. 
. . . . . .
     
     
(n−1) (n−1) (n−1) (n−1)
y1 (x0 ) y2 (x0 ) · · · yn (x0 ) Cn y0

Este sistema tiene sólución única si el determinante del sistema es diferente de cero es decir
si:
···
 
 y1 (x0 ) y2 (x0 ) yn (x0 ) 
 y 0 (x0 ) y20 (x0 ) yn0 (x0 ) 

 1 ···
 y 00 (x ) y200 (x0 ) ··· yn00 (x0 )  6= 0
 1 0 (10)
 .. .. .. .. 
. . . .
 
 
 (n−1) (n−1) (n−1)

 y
1 (x0 ) y2 (x0 ) · · · yn (x0 ) 
Esto nos da pie para la siguiente definición:
Definición
Un conjunto de soluciones y1 , y2 ,..,yn a (2) se dice formar un conjunto fundamental de

2
soluciones en el intervalo I si
···
 
 y1 y2 yn 
 y0 y20 yn0
 
 1 ··· 

 y 00 y200 ··· yn00 
 1  6= 0 (11)
 .. .. .. .. 
. . . .
 
 
 (n−1) (n−1) (n−1) 

 y
1 y2 ··· yn

en toda x en el intervalo I.
El determinante que aparece a la izquierda de la relación anterior se llama el Wronksiano de
las funciones y1 , y2 ,..,yn . Para complementar los anterires conceptos tomaremos prestadas
algunas ideas de Algebra Lineal:
Definición
Un conjunto de funciones f1 , f2 , .. ,fm se dice linealmente independiente si su Wronskiano
es diferente de cero.

Todo lo anterior lo podemos resumir diciendo que la EDLH está resuelta cuando encon-
tremos n funciones que sean solución a la ED a resolver y que cumplan que su Wronskiano
sea diferente de cero. En siguientes apartados veremos como determinar estos conjuntos.