Está en la página 1de 19

Funciones de Bessel

Dr. Hector´

Rene´ Vega-Carrillo

2

´

Indice

1.

Introduccion´

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

3

2.

2.1.

2.2.

2.3.

3.

Solucion´

Caso n entero

Caso n no entero

Caso n = 0

Funciones hiperbolicas´

de la Ecuacion´

.

.

.

.

.

.

.

.

.

.

.

.

.

.

diferencial de Bessel . . . .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

5

5

8

9

11

4.

Funciones esfericas´

de Bessel .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

12

5.

Propiedades

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

14

1 Introduccion´

3

1.

Introduccion´

La ecuacion´

diferencial de Bessel tiene la siguiente forma, [1]

d 2 R

d

r 2

donde n es un numero´

+

1

d

R

r

d

r

k 2

n r 2 2 R

=

0

real y positivo, entero o fraccion.´

 

(1)

La condicion´

de que

R(r) sea uni valuado requiere que n sea un entero. Esta ecuacion´

diferencial ordinaria con coeficientes variables [2] [3].

es una ecuacion´

Haciendo un cambio de variable x = kr, la ecuacion´

1 toma la forma,

La ecuacion´

d 2 R

d

x 2

+

1

d

R

x

d

x

1

n 2 R

x

2

=

0

(2)

2 tiene dos soluciones que son linealmente independientes, J n (x)

y Y n (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 ecuacion´ 1, cuando k es

imaginario, son las funciones I n (x) y K n (x), estas´ son las funciones hiperbolicas´

de Bessel de primera y segunda especie de orden n.

se conocen como

funciones de Hankel. Estas, estan´

Existen funciones de Bessel de tercera especie, que tambien´

´

dadas por,

(1)

H

n

=

J n (x) + i Y n (x)

(3)

1 Introduccion´

4

(2)

H

n

=

J n (x) i Y n (x).

(4)

2 Solucion´

de la Ecuacion´

diferencial de Bessel

5

2.

Solucion´

de la Ecuacion´

diferencial de Bessel

2.1.

Caso n entero

La ecuacion´

2 tiene un punto singular regular en x = 0, por lo tanto la solu-

cuya

cion´

expresion´

por el metodo´

es,

de series de potencia requiere de proponer una solucion´

R(x) =

x m

j = 0

a j x j

(5)

Utilizando la ecuacion´ 5 como solucion,´ calculamos su primera y segunda derivadas, R’y R”, y las sustituimos en la ecuacion´ 2. Aglutinando el resultado en torno a los valores de x obtenemos un conjunto de coeficientes, que se muestran en la ecuacion´ 6

a j 2

=

a j [(m

+

j

+ n)(m

+

j

n)]

(6)

La ecuacion´ 6 es una relacion´ de recurrencia que relaciona los coeficientes,

que aparecen en forma alternada, de la expansion´

de la serie.

Si hacemos j = 0, obtenemos, de la ecuacion´ 7,

a 2

=

a 0 [(m

+ n)(m

n)].

(7)

Como el coeficiente de x 2 es cero (ya que de otra forma la serie, ecuacion´

tiende a infinito) en el origen, obtenemos la ecuacion´

indicial,

5,

0

=

a 0 [(m

+ n)(m

n)],

(8)

2 Solucion´

de la Ecuacion´

diferencial de Bessel

6

de donde concluimos que, si a 0

= 0 (lo cual no ocurre si a 2 , a 4 ,

,

a 2 j son

diferentes de cero),

m

=

± n.

(9)

Si, en la expresion´

de la serie, ecuacion´

6, debemos concluir que a 0 ,

en la ecuacion´

5, hacemos que m = 0, ya que n

= 0,

, a 2 j son todas iguales a cero.

Haciendo m = +n in la relacion´

de recurrencia se obtiene,

a j 2

=

a j j (2 n

dando como resultado que la solucion´

es,

+ j),

R(x) =

1

2

n! x

n 1

n + 1 x

2

1

2 +

(n + 1)(n + 2) 2! x 2

1

1

 

(10)

4 − ··· .

(11)

La ecuacion´

12,

11 se convierte as´ı en la funcion´

de Bessel dada en la ecuacion´

J n (x) =

j=0

j(n + j)! x 2

(1)

j

n+2j

(12)

lineal-

mente independiente, a la ecuacion´ de Bessel no se obtiene mediante J n (x); ya

que, J n (x) = (1) n J n (x). La segunda solucion´ independiente se debe de en-

contrar en forma separada proponiendo otra serie de potencia, que da lugar a la

funcion´ de Bessel de segunda especie Y n (x), tambien´ llamada funcion´ de Weber

o de Neumann N n (x) [4] y que se define como,

Desafortunadamente, para valores enteros de n una segunda solucion,´

2 Solucion´

de la Ecuacion´

diferencial de Bessel

7

Y n (x) = J n (x) cos() J n (x) sin()

,

(13)

13 es tomado si n es cero o un entero.

El primer conjunto de soluciones independientes, esta´ formado por las funciones

J 0 (x), Y 0 (x). Las funciones de Bessel J 0 (x) y J 1 (x) se muestran en la figura 1,

mientras que las funciones de Bessel Y 0 (x) y Y 1 (x) se muestran en la figura 2.

donde el valor l´ımite de la ecuacion´

en la figura 2. donde el valor l´ımite de la ecuacion´ Fig. 1: Funciones ordinarias de

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

Se puede observar que las funciones de segunda especie no estan´ 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 raices a intervalos no regulares del argu-

mento.

2 Solucion´

de la Ecuacion´

diferencial de Bessel

8

2 Solucion´ de la Ecuacion´ diferencial de Bessel 8 Fig. 2: Funciones ordinarias de Bessel, de

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 solucion´

de la funcion´

de Bessel se

gamma, Γ(x), como se puede ver en la ecuacion´

de la ecuacion´

expresa en terminos´

14.

R(x) =

j=0

(1)

j

+ 1) x

