Las ecuaciones diferenciales (E.D.) son expresiones matemticas que establecen relaciones
entre variables independientes, dependientes y las derivadas de sta ltima. Las E.D. tienen diversas
clasificaciones, una de ellas indica que este tipo de ecuaciones pueden ser: Ordinarias y Parciales
Ecuaciones diferenciales ordinarias: aquellas que contienen derivadas respecto a una sola
variable independiente.
Algunos ejemplos de ecuaciones diferenciales son:
La expresin
Solucin particular: Si fijando cualquier punto P(X0,Y0) por donde debe pasar necesariamente
la solucin de la ecuacin diferencial, existe un nico valor de C, y por lo tanto de la curva integral que
satisface la ecuacin, este recibir el nombre de solucin particular de la ecuacin en el punto P(X0,Y0)
recibe el nombre de condicin Inicial. Es un caso particular de la solucin general, en donde la
constante (o constantes) recibe un valor especfico.
2.
Solucin singular: una funcin que verifica la ecuacin, pero que no se obtiene particularizando
la solucin general.
3.
1.
Son ecuaciones de la forma:
Separar las variables. Esto significa que los trminos relativos a la variable
dependiente queden a un lado de la igualdad y en el otro los que representan a la otra variable. Por
tanto:
dy
M ( x) dx
N ( y)
2.
Son ecuaciones de la forma:
ECUACIONES HOMOGNEAS:
M ( x, y )dx N ( x, y )dy 0
Las cuales se puede resolver mediante el siguiente conjunto de pasos, que ser llamado de aqu en
adelante ALGORITMO HOMOGNEO.
y=vx (I)
dy=vdx+xdv (II)
Como se puede apreciar, esta ecuacin es una ecuacin diferencial de Bernoulli, con n=0.
En la cual, si se hace la sustitucin z = y1 n, la ecuacin se transforma en una ecuacin lineal con z como
variable dependiente, resolvindose de manera anloga.
Donde P(x) y Q(x) son funciones continuas cualesquiera. Su solucin para > 1 viene dada por:
Resolvindose con la sustitucin y' = p, obtenindose una solucin general y una solucin particular.
Como se puede apreciar, esta ecuacin es una forma particular de la ecuacin diferencial de Lagrange, con
g(y') = y', por lo cual, su resolucin es anloga a la anterior.
...
donde
y su derivada
Esta notacin, adems de simplificar la escritura, enfatiza el paralelismo entre los sistemas y las
ecuaciones diferenciales lineales de primer orden.
Se dice que un vector x = {f (t)} es solucin del sistema si sus componentes satisfacen todas las
ecuaciones del sistema.
Supngase que P y q son continuos en un intervalo a < t < b . En primer lugar, se estudia la ecuacin
homognea
(1)
Una vez que esta ecuacin est resuelta se resolver la no-homognea.
Sean
Estas soluciones sern linealmente independientes en cada punto t del intervalo a < t < b si y slo si el
determinante es distinto de cero en ese punto. Al determinante de X se le llama wronskiano de las n
soluciones.
Teorema 2
Si las funciones vectoriales , , ......, son soluciones linealmente independientes del sistema (1) en
cada punto de a < t < b entonces la solucin del sistema {f (t)} puede ser expresada como una
combinacin lineal de , , ......, .
Para demostrarlo vase que con slo elegir adecuadamente los valores de las constantes se puede
obtener la solucin {f (t)} que cumpla unas determinadas condiciones de contorno en un punto del
intervalo
a<t<b
Sean estas condiciones
siendo
Si
Sustituyendo el valor
Este sistema tiene solucin para las incgnitas , , ........, si el determinante de los coeficientes es
distinto de cero. Como el wronskiano es distinto de cero -las funciones son independientes- en el
intervalo a < t < b , el determinante es distinto de cero. Por consiguiente hay una nica solucin del
sistema y
Derivando
pero
Por tanto
Teorema 3
Si , , ......,
son soluciones de
en el intervalo a < t < b entonces en este intervalo el wronskiano o es cero o nunca es cero.
La demostracin surge como una consecuencia de la frmula de Abel. Si las funciones
son
continuas en (a ,b ) la traza de la matriz P(t) es una funcin continua y por consiguiente la funcin
exponencial no se anula para valores de x pertenecientes al intervalo (a ,b ). El nico valor que puede
ser cero es la constante K. Si lo es, el wronskiano es cero para cualquier valor de x; en caso contrario,
nunca se anula.
Teorema 4
Si se llama
,
y las soluciones , , ......,
, ... ,
donde t es cualquier punto en a < t < b , entonces , , ......, son conocidas como soluciones
fundamentales y cualquier solucin del sistema se puede expresar como una combinacin lineal de
estas soluciones fundamentales.
La demostracin es una consecuencia de lo visto en teoremas anteriores. Estas soluciones
fundamentales son linealmente independientes, ya que en un punto del intervalo su wronskiano es
distinto de cero; en concreto, vale uno. Al ser un conjunto de n soluciones linealmente independientes
constituye un conjunto generador de soluciones.
x' = Ax
donde A es una matriz n x n. Por analoga a las ecuaciones lineales de primer orden con coeficientes
constantes, se busca una solucin de la forma
como
o
(A-rI)a = 0
donde I es la matriz identidad. Por tanto para resolver el sistema de ecuaciones diferenciales se ha de
obtener la solucin de un sistema algebraico. Precisamente ste es el problema de determinacin de
vectores y valores propios de la matriz A. Por tanto el vector
solucin del sistema viene definido por los valores r que son los autovalores de A y los vectores a son
sus autovectores asociados.
Ejemplo
Suponiendo
se llega a que
luego
Son soluciones:
El wronskiano es
det (A - rI) = 0
A) Sistema Hermtico:
La situacin ms simple se da cuando A es una matriz hermtica (una matriz que es igual a su
transpuesta conjugada; en el caso de ser de elementos reales, una matriz hermtica es sinnima de
simtrica). Como se sabe las races son todas reales. Aunque haya alguna repetida hay siempre un
conjunto de n autovectores
linealmente independientes, que adems se pueden elegir de
modo que sean ortogonales.
Por tanto las soluciones del sistema son:
...
cada una de las columnas son los vectores propios, que son independientes entre s. Por consiguiente
su determinante es distinto de cero y como tambin lo es el factor exponencial que aparece en la
frmula anterior, entonces W 0. Las soluciones son linealmente independientes, y la solucin general
es: