Funcin de Bessel

En matemtica, 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:

(1)

donde es un nmero real o complejo. El caso ms comn es cuando es un entero , aunque la solucin para no enteros es similar.
El nmero se denomina orden de las funciones de Bessel asociadas a dicha ecuacin.

Dado que la ecuacin anterior es una ecuacin diferencial de segundo orden, tiene dos soluciones linealmente independientes.

Aunque y dan como resultado la misma funcin, es conveniente definir diferentes funciones de Bessel para estos dos parmetros,
pues las funciones de Bessel en funcin del parmetro son funciones suaves casi doquiera. Las funciones de Bessel se denominan
tambin funciones cilndricas, o armnicos cilndricos porque son solucin de la ecuacin de Laplace en coordenadas cilndricas.

ndice
1 Aplicaciones
2 Funciones de Bessel ordinarias
o 2.1 Funciones de Bessel de primera especie:
2.1.1 Integrales de Bessel
2.1.2 Relacin con las series hipergeomtricas
2.1.3 Relacin con los polinomios de Laguerre
o 2.2 Funciones de Bessel de segunda especie:
3 Funciones de Hankel: H(1), H(2)
o 3.1 Solucin general de la ecuacin de Bessel
4 Funciones de Bessel modificadas: I, K
 o 4.1 Funciones de Bessel modificadas de primera especie:
o 4.2 Funciones de Bessel modificadas de segunda especie:
o 4.3 Solucin general de la ecuacin de Bessel modificada
o 4.4 Funciones esfricas de Bessel:
o 4.5 Funciones de Hankel esfricas: h n
o 4.6 Funciones esfricas de Bessel modificadas:
4.6.1 Funcin generatriz
4.6.2 Relaciones diferenciales
o 4.7 Funciones de Riccati-Bessel:
5 Expansiones asintticas
6 Propiedades
7 Teorema del Producto
8 Hiptesis de Bourget
9 Derivadas de J, Y, I, H, K
o 9.1 Derivada bajando el ndice p a p 1
o 9.2 Derivada subiendo el ndice p a p + 1 dependency
o 9.3 Otras relaciones importantes
10 Identidades Seleccionadas
11 Vase tambin
12 Referencias
o 12.1 Notas
o 12.2 Bibliografa
o 12.3 Enlaces externos

Aplicaciones
La Ecuacin de Bessel aparece 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 Helmholtz
o Laplace en simetras cilndricas o esfricas. Cuando se resuelven sistemas en coordenadas cilndricas, se obtienen funciones de
Bessel de orden entero ( ) y en problemas resueltos en coordenadas esfricas, se obtienen funciones de Bessel de orden
semientero ( ), por ejemplo:

Ondas electromagnticas en guas de onda cilndricas.

Modos transversales electromagnticos en guas pticas.
Conduccin del calor en objetos cilndricos.
Modos de vibracin de una membrana delgada circular (o con forma de anillo).
Difusin en una red.

Tambin se usan funciones de Bessel en otro tipo de problemas como en procesado de seales.

Funciones de Bessel ordinarias

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

Funciones de Bessel de primera especie:

Las funciones de Bessel de primera especie y orden son las soluciones de la ecuacin diferencial de Bessel que son finitas en el
origen ( ) para enteros no negativos y divergen en el lmite para negativo no entero. El tipo de solucin y la
normalizacin de estn definidos por sus propiedades abajo indicadas. Es posible definir la funcin por su expansin en
serie de Taylor en torno a :1

es la funcin Gamma de Euler, una generalizacin del factorial para nmeros complejos.
Estas funciones cumplen que:

Si , entonces y son linealmente independientes, y por tanto una solucin general de la ecuacin de
Bessel puede expresarse como una combinacin lineal de ellas.
Si , entonces se cumple:2

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.

Las funciones de Bessel son funciones oscilatorias (como las funciones seno o coseno) que decaen proporcionalmente a (como
nos lo mostrarn las formas asintticas de estas funciones ms abajo), aunque los ceros de estas funciones no son, en general,
peridicos, excepto de forma asinttica para grandes x.

Funciones de Bessel de primera especie, J(x), para rdenes enteros =0,1,2.

Como casos particulares, se tienen las dos primeras funciones de Bessel enteras:
Integrales de Bessel

Para valores enteros de , se tiene la siguiente representacin integral:

Que tambin se puede escribir como:

