3.

EJEMPLOS

Ejemplo 2:
Hallar por el método de Frobenius, la solución general de la ecuación diferencial
2 xy   y   xy  0 , en un entorno reducido de x = 0. Justificación previa de la idoneidad

del método. Campo de validez de la solución.

1 1
El punto x = 0 es singular pues p(x) = no es analítica en dicho punto. Pero x p(x) = y
2x 2

x2
x2 q(x) = , son ambas analíticas en x = 0. (Es decir que x = 0 es punto singular regular de
2
la ecuación). Los radios de convergencia de los desarrollos de x p(x) y x2 q(x) en torno a 0
son ambos . Existe por tanto solución de la ecuación por el método de Frobenius, válida al
menos  x  0. Supóngase en principio x > 0.


Al menos hay una solución de la forma y ( x )  a nx
nr

n0

Sustituyendo en la ecuación diferencial :

  
2  ( n  r )( n  r  1) an x nr 1 +  ( n  r )a n x n r 1 + a nx
n  r 1
0
n0 n 0 n0

r1  1 2
Coeficiente de x r-1
:  2r (r  1)  r  a0  0  a0  0  r (2r  1)  0  
 r2  0
Coeficiente de xr :  2(r  1)r  (r  1) a1  0  (r  1)(2r  1)a1  0  a1 = 0

pues (r+1)(2r+1) no se anulan para r1 ni para r2.

Coeficiente de xn+r-1 :  2(n  r)(n  r  1)  (n  r) an  an2  0 , es decir I(n+r) an= - an-2

 an2
Por tanto : an  n2 Ley de recurrencia
(n  r )( 2n  2r  1)

Según el teorema, como r2  r1 y r1 - r2  N , existen con seguridad dos soluciones

linealmente independientes, en serie de Frobenius.

10
  an2
Para r  r1  1 2  an  y como a1 = 0 , resulta :
(2n  1)n

a1  a3  a5 ...  a2n1 ...  0


 a2 n 2 ( 1) n a0
a2n   2n(4n  1)  (2n)!! 5  9  ... (4n  1)


a1  a3  a5 ...  a2n1  0

an2 
Para r  r2  0  an     (1) n a0
a2n  (2n)!! 3  7  ...  (4n  1)
(2n  1)n

  ( 1) n x 2n 

1
y1 ( x )  x 1  2
 x0
 n1 (2n)!! 5  9  ...  (4n  1) 
Luego :

( 1) n x 2n
y2 ( x )  1   (2n)!! 3  7  ...  (4n  1)
x
n1

Solución general : y  A y1 ( x )  B y2 ( x ) x  0

Ejemplo 3

Ídem para la ecuación diferencial xy   2 y   xy  0 expresando la solución general

con funciones elementales en nº finito.

Análogamente al caso anterior x p(x) = 2 y x2 q(x) = x 2 , son analíticas en x = 0, siendo R1 =

R2 = . Luego existe solución por el método de Frobenius, válida al menos x0.


Sustituyendo y ( x )   a n x
nr
en la ecuación diferencial :
n0

11
   

 ( n  r )(n  r  1) an x nr 1 + 2  ( n  r )a n x n r 1 + a nx
n  r 1
0
n0 n 0 n0

Coeficiente de xr-1 :
r1  0
 r (r  1)  2r  a0  0  a0  0  r ( r  1)  0
r2  1
Difieren en un entero r1 y r2 r1 - r2 = n0 = 1. Luego en principio sólo puede asegurarse la
existencia de una solución en serie de Fröbenius : la correspondiente a r1.

Coeficiente de xr :
 (1  r )r  2(r  1) a1  0  I (r  1)a1  0  (r  1)(r  2)a1  0 

Para r1  0 es a1  0

Para r2  1 es a1 libre

Coeficiente de xn+r-1 :
 (n  r )(n  r  1)  2(n  r ) a1  an2  0  I(n  r )an  an2  0  

an 2 (r )
an ( r )  
(n  r )(n  r  1)

a1  a3  a5 ...  a2n1 ...  0

an 2 
Para r1 = 0 an   y como a1 = 0   a 2 n 2
n(n  1)
a  
 2n 2n(2n  1)

( 1) n a 0
Luego a2 n  , de donde, tomando a0 = 1, resulta :
(2n  1)!

 
( 1) n x 2 n ( 1) n x 2 n
y1 ( x )  1   ( 2 n  1)!
  (2n  1)!  y 1 (x) 
