Matemticas Aplicadas J.M.

Ponce
EDPS EN COORDENADAS CILINDRICAS Y ESFERICAS
1.El mtodo de Frobenius pr l solu!i"n de e!u!iones di#eren!iles ordinris de
se$undo orden !on !oe#i!ientes %ribles.
Las funciones Bessel aparecen en la solucin de problemas de valor en la frontera en
coordenadas cilndricas, mientras en coordenadas esfricas se encuentran polinomios de
Legendre. stos dos tipos de funciones se generan en la solucin de ecuaciones
diferenciales ordinarias por e!pansin en series, esta forma de solucin se conoce como
mtodo de "robenius. La ecuacin diferencial lineal de segundo orden es
# $ % & $ % & & + + y x Q y x P y
%'.'$
La ecuacin es (omognea ) ordinaria, ) se buscaran para ella soluciones de la siguiente
forma

#
$ % $ % $ %
n
r n
n
a x a x A x y
%'.*$
en donde n ) r son constantes. +uando r,#, la ec. %'.*$ es la e!pansin de y(x) en series de
-a)lor
... $ $% % & & &
. /
'
$ $% % & &
. *
'
$ $% % & $ % $ %
/ *
+ + + + a x a y a x a y a x a y a y x y
%'./$
l anlisis depende en gran parte del comportamiento 0ue tenga P(x) ) Q(x) en la vecindad
del punto 0ue se usar para (acer la e!pansin en series. n otras palabras es necesario
determinar en 0ue puntos la solucin es vlida, para ello debemos considerar lo siguiente1
a$ 2e dice 0ue las funciones son analticas en x=a, si P(x) ) Q(x) se pueden e!pandir
en series de -a)lor en este punto. 2i esto es cierto x=a es un punto ordinario, de otra
manera es un punto singular. +uando P(x) ) Q(x) son una relacin de polinomios,
los puntos singulares son las races del denominador.
b$ 2i en x=a (a) un punto singular pero (x-a)P(x) ) (x-a)
2
Q(x) son analticas, entonces
en x=a es un punto singular regular.
Para proceder con el desarrollo del mtodo de "robenius es importante tener presente las
siguientes consideraciones1
'. 2i x=a es un punto ordinario entonces, la solucin de %'.'$ es analtica as 0ue

#
$ % $ %
n
n
n
a x A x y
%'.3$
es adecuada
*. n el punto singular, e!iste al menor una solucin de la forma

#
$ % $ % $ %
n
n
n
r
a x A a x x y
%'.4$
en donde r es una constante.
/. n un punto singular irregular no e!isten soluciones en trminos de potencias de (x-
a).
2e desea encontrar soluciones e!pandidas alrededor de los puntos singulares, no en ellos,
de esta forma la funcin podr ser evaluada alrededor de las singularidades. 2i x=a es un
punto singular es conveniente trasladar a( el origen de un nuevo sistema de coordenadas
de tal forma 0ue la singularidad se encontrar en x,#. 2i este es el caso xP(x) ) x
2
Q(x) son
analticas ) pueden e!pandirse en series de -a)lor alrededor de x,#, o sea
'
Matemticas Aplicadas J.M.Ponce
... $ %
*
/ * '
+ + + x B x B B x xP %'.5$
... $ %
*
/ * '
+ + + x C x C C x xQ %'.6$
La ec. %'.'$ se puede escribir como
# $ % & $ % & &
* * *
+ + y x Q x y x P x y x %'.7$
A(ora considrese una solucin de la forma

# n
n
n
r
x A x y
%'.8$
+u)as derivadas son

+
+
#
'
$ % &
n
r n
n
x r n A y
%'.'#$

+
+ +
#
*
$ ' $% % & &
n
r n
n
x r n r n A y
%'.''$
La substitucin de %'.''$ en %'.7$ da
# ...$ % ...$ $% % $ ' $% %
#
*
* ' #
#
*
* ' #
#
+ + + + + + + + + + +

+
n
r n
n
n
r n
n
n
r n
n
x x C x C C A x x B x B B r n A x r n r n A
%'.'*$
0ue puede escribirse como
[ ] [ ] { }
[ ] [ ] [ ] { } # ... $ ' % $ * % $ ' $% * %
$ ' % $ ' % $ ' %
*
* # * # ' ' ' ' # * # * *
'
' # ' # # ' # ' ' # # # # #
+ + + + + + + + + + + +
+ + + + + + + +
+
+
r
r r
x C A rB A C A B r A C A B r A r r A
x C A rB A C A B r A r r A x C A rB A r r A
%'.'/$
+omo x
r
es linealmente independiente del resto de las otras potencias de x los coeficientes
en la anterior sumatoria deben satisfacer las siguientes e!presiones
[ ] # $ ' %
# # #
+ + C rB r r A
%'.'3$
[ ] ( ) # $ ' % $ ' %
' ' # # # '
+ + + + + C rB A C B r r r A
%'.'4$
[ ] [ ] [ ] # . $ ' % $ * % $ ' $% * %
* * # ' ' ' # # *
+ + + + + + + + + + C rB A C B r A C B r r r A
%'.'5$
9tese 0ue
#
#
A
, por 0ue se otra forma A1, A2, =0, as 0ue
# $ ' %
# #
+ + C rB r r
%'.'6$
sta es la ecuacin indicial, sus races son los e!ponentes 0ue se usarn en la solucin en
series para la ecuacin diferencial ordinaria. :a) una solucin para cada ra; r1 ) r2. l
resto de las ecuaciones relaciona A1 a A0, A2 a A0, etc., estas se llaman frmulas de
recurrencia.
2i r1,r2, se obtiene solo una de las soluciones.
2i entero r r
* '
, se obtienen dos solucionesy1(x) ) y2(x).
2i entero r r
* '
, la ra; ms grande dar una solucin ) la ra; pe0ue<a =puede>
dar otra solucin.
2i se escribe la ecuacin indicial como
# #
$ ' % $ % C rB r r r f + +
%'.'7$
ntonces las frmulas de recurrencia son
# ' '
$ ' % g A r f A

