Introduccion al Metodo de Frobenius y el

Problema de Sturm-Loiuville

Sebastian Bruzzone

Abril 2006
Índice general

0.1. Soluciones Analiticas (Series de Potencias) . . . . . . . . . . . . . 1

0.1.1. Buscando soluciones regulares (Un ejemplo) . . . . . . . . 3
0.1.2. Buscando soluciones regulares (Segundo ejemplo) . . . . . 4
0.2. Puntos Singulares para Ecuaciones Diferenciales de Segundo Orden 5
0.3. El Metodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . 6
0.4. Analisis de los Casos Excepcionales . . . . . . . . . . . . . . . . . 8
0.4.1. Exponentes iguales, s1 = s2 . . . . . . . . . . . . . . . . . 8
0.4.2. Exponentes que difieren en un natural . . . . . . . . . . . 9
0.5. A Modo de Resumen . . . . . . . . . . . . . . . . . . . . . . . . . 12
0.5.1. Ejemplo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
0.6. Una Clase Particular de Ecuaciones . . . . . . . . . . . . . . . . 15
0.6.1. Unas ecuaciones de renombre . . . . . . . . . . . . . . . . 17
0.7. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
0.8. Problema de Sturm-Liouville y Funciones Ortogonales . . . . . . 18
0.8.1. Funciones y Valores Propios en Problemas de Contorno . 18
0.8.2. Ortogonalidad de las Funciones Propias . . . . . . . . . . 20
0.8.3. Ejemplo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
0.8.4. Desarrollo de una Funcion en Serie de Funciones Ortogonales 22
0.9. Problemas de Contorno Relativos a Ecuaciones Diferenciales no
Homogeneas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
0.10. Series de Bessel-Fourier. . . . . . . . . . . . . . . . . . . . . . . . 24

1
 Resumen

El fin de este trabajo es presentarle al estudiante un metodo muy util para la

resolucion de ecuaciones diferenciales de segundo orden conocido como el Meto-
do de Frobenius1 . Este metodo se convirtio en una herramienta muy poderosa
para la determinacion de soluciones para un amplio espectro de ecuaciones difer-
enciales de segundo orden con una inmediata repercusion en aplicaciones de la
fisica en innumerables problemas.
El metodo propone la busqueda de soluciones desarrollables en series de poten-
cias para ecuaciones diferenciales lineales de segundo orden. Este procedimiento
requiere el encontrar relaciones de recurrencia entre los coeficientes de las series
buscadas, asumiendo un primer termino no nulo.
Las ideas mas generales sobre desarrollos en series de potencias se presentan
en la primea seccion, Soluciones Analticas.. En la siguiente seccion se continua
con la definicion de puntos singulares para ecuaciones diferenciales lineales de
segundo orden para asi presentar a continuacion el tema principal en la seccion
El Metodo de Frobenius.
Un breve resumen es presentado y luego algunas ecuaciones de mucha importan-
cia son presentadas como casos particulares de las ecuaciones analizadas bajo el
metodo antes presentado en la seccion Una Clase Particular de Ecuaciones.

1 Nacimiento de Frobenius
0.1. Soluciones Analiticas (Series de Potencias)
Una clase muy extensa de ecuaciones diferenciales poseen soluciones ex-
presables en series de potencias, las cuales son validas en un dominio determina-
do. Las funciones que gozan de esta particularidad son denominadas analiticas
Las ecuaciones diferenciales mas familiares para todos como la ecuacion de un
oscilador armonico ẍ + ω 2 x = 0 admite soluciones del tipo x(s) = A1 sen(ωs) +
A2 cos(ωs) siendo claro sen(ωs) y cos(ωs) funciones analiticas. De igual man-
era para la ecuacion de un oscilador amortiguado como en un gran numero de
ecuaciones de la mecanica nos encontraremos con este tipo de ecuaciones.
Una expresion de la forma
∞
X
A0 + A1 (x − x0 ) + · · · + An xn + · · · = An (x − x0 )n (1)
n=0

se denomina serie de potencias, estando definida por el limite

N
X
limN →∞ An (x − x0 )n
n=0

para aquellos valores de x en que exista este limite, en cuyo caso la serie se
denominara convergente. Para determinar los x que cumplen con esta condicion
se utiliza el criterio del cociente,
An+1
si limn→∞ =ρ Converge si ρ < 1 Diverge si ρ > 1
An
notar que el criterio no clasifica si ρ = 1.
Mas general es considerar el valor absoluto de dicho cociente, si esta acotado
por cierto numero σ cuando n → ∞, la serie converge cuando σ < 1. Por lo
tanto tendriamos
An+1 An+1
ρ = limn→∞ | ||x − x0 | = L|x − x0 | en donde L = limn→∞ | |
An An
Si este limite existe, se deduce que (1)
1 1
converge si |x − x0 | < diverge si |x − x0 | > (2)
L L
De esta manera tenemos un intervalo de convergencia cuando L existe
1 1
(x0 − , x0 + )
L L
Este intervalo es simetrico respecto de x0 de manera tal que la serie es conver-
gente dentro de este intervalo y divergente fuera del mismo.
Que sucede si deseamos evaluar el comportamiento de una serie en los extremos
del intervalo de convergencia? Es decir en los x ∈ R tales quex = x0 ± L1
Podemos abordar esta pregunta diferenciando dos criterios.
Si en un extremo del intervalo de convergencia se tiene que los terminos
de la serie no son de signo constante, al menos desde un valor de n en
adelante, la serie converge si desde ese valor se n u otro valor mayor los
terminos decrecen monotamente en valor absoluto y tienden a cero. En
caso contrario la serie sera divergente.

1
 Si los terminos resultan de signo constante desde un valor de n en adelante
y si el cociente del termino n + 1 al termino n−simo puede escribirse como
k1 k2
1− − 2 + ... la serie converge si k1 > 1 y diverge si k1 ≤ 1
n n
Este ultimo es conocido como el criterio de Raabe.

Cabe observar que si L = 0 la serie converge en cualquier intervalo de x. Por

el contrario si L es infinito, o con mayor generalidad si | AAn+1
n
| no esta acotado
cuando n → ∞, la serie convergera solo en x = x0 . Cuando | AAn+1
n
| esta acotado,
queda determinado un intervalo de convergencia finito en donde la cantidad L1
se denomina radio de convergencia.
Puede ocurri que una serie tenga terminos cuyos subindices sean multiplosde un
entero N ≥ 1, es decir que posea la siguiente forma,
∞
X
A0 + AN (x − x0 )N + A2N (x − x0 )2N + · · · = AkN (x − x0 )kN
k=0

Consideremos como ejemplo la serie de cosx

∞
x2 x4 X x2k
cosx = 1 − + − ··· = (−)k |x| ≤ ∞
2! 4! (2k)!
k=1

que no es otra cosa la serie de Maclaurin de cosx.

En tal caso tenemos
A(k+1)N A(k+1)N
ρN = limk→∞ | ||x−x0 |N = LN |x−x0 |N siendo LN = lı́m | |
AkN k→∞ AkN

y se tiene que la serie converge para LN |x − x0 |N < 1 o bien para los x tales
que |x − x0 | < N√1L .
N
Una propiedad importante de las series de potencias es la posibilidad de operar
sobre ellas de la misma forma que se opera con los polinomios.
Dentro del intervalo de convergencia, una serie de potencias representa una
funcion continua de x, que posse derivadas de todos los ordenes y se puede
derivar e integrar termino a termino como se hace con los polinomios; las series
resultantes convergen, en el mismo intervalo, hacia la derivada o integral de
la funcion representada por la serie incial. Una propiedad importante de la
convergencia absoluta de series, que no permite permutar el signo del limite con
los operadores de integracion y derivacion.
Supongamos ahora la serie,
∞
X
An (x − x0 )n
n=0

