TEMA 3 ECUACIONES DIFERENCIALES ORDINARIAS DE ORDEN SUPERIOR

3.1 Generalidades

En este tema vamos a restringirnos al estudio de ED lineales de orden n (n>1) (EDL) que tienen
la siguiente forma:

^
a 0 ( x) y' n a1 ( x) y' n1 ... a n1 ( x) y' a n ( x) y'  f ( x)

^
Donde ai (x) y f ( x) son funciones definidas en un cierto intervalo [a,b], x es la variable
idependiente e y es la variable dependiente. Si a0 ( x)  0 x [a, b] , la ED puede escribirse:

^
a ( x) n 1 a ( x) a ( x) f ( x)
y'  1
n
y ' ... n 1 y'  n y' 
a 0 ( x) a 0 ( x) a 0 ( x) a 0 ( x)

y' n  P1 ( x) y' n1 ... Pn1 ( x) y'  Pn ( x) y'  f ( x)

Si f ( x)  0 x  [a, b] , la ED se llama homogénea, y si la función f ( x)  0 para algún punto del

intervalo [a,b]se dice que es inhomogénea.

Estas ecuaciones tienen en general infinitas soluciones. Sin embargo podemos fijar unas
determinadas condiciones que solo verificará una función que se denomina solución
particular.

Dependiendo del tipo de condiciones que impongamos, podemos enfrentarnos a dos tipos de
problemas: problemas de valores iniciales o problemas de contorno o frontera.

Un problema de valores iniciales pretende encontrar una solución particular de forma que se
verifiquen unas condiciones en un único punto x0 del intervalo [a,b](a lo sumo n=orden de la
ED):

y( x0 )  y 0 ; y' ( x0 )  y1 ; y' ' ( x0 )  y 2 ...y' n1 ( x0 )  y n1

Es decir las condiciones iniciales fijan los valores de y y sus derivadas en un punto dado. El
teorema de existencia y unicidad indica en qué condiciones un problema de valores iniciales
tiene solución y cuándo es única.

Un problema de contorno o frontera pretende encontrar la solución particular de una ED

fijando el valor de la función y(x) o de sus derivadas en dos o más puntos. En muchos casos
coinciden con los límites del intervalo.

1
Admitiendo la existencia de la solución general de la ED asociada, un problema de valores
iniciales siempre solución y ésta es única. En cambio un problema de frontera puede tener una
única solución, varias soluciones o ninguna solución.

Ejemplo: La solución general de la ED y' 'y  0 es y  A cos( x)  B sen( x) .

Si aplicamos las siguientes condiciones de contorno:


a) y(0)  1 y y ( )  1 la única solución particular que las verifica es y  cos( x)  sen( x) .
2

b) y(0)  1 y y( )  1 no existe ninguna solución particular que las verifique

c) y(0)  1 y y( )  1 , todas las soluciones de la forma y  cos( x)  B sen( x) las verifican,
estamos ante un caso donde existen múltiples soluciones.

Teorema de existencia y unicidad

Sean Pk(x) y f(x) funciones continuas en un intervalo [a,b], sea x0 un punto de dicho intervalo y
sean y0,y1,y2,…yn-1 unos números reales arbitrarios. Entonces la EDL
y' n  P1 ( x) y' n1 ... Pn1 ( x) y'  Pn ( x) y'  f ( x) tiene una única solución en [a,b] que verifica

y( x0 )  y 0 ; y' ( x0 )  y1 ; y' ' ( x0 )  y 2 ...y' n1 ( x0 )  y n1

Vamos a terminar este apartado de generalidades considerando algunos conceptos que son
fundamentales para el estudio de las EDL

Dependencia e independencia lineal de funciones

Sean f1(x), f2(x),…fn(x) un conjunto de funciones definidas en un intervalo [a,b] y consideremos

la igualdad:

1 f1   2 f 2  ...  n f n  0 i  R

Si para que la igualdad se verifique para todo x del intervalo [a,b] es necesario que todos los i
sean iguales a cero entonces decimos que las funciones son linealmente independientes.

Por el contrario si la igualdad se verifica con algún i distinto de cero, decimos que las
funciones son linealmente dependientes.

Si alguna de las funciones es igual a cero en el intervalo [a,b] el conjunto es linealmente

dependiente, porque por lo menos el coeficiente que la multiplica puede tomar cualquier
valor.

2
Si dos funciones son linealmente dependientes entonces son proporcionales.

En general, si un conjunto de soluciones son linealmente dependientes entonces una función fi

puede escribirse como combinación lineal de las demás.

Ejemplo

