Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

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

x2 y 00 + xf1 (x) y 0 + f2 (x) y = 0;

la solucion vendra expresada de la forma

X
y(x) = (x x0 )m an (x x0 )n
n=0

con m real y determinado a traves de las races de la ecuacion indicadora

m2 + (f1 (x0 ) 1) m + f2 (x0 ) = 0

y donde f1 (x) y f2 (x) son funciones analticas en el entorno de x = x0 y por lo tanto

X
X
f1 (x0 ) = bn (x x0 )n f2 (x0 ) = cn (x x0 )n
n=0 n=0

Para la Ecuacion de Bessel (1)

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, para m = k proponemos

X
m
y1 (x) = x an xn
n=0
Al hacer las cuentas para cada termino por separado se tiene

X
X
2 2 k n k
k 2 an xn


x k y1 (x) = x an2 x x
n=2 n=0
X
xy10 (x) = xk (k + n) an xn
n=0
X
x2 y100 (x) = xk (k + n) (k + n 1) an xn
n=0

Hector Hernandez / Luis Nunez 1 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

la ecuacion de Bessel queda como

X
X
(k + n) (k + n 1) + (k + n) k 2 an xn + an2 xn = 0
 
n=0 n=2

X
(2k + 1) a1 x + [n (2k + n) an + an2 ] xn = 0
n=2
y por consiguiente obtenemos la relacion de recurrencia
an2
an = para n 2
n (2k + n)
donde es claro que a1 = 0. Adicionalmente, como a0 es arbitrario, podemos suponer que
1
a0 = k
2 (k + 1)
tendremos
a1 = a3 = a5 = = 0
a0
a2 =
2 (2k + 2)
a0
a4 =
2 4 (2k + 2) (2k + 4)
..
.
a0
a2n = (1)n 2n
2 n! (k + 1) (k + 2) (k + n)
Por lo tanto, la primera de las soluciones sera

X (1)n  x 2n+k
Jk (x) =
(n + 1) (n + k + 1) 2
n=0
la Funcion de Bessel, de orden k de primera especie.
Si k = 0 entonces

X (1)n  x 2n
J0 (x) =
n=0
(n!)2 2
Para el caso particular de 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
Para encontrar la segunda solucion linealmente independiente de la ecuacion de Bessel el metodo
de Frobenius propone tres casos dependiendo el valor de k

m1 m2 6= entero k 6= entero
m1 = m2 = m k = 0
m1 m2 = entero k = entero

Hector Hernandez / Luis Nunez 2 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

Caso 1: m1 m2 6= entero k 6= entero.

La solucion general sera de la forma

y(x) = C1 Jk (x) + C2 Jk (x)

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

y los coeficientes an se encuentran mediante el tradicional metodo de sustituirlos en la ecuacion

de Bessel para k = 0
xy 00 + y 0 + xy = 0;

Hector Hernandez / Luis Nunez 3 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

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

Acomodando y derivando la expresion para J0 tendremos

X X 2n (1)n+1 2n1
n2 an + an2 xn1 = 2J00 (x) = 2
 
a1 + 4a2 x + x
22n1 (n!)2
n=3 n=1

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

Por lo cual a1 = a3 = a5 = = 0 mientras que

2n
4a2 = 1; (2n)2 a2n + a2n2 = (1)n+1 n>1
22n (n!)2
De esta forma los coeficientes quedan como:
1
a2 =
22    
1 1 1 1
a4 = 2 2 1+ = 1+
2 4 2 2 (2!)2
4 2
..
.
(1)n+1
 
1 1 1 1
a2n = 1 + + + + +
22n (n!)2 2 3 4 k

Hector Hernandez / Luis Nunez 4 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

La expresion para la solucion general de la ecuacion de Bessel para k = 0 sera

(1)n+1
  
X 1 1 1 1 x 2n
K0 (x) = 1 + + + + + + J0 (x) ln(x)
n=0
(n!)2 2 3 4 k 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

donde, como ya hemos visto, = 0,577215664901 es la constante de Euler-Mascheroni.

Caso 3: m1 m2 = entero k = entero.

La solucion general sera de la forma

X
Kk (x) = an xk+n + CJn (x) ln(x)
n=0

Procediendo de forma equivalente a la situacion anterior tenemos que la solucion general

podra expresarse (luego de una laboriosa faena) como
k1
1 X (k n 1)!  x 2nk Hk  x k 1 X (1)n [Hn + Hn+k ]  x 2n+k
Kk (x) = +Jk (x) ln(x)
2 n! 2 2k! 2 2 n! (k + n)! 2
n=0 n=1

Y finalmente la Funcion de Bessel de orden k de segunda especie o Funcion de Neumann

k1
1 X (k n 1)!  x 2nk Hk  x k 1 X (1)n [Hn + Hn+k ]  x 2n+k
Yk (x) =

n=0
(n!)2 2 k! 2
n=1
n! (k + n)! 2
2 h  x  i
+ Jk (x) ln +
2
En ambos casos
1 1 1
Hn = 1 + + + +
2 3 n
Mas aun
k1
2 x 1 X (k n 1)!  x 2nk
Yk (x) = Jk (x) ln
2
n=0
(n!)2 2

1 X (1)n  x 2n+k
[(n + 1) + (n + k + 1)]
n! (k + n)! 2
n=1

Hector Hernandez / Luis Nunez 5 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

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

La funciones Zk (x) y Zk (x) se denominan Funciones Cilndricas de orden k.

Otras Formas de la Ecuacion de Bessel

