MODULO DE CLASES N 5

Prof. Mara Anglica Vega U.

1.6.

Ecuaciones diferenciales de orden superior.

4.1) Teora Preliminar.

4.2) Ecuaciones Homogneas y Ecuaciones No homogneas.
4.3) Reduccin de orden.
En este mdulo se generalizan algunos conceptos, vlidos para las ecuaciones diferenciales de primer orden
.

1.6.1.

Ecuaciones lineales. Problemas de valor inicial y de valor de frontera.

Una ecuacin diferencial lineal de orden n, es una ecuacin de la forma :

an (x)

d n1 y
dy
dny
(x)
+
a
(x)
(x) + + a1 (x) (x) + a0 (x)y(x) = g(x).
n1
n
n1
dx
dx
dx

(1.47)

i) Problema de valor inicial

Un problema de valor inicial de orden n es un par, formado por una ecuacin diferencial de orden n sujeta
a n condiciones iniciales, que suele representarse:
an (x)

dny
d n1 y
dy
(x)
+
a
(x)
(x) + + a1 (x) (x) + a0 (x)y(x) = g(x)
n1
n
n1
dx
dx
dx

(1.48)

y(x0 ) = y0 , y0 (x0 ) = y1 , yn1 (x0 ) = yn1 .

Una generalizacin del Teorema de Picard, garantiza la existencia de una nica solucin de este problema.
Teorema 1.6.1 Existencia y unicidad.
Sean an (x) , an1 (x) , a1 (x) , a0 (x) , g(x) funciones continuas en un intervalo I con an (x) 6= 0(x) para
todo x I. Si x0 es un punto cualquiera de I, existe una nica solucin y(x) en I del problema de valor
inicial (1.50).
Nota 1.6.1 . 0(x) representa la funcin nula y no al nmero 0.
28

ii) Problema de valor en la frontera.

Un problema de valor en la frontera o de contorno de segundo orden o superior es un par, formado por
una ecuacin diferencial de segundo orden o superior, sujeta a condiciones definidas en puntos distintos,
suele representarse:
a2 (x)

d2y
dy
+ a1 (x) + a0 (x)y = g(x)
2
dx
dx

(1.49)

y(a) = y0 , y(b) = y1 .
Las condiciones y(a) = y0 , y(b) = y1 se llaman condiciones de frontera y la solucin de este problema
es una funcin que satisface la ecuacin diferencial en algn intervalo I, que contiene a los puntos x = a y
x = b y cuya grfica pasa por los puntos (a, y0 ) y (b, y1 ).
Observacin 1.6.1
1) Una ecuacin diferencial de segundo orden, podra tener otras condiciones de frontera en lugar de
(1.51)
i) y0 (a) = y0 , y(b) = y1
ii) y(a) = y0 , y0 (b) = y1
iii) y0 (a) = y0 , y0 (b) = y1
2) Es posible probar que un problema de valor de frontera puede satisfacer las hiptesis del teorema
(3.1) y sin embargo puede tener una, varias o ninguna solucin.
Actividades 1.6.1
i) Compruebe que y = C1 e4x +C2 ex familia de dos parmetros es solucin de la ecuacin diferencial
y00 3y0 4y = 0 en (, ) sujeta a las condiciones y(0) = 1 , y0 (0) = 2
ii) La familia biparamtrica y = C1 ex cos x +C2 ex sin x es solucin de y00 2y0 + 2y = 0
en (, ). Determine si es posible un miembro de la familia que satisfaga

y(0) = 1 , y( ) = 1
2

1.6.2.

Ecuaciones Diferenciales Homogneas de orden n.

Una ecuacin lineal de orden n se dice que es homognea, si es de la forma:
an (x)

dny
d n1 y
dy
(x) + an1 (x) n1 (x) + + a1 (x) (x) + a0 (x)y(x) = 0
n
dx
dx
dx
29

x I

(1.50)

Una ecuacin lineal de orden n se dice que es no homognea, si es de la forma:

an (x)

d n1 y
dy
dny
(x)
+
a
(x)
(x) + + a1 (x) (x) + a0 (x)y(x) = g(x)
n1
n
n1
dx
dx
dx

(1.51)

donde g(x) 6= 0.
Nota 1.6.2 La solucin a este tipo de ecuaciones diferenciales, la buscaremos desde el mbito de los
espacios vectoriales debido a la simplicidad de los conceptos . Para ello consideremos el espacio vectorial
de las funciones n veces diferenciables en un intervalo I de nmeros reales sobre el cuerpo de los reales.
Adems consideraremos los siguientes operadores o aplicaciones lineales definidos sobre este espacio:
D(y) =

dy
, y sus potencias,
dx

(D D)(y) = D(Dy) = D2 y =

d2y
dx2

(D Dn1 )(y) = D(Dn1 y) = Dn (y) =

dny
dxn

Para toda funcin a con dominio en I, se definen los operadores

dny
(aDn )(y)(x) = a(x) n (x)
dx
Actividades 1.6.2 1.- Verifique que los operadores definidos anteriormente son lineales.
2.- Verifique que:
L = an Dn + an1 Dn1 + + a1 D + a0 I
donde I es el operador identidad , es decir I( f ) = f y ai son funciones definidas en I.
3.- Escriba
L(y)(x) = 0.

(1.52)

4.- Qu relacin encuentra entre (1.52) y (1.54)?

Observacin 1.6.2 Observamos que resolver la ecuacin diferencial lineal homognea de orden n es
equivalente a encontrar el ncleo del operador L, es decir, el subespacio vectorial de las funciones que
se anulan bajo L .
Adems, resolver el problema no homogneo es equivalente a encontrar el conjunto de funciones tales que
bajo el operador L su imagen es g.
Actividades 1.6.3 Hallar el operador lineal L tal que las siguientes ecuaciones diferenciales puedan
escribirse como: L(y) = g.
30

a) y00 9y0 + 4y = ex
b) y(iv) 8y00 + 16y = (x3 2x)e4x
Recordemos algunos conceptos del Algebra Lineal
Resultados Importantes de la cosecha.
i) Principio de Superposicin

Dado que, el ncleo de un operador lineal T ( es el conjunto de todos los

u V tales que T (
u)= 0
es un subespacio vectorial, tenemos que:
Si y1 , y2 , , ym son soluciones de la ecuacin diferencial homognea de orden n, (1.52) para x I,
entonces la combinacin lineal de estas soluciones es solucin . Es decir,
y = c1 y1 + c2 y2 + + cm ym
es solucin, donde ci , para i = 1, , m son constantes arbitrarias.
ii) Ntese que la solucin trivial y = 0, es siempre solucin.
iii) Si y1 es solucin de (1.52), entonces es solucin cualquier mltiplo constante de y1 . Es decir,
Si y1 es solucin

y = Cy1

es solucin.

Es el ncleo de este operador un subespacio de dimensin finita ? Es decir, existir un nmero

finito de elementos en la base?
Para contestar esta pregunta, necesitamos recordar, cmo determinamos si un conjunto finito de funciones
es linealmente independiente o dependiente.

1.6.3.

Dependencia e independencia lineal.

Recordemos que :
1) Se dice que un conjunto de funciones f1 (x) , f2 (x) , , fn (x) es linealmente dependiente (L.D.) en
un intervalo I si y slo si existen constantes c1 , c2 , , cn no todas nulas, tales que
c1 f1 (x) + c2 f2 (x) + + cn fn (x) = 0

para toda x I.

(1.53)

2) Se dice que un conjunto de funciones f1 (x) , f2 (x) , , fn (x) es linealmente independiente (L.I.)
en un intervalo I si y slo si las nicas constantes que satisfacen
c1 f1 (x) + c2 f2 (x) + + cn fn (x) = 0
31

para toda x I.

son c1 = c2 = = cn = 0.
Pero cmo demostrar que (1.55). es verdadera para todo x I.
Observemos que para el caso particular de dos funciones, resulta fcil determinar si son L.I o L.D en un
intervalo. Puesto que:
Las funciones f1 (x) y f2 (x) son linealmente dependientes en un intervalo I, si y slo si una es mltiplo
escalar de la otra. Es decir,
f1 (x) = k f2 (x) , x I
...Y qu ocurre si son tres o ms funciones? Analizaremos esto a travs de un ejemplo.
Ejemplo 1.6.1 Dadas f1 (x) = 5 , f2 (x) = cos (x) , f3 (x) = ex . Analizar su dependencia lineal
x I = (, ).
Solucin:
Supongamos que existen c1 , c2 , c3 no todas nulas tales que
c1 f1 (x) + c2 f2 (x) + c3 f3 (x) = 0

x0 I.

Si se cumple lo anterior, tambin es cierto que :

c1 f10 (x) + c2 f20 (x) + c3 f30 (x) = 0

x0 I.

y
c1 f100 (x) + c2 f200 (x) + c3 f300 (x) = 0 x0 I.
Entonces, para todo x I se satisface el sistema , en particular para x0
5c1 + c2 cos (x0 ) + c3 e(x0 )

Este

sistema

de

ecuaciones

=0

0 c1 c2 sen (x0 ) + c3

e(x0 )

=0

0 c1 c2 cos (x0 ) + c3