que converge en un intervalo no nulo de x = x0 y representa, por cosiguiente, a

una funcion f (x) en este intervalo.
∞
X
f (x) = An (x − x0 )n (3)
n=0

2
Derivando k veces los dos terminos en la ecuacion anterior y evaluando en x = x0
se tiene
f k (x0 ) = k 0 .Ak (k = 0, 1, 2, ...) (4)
por lo tanto (3) se transforma en
∞
X fn
f (x) = (x0 )(x − x0 )n (5)
n=0
n!

que termina siendo el desarrollo de Taylor en serie de potencias de f (x) en

x = x0 . Es claro que no todas las funciones aceptan tal desarrollo debido a que
deben existir todas sus derivadas en x = x0 .
La funciones que aceptan este desarrollo se denominan regulares en x = x0 .
Si f (x) y todas sus derivadas con continuas (si f ∈ C ∞ (I)) en un intervalo I
que incluya al punto x = x0 , f (x) se podra expresar como suma de terminos de
potencias de (x − x0 ) mas un termino complementario, en la forma
N −1
X f n (x0 )
f (x) = (x − x0 )n + RN (x)
n=0
n!
N
f (χ)
siendo RN (x) = (x − x0 )N χ ∈ (x, x0 )
N!

0.1.1. Buscando soluciones regulares (Un ejemplo)

Consideremos la siguiente ecuacion

d2 y dy
Ly ≡ x2 2
+ (x2 + x) −y =0
dx dx
busquemos una solucion de la forma1
∞
X
y= Ak x k
k=0

tomemos las derivadas primera y segunda de esta

∞ ∞
dy X d2 y X
= kAk xk−1 2
= k(k − 1)Ak xk−2
dx dx
k=0 k=0

sustituyamos esto ahora en la ecuacion diferencial

∞
X ∞
X ∞
X ∞
X
Ly ≡ k(k − 1)Ak xk + kAk xk+1 + kAk xk − A − kxk
k=0 k=0 k=0 k=0

Combinando la primera, tercera y cuarta sumatorias tenemos

∞
X ∞
X
[k(k − 1) + k − 1]Ak xk = (k 2 − 1)Ak xk resultando en
k=0 k=0
1 Estudiaremos si verifica soluciones analiticas desarrollables en un entorno de x0 = 0

3
 ∞
X ∞
X
Ly ≡ (k 2 − 1)Ak xk + kAk xk+1
k=0 k=0

Ahora para combinar estas sumas cambiamos k → n en la primera y k + 1 → n

en la seguna
X∞ ∞
X
Ly ≡ (n2 − 1)An xn + (n − 1)An xn =
n=0 n=1
∞
X ∞
X
= −A0 + (n2 − 1)An xn + (n − 1)An xn
n=1 n=1
∞
X
⇒ Ly = −A0 + [(n2 − 1)An + (n − 1)An−1 ]xn
n=1

Ahora bien, para anular Ly, cada termino con xn debe anularse asi como tambien
el termino independiente, por lo tanto A0 = 0 y ademas se tiene una formula
de recurrencia,

(n − 1)[(n + 1)An + An−1 ] = 0 n = 1, 2, 3...

la cual se satisface para n = 1. Para n ≥ 2 se tiene − AAn−1

n
n = 2, 3, 4...
Por consiguiente tenemos,
A1 A2 A3
A2 = − , A3 = − , A4 = − , ...
3 4 5
Tenemos entonces que A0 = 0, A1 es arbitrario y los demas coeficientes quedan
determinados mediante A1 . La solucion es pues,

x2 x3
 
y = A1 x − + − ...
3 3·4

que puede escribirse de la forma

2A1 x2 x3 x2 x3
   
A1 x
y= − + ... = 2 x − 1 + (1 − + − + ...)
x 2! 3! x 1! 2! 3!

tenemos entoces la siguiente expresion

 −x 
e −1+x
y = 2A1
x

Por lo tanto hemos encontrado una unica solucion analitica a la ecuacion difer-
encial, es decir expresable en series de potencias de x alrededor de x0 = 0. Esto
no lleva a creer que no todas las soluciones linealmente independientes pueden
expresarse en series de potencias, o sea en expresiones regulares en x0 = 0.

0.1.2. Buscando soluciones regulares (Segundo ejemplo)

Consideremos la siguiente ecuacion

d2 y
Ly ≡ x3 +y =0
dx2

4
Como
P∞ visto anteriormente, asumimos que se tiene una solucion de la forma
k
A
k=0 k x , en donde luego de sustituir se tiene:
∞
X ∞
X ∞
X
Ly ≡ k(k − 1)Ak xk+1 + Ak xk == A0 + [An + (n − 1)(n − 2)An−1 ]xn
k=0 k=0 n=1

que con la condicion Ly = 0 implica A0 = 0 y ademas

An = −(n − 1)(n − 2)An−1 (n = 1, 2, 3. . . . ) (6)
por lo tanto A1 = A2 = 0, entonces tenemos y = 0, es decir que la ecuacion
no admite soluciones expresables en series de potencias de x, o sea regulares en
x0 = 0 aparte de la solucion trivial nula.

0.2. Puntos Singulares para Ecuaciones Diferen-

ciales de Segundo Orden
Escribamos una ecuacion diferencial lineal homogenea de segundo orden en
la forma tipica,
d2 y dy
+ a1 (x) + a2 (x)y = Ly (7)
dx2 dx
de esto resulta claro que el comportamiento de sus soluciones en un entorno de
x = x0 dependera exclusivamente del de las funciones a1 (x) y a2 (x) en dicho
entorno.
Diremos que el punto x = x0 es un punto ordinario de la ecuacion diferencial
si las funciones a1 (x) y a2 (x) son regulares en el, o sea si a1 (x) y a2 (x) admiten
desarrollos en series de potencias validos dentro de algun intervalo que
contenga a x = x0 .
En caso contrario, diremos que el punto es singular y en ese caso, si los
productos (x − x0 )a1 (x) y (x − x0 )2 a2 (x) son regulares en x = x0 aadiremos
que se trata de un punto singular regular, en cualquier otro caso simplemente
diremos que x = x0 es un punto singular irregular.
En la ecuacion
d2 y
Ly ≡ 2 − y = 0
dx
tenemos a1 (x) = 0 y a2 (x) = −1, asi que todos los puntos son ordinarios. En el
caso
2
d2 y
 
2d y 2 dy 1 dy 1
Ly ≡ x + (x + x) −y = 2 + 1+ − y=0 (8)
dx2 dx dx x dx x2
Tenemos entonces a1 (x) = 1 + x1 y a2 (x) = − x12 por lo tanto vemos que ambas
funciones no admiten desarrollos en series de potencias de x, pero si admiten
desarrollos en (x − x0 ) para x 6= x0 . Asi que x = 0 es el unico punto singular.
Dado que los productos xa1 (x) = 1 + x y x2 a2 (x) = −1 son regulares, se deduce
que el punto x = 0 es un punto singular regular.
Como ultimo ejemplo podemos considerar
d2 y d2 y 1
Ly ≡ x3 2
+ y = 2 + 3y = 0 (9)
dx dx x
en donde es claro que el punto x = 0 es singular irregular.

5
0.3. El Metodo de Frobenius
Nuestra motivacion es poder determinar en cuales casos puedo encontrar
soluciones regulares en x = 0 para una ecuacion diferencial lineal homogenea
de segundo orden. Basta realizar un cambio de variable como z = x − x0 para
determinar las soluciones de la ecuacion diferencial nueva en z = 0 (o sea en
x = x0 ) Reescribiendo la ecuacion [0] de la forma

