Lecci

on 12

Ecuaciones lineales de segundo orden con

coeficientes analticos

12.1.

Introducci
on

En las aplicaciones aparecen a menudo ecuaciones lineales cuyos coeficientes no son constantes 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]:
Ejemplo 12.1 (Distribucion de la temperatura en una aleta de seccion transversal triangular).Por un tubo de seccion circular de 5 cm de radio se conduce aire a una temperatura de TA
o
C. A lo largo del tubo hay insertadas aletas refrigerantes como la que se muestra en la
Figura 12.1 de seccion transversal triangular. El radio del canto de la aleta, b, es 15 cm. La
conductividad termica de la aleta, k, es 327,4 kcal/h m2 o C/m; y el coeficiente de transmision
de calor superficial, h,es 9,8 kcal/h m2 o C. Suponiendo que la temperatura T o C en cada
punto de la aleta solo depende de la distancia vertical de este al centro del tubo, se quiere
saber cual es el valor de dicha temperatura en cada punto de la aleta.
De acuerdo con [3, p. 112], poniendo K = h/k sen y y = T TA , la ecuacion que
describe la distribucion de la temperatura en la aleta refrigerante es
x(b x)

dy
d2 y
+ (b 2x)
K(b x)y = 0.
dx
dx
221

222

Ecuaciones lineales de segundo orden con coeficientes analticos

x
b

Figura 12.1: Aleta refrigerante.

Se trata de una ecuacion diferencial lineal de segundo orden de coeficientes no constantes.
En esta leccion estudiaremos metodos generales para resolver este tipo de ecuaciones. Estos
metodos son conocidos con el nombre de metodos de resoluci
on de ecuaciones mediante
series de potencias.

12.2.

Resoluci
on de ecuaciones mediante series

Consideremos de nuevo una ecuacion lineal de segundo orden:

p(t)x00 + q(t)x0 + r(t)x = 0

(12.1)

En esta ecuacion, a diferencia de las ecuaciones estudiadas en la Leccion 11, estamos considerando la posibilidad de que el coeficiente que afecta a x00 sea distinto de 1. En realidad
podemos dividir por p(t) y recuperar una ecuacion como las contempladas en la Seccion
11.2.3 de la Leccion 11. Como veremos mas adelante, esto puede plantear problemas cuando
p(t) = 0 para alg
un valor de t. En cualquier caso, salvo en los puntos en los que p(t) = 0 las
q(t) 0
q(t) r(t)
y
son continuas y la ecuacion x00 +
x + f racdr(t)p(t)x = 0 es una
funciones
p(t) p(t)
p(t)
ecuacion lineal. De acuerdo con la teora de la Seccion 11.2.3 de la Leccion 11 sabemos que
la solucion general de (12.1) se puede escribir en la forma
x(t) = c1 x1 (t) + c2 x2 (t)
siendo x1 (t) y x2 (t) dos soluciones linealmente independientes. Por lo tanto el problema de
encontrar todas las soluciones de (12.1) se reduce al de encontrar dos soluciones que sean
linealmente independientes. Ya hemos visto como resolver este problema cuando p(t), q(t) y
r(t) son constantes. El siguiente caso mas sencillo es que p(t), q(t) y r(t) sean polinomios.
En este caso, parece logico pensar que se podra intentar encontrar soluciones que sean, a su
vez, polinomios. De esta forma los tres terminos de la ecuacion p(t)x00 , q(t)x0 y r(t)x seran
polinomios, as que, de forma similar a lo que sucede con la b
usqueda de soluciones particulares por el metodo de los coeficientes indeterminados, uno podra identificar coeficientes
para saber que polinomio puede ser solucion. Ilustramos este procedimiento mediante un
ejemplo.

12.2 Resolucion de ecuaciones mediante series

223

Ejemplo 12.2 .- Encuentrense dos soluciones linealmente independientes de la ecuacion

x00 2tx0 2x = 0

(12.2)

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(t) = a0 + a1 t + a2 t2 + =

X
a n tn
n=0

Ahora derivamos

X
x (t) = a1 + 2a2 t + 3a3 t + =
nan tn1
0

n=0

y
00

x (t) = 2a2 + 6a3 t + 12a4 t + =

n(n 1)an tn2

n=0

Sustituyendo en la ecuacion
0 = x00 2tx0 2x =

X
n=0

X
X
n(n 1)an tn2 2t nan tn1 2 an tn
n=0

n=0

X
X
n2
n
n(n 1)an t
2 nan t 2 an tn

n=0

n=0

(12.3)

n=0

A fin de poder agrupar los terminos correspondientes a la misma potencia de t, vamos a

escribir los terminos generales de la serie relativamente a tn . Para ello, hacemos un cambio
en el ndice del sumatorio: k = n 2, o n = k + 2, en la primera serie. As

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

donde la u
ltima igualdad es porque (k + 2)(k + 1) = 0 para k = 2 y k = 1. En realidad
llamar k o n al ndice del sumatorio es lo mismo as que:

X
n=0

n(n 1)an t

n2

X
n=0

(n + 2)(n + 1)an+2 tn

224

Ecuaciones lineales de segundo orden con coeficientes analticos

Sustituyendo esta expresion en (12.3) obtenemos

X
X
X
n
n
(n + 2)(n + 1)an+2 t
2nan t
2an tn = 0
n=0

n=0

n=0

o, agrupando todo en un solo termino:

[(n + 2)(n + 1)an+2 2nan 2an ] tn = 0

n=0

