FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

FUNCIN DE BESSEL
En matemtica, las funciones de Bessel, primero definidas por el matemtico Daniel
Bernoulli y ms tarde generalizadas por Friedrich Bessel.
Las funciones de Bessel se denominan tambin funciones cilndricas, o armnicos
cilndricos porque son solucin de la ecuacin de Laplace en coordenadas cilndricas.

ECUACION DE BESSEL:

Donde

es un nmero real o complejo.

GRAFICA:

Ingeniera Civil
Pgina 1

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

Funciones de Bessel de primera

especie, J(x), para rdenes

APLICACIONES:

La Ecuacin de Bessel aparece cuando se buscan soluciones a la ecuacin de

Laplace o a la ecuacin de Helmholtz por el mtodo de separacin de
variables en coordenadas cilndricas o esfricas. Por ello, las funciones de Bessel son
especialmente importantes en muchos problemas de propagacin de ondas,
potenciales estticos y cualquier otro problema descrito por las ecuaciones de
Helmholtz o Laplace en simetras cilndricas o esfricas.
Por ejemplo:

Ondas electromagnticas en guas de onda cilndricas.

Modos transversales electromagnticos en guas pticas.

Conduccin del calor en objetos cilndricos.

Modos de vibracin de una membrana delgada circular (o con forma de anillo).

Ingeniera Civil
Pgina 2

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

Difusin en una red.

SOLUCION DE LA FUNCION DE BESSEL

Son soluciones cannicas y(x) de la ecuacin diferencial de Bessel:

..........(Ecuacin de Bessel)

Donde

es un nmero real o complejo.

El caso ms comn es cuando es un entero , aunque la solucin para no

enteros es similar. El nmero se denomina orden de las funciones de Bessel
asociadas a dicha ecuacin.
Dado que la ecuacin anterior es una ecuacin diferencial de segundo orden, tiene
dos soluciones linealmente independientes.

Puesto que x = 0 es un punto singular regular,

sabemos que existe al menos una solucin de la forma

Ingeniera Civil
Pgina 3

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

La primera solucin, calculando las derivadas se tiene:

d y1
= (n+r )C n X n+r 1
dx n=0
2

d y1
= (n+r )(n+r 1)Cn X n +r2
2
d X n=0

Ahora reemplazando en la ecuacin diferencial de Bessel:

n=0

n=0

n=0

X 2 ( n+r ) ( n+r 1 ) C n X n+ r2+ X ( n+r ) C n X n+r1 + ( X 22 ) C n X n+r =0

( n+ r )( n+ r1 ) Cn X
n=0

n +r

+ ( n+ r ) C n X

n+ r

n=0

n=0

n=0

+ C n X
n=0

n+r +2

C n X n+r =0
n=0

(( n+r )2 2)Cn X n +r + C n X n+r +2=0

Poniendo las X en una misma potencia:

(( n+r ) 2)Cn X n +r + C n2 X n+r =0

n=0

n=2

Poniendo los inicios iguales:

n=2

n=2

( r 2 2) C 0 X r + ( (1+r )22 ) C1 X 1+r + ( ( n+ r )22 )C n X n+r + Cn 2 X n +r=0

Ingeniera Civil
Pgina 4

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

( n+ r )
( 2 2)Cn +C n2

X n+r

( r 2 2) C 0 X r + ( (1+r )22 ) C1 X 1+r +

n=2

Aplicando el mtodo de los coeficientes indeterminados:

( r 2 2) C 0=0

(1)

( ( 1+r )2 2) C 1=0

.(2)

( n+ r )
( 2 ) Cn +C n2=0 (3)

Para (1):
2

( r )( r + )=0 (ECUACIN INDICIAL)

r =0

r= y r=

Donde:
Para (2):

( ( 1+r )2 2) C 1=0

, pero como

r= , entonces C1 =0

Para (3):

( n+ r )
( 2 ) Cn +C n2=0 ..RELACION DE RECURRENCIA

Cn =

Para

C n2

( n+ r )22

r=

,n2

Cn =

C n2
2

( n+ )

C n2
n(2 +n)

Ingeniera Civil
Pgina 5

, n 2

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

Pero, teniendo en cuenta que

n=2 ,

C2 =

C3 =

C1 =0

