Curso de Acstica 2011

Instituto de Fsica de la Facultad de Ingeniera

Universidad de la Repblica.
Montevideo - Uruguay

UNA 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


( ) ( )
2 2
0
d df
x x x n f x
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

( ) ( ) ( )
n n
f x AJ x BY x = + , (2)

donde se llama funcin de Bessel de primera especie y de orden n, y la funcin
se llama funcin de Bessel de segunda especie y de orden n (o funcin de
Neumann o funcin de Weber).
( )
n
J x
) (
n
Y x
Estas funciones se obtienen proponiendo soluciones en desarrollo en serie de potencias
para la ecuacin (1), esto es, soluciones de la forma

( )
0
k
k
k
f x x a x
o

=
=

. (3)

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 o y una relacin de recurrencia
entre los valores de . Para la funcin de Bessel de primera especie estos coeficientes
proporcionan el desarrollo
k
a

( )
( ) ( )
( )
2
0
1 2
2 !
k k
n
n
k
x
x
J x
k n k

| |
=
|
+
\ .

!
n
(4)

De esta expresin se puede probar que

, (5) ( ) ( ) ( ) 1
n
n
J x J x

=

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
1
funcin continua ( ) v I en la variable continua v , donde si n v = entero, entonces
( ! ) 1 v v = I + . En este caso, la solucin de la ecuacin de Bessel (1) para un valor de n
no entero v se indica como . La relacin ( ) J x
v
(5) no se cumple si n no es un entero.
La funcin de Neumann de orden entero n no se puede obtener de un desarrollo
en serie de potencias del estilo de
( )
n
Y x
(4). No obstante, se puede obtener haciendo uso de las
funciones de Bessel no enteras ( ) J x
v
calculando el lmite

( )
( ) ( ) ( )
( )
cos
lim
sin
n
n
J x J x
Y x
v
v
vt
vt

=
v
(6)

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

( )
1
2 !
n
n
x
J x
n
| |
|
\ .
, (7)

estando entonces definida en para todo n. 0 x =
La funciones de Neumann ( )
n
Y x
0 x
, no obstante, se prueba que tienen un
comportamiento divergente para . 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 es una solucin aceptable. ( )
n
J x
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

2

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 existe entonces un conjunto infinito de races
, tales que
n
J
( )
n nk
( )
1 2 3
, , ,
n n n
0 J = . El primer subndice indica el orden n de la
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 k 1 2 3 4 5
0 2.4048 5.5201 8.6537 11.7915 14.9309
1 0 3.8317 7.0156 10.1735 13.3237
2 0 5.1356 8.4172 11.6198 14.7960
3 0 6.3802 9.7610 13.0152 16.2235
4 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
nk
x r a = , de manera que

( )
n nk
r
f x J
a

|
=

\ .
|
|
.
. (8)

Entonces, para cualquiera de las races de tendremos la condicin de que la funcin
se anula en
n
J
r a =
3
Llamemos r a = la variable adimensionada cuyos valores de inters estn en el
intervalo 0 1 s s . En este intervalo definimos un producto interno entre dos funciones
reales integrables f, g, como

( ) ( )
1
0
, f g f g d < >=
}
(9)

Construyamos la funcin

( ) ( )
n
u J = , (10)

donde
nk
= es una raz k-sima arbitraria de , esto es
n
J ( ) 0
n
J = .
Tambin formamos la funcin

( ) ( )
n
v J o = , (11)

donde o es un nmero real positivo arbitrario.
Las funciones (10) y (11) satisfacen la ecuacin diferencial (1), sustituyendo x =
en un caso, y x o = en el otro caso. Resulta, respectivamente,


( ) ( )
2 2 2
0
d du
n u
d d


| |
+
|
\ .
= , (12)

para la funcin u, y


( ) ( )
2 2 2
0
d dv
n v
d d
o

| |
+
|
\ .
= , (13)

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

( )
2
2
0
d du n
u
d d


| | | |
+
| |
\ . \ .
= , (14)

y

( )
2
2
0
d dv n
v
d d
o

| | | |
+
| |
\ . \ .
= (15)

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

4
( ) ( ) ( ) ( ) ( )
1
1
2 2
0
0
0
d du d dv
v u d u v
d d d d
o

(
| | | |
d + =
( | |
\ . \ .

(
(
]
}
(16)

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


( ) ( )
( )
1
1
1
0
0
0
1
1
0
1
d du du du dv
v d v
d d d d d
du du dv
v d
d d d

d



=
| | (
= =
| (
\ .
| |
=
|
\ .
(
(
(
(
]
]
(
(
]
, (17)

para el primer trmino de la integral y

( ) ( )
1
1
1
0
0
1
d dv dv du dv
u d u
d d d d 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

( ) ( ) ( ) ( ) ( )
1
2 2
0 1 1
1 1
du dv
v u u v
d d

d o

= =
| | | |
=
| |
\ . \ .
}
(19)

Recordando las definiciones de las funciones u y v dadas en (10) y (11) tenemos que
,
( ) ( ) 1 0
n
u J = = ( ) ( ) 1
n
v J o = ,
( ) ( )
1
n
du d J

=
' =
, donde
( ) ( )
n n
x
J dJ x dx

=
' ( =

1
.
Entonces el resultado (19) queda

( ) ( ) ( ) ( ) ( )
1
2 2
0
n n n n
J J J J d o o o ' =
}
(20)

Obsrvese que si o fuese otra raz de diferente de
n
J , entonces ser en ( ) 0
n
J o =
(20), de la cual resulta que

( ) ( )
1
0
0 si
n n
J J d o o = =
}
, (21)

para dos races , o cualesquiera de .
n
J

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

( =

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

( ) ( ) ( ) ( )
n n n n
J J J J o o o ' ' ~ + = , (22)

dado que por ser ( ) 0
n
J = raz de .
n
J
Adems del resultado (22) podemos poner en (20) que

( )( )
2 2
2 o o o o = + ~ . (23)

Por lo que la expresin (20) resulta

( ) ( )
1
2
0
1
2
n n
J J
2
d ' ( ( =
}
, (24)

siendo una raz arbitraria de . Este resultado
n
J (24) complementa el resultado (21)
obtenido para dos races diferentes.
En base a la ortogonalidad de las funciones ( )
n nk
J en el intervalo 0 1 s s , donde
los nmeros reales
1 2
, , ,
n n nk
son las races de , y a la aceptacin de que estas
funciones forman una base del espacio de todas las funciones
n
J
( ) f que verifican la
condicin de borde , podemos desarrollar en series de Fourier-Bessel estas
funciones en la forma
( ) 1 0 f =

( ) ( )
1
k n nk
k
f A J

=
=

. (25)

Dada la funcin ( ) f , los coeficientes se obtienen utilizando las relaciones de
ortogonalidad
k
A
(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 . ( ) 1 0 f =

Vibraciones de una membrana elstica circular con borde fijo (el tambor).

Una membrana elstica uniforme con densidad superficial de masa o est sometida a
una tensin superficial tambin uniforme T. La membrana en equilibrio se encuentra en
6
el plano Oxy, sobre . La vibracin de los puntos de su superficie constituyen una
funcin que obedece a la ecuacin de ondas
0 z =
( , , z x y t )


2 2 2
2
2 2 2 2
1
,
z z z
c
x y c t o
c c c
+ = =
c c c
T
(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


2 2
2 2 2 2
1 1 1 z z
r
r r r r c t
c c c c | |
+ =
|
c c c c
\ .
z
. (27)

Buscamos los modos normales de oscilacin de la membrana, por lo que proponemos
una solucin oscilatoria con frecuencia e de la forma

( ) ( ) ( ) , , , exp z r t F r j t = e . (28)

Al sustituir este resultado en (27) obtenemos la ecuacin

(
2 2
2 2 2
1 1
,
F F
r
r r r r c
e
) F r

c c c | |
+ =
|
c c c
\ .
(29)

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


2
2 2
2
0
F F
r r k r F
r r
c c c | |
+ +
|
c c c
\ .
= (30)

Utilizando el mtodo de separacin de variables proponemos la solucin

( ) ( ) ( ) , F r R r = u , (31)

que al sustituirla en (30) y dividir todo por el producto Ru sta resulta


2
2 2
2
1
0
r d dR d
r k
R dr dr
u | |
r + + =
|
u c
\ .
(32)

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,


2
2
2
1 d
n

u
=
u c
, (33)

7
donde, en principio, es cualquier nmero real o complejo. Lo escribimos de esta
forma por las condiciones que se impondrn a continuacin.
2
n
La solucin general de la ecuacin (33) est dada por las dos funciones independientes
de la forma

( ) ( ) ( ) exp exp a jn b jn u = + (34)

La funcin debe de ser peridica, puesto que al barrer la coordenada u un ngulo
completo llega al mismo lugar del espacio, de forma que ( ) 2 ( ) t u + = u . 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

( ) ( ) ( ) cos sin A n B n u = + (35)

Sustituyendo (33) en (32) obtenemos una ecuacin para la funcin ( ) R r , que
podemos escribir como


( )
2 2 2
0
d dR
r r k r n R
dr dr
| |
+ =
|
\ .
, (36)

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

( ) ( )
n
R r J 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

( ) ( )
n
R r J kr = . (38)

Por otra parte, la condicin de frontera fija de la membrana de radio a implica que

(39) ( ) 0 , 1
n nq
J ka ka q = = = , 2, 3

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

8
,
nq nq
nq nq
k k c
a a

e = = = (40)

Las posibles soluciones para ( ) R r pueden escribirse entonces como
( ) ( )
n nq n nq
r
R r J k r J
a

|
= =

\ .
|
|
(41)

Cada modo de oscilacin de la membrana se identifica por dos ndices
correspondientes a una determinada frecuencia
nq
e dada en (40). El movimiento de la
membrana en un modo dado resulta entonces de multiplicar las funciones introducidas
en la separacin de variables: ( ) ( ) ( ) , , exp R r j t e u . Obtenemos entonces, luego de
tomar la parte real,

( ) ( ) ( ) (
, , cos sin cos
nq n nq nq nq nq nq
r
z r t J A n B n t
a
)
e
| |
( = +
|

\ .
o + (42)

La solucin ms general para la vibracin ( ) , , z r t de la membrana circular con borde
fijo en r involucra la suma de todos los modos a = (42). Esto es

( ) ( ) ( ) (
0 1
, , cos sin cos
n nq nq nq nq nq
n q
r
z r t J A n B n t
a
)
e

= =
| |
( = +
|

\ .

o + (43)

Los coeficientes y los ngulos de fase ,
nq nq
A B
nq
o dependen de las condiciones
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 0 z = y se proporciona el dato
de la velocidad inicial en cada punto: ( ) ( ) , 0
0
, , v r z r = .
Esto significa que en (43) debe de ser ( ) ( ) , , 0 0 , z r r = , por lo tanto es necesario
que ( ) cos 0 ,
nq
n q o = , con lo que el resultado (43) contiene solamente funciones
senoidales del tiempo. Esto es,

( ) ( ) ( ) (
0 1
, , cos sin sin
n nq nq nq nq
n q
r
z r t J A n B n t
a


= =
| |
= +
|

\ .

)
e (

(44)

Dada la velocidad inicial de los puntos de la membrana, la derivada temporal de (44) y
su evaluacin en 0 t = arroja el resultado

( ) ( ) ( )
0
0 1
, cos
nq n nq nq nq
n q
r
v r J A n B n
a
sin e

= =
| |
( =
|
+

\ .

. (45)

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

9
( ) ( )
2
0
1
0
, cos
nq n nq nq
q
r
v r n d J A
a
t
t e

=
| |
=
|
\ .

}
(46)

para los coeficientes
nq
A de los cosenos, y

( ) ( )
2
0
1
0
, sin
nq n nq nq
q
r
v r n d J B
a
t
t e

=
| |
=
|
\ .

}
(47)

para los coeficientes
nq
B .
Finalmente utilizamos la ortogonalidad de las funciones de Bessel (21) para factores de
escala con diferentes races de una misma . Hacemos
n
J r a = en (46), multiplicamos
ambos miembros por
( )
n np
J e integramos en 0 1 s s . Resulta


( ) ( ) ( ) ( ) ( )
1 2 1
0
1
0 0 0
, cos
n np nq nq n nq n np
q
J v a n d d A J J
t

d t e

=
= = =
=

} } }

(48)

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


( ) ( ) ( ) ( )
1 2 1
2
0
0 0 0
, cos
n np np np n np
J v a n d d A J
t

d te
= = =
(
=

} } }
(49)

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


( )
( ) ( ) ( )
1 2
0 2
0 0
2
, cos
n np n
np n np
J v a n d d
J
t


te = =
=
( '

} }
p
A (50)

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


( )
( ) ( ) ( )
1 2
0 2
0 0
2
, sin
n np n
np n np
J v a n d d
J
t


te = =
=
( '

} }
p
B (51)

Si el golpe de excitacin se produce normalmente
a la membrana en un cierto punto ( )
0 0
, r , podemos elegir
0
0 = y la velocidad inicial
impuesta a la membrana ser simtrica con respecto a la coordenada angular. Esto es
( ) (
0 0
, v r v r ) , = . Entonces la integral en el seno de (51) resulta nula, por lo que
10
sern nulos todos los coeficientes
nq
B . Solamente importan los coeficientes de los
cosenos en (50), y la vibracin general se puede expresar simplificando la expresin
(44) de forma que resulta

( ) ( ) (
0 1
, , cos sin
)
n nq nq
n q
r
z r t n t
a
e

= =
| |
=
|
\ .
nq
A J (52)

Si el tambor es golpeado en el centro la velocidad inicial tendr simetra circular, y no
depender del ngulo , es decir, ( ) ( )
0
0 v r =
n
, , z r . En este caso, la integral del coseno
en (50) se anula para todo n, excepto para 0 = . La nica funcin de Bessel
involucrada en la solucin en este caso es , y los coeficientes en
0
J
0 p
A (50) resultan


( )
( ) ( )
1
0 =
}
0 0 0 0 2
0 0 0
4
p p
p p
J v a d A
J

