Unidad 2: ecuaciones diferenciales lineales de orden superior

2.1 Teora preliminar.

Comenzaremos con la presentacin de las ecuaciones diferenciales de orden
superior, como en el caso de las ecuaciones de primer orden, con la nocin de
problema de valor inicial. Sin embargo, se concretara la atencin en las
ecuaciones diferenciales lineales.
2.1.1 Definicin de ED de orden

2.1.2 Problema de valor inicial.

Un problema de valor inicial para una ecuacin diferencial de orden n, es

Resolver:
Sujeto a:
Donde

dny
d n 1 y
dy
a n x n a n 1 x n 1 ... a1 x
a0 x y g x
dx
dx
dx
y x0 y 0 ,

y 0 , y ' 0 ,... y 0 n 1

y ' x0 y ' 0 ,..., y n 1 x 0 y 0 n 1

son constantes arbitrarias. Los valores especficos

y x 0 y 0 , y ' x0 y ' 0 ,..., y 0 n 1 x0 y 0 n 1

busca una solucin en algn intervalo

se llaman condiciones iniciales. Se

que contenga a

x0

En el caso de una ecuacin lineal de segundo orden, una

solucin del problema de valor inicial

d2y
dy
a 2 x 2 a1 x
a0 x y g x ,
dx
dx
y ' x0 y ' 0 ,

y x0 y 0 ,

Es una funcin que satisface a la ecuacin

diferencial en

cuya grafica pasa por

en el punto es el valor

y'0

x0 , y 0

tal que la pendiente de la curva

2.1.3 Teorema de existencia y unicidad de solucin nica

El siguiente teorema proporciona condiciones suficientes para la existencia de

una solucin nica.
Teorema 1: existencia de una solucin nica
Sean

a 0 x , a n 1 x ,..., a1 x , a 0 x

para toda

y x

g x

x x0

en el mismo. Si

entonces una solucin

solucin es nica.

continuas en un intervalo

y sea

an x 0

es cualquier punto en el intervalo, existe

del problema de valor inicial en el intervalo, y tal

Ejemplo 1:
Verificar la funcin
inicial

y 3e 2 x e 2 x 3 x

y 0 4,

y ' '4 y 12 x,

es una solucin del problema de valor

y ' 0 1.

Ahora la ecuacin diferencial es lineal, los coeficientes as como

a2 x 1 0

g x 12 x

x0

continuos y
en cualquier intervalo que contenga a
Teorema 1, se concluye que la funcin dada es la solucin nica.

son

. Por el

Ejemplo 2:
El problema de valor inicial

y 1 0,

3 y ' ' '5 y ' ' y '7 y 0,

y ' 1 0,

y ' ' 1 0,

y0

Tiene la solucin trivial

. Puesto que la ecuacin de tercer orden es lineal
con coeficientes constantes, se cumplen entonces todas las condiciones del
Teorema 1. Por lo tanto
contenga a

x 1

y0

es la nica solucin en cualquier intervalo que

Ejemplo 3:

y
La funcin

y ' '16 y 0,

1
sen 4 x
4

es una solucin del problema de valor inicial

y 0 0,

y ' 0 1.

Por el Teorema 1 se deduce que la solucin es nica para cualquier intervalo

que contenga a

x0

En el Teorema 1 se requiere que las funciones que las

continuas, y que

an x 0

para toda

en

an x 0

a i x , i 0,1,2,...n,

sean

; ambos requisitos son

importantes. Especficamente, si
para alguna
en el intervalo,
entonces la solucin de un problema lineal de valor inicial puede no ser nica,
o incluso, no existir.
Ejemplo 4:
Verificar que la solucin
inicial

Solucin. Puesto que

es una solucin del problema de valor

y ' 0 1,

y 0 3,

x 2 y ' '2 xy'2 y 6,

En el intervalo

y cx 2 x 3

para cualquier valor del parmetro

y ' cx 2 1yy ' ' 2c,

se tiene que

x 2 y ' '2 xy'2 y x 2 2c 2 x 2cx 1 2 cx 2 x 3

2cx 2 4cx 2 2 x 2cx 2 2 x 6 6
y 0 c 0 0 3 3
2

Tambin
Y

y ' 0 2c 0 1 1
y

Aunque la ecuacin diferencial del ejemplo 4 es lineal y los coeficientes