C 0
2(2 +2)

C 1
=o
3 (2 +3)

n=3 ,

C2
C 0
C
=
=
4
n=4 ,
4 (2 +4) 2.4 ( 2 +2 ) (2 +4 )

n=5 ,

C 4
C 0
C
=
=
6
n=6 ,
6 (2 +6) 2.4 .6 ( 2 +2 ) (2 + 4)(2 + 6)

n=7 ,

C 6
C 0
C
=
=
8
n=8 ,
8(2 + 8) 2.4 .6 .8 ( 2 +2 ) (2 +4)( 2 +6)(2 +8)

n=9 ,

C5 =

C7 =

C7 =

C 3
=o
5( 2 +5)

C5
=o
7 (2 + 7)

C7
=o
9(2 +9)

Como vemos: La eleccin de

C1 =0

implica

n= 0, 2, 4,., hacemos un cambio de variable:

n =2 K,

C2 K =

C 2 K 2
C
= 2 2 K 2
2 K ( 2 +2 K ) 2 K ( + K )

Con eso tenemos que:

Ingeniera Civil
Pgina 6

C3 =C5 =C7 =C9 =o

as que para

para K = 1, 2, 3, , tenemos

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

C2 =

C 4=

C6 =

C8 =

C0
22 1 ( +1 )
C2
2

2 2 ( +2 )

C 4
2

2 3 ( +3 )

C 4
2

2 4 ( + 4 )

C0
4

2 1.2 ( +1 ) ( +2 )

C 0
6

2 1.2 .3 ( +1 )( +2 )( +3 )

C0
8

2 1.2.3 .4 ( +1 )( +2 ) ( +3 ) ( +4 )

Luego tenemos que:

n

(1) C 0
C 2 n= 2 n
2 n ! ( +1 )( +2 )( +3 ) . ( +n )
Para n= 1, 2, 3, 4, 5,
Luego la solucin Y1 (X) queda expresado as:

n=0

n=0

y 1 ( x )= C n X n +r=

(1)n C0 . X 2 n+
22 n n! ( + 1 )( +2 ) ( +3 ) . ( +n )

Donde C0 es una constante arbitraria. En particular tomamos:

C0 =

La solucin anterior se transforma en la siguiente solucin particular.

2 n+

(1) . X
y 1 ( x )= 2 n+
n! ( + 1 )( +2 ) ( +3 ) . ( +n ) (+1)
n=0 2
En forma simplificada queda en la forma:

Ingeniera Civil
Pgina 7

1
2 ( +1)

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

y 1 ( x )=
n=0

x
2

(1)n
.
(n+1) (n+ +1)

La cual se denomina Funcin de Bessel

n=0

de primer tipo, y

J p ( x) , es decir:

denotaremos por

J p ( x ) =

de orden

x
2

(1)n
.
(n+1) (n+ +1)

CASOS PARTICULARES:

1. Si

r= p=0 se tiene

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

2. Si

r=m=entero no negativo , nos queda:

J m ( x ) =

n=0

(1 )n
x 2 n+m
( )
n! ( n+m ) ! 2

Ahora calculamos la segunda solucin

en la solucin

1 Caso. Si

Y 2 (x) , en este caso debemos tener cuidado

Y 2 (x) ,para dar la solucin general de la ecuacin BESSEL.

r 1r 2 =2 p de un entero y

P>0 entonces estamos en la parte a) del

teorema anterior por lo tanto una segunda solucin se obtiene sustituyendo P por P,
es decir:

Ingeniera Civil
Pgina 8

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

J P ( x )=
n=0

(1 )n
x 2 n p
( )
( n+1 ) . ( n p+1 ) 2

Luego la solucin general de la ecuacin de BESSEL de orden P es:

Y ( x ) =c 1 J p ( x )+ c2 J p ( x )

2 Caso. Si

r 1=r 2 =p=0

3 Caso. Cuando
es

se observa que

r 1r 2 =2 p

J p (x )

y J p ( x ) son iguales.

es un entero y P es un entero. La segunda solucin

J 2 ( x )=J p ( x ) , donde Y p ( x ) =

cos P J p ( x ) J p ( x )
, y la solucin general es:
sin P

Y =c1 J p ( x ) +c 2 J p ( x )

