160

Captulo 3 Ecuaciones lineales de orden superior

51. La ecuacin de Euler de segundo orden es de la forma

(22)

ax 2 y + bx y + cy = 0

donde a, b, c son constantes. (a) Verique que si x . 0,

entonces la sustitucin v 5 ln x transforma la ecuacin
(22) en la ecuacin lineal de coecientes constantes
a

cluya que la solucin general de la ecuacin de Euler en

(22) es y(x) 5 c1xr1 1 c2xr2.

d2 y
dy
+ cy = 0
+ (b a)
dv 2
dv

(23)

Lleve a cabo la sustitucin v 5 ln x del problema 51 para encontrar las soluciones generales (para x . 0) de las ecuaciones de Euler en los problemas 52 al 56.
52. x 2 y + x y y = 0
2

con variable independiente v. (b) Si las races r1 y r2 de la

ecuacin caracterstica en (23) son reales y distintas, con-

54. 4x y + 8x y 3y = 0

53. x 2 y + 2x y 12y = 0
55. x 2 y + x y = 0

56. x 2 y 3x y + 4y = 0

3.1 Aplicaciones Graficacin de familias de soluciones de segundo orden

Esta aplicacin aborda la representacin grca de familias de soluciones por medio
de computadora, como las mostradas en las guras 3.1.6 y 3.1.7. Primero se muestra
que la solucin general de la ecuacin diferencial
y + 3y + 2y = 0

(1)

y(x) = c1 ex + c2 e2x .

(2)

es

La gura 3.1.6 prueba que la solucin particular de la ecuacin (1) que satisface las condiciones iniciales y(0) 5 1, y(0) 5 b est dada por
y(x) = (b + 2)ex (b + 1)e2x .

(3)

El ciclo de MATLAB
x = - 1 : 0.02 : 5
% x-vector from x = - 1 to x = 5
for b = -6 : 2 : 6
% for b = -6 to 6 with db = 2 do
y = (b + 2)*exp(-x) - (b + 1)*exp(-2*x);
plot(x,y)
end

se utiliz para generar la gura 3.1.6.

Para la gura 3.1.7, muestre que la solucin particular de la ecuacin (1) que
satisface las condiciones iniciales y(0) 5 a, y(0) 5 1 est dada por
y(x) = (2a + 1)ex (a + 1)e2x .

(4)

El ciclo MATLAB
x = -2 : 0.02 : 4
% x-vector from x = -2 to x = 4
for a = -3 : 1 : 3
% for a = -3 to 3 with da = 1 do
y = (2*a + 1)*exp(-x) - (a + 1)*exp(-2*x);
plot(x,y)
end

se utiliz para generar la gura 3.1.7.

Los sistemas de lgebra por computadora como Maple y Mathematica, al igual
que las calculadoras grcas, tienen comandos para llevar a cabo ciclos como los que
aqu se muestran. Comincese por reproducir las guras 3.1.6 y 3.1.7. Luego, para
cada una de las ecuaciones diferenciales siguientes, constryanse tanto una familia
de curvas solucin que satisfagan y(0) 5 1, como otra que satisfaga la condicin
inicial y(0) 5 1.

3.2 Soluciones generales de ecuaciones lineales

161

1. y y = 0
2. y 3y + 2y = 0
3. 2y + 3y + y = 0
4. y + y = 0 (vase ejemplo 1)
5. y + 2y + 2y = 0, la cual tiene la solucin general y(x) = e x (c1 cos x +

c2 senx).

3.2 Soluciones generales de ecuaciones lineales

Ahora se muestra que la presentacin hecha en la seccin 3.1 de ecuaciones lineales
de segundo orden se generaliza de manera natural en la ecuacin diferencial lineal de
ensimo orden general de la forma
P0 (x)y (n) + P1 (x)y (n1) + + Pn1 (x)y + Pn (x)y = F(x).

(1)

A menos de que se diga lo contrario, se asumir siempre que las funciones que representan los coecientes P1(x) y F(x) son continuas en un intervalo abierto I (posiblemente no acotado) donde se desea resolver la ecuacin. Bajo la suposicin adicional
de que P0(x) Z 0 en cada punto de I, se puede dividir cada trmino de la ecuacin (1)
entre P0(x) para obtener una ecuacin normalizada con coeciente 1 de la forma

y (n) + p1 (x)y (n1) + + pn1 (x)y + pn (x)y = f (x).

(2)

La ecuacin lineal homognea asociada con la ecuacin (2) es

y (n) + p1 (x)y (n1) + + pn1 (x)y + pn (x)y = 0.

(3)

Al igual que en el caso de segundo orden, una ecuacin diferencial lineal homognea
de ensimo orden tiene la valiosa propiedad de que cualquier superposicin, o combinacin lineal de soluciones de la ecuacin es tambin una solucin. La prueba del
teorema siguiente es esencialmente la misma una vericacin de rutina del teorema 1 de la seccin 3.1.

TEOREMA 1 Principio de superposicin para ecuaciones

homogneas
Sean y1, y2,, yn, n soluciones de la ecuacin lineal homognea en (3) en el intervalo I. Si c1, c2,, cn son constantes, entonces la combinacin lineal

y = c1 y1 + c2 y2 + + cn yn

es tambin una solucin de la ecuacin (3) en I.

Ejemplo 1

Es fcil vericar que las tres funciones

y1(x)=e23x,

y2(x)=cos 2x

y3(x)=sen 2x

son todas soluciones de la ecuacin homognea de tercer orden

y (3) + 3y + 4y + 12y = 0

(4)

162

Captulo 3 Ecuaciones lineales de orden superior

en toda la recta real. El teorema 1 seala que cualquier combinacin lineal de estas
soluciones, tales como
y(x)=23y1(x)+3y2(x) 2 2y3(x)=23e23x + 3 cos 2x 2 2 sen 2x,
es tambin una solucin en toda la recta real. Se puede observar que cada solucin
de la ecuacin diferencial de este ejemplo es una combinacin lineal de tres soluciones particulares y1, y2 y y3. Por tanto, una solucin general est dada por
y(x)=c1e23x + c2 cos 2x + c3 sen 2x.

Existencia y unicidad de soluciones

En la seccin 3.1 se mostr que una solucin particular de una ecuacin diferencial
lineal de segundo orden est determinada por dos condiciones iniciales. De manera
similar, una solucin particular de una ecuacin diferencial lineal de ensimo orden
se determina con n condiciones iniciales. El siguiente teorema, que se prueba en el
Apndice, es la generalizacin natural del teorema 2 de la seccin 3.1.

TEOREMA 2

Existencia y unicidad para ecuaciones lineales

Supngase que las funciones p1, p2,, pn y f son continuas en el intervalo abierto
I que contiene el punto a. Entonces, dados n valores b0, b1,, bn21, la ecuacin
lineal de ensimo orden [Ec.(2)]
y (n) + p1 (x)y (n1) + + pn1 (x)y + pn (x)y = f (x)

6
4

tiene una solucin nica (esto es, una y slo una) en el intervalo entero I que satisface las n condiciones iniciales

2
0
2

y(a) = b0 ,

y (a) = b1 ,

...,

y (n1) (a) = bn1 .

(5)

4
6
0

10

FIGURA 3.2.1.

Solucin
particular y(x) 5 23e23x 1
3 cos 2x 2 2 sen 2x.

Ejemplo 1

La ecuacin (2) y las condiciones en (5) constituyen un problema de valor

inicial de ensimo orden. El teorema 2 seala que cualquier problema de valor inicial como tal tiene una solucin nica en todo el intervalo I, donde los coecientes
denidos como funciones en (2) son continuos. Esto, sin embargo, no nos dice nada
acerca de cmo encontrar esta solucin. En la seccin 3.3 se ver cmo obtener soluciones explcitas de problemas de valores iniciales en el caso de que los coecientes
sean constantes, lo que ocurre frecuentemente en las aplicaciones.
Al principio se observ que

Continuacin

y(x)=23e23x + 3 cos 2x 2 2 sen 2x

es una solucin de
y (3) + 3y + 4y + 12y = 0

en toda la recta real. Esta solucin particular tiene valores iniciales y(0) 5 0, y(0) 5
5 y y(0) 5 239; el teorema 2 implica que no existe otra solucin con estos mismos
valores. Ntese que su grca (en la g. 3.2.1) parece peridica en la parte del lado
derecho. En realidad, debido al exponente negativo, vemos que y(x) L 3 cos 2x 2 2

sen 2x para valores positivos grandes de x.