GUIA 8

Soluciones en series de potencias

El Teorema Fundamental de existencia y unicidad de soluciones permite denir una funcion
x = x(t) como la unica solucion de un problema de valores iniciales. Un problema de valores
iniciales en el punto t = t
0
consiste en una ecuacion diferencial de orden n
d
n
x
dt
n
= f
_
t, x,
dx
dt
, . . . ,
d
n1
x
dt
n1
_
junto con n condiciones de la forma
x(t
0
) = x
0
,
dx
dt
(t
0
) = x
(1)
0
, . . . ,
d
n1
x
dt
n1
(t
0
) = x
(n1)
0
.
Muchas de las llamadas funciones especiales, que aparecen en relacion con diversos problemas
tanto de la matematica pura como de la matematica aplicada, surgen de forma natural en
este contexto. Por ejemplo, las funciones de Bessel y los polinomios de Hermite y de Legendre
son soluciones de las respectivas ecuaciones:
ecuacion de Bessel: t
2
d
2
x
dt
2
+ t
dx
dt
+
_
t
2
p
2
_
x = 0,
ecuacion de Hermite:
d
2
x
dt
2
2t
dx
dt
+ x = 0,
ecuacion de Legendre:
_
1 t
2
_
d
2
x
dt
2
2t
dx
dt
+ x = 0.
Tambien las funciones del calculo elemental se pueden caracterizar en terminos de ecua-
ciones diferenciales. As, la funcion exponencial x = e
t
es la unica solucion del problema de
valor inicial
dx
dt
= x, x(0) = 1,
mientras que la funcion x = sen t puede verse como la solucion del problema de valor inicial
d
2
x
dt
2
+ x = 0, x(0) = 0, x

(0) = 1.
Se deja al lector la tarea de encontrar un problema de valores iniciales que determina a la
funcion x = cos t.
Varias de las funciones especiales, entre ellas las funciones de Bessel y los polinomios de
Hermite y Legendre mencionados antes, se obtienen como soluciones de ecuaciones lineales
homogeneas de segundo orden
d
2
x
dt
2
+ a(t)
dx
dt
+ b(t) x = 0,
cuyos coecientes a(t) y b(t) son funciones racionales de t, esto es, son cocientes de polinomios
en t. En general no existen metodos que permitan calcular las soluciones de estas ecuaciones
1
en terminos de funciones elementales. Si en un problema de interes practico se requiere del
estudio de una de estas funciones solucion es necesario recurrir a otras tecnicas.
El metodo de las soluciones en series, utilizado por Newton en sus Philosophia Natura-
lis Principia Mathematica (1686), es uno de los metodos mas antiguos de la teora de las
ecuaciones diferenciales. Consiste en determinar los coecientes c
0
, c
1
, c
2
. . . de modo que la
funcion
x(t) = c
0
+ c
1
(t t
0
) + c
2
(t t
0
)
2
+ =

n=0
c
n
(t t
0
)
n
(1)
sea solucion de una ecuacion dada, en un intervalo alrededor del punto t = t
0
.
Ejemplo 1. Consideremos el problema de valor inicial
dx
dt
= x, x(0) = 1.
Si suponemos que la solucion buscada x = x(t) tiene una expansion en serie de potencias
alrededor del punto t
0
= 0, entonces
x(t) = c
0
+ c
1
t + c
2
t
2
+ . . . =

n=0
c
n
t
n
, (2)
para ciertos coecientes c
0
, c
1
, c
2
, . . .. Derivando termino a termino se obtiene la expansion
para la derivada
dx
dt
= c
1
+ 2c
2
t + 3c
3
t
2
+ . . . =

n=1
nc
n
t
n1
.
Sustituyendo ahora en la ecuacion
dx
dt
x = 0 obtenemos
_
c
1
+ 2c
2
t + 3c
3
t
2
+
_

_
c
0
+ c
1
t + c
2
t
2
+ . . .
_
= 0
Sumando terminos se concluye que
(c
1
c
0
) + (2c
2
c
1
) t + (3c
3
c
2
) t
2
+ . . . =

