Ecuaciones diferenciales lineales de segundo orden y sus aplicaciones

TEMA 2
ECUACIONES DIFERENCIALES LINEALES DE

SEGUNDO ORDEN Y SUS APLICACIONES
2.1. MOTIVACIN
Las ecuaciones diferenciales de orden mayor o igual que dos son bastante
difciles de resolver. De manera especial se estudiarn, algunas ecuaciones lineales,
para las cuales existe una teora general a efectos de su integracin (las lineales a
coeficientes constantes). Ya se ha visto un tipo de problema que conduce a ecuaciones
de orden superior a uno: la determinacin de la ecuacin diferencial de una familia de
curvas planas que depende de ms de un parmetro. Se resolvern, inicialmente,
ecuaciones diferenciales lineales de orden dos o superior, con coeficientes constantes.
En las aplicaciones las ecuaciones lineales de orden superior con coeficientes variables
tienen la misma importancia, si no es que ms, que las de coeficientes constantes. Una
ecuacin lineal sencilla de segundo orden con coeficientes variables, como es
y ''+ xy = 0 , no tiene soluciones elementales. Se pueden encontrar dos soluciones
linealmente independientes de esta ecuacin pero, segn se ver, estas soluciones
estn representadas por series infinitas.
2.2. ECUACIN DIFERENCIAL LINEAL DE SEGUNDO ORDEN

Definicin 1. Una ecuacin diferencial lineal de segundo orden de coeficientes
d2 y
dy
reales tiene la forma a 2 + b
+ cy = g(x) o bien ay ''+ by '+ cy = g(x) (1) con a, b,
dx
dx
c R, a 0, g(x) una funcin continua en un intervalo abierto I.
Cuando g(x) es diferente de cero entonces se dir que (1) es una ecuacin
diferencial lineal no homognea mientras que si g(x) = 0 entonces (1) es una ecuacin
diferencial lineal homognea.
Definicin 2. Sea ay ''+ by '+ cy = g(x) una ecuacin diferencial lineal de segundo
orden con coeficientes reales y no homognea. A la ecuacin ay ''+ by '+ cy = 0 (2) se
le llamar su ecuacin homognea asociada.
Prof. Jos Luis Quintero
59
2.3. DEPENDENCIA E INDEPENDENCIA LINEAL DE LAS

SOLUCIONES
Definicin 3. Se dice que un conjunto de funciones f1(x),
f2 (x), ...,
fn (x) es
linealmente dependiente en un intervalo I si existen constantes c1 , c2 , ..., cn , no

todas nulas, tales que c1f1(x) + c2 f2 (x) + ... + cnfn (x) = 0 para todo x en el intervalo.
Ejemplo
1.
Las
funciones
f1(x) = sen2x
dependientes en el intervalo < x <
f2 (x) = senx cos x
son
linealmente
puesto que c1sen2x + c2senx cos x = 0 se
satisface para todo x si se elige c1 = 1 / 2 y c2 = 1 .

Ejemplo 2. Las funciones f1(x) =
x + 5 , f2 (x) = x + 5x , f3 (x) = x 1 , f4 (x) = x2 , son

linealmente dependientes en 0 < x < ya que f2 (x) = 1.f1(x) + 5.f3 (x) + 0.f4 (x) para todo
x del intervalo.
Definicin 4. Se dice que un conjunto de funciones f1(x),
f2 (x), ...,
fn (x) es
linealmente independiente en un intervalo I si no es linealmente dependiente en el
intervalo.
En otras palabras, un conjunto de funciones es linealmente independiente en
un intervalo si las nicas constantes para las cuales c1f1(x) + c2 f2 (x) + ... + cnfn (x) = 0 ,
para todo x en el intervalo, son c1 = c2 = ... = cn = 0.
Ejemplo 3. Las funciones f1(x) = x y f2 (x) = x son linealmente independientes en el
intervalo < x < . El intervalo en el cual las funciones estn definidas es importante
en las consideraciones sobre dependencia lineal. Las funciones f1(x) = x y f2 (x) = x
son linealmente independientes en el intervalo
0<x<
ya que
c1x + c2 x =
c1x + c2 x = 0 se satisface para cualquier valor no nulo de c1 y c2 tal que c1 = c2 .
2.4. EL WRONSKIANO
TEOREMA 1. Suponga que f1 (x), f2 (x), , fn (x) tienen al menos n 1 derivadas. Si el
determinante
f1(x)
f2 (x)
fn (x)
f1' (x)
f2' (x)
L
M
fn' (x)
M
no es cero por lo menos en un punto del
f1(n 1)(x) f2(n 1)(x) L fn(n 1) (x)

intervalo I, entonces f1(x), f2 (x), ..., fn(x) son linealmente independientes en I.
El determinante que aparece en el teorema anterior se designa por
W(f1(x), f2 (x),..., fn(x)) y se llama wronskiano de las funciones.
60
Ejemplo 4. f1(x) = sen2 x y f2 (x) = 1 cos 2x son linealmente dependientes para todo x
W(sen2 x,1 cos 2x) = 0 para todo nmero real. Para verificar esto, se observa que
W(sen2 x,1 cos 2x) =
sen2 x
1 cos 2x
2senx cos x 2sen2x
= 2sen2 xsen2x 2senx cos x + 2senx cos x cos 2x

= sen2x[2sen2 x 1 + cos 2x]
= sen2x[2sen2 x 1 + cos2 x sen2 x]
= sen2x[sen2 x + cos2 x 1] = 0
Ejemplo 5. Para f1(x) = em1x , f2 (x) = em2x , m1 m2
W(em1x , em2x ) =
em1x
em2x
m1em1x
m2em2x
= (m2 m1 )e(m1 + m2 )x 0
para todo valor real de x. Por lo tanto f1(x) y f2 (x) son linealmente independientes en
cualquier intervalo del eje x.
2.5. PRINCIPIO DE SUPERPOSICIN

TEOREMA 2. Sean y1 , y2 dos soluciones de la ecuacin (2) (homognea asociada) en
el intervalo I. Si c1 , c2 R, entonces la combinacin lineal y = c1y1 + c2 y2 tambin es
solucin de la ecuacin (2) sobre I.
Demostracin. Si y = c1y1 + c2 y2
diferenciacin implica
ay ''+ by '+ cy
entonces
la
que: y ' = c1y1' + c2 y'2 , y '' = c1y1''

