stringtranslate.com

Función de Bessel

Las funciones de Bessel describen la parte radial de las vibraciones de una membrana circular .

Las funciones de Bessel , definidas por primera vez por el matemático Daniel Bernoulli y luego generalizadas por Friedrich Bessel , son soluciones canónicas y ( x ) de la ecuación diferencial de Bessel para un número complejo arbitrario , que representa el orden de la función de Bessel. Aunque y producen la misma ecuación diferencial, es convencional definir diferentes funciones de Bessel para estos dos valores de tal manera que las funciones de Bessel sean en su mayoría funciones suaves de .

Los casos más importantes son cuando es un número entero o semientero . Las funciones de Bessel para números enteros también se conocen como funciones cilíndricas o armónicas cilíndricas porque aparecen en la solución de la ecuación de Laplace en coordenadas cilíndricas . Las funciones de Bessel esféricas con semientero se obtienen al resolver la ecuación de Helmholtz en coordenadas esféricas .

Aplicaciones de las funciones de Bessel

La ecuación de Bessel surge al encontrar soluciones separables de la ecuación de Laplace y de la ecuación de Helmholtz en coordenadas cilíndricas o esféricas . Por lo tanto, las funciones de Bessel son especialmente importantes para muchos problemas de propagación de ondas y potenciales estáticos. Al resolver problemas en sistemas de coordenadas cilíndricas, se obtienen funciones de Bessel de orden entero ( α = n ); en problemas esféricos, se obtienen órdenes semienteros ( α = n + 1/2 ). Por ejemplo:

Las funciones de Bessel también aparecen en otros problemas, como el procesamiento de señales (por ejemplo, consulte síntesis de audio FM , ventana de Kaiser o filtro de Bessel ).

Definiciones

Como se trata de una ecuación diferencial lineal, las soluciones se pueden escalar a cualquier amplitud. Las amplitudes elegidas para las funciones se originan en los primeros trabajos en los que las funciones aparecían como soluciones de integrales definidas en lugar de soluciones de ecuaciones diferenciales. Como la ecuación diferencial es de segundo orden, debe haber dos soluciones linealmente independientes . Sin embargo, según las circunstancias, son convenientes diversas formulaciones de estas soluciones. En la siguiente tabla se resumen diferentes variaciones y se describen en las siguientes secciones.

Las funciones de Bessel de segundo tipo y las funciones de Bessel esféricas de segundo tipo a veces se denotan por N n y n n , respectivamente, en lugar de Y n e y n . [2] [3]

Funciones de Bessel del primer tipo:Jα​

Gráfica de la función de Bessel de primera especie J n ( z ) con n = 0,5 en el plano complejo desde −2 − 2 i hasta 2 + 2 i
Gráfico de la función de Bessel de primer tipo, J α ( x ) , para órdenes enteros α = 0, 1, 2

Las funciones de Bessel de primer tipo, denotadas como J α ( x ) , son soluciones de la ecuación diferencial de Bessel. Para  α entero o positivo , las funciones de Bessel de primer tipo son finitas en el origen ( x = 0 ); mientras que para α no entero negativo  , las funciones de Bessel de primer tipo divergen cuando x tiende a cero. Es posible definir la función por veces una serie de Maclaurin (nótese que α no necesita ser un entero, y las potencias no enteras no están permitidas en una serie de Taylor), que se puede encontrar aplicando el método de Frobenius a la ecuación de Bessel: [4] donde Γ( z ) es la función gamma , una generalización desplazada de la función factorial a valores no enteros. Algunos autores anteriores definen la función de Bessel de primer tipo de manera diferente, esencialmente sin la división por en ; [5] esta definición no se utiliza en este artículo. La función de Bessel de primera especie es una función entera si α es un entero, de lo contrario es una función multivaluada con singularidad en cero. Los gráficos de las funciones de Bessel se parecen más o menos a funciones oscilantes seno o coseno que decaen proporcionalmente a (ver también sus formas asintóticas a continuación), aunque sus raíces no son generalmente periódicas, excepto asintóticamente para x grandes . (La serie indica que J 1 ( x ) es la derivada de J 0 ( x ) , de manera muy similar a −sin x es la derivada de cos x ; de manera más general, la derivada de J n ( x ) se puede expresar en términos de J n ± 1 ( x ) mediante las identidades a continuación).

