Problemas resueltos de

AMPLIACIN DE
MATEMTICAS Ingeniera Industrial.
Departamento de Matemtica Aplicada II. Universidad de Sevilla.

Problemas resueltos de mtodo de Frobenius.

1 P6.13
Dada la ecuacin lineal homognea
2xy 00 + (1 + x)y 0 2y = 0
encuentre dos soluciones independientes como series de Frobenius alrededor del punto x = 0.

Solucin:
La ecuacin normalizada es 1+x
2 y0 1 y = 0
y00 + x x
por lo que el origen es, obviamente, un punto singular regular y el mtodo es aplicable.
Buscaremos por tanto soluciones expresadas como
X
y = y(x) = xr cn xn = c0 xr + c1 xr+1 + ... + cn xr+n + ...
n=0
donde supondremos que c0 = 0, con la seguridad de encontrar al menos una de esa forma. Tendremos entonces
X
y0 = (r + n)cn xr+n1 = rc0 xr1 + (r + 1)c1 xr + ... + (r + n + 1)cn+1 xr+n + ...
n=0
X
n+r r r+1 r+n
xy 0 = (r + n)cn x = rc0 x + (r + 1)c1 x + ... + (r + n)cn x + ...
n=0

X 2(r + n)(r + n 1)cn x = 2r(r 1)c0 xr1 + ... + 2(r + n + 1)(r + n)cn+1 xn+r + ...
n+r1
2xy00 =
n=0
y resulta
00 0
L(y) = 2xy + (1 + x)y 2y =

r1
= [2r(r 1) + r] c0 x + X [2(r + n + 1)(r + n)cn+1 + (r + n)cn + (r + n + 1)cn+1 2cn ]
n+r
x =
n=0

= f (r)c0 xr1 + X [f (r + n + 1)cn+1 + (r + n 2)cn ] x
n+r

n=0
donde f (r) = 2r(r 1) + r = 2r 2 r = r(2r 1). Para que sea L(y) = 0 deben ser nulos los coeficientes de todos
los
trminos. Para que eso sea posible con c0 = 0 debe ser f (r) = 0, es decir, r = r1 = 0 o r = r2 = 21 . Hemos obtenido
entonces dos raices con diferencia no entera para la ecuacin indicial. Sabemos que para ambas existir con seguridad en
este caso una solucion del tipo buscado.
Si empezaremos por ejemplo con r = r1 = 0, con lo cual f (r) = f (0) = 0, c0 puede tomarse arbitrario y
los siguientes se obtienen de la ley de recurrencia:
f (n + 1)cn+1 + (n 2)cn = (n + 1)(2n + 1)cn+1 + (n 2)cn = 0, para n
0
Para n = 0 resulta
f (1)c1 2c0 = c1 2c0 = 0 c1 = 2c0
Para n = 1 queda
Para n = 2 se tiene Por tanto, para n 3 se tiene

1
 c1 c0
f (2)c2 c1 = 6c2 c1 = 0 15c3 + 0c2 = 0 c3 = 0 6 = 3
c2 = (n 2) c
n
cn+1 = =0
(n + 1)(2n +
1)

2
 Podemos fijar c0 = 1 y de esa forma la solucin correspondiente resulta ser
c x2
y1 = x0 (c0 + 2c0 x 0 x2 ) = 1 + 2x +
3 3
+
Para el otro valor de r = r2 = 21 tambien seria c0 arbitrario y los siguientes coeficientes se obtienen de la ley de
recurrencia:
3 3 3 3
f (n + )cn+1 + (n )cn = (n + ) (2n + 2) cn+1 + (n )cn = 0 para n 0
2 2 2 2
es decir, para n 0
(2n 3)
cn+1 = cn
(2n + 2) (2n + 3)
y resulta:
c0
1. para n = 0 c1 = 36 c0 = ,
2
1 c0
2. para n = 1 c2 = 20 c1 = ,
40
c0
3. para n = 2 c3 = 1
67 c2 = ,
24567
3c0
4. para n = 3 c4 = 3
89 c3 = 2 4 5 6 7 8 9,

Si tomamos por ejemplo c0 = 1 la solucin correspondiente resulta

c0 c0 2 c0 3c0

1
y2 = x 2 c0 + x + x 3
x + 4
x + ... =
2 40 2 4 5 6 7 2456789

1 1 2 1 3 4
3
= x 1+ x+ x x + x + ...
2 40 24567 2456789
La solucin general de la ecuacin dada es

x2 1 1 2
y = k1 y1 + k2 y2 = 1 + 2x + + k2 x 1 + x + x ......
k1 3 2 40
2 P6.14.
Halle la solucin general de la ecuacin

x2 x y00 + 3y
0
2y = x
3
+
x2
en un entorno del origen por el mtodo de Frobenius.

Solucin:
La ecuacin homognea normalizada es

3 2x
0
x1
y=0 y x1
y 00 + x
x2
por lo que el origen es un punto singular regular y el mtodo es aplicable. Buscaremos por tanto soluciones expresadas
como
X

r n r r+1 r+n
y = y(x) = x cn x = c0 x + c1 x + ... + cn x + ...
n=0
donde supondremos que c0 = 0, con la seguridad de encontrar al menos una de esa forma. Tendremos entonces
X

0
y = (r + n)cn xr+n1 = rc0 xr1 + (r + 1)c1 xr + ... + (r + n + 1)cn+1 xr+n + ...
n=0

X(r + n)(r + n 1)cn x = r(r 1)c0 xr1 + ... + (r + n + 1)(r + n)cn+1 xn+r + ...
n+r1
xy 00 =
n=0

X(r + n)(r + n 1)cn x = r(r 1)c0 xr + ... + (r + n)(r + n 1)cn xn+r + ...
n+r
x2 y00 =
n=0
Finalmente resulta:

L(y) = x2 x y00 + 3y 0 2y
=
r1
= c0 x [3r r(r 1)] +

+ Xx
n+r
[cn+1 (3(r + n + 1 (r + n + 1)(r + n)) + cn ((r + n)(r + n 1) 2)]
n=0
o, lo que es igual, siendo f (r) = 3r r(r 1) = r(4
r),

L(y) = c0 f (r)xr1 + Xx
n+r
[f (r + n + 1)cn+1 + ((r + n)(r + n 1) 2)
cn ]
n=0
Para la ecuacin homognea, tenemos que L(y) = 0 si, y solo si, f (r) = r(4 r) = 0, es decir, para r1 = 0 o para
r2 = 4 y ademas se verifica, para todo n 0,
f (r + n + 1)cn+1 + ((r + n)(r + n 1) 2) cn =
0
Hemos obtenido dos raices con diferencia entera para la ecuacin indicial. Sabemos que para la mayor, r2 = 4, existir
con seguridad la solucion del tipo buscado, pero tanto para detectar posibles problemas como para conseguir la solucin
general, si no los hubiera, es mejor comenzar con la menor, r1 = 0.
Tomaremos por tanto r = r1 = 0, con lo cual f (r) = f (0) = 0, c0 puede tomarse arbitrario y los siguientes
se
obtienen de la ley de recurrencia, que en este caso se reduce a:
f (n + 1)cn+1 + (n(n 1) 2) cn = (n + 1)(3 n)cn+1 + (n2 n 2)cn
= (n + 1)(3 n)cn+1 + (n 2)(n + 1)cn = 0
para todo n 0, o, lo que es equivalente, a
(3 n)cn+1 + (n 2)cn = 0 para todo n 0,
Se obtiene sucesivamente
2
para n = 0, 3c1 2c0 = 0, y resulta c1 = c0 ,
3
c1 1
para n = 1, 2c2 c1 = 0, y resulta c2 = = c0 ,
2 3
para n = 2, c3 + 0 c2 = 0, y resulta c3 = 0,
para n = 3, 0 c4 + c3 = 0, luego c4 puede tomarse arbitrario,
 n2
para n 4, cn+1 = cn (quedan en funcin de c4 ),
n3
Notemos que c5 = 2c4 , c6 =2 3 c5 = 3c4 , c7 =3 4 c6 = 4c4 , y, en general, para m 5, cm = (m 3)c4 .
La solucin general de la ecuacin homognea es entonces

2 1 2 3 4 5 6 7
yH = x0 c0 + c0 x + c0 x + 0x + c4 x + 2c4 x + 3c4 x + 4c4 x + =
3 3
c0
= 3 + 2x + x2 + c4 x4 1 + 2x + 3x2 + 4x3 +
3
Ahora podemos ver que
2 3 d 2 3 4
1 + 2x + 3x + 4x + 1 + x + x + x + x + =
dx
=

d 1 1
= =
dx 1 x (1 x)2
con lo que resulta
c x4
yH = 0 3 + 2x + x2 + c4 2
3 (1 x)
Solo nos falta una solucin particular de la ecuacin completa, que puede obtenerse tambien por el mismo mtodo.
Basta imponer la condicin

L(y) = c0 f (r)xr1 + X xn+r [f (r + n + 1)cn+1 + ((r + n)(r + n 1) 2) cn ] =
n=0
3
= x + 2 = 3x2 + 0x1 + 0 + 1x + 0x2 + 0x3 + ... + 0xn + ...
x
Que se traduce en
1. c0 f (r)xr1 = 3x2 de donde resulta r 1 = 2, o sea, r = 1 y c0 = 3 3
3 f (r) = f (1) = 1(4+1) = 3
5 ,

2. f (n)cn+1 + ((n 1)(n 2) 2) cn = n(4 n)cn+1 + (n2 3n)cn 1 para n + r = n 1 = 1
= 0 para cualquier otro caso

Resolviendo para los sucesivos valores de n 0 tenemos:

1. Para n = 0 resulta 0c1 + 0c0 = 0, luego c1 puede tomarse arbitrario y lo tomaremos nulo, c1 = 0,
2. Para n = 1 resulta 3c2 2c1 = 0, luego c2 = 32 c1 = 0,
1 + 2c2 1
3. Para n = 2 resulta 4c3 2c2 = 1, luego c3 = = , con la eleccin hecha para c1 ,
4 4
4. Para n = 3 resulta 3c4 + 0c3 = 0, luego c4 =
0,
5. Para n = 4 resulta 0c5 + 4c4 = 0 + 0 = 0, con lo que c5 puede tomarse arbitrario y lo tomaremos nulo, c5 = 0,
n3
6. Para n 5 resulta cn+1 = n4 cn , luego con nuestra eleccin de c5 resultan nulos todos, o sea, cm = 0 para m 5.

Finalmente una solucin particular de la ecuacin completa sera

3 x2
yp = x1 (c0 + c3 x3 ) =
+
5x 4
Y la solucin general es
x4 x2 3
yg = k1 3 + 2x + x2 + 2
+
k2
(1 x) 4 5x
3 P 6.15.

(a) Dada la ecuacin diferencial

2y
(4x + 2x2 )y 00 + (5x + 2)y 0 = 0,

x
calcule la solucin en serie de Frobenius en torno al punto x0 = 0 que se obtiene a partir de la raz mayor de la ecuacin
indicial y exprese dicha solucin en forma compacta.

(b) Encuentre la solucin general de la ecuacin anterior.

(c) Dada una ecuacin diferencial lineal de segundo orden del tipo y00 + P (x)y 0 + Q(x)y = 0 de la que se
conoce una solucin y1 (x) en un intervalo I, razone de forma terica cmo conseguir una segunda solucin y2 (x)
tal que
{y1 (x), y2 (x)} sea un conjunto linealmente independiente en I.

Solucin:
(a) En primer lugar, veamos que x0 = 0 es un punto singular regular para la ecuacin
0 2y
(4x + 2x )y + (5x + 2)y
2 00
= 0.
x
5x + 2 2
x
En efecto, P (x) = o Q(x) = no son analticas en x0 = 0 (en este caso ninguna de las dos). Y,
4x + 2x2 4x 2+
2x
5x + 2 2
adems, xP (x) = y x2 Q(x) = son ambas analticas en x0 = 0.
4 + 2x 4 + 2x X
Buscamos una solucin en serie de Frobenius del tipo y(x) = an xn+r con a0 = 0. Para encontrar los valores de
n0
r y de an imponemos que una funcin de este tipo sea solucin, esto es,
X X 2X
(4x + 2x2 ) (n + r)(n + r 1)an xn+r2 + (5x + 2) (n + r)an xn+r1 an xn+r =
0. x

n0 n0 n0
X X X
4(n + r)(n + r 1)an x n+r1
+ 2(n + r)(n + r 1)an x n+r
+ 5(n + r)an xn+r +
n0 n0 n0
+ X 2(n + r)an x n+r1
X 2an x n+r1
=
0.
n0 n0
En el segundo y tercer sumatorio hacemos el cambio m = n + 1, obteniendo
X n n+r1 X 1 n+r1 X n+r1
n4(n + r)(n + r 1)a x + 2(n + r 1)(n + r x + 5(n + r x +
2)a 1)a n1
n0 n1 n1
X X
n+r1 n+r1
+ 2(n + r)an x 2an x = 0.
n0 n0
(4r(r 1)a0 + 2ra0 2a0 )xr1 + X[4(n + r)(n + r 1)an +
n1
+2(n + r 1)(n + r 2)an 1 + 5(n + r 1)a n1 + 2(n + r)an n2a ] = 0. ()
n+r1
x
La ecuacin indicial resulta ser 4r(r 1)a0 + 2ra0 2a0 = 0 de la que obtenemos, puesto que a0 = 0, las races r1 = 1
y r2 = 1/2. Como la diferencia r1 r2 = 3/2 no es ni cero ni entero positivo se pueden encontrar dos soluciones en
serie de Frobenius del tipo
X X
y1 (x) = an xn+1 con a0 = 0 e y2 (x) = bn xn1/2 con b0 =
0.
n0 n0

El ejercicio nos pide hallar la solucin en serie de Frobenius correspondiente a la raz mayor que, en este caso, es r1 = 1.
Para encontrar los valores de an retomamos de nuevo la ecuacin () de la que deducimos que, para n 1,
4(n + r)(n + r 1)an + 2(n + r 1)(n + r 2)an1 + 5(n + r 1)an1 + 2(n + r)an 2an
= 0.
Dicha ecuacin se transforma, para r1 = 1, en
 4(n + 1)nan + 2n(n 1)an1 + 5nan1 + 2(n + 1)an 2an =
0.
(4(n + 1)n + 2(n + 1) 2)an + (2n(n 1) + 5n)an1 =
0.
2 2
(4n + 6n)an + (2n + 1 = 0.
3n)an
1
Por tanto, para n 1, an = an1 . A partir de esta ley de recurrencia deducimos que, para n 1,
2
( 1)n
an = an1 = 2 an2 = 3 an3 = n a0 .
1 1 1
2 2 2 2
=
De ah que una primera solucin en serie de Frobenius sea del tipo

X X ( 1)n X n
(1) n
yX
1 (x) = an xn+1 = x a0 + an xn = x a0 + n a0 xn = a0 x x .
2 2n
n0 n1 n1 n0

2x
Observemos que se trata de una serie geomtrica y que al sumarla resulta y1 (x) = a0 .
x+2

(b) La solucin general de la ecuacin viene dada por

y(x) = y1 (x) + y2 (x)
x
donde y1 (x) e y2 (x) son dos soluciones independientes. Por el apartado anterior, podemos considerar y1 (x) = .
x+2
Para encontrar una segunda solucin independiente hacemos uso de la frmula de Liouville, esto es,
Z Z
2
y2 (x) = v(x)y1 (x) donde v(x) = (y1 (x)) exp( P (x)dx)dx.
En nuestro caso
5x + 2 1 2
P (x) = 2
= + .
Z 4x + 2x 2x 2 + x
P (x)dx = 1 ln(x) 2 ln(2 + x) = ln 1/2 (2 + x)2 .
2
x
Z Z
(x + 2)2 1/2 5/2
dx = 2 .
v(x) = x (2 + x) dx = x
2
x2 3x3/2
2 x 2
Por tanto, y2 (x) = 3/2 = 1/2 y la solucin general es
3x x +2 3x (x + 2)
x 1
y(x) = + 1/2
x+2 x (x +
2)

Nota:
La segunda solucin tambin se puede obtener, al igual que la primera, como serie de Frobenius. Si retomamos la
ecuacin (), deducimos que, para n 1,
4(n + r)(n + r 1)bn + 2(n + r 1)(n + r 2)bn1 + 5(n + r 1)bn1 + 2(n + r)bn 2bn
= 0.
Dicha ecuacin se transforma, para r2 = 1/2, en
4(n 1/2)(n 3/2)bn + 2(n 3/2)(n 5/2)bn1 + 5(n 3/2)bn1 + 2(n 1/2)bn 2bn =
0.
1
(4n2 6n)bn = (4n2 6n)bn 1 .
2
1
Por tanto, para n 1, bn = bn1 . A partir de esta ley de recurrencia deducimos que, para n 1,
2
( 1)n
bn = bn1 = 2 bn2 = 3 bn3 = n b0 .
1 1 1
2 2 2 2
=
De ah que una segunda solucin en serie de Frobenius sea del tipo

X (1) n n
(1) n
y2 (x) = bn xn1/2 = x1/2 b0 + b0 xn = b0 x1/2 x .
X 2n X 2n
n0 n1 n0

(c) Dada una solucin y1 (x) de la ecuacin y00 + P (x)y 0 + Q(x)y = 0, buscamos una segunda solucin del tipo
y2 (x) = v(x)y1 (x). Para encontrar v(x), imponemos que la funcin y2 (x) as escogida sea solucin de la ecuacin, esto
es,
00 0 0 00 0 0
(v y1 + 2v 1y + vy 1 ) + P (x)(v y1 + 1vy ) + Q(x)vy1 = 0.
00 0 0 0 00 0
v y1 + 2v 1y + P (x)v y1 + v(y 1 + P (x)y
1 + Q(x)y1 ) = 0.
Por ser y1 una solucin, la ecuacin anterior se reduce a
v00 y1 + 2v01y 0 + P (x)v 0 y1 =
 0.
0
v 00 = 2y1 P (x).
y1
Integrando en x nos queda v0
Z
Z
0 2
ln v = 2 ln y1 P (x)dx + C = ln y1 P (x)dx + C.

 Z Z
2 2
v = exp ln y1 P (x)dx + C = y1 exp P (x)dx exp(C ).
0

1
v P exp(C )dx +
( D,
x
)
d
x
donde C y D son constantes.
Como slo buscamos una
segunda solucin, bastar
tomar unos valores concretos
de dichas constantes, por
ejemplo, C = D = 0. De
esta manera obtenemos
Z
1
1 v P dx e y P dx.
( y2 2 (
y x (x) x
) = y1 ex )
d Z
(x) p d
x x

4 P 6.16. ap.2
Resolver en un entorno del origen, utilizando el mtodo de Frobenius, la ecuacin diferencial ordinaria
xy 00 + (x 1)y 0 y =
0.
Identificar la solucin obtenida.
Solucin.
Escrita la ecuacin en la forma
x1 0 1
y y=0
y00 + x x
es obvio que el origen es un punto singular regular y el mtodo es aplicable. Buscaremos por tanto soluciones expresadas
como
X

r n r r+1 r+n
y = y(x) = x cn x = c0 x + c1 x + ... + cn x + ...
n=0
donde supondremos que c0 = 0, con la seguridad de encontrar al menos una de esa forma. Tendremos entonces
X
0
y = (r + n)cn xr+n1 = rc0 xr1 + (r + 1)c1 xr + ... + (r + n + 1)cn+1 xr+n + ...
n=0
X
n+r r r+1 r+n
xy 0 = (r + n)cn x = rc0 x + (r + 1)c1 x + ... + (r + n)cn x + ...
n=0

X(r + n)(r + n 1)cn x = r(r 1)c0 xr1 + ... + (r + n + 1)(r + n)cn+1 xn+r + ...
n+r1
xy00 =
n=0
y resulta
00 0
L(y) = xy + (x 1)y y =

r1 n+r
= [r(r 1) r] c0 x + X [(r + n + 1)(r + n)cn+1 + (r + n)cn (r + n + 1)cn+1 cn ] x =
n=0

= f (r)c0 xr1 + X [f (r + n + 1)cn+1 + (r + n 1)cn ] x
n+r

n=0
donde f (r) = r(r 1) r = r 2 2r = r(r 2). Para que sea L(y) = 0 deben ser nulos los coeficientes de todos los
trminos. Para que eso sea posible con c0 = 0 debe ser f (r) = 0, es decir, r = r1 = 0 o r = r2 = 2. Hemos obtenido
entonces dos raices con diferencia entera para la ecuacin indicial. Sabemos que para la mayor, r2 = 2, existir con
seguridad la solucion del tipo buscado, pero tanto para detectar posibles problemas como para conseguir la solucin
general, si no los hubiera, es mejor comenzar con la menor, r1 = 0.
Tomaremos por tanto r = r1 = 0, con lo cual f (r) = f (0) = 0, c0 puede tomarse arbitrario y los siguientes
se
obtienen de la ley de recurrencia:
Para n = 0 resulta
f (1)c1 c0 = c1 c0 = 0 c1 =
Para n = 1 queda c0

f (2)c2 + 0c1 = 0 + 0 = 0,
c2
con lo cual vemos que, no solo no hay problemas, sino que tambin
sucesivos, con n 2 ser f (n + 1) = (n + 1)(n 1) = 0 por c2 puede tomarse arbitrario. Para los valores
lo que

cn+1 =
n 1 c
cn = n
f (n + 1) n
+1
c c c c c
resultando c3 = 2 , c4 = 3 = 2 , c5 = 4 = 2 , ...o lo que es igual, multiplicando y dividiendo por 2,
3 4
4 3 5 543
2c2
cn+1 = (1)n+1 para n 2.
(n + 1)!
De esa forma la solucin resulta ser
2
y = c0 c0 x + x x3 xn
+ ... + (1)n + ... =
2c2 2! 3! n!
= c0 (1 x) + 2c2 (ex 1 + x) =
= (c0 2c2 ) (1 x) + 2c2 ex = (1 x) + ex

con y arbitrarios. (Puesto que c0 y c2 pueden tomarse arbitrarios bastaria elegir c2 = , c0 = + ).
2