MAT 207

Ecuaciones Diferenciales
1. Mtodo de Frobenius
1.1. Introduccin
Sea la ecuacin diferencial :
0 y ) x ( R y ) x ( Q y ) x ( P + +
[1]
0 y ) x ( q y ) x ( p y + +
[1]
Si x
0
es punto ordinario de la ecuacin (es decir: p(x) y q(x)
anal!icas en x
0
)" se #io que $s!a podra in!e%rarse por el &$!odo de
series de po!encias en un en!orno reducido de x
0
'
Y si x
0
es punto singular de la ecuacin?. El co&por!a&ien!o
de un sis!e&a fsico re%ido por la ecuacin ()* suele ser especial&en!e
in!eresan!e en un en!orno de los pun!os sin%ulares" porque la solucin
de ()* en un en!orno de un x
0
sin%ular" es especial de al%+n &odo : por
e,e&plo" en &uc-os casos" !al solucin experi&en!a ca&.ios r/pidos de
&a%ni!ud'
1.2. EL MTODO DE FROBEI!"
Se considera la ecuacin ()* ()0* con x
0
1 0 pun!o sin%ular re%ular"
es decir con xp(x) y x
2
q(x) anal!icas en x 1 0' 2uede escri.irse en la
for&a:
x
2
y + x [x p(x) ] y+ [x
2
q(x)] y = 0 (1) x
2
y + x A(x ) y + B(x) y = 0 (1) "
con A(x)" 3(x) anal!icas en x 1 0'
Son se&e,an!es a la ecuacin de Euler 0 y y x y x
2
+ + para la cual se
.usca.an soluciones de la for&a y 1 x
r
' 4nspir/ndose en es!o y en el
&$!odo de series en !orno a un pun!o ordinario" se considera a-ora la
posi.ilidad de que exis!an soluciones de la for&a:
1
MAT 207
Ecuaciones Diferenciales

0 n
n
n
r
x a x ) x ( y
[2] (Serie de Frobenius)
donde las a
n
son cons!an!es a de!er&inar y r un n5 real o co&ple,o"
!a&.i$n a de!er&inar" esco%ido de for&a que a
0
0'
Se plan!ean las si%uien!es pre%un!as:
Existen, en efecto, soluciones de la forma [2] ?
Para qu valores de r?
Habr dos soluciones de esa forma que sean linealmente
independientes en un entorno qui! reducido" de #$
%&mo se obtienen los coe'cientes a
n
para esas soluciones?
(&nde son vlidas tales soluciones?
)i no existen dos soluciones de la forma , que sean linealmente
independientes en al*+n entorno reducido de x , #, c&mo pueden
obtenerse soluciones, aunque sean de otro tipo?
El !eore&a que si%ue se de.e a 67erdinand 8eor%e 7ro.enius9 y descri.e
!o!al&en!e el &$!odo de 7ro.enius'
1.#. Teore$% de Frobenius
6 "e% &% ecu%cin
0 y ) x ( q y ) x ( p y + + [1] ' con ( ) * pun!o
sin%ular re%ular" es decir" que x p(x) y x
2
q(x) son anal!icas en x 1 0"
con radios de con#er%encia respec!i#os :
)
y :
2
'
Sean r
)
y r
2
las races de la ecuacin inicial" siendo :e r
)
:e r
2
'
En!onces la ecuacin diferencial !iene dos soluciones y
)
(x) e y
2
(x)
#/lidas al &enos en
{ }
2 1
R , R min R x 0 < < " lineal&en!e
independien!es en dic-o en!orno reducido de x 1 0 y cuya for&a
depende de r
)
y r
2
se%+n las nor&as si%uien!es :
2
MAT 207
Ecuaciones Diferenciales
+, "ie$-re es
) ejemplo por ( 1 a con , x ) r ( a x ) x ( y
0
0 n
n
1 n
r
1
1

;os coe<cien!es a
n
(r) se o.!ienen por recurrencia" sus!i!uyendo en ()0*
la serie de fro.enius'
Si se desi%na por

0 n
n
n
r
x ) r ( a x ) r , x (
" en!onces
) r , x ( ) x ( y
1 1
'
B, L% 2. so&ucin /
2
0(, se obtiene %s1 2
B
1
,
1 a , x ) r ( a x = (x) y entonces , N r r y r r Si
0
0 n
n
2 n 2 2 1 2 1
2
r

es decir" ) r , x ( ) x ( y
2 2
'
B
2
,

1 n
n
1 n
r
1
r r
2 1 2
x ) r ( a x x ln ) x ( y
r
) r , x (
) x ( y entonces , r r Si
1
1

( = .ien" se escri.e

+
1
1 2
1
ln ) ( ) (
n
n
n
r
x b x x x y x y
" y se
procede por coe<cien!es inde!er&inados para -allar las .
n
)
B
#
,
, N n r r Si
0 2 1

resul!a :
B
#.1
, Si la relacin de recurrencia !iene sen!ido para !odo n y r 1
r
2
" la 2> solucin "
es co&o en el caso 3
)
'
B
#.2
, Si no es as" y se desi%na por
) r , x (
a :
3
MAT 207
Ecuaciones Diferenciales
1 a , ) r ( a ) r r ( ) r ( c con , x ) r ( c x ) r , x (
0 n 2 n
0 n
n
n
r

en!onces :
1
]
1

