Escolar Documentos
Profissional Documentos
Cultura Documentos
Ecuacin diferencial de Bessel, funciones de Bessel Jn(X), Yn(X) y funciones modificadas de Bessel In(X), Kn(X)
1. Introduccin
La ecuacin diferencial de Bessel tiene la siguiente forma, [1] d R dr
2 2
1dR +rdr
k2
r R=0
(1)
R(r) sea un valuado requiere que n sea un entero. Esta ecuacin es una ecuacin diferencial ordinaria con coeficientes variables [2] [3].
1 dR
n2
2
dx (2) +x d x 1 x R = 0 La ecuacin 2 tiene dos soluciones que son linealmente independientes, Jn(x) y
Yn(x), que son, respectivamente, las funciones de Bessel de primera y segunda especie (tipo o clase), donde n y k son reales y representa el orden. Las funciones de Bessel son parte de un conjunto de funciones denominadas especiales. [1]
Otras dos soluciones linealmente independientes de la ecuacin 1, cuando k es imaginario, son las funciones In(x) y Kn(x), estas son las funciones hiperblicas de Bessel de primera y segunda especie de orden n.
Existen funciones de Bessel de tercera especie, que tambin se conocen como funciones de Hankel. Estas, estn dadas por,
Hn
(1)
= Jn(x) + i Yn(x)
(3)
Hn
(2)
= Jn(x) i Yn(x).
(4)
=0
R(x) = x
aj x
(5)
Utilizando la ecuacin 5 como solucin, calculamos su primera y segunda derivadas, Ry R, y las sustituimos en la ecuacin 2. Aglutinando el resultado en torno a los valores de x obtenemos un conjunto de coeficientes, que se muestran en la ecuacin 6
jX
aj 2 = aj [(m + j + n)(m + j n)] La ecuacin 6 es una relacin de recurrencia que relaciona los coeficientes, que aparecen en forma alternada, de la expansin de la serie. Si hacemos j = 0, obtenemos, de la ecuacin 7,
(6)
(7)
(8)
De donde concluimos que, si a0 6= 0 (lo cual no ocurre si a2, a4, ..., a2 j son diferentes de cero),
m = n.
(9)
Si, en la expresin de la serie, ecuacin 5, hacemos que m = 0, ya que n 6= 0, en la ecuacin 6, debemos concluir que a0, ..., a2 j son todas iguales a cero.
(10)
. (11) R(x) = n! 2 1 n + 1 2 + (n + 1)(n + 2) 2! 2 La ecuacin 11 se convierte as en la funcin de Bessel dada en la ecuacin 12,
(1)
Jn(x) =
x n+2j
2
(12)
j=0
j(n + j)!
Desafortunadamente, para valores enteros de n una segunda solucin, lineal-mente independiente, a la ecuacin de Bessel no se obtiene mediante Jn(x); ya que, Jn(x) = (1) Jn(x). La segunda solucin independiente se debe de en-contrar en forma separada proponiendo otra serie de potencia, que da lugar a la funcin de Bessel de segunda especie Yn(x), tambien llamada funcin de Weber o de Neumann Nn(x) [4] y que se define como,
n
Yn(x) =
(13)
donde el valor lmite de la ecuacin 13 es tomado si n es cero o un entero. El primer conjunto de soluciones independientes, esta formado por las funciones
J0(x), Y0(x). Las funciones de Bessel J0(x) y J1(x) se muestran en la figura 1, mientras que las funciones de Bessel Y0(x) y Y1(x) se muestran en la figura 2.
R(x) =
j=0
X
2
n+2j
(14)
j! (n + j + 1)
X
En este caso las funciones de Bessel Jn, Jn, donde n no es entero, nos da soluciones linealmente independientes. Veamos el caso cuando n = + 3 aparecen los exponentes 3 , 3 , 3, 3,
1 5 11 1 7 13 1 3 , ...,; mientras que cuando n = 3 aparecen los exponentes 1
componentes real e imaginaria. As, In(x) se puede escribir, a partir de la ecuacin 11, utilizando valores enteros o cero para n; esto se muestra en la ecuacin 15.
In(x) =
Jn(i x)
i
n
(15)
2.3. Caso n = 0
Para n = 0, la ecuacin 11 se expresa como, I0(x) = 1+ x
2
2
+
2 1
x
2! 2
4
+
(16)
De la misma forma se determina la funcin Kn(x), que se expresa mediante la ecuacin 17. Trazos de las funcin In(x) y Kn(x) se muestran en la figura 4. i n (1) 2 i Hn (i x).
Kn(x) =
(17)
La funcin Jn(x i i) se separa en su parte real e imaginaria, como se muestra en la ecuacin 18. Fig. 4: Funciones de Bessel I0(x), K0(x), I1(x) y K1(x).
(bern(x) + i bein(x)) = e
i n
In x e .
4
(18)
3. Funciones hiperblicas
Las funciones hiperblicas de segunda especie Kn(x), se pueden expresar mediante la ecuacin 19.
i
i n 4 K . (kern(x) + i kein(x)) = e (19) xe 2 n Una ecuacin diferencial, la cual aparece con frecuencia en la solucin radi-
2 dR +r
dr
l(l + 1)
+ k2
R= 0
1 2
2
(20)
d
dr
2
1 d +
r dr
(l +
+ k2
= 0
(21)
Ahora, sustituyendo x = kr en la ecuacin 21, obtenemos la ecuacin diferencial de Bessel de orden semientero, como se muestra en la ecuacin 22. d
dx
2
1 d
(l +
1 2
2
tiene dos soluciones linealmente independientes, por lo tanto su solucin general esta dada por la ecuacin 23.
(23)
jn(x) =
r r
2x Jn+ 21
(x)
yn(x) = 2x Yn+ 21 (x) Estas expresiones dan lugar a las ecuaciones 25. j0(x) = y0(x) =
sin x
sin x
x
cos x
x
cos x
j1(x) =
x
sin x
cos x
y1(x) =
Las funciones esfricas de Hankel o funciones esfricas de Bessel de tercer especie se muestran en la ecuacin 26. Los pares de funciones jn(x), yn(x) son soluciones linealmente independientes para cada n. h h
(1) (2) n(x) n(x)
(26)
Para valores semi enteros de n se tienen tambien soluciones linealmente inde-pendientes, jn(x) y jn(x). Ver ecuacin 27.
(1)
(27)
yn (x) = ( 1) jn(x)
5. Propiedades
Las funciones de Bessel tienen ciertas similaridades con las funciones trigonometri-cas. As podemos establecer similitudes entre la funcin cos x y J0(x) y la funcin sin x con J1(x); la primer semejanza se da en que tienen muchos ceros (o races) y que la derivada de una de ellas conduce a la otra, por ejemplo dx sin x =
d
cos x. En el siguiente conjunto de ecuaciones se muestran algunas de las propiedades. 2n Jn1(x) + Jn+1(x) = x Jn(x)
d
(28)
Jn+1(x) = x Jn(x) dx Jn(x) Como J1(x) = J1(x), de este conjunto 28 se obtiene la ecuacin 29. d (29)
Una variedad de propiedades se puede obtener de relaciones como las mostradas. Una relacin integral importante se obtiene mediante la tercera ecuacin del
dx
J (x) = J (x).
0 1
conjunto de ecuaciones 28, donde se puede observar que el lado derecho es la derviada exacta del lado izquierdo, esto conduce a la ecuacin 30. d x Jn1(x) = nx
n n1
Jn(x) + x
dx Jn(x)
(30)
Z x Jn1(x)dx = x Jn(x).
n n
(31)
Las propiedades relacionadas con la derivada de las funciones de Bessel se muestran en la ecuaciones 32 a 51. d 1 (32)
(33)
(34)
3
J1+n(ax ) J1+n(ax )
(35)
1+b 1
2
J1+n(ax ) J1+n(ax )
(36) (37)
(Y1+n(x) Y1+n(x))
1 (38)
(39)
(40)
d
b
1
1+b
dx Yn(ax ) = 2 abx d
Y1+n(ax ) Y1+n(ax )
(41) (42)
(43)
dx
d
(44)
dx In(ax ) =2
1
ax
I1+n(ax ) + I1+n(ax )
(45)
dx In(ax ) = 2 abx
d 1
1+b
I1+n(ax ) + I1+n(ax )
(46) (47)
dx Kn(x) = 2 d 1
(K1+n(x) K1+n(x))
(48)
(49)
dx Kn(ax ) = 2 ax
K1+n(ax ) K1+n(ax )
(50)
d
b
1
1+b b b
dx Kn(ax ) = 2 abx
K1+n(ax ) K1+n(ax )
(51)
Algunas propiedades relacionadas con la integracin de las funciones de Bessel se muestran en las ecuaciones 52 a 60
xJ0(x)dx = xJ1(x)
(52)
Z
J0(x)dx
(53)
Z x J0(x)dx = x J1(x)+(m1)x
m1
J0(x)(m1)
Z x
m2
J0(x)dx (54)
Z J1(x)dx = J0(x)
(55)
Z xJ1(x)dx = xJ0(x) +
Z
J0(x)dx
(56)
Z x J1(x)dx = x J0(x) + m
m1
J0(x)dx
(57)
Z x Jn1(x)dx = x Jn(x)
(58)
Z x Jn+1(x)dx = x Jn(x)
n n
(59)
(60)
Referencias
[1] Ayant, Y. y Borg, M., Funciones Especiales. Editorial Alhambra (1974). [2] Vega-Carrillo, H.R., Fenmenos Fsicos, Modelos Matemticos y Ecuaciones Diferenciales, Rev. Mex. Fs 34(1), (1988): 98106. [3] Vega-Carrillo, H.R., Las Ecuaciones Diferenciales. Educ. Matem. 1(2), (1989): 1827. [4] Croxton, C., Introductory Eigenphysics: An approach to the Theor [5] y of Fields, John Wiley & Sons (1974