* # ' ' *
$ * % g A g A r f A +
9tese 0ue si k es un entero puede obtenerse f(r+k)=0, ) entonces Ak no podr ser
evaluada. sto lo veremos en detalle a continuacin.
*
Matemticas Aplicadas J.M.Ponce
Anlisis de cuantas soluciones son posibles una ve; encontradas r1 ) r2
scribiendo
# $ ' % $ %
# #
+ + C rB r r r f
en trminos de r1 ) r2 0ue son las races de f(r)
$ $% % $ %
* '
r r r r r f
Por lo tanto
$ $% % $ %
* '
r k r r k r k r f + + +
)
$ % $ %
* ' '
r r k k k r f + +
$ % $ %
' * *
r r k k k r f + +
2i #
* '
> r r la funcin # $ %
*
+ k r f cuando $ %
' *
r r k . Por lo tanto cuando
k r r
* '
%entero positivo solo la solucin correspondiente a la ra; ma)or r1 est
garanti;ada. 2in embargo, una ve; 0ue la ra; r1 se (a encontrado es posible obtener la
segunda solucin por el mtodo de variacin de parmetros. ?n e@emplo es la ecuacin de
Bessel 0ue se revisar a continuacin.
n esta seccin (emos delineado el desarrollo del mtodo de "robenius para una ecuacin
general en donde xP(x) ) x
2
Q(x) pueden ser e!pandidos en series de -a)lor. Aebe 0uedar
claro 0ue la solucin depende de la forma 0ue tengan los coeficientes de tales trminos.
sto lo veremos claramente en a siguiente seccin al tratar el caso de la ecuacin
diferencial de Bessel. Aebemos puntuali;ar 0ue aun0ue el mtodo de "robenius pueda no
ser necesario, tambin dar los resultados conocidos para ecuaciones tales como
#
'
*
*
'
*
+ y
dx
y d

)
#
*
*
*
*
*
y
dx
y d

2e sugiere proceder a encontrar la solucin de ambas ecuaciones utili;ando el mtodo de

"robenius para demostrar 0ue
$ cos(% & $ % & $ %
$ cos% $ % $ %
*
'
x B x senh A x y
x B x Asen x y


+
+
&. L e!u!i"n de 'essel
+onsidrese la ecuacin de Laplace en coordenadas cilndricas
#
' '
*
*
* *
*

,
_

u u
%*.'$
Para separacin de variables se propone
$ % $ % $ % ! " u
%*.*$
+on la substitucin de la ec. %*.'$ en la %*.*$ se encuentra
*
*
*
*
*
*
' ' ' ' '

,
_

d
! d
! d
d
d
d"
d
d
"
%*./$
) tambin
/
Matemticas Aplicadas J.M.Ponce
*
*
*
* *
' '

,
_

d
d
d
d"
d
d
"
%*.3$
Ae esta se obtiene
# $ %
* * *
+

,
_

"
d
d"
d
d

%*.4$

# $ %
* * *
*
*
*
+ + "
d
d"
d
" d

%*.5$
?tili;ando otra nomenclatura
# $ % $ % $ % & $ % & &
* * * *
+ + x y x x xy x y x %*.5$
A(ora se introduce la definicin
x t %*.6$
) con ella la ec. %*.5$ toma la forma siguiente
# $ % $ % $ % & $ % & &
* * *
+ + t y t t ty t y t %*.7$
sta se conoce como la ecuacin de Bessel de orden

, ) las soluciones se conocen como

funciones Bessel, tambin de orden

. Para encontrarlas, la ec. %*.7$ se rearregla de la

forma
# $ % $ % &
'
$ % & &
*
* *

+ + t y
t
t
t y
t
t y

%*.8$
A0u podemos identificar
*
* *
$ %
'
$ %
t
t
t Q
t
t P

%*.'#$
9tese 0ue t,# es un punto singular. 2in embargo
' $ % t tP
%*.''$
* * *
$ % t t Q t %*.'*$
son analticas, por lo tanto t,# es un punto singular regular. Por ello se puede utili;ar el
mtodo de "robenius para resolver la ecuacin %*.8$. 2e propone

#
$ %
n
r n
n
t a t y
%*.'/$
Ae esta se puede obtener

+
+
#
'
$ % $ % &
n
r t
n
t a r n t y
%*.'3$
)

+
+ +
#
*
$ * $% % $ % & &
n
r t
n
t a r n r n t y
%*.'4$
La substitucin de las ecs. %*.'/$B%*.'4$ en la ec. %*.8$ da1
# $ % $ ' $% %
#
*
#
*
# #
+ + + + +

+ +

+
n
r n
n
n
r n
n
n
r n
n
n
r n
n
t a t a t a r n t a r n r n
%*.'5$
l cambio de ndice en la ec. %*.'5$ da
[ ] # $ * % $ ' $% * %
#
*
*
* *
*
+ + + + + + + +

+ +

