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: