Vctor D.

Rojas Cerna FIEE-UNI

2001 - 1
192
E EC CU UA AC CI I N N D DE E B BE ES SS SE EL L
Resolvamos la ecuacin de Bessel de orden p, donde peR:
0 ) ( ' ' '
2 2 2
= + + y p x xy y x
X=0 es un punto singular regular.
0 ) ( ) ( ) 1 )( (
0
2 2
0
1
0
2 2
= + + + + +

>
+
>
+
>
+
n
r n
n
n
r n
n
n
r n
n
x a p x x a r n x x a r n r n x
0 ) ( ) 1 )( (
0
2
0
2
0 0
= + + + + +

>
+
>
+ +
>
+
>
+
n
r n
n
n
r n
n
n
r n
n
n
r n
n
x a p x a x a r n x a r n r n
Cambiando el ndice de sumacin:
0 ) 2 ( ) 1 )( 2 (
2
2
2
2
0
2
2
2
2
2
2
2
= + + + + + + + +

>
+ +
+
>
+ +
>
+ +
+
>
+ +
+
n
r n
n
n
r n
n
n
r n
n
n
r n
n
x a p x a x a r n x a r n r n
| |

>
+ + + +
+
>
= + + + + + + + +
0
2 2 2
2
2
2
0 ) 2 ( ) 1 )( 2 (
n
r n
n
r n
n
n
x a p x a p r n r n r n
| |

>
+ + + +
+
>
= + + +
0
2 2 2
2
2
2 2
0 ) 2 (
n
r n
n
r n
n
n
x a p x a p r n
( ) | |

>
+ +
+
+
= + + + + + +
0
2
2
2 2 1
1
2 2
0
2 2
0 ) 2 ( ) ) 1 ( ) (
n
r n
n n
r r
x a a p r n x a p r x a p r
Tenemos:
o
a p r . = 0
2 2
arbitrario
0 ... 0
1 2 7 5 3 1
= = = = = =
+ n
a a a a a

0
a arbitrario,
0
2 2
2
) 2 (
1
a
p r
a

= ,
( )( )
0
2 2 2 2
4
) 4 ( ) 2 (
1
a
p r p r
a
+ +
=

|
|
.
|

\
|

+ +
+
+
= ....
) 4 2 )( 2 2 .( 4 . 2
1
) 2 2 ( 2
1
1
4 2
0
x
p p
x
p
x a y
p

Si Z p Z p e . e 2 entonces la solucin sera:
) ( ) (
2 2 1 1
x c x c y u + u =
|
|
.
|

\
|
+

+

+
|
|
.
|

\
|

+ +
+
+
=

...
) 2 4 )( 2 2 .( 4 . 2
1
) 2 ( 2
1
1 ....
) 4 2 )( 2 2 .( 4 . 2
1
) 2 2 ( 2
1
1
4 2
2
4 2
1
x
p p
x
p
x c x
p p
x
p
x c y
p p
Tenemos
( ) ( ) ( ) ( )
)
`

+
+ +

+ +
+
+

= ......
3 1 3 . 2 . 1 2 2 1 2 . 1 . 2 ) 1 ( 2

2
1
6
6
4
4
p p
x
p p
x
p
x
x a y
P
o p


Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
193
Consideremos a
o
=
( ) 1 2
1
+ I p
p
as obtendremos una solucin que la denotamos
J
P
(x) y se denomina una funcin de Bessel de orden p de primera especie.
Recordemos que p> 0 as tendremos que:

( )
( )
.........
2 1 ) 2 ( ) 1 (
1
2 ) 1 ( ) 1 (
1
) 1 ( !
2 /
) (
4 2 p p P
p
x
p p p
x
p p p n
x
x J
+ +
|
.
|

\
|
+ I + +
+ |
.
|

\
|
+ I +

+ I
=

|
.
|

\
|
+ + I
+
|
.
|

\
|
+ + I

+ + I
|
.
|

\
|
=
+ +
+
... ..........
2 ) 1 2 ( ! 2
1
2 ) 1 1 ( ! 1
1
) 1 0 (
2
) (
4 2
0
p p
P
p
x
p
x
p p
x
x J

Luego tendremos que:


p n
n
n
p
x
p n n
n c x J
+
>
|
.
|

\
|
+ + I
=

2
0
2 ) 1 ( !
1
) ( , donde p>o (raz no negativa de la
ecuacin
inicial r - p = 0)

Casos Particulares
- p = 0 , J
o
(x) =

>
|
.
|

\
|
+ I

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

>
|
.
|

\
|

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



La funcin J
o
(x) es par, su grfica es la mostrada en la figura adjunta



Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
194
x
1
= 2.4048 , x
2
= 5.5201, 6537 , 8
3
= X X
4
= 11,7915 X
5
= 14,9309 ,..
* Si p =1,

> >
+ +
|
.
|

\
|
+
= |
.
|

\
|
+
=
0 0
1 2 2
1
2 ) 2 ( !
1
) 1 (
2 ) 2 ( !
1
) 1 ( ) (
n n
n
n
p n
n
x
n n
x
n n
x J

. ..........
2 ! 3 ! 2
1
2 ! 2
1
2 2 2 ) 1 ( !
1
) 1 ( ) (
5
0
3 1 2 1 2
1
|
.
|

\
|
+ |
.
|

\
|
= |
.
|

\
|
= |
.
|

\
|
+
=

>
+ +
x x x x x
n n
x J
n
n n
n

J
1
(x) es impar, J
1
(0) = 0 y lm J
1
(x) = 0
X
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
195

Comentarios Adicionales

- Hemos visto que cuando p (-p) = 2p e Z, la ecuacin del Bessel tendr dos
soluciones tipo de Frobenius, es decir J
p
(x) . J
p
(x) ambas son funciones de
Bessel de orden p, linealmente independiente.
( )
( )
p n
n
n
P
x
n p n
J

>

|
.
|

\
|
+ + I

=

2
0
2 1 !
1



como consecuencia de esto, la solucin general de la ecuacin de Bassel de
orden p :

Veamos que:

** ( ) Senx
nx
x J
2
2 / 1
=

Visualizacin:

Tenemos :
( )
1 2 2 / 1
0
2
1
2
0
2 / 1
2
1
2
1
!
1 2
2
1
2
1
!
+
>
+
>
|
.
|

\
|
|
.
|

\
|
+ + I
|
.
|

\
|
=
|
.
|

\
|
|
.
|

\
|
+ + I

=

n
n
n
n
n
n
x
n n
x
n c
x
n n
n c
x J

( )
|
|
.
|

\
|
|
.
|

\
|
+ + I
=
+
+
>

1 2
1 2
0
2 / 1
2
1
2
1
!
1 2
n
n
n
n
x
n n
d c
x
x J
Recordemos :

Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
196
t = |
.
|

\
|
I
2
1


1. ( ) ( ) ( ) x J x x J x
dx
d
P
P
P
P
1 +

=

Visualizacin

( ) ( ) ( )
|
|
.
|

\
|
|
.
|

\
|
+ + I
=

>
+

0
2
.
2 ) 1 ( !
1
1
n
p n
n P
P
P
x
p n n
x
dx
d
x J x
dx
d



=
|
|
.
|

\
|
+ + I

>
+
0
2
2
) 1 ( 2
1
) 1 (
n
n
p n
n
x
p n n dx
d



=
1 2
1
) 1 ( ! 2
2
) 1 (

>
+ 2

+ + I

n
n
P n
n
x
p n n
n



=

>
+
+

+ + I

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


= ( )
) 1 ( 2
0
1
2 ) 1 1 ( !
1
1
+ +
>
+

|
.
|

\
|
+ + + I

p n
n
n P
x
p n n
x


( ) x J x
P
P
1 +

=


2. ( ) ( ) ( ) x J
x
p
x J x J
P p p
=
1
'

Visualizacin

Derivando la identidad anterior:
( ) ( ) ( ) x J x x J px x J x
p
P
p
p
P
P
1
1 '

= +

Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
197

Dividiendo por x
P
: ( ) ( ) ( ) x J
x
P
x J x J
P p P
=
1
'

3. ( ) ( ) ( ) x J x J
x
P
x J
P P P 1
1
+
=

visualizacin


Derivando la identidad (2) :

( ) ( ) ( ) ( ) ( ) ( ) x J x x Jp px x J x x J x X J x
dx
d
p
P p
P
P
p
P
p
P
1
1 '
1 * +

= =

( ) ( ) ( ) ( ) ( ) x J x J
x
P
x J x J x x x J Px x J x
P p p P
P P
p
P
p
P
1
'
1
1 1
) (
+ +

= =

5. ( ) ( ) ( ) x J x J
x
P
x J
P p P 1 1
2
+
=

Visualizacin

De las entidades (3) . (4) tenemos igualando:

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

( ) ( ) ( ) x J x J
x
p
x J
P P P 1 1
2
+
=

6. ( ) ( ) ( ) x J x J
x
P
x J
p P p 1 1
2

=

Visualizacin

De la visualizacin anterior despejamos J
P-1
(x) y obtenemos lo afirmado

7. ( ) ) (
'
1
x J x J
o
=

Visualizacin
En la propiedad (1), tomando p = 0 tenemos

( ) ( ) ( ) ( ) ( ) x J x J x J x x J x
dx
d
o
o
o
o
1
'
1
= =
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
198

8. ( ) ( ) ( ) x J x x J x
dx
d
o
=
1


Visualizacin

Hemos tomado p = 1 en la identidad 1, Luego tendremos como consecuencia:


( ) ( )
}
+ = C x J x dx x J x
o 1



9. Toda J
p
(x) con P ez
+
, puede expresarse en trminos de J
o
(x) . J
1
(x)

Visualizacin

En (5) tomando p = 1 se tiene : ( ) ( ) ( ) x J x J
x
x J
o
=
1 2
2


En (5) tomando p = 2 se tiene: ( ) ( ) ( ) x J x J
x
x J
1 2 3
4
=

( ) ( ) ( ) x J x J
x x
x J
1 1 3
2 4
|
.
|

\
|
=

( ) ( ) ( ) x J
x
x J
x
x J
o
4
1

8
| 3
|
.
|

\
|
=

10. ( )
x
x J
t
2
2
3
= ( ) x x cos sen

Visualizacin

( ) ( )
( )
( ) ( ) x J x J
x
x J x J
2
1
2
1
2
3 2
1
2
1
1
2
= =
+
(hemos apelado a la prop. 6)

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

t t t



Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
199
11
( ) ( ) x x Senx
x
x J cos
2
3
2
3
+ =

t




Visualizacin

De (5) tomando
:
2
1
tendremos p =


( ) ( ) ( ) ( )
( )
( ) ( ) x Sen x Cosx
X
X J
senx
x
Cosx
x x
x J
x J x J x J x J
x
J
+ =

=

+
t
t t
2
2 2 1
) ( 2
2
1
2
1
2
1
2
1
2
1
2
1
1
2
1
2
1




12.
( ) ( ) ( ) ( ) u u u
t
u u u
t
t t
d xSen n Cos x J d xSen Cos x J
o
n } }
= . =
1 1
0
1


13 Ver que : J(x) = (-1)
P
J
P
(x) , p e
+
Z
o







Funciones de Bessel de Segunda Clase

La ecuacin de Bessel : xy + xy + (x - p) y = 0

Si p = , la solucin es y = C
1
J
1/2
(x) + C
2
Y
1/2
(x)

Ambas soluciones son funciones de Bessel de primera clase, es decir si 2p e
Z, entonces la ecuacin de Bessel tiene como soluciones independientes a J
p

(x) . J
-P
(x)
Si 2 p e Z, tendremos que la otra solucin independiente con J
p
(x) est dada
por:
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
200
y = J
p
u con este cabio tendremos que :
y= " 2 2 " '
' " "
1
1
u J J u J J y u J U J
p p p P P P
+ + + = . +
Sustituyendo:

| | | 0 " ' ) 2 ( ) ( "
' '
= + + + + + u J x u J J x J p x J J x u
p p p p


luego tendremos que resolver :

}
+ = =
= + + =
+
+
= + +
= + +
2
2
1
2
1
1
2
'
2 2
) ( ) (
'
' 0
2
' '
0 ' ' ' ) ' 2 (
0 ' ' ' ) ' 2 (
c
x xJ
dx
c u
x xJ
c
u
LnC x Ln J Ln u Ln
xJ
J xJ
u
u
u xJ u J xJ
u J x u xJ J x
p p
p
p
p
p
p p p
p p p


La solucin general es:
| ) (
) (
) (
2 2 1
x J c
x xJ
dx
x J c y
p
p
p
}
+ =
La solucin
}
) (
) (
2
x xJ
dx
x J
p
p
cuando no necesariamente es una solucin tipo
Frobenius se denomina una funcin de Bessel de orden p de segunda clase y
se denota ) (x Y
n

Analicemos la forma que tiene ) (x Y
n
inicialmente hallemos ) (
0
x Y
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
201
...
128
3
4
1
) ( ) (
...)
128
5
4
1
...)(
64
1
4
1
1 ( ) ( ) (
...)
128
5
4
( ) ( ) (
...)
32
5
2
1 )(
1
( ) ( ) (
...)
32
3
2
1 (
) ( ) (
...)
2304 64 4
1 (
) ( ) (
) (
) ( ) (
4 2
0
4 2 4 2
0
4
2
0
4
2
0
4
2 0
2
6 4 2 0 2 0
+ + =
+ + + + =
+ + + =
+ + + =
+ +
=
+ +
= =
}
}
} }
x x x Ln x J x Y
x x x x x Ln x J x Y
x
x
J x Ln x J x Y
x
x
x
x J x Y
x
x
x
dx
x J x Y
x x x
x
dx
x J x Y
x xJ
dx
x J x Y
o
o
o o
o
o
o
p
o

Otra manera de ver que: =
+
>
) ( lim
0
0
x J
x


Anlogamente ) (
1
x Y en la forma siguiente:


t
t
p Sen
x J x J p Cos
lim x
p p
p
) ( ) (
) (
' 0
1
1

= Y
este lmite puede hallarse usando la regla del Hospital

Observacin

La funcin generatriz :

=
|
|
.
|

\
|

=
n
n
n
t
t
x
t x J e ) (
1
2
nos permite hallar algunas funciones
de Bessel en trminos de otras o demostrar alguna propiedad de las funciones
de Bessel.