3.

EJEMPLOS
Ejemplo 2:
Hallar por el mtodo de Frobenius, la solucin general de la ecuacin diferencial
0 xy y y x 2 + +
, en un entorno reducido de x = 0. Justificacin previa de la idoneidad
del mtodo. ampo de valide! de la solucin.
El punto x = 0 es singular pues p(x) =
1
2x
no es analtica en dicho punto. Pero x p(x) =
1
2
y
x
2
q(x) =
x
2
2
, son ambas analticas en x = 0. (Es decir que x = 0 es punto singular regular de
la ecuacin). !os radios de con"ergencia de los desarrollos de x p(x) y x
2
q(x) en torno a 0
son ambos . Existe por tanto solucin de la ecuacin por el mtodo de Frobenius, vlida al
menos x 0. #upngase en principio x $ 0.
%l menos hay una solucin de la &orma
y x a x
n
n r
n
( )
+

0
#ustituyendo en la ecuacin di&erencial '
2
( )( ) n r n r a x
n
n r
n
+ +
+

1
1
0
(
( ) n r a x
n
n r
n
+
+

1
0
(
a x
n
n r
n
+ +

1
0
0
Coeficiente de x
r-1

[ ]
2 1 0 0 2 1 0
0
0 0
1
1
2
2
r r r a a r r
r
r
( ) ( ) +

'

Coeficiente de x
r
'
[ ]
2 1 1 0 1 2 1 0
1 1
( ) ( ) ( )( ) r r r a r r a a + + + + + = 0
1
pues (r(1)(2r(1) no se anulan para r
1
ni para r
2
.
Coeficiente de x
n!r-1
' [ ]
2 1 0
2
( )( ) ( ) n r n r n r a a
n n
+ + + + +

, es decir )(n!r) a
n
= * a
n*2
Por tanto '

a
a
n r n r
n
n
n

+ +

2
2 2 1
2
( )( )

"ey de recurrencia
#eg+n el teorema, como r
2
r
1
y r
1
* r
2
, , e-isten con seguridad dos soluciones
linealmente independientes, en serie de .robenius.
10
Para r r
1
1
2

a
a
n n
n
n

+
2
2 1 ( )
y como a
1
= 0 , resulta '
[ ]
a a a a
a
a
n n
a
n n
n
n
n
n
1 / 0 2 1
2
2 2 0
0
2 1 1
1
2 0 2 1 1


+


+

'

... ...
( )
( )
( )33 ... ( )
Para r r
2
0

a
a
n n
n
n

2
2 1 ( )

[ ]
a a a a
a
a
n n
n
n
n
1 / 0 2 1
2
0
0
1
2 / 4 1 1

'

+
...
( )
( )33 ... ( )
!uego '
[ ]
[ ]
y x x
x
n n
x
y x
x
n n
x
n n
n
n n
n
1
2
1
2
2
1
1
2
1
1
2 0 2 1 1
0
1
1
2 / 4 1 1
( )
( )
( )33 ... ( )
( )
( )
( )33 ... ( )
+

+

1
]
1
1

+

#olucin general '

y y x y x x + % ( ) 5 ( )
1 2
0
Ejemplo 3
#dem para la ecuacin diferencial
0 xy y 2 y x + +
expresando la solucin general
con funciones elementales en n$ finito.
%n6logamente al caso anterior x p(x) = 2 y x
2
q(x) =
x
2
, son analticas en x = 0, siendo 7
1
=
7
2
= . !uego e-iste solucin por el m8todo de .robenius, "6lida al menos x0.
#ustituyendo
y x a x
n
n r
n
( )
+

0
en la ecuacin di&erencial '
11
( )( ) n r n r a x
n
n r
n
+ +
+

1
1
0
( 2
( ) n r a x
n
n r
n
+
+

1
0
(
a x
n
n r
n
+ +

1
0
0
Coeficiente de x
r-1
'
[ ]
r r r a a ( ) + 1 2 0 0
0 0
r r ( ) + 1 0
r
r
1
2
0
1

9i&ieren en un entero r
1
y r
2
r
1
* r
2
= n
0
= 1. !uego en principio slo puede asegurarse la
e-istencia de una solucin en serie de .r:benius ' la correspondiente a r
1
.
Coeficiente de x
r
'
[ ]
( ) ( ) ( ) ( )( ) 1 2 1 0 1 0 1 2 0
1 1 1
+ + + + + + r r r a " r a r r a

'

Para r
Para r
2
1
0 0
1
es
es libre
1
1
a
a
Coeficiente de x
n!r-1

[ ]
( )( ) ( ) )( ) n r n r n r a a n r a a
n n n
+ + + + + + +

1 2 0 0
1 2 2

a r
a r
n r n r
n
n
( )
( )
( )( )

+ + +
2
1
Para r
1
= 0
a
a
n n
n
n

+
2
1 ( )
y como a
1
= 0
a a a a
a
a
n n
n
n
n
1 / 0 2 1
2
2 2
0
2 2 1


+

'

... ...
( )
!uego a
a
n
n
n
2
0
1
2 1

+
( )
( )3
, de donde, tomando a
0
= 1, resulta '
y x
x
n
x
n
n n
n
n n
n
1
2
1
2
0
1
1
2 1
1
2 1
( )
( )
( )3
( )
( )3
+

+


+

x sen
x
1
) x ( y
1

12
Para r
2
= *1 es
a
a
n n
n
n

2
1 ( )
. El a
1
es libre y como se busca otra solucin
particular, puede escogerse a
0
= 1 a
1
= 0. Entonces
a a a a
a
a
n n
a
n
n
n
n
n
1 / 0 2 1
2
2 2 0
0
2 2 1
1
2

'

...
( )
...
( )
( )3
!uego '
y x
x
x
n
n n
n
2
2
1
1
1
1
2
( )
( )
( )3
+

1
]
1
1

x cos
x
1
) x ( y
2

#olucin $eneral :
[ ] x cos B x sen A
x
1
y +
x 0
Ejemplo 4
%dem para la ecuacin diferencial &
0 y ' y ( ) x * 2 y x +
%n6logamente x p(x) = 2 ( x * 1) , x
2
q(x) = * 1x son analticas en x = 0 7
1
= 7
2
= . E-iste
por tanto solucin por el m8todo de .robenius, "6lida al menos para x 0.
#ustituyendo
y x a x
n
n r
n
( )
+

0
en la ecuacin di&erencial '
( )( ) n r n r a x
n
n r
n
+ +
+

1
1
0
( 2
( ) n r a x
n
n r
n
+
+

0
* 2
( ) n r a x
n
n r
n
+
+

1
0
* 1
a x
n
n r
n
+

0
0

x 0
Coeficiente de x
r-1
'
[ ]
r r r a a ( ) 1 2 0 0
0 0
r (r * /) = 0
r
r
1
2
/
0

'

1/
9i&ieren en entero' r
1
* r
2
= / = n
0
. #lo puede asegurarse en principio la e-istencia de una
solucin y
1
en serie de .r:benius. Para r = r
2
= 0, se anular6 el denominador de la relacin de
recurrencia para . n = n
0
= /.
Coeficiente de x
n!r-1
'
[ ]
" n r a n r a a
n r
n r n r
a
n n n n
( ) ( )
( )
( )( )
+ + +
+
+ +

2 1 1 0
2 /
/
1 1
#e obser"a que el &actor n ( r ; / que anula al denominador cuando r = r
2
= 0 y n = n
0
= /,
est6 tambi8n en el numerador.
Para r r
1
/
% 1 n & a
%' ( n &
) * % 1 &
a
+ ... % ( n &
) % 1 &
( n
a )
n % ( n &
na )
a
0
n n
0
n n
1 n 1 n
n

+

+

+


. < tomando a
0
= 1'
1
1
]
1

+

+

n
1 n
n n
(
1
x
%' ( n &
) * % 1 &
1 x % x & y
. Es decir'
x x
%' ( n &
) * % 1 &
% x & y
( n
0 n
n n
1

+

Para r r
2
0
!a relacin de recurrencia, antes de escribirla ba=o la &orma de cociente, es'
) (n(r) a
n
( [ ]
2 1 1 0
1
( ) n r a
n
+

. < para r = 0 ' n(n*/) a

n
= * 2(n*/) a
n*1

Podr6 escribirse ba=o la &orma de cociente'
n
a )
a
1 n
n

excepto para n,(, en cuyo
caso ser6' (.0.a
(
, - ).0. a
)
.
#e obtiene por tanto a
1
= * 2 a
0
, a
2
= * a
1
= 2 a
0
y a
/
es libre. >ualquier "alor que se
asigne a a
(
(y a a
0
0 % conduce a una solucin. !a eleccin m6s simple es a
/
= 0 y a
0
= 1.
Entonces a
1
= a
0
=...=0. < se obtiene una 2? solucin'
2
2
x 2 x 2 1 ) x ( y +
-tra forma >omo puede tomarse cualquier "alor para a
/
, podra asign6rsele el deducido
de la relacin de recurrencia
n
a )
a
1 n
n

, "6lido en principio para n /.
Entonces' % 1 n & a
' n
) % 1 &
n
a )
a
0
n n
1 n
n

e
x x
' n
) % 1 &
1 % x & y
n
1 n
n n
)

11
Es por tanto otra solucin particular'
n
0 n
n n
)
x
' n
) % 1 &
% x & y

es decir'
x 2
2
e ) x ( y

.ota' #e "eri&ica'

+
+

( n
n
0 n
( n
( n
0 n
n n
1
' n
% x ) &
+
(
%' ( n &
% x ) &
/
*
x
%' ( n &
) * % 1 &
% x & y
=
( )
1
1
]
1

,
_

+

' )
x )
' 1
x )
1 e
+
(
)
x )
. Es decir' [ ] ) x 2 x 2 1 ( e
4
3
) x ( y
2 x 2
1
+


!a solucin general es' y , C
1
y
1
&x% ! C
)
y
)
&x%, - y , 0
1
y
)
&x% ! 0
)
y
)
1&x%, -
En ambos casos'
) 1 x 2 x 2 B( e A y
2 x 2
+ +

x
10