1
x
sen x
n 1 n0

12
 an2
Para r2 = -1 es an   . El a1 es libre y como se busca otra solución particular,
(n  1)n

a1  a3  a5 ...  a2n1  0


puede escogerse a0 = 1 a1 = 0. Entonces  a2 n2 ( 1) n a0
a2n   2n(2n  1)  ...  (2n)!



1 ( 1) n x 2 n 
Luego : y2 ( x )  1  
x  n1 (2n)! 
  y 2 ( x) 
1
x
cos x

1
Solución general : y  A sen x  B cos x x 0
x

Ejemplo 4

Idem para la ecuación diferencial : xy   2( x  1 ) y   4 y  0

Análogamente x p(x) = 2 ( x - 1) , x2 q(x) = - 4x son analíticas en x = 0 R1= R2 = . Existe

por tanto solución por el método de Frobenius, válida al menos para x  0.

Sustituyendo y ( x )   a n x
nr
en la ecuación diferencial :
n0

   

 ( n  r )(n  r  1) an x nr 1 + 2  (n  r )a n x n r - 2  ( n  r ) a n x n r 1 - 4  a n x n r  0
n0 n 0 n 0 n0

x  0
Coeficiente de xr-1 :
 r1  3
 r (r  1)  2r  a0  0  a0  0  r (r - 3) = 0 
r2  0
Difieren en entero: r1 - r2 = 3 = n0. Sólo puede asegurarse en principio la existencia de una
solución y1 en serie de Fröbenius. Para r = r2= 0, se anulará el denominador de la relación de
recurrencia para . n = n0 = 3.

Coeficiente de xn+r-1 :

13
 2(n  r  3)
I (n  r )an   2(n  r  1)  4 an1  0  an   an1
(n  r )(n  r  3)
Se observa que el factor n + r – 3 que anula al denominador cuando r = r2 = 0 y n = n0 = 3,
está también en el numerador.

Para r  r1  3
2 na n1 2 a n1 ( 1 ) n 2 n ( 1 ) n  6  2 n
an     a0  a0 ( n  1) . Y tomando a0 = 1:
( n  3 )n n  3 ( n  3 )...4 ( n  3 )!

 
( 1 ) n 6  2 n n  
( 1 ) n 6  2 n n3
y1 ( x )  x 3 1   x  . Es decir: y1 ( x )   x x
 n 1 ( n  3 )!
( n  3 )!
 n 0

Para r  r2  0
La relación de recurrencia, antes de escribirla bajo la forma de cociente, es:
I (n+r) an +  2(n  r  1)  4 an 1  0 . Y para r = 0 : n(n-3) an= - 2(n-3) an-1
2 a n1
Podrá escribirse bajo la forma de cociente: a n   excepto para n=3, en cuyo
n
caso será: 3.0.a3 = - 2.0. a2 .
Se obtiene por tanto: a1 = - 2 a0 , a2 = - a1 = 2 a0 y a3 es libre. Cualquier valor que se
asigne a a3 (y a a0  0 ) conduce a una solución. La elección más simple es a3 = 0 y a0 = 1.

Entonces a4 = a5 =...=0. Y se obtiene una 2ª solución: y 2 ( x )  1  2x  2x 2

Otra forma: Como puede tomarse cualquier valor para a3 , podría asignársele el deducido

2 a n1
de la relación de recurrencia a n   , válido en principio para n  3.
n


2 a n1 ( 1 ) n 2 n  ( 1 ) n 2 n n
Entonces: a n    a0 ( n  1 ) e y2 ( x ) 1  n! x x
n n! n 1


( 1 ) n 2 n n
Es por tanto otra solución particular: y 2 ( x )   x es decir: y
2 ( x)  e
2 x
n 0
n!


( 1 ) n 6  2 n n 3 6  ( 2 x ) n 3 3  ( 2 x ) n
Nota: Se verifica: y1 ( x )   ( n  3 )! x   
8 n0 ( n  3 )!
  
4 n 3 n!
=
n 0

14

3  2 x 
4
e  1

2 x  2 x  2 
1!

2! 
. Es decir: y 1 ( x )  
4
e
3  2x
 (1  2x  2x 2 ) 
  

La solución general es: y = C1 y1(x) + C2 y2(x),  x ó y = K1 y2(x) + K2 y2*(x),  x

En ambos casos: y  A e 2 x  B( 2x 2  2x  1) x

15