Miguel Reyes, Dpto.

de Matematica Aplicada, FI-UPM 1

12 Ecuaciones diferenciales lineales
12.1 Denicion
Llamaremos ecuacion diferencial lineal de orden n a cualquier ecuacion de la forma
a
0
(x)y
(n)
+a
1
(x)y
(n1)
+. . . +a
n1
(x)y

+a
n
(x)y = b(x)
Si b(x) 0 la ecuacion lineal se llama homogenea y si b(x) 0 se llama completa.
Dada una ecuacion diferencial lineal completa de orden n
a
0
(x)y
(n)
+a
1
(x)y
(n1)
+. . . +a
n1
(x)y

+a
n
(x)y = b(x)
con b(x) 0, a la que en adelante nos referiremos por (ELC), llamaremos ecuacion lineal
homogenea asociada a la ecuacion
a
0
(x)y
(n)
+a
1
(x)y
(n1)
+. . . +a
n1
(x)y

+a
n
(x)y = 0
a la que en adelante nos referiremos por (ELH).
12.2 Teorema de existencia y unicidad
Si a
i
(x), 0 i n, y b(x) son funciones continuas en un intervalo I = [a, b] R y
a
0
(x) = 0 para todo x I, entonces para cada x
0
I e (y
0
, y

0
, . . . , y
(n1)
0
) R
n
el
problema de Cauchy
_

_
a
0
(x)y
(n)
+a
1
(x)y
(n1)
+. . . +a
n1
(x)y

+a
n
(x)y = b(x)
y(x
0
) = y
0
y

(x
0
) = y

0
. . .
. . .
y
(n1)
(x
0
) = y
(n1)
0
tiene una unica solucion y = (x), x I = [a, b].
12.3 Polinomio operacional
Si representamos D
k
y = y
(k)
, k 1, la ecuacion diferencial (ELC) se puede representar
por P(D)y = b(x) donde
P(D) = a
0
(x)D
n
+a
1
(x)D
n1
+. . . +a
n1
(x)D +a
n
(x)
se llama polinomio operacional. Las soluciones de (ELC) y (ELH) se pueden expresar
en terminos de este polinomio como
y = (x) es solucion de
_
_
_
P(D)y = b(x)
o
P(D)y = 0

_
_
_
P(D)(x) = b(x)
o
P(D)(x) = 0
Este polinomio tiene las siguientes propiedades:
1. P(D) ( +) = P(D) +P(D), , R. (Lineal)
2. P(D)e
x
= P()e
x
, R.
Como consecuencia inmediata, de esta ultima propiedad, se tiene que si existe R tal
que P() 0 entonces y = e
x
es solucion de (ELH).
Miguel Reyes, Dpto. de Matematica Aplicada, FI-UPM 2
12.4 Propiedades de las soluciones
1. Si {
i
(x)}
N
i=1
son N soluciones de (ELH), entonces cualquier combinacion lineal de
ellas
(x) =
N

i=1
c
i

i
(x) ; c
i
R , 1 i N
es tambien solucion de (ELH).
2. (x) 0 es solucion de (ELH).
3. Si
1
(x) y
2
(x) son soluciones de (ELC) entonces
(x) =
1
(x)
2
(x)
es solucion de (ELH).
4. Si (x) es una solucion particular de (ELC) e y
H
representa a todas las soluciones
de (ELH), entonces todas las soluciones de (ELC) vienen dadas por
y = (x) +y
H
5. Principio de superposicion: Si
1
(x) es solucion de P(D)y = b
1
(x) y
2
(x)
es solucion de P(D)y = b
2
(x), entonces
1
(x) +
2
(x) es solucion de P(D)y =
b
1
(x) +b
2
(x).
12.5 Conclusiones
1. El conjunto de soluciones de una ecuacion lineal homogenea de orden n es un espacio
vectorial de dimension n (el hecho de que la dimension sea n se justica despues con
el llamado Teorema 2). Por lo tanto, para resolver (ELH) basta con encontrar
n soluciones particulares, {
1
,
2
, . . . ,
n
}, linealmente independientes (que formen
base) y la solucion general de (ELH) sera
y =
n

i=1
c
i

i
(x) ; c
i
R , 1 i n
2. El conjunto de soluciones de una ecuacion lineal completa de orden n es un espa-
cio afn de dimension n sobre el espacio vectorial de las soluciones de su ecuacion
homogenea asociada. Por lo tanto, para resolver (ELC) basta con encontrar n solu-
ciones particulares, {
1
,
2
, . . . ,
n
}, linealmente independientes (que formen base)
de su ecuacion homogenea asociada (ELH) y una solucion particular (x) de (ELC);
la solucion general de (ELC) vendra dada por
y = (x) +
n

i=1
c
i

i
(x) ; c
i
R , 1 i n
Miguel Reyes, Dpto. de Matematica Aplicada, FI-UPM 3
12.6 Denicion
Dadas k > 1 funciones, {
1
,
2
, . . . ,
k
}, derivables con continuidad hasta el orden k en
un cierto intervalo [a, b], llamaremos wronskiano a la funcion denida por el siguiente
determinante
W [
1
,
2
, . . . ,
k
] (x) =

1

2
. . .
k

2
. . .

2
. . .

k
. . . . . . . . . . . .
. . . . . . . . . . . .

(k1)
1

(k1)
2
. . .
(k1)
k

12.7 Teorema 1
Sean {
1
,
2
, . . . ,
n
} n soluciones particulares no nulas de (ELH) en I = [a, b] donde se
cumplen las hipotesis del teorema de existencia y unicidad 12.2. Entonces
{
i
}
n
i=1
son linealmente dependientes en I W [
1
,
2
, . . . ,
n
] (x) 0 en I
y ademas
{
i
}
n
i=1
son linealmente independientes en I W [
1
,
2
, . . . ,
n
] (x) = 0 , x I
12.8 Teorema 2
Sean {
1
,
2
, . . . ,
n
} soluciones particulares de (ELH) linealmente independientes en I =
[a, b]. Entonces
y =
n

