Seccin 4.

3 Ecuaciones lineales homogneas con coeficientes constontes 133

16. (1 - x)y - 2xy = 0; y, = 1
417. x2yn - xy + 2y = 0; y1 = x sen(ln x)
18. x2yu - 3xy + 5y = 0; y1 = x2 cos(ln x)
4 19. (1 + 2x)y + 4xy - 4y = 0; y1 = F2*
20. (1 + x)y + xy - y = 0; y1 = x
J
21. x2y - xy + y = 0; y; = x
22. x2y - 2oy = 0; y, = x-4
J23. x2y - 5xy + 9y = 0; y1 = x3 In x
24. x2yv + xy + y = 0; yl = cos(ln x)
Aplique el mtodo de reduccin para determinar una solucin de la ecuacin no homognea
dada en los problemas 25 a 28. La funcin indicada, y,(x), es una solucin de la ecuacin
homognea asociada. Determine una segunda solucin de la ecuacin homognea y una
solucin particular de la ecuacin no homognea.
425. y - 4y = 2; y1 = em2
J26. y + y = 1; y1 = 1
:z ; 1 i; 1 i; z *;, = ; e
II I 1
.
7
29. a) Compruebe por sustitucin directa que la ecuacin (5) satisface la ecuacin (3).
b) Demuestre que W(yr(x), yz(x)) = uyt2 = e-Ip(X)dx.
Problema para discusin
!
30. a) Haga una demostracin convincente de que la ecuacin de segundo orden uy + by +
cy = 0, a, b y c constantes siempre tiene cuando menos una solucin de la forma
yl = emI, donde mr es una constante.
b) Explique por qu la ecuacin diferencial en la parte a) debe tener, en consecuencia, una
segunda solucin de la forma y2 = emp o de la forma y2 = xemlx, donde mr y m2 son
constantes.
c) Vuelva a revisar los problemas 1 a 10. Puede explicar por qu las respuestas a los
problemas 5 a 7 no contradicen las afirmaciones en las partes a) y b)?
ECUACIONES LINEALES HOMOGNEAS
CON COEFICIENTES CONSTANTES
n Ecuacin auxiliar H Races de una ecuaci& auxiliar cuadrtica n Frmula de Euler
n Formas de la solucin general de una ecuacin diferencial Iineal y homognea de segundo
orden con coeficientes constantes W Ecuaciones diferenciales de orden superior
n Races da ecuaciones auxiliares de grado mayor que dos
Hemos visto que la ecuacin lineal de primer orden, dy/dx + uy = 0, donde a es una constante,
tiene la solucin exponencial y = cl eear en el intervalo (--, -); por consiguiente, lo ms natural
134 CAPTULO 4 ECUACIONES DIFERENCIALES DE ORDEN SUPERIOR
es tratar de determinar si existen soluciones exponenciales en (-, -) de las ecuaciones lineales
homogneas de orden superior del tipo
a,y( ) + a,-r y(n-) + * * * + a* y + qy + UOY = 0,
(1)
en donde los coeficientes ai, i = 0, 1, . . . , n son constantes reales y u, # 0. Para nuestra sorpresa,
todas las soluciones de la ecuacin (1) son funciones exponenciales o estn formadas rl partir
de funciones exponenciales.
Mtodo de solucin Comenzaremos con el caso especial de la ecuacin de segundo
orden
ay + by + cy = 0.
(2)
Si probamos con una solucin de la forma y = emr, entonces y = memr y y = m2em, de modo
que la ecuacin (2) se transforma en
am2emr + bmem + ce- = 0 o sea em(am2 + bm + c) = 0.
Como emr nunca es cero cuando x tiene valor real, la nica forma en que la funcin exponencial
satisface la ecuacin diferencial es eligiendo una m tal que sea una raz de la ecuacin cuadrtica
am2+bm+c=0.
(3)
Esta ecuacin se llama ecuacin auxiliar o ecuacin caracterstica de la ecuacin diferencial
(2). Examinaremos tres casos: las soluciones de la ecuacin auxiliar que corresponden a races
reales distintas, races reales e iguales y races complejas conjugadas.
CASO 1: Races reales distintas Si la ecuacin (3) tiene dos races reales distintas, rnl y
mz, llegamos a dos soluciones, yt = emlx y y2 = emg. Estas funciones son lineahnente inde-
pendientes en (-00, -) y, en consecuencia, forman un conjunto fundamental. Entonces, la
solucin general de la ecuacin (2) en ese intervalo es
y= clemlx + c2emp.
(4)
CASO II: Races reales e iguales Cuando rn1 = m2 llegamos, necesariamente, slo a una
solucin exponencial, yt = emlX. Segn la frmula cuadrtica, rnl = -b/2a porque la nica forma
de que rnl = rn2 es que b* - 4ac = 0. As, por lo argumentado en la seccin 4.2, una segunda
solucin de la ecuacin es
En esta ecuacin aprovechamos que -b/a = 2mt. La solucin general es, en consecuencia,
y = qeml + c2xem1.
(6)
Seccin 4.3 Ecuaciones lineales homogneas con coeficientes constantes 135
CASO III: Races complejos conjugados Si rn1 y ma son complejas, podremos escribir
ml=ff+ipymz=a- ip, donde cr y p > 0 y son reales, e i2 = -1. No hay diferencia formal
entre este caso y el caso 1; por ello,
Sin embargo, en la prctica se prefiere trabajar con funciones reales y no con exponenciales
complejas. Con este objeto se usa la formula de Euler:
e =cosB+isen8,
en que 8 es un nmero real. La consecuencia de esta frmula es que
eiflX = cos Bx + i sen fix
Y
e+*x = cos /?x - i sen /3x,
(7)
en donde hemos empleado cos = cos px y sen(-ox) = -sen @x. Obsrvese que si primero
sumamos y despus restamos las dos ecuaciones de (7), obtenemos respectivamente
Y
@3x _ e-BX =
2i sen /3x.
Como y =CleCa +VW +C2eCa-@
es una solucin de la ecuacin (2) para cualquier eleccin de
las constantes Ct y C2, si Ci = C2 = 1 y Ct = 1, C2 = -1 obtenemos las soluciones:
YI = e
(atip)x +e(a-iS)r
Y
y2 =&+W -&-W.
Pero
Y
y, = e(e@ + e - @) = 2e cos /3x
y2 = e(e@ - emia) = 2iesenpx.
En consecuencia, segn el corolario (A) del teorema 4.2, los dos ltimos resultados demuestran
que las funciones reales ea cos / ?x y ear sen /3x son soluciones de la ecuacin (2). Adems, esas
soluciones forman un conjunto fundamental en (-00, -); por lo tanto, la solucin general es
y=cle Ix cos / ?x + c*e* sen @x
=ec w [ (cl cos j!Jx + c2 sen /?x).
(8)
Ecuaciones diferenciales de segundo orden
Resuelva las ecuaciones diferenciales siguientes:
(a) 2~ - 5y - 3y = 0 (b) y - lOy + 25~ = 0 (c) y + y + y = 0
.
-x
*Se puede deducir, formalmente, la frmula de Euler a partir de la serie de Maclaurin k = I: -, con la sustitucin x =
ZO n!
i0, utilizando ? = -1, i3 = - i, , y separando despu& la serie en sus partes real e imaginaria Luego de establecer esta
posibilidad, podremos adoptar cm 6 + i sen 0 como definicin de e?
136 CAPTULO 4 ECUACIONES DIFERENCIALES DE ORDEN SUPERIOR
SOLUCIN Presentaremos las ecuaciones auxiliares, races y soluciones generales co-
rrespondientes.
(a) 2m2 - 5m - 3 = (2m + l)(m - 3) = 0, m, = - +, m2 = 3,
y = C$
- + c2e3+
(b)
m2 - 10m + 2.5 = (m - 15)~ = 0, m, = m2 = 5,
y = cle sI + c2xesX
ti 1 ti
(c)m2+m+1=0, mI=-l+-i, mz=----i,
( ccos~x+cse~-X 2 1
2 2
y = e-x2
2 2
0
m Problema de valor inicial 4,
Resuelva el problema de valor inicial
y-4y+ 13y=o, y(O) = -1, y(O) = 2.
SOLUCIN Las races de la ecuacin auxiliar m2 - 4m + 13 = 0 son rnl = 2 + 3i y m2 =
2 - 3i, de modo que
y = e2X(c1 cos 3x + c2 sen 3~).
Al aplicar la condicin y(O) = -1, vemos que -1 = e(ct cos 0 + c2 sen 0) y que CI = -1.
Diferenciamos la ecuacin de arriba y a continuacin, aplicando y(O) = 2, obtenemos 2 =
3~2 - 2, 0 sea, CT = :; por consiguiente, la solucin es
y = e2*
(
4
-cos3x+-sen3x .
3
1
Las dos ecuaciones diferenciales, y + py = 0 y y - .k2y = 0, k real, son importantes en
las matemticas aplicadas. Para la primera, la ecuacin auxiliar m2 + k2 = 0 tiene las races ima-
ginarias rnl = ki y m2 = -ki. Segn la ecuacin (8), con cx = 0 y 0 = k, la solucin general es
y = cl cos kx + c2 sen kx.
(9)
La ecuacin auxiliar de la segunda ecuacin, m2 - p = 0, tiene las races reales distintas rnl = k
y m2 = -k; por ello, su solucin general es
y = cleh + c2e+.
(10)
Obsrvese que si elegimos cl = c2 = f y despus ct = f, c2 = - f en (lo), llegamos a las soluciones
particulares y = (ek + eeh)/ = cosh kx y y = (ek - emk)/2 = senh k. Puesto que cosh kx y
senh kx son linealmente independientes en cualquier intervalo del eje x, una forma alternativa
de la solucin general dey - py = 0 es
y = CI cosh kx + c2 senh kx.
Seccin 4.3 Ecuaciones lineales homogneas con coeficientes constantes 137
Ecuaciones de orden superior En general, para resolver una ecuacin diferencial de
orden n como
.Jn) + an-lyk-) + . + Qy + qy + soy = 0,
(11)
endondelasai,i=O,l,... , n son constantes reales, debemos resolver una ecuacin polinomial
de grado n:
a,m +a,-lrn 14 + . . + a2m2 + alm + ao = 0.
(12)
Si todas las races de la ecuacin (12) son reales y distintas, la solucin general de la ecuacin
(ll) es
y= qemlx + c2emp + . . . + c,emn.
Es ms difcil resumir los anlogos de los casos II y III porque las races de una ecuacin auxiliar
de grado mayor que dos pueden presentarse en muchas combinaciones. Por ejemplo, una
ecuacin de quinto grado podra tener cinco races reales distintas, o tres races reales distintas
y dos complejas, o una real y cuatro complejas, cinco reales pero iguales, cinco reales pero dos
iguales, etctera. Cuando rn1 es una raz de multiplicidad k de una ecuacin auxiliar de grado
n (esto es, k races son iguales a ml), se puede demostrar que las soluciones linealmente
independientes son
emI, xem) x2emix, . . ., x
k-l emp
y que la solucin general debe contener la combinacin lineal
qemlx+ c2xemlx+ c3x
2
e
w + . . . + Ckxk-lemlx.
Por ultimo, recurdese que cuando los coeficientes son reales, las races complejas de una
ecuacin auxiliar siempre aparecen en pares conjugados. As, por ejemplo, una ecuacin
polinomial cbica puede tener dos races complejas cuando mucho.
Resolver y + 3~ - 4y = 0.
SOLUCIN Al examinar m3 + 3m2 - 4 = 0 debemos notar que una de sus races es mt = 1.
Si dividimos m3 + 3m2 - 4 entre m - 1, vemos que
Ecuacin diferencial de tercer orden
m3 + 3m* - 4 = (m - l)(m + 4m + 4) = (m - l)(m+ 2)2,
y entonces las dems races son rn2 = m3 = -2. As, la solucin general es
y = clex + c2e -2X + c3xe
-2x
. n
138 CAPTULO 4 ECUACIONES DIFERENCIALES DE ORDEN SUPERIOR
Ecuacin diferencial de cuarto orden
Resuelvafi+2~+y=O.
uY UT2
SOLUCIN La ecuacin auxiliar es m4 + 2m2 + 1 = (m2 + 1)2 = 0 y tiene las races rn1 =
m3 = i y rnz = rn4 = -i. As, de acuerdo con el caso II, la solucin es
y = Cleu + C2em + C3xek + C,xe+.
Segn la frmula de Euler, se puede escribir el agrupamiento Cleti + Cze- en la forma
CI cos x + c2 sen x
con un cambio de definicin de las constantes. Igualmente, x(C3eL + C4eei)se puede
expresar en la forma x(c3 cos x + q sen x). En consecuencia, la solucin general es
y = cl cosx + c2senx + c3x cosx + c4xsen x.
n
El ejemplo 4 mostr un caso especial en que la ecuacin auxiliar tiene races complejas
repetidas. En general, si rn1 = Q + i/3 es una raz compleja de multiplicidad k de una ecuacin
auxiliar con coeficientes reales, su raz conjugada, m2 = (Y - ip, tambin es una raz de
multiplicidad k. Con base en las 2k soluciones complejas
e(n+i/3)x, xe(u+iS)x, x2e(a+Wx . . . , &l&+iNx
e(a-ij3)x, xe(cX-@), x2&iS)x
>
. . . >
Xk-le(a-i/3)x
llegamos a la conclusin, con ayuda de la frmula de Euler, de que la solucin general de la
ecuacin diferencial correspondiente debe contener una combinacin lineal de las 2k solucio-
nes reales y linealmente independientes
e cos ,bx, xe cos Bx, x2em cos px, . . . , xk-ear cos Bx
e(lx sen ,Bx, xeux sen Bx, x2eux sen px, . . . , xk-ear sen @x.
Enelejemplo4vemosque,k=2,cr=Oy/3=1.
Naturalmente, el punto ms dificil al resolver ecuaciones diferenciales con coeficientes
constantes es la determinacin de las races de las ecuaciones auxiliares de grado mayor que
dos; por ejemplo, para resolver 3~ + 5, + lOy - 4y = 0, primero debemos resolver
3m3 + 5m2 + 10m - 4 = 0. Algo que podemos intentar es probar si la ecuacin auxiliar tiene
races racionales. Recordemos que si rn1 = p/q es una raz racional reducida a su expresin
mnima de una ecuacin auxiliar u,,m + . . . + alm + ao = 0, con coeficientes enteros, p es un
factor de UO y q es factor de u,. Para nuestra ecuacin auxiliar cbica, todos los factores de UO =
-4 y u, = 3 sonp: +l, f 2, f4 y q: fl, ti, de modo que las races racionales posibles sonplq: fl,
ti, *4, $, 7 y *t. Entonces se puede probar con cada uno de estos nmeros, por ejemplo, con
divisin sinttica. As se descubren, a la vez, la raz rn1 = t y la factorizacin
Seccin 4.3 Ecuaciones lineales homogneas con coeficientes constantes 139
Con ello la frmula cuadrtica produce las dems races, m2 = -1 + 6 i y m3 = -1 - 6 i.
Entonces, la solucin general de 3~ + 5~ + lOy - 4y = 0 es
y = cled3 + e?(c2 cos tix + c3,sen tix).
Empleo de computadoras Cuando se cuenta con una calculadora o un programa de
computacin adecuados, la determinacin o aproximacin de las races de ecuaciones polino-
miales se convierte en un asunto rutinario. Los sistemas algebraicos de computacin, como
Mathematica y Maple, pueden resolver ecuaciones polinomiales (en una variable) de grado
menor de cinco mediante frmulas algebraicas. Para la ecuacin auxiliar del prrafo anterior,
los comandos
Solve[3 m3 + 5 mA2 + 10 m - 4 = = 0, m] (en Mat hemat i ca)
solve(3*mA3 + 5*mA2 + lO*m - 4, m); (en Maple)
dan, como resultado inmediato, sus representaciones de las races $ -1 + fii, -1 - 6i. Cuando
las ecuaciones auxiliares son de orden mayor, quiz se reqmeran comandos numricos,
como NSolve y FindRoot en Mathematica. Por su capacidad de resolver ecuaciones polino-
miales, no nos debe sorprender que algunos sistemas algebraicos de computacin tambin son
capaces de presentar soluciones explcitas de ecuaciones diferenciales lineales, homogneas y
de coeficientes constantes; por ejemplo, al teclear
DSolve [y[x] + 2 y[x] + 2 y[x] = = 0, y[x], x] (en Mat hemat i ca)
dsolve(diff(y(x),x$2) + 2*diff(y(x),x) +2*y(x) = 0, y(x)); (en Maple)
se obtiene, respectivamente
yLxl -, WI Cos [XI - CPISen [XI
E
Y
y(x) = -Cl exp( -x)sen(x) + -C2 exp( -x) cos
Las expresiones anteriores quieren decir que y = cze-X cos x + cle- sen x es una solucin de
y + 5 + 5 = 0. Obsrvese que el signo menos frente a C[ 1 ] en el primer resultado es superfluo.
Por qu?
En el texto clsico Dijkentid Equations, de Ralph Palmer Agnew,* que us el autor de
estudiante, se afirma que:
No es razonable esperar que los alumnos de este curso tengan la destreza y el equipo computacional
necesarios para resolver con eficiencia ecuaciones como
4.317 2 + 2.179 2 + 1.416 $$ + 1.295 2 + 3.1691, = 0.
w
Aunque se puede discutir si la destreza en computacin ha mejorado en todos estos aRos o no,
el equipo s es mejor. Si se tiene acceso a un sistema algebraico computacional, se puede
*McGraw-Hill, New York, 1960.
140 CAPTULO 4 ECUACIONES DIFERENC!ALES DE ORDEN SUPERIOR
considerar que la ecuacin (13) es razonable. Despus de simplificar y efectuar algunas
sustituciones en los resultados, con Mathematica se obtiene la siguiente solucin general
(aproximada);
y = cle-0.728852r cos(O.6186O5x) + c2e-0~728852xsen (0.618605~)
+ c3eo.476278x cos(O.759081~) + c4e0.47M78x sen (0.759081~).
De paso haremos notar que los comandos DSolve y dsolve, en Mathematica y Maple, al igual
que la mayor parte de los aspectos de cualquier sistema algebraico computacional, tienen sus
limitaciones.
En los problemas 1 a 36 determine la solucin general de cada ecuacin diferencial.
1. 4y + y = 0
3. y - 36y = 0
5. y + 9y = 0
7. y - y - 6y = 0
9. $$+8g+16y=o
ll. y + 3y - 5y = 0
13. 12y - 5y - 2y = 0
15. y - 4y + 5y = 0
17. 3y + 2y + y = 0
19. y - 4y - 5y = 0
21. y - y = 0
/ 23. y - 5y + 3y + 9y = 0
25. y + y - 2y = 0
27. y + 3~ + 3y + y = 0
29 !!3+!iY+!!b!=o
dx4 dx3 dx2
31. 16%+24%+9y=O
33 !%16f!&O
* dxs dx
2. 2y - 5y = 0
4. y - 8y = 0
6. 3~ + = 0 y
8. y - 3y + 2y = 0
10. $$102+25y=O
12. y + 4y - = 0 y
14. 8y + 2y - = 0 y
16. 2~ - 3y + 4y = 0
18. 2y + 2y + y = 0
20. 4y + 4y + y = 0
22. y + 5y = 0
24. y + 3y - 4y - 12y = 0
26.
y
- y - 4y = 0
28. y - 6~ + 12~ - 8y = 0
30. $$-2$$+y=o
32. $$7$-18y=O
34 dSY-2dqy+~7!!Y=O
dx dx4 dx3
35. $$+5Z-2d;?-10~+~+5y=0
d4y d3y
36.2$$-7~+12$+8~=0