Anda di halaman 1dari 31

Introduccion al Metodo de Frobenius y el Problema de Sturm-Loiuville

Sebastian Bruzzone Abril 2006

Indice general
Soluciones 1 Buscando soluciones regulares (Un ejemplo) . . . . . . . . 3 Buscando soluciones regulares (Segundo ejemplo) . . . . . 4 Puntos Singulares para Ecuaciones Diferenciales de Segundo Orden 5 El Metodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . 6 Analisis de los Casos Excepcionales . . . . . . . . . . . . . . . . . 8 Exponente s iguales, s1 = s2 . . . . . . . . . . . . . . . . . 8 Exponente s que difieren en un natural . . . . . . . . . . . 9 A Modo de Resumen . . . . . . . . . . . . . . . . . . . . . . . . . 12 Ejemplo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Una Clase Particular de Ecuaciones . . . . . . . . . . . . . . . . 15 Unas ecuaciones de renombre . . . . . . . . . . . . . . . . 17 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Problema de Sturm-Liouville y Funciones Ortogonales . . . . . . 18 Funciones y Valores Propios en Problemas de Contorno . 18 Ortogonalid ad de las Funciones Propias . . . . . . . . . . 20 Ejemplo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Desarrollo de una Funcion en Serie de Funciones Ortogonales 22 Pr oblemas de Contorno Relativos a Ecuaciones Diferenciales no Homogeneas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 Series de Bessel-Fourier. . . . . . . . . . . . . . . . . . . . . . . . 24 Analiticas (Series de Potencias) . . . . . . . . . . . . . 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 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 + =
. n=0

An (x x0 )n

(1)

se denomina serie de potencias, estando definida por el limite limN


N . n=0

An ( x x 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 = Converge si < 1 Diverge si > 1 si limn 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 A = limn | An+1 ||x x0 | = L|x x0 | en donde L = limn | n+1 An | An Si este limite existe, se deduce que (1) 1 1 diverge si |x x0 | > L L De esta manera tenemos un intervalo de convergencia cuando L existe 1 1 ( x0 converge si |x x0 | < (2)

, 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 1 L 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 k1 1 k2 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 A el contrario si L es infinito, o con mayor generalidad si | An+1 | no esta acotado n A cuando n , la serie convergera solo en x = x0 . Cuando | n+1 | esta acotado, queda determinado un intervalo de convergencia finito en donde la cantidad 1 L 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 ) + A2N (x x0 )
N 2N An

+ =

. k=0

AkN (x x0 )kN

Consideremos como ejemplo la serie de cosx cosx = 1 x2 2! + x4 4!


.

()

x2k (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 = l m |
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 1 que |x x0 | < N . LN 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,
. n=0

An ( x x 0 ) n

que converge en un intervalo no nulo de x = x0 y representa, por cosiguiente, a una funcion f (x) en este intervalo. f ( x) =
. n=0

An (x x0 )n

(3)

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

(5)

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 f ( x) = . N 1
n=0 fN

f n ( x0 )

siendo RN (x) =

n! () (x x 0 )N (x, x0 ) N!
0

(x

x ) n + R ( x)
N

Buscando soluciones regulares (Un ejemplo)


Consideremos la siguiente ecuacion Ly x2 d2 y dx2 + ( x 2 + x) dy dx y =0

busquemos una solucion de la forma1 y=


. k=0

Ak xk

tomemos las derivadas primera y segunda de esta dy dx =


. k=0

kA xk1
k

d 2y dx2

=
k=0

k (k 1)Ak x

k2

sustituyamos esto ahora en la ecuacion diferencial Ly


. k=0

k (k 1)Ak xk +

. k=0

kAk xk+1 +

. k=0

kAk xk

. k=0

A kxk

Combinando la primera, tercera y cuarta sumatorias tenemos


.

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

(k 2 1)Ak xk resultando en

k=0
1 Estudiaremos

k=0

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

Ly

(k 1)Ak x +
2

. 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 . . Ly (n2 1)An xn + (n 1)An xn =
n=0 n=1

= A0 +

(n2 1)An xn +

(n 1)An xn
1 ]x n

n=1

n=1

Ly = A0 + 1)An