+ +
+
#
r #
#
#
r #
#
t a t r # r # r # a
%*.'6$
sta puede escribirse a(ora como
3
Matemticas Aplicadas J.M.Ponce
[ ] [ ] [ ] [ ] # $ * % $ ' % $ ' % $ ' %
#
* * *
*
' *
'
*
#
+ + + + + + + + +

+ +
+
+
#
r #
# #
r r
t a r # a t r r r a t r r r a
%*.'7$
Cgualando el primer coeficiente a cero se encuentra
#
* *
r %*.'8$
0ue es la ecuacin indicial. Las dos races de esa son r1=$ ) r2=-$. Por lo tanto si $ es
entero, divisible entre dos se pueden esperar problemas para encontrar una segunda
solucin de la forma de la ecuacin %*.'/$ por 0ue r1-r2=2$. -ambin si $,# se encontrar
solo una solucin.
Pero de cual0uier manera se tiene la ra; r1=$ 0ue es la ma)or ) permitir encontrar una de
las soluciones.
As 0ue tomando r1=$ ) substitu)ndola en el segundo trmino de la ec. %*.'7$ se obtiene
[ ] # $ ' %
* *
'
+ + r a
[ ] # ' *
'
+ a
)
[ ] # $ * %
* *
*
+ + +
+ # #
a r # a
0ue es vlida para cual0uier valor de $, ) por lo tanto
a1,# %*.*#$
A continuacin se encuentra desde la ec. %*.'7$ ) (aciendo r=$
# ,
$ * %
* *
*

+ +

+
#
r #
a
a
#
#

%*.*'$
o usando n=#D*
( ) * * $ * %
*
*
*
* *
*
+

+

+


n n
a
n n
a
n
a
a
n n n
n %*.**$
A(ora usando esta ecuacin se obtiene
( ) * * *
#
*
+

a
a
#
/
a
( ) ( )( ) ( ) ( ) + +

+ +

+

* ' * * * 3 * * 3 * * 3 3
3
# # *
3
a a a
a
#
4
a
( ) ( )( ) ( ) + + +

+

/ * ' 5 * * 5 5
5
# 3
5
a a
a
#
6
a
( ) ( )( ) ( ) ( ) + + + +

+

3 / * ' *3 * * 7 7
7
# 5
7
a a
a
( )( ) ( )( ) ' ... ' . *
$ ' %
*
#
*
+ + +

% % %
a
a
%
%
%
%*.*/$
4
Matemticas Aplicadas J.M.Ponce
9tese 0ue todos los coeficientes con subndices no son cero, esto por 0ue a1,#
As 0ue una de las soluciones es
( ) ( ) ( ) ( )

+
+ + +

#
*
*
# '
' ... ' . *
$ ' %
$ %
%
%
% %
% % %
t
a t y

%*.*3$
Adems
( ) ( ) ( ) ( ) ( ) . ' ... ' . $ $ % % % + + + +
%*.*4$
) por lo tanto la ec. %*.*3$ es
( )
% $
%
%
$
t
% $ %
$
a t y
*
#
# '
* . .
. $ ' %
* $ %
+

,
_

%*.*5$
Para propsitos de tabulacin 2
$
$& se incorpora en la constante a0 ) entonces la sumatoria
se denomina '$(t) 0ue es la funcin Bessel de primera clase de orden $1
stas funciones son finitas, ) de naturale;a oscilatoria con amortiguamiento. stas
caractersticas se muestran para las funciones '0(x), '1(x) ) '2(x) en la figura siguiente
"igura '. "unciones de Bessel de primera clase de cero, primer ) segundo orden.
2e puede demostrar 0ue
$ %
*
$ %
* E '
t sen
t
t '

%*.*7$
)
$ % $ %
' *
$ %
* E / * E ' * E '
t ' t '
t
n
t '
n n n +

+