n=0
((n + 1) c
n+1
c
n
) t
n
= 0.
Teniendo en cuenta la unicidad de las expansiones en series de potencias, el coeciente de
cada termino t
n
en la serie anterior debe ser igual a 0; por lo tanto para todo n = 0, 1, 2, . . .
se sigue que
(n + 1) c
n+1
c
n
= 0,
de donde se tiene una relacion de recurrencia para los coecientes c
n
:
c
n+1
=
c
n
n + 1
, n = 0, 1, 2, . . . .
En consecuancia c
n
=
c
n1
n
=
c
n2
n(n1)
= =
c
0
n!
. Reemplazando t = 0 en (2) se sigue que
x(0) = c
0
de donde la condicion inicial x(0) = 1 implica c
0
= 1, de forma que c
n
=
1
n!
para
n = 0, 1, 2, . . . y
x(t) = 1 + t +
t
2
2
+
t
3
6
+ . . . =

n=0
t
n
n!
,
que es el desarrollo en serie de Taylor de la funcion exponencial.
2
1. Soluciones cerca a un punto ordinario
En seguida estableceremos condiciones bajo las cuales una ecuacion lineal de segundo
orden posee soluciones que pueden escribirse como una serie de potencias y que en conse-
cuencia son susceptibles de ser determinadas mediante el metodo de las series que estamos
discutiendo. Consideremos la ecuacion en forma normal
d
2
x
dt
2
+ a(t)
dx
dt
+ b(t) x = 0. (3)
Denicion 1. Se dice que t
0
es un punto ordinario de la ecuaci on (3) si los coecientes a(t)
y b(t) son funciones analticas en t
0
. Es decir, si poseen representaci on en serie de potencias
alrededor de t = t
0
:
a(t) =

n=0
a
n
(t t
0
)
n
, | t t
0
|< R
a
, R
a
> 0,
b(t) =

n=0
b
n
(t t
0
)
n
, | t t
0
|< R
b
, R
b
> 0.
A un punto que no es ordinario se le llama punto singular
Ejemplo 2. En la ecuacion
d
2
x
dt
2
+ x = 0, los coecientes a(t) 0, b(t) 1, son funciones
analticas en todo punto t
0
. Sus expansiones en serie de potencias alrededor de t = t
0
se
reducen al termino constante. Para a(t) se tiene a
0
= a
1
= = 0. Similarmente, para b(t)
se tiene b
0
= 1 y b
1
= b
2
= 0.
Ejemplo 3. Para las ecuaciones de Cauchy-Euler
d
2
x
dt
2
+
a
t
dx
dt
+
b
t
2
x = 0,
(a y b constantes), el punto t
0
= 0 es un punto singular si a = 0 o b = 0, pues ni a(t) =
a
t
ni b(t) =
b
t
2
son funciones analticas en t
0
= 0. Estas funciones ni siquiera estan denidas
en t
0
= 0 ni se pueden redenir alrededor de t = 0 de manera que resulten analticas.
Posteriormente veremos que en general las ecuaciones de Cauchy-Euler no poseen soluciones
en series de potencias alrededor de t = 0 fuera de la solucion nula.
Ejemplo 4. Para la ecuaci on de Hermite
d
2
x
dt
2
2t
dx
dt
+ x = 0,
un parametro real, todo punto t = t
0
de la recta real es un punto ordinario. En efecto,
puede verse que
a(t) = 2t = 2t
0
2(t t
0
), y b(t) = ,
de donde a
0
= 2t
0
, a
1
= 2 y a
n
= 0 para n 2, en tanto que b
0
= y b
n
= 0 para n 1.
3
Ejemplo 5. La ecuaci on de Legendre escrita en forma normal es la ecuacion
d
2
x
dt
2

2t
1 t
2
dx
dt
+

1 t
2
x = 0,
donde es un parametro real. De esa forma a(t) =
2t
1t
2
y b(t) =

1t
2
. El punto t
0
= 0 es
un punto ordinario. En efecto, teniendo en cuenta la serie geometrica
1
1 s
=

n=0
s
n
,
que converge para 1 < s < 1, se tiene que
a(t) = 2t
1
1 t
2
= 2t

n=0
t
2n
=

n=0
2t
2n+1
, 1 < t < 1,
b(t) =

1 t
2
=

n=0
t
2n
, 1 < t < 1.
Por el contrario, los puntos t = 1 y t = 1 son puntos singulares pues los coecientes a(t) y
b(t) no admiten representacion en serie de potencias alrededor de t
0
= 1 o de t
0
= 1.
En el caso de la Ecuacion de Legendre, como ocurre en general, puede requerir cierto
trabajo obtener explcitamente las series de potencias que representan a(t) y b(t) alrededor
de un punto ordinario. Sin embargo, se puede demostrar que si P(t) y Q(t) son polinomios
sin races comunes y Q(t
0
) = 0, entonces la funcion racional
f(t) =
P(t)
Q(t)
puede escribirse como una serie de potencias alrededor del punto t
0
.
Ejemplo 6. La ecuaci on de Bessel escrita en forma normal es
d
2
x
dt
2
+
1
t
dx
dt
+
t
2
p
2
t
2
x = 0, p un parametro real,
con a(t) =
1
t
y b(t) =
t
2
p
2
t
2
. Su unico punto singular es t
0
= 0.
Teorema 1 (Soluciones analticas alrededor de un punto ordinario). Si t
0
es un punto
ordinario de la ecuaci on diferencial lineal homogenea (3), entonces para cada par de n umeros
x
0
y v
0
dados, la unica solucion x = x(t) de (3) que satisface las condiciones iniciales
x(t
0
) = x
0
y x

(t
0
) = v
0.
puede representarse en la forma de una serie de potencias
x(t) =

n=0
c
n
(t t
0
)
n
,
convergente en un intervalo | t t
0
|< R, R > 0. El intervalo t
0
R < t < t
0
+R de validez
de la expansion de x = x(t) es por lo menos igual al mayor de los intervalos alredededor de
t = t
0
sobre el cual ambos coecientes a(t) y b(t) tienen representaci on en series de potencias
alredededor de t = t
0
.
4
Demostraci on. La demostracion consiste en aplicar en general el metodo de las series utili-
zado en el ejemplo 1. Las relaciones algebraicas que conducen a las relaciones de recurrencia
son sencillas, aunque un poco largas. El unico punto delicado es la convergencia de la se-
rie obtenida. Los detalles pueden consultarse en Theory of Ordinary Dierential Equations,
Coddingnton and Levinson, McGraw Hill, 1955.
La ecuacion de Hermite. En el caso de la ecuaci on de Hermite
d
2
x
dt
2
2t
dx
dt
+ x = 0,
cada punto t
0
es un punto ordinario. En particular las expansiones para a(t) y b(t) alrededor
de t
0
= 0 estan dadas por
a(t) = 2t, b(t) = ,
y son validas en el intervalo < t < . De acuerdo al teorema 1, todas las soluciones de
la ecuacion de Hermite son analticas y su representacion en serie de potencias
x(t) = c
0
+ c
1
t + c
2
t
2
+ =

n=0
c
n
t
n
converge para todo t real. Los coecientes c
0
, c
1
, c
2
, . . . se determinan sustituyendo las expan-
siones en series de potencias de las funciones x(t), x

(t) y x

(t) en la ecuacion de Hermite:

x

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

n=1
nc
n
t
n1
,
x

(t) = 2c
2
+ 6c
3
t + . . . =

n=2
n(n 1) c
n
t
n2
.
Substituyendo ahora en la ecuacion de Hermite se obtiene
x

2t x

+ x =

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

n=1
nc
n
t
n1
+

n=0
c
n
t
n
=

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

n=1
2nc
n
t
n
+

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

n=1
((n + 2) (n + 1) c
n+2
(2n ) c
n
) t
n
= 0.
Para que esta serie se anule en un intervalo abierto sus coecientes deben ser todos nulos,
as que
c
2
=

2
c
0
, y c
n+2
=
(2n )
(n + 2) (n + 1)
c
n
, n = 1, 2, . . . . (4)
5
La relaciones de de recurrencia anteriores determinan los coecientes c
n
, n 2, en terminos
de c
0
y c
1
como sigue:
c
2
=

2
c
0
,
c
3
=
2 1
2 3
c
1
,
c
4
=
2 2
3 4
c
2
=
(2 2 )
2 3 4
c
0
,
c
5
=
2 3
4 5
c
3
=
(2 1 ) (2 3 )
2 3 4 5
c
1
,
y en general se tiene
c
2k
=
(2 2 ) (2 (2k 2) )
(2k)!
c
0
h
2k
c
0
, k = 1, 2, . . . (5)
c
2k+1
=
(2 1 ) (2 (2k 1) )
(2k + 1)!
c
1
h
2k+1
c
1
k = 1, 2, . . . . (6)
Si ademas hacemos h
0
= 1 y h
1
= 1 se puede escribir
x(t) =

k=0
c
2k
t
2k
+

k=0
c
2k+1
t
2k+1
= c
0
_

k=0
h
2k
t
2k
_
+ c
1
_

k=0
h
2k+1
t
2k+1
_
, (7)
con c
0
y c
1
constantes que dependen de las condiciones iniciales. Se tiene en efecto que
x(0) = c
0
y x

