5 - Funciones de Bessel

E
E
c
c
u
u
a
a
c
c
i
i
o
o
n
n
e
e
s
s
D
D
i
i
f
f
e
e
r
r
e
e
n
n
c
c
i
i
a
a
l
l
e
e
s
s

d
d
e
e
O
O
r
r
d
d
e
e
n
n
S
S
u
u
p
p
e
e
r
r
i
i
o
o
r
r

P Pa ar rt te e V V

F
F
u
u
n
n
c
c
i
i
o
o
n
n
e
e
s
s
d
d
e
e
B
B
e
e
s
s
s
s
e
e
l
l

I In ng g. . R Ra am m n n A Ab ba as sc ca al l

P Pr ro of fe es so or r T Ti it tu ul la ar r d de e A An n l li is si is s d de e S Se e a al le es s y y S Si is st te em ma as s
y y T Te eo or r a a d de e l lo os s C Ci ir rc cu ui it to os s I II I
e en n l la a U UT TN N, , F Fa ac cu ul lt ta ad d R Re eg gi io on na al l A Av ve el ll la an ne ed da a
B Bu ue en no os s A Ai ir re es s, , A Ar rg ge en nt ti in na a

2 20 00 06 6

Ecuaciones Diferenciales de Orden Superior. 5.3
Parte 5 Funciones de Bessel.

R. Abascal - Anlisis de Seales y Sistemas

Funciones de Bessel.

5.1 - Ecuacin diferencial de Bessel:

Segn se vio en la Tercera Parte que una ecuacin diferencial de segundo orden, con coeficientes
variables responde a la frmula general

( x - a ) P
2
P . y" + ( x - a) . ( x ) . y' + ( x ) . y = 0 (3.2)

La ecuacin

xP
2
P y" + x y' + ( xP
2
P - P
2
P ) y = 0 (5.1)

que se conoce como Ecuacin Diferencial de Bessel, y en la que es un nmero real no negativo,
constituye un caso particular entre las ecuaciones diferenciales de segundo orden. Comparando
entre si las ecuaciones (3.2) y (5.1), surgen a primera vista las siguientes relaciones:

a = 0

( x ) = 1 ,

y ( x ) = xP
2
P - P
2
P

Solucin de la Ecuacin de Bessel:

Cualquier funcin y ( x ) que satisfaga la ecuacin (5.1) ser una solucin particular de la
Ecuacin de Bessel.

Adems, si yB
1
B ( x ) e yB
2
B ( x ) son ambas soluciones de aquella, entonces tambin lo son A yB
1
B ( x )
y B yB
2
B ( x ), donde A y B son dos constantes arbitrarias:

xP
2
P A yB
1
B" ( x ) + x A yB
1
B' ( x ) + A ( xP
2
P - P
2
P ) yB
1
B( x ) = 0

xP
2
P B yB
2
B" ( x ) + x B yB
2
B' ( x ) + B ( xP
2
P - P
2
P ) yB
2
B( x ) = 0

Sumando miembro a miembro estas dos igualdades, obtenemos:

xP
2
P ( A yB
1
B" + B yB
2
B" ) + x ( A yB
1
B' + B yB
2
B' ) + ( xP
2
P - P
2
P ) ( A yB
1
B+ B yB
2
B ) = 0 (5.2)

Si llamamos:
y = A yB
1
B+ B yB
2
B (5.3)
entonces:
y' = A yB
1
B' + B yB
2
B'

e y" = A yB
1
B" + B yB
2
B"

Lo que demuestra que la (5.3) es tambin solucin de la ecuacin de Bessel.

Vamos a tratar ahora de hallar una solucin particular de la ecuacin, es decir, vamos a definir
cmo debe ser la funcin y ( x ) para que sea solucin de dicha ecuacin.

Ecuacin de
Bessel
Parte 5 Funciones de Bessel

A tal fin, comenzaremos por sustituir en la misma la solucin general (3.4), es decir:

y ( x ) = cB
k
B ( x - a ) P
k+
P
k=0

Por razones de orden prctico, hemos cambiado el nombre del ndice m por k. Hecho lo cual,
reemplazamos el valor de y ( x ) en la ecuacin de Bessel, con lo que obtenemos la ecuacin:

(k + ) (k + -1) cB
k
B xP
k+
P+ (k + ) cB
k
B xP
k+
P+ cB
k
B xP
k++2
P- P
2
P cB
k
B xP
k+
P = 0P
k=0 k=0 k=0 k=0
(5.4)

Esta ecuacin debe cumplirse para todo x, lo que a su vez exige que sean nulos todos los
coeficientes que multiplican a cada una de las potencias de x. Esta conclusin nos conduce a
encontrar ciertas ecuaciones a partir de las cuales podremos determinar el valor de tales
coeficientes.

Empecemos por el caso en que k = 0. El coeficiente de xP

Pest dado precisamente por la suma de
los coeficientes que multiplican a xP

Pen cada una de las sumatorias, es decir:

( - 1 ) cB
o
B + cB
o
B - P
2
P cB
o
B = 0

Esta igualdad se conoce como Ecuacin Indicial, porque podemos a partir de ella calcular los
coeficientes cB
k
B (Ver apartado 3.1).

Para resolver la Ecuacin Indicial es necesario que se cumpla que cB
o
B 0, pues de lo contrario
como puede verse por simple inspeccin de la ecuacin, si cB
o
B= 0,B

Bnos encontraramos en un
callejn sin salida. Simplificando, hallamos que:

P
2
P P
2
P = 0

Las soluciones de esta ecuacin algebraica de segundo grado son:

B
1
B = + y B
2
B = -

De modo similar, si k = 1, la suma de los coeficientes de xP
1+
P, que tambin debe ser nula, es:

( + 1 ) cB
1
B + ( + 1 ) cB
1
B - P
2
P cB
1
B = ( P
2
P + 2 + 1 - P
2
P ) cB
1
B = 0

Reemplazando en ella la primera de las dos soluciones posibles:

= B
1
B = +
tenemos:
( P
2
P + 2 + 1 - P
2
P ) cB
1
B = ( 2 + 1 ) cB
1
B = 0

Como establecimos que es un nmero no negativo, entonces cB
1
B deber ser necesariamente nulo.

Ecuacin
I ndicial


Nota: Incluso si hubiramos aceptado la segunda solucin:

= B
2
B = -

habramos obtenido:

( P
2
P - 2 + 1 - P
2
P ) cB
1
B = ( - 2 + 1 ) cB
1
B = 0

por lo que cB
1
B debera ser tambin igual a cero, salvo en el caso puntual en que fuera igual a
0,5TP
(1)
PT. Es decir que para la generalidad de los casos se cumple la condicin

cB
1
B = 0

Finalmente, para k = 2, 3, 4, . . . , obtenemos la forma general:

( k + ) ( k + - 1 ) cB
k
B + ( k + ) cB
k
B + cB
k -2
B - P
2
P cB
k
B = 0

( k + )P
2
P cB
k
B - ( k + ) cB
k
B + ( k + ) cB
k
B - P
2
P cB
k
B+ cB
k -2
B= 0

Al simplificarla, resulta

[ ( k + )P
2
P- P
2
P ] cB
k
B+ cB
k -2
B= 0

Despejando cB
k
B obtenemos la siguiente frmula de recurrencia que permite obtener todos los
coeficientes, pares e impares, a partir del conocimiento de los dos primeros:

cB
k
B =
- cB
k -2
B

(k + )P
2
P- P
2

De aqu, como cB
1
B es igual a cero se deduce que todos los coeficientes de ndice impar son nulos:

cB
1
B = cB
3
B = cB
5
B = cB
7
B = . . . = cB
2s+1
B= 0

Para determinar los coeficientes de ndice par, sabiendo que = , empezaremos por
reemplazar este valor en la frmula de recurrencia:

cB
k
B =
- cB
k -2
B
=
- cB
k -2
B
=
- cB
k -2
B

(k + )P
2
P- P
2
Pk P
2
P + 2 k + P
2
P- P
2
Pk ( k + 2 )P

Como k es un nmero par, podemos hacer:

k = 2 m, con m = 0 , 1 , 2, 3, . . .

con lo cual, las frmulas anteriores se modifican como sigue:

cB
2m
B =
- cB
2 ( m - 1)
B
=
- cB
2 ( m - 1)
B

2 m ( 2 m + 2 ) 4 m ( m + )P

TP
(1)
PT Por ahora dejamos de lado el caso particular en el que = 0,5, que veremos oportunamente.

Esta frmula nos permitir calcular todos los coeficientes de ndice 2m, a partir del conocimiento
de cB
o
B, pero como ste no est definido, se acostumbra adoptar para el mismo el siguiente valor,
que conduce a aplicaciones interesantes de las funciones de Bessel:

cB
o
B =
1
=
1

2P

P! 2P

P ( + 1)

A partir de aqu, apelando a la frmula de recurrencia, podemos obtener los dems coeficientes:

Para cB
2
B ( En cuyo caso, m = 1 ),

cB
2
B =
- cB
o
B
=
- 1

4 ( 1 + ) 2P
2
P ( + 1 ) 2P

P ( + 1 )
Si recordamos que

( n + 1 ) = n . ( n )

la expresin del coeficiente cB
2
B se puede reformular como sigue:

cB
2
B =
- 1
=
- 1

2P
2+
P ( + 1 ) ( + 1 ) 2P
2+
P ( + 2 )

De modo similar, para cB
4
B ( m = 2 ) ser:

cB
4
B =
- cB
2
B
=
1
=
1

8 ( 2 + ) 8 . 2P
2+
P ( + 2 ) ( + 2 ) 2P
4+
P 2! ( + 3 )

Por reiteracin, esta ltima frmula conduce a la ecuacin siguiente, que permite calcular en
forma directa cualquier coeficiente de ndice par:

cB
2m
B =
( - 1 ) P
m
P
(5.5)
2P
2m+
P m! ( + m + 1 )

5.2 - Funciones de Bessel:

Aplicando para los coeficientes de la ecuacin (3.6) el valor dado por la ecuacin anterior, y
recordando que hemos elegido = , se obtiene una solucin particular de la Ecuacin de
Bessel, que se conoce como Funcin de Bessel de primera clase y que se designa como JB
B ( x ):

JB
B ( x ) = xP
P
( - 1 ) P
m
PxP
2m
P
(5.6)
m=0 2P
2m+
P m! ( + m + 1 )

El exponente 2m en el numerador tiene en cuenta que los coeficientes de ndice impar son nulos.

Funcin de
Bessel de 1
Clase


Si en lugar de = hubiramos tomado la segunda solucin de la ecuacin indicial, es decir
= , habramos llegado a la solucin:

JB
B ( x ) = xP
P
( - 1 ) P
m
PxP
2m
P

m=0 2P
2m-
P m! ( m + 1 )

Si no es un entero, cualquier combinacin lineal de estas dos ltimas ecuaciones es una
Solucin General de la ecuacin diferencial de Bessel. Por ejemplo:

y ( x ) = A JB
B ( x ) + B JB
B ( x )

donde A y B son nmeros complejos arbitrarios. En efecto, esta ecuacin no es otra que la (5.3),
en la que
yB
1
B = JB
B ( x )

e yB
2
B = JB
B ( x )

Por el contrario, si es un entero, = n, se demuestra que JB
n
B ( x ) y JB
-n
B ( x ) son linealmente
dependientes entre s, y la solucin anterior no es vlida. En efecto, las ecuaciones son ahora:

JB
n
B ( x ) = xP
n
P
( - 1 )P
m
PxP
2m
P(5.7)

m=0 2P
2m+n
P m! ( n + m ) !

y JB
-n
B ( x ) = x P
-n
P
( - 1 )P
m
PxP
2m
P(5.8)

m= n 2P
2m-n
P m! ( m - n ) !

En la segunda de ellas, los ndices comienzan a partir de m = n, porque, como el factorial de un
nmero entero negativo es infinito, todos los trminos para los que m es menor que n son nulos,
al estar divididos por una cantidad infinita.

Ahora demostraremos la dependencia lineal entre ambas soluciones. Empezaremos llamando:

m = n + s
Por lo tanto,
m - n = s,

y 2 m - n = 2 n + 2 s - n = 2 s + n

Reemplazando en la (5.8) resulta:

JB
-n
B ( x ) =
( - 1 ) P
m
PxP
2m-n
P
=
( - 1 ) P
n+s
PxP
2s+n
P

m=n 2P
2m-n
P m! ( m - n )! s=0 2P
2s+n
P( n + s )! s!

Es decir


JB
-n
B ( x ) = ( - 1 )P
n
PxP
n
P
( - 1 ) P
s
Px P
2s
P

s=0 2P
2s+n
Ps! ( n + s )!

Si cambiamos el nombre del ndice s por m, esta ecuacin es igual a ( - 1 ) P
n
P . JB
n
B ( x ). Queda por
consiguiente probado que JB
n
B ( x ) y JB
-n
B ( x ) son linealmente dependientes entre s.

Como conclusin, cuando es un nmero entero, para encontrar una solucin general de la
ecuacin diferencial se hace necesario recurrir a otro tipo de funciones Bessel: Las llamadas
funciones de Bessel de segunda clase que estudiaremos en el pargrafo 5.9.

A continuacin representamos las funciones JB
o
B ( x ) y JB
1
B ( x ):

5.3 - Expresion integral de las funciones de Bessel:

Hasta ahora hemos expresado las funciones de Bessel a travs de desarrollos en series de
potencias de x. Sin embargo, como veremos en este apartado, dichas funciones fueron
introducidas histricamente como integrales que involucran relaciones entre funciones
trigonometricas de x, de la forma siguiente:

Sea una funcin f(z) analtica en una corona con centro en el orgen de coordenadas, a la que
desarrollaremos en serie alrededor del punto zB
0
B = (0, 0).

Empezaremos por recordar el desarrollo en serie de Laurent de una funcin f ( z ), en zB
o
B = (0,0):

f ( z ) = aB
n
B z P
n

P
+ bB
n
B z P
-n
P
n = 0 n = 1

