Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Frobenius PDF
Frobenius PDF
12.1. Introduccion
En las aplicaciones aparecen a menudo ecuaciones lineales cuyos coeficientes no son cons-
tantes sino polinomios o funciones mas complicadas. Este el caso de la ecuacion que aparece
al resolver el siguiente problema de ingeniera qumica tomado de [3, p. 111]:
221
222 Ecuaciones lineales de segundo orden con coeficientes analticos
x
b
a
Intentamos encontrar dos soluciones que sean polinomios. Pero no esta claro cual debe ser
el grado de dichos polinomios, as que en vez de un polinomio consideramos una serie de
potencias (o si se quiere pensar intuitivamente, un polinomio de grado infinito):
X
x(t) = a0 + a1 t + a2 t2 + = a n tn
n=0
Ahora derivamos
X
0 2
x (t) = a1 + 2a2 t + 3a3 t + = nan tn1
n=0
y
X
00 2
x (t) = 2a2 + 6a3 t + 12a4 t + = n(n 1)an tn2
n=0
Sustituyendo en la ecuacion
X
X
X
0 = x00 2tx0 2x = n(n 1)an tn2 2t nan tn1 2 an tn
n=0 n=0 n=0
X
X
X (12.3)
n2
= n(n 1)an t 2 nan t 2 an tn
n
X
X
X
n2 k
n(n 1)an t = (k + 2)(k + 1)ak+2 t = (k + 2)(k + 1)ak+2 tk
n=0 k=2 k=0
Como una serie es cero si y solo si todos sus terminos son cero:
Es decir:
2an
an+2 = n = 0, 1, 2, . . . (12.4)
n+2
Vemos as que los subndices pares se puede escribir todos en funcion de a0 y los impares
en funcion de a1 . Concretamente
1 2k
a2k = a0 , a2k+1 = a1
2k! 3 5 . . . (2k + 1)
donde k! = k (k 1). . .21 es el factorial de k y siendo los valores de a0 y a1 completamente
arbitrarios.
donde x1 (t) y x2 (t) son soluciones linealmente independientes en el intevalo donde las fun-
ciones p(t) y q(t) son continuas. En este caso p(t) = 2t y q(t) = 2, que son continuas en
todo R.
1
(i) a0 = 1, a1 = 0 a2k = , a2k+1 = 0 Esto nos proporciona una solucion:
k!
X (t2 )k
1 2 1 4 1 6 2
x1 (t) = 1 + t + t + t + = = et
1! 2! 3! k=0
k!
2k
(ii) a0 = 0, a1 = 1 a2k = 0, a2k+1 = que nos proporciona una
3 5 . . . (2k + 1)
segunda solucion:
X
2t 4t 8t 2n t2n+1
x2 (t) = t + + + + = t +
3 15 60 n=1
3 5 . . . (2n + 1)
Para las dos soluciones que hemos hallado de la ecuacion (12.2) tenemos que x1 (0) = 1 y
x01 (0)
= 0, x2 (0) = 0 y x02 (0) = 1; los dos valores de a0 y a1 que hemos escogido. Esto no es
una casualidad, sino consecuencia de que los coeficientes pares e impares de la serie solucion
actuen de forma independiente. Por lo tanto
x1 (0) x2 (0) 1 0
W (x1 , x2 )(0) = det 0 = = 1.
x1 (0) x02 (0) 0 1
Esto significa que x1 (t) y x2 (t) son linealemte independientes. Por lo tanto, la solucion general
de la ecuacion sera:
!
2
X 2 n 2n+1
t
x(t) = c1 et + c2 t + .
n=1
3 5 . . . (2n + 1)
a0
Observarmos, de nuevo, que las columnas de W (x1 , x2 )(0) son los vectores que he-
a1
mos escogido para obtener las soluciones x1 (t) y x2 (t). Escogiendo estos vectores linealmente
226 Ecuaciones lineales de segundo orden con coeficientes analticos
indepencientes, como lo hemos hecho mas arriba, siempre obtenemos soluciones linealmente
independientes.
Vemos en este ejemplo que aunque los coeficientes p(t), q(t) y r(t) de la ecuacion sean
polinomios, no podemos esperar, en general, soluciones que sean polinomios, sino series de
potencias. Por ello se insiste en la conveniencia de repasar las ideas basicas sobre este tipo de
series que se recogen en el Anexo C. En especial el concepto de funcion analtica y el Teorema
C.10 que nos proporciona un criterio para conocer el radio de convergencia de la serie de
Taylor de cualquier funcion analtica. Todo ello es imprescindible para poder entender el
enunciado del siguiente teorema que damos sin demostracion. Este teorema nos asegura que
si los coeficientes de la ecuacion diferencial son funciones analticas, entonces, las soluciones
son analticas. Nos dice, ademas, como podemos calcularla.
q(t) r(t)
y supongamos que las funciones y admiten desarrollos en series de Taylor alrede-
p(t) p(t)
dor de t = t0 y con radio de convergencia . Entonces, todas las soluciones de (12.5) son
analticas en t = t0 y el radio de convergencia de su desarrollo en serie de Taylor es por lo
menos . Los coeficientes en el desarrollo de la serie de Taylor de la solucion
x(t) = a0 + a1 (t t0 ) + a2 (t t0 )2 +
3t 0 1
x00 + x + x=0
1 + t2 1 + t2
b) Hallese la solucion de esta ecuacion que satisface la condicion inicial x(0) = 2, x0 (0) = 3.
Como en el apartado b) nos piden la solucion de la ecuacion que pasa por t = 0, nos
interesa una solucion que sea analtica en t = 0. Para ello miramos si los coeficientes son
analticos en t = 0.
12.2 Resolucion de ecuaciones mediante series 227
3t 1
Las funciones 2
y son analticas en t = 0 porque
1+t 1 + t2
X
1 2 4 6 8 16
= 1 t + t t + t t + = (1)n t2n .
1 + t2 n=0
El Teorema 12.3 asegura que todas las soluciones son analticas en t = 0. Por lo tanto,
la forma de las soluciones es
X
x(t) = an tn
n=0
3t 1
Podramos desarrollar , en serie de potencias, hacer las operaciones co-
1 + t 1 + t2
2
rrespondientes con estas series y las que resultasen de calcular x0 (t), x00 (t), e igualar los
coeficientes correspondientes a cero. Pero no es recomendable. Un procedimiento que facilita
las operaciones consiste en pasar a la ecuacion equivalente
(t2 + 1)x00 + 3tx0 + x = 0
y operar con esta ecuacion. Primero derivamos x(t):
X
0
x (t) = nan tn1 ,
n=0
y
X
00
x (t) = n(n 1)an tn2 .
n=0
Sustitumos en la ecuacion:
0 = (t2 + 1)x00 + 3tx0 + x =
X
X
X
n2 n1
2
= (t + 1) n(n 1)an t + 3t nan t + an tn =
n=0 n=0 n=0
X
X
= (n(n 1)an + 3nan + an ) t + + n(n 1)an tn2 =
n
n=0 n=0
X
X
= n2 n + 3n + 1 an tn + (n + 2)(n + 1)an+2 tn =
n=0 n=0
X
= n2 + 2n + 1 an + (n + 2)(n + 1)an+2 tn =
n=0
X
= (n + 1)2 an + (n + 2)(n + 1)an+2 tn
n=0
228 Ecuaciones lineales de segundo orden con coeficientes analticos
Entonces
(n + 1)2 an + (n + 2)(n + 1)an+2 = 0
y
n+1
an+2 = an
n+2
Podemos confeccionar una tabla como la siguiente para obtener los coeficientes ai de la sere
solucion:
n an+2 n = 2k o n = 2k + 1
1
0 a2 = a0 (2 = 2 1, k = 1)
2
2
1 a3 = a1 (3 = 2 1 + 1, k = 1)
3
3 13
2 a4 = a0 =+ a0 (4 = 2 2, k = 2)
4 24
4 24
3 a5 = a3 =+ a1 (5 = 2 2 + 1, k = 2)
5 35
5 135
4 a6 = a4 =+ a0 (6 = 2 3, k = 3)
6 246
6 246
5 a7 = a5 =+ a1 (7 = 2 3 + 1, k = 3)
7 357
Para n par:
1 3 . . . (2k 1)
a2k = (1)k a0
2 4 . . . 2k
y para n impar:
2 4 . . . 2k
a2k+1 = (1)k a1
1 . . . (2k + 1)
a0
Escogemos ahora un par de valores para a0 y a1 de modo que los vectores para los
a1
dos valores sean linealmente independientes. Por ejemplo a0 = 1 y a1 = 0, por una parte, y
a0 = 0, a1 = 1, por otra.
Poniendo a0 = 1 y a1 = 0 obtenemos
1 13 4 135 6
x1 (t) = 1 t2 + t t + =
2 24 246
X 1 3 . . . (2n 1) 2n
= (1)n t =
n=0
2 4 . . . 2n
X
1 3 . . . (2n 1) 2n
= (1)n t
n=0
2n n!
12.2 Resolucion de ecuaciones mediante series 229
y poniendo a0 = 0 y a1 = 1
2 24 5 246 7
x2 (t) = t t3 + t t + =
3 35 357
X 2n n!
= (1)n t2n+1
n=0
1 3 5 . . . (2n 1)!
Podemos ver que ambas series son convergentes en el intervalo (1, 1). Empleando para
x1 (t) el criterio del cociente
1 3 . . . 2n + 1
an+1 1 2n+1 (n + 1)! 2n + 1 2n + 1
= = =
an 1 3 . . . 2n 1 2(n + 1) 2n + 2
2n n!
2n + 1
y lm = 1. As que = 1 alrededor de t = 0.
n 2n + 2
Para x2 (t)
2n+1 (n + 1)!
an+1 1 3 . . . (2n + 3)! 2(n + 1) 2n + 2
=
an 2 n
n! = 2n + 3 = 2n + 3
1 3 . . . (2n + 1)!
2n + 2
De nuevo lm = 1 y tambien = 1.
n 2n + 3
Ya sabamos por el Teorema 12.3 que = 1 era cuando menos el radio de convergencia
de cualquier solucion.
Ahora bien x1 (0) = a0 = 1 y x2 (0) = 0 mientras que x01 (0) = 0 y x02 (0) = a1 = 1. Vemos
as, de nuevo, que al escoger los valores a0 = 1 y a1 = 0 hemos escogido la solucion de la
ecuacion con la condicion inicial x1 (0) = 1 y x01 (0) = 0. Y al escoger a0 = 0, a1 = 1 hemos
escogido la solucion con la condicion inicial x2 (0) = 0, x02 (0) = 1.
En cualquier caso, para las condiciones iniciales dadas tenemos que resolver el sistema
Por lo tanto, la solucion pedida es x(t) = 2x1 (t) + 3x2 (t), que es la expresion que se
habra obtenido como solucion directamente si hubieramos escogido a0 = 2 y a1 = 3. Esta es
una norma general cuya justificacion teorica es facil y que aplicaremos de ahora en adelante.
Es decir, si x(t0 ) = x0 y x0 (t0 ) = x00 entonces pondremos a0 = x0 y a1 = x00 .
(t2 2t)x00 + 5(t 1)x0 + 3x = 0
x(1) = 7, x0 (1) = 3
Como la condicion inicial que nos dan es en t = 1 nos interesa encontrar soluciones en el
entorno de t = 1. Observemos que
q(t) 5(t 1) 3
= y r(t) =
p(t) t(t 2) t(t 2)
X
X
x(t) = an (t 1)n , 0
x t() = nan (t 1)n1
n=0 n=0
X
x00 (t) = n(n 1)an (t 1)n2
n=0
Por otra parte, a fin de facilitar los calculos, desarrollamos t2 2t como una serie alrededor
de t = 1. Podemos hacerlo directamente
t2 2t = (t 1)2 1,
2
t2 2t = 1 + (t 1)2 = (t 1)2 1
2
12.2 Resolucion de ecuaciones mediante series 231
n=0
X
X
+5(t 1) nan (t 1)n1 + 3 an (t 1)n =
n=0 n=0
X
X
n2
= n(n 1)an (t 1) + [(n(n 1) + 5n + 3) an ] (t 1)n =
n=0 n=0
X
X
n
2
= (n + 2)(n + 1)an+2 (t 1) + n + 4n + 3 an (t 1)n =
n=0 n=0
X
= [(n + 2)(n + 1)an+2 + (n + 1)(n + 3)an ] (t 1)n .
n=0
De donde
n+3
an+2 = + an ,
n+2
y obtenemos la siguiente tabla:
n an+2
3
0 a2 = a0
2
4
1 a3 = a1
3
5 35
2 a4 = a2 = a0
4 24
6 46
3 a5 = a3 = a1
5 35
7 357
4 a6 = a4 = a0
6 246
8 468
5 a7 = a5 = a1
7 357
Para n par:
3 5 . . . (2k + 1)
a2k = a0
2 4 . . . (2k)
y para n impar:
4 6 . . . (2k + 2)
a2k+1 = a1
3 5 . . . (2k + 1)
Pero x(1) = 7 y x0 (1) = 3. Tomando a0 = 7 , a1 = 3
3 5 . . . (2k + 1) 2k (k + 1)!
a2k = 7 , a2k+1 = 3
2k k! 3 5 . . . (2k + 1)
232 Ecuaciones lineales de segundo orden con coeficientes analticos
y (conviniendo que 0! = 1)
X
X
3 5 . . . (2n + 1) 2n (n + 1)!
x(t) = 7 (t 1)2n + 3 (t 1)2n+1
n=0
2n n! n=0
3 5 . . . (2n + 1)
El radio de convergencia de las dos series es = 1, i.e. ambas convergen para |t 1| < 1
y divergen para |t 1| > 1. Esto tambien se deduce del Teorema C.10 porque p(t) se anula
en t = 0 y t = 2, y ambos puntos estan a distancia 1 de t = 1.
1
Como es analtica en t = 0 podemos encontrar una solucion analtica en t = 0:
1t
P
P
P
x(t) = an tn . As x0 (t) = nan tn1 y x00 (t) = n(n 1)an tn2 . Sustituyendo en la
n=0 n=0 n=0
12.2 Resolucion de ecuaciones mediante series 233
ecuacion:
P
P
P
0 = (1 t) n(n 1)an tn2 + nan tn1 + (1 t) an tn =
n=0 n=0 n=0
P
n
P
n
P
= (n + 2)(n + 1)an+2 t (n + 1)nan+1 t + (n + 1)an+1 tn +
n=0 n=0 n=0
P P
+ an tn an tn+1 =
n=0 n=0
P
P
= 2a2 + (n + 3)(n + 2)an+3 tn+1 (n + 2)(n + 1)an+2 tn+1 +
n=0 n=0
P
n+1
P
+a1 + (n + 2)an+2 t + a0 + an+1 tn+1 =
n=0 n=0
= a0 + a1 + 2a2 +
P
+ [(n + 3)(n + 2)an+3 [(n + 2)(n + 1) (n + 2)]an+2 + an+1 an ]tn+1
n=0
Entonces
a0 + a1
a0 + a1 + 2a2 = 0 a2 =
2
y
(n + 3)(n + 2)an+3 n(n + 2)an+2 + an+1 an = 0, n = 0, 1, 2, . . .
Es decir,
n(n + 2)an+2 + an
an+3 = n0
(n + 3)(n + 2)
n an+3
a0 a1
0 a3 =
6
a0 a1 a0 + a1
3a3 a2 + a1 + + a1 a0 + a1
1 a4 = = 2 2 =
12 12 12
2a0 + 2a1 a0 a1 a0 + a1
8a3 a2 + a2 a1
2 a5 = = 3 6 2 =
20 20 60
a1 a0 + a1 a0 + a1
15a5 a4 + a3 + a0
3 a6 = = 4 12 6 =
30 30 360
a0 a1 a0 + a1
24a5 a6 a5 + a4 + 9a0 + 2a1
4 a7 = = 15 60 6 =
42 12 2520
Y no parece que haya una forma sencilla de expresar el termino general. Como x(0) = 1
1 1 1
y x0 (0) = 1 ponemos a0 = 1, a1 = 1. Entonces a2 = 1, a3 = 0, a4 = , a5 = , a6 =
6 60 360
234 Ecuaciones lineales de segundo orden con coeficientes analticos
11
a7 = , y los primeros 8 terminos de la expansion en serie de potencias de la solucion
2520
entorno al punto t = 0 es
1 1 1 6 11 7
x(t) = 1 + t t2 + t4 + t5 + t + t +
6 60 360 2520
s(t)
y sustituimos en la ecuacion. Desarrollamos en serie de Taylor e igualamos los coefi-
p(t)
cientes correspondientes a las mismas potencias de t.
Para estas alturas ya debemos tener en mente las expresiones de x0 (t) y x00 (t), as que no
las escribimos explcitamente. Para hallar la solucion general de la ecuacion homogenea
12.2 Resolucion de ecuaciones mediante series 235
As
1
(n + 2)(n + 1)an+2 tn = 0 an+2 = an
n+2
n an+2
1
0 a2 = a0
2
1
1 a3 = a1
3
1 1
2 a4 = a2 = a0
4 42
1 1
3 a5 = a3 = a1
5 53
1
4 a6 = a0
642
1
5 a7 = a1
753
Poniendo a0 = 1, a1 = 0, obtenemos:
X 1
1 1 4 1
x1 (t) = 1 + t2 + t + t6 + = n n!
t2n .
2 42 642 n=0
2
Y escogiendo a1 = 1, a0 = 0
X
1 1 5 1 1
x2 (t) = t + t3 + t + t7 + = t2n+1
3 53 753 n=0
3 5 . . . (2n + 1)
tenemos que:
(a2 a0 )t0 = 0 a2 = a0
1 + 2a1
(6a3 2a1 )t3 = 1t0 a3 =
6
2 2 1 1
(12a4 3a2 )t = 0t a4 = a2 = a0
4 4
1
1 4a3 +
(20a5 4a3 )t3 = a5 = 6 = 24a3 + 1
6 20 120
4 4 5a4 5
(30a6 5a4 )t = 0t a6 = = a0
30 120
1 1 1
42a7 6a5 = a7 = + a5
5! 42 5! 7
La ecuacion
p(t)x00 + q(t)x0 + r(t)x = 0
se dice que es singular en t = t0 si p(t0 ) = 0. En este caso, no podemos decir gran cosa acerca
del comportamiento de las soluciones en las proximidades de t0 . Lo mas seguro es que las
soluciones no sean ni tan siquiera continuas en t = t0 , y mucho menos analticas. A veces se
pueden encontrar no obstante, soluciones de la forma
r
2
X
x(t) = (t t0 ) a0 + a1 (t t0 ) + a2 (t t0 ) + = an (t t0 )n+r
n=0
P
Ejemplo 12.8 Hallese una solucion, si existe, de la forma x(t) = an tn+r (a0 6= 0) para
n=0
la ecuacion:
2tx00 + x0 + tx = 0 0 < t <
12.3 Puntos singulares. El metodo Frobenius 237
Procedemos como en todos los casos anteriores, pero como r esta sin determinar, tendre-
mos que calcular un valor de r para el que tal solucion exista. En primer lugar derivamos:
X
X
0
x (t) = (n + r)an tn+r1 , 00
x (t) = (n + r)(n + r 1)ann+r2
n=0 n=0
y sustitumos en la ecuacion:
X X X
0 = 2 (n + r)(n + r 1)an tn+r1 + (n + r)an tn+r1 + an tn+r1 =
"n=0
n=0 n=0 #
X
= 1r(r 1)a0 tr1 + (r + 1)ra1 + (n + r + 2)(n + r + 1)an+2 tn+r+1
n=0
X
X
n+r+1
+ra0 t r1 r
+ (r + 1)a1 t + (n + r + 2)an+2 t + an tn+r+1 =
n=0 n=0
= [2(r 1) + r] a0 tr1 +
X
r
+(2r + 1)(r + 1)an t + [(n + r + 2)(2n + 2r + 3)an+2 + an ] tn+r1
n=0
1
Como a0 6= 0, de la primera ecuacion obtenemos que r = 0 o r = . En cualquiera de los
2
dos casos la segunda ecuacion implica que a1 = 0. Ahora para r = 0 tenemos que
1
(n + 2)(2n + 3)an+2 = an an+2 = an
(n + 2)(2n + 3)
n an+2
1
0 a2 = a0
23
1
1 a3 = a1 = 0
35
1 a0
2 a4 = a2 =
47 2347
3 a5 =0
1 a0
4 a6 = a4 =
6 11 2 3 4 6 7 11
238 Ecuaciones lineales de segundo orden con coeficientes analticos
X
X
Si ponemos a0 = 1 (recordemos que x(t) = an tn+r = an tn porque, en este caso,
n=0 n=0
r = 0.)
1 2 1 1
x1 (t) = 1 t + t4 t6 + =
2 3 2347 2 3 4 6 7 11
X (1)n t2n
= 1+
n=0
2n n! 3 7 11 . . . (4n 1)
es una solucion de la ecuacion por el intervalo (0, +). Es facil ver que esta serie es conver-
gente para todo t:
1
an+1 n+1
2 (n + 1)! 3 7 . . . (4n + 3) 1
an = 1
=
2(n + 1)(4n + 3)
n
2 n! 3 7 . . . (4n 1)
de modo que
1
lm = 0 y = .
n 2(n + 1)(4n + 3)
X X
1 1 1
Consideramos ahora el caso r = . Ahora tenemos que x(t) = an tn+ 2 = t 2 a n tn y
2 n=0 n=0
an an
an+2 = = .
5 (2n + 5)(n + 2)
n+ (2n + 4)
2
As que como a1 = 0, tambien a3 , a5 , a7 , . . . son cero, y
a0 a2 a0 a4 a0
a2 = , a4 = = , a6 = = .
25 49 2459 6 13 2 4 6 5 9 13
Poniendo a0 = 1 obtenemos una segunda solucion en el intervalo (0, +):
1 t2 t4 t6
x2 (t) = t 2 1 + + =
" 2 5 2 4 5 9 2 4 6 5# 9 13
X
1 (1)n t2n
= t 1+
2
n=0
2n n! 5 9 . . . (4n 1)
q(t)(t t0 ) r(t)(t t0 )2
y
p(t) p(t)
hay dos puntos singulares: los que hacen (t2 1)2 = 0. Es decir t = 1. Para saber sin son
singulares regulares o no calculamos para t = 1
q(t)(t 1) (t + 1)(t 1) 1
= =
(t2 1)2 (t 1)2 (t + 1)2 (t 1)(t + 1)
para alguna constante r. El siguiente teorema que damos sin demostracion nos dice como
encontrar dicha solucion.
q(t)(t t0 )
y sea t = t0 un punto singular regular de la ecuacion. Entonces las funciones y
p(t)
r(t)(t t0 )2
son analticas en t = t0 . Sean sus desarrollos en serie de potencias:
p(t)
q(t)(t t0 ) r(t)(t t0 )2
= b0 +b1 (tt0 )2 +b2 (tt0 )2 + , y = c0 +c1 (tt0 )+c2 (tt0 )2 +
p(t) p(t)
240 Ecuaciones lineales de segundo orden con coeficientes analticos
q(t)(t t0 ) r(t)(t t0 )2
Observaciones 12.10 1. Debe observase que b0 = lm y c0 = lm .
nt0 p(t) nt0 p(t)
2. A la ecuacion r(r 1) + b0 r + c0 = 0 se le llama ecuacion indicial o determinativa de
la ecuacion diferencial.
3. Esta ecuacion puede tener races complejas. En tal caso las races complejas deben
aparecer conjugadas a pares: digamos + i y i. La solucion de la ecuacion
X
x(t) = t+i an tn
n=0
Sustituyendo esta expresion en x(t) y separando las partes real e imaginaria obtenemos
dos soluciones linealmente independientes.
12.3 Puntos singulares. El metodo Frobenius 241
1 1
En el Ejemplo 12.8 obtuvimos r1 = y r2 = 0, por lo que r1 r2 = no es un entero
2 2
positivo y las soluciones que encontramos son de la forma descrita en el teorema. Veamos
ahora un ejemplos del tercer caso: r1 r2 un entero positivo. Veremos un ejemplo del segundo
caso (r1 = r2 ) al estudiar la Ecuacion de Bessel.
Ejemplo 12.11 Encuentrese la solucion general de la siguiente ecuacion como una serie de
potencias en torno a t = 0.
Utilizaremos este segundo procedimiento porque nos da mayor informacion acerca de los
coeficientes a0 y a1 . Sustituyendo en la ecuacion:
X
X
X
n+r1 n+r1
(n + r)(n + r 1)an t + 3(n + r)an t an tn+r+1 = 0
n=0 n=0 n=0
As
X
0 = r(r 1)a0 t r1 r
+ (r + 1)ra1 t + 3ra0 t r1 r
+ 3(r + 1)a1 t + (n + r)(n + r 1)an tn+r1 +
n=2
X
X
+ 3(n + r)an tn+r1 an tn+r+1 .
n=1 n=0
Operando
0 = [r(r 1) + 3r] a0 tr1 + [(r + 1)r + 3(r + 1)] a1 tr +
X
+ [[(n + r + 2)(n + r + 1) + 3(n + r + 2] an+2 an ] tn+r+1 = 0.
n=0
242 Ecuaciones lineales de segundo orden con coeficientes analticos
Entonces
[r(r 1) + 3r] a0 = 0
[(r + 1)(r + 3)] a1 = 0, y
an
an+2 = , para n > 0.
(n + r + 2)(n + r + 4
De la primera ecuacion obtenemos la ecuacion indicial
r(r 1) + 3r = 0
1
Poniendo a0 = 1, como a1 = 0 tenemos que a3 = a5 = a7 = . . . = 0 y a2 = , a4 =
24
a2 1 1 a4 1 1
= , a6 = = ,
46 24 46 68 246 468
Por lo tanto
1 2 1 1 4 1 1
x1 (t) = 1 + t + t + t6 + =
24 24 46 2 46 4 6 8
X X
t2n t2n
= 1+ = 1 +
n=1
2n n!2n (n + 1)! n=1
2n n!(n + 1)!
y sustituyendo en la ecuacion:
X
1
0 = Ctx001
ln t + 2Cx01
C x1 + (n 2)(n 3)dn tn3 +
t n=0
X
1
0
+3Cx1 ln t + 3Cx1 (t) + 3(n 2)dn tn3
t n=0
X
Ctx1 ln t dn tn1
n=0
De modo que
0 = (tx001 + 3x01 tx1 ) C ln t + 2Cx01 + 2Ct1 x1 +
X X
+ n(n 2)dn tn3 dn tn1
n=0 n=0
X
Como x1 (t) = an tn , tenemos que
n=0
X
X
X
n1 n1 2
2Cnan t + 2Can t + d1 t + [(n + 2)ndn+2 dn ] tn1 = 0
n=0 n=0 n=0
O bien
X
2
d1 t + [2Can (n + 1) + (n + 2)ndn+2 dn ] tn1 = 0
n=0
dn 2Can (n + 1)
dn+2 = , n1
n(n + 2)
X
As que los primeros terminos de la serie dn tn2 son
n=0
X
d2 2 3 d2 5c 4
dn tn2 = 2Ct2 + d2 + t Ct2 + t4 t +
n=0
24 32 2446 2304
Observemos que
1 2 1
d2 + d2 t + d2 t4 + = d2 x1 (t).
24 2446
As pues
2 3 5 4
x2 (t) = Cx1 (t) ln t + d2 x1 (t) + C 2t t2 t +
32 2304
Poniendo C = 1 y d2 = 0
2 3 2 5 4
x2 (t) = x1 (t) ln t + 2t t t
32 2304
es la segunda solucion.
La ecuacion de Bessel nos sirve como un ejemplo muy ilustrativo del significado del
Teorema 12.9. La ecuacion de Bessel de orden p es
t2x00 + tx0 + (t2 p2 )x = 0
donde p es un numero real fijo, p 0. Aqu p(t) = t2 , q(t) = t y r(t) = t2 p2 . Entonces
t = 0 es un punto singular y como
q(t)t r(t)t2
= 1 ,y = t2 p2
p(t) p(t)
son analticas en t = 0, este punto es singular regular.
La ecuacion indicial es
r(r 1) + b0 r + c0 = 0
siendo b0 y c0 los coeficientes independientes del desarrollo en serie de potencias de 1 y t2 p2 ,
respectivamente. Por lo tanto
q(t)t r(t)t2
b0 = lm =1 , lm = p2
t0 p(t) t0 p(t)
12.4 La ecuacion de Bessel 245
As pues,
2 2 2 r1 = p
r(r 1) + r p = 0 r p = 0
r2 = p
y
r1 r2 = 2p.
Caben varias posibilidades segun los valores de p. Pero antes de estudiar estas posibilidades
es importante observar que la ecuacion indicial se obtiene directamente del hecho de que
segun el Teorema de Frobenius siempre hay una solucion de la forma
X
x(t) = an tn+r .
n=0
Utilizando este hecho obtendremos una informacion adicional muy valiosa. Para calcular an
derivamos x(t)
X
X
0
x (t) = (n + r)an tn+r1 , 00
x (t) = (n + r)(n + r 1)an tn+r2
n=0 n=0
y sustituimos en la ecuacion:
X
0 = (n + r)(n + r 1)an tn+r +
n=0
X
+ (n + r)an tn+r +
n=0
X
+ an tn+r2 tn+r p2
n=0
Operando
X
r
0 = r(r 1)a0 t + (r + 1)ra1 t r+1
+ (n + r + 2)(n + r + 1)an+2 tn+r+2 +
n=0
X
r
+ ra0 t + (r + 1)a1 tr+1
+ (n + r + 2)an+2 tn+r+2
n=0
X
X
2 n+r+2
2 r 2 r+1
a0 p t a1 p t an+2 p t + an tn+r+2
n=0 n=0
En resumen
0 = [r(r 1) + r p2 ] a0 tr + [(r + 1)r + (r + 1) p2 ] a1 tr+1 +
X
+ (n + r + 2)2 p2 an+2 + an tn+r+2 .
n=0
246 Ecuaciones lineales de segundo orden con coeficientes analticos
As
(n + p + 2)2 p2 = (n + 2)2 + p2 + 2p(n + 2) p2 = (n + 2)2 + 2p(n + 2) =
= (n + 2)(2p + n + 2)
y
an
an+2 = , n 0.
(n + 2)(2p + n + 2)
Dando valores a n:
a0 a0
a2 = =
2(2p + 2) 22 (p + 1)
a1
a3 = = 0 recordemos que a1 = 0
3(2p + 3)
a2 a2 a0
a4 = = = 4
4(2p + 4) 23 (p + 2) 2 2(p + 1)(p + 2)
a3
a5 = = 0, a7 = a9 = . . . = 0
5(2p + 5)
a4 a4 a0
a6 = = = 6
6(2p + 6) 2 3!(p + 3) 2 3!(p + 1)(p + 2)(p + 3)
12.4 La ecuacion de Bessel 247
En general
(1)k a0
a2k = .
22k k!(p + 1)(p + 2) (p + k)
As
X (1)n t2n+p
x1 (t) = . (12.7)
n=0
22n n!(p + 1)(p + 2) (p + n)
Hay una forma mas compacta de escribir los coefientes de esta serie y que nos ayudara en
posteriores operaciones. Se consigue con ayuda de la funcion gamma de Euler:
Z
(t) = ex xt1 dx, t > 0
0
Recordemos que Z Z
s
f (x) dx = lm f (x) dx
0 s 0
y que esta integral impropia tiene sentido si el lmite existe. En nuestro caso (t) esta bien
definida; es decir, existe el lmite
Z s
lm ex xt1 dx, t > 0,
s 0
En consecuencia
Z Z s
x t
(t + 1) = e x dx = lms ex xt dx =
0 0 Z s
s t
= lms (e s ) + t lms ex xt1 dx =
0
= t(t)
Por consiguiente
(p + n + 1) = (p + n)(p + n) = (p + n)(p + n 1)(p + n 1) = =
= (p + n)(p + n + 1) (p + 1)(p + 1)
De aqu deducimos que
(p + n + 1)
(p + 1)(p + 2) (p + n) = (12.8)
(p + 1)
Y si k es un numero entero:
(k + 1) = k(k) = k(k 1)(k 1) = = k(k 1) 1(1) = k!
1
Escogiendo a0 = , obtenemos como solucion de la ecuacion de Bessel
2p (p + 1)
X 2n+p
(1)n t
Jp (t) = (12.9)
n=0
n!(p + n + 1) 2
Para obtener una segunda solucion linealmente independiente hay que distinguir varios
casos. Tal y como hemos visto mas arriba r1 r2 = 2p. Los posibles casos son
a) p no es numero entero.
b) p = 0
c) p 6= 0 numero entero.
(a) Si p no es un numero entero (aun cuando 2p lo sea; esto es posible por ejemplo si
3 5
p = o , etc.) entonces la segunda solucion linealmente independiente es de la forma
2 2
X
x2 (t) = dn tnp
n=0
12.4 La ecuacion de Bessel 249
En realidad, lo unico que hay que hacer es sustituir p por p en la primera solucion obtenida.
As 2np
X (1)n t
Jp (t) =
n=0
n!(1 p + n) 2
sera una segunda solucion linealmente independiente.
(b) Si p = 0 entonces
X 2n
(1)n t
J0 (t) = .
n=0
n!(n + 1) 2
Pero como n es un entero (n + 1) = n!. As que
X 2n
(1)n t
J0 (t) =
n=0
(n!)2 2
y la segunda solucion se obtiene aplicando el Teorema 12.9 (en este caso r1 = r2 = 0):
X
x2 (t) = J0 (t) ln t + dn tn
n=0
Sustituyendo en la ecuacion:
X
X
n 2 00 0
0 = n(n 1)dn t + t J0 (t) ln t + 2tJ0 (t) J0 (t) + ndn tn + tJ00 (t) ln t+
n=1 n=1
X
+ J0 (t) + dn tn+2 + t2 J0 (t) ln t
n=1
As
0 = [t2 J000 (t) + tJ00 (t) + t2 J0 (t)] ln t + 2tJ00 (t) + d1 t + 22 d2 t2 +
X
+ {[(n + 2)(n + 1) + (n + 2)] dn+2 + dn } tn+2
n=1
Como J00 (t) es solucion de la ecuacion t2 x00 + tx0 + t2 x = 0, el primer parentesis es cero. Por
lo tanto
X
2tJ00 (t) 2 2
+ d1 t + 2 d2 t + (n + 2)2 dn+2 + dn tn+2 = 0.
n=1
250 Ecuaciones lineales de segundo orden con coeficientes analticos
Ahora bien 2n
X
(1)n t
J0 (t) = 1 +
n=1
(n!)2 2
con lo que
X 2n1
(1)n 2n t
J00 (t) =
n=1
(n!)2 2 2
y
X (1)n 2n
2tJ00 (t) =2 t2n
n=1
22n (n!)2
Por consiguiente
X
X
d1 t + 22 d2 t2 + (n + 2)2 dn+2 + dn tn+2 = 2 f rac(1)n 2n22n (n!)2 t2n
n=1 n=1
e igualando los coeficientes correspondientes a potencias iguales de las dos series y observando
que en la serie de la derecha solo hay potencias de t:
(1)2 4 1
d1 = 0, 22 d2 = (2) = d 2 = ,
22 (1!)2 22 22
d3 = d5 = d7 = = 0,
(1)2 2 2 1
42 d4 + d2 = (2) 4 2
= 3
2 (2!) 2
1 1 1 1 1 1 1
d4 = 2 + d2 = 2 + = 2 2 1+
4 23 4 23 22 24 2
3
(1) 2 3 1
62 d6 + d4 = (2) 6 2
= 4
2 (3!) 2 2 3!
1 1 1 1 1 1 1
d6 = 2 2 2 + 1+ = 2 2 2 1+ +
6 4 2 3 22 42 2 2 4 6 2 3
En general
(1)k+1 1 1
d2k = 2 2 1 + + + =
. . (2k)2
2 4 . 2 k
(1)k+1 1 1
= 2k 2
1 + + +
2 (k!) 2 k
Por lo tanto
X X
n (1)n+1 1 1 2n
dn t = 2n (n!)2
1 + + + t
n=1 n=1
2 2 n
X 2n
(1)n 1 1 1 t
= 2
1 + + + + +
n=1
(n!) 2 2 n 2
12.4 La ecuacion de Bessel 251
(c) Finalmente, si p es un entero entonces se puede ver que Jp (t y Jp (t) son funciones
linealmente dependientes. De hecho
Debemos aplicar de nuevo el teorema para buscar una segunda solucion del tipo (r1 = p, r2 = p):
X
x2 (t) = CJp (t) ln t + dn tnp
n=0
Procedemos como en el caso anterior; los calculos, sin embargo, son mas complicados
pero igualmente tediosos y sin ninguna dificultad conceptual adicional. Por ello los evitamos
y exponemos unicamente la solucion que se obtiene
" p1 2np p #
1 X (p n 1)! t 1 1 1 t
Kp (t) = + 1 + + +
2 n=0 n! 2 p! 2 n 2
2p+n
1 X (1)n 1 1 1 1 t
1 + + + + 1 + + + +
2 n=0 n!(n + p)! 2 n 2 p+n 2
+ Jp (t) ln t