Esta es la forma usada por Bessel en su estudio de estas funciones, y a partir de esta definicin dedujo varias propiedades de las
mismas. Esta definicin integral puede extenderse a rdenes no enteros aadiendo otro trmino integral:

Tambin se tiene, para

Relacin con las series hipergeomtricas

Las funciones de Bessel son un caso especial de funcin hipergeomtrica

Esta frmula est relacionada con la expansin de las funciones de Bessel en funcin de la funcin de BesselClifford.

Relacin con los polinomios de Laguerre

Las funciones de Bessel pueden expandirse en serie de polinomios de Laguerre para cualquier parmetro arbitrario como3

Funciones de Bessel de segunda especie:

Las funciones de Bessel de segunda especie, denotadas por , son soluciones de la ecuacin diferencial de Bessel, Estas
funciones divergen en el origen (x = 0).
Funciones de Bessel de segunda especie, Y(x), para rdenes =0,1,2.

A estas funciones tambin se les llama a veces funciones de Neumann o de Weber, y a veces se denotan por . Para ; no
enteros, se definen a partir de las funciones de primera especie mediante la siguiente frmula:

En el caso en el que tengamos un orden entero n, la funcin es definida como el siguiente lmite slo vlido para enteros:

que nos da el siguiente resultado en forma integral:

Para el caso en el que tengamos no enteros, la definicin de es redundante (como queda claro por su definicin de arriba). Por
otro lado, cuando es entero, es la segunda soluccin linealmente independiente de la ecuacin de Bessel, adems, de forma
similar a lo que ocurra con las funciones de primera especie, se cumple que:

Ambas y son funciones holomorfas de x en el plano complejo cortado por el eje real negativo. Cuando es un entero, no
hay puntos de ramificacin, y las funciones de Bessel son funciones enteras de x. Si fijamos x, entonces las funciones de Bessel son
funciones enteras respecto a la variable .

Funciones de Hankel: H(1), H(2)

Otra formulacin importante de las dos solucciones linealmente independientes de la ecuacin de Bessel son las funciones de Hankel
y as definidas:4

donde i es la unidad imaginaria. Estas combinaciones lineales son tambin conocidas como las funciones de Bessel de tercera
especie. Las funciones de Hankel de primera y segunda especie son usadas para representar las solucciones de ondas entrantes y
salientes de una ecuacin de ondas en simetras cilndricas respectivamente (o viceversa dependiendo de la conveccin de signo de la
frecuencia). Estas funciones son as nombradas en honor de Hermann Hankel.

Usando la definicin dada arriba, estas funciones se pueden escribir en funcin de las funciones de Bessel de primer orden as:
Si es un entero, se tiene que calcular de las expresiones de arriba as:

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

Existe una representacin integral de las funciones de Hankel (til para el clculo de propagadores de la ecuacin de Klein-Gordon):6

Solucin general de la ecuacin de Bessel

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

Donde A y B son dos constantes arbitrarias.

Funciones de Bessel modificadas: I, K

Las funciones de Bessel ordinarias son vlidas para valores complejos del argumento x, y un caso especialmente importante es aquel
con argumento imaginario puro. En este caso, la ecuacin de Bessel se transforma en la ecuacin de Bessel modificada7

(3)

y sus dos soluciones linealmente independientes son las funciones de Bessel modificadas de primer y segundo tipo: I(x) y K(x)
respectivamente.8

Funciones de Bessel modificadas de primera especie:

Las funciones de Bessel modificadas de primera especie y orden vienen dadas por:

Estn relacionadas con las funciones de Bessel ordinarias mediante la siguiente igualdad:
 .

Si entonces y son linealmente independientes, y por tanto dan una solucin general de la ecuacin de
Bessel.
Si entonces no est definida en x = 0.

Casos particulares:

Funciones de Bessel modificadas de segunda especie:

Las funciones de Bessel modificadas de segunda especie y orden se definen a partir de las funciones modificadas de primera especie
para rdenes no enteros mediante las siguiente frmula:

Para los casos en los que sea entero ( ), tenemos que tomar el lmite del orden no entero al entero as:
Adems se puede escribir esta funcin a partir de la funcin de Hankel de primera especie as:

Existen varias representaciones integrales de estas funciones. La siguiente de K (x) es til para el clculo del propagador de Feynman
en Teora Cuntica de Campos:

Las funciones de Bessel modificadas de segunda especie han sido tambin llamadas:

Funciones de Basset
Funciones de Bessel modificadas de tercera especie
Funciones de MacDonald
Funciones de Hankel modificadas9

