x2y"
+ xy’ + ( 2x2 - 2)y =
0 |
(17) |
Nestas condições, e conforme visto no item 4,
são soluções da equação (17) para
os correspondentes autovalores (
=
e
=
,
respectivamente). Podemos então escrever:
Multiplicando (19) por y2 e (20) por y1
e subtraindo membro a membro as equações (20) da (19),
assim modificadas, temos:
x2(y2y1"-y1y2")
+ x(y2y1'-y1y2') = (
2 -
2)x2y1y2
Dividindo por x e manipulando os termos, podemos
escrever:

ou

|
(21) |
Integrando (21) no intervalo [a,b]:
.
Dividindo por (
2 -
2) e
utilizando as igualdades (18):

Para a=0 e b=R, temos:

|
(22) |
e para
a expressão fica:

Aplicando L’Hospital e a seguir multiplicando o numerador e o
denominador do segundo membro da expressão por
:

|
(23) |
Mas J
(
R) é
solução da equação de Bessel
2R2y"(R) +
Ry’(R) + (
2R2
-
2)y(R)
= 0,
ou seja
Substituindo (24) em (23):

ou

|
(25) |
Se
,
e R forem tais que as raízes n-ésima e m-ésima da função de Bessel
de ordem
igualem, respectivamente a
=
R e
=
R, as expressões (22)
e (25) podem ser agrupadas numa única expressão:
*
|
(26) |
conhecida como relação de ortogonalidade das funções de Bessel. De (26)
observa-se que as funções 
e 
são ortogonais no intervalo [0,R]; ou então, as
funções
e
são ortogonais em
relação à função peso x.