%*.*8$
stas son Ftiles para encontrar las funciones Bessel de orden $,'E*, /E*, 4E*, G etc. 2e
puede pensar 0ue '$(t) son lo anlogo a sen%t$ ) cos%t$ para el caso de coordenadas
cilndricas. Las '$(t) son funciones oscilatorias ) finitas en t,#.
l problema a(ora es encontrar la segunda solucin para la ec. %*.8$. +on este ob@etivo
(acemos a(ora $=-$ en la frmula de recurrencia por ec. %*.**$
* ,
$ * %
*

n
$ n n
a
a
n
n %*./#$
A(ora usando esta ecuacin se obtiene
$ * * % *
#
*
$
a
a

, problema si $,' %*./'$
5
Matemticas Aplicadas J.M.Ponce
#
$ * / % /
'
/

$
a
a
, por0ue a1,# %*./*$
$ * 3 % 3
*
3
$
a
a

, problema si $,* %*.//$
a(,# %*./3$
$ * 5 % 5
3
5
$
a
a

, problema si $,/ %*./4$
Por lo tanto no (a) soluciones de la forma %/.'/$ si r,Bentero. Pero las (a) si r,BfraccinH
por e@emplo $,'E*, /E*, 4E*, etc.
Las ecuaciones %*./'$ a %*./4$ implican
$ ' % *
#
*
$
a
a

$ * $% ' % * *
3
#
3
$ $
a
a


$ / $% * $% ' % 5 *
5
#
5
$ $ $
a
a


$ 3 $% / $% * $% ' % *3 *
7
#
7
$ $ $ $
a
a


ntonces la solucin es

,
_

#
*
* $. % .
$ ' %
$ %
%
$ %
%
$
t
$ % %
t ' %*./5$
sta ecuacin se pudo (aber obtenido directamente desde la ec. %*.*6$ rempla;ando $ por
I$. 9tese 0ue la ec. %*./5$ no es finita cuando # t . Por e@emplo
$ cos%
*
$ %
* E '
t
t
t '

%*./6$
"igura *. "unciones de Bessel de primera clase de orden B'E*, B/E*, ) B4E*.
(. Solu!i"n de l e!u!i"n e 'essel pr el !so en )ue r1=r2=* " r2=+entero.
6
Matemticas Aplicadas J.M.Ponce
n la seccin anterior se encontr para la ecuacin
# $ %
* *
*
*
*
+ + y $ t
dt
dy
t
dt
y d
t %/.'$
La siguiente solucin
$ %
'
t ' y
$

%/.*$
para r1=$. A(ora se obtendr la segunda solucin por el mtodo de variacin de parmetros.
2upngase
$ % $ % $ %
*
t ' t A t y
$

%/./$
$ % $ % & $ % & $ % $ % &
*
t ' t A t ' t A t y
$ $
+
%/.3$
$ % & $ % & & $ % & $ % & $ % & $ % & $ % & & $ % $ % & &
*
t ' t A t ' t A t ' t A t ' t A t y
$ $ $ $
+ + +
%/.4$
2ubstitucin de %/./$, %/.3$ ) %/.4$ en %/.'$ da
# $ % & & & & & & * & &
* * * * *
+ + + + +
$ $ $ $ $ $
' $ t A ' tA tA' A' t ' A t ' A t %/.5$
0ue se puede escribir como
# J $ % & & & K & & & * & &
* * * * *
+ + + + +
$ $ $ $ $ $
' $ t t' ' t A ' tA ' A t ' A t
0ue se simplifica a la siguiente por 0ue '$ satisface la ecuacin %/.'$
( ) # & & &
* * *
+ +
$ $ $
' $ t t' ' t
# & & & * & & + +
$ $ $
' A ' tA ' tA
%/.6$
Cntroduciendo la definicin
P(t)=A) %/.7$
La ec. %/.6$ se puede escribir como
# & * + +
$ $ $
#' t#' '
dt
d#
t
%/.8$
Adems
( )
$ $ $
$
' t#' '
dt
d#
t
dt
#' d
t & *
*
*
+ %/.8L$
A(ora se puede multiplicar la ecuacin %/.8$ por '$ ) usar la ecuacin %/.8L$ para obtener
( )
#
*
*
+
$
$
#'
dt
#' d
t %/.'#$

( ) #
*

$
t#'
dt
d
%/.''$
Mue se puede integrar para
#
*
a t#'
$

Cntroduciendo la definicin de #(t) dada por la ec. %/.7$ se obtiene
*
#
$
t'
a
dt
dA

%/.'*$
) de esta

$ %
$ %
*
#
t t'
a
t A
$
%/.'/$
N de la ec. %/./$
7
Matemticas Aplicadas J.M.Ponce

$ %
$ % $ %
*
#
*

$
$
'
a
t ' t y
%/.'3$
Adems de la ec. %*.*6$ se sabe 0ue

#
*
$ %
%
%
%
$
$
t a t t '
%/.'4$
La substitucin de la ec. %/.'4$ en la %/.'3$ da
( )

+ +
+
... $ % $ %
# *
$ n
% $
* *
d
t ' t y

+
#
*
$ ln% $ % $ %
%
%
%
$
$
t d t t t ' t y
%/.'6$
ste resultado se puede generali;ar para encontrar a partir de una solucin $ %
'
t y , obtenida
por el mtodo de "robenius correspondiente a la ra; r1, la segunda solucin y2(t)
correspondiente a la ra; r2 ) de la forma

+
#
' *
*
$ ln% $ % $ %
n
n
n
r
t * t t t y t y
%/.'7$
sta ecuacin se (a escrito suponiendo 0ue t,# es el punto singular regular. Los
coeficientes *n se encuentran por substitucin de la ec. %/.'7$ en la ec. Aiferencial ordinaria
Kec. %/.'$J para encontrar una frmula de recurrencia. +uando $,#,',/,G la segunda
solucin $ %
*
t y se determina la funcin Bessel de segunda clase de orden $ con la
nomenclatura
$ %t +
$
. -odas las funciones
$ %t +
$
son infinitas en t,#.
A(ora podemos establecer 0ue la solucin de la ec. %/.'$ es
$ % $ % $ %
* '
t ' C t ' C t y
$ $
+
, para $ entero %/.'8$
$ % $ % $ %
* '
t + C t ' C t y
$ $
+
, para $=#, ', *, /, G %/.*#$
Las '$(t) ) las +$(t) son oscilatorias para todo t. 2in embargo las '$(t) son finitas en todo el
dominio ) las +$(t) tienden a infinito cuando # t . sto se e@emplifica para '0 ) +0 en la
siguiente figura.
"igura /. "unciones Bessel de primera ) segunda clase de orden cero.
,. Fun!iones modi#i!ds de 'essel
8
Matemticas Aplicadas J.M.Ponce
:a) otras funciones 0ue tienen soluciones relacionadas a las funciones de Bessel. Por
e@emplo las soluciones de
( ) # $ % $ % & $ % & &
* * *
+ + t y $ t t ty t y t %3.'$
0ue es la ecuacin modificada de Bessel.
Oeali;ando el siguiente cambio de variable
,t=u en donde ' - %3.*$
Por lo 0ue las derivadas en trminos de t son
du
dy
-
dt
du
du
dy
dt
dy
y &
%3./$
*
*
& &
du
y d
du
dy
-
du
d
dt
du
du
dy
-
dt
d
y
1
]
1

+
1
]
1

+
%3.3$
+on esta la ec. %3.'$ toma la siguiente forma
( ) # $ %
* *
*
*
*
+ + u y $ u
dt
dy
u
du
y d
u %3.4$
Las soluciones de esta ecuacin son las mismas de la ec. %/.'$. Por ello
$ % $ % $ %
* '
u ' C u ' C u y
$ $
+
, para $ entero %3.5$
$ % $ % $ %
* '
u + C u ' C u y
$ $
+
, para $=#, ', *, /, G %3.6$
2i se define
"uncin modificada de Bessel de primera clase
$ % $ % -t ' - t ,
$
$
$

%3.7$
"uncin modificada de Bessel de segunda clase
[ ] $ % $ %
*
$ %
'
-t -+ -t ' - t .
n n
n
n
+
+

%3.8$
Las definiciones %3.7$ ) %3.8$ permite escribir la solucin de la ec. %3.'$ en la forma
$ % $ % $ %
* '
t , C t , C t y
$ $
+
, para $ entero %3.'#$
$ % $ % $ %
* '
t . C t , C t y
$ $
+
, para $=#, ', *, /, G %3.''$
Las funciones modificadas de Bessel son de carcter monotnico ) no oscilatorio. Lsa
funciones .$(t) ) ,-$(t) tiendan a infinito en t,#. n la siguiente figura se comparan las
funciones modificadas de Bessel de 'ra. ) *da. +lase1
'#
Matemticas Aplicadas J.M.Ponce
"igura 3. "unciones modificadas de Bessel de 'er ) *do orden
Algunas relaciones Ftiles de ellas son
$ %
*
$ %
* E '
t senh
t
t ,