Al contrario que las funciones de Bessel ordinarias, J and Y, las cuales son funciones oscilatorias para argumentos reales, las
funciones de Bessel modificadas, I and K, son exponencialmente creciente y decreciente respectivamente. Como la funcin de Bessel
ordinaria J, la funcin I va a cero en x = 0 para > 0 y es finita en x = 0 para = 0. Anlogamente, K diverge en x = 0.
Funcin de Bessel modificada de primera especie, I(x), para Funcin de Bessel modificada de segunda especie, K(x), para
=0,1,2,3. =0,1,2,3.

Solucin general de la ecuacin de Bessel modificada

La solucin general de la ecuacin diferencial de Bessel modificada con parmetro viene dada por:

(4)

Donde A y B son dos constantes arbitrarias.

Funciones esfricas de Bessel:

Funciones esfricas de Bessel de primer orden, jn(x), para n=0,1,2.

Funciones esfricas de Bessel de segundo orden, yn(x), para n=0,1,2.

Cuando se solucciona la ecuacin de Helmholtz en coordenadas esfricas por separacin de variables, la ecuacin radial tiene la forma:
Donde n es un entero positivo. Las dos solucciones linealmente independientes de esta ecuacin se denominan funciones esfricas de
Bessel y , y estn relacionadas con las funciones de Bessel ordinarias y por:10

se escribe tambin como o . A esta funcin a veces se le llama funcin esfrica de Neumann.

Las funciones esfricas de Bessel se pueden obtener a partir de las siguientes frmulas:

La funcin de Bessel esfrica es la Funcin sinc desnormalizada.

Para n = 0,1 y 2 tenemos:11

 12

La frmula general es:

Funciones de Hankel esfricas: h n

Las funciones esfricas de Hankel se definen de forma anloga a las no esfricas:

De hecho, esto nos dice que existen expresiones cerradas de las funciones de Bessel de orden semientero en trmino de funciones
trigonomtricas y, por tanto, tambin de las funciones esfricas de Bessel. De esto se deduce que, para n entero no negativo se tiene:
y es la funcin compleja conjugada de esta (para real). De esta frmula se pueden deducir las formas cerradas de las funciones
esfricas de Bessel ordinarias, por ejemplo, y , y as para cualquier argumento n.

Funciones esfricas de Bessel modificadas:

Tambin existen anlogos esfricos de las funciones de Bessel modificadas:

se pueden escribir de forma cerrada, usando la frmula de dada arriba como:

Funcin generatriz

Se pueden obtener las funciones de Bessel esfricas a partir de las siguientes funciones generatrices:13
Relaciones diferenciales

La siguiente relacin diferencial se cumple para

Funciones de Riccati-Bessel:

Las funciones de Riccati-Bessel son una pequea modificacin de las funciones de Bessel esfricas:

Estas funciones satisfacen la siguiente ecuacin diferencial:

Esta ecuacin diferencial y sus soluciones, las ecuaciones de Riccati-Bessel, se usan para resolver el problema de scattering de ondas
electromagnticas por una esfera, problema conocido como scattering de Mie tras la publicacin por vez primera de estos resultados
por Mie en 1908. Vase por ejemplo, Du (2004).14

Segn Debye (1909) se usa a veces la notacin en vez de .

Expansiones asintticas
Las funciones de Bessel tienen las siguientes expansiones asintticas para no negativos. Para pequeo argumento
, se tiene:15

donde es la constante de Euler-Mascheroni y es la funcin Gamma de Euler. Como aproximacin asinttica al infinito, (cuando
tenemos un argumento tal que verifica ), se obtienen las siguientes aproximaciones:15
Para =1/2 estas frmulas son exactas. Las expansiones asintticas del resto de funciones de Bessel se obtienen a partir de las
mostradas arriba y de sus relaciones con las funciones de Bessel de primera especie. As, las aproximaciones asintticas al infinito de
las funciones de Bessel modificadas (es decir, para argumentos x que verifiquen ) se tiene:

Mientras que el lmite de muy bajo argumento, , se obtiene:

Propiedades
Para enteros de orden = n, se puede definir a partir de la serie de Laurent de la siguiente funcin generatriz:

aproximacin tomada por P. A. Hansen en 1843. Esta expresin puede generalizarse a rdenes no enteros usando integracin de
contorno u otros mtodos. Otra expresin importante para rdenes enteros es la identidad de Jacobi-Anger:
identidad que es usada para expandir ondas planas en una serie infinita de ondas cilndricas o para encontrar la serie de Fourier de un
tono de una seal de FM.

