SOLUCIONES EN FORMA DE SERIE DE POTENCIAS

EDUARDO MARTNEZ
Consideramos el problema de encontrar soluciones de la ecuacin diferencial
P(t) y + Q(t) y + R(t)y = 0 en un entorno de un cierto punto t
0
. Decimos que t
0
es un punto regular si P(t
0
) = 0. En caso contrario, si P(t
0
) = 0, decimos que el
punto t
0
es un punto singular.
1. Soluciones en torno a un punto regular
Consideremos por ejemplo la ecuacin de segundo orden que se conoce con el
nombre de ecuacin de Airy
y ty = 0.
No conocemos ninguna funcin elemental solucin de esta ecuacin, por lo que
podemos ensayar una solucin en forma de serie y(t) =

c
n
t
n
. Pongamos, por
ejemplo, condiciones iniciales y(0) = 1 e y(0) = 0. Teniendo en cuenta que las series
se pueden derivar trmino a trmino,
y =

n=1
nc
n
t
n1
y =

n=2
n(n 1)c
n
t
n2
y sustituyendo se obtiene que
y ty =

n=2
n(n 1)c
n
t
n2

n=0
c
n
t
n+1
= 0.
Para tener el mismo exponente en todas la series, hacemos el cambio de ndice de
suma m = n 2 en la primera serie y m = n + 1 en la segunda

m=0
(m + 2)(m + 1)c
m+2
t
m

m=1
c
m1
t
m
= 0.
Como cada serie empieza sumando en un entero diferente, para poder sacar factores
comunes debemos separar los trminos comunes de los no comunes
2 1 c
2
+

m=1
(m + 2)(m + 1)c
m+2
t
m

m=1
c
m1
t
m
= 0.
y as llegamos a
2 1 c
2
+

m=1
[(m + 2)(m + 1)c
m+2
c
m1
]t
m
= 0.
Por tanto
c
2
= 0
(m + 2)(m + 1)c
m+2
c
m1
m 1.
Las condiciones iniciales nos determinan los primeros coecientes
y(0) = c
0
= 1 y(0) = c
1
= 0.
1
2 EDUARDO MARTNEZ
por tanto llegamos nalmente a
c
0
= 1
c
1
= 0
c
2
= 0
c
m+2
=
1
(m + 2)(m + 1)
c
m1
m 1.
que determina completamente a sucesin de coecientes {c
n
}. Un clculo sencillo
muestra que la serie solucin es
y(t) = 1 +

n=0
(3n 2)!!!
(3n)!
t
3n
.
Por tanto existe una nica solucin formal (i.e. en forma de serie) de nuestro
problema. Sin embargo, para que dicha solucin sea til, la citada serie debe ser
convergente. Para determinar el radio de convergencia utilizamos el criterio de
DAlembert
lim
|a
n+1
|
|a
n
|
= |t|
3
lim
1
(3n 1)(3n 2)
= 0 < 1
por lo que dicha serie converge para todo t R, es decir, el radio de convergencia
es = .
Ejercicio 1.1: Hallar explcitamente la serie solucin de la ecuacin de Airy con
condiciones iniciales y(0) = 0, y(0) = 1, y probar que tambin converge para todo
t R.
Las funciones de Airy ms usadas son las siguientes combinaciones de las solu-
ciones anteriores
Ai(t) = c
1
y
1
(t) c
2
y
2
(t) c
1
=
1
3
2/3
(2/3)
Bi(t) =

3(c
1
y
1
(t) + c
2
y
2
(t)) c
2
=
1
3
1/3
(1/3)
De los clculos anteriores vemos que es muy interesante obtener una relacin
entre los radios de convergencia de las series de los coecientes y el radio de con-
vergencia de la serie solucin.
2. Soluciones analticas en torno a un punto regular
Comenzaremos por estudiar el caso general de un sistema de ecuaciones de primer
orden con coecientes analticos.
SOLUCIONES EN FORMA DE SERIE DE POTENCIAS 3
Teorema 2.1: Si A(t) una funcin matricial analtica en t
0
, entonces la solucin
del problema de valor inicial

X = A(t)X
X(t
0
) = X
0
es una funcin analtica en t
0
. El radio de convergencia de la solucin X(t) es
mayor o igual que el de la matriz A(t).
Dem. Sin perder generalidad, supondremos que t
0
= 0. En caso contrario cambiar
la variable a

t = t t
0
. Sabemos que A(t) es analtica, por lo que podemos escribir
A(t) =

n=0
A
n
t
n
para |t| < .
Dividiremos la prueba en varios pasos:
Existencia de una nica solucin formal: Ensayamos una solucin X(t) =

c
n
t
n
.
Para que se cumplan las condiciones iniciales, tenemos que c
0
= X
0
. La derivada
de X es

X(t) =

(n + 1)c
n+1
t
n
y el producto A(t)X(t) es A(t)X(t) =

