Introduccion al Metodo de Frobenius y el

Problema de Sturm-Loiuville
Sebastian Bruzzone
Abril 2006

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

1
3
4
5
6
8
8
9
12
12
15
17
17
18
18
20
22
22
23
24

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 Metodo de Frobenius1 . Este metodo se convirtio en una herramienta muy poderosa
para la determinacion de soluciones para un amplio espectro de ecuaciones diferenciales 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 potencias 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 importancia 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 expresables en series de potencias, las cuales son validas en un dominio determinado. Las funciones que gozan de esta particularidad son denominadas analiticas
Las ecuaciones diferenciales mas familiares para todos como la ecuacion de un
oscilador armonico x
+ 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 manera 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
A0 + A1 (x x0 ) + + An xn + =

An (x x0 )n

(1)

n=0

se denomina serie de potencias, estando definida por el limite

limN

N
X

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,
si limn

An+1
=
An

Converge si < 1

Diverge si > 1

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
= limn |

An+1
An+1
||x x0 | = L|x x0 | en donde L = limn |
|
An
An

Si este limite existe, se deduce que (1)

converge si |x x0 | <

1
1
diverge si |x x0 | >
L
L

(2)

De esta manera tenemos un intervalo de convergencia cuando L existe

(x0

1
1
, x0 + )
L
L

Este intervalo es simetrico respecto de x0 de manera tal que la serie es convergente 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 nsimo puede escribirse como
1

k1
k2
2 + ...
n
n

y diverge si k1 1

la serie converge si k1 > 1

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
| no esta acotado
n

| esta acotado,
cuando n , la serie convergera solo en x = x0 . Cuando | AAn+1
n
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,
A0 + AN (x x0 )N + A2N (x x0 )2N + =

AkN (x x0 )kN

k=0

Consideremos como ejemplo la serie de cosx

X
x4
x2k
x2
+
=
()k
cosx = 1
2!
4!
(2k)!

|x|

k=1

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

En tal caso tenemos
N = limk |

A(k+1)N
||xx0 |N = LN |xx0 |N
AkN

siendo LN = lm |
k

A(k+1)N
|
AkN

y se tiene que la serie converge para LN |x x0 |N < 1 o bien para los x tales
que |x x0 | < N1L .
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,

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.
f (x) =

An (x x0 )n

n=0

(3)

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
f (x) =

X
fn
(x0 )(x x0 )n
n!
n=0

(5)

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
f (x) =

N
1
X
n=0
N

siendo RN (x) =

0.1.1.

f n (x0 )
(x x0 )n + RN (x)
n!

f ()
(x x0 )N (x, x0 )
N!

Buscando soluciones regulares (Un ejemplo)

Consideremos la siguiente ecuacion

Ly x2

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

busquemos una solucion de la forma1

y=

Ak x k

k=0

tomemos las derivadas primera y segunda de esta

X
dy
=
kAk xk1
dx
k=0

X
d2 y
=
k(k 1)Ak xk2
2
dx
k=0

sustituyamos esto ahora en la ecuacion diferencial

Ly

X
k=0

k(k 1)Ak xk +

kAk xk+1 +

k=0

X
k=0

kAk xk

A kxk

k=0

Combinando la primera, tercera y cuarta sumatorias tenemos

[k(k 1) + k 1]Ak xk =

k=0
1 Estudiaremos

(k 2 1)Ak xk resultando en

k=0

si verifica soluciones analiticas desarrollables en un entorno de x0 = 0

Ly

(k 2 1)Ak xk +

k=0

kAk xk+1

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

= A0 +

n=1

(n2 1)An xn +

n=1

Ly = A0 +

(n 1)An xn

n=1

[(n2 1)An + (n 1)An1 ]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 + An1 ] = 0

n = 1, 2, 3...

n = 2, 3, 4...
la cual se satisface para n = 1. Para n 2 se tiene AAn1
n
Por consiguiente tenemos,
A2 =

A1
,
3

A3 =

A2
,
4

A4 =

A3
,
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
34
que puede escribirse de la forma




2A1 x2
x3
A1
x2
x3
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 diferencial, 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

Ly x3

d2 y
+y =0
dx2
4

Como
anteriormente, asumimos que se tiene una solucion de la forma
P visto
k
A
x
,
en donde luego de sustituir se tiene:
k=0 k
Ly

X
k=0

k(k 1)Ak xk+1 +

Ak xk == A0 +

[An + (n 1)(n 2)An1 ]xn

n=1

k=0

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

An = (n 1)(n 2)An1

(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 Diferenciales de Segundo Orden

Escribamos una ecuacion diferencial lineal homogenea de segundo orden en

la forma tipica,
dy
d2 y
+ 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
1 dy
1
dy
2d y
2
+ (x + x)
y = 2 + 1+
y=0
(8)
Ly x
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
Ly x3

d2 y
d2 y
1
+ y = 2 + 3y = 0
2
dx
dx
x

en donde es claro que el punto x = 0 es singular irregular.

5

(9)

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
Ly R(x)

1
d2 y
dy
1
+ P (x)
+ 2 Q(x)y = 0
2
dx
x
dt
x

(10)

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
xa1 (x) =

P (x)
R(x)

x2 a2 (x) =

Q(x)
R(x)

(11)

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)
Q(x)
R(x)

=
=
=

P0 + P1 x + P2 x 2 + . . .
2

Q0 + Q1 x + Q2 x + . . .
2

1 + R1 x + R2 x + . . .

(12)
(13)
(14)

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

potencias de la variable x del tipo
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 xs2 + {[(s + 1)s + P0 (s + 1) + Q0 ]A1 +
R1 s(s 1) + P1 s + Q1 A0 }xs1 +
{[(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)

= Rk (s k) + (Pk Rk )(s k) + Qk

(19)

Con la notacion de (8),(9), tenemos que (7) puede ser escrita como:
Ly f (s)A0 xs2 + [f (s + 1)A1 + g1 (s + 1)A0 ]xs1 +
+[f (s + 2)A2 + g1 (s + 2)A1 + g2 (s + 2)A0 ]xs +
+[f (s + n)An +

n
X

gk (s + n)Ank ]xs+n2 + . . .

(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 obtendremos 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 xs1 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+n2 en (11) nos proporciona la
siguiente formula de recurrencia
f (s + n)An =

n
X

gk (s + k)Ank

(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.

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
n1
Tenemos entonces para s1 s2 = N , con N N la formula de recurrencia (13)
se verifica para n = N
(s s2 )(s s2 + N )AN =

N
X

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.
0.4.1.

Analisis de los Casos Excepcionales

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 recurrencia (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 valores 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 xs2 + [f (s + 1)A1 + g1 (s + 1)A0 ]xs1 +
+[f (s + 2)A2 + g1 (s + 2)A1 + g2 (s + 2)A0 ]xs +
n
X
+[f (s + n)An +
gk (s + n)Ank ]xs+n2 + . . .
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)xs2

como

s1 = s2

Lys (x) = A0 (s s1 )2 xs2

(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 .

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]xs2

s
como el operador /s y el operador L conmutan se tiene:





Lys (x)
=L
ys (x)
=0
s
s
s=s1
s=s1

(28)

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




y2 (x) =
ys (x)
s
s=s1
y1 (x)

= xs1

An (s1 )xn =

n=0

(29)

An (s1 )xn+s1

(30)

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

ys
= xs lnx
An (s)xs + xs
A0n (s)xn
(31)
y2 (x)
s
s=s1
n=0
n=0
s=s1

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

y2 (x) = y1 (x)lnx +

A0n (s1 )xn+s1

siendo

A0n (s1 )


=

n=1


d
An (s)
(32)
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 identicamente 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:
f (s + n)An =

n
X
k=1

gk (s + n)Ank

entonces evaluando en n = N y recordando que f (s) = (s s1 )(s s2 )

AN =

N
X

AN k
1
(s s2 ) (s s2 + N )

gk (s + N )

k=1

ahora con
f (s+N +1)AN +1 =

N
+1
X

gk (s+N +1)AN +1k = g1 (s+N +1)AN g2 (s+N +1)AN 1 . . .

Entonces
AN +1 = g1 (s + N + 1)

AN 1
AN
g2 (s + N + 1)
...
f (s + N + 1)
f (s + N + 1)

Quedando
AN +1 = g1 (s + N + 1)

N
X
k=1

Ank
gk (s + N )
(s s2 )(s s2 + N )f (s + N + 1)

Como ultimo tenemos

N

(s s2 )AN +1 =

g1 (s + N + 1) X
AN k
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 )xs2
(33)
y siguiendo un razonamiento analogo al que nos conducia a (28) se tiene
L{

[(s s2 )ys (x)]}s=s2 = 0

s

(34)

asi que tenemos la segunda raiz a la ecuacion diferencial y2 como

y2 (x) = {

[(s s2 )ys (x)]}s=s2

s

(35)

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:
ys (x) =

X
n=0

An (s)xn+s =

N
1
X

An (s)xn+s +

n=0

X
an (s) n+s
x
s s2

(36)

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

a0n (s)xn+s + lnx

n=N

an (s)xn+s

(37)

n=N

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

y2 (x) =

N
1
X

An (s2 )xn+s2 +

n=0

a0n (s2 )xn+s2 + lnx

n=N

an (s2 )xn+s2

(38)

n=N

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

Ahora escribamos la solucion correspondiente a s1 en la siguiente forma
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 siguiente limite

X
limss2 [(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
y2 (x) = aN (s2 )u1 (x)lnx +

N
1
X

An (s2 )xn+s2 +

n=0

a0n (s2 )xn+s2

(40)

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 ) = limss2 (s s2 )AN (s) = 0
y tambien
d
[(s s2 )An (s)]} =
ds
= limss2 [(s s2 )A0n (s) + An (s)] = An (s2 )
a0n (s2 ) = limss2 {

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
y1 (x) =

An xn+s1 A0 u1 (x)

se tiene que cualquier otra solucion independiente sera del tipo

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
Ly x

d2 y
+y =0
dx2

Suponiendo una solucion de la forma

y=

An xn+s

n=0

resulta que
Ly = s(s 1)A0 xs1 +

[(n + s)(n + s 1)An + An1 ]xn+s1

n=1

Obteniendose asi la formula de recurrencia

(n + s)(n + s 1)An = An1

(n 1)

o bien
An1
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 deseada quedara asegurada por el mayor exponente, o sea s1 = 1.
Con s = s1 = 1, la formula de recurrencia se convierte en
(n + 1)nAn = An1

(n 1)

de la cual se deduce
A1 =

A0
,
21

A2 =

A0
(3 2)(2 1)
12

A3 =

A0
;
(4 3 2)(3 2 1)

...

siendo en general
An = ()n

A0
(n + 1)!n!

Por lo tanto la solucion correspondiente al exponente s1 es entonces,

y1 = A0

()n

n=0

xn+1
A0 u1 (x)
(n + 1)!n!

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

n(n 1)An = An1

(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
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 (s) =

An1 (s)
(n + s)(n + s 1)

(n 1)

y por lo tanto deducimos que

a1 (s) =

A0
,
s+1

a2 (s) =

A0
,
(s + 2)(s + 1)2

...

siendo en general
an (s) =

()n A0
(s + n)[(s + n 1)(s + n 2) (s + 1)]2

(n 1)

Haciendo uso de la formula de derivacion logaritmica

df
d
= f (lnf )
ds
ds
uno obtiene
a0n (s)

d
= an (s)
ds

ln(n + s) + 2

n1
X

!
ln(s + k)

k=1
n1

= an (s)

X 1
1
+2
s+n
s+k
k=1

13

Por lo tanto, sustituyendo por s = 0 se deduce:

n1

a0n (0)

X1
1
+2
n
k

= an (0)

k=1

Encontramos, utilizando este resultado

a01 (0) = A0 ,

5
a02 (0) = A0 ,
4

a03 (0) =

5
A0
18

...

y en general se tiene
a0n (0)

1
n+1 n

= ()

Pn1
+ 2 k=1
n!(n 1)!

1
k

A0

La expresion para y2 (x) es entonces

y2 (x) = A0 u1 (x)lnx + A0

1+

1
n+1 n

()

n=1

Pn1
+ 2 k=1
n!(n 1)!

1
k

!
xn

o bien en una forma mas amigable como


y2 (x) = A0

x3
x2
+
+ ...
x
2
12

5
5
lnx 1 + x x2 + x3 + . . .
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
y2 (x) = Cu1 (x)lnx +

Bn xn

n=0

ya que entonces siendo s2 = 0, sustituyendo esta expresion en la ecuacion diferencial resulta:

!
 2


X
d u1
du1
1
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:

[(n + 1)nBn+1 + Bn ]x + C

n=0

()

n=0

1
2

(n!)2
(n + 1)!n!

xn = 0

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

B0 = C

B2 =

3
1
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.
(1 + RM xM )

1
dy
1
d2 y
+ (P0 + PM xM )
+ 2 (Q0 + QM xM )y = 0
2
dx
x
dx x

(41)

para M = 1, 2, 3, . . .
De nuevo suponemos una solucion de la forma
y=

An xn+s

(42)

n=0

con
f (s)
g(s)

=
=

s2 + (P0 1)s + Q0

(43)

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
(1 n M 1)

f (s + n)An = 0

f (s + n)An = g(s + n)AnM

(n M )

(45)
(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
y=

Bk xkM +s

(47)

k=0

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

f (s + kM )Bk = g(s + kM )Bk1
15

(k = 1, 2, 3, . . . )

(48)

En consecuencia se cumple
B1
B2

g(s + M )
B0
f (s + M )
g(s + 2M )
g(s + M )g(s + M )
=
B1 =
B0
f (s + 2M )
f (s + M )f (s + 2M )
=

y en general se tiene
Bk = ()k

g(s + M ) . . . g(s + KM )
B0
f (s + M ) . . . f (s + kM )

(49)

Recordando que teniamos f (s) = (s 1)(s 2) vemos que (49) se convierte

entonces en,
{g(s + M ) . . . g(s + kM )}
{(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

Bk (s) = ()k

y1 (x) =

Bk (s1 )xkM +s1

y2 (x) =

k=0

Bk (s2 )xkM +s2

k=0

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

Bk (s1 )

Bk (s2 )

g(s1 + M ) . . . g(s1 + kM )
B0
[M + (s1 s2 )] . . . [kM (s1 s2 )] M k k!
B0
g(s2 + M ) . . . g(s2 + kM )
()k
[M (s1 s2 )] . . . [kM (s1 s2 )] M k k!
()k

(51)
(52)

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 anteriores.
Si nos encontramos interesados en saber el intervalo de convergencia de
las soluciones obtenidas podemos estudiar
de terminos consecutivos
P el cociente
kM
de una de las series. Considerando
B
x
,
este
cociente sera la razon
k=0 k
Bk
k
x
y
con
(48)
uno
encuentra,
Bk1

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
M
|x| <
|RM |
16

Considerando el extremo donde RM xM = 1, la serie converge solo si

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

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
x2

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

(53)

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
(1 x2 )

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

(54)

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
x(1 x)

d2 y
dy
+ [ ( + + 1)x]
y = 0
dx2
dx

(55)

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

x2 (1 x2 )2

d2 y
dy
+ 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;
2x

x2

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

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

d2 y
dy
+2
+ xy = 0
dx2
dx

x(1 x)

dy
d2 y
2
+ 2y = 0
dx2
dx

3. Hallese la solucion general de la ecuacion diferencial

x

dy
d2 y
+ (c x)
ay = 0
2
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 x1c 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 diferencial ordinaria para dos o mas valores de la variabe independiente en
cierto problema fisico. Difiere del problema de condiciones iniciales, o problema 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 Contorno

Consideremos los siguiente ejemplos:

18

Ecuacion de cuerda con extremos fijos de longitud L,

d2 y
1 d2 y
2 2 =0
2
dx
c dt

y(0) = y(L) = 0

admitiendo soluciones de la forma

y(x) = f (x)sen(t + )
sustituyendo se tiene
sen(t + )f 00 (x)

2
sen(t + )f (x) = 0
c2

2
= k 2 f 00 (x) k 2 f (x) = 0
c2
con soluciones para esta nueva ecuacion de la forma f (x) = ex
siendo

2 k 2 = 0 = k f 00 (x) = Aekx + Bekx

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 ekL )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 potencial 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. Considerando 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 d2
Z dz 2
1 d2 Z
1 d2
= 2
= +k 2
2
2
r d
Z dz 2
La simetria azimutal nos afirma que en
d2
+ 2 = 0 con solucion () = Aei + Bei
d2
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;
R(ka) = C1 J0 (ka) = 0

ka = x0n

kn =

x0n
n = 0, 1, 2, . . .
a

en consecuencia R(kr) = Cn J0 ( xa0n r) en donde los valores de kn nos definen los valores propios de la funcion propia J0 estando definida por
J0 (x) =

X
()j x 2j
2

j=0

0.8.2.

(j!)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,
b

m (x)n (x)dx = 0

n 6= m

(56)

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

en un intervalo (a, b) si
Z

r(x)m (x)n (x)dx = 0

n 6= m

(57)

Un conjunto de funciones es ortogonal en (a, b) si todos los pares son ortogonales 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 lineales 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,


d
d
d2
dp d
L=
p
+q =p 2 +
+q
(59)
dx
dx
dx
dx dx
2 Cualquier
R a1
dx
a

p=e

d y
dy
ecuacion del tipo a0 (x) dx
2 + a1 (x) dx + a3 (x)y = 0 se puede llevar a (58) con

,q=

a2
p
a0

yr=

a3
p
a0

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 d1
(p
) + (q + 1 r)1 = 0
dx dx
d d2
(p
) + (q + 2 r)2 = 0
dx dx

(61)
(62)

Multiplicando la primera ecuacion por 2 (x), la segunda por 1 (x) y restandolas

se tiene,




d1
d
d2
d
p
1
p
+ (1 2 )r1 2 = 0
2
dx
dx
dx
dx
b






d1
d
d2
d
(2 1 )
r1 2 dx =
p
1
p
dx (63)
2
dx
dx
dx
dx
a
a




d2
d
d
0
1
identificando g1 = 2 , f10 = dx
p d
,
g
=

y
f
=
p
implemen2
1
2
dx
dx
dx
tamos integracion a la derecha de la igualdad,
Z

Z
(2 1 )
a


b
 

d1
d2

1 p
r1 2 dx = 2 p
dx
dx
a




Z b
d1
d1
d2
d2
p

p
dx

dx
dx
dx
dx
a

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

Z
(2 1 )
a



b
d1
d2
r1 2 dx = p(x) 2 (x)
(x) 1 (x)
(x)
dx
dx
a

(64)

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

r(x)1 (x)2 (x)dx = 0

1 6= 2

(66)

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 SturmLiouville son ortogonales con nucleo r(x) en el intervalo considerado.

0.8.3.

Ejemplo 2

Consideremos la siguiente ecuacion

dy
d2 y
+ k2
=0
2
dx
dx

y(0) = y(L) = 0,

kn = n ,
L

n = sen(

n
x)
L

con n = 1, 2, 3, . . . , y en este caso r(x) = 1 por lo tanto

Z

n (x)m (x)dx =
0

sen(
0

n
m
x)sen(
x)dx = 0
L
L

m 6= m

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
Cn =

r(x)|n (x)|2 dx

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
r
Z 0
L
2
n
2 n
Cn =
sen
xdx = n (x) =
sen x
L
2
L
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
f (x) = A0 0 (x) + A1 1 (x) + + =

An n (x)

n=0
3 En

aplicaciones fisicas las funciones p(x) y r(x) son positivas en (a, b)

22

(67)

Supondremos que tal desarrollo existe y multiplicando ambos miembros por

k (x)r(x), la kesima funcion del conjunto,
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 integracion, o sea, asumiendo que la serie converge uniformemente en (a, b)
Z

r(x)f (x)k (x)dx =

a

Z
An

r(x)n (x)k (x)dx

a

n=0

que no hemos hecho otra cosa que realizar el producto interno entre dos elementos del conjunto {n (x)}, y en virtud de la ortogonalidad de este conjunto se
tiene,
Z b
Z b
2
r(x)f (x)n (x)dx
An
r(x) [n (x)] dx =
(69)
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 sentido 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 ademas 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 ecuacion () 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 Ecuaciones Diferenciales no Homogeneas.

Buscamos ahora soluciones a la ecuacion

 


d
dy
p
+ qy + ry = F (x)
dx
dx

(70)

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

23

(72)

Expresemos la funcion desconocida y en (70) mediante una serie de la forma

y=

an n (x)

(73)

n=0

en donde trataremos de determinar los coeficientes an . Para hacer esto sustituyamos (73) en (70) y como tenemos en (72) la relacion
Ln = n rn
la ecuacion (70) se convierte en
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)
(75)
f (x) =
An n =
r(x)
n=0
Comparando ahora (75) con (76) tenemos que an =
solucion al problema no homogeneo (75) sera
y=

An
n .

Por lo tanto la

A0
A1
An
n (x) =
0 (x) +
1 (x) + . . .
n
0
1
n=0

(76)

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

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, consideraremos 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 diferencial
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 ecuacion radial del laplaciano del potencial electrostatico son dos ejemplos en donde
encontramos estas ecuaciones. Recordando la solucion general
y

= C1 Jp (x) + C2 Jp (x)

= C1 Jp (x) + C2 Yp (x)

p no entero
p entero

(79)
(80)

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

p(x) = x

q(x) =

p2
x

r(x) = x

= 2

(81)

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)
(84)

y (L)

Jp0 (n L)

ky(L) + y 0 (L)

kJp (n L) + n Jp0 (n L) = 0

=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

xJp (m x)Jp (n x)dx = 0

m 6= n

(87)

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
f (x) =

An Jp (n x)

(0 < x < L)

(88)

xf (x)Jp (n x)dx

(89)

n=1

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

Los An estaran dados por
Z
An

x [Jp (n x)] dx =
0

y definiendo el factor junto a An como

L

x|Jp (n x)|2 dx

Cn =

(90)

se tiene
An =

1
Cn

xf (x)Jp (n x)dx
0

26

(91)