Para un número no entero α , las funciones J α ( x ) y J α ( x ) son linealmente independientes, y por lo tanto son las dos soluciones de la ecuación diferencial. Por otra parte, para un número entero de orden n , es válida la siguiente relación (la función gamma tiene polos simples en cada uno de los números enteros no positivos): [6]

Esto significa que las dos soluciones ya no son linealmente independientes. En este caso, se descubre que la segunda solución linealmente independiente es la función de Bessel de segunda especie, como se analiza a continuación.

Integrales de Bessel

Otra definición de la función de Bessel, para valores enteros de n , es posible utilizando una representación integral: [7] que también se llama fórmula de Hansen-Bessel. [8]

Éste fue el enfoque que utilizó Bessel [9] y a partir de esta definición derivó varias propiedades de la función. La definición puede extenderse a órdenes no enteros mediante una de las integrales de Schläfli, para Re( x ) > 0 : [7] [10] [11] [12] [13]

Relación con las series hipergeométricas

Las funciones de Bessel se pueden expresar en términos de la serie hipergeométrica generalizada como [14]

Esta expresión está relacionada con el desarrollo de funciones de Bessel en términos de la función de Bessel-Clifford .

Relación con los polinomios de Laguerre

En términos de los polinomios de Laguerre L k y el parámetro elegido arbitrariamente t , la función de Bessel se puede expresar como [15]

Funciones de Bessel del segundo tipo:Y α

Gráfica de la función de Bessel de segundo tipo Y n ( z ) con n = 0,5 en el plano complejo desde −2 − 2 i hasta 2 + 2 i

Las funciones de Bessel de segundo tipo, denotadas por Y α ( x ) , ocasionalmente denotadas en cambio por N α ( x ) , son soluciones de la ecuación diferencial de Bessel que tienen una singularidad en el origen ( x = 0 ) y son multivaluadas . Estas a veces se denominan funciones de Weber , ya que fueron introducidas por HM Weber  (1873), y también funciones de Neumann en honor a Carl Neumann . [16]

Para un número no entero α , Y α ( x ) está relacionado con J α ( x ) por

En el caso de orden entero n , la función se define tomando el límite como un no entero α que tiende a n :

Si n es un entero no negativo, tenemos la serie [17]

Gráfico de la función de Bessel de segundo tipo, Y α ( x ) , para órdenes enteros α = 0, 1, 2

donde es la función digamma , la derivada logarítmica de la función gamma . [3]

También existe una fórmula integral correspondiente (para Re( x ) > 0 ): [18]

En el caso donde n = 0 ,

Y α ( x ) es necesaria como segunda solución linealmente independiente de la ecuación de Bessel cuando α es un entero. Pero Y α ( x ) tiene más significado que eso. Puede considerarse como una pareja "natural" de J α ( x ) . Véase también la subsección sobre funciones de Hankel a continuación.

Además, cuando α es un número entero, como ocurrió de manera similar con las funciones del primer tipo, es válida la siguiente relación:

Tanto J α ( x ) como Y α ( x ) son funciones holomorfas de x en el plano complejo cortado a lo largo del eje real negativo. Cuando α es un entero, las funciones de Bessel J son funciones enteras de x . Si x se mantiene fijo en un valor distinto de cero, entonces las funciones de Bessel son funciones enteras de α .

Las funciones de Bessel de segundo tipo cuando α es un entero son un ejemplo del segundo tipo de solución en el teorema de Fuchs .

Funciones de Hankel:yo(1) α,yo(2) α

Gráfica de la función de Hankel de primer tipo H(1)
a
( x )
con n = −0,5 en el plano complejo desde −2 − 2 i hasta 2 + 2 i
Gráfica de la función de Hankel de segundo tipo H(2)
uno
( x )
con n = −0,5 en el plano complejo desde −2 − 2 i hasta 2 + 2 i

Otra formulación importante de las dos soluciones linealmente independientes de la ecuación de Bessel son las funciones de Hankel de primer y segundo tipo , H(1)
α
( x )
y H(2)
α
( x )
, definida como [19]

donde i es la unidad imaginaria . Estas combinaciones lineales también se conocen como funciones de Bessel de tercer tipo ; son dos soluciones linealmente independientes de la ecuación diferencial de Bessel. Su nombre se debe a Hermann Hankel .