Como una serie es cero si y solo si todos sus terminos son cero:
(n + 2)(n + 1)an+2 = 2(n + 1)an
Es decir:
an+2 =

2an
n+2

n = 0, 1, 2, . . .

(12.4)

La ecuacion (12.4) es una formula de recurrencia donde los coeficientes a2 , a3 , a4 , . . . , de

la serie se obtienen a partir de a0 y a1 dando a n los valores 0, 1, 2, . . .:
2a0
2a1
2a2
1
2a3
2
2 2
= a0 , a3 =
, a4 =
= a0 , a5 =
= a3 = a1
2
3
4
2
5
5
3 5
2a4
1
1 1
a6 =
= a4 = a0 , etc
6
3
3 2
a2 =

Vemos as que los subndices pares se puede escribir todos en funcion de a0 y los impares
en funcion de a1 . Concretamente
a2k =

1
a0 ,
2k!

a2k+1 =

2k
a1
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.
Recordemos ahora que la solucion general de la ecuacion (12.2) es de la forma
x(t) = c1 x1 (t) + c2 x2 (t)
donde x1 (t) y x2 (t) son soluciones linealmente independientes en el intevalo donde las funciones p(t) y q(t) son continuas. En este caso p(t) = 2t y q(t) = 2, que son continuas en
todo R.
Hay una forma muy simple de encontrar dos soluciones
de (12.2): especificamos dos pares
a1
que se obtienen al sustituir dichois
de valores para a0 y a1 de forma que los vector
a2

12.2 Resolucion de ecuaciones mediante series

225

valores sean linealmente independientes. Por ejemplo a0 = 1, a1 = 0 y a0 = 0, a1 = 1. Para

estos valores:
(i) a0 = 1, a1 = 0 a2k =

1
, a2k+1 = 0 Esto nos proporciona una solucion:
k!

x1 (t) = 1 +

X (t2 )k
1 2 1 4 1 6
2
t + t + t + =
= et
1!
2!
3!
k!
k=0

(ii) a0 = 0, a1 = 1 a2k = 0, a2k+1

segunda solucion:

2k
=
que nos proporciona una
3 5 . . . (2k + 1)

X
8t
2n t2n+1
2t 4t
+
+ = t +
x2 (t) = t + +
3
15 60
3 5 . . . (2n + 1)
n=1

Son estas dos soluciones linealmente independientes?. Un criterio es que su Wronskyano

no se anule en alg
un punto del intervalo de definicion de la ecuacion. Para calcular el Wronskyano de x1 (t) y x2 (t) hay que hallar x01 (t) y x02 (t). Como se derivan las series de potencias?
Esta pregunta y otras basicas pero importantes sobre series de potencias se responden en el
Anexo correspondiente, que conviene repasar para tener frescos los conceptos fundamentales.

P
P
nan (t t0 )n1 . Es decir, las series
an (t t0 )n entonces x0 (t) =
En particular, si x(t) =
n=0

se derivan igual que los polinomios.

n=0

Para las dos soluciones que hemos hallado de la ecuacion (12.2) tenemos que x1 (0) = 1 y
= 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
act
uen de forma independiente. Por lo tanto

x1 (0) x2 (0)
1 0
= 1.
W (x1 , x2 )(0) = det 0
=
x1 (0) x02 (0)
0 1

x01 (0)

Esto significa que x1 (t) y x2 (t) son linealemte independientes. Por lo tanto, la solucion general
de la ecuacion sera:
!

n 2n+1
X
2
t
2
.
x(t) = c1 et + c2 t +
3 5 . . . (2n + 1)
n=1

a0
que heObservarmos, de nuevo, que las columnas de W (x1 , x2 )(0) son los vectores
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.
Teorema 12.3 Consideremos la ecuaci
on diferencial lineal de segundo orden
p(t)x00 + q(t)x0 + r(t) = 0

(12.5)

q(t) r(t)
y
admiten desarrollos en series de Taylor alredep(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 soluci
on
y supongamos que las funciones

x(t) = a0 + a1 (t t0 ) + a2 (t t0 )2 +
se pueden obtener sustituyendo esta expresi
on en la ecuaci
on(12.5) e igualando a cero los
coeficientes correspondientes a la misma potencia de (t t0 ) en la expresi
on obtenida. Para
obtener dos soluciones linealmente independientes se dan a a0 y a1 dos pares de valores que
formen vectores linealmente independientes.
Ejemplo 12.4

a) Encontrar dos soluciones linealmente independientes de la ecuacion

x00 +

3t 0
1
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

Las funciones

227

3t
1
y
son analticas en t = 0 porque
2
1+t
1 + t2

X
1
2
4
6
8
16
=
1

t
+
t

t
+
t

t
+

=
(1)n t2n .
1 + t2
n=0
Ademas, de acuerdo con el Teorema C.10, el radio de convergencia de esta serie es = 1. Es
decir, su intervalo de convergencia es (1, 1).
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
,
en serie de potencias, hacer las operaciones co2
1 + t 1 + t2
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
Podramos desarrollar

(t2 + 1)x00 + 3tx0 + x = 0

y operar con esta ecuacion. Primero derivamos x(t):
0

x (t) =

nan tn1 ,

n=0

X
x (t) =
n(n 1)an tn2 .
00

n=0

Sustitumos en la ecuacion:
0 = (t2 + 1)x00 + 3tx0 + x =

X
X
X
n1
n2
2
+
an tn =
+ 3t nan t
= (t + 1) n(n 1)an t
=

X
n
(n(n 1)an + 3nan + an ) t + + n(n 1)an tn2 =