[(n2 1)An + (n

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...
An 1 An

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

n = 2, 3, 4...

A3

, 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 x 3 3 4 ... que puede escribirse de la forma . . . 2 3 2A1 x2 x 3 + . . . . = 2 A1 x 1 + (1 x + x x + . . . ) y= 1! 2! 3! x 2! 3! x y = A1 tenemos entoces la siguiente expresion . x . e 1+x 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. y = 2A1

Buscando ejemplo)

soluciones

regulares

(Segundo

Consideremos la siguiente ecuacion d 4y


2

Ly

x3

dx2

+y = 0

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

k (k 1)Ak x

k +1

+
k=0

Ak x == A0 +

[An + (n 1)(n 2)An 1 ]x

n=1

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.

Puntos Singulares para Ecuaciones Diferen- ciales de Segundo Orden


Escribamos una ecuacion diferencial lineal homogenea de segundo orden en la forma tipica, dy d2 y + a2 (x)y = Ly (7) 2 dx + a1 (x) 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 2punto es singular y en ese caso, si los productos (x x0 )a1 (x) y (x x0 ) 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 2 1 dy 1 d y dy d y Ly x2 + ( x 2 + x) y = + 1+ y=0 (8) dx2 dx dx2 x dx x2 Tenemos entonces a1 (x) = 1 + 1 y a2 (x) = 1 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 = 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 1 d 2y d 2y Ly x3 +y= + y=0 (9) dx2 dx2 x3 en donde es claro que el punto x = 0 es singular irregular.
x x2

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 Ly R(x) 1 dy 1 + P ( x) + 2 Q ( x) y = 0 (10) dx2 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) xa1 (x) =
2

Q ( x)

x 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) Q ( x) R ( x) = = = P 0 + P 1 x + P2 x 2 + . . . Q 0 + Q 1 x + Q 2 x2 + . . . 1 + R1 x + R 2 x 2 + . . . (12) (13) (14)

Intentamos encontrar soluciones analiticas, es decir, desarrollables en series de potencias de la variable x del tipo y = xs
. n=0

An xn = A0 xs + A1 xs+1 + A2 xs+2 + . . .

(15)

en donde de busca determinar el valor de s en donde supondremos que A0 = 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 Definiendo ahora dos funciones f (s) y gk (s) como sigue: (16)

f (s) = s(s 1) + P0 s + Q0 = s2 + (P0 1)s + Q0 gk (s) = Rk (s k )(s k 1) + Pk (s k ) + Qk = = Rk (s k )2 + (Pk Rk )(s k ) + Qk

(17) (18) (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 . k=1

g k ( s + n ) A n k ] xs + n 2 + . . .

(20)

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 . k=1

gk (s + k )Ank

(n 1)

(22)

la cual determina An en funcion de los precedentes, por lo tanto determina An en funcion de A0 , el cual asumimos = 0, si n tenemos f (s + n) = 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 solo tendremos una solucion del tipo (3) si s1 = 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. (23)

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 (s s2 )(s s2 + N )AN =
N . k=1

gk ( s + N ) A N k

(25)

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.

Analisis Excepcionales
= s2

de

los

Casos

Exponentes iguales, s1
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): . 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 . +[f (s + n)An + g k ( s + n ) A n 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)xs2 Lys (x) como = s1 = s 2 A0 (s s 1 ) 2 x s 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 9

como y1 (x) para s = s1 .

10

Como s1 es raiz doble entonces el resultado de derivar respecto de s tambien se anulara en s = s1 . Ly (x) = A0 [2(s s1 ) + (s s1 )2 lnx]xs2 s s como el operador / s y el operador L conmutan se tiene: . . . . Ly (x) =L ys (x) =0 s s s s= s1 s= s1 la segunda solucion de (1) para s1 = s2 es entonces de la forma . . ys (x) y2 (x) = s s = s1 . . s1 n y1 (x) = x An ( s 1 ) x = An (s1 )xn+s1
n=0 n=0