= a[c1y1'' + c2 y2'' ] + b[c1y1' + c2 y2' ] +
=
+
+ cy1 ] +
ya que y1 , y2 son soluciones de (2).
c1[ay1''
by1'
c2 [ay2''
linealidad
c2 y''2
de
la
operacin
de
luego:
c[c1y1 + c2 y2 ]
+ by2' + cy2 ] = c1[0] + c2 [0] = 0
Ejemplo 6. Demuestre que y1 = e2x , y2 = e x son soluciones de y '' y ' 2y = 0 .

Solucin. Se tiene que: y1' = 2e2x y1'' = 4e2x y2' = ex y2'' = e x . Al reemplazar las
derivadas en cada caso en la ecuacin se obtiene:
y1'' y1' 2y1 = 4e2x 2e2x 2e2x = 0 , y''2 y2' 2y2 = e x + ex 2ex = 0 .
As se concluye que y1 , y2 son soluciones de la ecuacin dada. Adems, como
y1 , y2 no son mltiplos una de la otra, entonces la solucin general de la ecuacin

diferencial dada es y = c1e2x + c2ex .
Corolario 1.
a. Si y1 es solucin de (2) entonces un mltiplo constante tambin lo es, es decir
y = c1y1 es una solucin de (2).
b. La ecuacin (2) siempre tiene solucin trivial y 0.
61
2.6. ECUACIN AUXILIAR O CARACTERSTICA

En la bsqueda de una solucin de la ecuacin (2) si se ensaya una solucin de
la forma y = emx se obtiene y ' = memx , y '' = m2emx , entonces la ecuacin (2) se
convierte as: am2emx + bmemx + cemx = 0 o bien emx [am2 + bm + c] = 0 . Como emx 0
x R, entonces se elige m de tal manera que satisfaga la ecuacin de la forma dad
por am2 + bm + c = 0 (3), a esta ecuacin se le denomina ecuacin auxiliar o
ecuacin caracterstica de la ecuacin (2). Observe que la ecuacin (3) se puede

determinar de manera directa a partir de la ecuacin (2) simplemente sustituyendo y ''
por m2 , y ' por m, y 1 en lugar de y.
Se clasificarn las soluciones de la ecuacin homognea asociada (ecuacin
(2)) de acuerdo alos tipos de races de la ecuacin caracterstica (3):
TEOREMA 3. Soluciones de ay ''+ by '+ cy = 0 :

a. Races Reales Distintas: Si la ecuacin caracterstica tiene races m1 , m2 reales
y distintas, entonces la solucin general de (2) viene dada por la expresin:
y = C1em1x + C2em2x C1 , C2 R.
b. Races Reales Iguales: Si m1 , m2 son races reales iguales de la ecuacin
caracterstica, entonces la solucin general de (2) viene dada por la expresin:
c.
y = C1em1x + C2 xem1x = (C1 + C2 x)em1x C1 , C2 R.

Races Complejas Conjugadas. Si m1 = + i , m2 = i son races complejas
conjugadas de la ecuacin caracterstica, entonces la solucin general de (2) viene
dada por la expresin: y = C1ex cos(x) + C2ex sen( x) , es decir,
y = ex [C1 cos(x) + C2sen(x)] C1 , C2 R.

Ejemplo 7. Resuelva y '' 2y ' 3y = 0 .
Solucin. Al escribir la ecuacin caracterstica se tiene m2 2m 3 = 0 . Aplicando la
frmula cuadrtica o bien factorizando de manera directa se obtiene: m2 2m 3 =
(m 3)(m + 1) = 0 , entonces las races son m1 = 3, m2 = 1 , reales y distintas, por lo
tanto, del teorema anterior se concluye que la solucin general de la ecuacin dada es:
y = C1e3x + C2e x .
Ejemplo 8. Resuelva y '' 8y '+ 16y = 0.
Solucin. La ecuacin auxiliar es: m2 8m + 16 = (m 4)(m 4) = (m 4)2 = 0 , por lo
tanto m1 = m2 = 4 . Por el teorema anterior se tiene que la solucin general de la
ecuacin dada es: y = C1e4x + C2 xe4x = e4x (C1 + C2 x).
Ejemplo 9. Resuelva y ''+ 2y '+ 2y = 0.
Solucin. La ecuacin caracterstica es m2 + 2m + 2 = 0. Se tiene que
m=
2 4 4(1)(2) 2 4 8 2 2i
=
=
= 1 i .
2
2
2
62
Luego m1 = 1 + i = + i , m2 = 1 i = i , es decir, = 1, = 1, por lo

tanto, la solucin general de la ecuacin dada es: y = e x [C1 cos(x) + C2sen(x)] .
2.7. ECUACIONES DIFERENCIALES LINEALES DE SEGUNDO

ORDEN NO HOMOGNEAS
Al comienzo del tema se consider la ecuacin ay ''+ by '+ cy = g(x) (4) con
a, b, c R, a 0, g(x) una funcin continua en un intervalo abierto I, pero se
concentr la atencin para el caso en que g(x) = 0, es decir, el caso homogneo. Se
quiere estudiar ahora la ecuacin (4) para el caso no homogneo o cuando g(x) 0 .
2.8. OPERADORES DIFERENCIALES

El smbolo Dn se usa frecuentemente para designar la derivada ensima de
dny
una funcin Dny =
. Por lo tanto, una ecuacin diferencial lineal con coeficientes
dxn
constantes any(n) + an 1y(n 1) + ... + a2 y ''+ a1y '+ a0 y = g(x) puede escribirse de la forma
dada por anDny + an 1Dn 1y + ... + a2D2 y + a1Dy + a0 y = g(x) o bien de la forma dada por
(anDn + an 1Dn 1 + ... + a2D2 + a1D + a0 )y = g(x) .

La expresin anDn + an 1Dn 1 + ... + a2D2 + a1D + a0 (5) se llama operador lineal
de orden n. Puesto que (5) es un polinomio en el smbolo D, a menudo se abrevia
como P(D). Puede demostrarse que cuando los ai , i = 0, 1, ..., n son constantes:
a. P(D) puede ser, posiblemente, factorizado en operadores lineales de orden menor.
Esto se consigue tratando a P(D) como si fuera un polinomio ordinario.
b. Los factores de P(D) pueden conmutarse.
Ejemplo 10. Los operadores
D2 + D
D2 1
se factorizan como
D(D + 1)
(D + 1)(D 1), respectivamente.
2.9. OPERADOR ANULADOR

y = f(x)
Sea
n 1
(anD + an 1D
n
una
que
+ ... + a2D + a1D + a0 )f(x) = 0

n 1
diferencial anD + an 1D
n
funcin
tiene
al
entonces
menos
se
dice
n
que
derivadas.
el
Si
operador
+ ... + a2D + a1D + a0 anula a f. Si por ejemplo f(x) es una

2
constante, f(x) = k , entonces Dk = 0 . Tambin, D2 x = 0, D3x2 = 0, etctera.

Observacin 1. El operador diferencial Dn anula a cada una de las funciones 1, x, x2 ,
..., xn-1.
63
Una consecuencia inmediata de la observacin 1, junto con la posibilidad de

derivar trmino a trmino, es que un polinomio c0 + c1x + ... + cn 1xn 1 puede ser
anulado encontrando un operador que anule a la mayor potencia de x.
Ejemplo 11. Hallar un operador que anule a 1 5x2 + 8x3 .
Solucin. De la observacin 1 se sabe que D4 x3 = 0 y por lo tanto se tiene que
D4 (1 5x2 + 8x3 ) = 0 .
Observacin 2. El operador diferencial (D )n anula a cada una de las funciones
ex , xex , ..., xn-1ex .

Para verificar esto, note que la ecuacin auxiliar de la ecuacin homognea
(D )n y = 0 es (m )n = 0. Puesto que es una raz de multiplicidad n, la solucin
general es y = c1ex + c2 xex + ... + cnxn 1ex .
Ejemplo 12. Halle un anulador para (a) e5x
(b) 4e2x 6xe2x
Solucin. a. Eligiendo = 5 y n = 1 , de la observacin 2 se obtiene que (D 5)e5x = 0.

b. Eligiendo = 2 y n = 2 , se obtiene que (D 2)2 (4e2x 6xe2x ) = 0 .
Ejemplo 13. Obtenga un operador diferencial que anule a la funcin e3x + xex .
Solucin. De la observacin 2, (D + 3)e3x = 0 y (D 1)2 xex = 0 . El producto de los dos
operadores (D + 3)(D 1)2 anular la combinacin lineal dada. Dado que lo anterior
puede no ser obvio, se necesita verificar:
(D + 3)(D 1)2 (e3x + xex ) = (D + 3)[(D 1)2 e3x + (D 1)2 xex ] = (D + 3)[16e3x + 0]
= 16(D + 3)e3x = 0.
Si y son nmeros reales, la ecuacin [m2 2m + (2 + 2 )]n = 0 tiene
races complejas + i y i , ambas de orden de multiplicidad n.
Observacin 3. El operador diferencial [D2 2D + (2 + 2 )]n anula a cada una de las
funciones ex cos x, xex cos x, x2ex cos x, ..., xn 1ex cos x, ex sen x, xex senx,
x2ex sen x, ..., xn 1ex sen x .

Ejemplo 14. Eligiendo = 0, = 1 y n = 2, el operador diferencial (D2 + 1)2 o bien
D4 + 2D2 + 1 , anular cos x, x cos x, senx y xsenx . Adems, tambin anular cualquier
combinacin lineal de esas funciones.
64
2.10. MTODO DE LOS COEFICIENTES INDETERMINADOS

Para obtener la solucin general de una ecuacin diferencial no homognea con
coeficientes constantes deben hacerse dos cosas: hallar la solucin complementaria yc
y luego, obtener cualquier solucin particular yp de la ecuacin no homognea.
Recuerde que una solucin particular es cualquier funcin sin constantes arbitrarias,
que satisface la ecuacin idnticamente. La solucin general de la ecuacin no
homognea es la suma de yc y yp . Ahora bien, si P(D) representa un operador de la
forma anDn + an 1Dn 1 + ... + a2D2 + a1D + a0 , entonces una ecuacin diferencial lineal no
homognea con coeficientes constantes puede escribirse como P(D)y = g(x) . (6) Si
g(x) es una constante k, un polinomio en x, una funcin exponencial ex , sen x ,

cos x , o consiste en sumas finitas y productos de estas funciones, siempre es posible
encontrar otro operador diferencial P1(D) que anule a g(x) . Aplicando P1(D) a (6)
resulta P1(D)P(D)y = P1(D)g(x) = 0.
Resolviendo la ecuacin homognea P1(D)P(D)y = 0 es posible descubrir la
forma de una solucin particular yp de la ecuacin no homognea (6). Los ejemplos
que vienen a continuacin ilustran
indeterminados para encontrar yp .
Ejemplo 15. Resuelva
d2 y
2
dx
+3
el
llamado
mtodo
de
los
coeficientes
dy
+ 2y = 4x2 . (7)
dx
Solucin.
Paso 1. Se resuelve la ecuacin homognea
d2 y
dx
+3
dy
+ 2y = 0 . De la ecuacin
dx
auxiliar m + 3m + 2 = (m + 1)(m + 2) = 0 se obtiene la funcin complementaria que

2
corresponde yc = c1ex + c2e2x .

Paso 2. Se tiene que (7) puede ser transformada en homognea derivando tres veces
cada miembro de la ecuacin. En otras palabras, D3 (D2 + 3D + 2)y = 4D3 x2 = 0 (8) ya

que D3x2 = 0 . La ecuacin auxiliar de (8) es m3 (m + 1)(m + 2) = 0 y por lo tanto su
solucin general debe ser y = c1e x + c2e2x + c3 + c4 x + c5 x2 .
1442443 144
42444
3
yc
yp
Al trabajar con la solucin particular es necesario hallar coeficientes especficos

c3 , c4 y c5 . Derivando y sustituyendo resulta:
yp'' + 3yp' + 2yp 2c5 + 3(c4 + 2c5 x) + 2(c3 + c4 x + c5x2 ) = 4x2

(2c5 + 3c4 + 2c3 ) + (6c5 + 2c4 )x + 2c5 x2 = 4x2
2c5 + 3c4 + 2c3 = 0
Igualando coeficientes, se obtiene el sistema
6c5 + 2c4 = 0 .
2c5 = 4
Resolviendo resulta c3 = 7, c4 = 6, c5 = 2 . De modo que, yp = 7 6x + 2x2.

Paso 3. La solucin general es y = c1e x + c2e2x + 7 6x + 2x2 .
65
Ejemplo 16. Resuelva y '' 3y ' = 8e3x + 4senx .

Paso 1. La ecuacin auxiliar de la ecuacin homognea y '' 3y ' = 0 es m(m 3) = 0 y
as: yc = c1 + c2e3x .
Paso 2. Ahora bien, puesto que (D 3)e3x = 0 y (D2 + 1)senx = 0 , se aplica el operador
diferencial a ambos miembros: (D 3)(D2 + 1)D(D 3)y = 0 . La ecuacin auxiliar es
(m 3)(m2 + 1)m(m 3) = 0 m(m 3)2 (m2 + 1) = 0.

En consecuencia, y = c1 + c2e3x + c3 xe3x + c4 cos x + c5senx . Sustituyendo yp y
14243 1444442444443
yc
yp
simplificando resulta: yp'' 3yp' = 3c3e3x (c4 3c5 ) cos x + (3c4 c5 )senx = 8e3x + 4senx .
3c3 = 8
Igualando coeficientes resulta: c4 3c5 = 0 . Se encuentra c3 = 8 / 3 , c4 = 6 / 5 ,
3c4 c5 = 4
8 3x 6
2
xe + cos x senx.
3
5
5
8
6
2
Paso 3. La solucin general es entonces y = c1 + c2e3x + xe3x + cos x senx .
3
5
5
c5 = 2 / 5 y por consiguiente, yp =
2.11. MTODO DE VARIACIN DE PARMETROS

En el tema 1 se vi que la solucin general de la ecuacin diferencial lineal de
dy
primer orden
+ P(x)y = f(x), (9) en donde P(x) y f(x) son continuas en un intervalo
dx
P(x)dx
P(x)dx
P(x)dx
. (10) Ahora bien (10) tiene la forma
I, es y = e
e
f(x)dx + c1e
y = yc + yp
en donde
P(x)dx
yc = c1e
es una solucin de
dy
+ P(x)y = 0
dx
(11) y
P(x)dx
P(x)dx
yp = e
e
f(x)dx (12) es una solucin particular de (9). Para motivar un
mtodo adicional para resolver ecuaciones lineales no homogneas de orden superior

se volver a deducir la ecuacin (12) mediante un procedimiento conocido como
mtodo de variacin de parmetros.
Suponga que y1 es una solucin conocida de la ecuacin (11), esto es,
dy1
+ P(x)y1 = 0 .
dx
P(x)dx
Ya se ha demostrado que y1 = e
es una solucin, y puesto que la
ecuacin diferencial es lineal, su solucin general es y = c1y1(x) . El mtodo de
variacin de parmetros consiste en encontrar una funcin u1 tal que yp = u1(x)y1(x)

sea una solucin particular de (9). En otras palabras, se reemplaza el parmetro c1
por una variable u1 . Sustituyendo yp = u1y1 en (9) resulta
66
dy1
du
d
[u1y1 ] + P(x)y1 = f(x) u1
+ y1 1 + P(x)u1y1 = f(x)
dx
dx
dx
du1
dy
u1 1 + P(x)y1 + y1
= f(x)
dx
dx
144
42444
3
cero
de modo que y1
du1
f(x)
dx y u1 =
= f(x) . Separando variables: du1 =
y1(x)
dx
cual se deduce que y = u1y1 = y1
f(x)
y (x) dx de lo
1
f(x)
dx.
y1(x)
2.12. ECUACIONES DE SEGUNDO GRADO

Para adaptar el procedimiento anterior a una ecuacin diferencial de segundo
orden a2 (x)y ''+ a1(x)y '+ a0 (x)y = g(x), (13) se escribe (13) en la forma estndar
y ''+ P(x)y '+ Q(x)y = f(x) (14) dividiendo entre a2 (x) toda la ecuacin. Se supone que
P(x), Q(x) y f(x) son continuas en un intervalo I. La ecuacin (14) es anloga de (9).
Como ya se sabe, cuando P(x) y Q(x) son constantes no hay problema para escribir
yc explcitamente. Suponga que y1 y y2 son tales que y1'' + P(x)y1' + Q(x)y1 = 0 y

y''2 + P(x)y2' + Q(x)y2 = 0 . Se pregunta ahora: Es posible encontrar dos funciones u1 y
u2 de modo que yp = u1(x)y1(x) + u2 (x)y2 (x) sea una solucin particular de (9)?. Se
advierte que esto es equivalente a suponer que yc = c1y1 + c2 y2 , pero que se han
reemplazado c1 y c2 por parmetros variables u1 y u2 . Empleando la regla del
producto para derivar yp resulta yp' = u1y1' + y1u1' + u2 y2' + y2u2' (15). Si adems se exige
que u1 y u2 sean funciones para las cuales y1u1' + y2u'2 = 0 (16) entonces (15) se
transforma en yp' = u1y1' + u2 y2' .
Continuando, se encuentra que yp'' = u1y1'' + y1' u1' + u2 y2'' + y2' u2' y por lo tanto
yp'' + Pyp' + Qyp = u1y1'' + y1' u1' + u2 y2'' + y2' u2' + Pu1y1' + Pu2 y2' + Qu1y1 + Qu2 y2
= u1 [y1'' + Py1' + Qy1 ] + u2 [y2'' + Py2' + Qy2 ] + y1' u1' + y2' u2' = f(x)
144
42444
3
14442444
3
cero
. Se tiene que
cero
u1 y u2 deben ser funciones que adems satisfagan la condicin y1' u1' + y2' u2' = f(x). Se
obtiene entonces el sistema lineal de ecuaciones:
y1u1' + y2u'2 = 0
y1' u1' + y2' u2' = f(x)
Cramer, se puede expresar por medio de determinantes:

0
y2
y1
u1' =
y'2
f(x)
W1
=
y1 y2
W
y1'
y2'
y2 f(x)
y1y2'
y1' y2
u2' =
. Por la regla de
y1'
f(x)
W2
y1f(x)
=
=
.
y1 y2
W
y1y'2 y1' y2
y1' y2'
67
El determinante W se identifica como el wronskiano W de y1 y y2 . Por la

independencia de y1 y y2 en I se sabe que W(y1(x), y2 (x)) 0 para todo x en el
intervalo.
Ejemplo 17. Resuelva y '' 4y '+ 4y = (x + 1)e2x .

Solucin. Puesto que la ecuacin auxiliar es m2 4m + 4 = (m 2)2 = 0 se tiene que
yc = c1e2x + c2 xe2x . Identificando
W(e2x , xe2x ) =
u1' =
e2x
xe2x
2e2x
2xe2x + e2x
xe2x (x + 1)e2x
e
4x
y1 = e2x
y y2 = xe2x , se evala el wronskiano:
= e4x . Se obtiene:
x3 x2
e2x (x + 1)e2x
x2
. u'2 =
= x + 1 u2 =
+ x.
4x
3
2
2
e
= x2 x u1 =
x3 x2 2x x2
x3 x2 2x
e +
Por consiguiente: yp =
+ x xe2x =
+
e .
3
2
6
2
2
x3 x2 2x
En consecuencia: y = yc + yp = c1e2x + c2 xe2x +
+
e .
6
2
Ejemplo 18. Resuelva 4y ''+ 36y = csc 3x.
1
csc 3x. Puesto que las races
4
de la ecuacin auxiliar dada por m2 + 9 = 0 son m1 = 3i y m2 = 3i se tiene entonces
Solucin. Primero se escribe la ecuacin como y ''+ 9y =
yc = c1 cos 3x + c2sen3x y W(cos 3x, sen3x) =

Consecuentemente, u1' =
cos 3x
3sen3x 3 cos 3x
(sen3x)( 14 csc 3x)

3
(cos 3x)( 14 csc 3x)
sen3x
= 3.
1
1
u1 =
x
12
12
1 cos 3x
1
u2 =
ln sen3x
3
12 sen3x
36
1
1
Por tanto, y = yc + yp = c1 cos 3x + c2sen3x
x cos 3x +
(sen3x)ln sen3x .
12
36
u'2 =
Ejemplo 19. Halle la solucin general de la ecuacin y ''+ 3y '+ 2y =
1
1 + e2x
Solucin. Resolviendo la ecuacin homognea asociada:
m2 + 3m + 2 = 0 (m + 1)(m + 2) = 0 m1 = 1, m2 = 2 yc = c1e x + c2e2x

Calculando Wronskiano: W = y1y'2 y1' y2 = ex 2e2x + e x e2x = e3x .
y f(x)
Usando variacin de parmetros: u1' = 2
=
W
De modo que u1(x) = arctg(ex ) .
u'2
y f(x)
= 1
=
W
e x .
ex
1+ e
2x
dx =
e2x .
x
1 + e2x = e
.
e3x
1 + e2x
dz
1+ z
= arctg(z) = arctg(ex )
(z = ex )
2x
1
1 + e2x = e
. De modo que u2 (x) = ln(1 + e2x ) .
3x
2x
2
e
1+e
68
e2x
1+ e
2x
dx =
dz
2z = 2 ln z = 2 ln(e )
x
(z = 1 + e2x )
En consecuencia: y(x) = c1e x + c2e2x + e x arctg(ex )
e2x
ln(1 + e2x ) .
2
2.13. ELABORACIN DE UNA SEGUNDA SOLUCIN A PARTIR

DE UNA SOLUCIN CONOCIDA
Una de las cosas ms interesantes e importantes al estudiar las ecuaciones
diferenciales lineales de segundo orden es que es posible formar una segunda solucin
a partir de una solucin conocida. Sea la ecuacin a2 (x)y ''+ a1(x)y '+ a0 (x)y = 0 (17).
Suponga que se divide entre a2 (x) para llevar la ecuacin (17) a la forma dada por la
expresin y ''+ P(x)y '+ Q(x)y = 0 (18), en donde P(x) y Q(x) son continuas en algn
intervalo I. Suponga adems que y1(x) es una solucin conocida de (18) en I y que
y1(x) 0 para todo x en I. Si se define y = c1y1 + c2 y2 (x) = c1y1(x) + c2u(x)y1(x) , se
tiene:
y ' = c1y1' (x) + c2u(x)y1' (x) + c2u'(x)y1(x)

y '' = c1y1'' (x) + 2c2u'(x)y1' (x) + c2u(x)y1'' (x) + c2u ''(x)y1(x)
y ''+ P(x)y '+ Q(x)y = c1y1'' (x) + 2c2u'(x)y1' (x) + c2u(x)y1'' (x) + c2u''(x)y1(x)
+ P(x)c1y1' (x) + P(x)c2u(x)y1' (x) + P(x)c2u '(x)y1(x)
+ Q(x)c1y1 + Q(x)c2u(x)y1(x) = 0
c1 [y1'' (x) + P(x)y1' (x) + Q(x)y1 ] + c2u(x)[y1'' (x) + P(x)y1' (x) + Q(x)y1 ] +
144444
42444444
3
144444
42444444
3
cero
2c2u'(x)y1' (x)
cero
+ c2u''(x)y1(x) + P(x)c2u '(x)y1(x) = 0
Esto implica que se debe tener 2c2u'(x)y1' (x) + c2u''(x)y1(x) + P(x)c2u '(x)y1(x) = 0
o bien c2 y1 (x)u ''(x) + c2 (2y1' (x) + P(x)y1(x))u '(x) = 0 . Si se hace el cambio w = u' la
ecuacin se convierte en c2 y1 (x)w '(x) + c2 (2y1' (x) + P(x)y1(x))w(x) = 0 (19).
Observe que la ecuacin (19) es lineal y tambin separable.

2y' (x)
dw
dw
= c2 (2y1' (x) + P(x)y1(x))w
= 1
c2 y1 (x)
dx P(x)dx , (c2 0)
dx
w
y1(x)
2y1' (x)
dw
=
dx
w
y1(x)
P(x)dx ln w + 2 ln y
= P(x)dx ln wy12 = P(x)dx + k1
P(x)dx
k e
P(x)dx + k1
wy12 = e
w= 2 2
y1
u=
P(x)dx
k2e
y12
dx + k3
P(x)dx
P(x)dx
e
e
De modo que y = c1y1(x) + c2 k2

dx
+
k
y
(x)
=
C
y
(x)
+
C
y
(x)
dx
3
1
1 1
2 1
y12 (x)
y12 (x)
69
Ejemplo 20. La funcin y1 = x2 es una solucin de x2 y '' 3xy '+ 4y = 0. Halle la

solucin general en el intervalo 0 < x < .
Solucin. Puesto que la ecuacin tiene la forma alternativa
entonces resulta
y2 = x2
3 dx / x
e
dx = x2
3 dx / x
e
dx = x2
dx
y ''
3
4
y '+ 2 y = 0
x
x
= x2 ln x . La solucin
general en 0 < x < est dada por y = c1x2 + c2 x2 ln x.

Ejemplo 21. Resuelva la ecuacin diferencial (1 x2 )y '' 2xy '+ 2y = 0 en el intervalo
1 < x < 1 , sabiendo que y1(x) = x es una solucin de la ecuacin.

Solucin.
y2 (x) = y1(x)
1
x (1 x )
2
A
2
P(x)dx
y12 (x)
dx = x
2x dx
1 x2
x2
dx = x
dx
x (1 x )
2
(x 0)
B
C
D
+
+
x 1+ x 1x
1 = A(1 x ) + Bx(1 x2 ) + Cx2 (1 x) + Dx2 (1 + x)

2
1 = A Ax2 + Bx Bx3 + Cx2 Cx3 + Dx2 + Dx3

1 = (B C + D)x3 + ( A + C + D)x2 + Bx + A
B C + D = 0 , A + C + D = 0 , B = 0 , A = 1
A =1, B =0 , C =
1
2
, D=
1
2
1 1
1
1 1 1
1 1
y2 (x) = x 2 + .
+ .
dx = x + ln(1 + x) ln(1 x)
2 1+ x 2 1 x
2
x
x 2
1 1 1 + x
= x + ln
x 2 1 x
1 1 1 + x
x 1 + x
Entonces y(x) = c1x + c2 x + ln
= c1x + c2 1 + 2 ln 1 x .
x
2
1
Se puede verificar que x = 0 tambin es una solucin de la ecuacin diferencial.
2.14. ECUACIN DE EULER - CAUCHY

Definicin 5. Una ecuacin diferencial de la forma
n 1
dny
y
dy
n 1 d
anxn
+
a
x
+ ... + a1x
+ a0 y = g(x)
n 1
n
n 1
dx
dx
dx
en donde an , an-1 , ..., a0 son constantes, se llama ecuacin de Euler-Cauchy o
ecuacin equidimensional.
Para precisar el estudio, se fijar la atencin sobre la resolucin de la ecuacin

d2 y
dy
homognea de segundo orden ax2
+ bx
+ cy = 0 . Se puede resolver la ecuacin
dx
dx2
70
d2 y
dy
+ cy = g(x) mediante variacin de parmetros, una vez
dx
dx
que se haya determinado la funcin complementaria yc .
no homognea ax2
+ bx
2.15. SOLUCIN DE LA ECUACIN DE EULER - CAUCHY

Se probar una solucin de la forma y = xm , donde m debe ser determinada.
Las derivadas primera y segunda son, respectivamente,
d2 y
dy
= mxm 1 y
= m(m 1)xm 2 .
dx
dx2
Por consiguiente, la ecuacin diferencial se transforma en
d2 y
dy
ax2
+ bx
+ cy = ax2m(m 1)xm 2 + bxmxm 1 + cxm
2
dx
dx
= am(m 1)xm + bmxm + cxm

= xm (am(m 1) + bm + c).
As, y = xm ser solucin de la eucacin diferencial cada vez que m sea
solucin de la ecuacin auxiliar am(m 1) + bm + c = 0 o am2 + (b a)m + c = 0. (20)
Hay que considerar tres casos diferentes dependiendo de si las races de esta
ecuacin cuadrtica son reales y distintas, reales e iguales, o complejas conjugadas.
Caso I. Sean m1 y m2 races reales de (20) tales que m1 m2 . Entonces y1 = xm1
y2 =
xm2
forman un conjunto fundamental de soluciones. Por lo tanto, la solucin
general es y = c1xm1 + c2 xm2 .
Ejemplo 22. Resuelva x2
d2 y
dx2
2x
dy
4y = 0.
dx
Solucin. Al suponer y = xm como solucin, al derivar dos veces se tiene:

d2 y
dy
= m(m 1)xm 2 .
= mxm 1 y
dx
dx2
Sustituyendo en la ecuacin diferencial:
d2 y
dy
x2
2x
4y = x2m(m 1)xm 2 2xmxm 1 4xm
dx
dx2
Ahora
y = c1x
bien,
= xm (m(m 1) 2m 4) = xm (m2 3m 4) = 0
(m + 1)(m 4) = 0 implica m1 = 1, m2 = 4 de modo
que
+ c2 x .
4
Caso II. Si m1 = m2 , se obtiene una sola solucin a saber, y = xm1 . Cuando las races
de la ecuacin cuadrtica am2 + (b a)m + c = 0 son iguales, el discriminante de los
71
coeficientes es necesariamente cero. Por la frmula cuadrtica se sabe que la raz debe
ser m1 = (b a) / 2a . Ahora se puede construir una segunda solucin usando la
frmula obtenida en el apartado 4.13. Se escribe primero la ecuacin de Euler-Cauchy
d2 y
b dy
c
en la forma
+
+
y = 0 y se hace la identificacin P(x) = b / ax. Por
2
ax dx ax2
dx
consiguiente
y2 = xm1
(b / ax)dx
e
x2m1
dx = xm1 x b / a.x 2m1 dx = xm1 x b / a.x(b a) / adx = xm1
dx
= xm1 ln x.
x
La solucin general es entonces y = c1xm1 + c2 xm1 ln x

Ejemplo 23. Resuelva 4x2
d2 y
dx
+ 8x
dy
+ y = 0.
dx
Solucin. La sustitucin y = xm da
4x2
d2 y
dx2
+ 8x
dy
+ y = xm (4m(m 1) + 8m + 1) = xm (4m2 + 4m + 1) = 0
dx
cuando 4m2 + 4m + 1 = 0 o bien (2m + 1)2 = 0. Puesto que m1 = 1 / 2, la solucin

general es y = c1x 1 / 2 + c2 x 1 / 2 ln x .
Observacin 4. Para ecuaciones de orden superior, puede demostrarse que si m1 es
una raz de multiplicidad k, entonces xm1 , xm1 ln x, xm1 (ln x)2 , ..., xm1 (ln x)k 1 son k
soluciones linealmente independientes.
Caso III. Si m1 y m2 son complejas conjugadas, por ejemplo m1 = + i, m2 = i
donde y > 0 son reales, entonces una solucin formal es y = C1x +i + C2 x i. Pero
como en el caso de las ecuaciones cono coeficientes constantes, cuando las races de la
ecuacin auxiliar son complejas, se tratar de escribir la solucin solamente en
trminos de funciones reales. Se destaca la identidad xi = (eln x )i = eiln x , la cual, por
la frmula de Euler, es la misma que xi = cos( ln x) + isen( ln x).
Por lo tanto
y = C1x +i + C2 x i = x [C1xi + C2 x i ]
= x [C1[cos( ln x) + isen( ln x)] + C2 [cos( ln x) isen( ln x)]]

= x [(C1 + C2 ) cos( ln x) + (C1i C2i)sen( ln x)]
En el intervalo 0 < x < se puede verificar fcilmente que y1 = x cos( ln x) y
y2 = x sen( ln x) constituyen un conjunto fundamental de soluciones de la ecuacin

diferencial. Se deduce que la solucin general es y = x [c1 cos( ln x) + c2sen( ln x)] .
72
Ejemplo 24. Resuelva x2
d2 y
dx
d y
Solucin. Se tiene x2
+ 3x
+ 3x
dx
dy
+ 3y = 0.
dx
dy
+ 3y = xm (m(m 1) + 3m + 3) = 0 si m2 + 2m + 3 = 0 .
dx
Con la frmula cuadrtica se encuentra m1 = 1 + 2i y m2 = 1 2i . Si se identifican
= 1 y = 2 , la solucin general es y = x 1[c1 cos( 2 ln x) + c2sen( 2 ln x)] .

Ejemplo 25. Resuelva x2 y '' 3xy '+ 3y = 2x 4ex .
Solucin. La sustitucin y = xm conduce a la ecuacin auxiliar m(m 1) 3m + 3 = 0 o
bien (m 1)(m 3) = 0 . Por consiguiente, yc = c1x + c2 x3 . Antes de usar variacin de
parmetros, se recordar que las frmulas u1' = y2 f(x) / W y u'2 = y1f(x) / W fueron
deducidas en el supuesto de que la ecuacin diferencial haba sido reducida a la forma
y ''+ P(x)y '+ Q(x)y = f(x) . Consecuentemente, se divide la ecuacin dada entre x2 y se
hace la identificacin f(x) = 2x2ex . Ahora bien, W =
que u1' =
2 x
x (2x e )
2x
= x2ex y u2' =
2 x
x(2x e )
2x
x3
2
1 3x
= 3x3 x3 = 2x3 , de modo
= ex . La integral de la ltima funcin es
inmediata, pero en el caso de u1' se debe integrar dos veces por partes. Los resultados
son u1 = x2ex + 2xex 2ex y u2 = ex . Luego,
yp = u1y1 + u2 y2 = (x2ex + 2xex 2ex )x + ex x3 = 2x2ex 2xex .

Finalmente se tiene y = yc + yp = c1x + c2 x3 + 2x2ex 2xex .
Ejemplo 26. Resuelva y '' =
y'
y
ln(x)
, y(1) = y(2) = 0 .
+3 2 +
x
x
x
Solucin. Al manipular la ecuacin se tiene x2 y '' xy ' 3y = x.ln(x) , x 0 .
Ecuacin de Euler de segundo orden no homognea.

Solucin de la ecuacin homognea asociada x2 y '' xy ' 3y = 0 :
yc (x) = c1y1 + c2 y2 = c1x3 + c2 x 1 .

Al utilizar el mtodo de variacin de parmetros se tiene que:
u1'
y2 f(x)
y1y'2
y1' y2
ln(x)
x2
3 2
x x
Resolviendo la integral
1
4
2 1
3x x
ln(x)
x
ln(x)
x2
4x
ln(x)
3
4x
u1 =
1
dx se sigue que 4
ln(x)
x3
1
4
ln(x)
x3
dx
1
z
1
dz =
4 e2z
4
(z = ln(x))
dx =
2z
zdz
1 2z
e .
2
1 1
1
1
1 1 ln(x)
= ze2z e2z =
.
2
4 2
4
4x2
4 2 x
u = z du = dz , dv = e2zdz v =
1
4
u'2 =
2z
zdz =
1 1 2z 1
ze
+
4 2
2
y1f(x)
y1y'2 y1' y2
2z
dz
x2 ln(x)
x ln(x)
1
=
u2 =
4x
4
4
x ln(x)dx
73
dx
x2
, dv = xdx v =
.
x
2
1
1 x2
1
1 x2
x2
1 1 ln(x)
1
x ln(x)dx = ln(x)
xdx = ln(x)
=
2
2
4
4 2
2
4
2
4
4
2
x
4x
1
x
1
x
La solucin es y(x) = yc + yp = c1x3 + c2 x 1 x ln(x)
.
x ln(x) +
8
16 8
16
c1 + c2 = 0
ln(2)
ln(2)
Si y(1) = y(2) = 0 entonces

y se tiene que
c1 =
, c2 =
c2 1
15
15
= ln(2)
8c1 +
2
2
ln(2) 3 ln(2) 1 1
y(x) =
x
x x ln(x)
15
15
4
Resolviendo
1
4
x ln(x)dx se sigue que u = ln(x) du =
2.16. APLICACIONES DE LAS ECUACIONES DIFERENCIALES

LINEALES DE SEGUNDO ORDEN
Las ecuaciones diferenciales lineales de segundo orden tienen una amplia
variedad de aplicaciones en la ciencia e ingeniera. En las prximas secciones se
explorar una de ellas: las vibraciones mecnicas.
Ejemplo 27. Se sabe que los objetos en cada libre cercanos a la superficie de la
Tierra tienen una aceleracin constante g. Ahora bien, la aceleracin es la derivada de
la velocidad y sta, a su vez, es la derivada de la distancia s. Luego, si se toma como
d2s
= g es
direccin positiva la direccin vertical hacia arriba, se tiene que la frmula
dt2
la ecuacin diferencial que da la distancia vertical recorrida por el cuerpo que cae. Se
usa el signo menos puesto que el peso del cuerpo es una fuerza de direccin opuesta a
la direccin positiva. Si adems se supone que desde el techo de un edificio de altura
s0 se lanza una piedra hacia arriba con una velocidad inicial v0 , en tal caso se debe
resolver
d2s
dt2
= g, 0 < t < t1 , sujeta a las condiciones adicionales s(0) = s0 , s '(0) = v0 .
Aqu t = 0 se toma como el instante inicial en el que la piedra sale del techo del edificio
y t1 es el tiempo transcurrido hasta que sta cae a tierra. Puesto que la piedra se
lanza hacia arriba, naturalmente se da por sentado que v0 > 0 . Por supuesto, esta
formulacin del problema ignora otras fuerzas tales como la resistencia del aire que
acta sobre el cuerpo.
2.17. MOVIMIENTO ARMNICO SIMPLE O MOVIMIENTO

VIBRATORIO LIBRE NO AMORTIGUADO
Considere el movimiento de un objeto de masa m, en el extremo de un resorte
en posicin vertical. De acuerdo a la ley de Hooke, que dice que si el resorte se estira
(o comprime) x unidades a partir de su longitud natural, entonces ejerce una fuerza
que es proporcional a x: fuerza restauradora = kx , donde k es una constante positiva
74
(llamada constante de elasticidad). Si se ignoran las fuerzas de resistencia externas

(debidas a resistencia del aire o a la friccin) entonces, por la segunda ley de Newton
d2 x
d2 x
(fuerza es igual a masa por aceleracin), se tiene m 2 = kx o m 2 + kx = 0 . Esta
dt
dt
es una ecuacin diferencial lineal de segundo orden. Su ecuacin caracterstica es

mr2 + k = 0 con races r = i, donde = k m . Por tanto, la solucin general viene
dada por x(t) = c1 cos t + c2sent .
Ejemplo 28. Un resorte con masa de 2 Kg tiene una longitud natural de 0.5 m. Es
necesaria una fuerza de 25.6 Nw para mantenerlo estirado y alcanzar una longitud de
0.7 m. Si el resorte se estira hasta medir 0.7 m y luego se suelta con velocidad inicial
igual a cero, encuentre la posicin de la masa en cualquier tiempo t.
Solucin. De la ley de Hooke, la fuerza necesaria para estirar el resorte es k.0.2 =
25.6 k = 25.6 / 0.2 = 128. Usando este valor de la constante de elasticidad k, junto
d2 x
+ 128x = 0. La solucin de esta ecuacin segn el anlisis

dt2
general anterior es x(t) = c1 cos 8t + c2sen8t . Se da la condicin inicial x(0) = 0.2, por
tanto c1 = 0.2. Derivando la ecuacin anterior se obtiene x '(t) = 8c1sen8t + 8c2 cos 8t .
con m = 2 se tiene 2
Como la velocidad inicial est dada como x '(0) = 0 , se tiene c2 = 0 y por tanto la
solucin es x(t) =
1
5
cos 8t . Analizando un poco la ecuacin x(t) = c1 cos t + c2sent , se
tiene que el perodo de las vibraciones libres es T = 2 y la frecuencia f = 1 T = 2 .

Por ejemplo, para x(t) =
1
5
cos 8t (ver figura 1) el perodo es 2 8 = 4 y la frecuencia
4 . El primer nmero indica que la grfica de x(t) se repite cada 4 unidades; el

ltimo nmero indica que hay 4 ciclos de la grfica cada unidades. Adems, se
puede demostrar que el perodo 2 es el intervalo de tiempo entre dos mximos
sucesivos de x(t) .
Figura 1. Grfica del movimiento armnico simple para el ejemplo 28.
75
A veces es til escribir la ecuacin x(t) = c1 cos t + c2sent en una forma

equivalente x(t) = Asen(t + ) , donde A =
que sen =
c1
,
A
cos =
c12 + c22 (amplitud), (ngulo de fase), tal
c2
. Para demostrar la frmula anterior se tiene:
A
Asen(t + ) =
=
c12 + c22 (sent cos + cos tsen)

c12 + c22 .sent.
c2
c12
c22
+ c12 + c22 .cos t.
c1
c12
+ c22
= c1 cos t + c2sent
Para el caso x(t) =
que x(t) =
1
5
1
5
cos 8t
se tiene sen = 1, cos = 0 = 2 . De modo
sen(8t + 2 ) .
2.18. MOVIMIENTO VIBRATORIO

Se supondr en el estudio que sigue que la fuerza de amortiguacin que acta
sobre un cuerpo est dada por un mltiplo constante de dx dt (en muchos casos, la
fuerza de amortiguacin es proporcional a (dx / dt)2 , por ejemplo, en problemas de
hidrodinmica). Cuando no actan otras fuerzas exteriores sobre el sistema, se tiene
d2 x
dx
por la segunda ley de Newton, que m. 2 = kx
, en donde es una constante
dt
dt
de amortiguacin positiva y el signo negativo se debe a que la fuerza amortiguadora

acta en direccin opuesta al movimiento. Dividiendo la ecuacin anterior entre la
masa m, se obtiene la ecuacin diferencial del movimiento vibratorio amortiguado libre
d2 x dx k
d2 x
dx
o
bien
+
.
+
x
=
0
+ 2
+ 2 x = 0 .
2
2
m dt m
dt
dt
dt
El smbolo 2 se usa slo por conveniencia algebraica ya que la ecuacin
auxiliar es m2 + 2m + 2 = 0 y por lo tanto las correspondientes races son
m1 = + 2 2 , m2 = 2 2 .
Segn el signo algebraico de 2 2 , se pueden distinguir tres casos posibles:
CASO I. 2 2 > 0 . En esta situacin, se dice que el sistema est sobreamortiguado,

puesto que el coeficiente de amortiguacin es grande comparado son la constante k
del resorte. La correspondiente solucin es x(t) = c1em1t + c2em2t m1 , m2 ambas < 0,
o bien x(t) = et c1e
2 2 t
+ c2e
2 2 t
Ejemplo 29. Se verifica fcilmente que la solucin del problema de valor inicial
d2 x
dx
+5
+ 4x = 0, x(0) = 1, x '(0) = 1 es x(t) = 53 e t 23 e4t . El problema puede ser
2
dt
dt
76
interpretado como una representacin del movimiento sobreamortiguado de una masa

sujeta a un resorte. La masa parte desde una posicin que se encuentra 1 unidad
debajo de la posicin de equilibrio, con una velocidad dirigida hacia debajo de 1 m/seg.
Para trazar la grfica de x(t), se encuentra el valor de t para el cual la funcin tiene un
extremo, esto es, el valor de t para el cual la primera derivada (velocidad) es cero.
Derivando resulta x '(t) = 53 e t +
t=
1
ln 58
3
8
3
e4t
de modo que x '(t) = 0 implica e3t =
8
5
0.157. Por intuicin fsica y por el estudio de la derivada en un entorno del
punto, se deduce que efectivamente x(0.157) = 1.069 m es un mximo. En otras

palabras, la masa alcanza un desplazamiento mximo de 1.069 m debajo de la
posicin de equilibrio. Se debe averiguar tambin si la grfica cruza el eje t, esto es,
saber si la masa pasa por la posicin de equilibrio. Esto no puede suceder en este caso
puesto que la ecuacin x(t) = 0,
o sea e3t =
2
5
, tiene una solucin fsicamente
irrelevante t 0.305 . La grfica del ejemplo es la siguiente (figura 2):
Figura 2. Grfica del ejemplo 29.
CASO II. 2 2 = 0 . Se dice que el sistema est crticamente amortiguado, ya que

una pequea disminucin de la fuerza de amortiguacin producira un movimiento
oscilatorio. La solucin general es x(t) = c1em1t + c2 tem1t m1 < 0 , o x(t) = et (c1 + c2 t) .
Ejemplo 30. Un cuerpo que pesa 8 lb estira un resorte 2 pies. Suponiendo que una
fuerza de amortiguacin numricamente igual a dos veces la velocidad instantnea
acta sobre el sistema y que el peso se suelta desde la posicin de equilibrio con una
velocidad dirigida hacia arriba de 3 pies / seg , determinar la ecuacin del movimiento.
Solucin. Por la ley de Hooke se tiene 8 = 2k k = 4 lb / pies y por m = W / g,
m=
8
32
1
4
slug . En consecuencia, la ecuacin diferencial del movimiento es

1 d2 x
dx
d2 x
dx
o bien
. 2 = 4x 2
+8
+ 16x = 0 .
2
4 dt
dt
dt
dt
77
Las condiciones iniciales son x(0) = 0, x '(0) = 3. Ahora bien, la ecuacin

auxiliar es m2 + 8m + 16 = (m + 4)2 = 0 , de modo que m1 = m2 = 4 . Por tanto, al
sistema est crticamente amortiguado y x(t) = c1e4t + c2 te4t . La condicin inicial
x(0) = 0 exige de inmediato que c1 = 0, por el contrario, usando x '(0) = 3 resulta
c2 = 3 . As, la ecuacin del movimiento es x(t) = 3te4t . La grfica del ejemplo es la
siguiente (figura 3):
CASO III. 2 2 < 0 . En este caso se dice que el sistema est subamortiguado, ya
que el coeficiente de amortiguacin es pequeo comparado con la constante del
resorte. Las races m1 y m2 son complejas, m1 = + 2 2 i, m2 = 2 2 i , y
por lo tanto la solucin general es x(t) = et (c1 cos( 2 2 t) + c2sen( 2 2 t)) . El

movimiento es oscilatorio, sin embargo, a causa del coeficiente et , las amplitudes de
variacin tienden a cero cuando t .
Ejemplo 31. Un cuerpo que pesa 16 lb se sujeta a un resorte de 5 pies de largo. En
estado de equilibrio, el resorte mide 8.2 pies. Si el peso se empuja hacia arriba y se
suelta, a partir del reposo, desde un punto que est 2 pies sobre la posicin de
equilibrio, determinar los desplazamientos x(t) sabiendo adems que el medio ofrece
una resistencia numricamente igual a la velocidad instantnea.
Solucin. El alargamiento experimentado por el resorte despus que se le sujeta el
peso es 8.2 5 = 3.2 pies, luego por la ley de Hooke se obtiene que 16 = k(3.2)
k = 5 lb / pie. Adems, m = 16 32 = 1 2 slug , y la ecuacin diferencial que resulta es
1 d2 x
dx
d2 x
dx
o bien
. 2 = 5x
+2
+ 10x = 0. Esta ltima ecuacin se resuelve sujeta
2
2 dt
dt
dt
dt
a las condiciones x(0) = 2, x '(0) = 0 . Las races de m2 + 2m + 10 = 0 son m1 = 1 + 3i
y m2 = 1 3i
lo cual implica que el sistema est subamortiguado y
78
x(t) = e t (c1 cos 3t + c2sen3t) . Ahora bien, de las condiciones iniciales se tiene c1 = 2,
c2 = 23 . Finalmente se tiene x(t) = e t (2 cos 3t
2
3
sen3t). La grfica del ejemplo es la
siguiente (figura 4):
2.19. MOVIMIENTO VIBRATORIO FORZADO

Suponga que ahora se considera adems una fuerza exterior f(t) que acta
sobre una masa oscilante sujeta a un resorte. Al incluir f(t) en la formulacin de la
d2 x dx k
f(t)
d2 x
dx
segunda ley de Newton resulta
, o
+ .
+
x=
+ 2
+ 2 x = F(t) , en
2
m dt m
m
dt
dt
dt2
donde F(t) = f(t) m y, tal como en la seccin precedente, 2 = m , 2 = k m . Para
resolver la ltima ecuacin no homognea se puede usar indistintamente el mtodo de
los coeficientes indeterminados o el de variacin de parmetros.
Ejemplo 32. Interprete y resuelva el problema de valor inicial

1 d2 x
dx
1
. 2 + 1.2
+ 2x = 5 cos 4t , x(0) =
, x '(0) = 0.
5 dt
dt
2
Solucin. Se puede interpretar el problema como una representacin de un sistema
oscilatorio que consiste en una masa (m = 15 Kg) sujeta a un resorte (k = 2 N / m) . La
masa se suelta, a partir del reposo, desde un punto que est 21 unidades (metro) bajo
la posicin de equilibrio. El movimiento es amortiguado ( = 1.2) y es impulsado por
una fuerza externa peridica. Primero se multiplica por 5 y se resuelve la ecuacin
d2 x
dx
homognea
+6
+ 10x = 0 por los mtodos usuales. Si m1 = 3 + i, m2 = 3 i se
2
dt
dt
tiene xc (t) = e3t (c1 cos t + c2sent). Usando coeficientes indeterminados, se postula una
79
solucin particular de la forma xp (t) = A cos 4t + Bsen4t . El sistema de ecuaciones que

resulta es
6A + 24B = 25
de solucin A = 25 / 102 y B = 50 / 51 . Se tiene pues
24A 6B = 0
25
x(t) = e3t (c1 cos t + c2sent) 102
cos 4t +
50
51
sen4t.
Si en la ecuacin anterior se hace t = 0 , inmediatamente resulta c1 = 38 / 51 .
Derivando la expresin y haciendo t = 0 se encuentra adems que c2 = 86 / 51 . Por lo

tanto, la ecuacin del movimiento viene dada por la expresin de la forma
86
50
38
25
x(t) = e3t
cos t
sent
cos 4t +
sen4t. . Se puede observar que la
51
51
51
102
86
38
funcin complementaria xc (t) = e3t

cos t
sent) tiene la propiedad particular
51
51
lm xc (t) = 0 . Puesto que xc (t) se vuelve insignificante (es decir tiende a cero cuanto
t
t , se dice que es un trmino transitorio o una solucin transitoria.

Ejemplo 33. Resuelva el problema de valor inicial
d2 x
+ 64x = 16 cos 8t , x(0) = 0, x '(0) = 0.
dt2
Solucin. La solucin complementaria es xc = A cos 8t + Bsen8t . La solucin particular
es de la forma xp = t(a cos 8t + bsen8t). Sustituyendo se tiene a = 0 , b = 1 . As la

solucin general es
x(t) = A cos 8t + Bsen8t + tsen8t . De las condiciones iniciales,
rpidamente se encuentra que A = B = 0 , de donde x = t.sen8t. El grfico del ejemplo

es el siguiente (figura 5):
Se ve del grfico (figura 5) que las oscilaciones van creciendo sin lmite.
Naturalmente, el resorte est limitado a romperse dentro de un corto tiempo. Se
debera notar que en este ejemplo el amortiguamiento fue ignorado y ocurri
80
resonancia porque la frecuencia de la fuerza externa aplicada fue igual a la frecuencia

natural del sistema no amortiguado.
2.20. SOLUCIONES EN FORMA DE SERIES DE ECUACIONES

DIFERENCIALES LINEALES
Numerosas ecuaciones diferenciales no se pueden resolver explcitamente en
trminos de combinaciones finitas de funciones simples conocidas. Esto ocurre incluso
para ecuaciones que parecen sencillas, como y '' 2xy '+ y = 0 . Sin embargo, es
importante poder resolver ecuaciones como la anterior, porque surgen en problemas
fsicos. En ese caso, se emplea el mtodo de serie de potencias, es decir, se busca una
solucin de la forma y = f(x) =
c x
= c0 + c1x + c2 x2 + c3x3 + ...
n=0
El mtodo consiste en sustituir esta expresin en la ecuacin diferencial y

determinar los valores de los coeficientes c0 , c1 , c2 , ... . Esta tcnica es semejante al
mtodo de coeficientes indeterminados. Se ilustrar el mtodo en la ecuacin
y ''+ y = 0 , que es sencilla. Es cierto que ya se sabe cmo resolver esta ecuacin por
tcnicas anteriores, pero es ms fcil entender el mtodo de las series de potencias
cuando se aplica a una ecuacin ms sencilla.
Ejemplo 34. Utilice una serie de potencias para resolver la ecuacin y ''+ y = 0.
Solucin. Suponga que hay una solucin de la forma y = c0 + c1x + c2 x2 + ... =
c x
n =0
Se puede derivar una serie de potencias trmino a trmino, y y ' =
nc x
n
n 1
n =1
y '' =
n(n 1)c x
n
n2
. Para comparar y y y '' con ms facilidad, se escribe y '' como
n=2
sigue: y '' =
(n + 2)(n + 1)c
n
n+ 2x
. Sustituyendo en la ecuacin diferencial se obtiene
n =0
(n + 2)(n + 1)cn + 2 xn +
n=0
n =0
cnxn = 0 o bien
[(n + 2)(n + 1)c
n+2
+ cn ]xn = 0 . De donde se
n=0
deduce que (n + 2)(n + 1)cn + 2 + cn = 0 cn + 2 =
cn
(n + 1)(n + 2)
n = 0,1, 2, 3,...
Para:
c0
c0
c
c
c
. n = 1 : c3 = 1 . n = 2 : c4 = 2 =
= 0.
1.2
2.3
3.4 1.2.3.4 4!
c3
c0
c
c1
c1
c4
. n = 4 : c6 =
n = 3 : c5 =
=
=
=
= 0.
4.5 1.2.3.4.5 5!
5.6
4!.5.6
6!
c5
c1
c1
.
n = 5 : c7 =
=
=
6.7
5!.6.7
7!
n = 0 : c2 =
81
La expresin para los coeficientes es:

c
c1
Para los pares: c2n = (1)n 0 . Para los impares: c2n +1 = (1)n
.
(2n)!
(2n + 1)!
De modo que:
y = c0 + c1x + c2 x2 + c3x3 + c4 x4 + c5 x5 + ...
x2 x4 x6
x2n
x3 x5 x7
x2n +1
= c0 1
+
+ ... + (1)n
+ ... + c1 x
+
+ ... + (1)n
+ ...
2! 4! 6!
(2n)!
3
5! 7!
(2n + 1)!
= c0
(1)n
n =0
x2n
x2n +1
+ c1
(1)n
.
(2n)!
(2n
+
1)!
n=0
Note que hay dos constantes arbitrarias, c0 y c1 .

Si se reconocen las series obtenidas en el ejemplo 34 como las series de
MacLaurin para cos(x) y sen(x), se puede escribir la solucin de la forma
y(x) = c0 cos(x) + c1sen(x) . Pero por lo general no se pueden expresar las soluciones de
las ecuaciones diferenciales en forma de series de potencias en trminos de funciones
conocidas.
Para simplificar las cosas, se va a restringir el estudio a ecuaciones
diferenciales lineales de segundo orden de la forma p(x)y ''+ q(x)y '+ r(x)y = 0 , donde
p(x), q(x) y r(x) son polinomios. Resulta que tales ecuaciones diferenciales si surgen
mucho en la prctica, y tambin una vez se tenga informacin en relacin a ellas es
facil generalizar a ecuaciones de orden superior o ms complicadas. Una de tales
generalizaciones se refiere al caso donde p(x), q(x) y r(x) son funciones analticas,
esto es, tienen expansiones en series de potencias en algn intervalo de convergencia.
q(x)y '+ r(x)y
. Ahora si ha de existir una solucin
Una forma de la ecuacin sera y '' =
p(x)
en forma de serie y se desea que exista en x = a , sera catastrfico si el denominador
p(x) fuera cero para x = a . Estas situaciones sern tratadas con cuidado en secciones
posteriores.
2.21. PUNTOS ORDINARIOS Y PUNTOS SINGULARES

Definicin 6. Un valor de x tal que p(x) = 0 se llama un punto singular o
singularidad, de la ecuacin p(x)y ''+ q(x)y '+ r(x)y = 0 . Cualquier otro valor de x se
llama entonces un punto ordinario o punto no singular.

Ejemplo 35. Dada la ecuacin diferencial x(1 x)y '' (2x + 1)y '+ 3y = 0, x = 0 y x = 1
son ambos puntos singulares, mientras que otros valores de x, tales como x =
1
2
, 3
por ejemplo, son puntos ordinarios.

Ejemplo 36. La ecuacin diferencial xy ''+ y '+ xy = 0 tiene un nico punto singular
x = 0 . Cualesquiera otros valores son puntos ordinarios.
82
Ejemplo 37. Las ecuaciones y ''+ y = 0 y y ''+ 2xy ' y = 0 no tienen puntos singulares,
o en otras palabras todo valor de x representa un punto ordinario.
Ejemplo 38. La ecuacin (x2 + 1)y '' 2y '+ xy = 0 tiene puntos singulares dados por
x2 + 1 = 0, esto es, x = i . As puntos singulares (y puntos ordinarios) pueden ser

nmeros complejos.
Se tiene entonces el interesante e importante teorema siguiente:
TEOREMA 4. Sea p(x)y ''+ q(x)y '+ r(x)y = 0 una ecuacin diferencial donde p(x), q(x) y
r(x) son polinomios. Suponga que a es cualquier punto ordinario de la ecuacin, esto
es, p(a) 0 . Entonces se pueden obtener las dos siguientes conclusiones:
a. La solucin general de p(x)y ''+ q(x)y '+ r(x)y = 0 se puede obtener al sustituir la
serie de potencias (o serie de Taylor) alrededor de x = a dada por
y = a0 + a1(x a) + a2 (x a)2 + ... =
a (x a)
j=0
en la ecuacin diferencial dada.

b. Las soluciones con series obtenidas en el apartado anterior convergen para todos
los valores de x tales que x a < R , donde R es la distancia del punto a la
singularidad ms prxima. Con frecuencia se llama a R el radio de convergencia.

Las series pueden o no pueden converger para x a = R , pero definitivamente
divergen para x a > R .
Con frecuencia es fcil confirmar la segunda conclusin de este teorema en
relacin a la convergencia de las soluciones con series usando la prueba del cociente
aprendida en Clculo.
Ejemplo 39. Determine, en trminos de series de potencias centradas en x = 0 , la
solucin general de la ecuacin diferencial (x2 + 1)y ''+ xy ' y = 0 .

Solucin.
Si y =
cnxn entonces (x2 + 1)
n=0
n=2
n(n 1)cnxn +
n =2
n(n 1)cnxn 2 +
n=2
n(n 1)cnxn 2 + x
n =2
c x
= 0.
n= 0
ncnxn
n =1
c x
= 0.
n= 0
(n + 2)(n + 1)cn + 2 xn +
n= 0
ncnxn 1
n =1
n(n 1)cnxn +
ncnxn
n =1
c x
= 0.
n =0
n(n 1) + n 1 c
+ (n + 2)(n + 1)cn + 2 xn = 0 . La relacin de recurrencia es:
n=0
(1 n)
cn .
(n + 2)
0
n = 1 c3 = c1 c1 arbitrario
3
(n + 1)(n 1)cn + (n + 2)(n + 1)cn + 2 = 0 cn + 2 =

n = 0 c2 =
1
c0
2
c0 arbitrario
83
1
1
c2 = 2 c0
4
2 2!
3
1.3
n = 4 c6 = c4 = 3 c0
6
2 3!
2
c3 = 0
5
4
n = 5 c7 = c5 = 0 .
7
n = 2 c4 =
n = 3 c5 =
Por lo tanto
1
1
1.3
1.3.5 8
y = c0 + c1x + c2 x2 + c3x3 + ... = c1x + c0 1 + x2 2 x 4 + 3 x6 4

x + ...
2
2 2!
2 3!
2 4!
Las soluciones son
1
y1(x) = c0 1 + x2 +
2
(1)
n 1
1.3.5...(2n 3)
n
2 n!
n=2
x2n ,
x < 1,
y2 (x) = c1x
Ejemplo 40. Determine, en trminos de series de potencias centradas en x = 0 , la

solucin de la ecuacin diferencial y ''+ 2xy ' y = 0 sujeta a las condiciones y(0) = 0 ,
y '(0) = 1 .
Solucin. Sean y =
Cnxn , y ' =
n =0
Sustituyendo:
Cnnxn 1 , y'' =
n =0
n =2
De modo que:
C x
= 0.
Cnn(n 1)xn 2 se tiene
k + 2 (k
+ 2)(k + 1)xk .
k =0
Cn + 2 (n + 2)(n + 1)xn + 2
n=0
n2
n=0
n =2
Cnnxn
n =0
Haciendo k = n 2 en
C n(n 1)x
n=0
Cnn(n 1)xn 2 + 2
n=0
Cnnxn
C x
= 0.
n=0
Entonces:
n + 2 (n
+ 2)(n + 1) + 2Cnn Cn xn = 0 , de donde la relacin de recurrencia
n=0
(2n 1)
Cn . Para:
(n + 2)(n + 1)
1
1
3
3.1
;
;
;
n = 0 , C2 = C0
n = 1 , C3 =
C1
n = 2 , C4 =
C2 =
C0
2
3.2
4.3
4.3.2
5
5.1
7
7.3.1
;
;
n = 3 , C5 =
C3 =
C1
n = 4 , C6 =
C4 =
C0
5.4
5.4.3.2
6.5
6.5.4.3.2
9
9.5.1
11
11.7.3.1
;
n = 5 , C7 =
C5 =
C1
n = 6 , C8 =
C6 =
C0
7.6
7.6.5.4.3.2
8.7
8.7.6.5.4.3.2
se define como: Cn + 2 =
De modo que:
1 2 3.1 4 7.3.1 6 11.7.3.1 8
y = C0 1 +
x
x +
x
x + ... +
2!
4!
6!
8!
1 3 5.1 5 9.5.1 7 13.9.5.1 9
C1 x
x +
x
x +
x ...
3!
5!
7!
9!
y
4.3.1 3 7.6.3.1 5 11.8.7.3.1 7
2
y ' = C0 x
x +
x
x + ... +
4!
6!
8!
2!
3
5.5.1
9.7.5.1
13.9.9.5.1
C1 1
x2 +
x4
x6 +
x8 ...
3!
5!
7!
9!
84
Entonces:
3.7.11.....(4k 1) 2k
5.9.13.....(4k + 1) 2k +1
y = C0 1 +
(1)k +1
x + C1 x +
(1)k
x
(2k)!
(2k + 1)!
k =1
k =1
Con las condiciones iniciales se obtiene: 0 = C0 + 0.C1 , 1 = 0.C0 + C1 , C0 = 0 , C1 = 1 y
la solucin toma la forma y = x +
(1)
k =1
5.9.13.....(4k + 1) 2k +1
.
x
(2k + 1)!
2.22. ECUACIN DE LEGENDRE

Definicin 7. La ecuacin (1 x2 )y '' 2xy '+ n(n + 1)y = 0 , donde n es un entero no
negativo, aparece en muchas ocasiones en estudios avanzados de matemtica

aplicada, fsica e ingeniera. Se llama ecuacin de Legendre.
Dado que x = 0 es un punto ordinario de la ecuacin, se sustituye la serie de
potencia y =
c x
, se desplazan los ndices de suma y se combinan las series para
n=0
obtener
(1 x2 )y '' 2xy '+ n(n + 1)y = n(n + 1)c0 + 2c2 + (n 1)(n + 2)c1 + 6c3 x
(j + 2)(j + 1)c
j+ 2
+ (n j)(n + j + 1)c j x j = 0,
j=2
lo cual significa que,

n(n + 1)c0 + 2c2 = 0,
(n 1)(n + 2)c1 + 6c3 = 0,
(j + 2)(j + 1)c j + 2 + (n j)(n + j + 1)c j = 0
o sea
c2 =
n(n + 1)
c0 ,
2!
c3 =
(n 1)(n + 2)
c1 ,
3!
c j+ 2 =
(n j)(n + j + 1)
cj,
(j + 2)(j + 1)
j = 2, 3, 4,...
Si se hace que j tome los valores 2, 3, 4, , la relacin de recurrencia anterior

da como resultado
(n 2)(n + 3)
(n 2)n(n + 1)(n + 3)
c4 =
c2 =
c0
4.3
4!
(n 3)(n + 4)
(n 3)(n 1)(n + 2)(n + 4)
c5 =
c3 =
c1
5.4
5!
(n 4)(n + 5)
(n 4)(n 2)n(n + 1)(n + 3)(n + 5)
c6 =
c4 =
c0
6.5
6!
(n 5)(n + 6)
(n 5)(n 3)(n 1)(n + 2)(n + 4)(n + 6)
c7 =
c5 =
c1
7.6
7!
etc. Entonces, cuando menos para x < 1 se obtienen dos soluciones linealmente
independientes en forma de series de potencias:
n(n + 1) 2 (n 2)n(n + 1)(n + 3) 4 (n 4)(n 2)n(n + 1)(n + 3)(n + 5) 6
y1(x) = c0 1
x +
x
x + ...
2!
4!
6!
(n 1)(n + 2) 3 (n 3)(n 1)(n + 2)(n + 4) 5 (n 5)(n 3)(n 1)(n + 2)(n + 4)(n + 6) 7
y2(x) = c1 x
x +
x
x + ...
3!
5!
7!
85
Observe que si n es en entero par, la primera serie termina, mientras que

y2 (x) es una serie infinita; por ejemplo, si n = 4 , entonces
4.5 2 2.4.5.7 4
35 4
y1(x) = c0 1
x +
x = c0 1 10x2 +
x .
2!
4!
3
De igual manera, cuando n es un entero impar, la serie de y2 (x) termina con

xn ; esto es, cuando n es un entero no negativo, se obtiene una solucin en forma de
polinomio de grado n de la ecuacin de Legendre.
Como se sabe que un mltiplo constante de una solucin de la ecuacin de
Legendre tambin es una solucin, se acostumbra elegir valores especficos de c0 o
c1 , dependiendo de si n es un entero, positivo par o impar, respectivamente. Para
1.3...(n 1)
mientras que para
2.4...n
1.3...n
. Por ejemplo,
n = 1 se escoge c1 = 1 , y para n = 3,5, 7,... c1 = (1)(n 1) / 2
2.4...(n 1)
n = 0 se elige c0 = 1 , y para n = 2, 4, 6,...
cuando n = 4 , y1(x) = (1)4 / 2
c0 = (1)n / 2
1.3
35 4 1
1 10x2 +
x = (35x4 30x2 + 3) .
2.4
3
8
2.23. POLINOMIOS DE LEGENDRE

Definicin 8. Sea {Pn(x)} , donde n = 0,1, 2,..., la sucesin de polinomios como sigue:
P0 (x) = 1 y Pn (x) =
1
dn
n
2 n! dxn
(x2 1)n , (*) para n > 0 . Entonces Pn (x) es llamado el
polinomio de Legendre de grado n, y (*) se conoce como la frmula de Rodrgues

para estos polinomios. De (*) est claro que Pn (x) es un polinomio de grado n, y por
clculo directo, se ve que P0 (x) = 1, P1(x) = x, P2 (x) =
3
2
x2 12 , P3 (x) =
5
2
x3
3
2
x.
TEOREMA 5. Las siguientes, son propiedades de los polinomios de Legendre:

a. El polinomio ensimo Pn de Legendre, es una solucin de la ecuacin diferencial
lineal de segundo orden (1 x2 )y '' 2xy '+ n(n + 1)y = 0 (Ecuacin de Legendre).
b. El polinomio de Legendre de orden n + 1 satisface la identidad dada por

+1
Pn +1 = 2n
xPn nn+1 Pn 1 para toda n 1 , y toda x.
n +1
c.
d.
Pn (x) = (1)nPn (x) para toda n.

Pn (1) = 1 para toda n.
e.
Pn (1) = (1)n para toda n.
f.
Pn (0) = 0, n impar
g.
Pn' (0) = 0, n par
h. El polinomio de Legendre de grado n tiene n races reales distintas, entre 1 y 1.
86
2.24. PUNTO SINGULAR REGULAR

Definicin 6. Sea x = a un punto singular de la ecuacin diferencial dada por
(x a)q(x)
x a
p(x)
p(x)y ''+ q(x)y '+ r(x)y = 0 . Entonces si lm
(x a)2 r(x)
existen ambos
x a
p(x)
lm
y son finitos, se llama a x = a un punto singular regular; en caso contrario se llama

un punto singular irregular.
Ejemplo 41. Dada la ecuacin (x 2)y ''+ 3y ' xy = 0 , se tiene p(x) = x 2 , q(x) = 3,
(x 2)(3)
(x 2)2 (x)
= 3, lm
= 0,
x 2
x 2
x2
x2
r(x) = x y x = 2 es un punto singular. Como lm
esto es, ambos lmites existen, x = 2 es un punto singular regular.

Ejemplo
42.
Dada
la
ecuacin
x3 (1 x)y ''+ (3x + 2)y '+ x 4 y = 0,
se
tiene
p(x) = x (1 x), q(x) = 3x + 2, r(x) = x , y hay dos puntos singulares x = 0 y x = 1 .

3
Puesto que lm
x 0
x(3x + 2)
x3 (1 x)
no existe, mientras que lm
x 0
singular irregular. Puesto que lm
x 1
(x 1)(3x + 2)
x3 (1 x)
x2.x4
= 0 , x = 0 es un punto
x3 (1 x)
= 5 ,
lm
(x 1)2 (3x + 2)
x3 (1 x)
x 1
= 0 , existen
ambos, x = 1 es un punto singular regular. Basados en las observaciones, se conjetura

la verdad del siguiente:
TEOREMA 7. Sea x = a un punto singular regular de la ecuacin diferencial
p(x)y ''+ q(x)y '+ r(x)y = 0 , donde p(x), q(x) y r(x) son polinomios, y suponga que x = a
(x a)q(x)
x a
p(x)
es un punto singular regular, esto es lm
(x a)2 r(x)
existen ambos
x a
p(x)
lm
y son finitos, entonces la ecuacin tiene una solucin de la forma
y = (x a)r [a0 + a1(x a) + a2 (x a)2 + ...] =
a (x a)
j+r
j= 0
donde la serie aparte del factor (x a)r converge para todo x tal que x a < R y
donde R es la distancia de x = a a la singularidad ms prxima (por supuesto distinta
de a). La serie puede o no puede converger para x a = R pero definitivamente
diverge para x a > R .
2.25. MTODO DE FROBENIUS

Ejemplo 43. Resuelva 3xy ''+ y ' y = 0 .
Solucin. Se ensayar una solucin de la forma y =
c x
n
n +r
. Ahora bien,
n=0
y' =
n =0
(n + r)cnxn + r 1 , y '' =
(n + r)(n + r 1)c x
n
n +r 2
n=0
87
3xy ''+ y ' y = 0 3
(n + r)(n + r 1)cnxn + r 1 +
n=0
(n + r)cnxn + r 1
n =0
c x
n
n +1
=0
n=0
[(n + r + 1)(3n + 3r + 1)cn +1 cn ]xn = 0

xr r(3r 2)c0 x 1 +
n=0
lo cual implica r(3r 2)c0 = 0 , (n + r + 1)(3n + 3r + 1)cn +1 cn = 0 , n = 0,1, 2,...
Puesto que nada se logra eligiendo c0 = 0 , se debe tener r(3r 2) = 0 () y
cn
, n = 0,1,2,...
(n + r + 1)(3n + 3r + 1)
Al sustituir los dos valores de r encontrados en () , r1 = 2 / 3 y r2 = 0 , resultan
cn +1 =
dos relaciones de recurrencia diferentes: r1 = 2 / 3, cn +1 =
cn
, n = 0,1, 2,...
(3n + 5)(n + 1)
cn
, n = 0,1, 2,... . De la primera relacin de recurrencia:
(n + 1)(3n + 1)
c
c0
c0
c
c0
c
c
,
c1 = 0 , c2 = 1 =
, c3 = 2 =
, c4 = 3 =
5.1
8.2 2!.5.8
11.3 3!.5.8.11
14.4 4!.5.8.11.14
c0
cn =
,
n = 1, 2, 3,...
n!.5.8...(3n + 2)
r2 = 0, cn +1 =
De acuerdo con la segunda relacin de recurrencia

c
c0
c0
c3
c3
c
c
c1 = 0 , c2 = 1 =
, c3 = 2 =
, c4 =
=
,
1.1
2.4 2!.1.4
3.7 3!.1.4.7
4.10 4!.1.4.7.10
c0
cn =
,
n = 1,2, 3,...
n!.1.4.7...(3n 2)
Se obtienen as dos soluciones en serie
1
y1 = c0 x2 / 3 1 +
xn , y2 = c0 x0 1 +
n!.5.8.11...(3n + 2)
n =1
n!.1.4.7...(3n 2) x .
1
n =1
De acuerdo al teorema 7 se puede afirmar que la convergencia de las

soluciones se da para todo valor finito de x. Se tiene entonces que y = C1y1 + C2 y2 , es
la solucin general de la ecuacin diferencial.
2.26. ECUACIN INDICIAL

Definicin 9. Se llama ecuacin indicial alrededor de un punto singular regular
(x a)q(x)
x = a , a una ecuacin de la forma r(r 1) + p0r + q0 = 0 , donde p0 = lm
y
x a
p(x)
(x a)2 r(x)
.
x a
p(x)
q0 = lm
A la ecuacin () se le llama ecuacin indicial del problema y a los valores

r1 = 2 / 3 y r2 = 0 se les llama races indiciales o exponentes de la singularidad.
88
Ejemplo 44. Resuelva xy ''+ (x 6)y ' 3y = 0 .
Solucin. Se ensayar una solucin de la forma y =
c x
n
n +r
. Ahora bien,
n=0
y' =
(n + r)cnxn + r 1 , y '' =
n =0
(n + r)(n + r 1)c x
n +r 2
n=0
De modo que
xy ''+ (x 6)y ' 3y = 0
(n + r)(n + r 1)cnxn + r 1 6
n=0
(n + r)c x
n + r 1
n=0
c x
(n + r)cnxn + r 3
n=0
n+r
=0
n =0
xr r(r 7)c0 x 1 +
xr r(r 7)c0 x 1 +
(n + r)(n + r 7)cnxn 1 +
n =1
(n + r 3)c x = 0
n
n=0
[(n + r + 1)(n + r 6)c
n +1
n=0
+ (n + r 3)cn ]xn = 0
de modo que r1 = 7, r2 = 0 , r1 r2 = 7 y
+ (n + r 3)cn = 0, n = 0,1,2,... . Para la raz menor r2 = 0 , se
Por consiguiente,
(n + r + 1)(n + r 6)cn +1
r(r 7) = 0
tiene (n + 1)(n 6)cn +1 + (n 3)cn = 0. Puesto que n 6 = 0 cuando n = 6 , no hay que

dividir entre este trmino hasta que n > 6 . Se tiene
1.(6)c1 + (3)c0 = 0 , 2.(5)c2 + (2)c1 = 0 , 3.(4)c3 + (1)c2 = 0
4.(3)c4 + 0.c3 = 0
5.(2)c5 + 1.c4 = 0 implica c4 = c5 = c6 = 0
6.(1)c6 + 2.c5 = 0 c0 y c7 arbitrarios

7.0c7 + 3.c6 = 0
1
1
1
1
1
Luego, c1 = c0 , c2 = c1 =
c0 , c3 =
c2 =
c0 y para n 7 :
2
5
10
12
120
(n 3)cn
cn +1 =
(n + 1)(n 6)
4
5
4.5
6
4.5.6
c8 =
c7 , c9 =
c8 =
c7 , c10 =
c9 =
c7
8.1
9.2
2!.8.9
10.3
3!.8.9.10
(1) .4.5.6...(n 4)
cn =
c7 , n = 8, 9,10,...
(n 7)!.8.9.10...n
n +1
Finalmente, para x > 0 , una solucin general de la ecuacin es
1
1 2
1 3
(1)n.4.5.6...(n + 3) n + 7
y = C1 1 x +
x
x + C2 x7 +
x
2
10
120
n!.8.9.10...(n + 7)
n =1
Es interesante observar que en el ejemplo precedente no se us la raz mayor.

Se debe a que esta slo dara una solucin contenida en la solucin general que ya se
encontr.
89
Ejemplo 45. Resuelva xy ''+ 3y ' y = 0 .
Solucin. xy ''+ 3y ' y = 0 xr r(r + 2)c0 x 1 +

[(k + r + 1)(k + r + 3)ck +1 ck ]xk = 0 .
k =0
De modo que la ecuacin indicial y los exponentes son r(r + 2) = 0 y r1 = 2 ,
r2 = 0 respectivamente. Puesto que (k + r + 1)(k + r + 3)ck +1 ck = 0, k = 0,1, 2,..., se

tiene que cuando r = 2 : (k 1)(k + 1)ck +1 ck = 0 . Para los casos k = 0 y k = 1 se
tiene: 1.1c1 c0 = 0 y 0.2c2 c1 = 0. La ltima ecuacin implica que c1 = 0 y por lo
tanto la primera implica que c0 = 0. Se encuentra que ck +1 =

y por lo tanto c3 =
ck
, k = 2, 3,...
(k 1)(k + 1)
c
c2
2c2
c
2c2
, c5 = 4 =
, c4 = 3 =
,
1.3
2.4 2!4!
3.5 3!5!
2c2
cn =
, n = 2, 3, 4,...
(n 2)!n!
De esta manera se puede escribir y1 = c2 x 2
2
xn =
(n
2)!n!
n =2
n!(n + 2)! x
2
, x <
n =0
ck
, k = 0,1,... . De modo que:
(k + 1)(k + 3)
c
2c0
2c0
c
2c0
2c0
c
c
c1 = 0 , c2 = 1 =
, c3 = 2 =
, c4 = 3 =
... cn =
, n = 1, 2, 3,...
1.3
2.4 2!4!
3.5 3!5!
4.6 4!6!
n!(n + 2)!
Cuando r = 0 se tiene ck +1 =
Por consiguiente, una solucin en serie es y2 (x) = c0 x0 1 +
2
xn .
n!(n + 2)!
n =1
Se concluye que el mtodo de Frobenius slo da una de las soluciones en serie

de la ecuacin diferencial. Se buscar una segunda solucin
y2 = y1(x)
= y1(x)
= y1(x)
o bien y2 =
(3 / x)dx
e
y12 (x)
dx = y1(x)
dx
1
1 2
1 3
x3 1 + x +
x +
x + ...
3
24
360
dx
= y1(x)
2
7 2
1 3
x3 1 + x +
x +
x + ...
3
36
30
1
2
1
19 3
1 x + x2
x + ...dx
3
3
4
270
x
2
1
19
2
1
19
1
3 2 + 4x 270 + ... dx = y1(x) 2 + 3x + 4 ln x 270 x + ...

3x
x
2x
1
2
19
1
y1(x)ln x + y1(x) 2 +
x + ... .
4
3x
270
2x
Por lo tanto, la solucin general en el intervalo 0 < x < es

1
2
19
1
y = C1y1(x) + C2 y1(x)ln x + y1(x) 2 +
x + ... .
3x 270
2x
90
Ejemplo 46. Resuelva xy ''+ y ' 4y = 0.
Solucin. La suposicin y =
c x
n
n +r
conduce a
n=0
xy ''+ y ' 4y = 0
(n + r)cnxn + r 1 4
n +r
=0
(n + r)(n + r 1)cnxn + r 1 +
n=0
c x
n=0
c x
(n + r)2 cnxn + r 1 4
n=0
n +r
=0
n=0
n=0
xr r2c0 x 1 +
xr r2c0 x 1 +
c x
(n + r)2 cnxn + r 1 4
n =1
n+r
n=0
[(n + r + 1) c
2
n +1
n =0
=0
4cn ]xn = 0
Por lo tanto, r2 = 0, r1 = 0, r2 = 0 y (n + r + 1)2 cn +1 4cn = 0, n = 0,1, 2,...

Claramente, la raz r1 = 0 dar slo una solucin, la correspondiente a los
4cn
coeficientes definidos por la iteracin de cn +1 =
y1 = c0
4n
(n!)
n =0
(n + 1)2
, n = 0,1, 2,... El resultado es
xn , x < . Para obtener la segunda solucin linealmente independiente
se hace c0 = 1 en la expresin anterior y luego
y2 = y1(x)
= y1(x)
= y1(x)
(1 / x)dx
e
y12 (x)
dx = y1(x)
dx
16 3
x 1 + 4x + 4x2 +
x + ...
9
dx
16 3
x 1 + 8x + 24x2 +
x + ...
9
= y1(x)
1
1472 3
1 8x + 40x2
x + ... dx
x
9
1472 2
1472 3
1
2
x 8 + 40x 9 x + ... dx = y1(x) ln x 8x + 20x 27 x + ... .
Por consiguiente, la solucin general en el intervalo 0 < x < es
1472 3
y = C1y1(x) + C2 y1(x)ln x + y1(x) 8x + 20x2

x + ... .
27
De los ejemplos anteriores es claro que las soluciones tipo Frobenius que se
obtienen dependen de las races indiciales y que pueden surgir varios casos:
91
CASO I. Si las races indiciales difieren en una constante que no es un entero, esto es,
no es 0, 1, 2,..., siempre se obtiene la solucin general. Esta es la situacin del
ejemplo 43.
CASO II. Si las races indiciales difieren en un entero no igual a cero, hay tres
posibilidades:
a. La solucin se obtiene al usar la raz indicial ms pequea. Por ejemplo, si las

races indiciales son 2 y 1 , entonces 2 es la raz ms pequea. Esta es la
situacin del ejemplo 44.
b. Al usar la raz indicial ms pequea se encuentra solo una solucin. La otra

solucin se halla aplicando la frmula de reduccin de orden. Esta situacin ocurre
en el ejemplo 45.
c.
No se obtiene solucin al usar la raz indicial ms pequea. Sin embargo, en todos
los casos se puede determinar una solucin al usar la raz ms grande.

CASO III. Si las races indiciales difieren en cero, esto es, son iguales, se obtiene
solamente una solucin. Esta es la situacin del ejemplo 46.
Ejemplo 47. Obtenga una solucin tipo Frobenius alrededor de x = 1 para la ecuacin
diferencial x(x 1)y ''+ xy '+ y = 0.
Solucin. Se tiene p(x) = x(x 1), q(x) = x, r(x) = 1, de modo que x = 0 y x = 1 son
(x 1)q(x)
(x 1)x
(x 1)2 r(x)
(x 1)2 (1)
= lm
= 1 , lm
= lm
=0
x 1
x 1 x(x 1)
x 1
x 1 x(x 1)
p(x)
p(x)
puntos singulares. Si lm
sigue que x = 1 es un punto singular regular, y as por el teorema 2 hay una solucin
tipo Frobenius alrededor de x = 1 dada por y =
a (x 1)
j
j+ c
j=0
Es conveniente hacer el cambio de variable v = x 1 , as que la ecuacin
diferencial se convierte en v(v + 1)y ''+ (v + 1)y '+ y = 0 y se puede escribir y =
a v
j
j+ c
j=0
Sustituyendo en la ecuacin:
(v2 + v)
j=0
o bien
{[(j + c)
(j + c)(j + c 1)ajv j + c 2 + (v + 1)
(j + c)ajv j + c 1 +
j=0
a v
j
j+ c
=0
j= 0
+ 1]aj + (j + c + 1)2 aj +1}v j + c = 0 . As [(j + c)2 + 1]aj + (j + c + 1)2 aj +1 = 0 .
j= 0
La ecuacin indicial viene dada por c2a0 = 0, esto es c = 0 puesto que a0 0 .

As, las races de la ecuacin indicial son ambas iguales a cero. Colocando c = 0 en la
expresin anterior se tiene (j2 + 1)aj + (j + 1)2 aj +1 = 0 aj +1 =
j2 + 1
(j + 1)2
aj . Ahora si se
coloca j = 0,1, 2,..., se tiene
a1 = a0 , a2 =
12 + 1
22
a1 =
12 + 1
22
a0 , a3 =
22 + 1
32
a2 =
(12 + 1)(22 + 1)
2232
a0 ,...
92
Usando esto y reemplazando v por x 1, se obtiene la solucin requerida
(12 + 1)
(12 + 1)(22 + 1)
2
y = a0 1 (x 1) +
(x
1)
(x 1)3 + ... .
2
2 2
2
2 3
Del teorema 7 sigue que la solucin en series anterior converge para x 1 < 1
puesto que la distancia de x = 1 a la singularidad ms prxima x = 0 es 1.
Observacin 5. Al resolver la ecuacin diferencial p(x)y ''+ q(x)y '+ r(x)y = 0 , donde
p(x), q(x) y r(x) son polinomios en torno a un punto x0 para el cual p(x0 ) = 0 , de
manera intencional no se han considerado dos complicaciones adicionales:
a. Es perfectamente posible que las races de la ecuacin indicial resulten ser

nmeros complejos. En particular, cuando la ecuacin indicial tiene coeficientes
reales, las races complejas sern un par conjugado r1 = + i , r2 = i y
r1 r2 = 2i entero. As, para x0 = 0, existirn siempre dos soluciones
y1 =
cnxn + r1 y y2 =
n=0
b x
n
n + r2
Ambas soluciones darn valores complejos de y
n =0
para cada valor real de x. Esta ltima dificultad puede ser superada mediante el
principio de superposicin. Puesto que una combinacin de soluciones tambin es
una solucin de la ecuacin diferencial, se pueden formar combinaciones
adecuadas de y1(x) y y2 (x) para obtener soluciones reales.
b. Por ltimo, si x = 0 es un punto singular irregular, debe hacerse notar que puede
ser posible no encontrar ninguna solucin de la forma y =
c x
n
n +r
n=0
2.27. LA FUNCIN GAMMA

Definicin 10. La definicin por integral de la funcin gamma debida a Euler, viene
dada por (x) =
t x 1e t dt .
La convergencia de la integral requiere que x 1 > 1 o bien x > 0 . La relacin

de recurrencia (x + 1) = x(x) puede ser obtenida usando integracin por partes.
Ahora bien, cuando x = 1 : (1) =
e t dt = 1 y, por consiguiente, de la relacin de
recurrencia se obtiene: (2) = 1(1) = 1, (3) = 2(2) = 2.1, (4) = 3(3) = 3.2.1 , etc. De
este modo se ve que cuando n es un entero positivo (n + 1) = n! . Por esta razn, la
funcin gamma se llama frecuentemente funcin factorial generalizada.
93
2.28. ECUACIN DE BESSEL

x2 y ''+ xy '+ (x2 v2 )y = 0 , donde
Definicin 11. La ecuacin
v 0 , aparece en
muchas ocasiones en estudios avanzados de matemtica aplicada, fsica e ingeniera.

Se llama ecuacin de Bessel de orden v.
Al resolverla se supondr que v 0 . Puesto que se buscan soluciones en serie
para esta ecuacin, en torno a x = 0 , se hace notar que el origen es un punto singular
c x
regular de la ecuacin de Bessel. Si se supone y =
n+r
, entonces
n=0
x2 y ''+ xy '+ (x2 v2 )y = 0
cn(n + r)(n + r 1)xn + r +
n =0
cn (n + r)xn + r +
n=0
v2
c x
n
n +r
c x
n
n +r + 2
n=0
=0
n=0
c0 (r2 r + r v2 )xr + xr
c [(n + r)(n + r 1) + (n + r) v ]x
2
n =1
+ xr
c x
n
n+2
n =0
La ecuacin indicial es r2 v2 = 0 , de modo que las races indiciales son r1 = v

y r2 = v. Cuando r1 = v se tiene:
xr
cnn(n + 2v)xn + xr
n =1
cnxn + 2 = 0 xr (1 + 2v)c1 +
n=0
cnn(n + 2v)xn +
n=2
cnxn + 2 = 0
n =0
xr (1 + 2v)c1 +
[(k + 2)(k + 2 + 2v)ck + 2 + ck ]xk + 2 = 0
k =0
Por lo tanto, por el argumento usual se puede escribir

(1 + 2v)c1 = 0, (k + 2)(k + 2 + 2v)ck + 2 + ck = 0 ,
o bien ck + 2 =
ck
,
(k + 2)(k + 2 + 2v)
La eleccin
c1 = 0
k = 0,1, 2,...
implica que
k = 0, 2, 4,... se encuentra, despus

c
c2n = 2 2n 2 . Por consiguiente,
2 n(n + v)
c2 =
c6 =
c0
c4 =
2 .1.(1 + v)
2
c4
22.3(3 + v)
c3 = c5 = c7 = ... = 0
de
hacer
c2
2 .2(2 + v)
2
de modo que para
k + 2 = 2n, n = 1, 2, 3,...
que
c0
2 .1.2(1 + v)(2 + v)
4
c0
26.1.2.3(1 + v)(2 + v)(3 + v)
94
(1)n c0
c2n =
22nn!(1 + v)(2 + v)...(n + v)
, n = 1, 2, 3...
Es comn dar a c0 un valor especfico, a saber, c0 =
()
1
2 (1 + v)
v
, donde (1 + v)
es la funcin gamma. Como esta ltima funcin tiene la propiedad (1 + ) = () , se

puede reducir el producto indicado en el denominador de () a un solo trmino. Por
ejemplo, (1 + v + 1) = (1 + v)(1 + v), (1 + v + 2) = (2 + v)(2 + v) = (2 + v)(1 + v)(1 + v) .
Por lo tanto, se puede escribir () como
c2n =
(1)n
22n + v n!(1 + v)(2 + v)...(n + v)(1 + v)
Entonces una solucin es y =
(1)n
22n + v n! (1 + v + n)
c2nx2n + v =
n =0
, n = 0,1, 2,...
2n + v
(1)n
x
2
n!
(1
+
v
+
n)

n=0
Si v 0 , la serie converger por lo menos en el intervalo 0 x < .
2.29. FUNCIONES DE BESSEL DE PRIMERA CLASE

La solucin en serie anterior se denota usualmente por Jv (x) :
Jv (x) =
2n + v
(1)n
x
n! (1 + v + n) 2
n =0
Adems, para el segundo exponente r2 = v se obtiene, exactamente de la
misma manera Jv (x) =
2n v
(1)n
x
n! (1 v + n) 2
n=0
Las funciones Jv (x) y Jv (x) se llaman funciones de Bessel de primera
clase, de orden v y v . Dependiendo del valor de v, se pueden obtener potencias

negativas de x y por lo tanto converge para 0 < x < .
Ahora bien, hay que tener un poco de cuidado al escribir la solucin general de
la ecuacin de Bessel. Cuando v = 0 es evidente que las soluciones son iguales. Si
v > 0 y r1 r2 = 2v no es un entero positivo, segn el caso I, se deduce que Jv (x) y
J v (x) son soluciones linealmente independientes para 0 < x < y por lo tanto la
solucin general en el intervalo sera de la forma y = c1Jv (x) + c2 Jv (x) . Pero tambin,
segn el caso II, cuando r1 r2 = 2v es un entero positivo, puede existir una segunda
solucin en serie de la ecuacin de Bessel. En este segundo caso, se distinguen dos
posibilidades. Cuando v = m = entero positivo, Jm (x) y Jm (x) no son soluciones
linealmente independientes. Adems, r1 r2 = 2v puede ser un entero postivo cuando v
es la mitad de un entero positivo impar. Se puede demostrar que en esta ltima
95
eventualidad, Jv (x) y Jv (x) son linealmente independientes. En otras palabras, la

solucin general de la ecuacin de Bessel
y = c1Jv (x) + c2 J v (x) siempre que v entero.
en
0<x<
es
de
la
forma
Ejemplo 48. Halle la solucin general de la ecuacin x2 y ''+ xy '+ (x2 14 )y = 0 en
0 < x < .
Solucin. Se identifica v2 = 1 / 4 y por lo tanto v = 1 / 2. Se tiene entonces que la
solucin general de la ecuacin diferencial es y = c1J1 / 2 (x) + c2 J1 / 2 (x) .
2.30. FUNCIONES DE BESSEL DE SEGUNDA CLASE

Si v entero , la funcin definida por la combinacin lineal de la forma
cos(v)Jv (x) Jv (x)
Yv (x) =
(*) y la funcin dada por Jv (x) son soluciones linealmente
sen(v)
independientes de la ecuacin de Bessel; por consiguiente, otra forma de la solucin
general de la ecuacin de Bessel es y = c1Jv (x) + c2 Yv (x) , siempre y cuando v entero .
Cuando v m (donde m es entero), la ecuacin (*) tienede a la forma indeterminada
0/0; sin embargo, con la regla de LHospital se puede demostrar, que lm Yv (x) existe.
v m
Adems,
la
funcin
Ym (x) = lm Yv (x)
v m
Jm (x)
son
soluciones
linealmente
independientes de x2 y ''+ xy '+ (x2 m2 )y = 0 ; por lo tanto, para cualquier valor de v, la

solucin general de la ecuacin de Bessel en
(0, )
se puede escribir como
y = c1Jv (x) + c2 Yv (x) . Yv (x) se llama funcin de Bessel de segunda clase, o de

segunda especie, de orden v.
96
2.31. PROBLEMAS PROPUESTOS

1. En los problemas siguientes, determine si las funciones dadas son linealmente
independientes o linealmente dependientes en < x < .
a. f1(x) = x, f2 (x) = x2 , f3 (x) = 4x 3x2
b.
f1(x) = 0, f2 (x) = x, f3 (x) = ex
c.
f1(x) = 5, f2 (x) = cos2 x, f3 (x) = sen2 x
d.
f1(x) = x, f2 (x) = x 1, f3 (x) = x + 3
2. Sean f1(x) = x2 y f2 (x) = x x . Demuestre que:

a.
W(f1(x), f2 (x)) = 0 para todo x.
b. Son linealmente independientes en < x < .
0 si x 0
3. Sean f1(x) = 1
y f2 (x) =
e x si x > 0
a. W(f1(x), f2 (x)) = 0 para todo x.
1x
e
0
si x < 0 . Demuestre que:
si x 0
b. Son linealmente independientes en < x < .

4. Resuelva:
a. 2y '' 2y '+ y = 0 , y(0) = 1, y '(0) = 0 .
b.
y ''+ 4y '+ 4y = 0 , y(0) = 2, y '(0) = 0 .
c.
y '' n2 y = 0, n R* , y(0) = 2, y '(0) = 0.
5. En los siguientes problemas, encuentre un operador diferencial que anule a la

funcin dada.
a.
1 + 6x 2x2
b.
x3 (1 5x)
c.
1 + 7e2x
d.
x + 3xe6x
e.
13x + 9x2 sen4x
f.
8x senx + 10 cos 5x
g.
e x + 2xex x2ex
h.
(2 ex )2
i.
3 + ex cos 2x
6. En los siguientes problemas, resuelva la ecuacin diferencial dada por el mtodo
de los coeficientes indeterminados.

a. y '' 9y = 54
b. 2y '' 7y '+ 5y = 29
c.
y '' 2y '+ y = x3 + 4x
d.
y ''+ 4y = 4 cos x + 3senx 8
e.
y '' y = x2ex + 5
97
f.
y ''+ 25y = 20sen5x
g.
y ''+ 4y = cos2 x
7. En los siguientes problemas, resuelva la ecuacin diferencial mediante variacin de

parmetros.
a. y ''+ y = sec x
b. y ''+ y = sec xtgx
c.
y '' 4y = e2x / x
d.
y ''+ 3y '+ 2y = 1 /(1 + ex )
e.
y '' 2y '+ y = ex arctgx
f.
4y '' 4y '+ y = ex / 2 1 x2
8. Resuelva las ecuaciones diferenciales dadas:

a. x2 y '' 2y = 0
b.
x2 y ''+ xy '+ 4y = 0
c.
x2 y ''+ 3xy ' 4y = 0
d.
4x2 y ''+ 4xy ' y = 0
e.
xy ''+ y ' = x
f.
xy '' 4y ' = x4
g.
2x2 y ''+ 5xy '+ y = x2 x
h.
x2 y '' xy '+ y = 2x
i.
x2 y '' 2xy '+ 2y = x3 ln x
9. Resolver las siguientes ecuaciones diferenciales:

a. x2 y ''+ xy '+ y = 2tg(ln x)
b.
y ''+ 3y '+ 2y =
c.
x y '' 3xy '+ 3y = 2x ln2 x
d.
x2 y ''+ xy '+ 9y = sen(ln(x3 )) + x.cos(ln(x2 ))
e.
f.
y '' y = x2ex
y ''+ 9y = 2 sec(3x)
g.
y ''+ 2y ' 3y = 1 + xex
h.
i.
y ''+ y ' 6y = senx + x.e2x

y ''+ y ' 6y = sen(3x) cos(3x)
j.
x2 y ''+ 3xy '+ y =
k.
1 + e2x
ln x
x
x2 y ''+ 3xy '+ 5y = x2
x>0
10. Resuelva el siguiente problema de valores iniciales:

y '' 6y '+ 13y = xe3x sen(3x) y(0) = 0 ,
y '(0) = 1
98
11. Resuelva la ecuacin (x2 1)y '' 2xy '+ 2y =
x2 1
x2 + 1
sabiendo que y1(x) = x es una
solucin de la ecuacin homognea correspondiente.

12. Resuelva x2 y '' xy '+ 2y = 0 sabiendo que y1(x) = xsen(ln x) es una solucin de ella.
13. Resuelva xy '' 2(x + 1)y '+ (x + 2)y = 0 sabiendo que y1(x) = ex es una solucin de
ella.
14. Una fuerza horizontal dada en newtons por la funcin: 1500 cos(t 4 ) (tiempo en
segundos) se aplica a una masa de 25 Kg sujeta por un resorte cuya constante de
elasticidad es 7500 (N/m) tal que ocurre el fenmeno de resonancia.
a. Calcule el valor de , la frecuencia de oscilacin de la fuerza y plantee la
ecuacin diferencial de la coordenada horizontal x(t) de la masa.
b. Obtenga x(t) para t 0 .

15. Determine el movimiento transitorio y oscilaciones peridicas estacionarias de un
sistema masa-resorte amortiguado con m = 1 , c = 2 y k = 26 bajo la influencia de
una fuerza externa F(t) = 82 cos(4t) con x(0) = 6 y x '(0) = 0 . Investigue la
posibilidad de resonancia prctica para este sistema.
16. Determine el tipo de singularidad de la ecuacin x3 (x 1)y ''+ (x2 3x)y ' xy = 0 , y
si existen puntos singulares regulares, d su ecuacin indicial.
17. Usando series de potencias centradas en x = 0 halle dos soluciones linealmente

independientes de la ecuacin 2xy ''+ (1 + x)y '+ y = 0 .
18. Usando series de potencias centradas alrededor del punto x = 0 , halle la solucin
general de la ecuacin y ''+ x2 y ' = 2xy .
19. Sea la siguiente ecuacin diferencial (x4 9x2 )y '' (x2 9)y '+ xy = 0 .
a. Determine los puntos singulares y clasifiquelos.
b. Escriba la forma de la solucin (no la calcule) alrededor de x = 1 e indique su
intervalo de convergencia.
20. Sea la ecuacin diferencial 3xy ''+ 7y '+ 15x2 y = 0 .
a. Obtenga sus races indiciales en x0 = 0 .
b. Obtenga dos soluciones linealmente independientes mediante el mtodo de
Frobenius alrededor de x0 = 0 .
c.
Diga cules son los radios de convergencia de las dos soluciones.
21. Obtenga los cinco primeros trminos no nulos de la solucin general de la ecuacin
y ''+ 2xy '+ 3x2 y = 0 mediante el mtodo de series de potencias.
99
22. Dada la ecuacin diferencial (x2 9)2 y ''+ (x + 3)y '+ 2y = 0 , determine los puntos
singulares y clasifiquelos en regulares e irregulares.
23. Sea la ecuacin diferencial xy ''+ y '+ x2 y = 0 .
a. Muestre que x = 0 es un punto singular regular.
b. Encuentre la solucin general, usando series, alrededor de x = 0 y d el
intervalo de convergencia de la solucin.
24. Resuelva, usando el mtodo de las series de potencias, el problema de valor inicial
y '' 2xy '+ 8y = 0
.
y(0) = 3, y '(0) = 0
25. Pruebe que
n=0
(1)n
22n(n!)2
x2n es solucin particular de la ecuacin xy ''+ y '+ xy = 0 .
26. Determine si son verdaderas o falsas las proposiciones. Justifique razonadamente

su respuesta.
a. La solucin en series de potencias alrededor de x = 1 de la ecuacin diferencial
(x2 + 1)y ''+ xy ' y = 0 tiene como radio de convergencia r = 1 .
b. La ecuacin diferencial 8x2 y ''+ 10xy '+ (x 1)y = 0 tiene como ecuacin indicial
a 8r2 + 2r 1 = 0 .
c.
x = 0 y x = 1 son puntos singulares regulares de la ecuacin diferencial dada

por (x3 (x 1))y ''+ (3x + 2)y '+ x4 y = 0 .
27. Dada la ecuacin diferencial ax2 y ''+ bxy '+ cy = 0 (Ecuacin de Euler-Cauchy de
segundo orden), estudie la naturaleza del punto singular x = 0 .
28. Determine la solucin general para cada ecuacin diferencial en (0, ) :

a.
x2 y ''+ xy '+ (x2 19 )y = 0
b.
4x2 y ''+ 4xy '+ (4x2 25)y = 0

xy ''+ y '+ xy = 0
c.
d2 y
dy
+ n(n + 1)sen()y = 0 se
d
d
puede transformar en la ecuacin de Legendre con la sustitucin x = cos() .
29. Demuestre que la ecuacin diferencial sen()
+ cos()
100

Ecuaciones diferenciales lineales de segundo orden y sus aplicaciones

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Ecuaciones diferenciales lineales de segundo orden y sus aplicaciones

Transféré par

Droits d'auteur :

Formats disponibles

TEMA 2

ECUACIONES DIFERENCIALES LINEALES DE

2.2. ECUACIN DIFERENCIAL LINEAL DE SEGUNDO ORDEN

Prof. Jos Luis Quintero

2.3. DEPENDENCIA E INDEPENDENCIA LINEAL DE LAS

linealmente dependiente en un intervalo I si existen constantes c1 , c2 , ..., cn , no

dependientes en el intervalo < x <

f2 (x) = senx cos x

puesto que c1sen2x + c2senx cos x = 0 se

satisface para todo x si se elige c1 = 1 / 2 y c2 = 1 .

x + 5 , f2 (x) = x + 5x , f3 (x) = x 1 , f4 (x) = x2 , son

linealmente independiente en un intervalo I si no es linealmente dependiente en el

c1x + c2 x = 0 se satisface para cualquier valor no nulo de c1 y c2 tal que c1 = c2 .

no es cero por lo menos en un punto del

f1(n 1)(x) f2(n 1)(x) L fn(n 1) (x)

Prof. Jos Luis Quintero

= 2sen2 xsen2x 2senx cos x + 2senx cos x cos 2x

2.5. PRINCIPIO DE SUPERPOSICIN

que: y ' = c1y1' + c2 y'2 , y '' = c1y1''

+ by2' + cy2 ] = c1[0] + c2 [0] = 0

Ejemplo 6. Demuestre que y1 = e2x , y2 = e x son soluciones de y '' y ' 2y = 0 .

y1 , y2 no son mltiplos una de la otra, entonces la solucin general de la ecuacin

Prof. Jos Luis Quintero

2.6. ECUACIN AUXILIAR O CARACTERSTICA

ecuacin caracterstica de la ecuacin (2). Observe que la ecuacin (3) se puede

TEOREMA 3. Soluciones de ay ''+ by '+ cy = 0 :

y = C1em1x + C2 xem1x = (C1 + C2 x)em1x C1 , C2 R.

y = ex [C1 cos(x) + C2sen(x)] C1 , C2 R.

Prof. Jos Luis Quintero

Luego m1 = 1 + i = + i , m2 = 1 i = i , es decir, = 1, = 1, por lo

2.7. ECUACIONES DIFERENCIALES LINEALES DE SEGUNDO

2.8. OPERADORES DIFERENCIALES

(anDn + an 1Dn 1 + ... + a2D2 + a1D + a0 )y = g(x) .

(D + 1)(D 1), respectivamente.

2.9. OPERADOR ANULADOR

+ ... + a2D + a1D + a0 )f(x) = 0

+ ... + a2D + a1D + a0 anula a f. Si por ejemplo f(x) es una

constante, f(x) = k , entonces Dk = 0 . Tambin, D2 x = 0, D3x2 = 0, etctera.

Prof. Jos Luis Quintero

Una consecuencia inmediata de la observacin 1, junto con la posibilidad de

ex , xex , ..., xn-1ex .

Ejemplo 12. Halle un anulador para (a) e5x

(b) 4e2x 6xe2x

Solucin. a. Eligiendo = 5 y n = 1 , de la observacin 2 se obtiene que (D 5)e5x = 0.

x2ex sen x, ..., xn 1ex sen x .

Prof. Jos Luis Quintero

2.10. MTODO DE LOS COEFICIENTES INDETERMINADOS

g(x) es una constante k, un polinomio en x, una funcin exponencial ex , sen x ,

Ejemplo 15. Resuelva

auxiliar m + 3m + 2 = (m + 1)(m + 2) = 0 se obtiene la funcin complementaria que

corresponde yc = c1ex + c2e2x .

cada miembro de la ecuacin. En otras palabras, D3 (D2 + 3D + 2)y = 4D3 x2 = 0 (8) ya

Al trabajar con la solucin particular es necesario hallar coeficientes especficos

yp'' + 3yp' + 2yp 2c5 + 3(c4 + 2c5 x) + 2(c3 + c4 x + c5x2 ) = 4x2

Resolviendo resulta c3 = 7, c4 = 6, c5 = 2 . De modo que, yp = 7 6x + 2x2.

Prof. Jos Luis Quintero

Ejemplo 16. Resuelva y '' 3y ' = 8e3x + 4senx .

(m 3)(m2 + 1)m(m 3) = 0 m(m 3)2 (m2 + 1) = 0.

2.11. MTODO DE VARIACIN DE PARMETROS

mtodo adicional para resolver ecuaciones lineales no homogneas de orden superior

variacin de parmetros consiste en encontrar una funcin u1 tal que yp = u1(x)y1(x)

Prof. Jos Luis Quintero