Estas formas de combinación lineal satisfacen numerosas propiedades de apariencia simple, como fórmulas asintóticas o representaciones integrales. Aquí, "simple" significa una apariencia de un factor de la forma e i f (x) . Para reales donde , son de valor real, las funciones de Bessel de primera y segunda especie son las partes real e imaginaria, respectivamente, de la primera función de Hankel y las partes real e imaginaria negativa de la segunda función de Hankel. Por lo tanto, las fórmulas anteriores son análogas de la fórmula de Euler , sustituyendo H(1)
α
( x )
, H(2)
α
( x )
para y , para , , como se muestra explícitamente en la expansión asintótica.

Las funciones de Hankel se utilizan para expresar soluciones de ondas cilíndricas que se propagan hacia afuera y hacia adentro de la ecuación de onda cilíndrica, respectivamente (o viceversa, dependiendo de la convención de signos para la frecuencia ).

Utilizando las relaciones anteriores, se pueden expresar como

Si α es un número entero, se debe calcular el límite. Las siguientes relaciones son válidas, independientemente de si α es un número entero o no: [20]

En particular, si α = m + 1/2 siendo m un entero no negativo, las relaciones anteriores implican directamente que

Estos son útiles para desarrollar las funciones esféricas de Bessel (ver a continuación).

Las funciones de Hankel admiten las siguientes representaciones integrales para Re( x ) > 0 : [21] donde los límites de integración indican la integración a lo largo de un contorno que puede elegirse de la siguiente manera: de −∞ a 0 a lo largo del eje real negativo, de 0 a ± π i a lo largo del eje imaginario, y de ± π i a +∞ ± π i a lo largo de un contorno paralelo al eje real. [18]

Funciones de Bessel modificadas:Yo α,Kα​

Las funciones de Bessel son válidas incluso para argumentos complejos x , y un caso especial importante es el de un argumento puramente imaginario. En este caso, las soluciones de la ecuación de Bessel se denominan funciones de Bessel modificadas (u ocasionalmente funciones de Bessel hiperbólicas ) de primer y segundo tipo y se definen como [22] cuando α no es un entero; cuando α es un entero, se utiliza el límite. Se eligen para que tengan valores reales para argumentos reales y positivos x . La expansión en serie para I α ( x ) es, por tanto, similar a la de J α ( x ) , pero sin el factor m alterno (−1) .

puede expresarse en términos de funciones de Hankel:

Utilizando estas dos fórmulas se puede obtener el resultado + , comúnmente conocido como integral de Nicholson o fórmula de Nicholson, para dar lo siguiente

dado que se cumple la condición Re( x ) > 0. También se puede demostrar que

sólo cuando | Re(α) | < 1/2 y Re(x) ≥ 0 pero no cuando x = 0 . [23]

Podemos expresar la primera y la segunda función de Bessel en términos de las funciones de Bessel modificadas (estas son válidas si π < arg zπ/2 ): [24]

I α ( x ) y K α ( x ) son las dos soluciones linealmente independientes de la ecuación de Bessel modificada : [25]

A diferencia de las funciones de Bessel ordinarias, que oscilan como funciones de un argumento real, I α y K α son funciones que crecen y decaen exponencialmente 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 finita en x = 0 para α = 0 . Análogamente, K α diverge en x = 0 con una singularidad de tipo logarítmico para K 0 , y 1/2 Γ(| α |)(2/ x ) | α | de lo contrario. [26]

Dos fórmulas integrales para las funciones de Bessel modificadas son (para Re( x ) > 0 ): [27]

Las funciones de Bessel pueden describirse como transformadas de Fourier de potencias de funciones cuadráticas. Por ejemplo (para Re(ω) > 0 ):

Esto se puede demostrar demostrando la igualdad con la definición integral anterior para K 0 . Esto se hace integrando una curva cerrada en el primer cuadrante del plano complejo.

Las funciones de Bessel modificadas K 1/3 y K 2/3 se pueden representar en términos de integrales rápidamente convergentes [28]

La función de Bessel modificada es útil para representar la distribución de Laplace como una mezcla de distribuciones normales a escala exponencial.

La función de Bessel modificada del segundo tipo también ha sido denominada con los siguientes nombres (ahora poco comunes):

Funciones esféricas de Bessel:yo​,y n