i=1
c
i

i
(x) ; c
i
R , 1 i n
es la solucion general de (ELH) en I.
12.9 Metodo de variacion de las constantes
Sirve para hallar la solucion general de (ELC) cuando conocemos la solucion general de
(ELH):
y =
n

i=1
c
i

i
(x) ; c
i
R , 1 i n
El metodo consiste en suponer que las constantes son funciones de x, es decir que
c
i
= c
i
(x) , 1 i n
Para imponer que la solucion de (ELC) es del tipo
y =
n

i=1
c
i
(x)
i
(x)
Miguel Reyes, Dpto. de Matematica Aplicada, FI-UPM 4
se deriva n veces haciendo ciertas hipotesis adicionales que se indican a continuacion:
y

=
n

i=1
c
i

i
+
n

i=1
c

i
Hipotesis:
n

i=1
c

i
= 0
y

=
n

i=1
c
i

i
+
n

i=1
c

i
Hipotesis:
n

i=1
c

i
= 0
y

=
n

i=1
c
i

i
+
n

i=1
c

i
Hipotesis:
n

i=1
c

i
= 0


y
(n1)
=
n

i=1
c
i

(n1)
i
+
n

i=1
c

(n2)
i
Hipotesis:
n

i=1
c

(n2)
i
= 0
y
(n)
=
n

i=1
c
i

(n)
i
+
n

i=1
c

(n1)
i
Considerando estas hipotesis adicionales y sustituyendo en la ecuacion (ELC) nos queda
a
0
n

i=1
c

(n1)
i
= b(x)
con lo que tenemos el siguiente sistema lineal
_

n
i=1
c

i
= 0

n
i=1
c

i
= 0


a
0
(x)

n
i=1
c

(n1)
i
= b(x)
de n ecuaciones con n incognitas: {c

i
(x) : 1 i n}. Se resuelve y nos dara como solu-
ciones
c

i
(x) =
i
(x) , 1 i n
e integrando
c
i
(x) =
_

i
(x) dx =
i
(x) +k
i
; k
i
R , 1 i n
Sustituyendo en y =

n
i=1
c
i
(x)
i
(x) se obtiene
y =
n

i=1
(
i
(x) +k
i
)
i
(x) =
n

i=1

i
(x)
i
(x) +
n

i=1
k
i

i
(x)
con k
i
R, 1 i n, que es la solucion general de (ELC).
12.10 Formula de Liouville-Ostrogradski
Si {
1
,
2
, . . . ,
n
} son n soluciones linealmente independientes de (ELH), entonces
W [
1
,
2
, . . . ,
n
] = C e

a
1
(x)
a
0
(x)
dx
con C = 0.
Miguel Reyes, Dpto. de Matematica Aplicada, FI-UPM 5
12.11 Observacion
En el caso n = 2
W [
1
,
2
] =

1

2

=
1

2
=
2
1
D
_

1
_
con lo que la formula de Liouville quedara, en este caso, como

2
1
D
_

1
_
= C e

a
1
(x)
a
0
(x)
dx
que nos permite calcular facilmente una segunda solucion de (ELH) cuando conocemos
una de ellas, o incluso calcularlas las dos cuando conocemos cierta relacion entre ellas.
12.12 Ecuaciones lineales de segundo orden
Son las ecuaciones de la forma
a
0
(x)y

+a
1
(x)y

+a
2
(x)y = b(x)
cuya solucion, seg un lo que hemos visto, sera
y = (x) +c
1

1
(x) +c
2

2
(x) ; c
1
, c
2
R
con {
1
,
2
} soluciones linealmente independientes de (ELH) y solucion particular de
(ELC).
Para resolver estas ecuaciones es necesario conocer alguna hipotesis adicional, pues no
hay un metodo general que permita resolverlas. Veamos algunos casos particulares:
1. Se conoce y =
1
(x), solucion particular no nula de (ELH). En este caso se puede
proceder de dos maneras:
(a) Utilizar la formula de Liouville para hallar
2
y luego
i. aplicar variacion de constantes para hallar la solucion general de (ELC) o
ii. buscar por tanteo una solucion particular (x) de (ELC).
(b) Hacer el cambio y = z
1
(x) que transforma la ecuacion en
a
0
_
z

1
+ 2z

1
+z

+a
1
_
z

1
+z

1
_
+a
2
z
1
= b
que operando nos da
a
0

1
z

+
_
2a
0

1
+a
1

1
_
z

= b
y haciendo ahora el cambio u = z

se llega a
A
0
(x)u

+A
1
(x)u = b(x)
que es una ecuacion lineal de primer orden. Se resuelve y se deshacen los
cambios.
Miguel Reyes, Dpto. de Matematica Aplicada, FI-UPM 6
2. Se conocen
1
y
2
soluciones particulares de (ELC). En este caso
1
=
1

2
es
una solucion particular de (ELH) y aplicando la formula de Liouville se calcula otra
solucion
2
de (ELH). Con esto ya tenemos la solucion general de (ELC) pues cono-
cemos dos soluciones particulares de (ELC) (solo necesitamos una) y dos soluciones
particulares linealmente independientes de (ELH).
3. Se conoce una relacion entre dos soluciones particulares y linealmente independientes
de (ELH). En este caso se aplica la formula de Liouville para hallar las dos soluciones
particulares de (ELH) y despues se aplica cualquiera de los metodos descritos en (1)
para hallar la solucion general de (ELC).