9 Soluciones en serie de ecuaciones lineales II

9.1. Ecuacin indicial

Si x = 0 es un punto singular regular de la ecuacin y 00 + P (x)y 0 + Q(x)y = 0, entonces p(x) = xP (x),
q(x) = x2 Q(x) son analticas en x = 0:

p(x) = xP (x) = a0 + a1 x + a2 x2 + . . . ,
q(x) = x2 Q(x) = b0 + b1 x + b2 x2 + . . .

La ecuacin indicial general es

r(r 1) + a0 r + b0 = 0,
y las soluciones se llaman races indiciales.
Ejemplo:
La ecuacin indicial de la ecuacin xy 00 + y = 0:

xP (x) = 0, x2 Q(x) = x, entonces a0 = 0 y b0 = 0.

La ecuacin indicial es r(r 1) = 0.
Las races indiciales son r1 = 1 y r2 = 0.

9.1.1. Existencia de soluciones segn la naturaleza de las races indiciales

Sea x = 0 un punto singular regular de la ecuacin.
Las races indiciales son r1 y r2 reales.

Tres casos:

Caso 1: r1 r2 no es un nmero entero. Entonces existen dos soluciones linealmente independientes y1 (x)

X
e y2 (x) de la ecuacin de la forma cn xn+r .
n=0

Caso 2: Si r1 r2 = N , N entero, existen dos soluciones linealmente independientes de la ecuacin con la

forma:

X
y1 (x) = cn xn+r1 , c0 6= 0,
n=0

X
y2 (x) = Cy1 (x) ln x + bn xn+r2 , b0 6= 0
n=0

donde puede que C = 0.

Caso 3: Si r1 = r2 , siempre existen dos soluciones linealmente independientes de la ecuacin que tienen la
forma:
X
y1 (x) = cn xn+r1 , c0 6= 0,
n=0

X
y2 (x) = Cy1 (x) ln x + bn xn+r2 , b0 6= 0.
n=0

1
9.2. Ecuacin de Bessel

x2 y 00 + xy 0 + (x2 2 )y = 0, 0
x = 0 es un punto singular regular de la ecuacin

X
Existe al menos una solucin de la ecuacin de la forma cn xn+r
n=0
2 2 2
Como xP (x) = 1 y x Q(x) = x , la ecuacin indicial es

x2 2 = 0

Las races son r1 = y r2 =

Sea r1 = , entonces:
x2 y 00 + xy 0 + (x2 2 )y =
P
= x (1 + 2)c1 x + n=0 [(k + 2)(k + 2 + 2)ck+2 + ck ]xk+2 =

=0

(1 + 2)c1 = 0
(k + 2)(k + 2 + 2)ck+2 + ck = 0

(1 + 2)c1 = 0
ck
ck+2 = , k = 0, 1, 2, . . .
(k + 2)(k + 2 + 2)
Si c1 = 0 c3 = 0, c5 = 0, c7 = 0, . . .
c2n2
Si k + 2 = 2n c2n = 2 , n = 1, 2, . . .
2 n(n + )
n
(1) c0
c2n = , n = 1, 2, 3, . . .
22n n!(1 + )(2 + ) . . . (n + )
Z
1
Se elige c0 = (x) = tx1 et dt
2 (1 + ) 0
n
(1)
c2n =
2n+ n!(1 + )(2 + ) . . . (+)(1 + )
=
Por la propiedad (1 + ) = (),
2
n
(1)
= 2n+ , n = 0, 1, 2, . . .
2 n!(1 + + n)

9.2.1. Funciones de Bessel de primera clase

Funcin de Bessel de primera clase (de primera especie) de orden :

X (1)
n x 2n+
J (x) =
n=0
n!(1 + + n) 2

Funcin de Bessel de primera clase o de primera especie de orden :

X (1)
n x 2n
J (x) =
n=0
n!(1 + n) 2

2
Son convergentes en [0, )
Observaciones:
Si = 0, las dos soluciones son iguales
Si > 0 y adems r1 r2 = () = 2 no es un entero positivo, J (x) y J (x) son soluciones
linealmente independientes de la ecuacin de Bessel en (0, ) (Caso I) , la solucin general en el
intervalo es
y = c1 J + c2 J

Si r1 r2 = 2 es un entero positivo, slo se puede asegurar que exista una segunda solucin en
forma de serie:
Si = m es un entero positivo, Jm (x) y Jm (x) no son linealmente independientes (Jm (x) =
KJm (x))
Se puede demostrar que si 2 es un entero positivo impar, J y J son linealmente indepen-
dientes
La solucin general es y = c1 J (x) + c2 J (x), 6= entero
Ejemplo: La solucin general de la ecuacin

1
x2 y 00 + xy 0 + x2 y=0
4
es
y = c1 J1/2 (x) + c2 J1/2 (x)

donde:

X (1)
n x 2n+1/2
J1/2 (x) =
n=0
n!(3/2 + n) 2

X (1)
n x 2n1/2
J1/2 (x) =
n=0
n!(1/2 + n) 2

9.2.2. Funciones de Bessel de segunda clase

Si 6= entero, la funcin
cos()J (x) J (x)
Y (x) =
sen()
y la funcin J (x) son linealmente independientes y soluciones de la ecuacin de Bessel, por tanto, otra
forma de la solucin general es:
y = c1 J (x) + c2 Y (x)

Y se llama funcin de Bessel de segunda clase

Si m donde m es un nmero entero:

lm Y (x) = Ym (x)
m

Entonces Ym (x) y Jm (x) son soluciones linealmente independientes de

x2 y 00 + xy 0 + (x2 m2 )y = 0

Conclusin: para cualquier valor de , la solucin general de la ecuacin

3
 x2 y 00 + xy 0 + (x2 2 )y = 0

es
y = c1 J (x) + c2 Y (x)

9.2.3. Ecuacin paramtrica de Bessel

La ecuacin paramtrica de Bessel es

x2 y 00 + xy 0 + (2 x2 2 )y = 0

Haciendo el cambio de variable t = x en la ecuacin de Bessel y aplicando la regla de la cadena,

obtenemos la ecuacin de Bessel
t2 y 00 + ty 0 + (t2 2 )y = 0
y la solucin general es:
y = c1 J (t) + c2 Y (t)
es decir, la solucin de la ecuacin paramtrica de Bessel es

y = c1 J (x) + c2 Y (x)

9.2.4. Propiedades de las funciones de Bessel

Funciones de Bessel de orden m = 0, 1, 2, 3 . . .

m
1. Jm (x) = (1) Jm (x)
m
2. Jm (x) = (1) Jm (x)

0, m > 0
3. Jm (0) =
1, m = 0
4. lmx0 Ym (x) =

4
 Ejercicios del captulo
1. Determina la solucin general de la ecuacin diferencial respectiva:
a ) x2 y 00 + xy 0 + (x2 1)y = 0.
b ) 16x2 y 00 + 16xy 0 + (16x2 1)y = 0.
c ) x2 y 00 + xy 0 + (36x2 41 )y = 0.
2. Comprueba que la ecuacin diferencial
x2 y 00 + (1 2n)y 0 + xy = 0, x > 0,
posee una solucin particular y = xn Jn (x).
3. Comprueba que la ecuacin diferencial
xy 00 + (1 2n)y 0 + xy = 0, x > 0,
posee una solucin particular y = xn Jn (x).
4. Comprueba que la ecuacin diferencial
xy 00 + (2 x2 2 + 1/4)y = 0, x > 0,

tiene la solucin particular y = xJn (x), donde > 0.
5. Aplica los resultados de los tres problemas anteriores para hallar una solucin particular en (0, )
de la ecuacin diferencial dada:
a ) xy 00 y 0 + xy = 0.
b ) 4x2 y 00 + (16x2 + 1)y = 0.
c ) xy 00 5y 0 + xy = 0.
6. Funciones de Bessel esfricas
Sea = 12 , 32 , 52 , . . . la funcin de Bessel J (x) se puede expresar en trminos de funciones elemen-
tales sen(x), cos(x):
Ejemplo: Forma alternativa de J1/2 (x):

X (1)
n x 2n+1/2
J1/2 (x) =
n=0
n!(1 + 12 + n) 2

Por (1 + ) = () y ( 12 ) = :
1 1 1 1
n = 0, (1 + 2) = 2 ( 2 ) = 2
3 3!
n = 1, (1 + 32 ) = 32 ( 32 ) = 22 = 23
5!
n = 2, (1 + 52 ) = 52 ( 52 ) = 25 2!
1 (2n+1)!
En general (1 + 2 + n) = 22n+1 n!

As:

X(1)
n x 2n+1/2 X
(1)n 2n+1
J1/2 (x) = = 2x x
n=0 n!
(2n + 1)! 2 n=0
(2n + 1)!
22n+1 n!
Es un desarrollo de MacLaurin de la funcin sen x:
r
2
J1/2 (x) = sen x
x

7. Expresa J1/2 en trminos de cos x y de una potencia de x.