Gráfico de la función esférica de Bessel de primer tipo j n ( z ) con n = 0,5 en el plano complejo desde −2 − 2 i hasta 2 + 2 i con colores creados con la función ComplexPlot3D de Mathematica 13.1
Gráfico de la función esférica de Bessel de segundo tipo y n ( z ) con n = 0,5 en el plano complejo desde −2 − 2 i hasta 2 + 2 i con colores creados con la función ComplexPlot3D de Mathematica 13.1
Funciones esféricas de Bessel de primer tipo, j n ( x ) , para n = 0, 1, 2
Funciones esféricas de Bessel de segundo tipo, y n ( x ) , para n = 0, 1, 2

Al resolver la ecuación de Helmholtz en coordenadas esféricas por separación de variables, la ecuación radial tiene la forma

Las dos soluciones linealmente independientes de esta ecuación se denominan funciones esféricas de Bessel j n e y n , y están relacionadas con las funciones ordinarias de Bessel J n e Y n por [30]

y n también se denota n n o η n ; algunos autores llaman a estas funciones funciones esféricas de Neumann .

De las relaciones con las funciones de Bessel ordinarias se desprende directamente que:

Las funciones esféricas de Bessel también se pueden escribir como (Fórmulas de Rayleigh )[31]

La función esférica de Bessel cero j 0 ( x ) también se conoce como función sinc (no normalizada) . Las primeras funciones esféricas de Bessel son: [32] y [33]

Función generadora

Las funciones esféricas de Bessel tienen funciones generadoras [34]

Expansiones en series finitas

A diferencia de las funciones enteras de Bessel J n ( x ), Y n ( x ) , las funciones esféricas de Bessel j n ( x ), y n ( x ) tienen una expresión en serie finita: [35]

Relaciones diferenciales

En lo siguiente, f n es cualquiera de j n , y n , h(1)
a
, yo(2)
uno
para n = 0, ±1, ±2, ... [36]

Funciones esféricas de Hankel:yo(1) a,yo(2) uno

Gráfica de la función esférica de Hankel de primer tipo h(1)
a
( x )
con n = -0,5 en el plano complejo de −2 − 2 i a 2 + 2 i
Gráfica de la función esférica de Hankel de segundo tipo h(2)
uno
( x )
con n = −0,5 en el plano complejo desde −2 − 2 i hasta 2 + 2 i

También existen análogos esféricos de las funciones de Hankel:

De hecho, existen expresiones simples en forma cerrada para las funciones de Bessel de orden semientero en términos de las funciones trigonométricas estándar y, por lo tanto, para las funciones esféricas de Bessel. En particular, para los enteros no negativos n :

y h(2)
uno
es el complejo conjugado de este (para x real ). Se deduce, por ejemplo, que j 0 ( x ) = pecado x/incógnita y y 0 ( x ) = − porque x/incógnita , y así sucesivamente.

Las funciones esféricas de Hankel aparecen en problemas que implican propagación de ondas esféricas , por ejemplo en la expansión multipolar del campo electromagnético .

Funciones de Riccati-Bessel:S n,C n,ξ n,ζn​

Las funciones de Riccati -Bessel difieren apenas ligeramente de las funciones esféricas de Bessel:

Gráfica compleja de funciones de Riccati-Bessel Sn desde -2-2i hasta 2+2i
Gráfica compleja de funciones de Riccati-Bessel Sn desde −2 − 2 i hasta 2 + 2 i

Satisfacen la ecuación diferencial

Por ejemplo, este tipo de ecuación diferencial aparece en mecánica cuántica al resolver el componente radial de la ecuación de Schrödinger con una barrera de potencial infinita cilíndrica hipotética. [37] Esta ecuación diferencial, y las soluciones de Riccati-Bessel, también surgen en el problema de la dispersión de ondas electromagnéticas por una esfera, conocida como dispersión de Mie después de la primera solución publicada por Mie (1908). Véase, por ejemplo, Du (2004) [38] para desarrollos y referencias recientes.

Siguiendo a Debye (1909), a veces se utiliza la notación ψ n , χ n en lugar de S n , C n .

Formas asintóticas

Las funciones de Bessel tienen las siguientes formas asintóticas . Para argumentos pequeños , se obtiene, cuando no es un entero negativo: [4]

Cuando α es un entero negativo, tenemos

Para la función de Bessel de segundo tipo tenemos tres casos: donde γ es la constante de Euler-Mascheroni (0,5772...).

Para argumentos reales grandes z ≫ | α 21/4 |, no se puede escribir una forma asintótica verdadera para funciones de Bessel de primera y segunda especie (a menos queαseaun semientero) porque tienenceroshasta el infinito, lo que tendría que coincidir exactamente con cualquier expansión asintótica. Sin embargo, para un valor dado dearg z se puede escribir una ecuación que contenga un término de orden| z | −1 :[39]