1. Las funciones f1=3, f2=4x y f3=8x-6 son linealmente dependientes. Veámoslo:

La expresión 31  4x 2  8x  6 3  0 si:

31  6 3  0, 4x 2  8x 3  0  1  2 3 y  2  2 3

Por ejemplo, la igualdad se verifica si 1=2, 2 =-2 y 3 =1

2. Las funciones 1, x, x2,… son linealmente independientes. Veámos por qué:

Si existe algún coeficiente i distinto de cero, entonces la expresión

 0  1 x   2 x  ...  n x  0
2 n
 i  R , es un polinomio de grado menor o igual que n.
Este polinomio tendrán a lo sumo n raíces reales, y sólo en esas raíces el polinomio se
anula, para el resto de los puntos del intervalo [a,b] toma valores distintos de cero. La
única forma de que se verifique esa igualdad para todo x, es que todos los i sean
iguales a cero

3. Las funciones senx, cosx son linealmente independientes:

4. Las funciones ex, e2x , e3x , e4x …son linealmente independientes:

El Wronskiano

Sean y1,…yn, n funciones definidas en [a,b] que admiten n-1 derivadas. Al determinante:

y1 y2 ... y n
y1' y' 2 ... y ' n
... ... ... ...
y1'n 1 y 2'n 1 ... y n'n 1

se le denomina Wronskiano de las funciones y1,…yn y se denota por W(x) o W(y1,…yn)

El Wronskiano tiene algunas propiedades interesantes:

Si la funciones y1,…yn son linealmente dependientes entonces el wronskiano se anula en

todos los puntos del intervalo [a,b].

I. Si las funciones son linealmente independientes y además son soluciones de la

misma EDLH de orden n con coeficientes continuos en [a,b],

3
 y' n  P1 ( x) y' n1 ... Pn1 ( x) y'  Pn ( x) y'  f ( x)

entonces el wronskiano es distinto de cero en todos los puntos del intervalo. En

este caso la afirmación recíproca también se cumple: si el wronskiano es distinto
de cero en todos los puntod de [a,b], y1,…yn son un conjunto de n soluciones
linealmente independientes de la misma EDL Homogéna con coeficientes
contínuos en [a,b].

II. Si el Wronskiano no se anula por lo menos en un punto de [a,b], las funciones son
linealmente independientes.

III. Si las funciones son linealmente dependientes entonces su wronskiano es igual a

cero.

IV. Si el Wronskiano es igual a cero en el intervalo, no podemos decir nada acerca de

la dependencia lineal.

Ejemplos:

I. Las funciones senx y cosx, son linealmente independientes y son solución

de la ED y’’+1=0. Su wronskiano es:

senx cos x
  sen 2 ( x)  cos 2 ( x)  1 que es distinto de cero en todo R
cos x  senx

II. Las funciones x y ex son linealmente independientes pero no son solución

de la misma EDLH con coeficientes continuos en todo R, porque su
wronskiano se anula en x=1:

x ex
x
 ( x  1)e x
1 e

III. Las funciones 3,4x y 8x+6 son linealmente dependientes y su wronskiano

es cero:

3 4 x 8x  6
0 4 8 0
0 0 0

IV. Las funciones :

 x  1 si x  0 0 si x  0
y1   e y2  
0 si x  0 x  1 si x  0

son linealmente independientes pero su wronskiano es distinto de cero.

Comprobemos que son linealmente independientes:
4
 c1 y1  c 2 y 2  0
si x  0 c1 ( x  1)  c 2 0  0 c1  0
si x  0 c1 0  c 2 ( x  1)  0  c 2  0

Calculemos ahora su wronskiano:

x 1 0
Si x  0 0 y
1 0

0 x 1
si x  0 0
0 1

3.2 ECUACIONES DIFERENCIALES LINEALES HOMOGÉNEAS

Una EDLH es una EDO de la forma y' n  P1 ( x) y' n1 ... Pn1 ( x) y'  Pn ( x) y'  0
donde los Pi(x) son funciones contínuas en un intervalo [a,b].

La función y( x)  0 siempre es solución. Se denomina solución trivial pero no

tiene ningún interés.

La estructura general de las soluciones de estas ecuaciones se fundamenta en la

siguientes propiedades:

i. Si y(x) es solución de la EDLH y C es una constante, la función

Cy(x) también es solución.

ii. Si y1 ( x) e y 2 ( x) son dos soluciones de la misma EDLH, la función

y1 ( x)  y 2 ( x) también es solución de la misma EDLH.

Considerando estas dos propiedades llegamos a que si y1,…yn son soluciones de

