Documente Academic
Documente Profesional
Documente Cultură
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.
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.
59
f2 (x), ...,
fn (x) es
1.
Las
funciones
f1(x) = sen2x
son
linealmente
f2 (x), ...,
fn (x) es
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 =
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
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
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.
ay ''+ by '+ cy
entonces
la
=
+
+ 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 ]
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
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
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 = 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
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
D2 + D
D2 1
se factorizan como
D(D + 1)
Sea
n 1
(anD + an 1D
n
una
que
diferencial anD + an 1D
n
funcin
tiene
al
entonces
menos
se
dice
n
que
derivadas.
el
Si
operador
..., xn-1.
63
D4 (1 5x2 + 8x3 ) = 0 .
Observacin 2. El operador diferencial (D )n anula a cada una de las funciones
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,
D4 + 2D2 + 1 , anular cos x, x cos x, senx y xsenx . Adems, tambin anular cualquier
combinacin lineal de esas funciones.
64
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
yp
6c5 + 2c4 = 0 .
2c5 = 4
65
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 =
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
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
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
f(x)
y (x) dx de lo
1
f(x)
dx.
y1(x)
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)
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
W(e2x , xe2x ) =
u1' =
e2x
xe2x
2e2x
2xe2x + e2x
xe2x (x + 1)e2x
e
4x
y1 = e2x
= 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
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 =
cos 3x
3sen3x 3 cos 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 =
1
1 + e2x
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 )
e2x
ln(1 + e2x ) .
2
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
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).
2y1' (x)
dw
=
dx
w
y1(x)
P(x)dx ln w + 2 ln y
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
y12 (x)
y12 (x)
69
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
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
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
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
y2 =
xm2
d2 y
dx2
2x
dy
4y = 0.
dx
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
Prof. Jos Luis Quintero
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 ln x.
x
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
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 ]
72
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
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
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,
y'
y
ln(x)
, y(1) = y(2) = 0 .
+3 2 +
x
x
x
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)
2
2
ln(2) 3 ln(2) 1 1
y(x) =
x
x x ln(x)
15
15
4
Resolviendo
1
4
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
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.
74
d2 x
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
1
5
75
que sen =
c1
,
A
cos =
c2
. Para demostrar la frmula anterior se tiene:
A
Asen(t + ) =
=
c2
c12
c22
c1
c12
+ c22
= c1 cos t + c2sent
Para el caso x(t) =
que x(t) =
1
5
1
5
cos 8t
sen(8t + 2 ) .
m1 = + 2 2 , m2 = 2 2 .
Segn el signo algebraico de 2 2 , se pueden distinguir tres casos posibles:
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
Prof. Jos Luis Quintero
76
t=
1
ln 58
3
8
3
e4t
8
5
o sea e3t =
2
5
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.
m=
8
32
1
4
77
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
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
Prof. Jos Luis Quintero
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
79
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.
86
38
lm xc (t) = 0 . Puesto que xc (t) se vuelve insignificante (es decir tiende a cero cuanto
t
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
Prof. Jos Luis Quintero
80
c x
n=0
c x
n =0
nc x
n
n 1
n =1
y '' =
n(n 1)c x
n
n2
n=2
sigue: y '' =
(n + 2)(n + 1)c
n
n+ 2x
n =0
(n + 2)(n + 1)cn + 2 xn +
n=0
n =0
cnxn = 0 o bien
n+2
+ cn ]xn = 0 . De donde se
n=0
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
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
son ambos puntos singulares, mientras que otros valores de x, tales como x =
1
2
, 3
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
a (x a)
j=0
Si y =
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=0
(1 n)
cn .
(n + 2)
0
n = 1 c3 = c1 c1 arbitrario
3
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
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
y '(0) = 1 .
Solucin. Sean y =
Cnxn , y ' =
n =0
Sustituyendo:
Cnnxn 1 , y'' =
n =0
n =2
De modo que:
C x
= 0.
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
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:
y = C0 1 +
x
x +
x
x + ... +
2!
4!
6!
8!
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
(1)
k =1
5.9.13.....(4k + 1) 2k +1
.
x
(2k + 1)!
potencia y =
c x
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
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,...
y1(x) = c0 1
x +
x
x + ...
2!
4!
6!
y2(x) = c1 x
x +
x
x + ...
3!
5!
7!
85
4.5 2 2.4.5.7 4
35 4
y1(x) = c0 1
x +
x = c0 1 10x2 +
x .
2!
4!
3
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,...
c0 = (1)n / 2
1.3
35 4 1
1 10x2 +
x = (35x4 30x2 + 3) .
2.4
3
8
P0 (x) = 1 y Pn (x) =
1
dn
n
2 n! dxn
3
2
x2 12 , P3 (x) =
5
2
x3
3
2
x.
e.
f.
Pn (0) = 0, n impar
g.
86
(x a)q(x)
x a
p(x)
(x a)2 r(x)
existen ambos
x a
p(x)
lm
(x 2)(3)
(x 2)2 (x)
= 3, lm
= 0,
x 2
x 2
x2
x2
42.
Dada
la
ecuacin
se
tiene
Puesto que lm
x 0
x(3x + 2)
x3 (1 x)
x 0
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
(x a)q(x)
x a
p(x)
(x a)2 r(x)
existen ambos
x a
p(x)
lm
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 .
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
(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=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 =
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 =
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
(x a)2 r(x)
.
x a
p(x)
q0 = lm
88
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
(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 +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
4.(3)c4 + 0.c3 = 0
(1) .4.5.6...(n 4)
cn =
c7 , n = 8, 9,10,...
(n 7)!.8.9.10...n
n +1
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
89
k =0
De modo que la ecuacin indicial y los exponentes son r(r + 2) = 0 y r1 = 2 ,
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!
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 =
2
xn .
n!(n + 2)!
n =1
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
2x
1
2
19
1
y1(x)ln x + y1(x) 2 +
x + ... .
4
3x
270
2x
x + ... .
3x 270
2x
90
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
4cn
y1 = c0
4n
(n!)
n =0
(n + 1)2
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 + ... .
1472 3
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:
c.
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
a (x 1)
j
j+ c
j=0
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
j= 0
j2 + 1
(j + 1)2
aj . Ahora si se
a1 = a0 , a2 =
12 + 1
22
a1 =
12 + 1
22
a0 , a3 =
22 + 1
32
a2 =
(12 + 1)(22 + 1)
2232
a0 ,...
92
(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:
y1 =
cnxn + r1 y y2 =
n=0
b x
n
n + r2
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
c x
n
n +r
n=0
t x 1e t dt .
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
v 0 , aparece en
c x
n+r
, entonces
n=0
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
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
ck
,
(k + 2)(k + 2 + 2v)
La eleccin
c1 = 0
k = 0,1, 2,...
implica que
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
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 =
, n = 1, 2, 3...
()
1
2 (1 + v)
v
, donde (1 + v)
(1)n
22n + v n!(1 + v)(2 + v)...(n + v)(1 + v)
(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
Jv (x) =
2n + v
(1)n
x
n! (1 + v + n) 2
n =0
2n v
(1)n
x
n! (1 v + n) 2
n=0
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
Prof. Jos Luis Quintero
95
en
0<x<
es
de
la
forma
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) .
Adems,
la
funcin
Ym (x) = lm Yv (x)
v m
Jm (x)
son
soluciones
linealmente
(0, )
96
c.
d.
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
c.
1 + 6x 2x2
b.
x3 (1 5x)
c.
1 + 7e2x
d.
x + 3xe6x
e.
f.
8x senx + 10 cos 5x
g.
e x + 2xex x2ex
h.
(2 ex )2
i.
3 + ex cos 2x
y '' 2y '+ y = x3 + 4x
d.
e.
y '' y = x2ex + 5
97
f.
g.
y ''+ 4y = cos2 x
y '' 4y = e2x / x
d.
e.
f.
4y '' 4y '+ y = ex / 2 1 x2
x2 y ''+ xy '+ 4y = 0
c.
d.
e.
xy ''+ y ' = x
f.
xy '' 4y ' = x4
g.
h.
x2 y '' xy '+ y = 2x
i.
b.
y ''+ 3y '+ 2y =
c.
d.
e.
f.
y '' y = x2ex
y ''+ 9y = 2 sec(3x)
g.
h.
i.
j.
k.
1 + e2x
ln x
x
x2 y ''+ 3xy '+ 5y = x2
x>0
y '(0) = 1
98
x2 1
x2 + 1
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.
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.
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.
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.
Prof. Jos Luis Quintero
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
n=0
(1)n
22n(n!)2
c.
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 .
b.
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() .
+ cos()
100