(Para α = 1/2 los últimos términos de estas fórmulas desaparecen por completo; véanse las funciones esféricas de Bessel anteriores).

Las formas asintóticas de las funciones de Hankel son:

Estos se pueden extender a otros valores de arg z utilizando ecuaciones que relacionan H(1)
α
( ze en π )
y H(2)
α
( se en π )
a H(1)
α
( z )
y H(2)
α
( z )
. [40]

Es interesante que, aunque la función de Bessel de primera especie es la media de las dos funciones de Hankel, J α ( z ) no es asintótica a la media de estas dos formas asintóticas cuando z es negativo (porque una u otra no será correcta en ese caso, dependiendo del arg z utilizado). Pero las formas asintóticas para las funciones de Hankel nos permiten escribir formas asintóticas para las funciones de Bessel de primera y segunda especie para z compleja (no real) siempre que | z | tienda a infinito en un ángulo de fase constante arg z (usando la raíz cuadrada que tiene parte real positiva):

Para las funciones de Bessel modificadas, Hankel también desarrolló expansiones asintóticas : [41] [42]

También existe la forma asintótica (para números reales grandes ) [43]

Cuando α = 1/2 , todos los términos excepto el primero desaparecen, y tenemos

Para argumentos pequeños , tenemos

Propiedades

Para el orden entero α = n , J n se define a menudo a través de una serie de Laurent para una función generadora: un enfoque utilizado por PA Hansen en 1843. (Esto se puede generalizar al orden no entero mediante la integración de contorno u otros métodos).

Las series infinitas de funciones de Bessel en la forma donde surgen en muchos sistemas físicos y se definen en forma cerrada por la serie de Sung. [44] Por ejemplo, cuando N = 3: . De manera más general, la serie de Sung y la serie de Sung alternada se escriben como:

Una expansión en serie utilizando funciones de Bessel ( serie de Kapteyn ) es

Otra relación importante para los órdenes enteros es la expansión de Jacobi-Anger : y que se utiliza para expandir una onda plana como una suma de ondas cilíndricas , o para encontrar la serie de Fourier de una señal FM modulada por tono .

De manera más general, una serie se denomina expansión de Neumann de f . Los coeficientes para ν = 0 tienen la forma explícita donde O k es el polinomio de Neumann . [45]

Las funciones seleccionadas admiten la representación especial con debido a la relación de ortogonalidad

De manera más general, si f tiene un punto de ramificación cerca del origen de tal naturaleza que entonces o donde es la transformada de Laplace de f . [46]

Otra forma de definir las funciones de Bessel es la fórmula de representación de Poisson y la fórmula de Mehler-Sonine: donde ν > − 1/2 y zC . [47] Esta fórmula es útil especialmente cuando se trabaja con transformadas de Fourier .

Como la ecuación de Bessel se vuelve hermítica (autoadjunta) si se divide por x , las soluciones deben satisfacer una relación de ortogonalidad para las condiciones de contorno apropiadas. En particular, se deduce que: donde α > −1 , δ m , n es el delta de Kronecker , y u α , m es el m ésimo cero de J α ( x ) . Esta relación de ortogonalidad se puede utilizar entonces para extraer los coeficientes en la serie de Fourier-Bessel , donde una función se desarrolla en base a las funciones J α ( x u α , m ) para α fijo y m variable .

Una relación análoga para las funciones esféricas de Bessel se deduce inmediatamente:

Si se define una función de vagón de x que depende de un pequeño parámetro ε como:

(donde rect es la función rectángulo ) entonces la transformada de Hankel de la misma (de cualquier orden dado α > − 1/2 ), g ε ( k ) , tiende a J α ( k ) cuando ε tiende a cero, para cualquier k dado . Por el contrario, la transformada de Hankel (del mismo orden) de g ε ( k ) es f ε ( x ) :

que es cero en todas partes excepto cerca de 1. A medida que ε se acerca a cero, el lado derecho se acerca a δ ( x − 1) , donde δ es la función delta de Dirac . Esto admite el límite (en el sentido distribucional ):

Un cambio de variables produce entonces la ecuación de cierre : [48]

para α > − 1/2 . La transformada de Hankel puede expresar una función bastante arbitraria [ aclaración necesaria ] como una integral de funciones de Bessel de diferentes escalas. Para las funciones de Bessel esféricas la relación de ortogonalidad es: para α > −1 .