d2 y 1 dy 1
Ly ≡ R(x) 2
+ P (x) + 2 Q(x)y = 0 (10)
dx x dt x
en donde R(x) no se anula en un intervalo que contiene a x = 0. Suponemos
ademas que P (x), Q(x) y R(x) son funciones regulares en x = 0.
Tenemos entonces que

P (x) Q(x)
xa1 (x) = x2 a2 (x) = (11)
R(x) R(x)
son regulares en x = 0. Ademas de lo anterior se asume que la ecuacion [1] fue
dividida previamente por cierta constante de manera tal que R(0) = 1.
Se tiene entonces:

P (x) = P0 + P1 x + P2 x 2 + . . . (12)
2
Q(x) = Q0 + Q1 x + Q2 x + . . . (13)
2
R(x) = 1 + R1 x + R2 x + . . . (14)

Intentamos encontrar soluciones analiticas, es decir, desarrollables en series de

potencias de la variable x del tipo
∞
X
y = xs An xn = A0 xs + A1 xs+1 + A2 xs+2 + . . . (15)
n=0

en donde de busca determinar el valor de s en donde supondremos que A0 6= 0.

Sustituyendo en [1] operando se llega a la siguiente relacion:

Ly ≡ [s(s − 1) + P0 s + Q0 ]A0 xs−2 + {[(s + 1)s + P0 (s + 1) + Q0 ]A1 +

R1 s(s − 1) + P1 s + Q1 A0 }xs−1 +
{[(s + 2)(s + 1) + P0 (s + 2) + Q0 ]A2 +
(R1 (s + 1)s + P1 (s + 1) + Q1 )A1 +

+(R2 s(s − 1) + P2 s + Q2 )A0 }xs (16)

Definiendo ahora dos funciones f (s) y gk (s) como sigue:

f (s) = s(s − 1) + P0 s + Q0 = s2 + (P0 − 1)s + Q0 (17)

gk (s) = Rk (s − k)(s − k − 1) + Pk (s − k) + Qk = (18)
2
= Rk (s − k) + (Pk − Rk )(s − k) + Qk (19)

6
 Con la notacion de (8),(9), tenemos que (7) puede ser escrita como:

Ly ≡ f (s)A0 xs−2 + [f (s + 1)A1 + g1 (s + 1)A0 ]xs−1 +

+[f (s + 2)A2 + g1 (s + 2)A1 + g2 (s + 2)A0 ]xs +
n
X
+[f (s + n)An + gk (s + n)An−k ]xs+n−2 + . . . (20)
k=1

Para que (1) se satisfaga en algun intervalo de x = 0, esta ultima expresion

debera anularse identicamente

⇒ f (s) = 0 o bien s2 + (P0 − 1)s + Q0 = 0 (21)

Esta ecuacion determina dos valores para s, la llamaremos ecuacion indicial,

debido a que indica dos valores posibles para el indice s. Es aqui donde obten-
dremos los exponentes de primer termino en las dos series del tipo (6), son los
exponentes de la ecuacion diferencial en x = 0.
Ahora anulando el coefciente de xs−1 en (11) uno encuentra

f (s + 1)A1 = −g1 (s + 1)A0

mientras que para el coeficiente de xs se tiene

f (s + 2)A2 = −g1 (s + 2)A1 − g2 (s + 2)A0

En general la anulacion del coeficiente de xs+n−2 en (11) nos proporciona la

siguiente formula de recurrencia
n
X
f (s + n)An = − gk (s + k)An−k (n ≥ 1) (22)
k=1

la cual determina An en funcion de los precedentes, por lo tanto determina An

en funcion de A0 , el cual asumimos 6= 0, si ∀n tenemos f (s + n) 6= 0. Sean ahora
s1 y s2 las raices de [12]. Evaluaremos los casos segun la naturaleza de estas
raices, si son iguales, distintas, reales, etc.
si s1 = s2 o bien
(1 − P0 )2 − 4Q0 = 0 (23)
solo tendremos una solucion del tipo (3)
si s1 6= s2

f (s) = (s − s1 )(s − s2 ) ⇒ f (s + n) = (s + n − s1 )(s + n − s2 )

⇒ f (s1 + n) = n[n(s1 − s2 ]

⇒ f (s2 + n) = n[n − (s1 − s2 )] (24)

Si s1 es complejo y Pn , Qn y Rn son todos reales, tendremos que s2 =

s1 ⇒ s1 − s2 sera imaginario puro entonces las expresiones anteriores (15)
no se anulan para ningun valor real de n, excepto para n = 0.

7
 Si s1 y s2 son reales y distintos con s1 − s2 > 0 entonces f (s + n) no se
anula para n ≥ 1 y ademas f (s2 + n) solo se anulara para n = s1 − s2 .
Dado que n ∈ N, esto ultimo es posible si s1 − s2 es natural.

Por ultimo, si s1 = s2 , f (s1 + n) = n2 entonces f (s1 + n) no se anula para

n≥1
Tenemos entonces para s1 − s2 = N , con N ∈ N la formula de recurrencia (13)
se verifica para n = N
N
X
(s − s2 )(s − s2 + N )AN = − gk (s + N )AN −k (25)
k=1

donde con s = s2 , se anula el primer termino y la ecuacion no se verifica para

ningun AN , a menos que el segundo miembro tambien se anule, en tal caso AN
y A0 quedan indeterminados.

0.4. Analisis de los Casos Excepcionales

0.4.1. Exponentes iguales, s1 = s2
Intentemos determinar una segunda solucion que sea independiente de la
obtenida por el metodo de Frobenius.
En vez de introducir primero el valor del exponente s1 en la formula de recur-
rencia (13) y determinar A1 , A2 , . . . , AN a partir de A0 , supondremos que estos
coeficientes estan expresados por medio de la formula de recurrencia en funcion
de A0 y de s, indicando esto como A1 = A1 (s), A2 = A2 (s), . . . . Con estos val-
ores de los Ak se determina una funcion y, que depende de s y de x; indicandola
como ys (x):
∞
X
s
ys (x) = x An (s)xn (26)
n=0

Si tenemos en cuenta (13):

Ly ≡ f (s)A0 xs−2 + [f (s + 1)A1 + g1 (s + 1)A0 ]xs−1 +

+[f (s + 2)A2 + g1 (s + 2)A1 + g2 (s + 2)A0 ]xs +
Xn
+[f (s + n)An + gk (s + n)An−k ]xs+n−2 + . . .
k=1

La formula de recurrencia para n ≥ 1 exige que todos los terminos se anulen

en (13) salvo el primero

Lys (x) = A0 f (s)xs−2 como s1 = s2

⇒ Lys (x) = A0 (s − s1 )2 xs−2 (27)

Con s1 = s2 concuerda de que (17) sea solucion de (1), o sea de la ecuacion
diferencial lineal homogenea de segundo orden Denominemos a esta solucion
como y1 (x) para s = s1 .

8
Como s1 es raiz doble entonces el resultado de derivar respecto de s tambien se
anulara en s = s1 .
∂
Lys (x) = A0 [2(s − s1 ) + (s − s1 )2 lnx]xs−2
∂s
como el operador ∂/∂s y el operador L conmutan se tiene:
   
∂ ∂
⇒ Lys (x) =L ys (x) =0 (28)
∂s s=s1 ∂s s=s1

la segunda solucion de (1) para s1 = s2 es entonces de la forma

 
∂
y2 (x) = ys (x) (29)
∂s s=s1
∞
X ∞
X
y1 (x) = xs1 An (s1 )xn = An (s1 )xn+s1 (30)
n=0 n=0

En donde la segunda ecuacion, (21), representa a la primera solucion hallada

mediante el metodo de Frobenius. Ahora una solucion independiente esta dada
como vimos por
∞ ∞
  !
∂ X X
y2 (x) ys = xs lnx An (s)xs + xs A0n (s)xn (31)
∂s s=s1 n=0 n=0 s=s1

Utilizando (21) y viendo que A0 es independiente de s tenemos

∞  
X d
y2 (x) = y1 (x)lnx + A0n (s1 )xn+s1 siendo A0n (s1 ) = An (s) (32)
n=1
ds s=s1

Hemos encotrado una segunda solucion independiente a la ecuacion diferencial.

0.4.2. Exponentes que difieren en un natural

Es en este caso que tenemos

s1 − s2 = N ≥ 1

Es bueno recordar que la formula de recurrencia (22) no se satisface identica-

mente para n = N y s = s2 .
De nuevo supondremos que (16) vale para n ≥ 1 para todos los valores de s, asi
con las Ak en funcion de A0 y s. Definimos tambien y = ys (x) del tipo (17).
Es claro que segun (16) y (22) las expresiones de los coeficientes AN (s),AN +1 (s)
tendran en el denominador el factor (s − s2 ) y no tendran por lo tanto un limite
finito en s → s2 . Si consideramos en vez el producto (s − s2 )ys (x), se ve que
cuando s → s2 los terminos con coeficientes An con n < N se anulan y los demas
terminos tendran limites finitos lo que genera una nueva serie de potencias
en x con un termino inicial en xs2 +N = xs1 . Veamos las cuentas, teniamos:
n
X
f (s + n)An = − gk (s + n)An−k
k=1

9
entonces evaluando en n = N y recordando que f (s) = (s − s1 )(s − s2 )
N
X AN −k 1
AN = − gk (s + N )
(s − s2 ) (s − s2 + N )
k=1

ahora con
N
X +1
f (s+N +1)AN +1 = − gk (s+N +1)AN +1−k = −g1 (s+N +1)AN −g2 (s+N +1)AN −1 −. . .
k

Entonces
AN AN −1
AN +1 = −g1 (s + N + 1) − g2 (s + N + 1) − ...
f (s + N + 1) f (s + N + 1)
Quedando
N
!
X An−k
AN +1 = −g1 (s + N + 1) − gk (s + N )
(s − s2 )(s − s2 + N )f (s + N + 1)
k=1

Como ultimo tenemos

N
!
g1 (s + N + 1) X AN −k
(s − s2 )AN +1 = gk (s + N )
f (s + N + 1) (s − s2 )(s − s2 + N )
k=1

Por lo tanto los An seran no nulos para n ≥ N entonces cuando s → s2 se

tendra una serie nueva con el primer termino en xs2 +N = xs1 .
La formula de recurrencia (22) anula todos lo terminos salvo al primero en (20)
por lo tanto:
L(s − s2 )ys (x) = A0 (s − s2 )2 (s − s1 )xs−2 (33)
y siguiendo un razonamiento analogo al que nos conducia a (28) se tiene
∂
L{ [(s − s2 )ys (x)]}s=s2 = 0 (34)
∂s
asi que tenemos la segunda raiz a la ecuacion diferencial y2 como
∂
y2 (x) = { [(s − s2 )ys (x)]}s=s2 (35)
∂s
junto con y1 (x) = [ys (x)]s=s1 forman el conjunto de soluciones a la ecuacion
diferencial. Pero debemos encontrar una expresion para esta nueva solucion.
Reescribiendo el tipo de solucion analitica que buscabamos vemos:
∞ N −1 ∞
X X X an (s) n+s
ys (x) = An (s)xn+s = An (s)xn+s + x (36)
n=0 n=0
s − s2
k=N

en donde an (s) = (s − s2 )An (s) para n ≥ N Observando que An (s) es regular

en s = s2 si n < N y an (s) es regular tambien en s = s2 cuando n ≥ N se
deduce
N −1 N −1
∂ X X
[(s − s2 )ys (x)] = (s − s2 ) (A0n (s) + An (s)lnx) xn+s + AN (s)xn+s
∂s n=0 n=0

10
 ∞
X ∞
X
+ a0n (s)xn+s + lnx an (s)xn+s (37)
n=N n=N

con s → s2 se tiene la solucion y2 (x) de la forma

N
X −1 ∞
X ∞
X
y2 (x) = An (s2 )xn+s2 + a0n (s2 )xn+s2 + lnx an (s2 )xn+s2 (38)
n=0 n=N n=N

con an (s) = (s − s2 )An (s) para n ≥ N

Ahora escribamos la solucion correspondiente a s1 en la siguiente forma

∞
X
y1 (x) = An (s1 )xn+s2 ≡ A0 u1 (x) (39)
n=0

Observando que el coeficiene de lnx en (38) es equivalente a considerar el sigu-

iente limite
∞
X
lims→s2 [(s − s2 An (s)xn+s ]
n=0

se tiene entonces, en virtud de (33) que este termino es tambien solucion de

la ecuacion diferencial. Dado que su primer termino es del tipo xN +s2 = xs1 1 ,
esta debe ser un multiplo fijo de la solucion y1 (x), ver (39). Por lo tanto los
coeficientes de ambas estan a razon constante. Esta razon se encuentra haciendo
el cociente de los primeros terminos, aN (s2 )/A0 , asi de esta forma el coeficiente
de lnx en (38) se puede reemplazar por

aN (s2 )u1 (x)

por lo tanto () se convierte en la siguiente expresion

N
X −1 ∞
X
y2 (x) = aN (s2 )u1 (x)lnx + An (s2 )xn+s2 + a0n (s2 )xn+s2 (40)
n=0 n=N

Cuando el segundo miembro de (25) contiene el factor s − s2 , hemos visto que

resulta una solucion del tipo (15), correspondiente a s = s2 , en donde A0 y AN
son arbritrarios. (40) cumple esto ya que si los AN son regulares para n ≥ N se
tiene
aN (s2 ) = lims→s2 (s − s2 )AN (s) = 0
y tambien
d
a0n (s2 ) = lims→s2 { [(s − s2 )An (s)]} =
ds
= lims→s2 [(s − s2 )A0n (s) + An (s)] = An (s2 )
por lo tanto el primer termino de (40) se anula y se los restantes se combinan
para dar
∞
X
y2 (x) = AN (s2 )xn+s2
n=0
1 Recordar que los primeros N − 1 de la suma son nulos

11
0.5. A Modo de Resumen
En todos los casos en donde una ecuacion diferencial lineal homogenea con
un punto singular regular en x = 0, con una unica solucion en funcion del
exponente s1 de la forma
∞
X
y1 (x) = An xn+s1 ≡ A0 u1 (x)
0

se tiene que cualquier otra solucion independiente sera del tipo

∞
X
y2 (x) = Cu1 (x)lnx + Bn xn+s2
n=0

donde C es una constante.

0.5.1. Ejemplo 1
Siempre un ejemplo es bienvenido para aclarar un poco las cosas. Para aclarar
el procedimiento anterior, consideremos la ecuacion diferencial

d2 y
Ly ≡ x +y =0
dx2
Suponiendo una solucion de la forma
∞
X
y= An xn+s
n=0

resulta que
∞
X
Ly = s(s − 1)A0 xs−1 + [(n + s)(n + s − 1)An + An−1 ]xn+s−1
n=1

Obteniendose asi la formula de recurrencia

(n + s)(n + s − 1)An = −An−1 (n ≥ 1)

o bien
An−1
An = −
(n + s)(n + s − 1)
siendo los dos exponentes
s1 = 1 s2 = 0
Ahora bien, dado que estos exponentes difieren en una unidad, la solucion de-
seada quedara asegurada por el mayor exponente, o sea s1 = 1.
Con s = s1 = 1, la formula de recurrencia se convierte en

(n + 1)nAn = −An−1 (n ≥ 1)

de la cual se deduce
A0 A0 A0
A1 = − , A2 = − A3 = − ; ...
2·1 (3 · 2)(2 · 1) (4 · 3 · 2)(3 · 2 · 1)

12
siendo en general
A0
An = (−)n
(n + 1)!n!
Por lo tanto la solucion correspondiente al exponente s1 es entonces,
∞
X xn+1
y1 = A0 (−)n ≡ A0 u1 (x)
n=0
(n + 1)!n!

Con s = s2 = 0, la formula de recurrencia toma la siguiente forma

n(n − 1)An = −An−1 (n ≥ 1)

Si n = 1, esta relacion es incomplatible con nuestra suposicion de A0 6= 0 y, por

consiguiente, no existe la serie del tipo buscado para el exponente menor s = 0,
en decir, que no hay serie que comienze por un termino constante. No obstante,
vimos como luce una segunda solucion independiente de la ecuacion diferencial.
Esta solucion y2 (x) denominada asi antes tiene la forma
∞
X
y2 (x) = a1 (0)u1 (x)lnx + A0 + a0n (0)xn
n=1

siendo
an (s) = (s − s2 )An (s) = sAn (s) (n ≥ 1)
Resultando de la formula se recurrencia la siguiente relacion

An−1 (s)
An (s) = − (n ≥ 1)
(n + s)(n + s − 1)

y por lo tanto deducimos que

A0 A0
a1 (s) = − , a2 (s) = , ...
s+1 (s + 2)(s + 1)2

siendo en general

(−)n A0
an (s) = (n ≥ 1)
(s + n)[(s + n − 1)(s + n − 2) · · · (s + 1)]2

Haciendo uso de la formula de derivacion logaritmica

df d
= f (lnf )
ds ds
uno obtiene
n−1
!
d X
a0n (s) = −an (s) ln(n + s) + 2 ln(s + k) =
ds
k=1
n−1
!
1 X 1
= −an (s) +2
s+n s+k
k=1

13
Por lo tanto, sustituyendo por s = 0 se deduce:
n−1
!
1 X1
a0n (0) = −an (0) +2
n k
k=1

Encontramos, utilizando este resultado

5 5
a01 (0) = A0 , a02 (0) = − A0 , a03 (0) = A0 ...
4 18
y en general se tiene
1
Pn−1 1
+ 2 k=1
a0n (0) = (−) n+1 n k
A0
n!(n − 1)!

La expresion para y2 (x) es entonces

∞ Pn−1 !
1 1
X
n+1 n + 2 k=1
y2 (x) = −A0 u1 (x)lnx + A0 1+ (−) k
xn
n=1
n!(n − 1)!

o bien en una forma mas amigable como

!
x2 x3
  
5 5
y2 (x) = −A0 x− + + ... lnx − 1 + x − x2 + x3 + . . .
2 12 4 18

De esta forma, la solucion general es de la forma y = c1 y1 (x)+c2 y2 (x), en donde

se asignan a la constante A0 valores convenientes en las expresiones de y1 (x) e
y2 (x).
Tambien es posible, de acuerdo a los visto al final de la seccion anterior, podemos
determinar una segunda solucion si suponemos directamente que es de la forma
∞
X
y2 (x) = Cu1 (x)lnx + Bn xn
n=0

ya que entonces siendo s2 = 0, sustituyendo esta expresion en la ecuacion difer-

encial resulta:
∞
 2  !
d u1 du1 1 X
Ly ≡ C x 2 + u1 lnx + 2 − u1 + [(n + 1)nBn+1 + Bn ]xn
dx dx x n=0

Como u1 (x) es solucion de la ecuacion Ly ≡ 0, se anula en coeficiente de lnx,

por lo que la condicion Ly ≡ 0 puede ser escrita de la siguiente manera:
∞ ∞  
X
n
X
n 2 1
[(n + 1)nBn+1 + Bn ]x + C (−) − xn = 0
n=0 n=0
(n!)2 (n + 1)!n!

La condicion para que se anule el coeficiente de cualquiera de las potencias xn

es ahora
2n + 1
(n + 1)nBn+1 + Bn = (−)n+1 C (n ≥ 0)
(n + 1)!n!

14
y ahora sustituyendo n por sus distintos valores se obtiene
3 1
B0 = −C B2 = C − B1 ...
4 2
Puede verse que tanto B1 como C son arbitrarios y todos los coeficientes se
expresan en funcion de estos, por lo tanto la solucion se escribe como sigue:
1 1 3 7 1
y2 (x) = C[(x− x2 + x3 +. . . )lnx−(1− x2 + x3 +. . . )]+B1 [x− x2 +. . . ]
2 12 4 36 2
Se ve que el coeficiente de B1 no es otra cosa mas que la serie que figura en
la primera solucin y1 (x). De modo que si C y B son arbitrarios, la expresion
para y2 (x) representara la solucion general de la ecuacion dada. La expresion
particular para y2 (x) obtenida por el primer metodo corresponde a elegir C =
−B1 = −A0 .

0.6. Una Clase Particular de Ecuaciones

Muchas ecuaciones diferenciales lineales importantes de segundo orden pueden
ser obtenidas particularizando los coeficientes de la siguiente ecuacion.

d2 y 1 dy 1
(1 + RM xM ) 2
+ (P0 + PM xM ) + 2 (Q0 + QM xM )y = 0 (41)
dx x dx x
para M = 1, 2, 3, . . .
De nuevo suponemos una solucion de la forma
∞
X
y= An xn+s (42)
n=0

con

f (s) = s2 + (P0 − 1)s + Q0 (43)

2
g(s) = RM (s − M ) + (PM − RM )(s − M ) + QM (44)

con la ecuacion () vemos que gM (s) = g(s) y gs = 0 si n 6= M , de esta forma la

formula de recurrencia () se reduce a

f (s + n)An = 0 (1 ≤ n ≤ M − 1) (45)

f (s + n)An = −g(s + n)An−M (n ≥ M ) (46)

Ahora tomando A1 = A2 = A3 = · · · = AM −1 = 0 verificamos (45). Por lo
tanto (46) se sigue que An = 0 a menos que n sea un multiplo de M , n = kM
con k = 1, 2, 3, . . . En esta notacion la solucion supuesta () sera
∞
X
y= Bk xkM +s (47)
k=0

donde Bk = AkM , convirtiendose por lo tanto (46) en

f (s + kM )Bk = −g(s + kM )Bk−1 (k = 1, 2, 3, . . . ) (48)

15
En consecuencia se cumple
g(s + M )
B1 = − B0
f (s + M )
g(s + 2M ) g(s + M )g(s + M )
B2 = − B1 = B0
f (s + 2M ) f (s + M )f (s + 2M )

y en general se tiene
g(s + M ) . . . g(s + KM )
Bk = (−)k B0 (49)
f (s + M ) . . . f (s + kM )
Recordando que teniamos f (s) = (s − 1)(s − 2) vemos que (49) se convierte
entonces en,
{g(s + M ) . . . g(s + kM )}
Bk (s) = (−)k
{(s + M − s1 ) . . . (s + Km − s1 )}{(s + M − s2 ) . . . (s + kM − s2 )}
(50)
donde tenemos k factores en cada corchete.
Si no se anula nunguno de los factores del denominador para s = s1 o s = s2 ,
los coeficientes de las dos soluciones de la forma
∞
X ∞
X
y1 (x) = Bk (s1 )xkM +s1 y2 (x) = Bk (s2 )xkM +s2
k=0 k=0

se obtienen explicitamente como se muestra a continuacionc cuando k ≥ 1.

g(s1 + M ) . . . g(s1 + kM ) B0
Bk (s1 ) = (−)k (51)
[M + (s1 − s2 )] . . . [kM − (s1 − s2 )] M k k!
g(s2 + M ) . . . g(s2 + kM ) B0
Bk (s2 ) = (−)k (52)
[M − (s1 − s2 )] . . . [kM − (s1 − s2 )] M k k!
Si asumimos que la diferencia (s1 − s2 ) no es real y negativa, el denominador
en (51) no se anula, como tampoco podra anularse el de (52) a menos que los
exponentes s1 y s2 difieran en un multiplo entero de M .
Los casos excepcionales se estudian de igual manera que en las secciones ante-
riores.

Si nos encontramos interesados en saber el intervalo de convergencia de

las soluciones obtenidas podemos estudiar
P∞ el cociente de terminos consecutivos
kM
de una de las series. Considerando B
k=0 k x , este cociente sera la razon
Bk k
Bk−1 x y con (48) uno encuentra,

g(s + kM ) M RM [s + (k − 1)M ]2 + (PM − RM )[s + (k − 1)M ] + QM M

− x =− x
f (s + kM ) (s + kM )2 + (P0 − 1)(s + kM ) + Q0
ahora bien, cuando k → ∞ e valor aboluto de este cociente tiende al limite
LM |x|M donde LM = |RM |. Por lo tanto el criterio del cociente muestra que la
serie lagunar obtenida converge en el interior del intervalo
s
1
|x| < M

|RM |

16
Considerando el extremo donde RM xM = −1, la serie converge solo si
PM
P0 − R M
+ M > 0.
Mientras que en extremo donde RM xM = +1, la serie converge solo si
PM
P0 − R M
+ 2M > 0.

0.6.1. Unas ecuaciones de renombre

Si particularizamos las constantes que aparecen en (41) se obtienen varias
ecuaciones de muchisimo interes. Veamos solo algunas

1. la ecuacion de Bessel
d2 y dy
x2 2
+x + (x2 − p2 )y = 0 (53)
dx dx
correspondiendo a M = 2, R2 = 0, P0 = 0, P2 = 0, Q0 = −p2 , Q2 =
1. Esta ecuacion la veremos, por ejemplo, al buscar soluciones radiales
para el laplaciano del potencial electrostatico con condiciones de contorno
homogeneas. Mas adelante se vera que las soluciones para la ecuacion
de Bessel estaran compuestas por series conocidas como las funciones de
Bessel. Estas nuevas funciones se hallan siguiendo el mismo desarrollo
visto anteriormente en el metodo de Frobenius para la ecuacion de Bessel.
2. la ecuacion de Legendre

d2 y dy
(1 − x2 ) 2
− 2x + p(p + 1)y = 0 (54)
dx dx
correspondiente a M = 2, R2 = −1, P0 = 0, P2 = −2, Q0 = 0, Q2 =
p(p + 1). Esta ecuacion aparece por ejemplo como la solucion dependiente
del angulo azimutal para el laplaciano del potencial electrostatico con
condiciones de contorno. Mas adelante se vera que las soluciones de esta
ecuacion estaran compuestas por dos series, donde una de estas sera una
suma finita conocida como los polinomios de Legendre. Esta condicion
aparecera como un requerimiento en el metodo de Frobenius al buscar
soluciones a la ecuacion de Legendre.

3. la ecuacion de Gauss
d2 y dy
x(1 − x) + [γ − (α + β + 1)x] − αβy = 0 (55)
dx2 dx
la cual corresponde a M = 1, R = −1, P0 = γ, P1 = −(α + β + 1), Q0 = 0,
Q1 = −αβ.

0.7. Problemas
1. Hallese y clasifiquense los puntos singulares de la ecuacion diferencial

d2 y dy
x2 (1 − x2 )2 + 2x(1 − x) +y =0
dx2 dx

17
 2. Utilicese el metodo de Frobenius para obtener la solucion general de cada
una de las siguientes ecuaciones diferenciales, para un entorno de x = 0;

d2 y dy
2x + (1 − x2 ) −y =0
dx2 dx

d2 y dy
x2 2
+x + (x2 − 1)y = 0
dx dx

d2 y dy
x +2 + xy = 0
dx2 dx

d2 y dy
x(1 − x) −2 + 2y = 0
dx2 dx

3. Hallese la solucion general de la ecuacion diferencial

d2 y dy
x 2
+ (c − x) − ay = 0
dx dx
valida en un entorno de x = 0, suponiendo que c no es entero. La solucion
regular en x = 0 y cuyo valor en ese punto es la unidad, se denomina
funcion hipergeometrica confluente y se designa con M (a, c, x). Pruebese
que si c no es entero, la solucion general es de la forma

y = c1 M (a, c; x) + c2 x1−c M (1 + a − c, 2 − c; x)

0.8. Problema de Sturm-Liouville y Funciones

Ortogonales
Problema de contorno: Condiciones a ser satisfechas por la ecuacion difer-
encial ordinaria para dos o mas valores de la variabe independiente en
cierto problema fisico. Difiere del problema de condiciones iniciales, o prob-
lema de Cauchy en donde las condiciones dadas se refieren a un solo punto.
Conidion homogenea Una ecuacion o condicion se dice homogenea cuando
si se satisface para una funcion particular y1 (x), tambien se verifica para
Cy1 (x), en donde C es una constante. Por ejemplo al combinacion de
una funcion y sus derivadas que se anule en un punto es una condicion
homogenea.

0.8.1. Funciones y Valores Propios en Problemas de Con-

torno
Consideremos los siguiente ejemplos:

18
Ecuacion de cuerda con extremos fijos de longitud L,

d2 y 1 d2 y
2
− 2 2 =0 y(0) = y(L) = 0
dx c dt
admitiendo soluciones de la forma

y(x) = f (x)sen(ωt + φ)

sustituyendo se tiene

ω2
sen(ωt + φ)f 00 (x) − sen(ωt + φ)f (x) = 0
c2
ω2
siendo = k 2 ⇒ f 00 (x) − k 2 f (x) = 0
c2
con soluciones para esta nueva ecuacion de la forma f (x) = eαx
⇒ α2 − k 2 = 0 ⇒ α = ±k ⇒ f 00 (x) = Aekx + Be−kx

Considerando ahora las condiciones homogeneas en los extremos, x = 0 y

x = L,

y(0) = f (0)sen(ωt + φ) = (A + B)sen(ωt + φ) = 0 ⇒ A = −B

con la segunda condicion de borde,

y(L) = f (L)sen(ωt+φ) = A(ekL −e−kL )sen(ωt+φ) = 0 ⇒ 2iAsenKL = 0

π
por lo tanto tenemos kL = nπ, definiendo asi los valores propios kn = n L
nπ
obteniendose asi n soluciones de la forma yn (x) = (An sen L x)sen(ωt + φ)
en donde reconocemos la funcion propia Φn = sen(n nπ L x).

Ecuacion de Laplace con condiciones de contorno homogeneas.

Estudiaremos como ejemplo las soluciones radiales de la ecuacion de Laplace
en coordenadas cilindricas para el problema de una region cargada con po-
tencial V0 de radio a en el centro de un plano conductor a potencial cero
que dista una distancia d de otro plano paralelo a potencial nulo. Con-
siderando que se tiene una simetria azimutal ϕ = ϕ(r, z) e imponiendo
soluciones en variables separables ϕ = R(r)Φ(φ)Z(z) tendremos,

1 d2 R 1 dR 1 d2 Φ 1 d2 Z
( 2 + )+ 2 + =0
R dr r dr r φ dφ2 Z dz 2
1 d2 Φ 1 d2 Z
2 2
= −ν 2 = +k 2
r φ dφ Z dz 2

La simetria azimutal nos afirma que en

d2 Φ
+ ν 2 φ = 0 con solucion Φ(φ) = Aeiνφ + Be−iνφ
dφ2
se debe cumplir que ν = 0, entonces luego de reordenar los terminos en la
ecuacion radial y con el cambio de variable x = kr tendremos la ecuacion

19
 de Bessel para ν = 0, por lo tanto la solucion general dependera de las
funciones de Bessel de orden 0;

R(x) = C1 J0 (x) + C2 Y0 (x)

Debido al comportamiento divergente de la funcion Y0 en el origen se

tiene C2 = 0, por lo tanto R(x) = C1 J0 (x). La restante condicion, nuestra
condicion homogenea, requiere que esta funcion se anule en r = a por lo
que se tiene;
x0n
R(ka) = C1 J0 (ka) = 0 ⇒ ka = x0n ⇒ kn = n = 0, 1, 2, . . .
a
en consecuencia R(kr) = Cn J0 ( xa0n r) en donde los valores de kn nos de-
finen los valores propios de la funcion propia J0 estando definida por
∞
X (−)j x 2j
2
J0 (x) =
j=0
(j!)2

0.8.2. Ortogonalidad de las Funciones Propias

Dos funciones ϕm (x) y ϕn (x) se llaman ortogonales es un intervalo (a, b) si
es nula la integral de su producto expandida a dicho intervalo,
Z b
ϕm (x)ϕn (x)dx = 0 n 6= m (56)
a

En general, ϕm (x) y ϕn (x) se denominan ortogonales respecto a un nucleo r(x)

en un intervalo (a, b) si
Z b
r(x)ϕm (x)ϕn (x)dx = 0 n 6= m (57)
a

Un conjunto de funciones es ortogonal en (a, b) si todos los pares son ortogo-

nales en (a, b). Una propiedad muy util en los problemas de contorno de tipo
mas generlal es el hecho de que los conjuntos de autofunciones correspondientes
a tales problemas son ortogonales respecto a determinado nucleo.
Con el estudio del problema de contorno relativo a ecuaciones diferenciales lin-
eales de segundo orden podremos establecer esta propiedad. Escribamos una
ecuacion lineal homogenea de segundo orden de la siguiente manera2 .
 
d dy
p(x) + [q(x) + λr(x)] y = 0 (58)
dx dx

con condiciones de contorno homogeneas prefijadas que en este caso se referiran

a los extremos el intervalo (a, b). Mediante el operador,

d2
 
d d dp d
L= p +q =p 2 + +q (59)
dx dx dx dx dx
2
2 Cualquier d y dy
ecuacion del tipo a0 (x) dx2 + a1 (x) dx + λa3 (x)y = 0 se puede llevar a (58) con
R a1
a
dx a2 a3
p=e 0 ,q= a0
p yr= a0
p

20
escribimos entonces (58) como

Ly + λr(x)y = 0 (60)

y suponiendo que λ1 y λ2 son dos valores propios del problema en cuestion,

cuyas funciones propias son y = ϕ1 (x) e y = ϕ2 x) respectivamente, se deduce
en ese caso
d dϕ1
(p ) + (q + λ1 r)ϕ1 = 0 (61)
dx dx
d dϕ2
(p ) + (q + λ2 r)ϕ2 = 0 (62)
dx dx
Multiplicando la primera ecuacion por ϕ2 (x), la segunda por ϕ1 (x) y restandolas
se tiene,
   
d dϕ1 d dϕ2
ϕ2 p − ϕ1 p + (λ1 − λ2 )rϕ1 ϕ2 = 0
dx dx dx dx
Z b  Z  b   
d dϕ1 d dϕ2
⇒ (λ2 − λ1 ) rϕ1 ϕ2 dx = ϕ2 p − ϕ1 p dx (63)
a a dx dx dx dx
   
identificando g1 = ϕ2 , f10 = dx
d
p dϕ
dx
1
, g2 = −ϕ 1 y f 0
2 = d
dx p dϕ2
dx implemen-
tamos integracion a la derecha de la igualdad,
Z b     b
dϕ1 dϕ2
(λ2 − λ1 ) rϕ1 ϕ2 dx = ϕ2 p − ϕ1 p −
a dx dx a
Z b    
dϕ2 dϕ1 dϕ1 dϕ2
− p − p dx
a dx dx dx dx

dado que el ultimo termino en la ecuacion anterior se anula, tenemos

Z b   b
dϕ1 dϕ2
(λ2 − λ1 ) rϕ1 ϕ2 dx = p(x) ϕ2 (x) (x) − ϕ1 (x) (x) (64)
a dx dx a

Como las funciones ϕ1 (x) y ϕ2 (x) satisfacen las condiciones de contorno relativas
a la ecuacion (58) en x = a y x = b, es claro que el segundo miembro de (64)
se anula si en cada extremo se prefija una condicion de una de las siguientes
formas:
dy dy
y=0 =0 y+α = 0 x = a, x = b (65)
dx dx
siendo la ultima condicion equivalente a ϕ2 ϕ01 − ϕ1 ϕ02 ≡ (ϕ2 + αϕ02 )ϕ01 − (ϕ1 +
αϕ01 )ϕ02 .

1. Si p(x) = 0, en x = a o en x = b, se anula el segundo termino en (64)

dy dy
pidiendo que y e dx sean finitos en dicho punto y que p dx tienda a cero.
2. Si p(a) = p(b) tambien se anula este segundo termino si se satisfacen las
condiciones yb = y(a), y 0 (b) = y 0 (a). En particular esto se cumplira
al ser las funciones periodicas de periodo (b − a).

21
En cualquiera de los casos numerados se tiene

Z b
r(x)ϕ1 (x)ϕ2 (x)dx = 0 λ1 6= λ2 (66)
a

es decir que las funciones propias correspondientes a distintos valores propios

son ortogonales respecto al nucleo r(x).

Por lo tanto, un problema de contorno relativo a una ecuacion diferencial

del tipo (54) junto con condiciones homogeneas de los tipos considerados, se
denomina como el problema de Sturm-Liouville. De la ultima relacion deducimos
que dos funciones propias distintas, ϕm (x) y ϕn (x) de un problema de Sturm-
Liouville son ortogonales con nucleo r(x) en el intervalo considerado.

0.8.3. Ejemplo 2
Consideremos la siguiente ecuacion

d2 y dy π nπ
2
+ k2 =0 y(0) = y(L) = 0, kn = n , ϕn = sen( x)
dx dx L L
con n = 1, 2, 3, . . . , y en este caso r(x) = 1 por lo tanto
Z L Z L
nπ mπ
ϕn (x)ϕm (x)dx = sen( x)sen( x)dx = 0 m 6= m
0 0 L L

cosa que es facil de verificar como cierta.

La integral formada con el mismo nucleo del cuadrado de una funcion propia
ϕn (x) tendra un valor positivo.3
Z b
Cn = r(x)|ϕn (x)|2 dx
a

Eligiendo el factor convenientemente en la definicion de ϕn (x) podremos hacer

que Cn valga la unidad. Con esto ϕn (x) estara normalizada respecto al nucleo
r(x). En el caso anterior
Z 0 r
2 nπ L 2 nπ
Cn = sen xdx = ⇒ ϕn (x) = sen x
L L 2 L L

0.8.4. Desarrollo de una Funcion en Serie de Funciones

Ortogonales
Dado {ϕn (x)} ortogonal en (a, b) respecto a un nucleo r(x) conocido, quiero
desarrollar una f (x) dada em una serie cuyos terminos sean
∞
X
f (x) = A0 ϕ0 (x) + A1 ϕ1 (x) + · · · + = An ϕn (x) (67)
n=0
3 En aplicaciones fisicas las funciones p(x) y r(x) son positivas en (a, b)

22
Supondremos que tal desarrollo existe y multiplicando ambos miembros por
ϕk (x)r(x), la k−esima funcion del conjunto,
∞
X
r(x)f (x)ϕk (x) = An r(x)ϕn (x)ϕk (x) (68)
n=0

integrando sobre (a, b) e intercambiando el simbolo sumatoria con el de integra-

cion, o sea, asumiendo que la serie converge uniformemente en (a, b)
Z b ∞
X Z b
r(x)f (x)ϕk (x)dx = An r(x)ϕn (x)ϕk (x)dx
a n=0 a

que no hemos hecho otra cosa que realizar el producto interno entre dos elemen-
tos del conjunto {ϕn (x)}, y en virtud de la ortogonalidad de este conjunto se
tiene,
Z b Z b
2
An r(x) [ϕn (x)] dx = r(x)f (x)ϕn (x)dx (69)
a a

Si la funcion a desarrollar f (x), fuese ortogonal a todo el conjunto {ϕn (x)}

respecto de r(x), todos los terminos serian nulos y por ende no tendriamos
desarrollo alguno. Funciones de este tipo son puramente matematicas sin sen-
tido fisico. Salvo estos casos patologicos, es posible demostrar que no existen
funciones que sean ortogonales respecto a todos los elementos del conjunto asi
construido.
En este sentido diremos que los conjuntos son completos.
Si las funciones p(x), q(x) y r(x) son regulares en el intervalo (a, b) y si ade-
mas las funciones p(x) y q(x) son positivas en todo el intervalo, incluido los
extremos, es sabido que la representacion formal de una funcion f (x), acotada y
parcialmente diferenciable, mediante una serie de funciones propias de la ecua-
cion () converge hacia la funcion f (x) con x∈ (a, b). y a 1/2[f (x+ ) + f (x− )] en
los puntos de discontinuidad finita.

0.9. Problemas de Contorno Relativos a Ecua-

ciones Diferenciales no Homogeneas.
Buscamos ahora soluciones a la ecuacion
   
d dy
p + qy + λry = F (x) (70)
dx dx

con determinadas condiciones de contorno homogeneas de los tipos dados en

(65). Podemos expresar la pasada ecuacion siguiendo la notacion (60),

Ly + λry = F (x) (71)

Si asociamos al problema dado, el problema de contorno equivalente a satisfacer

la ecuacion homogenea, tendremos,

Ly + λry = 0 (72)

23
Expresemos la funcion desconocida y en (70) mediante una serie de la forma
∞
X
y= an ϕn (x) (73)
n=0

en donde trataremos de determinar los coeficientes an . Para hacer esto susti-

tuyamos (73) en (70) y como tenemos en (72) la relacion

Lϕn = −λn rϕn

la ecuacion (70) se convierte en

∞
X
r(x) (λ − λn )an ϕn (x) = F (x) (74)
n=0

por lo tanto utilizando (69) para calcular los coeficientes del desarrollo uno
obtiene
∞
X F (x)
f (x) = An ϕn = (75)
n=0
r(x)
An
Comparando ahora (75) con (76) tenemos que an = λ−λn . Por lo tanto la
solucion al problema no homogeneo (75) sera
∞
X An A0 A1
y= ϕn (x) = ϕ0 (x) + ϕ1 (x) + . . . (76)
n=0
λ − λn λ − λ0 λ − λ1

Algunas conclusiones importantes,

1. Si F (x) = 0. Existe solucion no trivial para (70) si y solo si λ = λk donde

λk es valor propio del problema homogeneo para todo k.
2. Si F (x) 6= 0 Existe solucion si λ 6= λk en donde λk es valor propio del
problema homogeneo para todo k. Ademas si λ → λk , no existe (76) a
menos que Ak = 0, es decir que a menos que
Z b Z b
r(x)f (x)ϕk (x)dx = F (x)ϕk (x)dx = 0
a a

que es equivalente a que F (x) sea ortogonal a ϕk (x) respecto de r(x).

0.10. Series de Bessel-Fourier.

A modo de ejemplo del metodo presentado en la seccion anterior, consid-
eraremos un desarrollo en funciones propias ortogonales para la ecuacion de
Bessel. Se presentan con frecuencia desarrollos en serie de funciones de Bessel
en relacion con ciertos problemas de contorno donde interviene la ecuacion difer-
encial
d2 y dy
x2 2 + x + (µ2 x2 − p2 )y = 0 (77)
dx dx
o bien    2 
d dy p 2
x + − +µ x y =0 (78)
dx dx x

24
Las soluciones para la ecuacion de una membrana o para soluciones a la ecua-
cion radial del laplaciano del potencial electrostatico son dos ejemplos en donde
encontramos estas ecuaciones. Recordando la solucion general

y = C1 Jp (µx) + C2 J−p (µx) p no entero (79)

y = C1 Jp (µx) + C2 Yp (µx) p entero (80)

vemos que (78) es un caso particular de (70) siendo

p2
p(x) = x q(x) = − r(x) = x λ = µ2 (81)
x

Dado que p(0) = 0 y que el dominio es (0, L), vemos que las funciones propias
del problema son ortogonales en este dominio respecto de r(x) = x.4
Como deseamos que en el origen la solucion no diverja, tenemos que C2 = 0 en
80.
Ahora si fijamos en x = L al condicion y(L) = 0, los valores de µ que verifican
esta condicion quedan determinados como las raices de la ecuacion

Jp (µn L) = 0 (82)

Veamos que ecuaciones deben verificarse a partir de las distintas condiciones de

contorno homogeneas.

y(L) = 0 Jp (µn L) = 0 (83)

0
y (L) = 0 Jp0 (µn L) =0 (84)
ky(L) + y 0 (L) = 0 kJp (µn L) + µn Jp0 (µn L) = 0 (85)

En todos los casos las funciones propiasson de la forma

ϕn (x) = Jp (µn x) (86)

en donde µn sera solucion de (83), (84) o (85). y como vimos dichas funciones
son ortogonales en (0, L) respecto al nucleo r(x) = x
Z L
xJp (µm x)Jp (µn x)dx = 0 m 6= n (87)
0

Aunque (78) es uno de los casos excepcionales ya que p(x) y r(x) se anulan
en x = 0 y ademas q(x) no es regular en dicho punto a menos que el orden
de la funcion de Bessel sea 0, se puede demostrar que la serie formal (67), un
desarrollo en funciones propias ortogonales de un problema de contorno con
coeficientes dados por (68), convergera a hacia f (x) en (0.L) en las mismas
condiciones establecidas para las series de Fourier.
Dado que Jp (−x) = (−)p Jp (x), las soluciones a (83), (84) y (85) existen en
parejas y son simetricas respecto del origen. Cambiando µn por −µn en (86) o
bien, ϕn (x) no cambia o queda multiplicada por un factor numerico por lo que
4 Para esto basta que y sea finita, que x dy sea cero en x = 0 y que en x = L se prefije una
dx
condicion homogenea cualquiera.

25
no precisaremos de los µn < 0.
Con todo lo anterior tenemos
∞
X
f (x) = An Jp (µn x) (0 < x < L) (88)
n=1

siendo µn las raices de (83), (84) y (85).

Los An estaran dados por
Z L Z L
2
An x [Jp (µn x)] dx = xf (x)Jp (µn x)dx (89)
0 0

y definiendo el factor junto a An como

Z L
Cn = x|Jp (µn x)|2 dx (90)
0

se tiene Z L
1
An = xf (x)Jp (µn x)dx (91)
Cn 0

26