GUIA 8

Soluciones en series de potencias

El Teorema Fundamental de existencia y unicidad de soluciones permite definir una funcion
x = x(t) como la unica solucion de un problema de valores iniciales. Un problema de valores
iniciales en el punto t = t0 consiste en una ecuacion diferencial de orden n
dn x dn1 x
 
dx
= f t, x, , . . . , n1
dtn dt dt
junto con n condiciones de la forma
dx (1) dn1 x (n1)
x(t0 ) = x0 , (t0 ) = x0 , . . . , (t0 ) = x0 .
dt dtn1
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:
d2 x dx
ecuacion de Bessel: t2 2 2


+ t + t p x = 0,
dt2 dt
d2 x dx
ecuacion de Hermite: 2
2t + x = 0,
dt dt

2
2 d x dx
ecuacion de Legendre: 1t 2t + x = 0.
dt2 dt
Tambien las funciones del calculo elemental se pueden caracterizar en terminos de ecua-
ciones diferenciales. As, la funcion exponencial x = et es la unica solucion del problema de
valor inicial
dx
= x, x(0) = 1,
dt
mientras que la funcion x = sen t puede verse como la solucion del problema de valor inicial
d2 x
+ x = 0, x(0) = 0, x0 (0) = 1.
dt2
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
d2 x dx
+ a(t) + b(t) x = 0,
dt2 dt
cuyos coeficientes 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 coeficientes c0 , c1 , c2 . . . de modo que la
funcion
2
X
x(t) = c0 + c1 (t t0 ) + c2 (t t0 ) + = cn (t t0 )n (1)
n=0
sea solucion de una ecuacion dada, en un intervalo alrededor del punto t = t0 .
Ejemplo 1. Consideremos el problema de valor inicial
dx
= x, x(0) = 1.
dt
Si suponemos que la solucion buscada x = x(t) tiene una expansion en serie de potencias
alrededor del punto t0 = 0, entonces

X
x(t) = c0 + c1 t + c2 t2 + . . . = cn t n , (2)
n=0

para ciertos coeficientes c0 , c1 , c2 , . . .. Derivando termino a termino se obtiene la expansion

para la derivada

dx 2
X
= c1 + 2c2 t + 3c3 t + . . . = n cn tn1 .
dt n=1
dx
Sustituyendo ahora en la ecuacion x = 0 obtenemos
dt

c1 + 2c2 t + 3c3 t + c0 + c1 t + c2 t2 + . . . = 0
2

Sumando terminos se concluye que

X
2
(c1 c0 ) + (2c2 c1 ) t + (3c3 c2 ) t + . . . = ((n + 1) cn+1 cn ) tn = 0.
n=0

Teniendo en cuenta la unicidad de las expansiones en series de potencias, el coeficiente de

cada termino tn en la serie anterior debe ser igual a 0; por lo tanto para todo n = 0, 1, 2, . . .
se sigue que
(n + 1) cn+1 cn = 0,
de donde se tiene una relacion de recurrencia para los coeficientes cn :
cn
cn+1 = , n = 0, 1, 2, . . . .
n+1
En consecuancia cn = cn1n
cn2
= n(n1) = = cn!0 . Reemplazando t = 0 en (2) se sigue que
x(0) = c0 de donde la condicion inicial x(0) = 1 implica c0 = 1, de forma que cn = n!1 para
n = 0, 1, 2, . . . y

t2 t3 X tn
x(t) = 1 + t + + + . . . = ,
2 6 n=0
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
d2 x dx
2
+ a(t) + b(t) x = 0. (3)
dt dt
Definicion 1. Se dice que t0 es un punto ordinario de la ecuacion (3) si los coeficientes a(t)
y b(t) son funciones analticas en t0 . Es decir, si poseen representacion en serie de potencias
alrededor de t = t0 :

X
a(t) = an (t t0 )n , | t t0 |< Ra , Ra > 0,
n=0

X
b(t) = bn (t t0 )n , | t t0 |< Rb , Rb > 0.
n=0

A un punto que no es ordinario se le llama punto singular

2
Ejemplo 2. En la ecuacion ddt2x + x = 0, los coeficientes a(t) 0, b(t) 1, son funciones
analticas en todo punto t0 . Sus expansiones en serie de potencias alrededor de t = t0 se
reducen al termino constante. Para a(t) se tiene a0 = a1 = = 0. Similarmente, para b(t)
se tiene b0 = 1 y b1 = b2 = 0.
Ejemplo 3. Para las ecuaciones de Cauchy-Euler

d2 x a dx b
2
+ + 2 x = 0,
dt t dt t
(a y b constantes), el punto t0 = 0 es un punto singular si a 6= 0 o b 6= 0, pues ni a(t) = at
ni b(t) = tb2 son funciones analticas en t0 = 0. Estas funciones ni siquiera estan definidas
en t0 = 0 ni se pueden redefinir 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 ecuacion de Hermite

d2 x dx
2
2t + x = 0,
dt dt
un parametro real, todo punto t = t0 de la recta real es un punto ordinario. En efecto,
puede verse que
a(t) = 2t = 2t0 2(t t0 ), y b(t) = ,
de donde a0 = 2t0 , a1 = 2 y an = 0 para n 2, en tanto que b0 = y bn = 0 para n 1.

3
Ejemplo 5. La ecuacion de Legendre escrita en forma normal es la ecuacion
d2 x 2t dx
2
2
+ x = 0,
dt 1 t dt 1 t2
2t
donde es un parametro real. De esa forma a(t) = 1t 2 y b(t) = 1t2 . El punto t0 = 0 es

un punto ordinario. En efecto, teniendo en cuenta la serie geometrica

1 X
= sn ,
1 s n=0

que converge para 1 < s < 1, se tiene que

1 X
2n
X
a(t) = 2t = 2t t = 2t2n+1 , 1 < t < 1,
1 t2 n=0 n=0

X
b(t) = = t2n , 1 < t < 1.
1 t2 n=0

Por el contrario, los puntos t = 1 y t = 1 son puntos singulares pues los coeficientes a(t) y
b(t) no admiten representacion en serie de potencias alrededor de t0 = 1 o de t0 = 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(t0 ) 6= 0, entonces la funcion racional
P (t)
f (t) =
Q(t)
puede escribirse como una serie de potencias alrededor del punto t0 .
Ejemplo 6. La ecuacion de Bessel escrita en forma normal es
d2 x 1 dx t2 p2
+ + x = 0, p un parametro real,
dt2 t dt t2
1 t2 p2
con a(t) = t
y b(t) = t2
. Su unico punto singular es t0 = 0.
Teorema 1 (Soluciones analticas alrededor de un punto ordinario). Si t0 es un punto
ordinario de la ecuacion diferencial lineal homogenea (3), entonces para cada par de numeros
x0 y v0 dados, la unica solucion x = x(t) de (3) que satisface las condiciones iniciales
x(t0 ) = x0 y x0 (t0 ) = v0. puede representarse en la forma de una serie de potencias

X
x(t) = cn (t t0 )n ,
n=0

convergente en un intervalo | t t0 |< R, R > 0. El intervalo t0 R < t < t0 + R de validez

de la expansion de x = x(t) es por lo menos igual al mayor de los intervalos alredededor de
t = t0 sobre el cual ambos coeficientes a(t) y b(t) tienen representacion en series de potencias
alredededor de t = t0 .

4
Demostracion. 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 Differential Equations,
Coddingnton and Levinson, McGraw Hill, 1955.

La ecuacion de Hermite. En el caso de la ecuacion de Hermite

d2 x dx
2
2t + x = 0,
dt dt
cada punto t0 es un punto ordinario. En particular las expansiones para a(t) y b(t) alrededor
de t0 = 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
2
x(t) = c0 + c1 t + c2 t + = cn tn
n=0

converge para todo t real. Los coeficientes c0 , c1 , c2 , . . . se determinan sustituyendo las expan-
siones en series de potencias de las funciones x(t), x0 (t) y x00 (t) en la ecuacion de Hermite:

X
x0 (t) = c1 + 2c2 t + . . . = n cn tn1 ,
n=1
X
x00 (t) = 2c2 + 6c3 t + . . . = n (n 1) cn tn2 .
n=2

Substituyendo ahora en la ecuacion de Hermite se obtiene

X
X
X
n2 n1
00 0
x 2t x + x = n (n 1) cn t 2t n cn t + cn tn
n=2 n=1 n=0
X
X
X
= (n + 2) (n + 1) cn+2 tn 2n cn tn + cn tn
n=0 n=1 n=0

X
= 2c2 + c0 + ((n + 2) (n + 1) cn+2 (2n ) cn ) tn
n=1
= 0.

Para que esta serie se anule en un intervalo abierto sus coeficientes deben ser todos nulos,
as que
(2n )
c2 = c0 , y cn+2 = cn , n = 1, 2, . . . . (4)
2 (n + 2) (n + 1)

5
La relaciones de de recurrencia anteriores determinan los coeficientes cn , n 2, en terminos
de c0 y c1 como sigue:

c2 = c0 ,
2
21
c3 = c1 ,
23
22 (2 2 )
c4 = c2 = c0 ,
34 234
23 (2 1 ) (2 3 )
c5 = c3 = c1 ,
45 2345
y en general se tiene

(2 2 ) (2 (2k 2) )
c2k = c0 h2k c0 , k = 1, 2, . . . (5)
(2k)!
(2 1 ) (2 (2k 1) )
c2k+1 = c1 h2k+1 c1 k = 1, 2, . . . . (6)
(2k + 1)!

Si ademas hacemos h0 = 1 y h1 = 1 se puede escribir

!
!
X X X X
2k 2k+1 2k 2k+1
x(t) = c2k t + c2k+1 t = c0 h2k t + c1 h2k+1 t , (7)
k=0 k=0 k=0 k=0

con c0 y c1 constantes que dependen de las condiciones iniciales. Se tiene en efecto que
x(0) = c0 y x0 (0) = c1 . En vista del teorema 1, estas series son convergentes en (, ).
Podemos verificar directamente este hecho. En efecto, de acuerdo con las relaciones (5) y
(6), si escribimos
X X
2k
u(t) h2k t , v(t) h2k+1 t2k+1 ,
k=0 k=0

se observa que

h2k+2 (2 (2k) ) (2k)! (2 (2k) ) 4 k

= = = ,
2 + k1 (2k + 2)


h2k (2k + 2)! (2k + 1) (2k + 2)

de donde lmk hh2k+2

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) = c0 u(t) + c1 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 cp+2 =
cp+4 = = 0. Si ademas p es par y se toma c1 = 0 la solucion x = (t) dada en (7) se reduce
a un polinomio de grado p:
p/2
X
h2k t2k = c0 h0 + h2 t2 + + hp tp .


x(t) = c0 (8)
k=0

Analogamente, si p es impar y se toma c0 = 0 en (7) la solucion x = x(t) se reduce a un

polinomio de grado p.
(p1)/2
X
h2k+1 t2k+1 = c1 h1 t + h3 t3 + + hp tp .


x(t) = c1 (9)
k=0

Si ademas los respectivos coeficientes c0 y c1 se escojen de manera que el coeficiente del

termino en tp sea 2p , las correspondientes soluciones polinomicas reciben el nombre de Poli-
nomios de Hermite de grado p y se denotan por Hp (t). A continuacion se muestran algunos
de estos polinomios
H0 (t) = 1, H1 (t) = 2t,
H2 (t) = 2 + 4t2 , H3 (t) = 12t + 8t3 .

Ejercicios
1. Encuentre la solucion general de la ecuacion
1 + t2 x00 4t x0 + 6x = 0

en la forma c0 x1 (t) + c1 x2 (t),

 donde  x1 = x1 (t) y x2 = x2 (t) son series de potencias.
2 t3
R. x(t) = c0 (1 3t ) + c1 t 3

2. Resuelva la ecuacion de Airy

d2 x
+ tx = 0
dt2
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 x0 (0) = 1.
3. Halle la solucion general de la ecuacion
1 + t2 x00 + 2t x0 2x = 0

en terminos de una serie de potencias alrededor de t = 0 puede identificar esta serie

en terminos de funciones elementales?
 
2 1 4 1 6 1 8
R. x(t) = c0 1 + t t + t t + + c1 t = c0 (1 + t arctan t) + c1 t.
3 5 7

7
 4. Para la ecuacion de Legendre

d2 x dx
(1 t2 ) 2
2t + ( + 1)x = 0,
dt dt
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 numero entero existe una solucion polinomica de
grado N . c) Tomando = 3, determine la solucion que satisface x(0) = 0 y x0 (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
2
2d xdx 1
t 2 +t x=0 (10)
dt dt 4
n
no posee soluciones no nulas de la forma x(t) =
P
n=0 cn t . Para verificar esto, supongamos
por contradiccion que si existen soluciones
P de esta forma. DerivandoP termino a termino x(t)
n1 n2
se obtienen las expresiones x0 (t) = n=1 n c n t y x 00
(t) = n=2 n (n 1) c n t , que
reemplazadas en (10) dan

2 1 X
n
X
n
X 1
00 0
t x (t) + t x (t) x = n (n 1) cn t + n cn t cn tn
4 n=2 n=1 n=0
4
   
1 1 X
2 1
= c0 + 1 c1 t + n cn tn = 0.
4 4 n=2
4

Para que esta serie se anule en un intervalo, sus coeficientes deben ser todos iguales a cero.
Esto implica cn = 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 ecuacion de Cauchy-Euler :

d2 x dx
t2 2
+ at + b x = 0. (11)
dt dt
Estas ecuaciones tienen soluciones de la forma x(t) = tr . En efecto el exponente r se puede
hallar reemplazando x(t) = tr en (11):

t2 x00 (t) + a t x0 (t) + b x = t2 r (r 1) tr2 + a t r tr1 + b tr

= tr r2 + (a 1) r + b

= 0.

8
Es decir, los valores de r estan determinados por la ecuacion de ndices

r2 + (a 1) r + b = 0. (12)

Si esta ecuacion tiene races que no sean numeros enteros positivos las correspondientes
soluciones x = tr no son analticas en t = 0.
Por ejemplo, la ecuacion de ndices de (10) esta dada por r2 14 = 0, de donde la solucion
general de esta ecuacion en el intervalo (0, ) puede escribirse como
1 1
x(t) = c1 t 2 + c2 t 2

donde c1 y c2 son constantes reales arbitrarias.

Definicion 2. Un punto sigular t0 de la ecuacion (3) se llama singular regular si (t t0 ) a(t)

y (tt0 )2 b(t) son funciones analticas en t0 , es decir, si estas funciones pueden representarse
mediante series de potencias en t t0 :

X
(t t0 ) a(t) = n (t t0 )n , | t t0 |< Ra , Ra > 0,
n=0

X
(t t0 )2 b(t) = n (t t0 )n , | t t0 |< Rb , Rb > 0.
n=0

Resulta claro que si t0 es un punto singular regular entonces la ecuacion

d2 x dx
2
+ a(t) + b(t) x = 0.
dt dt
puede escribirse en la forma

d2 x dx
(t t0 )2 2
+ (t t0 ) (t) + (t) x = 0, (13)
dt dt
con
X X
n
(t) = n (t t0 ) y (t) = n (t t0 )n . (14)
n=0 n=0

Los coeficientes 0 , 0 y 1 no son simultaneamente nulos pues en tal caso t0 sera un punto
regular.
Ejemplo 8. Para la ecuacion de Bessel t0 = 0 es un punto singular regular (ver ejemplo 6).
Lo mismo es cierto para las ecuaciones de Cauchy-Euler (ver ejemplo 3). En la ecuacion de
Legendre (ver ejemplo 5) t0 = 1 y t0 = 1 son puntos singulares regulares.
En 1873, F. G. Frobenius tuvo la idea de buscar soluciones en intervalos (t0 , t0 + R),
(t0 R, t0 ) a los lados de un punto singular regular t0 .

9
Teorema 2 (Frobenius). Si las expansiones dadas (14) son ambas validas en el intervalo
(t0 R, t0 + R), entonces la ecuacion (13) tiene al menos una solucion de la forma

X
r
x(t) = |t t0 | cn (t t0 )n , con c0 6= 0, (15)
n=0

valida en cada uno de los intervalos (t0 , t0 + R) y (t0 R, t0 ), en donde el exponente r es

una de las races de la ecuacion de ndices

r2 + (0 1) r + 0 = 0. (16)

Demostracion. 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), x0 (t) y x00 (t) en
la ecuacion (13) para obtener la ecuacion de ndices y las relaciones que determinan a los
coeficientes cn de la serie de P
potencias que define a la solucion x(t). Finalmente se demuestra
n
que las serie de potencias n=0 cn t converge, pero eso requiere tecnicas avanzadas del
analisis matematico.
Ejemplo 9. La ecuacion
t2 x00 (t) t x0 (t) + x = 0
es del tipo Cauchy-Euler. Se deja al lector la tarea de verificar 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 t0 = 0, lo que no contradice el Teorema 2.
Ejemplo 10. Se puede verificar que t sen 1t , t cos 1t es un conjunto fundamental de solucio-


nes de
d2 x
t4 2 + x = 0
dt
en el intervalo (0, ). Ninguna de estas soluciones se puede expresar de la forma (15) con
t0 = 0. Notese que t0 = 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
d2 x dx
t2 2 + t + t2 p2 x = 0,