g x 6

son continuos en cualquier parte, las dificultades obvias son que

a 2 x x 2

sea cero en

tambin en

x0

x0

2.1.4 EDL homogneas.

y que las condiciones iniciales se impongan

2.1.4.1 Principio de superposicin

2.1.5 Dependencia e independencia lineal, wronskiano.

Los dos siguientes conceptos son bsicos en el estudio de las ecuaciones
diferenciales lineales.

Dependencia lineal:
Se dice que un conjunto de funciones
dependiente en un intervalo
tales que

f1 x , f 2 x ,..., f n x

si existen constantes

es linealmente

c1 , c 2 ,..., c n ,

no todas nulas,

c1 f 1 x c 2 f 2 x ,..., c n f n x 0
Para toda

en el intervalo.

Independencia lineal:
Se dice que un conjunto de funciones

independiente en un intervalo
mismo.

f1 x , f 2 x ,..., f n x

es linealmente

si no son linealmente dependientes en el

En otras palabras, un conjunto de funciones es linealmente independiente en

un intervalo si las nicas constantes para las cuales

c1 f 1 x c 2 f 2 x ,..., c n f n x 0

Para toda

en el intervalo, son

c1 c 2 ... c n 0

f1 x

f 2 x

Es fcil entender estas definiciones en el caso de dos funciones

y
.
Si las funciones son linealmente dependiente en un intervalo, entonces existen
constantes
intervalo,

c1

c2

c1 f 1 x c 2 f 2 x 0

, no siendo ambas nulas, tales que para toda

en el

Por lo tanto, si se supone que

f1 x

c2
f 2 x
c1

c1 0

, se deduce que

Esto es, si dos funciones son linealmente dependiente, entonces una es

simplemente un mltiplo constante de la otra. Recprocamente, si

f1 x c2 f 2 x

para alguna constante

c2

, entonces

1 * f1 x c 2 f 2 x 0
Para toda

en algn intervalo. Por lo tanto las funciones son linealmente

c1 1

dependientes puesto que al menos una de las constantes (digamos

) es
no nula. Se concluye que dos funciones son linealmente independientes
cuando ninguna de ellas es un mltiplo constante de la otra en un intervalo.
Ejemplo 1:
Las funciones
un intervalo

f 1 x sen 2 x

f 2 x senx cos x

son linealmente dependientes en

puesto que

c1 sen 2 x c 2 senx cos x 0

Se satisface para toda

c1
real si seleccionamos

la identidad trigonomtrica

sen 2 x 2 senx cos x.

1
2

c 2 1

