Вы находитесь на странице: 1из 24

FUNCIONES DE BESSEL

1. LA ECUACIN DE BESSEL y SUS SOLUCIONES.


Considrese la ecuacin diferencial
Y 1/

+ -y1, +
X

( 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)

Cambiando

lJ

1 x 1<

00

(2)

por -u, se observa que

E
00

J_u(x) =

(_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(x) no est acot.ada cuando x -t O
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
0-8

(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)

(-Ir Jn(x)

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

n 00

00

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

7r

k=O

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

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

k!
2

(n =

, , ,

1 2 .... )

(7)

donde x > O, Ho = 1'. Hi = 1 + ~ + ~ + ....


constante de Enler, definida por

+~

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

'Y = m-->OQ
lm (Hm - In m) ~ 0.57722157
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 + ( .x2
+ -y'
X

.x

en

2
-

-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
00

I:

w(x, t) = eHt-t) =

Jn(X)fl

(13)

n=-oo

En efecto:
00

e~(t-t) = e~e-~

I:

an(x)tn

n=-oo

Multiplicando

las series

(x/2)

:rt

eT = 1+ --t
1!

_~
2t

1!

t2 + ....

(x/2)2

-12 - + ....

2!

(x/2) 1

= 1- --

+ (X/2)2

2!

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,
-1

eHt-f)

I:

(-ltJ_n(x)tn

00

+ I: Jn(x)tn

n=-oo

n=O

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,

de t, se

(_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)

- t;
00

XV

- t;

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

00

k!

r [(v

- 1)

+ k + 1]

lo cual significa que


(14)

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


Anlogamente,

se demuestra

que

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

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

ele donde, al multiplicar

(15)

Jv+1(x)
se t.iene

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.

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

Jn(x)(n

J XVJv-1(x)dx

x-v Jv+1(x)dx

XVJAx)

+e

(20)

+e

_x-v Jv(x)

(21)

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

~J3(2x)
2x
Sustituyendo

+ J~(2x)
JH2x),

:x [X2J3(2x)]

por la derivada

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


x

se obtiene

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=

J x2 . x2 JI (x )dx.

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

Integrando

por partes:

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

1 = uv -

vdu = x4J2(X) - 2

x3h(x)dx

Usando de nuevo (20), se obtiene

Aplicando

1=

(19), resulta finalmente

J x J(x)dx
4

(Sx2 - x4) Jo(x)

+ (4x3

-16x)

J(x)

+e

4. FUNCIONES DE BESSEL MODIFICADAS.


La ecuacin diferencial
Y 11

+ -y1

+ -x1/2 )

(22)

y =O

se conoce como ecuacin de Bessel modificada.


cribirse en la forma

Dicha ecuacin puede es-

Y 11

.2
+ -y1 + '/,-1/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

00

J ('Lx) - ~
v

t:o

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

t:o

.-v.
'l

':>O

Jv('Lx) =

L k'

k=O.

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

+ + 1)

Puesto que Jv(ix) es solucin de (22), tambin lo es i- Jv(ix).


define la solucin de argumento real
V

00

(x/2)v+2k

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

+ k + 1)

1 x 1<

00

As, se

(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/

= n (n =

+ 2Lv(X)

(24)

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:

~II/(x)

+ I~(x)

IC(x)

satisfacen las siguientes

II/-1 (x)

frmulas de recu,

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

+ 1, se

(z + ~)

J7fr(2z)

tiene que

Luego

11/2(X) =

2 sen x

(28)

2 cosx

(29)

nx

Anlogament.e, se demuestra que

1-1/2(X)

nx

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

Yl/2(X)

Y-1/2(X)

= - 12cosx

V~

H(l)

-1/2

Il/2(X)

12senhx
V~

Ll/2(X)
10

(x) =

2 sen x
nx

nx

eix

2 coshx

nx

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) =

6. REPRESENTACIN

f2 (senx
y;;;
-;;- -

cosx

INTEGRAL DE Jv(x).

Usando la funcin Beta

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

u)b-1du

' a, b > O

se tiene que
u > --

1
2

Haciendo u = t2 en la integral, queda

r(k+~) r(v+

t2k-1(1 - t2t-btdt

t2k(l - t2t-~dt

10

r(v+k+l)
-

10

{1 t2k(l _ t2t-~dt

J-1
de donde

u > --

11

1
2

AS,

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

22kr (k

+ ~) k!

y'7r(2k)!

y, entonces

Jv(x) =

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

(1 - t2Y'-~

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


(2k)!

k=O

-1

esto es,

v
Jv(x) =

(xt

y0rr

1) JI

v +"2

(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 > --

Tambin pueden obt.enerse representaciones


ciones de Bessel.

(31)

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)

.:

7fX

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


2
4

-t

00

Luego:

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.

2
Yo{x) ~ --ln-

{f (
-sen
7fX

1/7f

x - -

x-tO

7f

Yv{ x) ~

acotada

7f)

- -

-t

00

Luego:

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

Luego:

1v(0) = O

1/

>O

10(0) = 1

13

00

Funcin

de Bessel modificada

de segunda

clase.

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


cuando x

---4

oo.
Ko{x) ~ ln-

:r

X---4O

:1:

--t

00

Luego:

K,,(O) =

00

Grficas.
11

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)

(32)

Es conocido que la ecuacin diferencial


Uu

(2

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

u=O

t.iene como solucin particular

De igual forma
V

1
+ ~v

+ (2\

v
x

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

Jv(AiX)
X.

15

i =1= j

(33)

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

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

) 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)

(39)

junto con las condiciones

u(r, O) = f(r)

u(a,t) = O

(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)

_R_"

= k [R"(r)T(t)

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

R_'-,-( r....:..) = ~_T_' (t_) = _A 2


R(r)
k T(t)

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

17

(41)

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
00

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

(45)

;=1

tambin las satisface.


Aplicando la condicin u(r, O) = f(r),

se obtiene la serie de Fourier-Bessel

00

f(r)

L CJO(>'ir)
;=1

de donde

(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,

t)

(h constante)

(47)

resulta que

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

u(1',O)

=O

u(1', b)

f(1')

(53)
(54)

Suponiendo

(55)

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

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

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

R(a)G(z)

= O =>

R(a)

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

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

=O

=O

R(1')G(O) = O
20

=>

G(O) = O

Luego:

+ A2 R(r) =

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

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

R(a) =

G(O) = O

(56)

(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
00

u(r, z) =

2: CJo(Air)senhAiz

(58)

i=l

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,
00

f(r)

LCJo(Air)senhAib
i=l

de donde se deduce que

(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)

2. Expresar

J5/2(X)

J4(X) dx
X3

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)

+ 2 [J2(X)

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

cos 20

+ J4 (x)

cos 40

de Jn(x),

+ ... ]

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

De las frmulas anteriores, obtener que

5. Deducir que

lao /2 Jo (xsenO) cos OsenOdO = --JI 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

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