-0,6
-0,4
-0,2
0
0,2
0,4
0,6
0,8
1
1,2
Jo (x)
J1(x)


Los coeficientes aB
n
B y bB
n
B estn dados por las frmulas:

aB
n
B =
1

f ( z )
dz
2 i C z P
n+1
P

bB
n
B =
1

f ( z )
dz
2 i C z P
-n+1
P

Para nuestro caso vamos a llamar:

aB
n
B = B
n
By bB
n
B = B
-n
B

As, la serie de Laurent que define la funcin f ( z ), puede escribirse:

f ( z ) = B
n
B z P
n

P
+ B
-n
B z P
-n
P= B
n
B z P
n

P

n = 0 n = 1 n = -

Donde B
n
B =
1

f ( z )
dz
2 i C z P
n+1
P

Demostraremos seguidamente que si la funcin f ( z ) es
B
x
(
1
)

f ( ) = e P
2

P

siendo = eP
i
P

es un complejo de mdulo unitario, entonces B
n
B es igual a la funcin de Bessel de primera clase y
orden n. Antes de continuar, trataremos de averigar qu forma adopta B
n
B en este caso. Derivando
respecto de ,

d = i e P
i
P d

y reemplazando en la integral, obtenemos:

B
x ( e
i
e
i
)
B2B
B
n
B =
1

e P
2
P
i e P
i
Pd =
1

e P
ix sen
P
d
2 i C e P
i n
P . e P
i
P 2 0 e P
i n
P
y finalmente:

B

B2

B
n
B =
1
e P
i (x sen n )
P d (5.9)
2 0

Funcin de Bessel de
primera clase y orden n

En la Seccin 5.4 trataremos de relacionar esta forma con la definida en el pargrafo 5.2. De
hecho, demostraremos que

B
n
B = JB
n
B ( x )

Por otro lado, como

e P
i (x sen n )
P = cos ( x sen - n ) + i sen ( x sen - n )

la funcin de Bessel se puede escribir tambin de la manera siguiente:

B

B2 2

B
n
B =
1
cos ( x sen - n ) d +
i
sen ( x sen - n ) d (5.10)
2 0 2 0

En la ltima integral el integrando es el seno de una diferencia. Por tanto, dicha integral puede
desdoblarse as:

B

B2

sen ( x sen - n ) d =
B

B0

B

B2 2

= sen ( x sen ) cos n d cos ( x sen ) sen n d
B

B0 0
Llamemos:
fB
1
B ( ) = sen ( x sen ) y fB
2
B ( ) = cos ( x sen )

Entonces:
B

B2 2 2

sen ( x sen - n ) d = fB
1
B ( ) cos n d fB
2
B ( ) sen n d (5.11)
B

B0 0 0

Tratndose de un seno, fB
1
B ( ) es una funcin impar, lo mismo que fB
2
B ( ), por tratarse de un
coseno, es una funcin par.

Si comparamos la frmula de los coeficientes aB
n
B en el desarrollo de una funcin en serie de
Fourier,
B

B2

aB
n
B=
1
fB
1
B ( t ) cos n t d t
B

B 0

con la primer integral del segundo miembro de la (5.11), vemos que, si aB
n
B es el coeficiente del
desarrollo de Fourier de fB
1
B ( ), la misma es igual a aB
n
B :
B

B2

fB
1
B ( ) cos n d = aB
n
B
B

B0



Pero siendo fB
1
B ( ) impar, los coeficientes aB
n
B, y por tanto, la integral, debern ser todos nulos. De
modo similar, como fB
2
B ( ) es una funcin par, la segunda integral en la (5.10) es tambin nula:
B

B2 2

cos ( x sen ) sen n d = fB
2
B ( ) sen n d = bB
n
B = 0
B

B0 0

En resumen, la (5.11) queda reducida a la igualdad:

2
B
n
B =
1
cos ( x sen n ) d
2 0

Siendo el integrando una funcin coseno, de perodo 2 , puede ponerse, alternativamente:

2
B
n
B =
1
cos ( x sen n ) d =
1
cos ( x sen n ) d (5.12)
2 0 0

5.4 - Demostracin de la equivalencia entre las formas polinmica e integral:

A continuacin, a partir de los desarrollos en serie de las funciones elementales, probaremos que
las formas (5.6) (5.7) de las funciones de Bessel y la expresin (5.9) son equivalentes.

La forma exponencial el nmero complejo , de mdulo unitario, es:

= 1 . e P
i
P

de lo cual se deducen las relaciones siguientes:

= cos + i sen , P
-1
P = cos - i sen ,

P
n
P = cos n + i sen n y P
-n
P = cos n - i sen n (5.13)

Restando entre s las dos primeras se advierte que:

- P
-1
P = 2 i sen
de donde:
B

B

e P
i sen
P= e P
2
P . e P
2
P

Si elevamos ambos miembros a la potencia x, obtenemos:
B
x ( -
-1
) x - x

e P
i x sen
P= e P
2
PB

PB

P= e P
2
P. e P
2
P

Al desarrollar las dos exponenciales en serie, encontramos una nueva igualdad:

Expresin I ntegral de
la Funcin de Bessel
de 1 Clase

e P
i x sen
P = 1 +
x
+
1

xP
2
PP
2
P
+
1

xP
3
PP
3
P
+ . . . 1 -
x
+
1

xP
2
P
-
1

xP
3
P
+ . . .
2 2! 4 3! 8 2 2! 4P
2
P 3! 8P
3
P

Haremos seguidamente el producto de cada uno de los trminos de una serie por todos los de la
otra. Agrupando los correspondientes a potencias de de igual orden, resulta:

e P
i x sen
P = P
0
P 1 -
xP
2
P
+
1

x P
4
P
-
1

x P
6
P
+ . . . +
4 (2!)P
2
P 16 (3!)P
2
P 64

+
x
-
1 xP
3
P
+
1

xP
5
P
-
1

xP
7
P
+ . . . +
2 2! 2P
3
P 2! 3! 2P
5
P 3! 4! 2P
7
P

+ P
2
P
1 xP
2
P
-
1

xP
4
P
+
1

xP
6
P
- . . . + . . . +
2! 4 3! 2P
4
P 2! 4! 2P
6
P

+ P
-1
P -
x
+
1 xP
3
P
-
1

xP
5
P
+
1

xP
7
P
- . . . +
2 2! 2P
3
P 2! 3! 2P
5
P 3! 4! 2P
7
P

+ P
-2
P
1 xP
2
P
-
1

xP
4
P
+
1

xP
6
P
- . . . + . . . (5.14)
2! 4 3! 2P
4
P 2! 4! 2P
6
P

Recordemos la frmula (5.7) de la funcin Bessel de 1 clase:

JB
n
B ( x ) = xP
n
P
( - 1 )P
m
PxP
2m
P

m=0 2P
2m+n
P m! ( n + m ) !

para valores sucesivos de n, esta funcin vale, respectivamente:

Para n = 0:
JB
o
B ( x ) = x P
0
P
(-1)P
0
PxP
0
P
+ x P
0
P
(-1)P

PxP
2
P
+ x P
0
P
(-1)P
2
PxP
4
P
+ x P
0
P
(-1)P
3
PxP
6
P
+ . . .
2P
0
P0! 0! 2P
2
P1! 1! 2P
4
P2! 2! 2P
6
P3! 3!

JB
o
B ( x ) = 1 -
xP
2
P
+
1

xP
4
P
-
1

xP
6
P
+ . . .
4 (2!)P
2
P 16 (3!)P
2
P 64
Para n = 1:
JB
1
B ( x ) = x P
1
P
(-1)P
0
PxP
0
P
+ x P
1
P
(-1)P

PxP
2
P
+ x P
1
P
(-1)P
2
PxP
4
P
+ x P
1
P
(-1)P
3
PxP
6
P
+ . . .
2P

P0! 1! 2P
3
P1! 2! 2P
5
P2! 3! 2P
7
P3! 4!

JB
1
B ( x ) =
x
-
1 xP
3
P
+
1

xP
5
P
-
1

xP
7
P
+ . . .
2 2! 2P
3
P 2! 3! 2P
5
P 3! 4! 2P
7
P



De modo similar:

JB
2
B ( x ) =
1 xP
2
P
-
1

xP
4
P
-
1

xP
6
P
+ . . .
2! 2P
2
P 3! 2P
4
P 2! 4! 2P
6
P
. . .

JB
-1
B ( x ) = -
x
+
1 xP
3
P
-
1

xP
5
P
+
1

xP
7
P
- . . .
2 2! 2P
3
P 2! 3! 2P
5
P 3! 4! 2P
7
P

JB
-2
B ( x ) =
1 xP
2
P
-
1

xP
4
P
+
1

xP
6
P
- . . .
2! 2P
2
P 3! 2P
4
P 2! 4! 2P
6
P
. . .

Podemos ver que cada uno de los parntesis en la (5.14) se corresponde exactamente con una de
las funciones JB
n
B ( x ). Reemplazando en la mencionada igualdad, se obtiene:

e P
i x sen
P = JB
o
B ( x ) + JB
1
B ( x ) + P
2
P JB
2
B ( x ) + P
3
P JB
3
B ( x ) + . . . +

+ P
-1
P JB
-1
B ( x ) + P
-2
P JB
-2
B ( x ) + P
-3
P JB
-3
B ( x ) + . . . (5.15)

Vimos por otra parte que si n es un entero, entonces:

JB
-n
B ( x ) = ( - 1 ) P
n
P . JB
n
B ( x ),

Sustituyendo esta igualdad en la (5.15), y agrupando trminos, hallamos:

eP
i x sen
P = JB
o
B ( x ) + ( - P
-1
P ) JB
1
B ( x ) + ( P
2
P + P
-2
P ) JB
2
B ( x ) + ( P
3
P - P
-3
P ) JB
3
B ( x ) + . . .

(5.16)
Recurriremos ahora a las ecuaciones (5.13),

P
n
P = cos n + i sen n y P
-n
P = cos n - i sen n (5.13)

Sumndolas o restndolas entre s, deducimos respectivamente:

P
n
P + P
-n
P= 2 cos n

y P
n
P - P
-n
P= 2 i sen n

Entonces, reemplazando en la (5.16), hallamos:

eP
i x sen
P = JB
o
B ( x ) + 2 [ JB
2
B ( x ) cos 2 + JB
4
B ( x ) cos 4 + . . . ] +

+ 2 i [ JB
1
B ( x ) sen + JB
3
B ( x ) sen 3 + JB
5
B ( x ) sen 5 + . . . ] (5.17)
Pero tambin, como

eP
i x sen
P = cos ( x sen ) + i sen ( x sen ) (5.18)

igualando las partes reales e imaginarias, se obtiene:


cos ( x sen ) = JB
o
B ( x ) + 2 [ JB
2
B ( x ) cos 2 + JB
4
B ( x ) cos 4 + . . . ] (5.19)

y sen ( x sen ) = 2 [ JB
1
B ( x ) sen + JB
3
B ( x ) sen 3 + JB
5
B ( x ) sen 5 + . . . ] (5.20)

Al multiplicar ambos miembros de la primera de estas igualdades por cos n e integrar luego
entre 0 y , encontramos:

cos n cos ( x sen ) d = JB
o
B ( x ) cos n d + 2 JB
2m
B ( x ) cos 2m cos n d
0 0 m=1 0

En el segundo miembro podemos observar que, con la nica excepcin del trmino para el cual n
es igual a 2m, todos los dems son nulos, porque estn multiplicados por integrales de funciones
cosenoTP
(1)
PT entre los lmites 0 y . Por lo tanto, la ecuacin se reduce as:

cos n cos ( x sen ) d = 2 JB
n
B ( x ) cosP
2
P n d
0 0

donde n es entero y par (n = 2m). Ahora slo queda resolver la ltima integral:

cosP
2
P n d =
1 + cos 2n
d =
1
d +
cos 2n
d =

0 0 2 0 2 0 2 2

Por consiguiente

JB
n
B ( x ) =
1
cos n . cos ( x sen ) d (5.21)
0

De idntica forma, multiplicando la (5.20) por sen n, e integrando, se obtiene, para n impar:

JB
n
B ( x ) =
1
sen n . sen ( x sen ) d (5.22)
0

Es posible agrupar estas dos ecuaciones, (5.21) y (5.22) en una sola. En efecto, como la primera
de ellas es igual a cero para n impar y la segunda lo es igualmente cuando n es par, podemos
decir que, para cualquier valor de n entero y positivo, se satisface la igualdad:

JB
n
B ( x ) =
1
[ cos n . cos ( x sen ) + sen n . sen ( x sen ) ] d
0

O tambin, como el integrando es igual al coseno de la diferencia entre n y x sen :

TP
(1)
PT Recurdese que cos a cos b = 1/2 [( cos a + b ) - cos ( a - b )]


JB
n
B ( x ) =
1
cos ( n - x sen ) d
0

Pero esta ltima integral es la misma que la que aparece en la frmula (5.12), con lo que queda
demostrado que

B
n
B = JB
n
B ( x )

5.5 - Funcin de Bessel para = 0,5:

Un caso particular, interesante por las aplicaciones que se deducen del mismo, es aquel para el
cual es igual a 0,5. Trataremos en este apartado de hallar la funcin de Bessel correspondiente.
Para ello, reemplazando en la (5.6) obtenemos:

JB
0,5
B ( x ) = x P
0,5
P
( - 1 )P
m
PxP
2m
P

m=0 2P
2m+0,5
P m! ( m + 0,5 + 1)

Que se puede escribir tambin:

JB
0,5
B ( x ) =
x P
0,5
P

( - 1 )P
m
PxP
2m
P

2 m=0 2P
2m
P m! ( m + 1,5 )

En el denominador aparece la funcin ( m + 1,5 ), que analizaremos a partir de la igualdad:

( n ) = ( n - 1 ) ( n - 1 ) (5.23)

En este caso:

JB
0,5
B ( x ) =
x P
0,5
P

( - 1 )P
m
PxP
2m
P
(5.24)
2 m=0 2P
2m
P m! ( m + 0,5) ( m + 0,5 )

Volviendo a aplicar la misma relacin, ( n ) = ( n - 1 ) . ( n - 1 ), esta vez a ( m + 0,5 ), y
en forma reiterada,

( m + 0,5 ) = ( m + 0,5 - 1 ) . ( m + 0,5 - 1 ) =

= ( m + 0,5 - 1 ) ( m + 0,5 - 2 ) ( m + 0,5 - 3 ) . . . ( 0,5 )

= ( m - 0,5 ) ( m - 1,5 ) ( m - 2,5 ) . . . ( 0,5 )

Recordemos que el valor de la funcin Gamma de 0,5 (Ver Parte I) es:

( 0,5 ) =

Entonces, para m = 0 tenemos:


1
( 0,5 ) =

2 2
Para m = 1:

3

3
=
3
.
1
( 0,5 ) =
3
2 2 2 2 4
Para m = 2

5

5
=
5
.
3
.
1
( 0,5 ) =
15
2 2 2 2 2 8
. . . . . . .

Notar que por razones de mayor claridad estamos utilizando indistintamente las formas
fraccionaria o decimal, segn nos convenga en cada oportunidad. Reemplazando en la (5.24), y
efectuando operaciones, se obtiene:

JB
0,5
B ( x ) =
x P
0,5
P

2
4 xP
2
P
+P

P8 x P
4
P
. . .
2 4 . 3 . 16 . 2 . 15 .

Si sacamos factor comn , queda:

JB
0,5
B ( x ) =
x P
0,5
P
2

x P
2
P
+P

Px P
4
P
. . .
2 3 60

A continuacin sacaremos nuevamente factor comn, esta vez, 2/x,

JB
0,5
B ( x ) =
x P
0,5
P 2
x

x P
3
P
+P

P xP
5
P
. . .
2 x 6 120

JB
0,5
B ( x ) =
2 P
0,5
P
x

xP
3
P
+P

P xP
5
P
. . .
x 3! 5!

El ltimo factor es igual al desarrollo en serie de sen x. Reemplazando, se obtiene finalmente la
funcin de Bessel para = 0,5:

JB
0,5
B ( x ) =
2 P
0,5
P
sen x

x

De modo similar se demuestra que el valor de la funcin de Bessel para = - 0,5 es:

JB
0,5
B ( x ) =
2 P
0,5
P
cos x

x



5.6 - Propiedades de las funciones de Bessel:

Estudiaremos en este apartado y los siguientes algunas propiedades de las funciones de Bessel.
En primer lugar, demostraremos la igualdad:

d
xP
-n
P JB
n
B ( x ) = - xP
-n
P JB
n+1
B ( x ) (5.25)
dx

La demostracin ms sencilla consiste en trabajar con ambos miembros en forma separada, hasta
llegar a una misma expresin, lo que nos permitir, por carcter transitivo, confirmar la validez
de la ecuacin. Empezaremos por el miembro de la izquierda. Para ello, tomemos la (5.7), y
multipliqumosla por x P
-n
P , con lo cual obtenemos:

xP
-n
P JB
n
B ( x ) =
( - 1 )P
m
P xP
2m
P
m=0 2 P
2m+n
P m! ( n + m )!

que ahora debemos derivar respecto de x:

d
xP
-n
P JB
n
B ( x ) =
( - 1 )P
m
P 2 m xP
2m-1
P
(5.26)

dx m=0 2 P
2m+n
P m! ( n + m )!

Pasaremos ahora a analizar la funcin de Bessel JB
n+1
B ( x ), que aparece en el miembro de la
derecha en la (5.25), y cuya forma es la siguiente:

JB
n+1
B ( x ) = xP
n+1
P
( - 1 )P
m
P xP
2m
P
m=0 2 P
2m+n+1
P m! ( n + m + 1 )!

Mulitiplicaremos ambos miembros por xP
-n
P:

xP
-n
P JB
n+1
B ( x ) = x
( - 1 )P
m
P xP
2m
P
m=0 2 P
2m+n+1
P m! ( n + m + 1 )!

A continuacin vamos a recurrir al artificio de reemplazar:

m + 1 = k
y por tanto,
m = k 1

Entonces:

x P
-n
P JB
n+1
B ( x ) = x .
( - 1 )P
k-1
P xP
2k-2
P
(5.27)

k=1 2 P
2k-2+n+1
P ( k - 1 )! ( n + k )!


Al llegar aqu introduciremos en la sumatoria el trmino correspondiente a k = 0, aprovechando
que el mismo es nulo, con lo cual no altera el valor de la sumatoria. Efectivamente, como el
producto factorial de un nmero entero negativo, en este caso (-1)!, es infinito, entonces:

( - 1 )P
k-1
P xP
2k-2
P
=
( - 1 ) P
-1
P x P
-2
P
= 0

2 P
2k-2+n+1
P ( k - 1 )! ( n + k )! k=0 2 P
-2+n+1
P ( - 1 )! ( n )!

Ello nos permite completar la sumatoria en la (5.27), agregndole el trmino mencionado sin que
la misma se altere en absoluto. Es decir:

xP
-n
P JB
n+1
B ( x ) = x
( - 1 )P
k-1
P xP
2k-2
P
k=0 2 P
2k+n-1
P ( k - 1 )! ( n + k )!

Si introducimos la variable x dentro de la sumatoria, y multiplicamos numerador y denominador
por 2 k, obtenemos:

xP
-n
P JB
n+1
B ( x ) =
( - 1 )P
k-1
P. x . 2 . k . xP
2k-2
P
=
( - 1 )P
k-1
P. 2 k . xP
2k-1
P
k=0 2 P
2k+n-1
P 2 k ( k -1 )! ( n + k )! k=0 2 P
2k+n
P ( k )! ( n + k )!
Apelando tambin a la igualdad:

( - 1 ) P
k-1
P = ( - 1 ) P
k
P . ( - 1 ) P
-1
P = - ( - 1 ) P
k
P,

llegamos por fin a la ecuacin:

xP
-n
P JB
n+1
B ( x ) =
( - 1 )P
k
P. 2 k . xP
2k-1
P
k=0 2 P
2k+n
P ( k )! ( n + k )!

cuyo segundo miembro es idntico al de la (5.26), salvo porque en la sumatoria hemos
reemplazado el nombre del ndice m por k. Queda por lo tanto demostrada la propiedad (5.25).

Ms sencillo resulta demostrar la propiedad siguiente:

d
xP
n
P JB
n
B ( x ) = xP
n
P JB
n-1
B ( x ) (5.28)
dx

En efecto, en este caso, a partir de (5.7) tenemos:

xP
n
P JB
n
B ( x ) = xP
2n
P
( - 1 )P
m
P xP
2m
P
=P

P

( - 1 )P
m
P xP
2(m+n)
P
m=0 2 P
2m+n
P m! ( m + n )! m=0 2 P
2m+n
P m! ( m + n )!

Derivando respecto de x:

d
xP
n
P JB
n
B ( x ) =
( - 1 )P
m
P 2 ( m + n ) xP
2(m+n)-1
P

dx m=0 2 P
2m+n
P m! ( m + n )!



Dividimos ahora numerador y denominador por 2 y por ( m + n ), y operando, se obtiene en
forma sucesiva:

d
xP
n
P JB
n
B ( x ) =
( - 1 )P
m
P xP
2(m+n)-1
P

dx m=0 2 P
2m+n-1
P m! ( m + n - 1 )!

d
xP
n
P JB
n
B ( x ) = xP
n
P
( - 1 )P
m
P xP
2m+(n-1)
P

dx m=0 2 P
2m+(n-1)
P m! ( m + n - 1 )!

d
xP
n
P JB
n
B ( x ) = xP
n
P . xP
n-1
P
( - 1 ) P
m
P xP
2m
P
= xP
n
P JB
n-1
B ( x )

dx m=0 2 P
2m+(n-1)
P m! ( m + n - 1 )!

Con lo cual queda demostrada la (5.28).

5.7 - Propiedades de las races.

En este apartado veremos algunas propiedades relacionadas con las races de las funciones de
Bessel.

1 - Alternancia de las races de JB
n-1
B ( x ) y JB
n
B ( x ).

De las ecuaciones (5.25) y (5.28):

d
xP
n
P JB
n
B ( x ) = xP
n
P JB
n-1
B ( x )
dx

y
d
xP
-n
P JB
n
B ( x ) = - xP
-n
P JB
n+1
B ( x )
dx

surge que entre cada dos ceros de JB
n
B ( x ) cae un cero de JB
n+1
B ( x ) y a la inversa. Lo mismo vale
para las funciones JB
n-1
B ( x ) y JB
n
B ( x ). Y por extensin a todas las funciones de la familia.

Notemos en primer lugar que la funcin xP
n
P JB
n
B ( x ) tiene los mismos ceros que JB
n
B ( x ), ms otros
n ceros ubicados en el origen de coordenadas.

JB
n
B ( x )

xP
-n
P JB
n
B ( x )

x


Por su parte, la funcin xP
-n
P JB
n
B ( x ) tendr tambin los mismos ceros que JB
n
B ( x ) , ms otros n
ceros ubicados en el infinito.

Es decir que si y son dos ceros consecutivos, no nulos ni impropios, de JB
n
B ( x ), tambin lo
son de xP
n
P JB
n
B ( x ) y de xP
-n
P JB
n
B ( x ).

Adems, entre y debe existir un valor para el cual xP
n
P JB
n
B ( x ) presente un mximo o un
mnimo. Dicho valor es en consecuencia un cero de la funcin

d
xP
n
P JB
n
B ( x ) = xP
n
P JB
n-1
B ( x )
dx

y por lo tanto, por un razonamiento similar, tambin lo es de JB
n-1
B ( x ).

Es decir: JB
n-1
B ( ) = 0 ( 0 )

Veamos esto en forma grfica:

Razonando en forma inversa que antes, podemos decir que si es un cero no nulo de xP
n
P JB
n-1
B ( x )

P
n
P JB
n-1
B ( ) = 0 ( 0 )

es necesariamente tambin un cero de JB
n-1
B ( x ). Esto es lgico, puesto que los n ceros de xP
n
P estn
todos en el origen.

De modo similar, entre y debe existir un valor, , para el cual xP
-n
P JB
n
B ( x ) presente un mximo
o un mnimo. Dicho valor es en consecuencia un cero de la funcin

d
x P
-n
P JB
n
B ( x ) = - x P
-n
P JB
n+1
B ( x )
dx

Por lo tanto, si es un cero no infinito de xP
-n
P JB
n+1
B ( x ), es decir

P
-n
P JB
n+1
B ( ) = 0 ( )

entonces es necesariamente un cero de JB
n+1
B ( x ).

JB
n1
B ( x )

JB
n
B ( x )

x



2 - Las funciones de Bessel tienen infinitos ceros.

Es posible demostrar que las funciones de Bessel tienen infinitos ceros. O, lo que es igual, que la
ecuacin:
JB
n
B ( x ) = 0

para todo n, tiene infinitas races.

La representacin de las funciones JB
0
B ( x ) y JB
1
B ( x ), al final del pargrafo 5.2, no deja dudas al
respecto. Al aplicar a las mismas la propiedad 1, deducimos que tambin JB
2
B ( x ) tendra infinitas
races, y por induccin, lo mismo debera ocurrir con todas las funciones de Bessel de primera
clase y coeficiente n, entero.

Volveremos ms adelante sobre este punto.

3 - Ecuaciones diferenciales de segundo orden con coeficientes variables diferentes:

Sean las dos ecuaciones diferenciales siguientes:

u" ( x ) + g ( x ) . u ( x ) = 0 (5.29)

y v" ( x ) + h ( x ) . v ( x ) = 0 (5.30)

con la condicin: h ( x ) g ( x )

Esta condicin es necesaria, puesto que si h y g fueran iguales, estaramos en presencia de una
misma ecuacin.

Despejando en las (5.29) y (5.30) hallamos:

u" ( x ) = - u . g

y v" ( x ) = - v . h

Si multiplicamos ambos miembros por v en la primera ecuacin y por u en la segunda, es decir:

u" v = - u v . g

y v" u = - u v . h

y restamos miembro a miembro, resulta:

v u" - u v" = ( h - g ) . u v (5.31)

Si y son dos races consecutivas de la ecuacin u ( x ) = 0, lo que equivale a decir que:

u ( ) = 0

y u ( ) = 0,

como el segundo miembro de la (5.31) es igual a cero, debe cumplirse necesariamente que


v ( ) . u"( ) - u ( ) . v"( ) = 0
o tambin:
v ( ) . u"( ) - u ( ) . v"( ) = 0
De aqu:
v ( ) . u"( ) = u ( ) . v"( ) = 0 (5.32)
y
v ( ) . u"( ) = u ( ) . v"( ) = 0 (5.33)

Supongamos por un momento que elegimos una funcin v ( x ) que satisface la ecuacin
diferencial (5.30), pero tal que ni ni sean races suyas.

En tal caso, es evidente que para que se cumplan las relaciones (5.32) y (30,.33), la derivada
segunda de la funcin u ( x ) debe ser nula en y en , respectivamente.

La explicacin anterior nos fuerza a aceptar que u ( x ) y sus derivadas primera y segunda deben
comportarse aproximadamente como muestra la figura siguiente:

Ahora procederemos a integrar la ecuacin (5.31) entre y :

( v u" - u v" ) dx =

( h - g ) . u v . dx

Y calcularemos la primera integral por partes. Para lo cual, teniendo en cuenta que

u" dx =
du'
dx = du'
dx
y lo mismo:
v" dx = dv'

la procederemos a modificar previamente as:

x
u (x) u'(x)
u" (x)



( v du' - u dv' ) =

( h - g ) . u v . dx

v du' - u dv' =

( h - g ) . u v . dx

v u' - v' u' dx - u v' + u' v' dx =

( h - g ) . u v . dx

Simplificando las dos primeras integrales, iguales entre s, resulta

( v u' - u v' ) =

( h - g ) . u v . dx (5.34)

es decir:

