Funciones de Bessel 4
Funciones de Bessel 4
Función de Bessel
En matemáticas, las funciones de Bessel, definidas por primera vez por el matemáticoDaniel Bernoulliy generalizado porFriedrich
Bessel, soncanónicosoluciones y(x) de Besselecuación diferencial:
para un número real o complejo arbitrario α (el orden de la función de Bessel); los casos más comunes e importantes
son para α unenteroosemi-entero.
Aunque α y −α producen la misma ecuación diferencial, es convencional definir diferentes funciones de Bessel para
estos dos órdenes (por ejemplo, para que las funciones de Bessel sean principalmente funciones suaves de α). Las funciones de Bessel también son
conocidas como funciones cilíndricas o armónicos cilíndricos porque se encuentran en la solución aLa ecuación de Laplace
encoordenadas cilíndricas.
Definiciones
Dado que esta es una ecuación diferencial de segundo orden, debe haber doslinealmente independientesoluciones. Dependiendo de
las circunstancias, sin embargo, varias formulaciones de estas soluciones son convenientes, y las diferentes variaciones son
descrito a continuación.
donde Γ(z) es elfunción gamma, una generalización de lafactorialfunción a valores no enteros. Los gráficos de
Las funciones de Bessel se ven aproximadamente como funciones seno o coseno oscilantes que decaen proporcionalmente a 1/√x (ver también
sus formas asintóticas a continuación), aunque sus raíces no son generalmente periódicas, excepto asintóticamente para grandes x. (El
La serie de Taylor indica que −J1(x) es la derivada de J0(x), al igual que −sin(x) es la derivada de cos(x) x; más
en general, la derivada de Jn(x) se puede expresar en términos de Jn±1(x) mediante las identidadesdebajo.)
Función de Bessel 2
Este fue el enfoque que utilizó Bessel, y a partir de esta definición derivó varias propiedades de la función.
la definición puede extenderse a órdenes no enteros mediante (para )
[3][4][5][6]
En términos de laPolinomios de Laguerre y un parámetro elegido arbitrariamente, la función de Bessel se puede expresar
as[7]
Yα(x) es necesario como la segunda solución linealmente independiente de la ecuación de Bessel cuando α es un entero. Pero
Yα(x) tiene más significado que eso. Se puede considerar como un compañero 'natural' de Jα(x). Véase también la subsección sobre
Funciones de Hankel a continuación.
Cuando α es un entero, además, como fue similar el caso para las funciones de primer tipo, lo siguiente
la relación es válida:
Tanto Jα(x) como Yα(x) sonfunción holomorfas ofxon theplano complejocorta a lo largo del eje real negativo. Cuando α
es un entero, las funciones de Bessel J sonfunción enteras de x. Si x se mantiene fijo, entonces las funciones de Bessel son enteras.
funciones de α.
Hankel functions:Hα(1),Hα(2)
Otra formulación importante de las dos soluciones linealmente independientes a la ecuación de Bessel son las funciones de Hankel.
funcionesHα(1)(x) y Hα(2)(x), definidos por:[9]
dónde está elunidad imaginariaEstas combinaciones lineales también se conocen como funciones de Bessel de tercer tipo; ellas
son dos soluciones linealmente independientes de la ecuación diferencial de Bessel. Llevan el nombre deHermann Hankel.
La importancia de las funciones de Hankel de primer y segundo tipo radica más en el desarrollo teórico que en
aplicación. Estas formas de combinación lineal satisfacen numerosas propiedades de apariencia simple, como fórmulas asintóticas
o representaciones integrales. Aquí, 'simple' significa una aparición del factor de la forma La función de Bessel
del segundo tipo entonces se puede pensar que aparece naturalmente como la parte imaginaria de las funciones de Hankel.
Las funciones de Hankel se utilizan para expresar soluciones de ondas cilíndricas que se propagan hacia afuera y hacia adentro de la
si α es un entero, se tiene que calcular el límite. Las siguientes relaciones son válidas, ya sea que α sea un entero o
no:[10]
Las funciones de Hankel admiten las siguientes representaciones integrales para [11]
donde los límites de integración indican la integración a lo largo de uncontornoque se puede elegir de la siguiente manera: de -∞ a 0 a lo largo de
el eje real negativo, desde 0 hasta ±iπ a lo largo del eje imaginario, y desde ±iπ hasta +∞±iπ a lo largo de un contorno paralelo a la
eje real.[12]
Estos se eligen para ser valores reales para argumentos reales y positivos x. La expansión en series para Iα(x) es así similar a
eso para Jα(x), pero sin el factor alternante (−1)m.
Iα(x) y Kα(x) son las dos soluciones linealmente independientes de la ecuación de Bessel modificada:
A diferencia de las funciones de Bessel ordinarias, que oscilan como funciones de un argumento real, Iα y Kα son
crecimiento exponencialyen descomposiciónfunciones, respectivamente. Al igual que la función de Bessel ordinaria Jα, la función Iα
tiende a cero en x = 0 para α > 0 y es finito en x = 0 para α = 0. De manera análoga, Kα diverge en x = 0.
Función de Bessel 5
Funciones de Bessel modificadas de primer tipo, Iα(x), para α = 0, 1, 2, 3 Funciones de Bessel modificadas de 2ª clase, Kα(x), para α = 0, 1, 2, 3
Dos fórmulas integrales para las funciones de Bessel modificadas son (para ):[15]
Funciones de Bessel modificadas y puede ser representado en términos de integrales que convergen rápidamente[16]
La función de Bessel modificada de segundo tipo también ha sido llamada por los nombres ahora raros:
[23]
Función de Bessel 7
Función generadora
Las funciones de Bessel esféricas tienen las funciones generadoras[24]
Relaciones diferenciales
[25]
De hecho, hay expresiones cerradas simples para las funciones de Bessel demedio enteroorden en términos de la
estándarfunción trigonométricas, y por lo tanto para las funciones de Bessel esféricas. En particular, para no negativos
integersn
y ¿Es el conjugado complejo de esto (para real ). Se sigue, por ejemplo, que y
, y así sucesivamente.
Las funciones de Hankel esféricas aparecen en problemas que implican la propagación de ondas esféricas, por ejemplo enel
expansión multipolar del campo electromagnético.
Funciones de Riccati–Bessel
RiccatiLas funciones de Bessel solo difieren ligeramente de las funciones de Bessel esféricas:
Esta ecuación diferencial, y las soluciones de Riccati-Bessel, surgen en el problema de dispersión de electromagnéticos.
ondas por una esfera, conocido comoDispersión de Miedespués de la primera solución publicada por Mie (1908). Ver, por ejemplo, Du (2004)[26]
Formas asintóticas
Las funciones de Bessel tienen lo siguienteasintóticoformas para α no negativo. Para argumentos pequeños
, se obtiene:[27]
donde está elEuler–Constante de Mascheroni(0.5772...) y denota elfunción gamma. Para argumentos grandes
, se convierten en:[27]
(Para α=1/2 estas fórmulas son exactas; vea las funciones de Bessel esféricas anteriores). Formas asintóticas para los otros tipos
de la función de Bessel sigue directamente de las relaciones anteriores. Por ejemplo, para grandes ,
las funciones de Bessel modificadas se convierten en:
[28]
[29]
Propiedades
Para el orden entero α=n, Jn a menudo se define a través de unSerie de Laurentpara una función generadora:
un enfoque utilizado porP. A. Hansenen 1843. (Esto se puede generalizar a orden no entero porintegración de contornoo
otros métodos.) Otra relación importante para órdenes enteros es elJacobi–Expansión de la ira:
y
Función de Bessel 9
que se utiliza para expandir unonda planacomo una suma de ondas cilíndricas, o para encontrar elSerie de Fourierde un tono modulado
FMseñal.
Más generalmente, una serie
con
Más generalmente, si ƒ tiene un punto de ramificación cerca del origen de tal naturaleza que entonces
donde ν > -1/2 y z es un número complejo. Esta fórmula es útil especialmente al trabajar conFourier
transforma.
Las funciones Jα, Yα, Hα(1) y Hα(2) todas satisfacen larelación de recurrencias:
donde Z denota J, Y, H(1) o H(2). (Estas dos identidades a menudo se combinan, por ejemplo, se suman o restan, para obtener
varias otras relaciones.) De esta manera, por ejemplo, se pueden calcular funciones de Bessel de órdenes superiores (o superiores
derivadas) dados los valores en órdenes inferiores (o derivadas inferiores). En particular, se sigue que:
Función de Bessel 10
donde Cα denota Iα o eαπiKα. Estas relaciones de recurrencia son útiles para problemas de difusión discreta.
Porque la ecuación de Bessel se convierte enHermitiano(auto-adjunto) si se divide por x, las soluciones deben satisfacer un
relación de ortogonalidad para las condiciones de frontera adecuadas. En particular, se sigue que:
donde α > -1, δm,n es eldelta de Kroneckeranduα,mis them-thcerodeJα(x). Esta relación de ortogonalidad se puede entonces
se utilizó para extraer los coeficientes en elFourier–Series de Bessel, donde una función se expande en la base de la
funciones Jα(x uα,m) para α fijo y m variable.
Una relación análoga para las funciones de Bessel esféricas sigue inmediatamente:
para α > -1/2 y donde δ es elFunción delta de DiracEsta propiedad se utiliza para construir una función arbitraria de un
serie de funciones de Bessel por medio de laTransformada de HankelPara las funciones de Bessel esféricas, la ortogonalidad
la relación es
Otra propiedad importante de las ecuaciones de Bessel, que se deriva deLa identidad de Abel, implica elWronskianodel
soluciones
donde Aα y Bα son dos soluciones de la ecuación de Bessel, y Cα es una constante independiente de x (que depende de
α y sobre las funciones de Bessel particulares consideradas). Por ejemplo, si Aα = Jα y Bα = Yα, entonces Cα es 2/π. Esto también
se sostiene para las funciones de Bessel modificadas; por ejemplo, si Aα=Iα y Bα=Kα, entonces Cα es −1.
(Hay un gran número de otras integrales e identidades conocidas que no se reproducen aquí, pero que pueden ser
encontrado en las referencias.)
Función de Bessel 11
Teorema de multiplicación
Las funciones de Bessel obedecen a unateorema de multiplicación
donde y pueden tomarse como números complejos arbitrarios. Una forma similar y así sucesivamente.[34]
puede darse para
[35]
Hipótesis de Bourget
Bessel mismo demostró originalmente que para enteros no negativos n, la ecuación Jn(x) = 0 tiene un número infinito de
soluciones en x.[36] Sin embargo, cuando las funciones Jn(x) se dibujan en el mismo gráfico, ninguno de los ceros parece coincidir
para diferentes valores de n excepto por el cero en x = 0. Este fenómeno se conoce como la hipótesis de Bourget después de la
matemático francés del siglo XIX que estudió las funciones de Bessel. Específicamente, establece que para cualquier entero
n≥0 y m≥1, las funciones Jn(x) y Jn+m(x) no tienen ceros comunes además del que está en x=0. La hipótesis
fue probado porCarl Ludwig Siegelen 1929.[37]
Identidades seleccionadas
[38]
•
•
•
Función de Bessel 12
Notas
[1] Abramowitz y Stegun, p. 360, 9.1.10(http://www.math.sfu.ca/~cbm/aands/page_360.htm).
[2] Abramowitz y Stegun, p. 358, 9.1.5(http://www.math.sfu.ca/~cbm/aands/page_358.htm).
[3] Watson, p. 176(http://books.google.com/books?id=Mlk3FrNoEVoC&pg=PA176)
[4]Invalid input. Please provide a text for translation instead of a URL.
5http://www.nbi.dk/~polesen/borel/node15.html
[6] Arfken y Weber, ejercicio 11.1.17.
[7] Szegö, G. Polinomios Ortogonales, 4ta ed. Providence, RI: Amer. Math. Soc., 1975.
[8] Watson, p. 178(http://books.google.com/books?id=Mlk3FrNoEVoC&pg=PA178).
[9] Abramowitz y Stegun, p. 358, 9.1.3, 9.1.4(http://www.math.sfu.ca/~cbm/aands/page_358.htm).
[10] Abramowitz y Stegun, p. 358, 9.1.6http://www.math.sfu.ca/~cbm/aands/page_358.htm.
[11] Abramowitz y Stegun, p. 360, 9.1.25(http://www.math.sfu.ca/~cbm/aands/page_360.htm).
[12] Watson, p. 178(http://books.google.com/books?id=Mlk3FrNoEVoC&pg=PA178)
[13] Abramowitz y Stegun, p. 375, 9.6.2, 9.6.10, 9.6.11http://www.math.sfu.ca/~cbm/aands/page_375.htm.
[14] Abramowitz y Stegun, p. 374, 9.6.1(http://www.math.sfu.ca/~cbm/aands/page_374.htm).
[15] Watson, p. 181http://books.google.com/books?id=Mlk3FrNoEVoC&pg=PA181.
[16] M.Kh.Khokonov. Procesos en cascada de pérdida de energía por emisión de fotones duros, JETP, V.99, No.4, págs. 690-707 (2004). Derivado de
fórmulas extraídas de I. S. Gradshteĭn e I. M. Ryzhik, Tabla de Integrales, Series y Productos (Fizmatgiz, Moscú, 1963; Académico, Nuev
York, 1980)
[17] Referido como tal en: Teichroew, D. La Mezcla de Distribuciones Normales con Diferentes Varianzas, Los Anales de Estadística Matemática.
Vol. 28, No. 2 (Jun., 1957), pp. 510–512
[18]No se puede traducir un enlace web. Proporcione el texto que desea traducir.
[19]No se puede acceder al contenido del enlace proporcionado.
[20] Abramowitz y Stegun, p. 437, 10.1.1(http://www.math.sfu.ca/~cbm/aands/page_437.htm).
[21] Abramowitz y Stegun, p. 439, 10.1.25, 10.1.26No se puede traducir una URL.;
[22] Abramowitz y Stegun, p. 438, 10.1.11(http://www.math.sfu.ca/~cbm/aands/page_438.htm).
[23] Abramowitz y Stegun, p. 438, 10.1.12(http://www.math.sfu.ca/~cbm/aands/page_438.htm);
[24] Abramowitz y Stegun, p. 439, 10.1.39(http://www.math.sfu.ca/~cbm/aands/page_439.htm).
[25] Abramowitz y Stegun, p. 439, 10.1.23(http://www.math.sfu.ca/~cbm/aands/page_439.htm).
[26] Hong Du, "Cálculo de dispersión Mie," Óptica Aplicada 43(9), 1951–1956 (2004)
[27] Arfken y Weber.
[28] Abramowitz y Stegun, p. 377, 9.7.1(http://www.math.sfu.ca/~cbm/aands/page_377.htm);
[29] Abramowitz y Stegun, p. 378, 9.7.2(http://www.math.sfu.ca/~cbm/aands/page_378.htm);
[30] Abramowitz y Stegun, p. 363, 9.1.82(http://www.math.sfu.ca/~cbm/aands/page_363.htm)ff.
[31] E. T. Whittaker, G. N. Watson, Un curso en análisis moderno p. 536(http://books.google.com/books?id=Mlk3FrNoEVoC&lpg=PA522&
ots=SOShEJmay6&dq=bessel neumann series&hl=de&pg=PA536#v=onepage&q=bessel neumann series&f=false
[32] I.S. Gradshteyn (И.С. Градштейн), I.M. Ryzhik (И.М. Рыжик); Alan Jeffrey, Daniel Zwillinger, editores. Tabla de Integrales, Series y
Productos, séptima edición. Academic Press, 2007. ISBN 978-0-12-373637-6. Ecuación 8.411.10
[33] Arfken y Weber, sección 11.2
[34] Abramowitz y Stegun, p. 363, 9.1.74(http://www.math.sfu.ca/~cbm/aands/page_363.htm).
[35] C. Truesdell, " Sobre los teoremas de adición y multiplicación para las funciones especiales(http://www.pnas.org/cgi/reprint/36/12/752.
pdf)Actas de la Academia Nacional de Ciencias, Matemáticas, (1950) pp.752–757.
[36] F. Bessel, Investigación de la parte de las perturbaciones planetarias, Abhandlungen de Berlín (1824), artículo 14.
[37] Watson, pp. 484–5
[38] Mira, por ejemplo, Lide DR. Manual CRC de química y física: un libro de referencia listo de química CRC Press, 2004, ISBN
0-8493-0485-7, p. A-95
Función de Bessel 13
Referencias
• Abramowitz, Milton; Stegun, Irene A., eds. (1965), "Capítulo 9"(http://www.math.sfu.ca/~cbm/aands/
pagina_355.htm, Manual de Funciones Matemáticascon fórmulas, gráficos y tablas matemáticas, nuevo
York: Dover, pp. 355, ISBN 978-0486612720, MR0167642 Véase también el capítulo 10(http://www.math.sfu.ca/
~cbm/aands/page_435.htm.
• Arfken, George B. y Hans J. Weber, Métodos Matemáticos para Físicos, 6ta edición (Harcourt: San Diego,
2005). ISBN 0-12-059876-0.
• Bayin, S.S. Métodos Matemáticos en Ciencia y Ingeniería, Wiley, 2006, Capítulo 6.
• Bayin, S.S., Elementos de Métodos Matemáticos en Ciencia e Ingeniería, Wiley, 2008, Capítulo 11.
• Bowman, FrankIntroducción a las Funciones de Bessel (Dover: Nueva York, 1958). ISBN 0-486-60462-4.
• G. Mie, "Contribuciones a la óptica de medios turbios, especialmente soluciones coloidales de metales", Ann. Phys. Leipzig 25 (1908)
p. 377.
• Olver, F. W. J.; Maximon, L. C. (2010), "Función de Bessel"(http://dlmf.nist.gov/10), enOlver, Frank W. J.;
Lozier, Daniel M.; Boisvert, Ronald F. et al.Manual de Funciones Matemáticas del NIST, Universidad de Cambridge
Prensa, ISBN 978-0521192255, MR2723248
• Prensa, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Sección 6.5. Funciones de Bessel de Enteros"
Orden(http://apps.nrbook.com/empanel/index.html#pg=274)Recetas Numéricas: El Arte de la Ciencia
Computación (3ª ed.), Nueva York: Cambridge University Press, ISBN 978-0-521-88068-8
• B España, M.G. Smith, Funciones de física matemática, Van Nostrand Reinhold Company, Londres, 1970.
El capítulo 9 trata sobre las funciones de Bessel.
• N. M. Temme, Funciones Especiales. Una Introducción a las Funciones Clásicas de la Física Matemática, John
Wiley and Sons, Inc., Nueva York, 1996. ISBN 0-471-11313-1. El capítulo 9 trata sobre las funciones de Bessel.
• Watson, G.N.Un Tratado sobre la Teoría de las Funciones de Bessel, Segunda Edición, (1995) Cambridge University Press.
ISBN 0-521-48391-3.
Enlaces externos
• Lizorkin, P.I. (2001), "Funciones de Bessel"http://www.encyclopediaofmath.org/index.php?title=b/b015840, en
Hazewinkel, MichielEnciclopedia de Matemáticas, Springer, ISBN 978-1-55608-010-4
• Karmazina, L.N.; Prudnikov, A.P. (2001), "Función cilindro"(http://www.encyclopediaofmath.org/index.
php?title=c/c027610, en Hazewinkel, Michiel,Enciclopedia de Matemáticas, Springer, ISBN
978-1-55608-010-4
• Rozov, =N.Kh. (2001), "Ecuación de Bessel"(http://www.encyclopediaofmath.org/index.php?title=B/b015830),
en Hazewinkel, Michiel,Enciclopedia de Matemáticas, Springer, ISBN 978-1-55608-010-4
• Páginas de funciones de Wolfram sobre Bessel J(http://functions.wolfram.com/Bessel-TypeFunctions/BesselJ/)y Y
(http://functions.wolfram.com/Bessel-TypeFunctions/BesselY/)funciones, y Bessel modificado I(http://
functions.wolfram.com/Bessel-TypeFunctions/BesselI/y K(http://functions.wolfram.com/
Funciones de tipo Bessel/BesselK/funciones. Las páginas incluyen fórmulas, evaluadores de funciones y graficación
calculadoras.
• Wolfram Mathworld–Funciones de Bessel de la primera clase(http://mathworld.wolfram.com/)
BesselFunctionodelPrimeraClase.html
• Funciones de Bessel Jν(http://www.librow.com/articles/article-11/appendix-a-34), Yν(http://www.librow.com/
artículos/artículo-11/apéndice-a-35), Iν(http://www.librow.com/articles/article-11/appendix-a-36)y Kν
(http://www.librow.com/articles/article-11/appendix-a-37)en el manual de la función Librow(http://www.
librow.com/artículos/artículo-11).
Fuentes y contribuyentes del artículo 14
Licencia
Creative Commons Atribución-Compartir Igual 3.0 Sin Portar
//creativecommons.org/licenses/by-sa/3.0/