5.

3 Funciones Especiales
Ecuacin de Bessel de orden v
(1)
donde v > 0, y x = 0 es un punto singular
regular de (1). Las soluciones de (1) se llaman
funciones de Bessel.
Lengenders Equation de order n
(2)
donde n es un entero no negativo, y x = 0 es
un punto ordinario de (2). Las soluciones de (2)
se llaman funciones de Legendre.
0 ) (
2 2 2
= +
'
+
' '
y v x y x y x
0 ) 1 ( 2 ) 1 (
2
= + +
'

' '
y n n y x y x
La Solucin de la Ecuacin de Bessel
Puesto que x = 0 es un punto singular regular,
sabemos que existe al menos una solucin de
la forma . Entonces de (1),






(3)

=
+
=
0 n
r n
n
x c y

=
+

=
+

=
+

=
+ +

=
+

=
+
+ + + =
+ + + + + + + =
+ + + + + =
+
'
+
' '
0
2
1
2 2 2 2
0
0
2 2
1
2 2
0
0 0
2 2
0 0
2 2 2
] ) [( ) (
] ) ( ) 1 )( [( ) (
) ( ) 1 )( (
) (
n
n
n
r
n
n
n
r r
n
n
n
r n
n
n
r r
n
r n
n
n
r n
n
n
r n
n
n
r n
n
x c x x v r n c x x v r c
x c x x v r n r n r n c x x v r r r c
x c v x c x r n c x r n r n c
y v x y x y x
De (3) tenemos la ecuacin indicial r
2
v
2
= 0, r
1
= v,
r
2
= v. Cuando r
1
= v, tenemos
(1 + 2v)c
1
= 0
(k + 2)(k + 2+ 2v)c
k+2
+ c
k
= 0

(4)

La eleccin de c
1
= 0 implica c
3
= c
5
= c
7
= = 0,
as que para k = 0, 2, 4, ., dejando que sea
k + 2 = 2n, n = 1, 2, 3, , tenemos
(5)
, 2 , 1 , 0 ,
) 2 2 )( 2 (
2
=
+ + +

=
+
k
v k k
c
c
k
k
) ( 2
2
2 2
2
v n n
c
c
n
n
+
=

As








(6)

, 3 , 2 , 1 ,
) ( ) 2 )( 1 ( ! 2
) 1 (
) 3 )( 2 )( 1 ( 3 2 1 2 ) 3 ( 3 2
) 2 )( 1 ( 2 1 2 ) 2 ( 2 2
) 1 ( 1 2
2
0
2
6
0
2
4
6
4
0
2
2
4
2
0
2
=
+ + +

=
+ + +
=
+
=
+ +
=
+
=
+
=
n
v n v v n
c
c
v v v
c
v
c
c
v v
c
v
c
c
v
c
c
n
n
n



Elegimos c
0
como valor especfico


donde I(1 + v) es la funcin gamma. Vease el
Apndice II. Hay una relacin importante:
I(1 + o) = oI(o)
As que podemos reducir el denominador de (6):
) 1 ( 2
1
0
v
c
v
+ I
=
) 1 ( ) 1 )( 2 ( ) 2 ( ) 2 ( ) 2 1 (
) 1 ( ) 1 ( ) 1 1 (
v v v v v v
v v v
+ I + + = + I + = + + I
+ I + = + + I
De ah que podemos poner (6) como

,... 2 , 1 , 0 ,
) 1 ( ! 2
) 1 (
2
2
=
+ + I

=
+
n
n v n
c
v n
n
n
Funciones de Bessel de Primera Clase
Podemos definir J
v
(x) mediante

(7)

y

(8)

En otras palabras, la solucin general de (1)
en (0, ) es
y = c
1
J
v
(x) + c
2
J
-v
(x), v = entero (9)

Fig 5.3

=
+
|
.
|

\
|
+ + I

=
0
2
2 ) 1 ( !
) 1 (
) (
n
v n
n
v
x
n v n
x J

|
.
|

\
|
+ I

=
0
2
2 ) 1 ( !
) 1 (
) (
n
v n
n
v
x
n v n
x J
Fig 5.3









Ejemplo 1
Considere la ED


Hallamos v = , y la solucin general en (0, )
es
0 ) 1/4 ( ' "
2 2
= + + y x xy y x
) ( ) (
1/2 2 1/2 1
x J c x J c y

+ =
Funciones de Bessel de Segunda Clase
Si v = entero, entonces

(10)

y la funcin J
v
(x) son soluciones linealmente
independientes de (1). Otra solucin de (1) es
y = c
1
J
v
(x) + c
2
Y
v
(x).
Como v m, m un entero, (10) tiene la forma 0/0.
De la regla de LHopital, la funcin

y J
v
(x) soluciones linealmente independientes de
t
t
v
x J x J v
x Y
v v
v
sin
) ( ) ( cos
) (

=
) ( lim ) ( x Y x Y
v
m v
m

=
0 ) ( ' "
2 2 2
= + + y m x xy y x
De ah que para cada valor de v, la solucin
general de (1) es
(11)

Y
v
(x) se llama funcin de Bessel de segunda
clase de orden v. Fig 5.4 ilustra y
0
(x) y y
1
(x).
) ( ) (
2 1
x Y c x J c y
v v
+ =
Fig 5.4









Ejemplo 2
Considere la ED


Hallamos v = 3, y de (11) la solucin general
en (0, ) es


0 ) 9 ( ' "
2 2
= + + y x xy y x
) ( ) (
3 2 3 1
x Y c x J c y + =
EDs Solubles en Trminos de Funciones de Bessel
Sea t = ox, o > 0, en

(12)
entonces por la regla de la cadena,


0 ) (
2 2 2 2
= +
'
+
' '
y v x y x y x o
dt
dy
dx
dt
dt
dy
dx
dy
o = =
2
2
2
2
2
dt
y d
dx
dt
dx
dy
dt
d
dx
y d
o =
|
.
|

\
|
|
.
|

\
|
=
As, (12) pasa a ser





La solucin de la anterior ED es
y = c
1
J
v
(t) + c
2
Y
v
(t)
Sea t = ox, tenemos
y = c
1
J
v
(ox) + c
2
Y
v
(ox) (13)
( )
( ) 0
0
2 2
2
2
2
2 2
2
2
2
2
= + +
= +
|
.
|

\
|
+
|
.
|

\
|
y v t
dt
dy
t
dt
y d
t
y v t
dt
dy t
dt
y d t
o
o
o
o
Otra ecuacin se llama ecuacin de Bessel
modificada de orden v,
(14)

Ahora dejamos que sea t = ix, entonces (14) se
transforma en



Las soluciones son J
v
(ix) y Y
v
(ix). Una solucin de
valores reales, llamada funcin de Bessel modificada
de primera clase de orden v se define como
(15)
0 ) (
2 2 2
= +
'
+
' '
y v x y x y x
0 ) (
2 2
2
2
2
= + + y t
dt
dy
t
dt
y d
t v
) ( ) ( ix J i x I
v
v
v

=
Anlogamente a (10), la funcin de Bessel
modificada de segunda clase de orden v = entero
se define como
(16)

y para cualquier v = n entero
,


Puesto que I
v
y K
v
son linealmente
independientes en (0, ), la solucin general de
(14) es
(17)
vt
t
v v
v
sin
) ( ) (
2
) (
x I x I
x K

=

) ( lim ) ( x K x K
n
n v
v
=
) ( ) (
2 1
x K c x I c y
v v
+ =
Consideramos otra ED importante:

(18)

La solucin general de (18) es

(19)

Aqu no se especifican los detalles.


0 , 0
2 1
2
2 2 2
2 2 2 2
> =
|
|
.
|

\
|

+ +
'

+
' '

p y
x
c p a
x c b y
x
a
y
c
)] ( ) ( [
2 1
c
p
c
p
a
bx Y c bx J c x y + =
Ejemplo 3
Hallar la solucin general de en (0, )
Solucin
Escribiendo la ED como


recurriendo to (18)
1 2a = 3, b
2
c
2
= 9, 2c 2 = 1, a
2
p
2
c
2
= 0
luego a = 1, c = . Adems tomamos b= 6, p = 2.
De (19) la solucin es
0 9 3 = +
'
+
' '
y y y x
0
9 3
= +
'
+
' '
y
x
y
x
y
)] 6 ( ) 6 ( [
2 / 1
2 2
2 / 1
2 1
1
x Y c x J c x y + =

Ejemplo 4
Recordamos el modelo de la Sec. 3.8

Se debe comprobar que tomando


se tiene

0 , 0 > = +
' '

o
o
x ke x m
t
2 /

2
t
e
n
k
s
o
o

=
0
2
2
2
2
= + + x s
ds
dx
s
ds
x d
s
Ejemplo 4 (2)
La solucin de la nueva ecuacin es
x = c
1
J
0
(s) + c
2
Y
0
(s),
Si volvemos a sustituir


obtenemos la solucin.

2 /

2
t
e
n
k
s
o
o

=
|
.
|

\
|
+
|
.
|

\
|
=
2 /
0 2
2 /
0 1
2 2
) (
t t
e
m
k
Y c e
m
k
J c t x
o o
o o
Propiedades
(1)

(2)

(3)


(4)



) ( ) 1 ( ) ( x J x J
m
m
m
=

) ( ) 1 ( ) ( x J x J
m
m
m
=

=
>
=
0 , 1
0 , 0
) 0 (
m
m
J
m
=
+

) ( lim
0
x Y
m
x
Ejemplo 5
Obtener la frmula
Solucin
De la ecuacin (7) se deduce




1
1
1 2
0
2
0
2
0
2
2 ) 1 ( )! 1 (
) 1 (
) (
2 ) 1 ( !
) 1 (
2
2 ) 1 ( !
) 1 (
2 ) 1 ( !
) 2 ( ) 1 (
) (
=

=
+

=
+

=
+

=
+

|
.
|

\
|
+ + I

+ =
|
.
|

\
|
+ + I

+
|
.
|

\
|
+ + I

=
|
.
|

\
|
+ + I
+
=
'
n k
n
v n
n
v
n
v n
n
n
v n
n
n
v n
n
v
x
n v n
x x vJ
x
n v n
n x
n v n
v
x
n v n
v n
x J x
) ( ) ( ) ( '
1
x xJ x vJ x xJ
v v v +
=
Ejemplo 5 (2)
) ( ) (
2 ) 2 ( !
) 1 (
) (
1
0
1 2
x xJ x vJ
x
k v k
x x vJ
v v
k
v k
k
v
+

=
+ +
=
|
.
|

\
|
+ + I

=

El resultado del ejemplo 5 puede escribirse como


que es una ED lineal en J
v
(x). Multiplicando ambos
lados por el factor de integracin x
-v
, se obtiene
(20)

Se puede demostrar que
(21)

Cuando y = 0, se deduce del (14) que
(22)
) ( ) ( ) (
1
x J x J
x
v
x J
v v v +
=
'
) ( )] ( [
1
x J x x J x
dx
d
v
v
v
v
+

=
) ( )] ( [
1
x J x x J x
dx
d
v
v
v
v

=
, ) ( ) (
1 0
x J x J =
'
) ( ) (
1 0
x Y x Y =
'
Funciones de Bessel Esfricas
Cuando el orden v es la mitad de un entero
impar, esto es,
1/2, 3/2, 5/2, ..
La funcin de Bessel de primera clase J
v
(x)
puede expresarse como funcin de Bessel
esfrica :


Como I(1 + o) = oI(o) y I(1/2) = t

,
entonces

=
+
|
.
|

\
|
+ + I

=
0
2 / 1 2
2 / 1
2 ) 2 / 1 1 ( !
) 1 (
) (
n
n
n
x
n n
x J
t
! 2
)! 1 2 (
2
1
1
1 2
n
n
n
n+
+
=
|
.
|

\
|
+ + I
De ah que



y



=
+

=
+
+
+

=
|
.
|

\
|
+

=
0
1 2
0
2 / 1 2
1 2
2 / 1
)! 1 2 (
) 1 ( 2
2
! 2
)! 1 2 (
!
) 1 (
) (
n
n
n
n
n
n
n
x
n x
x
n
n
n
x J
t
t
(24) cos
2
) (
(23) sin
2
) (
2 / 1
2 / 1
x
x
x J
x
x
x J
t
t
=
=

La Solucin de Ecuacin de Legendre

Como x = 0 es un punto ordinario de (2), usamos


Despus de sustituir y simplificar, obtenemos




o en las formas siguientes:

=
=
0 n
n
n
x c y
0 ) 1 )( ( ) 1 )( 2 (
0 6 ) 2 )( 1 (
0 2 ) 1 (
2
3 1
2 0
= + + + + +
= + +
= + +
+ j j
c j n j n c j j
c c n n
c c n n






Usando (25), para al menos |x| < 1, obtenemos


(

(
+
+ + +

+ +
+
+
=

6
4 2
0 1
! 6
) 5 )( 3 )( 1 ( ) 2 )( 4 (
! 4
) 3 )( 1 ( ) 2 (
! 2
) 1 (
1 ) (
x
n n n n n n
x
n n n n
x
n n
c x y
(25) , 4 , 3 , 2 ,
) 1 )( 2 (
) 1 )( (
! 3
) 2 )( 1 (
! 2
) 1 (
2
1 3
0 2
=
+ +
+ +
=
+
=
+
=
+
j c
j j
j n j n
c
c
n n
c
c
n n
c
j j





Observaciones: Si n es un entero par, la
primera serie termina, mientras que y
2
es una
serie infinita.
Si n es un entero impar, la serie y
2
termina
con x
n
.
(26)
! 7
) 6 )( 4 )( 2 )( 1 )( 3 )( 5 (
! 5
) 4 )( 2 )( 1 )( 3 (
! 3
) 2 )( 1 (
) (
7
5 3
1 2
(

(
+
+ + +

+ +
+
+
=
x
n n n n n n
x
n n n n
x
n n
x c x y
Polinomios de Legendre
Los siguientes polinomios de orden n son
polinomios de Legendre:


(27)

) 15 70 63 (
8
1
) ( ), 3 30 35 (
8
1
) (
3 ) 5 (
2
1
) ( ), 1 3 (
2
1
) (
) ( , 1 ) (
3 5
5
2
4
3
3
2
2
1 0
x x x x P x x x P
x x x P x x P
x x P x P
+ = + =
= =
= =
4
Son a su vez soluciones particulares de las EDs.




(28)


Fig 5.5


0 12 2 ) 1 ( : 3
0 6 2 ) 1 ( : 2
0 2 2 ) 1 ( : 1
0 2 ) 1 ( : 0
2
2
2
2
= +
'

' '
=
= +
'

' '
=
= +
'

' '
=
=
'

' '
=
y y x y x n
y y x y x n
y y x y x n
y x y x n
Fig 5.5
Propiedades
(1)

(2)

(3)

(4)

(5)

) ( ) 1 ( ) ( x P x P
n
n
n
=
1 ) 1 ( =
n
P
n
n
P ) 1 ( ) 1 ( =
impar , 0 ) 0 ( n P
n
=
par , 0 ) 0 ( ' n P
n
=
Relacin de Recurrencia
Sin comprobacin, tenemos
(29)
que es vlida para k = 1, 2, 3,
Otra frmula puede generar los polinomios de
Legendre por diferenciacin. La frmula de
Rodrigues para estos polinomios es:

(30)

0 ) ( ) ( ) 1 2 ( ) ( ) 1 (
1 1
= + + +
+
x kP x xP k x P k
k k k
... , 2 , 1 , 0 , ) 1 (
! 2
1
) (
2
= = n x
dx
d
n
x P
n
n
n
n
n