Mtodos Matemticos III. Grupo 36. Prof. J.V. Alvarez. e a Ejercicios de aplicacin y repaso. o Propiedades de las funciones de Bessel.

s/n.) Ecuacin de Bessel en coordenada radial y su forma cannica. o o Comprueba que la ecuacin de Bessel que aparece como la parte o radial de EDP con Laplaciano r2 d2 R dR +r + (r2 m2 )R = 0 2r d dr d2 y 1 dy m2 + + (1 2 )y = 0 d2 x x dx x utilizando el cambio r
x

(1)

se puede reducir a la forma cannica: o (2)

y R(r) y(x)

Solucin: o Dividimos por r2 en todos los trminos y dado que > 0 hacemos e x . Las derivadas cambian de la forma el cambio r = d2 d2 = 2 d2 r dx d d = dr dx sustituyendo los cambios obtenemos: 1 dy m2 d2 y + + ( 2 )y = 0 d2 x x dx x como = 0 obtenemos (2) (5) (3) (4)

s/n.) Ecuacin de Bessel cerca de su punto singular x = 0 o Dada la ecuacin de Bessel escrita en la forma: o d2 y 1 dy m2 + + (1 2 )y = 0 (6) d2 x x dx x donde m puede ser un nmero real. Comprueba que el comporu tamiento de las soluciones para valores de x m2 es del tipo ley

de potencias y(x) = xk .

Solucin: o si x m2 entonces la ecuacin de Bessel queda: o d2 y 1 dy m2 + 2y=0 d2 x x dx x sustituimos y(x) = xk en la ecuacin y obtenemos o k(k 1)xk2 + kxk2 m2 xk2 = 0 (8) (7)

Notese que aunque las derivadas son de distinto orden todos los trminos siguen la misma ley de potencias. Si queremos anular el e miembro de la izquierda para cualquier valor de x. k(k 1) + k m2 = 0 (9)

luego el exponente esta restringido a valer k = m para valores de x m, las dos funciones linealmente independientes que componen la solucin son: o y(x) Axm + Bxm s/n.) Solucin en forma de serie de la ecuacin de Bessel. o o Consideremos la solucin de la ecuacin de Bessel para valores de o o x no necesariamente pequeos. Centrmonos en las soluciones que n e no divergen en el punto singular x=0. Como sabemos esas son las funciones de Bessel Jm (x), las escribiremos como: Jm (x) = xm zm (x) (11) (10)

y por tanto m > 0. Supn que zm (x) se puede expandir en serie o de Taylor zm (x) = n=0 Cn xn . Sustituye y(x) en la ecuacin (2) y comprueba que se satisface la o relacin: o

Cn (n + m) m x
n=0

n+m

+
n=0

Cn xn+m+2 = 0

(12)

s/n.) Relacin de recurrencia entre los coecientes Cn o Si encontramos los coecientes Cn sabremos calcular, al menos en principio, las funciones de Bessel. Para ello queremos encontrar una relacin de recurrencia (es decir, una ecuacin que permita calo o cular un el coeciente Cn en funcin de otros coecientes de orden o Cn2 menor). Comprueba que para n 2 se cumple Cn = n(n+2m) . Solucin: o Para encontar una ecuacin en los coecientes tenemos que igualar o las potencias de x. Reformulamos el segundo sumatorio de (13) de la forma

Cn (n + m) m x
n=0

n+m

+
n=2

Cn2 xn+m = 0

(13)

al tener todos los exponentes igualados para n > 2, podemos escribir la suma:

{Cn (n + m)2 m2 + Cn2 }xn+m = 0

n=2

(14)

como la igualdad debe cumplirse para todo x, entonces debe anularse la expresin entre corchetes luego o Cn = para n > 2. s/n.) Algunas propiedades de las funciones de Bessel. Comprueba que las funciones de Bessel escritas en forma de serie: Jm (x) = (1)n x 2 n=0 n! (n + m + 1)
2n+m

Cn2 n(n + 2m)

(15)

(16)

Cumplen las siguientes propiedades: J0 (0) = 1. Jm (0) = 0 si m > 1.

 La paridad de Jm (x) viene dictada por la paridad m.

s/n.) Funciones de Bessel en forma de serie. Comprueba que las funciones de Bessel escritas en forma de serie: Jm (x) = (1)n x 2 n=0 n!(n + m + 1)
2n+m

(17)

Satisfacen la siguiente relacin para la derivada: o d m x Jm (x) = xm Jm+1 (x) dx Cual es la derivada de J0 (x)? (18)

Solucin: o Podemos escribir la funcin xm Jm (x) en forma de serie y derivar o trmino a trmino: e e d m d (1)n x2n x Jm (x) = dx dx n=0 n! (n + m + 1) 22n+m (1)n d 2n x = 2n+m dx n=0 n! (n + m + 1) 2 2n(1)n = x2n1 n! (n + m + 1) 22n+m n=1 = (1)n1 x2(n1)+1 2(n1)+m+1 n=1 (n 1)! ((n 1) + (m + 1) + 1) 2

Ntese que hemos escrito (n + m + 1) = ((n 1) + (m + 1) + 1) o buscando que aparezca la combinacin (n 1) . Podemos hacer o entonces el cambio de variable n = n 1 en el sumatorio.
(1)n x2n +1 d m x Jm (x) = dx n ! (n + (m + 1) + 1) 22n +m+1 n =0

(19)

ahora multiplicamos y dividimos por xm

d m (1)n x x Jm (x) = xm dx n ! (n + (m + 1) + 1) 2 n =0 2n +m+1

= xm Jm+1 (x)

sustituyendo m = 0 en la ecuacin encontramos o

d J (x) dx 0

(20) = J1 (x)