2

j! Γ(n

+

j

n + 2 j .

(14)

En este caso las funciones de Bessel J n , J n , donde n no es entero, nos da

soluciones linealmente independientes. Veamos el caso cuando n = + 3 aparecen

mientras que cuando n = 1 3 aparecen los exponentes

general de

diferencial de Bessel para valores no enteros de n es R(x) = AJ n +

3 1 ,

los exponentes

1

1

3 ,

7 , 13

3

3 ,

,;

5 , 11

3

,. Lo que da lugar a dos funciones diferentes y la solucion´

3 ,

la ecuacion´

BJ n . En la figura 3 se muestran estas dos funciones.

Las funciones hiperbolicas´

de Bessel de primear y segunda especie, I n (x), K n (x),

algunas veces denominadas funciones de Kelvin [4], se pueden separar en sus

2 Solucion´

de la Ecuacion´

diferencial de Bessel

9

2 Solucion´ de la Ecuacion´ diferencial de Bessel 9 Fig. 3: Funciones de Bessel, de orden

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

1

3 .

componentes real e imaginaria. As´ı, I n (x) se puede escribir, a partir de la ecuacion´

11, utilizando valores enteros o cero para n; esto se muestra en la ecuacion´

15.

2.3. Caso n = 0

Para n = 0, la ecuacion´

I 0 (x)

=

1

I n (x) = J n (i i n x)

.

11 se expresa como,

+ x 2

2

+

1

2 ! x

2

2

·

4

 

(15)

+

··· .

(16)

De la misma forma se determina la funcion´

K n (x), que se expresa mediante

la ecuacion´

17. Trazos de las funcion´

I n (x) y K n (x) se muestran en la figura 4.

K n (x) =

π i

2

(1)

i n H

n

(i x).

(17)

La funcion´

J n (x i i) se separa en su parte real e imaginaria, como se muestra

en la ecuacion´

18.

2 Solucion´

de la Ecuacion´

diferencial de Bessel

10

2 Solucion´ de la Ecuacion´ diferencial de Bessel 10 Fig. 4: Funciones de Bessel I 0

Fig. 4: Funciones de Bessel I 0 (x), K 0 (x), I 1 (x) y K 1 (x).

(ber n (x) + i bei n (x))

=

e i n π I n x e

2

i π

4

.

(18)

3 Funciones hiperbolicas´

11

3. Funciones hiperbolicas´

Las funciones hiperbolicas´

diante la ecuacion´

19.

de segunda especie K n (x), se pueden expresar me-

(ker n (x) + i kei n (x))

=

e i n π

2

K n x e

i π

4

.

(19)

Una ecuacion´ diferencial, la cual aparece con frecuencia en la solucion´ radi-

al de sistemas con simetr´ıa esferica,´ se muestra en la ecuacion´ 20. Si hacemos

la siguiente transformacion´ ρ(r) = r 2 R(r), la ecuacion´ 20 se convierte en la

ecuacion´ 21.

1

d 2 R dr 2

+ 2

dR + k 2 l(l + 1)

r dr

r 2

R

=

0

d 2 ρ dr 2

+

1

r

dr

+

k 2

(l

+

1

2

) 2

r

2

ρ

=

0

Ahora, sustituyendo x = kr en la ecuacion´

21, obtenemos la ecuacion´

encial de Bessel de orden semientero, como se muestra en la ecuacion´

22.

(20)

(21)

difer-

Del analisis´

d 2 ρ

dx 2

+

1

x

dr

+

1

(l

+

1

2

) 2

x

2

ρ = 0

hecho previamente podemos establecer que la ecuacion´

(22)

22 tiene

dos soluciones linealmente independientes, por lo tanto su solucion´

da por la ecuacion´

23.

general esta´ da-

ρ(x) =

A J l+ 2 (x)

1

+ B J (l+

1

2

) (x)

(23)

4 Funciones esfericas´

de Bessel

12

4. Funciones esfericas´

de Bessel

Si se expanden las funciones de Bessel de orden semi entero en la forma de

series obtenemos las funciones j n (x) y y n (x), como se muestra en la ecuacion´ 24,

a estas funciones se le conoce como funciones esfericas´ de Bessel de primera y

segunda especie respectivamente.

j n (x) =

2x J n+

π

y n (x) =

2x Y n+

π

1

2

(x)

1 (x)

2

(24)

Estas expresiones dan lugar a las ecuaciones 25.

j 0 (x) = sin

x

x

j 1 (x)

y 0 (x) =

= sin

x

x 2

y 1 (x) = cos

x

x 2

cos

x

x

cos x

x

sin x

x

(25)

de Bessel de tercer

especie se muestran en la ecuacion´ 26. Los pares de funciones j n (x), y n (x) son

soluciones linealmente independientes para cada n.

Las funciones esfericas´

de Hankel o funciones esfericas´

h

h

(1)

n

(2)

n

(x)

=

j n (x) +

i

y n (x)

(x)

=

j n (x)

i

y n (x)

(26)

Para valores semi enteros de n se tienen tambien´

soluciones linealmente inde-

pendientes, j n (x) y j n (x). Ver ecuacion´

27.

4 Funciones esfericas´

de Bessel

13

y

(1)

n

(x)

=

(1) n j n (x)

(27)

5 Propiedades

14

5.

Propiedades

Las funciones de Bessel tiene ciertas similaridades con las funciones trigonometri-´

cas. As´ı podemos establecer similitudes entre la funcion´ cos x y J 0 (x) y la fun-

cion´ sin x con J 1 (x); la primer semejanza se da en que tienen muchos ceros (o

ra´ıces) y que la derivada de una de ellas conduce a la otra, por ejemplo dx sin x =

cos x.

En el siguiente conjunto de ecuaciones se muestran algunas de las propiedades.

d

J n1 (x) + J n+1 (x) = 2n J n (x)

x

d

J n1 (x) J n+1 (x) = 2 dx J n (x)

d

J n1 (x) = n J n (x) + dx J n (x)

x

d

J n+1 (x) = n J n (x) dx J n (x)

x

Como J 1 (x) = J 1 (x), de este conjunto 28 se obtiene la ecuacion´

29.

(28)

d

dx

J 0 (x) = J 1 (x).

(29)

Una variedad de propiedades se puede obtener de relaciones como las mostradas.

Una relacion´

integral importante se obtiene mediante la tercera ecuacion´

del

conjunto de ecuaciones 28, donde se puede observar que el lado derecho es la

derviada exacta del lado izquierdo, esto conduce a la ecuacion´ 30.

d

x n J n1 (x) = nx n1 J n (x) + x n dx J n (x)

(30)

5 Propiedades

15

x n J n1 (x)dx = x n J n (x).

(31)

Las propiedades relacionadas con la derivada de las funciones de Bessel se

muestran en la ecuaciones 32 a 51.

d

dx

J n (x) = 1 2 (J 1+n (x) J 1+n (x))

d

dx

J n (ax) = 1 2 a (J 1+n (ax) J 1+n (ax))

d

dx

J n (ax 2 ) = ax J 1+n (ax 2 ) J 1+n (ax 2 )

d

dx

J n (ax 3 ) = 3 ax 2 J 1+n (ax 3 ) J 1+n (ax 3 )

2

d

dx

J n (ax b ) =

2 1 abx 1+b J 1+n (ax b ) J 1+n (ax b )

d

dx

Y n (x) = 1 2 (Y 1+n (x) Y 1+n (x))

d

dx

Y n (ax) =

2 1 a (Y 1+n (ax) Y 1+n (ax))

d

dx

Y n (ax 2 ) = ax Y 1+n (ax 2 ) Y 1+n (ax 2 )

d

dx

Y n (ax 3 ) = 3 ax 2 Y 1+n (ax 3 ) Y 1+n (ax 3 )

2

(32)

(33)

(34)

(35)

(36)

(37)

(38)

(39)

(40)

5 Propiedades

16

d

dx

Y n (ax b ) = 1 2 abx 1+b Y 1+n (ax b ) Y 1+n (ax b )

d

dx

I n (x) = 1 2 (I 1+n (x) + I 1+n (x))

d

dx

I n (ax) = 1 2 a (I 1+n (ax) + I 1+n (ax))

d

dx

I n (ax 2 ) = ax I 1+n (ax 2 ) + I 1+n (ax 2 )

d

dx

I n (ax 3 ) = 3 ax 2 I 1+n (ax 3 ) + I 1+n (ax 3 )

2

d

dx

I n (ax b )

= 1 2 abx 1+b I 1+n (ax b ) + I 1+n (ax b )

d

dx

K n (x) =

2 1 (K 1+n (x) K 1+n (x))

d

dx

K n (ax) =

2 1 a (K 1+n (ax) K 1+n (ax))

d

dx

K n (ax 2 ) = ax K 1+n (ax 2 ) K 1+n (ax 2 )

d

dx

K n (ax 3 ) = 3 ax 2 K 1+n (ax 3 ) K 1+n (ax 3 )

2

(41)

(42)

(43)

(44)

(45)

(46)

(47)

(48)

(49)

(50)

5 Propiedades

17

d

dx

K n (ax b ) = 1 2 abx 1+b K 1+n (ax b ) K 1+n (ax b )

(51)

Algunas propiedades relacionadas con la integracion´ se muestran en las ecuaciones 52 a 60

de las funciones de Bessel

xJ 0 (x)dx = xJ 1 (x)

(52)

x 2 J 0 (x)dx = x 2 J 1 (x) + xJ 0 (x) + J 0 (x)dx

(53)

x m J 0 (x)dx = x m J 1 (x)+(m1)x m1 J 0 (x)(m1) 2 x m2 J 0 (x)dx (54)

J 1 (x)dx = J 0 (x)

(55)

xJ 1 (x)dx = xJ 0 (x)

+ J 0 (x)dx

(56)

x m J 1 (x)dx = x m J 0 (x) +

m x m1 J 0 (x)dx

(57)

x n J n1 (x)dx = x n J n (x)

(58)

5 Propiedades

18

x n J n+1 (x)dx = x n J n (x)

(59)

x m J n (x)dx = x m J n1 (x) + (m + n 1) x m1 J n1 (x)dx

(60)

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

esta caracter´ıstica permite expresar los coeficientes en una expansion´

de Fourier.

5 Propiedades

19

Referencias

[1] Ayant, Y. y Borg, M., Funciones Especiales. Editorial Alhambra (1974).

[2] Vega-Carrillo, H.R., Fenomenos´

F´ısicos, Modelos Matematicos´

y Ecua-

ciones Diferenciales, Rev. Mex. F´ıs 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 Theory of Fields, John Wiley & Sons (1974).