n=0

n=0

=
=

n=0

n=0

X
n2 n + 3n + 1 an tn +
(n + 2)(n + 1)an+2 tn =

n=0

n=0

n=0

n=0

n=0

n2 + 2n + 1 an + (n + 2)(n + 1)an+2 tn =

(n + 1)2 an + (n + 2)(n + 1)an+2 tn

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
n+2
Podemos confeccionar una tabla como la siguiente para obtener los coeficientes ai de la sere
solucion:
an+2 =

an+2

n = 2k o n = 2k + 1

a2

(2 = 2 1, k = 1)

a3

a4

a5

a6

a7

1
= a0
2
2
= a1
3
3
= a0
4
4
= a3
5
5
= a4
6
6
= a5
7

(3 = 2 1 + 1, k = 1)
13
a0
24
24
=+
a1
35
135
=+
a0
246
246
=+
a1
357
=+

(4 = 2 2, k = 2)
(5 = 2 2 + 1, k = 2)
(6 = 2 3, k = 3)
(7 = 2 3 + 1, k = 3)

Para n par:
a2k = (1)k

1 3 . . . (2k 1)
a0
2 4 . . . 2k

y para n impar:
a2k+1 = (1)k

2 4 . . . 2k
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
13 4 135 6
1
t
t + =
x1 (t) = 1 t2 +
2
24
246

X
1 3 . . . (2n 1) 2n
=
(1)n
t =
2

.
.
.

2n
n=0

X
1 3 . . . (2n 1) 2n
=
(1)n
t
2n n!
n=0

12.2 Resolucion de ecuaciones mediante series

229

y poniendo a0 = 0 y a1 = 1
24 5 246 7
2
t
t + =
x2 (t) = t t3 +
3
35
357

X
2n n!
=
t2n+1
(1)n
1

.
.
.

(2n

1)!
n=0
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
= 1. As que = 1 alrededor de t = 0.
y lm
n 2n + 2
Para x2 (t)

2n+1 (n + 1)!

an+1 1 3 . . . (2n + 3)! 2(n + 1) 2n + 2

n
an
= 2n + 3 = 2n + 3
2
n!

1 3 . . . (2n + 1)!

2n + 2

= 1 y tambien = 1.
De nuevo lm
n 2n + 3
Ya sabamos por el Teorema 12.3 que = 1 era cuando menos el radio de convergencia
de cualquier solucion.
(b) La solucion general del sistema sera
x(t) = c1 x1 (t) + c2 x2 (t)
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
2 = x(0) = c1 x1 (0) + c2 x2 (0) = c1
3 = x0 (0) = c01 x01 (0) + c2 x02 (0) = c2

230

Ecuaciones lineales de segundo orden con coeficientes analticos

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 .

Ejemplo 12.5 Hallese la solucion del siguiente Problema de condiciones iniciales

(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
5(t 1)
q(t)
=
p(t)
t(t 2)

y r(t) =

3
t(t 2)

son analticas en t = 1 porque no se anula el denominador. As

X
x(t) =
an (t 1)n ,

X
x t() =
nan (t 1)n1
0

n=0

n=0

n(n 1)an (t 1)n2

x00 (t) =

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,
o formalmente: el desarrollo de f (t) en serie de potencias entorno a t = 1 es f (t) = a0 + a1 +
f 00 (1)
(t 1) + a2 (t 1)2 + con a0 = f (1), a1 = f 0 (1), a2 =
, etc. As, como f (t) = t2 2t,
2!
f (1) = 1 2 = 1, f 0 (t) = 2t 2, f 0 (1) = 0, f 00 (t) = 2, f 00 (1) = 2 y f 000 (t) = 0. Por lo tanto
2
t2 2t = 1 + (t 1)2 = (t 1)2 1
2

12.2 Resolucion de ecuaciones mediante series

231

Ahora, sustituyendo en la ecuacion:

X
0 = (t 2t)x + 5(t 1)x + 3x = [(t 1) 1]
n(n 1)an (t 1)n2 +
2

00

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
2

n
= (n + 2)(n + 1)an+2 (t 1) +
n + 4n + 3 an (t 1)n =
n=0

n=0

[(n + 2)(n + 1)an+2 + (n + 1)(n + 3)an ] (t 1)n .

n=0

De donde
an+2 = +

n+3
an ,
n+2

y obtenemos la siguiente tabla:

n

an+2

3
a2 = a0
2
4
a3 = a1
3
5
a4 = a2
4
6
a5 = a3
5
7
a6 = a4
6
8
a7 = a5
7

0
1
2
3
4
5
Para n par:
a2k =

35
a0
24
46
=
a1
35
357
=
a0
246
468
=
a1
357
=

3 5 . . . (2k + 1)
a0
2 4 . . . (2k)

y para n impar:
a2k+1 =

4 6 . . . (2k + 2)
a1
3 5 . . . (2k + 1)

Pero x(1) = 7 y x0 (1) = 3. Tomando a0 = 7 , a1 = 3

a2k =

3 5 . . . (2k + 1)
7 ,
2k k!

a2k+1 =

2k (k + 1)!
3
3 5 . . . (2k + 1)

232

Ecuaciones lineales de segundo orden con coeficientes analticos

y (conviniendo que 0! = 1)
x(t) = 7

X
3 5 . . . (2n + 1)
n=0

2n n!

(t 1)2n + 3

2n (n + 1)!
(t 1)2n+1
3

.
.
.

(2n
+
1)
n=0

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.
No siempre se puede encontrar el termino general de la serie de potencias que es solucion
de la ecuacion y nos tenemos que conformar con calcular solo alguno de sus primeros terminos. Debe decirse no obstante que, por lo general, conociendo del orden de los 5 primeros
terminos de una serie de potencias que representa la expansion de una funcion, los valores
que toma la serie y la funcion en las proximidades de ese punto son muy parecidos. Por
ejemplo
1
1
1
et = 1 + t + t2 + t3 + t4 +
2
3
4
es el desarrollo de et en las proximidades de cero y su radio de convergencia es infinito.
0
Calculando el valor de e0 1 en una calculadora obtenemos
0

e0 1 = 10 105170918
Y tambien utilizando la misma calculadora
1 + 00 1 +

1 1
1
1

+
+
= 10 105358333.
2 100 3000 40,000

Los dos n
umeros coinciden en 4 dgitos significativos. Evidentemente, cuantos mas terminos
de la serie conozcamos, el valor sera tanto mas aproximado. Hay que a
nadir que con ayuda
de un ordenador es muy facil conseguir en un instante tantos terminos de la serie como
queramos.
Ejemplo 12.6 Encuentrese la solucion del siguiente problema de condiciones iniciales:

(1 t)x00 + x0 + (1 t)x = 0
x(0) = 1, x0 (0) = 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:
0 = (1 t)
=

P
n=0

n(n 1)an tn2 +

n

(n + 2)(n + 1)an+2 t

n=0

n=0

an tn

= 2a2 +

n=0

n=0

nan tn1 + (1 t)

(n + 1)nan+1 t +

n=0

P
n=0

an tn =

(n + 1)an+1 tn +

n=0

an tn+1 =

(n + 3)(n + 2)an+3 tn+1

n=0

+a1 +

(n + 2)(n + 1)an+2 tn+1 +

n=0

(n + 2)an+2 t

n+1

+ a0 +

n=0

an+1 tn+1 =

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 + 2a2 = 0 a2 =
y

a0 + a1
2

(n + 3)(n + 2)an+3 n(n + 2)an+2 + an+1 an = 0,

Es decir,
an+3 =

n(n + 2)an+2 + an
(n + 3)(n + 2)

n = 0, 1, 2, . . .

n0

La tabla correspondiente queda:

n

an+3

a3 =

3a3 a2 + a1
a4 =
=
12

2
3
4

a0 a1
6

a0 a1 a0 + a1
+
+ a1
a0 + a1
2
2
=
12
12
2a0 + 2a1 a0 a1 a0 + a1

8a3 a2 + a2
a1
3
6
2
a5 =
=
=
20
20
60
a1 a0 + a1 a0 + a1

+
15a5 a4 + a3
a0
12
6
a6 =
= 4
=
30
30
360
a1 a0 + a1
a0

+
24a5 a6 a5 + a4
9a0 + 2a1
6
a7 =
= 15 60
=
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

12.2.1.

El caso no homog
eneo

Hasta ahora hemos considerado exclusivamente ecuaciones lineales homogeneas. Consideramos ahora el caso no homogeneo. Sabemos que la solucion general de la ecuacion:
p(t)x00 + q(t)x0 t + r(t)x = s(t)
es x(t) = xh (t) + xp (t) donde xh (t) es la solucion general de
p(t)x00 + q(t)x0 + r(t)x = 0,
que ya sabemos calcular, y xp (t) es una solucion particular de la ecuacion no homogenea.
Para calcular una de estas soluciones particulares procedemos como en el caso homogeneo
q(t) r(t) s(t)
(siempre que las funciones
,
y
sean analticas en t = t0 ). Escribimos
p(t) p(t) p(t)

X
x(t) =
an (t t0 )n
n=0

y sustituimos en la ecuacion. Desarrollamos en serie de Taylor

cientes correspondientes a las mismas potencias de t.

s(t)
e igualamos los coefip(t)

Ejemplo 12.7 Encontrar la solucion general de la ecuacion

x00 tx0 x = sen t
Tanto t como sen t son analticas en t = 0. As

X
x(t) =
an tn .
n=0

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

sustitumos en la ecuacion diferencial

0 =

X
X
n
(n + 2)(n + 1)an+2 t
nan t
an tn
n

n=0

n=0

n=0

[(n + 2)(n + 1)an+2 (n + 1)an ]t

n=0

As
(n + 2)(n + 1)an+2 tn = 0 an+2 =
n
0
1
2
3
4
5

1
an
n+2

an+2

1
a2 = a0
2
1
a3 = a1
3
1
1
a4 = a2 =
a0
4
42
1
1
a5 = a3 =
a1
5
53
1
a6 =
a0
642
1
a7 =
a1
753

Poniendo a0 = 1, a1 = 0, obtenemos:

X 1
1
1 4
1
x1 (t) = 1 + t2 +
t +
t6 + =
t2n .
n n!
2
42
642
2
n=0
Y escogiendo a1 = 1, a0 = 0

X
1
1 5
1
1
x2 (t) = t + t3 +
t +
t7 + =
t2n+1
3
53
753
3 5 . . . (2n + 1)
n=0
Para calcular xp (t), desarrollamos sen t en serie de Taylor en t = 0:

X
(1)n 2n+1
1 3
1
1
1
sen t =
t
=t
t +
t5 t7 + t9 +
(2n + 1)!
32
5432
7!
9!
n=0

Igualando los desarrollos en serie en x00 tx0 x = sen t:

X
n=0

[(n + 2)(n + 1)an+2 (n + 1)an ] tn = sen t

236

Ecuaciones lineales de segundo orden con coeficientes analticos

tenemos que:

(a2 a0 )t0 = 0 a2 = a0

1 + 2a1
6
1
1
2
2
(12a4 3a2 )t = 0t a4 = a2 = a0
4
4
1
4a3 +
1
6 = 24a3 + 1
(20a5 4a3 )t3 = a5 =
6
20
120
5a4
5
4
4
(30a6 5a4 )t = 0t a6 =
=
a0
30
120
1
1
1
42a7 6a5 =
a7 =
+ a5
5!
42 5! 7
(6a3 2a1 )t3 = 1t0 a3 =

Los valores de a0 y a1 son arbitrarios. Tomando los mas sencillos posible: a0 = a1 = 0

obtenemos
1
1
19
a2 = 0, a3 = , a4 = 0, a5 = , a6 = 0, a7 =
,...
6
40
5040
Y la solucion particular sera:
1
1
19 7
xp (t) = t3 + t5 +
t + .
6
40
5040
La solucion general de la ecuacion no homogenea: x(t) = c1 x1 (t) + c2 x2 (t) + yp (t)

X
X
1 2n
1
1
1
19 7
x(t) = c1
t + c2
t2n+1 + t3 + t5 +
t +
n
2
n!
3

.
.
.

(2n
+
1)
6
40
5040
n=0
n=0

12.3.

Puntos singulares. El m
etodo Frobenius

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

X
2
r
an (t t0 )n+r
x(t) = (t t0 ) a0 + a1 (t t0 ) + a2 (t t0 ) + =
n=0

Ejemplo 12.8 Hallese una solucion, si existe, de la forma x(t) =

P
n=0

la ecuacion:
2tx00 + x0 + tx = 0 0 < t <

an tn+r (a0 6= 0) para

12.3 Puntos singulares. El metodo Frobenius

237

Procedemos como en todos los casos anteriores, pero como r esta sin determinar, tendremos que calcular un valor de r para el que tal solucion exista. En primer lugar derivamos:

X
x (t) =
(n + r)an tn+r1
0

X
x (t) =
(n + r)(n + r 1)ann+r2
00

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
r1
r
+ra0 t
+ (r + 1)a1 t +
(n + r + 2)an+2 t
+
an tn+r+1 =
n=0

= [2(r 1) + r] a0 tr1 +
r

+(2r + 1)(r + 1)an t +

n=0

[(n + r + 2)(2n + 2r + 3)an+2 + an ] tn+r1

n=0

Igualando a cero los coeficientes:

r(2r 1)a0 = 0
(2r + 1)(r + 1)a1 = 0

(n + r + 2)(2n + 2r + 3)an+2 + an = 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
(n + 2)(2n + 3)an+2 = an an+2 =

1
an
(n + 2)(2n + 3)

Dando valores a n conseguimos la siguiente tabla:

n

an+2

a2 =

a3

a4

a5

a6

1
a0
23
1
=
a1 = 0
35
1
a0
=
a2 =
47
2347
=0
1
a0
=
a4 =
6 11
2 3 4 6 7 11

238

Ecuaciones lineales de segundo orden con coeficientes analticos

Si ponemos a0 = 1 (recordemos que x(t) =

an tn+r =

n=0

r = 0.)
x1 (t) = 1
= 1+

X
an tn porque, en este caso,
n=0

1 2
1
1
t +
t4
t6 + =
2 3
2347
2 3 4 6 7 11
X
(1)n t2n
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 convergente para todo t:
1

n+1
an+1
1
2 (n + 1)! 3 7 . . . (4n + 3)

=
an =
1
2(n + 1)(4n + 3)
n
2 n! 3 7 . . . (4n 1)
de modo que

1
= 0 y = .
n 2(n + 1)(4n + 3)
lm

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

a0
a2
a0
a4
a0
, a4 =
=
, a6 =
=
.
25
49
2459
6 13
2 4 6 5 9 13

Poniendo a0 = 1 obtenemos una segunda solucion en el intervalo (0, +):

t2
t4
t6
1
+

+ =
x2 (t) = t 2 1
2 5 2 4 5 9 2 4 6 5# 9 13
"

X
(1)n t2n
1
2
= t 1+
2n n! 5 9 . . . (4n 1)
n=0
De nuevo es facil ver que la serie es convergente para todo t.
El metodo utilizado en el ejemplo anterior se conoce con el nombre de m
etodo de
Frobenius y, de forma general, consiste en lo siguiente: Consideremos la ecuacion
p(t)x00 + q(t)x0 + r(t)x = 0

12.3 Puntos singulares. El metodo Frobenius

239

y supongamos que t = t0 es un punto singular (i.e. p(t0 ) = 0). Diremos que t = t0 es un

punto regular si las funciones
q(t)(t t0 )
p(t)

r(t)(t t0 )2
p(t)

son analticas en t0 . Por ejemplo para la ecuacion

(t2 1)2 x00 + (t + 1)x0 x = 0
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)
que no es analtica en t = 1. As que t = 1 no es un punto singular regular. Para t = 1
q(t)(t + 1)
(t + 1)2
1
=
=
2
2
2
2
(t 1)
(t 1)
(t 1)2