(0) = c
1
. En vista del teorema 1, estas series son convergentes en (, ).
Podemos vericar directamente este hecho. En efecto, de acuerdo con las relaciones (5) y
(6), si escribimos
u(t)

k=0
h
2k
t
2k
, v(t)

k=0
h
2k+1
t
2k+1
,
se observa que
h
2k+2
h
2k
=
(2 (2k) ) (2k)!
(2k + 2)!
=
(2 (2k) )
(2k + 1) (2k + 2)
=
4

k
_
2 +
1
k
_
(2k + 2)
,
de donde lm
k
h
2k+2
h
2k
= 0. Teniendo en cuenta el criterio del cociente puede concluirse
que el radio de convergencia de la serie u(t) es . De manera similar se demuestra que el
radio de convergencia de la serie v(t) es . Se observa que cada una de las soluciones puede
expresarse como combinacion lineal de u(t) y v(t) :
x(t) = c
0
u(t) + c
1
v(t).
Es decir, las funciones u(t) y v(t) forman un conjunto fundamental de soluciones de la
ecuacion de Hermite.
6
Un caso interesante de la ecuacion de Hermite se da cuando el parametro es un entero
positivo par, digamos = 2p. En ese caso la relacion de recurrencia (4) muestra que c
p+2
=
c
p+4
= = 0. Si ademas p es par y se toma c
1
= 0 la solucion x = (t) dada en (7) se reduce
a un polinomio de grado p:
x(t) = c
0
p/2

k=0
h
2k
t
2k
= c
0
_
h
0
+ h
2
t
2
+ + h
p
t
p
_
. (8)
Analogamente, si p es impar y se toma c
0
= 0 en (7) la solucion x = x(t) se reduce a un
polinomio de grado p.
x(t) = c
1
(p1)/2

k=0
h
2k+1
t
2k+1
= c
1
_
h
1
t + h
3
t
3
+ + h
p
t
p
_
. (9)
Si ademas los respectivos coecientes c
0
y c
1
se escojen de manera que el coeciente del
termino en t
p
sea 2
p
, las correspondientes soluciones polinomicas reciben el nombre de Poli-
nomios de Hermite de grado p y se denotan por H
p
(t). A continuacion se muestran algunos
de estos polinomios
H
0
(t) = 1, H
1
(t) = 2t,
H
2
(t) = 2 + 4t
2
, H
3
(t) = 12t + 8t
3
.
Ejercicios
1. Encuentre la solucion general de la ecuacion
_
1 + t
2
_
x

4t x

+ 6x = 0
en la forma c
0
x
1
(t) + c
1
x
2
(t), donde x
1
= x
1
(t) y x
2
= x
2
(t) son series de potencias.
R. x(t) = c
0
(1 3t
2
) + c
1
_
t
t
3
3
_
2. Resuelva la ecuaci on de Airy
d
2
x
dt
2
+ t x = 0
en terminos de series de potencias alrededor del punto t = 0. Determine directamente
el radio de convergencia de las series obtenidas. Halle ademas la solucion que satisface
x(0) = 1 y x

(0) = 1.
3. Halle la solucion general de la ecuacion
_
1 + t
2
_
x

+ 2t x

2x = 0
en terminos de una serie de potencias alrededor de t = 0 puede identicar esta serie
en terminos de funciones elementales?
R. x(t) = c
0
_
1 + t
2

1
3
t
4
+
1
5
t
6

1
7
t
8
+
_
+ c
1
t = c
0
(1 + t arctan t) + c
1
t.
7
4. Para la ecuacion de Legendre
(1 t
2
)
d
2
x
dt
2
2t
dx
dt
+ ( + 1)x = 0,
un parametro real, a) halle dos soluciones linealmente independientes en forma de
serie de potencias alrededor de t = 0 y determine el radio de convergencia de estas
series. b) Muestre que si = N es un n umero entero existe una solucion polinomica de
grado N. c) Tomando = 3, determine la solucion que satisface x(0) = 0 y x

(0) = 1.
2. El metodo de Frobenius
Cuando las ecuaciones del tipo (3) tienen singularidades las soluciones no son en general
analticas en esos puntos, tal como lo muestra el siguiente ejemplo
Ejemplo 7. La ecuacion diferencial
t
2
d
2
x
dt
2
+ t
dx
dt

1
4
x = 0 (10)
no posee soluciones no nulas de la forma x(t) =