. (Recurdense

El wronskiano
El siguiente teorema proporciona una condicin suficiente para la
independencia lineal de

funciones en un intervalo. Se supone que cada

funcin es diferenciable por lo menos

n 1

veces.

Teorema 2 criterio para funciones linealmente independientes

Supngase que
determinante

f 1 x , f 21 x ,..., f n x

tienen al menos

n 1

derivadas. Si el

f1
f 1'

f2
f 2'

...
...

fn
f n'

n 1

n 1

...
...

n 1

f1

f2

:
fn

Es diferente de cero por lo menos en un punto del intervalo

f 1 x , f 2 x ,..., f n x

funciones

, entonces las

son linealmente independientes en el intervalo.

El determinante del teorema anterior se representa por

w f 1 x , f 2 x ,..., f n x
Y se llama wronskiano de las funciones.
Demostracin. El teorema 2 se demuestra por contradiccin para el caso
cuando

n2
f1 x

. Supngase que

w f 1 x0 , f 2 x 0 0

f 2 x

para un

x0

fijo en el intervalo

y que
y
son linealmente dependiente en el intervalo. El hecho de
que las funciones sean linealmente dependientes significa que existen
constantes

c1

c2

, no simultneamente nulas, para las cuales

c1 f 1 x c 2 f 2 x 0
Para toda

en

. Derivando esta combinacin resulta

c1 f 1 ' x c 2 f 2 ' x 0
Se obtiene as el sistema de ecuaciones lineales

c1 f 1 x c 2 f 2 x 0
c1 f 1 ' x c 2 f 2 ' x 0

Pero la dependencia lineal de

f1

diferente de la trivial para cada

f2

implica que cuenta con una solucin

en el intervalo. Por lo tanto

f1 x
f1 ' x

w f 1 x , f 2 x

Para toda

en

concluye que
Si

f1

. Esto contradice la suposicin de que

y

f2

f 1 x , f 2 x ,..., f n x

dependientes en

f 2 x
0
f 2 ' x

w f 1 x0 , f 2 x 0 0

. Se

son linealmente independientes.

tiene por lo menos

n 1

derivadas y son linealmente

entonces

w f 1 x , f 2 x ,..., f n x 0
Para toda

en el intervalo.

2.1.6 Solucin general de las EDL homognea.

2.1.6.1 Reduccin de orden de una EDL de orden dos a una de primer

orden, construccin de una segunda solucin a partir de otra ya
conocida.
En las seccin anterior se vio que la solucin general de una ecuacin
diferencial lineal homognea de segundo orden

a 2 x y ' ' a1 x y ' a0 x y 0

(1)

Era una combinacin lineal

y c1 y1 c 2 y 2

, donde

y1

y2

son soluciones que

constituyen un conjunto linealmente independiente en algn intervalo . Al

comienzo de la siguiente seccin, se examina un mtodo para determinar estas
soluciones cuando los coeficientes de la ED en (1) son constantes. Este
mtodo, que es un ejercicio directo en algebra, falla en algunos casos y
produce solo una solucin simple
una segunda solucin

y2

y1

de la ED. Resulta que se puede construir

de una ecuacin homognea (1) siempre que se

y1

conozca una solucin no trivial

de la ED. La idea bsica que se describe en
esta seccin es que la ecuacin (1) se puede reducir a una ED lineal de primer
orden por medio de una sustitucin en la que interviene la solucin conocida

y1

. Una segunda solucin

primer orden.

y2

de (1) es evidente despus de resolver la ED de

Reduccin de orden: suponga que

y1

y2

se define en un intervalo

y1

denota la solucin no trivial de (1) y que

. Se busca una segunda solucin,

sea un conjunto linealmente independiente en

, es decir

y 2 x / y1 x u x

y 2 x u x y1 x

y 2 x u x y1 x

, tal que

. Recuerde que s

son linealmente independientes, entonces su cociente

en

y2

y 2 y1
/

y1

y1

y2

no es constante

u x

. La funcin

se determina

al sustituir
en la ecuacin diferencial que se proporciona. A
este mtodo se le denomina reduccin de orden porque se debe resolver una
ecuacin diferencial lineal de primer orden para determinar

Ejemplo 1: una segunda solucin mediante reduccin de orden

Dado que

y1 e x

es una solucin de

y ' ' y 0

en el intervalo

reduccin de orden para hallar una segunda solucin

y u x y1 x u x e x

Solucin: si

y ' ue x e x u ' ,

Como

sustitucin

w 2w 0

, entonces con la regla del producto se obtiene

y ' ' y e x u ' '2u ' 0

, la ltima ecuacin requiere que

w u'

u ' '2u ' 0

. Si se hace la

, esta ecuacin lineal de segundo orden en

, que es una ecuacin lineal de primer orden en

de integracin

, use

y ' ' ue x 2e x u 'e x u ' ' ,

Y por consiguiente,

ex 0

y2

2x

, se puede escribir

se convierte en

. Si se usa el factor

d 2x
e w 0
dx

. Despus de integrar se

obtiene
Asi,

w c1e

y u x e x

2 x

c1 x
e c2 e x
2

Si se selecciona

w2 e

Como
en

u ' c1e

c2 0

2 x

. Al integrar de nuevo se obtiene

1
u c1e 2 x c 2
2

. (2)

c1 2

, se obtiene la segunda solucin deseada

W e x , ex 0

para toda

, las soluciones son linealmente independientes

y1 e x

y2 e x

Puesto que se ha demostrado que

y
son soluciones linealmente
independiente de una ecuacin lineal de segundo orden, la expresin en (2) es
en realidad la solucin general de

y ' ' y 0

en

2.2 Solucin de EDL homogneas de coeficientes constantes.

2.2.1 Ecuacin caracterstica para EDL de segundo orden (races
reales y distintas, races reales e iguales, races complejas
conjugadas).
2.3 Solucin de las EDL no homogneas
2.3.1 Mtodo por coeficientes determinados.
2.3.2 Mtodo de variacin de parmetros.
2.4 Aplicaciones.