Escuela Superior Politécnica del Litoral

Facultad de Ciencias Naturales y Matemáticas

Matemáticas Avanzadas

6 SERIE DE FOURIER-BESSEL

Para n jo la función de Bessel Jn (x) satisface la ecuación

(B) x̃2 J¨n (x̃) + x̃J˙n (x̃) + (x̃2 − n2 )Jn (x̃) = 0 (ecuación de Bessel)

donde
dJ d2 J
J˙n (x̃) = , J¨n (x̃) = 2 , x̃ = kx,
dx̃ dx̃
para una constante k . Por la regla de la cadena tenemos
dJ dJ dx dJ 1 1
J˙n (x̃) = = = = J 0 (x).
dx̃ dx dx̃ dx k k
y
1 d2 J 1 00
J¨n (x̃) = 2 = J (x).
k dx2 k2
Luego
1 00 1
k 2 x2 2
J (kx) + kx J 0 (kx) + (k 2 x2 − n2 )Jn (kx) = 0
k k
2 00 0
x J (kx) + xJ (kx) + (k 2 x2 − n2 )Jn (kx) = 0

n2
 
(B1 ) 00 0 2
xJ (kx) + J (kx) + k x − 2 Jn (kx) = 0
x

Pero (B2 ) es equivalente a

n2

(1) 0 0 2
[xJ (kx)] + − 2 + k x Jn (kx) = 0
x

 2 
n
(B2 ) 0 0
[xJ (kx)] + − 2 + λx Jn (kx) = 0,
x

pero (B2 ) es una ecuación de Sturm-Liouville con p(x) = x, q(x) = −n2 /x, r(x) = x,
λ = k 2 y la condición p(0) = 0. Por tanto las funciones Jn (x) son ortogonales en [0, R] si
Jn (kR) = 0.
Serie de Fourier-Bessel 2

La función Jn (x̃) tiene innitas raíces x = αn,1 < αn,2 < · · · por tanto

kR = αn,m ,

es decir

(2) kn,m = αn,m /R, m = 1, 2, . . .

Teorema 1. Para cada n jo la sucesión de funciones de Bessel de primer tipo Jn (kn,1 x),
Jn (kn,2 x), . . . con kn,m como en (2), forman una familia ortogonal en [0, R] con respecto
al peso r(x) = x, es decir
Z R
(3) xJn (kn,m x)Jn (kn,l x) dx = 0, m 6= l.
0

Así para n jo tenemos la serie de Fourier-Bessel:

∞
(4)
X
f (x) = am Jn (kn,m x) = a1 Jn (kn,1 x) + a2 Jn (kn,2 x) + · · ·
m=1

donde Z R
2
am = 2 xf (x)Jn (kn,m x)Jn (kn,l x) dx
R Jn+1 (αn,m ) 0

y αn,m = kn,m R, porque

R
R2 2
Z
2
kJn (kn,m x)k = xJn2 (kn,m x) dx = J (kn,m R).
0 2 n+1

Fernando Mejías Término I-2019