n=0
c
n
t
n
. Para vericar esto, supongamos
por contradiccion que si existen soluciones de esta forma. Derivando termino a termino x(t)
se obtienen las expresiones x

(t) =

n=1
nc
n
t
n1
y x

(t) =

n=2
n (n 1) c
n
t
n2
, que
reemplazadas en (10) dan
t
2
x

(t) + t x

(t)
1
4
x =

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

n=1
nc
n
t
n

n=0
1
4
c
n
t
n
=
1
4
c
0
+
_
1
1
4
_
c
1
t +

n=2
_
n
2

1
4
_
c
n
t
n
= 0.
Para que esta serie se anule en un intervalo, sus coecientes deben ser todos iguales a cero.
Esto implica c
n
= 0 para todo n = 0, 1, . . . . Por tanto, la unica solucion en serie de potencias
en este caso es la solucion nula.
El ejemplo anterior es un caso particular de la ecuaci on de Cauchy-Euler:
t
2
d
2
x
dt
2
+ a t
dx
dt
+ b x = 0. (11)
Estas ecuaciones tienen soluciones de la forma x(t) = t
r
. En efecto el exponente r se puede
hallar reemplazando x(t) = t
r
en (11):
t
2
x

(t) + a t x

(t) + b x = t
2
r (r 1) t
r2
+ a t r t
r1
+ b t
r
= t
r
_
r
2
+ (a 1) r + b
_
= 0.
8
Es decir, los valores de r estan determinados por la ecuacion de ndices
r
2
+ (a 1) r + b = 0. (12)
Si esta ecuacion tiene races que no sean n umeros enteros positivos las correspondientes
soluciones x = t
r
no son analticas en t = 0.
Por ejemplo, la ecuacion de ndices de (10) esta dada por r
2

1
4
= 0, de donde la solucion
general de esta ecuacion en el intervalo (0, ) puede escribirse como
x(t) = c
1
t
1
2
+ c
2
t

1
2
donde c
1
y c
2
son constantes reales arbitrarias.
Denicion 2. Un punto sigular t
0
de la ecuaci on (3) se llama singular regular si (tt
0
) a(t)
y (tt
0
)
2
b(t) son funciones analticas en t
0
, es decir, si estas funciones pueden representarse
mediante series de potencias en t t
0
:
(t t
0
) a(t) =

n=0

n
(t t
0
)
n
, | t t
0
|< R
a
, R
a
> 0,
(t t
0
)
2
b(t) =

n=0

n
(t t
0
)
n
, | t t
0
|< R
b
, R
b
> 0.
Resulta claro que si t
0
es un punto singular regular entonces la ecuacion
d
2
x
dt
2
+ a(t)
dx
dt
+ b(t) x = 0.
puede escribirse en la forma
(t t
0
)
2
d
2
x
dt
2
+ (t t
0
) (t)
dx
dt
+ (t) x = 0, (13)
con
(t) =

n=0

n
(t t
0
)
n
y (t) =

n=0

n
(t t
0
)
n
. (14)
Los coecientes
0
,
0
y
1
no son simultaneamente nulos pues en tal caso t
0
sera un punto
regular.
Ejemplo 8. Para la ecuaci on de Bessel t
0
= 0 es un punto singular regular (ver ejemplo 6).
Lo mismo es cierto para las ecuaciones de Cauchy-Euler (ver ejemplo 3). En la ecuaci on de
Legendre (ver ejemplo 5) t
0
= 1 y t
0
= 1 son puntos singulares regulares.
En 1873, F. G. Frobenius tuvo la idea de buscar soluciones en intervalos (t
0
, t
0
+ R),
(t
0
R, t
0
) a los lados de un punto singular regular t
0
.
9
Teorema 2 (Frobenius). Si las expansiones dadas (14) son ambas validas en el intervalo
(t
0
R, t
0
+ R), entonces la ecuaci on (13) tiene al menos una solucion de la forma
x(t) = |t t
0
|
r

n=0
c
n
(t t
0
)
n
, con c
0
= 0, (15)
valida en cada uno de los intervalos (t
0
, t
0
+ R) y (t
0
R, t
0
), en donde el exponente r es
una de las races de la ecuaci on de ndices
r
2
+ (
0
1) r +
0
= 0. (16)
Demostraci on. La demostracion consiste en suponer la existencia de una solucion x(t) de
la forma (15) y reemplazar las expresiones en series de potencias de x(t), x

(t) y x

(t) en
la ecuacion (13) para obtener la ecuacion de ndices y las relaciones que determinan a los
coecientes c
n
de la serie de potencias que dene a la solucion x(t). Finalmente se demuestra
que las serie de potencias

n=0
c
n
t
n
converge, pero eso requiere tecnicas avanzadas del
analisis matematico.
Ejemplo 9. La ecuacion
t
2
x

(t) t x

(t) + x = 0
es del tipo Cauchy-Euler. Se deja al lector la tarea de vericar que {t, ln t} es un conjunto
fundamental de soluciones en (0, ). Observese sin embargo que la solucion x(t) = ln t, t > 0
no puede expresarse en la forma (15) con t
0
= 0, lo que no contradice el Teorema 2.
Ejemplo 10. Se puede vericar que
_
t sen
1
t
, t cos
1
t
_
es un conjunto fundamental de solucio-
nes de
t
4
d
2
x
dt
2
+ x = 0
en el intervalo (0, ). Ninguna de estas soluciones se puede expresar de la forma (15) con
t
0
= 0. Notese que t
0
= 0 es un punto singular no regular de la ecuacion, por lo que no hay
contradiccion con el teorema 2.
La ecuacion de Bessel. Ilustraremos la demostracion del teorema anterior en el caso de
la ecuacion de Bessel
t
2
d
2
x
dt
2
+ t
dx
dt
+
_
t
2
p
2
_
x = 0, (17)
donde p es un parametro real no negativo. Supongamos que existe una solucion de la forma
x(t) = t
r

n=0
c
n
t
n
=

n=0
c
n
t
n+r
, con c
0
= 0,
denida en le intervalo (0, ). Derivando termino a termino se obtienen las expresiones
x

(t) =

n=0
(n + r) c
n
t
n+r1
y x

(t) =

n=0
(n + r) (n + r 1) c
n
t
n+r2
.
10
Reemplazando en (17) tenemos
t
2
d
2
x
dt
2
+ t
dx
dt
+
_
t
2
p
2
_
x =

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

n=0
(n + r) c
n
t
n+r
+
_
t
2
p
2
_

n=0
c
n
t
n+r
= t
r
_

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

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

n=0
p
2
c
n
t
n
+

n=0
c
n
t
n+2
_
= 0.
Teniendo en cuenta que t
r
> 0 en un intervalo del tipo (0, R) con R > 0, se deduce que

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

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

n=0
p
2
c
n
t
n
+

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

n=0
_
(n + r)
2
p
2
_
c
n
t
n
+

n=0
c
n
t
n+2
=

n=0
_
(n + r)
2
p
2
_
c
n
t
n
+

n=2
c
n2
t
n
=
_
r
2
p
2
_
c
0
+
_
(1 + r)
2
p
2
_
c
1
t
+

n=2
__
(n + r)
2
p
2
_
c
n
c
n2
_
t
n
= 0.
Se tiene entonces
_
r
2
p
2
_
c
0
= 0, (18)
_
(1 + r)
2
p
2
_
c
1
= 0, (19)
_
(n + r)
2
p
2
_
c
n
c
n2
= 0, n = 2, 3, . . . . (20)
La condicion c
0
= 0 y (18) implican
r
2
p
2
= 0.
Esta es precisamente la ecuacion de ndices, la cual tiene dos races r = p y r = p.
Investigaremos primero la mayor de las races, r = p. Reemplazando r = p en (19) y (20)
obtenemos (1 +2p) c
1
= 0 y n(n +2p) c
n
+c
n2
= 0, de donde se concluye que c
1
= 0 y que
c
n
=
c
n2
n(n + 2p)
, n = 2, 3, . . . . (21)
11
En consecuencia c
n
= 0 si n es impar mientras que si n es par c
n
se puede escribir en terminos
de c
0
:
c
2
=
1
2 2(1 + p)
c
0
c
4
=
1
4(4 + 2p)
c
2
=
(1)
2
(4 2) 2
2
(1 + p)(2 + p)
c
0
y en general,
c
2n
=
(1)
n
n!(2
n
)
2
(1 + p) (2 + p) (n + p)
c
0
,
para n = 1, 2, . Sin embargo c
0
puede escogerse arbitrariamente. De esta manera llegamos
a la solucion buscada
x(t) = t
p

n=0
(1)
n
c
0
n! (2
n
)
2
(1 + p) (2 + p) (n + p)
t
2n
. (22)
Puede vericarse, por ejemplo empleando el criterio de la razon, que la serie en la expresion
anterior converge para todo t real (ver ejercicios).
En este punto de la discusion es conveniente introducir una funcion que simplicara la
escritura de las soluciones de la ecuacion de Bessel. La funcion en cuestion es la funcion
gamma de Euler. Esta funcion se dene para valores s > 0 mediante
(s)
_

