Академический Документы
Профессиональный Документы
Культура Документы
on 12
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
x
b
12.2.
Resoluci
on de ecuaciones mediante series
(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.
223
(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
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
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
X
X
X
n
n
(n + 2)(n + 1)an+2 t
2nan t
2an tn = 0
n=0
n=0
n=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)
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)
225
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
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
P
P
nan (t t0 )n1 . Es decir, las series
an (t t0 )n entonces x0 (t) =
En particular, si x(t) =
n=0
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
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
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.
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
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 =
228
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
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 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
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 .
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)
X
x(t) =
an (t 1)n ,
X
x t() =
nan (t 1)n1
0
n=0
n=0
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
231
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=0
De donde
an+2 = +
n+3
an ,
n+2
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)
3 5 . . . (2k + 1)
7 ,
2k k!
a2k+1 =
2k (k + 1)!
3
3 5 . . . (2k + 1)
232
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
233
ecuacion:
0 = (1 t)
=
P
n=0
(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=0
+a1 +
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(n + 2)an+2 + an
(n + 3)(n + 2)
n = 0, 1, 2, . . .
n0
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
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
s(t)
e igualamos los coefip(t)
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
235
X
X
n
(n + 2)(n + 1)an+2 t
nan t
an tn
n
n=0
n=0
n=0
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
X
n=0
236
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 =
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
P
n=0
la ecuacion:
2tx00 + x0 + tx = 0 0 < t <
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
n=0
n=0
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)
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
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
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
239
r(t)(t t0 )2
p(t)
r(t)(t + 1)2
(t + 1)2
1
=
=
.
2
2
2
(t 1)
(t 1)
(t 1)2
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),
(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
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 ,
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
n=0
r2
dn (t t0 )n
n=0
Observaciones 12.10
nt0
q(t)(t t0 )
r(t)(t t0 )2
y c0 = lm
.
nt0
p(t)
p(t)
an tn
n=0
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.
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
q(t)t
3t
=
=3 ,
p(t)
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
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
r + 2r = 0
r1 = 0
r2 = 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
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
X
X
+ n(n 2)dn tn3
dn tn1
n=0
n=0
+ 2Ct x1 d1 t
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
n=0
dn 2Can (n + 1)
,
n(n + 2)
n1
=
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
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
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)
b0 = lm
r(t)t2
= p2
t0 p(t)
lm
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
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
n0
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)
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
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
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)
X
x2 (t) =
dn tnp
n=0
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
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
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
X
+
{[(n + 2)(n + 1) + (n + 2)] dn+2 + dn } tn+2
n=1
J00 (t)
Como
lo tanto
+ d1 t + 2 d2 t +
n=1
250
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=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
251
X
(1)n
n=1
(n!)2
1
1
1 + + +
2
n
2n
t
2
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
252