ECUACIONES DIFERENCIALES LINEALES

DE ORDEN SUPERIOR

TEOREMA DE EXISTENCIA Y UNICIDAD

Sea un problema de valor inicial o problema de Cauchy:

L(y ) = yn) + P1(x)yn-1) + ... + Pn-1(x)y' + Pn(x)y

= G(x),

con las condiciones iniciales,

(x0) = y0, (x0) = y1, ..., n-1)(x0) = yn-1 con x0 (a, b), y sean P1, P2, ..., Pn, G,

funciones continuas en el intervalo abierto (a, b). Entonces existe una nica funcin
(x) que es solucin de la ecuacin diferencial L(y) = G(x) y verifica las condiciones

iniciales: (x0) = y0, (x0) = y1, ..., n-1)(x0) = yn-1

La condicin de continuidad de las derivadas parciales se verifica por el hecho de ser

P1, P2, ..., Pnfunciones continuas.

Si no es un problema de Cauchy, sino que es un problema de contorno con las

condiciones definidas en a y b, la situacin es muy diferente ya que aunque P 1, P2, ...,

Pny G, sean funciones continuas en el intervalo abierto (a, b) un problema de contorno

puede tener solucin o no tenerla, y en el caso en que exista solucin sta puede ser
nica o ser mltiple.

Ejemplo:

Expresar la ecuacin diferencial y + 3xy 2y = 0 utilizando el operador D.

1
Ecuaciones Diferenciales
Utilizando el operador D la ecuacin diferencial se expresa de la forma:

(D2+ 3xD 2)(y) = 0.

Demostrar que la ecuacin diferencial y + 2xy + y = 2e x(1 + x) + 2xcos x, tiene una

solucin nica que verifica las condiciones iniciales y(0) = 1 e y(0) = 2.

La ecuacin diferencial es lineal, adems P1(x) = 2x, P2(x) = 1 y G(x) = 2ex(1 + x) +

2xcos x, son funciones continuas en (, ) por lo tanto aplicando el teorema 10.1.2

de existencia y unicidad, existe una nica solucin que verifica que y(0) = 1 e y(0) = 2.
Se puede comprobar, derivando y sustituyendo en la ecuacin, que esta solucin es

y(x) = ex+ sen x

ESTRUCTURA DEL ESPACIO DE SOLUCIONES

Llamaremos espacio de soluciones del sistema lineal al conjunto S formado por todas
sus soluciones, es decir

Una de las propiedades fundamentales de los sistemas lineales homogneos

Es que si 1 y 2 son soluciones del sistema, entonces 1 + 2 es solucin para

todo , R, ya que

El espacio de soluciones de un sistema homogneo es un espacio vectorial real.

2
Ecuaciones Diferenciales
Para sistemas lineales inhomogeneos el resultado anterior admite una generalizacin
inmediata. En efecto, si yp es una solucin particular ja del sistema e y es cualquier
solucin entonces y yp es solucin del sistema homogneo asociado a .Si llamamos
S0 al espacio de soluciones del sistema homogneo entonces yyp S0, o
equivalentemente y yp +S0. Recprocamente, si yH es cualquier solucin del
Sistema.

EL WRONSKIANO

El wronskiano es un determinante introducido en 1812 por el matemtico polaco Jzef

Hoene-Wroski (1776-1853) y nombrado en 1882 por el matemtico escocs Thomas
Muir (1844 1934). Se utiliza en el estudio de las ecuaciones diferenciales ordinarias,
donde a veces puede ser utilizado para mostrar que un conjunto de soluciones es
linealmente independiente.

Dado un conjunto de n funciones, f1, ..., fn, el wronskiano W(f1, ..., fn) est dado por:

El wronskiano es el determinante de la matriz construida al colocar las funciones en el

primer rengln (o fila), la primera derivada de cada funcin en el segundo rengln, y as
hasta la derivada n-1, formando as una matriz cuadrada, algunas veces llamada matriz
fundamental.

El wronskiano puede usarse para determinar si un conjunto de funciones

es linealmente independiente en un intervalo dado:

3
Ecuaciones Diferenciales
 Si el wronskiano es distinto de cero en algn punto de un intervalo, entonces las
funciones asociadas son linealmente independientes en el intervalo.

Esto es til en muchas situaciones. Por ejemplo, si queremos verificar si dos soluciones
de una ecuacin diferencial de segundo orden son independientes, quizs podamos
usar el wronskiano. Notse que si el wronskiano es cero uniformemente sobre el
intervalo, las funciones pueden ser o no ser linealmente independientes.

si un conjunto de funciones es linealmente dependiente en un intervalo, esto

implica obligatoriamente que el wronskiano correspondiente es uniformemente
cero en el intervalo, pero lo segundo no implica lo primero.

Una malinterpretacin comn (desafortunadamente promulgada en muchos textos) es

que si en cualquier lugar, implica una dependencia lineal - lo que es incorrecto.

Sin embargo si ... son funciones analticas y en todas partes,

entonces ... son linealmente dependientes.

Considrese las funciones y definidas para un nmero real x.

Obtngase el wronskiano:

Se ve que no es cero uniforme, as que estas funciones deben ser

linealmente independientes.

Considrese las funciones , , y . Estas funciones son claramente

dependientes, ya que . As, el wronskiano debe

ser cero, siguiendo un pequeo clculo:

4
Ecuaciones Diferenciales
 Como se mencionaba anteriormente, si el wronskiano es cero,
esto no significa en general que las funciones involucradas son

linealmente dependientes. Considerando las funciones y ; esto es,

el valor absoluto de . La segunda funcin puede ser escrita as:

Se puede revisar que estas dos funciones son linealmente independientes sobre
el conjunto de nmero reales, sin embargo, su wronskiano parece ser cero:

FRMULA DE ABEL

En matemticas, la identidad de Abel ( tambin llamado diferencial de la identidad de la

ecuacin de Abel ) es una ecuacin que expresa el wronskiano de dos soluciones de
ecuaciones diferenciales de segundo orden lineal ordinaria homognea en trminos de
un coeficiente de la ecuacin diferencial de origen . La relacin se puede generalizar en
un orden "n" ecuaciones diferenciales lineales ordinarias. La identidad es el nombre del
matemtico noruego Niels Henrik Abel.

Dado que la identidad de Abel relaciona las diferentes soluciones linealmente

5
Ecuaciones Diferenciales
independientes de la ecuacin diferencial, que puede ser utilizado para encontrar una
solucin a partir de la otra . Se proporciona identidades tiles relacionadas las
soluciones, y tambin es til como parte de otras tcnicas tales como el mtodo de
variacin de parmetros. Es especialmente til para las ecuaciones, tales como la
ecuacin de Bessel donde las soluciones no tienen una forma analtica sencilla, ya que
en tales casos el wronskiano es difcil de calcular directamente.
Una generalizacin de sistemas de primer orden de las ecuaciones diferenciales
lineales homogneas viene dada por la frmula de Liouville.

6
Ecuaciones Diferenciales