5.

3 Funciones Especiales
Ecuacin de Bessel de orden v
x y xy ( x v ) y 0
2 2 2
(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
(1 x 2 ) y 2 xy n(n 1) y 0 (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.
 La Solucin de la Ecuacin de Bessel

Puesto que x = 0 es un punto singular regular,

sabemos que existe al menos una solucin de
n 0 n
n r
la forma y c x . Entonces de (1),

x 2 y xy ( x 2 v 2 ) y

cn (n r )( n r 1) x n r
cn (n r ) x n r
cn x n r 2
v 2
n
c x n r

n 0 n 0 n 0 n 0

c0 (r r r v ) x x
2 2 r r
cn [(n r )(n r 1) (n r ) v 2
]x xn r
cn x n2
n 1 n 0

c0 (r v ) x x
2 2 r r
cn [(n r ) 2
v ]x x
2 n r
cn x n2 (3)
n 1 n 0
De (3) tenemos la ecuacin indicial r2 v2 = 0, r1 = v,
r2 = v. Cuando r1 = v, tenemos
(1 + 2v)c1 = 0
(k + 2)(k + 2+ 2v)ck+2 + ck = 0
ck
ck 2 , k 0, 1, 2, (4)
(k 2)(k 2 2v)
La eleccin de c1 = 0 implica c3 = c5 = c7 = = 0,
as que para k = 0, 2, 4, ., dejando que sea
k + 2 = 2n, n = 1, 2, 3, , tenemos
c2 n2 (5)
c
2 2 n( n v )
2n
As
c0
c2
221(1 v)
c2 c0
c4 2 4
2 2(2 v) 2 12(1 v)( 2 v)
c4 c0
c6 2 6
2 3(3 v) 2 123(1 v)( 2 v)(3 v)

(1) n c0
c2 n 2n , n 1, 2, 3, (6)
2 n!(1 v)( 2 v) (n v)
Elegimos c0 como valor especfico
1
c0 v
2 (1 v)
donde (1 + v) es la funcin gamma. Vease el
Apndice II. Hay una relacin importante:
(1 + ) = ()
As que podemos reducir el denominador de (6):
(1 v 1) (1 v)(1 v)
(1 v 2) (2 v)(2 v) (2 v)(1 v)(1 v)
De ah que podemos poner (6) como
(1)n
c2 n 2 nv , n 0,1,2,...
2 n!(1 v n)
 Funciones de Bessel de Primera Clase

Podemos definir Jv(x) mediante

2 nv
(1)n
x
J v ( x) (7)
n 0 n! (1 v n) 2

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

Fig 5.3
Fig 5.3
 Ejemplo 1

Considere la ED
x 2 y" xy'( x 2 1/4) y 0

Hallamos v = , y la solucin general en (0, )

es
y c1 J1/2 ( x) c2 J 1/2 ( x)
 Funciones de Bessel de Segunda Clase

Si v entero, entonces
cos v J v ( x) J v ( x)
Yv ( x) (10)
sin v
y la funcin Jv(x) son soluciones linealmente
independientes de (1). Otra solucin de (1) es
y = c1Jv(x) + c2Yv(x).
Como v m, m un entero, (10) tiene la forma 0/0.
De la regla de LHopital, la funcin
Ym ( x) lim Yv ( x)
v m
y Jv(x) soluciones linealmente independientes de
x 2 y" xy'( x 2 m2 ) y 0
De ah que para cada valor de v, la solucin
general de (1) es
y c1J v ( x) c2Yv ( x) (11)

Yv(x) se llama funcin de Bessel de segunda

clase de orden v. Fig 5.4 ilustra y0(x) y y1(x).
Fig 5.4
 Ejemplo 2

Considere la ED
x 2 y" xy'( x 2 9) y 0

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

en (0, ) es
y c1J 3 ( x) c2Y3 ( x)
 EDs Solubles en Trminos de Funciones de Bessel

Sea t = x, > 0, en

x 2 y xy ( 2 x 2 v 2 ) y 0 (12)
entonces por la regla de la cadena,
dy dy dt dy

dx dt dx dt
d 2 y d dy dt d 2
y
2
dx dt dx dx
2
dt 2
 As, (12) pasa a ser

2 2
2 y t dy t 2 v 2 y 0
t d

dt dt
2

2
d y dy 2 2
t 2
2
t t v y 0
dt dt
La solucin de la anterior ED es
y = c1Jv(t) + c2Yv(t)
Sea t = x, tenemos
y = c1Jv(x) + c2Yv(x) (13)
 Otra ecuacin se llama ecuacin de Bessel
modificada de orden v,
x 2 y xy ( x 2 v 2 ) y 0 (14)

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

transforma en
2
d y dy
t 2
2
t (t 2
2
)y 0
dt dt
Las soluciones son Jv(ix) y Yv(ix). Una solucin de
valores reales, llamada funcin de Bessel modificada
de primera clase de orden v se define como
I ( x) i J (ix ) (15)
 Anlogamente a (10), la funcin de Bessel
modificada de segunda clase de orden v entero
se define como
I ( x) I ( x) (16)
K ( x)
2 sin
y para cualquier v = n entero,
K n ( x) lim K ( x)
n
Puesto que Iv y Kv son linealmente
independientes en (0, ), la solucin general de
(14) es
y c1I ( x) c2 K ( x) (17)
 Consideramos otra ED importante:
1 2a 2 2 2 c 2 a 2 p 2c 2
y y b c x 2
y 0, p 0 (18)
x x
La solucin general de (18) es

y x a [c1J p (bxc ) c2Yp (bxc )] (19)

Aqu no se especifican los detalles.
 Ejemplo 3

Hallar la solucin general de xy 3 y 9 y 0 en (0, )

Solucin
Escribiendo la ED como
3 9
y y y 0
x x
recurriendo to (18)
1 2a = 3, b2c2 = 9, 2c 2 = 1, a2 p2c2 = 0
luego a = 1, c = . Adems tomamos b= 6, p = 2.
De (19) la solucin es
y x 1[c1J 2 (6 x1/ 2 ) c2Y2 (6 x1/ 2 )]
 Ejemplo 4

Recordamos el modelo de la Sec. 3.8

t


mx ke x 0, 0
Se debe comprobar que tomando
2 k t / 2
s e
n
se tiene
2
d x dx 2
s 2
2
s s x0
ds ds
 Ejemplo 4 (2)

La solucin de la nueva ecuacin es

x = c1J0(s) + c2Y0(s),
Si volvemos a sustituir
2 k t / 2
s e
n
obtenemos la solucin.
2 k t / 2 2 k t / 2
x(t ) c1J 0 e c2Y0 e
m m
 Propiedades

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

(2) m
J ( x ) ( 1) m
J m ( x)

0 , m 0
(3) J m (0)
1 , m 0

(4) lim x0 Ym ( x)
 Ejemplo 5

Obtener la frmula xJ 'v ( x) vJ v ( x) xJ v1 ( x)

Solucin
De la ecuacin (7) se deduce
2 nv
(1) n (2n v) x
xJ v ( x)
n 0 n! (1 v n) 2
2 nv 2 nv
(1) n
x (1) n x
n
v 2
n 0 n! (1 v n) 2 n 0 n! (1 v n) 2
2 n v 1
(1) n x
vJ v ( x) x
( n 1)! (1 v n ) 2

n 1
k n 1
 Ejemplo 5 (2)

2 k v 1
(1)k
x
vJ v ( x) x
k 0 k!( 2 v k ) 2
vJ v ( x) xJ v1 ( x)
 El resultado del ejemplo 5 puede escribirse como
v
J v ( x) J v ( x) J v1 ( x)
x
que es una ED lineal en Jv(x). Multiplicando ambos
lados por el factor de integracin x-v, se obtiene
d v v (20)
[ x J v ( x)] x J v1 ( x)
dx
Se puede demostrar que
d v (21)
[ x J v ( x)] x J v1 ( x)
v
dx
Cuando y = 0, se deduce del (14) que
J 0 ( x) J1 ( x), Y0( x) Y1 ( x) (22)
 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 Jv(x)
puede expresarse como funcin de Bessel
esfrica :
2 n 1 / 2
(1) n x
J1 / 2 ( x)
n 0 n!(1 1 / 2 n) 2
Como (1 + ) = () y (1/2) = ,
entonces
1 (2n 1)!
1 n 2n1
2 2 n!
De ah que
2 n 1 / 2
(1) n x 2 (1) n 2 n1
J1/ 2 ( x) x
n 0 ( 2n 1)! 2 x n0 (2n 1)!
n!
22 n1 n!
y
2
J1/ 2 ( x) sin x (23)
x
2
J 1/ 2 ( x) cos x (24)
x
 La Solucin de Ecuacin de Legendre

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

y c
n 0 n x n

Despus de sustituir y simplificar, obtenemos

n(n 1)c0 2c2 0
(n 1)( n 2)c1 6c3 0
( j 2)( j 1)c j 2 (n j )( n j 1)c j 0
o en las formas siguientes:
 n(n 1)
c2 c0
2!
(n 1)( n 2)
c3 c1
3!
(n j )( n j 1)
c j 2 c j , j 2, 3, 4, (25)
( j 2)( j 1)
Usando (25), para al menos |x| < 1, obtenemos
n(n 1) 2 (n 2)n(n 1)( n 3) 4
y1 ( x) c0 1 x x
2! 4!
(n 4)( n 2)n(n 1)( n 3)( n 5) 6
x
6!
 (n 1)( n 2) 3 (n 3)( n 1)( n 2)( n 4) 5
y2 ( x) c1 x x x
3! 5!
(n 5)( n 3)( n 1)( n 2)( n 4)( n 6) 7
x (26)
7!

Observaciones: Si n es un entero par, la

primera serie termina, mientras que y2 es una
serie infinita.
Si n es un entero impar, la serie y2 termina
con xn.
 Polinomios de Legendre

Los siguientes polinomios de orden n son

polinomios de Legendre:

P0 ( x) 1, P1 ( x) x
1 2 1 3
P2 ( x) (3 x 1), P3 ( x) (5 x ) 3 x (27)
2 2
1 1
P4 ( x) (35 x 30 x 3), P5 ( x) (63x5 70 x3 15 x)
2
8 8
 Son a su vez soluciones particulares de las EDs.
n 0: (1 x 2 ) y 2 xy 0
n 1: (1 x ) y 2 xy 2 y 0
2

n 2: (1 x 2 ) y 2 xy 6 y 0
(28)
n 3: (1 x ) y 2 xy 12 y 0
2

Fig 5.5
Fig 5.5
 Propiedades

(1) Pn ( x) (1)n Pn ( x)

(2) Pn (1) 1

(3) Pn (1) (1)n

(4) Pn (0) 0, n impar

(5) P'n (0) 0, n par

 Relacin de Recurrencia

Sin comprobacin, tenemos

(k 1) Pk 1 ( x) (2k 1) xPk ( x) kPk 1 ( x) 0 (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:
1 dn 2
Pn ( x) n n
( x 1) n
, n 0, 1, 2, ... (30)
2 n! dx