%3.'*$
$ cos(%
*
$ %
* E '
t
t
t ,

%3.'/$
$ % $ %
' *
$ %
* E / * E ' * E '
t ' t ,
t
n
t ,
n n n +
+

%3.'3$
Las funciones ,$(t) ) .$(t) estn relacionadas a '$(t) ) +$(t) en forma similar como estn
relacionados el sen(%t$ ) el cos(%t$ al cos%t$ ) sen%t$.
-. E!u!i"n di#eren!il !on solu!iones )ue !ontienen #un!iones de 'essel.
s mu) Ftil recordar 0ue e!iste la siguiente ecuacin
[ ] # $ % $ ' % $ % & $ * % $ % & &
* * * *
+ + + + + + + t y x / x # a / dx * x y /x a x x y x
# # 0 #
%4.'$
0ue tienen solucin de la forma
$ % $ %
0
$
x a
x e x x y
#

%4.*$
n donde
#
... / , * , ' $, % $ %
$, % $ %
* '
* '
>

+
+

d
$ #ara x + C x ' C
entero $ #ara x ' C x ' C
0
$
0
$ $
0
$
0
$ $


, %4./$
#
... / , * , ' $, % $ %
$, % $ %
* '
* '
<

+
+

d
$ #ara x . C x , C
entero $ #ara x , C x , C
0
$
0
$ $
0
$
0
$ $


, %4.3$
* E $ ' % a
%4.4$
# / E
%4.5$
0
d
%4.6$
* a
0
$ 3 $ ' %
*
'
*

%4.7$
stas relaciones permiten encontrar rpidamente la solucin de un gran nFmero de
problemas. Los detalles de la deduccin de la ecs. %4.*$B%4.7$ pueden encontrarse en el libro
de :ildebrand %'865, pag. '4*$.
.. Orto$onlidd de ls #un!iones 'essel
La ortogonalidad de las funciones de Bessel se puede demostrar fcilmente si se empie;a
con
''
Matemticas Aplicadas J.M.Ponce
( ) # $ %
* * *
*
*
*
+ + x y $ x
dx
dy
x
dx
y d
x %5.'$
Aividiendo este entre x
# $ %
*
*
*
*

,
_

+ + x y
x
$
x
dx
dy
dx
y d
x
%5.*$
N rearreglando a
# $ %
*
*

,
_

+
,
_

x y
x
$
x
dx
dy
x
dx
d

%5./$
Oecordando lo revisado sobre la teora de 2turmBLiouville para la ecuacin
( ) # $ % $ % $ % + +
,
_

n n
n
y x 0 x 1
dx
dy
x #
dx
d

%5.3$
con condiciones de frontera
# $ % & $ %
# $ % & $ %
* '
* '


/ y / / y /
a y a a y a
n n
n n
%5.4$
2e demostr 0ue
% n #ara dx x y x y x 1
/
a
% n

, # $ % $ % $ % %5.5$
+omparado las ecuaciones %5./$ ) %5.3$
*
*
$ %
$ %
$ %

n
x
$
x 0
x x #
x x 1
+omo consecuencia de esto las funciones de Bessel son ortogonales si se usa como funcin
de ponderacin 1(x)=x. As

/
a
% $ n $
% n #ara dx x y x xy , # $ , % $ , % %5.7$
N este resultado permitir evaluar las constantes de un gran nFmero de problemas.
PPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPP
@emplos1
PPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPP
/. Inte$rles de #un!iones 'essel
s de inters evaluar integrales de la forma
[ ] dx x y x
/
a
$
*
$ %

%6.'$
en donde y$(x) es una solucin de la ecuacin diferencial de Bessel de orden =$>
# $ % & & &
* * * *
+ +
$ $ $
y $ x xy y x %6.*$
ste tipo de integrales se originan cuando se evalFan coeficientes de e!pansiones usando
funciones de Bessel para obtener resultados e!plcitos de las integrales se escribir <a
ecuacin de Bessel en la forma del problema general de 2turmBLiuville
'*
Matemticas Aplicadas J.M.Ponce
#
*
*

,
_

+
,
_

$
$
y
x
$
x
dx
dy
x
dx
d

%6./$
Aespus de multiplicar la ec. %6./$
# * *
*
*

,
_

+
,
_

$
$ $ $
y
dx
dy
x
x
$
x
dx
dy
x
dx
d
dx
dy
x
%6.3$
Mue se puede escribir como
( ) #
*
* * *
*
+
,
_

dx
dy
$ x
dx
dy
x
dx
d
$ $
%6.4$
La ecuacin de esta ecuacin en el dominio Ka,/J se e!presa como
[ ] #
*
* * *
*
+
,
_

/
a
$
/
a
$
dx
dx
dy
$ x dx
dx
dy
x
dx
d
%6.5$
Ae esta e!presin se obtiene usando integracin por partes
[ ] # *
* * * * * *
*
+
,
_

