Professional Documents
Culture Documents
3 Funciones Especiales
Ecuacin de
Bessel
de
orden
v
2
2
2
x y xy ( x v ) y 0
(1)
n r
y
c
x
la forma
. Entonces de (1),
n 0 n
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
2
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
2
n 0
cn [(n r )
n 1
n r
n r
c
x
n
n 0
2
]x x
n
cn x n2
n 0
cn x n2
n 0
(3)
ck 2
ck
,
(k 2)( k 2 2v)
k 0, 1, 2,
(4)
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
2n
2 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
2n
,
2 n!(1 v)( 2 v) (n v)
n 1, 2, 3,
(6)
(1) n
2 nv
, n 0,1,2,...
2
n!(1 v n)
(1)
x
J v ( x)
n 0 n! (1 v n) 2
2 nv
(1)
x
J v ( x )
n 0 n! (1 v n) 2
n
(7)
2 n v
(8)
Fig 5.3
Ejemplo 1
Considere la ED
x 2 y" xy '( x 2 1/4) y 0
cos v J v ( x) J v ( x)
(10)
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
Ym ( x) lim Yv ( x)
v m
y Jv(x) soluciones linealmente independientes de
x 2 y" xy '( x 2 m2 ) y 0
(11)
Fig 5.4
Ejemplo 2
Considere la ED
x 2 y" xy '( x 2 9) y 0
Sea t = x, > 0, en
x 2 y xy ( 2 x 2 v 2 ) y 0
dx dt dx
dt
2
d 2 y d dy dt
d
y
2
2
dx dt dx dx
dt 2
(12)
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)
(14)
(
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)
2 2 2 c 2 a 2 p 2c 2
1 2a
y 0, p 0 (18)
y
y b c x
2
x
x
(19)
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
mx ke x 0, 0
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 ) c1J 0
e
e
c2Y0
Propiedades
(1) J m ( x) (1)m J m ( x)
m
J
(
x
)
1
)
J m ( x)
(2) m
0 , m 0
(3) J m (0)
1 , m 0
(4) limx0 Ym ( x)
Ejemplo 5
Obtener la frmula xJ 'v ( x) vJ v ( x) xJ v1 ( x)
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
n
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
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)
k
2 k v 1
(1) n
x
J1 / 2 ( x)
n 0 n!(1 1 / 2 n) 2
2 n 1 / 2
Como (1 + ) = () y (1/2) = ,
entonces
1
(2n 1)!
1 n 2n1
2
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)
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)
y1 ( x) c0 1
x
x
2!
4!
x
6!
x (26)
7!
Polinomios de Legendre
2
P4 ( x) (35 x 30 x 3), P5 ( x) (63x5 70 x3 15 x)
8
8
Fig 5.5
(28)
Fig 5.5
Propiedades
(1) Pn ( x) (1)n Pn ( x)
(2) Pn (1) 1
(3) Pn (1) (1)n
Relacin de Recurrencia
(29)
(30)