5.

1 APLICACIONES DE LAS
ECUACIONES DE BESSEL Y LAS
ECUACIONES DE LAGENDRE
CURSO DE ECUACIONES
DIFERENCIALES
 INTRODUCCION

En el proceso de formular diferentes problemas

aplicados, varias ecuaciones diferenciales han
sido encontradas conduciendo a funciones
especiales que llevan el nombre de sus
descubridores. Una de tales ecuaciones se llama
la ecuacin de Bessel, en nombre del astrnomo
alemn Wilhenlm Friedrich Bessel, quien lo
descubri al formular un problema en
movimiento planetario. Otra se llama la ecuacin
diferencial de Legendre, en nombre del
matemtico y astrnomo francs Adrien Marie
Legendre. En esta seccin obtendremos
soluciones a estas ecuaciones diferenciales y
examinaremos algunas de sus propiedades.
 DOS ECUACIONES ESPECIALES
Las dos ecuaciones

x2y" + xy' + (x2 - v2) y = 0 (1)

(1 -x2)y"-2xy'+n(n+ 1)y=0 (2)

aparecen con frecuencia en estudios superiores de

matemticas aplicadas, fsica e ingeniera. Se llaman
ecuacin de Bessel y ecuacin de Legendre,
respectivamente. Para resolver la ecuacin (1)
supondremos que v 0, mientras que en la ecuacin
(2) slo consideraremos el caso en que n es entero no
negativo. Como se trata de obtener soluciones de cada
ecuacin en serie alrededor de x = 0, advertimos que
el origen es un punto regular singular de la ecuacin
de Bessel pero es un punto ordinario de la ecuacin de
Legendre.
Solucin de la ecuacin de Bessel
Si suponemos que

tenemos
vemos que la ecuacin indicativa es r2 - v2 = 0, de modo que las races
ndice son r1 = v y r2 = -v. Cuando r1 = v, la ecuacin (3) se transforma
en
Por lo tanto, se debe cumplir que
(1+2v)c1=0
(k+2)(k+2+2v)ck+2+ck=0
o sea que (4)
La opcin c1= 0 en esta ecuacin trae como consecuencia que c3 = c5
= C7 = 0, as que cuando k = 0, 2, 4, . . . vemos, despus de hacer k
+ 2 = 2n, n = 1, 2, 3, . . . , que
 Se acostumbra elegir un valor patrn especfico para c0, que es

en donde T(1 + v) es la funcin gamma.

Como esta funcin posee la cmoda propiedad de que T(1 + a) = aT(a),
podemos reducir el producto indicado en el denominador de (6) a un solo
trmino;
por ejemplo,

Por consiguiente, podemos expresar (6) en la forma

para n = 0, 1, 2, ....Funciones de Bessel de primera clase

La solucin en serie,

Se suele representar mediante Jv (x):

Si v 0, la serie converge al menos en el intervalo [0, ).

Tambin, para el segundo exponente r2 = -v, obtenemos,
exactamente del mismo modo,
 Las funciones Jv(x) y J_v(x) se llaman funciones de Bessel de primera
clase o de primera especie, de orden v y -v, respectivamente. Segn el
valor de v, la ecuacin (8) puede contener potencias negativas de x y,
por consiguiente, converger en (0, ).*
Es necesario tener cierto cuidado al escribir la solucin general de (1).
Cuando v = 0, (7) y (8) son iguales. Si v > 0 y r1 - r2 = v- (-v) = 2v no es
un entero positivo; entonces, de acuerdo con el caso I de la seccin
6.3, Jv(x) y Jv(x) son soluciones linealmente independientes de (1) en
(0, ), as que la solucin general del intervalo es y = c1Jv(x) +
c2JvL(x). Pero tambin sabemos que, de acuerdo con el caso II de la
seccin 6.3, cuando r1 - r2 = 2v es un entero positivo, quiz exista una
segunda solucin de (1) en forma de serie. En este segundo caso hay
dos posibilidades: cuando v = m = entero positivo, J_,m(x), definido
por (8) y Jm,(x) no son soluciones linealmente independientes. Se
puede demostrar que J_m es un mltiplo constante de Jm [vase la
propiedad i) en la pgina 283]. Adems, r1 -r2 = 2v puede ser un entero
positivo cuando v es la mitad de un entero positivo impar. Se puede
demostrar que, en este caso, Jv (x) y J_ v (x) son linealmente
independientes; en otras palabras, la solucin general de (1) en (0,
) es
y = c1 J v (x) + C 2 J _v (x), v entero. (9)
La figura 6.2 ilustra las grficas de y = J0(x) y y = J1 (x).
La figura 6.2 ilustra las grficas de y = J0(x) y y = J1 (x).
 EJEMPLO 1 Solucin general: v no es entero
Si , la solucin general de la ecuacin es
y = C1 J 1/2 (x) + C2 J-1/2 (x).
Funciones de Bessel de segunda clase Si v : entero, la funcin
definida por la combinacin lineal

(10)
y la funcin J v(x) son soluciones linealmente independientes de
(1); por consiguiente, otra forma de la solucin general de (1) es y
= c1Jv(x) + c2Yv(x), siempre y cuando v : entero. Cuando v -> m
(donde m es entero), la ecuacin (10) tiende a la forma
indeterminada 0/0; sin embargo, con la regla de L'Hpital se
puede demostrar que lm vm Yv(x) existe. Adems, la funcin
Ym(x) = lm Yv(x)
vm
y J m (x) son soluciones linealmente independientes de x2y" + xy'
+ (x2 - m2)y = 0; por lo tanto, para cualquier valor de v, la
solucin general de (1) en (0, ) se puede escribir
y = C1 Jv(x) + c2Yv(x). (11)
Yv(x) se llama funcin de Bessel de segunda clase, o de segunda
especie, de orden v. En la figura 6.3 aparecen las grficas de Yo(x)
y Y1 (x).
. En la figura 6.3 aparecen las grficas de Yo(x) y Y1 (x).
 EJEMPLO 2 Solucin general: v entero
La solucin general de la ecuacin x2y" + xy' +
(x2 - 9)y = 0, en (0, ), es y = c1J3(x) + c2Y3(x).
Esto lo podemos ver con la ecuacin (11) si
identificarnos a v2 = 9 y, por consiguiente, v = 3.
A veces es posible transformar determinada
ecuacin diferencial en la forma de la ecuacin
(1) cambiando la variable. Entonces se puede
expresar la solucin general de la ecuacin ori-
ginal en trminos de funciones de Bessel. En el
ejemplo 3 se muestra esta tcnica.
 EJEMPLO 3 Regreso al resorte desgastable
En la seccin anterior describimos que un
modelo matemtico del movimiento libre no
amortiguado de una masa fija a un resorte que
se desgasta es mx" + ke-at x = 0, a > 0. Ahora
ya podemos determinar la solucin general de
esta ecuacin. Se deja como problema
demostrar
que el cambio de las variables

transforma la ecuacin diferencial del resorte

que se desgasta en la forma

 Reconocemos que esta ecuacin tiene la forma de (1) con v = 0, donde

los smbolos x y s desempean las funciones de y y x, respectivamente.
La solucin general de la nueva ecuacin es x = c1Jo(x) + c2Yo(s). Si
restituimos s, la solucin general de mx" + ke-at x = 0 es

El otro modelo de un resorte de la seccin anterior,

cuyas caractersticas cambian al paso del tiempo,
era mx" + ktx = 0. Al dividir entre m reconocemos que se trata de la ecuacin
de Airy,
y" + a2xy = 0. Vase el ejemplo 4, seccin 6.2.
La solucin general de la ecuacin diferencial de Airy
tambin se puede expresar en trminos de funciones de Bessel.
Ecuacin paramtrica de Bessel Si reemplazamos x con ,x en la ecuacin
(1)
y aplicamos la regla de la cadena, llegaremos a una forma alternativa
de la ecuacin de Bessel,
la ecuacin paramtrica de Bessel:
x2y" + xy' + (2x2 - v2)y = 0. (12)
La solucin general de (12) es
y = c1J,v( x) + c2Yv(.x). (13)
 El otro modelo de un resorte de la seccin anterior,
cuyas caractersticas cambian al paso del tiempo, era
mx" + ktx = 0. Al dividir entre m reconocemos que se
trata de la ecuacin de Airy, y" + a2xy = 0. Vase el
ejemplo 4, seccin 6.2. La solucin general de la
ecuacin diferencial de Airy tambin se puede expresar
en trminos de funciones de Bessel. Ecuacin
paramtrica de Bessel Si reemplazamos x con ,x en la
ecuacin (1) y aplicamos la regla de la cadena,
llegaremos a una forma alternativa de la ecuacin de
Bessel, la ecuacin paramtrica de Bessel:
x2y" + xy' + (2x2 - v2)y = 0. (12)
La solucin general de (12) es
y = c1J,v( x) + c2Yv(.x). (13)