ECUACIONES DIFERENCIALES DE ORDEN N

1. INTRODUCCIN:
Hasta el momento hemos trabajado con ecuaciones diferenciales de orden uno, es decir,
. Ahora vamos a estudiar ecuaciones con derivadas de cualquier orden:
Esta es la ecuacin lineal completa de coeficientes variables, dada en un abierto
de la recta real, en el que se debe cumplir que
, y que
y
son funciones continuas en
. En el caso particular de que
se llamara ecuacin homognea de coeficientes variables.
TEOREMA(De unicidad): El teorema de unicidad nos garantiza que para todo conjunto de condiciones de la
forma:

Existe una nica funcin definida en dicho intervalo

que verifica dichas condiciones.
Sin embargo, no pasa lo mismo si nos dan una serie de condiciones de frontera, consistentes en:

En tal caso no hay nada garantizado, ya que aqu puede haber varias, una o ninguna solucin.
TEOREMA(De superposicin): Sean
soluciones de la ecuacin diferencial Entonces el teorema de superposicin nos garantiza que la suma de
soluciones es solucin de la ecuacin diferencial.
Empezaremos por estudiar la ecuacin homognea asociada a la ecuacin completa dada (haciendo
). Despus pasaremos a estudiar la ecuacin completa. La solucin vendr dada por la solucin general de la
homognea ms una solucin particular de la completa.
2. ESTUDIO DE LA ECUACIN HOMOGENEA:
Primero vamos a estudiar la resolucin de ecuaciones diferenciales homogneas de orden
lineales y con coeficientes constantes:
2.1. RESOLUCIN DE LA HOMOGENEA DE COEFICIENTES CONSTANTES:
Dichas ecuaciones son de la forma:

Las soluciones son de la forma

, con lo cual:

Sustituyendo:

Como
, ha de ocurrir que:

A dicha expresin la llamamos ecuacin caracterstica. Si

es solucin de la ecuacin caracterstica, entonces
es solucin de la ecuacin diferencial. Por tanto la ecuacin lineal tiene
soluciones linealmente independientes. Las soluciones de la ecuacin caracterstica pueden ser de diversos
tipos:
Reales simples:
En este caso tenemos
. Por tanto las soluciones de la ecuacin diferencial correspondiente sern:

Reales mltiples:
Tenemos
con multiplicidades
respectivamente. Cada solucin
, con mutiplicidad
, da
soluciones:

Complejas simples:

Las soluciones son

(excluimos las races conjugadas, ya que aportan las mismas soluciones que las originales). Aportan dos
soluciones cada una

Complejas mltiples:
Cada solucin (excluyendo las conjugadas)
con multiplicidad
da dos veces su multiplicidad de soluciones:

La solucin total ser de la forma:

Despus de estudiar las ecuaciones diferenciales homogneas con coeficientes constantes vamos a estudiar las
de coeficientes no constantes. Evidentemente las soluciones de la ecuacin diferencial deben pertenecer a
. Ahora vamos a enunciar y demostrar un teorema que nos asegura que las soluciones de la ecuacin forman
un
de
. Definiremos adems el wronskiano, concepto que ser necesario ms adelante.
TEOREMA: El conjunto
de todas las funciones
definidas en
que son solucin de la ecuacin diferencial dada es un
de
.
Demostracin:
Construimos una familia
tal que
sea solucin de la ecuacin diferencial dada, y est definida completamente de la forma:

Siendo
.
Veamos ahora que son linealmente independientes. Para ello habr que comprobar que:

WRONSKIANO: Sea
un conjunto de funciones pertenecientes a
. Vamos a asociar a ese conjunto de funciones una aplicacin:

tal que la aplicacin parte del intervalo

a los reales, asociando a cada punto
del intervalo
un nmero dado por:

Si el wronskiano es distinto de cero en algn punto del intervalo

, es decir, no es idnticamente nulo, entonces las funciones de la familia
son linealmente independientes. El recproco no siempre es cierto.
Queremos estudiar cuando es cierto el recproco, es decir, bajo que condiciones el hecho de que el wronskiano
sea nulo sobre
me garantiza que
son linealmente independientes. Para ello demostraremos el siguiente teorema:
TEOREMA: Sean
pertenecientes a
, y son soluciones de la ecuacin diferencial :

Entonces
son linealmente independientes.
4

Demostracin:
Hay que demostrar que existen
tales que:

con algn
. Para ello derivamos y tenemos:

Tenemos as un sistema homogneo de

ecuaciones con
incgnitas. Podemos representarlo como:

Como sabemos que sabemos que

, entonces la solucin trivial no es la nica, sino que existe una solucin de la forma
, con algn
. Por tanto las funciones son linealmente dependientes.
Dicho teorema tiene el siguiente corolario:
COROLARIO: Un conjunto de soluciones de una ecuacin diferencial homognea de orden
son linealmente independiente en
, y por tanto una base de
, si
no se anula en ningn punto de
. Un conjunto de funciones que cumplan dicha condicin se le llama sistema fundamental.
EJEMPLO: Sea la ecuacin diferencial
definida en
. Sus soluciones son
. Veamos que su wronskiano no se anula en
5

Pero
solo se anula en
, que no pertenece a
. Por tanto
son linealmente independientes. La solucin general ser:

Veamos ahora un teorema que nos facilita mucho el clculo del wronskiano:
TEOREMA(de Abel): Dada una ecuacin diferencial de orden
, podemos calcular el valor del wronskiano de sus soluciones
en funcin de los coeficientes de la ecuacin diferencial, de la forma:

Demostracin:

Sean
e
las dos soluciones de la ecuacin diferencial. Entonces se cumple que:

Si derivamos el wronskiano:

Es decir:

Si
hacemos:

Estudiemos un caso muy importante de las ecuaciones homogneas con coeficientes variables.
2.2. ECUACIN DE EULER:
Dichas ecuaciones son de la forma:

Se puede transformar mediante cambios en ecuaciones lineales homogneas de orden

. El cambio consiste en hacer:

Y as sucesivamente. Para el caso de

Ejemplo:

Sustituyendo:

Resolviendo y deshaciendo el cambio:

2.3. MTODO DE REDUCCIN DE ORDEN:

Se aplica en cualquier ecuacin diferencial homognea de orden
, incluso con coeficientes variables. Se necesita conocer una solucin de la ecuacin homognea por cada
grado que se quiera disminuir el orden. Veamos el mtodo aplicado a la resolucin de ecuaciones de segundo
orden:

Sea
una solucin de la ecuacin diferencial homognea . En tal caso se verifica que:

Y podemos construir una solucin de la forma:

Sustituyendo en la ecuacin:

Agrupando trminos:

Pero como es
una solucin de la ecuacin diferencial:

Haciendo el cambio

Simplificando:

Cuya solucin es:

Deshaciendo el cambio:

Con lo que:

2.4. MTODO DE RESOLUCIN POR EL TEOREMA DE ABEL:

Se aplica a ecuaciones de segundo orden con coeficientes variables. Nos da una relacin entre las dos
soluciones de la ecuacin. Veamos un ejemplo terico de su uso:

Operando:

Dividiendo entre
:

Que es una ecuacin lineal completa. La solucin es:

Con lo que tenemos definida la segunda solucin.

3. ESTUDIO DE LA ECUACIN COMPLETA:
Ahora vamos a buscar una solucin particular de la completa, que ser junto con la general de la homognea
la que nos de la solucin general de la completa. Estudiaremos tres mtodos.
3.1. MTODO DE LOS COEFICIENTES INDETERMINADOS:
Para utilizar este mtodo necesitamos definir una serie de conceptos. Estudiemos las siguientes cuatro
funciones:

10

Es fcil observar que dichas cuatro funciones tiene la propiedades de que sus derivadas y las de sus
combinaciones por sumas y productos son linealmente independientes. Las llamaremos funciones principales.
Si tomamos una cualquiera de esas funciones, llamaremos familia de dicha funcin al conjunto formada por
ella misma y por todas sus derivadas linealmente independientes, siempre con coeficientes unitarios. Por tanto
sus familias sern:

Definiremos entonces una funcin de tipo

como una funcin formada por productos y sumas de funciones principales. Asimismo definimos el conjunto
de una funcin de tipo
como la unin de las familias de los productos de las funciones principales que interviene en dicha funcin.
Por ejemplo:

Asimismo, el conjunto
de un producto de funciones principales se forma como el producto cartesiano de sus familias respectivas. Un
ejemplo sera:

El mtodo se puede aplicar a toda ecuacin diferencial lineal de orden

con coeficientes variables siempre y cuando se verifique que
sea combinacin lineal de funciones de tipo
. El mtodo consta de seis pasos:
Se resuelva la ecuacin homognea, obtenindolas soluciones linealmente independientes
Se construyen las familias de las funciones de

Si alguna conjunto esta contenido dentro de otro se elimina.

Si alguna conjunto contiene una solucin de la ecuacin homognea, se multiplican todos los elementos de
dicho conjunto por una potencia de
suficiente para que la solucin no est contenida en el conjunto.
Se forma una combinacin lineal con todos los elementos de todos los conjuntos.
Se sustituye dicha combinacin lineal en la ecuacin diferencial completa y se resuelve el sistema
resultante. La combinacin lineal resultante ser la solucin particular.

11

Veamos un ejemplo:

Resolvemos la homognea.

Hacemos los conjuntos de las funciones de

.

No procede.
No procede.
Formamos la combinacin lineal.

La sustituimos en la ecuacin diferencial y resolvemos:

Luego la solucin general ser:

3.2. MTODO DE VARIACIN DE CONSTANTES(Formula de Green):

Vamos a buscar el mtodo para
. Ser anlogo para cualquier valor de
.

Hallamos la solucin de la homognea:

12

Hacemos:

Imponemos
Tenemos entonces:

Hacemos ahora:

Sustituyendo
,
,
en la ecuacin:

Teniendo en cuenta que

Nos queda:

Y junto con la condicin impuesta:

Cuyo wronskiano es distinto de cero. Es, pues, un sistema compatible determinado:

13

Luego basta hacer:

Esto se puede resumir mediante la llamada formula de Green:

Ya
se le llama funcin de Green.
Veamos un ejemplo:

Resolvemos la homognea.

Con lo que:

Hacemos la variacin de constantes:

Buscamos:

Operando:

14

Eliminando
:

Nos queda:

Integrando:

Luego:

Por tanto:

3.3. MTODO GENERAL:

Tenemos

Podemos escribirlo:

Y tambin como:

Si podemos invertir el operador

:

15

Necesitamos operar con

.Aqu tenemos dos posibilidades:

tiene
soluciones:

Luego:

Si llamamos:

Tenemos:

Y de nuevo hacemos:

As sucesivamente hasta que tengamos:

Si todas las races son distintas:

Si llamamos:

16

Tenemos:

es el conjunto de todas las funciones derivables y continuas

veces en
Es decir, por lo menos en un punto del intervalo
las funciones son No se anulan entre si.
En realidad existen infinitas, pero eso no es importante en el caso.
La hacemos para
, pero es anloga para cualquier valor de
Hemos obviado
, ya que al ser distinta de cero para todo valor de
, podemos dividir toda la ecuacin por ella.

17