FUNCIONES DE BESSEL 1. LA ECUACIN DE BESSEL y SUS SOLUCIONES.

Considrese la ecuacin diferencial Y 1/ 1, + -y +

X 2

( 1 - -lJ ) y = O x2

(1)

donde lJ es un parmetro. Dicha ecuacin se conoce como ecuacin de Bessel y juega un papel importante en Matemtica Aplicada. Se demuestra que una solucin de la eco (1) es la llamada funcin de Bessel de primera clase de orden u, la cual se define por
00 (_1)k(x/2Y+2k Jv(x) = k=O. k' r(lJ + k + 1)

1 x 1<

00

(2)

Cambiando

lJ

por -u, se observa que

J_u(x) =
0-8

E
00

(_1)k(x/2)-1I+2k k! r( -lJ + k + 1)

(3)

t.ambin solucin de la eco (1). Si lJ =1 ti (n = O,1,2, ...), la funcin J_11 no est acot.ada cuando x -t O (x) mientras que Jv(x) tiende a cero en las mismas circunstancias; por lo tanto, JII(x) y J_II(x) son linealment.e independientes y la solucin general de la eco (1) puede escribirse como

(4)
donde C1 y C2 son constantes arbitrarias. Cuando lJ = n (n = 0,1,2, ... ), se tiene que

(5)
En efecto:

Puesto que r(z) es infinita para z entero negativo, los trminos de la suma con k < n se anulan y
1

Haciendo k-n

= s, queda que
(-I)n+S(x/2t+2s ~(n+s)!r(S+I)=(-I)
00

n 00

(_I)S(x/2)n+2s ~s!r(n+S+l)

(-Ir Jn(x)

Se ha visto que cuando l/ = n (n = 0,1,2,' . "), las funciones Jv(x) y J -v (x) son linealmente dependientes y, en consecuencia, en este caso, la solucin general de la eco (1) no es de la forma (4). Surge as la necesidad de buscar otra solucin de la eco (1) que sea linealmente independiente con Jv(x) para cualquier valor de u. A tal efecto, considrese la funcin Yv(x), definida por

Yv(X) = J,,(x)

COS /J'lr -

J_v(x)

senzor

(6) (n=0,1,2,)
Si l/ i= n (n = 0,1,2,' ... ), la funcin Yv(x) es solucin de la eco (1) puesto que no es ms que una combinacin lineal de las dos soluciones Jv (x) y J_v(x). Adems, en este caso, la independencia lineal de Yv(x) y Jv(x) surge como consecuencia inmediata de que Jv(x) y J_v(x) son linealmente independientes. Usando las series de Jv(x) y J_v(x), y aplicando la regla de L'Hospital, resulta que

1 -- (n n-l

..:....--_----:...~--=---

k - 1)! (x/2)2k-n k!

(n =

7r

k=O

, , ,

1 2 .... )

(7)

donde x > O, Ho = 1'. Hi = 1 + ~ + ~ + .... constante de Enler, definida por

+~

(m = 1, 2, .... ) y 'Yes la

'Y = m-->OQ (Hm - In m) ~ 0.57722157 lm

Cuando ti = O, la ltima suma en (7) debe reemplazarse por cero. La presencia del trmino logartmico indica que Yn (x) es linealmente indepeg diente con Jn(x). La funcin Y,Ax) es denominada funcin de Bessel de segunda clase de orden 1/. Lnego, la solucin general de la ecuacin de Bessel, para todo valor de u, puede escribirse como

(8)
En algunas aplicaciones la solucin general de la ecuacin de Bessel se expresa en la forma y = C1H51) (x)

+ C2H52)(x)

(9)

donde H51)(x) y H~2)(X) son llamadas funciones de Bessel de tercera clase funciones de H ankel de orden v ~definidas por

(10) Una generalizacin de la ecuacin de Bessel, incluye un parmetro la forma y" 1 + -y' + ( .x2
X 2 -

.x

en

v - ) x2