0
e
t
t
s1
dt,
y para valores no enteros s < 0 se dene en forma recurrente mediante la formula
(s) =
(s + 1)
s
.
La funcion gamma generaliza la nocion de factorial de un n umero entero. En efecto, no es
difcil probar que esta funcion satisface las identidades
(p + 1) = p (p) p real positivo (23)
(m + 1) = m! m entero positivo (24)
Como consecuencia se tiene
(1 + p) (2 + p) (n + p) =
(1 + p)
(1 + n + p)
.
La expresion (22) puede entonces reescribirse como
x(t) = c
0
t
p

n=0
(1)
n
(1 + p)
(1 + n + p) n!
_
t
2
_
2k
= c
0
(1 + p)

n=0
(1)
n
(1 + n + p) n!
_
t
2
_
2n
t
p
.
12
0 5 10 15 20 25 30
x
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
J
_
0
(
x
)
,



J
_
1
(
x
)
,



J
_
2
(
x
)
J_0
J_1
J_2
Figura 1: Funciones de Bessel de primer orden J
0
,J
1
,J
2
Cuando se toma c
0
=
1
2
p
(p+1)
en la expresion anterior se tienen las llamadas funciones de
Bessel de primera especie de orden p, que se denotan J
p
(t). Esto es
J
p
(t)

n=0
(1)
n
n! (p + n + 1)
_
t
2
_
2n+p
La gura 1 muestra los gracos de J
0
, J
1
y J
2
. Se observa que estas funciones oscilan de
modo que hacen recordar a las funciones trigonometricas sent y cos t.
Investigaremos ahora si existen soluciones de la ecuacion de Bessel asociadas a la raz
r = p; esto es, si existen soluciones de la forma
x(t) = t
p

n=0
c
n
t
n
, con c
0
= 0.
Reemplazando r = p en (18), (19) y (20) se obtienen las condiciones
0 c
0
= 0, (25)
(1 2p) c
1
= 0, (26)
n(n 2p) c
n
c
n2
= 0, n = 2, 3, . . . . (27)
Consideremos primero el caso en el que 2p no es un entero. En estas circunstancias las
relaciones (25), (26) y (27) implican que c
1
= c
3
= = 0 mientras que
c
2n
=
(1)
n
c
0
n! 2
2n
(1 p) (2 p) (n p)
. (28)
13
0 5 10 15 20 25 30
x
-2
-1.5
-1
-0.5
0
0.5
J
_
(
-
3
/
2
)
(
x
)
,




J
_
(
-
1
/
2
)
(
x
)
J_(-3/2)
J_(-1/2)
Figura 2: Funciones de Bessel de orden negativo J
0,5
,J
3,5
Si se toma c
0
=
1
2
p
(1p)
se obtiene una segunda solucion
J
p
(t) =

n=0
(1)
n
n! (n p + 1)
_
t
2
_
2np
. (29)
Puesto que J
p
(t) no esta acotada cerca a t = 0 mientras que J
p
(t) si lo esta, se sigue que
J
p
(t) y J
p
(t) son linealmente independientes y por tanto forman un conjunto fundamental
de soluciones de la ecuacion de Bessel. La gura 2 muestra los gr acos de algunas funciones
de Bessel con orden negativo.
Que ocurre si 2p es un entero, digamos si 2p = N? Notese que en este caso, en virtud de
(25), (26) y (27) y si N > 1 se tendra que c
N2
= 0. Ahora, si p no es un n umero entero
(de manera que N es impar) se sigue que c
1
= c
3
= = c
N2
= 0. Notese sin embargo
que las relaciones (28) correspondiente al termino c
2n
, k = 1, 2, . . . siguen siendo validas.
De este modo la funcion J
p
denida en (29) sigue proporcionando una segunda solucion
para la ecuacion de Bessel y las funciones J
p
(t) y J
p
(t) forman un conjunto fundamental
de soluciones.
Finalmente, cuando p sea un entero de modo que N es un n umero par, se sigue de
la relacion (27), que c
N2
= 0. Iterando hacia atras esta misma relacion se concluye que
c
N2
= c
N4
= = c
0
= 0 lo que signica que no existe una solucion de la forma
x(t) = t
p