(28)

(29) (30)

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 . . . . . . y2 (x) ys = xs lnx Arn (s)xn (31) A n ( s ) xs + x s 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 + Ar (s1 )xn+s1 siendo Ar (s1 ) = . d An (s) (32) n n ds s = s 1 n=1 Hemos encotrado una segunda solucion independiente a la ecuacion diferencial.

Exponentes que difieren natural


Es en este caso que tenemos s1 s2 = N 1

en un

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 . k=1

gk ( s + n ) A n k

11

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


N +1 N .

1 gk (s + N ) AN k (s s 2 ) (s s 2 + N ) k=1

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

.
k

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

AN AN +1 = g1 (s + N + 1) Quedando . AN +1 = g1 (s + N + 1) Como ultimo tenemos . (s s2 )AN +1 =


N . k=1

AN 1 g2 (s + N + 1) f (s + N + 1) An k (s s2 )(s s2 + N )f (s + N + 1) A N gk ( s + N ) .
k

f (s + N + 1)

... .

gk ( s + N )

N g1 (s + N + 1) .

s )(s s2 + N ) (s 2 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)
k=1

f (s + N + 1)

y siguiendo un razonamiento analogo al que nos conducia a (28) se tiene [(s s2 )ys (x)]}s=s2 = 0 s asi que tenemos la segunda raiz a la ecuacion diferencial y2 como [(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: ys (x) =
. n=0 N 1

L{

(34)

y2 (x) = {

An (s)xn+s =

n=0

. a n ( s) n+ s A n ( s ) x n+ s + s s2 x
k =N

(36)

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 [(s s )y (x)] = (s s ) (Ar (s) + A (s)lnx) xn+s + A ( s ) xn + s s
2 s 2 n n N n=0 n=0

12

+
n= N

r an (s)xn+s + lnx

. n= N

a n ( s ) xn + s

(37)

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


N 1

y2 (x) =

An (s2 )xn+s2 +

. n= N

n=0

n + s2 ar + lnx n (s2 ) x

. n= N

an ( s 2 ) x n + s 2

(38)

con an (s) = (s s2 )An (s) para n N Ahora escribamos la solucion correspondiente a s1 en la siguiente forma y1 (x) =
. n=0

An (s1 )xn+s2 A0 u1 (x)

(39)

Observando que el coeficiene de lnx en (38) es equivalente a considerar el siguiente limite . limss2 [(s s2 An ( s ) x n+ 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 a N ( s 2 ) u 1 ( x) por lo tanto () se convierte en la siguiente expresion y2 (x) = aN (s2 )u1 (x)lnx +
N 1 . n=0

An (s2 )xn+s2 +

. n= N

arn(s2 )xn+s2

(40)

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 an (s2 ) = limss2 { = limss2 [(s
r

d
r s2 )An ( s)

ds

[(s s2 )An (s)]} = + An (s)] = An (s2 )

por lo tanto el primer termino de (40) se anula y se los restantes se combinan para dar . y2 (x) = AN (s2 )xn+s2
n=0
1 Recordar

que los primeros N 1 de la suma son nulos

13

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) =
. 0

A n x n + s 1 A 0 u 1 ( x)

se tiene que cualquier otra solucion independiente sera del tipo y2 (x) = Cu1 (x)lnx + donde C es una constante.
. n=0

B n xn + s 2

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 Suponiendo una solucion de la forma y= resulta que Ly = s(s 1)A0 xs1 +
. . n=0

dx2

+y=0

A n xn + s

[(n + s)(n + s 1)An + An 1 ]x

n + s 1

n=1

Obteniendose asi la formula de recurrencia (n + s)(n + s 1)An = An1 An = siendo los dos exponentes An 1 (n 1) o bien

(n + s)(n + s 1) s2 = 0

s1 = 1

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 de la cual se deduce A0 A0 A1 = A2 = (3 2)(2 1) 2 , 1 14 (n 1) A0 (4 3 2)(3 2 1) ;

A3 =

...

siendo en general An = ()n

A0 (n + 1)!n!

Por lo tanto la solucion correspondiente al exponente s1 es entonces, y1 = A 0


. n=0

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

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 = 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 + siendo
. n=1

arn(0)xn

an (s) = (s s2 )An (s) = sAn (s) An 1 ( s ) (n + s)(n + s 1) A0 , a2 ( s ) =

(n 1)

Resultando de la formula se recurrencia la siguiente relacion An (s) = y por lo tanto deducimos que A0 a1 ( s ) = siendo en general an ( s ) = ()n A 0 (s + n)[(s + n 1)(s + n 2) (s + 1)]2 df ds uno obtiene ar
n ( s)

(n 1)

s+1

(s + 2)(s + 1)2

...

(n 1)

Haciendo uso de la formula de derivacion logaritmica =f d ds (lnf )

= an ( s )

d ds

. ln(n + s) + 2 . = an ( s ) 1

n 1

. ln(s + k )
n 1

.
k=1

= .

+2 s+n

.
k=1

1 s+k

15

Por lo tanto, sustituyendo por s = 0 se deduce: .1 1 arn (0) = an (0) n + 2 k


k=1

n 1

Encontramos, utilizando este resultado


1 (0)

= A0 ,

5 a2 (0) = A0 , 4
r

5 a3 (0) =
r

18

A0

...

ar y en general se tiene ar
n (0)

= ()

1 n+1 n

+2

. n 1

1 k =1 k

n!(n 1)!

A0

La expresion para y2 (x) es entonces . y2 (x) = A0 u1 (x)lnx + A0 1+

. n=1

()n+1 n

+2

.n 1

. xn

n!(n 1)!

k =1 k

o bien en una forma mas amigable como .. y2 (x) = A0 x x + x + ... 2 12


2 3

lnx 1 + x x + x + . . . 4 18

..
3

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 +
. n=0

B n xn

ya que entonces siendo s2 = 0, sustituyendo esta expresion en la ecuacion diferencial resulta: . .. . du 1 n 2 . 1 d u 1 x + u1 lnx + 2 u 1 + [(n + 1)nBn+1 + Bn ]x Ly C 2 dx x dx 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=0

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

. n=0

()n

2 1 (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! 16

y ahora sustituyendo n por sus distintos valores se obtiene 3 B0 = C B2 = 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: 3 2 7 1 2 2 1 3 3 +. . . ] x + 12 x + . . . )lnx (1 x + 36 x + . . . )]+ B1 [x x 2 4 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 . y2 (x) = C [(x 1

Una Clase Ecuaciones

Particular

de

Muchas ecuaciones diferenciales lineales importantes de segundo orden pueden ser obtenidas particularizando los coeficientes de la siguiente ecuacion. 1 dy 1 d2 y + (Q0 + QM xM )y = 0 + (P0 + PM xM ) 2 dx x dx x2 para M = 1, 2, 3, . . . De nuevo suponemos una solucion de la forma (1 + RM xM ) y= con f ( s) g ( s) = = s2 + (P0 1)s + Q0 RM (s M )2 + (PM RM )(s M ) + QM (43) (44)
. n=0

(41)

A n x n+ s

(42)

con la ecuacion () vemos que gM (s) = g (s) y gs = 0 si n = M , de esta forma la formula de recurrencia () se reduce a f (s + n)An = 0 (1 n M 1) (n M ) (45) (46)

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

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=
. k=0

Bk xkM +s

(47)

donde Bk = AkM , convirtiendose por lo tanto (46) en f (s + kM )Bk = g (s + kM )Bk1 17 ( 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 + 2 M ) f (s + M ) f (s + 2 M )

y en general se tiene Bk = ( )k g (s + M ) . . . g (s + KM ) B f (s + M ) . . . f (s + kM ) 0 (49)

Recordando que teniamos f (s) = (s 1)(s 2) vemos que (49) se convierte entonces en, {g ( s + M ) ...g (s+ kM )} B )k k ( s) = ( {(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 y1 ( x ) =
. k=0

Bk (s1 )xkM +s1

y2 (x) =

. k=0

Bk (s2 )xkM +s2

se obtienen explicitamente como se muestra a continuacionc cuando k 1. g ( s1 + M ) ...g (s1 + kM ) B0 (51) [M + (s1 s2 )] . . . [kM (s1 s2 )] M k k ! g ( s2 + M ) ...g (s2 + kM ) B0 (52) B k (s2 ) = ()k [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 anteriores. B k (s 1 ) = ()k Si nos encontramos interesados en saber el intervalo de convergencia de las soluciones obtenidas podemos estudiar de terminos consecutivos . el cociente kM , este cociente sera la razon de una de las series. Considerando k=0 Bk x k Bk Bk 1 x y con (48) uno encuentra, g (s + kM) f (s + kM ) x
M

RM [s + (k 1)M ]2 + (PM RM )[s + (k 1)M ] + QM (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 |x| < .
M

1 |RM |

18

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

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 d2 y dx2 +x dy dx + ( x2 p 2 ) y = 0 (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 ) d2 y dx2 2x dy dx + p(p + 1)y = 0 (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 d2 y x(1 x) + [ ( + + 1)x] dy y = 0 (55) dx2 dx la cual corresponde a M = 1, R = 1, P0 = , P1 = ( + + 1), Q0 = 0, Q1 = .

Problemas
1. Hallese y clasifiquense los puntos singulares de la ecuacion diferencial x2 (1 x2 )2 d2 y dx2 + 2x(1 x) dy dx +y = 0

19

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 d2 y dx2 + (1 x2 ) dy dx dy dx y = 0

x2

d2 y dx2 x

+x

+ (x2 1)y = 0

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

x(1 x)

dx2

3. Hallese la solucion general de la ecuacion diferencial dy d2 y ay = 0 2 dx + (c x) 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 x y = c1 M (a, c; x) + c2 x1c M (1 + a c, 2 c; x)

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.

Funciones y Valores Propios en Problemas de Con- torno


Consideremos los siguiente ejemplos:

20

Ecuacion de cuerda con extremos fijos de longitud L, d2 y 1 d2 y y (0) = y (L) = 0 2 2 =0 dx2 c dt admitiendo soluciones de la forma

y (x) = f (x)sen( t + ) sustituyendo se tiene sen( t + 2 )f (x) 2 sen( t + )f (x) = 0 c = k 2 f rr (x) k 2 f (x) = 0 siendo c2 con soluciones para esta nueva ecuacion de la forma f (x) = ex
rr

2 k 2 = 0 = k f rr (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 B con la segunda condicion de borde, y (L) = f (L)sen( t+) = A(ekL ekL )sen( t+) = 0 2iAsenKL = A=

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 ( + =0 + ) + R dr 2 r dr r 2 d2 Z dz 2 1 d2 Z 1 d2 = 2 = +k 2 r 2 d2 Z dz 2 La simetria azimutal nos afirma que en d2 d2 + 2 = 0 con solucion () = Aei + Bei

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 21

de Bessel para = 0, por lo tanto la solucion general dependera de las funciones de Bessel de orden 0; R ( x ) = C 1 J 0 ( x) + C 2 Y 0 ( 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 kn = ka = x0n x0n a n = 0 , 1, 2 , . . .

n en consecuencia R(kr ) = Cn J0 ( x0 r ) en donde los valores de kn nos dea finen los valores propios de la funcion propia J0 estando definida por

J0 (x ) =

()j x 2j . j =0

(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,
a b

m (x)n (x)dx = 0

n = m

(56)

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

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

n = 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, L=
2 Cualquier

pd dx dx
0 a3 a0

d .

+ q = p d2 + dp d + q dx2 dx dx
+ a (x)
1 dy dx 3

(59)

ecuacion del tipo a (x)


a2 a0

d2 y dx2

+ a (x)y = 0 se puede llevar a (58) con

p=e

R a1
a0

dx

, q=

pyr=

22

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 + r ) = 0 (61) 1 1 dx dx d d 2 (p ) + (q + r ) = 0 (62) 2 2 dx dx Multiplicando la primera ecuacion por 2 (x), la segunda por 1 (x) y restandolas se tiene, . . . . d d 1 d d 2 )r = 0 + ( 2 p 1 p 1 2 1 2 dx dx dx dx b b. d . . .. d . p d 1 p d 2 2 dx (63) (2 1 ) r 1 2 dx = dx 1 a .a .dx . dx . dx d d p d2 implemenidentificando g1 = 2 , f r = d p 1 , g2 = 1 y f r =
1 dx dx 2 dx dx

tamos integracion a la derecha de la igualdad, (2 1 )


a b

. . . . ..b r 1 2 dx = 2 pd1 1 pd2 dx dx a . . .. . d 1 b. d 1 p pd2 dx d 2 dx dx dx dx a

dado que el ultimo termino en la ecuacion anterior se anula, tenemos (2 1 )


a b

. . r 1 2 dx = p(x)

d 1 2 ( x ) dx ( x ) 1 ( x )

d 2 dx (x )

..b (64)
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 r 1 r (2 + r )r (1 + 1 2 2 1 r )r .
1 2

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

23

En cualquiera de los casos numerados se tiene


a b

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

1 = 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.

Ejemplo 2
Consideremos la siguiente ecuacion d2 y 2 dy =0 dx2 + k dx y (0) = y (L) = 0, kn = n L n , n = sen( L x)

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


0 L

n (x)m (x)dx =

sen(

n L

x)sen(

m x)dx = 0 L

m = 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 Cn =
a b

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

sen2

n L

xdx =

L 2 = n ( x)

2 L

sen

n L

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) + + =
3 En

. n=0

An n (x)

(67)

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

24

Supondremos que tal desarrollo existe y multiplicando ambos miembros por k (x)r (x), la k esima funcion del conjunto, r ( x) f ( x) k ( x ) =
. n=0

A n r ( x) n ( x) k ( x )

(68)

integrando sobre (a, b) e intercambiando el simbolo sumatoria con el de integracion, o sea, asumiendo que la serie converge uniformemente en (a, b)
a b

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

. n=0

An
a

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

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, b 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 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.

Problemas de Contorno Relativos a Ecua- ciones Diferenciales no Homogeneas.


Buscamos ahora soluciones a la ecuacion . . . . dy d 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 (72)

25

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


. n=0

a n n ( x)

(73)

en donde trataremos de determinar los coeficientes an . Para hacer esto sustituyamos (73) en (70) y como tenemos en (72) la relacion L n = n r n 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 . 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=
. n=0 An n .

Por lo tanto la

An ( x) = A0 ( x) + A1 1 ( x ) + . . . n 0 n 1 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) = 0 Existe solucion si = 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 b 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).

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 +x + ( 2 x2 p 2 ) y = 0 (77) 2 dx dx . . 2 o bien . p . dy d x + + 2 x y = 0 (78) dx dx x 26

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 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) y (L)
r

= = =

0 0 0

Jp (n L) = 0 J r ( n L ) = 0 kJp (n L) + n J r (n L) = 0
p p

(83) (84) (85)

ky (L) + y r (L)

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 L xJp (m x)Jp (n x)dx = 0 m = 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
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.
4 Para

27

no precisaremos de los n < 0. Con todo lo anterior tenemos f ( x) =


. n=1

An Jp (n x)

(0 < x < L)

(88)

siendo n las raices de (83), (84) y (85). Los An estaran dados por An
0 L

x [Jp (n x)] dx =
2 0

xf (x)Jp (n x)dx

(89)

y definiendo el factor junto a An como Cn =


0 L

x|Jp (n x)|2 dx

(90)

se tiene An =

1 Cn
0

xf (x)Jp (n x)dx

(91)

28