Función de Bessel

Ir a la navegaciónIr a la búsqueda
En matemáticas, las funciones de Bessel, primero definidas por el matemático Daniel
Bernoulli y más tarde generalizadas por Friedrich Bessel, son soluciones canónicas y(x) de
la ecuación diferencial de Bessel:

(1)

donde es un número real o complejo. El caso más común es cuando es

un entero , aunque la solución para no enteros es similar. El número se

denomina orden de las funciones de Bessel asociadas a dicha ecuación.
Dado que la ecuación anterior es una ecuación diferencial de segundo orden, tiene dos
soluciones linealmente independientes.

Aunque y dan como resultado la misma función, es conveniente definir

diferentes funciones de Bessel para estos dos parámetros, pues las funciones de Bessel

en función del parámetro son funciones suaves casi doquiera. Las funciones de
Bessel se denominan también funciones cilíndricas, o armónicos cilíndricos porque son
solución de la ecuación de Laplace en coordenadas cilíndricas.

Índice

 1Aplicaciones
 2Funciones de Bessel ordinarias

o 2.1Funciones de Bessel de primera especie:

 2.1.1Integrales de Bessel
 2.1.2Relación con las series hipergeométricas
 2.1.3Relación con los polinomios de Laguerre

o 2.2Funciones de Bessel de segunda especie:

 3Funciones de Hankel: Hα(1), Hα(2)
o 3.1Solución general de la ecuación de Bessel
 4Funciones de Bessel modificadas: Iα, Kα

o 4.1Funciones de Bessel modificadas de primera especie:

o 4.2Funciones de Bessel modificadas de segunda especie:

o 4.3Solución general de la ecuación de Bessel modificada

o 4.4Funciones esféricas de Bessel:

o 4.5Funciones de Hankel esféricas: h n

o 4.6Funciones esféricas de Bessel modificadas:

 4.6.1Función generatriz
 4.6.2Relaciones diferenciales
 o 4.7Funciones de Riccati-Bessel:
 5Expansiones asintóticas
 6Propiedades
 7Teorema del producto
 8Hipótesis de Bourget
 9Derivadas de Jα, Yα, Iα, Hα, Kα
o 9.1Derivada bajando el índice p a p − 1
o 9.2Derivada subiendo el índice p a p + 1
o 9.3Otras relaciones importantes
 10Identidades
 11Véase también
 12Referencias
o 12.1Notas
o 12.2Bibliografía
 13Enlaces externos

Aplicaciones[editar]
La Ecuación de Bessel aparece cuando se buscan soluciones a la ecuación de Laplace o a
la ecuación de Helmholtz por el método de separación de variables en coordenadas
cilíndricas o esféricas. Por ello, las funciones de Bessel son especialmente importantes en
muchos problemas de propagación de ondas, potenciales estáticos y cualquier otro
problema descrito por las ecuaciones de Helmholtz o Laplace en simetrías cilíndricas o
esféricas. Cuando se resuelven sistemas en coordenadas cilíndricas, se obtienen

funciones de Bessel de orden entero ( ) y en problemas resueltos en coordenadas

esféricas, se obtienen funciones de Bessel de orden semientero ( ), por ejemplo:

 Ondas electromagnéticas en guías de onda cilíndricas.

 Modos transversales electromagnéticos en guías ópticas.
 Conducción del calor en objetos cilíndricos.
 Modos de vibración de una membrana delgada circular (o con forma de anillo).
 Difusión en una red.
También se usan funciones de Bessel en otro tipo de problemas como en procesamiento
de señales, propagación de ondas largas en ingeniería marítima y en problemas que
tengan ecuaciones diferenciales en derivadas parciales.

Funciones de Bessel ordinarias[editar]

Las funciones de Bessel ordinarias de orden , llamadas simplemente funciones de

Bessel de orden son soluciones de la ecuación de Bessel (1). Existen dos formas
simples de expresar la solución general de la ecuación diferencial de Bessel con

parámetro , que están asociadas a las funciones de Bessel ordinarias de primera y de

segunda especie.

Funciones de Bessel de primera especie: [editar]

Las funciones de Bessel de primera especie y orden son las soluciones de la

ecuación diferencial de Bessel que son finitas en el origen ( ) para no enteros no

negativos y divergen en el límite para negativo no entero. El tipo de

solución y la normalización de están definidos por sus propiedades abajo indicadas.

Es posible definir la función por su expansión en serie de Taylor en torno a , la

cual puede hallarse aplicando el método de Frobenius a la ecuación de Bessel:1

es la función Gamma de Euler, una generalización del factorial para números

complejos.
Estas funciones cumplen que:

 Si , entonces y son linealmente independientes, y por tanto una

solución general de la ecuación de Bessel puede expresarse como una combinación
lineal de ellas.

 Si , entonces se cumple:2

por lo que las dos soluciones dejan de ser linealmente independientes. En este caso, la
segunda solución linealmente independiente será una función 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 mostrarán las formas asintóticas de

estas funciones más abajo), aunque los ceros de estas funciones no son, en general,
periódicos, excepto de forma asintótica 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 representación integral:

Que también se puede escribir como:

Esta es la forma usada por Bessel en su estudio de estas funciones, y a partir

de esta definición dedujo varias propiedades de las mismas. Esta definición
integral puede extenderse a órdenes no enteros añadiendo otro término
integral:

También se tiene, para

Relación con las series hipergeométricas[editar]

Las funciones de Bessel son un caso especial de función
hipergeométrica

Esta fórmula está relacionada con la expansión de las funciones

de Bessel en función de la función de Bessel–Clifford.
Relación con los polinomios de Laguerre[editar]
Las funciones de Bessel pueden expandirse en serie

de polinomios de Laguerre para cualquier

parámetro arbitrario como3

Funciones de Bessel de segunda especie:

[editar]
Las funciones de Bessel de segunda especie, denotadas

por , son soluciones de la ecuación 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 también 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 fórmula:

En el caso en el que tengamos un orden entero n, la función

es definida como el siguiente límite sólo válido para α enteros:

que nos da el siguiente resultado en forma integral:

Para el caso en el que tengamos un α no entero, la definición

de es redundante (como queda claro por su definición

de arriba). Por otro lado, cuando α es entero, es la

segunda solución linealmente independiente de la ecuación
de Bessel, además, de forma similar a lo que ocurría con las
funciones de primera especie, se cumple que:

Ambas y son funciones holomorfas de x en

el plano complejo cortado por el eje real negativo. Cuando α
es un entero, no hay puntos de ramificación, 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 α.
Funciones de Hankel: Hα(1), Hα(2)[editar]
Otra formulación importante de las dos soluciones linealmente
independientes de la ecuación de Bessel son las funciones

de Hankel y así definidas:4

donde i es la unidad imaginaria. Estas combinaciones lineales

son también conocidas como las funciones de Bessel de
tercera especie. Las funciones de Hankel de primera y
segunda especie son usadas para representar las soluciones
de ondas entrantes y salientes de una ecuación de ondas en
simetrías cilíndricas respectivamente (o viceversa
dependiendo de la convección de signo de la frecuencia).
Estas funciones son así nombradas en honor de Hermann
Hankel.
Usando la definición dada arriba, estas funciones se pueden
escribir en función de las funciones de Bessel de primer

orden así:

Si α es un entero, se tiene que calcular de las expresiones de

arriba así:

La siguiente relación es válida para todo valor de α, sea

entero o no:5

Existe una representación integral de las funciones de Hankel

(útil para el cálculo de propagadores de la ecuación de Klein-
Gordon):6

Solución general de la ecuación de

Bessel[editar]
La solución general de la ecuación diferencial de

Bessel con parámetro viene dada en términos

de las funciones de Bessel ordinarias o de las
funciones de Hankel. Dicha solución general puede
expresarse como:

(2)
Donde A y B son dos constantes arbitrarias.
Funciones de Bessel
modificadas: Iα, Kα[editar]
Las funciones de Bessel ordinarias son válidas para
valores complejos del argumento x, y un caso
especialmente importante es aquel con argumento
imaginario puro. En este caso, la ecuación de Bessel
se transforma en la ecuación de Bessel
modificada7

(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
Funciones de Bessel modificadas de

primera especie: [editar]

Las funciones de Bessel modificadas de primera

especie y orden vienen dadas por:

Están relacionadas con las funciones de Bessel

ordinarias mediante la siguiente igualdad:

 Si entonces y son linealmente

independientes, y por tanto dan una solución
general de la ecuación de Bessel.

 Si entonces no está definida en x = 0.

Casos particulares:

Funciones de Bessel modificadas de

segunda especie: [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
fórmula:
Para los casos en los que sea entero (
), tenemos que tomar el límite del orden no entero
al entero así:

Además se puede escribir esta función a partir de

la función de Hankel de primera especie así:

Existen varias representaciones integrales de

estas funciones. La siguiente de Kα (x) es útil
para el cálculo del propagador de
Feynman en Teoría Cuántica de Campos:

Las funciones de Bessel modificadas

de segunda especie han sido también
llamadas:

 Funciones de Basset
 Funciones de Bessel modificadas de
tercera especie
 Funciones de MacDonald
 Funciones de Hankel modificadas9
Al contrario que las funciones de Bessel
ordinarias, Jα y Yα, las cuales son
funciones oscilatorias para argumentos
reales, las funciones de Bessel
modificadas, Iα y Kα,
son exponencialmente
creciente y decreciente respectivamente.
Como la función de Bessel ordinaria Jα,
la función Iα va a cero en x = 0 para α > 0
y es finita en x = 0 para α = 0.
Análogamente, Kα diverge en x = 0.
Función de Bessel modificada de primera especie, Función de Bessel modificada de segunda especie,
Iα(x), para α=0,1,2,3. Kα(x), para α=0,1,2,3.

Solución general de la ecuación

de Bessel modificada[editar]
La solución general de la ecuación
diferencial de Bessel modificada con

parámetro viene dada por:

(4)
Donde A y B son dos constantes
arbitrarias.
Funciones esféricas de

Bessel: [editar]

Funciones esféricas de Bessel de primer

orden, jn(x), para n=0,1,2.

Funciones esféricas de Bessel de

segundo orden, yn(x), para n=0,1,2.

Cuando se soluciona la ecuación de

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

Donde n es un entero positivo. Las

dos soluciones linealmente
independientes de esta ecuación se
denominan funciones esféricas de

Bessel y , y están
relacionadas con las funciones de

Bessel ordinarias y por:10

se escribe también

como o . A esta
función a veces se le
llama función esférica de
Neumann.
Las funciones esféricas de
Bessel se pueden obtener a
partir de las siguientes
fórmulas:

La función de Bessel

esférica es
la Función
sinc desnormalizada.
Para n = 0,1 y 2
tenemos:11

12
L
a
f
ó
r
m
u
l
a
g
e
n
e
r
a
l
e
s
:

F
u
n
c
i
o
n
e
s
d
e
H
a
n
k
e
l
e
s
f
é
r
i
c
a
s
:
h

n
[
e
d
i
t
a
r
]
L
a
s
f
u
n
c
i
o
n
e
s
e
s
f
é
r
i
c
a
s
d
e
H
a
n
k
e
l
s
e
d
e
f
i
n
e
n
d
e
f
o
r
m
a
a
n
á
l
o
g
a
a
l
a
s
n
o
e
s
f
é
r
i
c
a
s
:
]
]