1 A função de Bessel

A equação de Bessel é dada por

x2 y 00 (x) + xy 0 (x) + (x2 − ν 2 )y(x) = 0. (1)

Colocando-a na forma padão

y 00 (x) + p(x)y 0 (x) + q(x)y(x) = 0 (2)

vemos que p(x) = 1/x e q(x) = 1 − ν 2 /x2 . Logo, x = 0 é um ponto singular

regular. E o que podemos dizer sobre o “ponto” x = ∞? Para analisar esse
caso, fazemos a mudança de variável
1
z=
x
e construı́mos a função f tal que f (z) = y(x). Então, para analisar se z = 0 (isto
é, x = ∞) é uma singularidade regular ou não da equação de Bessel, precisamos
reescrever a equação em termos da variável z e da função f . Para isso, note que

df (z) dy(x) dy(x) dx 1

f 0 (z) := = = = − 2 y 0 (x), (3)
dz dz dx dz z
e
d2 f (z)
   
d df (z) d 1
f 00 (z) := = = − 2 y 0 (x)
dz 2 dz dz dz z
(4)
2 1 d 0 2 0 1
= 3 y 0 (x) − 2 (y (x)) = 3
y (x) + 4 y 00 (x).
z z dz z z
Substituindo x, y 0 (x) e y 00 (x) em termos de z, f 0 (z) e f 00 (z) na equação de
Bessel, obtemos a seguinte equação diferencial linear de 2a ordem
 
2 00 0 1 2
z f (z) + zf (z) + − ν f (z) = 0. (5)
z2

Colocando-a na forma padrão

f 00 (z) + p(z)f 0 (z) + q(z)f (z) = 0, (6)

oservamos que
1 1 ν2
p(z) = , q(z) = 4
− 2 (7)
z z z
e que, portanto,
lim z 2 q(z) → ∞ . (8)
z→0

Logo, o ponto z = 0 (isto é, x = ∞) é um ponto singular essencial da equação

diferencial de Bessel.