ANTECEDENTES

1.2 Antecedentes

Históricamente, el estudio de las soluciones de las EDO (ecuaciones

diferenciales ordinarias), se han desarrollado en tres grandes escenarios: el
algebraico, el numérico y el geométrico. Desde este punto de vista histórico, el
primer entorno donde se desarrolló la teoría de las EDO es el algebraico.

Multitud de intentos brindaron los métodos conocidos hoy, muchos de los

cuales tienen más de 200 años, y siguen siendo objeto de estudio, tanto desde el
punto de vista didáctico como matemático.

Las EDO sirven para modelar problemas cuya esencia es objeto de estudio
por una rama de la ingeniería o de las ciencias: física, química, economía, etc. En
el 1963, Huygens habla explícitamente de ecuaciones diferenciales, en ese mismo
año, Leibniz dice que las EDO son funciones del triángulo característico. En 1690,
Jacques Bernoulli planteo el problema de encontrar la curva que adopta una
cuerda flexible, inextensible y colgada de dos puntos fijos, llamada catenaria.

Leibniz descubrió la técnica de separación de variables en el 1691; en 1694

dy
encontró la resolución de la ecuación + p ( x ) y =q ( x ) . En 1694, Leibniz y Jean
dx
Bernoulli estudiaron el problema de encontrar la familia de curvas que cortan con
un ángulo a una familia de curvas dadas. En 1739, Clairaut dio la condición
∂m ∂n
= , para las ecuaciones diferenciales de primer orden exactas, es decir, las
∂y ∂x
ecuaciones
M ( x , y ) dx+ N ( x , y ) dy=0 , para las cuales existe una función z=z (x , y ) tal que
dz=Mdx+ Ndy , condición que fue dada de forma independiente por Euler en 1734.

Los sistemas de ecuaciones diferenciales surgen en la historia de las

matemáticas con la misma intención que las ecuaciones diferenciales ordinarias:
Analizar cuantitativamente determinados sistemas físicos, en particular los
astronómicos.

El problema matemático fundamental al estudiar el movimiento de dos o

más cuerpos, moviéndose cada uno bajo la acción gravitatoria de los otros, es el
de resolver un sistema de ecuaciones diferenciales ordinarias. El primer éxito lo
obtuvo Isaac Newton, al demostrar que a partir de sus leyes de movimiento y de la
ley de gravitación universal se podían deducir las 3 leyes de Kepler. La noción de
polinomio característico aparece en el trabajo de Lagrange sobre sistemas de
ecuaciones diferenciales publicados en 1774 y en el trabajo de Laplace en 1775.

En 1812, Laplace presento lo que ahora se conoce como “La transformada

de Laplace” para encontrar la solución de ecuaciones diferenciales lineales de
coeficientes constantes. En 1820, Cauchy probó la existencia de soluciones de las
ecuaciones diferenciales y ' =f (t , y ) bajo ciertas condiciones. En 1890, Picard
estableció un método de aproximaciones sucesivas que permitió establecer el
teorema de existencia y unicidad de las ecuaciones diferenciales de orden N. El
mismo Cauchy introdujo la notación vectorial usada en la actualidad.

Cayley introdujo los métodos matriciales a mediados del siglo XIX, los
cuales ayudaron a Jacobi a resolver sistemas de ecuaciones diferenciales lineales
de coeficientes constantes, donde la matriz del sistema es diagonizable. Más
tarde, Jordan introduce lo que se conoce como la forma canónica de Jordan, que
se utiliza para resolver sistemas de ecuaciones lineales donde la matriz no es
diagonizable.
 MARCO TEORICO

2.1 Definición de términos

Un sistema de ecuaciones diferenciales es un conjunto de varias ecuaciones diferenciales
con varias funciones incógnitas y un conjunto de condiciones de contorno. Una solución de
un sistema de ecuaciones diferenciales es un conjunto de funciones diferenciables que
satisfacen todas y cada una de las ecuaciones del sistema.

Definición 2.1 Un sistema de ecuaciones diferenciales de primer orden, tiene la siguiente

forma:

(1)

Cuando cada una de las funciones en es lineal en las variables

dependientes , se obtiene la forma normal de un sistema de ecuaciones lineales

de primer orden.
 Hacemos referencia a un sistema de la forma , simplemente como un sistema
lineal.

Suponemos que los coeficientes , así como las funciones son continuas en un

intervalo . Cuando , se dice que el sistema es

homogéneo; de otro modo es no homogéneo.