e
=
( '

(53)

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

( ) (
0 0 0 0
)
sin
q q q
q
r
z r t J t
a
e

| |
=
|
\ .

)
1
, A
=
J
, (54)

siendo las races de y (
0
, 1, 2, 3,
q
q =
0 0q
e las frecuencias de los modos normales
simtricos (o circulares) que, de acuerdo con (40), son
0 0 q q
c a e = 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 o = T .
Segn la nota al pie de la pgina 5, poniendo all 0 n = , podemos expresar la derivada
de como
0
J
0
J J
1
' = . De acuerdo con (5) resulta
0
J
1
J ' = , por lo que podemos escribir
(53) como


( )
( ) ( )
1
0 =
}
0 0 0 0 2
0 1 0
4
p p
p p
J v a d A
J

e
=
(

(55)

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,

( ) ( )
2
2
r
a
| |
|
\ .
2
0 0 0
1 1 , 0 v r V V r a = = s s , (56)

donde es la velocidad inicial en el centro de la membrana.
0
V
Sustituyendo esta expresin en (55) tenemos las integrales para los coeficientes del
desarrollo de Fourier-Bessel,

11

( )
( )( )
1
2 0
0 0 0 2
0
0 1 0
4
1
p p
p p
V
A J
J
d
e =
=
(

}
(57)


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

( ) ( )
1
n n
n n
d
x J x x J x
dx

( =

. (58)

Resulta


( )
(
0
0 2
0 0 1 0
8
p
p p p
V
A
J
)
2 0 p
J
e
=
(

(59)

Por lo que la vibracin de la membrana del tambor resultar, de acuerdo con (54),

( )
( )
( )
(
2 0
0 0 0 2
1
0 0 1 0
, 8 sin
q
q
q
q q q
J
r
z r t V J t
a
J

e
e

=
| |
=
|
\ .
(

)
0q
. (60)

Recordemos que
01 02 03
, , , son las sucesivas races de , a es el radio del
tambor y
0
J
0 0 q q
c a e = son las frecuencias de los modos de vibracin correspondientes
a las diferentes races de . La constante
0
J c o = T es la velocidad de propagacin de
las ondas elsticas en la membrana, para la cual T es su tensin superficial y o su
densidad superficial de masa.

En el siguiente link se presenta una animacin de la vibracin de la membrana circular
con las condiciones iniciales proporcionadas en (56). El clculo se hizo con el programa
tambor.m que utiliza las primeras 12 races de .
0
J

12