r(t)(t + 1)2
(t + 1)2
1
=
=
.
2
2
2
(t 1)
(t 1)
(t 1)2

Como ambas funciones son analtica en t = 1, t = 1 es un punto singular regular.

Continuamos ahora con el metodo de Frobenius. Si t = t0 es un punto singular regular
entonces siempre podemos encontrar una solucion de la ecuacion p(t)x00 + q(t)x0 + r(t)x = 0
en serie de potencias; es decir, de la forma

X
x(t) =
an (t t0 )n+r
n=0

para alguna constante r. El siguiente teorema que damos sin demostracion nos dice como
encontrar dicha solucion.
Teorema 12.9 Consideremos la ecuaci
on diferencial
p(t)x00 + q(t)x0 + r(t) = 0

(1),

y sea t = t0 un punto singular regular de la ecuaci

on. Entonces las funciones

(12.6)
q(t)(t t0 )
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 )
= b0 +b1 (tt0 )2 +b2 (tt0 )2 + ,
p(t)

r(t)(t t0 )2
= c0 +c1 (tt0 )+c2 (tt0 )2 +
p(t)

240

Ecuaciones lineales de segundo orden con coeficientes analticos

y supongamos que convergen en el intervalo (t0 , t0 + ). Supongamos tambien que las

races de la ecuacion
r(r 1) + b0 r + c0 = 0
son n
umeros reales r1 y r2 y que r1 r2 Entonces la ecuaci
on (12.6) tiene dos soluciones
x1 (t) y x2 (t) linealmente independientes en el intervalo (t0 , t0 + ) de la siguiente forma:
a) Si r1 r2 no es un n
umero entero positivo entonces