2.2 Forma matricial de un sistema lineal

Si denotan las matrices respectivas:

entonces el sistema de ecuaciones diferenciales lineales de primer orden (2) se puede

escribir como:
o simplemente se escribe

(3)

Si el sistema es homogéneo, su forma matricial es entonces

(4)

Definición 2.2 Un vector solución en un intervalo I es cualquier matriz columna

cuyos elementos son funciones derivables que satisfacen el sistema (3) en el

intervalo.

Definición 2.2 Sea un punto en un intervalo I y

donde las son las constantes dadas. Entonces el problema

 Resolver:
(5)
Sujeto a

es un problema con valores iniciales en el intervalo I.

En el siguiente resultado se establece la existencia de una solución única de un problema de

valores iniciales.

Teorema 2.1 (teorema 8.1.1 de [ 9]). Sean los elementos de las matrices

funciones continuas en un intervalo común I que contiene al punto . Entonces existe una
solución única del problema con valores iniciales (5) en el intervalo I.

El siguiente resultado es un principio de superposición para soluciones de sistemas lineales

homogéneos.

Teorema 2.2 (teorema 8.1.2 de [ 9 ]). Sea un conjunto de vectores solución

del sistema homogéneo (4) en el intervalo I. Entonces la combinación lineal

donde las son constantes arbitrarias, es también una solución en el

intervalo I.
Definición 2.4. Sea un conjunto de vectores solución del sistema
homogéneo (4) en un intervalo I. Se dice que el conjunto es linealmente dependiente en

el intervalo I si existen constantes , no todas cero, tales que:

para toda t en el intervalo. Si el conjunto de vectores no es linealmente dependiente en el

intervalo, se dice que es linealmente independiente.

Teorema 2.3 (Teorema 8.1.3 de [ 9 ]). Sean

vectores solución del sistema homogéneo (4) en un intervalo I. Entonces el

conjunto de vectores solución es linealmente independiente en I si y solo si el
wronskiano

para toda t en el intervalo.

Definición 2.5 Cualquier conjunto de n vectores solución linealmente

independientes del sistema (4) en un intervalo I se dice que es un conjunto fundamental
de soluciones en el intervalo.
Teorema 2.4 (Teorema 5.3 de [ 11 ]). Existe un conjunto fundamental de soluciones para
el sistema homogéneo (4) en un intervalo I.

Teorema 2.5 (Teorema 5.4 de [ 11 ]). Sea un conjunto fundamental de

soluciones del sistema homogéneo (4) en un intervalo I. Entonces la solución general del
sistema en el intervalo es:

donde las son constantes arbitrarias.

Teorema 2.6 (Teorema 5.5 de [ 11 ]). Sea una solución dada del sistema no
homogéneo (3) en un intervalo I y sea:

, que denota la solución general en el mismo intervalo del

sistema asociado (4). Entonces la solución general del sistema no homogéneo en el
intervalo es:

La solución general del sistema homogéneo relacionado (4) se llama función

complementaria del sistema no homogéneo (3).

2.3 Eigenvalores y Eigenvectores de sistemas lineales homogéneos

Definición 2.6 Sea el vector , un vector solución del sistema lineal

homogéneo (4), es decir, , entonces , por lo que el sistema se

convierte en Después de dividir ambos lados entre y
reacomodando, se obtiene Ya que , la última
ecuación es igual a

(6)

La ecuación matricial (6) es equivalente a las ecuaciones algebraicas simultáneas:

Por lo que para encontrar soluciones X de (4), necesitamos primero encontrar una
solución no trivial del sistema anterior; en otras palabras, debemos encontrar un
vector no trivial K que satisfaga a (6). Pero para que (6) tenga soluciones que no

sean la solución trivial obvia , se debe tener:

Esta ecuación polinomial en se llama ecuación característica de la matriz A. Sus

soluciones son los eigenvalores de A. Una solución de (6) correspondiente a
un eigenvalor se llama eigenvalor de A. Entonces una solución del sistema

homogéneo (4) es .
Tres casos distintos se podrían dar en la solución de sistemas de ecuaciones diferenciales
lineales por medio de matrices, que son: si los eigenvalores son reales y distintos, si los
eigenvalores son repetidos y si los eigenvalores son complejos.

2.4 Sistemas lineales no homogéneos

La solución general de un sistema lineal no homogéneo en un intervalo

es , donde es la solución general sistema

homogéneo asociado y es cualquier solución particular del sistema no homogéneo.