Y p (x )=

Nota: A la funcin

cos P J p ( x ) J p ( x )
, se denomina funciones de
sin P

Bessel de segundo tipo.

EJEMPLOS DE FUNCION DE BESSEL:

Ejemplo 01: Hallar la solucin general de la ecuacin

x2

d2 y
dy
1
+ x + x 2 y=0 en 0< x <
2
dx
4
dx

Solucin:

Identificamos que

1
1
2
P = P= ,
4
2

P=

1
2

Luego la solucin general de la ecuacin diferencial es:

Y ( x)=c 1 J 1 /2 ( x ) + c2 J 1/ 2 ( x )

Ejemplo 02: Hallar la solucin general de la ecuacin:

Ingeniera Civil
Pgina 9

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

d2 y
dy
2
+ x + ( x 9 ) y=0
2
dx
dx

Solucin:
Identificamos que

P =9 , de donde

P=3 ; la solucin general es:

Y ( x)=c 1 J 3 ( x )+ c 2 Y 3 ( x )
Ejemplo 03: Resolver la ecuacin diferencial:

4 x2

d y
dy
+ 4 x + ( x4 ) y=0
2
dx
dx

Lo transformamos a una ecuacin de Bessel mediante la sustitucin

mediante la regla de la cadena se tiene:

dy dy du
1 dy d 2 y d dy
d dy
=
=
, 2=
=
dx du dx 2u dy dx
dx dx du dx

( ) ( )

( ) ( )( dudx )

( ( )) ( ( ) ( ))

d 2 y d 1 dy
=
dx 2 du 2u du

1
1 dy
1 d2 y 1
=
+
2 u 2 u du 2u du 2 u

d 2 y 1 dy 1 d2 y
= 3
+ 2
2
2
dx
4 u du 4 u d u
Ahora reemplazamos en la ecuacin diferencial

4 u4

1 dy 1 d 2 y
1 dy ( 2 )
+ 2
+ 4 u2
+ u 4 y=0
3
2
du
2
u du
4u
4u du

) ( ( ))

d y
dy
dy
u
u +2 u + ( u 24 ) y=0
2
du
du
du
2

d2 y
dy
2
u
+u + ( u 4 ) y =0 , es la ecuacin de Bessel de orden 2.
2
du
du
2

Ahora identificando

P2=4 de donde P =2

Luego la solucin general de la ecuacin es:

Y (u )=C 1 J 2 ( u ) +C2 J 2 ( u )

Ingeniera Civil
Pgina 10

u= x x=u2

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

Y ( x ) =C1 J 2 ( x ) +C2 J 2 ( x )

ECUACIN PARAMTRICA DE BESSEL

La ecuacin diferencial de la forma:

x2

d y
dy
+ x + ( 2 x2 p 2) y =0
2
dx
dx

se denomina Ecuacin paramtrica de Bessel y la solucin general es dado por:

Y ( x ) =C1 J p ( x ) +C 2 J p ( x )

Ejemplo 1:

x2

Resolver la ecuacin diferencial:

d y
dy
+ x + ( 9 x2 4 ) y=0
2
dx
dx

Identificamos que

2=9

Luego la solucin general es:

Ejemplo 2:

de donde

=3, P=2.

Y ( x ) =C1 J 2 ( 3 x )+ C2 J 2 ( 3 x )

Resolver la ecuacin diferencial:

d2 y
dy
1
+ x + 4 x 2 y=0
2
dx
9
dx

Identificamos que

2=4

x2

P2=4

Luego la solucin general es:

P=

1
9

de donde

1
=2, P= .
3

Y ( x ) =C1 J 1 ( 2 x )+C 2 J 1 ( 2 x )
3

Ingeniera Civil
Pgina 11

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

PROPIEDADES ADICIONALES DE LA FUNCIN BEZZEL

J p (x )

Sabemos que:

x
2

J p ( x ) =

n=0

(1)n
.
(n+1) (n+ +1)

J p ( x ) =x p
n=0

x p se tiene:

Al multiplicar por

x p J p ( x )=
n=0

2n

(1) x
(1)
2 n+ p
2
n ! (n+ p+1)

(1)n x 2 n+2 p
(2)
22 n+ p n ! (n+ p+1)