d
n
t
n
donde d
n
=

n
k=0
A
k
c
nk
. Sustituyendo, obtenemos

X(t) A(t)X(t) =

[(n + 1)c
n+1
d
n
]t
n
= 0
de donde llegamos a que los coecientes c
n
estn determinados de manera nica
por las relaciones
c
0
= X
0
, c
n+1
=
1
n + 1
n

k=0
A
k
c
nk
n 0.
Convergencia de la solucin formal: Para cada t B(0, ), probaremos que la serie

c
n
t
n
converge absolutamente, con lo que quedar probado el resultado, al tener
en cuenta que el teorema de Abel.
En primer lugar, elijamos un nmero tal que |t| < < . De la convergencia
absoluta de A(t) =

n=0
A
n
t
n
para t = tenemos que la sucesin de sumandos
A
n

n
esta acotada, es decir, existe > 0 tal que ||A
n

n
|| para todo n 0.
Por conveniencia, denamos la sucesin {b
n
} por b
n
=
n
c
n
.
(1) Para cada n 0 se tiene ||b
n+1
||

n+1
(||b
0
|| + ||b
1
|| + + ||b
n
||). En
efecto,
b
n+1
= c
n+1

n+1
=

n+1
n + 1
n

k=0
A
k
c
nk
=

n + 1
n

k=0
(A
k

k
)(c
nk

nk
)
=

n + 1
n

k=0
(A
k

k
)b
nk
Tomando normas y usando la desigualdad triangular obtenemos
||b
n+1
||

n + 1
n

k=0
||A
k

k
||||b
nk
||

n + 1
n

k=0
||b
nk
|| =

n + 1
n

k=0
||b
k
||
(2) Si denimos las sucesin hipergeomtrica {
n
} por recurrencia

n+1
=

n + 1
(
0
+
1
+
n
)

0
= ||b
0
||
entonces ||b
n
||
n
para todo n 0. En efecto, por induccin completa:
para n = 0 es obvio que ||b
0
||
0
(son iguales) y supuesto que ||b
k
||
k
4 EDUARDO MARTNEZ
para k = 0, 1, . . . , n, entonces
||b
n+1
||

n + 1
(||b
0
|| + ||b
1
|| + + ||b
n
||)

n + 1
(
0
+
1
+ +
n
) =
n+1
(3) La serie de potencias

n
z
n
tiene radio de convergencia 1. En efecto, el
cociente de coecientes consecutivos es

n+1

n
=

n + 1
1

n
(
0
+
1
+ +
n1
+
n
)
=

n + 1
1

n
n

+
n

=
n +
n + 1
.
donde hemos usado
0
+
n1
=
n
n

, por la denicin de
n
. As,
aplicando el criterio del cociente,
lim
n
|
n+1
z
n+1
|
|
n
z
n
|
= |z| lim
n
n +
n + 1
= |z|,
y por tanto el radio de convergencia de dicha serie de potencias es 1.
(4) La serie

c
n
t
n
converge. En efecto, como z = |t|/ < 1, se tiene que

||c
n
t
n
|| =

||b
n
(t/)
n
|| =

||b
n
||z
n
<

n
z
n
y la serie

n
z
n
converge, por ser |z| < 1.

En el caso de una ecuacin de segundo orden P(t) y + Q(t) y + R(t)y = 0, con

P, Q y R funciones analticas y P(t
0
) = 0, podemos convertirla en un sistema de
primer orden de la forma

x
1
x
2

0 1

R(t)
P(t)

Q(t)
P(t)

x
1
x
2

como P(t
0
) = 0 se tiene que los cocientes
Q(t)
P(t)
y
R(t)
P(t)
son funciones analticas, por
lo que podemos aplicar el teorema anterior obteniendo el siguiente resultado.
Teorema 2.2: Las soluciones de la ecuacin diferencial P(t) y +Q(t) y +R(t)y = 0
con P, Q y R funciones analticas en un punto regular t
0
son funciones analticas
en t
0
. El radio de convergencia de dicha solucin es mayor o igual que el menor de
los radios de convergencia de Q/P y R/P.
Ejemplo 2.3: Para la ecuacin de Airy y + ty = 0, que fue considerada anteri-
ormente, tenemos que los coecientes 0 y t son funciones analticas con radio de
convergencia = . Por tanto todas las soluciones de dicha ecuacin son analticas
en toda la recta real.
Ejemplo 2.4: Consideremos la ecuacin diferencial
(1 + t) y t y + y = 0,
para la que t = 0 es un punto regular. Las coecientes
Q(t)
P(t)
=
t
1 + t
y
R(t)
P(t)
=
1
1 + t
son funciones analticas en t = 0 con radio de convergencia = 1. Por tanto las
soluciones de dicha ecuacin son analticas con radio de convergencia al menos 1.
Ntese que puede haber soluciones con radio mayor. Por ejemplo y(t) = t es una
solucin de dicha ecuacin que, por ser un polinomio, tiene radio de convergencia
innito.
SOLUCIONES EN FORMA DE SERIE DE POTENCIAS 5
La ecuacin no homognea. Para ecuaciones no homogneas tenemos tambin solu-
ciones analticas siempre que los datos sean funciones analticas
Teorema 2.5: Sea A(t) una funcin matricial y b(t) una funcin vectorial ambas
analticas en t
0
con radio de convergencia . La solucin del problema de valor
inicial


