APLICACIN ACSTICA DE LAS FUNCIONES DE BESSEL DE

ORDEN ENTERO Y DE PRIMERA ESPECIE.

En muchos problemas de la Fsica que dan lugar a ecuaciones diferenciales en
derivadas parciales, de Laplace o de ondas en coordenadas cilndricas, aparece una
ecuacin diferencial ordinaria en la coordenada radial, de la forma
x

d df
2
2
x
x n f x 0 ,
dx dx

(1)

donde la variable x es proporcional a la coordenada radial y n es un entero.

La ecuacin (1) se conoce como ecuacin de Bessel de orden n. Como es una ecuacin
diferencial de segundo orden en las derivadas, su solucin general est formada por dos
funciones linealmente independientes, que podemos escribir como
f x AJ n x BYn x ,
(2)
donde J x se llama funcin de Bessel de primera especie y de orden n, y la
n
Yn x funcin se llama funcin de Bessel de segunda especie y de orden n (o funcin

de

Neumann o funcin de Weber).

Estas funciones se obtienen proponiendo soluciones en desarrollo en serie de potencias
para la ecuacin (1), esto es, soluciones de la forma
k

ak x .
(3)

f xx
k 0

Al sustituir (3) en (1) e igualar los coeficientes correspondientes a los trminos con la
misma potencia de x, se obtienen el valor del exponente y una relacin de recurrencia
entre los valores de ak . Para la funcin de Bessel de primera especie estos coeficientes
proporcionan el desarrollo
J

x
x
2

x 2
1

k 0
k ! n k
!
n

2k

(4)

De esta expresin se puede probar que

n
J n x 1 J n x ,
(5)
para todo entero n.
La funcin de Bessel (4) sigue siendo solucin de la ecuacin (1) an si el nmero n
no es un entero. En este caso la factorial que involucra a n en (4) se debe sustituir por la
funcin continua
1

en la variable continua , donde si n entero, entonces

! 1 . En este caso, la solucin de la ecuacin de Bessel (1) para un valor de

n
no entero se indica como J x . La relacin (5) no se cumple si n no es un entero.

La funcin de Neumann Yn x de orden entero n no se puede obtener de un desarrollo

en serie de potencias del estilo de (4). No obstante, se puede obtener haciendo uso de las
funciones de Bessel no enteras J x calculando el lmite

x lim
x
Y

Jx cos J

sin

(6)

Para valores pequeos de x, la aproximacin al primer trmino en el desarrollo (4) es

x n 1
J x
,
(7)

n
2 n!
estando entonces definida en x 0 para todo n.
La funciones de Neumann Yn x , no obstante, se prueba que tienen un
comportamiento divergente para x 0 . Por lo tanto, si el dominio de la variable x en la
ecuacin de Bessel (1) (con n entero) contiene el origen, solamente la funcin de Bessel
de primera especie J n x es una solucin aceptable.
En las figuras 1 y 2 se muestran, respectivamente, las primeras funciones de Bessel de
orden entero y de Neumann.

Figura 1. Primeras funciones de Bessel de primera especie

Figura 2. Primeras funciones de Bessel de segunda especie (funciones de Neumann)

Como se observa en las grficas de la figura 1, una funcin de Bessel de cualquier
orden n es oscilatoria y contiene infinidad de races. No obstante, estas races no estn
peridicamente distribuidas en el eje x, y dos races cualesquiera correspondientes a
funciones de diferentes rdenes n no coinciden.
Para cada funcin de Bessel J n existe entonces un conjunto infinito de races

n1 , n 2 , n3 , ,

tales

J n nk 0 . El primer subndice indica el orden n de la

que
funcin de Bessel y el segundo subndice identifica una raz correspondiente a ese
orden. Mediante el clculo numrico se pueden obtener los valores aproximados de las
primeras races nk de cada orden n, como se muestra en la tabla I.
n
0
1
2
3
4

1
2
3
4
5
2.4048
5.5201
8.6537
11.7915
14.9309
0
3.8317
7.0156
10.1735
13.3237
0
5.1356
8.4172
11.6198
14.7960
0
6.3802
9.7610
13.0152
16.2235
0
7.5883
11.0647
14.3725
17.6160
Tabla I. Primeras races de los primeros rdenes de las funciones de Bessel.

Ortogonalidad de la funciones de Bessel

En muchos problemas fsicos se imponen condiciones de frontera que llevan a que, en
la dependencia radial de las coordenadas cilndricas, la funcin f solucin de (1) se
anule para cierto borde circular de radio a. Esta condicin se asegura si la variable x se
pone como funcin de la coordenada radial r en la forma x nk r a , de manera que
f x J