(17)
dt dt
donde p es un parametro real no negativo. Supongamos que existe una solucion de la forma

X
X
r n
x(t) = t cn t = cn tn+r , con c0 6= 0,
n=0 n=0

definida en le intervalo (0, ). Derivando termino a termino se obtienen las expresiones

X
X
n+r1
0
x (t) = (n + r) cn t 00
y x (t) = (n + r) (n + r 1) cn tn+r2 .
n=0 n=0

10
Reemplazando en (17) tenemos

d2 x dx X
t2 2 2
(n + r) (n + r 1) cn tn+r


+ t + t p x =
dt2 dt n=0

X
n+r 2 2

X
+ (n + r) cn t + t p cn tn+r
n=0 n=0

X X
= tr (n + r) (n + r 1) cn tn + (n + r) cn tn
n=0

!n=0
X X
p2 cn tn + cn tn+2
n=0 n=0
= 0.

Teniendo en cuenta que tr > 0 en un intervalo del tipo (0, R) con R > 0, se deduce que

X
X
X
X
n n 2 n
(n + r) (n + r 1) cn t + (n + r) cn t p cn t + cn tn+2 = 0,
n=0 n=0 n=0 n=0

equivalentemente

X
X
X
X
2 2 n n+2 2 2 n
cn2 tn



(n + r) p cn t + cn t = (n + r) p cn t +
n=0 n=0 n=0 n=2
= r2 p2 c0 + (1 + r)2 p2 c1 t

X
(n + r)2 p2 cn cn2 tn



+
n=2
= 0.

Se tiene entonces

r2 p2 c0 = 0,


(18)
(1 + r)2 p2 c1 = 0,


(19)
(n + r)2 p2 cn cn2 = 0,


n = 2, 3, . . . . (20)

La condicion c0 6= 0 y (18) implican

r2 p2 = 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) c1 = 0 y n (n + 2p) cn + cn2 = 0, de donde se concluye que c1 = 0 y que
cn2
cn = , n = 2, 3, . . . . (21)
n (n + 2p)

11
En consecuencia cn = 0 si n es impar mientras que si n es par cn se puede escribir en terminos
de c0 :
1
c2 = c0
2 2(1 + p)
1 (1)2
c4 = c2 = c0
4(4 + 2p) (4 2) 22 (1 + p)(2 + p)

y en general,
(1)n
c2n = c0 ,
n!(2n )2 (1 + p) (2 + p) (n + p)
para n = 1, 2, . Sin embargo c0 puede escogerse arbitrariamente. De esta manera llegamos
a la solucion buscada

p
X (1)n c0
x(t) = t t2n . (22)
n=0
n! (2n )2 (1 + p) (2 + p) (n + p)

Puede verificarse, 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 simplificara la
escritura de las soluciones de la ecuacion de Bessel. La funcion en cuestion es la funcion
gamma de Euler. Esta funcion se define para valores s > 0 mediante
Z
(s) et ts1 dt,
0

y para valores no enteros s < 0 se define en forma recurrente mediante la formula

(s + 1)
(s) = .
s
La funcion gamma generaliza la nocion de factorial de un numero 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)
(1 + p) (2 + p) (n + p) = .
(1 + n + p)

La expresion (22) puede entonces reescribirse como

 2k  2n
(1)n

p
X (1)n (1 + p) t X t
x(t) = c0 t = c0 (1 + p) tp .
n=0
(1 + n + p) n! 2 n=0
(1 + n + p) n! 2

12
 1

J_0
0.8 J_1
J_2
0.6
J_0(x), J_1(x), J_2(x)

0.4

0.2

-0.2

-0.4

0 5 10 15 20 25 30
x

Figura 1: Funciones de Bessel de primer orden J0 ,J1 ,J2

1
Cuando se toma c0 = 2p (p+1) en la expresion anterior se tienen las llamadas funciones de
Bessel de primera especie de orden p, que se denotan Jp (t). Esto es
 2n+p
(1)n

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

La figura 1 muestra los graficos de J0 , J1 y J2 . Se observa que estas funciones oscilan de

modo que hacen recordar a las funciones trigonometricas sen t 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
x(t) = t p
cn tn , con c0 6= 0.
n=0

Reemplazando r = p en (18), (19) y (20) se obtienen las condiciones

0 c0 = 0, (25)
(1 2p) c1 = 0, (26)
n (n 2p) cn cn2 = 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 c1 = c3 = = 0 mientras que
(1)n c0
c2n = . (28)
n! 22n (1 p) (2 p) (n p)