/
a
$
/
a
$
/
a
$
dx xy y $ x
dx
dy
x
%6.6$
Aebemos notar 0ue la integral de inters, la ec. %6.'$, est incluida en la ec. %6.6$.
Cntroduciendo la definicin

/
a
$ $
dx xy ,
*
%6.7$
) reali;ando la evaluacin de los lmites de integracin en la ecuacin %6.6$ se obtiene
[ ] [ ]

'

,
_

+
,
_

$ % $ %
*
'
* * * *
*
* * * *
*
*
a y $ a
dx
dy
a / y $ /
dx
dy
/ ,
$
a
$ a
$
/
$
$

%6.8$
sta no es ana forma adecuada, por 0ue en general se desconoce cuanto valen las derivadas.
2in embargo, se pueden involucrar las condiciones de frontera generales del problema de
2turmBLiouville dadas por
# $ % & $ %
# $ % & $ %
* '
* '


/ y / / y /
a y a a y a
$ $
$ $


%6.'#$
Podemos entonces concluir 0ue los valores de la integral %6.8$ dependen de los a1, a2, /1 )
/2.
+aso C
n este consideramos la forma ms general del problema, o sea a1, a2, /1 ) /2 son diferentes
de cero. Ae las ecs. %6.'#$ se encuentran las derivadas
$ % $ % &
$ % $ % &
*
'
*
'
/ y
/
/
/ y
a y
a
a
a y
$ $
$ $

%6.''$
Por lo tanto la ec. %6.8$ toma la forma
[ ] [ ]

'

,
_

,
_

,
_

,
_

$ % $ %
*
'
* * * *
*
*
' * * * *
*
*
' *
a y $ a
a
a
a / y $ /
/
/
/ ,
$
a
$ $

%6.'*$
Aebe notarse 0ue esta ecuacin tambin es Ftil si a1 /1 son cero.
'/
Matemticas Aplicadas J.M.Ponce
+aso CC
Para a1,# pero #
*
a , no se puede evaluar la derivada
dx x dy
$
E $ %
a partir de la
condicin de frontera, pero se puede utili;ar la siguiente relacin vlida para funciones
Bessel %Levedev, '86*$
$ % $ %
$ %
'
x xy x $y
dx
x dy
x
$ $
$

+
t %6.'/$
l signo depende de 0ue funcin de Bessel se trate. ?tili;ando la ec. %6.'/$ ) notando
0ue si
# $ % '
'
a y a
$

, se obtiene
$ %
$ %
'
a ay
dx
a dy
a
$
$

+
t %6.'3$
Por lo tanto la ec. %6.8$ se reduce a
[ ]

'

,
_

,
_

$ % $ %
*
'
* * * * * * *
*
*
' *
*
a y a / y $ /
/
/
/ ,
$ $ $

%6.'4$
+aso CCC
n este caso anlogo al anterior, /2,# pero #
'
/ , la ec. %6.'*$ puede escribirse en la
forma
$ %
$ %
'
/ /y
dx
/ dy
/
$
$

+
%6.'5$
N como
# $ % / y
$

, la ec. %6.8$ se puede simplificar a
[ ]

'

,
_

,
_

$ % $ %
*
'
* * * *
*
*
' * * *
*
a y $ a
a
a
a / y / ,
$
a
$ $

%6.'6$
+aso CQ
n esta situacin, a2,/2,# ) entonces
# $ % $ % / y a y
$ $

. Por lo 0ue usaremos
simultneamente las ecuaciones %6.'3$ ) %6.'5$. As la ec. %6.8$ se reduce a
{ } $ % $ %
*
'
* * * * * *
*
a y a / y / ,
$ $ $

%6.'7$
+omo un caso especial podemos considerar a0uel en el 0ue a,#, o sea cuando el domino
inclu)e el origen de las coordenadas cilndricas o esfricas. n este caso no se dispone
e!plcitamente de un valor de la funcin o sus derivadas. 2in embargo, dado 0ue en x=a=#
la funcin ) sus derivadas deben ser finitas la ecuacin %6.8$ se reduce a
[ ]

'

,
_

,
_

$ # % $ %
*
'
* * * * * *
*
*
*
$ $
/
$
$
y $ / y $ /
dx
dy
/ ,

%6.'8$
ste resultado debe simplificarse para el caso especial de la condicin de frontera en /,
dada por la ec. %6.'#$.
0. Identiddes pr ls #un!iones 'essel
'3
Matemticas Aplicadas J.M.Ponce
Las cantidades de este tipo de relaciones es sorprendentemente enorme. 2u uso principal es
en la evaluacin de derivadas e integrales 0ue involucra funciones Bessel %Levedev, '86*$.
( )
( )
( )
( )
( )
( ) $ % $ %
$ % $ %
$ % $ %
$ % $ %
,
$ % $ %
$ % $ %
'
'
'
'
'
'
t . t t . t
dt
d
t . t t . t
dt
d
t , t t , t
dt
d
t , t t , t
dt
d
+ ' y #ara $23-das son 4stas
t y t t y t
dt
d
t y t t y t
dt
d
$
$
$
$
$
$
$
$
$
$
$
$
$
$
$
$
$ $ $
$
$
$
$
$
$
$
$
+

tambin para
$ $ $
+ ' y ,
estn
$ % $ %
*
$ %
$ % $ % $ % $ %
$ %
' '
' '
t y t y
t
$
t y
t $y t ty y ty t $y
dt
t dy
t
$ $ $
$ $ $ $
$
+
+


+on las frmulas anteriores casi cual0uier integral de la forma