X = A(t)X + b(t)
X(t
0
) = X
0
es una funcin analtica en t
0
, con radio de convergencia al menos .
Dem. Obviamente, la solucin del problema homogneo es analtica, por lo que
slo tenemos que estudiar la solucin del no homogneo con condiciones iniciales
nulas, es decir,
X
p
(t) =

t
t
0
(t, )b() d.
Segn el teorema anterior, toda una matriz fundamental M(t) es analtica en t
0
con radio de convergencia al menos . Como adems el determinante de M no es
nulo para ninguna valor de t, se tiene que la matriz inversa M(t)
1
es tambin
analtica en t
0
con radio de convergencia mayor o igual que . En consecuencia, la
matriz resolvente (t, ) = M(t)M()
1
es analtica en ambas variables, de donde
se deduce inmediatamente que X
p
(t) = M(t)

t
t
0
M()
1
b() d es una funcin
analtica en t
0
con radio de convergencia no inferior a .
En el caso de ecuaciones de segundo orden, P(t) y+Q(t) y+R(t)y = f(t), tenemos
que tener en cuenta que los coecientes son Q/P y R/P, mientras que el trmino
independiente es f/R.
Teorema 2.6: Las soluciones de la ecuacin diferencial P(t) y +Q(t) y +R(t)y = 0
con P, Q y R funciones analticas en un punto regular t
0
son funciones analticas
en t
0
. El radio de convergencia de dicha solucin es mayor o igual que el menor de
los radios de convergencia de Q/P, R/P y f/P.
Como mtodo prctico para resolver problemas no homogneos, suele ser con-
veniente seguir los pasos del caso homogneo, desarrollando en serie el trmino
independiente e igualando coecientes.
Ejemplo 2.7: Consideremos el problema de valor inicial
y + ty = (1 + t)e
t
y(0) = 1, y(0) = 1.
Sustituyendo
y =

n=0
c
n
t
n
y e
t
=

n=0
1
n!
t
n
en la ecuacin diferencial y operando, obtenemos
(2c
2
1) +

n=1

(n + 2)(n + 1)c
n+2
+ c
n1

1
n!

1
(n 1)!

= 0
de donde se deduce
2c
2
= 1
(n + 2)(n + 1)c
n+2
= c
n1

n + 1
n!
n 1
junto con las condiciones iniciales que imponen c
0
= 1 y c
1
= 1.
Para resolver estas ecuaciones podemos cambiar c
n
= d
n
/n!, obteniendo despues
de algunas manipulaciones
d
n+2
1 = 1 d
n1
d
0
= d
1
= d
2
= 1,
6 EDUARDO MARTNEZ
que claramente tiene la solucin d
n
= 1, para todo n 0. Resulta por tanto
y(t) =

n=0
1
n!
t
n
= e
t
,
como puede comprobarse fcilmente sustituyendo en la ecuacin diferencial y en las
condiciones iniciales.
En todos los ejercicios el proceso a seguir es el siguiente:
(1) Suponer una solucin en forma de serie de potencias y(t) =

c
n
(t t
0
)
n
,
y sustituir en la ecuacin diferencial.
(2) Reindexar todas las series (cambiando la variable de suma) de forma que
en todas las series aparezca la misma potencia de (t t
0
).
(3) Cada serie empieza a sumar desde un valor distinto: separar los trminos
comunes y los no comunes.
(4) Igualar coecientes y resolver el coeciente de mayor ndice en trminos de
los anteriores.
(5) Estudiar los radios de convergencia de los coecientes de la ecuacin para
estimar el radio de convergencia de la solucin.
3. Solucin en torno a un punto singular regular
Consideramos en esta seccin un tipo de ecuaciones para las que el teorema de
existencia de Peano-Picard no se aplica, al poseer puntos donde existen discon-
tinuidades no evitables.
Ecuaciones de Euler. Como ejemplo sencillo de dichas ecuaciones, consideramos
ecuaciones de la forma
(t t
0
)
2
+(t t
0
) y +y = 0, , R,
que se conocen como ecuaciones de Euler. Estas se pueden resolver de forma exacta
por medio del cambio de variable t = t
0
+e
u
, para t > t
0
, y t = t
0
e
u
para t < t
0
.
Consideramos slo el caso t > t
0
, y de forma anloga se razona en el otro caso. Se
tiene entonces que
d
du
= (t t
0
)
d
dt
y
d
2
du
2
= (t t
0
)
d
dt
+ (t t
0
)
2
d
2
dt
2
.
En consecuencia, llamando z a la funcin transformada, i.e. z(u) = y(e
u
), la
ecuacin diferencial anterior se transforma en
d
2
z
du
2
+ ( 1)
dz
du
+u = 0
que es de coecientes constantes. Por tanto su solucin depende de las races
1
y