X
x1 (t) = (t t0 )
an (t t0 )n
r1

r2

x2 (t) = (t t0 )

n=0

dn (t t0 )n

n=1

b) Si r1 = r2 y este n
umero es, digamos,rentonces
x1 (t) = (t t0 )r

X
an (t t0 )n ,

x2 (t) = x1 (t) ln(t t0 ) + (t t0 )r

n=0

X
dn (t t0 )n
n=1

c) Si r1 r2 = N es un n
umero entero positivo entonces

X
x1 (t) = (t t0 )
an (t t0 )n
r

r1

x2 (t) = Cx1 (t) ln(t t0 ) + (t t0 )

n=0

r2

dn (t t0 )n

n=0

donde C es una constante que puede ser cero

Observaciones 12.10

1. Debe observase que b0 = lm

nt0

q(t)(t t0 )
r(t)(t t0 )2
y c0 = lm
.
nt0
p(t)
p(t)

2. A la ecuacion r(r 1) + b0 r + c0 = 0 se le llama ecuaci

on 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(t) = t+i

an tn

n=0

es una funcion que toma valores complejos, pero recordemos que

i

t+i = t ti = t eln t = t ei ln t =
= t [cos ( ln t) + i sen ( ln t)] .
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.
tx00 + 3x0 tx = 0 ,

t>0

En t = 0 tenemos un punto singular. Ademas

r(t)t2
t3
= = t2
p(t)
t

q(t)t
3t
=
=3 ,
p(t)
t

que son analticas en t = 0. As pues t = 0 es un punto singular regular.

La ecuacion indicial es r(r 1) + b0 r + c0 = 0. Y los coeficientes b0 y c0 se pueden calcular
r(t)t2
q(t)t
=3y
= t2 . De hecho b0 = 3 y
a partir del desarrollo en serie de Taylor de
p(t)
p(t)
c0 = 0. Pero salen tambien al calcular una solucion de la forma
x(t) =

an tn+r

n=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
an tn+r+1 = 0
(n + r)(n + r 1)an t
+
3(n + r)an t

n=0

n=0

n=0

As
r1

0 = r(r 1)a0 t

+ (r + 1)ra1 t + 3ra0 t

X
X
+ 3(n + r)an tn+r1
an tn+r+1 .
n=1

r1

X
+ 3(r + 1)a1 t +
(n + r)(n + r 1)an tn+r1 +
r

n=2

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
Y de aqu los valores de r:

r + 2r = 0

r1 = 0
r2 = 2

Sustituyendo estos valores de r en la segunda ecuacion obtenemos que necesariamente a1 = 0.

Ahora vamos a calcular dos soluciones linealmente independientes de acuerdo con el
Teorema 12.9. Sustitumos r1 = 0 en la tercera ecuacion:
an+2 =

an
.
(n + 2)(n + 4)

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
x1 (t) = 1 +
= 1+

1
1 4
1
1
1 2
t +

t +

t6 + =

24
24 46
2 46 4 6 8

X
t2n
t2n
=
1
+
2n n!2n (n + 1)!
2n n!(n + 1)!
n=1
n=1

Puesto que r1 r2 = 2 es un n
umero entero y r1 6= r2 , el Teorema 12.9 asegura que existe

X
2
una segunda solucion linealmente independiente de la forma x2 (t) = Cx1 (t) ln t + t
dn tn .
n=0

Derivando

x02 (t)

Cx01 (t) ln t

Cx001 (t) ln t

2Cx01 (t)

1 X
(n 2)dn tn3
+ Cx1 (t) +
t n=0

x002 (t)

1
1 X
Cx1 (t) 2 +
(n 2)(n 3)dn tn4
t
t
n=0

12.3 Puntos singulares. El metodo Frobenius

243

y sustituyendo en la ecuacion:

X
1
0 =
ln t +
(n 2)(n 3)dn tn3 +
C x1 +
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

Ctx001

2Cx01

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

Como x1 (t) es solucion de la ecuacion, el primer parentesis es cero. Entonces

2Cx01

+ 2Ct x1 d1 t

[(n + 2)ndn+2 dn ] tn1 = 0

n=0

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

O bien
2

d1 t

n=0

[2Can (n + 1) + (n + 2)ndn+2 dn ] tn1 = 0

n=0

Igualando a cero los coeficientes obtenemos d1 = 0, 2Ca0 d0 = 0; es decir, d0 = 2Ca0 = 2C

(recordemos que a0 = 1) con C una constante arbitraria. Y tambien
dn+2 =

dn 2Can (n + 1)
,
n(n + 2)

n1

Recordemos ahora que a1 = a3 = a5 = = 0. As pues, como d1 = 0, d3 = d5 = d7 =

= 0. Y
d2
2 3C
d2
3
d2 2 3Ca2
=

=
C
d4 =
24
24 2424
2 4 32
d4 2 5Ca4
d2
25C
d2
5C
d6 =
=

C
46
2446 462446
2 4 4 6 2304

244

Ecuaciones lineales de segundo orden con coeficientes analticos

As que los primeros terminos de la serie

X
dn tn2 son
n=0

X
d2 2
3
d2
5c 4
dn tn2 = 2Ct2 + d2 +
t Ct2 +
t4
t +
24
32
2446
2304
n=0

Observemos que
d2 + d2

1 2
1
t + d2
t4 + = d2 x1 (t).
24
2446

As pues

x2 (t) = Cx1 (t) ln t + d2 x1 (t) + C 2t

3
5 4
t2
t +
32
2304

Poniendo C = 1 y d2 = 0

5 4
3 2
2
t
x2 (t) = x1 (t) ln t + 2t t
32
2304

es la segunda solucion.

12.4.

La ecuaci
on de Bessel

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 n
umero 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
= 1 ,y
p(t)

r(t)t2
= t2 p2
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
=1 ,
t0 p(t)

b0 = lm

r(t)t2
= p2
t0 p(t)

lm

12.4 La ecuacion de Bessel

245

As pues,

r(r 1) + r p = 0 r p = 0

r1 = p
r2 = p

y
r1 r2 = 2p.
Caben varias posibilidades seg
un los valores de p. Pero antes de estudiar estas posibilidades
es importante observar que la ecuacion indicial se obtiene directamente del hecho de que
seg
un el Teorema de Frobenius siempre hay una solucion de la forma
x(t) =

X
an tn+r .
n=0

Utilizando este hecho obtendremos una informacion adicional muy valiosa. Para calcular an
derivamos x(t)

X
x (t) =
(n + r)an tn+r1
0

X
x (t) =
(n + r)(n + r 1)an tn+r2
00

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

+
an tn+r2 tn+r p2
n=0

Operando
r

r+1

0 = r(r 1)a0 t + (r + 1)ra1 t

X
+
(n + r + 2)(n + r + 1)an+2 tn+r+2 +
n=0

X
r
r+1
+ ra0 t + (r + 1)a1 t
+
(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 +

+
(n + r + 2)2 p2 an+2 + an tn+r+2 .
n=0

246

Ecuaciones lineales de segundo orden con coeficientes analticos

Igualando a cero los coeficientes de todas las potencias de r:

[r(r 1) + r p2 ] a0 = 0
[(r + 1)r + (r + 1) p2 ] a1 = 0
[(n + r + 2)2 p2 ] an+2 + an = 0 ,

n0

De la primera ecuacion obtenemos la ecuacion indicial:

r1 = p
2
2
r p =0
r2 = p
La segunda ecuacion se reduce a [(r + 1)2 p2 ] a1 = 0. Como r = p o p tenemos que
(p + 1)2 p 6= 0 y (p + 1)2 p2 6= 0 cualquiera que sea p. Por lo tanto a1 = 0. Esta la
informacion valiosa que no descubrimos si aplicamos directamente el Teorema 12.9.
Procedamos ahora a buscar soluciones aplicando el metodo de Frobenius. El Teorema
12.9 nos dice que la funcion

x(t) =

an t

n+r1

n=0

an tn+r1 an tn+p

n=0

siempre es solucion de la ecuacion. La dificultad esta en encontrar la segunda solucion linealmente independiente. Esta dependera de que r1 r2 sea o no un n
umero entero o cero.
Calculamos de momento la primera solucion. Basta sustituir r = p en la ecuacion

(n + r + 2)2 p2 an+2 + an = 0
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+2 =

an
(n + 2)(2p + n + 2)

n 0.

Dando valores a n:
a2 =
a3 =
a4 =
a5 =
a6 =

a0
2(2p + 2)
a1
3(2p + 3)
a2
4(2p + 4)
a3
5(2p + 5)
a4
6(2p + 6)

a0
22 (p + 1)

= 0 recordemos que a1 = 0
=

a2
a0
= 4
+ 2)
2 2(p + 1)(p + 2)

23 (p

= 0, a7 = a9 = . . . = 0
=

a4
a0
= 6
2 3!(p + 3)
2 3!(p + 1)(p + 2)(p + 3)

12.4 La ecuacion de Bessel

247

En general
a2k =
As
x1 (t) =

(1)k a0
.
22k k!(p + 1)(p + 2) (p + k)

X
n=0

(1)n t2n+p
.
22n n!(p + 1)(p + 2) (p + n)

(12.7)

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 funci
on gamma de Euler:
Z
(t) =
ex xt1 dx, t > 0
0

Recordemos que

f (x) dx

f (x) dx = lm

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

auqnue no vamos a demostrarlo aqu.

De la propia definicion se desprenden algunas propiedades interesantes de esta funcion.
Observemos que integrando por partes (u = xt , dv = ex dx):
Z s
Z s
Z s
x t s
x t
x t1
s t
e x dx = e x 0 + t e x
dx = e s + t sx xt1 dx.
0

En consecuencia
Z

ex xt dx =
0
0 Z s
s t
= lms (e s ) + t lms
ex xt1 dx =

(t + 1) =

x t

e x dx = lms

= t(t)
porque lm es st = 0 para t > 0. Ademas
s

(1) =
0

s
ex dx = lm es 0 = lm e0 es = e0 = 1.
s

248

Ecuaciones lineales de segundo orden con coeficientes analticos

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 + 1)(p + 2) (p + n) =

(p + n + 1)
(p + 1)

(12.8)

Y si k es un n
umero entero:
(k + 1) = k(k) = k(k 1)(k 1) = = k(k 1) 1(1) = k!
Volvemos ahora a la primera solucion obtenida para la ecuacion de Bessel. Sustitutendo
(12.8) en la solucion (12.7):
x(t) =

Escogiendo a0 =

X
(1)n (p + 1) 2n+p
a0 2n
t
n!2
(p
+
n
+
1)
n=0

1
, obtenemos como solucion de la ecuacion de Bessel
2p (p + 1)

(1)n
Jp (t) =
n!(p + n + 1)
n=0

2n+p
t
2

(12.9)

A esta funcion se le llama funci

on de Bessel de primer tipo de orden p.
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 n
umero entero.
b) p = 0
c) p 6= 0 n
umero entero.
(a) Si p no es un n
umero entero (a
un 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 u
nico que hay que hacer es sustituir p por p en la primera solucion obtenida.
As
2np

X
(1)n
t
Jp (t) =
n!(1 p + n) 2
n=0
sera una segunda solucion linealmente independiente.
(b) Si p = 0 entonces
J0 (t) =

X
n=0

(1)n
n!(n + 1)

2n
t
.
2

Pero como n es un entero (n + 1) = n!. As que

2n

X
(1)n t
J0 (t) =
(n!)2 2
n=0
y la segunda solucion se obtiene aplicando el Teorema 12.9 (en este caso r1 = r2 = 0):
x2 (t) = J0 (t) ln t +

X
dn tn
n=0

Para calcular los coeficientes d1 , d2 , . . . derivamos y sustituimos en la ecuacion:

X
1
=
ndn tn1 + J00 (t) ln t + J0 (t)
t
n=1

X
1
1
x002 (t) =
n(n 1)dn tn2 + J000 (t) ln t + 2J00 (t) 2 J0 (t)
t t
n=1

x02 (t)

Sustituyendo en la ecuacion:

X
X
n
2 00
0
ndn tn + tJ00 (t) ln t+
0 =
n(n 1)dn t + t J0 (t) ln t + 2tJ0 (t) J0 (t) +
n=1

X
+ J0 (t) +
dn tn+2 + t2 J0 (t) ln t

n=1

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

J00 (t)

Como
lo tanto

es solucion de la ecuacion t2 x00 + tx0 + t2 x = 0, el primer parentesis es cero. Por

2tJ00 (t)

+ d1 t + 2 d2 t +

n=1

(n + 2)2 dn+2 + dn tn+2 = 0.

250

Ecuaciones lineales de segundo orden con coeficientes analticos

Ahora bien

2n

X
(1)n t
J0 (t) = 1 +
(n!)2 2
n=1

con lo que
J00 (t)

2n1

X
(1)n 2n t
n=1

(n!)2 2

y
2tJ00 (t)

=2

X
(1)n 2n
n=1

22n (n!)2

t2n

Por consiguiente
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:
4
1
(1)2
=

d
=
,
2
22 (1!)2
22
22
d3 = d5 = d7 = = 0,
(1)2 2 2
1
42 d4 + d2 = (2)
= 3
4
2
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
= 4
2
2 (3!)
3!

2 2

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
d1 = 0, 22 d2 = (2)

En general
d2k

(1)k+1
1
1
= 2 2
1 + + +
=
2 4 .
. . (2k)2
2
k
(1)k+1
1
1
= 2k
1 + + +
2
2 (k!)
2
k

Por lo tanto

X
X
1
1 2n
(1)n+1
n
1 + + +
dn t =
t
2n (n!)2
2
2
n
n=1
n=1

2n

X
1
1
1
(1)n
t
1 + + + + +
=
2
(n!)
2
2
n
2
n=1

12.4 La ecuacion de Bessel

251

La segunda solucion lineal independiente sera:

K0 (t) = J0 (t) ln t

X
(1)n
n=1

(n!)2

1
1
1 + + +
2
n

2n
t
2

A esta funcion se le llama funci

on de Bessel de 2o tipo de orden cero.
(c) Finalmente, si p es un entero entonces se puede ver que Jp (t y Jp (t) son funciones
linealmente dependientes. De hecho
Jp (t) = (1)Jp (t)
Debemos aplicar de nuevo el teorema para buscar una segunda solucion del tipo (r1 = p, r2 = p):
x2 (t) = CJp (t) ln t +

X
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 u
nicamente la solucion que se obtiene
" p1
2np
1 X (p n 1)! t

p #
t
1
1
1
Kp (t) =
+
1 + + +

2 n=0
n!
2
p!
2
n
2

2p+n

t
1 X (1)n
1
1
1
1

1 + + +
+ 1 + + +
+
2 n=0 n!(n + p)!
2
n
2
p+n
2
+ Jp (t) ln t

A esta funcion se le conoce con el nombre de funci

on de Bessel de 2o tipo y orden
p (o tambien como funci
on de Neumann de orden p).

252

Ecuaciones lineales de segundo orden con coeficientes analticos