Otra propiedad importante de las ecuaciones de Bessel, que se desprende de la identidad de Abel , involucra el wronskiano de las soluciones: donde A α y B α son dos soluciones cualesquiera de la ecuación de Bessel, y C α es una constante independiente de x (que depende de α y de las funciones de Bessel particulares consideradas). En particular, y para α > −1 .

Para α > −1 , la función entera par de género 1, x α J α ( x ) , tiene solo ceros reales. Sea todos sus ceros positivos, entonces

(Existe una gran cantidad de otras integrales e identidades conocidas que no se reproducen aquí, pero que se pueden encontrar en las referencias).

Relaciones de recurrencia

Las funciones J α , Y α , H(1)
α
, y H(2)
α
todas satisfacen las relaciones de recurrencia [49] y donde Z denota J , Y , H (1) o H (2) . Estas dos identidades se combinan a menudo, por ejemplo, se suman o se restan, para producir varias otras relaciones. De esta manera, por ejemplo, se pueden calcular funciones de Bessel de órdenes superiores (o derivadas superiores) dados los valores en órdenes inferiores (o derivadas inferiores). En particular, se deduce que [50]

Las funciones de Bessel modificadas siguen relaciones similares: y y

La relación de recurrencia se lee donde C α denota I α o e αi π K α . Estas relaciones de recurrencia son útiles para problemas de difusión discreta.

Trascendencia

En 1929, Carl Ludwig Siegel demostró que J ν ( x ) , J ' ν ( x ) y la derivada logarítmica J' ν ( x )/J ν ( x ) son números trascendentales cuando ν es racional y x es algebraico y distinto de cero. [51] La misma prueba también implica que K ν ( x ) es trascendental bajo los mismos supuestos. [52]

Sumas con funciones de Bessel

El producto de dos funciones de Bessel admite la siguiente suma: De estas igualdades se sigue que y como consecuencia

Estas sumas se pueden extender para un prefactor polinómico. Por ejemplo,

Teorema de multiplicación

Las funciones de Bessel obedecen a un teorema de multiplicación donde λ y ν pueden tomarse como números complejos arbitrarios. [53] [54] Para | λ 2 − 1 | < 1 , [53] la expresión anterior también se cumple si J se reemplaza por Y . Las identidades análogas para funciones de Bessel modificadas y | λ 2 − 1 | < 1 son y

Ceros de la función de Bessel

Hipótesis de Bourget

El propio Bessel demostró originalmente que para los enteros no negativos n , la ecuación J n ( x ) = 0 tiene un número infinito de soluciones en x . [55] Sin embargo, cuando las funciones J n ( x ) se representan en el mismo gráfico, ninguno de los ceros parece coincidir para diferentes valores de n, excepto el cero en x = 0 . Este fenómeno se conoce como la hipótesis de Bourget en honor al 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 J n ( x ) y J n + m ( x ) no tienen ceros comunes aparte del que está en x = 0 . La hipótesis fue demostrada por Carl Ludwig Siegel en 1929. [56]

Trascendencia

Siegel demostró en 1929 que cuando ν es racional, todas las raíces distintas de cero de J ν (x) y J ' ν (x) son trascendentales , [57] como lo son todas las raíces de K ν (x) . [52] También se sabe que todas las raíces de las derivadas superiores para n ≤ 18 son trascendentales, excepto los valores especiales y . [57]

Enfoques numéricos

Para estudios numéricos sobre los ceros de la función de Bessel, ver Gil, Segura & Temme (2007), Kravanja et al. (1998) y Moler (2004).

Valores numéricos

Los primeros ceros en J 0 (es decir, j 0,1 , j 0,2 y j 0,3 ) aparecen en argumentos de aproximadamente 2,40483, 5,52008 y 8,65373, respectivamente. [58]


Las funciones de Bessel en la cultura popular

El joven sheldon

En el episodio de la temporada 5 "The Yips and an Oddly Hypnotic Bohemian", el joven Sheldon ( Young Sheldon ) está intentando completar una prueba de mecánica cuántica y se queda sin tiempo porque no puede recordar los ceros de la función de Bessel.


Véase también

