Apndice E Funciones de Bessel

Maestra en ciencias en estructuras Apndice E - 1

Apndice E

Funciones de Bessel

























Apndice E Funciones de Bessel

Maestra en ciencias en estructuras Apndice E - 2

APNDICE D

II.4.4 Funcin de Bessel
En matemticas, las funciones de Bessel, primero definidas por el matemtico Daniel
Bernoulli y ms tarde generalizadas por Friedrich Bessel, son soluciones cannicas
y(x) de la ecuacin diferencial de Bessel:

( ) 0
2 2
2
2
2
= + + + y x
dx
dy
x
dx
y d
x o (E.1)

donde o es un nmero real o complejo. El caso ms comn es cuando o es un
entero n, aunque la solucin para o no entero es similar. El nmero o se denomina
orden de las funciones de Bessel asociadas a dicha ecuacin.
La Ecuacin de Bessel se utiliza cuando se buscan soluciones a la ecuacin de
Laplace o a la ecuacin de Helmholtz por el mtodo de separacin de variables en
coordenadas cilndricas o esfricas. Por ello, las funciones de Bessel son
especialmente importantes en muchos problemas de propagacin de ondas,
potenciales estticos y cualquier otro problema descrito por las ecuaciones de
Helmoltz o Laplace en simetras cilndricas o esfricas. Cuando se resuelven
sistemas en coordenadas cilndricas, se obtienen funciones de Bessel de orden
entero ( n = o ) y en problemas resueltos en coordenadas esfricas, se obtienen
funciones de Bessel de orden semi-entero ( 2 / 1 + = n o ).

Funciones de Bessel ordinarias

Las funciones de Bessel ordinarias de orden o , son soluciones de la ecuacin de
Bessel. Existen dos formas simples de expresar la solucin general de la ecuacin
diferencial de Bessel con parmetro o , que estn asociadas a las funciones de
Bessel ordinarias de primera y de segunda especie.

Funciones de Bessel de primera especie: o J

Las funciones de Bessel de primera especie y orden o son las soluciones de la
ecuacin diferencial de Bessel que son finitas en el origen ( 0 = x ) para enteros no
negativos o y divergen en el lmite para o negativo no entero. Para las soluciones
de orden entero es posible definir la funcin ) (x Jo por su expansin en serie de
Taylor en torno a 0 = x :

( )
( )

=
+
|
.
|

\
|
+ + I

=
0
2
2 1 !
1
) (
k
k k
x
k k
x J
o
o
o
(E.2)
Apndice E Funciones de Bessel

Maestra en ciencias en estructuras Apndice E - 3



( ) ( )
(

+ +
+
+

+ I
=
) 4 2 )( 2 2 )( 4 ( 2 2 2 2
1
1 2
) (
4 2
o o o o
o
o
o
x x x
x J (E.3)

donde ( ) z I es la funcin Gamma de Euler.
Estas funciones cumplen que:

- Si Z e o , entonces ) (x J
o
y ) (x J
o
son linealmente independientes, y por
tanto proporcionan una solucin general de la ecuacin de Bessel.
- Si Z e o , entonces ) (x J
o
no est definida en 0 = x .
- Si Z e o , entonces se cumple: ( ) ( ) x J x J
n
n
1 ) ( =
o
, por lo que las dos
soluciones dejan de ser linealmente independientes. En este caso, la segunda
solucin linealmente independiente ser una funcin de Bessel de segunda
especie.

Funciones de Bessel de segunda especie:
o
Y

Las funciones de Bessel de segunda especie, denotadas por ( ) x Y
o
, son soluciones
de la ecuacin diferencial de Bessel. Estas funciones divergen en el origen ( 0 = x ).
A estas funciones ( ) x Y
o
tambin se les llama funciones de Neumann o de Weber, y
se denotan por ( ) x N
o
. Para o no enteros, se definen a partir de las funciones de
primera especie ) (x J
o
mediante la siguiente frmula:


( )
( ) ( ) ( )
( )
Z e

=

o
ot
ot
o o
o
,
sin
cos x J x J
x Y (E.4)


Funciones de Hankel:
o
H

Otra formulacin importante de las dos soluciones linealmente independientes de la
ecuacin de Bessel son las funciones de Hankel ( ) x H
) 1 (
o
y ( ) x H
) 2 (
o
definidas:

( ) ( ) ( ) x iY x J x H
o o o
+ =
) 1 (


( ) ( ) ( ) x iY x J x H
o o o
=
) 2 (
(E.5)

donde i es la unidad imaginaria. Estas combinaciones lineales son tambin
conocidas como las funciones de Bessel de tercera especie. Las funciones de Hankel
Apndice E Funciones de Bessel

Maestra en ciencias en estructuras Apndice E - 4

de primera y segunda especie son usadas para representar las soluciones de ondas
entrantes y salientes de una ecuacin de onda en simetra cilndrica respectivamente
(o viceversa dependiendo de la convencin de signo de la frecuencia). Estas
funciones son as nombradas en honor de Hermann Hankel.
Usando la definicin mencionada anteriormente, estas funciones se pueden escribir
en funcin de las funciones de Bessel de primer orden ) (x J
o
como:

( )
( ) ( )
) sin(
) 1 (
ot
o
ot
o
o
i
x J e x J
x H
i

=

( )
( ) ( )
) sin(
) 2 (
ot
o
ot
o
o
i
x J e x J
x H
i

(E.6)

si o es un entero, las expresiones anteriores se pueden reescribir como:

( ) Z e =

n x H x H
n n
) ( lim
1 ) 1 (
o o


( ) Z e =

n x H x H
n n
) ( lim
2 ) 2 (
o o
. (E.7)

La siguiente relacin es vlida para todo valor de o , sea entero o no:

( ) ( ) x H e x H
i ) 1 ( ) 1 (
o
ot
o
=

( ) ( ) x H e x H
i ) 2 ( ) 2 (
o
ot
o

= (E.8)


Solucin general de la ecuacin de Bessel

La solucin general de la ecuacin diferencial de Bessel con parmetro o viene
dada en trminos de las funciones de Bessel ordinarias o de las funciones de Hankel.
Dicha solucin general puede expresarse como:

( ) ( ) Z e + =

o
o o
x BJ x AJ x y ) (

( ) ( ) R x BY x AJ x y e + = o
o o
) (

( ) ( )
( )
R
x xJ
dx
x BJ x AJ x y e + =
}
o
o
o o 2
) (

( ) ( ) R x BH x AH x y e + = o
o o
2 1
) ( (E.9)

donde A y B son dos constantes arbitrarias.