dt t ' t
n
%
$ %
se puede integrar por partes ) reducir.
PPPPPPPPPPPPPPPPP
JMPLR
PPPPPPPPPPPPPPPPP
1. Polinomios de Le$endre
sta ve; consideraremos nuevamente el problema de conduccin de calor en una esfera. 2in
embargo e!istir dependencia angular. Par esto la temperatura adimensional est dada por
$ , , % u u
%8.'$
vlida en
* # , # , # < < <
n estado estacionario la temperatura es la solucin de la ecuacin siguiente
#
' ' '
*
*
* * *
*
*
*

+
,
_

,
_

u
sen
u
sen
u
sen
u
u
%8.*$
Las soluciones dadas por la ec. %8.'$ son conocidas como (armnicos esfricos. Para
encontrarlos supondremos la separacin
$ , % $ % ! " u
%8./$
2ubstitu)endo esta ecuacin en la ec. %8.*$ se puede obtener

se#ara*-5n
de
te *ons
n n
!
! sen
!
sen
! sen d
d"
" d
" d
"
tan
*
*
* *
*
*
$ ' %
' ' ' ' ' * '
+

,
_

,
_

%8.3$
9o es difcil de este resultado obtener las siguientes ecuaciones diferenciales
'4
Matemticas Aplicadas J.M.Ponce
# $ ' % *
*
*
*
+ + " n n
d
d"
d
" d

%8.4$
)
# $ ' %
' cos
* * *
*
+ +

! n n
!
sen
!
sen
!

%8.5$
Las soluciones
$ , % !
de esta ecuacin se denominan (armnicos superficiales.
Procedemos a encontrar la solucin de la ec. %8.4$. sta se conoce como la ec.
e0uidimensional o de uler. 2e propone

$ % " %8.6$
As 0ue
'
&

" )
*
$ ' % & &



" %8.7$
La substitucin de las ecs. %8.6$ ) %8.7$ en %8.4$ da
# $ ' % * $ ' % + +

n n

# J ' $K % + + n n
Por lo tanto
$ ' %
$ %
+
+
n n
B A " %8.8$
A(ora se buscar la solucin de %8.5$, para ello se propone la separacin
$ % $ % $ , % !
%8.'#$
Ae la substitucin de la ec. %8.'#$ en la %8.5$ se obtiene
*
*
*
*
*
*
'
$ ' %
cos ' '
%
d
d
n n
d
d
sen d
d
sen

'

+ +

%8.''$
Ae esta se pueden obtener sin ma)or complicacin las ecuaciones diferenciales siguientes
[ ] # $ ' % cos
* *
*
*
*
+ +

% sen n n
d
d
sen
d
d
sen

%8.'*$
)
#
*
*
*
+

%
d
d

%8.'/$
La solucin de la ec. %8.'/$ )a la conocemos ) es
$ cos% $ % % 6 % Csen +
%8.'3$
2in embargo la solucin de %8.'*$ no la (emos visto aFn. Antes de intentar la solucin por
el mtodo de "robenius se reali;ar el siguiente cambio de variable
cos x %8.'4$
dx
d
sen
d
dx
dx
d
d
d

%8.'5$
*
*
*
*
*
*
*
cos cos
dx
d
sen
dx
d
dx
d
d
dx
sen
dx
d
dx
d
sen
d
d
d
d
+

,
_

%8.'6$
La substitucin de las ecuaciones %8.'4$ a %8.'6$ en la ec. %8.'*$ nos lleva a
# J $ ' $% ' % K $ ' % * $ ' $% ' %
* * *
*
*
* *
+ +

% x n n
dx
d
x x
dx
d
x x

'5
Matemticas Aplicadas J.M.Ponce
# J
'
$ ' % K * $ ' %
*
*
*
*
*

+ +

x
%
n n
dx
d
x
dx
d
x %8.'7$
sta es la ec. asociada de Legendre. +uando %,#, la ecuacin diferencial se conoce como
la ecuacin de Legendre. Rbsrvese 0ue como < < # , entonces B'SxSD'. sta ecuacin
tiene puntos singulares en ' t x . 2in embargo, x,# es un punto ordinario.
?sando el mtodo de "robenius se buscarn las soluciones de la ec. %8.'7$ para el caso %,#
) usando
$ %x y
laec. %8.'7$ toma la forma
# $ ' % * $ ' %
*
*
*
+ + y n n
dx
dy
x
dx
y d
x %8.'8$
2e propone la solucin de la forma

# 7
7
7
x a y
%8.*#$
Ae la cual podemos obtener la primera ) segunda derivadas

#
'
&
7
7
7
7x a y
%8.*'$

#
*
$ ' % & &
7
7
7
x 7 7 a y
%8.**$
2ubstitu)endo las ecs. %8.*#$ a %8.**$ en la %8.'8$ se obtiene
[ ] # $ ' % * $ ' % $ ' %
# #
*
+ +

