Capı́tulo 1

Fourier Bessel

1.1. Funciones de Bessel

Las funciones de Bessel son funciones especiales definidas por la ecuación diferencial de segundo orden

x2 + y 00 + xy 0 + (x2 − v 2 )y = 0
Esta ecuación de Bessel de orden v.El término orden aquı́ se usa en dos sentidos.
la ecuación diferencial es de segundo, pero tradicionalmente la ecuación tiene orden v para referirnos al parámetro
v que aparece en el coeficiente de y
Mediante el método de Frobenius se puede encontrar una solución en serie a la función de Bessel
∞
X (−1)n
y(x) = co x2n+v
22n ∗ n!(1 + v)(2 + v) . . . (n + v)
k=0

en donde co es una constante distinta de cero y v ≥ 0. Esta solución es válida en algún intervalo (0, R),que
depende de v.

1.2. La función gamma

Para x > 0, la función gamma γ esta definida por:
Z ∞
γ(x) = tx−1 e−t dt
0

Esta integral converge para todo x > 0. La funcion gamma tiene muchas propiedades pero solo veamos las mas
útiles que son las siguientes:
Teorema 1 Propiedad factorial de la función gamma.

Si x > 0, entonces
γ(x + 1) = xγ(x)
Prueba Si 0 < a < b, entonces integre por partes, con u = tx y dv = e−t dt y se obtiene
Z b Z b
x −t −t
x
t e dt = [t (−e )]ba − xtx−1 (−1)e−t dt
a a

Z b
= −bx e−b + ax e−a + x tx−1 e−t dt
a

Tome el limite de esta ecuación conforme a → 0+ y b → ∞ para obtener:

Z ∞ Z ∞
dt = γ(x + 1) = x tx−1 e−t dt = xγ(x)
0 0

1
2 CAPÍTULO 1. FOURIER BESSEL

la razón por la cual se llama propiedad factorial puede verse cuando x = n,n es un entero positivo.
Repitiendo la aplicación del problema se obtiene

γ(n + 1) = nγ(n) = nγ((n − 1) + 1) = n(n + 1)γ(n − 1)

= n(n − 1)γ((n − 2) + 1) = n(n − 1)(n − 2)γ(n − 2)

= . . . = n(n − 1)(n − 2) . . . (2)(1)γ(1) = n!γ(1)

Pero Z
γ(1) = et dt = 1
0

Entonces
γ(n + 1) = n!

para cualquier entero positivo n. Esta es la razón para la propiedad factorial de la función gamma.

1.3. Funciones de Bessel de la primera clase y soluciones de la ecua-

ción de Bessel

Tomamos la solución en serie de la función de Bessel. Parte del denominador en esta solución es:

(1 + v)(2 + v) . . . (n + v),

Ahora supongamos que v ≥ 0. Ahora use la propiedad factorial de la función gamma para escribir

γ(n + v + 1) = (n + v)γ(n + v) = (n + v)(n + v − 1)γ(n + v − 1)

= . . . = (n + v)(n + v − 1) . . . (n + v − (n − 1))γ(n + v − (n − 1))

= (1 + v)(2 + v) . . . (n − 1 + v)(n + v)γ(v + 1)

Por tanto,
γ(n + v + 1)
(1 + v)(2 + v) . . . (n + v) =
γ(v + 1)
se escribe la solución de manera:
∞
X (−1)n γ(v + 1)
y(x) = co x2n+v
n=0
22n+v n!γ(n + v + 1)

Donde co es:
1
co =
2v γ(v + 1)
Para obtener la solución denotamos como Jv (x):
∞
X (−1)n γ(v + 1)
Jv (x) = x2n+v
n=0
22n+v n!γ(n + v + 1)

Jv (x) es llamada una función de Bessel de la primera clase de orden v. La serie que define Jv (x) converge para
todo x
Debido a que la ecuación de Bessel es de segundo orden, necesitamos una segunda solución, linealmente indepen-
diente de Jv (x), para escribir la solución general. La ecuación inicial de Bessel es r2 − v 2 = 0, con raı́ces ±v. La
clave radica en la diferencia, 2v, entre estas raı́ces al analizando las raı́ces obtenemos las siguientes condiciones:
1. Si 2v no es un entero, entonces Jv y J−v son linealmente independiente, y la solución general de la ecuación
de Bessel de orden v es:
y(x) = aJv (x) + bJ−v (x)
1.4. DESARROLLO DE FOURIER-BESSEL 3