Notas

  1. ^ Wilensky, Michael; Brown, Jordan; Hazelton, Bryna (junio de 2023). "Por qué y cuándo esperar distribuciones de error gaussiano en mediciones del espectro de potencia de 21 cm en épocas de reionización". Monthly Notices of the Royal Astronomical Society . 521 (4): 5191–5206. arXiv : 2211.13576 . doi : 10.1093/mnras/stad863 .
  2. ^ Weisstein, Eric W. "Función esférica de Bessel de segundo tipo". MathWorld .
  3. ^ ab Weisstein, Eric W. "Función de Bessel del segundo tipo". MathWorld .
  4. ^ ab Abramowitz y Stegun, pág. 360, 9.1.10.
  5. ^ Whittaker, Edmund Taylor ; Watson, George Neville (1927). Un curso de análisis moderno (4ª ed.). Cambridge University Press. pág. 356.Por ejemplo, Hansen (1843) y Schlömilch (1857).
  6. ^ Abramowitz y Stegun, pag. 358, 9.1.5.
  7. ^ ab Temme, Nico M. (1996). Funciones especiales: Una introducción a las funciones clásicas de la física matemática (2.ª edición impresa). Nueva York: Wiley. pp. 228–231. ISBN 0471113131.
  8. ^ Weisstein, Eric W. "Fórmula Hansen-Bessel". MundoMatemático .
  9. ^ Bessel, F. (1824). La integral relevante es una ecuación no numerada entre las ecuaciones 28 y 29. Nótese que hoy en día la integral de Bessel se escribiría .
  10. ^ Watson, pág. 176
  11. ^ "Propiedades de las funciones de Hankel y Bessel". Archivado desde el original el 23 de septiembre de 2010. Consultado el 18 de octubre de 2010 .
  12. ^ "Representaciones integrales de la función de Bessel". www.nbi.dk . Archivado desde el original el 3 de octubre de 2022 . Consultado el 25 de marzo de 2018 .
  13. ^ Arfken y Weber, ejercicio 11.1.17.
  14. ^ Abramowitz y Stegun, pag. 362, 9.1.69.
  15. ^ Szegő, Gábor (1975). Polinomios ortogonales (4ª ed.). Providencia, Rhode Island: AMS.
  16. ^ "Funciones de Bessel de primer y segundo tipo" (PDF) . mhtlab.uwaterloo.ca . p. 3. Archivado (PDF) desde el original el 2022-10-09 . Consultado el 24 de mayo de 2022 .
  17. ^ Biblioteca digital de funciones matemáticas del NIST (10.8.1). Consultado en línea el 25 de octubre de 2016.
  18. ^ desde Watson, pág. 178.
  19. ^ Abramowitz y Stegun, pag. 358, 9.1.3, 9.1.4.
  20. ^ Abramowitz y Stegun, pag. 358, 9.1.6.
  21. ^ Abramowitz y Stegun, pag. 360, 9.1.25.
  22. ^ Abramowitz y Stegun, pag. 375, 9.6.2, 9.6.10, 9.6.11.
  23. ^ Dixon; Ferrar, WL (1930). "Una prueba directa de la integral de Nicholson". The Quarterly Journal of Mathematics . Oxford: 236–238. doi :10.1093/qmath/os-1.1.236.
  24. ^ Abramowitz y Stegun, pag. 375, 9.6.3, 9.6.5.
  25. ^ Abramowitz y Stegun, pag. 374, 9.6.1.
  26. ^ Greiner, Walter; Reinhardt, Joachim (2009). Electrodinámica cuántica . Springer. pág. 72. ISBN. 978-3-540-87561-1.
  27. ^ Watson, pág. 181.
  28. ^ Khokonov, M. Kh. (2004). "Procesos en cascada de pérdida de energía por emisión de fotones duros". Journal of Experimental and Theoretical Physics . 99 (4): 690–707. Bibcode :2004JETP...99..690K. doi :10.1134/1.1826160. S2CID  122599440.. Derivado de fórmulas obtenidas de IS Gradshteyn e IM Ryzhik , Tabla de integrales, series y productos (Fizmatgiz, Moscú, 1963; Academic Press, Nueva York, 1980).
  29. ^ Se hace referencia a ella como tal en: Teichroew, D. (1957). "La mezcla de distribuciones normales con diferentes varianzas" (PDF) . The Annals of Mathematical Statistics . 28 (2): 510–512. doi : 10.1214/aoms/1177706981 .
  30. ^ Abramowitz y Stegun, pag. 437, 10.1.1.
  31. ^ Abramowitz y Stegun, pag. 439, 10.1.25, 10.1.26.
  32. ^ Abramowitz y Stegun, pag. 438, 10.1.11.
  33. ^ Abramowitz y Stegun, pag. 438, 10.1.12.
  34. ^ Abramowitz y Stegun, pag. 439, 10.1.39.
  35. ^ LV Babushkina, MK Kerimov, AI Nikitin, Algoritmos para calcular funciones de Bessel de orden semientero con argumentos complejos, pág. 110, pág. 111.
  36. ^ Abramowitz y Stegun, pag. 439, 10.1.23, 10.1.24.
  37. ^ Griffiths. Introducción a la mecánica cuántica, 2.ª edición, pág. 154.
  38. ^ Du, Hong (2004). "Cálculo de dispersión de Mie". Óptica Aplicada . 43 (9): 1951–1956. Código Bibliográfico :2004ApOpt..43.1951D. doi :10.1364/ao.43.001951. PMID  15065726.
  39. ^ Abramowitz y Stegun, pag. 364, 9.2.1.
  40. ^ Biblioteca digital de funciones matemáticas del NIST , Sección 10.11.
  41. ^ Abramowitz y Stegun, pag. 377, 9.7.1.
  42. ^ Abramowitz y Stegun, pag. 378, 9.7.2.
  43. ^ Fröhlich y Spencer 1981 Apéndice B
  44. ^ Sung, S.; Hovden, R. (2022). "Sobre series infinitas de funciones de Bessel de primera especie". arXiv : 2211.01148 [math-ph].
  45. ^ Abramowitz y Stegun, pag. 363, 9.1.82 y sigs.
  46. ^ Watson, GN (25 de agosto de 1995). Tratado sobre la teoría de las funciones de Bessel. Cambridge University Press. ISBN 9780521483919. Recuperado el 25 de marzo de 2018 – vía Google Books.
  47. ^ Gradshteyn, Izrail Solomonovich ; Ryzhik, Iosif Moiseevich ; Geronimus, Yuri Veniaminovich ; Tseytlin, Michail Yulyevich ; Jeffrey, Alan (2015) [octubre de 2014]. "8.411.10". En Zwillinger, Daniel; Moll, Víctor Hugo (eds.). Tabla de Integrales, Series y Productos . Traducido por Scripta Technica, Inc. (8 ed.). Prensa académica, Inc. ISBN  978-0-12-384933-5. Número de serie LCCN  2014010276.
  48. ^ Arfken y Weber, sección 11.2
  49. ^ Abramowitz y Stegun, pag. 361, 9.1.27.
  50. ^ Abramowitz y Stegun, pag. 361, 9.1.30.
  51. ^ Siegel, Carl L. (2014). "Über einige Anwendungen diophantischer Approximationen". Sobre algunas aplicaciones de aproximaciones diofánticas: una traducción de Über einige Anwendungen diophantischer Approximationen de Carl Ludwig Siegel por Clemens Fuchs, con un comentario y el artículo Puntos integrales en curvas: el teorema de Siegel después de la prueba de Siegel por Clemens Fuchs y Umberto Zannier (en alemán). Escuela Normal Superior. págs. 81-138. doi :10.1007/978-88-7642-520-2_2. ISBN 978-88-7642-520-2.
  52. ^ ab James, RD (noviembre de 1950). "Reseña: Carl Ludwig Siegel, Números trascendentales". Boletín de la Sociedad Matemática Americana . 56 (6): 523–526. doi : 10.1090/S0002-9904-1950-09435-X .
  53. ^ ab Abramowitz y Stegun, pág. 363, 9.1.74.
  54. ^ Truesdell, C. (1950). "Sobre los teoremas de adición y multiplicación para las funciones especiales". Actas de la Academia Nacional de Ciencias . 1950 (12): 752–757. Bibcode :1950PNAS...36..752T. doi : 10.1073/pnas.36.12.752 . PMC 1063284 . PMID  16578355. 
  55. ^ Bessel, F. (1824), artículo 14.
  56. ^ Watson, págs. 484–485.
  57. ^ ab Lorch, Lee; Muldoon, Martin E. (1995). "Trascendentalidad de ceros de derivadas superiores de funciones que involucran funciones de Bessel". Revista Internacional de Matemáticas y Ciencias Matemáticas . 18 (3): 551–560. doi : 10.1155/S0161171295000706 .
  58. ^ Abramowitz y Stegun, pág. 409

Referencias

Enlaces externos