2
de la ecuacin de segundo grado
s
2
+ ( 1)s + = 0
Si
1
=
2
entonces tenemos dos soluciones independientes de la forma
z
i
(u) = e

i
u
, es decir
y
1
(t) = (t t
0
)

1
y y
2
(t) = (t t
0
)

2
.
Si
1
=
2
entonces tenemos dos soluciones independientes de la forma
z
1
(u) = e
u
y z
s
(u) = ue
u
, es decir
y
1
(t) = (t t
0
)

y y
2
(t) = (t t
0
)

ln(t t
0
).
En el caso t < t
0
se procede de forma anloga obtenindose similares resultados,
cambiando t t
0
por t
0
t. Ntese que
1
y
2
pueden ser complejas. En este
caso, recurdese que x
+i
= x

e
i ln x
= x

(cos( ln x) + i sin( ln x)).

SOLUCIONES EN FORMA DE SERIE DE POTENCIAS 7
Ejemplo 3.1: Consideremos la ecuacin diferencial
t
2
y + t y y = 0.
La ecuacin indicial es s
2
+ (1 1)s 1 = 0 es decir s
2
1 = 0, cuyas races son
+1 y 1. Por tanto dos soluciones independientes de esta ecuacin son
y
1
(t) = t y y
2
(t) =
1
t

Ejemplo 3.2: Consideremos la ecuacin diferencial

t
2
y + 3t y + y = 0.
La ecuacin indicial es s
2
+(3 1)s +1 = 0 es decir s
2
+2s +1 = 0, que tiene una
nica raz 1 doble. Por tanto dos soluciones independientes de esta ecuacin son
y
1
(t) =
1
t
y y
2
(t) =
1
t
ln t.

Ejemplo 3.3: Consideremos la ecuacin diferencial

t
2
y + t y + y = 0.
La ecuacin indicial es s
2
+ (1 1)s + 1 = 0 es decir s
2
+ 1 = 0, que tiene races
complejas +i y i. Por tanto dos soluciones independientes de esta ecuacin son
y
1
(t) = t
i
y y
2
(t) = t
i
.
Tomando las partes real e imaginaria obtenemos dos soluciones independientes
reales
u
1
(t) = cos(ln t) y u
2
(t) = sin(lnt)

Teniendo en cuenta la forma en la que se ha resuelto el problema, podemos

transformar la ecuacin de Euler a un sistema de primer orden, no de la forma
usual sino de la siguiente. Tomamos como variables x
1
= y y x
2
= (t t
0
) y, y
obtenemos el sistema
(t t
0
)

x
1
x
2

0 1
1

x
1
x
2

.
La solucin de un sistema de la forma (tt
0
)

X = AX (con A una matriz constante)
es
X(t) = e
Aln |tt
0
|
c
con c un vector constante. Ntese que los problemas de valor inicial expresados en
el punto singular t
0
no tienen por qu tener solucin.
Teora de Frobenius. En general consideraremos ecuaciones de la forma
P(t) y + Q(t) y + R(t)y = 0
con P(t
0
) = 0, es decir, con t
0
un punto singular. Basndonos en los resultados
sobre la ecuacin de Euler, podemos tratar de encontrar las soluciones en torno a
ciertos puntos singulares.
Tomando como variables x
1
= y y x
2
= (t t
0
) y, se transforma a sistema de
primer orden en la forma
(t t
0
)

x
1
x
2

0 1
b(t) 1 a(t)

x
1
x
2

8 EDUARDO MARTNEZ
donde a y b son las funciones
a(t) = (t t
0
)
Q(t)
P(t)
y b(t) = (t t
0
)
2
R(t)
P(t)
,
El matemtico alemn L. Fuchs prob, que si la singularidad t
0
es aislada en C,
entonces la ecuacin anterior tiene la propiedad de que toda solucin y(t) denida
en un entorno de t
0
satisface la condicin lim
tt
0
|t t
0
|
K
y(t) = 0 para alguna
constante K si y slo si las funciones a y b son analticas. Este ser el caso en el
que nos centraremos a continuacin.
Definicin 3.4: Un punto singular t
0
se dice que es singular regular si las fun-
ciones
a(t) = (t t
0
)
Q(t)
P(t)
y b(t) = (t t
0
)
2
R(t)
P(t)
son analticas en t = t
0
.
Se sobreentiende que, en particular, deben existir los lmites
= lim
tt
0
(t t
0
)
Q(t)
P(t)
y = lim
tt
0
(t t
0
)
2
R(t)
P(t)
.
La ecuacin de segundo grado
s
2
+ ( 1)s + = 0.
se llama ecuacin indicial, y a sus races se le llama ndices.
Ejemplo 3.5: Consideremos la ecuacin diferencial
(t
2
1)
2
y + 12(t + 1) y + y = 0.
Tenemos dos puntos singulares, t = 1 y t = 1.
Para t = 1 tenemos
a(t) = (t 1)
12(t + 1)
(t
2
1)
2
=
1
t
2
1
que no tiene lmite en t = 1, por lo que dicho punto es singular irregular.
Para t = 1 tenemos
a(t) = (t + 1)
12(t + 1)
(t
2
1)
2
=
12
(t 1)
2
que es analtica en t = 1 (con radio 2), y por otro lado
b(t) = (t + 1)
2
4
(t
2
1)
2
=
4
(t 1)
2
que igualmente es analtica. Por tanto t = 1 es un punto singular regular. Los
valores de y son
= lim
t1
a(t) =
12
4
= 3 y = lim
t1
a(t) =
4
4
= 1,
por lo que los ndices en dicho punto son la races de la ecuacin
s
2
+ 2s + 1 = 0,
que son: s = 1 doble.
Para simplicar, estudiaremos la solucin para t > t
0
.
Teorema 3.6 (de Frobenius): Sea t
0
un punto singular regular, sea el radio de
convergencia de los coecientes, y sean
1
y
2
los ndices, y supongamos que
los ordenamos de manera que Re(
1
) Re(
2
). Entonces existen dos soluciones
linealmente independientes en (t
0
, t
0
+) dadas por
SOLUCIONES EN FORMA DE SERIE DE POTENCIAS 9
(1) Si
1

2
no es un nmero entero, entones las soluciones son
y
1
(t) = (t t
0
)

1
c(t)
y
2
(t) = (t t
0
)

2
d(t)
con c y d analticas en B(t
0
, ) y con c(t
0
) = 1 y d(t
0
) = 1.
(2) Si
1

2
es un nmero entero, entones las soluciones son
y
1
(t) = (t t
0
)

1
c(t)
y
2
(t) = y
1
(t) ln(t t
0
) + (t t
0
)

2
d(t)
con c y d analticas en B(t
0
, ) y R. Si
1
=
2
entonces se puede
tomar = 1 y d(t
0
) = 0. Si
1
=
2
se puede tomar d(t
0
) = 1.
Dem. Probaremos slo la existencia de solucin formal, aceptando que dicha solu-
cin es analtica en la regin citada. Ensayemos una solucin del tipo y(t) =

n=0
c
n
t
n+s
. Se obtiene
t
2
y+ta(t) y+b(t)y = t
s

n=0

(n + s)(n + s 1)c
n
+
n

k=0

(k + s)a
nk
+ b
nk

c
k

t
n

de donde, teniendo en cuenta que a

0
= y b
0
= , obtenemos
p(s)c
0
= 0 y p(s + n)c
n
=
n1

k=0

(k + s)a
nk
+ b
nk

c
k
, n 1,
siendo p(s) = s(s 1) +s +, es el polinomio indicial.
Por tanto, como c
0
= 1 = 0 (en caso contrario re-indexar y cambiar s s + 1)
se obtiene que s es una raiz de la ecuacin indicial. Tomando la mayor de ellas (si
son reales o cualquiera si son complejas) s =
1
entonces p(n +
1
) = 0 (n +
1
es
mayor que
1
, luego no puede ser raz de p(s)) y por tanto la recurrencia anterior
tiene una nica solucin y
1
.
Si la segunda raiz
2
no diere de la primera en un entero, entonces tambin
resulta que (n+
2
) no es raz de p(s) para ningn s, por lo que de nuevo p(n+
2
) =
0 y la recurrencia tiene tambin una nica solucin y
2
.
En el caso en que la diferencia de las races sean iguales la segunda solucin
propuesta es evidentemente la misma que la primera, por lo que no obtenemos otra
independiente. En el caso en que las races dieran en un natural N la segunda
solucin dada puede obtenerse (aunque no de forma nica) si la ecuacin para c
N
es 0 c
N
= 0, ya que en caso contrario ser inconsistente 0 = = 0.
En estos dos ltimos casos se necesita una solucin independiente. Para ello
podemos proceder por reduccin. Conocida la solucin y
1
(t), la segunda solucin
se puede expresar en la forma y
2
(t) = y
1
(t)u(t). La derivada de u satisface una
ecuacin de primer orden lineal que se resuelve fcilmente y relacionndola con el
wronskiano, se llega a
y
2
(t) = y
1
(t)

2
1
y
1
()
2
exp

a(z)
z
dz

d.
Analizando esta solucin resulta
y
2
(t) = y
1
(t)

N1

n=0
k
n

n
d = k
N
y
1
(t) ln t + t

2
d(t),
con d(t) = y
1
(t)

N=n=0
k
n
nN
t
n
, una serie de potencias. As d(0) = 0 si N = 0 y
d(0) = 1/N = 0 si N = 0.
Con esto queda probada la existencia de soluciones formales. El anlisis de la
convergencia de dichas series es mucho ms complicado
10 EDUARDO MARTNEZ
Los detalles de estos ltimos pasos son como siguen:

a(z)
z
dz =

a
0
z
+

n=0
a
n+1
z
n+1
dz = ln +()
(recurdese que a
0
= ) con () analtica y (0) = 0. As llegamos a
y
2
(t) = y
1
(t)

(+2
1
)
() d
con () = e
()
/y
1
()
2
=

n=0
k
n

n
analtica en 0 con (0) = k
0
= 1. Pero
como la suma de las races es
1
+
2
= 1, se tiene que + 2
1
= N + 1, por
lo que integrando obtenemos

(+2
1
)
() d =

(N+1)

n=0
k
n
t
n
d
= k
N
ln t +

N=n=0
k
n
n N
t
nN
= k
N
ln t + t
N
w(t)
con w analtica. Finalmente, poniendo y
1
(t) = t

1
c(t) y recordando
2
=
1
N,
llegamos a
y
2
(t) = y
1
(t)

(+2
1
)
() d
= y
1
(t)

k
n
ln t + t
N
w(t)

= k
n
y
1
(t) ln t + t
N
t

1
c(t)w(t)
= k
n
y
1
(t) ln t + t

2
c(t)w(t).
con d(t) = c(t)w(t) analtica.
Ntese que si las races de la ecuacin indicial son complejas i, con = 0,
entonces siempre estamos en el primer caso y slo necesitamos hallar una de ellas
y luego tomar las partes real e imaginaria. Para ello tngase en cuenta que
(t t
0
)
+i
= (t t
0
)

(t t
0
)
i
= (t t
0
)

e
i ln(tt
0
)
,
y desarrollando la ltima exponencial obtenemos
(t t
0
)
+i
= (t t
0
)

cos( ln(t t
0
)) + i sin( ln(t t
0
))

.
Ejemplo 3.7: Consideremos la ecuacin
2t y + y + ty = 0.
Las funciones a y b mencionadas son
a(t) = t
1
2t
=
1
2
b(t) = t
2
t
2t
=
t
2
2
,
que son claramente analticas en R. Los ndices son la soluciones de la ecuacin
s(s 1) +
1
2
s + 0 = 0,
es decir,
1
= 1/2 y
2
= 0. Por tanto dos soluciones independientes son de la
forma
y
1
(t) =

t c(t) y
1
(t) = d(t)
SOLUCIONES EN FORMA DE SERIE DE POTENCIAS 11
con c y d analticas en R. Un clculo largo, pero sencillo muestra que dichas
soluciones son
y
1
(t) =

1 +

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

,
y
y
2
(t) =

1 +

n=1
(1)
n
1
2
n
n!(4n 1)!!!!
t
2n

Detalles de los clculos:

Sustituimos y(t) =

n=0
c
n
t
n+0
en la ecuacin y resulta:
2t

n=0
n(n 1)c
n
t
n2
+

n=0
nc
n
t
n1
+ t

n=0
c
n
t
n
= 0,
2

n=0
n(n 1)c
n
t
n1
+

n=0
nc
n
t
n1
+

n=2
c
n2
t
n1
= 0,
Por tanto poniendo p(s) = s(2s 1) obtenemos
p(0)c
0
= 0 p(1)c
1
= 0 p(n)c
n
+ c
n2
= 0 n 2
de donde (con c
0
= 1) se llega a c
1
= 0 y la recurrencia
c
n
=
1
p(n)
c
n2
.
En consecuencia, todos los coecientes de orden impar son nulos y los de orden par
vienen dados por
c
2n
= (1)
2
1
p(2n)p(2n 2)
c
2n4
= . . .
= (1)
n
1
p(2n)p(2n 2) . . . p(2)
c
0
= (1)
n
1
2
n
n!(4n 1)!!!!
.
Igualmente para la otra solucin, con =
1
2
, sustituimos y(t) =

n=0
c
n
t
n+
en la ecuacin y resulta:
2t

n=0
(n + )(n + 1)c
n
t
n+1
+

n=0
(n + )c
n
t
n+1
+ t

n=0
c
n
t
n+
= 0,
2

n=0
(n + )(n + 1)c
n
t
n+1
+

n=0
(n + )c
n
t
n+1
+

