Funcin de Bessel

De Wikipedia, la enciclopedia libre

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.
Contenido
[ocultar]

1 Aplicaciones

2 Funciones de Bessel ordinarias

2.1 Funciones de Bessel de primera especie: J

2.2 Funciones de Bessel de segunda especie : Y

2.3 Propiedades de las funciones de Bessel ordinarias

2.3.1 Integrales de Bessel

2.3.2 Relacin con las series hipergeomtricas

3 Funciones de Hankel : H
o

3.1 Solucin general de la ecuacin de Bessel

4 Funciones de Bessel modificadas

o

4.1 Funciones de Bessel modificadas de primera especie : I

4.2 Funciones de Bessel modificadas de segunda especie : K

4.3 Solucin general de la ecuacin de Bessel modificada

4.4 Funciones esfricas de Bessel: jn,yn

4.5 Funciones de Riccati-Bessel: Sn,Cn,n

5 Expansiones asintticas

6 Propiedades

Aplicaciones [editar]
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 Helmoltz 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.
Funciones de Bessel ordinarias [editar]
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: J [editar]
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. Para las
soluciones de orden entero es posible definir la funcin J(x) por su expansin en serie
de Taylor en torno a x = 0:

(z) es la funcin Gamma de Euler, una generalizacin del factorial para nmeros
complejos. Para no enteros, se necesitan expansiones en series de potencias ms
generales.
Estas funciones cumplen que:

Si
, entonces J(x) y J (x) son linealmente independientes, y por tanto
dan una solucin general de la ecuacin de Bessel.

Si

Si
, entonces se cumple: J n(x) = ( 1)nJn(x), 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.

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

Las grficas de las funciones de Bessel nos muestras 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:

Funciones de Bessel de segunda especie : Y [editar]

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 .
Propiedades de las funciones de Bessel ordinarias [editar]

Integrales de Bessel [editar]

Otra definicin de las funciones de Bessel para valores enteros de n es la siguiente
representacin integral de la funcin de Bessel:

Esta fue la forma con la que Bessel defini a estas funciones y de esta definicin obtuvo
distintas propiedades de la funcin. Otra representacin integral es la siguiente:

Relacin con las series hipergeomtricas [editar]

Las funciones de Beesel se pueden expresar en funcin de las funciones
hipergeomtricas como:

Esta expresin est relacionada con la expresin de las funciones de Bessel en a partir
de la funcin de Bessel-Clifford.
Funciones de Hankel : H [editar]
Otra formulacin importante de las dos solucciones linealmente independientes de la
ecuacin de Bessel son las funciones de Hankel

as definidas:

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:

Solucin general de la ecuacin de Bessel [editar]

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 [editar]
Las funciones de Bessel modificadas son similares a las funciones de Bessel ordinarias
pero estn relacionadas con la solucin general de la ecuacin de Bessel modificada:

(3)
Funciones de Bessel modificadas de primera especie : I [editar]
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:

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

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 (

orden no entero al entero as:

), tenemos que tomar el lmite del

Adems se puede escribir esta funcin a partir de la funcin de Hankel de primera

especie as:

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

Las funciones de Bessel modificadas, al contrario que las usuales, no tienen un

comportamiento oscilante pseudo-aleatorio, sino que las de primera especie presentan
un crecimiento exponencial y las de segunda especie una atenuacin tambin
exponencial:

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
Solucin general de la ecuacin de Bessel modificada [editar]
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: jn,yn [editar]

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:

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:

Para n = 0,1 y 2 tenemos:

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:

Tambin existen anlogos esfricos de las funciones de Bessel modificadas:

kn(x) se pueden escribir, usando

as:

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

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
Expansiones asintticas [editar]

Las funciones de Bessel tienen las siguientes expansiones asintticas para no

negativos. En el lmite de pequea x se obtiene:

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:

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 [editar]
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.
Las funciones J(x), Y(x),
recurrencia:

cumplen las siguientes relaciones de

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.

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.)
Otra relacin de ortogonalidad es la ecuacin de cierre:

para > 1 / 2 y siendo (x) la funcin delta de Dirac. Para funciones de Bessel
esfricas, la relacin de cierre es:

para > 0. 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.
Obtenido de "http://es.wikipedia.org/wiki/Funci%C3%B3n_de_Bessel"
Categora: Funciones especiales