1.5 Soluciones de EDP en coordenadas cilndricas y esfricas.

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)

Donde n es un numero real y positivo, entero o fraccin. La condicin de que

R(r) sea un valuado requiere que n sea un entero. Esta ecuacin es una ecuacin diferencial ordinaria con coeficientes variables [2] [3].

Haciendo un cambio de variable x = kr, la ecuacin 1 toma la forma, d R

2 2

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)

2. Solucin de la Ecuacin diferencial de Bessel 2.1. Caso n entero

La ecuacin 2 tiene un punto singular regular en x = 0, por lo tanto la solucin por el mtodo de series de potencia requiere de proponer una solucin cuya expresin es,

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

a 2 = a0 [(m + n)(m n)]. Como el coeficiente de x

2

(7)

es cero (ya que de otra forma la serie, ecuacin

5, tiende a infinito) en el origen, obtenemos la ecuacin on indicial,

0 = a0 [(m + n)(m n)],

(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.

Haciendo m = +n in la relacin de recurrencia se obtiene,

aj 2 = aj j (2 n + j), Dando como resultado que la solucin es,

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

Jn(x) cos(n) Jn(x)

sin(n)

(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.

Fig. 1: Funciones ordinarias de Bessel, de orden 0 y 1, de primera especie.

Se puede observar que las funciones de segunda especie no estn definidas en el origen y tampoco tienen valores para argumentos negativos; mientras que las funciones de primera especie son finitas en el origen y su rango var a de a+. Estas funciones de Bessel tienen races a intervalos no regulares del argu-

mento. Fig. 2: Funciones ordinarias de Bessel, de orden 0 y 1, de segunda especie.

2.2. Caso n no entero

En el caso de que el orden no sea entero, la solucin de la ecuacin de Bessel se expresa en trminos de la funcin gamma, (x), como se puede ver en la ecuacin 14. (1)
j

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

3 , ...,. Lo que da lugar a dos funciones diferentes y la solucin general de

la ecuacin diferencial de Bessel para valores no enteros de n es R(x) = AJn +

BJn. En la figura 3 se muestran estas dos funciones.

Las funciones hiperblicas de Bessel de primear y segunda especie, In(x), Kn(x), algunas veces denominadas funciones de Kelvin [4], se pueden separar en sus
2 Solucin de la Ecuacin diferencial de Bessel

Fig. 3: Funciones de Bessel, de orden 3 y - 3 .

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-

al de sistemas con simetra esfrica, se muestra en la ecuacin 20. Si hacemos

1

la siguiente transformacin (r) = r ecuacin 21. d R

dr
2

R(r), la ecuacin 20 se convierte en la

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

2 = 0 x (22) + 1 + x dr Del anlisis hecho previamente podemos establecer que la ecuacin 22

tiene dos soluciones linealmente independientes, por lo tanto su solucin general esta dada por la ecuacin 23.

(x) = A Jl+ 21 (x) + B J(l+ 21 )(x)

(23)

4. Funciones esfricas de Bessel

Si se expanden las funciones de Bessel de orden semi entero en la forma de series obtenemos las funciones jn(x) y yn(x), como se muestra en la ecuacin 24, a estas funciones se le conoce como funciones esfricas de Bessel de primera y segunda especie respectivamente.

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)

= jn(x) + i yn(x) = jn(x) i yn(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

Jn1(x) Jn+1(x) = 2 dx Jn(x) n d Jn1(x) = x Jn(x) + dx Jn(x)

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

dx Jn(x) = 2 (J1+n(x) J1+n(x)) d 1

dx Jn(ax) = 2 a (J1+n(ax) J1+n(ax)) d dx Jn(ax ) = ax J1+n(ax ) J1+n(ax ) d 3 dx Jn(ax ) = 2 ax d 1

b d 3 2 2 2 2

(33)

(34)
3

J1+n(ax ) J1+n(ax )

(35)

dx Jn(ax ) = 2 abx dx Yn(x) = d

1+b 1
2

J1+n(ax ) J1+n(ax )

(36) (37)

(Y1+n(x) Y1+n(x))

1 (38)

dx Yn(ax) = 2 a (Y1+n(ax) Y1+n(ax)) d dx Yn(ax ) = ax Y1+n(ax ) Y1+n(ax )

d 3 2 2 2

(39)

dx Yn(ax ) = 2 ax Y1+n(ax ) Y1+n(ax )

(40)

d
b

1
1+b

dx Yn(ax ) = 2 abx d

Y1+n(ax ) Y1+n(ax )

(41) (42)

dx In(x) = 2 (I1+n(x) + I1+n(x)) d 1

dx In(ax) = 2 a (I1+n(ax) + I1+n(ax)) d

2 2 2

(43)

dx
d

In(ax ) = ax I1+n(ax ) + I1+n(ax )

3

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

dx Kn(ax) = 2 a (K1+n(ax) K1+n(ax)) d dx Kn(ax ) = ax K1+n(ax ) K1+n(ax )

3 2 2 2

(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 x J0(x)dx = x J1(x) + xJ0(x) +

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)

Z Z m m1 x Jn(x)dx = x Jn1(x) + (m + n 1) x Jn1(x)dx

m

(60)

Otra propiedad importante de las ecuaciones de Bessel es la ortogonalidad,

esta caracterstica permite expresar los coeficientes en una expansin on de Fourier.

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