v ( ) u' ( ) - u ( ) v' ( ) - v ( ) u' ( ) + u ( ) v' ( ) = ( h - g ) u v dx

Pero como u ( ) = 0 y u ( ) = 0, simplificando nuevamente queda:

v ( ) u' ( ) - v ( ) u' ( ) = ( h - g ) u v dx (5.35)

Supongamos ahora que la funcin v ( x ), que como dijimos no es nula ni en ni en , se
mantiene positiva (negativa) en todo el intervalo entre y . Hagamos aqu tambin un anlisis
grfico mostrando la situacin en el intervalo :

La figura muestra en primer lugar que u' ( ) tiene distinto signo que u' ( ).

v ( x )
u' ( x )

x

u (x)

Tambin observamos en la ecuacin (5.35) que si v ( x ) se mantiene positiva (o negativa) en todo
el intervalo , el primer trmino de la ecuacin no puede ser igual a cero en nngn punto del
mismo, por lo que la integral no puede ser nula en el intervalo, lo que implica que,
necesariamente, debe ser

h ( x ) g ( x )

Esto es obvio, porque si fueran iguales, la integral sera nula.

4 - Races de JB
o
B ( x ):

Volvamos a la ecuacin de Bessel (5.1):

xP
2
P y" + x y' + ( xP
2
P - nP
2
P ) y = 0

y hagamos en ella el cambio de variable:

u = y x (5.36)

y = u x P
-1/2
P

La derivada primera de esta funcin es

y' = u' x P
-1/2
P -
1
u x P
-3/2
P
2
y la derivada segunda:

y" = u" xP
-1/2
P
1
u' xP
-3/2
P
1
u' xP
-3/2
P +
3
u xP
-5/2
P
2 2 4

Al reemplazar en la ecuacin diferencial de Bessel obtenemos:

xP
2
P
u"
-
u'
+
3 u
+ x
u'
-
u
+ ( xP
2
P - nP
2
P )
u
= 0
x x x 4 xP
2
P x x 2x x x

Ecuacin que, una vez simplificada, queda as:

xP
2
P u" - x u' +
3 u
+ x u' -
u
+ xP
2
P u - nP
2
P u = 0
4 2

Simplificando de nuevo y agrupando los coeficientes de las potencias de igual grado de la
variable u, resulta

xP
2
P u" + u

xP
2
P - nP
2
P +
1
= 0
4

Dividiendo por xP
2
P y reagrupando trminos, esta ecuacin se puede modificar como sigue:



u" + u 1 -
4 nP
2
P - 1
= 0 (5.37)

4 xP
2

En el caso en que n = 0, la ecuacin anterior se simplifica ms an, quedando:

u" + u 1 +
1
= 0 (5.38)

4 xP
2

Sintetizando:

Esta ecuacin es la misma que la (5.29), con

g = 1 +
1
(5.39)

4 xP
2

Su solucin es:

u = y x

Adems, como se trata de la ecuacin de Bessel, con n = 0, tambin debe ser

y = JB
o
B.
Por tanto:
u = y x = JB
o
B ( x ) x (5.40)

Verificaremos a continuacin esta afirmacin. Si en la ecuacin (5.7),

JB
n
B ( x ) = xP
n
P
( - 1 )P
m
PxP
2m
P

m=0 2P
2m+n
P m! ( n + m ) !
hacemos n = 0, entonces:

JB
o
B ( x ) =
( - 1 )P
m
PxP
2m
P

m=0 2P
2m
P ( m! )P
2
P
Es decir:
JB
o
B ( x ) = 1 -
xP
2
P
+
1

xP
4
P
-
1

xP
6
P
+ . . .
4 (2!)P
2
P 16 (3!)P
2
P 64

Reemplazado en la (5.40), nos queda:

u = x JB
o
B ( x ) = xP
1/2
P-
1
x P
5/2
P+
1
x P
9/2
P -
1
x P
13/2
P + . . .
4 64 2304
Derivaremos ahora para obtener u':

u' =
1
x P
-1/2
P-
5
x P
3/2
P+
9
x P
7/2
P -
13
x P
11/2
P + . . .
2 8 128 4608


Y derivando nuevamente,

u" = -
1
x P
-3/2
P-
15
x P
1/2
P+
63
x P
5/2
P -
143
x P
9/2
P + . . . . .
4 16 256 9216
Tambin:

u
=
1
x P
-3/2
P-
1
x P
1/2
P+
1
x P
5/2
P -
1
x P
9/2
P + . . .
4xP
2
P 4 16 256 9216

Basta reemplazar estos valores en la (5.38), para verificar que efectivamente la (5.40) es una
solucin de la misma. En efecto, de tal reemplazo resulta:

u" + u +
u
= -
1
x P
-3/2
P-
15
x P
1/2
P+
63
x P
5/2
P -
143
x P
9/2
P + . . . +
4 xP
2
P 4 16 256 9216

+ xP
1/2
P-
1
x P
5/2
P+
1
x P
9/2
P -
1
x P
13/2
P+ . . . +
4 64 2304

+
1
x P
-3/2
P-
1
x P
1/2
P+
1
x P
5/2
P -
1
x P
9/2
P + . . .
4 16 256 9216

Y al agrupar en esta ecuacin los coeficientes de las potencias de x de igual grado, hallamos:

u" + u +
u
=
1
-
1
x P
-3/2
P+P

P
16
-
15
-
1
x P
1/2
P+ P
4 xP
2
P 4 4 16 16 16

+
63P
P-
64
+
1
-
143
-
144
+
1
x P
9/2
P + . . .
256 256 256 9216 9216 9216

Como todos los coeficientes resultan nulos, comprobamos que, efectivamente, la (5.40) es
solucin de la (5.38).

Volvamos ahora a la ecuacin (5.30) y hagamos en ella h ( x ) = 1. Este valor satisface la
condicin
h ( x ) g ( x ).

En efecto, para cualquier

x , se verifica que:

g = 1 +
1
> h = 1
4 xP
2

Al reemplazar en (5.30) el valor adoptado para h, la misma queda as:

v " + v = 0

Una solucin de esta ecuacin es:



v = sen ( x - a ) con a = cte.
En efecto:
v' = cos ( x - a )

y v" = - sen ( x - a )

Consideremos ahora dos races consecutivas de v ( x ): a y a +

Las races consecutivas de las funciones de Bessel, a partir de la segunda, estn separadas entre s
por un valor muy prximo a . Efectivamente, en el caso de JB
0
B, las primeras races caen en:

x = 2,40, 5,52, 8,6557, 11,7915, 14,9298, etc.

Por su parte, las de JB
1
B estn ubicadas en

x = 0, 3,83, 7,015, 10,17, 13,32, etc.

Estos valores confirman, por una parte, la alternancia entre las races de una y otra funcin, y por
la otra, que la separacin entre races consecutivas es muy prxima a . En efecto, en el primer
caso, la separacin es respectivamente:

3,120, 3,1357, 3,1358, 3,1383, . . .

O, tratndose de JB
1
B,

3,185, 3,155, 3,150, . . .

De todo lo visto, podemos extraer las siguientes conclusiones: A partir de la ecuacin:

v u" - u v" = ( h - g ) . u v (5.31)

Si es una raz de u ( x ), es decir, u ( ) = 0, entonces

v ( ) = 0 u" ( ) = 0

Por idntico razonamiento, si es una raz de u ( x ),

v ( ) = 0 u" ( ) = 0

Por otra parte, a partir de la igualdad:

sen ( x - a )
x
a a+ a+2

v ( ) u' ( ) - v ( ) u' ( ) = ( h - g ) . u ( x ) . v ( x ) dx (5.35)

podemos dedudcir que si h g, entonces

v ( ) u' ( ) - v ( ) u' ( ) 0

O, lo que es igual:

v ( ) u' ( ) v ( ) u' ( )

De aqu podemos deducir tambin que, si

v ( ) = 0, entonces v ( ) 0

Supongamos ahora que elegimos el punto a coincidente con . Como dos races cualesquiera de
la funcin JB
o
B ( x ), que son a su vez races de u ( x ), difieren entre s un valor muy aproximado,
pero no exactamente igual, a , nos encontraremos con una situacin aproximada a la que
representa la figura siguiente:

La figura muestra que entre cada dos races de v ( x ) cae una raz de JB
o
B ( x ). Ntese que la
funcin v ( x ) conserva su signo entre y , lo que satisface el postulado que acompaa a la
ecuacin (5.35):

Si v ( x ) se mantiene positiva (o negativa) en todo el intervalo , el primer trmino de la
ecuacin no puede ser igual a cero en nngn punto del mismo, por lo que la integral no puede
ser nula en el intervalo, lo que implica que, necesariamente, debe ser

h ( x ) g ( x )

x
u (x)
v (x)
u' (x)
a a +2


5.8 - Ortogonalidad de las Funciones de Bessel.

En esta seccin probaremos que las funciones de Bessel forman un conjunto ortogonal en el
intervalo entre x = 0 y x = 1. Para ello en la ecuacin diferencial de Bessel, (5.1),
reemplazaremos la variable x por

= ax, donde a es una constante arbitraria.

La ecuacin de Bessel queda entonces as:

P
2
P . JB
n
B" ( ) + . JB
n
B' ( ) + ( P
2
P - nP
2
P ) . JB
n
B ( ) = 0 (5.41)

Derivando JB
n
B ( ) respecto de x obtenemos:

d JB
n
B ( )
=
d JB
n
B ( )

d
=

a
d JB
n
B ( )

d x d d x d

d JB
n
B ( )
=
1 d JB
n
B ( )
=
J 'B
n
B ( )

d a dx a

Derivando nuevamente, la derivada segunda es:

dP
2
P JB
n
B ( )
=
J"B
n
B ( )

d P
2
P aP
2
P

JB
n
B' ( ) y JB
n
B" ( ) son la derivadas respecto de x. Reemplazando en (5.41), la misma queda as:

xP
2
P . JB
n
B" ( ) + x . JB
n
B' ( ) + ( aP
2
P xP
2
P - nP
2
P ) JB
n
B ( ) = 0

o tambin, dividiendo por xP
2
P:

JB
n
B" ( ) +
1
JB
n
B' ( ) + aP
2
P -
nP
2
P
JB
n
B ( ) = 0 (5.42)
x xP
2
P

Tambin aqu ensayaremos la solucin:

u = JB
n
B x

JB
n
B = u xP
-1/2
P

Derivando respecto de x:

JB
n
B' = u' xP
-1/2
P -
1
u xP
-3/2
P
2
Y derivando una vez ms:

JB
n
B" = u" x P
-1/2
P
1
u' x P
-3/2
P
1
u' x P
-3/2
P +
3
u x P
-5/2
P=
2 2 4


= u" x P
-1/2
P u' x P
-3/2
P+
3
u x P
-5/2
P
4

Por fin, al remplazar en la (5.42), la ecuacin diferencial queda ahora formulada as:

u" x P
-1/2
P u' x P
-3/2
P+
3
u x P
-5/2
P + u' xP
-3/2
P
1
u x P
-5/2
P+ aP
2
P u x P
-1/2
P nP
2
P u x P
-5/2
P = 0
4 2

A continuacin, simplificaremos los dos trminos en u', multiplicaremos el resto por xP
1/2
P, y
agruparemos los coeficientes de u; con lo cual la ecuacin se reduce a la forma siguiente:

u" +
1
+ aP
2
P
nP
2
P
u = 0
4 xP
2
PxP
2
P

Reagrupando de nuevo, la ecuacin puede ahora sintetizarse como vemos aqu abajo:

u" + aP
2
P -
4 nP
2
P - 1
u = 0 (5.43)
4 xP
2

Si en lugar del reemplazo = ax hubiramos hecho = bx, siguiendo idnticos pasos habramos
llegado a una ecuacin totalmente similar, excepto por el nombre de la variable:

v" + bP
2
P -
4 nP
2
P - 1
v = 0 (5.44)
4 xP
2

Las dos ltimas ecuaciones se pueden simbolizar as:

u" + G ( x ) . u = 0

y v" + H ( x ) . v = 0

donde G ( x ) = aP
2
P-
4 nP
2
P - 1
4 xP
2

y H ( x ) = bP
2
P-
4 nP
2
P - 1
4 xP
2

Si nos detenemos un instante para analizar lo hecho hasta aqu, podemos ver que estas ecuaciones
son idnticas a las (5.29) y (5.30), a partir de las cuales obtuvimos en su momento la (5.34).

Siguiendo ahora los mismos pasos que en aquella ocasin, pero integrando esta vez entre los
lmites 0 y x, llegamos a la igualdad siguiente:

x x
( v u' - u v' ) =

( H - G ) . u v . dx
0 0



Si restamos G ( x ) de H ( x ), es decir:

H - G = bP
2
P - aP
2
P

y reemplazamos en la integral anterior, nos queda:

x x
( v u' - u v' ) = ( bP
2
P - aP
2
P)

u v . dx (5.45)
0 0
y como
u = x . JB
n
B ( ax )

y v = x . JB
n
B ( bx )

obtenemos finalmente:
x x
( v u' - u v' ) = ( bP
2
P - aP
2
P)

x . JB
n
B ( ax ) . JB
n
B ( bx ) . dx
0 0

Las derivadas de u y v son, respectivamente:

u' =
1
xP
-1/2
PJB
n
B ( ax ) + a xP
1/2
PJ'B
n
B ( ax )
2

y v' =
1
xP
-1/2
PJB
n
B ( bx ) + b xP
1/2
PJ'B
n
B ( bx )
2
Por tanto:
v u' - u v' =
1
JB
n
B ( ax ) JB
n
B ( bx ) + a xP

PJ'B
n
B ( ax ) JB
n
B ( bx ) -
2

-
1
JB
n
B ( bx ) JB
n
B ( ax ) - b xP

PJ'B
n
B ( bx ) JB
n
B ( ax )
2

v u' - u v' = x aP

PJ'B
n
B ( ax ) JB
n
B ( bx ) - b P

PJ'B
n
B ( bx ) JB
n
B ( ax )

Reemplazamos ahora en (5.45), y obtenemos

