ndice General
1 Introduccin
Introduccin
A lo largo de este tema estudiaremos los sistemas de ecuaciones diferenciales. Un sistema de ecuaciones
diferenciales es un conjunto de ecuaciones diferenciales que contienen varias funciones incgnitas y sus
derivadas.
Ejemplo 1.1 El sistema de ecuaciones diferenciales
00
x1 2x01 x2 = e3t
x02 6x1 = 0
posee como funciones incgnitas x1 (t) y x2 (t). La variable independiente es t y una solucin de este
sistema en el intervalo (, +) est dada por el par de funciones x1 (t) = e3t , x2 (t) = 2e3t , como
puede comprobarse mediante una simple sustitucin.
Normalmente, se usa la letra t para denotar a la variable independiente, y las letras x1 , x2 , . . . , xn o
y1 , y2 , . . . , yn para indicar las funciones incgnitas, aunque si los sistemas tienen slo dos o tres ecuaciones
es tambin frecuente el uso de las letras x, y, z para las funciones incgnitas. A veces se utiliza la letra
x para la variable independiente cuando son y1 , y2 , . . . , yn las que se usan para las funciones incgnitas.
Seguiremos adems la costumbre de no indicar explcitamente la variable independiente (excepto si ello
fuera necesario). Por el contexto debe quedar claro que letras designan a las funciones incgnitas y cal
es la variable independiente.
La forma ms general que adopta un sistema de ecuaciones diferenciales es la siguiente
p)
p)
p)
0
0
0
F
,
x
,
.
.
.
,
x
,
x
,
x
,
.
.
.
,
x
,
.
.
.
,
x
,
x
,
.
.
.
,
x
t,
x
=0
n
1
1
2
n
1
2
n
1
2
p)
p)
p)
0
0
0
F
t,
x
=0
,
x
,
.
.
.
,
x
,
x
,
x
,
.
.
.
,
x
,
.
.
.
,
x
,
x
,
.
.
.
,
x
n
2
1
2
n
1
2
n
1
2
..
Puede observarse la presencia de la variable independiente t, de las n funciones incgnitas x1 (t), x2 (t), . . . , xn (t),
y de las derivadas de estas funciones, hasta el orden p. Debido a esto ltimo, se dice que el sistema es de
orden p. El nmero de ecuaciones es m.
Los sistemas en los que el nmero de ecuaciones es distinto al de funciones incgnitas plantean problemas en cuanto a la existencia de soluciones, y precisan de un estudio particular para cada caso. Por
ello, en este tema slo consideraremos sistemas con igual nmero (usualmente n) de ecuaciones que de
incgnitas. En cuanto al orden, nos limitaremos a los sistemas de primer orden y veremos cmo pasar
a sistemas de primer orden otros de orden superior. Ponemos de manifiesto esta idea en los siguientes
ejemplos.
Ejemplo 1.2 Un caso de especial importancia es el de una ecuacin diferencial de orden n con una solo
incgnita
xn) = f t, x, x0 , . . . , xn1)
u2 = x0 ,
u3 = x00 , . . . , un = xn1)
As se obtiene
0
u1 = u2
u2 = u3
..
.
un1 = un
u0n = f (t, u1 , u2 , . . . , un )
u2 = x01
u4 = x02
u5 = x002
u02 = f (t, u1 , u2 , u3 , u4 , u5 )
u03 = u4
u0 = u5
40
u5 = g (t, u1 , u2 , u3 , u4 , u5 )
Los sistemas que hemos obtenido en los dos ejemplos anteriores tienen todas sus derivadas despejadas
en el primer miembro de las ecuaciones y adems, tienen el mismo nmero de ecuaciones que de incgnitas.
Un sistema de primer orden que est escrito de esa forma se dice que est en forma normal.
10
x2 = f2 (t, x1 , x2 , . . . , xn )
..
0
xn = fn (t, x1 , x2 , . . . , xn )
Si denotamos mediante X la funcin vectorial (x1 , x2 , . . . , xn )t cuyas componentes son las funciones
incgnitas y F(t, X) es la funcin vectorial (f1 , f2 , . . . , fn )t podemos escribir el sistema de primer orden
en forma normal de una manera ms compacta
X0 = F(t, X)
Una solucin de este sistema de ecuaciones diferenciales es un conjunto de funciones (x1 , x2 , . . . , xn )t
que satisfacen cada una de las ecuaciones del sistema en algn intervalo I R.
Consideremos n nmeros reales x10 , x20 , . . . , xn0 que pueden tratarse como las componentes de un
vector X0 Rn . El problema (cuya solucin est por ver si existe) de encontrar una solucin del sistema
de ecuaciones diferenciales X0 = F(t, X) que en t0 I cumpla las igualdades
x1 (t0 ) = x10 , x2 (t0 ) = x20 , . . . , xn (t0 ) = xn0
o lo que es lo mismo X(t0 ) = X0 , se llama problema de valores iniciales o de condiciones iniciales.
Los nmeros x10 , x20 , . . . , xn0 son los valores iniciales y las igualdades
x1 (t0 ) = x10 , x2 (t0 ) = x20 , . . . , xn (t0 ) = xn0
son las condiciones iniciales. De forma resumida, un problema de valores iniciales est constituido por el
par
X0 = F(t, X)
X(t0 ) = X0
En lo que sigue, trabajaremos con sistemas de ecuaciones diferenciales lineales de primer orden en
forma normal. Daremos un teorema de existencia y unicidad de soluciones para un problema de valores
iniciales y aquellos resultados generales que justifican el mtodo de clculo de las soluciones que veremos
al trabajar con sistemas lineales con coeficientes constantes.
A partir de ahora nos centraremos en los sistemas de ecuaciones diferenciales lineales de primer
orden, es decir, sistemas que en forma normal se expresan mediante
0
x1 = a11 (t)x1 + + a1n (t)xn + b1 (t)
0
xn = an1 (t)x1 + + ann (t)xn + bn (t)
x1
x1
a11 (t) a1n (t)
b1 (t)
x02 a21 (t) a2n (t) x2 b2 (t)
.. =
.. + ..
..
..
..
.
.
.
.
.
x0n
an1 (t)
ann (t)
xn
bn (t)
X(t0 ) = X0
X0 = A(t) X + B(t)
X(t0 ) = X0
para cualquier vector X0 Rn dado, tiene una nica solucin definida en el intervalo I.
Obsrvese que el teorema anterior permite asegurar que todo sistema diferencial de la forma X0 =
A(t) X + B(t), en el que A(t) y B(t) son continuas en un intervalo I, tiene infinitas soluciones.
Vamos a estudiar en esta seccin tcnicas de resolucin de sistemas diferenciales lineales homogneos.
Para ello necesitamos conocer las propiedades de las soluciones de este tipo de sistemas.
Ante todo observemos que X(t) = 0 para todo t I es una solucin de cualquier sistema homogneo.
Esta solucin se llama solucin trivial.
Definicin 3.1 Consideremos X, X1 , X2 , . . . , Xk : I Rn , k + 1 funciones vectoriales definidas en
el intervalo I. Se dice que X es combinacin lineal de la funciones X1 , X2 , . . . , Xk en el intervalo I
si existen k nmeros reales C1 , C2 , . . . , Ck tales que
X(t) = C1 X1 (t) + C2 X2 (t) + + Ck Xk (t)
t I
t I
3. El conjunto de todas las soluciones del sistema homogneo es un espacio vectorial de dimensin n,
siendo n el nmero de ecuaciones e incgnitas del sistema.
De este teorema se deduce que cualquier solucin del sistema lineal homogneo puede expresarse
como combinacin lineal de las funciones de una base de soluciones. Una tal base se denomina sistema
fundamental de soluciones del sistema lineal homogneo. As pues, la solucin general del sistema
lineal homogneo es
X(t) = C1 X1 (t) + C2 X2 (t) + + Cn Xn (t)
cuyas columnas son las soluciones del sistema fundamental. De esta forma la solucin general puede
escribirse en la forma X(t) = M(t) C. Una matriz, cuyas columnas forma un sistema fundamental se
llama matriz fundamental.
Para el clculo de la solucin general de un sistema lineal homogneo necesitamos no slo encontrar
n soluciones, sino que stas deben formar base. En este sentido, resulta muy til disponer de un criterio
de independencia lineal como el que proporciona el siguiente teorema.
Por tanto, para que X(t) = et v 6= 0 sea solucin del sistema diferencial X0 = A X es condicin
necesaria y suficiente que sea autovalor (valor propio) de A y v 6= 0 un autovector (vector propio)
asociado. As que, cuando calculemos los autovalores y autovectores de la matriz A, tendremos soluciones
de nuestro sistema diferencial. Sin embargo, no se debe olvidar que necesitamos obtener n soluciones
linealmente independientes.
Supongamos que se han calculado ya los autovalores y autovectores de A. Entonces, nos podemos
encontrar dos situaciones:
(a) Que la matriz A tenga n autovectores v1 , v2 , . . . vn linealmente independientes, asociados a los
autovalores 1 , 2 , . . . , n , respectivamente (los n autovalores no han de ser distintos), es decir, la
matriz A es diagonalizable.
(b) Que la matriz A slo tenga k (k < n) autovectores linealmente independientes, es decir, la matriz
A no es diagonalizable.
Analizaremos las dos situaciones:
Caso (a): En esta situacin contamos con n soluciones del sistema X0 = A X que son
e1 t v1 , e2 t v2 , . . . , en t vn
y que adems son linealmente independientes, ya que al evaluarlas en el punto t = 0 los vectores obtenidos
son linealmente independientes. Por tanto, en este caso, toda solucin del sistema se puede expresar en
la forma
X(t) = C1 e1 t v1 + C2 e2 t v2 + . . . + Cn en t vn
donde C1 , C2 , . . . , Cn R.
Un caso en el que podemos asegurar que la matriz A contar con n autovectores linealmente independientes se produce cuando los n autovalores de A son distintos, ya que, recurdese, autovectores asociados
a autovalores diferentes son siempre linealmente independientes.
Debe observarse que cuando algn autovalor de A sea complejo (no real), entonces los autovectores
v asociados son tambin complejos. Por tanto, la solucin X(t) = et v es compleja. Si interesa expresar
las soluciones en el campo real, bastar saber que las partes reales e imaginarias de una solucin compleja
del sistema tambin son soluciones. En efecto, si X(t) = Y(t) + iZ(t) es solucin de X0 = A X, entonces
Y0 (t) + iZ0 (t) = A (Y(t) + iZ(t)) = A Y(t) + iA Z(t)
por lo que igualando partes reales e imaginarias obtenemos
Y0 (t) = A Y(t),
Z0 (t) = A Z(t)
son dos soluciones reales linealmente independientes del sistema X0 = A X, ya que evalundolas en t = 0
obtenemos los vectores u y w que son linealmente independientes.
t2
2
3
t
13
13
13
v + t (A I) v + (A I) v
X (t) =e
2!
donde v13 es un vector que verifica que (A I)2 v13 6= 0 y (A I)3 v13 = 0
..
.
tm1
m1
v1m
(A I)
(m 1)!
Se puede comprobar que efectivamente X1 (t) , X2 (t) , . . . , Xm (t) son soluciones del sistema homogneo sustituyendo estas expresiones en X0 = A X.
Los vectores v12 , v13 , . . . , v1m se denominan autovectores generalizados asociados al autovalor y la
existencia de estos autovectores generalizados est garantizada por el siguiente resultado.
Teorema 4.1 Si los autovalores de la matriz A son 1 , 2 , . . . , k y tienen multiplicidades algebricas
m1 , m2 , . . . , mk , respectivamente, entonces para cada i (1 i k) existen mi vectores linealmente
independientes que verifican (A i I)r v = 0 para algn entero positivo r.
El conjunto formado por los n = m1 + m2 + + mk vectores as construidos, considerando todos los
autovalores, es linealmente independiente.
Adems, si v es autovector generalizado asociado a i , entonces (A i I)mi v = 0.
Resumiendo lo anterior, un mtodo algortmico para encontrar n soluciones l.i. de un sistema
diferencial lineal homogneo X0 = A X, es decir, para determinar la solucin general del sistema, es el
que se describe a continuacin.
Buscamos los autovalores y autovectores de la matriz A. Entonces:
(a) Si A tiene n autovectores l.i., la solucin general es
X(t) = C1 e1 t v1 + C2 e2 t v2 + . . . + Cn en t vn
donde v1 , v2 , . . . vn son n autovectores l.i. asociados a los autovalores 1 , 2 , . . . , n respectivamente.
(b) Si A tiene nicamente k < n autovectores l.i., entonces inicialmente se tienen nicamente k soluciones l.i. del tipo et v, correspondientes a esos k autovectores l.i. Para encontrar las n k restantes
soluciones l.i. que nos hacen falta, se procede como sigue:
Para cada autovalor repetido cuya multiplicidad algebraica no coincida con la multiplidad geomtrica se encuentran todos los vectores v para los cuales
(A I) v 6= 0,
(A I) v = 0
(A I)3 v = 0
t2
2
t
v + t (A I) v+ (A I) v
e
2!
es una solucin adicional l.i. con las anteriores.
Este proceso se contina hasta encontrar para cada autovalor repetido tantos vectores l.i. como
indique su multiplicidad algebrica.
NOTA: Para los sistemas lineales homogneos con coeficientes variables, no se cuenta con un mtodo
general para determinar n soluciones l.i.
De acuerdo con el segundo apartado de este teorema, cuando se quiera resolver el sistema no homogneo X0 = A(t) X + B(t), bastar encontrar la solucin general Xg (t) del sistema homogneo
X0 = A(t) X y una solucin particular Xp (t) del sistema completo.
Ya hemos desarrollado un mtodo para obtener la solucin general Xg (t) del sistema homogneo
cuando los coeficientes son constantes. Ahora, nos dedicaremos a desarrollar mtodos para encontrar una
solucin particular del sistema completo, suponiendo que se tiene resuelto el sistema lineal homogneo
asociado.
PRIMER MTODO: Variacin de constantes
Supongamos que X1 (t), X2 (t), . . . , Xn (t) son n soluciones linealmente independientes del sistema
homogneo X0 = A(t) X, y que por tanto su solucin general Xg (t) puede expresarse en la forma
n
Xg (t) = C1 X1 (t) + C2 X2 (t) + + C
=
n X (t)
C1
C2
= X1 (t) | X2 (t) | . . . | Xn (t) . = M(t) C
..
Cn
Si ahora sustituimos el vector constante C por una funcin vectorial C(t), veremos que es posible
determinar esta funcin para que
Xp (t) = M(t) C(t)
sea solucin del sistema completo X0 = A(t) X + B(t). En efecto:
Xp (t)
Concluimos por tanto, que una solucin particular del sistema completo es
Z
Xp (t) = M(t) M1 (t) B(t)dt
As que las soluciones del sistema no homogneo se pueden expresar en la forma
Z
X(t) = M(t) C + M(t) M1 (t) B(t)dt
donde, como se ha dicho, M(t) es una matriz fundamental del sistema homogneo, y C es una columna
de constantes arbitrarias.
Ntese que el mtodo de variacin de constantes puede ser aplicado para encontrar una solucin
particular de cualquier sistema diferencial del cual conozcamos una matriz fundamental M(t) del sistema
homogneo asociado, no necesariamente ha de ser ste un sistema con coeficientes constantes (aunque sea
ste el nico caso en el que tenemos un procedimiento sistemtico para la obtencin de M(t)).
10
1 2 2
9t
1 2 y B(t) =
0
A = 2
2
2 1
18t
La solucin general del sistema homogneo X0 = A X viene dada por (calclese)
1
1
1
Xg (t) = C1 e3t 0 + C2 e3t 1 + C3 e3t 1
1
0
1
Puesto que B(t) = tc, siendo c = (9, 0, 18)t , buscaremos una solucin particular de la forma
Xp (t) = ta + b
donde a y b son vectores contantes de R3 por determinar (a y b son los coeficientes indeterminados).
Imponiendo que Xp (t) = ta + b sea solucin del sistema resulta que
a = A (ta + b) + tc
es decir,
t (Aa + c) + (Ab a) = 0
por lo que igualando coeficientes obtenemos
Aa = c y Ab = a
Resolviendo el primer sistema se tiene que a = (5, 2, 4)t , sustituyendo este valor en el segundo sistema
t
obtenemos b = (1, 0, 2) y por tanto, una solucin particular del sistema no homogneo es
5
1
Xp (t) = t 2 + 0
4
2
1
1
1
5
1
X(t) = C1 e3t 0 + C2 e3t 1 + C3 e3t 1 + t 2 + 0 .
1
0
1
4
2
Sealamos que la solucin particular propuesta debe modificarse si alguno de sus sumandos es solucin
del sistema homogneo asociado. Para los sistemas no explicaremos como modificar la solucin propuesta.
Esta modificacin se ha desarrollado con todo detalle para las ecuaciones diferenciales lineales de orden
n y de coeficientes constantes en un tema anterior.