+ +

1
2 1 2 2
) ( 1 ln ) ( ) (
) , (
) (
2
0
2
n
n
n
r
n
r r
x r c x x x y r c
r
r x
x y
(= .ien" se escri.e

+
0
1 2
2
ln ) ( ) (
n
n
n
r
x b x x x y K x y
" b
#
,
- " y se procede por coe<cien!es inde!er&inados para -allar 3 y las
b
n
)9'
2. E4!+4I5 DE LE6EDRE 0178291:##,
L% ecu%cin de Le;endre de -%r<$etro $ * es 2
0 ) 1 ( 2 ) 1 (
2
+ + y m m y x y x
[3]
"e tr%t% de =%&&%r so&uciones en serie de -otenci%s de (' es decir
en torno % (
*
) *.
?on:

'

2
2
x 1
) 1 m ( m
) x ( q
x 1
x 2
) x ( p
A&.as anal!icas en x
0
1 0 con radio de
con#er%encia de los
respec!i#os desarrollos : :
)
1 :
2
1 )
;ue%o x
0
1 0 es pun!o ordinario" exis!iendo solucin en serie de
po!encias de x" #/lida" al &enos para
x < 1
'
Sea

0 n
n
n
x a y
' Sus!i!uyendo en la ecuacin :
4
MAT 207
Ecuaciones Diferenciales

2 n
2 n
n
x a ) 1 n ( n
@

2 n
n
n
x a ) 1 n ( n
@2

1 n
n
n
x a n
A

+
0 n
n
n
x a ) 1 m ( m
0
Ba.r/n de ser nulos los coe<cien!es de !odas las po!encias de x'
x
0
:
0 a ) 1 m ( m a 1 2
0 2
+ +

0 2
a
1 2
) 1 m ( m
a

+

x
)
:
0 a ) 1 m ( m a 2 a 2 3
1 1 3
+ +

1 1 3
a
! 3
) 2 m )( 1 m (
a
2 3
2 ) 1 m ( m
a
+

+




x
n
:
( )( ) ( ) 0 a ) 1 m ( m a n 2 a 1 n n a 1 n 2 n
n n n 2 n
+ + + +
+

+ +
+ +

+ n 2 n
a
) 1 n )( 2 n (
) 1 n m )( n m (
a
2 n a
) 1 n ( n
) 1 n m )( 2 n m (
a
2 n n

+ +


;ue%o :
1 x ... x
! 5
) 4 m )( 2 m )( 1 m )( 3 m (
x
! 3
) 2 m )( 1 m (
x a
... x
! 4
) 3 m )( 1 m ( m ) 2 m (
x
! 2
) 1 m ( m
1 a y
5 3
1
4 2
0
<
1
]
1

+ +
+
+

1
]
1

+ +
+
+