n=2
c
n2
t
n+1
= 0,
Por tanto poniendo p(s) = s(2s 1) obtenemos
p()c
0
= 0 p( + 1)c
1
= 0 p(n + )c
n
+ c
n2
= 0 n 2
de donde (con c
0
= 1) se llega a c
1
= 0 y la recurrencia
c
n
=
1
p(n + )
c
n2
.
Igual que antes, los coecientes de orden impar son nulos, y como
p(n + ) = (n +
1
2
)(2n + 1 1) = (2n + 1)n,
12 EDUARDO MARTNEZ
un calculo similar al anterior muestra que
c
2n
= (1)
2
1
p(2n)p(2n 2)
c
2n4
= . . .
= (1)
n
1
p(2n)p(2n 2) . . . p(2)
c
0
= (1)
n
1
2
n
n!(4n + 1)!!!!
.

En la prctica, si se pretende obtener explcitamente las soluciones, suele ser

ms efectivo sustituir y(t) =

n=0
c
n
t
n+s
en la ecuacin diferencial, de donde se
obtendr la ecuacin indicial al imponer que c
0
= 0.
Ejemplo 3.8: Consideremos la ecuacin
t y + 3 y ty = 0.
Las funciones a y b mencionadas son
a(t) = t
3
t
= 3 b(t) = t
2
t
t
= t
2
,
que son claramente analticas en R. Los ndices son la soluciones de la ecuacin
s(s 1) + 3s + 0 = 0,
es decir,
1
= 0 y
2
= 2. Por tanto dos soluciones independientes son de la
forma
y
1
(t) = c(t) y
1
(t) = y
1
(t) + t
2
d(t)
con c y d analticas en R. La primera solucin se halla como en el ejemplo anterior,
y resulta
y
1
(t) = 1 +

n=1
(1)
n
1
2
2n
(n + 1)!n!
t
2n
.
Sustituyendo y
2
en la ecuacin diferencial obtenemos
y
2
(t) = y
1
(t) ln(t) + d
2
y
1
(t) +

2
t
2

3
32
t
2

5
2304
t
4
+

Tomando d
2
= 0 y = 1, obtenemos una segunda solucin independiente.
Detalles de los clculos:
Sustituimos y(t) =

n=0
c
n
t
n+s
y obtenemos
t

n=0
(n + s)(n + s 1)c
n
t
n+s2
+ 3

n=0
(n + s)c
n
t
n+s1
t

n=0
c
n
t
n+s
= 0
Cambiando el ndice de la ltima ecuacin m = n 2, re-ordenando y dividiendo
por t
s1
obtenemos
p(s)c
0
+ p(s + 1)c
1
t +

n=0
[p(n + s)c
n
c
n2
]t
n
= 0,
donde p(s) = s(s + 2). Como c
0
= 0 se tiene p(s) = 0 (la ecuacin indicial) de
donde s = 0, 2. De aqu se deduce que c
1
= 0 y de aqu c
2n+1
= 0 para todo
n 0. Por lo que slo tenemos que obtener los pares.
SOLUCIONES EN FORMA DE SERIE DE POTENCIAS 13
Para obtener la primera solucin sustituimos s = 0 (la mayor de las races) y
obtenemos
c
2n
=
1
2n 2(n + 1)
c
2(n1)
=
(1)
2
2
4
n(n 1)
c
2n2
=
=
(1)
n
2
2n
n!(n + 1)!
c
0
tomando c
0
= 1 obtenemos el resultado indicado arriba.
Para la segunda solucin sustituimos y
2
= y
1
(t) ln t + t
2
d(t) en la ecuacin y
obtenemos
L[y] = L[y
1
] ln t + 2(y
1
+ t y
1
) + L[t

2
d(t)]
y como L[y
1
] = 0, se llega a
L[t

2
d(t)] = 2(y
1
+ t y
1
).
Poniendo d(t) =

n=0
d
n
t
n
y operando como antes
L[t

2
d(t)] = t
2

0 d
0
+ (1) d
1
t +

n=2
[n(n 2)d
n
d
n2
]t
n

y por otro lado

2(y
1
+ t y
1
)

n=0
2
2n + 1
2
2n
(n + 1)!n!
t
2n
.
Igualando estas dos expresiones, se tiene que los coecientes de orden impar se
anulan, c
2n+1
= 0, y los de orden par satisfacen la recurrencia
d
2n
=
1
2
2
n(n 1)
d
2n2
+
2n 1
2
2n1
(n!)
2
(n 1)
n 2
junto con 0 d
2
= d
0
+ 2. Por tanto, d
2
queda libre y d
0
+ 2 = 0. Tomando por
ejemplo d
2
= 0, = 1 y d
0
= 2, podemos ir hallando todos los coecientes.
Si se pretende slo estudiar la forma de las soluciones y la existencia de soluciones
para problemas de valor inicial, todo lo que tenemos que hacer es estudiar las races
de la ecuacin indicial y, en caso de que la diferencia entre ellas sea un nmero
natural, estudiar si aparece el trmino logartmico. Esto se sabe estudiando (para
la segunda solucin y
2
) la existencia de soluciones para la ecuacin del coeciente
c
N
, donde N =
1

