5.

3 Funciones Especiales
Ecuacin de Bessel de orden v
(1) x y xy ( x v ) y 0
2 2 2

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) (1 x 2 ) y 2 xy n(n 1) y 0
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
y nla
nr
una solucin de c forma
x
0 n
. 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

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

2 2
c0 (r v ) x x
(3)
r r
cn [(n r ) 2 2 n
v ]x x r
cn x n2
n 1 n 0
De (3) tenemos la ecuacin indicial r 2 v2 =
0, r1 = v, r2 = v. Cuando r1 = v, tenemos
(1 + 2v)c1 = 0
(k + 2)(k + 2+ 2v)ck+2 + ck = 0
ck
k 2
c(4) , k 0, 1, 2,
(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 c= 1, 2, 3, , tenemos
(5) c2 n 2 2 n2
2 n( n v )
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 (6)
2n
, n 1, 2, 3,
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 + ) = ()
(1que
As v 1podemos
) (1 v)(1 reducir
v) el
denominador
(1 v 2) (2 vde
)(2(6):
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

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

y
n 2 n v
(1) x
(8) J v ( x)
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

(10) cos v J v ( x) J v ( x)
Yv ( x)
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

lim Yv ( x) independientes de
Ym ( x) linealmente
y Jv(x) soluciones
v m

x 2 y" xy ' ( x 2 m 2 ) y 0
De ah que para cada valor de v, la
solucin general de (1) es
y c1 J 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 dy
pordy
ladtregla
dy de la cadena,

dx dt dx dt
d 2 y d dy dt d 2
y

2
2

dx dt dx dx dt 2
 As, (12) pasa a ser
2 2

t d

2 y t dy t 2 v 2 y 0
dt dt
2

2
t 2 d
dt 2

y dy 2 2

t t v y 0
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,
(14) x 2 y xy ( x 2 v 2 ) y 0

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
(15) I ( x) i J (ix )
 Anlogamente a (10), la funcin de
Bessel modificada de segunda clase
de orden v entero Ise ( define
x ) I ( x como
)
(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
(17) y c1I ( x) c2 K ( x)
 Consideramos otra ED importante:
1 2a 2 2 2 c 2 a 2 p 2c 2
y (18) y b c x 2
y 0, p 0
x x
La solucin general de (18) es
(19) y x a [c1J p (bx c ) c2Yp (bx c )]
Aqu no se especifican los detalles.
 Ejemplo 3

y 3 y en
Hallar la solucin generalxde 0)
9 y(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.
1 1/ 2 1/ 2
y x [ c
De (19) la solucin1 esJ 2 ( 6 x ) c Y
2 2 ( 6 x )]
 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
2 d x dx 2
s 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 ) c1 J 0 e c2Y0 e
m m
 Propiedades

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

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

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

(4) lim x0 Ym ( x)
 Ejemplo 5

xJ 'v ( x) vJ v ( x) xJ v1 ( x)
Obtener la frmula
Solucin
De la ecuacin (7) se deduce
2 nv
(1) n (2n v) x
xJ v ( x)
n 0 n! (1 v n) 2
n 2 nv n 2 nv
(1) x (1) n x
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 ( n 1)! (1 v n ) 2

k n 1
 Ejemplo 5 (2)

k 2 k v 1
(1) 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 J ( x) v J ( x) J ( x)
v v v 1
x
que es una ED lineal en Jv(x). Multiplicando
ambos lados d por v el factorv de integracin x-v,
[ x J v ( x)] x J v1 ( x)
se obtiene dx
(20)
d v v
[ x J v ( x)] x J v1 ( x)
Se puededx demostrar que
(21)
J 0 ( x) J1 ( x), Y0( x) Y1 ( x )
Cuando y = 0, se deduce del (14) que
(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
:n 2 n 1 / 2
(1) 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 n
y n 0 cn x

Despus de sustituirn(yn simplificar,

1)c0 2c2 obtenemos
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
2 2
(27) 1 1
P4 ( x) (35 x 30 x 3), P5 ( x) (63 x5 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
n
P
(1) n ( x ) ( 1) Pn ( x)

(2)Pn (1) 1
Pn (1) (1) n
(3)
Pn (0) 0, n impar
(4)
P'n (0) 0, n par
(5)
 Relacin de Recurrencia

Sin comprobacin, tenemos

1) Pk 1 ( x) (2k 1) xPk ( x) kPk 1 ( x) 0
(k(29)
que es vlida para k = 1, 2, 3,
Otra frmula puede generar los
polinomios de Legendre por
diferenciacin. La frmula de
Rodrigues para n estos polinomios es:
1 d 2 n
Pn ( x) n n
( x 1) , n 0, 1, 2, ...
2 n! dx
(30)