nk

r
a

(8)

Entonces, para cualquiera de las races de J n tendremos la condicin de que la funcin

se anula en r a .
Llamemos r a la variable adimensionada cuyos valores de inters estn en el
intervalo 0 1 . En este intervalo definimos un producto interno entre dos funciones
reales integrables f, g, como

(9)

f , g f g d
0

Construyamos la funcin
u J n ,

(10)

donde nk es una raz k-sima arbitraria de J n , esto es J n 0 .

Tambin formamos la funcin
v J n ,

(11)

donde es un nmero real positivo arbitrario.

Las funciones (10) y (11) satisfacen la ecuacin diferencial (1), sustituyendo x
en un caso, y x en el otro caso. Resulta, respectivamente,
d
du
2 2
2

n u 0 ,
(12)

d d
para la funcin u, y
d
dv
2 2
2

n v 0 ,
(13)

d d
para la funcin v.
Dividiendo entre la variable podemos poner las ecuaciones (12) y (13) como
d

du

2
n

u 0,

(14)

y
d

dv

2
n

(15)

v 0

Multiplicamos ahora la ecuacin (14) por v , la ecuacin (15) por u , restamos

ambas e integramos el resultado respecto de entre 0 y 1. Resulta
1

du

dv

d

d
2

0u v d

Cada trmino de la primera integral de (16) se puede efectuar por partes. Esto da

(16)

du

du dv
d v
d

d 0 d d

,
0
v 1

du

du

du dv

d 1 0 d d

(17)

para el primer trmino de la integral y

1

d
dv

du dv
d u 1
d ,
dvu

d d

d 1 d d

(18)

para el segundo trmino de la primera integral de (16).

Si restamos (17) y (18) como se establece en la ecuacin (16), obtenemos para sta el
resultado
v 1
1
du u 1 dv
u v d
(19)
2
2

d
d
0

1
Recordando
las
udu
1d J n
definiciones
0
n de las

funciones
J u y v dadas en
n (10) y (11) tenemos que
1
n
.
J dJ x
, v 1 J , 1 donde
,

x
dx
Entonces el resultado (19) queda

J n J n 2

J J d

(20)

Obsrvese que si fuese otra raz de J n diferente de , entonces ser J n 0 en

(20), de la cual resulta que
1

J J d 0
n

(21)

si
0

para dos races , cualesquiera de J n .

1

Las derivadas de las funciones de Bessel pueden expresarse como combinaciones de las propias
n
n
funciones correspondientes a distintos rdenes. As tenemos que d
x J n x x J n 1 x .

dx

Es en este sentido que se dice que dos funciones de Bessel del mismo orden n, cuyos
factores de escala son races distintas de J n , son ortogonales con respecto al producto
interno definido en (9).
Si se trata de la misma raz , no es aplicable directamente la (20), pero podemos
calcular el lmite de esta expresin cuando el nmero real arbitrario tiende a la raz
. Esto nos permite calcular la norma de J n con factor de escala respecto a este
producto interno.
Para ello ponemos y hacemos tender a cero la diferencia . Desarrollando
en serie hasta el primer orden tenemos que
J n J n J n J n ,
(22)
dado que J 0 por ser raz J .
n
n
de
Adems del resultado (22) podemos poner en (20) que

2 2 2 .
(23) Por lo que la expresin (20) resulta
1
2J n

J n
1

d ,

(24)

siendo una raz arbitraria de J n . Este resultado (24) complementa el resultado (21)
obtenido para dos races diferentes.
J n nk
en el intervalo 0 1 , donde
En base a la ortogonalidad de las funciones

los nmeros reales , , , son las races J , y a la aceptacin de que estas

n
n1
n2
nk
de
funciones forman una base del espacio de todas las funciones f que verifican la
condicin de borde f 1 0 , podemos desarrollar en series de Fourier-Bessel estas
funciones en la forma

f Ak J n nk .
(25)
k 1

Dada la funcin f , los coeficientes A se obtienen utilizando las relaciones de

k
ortogonalidad (21) y (24). Esta funcin ser una solucin general de la ecuacin de
Bessel de orden entero n, que cumple con las condiciones de existencia en 0 y de
frontera f 1 0 .
Vibraciones de una membrana elstica circular con borde fijo (el tambor).
Una membrana elstica uniforme con densidad superficial de masa est sometida a
una tensin superficial tambin uniforme . La membrana en equilibrio se encuentra en
el plano Oxy, sobre

z 0 . La vibracin superficie constituyen una