Los métodos de coeficientes indeterminados y variación de parámetros empleados para

determinar soluciones particulares empleados para determinar soluciones particulares de
ecuaciones diferenciales ordinarias lineales no homogéneas, se pueden adaptar a la

solución de sistemas lineales no homogéneos . De estos dos métodos, el

método de variación de parámetros es el más poderoso.

2.4.1 Variacion de parámetros

Matriz fundamental. Si es un conjunto fundamental soluciones del sistema

homogeneo en el intervalo , entonces su soslucion general es la combinacion
lineal

o
 , (1)

donde C es un vector columna de constantes arbitrarias y la matriz

, cuyas columnas consisten en los elementos de los vectores solucion del sistema
,

se llama matriz fundamental del sistema en el intervalo.

Es obvio que una matriz fundamental es no singular ya que sus columnas son linealmente

independientes. Ademas, si es una matriz fundamental del sistema , entonces

se deduce que

Observando el teorema 2.3, se determina que es igual al Wronskiano

. Por tanto, la independencia lineal de las columnas de en el

intervalo I garantiza que para toda en el intervalo. La no singularidad de

garantiza la existencia de para toda en el intervalo.

Analogamente al procedimiento para resolver una ecuacion lineal de orden por variacion
de parametros, surge la siguiente pregunta: ¿es posible reemplazar la matriz C en (1) por
una matriz columna de funciones

de modo tal que

(1)

sea una solucion particular de sistema no homogeneo

? (2)

En efecto, aplicando la regla del producto en esta ultima expresion, se obtiene

. (3)
El orden del producto, en (3) es relevante, ya que, por ser una matriz columna, los

productos no estan definidos. Sustituyendo (1) y (3) en (2), se obtiene

. (4)

Ahora, tomando encuenta que y sustituyendo en (4), se obtiene

. (5)

Mulplicando ambos lados de (5) por , ya que se ha establecido su existencia, se

obtiene

Luego, la solución particular de (2) es

2.5 Matriz exponencial

Dado el sistema homogéneo , es posible definir una matriz exponencial tal

que

(1)
sea una solución del sistema. es una matriz de constantes de orden y C es una matriz

columna de constantes arbitrarias de tamaño .

La definición de se basa en la representación en serie de potencias de la función

exponencial escalar :

(2)

La serie en (2) converge para toda . Se puede usar esta serie para definir la matriz

exponencial , con la identidad en vez de 1 y la constante se reemplaza por una

matriz de constantes de tamano , en la forma siguiente:

Definición 2.7 Para cualquier matriz de tamano ,

(3)

Se puede demostrar que la serie dada en (3) converge a una matriz para todo valor de
.
2.5.1 Derivada e integral de .

La derivada de la matriz exponencial es similar a la derivada del exponencial escalar , es

decir,

, (4)

Integrando ambos miembros de (4) respecto a se obtiene

Si es no singular, al premultiplicar por la inversa de se obtiene

siendo una matriz de constantes.

Ahora se puede probar que (1) es una solución del sistema homogéneo para todo

vector constante C de tamaño :

.
Si se denota la matriz exponencial por , entonces la expresión (4) es equivalente a
la

ecuación diferencial matricial . Además, se deduce de la definición 2.7 que

, y por tanto . Se tiene que estas propiedades son suficientes

para concluir que es una matriz fundamental del sistema .

Ya se sabe que la solución general de la ecuación diferencial lineal de primer orden

, donde es una constante, se puede expresar como

Para un sistema no homogéneo de ecuaciones diferenciales lineales de primer orden, se

puede demostrar que la solución general de , donde es una matriz

constante de tamaño ,

.
(5)

Por ser una matriz fundamental, siempre es no singular y .

2.5.2 Calculo de
La definición de siempre se puede usar para calcular . Sin embargo, la utilidad

práctica de la definición está limitada por el hecho de que los elementos de son series de
potencias en . Una forma alternativa de calcular esta matriz exponencial es el uso de la
transformada de Laplace.

Se ha establecido que es una solución de . De hecho, puesto que

es una solución del problema con valores iniciales

.
(6)

Si , entonces la transformada de Laplace de (6) es

Multiplicando la última ecuación por se tiene que

En otras palabras, o

. (7)

Referencias

9 Pool, David. Álgebra lineal. Una introducción moderna. Thomson.

11 Dennis G. Zill, Michael R. Cullen. Ecuaciones Diferenciales con problemas con
valores en la frontera. Séptima Edición, 2009.