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

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

y2 (x) = Cy1 (x) ln x +

bn xn+r2 , b0 6= 0.

n=0

9.2. Ecuacin de Bessel

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

x = 0 es un punto singular regular de la ecuacin

Existe al menos una solucin de la ecuacin de la forma

cn xn+r

n=0
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
, k = 0, 1, 2, . . .
ck+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
, n = 1, 2, 3, . . .
22n n!(1 + )(2 + ) . . . (n + )
Z
1
Se elige c0 =
(x) =
tx1 et dt
2 (1 + )
0
c2n =

(1)
=
2n+ n!(1 + )(2 + ) . . . (+)(1 + )
2
Por la propiedad (1 + ) = (),
n
(1)
, n = 0, 1, 2, . . .
= 2n+
2
n!(1 + + n)
c2n =

9.2.1. Funciones de Bessel de primera clase

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

J (x) =

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

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

J (x) =

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

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 independientes
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:

J1/2 (x) =

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

J1/2 (x) =

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

9.2.2. Funciones de Bessel de segunda clase

Si 6= entero, la funcin

Y (x) =

cos()J (x) J (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)

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) =

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 elementales sen(x), cos(x):

Ejemplo: Forma alternativa de J1/2 (x):

J1/2 (x) =
Por (1 + ) = () y ( 12 ) =

n = 0, (1 +

1
2)

1
1
2 ( 2 )

n = 1, (1 + 32 ) = 32 ( 32 ) =
n = 2, (1 + 52 ) = 52 ( 52 ) =
En general (1 +
As:

1
2

+ n) =

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

1
2

3
22

5!
25 2!

3!
23

(2n+1)!
22n+1 n!

n
x 2n+1/2
X
(1)n 2n+1
(1)

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

J1/2 (x) =

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

5