x
( bP
2
P - aP
2
P)

x JB
n
B ( ax ) JB
n
B ( bx ) x = x a J'B
n
B ( ax ) JB
n
B ( bx ) - b J'B
n
B ( bx ) JB
n
B ( ax )
0

Al establecer el intervalo de integracin entre 0 y 1, la ecuacin anterior se transforma en la
siguiente:
1
( bP
2
P - aP
2
P)

x JB
n
B ( ax ) JB
n
B ( bx ) dx = a J'B
n
B ( a ) JB
n
B ( b ) - b J'B
n
B ( b ) JB
n
B ( a ) (5.46)
0


A continuacin analizaremos una por una las diferentes alternativas que pueden darse respecto de
esta ecuacin.

Primer caso: a y b son ceros de JB
n
B ( x ) Entonces, el segundo miembro de la (5.46) es igual a
cero:
1
( bP
2
P - aP
2
P)

x JB
n
B ( ax ) . JB
n
B ( bx ) dx = 0
0

Estamos en presencia de dos factores cuyo producto es cero. Existen dos posibilidades: Si ambas
races son distintas, a b, o la integral es nula, o bien a = - b. Obviamente entonces, para que la
integral
1
x JB
n
PB
2
P ( ax ) dx (5.47)
0

sea distinta de cero, la nica posibilidad es que:

aP
2
P = bP
2
P

Esta es por tanto la condicin de ortogonalidad.

Segundo caso: Una segunda alternativa consiste en que a y b sean ambas races de la ecuacin

J'B
n
B ( x ) = 0,

observando la (5.46) vemos que se reproduce una situacin idntica a la del primer caso. Es decir,
que la condicin necesaria para que la integral (5.47) sea no nula es la misma que antes:

aP
2
P = bP
2
P

Tercer caso: a y b son ambas races de la ecuacin

JB
n+1
B ( x ) = 0 (5.48)

De acuerdo con la (5.25), sabemos que

d
x P
-n
P JB
n
B ( x ) = - x P
-n
P JB
n+1
B ( x )
dx

Al efectuar esta derivada llegamos a la igualdad:

- n x P
-n-1
P JB
n
B ( x ) + x P
-n
P J'B
n
B ( x ) = - x P
-n
P JB
n+1
B ( x )

Simplificando x P
-n
P en los dos miembros de la misma, obtenemos

- n x P
-1
P JB
n
B ( x ) + J'B
n
B ( x ) = - JB
n+1
B ( x )



JB
n+1
B ( x ) + J'B
n
B ( x ) = n x P
-1
P JB
n
B ( x )

Pero a y b son races de la (5.48), es decir:

JB
n+1
B ( a ) = 0

JB
n+1
B ( b ) = 0,
entonces:
J'B
n
B ( a ) = n aP
-1
P JB
n
B ( a )
o bien:
a J'B
n
B ( a ) = n JB
n
B ( a )

De modo similar obtendramos:

b J'B
n
B ( b ) = n JB
n
B ( b )

Multiplicando estas dos ltimas igualdades entre s, en forma cruzada, obtenemos:

b J'B
n
B ( b ) n JB
n
B ( a ) = a J'B
n
B ( a ) n JB
n
B ( b ) (5.49)

De aqu, simplificando n en ambos miembros y pasando todo al primero, resulta:

b J'B
n
B ( b ) JB
n
B ( a ) - a J'B
n
B ( a ) JB
n
B ( b ) = 0

El primer miembro de esta ltima igualdad coincide exactamente con el ltimo miembro de la
(5.46). Por tanto, nuevamente deber ser nula la integral que aparece en ella, salvo que fueran

aP
2
P = bP
2

La conclusin obvia es que esta tercera alternativa es equivalente a los dos anteriores.

Cuarta posibilidad: a y b son dos races, diferentes, de

JB
n-1
B ( x ) = 0 (5.50)

Segn la (5.28), sabemos que

d
xP
n
P JB
n
B ( x ) = xP
n
P JB
n-1
B ( x )
dx

Efectuando esta derivada llegamos a la expresin:

n xP
n-1
P JB
n
B ( x ) + xP
n
P J'B
n
B ( x ) = xP
n
P JB
n-1
B ( x )

Simplificamos aqu xP
n
P antes de pasar todo al primer miembro:

n x P
-1
P JB
n
B ( x ) + J'B
n
B ( x ) = JB
n-1
B ( x )

n JB
n
B ( x ) + x J'B
n
B ( x ) - x JB
n-1
B ( x ) = 0 (5.51)

Como a y b son races de la (5.50), es decir:


JB
n-1
B( a ) = 0

JB
n-1
B ( b ) = 0,

Al reemplazar cada una de estas igualdades en la ecuacin (5.51), sta queda, respectivamente
igual a:
n JB
n
B ( a ) = - a J'B
n
B ( a )

, b J'B
n
B ( b ) = - n JB
n
B ( b )

Multiplicando miembro a miembro verificamos que:

b J'B
n
B ( b ) n JB
n
B ( a ) = a J'B
n
B ( a ) n JB
n
B ( b )

Pero ya habamos obtenido esta igualdad, en la ecuacin (5.41), por lo que tambin la cuarta
posibilidad conduce a un resultado idntico a los tres primeros supuestos.

Quinta posibilidad: Consideremos ahora la ecuacin:

x J'B
n
B ( x ) + C JB
n
B ( x ) = 0

en la que C es una constante arbitraria, en tanto que a y b son dos races distintas de la ecuacin,
es decir:
a J'B
n
B ( a ) + C JB
n
B ( a ) = 0
y
b J'B
n
B ( b ) + C JB
n
B ( b ) = 0
O bien:
a J'B
n
B ( a ) = - C JB
n
B ( a )
y
b J'B
n
B ( b ) = - C JB
n
B ( b )

Si como en los casos anteriores, multiplicamos miembro a miembro en forma cruzada,
tendremos:
a J'B
n
B ( a ) . C JB
n
B ( b ) = b J'B
n
B ( b ) . C JB
n
B ( a )

Simplificando C, y pasando todo al primer miembro, obtenemos nuevamente una ecuacin que ya
nos est resultando familiar:

b J'B
n
B ( b ) . JB
n
B ( a ) - a J'B
n
B ( a ) . JB
n
B ( b ) = 0

La conclusin es, una vez ms, que este caso es tambin similar a los anteriores. En resumen, si
se cumple que a y b son races de cualesquiera de las cinco ecuaciones supuestas, la condicin
necesaria para que la integral

1
x JB
n
B ( ax ) JB
n
B ( bx ) dx
0

sea distinta de cero es en todos los casos la misma: aP
2
P = bP
2
P



Conclusin: Condiciones de ortogonalidad de las funciones de Bessel, en el intervalo {0;1}

Recordemos que dos funciones, fB
j
B ( x ) y fB
k
B ( x ), de un conjunto son ortogonales entre s cuando

b = 0, si j k
fB
j
B ( x ) fB
k
B ( x ) dx =
a 0, si j = k

En ocasiones, la ortogonalidad requiere la existencia de una funcin "complemento" o "peso",
g ( x ), de la siguiente forma:

b = 0, si j k
g ( x ) fB
j
B ( x ) fB
k
B ( x ) dx =
a 0, si j = k

Tal es el caso de las funciones de Bessel, donde:

El complemento es g ( x ) = x, como puede verse en los cinco casos expuestos.

Las funciones fB
j
B ( x ) y fB
k
B ( x ) son, respectivamente:

fB
j
B ( x ) = JB
n
B ( ax ) = JB
n
B ( B
j
B x )

y fB
k
B ( x ) = JB
n
B ( bx ) = JB
n
B ( B
k
B x )

Partiendo de esto, si llamamos C al conjunto de las funciones Bessel de primera clase:

C = [ JB
n
B ( B
i
B x ) ]

constituye un Conjunto Ortogonal de funciones en el intervalo {0, 1}, cuyo peso es g ( x ) = x.

Es decir que si:

JB
n
B ( B
j
B x ) C y JB
n
B ( B
k
B x ) C
entonces:
1 = 0, si B
j
B P
2
P B
k
B P
2
x JB
n
B ( B
j
B x ) JB
n
B ( B
k
B x ) dx =
0 0, si B
j
B P
2
P = B
k
B P
2
P

5.9 - Desarrollo de funciones en serie de Funciones de Bessel:

En el apartado anterior hemos demostrado que las funciones de Bessel

JB
n
B ( x ), con n = 0, 1, 2, 3, 4 . . .

constituyen un conjunto ortogonal de funciones en el intervalo 0 x 1, y que lo mismo ocurre
en el caso de las familias de funciones siguientes


JB
n
B ( B
i
B x ), JB
n+1
B ( B
i
B x ), JB
n-1
B ( B
i
B x ), J'B
n
B ( B
i
B x ), x J'B
n
B ( B
i
B x ) + C JB
n
B ( B
i
B x ),

Por consiguiente es posible en principio desarrollar una funcin f ( x ) como una suma constituida
por los infinitos trminos de una cualquiera de las familias mencionadas, donde el parmetro i
vara de cero a infinito. Por ejemplo:

f ( x ) = cB
i
B JB
n
B ( B
i
Bx ) = cB
o
B JB
n
B ( B
o
Bx ) + cB
1
B JB
n
B ( B
1
Bx ) + cB
2
B JB
n
B ( B
2
Bx ) + . . .
i = 0

En los textos especializados se encuentran tablas de los valores de JB
n
B ( B
i
Bx ).

Esta sumatoria constituye de hecho una serie generalizada de Fourier,

f ( x ) = cB
n
B . B
n
B( x ) = cB
1
B B
1
B( x ) + cB
2
B B
2
B( x ) + . . . + cB
n
B . B
n
B( x ) + . . .
n =1
(5.52)
en la cual:
B
j
B( x ) = JB
n
B ( B
j
Bx )

y B
k
B( x ) = JB
n
B ( B
k
Bx )

Si multiplicamos ambos miembros de la serie (5.52) por B
k
B( x ) y a continuacin integramos en
un perodo que en forma genrica vamos a designar como a, b, resultar:

b b
fB

B( x ) . B
k
B( x ) . d x = cB
n .
B B
k
B( x ) . B
n
B( x ) . d x =
a n = 1 a

b b
= cB
1
B B
1
B ( x ) . B
k
B( x ) d x + cB
2
B B
2
B( x ) . B
k
B( x ) d x + . . . +
a a

b
+ cB
k
B B
k
B ( x ) . B
k
B( x ) d x + . . .
a
Pero

b = MB
k
Bsi k = n
B
k
B( x ) . B
n
B( x ) . d x (5.53)
a = 0 si k n

De aqu llegamos a la siguiente igualdad, que nos permite definir los coeficientes cB
k
B.

b
fB

B( x ) . B
k
B( x ) . d x = cB
k
B . MB
k
B(5.54)B

B
a



Al introducir este resultado en la sumatoria podemos escribir, cambiando el nombre de la variable
de integracin para evitar confusiones:

b
f ( x ) = B
k
B( x ) .
1
fB

B( ) . B
k
B( ) . d
k =1 MB
k
B a

El segundo miembro en esta ecuacin constituye lo que se conoce como una Serie generalizada
de Fourier.

Volviendo a la ecuacin (5.52), de modo similar tenemos:

b = MB
k
Bsi k = j
B
j
B( x ) . B
k
B( x ) . d x
a = 0 si k j

haciendo los reemplazos adecuados al caso presente y teniendo en cuenta el peso, x, hallamos la
igualdad:
1
x . JB
n
PB
2
P ( B
j
Bx ) . d x = MB
k
B
0

Obsrvese que MB
k
B es la Norma del conjunto ortogonal de funciones. Por su parte, efectuando los
reemplazos correspondientes en la ecuacin (5.54)

b
fB

B( x ) . B
k
B( x ) . d x = cB
k
B . MB
k
B(5.54)
a

para la serie de funciones de Bessel tenemos:

1
fB

B( x ) . x . JB
n
B ( B
j
Bx ) . d x = cB
k
B . MB
k
B
0

De aqu podemos deducir el valor de los coeficientes:
1
cB
k
B=
1
x . fB

B( x ) . JB
n
B ( B
j
Bx ) . d x
MB
k
B 0

5.10 - Funciones de Bessel de segunda clase.

En el apartado 5.2 se vio que cuando es un nmero entero n, las funciones JB
n
B ( x ) y JB
-n
B ( x )
mantienen una relacin de linealidad entre s, por lo que para resolver la ecuacin diferencial
respectiva se haca necesario recurrir a las llamadas Funciones de Bessel de Segunda Clase.


Es decir que cuando es un nmero entero, la solucin general de la ecuacin de Bessel no
puede obtenerse como una suma ponderada de JB
n
B ( x ) y JB
-n
B ( x ), como hacamos en el caso
contrarioTP
(1)
PT.

En este apartado trataremos la situacin particular mencionada.

Veamos primero el caso en que n = 0. En tal supuesto, la ecuacin diferencial de Bessel,

xP
2
P y" + x y' + ( xP
2
P - nP
2
P ) y = 0

se reduce a
x y + y + x y = 0

La ecuacin indicial

( - 1 ) cB
o
B + cB
o
B - nP
2
P cB
o
B = 0

se reduce a su vez a:

P
2
P - + = 0

B
1
B = B
2
B = 0

Es decir que la ecuacin indicial tiene una raz doble igual a cero. Esto nos obliga a buscar un
camino diferente para encontrar la solucin.

En el caso general, para que la ecuacin (3.6)

=
- ( B
o
B - 1 ) ( B
o
B - 1 )P
2
P - 4 B
o
2

tenga una raz real doble, es necesario y suficiente que se cumpla la igualdad:

( B
o
B - 1 ) P
2
P = 4 B
o

De aqu, se deduce que

=
- ( B
o
B - 1 )
=
1 - B
o
B
2 2

Una solucin particular de la ecuacin diferencial de segundo orden con coeficientes variables
puede ser, como hemos visto, de la forma (3.7):

yB
1
B ( x ) = xP
P ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . ) TP
(2)
PT

La siguiente es asimismo una segunda solucin particular de la ecuacin

yB
2
B ( x ) = u ( x ) . yB
1
B ( x ) (5.55)

TP
(1)
PT Por supuesto, esta conclusin no invalida todo lo visto hasta aqu sobre las funciones de Bessel de subndice n,
entero.

TP
(2)
PT Como regla general, descomponer la solucin en el producto de una cierta potencia de x, convenientemente
elegida, por una serie geomtrica en x, facilita grandemente el trabajo posterior


en donde u (x ) es una funcin a determinarTP
(3)
PT.

Para obtener la funcin u ( x ) debemos calcular las derivadas primera y segunda de yB
2
B ( x ):

yB
2
B ( x ) = u( x ) . yB
1
B ( x ) + u ( x ) . yB
1
B ( x ) (5.56)

yB
2
B ( x ) = u( x ) . yB
1
B ( x ) + 2 u ( x ) . yB
1
B ( x ) + u ( x ) . yB
1
B ( x )

Reemplazando estos valores en la ecuacin general (3.2), con a = 0,

xP
2
P y" + ( x ) . y' + ( x ) . y = 0 (5.57)

tenemos:
xP
2
P [u( x ) . yB
1
B ( x ) + 2 u ( x ) . yB
1
B ( x ) + u ( x ) . yB
1
B ( x )] +

+ ( x ) [u( x ) . yB
1
B ( x ) + u ( x ) . yB
1
B ( x )] + ( x ) . u ( x ) . yB
1
B ( x ) = 0

Reagrupando adecuadamente los trminos de esta ecuacin,

xP
2
P [u( x ) . yB
1
B ( x ) + 2 u ( x ) . yB
1
B ( x )] + ( x ) . u( x ) . yB
1
B ( x ) +

+ u ( x ) [ xP
2
P . yB
1
B( x ) + ( x ) . yB
1
B (x ) + ( x ) . yB
1
B ( x )] = 0

vemos que la expresin que aparece multiplicando a u ( x ) es justamente el primer miembro de la
(5.57) , por lo que la misma es igual a cero. Al simplificarla, queda solamente:

xP
2
P [u( x ) . yB
1
B ( x ) + 2 u ( x ) . yB
1
B ( x )] + ( x ) . u( x ) . yB
1
B ( x ) = 0

Desarrollemos ahora ( x ) en serie de potencias

( x ) = ( B
o
B x + B
1
PB

P xP
2
P + B
2
B xP
3
P + B
3
B xP
4
P + . . . )

y dividamos todo por xP
2
P yB
1
B, para obtener en forma explcita las derivadas de u ( x ):

u ( x ) + ( 2
yB
1

B +
B
o
B
+ B
1
PB

P+ B
2
B x + B
3
B xP
2
P + . . . ) u ( x ) = 0 (5.58)
yB
1
B x

Por otro lado, la derivada primera de

yB
1
B ( x ) = xP
P ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . )

es: yB
1
B ( x ) = xP
1
P ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . ) + xP
P ( cB
1
B + 2 cB
2
B x + . . . )

Esta ecuacin se puede simplificar unificando las potencias de x dentro y fuera de los parntesis,
asi:
yB
1
B ( x ) = xP
1
P ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . ) + xP
1
P ( cB
1
B x + 2 cB
2
B xP
2
P + . . . )

Esto nos permite sacar factor comn xP
1
P, con lo cual tenemos:

yB
1
B ( x ) = xP
1
P [ ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . ) + ( cB
1
B x + 2 cB
2
B xP
2
P + . . . )]

TP
(3)
PT La determinacin de la funcin u (x) requiere un proceso sencillo pero largo. Si se desea obviarlo, sugerimos
avanzar a la pgina 5.41, donde damos una apretada sntesis del mismo.

A continuacin vamos a dividir ambos miembros por yB
1
B ( x ):

yB
1
B ( x )
=
xP
1
P [ cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . ) + ( cB
1
B x + 2 cB
2
B xP
2
P + . . . )]
yB
1
B ( x ) xP
P ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . )

Simplificando:

yB
1
B ( x )
=
1

( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . ) + ( cB
1
B x + 2 cB
2
B xP
2
P + . . . )
yB
1
B ( x ) x ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . )

Pero la serie que multiplica a en el numerador es igual a la que aparece en el denominador; por
lo que, simplificando nuevamente, obtenemos:

yB
1
B ( x )
=

+
( cB
1
B x + 2 cB
2
B xP
2
P + . . . )
=

+ ( x )
yB
1
B ( x ) x x ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . ) x

En esta ecuacin, el significado de ( x ) es obvio. Reemplazando en la (5.58) el resultado
anterior, se llega a la igualdad:

u + [ 2

+
B
o
B
+ B
1
PB

P+ B
2
B x + B
3
B xP
2
P + . . . + ( x ) ] . u = 0
x x
Llamando:
( x ) = ( x ) + B
1
PB

P+ B
2
B x + B
3
B xP
2
P + . . . +

alcanzamos una simplificacin an mayor, que nos permite escribir:

u + [ 2

+
B
o
B
+ ( x ) ] . u = 0 (5.59)
x x

Hemos hallado oportunamente que cuando la ecuacin indicial deriva en una raz doble para la
constante , el valor de sta ltima es:

=
1 - B
0
B
2 + B
0
B = 1

2

Reemplazando en la ecuacin (5.59):

u + [
1
+ ( x ) ] . u = 0
x

Dividamos ambos miembros por u'. Si pasamos los trminos entre parntesis al segundo
miembro, resulta:

u
=
1
+ ( x )
u x

Al llegar aqu, podemos hacer:



u
=
d u'

u u'

Entonces, integrando, resulta:

ln u = - ln x + ( x ) dx

Y por tanto:
u =
1
e P
(x) dx

x

Como ( x ) es un polinomio en x, la integral que aparece en el exponente es asimismo un
polinomio en x; ello permite desarrollar la exponencial en esta ecuacin como una serie de
potencias de x.

Si llamamos hB
i
B a los coeficientes de la misma, podemos escribir simblicamente:

u =
1
( 1 + hB
o
B x + hB
1
B xP
2
P + hB
2
BxP
3
P + . . . ) =
1
+ hB
o
B + hB
1
B x + hB
2
BxP
2
P + . . .
P

x x
Integrando nuevamente, podemos tambin poner:

u = ln x + kB
1
B x + kB
2
BxP
2
P + . . . (5.60)

El significado de los coeficientes kB
j
B es tambin suficientemente explcito:

kB
1
B = hB
o
B, kB
2
B =
hB
1
B
, etc.
2
______________________________________________________________________________

Recapitulacin:

La ecuacin de Bessel

xP
2
P y" + x y' + ( xP
2
P - nP
2
P ) y = 0

cuando n es igual a cero se reduce a

x y + y + x y = 0

La ecuacin indicial no nos sirve en este caso para avanzar hacia la solucin general. Por tanto,
recurriremos a la ecuacin diferencial de segundo orden con coeficientes variables. Una solucin
particular de la misma es:

yB
1
B ( x ) = xP
P ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . )

O bien yB
2
B ( x ) = u ( x ) . yB
1
B ( x )

Donde la funcin u ( x ), como se ha visto, es de la forma

u = ln x + kB
1
B x + kB
2
BxP
2
P + . . . (5.60)


Al reemplazar este valor en la ecuacin anterior, obtenemos

yB
2
B ( x ) = yB
1
B ( x ) . ln x + xP
P ( kB
1
B x + kB
2
BxP
2
P + . . . ) . ( cB
o
B + cB
1
B x + cB
2
B xP
2
P + . . . )

Ahora estamos en condiciones de seguir en busca de la solucin yB
2
B ( x ).

Al efectuar el producto de las dos series entre parntesis, aparece una nueva serie de potencias en
x. Llamando AB
m
B al coeficiente de la potencia emsima, arribaremos a la expresin simblica
siguiente:

yB
2
B ( x ) = yB
1
B ( x ) . ln x + xP
P B
m
B xP
m
P
m=1

Cuando = 0, la ecuacin anterior se simplifica as:

yB
2
B ( x ) = yB
1
B ( x ) . ln x + B
m
B xP
m
P
m=1

Aplicaremos ahora este resultado a la solucin de la ecuacin de Bessel:

yB
2
B ( x ) = JB
o
B ( x ) . ln x + B
m
B xP
m
P (5.61)
m=1

Derivando sucesivamente, obtenemos:

y'B
2
B ( x ) = J'B
o
B ( x ) . ln x +
JB
o
B ( x )
+ m B
m
B xP
m-1
P
x m=1

y"B
2
B ( x ) = J"B
o
B ( x ) . ln x +
J'B
o
B ( x )
+
x J'B
o
B ( x ) - JB
o
B ( x )
+ m (m - 1) B
m
B xP
m-2
P
x xP
2
P m=1

y"B
2
B ( x ) = J"B
o
B ( x ) . ln x + 2
J'B
o
B ( x )
-
JB
o
B ( x )
+ m (m - 1) B
m
B xP
m-2
P
x xP
2
P m=1

Como para n = 0 la ecuacin de Bessel es:

x y" + y' + x y = 0

y por su parte, JB
o
B ( x ) es solucin de la misma, reemplazando en la ltima igualdad las sucesivas
derivadas de y ( x ) hallamos:

( x JB
o
B + J'B
o
B + x J"B
o
B ) ln x + AB
m
B xP
m+1
P+
JB
o
B
+ m AB
m
B xP
m-1
P + 2 J'B
o
B -
JB
o
B
+
m=1 x m=1 x

+ m ( m - 1 ) AB
m
B xP
m-1
P = 0
m=1



Al ser JB
o
B una solucin particular, la suma

x JB
o
B + J'B
o
B + x J"B
o
B

es necesariamente nula. Por lo tanto, luego de simplificar y ordenar los trminos, resulta:

2 J'B
o
B( x ) + AB
m
B xP
m+1
P+ m AB
m
B xP
m-1
P + m ( m - 1 ) AB
m
B xP
m-1
P = 0
m=1 m=1 m=1

Como veremos enseguida, nos conviene agrupar las dos ltimas sumatorias, que slo difieren
entre s en el factor multiplicador de cada trmino; obtenemos:

2 J'B
o
B( x ) + AB
m
B xP
m+1
P+ ( m + mP
2
P - m ) AB
m
B xP
m-1
P = 0
m=1 m=1

Efectivamente, ahora podemos simplificar ms y menos m:

2 J'B
o
B( x ) + AB
m
B xP
m+1
P+ mP
2
P AB
m
B xP
m-1
P = 0 (5.62)
m=1 m=1

Hemos visto (5.7) que

JB
B ( x ) = xP
P
( - 1 )P
m
PxP
2m
P

m=0 2P
2m+
P m! ( + m + 1 )
Si = 0, ser:

JB
0
B ( x ) =
( - 1 )P
m
PxP
2m
P

m=0 2P
2m
P m! ( m + 1 )

Cuya derivada respecto de x es:

JB
0
B ( x ) =
( - 1 )P
m
P2m xP
2m-1
m=0 2P
2m
P m! ( m + 1 )

Con el objeto de simplificar esta ecuacin, le introduciremos previamente ciertas modificaciones.
Comenzaremos por recordar que:

( m + 1 ) = m! = m ( m-1 )!
Entonces

JB
0
B ( x ) =
( - 1 )P
m
Pm xP
2m-1
m=0 2P
2m-1
P m ( m 1 )! m!

Ahora s, simplificaremos "m" en numerador y denominador:


JB
0
B ( x ) =
( - 1 )P
m
P xP
2m-1
P

m=0 2P
2m-1
P ( m 1 )! m!

Adems, como el primer trmino de la sumatoria, es decir, el que corresponde al subndice m = 0,
es nulo porque en su denominador aparece el factorial de - 1, cuyo valor es infinito, podemos
hacer tambin:

JB
0
B ( x ) =
( - 1 )P
m
P xP
2m-1

P (5.63)
m=1 2P
2m-1
P ( m 1 )! m!

Al introducir este valor de la derivada en la (5.62), obtenemos:

( - 1 )P
m
P xP
2m-1
P
+ AB
m
B xP
m+1
P+ mP
2
P AB
m
B xP
m-1
P = 0 (5.64)P

m=1 2P
2m-2
P ( m 1 )! m! m=1 m=1

Como esta expresin debe tener validez general, cualquiera sea el valor de x, la suma de los
trminos correspondientes a cada potencia de dicha variable x deber ser siempre igual a cero.
Ntese que como m, sbndice, es un entero, las potencias de x son todas impares.

Clculo de los coeficientes AB
m
B:

A partir de la condicin mencionada en el prrafo anterior podemos calcular los sucesivos
coeficientes AB
m
B, como veremos ms abajo. Pero previamente, como para un dado valor de m, los
exponentes de x son diferentes en cada sumatoria, para evitar confusiones cambiaremos el
nombre de los subndices, as:

( - 1 )P
m
P xP
2m-1
P
+ AB
h
B xP
h+1
P+ kP
2
P AB
k
B xP
k-1
P = 0 (5.65)P

m=1 2P
2m-2
P ( m 1 )! m! h=1 k=1

Coeficientes de xP
1
P:

Los coeficientes de la potencia primera de x en cada una de las sumatorias son, respectivamente:

2 m - 1 = 1 m = 1

h + 1 = 1 Luego h = 0

k - 1 = 1 Luego k = 2

Reemplazando estos valores en la (5.62), obtenemos:

-P

P xP

P
+ AB
0
B xP

P+ 4 AB
2
B xP

P= - x + AB
0
B xP

P+ 4 AB
2
B xP

P= 0
2P
0
P ( 0 )! ( 1 )!

Pero, como las sumatorias en la (5.64) comienzan todas a partir del subndice m = 1, AB
0
B es nulo.
Entonces



4 AB
2
B P

P= 1 AB
2
B = 1 / 4 = 0,25

Coeficientes de xP
3
P:

2 m - 1 = 3 m = 1

h + 1 = 3 h = 2

k - 1 = 3 k = 4

Reemplazando en la (5.65), obtenemos en este caso:

P

P xP
3
P
+ AB
2
B xP
3
P+ 16 AB
4
B xP
3
P= ( 1/8 + 1/4 + 16 AB
4
B ) xP
3
P= 0
2P
2
P ( 1 )! ( 2 )!
O sea,
16 AB
4
B P

P= - 1/8 - 1/4 = - 3/8 AB
4
B = - 3 / 128

Coeficientes de xP
5
P:

2 m - 1 = 5 m = 3

h + 1 = 5 h = 4

k - 1 = 5 k = 6

Reemplazando en la (5.65):

P

P - xP
5
P
+ AB
4
B xP
5
P+ 36 AB
6
B xP
5
P= 0
2P
4
P ( 2 )! ( 3 )!
De aqu,
36 AB
6
B P

P= 1/192 + 3/128 = 4/192 = 1/48 AB
6
B = 11 / 13824, etc.

Observemos que los nicos coeficientes que aparecen son aquellos cuyo ndice es par, es decir:
AB
2
B, AB
4
B, AB
6
B, AB
8
B, etc.

Reemplazando sus valores en la solucin propuesta, yB
2
B ( x ), sta ltima queda as:

yB
2
B ( x ) = JB
o
B ( x ) . ln x +
1
xP
2
P
3
xP
4
P +
11
xP
6
P . . . (5.66)
4 128 13824

que trataremos de expresar como una sumatoria. Para ello, teniendo en cuenta que, como
acabamos de ver, m es siempre par, pondremos

m = 2 r

Con lo cual se obtiene para los coeficientes la siguiente frmula general:

AB
m
B = 1 +
1
+
1
+ . . . +
1

( 1 ) P
r -1
P

2 3 r 2P
2r
P ( r! ) P
2
P


Verificaremos a continuacin su validez. En efecto, si m = 2 (Y por tanto, r = 1):

AB
2
B =

( 1 ) P
0
P
=
1

2P
2
P ( 1! ) P
2
P4

Si m = 4, r = 2:

AB
4
B = 1 +
1

( 1 )
=
3
=
3

2 2 P
4
P ( 2! ) P
2
P2 . 16 . 4 128

Si m = 6, r = 3:

AB
6
B = 1 +
1
+
1

( 1 ) P
2
P
=
11
=
11

2 3 2 P
6
P ( 3! ) P
2
P6 . 64 . 36 13824
etc.

Ahora podemos reemplazar el valor de los coeficientes AB
m
B en la (5.66):

yB
2
B ( x ) = JB
o
B ( x ) . ln x + 1 +
1
+ . . . +
1

( 1 ) P
r -1
P
x P
2r
P
r = 1 2 r 2 P
2 r
P ( r! ) P
2
P

Expresando en forma simblica la suma que aparece entre parntesis, esta ecuacin se puede
expresar tambin como
r
yB
2
B ( x ) = JB
o
B ( x ) . ln x +
1
.

( 1 ) P
r -1
P
x P
2r
P
r = 1 p =1 p 2P
2r
P ( r! ) P
2
P

Como JB
o
B ( x ) e yB
2
B ( x ) son linealmente dependientes entre s, es necesario recurrir a una solucin
independiente, como por ejemplo:

YB
o
B ( x ) = [ yB
2
B ( x ) + JB
o
B ( x ) ]

Se conviene en hacer:

= 2/

y = - ln 2

siendo la llamada Constante de Euler, cuya definicin y valor son:

= lim
1
- ln = 0,5772156 ...
k=1 k
r
YB
o
B ( x ) =
2
JB
o
B ( x ) ln x + - ln 2 +
1

( 1 ) P
r -1
P
x P
2r
P

r = 1 p =1 p 2P
2r
P ( r! )P
2



r
YB
o
B ( x ) =
2
JB
o
B ( x ) ln
x
+ +
1

( 1 ) P
r -1
P
x P
2 r
P

2 r = 1 p =1 p 2P
2 r
P ( r! ) P
2
P

Esta ecuacin es la que se conoce como Funcin de Bessel de Segunda Clase, o Funcin de
Neumann, de orden cero.

Otras funciones usuales son: La Funcin de Bessel de Segunda Clase y orden , o Funcin de
Neumann de Orden , que se define as:

YB
B ( x ) = 1 JB

B( x ) cos - JB
B ( x )
sen

Y la de orden n:

YB
n
B ( x ) = lim YB
B ( x )
n

5.11 - Solucin general de la Ecuacin diferencial de Bessel:

Una solucin general de la ecuacin de Bessel para cualquier valor de , es la siguiente:

y ( x ) = CB
1
B JB
B ( x ) + CB
2
B YB
B ( x )

Donde CB
1
B y CB
2
B son constantes complejas arbitrarias.

Otra solucin general est basada en las funciones de Bessel de tercera clase, o funciones de
Hankel:

HB
1,
B( x ) = JB
B ( x ) + i YB
B ( x )
Y
HB
2,
B( x ) = JB
B ( x ) - i YB
B ( x )

En este caso, la solucin completa es de la forma:

y ( x ) = A . HB
1,
B( x ) + B . HB
2,
B( x )

en donde A y B son tambin constantes complejas arbitrarias.

Las funciones de Hankel son de aplicacin para resolver problemas de la Fsica en los cuales
aparecen magnitudes en cuadratura.

Funciones
de Hankel
Funcin de Bessel de 2
Clase
(Funcin de Neumann)

5.12 - Cuadro Sinptico.

Ecuacin Diferencial de Bessel

Frmula general

xP
2
P y" + x y' + ( xP
2
P - P
2
P ) y = 0

, nmero real no
negativo

Solucin particular

JB
B ( x ) = xP
P
( - 1 ) P
m
PxP
2m
P

m=0 2P
2m+
P m! ( + m + 1 )

JB
B ( x ) , funcin de
Bessel de primera
clase

Solucin general

y ( x ) = A JB
B ( x ) + B JB
B ( x )
A y B, nmeros complejos arbitrarios

No aplicable cuando
es un entero

Caso particular:
= n, , nmero entero

xP
2
P y" + x y' + ( xP
2
P - nP
2
P ) y = 0

Solucin general

y ( x ) = A JB
B ( x ) + B YB
B ( x )
YB
B ( x ) , Funcin de
Bessel de segunda
clase

Funciones de Bessel

Funcin de Bessel de
primera clase

JB
B ( x ) = xP
P
( - 1 ) P
m
PxP
2m
P

m=0 2P
2m+
P m! ( + m + 1 )

Idem, expresin
integral
n, entero no negativo

JB
n
B ( x ) =
1
cos ( n - x sen ) d
0

Caso particular:
= 0,5

JB
0,5
B ( x ) =
2 P
0,5
P
sen x

x

JB
- 0,5
B ( x ) =
2 P
0,5
P
cos x

x
Funcin de Bessel de
segunda clase o
Funcin de Neumann

YB
B ( x ) =
1
[ JB

B( x ) cos - JB
B ( x ) ]
sen

Funciones de Hankel

HB
1,
B( x ) = JB
B ( x ) + i YB
B ( x )
HB
2,
B( x ) = JB
B ( x ) - i YB
B ( x )

Utiles cuando en las ecuaciones
aparecen trminos imaginarios.



El presente captulo 5, dedicado a la Ecuacin diferencial de Bessel y a su solucin, no pretende
ser exhaustivo en el estudio de las Funciones de Bessel. Todo lo contrario, la multitud de
aplicaciones de las mismas como solucin de una cantidad de ecuaciones que se presentan en los
diferentes dominios de la Fsica, ha llevado al desarrollo de otras alternativas de una riqueza tal,
en cantidad y en propiedades, que excede largamente los propsitos de este tratado, pero que
pueden ser consultadas tanto en los textos especializados como tambin en muchos libros
dedicados al Clculo Superior.

5.13 - Problemas.

Las Ecuaciones de Bessel aceptan en general soluciones comunes, lo que las hace
particularmente interesantes para resolver muchos problemas de la Fsica. Y aunque dichas
soluciones pueden parecer difciles o largas en su aplicacin, existen en general tablas que
ayudan grandemente a su evaluacin. En este apartado veremos primero cmo resolver algunas
Ecuaciones de Bessel, y a continuacin, cmo transformar ciertas ecuaciones diferenciales en
Ecuaciones de Bessel, para de esta forma simplificar el problema de hallar la solucin.

5.13.1 - Resolver las ecuaciones siguientes:

a) xP
2
P y" + x y' + ( xP
2
P -
1
) y = 0
4
Solucin:

Aqu es: = 0,5 y por lo tanto, la solucin general es:

y ( x ) = A JB
1/2
B ( x ) + B JB
1/2
B ( x ) = A
2
sen x + B
2
cos x
x x
Si hacemos:

A =

i y B =

,
2 2

la ecuacin anterior se transforma en la siguiente:

y ( x ) = x P
-
P
( cos x + i sen x ) = x P
-
P
. e P
i x
P

b) xP
2
P y" + x y' + ( xP
2
P -
25
) y = 0
4
R: y ( x ) = A JB
2,5
B ( x ) + B JB
- 2,5
B ( x )

1
2
1
2

c) xP
2
P y" + x y' + ( xP
2
P - 9 ) y = 0
R: y ( x ) = A JB
3
B ( x ) + B YB
3
B ( x )

d) xP
2
P y" + x y' + xP
2
P y = 0

Solucin: En este caso es igual a cero: = 0
R: y ( x ) = JB
0
B ( x ) = 1 -
xP
2
P
+
xP
4
P
-
xP
6
P
+ . . .
4 64 2304

5.13.2 - Modificar las ecuaciones siguientes para transformarlas en ecuaciones de Bessel, y hallar
la solucin:

a) xP
2
P y" + 5 x y' + xP
2
P y = 0

Solucin: Hagamos y = z . x P

y ' = x P
-1
P z + z ' x P
P e y" = ( - 1 ) x P
-2
P z + 2 x P
-1
P z' + x P
P z"

Reemplazando en la ecuacin obtenemos:

( - 1 ) x P
P z + 2 x P
+1
P z' + x P
+ 2
P z" + 5 x P
P z + 5 z ' x P
+ 1
P + z . x P
+ 2
P= 0

Podemos simlificar x P
P, que aparece en todos los sumandos:

( - 1 ) z + 2 x z' + x P
2
P z" + 5 z + 5 z ' x + z . x P
2
P= 0

A continuacin ordenaremos esta ecuacin:

x P
2
P z" + ( 2 + 5 ) x z ' + [ ( - 1 ) + 5 + x P
2
P] z = 0

De aqu: 2 + 5 = 1 = - 2

Y tambin: ( - 1 ) + 5 = - 4

De donde, reemplazando, obtenemos:

x P
2
P z" + x z ' + ( x P
2
P - 4 ) z = 0

Que es una ecuacin de Bessel, en z, y en la cual, n es igual a 2. La solucin es:

z ( x ) = A JB
2
B ( x ) + B YB
2
B ( x )

Finalmente, como y = z . x P

P,P

Pla solucin general, expresada como funcin de y, es:

y ( x ) = A x P
P JB
2
B ( x ) + B x P
P YB
2
B ( x )

Donde A y B son dos constantes complejas arbitrarias.

b) xP
2
P y" + 6 x y' + xP
2
P y = 0



c) xP
2
P y" +
3
x y' + xP
2
P y = 0
2

5.13.3 - Resolver las ecuaciones siguientes transformndolas previamente en ecuaciones de
Bessel:

a) xP
2
P y" + x y' + mP
2
P ( xP
2
P - P
2
P ) y = 0

Hagamos el reemplazo:

t = m x

Ahora, y ( x ) es una funcin de t: y ( x ) = y ( m P
-1
P t ).

Las derivadas de y respecto de t son:

d y
=
d y
.
d x
= m P
-1
P . y ' ( x )
d t d x d t

y
dP
2
P y
=
d y '
.
d x
= m P
-2
P . y " ( x )
d tP
2
P d x d t

Reemplazamos ahora x, y '( x ) e y " ( x ) en la ecuacin original, con lo cual esta queda
expresada como una funcin de t:

mP
2
P
t P
2
P y" +
m
t y' + ( t P
2
P - P
2
Pm P
2
P) y = t P
2
P
d P
2
Py
+ t
d y
+ ( t P
2
P - P
2
P ) y = 0
mP
2
P m d t P
2
Pd t

Hemos obtenido as una ecuacin de Bessel, en la cual la variable es t, y el valor de :

= m

La solucin general es, por lo tanto:

y ( t ) = A JB
B ( t ) + B YB
B ( t )

b) xP
2
P y" + 5 x y' + 2 xP
2
P y = 0

El reemplazo adecuado en este caso es: y = z x P
P

Con esta sustitucin, la ecuacin diferencial resulta (Ver problema 5.2 a):

x P
2
P z" + ( 2 + 5 ) x z ' + [ ( - 1 ) + 5 + 2 x P
2
P] z = 0

De aqu: 2 + 5 = 1 = 2

Reemplazando en la ltima ecuacin, tenemos:

x P
2
P z" + x z ' + 2 ( x P
2
P- 2 ) z = 0


Esta ltima ecuacin es similar a la del problema 5.3 a, y por tanto se resuelve de manera idntica
a aquella.

c) x y" + m y ' + n y = 0

Esta ecuacin aunque diferente de la ecuacin diferencial de Bessel, para ciertos valores de m y n
acepta como solucin a la funcin de Bessel de orden cero:

y ( t ) = JB
0
B ( t )

En efecto, hagamos el reemplazo: x = t P
2
P. Como

y ( t ) = 1 -
t P
2
P
+
t P
4
P
-
t P
6
P
+ . . .
4 64 2304
entonces
y ( x ) = 1 -
x
+
x P
2
P
-
x P
3
P
+ . . .
4 64 2304
Derivando:
y ' ( xP

P) = -
1
+
x
-
x P
2
P
+ . . .
4 32 768
Tambin
x . y"( x ) =
x
-
x P
2
P
+ . . .
32 384

Reemplazando en la ecuacin original podemos arribar a las siguientes conclusiones: Para que el
trmino independiente sea nulo, deberan ser m = 4 o bien, n = 1/4.

Para que los trminos en x se anulen, deberan ser: m = 1 y n = 1/4. Estos ltimos valores anulan
tambin el trmino en xP
2
P y sucesivos. En definitiva, la ecuacin dada, en la que

m = 1 y n =
1

4
tiene como solucin

y ( t ) = JB
0
B ( t ) donde t = x



Problemas resueltos con Matlab:
Calcular el valor de la funcin de Bessel de primera clase y orden 2, para x = 3. Comparar
el resultado con la suma de los cuatro primeros trminos de la serie:

% Utilizaremos la funcin Matlab: BESSELJ (Nu, x):
BESSELJ (2, 3)
ans = 0.4861

A partir de los primeros cuatro trminos de la serie:

JB
2
B ( 3 ) = 3P
2
P
( - 1 )P
m
PxP
2m
P

m=0 2P
2m+2
P m! ( m + 2 ) !

JB
2
B ( 3 ) =
3P
2
P
-
3P
2
P

. 3P
2
P
+
3P
2
P

.

3P
4
P
-
3P
2
P

.

3P
6
P
= 0,4836
2P
4
P 2! 2P
4
P3! 2P
6
P2! 4! 2P
8
P3! 5!

Calcular el valor de la funcin JB
0,3
B( x ) para los primeros valores enteros de x. Hallar por
aproximaciones sucesivas los primeros cuatro ceros, y determinar la separacin entre ellos.

BESSELJ (0.3, 1) Ubicacin ceros: Distancia entre ceros
ans = 0.7402
BESSELJ (0.3, 2)
ans = 0.4257
BESSELJ (0.3, 3) BESSELJ (0.3, 2.855)
ans = -0.0673 ans = -4.2812e-004
BESSELJ (0.3, 4)
ans = - 0.3638
BESSELJ (0.3, 5)
ans = -0.2968
BESSELJ (0.3, 6) BESSELJ (0.3, 5.982)
ans = 0.0058 ans = -7.2278e-005
BESSELJ (0.3, 7)
ans = 0.2567
BESSELJ (0.3, 8)
ans = 0.2538
BESSELJ (0.3, 9) BESSELJ (0.3, 9.119)
ans = 0.0317 ans = 8.9611e-005
BESSELJ (0.3, 10)
ans = - 0.1946
BESSELJ (0.3, 11)
ans = - 0.2289
BESSELJ (0.3, 12) BESSELJ (0.3, 12.259)
ans = -0.0589 ans = 6.4857e-005
BESSELJ (0.3, 13)
ans = 0.1495

3,127
3,137
3,140

Utilizando exclusivamente Matlab, verificar, para x = /2, el cumplimiento de la frmula:

JB
0,5
B ( x ) =
2 P
0,5
P
sen x

x

JB
0,5
B (
) =
4 P
0,5
P
sen

2 P
2
P 2

BESSELJ (0.5, pi/2)
ans = 0.6366

Verificacin en el segundo miembro de la igualdad:
a = (pi)^2
a = 9.8696
b = 4 / a
b = 0,4053
J = b^0.5 % Recordar que sen / 2 = 1
J = 0.6366

Repetir el problema anterior, siendo x = /3, para verificar la frmula:

JB
- 0,5
B ( x ) =
2 P
0,5
P
cos x

x

BESSELJ (-0.5, pi/3)
ans = 0.3898

Verificacin:
x = (pi)^3
x = 1.0472
y = cos (x)
y = 0.5000
a = 2*3/(pi^2)
a = 0.6079
b = a^0,5
b = 0.7097
J = b*y
J = 0.3898

Calcular la funcin de Bessel de segunda clase y orden cero, para x = :

BESSELY (0, pi)
ans = 0.3284



Construccin de tablas de funciones de Bessel. Ejemplos:

NU = [0]
NU = 0
X = [0 0.2 0.4 0.6 0.8 1]
X = 0 0.2000 0.4000 0.6000 0.8000 1.0000
BESSELJ (NU, X)
ans = 1.0000 0.9900 0.9604 0.9120 0.8463 0.7652

De otra forma:

BESSELJ (0, (0 : .2 : 1))
ans = 1.0000 0.9900 0.9604 0.9120 0.8463 0.7652

Construmos ahora una tabla idnticapero para otros valores de :

BESSELJ (1, (0 : .2 : 1))
ans = 0 0.0995 0.1960 0.2867 0.3688 0.4401

% Tabla de Funciones Bessel para = 2

BESSELJ (2, (0 : .1 : 1))
ans =
Columns 1 through 7
0 0.0012 0.0050 0.0112 0.0197 0.0306 0.0437
Columns 8 through 11
0.0588 0.0758 0.0946 0.1149

Observemos tambin la forma siguiente:

BESSELJ (1, (0 : .2 : 1) ' )
ans = 0
0.0995
0.1960
0.2867
0.3688
0.4401

Ntese que en este caso, a la inversa de los ejemplos anteriores, los valores para constante
aparecen en las columnas. La modificacin se debe al agregado del apstrofe entre los dos
parntesis de cierre.

La utilidad del cambio la veremos en el ejemplo siguiente, que permite construir una tabla (O
matriz) bidimensional:


Construccin de la tabla de valores para la funcin de Bessel de primera clase, para:
Rango de la variable : De 0 a 0,5, en pasos de 0,1.
Rango de la variable x: De 0 a 1, en pasos de 0,2.

BESSELJ (0 : .1 : .5, (0 : .2 : 1)')
ans =
1.0000 0 0 0 0 0
0.9900 0.8274 0.6815 0.5542 0.4455 0.3545
0.9604 0.8626 0.7633 0.6666 0.5753 0.4913
0.9120 0.8573 0.7932 0.7237 0.6524 0.5816
0.8463 0.8248 0.7902 0.7458 0.6949 0.6399
0.7652 0.7708 0.7615 0.7402 0.7094 0.6714

Construccin de la tabla de valores para la funcin de Bessel de primera clase, para:
Rango de la variable : De 0 a 5, en pasos de 1.
Rango de la variable x: De 0 a 2, en pasos de /3.

BESSELJ (0 : 1 : 5, (0 : pi/3: 2*pi)')
ans =
1.0000 0 0 0 0 0
0.7441 0.4550 0.1250 0.0223 0.0030 0.0003
0.1698 0.5689 0.3734 0.1443 0.0401 0.0087
-0.3042 0.2846 0.4854 0.3335 0.1514 0.0521
-0.3781 -0.1348 0.3137 0.4344 0.3085 0.1547
-0.0979 -0.3446 -0.0337 0.3188 0.3991 0.2909
0.2203 -0.2124 -0.2879 0.0291 0.3157 0.3728

Construccin de la tabla de valores para la funcin de Bessel de segunda clase, para:
Rango de la variable : De 0 a 0,5, en pasos de 0,1.
Rango de la variable x: De 0 a 1, en pasos de 0,2.

BESSELY (0 : 1 : 5, (0 : pi/3: 2*pi)')
ans =
-Inf -Inf -Inf -Inf -Inf -Inf
0.1242 -0.7411 -1.5396 -5.1396 -27.9080 -208.0617
0.5180 -0.0547 -0.5703 -1.0344 -2.3930 -8.1063
0.3284 0.3589 -0.0999 -0.4861 -0.8284 -1.6235
-0.0896 0.3700 0.2663 -0.1157 -0.4321 -0.7095
-0.3339 0.0667 0.3594 0.2078 -0.1212 -0.3930
-0.2291 -0.2391 0.1530 0.3365 0.1683 -0.1222



Alternancia de los ceros de las funciones de Bessel de ndice consecutivo:

% Comprobar en forma grfica la alternancia entre los ceros
% de las funciones J 3(x) y J 2(x)

% Rango de x: De 0 a 20 en pasos de 0.2:
J 2x = besselj(2,(0:0.2:20));
J 3x = besselj(3,(0:0.2:20));
x = [0 : 0.2 : 20];
plot(x,J 2x,x,J 3x)

Propiedades de las funciones de Besssel:

% Verificar la propiedad J -n(x) = (-1)^n*J n(x).
% Si n es par, entonces: J -n(x) = J n(x). Sea por ejemplo n = 2:
syms x
J _2x = besselj(-2,x)
J _2x = besselj(2,x)

% Por el contrario, si n es impar:
J _3x = besselJ (-3,x)
J _3x = - besselj(3,x)

Verificar con la ayuda de su representacin grfica, la frmula: d/dx (1/x^n*Jn(x) = - 1/x^n*Jn+1(x):

syms x
% Sea por ejemplo n = 2
x^(-2)*besselj(2,x)
ans = 1/x^2*besselj(2,x)
F1 = diff (1/x^2*besselj(2,x))
F1= - 2/x^3*besselj(2,x)+1/x^2*(besselj(1,x) -2/x*besselj(2,x))
F2 = 1/x^2*besselj(3,x)
F2 = 1/x^2*besselj(3,x)

0 2 4 6 8 10 12 14 16 18 20
-0.4
-0.3
-0.2
-0.1
0
0.1
0.2
0.3
0.4
0.5
JB
3
B(x)
JB
2
B(x)

% Si representamos ambas funciones, verificamos que las mismas son iguales y opuestas:
ezplot (F1)
hold on
ezplot (F2)
grid

Races de Jo(x): Con ayuda de la grfica de la funcin, hallar por aproximaciones sucesivas
las dos primeras races y calcular la separacin entre ellas:

% Empecemos por representar la funcin
syms x
J 0 = besselj(0,x);
ezplot (J 0)
% En el grfico vemos que las races caen en
% x1 = 2,4 y x2 = 5,5 aproximadamente.
besselj(0,(5.52 : 0.001 : 5.525))
ans =
-0.0000 0.0003 0.0007 0.0010 0.0013 0.0017
% Una raz cae en x = 5,52. La otra en:
besselj(0,(2.40 : 0.001 : 2.405))
ans =
0.0025 0.0020 0.0015 0.0009 0.0004 -0.0001
% Es decir, en 2.405 aprox. La diferencia entre ambas es:
% Distancia entre ceros:
5.52 - 2.405
ans = 3.1150
% Vemos nuevamente que la diferencia entre races es una cantidad prxima a pi.

Resolver la ecuacin del problema 5.13.1.a

syms y t
Y = dsolve('t^2*D2y+t*Dy+(t^2-.25)*y = 0')
Y = (C1*sin(t)+C2*cos(t))/t^(1/2)
% Observar que esta ecuacin coincide con la solucin del problema,
% con la condicin de asignar a C1 y C2 los valores adecuados.

-5 -4 -3 -2 -1 0 1 2 3 4 5
-0.04
-0.03
-0.02
-0.01
0
0.01
0.02
0.03
0.04
x
1/x^2*besselj(3,x)
-6 -4 -2 0 2 4 6
-0.5
0
0.5
1
x
besselj(0,x)


Solucin de ecuaciones de Bessel o transformables Bessel:

% Resolver la ecuacin de Bessel: y " *x^2 + y ' *x + (x^2 - n^2)*y = 0
% Ejemplo 1: n = 0

syms y t
Y = dsolve('t^2*D2y+t*Dy+t^2*y=0')
Y = C1*besselj(0,t)+C2*bessely(0,t)

% Ejemplo 2: n = 2
Y = dsolve('t^2*D2y+t*Dy+(t^2-4)*y=0')

% Ejemplo 3: n = 5
Y = dsolve('t^2*D2y+t*Dy+(t^2-25)*y=0')
% etc.

syms y t

% Resolver la ecuacin y " *x^2 + 6*y ' *x + x^2 *y = 0

Y = dsolve('t^2*D2y+6*t*Dy+t^2*y=0')
Y = (C1*cos(t)*t^2-3*C1*cos(t)-3*C1*sin(t)*t+C2*sin(t)*t^2-3*C2*sin(t) +3*C2*cos(t)*t)/t^5

% Resolver la ecuacin y " *x + y ' + x^2 * y/4 = 0
Y = dsolve('t*D2y + Dy + t^2*y/4 = 0')
Y = C1*bessely(0,1/3*t^(3/2))+C2*besselj(0,1/3*t^(3/2))

% Resolver la ecuacin y " *x^2 + 3/2*y ' *x + x^2 *y = 0
Y = dsolve('t^2*D2y+3/2*t*Dy+t^2*y=0')
Y = (C1*besselj(1/4,t)+C2*bessely(1/4,t))/t^(1/4)

% Resolver la ecuacin: y " * x^2 + 6*y ' * x + x^2 * y = 0
Y = dsolve('t^2*D2y+5*t*Dy+2*t^2*y=0')
Y = (C1*besselj(2,2^(1/2)*t)+C2*bessely(2,2^(1/2)*t))/t^2


Verificacin de la solucin( Grfico):

syms y t
Y = dsolve('t^2*D2y+t*Dy+t^2*y=0')


% Hagamos C1 = 1 y C2 = 1:
y = besselj(0,t)+bessely(0,t)
y = besselj(0,t)+bessely(0,t)

d1 = diff(y,t)
d1 = -besselj(1,t)-bessely(1,t)
d2 = diff(d1,t)
d2 = -besselj(0,t)+1/t*besselj(1,t)-bessely(0,t)+1/t*bessely(1,t)

F = t^2*d2+t*d1+t^2*y
F = t^2*(-besselj(0,t)+1/t*besselj(1,t)-bessely(0,t)+1/t*bessely(1,t))+
+ t*(-besselj(1,t)-bessely(1,t))+t^2*(besselj(0,t)+bessely(0,t))
ezplot(F)
axis([0 6 .1 .1])

0 1 2 3 4 5 6
-0.1
-0.08
-0.06
-0.04
-0.02
0
0.02
0.04
0.06
0.08
0.1
t
t^2*(-besselj(0,t)+1/t ~~~ elj(0,t)+bessely(0,t))

5 - Funciones de Bessel

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

5 - Funciones de Bessel

Cargado por

Copyright:

Formatos disponibles

E

P, que aparece en todos los sumandos:

También podría gustarte