Haciendo los cambios de variables correspondientes llegamos a

2 2 k 2 2
 
1 2 0
u00 (x) + u (x) + x1 + u(x) = 0
x x2
donde
u(x) = x Zk (x )
o tambien
u00 (x) + x u(x) = 0
con 


2 1+
u(x) = xZ 1 x 2
+2 +2

Hector Hernandez / Luis Nunez 6 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

Relaciones de Recurrencia:
Las funciones de Bessel tienen las siguientes relaciones de recurrencia

xJk+1 (x) 2k Jk (x) + xJk1 (x) = 0

Jk+1 (x) + 2Jk0 (x) Jk1 (x) = 0

Para demostrar estas relaciones partimos por demostrar lo siguiente:

h i0 h i0
xk Jk (x) = xk Jk1 (x) xk Jk (x) = xk Jk+1 (x)

De la expresion para Jk (x) se obtiene

"
#0
X (1)n  x 2n+2k X (1)n 2 (n + k) x2n+2k1
=
(n + 1) (n + k + 1) 2 22n+k (n + 1) (n + k + 1)
n=0 n=0

k
X (1)n x2n+(k1)
=x
n=0
22n+(k1) (n + 1) (n + k)
= xk Jk1 (x)

Unos cambios apropiados nos llevan a demostrar las segunda de las relaciones y al desarrollar las

Hector Hernandez / Luis Nunez 7 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

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

kJk (x) + xJk0 (x) = xJk1 (x)

kJk (x) + xJk0 (x) = xJk+1 (x)

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.

Funciones de Bessel y Funciones Elementales

1
Las funciones de Bessel de orden semientero, k = 2 se expresa como

(1)n
r
xX  x 2n
J1/2 (x) =
(n + 1) n + 32


2 2
n=0

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

Hector Hernandez / Luis Nunez 8 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

y ahora utilizando las relaciones de recurrencia tendremos que

r  
1 2 sen(x)
J3/2 (x) = J1/2 (x) + J1/2 (x) = cos(x)
x 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

Jk (x) = (1)k Jk (x)

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

Si k = N , un entero negativo, los primeros N terminos de la serie anterior se anulan ya que

(n) para n = 1, 2, 3, y la serie se arma como

X (1)n  x 2n+N X (1)l+N  x 2l+N
JN (x) = =
n! (n N )! 2 (l + N )! l! 2
n=N l=0
N
JN (x) = (1) JN (x)

Funcion Generatriz
La funcion generatriz para las Funciones de Bessel es
x 1
B(x, t) = e 2 (t t )

Hector Hernandez / Luis Nunez 9 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

desarrollando las dos series para las exponenciales

xt x x xn
e2 =1+ t + 2 t2 + + n tn +
2 2 2! 2 n!
x x 1 x 2 (1)n xn n
e 2t = 1 t + 2 t + + t +
2 2 2! 2n n!
Por lo tanto multiplicando ambas series

x 1 xn n X (1)n xn n
B(x, t) = e 2 (t t ) =
X X
t t = Jn (x) tn
2n n! 2n n! n=
n=0 n=0

Representacion integral para las Funciones de Bessel

En la expresion anterior para la funcion generatriz se realiza el siguiente cambio de varible
t = ei de este modo
x 1
e 2 (t t ) = eixsen = cos (xsen) + isen (xsen)
y por lo tanto

X
cos (xsen) + isen (xsen) = Jn (x) [cos (n) + isen (n)]
n=

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

Hector Hernandez / Luis Nunez 10 Universidad de Los Andes, Merida

Semana 9 - Clase 26 09/02/11 Tema 4: Sistemas y Series

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

Ortogonalidad de las Funciones de Bessel

Haciendo el caso particular de = 0 y = 1 en la primera de las expresiones equivalentes para
la ecuacion de Bessel, tendremos
k2
 
1
u00 (x) + u0 (x) + 2 2 u(x) = 0 , donde u(x) = Jk (x)
x x
multiplicando por x la ecuacion diferencial puede ser reescrita como
k2
 
 0 0 2
xJk (x) + x Jk (x) = 0
x
suponiendo k real y positivo, planteamos la ecuacion para dos ndices diferentes 1 y 2 por lo
tanto quedan como
k2
 
 0 0 2
xJk (1 x) + 1 x Jk (1 x) = 0
x
k2
 
 0 0 2
xJk (2 x) + 2 x Jk (2 x) = 0
x
Multiplicando apropiadamente por Jk (1 x) y Jk (2 x), Integrando y restando miembro a miembro
tendremos que

1
Z Z 1n
0 0 o
22 12 Jk (2 x) xJk0 (1 x) Jk (1 x) xJk0 (2 x)
 
xJk (1 x)Jk (2 x)dx = dx
0 0
Z 1
0
Jk (2 x)xJk0 (1 x) Jk (1 x)xJk0 (2 x) dx

=
0
x=1
= Jk (2 x)xJ 0 (1 x) Jk (1 x)xJ 0 (2 x)
k k x=0
para i las races de los polinomios de Bessel, i.e. Jk (i ) = 0 podemos deducir que las funciones de
Bessel son ortogonales

1
Z
2 2
i j xJk (i x)Jk (j x)dx ij
0
Mas aun, partiendo de la ecuacion de Bessel original se puede llegar a
1 0 2 2 k 2
|Jk (x)|2 = Jk () + [Jk ()]2
2 2 2

Hector Hernandez / Luis Nunez 11 Universidad de Los Andes, Merida