Es decir :
) x ( y a ) x ( y a y
2 1 1 0
+
Si m 1 0" )" 2" ''' una de las dos series es un polino&io de %rado &'
Dic-os polino&ios p
n
(x) son respec!i#a&en!e :
p
0
1 ) p
)
(x) 1 x p
2
(x) 1 ) @ C x
2
p
C
(x) 1
x @
3
5
x
C
''''''
Se lla&a -o&ino$io de Le;endre de orden $ y se desi%na con
2
m
(x)" a la solucin polin&ica de la ecuacin de ;e%endre de par/&e!ro
m ( o sea" el &+l!iplo de p
n
(x)" !al que 2
m
()) 1 )'
5
MAT 207
Ecuaciones Diferenciales
Ser/:
2
0
(x) 1 ) 2
)
(x) 1 x
2
1
x
2
3
) x ( P
2
2
x
2
3
x
2
5
) x ( P
3
3

'''''''''
2.1. +&;un%s -ro-ied%des 2
;os polino&ios de ;e%endre pueden darse &edian!e la >r$u&% de
Rodr1;ue? 2
n 2
n
n
n
) 1 x (
x d
d
! )! n 2 (
1
) x ( P
= &edian!e una >uncin ;ener%dor%" de.ida a ;e%endre :
( ) t ) x ( P t ) x ( P ) x ( P t xt 2 1
2
2 1 0
2 2
1
+ + + +

Ta&.i$n &edian!e >r$u&%s de recurrenci% 2
n 1 n 1 n
1 n n 1 n
P ) 1 n ( 2 P P
) x ( P
1 n
n
) x ( P x
1 n
1 n 2
) x ( P
+
+

+
+

+
+
?u&plen la re&%cin de orto;on%&id%d 2

'

n m
1 n 2
2
n m 0
x d ) x ( P ) x ( P
1
1
n m
[4]
2.2. +-&ic%ciones de &% Ecu%cin de Le;endre
6
MAT 207
Ecuaciones Diferenciales
;a ecuacin de ;e%endre es aplicada para resol#er cier!os
pro.le&as co&o por e,e&plo el pro.le&a de #alor li&i!e" dic-o
pro.le&a se puede resol#er &edian!e el uso adecuado de las
funciones de ;e%endre " en!re las que se encuen!ra la ecuacin de
;e%endre'
;a ecuacin de ;e%endre !a&.i$n se u!iliDa para resol#er la
ecuaci&n diferencial asociada de .e*endre, dic-a ecuacin es un
caso especial de la ecuacin diferencial de ;e%endre" cuyas
soluciones son las lla&adas funciones asociadas de .e*endre"
es!as a su #eD es!/n dadas en !$r&inos de las funciones ordinarias
de ;e%endre
;a ecuacin de ;e%endre aparece en #arios pro.le&as de la 7sica
do!ados de si&e!ra esf$rica
Muc-os o!ros pro.le&as se pueden resol#er con las funciones y la
ecuacin de ;e%endre " co&o pro.le&as de or!o%onalidad de
funciones" desarrollos en serie de ;e%endre" e!c'
#. Ecu%cin de Besse&
#.1. Friedric= @i&=e&$ Besse& 017:A91:AB,
As!rno&o y &a!e&/!ico ale&/n" nacido en Minden" conocido
principal&en!e por realiDar la pri&era &edicin precisa de la dis!ancia
de una es!rella' Eaci en Minden' 3essel super#is la cons!ruccin del
o.ser#a!orio de FGni%s.er% y fue su direc!or desde )H)C -as!a su
&uer!e' Es!a.leci el sis!e&a unifor&e para calcular las posiciones de
las es!rellas que !oda#a se u!iliDa ac!ual&en!e' Desde )H2) -as!a )HCC"
de!er&in con precisin las posiciones de es!rellas de -as!a la no#ena
&a%ni!ud" ele#ando el n+&ero de es!rellas ca!alo%adas a I0'000' Sus
7
MAT 207
Ecuaciones Diferenciales
=.ser#aciones as!ron&icas fueron pu.licadas en )HJ2' 3essel fue el
pri&ero en de!er&inar el parala,e" y por !an!o" la dis!ancia de una
es!rella <,a" K) ?y%ni" proporcionando as la con<r&acin de<ni!i#a de la
!eora por la que el Sol y no la Tierra es el cen!ro del Sis!e&a Solar'
Ta&.i$n de!er&in el di/&e!ro" el peso y la elip!icidad de la Tierra' En la
in#es!i%acin de pro.le&as relacionados con per!ur.aciones plane!arias"
in!rodu,o en &a!e&/!icas las funciones de 3essel co&o solucin a
cier!as ecuaciones diferenciales'
#.2. Ecu%cin Di>erenci%& de Besse&
;a ecuacin diferencial de 3essel !iene la for&a:
0 ) (
2 2 2
+ + y n x y x y x
0 n 08,
;as soluciones de es!a ecuacin es!/n dadas por las funciones de 3essel'
;a solucin %eneral de (I)" es!/ dada por:
) ( ) (
2 1
x Y c x J c y
n n
+
0B,
;a solucin L
n
(x) que !iene li&i!e <ni!o cuando x se aproxi&a a cero" se
lla&a funci&n de /essel de la primera clase de orden n' ;a solucin M
n

(x)" que no !iene l&i!e <ni!o cuando x se aproxi&a a cero" es lla&ada
funci&n de /essel de la se*unda clase de orden n o 0unci&n de
1eumann'
Si la #aria.le x se ca&.ia por x" donde es una cons!an!e" la ecuacin
(I) ca&.ia" dando por resul!ado la s%!e' ecuacin:
0 ) (
2 2 2 2
+ + y n x y x y x
07,
a es!a for& de la ecuacin de 3essel se la deno&ina 6Ecuacin
para&$!rica de 3essel 6
con solucin %eneral:

) ( ) (
2 1
x Y c x J c y
n n
+
0:,
8
MAT 207
Ecuaciones Diferenciales
;a ecuacin diferencial (I) o (7) se o.!iene" por e,e&plo de la ecuacin
de ;aplace
0
2
u expresada en coordenadas cilndricas ( ,,z )'
#.#. +-&ic%ciones de &% ecu%cin de Besse&.
;as aplicaciones de la ecuacin de 3essel sur%ieron en el es!udio
de la radiacin de ener%a y aparece !a&.i$n en es!udios
a#anDados de &a!e&/!ica aplicada" fsica" e in%eniera'
2ar!icular&en!e se aplica en &odelos &a!e&/!icos que se
expresan na!ural&en!e en coordenadas cilndricas'
A. Bib&io;r%>1%
?olino ;peD" An!onio' Funciones de Besse&' Madrid" Dossa!'
Spie%el" Murray' Teor1% / Crob&e$%s de +n<&isis de Fourier'
M$xicoN Mc 8raO Bill" )P7K'
9
MAT 207
Ecuaciones Diferenciales
10