Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Bessel
Bessel
1.
x
(t 1t )
2
n=
X
Jn (x)tn
(1)
n=
Notese que entendemos las funciones de Bessel como los coeficientes, que dependen de x, de una serie en la variable t. A diferencia de los polinomios de
Legendre, esta serie no es una serie de Taylor sino de Laurent pues contiene
potencias negativas.
2. Expandiendo el producto de las dos exponenciales podemos llegar expresiones
en forma de serie de Taylor:
xt
2
x
2t
e e
X
xr tr X
r=0
2r r!
s=0
xs ts
(1)s s
2 s!
X
(1)s x r+s rs
=
t
r!s! 2
r=0 s=0
(2)
Para poder identificar este producto con la serie en (1) haremos el cambio de
ndice n = r s o equivalentemente r = n + s y r + s = n + 2s. Sustituyendo
obtenemos:
n=
X
n= s=0
Jn (x) =
X
s=0
2.
(1)s x n+2s n
t
s!(n + s)! 2
(1)s x n+2s
xn+2
xn
+ ...
= n n+2
s!(n + s)! 2
2 n! 2 (n + 2)!
(3)
(4)
Relaciones de Recurrencia
Xx
dg(x, t)
1
1
1
1 X
Jn (x)tn =
= x(1 + 2 )g(x, t) = x(1 + 2 )
Jn (x)(tn + tn2 (5)
dt
2
t
2
t n=0
2
n=0
Por otro lado
dg(x, t) X
nJn (x)tn1
=
dt
n=0
1
(6)
2n
Jn (x)
x
(7)
n=
1
1
1
1 X
dg(x, t)
Jn (x)tn
= (1 )g(x, t) = (1 )
dx
2
t
2
t n=
(8)
dg(x, t) X
=
Jn (x)tn
dx
n=0
(9)
3.
(10)
(11)
(12)
Propiedades.
1. Las funciones de Bessel no son polinomios. Su serie de Taylor tiene infinitos
trminos.
2. Para x << 1 las funciones de Bessel se pueden aproximar como
xn
Jn (x) n
(13)
2 n!
El trmino dominante a x pequeos es una potencia del mismo orden que la
funcin de Bessel (ver figura) . De lo que se deduce adems que J0 (x) = 1 y que
Jn (x) = 0 para n > 0
3.
Jn (x) = (1)n Jn (x)
(14)
X
s=0
(1)s x 2sn
s!(s n)! 2
(15)
X
(1)s+n x 2s+n
= (1)n Jn (x)
Jn (x) =
(s + n)!s! 2
s=0
(16)
(17)
x
(t+ 1t )
2
n=
X
(1)n Jn (x)tn
(18)
n=
x
(t+ 1t )
2
=e
x
(t 1t )
2
n=
X
Jn (x)tn
(19)
n=
5.
J0 (x) = J1 (x)
(20)
n=
X
Jn (x)ein = e 2 (e
i ei )
= eix sin
(21)
n=
n=
X
Jn (x)ein
(22)
n=
g(x, ie ) =
n=
X
n=
y por tanto:
i (iei )1 )
ix
= e 2 (e
i +ei )
= eix cos
(23)
ix cos
n=
X
in Jn (x)ein
(24)
n=
(25)
n=
X
in Jn (kr)ein
(26)
n=
4.
Representacin Integral.
Las funciones de Bessel admiten la siguiente representacin integral.
Z
1
Jn (x) =
cos(n x sin )d
0
(27)
Para demostrar que esta definicin es equivalente a otras que hemos estudiado
podemos utilizar las ecuaciones(14) (22) y (24) para escribir:
(28)
(29)
n=1
sin(x sin ) = 2
X
n=1
(30)
(31)
(32)
"
cos(n) J0 (x) + 2
sin(n)2
m=1
(33)
(34)
m=1
cos(n x sin )d
(36)
Ejercicio: Comprobar la segunda relacin de recurrencia utilizando la representacin integral. Por un lado:
Z
1
cos(n y sin )d
(39)
Jn (y) =
0 y
Z
1
=
sin(n y sin )( sin )d
(40)
0
Por otro lado:
Z
1
cos(n y sin )d
Jn1 (y) =
0
Z
1
=
[cos(n y sin ) cos sin(n y sin ) sin )] d
0
(41)
(42)
La combinacin
2
Jn1 (y) Jn+1 (y) =
(43)
5.
Ecuacin de Bessel.
1. Utilizando las relaciones de recurrencia llegamos a la ecuacin diferencial ordinaria:
dJn
d 2 Jn
+x
+ (x2 n2 )Jn = 0
(44)
2
dx
dx
Que es la ecuacin de Bessel. Sus soluciones dependen del ndice n. Las funciones
de Bessel tal como las hemos definido con la funcion generatriz satisfacen la
ecuacin de Bessel.
x2
)Jn = 0
(45)
dx2
x dx
x2
Obsevamos que x=0 es un punto singular. Es de esperar que existan soluciones
que diverjan en ese punto. De hecho, las funciones de Bessel de segunda especie,
o funciones de Neumann, son tambien soluciones de la ecuacin de Bessel linealmente independientes con las funciones de Bessel de primera especie y divergen
en x=0.
4. Partiendo de (45) y despreciando los trminos subdominantes para x >> 1
recuperamos la ecuacin del oscilador armnico simple luego esperamos que las
soluciones de la ecuacin de Bessel sean oscilatorias, no periodicas, pero que se
aproximen asintoticamente a oscilaciones armnicas para valores de x grandes.
5. Como veremos ms adelante, la ecuacin de Bessel aparece al aplicar el metodo
de separacin de variables a la ecuacin de autovalores del Laplaciano en coordenadas polares. Versiones modificadas de esta ecuacin aparecen en coordenadas
cilndricas y esfricas.
6. En estas aplicaciones es habitual considerar como intervalo de definicin un
recinto finito [0, a] con condiciones de contorno homogeneas en x = a. Es importante saber resolver ecuaciones de la forma Jn (a) = 0 Jn (a) = 0, o lo que es
lo mismo conocer, los valores del m-simo cero de la funcin de Bessel de orden
n xnm (Jn (xnm ) = 0) y de la derivada de la de la funcin de Bessel de orden
n xnm (Jn (xnm = 0). Los ceros de las funciones de Bessel y de sus derivadas
se pueden encontrar en libros de tablas y tambin en los libros de ecuaciones
diferenciales de la bibliografa.
Figura 1: Representacin de las cinco primeras funciones de Bessel. Son funciones oscilantes
pero no peridicas.