Documente Academic
Documente Profesional
Documente Cultură
Funciones de Bessel
Jose Jaime Paredes Peralta, Mara de Jes
us Tellez Brito
1.
Introducci
on
dy
d2 y
+x
+ x2 v 2 y = 0
2
dx
dx
(1)
Donde v es una constante real no negativa que define el orden de la funcion de Bessel.
1.1.
Soluci
on de Ecuaciones Diferenciales por series de potencias
El metodo de soluci
on por series de potencias se utiliza, generalmente, para resolver ecuaciones diferenciales lineales
con coneficientes variables como: h(x)y 00 + p(x)y 0 + q(x)y = r(x). El metodo consta de tres partes:
1. Proponer una soluci
on de la forma:
y(x) =
(x x0 )m
m=0
.
2. Obtener las respectivas derivadas de la solucion propuesta y sustituir los resultados en la ED.
3. Encontrar los coeficientes de la soluci
on propuesta y sustituirlos.
Se dice que existe una soluci
on en serie de potencias centrada en x0 de la ecuacin differencial del tipo:
an (x)y (n) (x) + an1 (x)y (n1) (x) + ... + ao (x)y(x) = f (x)
si los coeficientes an (x) tienen una representaci
on en series de potencias y siempre y cuando an (x0 ) 6= 0. Es decir, si todos
los coeficientes son analticos en x = x0 , entonces es posible encontrar una representacion de y(x) en series de potencias.
1.2.
M
etodo de Frobenius(M
etodo de series de potencias extendido)
am (x x0 )m+r
(2)
m=0
donde x0 es el n
umero alrededor del cual se expandera la serie, r es cualquier n
umero (real o complejo) y a0 6= 0.
2. Obtener las respectivas derivadas de la solucion propuesta y sustituir los resultados en la ED.
3. Mediante pasos algebraicos obtener una ecuacion, llamada ecuacion indicial, para calcular el valor de r.
1
4. Sustituir r en la soluci
on propuesta y encontrar los valores de am .
Cabe mencionar que es posible que despues del paso tres se encontrara uno de tres casos dependiendo de las solucion que
arroge la ecuaci
on indicial. Puede ser que ambos valores de r sean iguales (caso1: entonces se tiene una solo soluci
on a la
ED), diferentes(caso 2: entonces se tienen 2 soluciones a la ED) o diferentes que difieren por un entero (caso3).
1.3.
M
etodo de Frobenius y la ecuaci
on diferencial de Bessel
En la secci
on anterior se mencion
o que el metodo de Frobenius funcionara siempre y cuando la expansi
on en series
sea alrededor de un punto que a lo m
as sea singular regular. En esta seccion se comprueba esto. Tomando en cuanta la
ecuaci
on
dy
d2 y
+ P (x)
+ Q(x)y = 0
dx2
dx
Un punto regular singular x = x0 ocurre si cualquiera de las siguientes condiciones se cumple:
Si P(x) diverge cuando x x0 , pero (x x0 )P (x) y (x x0 )2 Q(x) se mantienen finitos cuando x x0 .
Si Q(x) diverge cuando x x0 , pero (x x0 )P (x) y (x x0 )2 Q(x) se mantienen finitos cuando x x0 .
(Arfken, 516)
Para la ecuaci
on (1), se tiene que:
P (x) =
1
x
Q(x) = 1
n2
x2
Se puede observar que en x = 0, el punto alrededor del cual se desarrollaran las soluciones en las siguientes secciones,
ambas ecuaciones P (x) y Q(x) divergen, por lo tanto x = 0 es un punto singular. Notando que
1
lm (x 0)P (x) = lm x
= lm 1 = 1
x0
x0
x0
x
y
2
lm (x 0) Q(x) = lm x
x0
x0
n2
1 2
x
= lm x2 n2 = n2
x0
se concluye que x = 0 es un punto singular regular, debido a que ambas expresiones son finitas, y por lo tanto el metodo
de frobenius funcionar
a con una expansi
on alrededor de este punto.
2.
Funciones de Bessel
2.1.
A continuaci
on se resuelve la ecuaci
on diferencial de Bessel de la forma:
x2 y 00 + xy 0 + 2 x2 v 2 y = 0
(3)
Soluci
on de la ecuaci
on param
etrica de Bessel
Tomando en cuenta que el punto singular de (3) es en xo = 0, se propone la solucion en series de potencias de la
siguiente forma:
X
y (x) =
am xm+r
(4)
m=0
Derivando la soluci
on propuesta 2 veces se obtiene:
y (x)
y (x)
=
=
X
m=0
am (m + r) xm+r1
am (m + r) (m + r 1) xm+r2
m=0
am (m + r) (m + r 1) x
m+r
m=0
m+r
am (m + r) x
m=0
am x
m+r+2
m=0
am xm+r = 0
(5)
m=0
por lo tanto
a0 r2 v 2 = 0
Recordar que una de las condiciones del Metodo de Frobenius es que a0 = 0, entonces la ecuacion indicial se ve de la
siguiente manera
r2 v2 = 0
(7)
am (m + v) (m + v 1) xm+v +
m=0
am (m + v) xm+v + 2
m=0
am xm+v+2 v 2
m=0
am xm+v = 0
(8)
m=0
Lo que resta es encontrar los valores de los coeficientes de am . Bajo los mismo argumentos con los que se igual
o a cero el
coeficiente de xr para obtener la ecuaci
on indicial, se obtienen ecuaciones similares para la potencia de xr + 1. Una vez
m
as, solo la primera, segunda y cuarta serie de la ecuacion 8 contienen tal potencia de x. Corriendo estas sumatorias en
el valor de m = 1 conducir
a a:
a1 (m + v)(m + v 1) + (m + v) v 2 = 0
Por lo tanto, a1 = 0 para que la igualdad se cumpla para cualquier valor permitido de v y m.
Ahora se procede a encontrar una relaci
on de recurrencia. Para esto se toma en cuenta la ecuacion (8). Como ya se
utilizaron los valores de m que generan las potencias xv y xv+1 , por lo que se consideran en el siguiente paso. Ahora se
tomar
an en cuenta las potencias de xm+v para m = 2, 3.... Notar que las primeras dos y u
ltima sumatoria de la ecuaci
on
(8) generan la potencia x2+v con el valor de m = 2, mientras que la tercera sumatoria genera tal potencia con el valor de
m = 0. Para que los valores de m en las 4 sumatorias generen las mismas potencias de xm+v (m = 2, 3...) se realiza una
pequea manipulaci
on alebraica en la tercera sumatoria.
Primero realizar el cambio de variable (SOLO en la tercera sumatoria) m0 = m + 2. Entonces se tiene(recordando que
estamos tomando valores de m comenzando en 2 en la primera, segunda y cuarta sumatoria):
am (m + v) (m + v 1) xm+v +
m=2
X
m=2
am (m + v) (m + v 1) xm+v +
am (m + v) xm+v + 2
m=2
am xm+v+2 v 2
m=0
am (m + v) xm+v + 2
X
m0 =2
m=2
am0 2 xm +v v 2
X
m=2
X
m=2
am xm+v
am xm+v
y como el m0 es una variable muda, no hay problema en dejarlo todo en trminos de m. Entonces:
=
=
=
=
=
=
m=2
am (m + v) (m + v 1) xm+v +
am (m + v) xm+v + 2
m=2
am2 xm+v v 2
m=2
am xm+v
m=2
am (m + v) (m + v 1) xm+v + am (m + v) xm+v + 2 am2 xm+v + am v 2 xm+v
m=2
am (m + v) (m + v 1) + am (m + v) + 2 am2 am v 2 xm+v
m=2
am (m + v) (m + v 1) + (m + v) v 2 + 2 am2 xm+v
m=2
am (m + v) (m + v 1 + 1) v 2 + 2 am2 xm+v
m=2
am m2 + 2mv + v 2 v 2 + 2 am2 xm+v
m=2
am m2 + 2mv + 2 am2 xm+v
m=2
Por lo tanto:
X
am m2 + 2mv + 2 am2 xm+v = 0
m=2
Lo cual expresa que a sumatoria de todas las potencias de xm+v (m 2) debe ser cero para cualquier valor de x. Entonces,
por tener que cumplirsela igualdad para cualquier x, el coeficiente de xm+v de la ecuacion anterior debe ser igual a cero,
es decir, am m2 + 2mv + 2 am2 = 0. Despejando am se obtiene la relacion de recurrencia buscada:
am =
2 am2
m (m + 2v)
(9)
Con esta u
ltima relaci
on se encontrar
an los valores de am m = 2, 3, .... Entonces, observar que sustituyendo valores impartes
de m en (9) siempre dar como resultado un m
ultiplo de a1 :
a3
a5
=
=
a7
=
=
...
2 a1
3 (3 + 2v)
2 a3
5 (5 + 2v)
4
a1
5 (5 + 2v)
3 (3 + 2v)
2
a5
7 (7 + 2v)
6
1
a1
7 (7 + 2v)
5 (5 + 2v)
3 (3 + 2v)
De manera general se puede decir que am a1 para m = 3, 5, 7.... Recordando que a1 = 0, se concluye que todos los
coeficientes con subndice impar de la serie de potencias propuesta, ecuacion (4), son igual a cero. Por lo tanto, s
olo queda
determinar los valores de los coeficientes con subndice par, y cero, para encontran la solucion completa. Para esto, se
modificar
a la ecuaci
on de recurrencia (9) para que de coeficientes con subndices pares simplemente haciendo el cambio
de varialbe 2m0 = m, entonces se obtiene la relacion de recurrencia:
a2m =
2 a2m2
22 m (m + v)
m = 1, 2, 3, 4...
Recordar que m0 es una variable muda, por lo tanto despues de hacer el cambio de variable se puede expresar la ecuaci
on
sin los 0 . Ahora se evaluar
an los primeros 3 valores de m en la ecuacion anterior para observar que a2 m se puede expresar
en terminos de a0 . Entonces:
(m = 1) a2
(m = 2) a4
=
=
=
(m = 3) a6
2 a0
+ 1)
22 (1) (v
2 a2
+ 2)
4 a0
24 (1)(2) (v + 1) (v + 2)
22 (2) (v
4 a0
24 2! (v + 1) (v + 2)
2 a4
22 (3) (v + 3)
6 a0
26 (1)(2)(3) (v + 1) (v + 2) (v + 3)
6 a0
26 3! (v + 1) (v + 2) (v + 3)
Observar que los signos de los resultados encuadrados, comenzando con el negativo en a2 , se van alternando. Tambien,
la potencia de y el 2 del denominador siempre tienen un exponente igual al doble de m. Y el resultado siempre queda
multiplicado por a0 y dividido por m!. Todo lo anterior se resume expresando a a2m de la siguiente manera:
m
a2m =
2m
(1) a0
m!(v + 1)(v + 2)...(v + m) 2
m = 1, 2, 3...
a2m
2m+v
(1) a0
m!(v + 1)(v + 1)(v + 2)(v + 3)...(v + m) 2
m
2m+v
(1) a0
=
m!(v + 2)(v + 2)(v + 3)...(v + m) 2
= ...
m
2m+v
(1) a0
=
m!(v + m + 1) 2
=
a2m x2m+v
m=0
2m+v
(1)
x2m+v
m!(v
+
m
+
1)
2
m=0
x 2m+v
(1)
m!(v + m + 1) 2
m=0
5
A esta ecuaci
on, con = 1 se le conoce como Funci
on de Bessel de primer tipo de orden v, y se denota con la
siguiente simbologia:
m
x 2m+v
X
(1)
Jv (x) =
(10)
m!(v + m + 1) 2
m=0
La cual es una soluci
on a la ecuaci
on parametrica de Bessel y en el caso de ser = 1 es la solucion a la ecuaci
on diferencial de Bessel. Recordemos que esta es la solucion para la primera raz de la ecuacion indicial. Para la segunda raz,
simplemente se sustituye v por v en la ecuaci
on (10).
Una de las formas m
as comunes de la funci
on de Bessel es con v siendo un n
umero n entero mayor o igual que cero.
Bajo esta condici
on la ecuaci
on (10) se reduce a la siguiente forma:
Jn (x) =
2.3.
x 2m+v
(1)
m!(n + m)! 2
m=0
(n 0)
(11)
Soluci
on General de la ecuaci
on de Bessel en t
erminos de Jv (x)
En este punto, se puede construir una combinacion lineal de las funciones Jv (x) y Jv (x). Pero esto est
a restringido
para toda x 6= 0 y v 6= entero. Entonces
y(x) = c1 Jv (x) + c2 Jv (x)
Observar que si v es entero, es decir, tomando el lmite cuando v n:
lm aJv (x)
vn
= Jn (x)
=
(1)m x 2m+n
m!(m n)! 2
m=0
x
-3
-2
-1
-5
-10
Notar que cuando x 0 se aproxima a un entero(por la izquierda o por la derecha), el valor de lafunci
on tiene a
infinitos. Entonces, la u
ltima expresi
on se puede escribir como:
Jn (x)
=
=
(1)m x 2mn X
(1)m x 2mn
+
m!(m n)! 2
m!(m n)! 2
m=n
m=0
n1
X
0+
(1)m x 2mn
m!(m n)! 2
m=n
notar que los primeros n 1 terminos son cero debido a la tendencia infinita de la funcion Gamma para enteros negativos.
Ahora se hase el cambio de variable m = n + s a la u
ltima expresion.
Jn
(1)m x 2mn
m!(m n)! 2
m=n
X
(1)n+s x 2s+n
(n + s)!(s)! 2
s=0
(1)n
(1)n Jn (x)
X
s=0
(aplicando m = n + s)
x 2s+n
(1)s
(n + s)!(s)! 2
Por lo tanto Jn (x) = (1)n Jn (x) para n entero, es decir, Jn y Jn (x) son linealmente dependientes. Y es por esto que
la soluci
on genreal que se tiene restringe a v a no ser entero.
2.4.
Gr
afica de Jn (x)
A continuacin se muestra la gr
afica de la funcion Jn (x). Notese que Jo (x) comienza en y = 1, mientras que el resto
comienza en y = 0
1.0
J0 HxL
0.8
J1 HxL
0.6
J2 HxL
J5 HxL
0.4
J10 HxL
0.2
10
15
20
-0.2
-0.4
2.6.
Definici
on de Yv (x) y Yn (x)
Hasta el momento se ha encontrado una solucion general de la ecuacion diferencial de Bessel la cual es una combinaci
on
lineal de las funciones Jv (x) y Jv (x). Tal solucion, como ya se menciono, es solo valida para valores no enteros de v y
para toda x 6= o. Entonces se busca una fuci
on que sea una combinacion de Jv (x) y Jv (x) que no se vuelva linealmente
independiente para valores enteros de v. Tal solucion se expresa usualmente de la siguiente manera:
Yv (x) =
(12)
n1
h x
i xn X
2
(1)m1 (hm + hm+n ) 2m xn X (n m 1)! 2m
Jn (x) ln
+ +
x
2
m=0 22m+n m!(m + n)!
m=0 22mn m!
X
y2 (x) = y1 (x) ln(x) +
Am xm+r2
(14)
m=1
Am x m
(15)
m=1
J0 (x) X
+
Am mxm1
x
m=1
(16)
Am m(m 1)xm2
x
x
x2
m=1
(17)
J0 (x) X
+
Am m(m 1)xm1
xJ000 (x) ln(x) + J00 (x) + J00 (x)
x
m=1
J0 (x) X
J00 (x) ln(x) +
+
Am mxm1
x
m=1
!
+
!
Am x
m+1
m=1
Am m(m 1)xm1 +
m=1
Am m2 xm1
= 2J00 (x) +
Am mxm1 +
Am m2 xm1 +
m=1
Am mxm1 +
m=1
Am xm+1
Am xm+1
m=1
Am xm+1 = 0
m=1
X
(1) x
2 m1
A
m
x
+
Am xm+1 = 0
+
m
2m2 m!(m 1)!
2
m=1
m=1
m=1
m 2m1
X
m=1
Am mxm1 +
m=1
m=1
m=1
(18)
Donde se sustituy
o el valor de 2J00 (x) y se utiliz
o la ecuacion (13) para decir que xJ000 (x) + J00 (x) + xJ0 (x) = 0. Bajo los
mismos argumentos que se utilizaron para igualar a cero las potencias de x de la ecuacion (5), se obtendra el valor de A1
y una relaci
on de recurrencia para encontrar los coeficientes Am .
La potencia m
as baja de x tomando en cuenta todas las series en la ecuacion (18) lo da la segunda sumatoria con
m = 1, lo que conduce a A1 = 0.
Ahora observar los coeficientes de x2 y x4 (notar que la primera sumatoria solo contiene potencias impares):
32 A3 + A1 = 0
52 A5 + A3 = 0
Si se analiza un poco, estas expresiones se pueden reescribir de la siguiente manera:
(2(1) + 1)2 A2(1)+1 + A(2(1)1) = 0
(2(2) + 1)2 A2(2)+1 + A(2(2)1) = 0
Y en general se ve que
(2s + 1)2 A2s+1 + A2s1 = 0
8
s = 1, 2, 3...
(19)
22(2) [(2)
Y de manera general, los coeficientes de las potencias impares de x se relacionan por la recurrencia:
(1)s+1
+ (2s + 2)2 A2s+2 + A2s = 0
+ 1)!s!
22s (s
Despejando A2s+2 = A2(s+1) y realizando el cambio de variable s + 1 = m se obtiene la recurencia de los coeficientes pares
de las series los cuales corresponden a las potencias impares de x:
A2(m1)
(1)m1
1
(1)m1
A2(m1) 2 2 = 2m 2 2 2
A2m = 2(m1)
2 m
2 m! m
2 m
2
m!(m 1)!
Observar que esta recurrencia de A2m est definida en terminos de coeficiente A2(m1) . De la misma manera, el trmino
A2(m1) debe estar definido en terminos del coeficiente A2(m2) , y as consecutivamente. Esto sugiere que el coeficiente
A2m est
a definido en terminos de de todos los coeficientes con subndice pares anteriores. Tambien notar que se puede
obtener el valor de cualquier coeficiente par sustituyendo m = m n, con n = 1, 2, .... Ahora se sustituye el valor de
A2(m1) en la recurrencia de A2m y luego se sustituira el valor de A2(m2) en la resultante para observar un patr
on que
se forma.
A2(m1)
(1)m1
A2m =
22m (m!)2 m
22 m2
A2(m2)
(1)m1
1
(1)m1 22
=
22m (m!)2 m 22 m2 22m [(m 1)!]2 (m 1) 22 (m 1)2
A2(m2)
(1)m1
(1)m1
=
+
+
22m (m!)2 m 22m (m!)2 (m 1) 24 m2 (m 1)2
A2(m3)
(1)m1
(1)m1
1
(1)m1 24
=
+
+
+
=
22m (m!)2 m 22m (m!)2 (m 1) 22m (m!)2 (m 2) 26 m2 (m 1)2 (m 2)2
Obserbar que conforme se sutituyen m
as y m
as valores de Amn en la recurrencia, de cada termino difiere solo en un
factor de 1/q (q = m, m 1, ..., 3, 2, 1). Entonces la recurrencia se escribe de la siguiente manera:
(1)m1 1
1
1
1 1
A2m =
+
+
+
...
+
+
+
1
22m (m!)2 m m 1 m 2
3 2
m1 X
(1)
1
=
2m
2
2 (m!) m=1 m
=
(1)m1 hm
22m (m!)2
(20)
P
1
Donde hm representa la serie arm
onica m=1 m
.Tomando en cuenta que los coeficientes con subndice impar son cero
y sustituyendo (20) en (15) se obtiene y2 (x). Por lo tanto:
y2 (x) = J0 (x) ln(x) +
X
(1)m1 hm x 2m
(m!)2
2
m=1
(21)
X
2
x
(1)m1 hm x 2m
Y0 (x) =
( + ln )J0 (x) +
(22)
2
(m!)2
2
m=0
Donde es la Gamma de Euler y hm es la serie armonica.
Cabe mencionar que la soluci
on general de la ecuacion diferencial de Bessel es una cominacion lineal de Jv (x) y Yv (x):
y(x) = c1 Jv (x) + c2 Yv (x)
2.7.
Gr
afica de Yn (x)
0.5
Y0HxL
Y1HxL
Y2HxL
10
-0.5
Y5HxL
Y10HxL
-1.0
-1.5
-2.0
2.8.
d2 y
dy
(x2 + v 2 ) = 0
+x
2
dx
dx
(23)
am xm+r
m=0
Sustituyendo la soluci
on propuesta, y suprimera y segunda, en (23) e igualando a cero los coeficientes de la potencia xr se
obtiene la misma ecuaci
on indicial (7). Por lo que una vez mas los valores de r son r1 = v( 0) y r2 = v. Sustituyendo
r1 en la soluci
on propuesta y sustituyendo en la ecuacion (23) se obtiene la siguiente expresion muy similar a la de la
secci
on 3, ecuaci
on (8).
X
m=0
am (m + v) (m + v 1) xm+v +
am (m + v) xm+v
m=0
X
m=0
10
am xm+v+2 v 2
X
m=0
am xm+v = 0
(24)
De acuerdo a (24), de las potencias de xv+1 se concluye que a1 = 0. Despues, tomando en cuenta los coeficientes las
potencias de xm+v para m 2, se puede observar que:
am [(m + v)(m + v 1) + (m + v) v 2 ]am2 = am [m2 + 2mv] am2 = 0
Y por lo tanto la relaci
on de recurrencia es:
am =
am2
m(m + 2v)
(25)
Lo cual es muy parecida a (9). Sabiendo que a1 = 0, entonces la recurrencia indica que todos los coeficientes con subndice
impar son cero. Ahora se busca el subndice par. para esto se hace el cambio de variable m = 2m a (25), entonces:
a2m =
a2(m1)
2
2 m(m + v)
Mediante un an
alisis igual al utilizado en la seccion 2.1, se concluye que:
a2m =
22m m!(v
a0
+ 1)(v + 2)...(v + m)
Una vez m
as, por conveniencia matem
atica, se propone
a0 =
Entonces
4a2 m =
1
2v (v + 1)
1
22m+v m!(m + v + 1)
Sustituyendo el resultado anterior en (24) se obtiene la funcion modificada del primer tipo:
Iv (x) =
x 2m+v
1
m!(m + v + 1) 2
m=0
2.9.1.
Relaci
on entre Iv (x) y Jv (x)
Una relaci
on interesante de Jv (x) ocurre cuando se multiplica por iv .
iv Jv (ix)
2m+v
(1) iv
m!(v + m + 1)
m=0
m
X
(1) iv i2m+v x 2m+v
m!(v + m + 1) 2
m=0
m
X
(1) (1)m x 2m+v
m!(v + m + 1) 2
m=0
=
=
ix
2
2m
x 2m+v
(1)
m!(v + m + 1) 2
m=0
x 2m+v
1
m!(v + m + 1) 2
m=0
La ecuaci
on final es identica a (26). Por lo tanto:
Iv (x) = iv Jv (ix)
11
(26)
2.9.2.
Gr
afica de In (x)
A continuaci
on se muestra una gr
afica de In (x) para diferentes valores enteros de n. Notar que la funcion ya no oscila
como las funciones del primer y segundo tipo.
1.0
0.8
I1HxL
I0HxL
0.6
I2HxL
I5HxL
0.4
0.2
10
2.10.
La motivaci
on para las funciones modificadas del segundo tipo es la misma que para las no modificadas.Se busca una
combinaci
on lineal de Iv (x) e Iv (x) an
aloga a Yv (x), con Yn (x) cuando v n, siendo n un n
umero entero. La ecuaci
on
modificada del segundo tipo se define de la siguiente manera:
2.10.1.
Kv (x)
kn (x)
Iv (x) Iv (x)
2
sin(v)
lm Kv (x)
(27)
(28)
vn
Gr
afica de Kn (x)
A continuaci
on se muestra una gr
afica de Kn (x) para diferentes valores enteros de n. Notar que la funcion ya no oscila
como las funciones del primer y segundo tipo.
1.0
K1HxL
0.8
0.6
0.4
K0HxL
K2HxL
0.2
K5HxL
K10HxL
12
10
3.
A continuaci
on se demostrar
a la ortogonalidad de las funciones de Bessel Jv (x) en el intervalo [0, a], donde a es un
n
umero real mayor a cero. Esto se demostrar
a comprobando que la integral
Z a
a2
vi
vj
2
xJv
x Jv
x dx =
[Jv+1 (vi )] ij
i, j = 1, 2, 3...
a
a
2
0
Donde x es la func
on de peso, ij es la delta de Kronecker y vi y vj son ceros de Jv (x), es decir Jv (vi ) = Jv (vj ) = 0.
Se parte de las soluciones a las ecuaciones:
x2 y 00 + xy 0 + (k 2 x2 v 2 )y = 0
k = constante
(29)
x2 y 00 + xy 0 + (k 02 x2 v 2 )y = 0
k 0 = constante
(30)
Las cuales son J( kx) y J( k x) respectivamente. Por el momento considerar solo la ecuacion (29).Sustituyendo los respectivos
rdenes de derivada de Jv (kx) y dividiendo ambos lados de la ecuacion entre x se obtiene:
o
xk 2 Jv00 (kx) + Jv0 (kx) = (v 2 k 2 x2 )Jv (kx)
Observar que el lado izquierdo de la ecuaci
on es la derivada de un producto, entonces:
d [xkJv0 (kx)] = (v 2 k 2 x2 )Jv (kx)dx
Multiplicando ambos lados por Jv (k 0 x) e integrando:
Z a
Z
2
2 2
0
(v k x )Jv (kx)Jv (k x)dx =
Se aplican los mismos pasos para llegar a una expresion similar partiendo de la ecuacion (30). Entonces:
Z a
Z a
2
2 2
0
0
0
a
(v k x )Jv (kx)Jv (k x)dx = Jv (k x) [xkJv (kx)] |0
xkk 0 Jv0 (kx)Jv0 (k 0 x)dx
Z
0
a
(31)
Se eligen valores de k y k 0 de manera que f (ka) = f (k 0 a) = 0, es decir, que su producto con a sea un cero de la funci
on
de Bessel. Ahora se definen vi = ka y vj , el i-esimo y j-esimo cero de Jv (kx) y Jv (k 0 x) respectivamente. Entonces:
k=
vi
a
k0 =
v j
a
para
i 6= j
(32)
Se toma que la integral converge a cero cuando i 6= j debido a que si i = j ocurre una forma indeterinada en el
denominador debido a las k 0 s. Este caso se trata a continuacion. Retomando la ecuacion (16),se desea evaluar el caso en
13
el que k = k 0 . Esto se realiza a traves de un lmite con k 0 k. Despues se utiliza la regla de Lhopital para eliminar la
forma indeterminada 00 .
Z
l
m
0
k k
=
=
=
=
=
=
l
m
0
k k
lm
k0 k
(k 2 k 02 )
(33)
0
(x), demostrada en la seccion 6).
(En el u
ltimo paso se utiliz
o Jv0 (x) = Jv+1
Los resusltados (32) y (33) se pueden sintetisar de la siguiente manera:
xJv (
0
vi
vj
a2 (Jv+1 (vi ))
x)Jv (
x)dx =
ij
a
a
2
(34)
Lo cual comprueba que las funciones de Bessel son ortogonales en el intervalo [0, a].
4.
A continuaci
on se presenta una situaci
on en la que se requiere de funciones de Bessel para modelar la temperatura de
estado estable de un cilindro circular de radio 2 cerrado como el que se muestra en la siguiente figura 6.
14
U0
U (2, z)
U (r, 0)
0r2
0z4
Donde U representa la temperatura a una distancia r del origen y altura z. Para encontrar tal funcion se resolver
a la
ecuaci
on de calor:
U
2 U =
(35)
t
on (35) en coordenadas
Como se habla de temperatura de estado estable, entonces U
t = 0. Ahora se expande la ecuaci
cilindricas, debido a la simetra del problema, y se toma en cuenta que debido a las condiciones en la frontera U = U (r, z):
2U
1
U
1 2U
+
2 U =
r
+ 2
r r
r
r 2
z 2
2
U
U
2U
1
r 2 +
+
=
r
r
r
z 2
2U
1 U
2U
= r 2 +
+
r
r r
z 2
= 0
Por lo tanto la ecuaci
on diferencial a resolver queda de la siguiente manera:
r
1 U
2U
2U
+
+
=0
2
r
r r
z 2
(36)
+ 1r R
1 2Z
r
=
=
(37)
R
Z z 2
Donde es una constante que tomar
a valores a nuestra conveniencia. Entoces, tomando el primer y u
ltimo termino de
(37) se observa que:
1
R00 + R0 + R = 0
r
Ahora se define = 2 y se multiplica toda la ecuacion anterior por r2 :
r2 R00 + rR0 + 2 r2 R = 0
Lo cual tiene la misma forma que la misma forma que (3) con v = 0. Por lo tanto:
R(r) = c1 J0 (r) + c2 Y0 (r)
(38)
(39)
punto. El segundo factor de (39) cumple con esta condicion solo si c4 = 0. El segundo valor en la frontera obliga a que
J0 (2) = 0, por lo tanto debe igual a los valores propios positivos. Entonces
n = n2
(40)
denota el n-esimo valor propio positivo. Para encontrar una funcion gneral, intentara expresar U como una funci
on de
Fourier Bessel, la cual se ve de la siguiente manera:
f (x) =
ci Jn (x)
(41)
n=1
con
ci =
2
2
b2 Jn+1
(i b)
(42)
U (r) =
Un (r) =
n=1
An sinh(n z)J0 (n r)
(43)
(44)
n=1
An sinh(4n )J0 (n r)
(45)
n=1
2U0
22 J12 (2n )
rJ0 (n r)dr
0
d
[rJ1 (r)]
dt
Entonces la expresi
on queda:
An sinh(4n )
=
=
=
Entonces
An =
Z 2n
2U0
d
[tJ1 (t)] dt
22 n2 J12 (2n ) 0
dt
2U0
n
tJ1 (t)|2
0
2
2
2 n J12 (2n )
U0
n J1 (2n )
U0
n sinh(4n )J1 (2n )
(46)
X
sinh(n Z)J0 (n r)
U (r, z) = U0
16
(47)
5.
Funci
on Gamma
De la definici
on de la funci
on Gamma: (n) =
et tn1 dt Se eval
ua (n + 1) y se integra por partes.
Z
(n + 1)
et tn dt
=
0
)|
0
t (e
+
0
Z
n1 t
t
e dt
= n
ntn1 et dt
= n(n)
6.
2n
Jn (x)
x
(48)
(49)
Propiedad 1
Restando (49) de (48) se obtiene
n
Jn (x) Jn0 (x)
x
Multiplicando por x n se observa que el lado derecho es la derivada de un producto.
Jn+1 (x) =
d
xn Jn (x)
dx
d
xn Jn (x)
dx
Propiedad 2
Restando (49) y (48) se obtiene
n
Jn (x) + Jn0 (x)
x
Multiplicando por xn se observa que el lado derecho es la derivada de un producto.
Jn1 (x) =
d
(xn Jn (x))
dx
d
(xn Jn (x))
dx
Referencias
- Arfken and Weber. Mathematical Methods for Physicists. 5thth ed. United States Of America: Harcourt Academic
Press, 2001. 516,669-711. Print.
- Kreyszing, Erwin. Matem
aticas Avanzadas para Ingeniera. Vol. I. Mxico: Limusa Wiley, 2007. 249-77. II vols. Print.
- Zill, Dennis G., and Jacqueline M. Dewar. C
alculo Vectorial, Analisis de Fourier y Analisis Complejo. 3ra ed. Mexico:
Mc Graw Hill, 2008. 357-58. Print.
- Spiegel, Murray R. Matem
aticas Avanzadas para Ingeniera y Ciencias. Mexico: Mc Graw Hill, 2001. 277-97. Print.
- Watson, G N. A Treatise on the Theory of Bessel Functions. Internet Achive. N.p., 10 Mar. 2001. Web. 3 Mar. 2014.
<https://archive.org/details/ATreatiseOnTheTheoryOfBesselFunctions>.
- Sober, D.Orthogonality and Normalization of Bessel Functions. . N.p., 10 Dec. 2010. Web. 3 Mar. 2014. <http://faculty.cua.edu/so
- Carreto, Larry. Frobenius method Applied to Bessels Equation. N.p., 14 Oct. 2004. Web. 11 Apr. 2014. <http://www.csun.edu/ lc
- Sankar, M. Special Functions. N.p., n.d. Web. 3 Mar. 2014. <http://elearning.vtu.ac.in/P8/e-notes/
06MAT41/Unit-4-MS.pdf>.
17