y =O

(11)

Haciendo el cambio z = .xx en (11), se deduce que la solucin general de esta ecuacin viene dada por (12)

2. FUNCIN <)ENERADORA DE Jn(x).

Se t.iene que

w(x, t) = eHt-t) =
En efecto:

I:
n=-oo

00

Jn(X)fl

(13)

e~(t-t) = e~e-~
Multiplicando las series eT = 1+ --t 1!
:rt

I:
n=-oo

00

an(x)tn

(x/2)

+ (X/2)2
2!

t2 + ....

_~
2t

= 1- --

(x/2) 1
1! t

(x/2)2
2!

-1 - + .... 2
t
de t, se

e igualando los coeficientes de los trminos con idnticas potencias obtiene que
an () = x

{ (-1)

Jn(x), n J_n(x)

n=O,1,2, , n = -1, -2, ...

Luego, eHt-f)

I:
n=-oo

-1

(-ltJ_n(x)tn
=

+ I: Jn(x)tn
n=O

00

Segn (5), se t.iene que (-l)nJ_n(x)

Jn(x), result.ando as (13).

3. FRMULAS DE RECURREN CIA.

Se t.iene que

Luego,

- t;
00

(_1)k(2v+2k)X2v+2k-l 2v+2k k! r(v + k + 1) 00 (-1)k2(v + k)X2v+2k-l {;2v+2k k! (v+k)r(v+k)

00

- t;
lo cual significa que Anlogamente, se demuestra que

XV

(_1)k(x/2)(v-l)+2k
k!

r [(v

- 1)

+ k + 1]

d~ [XVJv(x)] = XVJv-1 (x)

(14)

[x-v Jv(x)] = -x-v

Jv+1(x)
se t.iene

(15)

Derivando el lado izquierdo de (14) como un producto,

ele donde, al multiplicar

por x-v, resulta (16)

De la misma manera, desarrollando luego por z", se obtiene

la derivada en (15) y multiplicando

+ J~(x) = -Jv+1 (x) x Sumando y rest.ando las frmulas (16) y (17), resultan
_!:JV(x)

(17)

(18) y

(19)
respectivamente.

Jn(x)(n

Obsrvese que, utilizando repetidamente (19), cualquier funcin de Bessel = 2,3," ..) puede expresarse en trminos de Jo(x) Y J1(x). Las frmulas (14) y (15) tambin resultan tiles escritas en la forma

J XVJv-1(x)dx

XVJAx)

+e +e

(20) (21)

x-v Jv+1(x)dx

_x-v Jv(x)

Tomando v = O en las frmulas (15) y (21), se obtiene el caso particular

JI (x)dx

-Jo(x)

+e

el cual es utilizado frecuentemente. Las funciones Yv(x), H~l)(X) y H~2)(x) satisfacen las mismas frmulas de recurrcncia. Ejemplo 1. Hallar Solucin.

tx [x2 J3 (2x) 1 en trminos

de funciones de Bessel.

Ntese que al derivar la funcin de Bessel se multiplica del argumento. Usando (16) con v = 3 Y 2x en lugar de x. queda

por la derivada

~J3(2x) 2x
Sustituyendo

+ J~(2x)
JH2x),

J2(2x) ::} J~(2x) = J2(2x) - 2 J3(2x) x

se obtiene

:x [X2J3(2x)]

2xJ3(2x) 2x2 h{2x)

+ 2X2

[J2(2X) - 2:J3(2X)]

- xJ3(2x)

Ejemplo 2. Demostrar que

Solucin. Usando (16) con v = 2, se tiene

Tomando v = 1 en (19), queda

Luego,

Ejemplo 3. Hallar 1 = J X4J1(X)dx Solucin. 1=

en trminos de Jo(x) Y J(x).

J x2 . x2 JI (x )dx.

Integrando

por partes:

u = x2 :::::} = 2xdx du
(segn(20) )

1 = uv -

vdu = x4J2(X) - 2

x3h(x)dx

Usando de nuevo (20), se obtiene

Aplicando

(19), resulta finalmente

4

1=

J x J(x)dx

(Sx2 - x4) Jo(x)

+ (4x3

-16x)

J(x)

+e

4. FUNCIONES DE BESSEL MODIFICADAS.

La ecuacin diferencial Y 11
1 + -y
X
I

1/ + -2 ) x

y =O

(22)

se conoce como ecuacin de Bessel modificada. cribirse en la forma

Y 11

Dicha ecuacin puede es-

1 .2 1/ + -y + '/,- -2 )
I (

y =O

correspondiendo as a una ecuacin de Bessel del tipo (11), con parmetro A = i y, en consecuencia, una solucin de la eco (22) es la funcin de Bessel de argumento imaginario Jv(ix). Se observa que J ('Lx) - ~
v 00

t:o
'l

{-1)k(ix/2y+2k 00 (x/2)v+2k - t.v ~ --.:.......!...-.;~k! I'(v + k + 1) k! I'(z. + k + 1)

t:o

.-v. Jv('Lx) =

k=O.

L k'

':>O

(x/2)v+2k r( k
1/

+ + 1)
V

Puesto que Jv(ix) es solucin de (22), tambin lo es i- Jv(ix). define la solucin de argumento real
00

As, se

(x/2)v+2k

Iv(x) = {; k! f(1/

+ k + 1)

1 x 1<

00

(23)

denominada funcin de Bessel modificada de primera clase de orden 1/. La funcin Lv{x) es otra solucin de la eco (22). Si 1/ =1= n (n = 0,1,2,) las funciones Iv(x) y Lv{x) son linealment.e independientes y la solucin general de la eco (22) puede escribirse como y = CIv{x) Cuando
1/

+ 2Lv(X)

(24)

= n (n =

O, 1,2, .. ) se tiene que

(25) 8

por lo que, en est.e caso, la solucin general de (22) no es de la forma (24). Se define la funcin de Bessel modificada de segunda clase de orden l/ por

(26)

(n=O,1,2,

.. )

Para todo valor de i/, la solucin general de la ecuacin de Bessel modificada, puede escribirse como

(27)
Las funciones II/(x) rrencia:
y

IC(x)

satisfacen las siguientes

frmulas de recu,

~II/(x)
X

+ I~(x)

II/-1 (x)

5. FUNCIONE~ DE BESSEL DE ORDEN 1/2.

Se t.iene que

Aplicando la frmula de duplicacin de la funcin Gamma

22z-1r(z)r
con z = k

(z + ~)

J7fr(2z)

+ 1, se

tiene que

Luego

11/2(X) =
Anlogament.e, se demuestra que

J J

nx

2 sen x

(28)

1-1/2(X)

nx

2 cosx

(29)

Para las otras funciones de Bessel se t.ienen las siguientes expresiones:

Yl/2(X)

= - 12cosx

V~

Y-1/2(X)

2 sen x nx

H(l)

-1/2

(x) =

nx

eix

Il/2(X)

12senhx V~
10

Ll/2(X)

nx

2 coshx

Usando la frmula de recurrencia (19) se pueden obtener expresiones de las funciones de Bessel para v = 3/2, 5/2, .. -Por ejemplo, tomando v = 1/2 en dicha frmula, se tiene

de donde resulta J3/2 (x) =

f2 -;;y;;; (senx -

cosx

6. REPRESENTACIN
Usando la funcin Beta

INTEGRAL DE Jv(x).
u)b-1du

r(b) (1 B(a , b) = r(a) + b) = Jo ua-1(1 _ r(a

se tiene que

' a, b > O

u > -Haciendo u = t2 en la integral, queda

1 2

r(k+~) r(v+
r(v+k+l)
2

10

t2k-1(1 - t2t-btdt t2k(l - t2t-~dt

10

J-1
de donde

{1 t2k(l _ t2t-~dt

u > --

1 2

11

AS,

Aplicando la frmula de duplicacin de la funcin Gamma, se t.iene

22kr (k
y, entonces

+ ~) k!

y'7r(2k)!

Jv(x) =
esto es,

J y0rr (v + D
(x/2)V v

(1 - t2Y'-~

-1

[00 ( - l)k (xt)2k 1 lit I:

k=O

(2k)!

Jv(x) =

y0rr

(xt

v +"2

1) JI

(1 - eY'-~Cosxt

dt

v> --

-1

1 2

(30)

Haciendo t =cosO en (30), se obtiene

Jv(x) =

(x/2)V

y0rr v+~

1071"
o

cos(xcosO) sen2vO de) u > --

(31)

Tambin pueden obt.enerse representaciones ciones de Bessel.

integrales para las dems fun-

7. COMPORTAMIENTO DE LAS FUNCIONES DE BESSEL DE ORDEN Y ARGUMENTO NO NEGATIVOS.

Funciones de Bessel de primera clase. Para x ~ O Y v ~ O, la funcin Jv(x) es acotada y muestra un carcter oscilatorio.

x-o
12

JA x)
Luego:

.:

7fX

1/7f 7f) cos ( x - - - 2 4

-t

00

Jo{O)

Funciones de Bessel de segunda clase. Para x > O Y 11 ~ O la funcin Yv{x) es de carcter oscilatorio, en infini t.o.

acotada

2 Yo{x) ~ --ln7f

2
X

x-tO

Yv{ x) ~
Luego:

{f (
-sen
7fX

x - -

1/7f

- -

7f)

-t

00

Funcin de Bessel modificada de primera clase. Para x > O Y 1/ ~ O la funcin 1v{x) es posit.iva y crece montonamente cuando x -t oo.

x-tO

-t

00

Luego:

1v(0) = O

1/

>O

10(0) = 1

13

Funcin cuando x
---4

de Bessel modificada oo.

de segunda

clase.

Para x > OY v 2: Ola funcin K,,{x) es positiva y decrece montonamente

2
:1:

Ko{x) ~ ln-

X---4O

:r Luego:

--t

00

K,,(O) =
Grficas.
11

00

11
l

-1

-1

11

11

2 3 2

O~~--'------r----~----~r-% f

14

8. ORTOGONALIDAD. Sean Ai (i = 1,2,' ... ) las races posit.ivas de la ecuacin Jv(Aa)

=

o
2

(32)

Es conocido que la ecuacin diferencial

Uu

1 v + -u + \ - -2 )
I

(2

u=O

t.iene como solucin particular

De igual forma
V

1 + ~v

+ (2 \

v x

2 )
11

tiene la solucin

Multiplicando la ecuacin en u por xv, la ecuacin en 11 por xu, rest.ando luego e integrando la ecuacin resultante entre O y a, se obtiene

Si Ai Y Aj son dos races distintas de la eco (32), resulta que

loa XJv(AiX)Jv(AjX)dx
lo cual significa que el conjunto int.ervalo (O, a) con funcin peso Para i = j, se tiene que

i =1= j

(33)

Jv(AiX)
X.

(i = 1,2,' .. ) es ortogonal en el

15

Usando la regla de L'Hospital, queda que

Aplicando la frmula de recurrencia (17) y la eco (32), resulta

(34)

(35)
En este ltimo caso, se tiene que

(36)

9. SERIES DE FOURIER-BESSEL. Supngase que f(x) tiene un desarrollo convergente de la forma

(37)

Aplicando la ortogonalidad (33), se obtiene 16

c. =-Joa xf(x
t

) Jv(>\iX )dx J; xJ~().ix)dx

(i

1,2, ... )

(38)

Teorema. Si f y t' son seccionalmente contnuas en (O, a), entonces la serie de Fourier-Bessel (37) con coeficientes (38) converge a f(x) en todo punto x donde f es continua. Si x es un punto de discontinuidad, la serie converge al valor ~[J(x+) + f(x-)].

10. DISTRIBUCIN DE TElVIPERATURAS EN CILINDROS.

Ejemplo 1. , Considrese un largo cilindro macizo de radio r = a cuya superficie lateral se matiene a temperatura cero. Inicialmente, la temperatura en el cilindro est dada por f (r). Suponiendo que no hay variacin con z y que la tempe ratura para cada radio r es la misma en toda esa superficie (independiente de B), se desea hallar una frmula para la distribucin de temperaturas u(r, t) en el cilindro. El modelo matemtico del problema est constituido por la ecuacin de calor

(O < r < a, t > O)

junto con las condiciones u(a,t) = O

(39)

u(r, O) = f(r)

(40)

Adems, se exige que la funcin u(r, t) debe ser acotada en t.odo el volumen del cilindro. Usando el clsico mt.odo del producto, supngase que u(r, t) = R(r)T(t) Sustituyendo en la eco (39), se tiene R(r)T'(t)
= k [R"(r)T(t)

(41)

+ ~R'(r)T(t)]

_R_"

(:......;r ):......;+---':-~

R_'-,-( r....:..) = ~_T_' (t_) = _A 2 R(r) k T(t) 17

Adicionalmente, de la condicin u(a, t) = O, se deduce que

R(a) T(t) = O

=?

R(a) = O

De esta manera, se obtienen los dos problemas siguientes:

R"(1')

+ -R'(r) + >.2R(r)
r

R(a)

(42)

(43)
La eco (42) corresponde a una ecuacin de Bessel con parmet.ro >. del tipo (11), en donde 1/ = O; por lo tanto, su solucin general es de la forma

La funcin R(r) debe estar acotada en r = O, por lo que se deduce que C2 = O, ya que Yo(O) =-00. AS, queda que

Ahora,

Para obtener solucin no trivial, se debe tomar CI =1- O y, entonces

Jo(>.a) = o

(44)

Si ,,\ (i = 1,2, ... ) son las races positivas de la eco (44), se tiene que, aparte del factor constante, las funciones (i=1,2,) son soluciones de (42). Para los valores de culares

>.

considerados, la eco (43) tiene las soluciones part.i

(i = 1,2,)
AS, la sucesin de funciones 18

(i = 1,2,"

..)

satisfacen la eco (39) y las condiciones de contorno consideradas y, de acuerdo con el principio de superposicin, la funcin

u(r, t) = L CJo (>.'ir)e-k>'rt

;=1

00

(45)

tambin las satisface. Aplicando la condicin u(r, O) = f(r),

00

se obtiene la serie de Fourier-Bessel

f(r)
de donde

L CJO(>'ir)
;=1

(i
Finalmente, la distribucin de temperaturas

1,2,

..)

en el cilindro viene dada por

(46)
donde la suma es tomada sobre todas las races positivas de la eco (44). Se puede verificar, sin mayor dificultad, que si se reemplaza la condicin de que la superficie lateral del cilindro se mantiene a temperatura cero por la condicin de que a travs de dicha superficie se transmite calor a un medio circundante que est a temperatura cero, esto es,

ur(a, t) = -hu(a,
resulta que

t)

(h constante)

(47)

donde la suma es tomada sobre todas las races positivas de la ecuacin

hJo(>.a)

+ >.
19

J~(>.a) = O

(49)

Cuando h = O, se tiene

donde '\2, '\3, .... son las races positivas de la ecuacin

(51)
La ltima solucin corresponde al caso en que la superficie lateral del cilindro est aislada t.rmicament.e, est.o es,

(52)
Ejemplo 2. Un cilindro macizo est limitado por las superficies r = a, z = OY z = b.Se desea determinar la distribucin de temperaturas estacionarias en el cilindro, si u = O en las dos primeras superficies y u = f(1') en z = b. En este caso, el problema de contorno a resolver es el siguiente:

(O < l' < a,O < z < b)

u(a, z) = o Suponiendo u(1',z) = R(r)G(z) se t.iene que R"(1')G(z) u(1',O)

(53) (54)

=O

u(1', b)

f(1')

(55)

+ !R'(r)G(z)
r

+ R(r)G"(z)
G"(z)
2

=O

R"(r) + ~R'(r) --R-(--'-r )--

= - -G-( z-) = -.\

R(a)G(z)

= O =>

R(a)

=O
20

R(1')G(O) = O

=>

G(O) = O

Luego:

R"(r) + !R'(r) r

+ A2 R(r) =
,

R(a) = G(O) = O

(56)

G"(z) - A2G(Z) = O

(57)

Al igual que en el ejemplo anterior, de (56) resulta (i=1,2, ..)

donde Ai (i = 1,2, .... ) son las races posit.ivas de la ecuacin

JO(Aa) = O
Para el problema (57), se obtienen las soluciones particulares (i= 1, 2" .... ) De est a manera, la funcin

u(r, z) =

2: CJo(Air)senhAiz
i=l

00

(58)

es la solucin del problema de contorno, supuest.o que las C, sean tales que se satisfaga la condicin u( r, b) = f (r), esto es,

f(r)
de donde se deduce que

LCJo(Air)senhAib
i=l

00

(i

1,2",,)

As, resulta finalmente 2

u(r, z) = a2

t; [fa
00

Jo r f(r)Jo(Air)dr

Jo(Air) senhx.z' Jl(Aia) senhAib

(59)

donde la suma es t.omada sobre todas las races positivas de JO(Aa) = O. 21

EJERCICIOS
1. Hallar en t.rminos de las funciones de Bessel Jo Y JI :

b)

J4(X) dx
X3

2. Expresar

J5/2(X)

en t.rminos de senos y cosenos.

3. Demostrar:'

4. Haciendo t = eiO en. la expresin de la funcin generadora deducir que cos(xsenO) = Jo(x)

de Jn(x),

+ 2 [J2(X)

cos 20

+ J4 (x)

cos 40

+ ... ]

sen(xsenO) = 2 [JI(x)senO

+ J3(x)sen30 + J5(x)sen50 + ... ]

De las frmulas anteriores, obtener que

5. Deducir que

JI lao /2 Jo (xsenO) cos OsenOdO = --x(x)

7T

22

6. Deducir una frmula para la distribucin estacionaria de temperaturas u(r, z) en el cilindro macizo limitado por las superficies r = 1, z = OY z = 1, si u = O en la superficie r= 1, u = 1 en la superficie z = 1 Y la base z = O est aislada. Sol.

7. Un cilindro macizo est limitado por las superficies r = 1, z = O Y z = b. La primera superficie est aislada, la segunda se conserva a la temperatura cero; y la ltima a las temperaturas f(r}. Deducir la frmula de las temperaturas estacionarias u(r, z) en el cilindro. Sol. donde A2, A3,' ... son las races positivas de J1(A) = O 8. Cuando f(r) = A (O < r < 1) en el problema anterior, demostrar que

u(r,z)=~z.
9. Determinar las temperaturas estacionarias acot.adas u(r, z) en el cilindro semi-infinit.o (z 2: O) de radio r = 1, si u = 1 en la base z = O Y en la superficie r = 1 se transmite calor al medio ambiente a temperatura cero, de acuerdo con la ley Ur(l, t) = -hu( 1, t). Sol.

u(r, z) = 2h ~

~
t=l

A?
t

Jo(Air) -AZ h2 J, (A') e

o
t

23

BIBLIOGRAFA
1. N.N. Lebedev: SPECIAL FUNCTIONS AND THEIR APPLICATIONS. Dover Publications, Inc. 2. R.V. Churchil: SERIES DE FOURIER y PROBLEMAS DE CON-

TORNO. Mc Graw-Hill. 3. C.R. Wylie: :rvfATEMTICASSUPERIORES PARA INGENIERA. IvfcGraw-Hill.

24