e(x0 )

=0

tiene

una

solucin

no

trivial,

si

los

vectores

(5, 0, 0), (cos (x0 ), sen (x0 ), cos (x0 )) y (ex0 , ex0 , ex0 ) son L.D. Es decir si el producto mixto de
ellos es igual a cero. En otras palabras el volumen del paralelotopo formado por los tres vectores tiene
volumen cero. Recordemos que el volumen viene dado por:

cos (x0 )

ex0

det 0 sen (x0 ) ex0

0 cos (x0 ) ex0
32

Calculando el determinante, se obtiene:

5ex (cos (x0 ) sen (x0 )) = 0 x0 I
Para que este producto sea cero,
(cos (x0 ) sen (x0 )) = 0 cos (x0 ) = sen (x0 ) x0 I
Observemos que esto es cierto slo si x =
del sistema es c1 = c2 = c3 = 0.

+ 2k para k Z y no para todo x R. Luego la nica solucin

4

Por lo tanto el conjunto de funciones dado es L.I.

Actividades 1.6.4 Determine si las funciones dadas son linealmente independientes o dependientes en R,
siguiendo la metodologa ilustrada en el ejemplo anterior.
i) f1 (x) = x , f2 (x) = x2 , f3 (x) = 4x 3x2

Resp. L.D.

ii) f1 (x) = 5 , f2 (x) = cos2 x , f3 (x) = sin2 x

Resp. L.D.

iii) f1 (x) = x , f2 (x) = x 1 , f3 (x) = x + 3

iv) f1 (x) = 1 + x , f2 (x) = x , f3 (x) = x2
v) f1 (x) = 0 , f2 (x) = x , f3 (x) = ex

Resp. L.D.
Resp. L.I.
Resp. L.D.

1.6.4.

Soluciones de una ecuacin diferencial de orden superior.

Definicin 1.6.1 Wronskiano.

Sean las funciones f1 (x) , f2 (x) , , fn (x) con (n 1) derivadas continuas en I. Se denomina wronskiano
de estas funciones al determinante,

f1

f2

fn

W ( f1 , f2 , , fn ) = det

f10
..
.

f20
..
.

fn0
..
.

(n1)
f1

(n1)
f2

(n1)

fn

Nota 1.6.3 El criterio ilustrado en el ejemplo (3.1) se puede generalizar a un conjunto de n funciones, a
travs del siguiente teorema.
33

Teorema 1.6.2 Supongamos que f1 (x) , f2 (x) , , fn (x) tienen al menos (n 1) derivadas. Si el
determinante

 f1


 f10

..


.
 (n1)
 f
1

f2

fn

f20
..
.

fn0
..
.

(n1)
f2

(n1)

fn






 6= 0





por lo menos en un punto del intervalo I, entonces las funciones f1 (x) , f2 (x) , , fn (x) son linealmente
independientes en el intervalo.
Teorema 1.6.3 Criterio para soluciones L.I.
Sean y1 (x) , y2 (x) , , yn (x), n soluciones de la ecuacin deferencial homognea (1.52) en I , entonces el
conjunto de soluciones es linealmente independiente en I si y slo si
W (y1 , y2 , , yn ) 6= 0
para todo x I.
Definicin 1.6.2 Conjunto fundamental de soluciones.
Se llama conjunto fundamental de soluciones a todo conjunto de n soluciones linealmente independiente
de la ecuacin lineal homognea de orden n.
Teorema 1.6.4 Existencia de un conjunto fundamental de soluciones.
Existe un conjunto fundamental de soluciones de la ecuacin diferencial lineal homognea de orden n en I.
Teorema 1.6.5 Solucin general de la ecuacin diferencial
Sean y1 (x) , y2 (x) , , yn (x) un conjunto fundamental de soluciones de la ecuacin diferencial lineal
homognea de orden n en I. Se llama solucin general de la ecuacin a :
y = c1 y1 (x) + c2 y2 (x) , + cn yn (x)
donde c1 , c2 , , cn son constantes arbitrarias.
La demostracin puede consultarse en el texto Ecuaciones Diferenciales con Aplicaciones de Modelado,
D. Zill
Actividades 1.6.5 Compruebe que las funciones dadas forman un conjunto fundamental de soluciones de
la ecuacin diferencial en el intervalo indicado. Forme la solucin general.
34

, en (, ),

i) y00 y0 12y = 0 ,

y1 = e3x , y2 = e4x

ii) y00 2y0 + 5y = 0 ,

y1 = ex cos 2x, y2 = ex sin 2x

iii) x2 y00 6xy0 + 12y = 0 ,

y1 = x3 , y2 = x4

, en (, ),

, en (0, ),

35