5.

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

nr
una solucin
de
forma
y nla
c
x
0 n
. Entonces de (1),
x 2 y xy ( x 2 v 2 ) y

cn (n r )(n r 1) x

n r

n 0

c0 (r r r v ) x x
2

c0 (r v ) x x

(3)

cn (n r ) x
n 0

cn x

n r 2

cn [(n r )(n r 1) (n r ) v
n 1

v ]x x

n 0

cn [(n r )
n 1

n r

cn x n2
n 0

n r
c
x
n

n 0
2

]x x

cn x n2
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
c(4)
, k 0, 1, 2,
k 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
2 n2
c2 n 2
(5)
2 n( n v )

As

c0
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)

c2

c2 n

(1) n c0
(6)
,
2n
2 n!(1 v)(2 v) (n v)

n 1, 2, 3,

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
v 1podemos
) (1 v)(1 reducir
v)
As
el
denominador
(1 v 2) (2 vde
)(2(6):
v) (2 v)(1 v)(1 v)

De ah que podemos poner (6) como

c2 n

(1) 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

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

cos v J v ( x) J v ( x)
Yv ( x)
sin v

(10)

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) linealmente
lim Yv ( x) independientes de
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

2
d 2 y d dy dt
d
y
2


2
dt dx dx
dx
dt 2

 As, (12) pasa a ser

2

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


2
dt dt

2
d
y dy 2 2
2
t
t t v y 0
2
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,
(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
2
2
2
t

(
t

)y 0
2
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
define
como
Ise
(
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
(17)
y c1I ( x) c2 K ( x)

 Consideramos otra ED importante:

2 2 2 c 2 a 2 p 2c 2
1 2a
y 0, p 0
y (18)
y b c x

2
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
Hallar la solucin generalxde
y 3 y en
9 y(0,
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
J
(
6
x
)

c
Y
(
6
x
)]
De (19) la solucin1 es
2
2 2

Ejemplo 4
Recordamos el modelo de la Sec. 3.8
t

mx ke x 0, 0

Se debe comprobar que tomando

se tiene

2 k t / 2
s
e
n

2
d
x
dx 2
2
s
s s x0
2
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
e
c2Y0

Propiedades
m
J
(
x
)

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

x
)

1
)
J m ( x)
(2) m

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

(1) n (2n v) x
xJ v ( x)

n 0 n! (1 v n) 2

2 nv

(1)
x

n 0 n! (1 v n) 2

2 nv

(1) n x

n 0 n! (1 v n) 2

2 n v 1

(1) n
x

vJ v ( x) x

(
n

1
)!

(
1

n
)
2

1

k n 1

2 nv

Ejemplo 5 (2)

(1)
x

vJ v ( x) x

k 0 k! ( 2 v k ) 2
vJ v ( x) xJ v1 ( x)

2 k v 1

 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

d por
v
v de integracin x-v,
ambos lados
el
factor
[ 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!(1 1 / 2 n) 2
n 0

Como (1 + ) = () y (1/2) = ,
entonces 1
(2n 1)!

1 n 2n1

2
n!

De ah que

(1) n
J1 / 2 ( x )
n 0 ( 2n 1)!
n!
22 n1 n!

x

2

2 n 1 / 2

2 (1) n 2 n1

x n0 (2n 1)!

y
2
J1 / 2 ( x )
sin x
x
2
J 1/ 2 ( x)
cos x
x

(23)
(24)

La Solucin de Ecuacin de Legendre

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

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,
( j 2)( j 1)

(25)

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
1
1
(27)

2
P4 ( x) (35 x 30 x 3), P5 ( x) (63 x5 70 x3 15 x)
8
8

Son a su vez soluciones particulares de las

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

Fig 5.5

Fig 5.5

Propiedades
n
P
(

x
)

1
)
Pn ( x)
(1) n

(2)Pn (1) 1
(3)
(4)
(5)

Pn (1) (1) n

Pn (0) 0, n impar
P'n (0) 0, n par

Relacin de Recurrencia
Sin comprobacin, tenemos
(k(29)
1) Pk 1 ( x) (2k 1) xPk ( x) kPk 1 ( x) 0
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
( x 1) , n 0, 1, 2, ...
n
2 n! dx

(30)