Al derivar esta expresin y adems conociendo que

( p J p)' =

n=0

( p+1)= p ( p) , se obtiene:

x
(1 )n 2 ( n+ p ) x 2 n+2 p1
22 n+ p n ! (n+ p+1)

( p J p)' =x p x p1
n=0

(1 )n x 2 n
(3)
2 n+ p1
2
n ! ( n+ p )

Notamos que el segundo miembro de la expresin (3) es igual a

Con lo que queda demostrada la siguiente propiedad:

x
[ p J p ( x )]=x J p 1 ( x ) (I )
d

dx
p

Ingeniera Civil
Pgina 12

x J p1 ( x )

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

De manera similar si multiplicamos la expresin (1) por

x p , derivando y haciendo

n=s+ 1 , se obiene:

el cambio de ndice

(1 )n x 2 n1
( p J p )'= 2 n+ p 1
( n1)! ( n+ p +1)
n =0 2

x
(1 ) s+1 x 2 s +1
( p J p )'= 2 s + p+1
(4 )
s ! ( p+ s+2 )
m =0 2

Notamos que el segundo miembro de la expresin (4) es igual a

x J p+1 ( x )

Con lo que se demuestra que

x
p

[ p J p ( x ) ]=x J p+1 ( x ) ( II )
d

dx

Al desarrollar las formulas

px

p1

p x

( I ) y ( II ) y al multiplicar ( II ) por

x2 p

se obtiene:

I
p
J p + x J ' p =x J p1

p1

Al restar

II
J p + x J ' p=x p J p +1
p

II

de

y dividir el resultado entre

xp

obtenemos la Primera

Relacin de Recurrencia

J p1 ( x ) + J p +1 ( x )=

Al sumar

2p
J ( x)
x p
II

y dividir el resultado entre

Relacin de Recurrencia

J p1 ( x )J p+1 ( x )=2 J ' p ( x )

Ingeniera Civil
Pgina 13

xp

obtenemos la Segunda

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

FUNCIONES DE BESSEL ELEMENTALES

Jp

Las funciones de Bessel

de rdenes

J p (x )

con

1 3 5
p= , , ,
2 2 2

1 3 5
p= , , ,
2 2 2

son elementales;

pueden expresarse por un nmero finito de cosenos y senos y potencias de

Sabemos que cuando

p=

1
2 , entonces:

(1)n x 2 n

(1)n x 2n +1
2
J 1/ 2 ( x )= x
=
1
x n=0 2 n +1
3
n=0 2 n+ 2
3
2
n ! n+
2
n ! n+
2
2

( )

( )

Y conociendo el hecho de que:

( 12 )=

Entonces en el denominador se tiene:

( 32 )=( n+ 12 )(n 12 ) 32 . 12 ( 12 )

n+

( 32 )=2

( n+ 1)

n+

( 2 n+1 ) ( 2 n1 ) 3.1

En el denominador se tiene adems

22 n+1 n!=22 n +1 n ( n1 ) 2 . 1=2n+ 1 2 n ( 2n2 ) 4 . 2

En conjunto el denominador queda como

(2 n+1) !

, de donde:

(1)n x 2 n+1
2
J 1/ 2 ( x )=

x n=0 (2 n+1)!

Esta serie es la conocida serie de Maclaurin de

J 1/ 2 ( x )=

2
sen x ..(III )
x

Ingeniera Civil
Pgina 14

sen x . Por Tanto:

FUNCIN DE BESSEL

MATEMTICA
PARA INGENIEROS III

Derivando y por ( I ) con

'

x J 1 ( x) =
2

p=

1
2

se llega a la expresin:

2
1/ 2
cos x=x J 1 /2 ( x )
x

Siendo el resultado el siguiente:

J 1/ 2 ( x )=

2
cos x ..( IV )
x

A partir de la Primera Relacin de Recurrencia de

1
2 senx
J 3 /2 ( x )= J 1 /2 ( x )J 1/ 2 ( x )=
(
cos x)
x
x x
J 3/ 2 ( x )=

1
2 cos x
J ( x )J 1 ( x ) =
(
+ sen x)
x 1
x
x
2
2

Y as sucesivamente

Ingeniera Civil
Pgina 15

( III ) y ( IV ) se obtiene: