Funcin de Bessel

De Wikipedia, la enciclopedia libre

(Redirigido desde Funciones de Bessel)
Saltar a: navegacin, bsqueda

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 n,

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 convenin 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.

Contenido
[ocultar]

1 Aplicaciones

2 Funciones de Bessel ordinarias

o 2.1 Funciones de Bessel de primera especie: J

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: Y

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: I

o 4.2 Funciones de Bessel modificadas de segunda especie: K

o 4.3 Solucin general de la ecuacin de Bessel modificada

o 4.4 Funciones esfricas de Bessel: jn,yn

o 4.5 Funciones de Hankel esfricas: h n

o 4.6 Funciones esfricas de Bessel modificadas: in,kn

4.6.1 Funcin generatriz

4.6.2 Relaciones diferenciales

o 4.7 Funciones de Riccati-Bessel: Sn,Cn,n,n

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 Notas

13 Referencias

14 Enlaces externos

[editar] 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 ( = n) y en problemas resueltos en coordenadas esfricas, se obtienen
funciones de Bessel de orden semientero ( = n + 1 / 2), 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.

[editar] 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.

[editar] Funciones de Bessel de primera especie: J

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

(z) es la funcin Gamma de Euler, una generalizacin del factorial para nmeros
complejos.

Estas funciones cumplen que:

Si , entonces J(x) y J (x) 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:

[editar] Integrales de Bessel

Para valores enteros de n, 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
definicion dedujo varias propiedades de las mismas. Esta definicin integral puede
extenderse a rdenes no enteros aadiendo otro trmino integral:

Tambin se tiene, para

[editar] 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.

[editar] Relacin con los polinomios de Laguerre

Las funciones de Bessel pueden expandirse en serie de polinomios de Laguerre Lk para

cualquier parmetro t arbitrario como[3]

[editar] Funciones de Bessel de segunda especie: Y

Las funciones de Bessel de segunda especie, denotadas por Y(x), 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 Y(x) tambin se les llama a veces funciones de Neumann o de Weber, y a
veces se denotan por N(x). Para ; no enteros, se definen a partir de las funciones de
primera especie J(x) 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 no enteros:
que nos da el siguiente resultado en forma integral:

Para el caso en el que tengamos no enteros, la definicin de Y(x) es redundante (como

queda claro por su definicin de arriba). Por otro lado, cuando es entero, Y(x) 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 J(x) y Y(x) 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 .

[editar] 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 J(x) 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]

[editar] 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.

[editar] 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 modificada[7]

(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]

[editar] Funciones de Bessel modificadas de primera especie: I

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 I(x) y I (x) son linealmente independientes, y por tanto dan

una solucin general de la ecuacin de Bessel.

Si entonces J (x) no est definida en x = 0.

Casos particulares:

[editar] Funciones de Bessel modificadas de segunda especie: K

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 modificadas[9]

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 Funcin de Bessel modificada de segunda

especie, I(x), para =0,1,2,3. especie, K(x), para =0,1,2,3.

[editar] 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.

[editar] Funciones esfricas de Bessel: jn,yn

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 jn(x) y yn(x), y estn relacionadas con
las funciones de Bessel ordinarias Jn(x) y Yn(x) por:[10]

yn se escribe tambin como nn o n. 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 j0(x) es la Funcin sinc desnormalizada.

Para n = 0,1 y 2 tenemos:[11]

[12]
La frmula general es:

[editar] 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 x real). De esta frmula se pueden

deducir las formas cerradas de las funciones esfricas de Bessel ordinarias, por ejemplo,
j0(x) = sin(x) / x y y0(x) = cos(x) / x, y as para cualquier argumento n.

[editar] Funciones esfricas de Bessel modificadas: in,kn

Tambin existen anlogos esfricos de las funciones de Bessel modificadas:

kn(x) se pueden escribir de forma cerrada, usando la frmula de dada arriba como:
[editar] Funcin generatriz

Se pueden obtener las funciones de Bessel esfricas a partir de las siguientes funciones
generatrices:[13]

[editar] Relaciones diferenciales

La siguiente relacin diferencial se cumple para

[editar] Funciones de Riccati-Bessel: Sn,Cn,n,n

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 n,n en vez de Sn,Cn.

[editar] 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 (x) 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:

[editar] Propiedades
Para enteros de orden = n, Jn(x) 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 =

0 tienen la siguiente forma explcita

donde Ok son los polinomios de Neumann.[16]

Existen funciones que admiten la siguiente representacin especial

con
debido a la rtelacin de ortogonalidad

Ms generalmente, si f tiene un punto de ramificacin donde

f(z) = akJ + k(z),

k=0

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 J(x), Y(x), 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 C denotar a I o a eiK. 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 > 1, n,m es la delta de Kronecker, y u,m es el m-simo cero de J(x). 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 J(xu,m) 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 > 1 / 2 y siendo (x) 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 > 1. Otra propiedad importante de la ecuacin de Bessel, que se deriva de la

identidad de Abel, es el Wronskiano de las soluciones:

donde A y B son dos soluciones cualesquiera independientes de la ecuacin de Bessel y C

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.

[editar] 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(z)
y el resto de funciones de Bessel[19] [20]

[editar] Hiptesis de Bourget

Bessel demostr que, para n no negativos, la ecuacin

J(x) = 0

tiene un nmero infinito de soluciones en x.[21] Cuando las funciones Jn(x) se representan en
la misma grfica, ninguno de los diferentes ceros de cada funcin Jn(x) parece coincidir,
excepto el cero situado en x = 0. 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 and , las funciones Jn(x) y
Jn + m(x) no tienen ceros comunes, a excepcin del cero en el origen x = 0. Esta hiptesis fue
demostrada por Siegel en 1929.[22]

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

[editar] Derivada bajando el ndice p a p 1

Para

Mientras que para yp(x) = Kp(x), se tiene

[editar] Derivada subiendo el ndice p a p + 1 dependency

Para
Mientras que para yp(x) = Ip(x), se tiene

[editar] Otras relaciones importantes

Para , se cumplen las

siguientes relaciones:

[editar] Identidades Seleccionadas