Professional Documents
Culture Documents
Revisitando a Bessel
La Ecuacion de Bessel es
x2 y 00 + xy 0 + x2 k 2 y = 0;
k< (1)
obviamente x = 0 es una singularidad regular, por lo tanto el metodo de Frobenius nos permite
afirmar que si x = x0 corresponde a un polo regular de la ecuacion
f1 (x) = 1 b0 = 1 f2 = k 2 + x2 c0 = k 2 , c1 = 0 , c2 = 1
los demas coeficientes bs y cs se anulan. La ecuacion indicadora y sus races quedan como
m (m 1) + m k 2 = 0 m2 = k 2 m1,2 = k
donde
X (1)n x 2nk
Jk (x) = x>0
(n + 1) (n k + 1) 2
n=0
Para x < 0 se debe reemplazar xk por |x|k . Notese que esta ultima expresion tambien es
valida para k semientero, i.e. k = n + 12 .
Caso 2: m1 = m2 = m k = 0.
La solucion general sera de la forma
X
K0 (x) = an xn + J0 (x) ln(x)
n=0
De donde se obtiene
X
X
n+1
xK0 (x) = an x + xJ0 (x) ln(x) = an2 xn1 + xJ0 (x) ln(x)
n=0 n=3
J0 (x)
nan xn1 + (J0 (x) ln(x))0 =
X X
K00 (x) = nan xn1 + J00 (x) ln(x) +
x
n=0 n=1
X J0 (x)
xK000 (x) = n (n 1) an xn1 + xJ000 (x) ln(x) + 2J00 (x)
x
n=2
y por lo tanto
X
n2 an + an2 xn1 + xJ000 + J00 + xJ0 ln(x) + 2J00 (x) = 0
a1 + 4a2 x +
| {z }
n=3 = 0
Ahora multiplicando la expresion por x y separando las sumatorias en sus terminos pares e
impares, tendremos
h
X i
a1 x + (2n + 1)2 a2n+1 + a2n1 x2n+1 = 0
n=1
h
X i X 2n
(2n)2 a2n + a2n2 x2n + 4a2 x2 = x2 + (1)n+1 x 2n
n=2 n=1
22n (n!)2
En Fsica, es costumbre expresar esta solucion de una forma equivalente pero ligeramente
diferente:
2 X (1)n
1 1 1 x 2n 2 h x i
Y0 (x) = 1 + + + + + J0 (x) ln +
n=0
(n!)2 2 3 k 2 2
0 (n)
donde (n) = es la funcion Digamma con
(n)
1 1 1
(n + 1) = + 1 + + + + , (1) = .
2 3 n
Tambien es costumbre definir la funcion de Bessel de segunda especie en terminos de las de
primera especie
Jk (x) cos(k) Jk (x)
Nk (x) = Yk (x) =
sen(k)
Notese que para k = N entero, aparentemente no esta definida. Pero, aplicando la regla de
LHospital
d
[Jk (x) cos(k) Jk (x)]
NN (x) = dk
d
[sen(k)]
dk k=N
d d
Jn (x)sen(n) + cos(n) Jk (x)
Jk (x)
dk dk
=
cos(n)
k=N
1 d d
= Jk (x) (1)n Jk (x)
dk dk k=N
De este modo, la soluciones generales para la ecuacion de Bessel, se expresan segun el caso en
Zk (x) = C1 Jk (x) + C2 Jk (x); k 6= entero
Zk (x) = C1 Jk (x) + C2 Yk (x); k=0 entero
Relaciones de Recurrencia:
Las funciones de Bessel tienen las siguientes relaciones de recurrencia
Unos cambios apropiados nos llevan a demostrar las segunda de las relaciones y al desarrollar las
derivadas
h i0
xk Jk (x) = kxk1 Jk (x) + xk Jk0 (x) = xk Jk1 (x)
h i0
xk Jk (x) = kxk1 Jk (x) + xk Jk0 (x) = xk Jk+1 (x)
Por lo cual
Al sumar y restar miembro a miembro obtenemos las relaciones de recurrencia. Es obvia la impor-
tancia que adquieren J1 (x) y J0 (x) para generar el resto de las funciones de Bessel.
pero como
3 3 5 2n + 1 3 1 3 5 (2n + 1)
n+ = =
2 2 2 2 2 2n
se encuentra que
(1)n
r
xX
J1/2 (x) = 3
x2n
2
n=0
2n n! 2 1 3 5 (2n + 1)
x2 x4 x6
x
= 1 + +
2x 23 23 2435 246357
x3 x5 x7
1 1
= 1 + + = sen(x)
2x 23 3! 5! 7! 2x 23
3
Finalmente, y otra vez invocando a las propiedades de la funcion Gamma: 2 = 2
r
2
J1/2 (x) = sen(x)
x
Equivalentemente se puede demostrar que
r
2
J1/2 (x) = cos(x)
x
As mismo
r
3 2 3sen(x) 3 cos(x)
J5/2 (x) = J1/2 (x) + J3/2 (x) = sen(x)
x x x2 x
En general
r
2 n+ 1 dn
n sen(x)
Jn+ 1 (x) = (1) x 2 n = 1, 2, 3,
2 (xdx)n x
r
2 n+ 1 dn
cos(x)
Jn+ 1 (x) = x 2 n = 1, 2, 3,
2 (xdx)n x
Las funciones de Bessel de orden semientero son las unicas funciones de Bessel que pueden ser
expresadas en terminos de funciones elementales.
Reflexion:
Las funciones de Bessel cumplen con
Para el caso k = N entero positivo la Funcion de Bessel de primera especie toma la forma de
X (1)n x 2n+N
JN (x) =
n! (n + N )! 2
n=0
Funcion Generatriz
La funcion generatriz para las Funciones de Bessel es
x 1
B(x, t) = e 2 (t t )
igualando partes reales e imaginarias y recordando que Jm (x) = (1)m Jm (x), para anular los
terminos impares en la serie de la parte real y los pares en la de la parte imaginaria, podemos
escribir
X
cos (xsen) = J0 (x) + 2 J2n (x) cos (2n)
n=1
X
sen (xsen) = 2 J2n+1 (x)sen ([2n + 1] )
n=0
Multiplicando miembro a miembro en la primera de ellas por cos (2k) (y por cos ([2k + 1] ) )
y la segunda por sen ([2k + 1] ) (y por sen (2k)). Integrando (en 0 ), tambien miembro a
miembro y termino por termino en las series, se obtienen
1
Z
J2n (x) = cos (xsen()) cos (2n) d
0
Z
1
0= cos (xsen()) cos ([2n + 1] ) d
0
Z
1
J2n+1 (x) = sen (xsen()) sen ([2n + 1] ) d
0
1
Z
0= sen (xsen()) sen (2n) d
0
Sumando miembro a miembro primera con cuarta y segunda con tercera tendremos la expresion
integral para las funciones de Bessel
1
Z
Jn (x) = cos (cos (n) xsen()) d
0
ya que todos sabemos que
cos (n xsen()) = cos (2n) cos (xsen()) + sen (2n) sen (xsen())