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

Funciones de Bessel ordinarias[editar]

Las funciones de Bessel ordinarias de orden
orden

, llamadas simplemente funciones de Bessel de

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
diferencial de Bessel que son finitas en el origen (
divergen en el lmite
de

para

[editar]

son las soluciones de la ecuacin

) para enteros no negativos

negativo no entero. El tipo de solucin y la normalizacin

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

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

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[editar]
Las funciones de Bessel pueden expandirse en serie de polinomios
de Laguerre

para cualquier parmetro

arbitrario como3

Funciones de Bessel de segunda especie:

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

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
.

http://es.wikipedia.org/wiki/Funci%C3%B3n_de_Bessel

http://www.uru.edu/fondoeditorial/articulos/FUNCIONES%20BESSEL.pdf