2. si 2v es un entero positivo impar, digamos 2v = 2n+1, entonces v = n+ 21 para algún entero positivo n. En
este caso, Jv y J−v siguen siendo linealmente independiente. Se puede probar que en este caso Jn+1/2 (x)
y J−n−1/2 (x) pueden expresarse como una suma finita de términos.Por ejemplo:

q q
2 2
J1/2 (x) = πx sin(x) J−1/2 (x) = πx cos(x)

En este caso, la solución general de la ecuación de Bessel de orden v es

y(x) = aJn+1/2 (x) + bJ−n−1/2 (x)

3. 2v es un entero pero no es de la forma n + 21 para cualquier entero positivo n. En este caso, Jv (x) y J−v (x)
son soluciones de la ecuación de Bessel, pero son linealmente independientes en este caso:

J−v (x) = (−1)v Jv (x)

1.4. Desarrollo de Fourier-Bessel

Sea v cualquier número positivo. Sabemos que Jv tiene una infinidad de ceros positivos, los cuales podemos
ordenar en una serie ascendente.
j1 < j2 < j3 < . . .
√
Para cada tal jn podemos considerar la función xJv (jn x) para 0 ≤ x ≤ 1. Afirmamos que estas funciones son
ortogonales en [0, 1], en el sentido que la integral del producto de estas funciones en [0, 1], es cero.

Teorema 2 Ortogonalidad.

√
Sea v ≥ 0. Entonces las funciones xJv (jn x), para n = 1, 2, 3, . . . son ortogonales en [0, 1]
Z 1
xJv (jn x)Jv (jm x)dx = 0
0

u(x) = Jv (jn x) satisface

x2 u00 + xu0 + (jn2 x2 − v 2 )u = 0
y u(x) = Jv (jm x) satisface
x2 v 00 + xv 0 + (jm
2 2
x − v 2 )v = 0
Multiplicamos la primera ecuación por v y la segunda por u y restamos ambas ecuaciones y obtenemos

x2 u00 v + xu0 v + (jn2 x2 − v 2 )vu − x2 v 00 u + xv 0 u + (jm

2 2
x − v 2 )uv = 0

x2 (u00 v − uv 00 ) + x(u0 v − uv 0 ) = (jm

2
− jn2 )x2 uv
Dividimos para x
[x(u0 v − uv 0 )]0 = (jm
2
− jn2 )xuv
Entonces Z 1
1
[x(u0 v − uv 0 )]0 dx = x(u0 v − uv 0 )0
0

= Jv0 (jn )Jv (jm) − Jv (jn )Jv0 (jm ) = 0

Z 1
2
= (jm − Jn2 ) xJv (jn x)Jv (jm x)dx
0

Como jn 6= jm , esto prueba la ortogonalidad de estas funciones en [0, 1] Desarrollando Fourier ya que tenemos
la ortogonalidad debemos definir los coeficientes de Fourier-Bessel para la serie siguiente que serı́a la serie de
Fourier-Bessel
∞
X
f (x) = an Jv (jn x)
n=1
4 CAPÍTULO 1. FOURIER BESSEL

Para hallar los coeficientes multiplicamos esta ecuación por xJv (jk x) e integramos
Z 1 ∞
X Z 1 Z 1
xf (x)xJv (jk x)dx = an xJv (jn x)Jv (jk x)dx = ak xJv2 (jk x)dx
0 n=1 0 0

Debido a la ortogonalidad la serie infinita se colapsa en un solo termino entonces

Z 1
xf (x)xJv (jk x)dx
0
ak = Z 1
xJv2 (jk x)dx
0

Llamamos a estos números los coeficientes de Fourier-Bessel de f

Teorema 3 Convergencia de la serie de Fourier-Bessel

Sea f una curva suave a pedazos en [0,1]. Entonces para 0 < x < 1,
∞
X 1
an Jv (jn x) = (f (x+ ) + f (x− ))
n=1
2

donde an es el n-ésimo coeficiente de Fourier Bessel de f

1.5. Coeficientes de Fourier-Bessel

Z 1
La integral xJv2 (jk x)dx aparece en el denominador de la expresión para los coeficientes de Fourier-Bessel de
0
cualquier función, de manera que es útil evaluar la integral

Si v ≥ 0, entonces
Z 1
1 2
xJv2 (jk x)dx = J (jk )
0 2 v+1
Observamos aqui la importancia del hecho de que Jv y Jv+1 no pueden tener un cero positivo en común.
Sabiendo que Jv (jk) = 0 implica queJv+1 (jk) 6= 0
A partir de
x2 u00 + xu0 + (jk2 x2 − v 2 )u = 0
donde u(x) = Jv (jk x). Multiplicamos esta ecuación por 2u0 (x) para obtener

2x2 u0 u00 + 2x(u0 )2 + 2(jk2 x2 − v 2 )u = 0

Podemos escribir esta Ecuación como

[x2 (u0 )2 + (jk2 x2 − v 2 )u2 ]0 − 2jk2 xu2 = 0

Ahora integramos, teniendo en mente que u(1) = 0:

Z 1 Z 1
2 0 2 2 0
0= [x (u ) + (jk2 x2 2
− v )u ] dx − 2jk2 xu2 dx
0 0
Z 1
= jk2 [jk0 (jk )]2 − 2jk2 x[Jv (jk x)]2
0

Entonces Z 1
1 0
xJv2 (jk x)dx = [J (jk )]2
0 2 v
En general
v
Jv0 (x) − Jv (x) = −Jv+1 (x)
x
1.6. EJEMPLO 5

v
Jv0 (jk) − Jv (x) = −Jv+1 (jk)
jk
ası́
Jv0 (jk)− = −Jv+1 (jk)
por lo tanto demostramos lo planteado
Z 1
1
xJv2 (jk x)dx = [Jv+1 (jk )]2
0 2

en vista de esta conclusión el coeficiente de Fourier Bessel de f es

Z 1
2
an = xf (x)Jv (jk x)dx
[Jv+1 (jk )]2 0

La serie de Fourier Bessel sirve para resolver las ecuaciones de calor

1.6. Ejemplo
Sea f (x) = x(1 − x) para 0 < x < 1. Como f es continua con una derivada continua, su serie de Fourier Bessel
convergerá a f (x) en (0, 1):
∞
X
x(1 − x) = an J1 (jn x)
n=1

donde Z 1
2
an = x2 (1 − x)J1 (jn x)dx
[J2 (jn )]2 0

Calcularemos a1 hasta a4 , usando ocho lugares decimales en los primeros cuatro ceros de J1 (x):

j1 = 3,8331 j2 = 7,01558 j3 = 10,1734 j4 = 13,3236

Cálculos de los coeficientes de Fourier-Bessel

Z 1
2
a1 = x2 (1 − x)J1 (3,8331x)dx
[J2 (3,8331)]2 0

Z 1
= 12,3293 x2 (1 − x)J1 (3,8331x)dx = 0,45221
0
Z 1
2
a2 = x2 (1 − x)J1 (7,0155x)dx
[J2 (7,0155)]2 0
Z 1
= 22,2050 x2 (1 − x)J1 (7,0155x)dx = −0,0315
0
Z 1
2
a3 = x2 (1 − x)J1 (10,1734x)dx
[J2 (10,1734)]2 0
Z 1
= 32,0756 x2 (1 − x)J1 (10,1734x)dx = 0,03201
0
Z 1
2
a4 = x2 (1 − x)J1 (13,3236x)dx
[J2 (13,3236)]2 0
Z 1
= 41,9455 x2 (1 − x)J1 (13,3236x)dx = −0,00768
0

Usando sólo estos cuatro primeros coeficientes, aproximamos

x(1 − x) ≈= 0,4522J1 (3,8317x) − 0,03151J1 (7,0155x) + 0,03201J1 (10,1734x) − 0,00768J1 (13,3236)

6 CAPÍTULO 1. FOURIER BESSEL

1.7. Ejercicios Propuestos

1. Pruebe que xa Jv (bxc )es una solución de

2a − 1 0 a2 − v 2 c2
y 00 − ( )y + (b2 c2 x2c−2 + )
x x2

2. Encuentre aproximadamente los primeros cinco términos en el desarrollo de Fourier Bessel cada uno esta
definido para 0 < x < 1. f (x) = x