7
7 7 7
7
7
7
7
x n n 7x x 7 7 a x 7 7 a
A(ora rempla;ando 7=#D* en el primer trmino
[ ] # $ ' % * $ ' % $ * $% * %
# *
*
+ + + +

+
7
7
7
#
#
#
x n n 7 7 7 a x # # a

[ ] # $ ' % * $ ' % $ * $% ' %

# #
*
+ + + +

+
7
7
7
7
7
7
x n n 7 7 7 a x 7 7 a
Ae esta se puede obtener la siguiente frmula de recurrencia
7 7
a
7 7
n n 7 7
a
$ * $% ' %
$ ' % $ ' %
*
+ +
+ +

+ , para
# 7
La cual se puede escribir como
7 7
a
7 7
7 n 7 n
a
$ * $% ' %
$ ' $% %
*
+ +
+ +

+ , para
# 7
Los primeros valores de ella son
Para 7,#
# *
*
$ ' %
a
n n
a
+

Para 7,'
' /
/ *
$ * $% ' %
a
n n
a

+

Para 7,*
* 3
3 /
$ / $% * %
a
n n
a

+

Para 7,/

/ 4
4 3
$ 3 $% / %
a
n n
a

+

'6
Matemticas Aplicadas J.M.Ponce
Por lo tanto la solucin dada por la ec. %8.*#$ es

'

+
+ +
+
+
+

'

+
+ +
+
+

4 /
'
3 *
#
. 4
$ 3 $% * $% / $% ' %
. /
$ * $% ' %
. 3
$ / $% ' $% * %
. *
$ ' %
' $ %
x
n n n n
x
n n
x a
x
n n n n
x
n n
a x y
%8.*3$
Mue se puede escribir como
$ % $ % $ %
' ' # #
x $ a x u a x y +
%8.*4$
n donde se (a usado la siguiente definicin

'

-n-ta ser-e una es x $

f-n-to #o3-no%-o un es x u
#os-t-$o #ar n
inf $ %
$ %
'
#

'

-n-ta ser-e una es x u

f-n-to #o3-no%-o un es x $
#os-t-$o non n
inf $ %
$ %
#
'
R sea 0ue solo cuando n,entero
$ %x
es finita en ' t x . Las soluciones
$ %x
de la
ec. %8.'8$ se determinan los polinomios de Legendre
$ % $ % x P x
n

%8.*5$
stos polinomios estn relacionados por la frmula de Oodrgue;
n
n
n
n
n
x
dx
d
n
x P $ ' %
. *
'
$ %
*
%8.*6$
Los primeros cuatro trminos son
( )
( ) x x x P
x x P
x x P
x P
/ 4
*
'
$ %
' /
*
'
$ %
$ %
' $ %
/
/
*
*
'
#

stos son mostrados grficamente en la siguiente figura

"igura 6. Polinomios de Legendre P0(x), P1(x), P2(x) ) P8(x).
'7
Matemticas Aplicadas J.M.Ponce
9tese 0ue puesto 0ue cos x
( )
( )

cos / cos 4
*
'
$ %cos
' cos /
*
'
$ %cos
cos $ %cos
' $ %cos
/
/
*
*
'
#

P
P
P
P
1*. Orto$onlidd de los polinomios de Le$endre
Ae la ecuacin %8.'8$ se obtiene
# $ ' % $ ' %
*
+ +
,
_

y n n
dx
dy
x
dx
d
%'#.'$
+omparando esta con la ecuacin diferencial del problema de 2turmBLiuville se conclu)e
# $ % , ' $ % , ' $ % , $ ' %
*
+ x 0 x 1 x x # n n
Ae tal manera 0ue
% n #ara dx x P x P
% n

# $ % $ %
'
'
%'#.*$
2e puede demostrar el siguiente resultado mu) Ftil en la evaluacin de coeficientes de
e!pansin en series de polinomios de Legendre
[ ]
' *
*
$ %
'
'
*
+

n
dx x P
n
%'#.*$
11. L e!u!i"n so!id de Le$endre
Anteriormente se encontr 0ue la ecuacin asociada de Legendre es
#
'
$ ' % * $ ' %
*
*
*
*
*

'

+ +

x
%
n n
dx
d
x
dx
d
x
%''.'$
Las soluciones de esta ecuacin son los polinomios asociados de Legendre definidos en
trminos de los polinomios de Legendre Pn(x) por
%
n
%
% %
n
%
n
dx
x P d
x x P x
$ %
$ ' % $ % $ %
* E *
, para n % # %''.*$
R tambin por la frmula de Oodrgue;
( )
*
*
* E *
'
. *
$ ' %
$ %

+
+
x
dx
d
n
x
x P
% n
% n
n
%
%
n
%''./$
Para determinar si los polinomios de Legendre son ortogonales o no se escribe la ec. %''.'$
en una forma similar a la ecuacin diferencial del problema de 2turmBLiouville
#
'
$ ' % $ ' %
*
*
*

,
_

+ +
,
_

x
%
n n
dx
d
x
dx
d
( ) # $ % $ % $ % + +
,
_

y x 1 x 0
dx
dy
x r
dx
d

9tese 0ue se puede seleccionar

'8
Matemticas Aplicadas J.M.Ponce
$ ' % ,
'
$ %
*
*
+

n n
x
%
x 0 %''.3$
de tal manera 0ue
' $ % x 1
%''.4$
Por lo tanto la condicin de ortogonalidad es
k n #ara dx x P x P
%
k
%
n

+
, # $ % $ %
'
'
%''.5$
-ambin se puede encontrar
[ ]
$. $% ' * %
$. % *
$ %
'
'
*
% n n
% n
dx x P
%
n
+
+

%''.6$
ste resultado es independiente de las condiciones de frontera. 9tese 0ue en contraste con
lo seleccionado mostrado en la ec. %''.3$ se puede a(ora seleccionar
*
$, ' % % n n 0 + %''.7$
) en esta ocasin
*
*
'
$ %
x
%
x 1

%''.8$
esto (ace 0ue la condicin de ortogonalidad sea
k n #ara dx
x
x P x P
k
n
%
n

, #
'
$ % $ % '
'
*
%''.'#$
N adems se puede demostrar
[ ]
$. %
$. %
#
'
$ % '
'
*
*
% n %
% n
dx
x
x P
%
n

%''.''$
ste resultado es tambin independiente de las condiciones de frontera.
Algunos e@emplos de los polinomios de Legendre asociados son
sen x x P
* E ' * '
'
$ ' % $ % %''.'*a$
sen x x x P cos / $ ' % / $ %
* E ' * '
*
%''.'*b$

* * *
*
/ $ ' % / $ % sen x x P %''.'*c$
PPPPPPPP
@emplo
PPPPPPPP
*#