13
 J_(-3/2)
0.5 J_(-1/2)

0
J_(-1/2)(x)

-0.5
J_(-3/2)(x),

-1

-1.5

-2
0 5 10 15 20 25 30
x

Figura 2: Funciones de Bessel de orden negativo J0,5 ,J3,5

1
Si se toma c0 = 2p (1p)
se obtiene una segunda solucion
 2np
(1)n

X t
Jp (t) = . (29)
n=0
n! (n p + 1) 2

Puesto que Jp (t) no esta acotada cerca a t = 0 mientras que Jp (t) si lo esta, se sigue que
Jp (t) y Jp (t) son linealmente independientes y por tanto forman un conjunto fundamental
de soluciones de la ecuacion de Bessel. La figura 2 muestra los graficos 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 cN 2 = 0. Ahora, si p no es un numero entero
(de manera que N es impar) se sigue que c1 = c3 = = cN 2 = 0. Notese sin embargo
que las relaciones (28) correspondiente al termino c2n , k = 1, 2, . . . siguen siendo validas.
De este modo la funcion Jp definida en (29) sigue proporcionando una segunda solucion
para la ecuacion de Bessel y las funciones Jp (t) y Jp (t) forman un conjunto fundamental
de soluciones.
Finalmente, cuando p sea un entero de modo que N es un numero par, se sigue de
la relacion (27), que cN 2 = 0. Iterando hacia atras esta misma relacion se concluye que
cN 2 = cNP 4 = = c0 = 0 lo que significa que no existe una solucion de la forma
n
x(t) = tp n=0 cn t , con c0 6= 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 Jp (t) empleando el metodo de reduc-
cion de orden. Alternativamente puede procederse como sigue. Si p no es entero se define la

14
funcion
cos p Jp (t) Jp (t)
Yp (t) =
sen p
Es claro que Yp (t) y Jp (t) forman un conjunto fundamental para la correspondiente ecuacion
de Bessel. Ahora si p = n es un numero entero se define

Yn (t) = lm Yp (t).
pn

Se demuestra en textos especializados (ver [1]) que Yn (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) = c0 Jp (t) + c1 Yp (t), 0 < t < ,

donde c0 y c1 son constantes. Las funciones Yp se denominan funciones de Bessel de segunda

especie de orden p.
Las funciones Jp (t) y Yp (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], resumenes 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 t2 ) x00 2t x0 + ( + 1) x = 0, d ) t3 (t 1) x00 2(t 1) x0 + 3t x = 0,

b) t2 x00 + (1 t) x0 = 0, e) t x00 + cos t x0 + t2 x = 0,
c) t x00 + sen t x = 0, f ) t2 (t2 1) x00 t (1 t) x0 + 2x = 0,

2. Demuestre directamente la convergencia de las funciones de Bessel de primera especie.

2
3. Halle la solucion general de t2 ddt2x + t dx
dt
+ 4x = 0, t > 0.

4. Dada la ecuacion t x00 + 2x0 t x = 0, t > 0, encuentre todas las soluciones de la

forma x(t) = tr n=0 cn tn con c0 6= 0. Si es posible escrbalas en terminos de funciones

P
elementales. Forman estas soluciones un conjunto fundamental?

5. Hallar todas las soluciones de t x00 + (1 t) x0 + 2x = 0, t > 0, de la forma x(t) =

tr n
P
n=0 cn t . Forman estas soluciones un conjunto fundamental?

6. Resolver 2t x00 + (1 + t) x0 2x = 0, t > 0.

7. Halle la solucion general en termino de funciones de Bessel;

a) t2 x00 + t x0 + (36t4 1) x = 0, t > 0. Sug. s = 3t2

15

b) t2 x00 + x0 + x = 0, t > 0. Sug. s = 2 t

8. Muestre que x(t) = t J1/2 (t) es solucion de x00 + x = 0. Deduzca que para alguna
constante c se tiene J1/2 (t) = c sen
t.
t

9. Para la ecuacion t x00 + x0 + t x = 0, halle la solucion sobre 0 < t < que satisface
x(1) = 0, x0 (1) = 1. Muestre que no hay ninguna solucion que satisfaga x(0) = 0 y
x0 (0) = 1.
2
10. Muestre que la sustitucion s = 1t transforma la ecuacion t4 ddt2x + x = 0 en la ecuacion
2
s ddsx2 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 Differential 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