de los puntos de su
funcin z x, y, t que obedece a la ecuacin de ondas

2
2
2
z
z
1 z
2
2 2
2,
c t
x y

(26)

Analizaremos el caso de una membrana circular de radio a y fija en el borde. En este

caso, intentamos obtener la funcin en coordenadas polares z r, , t , por lo cual a
las
derivadas espaciales de (26) (el laplaciano) lo expresamos en coordenadas polares. Esto
es
1 z
1 2 z 1 2 z
r
(27)

2 2.
2
c t
r r r r
2
Buscamos los modos normales de oscilacin de la membrana, por lo que proponemos
una solucin oscilatoria con frecuencia de la forma
z r, , t F r, exp jt .
(28) Al sustituir este resultado en (27) obtenemos la ecuacin
2
1 F 1 2F
F r,
r

2
2

r r

(29)

Poniendo k c 2 y multiplicando todo por r 2 obtenemos,

2

F
2 2
k r F

(30)

Utilizando el mtodo de separacin de variables proponemos la solucin

F r, R r ,
(31)
que al sustituirla en (30) y dividir todo por el producto R sta resulta
r d
dR
d 2
2 2
r

0 k r
1

2
R dr dr
Como el segundo trmino de (32) es solamente funcin de y los otros dos lo son
solamente de r, cada uno ser una constante. Es decir,

(32)

1 d2
2
2 n ,

(33)

donde, en principio, n 2 es cualquier nmero real o complejo. Lo escribimos de esta

forma por las condiciones que se impondrn a continuacin.
La solucin general de la ecuacin (33) est dada por las dos funciones independientes
de la forma
a exp jn b exp
(34)
jn
La funcin debe de ser peridica, puesto que al barrer la coordenada un ngulo
completo llega al mismo lugar del espacio, de forma que 2 .
Entonces el nmero n introducido en (33) por la separacin de variables debe de ser real
y adems entero.
El resultado (34) tambin puede expresarse como combinacin de seno y coseno, de la
forma
A cos n B sin
(35)
n
Sustituyendo (33) en (32) obtenemos una ecuacin para la funcin R r ,
que
podemos escribir como
d
dR
2 2
2
r
r
k r n R 0 ,
(36)

dr dr
siendo n un entero arbitrario. Haciendo el cambio de variable x kr vemos que la
ecuacin (36) es la ecuacin de Bessel de orden n que se introdujo en (1).
Por consiguiente, la solucin aceptable que se mantiene finita en el origen es la
funcin de Bessel de primera especie y de orden n. Esto es
R r J n kr
(37)
siendo n un entero arbitrario. Haciendo el cambio de variable x kr vemos que la
ecuacin (36) es la ecuacin de Bessel de orden n que se introdujo en (1).
Por consiguiente, la solucin aceptable que se mantiene finita en el origen es la
funcin de Bessel de primera especie y de orden n. Esto es
R r J n kr .
(38) Por otra parte, la condicin de frontera fija de la membrana de radio a implica que
J n ka 0

ka nq , q 1, 2,
3

(39)

Esto significa que el producto ka debe de ser una raz de J n , lo cual limita los posibles
valores de k y, por consiguiente, los valores posibles de las frecuencias ck de los
modos de oscilacin de la membrana.
De (39) entonces resulta
(40)

k k nq nq , nq c nq
a
a
Las posibles soluciones para

Rr

pueden escribirse entonces como

J
r

R r J n k nqr
n
nq

(41)

Cada modo de oscilacin de la membrana se identifica por dos ndices

correspondientes a una determinada frecuencia nq dada en (40). El movimiento de la
membrana en un modo dado resulta entonces de multiplicar las funciones introducidas
en la separacin de variables: R r , , exp jt . Obtenemos entonces, luego
tomar la parte real,
de
znq r , , t

J
n

nq

r
a

A
nq

cos

Btnq sin n

cos

(42)
nq

nq

La solucin ms general para la vibracin z r, , t de la membrana circular con

borde
fijo en r a involucra la suma de todos los modos (42). Esto es

r
(43)
z r, , t J n
Anq cos n Bnq sin cos nq t nq
n
nq

n0 q 1
Los coeficientes Anq ,
y los ngulos de fase dependen de las condiciones
Bnq
nq
iniciales de la membrana.
Por ejemplo, supongamos que en el instante inicial la membrana se golpea (como en el
caso del tambor) partiendo de su posicin de equilibrio z 0 y se proporciona el dato
de la velocidad inicial en cada punto: v0 r, z r, , 0 .
Esto significa que en (43) debe de ser z r, , 0 r, , por lo tanto es
0
necesario
que cos nq n, q , con lo que el resultado (43) contiene solamente
funciones
0
senoidales del tiempo. Esto es,