Ms generalmente, una funcin se puede expandir en una serie de la forma

que se denomina expansin de Neumann de . Los coeficientes de esta serie en el caso tienen la siguiente forma explcita

donde son los polinomios de Neumann.16

Existen funciones que admiten la siguiente representacin especial

con

debido a la relacin de ortogonalidad

Ms generalmente, si f tiene un punto de ramificacin donde

entonces

donde es la transformada de Laplace de .17

Otra manera de definir las funciones de Bessel son la representacin de Poisson y la frmula de Mehler-Sonine:

donde > 1/2 y z es un nmero complejo.18 Esta frmula es especialmente til cuando se trabaja con transformadas de Fourier.
Las funciones , , y cumplen las siguientes relaciones de recurrencia:

Donde Z denota J, Y, H(1), o H(2).

Estas dos identidades se suelen combinar para obtener otras relaciones distintas. Por ejemplo, se pueden calcular funciones de Bessel
de mayores rdenes (o mayores derivadas) a partir de funciones de Bessel de menor orden o de derivadas de menor orden. En
particular, se cumple:

Las funciones modificadas de Bessel cumplen relaciones similares:

Las relaciones de recurrencia sern en este caso:

donde denotar a oa . Estas relaciones son tiles para problemas de difusin discreta.

La divisin de la ecuacin de Bessel por x es una ecuacin hermtica o auto-adjunta, por lo que sus solucciones deben cumplir
determinadas relaciones de ortogonalidad para unas condiciones de contorno adecuadas. En particular, se cumple:

donde , es la delta de Kronecker, y es el m-simo cero de . Esta relacin de ortogonalidad puede ser usada
para extraer coeficientes de las series de Fourier-Bessel, donde una funcin se expande en una base de funciones de Bessel
para fijo y m variable. (Obtener una relacin anloga para funciones de Bessel esfricas es trivial.)

Se puede obtener de forma inmediata una relacin anloga para funciones de Bessel esfricas:

Otra relacin de ortogonalidad es la ecuacin de cierre:

para y siendo la funcin delta de Dirac. Esta propiedad se usa para construir expansiones de funciones arbitrarias
como series de funciones de Bessel mediante la transformada de Hankel.

Para funciones de Bessel esfricas, la relacin de cierre es:

para . Otra propiedad importante de la ecuacin de Bessel, que se deriva de la identidad de Abel, es el Wronskiano de las
soluciones:

donde y son dos soluciones cualesquiera independientes de la ecuacin de Bessel y es una constante independiente de x (que
depende de y de las funciones de Bessel consideradas). Por ejemplo, se cumple:

Existe un gran nmero de integrales e identidades que involucran a funciones de Bessel que no estn aqu reproducidas, pero que se
pueden encontrar en las referencias.

Teorema del Producto

Las funciones de Bessel verifican un teorema del producto
donde y son nmeros complejos cualesquiera. Una frmula similar se cumple para y el resto de funciones de Bessel19 20

Hiptesis de Bourget
Bessel demostr que, para n no negativos, la ecuacin

tiene un nmero infinito de soluciones en x.21 Cuando las funciones se representan en la misma grfica, ninguno de los
diferentes ceros de cada funcin parece coincidir, excepto el cero situado en . Este fenmeno se conoce como Hiptesis
de Bourget, en honor al matemtico francs del siglo XIX que estudi las funciones de Bessel.

La hiptesis dice que, para cualesquiera enteros y , las funciones y no tienen ceros comunes, a
excepcin del cero en el origen . Esta hiptesis fue demostrada por Siegel en 1929.22

Derivadas de J, Y, I, H, K
Las siguientes frmulas pueden encontrarse en.23

Derivada bajando el ndice p a p 1

Para
 ]

Mientras que para , se tiene

Derivada subiendo el ndice p a p + 1 dependency

Para

Mientras que para , se tiene

Otras relaciones importantes

Para , se cumplen las siguientes relaciones:

Identidades Seleccionadas

Vase tambin
Funcin de BesselClifford
 Polinomios de Bessel
Propagador
Serie de FourierBessel
Funcin de Struve
Funciones de Kelvin
Funciones de Lommel
Polinomio de Lommel

Referencias
Notas

1. Abramowitz and Stegun, p. 360, 9.1.10.

2. Abramowitz and Stegun, p. 358, 9.1.5.
3. Szeg, G. Orthogonal Polynomials, 4th ed. Providence, RI: Amer. Math. Soc., 1975.
4. Abramowitz and Stegun, p. 358, 9.1.3, 9.1.4.
5. Abramowitz and Stegun, p. 358, 9.1.6.
6. Abramowitz and Stegun, p. 360, 9.1.25.
7. Abramowitz and Stegun, p. 374, 9.6.1.
8. Abramowitz and Stegun, p. 375, 9.6.2, 9.6.10, 9.6.11.
9. Referred to as such in: Teichroew, D. The Mixture of Normal Distributions with Different Variances, The Annals of
Mathematical Statistics. Vol. 28, No. 2 (Jun., 1957), pp. 510512
10. Abramowitz and Stegun, p. 437, 10.1.1.
11. Abramowitz and Stegun, p. 438, 10.1.11, 10.1.12;
12. Abramowitz and Stegun, p. 438, 10.1.11.
13. Abramowitz and Stegun, p. 439, 10.1.39.
14. Hong Du, "Mie-scattering calculation," Applied Optics 43 (9), 19511956 (2004)
15. Arfken & Weber.
16. Abramowitz and Stegun, p. 363, 9.1.82 ff.
17. E. T. Whittaker, G. N. Watson, A course in modern Analysis p. 536
 18. I.S. Gradshteyn (.. ), I.M. Ryzhik (.. ); Alan Jeffrey, Daniel Zwillinger, editors. Table of Integrals,
Series, and Products, seventh edition. Academic Press, 2007. ISBN 978-0-12-373637-6. Equation 8.411.10
19. Abramowitz and Stegun, p. 363, 9.1.74.
20. C. Truesdell, "On the Addition and Multiplication Theorems for the Special Functions", Proceedings of the National Academy
of Sciences, Mathematics, (1950) pp.752757.
21. F. Bessel, Untersuchung des Theils der planetarischen Strungen, Berlin Abhandlungen (1824), article 14.
22. Watson, pp. 4845
23. "Advanced Calculus for Engineers", F. B. Hildebrand, 6th printing, pp. 163164 (1956)

Bibliografa

Abramowitz, Milton; Stegun, Irene A., eds. (1965), "Chapter 9", Handbook of Mathematical Functions with Formulas, Graphs,
and Mathematical Tables, New York: Dover, pp. 355, MR0167642, ISBN 978-0-486-61272-0, See also chapter 10.
Arfken, George B. and Hans J. Weber, Mathematical Methods for Physicists, 6th edition (Harcourt: San Diego, 2005). ISBN 0-
12-059876-0.
Bayin, S.S. Mathematical Methods in Science and Engineering, Wiley, 2006, Chapter 6.
Bayin, S.S., Essentials of Mathematical Methods in Science and Engineering, Wiley, 2008, Chapter 11.
Bowman, Frank Introduction to Bessel Functions (Dover: New York, 1958). ISBN 0-486-60462-4.
G. Mie, "Beitrge zur Optik trber Medien, speziell kolloidaler Metallsungen", Ann. Phys. Leipzig 25 (1908), p. 377.
Olver, F. W. J.; Maximon, L. C. (2010), "Bessel function", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. et al.,
NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5
B Spain, M.G. Smith, Functions of mathematical physics, Van Nostrand Reinhold Company, London, 1970. Chapter 9 deals
with Bessel functions.
Watson, G.N., A Treatise on the Theory of Bessel Functions, Second Edition, (1995) Cambridge University Press. ISBN 0-521-
48391-3.

Enlaces externos

Lizorkin, P.I. (2001), Bessel functions, en Hazewinkel, Michiel (en ingls), Encyclopaedia of Mathematics, Springer, ISBN
978-1556080104
 Karmazina, L.N.; Prudnikov, A.P. (2001), Cylinder function, en Hazewinkel, Michiel (en ingls), Encyclopaedia of
Mathematics, Springer, ISBN 978-1556080104
Rozov, =N.Kh. (2001), Bessel equation, en Hazewinkel, Michiel (en ingls), Encyclopaedia of Mathematics, Springer, ISBN
978-1556080104
Wolfram function pages on Bessel J and Y functions, and modified Bessel I and K functions. Pages include formulas, function
evaluators, and plotting calculators.
Weisstein, Eric W. Bessel functions of the first kind (en ingls). MathWorld. Wolfram Research.

Categoras:

Funciones especiales
Funciones epnimas