n=0
c
n
t
n
, con c
0
= 0, en el caso en el que p sea entero. As, para tales valores
de p el metodo de Frobenius no proporciona un conjunto fundamenta de soluciones.
Una segunda solucion podra obtenerse a partir de J
p
(t) empleando el metodo de reduc-
cion de orden. Alternativamente puede procederse como sigue. Si p no es entero se dene la
14
funcion
Y
p
(t) =
cos p J
p
(t) J
p
(t)
sen p
Es claro que Y
p
(t) y J
p
(t) forman un conjunto fundamental para la correspondiente ecuacion
de Bessel. Ahora si p = n es un n umero entero se dene
Y
n
(t) = lm
pn
Y
p
(t).
Se demuestra en textos especializados (ver [1]) que Y
n
(t) es una solucion de la ecuacion de
Bessel y que cualquier solucion x = x(t) de la ecuacion de Bessel en (0, ) es de la forma
x(t) = c
0
J
p
(t) + c
1
Y
p
(t), 0 < t < ,
donde c
0
y c
1
son constantes. Las funciones Y
p
se denominan funciones de Bessel de segunda
especie de orden p.
Las funciones J
p
(t) y Y
p
(t) han sido extensamente estudiadas por la importancia que tie-
nen en varios modelos matematicos. Existen acerca de estas funciones verdaderos tratados
como el de G. Watson [3], res umenes muy bien logrados como el de I. Stegun y M., Abra-
mowitz [2] y presentaciones elementales como las de Simmons [4]. Las funciones de Bessel se
encuentran integradas a programas como Mathematica R .
Ejercicios
1. Halle los puntos singulares de las ecuaciones diferenciales siguientes y determine si son
regulares. Suponga que es constante
a) (1 t
2
) x

2t x

+ ( + 1) x = 0,
b) t
2
x

+ (1 t) x

= 0,
c) t x

+ sen t x = 0,
d) t
3
(t 1) x

2(t 1) x

+ 3t x = 0,
e) t x

+ cos t x

+ t
2
x = 0,
f ) t
2
(t
2
1) x

t (1 t) x

+ 2x = 0,
2. Demuestre directamente la convergencia de las funciones de Bessel de primera especie.
3. Halle la solucion general de t
2 d
2
x
dt
2
+ t
dx
dt
+ 4x = 0, t > 0.
4. Dada la ecuacion t x

+ 2x

t x = 0, t > 0, encuentre todas las soluciones de la

forma x(t) = t
r

n=0
c
n
t
n
con c
0
= 0. Si es posible escrbalas en terminos de funciones
elementales. Forman estas soluciones un conjunto fundamental?
5. Hallar todas las soluciones de t x

+ (1 t) x

+ 2x = 0, t > 0, de la forma x(t) =

t
r

n=0
c
n
t
n
. Forman estas soluciones un conjunto fundamental?
6. Resolver 2t x

+ (1 + t) x

2x = 0, t > 0.
7. Halle la solucion general en termino de funciones de Bessel;
a) t
2
x

+ t x

+ (36t
4
1) x = 0, t > 0. Sug. s = 3t
2
15
b) t
2
x

+ x

+ x = 0, t > 0. Sug. s = 2

t
8. Muestre que x(t) =

t J
1/2
(t) es solucion de x

+ x = 0. Deduzca que para alguna

constante c se tiene J
1/2
(t) = c
sen t

t
.
9. Para la ecuacion t x

+ x

+ t x = 0, halle la solucion sobre 0 < t < que satisface

x(1) = 0, x

(1) = 1. Muestre que no hay ninguna solucion que satisfaga x(0) = 0 y

x

(0) = 1.
10. Muestre que la sustitucion s =
1
t
transforma la ecuacion t
4 d
2
x
dt
2
+ x = 0 en la ecuacion
s
d
2
x
ds
2
2
dx
ds
+ s x = 0. Determine si el punto s = 0 es ordinario, singular regular o
singular no regular. Resuelva la ecuacion mediante los metodos tratados en esta gua.
Ver ejemplo 10.
Referencias
[1] Rabenstein, A.: Introduction to ordinary Dierential Equations. Academic Press, New
York, 1966.
[2] Stegun, I., Abramowitz, M.: Pocketbook of Mathematical Functions (Abridged edition),
Verlag Harri Deutsch, 1984
[3] Watson, G. A: Treatise on the Theory of Bessel Functions. University Press, Cambridge,
1962.
[4] Simmons, G. F.: Ecuaciones diferenciales con aplicaciones y notas historicas, McGrawHill,
Mexico, 1993.
16