r
z r, , t J n
Anq cos n Bnq sin
n
nq
a

n 0 q 1

sin nq t

(44)

Dada la velocidad inicial de los puntos de la membrana, la derivada temporal de (44) y

su evaluacin en t 0 arroja el resultado
J
A
n B

sin

r
v r

(45)

0 ,
nq
nq cos nq n .

n 0 q
nq n
1
a

La sumatoria en n del resultado (45) se levanta utilizando las propiedades de las series
de Fourier en senos y cosenos. Esto determina que
2

 v r, cos n d

nq

q 1

nq

Jn

(46)

Anq
a

para los coeficientes Anq de los cosenos, y

2

v0 r, sin n d nq J n Bnq
nq
q 1
0
a

(47)

para los coeficientes Bnq .

Finalmente utilizamos la ortogonalidad de las funciones de Bessel (21) para factores de
escala con diferentes races de una misma J n . Hacemos r a en (46), multiplicamos

ambos miembros por J e integramos en 0 1 . Resulta

n
np
1

J n np v0 a , cos n d d
0 0
nq Anq

J n nq J n np d

q 1

(48)
donde hemos puesto v0 r, v0 a , .
De (21) sabemos que si p q y la integral del segundo trmino de (48) se
np
nq
anula. Entonces en la sumatoria sobre q solamente sobrevive el trmino en que p q ,
de forma que
1

np
np np

J v
A

a , cos n d d

0 0

np

(49)

Utilizando el resultado (24) en (49) tenemos la expresin final para el coeficiente Anp
de la forma
2

np J n np

0 0

J n np v0 a , cos n d d

(50)

Anp

De la misma forma despejamos los coeficientes Bnq de (47) resultando

2

np J n np

0 0

J n np v0 a , sin n d d

(51)

Bnp

Si el golpe de excitacin se produce normalmente

a la membrana en un cierto punto r0 , 0 , podemos elegir 0 y la velocidad inicial
0

impuesta a la membrana ser simtrica con respecto a la coordenada angular. Esto es

v0 r, v0 r, . Entonces la integral en el seno de (51) resulta nula, por lo
que
sern nulos todos los coeficientes B . Solamente importan los coeficientes de los
nq
cosenos en (50), y la vibracin general se puede expresar simplificando la expresin
(44) de forma que resulta

r
z r, , t Anq J n cos n sin
nq
nq t
n0 q 1
a

(52)

Si el tambor es golpeado en el centro la velocidad inicial tendr simetra circular, y no

depender del ngulo , es decir, z r, , 0 v0 r . En este caso, la integral del
coseno
en (50) se anula para todo n, excepto para n 0 . La nica funcin de Bessel
involucrada en la solucin en este caso es J 0 , y los coeficientes A0 p en (50) resultan
4

0 p J 0 0 p

J 0 0 p v0 a d

(53)

A0 p

La solucin general (52) se simplifica an ms, resultando

z r, t

A0

J 0 r sin t ,
0q
0q

q 1

siendo , q 1, 2,
0q

(54)

las races de J 0 y 0 q las frecuencias de los modos normales

3,
simtricos (o circulares) que, de acuerdo con (40), son 0 q 0 q c a donde a es el radio
de la membrana circular. La constante c es, segn (26), la velocidad de propagacin de
las ondas superficiales en la membrana c .
Segn la nota al pie de la pgina 5, poniendo all n 0 , podemos expresar la derivada
de J 0 como J 0 J 1 . De acuerdo con (5)
J 0 J1 , por lo que podemos escribir
resulta
(53) como
1
4
(55)
2
J

v
a

0 p J1 0 p 0 0 0 p 0
A
0p

Como ejemplo de aplicacin supongamos que la membrana del tambor de radio a se

golpea en su centro y adquiere un perfil de velocidades iniciales en forma parablica.
Esto es,

 r2
v0 r V
1 2 V0 1
0

0ra,

(56)

donde V0 es la velocidad inicial en el centro de la membrana.

Sustituyendo esta expresin en (55) tenemos las integrales para los coeficientes del
desarrollo de Fourier-Bessel,
1
(57)
2
4V0
J 0 0 p 1
A0 p
2
0 p J1 0 p 0 d

Las dos integrales que resultan en el segundo miembro de (57) se resuelven utilizando
la relacin

dx

n
dn
n
x J x x Jn 1 x .
(58)

Resulta
A0 p

8V0

0 p 0 p J1 0 p

J2 0 p

(59)