n
una EDLH, entonces cualquier combinación lineal, y( x)   ci y i ( x) , también es
k 1
solución.

Denominamos sistema fundamental de soluciones de una EDLH a cualquier

conjunto de n soluciones linealmente independientes de dicha EDLH. El número
máximo de soluciones linealmente independientes de una EDLH es igual al orden
de la ED.

Sea un sistema fundamental de soluciones {y1,…,yn} de una EDLH con coeficientes

n
Pi(x), continuos en [a,b]. Entonces, la combinación lineal y( x)   ci y i ( x) donde
k 1
los ci son constantes arbitrarias es la solución general de dicha EDLH en el
intervalo [a,b].

5
Una solución arbitraria de la ED corresponde a una solución particular que verifica
unas condiciones iniciales del tipo

y( x0 )  y 0 ; y' ( x0 )  y1 ; y' ' ( x0 )  y 2 ...y' n1 ( x0 )  y n1 ,

siendo x0 un punto del intervalo [a,b].

3.2.1 Fórmula de Liouville

Sea {yi(x),i=1…n} un sistema fundamental de soluciones. Cualquier solución se

n
puede obtener como combinación lineal de ellas, y( x)   ci y i ( x) . El Wronskiano
i 1
formado por y(x) y las yi(x), es igual a cero ya que y depende linealmente de las yi.

y1 ... y n y
y '1 ... y ' n y'
W [ y1 , y 2 ,...y n , y ]  0
... ... ... ...
y '1n ... y ' nn y' n

Si desarrollamos el determinante por los elementos de la última columna:

y1 ... y n 1 yn
y '1 ... y ' n
... ... ... ...
y ' n W [ y1 , y 2 ,...y n ]  y ' n 1 n  2  ... y ... ... ...  0
. y '1 .. ... y ' nn 12 y ' nn  2 ...
y '1n ... y n'n
y '1n ... y ' nn 1 y ' nn

Y obtenemos la EDLH que verifican las {yi(x),i=1…n}.

Para simplificar la expresión usamos la siguiente propiedad de los determinantes:

la derivada de un determinante es la luma de n determinantes que resultan al
derivar las n filas independientemente:

a11 a12 a13 a'11 a'12 a'13 a11 a12 a13 a11 a12 a13
d
a 21 a 22 a 23  a 21 a 22 a 23  a' 21 a' 22 a' 23  a 21 a 22 a 23
dx
a 31 a 32 a 33 a 31 a 32 a 33 a 31 a 32 a 33 a' 31 a' 32 a' 33

Si aplicamos esta fórmula de derivación al Wronskiano:

y1 ... y n 1 yn y1
... y n 1 yn
... ... ... ... 2 ...
... ... ...
dW d W
 n2 y  n 1
dx . y '1 .. ... y ' nn 12 y ' nn  2 ... dx 2 . y '1 .. ... y ' nn 11 y ' nn 1 ...
y '1n ... y ' nn 1 y ' nn y '1n ... y ' nn 1 y ' nn

Los otros determinantes que habría que sumar son ceros por tener dos filas
iguales

6
 dW
La ED queda: y' n W [ y1 , y 2 ,...y n ]  y' n1  ...  0
dx

Como el wronskiano es distinto de cero:

1 dW [ y1 , y 2 ,...y n ]
y' n  y' n1  ...  0
W [ y1 , y 2 ,...y n ] dx

Entonces:

1 dW [ y1 , y 2 ,...y n ]
  P1 ( x)  LnW[ y1 , y 2 ,...y n ]    P1 ( x)dx  W [ y1 , y 2 ,...y n ]  Ae   P1 ( x)dx
W [ y1 , y 2 ,...y n ] dx

A esta última expresión se le conoce como fórmula de Liouville. Esta expresión

tiene una aplicación muy interesante ya que permite encontrar la solución general
de una EDLH de segundo orden a partir de una solución particular.

Aplicación de la Fórmula de Liouville

Sea la EDLH y' ' P( x) y'Q( x) y  0 , y sea y1 una solución particular. Según la
fórmula de Liouville:

y y1
 Ae   P( x) dx  yy '1  y1 y'  Ae   P( x)dx
y' y'1

Si multiplicamos por y1-2:

 y 
d  
yy '1  y1 y ' A  y1  A   P ( x ) dx
  e   P ( x ) dx   e
 y12  y12 dx  y12
y A   P ( x ) dx A   P ( x ) dx
 e  K  y ky1  y1  e dx
y1  y1
2
 y12

x 2 y ' ' xy  x  0 y1 ( x)  x es una solución particular

Ejemplo: A
Solución general : y  kx 
x