2
. Si dicha ecuacin no tiene solucin entonces la segunda
solucin contendr un trmino logartmico.
Ejemplo 3.9: Consideremos la ecuacin diferencial
t y + 3 y ty = 0.
Los valores de y son
= lim
t0
t
3
t
= 3 = lim
t0
t
2
t
t
= 0,
por lo que la ecuacin indicial es s(s1) +3s+0 = 0, y los ndices resultan,
1
= 0
y
2
= 2. Por tanto, hay una solucin analtica y
1
(t) = t
0
c(t) = c(t), y, como la
diferencia entre las races es N =
1

2
= 2, la otra solucin tendr la forma
y
2
(t) = y
1
(t) + t
2
d(t)
14 EDUARDO MARTNEZ
con d analtica en R. Para determinar si hay trmino logartmico, sustituimos
y(t) =

n=0
c
n
t
n2
en la ecuacin diferencial y vemos que ocurre con la ecuacin
para c
2
. Un sencillo clculo muestra que la ecuacin para c
n
es
0 c
0
= 0
(1) c
1
= 0
(n 2)(n 4)c
n
+ c
n2
= 0 n 2,
con c
0
= 1 (o simplemente c
0
= 0). Para n = N = 2, la ecuacin para el coeciente
c
2
es 0 c
2
= c
0
= 0, que no tiene solucin. Por tanto, para obtener una solucin
independiente, debemos incluir el trmino logartmico, es decir = 0. Para obtener
esta segunda solucin se procede como se indic en el ejercicio anterior.
Ejemplo 3.10: Consideremos la ecuacin diferencial
t y + 3 y t
2
y = 0.
Los valores de y son
= lim
t0
t
3
t
= 3 = lim
t0
t
2
t
2
t
= 0.
Igual que en el ejemplo anterior, la ecuacin indicial es p(s) = s(s + 2) = 0 y
los ndices son
1
= 0 y
2
= 2. Hay una solucin analtica y
1
(t) = c(t), y
la otra solucin tendr la forma y
2
(t) = y
1
(t) + t
2
d(t) con d analtica en R.
Para determinar si hay trmino logartmico, sustituimos y(t) =

n=0
c
n
t
n2
en la
ecuacin diferencial y obtenemos
0 c
0
= 0
(1) c
1
= 0
0 c
2
= 0
(n 2)(n 4)c
n
+ c
n3
= 0 n 3.
Para n = N = 2, la ecuacin para el coeciente c
2
es 0 c
2
= 0, que tiene solucin
dejando c
2
arbitrario. Por tanto, podemos obtener una solucin independiente, en
la forma t
2
d(t), es decir, podemos prescindir del trmino logartmico, = 0.
Es fcil ver que la solucin y
1
asociada a la primera raz
1
= 0 es
y
1
(t) = 1 +

n=1
1
3
n
n!(3n + 2)!!!
t
3n
.
La solucin asociada a la segunda raz
2
= 2 es
y
2
(t) = t
2

1 +

n=1
1
3
n
n!(3n 2)!!!

+ c
2
y
1
(t)
es decir, la contribucin que proviene de elegir c
2
no nulo es simplemente un mltiplo
de la primera solucin.
Ejercicio 3.11: Para la ecuacin diferencial anterior, discutir la existencia de solu-
ciones del problema de valor inicial con condiciones iniciales y(0) = 1, y(0) = 1.
Notas, aclaraciones y extensiones
Algunas ecuaciones importantes. Citar las ecuaciones ms conocidas indicando
algunas propiedades y dirigiendo al alumno a otross libros de tablas.Ecuacin de Le-
gendre, Hermite, Laguerre, etc. y polinomios ortogonales. Ver apuntes de Artemio.
Aplicaciones a la mecnica cuntica.
Ecuaciones analticas no lineales. Solucin en forma de serie para ecuaciones
no lineales analticas.
SOLUCIONES EN FORMA DE SERIE DE POTENCIAS 15
Reduccin de orden. En la demostracin del teorema de Frobenius hemos uti-
lizado el siguiente resultado.
Teorema 3.12: Si u(t) es una solucin de la ecuacin diferencial y+q(t) y+r(t)y = 0
entonces otra solucin de dicha ecuacin, independiente de la anterior, es
v(t) = u(t)

t
1
u()
2
exp

q(z)dz

d.
Dem. Segn la frmula de Abel-Liouville, el Wronsquiano de dos soluciones es
W(t) = u(t) v(t) u(t)v(t) = Aexp

t
q(z)dz

,
donde A es una constante no nula. Dividiendo por u(t)
2
obtenemos
d
dt

v(t)
u(t)

=
1
u(t)
2
W(t)
de donde integrando
v(t)
u(t)
= B +

t
1
u()
2
W() d = B + A

t
1
u()
2
exp

q(z)dz

d.
de donde multiplicando por u(t) obtenemos que la expresin dada es una solucin.